CAT(3002,1)

Sparse6:

:~?my_?O?G?CBS@P?g_SOPoF_B}@u@?_]_NgGWBqAA?|_`?MwGWB}AC@?___NgF[Bu@x@?_^oNgGKCMAD@^?koUwJSDmAr@Y_ooWGJ{EMBH@a_n?WWJgD}Aw@__p?VGK_DyBE@\_moVgJcFgBd@r_wo[WM[FIBJ@f_rOYGLSEeBV@k_uoZgMCE}C@AA`?o_wOkGQCKA?`C?_gOwGECIAJ`@_agO_GeBsAE_}?`wNWGaB}AJ_~?aWNgGiBu@v_{_^GN?FiBo@~_~?\wNGFuBl@t_yOmOISDAAb@T_hoTGICDIAb@R_ioTGIsD]Ap@U_kOTwHSCqAV@N_fORWHCCeAN@C_bOPWZgLUEhBU`Z?lwUwJaDkAw`\?igVWIqDUAx`]_jWTwJyDwAm`^_igW?ImEAAk``?jWTwKQEEAm`a_hwWwIeEKAg`c_iWSwKaDOBI`\?rGVWKuEUAx`]_rwY?JyDwBM`h?oWYWKAEaA~`g_ogYWKQEcBB`a_rWWoKmEMBK`c?rgY?KiEQBN`X?cgU?HQDaAR`X_dWU_H]DiAU`NOgGR{IEDFAa`X?eGROJECqAo`L_kwRgJUCwAs`G?tGQGLYC]BT`Q_bGPoIYDGALaV?LWEsB]@n?t_ZOMWFCBi@t?x_[OJwEKBA@R?i_ToJGDkAy@d?s_XoigTcImDZAn`VOmGU{JYAt@Z_koXWK{EYBP@i_sohGSsIUCXAM`EobwQKHAJGDYAlpU?jkTcIxDTAnPW?i{T{IlDZAhPT?jkToIfDTAgpToh{TWI`DNAhPT?iCTCIfDLA`pR?gcSwIJC~AcPN_g{SWHzDHA_PQ_gKSkIDDXA[pLojST_HpDHAYpL?h[SgHlCtAUPL_dkROHVCvAUpIofCQoHrCgAVPI_eCQcH^CiAWpKodKQ_HdCmAWpKoeCQ{HdBn`wo{G][NQFdBkAQoz_c{MsHLBbA]pNo[kRwFHBeA_Oy?gSM[IBBhA]Oyof[MgHtBtAPO|occNWHFC`@{PG?^SP{FrCaA@p?_ccOCHFC`ABPG?_cP{GJB}AQp??c{N{HLCz@|o~OfcNoHtB_A`owOgcMGIJD^@npW?ZsLsI|DK@lOv?hkLkI\BVAcOu?gsLcINCSAEpDO`{PKG\CUAGPC_bCP[GbC]ACpFO`CO[GxCIAKpB?b[OkGt?a_QOGwyWAU@N?ebp@IGdSQeAH@E_aoPGGsCUBh@u_yo\gMcFUEzB^`nOtwZKLaEvB[`lP}G~K^]NhFubyp{O|K]_NfFqBtP{_z{^CNBFrBoPv?|k\wNVF\BuPz_zk^?MxFnBnPuO{k\kNNFYBrPuO|C\kNTFYBspwoys\_NDFcBjpWo{S]KJBFcApPxOxS][MXFeBdpz_w{^?MRFnBcPpGws[UMDFBb_pm?z{ZgNBExBoPb_y[X?MjENBiPaoy[WsMjEKBiPu?pCWgMnEHBjP^?|[VsNZD}BuP\_}cV_NlDvByp[o~C^cJhDtBzps?mC\GJdFPAwprolk[sJ^FMAvPY_yCUoMdDjBgprOlK[{JNFMAsPnOukZ[LvE{BZPkOucY{LfEoBXPgOwCYGL|E~BOPh_rkY_K~EfBNPgorSYSKxEcBLpd_tcYsKhEmBIpcOt[XKLREQBTPdon{WCKrE?BKP__nKWOJvEBA|PX?okUWKNDdBBQZoFCBi@r?j_SoIgDKAi@V?k_VOJWDcAy@Z?n_WOKWD{BE@`?q_YOKwESBM@hAp`XOkGU[JUDhD`appWhQoeoSHHmDBQZPOkeoSNIHCuqa@LsfwRRHiD?Q^pL[ecSBHjD@qY`OSf_RLHgC|QXpNKfkRLH|CsQXpNcfKRHHsCpq[`KkfWRFHvCqq\PKcdsRpH^C|QV`NKe{QtH[Cwq[@J[daQrHVciQThIkdCRjHRCzqS`MsfsQ^HMC|qS@NcgCQXIBCeqQpOSfwQPI?CdQ^pHKcSSNHFDCqP`PCbWSHGwDBQLpOkfGPfHsCYq[pEcb?R^GqCwqKPMCgoPBIICPqapCS`wSZG_DFqFpPs`kSTG\DEQF@P[gsOpGYDFQbpBK`GS`GSDHQCpQK`AObGNcEQBh@k_aONGEcDQAX@[hSOFGCDHq@PQchKO@ITC@Qd@?K^sS`F~DHP~`QKhKNvISB}P}`Qkb{R@H?CoqOPKSbkPzG}C[qN@FSagOlGkCJqDPD[acP^GgCVQHpDkcGPHGeCaQHPG[AU@N?e_ROHwCkAI@H?b_POHGC[pgG~C`aOPGgccQMHLCfaQpJGdkQmEnBW`kouwZcLiNzF~b~P}g~c^mWOKTeDBDh`GpQWUKUeEbDX`_pQWmKMeKbCHb?o}WmKPeKbCxb?pIXEImeQakHc_i}WIKPeBbCx_opIWWKAeEb@H_WomWAKIeCA~x`GoAW[J{eGA~h`wnuXGJxeQa}xcWniVkKjdzbIX^?qiXKJreSA|HcwnUVYKndvBKXe?m}U{KkdoBJhdgl}UjJUdjqtHYSlMUWKkeVArhdgkuX]JHddbKXXOrAUKKhdcBIxWwqiUEK_ePApXW_qEU?Ked`BIHWGq]WsI|d^bFHbWjyTwK^d\BFXVWpyTmKZd[bFHbOjaTgK\dZBFxUgpyXCIpeOAkxUOqETPIidSqixTkiqTDIcdPqhhS{iUSxI]dMqfxSKiASlIWdJqeXR[hiVCJodpa{h[GnEVGJZdrAvX[glqVUJWdlAyh\_leU]JgdgayXY?m]MbFQbgPtgzC\]M~F`boPWwkKUIZtL{e|r]XnCv]YqMfelbiXjOya\SLUfUBUHtWt]YeMmeibjXi_y}\KLLefbhXhoyQYSMcfRBRHhWyUYMMlecbjxh?yyYGMfebBiXggya\SL@e`bjHtWsIXdKseXrLxekrYXpKye[rMxfkrq[KK}fCBOHowr}Z{Mae~bgxngyEZgMBfAb\hmgwQZaMHexbaxmOwiZ[MNewBcXlwxAZUMKeubbhl_wuZOMTetBdxlGxYZIMQerbdHkoxM[ALaeqB_ho?uM\?L_fNBWXrwt}[uL[fMbVhr_tuYaMXehBehi?xa^pNyf{r|h}{~U^WNzfvB~X|g~q^CMofXBwHuG}E]yNhfnbyxzo}i]UNVfebuXx_|a]ONPfhbqhyO{e]MNMfabsHxw{Y]gNAfjBpHyg{M]AN[f_Buhvw|m\wNef]bxx|?zy^]Mxfwbmx}?zi\kNqfyBmH}Wz]\eNbfYBxXug}QMtFXblpvGzs\uVXJjdtQyX\Cm]VHJedqqwx[SmE`YOrgTcKYD`BI`UOogUcJyD`Ay`oOggTCMYExAe`QOsgZCIIDPBU`mOCg[c@iF@?U`LOdgRsAaEL?o`fOJGXSAY@D?]`[OBg@CKI?HA}^{OsgZC?IEg~}_kOXgKCEyAx@i_wORgIcFiA`@u`COOgQCCiCX@E_}OLgOcByC@?ybSHbcqqXHLCe]RLHhctqYhLseuRXMTfJrdhqSxQ[fMNfGRcXpcwy[ZMHfDraho{wa[LMBfAr`HoKwI[@PxGys]aM\FkbhPwGxs\QMtF[bhPpH?s[AN|FGc@PoG}S[aNlFCb|PmHAsZqO|EscLQAGus_qL|EwcHPiHESZAPlGkbVQGGtSZAPTGcbVPEGzS\qG|F_aPP`G{sWqN\EGbtP]HDsbQKDD{cXPZG}SVQNtDobzPWHAsUaO|DccLPTgjsTiIdDIafPNHCsSQPTD?cPPKG~sRaOLCsc@QAGdS`AHLCkcFPBGrsPQLLCObPPAGrsOQLLC?bPPeG]sXAF|ES`|PeG\sXAFdES`tR[EIRDXasp]WrKWfjruXzC|Q]lNTfgrsxyS{y]`NNhqcvy[xMEfKR_hncwi[HMQf?RbhnCzIZ`MueyRjhmCyIZhMee{Rih_soiW\JmdzQ{hqcki[xJQfKQrhVcyyUHMud_RkhsCjITpMifQQlhScwiTXMQdSRbhPcuyZPIUdGRXhlCgiZXIAdARXhNctiRhLac{RVhLCtiR`LacuRVhhcdyRHLUcoRShiCdiYhHQeeQThgCciYPHEeaQRhFCsIPxLIeaQOhRCpyT@KedMRGh^CrYXxKAd}RMh[cqyX`JadsRIhaClYWpJ]eIQuiZDJYd|QyhTSkiTtLA^LRSfnSrH{TKq]tRSfjSsHyS{QeDRGffRqIWszaeDN?hdRnIWtFacdQ?hLS^IQtFAdLQ[gzSgILtCq^TNoghRzIHTAQcLOkhFSIIPT@a`|O[g`SPICTEA_\OOgtSXIAtDQ_DP[gDSUI?s~q`tNsgZR}IESXIKtEUbNPhgsTQAk\SgjJTHIqTVYj|Tyi\TOiftWQhdUGiZT_IdtWAfLUGhvT`I\TMAklRWjFSvIqTUaglToiNTZIbTOaiLTKiHTBIhTNqi|SCirT?IkTNaitRsihTTI]SsIYTLEefRThiSuIYtL]erRYhlt`AktWWjPUDIrt_QplWKk^UAJFT`qntW?kRT~JCT`An\WWjzUDI}TaqnDWojtUII{t\im|VUjhTqixtZqo|VCkPToJCtaaldWkjZUKIvTYQplUkk\TiJFtKIeTREhfSsiYtiytdYulTUgjStjardZ?k|UnJMtjarLZ?kvUnJLTdauLX_ldUVJXtkQq\XSlfUqJITgaslYOlNUbJRTcAr|YCkdU_JGtoqudZWmJVCJYtpawD[CmPVAJbtnQxLZ{mVU}JdTmQvTZ[lxUwJ\tsayl\[mhVRJjTrAx|[wmbVLJgO\wNKFaGZCNaFPCgaCPEPFG`cPQGHBs`}ZBL^eoRVHjstu_BOBg@R~i?C~}drQyh[SlYU|JYhrSzi\TLifDR]lHUajPtfysLYAoOWAkAEAj?X_eoKW@kBd~z?h_AnwWAkAD~j?X^unqV~j|e?I~P_EnwVuj{D~i~h^]nuVrj|D|Y~H^Qn_Vuj{D{i}H^]nYVrjvD|Y|x^Qn_VjjxDyi}H]qn[Vhjudxy|x]anKVkjqDyi{h]mnMV`jpdyY{P]anGV]jqdwI{p\}m{V`jpdwI{P\}moWGjkeAYzP_ioKVZkBdvZ?h\qp{?U_KODwB[@i?rXI?NOFWBdd?@B?^_OOhwTKIaKhEUbIpcWq[XITrIvd[QlhUkjQ\bMqfWRlHukzMa^PPggSQYHTCmftR{h|s~Y^|NyjXTmiutYYl\UilhUujYtmYvDZ]rmXyk{e]zN`faryXuk~e\ZNpfQrcXvkwe]JMXfergXmkzE[JMhe}rYXnkte[JL`eyraXgkxeYjMPeerKXlkreZJLXeUrSXbkseXJL@eIq}XbkoeXJK@eIrKX\kreVjJ`eUquX_koeUjJxdeqyXVknEUJJ`dYqeXXkiEUjJXdUqeXUkieUJI`d]qbXQkgUSZITdAoUXNkeeBJHp_upoXyk\E^JFHfmryWtk~eLzNpbYpeXJkYERJEPcipaXKkVeQjE@cmqMWmkceJJH@aupQXCkbEIjGhampMXHkbeIJCpcapIXCkQEPjGhaMp?X@kPEOzCHcIoyW~k^EFzBpcAosX@kMEOzBXcIp}WVkKeNjG@`apuWUk]eDJF``UoaXNkHeRjAPcuo[WzkGENJ@xbuvK?I_EOAw@k?}?\Zq?GoCgADn_?f?T_IU}Z^TnavpZyl{u|RODn[sBZuL@Uib[TmCtVZ_LUUwBT|mGtZZ`LVUiR]TnKtNYgLyUhb]diOvfYdLxUgR\|iKvbYaLwUfb\lh{v\ZkLOUzrR\hsvbZoLMUzRRTmwsrZkLKUyrQlmgsnYULsucb[thOvPYRLrucR\Lmks`ZiLFubB[tgsvPYMLruar[lggvHYHLpu|ROtg_vnYFLzUwrOlmSsHZcL@utBZTlSuvZULmUuRYLl_udZVLhuqRYDkgu\ZNLcUqrWlksuNZKLbUobVdjwuHZBL]uoRVLk?tvY~L\UkrZll{tjYsLnUmBUTjWt`YvLWvR?As@a?n?W_JODwBK@m?t?Z_KoEjjo@q?|?\_MoFgBdmAvDZ`mqFVjkpt}zI\_mqfWZkXuQzK\amkFRjjPsqyY\XmlFSJj@tEyq\NmmFTJiPtuyu\RmlfTZj`t]yy\UmAV@j_lo]wR[Gm_FWZgPuMyA\am]fVjjxr}x{\_m\FTZf`tYxu\VmZfSZf@s}xq\OmiFLjiXrQyc[tmfFKzhhrExc\Kl}FQj^XsmyQZ|mce~j_@smySZ~mVfQJe@s]x[\EmQfIJcxqixK[hmPFIzdhqQxW[bmLFFjbXpqwq[\mJFFzcHpawm[_mFFDZ`xpQwY[RmGFAj`XpEwW[Qm?fOz_XsUwC\C_EoBw@s?u?\?N_DOBG@[?i?X?Jn__CWAS@A?b?Q_GVQZh\sipvW{k]uPJGtcUqNXHkcURZH|cy}O^Bncfojwx{E}M^CnbFqJxH{U|u]pnWFnZv`y}|w]qn]flJvXzM|{]tn_FlzvxzY|{]wn_Fmjvxze}S]kneFjjxXyu|Q^CnbFiztP{U|K^AnSFozsx{E|o]bnQfmjvHyQ|c]_nYFgjuXyE{y]nnWffzu@xy{s]tnMFlzrXzY}e]VnifeZy`xa{f]QnGvdjqlxQ}e]MnFftJq@|U}S]JneFbZxXwq{S^LnCFrjpH{}}c]Fngf`Zop|A}Y]AnAFrzxpwM}c\~ngf_Zo@|AzZ\nmvV[JmTvEzh\tmxv\znDvYzw\fm~FYZnhuazq\im|fZJnPumvJZblqUzj\lmqv^Zolwu|Z]|nY~O_roYfykE`}e~y_in~GIz~yAr@S^yoTf~KD`~n@g^wnzgK{Eh~e~g_lnzGJz}iAz@_^pnxgKZ}QBJ@]^moVFz{Dh~A~U_onugKj|aBE}x^]nmvvz{L}A~D^cnpvxZ{|}Z?i_foSgD{AqAb@G_QoIGHkAYAV@A_NoPGC[CY@B?W_ZoFGFK@i@v?Q__oNgA{Bq?j?o_EoCGEkBI?]}k_CnkG@Zyy?N??^Xo@Fu{?H|j@o`goZgX{EqEZBE`\oqGV{KiDzB?`YopGVKKIDnAU`noeg[[HaFBAS`lovGQKLaCfAm`DokGPkJIC^AC`PoaGS{GYDJ@}`Mo_gSKGAC~@w`SojGNkIiBv@q`hotgM{FQEjCe?^_OoGGB{AE@@YilUUizTli}t\\xm|V]zntvqzzaaPMWhCRuILCzaXPNwesSMHhD@a[PJWeCRuH\CzaXPHwesQmHhChaQPIwcCQeHDCfaVPGWeCQUHDCl`wPNw]SSMFhD@abOyw\sSeFXDDaLPDWbCP}GxCVaFOxWaSMeG`BfaCO~W`SOEGXB~a@O|w_sNmGHBxbQ?HoDWAc@M?j?SmkVUjjLtuyv\[l|u~Z^dn}w@Z}oOwG{CU@z@@_^oLwF[Be@b?t_Xo?W?k?M?V?H_Bpygw[]YMNFgbapwgwK]QLzF_b^plgx{ZaMfEybgpqGv[ZYMZFIb[pkgzk\yLjFYbWpkgykZQMrFUbWpogt{YiMNEkbaphgvkYaMBEcb^pfgskYILRE_bRpfgt[YIL^E_bUpQgq[SyKnDKbIpwGpk]QKbFabFp`g{{WiNVEGbsprgoK\IKJFOb@p]gz[\yJ~D{bmp\GykVaMrDubjpqGl{VIMZDobdpYWlkUmJJDfappVGrKXqJBD]bLpcgi{TiKnESakpSGrKXqIjDQbLqaFmzvlzq||^?n^wT{JMDbAh`UoiwSkIMDNA\`OofxPshmSdI^dGQfXPshUSdIXdGQdxSsgeTTILdSQaxPCiETHIJdEQgxGch}Q@IZc`QfXSsbmTTG~dSQNXEciMTHGxcZQgXQca}SpGpdJQKxC[a]PJG`cMqFxOS`eSLGZcJQ`XNc`MS@GTcGQ^x@Sf]RtGNc{QBX?cf]RtGHc{Q@w~sfUODHrc?Q[W~CfENxHtb|Q[w}sg]NhIDd@P{xOC^ER|Flc}PzxJSd}RDH\ckQWXKcdURPHVcrQSxHcemQ`HncfQZXDccmPPHHcTQPxfcp}XFK`eKrFXb[jyXnJAe[qoHf[rYTrI{e\qmhfKrATfKsdZrKhUkiqXbIoeYqjhe[oAXJKgeAr?hc{nqUNJ}dcqpH^[qqVrKmdyrIh]{mYVRJkdpqyh[kmyUzJqdoq{HZ{lYWZJYeGquH`{pQUjJOeJrChY[oYUVKIdfrAHXkXMKnETbKpfWr[xaZFMUeorehkkveZzLzezr[xmkuq[bLofIrZhq[xYYFMYebreHgkxAXzL?fIrNhq[tiZNLienrVHlKtQZ~MAekr_Hi{wiY^MMehrbHiKwQYRMGeer`hh[fERjHrc{q]xM{fuR~I@dBq_xOk|a[zN[fOruhr{}Y]fNgfirxHy{|a]ZN[fgruhx{{Y^VNIfurzhxK}A]BNCfnroh{[zm\~M|fYrmXu{yy]~MqfprkH{Kyi^ZMkfvriH|[yI^JNefRrhH|KrEXjKreZrMxfLA]`VOhgQsGyCL?a`ZOogEsAiD|Aq_FOogBs@ID|BI^zOug?sLH~|BI^nOuf|sLH~K~A_nNsgIr{iBL@i_^O]gHsFIALBaarO{gjsMiJ\DqabP_gisViI\EQaJPGgpsPiK|Ci`~PMg`sRIGLFQbvPwg~s\iNlFIbRPkgwsYiL{QEHJCbckqVXJ[dMQnHTe`rPxgkruYBK~gIsEYA|@M_bONhYShYTDJMdLQphNSiySTI}d@QlhSSeYStHmdHQ\hNSdySTHMd@QThESeYQDHuc\QZhEScyPtHUc`QVh?SkYUdGUcDQrhTS`yPTI}cPQlhx?BoAG@MK~E`bPqwx[km]UzJ`dnriXt[yu\FMffQsMYFlBm`~PBg_tCIa|PQgvSQiKtBicLPqgVSKiNtCI_lPQgRSQiBtBI_\Oyf~S?iDs}I_lNqgNRyiCs~I_\NagBRyh~smI[|JYfVQyhsswIa|MQgvRaiKsuiblLqg~R]iOs|iZLLQffRUhysri]\NYebRQhyszIXLKqfbRIhvsxiW\MieNRghasnI\lKAfbQ}hvt__@G?s?VUAi`tPIo|SAkJSyj@tNio|RqkJT{iZtMIoLVyhjSmizt]ieLRIjrT{iSt_Id\VyhZSaiztHinLVihJTiintZik\UqjBTciktYIj\UYizTUibtSih\TQiRToietSImlSyje?N?G_CoAW?{?bVUjcTsYyd[]mdVDjdTsYyd[}mdVLjXTqyut[}lhVLjUTpYuD[el\VFjRTnytT[MlPV@jOTmYvdYUlDUzjJTaYrDWukhUJjLTbyqTX}k`U\?C_Ao@g?c?Y?JkKSxy\\MefZRphvuDj?|`QoVWGkHuDj@l`AofWSkFtzjB|^IpFVokOu?J@l_QobWAkFu@i~\_inzV}kCuEI}l`qnrWYjztzJBl]iovVgkKuFi{\aInNW_jqtuYy|\mmzV`jnt\yn\VekBT~i}uKJKLbQrFWqkquPJK|cIrVXEksuXjFlcArVXgk^uWJE|eQpvXak[uHzClaepVWlkVuUjH|dyqfX[kguQJIldaqZXUkduZJQLfAsjXmlHuajN|gysBYAlEu`jNLgQrzYGk|u[jQ|hirnYWkyujjTLjItZYolTufJS\iAtNY]lQtsYy\\UqvX^kmuTZJLd]u`Z@laUrZXtkMuLZ@laUqZXTkMthZLlZUrzVDlEuLYzldUnzXDjuv`WTkJuCzP\g}sZYHlBu`Z]dnuv`[@lxU~z]DnevhZzlxU|z\Tl]uhZllhUzz]tmUvpZfl|UyZZtn}vD[@loU~ZZDm}uxZjllUzZddoqxN[ImTvAJdLqiwF[EmRvIJ_lpAwv[]mFvFJa\qAwj[cmKvGja|ryxZ\AmWvOJd|rQxr[um]vKjf\m}vZZjmgVPZids]yP\RmdVSzhttUyX\PmRvIzdG?IzD\V?BVXjjG?QzH\Zmp?@Jjlu??D\fmnVX??~