CAT(3000,1)

Sparse6:

:~?mw_?O?G?C@O?U?R_F?CW@g@E?W?R_G?Cg@w@I@E?_?NOFOB{AC@D?z?UOIgDsAe@V?l_WoLGD{BM@d?o_e_OGF[By@z?{_^oOgGKCMAH@E_aoMGEkB]@l?y_[oR_JkC{Ax@Y?hOROJKD?Av@P?nOPoIkDKAR@G?iOQoIsD_AT@K?joVwKKEQBD@__poXgK{EaBR@i_qo^OMGEqBU@u_u_[gLoFMB_@s_v_\WNSF]Bx@x_{O]wOKFyBz@~`@O_GO_GeCIAL`B?agOWGmCMAK`F?aGP{HQC`AP`HOcwRSHUCnAW`KodgMCEmBX@l_vOZwSkIYDBAa`PohGSSIEDLAb`QohGRkHmD@A[`NOfwWgAY@P?f`f?nGVkJyEBB?`^omwVKJeDtAz`\OpWWsKUELBF`bonOW[JwEFB?@aOnoWcKCEDA{@`OiGTKIiDXAj`RokGUSIuD\Ap`VolwU[JYDhAw`Yp@?C[AU@HBA``opG_{O]GPCGaCpAW^sNyF~C?a?O~w_[OIGBCAa?p?w^?OQFqCC`|@@W^gOYFwCEaA_}w][NUFhBq`zo|g\SMmFNBe`soyG\sM}FXBp`wOzWYgNaEkBx`j_}g^gLQEqBz`}?uG[[MEFJBc`oOwgZcLuEtB^`lovgYOKuEUBN`c?swY?KeEWBM`g_qgkw@i?v?Y_MOFGB[@U?h?V_JOEGBKAE@D?]_OOFwBkBi@n?t_ZOMGFKFaBn@z_|O]WNcFaBt@v_{o^GN[XCKVEKbEpbwqCWyK`EKbDpbwpkWyJzDza~P]gnKVqJpDrayP\Wm{VYJiEJbE@]GpgVMJmEObF`\GmoWyJBDeapPWwkkUQKIDZbB@VWowTyI}EGam@agk?WeJYDxav@]glwVmJ_D}ax@^WmGVqJVDfasPYWlcUiJMD~b@`YWo?UaJUECau@_glOWEIqDZai`VWjwTaIkD]ao@TwjOTqJADQaq@Sgi_UUIgDeap@SwkWTMIWDlae`ZghwVAJ]DPag@[ghoVEHPCiaTpJGdKQuH\CraVpKGeKRIISDLae@PgiGS]IUDNac`SGhoSaIBDCa_POggkSMHhCtaZPMGfKR]KGCaaP`^woGQYK?Ccb@@HwoWQUG{DUaj`GWigPqGyDWaN`Ugc?TeGpCXaLPEwa{PYG]EHaD@`W`WW]GWEEaE`ag`oWaHsCPaH@MwfwPAGgC{a^@DWaWRuP}?H_DOAg@K?a?PD`arPWgk[UQJJA{`_onWVsKAD~Az`[omgESBA@^?p_YOKwD{BA@b?q_XoLGP[GeC\AK`EoagTsJED`An`UokgUcJUDlAv`XomGdCQmHRCiaUpJGgCSIIFDCaapOXRohYShIVdIqcxQSfwSTH~DBQ^pO{fwSRH}DDqa@N{hKSbIVDFQd@P{gsSdITDGQd`Pcf_SNIIC{qa@NSgcRvIJC}Q^POsfGSLHrDBqaPMcfSSVIGCzqa`MsfGS\HsDGQ[pQKfSSXHvDEq\`P{eqR\Hlcvq[XMCe?RXHbCwQWPLkeORbHmCqqW`L{dgRLHgClqV@LKe[QzH^CtqV`LSdGSHHRDAqSpO[dGSDHPD?QSPOKdAQ^HJcfQRXHcckQtH[CgQRPJ[dsQ\H^CeQV`H{bePxGyc^QMxFkbSSDI?CZq_pFCbOSHGrD?qL`OkbwSdIRC]QMpQchSPrIVC\QNPQsbCRpGpC|qK@NKb?RtH|CXQK`NcagQJHFCUqQ@DscgP^HECTqQPDca_PBGfCQQH`C{a_PFGdCSqIPCSb{PBHACPqO@CSaSQBGeCaQOpCcX]KtEZbKPeWrcbWKhERC[QKoqSbOKbGvBIpd`EkgoOjILCJQb`A{`_SbGYDGQbpBK`QOdGNcGQCXA[_SQpGFCkqA@I{_OQjGECjQT@?[ccNnF{CaqQ_~C^cQNFzCcQP_~SekNhHfBxqY_}s^CRLHgByqYO}S]mN^FobuPzW|s]SQnHSBsQTO|S]WQlFhCkpxpJC\KSJFWDAQ_?ykgCMlIABjq_oyc\IMbFLbfPsGx{`wMNG^BcQG?xKa?MTG]BeQFox[Z]LjEwb\PmWusY{P~EsCaQO?u[Z?QDEqC_pkPG[akLRGkBTQJ_t[YoPZEmCTPjPD{`kLHGZBQqFOtCYKOxG\BRQF?s{e?K|HbBNpgPKkeCL@EaCqQW_rk_cN@GIBoqB?{S\{OVFcCFPwp@k\cMBFABlPooz[[OM|FDBmpp_zcZkNzE{B~PnO~{ZwO@F?C@Pnp?KxCP@G]cNqHxDKaaPVGicUQJxDkayP`GqcWoFGBS@mF~C?`~OHgCsAa@N?g_RoMwFsBq@~@?_]oOWG[CIAH@E_aoMgEkBa@r?u_ZoewRkHqC~A_`NOrgX{LIEfBP`gO{g][NUFhBu`zovGZSLmEzB]`npegr[XeKxEWbJqAX@S_mOXGMcEp|w~C^eNvF{b|PwGz{]ENDFcbppoWwc[IMJFEb`pkwucZILbEobVpfWr{YIL@E]bOs@`}{~a^rNsfzR|X|O~A^UNpfsBzx|G}y^eNlfuB{hzg~a^mN[fnB|Xzw~Y^ANxfyBwHzS|Y]nNWfkruxyo{Q]MNVfkBpXzG{Y]QNZfcBuhv?}]^CMyf[bxhv_}M\yNdfqBmxuP?A\eO@fYC?i?Wz]\kODfYc@Hso~i\MNzfSB~X~wye\SN{f~Bixrgzy\}M^fNBoHro{E[}NAfMboxrW{M\{MVf^beXw?xa[wN@f`Behr_zu[mMwfKBmXrGzi\wMYfLbmxq_z]\gMSfYbdhuoxY\cMTfXbdXpW}y[_NqfEBzx}?wy^eMLfwbbxnX?A_ALxe|C?i?Wv]ZkODgAB]Hm_|E]eLtexBsHyOvA]iLrewbtI??ty_AL^g@BWI?WuE_ILbgABWhqGtm[eL\ekbchqGta[cL[elBcxiOyMYeMbeibhHioyQYmMdeiBhX{Osq^ELLefBxHhw}YYaNfegBxXsosY\MLFfTbQxtOse\OLIfSbQHt_rQ\YKtfVBLhtwr]XoMpe[bkHdw~iXcNzeXb~H~wrAXaN|f~BJhd?yqXQMmeTBkHuGqm\]KkeUbjXc_waXIMIfCbHxcowiXCMGePbaXao|qWmN\fnBEXb?|}^?KZeLBwXa?|AWeNPfhBChyWpE]iKTfiBDHxOlQUiNJdkBrHYo{uUqNNdjbrh|?ky^UJQfuasX|_lM^SJOfsarxx?kI]QJCdbBpXWW{QUINEfbapxVwwmUAMNfEAnHq?kATyMMfEanhVSjmTpIxdZQlxsGjETgMafOAkHUgyI\AIqfOAkxTSiqT^IldVQixSW{yS{NIdOBqxSO{qS}NNdObrXRChiSvIXdMqfHb_iQWyIdeNAhhTGp}TMK`eOAiHlWoiZYKJeEBZx`wuqW[LieEbZhgWoeWIL@eBbOhg_oQYIKEeCBOH^?riXuJze]a~H^Gr}XwJ|d|BNh\_nyVYJ~dvB?H_WnAWAJpe@AzxoWmiVKMAdrb`HogmaVUMFfBAyX[?nIVmJcdpA|X]omMVIJrdoa|Ho?lqZwJ\e}auxnolyZ}J^dlB_XX_uaZGJGdebXxkgkeUSLhddbXiaG?U?N?EfFrbXpswm[`MK_COAg@K?m?X?N_EoCG@s?m?\?K_FoBWACS}IXDMaepSWiCTIIhDRajPUGjKTiInDTalpVGjsTuI~D__UOIWDSAm@Z?m_goRgHkDIA^@O_iOTgI{DUAp@R_moVGJKDyAt@Z_coQwHcC]AT@G_boRGHSCaAV@H_xO\gMKFMBj@s`@o`GOkGaCNAE`IodgQ{HaCtAX`SohwTCIiDXAjaVPJweKRAHfCqaPPGwcsQQHNCdaJPDwbCPmGtCXaEpBw`SOmG\CKeerRHhss}YbLOeGRChaKpQWjKRdtqyH[sm]VRJidlQuxZslqU~J\d`QpHW[kUULJFdNqgXRsiITFI_dKQeXR[huStI[dMQeXRShuSvIWjoDnYvtZ}m@V@j]TlaxDZ[mRUwJdTrAvL[slvUyJdtiquDYolbUlJXTkqtTY{ljUmJYTdiqlXIknUSjHtrQltV?mPTnJct[QxTVKmVVKIxTYQnLVOjPTiIytYqmtUojnTlI{TVYkDTqi|T`intVQr|YGjBT[JNTWAs\Twl@T^JOt\AjTV[irTtIjt\ajDTWjrTwIlthAiDTOlRUdIgthaiTTSlPTRJRtQasdSslNTJJQtRatLSolLTNJSTPAntScjvTGI}T]aglV{iLT|IbtNavtSGl~S~J]TOAvlSCm@V@I`tNatTYwiFUjI^tjQgDYoiBUnI`TrAf\[shxSyJctMAxDRsmVSxJdTKqltRGj^SsIwTLQmLRWjfSvIxTIQiTTKh\TSITTTQd\QoibSlIgTeqc\Q_kpUYIQteQctQOkzSfJMTFQnTQ?jzS^I|tFandQCj|T~IPTFQbTPwgtSaILtGAb\Pog~S[IOtEQulPOl`SUJWtDquTP_lhSTJXtCQklPCjLSQIrtCqk\PGjHSRIpSTqw\DcmHPUJ`SUAwl[[ahVEGitAArDOckrSIJLTAqr\OskzSKJMS~AitNsirR}IlTTq_LO?ivR~IkS}y]tN]fpRxh|SxqwtM_mNRhJasxawTMSmHVBHqTLQXLRGeLSrHdtLAXTK[hnRGIZSpAo\W?e@RDJAT_QWLWSeDUAH`smqotWkd~Q{JBsnQpDWgd|QyJCsjalDUcd^TkHXtYaUDJCjZTjHXTRASTIKiZQeIfshQhTSkdNQcIfSfa`tH{g\Q[IFsgQaDHsg^Q_IGTPAQtSScnQWIbSeQhLHkiNTGHLTDAQdHKgnQOIIscaatHSgrQPIKS`Qr|YKcPQCJNTgQPLYGcLU_HBtbAMTWsbfUOGzTbaMdF[k^UPGysXaotE[kNPgJCSYQpLWkbVUIGtTWaKDECjFPcIrSWakdEKjNPdIqtpAI\[KabVDGgTpqITCwmLVAGfsOac\CKhHPCIQsPQctQ[aNSgGbSNaeLR?`~O|IVsNAd|CChbP?IWTdQE|BWkdOwJHsMQqdX[`vUUG\TNQELB?hxSxGXTMaE\BShpSzGYTlaCdZ[`LUwGRtmQDDZg`JUzGSsGaqLA?kXO`JEtbaBtAKk^O^JGSEAdtQk_rSkGLTIaB\Qc_zSlGMT_A@dWC_ZUAGGT_q@tWS_bUCGFsya_TMkgFRnIAszA_dOWfZSFHvS{AZtL{fjRsHoS{Q[LNGfFRrHpSsaUdLKdjRSHZStQU|JcenRUH[SiAXdIceZQiHfSrqT\LCdZROHUS]ANtFcb~PyH?S]qOLGKbxQAG}sUaZDDkerRYGmSvAJlLsa~RZGnSZAHLEsaTPJGwSRQMLCob\PnGcSaaATGk_fOSHESbQAlG{_nQMGJSIa?tAk_NOkGCSAqD|?c`\OIGUo@G?c?QxwSMiGTBxC[aEPDGccRQHXEcb]PpGrcYqLhFKbmPxG}c\QNWBkAE?|?^_POGG^[NaFtB{`}o}W_SOEGFBi`sOxg[{MmFRBk`uozg\{NEF`BI`eoqGXcKmERBI`doqWXcKuEPERbIPdWqKXIKlFpbxP{w}k^QNlFdbrPxw|C]iNRRQhhstIYlL]elREhcsqiX\K]ePQyh\snIVtJ}dzOWgMsEYBT@m_xOEgCSAY@\?i_N]{NZFgjv@yM|m]cnQfmjvXy]|K]xnWfcju@xA|g]TnGfkjqXzU|e]SnPF]JnHy]zs]em|fhJshvuzw]bm|fazpPva{]\{m}fbJnPwuzq]MnCFTzjHw]{G\YmlfaZohtqyo]EmpfUZj`uEyo\_mjfWjk`tmys\dmnFQjgptuyM\\mcFVzhHt}yI\]mefQZhpsiyI\JmbfRJi@say]\Em_FjjgPyyx}]nnVFOZg`y}yE]nm[fXjfHuexu\im\FXzfPuaxu\jkqFmZKxz]rO]ukrFmJvXeerI]ynAFHJohqU{K[enBfHzpHqe{O[gmfFEJbHsmy][\mLFRJi@pmyY[[myE~jmPnizeZzl}F\Zmxn}vy\ul{FTJ]xtMvi\Tmge|J^HtYvk\QlxF_Z\pvyv]\~lxf_j]HwMv_]?lpFLj[XrYxoZcmZexZf@m]xmZeldFXjXXu]uW\glefYZXxumu[\ilaFZJWhuuz[ZElcf[Zm@k]z]ZGmqEnZV@uAtq\`mpemzkhjqts\alSfcJqPiY{eYflTFdJTXxUtO]PlOFiJSHyetC]jnTEgzShyutG]knMEejrhhmsy]_lNFfjRxyE{}Y[mge_jiPgMyeYCmiE`ZipgYsM\Tk}FdjNhx]r{]WnLe^zOHxe{sY?kzFNJf`f]xyXwm]e]Zfpfmx{Xym^e[JMHsArc\@m`E[zg`fUyEXsnWeUJu@dequ]qnYeUjJhzMqw]smvESjIXuuz_XSmweTZlxd]qk\knWERJuHcu|cXMnXeRzIHzUq_]skbf^jGpv}qU]?kcF_zHHwIqS]@mxEJjDxvMp_\skXF\ZEXv]pa\ukBFfZ@@x}oG][kAffj?xyEoQ]_nSE?J?Xyu|QV}nTD~ztX_E|WWAjvfmjup]qnY]vjvFmJvX^En_]xnSDwZtH]AnG]kjpFii{hyunE]jjnFdiz`x]mu]WjlFeZrX\u{sV^nDDtZpX\Ymm]KjkFbYy`wy{]VXmBFCj_xpMwO[SmCfDZ`Xp]wk[IlmFIjdhluu}[klnFIz[Hq}v?[mljFKJYxrEuo[qlkfKzZPrUuu[slsEkjUXmevSYsltelZ\hj]vWYum?EjJ_HiuwCYmm@ejz_hjEwGYolIEbjQhg}skYOlJecZQXhescYWk\EWJFXdypwX^k]eWZFxeMp{XakYFFjEhp}pk[_mOeLzcPbaxEWxkSeOJDPcQpUX@kUeOzGhaapWXAktEGjLXaMpGXkkQeZZCxe}pKXmlCEFJPH`usSW]lDeFzPhaEsWW_l^ECJVx`Eu?WQl_eCzWX`UuCWSmEEAj`h_mw[WKkFFCJ@xpEw]WLj|D{i~`^YnqVrj}d|I~X^UnoVvjrEDi{x`]ouVijsEEJBH]mosVhjfEsIyXlImaZPjhEszYh[}ugVO_BO@W?{?U?N?Em\VMzfK@E?f?Q_SoIgD[Aq@\?la]PNWfsRiHvC~ekrUHjStmYzL[e]rNxfSrmX|K{ePRHhc[qQXNKdk{u\jM|fartXzkAu@j?|_aoRWCjxT{y}d^UnlVvjoTwi{\]UnBVcjftsIy\\Im\VPjfTsYy\\Am^VQjkTuYy|\QmjVUjjttYyt\QmrVWjlTuyzd\um|V^jnTvyzl\imxVZqihW[iqUNImdaqoHUKjIUVIgdcqcHS[hITBIedIqdhR{hiSzIcdKq]HRkfiS~H{dOq^hS[iQSFIed?qXhQ[hYRBHadIqXHRKhARVHgdLqTHOkdySZHUdBqbhJKdiSVH[dCqEHKKeIOvHccMqYHB{aIRVG_crqDHGk`QQBGUcbqChF{`YQFG{cHqCHJ{`AQzGMclqBHJK_qQnGMciq]H?K_iSBH}cBq]h?[gIORH{cAn{HUj~ITm~sd[qmf}z~iT~I{^{qog|{kQNfJIbwpyHXK]iUNJ?buqlGzk\yTnF_d[qmg{[jqNNI}bqpXHLkUaRbDecvpYhM[UyRnDkcyqLgekRyPbGwaZpMHEkbiHvC{cXpIHEKbYHfCicYqMgdkQyPrCocXp@hHKOaQVCCcfqRG`[dIG^HOaEqZG^KeyFvHo`}p?hMkNyRnHqa?qNG[KbyFFH?`qqOg[{cYFVHC`sqQGYkLaQVBUceqRgZ[dIE~HO`mqigXKiaEVIo`hqjGXkKyTfIm`gqHGUKaYDfGg`YqIgU{ayDvGk`[o[hDkEaPJ@ocToYhC{EqP^@mcSqAgG[_I@rG?_\oNH?{CAOR?}cAq`Fxkgx}e~MdBnsHPZ|YSQ~SdEn]HBJviOu|{cMn^hB{aH{FG_^?pgGqkYIKnEcbKphgr[XyLVE[bSp]Gi[VAIZDqafp]gikVQInDuagp|GaKPaNvFuaHpEg~K^yGjF{aJozGhKNYIBDI`yozgg[SYFbDC`xpkgW[YqDzEm`^opguKKALnEs`aoeGvKHiLvA[b]ofgv{IIMFA_b_oaGokGAJzEE`Bo_gn{GiKBACb@pFGJkPyA~C__opGgK[QYBNCc_qoGGIKDI@F@S_QoHgI{AiAv?g_koDgTK@aDN?S`QoigB[Iy?~Ak_MoAgQ[HQ?^?O`JoAGPk@IC^?K`GnxGDj}Y@]~g_WnygEZ}y@m~k_Ypqf{Z|aMJFG^nnugw{[x~BFK^mpaFwKXH}VEI^`pbFwkWx}REO^bpsFuk\H|m}wbinmgyzzyMu}{bkpWfuZyaIrDY^TpVFtkTx|bD_^VoPFrkCX|A}a_cnhgHZxyA]}c_encGMjxIBm}S_{ndgN[Fx{u}W_}n~Foz~x{R??^Do?fojwq?M}M_A`iOtWYsL]ErBWbPphGskY]LPEesai\lGqf^QMhwscI]\MacfQGhtsOIZlCYfFPAhnsQI[|CifJR_gasKi\lMy`^OkhxsIi]LBAfVRggSsxHklMYYzLahnrViZlMIZBR_erstIRlLYcvROhKsfiZ\HQerRQhJsHII|@qaZO]gfsHiIlAIabO_ghsCITl@Id^OShWsDiU\@idnQsgKs@IWlKy_^OEhbsAIXLKi_ZRKgDsmHxLJy]^R?fgsmhx\KI]fQ{ferpiFLBy]BNAg]sLHv{{Q`nOyf]rkH{KzI^FMsfqrlh|Kzi^VMwfrr~HqK~a[ZNyfFrdi?[~y[jMQg?raiL{wabZM?gqr_iK{wYbVMCgsr\HykvY]nNWe{ruhn[|yZ~N[e}rYH|kui^^LkfwrZh}[vI^nLofyrPHiKsYYfLSecrThh[tiY^LWeerJIJKqyavP[eWsVhe\EIXnP_eYrDINkpYb~KWh?rEiO[pycNK[hArAIMLFIWVPseEs]HaKpIbvPueFq~HrKny[vK?fMrfh_{oQ\FKAfOq{HfKnIXvJse]rNh]{sIVvL?d{rGH[kmYXFJgeQqyhc{qiV^Kgdusih[LIAUrQadlshHZlIYVFQgdnrhHXklA\ZJSfSqtht[yyU^JQfRaGPCWaSPMGjCSuDIcl`YhNWWiSuEid\`qh^SkkNt]jA|WIo~T{kKuDInLWAozT}kLuAI{l_inNVgkEtyj@|]yofVkkGu?izL_QmzV}jptui~l_Ym~W?jotZIolUykNTojCt[ip\VYk^TsjEtiIkLYijFTcjUtXit|UilfTgjWtTI}LTYnfTWjytUi}|TynvT[j{tlIhlSylzTGjZtQivLTAlvU}ihtoIeL[IhfVCiYtpie|RamVSyjctEIxlPim^S[jgtsib|QImnVSiOtBIflOyh~SOi_tCig\PYiNSSiatcI_LXIgFUSiAtdi_|XigVUWiCs~islXqfjRujNs}IsLYYfzRyjPcMqFHB]sTY|l@UoZVdgEsHZ@lBUnzPDj}t`WxlXUMzUdbutlW~k`UmzGDjerhYLkzUbzNDh]rtYPlHU^zNdhUtPXhkxUhZMDiutLXjkuUjzLtimspXDlLUPzSDc}sxXHkdUgzRtcupXX\kVUVzEDeEpdXbkZUXzEdeUpTXTkOUSZCTdMqlWdklUHzJDacwa[TMHuwJb\mIwvZYmJuxJa|lqwrZ]mKvBjYLoiu^[QlhvCJZLpQuj[Kljuxj^|mawB[Elvuyj_\nAwRZkmAu{jW\kivvZClyupj]|kqvzZGl{vIJgLqiyF[kmavJjg|rIyV\GmWvFJelpyxn[_m[vGjf\qYx~[cm]_?jhdtc?H\Mml_@jiDtuy{?AmhvW_?dt]z??Emi