CAT(2562,2)
Sparse6:
:~?gA_?O?G?C?[?G?D?BO@G?s?U?H?E_AoJ?@_?a?S?J_E_AW@[?u?X?G_DOAWDwBI@a?s_W?KwFWBi@r?w_d_QgHKCaB?@F_bOPWHSCaAR@z?v?ZwLgFEB_@k_v?[gLgFQBe@k_v_\WMGFYB_@v_{_[gNOFQBo@r_r?\WL?F]BM@u_|?YWNGEmBo@i_poXWKcEKBR@c?toXOLSDqAt@Z_mOUwJSDuA~@]_moVwJsD[Bb@W?voUOMCD_Bj@X?zoToMsF_Ah@y?jO]OIkCwBP@O?rORoK{EWAf@Q?sOSOK{DOBT@h?jOTOL[EGBf@s?oo[_KCEsBB@m?oOW_LcC{Ab@O?hoR_ISCmAZ@K``_NwGKCAAD@C_`oSWI[DIAV@L_eOs_YKLAE^BM@fos?XkLCEXAy@gon?X{L?DvAv`[omGTKIiDPBH@HoqoQkKgChBH@JOqoQ{KgCpAZ@cOeOWsHgENBE@MOq?RsK[CzAO@eOc_XsHCEZ@z@`opONkFoEH@}@`opOOCF{EHBA@?o_oWKK?CDAD@]o`_V{GOD|AG@_oaOWCG[EDA|@DOnoPcJwCVAj@POh?TkIoDFAd@WohoU[IWDdAs@Nol_SKJSD@AM@VOboUCI{CZCS?aoPwGsC]AL@DaH@DgaWPQGiCPaJ`CWaWPeGcCWaDpBW`cO_GpCHAKpA_a{POGJCFAJPDO_sM]FPBh`tOzG\[LaEtBX`j@BgYwPAEiCN`h`BgYOPAEgCNa@_xG__MUFKCA`x_}w]gNeFgBy`z?{G]ONaFaBv`~_zW_GM}G?Bm`}?wG^oLyFyB^`l_wWZgMMEwBa_^ONgFsTK@x?|_\oNWF[Bq@~@@__ONwGKCAAF@C_`OOgGcCMAh@U_ioTwJKDaAt@[_losgY[LQJ?Dkao`ZWjwUmJWDbat`XGkOUuIlDWajpTgjCT]J[DRai`[Gi_U}IqDOal`SgjOTEI_D[ah@VgiGTuIWDLad`RwhOSyISDLae@RwhWSyH?DdaP@XwcGUYINDHacPPGgkSYH}D\a^@VGg?TyIqCzal`NWjORqHoDgat@MgfGUeIgCtai`LweoTMJ[Cnaw@KWlwRAI}Chao@IwdOUEJGCmap@JGkWQuHODfaq`HgkoQ]HEDgat@HWc_UeGvC[aLPFwbkPyHeD@aY@OwgORILw?w_\OMWFSBa@rFD@^onWVsKAEDB@`HodWQcHYCpAVb`@nGw_ZyMEE|b`@oGw_[EMEE~bEPbWpsZ_MNFEBZPlowkYQLJEebSpiGs{YELFEabN@oGs?[EL}E^bf@ewy?XuM]E[bK@pwrO[YKqFDbc@dWqw[iKkFHbH@qgx?XQMQERbF`qwxgXEK_FKb\``wvGWaLsEEb\@agpWZmLqEHb?P_goKWMKJECb]`^GnWZyJsE{bf@\Gmo\AJiFNaw`qwxgVMJcFKbU`kwtwZUL[EsbW`igt_ZIL_Eja{@^WmwV}JqD}aFPCG`{_QOLGDb{P}g~K^mNzF{bzp|W}s^INfFsbrADg|?`aNMGVblADgz_`aMuGVbgpswyS\QMlFTbkACHAO\]MqGPbva?g}G_EN_GBb~@zG|o_AN}FlbsaBX@w]mNSGMbpaCw{g`UNGGSbmaAwzw_qM{GIcB`wH@G]IOOF`afpRWhs`oQRG]CdqFPHSccO~HJCOqQ`CCcIQBH?cZQLXEccWPzHGC^qPpFsakPtG{CUqMpDcbCPPGrCTQK`DKa[PpGdC[qH`E{cKPHGbCaqG`Gcb?OvGXCVqE`DsB]@l?taHPCwaKDuA~@]bXplWucZALdEpa{P]Wm{ViJxDzcKqExBSfsR~I@C}Q^`OCfkRxH|C|Q^`NKfWR\HwCvq\pLkfOR\HtCvq[pLkgCRXH~CtQ_@L[fKQpHtClQ\@JKecRXHgCtQXpL[eQRLHdcoqWhK[fWQlHVC{QTPM{dORrHQC|qSpNScoR`HqCfQRPMKc{R`HPCxQS@MKdwQvH\CoQV@J{jG@^?o_WoKgE[BQ@X?m_UpSGiSTECvAX`LOfGRsHuHRCjaTPJGdsQuOBGBc@P~h?C^}MzF]bnpwW{S]AUMJRdiaqXX?lQUGJOdbAshWglEUAJFd`aqXWOkaUGI}d^aphW?kUUYIzdfanXXojqUSIzdeAnXXWjqTsIqdYAmHVGjMTiIwdZamXUojiSeJRdiacXQOlQTQJLdTarxTOkyUAIed`aiHWOi]T}Ibd_AhXS_jyT@IadOqfXR{hyUSIYdeAfHXWhmSmJOdKAshRGlESgItdJAlxQgjYS[IqdYAcHPwjMSUIndEakXP_jASOIndDAkXPGjATYIDdVA`xT_gYTYIBdVA`HT_gIXGFAbaPowvSZmLrG[cNQFXB{aEP@GpcXqKhDsbAP^KlERrJpdKqwXPKfEURIPd[q_XTKcEXrH`ekqSXhKcEWRH`eSqSXbKEEXrA@eko[XhKBeAr@H_CoIWBJvETQ}@d[ncXXKlDyQ|`d{qwVjKoDwrK`][rCVdKaDsRGp\SmcXBJjEOrG`\kmoXFJdENQxpcCmWW~JaENQx@cCmKW~KZDnqwPbkm?WxKWDmRE`ZspcUzJXELqupbklgWxJUEKQu@bSl[WrKKDvRB`]CosV^KHEIrDp`[ogWlKND}rCP^{p?V|JzEIQ~@aSngWfL}Eyr\xmsvIZhLre|bNxngsEZwL?e|bNHngryZwK|e[b]HnOrmXsLxeZB]Hf?viXmLxesbZHlWuyZSLlejbOhjGsQYELWevbTHmGtYZ_LTegbVXiWt}YcL]efBWxkgtAZGLNeoBRXhWuIZALKelBQHj_siYuLHeabXhgwuaYKLfdUqjhTci}TbIofGBixqOyu[aMkfQrhxssyI\HMbfSBdhtOxa\QMVfTb_XtgwM\WMAe~Biht?wA\QL~fMBbXrow}[yMMfNbahsGwq\?MJfBbcxpGxU[OMSfKb`HrWwY[IMYeKREhbKpmWzK[eNRGHb{qEXDKbfeBjhxozA]YMnfhBqXy_{m]eNIfibphx?|]]MNUf`brxwg|E]GNOf_BrHwO{y]ANLf]rnxvszi\xMzfjBlxywza]iMxfhBlHy_zY]eMtfWbrxuW|E\cNOe{R]hnKvmZzL{fxr|X}c~A^dNpfzBxH~?}Y^mNdfzBwX~?}M^mNafnB}X{?~m]}Nyf{buxzg~m^sN[ftBuH|_|i^UNXfsBzx|G}u^[NfgGcAI@P@M_QOQgAb~H~p?]_KN|g@CBi?`@A_EONf~cAy?H?u_?OKgICFYBx@Y_iO]gJcEiBH@q_oOZ_cOQgHKJmDxAy`FObwPkQAHDC`aVpKGeK\]MrFWbqPxW{[dUQnHUchQTHI[nuV~J}d|q~H^SwE[FMAe~R_Hn{}i^XNjfsRyX{|DGaTPKGgSQqILCsaNPNGcsRaHDCOaTPKGbSQqGlCCaNPBGcsOaHDC?aHPDG^SPaF|CC`zPBG\sOaFdC?`rOyG^sMAFtB[`xOtG]sLaF\Bg`dOxGYSMAE\BS`^OuGWsLqEDAo`^OmGWsJQEDAg`hOjGXSKqDLAo`POlGRSJaC|Ag`POjGRsHaDLA?a`OaGhSGQILCs`FPNGQsRaCdGW@@?a_OoGwCkAQcc?e_SOHyR?Ae@V?i_fOSGH{LyF@B^`mOvWZ[XIKhERbGPcWp{a]PLGdcQQGhC[hiSxIZdJqeXRCsaYTLHebrPXgszQ\lMtfWrkxuS~q^|N|f~s?Y?DJ{eDRCH_soAW\KSdxRFH^SpaVlJkeBQxH_SmaV|JodlQ}H[SnQU|JgdfQxHYsmqUdJ?dlQpHZskaVDJKdZQnHYSjaUlJ?dTQpHTskaTdIwdNQnHSsiATlIWdTQcHUShQT\I[dBQbHSsiASTISd@QeHNShAR|IKczQZHOsfASTHsd@QZHNsfARtHactQXhKSeiRLDOclPTHJsSqQlG?eDQAHaS_QW\KSbzRFG~spaNtFgcdP{HIS]qQ\F[cdPwHIS]QQ\G{bhQPGzScAMlFCcXQMGxsbQMTGsb^PmHESbaMDEoc^PlHGscAL\GcbRPiHDsYAPTEScLPfHCSXaO|EGcRPcHDSWqP\GWa~QGGoSWQO|GKaxQDGnS`AJlDccjPZHJsUaQtDWcFPWHAsTqOdQw?l?T_IODwBK@ahs?Z_LOFIg?@}?z?]i_TOigLSEiDT?i]cqIfxKih{RHiSC{idPNQhQRriSC|YdPN]hQRuhwdNI]@RmhsRnhuDMi\pRqfYSzhsdMY\PRahmRjhrdLY\@RYfKSsi[CwyexMQfISxiZCwie`MAhiR`hmdKYeXL}hcR]hlDJiZ`RAeuSnhjdKYeXLehcRWhidKIY`QyekSnhgdIyYPQqeeSlhfdNyfhLAh{RMiTcqydhKuhWRKiMDGibpQQgySbiNdEYcHPmh?SYiJDCIaPPagaSViIDBYahO}geSMiDD@I_pOqgUSDiBd?Y`HOMgOSAh|dHYcxNufwSeh~C}I_@Nif}RxjI?GGCSAE@@?a_OoGwCkAQ@F?d_QTh_CsAa@N?e_SOHydDQihRUkJRTjatDYslNUkJStiqttYslTUTJOTdasTYCkhU_JKTgarLYCknUbJLThQrdYOkvUbJMthQr|YOk|TKifTRYh|TEi`UGJStaat\WclTUDJRT`qtDWWlNUAJNt`ArlWKk|T~JJt_QrLW?kpUYI}TeqntXojzTxJITdan\XSjtUPIatPAq\SKkdUPIbTcqg|S_kdTuJFT]AqDV[k^TlIxt\Ql|VOj\TiIwTZAmTUkjbT`IrtYQk\UGjPT]IqTWAktT{jJTTIltTqjlTWixTRIlTTAjDTcidTHJDtQqplSgkX?T_JODGAs@U?h?V_KoEGA{@e?pWH?LoEgBc@i?v?[jGtcyqTGMcJQChESbiPlG}cbQOhJSdyQl`?oRWPKDuBr@T_{oXWMKGuCB@l^_oHWBJzt}R?l_KnvWDJ}U@A~T_WnzWFJ~uAA~t__oBWFK@U@b?D`GnhWSJzUCq}l^CoXWMJxt{b@l]woRVoKDtzr@T_?nVVlK@U?Q|d^gnPV{JtT}q|L]SnzVfJ~txa~t^_nHVaJ{twq}|`km~W\JouFA{D\emvVYjmTvizl`smlVWKLttrBd`GmfWSJiuCqyd\?opWYJhUEQyL[sonVNKJTrbAl`SmTVKKJuDax\[[opWYJcuEQxDZUlnUuj\TmIvLZmlzU{j_Tnyvt[Ol^VEJWtpQuD[CldVBJYToau\QmhZSkiZTLYedRahrSvi]tNyftb?rvX|KXU^BELcSrdXFKyUPbM\cGrvX{K`u^RGdfGp~XrK_u\BGDborjW|KzuNbMtf_prWyK|UMrNLfWplXvK[U\RE|bKrtWtK{uLBNDaQpLWdkSuIJC|aipXWjkVuJjDldsr^XpKnuVbMDeoqtX[KvUUrLlekqrXhKkUYbI|dOrFXUKquTRKdeWqbXfKhuSbLDe?q^XOKpUWRHtckp@W]KeuFrHdc_pBXIKPuQRCTfwt\X~LVu_BUDi_tJYiLRuiRStiktDYlLQUjBS\hStrYSL[UcrU|jSs`YQLZUlBQLh{sZY`LFugBPtggsrYKLLuarRTg[sxY\LCUfbPLhWsHYWLBUdrOlgCtbYrL@u_bUTlk@R?j_TOIWD[AifdRshxs|Y]|NYmBVBj`TpIwt[UvSZcluExj\XmUvAZflpeyZ[PmavGZ]loExjZxmUvAZZlpevZ[PlqusZ\lkEuzZHlqv?ZYlkEvjZxleu?Zfl`EyZWHmavSY|l^EyzVxmqtsZQliEnJVXlMuiZNljesZYplAu[ZGleEpzXhkYuQZBldepZXPkQws?^_MoFgBk@}?|U_jPTgYs\YUlHTBiatPIgtSaiNXjktUYZKtearNXckpuXZKDeIrBXHkcUQjH\cuqX[|MTVMrdLroxV[wMRVMbdDrcxN[bMVvHReLqOx`[mMQvJBc\qsxH[tMOVLrcTqCxl[qMOVGbe\qCxh[\MSvFrd\pwxT[YMRVFBdDpkxN[WMLVERb\p[wx[XMMvDrb|p_w|ZlMGuzra\mwwd[wMFVMbaDrcw^[JM\vBRfdooxz[GMYvLr`Tocxl[nMAvKR_|r?wL[kM@VJb_dqswF[rL~v?BedoCxdZ|l~U~J^LnmvtZwMIVDb]|nWwj[PLxu|Ra\pGvh[ULwu{badn?wj]KK@u@Z?d_YoPWFlNugZSDhqszY]lLUezRLhYspYVnFfdZqHx]{_]UnFfcjqHxQ{_]RnLfbjrhwu{w]KnLFbjp`xe{Y]WnLfYJrhui{w\hmqfdZkxx]zK]UnLFXJr@uIzE]XnHFVzq`uE{e\_mkvUzjTtYyn\WnCfSzpXtU{S\SnBFSJiHwa{M\Qmef_zhpwU{G\NmdF_zo`sq{I\JmcF_JhHwIyM]@maF_JgpwIyI]@nCfOZgXwmyC]InBfNjp@sA{K[~myf\zm`vazq\um|F[Zn`vMzu\qmwF^jlpv}z]\|mmFYzjhuuy{\knrFtzzD|e}h^Univhr{\yc~J]gNqVwrsdyW~H]dNqvwBsL}G|F^`NPVfb{Dy?~D]^Novibx\yo}Z]jNeVvRxD|{}T^]NcvobzT|o}H^BNlvnBvLzk||]|N\Vnrut{C|n^?N[VkrxtzS}`]sNfvkByL|G|d]pNhvjRwl{[|^^ENVVCZa\pIwh[UmIw@[?e?Z?B_Bo@WCr~u@T?@_SN~wCB~\~t?b^{OHWCr|M@O~V_TNtWCB{t}`?b^fOHV|S@l~\?^^uOFV{c?}?c~h_GNxv}B||~g~b^xNwWAb|e?o~Z_JNvV_JoTwE{F]CnAvaJotw]{R]JnDWECFU@X@x_VO\wKSFeBh@f_zOXWLCDuBX@`_tOVwIsFmB|@Z_kO^WLsDEAh@r_hO[WH[C}AZ@D_coPwLCB}BX@B_tOOWLsBe@x@p_xOMwESFmB|?v_YO^VwJ{T}E~F^cnqwO[GUCBAv`\omWRCJuE@A\`LOnwVcHME@AV`IOnwWSGuELAP`aObwWSG]ELAJ`aOaWUCIUDdAh`YOhwTSH}D\Ab`UOgWXCM]EXBj`dOyW]SMEFlBd`yOww\cLUEpBp`jOzwZSK}E|BR`mOsW_cOmGPCNaBPBW^CN}GDB|`|P?UuJZTlezj\smzV[Zm\vI~R^jntVxj|D}^Ad`SohwR{IMDBCsa_pPGfKRYIFCma\pKgf{RAHzCuaUpMGd[RQHRCmaPpKgc{RAHJC[aSpGGdkPyHVC_aPpFGc{PyHJCyaGpNgakRqGfD?aJpPGb[PaIFEA?R_HOCZbLpawn]xn\vmju|za|l_UoKWD{BM@n?t`corWX[K}EfBPbOPjWscZELDEnbRPewrsYmKxEhbIPewrsXeKxEVbOPbwscXMLDEPbCPeWpcX]KTETbEPcWpSW}KPERabP\whSVmIPDxawPhwmcYmJdEhatPjWlsZEJXEnaqP`WosUeJLEBaoP`WosUMI|EBa}PUWjcWEItD~a|PSwmsT]JpDTaeP^WiCWEI\D~cH?FoBgAEM`GRbiQDwyS`UM\GTbdQDwxc`MOXFDbcQCX@s[]L|GFcDPowwC_eLpGFcDPnWvS_eLdGLbZQCWuc_}NtFnb~P{W~c^MNhFhb{PzW}s]mNDG@brQ@W{c_MMlF\boPuwzs\c@E?f?Q_HOCwAMRLHaciqUHKKeQQnHYcoqWhJ{eQQzHAclqPhJ{cQQzH?cjqNHJKbyQjGuccqRHF[baQVHMcWqShEkdAPfGccMqIHB[aYOrGicNqGhDkaAP]?\?O_FoBgAC?~Igazp]wnKVuKBD~dRQdxRSiMTHIXdOQgxSshuTHI^c~QjxOSjMS@IpdGQfXQch}SdI`dJQaxPshmSpILdSQ`XTcgeTTIFc}QjXNSimRpIhdVQ[xUSf]T`HtcrqYXL[euRbHncCqAx?{_uObGNd_Q|xWcnmUDJxdiQ{xYSnUUlJpdzQrXYCnmVpJNdxQqxWsnUV`JHdYqmXU{jmT~I|dtQvx\smMVXJ`dkQxX\CluVLJZd}RGX_CqUV|KbeLRBxaSpuW|KPeIRAXbCouWlKJe@RHxdSo]XPKDeURMXeCruX\Kze^RKxgSr]Y@KtcqqWXK[mmV^JldqqyX[{uAYfLSemrVhiKtiYbLSekrThi[tYYJLYecrUHg{tqYVL_efrVhhkwATFIfdQrExb{puWjKXeJr_Hp{wQ[bMAfEr_Ho{wQ[VMAfCrWhn{uYZzLce|rahm{waZrMEeyrZhpkvI[bLofFrZHn{uiZvL{esrnHrCze[xMvfLRmxqsz]\pMRf\RdXuCym\\MtfURkxrsyU\DMhfORhxySz}]\N@fgRnXwS{e]HNJfbRrXn{vuZvNafiruH{k}A]nNYforvh{k|q^FMvf\rmX}O?Q^M?EfzRyO?S~Q^U?AfxRzX}??Q^nNmfy?@~