CAT(2808,1)

Sparse6:

:~?jw_?O?G?CAG?|?[_MoKODCAe@T?h_SOIgC{AY@J?e_QoHwCCAE?~?a?TOH?DKAK@P@T?LOEwBK@m?t?X_OOGWB{EgBL@c_qoX?KKEKBL@a?qoPWGcCMAH@B_aoRwIKDAAe@__n?TGIOD}BC@N_p_SWI?EEA[@Z_e_VWH_DqAj@V_jOUGJSDeAp@Y_koX_IkEOAl@V?qoR_HKCsAV@K?dOP_I[C_Ah@F?hOWoDsEG@`?n?ooIoJkAsAv?k?mOVoF{BsA|?}?oOM_JsBkA~?{?oOL_HCC[@h@E?YoKOHKBKAV?q?dOLoGCCC@p@A?[ok_HCCYAN@P_gORwISDQAf?[_NOFWD[Au@X?n_WOJgD{BA@\?}_^oNWFSBq@vBX@]onGV[JoD|Az@^onOWCJOETAr@eOk_X[JGD|As@_OkoV{I}DbAo`a_jGToKQEKAl`Y_jGUwIyDkAl_xO[GMKIcBfAj?yoi_McIWEPAg@copoS{IMDJAc`OOgWSSKcC~BG@MopoRsHoDrAy@LOeoVCH]CrAW`I?ogQoKMCiB@`HocWQSGyC`AN`S_awTWGuDSAK`V_aGUGGiD_AH`___gOWKMCGBA`\?^wOGJaC?Ax_}?lgNoJUByAv_{_qgNOKqBuBJ_r_pGWgEeEK@g`B_\gN?GYCI@v_u_YgLwEmB[@kaX_DGAk@M?p?U_JoiwTKIiD`Ap`VoHWC{AY?~?`_OOGgC[AQI[DHadPQGhSSeIPDLadpRGhkSmIXC{a]pNgfKRmHtDIAVpJOhCScH\DJAXPROeKSoH`CwAbpL_gsR[IJCtAZpKoesROHpCn@vpJO]CQwF\C]A^pG?gKP{I@CXAbpPObSP_ILCTaJPDwaSPMGhC~AApOO_cS?GFB|A`O~ogcNwIFDA@|O~?gcSKFvCr@zpLO^KROFpCi@yPIo]sNSHXBj`uozGe?MUFMCq`r@KWdOMIHWBcaT_wwZcLyEzBX`lougYkLMEhBU`jouGYORqH{BP`g@NWfGKuHsBNa\_rgd?QMHQC`aP@Hw`wPmG_C[aM`CWcgOYGOCeaB`HG`GOAGSCAaD`?W]GMeFOBr`x?yg[?OqFACM`n`BW]{NeFpEZbLPeWrsXqKzEwBHploqkZcKhEDbBP`GoKWIKFD|a}P]wk{UaJLD`apPWGk[UUJHDWakpTwi_Z]IkExai`mGsGYMLGE_bP@fwsgWiKWEfbD`hgtoW]L_EHbV`aGu_VyK?Eta~`lgnGZEJsEra{@kgmgYiJkEgaz`iWlwVIJaDsaw@[wq?UeJUEQat@cWjgYmI}ElbU@Vgl_TiJ[D[au`UwqoTIKoDPbJ`SwpgSyK]DObF@Rx@?FEBd@o_yO[wMkGUCNAE`COagPKFYBn@w_toZGLSE]BR@g_roYWLCaKOyGScNaDhBo`UOgGXcJAEHAg`]OuGPcMACxBO`IOUGMcGABX@w_qOeGIcGaAXAO_aP?GAcAAGhCG_MOIG_cBaGh?oaEOAGKb~aAx??_uMuG\bmaFwz_`yNwF~b}a?W~o_AOIFucB`}H?o^]NeGVbyaEW}_`aN_GAcA@{g}G_MOsFjcM@zHBW]iNRFgbrqBo{C`?M|F^CFQAOys_gMjGGBjps`CC\OPDFRCOpoGwK[ILtE{b\pnWv{ZyMoFNbl@sWzG\ANGFKbf@xgxg]UMSF`bp`qwxG]IMMFlbv`qG|o[YNuFDb``}g~G[QRmGCc@Q?x?k_]OLG?c?p~wd[QiHX@D_`oPGH[CeAT@L_fORGBc@y?z?j_UoJGE{Be@p?p_XoKg`cOyGZCJaDPAW[sM]FJBY`louWXkK}E\BL`forgYKLIE`BQ`gOsWyk\]MlEyb]Pmwv{ZyLzI~DYAmxVOjMTiIxdZAnhV?jqTmI|dVqjhTkigTlIkD[QipU{iaTNIhdYahHSojMTgIddNqgHRshkSdISDMqcpRcg}SbIOdIacHQwhESkINdEAeHPohiSYIXdCachQ_gmSeIIdPA`xP?iMTAIEdNA`XS?gQS}IBdCA_HOOg]SAIEc}akHNwjIR{IpdWa]xUOfqT_HydEa]HPofeSWHvc}aNHFgf}PuH}cvA]xM?fqR]Hyd?AYxOOeuSAHkcsAeXLGhiRSIWdLaXXKwhuSwHeczaWhNGeQRoHbcmA\XJofYQyHscyAVxMoeERiH_dOaThSWdaTCHVdTASxT_dUTUHSchAhhIGiQTIHOcdAmxH_jiQUIxcbaaXHGgmQOIId[aPHGojmTsHDc_anXGOjqQEI}c_AnXFojyP}I{c[A[XMObiReGxdIaKxE_h]PcIUdRaJxE?iePaIgdVAJhTwaqTYGlcTa[XMWaeRcGidAaGxCggQSEGccYaUXEwdmPkHYcSARXCoc}PMHMeca[xMKfI?j?S_HoDGAk@M?p?V_JODwBC@YDXAm`UoEWB[@iCDAC`@peGqsX]KfETbIPbGpSWmJpDya{p\Wm{VYIzD^anPUwjcTiI\DOafpSwiSTEIhDUaipTwjKTa[[MFF@r``ocwS[DMGFDra`pkwc[XL~E{r]poKvg[@LsF?R\PoKvKZ~LketRYxm?uaZMLqewbYXkcuUZLL{Epr^`kKvsZDLfEnRYPkCu_Y~LXEmrU`j[toYpLVejRTXi_wqYcMJehbbXiKtAY^MDEerR`o{wWYXMEEcR`pgswSYNLBFERPPpksO[VLBE_RPPgKsOYDLEE_RPpgSs_YBJuEmQ|pjktkVjKzEurZpfcrgZ\LwEZrMPm{r_ZlL]EYRW@est{XjLqEXR[@e[vCXbKgE{r]pdSvgXRKdExrHpmcqWZjL|EOr^`b{voX@K[EkRU`bktcW|KXEorEpk[pgZDKREurZpakpOZ\KOEzRC`nCpCZnKNEerR``kowYXKCF@R@`o[oS[HK@FCR?ppSoG[RLQE?RT@^stKV~JzFDRaP^kw_VxJxFAQ}`o[n_[DK|DxRNp]crwVfJmEuQz@l[msZTJjE]rNp\SrwVRJedsQxx[WtYVILVdqBTX[?uQZIJadobXhhwluYaJ^egAvhZSlqUvJMEdqs@hSk{YRLHDcQq`h[sgURI~d_QoXW[kQUDKaETrJPccqKXXKmEJRDpd{p_X`JVDiQt`ZKlSUpJnDhq{PYKn?UdJJEDRB@XkkoWVJDEBrA@W{kWWRO{E]rNxfsQuH^CmaWPKWeSBY@j?s`vO{G\{OMGJCC`|O~G^[LMEhBT`jotgZC\IMhFRbfpsWyC[qM\FLbcpqwxS[YMNFGb`ppWwckqUZJJdbqphWlDsb@PaGnsWQJtD_bNPXGsSTqKtCwb@PaGgSWQH|CkaJPLGbsRAGtCGaPPCGdSOqHLD_`~P@GksOAI|Eo`rPmG\sZQFTB[bVOuGtSMALK{OaPNEGdRpQHLDg`NP[GSsUqDDEK`HPdGRSXAClAKbRO`GtsGaLTEo_|O_GvSFqLl@S`lOUG[SLqA|Bg_fOSG\sMQAT?ga^OJGgSAQHt??a~OAGnS?QJk~s`~N~G_r~aGDEW^tPgF}SXp~\CG^nPBF{sP@~DEK^bNrGqSXP}TCk^\PLFwSR@|{}_atNiGmRyQJ\BS^NNdGXrxaEc}G``NbGWrxAES|{aJN`GbrwAGs|w``OqFmRvQEK|c`fOtFlruaEdDW]VNKGiRqaIk{cabNGGhrpqISzm\zM{f[RmhvKzW`xMvG^RlQFlBo\^MpG^SNPuCxsabM^GhrfaISx[ahPUFKreAIkxA[\MNfGrcxqS~O_\NuGER|Q@k}k_LNlGCRzA?|Ag]lOkFkSIpy|As]`NQGVsJ`yKzG\|MsF_Rkpv{{C\XNBFVRo`tkyk_JMiGARiQ?[yW_rMfGKRiABT?{\FOPFQsC@sc|S\DNSFORspsK{s[tM[FfRepx{xO_vMUGMrdQBdPCQtHZckqRxHscu_^OPgGS?y?l?Q\fMsfXRjXtsyq\@MafOrexrcxih]SeiSTHyc\QQhJSYiLtFIa|PegpS_IFTGaaDQCg^S^IDtFQ`dPwgZQFIJTDAPLPScPSPI@TCq_dPGgFSSHzTDa^DPSfnS]HqSxab|MSgzS_HpTGa[\QCfBRQIDstA`lLKgXRNIGSsQ`tL?g^SkHeTJaXtQseZShHdTIqX\QgeRQyIHtCQVdPGdvQpICtAAUTOgdfSEHWSja_|I{gJQlIAt@qT\OWdXSIHTTAATDOcdRSYHPTFASdIKgvQ[IJsfabLHsgpQXhLSeyRDHYcnQLISsbqd\GwhTSkHDtJaPdQscTQDhBS`IO\GIcBPzIRTIANlQ[bxPwIPs]aclFchHPqIUtJaMdQobfShGvtIaMDQkbbREHxsqA]lK[fhRzHaspA^TNceFR{H_S~aWLNseDQ}I?t?AV|Jsf~RiHZsmQ\dMkdpRfHYSyQUlM_dlRoHQs{QStNGdNQ^HusgQ\tI?f^RYHHsdQZLHOepQPHjScaY|H?ejRZG~SvAODLsb~R]Gys\q[DL{blUx@hotWYcLaElBVdjquXZClEUfJQj^TnYvdZelvUyjXtlYudZYlpUvjaDOYwPSMmETAjWDnywHZIlaV?jaDjyth[MmCUmjKDmYrPZmkqUyjJdnYqhZykkU{imDnyjp[EiyV?jZdUyupTeloTYijDkyj@ZUimUsihtTYidTAibTQi^TOIf|RqhzSzj?Dfis@WIkAU^jLd^YnxXukwT}j@d]io`VqkITzizd`inHWajoUFizDhym`YajiUhiwdiit`VMlUTqitDYylHUujWTgjQDXYspU]lITeipDZik`VAjETnjOdWYjxYMj?UajEDRYppS}kYTMjDDQypXSqiSUHi\DPif@SQhqTDiYdPyhHR]iOSuiXDcie`XQheURjGdKYpxQ}k_SogWsKiEDBQ`jOrgLsFIBl@a_rOYi\TMYfDRYhjSviXTLIe\Q}hbSokfeIq}lasnnWkJzUGbDtaOp^WoKPuGRDl`{pXW_KTuHbBt`opNWdKMuErDD`cpTWYKSu@BCl_WpNWDKRUIB?L_KpTWhK@UKQ~|bKo@WqJ~T}rEd^splV{KYuKA~T^cp\VwKVtuBFdbkmrVVK\TtBE|b_mlVTK[uMax\[opxVLK\trbE|\?prVNK[ULAxDbSmRWuJdUKQwlbKmNWqJbT{b@T^OoXVrKDtzrAD^CodVoKGtzRA\`SnXVmKITyRAt]kopViKJtxb@D]_oRWFJruBq{d]SoZWMJptvQ{D]Gm~V]JotuayL\omdVZJhoBW@{?y?`?Q_GoBW@{?y?`?Q_Gt@y_tOUgTSHiCSvyZtMAexR\hltqyxl[qm\VOjftqIxT[emNVDjbUlBVDjgtdYrL[ulRT|j[tbYuLWUfZR|hyt@YalOumBH|dCttXOL[uaBSti_sTYHLRu`rSdiSsLYbLAujBOTiwsHYlL@uiRN|iksBYiL?U^bSDfotBX|LPUfRNTh{rrY]K|ugrMDfGtJXpLQUZRS|i_r^XmLRUlRLTj[rXYuKtuXrTlect\XgLUUirKleWtTYhKqUWRRTeKsxXaLLuVbRDe?srX^LJuTbRTd[sxXTLLuTBRLdKsnXQLKURRUTjOq\YrKeUQrUDcct^XILWubbQLhGs^YRLGUdBP\hWsZYTLEUUrMtdsrpX[Kzu[rJDfSqtXsKkuNRGTb{q@W}K_uPbG\cSqPXFKaTkyulZQlpUvjZSLyFDBY`tOzg[q\hMkfQKrEZbLPfGrsXuQ|H[cmqVxKCeEkDU?j?t^Yn|VyjhTuiyt[ymTVEqVXHkdURjHlcqxA[imUFGzcPqmx][_mVFFjdhp}wu[rmMfLZb`rQww[qmWFFZbXrExY[XmVfEjb@qywq[gmLFIZb@q]xW[VmIfIzapqixK[TmJFHJaxqUx_ZFlcfKjeHkawO[^mBFGJ_xpyxA[BmPf@ZcPoQxIZolvFHjc`m}vW[flufIJ\XqexsZhltFMzfHmaxmZdm[Exj[xrYvC[rlpfLJ[`rUweZRlifDJY`pIw]ZQmGesJa@lExqZLm\erjfPk}uS[um[ErJexkmuC[Nl`fCZWHpAuG[SlbFCzWhpIt|Z?l^umzVljqwWZymFE}z`hnqvm[ImDe}Z^@oew?ZslzF?j]hoEvaZ|lxe~z]Pnyu}ZXloEuj[HlmukZ[ljevZZ@ly{w?I_EOAw@{?y?Z?O_HOCY`lOmgXSOiFtBhgCsIYBLBearPHgss]YPRKhfSrYXLKieVVqjyT{y||^En`Vkjutzi|L]mnTZAl`uoZWtkQuJ^QNcvqzxT{c}^^PNdVqryD{]}P^Enbfrjx@{u}K^KnZfmjv`ze|u]wn^FlJvhzU|}]unTfozth{U|W^Cn_FizwPyu}A]kn]fiJvxyi|{]hnSFjju@yi|Q]nn]Fhzspzi|I]znRFkZshzI|M]rmifrzi`|A}a\UnIfmZqXza{g]vnHFlZq@zY{a]snBfgjpHyQ{O]bnAFfzopyE{I]_m|v^Zndvezp\ynWf\ZuXv]|c\unWF\JmPy}ze]mmwFozmH{Qz]^Dn_FZJlp{I}A\lmsfrJlX{yzS^LngfUjj`|Ayu^NmkFrJjH{y}Y\VnMfSjrptM{w\PmgFeZrXs}{s\MnNFQzhhxq{y\KmcFeJqpsiyQ]VmafeJgxx]yK]Um`FeZrPsQyE]ZnOfOZrxsA|?[~m]fgzfpyQxw]amrFajl@wmzM]KmpfbZpxuUzG]MmoF_ZkPwMzA]Ammf_Jnpt}y{\~od?@w@K?apzW~k^UOZGDcIqFXDkaUPjHDc]qRXJkdURJHtcvAl`VokWSKIUDF?g`NoIgR[AqCz?a`RoHgT[AQDR?H_Ao@w?J~}?FAi^}n}gTKIX~rAY^xoff}{Hp~jAS^roeF|[HX~Q~a`HnxGQKGx~BAS^loeFz{HX}y~S`DnuGPj|YCQ~O`EnrgPZ|ICQ~G`HocFxkGx}VAq^`olfw{JP}I}{`[noGVjzyDvAk^ZnmgUJzaD^Aq^Yolfu[JP|a}i`OnjgSjyqDE}c`[niGVjyYDv@a_roYGJ{EABJ@i_koZgJ[EqAz@Q`@oTGO{DYCI~k_en{GIJ}yA^@G_}o_GH[FyAN@o_\oNgMkBqBf?u_{oMGN[BQBn@?_VoOgE[CQ@b?O_JoDGB[@I?r?[_DoGG@{@y?Y?T?K_DoAg@c?nDwa_p^GfkViH~DqaZp\gf[VQHrCraYpKWckQ]HRBEa{opGnkKaJvDq`^oogmkKAJnDMaUpSGd[QyIfDEaOpGgg[SQG~CKaJpCGa[OyGjCWaCp@gbkPiGVDea?p?gl[OQJRBI`|org^{KqFzBuaup[G^KNQJ^DY`sozGj{TqFVBaaioxgjKMQInDG`oovGhkSiE~BUaoouGkkLiJFBm`go{gYkNAEfFu?F_CoAG@K?a?N]UnKVdzrLxi{vW|k^uNjG\cUqH]@n@v_jn|wAz|byQDXBC^EOlFrcGPzxAS]uO\Fjb}Pzx?C]uN|FjbyP|w~S^ENpFrbPQ?wss_]LHGDbpQ@Wzs_]N@GBcDPuWzc_eOXFZcQPsxCS\]P@FTbeQEwyC`}M\G\cGPpwxS`MMPGNb]QEWvS`UL|GVb[P~Wuc_ELlF~bzPjwuS^eNtEpbSQAX@cYuOTEjbNpfWsKXmKnEXcOP`WpCaUKLGbb?QFwoS`uJ|GZbGPyW{sXMNHETbFPoWpc[UKTFBdQOaWPkGmC^AR`GoCWAk@M?V?N_EnkVujzL|I}h^RqjhRkiqSrIidLqhHQkiYSfIgdJqohPkhAUNIMdaqnHO{jySRJ?dDqZhUKfITjHodXqYHU{jiRZHid[qWhT[eYT^HcdUqhHJkiYRBIgcnqmhI{daTrHYdZqSHUkdQTbHQdXqfhH[cyTFHKdOqQHS[cYTBHCdNqNXF[bePnGrcYqohD{kYPbJCcUqnHC{kAPVI}cSq^HF{fyQFHyc_q_HMkfaSJIAczrMeOJGTcEqPXFkbWZkMEE~BV`louXgKsUYFKze^rNXeckeUTKxeZQrXdssuXdLPeWRRxdCs]XXLJeTRQXc[q]XJK\eOrFx^ssuW@LPe@RRxgsneVxLJecQ}x[srmX|JjdsRNXgcmEY@Jde`Qwxeck}UdKxdgRLx]SpEWhJveHQ|XbSnEWlJleKQzxZSomU|KNdmRBXYcoUUpKHdjR@wqKXUKfEJbFpbXuSyM\lMdfYRgXrSze[|M|fMRmxoszm[DM|fARmXuSvu[@MvfYR^xqCxU[pMRfJRbxpCt}[XLbfDRWXlcveZ\LvetR]xmSuUZhLhewRXxtste\XLZfWRVXisymYhMffSRSxR{iMTBBD`copwV{KMEBI@dAq_xN[f}RzLzezr]XmKvUZfL\ekrUxi[t]YjOlgVsIyC|Ae`JO`gNsGyBL@m_zOEf}sAh~\?a^~Nyg?s@H~k~y_FNWgPruiB|AA]nNsgEr|iAK~a_^NmgHr{iA{~A_jOQfssDh|l@Q^VOOfrsBh{l?q^FO[fmsEh{K|y_rOGfgs@hyl?i]fNIg?s@Hxk{y_FNEgQrqIDK{Q`NOif_roiD{zy`ZQUeZrLXfK]mN^Flbwp|W}[p]WvKXeGrDXa\IIcnQehKshIR\HYczQ_hLsfiRLIaajQkgksiiI|Gid^QMhXsbIULIacJQGhUsiiO|HycFQ_g~s_IRlIIbrQeg}shIN\FId^PshWs\iU\EAcbPchIsWiQ\HAavP]hIsVIQ\CYafPOg`sRiGlCqaBPIg]sQIF|BibZOugwsMIL|BAbNOsgtsKiLG?c?U?L?C_BO@W?c?U?LhIscyQLCMaNPDg]sOYF|Be`vOvgYsKYE\RqhTS\iSTFyctPmhDS^iQTEybdQEhpSPi[TCyfDO}htSTi\TEYfTP]ghSriJTLybDRUgdSliGTJy`tREgXR@h`TAYWdOmgXRbiCSvy[DOmeXS`iQSsYcTK}hLRFhdTIydDKedtSnh^TKYVdQudhSth[TLyUtRMfpS@h|S~Y]tN}gHRtiBS{y_TNEfTRXhvSvY\dLmfHRRhsSty[tLUjtTrizT]YndVUk@Tnj@T[YntUujTUZisTdyktXekhTbjGTWYkdXMitUJinTbyjdWuihUDikTaYitW]i`TBihTPyhtSUhxTHi_TQyftSum@U\jaTgYwTX}l\UtjXTmYuDZ]lPUzj^TjYvdYmmLUbjRTqyxDYS?DVWjn_@izd]K?HVYjots_?T[umk?Ejgtt??d[~