CAT(2016,6)
Sparse6:
:~?^__?_?_?_Y?V_X_W_b?\_^___`_a_]_n?m_k_h_j_l_i`d@G`K`H`F`I`J`O`P`Q`M`L`N`W`S`T`R`V`U`Y`Z`[`\`]`XaB@^`_```a`c`baDAAaE@~aC@|aG@}aBA@aFA?aQ@@@B`C@D`A@EaWAT?}?~_z?{AV_|AU@?_uAN@v_vAN@y`x?wAP`wAO?y`zAP?taO?x@{aN@r@saP@t@uaO@p@q`mAQ@k`n@oAS`lAR@j`g@~AT`e@}AT`iA?AU`dAUAA`|@hAV`fA@AVbPBNbKbJbMbObLbXBWbZBVbYb]B\b_B^baB`_\_]___`_^_a_c_b_d_e_g_f_h_i_j_k_m_lbD?qbE?nbG?sbI?pbH?obF?r_uB@_vA~_tBC_wB?_yBB_xBAay?}_~Axaz@?a{?{a}?|a|?z`@`A`B`C`E`D`G`H`F`I`K`JbD@FbE@HbG@IbH@JbI@G`KBF`MBo`OBnbp@Nbs@Qbq@P`LBrba@Ub\@Sb^@T`VB``WB]b_@R`i`d`g`e`f`hbi@v`yBm`zBh`{Bj`xBk`wBl_P_S_Q_T_U_R_z@^_{@__|@``a?}`c@?`b?~`L@S`O@U`Q@R`V@P`W@M`N@T`Y@|`Z@}`[@~`\A?`XAA`]A@_O?f_b?N_O?g_c?O_N?d_N?e_K?h_j?L_k?L_K?m_M?i_l?M_E?Q_P?G_J?R_I?S_U?F_T?HdfBcbbbdbebgbfdrCrcqctcscucpcFcGcIcKcHcJalamanaoapaqasataravawauaxa}aza|a{ay_\_^___`_a_]_r_n_o_q_p_s`j`k`l`m`o`n_L_K_MemEWeXeYeVe[eZeZD~e?EVeAEWe@EXeCE[eBEYeEEPeFETeDEQeGEReUEIeHESdvdrdsdtdwdudodqdldndmdpdfDsdjDvdwDgdrDhduDkdiDtdTDodWDmdUDldVDndXDqdYDpdJDxdHDydID{dKDzdMD|dLD}beDDdBBbbfDGdCBcbgDEdFBddSCcc_DQc^DNc`DOcbDRcaDPdxCXdyCZd{C[c\D|c]D}dzCYcREbcTEdcSEcebCUedCWecCVcFBhcKBkcGBlcHBjcIBmbiCJcDc@cAcBcEcCegBnbpEiehBoekBqbsEjelBrc?Bxb~BtbuBzb}Byb{Bwb|Bvd`AsdeAwdaArdcAtdbAuddAveFAxayEEazEDa{EGa}EHa|EIcvA~cwB?cxB@cyBAc{BCczBBbDDabGDbd`BIbFDcbHDebEDdbWE_bVE\e]BXbZE^e`B[eaBYeJBRbPEKbQEMbSENeLBUbTEOcMBNbJCOcLBKbLCNbOCQbMCPhCElekegeheiejekegeheielejeeHKeeHJhIEfefHNefHMeeHLe\e]e^e_eae`ePeQeReSeUeTeMeJeKeLeOeNe?HchbD~eCHdeBHahfE@eAHedZd\d]d_d^d[hUD\d^HVd_HWdZHXd[HZhYD]h?DfdjG~diHBh@DgdkHAg}Dhd@Hmc}HnhrDAhoC|c~HphqD?h[CpcrH]csH\ctH^cuH`h_CqcjckIKcliMCncocmIOcdceIQcgiSCfcichIUaqalamanaoapb_b\b]b^bab`iiI_IXiaI\i]IZibI[i^IYi`IWhEIchFIgidHChGIeihHHifHDihGwicGxg|IdieGyg{IfgzIgi}I|j?I{i~dadddbdcded`cOcNcQcPcLcMbJbMbKbObNbLbUbTbPbQbRbS_Y_[_Y_[_Z_Z_u_t_v_w_y_x`A`@`B`C`D`E`p`q`r`s`u`taCaEaGaBaDaF_E_F_G_H_J_Ig}g~h@hBhAh?f?fAf@fCfDfBemeneoepereqkQJtjujqjrjvjsjbj_j`jcjajdjVjSjWjUjXjTjQjMjPjOjRjNjOJgjPJhjRJijfJQjjJMjNJejjJ?jeI{j@JijfI|jgI}i~JhioJ}itJ~ipK?k@IrisKBkAIqibJ^i`J\i^JYi_J[i]JZiaJ]kCIWkDIXkFIZkEIYkHI[kGI\hwJEhtJAhsJBhuJChxJFhvJDjyHmjwHnjzHoj|HphrJxhqJ{geKCghKEgfKDggKFgiKGgjKHgPJKjIGQgRJHgOJLjJGMgNJGjkGGjlGHjmGIjnGKjpGLjoGJgFJDjAGAgCJFjCGBgDJBgEJEfuJ}fvJ~fwK?fzKBk@FyfxKAfmfnfifjfkfljkFQjlFRjmFSjnFTjpFVjoFUf@JSfCJVfAJTfDJXfBJWjUF?h^Izh_Iyh[IviwH`h]Ixh\IuhRIfhTIgicHOihHShQIdhPIehIHUhKHYhJHVhLHWhNHZhMHXgwHyh~GxgzH|h}G|gyH{g{HzgYEsgZEtg[EuevG\exG^ewG]iUFfiRFgfcIQiSFdiVFhiTFefbFtfoF]fpF^fqF_frFafsF`fWGXfXGSfYGTfZGUf\GVf[GWhGEoemHCenHDhHEphEErhFEqkOkPkPkOkPkOkIkLkKkJkNkMkLkJkIkKkMkNjxjyjzj|j{jwjtjqjrjsjvjujcjbj`jdj_janRJYnSJZnQJ[nUJ]nVJ^nTJ\jLNMnKJHnLJGjINOjKNPjJNNi{i~j@i|j?i}ijikiiilinimiPiNiKiLiMiOiJiHiEiFiIiGntIDi?NoiBNpiANqnrICnsI@hghjhhhihlhknHHanIHbhcNEnJHdhfNFnGHeh?Nwg~NvnuHAnxHBh@Nzg}NygqOGoJGtoIGroHGsoLGvoKGugkglgpgmgngogdMzg_Mym|G`m~Gam}Gbm{Gcf|okF}g@f{omG?onF~oaFKfOOcfLO`fNOdo_FPfMObfGN{fHN|n}FIn~FJo@FEo?FFezNZeyNYe{N[n\E|nWE~e}NXniN?nlNBnjN@nkNDnANmnnNCcecfcgchcicdarasatauawavbWbXbYb[bVbZ_V_W_X_V_X_W`X`Y`Z`[`]`\aHaJaIaKaMaL_C_C_D_D_C_DlrlvlsltlulqkXkYkZk[kWk\kQkRkSkTkVkUpeO~pBPdp@PfpaO}pAPcp?PbouPlpgOqorPiphOspkOvotPjodPPobPRocPTo_POo`PSoaPQoSPgoTPhoUPiplOVoXPjpkOWpoOOppORpqOPpmOMprOQpnONp`NwnuP[nxP\nvP]nzP^nyP_pyNmniP{njP|nkP}nnP~pzNlpYNYpZN[pUNWpVNXn\PXpWNZpNNOnPPIpMNLpJNKpLNMpKNNpQNDn?POn@PPnBPRnCPSnAPTnEnFnHnGnJnImsPymtP{pzMumvP|mxP~mwP}mRPtmOPvmPPwmQPxmTPsmSPupUMCmEPYmDPVmFPWmGPXmHPZlqQ?lrQ@qALsqBLtqDLvqCLuleQ?lfQ@qALgqBLhqCLjqDLipKKdkcPIpJKepNKgpMKhpLKfkWkXkYk[kZk\kQP[p]KUp\KTkSP^kVP`kRP_oYOeoZOfo[Ogo\Oho^OjoiO]oAOGoHOBoIODoJOFoLOCoKOEncMyndMzm{Nem|NfnhM~ngM}mlOpmgOkmhOmmiOnolMjmkOompM_mrM]m[Mmm`MnmqM\m^MonQMUnRMVnVMYnSMWnUMXmZNTowMIo|MMoxMJoyMKozMNo{MLnoLwnpLxlyNqnrLznsL|l{NtlpPEloPHlkPGpCLlpFLmlnPDo?LRlMN}lNN~lOO@lPN{lQN|lGL_lHL`lILalcLJldLLlKLbmaLAlBMblCMclDMdmfLFmeLEkoKukpKvkzKtkxKskyKrkwKqn]K_n^K^n_K`kbN`kaNbnaK]psptpupvpxpwprpppopnpqpmpaTQtRPbtTPfpcTVtUPetSPdl}l~m?m@mAmBlYlZl[l\l^l]tKLStLLTtNLUlXTPtOLVtMLWt`K|t]L?t^K{taK}tbK~t_L@tcKitdKjteKkklTfthKnkmTguAT~u@u?alamanaoaqapbCbAbBb?b@a~`^`_```a`c`b_E_G_I_F_J_H_Q_P_R_S_U_Tf{g?f|g@f~f}kfkgkckdkekhk]k^k`k_kbkarmrkrlrnrprorArBrCrDrFrEunUhuoUiulUrujUpumUsukUqudUiubUhujUcukUeumUgulUftoUPuQTqtpURtrUSttUUtsUTtiU^u_TktjU\u`TluaTntmU]tbUHt_UDt]UEt^UFuIT`taUGsxU^u_Stu`SwuaSvsuU]ssU\sqUIsnUGuDSmspUHuFSosrUEuUSasfUSuTScuPSesbURuQSduVS`s[UWs\UYs]UZs^UXs_U[uwSHuuSGsFUxuvSCuySDsEUtrwUtuvRyuuRxrzUxr|Uyr{UwrqUnrrUortUsrsUrupRvruUqroUzu}Rmu{RnrkU|rpU~rlV?rRT{rNT}t{RMrOT|rPT}rQT|rGUNuLRHuJRIuORJuMRLuKRKqoUAqpUAqqUBuCQtuCQsuBQru?Qjt~Qkt~Qlu?QiqnU@qmU@ufQ_ubQ]qbUgudQ^ucQ`ueQaqQUzqRU{qSU|qTU}u~QVqUV?qETcqFTdqGTeqHTfthQJqITgsgTuskTyshTvslTzsjTwsiTxtKSOsPTLsQTMsRTNsTTPsSTOsISUsJSVsKSWsLSXsNSZsMSYrSSyrTSzs|RXrUS{s~RVs}RWrATQtRRBrDTSrETTrFTVrCTUq{R_q~Rbq|R`q}RardR@r?Rcr}QuqySAs@Qvr~QwqzSBqxS?q[TZqWTWq\TYqXTXqYT\qZT[rYQKqNR[qLRZqMR\qPR^qOR]uVuXuYuZuWu[uNXnuJXoxpUKxqULxsUOxrUMtEtJtFtGtHtIt?tBt@tAtDtCriYBrfYEreY@rgYCrjYArhYDx}QhqcXzy?Qgx{QdqeX~x|Qft}t{t|dZd]d[d\d_d^dpdldqdmdodng{g|gwgzgygxfEfFfGfJfIfHyQYYyUYLyVYMyWYNyOYZyXYPy?Yax}Ycx~Ybx|YdxzYfx{YeyTXlySXmyRXkyRXhyTXjySXiyVXcxfYZyUXbyWXdxeYYxgYXxYY[y\XVy^XWy`XXx[Y]xZY_xPYaxUYdxQYbxRYcxTYexSYfy_W}wxY[wyY\wzY]w|Y`w{Y^ygWHyhWIyiWJyjWKwMYlykWLyiV\ygVXyhVYyjV[vZYlykV]yKXMyFXJyJXNyGXKxOYIyHXLxEVMxDVLxFVNxGVOxIVQxHVPwuWkwfWrwgWswhWtwjWwwiWvw`WlwaWmwnWbwdWoweWpwcWqwXY@wYYDyAWTwWYEyBWVwUYCwZV|w[V}w\W@v~W_w^WAw]W?xnVvxpVzxrV{vwXovyXsvxXqwNVqwOVrwPVsvpWSwRVuwQVtxuVjxvVkvlXwvmXxvoXyvnXtvdW~veX?vfX@vgXAviXCvhXBv@VRvAVSvVVEvBVTvWVCvDVUx\xax]x^x_x`wBwCwDwFwGwE{kV^{lV_{mV`va[ovc[pvb[n{eVFvG[gvH[hvI[jvK[f{iVJ{E[j{A[e{B[f{C[g{F[i{D[h{MZ{{@[O{NZ|{PZ}{?[R{QZ~zj[{zm[|{yZnzi[w{xZlzk[z{GZ]z^[Hz_[I{JZ`{LZb{KZazQ[SzR[TzS[UzT[VzV[XzU[WzKZczLZdzMZezNZhzPZfzOZg{lZJzI[o{kZF{mZE{pZGzH[nz?[q{vZDz@[rzA[szB[uzC[tzuYyzvYzzwY{zxY|y~Zzy}ZyysZWytZXyuZYyvZZyxZ\ywZ[{YYm{[Yq{ZYn{\Yoyr[^{]Yp{_{`{a{b{d{c}?Zqzt]@zo]Azp]B}DZs}CZr}D\~|{]B}C\}|y]?||]@|z]A|m[}|n[~|o\?|p\@|B\r|A\q|s\a|b\t|c\u|d\v|x\f|e\w|j\`|[\g|\\h|_\k|]\l|^\i|Y]I}H\V|Z]J}G\U|X]E|W]F|O\I|P\J|Q\K|L\R|N\T|M\S|C}o\D|H}q\E|F}s\G}i]c}d]j}e]k}g]m}h]n}f]l}o]b}s]a}r]^}p]]}t]_}q]`}K]W}L]X}Y]M}N]Z}O][}P]\}S}V}U}Q^I~G]T~H]R~G]u~H]v~I]w~J]x}z^L~K]y}{^A}|^B}}^C}~^D~F^@~E^?_@^S^M_A^T^N_B^U^O~P?@^V~R?A^X~Q?B^W