CAT(2016,4)
Sparse6:
:~?^__?_?_?_Q?N_P_O_Z?V_U_T_X_W_Y_i?b?c?h_`?d?g_a?e?f_x?u_v_w_Z_\_[___]_^_b_a_`_a_b_`_e_c_d_g_h_f_x?f_z?h_y?g_M_M_M_G_H_I_J_L_K_J_L_K_c?Q_e?S_d?R`k@j`h`i_N_P_O_Y_W_X`}@u`v`t`t`v`u`x`y`w`y`w`x`q@F`E@s`D@r`n`p`o`p`n`o`_`a```c`d`b`g`f`e`k`m`l`H@i`I@j`G@h`\`]`^`V`W`X`Y`[`Z`s@S`r@T`q@U`x@P`w@Q`y@R`K@m`l@L`J@k`O`N`M`e?{`g?}`f?|`c?~`@@d`b@?_r_t_s_q@`_p@_`a?o_u@u_v@v_w@t_z_x_y`A`C`BbN@hBLbK@j`iBM_nBJ_lBH_mBIbZ@B`C`Ab`B]b_b^blBebcbdbhbgbfbkbibj`D`F`E`c`d`b`I`G`H`Y`[`Z`L`K`J_n_m_l_r_s_t_Q_R_S_V_T_U_]___^_G_I_HauasataaacabaOaPaQcbC_cac`cYc[cZcXcWcVcPcRcQcHCPcRCIcQCGbnbmblbobqbpbrbsbtbkCNbjCMbiCObfCGbhCIbgCHb~Bmc@Bnc?BlbZC`b\Cab[C_b~BXc@BYc?BWbuBWbwBYbvBXb[BTb\BVbZBUb}A?b{@~b|@}bxA@aBBzbyAAbQBhbfBSbgBRb`BNbPBbbOBabHCYbJC[bICZbFbGbEb?CDbACEcFB@c\Auc^Asc]AtbeAqapBdarBcaCaEaDaGaHaFaeBTafBVadBUacabaaaRB_b^ATb]AScSAWcUAVcTAUaYCBaZCCaXCAaQaPaOcWAIcXAJcVAK`|`z`{ayA|a{A~azA}bKAvbMAxbLAweTC`c_cac\c^c]cUcTcScOcMcNcLcJcKcJcLcKcFcDcEefCBcCEhcAEgb{b}b|bzbybxbuETeVBweUBvbdbebcbibkbjb_b^b]b`EQbbESbaERbobqbpbrEuewBtevBseWBBbDEYeXBCaoamanecAjeeAledAkexAhagEzeyAia^a`a_a[E{a]E}a\E|eZALaNE\aME[fSfUfTf^FJfLF]f\FKebEoeaEpe`EqelE]enE_emE^fCENfBEPfAEOfnFkfmflbWbYbX`a`_```T`S`U`P`R`Q_u_w_v_N_O_P_[_\_Z_E_E_E_G_H_I_F_F_FbEbGbFaGaHaFahagaiaRaTaSaXaZaY`z`|`{eNePeOdsdudtd`d_d^cwcycxgvGrGXgYGqgZGpgVgUgWgjGVglGWgUGkgOGpgQGrgPGqgaGLgNGcgbGMg@gBgAfzGlf|Gjf{GkfnFwfyFpfxFodOG@dQGAdPGBfbGdfdGffcGefnFYfpF[foFZgSFSgTFTgRFUfzFPf{FQf|FRfqFJfLFsfrFKgEFEgCFFgDFDfAGqfBGpfCGrgoE{e}Gne|GmgOEiekGQgPEjefGaegGcehGbeYeWeXePeOeNgdEKgfEMgeELeEFwfyEGfxEFduG]dtG[g\Dsg^Drg`Dqg_DpdodmdndjGRdkGTdlGSfqDgdiFsfrDhg[Dag]Dcg\Dbd^G^d`G`d_G_gCDXgEDZgDDYdUFvdWFudVFtfkDRfmDTdSFlggDMgiDNdLGhdCdDdEc~GHd?GFc}GGcrGocsGngmCqerF_etF`esFaeVExeUEyezETfeERfgESffEQeAFOe@FMe?FNcuDKdJCvdICtcwDFdHCycxDGcnD[cpD]coD\ecCkeeCmedClciD@cjDBchDAjCGngogmgggighgXgZgYgFgGgHgIgKgJjCGIjEGKjDGJgLgNgMf}g?f~g?f}f~fufvftfkfmfljLFhjNFjjMFif]f^f\j[FVfXJ]fWJ\jIFGjKFIjJFHj`E~f@J^j_F?eueweveqeoepeleneme`JaebJceaJbe^e_e]jxEZjwE\jvE[jFEHeJJHjGEIeBJPeDJQeCJOd|JsjuD~d}JtjXDyjZD{jYDzdvdxdwdddfdeczc|c{ceK?cgKAk@CfkWCbkYCdkXCckQKTkVKSkRKUjyJgj{JijzJhjUJAjWJBj@JV`W`V`X_l_n_m_p_q_o_r_t_s_U_V_T_X_Y_W_D_D_D`~a?`}a@aBaAa[a\a]aUaWaVeQeSeRcecgcfi]i\i^gyg{gzl\LULLlTLJlSLKkxkzkykwLOlMKvlNKulYKtl[KrlZKslDKglFKhlEKfk[k\kZkXLLkYLKkWLJkLkKkMkELAlBKGlCKFkBLVkCLWlXKDlPK?kALRk@LQk{J}k}J~k|J|lMJqlNJplOJrjmKojoKqjnKpjjK~jlL@jkL?lYJ^j`L[j_LZjQKjjPKijOKkknJNkmJLklJMkyIqisKzkxIrioLIlHIplGInijKjihKkiiKiklIYknI[kmIZiRLSlUIQlTIPiKiJiLk{IDk}IFk|IElFIAlEIClDIBlGHxlIHzlHHylYHulZHwl[HvhfLVlXHhhgLWhEKvkwHGhFKulPG~g}LRg|LQgugsgtjDK`kbJCkaJEj@J\jBJ[jAJ]i]J{i^JyjzI\kNIMkPIOkOINi@KHi?KJh~KIiGHsiIHthrIHjeHnhlJfjdHmjUHijWHkjVHjjGHehcJHjFHdh[Kdh\KekcHZjcHYjbHWjaHXhTHohUHphqHVh]HHhIH_h^HJg{JhgyJigzJggvHBgxHDgwHCnlLVlXlWlBlClAl@k~l?ksktkrkqkpkohNhPhOk^k_k]kVkUkTkRkSkQjvjwjxjsjujtjXjYjZoMJRjTONoOJSjINojKNpjJNqi}j?i~oII|i{OGoHIziwiyixitiuivnsIknrImntIlieigifibidici_iai`iVN{n}IXiWN|iSN~iUO@iTO?nlH{h}Nnh|NmoiHbojHah`OhhSNuhQNvhRNwhKOehLOghMOfh?ODhAOEh@OFokO\o^OmolO]o_OJo`OLoKOaoVOAoXOCoWOBnkNxnjNzniNybTbVbU_p_q_o_C_C_C_J_L_KbKbMbLa|a}a~aDaEaCaLaMaN`z`|`{e@eAe?crcscqctcvcucjcichcbcdcchohqhpgtgugslqlslrlmlkllpzPgp{PipyPhpXPtpYPupZPspVpWpUpWPnpVPopUPmpkPRpTPjplPSpQpPpOqDOrqBOqqCOspaOnpcOppbOop|Oep~Ogp}Ofo_ProaPqo`PpqBO\qDO]o^QCoSP[oUP]oTP\oPPsoRPuoQPtoNPgoMPioOPhqAODoFQ?oEQ@n~Ppo@Pro?PqpeNmpdNlpfNnnknjnip}Ndp~Nep|Ncnbn`nan_n]n^p[NZn\P]p\N[paNWpcNYpbNXplM~pkM|m}PjpxMym{PwpvMzmvPPpQMxpOMwm[P^p`M]m\P_lnQ?qALploQ@pYL_pZL`pXLaoVOwoXOyoWOxnuPCnwPEnvPDlhNfnhLjngLimmNomoNqmnNpmhNLmiNMmgNKmdN|meN{n}MfmpMamrMcmqMbm^PIpKM`pJM_mLOhojMNoiMMotM@ovMBouMAoIM?oHL~l}OGlyMHmFLwmGLxlqOCoALslrOBmILkmKLmmJLllgLbldLflcLelzL\l{L]l|L^p{pzpypvpxpwpmpopnpdpepfp_SOp`SQsPP^pRpTpSpMpNpLpFpHpGp@pBpAo}p?o~ozo{o|olomokobodocsjOYskO[slOZoJSRoLSToKSSnznxnynrSynsS{ntSznVnUnTnQnRnSsaNOsbNPnNScnJnInHsMNEnFSNnGSLnBnDnCn?SdsfNAn@SemsSUmuSWmtSVtJMjtHMktIMlsgMXshMYmZSimUmWmVmST@mTTAmRT?mOSnmQSomPSmtBMCmETDmDTCltTNlvTPluTOsrS^sqS`s_Sps]T_t]S\s[T^`e`g`f_{_}_|_~`@`?eEeGeFckcmclhthshrhEhGhFmamcmbrArCrBq~r@r?qTqVqUtwUEtvUFtuUDt`T{taT}tbT|tWTxtYTztXTyt?UMtAUNt@UOs~Tus|Tws}TvtsS{ttSyszTrssUGuISustUHsmUPsoURsnUQslUFsjUEskUDuASauCScuBSbsKsIsJr}r~s?uJRquKRsrrULt~R_u?Rau@R`rXTrttRWtsRVrPUMrRUOrQUNrLrKrJuCQ~uAR@uBR?uJQ{uLQ}uKQ|uPQ`qbURuQQaq]T{q_T}q^T|qQUGuIQSqRUHtTTZtVT\tUT[t^TMt_TKt]TLtBTQtSTDtRTCqWSXqXSYqYSZsLTfthSNsMTgsFSOsQSHsPSGs^SCsES`s_SDrwSpsrRysqRxrtSUsVRvruSWsRRnrpSSroSTrhTFtGRjriTEreTlrgTnrfTmrUTprSTqrTTorNTOrOTPtNRMrCRDrFRArERBqxS\qzS]s[QyqpQtqqQrqoQsqmSdsfQnqlSetHQitJQktIQjsgQZsiQ\shQ[qcQUqdQTqeQVqOR^r\QPqNR]qLSxsvQKqMSwqEQHqGQIqFQJt~u@u?txtytztitktjw]Tcw_Tew^Tds@sBsArzr|r{rkWlwnRmrlWmrbrdrcr[W`rYWbrZWawcRGweRHwdRIwiQuwkQwwjQvqfWrqhWtqgWsadafaedmdodnjAjBj@lal`l_vEvCvDutuvuuusuqurxJXAxLXCxKXBxDWrxFWtxEWswTXMxOWUwVXNwFwGwExPW?xRWAxQW@xOVnvoXMvmXNvlXUxSVjxTVkvaXGvcXIvbXHvXXKvYXJvZXLvLXAvNXCvMXBxEVFxFVHxDVGxUV?xSU~xTU}u|uzu{u_XPuaXRu`XQwyWwwzWvwuWxwiWWwYWkwXWjwNW`wPWawOWbvyW]v{W_vzW^v|VvvxV~vwV}vqVsvrVtvpVuwDV`wBV^wCV_wZVIvKW\w[VJvCWKwMVEvDWLvBVPv@VQvAVOwnUvutWmuuWlurVivgUsuqVhukWoumWqulWpunUhujUpuoUiwgUfwhUewfUgudV]ucV[ubV\wcU\weU^wdU]vRUSuUVTuTVSxGxIxHvUvWvVyvW~yxX@ywX?w{w}w|wSwQwRwIwJwHvdY{veYyvfYzz?UxuwZAz@UyuYZBu[ZDuZZCuVZEuXZGuWZFdldkdjiAiCiBgsgugtx|xzx{x`xax_zTZWzUZYzVZXzHZZzJZ[zIZ\yyZ]z^Yzz_Y{ygyhyiyaZZybZ\ycZ[y_ZXy`ZYy^ZWz`YXzbYYzaYZyFZ]z_YHz^YGzVXvzTXuzUXtxrZaxqZ`xsZbxmxkxlymY|y}Yoy~YnySZOyTZPyRZNx~ZMy?ZLx}ZKydXzx{Yfx|YexxYNyLXyxwYMxnZQxpZSxoZRz?XhzAXjz@XixeYCxgYExfYDywXdyxXcyvXbxaZFx`ZGx_ZEytX^x\YuysX]yrXYx[YpxZYqyKXXyJXVyIXWyBy@yAzBzDzCyjylyky\[py][n{oY[{mYW{lYV{kYU{qYOyQ[s{rYPmym{mz{A{C{Bznzlzm{x\?{y[}{w[~{l\B{m\@{k\A{e\@|B[g|A[f{}[_{a[~{`\?|E[O{M\D|C[N|EZ||CZ}|DZ{{U[C{B[S{A[T{YZ~{@[[{?[Z{nZx{oZzzy[pzu[Gzw[Izv[H{zZrzt[|{{Zszo[t{vZqzp[uzl[qzn[szm[rzk[jzi[izj[h{VZf{XZh{WZgzc[\ze[^zd[]{D{F{E{d{c{b{Q\v|x[R{P\w{J\z{L\{{K\yninknjqxqzqyqKqMqL|X]B}D\Y}C\Z}E]@}G]A}F]?|{]J|z]H|y]I}E\p}G\r}F\q}H\j}J\l}I\k|g]B}D\i}C\h|`\V|W\_|^\U|d\R|f\S|e\T|P\||Q\~|O\}|L\v|x\N|M\w|u\J|s\K|t\I|F\a|c\H|b\G|m|o|n}o\[}q\]}p\\}e]M}d]K}L]c}Z]g}[]h}f]\}s]W}r]X}Y]t}o]T}q]V}p]U}Q]`}S]b}R]a}N]l}O]n}P]m}k}j}i}]^I~H]_~G]^~G^D~F^I~E^H}~]u~@]w~?]v}{^A}}^C}|^B~J]x}z^L~K]y_@^S^M_B^U^O_A^T^N~P?B^V_@^R^X~Q?A^W