CAT(2456,1)
Sparse6:
:~?eW_?O?G?CAw?G?D_A_@g?_?Y@g?D_BO@GF?B]@n?v_ZOLWEcBQ@l?t_VOKGD{BM@b?q_aOPgGkCC@v@B?]oO_FcCC@|@B?_OO_F{B_AH?y?bOMOGkBa@t?x_k_RGH[CiAZ@N_fOSOI[DGAh@O?ioPoI[CcAj@G?iOIwDkAq@d?p_XoXWK{EYBJ@e_roYWLSEaBF@c_pOY?J{EgBB@h?oOTgJCD]Au@[_l?VgJGDuCE@j_uoZGLoGAB_AA_v__WNkF}B|@y_}O]wMOGABeAA_w__WNGFUBk@v_{?\GQGHIC_AR`F_dGPOGuCQAK`F?awOWGYCIAF`A?aGSGBq@z?z_^OOGF{DeAv@Y_mOVgJkD]Ap@U_jOUGI{GqC\AL`CoawPSJKDlAt@[Ol?U{IyD^Al`W?kwUOJUDaAs`T?lgT_JaDUAv`S?gwTGIIDMA``Q?igSoIqDIAj`Q?ggSoIMDIA``V_gGRoIuC}Am`W_fwUOHyD_A_`R_eGROIeCqAg`L_dwRgHUCwAU`m_IWDSAaFK?j_UOJWD[Aq@Z?q_XoKWOCGICB@H_cOPwLcEmBZ@m_wOZwNcFmBt@p_xo[gMcFUBlCFAAp@g_cOQGLCD`y`@G]wOYFkCD`x@?W]_OMFeCAa??zw^wNAFaB}`{?zw]GNiFqBoa??zW^oMyF}Bk`s_}G\WNiFSBx`r_|W\?N]FKBu`y?zW]OMyFeBk`r?xW\?MMFMBc`s_xW\WMMFSBc`^?}w^gJuFwA{a?_tw_WLeGCBW`}_tgY_NmFwBT`goswYSKyE`BN`o?rG[OKuEUB``n?qgZgKaEQB^`a_wGWwMIEKB``m_ogZoKQE}BB`^_ugZ_KEEuB?`[_ugVWLqDsBZ_ROHWC{T_CFAD`AOnGVsJuIkD\aj`UwigTqGNCHaCPMOjcR[IzCwAlpU?dsTgH`DXAVpTOd[T[HZDUAUPIGdSQeHJCfaRPGoiSQGIfDSAQPRobcPwIbC\AgPR?bKSwGtDLALpD_h{P_IbCVAgPCohcPSI\CSAepC?iSPGIhCPAhpU?`{TcGZDYAFPQOg[SkIJDIAaPMofkRwHxC~A\PLOgsRWIPCsAbpOOeSRKIDD?AWpFo`SQCGXC_ADoIGDSAe@T?h_SPg?rGXyKmE^bK@fWrWXyKsE\bM@fwqCWyK^EJBLPbOrcWoKvEWBDPeOpCX[KRDdarPXGkCT}I|D`BApWoo{UGKLD{A~p_?nsWCJzDxAyP]_m[VSJvDpBIPd_mSV?KjDuAup]?l{V[J\DiBGpZ?q[UkKdEAArp`?lKWKJP?e_RoHWCkAY@NFR@lovGZSMIF@B`bh@qwyG[qM_FIbf`sgxo\AMYFPba@tgz?[YMIFVb`poWwSZyM@E~bf@mwxgZuM]E{b[@qgvO[qLqFJbU`tWto\MLWFSbk@iwtG\YLSFVbh`iGso\QLMFTbOPgWsSYMLJEcbb`lWxGZYLmFGbW`kgtwZQL_ErcB@RwiKTAIdDSahpTWi{TYGRCGaBpAg`cOmLhEqbXqEpBS`aOrGYcKQEXAG`eO]GYcGAEH@w`IO_GScGaCxAg_yOmGLcJABH?[_UOHGTC@q@PA{_OOlF`CFPvp@c]?OZG?c@Q?W~g_eN}GJb~AAg}k^YNhGEBtqA?|k_[NXGHBtPy@@[]cOTFdCHPxpAc]WOfFcCCPwp?s_[NDFZblPuWzc\yMzFyBwp}o}[^oNdFmBzp}O}C]{NpD`apPWxGsc]QJHAcaQOxI_bYQkGwciaLxI_aEQkGbciaGhCC`}O|GpCgQK`Hsb?Q^G~CdqO@HkcCQXG{CcQNPHSbwQRHPC\QMpI[dGPrGsCVQKpD{bSPZGhCUQI@D[a[PTGZCQQH`BkaSOxHscxq[hL{fER`HtCrQY@M{e[RlH_CpqW`KkeCRHH\CsqVpLSdwRVHwClQV@NSfcQvHkCjqZPJKd_R\GDc@q@GrkX}K|F{b|p}g~K^]NpIRDKqdPRShOSvIRDJQdPRChOSnIQdGQcXQogESoIBdJa_hP{guS\IIdEQaxNohiS?IZc~aeXNghARwIQc|acXO_g]SOIDdCa`hVO\IMbFOcdqRXHcceQTHGcUQIxDS`mOzG[cNQFxCCk{UZJMdeQrHXkkyUUJKdeaqXXOkyUKJHddAqHXWk]UCI{d_amhW?jmTsI|d^amxV_jyUEIddaahxW_iYTgI|d^alhUgjyTfIpdXQjhT{jATUJEdUaqHT_k]U?IgdTAoXTGkITGJDdPAoxSWkQS}IvdOamXS?jaS{IxdZafHV?huWCHbcqqXHSSiQTFKDD~r?P_{oWW@K@Dyq{p_CnOV~JodxQ{X\{myVZKDDsr@p\CoWVNKADqR?p[soOVJJ{DnQ~`Z{m?VzJZD}qvP^snoUxJTE@Qtp_clWWFJQdiQsx]omEVoJbdzawh\_niVuJidta}XZ?k}UsJPdkasHdKqmXTKUeIrDH`CoiWRKLERRB@dCq[WVKbEORG`ckqOXBKVELRE@bcpcWvKREURJPaKqwWdKOENrB`bso{WzIvd[qmHf?s]XsLHe[bQHgcsYYJLAe`rOXdws]XaLHeWBQHfWryXyL?e]BNxeOrYXgKteXbLxjwnqV|J|d~r?X_Ck}U`JPdhQtHY[rUXnKuerBYXkwuaZILietbWhk_uuZWLbenBZXjguqYwLjesBVhjguiYwLhedBWhk_sqYULbekrUxjSt{YlL`EkRW@i{tMYjLSeqbShi?u]ZKLPenbRXhwuAY[L`emRVhjkqMXJKcfCraxpSwY[PMFf?BbxqGwI[_M@ezbbxqGve[_LwewbbHmWwyZcMLfEBZhm?wyZ]MLe|B_xogvqZuMCe}b\HnwvYZ{LtfNBhHsoyA[}MdfLbhxrgye[wMgfHBeHqWxi[gMXfJBgXqwyM[iMafXbihugyq\gMjfUbkHuOy}\aMm`NOfwSCReHpCvaYPLgekY}LbEobSPhwssbiPvGxcYqKxEcfyS@H~c|q^XNcmiVVJkdrqyX\CrIXhKreVrKXeCwM[JMCe}r^xns}?^FNaFqrwP{c|s^LNgFnrv`{{|s]tN^FmRv`z[}?]rNaFkRwPy{|O]tNUFlrtPzc|[]bNRFkrs`zC|O]\NTFgRt`x{|G]XNRFerqpyK{_]XNIFerqPx[{{]LNFFgRr`wk{g]DNHFaRq@w[{[]@N@Farnpwszw]HM|F`Rn@w[zw]BM{F^rnPwCz[^HMwFqrl`{[zc^LMyFrry@v\@o?t?X_LoFGBs@u`O?__NoGYDoAQ@D?b`poxW[cVEJdDoavPZwlk]UNNFebpPxG{[diQxHZckQUXI{imTZIkdSQihTKpEWfKQeFRCH`{tAYdLPeerRxhsxI[hMRfIrdxqtD_ajPVGlSTaJLDsahPZGhsVAITD?ajPUGfsTqILCoadPMGiSRQI\C{aRPJGgsSAHTCwaNPKGcSRQGtCkaJPCGdSOqHLCGaPP?GbSOQG|CK`zPDG^sPAFtC?`tP@G\sOaFdB[`zOxG^sMAFtBg`hOuG]SLQF\B[`fOxGXSMAELBK`hOtGWsLaETAy`^OogVsKIDs}c`VNjGUryaDd@WapOWGlSDqJLDk_fOTGmsDAJd@?`POiGHSCQDL?s`POiGFSBqDL?o`JOJGRsAaCtAO_NOHGPSGq@D?O`JOEGRs@QCtAK_FOAGQS?QCS~w`BO^G?R~qCD@s^zNzGMR~ABtA?^rO^F{SGP~S~S_xNvGNR|aBlAk^dNsGUr{qDd@c^^OZFwsE`}C}o_rNlGLRzaB\KO?Z?N_FOCGAS@Ee_?R_IoDIYo@a?l?VhjSuIY|LYepRVhhcViYhD}egP_h^CaIPHKAd}QIh_CayPhJyd}QKhgC`YYPGYeaQFh@CsIO`LIcERPg~crYOHKye]Q?g}CqiNpKqbyRJhfc]yNHKubsRMhdC\iN@KqbmRJhcC[yXHFUeMPshbC[IWhFIeGPpgucqYLpKab]RFguCpIWpEmeIPigrcoyL@KEbQRAgqCsyKpLUbIRSgocoYKXKMbCRAhXCmIVPJMdqQshVclYUHJ]d_QuhRciyT@IedKQihPcjITpIUdGQlhMCgYRPIIcuQ_hKcfYR@H}c{QVh\ccYVhHMdwQQhFCdYQ@HYc]QSiT?FWBs@q?x?]_MoEWB[@i?r?Z_LTN?B{AA@B?^_OOGYVtKAd~TAI]TNagdRsiFS~I`TOQgdS?iFSkIZtIqfDQghlSuIVtLqdlR_h\SqI\tMQeDRghbSsI\TLQf\RKhrRchpswi[|MYfJS]I^tOAcDP{iBSZI]TFQftPohzSrIKTLQbTROgrSUIVtDqdlPSh\SQITtDAddPKhTSqIFtCQeDP?hbSfHksuqdLLghPSfHmTIQZtQ_ezSKIQTBactOshJSHI@tAq_lOggHSGI@T@q_DOWgBR~H{S~Q^LNwfnRsH|S}q]tNofjRpHts{q\lNGfXRgHvS{A\TMcf^R^IOswAc\QGfB?L_FoBg@k?}?\?O_GoCgAC@I?bU^?IODWA[@Q?j?RiRtIYdD@e_vOYgPSHIC\AU`NOegTsJYDdY?lLU`JRthQr|YGlJUcJRtgqstWwkrUNJLtbQrTXgk`UZJHTeQqLXKk|U[JITdQrlXWk|UWJMTdqrlWglPUJJTTbAtLYOkNUaJCtgqpDYCkHUEJNtgAolXWkFUAJKT_Qq|X?j|T~JHT_AqLVkkfUTI}t^AqdWsjpUNI|TbanLVSlbTvJXt\auTU}jbToiyT[ymTUolPTmJTTZQtLUgldTjJXtYQuLYsjNUkIsTiqktZ?jJUmIptjqkdYkj@UlIpTjAkLYwizT^JWTVat|SmiZTKigTRih|TIifTPiiTTiilSSivT[IbtUagtS_irTIIkTQQi|KIeFR@heSqyXTKue^RMhhstYYd`CmLWRJcUCaw|__mzVZKDTvB@L\gofVWKGtuRAT__mjVVKDUAQyt\GoVVSKEtsr@d_wm^WNJguCAyD[ooZVMKETrR@\`?mTWNJduBaxLZilxUzj]tnyvt[EmDV?jaTpYw\_[nhWEJyu@Q}\^?oDWCJxU?q}L]sn~VnK?tzb?D^knTVyJuT}Q|\][nlVwJstyA}|]On|VeJ}TxQ~l]GlhUuJptlQ{LZ[m|UxJoTmAz|c_ojXHKJUPrAdboqFW|K_uMrGTbwppWyK_UNrFLacqZWjKfuIbHta_qVWeKeUHrHTaSpjWvKPuHBEta{p@WpKPUKBCL`sphWrKNuKbBt`gpXW[KVUErDl`[qHWXKbUPRBDfC@D?c_PoHGC[AIcTQGhCsbIPlGminTXikTUijdTms?Xyk}E_ZOPfmryXvk~e]ZNpfargXzk}E\jMhfiraXxkxe\zMPfaraXnkxEZjMXfArgXmkye[JMpe}ryXUk~eUJNpd]qeY?kiE_ZIhgIq_XgkhEYjIHeerUXdkreZZKpeqqwXaknEWzJheQq}XXkleWZK@dit_?W_JODwAs@a?nSwiZTLyfLRmhtRXhlsuiZlLyexV~k?u?I~d^ynzVxj|t}i}t^annV]joTvy{\]InBY~LhuoRYLk?udZML]UnbYDk{tzYxLaumrW|jguLZAL\umRWdkKttYvLeuqrVDjWuXZILZuqRVDjWuPY~LYulBWLjKu@YoL]UkRVljwtdYlLWUjbUTi{tbYsLUulRTtjKt^YgL@uiROlgOtNZMLQUsBStk{tJY`LgugrY\iGudY]LdugBXlh{uXZDLLufRW|kWsxYWLcUqbRTkcsrYTL`UdrWdhWuFYQlIUczQDhEs^YiLEujBPtiksXYhLCuiBP\ggtNYiLBUaBTdg[tV[aJKteyrTXqk|U\kYuLzEtbIphWrkWUJzELaqp\WlmQfIzdhq]xW[emQfIJcxqixK[hmPFKZc`rMxE[qmPFJjcXrAxG[nmWe~j_@rMxcZ~mUe~J^hqmxWZzl{FJze@nix[ZxlyfIJ]xqivk[hlvu{Z]DmyvXZlltfGJcHmevS[^mMExzbpmavK[\mKewzbXmUwsZcloFEZ[PpmvA[YlnfEJaplywmZ\mJEujb@lqwmZZmOetzZHp}uo[_ljFFjY`puui[[mDfBZ``o}w[[ImHFAJaHoew_[FmAFCz_ppUwI[Sm?e{j_XnQwCZrm}FZZl|uyzT\kmtv]Rflvgx~\zM^V]RfTvkxx\yM\vLrmtrczp[wMzvLBmtrWzp[tMzvOBkLsGzF\@MpV[BkDvGy~\pMnVUbmdt_zj\XMxvSRiTs{yh\OMhvTRhdswyn\LMjVXBhLuWyV\dMdVYBhDsWzR\fMbvPBjdsSyz\BMluhzTLiatTYklTvejrdxm{r]VnKVhbqdy_{l]fNIvcbtTxK|V]PNSviRn|yk{B]iN?Vhbndy_z|]fM}vars\yS{Z]KNQVfRpDx{{T]]NCv`Rptx?{N]NNBVgBoTwO|D]`N@vDjbDp]wt[ZmKvFJblpyxB[^mOVjByD|C|\^QNUvsRw||G}P^HNgVqbwd{W}X^JNavsrwL|S}F^SN`Vnbxt{?}Z]~Nfvmzvlzq|r]yn[Vqbul{o|n^JNZVkbxlzO}^]rNfVkBylzC}h^RNVv\jnDv]zr\zm|VtjzD|]~f^qnwv|B{T~W~H^tNpv|Bz|~W~B^tNoVvB}||w~r^\N{V|rzL~c}v^wNlVyR|\}_~Z^iNuVzb{l}[~`^nNrWAb~U?c~x_JN|wBC?u?`?\_LOBw?CAE?H?^_@OGv~S?\~|?J^}OAWECB]@h?z_XOMWDsAU@P?l_ROIuZjMDe}wT[JmEV@z`Loa{B\~n?V^Jntvu~P^insvxz{t}V@o_ooZgKkEqBF@Y_roYgJ{EaAz@S_qoTgK[DaBB@Q_loVgH{DqAb@S_coUGHkDYAV@G_foQgIKDIAZ?{_uoOGMKByB^@A_roYgG{EaAJAm?I_DoBJTli}t\\NmgVSZhdsyyZ]knVVjZt|zA|b^yn}V}z~l~}~|`mOsWZCKuEtBN`bOswYsKmEPBT`_OpwWcKmEDBH`fOnwVSLEEXA|`_OlWWSJeEHAv`[OnwUcJuDlAz_yOgwMSI]BlAd`MOswYsIEC|BT`JOuWRCLmCtB\`IOkwTsHED`AR`VOawUSGuD`AN`AOiWTcGeDTAF_~OgwOSI]C@Ad_{OiWTcFuDT@za^?BoAW@EH|B~a?POw^cSEFlC~`|POw^CSEFdCx`yPNW]CRmHdBj`uPLw\sRUHdBdaYOyWesM]E|Cx`oPNW[SRmGtCfaNPIwbcQeH@CTaQPDwbCQMGDCRaBPBw_cPEGPClaWPBWdsOk?i?V?K_EOAg@]KdEKbApcGo[WyKBEEbEpagqKWaK^EEavp[gp[VAKRDgb?pZGokUiKFDsapp]Gk{VYJJD[a|pWGn{TyJzDCahpQGikSYIbDIajpUgh{SqIq?N?G_Co@w@K?bFS`PohwSkIeDZAjbhPowyC[]M\FDbcPswxc[}MTFPbiPiwzCY}MlElbcPnWxc[EMTE~bZPowvC[]LtFDblPkWzsZULdF\bSPuWss\]LHFTbNPuwzsYML@F\bIpcwq{XeKzEZaXpLwekRuHvCxcPPzxCs]uPHFpb~QFX?S`}P@G@cPP}XCs^uPHFzcMP{xCC^]NhG^bppwW{k]]NRFjcDQDx@s`mOXGXcGQ@XAc_eOdGFchQIXIsauQhGjc\QPxFccmP|HHc`QLXFCcEPlHDceQJxICbMQ\GpcqQUXLCduRLHZctQVxKSe}RXH`bEpbwqK`]OvGXcGqDXA[fqSZI?dCq^hP[fqSFI?dAq^hO{fASRHqdDq\HPkgIRnHydBq]HOkiqMbFRbfqPxH[ceQJHBc_qkHVKjqTZIydVqjHUkjATnImdXqhhQ[hATRIMdTqkhSKjQTFIcdZqmhR[jqS~I[d[qdHT[iYSrIgdJqyHXCmMVLJFdaQxX[sj}UDJbd_QxXYskuUtJJdkQrxYCluUhJ`dhQvx\CnmV|Jld}Qyx]CnUVdJxdvQ|xT[ieTNK?eEr?haKoQW^KEeFrAhaKoaWZJbdrqxXaO?IW~KS?BRGxao?QXA?CeKRFo?SpqXE?EeLRG^