CAT(2426,1)
Sparse6:
:~?dy_?O?G?CAw@I?i_R?IGCwAe@g?j_UOJWDsBA@^@??PoGgCcCc@x?z_\ONwFsBuAD@?__oOWGSCA@l?s_YoLoF{B_@z?x?^OM_EKBo@f?z?XOY_FcBm@t?d_RoHgDSAa@R?i_SoIGEKBM@dAE@?O_gOKFeBr@x_|O^GN[FiBv@{_~?_gNwGEByA?_zO]GM{EuB^@m_u_[wLwFUB[@s_{?YwMoEqBS@v_sOYWK{EWBz@d?~oX?NsEOCD@e@?OXOOKEKBd@o?ooW_MKEGBj@r?ooWoMcDwBT@_?uOVoL[DwAR@_?doVoHSDuAx@Z_eoRGHsD_B`@X?xOU_MKE_Ah@f?hoS_LKC_B~@|?boP_NsCKBv@D?}O]_GcD[A^@P?jOS?IkLO@F?c_POHGCSAM@V?l_UOQWH[CiAX@M_eoPWGcCMAL@G_boPwHCCYFoBt@zo|O]sNWFnBq@tO|?\[NKFRBd`qOww[ONAFaB``o?zwZgNUE}Bv`n?|gZ[LqEtBZ@uOz_ZSLoFZBe@hosO\CM[EdBQ@tOso\[LCFRBT@fOs?YsLOE^BV@fOuOX{L?EpAM@qowoPkGoFHBG@joq_ZKKcEpBq@Co{oPSNOCVBD`bopg]WKMFgBC`x?ogY_J}EkB@`i_oGV_MAD{Ba`]_wWVOM}FaAz`[_{GZoJaE}Au`m_lwU[JUDhAp`XOkGTkI}D\Aj`UOigTCIeDNAd`ROhGSKIMDDA]@uOg?\sH{FZAZ@eOf?XkHsEVBK@KOe_X[HcEZBk@JOz_Q{HSFZAE@vo{OPCG[F`Be@HOy?QcM[CfAB@Go`?P{GSC`BJ`eOrWEcBY@jAH`DoagSKIMDDAE`CO`wO[GUCHDlAsPZolKUwJNCXAnPVob[U?GtDjAlPZ?jCUgIrDNagPSWlwSaJYDFav@PgdsRAH^CgArpIOlKQgJPC^ArPGOkcQ?JJC]AopWobcPsJDCTaIPCwasPaGnCOaHPCW`sO}GZCIApPWo`cUCGVDiA@pZ?_KUkGDB}AnPW?_CT{F~Dc@|o~OksNoJJDTA_PTogSTWIBDMA\pR?fcSsHtDHA[PQoe{SgHrCjA]pNodkRwHXDDAQpOoc{SOHLCaAmpH?j[QKIxCFAhPAOi[TOGPCsAAPL__sRSGJByAWpKo^KN_HdEvbYplgncVuJ|EwB]pm_v[ZcLxEeAxp\OtCY[JhEkBLPj_r[YsKxEVBSpeOt[X_LTEPBOPg_q[YCKdEMBCpc?pSW{KPEpBBPjoo{Z?KJEJB@PbOocWoKFEbA~p_OskW?LHDzBNP]Or{VgKzDwBIPd_m{VWKjEqAxP[?u[VCLh?q_WoKwPsGuCXAN`GOcWUsJaDnAT`JOdwO[GUCHFnB{P{?}{]wNrFmBup{?|c]{NVFhByPy_}s]_NjFpBsP{o|S^GNRFCBwpp_}[[SNdF^bopwGzc\uM|FFBtpqO|k[_NXFBB{P}OwK[GNnFtB^p|_wC^OL|FXBqpuo{{\gNLFOBjPu?yS\CMnFNBhpr_yk[sMhFIBpPx?xc]KMVGi?oOVgJ{EEBF@a_rOXGKkCMAJ@Ca`pPWgcSIIBD?a]pNwfsRqHvCyaZpMWfCRQHlCtaPPHGc[NyG@B~cXaQxEgcuPgHKcdALXH?bMQQGscWAMxEGbePcGycWaMHEObYP_Gvc^aJXGGa}Q?Gmc]AJXFoa}PyGmcTaPXGwaqQKGicTAOhD_cQPUHBcBAPXGw_aQKGFc]AGXFoaMPyGacNAOhC?cQO}HBcMaLxBWbaOwGuccAEHBOceQSGXcIqDxAs`IOfGScFaOHAGcEO_G~c\aBHFG_yOYGycDaRX@GcqQUGIcRa?x?gaeOGGgcRa?hDG_APOG@b~aHHCo^uPIF}b|AHHCo^qPIFzdM?rgYCK}EbBR`hPdGqsXUKdERbGpbgqCW}KZEKbDqfpSkiCTNI_DRQfpSSiCTHI_DPqj@RkhwTZIjDMQi`RkhwTRI[DSQ_XO[gIS@H~c~Q\@TcfGTZHrDTq[@S{iSRbHnDRQZ@TCigR\IhCuqYPSSekTHHiDPqePKkeKSvIYCqQW@RKeGSvH`DLQVPQsd{SnH]DKQd`JSdoSnIWClqcpJKhSQpISCjqcpIchSQlISCiqSPQCdGSbHRDHQc@H{d?SdHMDGq`@Kse_SLHfDAq^PP[ggRvIKC}QbPNCg{RtIMC{q\PO{gcRnIGCzQ|`\km}V\JiduQyxUwnMTqJtd[A|HU_nMTkJtdYa|H]?jEVaIrdxAkhTonAVaIodVa{h[GjiVEIzdpAnHYgm]UmJhdjAyH[_k}VKJPdqasHYOkeUUJSddAsxX_k]UYJEdfAqHWWliUoJDdkapHW?lyV?JAd_avxZgjyT}JZdmAnXCsaQPJGfcSqIH`CoiWRK\eNrFhcWoyXIKOeQBBxc?omWWKaeEbGXcOnmVqK`d|BGH]oqMVoKddzbHHbGoUWmKFeKB@h_OpEWEKQeABCxbOn}WAK[eLb?H^_pQV{KUd}bDXQChESdISdIqcxQshaSnIXdLqehg_qYYIKgebBHxgGsuYELMefbOhg_ryYKL?eabNxfWsiXyLKe]BQxf?saXsLHe[bPxekr]XlKreYRKhdwsiXaLKeWBQxd_suX[LNeUbRhgwqeYQKjecBIh]CnIVbJrdyq|HiCtIYbLjeurZHj_uyZ_L\evbVhjGuyZ_LZevbUhmGtYZeLWexBTxmGtMZcLSexbTXkguMZGLferBWhl?t}ZSL`esbWHpGwM[IMJfDB`Hm_wAZkM@eyb_hoovu[ML}fCB^xn_v]ZuLxe|B]Hq_xU[cMVfHbdhp_w}[aMMfGBbWLCEeBN?l_ToJGIkDYAn@P_gORwISDQAfDEacPPw_{OeGPFBb`PoWv{[AL|Hwc|Q]XMkf]RlJxd|q}h]snaVnLaeprXHj{uEZ@NGF`Rq`wc{c]FM~FaroPws{[]@M{F`Rn`wczs]FM~F[roPv[{?\tM{FZRn`vCzs\nMrF[rlPv[zO\tMuFWRk`vCzC\nMrFUrlPtszO\^MgFTriPtcy[\TMgFQRh`tKy[\JM`FWRk`s[zC\DM`FQRh`s[yG\JM]FUrfptsy?\^M^FTRg@tcxw\VMWFarpprSxc]LMZFcRfPxSxo]ROF?JOEGA{@e?v?Y_MOFgBkAA@B?^_^ONwFkAU@L?f_ZoMWFCJeDtAz`KOegRKWAKBD~a{p]gn[_qOZGMcDqAh@KjiTvI{d^QnXV{qYXPKfeSrIhd[vQZlLtezr]XnDB[`zOxG^SMAF|Bg`hOuG]SLQF\B[`bOxGXsMAETAw`hOuGWSLQD|Ak`\OlGWSJAD|Ag`bOgGXsKaDLAk`JOlGRsJACtAg`DOcGSSGqDL@{`JO`GRsGACtAG_xOcGMsGqBt@{_lO`GJsGABD@W_rOWGLsDqBT@o_fOTGNSDABl@O_rOTGLsEaA\@A_dOPgGSCiAK{k_HNLGBRrA?k~_`tNyG]R}QF[~S`zNvG^r|aFs~O_BNrG@s?`}T?C^^OBFws?`}C~w^XO?FvR~p|k~w^RO?Ftr~p|T?s^LNgGFsB`{|?s^FONFqsB`{d?g^@OKFpSAp{K|s_NOHFnrva@D?g]tOKFmSApz[|[_NOHFkruA@C|O^vNUF}rtP~d?O]bNRGBRsa?k{w^vNNF}Rs@~lIW?T?J_EOBW@{?ydc?O_HOCYV?@M?j?Sh[SmiVLJadrQyg_ClYGHJYaCQvhOCYiSHEmbWQagucgILxIIb[Q`hXCYYKxJQdePghVcXIUHEYd_PdgoclIKXJIbCQrgnCjITpEAa}QlhVcUyU@DudaP[gkCjITpDiaqQlhScTYIxImakQihRCSiT@DQdMPRgfciYIHIma_QigeChiHpIaaYQfhPcQYHXIUdGPIgbClYH@J]aMQuhPcOyShCUdGPChLCdIR`HYcuQThGcdyRHHMcoQQh@CbiO`HAcEQNhAc^yOxGEcKQ?g}CayPhFybyQKg{caINPGibuQHhMc\iN@H}bmQ]gwC[yMPFUbaPsiHCgISTIE?p?U_JoDgBC@]?r?Z_LOEWB[@i?x?]_MoFGBs@ugcS`iIDGyaXQIgcSciHdHYa`QYg]SZiGdFYb`PAg{SNiGdGIbxPAgkSKiJdBiahOugWSWiFDEi`hPeeHREhaspyXLKag?Sci@DHi_HQUfyS]h~dGI^pP}hARyh}DGy^XQIfmSWh{dEi^@PefgSZiMc|ib`NUfaSUhxdDy]PPUduSJiCcnYV`Oid{SJiDCoI`HJ}gKRmhwDAI_xM}fIRghrcyi[pMefURahucxI\`MMe}RXhlCwIZXMEewRUhnCuIZhL]eaRThhCtIY@LMeSRLhfcrIXXKyeASBh`d@YWPOQ?T?J_EOAg@c?mjuSJiCtAg@k?}?\?L_FoBgAC@I?b?O_GoCh~[~u^xN}g?R~y?L?M_DOCgBS@Yo`VmkKT{jAd^YnXW]jyUHi}DaIn@Vyk?Tyi~d]YoHVakETyj@D]YmhU}jmTpizD[ImhVIjgTuizd[ypPUqkUTmjEDZYlHW]jUUGitDaYo`UYkKTgjAdXyoHUMkETdj@DXIk@VIjgTaiod[yjhVyi}U?inD^ylxTijaT[iwDUyixXMkiTXikDdIiLTMidTSijTTYhpXMkiTOifddIpPSmkWTLjDdRIh@WuiSUNicdbiphSUk]TFjFDPigPXAiGUQi`dcYfxXAi?UQi_dcYe\RUhhSui[TLydlQ}h\SoiXTKYcxRqh{Shi]dIIdPRehWSziTdMiS\IUdHQkhUsjiT|JAdbQthZsli}XYaniUhjyDiivh]il}Vkj^DyyvP]ilwVkj\dyyux^MlqVtj[D|I|hZQlkVnjvDlY}@ZEncUrjwdki|pYyn]UojudjytX^AlWVqjUd{YsTYQlFUdjRThyrdXykzU^jOtgI{x\UmmVhjsDtiyP]EnEVSjpDsy{`[}nKVPjqdsIx`\mm[V\jedvIzp[en?VJjndqiz@[YmsVGjkdpyr@[UkkVBjJdpIrH[AmCUZj_dejCp^YnoWgkRd|zC@aMpIWakQEGZBP`uowW^kLeFjDx_mpaWLkWEBJ@PayoOWlkCeJJ?h`]oqWFkBEEJAH_IoGWQk@eCzA`^}okW@kIe?J@p^qo_V}kFd~Y~HaenuWjj|EIjIWAA@B?^_OOGWB|EibVPkgusZyLtRehvSyi]TNifldorDX]KqUVRK\d{qrXZKouWBJTdoqlX]KkUVRI|dKqrXZKiUTRJTd?qhXQKiuSRI\d?qnXQKkUSRItd{ppWyKouWBFLbSrDWvKqULbK\cgqZXKKfuQrHtc[pdXHKYUQBE\bwqHXEK_UPRF|bkqBW|K`uNBGThGgXSMiEtByaLPA?f?T_IOCwAk@QdvQ|h]SoIV|JynBVbjpTvi{D\}mvV\jmTuIzT\em@VAj_tpIwl[MtgY`lYegzUXiIs{YolOEkjRxjEtEYZlMegZSPhqs{YWlOEejRxhesiYflSedzT@hYsiYclJehjQpiUscYllIEjzQXiyscYilIEjJQXimsoYNlLEcJRHhEsaY[lMecJPxhmsQXdkreajKpgmt_YElCEkjOxjEteYBlYE`JUhgUs?YflSe_jT@gEryYlk~ejzNpiytSXyk}EjJTXfmrmYck{ehjN@iUrlXtkyU[zMTfEsWXmlFE[JPhe}sQXjlDeZJPPeurOYKktEbjLHguwGTtizt\inDVijrWVkKuEJAd`YojWPkHuCj@t`Ao^[LMBvBr`LowwP[FMDVBB`LokwP[CMHv@baloSwh[CMGV@baToSwbZ_MHuwbalmCwh[LLmuvr`|owu|[OLlVCbZdpCuvZVMDVBBZLokupZPlhusjXtlAu^[@Ldv?rXloGuX[@LcUqb_\kcwDZDL~V?BW|kWv~ZAL~V?BWdkKv~Y~L|uoR^lk?vxY}L{U}bVdnctzYxL|umr^ljgvxZwL[Ulr^TjWvrZkLvuzb]Lmsv`ZqLsuyr]dmgvfZtLrU|r\DnWvNZSLputb[llSvH\]MfvSZiDsqy\\LmlfFzcHtuyw[_mlfFJjhpyyw[\mkFEZjPpmyq[YmJFUJb@tiwm\Xm\FSjf`tQxu\RmZfGjfHqQxo[bmYFTZept]xi\UmWfOJgPrMxc\@m`fJjghrAyG[nmbFIzdhsaxW\FmSFQZdPsmxQ\ImQfNZcxr}xK[}lCuazPTgqs\YLmwFazmPwuza]Km}V^Zntvezv\ynCF\jpHva{S\vnDfWZkXwu{W\anCFVjpPuA{Q\^nAfZZlxw]z[]Em~fYjoHuq{?\jmrf[zlHvUzO\smqF_jo`uYzI]Bl{U}j^LnmvzZ{l~V?J^|oEwF[AnXFbjq@zQ{]]rnSfjJtXyy|S]lnRFlZt@z]|M]unPfjzshzE|_]cnXFgJu`yI|e]`nMvfzrtxi{x]ZnYfdzuxxe|k]WnIFjzuHxY|_]TnGfjJqPyy{e]lmkVUjjLtmyz\[nhvtJyl|I}`^PnjFpJwp|a}m^DnkFozyp{E}m^An^FuZw@|m|}^Yn\fuZvh|m|w^YndFmJx`zi}U]xnbfrZxH{y}O^NnmFyzzh}u}{^knsF{Z}P}i~e^hnpFzj{`~A~E^nnoFxj{x}E}}^dn}f}j~x~q~{^znyF|z}p~e~i^wkhUSZIDmqv\ZlltuyZ\TuEzF\amnVWJj|{i}X^JnbvqZxE@`?d_SOLWCsBM@T?^_VOGwDcAE?t?d_SOFWCs@e?d?^_JOGwAcAE?x?L_GOEWBS?}?`?T_HOBwAs?u@T?@_VO@WDc?M@`?F_COLWES?mBcsbYNlGOAG?{?exb[rmXVJjd|rA{h]UnIvcZq\xI}x^]nmvwJ{L|~AU`GodGR[HaCfA[`DogGP{HyCZAC`GodGPKGYCfA?`Eo_gP{FyCVAC_xoaGM{GYBjAA_xo_GM{FyBj?u_roYgF[Ea@rAU_ooegKkHaBF@Y`MoVgSKDqC~@S_{oUGNkDYBv@Q_|oRgNkFaAb@k_do[GHkEyAR@A_roYgG{EaAJ?{_voOGMKByBZCA?C_Ao@kKAGFBAaAopG_{OIDvCE`^p@GVkJQFzAwa?olg^{IyFnAq`|okG^KIaGBAk`}oig^{NYDFBy`Ro}GSkLyFVBm`oozG[[LqFRBW`roug[kNAEfBU`yo{gYkKYEZBI`goqGX{Sg?]?R?G_BoAG@MIHDJacPRwgsSuIPDRabPTWgcTEHdDPaZPTWecTMITClaWPRwdsSuHLC~aTPOwdCSEH@CxaQPNWcSRmGTCTaKPAW`cP]GtCNaNPCwbcPEKX@f_toYWL{FEBY?H?E_Ao@G?k?ZEEbLpfGpKWiKrE]bDp`gs[WaLBEKavp[gqKVAK^E]b?pggokYAKFE[a|p^gr[VqKrDsbHp]Gq{VYKjEKaspcGlkWyJVDebIpXGq{UIKfDValpUWj{TuJBBv`|o}W_KNuF~F_bWplG{kZINFFeb`pyGwk]iMNE{bspygwK]YL~F_bZpxGv[]ILrEhbRphWt[Y}LZF]bhpsGz[[yMzFGbiprGzK[iMnGUbuqEg}K`aN^GIb~qBh?[_qOBF{cCp}h?k^aONGObxp|hAk^QOfGgcVqJHE[aiPbGacMqGHC{aQO~DFacpPWz{\uMvFTbkptxICcEQXHDcfQOxGcc]Q@HJc`QQXGsbUPlHJc[QQXHcbmQ`G~cfQNXMCWmKREFcDqBx@k_eONGDd?Q[XNcfUR|Hrc{Q\XNSfMR`HvciQZXIse}QdHjcqQ\xNSeeRpHfc}QVxKSgER|H`cuQUXLsduRTHZdUQhhPkiaSRIidDqhhO[iiSNIgdAqehSKiQS~I[dPqbhQkhISrIOdJqnhTkkITbJ?dVqnHU[jYTrIydYqZXL{emU`JDdiQqXYSk]UdJJdiQrxYCkuTNIjdS_?hYsmMVK?Edk_@HZSmS?HJ[dpqx_?SmC?LJ]dq