CAT(2250,1)
Sparse6:
:~?bI_?O?G?CAK?i?`?JoD_CG@i@A?W?KoG?CO@m@C?[?NoG_Bg@y?z?Z_MOFgCC@}?~?\_LoFGBsAAAS?C_Ao@W?k?Q?H?O_GOCG@{?}?^?P_HOCgAK@I?b?R_HoDGA[@Q?h?Y_KoDWAs@]?p?U_IoDwBC@i?r@y?roXGK[EYBD@d_qoXGKSE]BL@b_uOYgL[EeBP@l_m?YGJgEeA{@i_n_YwLgEEB?@k_Z_QwHoBUAW?t_Z_QgEoC}@k@L_[oMGFCBe@t?y_f?MwHgCAA]?{_]_QgH_B}@{@J_g?MwIGBqAc?|_h_NgIgCAAg?~___TgIwCIAA@Y_`?UWGWDmAo@B_a?TgIwCUAo@E_k_QWJWCaAs@F_a_VGGoDuAG@]_b_VwHGEEAO@__UOJgDSAu@V?h_g_KWI_BQ@]@R_X_TWI?BI@_@Q`p_MGFSBeAB@B_`OPWGcCYAP@H_bo@g?{?a?R?J_DOBG@c?u?\?M_EoBG@s?u?L?H_DO@w@[?aG@B~a@P?w^sOEGBCBa@O~g^{OAEmBz`k?}w^_LeFwBY`m?~WZWNuFCBy`n?|W[?N]E}Bu`m_}W[GNaEaBh`i?ygYOMmEeBk`j?zgYgMuEaBX`l_tWYWLiEgBW`m?tgYOL]CiBn`H?{G]OHYFgAR`x_dG]GH]CxAW`KoegRkHmDEBd`N_wwRoMMDCBc`O?xWSGMQECBn``_{G]GKQEMBs`a_{wWoNIDSBL`T_rGTgK}E_Am`V_rgXWIqD_BH`W_qWUOKaEOAr`Y?qgXOJUFQA@`t?_gOWMmCIBk`??zgO_MuCKBt`C?|gOwN]CSBy`D_}WPGNaC]BM`d_bGQGKuE_AO`e?bWPoK}FK@t`r?\g[wF]BoBg_{_yG[wFQEy@o_v?wGZwFIBeB`_w_wgLwLyDGA{`Q_nWSoJ}DQB@`R_ngT?KAByAu_}?lwNwJaB{Ax`\_]gVOFmK[BS`iosgYKLMElAW`LofWRSHeCxB?`_onWVcJ}D|AE`BoaGPKGmCT@n_vO[GMSFMBb@t_zo]WMcFaBlEmbUPjwtkZALbEMBOPgOp{YGK`EbBGphOq[YOKdEeBCPhopSWsLREJBSPb?t[WcLTE[A~pe_nsW?KvD{BNp_OrkVsK|ECBNp_orSWGKvEDBMP`orsWWKzEUA|P\_qcV[KjEWA{PdonKXcJvEHBIPbOrCXcKTEJBIpd_pcX[KPE?ASp_OdSQ_J~CjA}pJOncQoJ|DiB@PYoo[UoKHDnBApZ_o{UsKLDcBGpb_ksXGJNDdBHpc?lKW{JPDWBOPgOjKYGItEbAlphOjkYOIxDLBWPjOiKYoIXEmAfPkOh{Y{I`CcaRPGgc[QUHNCSA|P]?aCVcGbCQAzPCom{PSJvCXaJPEgb[P]GpCJBRPB?s{OgLPCLBTpBotKOwLTD]AyPVomCU?JfD`Awp\Ok[UGJdDVAbpP_iSS_IfDHAiPTOh[SgIlCmA\PJof[R?HxCpA]pKof{RwHdC_A`pO?bcPsIBC]A`PFogkQCIHCsAApLO_cO[HlCGAZpMO_sOcHpG~A{P]WmsV]JvDy_ZOLwEkBm@x?|_^oNgGCAe@T?j_UOJgDkBQ@^?o_WoKwES?Y?N?H_COAw@SdGQtHMClqVPH{dCQxHRCnqV`ICccQ`HGCfQSPH[cgQ^HQCeqSpHccMQHG~c`QOHGK\sQXHJBnQQ?{CccMxF^CeqQ_{KdOPTHVCVQTPD[dWPXHXCVqU@DkdcPFG]CiqFpIsa?QnHSCOqU@CS`sP|G{CKqNPBC`gPrG[C\QMpB[_IO@GDc@q?X?cbSNhGuByqL?}sbKNnFxCZqM?~C]wPjFnCZP{`E{^?PfFrC[P{PEc]kQFFgC`QP?|kb{NRH?BuQOO|S]GQJFbCbPx@G{c[NJHEBrpx`Gk\YMnFWbkpuwzS\?QtH[Bgps`J[dsMhH^BhqV_ykb?MHGoBaqKOxKbGMLGqBcQKOw{bwLvEwC[pmPFSboLtG|B]qMovcaSORGFCQQIP@[aWOTGECRqI@@C^wOjFyCHp~@AS^sOhF~CJp}pAs[gOXFLCFpqp@k[oO\FNCGpr`ACZGL|EsB^po?usZKMBEvB`po_ukmgPdGocWorwX[KqEZBO`fOqGXKKiEtBV`lovGZCLeBt@z_}O^gN{FuCHA?`@o`WOKGIB\@o_xoZwMSFEBh@w_yo\wNKFYLfEtbZPkgucZ]WKKReBbCh_gpAWCKMe@bCX__o}VtJudzq}H^[neVsKJeEA|x`gneVoKGdzBAX^WoiWKJpdub?x_OmyV]KDeBa{h__nAWqJieIAyh\WpUVWKUeJazH\WpaVNJgdsqyX\Cm]RcJ[cxavXM_lmRiJ]doA\xMol}VwJEd}apx_GkmV{JGdcb?HXOn}U?J{d_a~XWWnyUCJ~e?apXW_oATuKUd\BDHV_pUWmI|d^bEHbGjyTkKJd[BAXUgouWWIxdZbAhU_oaVAIedpAhx[_iMVEIadrAhX[giQW[I[eGAfXRopES}KNdObCxS?pISmJtdKA{xQonMSqJsdLa|XROnQV]IDdua`x\ogQV_IEdCa{hP?nEV?I@d@AvHNwl}SEJ\d?AuxNolyUoHzdkA]HZGfiUqHxdlA^HNgliVAHecrawhL?mQRQJedpaYxLOmUSgJVdGAshQWlQSaJRdiadXYohIS[JPdDArHPWkuSWJMdfabxPglARWImdWA[XTwe}R[IpcuakxM?jIRAIgdSaWhTOeATUHbdUaXXT_eQ\MJ\dlqvHZsmAU~JYdkQuX[SmMVBJcdrQxWncWEJzD}b?P^wokWIKFEEbBp`GpKWaKZEKbDPaweSRMH`CpaVPJw_cOUGLCFaCpAG`SOyGXCLaFpAxP[guSXIMdDQbxLkeyRbHncwQZH|_}Y^RNjfrryH|S}Q^FN_forxX{S|u]|N^flRuxzc{g]pNJFkrt`xc{c]hNGFjrtPxk{Y]DNBfaRpXw{zA\dMpfXrlXucy}\\MnfUrjXtsyq\RMgfRrixtSyi\NMgfSrjHt[zsX|M~E_rn`f{{?Y@LBF_rn@gSzo[dM|FHrdPwKz{[hM}FJRo@q{zW[XMwFErmPpsw{\vMPF\Rc@u{w[^HMHFqr``{Cw_^BNaFDra`{[{s[BNGF?RqPoS{g[FMDFeRqpocvg\lLzFZr^@vCvs\rL~F\r^`vSvO]\NNE{R\`yC|KZrLtFgrs`m{yCZ\LoFQRZpsSvC\FMeExr[`sk}cZXLiFrRy@lC}kZZNiEtrYP{{uS]|LeFnru`kS|kZFN\ErrX@zc{wYlNNEjrs@jCtc]bNRElrs`jSt?]FLQFbRSPwStK]HNFEirT@wks{\@M]Edrg@hkx{YTLMFNRfphcs[\BLHFQrQ@sSsO\FMeEarP`scrc\hKwFWRN@ukzGXtMpE]rkpf[|OXdNTEXrt`ec|cXjNVEZru@es}_XXKlFrRJ`|Kq{^TNjEWrK@{{qYXNKgeSrIxdSxoY|M\EmrVprCuC[rL_FLRepjcpgXBKaELrH@bcqSWzK^EORGpbsyE\JMefPRhHs[xy[~M_cXqLHEkbYPpGvc[qMhF[buP|G{`oovW[SL}F@B]cBQ@x@C_mOTGHb|P}w~c^uN|F~hYCnyU@JmdaQ{hVcnYUPKAdeQ}hOsgiSTIAd@Q`hLseiRtHuc~Q[hLSfiR\Huc~Q[hBcoIOXJycCQzhACnIOpJ}cIQ|hVc^IU@FudaP}hXC^yU`GEdeQ?gxCmIUpFUdqPrgwclYVPFAbgQvhScYiTPEmbWQjgucjITpE}b[QlgqClYVPEabIQugrClyLHJadqPfhPcUISpDidGPXhQcVIT@DudMPZhPcRIS`CudIPMhRCSIT@DEa]QfhScLIEhIi`kQjhVCLyFHIq`oQlfuR{H|{}y^bNlgjCeIIPHQamQXghcdYI`H]ckPTg|CQiGpFYbmPFg{CQIHXFmbqPHgOCcYPp@uc]O]gNccICHHIceO[gJCOyG@@]aAOWg`CEiBHCUaGOZgPCCYCX@M_gOcgIcHYA@A]`KOQgFCNY@`Bi_]O}gEcMy@XBq_SO~gACIIDh?Y_IOhgTC@y@HAm`WOGf~CaI?PGm^}QHg?CaiPh?M_AQKf{cVh~PD}^uP_gpB~YKW~qbANwgVB{h}hA}^mOrfyCKX}pBA^eOqifAiHT[iuTXIhdTSaIPLGicZQJhES@Y?t?]_HOHgCR}H~[~u^rN{f|R{x}c~Y^jNvfxRzH|k}y^^NpfwTXilLUijVTfisTWIk\UQjBTaiqtVYj\TqitT^inTUYilT]ihTUikTQqldUsiZTKIvTQql|SsjbTKIwTHqhtQ_i^ShIgTIaiLQoidTRITtWA_\UGgJSEIptWQ_dO_jJSFIqTTQ^TTOfnTUH{TTq^LNkipR{Iks{Ql\NSjNRqIrTYa]dUcflRrIsSxQldMWjZRfIvSyAl|MgjbRhIwSwqiTM?i\TOHqSvqh|TKfBRaIgsoQjdTgeDRDIlsoqjlT{eLRCInTNqdlS?h\T@IVtOaeDRGiHTBIWtKqcLROhDStIPtLacdR_hLSvIQtMQb\PohtS}IOTFQf\Rsg|S^I]TDQglPWiLSVIbtQQbDS_gtTIIKtAQZLLggVRZIFSvA`TLwgXR\IEssq`|LOg`SPHitCaYtPKepSSHjsyqXlK{fXRoHhSsA\lMwe\RPHvs~QXdN{eRRFI@S~aXTO?eVRGI?t{pfcruXpKxe\RMxcCqEXDKbeQRHY~D^UnhVrjzt|i||]qn\VjjtTzY}D^AndVpjxT{Y|@^ynqVcj|Dxy{h^mnwVhjrD~Y}X[AmAVsj`d|iwP^UnoVDjaD|y~pZInuUrj{dji~PY}nyUpj}DkIph]qkUVnjEDyi|hW}kSVjjvDbivH\umoUsjkdlYux\qloVYjZDuysP\IlMVTjjdhisX\MlGVUjQdtIr`\ynEU\jndfi{@X}nCU`jODwYthXmlUUUjJdiIt`XikqUhjKDiiqhWak_UEjADcYqPWekIURjBddInx[qkEVPj?DrYoH[ym]T}j@DsInX[mjyVIi{DqYnH[YmMT{i|DqImPZ}lsTriyDmymxZqjkU|iydniAt@a_vOXgLSDyCD@y_xO`gNsFYAD@E_hOQgIsCy@t?i_VOKgFsBYodWUkRUEjBtaIntV}kFU?j?t_inDVmjrT{i|T^YmlVIjlTrizt\JPXgisRYIlDUaZPLgMsNYGlAU`jOlfyrzX~l?U_jOLd{rJXhKpuXbKDe[rBXiKqUYBKTdwr\XjKkuZBJTdkrZX[KwUVRL|acsHWlLAuIbOtg_pVYBKVU`rDddWrDX_KkUSrKLdOq~XVKqUTRK\ecq^XLKquXbHtd?rPXQKtUSRK|cgr\XFKuUQBLlccrVXKKwUQrL|cCqrXAKlUVBG\dkqHXEKmuPRJtfCpvXqK]U[rFlfOp|W~KzU\RGDa{rzWoK~UKRN|bGs@WsL@UKrOL`CrnWQK|U^BAl`OrpWUK{uCrN\_SrnWEK{UAbNL_crtX{KCU@rN\_mo^WLkEUBjADfCn~XqK?u\B?DfWoDWCKyu?rM\aOpnWtKPuHREtbgpNWgK[UHbFL`sonW]KKUERB|`gp@W[KPUErCLnggXSHiDtAi`lOye^RQhfSsIXlLEefRUhistyZDLQeNRGhcsqiXdKmo`WJkEUBZ@|_yoFW?kAU?Y~|_Iwp[XmLvFJbTpuwW[EmGFAZ`ho]w[[GmDfCZ`xoiwCZ}mAE~J_HnuwEZzl|F@Z_@n}tU[OlSfBJTPoutW[NlVFCZ`piuuk[Cm?EszY`oUwAZWm@EtzYhoMuc[Hlef@z`XlEu_[GlfFAjXxoYvsZFl|eqJXHnquWZ}ldE~zXXnuwmZ?l\fCzV`pQty[Tl^FCjapj}wqYbmLEhJbXiUwwYelSFFZb@i]sy[QlNFCzRxpQt?[TmJegjapiEvmYKlzebZ^@gysUZxl{ecJ^@g}vUZplve|J\`nIvYZrlzE{J]hmyvAZdlpExjZxm]vEZgltEwJ[`meuqYnllEkJZXjEuwYqlYEvjUXlusoZEl`EezWXhquGYYlKepZWHh]tiYPlHEljQXj]sgYxlJEmjQhjavnZxl{Tyi|\]}nZVkjvT{I}T^EVNJhdsUejRDhqsrYZlJucZQThQsjYUlHuazPdgus\YOlFvirr\xq{r]YnNVfZqXye|S]WnSFdZspx]|M]SnQfdjr`wa{M]XnLF`zrhwa{{]HnLfaZshwE|K]AnRf_zo`ya{K]inAfiZnxyAz{]cm~FgjrxwA{?]`m~fgzpxrExi]MnGFKJqPrQxc]LnGfKzmPwize]ImyFazp`v]zk]KmyfazjPyi|I\^nRfUzt@tq|K\]nSfVZgxyIyC]^m`fgJgpyQyG]bmafgZfXx]{e[umZfdJfHxaxs]Tm[FdjoHqi{C[jnBFJzd`wMxY]DnAFJjc`yExM]bmSfgjchx}xO]cmRFgJbpwu{a[^mOFbjcHw}xE]QmPFcJlpteyg\kmifZZm@tYza\VmkFZzhpvazq\Nm|FSJn`tEzu\Rm}fSjh@uAzG\JmdFWjhHuEyY\dmpfRJkprqzM[|msFNjlXsEzQ\?mtFNyh\SuiXWEkBu@Z@D_ioR[]mNvGJcLqIxF_TO?wDB~}@\?D_WO@w?CAu@d?H_]N|V}SBU@k~v_[N}V~cB|~t?z^`OGvwcAL}L?d_RNrWCr{l}P?d^YOMVuCBm@g}r^TOLwFry}@w}l^FOKwDBw]@S}H_UNavqCA|{X?p_JNuwBB|u?s~^_MNwV{cAE?{~b^iNfVyrxl}[}R^gNdVqr|d}c}X_DNlvvC?t|t?N_GNnWAb{E?c}~^rNZv|BvD~S|r^uN\VnB~Dzk~n]pNfvkbyD|C|f^SNYVsrut|G|j]|NTvnbtd{C|Z]~NVvobttz?}@Z^loUwZ[TmQvF]lnUVizttzA|^`oOvGY[LqEjBU`novGYKLiE~BW`nopGPKKYCVBG`EoqgP{KyCfBK`Go[gY[LiBj@y`io\gYKLYBrBW_wopGKkKYBN@g`coYgX[EyE^@k`eo`gVkJaBz@}`\o_GV{KICFB?`AoigJkDiDJ@W`OoggK[EADN@]`SodGHkHYA^AW_goSgR[DYC~@S`MojGGKIyAFAo_aokgG{JYAVAs_cpCGdKQyGnCSaUpEgeKPIHVCWaXp?gf{RQFrCu`|pMG^kRiGBC{`~o|Gc[MqGzBqaOozgb{NAHNBuaQp@G[KOqFVCE`ppAg\KOyFNCG`qpXGjKTiJND[aspVgl[UIJ^D_aupRGgKSyIFDCagpPgi[SiInDGaip[??SVuJc?Ca~p\??cWEJk?Eb@p`_?sVk?DDwbA