CAT(2800,3)

Sparse6:

:~?jo_?O?G?C?s?H?D_BOCo?{?e?P?F_CoAGCgAI@H?b_GoCgACBC?q?d_L_HgBOA]@o?v_ZoLwD_Ae@Y?i_T_IGEkBQ@l@C?Z?JgE?BU@]?s_WoKwESDoAZ@N_fORgH{CuAX@I_doRGHSCmAH@E_aoPwHKCaAC@L_`_RgGGC}@t?w_[oMoFsBsA@?{?^o^OCsA]@J@I_doRGP_GUCHAB`?O_gOKGKC@AD@@O`?OKF]Br@w_|o^GNSFuB~@}_~O^wNkDIAb@O_ioTGI[DYAp@V_yO\gMkFEBf@q_toZGLkGKBPAD?tO`?LKEYBN@d_p?]gK_FqBE@z_ooWGJ{DoBn@x?nO]?JkDcB`@m?loZoJSK_@V?l_UOt?CcAI@FB\?jOTwJCFIBf@p_toZWLcOOFLBg`roxg\CM]FNBg`rOyg\[MeFVBh`tOyg\[MeFXBm`uozG\kMyF\Bk`uo{W]CM}F^Bp`wOxW[cMMF@Ba`oovWZsL}EzB^`nOvGZSLmEvB[`lOtWYsLQEnBX`kOso]CNCEbBQ@vopoX[KSEZBE@eOq?X{KgE\BO@corOXsL?EXBJ@fosOZCLKErBQ@johGSkIYF?Aa`p?gW[GIMDNAg`SomgV[JeEkAv`i?mGYgJYDfAt`YOdWQ{HYCrAY`KOfWR[HqC|A_`NocwQcHIC^AO`Goq_PkGwERBG@EOaO[kGkFFAI@qOpOOsK[CPBE@Bok?W[JGEHAp@`OnoTkI{EBB?@VOn_TSJoDVA|@UP`OAC@I?b?R_IoDGBs@u?xES?LOEwBKXg@@?`_Npg?Bk@y?xEe?FoBW@sZ_@@?^_OppoBc@y?zFL?OOGWB{@Y?p?Vbj?EgB[@eMwBX`kOtwFsCA@~@B__oOgG{CaAR?w_\OMWS[IEDDAd`ROhGUsJ]DpAo`XOkWTkI}D\AV`IodgSCHyC~AN`GocHBW`YOnGTcJQDxAk`]OlGTcHQDHA[`IOhGRcEqBh@c_}ObGOcBaAh@?_eOKGJcCa?H@O_IOUG@b|P}w~c^]NrFwbyP|g}k]wOTFoCDpzp@K]SOfFfCIPx`AS`?M~GPBoqBo{C\wO\F\CEPv@@kX]KrEWbNpfgrkYMLJEcbSpiwtSYqL\ElbHPcwqKXQKlETbhptWyc_WMvFYCCPuP?{\_OHGDBjpt`?[\KOXFTCEpt@@s[sNzFNB~pr_~s\?N~F|BhPsO~s^oMVFyBeP}oxS[[NnFxBcpq?~C^?MLFnBapz_wc[KNZFkB_po_|[]_L~E}BtPyOwC]SLzFeB\pxovcZ[NHEtBpPwous]KLtEwBqPmO{S\oLdF]BYPvOu[X[KvEXBMPe?rSYGK|E`BNpfOsCYKLPEdBRPh?s{ZCLREoBTpjotSYwL^ElBWpj?uCY_L|EeB^phowCWwMBFBBGPo_p{WkM`ELBgpb?yS\cLzFYB\puovcPyGxC\cG`EX@wPmO_CYaIA?GaW_IGiG@bw`CGaO^MNcCPaD@vw`_]EGUF_aC@aG`GWiGMEHbA`Bg`gW]KKCNb\@@gvGOQLoCDb?`rgxwV}K?FLa}P^gnkVcLdDzBYP]_u[UsMLFDAvPp?l{UgLBDjBOPg_lcWwJNEOAspbolCXWJDDbBIPWOqkW_I|D_BCpVopSWOIxEBAlp__jkTiIpDXaj`tgz?TUIkFVbA`Sgi_W]KKDRaf`rGiG[mI_FIae@lWuwSyIYEua_@_wgOWQKCD@a`pPWgcXgILE[AcPeog{QOOFGCAPQ@Oc[RWOPCtCBPL@?{WoHnELA[paofCQwKdCoBHpcOd{QoMNClBcPIoxK^CHLFrARp{_ckOIGFC@`~A?x?gOAOGB~bz?}w^g^UFwFs`{@zW^G]mFsFk`y`yG]w]iFkFhaz`[Gn?VIJkDpac`EGhWP]ISCUaO@XgcGUUG}DcaX`NwfoREHcC|ay`NGfWVQHsDraT?|G]OQeHOBreS_BG@S?m@V?l_UOGgCcAMXi?m_WOJxfWA}@`?m_TOIWDC?]?R?G_DOBG@[?m?T?Kee`dwrKXaKzE^bNPhWs[YQLTEjbSpjGtsYuL^EpbWPbgqCW}KbERbHPlwukZYLvE|b]Pqwxc[iBp@x_zo]gNcFmAb@Q_gOTGIkDMAj@R_iOUWJSDmAv@X_lOYGLSEeBD@b_qOXWK{EYAx@\_nOVwKKEAGHCDaBPBW`{OyJZDnavPXGksUUJNDhasPWWk[UIIvD\amPTGiSTMG~C`aOPGgccQMHrCwaZpMgfcRmHZCkaTpIgdCQeHJCfaRO|W]sN]FjBu`zo}G^KNiFvB|`}O~g_CN}GBCBa@P?w_KOI^{Ntfzr|h~C~i^rNzf}r~Hyw|m]qN[fkBuhzw|m]yNYfnBvHzg}A]}NafnBwX|O}Y^ONjfsbxx|G}y^UNkftBzX|_~I^gNmfxbzXxw~A]_NpffBzxyO~Q]eNqfxbsXx?}Q]SNdfcbwxxg{M]UNCfeBohuCzI\bMqF}Rk@~kzC^vNyFVr}Ptk~_\\M]F[rg@vSx{\vMeFNRg@skx{\HMQFarppqcxK]LN_FFrcP{Sx?^BNNFFrc@yCxC]\NhFERypps}g[ZMTFERdppsxW[ZM~FCra`wK{?[VMEFpra@{kw[^HMEFrRy@pCw[^NNbFARx@o[wS^JMrF?RlPoSzO[BLwe{r\xnSvqZvN`EzRw@mc}GZjLpF`R[pw[vG]HLmewRZxrWuyZ_M\evbfHsGumZWMbfPBZXxWueZSNLesBrHk_~E^_LafvbWxjwwAZAMAeoB_Xswtq\QL]fSBVXjG|]YuNWelBuXi[tUYhM\EiRepikxoYfLOFIrS`qstC[nLyEgr]piCvoYdNFEerRpwssw]JMvEerRpvCsw\lLFecRQXhSsmYXNSEbRP@yssS]jLBFlRupgSsC]xNtE^R|pgC~WX~K~F|rO@~krw^xNQE\rNPyK|KXxKyF^rMPwCr_]BM}EZRnPe{zoXjKqFOrL@s[rK\DKoFIRc`eKq{[fKqE{rL@nCrKZnLBEnrWPgSu?YBLCEURJPgkqwYLKbE}rHPn{qOZ|KhENrF`d[psXTNGELRq`bc{cWvNsEGrCp}S~KWdKNeGRBh`gxaWUMYeEBeX`KoiWPKFEpRX@_soSZFKAEjR@@jCoKYnK@Firt`^{|OW@MiDwRj@]SykVbJdEkQx`ismOYnMxDnQw@vSl{\vJ[EuQvPlklkZVJXFrRy@ZSl_^NJTE[Qt`fSrcUnNxDhR}`Yc~_UfJNEdqsPhcl?YTLdCfRXpICuWQ^JAd_qoHTOq]XKIgdSbIHv_iU\{Iff]ahhS_seTCLFdPbQHRwwM[II`dOB`HIwxaQqMYckBeXngdiZ{HZcmB^xPg|]S]NXdFBuHpGhA[UIQfDAcXQchUSfLsDKr\`R[vSStK{DKQd`fkrkSnIIERQb@dCgkXNLpDBR[pOcvGSJIHEnQa@jktoSNI@FZQ_pvCgG\nN\C{RvpNS|wRrHqEURJ`McqsRfHocvq[Xy_eI]kH`fiaWHjOeeYuHjekaYhKseaRNKnCqrKPKcr?RFHGFSRhpHKycQTMlCaqP`t{c[\\LgC`RY`GcucQFG~FuRzPGKc?^\NtC[qMp}{~WPtGvFvqM@}KbW^`GpFUQK`tSb?\VGbEZQGPekaGXnMrCUrl@D{zSP\GhFQqHpscyWPPKhCQQHPd[aWXTLdCKQE`k{uWOrJuD~Q}@^cn[VzJ`DeQwpXsmGUZJlD`qzpWkmwUHJED]qnpXCk[T|IsDVQl`UCjST^IjDZqjPVKioTpIpDMQf`UShsTfHUDsqTP[{dOVPHPCmqS`J{dKQ|I?CeQ^`Hkf{QVKXC}Q^Pa{p_RvJICzqqpMsfSURHkDyQZ`]kesVfG}EJQN@akbsWhGtEOrG`E[bOX@JyCOQF`^[ncO~G\DtQEp\cmkOxGiD\QJ@VcakTvUL?HoDWAdXK?\?N_EteOAs@a?nU^?GOCWASqYXPKfeXrLHeSreXtKwedrRHhSKUENBE`dorWXcKyE`BN`lovGZSCEAF@A`SOhwTKJqD|A|`TOjGT[HiCrAW`LofWRcGqC\AL`BO`wPCGYCPAF`CoawPSGeCVAIcdqRXHcoYWNKDduqzx\slmUxJ\cfQRxICkMUJJCdTQiXTCdEQfHQciqTHIsduQ|H^coQWXKSbyPzG{c\QMXF[b]PpGucLqFXBc`yP@G^cOqGxCSaiPXGjcUqJxDsaQPLGdcRqIXDC`eOpGYcKQEXBTaooIWAkAE@z?X_YnwWhj~EIy~hainYVijvdzI|p]mnkV`j{Dwy{P^]oKV^kBdwJ?h\ynsV\j|dvI~H\mmoVQjlDtIzH\MmKVijcDzIwx]mn}V?j_e?YwP_AlmWVkKdmYv@`alqVNj[DsYux\AlkWMkGDlJ@xZUneUsjZD|Y}`ZUmYUojfDjix`Y}lUWejUeIIt`a]lUWijUeIYt`amn_UdjxDhy}HYYmmUcjPDtYsX\YnwU^jOd~Ys@^ynqU[j|dfi~PXukqVgjLDyY{xXmkqVTjjdeyrP\YkoUcjJDgiqxYMlaOGgCdkyuP?]kKURjId`IohXQkAWJj@eBYoP_qj}Wdj?EGzC`VyjuVuj{D^Yn`^]joVri|D|YnH^QjiVoizd{imp^EoOTqiyEAj@HVMjUVRitDtIlH\IlQTgirDiit@U]oaTbkHdXJAPUUi{V^indwIzpTupMTBkSDPJCpSIh}VBi_dpYg@[Qn]SljvDJi|hQ}hMUUiSdeId@X]hGVHjdDHich[mhAU|iPdnicPZ}k_SXjHDEib@XEgiUyiJdnIapZmlASOiFdfyaHYAk[SCjFd@YphOMmERsjac|iw`NUl[RmjVczy]@ZAfSUdhsDhi\HY]lsRaj]CxIvXMMewVNhnDsYZh\AeuUqhlDkyuHLeekW_hkEGiYxaEeeWShieDiY``UoaRLhfeCzAPKyoyRIkNcrJBpKmeMVghcDxyXH]ekSREhaDayWhWqpKR@kSCojCxKMogR?h^eDiVp`UdwWbkQcnZC`JmmuQhjmciyz`IikwQ_jNCgirhIEo[Q\kGCfz@xHycsV`jpcfI{PHmouQUkMCdJBPHUcaURjIccyQPXQmoQDjlC`yzHGYb}WJh?eBYO@_qlyPug{DniMxZ}kSPiguDbIpXEmbGWVkKcXYKp`aayWIgmEAYJX_anGPQjrCSy{hDQakV@gjdoiIh[AaYV~gfE?YH`_AoEPHgde@IHP_ImWPDjfCOyxhCQ`sVHg]DqyFX[i_SUggEDii@XYe`qVEg[DpyEx[apCOsgZEGYEhaAk_OpjHCKyqHBI`UULgUdbyD`WynKOejqCHy{hAUosOakLcHJB`AM_qWbkQcEzC`@ioyO[kNcFjBp@u_?Waf~EGX~xaApQOCkTc@jDP?Uj?TJipDRYkHSqh_S{iXDNifhREgWSZiMdBib`OugMTSiCDTi_pTUfyTPihc~y^pTIfmTZilC}I^HTqfaSHhxdAy]POifIR^hrcwY[pMAe_S]hhDGIYHP}iIQwh\DPyVHSYd]TkhWdZiU@UuhqQkhVDMyfPIucqSQhKDDIaXH]c[QqhGClIPxJMcOTMhDDSIPHS}cYTGidCayhHGqcCTVhADUYOXTabqP{g|c^iNPFub]UFgvDaYLhWabMRlhtcYYL@Mqb_P_gxCViMHD}bAPWgpcUiKPDeaKPrgcC\YGxFQa?Svg`DLiGHRadiO|hZcNyUpBy_[Ryh|cBY^`?}`[TngVd[YE@VAhiOhgTDKye`Aa_}S?gOd?iC@OEhSOPiTcCId`@Ia]ORgICSIAhDE_kQegKCiIAxI]dEO@hQc?yS`?I@j?u_YO@G?s?U?H?E_AtaipdWmk`UQjGteIq|XYkxU]jMpkwuSZQL|F?b^poWw[[IMHFEbapswyk\QMrFZblOSGIKDIAl@W_jpAW`CO]GTCKaDpCgaKPAGhCTaHpDgbCP]GrCZaLPFGbsPuJTDkatpVgkCT}IjDVajPRWhsSqHbCraXPLGesRUH\CoaVo|G]SNMFdBs`xo}g^CNeFvB{`}o~g^{OAhTSkiTtGYc\QIgLSGiBsyy\lMqeHREhasniWDJ}cTQGhCsayPlGqblPwgzsViKDD}afPQgiSTYItD]`JOfgRS?H~s~}_BOBg@S@I?t?V@c_`ORwISCUAL@P__OVwFcDu@|@Z__OHWDCB}@L?|_aOFwGSAMAL?`^|OLv~sBl~x?x^uOKV|CBT~T?r^QNjvsRzD|W}`_iNdwJBxUAk}X^KORwIRx\{h@P]qNkvlBz\zK}t]oODvkS@M?g|^]oNsVkR|T}c|^]hOQVisCtyh@J]gNlvhrzTyW}r_dNPvhSCeAW|H^rNOV{bsTyC~bXpNju[bytfK}p^ENKVeRwlx[}H]]NIVfRqlx{{l]DOHWCrou@O{N_KN@V`C@u?s{F]}M~voBoLz{{@\{O?V^c?Tvt?B\zNXv]RuTvg|h\qNvV[B}DvC~^\nN`vZbwL{GzZ\cNpVXb{duS~F]dMovgrkTuK|H\ZNYvVRu|to|l^rMfvSR}L~Gy`\MN]VnRhdss|v^uMcv|Rh\~OyT\BN|VPR~dsO~v_KM]wBbf}?sx|[pNUVKrtlrG|\^RMTvJRylqo}h]fMTViBdDyWxR^^MNvwRcDqC~@_TMKwDrb]@Wwt]\MHvfbalx{wh[OOBWABaTpD?N[LNvVBr||ow~`^CMDVpb`dok}J[@O@v?s?loH?H]{L~vnR^to?|vZzNeu~Rx|no}\ZnN[U{RvTn?|rZmNpuzR{dmo~D^gLsuyr|Tmg~RZeOWwKR\Dm\@bZ`N~v~R[Tm?~|]iLmViRZTykuvZUN|UtR~dlO~vZPOBWABY\lH?NZMNzusB~Lk{~pZIN\VmRXDkc|p^PLavsbW|kW}`Z?OLUnsBDkD?rYvNrVxrVDjW~J^[LWVvbUT|stbYiNnujB{Lik~@YgNmUiRzt|stN_ILOUfc@]?cs~YZNqufR{|ho~LYRNZudButhG|j]}LBUaBwDg[|~YBOWWKBOmB?sHY@Neu_bx|g?}\X~OGU^SALfx?^]YKzvfBNLxkrpXsNOU\bsTfS|B_kKwWIbL}Akr\XgNtuYb|lec~X^wKquXb}|e[~r_?KkuUs?U?Cqt_TKjWDbI}@[qpXRNUUTRttdO|ZXOOVUScD|dD@ZXIN_uQrwTco}FXFNMVebHDxkqRXENiVtRGdcS}f^jK_vzRG\}oqDWzOLuNSBlbp?x^FKXVqREd{_pfWnO@uKS?lb@?H^GKUVqRDt{[pZ\rM_vObmdvSy@]PMQvcrc|xGxL]OMMVFbptw{wz[UMBvEB`Lp[wP[aLpvHB[dqKvJ[yLmuvrfdrku|ZVMYUuRetl_xj[mL`VKBWdq{uF[CL[v@bV\oSttYrMiulRi|jOyl\fLUvYRT|u_t\\QLQVTBSttKtJY`NCUgrpTiG{RYTL]UnbQ|hWtz]JLGVbRQLg{{XYKLxUbb]dgsvfYHLduarXlgguX\WK|U^BjTtcrv[vKtvMRLlr_rXZwKqU}bKTncrFX^LKUWBRTeCsrX[MbUVbhDdsyN\]KevWBH|t{q\W}MzUOBnDb{zn\iK[UMbldukprZtKYu|rE|nWplHVckqUHJSdqQveBQVx_ceEWPH\eAPzx_s]uNTKHbZRBWucomLpKN`pRAw[couFLKNduQTx]CdeV\HZdjQQxHclUQ\JXc|QOXNcb}R|HBdrQHx\SamVPGhd`QExWs`}UHG\bzQAX@c^mOTFxbnQBw{S`MN@GPbaQmXVS[MM@Ivb\P{W}cZ}LxFrdSPkWuSiUTLEnb}PiW~sYmO@ElbPQwWssmULHJbbNQ@wsC_MKxGDdWPdxUcXmTdEXdAPdXOCXMK`IBa{QKwncbUPlDzcrP\xKcVURDDrcIPZWmC`eOlDncgPXxIcUmQdDhanPuwjS\uIxFXd]PRxVsTMU@DPbBPPwpCSMIHEDa[PswfS\UHlFVaWP^wecWMHdE@bqPIwds]eNLClaQPNWdCSEHLC~bcPGWxSQMG|FFaKQqWbckuGtJJbePCwyCP]M\CTaEQuwaCl}G\J\aBQ`w`SgmGPIHaiP?W_cT]GDDXc[O}xFcN}PtB|dTO}W]si}FhIl`vQbXQCNMS\Bp`aOyW\cKeELBj`lPQwYsSuEpDHdLOtXRcLESpBR`dQZwXsfMEXHp``Q\WVsf]E@Hx`[QrxYSJuU`Az`mOkw[CJ]E|At`VR?x_CJEDXJ~dIOhXQsIMSdA``LQfwRsiMCxI`d}OdwRCnmChJxdxObx]sHMVhAP`CQJWPcbECTGncOO_xCcG]PDADcsO^WOCeuB|Hj_zQPWNCceQL@z`TO[wMcI]B`Ah_tPawLsW}BXEL_sPXWkSEUJ@@fEAb@p`L?IbbOCgus?IL|EyZRLcgwsZHk|?a_nOIgHs@iAk}yaFNqgasPh}LBY^FOyfrsMH{k|YavNWgmruiJ|AQ]bOgfisHhy[{Q_rO[fcsEhw|Ai\~NAgVsJHwLEY\rPgf]rmiL[yq^jMof{rjh}{zI\NMufTrlHtKyAarMcgirgiI|BA[vOsfNsKhrkqi[rKgfJrJHqkwa^RMKfurah|[wIa^MEghr`IIKwyZzM?fHrcHn{vQ]^Lqfdr[HxkuibJLmgprZIKK~iYfLUf~rTH~ktyYZL_efrWhiKsAZnLCe|rOhnK|qXvK}forvhflCaXjPKe[sQhe|@yX^OaeXsGHeKtaXFL[eRrUhckpq`zK_g_rFiF{pYYNKYedrEHhL?qWbKSgGrCi@wY[LEEdiSS~yctOEfxSjh{TIY]tQ]ftSjiFS|YaTNEg`RrhqSyy[tMufPRniLSvy[TP}f@S\hhTDYYtPeehSVi@SpyXTO]gHRHhYSrYVDLEdlRNh_SjyWdJMeDQphUSvYTDLmdTRXh\SdyVtHmdxQXhOSdYRtHEcdQ\hDTGYcdG}hDQLg~S`YPDGMc@QFhRS^YSTFmbpQdgxTAY`dF]bhSJi[TYYfTUmhxTliqTayktWekLTbikT\yitVeitTtioTRYjtSmi\T\ivTPYmTSej`TFi`T`YftWMk@T@igTKyidR]idSti|TJYntREjxSnjTThYtDY}lLUljNTlysTZml@UxjKTkYrdZUktUrjHTbYqDX]khUNj]??ixL[??LVLj^?@IxW?QmDVNjh??iww?YmHVP