CAT(2800,2)

Sparse6:

:~?jo_?O?G?C@c?h?T_HoFoAs@a?n?V_KODgEOAa@N?e___JGDsAu@^?o_WoIoEcBG@R?r?TOT_DSAe@V@d?kOTwIsD]Al@W_eoRwHsCuA^@M_hOSWICDIA`@P_iOTWI[DUAh@R_^?QwHOCAAW?~_b_QgH_CeAO@J_aOPgGkBg@v?w?]oMOFcCC@n?u?`oO_EkAU@J?d`H?EWB[@iDG?\_MOFgCSAQ@FAo?QOGwCSJc?~?`_OOTGI[DUAT@K_doHgDCA]@v?{_]oLwEsBUAB@B_`O{_YcLYEjBS`iotgX[KuEXBJ`eorGX?LQESBU`c_tWWsKUENBC``OowVcJyDzBQ@^OsOVcJsEfAP`FocGQKHAC^AQ`IOcwQkH]ClAW`LOeWRsIAC~Aa`OogwScIYDJAh`RoiGUKJADdAt`XolGUoKyE_Av`[?rwXoJeE_Az`\?rwYGJeDuBR`\?sgUWKeESAt`c?lGWoJID_BF`a_kWVwIqDSB?`T_oWVwIuD]B?`__jgPkGyCXAM`EObWS_I]DIAh`R?iGSGIuD]Ab`P?jgTOJYDWAw`T_lwKOK}BGBM`g?WwR_DyCy@\`L_VGRoD}D?@``N_WGROGmCQAW`K_agOcGUCF@|@Io^oQ{FwCl@s_yo\gN_KMBuBC_|?ogM?HqB[A\_v_ewYGEaEe@i`h?YWKoHIBMAS_q_cwJWG]AsAG_k_`gMOGABaAA_x__WLWF]BY@x_{?ZGog?u?^?MbJ_CGAK@IKy?R_IoDGsW@]?p?UbV_bwQKHAClAT`JoeGRSHeCvA\`MOiwTcIiD^Al`VOlWU[JQ@X?m_UoJwEKBA@R?j_TOVgJcDuA|@[_moVwKKEABH@b_pOWwKcEICJAC`@oZgMCE}Bd@p_xo\GMsFUBp@x_zo]wNcFiOKFmbwPzw~[^qNtG@c?Q?g~g_IN}G@b~A?G|C]iNRFdbrpxgz{]EN@FzBnp~?{K^gN@F]bmpvG{g\qNMF]br@vW~w\UNyFSb~@swyS\EM`FLBaPr_ws[{MJF@b`pogwWZ}M?F@b`@ngvcZuLvE{Bzp}OvkZkNpExBypm?}cZgNlEwBkpu_vSZcMvEqbYPkwu_\]MoErbX@tgtw^]L_Fwb{`kWscYULFEebRpiGtSYeLVEkbVPjW}GXuNeE^bx@fgsG^ELCFrbx@gG|oYuLWFnbV@{G}WYiNcEhbw`iwr?^QKqFubJ`|WrO^YKuFsbM@|W~OXiNwEZb|`fG~gXQKkF~b~@dWqo]mKiFlbI@zGsw]mLKFlbS@zGr?\YMoEXbJ`twsG[}MYE_bP@rgpo[]K_FHbF`qGqG[eMOERbb`cgp_[YKUFDbE`pGtwWaLaEIbW@aWooWeKIEIbB`aGo_XEKCERb@`cga?]IGcFcbp`CWs_OuLICNbP`BgnKVmJtCRaIpDGm?_EJcGAawa?GoGU}JYD~b?@ZglO^]NqDkat`}Gk_]aJKFiaq`yWaoW}K[CWaJ`cGkSUEJFEtAnPlokCT{LlD\amPUwigZULmDVaj@lgi[TQIdC_aOpFwcw[qHIFIaR@qwcO[AHGE}aP`nwh[SeITDFacPPgpgSMKWDDbD`PGfo\EH}FQbg@NWg?VqIAD}a`@^Wd[QuHXCsBwPz_ek]{HlECAWpKoo[WGHdCKaDpAgy_OYGGFTbh`@W_GWUGCEFbB@?w_CN}F|Fb@ypx?]{NWNDBrBMo|?r{NGK|BpBlPuo]C\cF^BmBdOzOxcMoMVBiA~OyOnkMkJxBeB?p_?[{M_J~CXAxp\Ob[PgJhDuA\P]?f[V[HxCwAWPJ_fKR[H^Df@|o~OlKNoJPCF@{PAO^SO_FrBcAMPF_[kPsFFDW@oPU_[STcFBB]AfovoiKLsI`DK@lOv?hkLkI\Cg@kPI_ZKQcEn?C_BO@W?c?Y?J?I_EOAw@S?m?X?^_OoGHcW?]?R?G_EOAg@[qo?N?H_COFGBk@yXi?]_MoFGBK@m?tD{a~P^WoSWQKFEGbCpagp[WuKXEObFPbwqKXIKfEYbMPewsCYILBEebRpiGtSYmLR?f_SOHgFKBa@t?z_]oNGEkB]@l?}__ONwGcCYAJCNaEpBgakPMGhDcarPXWjsUAI~CXaLpEgbcPuG|C^aOpGGcSQQHFDEacPPwdSQeHPCjaUPJW_{OeGPCCaAp@g_KOMGDBy`{o}G^[NuFxBt`zO|wY{LeEpBV`kOuWZcLmEtBY`mOuwZkLyE~B\`nOvw[CMEFDBb`qOxW[sMaFNBe`sOxw\cMuF\Bk`vOzW\{NEF`Bn`wo{H|G}M^HNdfrryH{s|s^DN^Forv`{C{U]NNEfabvHww|i]uNEfXbtxug|a\gNXfobjx{Oyu^?MmfSbmXswzi\OMzfiBgxyoyI]iM`fJBuhqg|q[mNZfJbxh|?xU[kNffFrcHqKwq[\MLfmb`hzwwa]{MFf?BsXyWwI]cM@fNB_Hs?wI[}M@e|Blxn_zaZuMue|BfXrWvqZuM[ewbrHmO{mZeNLexbrxmO{yZaNOfNBZhm?yAZ]M^fTBYxt_uu\ULkfRbZXt?um\QLkeqbcXkww}[_LeeoRWXj{uCZnL_E{RVpnK|sYxN^EnRv`jktw[VL\FCrV@pStk]FLYFaRUPwSxsYnMZEkRf@ist?[dLQFIRSPq[|[YVLIFkru@hcz{YTN@EeRo@h[s]YRLGf]BPHvosY\yLDeaB\HgovYYILte\bsXyOru]eK{e[RMXfS{kXdNKEYRKpxk{wXlNOEZrLPx{rc]PKyFdRM@xK|OXXKlFjRJ`ykq{]hKpFjRK@ykqc^NNgETrI`{sqW]DKgFaRHpw[qK\~KdF_rH@wCzWXBMvEORG`vCyWWxKZFQRE`skyWW|K^FQrFPscp[[dKXFIRE@q[q{[RKoFDrKPpSvsWhL~EJR^`akqSZnKbE{rH@nCucXBKaEtRY@cCuSXjLfEZRX`e{pCX|KRE_RC`f{qwWRKlEDRA@dcoS]tKFFmR@`z[oGX|KBE_R@@f{}CVxNaD}rw@^snc]VJyFeq}pxcnW[FMDD{Q|pocnUVfJsehA{Hi?nIYaJpeMayh\_p}VUK]ewAyH\GuyZ]JfeLAxHb_mYWuJddoBRXhwlyY[J^dkBWhZOuMZGJXdjqtXYsq[UdKgDhrH`Yck{ZhJPEzQs@mkko[FMDDfQrPocpGURJJEHqq`aKk?\vJAF[qoPvSjiTvI{dYBDxUopeTiKWehakXigjMYgIqfcAjhxGjA]SIndTb^XTgv}TWL}esAhxlOiUZQIee`ahHSWsETCLAdNbxHS?}MTANddMQfhRkroStK|DLrMpRKuOSnIWEpQd`k[hK\xITF^Qd@vkh?YnIQEkRT`QKg}S\ILdABDhOgpQSKKTc~BrhO?|AR}NNc}bQXh?fmYMH{czBeXMwxiRiMWcxQ\HM[tkR^LXCwrU`MCeoXfHmEYRK`Lk{_RRNICtrqPLSyCRFMbCqrg`Kcds\`MqCnrkPJsygQtH[FURipJ[dQQjHUccBbHHOwuQQMMcdbeHHgxiQWMXfXaOhugcQ\gHBc]B`xFowa[KG|c[bsXFW|M]cGycZQMHE{bK\`MqCYRkPEkbAPdGpe`aJHDOsIPUL@cSbtxD?|ePMNWehaHHCotUPILSfpaEHBO}U^GGXcJbIxAoqeOiKicHBjXA_y}OeMmcEBRXhw_yY[GLdvB?H_Gm}VYJ~dCBBha?g]SQKNcBa_X@?gMOKIAdZa]hVGfeToHwchAXhIGeaRMHRcfAUXIwc}QoHOcbapXW_cUQKJBc^bAx`gcEWWH?dDAJxPWauSWGmcOanXVwaMPCI}doaFh[WaAVCG^cDaph@GkaOSJFcLaWHBgeIOwH`cGauxA?luO]J[cAAiHTO_MTQGDi|_CGAS@EkA?T_IOCypg?y?^?LjKbGXcSqAXRKjeTRKhecrMDBAb`POlwVCJY@X?m_UoJwECBE@d?s_XoVwKCEEAr@Z_lOUwJKDiBZ@k_toXWKsE]BT@g_sq@h@C_]U|J_dnqtXY{lYUXJMdeqohWKkAT~I|d^QlhUkjQTfIpdXQixTciuTJIfdRQcxQchUS`IQdGqQXHScaQVHKceqRhICc}QbHRchQNxGKcAPhGrcYqJXD{ayPPGhcRqFhCC`}ORGJcDQEHBS`eOlGVcIqChAc`MO\GLcEQ?x?k_QOJGCc@uHbA`_mokWLkIeBJ?PaMoGWdk@eHI~H_insWGj|eAYzX\ymyV_jmDvyyX_mmgWKjhEBY{`[AmAVej`DxYyH[AmCVNj_dsJ@HZ}lyWIkCDnivPaIlwW`j\eGI~`ZqlsV}j\d~Yv@]QlmVej[dxYzpZQlkV_jndlY|hZEn]UrjvDkitp`El]WRkHDkIwXYUmIUfjaDhisHYyl_U^jODjyr`ZIleU]jWdfYthXylUU\jUDfJA@Xio]UZkFDeYqp`MkmWQjKECYqh`Ao[USkFdcyz@XAmsUQjkdcYpp\YmmUNjEdtYpP[qkWVMjDdrYx@WemKUGjbd`yqhYIlEUSjQDcyQHVIjgQRhHD[yl`WQj[UEiud`YlHXYjUUWitDdy~xTui}W@inE?Ij`aMpGTZkQdUii`ZuikU~iidnjBhTEieW^kNDSi}PS}n_TOjwdRihX\YiYVTjjdRIh@`iiSW[iceEyupSIiGUsi`dlYg@YYiAUdi^dhyfpWqhyUIjDdNIoHRekESzj@DMif@[mhkVIiZdqYeX[ehiVJiYDqit@RAhaUiiXDiY{XQehMVaiSDwYcp`aoqSciQeDycH^QhEVtiPD{zBPPUowSVkLdDizXOqmySMjmDBYnxOMk?SDiAD^i_@]igCVki?dyy^hXif}UZh~DeY^HVujuRwhzd^I]@`qosRnkLczi\@aAfSWahseGY[xVmfKT|hqd^JBHMQfCWWhpeDy[HYef?UihndiIZ`[Ye{VGhmdpy{xLeeuVghlDyY~`Kin{RKj}cqyWx_IoGRHk@cqIsPJuduUch]Dgyn@JadsTxh[d]jBHJAdaWVhVeEITp]}nYQljvCjIoXImkCQij?ciYR``}csW]hLeFYQ`^YnoQUhId|yPxV]jiQOhFD\i{xGmcYVhjsCbIz@F}msQ@jkc_Im`FybwTrg}d[iMp]EboVbgzdwiNH\IbuVSg|DsywXFMmIPtjaC\IuxFAlqPqj[C[Y~@E]bQVvgsD|iKX[}bCVPgodsImxDujkPZiycVI~HDUamVzgjD}inPDQjqPQi{CSyH``QaYWUgfEDYGp]iaMVjgcDzIxpCUmWPBjecPI}@BuncO~jwcNiFPaMpIOzkQCNJ?hBQ`kWFgYe@iE@Wa`]UHgVD`yDXaA`YWagUEGYChXA`MUQgRDcYBP^M_qVsgLd|Ynx@M_iU?gID^iph@Ak]OQjFCCY@p`}oyONgEeFi@`WU_UUEgDD`J?h?M_AWFkBC?h}x_E^kW?fyd~x}PX}^eU`jOB|Itg}}lUNpjUB{IkhUYjETgiqDXydPSUhWTFiTdPi]XQufcSnhwdJi^`LUfuRRhiC}iY@NQecRuhgc|YW`PIeKSShadCyRhO}gaQ^hNDCISXH]cqQdhKChIP@MmcSRlhCczIOPJIcGQsh@ckyS@EmbSQaguCgYLhEQb]PdgvCXi`HDygUP^iDCWIJHKue]PYgkCriI@KEaaRAgfcoyG@PaaCSYg_dEYVpBI`aR?h^cKyOhAa`SQFhBCIYBxLY`ARWgOCtyExAI`qOcg[CGylx@qjaO\iwCFi_p@YgOOWiBcDy?xCe_QPJgCCQibp?Qh?OEiNc@Y?@Pm^{S\iMB~yk?~mjCN|iob~IT?~idMNwhRB}X|HT]^UTXftDUH|`JU^[Qufuclw?c?Y?JTqiyT[ymlV]jlTwi|T]YntV}k@UCjBT`Yo|WekPUKjDtaiqDXIkbURjItdIrDXYknD~b?p_GqkXQKlEkbVPjWHkC}A\@O_hOSWFCBe@t?}__ONwaCPEGdCWaJpDgckQ]HLDCaapOw]cNMFdB``pOwG[[MUFHBh`toyg\KMmFTSliVtJic|QehPSViJTDY_DOIgBRphxs{i[TMQfFRIheSqyVTJadrQbhQshIJDDiarPKgfSRYELBM`dONgEsBi@T?q_VNqfyR{x|[}i^RNlfvRzKEQA|?x_ZOWwKCBm?h@B_JOPwASCU?d?Z_IOEWAs@u@T?@_VO@WDc?L~d?v^wOMv|sBd~X@N_hNyV|SDD}l?^^lOGvzCAD|p?j^]OJvvSAuAw}t_lNlwJBzL~s}r^~Nlv~bzT|L?X^TOEvtC@u@{}\__NfwFbxl{k}n^KNkVqbyt{`?L_GNcvps?}@_}H^EOLWERwl{[||^HN_VqBv|zk~b^rN]v{bvdzT?p_XNZvlcBTzO}B]qN`vkrwT~_|X^vNVV}Rtlyd@J]iOQVisCtyW}`^QNSVsRs|xt?F]^OAvfc?dxh@B][OPvesCUAs{p_kNKwJbq|x@@V]NOTwIrptzk{D]CN]vnBo\vc|X\zNVV]btlvL@^\tOWv\CEDvD@N\qOSWIRmE@Kz^\mOIVZSATu[~t\hN}VYB~\uO}~\eNoVXR{MAgy~_iMoWIbjt~Oyv^uMmv|Rjdt`?^\YOGvUSADs{~b^rMgv{biDsc|n]tMdvlbhT~wyJ\CN~v~Rg\{?x~]~M^Vnbflr[~T^gM[vMB|L}wxh^oMZVzrelrK}Z[qNfVKRx|qk~L^fMUvJB{m??xP_AMTW?RdM?_xN[dOBvHc?t}ww~[`NwVzrcDpp@H[]ORVFSClpc}B[ZN`vEbwTpX@^[WOWvDsED{Ww`[QNaVCRwl|ov|[?NnVvR^|nS|fZvNYU|buT|Kvd^TLyVtB]\|{v^^`LwvwB]EAov\ZkOVUzSDl}GvRZjNqUyb{\yWvL]gLrvhr\DmK~tZcN|uxR~dls}`Z^NhVsRZtlP?FZUOAutS?dkk|^]pLevkBXdj{}lZ?NkUoRy|j_~HYvNpulb{Tz_tNYhN\UiBvL}_tH^iLRVyRSliC~J^fLPugb{th`?d_SLLWCrRM@wsX__LFWFrPlf{}VX|NeU^bxTd?~ZXQNuUSR|\ycqT]jKeVibH\bw|^]pK_VkBF|ao|pWmN\UJRvLyKyX]dMfVRRsdsWyd\GMiVPri\v{y@\AN?v_BgLpKyj\UMIvDBi|nkzB\bL}u~BkTl[zpZXMzuuBmtw_uPZHNDUqbpLxCuD]RLaVcbW\oOtxY}MBV@RVlo{t\[LLVvBbTlig{hYkNJUirqli?uxY^LlufbZThSwNYVMCudb`Dy?s^]aLGvgRQDgctrYJL\uabVTmGsDZ_L?UwROLf[uJXxLbu]BWtfCxtXrM]U[bf\ugr\\kKwVYrL|jKrVYtKuulBLdwSrP]FKtV`bLLeWsvY\KquXrRdeGsFXcLAuWrOddozxX]M~UVRnllGqtXZLhusRJLoCql[BKkV?bI|dKrtX{KiuTBN\wkqZ]LKfvbBHtqGqN[cKcvGrHDn_qHXEL|UPR^LcCsLYGK`u`rGTbsrBW{KnuMrKDb_wTWyMEVArFLqwpj[oKZvJrEthGpdYSKYUcrE\a{t`WpLXUKBULacu\WjLgUIbX|aWrjWgKzUHrMc@A?d?P_FOBw@mLdKLeDPjx`sZELPKJbURBwtSouKTKDbFRAWpco]WHCfeBPIWccoeV|Jxe@Q}x^coETtJNdhQlxYCjeShJvdJQ{xQSnUR|IJc}Q`xNSgeVLG~dtQOX\CcMUPGtcZQqxESkuPXJ`cWQxXDsmMODBh`uQ@X?sMmQhF~chQ?XIC^uUtFpbyQvxZc^MPHF\cPPuXCC\mMPFDbdPoWwS[]LtIpb^QlWvcjMK|I\bOQewrcheO`EVcHPeX@sXmRDEPcrPdXKcXMJlFzbzP\WmS^eSDDnd?PZWmCgUJLIbasQgWlSh}J@GZaqQFwkS`uItF^anPwwjc]EIhGHcEPUX@ST]MXDNbgPSwxsTETxDHd_PRXVsSmTTDBabQjWgci}NTC|bvPOW|cR}H`EtbZPLWeSZeHTHtaVQ]Wdcf]UDCbaNQpWcCk]LDCRbRPDwscPUGXILdGPCXPsO}THC@aAQiW_Si]PpBzc]O~xFSNuFhFR`{Ptw]s\UPLBbcTOxxDCMUExD~`oP_wZsWEElDx`lP^WZCVmQHBPccOtXGsLME\HZ`dQUXIsKuELJXdiOqWWcl]R\A~``Q[WWCfMRPAxcuOmxLSJuF\Ar`wOlw]SJUDXH\`WQWWTsd}GLAf`TPAw`CIeGtAdaMOgWbCIMKPA\`NP`WosHmChJl`KQ{WQsm}CDGT`BQEWOc`]Hl@|`?PMwNsReNH@vbsO]w{sFeB`AN_yOcwMSHEBTAH_vObWLcGmBLHJcfOXWLCcs?a?R?FsLIMLBAb^OqgusHILlAabbOegvsNIG\CYaBO}garJIDkqa`^KigTrwIJK|yanN[girsIJ\Dy]jP[fhrpI@k{a_bNEgFsGhwK{I`BO]f^rjHs{zA\VMmfSryHqkxa^ZMUftr|Hp{~a[fNufGraHvKwq\zMIf\r_hr[wY[~MCfMs@hnkwA_VOGe~rzhm{~IZvNoe{r[IE{vQ`vLqg[sWhlLEQZNP_eqrqhj{{yZFNKeorUIH{tqafLYggrThukzYYfLSfXrYhhkuyYbLkefsQHg|CqYVPIecrOIA[sQ_nLAgIrgHf[yIXzK}fQrLI?L?QXrKug@rJiK{rIbVKogsrwhc[}YXNNceQrFIBL@qXBOYeNrDhy{|iWvNWeKrCh~{pQ^vN{eG`NOgGR}hPQ~h]TIyctJmdhSfh[TIyUtQeghSHiETEYatOmflP~h|S_y^DGEg`RniHSyy`tMufLS@h}SyY[dN}gtRZhkTFYZdP}eXS`iQSsYcTK}dPR^hpSjY[DImdDQnhRSkySdJEgDQ\hOT@yRtOUedQVhjSeyYdHecTRphFS|YPdNMchQFhCScYQTGUbpR@g}SpYNTKMbdRFgzSqYXTFUjxUJi~T`ynTWehtTbi[TXykdRukHT`j?TVyoTTui`ThiiTZYiTUmilTJifTUyjDSuj\TDiwTQYgtVMh|Sti`TLygDRMhXTtiWT]YdtV]lTULjGTjytdW}l`UdjSTlYstZMkpU^jMTgyrTYEkdUvjJTmyqdZelw?Cjfts_?T[El{?Ejg_?iwT[c?LVEje_@Iwd[n