CAT(3000,3)

Sparse6:

:~?mw_?O?G?C?w?P?I_DoBG@k?e?\?R_HOBwAC@E?n?S_IoDgBK@a@C?__OoGGCKAA@B?[?MoE_B{@k?|?e_QoGgC[AQ@N?g_TOIWFOAu@`?m_UOIwD{Aq@V?o_UoJgD{BE@b?r_XoKgESBi@v?{_]oNwFsCiAP@E_coQwG{BWAB@D?YOP?EkB[AD?w?`oMOGCEWAX@L_foRgICDEAo@]_l_VwJGDyAw@]_m_VwJOD}Af@T_hOTgI{DQ?J?C_AO@W?c?U?N?E_Bo@g?{?YBx@|_{O]WN[FiBt@z_{o^GNkFaB|@~`?O_WO[GIBK@~_r__GNoEeBSA@`@_YwL?GIBf@v_yo\gMSFQBY@`_o?ZGKOEyBE@n_q_[WK_FA@J?e_POGwC{AQDPAj`TOjWTcIeCHAE`Co`wPCGUDDAb`QOhWS{IYCxA_`OofWRsH}CgAi`I_iwQ?IqCaAl`H?iGQWIeCYAW`L_agRGG}CsAJ`F?dgP_H]ChAR`GOcWQkHIElBQ`jotWY[LQDgBU`i?lwUoL]EiAt`h?mWYWJaE`BN`eOrWYKKyELBF`cOqwXSKeEJB@``OowWcKADsAm`W_nWU?JmDcA~`]?kwTwJyHW?G_EOAw@K?u?T?G_EoAw@S?q?R?S_IoDwBC@e?l?}_]oNwF[Bq@t@@_`OOGG[CUAH@H_cOQwHSC]AL?u_[oLWEcB]@p@j_rOXwLCEeBT@d_qOWgKKEMB@@a_qoWGK[EQBBAx`YOlWUsJ]DpB?`_oogWkKMEHAn`VOkWUCJMDdD{A|`XgnOUUJuDfap`]wk_ViJCDyap@ZgkWU}JGDpaw@XwkgVMJKDqat@Vgj_UeJADlat`VWjwUqJ?DgadPQwhcSuI^DMadPRGhkSyI^DJac`[gloSQJ]DDaw@PgmWSaJaDFa`pNwgSSEI@C}a`@VWfoTyI}C~ao@OGkGSMIAD[aXPLGe{RMHlCtay`KWdgVQJmCmaz@JwnGRAJoCkat@Hwd?UaHUDlaS`YWdOUqJUCeaP@Uwc?T]IoCdaO`UWioQMIsCcaj@Kge_T]HeDWaY`UWewTmHkDYaL@SgbWTMIiC^ai@FGbgTAG{DPaI@MgagRmGmCwaJ@NGfGPeGoC|a[@EwbwReHsC[aN@NGbgRmGsC|aG@@g_OOyGcCCaH`@W_wO}GECPaD`BgaOOaGQCOaH`BW`OO}GWCP`}@DG^gPUF{CU`~`EG_GPeG?CVaD@GG`GQEGUCcaE@HWcOOuGOCb`}@Hwd?NyFyCh`~`Iw_GQYHSC?aU`@Gd_OIGECnaW@@W_wREH[CE`{o|g^CN]FtBz`t@SG\WTEFWDQ`u`SwigM}IgBm`r@\GmgM]JkBhaz_xG\?VeJoBd`k@Pgg_LeEuDFaa_ughGLuEwDG`w_vg]OL}FeB_`p_{G]gMEFgBac[`@w_sOQGDCBaApBG`COeGTCLaDpBg`{PAGdCRaGo~G_KNuG@B}`~pDGakPYGnCXaKPFgb{PqGzCYaLpGGcKQIHJCcaPpHgc{QeHPCjaTOEgBk@q?v?^_NORgH{CqAb@O_eoSgI[DQAj@V_jO`WOsGQCNAH`CObgPkG}CXAI`DofGSKHuC|A^`OO|G]CNEFdBt`xoyg\{MmFXBl`vQfpR[heStI[dNQfXR[heS|IYdMqfHQ[hYSpISdJqdXQ_gMSeI@dKA`XQggISmIEdJA`HL[eqRZHhcvQYhLkeyRRHkctqYhN?diQoHxcyaTxJ_fiRkHXczaUxIGfaQcHucha]hI_fUQkHxcia\xP_cuSSHNcda`xPGcqSUHOdCARhHocUQKHJcbaRXHOcqQQHOccARxFweMQCHcc_AXhGGeUROHCcraOxG?cUQKH@cbaOhH?cQQSHBccaNxJgbiQ{Gxc]aVxF_eIP{H_c\aWXIGbeQcGyc\aSxF_dQP{HUc]aTXEog}PiIOdFALxF?hIPeIPcYAbXEge}PkHocyAMHEWfEReGvcxALGngfqRyD{c~@^wo?fmKAI?c~`^hAWhiOcI[cIAeXAghmS{GVcJAfXJG_uQmGKckABh@wdiQwGPcGAUx?og]SOGFdCaAHPO_eSWGJdDaAhE?^iNuGncW`~G~gauPcF~b~AJg|oaaN]GhbxaIw}OaqNaGibwAHxCo\uNAGccQ`wHCo\yM}GccQ`vHBo]INEG_bqaFw{oaINGGbbraGXPg\YS[FVbkAbwzGhAMuIQblAcWy?aIMaGbcN@sgyWaAO}FTbiAGWxOauM[GqbeaJgxWa}PaFKcW@rww_fmMIH{c~`phNg[]R{FHd?@qGvWfALoHpb]AZxMOZeRgE|cx`mguwamPMErcU@lXD?ZQPQEqcT@lgrOeMRME^bLaXGr_eUROE\bNAXhJgWaQ{EHcn`agpWeAKYHabEAWWowgUKCIBb@a_hOGWYKGIEbAa`Gvw_IL{GBb`A@H?G[EMEGDc?@oGuGYmL]EebV@igtgY]L_EgbU@iWsG`aLCGXcL@gxBgYUOuEccM@gG}_XQKmFvby`dWrG^YKkFxbK@}Gpw]aK[FhbG`ygqO]mK_FlbH`zHr?ayP^GocUqKhEKBQ@j?v_ZOMGFKFIBf@t_yO\wMsJuD|Ay`\onwVcYuL\EobUPkWt{zo[xMZfKReXrkxi[iMwfHblhqozi[cMvfIBmxqwze[{J~e@BghrwoAWAM_eABgx_WyE[wLufMb\XmGxaZcMYfLb[xm_xe[eLjevbdxq_uq[kLlewBchqguyY_M`fNBRXiOx}YaM_efBgxhwyIYMMcecBhXswse\KLIfSbRHt?sm\SL@eaBjhggyqYKMlfVbOhgWymXiMceZBhXsor]XoMfe\BiXfGyaWeMKeGbbhaOwu[_KSeJBbxqGpUW]MvfZBAx`_zeWYMyeGBmx`ozaVqMjd|BjH^_yuVuMmd~BjxtOnuVjJvdzQ{x]cnaVCMIdobaHowmMVGMHdrBaxoomU[aJ]dlbbHq?luUwMMfEavx[?w}UkMBdkb`HYgwU[IJYdkB`HYwwMU]MudgBlxYGzaUcMzf[atHYWziUSMFfDAqXX_waUUMHdebaxookyUEMofWapHuOkU\eJEfYaqHu_k]TQMtdTBkhT?zA\aIefYAhXuWi]ZILverB]HkwveZsLge}BYhnWueXuL^e]BWHfguEX{LaeqBOHfwuMXEKneQBKHcgrEXKKqeSBLHcwrMZyK\e~BFhnwp}XCM@f@BGXo?qAXYK[eJbIXb?qiWqKjeVBEhbWqqYsKGekb@X_otyYuKFemBAhjgoeVYI|d^azhW?m}V_I}d`A{hWGnEVUI{d[axxUwmeTsJgd[Ayh\_jmTWLRdTbTXTotQTYLUdVbUHU?t]T?IpdOakhRwjMTgIadZAhHUgiMcC?N_GOCW@s@M?dBc`rOxW[{MeFPBY`louGZKLuExNIHDrqAPC{kcRNHHDRrQPdGs]XPUHBs_aITGKafQCGiSTqOlGWajP?H?SPQNdCCb~PAG}sPAOLCKb|QMG\SbqF\H?`xQPG]scqF|HG`|PvGYS]AE|BSbvOuG{sMQMtB_btOmgWSKiELBM`^QAGPS_qC\GO`HQDGQs`qC|GW`LO?Gws?qMS~wbfOAGwR~qMl?CbhQLFxR{qPC~OcRNtHDR|qP[~WcXPwFuS\p|lFc^\NnGzS]`}LFk^`P{FqrwANk}CcBNaG~RwqOC}Ob~QPFkrtaQTGw]hNTHGRuAQ\G{]nPpFfS[`x{|?bjPrFgrsqMC|GbhNBf`RpHwk{Y]NPcGnSXQJ|EWb@P`GrsWqLLEGbPOVGSsDaDDAg_pOjGKsJQB\Ao_tPXGHsDQJdD__`P\GGsDAJTDk_dO^GFSAaBd?k_zOKGNSGQ@|A?_ZPKGBsRQ@DDC_JOHGfSSA?tC{_HNwFrR}P{{}_^tNhF|ryp~c}g^zNYGtRuqL\Eo]xN\GurvqL{|wb\M{GbRnaG{z{aPN@GcsQpwCzsaTScCPqFhCCaIPBG^cQqHhCcaaPVGfcUQIhDK_AOBGAcAq@H?[YQLFE`bOPhWsSWyK`EPbFpcwqSXQKjEUbJpeWrDRqhzSyi[tMyftQsiJSmIbTJqg|S_h`TIIWtKahLQciTScIatHQgtQWiNTGISTHqhLR[cjQXIZTKqQdROclSwHJseAelPKiDSQI^tDAgDPSiBSVIaTDag\OWhrSFI\TAAf\OchxS|IDtNa`TR{g@T@I@tOA_LSKgHTCIAtOa_TNKhBSbHvTFa\|N?h@RpIPS{ab|M_grRhIKSyab\PofVS\HuszAbTMAfBR[hnsvYZtLYenRYhkSuyZLL?hfRPIYSsaelLKhlRSIZstQfDQgeTSiHdtIqXdK{hXSkHfTIqXlPodpQxIKTFQV\JggtQ|ILsnAbLIch\QeIWtKaTDI[hZQjIVsiaeDI?hLSgHOtIQSTIShJQbIQTHqSdPwcxQYIOseqb|H{hFS_HMsfacTNOfFRtHqS|a[TM[fpRdH{sxa]|KOe@RDH_snaXLKWeDRGH`spqV|JGftRzHYS~qU|NodlR|HXs~aUlI{gZSPHWTBATdIwg`QpIFTBqTl\k[VMHfBR`xpSwa[FMDfARcHqKw}[XMMfErcxqcxU[lMQfJqlxVCjqTtIxd\qoXVkj}T|J?d`QixTciuT\IodVqfxSCiETDIbdQTzY|T]mnXVnjvTyb?T]soFWFJtu@A|d]{oJVmKBTxQ}\][ndVgJyT{A{t]cnjVcJwt{Az\^CmxVqJmt{qzt^Sn@VsJntuizL\ampVYjktWa~|^oizT]J}tVq~tUCoBT_K?TnQ}tZwnnVxJ_Toa~\^gl~V@J{TkQ}|ZGnlVwJXt}QudZWnvVyJYtiq~dYwn~UkJ}tjQ~tZ?oBUnK?TiAyl\GlTUdJhthayd\[lNUhJjTeQ{LXgnBVaJLtwqrt]KkzVaJMTdaxlXSm^VKJKTraq\X[m`VPJIU@aqT_Kk^ULK@U@Qpt_[k`WCJGt]az|VWmzTvJnT]AzdVcn@TtJlt[axTU{mVTpJctqam\VOmVToJctYQ{dUsnPTmJrtYa{lUknRTkJrTtAlDUOmlTbJhTtqk|\KjLTdJitrQi|[wipVKIktrqjT\CixVOIltoqo|WgmNUKJcTpApDWkmJVEJCtlqn\Z_jxUxI}t^qvdW?ltUzI~T_qiLWCidTRJATTaotTSkDTSJAtgqiDYGiVTKJNtgAhlYOi\U`IfudQxd[um^VPjfTsIxL[imVVQjhttIyl\]mlPogws[iMlFQbfPugzs]YNTFmbpQ?g}S^YNtGEb~GrcYQLXEsbaPnOCgAs@i?|?a_RM|f]Rnxvs{E]@UHjBtaIpTWqkVTMidtRIhlS}i`ZYLiUtZZLlYunZWlgUsZYTlMu\ZNlcuqjX\kauZZKlZEozUxkQtoZEl\epzWPjitqZDlSuhZSdiYtNYglOUgZSThys~YblNUfzSTiEtFY_lMUezRlhmszY[lJudZQthisrYWkSemjCpjYpMYvkSEmJDPjmtqWjlTE`jOximsOYklCejZPXi}sSYmlgE]zNxlEr{ZQk|EszN`k}ryZMkyEkJMhjErkYqlXe\zUhfetgXwkwepjWPeyuEXnlaE[JMPkUreZFl_eZZL@jqrQY|l_EZJVxeit{XjkpEqJXHeMuSXcldeXZKpkqrMZLkmEkZJhjIteX]lYeVzKHjAtgX_kkEbzJXhMsgXXlGEUjIxhEscXUkgEnJIHjut{XQl^eSzWHdUu?XSljEPJGxl]qIZTliEQJHHleqKZWlTENjTXb}tWX?lUeOZTxcMt[XAk\EiZS`batIWxk]EhjFhi]tOWzlHEKjQXbMpgYNkYecJQ`b]pkYPkWebjPpausWWkkVebJE@gusYWmlIeGJChhiskW`kQEdzR@aMsqWalieFZBPl]ouZXliEFJZ@`yukW^kFUBzAL`AofWQl?ERzOHcmsCXKl@eRZHPgUsGXMkCeDJ@P`UoUWUkCEDzBH_uoWWWlGubzQdhAsdYRlEUbjPlPugpSXiLTFIb\Pyg~S_iOtGycSiUTPIedRqihTLMIfFRchqsxy[tJIdfQthZSlyUdxs|F]]NQVhRr|yW|@]gNPVhrsLw}{\]MnFvcJqDwq{R]GnEvajp\wq{Z]HnDVazpDxwwd]\MGVfraLyCwj[RNPVgBadySzb\tNQV[Bs\yWzd]gMxvhrmduO{n\dNKVebktu_{r]ZMrvfBlLuK|R\_NVVjBkTygy|]lMovirj|t_|R\XNTVUbt\tk|X\\NVVVBtlxGy@]RM_vObqdsS{j\CNJVOrqLxCxh]QMYvcretrc{l[vNIvMBqdpo{n]YMNvFRrDpw{r[`NMVercDliu~ZZlmuvjZdwGyX\LN@v`Bhtt?{N]EMgv`Rh|qwzT[rMuVJrl\uwxd\nMWVKRllokxP[KMUvBRdLo{xT[IMTvJB`to[yh[DMhV@bi\tSwR[CMjvABitvov|\|L~v?RntoGz~[BN?v?BoDrgvt[zL|vNB^dn_xzZ|M^u}Rftn[wrZuMLVDb]Tp[vf[WLyU|Rb\moznZoMzUzRnDvcv\\zLwv]b\|m[yV\ELsvQB\DmgyNZeMdUyrhLm?xDZ`MPuxBctmGxHZdMRuwrcmBokBUCj@t_iotWUzt\umzv]ZnDvmvhZtlzu{j]tnMvTZelruyJ\\mev@ZblqUwZ[TmUutZZlmUvZZ|lzAh`TojWU[I}DbA\`NogWS[I]DJAR`JodWRKHECvAL`CobwO{GmCJ@q`Yo\GU{FYDr@s`\o[gV{FYDz?]_{oGGN[AIBz@}_QoHgO[AaCA~c`Ooff{Z}iDM~e`PnzGRj}aDJAC^jnuGPkGX}}~Y`Dobf{KG`}zAq^`noGTKIh|~Ak^aokFxKIx}NAs^XolfukJ`|m}w`\nnGVzziDy}M_{ncgNjxYBv@}^Go_frKG@{jAS]nodfkzuACbAW]snWgRZuQCf@A_ZoPGFKCY@v@?_doNGHkByAR?i_foSgDkDQ@^@U_WoUGEkBIAb?Q_loDGJk@YA~?W_ooFGKk@iBF?E_roYG@KEi?V@k_EoCGMKEy?]~m^Ln{frj~P{}~o^OnhF~JyH~m~y^@n~Foj~x{N??^CnbG?k?H{U|}^Wn\fszv`|Q|y^Tn_Ftjvp|]|i^dnsFmJux}Y~M]xntFmj|HzZFAW`kPuGJCTaUpHWJkCUAZ@T_uoXbbppWxK[mMZFBb[plWv[ZMLbEvb]pnWwK[EL~E~ajPpwiC[MItFHahPpWxcTUMTDXbjPjWxsYULPFTbTPuWyCY}LLFRbfPMWySR}M`CzbiPNWzCSMMlD@b[O|WusN]FdEpb\O}wuSNELhBxacPcWgcWuILENadPcwhsX]IXETaOP_WcSWMKTCdaTP`WpCQeKLCfaIPeWasXmGpE\aLPfwbsYMGxE`aXPAwecPEGPClaZPCwdsO}H`CL`vP@W[cNuFXB~`rP?W_sMeGDBjayOwWZcV]EpDx`nP]w[SV}EtD|aqOtWjcKuI|BNaoOsWksLMElDb`_P[wWSUeJ`BJ`aPYwXCUuELDn[LmDVAz`do}w\[CmCV@Z_|oewLZwl}U}Z^\nuvt[Bl~U~z_LoIw@`qoxw\kMeF^Bj`koww[KLmE~B\`eorwYKLMEnBT`booWXKKmEFBDdxQ{X\{nEV^Jpdvqwx\kmUVNJjdsqwXY{luUrJZdnqehU[iQTvI[dYqfhU{jqTFI_d[qeHT{gyTNIOdSqchT[hQTbIUdUqJh[kbaVFJecWqyhE[maPjGuduqnHPKjQSZIAdZq`HVKjISVIydBq]HSkhiRnH}dPq^HR{fiTBI?dMqeHMKhARVIMcuqdHL{hIRjIUcxqhhJ{iiRBHadSqXHT{eaTbHedUqnhI[kAQjJAcjqpHJKkYQzHYdcqMhY{bqUrG}dlqOHZkcQVBHAdnqAhX[_qU^JOcFqshAKlQOjGQdepxhX[]aUZFodfqsG|klQN^JQbtp{w~K^]NjF|b|qngz[\yUBJCbmpwHW{]QURFad`qGhG{aQQRGecdqRHD[cyPZHOcSqGH@K^yOnG?cKq?hB[_QO~GEcMrsF}Z}|~m~p^yn}VnzwDzm|z]}n]VoZwT{U}F^EnaVlZutz]|p]yn[w~[^MNjFvb}p}W{[\uNJF^blpwY@l?}_fOTgGsDx}c}e^lNjfxR~X|s~m^|NlfwR}XzC}E^HNTfnRtx{S|M]`NfflRvXeS~mX\NteWR|x~CrUXlN~f}RMXpc}U[DN\fDRxxoc}E[LNbfnRaX|sve^`Lvf?R{xnS}m^PL|e~RzXlS|EZXNRevRtXzCvU]tLpexRtxjD?eYdOBgARVXid?]YtOJejS?Y@sqM_`KdgIRHxdD?uXXOReTSDxat?EWpOBgAREy?spu_TK`gCRFxxSnU]TJvfeQ{xxsnmVxNNfeQ}XuSz}]LM|fYRoXwSz]]PMxfaRmxrsy]\@MhfLRixuCxu\\MdfURgxpsrm[`K|e^RcxgCxU[pLDfJROx`cuUWhLheoRCXaSuMW\LfenRAx^ss]W@LHe@RRx_csmWPLPeBRRXx[{}]ZEpbXpmWukZmLnE|b_pntuIzT\fKReErCX`{pUWVJ~e?r?x_koeWNJrdyq|x^[nuVrSqiHtDY`|PEgnSXiUT?yeDOmh\SFiETIYdTOUhLSHiISzY`tMmg`RjhuTEYatM}gdRniRSvy[DQefDSjhqTJY\DQ}fLSpiMSvYcTLeepS`iLSuycdLuetS^h|SNy^DCEfxO|gbT?Y]tCMf|PDh_S{YWTNEeHRrhdS|YXDNUeLRrhGTKYctHehTQRiUSdYdDHmh\QVgtTGYKDPmbDS\iPSYYcdEUbLS^iESSYHDOMaTSDghTAyHtO]aXSHgWSvy[DBMfLOzhpSLYFDMefHOvgQTFycdA]`XS`iMSJybTAmhDOhhzSEYBTN}_xRxgNS}yCTOE`@R|hESmYUdGUdlQFhCSnYPTJmc\Q~heS]YXtFmehQ@g}StyYTGMe`P~guSfYMTIEdLPphNSZyMdIUblQbhSSTYTTD]dXPXhVSUyJtJMaxQp_xo\wMk]eNVFfbup{W||@e_vO\gNsGYC\_Ym~WCjluAi{L_qnJV[kCtwj@|`ambVMkGtsjA\`QmjVWkLuDiy|^yk~V}jOu?Is\YaoFUek@u?Isl`QkZUOkJuCIp|WYofWYjDuEIpLUqo^WCiptXJ?|UYoRTikDtYJ@l^IlnVsj[t|iv\ZqnrU}j}toI~\ZAjrUsiztiil|YqjbUqixtjimlXInNVgjItyiq|]qkrVojMtzir\[IiVVCietRiw|TAmRTSjetSix\Vih~T{i_t^ig\WQiJUAict_Ig|TYhfTWiYtWIe|RiivS{intMIjkxm[zM^fOrhXs\R]hjSri[tNYf\jqt\YxlWUmZUTjmtpYllZUmzUdjmt@XdlPUXzSdeetLXjkvUizLdiet\XNlZUSZItjEqdYllXUTZUdcuq@Y`k`UgzGdiUqLYfkdUizHDiespXbkkUdZJTh]stX\lNUVzRdeEsLWxkZU_ZEdfur|W~l@UNZOdbmr`WhkTU[zDdfUp\XvkXU]zEDfesPW\lDUFzPdaEs\WblHUHzQDaUvX[DlxVAz]Doevh[LmBUzz]to}u|[ZmGUtZaTl]whZXlmVDzZTpeu`Z~lcU}ZXtnuuTZzleV?zYToEv@Y|lbUyZ[Tj}uHZfltUoz[dkExh\@mZVOzfDsUxt\FmdVNzhDruwx[hmNVIzcDquxD[nmXVHzcdrC?D\Kmk_@Jhttk?H\OmmvV_?ttMzC?EmjvW??TtV