CAT(2600,1)
Sparse6:
:~?gg_?O?G?CAk@H?b_POROFCBe@t@U?YoLgE{BU@n?u_jOUGI{DmAr@Y_h_TgJ?DUAm@S_k_SwJWDQAs@T_]oNGF[CA@~?}__oOwGSD?AN@Q?coSOHCDGAT@K?gOSOH[CsAH@M?aoRoGsBQ@h?s_WoKgE[Ay@^?o_UoJGD[A]@J?e_UOJWD[G{@\?o_VodOEKBM@dA]?SOIgDKBq@z?z__ONgF{CEAD@B_bOPWGcCUAL@C_coQGG{CqAT@J_eoRwHsJIDbAo`XolWUcI{DlAl@[OloTsI[DXAh@TOi?T[IODLAc@QohOSsHyD@A^`N_lWU_IADeA]`M?igRWImCyAk`L_jWTwHuCwAm`@_^gOgFuCG@~`B_^wNgGaCK@}`D?_WO?GmCQAA`E?_gPoGACAAL`A?`wOgGaCEAE`C_bGPoGmCSAL`J_eGROHUCqAU_}?dWNOH]BuAU_|?eGROFqCq@z_soYGLSEsDl@j@[OloLcEwDdAo?wOZoUKI[Bn@x@So]?TCFCCd@q@IOcoM[HGBjAS?yOcoMsESDB@f@PoX_SSEGC^@c@GoWoQCD{DD@`@PogOKCG{AxAP?nOc?JkAI@H?b_POHGC[Po@p?y_[oMWFSBaBR@i_sOZWLcEmB\@o_vpJ_cWPiGqCcaP@EwaoPqG{CWaM`Dwc?P]GkC`aN`EGa_OyGiCNaH`BWa_PEGcCTaH`CGYoO}EiCM`i@BWa?LiGcB[`l`CW`SOqGVCFaCpAG_GQIGECca@@GwcGNaH?BxaN_}g]OPqG{BraM_|GbGNAF]CZ`w`EgYKLMEdBM`fosGWoQ]EMCd`a`HgdOKMHQBCaS?ogVwQUEACe`_@HwVOQiDuChaS?mW[?MMFCBd`o_xGZoOQEyCE`n`@W]gNmFyBv`}?|g\?L]FMBW`r?uW\GMqFUBl`t?zg^oKuG?BJ`~_rGV_KaDyBI`^?qWDsBA@^?p_XoKgCkA]@L?e_RoHWDCAi@REP?SOIgDKDMAj@S_]oNGF[ByA@?~__oOwGSM}F`Bp`cOqgXKYcLLEgbRpiGs{YYLKE_bO`hwsOYaKoE_bP@eWsGX]LEEPbQ`cws_XIKUEGbE`agp_WeKEEMbA@cGoOW}K]EFbF@`gogXAKUEPbE`cwp_XIH{D~a^`_Wo?RuJrDza|P\_pCV_KTDvBCp[on{VSKBE?AyP`_mSV?KNEDAwpZOrkU{K~DmBNPO_ncS?J|D@A}pY_qcXWJXDjBIp__k{WOJREBAsPXGksUUKuD\bM@VGrOTmIdDSahpe_h{XoIbEZAgPR?rkSwK~DLBNPQOqcXWITDJBIpdogsXcIPEWAbpOoncSSJ|DCA}pLwfKRaHtC{a\pKweKRIHjCuaYPKGd{QyLECjaU@hWs_QuIoD]ao@UgjwTeIiDbao`TwioUIOcAK`FObWQSHQCfAW`KoegdcQmHZG\cLqFH@{`EO`Fsbyp|g}K^MNdGQBmQD?zs`KMzFXCHpupAS\gOhFRCIptPA{\OOlFOCKQE_yS\COrFLCKQE_x{[wOrGTBdQDoxc`WMVF@b`pogv[ZuLxE~b_PngvCZiLrG[BYplpBk`kLlEkCFpj`AKYsO`FCBzp}Ows[SNpFmC@q@O}C_ON^G?Btq?_|k_CNXFgB~P~o|S^sNRFaCFPx@@c]KOZGHBnqAo{K_gN@FyBjPu?~c^kMnGEBbqA?xK_[MPFeBWpjo{{]SL`EqBSpl?t[ZKLTHbcqqXHJsduQ~H_CQQHPKSaWRBH[CkqU@JSd[QvHJCrQY@Hke[QXG{CcQN`HSbsQRGxCaqMpG{cWPtGuCfQM@ICb[Q^GrC`QLPGcbOQFGoCiQK`IsbCQjHPCUqSpD{dGP\H@CUQNpD[agQ@GfCtQIPL[ecPPG_COqFpC[`wPDAZ`MofGjCTeItDTajpTgd[QuHXG`cPqGhCC`}O|IaDQqh@S{iKTLI^DQqgPSsi?TNIUDMQf`RCh[SzIWDKqdpR[hWStHqcyQ[xQChISbIaC{Qh@NSiKRrI]CzQ\pRcfSSzIXCwQepMKhgR^I^CuQg@LsiCRZIIDEqb@P{gkS\I@DAQ_pOsgGSJH}DBqaPOCg_R~IRC|q^PQkhORxJWCFqCXACPQGjCRaJPEGa{PmGrCYc@q@X?c_AODG@b~P~w~k^mNxFybzp}W~C]YNNFdbSpiwtSYuL\Ekdza}X^?nmVkJydpa{x[GnQVCJtdoaxH[WmUVCJednAyh[?mqVUJ^dravh[?maVQJ^dwAux]OluVaJ[duavX\wlmV[J[dkA}x^GliUqJydYAzxUomuTiJmdkArxZOlEUqJOdeAxxXomeUYJgdwAqXXWnIUSJpdqAph[gk]VKJGd`qpHWkkEUDJ?d^AyhVwmqVUI|d\A{xV_nUTuJsd{AmX]wj]VkIwdiakxYwjIUkIpdiajhYwjAUkIndTashTglQTWJRdhAiHTOlMTQJSed@awpkWqK\EObFqPXG{cYQDHCc`qOXGCb}PxG}c]rRpi{ssYpLMEjRSphks{YhLMEirUPhStkYXLYEdrS@hStGYXLPEdrDhakpQX^KpeWRT`cCqGYpLVEOrSpbktSW~LSENRS@bStGWxLPELrDpjKpcYvKWElRPpaKscWfLGEHRP@`ssSW`KNEbRP``[osYJKKEaRA@gKsKWRKIE`R@PgKo[YDLBEBR@@f{oGY@KBE^RN`^{s?W@K@E^rPp^kscV|LGD}RMpdcqwXzKlE]RIPekqkXnKiEZRH`e[q_XhKfEXRM@c[rgXJKxEQRh@r[xu[xMXfLReHkgyEZMMberBghsGuIZGMbfPBWxrouA\?L`fNbVxj_xyY{M_embfxqOwq[gMMfHbbXooxU[OMVfBbdhngueZ}LiesB^hnOv]ZwLxe|b]Hm_wM[ILueyb`HmGwAZeMAexB_Xm?wm[SLmevbaXlWw}[aLlfGBZHYSlMUhJTdjqthuo{y\oNOfZbrxx[{u]XM{f]rnhvG|E]eMzfhBmht?|E]cMhfRbsxxoyQ\KNNfgBhXx?zM]SMtfcblHu?{Y\cNDfWbpxvwyu]AMnf_BjhtO{I\WNCfTboxfsr}Y@L@e`rOhgcsYYJLFecrQHy_~I^eNUfyBtX}g}}^mNpfzB{H|_~m^[N|fub~H|G~a^UNyftB}X{o~I^ONsfxbxx{[}U^HN_fpRwXzg~U]{Nvfnb|h~?|i^sN[f{buxyw~m]qN|fkB~HrsyA[~M`fPrgiBL@m_tOUgJsEI@P@q_WO]gDcFYB`?]_QO]gMcAIBx?Q`AOEgOC@YBx?E`AOBgOC?iA@@M_iOQgICCX~p?u^}ONg?CBiEHBQ`kOrgYcKiCPAy`GOogPcJyExAa`SOxg[CIYDXAU`YOegUCHyG@CMaCPDg_cPIFPBu`wO~g\cNgICDIAb@F_coQGH[CqATAx`\omgVcJuD|F`bnpwGw{[eMPHncwQ[XLceyRZKgeRRHxc[qUXHMgfSrhxscyY\JOOgHSCY@l?}_\PoGzS]AMTF[bbPlGxsZqMlEwbhPoGtSZAMTFCbVPmGsSZqK|EsbRPcGtSZAKlEWbVPbGsSWQLLEGbNPcGnSXQJ|EWb@PbGmsWaJdECavPWGnSUaKDDca~P\GisTqJdDWavPYGiSUAI\DcadPNGisTqILDWa`PLGiSRaITCoafPLGgSRaILCoa^PEGzS\qG|F_aPPrGcsQqMlFOaTQk?JOEGA{@e?v?Yh[?FGBs@ud{?`_NoGGEsB]@j@[_nOVWJ{EEB@DEacPPwg[SQIJGccRQHXC{aePPIsdYqlhVKjaTnLiesrYHl[uuZXNZflRvHy{|e]pOagQSGyClA]`LRdHsSxq\TMWfRRjHpszQ[dMofDRdHnsxq[LMWf@R[HpSva[dLsfFR^Hksua[LLkf@R\HkSvaY|LoelRYHisuqY\LOerROHjSsaZDLCenROHesrqYTLCe\RRHdStQXdLOeVRFHdSqQXdK_eVRCHespaXtK{eJRFH_sqQW\K_eDRCH`spQWLKWeDR?h^SnyWDJ}d|PxH\s]aVlJobvQeHsSiA\TI[fRQbHtshQ\lIOfXQ_H[SmaSTJcdBQ\H[SmaR|Jcc|QYHZsfAUlHkdlQqHJseQUdH_dfQSHZslQQtHSdlQqHHScqUdHCdfQMHVskAQDG{dbQJHUSbQTtGodZQnHCSkQPTJ?cRQDHUSjaO|GWdZQAHTs`ATLGKdTQzG~snAOLJsc@P{HSs^aT\FsdTTS?DOBG@[?y?Z?Nio?CgAK@AjK?R_IoDIktUajNTgirTXykXMyf_TdiqCzyb@S}i[SXigDEibhSyi]SZiMDSIk@PYjCSViodDYaPUAggTaiHdWYjxO}g_T\iGdVi``Tqg[TZiEdUi`HTqgSTYiDdUy_pT}gOT\inD@yixOMiqSDikD@IihOAikS@iiD?i^xT]f{TXh}dUIi`NifwTUh|dTY^HTEieRvh{DSi]`UMfkTdhydXI]HTEieRrhxDSih@SIiSTCicdOyfxSUi?TFi_dPif@Rqh{Svi]dLieXRehiSziYDMid`REhcSjiTDKIcxQyhQSniSDJYhXQEiYSbieDGibpQQh?SeiNdHYvO@Y?n?W_JOEGA{@i?v?X_LOEwBL[o?z?]_MOFWBc@yi^TMigTrAyT[smhVMJhtrqyT\CmhVOJhtmaxD[WlxUzJbtnQxD[[l~VEJ^ToQxL[GmVVIJ_ToqxT[SmVVCJct[im\VQjnTtizTjayD[{l`UnJgtiqxlYsm\VKJUTpQtD[OlTVBJSthQvlY[l~UeJ^ToQsd[GlDUbJ_Tmar|Y?lxU`J\tYQu|UklrTiJ[TlqllZcj\UwIuTfAudZWk|U\JYteQq\XSkvUYJITdaqTX_kbUVJGTaqpDWokRUIJBtbqotWwkHULJAt_Qn\WKjzUAI}T]antW?jpT~I{tZquLVClfToJXOBW@{?y?Z?N_FOAg@c?m?T?K_DuJoAC@I?b?O_GoCiu|ZelpQhhTsiiU\JIdhQthZsliV\JudxWoKZuKREta{pjWqKYuLBE|bKplW\KSuFrD\`wpTWhKOUIrCTagpBWcKUUHRDtaspFWeKUuIBDta[pXWYK[UMbBd`kprWrKJuERETbOopWpKIuJrAtb?ohWeKGuCbDDa[ofWMKOuCBCT_{p@W\KDuFr@l`woXWGKPuHR@TaOoRWDK_u@rG\_WqDV~k?u?J?\_QoDV{K_t~bG\^sqDVxK[UMa~\^gprWzJzT}BFlbonnX?JyuNa}db{nfW{JwuMq}T^?pzVmK^tzrGD]sp|VZjmtvIzt\}n@VajptwY{d]YnJVTJuTtq|\]gmlVWJrtua|D\cnRTPihtSij\TqitT\intVik\UUjHY`KjUgrJDiGqnXjLKUZRRTeosrXiLPuYBSLectDYWKquXrRTeWsrY]KpUgBKdh{rFX^LLufRKLe?sxY\KmUVbRddssvY]KlUfrJLdkt@XIkeUQzHlc}q\XOkhUSZI\dUqhYTL@udbOlh[sHYQL?udBOThKs@X~LGu^bQDfss^YHK|U^BPTgkrvXvLFUbBNLgsrpXsLBUaBMtg[rjXqKaUPbM\cSrbXFKvUQRMDc_r^ZTLQutbStlOtHZJLgurRYTkoufZMLcUqbYDkcu^YxLmuvrV\jgu|YwLlulbZdj[utYrLaulRW|jOuLZ?LWUnrULkCtdYlL]UnbT|iwtzYiL`UjBWdikuFZVLRuiRZLi_up[@?NoGWCCAA@B?^iLTEYbDPmgzS[jrtyY|D]qnVVimGFAj``pIwU[PmFF@z`hoew][GmAFAj``oYwU[Dm?f@z_XoewC[Gm?F?Z_XnywCZ~mAe~z_@oYwGZ}mEexj`xmaw[ZflpfCJ[hpIvG[PloE}J[PnivAZxlye}z]xnuvkZ{luEzz\pnAvYZplxEyZ\XnQvSZrm_?CwAk@Q?f?T_ITqIw|[YmVVHjdTYYl\Uij\TliuUbzQLhAsXYMlEuaZP\gisLYGlBuZjMDe}rfXqkwvWrh|t?zB\PMpVVbhdswz@\LMnvQRilskyn\IMjVSbh\tOyT\RMcvUrgts[yz\[McVUbg|t_yL\XMcVOriDsSyb\CMfvRRgLsGy\\?MeVObf|rsy@[}M_vOrflsSx~\CM^VMRa\r[wj[wMIVVbedu?xl\^MYvKRkLuKxf[qMpVJbj\r?yz[nMmVTRd\qsyn[kMjVUBdDtgxT\XMSvSbc|qWyh[dMhvHJc\qIw~[`mOVMbbdrow|[zMMvMRbLr[wv[wMLVDbfTp_xx[VM\vkbDLampTWkkVUJZWtkUuNZAlaUozWDj}uBY{l^UnZvXzU|y]vn]Fljuhza|k]ynZfmZuP{E|g^BnXfojuPz}|{]snXfoJvXwy{_]|nFfnJwHwm}E]Ln`FbJp@ze{S]ynCfmJohzy{M^?nBFnzn|wE{@\{m~V^ZnHy}|a\znWF]jt`vY|[\wnUf\ztXvUze]inSf\Jm@yezc]jmwfijlpyaz]]enRfZZspui|O\knRfYzuHu]zQ]nnWFYJkpyuzG]mmqfjJrPxu{w]^nLffjsHxe|C]WnOFdzq`yM|I]UnIfhJqHwI{G]RnHF_{@`~u~~^}n|V~J~]?g}\_HNewArx}?c}T_JNeWAbx\{\?L^HOBwABxD{P?L^EOCVpS?||?~b^QNxvsR}U??~`_ANvW?R||}d?J^iO@vyC?d}?~D^^NqVwR{\|o~J^fNnVvR{t~O}r^uNlv|RzT~_}p^UN{v|ry||K~V^TNuvtB|dr]xr[wm\VNJf]Aj@X_joSwIKC}BX@H_wORWLsCmAL@v_aO\WGSFMBd?^_zOGwMcAEBX?X_wOFWLs@m@x?v__OMwFsBe@`@`_YOXWESEM@T@f_tOJwLCAuAt?d_SOVwCsDtyY|P]fnTViztLyq|\]lnWvjzuEE@@x`aO^WWSFmD\BF`XOqwUCKeDPA~`UOmwTSJuEDAb`aOhWWCI]CxAt`OOmWRsJ]CnAZ`KodWQ[HEDhAJ`[ObwUsGuCHAz`COnwOsJuCDBH`?OqwNsK]?Z?P_FoDWA{@MEZBP`fp@w_kOMGPBdaEOyW`SM]GPB^aEOww`SMEExCN`kPCwZSPEG\BRaHOtWYsPEFdBv`wO}w]cNeFxBj`vP?W\cN}I@ClaWPNwdsSMHPCTaRPDwbCQmH@CxaQPNWcSRmGtCraNPLwbcRUIHDValPQWgsTeITDTafPSwhcTDnyv~[?nMVejr\x]{r]WoGWB{AM?r?\_Lo{W]kNMF^Bl`tpcGoKWyKJEKb@p`gn[WiJ~EGa}p\GokVaKFDub?p[gn[VyJ^Doa}p\GlKVaJZDuatpYGl{VAJZDqatpVGpkUAKbD]bFp`gk[WiJNEGaqpr_@w@C?exz[~m^Vvz{L}A}x^]nmwNKFuBv@~`@o_WakPeGnCZaNpFW~c^ENpFlb|Pzw{s^MNlFjbyPyW{C]]NHFjbpPyWzs]}MtFpbuPvW{C\UNHFXbpPtwzs\eMhF\bjPuwqc[MKdFFbJPpWvc^MNhF@bzPnwus^eLpFzb\P~Wuc\MM\EpbXPsWxsYmMdEnbgPjWxCYUMXEhbdPhwrs[MLDFFbOPpWxCXeKxFLbdPexJo?c?Y?JcnQFxCCeMOxH`cJQVxKS`mOpH`cHQUXAcduO`HZcDQSx@sd]OXHTchQ@XIc_]QlGHb~QUX?CduODHZc\QPxFscmPxHHc_QLXEscUPpHBcPQKxCsa}PHGpceQIXICauQ\Gj?F_COAW@K?]?PdXQhHTkjATFImdOqhhTkiiTbIgdVqbhS{hITVIOdSqaHSKiQSZIIdPqdHO[haSNIUdAq^HR[gAS~H}dMqXHM[eaRjHecwqYhM{fiR^Hwcu_AO@W?s?Q?L?Dq|Gw[[]MJFHbepqx]SmMVLJpdvQxX\CnMVXJndtQ{X]ckmVpJNdzQrX\CluVXJ`dtQvxYsmMVLJXdlQxXYCnmV|JTd}QsxXCneULJvdaQ|XVsnmV|JBd}QoXUkjMTnIxd]qmxI[d]QjH\clqUXgSo}YLKLeaRCXbsruX|Kbe_RGXgSpeYLK\eaRExaSruY@KVe^RDX_[oEWJKFeCrAxdSr]X\KzeURMXeCqUXPKteXRHxmSseZlLLeyRQxjSu]ZTL\enRYXicuMYpL`ejRXXlcs}Z`LRevRSXocve[PL|fBR]xpSv}[DMNf?RbXTki}TbKve\rMXeKrUXfMkfMrgHtKxy\VM[fPrgHskxy\NMOfSrcht[yq[jMUfPrehs{xa\JNKdwq{x\{u]ZVLheqrWxkK|a]bN[feruhx{{q]jNOfjrrhy[{Y\fMofcrjhx[|I]BNAfirpHy{|i\vN[f^ruHvkzQ]VNEf[rqHu|?a^POBgBRxy?c}U_LN^fpS?y?c}E^lNlf|Ryx|s~e^`N|fyS?X}S~}_tOHgNSBYBd?m_`OTgHSEY@t@]]VNHfbsGIDlBA`FOcgVsHiD|BA`VOggUs?y?|?U`c?Ag^sL??tCK?HOug__@IFDB{?DO{g`_@iFTCF