CAT(2018,1)
Sparse6:
:~?^a_?_?_?_j?f_e_d_t?m_n_o_m_o_n_m?p_o?p_n?p_j_l_k_k_l_j_h_g_i`I?a_c_b_g_i_h`R@O@P`P@Q`O@Q`N`L`M`L@O`N@Q`M@P`I`K`J`I`K`J`D`E`C`F?}`H?~`G@?`@@G`B@F`A@H_x?z_y?{_w?|_q?t_v?s_u?r`G`H`F`D`E`C_q_s_r`r@s`p@u`q@t`d`f`e`h`g`i`c@p`a@r`b@q`[@v`x@]`w@\`^@v`x@``w@_`X@s`Z@t`Y@u`m@j`l@o`n@k`W@R`V@T`S@UaHaJaIaQAKaSALaMARaNAEaPAGaOAFaDAAaBA@aCA?`y@|`{@~`z@}_t_v_u_x_y_w_q_s_racAiaeAkadAjaeAgacAhadAfa]a_a^aZAfa\Aha[AgaiATakAVajAUa`AWaYAbaXAabG?c_b_a_h_i_g`W`V`U`a`c`b`[`]`\b\BWbXbVbWbXbVbWBYb[BXbZBVbRBKbPBLbQBJbLBNbOBJbKBMbGbIbHbABYb[BCbZBBbDBYb[BFbZBEbHBUbGBTbSBIbDBAbFBCbEBBbQAtbRArbPAsa{BMbOA}a|BNaxazaybSAubTAvbUAwaqB@apA~aoB?a~AlanB@b?AmcX?f_e_d_~`?_}`|`~`}c]C^c_C[c\C`cXcZcYcZC[c]CXc\CYcWcUcVcUcVcWb\CLb^CNb]CMb}C^b~C_c?C`bzb|b{bwbxbycTBtcRBvcSBubqbsbrcTBmcSBkcRBlbjCOcQBibhCPcQBgbfCPbeCOcLBbcNBdcMBccFCCcHCEcGCDcIC@cKCBcJCAb_BnbpBab`Bod]D\d[dZd[dZd\cpcrcqdTdVdUdQdSdRdBdCdDciDYcgDWchDXcaDXdYCcdWCbd?DKdADMd@DLc~DPc}DNdOC|dHCvdJCxdICwcsDEcuDGctDFcmCycoC{cnCzcjCdclCfckCebAbBbCa~b@b?eAEGeCEIeBEHd{d|d}eJDxeLDzeKDydudwdvdiEJdkELdjEKdfEGeHDhdgEIdrD~dtE@e?DsdpEFeDDqdoEEd`DcdbDedaDddlD]d_Dnd^DmcLcNcMcOcPcQcScTcRcUcWcVeMEteOEuevENerEhesEieqEjemEgelEfekEeebEtevEdecEue`EpenE_eaEoe\e^e]e[eYeZekEVemEXelEWeqESeUEserETepEPenEQeoERdWdYdXdZd\d[fRfTfSfLfMfNfCFUfEFVfWFDfUF@fWFBfAFVfXE}fZF?fYE~fZE|fXE{fYEzfOFJfQFKfPFIewFFexFHeyFGfmFjfoFkfnFlfdFpffFrfeFqf[FafbF\fcF]fgF_fiF`fhF^f}FufsF~f|FtfyFvfxF{fzFw_b_c_a```_`^aTaVaUb\b^b]b_bab`cBc@cAbkbmbldcdedddndldmdjdkdidfdhdgd^d_d]d`dadbfIfKfJfFfHfGgfGighGkggGjgoGcgeGqgdGpg`GlgbGngaGmgfG_ghG^ggG]gZGig[Gkg\Gjg_GWgYG]g^GXgUGbg`GVgTGagQGcgeGSgdGRgNGZgPG\gOG[gNGQgPGSgOGRgVGMgUGKgTGLgIGMgJGKgHGLgFGWgYGGgEGXgEGIgGGJgFGHg@GnglGAg?GmgoGBgDGqgCGp_W_U_Vhk?X_Y_Z_\_[_]hw?^_`__bDbFbE_e_f_d`@`B`AaAa?a@atasard?dAd@cyc{czcvcwcxcjclckcncocmcdcfceeVeXeWePeReQf[f\f]f^f_f`i^Iai`Ici_IbidI[i]IfieI\iRIXiTIZiSIYiRIViTIWiSIUi^IOi`IQi_IPiLIWiUINiVIMiII[i]IKiJI\iOIFiHIQiGIPiHICiEIFiGIDiAIDi@IEiBICh~IXi?IZh}IYh}I@i?IBh~IAiLHzh|IMiNH{iIHzh|IKiJH{hwhxhyhyhwhxgrHtgtHvgsHuh_IahaIch`Ibh\Idh^Ifh]IehsHYh[HqhrHZhqHVhsHXhrHWhSHnhUHphTHohQHohRHphPHnhkHMhmHOhlHNhJHkhKHlhLHmhGHhhIHjhHHihDHehFHghEHfhAHchBHdhbHChtG~hvH@huH?g{Hcg}Hdg|HbgyHegzHghfGxhhGuhjGwhiGvkP?I_K_J_L_N_MkY?O_Q_Pk_?R_T_Sk_kak`k_kak`k\IgiiK]ihK^kGJRjQKIkHJSjTKHjVKGjUKIkYJNk[JPkZJOjKKYjMK[jLKZjJKXkVJHjIKWjEKSjGKUjFKTkXJBkWJDkVJCj?KRj@KPjAKQkPI|i~KQkRI}kMIykOI{kNIzkLIwkKIxivKJisK\iuK]itK^kKIpkLIriqKJimKSioKUinKTijKMilKOikKNjoJ{jqJ}jpJ|jlJrjmJsjnJtjuJijkJwjjJvjxJcjyJejdJzj`JfjbJhjaJgkAJ]j_KCkBJ^kDJZkFJ\kEJ[jWJ~k@JYjXK?ls?X_Z_Y_X_Z_Y_[_\_]_\_]_[mE?V_W_U_U_W_VkIkGkHmGMKmFMLmEMMmHMKmJMMmIMLlsM?luMAltM@m?LvmALxm@LwlyMBmDL{lzMCmDL}l~MBl|MCklkmkkkokpknmHLmloMJlnMIldL|leL~lfL}lcMFmGLamELblyL^l{L`lzL_l[Lvl]Lxl\LwlXLslZLulYLtkcLpkbLrkdLqkeLrlqKglpKflgLUliLWlhLVlOLRlQLTlPLSlCLLlNLElMLDl?LAlBK}k~L@kyK|kxK{kwKzktLKlJKvlIKulFKqlHKslGKrkhLjkjLlkiLk_I_K_J_I_K_J_O_Q_P_O_Q_Pnh?M_L_N_M_N_LlplrlqhehghfhhhihjhrhshqhthvhunhNnnjNpniNonkNnnlNpnmNonVNbnXNdnWNcnbNYndN[ncNZn\NfngN^n]Nen_NfngNan`NenSNtnTNvnuNUn_NPnRNanQN`n\NMn^NOn]NNnJNlnLNmnkNKnGNYnIN[nHNZnVNDnXNEnFNWniNAnjNBnhNCm~NqnsN@nrN?mxmzmym}m|m{muNzmwN|mvN{mrNtmtNvmsNumoNqmqNsmpNrnyMmnwMnnxMlmkNymiNxmjNwmfNzmhN|mgN{mTmVmUmWmYmXmZm\m[m]m_m^mNMdmeMPmOMcmQM`mSMbmRMakJkLkKkMkOkNkVkWkXk\k^k]pZOOp\OQp[OPodPTpVOfpUOeocPRoaPSobPQo^PZo`P\o_P[pWO[pYO]pXO\pYOYpWOZpXOXoUPQoWPSoVPRoRPToTPVoSPUoCoEoDoFoHoGoIoKoJoLoNoMpNO|pPO~pOO}oyPHpJO{ozPIpKOvpMOxpLOwpEOsouPGotPFpBOppDOrpCOqp?OmpAOop@Onn}Ojo?Oln~Oko@OgoiOBoAOhqMP]qOP_qNP^qDQGqEQIqFQHqAQPqCQRqBQQprP~ptQ@psQ?pqP}poP{ppP|pmQVqXPnqWPlpxPipkPzpyPjpfPupwPhpvPgpcQSpeQUpdQTp`QJqLPbpaQKqz?^_`___^___`jQjRjSjTjVjUm`mbmamemdmcrCRIrERJrDRKrFR@rHRBrGRArDR?rEQ}rCQ~qzR@q|RBq{RAqzQwqyQ|qxQ{qxR?qyQ~q}QwrFQ_rHQarGQ`q\RJq^RKq]RIqnQYqpQ[qoQZqhQkqmQjqiQlqeQqqgQsqfQrqbQtqdQvqcQury?R_T_S_R_T_Sm?mAm@mDmCmBkbkdkckekgkfpHpIpJpEpGpFpBpDpCp?pAp@ogoiohojoloks[SHsJSZs\SIsGSWsFSYsESXsNSDsPSCsBSOsKSBsMSDsLSCsTS?sVSAsUS@sQS?sSSAsRS@r|SHr~SJr}SIsERyr{SGrzSFrvRyr{RxrzRwr|Rvr~Rxr}RwrNRprrRLrqRMrmSNroSPrnSOrjSZs\Rls[RkrgSWriSYrhSXrdSQrfSSreSRsKRasMRcsLRbsTR^sVR`sUR_r[r]r\rXrZrYrsRUruRWrtRVrpRRrqRSrrRTrORsrQRurPRttkNbndncnfngnep~q@q?p}p{p|pxpzpypupwpvttTotvTptuTntnTqtsTptoTrtkTztmT|tlT{tkTwtmTytlTxtGTztIT|tHT{twTDtyTFtxTEttTAtvTCtuTBs~TqtsT@t?TrsxszsysvswsuthSstjStsrTiteSosqTgtfSptbSltdSntcSmsiTbskTdsjTcsfTashT_sgT`t`SctaSet_SdthS`tjSatiSbs^Tfs_Tgs]TetSTVtUTXtTTWtYTPtRT[tZTQtMT\t^TOt]TNs}TJtLS{s|TKvEUvuxuwusuuutvBUFvDUHvCUGvBUCvDUEvCUDvAU@uBV?v@UAt}V?u?VAt~V@u|Ugu~Uiu}UhuyUdu{UfuzUeuIUauKUcuJUbuXU[uZU]uYU\uUU^u`UWu_UVujURuTUlukUSuOUpuqUQuPUruLUmunUNuMUorprrrqrsrurtvYVovWVqvXVpvevcvdv`vbvavZVrv\Vtv[VsvrVHvtVJvsVIvoVEvpVGvqVFviVTvVVkvjVUvgVRvhVSvfVQvNV]vPV_vOV^vKVlvMVnvLVmt_tat`tbtdtctftgtethtjtiwSVuvwWUwTVvwPW\wRW]wQW^wMWVwXWOwNWWwSWJwUWLwTWKwYWGwZWIw[WHwDwEwFwAwCwBv~WVwXW@w?WWv{W\v|W]v}W^wYVzvyW[vxWZv?vAv@vBvDvCwzw{w|wwwywxw}Wkx?Wmw~Wlw}Whx?Wjw~WiweX@wgXBwfXAx@WbwdXBwcXAwqWtwsWvwrWuwnW_wpWawoW`xOXUxQXWxPXVxLXXxZXNxMXYxIXCxEXKxDXJxFXRxHXTxGXSx[XdxfX]xeX\x^Xax`Xcx_XbqwqyqxtStUtTtPtRtQvHvJvIvGvEvFwqwswrwnwpwox{Y@yAXyy?Xzx|Xvx~Xxx}XwxsXzx{XuxtXyxpXvxrXxxqXwxsXoxuXmxtXnxpXmxrXoxqXnx|Xgx~Xix}Xhy?XjyAXly@Xky`?F_H_GrvrxrwuXuZuYuUuWuVv{v}v|vyvzvxxCxExDxFxHxGytYoysYqyrYpyuYlywYmyvYnyiYoykYqyjYpylYfyhYnygYmyiYcykYeyjYdydYfyhYeygYcy\YCyDYZyBY[yrYWysYXytYYyTYuyVYwyUYvyQY`ySYbyRYayaYNybYPy`YOy]YKy_YMy^YLyHYZy\YJyIY[y]YEyGY_yFY^zh?C_D_EzIZhzjZGzHZizDZhzjZFziZEzAZezBZgzCZfy~Zbz@Zcz?ZdzeY{y}ZgzfY|zbYxzcYzzdYyzVZ\z^ZXzWZ]zSZYzUZ[zTZZz_ZPzaZRz`ZQzLZOzKZMzJZN_F_H_G_F_H_G{R[O[I{K[Q{J[P{L[O{N[Q{M[P{@[L{B[N{A[M{JZ}{?[Kz~[Izz[Fz|[Hz{[Gzw[Czy[Ezx[DzmZrzkZszlZqztZnzvZpzuZo_C_E_D_C_E_D{sY[y\yZy]y_y^{p[j{l[r{k[q{m[p{o[r{n[q{s[^{t[_{`[u{m[g{o[h{n[i{k[f{l[d{e[j{v[a{x[c{w[b{][s{[[u{\[t{x[Z{w[Y{v[X{R{T{S{V{W{Uzbzdzczezgzf|W\?|A\Y|X\@|[\I|Z\H|\\J|Z\E|\\G|[\F|W\B|Y\D|X\C{{{z{y{|{~{}|N\U|P\V|O\T|Q\K|M\S|L\R|r\]|s\_|^\t|f\l|n\h|m\g|e\j|d\k|c\i|o\`|b\q|p\a|{\~|}]@||]?|x\u|y\v|z\w{O{P{Q|V|U|T|Q|S|R}G]M}O]H}N]I}G]J}I]L}H]K}J]B}C]L}K]A}D]M}O]F}N]E}_[q{r{p|l|m|n|i|k|j}e]_}f]a}g]`}d]`}a]b}_]c}P]]}R]^}Q]\}Y]b}d][}Z]c}e]V}g]X}f]W}]]S}\]U}^]T}}]z]l}{]m}|]k}{]h}z]i}|]j}t]w}v]y}u]x}q]n}p]s}o]r~F]}~H^?~G]~~A^D~@^C~E^B}]}^}\~I^O~Q^K~P^J~P^L~Q^N~M^O}z}|}{_@^R^X~S?B^Z_A^T^Y_A^U^X_@^W^Z_B^V^Y