CAT(2496,1)
Sparse6:
:~?f?_?O?G?C?[?G?D?BO@G?s?U?L?D_AOFOA{@e?p?Y_LoFGCoAC?~?a?MoG?BsAK@L?d?SOH?C{Ai@R?j_UOJgDkCC@^?o_WoV?Ac@Y?j?T_JODGAc@Y?j?P_HOCwMwDiAv@X_lOUwJKDAAd@P_hoTGIkDaAl@V_pOWwKcCWAR@C?boPOHCD[A\@W?foROIsCsBJ@M?rORoK{ESAf@f?ioX_IcCcA~@F?oOQ?KKD{AT@K?ooW?H[EGAH@c?aoWoGsDoAd@O?nOSOJkBa@t?x_]ONWF[B}@|@?_d?LWH_B]@k@J_m?KwJoBQAy?q_`oOWGSLg?^?O_FORWH{CyAj@R_iOTgJCD]@F?d_QONgF{CAA@?~_^OKwESBQGeC@a@p?g_SOMGBB|@~O~?^{O?FvBn`wo{G]GNyG?Bn`~_{G\sMqFZBf@{ox_^CM_FtBd`poxG[CMIFBB\@uOvo\sLwFZBQ`hosWYsLUEhBW`kotw]oKmFiBL`z_rG]gK}E_Bv`z?rg]OLeFgBW`x_twXGOAF{BI`c?~wWgOEEKCB`b`?g\GLUFUBU`i?yg\?KyE_Bf`r?rwWWMUFGBC``?wwW?MIFAB@`^_wG]OLiEuBs`m?{wV_JYD{Aw`]_lwVOJyDuA{`]_mWVOKEDuB?`^_mWZWJQDeBY`m?lWXGGiESAJ`c?aW^_JID_B|`W_}w^_IuD[Bz`V_~WUWIiDgAj`Y_jGS{IeDPAe@ZOhOVCIODnBJ@POr?SKKsDFBv@OO|_R{NSC|AV@|OdO^KN_ClBw@KOeO^KHgFtBq@HO|?QcNKCfAN@socO\[H?FTAM`EobGO{GaCL@|_~o^gWWGIC?BC``?_WOgLICGBR`@_sWNSFqBv@t_zO\GZgFEE}@r`n?[gWoFAEI@m_v_pwRWEmBYA\`M?ZGLOF]Bq@h_{?YGwGJaDlAv`\omWVSJqDzA}`XolGUkKIEHBB`cOqgXKKuEVBK`kotwZC@E?f?Q_GoCwAS@u?~?]_POGWCCJADdAp`RoiWTCGaCLAF_}o^wNsGEC@AA`@o`WOcF]Br@w_sOYgLKEeBT@g_toZWLcFEBf@q_yO\gMkasOjGVcJQEHBK`iOfGScHQExBk`qOOG?cBa?h?o_EN~F|b~P|G}s^UNfFqbwp{P?[_ONfGDBxPzW|[]qOaFgcF`yhA?]eN[Fibv`yW}?]aNIGKbraBg{o_uNCGBbqA@W{W_QMwFsbn@|gzg^UMfFSbipuOy[\kMjFYBiPrWx{[yMYGZbfaFWxo`qO_FIcG`rH@w[mMMF]bm@qWzg[aNsFCb}@pg~W[UMDF@b`pmGvSZeLxEzb]poGvsZ}OiEsbXaDwuO`YLiGWcL@lguw`eL}Fvb{`ngw?^aN_Eobv@kW|wY}L[FabU@xG{WYuL]FZbl@kWzGZAMoEhbT`twtO\YMGE{bb@nWwgZmGdCOaGqEo`{`sG\G[AEpB?wK[KGVFAADPiGssY]L@EabOpewrcXiKhEUbIpb?~[WsNxEJB|P~OpC^{KTF}BCp_`?CWKOBECC@P^p@sWCOXE?CEp^?tKVsLTD}BTp]P@KVkOTDyCDp\_}{V_NpFxAzp[oukVSLlEvAyP[?z{VGNBDpBoPZPASU{OhDmCHpY_{kUoNNDjBrPX`BC`gJJDcCKpWWk[UIIpDYakps?j[\GIzFPAmPs?h{\GIbFPAgPRWhsSqIQFFad`qGhO[eIEGTaaaDwg_`YIAGLa_ABggO_qOcC|a^aDGfo`MMSCpaX`qweO[qHiF^aZ@wGe_]EOaCwcF`MXA?R]LYCmbV@KGt_Q}HUFjaU@zWdg]qLoCiaS`mgd?ZeOKCdcC@Hh?wQ]OSCccC`GwcO_mMoC^aO`tgc?\]GkGJcC`EGaw_iGeEsaI@kgagZMKaE\bH`fwqOXyGQDgaB`YW`?U]J?EDbB`VgjwWYIiCCaj`@WioOYIgEMbG@SwpwTIKqCzbJ`NGr?RiLIC[aN@gwbgYQGqDEaL`QGbOS]XcEobWpjwuSZQLfEubZplWvCZiLrEzb]pnGvs[AL~?M_GOBwAC?}?\@F_coQGH[CqAT@C_aoPgJSDeAv@P_hOSGA{@e?p?V_KOEWBS@q?v?[_LOEwC[AQ@J?k_VOJWFcBu@v?|_\oNGEcBM@d?u_ZoLWE{BY@j@A_`oOW_cOYGJCDaAP@g_{OeGPEVbKpeGpcWmKZEGbDPaWmCVIJbCsaZPLWe{ReHpCjaUPJWdCQeHTCaaQPGwa[PUGhMxFXblhu_z]\iMwfObeXsWxi\CMWfJRdxqkw}[bMOfBB_hp?wA[MM@e}BkHuGvmZsMqeyR\XmsvaZrLvewbjXmWy}ZcMmesBjXlOy}ZQMmepRXHk[woZDMMEprX@pkt{[HMDEorW@o[tqY|L\embjHj_yiY{Mje{BUHiwveYkLveirSxictK\pLSFZrl`ikt?[FMDEhRSPocxSYZLNFJRR`q{swY~L_EerRpkKseYNLGewbQXgwvMZcLGejBOXgWtaYmLAe^ROHf{t?X|LPE_RS`f{ruXvK{e\b_hfgwEXwM?e[BahfGweXsMJeYrLxesrS[pMXEZrL`rSq}X`KpeUbhxtGqqX[MgfLbIXrgqi[wKjeVbaXeGwmX_MIeRBYHd?uiXMLheqbIXkoqmZMKiekbJHdotmXYLYcUQIhD[`{X@KaCNQG@cKqOPRKbCSQHpckp[[XKXFFRE@pkpC[^MPEHrc@aSow\TKNFURC@t[zKWTMtECrl@`CxkWDM\EARf@_[xGVxMRD~Rd@^ky[VrMhD|ri@^SnW\NJwFSQ|ptKwWV`MGDxR`p]Kms\TJnFUQz`t[mkXHKbDtQz@cklwZ\J_EwRZpZ{vsUvL~Dmr^`Zcr_U^KyDgrMPYCyCURJJFPqq`sSkG\HMeD_qo@skjOYBLBDZQlPgSyWT\IoFQQjpskxwTPIiFOQiPr{vgTHL{DPR]pS[h{YTI_EeQgPh[sgSxI]EeRQpRkzKSrMtDLrl@RShWZzIWE~qdpnsh?\`MqDHRkPQKtcS\LZDFrU`PkggZZIKEuQapl[rKSNIGEYQaPeSgO\`MqDBRkPOksORxLDC|q^Pgsf[Z\LoCzRZpMksOR^LECwrPPMCqWRXKfCvQZPdCeg[fHjFIQYPqSduQ~H]ckqUHI{dOX@KaCjQTPcKdCZVHREuqS`lczWQZHKF[QQpu{ccZNLdCcRX`HSxwQJHFFOQP`r{bk\^MmC[rjPFSas\JMeCVqJ`scb?XdGqEYQKPe[vWPpGuEyr\@E{nKPHGdDyqH`]cmOWVKKDrRBP[kkoWzJMENqrPbslSUFJVDaqt`WcjgULI{DcQmpW{lgTbJXDXqu@USj[TJIxDRQm@S{hSTVIRDUqd@TcgCUdIBDiQ_`Y[oCRfHqD~q\@_Ce[RpHgC|Q]PKseKTzI~CqqX@Vse?WJKECpQWP_{doWxKZClRE`J[aCQ\GbCgQG`H{fwQDI?CaQ^pG[b{WhH@EJQO@akboVBG}DpqNP[SbKVNGtDsqL@\DNgXBK_ePRGxckqQXNKeeSRIhd[qeXXKleVRJxeKrAD~B?`_opWW{KYE\BO`fosgY[LEEhBT`jOKGEKA}DBAa`PohGSsIUBt@{_|oYwLkEqBb@q_xo\gMkFQO|G_cNqGHBs`}PBGbcPQHHCsaUPHGecQqIXDCa]PPGfcSqIhDcamPTGjcUQrxYKlAUXJLdfQhXS{iYTDIcdPqfxSKiASxI\dNQcxQkhQRfHscxQ\XM{fYRpHyc{qZxMCfERDH_coqQHHSceQDHCc`qJXD{ayP`GqcWqKxEcbUPlGvc[TearHXQkkUVjIdeIrHVukoTzjJd^IqXVMjgUPjHD[ipxU}k_TpjFD[IlXXAjQUNitDbiqHUajKUQirdcykXUYjITgiqDXyphTikYT[jEdUyihViigTxijD]Ii`Tui}TUinDTYj@RahkTXijdLyeXXEhgUQiYdcypXQykWSljDDJymhQujkSnizdJidPTEieSkiTdSin@QUjqSei|DHIbxWeh?UHiNDaYbPWagoUEiKd`yo@P]gkT}i~dDYpPPIkWSSjDdCyk@O}gaTaiodCI``WYg[UGiEd`y_xWUgOUCiBD_yhxOUgETOifD@I_XO}gaSDiADCIqpOIgAUSjId?IixOAgATXikD?i^PRqfuS}i]c~IlhNaj[RxiuC|y]`SqiYRuidc|YgPNefmTCi`c}I]HPYfeSThxDDy\@SIfSTChsdOy[hWyfKUNhrdcIaPL}ggR`iHcwIdHLyhMR\iSCvIZPQAg{RXhldFy^hLYf}RWh~CtyY@UMecTdhgdXIVHQUdsSeiQCmIUhPagqQvhZDEidPJIhUQriUClITxNudaR~hWC~ihXIeiYQjieCiiSXPudISZiMChIRhRec}SzhNDMiQHNQceRuhHC|YOhTicKT[hBdUyNxVyk?Q@i~c_IoPFqkCP}j@C^YeXFehgPyiYc]ygHFYboS~gzdOILhU}b]TpgvD[Ip`E]kUPhjDCYIKXS}bATOgpDRiJhREauSoiXCVIIPReagSzghdMiHxXQkkPPjIcSIHpRYaWSvgedMImhCeaUTvizCQihPCaiQPEicCPyGhQIaESbgaDGYG@UAaCTag_dWYFPTui}O{inCMyExWM`qUDg[D`I_pBQ`kSGgYd@yCpVM`ITqiyCHyCPRqh{Oci]cGyBxXa`AUXgODdyfx@M_iT@gIDOIh@@EiSOOiccCi@xREhcOLgFDKI@PVm_WT{gDd^Ycx?ahQOFgCdII^X?QfwOEgAc}i?HOegSOBg@DAx~pPmgyO?iMB~x~XSU^wTFibB~Ygg~I^gTFfxdPioG}qkANmj?bzX|HOq^USLftDBiog}Y^OUCj@bxx{XTEieNdfqDShzhUe]}TjfnDYioo|ikON[jBbuxy`Uq]kTlfidZicG|E]eSbfhDGhxHOe]SSJfcDAiSpLMdORThRctIVXIAdyQah]CgYPXH]cYQXhKCbIPxFIc_PohFC[YDpDUakOogjcJyEHDy`cP^gXcWIQ`BuckO~hIcNiDhJy`UR?gUCnyWxAe`SRHhcCIIJP@yaqO[gkCFYBHKue]OZgLCriK`@a_kPegJcXX~@Mm^sRlf{czH}hGa^mQIfzCaX|xMyf_NpfwCzx{@FM^CPtfoc\HzHKE]mRBfkCoiOO{mcGNLh@brHxxMQ]_RbffCwiW_{U]MREhabphwXIqd[NCf`CjYL_{A]APjf^cYhvhKi\{RKf]CqyRWzmcwMxhLBmg@[?u?X?G_CoAg@C?i?R?L_EOAy]|NefpRshzS|WtKYmLTEkbVPjWFSBa@r?w_\OMW`KO]GPCJaDPBG`sOuG^CQaGPCWaSPEG`EMbFpcGeSRMHbC[aNPFWasP]GpQ]hNsfYRTHqcvOjgUsJIBD@]_lOOgHSCY?|?e_PO@g@s?h|[}i^RN`fpRwHy{|e]pNKferqzdxp}x_[\mWfFjaxrYxm[XmKFLZf@pUwk[ym[fDJaHrIwe[smHFKz`prqw_[|mFfMz`XrywY\?mEFNz`HsEyE[Im`FAJ_hnqwMZ}mBE~Z]hrixoZsm[e{zexnAvc[ulwfLZ\hrIv][slvFKz\Pq}vW[pltfKJ\hpAw[ZnlvFBz`XnQvi[LmEE{zd`^]nq[mj{FJZ[xn}wAZgm?EyZ_PmQwGZem@exZZ@nAusZqlke{ZY`oYwMZQmAeszgPlAua\@m`erzX`pqu[[ZlefEj\PkYvWZGltepzfpjut}[~l^FOJU`rmtk[|lYfNJaximwqYlmKEjJRHnqsuZ}lLE~Z^Hg}vsYLl|ebj]xgMvoY@lzE_jMHqUxEXomQEZzIHn}w?XRm?eSjbhbapm[^kZFFj_PbQwEWtkXf@JEPpmp_[[kWfEjChquxWWekQFJjCHqAxCWbmOeGjcPaAo{[_mOeFzBXoaoy[IkMFAZaP`]oi[RmGeDjAPpUwkWSkHfDJ@xqeoa[jkGFIj?pqeoO[jkBfIi~PqYnw[gj|fHyxhnYm]ZwjfE|yw`nimKZzjae}ZcXZmxIU|mQDnJcpXmkw[gjLFHzUxjEteYxl[EkjWXiyuIYolaEjzRxlmtAZ\lOEvJOxgQsQYElCE`ZKpjirOYzkrenJTPeQtOXdlSeWzQXdusiX^lIEVjJ`fQreXYkle[jIpd]qiXXkiEUJSPcyq_YblQERzXHcYuSXFkaeqzNpb}s?X@k~eOJH@bepuXIk\EQZK@`aosXakKeWZ?Xlyv?WDlne@I~hcmn}XLj~ERJRh^UngY[lND|i}XfanaXyjxE]Y|peen_XjjveYjYh]mnYZVljDzJMh]armVikzDyY{h_AnMWAjrE?Yzx_qo[V`joEBYz`aim{WkjmeIyzHmEmuZbjlEwjF`\Mp{VTk]dtIy@hAscVQjgecZQp[imWYWlJdqywx_emQWJjcEAiwH\YmoVBjjdoi{PZynGV?jpdnyvPayp]Uxj[EJZNhZMrwUsjXE]ytxZUlmUpjZDkIt`eql[XmjUeZZShYelUYflRDijPPYYsWUglDdhzCxYQlIWhjPeIIs@kAlCZAjOeoYrhcIk}XCjNEOwLsFAB^@m_wOZxCSaEPFJWdlQuXJSdqQvG~c_qOHFsbuPx^qOiv|CI|~LAl^fOhvyCIeDG~L`INWvkCHMCk|d`NNUwSBtuDC|^]]OkwUbsED_{~]\OkvesJTxpAp]NOcVcSG|x@AL`NNEWSRpuD?{Z`KNCwRbp]Cs{T`KNCV`cHtw\AZ\fObVXcHDuTAN\cOjwTbkTuLAj\`OcwQrkECgy~\[OhVVcI\ttAh_ZOMwFcBM@h?x_HO@WAC?M?L?N^}Nyw?B}|~{~l^nO]wNr}L~@@|_^NuWGR|uA?~Z_TNqWDB{m@K~F^^OBVvc?d|t?J^_NjvwRzL}G}p^EOaVpsGmCK}J_wN`WMRw]B[}H_UN[vmsBE@[|t^SNZVtRu||W|p^hNXvyrul}g|h]iOVVjCEDyl@^]fN{ViR~Ty_~r^zNQV~RstyS~x_aNOwHBs]AK|D_NNJwBbqu?s{j]QOGVdCATxL?b]CN_Vnro\wS}B^[N?v_bzTw?}v_IM}wBBn}?kz|\zO\v^CFdvh@t\vNKV]BrLvc{t`@MzWObmeC?zj_sMwwLbm]BSzd]}MuvnBldzszV\nMsv[BlDuwzT\YNevUrx\tc}X^GMjVUBxT{cyn^PMhvsril|Gyh\ONfVSRyDtG}^\LOQvRsC|sx@L_jMeWJRhUAoyV\FOWvQSE\s`@d\COSWIbguAcyJCKaDpAg`kO}G\EYbMPex~C~i^rNMfgRrxwS{M]HN@f^roK[QNbFGbxpzgw{[IN^E}bxpoG}K^iLZF}bWp~Gt{^QLNFubTp}GtK^iKvE[b~pfg~k]IKjFebKpxGq{^QKFEEb{p|gok]aJzFkb?pygn{]aIBDCbupygg[]YHvFca^pwgfk_AEjBWcAoth?[KaONGI`eoqh@K_ADzB?cAq?gV{JiORAwcBqAgU{OiIrD[aEpUg`{ZIHjEua[plGe{RIIVCoabpJghKZaHRE{aUpmgd[YAHFEcaRpggckWaGzEKaOpagb{WyGnCYbHpEGqKTyGbDaaIpWGa[VAGJDsaCp[g_{OIJNDg`~pXG_KVYFrDy`}p]G^[NIJVBuavo|GlkMqMzF_`wpvg\{\YFNFY`tpuG\K[iFJFM`pprG[KLqIbB]aeough{\AE^FS`hpsgYKKIIfBEajopGikeQTZIicoqWhTKgQTjIEd[qaHU{kASFH}daq_HW[faTfH{dVq]hUKdiTFIecnqhHJkdQSnHUdLqeHJKjiQFI}cbqnHGkbqUNH?ddqNhXKbYSVIMc\qMHPkcyPbHQcYqSHE[aiRZGmcwqJHL{cqPRGccdqHhHKaIRjG]czqGHM[eYOrHicMqYHB[`ISzGUdOqDHR{`ASjIOcFqBHQ[oaW^KQeDrBHaKnqWJK?e@q~h_{pyVvKYd{rFH]{pQVbKWdxrDh]kmyU^JOdtqzHXklyVJJgdpqxh[KlaXBJ[eQquhc[qaUnJQeTqtHc{tYXZLYeWrUHd{ryYJLAecrOHg{siXrLMe]rRHf[rIYbLSeZrLHiW?IYxLheu?@hkKug?HL^ev?@hkW?QZdLf?@R[Hkn