CAT(2258,1)
Sparse6:
:~?bQ_?O?G?CAW@J?d_QoJoCoAe@U?g_R_IgCoAi@U?f_S?IWDSAm@R?z?[?MWF?Bi@q?y_[oMgFCCOA@?}_^oNgGCB}@v?|_]OS?GgCmAW@E_a?QgGwCiAQ@J_e?QGGGCUAC@E_`_PGGWCaAC@H___PwLWBU@n?u_YoLwEsA}@`?p_XOLGE[Aq@\?l__oOwGSGWCFAC`Ao_wOcGUCEA?`A__gO_GEBuAA_|?_GN_GEBy@^_~_WWNoEABOA?_t?_gLGGEBs@g_|_YgN_EeBy@j_u_^wNoEqB[@|_w?^wLwFyBI@^_r_WWKoEABC@d_q?XwKWEYBa@s_x_\gMOFUBe@j_u_[gMGEqB[@s_w?\gLwFUA{@T_m?SwJgDQA_@v_{_SgN?DEAq@]_l_VGJODuAk@v_k?]WIwFaBC@L_q?RwKWCyEI?a_QOGwXWD}BB@__qoXwKsKkE\BO@eor?X{HGEHAS@`OcoW[JoE\BO@^OnOX{K[DXBE@TOpOT[KgDZAn@coq?TsI[ETBH@Soq?TCICEHBA@Pog_W[IUDLAc`N?qwS?KuC}BK`b?ewWwHuEIA[`^_bGPoKEE?AL`^_aWW?GmCSB@`X?kwU?JUDaAs`K?mWROJmCqAy`F_lgQGJaC_Av`C?dgOoHUCMAVaB_JGDkAy@\?k_UpC?`?OQGQCEaB`@W`_OQGSCEaD`@W^sOAF~CJ@{PB?^SOgFrCG@zpAO]sO[FjBq`yO{w_OL]GABXa@_uGYGOIEeC@`h@?w^gM}FaBz`}?{GY_MqEkBm`i_zW[oMUFOBb`r_xGZgMeE}Bj`n?ygZWMIEwB``o?ugfOAI@H?b_POHGC[SKAx@]_moYgLKEaAZ@N_fPQWh[SiI?Cya`@NGgGRmI?C|a^`OgfoSEGkDEaK@QGawS]H{Csa^`LgegRuH^CoaVPJOfcQoHtCjA\pI?g[QgIJChAaPQOcSSkHHDIAPpFofKQ?HpC`AZpOobcPwIJC\AaPEOhCPgILCZAbpCGaSPEGfCTaIPMO`sR_GZCvAFpH_eSQSHbCrARp^oV{KEE@BA`aOowXCKiERDTajpTgnGWUJuEFa|@`gmsVaJnDfA~p_OlKW?JPDeA}pXOncUOJ|D`A~p_Ok[W?JDD^BAPW?o[WGI|EAAmP`?jkWKIvDWBApU_o{TcKLDNagpSGiSTQIfDKA~PR_nkSsJxDtAvpZOmcUwJfDiAwPZ?mSUkJbD{a}p^g_KOMGDEqbYPkwu[ZQLdEhbTpigrsXuK~ESBYpd_u{XSLlEJBYplopkWoLlEmBCPjOpSYoKREfBOPg_tCYCLLEbBLPhOrcYOKvEVBVpeOuKX_L`EMBGpc?q[W{KdFJbePqgyW\YMoFTbi@twxg[]M]FHbf@qGy?[EMEFQb`@sWw_ZmMKE|ba`nGvO[ALqE}b[@nw_cOYGJDrayp\GmCVIJbFvBw`yw}W]uNcFkbv@yw}?]uN]Fkbw`vG}W\yNcF\bsPyg|K]INHFbbv@uwzG^AN]FYbr@wG{w]ENIF^cF`OGgSSEGZCMaFphgtCY]LFEdbQPbgqCW}OfGScHQFPAc`oOdGZCHqBpBC`gObGOCKqBpAk`COnGOCJQEo~k`sN~G[B~QAPAk_kOnGICJQ@h@C_]OoGBcLA@X?_`eNsGKb}ABg~W_uOWFvb{aBh@g^aNgG?bzA?g}g_EQIEyb[pmGvkZmLxHECdQPpHCccQJG{CaqPpFscWPzGrcYQLXH?auQSGnccaJhCwcQPQHAcSAOxG_aQPKHAcQaOxGGaIQ?Gbc^aGXBocAP?H@c^aFxDObePuGkcTaMhEObaP_GucWaLxL_ekQ\HiCgQYPH{e]RPHecoqWhKCekQZHiCdqYPHcdwRFH^CqqVPKcdOQnHUCkqTPJCdCQtH[ChQSpJ[gOOXGMcEp|G}s^USPIHdBq_XO[gIRWIFdCaZhP?euS@H}c~q]POkfgSLHwDAQ[pOSfOSBHqD@q`PMCgWRbICCvq^PMsf[RvHtC}QhPF{cEQ@HAcaQOxS_hATCIQdPacXTGiATSI`dNaiHRchySzIXDQqe`S{hkTLIUDQqe@S{h[TLIiDIqcpTCicShIMdFqbXPOiISWIcdDagxSSiQTFHhctqYhPsg}SZJBDcqqpWkkgUHIkDcQjPWsikUNJ?d`QoXWWjuT}JDdaAnhVSjqTvIsDdQl`XKjSUVImDbQk@XCi{UNIvDWqmPU[j_TdJaDmQwPZ[mKUzJYDnqw@ZClcU|JTDfqtpYKlWU`JKDhQr`YcksUfJlDqQzp[smwVJJfDtQz@\KmkVPIBd?q_ge{ReHpAE`CO`wPKGmCTCUaKPDwb{QEH@CMaEpBwpCWiKRFXblpuhECbIPbG_cNQFxMSfQRfHpcvq[HVkj}T|IrdXQkXcOpqWsK_eLbGXb?pUWqKUeJbDHb_pMWsKQeLbCX`wpEW_KReFBCh`womWYKOeEBBh`OpYWOKTeCbDH_OomWYKCeEB?x_gn}WAKFeBB?H__nyWEJ{e@A~X^_n}WAJ}d}b?H^WoeVqKId|BAH^OoUVuKFd{b@h]opuVoK^dzbFh]op]VoKXdzbEH]?qAXCJqdwbGXbgnMW}JteNA|GAs@a?n?X_LOExj_@q?|?\es?FwCCAEBH@b_pORwHsCuFLBf`sPVWjcTmIXDMaepoWw[[IL|F?b^q@X?c_MO@GAc?p|g}c^UQfHPchQcxQkhQSTIKdDquHZKliUdJSdhrdPp{xC[nMOFJRcppsxO[XMQFEraPpcwk[ZMIFFR``p{xC[PMOFBr`po[wS[PMEFAR_@p[wg[DMHF?r^`o[wSZ~L|FAR]`oSvo[BLzF?R^Pm{v{ZrL}E{R^@mkvkZlLyEyR[PmcvKZlLqEyr[@m{u{ZrLwEvR[`lcvKZZLpEtrYplsv?ZZLnEuRYHlSueZTLgesrXPccqSZNKbErRS@qcxKYdMQEgrdPhks{[nLMFJRX@hcsgZDLJEprPpkSuOYRLGEprPPj{sWZBLCEoRWPgSsKZ@L^E_rV`fstoY@L\E^rUPfktkXxLYE\rM@jsrgYxKxEmrUPektkXnLYEZRK`i{rKYpKsEjRJpi[rCYjKoEiRSpdcqwYjKlEiRXpd[uSXTLeESrH`jCq_YlKfEjr~_@[?i?X?M_EoBy@O@A?b?QgG?DGAk@M_dOOgGsCIAT@E_[MWgFbei@gxe^oNBf|BpHwO~e^qNEfbb}h~?{U_SN?f^cBI@W{E\wOJf^CBHvh?i\qOFgCbmxvP?a\oOEfZC@Hux?U\eOEfYc@Hu`?U_MMogCbkhuH?a_EMmg?bjy?Oyu^{Mig?BjH~wym\MO@fSc?xt@?I^{McfRC?H~wyU_]MbgFBgY@gyI[}N|fOB}xro~q[wN{fMb~XrW~m^]NqfyB{X}W~A^WNefsBzh|g}]]yN`fnbwhzo}A^QNYftbvH|O|m^ENXfjbxXz?}Q]eNvfybsXyO~Y]gNJfjBrXyg{q]ONMfdBsHxG{}bG?U_KODwAs@a?n?Z_KoEgB[@i?rPu?NOFGBk@u?|?[f{R}h~LF[b|PwG}S^QMtFcbxPzG~S]aNlEWbbPcGxSXQMDE[bdPpGss[ALDFKbTPkGys\AL\EsbfPmGysZqMd@q_|O\gNsGYCDE{atPlGksUALtD[bvPxGisTaNTEoadPSGtSSqL\F_a^PvGgsSAMtCobNPMGssRQLDEOaRPJGrSXQHTEG_fOTGpsDAKLEC_lPbGKSWaA|DkaLP\GcSVAG|C?`zPAG^sOQFtCO`xPDG\sOqFTBc`fOwGWsLqETAw`hOtGWSLaD|As`NOkGRSIqClAG`POiGQSGqDL@ca|OZGoSEaJ{?m?T?K_DOBG@[?u?^?M_FOBW@|Lc?d?O_GoCGAK@IbBPbgpRUXj[tiY~L`eoRWhkcuMZJLferSvqZLLkfBRYHoSvQ[LLwe~R[HoSqAYlLKeRRFHiSqaYlLOeXRRHdsrQZDK{enRUHfSsAY|LGelRPHkSpA\\KWfZRDHuSvAWLLweFR\H`SnqZLLke@RYH^SsQVlJkedROH]SqaVDJgeXQxHdslQXlK{dnQuHfSpqUTKcdhRGHXsjq\DJ?fRQpHtSiYT\IidXQmhUsha\dI_fZQfHtsgq[TISfHQcHpswaSLIGfHQ_HpsxqRtMSc~ReHMsxQRdM[cvReHLSyAQ|HcfTQWHss`yOlGYcPQIhCsayPlGqc`QMhFsdAN|HWcBQTH?S_aQLGOcfQBHHR}x~k~q_HOEgAsAI@L?]_\ONgEtQq_DSsgDTKI?tDQgdP[iFSUI`TCahdPOiZSRIdtOa`|PCiHTBIGTQA`dSgg\THIEtAQglOgiLSJIbt@aglO_iNSFIbTQA_lSggFTHIAS|i]dNUfrRwhzs~I^TNmf|R~h}tJQfLQwhvSnI\TNqd\SChXSiI_THqetQchpSgIZtHAfdRwhLS|IQtKqcLRShFSsIPTGAeLRGg|S^IWSzab\N?gzS[Hvs{QbDNKgtRqIKt_QhtWKi`UAIft]qntW?jzT~I}T\QnDV[jtTuI{tWqo|USkRTcJCTWAodUCkJTaJBT[AjlT{jbT]IvtYqjTUgixThIltZAjDT[jZTmIktTalDTOjLTTIrtSQmTTKjhTQIxtioB{AA@B?`_NoGHwS{Q]FNEfbrpYQLHMcdQShJSdYvPZQlkU{j\dlYvHZElmUrj[DkiupYyl_UtjVdlItXZElYUrjUDkitXYelYUijUDiIu@Yal[UijVdiYuxXAlqUQj[DcYphZik]U{jFDmypPYIkWUcjDdgyshX}lAUfjODhiqpXekoUZjJdeir`XMkiU]jMddI|O@U?h?R_HoDWAdFIbbPogyS[yMl@M_jOSgJsEIAtRehvSyiZTMIe|RMhjSsiWtKieDPagtSXiLtFIbl^goZVzKDt}R@d__nlVwKDUAQ}|^So@VrK?t|A~|^onfV}JyT~Q}l^?oLWFJxU@Q}L^?oDWCJxU?q}L]{nvVlJ{tza~T^_nVVuJuTya}|][nTVgJuTyQ|\]wnNVnJstzQ|D]KlzU~Jotwavt_cm~WGJnUAa{D\koVV\KEtvB@d\_nxVYJ~TuQ~l_SmjVVKBu@ayt\GoDWCJiU?qy\\?o@VPK?trq~|[qm\VLjctqix\]OmLVeJcTxQw|]GmFVCJotwqwl]Om@VAJrToQ{ldoefRThiStiZDL]j^ToiwtZIllUyjRTjitTYIk|UYq}XdkreWZKpeAq}XakoeXJK@eMqwXjknEZZJheqqwXgknEYjJheerUWwkueMZFPeqpiXdkreLzKpbYpeXckYEWjEPeMp]XgkWeYjE@eepRWjkTUIJCta]pGXZkQeUjJHaMqkWakOeUJC@d]qeW\kieFzI``yowXTkLeTJBPdMq_WVkKeSjIH`aqcWSkgeDjI@`UocXXkHeUjJX`Eo[XUkGEUJ@xd]qMXCkaeQZGpcaqUX@kdEOzH`cIp{XLk_ERzFxcypuWkk]eJjF`autkYflSuiJSdiYtJYrKzulRNLjOrpYrKyUlRMtjOrjXpLWU[rUTfGtbXmLWU[BUTe{tbYiLLufRTdiksxYTK|U^BQ|hWrvYSLVucbTlhKt\YJLEUaRPtggsZYNLBUaBQLg[s`Y^L@ugBOlhwsHY@LPU_bS\g?tBX|LKU^rRTfwsrV`jptwi{d]YnJZHLqUwrXDkgvJZSljUtZY\lEudZ_LfUwbYDmCu^ZbL[uxRV\mOttZ_LZUwbVDmCtnZDLmuvrW|kWu|ZALlUpBZdkKuvY~LduoRXlk?uXY}LkuuBVll[txXOkhUSZIldQqfXUkkUTzJLdmqt[CLrV@b\DoSvN[@MEv?r`|oGw\[FL~V?B`Lo_v~[JL|vBB^lnowTZwMAU}b_tncwJZtlzu|j]TnQvfZnMCU{R`Ln?wN[LLvUzB`|msw\ZhMDUyr`dmgwVYolXUkZU\jUth[jmUvJJdDqixR[mMMVKBbtq{wz[mMKvKBb\q{wt[UMWvEBe\p[xd[qMIvKra\rCwh[bMGVGbaTqOwb[`MRvHRb|qWx@\HM_VQbgLsGyV[}MYVNRelr{xl[yMbVNBhDrkyN[xMavLrgdr_yF\TMeVRbi|ssyl\NMiVSRi\t?ydUgjTTiZGtcQqJX@k`uOjVLjmttYul[UlzcTqQxF[`mOVFzmPuiza\kmwFYzkxuuz]\hmvFYJk`uizI\jmrFZJkxuIzE\gmsfWZk`tyzK\_mqfVzjpuEzE\^moFWjj@vAys\qmkf[ZjXuuz]\\mvFVJqG?]?P?HjrtyY|DgesTYJlBUaJO|mqvZZmlsuyz\TrQxl[tm[vMJe|y?|F]dNPVgRsdy_{~]eNMvhrrtxg|@][NPVersLxw{r]^NJvfRrDxg{h][NJVerqlxW{r]SNKVdRq|vK{V\sNEv\Rpdw_|F]INQVhRpLwS|L]fNBv`btDwO{f]PN@Vcbo\xCz~]RN?VcboLvo{\]NM~VcBnlvc{V\zNEv]bpdvW{\]OM{Vbrm||c?H?E_AvuRvLzg}v]wNlVlRzLz[}v]uNlVkrytzO}p]qNjvsrt|zC}j]oNiVtbtd|_|Z^VNVVsrtL|O|T^TNTvprxl{c}^^GNfVqbwd{k}J^ENeVmrw\zs}B]{N`VnbyD|G}@^PN^o@w@C?e?R?F_CW?s?@~r?C^zo?f}j~i?A~}_An~G?Z~h~E~e^~nxF~j|p~i~_^{nvf}z|X~]~Y^xnuF}J|@~Q~S^unsf|Zz`}M}{^cnmfwjzx}U~M^`noFxg?c?U?L?C_BO@[C`wm{Z]KnFVcJp}AL?v_aOMwGSBe@x@F__OOwFsCU?|@N_hOGwCCDE@x?p__OLWFsBM@T?v_UOMwDsBeAP?d_SORWCsCm?x@L_LOQwBCCe?d@N_hODwAcDE?R?F_DoBWAK?||M}j^SnkVtzyuB@AP_qOcwQcEMCl@t`LO[wRCF]Cl@l`LO[WRCE}C`@f`IOYwLCHMAn@T_koUwJkD}B|AJ`@ObwOCGuCH@x`CO^WOsFmE@A\`aOgWWSH}D\Az`WOnwUSJuDlAh`UOlWTSJeELAb`dOhwXCIUEpB^`mOwwZSMEEXBR`jOsWXsLU?B?B_AoawP{GuCJAH`Bo{G_KNQFzBq`~o{G]{NQFrBq`|oxG^kMYF~Bga?o|g\[MyFvBk`{pGGGkC]AFAz`^onWVKJ]DjCcaUpKGcKQyHFC_aSpHGd[QIHNCYaBp@GbkOIG~CeaIpIGa{PaHVCmaFpKGa[PAHZCGaNpEg`kPqGVD[a]PTwjSRmHpDXalPKwesT]HhDXadPOWhsR}IXDBaaPSWhCTUILDRamPZwmSUEJ`D^aqPYWksUuJDDjaNpFWb[VQKBDubAp]Go[ViKFD}bAp^GoKT]IvDXbB??gq[W_?LEVbD?@Gqg?QKXER?@PcGqw?YK\ET