CAT(2016,2)

Sparse6:

:~?^__?_?_?_j?c_b_a_g_i_h_k_l_j_k_l_j_d?g_f?i_e?h_|?y?r_p?{_z?q_{?s_u?y_z?t_v_x_w_n_m_o_z_{_y_m_o_n`K@H`L@J`M@I_~_|_}`A`@`?`G@J`E@I`F@H`K@B`M@D`L@C`Z`\`[`Y@Q`X@S`W@R`N@T`V@P`O@U```b`a`c@]`d@_`e@^_g_i_h_f_e_d`F`G`E`o`q`p`l@r`n@s`m@t`l@q`n@p`m@o`f@r`h@t`g@s`k`i`ja_?b_c_a_s_u_t`V`U`TasAqaparaqarapahAlahAjahAkalAmaoAjanAkapAmaoAranAqaeAbadAgacAfa_a`aaa_AbadAaacA`a^Aja\Aka]AlaYAiaZAia[Aia]AmanA\aoA^aGAKaIALaHAJaMAJaOALaNAKaXATaSAVaUAWaYAWaXAZa[AVaMAPaOARaNAQaPASaQAUaRAT`xAD`zAF`yAEafAAaCAeaBAg`~a?a@aF@}aE@|aD@{aG@u`wAIaH@vcJA[aYaZaSaTaUaVaXaWcJCPcQCLcRCKcMCPcRCOcQCNcGCAcICCcHCBcHCDcFCIcGCEbibkbjbcbebdb`CMbbCObaCNbuBVbTBwbUBvbuBWbwBYbvBXbZBxb[Bzb\Byb]Byb_Bzb^BxcJBNbPCLbOCKbHC@c?BIb~BJbECDcFBGbFCEbDB~c?BCc@BBb|A|b{A~b}A}b{BAb|B?b}B@cAAvcCAxcBAwbrBobqBtbpBsbfBlbhBnbgBmayBKa{BMazBLbQAtbSAubRAsd[DRdTdSdLdNdMdZCYdXC[dYCZc^DZc]DYc\DXcSDUdVCUcTDWdUCVdWCXdVCWdICicjDKchDJdCDFdHDEdDDGd@DOdBDQdADPcwCzcyC|cxC{ctCqcsCvcrCuckCecgCmclCfccCncdCpcbCoc}C_d?Cac~C`aEaFaDa\a^a]doEGdmEFdnEEeBeDeCe?eAe@eJDudtEHdsEId_EFd^EGd`EEd]EIeJD[d\EHdjD|dlD~dkD}dyDgdiD{dzDhdwDddvDfdxDedaDpdbDqdcDrbubwbvbzbxbyb{b}b|b~c@c?eKEiekEMeLEjeoEfeqEhepEgecEreeEtedEse`EnebEmeaEle]EiekE_e^Eje[e\eZeXeYeWeoETeVEqeUEpenESemEQelEReNErePEseOEtdUdVdWdZdYdXfPfRfQfMfOfNfAFSfCFTfBFUfSE~fUF@fTF?e{FVfXE}fWE|exFVfXEzfWEyfGEuewFIevFHfDFJfFFKfLFEfnFhfoFjfpFifYFefZFgf[Fff_Fkf`FlfmFafbF\fdF^fcF]fzFwfyF|fxF{fqFtfsFvfrFucGcHcIcAcCcBcDcFcE_c_a_b_p_r_q`R`S`Q`g`h`fblbnbmbEbGbFasauatawaxavd^d`d_d\d]d[fGfHfIfEfFfDggGmgoGighGngdGjgfGlgeGkgiG`ghG_ggG^g`Gbg^Gcg_GagdGXgZGfgYGegZGVgWGXgYGUgSGVgTGWgRGUgPGRgQGTgOGSg\GMgNG[g]GLgQGMgNGOgPGLg[GIg]GKg\GJgGGbgFGcgHGagDGIgCGKgEGJgCGFgDGHgEGGf}Gjg?Glf~GkgoG@gAGmgBGnhc?V_U_Whi?X_Z_Y_[_]_\hu?^_`__aMaOaNaKaLaJaIaHaGaPaRaQ_d_f_e`D`C`B`^`_`]aAaCaB`u`w`vcbcdccc_cac`eReSeQeNePeOfYf[fZf\f^f]i_I\i^Iai]I`ibIZicI[iYIdiVI\i]IWi^IXiSIYiUI[iTIZiVIMiXIOiWINiJIMiKINiLIOiGIKiIILiHIJiFIQiRIDiEIPiIIDiHIFiGIEiSIAiTICiUIBh~IQi@IPiRI?h}HxhzH{h|Hyi@H{h}I?h|H~iAHxiCHziBHyhuhwhvhuhvhwhrGqhsGrgpHth]I_h_Iah^I`ibHZh\Idh[IchqHYhWHphXHohTHohqHVhUHphQHlhRHnhSHmhjHNhPHihkHOhfHMhhHLhgHKhHHihJHkhIHjhEHfhGHhhFHghBHchDHehCHdh?HchAHeh@Hdg|H`g~Hbg}HahlGygzHng{HmhrGvhtGxhsGwgsH`guHbgtHakK?I_K_JkQ?L_N_MkW?Q_O_Pk]?R_T_Sk^k_k]k]k_k^kZIek\Ifk[IgkEJOkGJQkFJPkEJRjTKFkGJSkWJLkYJNkXJMjKKTjJKUjIKVkTJHjFKUkVJGjCKQjEKSjDKRkWJ@kYJBkXJAkOI}j?KNi~KPi{KSkRI|kQIzkPIykOIxkNIwkKItkMIvkLIukKIqkMIrisKLipKHinKIioKJikKZimK\ilK[ihKHiiKJijKIj|K?kAJ~k@J}jxJyjvJ{jwJzjuJrjpJtjqJsjkJojlJmjjJnjaJgjbJhjcJijdJ^j`Jfj_JekBJ[kDJ]kCJ\jUJXjWJZjVJYlq?U_V_W_U_W_V_[_]_\_[_]_\mC?Y_Z_X_Y_Z_XkEkGkFmIMCmEMJmDMKmFMImGMKmHMJlqL}lrM?lsL~l~Lum?Lvl}Ltm@LwlyMBmALxlzM@l|MBl{MAkikkkjklknkmlzLel|Lgl{LfmGLbldMFlcMHmEL`laMCmDL_l\Ltl^Lvl]LulYLql[LslZLrlVLwlXLylWLxlnKblpK`kaLolnKclpKeloKdlhLSljLUliLTlPLJlRLLlQLKlDLGlFLIlELHk~LAlCL@lBL?lMK}lNK{lOK|kxKrkzKtkyKskpKukoKvkwKqkfLkkhLlkgLm_I_K_J_I_K_J_O_Q_P_P_Q_Onf?L_N_M_L_M_Nlnlploh`hbhahhhghfhqhphohrhthsnhNmngNnnlNfniNlnkNnnjNmnUN`nVNbnTNanaNWnbNYn`NXnZNen\NcndN[n]Ncn_Nen^NdnQNxnSNznRNyn]NNn_NPn^NOniNKnjNMnkNLnHNZn\NJnIN[ngNGnhNEnFNfnWNBnYNDnXNCnTN?nVNAnUN@m|Nom~Nqm}Npmvmxmwm{mzmymsNxmuNzmtNympNomrNqmqNpntMonsMmnrMnntMknrMlnsMjmgNwnuMimhNvnuMdmfNwmeNvmRmSmTmUmVmWmYmZmXm[m]m\maMLmcMNmbMMmOM^mQM`mPM_kHkJkIkPkOkNkTkVkUkZk\k[pXOMpZOOpYONobPOodPQocPPoaPZo_PXo`PYpRO\o^PTpSO]oYPToZPSo[PRoVPOoXPQoWPPoSPUoTPWpVOUpUOPpWORpVOQoAoCoBoDoFoEoHoIoGoJoLoKozPFo|PHo{PGpMOxpLOyowPNotPIpKOvpJOup@OqpAOspBOronO}p?OpooO~okPEomPColPDoiN{n}Ojn|Ohn~Oeo@Ogo?OfqOP\qPP]qNP[qEQHqGQIqFQJqBQ?qAQDqCQ@ppP|prP~pqP}pmQTpoQVpnQUp{PjplPypkPzqRPipgQSqQPhpvPdpxPfpwPepaPspcPupbPtp^QKp`QMqLP_qx?^_`___^___`jOjQjPjRjTjSm`m_m^mamcmbrGRArCRIrHRBrFQ~rER@rDR?q{RArCQ}q|RBqxQ~qzR@qyR?qxQuqyQwqzQvq{Quq}Qwq|QvrDQ]rFQ_rEQ^qZRGq\RIq[RHqWQoqYQqqXQpqiQlqmQkqnQjqfQrqhQtqgQsqcQ`qbQeqdQarw?R_T_S_R_T_Sl}m?l~mBmAm@k`kbkakdkekcpFpHpGpCpEpDp@pBpAo~p?o}oeogofojoiohsFSZsHSXsGSYsESWsVSCsUSDs@SLsASNsBSMsKSAsISBsJS@sSS?r}STsRR~s?SOsQR~sPR}sFR|rzSHr{SGrxSCsERyrwSDrtRwrvRyruRxrzRtr|Rvr{RuroRJrpRLrKRnsURksWRmsVRlrhSTsRRjsSRireSXrgSZrfSYsLRbrdSNsMRcr_SOsQRasPR`r\SIr^SKr]SJrYr[rZrVrWrXrqRSrsRUrrRTroRPrpRRrQRnrORsrNRrrqRMtiN`nbnancnendp|p~p}pyp{pzpwpvpxpspupttlTrttTntsTmtlTotnTqtmTptiTxtkTztjTytiTutjTwtkTvtxTEtGTztyTFtvTBtwTDtuTCttTAt@TrtsT?s|Tos~Tqs}TpsvsxswsussstsqTfthSrspTgtcSnteSosmTdt`SjskTbtaSlsgT`siTbshTat_SesfT]t^Sdt]Sat_Sct^SbthS`s_Tgs^Tfs]Tes[Tds\TctTTQtSTVtRTUtYTPtXTOtWTNtKTZtMT\tLT[tISztJS{tHSyvCUtuvuuuqusurv@UDvAUFvBUEv@UAvBUCvAUBt~U}u@V?u?U~t{U}t}V?t|U~uGUhuIUjuHUiuwUeuyUguxUfuaU{u_U|u`UzuXUYuVU[uWUZu\USuUU^uTU]ukUPumURulUQucUNudUOubUMuLUouJUpuKUnrnrorprqrsrrvavcvbv`v^v_vmV[voV]vnV\vZVpvXVqvYVrvpVFvrVHvqVGvmVCvoVEvnVDvgVRviVTvhVSvdVOvfVQveVPvLVUvWVNvVVMvIVjvKVlvJVkt]t_t^tatbt`tctdtethtftgvsWWwXVuwYVtwXWNwYWOwPWWwQWKwMWSwRWLwZWHw[WJw\WIwEWUwGWTwFWVwBwDwCwAw?w@wQV|wSV~wRV}vyWTv{WVvzWUvwW[vxW\wZVvu}v?u~v@vBvAw]w_w^wzwywxw{Wiw}Wkw|Wjw{Wfw}Whw|WgwcW~weX@wdX?w~W`x@Wbx?WawpWrwoWtwqWswuWlwnWwwvWmxQXAxPXCxRXBxSXMxOXUxTXNxGXWxIXVxHXXxDXJxFXLxEXKx_XbxaXdx`Xcx^XYx[X]xZX\quqwqvtQtStRtNtPtOvGvHvFvCvEvDwowqwpwnwmwly?Xwx~Xyx}XxxtXzx|Xvx{XuxqXyxsXxxrXwxpXtxvXnxuXoxqXkxsXmxrXlxkXnxmXoxpXlxeX}xgY?xfX~xhXzx|Xjx{Xiy^?F_G_HrtrurvuVuWuXuSuUuTvsvuvtvvvwvxxAxCxBxDxFxEyuYoysYmytYnyjYpyrYlykYqygYjyiYlyhYkynYfydYoymYeygYayhYcyiYbycYfyaYeybYdyAYXy@YZyBYYyUYpyrYWyVYqyRYsySYtyTYuyQY`y^YOy_YPy^YLy`YNy_YMyIY[y]YKy\YJyFYXyHYZyGYYyCY[y]YEy\YDzf?C_E_DzfZFzGZhzEZgzBZfzDZhzCZgz@ZczAZez?Zdz`Y|y}Zby~Zaz`YyzaY{zbYzyvZcywZeyxZdzTZZzVZ\zUZ[zWZQzYZRzSZXzHZPzJZNzIZOzKZ]z_ZMz^ZL_F_G_H_H_F_G{P[M[I{O[H{N[G{J[M{L[O{K[N{JZ~{@[L{?[Kz{[Gz}[Iz|[H{AZx{CZz{BZyzu[Dzw[Fzv[EziZpzkZqzjZozlZrztZnzmZs_C_D_E_C_E_D{qYXyZyYy[y]y\{p[h{o[j{n[i{k[p{m[n{l[o{q[\{s[^{r[]{k[e{m[g{l[f{b[h{c[j{d[i{t[_{v[a{`[u{[[s{Z[r{Y[q{V[t{v[X{W[u{Q{P{R{S{U{Tz`zbzazezdzc|X[~|Z[}|Y\?|F\U|H\V|W\G|X\C|Z\E|Y\D|U\@|W\B|A\V{x{w{y{z{{{||L\R|N\T|M\S|O\I|Q\K|P\J|p\[|r\]|q\\|d\j|e\l|f\k|h\a|c\g|b\i|m\^|o\`|n\_|y\s|{\u|z\t||\v|x\~|}\w{M{N{O|R|T|S|O|Q|P}E]M}G]K}F]L}E]H}G]I}F]J}?]K}@]L}A]M}H]B}D]J}C]I}][o{p{n|j|l|k|i|h|g}_]c}e]]}d]^}]]a}_]b}^]`}Z]P}O][}N]\}`]W}a]X}Y]b}d]T}e]V}U]c}Q]\}Z]S}[]R}{]k]x}z]j}i]y}z]f}h]x}g]y}r]m}t]l}s]n}o]u}q]w}p]v}{^D~F]}~E]|~?^A~@^C}~^B}\}[}Z~G^M~H^O~I^N~J^N~L^O~K^M}x}z}y~P?@^V~Q?B^X~R?A^W_A^S^V_@^U^X_B^T^W