CAT(2016,5)

Sparse6:

:~?^__?_?_?_a?__`_^_]_\_[_m?l_i_g_h_j_k_y?v_s_w_t_x_u`c@Z`[`X`W`\`Y`]`^`b```a`_`N@Q@R`V@P@S`O@T@U`u@M@r@J`K@H@t`L@s@I`B@r@i`C@r@j`D@s@k`n@F@t`m@G@t`l@E@s`e@f@?`A@c@h`@@d@gaJAIaGaHaAaBaDaCaEaFaHaJaGaIaLaKa_AMaOaPaNaQaRaWaXaTaUaVaSamAlaoAnakawAqasauatavarawa|axaza{aybIA}a~b?bBb@bAb[BYbXbUbWbVbZb[b]b\b^b`b_bebabbbcbfbdbs?`_[___]_^_\_d_a_c_b_e_f_k_g_h_i_j_l_x_v_u_t_s_w_s_t_u_v_x_w_z_y_~_{_}_|br?|bp?z_yBm_{Bnbq?~_}Bo_p_n_m_o_r_qbr?mbq?n_pBobp?r_qBm_oBn`F`C`D`E`G`B`J`H`I`K`M`Lbl@J`KBg`LBhbi@Hbj@I`MBkbP@]`bBQbR@``aBObS@^bT@__X_Y_U_V_W_Z_IBHbF?NbD?J_KBGbE?L_MBC_TBNbK?SbI?ObJ?R_PBL_QBMcK?FcO?H_HCPcL?FcM?GcN?G_b?Y_U?a_V?c_Z?f_X?d_W?e`C?O`D?P`E?Q`G?R_T@B`F?SdkAbada_a`acaaafagaeahajaiakamalanapaoaYa[aZa\a^a]bCbDbFbHbEbGdAdEdBdFdDdC`k`i`j`m`n`l_I_J_K_M_L_N_C_E_D_F_G_HekEEATeCAVeDAWaXEFaUEHaSEGefAlakEieeAmaoEjapEganEhdkE^dlE^e`DmdnE_dpE_e`Doa_D}e@A`abD~e?AdeBAaacEAaYDqdtA^dvA[aZDra]DsduA\d_EIeKD`eJDaeLDceNDdeMDbeCD]d^EGdZEHeDDYeFD[eED\eVAxeWAwayEXeUAza|EZa{EYedBBecA~edB?ecB@a}EdecBAdlBCbDDnbEDpbFDkbHDobGDmbIDhdjBLdiBMdiBKbJDhdjBNdMDedNDedODgdPDfdgDRdfDQebDFeaDAebDEeaDBebDDeaDCbOEfbTEgbQEhbREibPEjbSEeb[D}b\D~e?B]e@B^eBB`eAB_aEBcaDBbaBBeaABdaCBfaFBaczcucxcycvcwciDrckDqduCjcmDsdvCldtCncFcIcHcGcJcEaGCKaJCOaLCPaHCLcNAKaICMc^ELc]EIeJC`eKC_eNCbeMCacQBYcSBUbZCVcRBVcTBWcUBXcWc\cXcYcZc[aMC@c?ARaNCDaOCBaPCCaQCAbsDwbtDxbwD{buDybvD|dzBxd|BzdwByb}Dxb|Dyb{Dzb~D{hSEjeeeheiefege[e[e\e]e]e\eZeVeUeWeXeYeReSeQeOeTePeSeTeOePeQeRaehqAfahhsAgajhuAidSdXdWdTdVdUaqHlhkAvarHmasHnauHpatHodHHYdIHZh[DJdKH^h]DLh\DGc~HMhQD@c{HNc|HOc}HRhPD?hGBibhHIhHBlbjHJbkHLbgHKcrHwcoHzhxCph|CqctH{csHybmbnI[bobpI]brbqI_hfCccdHehhCehiCfchHjcgHgh_h`hahbhdhchTIghSIlihHViiHXijHWikHUiyADaEaAaBaFaCdgdfdedhdjdicpcqcocrctcsckcicmcjcnclcEcGcFcHcJcIc_c^c`c]cacbcQcScRcTcVcUc@c?cAcBcDcCbtbwbubvbxbsbzb{byb}b|b~_[_\_]_^_`__`A`?`@`A`?`@`Q`T`V`U`R`S`N`P`N`P`O`O`R`Q`S`V`U`T`W`X`Y`Z`\`[`]`_```b`a`^`h`c`d`e`f`g_I_J_K_L_M_N_V_X_U_W_Z_Y_E_D_C_C_E_DhMhPhNhOhRhQgogpgtgqgsgrgWgXg\g[gYgZgKgPgLgNgOgMlQLIK_kcLKlJK`kaLLlNKdlMKbklKZkoK[kpK^knK]kYKkkmK\kQkNkOkRkPkMkIKUkGKSkTKJkVKLkKKXkWKHkbJsjoK_jpK`kaJqkdJtkcJrkNJdjcKOkPJekQJfkRJhkMJgk@J`j|J]j_J}j~J^jbK?jaJ{jXJojWJpjYJqjZJrj\Jtj[JsjuJKjvJLjwJMjxJNjzJPjyJOjJJVjIJSjEJQjFJRjUJHjTJGjuJ?jvJ@j@JzjwJAj?JyjAJxiyi{i|i}i~izisKHiuKIitKJkKIxiwKGkLIvjOF?jNF@jLE}jKE~fBJMfAJPinJ]jaImj_IrioJ^j`IqjbIpkqIgihKriiKsilKuikKvijKtlPIblOIalOIclPIdlOIflPIek}IOk~IPiRL@lBIQiTL?iSLAiJJBiKJBjCIMiIJDiLJDjCINhzI}iyH{hwIzhxI{h|I~hyI|hkJijjHmjmHojkHnjnHpjlHlh\JHjJHYjIHZh[JEh]JGh^JFg{LIg|LJg}LKg~LLlNH@lMH?keGykfGukgGvkhGwgzKjkiGxgnJijkGijlGjjmGkjnGmjjGlgAg?gBg@gDgCfyLCfzLDf{LFf|LGf~LHlEF}jdFhjcFgjeFijfFjjhFljgFkfbKzkwFeffK|kxFafcK{fdKyjVF^f_JSf[JQf\JRjUF`jTF]isFOitFPivFQiuFSixFTiwFRekKeelKfemKgenKhepKjeoKihAHMhBHNhCHOhRHDhPHFhEHQhqGcgdHrgeHsgfHtghHvggHugEI[gFI\i]GGi^GHi`GJi_GIfxHdh`FshaFthbFuh_FvhcFwhGFUhHFVfWHIfXHJfZHLfYHKfMGpgrFJfNGsgoFIgtFKfLGqfCICfDIDfEIEfFIFiHFHiGFGeyI?ewH}exH~i@E|ezIBe{IAiVEqevIZiXEuiWEriUEsiYEtlClDlElGlHlFlAlBl@k}k~l?kwkxkzk{k|kykvkrksktkukqknkokkklPap`KpkmP_pZK^kYP[kZP]k[P^k\P\pYK]kSkTkUkVkXkWkAkBkCkDkFkEkDpwKEkAkCPykBp{KFpJK?j{PGj~PHk@PKpLJ|j}PIpmJ[jXPopkJWpnJ\plJYppJZpvHhpqHehfPrhgPshjPthiPuhShThUhXhVhWpMG]g^PPg_PRpNG`pOGbpQGagWgYgZg\g[gXgTQ`gQQ[gUQ_gRQ\q]GVgSQ^gOgLgKgMgNgPfmfnfofrfpfqqmqnqoqpqrqqqOQsqPQuqQQvqRQtqxQTqSQwqhPSqgPTpUQipVQjpXQlpWQkaZa[a\a]a^aYauaqasaravatbRbTbObPbSbQ_g_h_k_j_i_l`Y`\`X`W`Z`[_T_O_Q_P_R_SnlnjnkngnhnimSmUmTmWmXmVl]l_l`lbl^lar}RLRcrdROreRKrPRfrgRMrNRhrEQ}qyRGq{RFq|RHq~RJqzRIpxRipyRmp{RkpwRlpzRjp|RnpKRapLR^pGRbr`PHr_PIpJR]r{PEpAR|r{PBr|PFr|PDr{PCrrOYroOZrsO[oXRtrqO\rpOWnmRWnnRXrZNor[NpnrRYr\NqnCnDnEnFnHnGrUMWmSRSmTRTrRMUrQMVrVMXruMMrvMNmQRxmORwrzMPmRRyr\MImGRWmHRXrYMJrZMLr[MKqRO|p@QPqOO{p?QTqSO}qQO~plOkpkOloiPmpnOnomPpojPoocR@ohRBodR?oeRArDOgrCOfoSM`m_OQoUMamdORoVMboTMco?Pqo@ProAPsoBPtpvODoCPunsQhnxQintQjnuQgnvQlnwQkoyNNoxNLouNMovNInJOzowNKm{NUm|NXnVMwnWMxmyNZnYMzoHMuoIMsmqOEmrOFoJMvmtOGmkQaqbMlqcMmqdMnmpQfqeMomeOKmfOLmgOMmjOPmhOOmiONnaMYmZNbm\Ncm^Nfm[Nem]Ndl|Pjl}Pem?Pfm@Pil{Pgl~PhnBLvlzM~m}Lun?LwnALxlyN@niLtloNknhLsnjLrlpNlngLqquLlqsLmlnQwliQvqxLkljQtn\L^n]L]n^LalbN[n`L_n_L`lWO]lXO^lYO_lZO`l\Obl[Oarurvrxrwrzryrorprrrqrtrsrirjrkrlrnrmrcrdrerfrhrgr]r^r_r`rbrarQrRrSrTrVrUrKrMrOVPrPrNVOvRRLrEU}rFU~rGV?v@RHvBRJvARIukQqqmUlqnUmqoUnqrUpqpUoq_q^q`q\q[q]vCQUvDQVqWVEqXVFqZVHqYVGqIqJqKqNqMqLqCqDqEqFqHqGqAq?p}p~qBq@uwP_p`UxpaUypbUzpdU|pcU{uqP]pYUrpZUtp[UsuvP^uuP\pSpTpUpXpWpVpRpMpNpOpPpQooosopoqorotnyVInzVJvKN{vLN|n~VNn}VMvsNOvtNPnQVunRVvvxNTvwNSmAmBmEmFmDmClcWWwXLdwYLewZLfw\Lhw[LglTlRWulQlUWwlSwyLVvyWivzWjv{WkwnV|v~Wmv}WlvmWQvnWVvoWRvpWSvrWTvqWUvbWKvcWLwMVfwNVdwPVevaWOisixitiviuiwbUbVbWbXbZbYhGhIhHhJhLhKsgsishslsksjw\X_x`WWwXXawYXbwZXdw[XcwDX]w?XYwBX^xZW@wCX\x[WAx[Vgx^VhvlXZx]VjviXYx\VkvIXMvKXRvJXNxOVNvLXPvMXQxSUGxTUHuIXUuJXVuLXXuKXWx_ToxaTpx`TqtrXdttXbtsXcxSTExTTFtGXUtHXVtJXXtIXWseXNsfXMxOSdxRScxQSaxPSbt?XAt@XCxDTAxFTBxETDtCXBwPWiwnWOwjWKwlWLwMWkwNWmwRVUvVWSvWWTvXWVvYWQvZWUvOVsvPVtvSVuvQVvvxVTvwVRuqWuuvWxwzUturWvuuWwwyUsvaUkvdUnulVcvbUmvfUpveUou}USuTU~uUV?v@UVvBUXvAUWvmUMvoUQvnUNvqUPvpURuOVrwEUEwHUFuAWFuBWGuCWJuDWIuYT{uZT|u@U^u[T}u?U\t~U]u_TiuaTnu`TjtkUducTmubTlu{TguwTcu|TfuxTdthUzuyTetvTbt`TytaTzt]Tut_Twt^TxwoTQtVWstRWptSWqtUWttTWrtPV`tKV[tLV]v\TNtMV^tOV_vCSyvDSzvES{s|VFs~VHs}VGssV~vyStsuV{svV|vzSxswV}srTZtYSntWSmsoT[spT\sqTXs[W{s]W|s\W}s^X@s`X?s_W~xGSUxHSVxJSWxKSZxLSYxISXsgSOsPShsQSisRSjsTSlsSSksNWbsIW]sJW^sKW_sLWasMW`wcSCwdSDsEWesFWfsHWhsGWgr}Uer~Ufs?Ugs@UhujSBsAUizuYUzvYVzxYWzwYXzzYZzyYYz`[Q{MZ]z^[Nz_[Ozb[Pza[RzKZ{zLZ|zMZ}zNZ~{@ZP{?ZOzJ[L{JZI{KZGzE[GzH[IzF[Hz?[Yz@[ZzA[[zB[\zD[^zC[]ysZWytZXyuZYyvZZyxZ\ywZ[ziYmzjYnzkYozlYpyrZnzmYqyfZsycZqybZpztYaydZrzoYey[[_y\[`y][ay^[by_[cy`[dyyYOyzYPyQY{yRY|y~YTy}YSyH[F{AYC{BYD{CYEyG[DyF[Ex}[Sx~[T{UY?{VY@{XYB{WYAygXwyhXxyiXyyjXzx|Ylx{YkxqYIxrYJxsYKxtYLxvYNxuYMxpZezcXkzdXlxmZfxnZhzgXoxeZQxfZRzSXgzTXhzVXjzUXi|e\i|f\h|g\a|d\l|b\j|c\k|O\U|P\V|Z\S|W\Q|X\T|Y\R|[\I|\\J|]\K|L\^|N\`|M\_|C]?|D]@|E]A|F]B}D\H}C\G|B[i{}[j{e[~{h\?|A[f{g\@{w\s{x\t{y\u{z\v|x[|{{\w|y[q{v\}|z[r|{[s|~[t||[u|m[p{k\n{l\o{m\p{n\r{o\q}o]i}q]k}s]l}p]j}t]n}r]m}f]_}]]c}d]^}h]a}g]b}e]`}T]X}Y]U}Z]R}\]V}S]W}[]Q}E]K}F]L}G]M}N]H}P]J}O]I~G^A~H^B~I^C~J^D~F^L~E^K}{]u}|]v}}]w}~]x}z^@~?]y_@^S^M_A^T^N_B^U^O~P?A^V_@^R^X~Q?B^W