CAT(2850,1)
Sparse6:
:~?ka_?O?G?C@??H?E_Ao@w@K?a@g?o_VoJgFOBa@r?v_ZoMGFKBC@h?u?XoK_EkCW@x?y_\oNWF{ByA@@@_`OTOHKCmAT@L_fORGGWC]AI@G_a?PgKwDeAp@Y_m?TGIODuAu@R_g?TWHwDYAm@P`A_IwDkAqAd@S_hofOPsHAC^AM`GObwQSHMCbAQ`GocwPKGaCTAI`CoaGMCFIBb@o_xO[WMcFMBj@w_zo\gOCGEB~AR@@O_oQKGOCd@{@Do^_PkFsCXA?@Eo^oPcGkCBAF`Ao`gOsG]CJ@x?~O]oNcFgBzAO?rOboKkGwBH@b?zo]?KKEGBlAC?nOVoOSGKB@@l?{oZoNSEwBv@j@EOZ?PkEgCV@h?yoXoMcE_BfBs?xo\WMcFaBn@u_{o]wNSF}CBA?`@O`GO[B]@r?w_XOKwEKBQ@l?t_bOQGG{CiAV@H_eORgHkCUAF@C_oOVwJsEMBB@a_qoXgKcE]BR@ga]@HGcsQUHNChaSPJWd{QyHhCtaXpLOeKRKHdCsAWPF_dkQ?H^C^AVPFWb[PqHACZaM`GwcOPqHSCWaU@EgdWPeGlCVaIpC_bsPOH@CRANpBwaKPAG^CPaGPBG`kOyG\CLaEPAOdSOkHXCIATp@g`CO]GiC?aJ`?gaoOEF~B}`}pKo^kRSF~Cs@~O}__kNoGFCC@|pI?^KQcFnBwARpI?]sQcFhBtARozw\sNAFbBr`xOzOeSMkH`BkAWoy_c[McHBBgAPPEO[kM[GpBeALO{OacPGFfBqAHpAo[cOgFDCH@pp??\[OGFZC@@uOz_^SN?FvB{@vo|?[[NSFHBu@pOlGU[JIDaBd`V_xw[oJAE}CEaC?wW_wMAExB]`mpK?ZKLkHdCp@lOu?csLWHJBVAQOswYkLQEbBQ`gOqoccKgHLBKAQomwVkJqGEBC`b@@WWgOQE?Bv`^_}WVoNaDXAm`UoiOdkIkH^AiAVPI_SCQoDDCj@OohgS{IaFOAb`Q_ygS_MeCtA[`LoqOWKK_EFBF@`OfoVKJgC|A\@[OloQ{JWCpAX@Yod?X{HWEZAT@fP~oDKAi@P?g_TOIWDCAi@R?b_POHGC{AU@LBd`roxg\KMaFTBn`vO{G]KNMFd?l_ToJGD{Ay@`?o_VoJgF[Bq@t?|_^ONwH{DEA`@W_lOUWUkJ]DlBF`coqGVcJuDvAS`IodgQsHQCjAV`KoeGRcHiCvHaCaQPhGkcaQRHFcaQPhGkcaQNHHcaqPhGcc]QRHGcdQQxHccuQ^HMchaVxIgeEQgH_cnaThK?daRAHVcmaUXJodiQwHZc`QOxGKbyQ@G~c[QMhFKbmPzG{cZqLhEkbIPhGrcVqKHEKdWP^GpCkQK@I{amPRGicRASHIOaaQaGfcRAKhD?bQPMGrc]aGxCgbmPwGccOqGhCCdKOzHTCNqT@Bs`iOvG[cJqEHBK`MOdGPcHARxAGcuOeHMcGQBh@{`wO\GOCMqBpB{^ANdFpbxp|G}k^aNlFvb{p}w~S^qN|F|cd`zW|ociN]HKb}aQg~ocqNwHJb{aRw~WcyNsHLbraUW|GdmNOHYcm`yxJ_]iQ{Fkc^@|hG?^aP}FvbqAIW{gaiNKGjcQ`yg|WaMNWGcbxaGG}gaINgG`cI@wW{W`YOiFabqaDG{_`YNKGTcEQBX@[_aORGIcEQBX@[_aORGIcBq@h?kRoQ`C}ChQSOfk\mMzF[bkPugzK[qM\FLbcaJGxOauMUGmbaaLWwWb]MGGuc``oGwOcIQAF@b]a?h?_Z}L{GBbv@nG|wZmLsFlbW@wW{WY}L[FacL@eXB_XmOuEYcm@chJoXEQyEObEAUgpWdmQqEIb?aSHIOWMQaEAbAp`Gos`[J|E?CKqE?n{VkPXD|CVP^@Dk_OJrDyC@p]@?SVSPrDvC\P\`FCd{JfH`AxQW?mcU{N~DpC?P[@?K]_JPFhArPxok{_[JFGDAqq@_kcU?NdD`Bwp{?kS^{IzD^C?Q?OjsTkQpHUAmPU`I{dKIbHTAhqT?iSZ[LVElB[pj?vCXoLjE]BZPfOucZCKfErBIpk_qcW{LNELBRPb_skW_LREHBTP`otCYCJXDlBNpZ_sCUgM^FOAspYoyKT[MhDXBhPU?y[TOI`DTAfpT_hsXWIDEWA`pdogcR{IVD?AePOOhk[WIJFGAbppogsSgLDEcAcPQOs[\wHtCxBoPvof[R[MjCuBjpM?ysww?~?`_OOFGBs@u?|?\_MOFwCKAA?l?W_JoEWB[@i?l?V_KOEWBS@mNNFhbsPyg|c]mNZFnbvP{G}S^ENjFsbxp}G}s^]NvFxb|P~G~k^yB`@q_woWWK[EIBL@d_qPNWfcRyM\FKbeplGusZULbErbXPiGtSYeKHEEbAp[wmcVIJZDkavPXglCU]J@DaaopTwjKTaIFDAaaPLge{RaHtCxa\sCQ@D?i_ROJgEsBI@t@A_^ODGBs@A?|?W_NO@GAS?q?t?G_JO?F|r~p~k~w^xNwFwRzp~S}w^rNuFuR|p|k~S^VO@Fqs?`{t?K^NN^GFRwA@{}C_`NjFlrzPzS}o]rNFFxrqP}S{_^hNCGBS@@wt?S]JNKF`rqpwK{g]DNXF\rnPz[zo]tMyf[rmI@oze_]MwgGBmhuw~A\kNmfYbzx}gzQ\eNufXB|xuKy}\`MpFwr{PuCy{^bOJFUsBPtd?o\\MhG?s?`t[yg_FMiFaripwsyc]HNvFPr|Psk~W\HN@FPropsc{G\JMtFORlpsSzW\BO?FDr~`pk~{[XN^FCRwPpS}?[RNUFDru@pk|[[XMEFgrs`o{wS]`MHFera`x{w_]\MfF@ri@oSyW[HMPFLRf@q[xk[dM]FIRfpqsxs[jMVFLReprKxo[pM^FFRc@rsxs[^MME{r]`qCvk[^MVEzr]@rKvW[pLrF{R\P~SvO^rLoFmRv`mS|sZbLnFrrZP{s}SZ\LgFIRYPqsu[[jLeFqRXP{SuO^FL`FxR|@k[~KZDNgEkRU`|Stc^RM}Eernphcsw]@LIFVRj@h[sc\ZMDEarOpo{sO[LK|e^rNhfO~mXwN{e\b~Y@WrQ_WKtgEbLhdX?aXYOIgCbJHd?|q]{KhfmbIhcO{uXGNNePbrhc?|EW}NOfhBGXqGpe[eKZfHBEhy_pU]eKRfibDH_w~uWONzeCb~H_GzyWEN?e@Bnxn_nIZ{Jse}a{xn_m}Z{Jpe}a{HnwnUVmM@dzB_H^?v}VqM?d|B_X\gyIV[M`duBgH[smaVNJYFpQv@{clk^FJPdhQsxuOfQ\gHufXa\XyolAU[NWdfbtx}WkI^gJCd`b{ht?ke\MJGddBhhwwjm]QIxfcAmhxOf]]WHxfda]HUowIToMCdZb_x|?jA^SIqfsakXSwzmTQM|f]AiH~?hm^qI\f|AfHPG|MSSNSdDbtY@GgYSOOGgDA`x~ogU_?IBf~a`HMWtURcLVejA[XiWfAYgHmehAZxhwrEYaKregBKhb_r]XqK]e[BFXe?oiWWKmeVbAx__uiWKLkeAbYx^WnyVyK?d}A~xgomeVULGebayh[WpYWoJdeJaxHcglQUkKfdibHhVwmAUAJad_AwXWgluUKJ^dbavhXWouUYKNdeBBhU_tyTiL_enakxjWiuYyImemAjxTOemTWHldTaZHRwl]S{JXdOAuHL?haRSIYcsaeXQojySmI{dIanXKwhISgHddHaXhPwsESaLAdGBOHP_eIS[HcdEaWxSGfmTEHydPA^HNwiYR{Icc}ahXOGpAS?KQd@BCWAC@E?d?R_IoDGAK@A?d?R_IODXokw][LMGfCragCSAM@H?f_QoHgD[Aq@Z@O_foSWISDMAhAn`WokGUSJQDfAx`\OmGXSKmEXAi`ToiWTcIyDZA\`NofgSCIIDBAg`ROhwRCH]CrAY`LofHLCeiRRHjcuQZXKke]RLHacqQWx\{nEV`JqdyQ{x]kn]VlJwd|Q}XXCkeUTJJdeQrXUKjATdIQdIQcxPSgmSRIKdEqbhO[gUSHUuJRTlqtDY[ljUbJVthQuLYOl`UnJBTkQo|Z?kJTyJYtlqn\ZWjrTxIwT]amLVkjdUwIvTZQvTZcj^TjJXtZAudUgldTaJKtdqk\UCkpTcJLtfAktXgjJUAIqT`AktWKjJT`IrtYQkTUKjPT]J[TWAvLT{ltUqImtVAudTklfU_ImTgajlYCivT]JMtWAr|T{k|UeH?S_atDY[cBTMJBtRAotSskJT?IkTOQjLSGitTVI\tTQfdTWhtU|ILtnAbTZkgrSUJCTEApLWggnRzh}s~I]TNQffRnIhS{QidN?ifTjHstYa\\UofTReJCtaa\DM[kPR`I~SwandM?jzQxJSsmqtTYkdtUJHWTbAUTJCkZQnJFTcATlIwk^QiIxt\QTdVOdVQTJTTiqQ|HWlRUTHGtdaQDG{khUPHESbQqTGwkfUkHCtjaP\YscTUJHBTbQPDWocNQBIwS`QmTGOjbUVG}teANtXcb~PyJMS^Ar\FkktPvJ@s]QoTF_kHPsIsTXqMtUcbjTRGxTTAM\FCidPmgvs[IL\EubXPgIfsYQiDEgibU_GltgaJLYCatPUJPsUAslD[lHT~GgT_QILW?adPLJFSRqqDCwk^PJJ]sRAv\ZoaTPFIfsQQiLC_i`P@Ixt\QG\VOaDTTG\tTqFlTW`xUUGYSKqqdXS`dOpI~SJqnlB?jxT~GUT_QDtW?`ZOjIzt]ADLAgjlOaIzsGQnDA?jlO^IvtZaBlUs_|OZJNsFArl@gk|UPGGsCaq\XG_fOSJVTjAAt@SlZOVIkSEQjT@_irR~IPT?AcdNwhFRwIQtHq^LNghLRkHpsxQ\lMwfHRYISSvAdTLkhRSjHistAdlQoelSmHfSsAeDK{h^SRHdtDQXdPOeZSFHcTAQXTO_eRREIAT@aW|KSgJR\H^svqWLLwe@Q{IDSnQ`dJwgVQuIbTQAVDJ[iNTHHXtQqUlSgdhS]HRtFATLPsdPQbI@t?QSTOGdBRtHNS|qSDNWc~QZINsfQcLHoh@QWIGTCQRLPGctQcHHShaQdIScfPaHjsXAZLEKepP^H`SWQWdE?eFS|GmTNqJlRwa|PdGhsXqIlEWahPEI[sPQfDCOhnP?HgssqF|LG`|SsG[TLQFLRW`tOuIasLqgdBSiFOeIWtKqDDRG`NObIEsHQ`|AOg\?K_DOAw@{?u?\@|_~O^GEKBM@d@B_aOPWJsEAA~Ezb]PmgoKWIKFD?a_pNwkkUMJHD\anpVggsS]IJZmLruzr\LmsvPZcLwUxb]TmSvbZ`Lxu|R[\mGvhZiLouzB[\mkvDZrLnU|R[Dl{vhZjLmuzBZ\mguxZXLxUub]Ll_v`ZWLvUzrZTmsurYoLmUjbZli{uvY^LrugR\Li?vPY]LquxbRdhsvHZ^LLuwBRLhgu|ZTJsUtq|TlWnRZSJrtxbYT]SufVajqTwyz|]En@VHjbtqIwd[YmJV@LhutAw\[GudZTJ^UtqwDlWl~YxLgulrYDj_u^YfLcUpbStiSuNYFK{UaRNTg_rrXvLAU\bOtfSsJXqL`u\BWlfKuHXkLEuZbP|ess\XeLGUcbLDe[sbYIKoUbBKTgkrBX\L\UVrVddwtvXPLWukrI\dGtdYsKfuSBUtjSq\ZHKduqrHlkgqXXDKsuPrL\cWrTXAK|u^RGdfoqFYjKZUjRFDiopnYRKXudRElhOphWoKjuKbJLbCqpYhKRUHBTTi_pJXbKPuGRKlaGrHWZK]UFRFt`opzZ?KKUEbWT`cuBX@KJUNrA|c?ojXZKHuCbJTdoohXGKEUBbHTccoZWEKiUABIt_[qjWCL@u@ROL_KsDWfK?uIR?Ta_o@V|LQUgq~|iGn|VyK[uMq~dbgnvWHJzt}R@\^_oTX}JyU_A}tf{njYUJxT{RQ|^KspVmKFt{BAL]{o`ZLJnTvBXtkomzVXKvu[Qz\\gr`VRKUuJqyl\Op\VVL]unqytjwmpVOKTTsbDd\CpVVlJetrq|\[wnXW]JdTrBCD`{mV]oFEraxpcwI[HMB`powg[cMqFZBj_ioTwIsIMDHAdeSRIhdKoMWBKAd}q}x^cjeTvIydXqlXUcieTNIgdIqdxQsg}SbIOk^uOZGDbqp|W|k?U?j?L^un~V}nqVxZ{\}A~D^`nnVvzzl|m}t^[njfwzzH}U}o^cniFwJyp}E}i^anfFpZwx{}}K^OngfojyX{Q}c^Bn^fqzw@{u}A^Kn]FqZx@zy|y^IndfmZvX{u}W]yncFmjvX{e}S]xnZFrjv@|A|m^NnZFojux{Q|o^BnmfkzzxzQ}{]tnWFujz`zI|a^ZnFfjZqHy}{_]mnDFjzpXyy{Q]lmsFizlPyq|S\hmrfijkpyqzI]jmKFnZbHzywm]{ngfDZap|M}c[SnbfCzwppEwc^DmGFoZ`xz}w[^?niF@ZypoY}i[Fm@Ftz_`|ewE^WnXE}zuHne|_ZylzFkz^@zUvm]snLfhzrhye{w]gnLFhZspxa{q]cnJFgjqxyM{i]`nHFfjq`yA{e]^mXFbJe`wyxe]LnBF^Zp@v}{M\}mvF\Jm@vYz]\tmoFZJkHuuy}\jmjF\zj@veym\wmmFQjjpsqyy\Jmbf_JhHwIyO]@maF[ZgpvIyI\rnAfOZo`sMyC]BmefNjhxsAy[[~m\FNJf@ruxq[zm|FLZexvqzu[umVfWjk`rEzE[omUFSZdptIxY\OmkfFZjXp}ys[]mLFSzb`tUwu\SmEfGz``qUwU[cmCFGJcPoixA[Hm?FIzdHn}wA[imRe~Z^`qaxKZ}_AO@g?k?a?R?F_EOAg@[?}?Z?MnTvjJtTyu|^]mbopww{S]QNLFdbhPtGy[[MMJFCbNpgWsCSyI`DNaZPMGe{ReHvCyhlSvIZ\LQelRThQShiSlCiaVPKg^SOIF|@E_fOQgISDiAl@e_pOVpPggKSQIVDGa`pRGf[SyH~DOa]pJgi[RIInCoaipLGdKRaHZCuaTp`ga{PiKFCWbAp^Ga{PaKBCYa~p]GaKVYGjDyaHp\G`{VAGZDqaDpCGl[PQJZCQavpAgkkOqJRCMarp@gk[OaJBCCanpAGjKOQIzDYaBp?gg[SQGBB}a_pLG^KRaFzCu`|pJg]{RIFjCo`xozGf[NAH~Bma]pGgYKQYEfCc`foqGcKPyEZC[`doeGbkHqHBAYaNpGgQ[HQHNAUaQpPgI{SiAvDG_koSgi{DQIfDS_gpRGH[TAA^DM_eoPGdKCaHZ@EaToHgl[AiJ^?gauoGGo[WY@J?abAo?gkk?YJR?Carn~Gk[Ty?A~}aopUf}{Tp~q~yakp\F}kVH~bDo^xnygmz}yJu~ka{nyGnz}QKA~ea}ooG\KMYDzA}`tougU{LyDvB[`[olG[kJAFFAq`ooigMkIqBnAm_{ofgYkLaDFBU`OoogPKKYCVBC`Bo_GPkGQCbAA`FohGN[FyDRAe_}oNgJkCIBB@?_noWgFKBiBN?{_qoZgE[FI@n@o_YoYGDkEq@b@i_VoFf{[@h~B?[^noDFz[@`}r?U^mntG@Z|Y?Y~Q_CoCfxj|A?]~M_Gcwq[xMSeyR`HneBrAX`CoYWJKCcyQ\hMkj}U@J@d`QpHW[kUUNJEc{q]HM{iuT^ImdLqfXRcgYSPIFqvh[kmaVFJedoqnHUkjyTrIydZqyhT{myTfJkdWqiHXkiqU^JOdTqlHS[iYTrIcdZqyHR{mYTBI[dqqdhXklASvIWdfqcH\[hIV^ISduqohG{kQQJJ?c`qthGKlQPzJQc^quHB{aIUzG_dlqEHXKkiOzJEcLqDHZ{`YVFGQdoqBHTK`ATZGMdTqjh?{jIORGIdWqmh?KjyOFI{cApfhW{kaKvE[ddqtgrKlIKnJSbIqpGq[kAKbEMd`pbHZ[WiUzEGdkqUhKKeQQ~HacmqTHLkdYRbHWcvqRhK{dIRVHOcsq[hHKcqRnHscdp~hDk^iP^F{cTp|HE{^aPvFuc[pzhEK^IPjFocXqHG|KaYNVGgbupqhP[[ySZIMbeq]Gwk[aRzHybbq^gw[gIL~I?b_pvgvk]ALrEybmpkhOkZQSREudBptgtk\iLbFWbVpsGs{\QLVFQbSpgG{[YQNNEabq_BoAW@C?Q?L?D_KODgA{@e?v?Y_MoFgBc@}@B?_mSvIzdTqYxP[fmQvGzcdqAxD[`rxi?[~y^VNgg?r}h|[~q^RNwfrr{h{K~Y^JNsfprwh|k~A^BNmfqrqH`k{qWVNIeCr{Hh{}yYVLKfurQH~[sQ^zLEf{rOI?KsI_FK}f~r|hfk~QXvNqe[rFhx{pi]fK[fgrDHxkpa]VKUfcrrh`{pI]fNOeGruh_k|yWNN[e@r?Hyknq]rJ}fjrvh^[|qVrNYdzq{hyknQ]nNWdwrkHt[yy\jMkfXrmhs{zY\RMwfQrfhvkyI]BM_f^rphrkxa]JNAfLrWhlKuqZNLieqrVHn[uAZ~L]e}rThl{tiZfLWewr\HiKtQZrLuehrdhe{rQ[fKqfIr_HdkwQXbMAeVrIHp[qi[NMGeRrbHcKxAXJMMePsmB^Hnsvu[BM?e~oGwCcAI@J?f_RVzz}L~A~X^mnuvyZ|\}i~L^gnry[TJ}fLRBhqSoYVtLuf@RBh_SvyVDL]dxRZh\SuYVDLEdxRTh\SsyMtIubtQpg{SjyUdFEbdQrgySlyUtEub\QrhYSYyKdIubPQpgrSjy[TBUfLOxhqSLyYDA}`dRTgWSsyYtAeetOlhkSIyCTLuf@OfgQSvyXT@]_tRNheSEYADKU_hRHgHSpyXT?me\ONheSBY?tKe_PRDgASpyBdHmc|O^gOSfYPDD}cXPbhDSWYOTDeaxQFhASUyPtDMcdPVhGSTYHdFua`Q@gfS^yGtHUaTQXgcSdyStCEdPPBhTSPYSDB}dHOzhPSNOBg@{?u?T?K_DyTlI}dbQthZskymTWmjlUNiyTbYmDW}jXUJivTbYktWUjTUFisTaYpDSukHTHjBTQy^TV}f|UBh}T_YnTNUflT|h{T]YoDNMkDRni~S{Y\DVejxRli|SyyhtSMidTFigTPYgDT]hxTXi^TTYkDR]jHSzi[TWyjTREi|StimTKy_DP}hDSDi@TGYaTQehLSViQTDY`tPug`SZiETEYdTO]h\SJiUTAYqd]Mk`V`jHTvywtZml|VHj]TqywDZUmDUvjaTmYtt[ul`VPjXTryyTYemlUljiTiy|TYMlLVnjuThYrd]UnPU`jNTxyzDXmkpV\jJTuzAd_eopWLkJUAz?T_}oLWRkAUCY}D^uo@Vtj~T{zBT^]o|VzkMT}ZD_?IpBWo?BUHZDo?QpE?CkXUHzDO?Ipm?EkYUI^