CAT(2160,1)

Sparse6:

:~?`o_?O?G?C@??R?G_BoEOAk@M?h?g?MOFWBs@y?z?[_JODwBC@e?v?Y_a?LGEcBQ@j?t_YoLgEsBY@n?v_ZoJgECA}@d?r_WoJ_E[B?@b?n?XOGWB{AA@D?c_PoHWCsA]@P?i_SoJWDcAmBm?f_QoHgPGF]Br@w_yO\gMkFYBj@s_vO[GL{FEBf@q_{_[WN?FMBc@v_v_YwLgEyB_@k_\oNWFcCA@|?~_`OOwGKEsBJ@f?toX_LcDoBT@]?soVOLCDYAp@V_gOSgIKCiAX@J_eoRwHsC[BT@g?coQ?LKEGA~@c?ooWoKCDcAf@Y?iOUoIkB_AJ?y?bOMOGcK_?V?I_EOt?@{?y?Z?P_HOCG[W@a?l?V_KoEgB[@u?x?]_]oMwFcCA@|?~__oOgG[CEAD@B_[OMgFKEIBH@b_qoXgK{DeAv@Y_aOPgGkCaAR@F_dORGH[C}AZ@MaS@DWacPMGlCWaJpDwbCPYGzC]aMPEObcPwGvC\ALPBObKO{GtCMALpE?_sP[GJCUAAPAO_KO_GFCFA@O~g_CN}FzBz`}O}G^SNeFaCOaH?{G\wPEGcBv`y`CW]oPAFVBi`sox_`{M_G\BfAEox__cM_GLBfAAoxG[kMMEjBS`jOuGY{LeEtB[`lovwZsLuF@Ba`oosoakPKEdBPAIPEOXsPgE^BOALpA_XkOoEVCJ@ePA?XkOcEVCF@eOw?^[NsFDB{@ooz?XsMsE^BO@vOvo\kLsFXB]@vO{_ZSLkFhB[@xos_]kLCFnBR@zOq?\KKgFVBH@tOaGOsG]CIBr`@_|GO_NIEKA@`b__GWgGIByBI`c?^wXGFyBuBV_|?uWN_LaE?Bd`__xGVwMMD{Bn`w_nWV_NADqC[`\`FgVOPuEMAt`a_kwWoJQD_C@`X@?wUGOIDYCO`V`CgToPEF{Aia??jG^wImGSAh`R`AwT?OqC|A^`OOggS[IEDHAe`QpCoRCHgGjAXAIOcWP{HAEgAR`I?tgQOLUFoAU`I_}WQwNiCRAJ`DOf?WSHsEHAZ@`ol_PcGwDpAv@EpuO?{?e?P?F_CoAGXcKuEVB[`lOuwZsL}EzB_`pOwWNSFqBv@y_}O]wOCGICBAD`AO_wU[JQDjAu`[OlwTkIyD^Ac`ROhWQcHMCdAH`DoahDO_}ObGOcIQChA[_QOJGBc?q?H?S^gO\F{CEP}p@k_WNnFxCCQ@o~C]wOdFoCIPzpA[]{N|FoB}pz_~{]_ORGIBtPyP@[_ONJGDBrpx`?[]kNDFbBupx?|c\}NBF_bt`wWzw]uN?FkbmABGzg_yM{GLbkaAH?o\mMsGFbq@Iwdg]INECkby@rG}o[mNiFIbb`|GxG^YMOFtb\`~w~gZuLwF}bY`|w~GZYLmFwbRPiGs{YCMlFWBPPg?y{X{MnFWBMpf_ysX[MzEXBnPe?zc^CKhEUBxp{_qk`?KfGNBGqCOqSX?OhENCHpb`ASWkNbELBxpb?}SW_OXEHCFQBOpSWSMjEFBiP`_y[_?J~E@C@P_@?K_{JxGPA~QC?nkVgNRDxBsP]o|SVWMjDwBhp\oycV?OTDpCDqAOmSUkNxFyAuPY_~[\GIzFOAmPsOj[T[MvDTBlPuOisSuI\DKacaAwhW_eISGIabPQGg{[sHzC~BfpN_xs\?HnFQA[psOfCRSNNFdAZPL?{s[wHJFLARProc{Y{LdEpBYPk?u[WKJhDtBAP__m[UsMBFBAvpo_lsYcI|D_BTpVotS[OJFDaBbPWOwkYwJJEkArPjOkcYKJNEdAsph?lCXgIdDSBMPeoi[SKH\DDAWPP?d{Z_I@EyA`PmOgKQ_IrCiAlPIOjCZ{HbE}AXPKowCQOIbCaAgPGoh{Q?HtC^A]PGOf[mO?T?J_EQy_@S?q?VJo?EoBg@{@A?d?Pd{_BW@{?yWOFPbhPsGy[\UMhFUbkPtwLCEiBR@l_uOYwMkFYBh@m_wOZwMKFMBd?W_JODwFkBm@x?}__ONwFKBi@p@[_nOVWJ{EEB@@R_iOTWISDEA`CjaUpJGdsRAH^FDbbPpGv[ZqLzEtbZplgucZILfEnbWPkWpCWiKRDZamPVWj{UAI|D`appWgkcUYJJDfaspYGjCTiIrDNagpSGg{SaILDBaapPGgSSEI@CgaTPIWeKRMHdC^aOpGGcSQQHFCbaQPGgckQ]HLCdaRpHhrgxq[tMZfGbdxqOxe[eMWfJBdxqgxe[gMWe|Bbhq?vqZuMNfIB\HqovY[iLtfCBYxpOuu[QLkfDbZHlWwu[WLlfBbYHowui[MLhfMBXhkwxi[uLdenb_HkGwIZ?M@fBBVHooty[KL\fAbUxjOwMYqMCfGbSxqWtU[cLSegB\xiOveYaLwecBbhq?seYMMNe_behgWxm[wLAe^bThg?taX{LVe\b^Xfgv}XwL}e[bQhf?sqXsLJeyBLXmor]ZiKue|bLHn_rIZsKreXBRXhwrQY[KrfDbJHdowuXYMKeaBJHdgsYX[LDewBIhdWuyZ]KheOBZhcOvAZ]K`exBFXmGp}ZeK]efbFxhopuW{LLeMBTXbOtQWuLReJbdxbGxeWoMWeGbNhaOsAWeK~e@r@H_SoUWNKEeBR@X_{n{[\K@FGR?@p{vwW@L|D~r?Pn{nsZnJ{E{q~`nCncYDJzE_rOp^Sr_VnKxD{Q|`fSp_VfKVDyREP]kn?WhJqEJQ{PaknWW^JvEFQ}@aCmsWVKLDvrB@\so_VTJkEDQyp`Klc[RJWFCQu`pSl[[HJTFAqt`o[lGWVKLDiRB@Y[p?UbKMDgRBpX{kwXnJLEZQr@ekqKURJJEQqq`cckKV`JDDxQp@]Kk?VNJADsqoP\CroT|I~E\rNPVks[TtLHD]RQ@V[jSVLIuDqQl@[kncTbJzDXq}`USikXHKbDURHPTkmKTPIiDpQiP[Km?TNIdDnQh`Z{iGXLIcESQgpc{h{VzI`D}Qg@^shwWtKZDMrF@RchcUvJ[DLqe`ZkhWWjIVEIQe@ashK[PITFDQd@pKuOS\INEpqbPkSgg[VIKFEqappcg_UvIHDmqv@O{xOSHMUDArdPOsfwZJI?Erq^pksq{RpKpC|RK@NKxCRjMRCzrc`Msm[R^JgCwq[@\KuOR\HlEpQZ@k[egXBHjEORG`LKe_ZfLpCrQXpmStoRFL]CqrVPKceCXVHaESqW@dStWQvH[EkQU`i{dOVTJkCjQypIkdCZBHREnqS`kCqWQVKgCerHpHcmCQTHGDpQQP[[cWVZHFDvQzpGkcOVjHADyQOp][wSQ@H@F@qNpocboWbG}EHqNPaSbcU~GzDnQw@FSu_PlLiC[RYPE{bKYTGsEeQLPh[bCX^GqEWqK@eCag[@GkF@QIpoKt?P^LPCVRS`DktcPNLZCSRU`DKaSYHLDCQQH`gsaGWTG`ECrA@C[a?VLG^DqqF`[c`kWHKBCMr?`Bcj?RxH|DVQjpN[fOTnHrD[q[`VCdsSBH^D@qV`OSd_Q`HMCkqTpH{`gUPJECKQppBK`[S`GTDHQD`QK?Q?L?D_AO@g?k?Q?J?EeBR@x_knqVzJ}e@R@H_[naVnJudnQwHZ{oAWBJ~duqzx\slmUzJ[dsQyX[{mMVBJa`aopwWsKyE`BN`goswYS@M?j?S_HoDGAk@}@B?__NoGGCKAM@D?c_POHGC[AU@N?e_TOIWDCAm@Z?k_}o^wNsFuB|@~`?O_gOKGMCJAC`CO`gO{GYCNAG`XOkGUKHyD@A^`OogwSSGqC\AL`FocWQCH]ClATdPqhHSShqS|I\crQYHK{cmQXHLcXqLXEcbAPdGpcUQIxDSa}P\GlcLqFXBcaaPRGfcKQEhBKa]PPGhcOqGxCS`yP@G^cKqEHBSaEPFGacQQHhCk`mOxG\cNQGHB{`UOnGUcIqDxAsaQPLGdjED_ApLWkkDUIJ?taqo\WgkHUDJCtUantV{ivTXI}tRQnTS{jxTMI|tRQodWKi^TMJAt\qf\RsjrTwI]T\AfDVWhtTtI[tJqo|WWhbSoJCTIQmLQkjfSiIxTGqj\TghJTXIQTGAfTQGhrS`I[TFQnTPwjxS^I|tFAl|UwgvToILTYqadUsglTkIItHqaDQ_g\SNIRT@qpDW[gJSEJBTAapDO_kLSHJBtTQ`TTOgRTRICS~a`dNogZR|IDtXQ^DNWjLRvIrs}QlDNkjTThH|S{qmDNSj^RsIvS{amtVOfbRoIys{adtN?hXRpIUtBQ^TNkgVSKH{s~a\|NsfZR{HvSxq\TMcfXRgHtsuqilTKezTSHmSuqgdLsiLR[IasuadTQkepShHktIAZLLghNRWIRSGQhTAKiXOaIdssAiLLCidRNIgTGqXdQSe\ScHetYQXTUgeVRHIsSpa[dMWePRdHbswQW\KSfFRCHpTKaWDRKeDSsH_tOaU|SKdpQxI_tLAUtRGdjSrHYSkq_\JCgHQqI@Sja[LJ?fFQnHpT]QTlV_dVTvHUShAe|IKhlStHPTLQRdR[c|SuHMseQYtHgenQZHitWaQtH_jHTbHJscqbLP_cjSVHIScQpLWgcdUJHGSbQaLG{gfQMIHTGAO|QGcRS`HCTNqN|S?c@S}G~S]Qk|FgjJPwIrTRAMtF[iTTJGytYqMLF?jZPnIuSZaeLEoh`PlIVsXq_TE_gHPeI@s~qKDEGgBP`I?STqY|DcelPWHiszAIdDWfTRjGitCaI\PKabSPGhSRAbLCsgnPJIKTFQGlP{aNS]GbSOa`tCOg^PBIGSNq[dC?fLRdG_sNA_lO[`|SEG]sMQg|Sc`vTGG\TVqE\BSjBT_GYSKAmLBGjfOpIxSJQjdTw`^OmImsHqnlV{`ROgI~SvaBtA?f@O^HntWQBLU?_tT^GKSDQbTPo_nOUILsBqf\Rs_bOOI]SAQgL?kiFOII`TNa?tS?_PS~GBtQA?dSc_JOBIbs?agd?CiLO?Iar~aak~{glSSF}t_P~LWG^nU?F{R|A\K~WfPNtHrryAjC}gilNhIjtW`{lUO^LTbFrs{pzLNS]vRsFlTV`yk|KixNSImrqais{oipNJIjrpqdc{ch\NGIUroQiC{KidNAIgrna[C{?e|M~HnrlQ^{z[gBMuI?Rjq\{zCf\RlFWRiQ]sykfpMiHzsnQTDJ{dTQ}HSsWqJTESaxPcGlsQQL\EcaTPGGtSHAJlAWa~OdGnSIaAT@O`XOjGHsBAPT?wcXOLHDshP}K~KdNQeFxRzaMS~?bhNnGxryqOLGK^ZQAFuRwaB[}O_zNbGMRvp~S}C^vN_F}Ss`zc|wefN\HiRsaV\Jo]`QyFgsS@x|Cw]\PNFesfpv[zsdBM{HOSL`vDB_\tOvF[rkaOczOcLMrHArhqN[y_bzMeG}Rt`sC|_\DNVFOrgpwcyS]LMcFarfPtcxw\\M^FUprWx{[yH@C`aNr}x~S~q^|N~f}s?I?T?E[zM]fNu|b]hm}viZmlye{J\`nQvYZslte|JW`mavSZElaeyZNxmYsAZfl?ExZ]H]qn[Zrjue{j[P]YvGVglpdxyzHnAmoZmjjezz[P\EvGVRlpdsixpmUm_ZfjfexiwhmavSVFjbEyYs`nIlIZpjRE{z\XXmvWU[ludfZXplEuYZQlfesJXPlquWZ]ldevZTHlMuiYjliEijN`hQryYUk~EdZP@fesSXylCe]zMxiUtEXwkzEhJPXeusYXmlEEZzOPc}qaYCkgE_zMXcqriXMkyERZOxcIqAYDk_E`jFphmp}Y[k]eejFPdqpwX\kleMzEpd]pgXUkieLZLHbMrMWqkWeYJS@ayp]Y`kWEgjLPamrWWlkteJJD@jItgWilXeIZHHaEqSW_kNeQzB`leo{ZZkMeujBHhEscWYlHeEzJp`Mr?WSkneDZWH_uo]ZBkFEoj@PgyoWYOkDebz?xcMoQXCkaeAJ?pdioIXWkAEUZQx_EoEYXlKE?i~XaIpGV|j}EGzA@^IocVskGd{y}H^}n]W?jwD~i{XlYnIZWjqEty{@k]nCZHjoeqJT`\ut[V^lUdvj[@\UvAVUlndtIxhfImWXokwdqzKH[arCVHkpdqiw`dQmEXQj`ESzUhZ}mAYvlZDoI~@ZensUzj{dmiv`b]l{Wwj]eMYupjaloYyjZemYuXeQrKUtjYEXYu@^UlcVvjWd|jChYupMUnkRDji|HYilWVjjTdyjRhYes}UflNDiIsH`YlEWVjPEEJTxXyl?YplWDfyr@iYtOUYjKehyqhjmkmY|jJEnIz`XQmuURjlDcjGpWqqOUMkbdbZVpW}u?UPl^dcJsxwq|Q]MnSFbZo`xE{I]OnFf_znpwIz}]?m}f_ZlpwYz]]GmwF`zl@yQ|K\inQfYZkhyuzM]nmrFjjm`uIzG\umpf\ZnPt}zw\`m|fWJmPtUze\RmwfTJhhv]zq\NmfF]JrhsYyG][nLfPZu@sMyC]qnWfOZqPry{g\?nHfNzsHrUxm]bnPFLjbPrIww[smLfKzdxyixa]kmWFizd`s]x[\HmUfQJipqmyo[imSfTzf@qYxs[gm[fHzcXzMxI]tmQFlJfXqAxC[|mOfNJjHpuyu[^mlFFjaxtAwq\QmKFSZlXpQwk\lmuFDZaPsmwe\KmGfQjpHoa{U[InDFAZ_hxa{s[FmBFeZ_PxywG]_m@ffzqhn}wA]Vm?Fdjj`nqy{Z}mme~Z`XnewYZzmEE}j]poyvm[Ol{FB{AY?v?i_NoIGBkAA?^?Q_QoCGCZup~a|o^ynZf}Z}i?Q~k_Dnzg@j|x}Y~O^pnrf{JzP~m}w^|nlf~K?H|^?E^Xo@FuJyh}y}k^kniFzZyI?i}e_KnhGAz{P|A~?^Nnofrj|H{m~U^LntFrJ~p{b??^In~fqZ{X{U}M^dnbFxJ}P{I~g^BnxfpJv`z}|{^@n]foJzhze|u^^nnFmkEaBF@k_roYgKkDyBn@[_yoWGNKFyAr@Y_|oTgNkAyAZ?k_foKGH[CQAb@Q_boTGHKByCB@A`AoOGO[Gi@v?{`Co`gFKEy@f@q_Zo[GEkJACZAs`GokgP{IiC~Am`PojGSKHaDJA[`SoegS{JYCfAU`\odGVG?IEPBN?BOrGYW?QETBP``?@GVkKAEK?F?@OpGV~