CAT(2500,1)
Sparse6:
:~?fC_?O?G?C@O?\?O_GoBwAS@M@E?a_POGgD_AM@H?b_QoHWCcBk@N?e_ToIGDKAi@X?m_WOJWEKA}AY?r_YOLGESBI@f@N?coROHSCwAN@K?hOS?HCDCAV@^?VOJwEKAq@`?l_z_VwKCEIBB@b_qOVWJcDyAt@Z_koMwFsB}@x?|__OU_IcDcAj@Z?hoToJcD_A|@\?jORgHkDEA^@Q_gOLwEsBU@p?y_[ogoSSISDHA`_pOWwKCEQA~@`_coQgHCCmAX@F`M?PgGgHuAAA__`?fgRWCQAEA^`R_jWTGIyD]Ag`W?igUOIqDaAj`f?qGXKKqETBJ`eoOgGsCEAJ@C_`o\WMKFQBf@u_xOsGX{KyEbBR`hOroZSL?EvBQ@mosOZcL{E\BR@nOvoWcKWEtBZ@`Ov?W[K[EzBD@nOooZKLSEDBE@jOpoYcL_EHBD@joYWK{EaBL@i_qoYwL{FABX@l_vOmWV[JqDtA}`]ohwTCIeDVAk`TOfwRsHqCzAZ`OOgWSSIUDHAe`Po_oXCGOERAD@dO`_XcG_EZAF@do\wNcFaBr@y_|o[OTkFGD\An?xok?MkJGBhAp?zOc?Q{G{CpAR@JOe_QSHOCjAX@GokoOSF{DlAs@?O^OU{GCDp@}@YpR?Y_SaEkDE`i`PwhGL]IUBXad?uGg?KmEOD@`c`OggWKqESDDaa?rWVwRqD}C|`_@MgfwKEH{B@`_@MwPKGgI|AJao?bGPsUGCZ?\_MOFgBs@q?z?`_OOGWCC@}?~DuAwP[WmSVMJjDs``OpgW[KQENBD_RoHgD[Aa@R?i_ZOLwEkBa@t?x_rOXwLCEUBT@h_toZGMCEuB\@n_wo[wMsFIBj@s`QOhgSSIMDJA``@oaGOcGUCNAE_zo]GNSFeBv@{a^pMgf[RqHzC}aQpHgc{QIHHCbbg@rGx{[iMVFLbfPpOxc[sMNFMBaProxK[WMTFGBdpjwtkYyLXEpbWPgGsKYILFEdbQPfGrsXuKtE^bLpeWqcXUKpEUbJpm?psZgK^EzBGPcOvkZoKdExBHp_gosWMKHEFbApeOosXWKFEWBApdoocW[KhEABIpZOwC[KJ^DkB^PY_wKUkL~FAAvPZOpCWoJXDiBCpbOl{WkJ\DjBDPgon[YCJnDxBOPg_nCVWLJEcA|P[?ncVGJ|DrA~p_OmKVSK@D|AyP?W^sOAGFB~a@P[?^CNgJfDq@|o~?mKVSFzBxAyPoojsUGMBDbB^pVowCU?L|FAAopU?ssTgLTD[BSpUot[Y_IzDXBRpTwiSTYIfDSaip]OiCVWIXDvAepR_nSV_IbDNA|pj?fkYsHxEoA\PkOf[R{L^C}BVPQoq[WwINENAcPcOgsScK`DIBHPLOrkROKxCwBNPL_rSRcK~CvBLpKOusQwLfCrBZplOeSQ{LhEqAWPI?pCQcKRCiBDPaod[WsHZEKAUPo_cSQOL|CdB^po?c{[KHFCeB_pC_usPKLdCSBXpl?aCZ[GjEtAGpA_ssOkLNCKBSPBOtKO{LVCMBTOx_vKM[LvBgB]OyOvkZ_FVEy@tO|Ob[NWGtBqAJO{oa{N[GrBsAKQ^pNsgCS@IBD@PpGws[aMRFFbappGwk[]MRFEbcPrgx[[qMZFNbdQaonkg{J|IKA~p_PPkggJxE?DFPXGkkUYJNDgaspY@QShKJRDcDGqd?kkhSJNDeDGPOGg[SUIBDAaaPGGbcQCT^C\aNAkWbwiyGJCCaBPAG_{OeF^Bp`uOzg]CMuF?I{`oanXVwMIFEI}d\_xXVOMQTlIvdYqmHUcjeTZIgdUQixTSieUWI[dOasXXghuS{JMdNasHS?k}UKIEdAApxOgkeUOIFdCaqxP?kiVA?^_OoGGAc@]?j?X_JOEG@{@A?\?P_HoCgAc@a?r?U_JoDWBS@i?v?Y_LoEx_WoIWIKCeBb@gWCKED~@Y_loUWJcDyAz?g_ROHwDKAm@T?~_]oNGFsBmA@AZ`MOfgRkIAC~@|_~O_WN{GIC@CUaKPEWa{PmGtCOaGpDGa[PUGdCJaEPAg`sO}GZCGaAP@g_kOeGNFabppxG{k]]NLFQbgPswyk\QMbLTEbrQhh[saYRLKeNrFXbsqEXDK_eUbEhbGqeX[K[eKBIhbWqmWmKke[BChaGrUWgKve[bDXfOpMXkKUeFBOXgWo}WWLAeabAxgopAWYLCd~bRHgwnqYOJ|eca~h_GsiYUK?dzBGx]wqQVoKed{bHx^WqaXIJyeJa{Hb?nEWqJqeLA{xb_nUWuJseFAzx\OomVUKOduBBX\go}WWJme@AxH_WmaWGJdeBaxx_gmeWKJecNBNHfgaAO}K}cObOHfwaMXuGadlAyH[oluUwJhdqauxZ?m]UqJce\ashf_lMX{JSdibNXYwsAUkK~ePamhc_jmXII{eRAnXVwqaXMI}dTBPHgGiaTQLAdTbPXgoiuYEIkdQqhhSciMTDIfdKBAhRGoiSsKHdJBAH`?hmSmKHePAdHQWqESiK_eMacHbohIW}IPdCq`HOkgYSPIFdDBJxPWrASWKqdFbLHeGguS[Krd}AXXK?nyRAJ|cpB?HKWn}WAHcciQTXIsd]QrHWdwARh]Wc}Q_Jtcga{XIWnIQcJscaBIxGOqeQEKicabJHGoqyXYHFc\bLHdwbaX_GveWaMXeWbiXcGucRbDXaGaQPKKUcSBDHDGpMPIKQefAFHB?suY[GXcLBRXBgsuY[GZdoa?H[G_EVCGAcAawx?_mMVCGBdu`}G}_miVUFtdu@|g~Gm}V[FvbvP{G}K]}NdFrbiavgyGlyV?FObhAvx[?\MMgJ^c{AphNGk]RsJGc}aqhXWfmRwJHcTAZHDWeuPWHmcUaZxDwfEP[Hoc~AChOO`]R}GRd?ADHOW`YSAGTcyA@xMW_eRcGEcyaAhMw_mOOHudY@}g~WjYNwIvb}amHVG^}TiF}c]@yxFg]eP{Flc^`zHGG]iNOH?bpAXg{WemRMFccs@xXLG]]NKHibmAfHS?]EMyI\dN@vhSG\}S}F_d_@tgzOkUUAFVbkAogzWkQMqJBeYrMHe{riXrKudzCPh^PCiVqPDdzcQH^@C]VuPHeAR?h_[oYWNKDdfqrHYKlAUZJMdVQjxUKjMTdIocmQUxJkdyQtH^ccCVYKGciQUP]cccVxHhEAbCHKcWQKXESbMPjGscEqBAMk_yO]PvcGqCANLEKb^PcGwSXQMLEWbdPgGySXqM\D[adPWGhsVAIdDgabPUGksUqIlGg?P?H_DOBW@[?q?x?]_MoAG@K?i?V?L_ESf?AK?}?\?O_HOCyS`IMdKQdhPSiqTTIadRQpHVSkIT{lyV@J^d~Q~H^{oAWBJ|_XoLGESCqAV@H_boQgHCBU@l?y_ZoMGFKEYBJ@h_sOYgK{HMCdAS`FocGQKNeFpBy`|o~W^cNyF~C@a?P?w_SSeITDJabpQGgsMIFJB``poxG[C`yO~G_cOqGxCSfyS@IAc~q_XO[bePlGvc\qMHFS]qNPFhbtPzW|[]ANBF[bnpvWzt?M_HOGgBS@Y?{|M]hNTfjRuHy{{U]BNAf`rphwczM\bMsfXRjxuCtqY~L]elrVXkCtiYjLUekRUXi{s}Y`LQehrTHiLOegPSJiDTBY`dOYgDSFi@t@I_lPOfVSTHutDa\tP[f^RkIKsyabDPGf^RjIFSzA`|PCfZSRHtSzaaDLMehRThjstiYTLChLSfHetIAXtK{hTSjHeSsAdLKoeFRPH_spQXlKOe^ROH_SoaXtJshZQ|IVSnaddJ{hbQ~IWSnad|J[gvSYH[SmQbdJggzQ{INsmqbtICfFQ[HnSfQZ|H{fDQ]HoSwQSDIwghQnIIskAatJCgnQrIKSkabLNWdVRvHUSiq^DNkdZQlH|SjA^LLwdDQbHnshA[DISfBQeHpshq[TI[eRREHPSgqX\IOeNQdHdShaXDE{e@PoH_s[QWTFGeFRDGySpAM\EseRRIGtsZAW|EweVRGGsspaLTHcbFQXGqSeqKtHkbNQYGqseaLDD[flPXHzsUa^DDkfrRzGmSUA^TOcahSIGgtAqITDWgZSGGitBAI\BWclQSGXscqEdBScnOwHIseAE|HK`NQWGTsdQDDAgclOkHISIQQ|ACh@OeIPsHQcdAGhBObIQsHAcTH?_^QOGGScQALHG_fOSHHScQAT?KhXOCIVTJQ?t?ShbSnGBtKA@C~wgbSQG?s?Aa\?Gg\N~IFr~QaC}kdbQoFuSk`|lJK^\QmFwSjp|{|{dpNcHZsmP{DJg^BQ{FpSmp{\QC]tS_FktG`z\QK]xN]IQrvQcdLg]bR\FgRrQZC{werNQHlsv@x|I_]HQhF`roaTS{CdPQhFasi`wtN?\jRpFZS{`u|NK\pRtF\S|@vKysdlMjHYrjAUcygdjMmHZRiQUdM[[VRgFESyPp{wsfHMOHqsx`pswScTMHHESbppCwgcVMEHFSbPo|LGZ~M?Hir_QY|LW[DRSF@sspodRGZZLpIZtL@mTRKZ\LnIZR[Aeku[gFLgI@RYQ_cuggJSFEuT@`l[xG`~P?FHsOPqcxCaDPCFJSOpql?w`bOKGVsBQED?c`ZOIGXSAqDs~S`zOxFwsM`}S~K`vNuG^R|AFc}gcJQAFqs_p{s}[cBNgHBRyQOd@S\vM{GJRnQA{zw_pN?GLRnqBK|K\^NSFWRkPykzG]lMrFkRl@y{y?_zO^FNrfQB[xw_xO_FOrgaBtFk[nP{FKS^PrLFw[tM[H?ReqN{vKZrLyEyR]pmkvoZlL|E{R^`m{uC\FMfErRXPtCuG\HLcFQrh`k[tk^nL[F{RVp~[ts^rL_F}RV`~TdcqpXZKlUVRJdRYhjSriXTLIe|QYhTSgiRtIYd\eCgtS]KnUWab\PorFS\KntFrKDOAfxR|i?s~y^tO?rHXeH}s~bKlNorNXhI?uYA^|NEfjRohxS{y]dMQfJRehrsyY\DLmepRXhlSvIZlGycXQLhFsaiP\fCcNQFKwU\APLfScRXqHCU[qPDgsdBYHHNUaaR|gkd@YGHMSfRPdF]bjPug{S]iNLDss`YMGnUcaKTg{a~YRGoSWRQLCkt@PNLQsRBSLCstDPOLPsRbSdCUaTPFgcSPiHK{a]VNFfcrrHxTjcYjYyEkRTbV[tctxLYL]um@i{t?tnLNLXUl`iTjKYfYsEiUlPiLfwsDX{L@u^rOdfssJYFL?U_ROs?U?J?C_AO@W?c?Y?N?F_Bo@g?tG]cRQGhKseyRSHUCnAY`KOdgRK^iN~F{b}p}w~s]}N`FrbxP{W|tTAibTQihtTYidkCvRZjL`unb\Dj{vXZiL`UoB\llWtvZVL]uuBVLjguvZXL]UmBZTmOt^YmLquxbUDm[tbYkLpuwbTlnWtFZwLQu|rSDnctDZtLOuhB]dhOvJZaLJUeB[|hcvLYVLqUdR[\ckvbXILvuQB]TcWv\XHLxuPr]Dl_p~WyLjUMrY|bourW|LlUNbZ\]?udVbLhusA{L]GujVdLgutA{d\{uxV\LnTvbZt\kuzV[LmTubZl\cvXZgJjTtB\LmgmjVWLtttr\lX_v`U\LxtfB]TXcv^UZLwuzarTegtLXjLRuiBLdigr^YjKuuiRLtWooxULKMtcRCDWwo|UOKOtbrB|`WsxYYKJuerBD`cszWZLNuEbRt__sZWELDUar@L_OsPYHKBu@RPd^wpDV~KPuHB?DaSoBWBKRuHb?TbKnzVwKVT}bETa{nrWpJ|uKA~d`?nLWPJruCa|D`KnRWTJtuDA|T[wpPVNKStsBDT\CpVVRKUtsbDdc?mPX@JcuOaxTcKmVXDJetrBGd[Gr`XpJ`u[awdfKmJXtJbu\Awtf[l|XuJ]U]AwDZsrvV@K{tnrNTZ?u\ZNJXUrQudkgljZJJXurAuLZWlTUjJZtjAvDYslrUmJ\tjqvTYOqXUdKethbHtY[q^XPJSuSAtDY?n`U`Jwtga||XwnXVlJPtzar|bOkdWtJHuLaqdXWprUVK[TdRE|WWtdYrJBulApDjSkRUJLZtabUtVOq|TtKnt\bKDV[rBTwKpT]RK\UwoTTnKDt[B@dVCoZWMIxuBqmTUGsDTbL@tXBOdU[sJYFIrTXROtU?jZThIntVal\UgjBTkImTVQlDT[i`TWIgtUQiTTKivTTIjTTAjTdKiFS}KhTNrIdS?qjTAKjtORItWGhvUCI]T_AfDRskJUBI[t_QfT|GvpZslyfsz]tnc}j^QLzuvz[Dl}v@Z`lousJYLlIufZTliUpJWlkYuNZHlcVvbPt|{s^^_LGVwRQLhK~FYQNpU^bz\g?}t^\K~u^BzD|osBX|NkuXJKteUrRXfksUUJJLdiqzX[klt{b~d~snf^}JyW?Q}l~{nn_?JzV|anT~_jv^xI~T^r~\~[jzT{N|TQb{dS{~JTJNrVxqhd}ci\^gIetQBxdSc}^^PIbvrQgtSS}\TCNgOAG@K?i?V?L_EOYwLcEuB\@o_vpOWg[SAIHDDa`RSHh{tIYfLSeguVJJTduqrXWkltNyftSEiFT?i`TMYfDRmhxS|i\VrZxt{}}`^PneWMCGeBdAJ`EO]wMcG}BpAR_zOcWOsE]B|@d_tO_wLcGUBPA@_vO^WACEUBT?X_HOXwLC@UBX?V_vOEvuCCt|d@N_hNlvucDD|t@T^[OTvssDl|P@`^UOVVscDd|\@b^TOVvnCCuAk||]zORwIbv}Ac|z]yOSWGBueAC|j_aNZWHRvEAK|r_cNZwMbttzH@r_zNVvkSFdzL@z]oO[VcsHDx@AH]POavccGtxPAN]TOcv[cFuB{zf`?MyWORmmCKzn`AMzWEbl\uX?v\hOMwFbk}@{zT\gOMVQCBU@{yV_]MdVQSBe@kyX\LOMwKBemAox`_lMWwJbeTrL@b_nMYWGBdUACxV[kOPVJcCdq|@J[lOPwDR}u@O~n_UN{WDr~M@c~v_WN|VrcAD{p?\_RNevrsAM?{}`^POHVNBwl{?xz^CM_voRft{Gy@[~N`vgb}DyK~b^qNQVhR}\y[~j]eNyV^c?Tv|?F]AOBv_C?e?S{F]@OBViBnDvc|R\yNTV]rt\vs|Z\{NUV`BkDwSzB]EMpVWro|uS{R\cNCVUbrdtk{z\\NNvVBrttw|B]_MnvRb~d~sy^^}MgV~riM?Cyf_?MhVqbg|sG}L\BNbvPBxDsS}V^HMbVvbetrg~@[vNnvMB{Lrk~F[xNpVabbtqG{\]JMNvbBcDw{xF[`NEvEBqtpc{n[YNKVErrLxkwz]YMMVHBaTqSwf[eMIVHralp[xR[UMSVBB|Tos~V[MNuVBr|lpC~^[ONvVArmLoWzX[FMuvZb`Dv?wT\nMCv?B{doC~J[ANrVxr_\}cwJ^gMAVUB^dngyh\XL~u}rilnwylZ|Mjwrc^uK|F~bOQ?WsS_MLLGFbQQ@W{SXMK`FXbIPuwqs\uN@EZbnPeWjS[mIxFFb_PTWxCT}IlFDb`PUWucSeLlDJb[PRWvSS}L|DRb]PSWbCRuGtC~aMPOWgcQMILC^aOPOw`sYeG`EjaEPjWaSY}LdCVaIPkW_CWUGHENbBPAw_SWuKPCHaBPaw]cUuFlDnawO}WmsN}JhBzaxO~W{cMeNLBj`uPyW\s]mFdFn`wPzWZc^EE|FrbyOwW}sMMNtBfb{OxWxcLEM\BRbgOtWYs\MEtFV`kPtWeCKUHdBFaYOqWesKmHtBNa[OrWccJeHLAzaSOnWdSJ}H\BB`_PJWUC`EDXGHcDOjx@cJMOdAvcFOlWkCIEJDAbaqOhWksI]DTDjasOiWQcVeClDz`LP^WRsV}CpEB`MP_XBSk}U`GTdhQFxBCkeOxJLcJQqxLSgeSDHrdAQ[XLCgERXIJcvQ`xJcguS\H^dGQWXKShMRLIVcqQdXICfUQdHvc{QTXNSd]R|HZc}QUXUCcUTtHNdXQPxUcceQXIvcdQmXFChePtIZc]QfXFsh}QDIbc_QgXVcauT|Gnd_QKXWSbMPlJFdaQLXCSimP@IddRQHxCciePTIncSQjXdCoUX`KHeVRAxeSouXTKNeUR@x^speVxKPeIR?XaSneWlKBeLQ}xYcmuUlJndkQ{XZSnMU|JvdmQ|X\CqEWxJ`eNQwxcSmUVLKddtRHxjCrUYtKvemRMXjsrmX|LbeoRNXgCsuYDLNeaRSXgstMYlLJeiRQO?SvAZI?CexRXo?svQZRLi?@R\xlo?YZvLk?AR]^