CAT(2778,1)

Sparse6:

:~?jY_?O?G?CBK@Z?n_VOJWD{Ay@U?n_U_IgD_Ay@}?i_UOIwGgB}AB@?_X_NwEgCAAA?s_Z_NgEoBq@o?|_[oMgF[B?@x?q?^OKOFkCeAT@G_hoSWISCwAV@L?gOR?H{COAJ@A?boOoGsD{Aj@]?iOVOIsDcAt@W?mOToJ[EABD@`_qoWwKcE{@T?k_ToRgICC}AN@D_bOPGG[CIAD@B_aO]oMkFsBl@{?zo[OM{E{Bl@o?yo[OMSE{Bh@o?xoZONSF_BX@m?{oZON[FsBX@m?}O]_LCFcBL@w?ro[_LSFOBV@r?soZGLsEuCqAR`IodGQ[HQCjA@`@o_gQCHICbAN`FObWPSGqCVAF`CoaGOcGYCJA?_~O^wVOJQDlAt`YOlgUkIUDNAe`Y?gwS_JYDiAa`W_fwUWIEDcA_`N_jgTwIAD_A``X?iGUWIiDaAh`R_iwSgIuDKAk`P?jgS_JAD]Ab`M?jWRoImCyAk`L_iWRGIiCsAg`K_dwROHYCuAW`M_eGRoHYCwAV`t?IGC{Ae@x?}_]oKwEkBQ@l?w_ZoKGESBE@d?p_WOTGIsDUAn@X_kOYGK{EYBR@j_tO~o_kOCGLCFA?O~?_SNwGHB|A@o~o^SOCFvC?@{o{O^cNGF|B|@wO{o]CNGFjBp@yO|_\kN_F^Bv@vO|O\sNKFZBs@voxo]{M_FpBh@zOxo^KMcFvBg@|Oq?\[KWFXBF@tOvw[CLyEvB[`mox?ZSMWErBW@qotO[KL[FDBU@pos?[KLCFDBb@for?[cKwFJBe@eoqO\cMgEVBI@tooo_kKSGNBCABOo?_[KGGHCA@_os_V{JsEhBR@^Om_U{JoDrAz@[PSoCsAU@HB@``OoGiCTIIbDUAgPU?iST[IbD?AbpN_hKR{IPCsAjPU?eSRKInC_aOpGgbkP}G|DNALPROb[SwGxDLAJpRobKSwGpCSAhpTOasTOGjDTAGpCoi[PGIhDIAFPR?`{SkG`CJAbpQO`kOoIPCGAdPAOhcSkGTDCA\pP_fkSSHxDAA\POofKSCHpCtAPpL_ccR[HJChAUpIodsQgHXCeAWpI?eCQ{HNETAgPSgiKAa@N?h_RoIWDCYOKoESbL@cwrGXIKuEQbM`dGr_XMKkEObG`dWqwW}KXEMbEpaWp[WiKuEEbM`aGr_W]KEEXbL@`Wr?WQJCETbJ`XGqoUMK]DZak`cWq?TiK?D|b@@^woGVyJiDza|@\GmoVqJYDqat`[wl_VEJ]Dgat@[GloUeJqDdaz`Xwn?UYI}D[ao`Vgk?TuMm?e_QOHWCcAY@JBb`oowg[cMYFJAy`]OmwVkJ}D|Av`[omGU{JeDpDXalpUg|{^EN`FbBuPz_{k]ONZFbBrPxO|C]ONNFhBiPy_yk]kMlFSBuPz_ys\SNZFQBjpuOyK\_MfFPBmPu_y[\kMdElBmpjoz{YwM|FMBvps?}K[{N`FJbeprGxC[eMTFZBbpp_zc\gMJFABjpuOwc\_MFFhB^pyowK]gM@E}b]PnWvW\yLsF^b[`vW{oZYLoFgbZ`xwuW]ALiFabY@wWuG]ALcFabW@wWtSYqLVEdbQPhgtCYeLNE^bOPfgsKYILFHHAbpQWhCSiIXDJafpRghkXyL@E^bOpgwsSdwQdHSchqTxIkdYQeHWciAUhIOdeQiHZcmaTxJ_dYP}HWc]aUhFodeQ?HZcmaOhJ_cEQqHDcaAUhJ?cMQKHZcmaQHJ_c]PyHCc^APXFwcMQKH?cbaOXH?cIONGHcCQLhEcbUPpGvc[qIHDSaeQWGXcLARXBWcyQSGUccaEHHW`]QaGRcIaSHA_c}O_HNcgaChAGdAQ[GLcFaRHHg_yQQGIcdaBHHO_mOFG@c@Q@X?s_QN|G?b~p}w~k^qNoGyb|ANG~GbmNiGyc]@|xFW^YPIGrcWaHxCobIP_GacVAHHCWa}O}GjcOaJXC?aqNcG]cM`|HB_^M@D?a_POGwC[AMQJHBcaQPhHCc]PtG{c\qLXEsbQPnGwc[p{g}c^MUSJCdeAphXWkUU?JLdfanhVwkyTyJHd\aqHV_k]UAIwd`amhWOjeUEIxd_amhWOjaSCJDdAAphW_gMR}Izd?anHO?juTmI}d^alhUgkAUYIVdfaeXXohaShIUdIqcxQKhIRlHvc{Q]XN[fiRXHictqZXL{eyUOHecqaqXK_k]RMJIcsarHL?kmT_IfdWaiHTwiYTQI_dTaghTOiES{IMdNacHPwhuSUIZdEafHP_hiSSIddCAgxPGiQTWIDdUa`hTog]RwIrdYA^hNgjIQ{HocxAWHJwfEReHacyaWxM_eEWlKVeIrChacpMWEJ^dob@X[?oQVsK?e@A~H_GnmVqJ}d{A~x]wnuV_KHdvBAx\woiVUKNduBCX\gpAW[JgeEayh`_meWoJdeLAxxbGmYWyJ]eLavXb_lqUqJsdzAuhZWnUUkJadkAxHYwmMVaJRdia{x]OlQWKJOeCAsh_wlEKbENbGPcgqcXMPbGrcXQJhECa}PVGlcUQFHBs`uYeLKegbRXiOsmY_LLefbQxhosqYqLHedBTxh?taYQLUeiBQhh?tUXGLPeRBSxcgtIXkLVe[BUXewtaXdKoeWrJXd{qyXCLOefBGxhwqEYgK^eibGHbotYXqK{e\bNhfOruXeLAeaBLXgWrQX}Kie_bJHg?qmYIKfebbIXgoqa[SFRbhPsWyc\UMlE]bOPfwsSYMLBH~d?q_HO[gQSDIbdQqhHSCiITBI]dNqfXRShmSxH]coQVxKKeMRDMRFTrdPtkxO\XMTFKrepq[xO[tMOFSRc`tSxC\RMOFJRc`rCxC[nM^FErgPpsy?[^M[FErf`p{xs[\MIFQrhppcyW[VMIFQRb@s[wk\DLgFKrepksu[[tM^F?rgPo[y?[DL}FJR_@rCv{[nLzFQrhpnkyWZxMjE{R]`tkyoZrLtezr\hmSvMZhLnFPR[Pscv?\FM[EuRf`lsxsZZMiEtri@lKycZTMGEprX@pKuS[NMHEor`pkSw_Z@L\FAR`Pj{wWY|LZFAR``jcwSYtN{C]qNxFscAQDH@d|Q~H^[naVrJvdyQ|h]knEVfJqf~cAI@H?E_SO?f~c?i?H?Q_?OBgDb~H~p?u_WN|gBB~H~p?]_IN|fnRwHz{|m]xN\fhCAI@O|Q_QNRgDbry@g|E_WNOfeC@hxp?]]YODfcc?hxX?Q]SOBf{box~O{U]GNzf_B}XwO~i]ANzf]b|hvw~a\{NvfzBmhv_~]^oMzfxblx}gze^gMwfyBlX}gzY^eMsfWb{huW~E\cNofVB{H}GzA\]NqfvBphx?}}]MNlfsBwX|G}M^CNfftBuH|_|i^UNXfjbxhyg}U]kNcgjCRYHtC}aTPKgdsDqId@cajOWGhsDAId@WajOTGhsSAALDG_fPPGHSBaID@?adONGgsPAFtC?aLPDG^sMqG|BsaRO{GcSEaET@o`hOZGXsLQDLAk`nOiGZSMACtBg`POxGRsGqD|AS`bOcGWSGAGLAGaFO`G`SJQBlAo_|O^GVR`HokwY[NMHfCSYQODGGbPPiH?s^yNlFyb\PogvsZAOdEscJQBGtsUQODGGavPYH?sTaO\D_cJPVHAS]aKlFkbNPeG}SWaMLEObfPbGxS\qJ|F_b@P`G{sVAMdDwblP\Gyr{H}S~E^fNtfyR|h~C~]^rNzf|ShAOtIWcPQdHBshqSLIKdRQgHPSfaTlI{d@QmHNseqTTHsdVQ[HUSeASdHgdLQXHQsdyQtHUcdQShHsbqS|HCdRQOHSSiaPdGwdXQLHTsaqTlI{cTQmHCsSIITDEahPTghsqyXlKqePRHhdSnAXtL?d|RNH]smQXtL?dvRNH\SsQUtLGdpRRHZssQU\LKdjRQHYSkAWTKOddQpH`spQV|K[e@REH_syQ[\MSfVRiHqStA[DLSfBRUHpSua[tLofPRZHrsvQY|L{erR]HkS{a]lNOfnRrHzSzA\|NCf\RoHuodgQ{HaHRCjaTPHgdCQ]LZEnbVPkWuSZASJIFdBQ^HNsfuXDKbeOrFhcCp}]pNYfkrtXy{|YarPZglSUIItD]eDRCh`soIWLJ}hOSaiTDHIdHQMg}SdiRdGYc@QYgwSciNDGibhQMg}SXiOdEyc@Pig{SUiMDEIbhP]geSXiIDEyahPigaSUiHDEIaxPAgeSMiIdBYa`O}gSSLiEDBy`XOygaSGiHDAY_xPAgMSCiBDAY`@OUgASKiDD?y`XOIg?SDiBC~y^pOQg?SAh~D?y^xOEfoSdiRc}i^HQYfuSih}dIY^`Qai{?U_KODwBK@m?tTi?MOFgBlV??~?`_OOxw\KMaJPDiaspXWk{UYO`GPcHQBX@{_yV\Jodvqyx\kmqZ^LpewRZHlsuu_tO[gLsFyBl@ycXQMhEsaYP\GiehRUhistyZDLekqUZjJdfIr@XikyUSjJDfyqhXykmUPjKDcyrHXIk[USjJDcIqhW}kUUMjEDbyphXAkcUGjDDcYqXWekUUEjED`yphWUkSUCj@DaYoXWaj}UDj?d`yo@WYkET}jAD^IoPVuj}Txj?d]yo@VijkT{i{D^imxVujgTziyd]inHVMjkTriyd\ym`Vaj`Tqiwt[ImTVEj[SliTdZylhQqioUYikdfIrXTiiiU\ijdfiipX}jSTQihdZIi`UmjSTNiuDSYlXTAi[TgisdRYh`U]iUTcicdXihPUUjGTEicDXikhS]iITgisdOyg`U]i?T`i_dWykPSIhyT]i^dWIfpT}jASyipdNIkPRmi{SvioDMYjxRahgTZiZDVYehTqhcTniXdZilhREh[TZiWDVYdxTqoK?I_EOAw@k?}?\WQ?GOCWAT`_?h?R_IuEJBT`eorWWkLTgBAlYGonU`KJU?AxT[ooDW@JdtrR?D[{oDVMK?uCaxL[[ohWRJcTpBAT[WohVDKHtob@|[KobV@KGTnr@d_wl|V?KEuBqv\`ClzWOJ]Tmb@l_wlpUxKETlr@LZWoVWIJYu@auT__lhWFJXtjr@LZCoVUoKDTjB?tYwoPUlKBu@QtL_KlTUjKAUDQtDY[onUeKJU@Qs\_KlHWCJQt}a}d^onlVzJyt{Q}|^cnfVwJxTyA|\]snTVhJuTza{l^?nNVnJrTwazd]Om|VbJmtuQz|\knBVYJoT~Qyt\_n~VVJ~TsQyl\GmfVOJiUZ?BS@m?r?X_LoEgAs@a?n?U_KODzNo@q?|?\_MOFgBl_AoDW@k~E`JO@gYr}YDl?e`JOXgYsCYDkuE]JLpfirYXxkwe]JLxfirqXokxE]zNhfQrwXrkye]zNhf]rwXukQUHjCla]pRWgkoE_ZKPgMrAYAkme^jJxgAq{X~kyeUjJ`f]quXukjeZzMHdeqoXokiEZjIpeqqiXlkge[jIXfQqcXrkLeYZBhemowXikNEYzLPaArQW^kpeRjI@eUrGXNkaeQJGxciqKXHkdeOjHhcQqWXBk^eMZFXcEpsX?k]ELjFpbapyWvkXeJZDxbUpgWmkWEIjEPampaWkkrEGZL@aMrMWa_EOAg@[?i?X?J_EoBw@s?u?^?Mlo_CGAK@I?`?Q_GuYZL\eiivT\imTXIktUUjPThirtZyltUuvEZglpEyZ[Hm]vGZflrEyZ[hmauaZ[lgEvZXxlmugZ[lhEvZZXlMuiZ]loEtzZxlYuoZ]loEujZxleuWZrlyerjXhnQuQZcldexjXPmUvAZElpeqJ[Pk]uoZBllEpZZHkQu?ZQliEojWHlMuiY|l^etzVplYtsZOlgenJXxjmvSYvluEmZ\XjatbYrlXUlJUtjUt[ZrlyekJTxnQvSYjluEjZ\XiqtOZolTE{jTHnEvYYdlvehz\piYvYYalvehJ\piMs}ZolOe{jS@nEs\YNlEucZQThAsfYTlIUdjRDh]sMY[lNEaZRhgasSYXlEEezPXhioFWDkAUBZ@t_qo^WPkGUDZA|`Yye[GmifAji`oewy\JmNfRJbpsiww\KmLfQjbPsmwm\RmKfTZb@tQyY[SmJFRzhppUy_[PmhFCziHpIy][MmefCJhpo}wU\OmEfSj``tEvxZ}l}v?J_Ln}wD[Cm@v@Z_|oYyM[tmZfQZh@rYyG[qmbFLJghrMx]\@m`fKZgPrAxW[zmVFNZdhrqxo[hm\FIzfHqixK[}mSFOJcxr}vk[bl{FHJ]xqUvq[_mPE}zcHni{Q\UmkFazpPt]zy]?m~f_jnpwEzs]BnAf^Jo`vm{]\jnGfZZq@uqzQ]MmtFbJl@wuzI\vm{fXzkpvaza\amqF[zkXvIzg\^mzFWZmhuAz_\]mvFVZlxtqyq]EmlfaJjPw]|e?^_OoGGB{AE@@VIjeTqyxl[}m\YXlLuejRdhysz]{N`Vnbwdzs}F]~N[vmrwL{?|t]{NZVnbvDzs|n]rN[vmrulzO|t]oNXvkbulzC|h]oNZVkbvDzC|n]~NKVebwL{?{r]TN`VdrwdxW}F]iNUvjBt|yk|\]fNHViRqdy_{f]]NQVhbsDyS{~]ZNOvfRs\xo|D^q?IOCwAk@M?h?Tk|U]JNLfmrzX{kLuFZBd`yp@W^m_vOzgTryy@[~m\vNZfdraxt[xmOVGjcLqMxJ[coHg?[Ai?N?g_An~GCK?A@I~}_Pn|g@z~i?f?O^{oAF}z~i?Z?I^{oEf}K@p~f?]^yoDF}K@`~j?U^xnyg?Z}y?I~k_BnxF~j}a?A~e^~nxF{J}`~E~e^nnyfzz}x~E~k^onsfpZwx}m}K^ioGFxj|A@I~M_PoIFw{Ah}R?e^dnoG@{@H}J?O^`nmgBZzy?}}{_MoAFujza?Z?I^ZoDFt{@`|f?U^WniVtjyl|E}f^QnuFrj|p|A~Y^NntfrZ|H{m~S^KncFzJxP}y}Q^loqEvJZllmu|Z_lnv\znLvazh\umyv[jm\vEz\\omvwZSK}E|BR`mOsWXsLUEpBR`jOsWXCM]EXBj`dOyWXSMUF@BL`cOwwOCMeCDBf`AOywZSFmB|B^`mO^W[SFeBhBd`oO\wLsLUEp@r`jO[WK[E]BJ@\_ooVwWSD]EL@Z`aOUWVcDEE@@T_hOnwUsCmAXAz`[ORwGcJ]APAz_bOmWFsJEADAt__OkwUCBe@xAt`XOMwWSBMEL?v`aOLWDcJu@`A~`_OJwRCH}CxAb`LOgWSsHMClAh`IOhWTSGuD\AP`UObwLCG]BXAJ_tOaWncT}JFD`akpVWj[OIJnDya?p]G^{VaFzDy`|p\g^KVAFfDs`zp[g]kMqJbBoayozgm[UiIBDCavpZGg[OQHvCGa^p@gfkRQJJCuaspMGk{QIHRCeaUpHGd[QyGzCqaOpKGb{SqGnCYagpEGh{PAIfCSajpCgikSYGVDIaFpQG`j|L}m~T^knvVz[YAMbEcbipggy[ZeLzEzbXplwuk\YLZFWbVpuguK\YKFEEblpuGok\AJzFSb?psgn{[iKvE]bfpfGxkZyKjFAbKpoGq{WyLNEQbTpcGtKWaMJFGbEpagw{JEDjAr`ZomwVKJuD~B@``opwWk`aMzF_cMpvhB[aQOfGgcJqHhAk_qO~GacGqGH@{aiONGIcVqJH@K_AOrGCcMq?hB[^mN~F|b{p|W}{]yO~GabxqGG}K]aPVFkcVpyhDk]IPJGebrpxHDKVEJjDrazp]wnKe]RVHhcoqXXK[eqQRHKcwqZhH[eqQFHocbqZhGkbqRnH?cxqNhMkbYRfGyczqMHMkdYQvHScnqUHJkcyPbHQcYqSHE[faSnH{dKq]hR[hASzISdOqchR{gQTFIedCqhHO{fySVIMd@q_HPkjiTjI}d[qnHU{iaTfIkdWqihTzuDzI|b`MoeWR[HMCnATbAp`wo[VuKBD~ciqUXI{c}QfHPdwQxX\CnUVLJrdtQvx\smMVXJ`dkQxX\CluVLJZdjQvxYcmMUdJ`dkQrXYCluUtJNdiQrXYSk}U`JVd_Q{XWcnUUDJrdtQpx\skmVXJHeX?BoAG@L}}~`^ppGwc{QUGzC`aNpyW|k]mNFFfbqq]XNkfmR~IBd?rThiKtQYvLWehrVHh[uAY^L]eerPHiKtQYRLEehrNhh[sIY^L?eerPHfKsYXzLGe\rNhf[sIXrL?e]q|hc{qiVvKgd{rThcKtiXJLWePrEhjkpyZBK[enrEHe{pQXfKUeYrKh`{pIXjKueGrJH`KrAWZKmeDr?hc{qiWNKgeAq~HdkoAXbJ}eVro_@G?s?VNAf@r`Hw{wA]JNAe|rphnk{QZ~Lsf]r]HwKvY\~LmfZr[hv[vA\rM{esrZHwKui\~Mueprmhk{zaZJM]fTrjhs[yq\BMWfQrehtKxq\NMEfHrdhp[wa[jMofErlHqKzI[]?N?H_COAW?{?bOUgBSCY@D@U_HORgDSCY@t@U_XORfxSAx}t?}^hOLgARzX}D?e^\OFfrR~x|T?M^PO@foR}X{c~u^DNzfkRqXxc|U]TNVflRrxzs|M]xNP?C_BO@W?c?Y?JgkRHxd[qeXZKpeVsPiI|CiajPGghsRII|DAajPMghsViD|BIbFOogosRIGLDAaJPMg`sPiF\Ci`~PGg]sLIJLDq`rOuglsIiJ\Dq`ZOggksViC\EI`NP_gQsEYA|@m_zO`gNrlxv[ze\~N@f]sgIMLFQdJPqhPshiO|IicFQghAshiNlIicBQgg~sgIM|IQbvQag{sXyKlEebVPngusbiR\HycfQOhMsaIQlGqcrQIhJssITlLQdbRQhVsqiV|KyeFRKh_smIW|JqeJQyhcstiU\JYevQshksyI\|MqffRihwswiZlMAfNRchnsCYA\@UcvQ^hMsdYRLH]g`S@iET@Y`tOMg@SFiATAY_TOmgXRthzTBy^DPEftSFh~TAy^dOeh`PTgjsSyX\K}eZRHhbspYfdRUi@Spi^TKyfDREhtStiXTLydTP]ghSliHTJycdR]hpSfi\TIYftP}hDT@i]TGYbDQ}hTS\iUTEyldUYiZTiidtYIhLUiiFTeibtYIglTAivTMintSijlTQjBTciktTik\VyjZUAiwt_Il|VQjrT{izt]im\Q}hZSjjGT`YqdW]kdUHjHTayqdW}k`ULirtYylG?IklUbjR?@irG?QktUd?ATfIs\YW?DU`?BTfisn