CAT(2472,2)
Sparse6:
:~?eg_?O?G?CBs@T?g_SoP_CkA]@L?d_RoHgG{CaAL@J_coQgGgCaAG@F_`_PgGWCeAI@J_a?QgDcAm@Z?m_WOJwEKBM@d@@?ZoM?GCCG@r?y?_OO_FcCC@v?u?^oN_EcBs@j@o?POGwCcAm@Z?k_WOJwDsBE@f?q_ZOLWEcBQ@l?t_[oMGE{Bi@x?z_^oNgFkGMCHAA`Bo`gOkG_C@AI@?oaON{FkBx@y?~O]ONkEsBx@n?~OZ_NkEwCB@n?~oZOOCFEBd@o`A_[GOwFICK@p_lOUGJKDkCP@\@DOV?PKGOA|@_@@O_oJ{FgBP@z?ro]OLKEgBB@a?uOWoL[EOBX@e?tOXOL[FKAj@V?yo\?IsDGBl@w?iOSoM{D?Bf@P?yoRoMcF_A\@L?zOR?M{K[@R?i_SOIgDCAeAp@Y_koUwJcDuA|@^_oOv?WoK}E[BC`a_rWWwKMEQBA`c?oWX_KMESB@`d_ogSWKQDIBE`Q?pWWCJ}D|A|`\onGY?JeDsBQ`g_mGUgK}DmBM`Z?rWXOIyEWAl`d_jGSoK]DOBH`R_qGRcHmCtAX`JoeGYWHYEiAS`i?dWY?HEEaAR`h?cgYWGqEiAL`i?awTwIeDaAi`W?iwUOIADgAa`X_gWPwHuC_A^`F?fgb?AI@H?b_PoGgCcCMAJ@C_UOIwDkAy@`?n_WoKgE[IQDJAb`MofwRsRkHfCsaXPKgecRMHlCtaZpLWe{RYHiCpaZ`KWeoREHgCkaT@KgeWQmHSC`aU@GwdWQIHYCZaM`JwdoPqGkCoaJ`KGagRAGcCWaI@EgaWPeGcC[aI@EwbgPMFJBe`rpBwaKPAGWCWaF@EW`gPiGQCfaS`Awd?OiGLCGaBo|occNcHLBwAQpI?]kQcFlBsARo{ObsNKH@BqANpF_\sQ?F^C^@wPGO\kMkHFCa@uOy_ccM_HLBhAQovw[KMAFFBc`pOvGZsLuHYBX`l`JwdoLiGiBUaJ_twaoLaFyC?`~`?g^oOEGEBy`}@@W__NmKiCTaJpDgLcEiBVBX`lougYsLaEnEZbMpfGrsYAK~E]BIpdor{XWL@EQbIPcwpKWiKVDya}P]wm{VeJpEXAqpe_k{X_JLEWApPe_kcXcJFDVajPUGjSTmIrDRBIpT?q{XWIjEZAgPfOiSXoIbDCBIPP_q[SSKdENAyP\_qKVSK`EBAwp`Om[WOJdEAAvP_?mCWCJ^DjA}pZOn{UoJ|EKAsPY_psWsJRD^BBPWOpCU?KNDKAmpQojsSgIxC}AepO?h{R{I\D@AbpQOg[SGIPCyA\pMOfkR_HxCya[PMWzc\mMtFXbkPtwsw]eLQFjbS@ygs_]eLKFibQ`yw{o\uNOF^br`vgxo[mMYFObf`rG{W[aNIFIbq@qWwOY}LYFCb``jgwgZ}MMF?bb@oWvGZuLuE}b\@nGv?\MLmFPbh@lguW]ALiFabY@wWu?\QLcFUbW`tWsGYqLEEjbP@igLkEyB^B|`~o~g^SNqFvBX`lOuwtcYiLVE`bPpghCoaQPMGbcQaGhCg`}PMG_cRAGXB_`YO{GWcMaDxAw`eOuGUcLAEHAC`IObGLcFqBg~oaQO?Gab~aGw~W`qNyG]b}AFXBW^ANaGXcL@zxCG]qN[G^cO@zX?w_iOOGKcCaAx?_`MOKGTcAaDG}g^aNsFvb{`|g}O_ENgGBbxa?hJ?XMKhEQ``ooWWSKQELBDampVgjcWMKJECb?P_goKVuJ~D}a\pNWfcRyI@C~a`pOWgSSQILDDa[PMgfKfORnHrC{Q\PMsewRvHxCvqZPNSesRbHqCvqZ`MCd{RHH_CrQV`KkdwRFH_CpQVpKKegQvH\CtqV@LcdsRRH[CrqY@J[fWQrHwClQ\pJCegPhHkCZQYpEkdCRvHyCfq]PICeCQXHbCfQW`HkccQpHIClQQpJKe_QPHECsqXpG{cMQJHCc_QOhGKbsRHG~CrQN`KkfOPtG{CyqMpM[b[R`GwCwq[`FKbGQjGrCjqKPIsdSP\GoCjQTpD{dGPZHSCTqSpDcdGPPHSCTQSpDKkgGhCQaHotgZCL]LZEnbVPnGvkZyL~F@b_PhGssYUUYJXdfauxXoliUYJOdfashXolEUUJVdeAuHXOlYUSJRdiarHXWlQShIUdIqjxUKjAT?JRdiaghSGlQUkI\dNauHRol]UqIYdlafHZOhmSmJOdKashR?lESeJFdGaqXX?hIS]JEdaAcHPokUSUJCdEaphP_kUSSJ@dCAoxPGkIUAIDd`a`xWOgYSGI}d_A_xVwgIR}I}d_A_HVwgEUMH{c~AqXNgkaTWIzdUanXTojqTQItdTalxTOjYTKIqdYAiHSwjMToIbd[ahXS_jiXGKZeMRFXbCpiWrKbDrqxPcKqGVLKbDpQx@cKqGVFK]DnqwPcCm?W~J[ENQv`cClsW~KNEHRCPacp?WfKEEIr@pasp[WPJgE?R?P\SoGVRKKDzrB`^KosVpKBDyQ|`_coSVjJ{Dxq}`]KnkVdJmD~Q{@^{m{VzJjECqzP`[moWTHQciQSxIkd]QlLMEZRM@iCs{XnLJeerRHfsrqXzKxEgrMpi[rgYdLPERrSpdKtGXPLMEQRS@css{XJKrE`RP@eksKXhKoE^rK`gKrCY@KlEarJpg{qwYLLGETrQ`dcscXTI}d_QnxWKkIUFJDdbQpHW{keUPLzEiR^PisvoYjLnE|R[PnCv?ZrLzEvR^PlcvoZZLqEsr\@l[vKZTLeEyrY@m{u[ZlLbeqrXHkCuIZBL\EyrVpm{twZlLyElrV@nKtgZpLqEjrUPmcvKYpK]eORFxcKqMXDMXfLrehqsx][pM[FDRf`pcxs[VM[FBrf`pKxs[PM^FAR``sKwS\@M^F?rgPo[y?[DMOFHrc`qkxC[hL}FEr_@p{v{[\MvFVRmPuCz_\^MjFPRjPscyo\FMgFYRi`usyc\jMpFQrhpu[yW\dNBF\Rn@wk{O\vM|F_RnpwSzw]B@?__oOgFCBe@n?z_\ONGP[GuCXAM`GObwlKUiJPD_aopVw}C^EN^FkbvPzXSsiaTNIbdQqhHc{qeXPKceRRHXqCxI[bMLfFrbh}o~A^oNqfzb{X}W}u^iNnfyBzh|O~A^WNpftb{h|g}]^QNnfsBzh|O}Q^WNeftbxX{G}]^QNbfsBwhzo}Q^?Ndfnbxh{G|q]yNafpbuxzo|a^?NYfnbuXyg|m]yNVfjBvHyO|a]gNYfhbuXyg{}]mNPfjBsHyW{q]gNMfhBrXx_{}]YNPffBsH}o{Y]ONwfbb|x}W{e^iNJfyBqiD_@Y?p?V_LoEgBLB_?|?[_MsN_CK@}@@?e_RoHWHcCyAZ@O_goRw\kMqFVBg`tOyWu[ZQLjEobXPkXEcbYPjGvc[qMH\SmaVRJjduqzHjStqYvLVekrUHsSyQ\FMdfRrhiKhEabMPigrCYYK`EmbYPbguCWiKhD}bAPfgrCWIK`DubCP]gpcVIJHD}bAPYglcWIIpDuaoP]gjcVIIpDMaoPTgjcTIJHDAasPQglcSYHhDQa]PTgfCSyI@CiaWPQgdcSYHXC]aWPHgcCQiHpCUa]PEgecPIGHCeaCPGg`cPyGHCYaEPDg`CPIGDB}`|P?g^sNh~HBm^uO|f|CNICpEa`OPigRcYYCXEmbYOdguCHIC@Be`COwgOcMiF@@y_}Oyg[cFYEp@i`mO[gYcEyBHBQ_mOrgKCKiA`BY_kOvgYcDYAHBM_eOsgXCCiE@@A_]OpgFCJy@XAq`YOLgECJiDx?a_SOpgCcKID`?U`[OFgUc@i?PAe`SOCgTc?x~xBm_AO{g?CNX~`Ae^{OigTb~YY_?m?X?I_EoBw@tM??b?Q_GSx_A[@U?hRehsSxy\DMYfNPmHps[A[dMSb^QWHfseaXtHce`Q\HfSrqR\L?cxRaHJSwAQ|MCcjQSHpSca[LHKf@QNHmscQZ|H?e|RZHESbaZdGsetR[HCsuqP\LgcTR\HCS`aZ|LwcNQBHjs`QZLGOepRSH?S_aYtLScBRSG}staN|LSb|PyHjs^AZLFkepPvHgs]QY\F_edPsHps\a[dMSbjRPGwssaM\LKbdRGH`SpAXTKceFRDH^spqWLKWe@Q{HZSnaVDJsdnQxHXsmaUlJkdhQqHTSkQT\J?dXQfHUsjqTLIwdPRJHOsgqXlKodDQcHNShaSDISc~Sy?JOEGA{@Y?p?V_LOEwBK@e?v?Yie?FWBs@q?z?]_MSryXtLAiWTQiiDRiiXSui]TQiiDSYiXTAiOSyi\dPif`S]hyTGi^dPyfpSYiQT@iddOihPSAiSTDiddOyhHSQfdRrhyS|y]lNYi]SnigDKIdpTEhUTLiUdRih`QqhSTCiSDPYdHSMhySdiRdNifxQYiASai_DGygPQQg}SyiODMycHRqfQSvhtdMY\PRahmRli[czif@MqgwSsiNDLibhRUgeSXiIdEya`PigkSOiHDEIaHP]gMSLiCdBy`@OygSSCiBDBI`XOUfwSBh}d?i^XOEf{Rwi?C}i^xNef]SphwDKi]HRM?X?J_DOAw@c?i?Z?N_FOBW@{?yl]?P_HOCGAK@I?`Svi[tMIDLAm`TOrgYSKiElB]`lOzg]sNIuxZElkUojVdlYuPZUlmUsjZDkyrpYilUU\jSdfysPYelUU`jODiit`YQl[UdjUdgythYYl[UgjUDhyv@XilsU[j[deyqxZQkqUqjKDkyu@XQkkUpjIdjyspXElOURjRdcis@WylCUOjOdbypXXykYU^jEDfYsXWalGUHjDDhYwHWUmEUFj`D`in|WEk@UBjAT_iwHVqmET}j`D^Yv@VelsTzj[d]impZmjoU|izdnIm`[AjiU}j^d[ym@ZuluTqj]D[YlhZyj]V?ivDnyj\TuixT]intWIkTUMjBTcirTXYihUqjUTVitDTij@U]isTgisdUYYLLMedR[hlsuiZlL}e|RbhqsxJCH\YmoWbjjeGi|X`anYWXkLDzI|HaInOW`jtEGy{h`aosVfkKdxi{P`ynGW_jpeFzBX\}oyV`kMDwJBh\qowV\kLdvizP`}muW_jkeFixT[qmVVLjfTryyD\ImbVRjittJ?X`UoIWUkAEDzAP_EogWAkHe?JAH^yo_V~kFd~Y~P_enwWJj|eAj@p^]nqWLj{EBJ?p^QoOVukBd|Yw`^ImKVrjad{Y|p[]n_VHjvdqJCpdYpIXTkQETJIHcmqeXLkhERJH@cyq_XIkceRzJhbepuX^k\EVjJXbaqwWukZeUjGhbMqMWtkbELJEPb}p_X@kWeOJF`aup{WmkVeNZDPcIpWXCkTeOzCxd]pQXXkSEUJOG@}@B?__OOGWB|HectQWhLsfYRdU]jRTgiuTYylTggs`YQLEUarQLg[s\YHLEuaBP|ggsHYKLBUarOlg[sBYHL@uaBOTg?sBX}L@u^rOTf{sJY?LBU^bOdeWsZXgLFuXrPteKs`YQKquXBQLe?rpXaK|UWRNLfSrvX|Kzu^BMteor^XmKwU[RLlfGrRXsKtu[rLTk??f?T_IOCwAk@QiPTFibTQyhLSifRRjhtSzi\lMqo^WPkGUBJ@t_uoRWJkDU@j@D_]n\Vojvt{y}T^EvEZNloesJ[PlEuWZ]loErjZxkuuQZTldetzXPlYuUZQliEqjXHlMuuZElbevZZ`kausZFlkEpjZHkauEZOlaesZW`k}uAZLl`ErjW@kqt}ZAl_EnZVpkEuEY|l^epZVpkQseYxlIelzQ`jatgZ]loEljZxjUvAYplXewz[PjIt[ZZlWEvZTxlquiYjljejZYpiqtOZWlTEujTHleucYfliEhjShlMtHYblPUfzSLiAtsY[lNEnJRhjmtqYXlZeezV@hiskYylKEnJQxjmxcUijTtiYtdYylZXEkauPzGTcQqFW~k_uOJFdbypz[zMYvLrflroxl[wMYvMbetr[xr[qM_vOredsGxf[}MYVKbf|rKy@[MM\vCBflo{xx[JM_vOr`lsGwX[xMCVMb`Tr_wR[DM^V@rgDoWx~Z~m?v?J^dnyvz[nL{vKR^\r?vt[kLzVJb^DqsvnZtMTu{rdTqcvhZoMSu{bd\nCxTZmMSUzrctmsxNZiMRUzBdDmkxN[pLrvJr\Lr?vP[lLrVJb[dqovJ[YMMvFBb|pkw|[`MKvGbbDp[x@[bMIVDbclqOwj[AMGv@Ba\oKwd]KM}v^zntvizx\zmefajhpwey]]JnCfQjpXsq{S\JnBFPzoxse{O\GmaF`jgpwayI]FmgF[ZiPvMya\qmwF_JlpwIz]]@nAfYZlPwM{G\gmoFWjk`t}zE\`mqfVJkxtyzK\\mkf\JjXvYys\tmkF]JnHtYzm\VmhfYzihuuyg\klZumZVDjitxYznTVjJt\ye|P]fnZFhJspza|I]vn\fgzsPzi|A]xnFfmZvXxE{_]ynZFbJv@wy|m]LnLffjrhyA{w]^nWFeJrPzI|a]XnXfdZuhx]|g]UnHFjZq`y}{e]mmRVIJc|qixV[hmUVJjdlrEx^[on]FwJvp}I|y^`njfwzzH}U}o^cniFvzzh|Y}{^TngfwZyP}I}e^_nfFujz`|A}]^ZndvrZxd{i}R^GnlFpZz`{]}K^Znmfojzx{Q}{^Bn_fxJw@}U|}^bnBVaJo|wi{V]HnrVyJ{}?N?D_@nxG@J}a?Y~e_DoAFz{?p~F?I^onvG@{@H}r?O^lnsg@{@H}j?O^jn{f}z~h~a~s^{n~F|[?@~]~}^uoOGDkBy@b@A_VoIGAkAY?n?i_KoGGFKBq@J?a_\oEgE[@y@n?[_YoTgGkDiAR@W_boTGH[DIA^@K_gk~U^zODpqwt[ZmJvEZbDxA{^]PnEVbjpl~a~t^xnzv|j}mC@AP`AObwOSGuCL@z_~OawPCFuCH@t`@O]WOCF]Bd@z_~OZwMCFuBP@t_uO]WLSF]BP@n_uO[WLSFMAxAL_oOcWJsG}CL@b`DOXwPCEUE[?N?G_CunZV|jyy~\`moVVJjttu|x]}n]vnzwL{B?T_KoDwB[@}?zBo`}ozG^KMyFvBq`ro|g\[NQFRB_`roxG\[MIFRBm`noug]KMqEzB_`iouG[kLYFFBW`novGYkLYEvAS``opgQ[HYEJBq`]ooG]kNYD~Au`{omG^[JiFzAs`hokGX{JIEbAi`fojgY[IqEbBG`QorGTKKiDNBA`NopgS[KQDBAW`cofGXkHiEVD]?C_BO@[TyG~C_appFGkKTyGnCYappEGkKPIIrD[aIpUgaKOiIfCMajpBGikOQIfCEaipAGi{NyIrD[a?p?gj[SYHvDIa^pQGfkRQIBDCaZpMGg[RIHFCmaRpKGckSqHRDOaUpRgdW?{?a?R?H_BoAKZILHElbPPkWsCY}LLElbTPkWtCY}K\EfbHPiwqCYeKPE`bEPhWpSYMKhEBbBPeWqsWUJxEZbNP_WrcV}JdDdayPYWmCU]JlDja|PZwnCUs?Q?J?E_AO@g?mNhBB`bopWXKKuEVFabxpxg}K]QN^FgbxpzG|{]iNbFsbdp}Gx{^YMZFgbmpwG|k\yNVFabjpxgzK]QMvFybgp~gyk^qMfFGb{p|gw{^QMJFyb^p~gw[^qMBEtbXplwvKZuLvDRajpTWjkTmIrGMc`qBHG{`AQJG{cNqGhF{aAQBHAcKqPhBkcQOvG{cHqOHA{byOjGBc?q@X?{_eOVGucTqMhD{baPZGccWqIHEkaYPfHqccqRHM{fQQVHeclqYhJkeaQ~HaciqUHKKeQQnHMcuqShMKdAR^HwdAq^HPKfiSNH}dDqbhO[gASZElbVpkXE{bmPrGpcYqKxTchuTPI`dTQfxRciMTHI`dRQfxQCieSdIjdIQjXQsiMTLIZdQQeXXc^ENfFncrqYxLKeURFH`dgQuXZckuUtJNdiQrXYCl]UdJNdbQkxUCkeT\JJdhQoXYckMUlJDd\QuxVsluTxJXdYQqxWsjeUPIveCQyH_[mYWNKCdqr@hZ{oIVFKCdoqzH]{miVvJmd{q~H]KoAVjJ}dxrEh`KpyWZK[eDrDHaKpIWrKUeFqqxXKk]XXK`eWRGxdsqUX\KfeTRKXdCquWFKFeArN_?SrMYC?EeYrO??cr]X{?Ce[_?hgSruY??Ee\