CAT(2704,1)

Sparse6:

:~?iO_?O?G?C@C?I?G_B_AW@O?Y?U?N_E_CG@_?y?s?X_JoEGA{@e?p?b?NOFwBk@q?t?Z_T?GGCSAE@@?a_OoKOECBA@`?j_TOJGDkA}@\@]?]OMwFSBu@~?}__oOGGSBm@x?y_]oNwFsCEA@@A`F?LWEsBQ@p?v_[oKWE[BID?AX`JoeGRKHaCnA[`LoegRcHmCtA^`NOfWR{HuC|@o_xO[WMCFIBb@s_yo[wMkFMBh@v_zO]GM{FaBlAT`JOdGQsHQCj@{@CO^_PSFsCRA?@Eo_OPcF{CVAC@COa_OSGKCRAD@Eo`oPcGWCVAM?|Oc?N[FcC^@x@Go]_QSFkCfAM@AO_oQCG{CDAF@HO`OQ[GWCb@\_mOUwN_DUB{@U_j_^WJGGAAsA@_k?^wLKE]BP@j_tOZGL{EyBZ@]@JoeOKCD{CpAY?ooWoRcEGCv@c@MoX_RsESC~@D?boOoGsCOAP@K?coR_H[CsAT@O?hoRoISDCAh?h_SoIWaOAU@H?b_ROIGC{Ro@X?i_ToJWD{AyB`@q_wo[wMkFQBl@w_zo]WNSFmBz@}_}O_GOKF}CDAC`@o`WO{GYAF@D_aOPGGkCMAL@G_boQGGsC]AR@J_dOQwHKCiAX@M_eoRGHsCuA^@P_gOSGH{DEAd@S_hoSgI[DQAj@V_jOUWJSDaAv@\_mOVGJkDmA~@__nOWWK[EIBH@e_qoXwLKEaBT@k_toZWL{EyLOEeBCPhopKYSKNEDBBp`_pKWOKPE@BKp_or[WGKtDYBMPV?rsTkKzDcBOPgOkkUKK~DiBOPgOlKUkK~EcAwpgomCYGJ^EaAzp\OscVWLFEeA|phOnkY[JxEUAoPe?kSX[JBDkBHpZOqkUwKhDwBKp]_r[VcKtD^BEpbojsWwIzDeBDPb?k{WkJPEOAxPc_mcXCJfD^A~P_?jkTwJ~DTajPTGi{TeIpDOafpRgiCSyI^DPahpSgiKTIIfCxA~PMon{W?HtE@AZp_ofCWGHlCrAiPLOisROIjDWAWPToeSTcHbCiAdpJ?hkQkIXDJAUpROd{SoH\E[ABPA?rsO[KzCSAGpCo`{PGG`CTAFpD_aCP[GbCQAKPD?bSPKGrC\AJPDobcPSGvC]AKPG?bSP{GrC\APPGob[QCGxC^AQpG?csPwHHChAPPI?c[QCHNCHAQpAocsOgHHCgAEPB_c{QcGZCvAEPL_`kR_G\CHA[pAof[OgHtClA]PN_d{QwHzCrA]PN_ekROHzC~ATpOOdcQgI@C~AWPOOeSS?HbBABNPf?W[KCKzAzBNonOsCYCDxEa@YpgoU{YODlBsAao|_g{NSILBvAcPQ_^KScFpB{A`pP?^SSGFvBrBBO{OocNGKJDC@upO_\cMkIFBnAbpP_]CSSF\BgBGOy_qSMcKbD_@qoxokSMWJBEf@pPhO[cYWFFB_BIowOqcL{KfB[ArOv_lCLsJNEJ@kouopcLgKTDk@jPZ_ZCUsEnEL@dPboXcWwEVDw@ep]_X{VcE\BOBJOs_rCLCKnBRAxOtOmcLOJfBFAcPQ_XKScEPCF@bOpO`CKOGLDY@Toi_j[IcIxAgAqOh_k[I[JJAdAspYoS[IOJTA_AwpZoSSV?DBAnAyokOm{J?JlDz@VP^OTkVoDXB|@^O~oWCNwD~CA@[om__KO?DpArA@ok__kJOGHIN?OOGgCKhS?t?[_LoFgB{@uTMCNaGpCGbCPiGrC[aMpEwckQYHHChaRpIGe{RYHpCza[pMgEKBI@f?z_]OMgFkB}@|@?_`OOWU[JQDdAu`ZolWVCJeDtA{`]omwV{KAD|B@``oog\[MuFXBn`wOzg]KNMFdBa`poxGWkKYEHBF`coqGSCIEDDAb`QohGS{IaDLAh`ToigTcIyDZAn`WokHZGnUVmJVdzAuH]WlQUiJsdjA{h]GlIV]JRdwAsX\glAV[JMduArxXWnmUYJ{deA~X^?kaUSJyd{aqXVSjmTrIudZqmHUkjQTfIsdYqkxUCjITbIpdWQkhTki}T\IjdUQihS_i}T[IddUahhT_iMTUI`dTAghRWi]SwIgdSafXRoi]TQI_dNaiHQghqSmI\dJAexRoheT?IYdNaeHSGhaTCIYdPaeXQgiYSmIddJAhGuOm]LeJgbWaxhPGkUSUJFdDAphWGgYSOI~d_A`xW_gQUEIBd`A`X[OgIVAI?doA_XNgliR}JZc~AvHZWfqUwHzdlA]hNGluRmJ^c{AvhM_luRkJ^cyavh\GfEVUHrcxAyhLomiVUHncwAyXWgdAQaJEchApx[WcEVIHBdqAOhVwbUUAGvd_ALhE_kMPcJCcXaohV_a}PaI}cWAnXDkayPXGhcTqIhC{aYPPGdcQQGxYwaIUqG_dkAGX^?`uVsG^d{aFhXo^}U_G@dfa?H\w_IOGJpdwA?x?glEOMJRcBAsh\o_eVWGIduaAH@WnIOYJscEA{xX__yO_JLcFaqxAGnUVmGRdzAChA_keUSGUcIaqHYg`]UkGXcKAtHBOnmOwJ|cLa~G~_jqN{I|b}anh[W]uN]JcbvAxX[o]iVMFkbtayHUo]]ToFhdZ`yHVO]ENEIzd[`wgyOhISgFSdH`swxwg}MaIPbgAcHP_[qM[IMbeabWxGhISeFIdI@qwwog}MOIPbbacGwWgqMGILbaabh[?YmLWJabUawXGwdYQQHWccATxL?cQQKHhctAPXG?eQP}Hac^AWxFWcuPyHNc]ARhJ_beQyGycnAMG~W^MNqFtb|@|G}?^YNcFwbw`|w{_\mNKF\bq`vGzG]AMoF]bl@vxLW\URWFVcu`thJwZQRAEuco@lWuweURMExb[AXgvOdeLwHZb\aUhIWZ}QiE|ci@nhHO[AQWF@b`AQwtoYaL_EibV`iX}w@]?r?Wf}bNxfsruXtK{e\rLhekrQXpKxeZrBP~Sow^xKNF|r}``S~oWVKKF|r}P`K~_WPNvEBr@P~K~[WLKCF{R?P}k~OWFKAFzR|`^s~SW@NsD~rxPyC|G^NNeFgrrPgS{{YBNME_Rr@|k}k]VNIFuRyPxK{[^TNgFcRw`wc}K]LNcFarop}S~K]BNAFwrnpzc|w]@N\F^Rspv[zs]jM{FiRk`y{zO]pMrFjRuPt{zC]vNYFWRlPtcz[\\MuFUriPvCyk\tMiF[rvpsC}?\BN`FPR[pnCvSZlLsEzr]pmKvGZrLyEwRh`lku{\PMfEvRY`psx?ZXLjFFrXpp[uc[ZLgFERX@|suW^^LdFwR^pkKwCZFM?EpR^@jsvwZ@L|Enrf@j[xkYzL[FLRa`jCtg[RLXFCRTPoSt[[HLUF@rcPiSxKYhMQEhrSPrCs{[rLOFJrgphcsw\JMcEerd@hKxWYVMTEdR`Pgsw[YPMEEbrOprksS[~LCFNRJ`d[qsX`KnEURKPdCrKXTKqESrHPb{q[XBKeEORG`bKqOWvKbELRCpasp[WjKWEIRC@bcpGW|KPEMoDWAc@YaIQFgbcaYGpGaaEQHgaC`yGPGabcPhgyCYyMXEibGPngqc[YKXFAb[P^guCViLhDua[PegfcYII@E]bAPLgdcWiH`EAawPGglcQiJPCeaqO~g_cTyG@DaaaO{ghcNiIPBu_uOrgYcFYB`BQ`WPSgjCIyDPDU`]OfgUcIYDpAa`GOogQcKYCpBI`oObgZCGiCHB]`qO]gOCMyBxBicGOWhBCEiOh@e_iPzgJC^IAxFu_cPtgIC\yAXFYboONg|CCYNH@A_[P~gEC_I@hFy_QQ@h@cAyOP?i_?ODg@C@I?H?M^}OFf~C@h~h?a?d?P_HsrqYTLCehROHhssaXdLOe\RRHesbiP|GucXQIhDscAXLHGeVQPHdSkQUdJKdlQqHYsjaTDJ?dRQnHTShQT\I[dZQeHUSlqSTJcdHQbH[SmaR|JodBQzHOSfAWDHweBQ\H`SeqW|HcePQYHbSnqQ|H_dzQ}HJScqW\KSchRCHIt?_d[QiHXCmaVpJWEkBY@h?v_[OMXnKvmZtLreyr\IaHOUgMSRiBDCi_pOugMSKiDd@Y_POygGSOi@dBy`HOMgSSCiCD?iaHN}geS@iHD?I_@PAgASNh~dBi[xOafQSIhsDAY`XMQfKSLhqdBIZtL}f@R[hmsuyZTLaerRThjsti^`NYf{Rwh}c|y]XNefuRthyC}i]@MufcRnhwczi\PMEfURbhuCwgCcAU@F?e_SOHyhg?q?Z?J_FOBwACgqS\ILdHQdHQ[hqSvI\dNQfxSCGaCRAI`EObWP[DUAl@V_koUgJC\mMzF[bkPugzL?]_POEg@s@Y?dVsj\TniwTYyldUujgT[inD\imhTuiqTpild[yjPVIikTgitDUIlHT]ikTbijdWij@UQieTdiidXyi`UYieT^iidWIi`UEiZTNifTSiiDTEjgTJidD\imhSqiSTridd[ih`VEiwTFicDVihHTuiqTEiaDUighTmiATgitDOylHSIh{Tdi_DXyfxUYiGSzi]dPighRqhoTFicdMih@RehlSviYtLIe\RIhQTaiTdXIdPUMi}SeiSDWYcxUAhETOiQdSYc`TIh?TNiedGicHSyg{ToiNdZibhU}jYSWiuDEYlXP]ggSkiJDJiahQuh]SYiMDKYe@Pm?J?E_BoAG@S?e^lNsfyr}h~c~mG~C_aNPGWc[QIGRCJaDPBG`sOuH`CpaXPKwekRQZlLwezr[hmKvAXNKeeQrGhccqMWfKTeIRCHaSpEhbSniWTJiddQun|V~k?T}y~l^qntVwj{t|i}|^UmsVejmDyIzX]]msV`jpDvIzX]AmmVbjkdxIz@]UmoV^jkdviyx\umfVPjhTtYyd\YoGTxize@j?hVajsW@k@d]yn`_In[VMjudsIxx]qmWVjjedyi|H[mneVGjyDqi}P[en]VDjwdpy}@[YmCVqjaD{ywX^Qn]U~j_d{Y}@[An[U{judnivh]qlqVhj\dyyvP]il_V`jpDkiuH]AlYV\jVDvitx\}nEUijUDxYtX]QnKUfjsDiY{xYalGVvjRD|Ysh^YlAVyj{Dgy~HYImgU]jODtiyhX}kuVQjhdfYyHXqkiWCjJe@iqp_UksWAk@deYr@_Ek]V}jGe?Iq@^}nuUHjDd~YpP^qlkUGjZd`iv@W]kEUsjAdlYo`ZMk?UKj@DbioHWukcT|i~DdInxXMr}IbdOqghSciYTJFebqPxW{{]eNPF]boPvw{K]MNDO?g@S?X~k~}^|Txizt]In\VqjtUuj[TlyudZUlfU?j@T_YnlV}j|YZLRUiBRdhgtNYVLPueRSlh_tHX{LOU^bSTfstBY\K|UfrN\hwrrXvLLu\bRdf_stXtLJu[rRDfOsrXvK|U\bNLf_rvX{Kyu^bMdfsrfYMKwU[RP|fGs`YGKuuabL|gcr\XiL@UZBOdeksFXfK~uYROLe_s@XcLBU`RKleWsNYJKoubRKTgorFX_knUVzJldmqxYSKkUdbJThSqrXULGucrI|hGqjXQLIUTBQtdKsjXNLGuSRQ\d?sdYGKeUabHlgcq\XHLFUQrQDcgs^XEK~uQBOLc[s@YAK`uPRO\gOqHX?LAu`rGTcCsLW|LDuNrPlbwsXW{k\uMjFLb]ppYbKVUKBSla{tHWjLRUiBDlaotNY_KOugbCDiCo~Y\KPUHBR|hwpFWfKXuHRETaWpbWiKZUIBElacphW[KHUCBBt`CozWUKEuBrA|_wopWRKDUDB@\`SoXWXKBuEr@L`goPXrkyu\JMtfarnK[eNRFXcCqEW~KUeKRDxbSpmWrWOkHUCZ@l_}o\WIkEUAz?|_eoP[]mOVFzbdpmwzZ@MZVMBW\r[uD[WMQVEbctpcxJ[iMIvJBa|pWxV[fMHVIRadq_wf[aMGvGr`|qCw`[EmCV@z_\oUwHZmMTVJB\|n?xVZjMQUzRctmoxJ[`LsVGb\LmgxFZdMRuxrdLmWxPZ[lnUvZZLliuvZWMLutrbdlWwzZSMOUtRb|pwufZKMVuqrdtkgxZ[oLbuqReTrCuPZCMXupbedkSxjY}MWUoBeTj{xb[lL\vJrVlqwtxYwMXumRedjgxjYtMZVMBU|r[tlZyL}u~B^|nkv|[?Lzv?b^LoCvp[KLyU|b`tnSwZZpMCvAr]TnKwTZbLXUlB[djKvDZ^LVuwRULm?t`YkLeujbX|isu\YhLgUirYTigub]FM^vaRgLw_y@\qNEV\BpTvK{V]CMsv`bl\wSzT\fN?vYBo\uW{D\bMvvXBmLuSz`\_MuVZbkTuCzZ]RMmvdRj|xOy|\YNJVVBrDtk{n]LMjvURptt_{^]OMiVcbitxCyj]?MeVRRntv{yV\zMcV^RhTvoyR\DMyvPrm|sWzl\AM{V]bgdvcyF\PM]VSrfttGxz\OM\vRbfTrcy^]sN\VnButzk|j]rN[vkRvDzG|n^?NVVkBwT{C|^]|NTvnrtlzw|X^ENSVprtL{_|T]dN`vhrwlyW}H]^NKversLxg|@][NPVfbsdxs|F^HNkVqrzT{g}r^QNnVtB{D|K}~^[NgVsRzl{{}v^TNeVtrxt|W}Z^fNtVyR|d}_~V^`NqVwr{t}G~J?L_DoBG@{?y?`R~i?T?YZtMAe~RZhmsvIm|VejpTzi}T]j^\nqvtZxlzu}KAa?l?J_LOBwBC?u?d?D_GOAWAc?]?D?X^~OEw?C@]?_~x^}OCv~S@T~{~v_@N{w?B~T~c~x^}N|v~R~T~Q~j^rnyv|J}\~]~l^wnzv}J}t}t?J^nOBvzc?u?K~`^qOAW?b}MBk?J?F_BOAW@C?irvXxk|U^JNlfyiVTKidTLyelRYhfSsiXVWzkluQz@\amovNZftrqxv[ym[wU[J]DjAl`VokWRSI]CxAh`TOfwQcIECpAd`JOgwRcG}C|AR`LOcWRCHMChAN`JOcWPCIECXAd`DOgwOSI]DTAD`BOiWM{FmBr@v_|o]WNkGEB~@|`?o^wMC@}Bh?`_xOFWMCAU@L@r_yOGwLcGuB\AJ_tOaWOSEUBPAF`AOXwUCBMDX?n`VOKWDCJM@XAt_TOlwGsEMA|@J_cOWWGCD]Ah@B_hOPWHcBm@x@P_^ORwJcB]Ap?x_lOLWjSFUBb@rUTjJtdirTXekpZUlkUtzYllQuf_MoFwCKAU@N?b_foSWHkDMAn@T_koVWJ[D}BF@`bDPcWpsXUKXERbJP`WpCXeKLEZbGP^wqSWMKhE@a|P`WpCVeKLD|ampVwj[TuI~DZa}PTwnCTeJtDTagP^wiSWMI\E@aePOWhCRuITC~abPQwhcSMIHDHaaPSWiSSMILDNa_PUWfsTUHxDVazPLwmcRmJdCxaWPZWmCRUHdDnaVPYWlSQmJLClaoPHwkcQUJDChaNPYWcSUmH@DfaKPWWbcUUGtDbaxPCwmsP]JhCTaEPZWmCPEG\DnaBPdw`SXmGPEXbDP?W_cW}GDEL`pOmW[sJuFHAz`lO}wYsN}EpB|`vOsw]SLUF`BP`dOyw\cK}EXBh`aO|WXCNeELBv``OvW[CJ}E@B^cdPQWh[SuIfDNagpUWikT\`}pBW_kQUGzCTtMyb\QmgVRzhuDrA|`\oyW\[MuF^Br`wo|W^KN]F~B|`|onwWKKMS@IHdAQaxOSg]RtILdGQ^xPsfuQrHZcjqTXI[dEQZHNcdqRxHkcmL@HHbMQPWrsc]QDH`c_QVXFsd}PpHnc]Q[xFSfERTGrcuQLXEseeRLGpcpQJxKcauPPH`cTQVxCsduP@HbcPQXxKcaUO\HhcHQZXACemR\GHcEQ[x@SfESlFldHPzxQc]mNPHtc{PxW{sf]M|HzbpQ^w{CfuSLFXdDPvXPC\mMXI@bgQ`WxsgMS\FRdGPtwycguRhFFbdQ\wxCfeSdF@dJPpXQc[MLtHXb^QUwvcd]Q`ExbYQTWusdMLDHDbRQQWscc]NlGZb|QFw~C`uOhFpbyQEXAs^MOHEpbXQ@x?SY}NxEhc?PjW~sYmYdLKdPqfhiKsyTBI[efqeHiKhiYZKgd]rJHWKqiT~KmePrKhc{rAXJK}d|q~HfknaXvJqeYq|hfKnQXnJkebq{Hh[myYRJee_qyhgkmaYFKCdorAH[koYVFJYeDqvh`{lqWZKQdjrDHZKlQWbJQeOrFhX{lAWzKUdcrEhXkpaUVJ}d`r?hW{oAUJIydTqjhU{iqTrIedYqhHUKiaTfMYfFrfhq[xq[bMGfIreHp[xY[ZM_e}r_HskyIZ~MAezr`hn[wQZrLienrZhk[uqZBLoeqr\HlKvIZNLWfRrVHt[ti\RLSfWrjHi{yyYfMqfjruHuk|i\nNEffrqHx[{Q]ZM}firohyK|I]BN[f[rwHvk|y\vNmfyr{h~K~A^nNeftrwh|k}Q^RHHcaqPwBkAE?~?b_QoHy?t@M_POTgDSDy@D@E_TOLgBSBy@c~m_`N~gFR~YAT?E_HOVgIS?xiKs}YZD@a^pNWg[S]IJIndTqjXSkieTNPHgesQyG\C]aJOog]sLIF|BIaBOqg\sLIFLBA`nPAgKsPiBl@iaJO{gTsOID|By`ZOugQsMiDLBa`NPGgNsRIC\Ci`BEtb[plwvkZ}LvPwg~s^IO\FicBPqhAsaIM|FQcNQ?gus_iMLFyb^PehBsaIL\EacJPcghsWIILEIa^PSglsViJLDqam?H?C_AXU[jUTbIvd\qmYH|DMabPTgksTyTtK]eTQrhWSqYWTJMe@QphVSpYXTGucTRHhFSpyUdIedpQlhZSiySTJmdLQ~hQSnYWdHud@RBhNSoYVTH]d|QXh]SeyUdHEdpQRhZSdY]tLeftR\h{Suy\TNEf\RthuS{yYTL}fDRVhoStYXdMUe`RhhfSxy`o?IfzSQ?BT?Ya??Qf}?Ci@TAY`_?IgM?EiATA~