CAT(2792,1)

Sparse6:

:~?jg_?O?G?C?s?T?J_EOD_AC@E?d?R_IoDGGW@_?v?U?KoDoBS@m?r?Y_K?BwAo?u?m?M_EoBw@sDw?S?F_E?AW@W?a?S?O_E?Cg@W@E?_?R_I_CWAO@Q?G?R_I_@g?g@Q?G@F_B?QGGo?U?H?E_AoRoIkD?Al@V?goU?IkDgAl@V?koU?JkDgAx@X?loUwJcDuA^@P_gOR??{Cs?R@M?CO@w@K?aBt@z_{ob?P[GmCVAC@COa_OSGKCR@~`?o_GOsG]CJAH`DOaGROHaCqAY`K_eGQ?HICaAS`F_cwQoGuC[AV`I_bGSwFqB|@|_wO[gMKFMBj@s_zO]GM{FiBv@x_}O^gNkHUCnAU`EObgPkJgDzAz@^On?VKJYDpAv`Y?mWVWJUDsAr`Q?hwSoIeDIAg`R_igT?IqDQAj`T?jWTwIqDUAm`W_jgTwJID_Al`W_lWUOJMD_As`Q?lgSoJaDIAv`^?gwV_IIDyA``L_gGRgH}CwA]_foSWICMWAd@S_hoz?IkD]Al@W_lOUWJcDuAvAD`BO`wPSGaCRAA`AO_wJsEAA~@`_poWgKcEUBL@f_soYGLkE}B\CO?uoZwLsEiBX@jaK`EGa{PYGnCUaKPD?asPKGpCTAJow?\cMGF\B`@uoz?\{MwF`Bp@uo{o\{NCFhBq@wO|?]{NKFlBq@yo}?^[NsFtB{@{o~_^[NsG@B{@~o~__KO?GFB~A@P?O_cOKGLCAAAp@o_cO_GLCHAAp@o`SOcGXCGADpA_`kOkG\CKAFpBOaCPGG^CMAGpCoaCPGGjCSAGoqgXCKeE}Bx`m_}gZoNaEwBv`l_|W]oLiEnBX`kOyOX[MkEZBi@eOs?\[McE\Bi@fox_YKM_EfBf@hOx_YcM[EjBg@jOpo[[KWFJBD@qOw?WSMGEHB`@`ono[[KCFHB?@qpZOFkB}@|Du?_OOgGKCYAP@F_coQwHSCMAJ@C_eoRgHcW_CdAS`HoogWcKMKUEDbE``wp_WYKCEHbA@aGoWWiJqD~b?`]wo?ViJwD~b?`^go?VuKCD{bA@^goWVuJkCaa{@HGmwQMJGEDar@`wkgWYKUDQai@bWp_TMJkCda{@HwmwQYHQDraS@\GmgQiHUDray`JWd_VQIWEGae`aghoWeH[DoaV`[We?VIJ_CpaX`[gmGRIHgDlaZ@ZwegUyJYCvav`MWloRaJSCyau@NGlWRmJSC|a^@ZGfwUmI@DAa_pOwgkSQG}DxaO`]gc?VmGzC[aNPW_jsU?JFD^AopU?j[TgIzDXAmPRok{TCJRDOAsPQ_ikScInDJAjPEOgsPkIPCYAboMgFcBmNI@S_hoSgISDQAfFmBq`yw{w]qNKFlbs`yw|O]uNOFkbkpuwzS]_MfFiBipyOyc\?NNFdBhPx_yKYMLJEcbL@wg{_XqNEEZbn`dGqo]EN?ETbJ`vwrG]EKoF_bG`wg{WXINGERbFPcGp{[sMTFNBePr_x[\oMNF]BcpvOxC[OMBFBBbPo_wkZkL|E|B_Pn?v{Z_LjEvB\PmOusZCLdEnBYPk?u[YoMlEmBjpu?tkYWLTEgBTphotKXsL@EaBNpgOrsBu@~?}_]oNwFsCAAD@@__oOgGCboFFBd`qOyw\SMeQIGuCUQI`FCakPnGuCVqJPFCb[P\GzCXQK@FKbCPtGzCXqLPFKbOPtH?BzP|@GKb{NjGfCYqKpDKa_PhGoCQQHPEKaWPdG{COqN`C[bsPDGZCUqFPD{`oP\GiCKQE`DcakOrGTcJqDhAS`QOfG{B|p~@Fs^gPzG~BzqOO~C^cQ@FmbwPzw}K^MNdG]CCqG@@[`{OTGNC@q@PAC_OObGEC?QA@?S_[OBF|CEP~p@s^wOZ?y_]OMwFSBq@vIIAtPZGl[VAJdDpaxp\WmcWUKNEEaLPEwbKPqGzC]cEQBh@kiSS~I`dOQgHSKh}T?IXdNaexSGhiSoIZdJaehQoheSeI[dNAdXQ_huSAIFdCa_xP?gISGIFdCa`hP?gUQbHRchQ^hOCf}SGHzc}a`hOgfqSAHwd@a]hOOfeRiILczabhMog}SoHecsAdhKwh]SSHbdEAXXPWeQSSH_dEAWhPWeEQyILcnabxJogyS_HYcmAchQGdmQqIOcjachJ?hESeHSdIaThQ_dUQLHFcaqQXHScaQVHKceqRhH{dAQCI[dNAPHGWhuRcHmcxaZHM_euRQHncta[XLOfANDFcbpprgx{[uQDHCc`q~p^[niVrJKdfQrXXKkiUVJEDxqpp]kk_VhJwD`q|pWknWUHJ?Dxqo`]kkCVhIsdZQlXU{jeTpJxDWq}pU[ngTdJuDTq}@Tkn[TXJlD\QzpVcmwTvJZDsQxpZkloVRJWDqQu`[slcVJJTDwQtp]SlWVbJ`DhQwpYcmGUfJNDnQw@YKl?U~I|DtQnp\cmkT|IiDVQk@TCicT^IaDRqh@SsiKTJKoeWrJxbkpyW~KAEURJ`_cqsWFKbERRHPdCqOXNKYEYrF@e{pkXlKWEOrDpcCqGWrKMEIRC@aso{WjKLEHrB@aSpCWVKGESrA`d[ocXTKDEXR@pecoWXfJ{D~r?P^snsW@FjbupzHMSfQRfHncwq[HGScQQFK@e?Q~x^cnyVzLgetRYXkgueZMLgerBYhkguIZGLferBWxjGt}YsL`elbWHjGtqYuL]elBVXfssAX~LTehrTHjwsEYEL`eoBOhfWtqXyL]e]BVXf?uQXsLae[bWxi?siYcLKegbQxgwtYYQLWecBTxg_suY]LEefBPXrWbYPpGvc\QMxFKm]VRJgdqQxh[kmEVFJadnQwHZ{i]TJIedSQihTKiITHIbdPQhHS[zo\gMxfXbmxugzi\mMxf[Bmhuozm\oMmfZBjXuwy}\YMofXBjxuGyy[}McfRBgHroyU\?MbfNbgXroyI[wMifMbjHrWym[uMgfMbiXr_y]\qMXfKBmxvOxiZYMXeuBeHlWxi\eMNfGblXq?zQ\AMKfPbbhsOwu\MMHfSbaxt?wi[LMGfBr_xokwQ[?McfRB_hoGyUZyMofXB^xuGvyZsMie}BjHnWym[iLvfJb]HqoveZgMTezBdxmgxYZcMRewbchmWxQ[cLmewBdHlwxM_SMYfKreHO{geSPKSeJRDXa[pEWdJ{d~Q~Xl[uuZXOUGKsEAB\@[_tOTGFsDA@l?w_fOLGGSBqAT?w_bOIGKsBAB\?k_tNnfwr{H|s}q^ZN_GGRwaAS}C_bN^GKRvQAs|w_nNYGHsDPz\@O]xNSGBsAPys|S_PNRGAs@`yK|G_HNMGAs@`yD?O]^O@FeS?pxk{k_DNGG?rqa?[{c_DO?Farpp~{~w]LN}FaS?@w[~{]DM|GCSAPvszo_NOJF^sB@wL?g]@NVF|ruP~k|_^xNhFyryp}{}g^lNeFxR|@{{}_^fNwFpr}P{k}O^tPcGlsVYJdDaatPXgocHYKXA]bCOegPCViC`EA`EP^gOcWIC@Dy_}P^gpCFYKX@ybAO[gfcQYHXDEa_PIg`cTYIxCUakPCg]cIIDPB}`{OhgZcSiFHDQ`oPRgeCLIEpCy`iPLg_cKYGPBMa?OqgVCMiE@Bq`]OzgUCPiDhCa`UPFfHRdHq[xU[nMUhEsbIP\H?cBQNH?SbaN|FybxP|g{ccYNXHMbsQQhGcXyQXEeccPggqCcIPpEYc]PdhAc[yOxFUcKPsh@C[IO`FIcEPpgucaILxGib[QHguC]IMxEibUPuf~S?H~|?E_FOAgAs@i?d?a_ROFhYCdIUXHYdcQThWClIUHJId]QrhUCmITpJidqQlh\ciYVhImdwQihRclYT@J]dKQuhQsgySdIAdDQ`hMclYRxJ]c{Quh\CfIVHHicuQwh]CdyRHJucoQzgnSWIJ|EEbFPah^SoIV|LaenRUhncqi[HKqf?RJhbcvYZpKeewRGhaCvIWpLyeIR\hncoY[HKMf?RAhgCsyYPLUeaRShfCuYZXKue]RYhwcwi]XMMfcRchuc}Y\XNafWRvhsC|I\PNYfQRthqczi]@M]fKRni?C}i^`OIfuS@h}d?y^xOUf{SC`QOhgSkTIIhDRacpQwhS^YNhFtb}p~w~sjiTxIzd^qnXVsrmXzK{e[RMhfK}Y^PNffprxX{dE]bPPhgqSXiKlLAebRQhfsriXlR[h`SqI[TLaeLRKhZStIVtLAdtQgh`SqIUTIqeLQ[hZShIVtIAdtQghHSjIQtJActQ[hBShIPtIAcTPwhHS_IRTFqclQCgvS\IPTFAc\P{gpS_ILTFabLPSgvS\IJtFAatPOglSRIJtCaalP_g^SPILTEQaDPOgXSQIFTCq`lOog^SPIFTBQaDOWhfSFIYtAAedOchlSJI[TAae|Uo@`?n_VOKWESBMjo?s_YoLinoBa@r?vaEpBg`{[]MRFGbaPpgwkeYRPHfcpqXXKcoIWHKBeAr@h_{v}Z|L|e|R^Hn\Ae`TOggTsJYDdHQclQThLSfIR\MIfHRbhqsxy[tYslJUjJRtjAstYGlPUcJTTgqtLYGk~U_JQTgQs\YSkxUfJNTharlXck|UYJMteqrdYCkpUVJNtgAqtX_khUTJJTdqq\Xck`UZJHTeaqLWsk`UNJHTbaqLWgkfUJJITdQpdWskNUNJCtbapDWgkHUKJBTaqolWCkNUBJCt_apDWCkHUBJAt_aotVyk@T~i~T_In|VohvSxI}t]qfTYkjLUlIsTjAk|UKlPTdJTTXAtLU?jpTaI|TWQnLV_izT^I|TVanLVSitTvImT\aj\T[jdTsIktUAm\TWjdTsIiTTQm\VSibTuIhTSqm|Swj^ToIgTRqmLUsiZTKIvTQqldS_j^TIIwtQQmDUoiJTmIbtZQgtUciDTjIaTYag\R{jzT@I}TOAn\UchxS}IttNQlT`O@D?c_PoHgC{AUp??g_TOIZCoAm@Z?kkRuHjDDa]pLWgkQDjzChZAl[WbkFDuJA@\io]VXkFDuzA@\uo]V[kODtYyxaIpAVUjhEGIy`aImeW`jfeFYyH`}m_W]jeEEixp`qmYWZkNdqjBh[eo{VJkLDpjB`[aouVFj`eDzBH[UmGWWkIDoIwP`UmAWUkIDnZApZ}oiU}kKdmyvP`]lwWWkQdmYuxaMpGUwkGdlIup`MocUtkGdkZAXZMocUqkCE?j?`_eoEWIkAd~z?x_EoKW?j}D|i~@^ynyVvj{d|I~X^UnsVrjwDyi}P]mnaVkjudxy|x]en[VgjqEAy{p_unIWKjnDwY{X]AnCV^k|?KGD{Ay@^?o_VOKWESBM@b?r_XUb?EcBY@j?s_ZOLZ@t`Ao^YQLEUdBPthKsZYQLFudBQLhKs`XyLBU^BPDg[rvYFK}uaBN|fwsLYJL?uabODgcsDYIL@uarOlgcsHWqkYUKzElb]plXmLFucBMDe{sbXjLEUZRPteosZXgL@uYbOlecsHX|KquXrN|eWr|Y?KpU_bKdgCrFX{KouVrNTe?rvWhKzuIbNLakrpXvKUU]BDtfcpZXpKmU[rJtfGqzXRKjUTRI|dOqpXOKlUUrILdGqrXFKdUQRHdc_qVXLKaUPbH|cSq\WzK_uNRG\boqDW}K[UMbF|c?prWnKyUKRMtb?rj?d_RoHgCsA]@J?b_QOGgCcAM@DZn?SOIWDSAa@R?ikzu]ZNDUejVTiiyT[im\VUjnTui}T^Yn\nSv^ZvLwu|b]DnSvdZvLyU|b]\lsvRZ^LtuybZtmgvBZaLsuwB\\msvFZkLqUzb[lmwvPZkLrUzR[|oCut[BLmV?bZ\l[vdZXLxuuB]dlOv^ZULwUtR]LlCvPZeLhuxrYTm?u\ZaLgUwRX|ksvHZJLqurB[\lsuPZ^LdUqRZtn_uJZyLbu}RWtj}uBZ?l`UpJW\oKtxY}M?v?bVlngtvZxL\U}BVLjWv|YwL~v?BU|jKvvYtL}ulB^dnot`Z|LXU}rULisv|[?LVujb^|hqszYZlNUgJR|iEtFYalRUhJSligsjYkLJuirQth_tNYhLLUiBRL`EofWQkLUFJB\`uo~W]kQUHZC\pWzB\bMKVDrkTt_xV[lMlVJBjLq_zD\bMTVIRkLtgxN\XMRVUBclqGyv[cMmvGrjdqCz@\]MOVVrb|tkwx\\MNVVBblpcy|[YMoVErj|oiwX[JmEvBz`tpEwd[OmHvDZadsKyj\CMjvPRittGy@\AMiVSrgLtCx~\OM]vRrftrgyR[{MdvMrhTr[yX\MM[vRRfDsWxh\GMZVPreloOxb[EMXV@Re\qwwN[oMCvJr`DuW{n\cNKvXRrDwk{\]ONEvbrpdxC{P]RNDVcbpLvc{z\zNNv]brtxgzl]ZM{VfBm|w[zh]DMyv`bm\v?{@\qN?v[Rn|wOzZ\nN@VZbo\vozT\}MuV^Rl\u_{l]SMsvXrql{C@p?x_ZoLwFKBampVYjktvIzl\mtNYhlSUijTdim}a^JnhFqjx`|A}M^Lncfrzx@{y}S^CnbFrJxX{U}M^@ncfozx@{I}?^@n^Fozvx{I|{^CnbFoJvx{U|K^LnSFrzsx{y|E^OnQfsjyHyQ|?]wnPFmjsHze|u]tn]FlzvhzY|c]knYFjjuXyu|Q]nnWfizu@yj???l_ToJGD[Au@XYGlBu`jPLgmsTWhkTuIjDtaupX\PmfvSJhdsyyZ\HmdvQjgtsayN[mmWVJzeLrMxd_bOGWGSAMAH?^_]OEWFs@uA@?Z_HOJwAsAu?h?j_ROCwDC@]?h?d_ZOBW@sBm?`?x_WOBwACBU@d?L_BOGWBs?m?P?b_?OEW?c@m?D?\^~O@V~c?L~t?@^}O@v~s?l~t?H^TN{vtB}||K~p_]NyWFr}mA?~l_`Nwv{sC\~H@D_UNwWDr|u@S~^^jOLvzSBl}p?x^gOHWDB|M@K~T_WNqvxsBU@c~L^anqVwz{D}E}~^[N|Vvb~d|s~v^vNkv}Bz\~c}t^UN|VuB~d|[~v`qLsuyz\Tmuv\ZknBv`jolwI{H]Bn?V_Zn|vqz|\|ozG^[MyFnBw`tozG]kMyFbBq`tp?g[kOYFRCC`roxG^{MaGBBe`}p?gRkOYDBCC`NoeG^KHiFvAU`zo~GQKHQGBB}`Ho{GP[NQC^Bq`Eo^wO[GEBz@x_|o[g[KLyBjBa_zouGLkLqBbBY_voXgYkEiEf@g`joWGY[LYBJ@a`ioVgYKDiE^@[`eoTGX{DaEb@U`eowGH{DIE~Ba_govGH[LiAZBW_comGV[JQD~Au`]oogUKKAD^BC`XopgTKIqEVAi`co`GS[GaDNAE`QpeGn[V}JzDta{p\wbsXUGtEVaMPcwqsPUGpETbHPDwpsPEK`CNbEPCw`CXEKXCLaDPbwosTuKTD`bCPVwcCT]ItCdaPPUWiCWEIhEDahP_wgcR}IPDBabPOWhSReI\C|aePMweSUeHlDlaYPYwdcU}H`DraVP[WkSQ]JLCjaqPIV}Z~D~]~t^{n|wvc]uM@Fnb^P{Wyk\]MrFNbhpsW}s[uNhFJbcP{wrs^MNlEbbyPgW|sXeKxFpbuPewvS]eLlFjb[PxwzSZELhF\bXPvwtS[ML\FFbUPpW{CYUNHEhbpPhwYKK}EZBR`jotWZkLmErB``povw~CbUPpF|cZP}xGCa}QHGrc`QKXFSaeP|Glc]QIxCSc]PLHJcQQQXFC`uO|GtcOQLxB[`]OrGTcHqCX@SbmO\G~cEQNX?scmQPGHcAQPx?CcMN|HDc_Q?wp{XEKZETbJpcxO{gUSFI@c}q^xLCguRHIHcrQaxPCd}RDILdDQWXQCdeSdH\dFQUxPsdMSdHVdGQTXMSf]RtHpc{Q\XHcemQ`HlcfQZxQcjMSpItdJQlxVcjETtIndUQmXWSiMTHI~d_QgXSshmTTI\dSQfxYCl]UhJZdhQuXWckmUPJNdbQrVnjwDz~At`ZomWT{JMDbEbbOpfwrKXuKvHtcxq[XL{euRVKAeEr@HaKoAW^KGd|q~H`[nyWNKAdyr@H]{oAVrJmd|q~h][nqVbJgdyqzH^KmiVnJgdvqzH]KmiVfJ[eEqwHaKlyW^KEdpqxh`[oaVJLM?__NoGZ~l~y~~a^pOwgKReHvC|cAqAX?{^}OFG@dIqeXQ{hmSzI^euR\xmCvUZ\Lre{RXxlSvmZxLheuRWXmCuUZ\LbelRXxlSt}YxLheiRWxisuEYpLdeiRUxjCt}YlL\eHROxass]WhLDexRNXfsvUY@LveZR]XfSvuXpLzeWRRxectMXdLPeTRRxdctEX\LRecRHXdCsuYTKfe`RFxgsqMYHK`eMRQxbSsuWpLHfn?MOFgBm[xNbfoRgXzsx}[lNbfLRvxrC}E]pMPflRdXzcxM[TNTfFRtxpc|M]pMDfmR`xzSwe[DNVfiR^xoC|M]LMzfdRnxxCzu]HMvfYRoXwSze\\MbfXRhxuCyU]XMhfURsXxsykAA@B?^_OOGWB}`dO_gUsKIClAI`^OegUsKID\Aa`^OMgSsCiD\@A`NOGgOsBICl?i`FOYg@s@iB|?Q_zN{gIs?IBK~y_nNofqr{h{{~Q^RNyfurzh}{~a^U?z?]_MOFGBs@vPse`rPxgksmYZLHgxSWyKtE}bHPpgsSZyMTEubTPpgdS]yHtF}aXP|gnSYyKDEuaxPhgpSTyKtDmbHPXgySSYNDDUblPRgySPYHDFeaLPvg|SNyNtCMbxP@gZsKyElBe`vO|fjrtXy[|e]zNZhESnYQDKEc\Q~hNSoySTK]d@RDh`SeYWtHueHQZhHSnyWDH]dxQTh?s`YO\GmcNQHh\SiyUtIudpQnhQSkyUdIedLQphuSqYXTNEeXRnhtSvy\DLufLRZhoStY[dLefDRVhfS{y]tLMe`RtiATAy`tOegXSFh{S~y^dOMftS@gUsKYD|JmdnQxhXslYULQagzSkiOtIib|QIhBSeiNtHIblPAhRSSiUtCid\QIgnSeiLtHIbLSqb^Prgwsyy\LM]fBRdhptRijLTiiZTOimtTIhlTAinTMihtJih\SYhfSoictSigLTYiJTSi`tMijLRyizS{iltQIelRaiVTEiZtaIkdWUjPUBirT`yoTT}kLTbjATWYlTV]jtTniuT]YndVEk@Tti~T[yrTWmk|ULjMTaYqdW}kdUVjGTeYh\SeiNUmjOtkIslYqlFUejUtiiuLYal^UBjBt`Yvo?QlfVA?BTlO?T[AlnU}?@TmYv_?QmFV??BTm~