CAT(2246,1)
Sparse6:
:~?bE_?O?G?C?s?S?K_D?Aw@W?q?S?F_E?AW@W?a?\?N_EoCGAS@E@y?U?HoDOBC@[?h?T?BoAOAc?_?f?U?AOE??s@[?J?C?Bo@_@K?S?P?C_BO@WHgCqAX@K_h_RoISCsAb@M?gOROISC{A`@M?goV?JGDQAu@T_l?SwJGDYAo@Z_j_UgJsDqAz@^_ooWGICDIAb@c?sOWoLSEGBR@d?soXoLSEWBP@l_toZGLsFAB^@p?yO[_MkFKBlA??zo]WNCBu@|?~_`OOGGKCMAJ@C_bOPwHCHGAR@J_dOQWH[CiCuAQ@KOe_QcHcCfAT@KOe_Q{HcClAN@KOe_QKHcC`AB@BO`OPCGOCNAB@Co`?P[GSCTAG@Eob_OsG[CXAQ@Cod?P[HKCTAT@EOdoPkGwClAN?}ocON{H?B|@y@?O^?OSFkCBA~?]OMgF[KSAt@X_loWgKcEMBJ@f_rO[WMSFMBh@u_yo]gN[FqBt@{_|o_GOSGEEjBS`jOtoZSLoErBZ@kOuoY[LCEtB[@hOq?XsL?ETBH@fosOX[LKEZBQ@eOpOXCKWETBF@cop_X[K[EXBD@eot?WSLWEFBT@aOtoWSLcEHBW@`on?S{JwDRA|@SOoOTcIgE@A~@Tol_XsL?DpAv@foh?V{IWEBAd@_On?TkI{D|A|@VOk?VKJgDbAz@XOf_VKJkD@Ay@NogWS[IICuAr`M_lWR_JQGq?v_[OMW]kN]FlBq`xo|G]GPeF]CZaL?{GaoMqGoBmaJ_zW\OPeFUCY`s`Ew[oPYFOCW`r`Dwa_MMGiBdaH_xGaWMAGgBaaI_wW`OOuGWCNaD`Bg__PAGcCEaA`CW^oLyE}C?`m_~w_wNmFyCH`}@AG_GNaGCBya@_}WF[Bq@t?{_\oMgh_FuB~@}`movwZsTSI^DPagPRGhkSyIQDBad`PWhOSQIUDGac`PwhOSYI?DEa`@QGgGS]IEC|a^`PWfoSQIWCvaf@MWhgRaHhCtaZPGOh{P{IbC_AgPKobsRCGxC\AXPIofSQsHxCkA\pI?dsQgH`ChAVpG_ckQKHNCcAROLwFKBa@n?x_[P`OVcJyDzAx`\OmwoOVqKGD}b@`^WoOV}KAECb?@_wnGVqJuD}a|@^WmoV}KADwb?@\wmCVIJbDnaupZglOWaJWEIat`aWogU]KMDhbB@YGk_WaJKEIaq`aWkGWUJEEFap@`gj[TuIxD]aoPVwj?TIIgDXal@SwioVMJiDVai`\GakPQGfCUaKPDwikT]IlE|b\pnGv?XELsERb[`cgv?ZILsEsb[`kwrkX}K|EzBLpf?vkXgLxEVBYplorKX_LlESBZPd_u{ZSKjEJbEpbGqCWyK^ElBRPj?tCYwLNEbBSphOt[YOLTEnBOPg_uKYCL`FLbfPrwxS[qMVFXBnpuo{K\gN@FRB_pooyk[GMhFOBjpu?yS\CMlF[Bbpv_xK\sMPFCB^Pp_wC[SL~DQaiPSwvs[AL~G?B|P~G~[^eNnFwbs@|w~G]iNQFwbwp{w}S]SNxFyBrp}o{s^ONVFuBup|O|c]KN`FnBpPz_{cSeIVDIbUpjGtsYeLVEicLaDXBg`]OwGUcLADXAw`aOkGXcHQCxAc_qO\GLcLaAXBg_mOwGIcBAEHBO_aOMGXcA@~X?g^yN}GBcFa?HAG_IO_G@c[``Go[WIMlFWbjpswyk\QO@G@c@QOhGccMPuG~c_aMhG?bePuG}c]aMXF_biPwGccRANhCgbuPeG~cYAOHEgcEPTGkcTqIPGSa[QFGgCaQLpCSb_PFGuCOqF`Esa?PpG^CZqK@DkbGP^GpCVQX`HsdAQ^HVckQUXH_eUQYHbcdaXHH?eQQSHdccaWxK?diQwHacoaUxJgdQQ}HUcnATXIGcUQMHRcbASg~k^yN~HDcbqPhO_fyS@H~c}Q]xNkfURnHucxA]xNgfQReH{c~AYXO?emR}Hic{AZxNOfARqHpcuaXhL?eyRMHkcZqMHEshYSpIVdGQchQKgsSrINDLqb`RSggSvIKDKqapRSg_SBIBDBqaPOShKSHITDBQd@OkeMRJHcdAQ`hOkjETdIrdVAfHRojAT]I\dUAjhTWjATYIndRQhxSkh{TbI`DXqg@USiGTPIiDQQiPS[jeTnIwd_QohWKkKTzI~Daqp@VsjSTtIuD]Ql@V[gESFIAdYQlXUslSUdJVDiQt`Y[koUdJMDiQrPY[lSURJJDjqq`YslCUPJODbQrpW{lkU|J_Dmqv@Z{mCUpJbDlQw`ZKG}CbAO_~O^wNkOuG\CNahpTGiSUiJXDjakPUgjK[]MRFGb~P~w~k_eOVGIc@q@X?cdQQlHTd?q_hO[giSXIJdBqaXPCjuT~I}eFBDXa?pYW]KSeEbCXaWomWWKQeFBAHa?oiW]KHe@BAH__oiWEKHeGa~x_GpMWcK?eAb?H_Go]WKJ~e@A~H__nyWEJ|dzA~H^?nyVmJ|eAa{x_wnUWKJsd{a|X^WnQVsJrdzA{H^?nIVmJpdvA}x^Gm}VYJydwAyh\_nEVUJqdvayh\_muVUJmdqBDH[opYVIKTdrbAx`gmaWWJhed?JGDkAm@\?o_VrT_EKBM@dL[?YOLgEkKIEHBBaNPFWbcP}HBC_bLpfGrSX]KpEXbqpxg{{]INHFbcQQHhCkaaPRGfcrQYHK{eeRVHidMqfhRch}TBI_dcQpxWskeUVJIfCb_xogwm[SMCfCB_HowwI[KM@e}b_xogv}Z{MCe|B_hn_wAZuM@e}b]HnwveZ{Lve|B\Hn_vYZuLtexb\HmGvYZcLtewB]HloveZ]LvewbYxmWuuZcLkewBYXlwuiZOLmeqbYXkwuiZKLgetbWhk_uuZWLbeqbVxkwuEZKL_eqBVxkGuMZ?LaenRVHjktqY|L\eKbUxawteWoLYeaB`hgowaYIMFfCbOXgWwm[SLAe^BThfwtaY?LVe\bThf_taXyLVe[bTHfOtUXoLRegBLXiOr]YaKuehbKxe_tUXcLSeVbRXhwrEY[KoegBJHdotIXYLPeSbQhdWsqXSLJeRBRXhwqaY[KfeQbPxcWsaXGLHedBGHcOsqYUK`ekbFXjWp}YsK]eLbQXgwpqWsLGfx?GGCK@}@D?b_QR~_CkA]@LOC?TOIGDL?U_LOCgAS@i?l?K[XO@FFS?`pk}o\lNmF[RzPu{}o\tNmF\rzPvK~w\fO?FYr~puc~w\`MqG?RkP~{ys^vMnF}rj`~cyg^pMkF|Rip~Ky[^pMhF|Ri@~K~k\HMeF}r~@sk~S\BNvFPr|`sSxw^dNrFNr|@sCxk^dNsFMr{prc~S[pNvFLR|`rKxS^^MVFwrd`}CxG_FO@FIRcq?SxC^bNoFFrc@|{}K^LNgFqrx@{{|s^@N^FpRv`{K|[]tNXFmRu@z[|G]hNRFjRtPyK{_]\NIFgRqPx{{k]JNFFerr@ws}c\~NjF_ry`wCzo]DM}FaRnPw\D_@X?l_ToJGDkAm@^?o_VOJgECA}bS?p_XoKgEKBM@dNkfvRzYM@EibWPqgwcYyLhFAb]PqgvC[YJ@EQaqPeglCXYKpDqbGPZgqcVYL@DybMP_gscVyKHE]bCPhgpcYIAD@I_bORgIsDIH`Eua[PngecZiHHEiaUPkgdCYyKHCYbEPGgpCPyGXDmaIP\gaCVIG@EAaCP]g_cVyJ@BuasO~gkcNi@@DU_QPVgjC@yIp?q_SPVgDcTYHxBi`uPPggCNIExBE`oOqg[cKyDpBQ`kOogYcJyDhAY`UOfgUCHYCPAa`GOhgTCGyBx@e`AOZgOCEiAp@y_oO\gJcFI@hDI_]PSgFCSwB{AE@@?^_OoGGCSAQ@F?a_QOGyXgAU@N?e_QoHwCtDUanPUebrQHhKtAYdLPeirSxictmYrLYhicrYXxLQeeRMhgcsyY@LUecRSh\cpyVhKedwRGhbcniXHKAeOQ~hdCoYX`KMeURAhaCqiWpKqeIRJhncmIVPMEdqR_hgClYYPJ]eaQuhXCrYXxJQdeRMhaCjyWpJEeIQoh^CjITpJ}e?Qlh]ciYVXImdwQihRCoYT@KMdMRAhQctySXLadGRUhMsfyRtIAdBQahLCwIR`MEcuR^hKCtyRHLaekQVhICuYZXHYesQThmCcYZhHIe{QRhFCuYZXHAesQNhnCayPhLuewQKg|S]yNLFubxP}g~s_YODGIcHQBhCC[yPPFUcQPshAc\iN@G]bmQEfvr{X}C~a^tNxf}r}x~d?M_DO@i^c|Ig@NYiARtiCdLi`XRagSSviBDNy`@SEgMT?iZD?yf@OUhmSCi?DNIfpOIhyS@h}dMY^xRmf{Syi[c}i^`RmfuSyh{dNIfpN]hyRwhtSyY\DMmfZRkhvSzy]DNEffRqiXdGYehQMhgSaiNDKIePQAg}SpiMdJydhPmgwSmiRdEIdHPihOSXiTDDYd`P]hUSUiIDHYaPQYgeSchpDByaHMQfESOhqdBI[pOufMSMiydOimxSQjkTBisdZylXVEjSToiuDXilpUajYTfijd]yjHVuioT{iiD]IipViiiTxipdSYiXUUjGTQifDVYjpTAi}TNiddUyhhTqiWTYicDWIhHUIiST`iad[im`S]iKTrjN_LWEsBQ@l?t_YRlhvCz]\rMzf\S`YO|GYcPQIhCtkAtDYwlTUnJStjAstYslNUjJQtgqtTYOlPUaJSthQr|Y?lLU`JRtgArdYCk|U\JNtgqrlYOk|UaJMTiqodYokJUlJBT_QttWKl`UAJVtdantW?kpT~JJteQq\XSkvUYJITaaplWok^UJJFTcAo|XGkRUPJCTv_DCAi@R?i_SoIIKdEYbJPfgssYI?|?e_POKgDSAyd|QyhZSiiUTIyc|QehPSdiRTHI`dOug\SNiGtCI|h^}n]W?jvE?Y~`]qnyVij~Dyy|@^UnMVsjxdyY{x^InaVhjwDyI{`^inqVejqd}y{`^YnoVdjrD|y{P]}nYVbjvDwYzp]in?Vkjndyyz`\ymuV^jmdwIzX]EnEV[jpDvYuP\UmmUrjWdti~`\In{VSj}dsyxx^}maW@jgE?Ixh^Qm[VtjeD{y~H[enuVJj|Dqiwp^YnoVGjbd|ywX^AmIVqjaD{YwD[ImBU|j^tniz@ZqmsUyjkdmyux\UmmUxj[Dtiup\imoUtjkdlJI@K]eRRGhdSrIX\UMjJTcioTWikLTui|T^ilTUyjddkqhXTKlUSrJLdKqlXTKkUTBI|d?rBXQKnuSRKDd?qxXPKnUSbJlaoqrXZKVUJRJTagrBX_KTuVrDLaWqlWgKkUHrI|dopFWdKnUHBJl`uo|W^kLUEzBd`[q\XLKKUERH|ckolXIKIuDBHdc[obXHKHuQBAT_{qRWMKbuCBHD_sqHXEKEUPR@\__qHXEKDUPR@L_SqZWEKfU@rH|cgoDWBKeU@BH\bsppWyK\uNBFLbwpjW~KZUOBE|bGqBWsK`uKrGTa{p@WpKPUKBCLigsvY\lMUeJRTherUYflSEZZTHeqrOYflSeYjT@eerMYclQeXZKpiYtIXckpehjKPiQs{YKlOEbjRxgusQXmlDe[JPPe}tAYElCEgzOxiIryY?k~e_ZNpgIsEXyk}E`ZO`fmscXvlIE]ZQXfargYTkzEdzMhhYraYNkxecZMPhAmjVVjjTuIzT\et{ZXlkEnJYxjuuTZGlcupZW|kYugZAljEpJYhkMuoYmlUeuZYxi}ukYjliejJY`iit}Yxl_emzW@jitmZMl[EsJUpk}teZPlYEszUhlIuUYoleekjX`jEqHXEkauPzHLcaqTXKkduRZHtc}voZZl|EvJ^Hlivi[@lzf?z]poIvoZql|E|J^HnMv]Z}m?E{Z]@n}vWZ{lvE~Z\hnmvVZilsuxj\Dm]vEZzlqe~Z[`nqv?[Am?ewj[HoMuyZ}lne~z_@lytLYclQuhzTDiew~[`mOVFZbdpyxE[QmQFCJcPpEwY[cmPFBzcXoyxI[ImEFHz`XqYxI[FmRfAZcpoawk[CmKF@jaxoUwq[RmLfDZbPpQxs[sm]FLjfXrUxe[hmXFIjeHqax[[|mWFNzdxryxm[jmUfMZd`rayQ\?m`FQzhPsEyE\EmafQJg`s]kxU\jNUMJFTbepjWukZujZT|iytTYklTvDjbDp]wf[TmIVXBjtuSz@\eMnvVRkLtkzD\bMmVUBjttgz@\XMnvUriltsyn\[MjVUBi\tgyh\XMhVSbiltOyl\RMjvWRhduKy\\LMpVXBh|uWyb\dMgV`OBs@u?xV[jmtuzNlf}r|Xyk}U]z[TmAvBZ^lmuvjdLqixP[jmUvJJq`xa{k]VnIfeZrPxE{u]RnMFcjpxxQ{_]TnJFbjqPwm{e]LnGfbJpPwy{_]GnFfaZp@wm{S]LnCfbJkxv}zO]?msf_Zn`x]z{]Xm}feJnHxizs]Zm|ffJohva{M\unBF\zohvM{M\tnBF\Jo`vEzc]AmwF_znxuuz]]@mvF_Jo`uizW]Amtf_zxg@e?t?ZnVFrzth{y|W^LnSfrjtX{}|S^LnRfrJt@{m|K^IncFgzxHyQ|I^FndfgJx`yE}S]anbffjx@xu}Q]^n\foZvh{M|w^An^FmJvxzi}?]xnYfpJwpz]|k^DnXFjzuHzQ|_]r_NOFGBk@q?|?\nzf|B|t~W~`^tNvv|R}L~G~h^rNzV{r{t}[~b^qNqvwb|t}O~^^bNwVvr|\}C~Z^_NuVvB|D|s~T^]NsvtryD|G}p^PNjVtRzT|K}v^SNkoEWB[@i?r?Z_LWEBn|wA{B]AnAV_{Ai?~?m_PoJGCKAi@J?g_VoHgDkBA?N?s_DoKg@K@a@J?e_MoIGB[@Q?~?U_PoCgCK@A@v?u_FoBGFK?A@b?A_Yo@GEZ~q@u~}_[n}gEz}|~e~p^yn|v~Jw|{a}R^IneVq{CaBr@K_}oQgN[FyAvA?_mo_gJ{FyAjAA_ko_GI{CyBz@Q_{o]gIKBuAB?~_aoPwG[FIBN@i_zoYGMkEqBB@o_qoZgK[IyCJAq`CokGO{HaDFAY`QodgS{HqCbA]`HodGSKGiDRAk`FoigPkKAENBC`doogXKJQDvAw`^olgVj}d~Y~j_xo\wMkEuBb@n`kOxWZcMeEtBf`lOwWZcL}EpBb`nOrW[SLEF@BN`qOswYsMeFLBTaCOIwD{AuDFAd`RofWSKH}GPCTaKPBW`SP]GPCRaEPCW`SO}GLBj`vP@W\cOMG\B|aHP?WaCN}FtCVaKO}W]sPUGHBpaBO|W_SNMIHCca^pGggKQAIFCYa`pFgf{PqIBCqa[pLgfkRQHvCeaUpKGd[QyHRDCajpUghKSYIrDKagpRgikSiIfCFaAp?wjcUeJ@DlanPYwkSUmJLDlaqPYWf{SMIA?Aa|PZwm??YJ~Dq?AP^Wm_?QJu?Aa{P^wmo?YJz