CAT(2800,1)
Sparse6:
:~?jo_?O?G?C?_?N?F_BoB_?c?Y?J?C_BO@W?c?Y?J?i?O_FgC?AM@C?^_Q_IGC_Ae@K?f_Z?DoBS@c?v?W?MOF?Ac@S?t?U?LoKWECBI@`?q_WoOWF{CA@z?}_]OKwEkBQ@f?s_YoE_AK@o?f?Z?HOAo@{?o?`?L?FOB_AS@??b?N?HoQGHSCeAV@L_eOAoAc@W?Z?T?EOAoA{?s?p?K?KoDwBK@a?R?I_COZ?@C?i?R@o?voZwL{EyBX@l_}?YGK{EYBX@m_uoYWLSEmCm@w_zo\gNSFmBr@r_yo\GMkFQBf@v_{O\gN[FeBt@}_}O^WOSGQCF@~@@O`?OKGKC@@o?}O[_NsFCBz@q?~o[?OKFCC@@S_ioTgHsDAA^@Q_goSwWwD]Ar@W_lOVGJ[MGAz@^_nOWGKSEEBF@d_qO|o][NIFbBp`xo{g]sNUFhBu`yO|W[SMQFFBa`qOww[kM]FLBd`roxg\CMiFRBi`sOyW\cMmFZBj`uOzW]CMyF^Bm`wOzw[KL}F@Ay@\onOVCJoDrA}@[Om_WCJ{DrAz@_onOW[JoEDA}@`Oo?W[J{EBBE@cOpOXKK[EHBI@aOp_XcKSEVBF@fOq?XkKcE^BO@dOs_XcLCEVBR@fotOXsLOEZBO@josOZCLGElBR@kouoYkLOEtB]@kOvOYsLoEnAd`PohGS{IaDLAX@xO{oQ{NCCpAZ@zOe_]cHoFjAo@oOkO[KI{E~BZ@HOcoZKHCEtB]@IOv?QsLsCjAt@OOgOU{JWDDA^@TofOTSHwDRAs@UOk_TsJKDZAE@CO`oPKGSCTAM@EOc?PkG{CV@e_sOXwHCCiAR@L_eOQwnoCMAH@A_bOPwGkYGBR@j_tPioL[EeBTBA``ooWWcKYEJBL`forgYSLEE`BY`louWZcLyEzBj`uozG\sNAF^B^`oowGQ{HeCpAY`MOewRsH}CzA``POgGS[IUDHAe`SOhwTSIeDVAk`VOjWO{GYCJAD`BO`wPCGiCRAG`DOaWPkGqCVAJ`EobGPsHAC^AM`FocGQSHMCbAS`JOdX@?_?NDFbC?p~o{K]gOFGCBuPyp?S_WNjGFBxq@O}c^?OFGCBwp{`?S^oNpF|BzP~_}{\_NHFYBrPuO{k]wMjFnBjpt_|k^kMfFxBiP}_yS\GM|FSBoPsoz{][MXFLBspr_|C[gNpFuBdpqO}{ZqLvEyb\pnGvSZyL~E|b^pnWvsZQLjEub[pmGu{_SL\EnCBq@_uC_CLVEkB~pjP?C^gLTFzBSp}OtC^wLNEdB}p~?ssYoMzElBlpv?t[YOMbEaBgPgox{X{LlEtBOPgOucZcK|EvBMPm?rkXWLbEWBXpdouSXcLbEZBXpe_uSVkJ|E?A}p^?n{WGJzEBA|p_OncWOJ|EEA~p_?okWCKNEBBCp__pCWkKHEKBBP`OpSWsKPENBBpb_pKWoKdEOBDPaoqKWwKjELBHpboqcVSKdDvBGP\_qKV_KjDyBIP]Oq[XWJ^EWAwPdomKXcJhEZAxpe_mSXwJhE[AxPfOm[U{K~E`Awp[?sCVcLJDyBRp]?ssVSLPDvBTP\_tKUwJJDkAqPZOk[U?MLDaBcPWOw{T{MxF\AmpuojsRKNHCtBrPL?{kR?MXFMAXPrOeK]_HrFhA\pxofS\_HlFYA[PuOe{R{MjD@BjpO?ysYGHxC}BQPgofkSGM|DBBoPP?z{[cILDFBdpPOxSTgNZFmAlpzojc[{InFPAkps?jCTOJXDUAvPTOlk[KI\FDAgPp?h{TCM@FAAhpS_wKSkMLDLBcPR?w{ScM@FAAcPQ_wKPgOFGCAKpE@?SPwOJC_CBpFp?sPGMFCSBapCowcZ?GXEmAFPjo`kQGN~CbC?pGP?COGNBFbA?P?O{SNwNXB~BtO~O|[^KFtB{ByP|O^[^CFpFq@{p{?]{Q_GLCGASp@oc{OkHLCHAQPA_ckQgGFCkAApIo_cQwGbCnAFpJOaCP[JLCUAsPDOk{UgGxDjALpFOlKBQ@j?rdy_LgFCB]BF@d_qOMWFSBm@x?}_]oNwGKCAW_Dza}p^GosWUKHEFbCPaWqKXIK`ETbHpdGskYYLNEhbTPiGMsFaBn@x_|o]ghCSeITDJaepRG_cOUGFCEaCP@w`SOmGRCKaFPBW`{PEG`CRaHPDGakP]GlCWaLPEWb[PuGxC]aOPFwcKQMHDBv`{o}G^SNmFxB~`}o~g_SOEG@LKEjrR`istSYZLQEcrT@h[tKYTLYEcRUPgss[YpLCEmRPPjksKYvKxEYRL`e{r_XjKyEXrKPfcrkXdKaePrHHcCqEW~K[eNRFXbspuWxKXeLrEhbSpeWvKUeKRDxa[pUWhKVEFrBPbCowWlKREDRB@akpOWVKDEGR@`aSoOWbKOEBrC``KpCWPKCD~R@P_CoWV~K@EBr?p`KoGWPK@EER?p`SoGWVKND~RBP_CowV~KdDsqypc{qWVTJfESqx`dSq_VPJbD|qxP^kmOVxJ_D{QwP^SmGVrJ|Dnq}pZsnoUzJZDyq|pZcnWUtJVETrJPZKl_XXJUE_Qt@gSlSYBJPETqspdcqsUdKmDfRK@YCq{U^JJESQr@dKksXTL?DcQq`gSsCURJwDaQ}PW[kGVtJ@ERqo@ckj{XLLPDGRRpQKt?S^LZDBQa@jktoSNIBEYQ`PesgOXjI?d@Q_XNsf}RzHvc{q]HNSfqRvLTCkrTpJ[tWQtH[EcqV`h[dsYTH^EhrS`KKe?YhHaEeRR`KceKYZLGCrQXpg{sWRJHgE\QY`fcecXvLBCtrPPLksORXKxCvrM@MCewXnLXCxq[`jCtgRbHsEWq\`e[fSXdHIDxQR@]cckVfHFEVRJpHKc_X`K|CaQP`f{rwQJLNC_rSPG[t?QDG|DyqMp]{nWPxGsEOQK`cKbKW~KaCVRH@DcqKPZGeDvqI@]Ka[V`GdDvQzPC[moPHJqCPQGP]ca?VfG[DvqE`]C`kVbJmCJqzPBKmoOpK|CFQC@f{_{X|IiDXqlPTcjOTVI`D[qg`V[iKTtIWD]Qe`VshcTzITCCQdp@ShWORIuDHQd@VChKTnIKDQQb`SsgsTJIHDUqapT{ggT\HRCgQSPIkdGQhHUCeqU@H{d[Q\G}DLqO@Rkb{SxGpC[QK@FSbcP^GtCTqIPEsagPnG\DWQFpUS`wTbI]CEqg@@ch{OVGPDRqiPAS`KTPGSDaqD`W{`SUL?p_XOKIJgxu[~M]fLrfHrSxQ[lMTfKrdxrDDgZ\LnGmSUpllDgZVP[EuSUplTD[ZRPXEsSU@k{uOanLeGkRXQJKuCahPUEprWaIlDWZ@L^GiRVaIlCC`fOtG^sOAEdCk``PKGXSRQELAga`OkGfsIqHtA{`ROmGRsJQDDAG`HObGRSGQClBo_|O_G^SFqFlCG_xPCGLsOqBl@S`rOVG\sDaFT@__^OYGGsEQAD?o_dOSGFSBQA\?kafOIGgsAQIT?GaRO?GdS?QHDCS^zN~GbR~aG{|{\BN`FPRw@sC|_]rNVFlrt`zS|K]xN\Firv`ydB_]XOvFdsL`xS{[^JNHFrRq@{{}w]HNoFbRzpwk}c]BNiF`Ry@w[zw]ZN?Ffrnpxt?[\vM|GCRnA?sz_^bNrF\RmP}SzS^DMvFprl`{czG^VMsFurkp|d?K\^OCFWRkQ?kyo^tMmF}RjP~[~O\RNuFTr|PtSyW]`NQFSRhpyK~[\FNxFQr}@scx?[ZMKFFRapp{xC[RMGFHrc`pSwSZ~MFF?r``oCwGZrLzF@r]`ocvKZlLtE{R\@m{v?ZxLqE~R[PnkA}@\?lhscii[xIafOQhhQcxy\@I]dKRhhbCqiX@KmeMRHh]CtIVXLIdsRRhYCrIUpKydiRLhWcoIUXKIdcR@hWCnYTpJ}d]Q}hPcpYS`KMeGQag}CgYNhH}buQ_h[cfiRhJ]cwQwhfceYY@HmcsRPhHciyQhIucgQkhCCdyR@GecMQUhACaiOpGqcIQJhEc_YOXG}cCQMhGC^iQPGAcaP~g{CuIZPFibqRXhic\YMxL]ekPuhlc[iZhFQewPrgwCxI[pFEfIPnguCwYLhMMb[RahoCYyZpEie}PhgocWyKPEUbGP_gsCViKpDubMP^_TOJGD\RGh`SsIWtKqd|RGhXSsIUtKqdtMuf^RmhtSzI\\NChPRqIRS{Ac|POgnSUIKtDQbDO_g\SIIGTAQ`|OkgJSEIET@q`lPCgDSRIATCa_\Psf~S^I?tFa_DNwhDR|IOs~AcDPofrRzILtEa^TQcflSjH{TIa]|NOhFRtIQs{qccDiAx@Z_joUGJLU_KlEWbJpeWrSXm]|N[fmruhz[|ejUTriud[il`VEj]TgitD[IlHUyjITqird[ykpVEj[TdivdXym@UYjYTbitdWil`UQi}TgitDWYlHUAjCTLiqDRykXSyjATEioDPYjxSQi@S}i^tMyflRqhpSyi[tLyelRYikTXikDUiixTmieTOiidSii`TEiST[inDRIhXTuiATFicdOyh@SIAD@C_`oPWG{CYlY?d_ROHGC{Ae@PJpdvq{H]SnQVfKCeBR@X`Co]WRBT`iOswYsLaEnAP`HocgQsHUChGyc[qMHEsb]PjPegsSXyK\EUbHV\JftsIxt[qmVVLj]DtIvp\YlyVTj[dsYvX\MlsVQjZDpYv@[YlmVFj_dmIup[AlmU~jcDlYu`[ileVHj`Dkyw`ZUmEUsjVtjitlZAlbUqjiDiitX\YlWVTjgdiit`\MlUVQjRdnYvpYelwUgj[dhIvXYYlsUdjWD]ynPZIlaT{jOdqIsP[elEVIjadfis@[]mKU^jQDeyspXulIU[jLDiYr@YakqUfjItdyqtXIkhURj`DaYpX[QkSVBjBDnywHWakMV?jADqyxhWMmWUDj?DrioP\AkAVNi~djythVul[T}i{DcImxW}jqUPizDbim`WqjiUL_NOFwCCAE@F?agjsUYJDDiaxPZbEPagp[WyK^ELayp\gm{VeJtDwbMPfgrkX}LBE_fjRuHy{|M]jNSfAr`xoswI[HMBeyR[xmkvAZdLpjGtbyqDWqk\ULkoUVjJ|duqxXZklUUZJDdUqnXUk\EQJGpbqpuXFk\EOJF`cIpuX@kZeOzGhbepoXCk]eLzFpbep}WwkWuKzETbQplWtjjeXJKp\emoXdjleWyzPeEmwXakVeRJE@cyqYWmkdeJZHPaqqQWjkSERzI@aiqaWhkhEHzChdQpKXRkPERzC`dEq_WbkNeRJCHcup?XMkMEQZBpcmoyXIk_EDZA`cIoeX@k]eCjAHb}o_W}kEePJGh_}o[XBkbEAjH@_qqMWJkhE@zIX_eqgWGkBETZ?hd]oGXUk@eUZ?HdiqoWAkZE?JEh^}pgV}kWd}zEX^upcV{kod|zKP^YniXbj{EXJKp^inqXdjveVZJX^EqwVoknDyZK@]iq}VjkLdyJBP]]oqVejqeDy{X`anGWUjxDwY}`]AnCVrjndzI|p\unYV]lnbAh`comWZKNeFQJxEKbAPfGscXQIXD[aiPXGmcUsWIKTEEazP^gnTtyzL\amtV[jluEzBL`iolWWkJtwI{T]EmzV^jnV?r^ToSvx[CL|u|r_tncwPZwMBv?BZdoCuz[ALnUuR^llkv|ZYL~utb^\l_vxZVL|U}RY\lOvnZTL{UtBZLlSuvZYLhutrZtl_uxZULmuzrYTn?u`ZmLgurr\DmguZZMLsuqb[TkovHZJLpuvrW|kcvBZ_LcUzRWtmouHZjLauob[|kKvJZ@LrUnjWDj}tvY|l]UmB]dnWttZtL[ulR]Lj[vfYuLxUkb]djOvlYrLyujr]LjCvfYoLxUjJTtiutQZgltEizTPmev_YflSEzj\xiYu}YbloehZ[@iQt?ZalPExJSHmMsyZflNexjRpmUvYYYltefJ\`hmsfYPlHV?rPtoSs`[CLFuar_tgswPYKMBv?bODo?sB[@K~u_r^lgOv~YAL~UdBOlg[slYTLBUaBQ|ggsrYHLKU[RNtfor`XqK}u]BL|fWrZXvKvU[rL\fSrXXsKtUYRNLe_rvXfK|UtJYllMulZWljr^HnkvyZ~M@f?R]Hm{vYZvLxe|U[JMTfErZXnkvUYjLdemrPXhkrv_Jn|vyzv\{m}vGrq|qG{p[`NJV`BnDvc{L\yNAvabmlwozn]JMzV`rmdvK{R\qNCVZroLvC{D\oN@vXjlDu]zH\dmpvSRpTtG{V\RNEV`BhtwWy`]DMfvRBo\ss{B\JN@V`rhDwcyT]GMcvNJftruxr[ym\v_Betr_z|[vM~v]re\voxj\|MYVIbplqo{^[jNFVcBc|xGxR]PMSVHBq\qS{h[eNIvcBbtxGx@]PMNvErplw{wz[[NFVEBqtpg{p[XNJvcralp[{j[UNIVUrjttoy~\YMmvYRi|t_zV\XMtVTBlduwyl\TMuvPRkDsWzD\FMovObaTsOwh\BMHvCRgLo{y@[OM^vBBdlosx\[MMVvAreTrCwR[oMDVfr{dyC~L]_NqvyByd|G~R^fNhvqR|T{k~X^INtvqB{L{W~F^FNpVrrwl|C}H^BNgVoBxd{C}Z^ANfVnR}tz{~p]}Nzv{rvTzo~j]zNyVzRu|}{|r^mN[VlB}D~G|l]tNwvirz\|s|Z^[NUVvbtD}?|T^^NSvhbyty[}n]dNivuBsT|g|H^XNPvfBttz?{|]\NVvkrrLxk|d]YNWwDcB]@P?x_TOLWECAM@d?d_ROJwGC@uAH?`_`OFwAsBm@|?Z_]OEWACC]?h@J_HOQW@SCu?X@P_fOBv~r~M?C~v_?N|V~S?d~x?D_BN}WIsFUAh@p_hO[wKcFuC@@f_sO^wJsF]B@@z_pO]WLSDeB\@\_uOUwQcG}CpAR`JOcWOSGeCLAL`AOaoIGDKA]@J?e_QTXYk|UYh~T?i^TMyflRqmnVXjkTvIz\\iyx\ZmlVPZg|sZBg`eOswXSLEE\BT`jOpWZSK]EpBH`gOnwWSLUE@BR`kOmWZSJuElAz``OkwUcJ}E@Av`XOnWUsJeDhAz`ToiWS{ImDRAf`VokWTkI}DbAl`aOewXCH}ELA\`dOgWXsIUEXAbaZ?NOGGB{AE@F?alkuuzZTluu|Z[jUTiit\XYknUTjHTdIq\{M}J^Cn_VojwLxq{|]\nLVezrMJjDrazpZwlkVEI|DfamPYwjSUeJ@DTaqPUWkST]ItDPanPSwjcS}I`DTahPUWhsT]IPD`aePXWhSUMJLDBabPYwgcUeHnCza[pMWf[R]H~D@a]pNWf{SEH`B\aYOvweSMEHhBfaWOwweSMUIPCjaVPRWhSQuHHDBaaPIWgsQ]F\DlawO{W]SU}JdBh`uP\wmcMmGLCbaNPAw`CQEG@CVaAPDW_SPMGXB~aGO~W`sNmGpBtaMO|wbSNeOtCpaXpLT|Y}|^YnpVyj{vMJetr]xf[tmYWZ{LuFBBd`poxw`kPEG^CRaJpDWbKPuGvC^aPpGXICcmQ\HTceQSxIscUQpHFclQQXFsdUQ`HBchQOXFCcUPxHHc\QPxBk`mO~GZcNqFXFc`UPtGXc[QDxACcMO\H@cHQNw~c_eOXF~cDQ?X@c_UOLGHcDQ?xAS_MO`GFcFQ@W~s`UNxGXc?QDw}sauNpGnb|QKW}cb]NdGtbwQKxCc]}PDFjcOPzW{caePLFfbsQIwzsaENDGdboQGxCs\ePTF\cSPuwySbMPlFVbiQLWxcauM`GnbfQKXIs[]MTHZbcQUWwScmQ\FDcePoWrcVeL@D|bNP]wvSX]LxEZb^PeWuSXEKhEnbHPkWpSYeK\ElbEPiwosZUKPExbZP`WsSWELLEBbQP^x`S_eOVGLcFqCxAK`UOrGVX~l?u_JOTgQsF]qnXvkZttzA|^a{p^Wn[YmLRElbVpkwuKZULrEvb^pmwvkV}KFE@e_RPxgcsmYDLHeeRMxfstEY\K|eJrExbKpEWfKTeDrBx`ko}WZKJeAQWX`CduWLH^e@RHX^sq]W@KbeWQ}X^cq}XdJzeUQ|xdCnMXTJtduRGx]Cq]V\KddsRGX\Sp}VLK\eMQwXbsmUX@JbeSQrxYSquU`KjeVQqXeSkuX`JJdTRSxisi}YhIldQRLXTCreTLKvebQfxhSiMYPI`dKRMxfshuStK|dFRSXQCsuY\ILe_Qcxgch]YDITeYQ`xfCgmXlIHd?RSxisgUYhIBc|REXNcpmWlH~czRCXNCpUWdHtcpRAXKso]RHKDd\QvXZsj]UtIxdiQkXYsjUUpIrd`QZxWsfMUHHpd^QYxVceeU@HlgHSCHk\?qY~OMeorUI@{tq_bLYgEryHnkwA^ZNie~r{H{{~I^FNmfqrmH~[zq^~Myf}rkh}k~Y\nMsf{s@HuKyy_FMkg?s@hs|?i\VOGfSrqHsK{Y\JNCfPrehyKxy]jM[fhreHx[{y[jMUferuhq[xA]nNWfFrvHpK}A[ZN]fDr_hv{{I[NMCf_rYhm{uyZvLke{r[hkkvAZRLsersRiJ\DyafP[ggsQIIlCqarPIgjsNIG\CYaBO}gasWIE|EQ`vPag[sGiD\AA`^O]gUsKIClBQ`ROqgRsZIBL@qbbOYgvsYiAlEY_nPggHs[iQ|FYcvPshKscIOlGacjQQhBsaiN|GycFQKh?sgINlHybrPyhMslIT|JadfQuhWshIT\IIdRQehUr@X_{oeEzB``noxw[kMMelRFhdSsyYdKeeXRFhdSsYXtKedtRRh^StyVdLUeXR@hgSpYXtKM_bOLgFp~X?K^}ONGBcArYxl{uuZRLfeqtAY`lOmgNSDi@s~I]LOAfjR}hxs|i]LNifjRwhxt?iZLOYezSChls|i\\Nif^RwhusxI^lMYgBRgh~tAIZ|OqfFR_iDq]XM{fURvH~c}tMIgLRiiFS{i^tNie\SIhnT?iYtJIglRAiRSmibtHiglQiiRSgibtBicLQQgfSaiGtDib\PQg~SWiM_MoFWBmZbLtexr]xnKv]g^SRiGtEYa|PUj\UHjBT[ymDWmk@TrjAT[YoTU}kLTJjDTRYhtWejPTtiuT]YlTV]jtTbirT^ykdVukDT^j?TVYodUEilTtilT]YjDV]jtTPi~TTYndTMkpUpjMTlYrTZMlTUvjVTmytdZekdU^jJTgyqdYEkXUdjGTiYstW}lw?Cjftsiw??]l{?Ajg_?iwT[c?HVEje_@iwd[n