CAT(2016,7)
Sparse6:
:~?^__?_?_?_f?c_a_d_b_e_`_Z_\_[_^___]_u?r?s?t_m?f?r_n?g?r_o?h?s_k?q?t_j?l?t_p?s?i`Z?V_V_W_W_V_W_X_X_Y_X_Y_Y_S_S_U_U_T_T_Z_[___\_]_^_b_a_c_e_`_d`~?R_Q_Q_R_R_Q_d_`_a_b_e_caP?|_}_~`?`A`@`F`B`C`D`G`EaHaIaDaEaFaGaE@UaF@T`XAH`VAD`YAI`WAG`~aCa?a@aBaA`~a?aAa@aCaB`}`{`x`y`z`|`N@t`O@r`Q@s`w@R`S@u`P@v`l@z`y@o`n@{`q@|`p@}`m@x`^`Z`[`\`_`]`c```d`b`e`a`M@g`J@k`f@I`K@h`H@i`L@j_|`?`A`@_~_}bv?|`A_}`?_~`@`C`E`G`F`B`D`C`G`E`B`F`D`H`L`M`I`J`K`X`U`V`W`Y`T`x`y`}`z`{`|`q`l`m`n`p`o`a`d`c`e```b`f`g`j`k`i`h_E_F_H_I_G_J_E_F_I_J_G_H_K_L_M_N_P_O_L_K_M_N_P_O_g_f_j_k_i_h_o_p_m_n_q_ldhDYdXdUdWdVdTdTdUdYdVdXdWdRdRdSdSdRdSd[dZd\d]d_d^dJDbdKDcdLDddMDfdODedNDgcyc{cxc|c}czc~d@dCd?dBdActD`csDacrDad`CvcuDad`CwcrD]csDZctD\d_CwcvD[d^Cuc~DDdHDCd?DGdID@dBDEdADFcyCfc}CicjC{chC|cgCxckCzccc`cacbcecdceCpc`CmcaCnccCocbCqclCddWCZc_DVdYC[c\DXdTC^c]DUcTcUcVcWcYcXcNcScQcOcRcPddCPcSDcdbCOcQDecRDgcNDfcLcHcIcJcMcKcIcKcJcHcLcMcCcFcEcDcBcGcGcBcCcDcFcEb|b}c?c@cAb~b}DZb|D[b~D\d_C?cAD]d^C@bvDdb{DedcBwdbBxdgBzdfBybpDFbqDEbrDDbsDGdIBudHBtclBkbmCocnBncpBoblCqbjCmbdC[c\BhbeCZbfC]c_BibgC^bqCUbuCYbsCVbpCWbtCXbrCTb^BkbjBcbaBmb`BoblBbb_BnaPDPaQDPaRDPaSDQaUDQaTDQaVCfcgAWaYChaXCia[CkaZCjbvAJaKBybwALaMBxb{AOaNBzbgBHbeBFbGBibhBIbfBKbJBdbMBYb[BLbXBNbOB]bZBQbPB\b[BTbSBYbRBXb\BUb]BWbZBVbAbEb@bBbCbDa|a{b?a~a}azaxauayavawatasanaoapaqardLAmdJAhdMAjdOAkdKAidNAlb_A^a\B^a]Bab`A_a`BcbbAaaeabacadagafi?B^b`bab_bcbbbpbrbqbsbubt_C_C_C_D_D_D_Z_[_\_]___^aMaOaKaNaJaLaXaWaYaVa[aZbLbMbPbNbQbOatavawayauaxahajaiamakalanasaoapaqarjAI{i~i|i}j@j?ixiziwiuiyivi`IgiaIfi]IcibIdihI^i_IeitICi?Ioi@IpiAIqisIBiDIrh|Iai`H{h}I^ibHyi_Hzi]H~dkIoitDmdjIqdiIpisDhdlIrdnIWdoIXdpIYdqIZi[DsdrI\hXhYhZh\h]h[hII|i~HFj@HJhKI{j?HGhHI}h~G}h}H?h|G~g{H{g|HygzHzgtIQiRGuiSGviTGwiVGxiUGyhuGngrHvgoHxgsHwgpHsgqHtiHGmghIEiGGkiJGiiIGlgjIFiiG\ikG_ilGaijG]inG`g^ImgNIeifGMgLIgicGJihGOidGKg@IZiYGBiWG?f~I\gCIXgAI[f|Iyf{IwfxIufyIzf}IxfzIvfwfvfrfsfuftflHpfmHphrFphqFnhrFohqFqfbIjfdIminFafcIkfeIliiF`ffHmfgHnhnFkhmFjfhHofiHoiKFTfYILiMFVfWINfUIPfXIOhjFHhjFIhkFJhkFKfMHlfLHlfBIKfCILfDIMfEIOfGIPfFINduI}j?DwdxI{dtJ@dyI|i~DveyIDi?E{exICezIBevIAewI@hgEpeqHderHehhEshiEuhfEtecIUe^IQiRE_e`ISebIVeaITd{HxhsDzhvD}htD|e?HuhwD~eXIEeYIFiJE]iGEZiHE\iIE[eBHihgEAe@HdhhEDeCHehfEEhBHMhDHOhPHAhCHNhQH@hEHLgRHUgPHRgQHSgTHWgSHVhTGUgDH^gEH_h`GIgFHagGHcgHHbfZGbgdF\geF[f]GcggF^gfF_edGVeeGWefGXgYEgg[EigZEhe|ERe}ESe~ETeUF?fAEWeVF@eKEoenEFekEHelEGemEIeJEjeLFNfOENeMFPeQFSeOFRfQEPhdhghhhehihfhjhkhlhmhohnhphrhqhwhshthuhxhvh{h~hyh|h}hz`H`I`J`K`L`M`R`P`N`S`Q`O`N`O`R`P`S`Q`r`s`t`v`w`u`Z`^`]`_`[`\_E_F_J_G_I_H_M_O_K_L_P_Nhch^h_h`hbhahQhMhLhOhNhPh@hAhEhChBhDgzg|g~g}h?g{fZf[f\f]f_f^fafbfcfdfef`fhfffgfjfkfifUfVfXfWfTfYdydtdudvdxdweoejekelenemdzd}e?d{d|d~eFeGeHeIeKeJeLeMeOePeQeNoSOlonOQomONooOOoqORopOPoaONobOOocOPodOQoSOeo`ORokOFoBOfoCOgoDOhoiOGojOEnvnwnyn{nznxoBNxnvOGnyODoEN{nwOFoCNznuOhojNpnrOiogNqnsOkntOfoHN^oIN_oJN`oMNboKNcoLNan]OpolNXomNZonN[nYOqn\OonVNonWNmnRNnnSNknUNlnTNjnANdnBNen@NfniNDngNEnhNCoHMqoIMrmqOJmsOKmsOMmrOLnsMjmeNpnuMimfNqmgNtnrMhm_Mkm`MnmpMambMmmlMdmcMomSNLmTNMmUNNmVNOnQMXmWNPmHmKmLmJmImGmkMAmlMBmmMCmDMnmpMFmEMooxL~l{OyozM@l|O{m?O}l}O|n\LvlxN[lyNZlzN]nXLwluNYloN@lpNAlqNBlrNDlsNCltNEliOZlnO_ljO[lkO]o\Lmo^LllcNdldNeleNfngLfniLhnhLgnFLWlXNGlYNHl[NKnIL\lZNJlQOZlRO[lSO\o_LUo^LVlTO]nQLLlMNOlKNPlPNMlNNLlONNlDOVlBOYlCOWoTL?oXLAoUL@kyNjkzNkk{Nlk|Nmk~Nok}NnnFKsnGKtnHKunIKvkxNJkwNKmwKimwKjkgMymyKkkhMxklMxkaN|n}Kbn~Kco?Kdo@KeoAKfoWK_oUK[oVK\oTK]oYK^oXK`m{KUkVM|kWM}kXN?m~KZkYMzkOMzm{KPm|KQm}KRn?KTm~KSmtKImtKJkLMukMMukNMvkKMvkCN|n}KDo?KEo@KFoAKHn~KGjqOrjuOwjvOvjrOsotJtouJsnaJpn_Jon^JnjkN`jlNbjmNco`JejjOdoaJfobJgoeJhocJiorJSjTOsotJUouJVowJXovJWnRJMnSJNnTJOnUJPnWJRnVJQjAOxjBOyjCOzjDO|jEO}o{JFkpLbkrL`kmL]knL^kqLakoL_j_J}j`J~jaK?k@JbkBJdkAJcjwMYmZJxm[Jym\Jzm^J|m]J{jYMMjZMNmOJ[mPJ\mRJ^mQJ]lEJGlFJHjLLJjJLGjKLHjILItRBjbmbkblbnbo_S_U_TaJaOaKaLaNaMaPaQaRaSaUaTbGbHbFbIbKbJa\a]a^a_aaa`kgkhkjkkklkijkjljmjnjpjojIjKjLjGjJjHjAjCjDjBjFjEt]TotmT[tnT\t^Tpt`Trt_TqtSTZtTTYtWTXtRTXtUTZtVTYqCTVtRQ@qATSqBTTqETWqDTUsoT|srT}t~SstySnsqT{tzSpshUAuBSlskUCuDSmu?Sju@Sis`TOs\TLs]TMs^TPsaTQs_TNtkSXtlSYthSVsZTgs[TitjSWrxTgr}TktiRyrzThr{Tlr|TjtbR`tcRcrdTareTdraTfteRbu?QvuDQwqyUCqxU@q{UAqzUBtMQjtLQktOQlqmTNqoTQqnTPqdTaqeTbqfTcqgTdqiTfqhTeq]TqqXTmqYTnqZToq[Tpq\TrplUJpiUGuFPjuIPmpkUHuEPhpaTutsP\ttP]p`TwtxP_tvP^uIPYp[UHpWUFpZUEpVUJpXUGtsPPttPQpUTxtuPTtvPRtwPSt[PIt]PDt^PEt_PFt`PHpGT\pCTzpATyp@T{t~O~pBT|p?T}sPSzsQS{s|SRs}SSt?SUs~STsbRlscRmsgRqsdRnroSfrpSeruRkrfRrrgRsrhRtriRwrjRvrZRHr[RIr\RJr]RKr_RMr^RLrERWrTRBrCRUrDRVrYRGrFRXrNQ|rOQ}rPQ~rQR?rSRArRR@tHQstKQuqpTFtGQqtJQrtIQts?Q_r~Q^s@QaqcSAqbSCsBQ`qVSDsEQTsFQUsGQRsIQSqWSHt@QFtAQGtBQHtCQItEQKtDQJpzPupvP{pyP}pwP|pxQ?p~PtqNPqqLPnqMPoqQPrqOPsqPPppbSJpcSKpdSLpeSMpgSNpfSOpNSvpJStpKSupLSwpOSypMSxtMtLtOtNtQtP`T`W`V`Y`X`UdhdidjdkdmdldndodsdqdpdrhGhFhIhKhHhJfBfCfEfDfGfFe|e}e~f?fAf@qRqWqSqTqVqUpPpQpUpRpTpSyIYGYCyGYByGYDyHYAyFYHyHYExiXWx[XkxjXXxZXlxnXYx\XmuWYAyBU\uXYDuYYEyFU[uZYCxDXVxQX?xRX@xSXAxTXCxUXBwtXoxpWxxrWvxsWwxtWuxqWswcXRxQWawfXSxTWbwdXUweXVwXXnxkWWxlWVxjWUwYXmwZXiwIXWwJXYx\WKwMXZwNXXx[WLxpVuxrVtvqXoxsVrxtVvxqVsxhVpvlXfvoXcxgVkvnXdxeVmx{VYx}VZx~V[y@V\x|V^y?V]vWXuxvVSxyVUvVXxvXXwvTXzvMX]vNX^vOX_vPX`vRXbvQXax{UiujX|ukX}ulX~unY@umY?xaUhx]Ucx^Udx_UeugXbx`UfuTXvxuUQxwURxxUSuUXzuVXyuKXcuLXdxeUMxfUNxhUPxgUOwEXLxOWFwCXKxPWDwGXMwHXNvwV}vxV~vyW?vzW@v{WAwBV|wOVewPVfwQVgwRVhwTVjwSVivGWmwnVHwoVIwpVJvLWrvKWqvAV_vBV`vaVCvbVDvdVFvcVEw[U{w\U|w]U}w^U~v@W`w_V?uuWguzWjuxWiuyWkuwWluvWhwyUowzUpw{Uqw|Urw~Utw}UsxEUbxFU]xGU^u_XHu`XJuaXIbdbebibfbhbg{eZo{fZp{gZq{hZrzt[j{iZs{eYm{fYnyo[h{gYpyr[j{iYq{G[_{`[H{a[I{J[b{L[d{K[czlYZzkYWzjYYznYXyUZmziYVzc[Szd[T{UZe{VZf{XZh{WZgzT[AzV[BzU[C{FZQ{EZRzS[DzLZ]z^ZMz_ZNz`ZKzbZOzaZP{YZE{ZZF{[ZGzH[\zJ[^zI[]zuZ?zvZ@zwZAzxZBzzZDzyZC{MYy{NYz{OY{{PY|y~[Ry}[QyaZ{ybZ|ycZ}ydZ~{@Yf{?YeysY[y\Yty]Yuy^Yvy`Yxy_YwygYOyhYPyQYiyRYjyTYlySYkyIZWyJZXyKZYyLZZyNZ\yMZ[fSfOfNfPfQfR{w]?{x]A{z]@{|]B}C[{}D[y|Z]@}?\U}A\V|X]D|W]B}C\Y|y\s|z\t|{\u||\v|x\~|}\w|m\O|n\P|o\Q|p\R|r\T|q\S|g\I|h\J|i\K|L\j|N\l|M\k|B\c{}\a|b[~|d\?|A\f|e\@|C[q|D[r|E[s|F[t{v\H|G[u{k\[{l\\{m\]{n\^{p\`{o\_}j]V}T]n}U]l}S]i}R]m}Q]k}Y]o}Z]s}r]X}p][}\]t}q]W}]]K}^]L}_]M}N]`}P]b}O]a}E]c}d]F}e]G}f]H}h]J}g]I}u^A}v^B}w^C}x^D}z^F~E]y}{^G}|^H}}^I}~^J~@^L~?^K_@^S^M_A^T^N_B^U^O~P?@^V~R?A^X~Q?B^W