CAT(2160,3)
Sparse6:
:~?`o_?O?G?CBc@f?u_YoLGFCB]@U?k?SOHoDGAi@Y?p?XOJ_DwBA@Z?m_XOKWECA}@G?g_R?HwDWAI@W?d_O_IgCWAeCy?]_OOFwBsAA?~?T_IOCgA{@Y?f?\_LOEWBC@m?x?b_QOHWCsAI@B?f_SOIgDcAm@R?l_WOKWESA}@\?x_\oNGFsBu@tBV?hORwICDEAh@R_h?TWI?DYAm@S_j_RwIWDUAa@U_koUGJKDaAt@Y_oOVwJsDuAv@[_ooWgK[EQBJ@e_r_WWKOEeBE@i_q?YGKoEmBI@k_w?XwMGEeBc@j_v_YGLgEiB[@k_{?[wMWFYBg@v_{_\WNWFUBs@s_~O_WN{FqC@@|`A?cWPwG]CEAM`G?`gQWGICIAQ`L?dGRGHUCgAV`L_dgR_HYCiAW`coqgXSKeETBH`a_eGQwKQCuBA`L?oWWoHqCqBB`]?bGVWGaDyAJ`^_bWW?GiD{AH`F?ngVWHADwAP`]_cwQOJ}C]B?`Z?_GNgJUB}Av_~?mWN_JaDsA@`\?awP?JUCSAu`E_mWP_JaCQAv`YOjwUKJADdAr_|_jWTWFYBqAm_{?igTGF]BsAk`b_jWWwIeEOAj`c?jGX?IyEMAi`Q?pGWGIMDMBB`Q_ogWoIYEIAg`V_gwT?JMDMAs`Q?kGSoJIDIAp`NofgSKHuDDA__w?fWLwIIBcA`_u_fgLoH}BaA__c__gOWCmCG@I_e_`WHoG]AWAE_`_VWG_DyAI@__m?QGGoD}Au@FbY_TwIkDYAp@Y_koXwLCEeBV@k_tO\WMcFMBl@v_|O]wNCFeBx@}`?O^WOKF}CDAD`AO_wO{GYCPAK`CoagPkGmC\AN`GOcWQ[HICnAW`LOeWRcHmAJ@B_aOPgHCC]?b?O_GOCWAK@A@h?t_ZoLgE[Ba@l?r_YOMGE{BUOcF{CEP~P@s`CN|FyCEqBo~{`?NvFnB|P{O~{^?NxFzBxp{_~s]wNzFgCEPyP@k_{NZGPBtQC?|[]oO\FVbkpugz[\aMlFWBrpwoz[\WNDFXBrPxOy{]OMtFHB{P}OxC[ONhFDByppo}s[WNnFEBupy?xC[ONXFDBspqO|S[[NVFACCQ@owK[KOTFACBQAOwK[KOVEsbWPkguKY}LfG?BSpj@?K_SLVEiC@Pj`?[_OLZEoCEQC?uK`CLfEqCEpjp@s_{LhEbBwPz_sk^CLPEcBxPzos{YWNfE`BiPsork\?K|FPBNptOsCYGMdEVB_Pe?v[XcLxE[B]peovsXgL~ExBiPm_yKZ_M`EwBhPm_ykZcMfERBCp`OqcWWKjEUBBpcOpSXGKPEKBGpaoqsWsKdEMBHpc?qcW{KjD~BZPlooKWGLjEBBYploocW?LlBJ`eOsGXkK}E\BS`jOswYKLUEdBVBdOu?x[[sErBYBeOv?x{LkM\B_B_OvOv[LwLxB`B]ow_v{L{L|BbBTpj?[cYsFJBeBVOy?tKM[LTGC@uq@O\KMgO@BmC@Oz@?[MkOBDpA~PZOnKVgJdDmA|pZonkV?JxDyArp]olCVwJRDiA{pZ?ncUkJzBqBGO{op{WkF^EK@wO{OpkNOK\Dw@yp\O^SV[FlBvAyP\_^CNcJfB|Bmpv_^[N{MxC?BoO~_z{NoNBDcCDQ@okkUCOLDaCCPX`@[UKORDTBmPT_zkT[M|DWBnpU_{KTcN@DNA~p_?iCTOKHE@Agp_oiSWGIfDHBdPQ_x[SwMXFLAdprohk[wIXE]AAp?OrkOGK~CBBOPg__sYCGHEbA`ph?gcYSIPDDBSPh_g{Y[ILD@a^POGf{SIHzCyBzPM?~CR[NhCxBypN?}{^cHvEDAWp`_eSRWKPCrBBpLOpSROKREVAEpe?`sXcG^EZAGPC_rSXoGbGJARQ@ock__HNCgCBPI`@KQcOTCkAyP\Od[VWH^ClAxp]?dsV[H`CTC?Q@?a{PKOBCSC@Q@ObCPWOFC^aOPGWc[QQHDCXBpPwobs]OGtC\Bqpxobc]WGvCFAmPA_jsOkIvD^AEPW?`KO_IzKqAxp\GmkVYJpDva|P^GnKVyJvD|a~p_woKWIKHE?bHPdGqKXMKlETbDpbgpcWuK`ENbJpeGrKXiKxEZbNPfWsCX}LDE`bPphWssYQLPEfbSpigt[YqLZEmbVpkGuSZMLbEs_DOAw@k?}?X?M_DOAw@k?y?X?N_NOGGB{@U?h?U_JoCwAS@a?r?Y_LoFGBk@q?v?W_KoEgBkAE@H?a_QoHgC[Bm@z?{_[oNgFSKmEXBM`fosGXkLIEjBU`goswYcLYEjBP`hotGYSMMFHBd`rOyG[{MeFXBi`tozg\kM}FdBr`wO{W]cT}IvD[ampWGjsSEHzC}a^pOggCOiGNCGaEPAW`[PeGtCZaMPFgbk}c\}NffsBoH|?{E^ONCf`BxxwW}]\ONcfTBwh{Gym\MNbfUBxhtG}U\ENOfdbhHso{q]YMaffBhXsG{}[XMHfErbhp[wi[iMBfJB`Hogx][KMWfCBehowxe\yMAf]B^XnozeZ}Myf^B_HoGzmZsMqe|bjhnOzAZwMnfWb^HnWyu]}LsezbuxnG|q]yLufnB\X{?vaZkNEeyBpXwwve]OLtfdB\xxGvaYrLVekRThjStmYuM_elBfhrWt][wLUfNbUHjGxuY[M@e~BRHo?suZyLIefb^xhWwIZ]LCexBQXm?sUZeLGebbZhmGsYYwL@embNhk?sIYEL`enBOHjwr}YMK|eabMxg_rqXqLGe\BPhf?seXcNXfkbLXeW|iXgNYflBLhzGr]XcLaeXbWxk_r]ZIKserbLXkorYX^KneWRKXeKrA\gKifXbIXdgz]\iKjeVBmHuoqqXEMkeQbiXt?qa\SKffRbHHcoymXCLTegBGXiGqAYcK_ePBSxi_qEYSIFdCbRHP?smSGLLefa`XhogYXqKSe[BDXfOpYWmKzeKbNXb?rqWOMNfGbAXqOoi[_KJeEbdH`_xMWCMHe@bax__wiWIMLeBbbh_owq^EJsfqa|X{_nM^AJodwbxh{OnI]uJidtbvHzgmq]{JlfoAzxzwmyZSJgesaxh[wuqVGLgetayX[guuU{MNfGAvx[?xEVAMQdpbcx[OxQ\eJWfYAuXZOzY\iJZf[AvXuwlqUKMXfKAqXXOxiUUMTfJapxqoka[uIyd^bfxr_jy[yIzfOAnHrojuYwImemajxjojEY}Ioeoakxk?jI\cIjfWaiHT_zATQMldUbjhTOy}Z]I[ewAfXRovES}LqdOb[xS?uySkMxdJbmhv_haSqMzf^Aexvghi]uIQfmacXQ?|qSeN]dIBvxQg}ASSM`dDbghP_yM\KINdEbhXPoyQRoKjeUa]XdOfmXQH{c}bJHdofiRWMBcub`Hogey[KHnfCA[XowfA]cHrcxBsXyWfQ]gHtfjA\xygfYY_HecrbSXL?tIRQLRctbTXLOtQQ[NDchBqhIW{eQ]NEcgbpxx?dAXEHGeQAQxHGqUXKHLceBIHHOq]]mHDcbBuHywcMQMNWfkAOhywcQPwLgc]bYXFouiQALjc_BZXFwuq^AGufpALx{Wba^GGxc\bxh{gbiP_LacWbWxkgbQZGGqerAKxkwbUPIK}cSBOHDGsEX}Gce`aHxCosIO}NAf^aFhwWaIPANCf_AGxwGaAOsNOcLbqxx_`a]YGXcMbrhB_{}OiNPfhACxyW`Q]gGQfjADhyg`]SAJ{c~A~XOWnyR}J~e?a_HOOoAU?KMd_bBxWOpAUEKPdabCxW_pITmJydYA|hUgn]TkJwd[a}x^GjaRCK^eMaWxbOeEWuHdeNAXHK?pqUWHYcmArXJwlAQyJMcnAsXXwdmQiIadPaTxJ?iUQkIeckahxI_iQPSJQcTasxD_lQUkGmdjaJxYgauAd@S_hoSGIKC}XJKeePrHxdCqQX@KaeOrIXd[qiXZKkeVRJxeKrAAx@\_nOVwKCDmBB@d_pOWwKsEQBZ@m_vo[GMSFEChAU`Io@G?k?U?J?C_AO@w?s?]?N?E_BOAG@C?e?R?G_Cq^hOCgISBIBc~q`HOkgYSPIHdBrBh`{pAWdKReGqxh[km]VHJhdsQOhGccUQNHBcbQHHCsa]PRGgcQtYamlUcjlTjIzt\altVSjZTkIztXAqDXCjNURIsTWqqTXSjLTdJITgai|TclLTXJRtgqi|T_lJUcIkTiAiLTKlXUhIhTTQtTYsilUjIiTTAm\U{ibToIhTSqmLVOijTUIxTdaLTX[bVUXGsTeAK|EokvUYGstPAjlTwiFS~IlTOAj\T{iBTAImTKqodROkJStJBTLao|R_kRSvJCTGAh|SkgvS[IetFQhdPwi`S^IfTdaalX[glUWIJteabTXkgpUXIKt^q`TWGgZU@IETAQntWKgVU?IFTYQ^lUggDTjH~TZA^|O?j\TlI?taa]dNSk^RpJETaq]TWwflRrJEs{Ah\Mki`TKHuTRa\lSsf\TNHvsxQn|MWk@RfJ?syAoTMgj|RhJ@srqs|L?lJUaHetgqXtLGlHRPJRSpqk\K_jJTcHeSqQktKkjPRIIrtVaV\T{e@Q}ImsnQj\JoitQ~ImSkqndI{jpQqI|SkAnLJOjzQpI|tbQQLWgcdUJHHtbAQtW{chUMHItjQKtEClPPcJSsWqtTYkbDUkGqtfaKDDokxPZJMsVQr|YCa~U_GnSSArtYCabU_GfsSardDKk~U\GiTWQHTCoj@T_GcsQqkLCsjDPMIpT`AFlWS`|UEG^sOAo|CGkRP@JCSHQqDAWkbUQGSSHqq\AgkjOhJISBQl|?wj`ONIwsCAmTVO_dOPIxt]@~dVc^zN}I|S?An[~kjzN~I}TCqfTRcg^SzIGTCQfdRwghS|IHSoQ_\OWeLRAIASoq_lKOgPRDIBsgqdlIOh\QdIVshaeDRGdPQfIWsfQUlJgdBQ]HZSfqU|JcdDQ_H[TPQP\SWcXQLIbtQAPtSgc`THHFsvQNtLwbxR[G}s]QZLLkbtRYG|sZqR\HobbPlHJseALtHcb`QYGxSNAc\BkhJOvIQSMQcLB_hLOyIPSKQIlDW`dPVGXsLaJTD_`hOtGksIqY\AoehOlHisKAZDAwenOnHjSFqOlA?cTO`HBSGaO|AOcPObHCsFQ[\MC_xOXHnsEa[D@wfHOZHpSiQA\@OdTOUHTsDqTdIw_pOTHUs|q?|N__POIH{sBA^TNo_VOHH|s?QN|?Gc@OBH?s_a?tGK_JQCGAR|QG[~WaHPDF|R}AGs~caNNvGcTHp||Q_^`NrIStI`}S~OhXSjFwryQM[}gbhNjGys\p|tF_^ZNkGzP`wpCWiKJEHbBOAg@c?m?^?L_FOCgA{@U?f?U_IOqwXcLAEZBM`fougY{LmEpB[`ksSYIdDMa^POghSGiCDAE_~OcgPr}x~c~y^~O?f}u|b\`mYvYZgltEzj\xm]vUZplwEyZ[XnQviZcloe|J]hmUviZ_lpE|JZ@m]umZeltEtZY`meuqZgltetjUXkatgZKlcekJXPjUuYYpldekjTPlitUZZlUEvJThluu}YnlVEvjT@luusYelnehzS`lqtQZ]llehZWPgYsMZBlDepZP@kQsSZFlCepjO@kauQY@lee`ZXPgIuWYBlde`JDXnMpKZqkSe{zDPnMpOZqkRe{jXpaAu]W`lgEGjYHaMpIZRkQEsjYx^IuqVtlkD|JYp^MuiVoliD{ZXp\ynCZRjpesIzxlEu]V_lhDwZ]H\QvWVQlwDtYyxmyv]VUludsyvPkMluZDj]EpyvhkYuGU~l`DnivHmMlkZ`j[ExJ[@ZQvIUtjZewjRPjmsyYxlZEeJUxhetsYZl[EfJQ`[}skVPlHDrixhhUm_YVjeEczM`jqriY|l^E\jVxf]uAXxl_E]JFpbap}Wxk\EOJFXcEpyXBk]EOjS@bMs}WvlNEKjEhiMtAWukYEgjEHdQq_WmkheJZDxdUp_XPkhEJJBPdqouX\kMEVjBhd}o}X`kNEWJA`eyoiXnkJE[JMH`]oqXrkxEEJ@pfio]Xzk}ECJNh`Er}WRk~ECjKp_]oCXdk@eWj?`eMrMWDkBEXJGp_AnwXCkad~ZH@_EqQV}kbd~zHP^YqUVvj{ERI~HcunuXNj|ERjP`]isYVjlFDzI|xhEnYYOjvEby{`_anQWLjqeAY{p_inOWJjreBJL@[YrQVFkudqZLP[arUVJkuDqjJX[IqkV?j_eTywXdamIXXjaEUiz@YymqUnjlDkIzXZEmyUrjmDkjpXx]{Q]UnDFdZopxI{O]SnBfczlpzAz]]pmwFkjmXzU|e\qmwflJsxuq|O\lmsFhJshue|Q\inRFYzj`tYyy\VmkfWZj@tyyu\^mlFWJhPxayU]XnLFRJhhxmy]]\mfFfJrpry{}[~nOFOJsHsEyE]bm`Fgjf`yuxy]mm[FijfHymxu]nm\FjJnPrIzu[rm}FLJexv}zy[um~FLZd`qYxa[jmUfHzdpqix_[hmVfIJp`qAxA]LmPFbjpxqM{a[dnGFHJi@piya[ZmhFFJiXpuyi[^miFFjo@pQ{A[TmJF_jaxwM{I[XnAFEJ`Xv]wS\wmyFAZmhoazq[LmEF\j_PuIzE[BmqF@JkhoUzM[FmrF@j_@sayGZ{mae~ZgpnywA\Hmbe~z]poyvm[Nl{FCJ^HpEvu[Rl|FCk@P}r?]^pnugBk@X}z?Y^noEF{J~h}e~O^zntF~J~@}Y~U^xnrf}j}h}Q~k^dnxFwJ}X}E~m^anyFw{?`|j?I^ZnmG@jzi?^?Q^^oCFvjup{y|m^Nn[FsJyHze|u^RnhFmjxh|a}U^XncFtJxH|U}k^KndFtzwQ@A}E_PnaGCkAX{U}M_TnbGDJwI?M|w^}n]f~zwA?I|{_@o?Fn{GA@ZAG_Xo_gD{Gi@jAC_Zo`gEKFIBz@g_yo^gLkEiBn@o_{oZgN[DYAV@C_goTGHkDIAN@Y_coUGH{Dq@r?}_poVgF[CABJ@A_roNGKKGqDJAM`RocGTKIiCfAU`VodGTkHaDbAY`XofGUkHyDnAa`\ogGVG?IEPA|?AOqgV{K??LBL``??gXw?QELBR`a?@gYN