CAT(2562,1)
Sparse6:
:~?gA_?O?G?CBg@X?l_ToO?DSAa@R?h_TOIGIOCIAB@?_`oPWGcB]@p?x_a_LWGWBQ@k@C_W?NwDwBu@[?}_W_NWEWBy@c?~___MgGOBq@u@?_u_HwCkAY@^?o_VOKgEKBM@h?t_ZONGFSBmCG@~`?O^gNkFuBz@}@?o_oN{G?CD@x_|o]gMsFaBn@q_wo[GM[FQBjA??uO^oLSFwBVAB?tOYoOKEoCD@g?xoYOMcE[Bj@l?wOZoMSEwBb@O@?o_oIKC{CD@L?}OR_NcCoBx@h?ooWoLCEGBN@n?oOZ_JsEsA~@W_koUgNGDIBu@S_|?SwIgFYAm@w_j?\wH?CeAM@J_b?QgK_DmBK@\_q_VGXGAm@Z?k_UOJWD[CqA\@L_foSWICC]AP@E_coQwHSCeAV@I_foSWICDaAt@X`u_zG\SMmFMB_`n?yW\?L}EyBa`l_wWZ_MMEmBY`j?uGYgLeEKBQ`c?tGWwLMEoBB`a_ugZGKQEuBB`a_vWZ_KQEKB]`c?wGWwL}EQB?`d_ogXOKEEWBA`_?rgWGKuCGBc`r?`gOgMUDyBK`^_rgVoKuDsB``]?wgVWMMDnAx`[OlGUsJUDaBN`g?kwYGJIDOBN`g?igYGIeDKBg`R_yWSgM]FSAa`Q?zG\WIMC}Bc`r?gGSGMUCtAZ`KofWRsHqCkBc`r?dwR?MUCgBk`t?dWQWMmC_BV`H?tgQGLUEQAL`F_qwPoKiFMAF`s_aW\?GaEcAK`i?agYWGmD_Aj`U_jgTwIqIe?a_QOGwCSAQ@F?d_RoHgC{AU@L?t_YOLgE{Be@p?v_[oMGOcGUCLAp`XokgQCHICbAL`FobgO{GeCPDyAz`[WnGVMJoDqaiPTWi[TaIlDVa{@UGiwVeIkDvaq@SWkOTAJEDQar@SgiGU]JIDOae`UghwTmI[DXae`VGhwTyI[D\ad@PGh_SYIUDDad`Pwh_SaIQDIai@PwigSaIQDRa`@UwgWTeIADYat@Nwg?UaH{Dhay`NWmoRmHwDsaz`MGnGRiJoCxan`LgkGR]J?CtaXPLGe[REH^CoaR@YGlOQ]HODhaP`VGcgTyHGD\aM`YwbwUuG{Dkaq`EgkwPqJKCZaJ`[WbGVMGoDqaI@ZgaoVAGiDnap@CWaWUQGcDban`BgkGPAJ?CNaAp@w_sOaGTCHa@P@G_[OAGBB~`~O~W^cNeFtBzav?|gm?NaJ]Bv`x`ZGlgNUJUBs`w@\G]OVYFaDtaa?zWgoM}IIBmaS`AwdWOuHSCKaO@Jgd_QIHACl_sOYWK{CuA\@K_boQGGsM}FZBmbv@ewrg]uKwFkb`@{ww_^QMEFqb_PoWv{ZqL|E|bw@mwvG^EN]Eybv`lgv?^ELmFobX`|w}oZUNiEsbW@zG|oZILaFlbx`hw}_YeNcEgbI@|wqO^YNiERbEPbgpkW}KbEObBPaGo{WeKVEIbl@tWz_\YMuFSbg`vWyW\}McF]bg@wGxo]IM]F`ba`qwxg[]MKFKbV@xgtw]aLYFfbp`igt_]UNGEjbR@qgs_[aLIFHbO`yWsW]mLCFibk`fws?\]MoE]b@`eWrOWUKoECa}`dWqwV}KkD}b?`]go?VqKCDzcWqKxESayP`Gnc]aLHFwbYP{GtcTAMXDGb]POGwb|ADxB?^aNqGUcHaOHAgcIOgH@cGAIxAOauOaGkcEaMh@wbqPuGMcDAEXBW_qOsGJcRA@xCw_ePIGGcAAFx?oaEOIG_c?aOx?WcUOCHCb~AHH??aIN}Gbb|aFhB_^uNwG\aaPPggkSeINDGadPRGh[EiBV@kaUPJgdkQeHVCid?a]hO?fmR}Hxc~A]xNOfqRyHxcxa\hM_faRiHvczA[HMOfaRmHpcyaRHMWcyRgHLctQZHL[e]RPHhc}aSHIGfyQ]H{c~aQXOGcmS?HIcbA[HGwfERcHGcpaXhKOeQRAHdcuaUHLwdiR[HXcnATXK?d]Q}HUchAUxJ_dQQyHRdX?GwCcAIEBBA`_OpGWkKMEPBF`bPuWzC\]MhFUbipsWyS\MM\FObfpqwxk[qMPFIbcp^wnsVuK@EAb?qn@XKk[TzIzDcQo@VkjoT|I~D\qmPWcjgULIwDaqopVKkGTtJ@D[QlpXkjWU\ItDfqlPXckkTnJIDZQk`Y[jOUjIrDiQl@YClGTfJPDXQr`Psk{S`JLDFqiPVsk?TVI~DTQh`YSlCTPJODRqq`S[koTJJJDQQg@WciGULI`DaqfXR{hyStIZdMQdpW{hcURIWDcQtPQchWUfITDiQoPQKhKUFJADHQapT{goT`ILDWqa@T{ggTbIHDWQj@OsiwSNIlDAqj@OSiwSHIlD@rH?hkS}I\DOahPSXCCaEO~G]cMQFXBK`mOtGWcJQDxdwqaX[KheUbHxcwqiXQKjeSBJHcorUXGKseQbKxc_rAXKKqeQbKX`SoeWVKEeCR@x^OqiVwKkd|bIxdgn]X[JweVa}X]orIXaJteWA|He_nMVaKteXa{h\WqIVYK`duBGxcOmeXEJidsBGX[opyVIK_drbFx[OpyVGK_dpbFxbWl}VAK\doBFHbWlqWyJ]eMAvXb?liWsJZeKauXYopaUoKYdjbEX`wnAV]KPdvBCH__pIWIKSe@bCx_GpUW?KUeJb?h`_nuW[J~eEa~hnov]ZlLteyR[hm[vkY@L|E^r^@gKvkXxL{E^R^PfkrkZpLyE[rM`nKrWZpKwE|RLpnKu{ZRLpEtr[@lSu?YDLCEpROpkKtsZXL^EvRV`lkuWYdLgEhrSPk{swYhLOEjRRpiktgYZL[EdrUphcs_ZFLdEdRX@hKsSYnLXEbrP`jCiqTZImdVqkXUCx?\PMQFSrcPtSyU\NMefTbdhtgxa\WMVfHrdXqcy_[DMiF@riPoKyk[@L}FUr^ptcx{[ZM`FFrg@pswg\HMKFPrapsSw[[rMZFCra@rSwW[|M[FAR`PrkpaWtKXeLrFXbcpyX@K^eOrGxcS{o\\NMFWRrPt{{g]nNJFjRqPyk{o]LNFFerq@xs{K]`NNFarp@yK|G]@NSF`RspwKzu\~M}f\RnHv[z[]^MxFgrm@yC|G\hNSFZRspukzC]nMrFirk`ysvaZtLxe|r^Xnc~M^jNsfvrzh|k~W^HNwFrR|p{k~W^BNwFpr|p{S|w^rN_F|rvp~S~c]vN\F|r}`zc}g]pNkFkrypzS~?^NNhFxRy@}L?k^xOLF}r~a@d?w_POIGGSAQ@|?G_bOCGHs?qAS~{_JO@GBs?A?t@g_zO^GMSEqBt@O_nOUGKsDQBCBy@~?|_VoKGDsBE@f?q`IOdWQ[HaClAVbUpjgt{YiLXEjccqQxHScYQNHGe?R?X_SnuV~J}f@r_hoKwAZ|L~ftRzH|[}]^RNgggCQiH`DIaUPPgfCPyHxCeaYPGgaCQiHXCYaWPDg_cPyGXCeaCPGgaCNiG@CYaIO~g`CNIGXBuaAOzg[CNiFPB}a?OxgZcNIEhBu`kOzgZCKyExBQ`iOqg[CJyFPBE`qOogUCLIDpBM`YOqgTCJyDXBE`_OhgTCHyDXAY`OOhgVCHyD`Aa`YOegOCSICPDI`APPgecGyHxAUa[OchB?DgBC@]?t?X_Lsc_Bc@y?zQW?OoFwCCAe@T?g_hOTGI[DUAn@UaJpEWbCPQGlCTc?q?x?S^}O@F}dIQdhQkhMSbIQe`RPHg[sUYNLEf[RmXu{zE\fMqf}R~h~k~}_BO?h^coiW`KEe?RBhacnIWpJyeMQ|h[cnyVXKEdsR?h]CmIVpJYdyQvhXcliUhJ]dgQwh[ckIVXJIdsQphYcjYTxJQd[QrhXCiyUHIqd_QihScjYTxIad[QfhQCiiSpIqdIQjhRcgYSXIedOQahQCfiSpIAdIQ^hMCgiSXHucuQ`hLcfiRhIAcwQ^hKseiRDHicrQWghcdYI`H]ckPTh?CoiW`GEcCRBhac^YWxF}eKP}g|CciN`HQbuQRgzcciNHHMboQShFc\IQHFYc_PthEc[iMXGqc[PpgvCbyM@HEb]QOguCbiLhGqcYPjgsCaYLPGmbQQIgqc`iKxGabKQFgpCaYK`GmbEQIhBCVyKHG]cOP_hAcViO`DqcEP\gkcdYJXH]asQUgkC`YIxGMakQCiV?Ag@c?m?Z?N_FTM_AC@I?bT??HoDWAdSAiDT@i_TOigLR{ePS}HdTNQXLQ_ffSiHyS{adLQ_fjSiHztIQ]tNChtRnI]S{Af\MohtRmI]SzQf\MchnRjI[syafDM_hjReIZSxqedR[fFRdI[tMA[dROf@SuHpTLQ[LRGezSrHnsvaeLLoh`RYIVsuqdtRKenRXIWtKaZDLWh\RTIVstAeDLChVRRIUssaddR{e\ROI^SrqflQkeVSlHetJAXdPohDS]IQTFQc\QCgvS_ILTFqbLPKg`SQIITCQalPWgZSWIFtDq`tO[gHSEICtAA_lOggBSKI@tAq_TNkhJSfH}s~ActNwfpR~H|T?A^LXO?r?Y_LoEwBS@e?n?W_JODgBC@]lK?[_NOFWBc@y?zSgiTTIYt`YYl[UgjUdhyt`YelUUmjUdiiqpYIl?USjIdgYqxYIl?UXjOdeIsXXqlIUZjQDeisXXulGU^jQdfihdSyiZTNigtSIp@YekSUjjCdiiohYYlMUFjBDiIoPXukGU^j@dfinxXakAUXj?Ddyn`XQkiT}jJD^YnHXqkuTzjLD]igXXEiIURiaDciqHSYiOURjHDPympWyjoUOizdbylhVAj]TqivD[YlPVMjgTjiydZIlHUMjATgipDXyk@UYi{TdindXIihTmimT\ijDVIjHTIigTYihdUIhXWuiQUJidDbG@S?q?V?I_EOAw@k?y?^?L_FOBz@G@A?b?Q_GOCgALXEkfUQh@s`YOdGqc\QLhFscYQDHUcnQUkFeAZAH_mo_WIkFeBJAH_uo[WOkAD|y~H_UnoWBkAD}j?X^moIV{j}eAJ?p^}oMV}kCE?J?p_IoMW@kHD|JAX^UogVujweBJ@p^MncWLjvEAY}@_in]WJk?Dyy|h_IoAVkj|DyI~`]inuVhjrd~y{h^ynKV|jpD|y~@]QnEVxkLdvzBh]EowV_jktuyzT\qm|V\kLdtiz@`ummW[kHDszA`\UoeVSjgEDiyP`]maWTjeeEJBP[}oqVMjdEEIx``ioqVJjbeDyxH`YmOWTjZtliulZilpUxj\tnYvdZym@U~jaDjywpZEmIUoj_dkiwXZQmCUriTtJYddRUhlSsi[TMYe|Ruh~S}kWE]zNhbIrwWpkae[jGxfQqKXrkxEOjM`cQreXBk}eOZN`cAp}Xzk]E\ZFhfYp{Xvk{EMZFXfipsXxkyeLjMxbarkWvkYE]jEhfapeXxkQUHZCta]pRWgkTuJJDTaup^WmkmeZzMHd}q{XokuEUjJ`euquXmkseTzLXderSXWkieXJIpeUqgXbkgeWZIPeIqeX_krERjI@earMXNkNEQzC@cuo}XKkcEGZHPaMqQWak~EjjO@jAr}YnlSEhZTPi]tQYelTegjThiQtWYblIEmZQhj]seYwlYEcJUphEscYtlNebZSHg}t?YMlDEeZP`hmsUYYlBefjPHhqsyYGlJE`JR@gYsmYDl?ekZUXgMsCYqll_FwCCAE@@?`_Ns{i]dNMfjRvhzToYw\[ImHVDjbUyb[dmkvLZkLquwR\LmKvNZaLsUxBZtm?vLZ^LquwRZ\mGuzZbLmUuBZllguxZXLluwBZLlgu|Z^LkUoB[|kGvRZ@LsUybVlj{vXY}LtutRYTlOunZULhumrYLk{txYyLgUrBWtkwuPZLLbuqRW\kkuJZILaVE_A[@U?h?R_IoDIsLYIl@UbjQthIglSMiHTEicTPzLLemrTXeksUXzKdeUrFX_kpUWZHLciqPXJkeuRJfXqexy[jm]FIjfPq]xo[gm[fHjcXq}xI[pmQFKJd`qMx[[cmUfHZcHrYxm[amYfGJcPrMxg[_mOfKjbhqew}[jmNFIjbPq]ww[gmLfHjaxpiwq[[mKFEzaxpuwq[^mKFFj\hpEv[[QlvfCzf@oyxs[Om[fBz`XrmwY[|mEFNJ`@rUxm[ImCfLjdxoUxa[FmWF@jd`oIx[[CmUf?zePn}wA[sm?FKz^lnyvxZyl|u}Z]ppQwkZwlzfDZaHnMvi[RmHE|JapnEvc[TlwFDJp`_QoFWDkCU@z?th}tBY_lMUfjRlhesvYYlJUeJQ|x?{n]PNIvbrqtx?{h]PNHvbrqTxk{X]\NFVfBplwo{p]YNFVbRrLxkzP]\MtVfBlLu[{l\dNJvXbqlx_zD]YMqVWrrLxGy~]SMovcrkDteyv\YmjVUJi|wcyh]JMivSrpTwWy`]GMhV`riLwOy^\MNAvRRo\wOyT]DMeVQro\s[{@\HN?vQBoTsO{@\EN@VPRoLsG{R\BNDvabgLwWx|]GM_V`rf|vSzn\xMzV\BnDvgzb\{Mxv]rmTuwzz\oM~vZrnttozV\]MuvVRld}W}n^XnkVtjyd|U|M^bnSfxZt@}Q~E]cnRFxZsh}Q~?]`npFgz{HyI{{^_nNfwZs@}I|S^JnUFrZtX{q}y^Gnnfqjzp{e}C^YnmFozw`|m|{]xn\fnJvhzi|}]un_fmJw@z]|e^MnYfsJu`{}|_^PnXFszuH|I}K]mnbfjzth{Uwb[RmHVDjalpR?H_EoAw?{?M?J?e^}oIg?KA`~~?_^zn}GCj~i@F?g^joIfykAX}f?_^ensGCj{y@E~i_LnzgBz}q?y~e_FoCF|J}Q?e~o^nn|F{Z~H~B?S^koEFzk@X}u{@]An?v`JolwM{L]GnBvajp\wf?k_yoKGNKAyBn@s_po]GK{FYBJ@g_moZGKKEiA~@Y_}o^gI{DaBv@o_goTGM[DIB^@J_foRWHKC]AJ@g_^oZGG[EiAB@m_[o[gF[BqBb?s_|o^gE{BIBy~@^anovwz{l}RA@`Ao_wV[JeDnA[`^oeGVkKACvA{`HooGQ{HQD~BA`EopgQKKQC^BA`BopgP[KQCRAo`QolGTKJIDNAi`NojgS[IqDBBG`rorG\[KiFRBq`oo|g[kNQFFBk`iouG]KLYF^B]`govGY[LiE^CCaDpAG`{OYGZBw`~p?g^kNiGAutZXlkV\JmlvYzf\qmwvyZ|\}i~L^gnrwSkIeDNA^`PogWecSEIHCxaZPOweSR}H\CzaWPNWfCQmHhClaZPIWdsQMHdCdaWPHwbsQeH@CjaMPJWbcQMH@CfaNPHWfSPEHxCRa^PDWgCP]IHCZaKPOwoO?{?e?P[VmKvEJvLzi|v]un[Vl{Au@b?n_XoLWE{KeEZBJ`foswYKYQLbE_bUpggt{YYKvE]bTpfGtKXQKvE]bKpfGq{YIK^EcbHpgGqKWaKjEKbKpagq{WaK^EKbGpagq[SaJnDIa|pPgnKVALNDsbTp[gtKYyJ^DibWpjGlkUQKFDgbAp`gk{WYJBD]bApWgo[WAIrD[a}pUgn{VYIfDyajp]GikSqJ~DMb?pSGnk`G?Q?L?DpsHA[\QOnFQcIpqhA[[yOnFKcIqCGw{[aO^GKbapnh?{_iMFF?cCpmH?{_iLzEycCpkhAK_qLnEscFp}g|{^yNfF{bwp}G|[^YNZFsbspwh?K]YOJFcc@pugzk]AMnF]bk_BoAW@C?]?R?GqXhIceERHHXcpQTxJSeERHH^cpQVXGcd}QtHFc`QVXGCd]PxHXc^QTXFScmPlHLc[QQXHsbEQdGtcgQKxCs`uPPGXcQQExDS`}PDGncOQJO@G?s?U?H?E_AxTCVeJvDva}p_Wn{iQSnIedLqeHS[iQSzIedOqfhS[fyT^IAdXq_HUKhASzISdOqchR{gySvIWdDqdhPkiaSJIkdCqihO{fqTRHydUq]HT[jARjIqczqjhM[e]RVHhcwqZXL{_]OVGHcEqCX@{kQVrJ?d|qoh]{lIVbJUdyqtH][kyVvJOdzqrH^KnAUNJsddq{hXKj]TrItd\qnxVkmqU~Jmdpqyh[KlaVJJedmqyHZ[nyXFK?eQq~HcKpiW^KQeNrFHaKpYWRKWeDrDH`koIXNKieBrIH_kqqXrKoe]rJhf[ryXfL?eYrOhe{eERJHbduqzx\[mUVRJfemRSXicuEY|LRejRSXictmYpLRejRPxjSseYpLDemRQxkCs}Y|LLf?QhxSkiMWvK\eNrDXbKp][@MLfARcXoSw}[HMHf?RaxoSw]ZDL|e|RXxkcv}[LLtfDR]XpCv]Z\MLexRcXmCw}ZxLheuR]xlSv}\xM[fZreHv[xi\rMwfHrdhu{zi[jMofTrjhukyq\fM]fQrghtKyA\NNMf]rshwK|A\~NCfdrohxK{Y]ZL|e~r]x{C|U^HNVfkRwxzS}M]|NdfmRwXu{zm\q?AfxRxo?s~Y^Q?CfyRyx}O?Q^ZNo?@R|x|s~O?N