CAT(2858,1)
Sparse6:
:~?ki_?O?G?CBO@R?g_TOM_FCBe@n?v_[oMGFCBe@n@E?aoPGG[CUAH@B_aoOwGcDGA\@L_eORGHkCyAN@G_bOQWH[CiBG@Y_kOUWJ[DuAx@W?hOU_IcDcAf@Z?ioToJkDoAl@P?iORoI[D?Ad@P?ioRoIsD[A`AD?\oNGFSB}@|?|_]OMwFSBu@~?}__oOgGCCAAB@A`G?bGPwGuC[AJ`A_cWOwHMCKAQ`C?dGPOHYCQAT_|?`WNWGYBqAF_}?aGNoGiByAH_|_awNGGuBsAK`F_^GPoFyC_@|`H_\gN?HECc@v`I?\gQoF]BoAT_~_YgO?EmCA@k_v?_gO_E}BYAB_xO[GMKFQBj@r_q_^wKoGEBGA?`A?YWL?GICE@f_nOWGJ{EEBD@b`n_KgE[BE@f?q_WoLGEkBY@h?t_ZOIwDcAu@\?o_Vo]WNSFmBx@}_}oPgHCC]AR@J_dOXGKsEUBN@h_sPA__GOQG?CEa@@@W^gN]F}Bx`~?}G_?NiFwCAa?_}w]wNiFwBx`{?}wYsLaEnB[AAOv__sLsGJBp@to{o\kNGFXBs@vo|_]CNSF\B|@sO~o\SNwFRBs@pO|_[cNSFFBZ@kouoZSLcEtB\@jov_ZCLoElBR@qoxoYkMWEhBR@notO[KLOF@Bb@vOx?]CMGF^B^@qoxo[KMWF@Ak`UojgT{JED`BP@OOs?SSLGDBBL@PohOX{IOE\BI@ToiOXcIgEVAg@uOh_\kI[FVBGA@oqO_[K[GFBE@xopO]KNGEHB@AAOoo_sKGGJBg@_On_\SMcD~AY@gos_RcL?CvA\@eofoX{HwE\BI@JoeOX[KoCpAr@[om_UcJGDpA|@Zon?UkJkDlDo?PoHGCSAY@N?d_SOIWDSAi@P?h`kouwZSLqE|B\`aopgWcK]ERBGbAp`go{WIKHEBb?`ZglwV}K?Dlat@\gl_V]JUDwat@]gl_VmJUDxa}@[wnoVQJiD|aqpXgkcUEJFDaai`]wioVeImDyah@^wi_WEK?DRaf@`whgWUIWEEaz`LwmoReJoCwaT`ZgdgU}JYCkaS@\WdOVMHQDsaM`_wboWQKCC[aH`XwagUeGgDgaw@CGaOVIJaCPaE`Xw`wUeG[DgaD@[g`_VEGUDoaB`^G`GVyGOD|ao@QwjwSiIQD]a_@SWgOS}IADOal`NWfwTuH{D[ak@MwjORiIqC{aY@KWeWRYHiCqaQ`PwcwSaIKCeaP@Jgc_RAHECnaN`OwcGSUH?DCaJ@EWb?PmGmCYbt_KgE[BE@X?l_ToIwDkAq@\?o_VoJgECA}B~A@`?O_gOcGMB@@]_noVgJ{EABB@b_pOWWK[EIGNCHaCQBH@s_uOKFgcC@yh?w]eNQGIbtAAw|?_eNIG@brA?g{w_ANIGBcA`xx?_]YNgFabq@|g{W^UNmFab{`xG{W^aN_F^bv`wG|o]ENaF^bx`wW}O]AKsF|bM@~wrW^yMsFvb{`uwzG^aMeFkbi`zWy_]mM_Fsbh@|gyG^UM\FNbeprGxS[mOIFHcA@qGww_MMGFpbb@{wwg^IN_Esbv@kw|wZILZEmbUPiO|[YkNZEiBuPi@@[Y[OTEeCCpgo~sYSN~EcB}pg_~[^oL@E`B|P}or{^gK|F{BMpdp@cXcO\EWCEpcWq[XIKhEUbIpcGp{WyKUG?bEa?gp__EOKEGcC@ah?wWeMwE}bn@oGzgZ}LuFUbk@nWv_\]LoEtbZ`mgvGZYL]F@b``kWwOZARu?a_QOGwC[AQ@D?e_RoHWCkA]@LBK`dOqwXsKuE^BO`hOsWY[LUEhBU`jouGp[WuKXEHbCPahSOh{StI`DKqg@R[hWSxI]DKQdpRkhKS~ITDOqd@SCgCRrIAC|Q]@O[f_SHHxDBQ]`OkfSRvHvC}Q^PMsfwRlHtD?Q^pM{aiPXGjcxA`HM_gYReIDc~AZxO?fER}HocuAcHLohIRYIPcsa]xLWfqRyHidNaXhL?iERMI_cpafHRoeURGI\d?aTxOOdeSEHWciQThIkcoStHLDLqQpRKhKQJHFDIQP`QkhWQDIWC`qdpGcb{SNIHC_qa@GCboSZG}DFqNPPsbkSTIJC\Qb@FKgsPlINC[Qb`E{bKS`GtDHQL@QKg_PbIHCXQK@O{ggPZIJCVqb@DsaQPLGdcRqIXDC`yP@G^cOqGxCS`iOpGXcMqExBc`IOhGRcIqDxAs_{SxI]CGqC@RkdCQzHQCnqSpJseCQ\HaCgQW@H{cgQtH[CcQQPJ[U]JRDgaJPDwbCO]GRCGcFqCXACpgWPK[EDREp`KmQVLJddoqwx[SkoWzJMENqrPbsp[UFKWDarEPWck?WhJAEJQoPakpOTzI~EJRDPVspgTtK[D]REpV[jETfIqdYQlhUkimTZIkdVQkHT{p[TPIiEKqiPbCpsTJK^DRrF`Ssp?TrIvEFrB`VCmsVrJnD|qz`^SpKVTJkEGqypaSnWVNJwDsq|p\CoCU|J_D~qvp_ClsVjJZDxqv@]cl_V`JYDxQuP]KoSUdKFDiR@`Y[k{WVKLDgrB@YCnoURJJD~Qq`^koGULKCDcR?pW{lSTDJVDPqt`ScuIZHLbedRQxhcuSX@KaErrX`cKt{ZVL`EurW@lctcY`LZEhRU`iKtoYNL]EcrVPhCsOZPLEEtRPPlKrSYBLBEZrL`gSrkXdK|EYRN@e[q{YfKpEirK@icr_XXKmE\RJPfKrwXRL?ETrNpdSqWYZLNESRR`c{qOYnKdEkRGpisUiJXDjavpZWlseARDH`cmqVxJsdiQxHZcaqPxGsxk\NM[FSrfPtCxs[~MZFORf@rsx_\HMeFLRePskyC[pMbFLRg`rKxU[nMUfHRdHq[vo\HLyFRR]psky[ZnMhE{ri@nCvC[|LrFOR[`r{yCZ\LoFPrZpsSwW[RMGFDr`ppSvO[FMDEzR\Pocw?[XMAFEr_Ppsvs[^MPE~rc@ns|gM~F_bopwg{[]QNLFfbqpyW|S]aWJKFeBR?h_coMV~K@e?Q~H^snuVtJzd{q|h^Cn]VfJtdyQ{H]SnE^SNcftbwx|G}U^ENefsBxX{_}]^ANnfpB{X{?~A^?NkfpBzh{G}u]{Nvfmb|Xzw~Y]yNsfxbvxzo~I]sNzfmB~XzW~q^oNYf{bvH~O|m^WMufvBmH|gz]^uNPfhb~XyO~q^QNMftbsH|O{}]UNnfeb{Xx_~A]ONtfdB|xxG~Y]JNFfbRohwc{M\}NefsBoXw?}]\wNwf^B}hvg~e\uNqfyBmX}Wzi\eNVfYbuXu_|a]mMofXBuXuG|a]kMlfibjxy_yy]gMifjBjHygymaWHvczQ\XNKfiRpL@e`rOhfssAX~Kze]rNHfCriXrPNGisTqILDWa`PNGhsSQITD?ahPLGmsRaJ\CoaxPKGlSRaJLCsapOVgKSDiE\BE`dPXGPsUaCdD_`DO^GhSGQIdA?afPZGMSVABtDs_zOXGisTqB\DW_tPHGHsQqAl@OaTOOGcsQqAT@CaTONGbSBaHD?saNOIGbSBAHD?kaNPBGBsPQ@D?caHPCGASPQ?lCK_LP?G@sOa?TCC_BN}G_S?AGS~{aBOvGVSMQEDB_`^OjG]sJQF|Ao`|OiG]SMaDLBk`POdGYSLaC|BS`LQeHMsfyRtHicxQZhQcYYSXEadGPfhQcXIS`EYdEPdgocgIKPIIbEQ`gnCgISHEAa}QahGCdyRHG}coQMguCaIPHEicSPjg}CdINhHYb{QTg{c^yNXGEbsQ?g{CcyMxHEccPugxcayMhGqcYPshAc[IOxFIcKPphACZyOPEybYQBfiRthyk|]]rNWhgCmIVPLIdqRPhfSryXlLKd|RTH_StAV|JmdzQ{hgCiYYPIieaQjhRCsyT@LUdMRShYcoYUxKMdkRAhbckyXHJQdcRGhaCjyWhJAeKQphdCjYTpKqeUQkg_SOiGLCMaJPCgbSQIG|CeaTPJhzCti]hLafgRVhwc}i^`NMfuRqhwC|Y]pMyfgRnhuc}I\XNefWRvh}cyI^pMifQR~hqsxy[tMIfHRbhnc|y[@NefARwhmC~YZpN}eyR}hkc}iZXNqesRzhOSgiSLIMdJQciMtFIb\P]gjSUiNDBIbxOyh?SLiNDAYc@Omg}SIiBdGi`@QMgKS`iOd?ycXOUhCSCiHD?Ia`OIgeS@iKDByaHPigqSOiYdHYeXQYhgSciZDKIePRahmSpiTDMYdXRmhWSyiRdJYdHQ}hOSmi`DPYg`S]iETEi^dNIfpSEhyT?_foSWICJeDtAw`\onWVcXmKxEYbMpfgr{jeTpIvdgqrxYCvEZfLqevR[Hl|Ai`POhgQsHyCtIedVQihRSiIS|PIghSRiFtCYaDV_jdTsI|T]Qm\VSj^TvIwT\amLVOj\TkIxTZQm\Ucj^TjIwTYamLUojLTmIsTZQk|UgjFTjIqtYQkdUGjPT_IrtWQktUKizT^IqtVakdUCixTaIlTWAj\T{irT]IjtUAjlTOinTUIktTQjDTgibTRIltVAiTTOi\TUIgTTQh|SwidTRIgTRqiLS_jpTII|TQQnLVSiVTvIet\ahdZ[?l?W_JoEWBS@m?x?]_MoFwCKAABl@v_{PNWf{RyHtC{a\qMxFSbePpGvcZRHhdCq]XFKdeQRmHusz]\tMzf[sYiLdEmbZPmgvswYZ|MAerRZhlTHiclQQhNShiSTxq|T]cnXVgJttzQ{d]wnLVnJqtwq|D]cnBVaJrtxAzt]Wn@VdJntuq{L]KmzVaJmTuAzt\gn@VXJntuayl\[mrVWJjTuqyd\GmzV[Jhtrqyt\CmjVVJgTrayd[smfVKJhTsQxL[{mVVOJdTrQwt[wmPVKJbtoqxL[SmVVCJdToqwt[SmPVCJbtoIwT[Em@VAj_t]qudZWjzT{JYtia|dY_nVViJStzQsl]{lNVmJRTgavlYKl|UcJ^tnQr|YCl~U_J^TkQrtXslfU[JXTjarLZ?kvUnJLTdat|X_l`UVJVTkQq\XSlfUqJITmqqDZokbUyJHTlqp|Zck\UwJEtbAvTWglvUJJ]TmApDZckRUvJBtiqodYskLUkJAt_QulZWkFUAJYTiqntW?lZT~JUUT_@S?q?V?L_FOBzKO@A?b?Qks?CwAc@UrRXiksUYJLTeencXdkrd{JKp^Eq_WYkhEFJIH`mq_W\khEFzIH`yrCWVkKeXJKX`aogXakJEXJAheMocX^kHeWZAHeAo]X[kGEVj@pduq}WJkoeBZK@_qqwWGknEAjJh_eoIXYkle@z?pdeoGXUk@eUJIx_IqkV~kkE?ZIx_AnyXXkld~i~`dinqXRj|eTI~PdUnkXdj{EXzKp^]qeVrkid|JI`^UqSXCkbERJGhcmqMX@kceOzH@cIp{Wwk\EOJFxbepyWvk\eLjF`bUpcWkkYEJjEXaup]WhkWeIzE@aipIXNkQERZHpaMpKW_kSEGjCxaEuCXOkhUSWAs@a?n?U_KODwBK@m?t?X_LOEwBc@y?z?[_NOFZWPlEuGZQl`eszY`kIuiZCljEozVxkmuAZKl_ErZVxkyuAZOl_ErzWhjqt{ZFlbEnZV`kat{ZIlcenZMdfYrjXvk{u]JY`jAuiYqljEkZThlEt]ZRlVEsjTPkytWZOlTerzSxkatQZIlSEqZXXiQuYYeleEhZSPkUtEZFlOepjLhjirUYzkuEmZVPeytuXol[eZzRpjYt?YwlNelzQhhmsyYVlJEfJQPhasgYYlHeeZPHg}sUYPlDEcJOxgysOYLlEE`jNhgUr}YBk~E`JOPfisAXzk}E_JMHjQreYtlXe[g@S?q?V?I_DoBJdXjmttYx_EoBg@{?u?^?M_GOCgAK@A?d?PjTtjYtdYyl^UojWtkyuTZQllUtmUFLZdhrYxg[jmZfIzdhrexW[wmVFIje@qex][gmWfIjd@rMxc[hmRFFzcHq]xI[_mPfHzcPqYxG[dm\FFJf`pyxu[\mZfEZfHpmxo[YmJFLJaxrYwo[tmWfCzeXpUxc[SmPFCJcXpIxG[PmEfFzcHo}w[[_mVFAj``rAwU[nm`f@zghoeyG[Gm@v?j_LoQwL[Dm`e~j_@sUyGZ~m\E}zf`nuxuZ{l{FOJgPnivq\@lyfNZ]xr}vk[}m]e{jfxnMx{ZslvfOJgPnEv_\@lpuxZ[dmYvPZflmuvjZ|mAvDZ`luEtz\plevYZWllEyZ\XlqvSZZkhuTZIddqq|X\kouVzKDeUrNXemkFgzshtiyq]cnLFZZlxxqz[]ZmtFgzshuqzU]cnLFXzrXue{w\gmqffjkpx}zG]\nOFWZkXyI|A\anNFWJrxty{y\^mlfgjjhyAyw]`mhVTJi\tUyn\UmeVRjhls}yb\OnAfdzoxxe{K]WnIF_jo`xY{i]BnGf^zqXwE{c]?m}Faznpwuzy]Km{fbjq@vm{]\ynCF\jpPva{Q\vmbF[zh@vUyM\smwfQZmPsmz_\InRFtjt@|a|M^VnefsJyP{}}a^Mnhfqjyh{q}g^Jn]FwJvh}E|u^^nmFmJzpzi}y]xnbflZxHz]}O]unXFoZu`{M|e^An^Fjzu@z}|a^?nUFpJwpyy|Y^DnSfuZtX|m|S^Yo@_FwCKAA?~?`_OUEjBd`mozW^kNUyZ\\mivXZmluwBCAU@P?\_ROEwAS@}?l?b_IOGWBC?u?`?\_LOBwAS?]?l?J_IOAW?C?]?H?J_@OAWAC?U?@?L_@OBvyC@|}h?b^hOGVxSAT}\?h_RNrVwb~T}O~x^bN|v~R}|~{~r^}N{V|B|t~W~`^tNvvyr}L~K~Z^qNuWObVdjytzZ?l_unwA[@U?h?R_IoDJL\eqrZXmkwUZzqLxM{d]MnGVbzp\wu{X]GnDVaZmTvEz`\rmyv\KKYDFBI`RoqGSkKICzBC`NooGSKHYDFAW`RoegSkIACbAS`MofgQ[IyC^Aq`EokGP[IqCVAM`SoigPkGQDvAG`^o`gVkGQDjAG`[o`gU{HQCBAA`Go^gQ[FyCrA?`LodgO[AiBf?m_zoJGMkKABZBC_woogL{KYBN@i`doYGXKEADv@c`^oWgVkIyAvAq_nokGJkDQDRAk_koigI{JQA^@Q`[olgIKCmAZ@H_`oPwGkBqBr@?_}oNgN[FI@n@u_\o\GFKBABr?s_}oKgN[U`qYxN[dmTVIZdD{]}P^HnaVpjwl{E}F^An^VnzwEJtDnaxP^wmCVuJhDnaxP]WmCV]KLDhbDPYwpCUuJTE@auP`WlCWMH@DzaQP^wcSVuKLCZbDPFwpCPuK@CTaKP`WoSP]JhCNa{PCWmsPMGFCFaAp?W^{NuJDBvarO}wkcNeF`Db`yPXw]SUUFXD\`vPVwkCMmIxBdaoOyWjsM]ItB^`pPTw[CTeEtDR`kPSWZcTUElDZajOtWYSTeEXDP`gPTWXsTMHpC~a]POwfSSEIHCracPLwgsRUITClaWPRwdsSuGPCfaEPIw`SQeOxF~c@q?W~K^uNvE]cKpghA{YAOvGUbKpfHB[`aKvGObHqDGq{`IKjEKcGpcHAkWyOfEcblpvgtKYYMzGIbiqBgzK_qMnFGcAprH@K[iONF_bapxGw{]IMFFeb]pygwK]aL~Eubupmg}KZaN^EobxplG}{ZINjFMbTpsgt{\ALZ@r_zo\WNKFuBvHXclqVXI[d]QjHKczq]hIKfaQ^Hocbq[hHKfQQVGaczq]hC{faPJHocMqGHMkfIO~Gyc_qNhGkbqQFH]cYqWhFKbYRBHicVqZhE[eqPbHccSqYHDkeYPVDPaipSwi{TmIrD\aopVwk[U]JJI{c}q_HVKjiR~I{dZqmhUkjITrIkddqkHX{iyUZIed_qihW[iaT~JCdOqhHXKkYTFIZdMqfxQkheSnIMdaqchXKhAUNIGddqbHX{giUZJAdBqnhOkkASFGPcIqCxA{`mOrJPdiqsx_{omWRJgeEqzHaKmiW^KKdpqxhaKoyVJKQdmrDh[KpQU~KQdjrDhZ[pQUrK?dyr@H^KoIVnJmd|q~h][nqVbKWeZrEhf[pqXrKoe]rOHekryXfLAeQrIHg{sQXNKieOrJhb{qqXFLSelrUHj{tYYzLGefrRHi[siYb?@_Ao?wfKRuHvCraZpLXC[a]PJG\cOqFx]kneVnJndwq{xocxE[PMTfBRcxpSv}[DMNf?RbXocve[PL|fBR]xmSv}[DLvf?R\XlcveZ`L|evR]xlcvMZ`LvevR\XkcxMZDMTeoRcXpSu]ZTMNfERYXySF}CBAB?F_CoAK[MMNFDb]poWv{fuR~I@dAq`xO[peWvK\eNrGxcK~Q_BNqf}r{H~{~Y^VNmf|r}H|k}Q^VNmfsrxh|k~A]~Nsfpr{h{K}Q]fNgfjrxhyk|y]fNafjrwHykxY]NMYfdreHxK~Y]BNCf|roh~Kzi^zM}g?rnH~{|a\jN[f[ruhu{|a\^N[fXruhuK{q\RMkfgrrht[{Y\FNIfRrqHskxq]ZM_fgrfhx|EG?Q?J?EsGIK\AQbNOagqsEiK\@ybNO[gqsVIAlEA_nP]gKsBiI|@IavOOgksAII|?qavOIgksWI?\Dq_NOCgnsQiF|CyaFPKg_sMIGlCa`zPEg\sLIC|BY`VOqgSsSIDlBAajPQgVsi_@w@K?a?N?H_CYStIudPQnhQSiySdJEdhQhhRSkyQTJEdhQVhISkyPdImc`QnhFSjYRDG]cTQ\hCSeyRtGEdDQDhOS_yMdEeblPlg{SYyNTE}bdP~g}S[Y\c{]]VNHfersXxw?c?Y?J?C_Ao@lNifVReh}s}I\LMaf~Rii@sxi_LKyfZRQhwssI\|MAf~Rci@swi_LNaevR{hms}iZ|LQffRuhksti]lKqfbRkhcsqi\|KIffRuhbspI]lJ]dvQxh]soYV|D]avPXgmsWYJ|PIiNSSidtCIhLQIiBSeiatHIg\SYgzTIiOtQIb|SAgnTCiLtOibLOUgRSFiDtBy`lRih^S}iXtNIeLQahjSwiUtIie|VYiZTyigtRinLUii~TmiptZIkLUYirTgimtXIj\TIjbTUiytTIm\VqkRU?jEt^ip\WIk^UQjBtcIolIedNQdi\tNyflRUhrSvjWThYtdYMl\U`jSTgYstYUlTUbjITjYrDZEklUnjRTeytTX}lPU\jgSxy\\MejVTniutYYk|UUmxVPjhTwYyd\}mtVPjiTtyyT\elhVNjdTlyuT[umlVDjlTqYzD[]l|V^j`TwYwD\umXUzjdTmYvd[}oXVikBtzJ@\]aoRWGjpu@i{|_inJVmj|t~i}\^AnzW?jyu@I~L_InnW]kEuGjALaAo^WSkKuEjA\`YozVLjftqzEDaUphWfkXUIZDTbMp\WtkUUKZ?|_moRXA?@ULzGo?YprXC?AUMzGO?QpzX??@UPzG_?Yp~