CAT(3024,5)
Sparse6:
:~?nO_?O?G?C?[?G?D?BO@G?s?U?L?C_AoJoD[Ae@T?w?WOJwEKA}@b?o_UoJgDcDo@j?u_ZoMgFCBe@z?z_]OL?GCBG@~?r?^O[ODCA]@L?t_ZoLgRWFqBv@y_}O]gN[FQBl@t_uoZGL[EyB^@o_w?\wN?EyBq@n_s?\wNGEiBo@h_wo[wMSD]Al@W_lOUWJ[DKBn@w?io]OIcFoAd@y?gO]oIKC{Bl@L?yOR_MkCgBV@K?uoQoLcC[BR@G?tOY?HKCOBf@D?woP_MSE]BJ@e_ooVwKCEIBH@b___VWGWDqAC@]`r?JWDsAq@X?m_UoQgHcCmAr@Z_lOWwKcEIGcBt`zO|w]{NYFjBt`zo|g^CNaFpBx`{o}W_SOAGBBq`xo|G]cNIFfCB@wO{O_kOOF^BkAAoz__cMsGFBf`sOxg\[MeFTBa`oOwW[cMMFJB\`novg^wMEF{B_`}_wg_?MUGCBca?_ww]GLiEwBn`l_{GZgMeE}Bi`n?yw\?LaFMBX`r?twR?NmCsBy`K_~G^oH]FyAT`~_dgYgOQEgCD`j@?wYKLMEdBJ@|O~?XkKoFvBD@uOpo\sKWFZB|@`o~oWcNwEDC?@^p?_WKOCE@A{@|O~?VsJsFvBV@UojoZCLcD\Af`SoiGRoLiEwA_`l_fwQGHQC_AQ`F_cwXGKyESBN`g?qGP_JeC[Ay`\_bWU_GmDeAI`C_lWOwJaCKAu`C?lwOgIiCEAk`A?iwU?IYDIAq`Q?kWO?IEDCAA`?_gwRWF}Cw@}`M_^WrwAM@J?c_QoGwCc@u?|?^_OoGgCCLyE~B\_ROIGC{BU@n?u_^ONwGCBm@z?{_~O^WN{GECDA?`@O_GOKGUCHAB`BOaGO{G]CLAG`DOawPKGiCVAH`EobgPcGqC\AL`GOcWP{HEC^AO`HOdGQ[HIChAR`IodwQsHYCjAV`KOegRKKyE`BN`goswYSJMDjAs`ZOmGU{JADdAp`RoiWTCIEDFAa`NOgGR{`[OBG?b~p}P@{^kO\FyCGP|g}{^aN`Fqbwpyg|c]mNRFfbsPww{K]INGFZbr@vW{g\qMdFSbhptgy{\UM^FPbgPqgx[[eNcFJbw`qg}?[eMEGJbaaBWw__qMEFXbl@pWz?[QLsGAcA@nGvW_MLkF@bY`oGwOZQLaFKbe`kwxoZILaF?b`@kwuO[EL`EmbVpx?ts]SL^FeBWPyot[YsNTEkBuQ@Orc_[K|GEBMqA?qc_gKfGHBIpdp@CX_OTEUCCpe`@K__KvEXCDPeP@s`?KtGNBLpdoy{XWMlEWBipsOqc[{KfFOBIpcOt[YsKdEkBGQ@OtK_[LTGEBSPnOtSY_L~E}BSpgp?{_SLHEaCBPg_z[YKMxEcBmpgOvSZoK~EzBOPhOrkYWK|E[BRpc?s{YSKdEeBGpb_r{YCK^ELBOPFWbcPmH@C^aNQAobSP_OZCXCEP}Oak^kGnFyAJPp_pSWoMPEJBbp`wpKWaNeD}b?@|W}_V}JwFua|`|wng^aJsFlbv`]W|oVaJiFSaz`swmo\IN]Dmau`zW|oUqJUF_bn`YWlO\yN}Dec?`YH??U]J@DaaopVWj{TyImFtak`|Gj?^MIhDUaipp_hs[_I`FFAfploh[ZcIZEwAePQGhSSeOUDEabaBWgg_qK]CbbE`GWpoQIH}F_a_`vgg?\}ICFKbf@PGxgSMHkEsa[@lgewZULmCxb[`Mwv?RiOCC|a^A@Gf__MNMCobs`Kg|?REMoCtaX`uge_\eHZCnaVPI`@s`?HXGNATp~?c{QcN|CgB}p~?`{^wGbF|AGPwo`sOsNDCKBopA_vkOcL|CJB^p__mSWKJhE@AxpWomCUSJbDcAvp`?iSWWIfEDAgpU_ckQOIxDZARPA?acO[GdCRABRFoBS@q?v?X_JoEGA{@e?p?Y_MOEwAs@U?h?P_HoCg@s@A?^ERbIpdGrSXmKrE[bNPfWqCXEKd@k_uoYwLsFAB^@@_`oOgGKCMAD@E_aOPWGcCYAJ@G_boQWG{CeAP@I_eOQwHkC}A\@N_fORWISDEA`@O_goSgI[DUAh@R_ioTGIsDaAn@U_joUGJKDmAt@`_oOVwbCPiGrC[aMpEwbsQAG~DlavPZGi{TeIpC`aPpGgfCR]HlCxa\pMgeSREH`CfaSPIW_{OYGPCEaCP@w`KOmGTCHaDPAw`cOuG\CLaEPBgaKO}G`COaFpCXwWzu\~M}f]rnxvszu\|M~f[rmHu{zi\xMzfUbmhv_yy\WMzfDbehr_wu[uMKfZb_hvGwQ\oMBfLb`HoOxi[wMBeqBcHkgw}ZKMMexbWXmguMZgLaexBWHm?t}ZaL]fYBUHjOzYYqMtfXbTxuWtU\eLUfSbShtWtQ\SLRefbaxiGwuY_MKfXBQXuOsi\cLJebBgHh?yEYMMae`bRHhosUYGLLeZrMHfKraXrKveLrEXbSpqW|K\eJrEHaszCWjKSFVrCpuCzOWfMuEIrlPacxsW`M^EHRf`aKos[rKNFJrB`rCoo[jMSEDrd``Spo[jMUENRd@bkw[WbMEEHR`PaCvgWRKGE{r]p_{oOZTKEEuR@Pl[oCYvKBEmr?`jcoOXzKEE^r@PfsoKXtKAE]R?Pf[ygXfKpFTriPeSy?XfKpFPRK`sKqwY@KnE`RK@gKzCXRKiFVrI@uCzOXLKfFZRHPukvoXTL|ESR^`dKqW[BKfE~rHPoCqGYfKcEiRGpiSsWW~LGEOrPpcCpkWTKKELREP`[osW~KMEORBpcKqGWNKcECrGp`Cv?V|LpE?R[`^{n_ZpJyEzq}PmsmoZNJmEsqzPlCmcZZJjEvqy`lsyWVLMgDsRhp[{mK\^MpDqQxPuCmAVDJ`efAuhZ_sqUuLLdjQtHYklEUfJQfUaqHXOyy\WJHdablxWwzeUKMweJaohb?kMUGKUd^bmxWGzi\wJ?eYAnHeojyXiI|dZQmHU{igXzIkE^qipfsiaTRIffHahXqGiY[cIcfRagxt?iI\KI`dNBaHS?wiS}MHdIbdxQwxeSkMWerachQWuaSgLhdFbbhq?hES_MNeqAbhkogqZIILdCbRxPWtESSLOfPa`hP?yU\GIFe`a_xgggUYGICd?B[xOOvUSALsc~bJHdgfyRyKjc|Q^HN[fcZXHwEtQ\pl[fOXhHuEZQ\PekfKZlHqE{R\pMKe{Y@HoE`QZ`gKekY|HlEoQZ@j{e_[zHiFNqYPrsxCRJHfFHrc`Ksw_RDMICqRaPK[wSQrMFClr``JStkQlL\CkRV@I{vkQfHTE{r]`IcyKQ`HQFQqSPsccuQ^HMe\AQhf_cqXuHJccBJxHGrAQMKmcaBUHGotiYqHDeUaNxG?qmP{Kkc\bWxFguEPwLaecaMHhWbiYSGxcYb^xEwwEPkM?e}aIhnoamZwGhcRBTXD?t]PMLUcJbZXlw`eOoLmdzauX]ol]UoJtcIAmxVG`YOiIycGakxUg`MTgGQddakXXgjAUWIqd|aex^ghuVwI[dUaeXR?iyT]IYdwAOxGGnEV]HAcXa|HE_nMPcJqcUAvXDglyP[J^cQaWHKGaMQ}GcdfaGhXoaAU_G`cmAFXJo`}QyG]cLAJxEG`qP_GZiYB@H_soUWFK@e@REhb[peWdKPeGOGGCSAE@@?a_OowG[SMEFFBd`qOuGZKL]EtB[`loHgDCA]@R?j_TOIWD[Ai@d?s_XoLGESBM@p?x_\O^WN{FyCFAD`AOeGRSHeEXBL`dohGSsIUCvA\`MQwH[SmEUDJCd`qmXVSjmTfItdYQkHUSjESpIYdKqahPKgmSZIMdEQShIKdAPtGxc[QLXEsb]P^GocWqKhEcbMPRGjcTQIHCsa]P@GacOqFxBs`uOrGVcKToQuTZQlfUujZtlYvDZilrU{j]tmyv\ZulxUpJ]tkAv\Y{lxUcjQtgyqXYilUUPjHDiYpDWikRUKjDtbYo@ZAj}Unj?dkYnLVmjtTwJBt\qolVWkLTpJNt[artV?kzThJOtgalDY?jNTYI|tUAnTVcirUUIftdQiLT?khTDi`tPIgHY}i?Upi`DkIg@WIiAUCj@dOijpSUj?TBindPIf\RqhtS~i]tNifpYqh}Umi]djYdtRAh^SriXTKYdXZIhYUsiUDkyupQulmSjiUDlYvHQUhMUyj[DHid@ZahQUxiTDmit`QihOUmiSdjYmhQMhGTriyDGibxTIigS_ihdGYfPREheS{iXDMydpQUhMSoiVdHippOuk_SNjFdBinxOikASJj?DBIbpOegwSGiBdFYl`OUgKTjitD@If@OIgASxiZd?y^pSqg?TMh~dRY^hT]fwTUh|dTY^@TmfsT\h{dVIhHNUiURvidC|ikHMqjERmipCzY\PUyfQTlhtdZyh`MIiYR`hoDRiZhYMe}UdhnDhIZPSeewTJhldQipXL]kYRXjECuIXxTie_TXikCriXXXQkkRLjIcrIWTKQeFQrIPSlQc\JOhHQoJMskar|JCk|TkHUTYaTTUkdVUAHOsgqodWKdDQWJAseao|HckLUWHJteQQlX[clT^HHtWAQTTwchQNI}ScQntH?jzTEHETQAPtGsiNUIHAS`QpDGKkRP~JSS^QstFwlNUVG|s]arLX_bxSwGzTMQMdR[bjPogvSZyL\EubXPcIvSWal|EKjZS`GnsWQb|Q?b@S\GmTFaJtPoazPUIYSUAetD[hjT|GdSRAntCkjxTVGcTTaHLTSaNPDImSPajlCOivP@Ixt\AG\VSaDO}IhSOAidTK`~OtJFSLqqDBWk^TNGXTSQEdT?`fOoIxSKQmDA{jbTcGMsFqktUS_|UYGLTfABdXk_vOPIbTQAA\@GiNUjGGSBatT?{lRThGEsBAk|?kjPOGJYsAQu|ZW_TUlGAtja?tYo_NU_FwTg`}TYC^bNgIpRyQk\UC^NTcFqTX`{tUS^JN]JGrwAq[|{kdSuFlTLPzDRO]rNTJLRtqrc|WkvNSJRRsatC|KlNNJfdRqYuO{Y]MUrfcDlImo{QjmNBi{BpXx{|E]`N@f`RoIYHPAgcRRiGcsiX@PeeSSZhcdEiVxM}faR@hwCoIVXNQdsRqh[c{yPHIud]QJhVCaiaXGAgiQ@h@DDIMxKUbqRFg{Cpi[pFEfMPqhsC[yS`EUdKPehQcXyV`Bmd{O|h]cNIF@De`qPYg\CUyD`DA`[PQgUcSYHhAe`UPNgTCRiC@Hy`CQ_gOcfyAxI]_qQhgKCiIA`Hm_iQ\gJCfI?HDQ_?PTf~cSx~hJadkN{f~ClyOo~ecONzhBb}h}xMMfINwfzCxH}XAY^iOgfyCHx|xEa^YPifvCYX|PAM^WOdftcHH{HLQ^ERTfpCtiao|m]ySWiJbvI?O{y_ENLfeC@IblPygxS^iOtGIc\QIhHSpiXTKwBC@e?n?[_LOEwAc@Y?j?P_HoCgAS@M?b?S_JODWqsXaKnEMbFpbWLSEaBR@[_nOVWa{PUGlC}a]pNGe[RUHhCcaRPHYYtLQejQlhVsjiPDGYcNQ?h@S_YLtFAb^PjgusZIKlE]bLOCg@S?y?l?]_LOGgDSAX~c~y^zO?g?r~xwk{Q]FNEfcRpxx[{e]TNKffRrXx{|E]`N?f`RoXwS{E]@]rNWfgJu@xy|c]^nUfeZrPy}{o]mnIFijqXyq{c]jnFfiJqHy]{_]hnGF_jqHwA{]]@mvfiZm@yaz[]fmtfjZlhy}zW]mnHFYJq`ui{e\hmhfeJrPtUyg]XmgFdZiPx]ya]Umgf[zmHtIy_\qmkfQZjPsayu\FmaFTjgpt]yo\DnEFOZgXwyyC]Lm`F_zohsE{G\Bm\f_ZfhwIxw]?m[FXjfPu]xq\dmqFMjfHuIzE[wmZf\znHrUxk\wmvFKzm@rQz][qmrFKZdxu]zI[om}FAjnXoazs[Hm~F@jnhoUz}[Flzf`j^@wavk]FlyFhJ]hyY|IZrlufhJspm}|IZmltF\J\`vUvU\um|exZn`mQzsZelpfNz[HsAvC[}lkfgjZ@yEus]bnBEsjY`wa{MZRmaerzgplEyGZOlcf[ZXPvIuU\rmbepjhHkayOZFmfeojhhkEy[Z?mhemji`jmyiY{lZfQzVHsito\KnMejzrXjA{wYmmeejZhxiqy[YjlKFjJQxyisk]jlFF]JnHg}sY\vnDe`ZpHgY{SYCm\e_ZfhgMxwYAmjE]zj@furw\VkrFfjL@yArM]^kmfVJJptuq}\]mlETJjXdYyqXTkgfNjIXsAqc[~kdfjJtPcu|UXKkcFVzHPuEqQ\_kafVJGxtyqK\\k\FXJkXbepu\anReLjtHba|OWvkXfaZEhwmpg]IkQFjZCpy}pI]mkLfgZBhyMow]anWEEJBPzIoq]pkCfQz@XsqoS\IkBf\j@@vQoK\tk@f^Z?`vyoI\~nWD|JuH^Y|cVtjwfYy}Xuunc\kmsDyJlP]izQVhjpFdY{`x]nE]UjhfVyyhuEmg\_nMdsZr`\I{uVOjcF_zoh[]{GVHjefbIxxwym[]LmMfGJcHpyxC[^m@EIj_`aqwEWjl{fEj^Xpqvs[Zllevj[@luu}Z[l^eyZVpm]vOY|lKekZRXjIteYYlHegjQhiQsgYblDFBjP`pAsU[NmDeaZOxousO[Kk~FDJapgAr}[TmJe\ZbHf]woXukxFHjM`qare[flYEZzMHjYtiXokteZJLHeurSXmlNeWzSHeUt?XcklEfJJ`hyquY\mUETzdpdexYXWljeRzI@lUukXMk^ecJQPcEq?YPk]EWJFpeIpyX`kWEhZEPi]paYemGeJZDxpMwcWmkRepJDHkUpOZBlwEGZ]HaMvcWakNE~z_HaAw?W^kIe?j?@`]okW@j}eOi~xcQn{XBjwE]i|xfen[Xwj|Dyy|h^qnuVkjqerI{xkynKZLlTDwZT@]AtQV^jkfIYzXqmms[imPdvZch\qxGV]l}Dtiz@nymmZ|kFDoywH_umCWKjaD|y~H[YnoVDkFdqjAH[mmWWOkHdnjA`Z}ocV?_EOBW@[?a?T?H_COAW@S?u?X?JeMRFhbkp]WpKUeErBx`so]WRKGeDRBH`[AM@J?c_MoFwBs@y?~?\cGqCxAS`YOjGScQqGxCdm]vRZglqUxj[lgisXYJlCuaJO|duq~X]kCuAz@T_MoJWCjzT|Y}d]InFVcjlTuyzL\ymzV[jhttIyl[EmFVAjbTpYwd[]mRVGjetryxtZym@U~j^ToIv}TLIVdLQgxScheRHIFcpQaXOceESdHFdIQOxQCcURxGpc|QLXNCbMP\HvcUQ[xDSfUPHHncSQZXCsfERTG^cOQXxCSeeS`GTdIQCxQS`]PpGNcEQMxEs`EOLG\cDQExBC_eNhHpb{QZw}seuRTFncrP{xLC^ERDFlcqPyw|CeENHHFbrQOw{ScUNhGjb{QJw}sauN\GpbxQLW}CbMN@IJdFPvWzsguNDFVbrPuw{c\ePlE~c[PoxFS[ELxGXb[QFWvS`mQXEvbYQQwuSceNTETbuPeW|CX]ODEBbBQ?X?cWUJhFzaxP~wmC^uODDnatQ@X?CUuRpDXamQ^WjSfmIdHrajQ\wicfUQ`C`aMQSxHsP}R|Bxd@O}xOCNuFdIV`yQeW]shmS\A~`_QawVcguNtAvb~Omw~cJeDXHT`VQTwTSdeOXAR`JQCWQc_}CXGFcDOcWPs_eCLI\`DQgWPCh}THAB`?QhwOciMA|HHceOWWJccmPx?rc_OLxFsBU@XG^cOOKXCSA}PL?`cQOGxDCAUQ`?ZchOFxHs@u?`H^_HQUxJc?|}`GV^fQCxAb{t}HI\^_QgVwSh}R{}nd@NkxOBzD|PHT^UQUVtSd\{HHZ^CQVvosdtz|ID^?Q`voSgePw|r]zQOXFrvT}dFDbcNtvyc[]H\ENaXPcweCXEKPChbEPJWpSQmF|CVa@PEwbCOEGTBNaFOsw`cLEHhBHa[OrWesKmC|Cb`PPHwSCQUCpB``MOxWRSMMB|Af_|OiWScFuED@t`bO]WWcF]B\Bf_xOywMCMeAdDza{OSWIcV]ATEl_fPkWHcY}IL@DadOQWhCC]@|BZ_`OvwGCLu?hBT`kOEWYs@]GH?HaCOBW_s?mAl?B_lO@wJC?U?@D~^}P_V~sVuHs~v^|PNwfb~eBO~p_tN|WLb~L~TD@aaNzv|cSL~PDb^rPWV{cT|}|?x_]Nwv{CBm@S~\_RNuwDB|eM_~FbiNqwyR{d|t@b^^OXvvcEUL?}t^[PhWsRz\|DEf^QPivssYeMS}\bfNfwxbyEFW}V`wNew\rxd{`Dd^IPYVqSU]IW}J^FPSVpcS|zpAp]}OlVnSJLzXEZbNNZwrbvDzLCP]tPDVlCPLQqhZSjiRTHyclQehTSgiVTKId{?y?`?N_FOCG@{PIGhCRsaIU\JYcZQshDsmHxLJq]ZQyfdrbITkwydbMOhVsrHnLKiZnRMeyr[IW{uyeRLqharTiVKtidzLWh\sshhKsQejROebrNiYKsIefL?hisoh`lKAWVQ}eCsqh]|KqVvRMd{q|IXKnIeNJohaqziUKmidZJkhVslH\KmYdnJchXqtIW[lYeBJQh^sXIMLFQbRPqgrsRIQlDAcrPMhJsQiS\CadJPEhOs\iGLFiaJPwg`sYiAl@Ab^OQgus@IP|?acfOEhGr}HwK~q\~Nyf]rliA|@i\vMwgKrji@{yq_VOKfTreII[xqanMYgirciJKxYazMSglr_IF[wQ`~MAg]sIHlKuq`ZLigTrrhk[|AZNLcfhsLhj|BaZBOsemrSID{tQ`fOoehrQiO[sycNLKhAs^HfLGAXzP}e\ruHe{rQ]nKqfirJIR\HyXbKmhMrIHuKzQXNKifXshhcLIiXJQgePrEh~{py_FK[g?rEH|kpQ^bNmeJrhH`{pI\RMeeGr?ho{oY[VKCfCq~HsKoA[~J}fPrph[K{QVFNAdnquHn[lqZ~JYe}sGhXklA`NOcdfsFHW|AAUVO]dcqoH{KkQ^JJAfpqmhz[jy]~I{fmrxhUk}iTrNgdZsVhT|EITfP_dWqiH}[iq^nIifyeHrDXac`EOfGQcIqDHAtlmuzZ[kEUBj@l_IoBW?jdTrIx]nTWBjvU@y|d_UoDVdkATxy|D_]mLWfkTTqyxDaem@W`j`UHYwdaMl|WRkGTmyvd_}oPUbjRUBZ@TYUkxWfkTTgYrtaepDTxi}UHYnTaEipWPiiUCyit_}i\WHihUBYiD_mohSFkKTAzAtOeotRth{UFy]t`ufDWZhqUFY[t`}opRZkJStzAdLehTUtiVTmYddZ]jXUniwTkyltZElPTZjUTVytTTun|TLk?TQYhT^uiDUJibTbygdWui@VPi]Tryft[umdSvi\TtyfD\Uj|Spj@TLYoDRMhHV^iSTwyct]EkHS^iPTaYotQEgpTriMT\ybTVUk`SRjITDyqTPUgXUViGTey`tXegHVxi?T}y_T^]ftVph~T|Y^d^MjLRnitS{ylDNEfPT`iqSyy\dUMmpR\hoTvYzTL}sHYtlXU_ZOTjEu\YjlhUjZTtlEsdZTlJUuZQdl]sPZjlDUyZOtm]uHX~lbU^ZNTkMrhZLlcU]ZXTf]v@XblqUXz[TeUu|X`llUVzZdduqlXhkuUUzJDemr`XRkvUSZMTdUspXJlMURzRTcuqHYLkcUcZGtg}s|W~k_UgzGTiEtHWxlSUNZStbmpdY|kZUoZEdj}pXYvkWUmzDtjeyDZllwVPZgDm}xD[nmXVHzcdrEwx[jmOVIZbtquxh[Vm[VEZetpmw`[|m\VDZaTr}v|\FmdV?zhDoEvp[DmCU~Z_tnmvl[LlxVBz]domzH\pmyVYZktvMy|\vmpV]zkDvezT\XmvVVZldtmyX\RmgVTzhttU{[?Cm}_?jqTwE{_?Em~_?joTwe{W?EnBva_?dwV