CAT(2024,4)
Sparse6:
:~?^g_?_?_?__?Z_Y__?\_`?^_]_c?[_l?k_n?m_p?o_k?e_o?f_m?g_j?l_p?h_n?i_D_E_G_F_I_H_O_P_Q_M_R_N_V?}_U?~`B?S_W@?`@?X_T@A_Y_Z_\_^_[_]`Q@D`E`C`G`H`F`P`P`O`O`P`O`I`J`N`L`M`K_{?t_u?z_y?q_x?r_v?|_w?s`u?~_}@u`?`w@B`A`@@y`o?p_k@p_l@q_m@s_n@r_o@t_f@k`n?g_j@l`m?i`i?h_e@jaP?J_L_K_D_I_F_E_H_Ga[ANAUaMAVaOAWaMASaNATaXAOaY@naY@i`lAZaZ@k`mAZaY@jaAaBaCaDaFaE`qAG`oAH`pAI`sAL`tAJ`rAK`|`}`~a?`{a@aG@uaI@v`wAJ`yAL`zAK`xAH`eARaQ@f`cAP`dAPaQ@haR@g`]`_```a`^`b`V`Q`R`S`U`Tb]ASaTaUaXaVaWbZ@Y`\BY`ZBW`XB\`WB[`[BXb]b^b_bbbab`bQBmbUBlbRBibjBVbSBnbTBkbx?f_e_h_j_g_i_\_]_Y_Z_^_[`S`T`Q`R`V`UcPCIcGcDcEcHcFbzbyb|bxb{b}b|C@cABzb{B~cBBxcCByb}C?bpbqbtbsbrbobiC@b~Bjc?BlbkCAcCBncBBmbQbSbUbRbTbVaza}a|aya~a{asBwbuAtbuAubvAvbwAxbvAwagahaiajalaka[a]a^a_a\a`b]BXbZBab^BYb[B_bWBbb\B`bEB?bFB@bGBAbHBBbDBJbIBCaeAmanAaaoAbapAfacAqadArcDcId_CEcFD^cGcHDbbcbfbdbebhbgddBLdeBMbPDfbKDgbODibNDhdwDvdyDxd{Dz_M_R_P_N_O_Q___`_d_c_b_acncqcocpcrcseEEHeBEIeMEFeJECeKEGeLEDe?d|e@d}eAd~dsdsdudtdudtdcdbdad^d`d_dXEHeMD]dZEIeJDYeLD[eKD\dODpdpDPdLDqdNDqdQDrdMDrdJdFdGdHdKdIdxC|dvCzc}DydwC{d?Dzc~D{eBCvcwEFeDCxctECcuEGeECycmchcicjclckc]Dxc`Dzc\Dvc^Dyc_DwcaD{djCbdkCccgDldoCddnCedmCfd@CPcTDAcQDBcRDCcUDDcSDEcKCXcJCVcMCYcWCOcLC[cNCZfhD}d|d~e?e@eAdiFbfdDhfeDfffDdfgDefcDgdRdTFtdSdUFvdWfxDVfhCnfiCocrFjfmCqcsFkcpFlgRAMaNaO_C_C_C_O_M_N_R_Q_P_T_V_S_W_U_X`^`a`b`_```]`[`W`X`Y`\`ZbWbXbYbZb\b[dKdIdFdHdGdJcKcNcJcMcOcLe[eZe\e]e_e^giH@geG~gdG|ggH?gfHAg}GhgdGkgiGjghGmgeGlgoGggfGngpGUgqGVgrGVguGUgsGWgtGWgQgOgOgQgPgPg|GLg}GLg~GMgNH?hAGMgNH@gYGGgZGFg]GIg[GKgHGXg\GJgCGRgDGRgEGSgEGTgDGTgCGSecGFeeGHedGJeaGKe`GIebGGfzHBf}HDf|HChEF{hGG?hFF~fnfsfofpfrfqfmGsgpFigqFhgrFjguFkgtFlfffbfgfcfdfef]G`f\G^f^GagbFaf`Gcg_F_g{FPfTGxfQGvfRGwgzFUfSGyhFEzexHChGE}eyHDe{HBhEE|eweseteuerevefGjgoEiegGkejGnekGlehGmeOGXgYEPgZEQg[ESeNG]g\ERfJFVfWFOfXFKfLFYfMF[fNFZelF@fBEmenE~eoF?fAEpfCEqeUFEeVFFeWFGeXFIeYFHfDETjLGzgygvg{gwgxg^g_g`gagcgbjJG@jGGBg@JHjIGBjKGAjFGAjLFtjMFvfyJNfuJQfxJOjPFwe\JRe]JSjTEZjUE[jWE_jVE^_y_z_x_w_|_{bvbubwaJaLaHaGaKaI_W_S_U_X_V_T`o`q`p`t`s`rc[cVcWcXcZcYcJcKcLcMcOcNeWeTeYeUeXeVicidieifibigh]hZh^h_h[h\kiKZKFk[KGkXKHk\KIkWKJkYKEkPJqkKJpkLJqkOJrkMJpkNJrjkKRjnKTjjKVjlKUjmKQjoKSk]JgjdK^kbJejfK`kaJijhK_j^K?j_K@j`KBkAJbjaKDkCJcjWKNkKJRjVKPkLJSjTKOjUKMjwJPjuJNjvJOjQJtjxJMjLJskfI|kcI}kdIzkeI{j?Khi~Kgi_JyiaJ|jzI\i]J{i`J~i^J}kEHxkFHykGHzkHH{h}KJh|KIkgHmkcHlkeHnkdHokhHphqKfhVK]hTK_hUK`kbHWk^HYkaHXihIbiiIcijIdikIeilIfimIgiRIJiUILiSIOiKIPiTIMiNIQhwIFhrIDhuIEiGHsiIHviHHtipHeh`InhaIohbIqisHdhcIrh~HHhII@i?HMhJIBiAHKhLICmaKckdkekfkhkgm[KYm]K[kXM\kWM^kZM`m_K\kQkRkSkTkVkUkCkAk?k@kDkBjyj}jzj{j~j|jvjsjtjwjxjujjjojljmjkjnjXjZj[j\jYj]jGjFjJjHjKjIj@MajBMbjCMcjAMdmfJEmeJDitiuiviwiyixiVMmiYMniWMompIXmrI[mqIZhfhgNihhhiNkhjhkNmhZNEnFH]h[NGh^NJnHH_h\NIn?HNn@HOhPNAhQNBhSNDhRNCn]MUn^MWmZNan_MXnbMVn`MYmPNKmONLmRNMmTNOmQNPmSNNmym}OGm{m~m|OIoJMznQMsnRMtnSMunTMvnVMxnUMwoYG@gBgA_D_I_E_G_H_F_J_J_L_K_L_KbKbLbMbNbPbOagaiahajalakd@dEdBdAdCdDctcucvcycwcxe`eaebeceeedfIfFfDfEfGfHjHjIjFjKjJjGmOmQmRmTmPmSm\m^m]m[m`m_pCO}p@OzpAO{pBO|p?PEpDO~onO~ozOpp?OsooO{o|OroqO}omPSoiPWpROhpUOjpVOkolPTpUO\pVOao`PWpRO]o^PTo_PSpXOYoYP[pZOZoZP]p\O[pYO[oSNsoTNontOUoVNpoXNqnrOWnUOgnSOcnTObnVOfnROenQOdotMmmqOxmrOwovMnmpOuoyMopLMIpMMJpNMKpOMLpPMMpQMNm@P]p\MBpXL}pYL~pZMAm?P[lkOhoiLlojLmlnOklpOlloOmoSL_oVLaoXL`oWLbldOTlcOUl\PQlYPNlZPPl[POpML^pLL]lMO\o^LNo_LOo`LPoaLRlQO]pDLJpCLKp@LGpALHpELLpBLIk{PHk|PIpKK}k~PFpGL@pJL?ksOgkoObkpOckqOdktOfkrOemON@mQNAmRNBmSN?mTNDmPNCm^Nan]M`m]N_m_Nbm\N`m[N^mgNWmhNZmiNXmjNYn\MlmkN[maNEnGMbnHMcnJMdnFMfmeNImGOCmDOEmHOBmEOFmFODoAMClSNclTNelUNdlVNflXNhngLWmyLAlBMzm{LCm|LDm~LFm}LEmVKukwMWkxMYmZKymXKvkzMUmtKimsKjmuKkklMxkmMwknMvpFpGpHpIpJpKotouovoyowoxopsFOqonsHOrossJOooQoMoNoOoRoPoJoGoHoIoLoKn{o@n|n}n~o?nuSXnvSYnzSZs[Nws]Nys\NxninlSdnjsfNnnkshNmnKnLnNnMnPnOs@LwsALxlySBlzSCsEL{l|SDlslqlrlvltluleljlflglilhs|SvtASws~Sxs}S{t?Syt@SzsRSjsSSnsTSksUSlsWSosVSmsLsNsMsQsOsPrzTNr{TOr~TPtRR|tSR}s?TQoSoWoXoUoVoTgCgEgDgIgFgGgKgJgH`N`I`J`K`L`M`j`k`l`n`i`mauatavawaxascccbcdcecgcfcRcScTcUcPcQfdfbfefgfcffh~i?iCi@iBiAtuUAtvUBtwUCtxUEtzUFtyUDu@TwtyT|tuT}u?TvtzT{t~TxtHTotJTptKTqtsTLttTMtITrtcSpsqTdsrTessTfthSustTgs^T}u@Sbs`T|s_T{u?Sat~ScsQTntlSNtkSLsPTjtmSOtiSMruUGuKRxuLRwuJRtuIRyrvUHuCRXrYUAr[UDuBRVrZUFuERWttRQrUTqrPTorRTprSTrtsRTt`RJt`RKtaRLrOTbrNTbtaRMq}TZqyT[qxT]t_Q|t^Qzq{T\qBUMqCUNqDUPqEUQqGURqFUOpbUMpcURpaUPuQP_p`UNuOP^r\S@r]SAr^SBsER_raSCr`SDtSRFrDTNrETPrITOtRRHrGTQr@Q?qARCq~P}r?P~rAQ@p|RBtTQetXQ`tUQaqbTWqdTYqcTVrzQTr{QUr|QVqWR}qYS?qXR~qNQrqOQsqPQtqQQuqSQwqRQvqfQHqgQIqhQKqLQiqMQkqjQJpzQ_pyQ^pxQ\q[P{pvQ]pwQZppTBpqTEtGPrpsTFtCPutDPtplRgrfPnrbPjpkRcrePordPmpeSWsSPfsTPgsUPisRPhpdSVuKuGuHuLuJuItmtitjtntktlthtgtctdtetfwcTZwdT[weT\t]Wft_Wht^Wgs|tAs~t?t@s}swsxsys{szsvsnsmsksjslsoxKSdsfXJxLSesiXGshXIsgXHw{SXw}SZs[W~s]X?s\X@w|SYsFWjsGWksHWmwnSJsKWlsIWiwrRnroWorpWprqWtwqRsrrWsrhrjrirkrmrlqlqmqnqoqqqpxkxlxrXmxnxpXtxqXoxiXAxjXBxeXCxfXFxDXgxEXhdpdqdrbQbSbUbTbVbRbEbFbGbHbJbIiJiKiLiMiOiNyGX}x}YKx~YJyHY?yIY?yFX~yQXwxxYOyLXyyMXzx|YPx{YNy@XMxOYAxQYBxRYDxPYCxNYEv{YMvyYLvzYNv|YOyQV~v}YPy@VgyAVivhYDvkYEvlYByCVjyFUwyGUxyHUyyIUzyKU|yJU{x_XjxgXaxiXcxeX`xfXdxhXbxGXYxZXHx[XIx\XJx^XLx]XKu_Wou`WpuaWqubWrudWtucWswiXkwmXowjXmwnXpxlWkwlXnw{W]w~W_w|W^x?W`w}Wbx@WawuWWwXWvwYWwwZWxwzW\wyW[vsW?vtW@vwWBvxWAwDVuwCVvvmWdvnWevoWfwcVpwhVrwgVqxrV[xsV\xtV]xvV^xuV`xqV_xTVRvTXXvOXUxSVSvQXVvPXWwHVGvCWEwGVFvDWFvHWJvEWIvaU}vbU~vcV?v@VdvBVfvAVeuqVUvVUrvWUsvXUtuvVZuuVYukXAulXBumXCxDUnxFUpxEUoueWKufWLwMUgwNUhwPUiujWOwQUYwRUZwVU^wSU[wTU]u\WUvIUSuTVJvKUUuVVNvMUXvLUWgMgNgLdtdudsereseteuewevmZmYmXmUmWmV{p[b[\{c[]{d[^{e[\{g[^{f[]{nZr{oZszu[ozt[ozv[nzw[nzZ[iz[[j{kZ\z_[mz^[l{hZ]zN[_{`ZO{aZP{aZQzS[`zR[_zH[h{kZI{lZJ{mZKzM[jzL[i{bYdyi[gyh[d{fYfyg[e{cYe{VYv{WYw{XYx{YYy{[Y{{ZYzzqZ}zlZxzmZyznZzzpZ{zoZ|z`[Pza[Qzb[Rzc[S{UZezd[T{DY|y}[Ey~[Fz?[GzA[Iz@[HzBYpzCYqyrZDysZEyuZGytZF{OYn{JYj{KYk{LYl{MYo{NYmy^Zfy_Zgy`ZhziYazkYczjYby]ZYy\ZXzWY[zTYXzVYZzUYYyRZ~{?YS{@YT{AYU{CYW{BYVgOgQgP}J\a|c]L|`]L|b]J|e]K|d]K}D\~}E]?}F]@}G]A}C]I}H]B|p\i|q\h|n\k|m\f|g\l|o\j|x\N|y\O|z\P|{\Q|}\S||\R|Z\H|_\J|[\I|\\K|M\^|L\]|B\T|C\U|E\V|W\F|Y\G|X\D{v[|{w\@|A[y{x\?{{[}{z[~|s[u{p\r{q\t{r\u{t\w{s\v}p]r}o]q}t]n}s]k}v]l}u]m}e]w}j]y}f]x}z]h}{]i}|]g}Y]_}Z]`}[]a}\]b}d]^}]]c}Q]X}S]M}P]W}N]T}R]V}O]U}}^I}~^J~?^K~@^L~B^N~A^M~C^O~P^D~E^Q~F^R~H^T~G^S~[?@^U~\?A^V~]?B^W_A^^^X_B^`^Z_@^_^Y