CAT(2024,6)

Sparse6:

:~?^g_?_?_?_D?C_C_C_J?G_G_H_H_I_I_H_I_G_a?]_[_[_\_]_\_p?i_i_h_g_g_h_y?h_g_i`H?y_y_z_{_{_z_v_w_x_w_x_v_j?s_u?k_l?p_m?q_o?t_n?r`t@m`l`l`m`l`m`c`e```a`d`b`j`k`i`f`h`g`Z@k`\@g`h@^`]@i`[@f`_@j`C`F`D`G`E`B`c?|_}@``d?~`a@?`@@e`A@b`X@^`Z@U`V@[`W@\`Y@_`]@T`H@S`Q@I`P@J`K@N`M@O`L@Ra|?a_b_d_f_c_e_`_^__b]BIbHbEbJbGbFava{ayawaxazbEAjbIAlaoBFbGAmanBJbHAkbEApbFAqasBIbGArbJAubHAtb@a}b?a|a~bAapBBauBCbDArasBBbDAtaqBC`oA}b?@s`pA~`rB@`qBA`nA|aXAvaYAwaZAxayA[a{A]azA\agASahATadAUafARaeAWaiAVafALaMAgaNAhaeAQaOAiadAPaGaHaJaIaFaK`|`z`{`}a?`~`tAl`wAoaj@uan@v`yAm`xAka^A@a_AAaBA`acAEaDAbaCAacw?V_X_W_V_V_W_X_W_X_Y_Z_Z_Y_Z_Y_[_\_]aeafagaiadahdMdKdLdIdJdNbZDIdJBYdKBWb[DLdNBXb\DMcwBMcwBLcxBNbKCybPCybOCxbQDDbRD@bVDEbSDBdABTbUDCd@CkdACldBCmcnDEdDCpdCCocichcgcecfcjcSCzcTC|c}CUc~CVd?CXcWC{cCCqcrCDcFCsctCAcvCEcuCBb{CqcrB|c?CvcsB}ctC@b~CubwbvbxbzbubyczBod?BsbpC{bqC|c~Btc}BrdHBdbeDFbfDFdHBhbcDGbgDGcMCYcNCZcOC[cRC^c\CPcQC]cGC`cHCacIC_cJCbcKCdcLCcb^BibjBbbkBab`Bnb]Blb_Bmel?a_f_b_c_e_d`i`f`j`k`g`h_|_}_~`A`@`?`C`E`F`B`G`DbKbLbObMbNbPbYbZb\bWb[bXcYcZc\c[c^c]bebfbgbhbcbdfnFVfZfWf[fXfYfWfZfVfXf[fYfPF^fQF\fRF]f_FUfSFafTF`fQFgfdFSfbFPfeFRffFTfcFUfcFKfeFJfNFffLFdfOFgfbFMfLFEfDFJfOFIfFFKfMFGfNFHf]E~f^F@fAF_fCF\f?FafBF`fDE~fEF?fGF@fBFHfCFIfAFFexe|ezeye}e{ereseuewetevelenemeoeqepexEiezEje|Eie}EjekEyekE{ebe^e]e_e`eaf]EQf^ERf_ESeUF\eVFaf`ETeKErewEPeLEseMEtevENeOEudsdvdxdtdwdufdDpfeDmfcDqffDrfgDofbDndXdZdUdVdYdWeqDPelDRenDOeoDQdTEpdSEme?EEe@EFeAEGeBEHeJEDeCEId[D|dyD\d{D]d`Dzd_D~d^D}eWDbeXDceYDdeZDfdaE\e[DeecDgedDhdiEedjEfdlEhdkEgiP?T_U_Sejeiekavawa{azayax_w_x_v_j_m_k_n_l_o`o`p`q`r`n`s`v`x`t`u`y`wdOdRdPdQdTdSjOJIIqjJIrisJKitJLivJNiuJMjDIoilJHikJEjCInipJFimJGieI}i~Ifj?IgihJ@ijJBiiJAi_i`ibiaidici_I\i^I`ibI\i]Ici^Iai]IdiVI{ixI[iyIZiwIWiXI|iYIziTiUiSiTiSiUiNiLiMiKiOiJiGIxiHIyiII|iHIwiGI{iIIziXIDiVIAiWIBiCIYi[IFiZIEiRJIjJIQjMIPjNIPiRJKjLIQfqIzfnIwfoIxfpIyfsI|frI{ftIqisFufyIuitFvivFwfxIrhrhshthuhwhvhnI}i~Hlj?Hmj@HohqJBjAHphfH~h~HkhgI?hiI@hjI@hhI?h_h[h]hZh^h\jIHOjJHNhPJNhSJMhRJLhQJKijHIhHIehJIfhKIgihHMiiHLjCHBjDHCjEHDhEJFhGJHhFJGh}H@h?H{g~Hxg|HyhAHzh|G}gvgwg{gxgygzj@Ggi~GhgdI}gfJBj?GigeJAg^Hxh}GcgaHzg_H{hyGbh|G`iMGXgZIOgYIJg[ILg]IKg\INgSJGjDGUjEGVjFGWgTJHgRJCgOgQgLgMgPgNf{IlfzInf|ImikG?f~Ipf}IogDIFiBG@iCGAiDGBgEIAgCIEgpHTgtHVgqHUgrHWguHYgsHXgIGjgFGlgGGkgoGKgJGmgHGnh`FhhaFkfmHbfiHefjHchdFl_P_Q_R_P_R_Q_J_M_L_N_O_Khxhzh}h|hyh{h~i@i?iAiBiCiFiDiEiGiIiH```a`c`d`e`b`Z`^`[`]`_`\`E`B`C`D`G`FbQbRbTbVbSbUc_c`cacbcdccfvfxftfwfyfugngjgkgmgoglgdgegfgggighfhfkflfjfifmn]NKn^NOn_NLn`NMnbNPnaNNn?NJnGNDn@NEnFNAnHNCnINBm}N[nWMzm{NXm~NZn\M|nYMyn?MdmeNBmfNCmhN@mgNDmiNAm\NLm[NKm^NMm_NOm]NPm`NNmsM`m[Mtm_Mxm\Mum]Mwm^MvmVMdmeMWmfMXmgMYmZMhmiMUmEMamFMamDMbmHMcmcMCmGMbl}Mjl~Mjm?Mkm@MlmlMBmkMAnULtnQLqnRLsnVLunSLvnTLrmOLemPLfmRLgmSLhmTLjmQLimqLal_MmmnLbl`MoldMrlcMpmOLSmPLTmQLUmRLVlXMTmSLWlGMWlHMXmZLIlJMYmVLLmULKn]K{n^K|n_K}n`K~nbL@naL?kwM{kxM|kuMykvMzkzM~kyM}kmNYknNXkjN[klNZn\KknWKimqKBmrKDmmK?k@MnkCMompKAnQJznTJynRJ~nSJ{nVJ|nUJ}jmMsmtJpmuJrjoMvjnMwjqMxjTNFjONEnGJPnHJQnJJRnIJSlYKqlZKrl[Kpl^KtkoL\l]KskbMJmIK]kaMMk^MNmKK`mLK_kKLmlnKNkMLpkPLlloKOkLLkkELAlCKIlBKFlDKHlFKJlEKGjuKQkSJsjwKRjvKTkVJtjxKUlMJgjkLRlNJhjlLQlOJijjLPl|JfjbLwjcLxlyJdlzJejaL{kfJ\j_KhkdJ]kgJ[j`KckeJ^jUKWjVKXjWKYjXKZjZK\jYK[_D_D_E_F_E_F_S_U_U_T_S_Tanakalajaoamasarapaqauat_s_u_q_t_p_r`n`r`o`q`p`saLaNaMaPaQaO`~`z`{a?`}`|a@aCaDaEaAaBlQlNlMlPlRlOk^k`kbk]kak_j~jyjzj{j}j|q|RGq}RIq~RKq{RHrJR@r?RLrYQuqyR[rZQvr\QwqzR^qxR]qqRWqoRUqrRXqsRTrSQtqpRVqzQsqyQrqoQuqqQvqpQwqxQtrIQirGQjrHQkrJQlqnRLqmRKq}OPr?OQq{OOq|ONr@ORoMQ~qWQKqLQXqMQYqNQZqPQ\qOQ[rEQHrDQJqERBrFQIrCQFqGRArFP}pyRApzRBrDP~rEP{rCP|pvQeqcPspwQhqdPtpxQfqgPupmRMrNPrrPPorOPppnRRrQPqpeQapaQ]pfQ_pbQ`qbPcpdQ^pZRTpURSpWRWpVRUpXRXpYRVrZPCr[PDr\PEr^PFr]PHrYPGp@QcqdO}qeO~p?QfpAQgpBQho{QjqmO|oyQkowQiqnOzoxQlqWN{qXN|n}QYn~QZo@Q\o?Q[nuQ^nwQanyQ_nxQ]qbNznvQ`rNNontRQrPNqrONpnsRRnrRMpgQ?phQ@qAPiplQBpkQDqCPjouPMpNOsoqPIpJOrotPKovPLokOeolOfomOgonOhojOpoiOopOOYpPOZpQO\o[PRo^PTpSO]p[OGp`OKoJP\oIP_oLP^oHP]oDQVoFQUoAQQoBQRqSOEoCQTo_Njo`NkoaNlobNnniOcnmOdoSNcngOXoTNeoUNfnhOVoWNd_J_K_L_N_O_MiJiKiMiNiOiL_^___`_^___`_|_}_~`@`A`?`I`J`M`H`K`LbMbKbPbNbObLbQbRbVbSbUbTbWb\bXbYb[bZbubvbwbxbybzb]b^b`b_bbbafnfpfqfsfrfohWhThYhUhXhVhIhKhJhHhMhLgvgxgygwg{gzg_g`gbgagcg^fkfifjfhfmflvcVaVGvbVCvbVFvaVDvbVHvaVEv@VLu}VIu~VJvKV?vBVNvAVMueUquuUhufUrugUsujUvuiUtu`UwuaUxubUyu_UzudU{ucU|vXU\vZUYvYU]u[VUvVU^vWUZvRU\vOUYvQU^vPUZu]VTu[VSuVV?uWU}uTU~v@USvBUXuUVAuGVUvVUHvWULuIVXuKVZuJVYvLSAr}VIr~VJvKS?vNS@vMSBuIT{uKT}u?ULt~UJu@UGt|UHuATruBTouCTpttUDtsUFuETqtiV[tjV\tkV]tlV^tnV`tmV_vHTgvCTcthVEvFTdvGTevDTftWUquvT\tXUrtYUsuuTZt[UtuwTKuxTLuyTMuzTNu|TPu{TOuASyuBSzuCS{s|UDs~UFs}UEssUMsxUQstUNsuUOsvURswUPshUesgUfsjUgsiUhujSkslUiuVSbuWSesfUXsaUSuTSduUScs[U_u`S]s\Ubs^Ucs`UduaS_ukSUuoSZulSVumSWupSXunSYukSOsPUmsQUnsRUpsTUoulSSuQSNsIUMuPSMsJUNsKURuOSLreV[rfV\rgV]rhV^rjV`riV_vOR_vPR`rdVSvTRcvQRbvRRatETQtRTFtGTStHTTtJTVtITUt]Smt^Snt_Sot`SpsrTbsqTatvRxr|TwtyRytuRwr{TzrzTxrqT?rrT@rsTArtTBrvTDruTCrkSCrlSDsERmsFRnrpSHroSG_j_m_k_n_o_leGeEeJeHeFeIdmdndodrdpdqkokpkrkqktksjdjajejbjfjcyiWSyjWTykWUylWVwXYnymWWycYEyFYdyGYeyhYJygYHyIYfy?Y`yaYCy@Yby]YBy_YDy^YAxmYpyrXoxnYqxqYtysXrxpYoxgYWxhYXxkY[xiYYy\XlxjYZxaYoysXbytXcyrXdxfYqxeYpy^XWy_XXy]XUybXVxZYay`XYygXTxOYcxPYdxQYeyhXSxRYfvoYmynVtyiVpvqYlykVryjVsy\VnvmY[vlYWyXVjyYVkviYZx[Xsx\Xtx]Xux^Xvx_Xwx`XxxEX~x|XHxFX}xyXCxGXzxDX{wpWvwqWkwnWuwrWlwoWtwsWmwYYKwZYLw^YMw[YNw]YPw\YOwPWwwzWQwNW{wMW|wRWxwyWOyQWGyRWHySWIyTWJyVWLyUWKw`WAwBW_wCWawDWbwdWFwcWEv{W}v|W~v}X?v~X@w@XBw?XAvxXNxIVuxJVvvwXKvzXLvyXMvcWevdWfveWgvfWhvhWjvgWicqcucrcscvct`N`O`P`Q`S`R{oYxyv[p{mYwyu[n{rYz{qYy{a[m{b[n{c[q{d[o{f[r{e[p{v[L{w[M{s[I{J[t{x[N{K[uze[szf[tzi[xzg[u{vZj{wZhzw[[zx[\{`Zzzy[]z{[^z|[_{lZvzq[j{gZr{hZszt[kzu[i{UZk{VZl{WZm{XZn{ZZp{YZo{CZY{DZZ{EZ[{FZ\z^[H{GZ]zXZczVZdzSZ_zTZ`zaZWzUZbz}ZGzHZ~{?ZI{@ZJ{BZL{AZKzA[OzB[PzC[QzD[RzF[TzE[SzMY{zNY|y}ZOy~ZPz@ZRz?ZQlklllmlnlplojsjtjujvjxjw|o]G|p]H|q]I|r]J|t]L|s]K}C\\|W]A|Y]E|X]B}F\[}D\Z|D]I|B]L}G\?}H\@|C]J|A]K{y]A}D[~{z]B}F[}}E[|}C[{|Q\i|R\j|S\k|n\V|m\T|U\l|c\]|d\^|e\_|f\`|b\h|g\a|{\P|O\||N]?|}\K|L]@|M\~|E\u|F\v|G\w|x\H|z\J|y\I}m]M}Q]k}N]n}O]l}o]R}p]P}e]q}j]u}f]r}i]t}g]v}h]s}]]y}Y]w}z]^}Z]x}{]\}[]|}S]_}T]`}U]a}V]b}d]X}W]c}}^O~P]~~Q^?~R^@~T^B~S^A~I^C~J^D~E^K~F^L~H^N~G^M~[?@^U~\?A^V~]?A^W_@^^^X_B^`^Z_B^_^Y