CAT(2480,3)

Sparse6:

:~?eo_?O?G?CBc@p?{?\oMgG?B}@|@B?`OJ?FKAs@p?y?WoK?F[A{@x?m?]oLoF{BW@|?s?_OOOEkCK@f@A?XOVOJcE?A|@^_p_WgKoEUBHA??yo\GM{FYBr@w_|o]gNkFqB|@~_OOGWCcAU@F?a_RoHgDCAe@T?j_[_EwF?@i@u?Z_\?EgB_Bu@w?\_M_NwB_By?}@?___FgGW@}AC?]`W?_WOCGMCDAD`AO`wOsGeCPAJ`DObWPcHEC`AM`FocgQ[HUChAV`JOBw@s@M?d?P_GODGAk@]?l?X_KOEwBS@u?x?^_NO~_Z[LiExB\`novg[CMEFFBa`qoxGYgLiEuBS`m?tWZgLQFABV`o?tgYwMIEkBb`n?uWZwLaEqBd`k?xGX[KiERBG`coqGXcKuEVBI`eOrWLOKyBUBM_u_sWY?EqBQBN_s?rwYGE}E_@m`h_[wYOFIB_BR`h?[WVwDuD{@[`]_WWV_EAEA@^`_?VgKWKMBCBA`a_XWK_KQEM@f`b?XgZWFUBgBY`m_\wZ_FYE{@{`n_^WNGMEBoB__|_wwNOMIB}Bd_~?xGI?GEAaA?_h__gOWDIAqAD_k?`GJOGYAuAF_j_aWP?DYCU@T`D?TGSgKADGB@`]_iWV_IaDMA}`R?nwTWKIDSBB`a_jWT_KQD]BF`b?jgRCHeCtAZ`MofGRsH}D@A``POgwS_GuDIAK`F_hwPoIYCaAg`G?iWQ_ImDSAT`J?jWT_H]CeAm`V_cgoOJED`Ar`XOlWUcJ]DlAx`[OmwVSJED`Ar`XOlGUkJ[KfAuBHPcOVKX?DpAzBFom_psWkJnDuBDP_OpkW?KXEBA~p__nsVsKRD{BCP]oo{VgKLDwBAp]OocDAAb@R_hOTWIcD]Al@X_kOUwJSZ_Ab@O_hoSgIkDQAn@U_koUGJ[DiMeFQbgpsG{O\]MlF\bmPuWzC]EN@FZblPvwzs^gNpFxbzp|g}K^AN^Fmbxp{g}k^QAx@\_nOVwKCEEBF@a_qoXGKsE]B^@m_uOZWL[EiBR@g_wO[WM[FIDPAh`RohgSkIQDVAi`UojGTsI}?j?V_JODGBC@e?X?L_EoBG@k?q@@?`_QoHGC[AI@N?e_SoIGDSAm@Z?k_VoJgECBE@f?q_YoLGE{BYFNBe`soyG\[MiFZBk`wo{G\{MyFfBq`yo|G]{NYFpBx`|o}g^cNuF~B}a?p?G_[OIGJCCaBp@g`KOaR{HAClQOpJ[csRJHKCqQQ`KSckRFHGCoQQPKKcWQ|HFCnqVPGkdoQHGzCTQI`FSakPlGkCZqJ@FKakPpH@CVqO@Dsb{P^G}CVQNPDkboPZHfCNqF`KsacRbGgCwQH`L{a[R\HlCPqZ@CSekPBHiCOQYPCcaSRPHfCGqC@Ks_kRbGICwQAPLs__R^GNCuqZ@@sekOZHiCEQYP?{e_OLFyCfP}pH{dCNzF{CgQSp?[dGODHSC?QTP?K_OQnGDCjP~pJC^wQrFbC`qO_{ScsNZHKBuQQo|[cgNTHHBsQQ?|Kc[NLHEBrpx@Gk]SQHFDbaPrwxs[uMXFJbdPqWxC[YMNGpB[qK?vC[GPhFBCYqLOwKbOM@GrB^qK_vsbCLzGoB]QKov[bGLtG`BYqG?ucZKPFEqCPPlpBs`{LlGfBZPlpCsaSLjEsCQQIOu[a_LdFECCPpp@K_[MXFLCBPp@@S[SOVFMCGqC?x{_{MRFGCFPq`@k_oMVFnBRpz_ss^cLbEoB{Pjo}{YwNlEkByPjO}k^KLVFqBTP{OtK^?LPEZBjpe_ysYSNBEcBoPgoz{YGM|E`Bmpv?sC\kK~FYBNPuOrk\_KxDvBWp\_uCWCLLE?BRpi_n{VwLVElA}pj?ncVkLRDyBSPjonKYwJpFzA\p}_fS_SHzGCA]POP?[S?ODDBC?PO`?KR{N~C}B~P~Ogc^oIJCbBopG_{CQOM~F]AQpHoy{QWMlChBlpI?zS\cHVFWATPJ?zcQsMzHrADq[_`SfsGZCKC}PCpN[PGRtHwAFpB`NKf[GbHuAGPDPMkPORhDjAbpY_gsScJjDGAyPSOm[T?JdDnAfpZ_hsSkJZDIAuPROmKSoJ`LaCxq[hMkfQRnHuc{q]HNSfmRzH{c}q^HNKfaRjHsczq\hN[fiRfHqcfqRhICdEQfHQciqTHI{dYQrHWclqUhJkdo[PH^cnQWPp[e?[TMFCpr``KSeQ[_HdcZqLhFKbaPvGyc_qOHF{byPzG{cKqEHA{`YOdGRcIQDXBk`qOvGYcHqChAk`QOnGUcKqEHB[`iOxG\fH`tHqO\U[yFTfM@tHrW\MMcMYbgbeWy?xaMaMUbgBdwyOxU[gFRe|`yxnO]i[IFlbuB`G{gwMNGMAbsb_W|?wANEL~e~@whn_]]NKL|bzp|g}[^INjFsbvpzg~C^eNbFob[pmGw[[IMBF?b^pngvkZqLvEyev_zW\_uyFMLx`rB]G\Wv]FSLu`wb\Xm_NAFQLr`sB[hmGM}Z_Bm`xo{g]cNUFnBu`{O}W^[NiFxB|b@p_gol??KHEJg@@ah~wW]^{EEbCpaGph?YKWOFbFBtwpw|YKqNMbKBrxygXA]gEPbJbsGqo|E]oERbHBuXyWXU]cESen`VgjwtyYkDgej`YXjGUYJMLWaqBWWkguAYuDbel@WgkGtqJ?L\fx`SwiO~IIkNzajb}gig~uIgN{fz@UH}wTe^qDZf{@Uh}gTu^gD[aVbWwdouIHeLjet@KhlGREZOCoeq`LXk_RQHmLkaZBZXkwReZKCwfT`FGbgyi\gCXfY`EHuGPmGsMoaObjwc?yyGmMlaJBjHuOP}G{Mr`~bfw^oxy\QC@fS@?G_WyQGCMdfP`@XsOOQGMMefR`@g`GyEGOM_fobQh{?smYiNdeiBxHzgtMYcN[fnbSXzotAY]NZefBuh{Wsu^CLKbZplguSZMLjEsbcpqGwk[QM^FMbePrWxS[mMNFE_yo\GM{FYBr@w_|o]gNkFqB~@}_HOCw@{?y?b?O_FoBgAK@A?f?Q_IODWA{@Y?p?X_BO@w@K?a?V?I_OoGGC[AI@H?d_RoHgDCAe@V?i_aoPGHKCaAN@E_foRgHkCqAV@I_UoJGD{Ay@b?o_XoKgEkBQ@l?v`roxg\KMaFTBj`uozG\{MyF`Bp`xO{w]cNUFnBu`{o}G^[NiFzB{anpVglKUaJNDeaqpXGk[UIJBD_aJPDwbKPaGvCYaMpFGb{PyH@C`eerRHhSsmYfLQeiRTXhss}YbLOekrUHj[tiY~L]eoRWXjktqYnLUhLckYRPJAcqQvhKCliU`H]diQUhXcfyUPHyd]Q\hVCfIQhIucgQkgycmIVHFQbeRAgxCoyNHKAboR@g|cnyNPJydyPph]C[IMxJmdsPuhacXYW`EQb]RJgvCqiL`KqbYRLhccYyX@Eie]PhgsCriWxE]eKPegzbQxhPFYYgPteic\IN?tMbqLQegc[xi@FIY]PzefC]iMGsub_LKgeccyH`HIa]QPgfCcIQXC]ccPEhGCSYQHDAc[PGhFCQYHXG}c]PIhhcMyYPBiaIRTgaCtIZXCMesPAg_ctyG@LY`{RXhkCNyYHBue_O{hscIY\@AafeOfhxCHi]HAUf_OcgTCzyDXMy`YRlgUCzICXMm`CRiejCrHixKueUL`hdBWIX?tyeQL^hfbVXj`KyeILZhaBUhjHK]eKLWgIcYYA`EabMORgrCCi@XEm_SPigucBYL`?qbIONgqCBiLx@Eb[OOhybry]_{yf}NXh~BuI^g|]fwNUh|btXy`Ni]eRxfhC}I]w|EfkNOhlboyZO{I]YRTfeCtHxXLM]SRQfccsXx@LA]MRVhjBphw`Le]IRWfMC{Y]?xufQMVhsBdhrXNMfcMYfIczXq`MqfSMXhtbeHqPMy[eRnhmbZhlxLqfMLxhrB]I[gv]ZkRceycwxm`MIZeR`exCwHmHL}Z_R]hEbMXf@GqXsQJe\cahePGqcYKre]cahf`GmcQKteYCaYP?r]cOKuh}bHy^_qYXYRxh{BJHeHN]X_RueVC~xdxNyfiKjhyBIi^WqeXORygpbHYKOqQbEKZgpBEiKGp}W{P_gnbGYJoqAbAK\eMCWHcXD}XCP]hPa{X]@IIV]QjdvCiiSgnUdGJsduciX\`IadMJrhRA{h\XIEd?JihTAyITWmedEJbdpCgh[HIUV?QcdqciX[`IaVMQ`drCgISwl}dKJ]ddcnXXPJqUYQ~deCnhXHKMUORAdbcoXWpKAdqJPdgCmIVWk}dsJMhmamyZ_jiT}RbhpAni[Gjqf?I|hrapI[okUUER^d`Cvi[gkEU?RcgYcDyApBQ_qOngKCJiFH@u`oO[gNcKyEP@y`AOpgOCKIEx@i`kOZfTb}XtO~a^eMtfYB{h}wyu^kMkfXb}xuO~i\]N|fVB~HuG~U^gMofRblxsozY\yMbf]Bghrwzm[{Myf_bgXw?yA\OM}fSbnxvGyU\oMcfnbaxzowi]yMNfFBvHpG|m[ONYfGbwxq?}I[MNdfBBxH{Gwu^?MKeABOhgWoUYIKFeaB@h`GsEWOL?ebbAxgooiWYLHeEBQH_Wr}WCK}dZbxxUo}YT]NpdVB{HUg}}TgNmfuakX|_jA^UIxftAmH|GjI^OIrgjagyIoiIaqIdgkAhIJWi]asIedScVYJ_iaTUPTdTCTHThDMTWPQe~aexnohiS}L|dNB^HoGhu[?I[fAaeXR?wQZuI`e|AgHQwwMSkMAdiacXQ?lQUqINdkAbhYwguUkIKdIauxQ_liSeJ\dmAchPWlMSSJQeJa`xOopYSEKTd@BDHNwpeR{KWeFa`X`ogQSQKRdCBChOGpES?KOhVsjiTlIqdlQvhWskIU\JIdjQshJsdiR\Hic~Q]hIsdIRLHaczQ[g}s^IOtG]cJQCh@S_yOLGAb~P}hBs`iN|Fws\Q@h?EcIOdGUcEYLh@EbJQXFuscP{kwc@y?pfArUODktC@JMX?MrcOAg?eZy?@ey_QXhksCAH~xeu^{Xkete]XlPfaZYXzeuE]jNwuer{Lgk}bXzN_uYrmLbkzBWhk`fUZIXsd|e`X^PgQsMJxd{E`h_HgMsCK?l?a~ZO?nqVmYJdzEajPGn}sOJ}l^enjWPjutxZDLaUoJWKFEB`@m_voZWLcEmBT@q_xoYGLK?Y?N?H_COAw@S?Q?J?C_Ao@G?kV]JlDxa{P]wnSVqJzD~a~P_WoCkYUNJHdcQqxXSkuUXJNdfQsXYDkCvZZ?LuUzrVlmwtxY~Lwunb]DkSvfZCLxU|RW\kGvhZvLbu|bWtlkt`ZYLWukrZTlktdYtLmUlBZlj[uzYuLmUvrVDjcu|Z^L\umbZtmCtHZ_LQuwbS|mKtLYhLquiB[dikvLYiLrujR\LiovPZiLVuyrTtd?tzXPL]UnbITj{qfXZLbupbJTkSqrZCKkUobI|kKqlZ@KiuoBIdlSn^VmLiutA{llOnHZVJruta{tl[nRZUJsUuQ|\l_nTVlLkUuQ|dmsjrZkI{Uzan\m{jtZoI}U{QnlV{vdZrI~U|QoLW?vhZvJ@u|aoTmCgrZ_IKUwqb\mGgtS\LqtFB[dP{vNS]LrTGR\LQ?vPZjIPuyacTQSprScK[THrF\bghLShK]tIBFdQkp~SiK^TJRGLQoq@SnK`tJbGTgCojY?KIU_rAtgGonWXLAu`BBDg[ovWYLBUaRBlg_oxYJKNUabB|fSoRXsKCU\r@\fWoTXxKEu]B@d_{rvWMK|U^RALfoo`X~KHu^bAT\csrVWLKTurR\\gstY\JmtvBRdh{m~Y]JnUgQ{Li?n@VbLPtwbST[sqzVKKmTrrJ|[wq|VPKotsBKD\KrFVQKpTtRKl\OrHVVKruXaytYcpZUgKUTirD|Ygp\UlKWtjBEDY{pfUmKXTkRElZ?phUrKZtkbEt^skzV{JMT~qr|^wk|U`K?tgB?D_KlFUaK@U@Qsl_OlHWEJRu@qste_kbXhJGUYqq\egkdXrJLu[arTfCkpUXKwTdrLtXWr^UTKuuZAqd[CkJUCJ_Toqo|[GkLVDJCtpApDWkmNUIJbTbQxLWomPUNJdtbaxTUCljT_JYTlqk\ZWjDUxIqtmAkdZkjNUyIrTYQvlZojPTjJ^tYavtcSijTSKaUPqi|cWilT]KftVrHtcsizXKImUQqj\cgitXGIkuQQjDS_jXTHIutQal|Skj\TRIzt\aiTVOibTtIgTRqm\SwjdTLIwtRAmDRspBW_I]TNbC\R{pDWcI_UHQgLaWiDWfI`uIQgla_iHWiIbuIqgtgogXYLIEubq`|gwg\SPLGucAaDhKgfYQIHUdQalhOghYVIJudaatkeuPZIldurZXdk}u\ZPlgUszYTkuuXZHO?W?RXDlMudZNOAurc?dkmuT_HLgwABYD^En`VrjxT|Y}d^]nlVxj{T}y~U?shb_KIWTKs@|RH?\StOGtLCAE@KhnSuOHWDQfM@Ohp_VI\wDafT~SgB^sI?V|q_T~WgF^~IDV~a`\Oc~x^|ICT@r~\OW~t^xIAv}A_c?Y?N?H_COAw@UA|@`_mOWWHSEMAP@b_fOXwHcEUAd@f_qOSWLSD]BP@T_tOUwLCDd|s~R^[NsVvr|\|w~T^`NuvwB|d}K~^^aNvVxR}L}O~`^fNxv{b{tyC}J]_NaVpbsT{[|F]dNcvqBsdy[}V]eNdViRxly_}X]jNfvibxt~O{P^tNCvcr}|xG~l]ON{vcR~Dw{~v^yNFV~Rpdws~x^}NDv~rpTvCzz\oM}V[bntvKz~\sN?V\RoLv[{D\uN@v]RodwSzp\zNBV]bo|uS|r\cN[Vmrktu[|t]|MsvnBlDz{zV]}MtVoRll{?zX\nN`vZbwTtd?r\WOKVUsB\th?t\\OMvVCBe@{y~_]MnWGRkMA?z@\bOPwGbkU??y@_@M_vOs?\sH?D\DOAvPC?dsX?L\FOBwARhM?_yP_JMdwAbhU?sxj_KMYVLs@}?wxl[xOGvMCAE@Kxv[yOHWDRfm@Oxx_VM^wDbftpC|Z[ONUVCbttpK|^]pMIvkBadp[|f[UNXVEBulpc|h[ZNZvEbutnc{jZwNIU}rq|ng{lZ|NKu~BrDxkv~]YL~V?Rrlo?{x[BNNv?brtsuyX\MmfvSZiDtIyf\SmivTzit|E}`^RnhVtZyd|]}l^XnkVuzzTqmxT[lPhvJCYTq}x[bUmWvKCZDrMxdbZMSwubdEK[wzbEMMWqRb}K_w|bJMOVGSXTqLEZ[aPeWrrcmKwxHbPMRwsBcuJkwJayMAWnR_}JowLa~MCwnb`DolEBb?MDVBSWUKKwXbDMFwpB`uI|DvamP\WkSVeJ@DzasP^wncUmJLEBaqP_WosVMJ`EDbDPZwpCUuILEfaaPhWhsYmIXEhajPjwicYuItErakPkWusTMLhDPadPmwhCZeCLCV`APDWbSHmGpAX`JPFwQcPuHDARaOOcWcsG}HHAL`DPIwPCQeH\Bf`qPJWeSMmH`Bh`xPLw]CRUF\Cz`uPMW^SR}FpC|`yPOw]sSEE\B~`eO~W_SLME`C@`lP@wZCOUElCJaCOtW[SO}F@CL`nPCwZcPEDlFV`YPtWXS]mEPFhbpOpw{CKUE@Fd``PxwzSJ}MpA|`\PvWzsJeC|E~`MPnWSS[MD@F@`RPpwSc[UDTFJbcOiWTs[uDXFN`XPswUC\EK\@rbEO[WqSF]K`@tbJO]wqcFeB|EZbKO^WrsGMKxA@_vPgwLcYESlIBdIQ_XNch}R|I\dAQgxOsiES\IZdKQbXSshMTHIPdTQaXTCgmQtFrckP{XIs]}QhFlcpP}w~CeENlH^byQVXIS_MQ`G@cfP~xHc^uPtHfc[QXXEsf]RhGtc|QNxNCbuQDHnc_QZXGsfMQHHpctQQxLCcePLGFcQQ@XDS`mPPGXcDQJxDc_eOhGrcJQKX@s`}OXG\cOQCXCS`MU|JtdmQ|x_SnMW@Jpd~Qzx^cmuVPKDdtR@x[somWPJddpQ}x[CneTXJDdVQpxWSkmU@JHd\QuxZCjeTdJNdWQrXYsj]UhItdhQnxYCjuX\KNeURBXesqMXhK`eNRHxbcqUXTKZeSREXasrMWhKpeHRMxfCpC?DLOeh_?hhcs}X{?Eed_@HhCruYC?CebrOHg_?^