CAT(2418,2)

Sparse6:

:~?dq_?O?G?CA{?H?C_AOKoESBI@d?{?[?KwEoBU@m?s_Z?LGF?BU@m?r_g_JgDcAu@^?p_WOJwECBEB??u_[OLwMOE}Bb@o_vo[WMCEwBL@l?roY?LcEwBR@l?toY_LcFCBV@n?so[?LSEWB@@a?sOXoKKE_Af@e?goXoISD{BT@]?toVOLKD{BX@m?moZOJsEKAh@d?ioX?IsD[BF@X?qoU?KcEKAt@d?mOX?J[DCB@@a?hoS_KKCoAN@D?doROGsCwAR@O?cORoHSCsA\@N?doR?ICDgAP@[?coUoHSD_Ah@X?jOToIkCG@|@B?]oP?FcCG@~@@?aOOoGCBgAN?x?bOPOF[JO@L?g_Rom_DSAe@VB??cOQWHSCqAZ@J_gORgH{DiAx@Z`a_qGWoKMEMBC`c_oGXWKIESB@`b?oGX?KIEMB@``_jgWgJAD]BC`R_nWSgJ}DKA}`\?ggS_JqDuAb`LoegRKHoDnA\@[of_VCH{DnA`@[og?VCH?ERAQ@docOXSJ{CZAN@^Ob_VkJgCfA{@IomoQcJOB~Au@?O^_UkF_Dd@y@Wo]OU[FkDdAp?}o^?U[JWBnAs?yolOMsIkClAl@KOj?Q{GOCTAE@EO`OP[IcCBAB@TOi?OSFGCRAG?xo`oMcAQ@J?baF?JGDsAu@X?l_VPDoa_OyGiCOaJ@Bwa_PEGeCUaH@DW`?LUGSBVaC_tg_kO]GLCRA?pC_^{O?GbB{AFo~_aCNsG\By`|o}WYOOmEgCL`h`BG`WK}EaCL`g@BG`?KuGSBMaC_rG]WOIFiCB`y@@G]oNAFcBw`w_|w\OMuFUBm`u?zwZoMQF?Bd`r?vwZgMEEwBb`l_wg[wLaFQBY`s?uWCsAa@N?g_ROHwD[Ae@T?h_TOIwjGCIAH@B_moVwJsBm@t?xaq`WGkKT}IODRai`PwhGTQIgDKai`QwhOTMIkDMae`UGiwS}IkDOak@SgiwTEI}C^aM`WGboUEIADOa``SWgOTIH|D?a^pR_fkS{HvDLA]PR?fSSkHpDIA[pLojKRSIvCuAlPIOg{ScHVCiAcPUOcsQ_IvDYARpH?jkQSI|CbAmPG_jsQ?IxC`AmpEWa{PaGtC[aLpP?d{SWHbDDAWPJ?eSROH\CrAUoHGCkAM@H?d_PphoUKJIDfAv`[omGVkJ}D|EcBNPh_sCYSK~E`BQPgossYGLJE^AyP\_sCVSK|E`BLpgorkYGKxElBKPjorSYwKrEPbGPbwosWaKNEBBRp`OtKWOLPE?BRp__tKWCLPElA}pjon{YwJ|DyBTP^?t[YoJvDvBTPj?nKV_LVDhasPYgl[UuJXDmavp[GmKVMJdELBIpdopsXWKXEQBCpaoqcXKKTDaArpX?ksUKJJCJaEpBGxs\AM^E{Bspn_|[ZsNTExBspmo|[ZgNTEobXPkWu[ZULhFeBZPm?|CZ[NNFPBmps_z{\KM|FYBdprOzc\kMXFGBjpuOxS\_MRFbBapxOw{]OMLFABiPp?ys[KMjF_B_pno{S[?NBGLcFqBh@c_iOVGCCBq@`@K_SOPFzBzP~?}k^sNnFqB{P}_}c^cNfFnC?p{P?[^?ODF}BuPz`?C^{NZGgAJPDGakXUKnEUbHPdGq[UIJHDbcWqKxESa_P\GiCVqK@DKacPVGiCUqI@DcaYPNGdcJAJhE?`aOmGncPQHHC[bCOrGZCXQE`E[aWOfGfCIQHPAk`?PVGQCUqCPDc`oO~G]COqFPCCdkIfDTaiPTgjCT]MzF^bnPugzc\mMnFXbkPtGys\UQ{HccoAXXJweYQ{H`coAWxJweIRWHZcmaYxJ_eiRMH\csaUxJ_eaQpHYckqUHJSdeRMH?csaOhL?cERGHNcgaXhKgdAQXHMceqQPLcekQVHiCdQP`Ikc[QnHGCjQWPG[eKQJHaCaQNXF{byPwHQc\aTHIWbiQcGvciAMHIWbePiHUcZATxE_dUTEHUcjqTWscYYLJFwb|P}W}{^UNlG|c^qNhUgjIThIrdVakhU_jET_IrdUahhToiaTWIfdSahhTWiaTSIfdLQfHR[hCTdIRDYQc`U[g}S\IOdUabXPWiyTWIKdCAjxPOjESQIodSa_hTWgQTSIBdPa]XSgfmTGHydPa^HNoiURyIcdOA\xSOfaTAHucxagHMgiIRgI`cwAfXMOh}S{HpcuafXRwe}S{Hmc~adxOGheS?IWdJA`XQgg]SgIEdwayH\SmeUHJEdaqz`Vsk?V`I~Dvqz`V[n?TzJnD]QypVCmsTtJkD[qypUkmsTnJkDZQxPZ[lcVNJYDrQt`WKl_UFJVD`Qw`YCmKUdJcDgqrPZck{U|JMDmqq`Y[lSUXJJDiQwPW{k_U~J_DcqShIcdMQpHYckqlXU{jYWoKZeLBFXbGpqVeKUeJa{X]OpUWdKSeHr@h`Co]WEKTeJb@X__pYWoK?e@BEh_GpeWuJsdzBFXb_nUWWJ|eFA~x`gnyW]JyeGa~Ha?nmVmKHd{bAx^?oiS|I^dMqgHSSiERrHzc|Q^HNsfuXBKbePRMPfsrkXzKyE]RL`gSr_YHLBEZrKpf{rSYBKsE_RKHeSrEXYLDeVbPxdosYX}KkeTBOXg?qmYIKfebbIXgoqaXGK{eRBNhcgruW{LAeaBGHgWp}VVJlduQzh]Cm}Z@LaeorVXj{tyZKLVekbYHkwtaZKLPesBSxkwtIY[LhegBYxhwuiZQLJetbRXlOsqYsLGemBQhjWseYgLbeqbThk_tUZuLme}bZXn_uq[ALwe|B_xoOveZ{Ltf?B\xnwvYZ]Lqewb\Hm?vM[SMLfEBbxpWwy[MMCfBBaXogwaPJGfcRO[gMcFMBn@t_zPIgd[QeH@C`aPPowwc[IL~F@b_QCxAk`QO`GQcGqcXQ[hISJIFdBQ{x]KnIVhJudyrQHhSseYhLUeiro@vSzo]DN@F\rnPu{z{\rM}F[Rl@vCzW\rMtFZrkPvSzo\fMqF\rl@tszW\`MtFVri`uCy_\^MhFVRipsky[\ZMeFURiPscyg\DMgFPrfpsky[\BMeFORf@sCxw[~M\FOrg`rKxk\HMbFLRf@rSxk[|M\FKrkpqszC[pMqFJrdptkyk[pMUFURc@vkxG\~MPF^RcpwCxS]DMSF_r|_BC@e?nN~?LoEgBc@}?z?]gC?GgCKAAAJ@F_bOMgF[BeE~B_`nP]gncVmJJDfarPWgkcUMNXFmbuqPXGccMPjGucYQoXW[kIUNJHdcRHxdKqaXJKeeQRZhlkuqZ^LpewSKAETBC`hOnGXsLQDdB[`\OuGUsIqEDBC`ROiGVsJACtAw`POlGRsGqCtAS`POcGRsGADLAk`DOiGOsGaBl@{`BO_GNSEaClAK_xOcGLsEQB\@[_xOWGLSDABl@{_lOTGNSDaAL@O_fOTGHSDq@t@c_`OWGFsAqAL?s_fOKGHSAq@|?s_`OKGFSAi@D?e_POIgCroq?k{S_NNCGBR{AES~G`hNpGXsLP|lB[^^OuFvRya?S}k_HNkG@ryA?c}c_DOBFrs?@{d?C^LN~Fqr~`{S}K^zN`F}R~pz{|w_@N_G?r}pz[|s^tNxFmR~`zC|c^xNYF}rtP~[|[^tNUF{rs`}{|K^pNSFzR|`x{~_]bNvFgRrA?k{w_NNLGBRqP}k~K]VNsFdR{pws{_^jNFFySf_@[?u?X?M_GOByTO@M?d?PhW?DGAs@UddQohWskiULJA`oQlhVcMiTpBecoPahLCXIRHEMcoPehLCXyRHEUdUP^gocjITPEAawQjgnCjIJhIiasQhglciIJHI]amQehQCUIIpIUdKPRhQCTYShDQa_QhhSCSiSxDEaYQahPcRyHpIEc{PIgdcgIH`H}c{PGhOCQYGxH}aGQ`hPcPiGhIIaAQZg`cfYGPHq`{Qlg_CjyTpB}cuOzhMcNYR`BqccQKhFCdIPhHMcIQIh@cayO`GebyQ?h@C^yNpGEbqPyg{C^IMxFmc]PshGc\iQ@FUcMPrgwcaIOpFIb[QTgwCdyLxHYbOPjgucYiL`EegG?X_JoEGA{@e?p?]_MoFwBk@}?|SU?LOFGB[@q?v?YhKSeiRLPoglS]IKTFQa|PogvS]ILTFQbLOSg`SEIHTCQ_dO[g`SQICtCQ`DPKgTSSIETDQ`\PKg^STIEtDA`tJqd|Q|h^soYWDOwfrSNH|TBQ^DOgfjSKHztAq]tNGgtRsILs{qbLP_f^RpIJS{Aa|O[fXSHHutAA\tMkgJSEHssya_dJKgBQtI@slA_TOCdlSAH[T?qU|NkfLR|HsS~A[|Lsf@R^HpSva[LLgfFRdHmSuq[dLKelRPHissaYdL[e\ROHkSrqZLKSeZRFHdspaXdKgeFRCHcSqQWTJcf|QzI?Sma^{?y?`?N_FOCG@{?m?Z?K_DoBW@dVc?d?R_GoCWA[@IgBSBi@R{x}k~Q^rNzf|R~X~s~q_JOFgBT^qn\WCjtU?I{t^qndWCjzU?I~T\Ak|UcjjTgIxt\AlTVSjXTjIxt\al|UsjpTvIvT]AmDVWjdTvIwtaqkdWsjLUKIqtWQndUKj|TaI}tWAn\T{jtT]I{t[QjlV?ivT[IxTYajDUoirTjIlTTQllT[j^TUIvTXqiTUcihTRIsT_ah|WOibUBIgTQYh\SiiXTLifT_agtS_kHUBIbtOqpDWgiJTCJCtOQo|SGkJT?JBTNapDWgh~S|JCtaqfTWshxUKI\tLqolRckNSwJBTHYc|QYhPSiiStIydlQqh\SoiVtLAb|RWhBStIOTGaeLRKhHSqIPseyRlHqdHQehQshyTLIadZQnhVTgA|\]slDU`JuTwaulZ[nHUuJptwauT]OlhVbJXtjq|\]slbUoJuTjA|DYwnTUlJstxQtLYknNVeJTTxQst][lPVeJRtgq|DYOnTUdJstdIqtXUknUXjKTeyrdXik|U^jMtraz\\cm^VLJlTqayt[ompVVJdtpqz|[cnBVGJoTpAzd[Wm|VDJmtoQy\[KmjVAJiTsAvt\Gm@VPJ^tbav\X?lzUNJ]TmAqLZgkfUxJHUFbBD`gp@WXKNtzbAl^?onVnKJUErAT`sohW[KHu?rC|_SpRWCKSUHB?DaWoDWdK?uCA~l`Cn~WNJ~T}b@L^ooVVzKDUBA}|_wnrVwKEu@a}d__nlWFJyt{RCL^KpFVqKPUQoCCAI@B?__POGYKTEQbFPdgrsXieLRMhdSsiZTLZJ`dQqkXYkleTZIHd]qeXXkhEUJI@dUqkXMkiERzIHcmqcXLkheRJH@cqqSXLkceQzI@ciqOXNkceRjDPd]pWXXkTeUJE@diqwWqkleKZGhcIqMXCkbEOzEpbepuWwk\ELzF`bMp{Wtk]eLJFxaup]X@k_EJjPO@Y?j?S_IODgAlPAgdSPiHtDYadJMdjQshZsmIUt\emvVYjjTuIy|\MmjVSjgTsiyLZaltUxj\tnYvdiksvYlLLUjBRLi_slYiLKUiRQ|hKs~YTLOUdBSLhKsxY]LIufRQdiSs`YQLRuhbQLiGs`YQLQUgrQLg{svYLLLUbbRLgkslYKLKUabQ|gcsTYFLEUaBP\gcs\YGLFu`rPld{sDX\L@uVbOLfws~Y?LOu^rSDi_rvX|LTU^BTLikrpYlK|UjBNLfStJXvLRu\bSthsrdY]KyU[rRdiGr^XpLQUgrMDeur\XkktuYZLTeWsHXfLBUYBOlgCrHYBKqu_bK\e?sHXaLBUWROlnojhTtixt\inDV]o`WPkFuBJ@t_uoRWJkDU@j@D_]wKZ~m?f@z_@oUwGZ~m?f?j_@oMwUZ{mEe~j``nuvw[Gl~FAj^hoewUZWmEeuj``leui[Aljf@JYpoMwOZQliFAj`HlMwIZNmBesZ_plAuRZJldUqJWtk]vqZBl|epZ^PkQvoZAlzEoZW@n]veY|lyenzVpnQtsZrlyenJVXnQtmZol[e{ZV@nItgZolYe{jUpnEvqYplXe}z^PjIvmYml{EkJ]pi}vGZflqeyZ[pmavUZ`luEwz\PmIvYZ]loEzzZxmyuYZ\lfEuzX`lqyk\GmcvPzgdsYyJ[VMhvERilp_yh\RMIVDbiltOwj\PMHVSba\t?wb[OMhVBbiDo{yb\LM[VRrfTswxr[YMYvLrbdpkxl[qMdVLBhdrKyV[kMSvJbd\qsxT[nMRVKRdDr?xN[bM\vHRflqOxx[}MOVGbgDqCx~[\M_vOrb|sGw|YBl?u_jOdgYsJ\gN?VYRoTug{B\smyv\jmLvIzf\mN@v`RmDwOz^\XN@v`Rj\wOyt\UN@VUBoDwCyn\dMzv]Rk|uWzp\|MpVXBn|uKz|\^MtvWRllu?zX\yMmV^BjtvkyzZolxU{Z]\nUvhZwlzu|j^Lnmvt]ENQVhbpDyS{N]`NUvgrt|yG|\]fNNViRsDy_{~]ZNTvfRtdxo|T]WNQVebstyS{r]VnIvdjqTxQ{f]NNRvcRtLx?|P]KNUvbRt|yw{\]HNTVartdwg|V\QmgvSJi\tUyh^JnevrJxD{i}R]{NfVnRyDzw}^]xNfvmryD{w|t^PNZVsrvD|G|n^PNXvsrul|G|h^ANavprwd{W}F]oN_vkbwDzC|~^_NrVyB{T}[~B^^NjVvbyd|s}j^hNlVyrz\|o~T^VNpvuR{l|_~H^tNuV|r|t~W~Z^qNvv|B}L~K~`XGkdUQZ[lmYvHZblouwjjLtmyt\WmjVTzwT{Q}F^@n_Vn{@Y@F?W_QoDGCK@i?^?Q_NoCGBk@Y?R?W_EoDG@[@I?J?E_FoCG?Z~y?Q~{_Do?G@j~q?F??_Bn~g?k@h~b?]^yoFF}[A@~m~y_QoGf~KEG?i?P?HlCu`zPDqexV[imRVHzdDwq{\]LnCvazpT|Y}h^TnjvuZzEC@AH`AOawOSG]CX@z_~ObwQCFuC@@t`AO]WOSF]B\@z_xO^WNsFEBP@t_uO]WLSF]BX@n_sO[wLSFE@L@V_TOUwDCDeCL@P_iOawISGeATAL_fOcWHcG}AH@d_bOXwHCEM@|@b_`OXwGCEUAx?z_]OWWJsBeAl?r_kOLWJSB]@X@\_WOWWDsD}Fc?J?E_Bw]SJMDhBv`WO|WTSNMD\Bv`UO|W\cIUF`Af`vOiWRsM]DDBj`OOyW\cHeF`A\`vOew[sHMClBj`IOyWZSK}E|BR`mOsWYsKeEpBL`dOtWWSMEEHBb`bOxWWCJmDpA|`ZOnoAW@C?i?P?I_CwgsRQIBDCa[pLgg[RyIBDCa]pMgg[QIHvCea^pHGfkPqHrCsaOpFge{QyGnCYaXpEGeKPAHRCSaUpCgd[OaFvCC`}p@g^KOiF~CAaFpBG_G?k?]?L?D_Bo@kWaAr@V_loVWJ{EEJtEBbBP\wnCWUKLD|b?P_wnsWUKPD^bEPWwpSUEJ`D|ayP^wmSWEJtDlazPZwnCUmK\DdbHPYWqCU]ItEHamPbWpSTeK`DVbHPSwpsTUINDJacpSWh{SuFNBj`sozW]KM}L@FPbQPtWsS\MLlFZbXPtwuc\eMlElblPkWzCY}M`EfbiPiwySYeKjEXbJpewr{XuMXE~bfPowxS[ELpFDbcPnWvS[]OLF\cDPwWzs_eNtFnb}P{w~s^ENlFjb{PzW}c]eNDG@brQ@W{c_MOpG^cPQFXCC`mOXGRcGQDx@s`UIBDDa`prwxk[mMJFHbbqNHEKcAPjG}cXqLhEKbiPjGwcXqLhC{biPRGwcQqNHD[cAP^G}cUqWGo[W]KJFzb}p~w}k^eNnHkcoqXHMKeIR^HicoqXHLKeIRNHAcmqUhG{cQQ~HeciqYhJKeaQnHMcuqShMKdAR^H[ccqRHJ[dyQVI[c}QdxNShmRpIXdKQ[xQsf]StHtdGQaxPshUSdILc~Q`XOSgeS@IFdVQfXUSiET`I^dQQixTCiMTLIlcmqVxJ[kATjJCdZqohVKjiUFI}daqnHWKh]SvIXdh??hW{lW?LJHdi?@HX[lG?HJLdg??hY{lO?LJN