CAT(2646,1)

Sparse6:

:~?hU_?O?G?CBg@U?m_U_JwD_BA@W?p_U_KgDWBM@a?t_X_LGEoBI@\?o_VoLWEsBQAS@E_cOPwHoCuAZ@L_i?QgHcCmAR@H_co[_LwEqB[@p_u_[GIwE}Aq@p_k?[GJGE}Ao@p_j_[GJ_DyAu@^_l?VWJoEEA}@__p?VWKWEEBI@__p?XGKWEYBI@g_q?XwKoEeBO@j_r_YgLGEqB[@j_u_YgJ_DIAu@P_l?SwHwDQA_@T_f?TgQoB]@r?w`N_OwGkCQ@t?{_\oNWF{ByA@@A__oPwHCCYAJ@C_`oWGKSEEBF@d_qOXgLCE]BR@j_tOZGLsEuAl@S_ioRgH{DAE?BB`a_ogWGKQDsA|`]?nwVWJyDsAv`]?mWVWJaDgAv`Z?mWUgJaDaAt`X_lGUOJYD`Am`VoioWSKCDZB?@UOf?R{HwD@A\@OofoSSIOD@A`@Poh_SSIODNAd@PohOTCI[DRAe@TOi?TkIgDXAh@Tok?RcHwD\An@MokONcFkDfAq?}oc?W[KSCdAP@aObWP{GyB~A?_~OeOOKGKCvAY@@OeoOsHgCJAX@AO`oQsGcCpAG@Joa_QsGoCpAJ@Jo]?VkFgD~@x@^OcoMkHSBnAS?zO[_Q[FOCj@r@IPCOCsA]@JCV?TOIWDCPs@\?o_VoKwESBE@Z?j_UOLGEsBUAV@K_dPIOcsQ_HVCiARpFOccP{HFC]AQpG?ccQCHFCaAQpG?csQ_HDC`ARouwZcLuHUBo`w`IW]OQiFVBk`tOv_bSM?GxB^ALowobcMCGtBaALpDo[cMWGrCW@qoyObCM_GrBfAJpDOZCPOEtCU@kpFOYkP{ElC]@jpC_YcPKEdBRAGoroaKLCGfBOAHOr?aCOwE\BLAFoqOaCKkG\BIAFop_acK[GjBGAJPA__kO[GRCGABPAo_SOsGHCKA@o~O_KNwF~B{A?O}?^KNWFvBv@|O{o\sNOF^Bt@uoGgCcAMJm?v_[oMGE{Be@pEB@jOtwYkW?KHEABAp_Oo[V[JzDxA~P]?n{VkJ~DyA}p^?nsUmJZDkat@^GnOUeJuDgaz`XWnGU]JoDeb@@SGo?TIKADPa^@_wg?WUH}ECaY`\GmoRYJiCvaV`[WeGVMH_Dqaw`Kge_VMHeDqaz@JWmgQyHWDsap@VGk_TyJED\aj@UWj?TmImDYai`Zgi_VAJ]DRad@RWh_S}IUDMaa@PwhGSYIIDGa_`MGgWReICCyan`MwkGRuJ?C{_QoHwCsA]@L?d_TOIGDKAi@P?hbg_cwQkHQCrAZ`LPrOwC[CMXE~Bdpo_xk[OMVFBBePr_w{\?MLFNBapr_xS\?MRFNBcPboycXCMlEOBipmWv[ZiMOEub[@qWuw[iMKEtbb`kwwgZQMGEpb`@kgwWZALYF@bV`nwto[ALWFQbh`igyGYmKvE\bMPdoy[XWMdFPBIpd?ys\OKfEQBipagp[WeKZEMbEPaGosW]LwEfb^@iWvgYaLGE]bR@gGsgX}LAEWbP`egsOXe@F?c_POGgC[AQOwCMaGPBwacPUGlCYaMPEwIKDMAdBr`yo|HDoa]PJGecRaIHCoaiPIGhcHaEXBW`UOsGScJaEXBW`YOsGWbqPww{k`GOnGOCJQCPBC`SOZGNCHqD@@s`{OTG`CEQG@@[`sNlG]BzqF?}k`wNhG[BxqFO}S^?PTFpCSPzpDK`{NXFmCOqG?|k]kPHFhCPpy`CS]WPDFgCQPxpC[\]MrFWbmPuwzS\yM~F\boPwg{K_WN|GDC?Q@?~{^kODF|C@p~@?K_[NpFyCCp}P@Cf?JhDuayp_GoSWEOPGHcBq^pNKfiRvHrCzQ\PNCfORnHuCuq]@L{f[R\HicuQYxIsdUQnHBCwq[@GkfGQHH?CwQ[`GScCRbHrC]q\PF{fOP|GscZQLXE{bePpGrC|QK`N[bCRrGoC|q]PDsfgP^GjCuqJPL{aoR\HcC\QN@KkbkRLHQCoqT@K[dKRDH]CfqSPKCd{Q`H\CeQV@HscsQvHHCkQQpJScgQrHECrqQ@LKc[RPIgdRQhxSKiATDIsDZQlpUSjSTfI^DWqf`T{j?SzISDLQd`RchSSvIRDJqe@QShcSbIkDFQj`QCisS^IhDDqipPkigSXIGDBQa`O{gcSJIADPq`@SkgKTHH~C}Q^POKfwS@D}a~p^X?c_YOJG@c@q?hN{gES@H|c~Q^H[km]VLJaDrqx@[smKVJJXDnqw@Z[mCUtJZDmQuPZslgUzI}Dnqnp[Ck?VBJOdhQsXXkk}U\JaD\qx@VkmKTxIwDmQmPZkjgU|JIDbqr@XKkkUPJCDhqtPWskSUhJUD_qu@W[l[UDKTCuqZxLs[qMZFJbgPrwxseERDHbcnQWHJ{dmQzH[ckQUhJKamPZGkcTqJXDcpkXBKaEMrGpbcpsW|KZEORF@b{pcXNKYESrE@dCp_XHKYERREPckqsWjKVEVrJ`aspGXTKSEURCpd[qwWfKnEIRJPaSnWXPKhDyRHp]kqOWRKeEDRHP`[oWXTKGEUR@pd[oKXBKbEArG`_coAWDK@d}q~x^snkX@JyENQ~@b{n[WlKVD{q}@ako{VdKPDxrC@]KmwW^JoEGqzpaCosVZJjEFRB@\cosVPKKDtRB`\KvSWdKSeHqEXB[`iStI[dLqdxRKhaRzH}c}QyH\Kmi[SMDFCR``o{wc[HM@FAR`Po[wW[DL}E{R]`oCv{ZrLzE{R]`nkvoZrMGEzr`pmkwcZlLqEyr[pmsvOZnMFErrX`pKw_ZPLYemRUxi{teYpLME~RRpoCt?Z~LzEdr^PhkvoYXLGF@rQ`oKsc[DLnE`RP@mKsKZ`LqE^r\@gKvKY@LnE^R[Pfcv?XzKxEuRMplsrgZZKuEvRM@lcusXnLhEYRYpekrKZTKoEsrK`l[rCZTLFEpRP`kCsSZBLcEiRXPistSZFLPEnrSpjstGYzNQFdrqhxK{a]NNEfHbrxqg|E[gNOfGBrxqO|E[aNOfeBbhxowu]YMNfDBrHp_{y[UNLf`bmhv_{Q]IMzfTblxtgze\WMwfWbiHuWyi\cMhf_BhXsw{I\KN@f]bghvwyQ\{MbfYBfxuoyE\iM_fMBeXrWxy[yMYfJBjhr?zA[mMneERBh`ko}WbKOg?Bxi?G}Q^}NdfzB~H~o~a^mN|fxr|X}c~A^dNpfjB~Hyw~u^{NTfhc?HyO~}]gO@fob}X{W~m^CNyfnBxx|G|}^ON_fubuxzg}}^[N[ftBuH|_|i^UNXesrYxlSuqZ\Llevr[XmCvIZhLrg@CGy?XAQ_GOdgMcIYBxAm`SO]gOCEiCP@q`AOZgJcGyBHAU_oOcgICHiApAa_iOfgGsCyAT?y_`ONgOCAyCP?u`AOKgRCAI@PAa_QOfgAcIYDX?Y`SOFfeRrhxk{}]bNOgaSPiGlCEaFPAg[CQiH`BiaUOxgYcQiEpCqaUOvgecKiHxBQa[OrgecJyHxBEa[OogbcNiG@CeaOO~gUCMyDpBu`YO{gpCVyKHEQbEP_gkcXYJXE]asPegjCSIJ@DIamPPgmCSyJpDUayPSgwcYIMXEibcPhgvCYyLhFAbWPn_lOVGJ[DuA~@]_hOSwIKNYFpBvbFpcWqCbmPxGycVQKHD{jmTzI{d[QmhVKtQYlLTegrSxiS|Y]nNTfhrshydBya@O~g\sNYFdIOc|QeHOShQR|HkdBQbHMsfASTH_d@QYHNseQRtHocjQ\HJseqQtH_cdQYHHseQQdG{cjQPHJscAQtG{cXQLHGsbaQDHKcTQSHDscaPLGWcRQFHDsaAPTGScPQBHBs`AOtGGc\QLH?s_APdGOb~QDG}s_qNtFgcBQAG}S]qODFob|PzG~s]aNlFOdBQbGzS\QSTF[dHPxHRS]ASlLg?l?W_JoEwBK@ifK?]_MOFY\_AA@B?^`MOfgRkReHtCwa^POGf{^aNtFxbrPyG{{gaSTIHdEQaxPknmVtJ{dzq}X^CyI\HMbfNrgXsD?m_ZOKgCSAi@LDAadPPghsTYIdPKglSTIKTDAa|Pcg`SQILtCQbTPKgZSTIFtDA`tOgg`SQIETCQ`\O[gZSHIFtAA`tOggHSEIETAq_lOCgHSEI@t?a_lO[f|SHI?TAA^|NkgBR|I@s~A_TNwfpS?H|S~q^LNSfpRvH|S|a^LNkfhR{HxS~Q]\NCfnRuHvs{A]lNCffRsHvs{A]TMqfZRmhvSzI\lI[fRQhHtsiA\TLOglRUIKStQa|LCgrRRILssabTMWe\ROHsSrq[|KofFRdHesqq[dM_eRReHdSxqXDKSfFRdHbspa[dMCeDRCHpSwAW\MCeBQ~HpSwAWDJoe|Q|HnsvQVtJkexQxHlSmaZ\LgdlR[H[SuqU|LsdfR^HYsvaUdJ?erQqHjskQZDMgdZQnHssja\\IgenQkHksiqZDWG?T?K_DoBW@{?yk[?O_HOCYq_@M?j?SjITdiqlXQklUTiMDcYbpXMgyUQibD^Yh@VyjwTFidd^IhHVyiST|jGDPIppSUk]TBjFDOigHXAi?UNi]dayfpWuh}UKi\DaIpPRqhuUHiZdaIpPRehoUHjDdLIphRYkWStjAdKYeXW]hcUEj@DJio`RAkESnj@DIyo`QukESkiSD`YdPW]hQUEi~dHYcxWEk?SeiPDcYc`XMhEUQi~dFyoHQEk?S_izD[In@VIjmTpiud[ymhU}jgTmiqDXykpUajQTdinDYik@Uqi}TjiodUykXTqjCT\ijdUYipTiiiTWi{dSii`VmieTyieDRyhpTEiYTOjs?EgB[@e?r?Y_LoDwBC@Y?p?V_JT}_Bk@y?x?\_NOFIndVyjzVyK?T~B?T^koBV|K?T~r?T^woBVgJyt|A|T]cnlVsJttzQ}t^SnXVmJ{t{A}|^_n^VxJxT{q}|^_nbUajOTgYs\YUlHV[J~t~azt^smzVXJ|Tuq~d\gnvVqJjTuA}\\[nbVRJttzQyl\OnXVmJhT{AyD]{mbVNJsTra|T[snRUVJqteQ{|X_nLVdJLTxqrd]WkvV^JdTrA{L]?mVV@JbtoqxL[GmPVCJ^TpawD[Sl~UzJYtlqvlZWlxUwJXTmaudZclfUnJStiquLZ?lTUkJRTjatDYslNVaJMtxAr|]Kk|?I_EOAw@S?q?V?L_FoBg@k?}?\X\?GOCWAS@A?b?Qjqtxy{tL]erRWhoswi[DMMfJRchssyy\TdsrFX^KquVbKde?rFXaKquWRKdckqnXLKkuRBJDd[q\XOKkuUBH|dCqtX[KhuUrITdOqtX[KjUUrIlc_r^XpKdUQRMDcSrBXFKoUPbKTdsqDX]KaUVrG\dOp~XUK_uTRGDboq\XOK^UNRH|ckprWzKeuMbHddCplXRK[USbE|eWpfXgKYuXrEdaup^WmkWUKjELagr^XpKUUIrMDeWpNXgKSuXrDDaOrRWeKtuHRLTeopBXmKPuZRCTeco|XjKOUYbB|`sr\WZKuuFBLd_eoVWIkEUBj@l_}obWOkHUCzAd_KopWYKAuER?d_WojWGKJu@rAtV}kBU?jCTaipLWmkZUKjGtcyqTk{sHZPLBUsBOlhcuLYZLcUebW|hWu^YWLgudrYDhKuLYTLcUdBW|kos`YQLfUrRQLkcsZZJLFuqbPtkcsTZJLEUqbP\g[uXYHLfUaBXlfartXxk|u^ZNdfys@X~l?u_zOTkKtbZDLXUkrWdk?t\ZALWUoRT|j{tXY}LUuirVli_tnYiL[uiRVDjgtJY{LRumrStjOtDYuLQUlRS\fGs~XsLOu[rSDfSsxY]KzufRMtoSudZSMBv@bY\ncv~[@L|v?B^TnWvxZwL~U|r^loovN[JLsvBR\DmOwPZeMCuxR`TmCvfZtLpuwb]dmsu|Z_Lvuvr\tmguvZkLmuyrZdl_v`ZYLxUuR]LlSwDZVMAUtb_\q{?~?__OoFwCKAAiLTGibtQYh\SiojWVkJUEjBD`exo[}m\FOJfHr}xy[tmZfMzf`rYxq[rm\FLJf@rIxm[pmVfLje@rUxW[pmVFKJdhq}xW[rmVFLJdhrIxu[SmJFNZf`pUwa[~mHfOJaPryw[[emGFIJ`xq]xE[hmQfIzc`qiws[\mMFFzbXpywm[_mPFEZcHpaz[?R_IODWAc@M?jVsjzT|Y}|^enpUVjKTeYrTXqkvY~l]unjVTjqtvYvl[umJUdjYtjY]lMufJR|iAtB]NM}vcBn|xCz|\yNFV^Bpdvk{Z\wN@v]RolwOzn\vN@V]RoDwCzp]HMzV\Rp\vO{T]EMyVaBmtw[zj\qM}v[rntvCz~\mM|V[Bndu{zv\oMtvZbllu{zX\qMuv[rl\vCzX\BMrvXRgLsGzL]KMpVXBptuK{Z]NMnvcRkLx?z@\[N@v`RjtwOyz\XNCvUrp\tg{T]FMjvUBpDwWyl\RN?VTRoLtO{D\QmgVSZhts}yZ\gMdvYRhdugyT\fMbvXRhLuWyP\DMtVPblDsOzR^_KjuUZJDdiqxXZlyu|J]\nAvdZpluuzz\tmivXZjnsfwz|X}U~S^cnrfxZ|@}M~G^enoFzz{P~E~A^onoFzJ{P}y~A^ln]FyZvp}m|y^invfmZvX~E~_]ynsFlj{xza|m^enXfzJuh}y|g^lnUvjzttym|X]inmfhzzxye}{]gnlFhJz`yY|I^ZnjfgjsH|e}o]bnNFtzs@|e{}^WnMftJrX|Y{w^TniFeJrP|Y}i]XnnFdjzxx]}y]TnHFujz`xM{g^ZncFrJxP{u}Q^JnbfsJwp{y}]^DngfojyX{Q}c^BnXFnzu@{E|a^?o\GJKDmAn@T_hoSWLr~\~t@r_wN}WLr~EBc~t_wN{wLB}uBW~n_tNyv{cEd~P@l^rOYwFcDuB@?x_nOMv~cBM?@?v^~OLWDcE]@`@b_VOXWBSAE?|?d_MOGwCs@U@T?X_SODwGc?}?d@H_GOPw@CCm?X@N_DORWFs?MAD?F__O@VXZk|uYzP\imswRSK}CxBR`KOsWUKJMDjAj`VojWXCIUETAh`eOhwXsFmB|BR`gO^WXCF]EX@x`dO\WRsHMClAb`IOgWPcJuE@AP`FOnwWSG]ELAJ`aOaWOCJ]CHAz`@OmVtJyt|U}n^XnkVujzd|m}~^]nmwaCLUEpCT`jPCw`SQUG\CfaEPGw_cPEGPCTaBPCwbcN}GDC`aNP?W^CP]GtB|aKO}w][N]FjBl`wozw[sP]GtBjaKOyWccMUF@CfaPOwwZSPuExC`aNOvwLKEuBV@n_xo[Wj{UMJBDXampUwkcSEIHDharPOwkcRmJPC~arPNWecUmHpDnaZPZWdsUmHdDnaWPZWhcQeI`ClafPIwgsTMIPDVadPTWpCXUKXEXbDPdwmCWMKLDtaxP`WncXmK|E@bMP^wmsW}JtERa{PcWuSYELlEdbYPgwssYuLPEnbTPkVJjdlqq}T^Gncvpzwl{Z@z_~o^WM{FeBjDLagpRwg{SmIRFgbmpwG|k\yNVFabjpxgz[]QMrFQbmpwGyk\yMbFIblprgy{[qMrFQbbpqGyk\AMJFMbbpqGx[[qMJFab[pxgvk]QLvFgb^pzGw[]iMBGi?F_CoAJlluqzV_LoFwBk@U?n?X`ooxW[[LmE~B\awp[wmkV]JvDxcfQQXHcdMQ`HJciQPXJCc]QlHBc]QQXHccEP|HJcZQOxFSc]PpHDc]QKXGCbUP|GrcZQKXFCbUPtGrbvQFxCS^MP@FpcfQEXIS`uQ`GZcHQTXAsdeOhHVcEQIxACa}O\GlcTQ@x@Sa}PXGHcQQ?xDC_UPLG@b|QFxCS^}P@F|byQHW~CaeNlGfd\?AO@W?uRpIzc}QnxNSjuTtHrd^Q\xVcfUR`ItcuQmXLsj]RLInctQkxLCjEThH`cqQmXKSj]T\HZdXQVxUCduSlIbdRQexScheS`I\dIQgXQSh}TPIJdFQjXTSguR|IDd@QaXOCg[?]?R?G_BoAW@EW\J{eCr?H`knyWVKAeCr@h`koQWVJie@qzh_{mqWJJ{dqqyH_KmYV~J]dzqwh^[mAVrJWdwqvH]kliVfJOd`qpHXkkAU^JQdbqthX[lQUQ?H?E_Ao@G?k?ZLOcNqGxCKaUPRGfe^RRxgSsuY@LJeaRRxhCsmYLLLegRHxicqmXPLReaRMXhCruYLKze`RLXfsr]Y@KrejRJXjSrEYpKneORSXicqUXDLRekRFXjSp}YlKZeFrCxaKpeWnKTdVqkxUKjUTrIvfKRYXlcxuZTMZfPR^xrsvm\@L|fNR\XsSve\@LvfKRZxrcvM[tLpenrWXjkuMZNLdfBRdXqswm[PMRf?RbXocxE[DMNffRhXySye]`Mff`Rlxwszm]HMxfXRnxuc{E\`M|fcRixts{u\XNJfoRxx{c}m^DNhflRtXzC|}]xNVeCrBX`[x][jMRfErcXp|?Q^rOGf}s@h~[~a^~N{g@r}i?K}y^~Nog@s?H|l?Q^fOGfzs@h}lAaYZLNedroxw{{U\zN@f^sLIDLBa`ZOugTsKIDlBI`ROigVsAiClAI_^OKgRsFID|BI`BOogNsLIA|@i`rOugKsHIALAI_jOegHsXIJtCUbDP@goSOyKDBma|O~gpSNYITDeaxPVgiSUyGtCuaTPPgcSRyMtEUbtPhg{SXyMTEubTPpgySZyClA]`FQGg}sbIN|GicBQIh@sbIO|GacJP^gpsWO?TGycvQ]?BScO?dHIcy?ChISeyRo?Icq?EhJSf^