CAT(2016,3)

Sparse6:

:~?^__?_?_?_I?C?F_E?H_D?G_O?L_N_M_X?W_U_V_W_U_V_I_J_K_C?H_E?G_D?F_G_F_H_C_E_D_v?o_m_n`H?s_u_t_p?{_y?q_z?r_v?y_x?{_w?z`W?p_r_q_s_t_u_x_w_v`e@a`a`a`[`\`Z`Z`[`\`W`Y`X`W`Y`X`V`T`U`T`V`U`R@^`Q@]`S@_`F`E`G`A`@`?`B`D`C_|@`_}@`_~@``N@Q`P@S`O@R`M@]`K@_`L@^`I`J`Hag?l_j_kay?j_l_k_g_h_i_d_f_e_d_f_ebH?g_i_h_j_l_k_b_a_c`R`S`Q_m_o_n`E`G`F`@`?`A_~_|_}`D`B`C`C`D`B`F`E`G`J`I`HboBkBnbiBlbjBmbhbfbgaTaRaSaSaTaRaWaUaVaWaUaVaYaZaXaYaZaXa[a]a\ajakalamaoanaparaqbHbJbIbKbLbMbNbPbOblBNbPBmbOBnbGB^bFB_bEB]bZBKb\BMb[BLa}Bba|B`a~Bab?B`bABbb@BabBBcbDBebCBdbHBcbeBJbIBdazBUa{BVayBTbSAvbQAxbRAwbRAxbSAwbQAvasAjauAlatAkauAmanAtaoAsaqAiarAhapAgadAza{AfayAea~A^a|A`a}A_b@AbacBAb?AabDAabBAbacBCbGAgbFAibEAh`b`c`db]AIb^AKb_AJaGBWaHBYaFBXaCBiaEBkaDBj`zBW`|BY`{BX`wBZ`yB\`xB[bU@tbV@vbT@ubf@qbh@sbg@rad@naf@pae@oa\@k`mA]`lA[`iA`a_@ja^@h`eBm`gBn`fBlaOAAaBAQaPA@`}ALaNA?aM@~_^_`___^___`eNAXaYaZa\a]a[a^a`a_aaacabadafaeajalakanaoamarapaqaxavawbGbEbF_y_{_z_p_q_r_s_u_t`b`d`caOaQaP`}a?`~`t`u`v`w`y`x`e`g`ffVFMFTfOFUfNFSfRFUfPFTfQFSfCfBfAf?f@e~exezeyelenemeoEiekEqepEjefF?ehE~egF@exEcezEeeyEde`FAebFCeaFBeZe\e[eTeUeVeWETeVEYeUEXeQFJeSFKfLERfPESfQEQfREReNEZePE\eOE[eMeLeKeKeMeLeGeFeEeHeJeIeDFJfLECeBFKe?FOfMEAe@FNe?FDeAFFe@FEeDE}eBE{eCE|erD~d}Etd|EsbvErbuEtbwEseoC@b~Eqc?EpefCEegCDcFEheaCAebCCe`CBdzEPdyEOeND{dvFOfMDxfNDwdpEHeJDrdqEIdlEEdkEGdjEFddFJfLDfdeFKdbE{dcE}daE|d`FId^FGd_FHfPD[fRD]fQD\dUFGdWFIdVFHdSEeedDRdTEcdLE]dNE_dME^dHFSfUDGfTDFdIE]dKE_dJE^dDFIdCFHfGDEc{D~d|C|czD}cwEjekCycxEiceEucgEwevCfchFEcjFDciFFcncocpcdcccbelC_enCaemC`c^Euc\EwevC]bqEXeYBobpEWcMCPcQCOcRCNc}Dmd?Doc~DncGD@cIDBcHDActDgdiCvcuDhdXCqcsDZcrDYcUBycTBzcSBxb}CWb|CVb{CXckDsduCmdtClcJCYcLC[cKCZbtDObrDQbsDPiY?o_n_m_|_}_~`?`@`Abwbvbubxbzbyb{b}b|b~c@c?cBcAcCcDcFcEdRdTdScJcLcKcNcOcMcPcRcQcUcScTcVcXcWcYc[cZjOImikilibidicitI_ivIaiuI`i`Ini_IpiaIoiZIqisI[iYIriYI\i^I[i]IZiSiUiTiViWiXiVJCiXJEiWJDiUJAiSJ@iTJBi|IQiRI{izIPixIQiRIyiwIPgaJFjGGcgbJHinINiMIpioIOiHJHiIJFiGJGjNIEjLIFjMIDjIIBjJIAjKIChxIqhyIrisHzjBHphqJ@jAHojKHljJHnjIHmhZI\i]H\h[I^itHWivHYiuHXikHTimHVilHUjIHQjKHSjJHRicHNhPIdibHOhHJLhJJNhIJMiwHBiyHCixHDg}I}j?G~i~G|gxgwgvgsgugtgrI|gpI{gqIzjCGmgoJEjDGnjLGjjNGljMGkgdI}i~Gej?GfihGIijGKiiGJgFIegGIggHIfgNIjihGLiiGMgOIegPIggQIfh~H{h}I@h|I?h]Huh_Hwh^HvhEGghGGihFGhg^Hbh`G`g_Hag]Hjg\Hkg[HihcGWgUHegVHdhgG@hhGBhfGAgCF}gEF~gDG?fzGXgZF|gYF{iLFwfxIKfyIJhtFvhsFuhrFtfnGSfpGRfoGTfmHAh?Fkh@FlfhGyg{FigzFjfeFafgF`ffF_fbF^fdF\fcF]hKFVfXHMfWHLfYFqf[FrfZFslzIUiSiTiXiWiVasauat`b`d`caBa@aAaDaEaC`p`n`o`q`s`r`h`j`i`k`m`lhfhhhghchehdfgfffefbfdfcf_faf`f\f^f]mpMUmWmVmTMmmRMomSMnmOmQmPmjMLmlMNmkMMm@MKmJMAmIMBmHMBmGM@mFMAl}l~m?lzl{l|mgLwlyMimhLxlyMfmeLwlxMdjuL{l|JslzJtltMmlvMoluMnlfMjlgMlleMkldMommLblcMnlYMIl[MKlZMJmFLVlXMHmGLWlUMCmELSmDLTlPMCmELRmDLQlMMjlOMllNMklFMclEMalDMbm^LAlCM`lBM_k~l@l?k{k|k}l}Krm?Ktl~Ksm[Kfm]Kgm\KhkcMXmZKdkeMYmhKDkBMimgKCk?kAk@j|j}j~jvMdmfJxmeJwm[Jpm]Jrm\JqjmMXmZJojnMYjjMajkMcjlMbm`Jgm_Jim^JhjaMRjcMSjbMTjdMNjfMMjeMLmOJ[mQJ]mPJ\jYMUjZMWjXMVkxL]kzL^kyL\l_KukwLal`KvkqLhkoLikpLjkaLGkbLIlHK`kZK]k\K_k[K^lJKTlKKUkVLLkKKlkMKnkLKmkHKikJKkkIKjkPKGkOKFkNKElqJylsJ{lrJzj_KQj`KSkRJ^jUKWjWKYjVKXlnJRjTLolpJSjOLkjPLmjQLlpO?Z_X_Y_[_]_\eBeDeCeKeMeLeEeGeFeHeJeI`T`U`VcGcIcHbrbtbspaPgpbPipcPhpcPepaPfpbPdp_p`p^p[p\p]pRPIpKPTpJPSpOPFpQPHpPPGpDPfpCPepdPEpBPhpAPip@PgoyPZowPYpXOxpXOnpZOppYOopWOapUO`o_PVpUO\o^PWpVO]oYPRo[PSoZPToVPQoWPPoXPOoSP[oUP]oTP\oPP^p`ORoQP_ntPMnrPNnsPLpMNopNNqpLNpmym{mzmtmumsn{Ohn}OjoiN|nzOsnyOqnxOromNlokNmolNnniO}p?NknjO~n~NfnhO?ngO@obNcodNeocNdnbOgnaOen`Ofn]Nun_Nwn^NvnNNZn\NPnON[oINYnXOGoHNWotNUovNVouNTnQOznSO|nRO{oJNEnFOLnGOKoMNBoONDoNNCn?ODnAOFn@OEm|OAm~OCm}OBnKMvnMMxnLMwmpNHmrNJmqNI_U_W_VreARaTaSaUaWaVmwmxmvmpmrmqrhRkrjRmriRlreRnrpRfroRgriRcrdRjrhRbreR_rgRarfR`roRGrpRIrHRnrERmrFRlrDRkr^RBrCR\r]RAr]QtqrR^r\QsqQR`qSRaqRR_rdQPqNRbqORcqzRUqyRSqxRTrQQurRQwrPQvqfQlqnQhqmQgqoQiqqQkqpQjq]RJq_RLq^RKqZRMrOQ\rNQ[qFQ}q{QGqEQ|qBQ~qCR?qDR@qTQ?qAQVqUQ@qWP|qYP~qXP}pyQHp{QJpzQIpvQMqLPxpwQKpsRXrVPuptRWr[PprYPqrZPrpmQdpnQeqcPoq`PjqbPlpkQa_R_T_S_R_S_Tkhkfkgkdkekct?Svt@SxtASwsuTDstTBssTCsdTEsfTGseTFtJSbtHSctISatBSLtDSNtCSMt?SItASKt@SJrzTGr|TEr{TFtHRwtIRytJRxrvrtrursrqrrsrS{sqSzsySps|Sms~Sos}Sns[SOsPS\sQS]sTS`sSS_sRS^sFSgsGShsHSisjSCsESlskSDsUS@sWSBsVSAs?SZr}SYr~SXiRiQiPfwfyfxftfufvoDoFoEoAoCoBuJUHuIULuKUGuNUDuOUFuMUEuMUCuBUOuAUNuJUAuLUCuKUBu?UFu@UDt~UEt{UGuIT}t|UHt`tbtat]t_t^t[t\tZtYtXtWtiTKtkTMtjTLthTwtuTgtvTftxTctyTdtzTetTTotVTqtUTptQTrtSTttRTstlTNtnTPtmTOvCLylxlwjajcjbjdjfjejRjSjTjQjPjOqcqeqdq`qbqathtgtftetctdv[v]v\vXvZvYvPVUvWVOvVVQvLVSvNVTvMVRvYVIvXVJvKVZv[VFvGV]v\VHvWVCvVVEvDVUvCVRvEVTvDVSvMU]vNU^vLU\vAUzvBU|v@U{v@UwvBUyvAUxulukumuiuhuju_VOuaVQu`VPuUVGuTVHvFUSuRVJvKUQuPVIu}UtuvV?uuU~unUqupUsuoUrucU[ubUZuYUduVUeuXUguWUfw]?O_Q_P_Q_O_PgFgHgGgIgKgJgLgNgMgOgQgPnrntnsnqnpnonEnGnFnBnDnCwzWfwhWxwyWgwcWuweWwwdWvw]w_w^wbwaw`wrWbwtWawsW`wpW]woW_wqW^wfWWwXWgwYWhwcWTweWVwdWUwQW\w[WSwZWRwNWZwPW[wOW\wEWxwzWGwyWFwBWlwnWDwCWmwkWAwiW?wjW@wwVvvxWuvwWvvmWrvoWtvnWswoVjvlWqwpVkvgWlwnVivhWmveWkvfWjvdWiv|WKwMV~v}WLv{WIvyWJvzWHvsV^vuV`vtV_vaVpvbVrvcVq_]_\_[_Z_Y_Xr_rar`rcrbrdpuptpsppprpqyAYLyBYNy@YMx~YIy?YKx}YJx|YByAXzx{Y@y?Xyx~Xwx}XxxhxjxixgxexfyLXbyNXdyMXcyIXYxZYJx[YKyFXCyHXAyGXBxFYCxDYExEYDw~YDx?YEx@YCyFW{yHW|yGW}xqX_xsX`xrXax\Xtx^Xvx]XuxWXmxlXXxkXVxSXnxpXUxTXoxPXJxRXLxQXKxOXHxIXMxGXNzHVAv@vBpLpNpMukumuluhujuiueugufubuduczKZWzMZYzLZXzVZMzUZLzTZKzEZQzGZRzSZFzNZEzOZGzPZFyUZNyWZPyVZOyrZHzJYpzIYqzJYozIYmzHYnzXYfzYYdzWYezUYazVYczTYbyXZQzSYZyYZRz?YvzAYxz@YwysZByuZDytZCyjYyylY{ykYzy~YiyhY|ygY}y]YTy\YRySY[yQY`y_YOy^YP{S?L_N_M_M_L_N_R_T_SzFzGzEwZw\w[v^v`v_wBwDwCw?wAw@vavcvby^y`y_y[y]y\{k[Y{m[Z{l[[{V[h{X[j{W[i{e[S{U[g{f[T{b[Y{d[[{c[Z{P[\{Q[^{R[]{Q[]{P[^{\[R{M[S{O[T{U[N{X[N{V[M{W[O{G[_{a[I{`[H{D[_{a[F{`[E{JZ{{LZ}{KZ|{KZy{LZz{JZx{bZrzt[d{cZs{kZp{mZq{lZozl[nzn[pzm[ozi[qzk[szj[rzc[qzd[sze[rz`[nzb[oza[p{eZ]z_[gz^[fzZ[hz\[jz[[izfZ~{@Zh{?Zgzu[Azv[Czw[B{K{L{J{M{O{N{P{R{QxAxCxBxDxFxE|z\u|{\s|y\t|z\q|y\r|p\{|i\v|x\h|g\w|x\e|f\w|d\v||\I|~\K|}\J||\F|~\H|}\G|C]B}C\D}D\E|B]?|A]A}@\@{}]B}D\?}C[~}?[t{v]A}@[u|c\k|a\l|b\j|m\^|o\`|n\_|X\U|W\Z|Y\V|[\R|]\T|\\S|L[z|N[||M[{{w\O{y\Q{x\P}E]l}F]m}G]n}p]`}q]a}o]b}]]s}t]_}r]^}[]h}f]\}Z]g}Y]e}d]W}X]c}N]T}P]V}O]U}Q]K}S]M}R]L}H]i}J]k}I]j}u^A}w^C}v^B}~^J~@^L~?^K}{^G}}^I}|^H}x^D}z^F~E]y_@^S^M_A^U^O_B^T^N~P?A^V~R?B^X~Q?@^W