CAT(2886,1)

Sparse6:

:~?lE_?O?G?CB?@\?n_UoJWDsA}@^?l_VON?FKBm@t?z_\OMWF[Bi@r@G?`oPGGSCIAF@C_^ONGFkCAAB?~_m_RwICCyAb@R_hORoHKD?AT@M?cOROISDKAV@K?goPOHCC[AR@E?dOR?GkCsAN@E?do`?ECBI@b?r_YoLGECBI@b?r_YoLGEsBa@n?v_[OLgR_F}C@@}`?o_wOSGWBdAC?yO`OM[G[BnAH?zOa?MkFGCX@r@Do\?PSF[CZAN?zOb_MkH?Bb@n@HO[?QKE{Cf@p@Io[?QcGwCXAN@DOaoPkGSCdAO@BO`?QKG[CfAG@IoaOQcEOBt@x?qo]?K[FkBP@f?}oX_NcEeBV@i_uOZgLkFgA|@x?no]?JkFkB@@|?ooW_NcDiAx@Z_~_TWO?DYB{@S_j__WOWDeAoAA`r_IwD[Am@X?k_UOIGDSAeBd@s_xo\gM{FU@x?}_]oOWGCB}Az@^_nOWWKSEAGUB{A@O~__[NsGHC@AAp@o_CN{GLB{@zO~_^CNsFnB~@|p?O^SO?FrBu@{o}?^[N[FtBd`rOxG[_OUFKCF`q`@g]WMMFiB``y?wgZwMqFSB_`n?yw[?MqE}Bj`n?ygTsJAD^Ar`XOkWSWLiDCBX`Q?uGSoLuEwAf`l_hW[GIuDWBb`T_wgT?MuDSBn`S_zgYgNAFcBU`w_twYOMaEeBh`r_tGYGNUFeBN`g?|GXOOQEUCA`c`?wX_OUGMBM`e`@gV?LeDqBY`Z_uGVOLmDwB\`\_vGU_MuDiBn`Z?zgRwNAFcA_`w_gW[wHyFQA\`s?fGRSHeCvAUAAP?_RCOKCnA}@`opOV{JsEHBE@_Oq?WSK[EBDg?PoHGCSUw@J?e_Rp]_ZsL}F@Be`qOxWX{LEE`AU`KOdwQsHaCnAZ`LOeWooWiKOEHbD``wmwWMJqEDa{@`GmwWYJqEGa{@`wnoVQJkD~ay`^Wm?VqJ[Dzav`]gn_VMJsDpa|`[gk[UQJDD^aopWGpGTyIwEIbD`VWo?TiKCDZb?`UWgwVyIQD~a}`QGoWSQKIDEbA@PWloQMJ_Ccav`HWcoVMHODpax@HwoGQEKCCab?@GGbwUuGyDkaN@YwmoPiJiCZaM@\GawUaGoDhat@EWkgPEGcDeaH`Xwa_UeGkDgat@DW`WUUGYDfaE@XglgPAJUCNau@Bg`SOeGPC}AjPNojCS?InCoA\pJofkRCHxCwAhpT?fSTSHrCtAgPLoiSRWIbDAAXPL?g[RKIBClAfpROdsQoI\ChAdPIohcQgIVFt?SOIgDKAa@T?h_{o]gNCFmBz@{_~O_GN{GICFA@_ioTGIsDQAl@T_kOUWI{DaAr@V_mOUwJSDiAx@ZakpUwjSPiGxCZaCpAg`C_OO`GECHQ@PAK_gOBGKC@qAp?S`oNdG\ByQF_}[]{OjFpCHp{@Ac]{OlFoCKP{PA{]wO\GNBupz@@k`GNZFmCGqC?|c_[NVGHBsqA?|S_gNTFjCEPyP@[^OOFFqC?p{p?S]WNjFgBzpxo}s]WNpFyBsP}O{{^wL@G?BNP~or{]MNJFcbopwg{C\sOlF^CKPv`A{\gNpFyBmP}Oz[^SMnFXBzpu?}s\WO\GNBiPtP@k\GORGFBgqA?y[_OM\GEBgQ@Ox{ZqL|E|b[aFGvW`yLsG\bZAEWv?`mLmGYbU`}wtw^uL[F{b~@igt__AN}EjbRaDXA_YeOeEgbO`}wsW^uLCF{bKAFwrOaAKqG`bLaFwrgaEKwG_bIpdwqsXIKhERbFpcWqCWoOrGZBFQE_pk[SMVFLBbpp_xc[OMBFAB^poowCZ?LfEqBYpkOucYWMPEcBdPhOxKAQ@D?b_POHGC[AY@N?d_QoHgC{iWNdFsbxouGZSLeEzBZ`mOwW[[MICxA]`MofwSKIACrAZ`LPrgyC[}SgI`dJAghQgiATCIXdOAdxSGhaTII[dQAehSWhmTII\dNagxRoiQQLHGcbqm@QKhKTtIxDHQb`Rkh{S`I]DFqapQ{gsSpIKDKqa@QcggSlIHDIq]PVkjkRvHyD]Q]@RcfWSvHvDLQ[xMkfQToHocxAmXVOfERMIncsakXL?jARGIedRaXhKgiaTiH^dZaWHJojYTcHZdYAVXJ_jMTUHXdTAUhTGdaTiHTdZaTxUodYQcInciAkXIWjATWHNcgajXTodATWHLdVARhTgcqTUHHdSaQxTOciQ@HAc_qOxGkcQP{IrdYANxFgjIPvGyc]QMHFKb]PlGtcYQKxEKbIPVGlcUQJxDsbAPIIecRaiHCoi]TuGad]aHHV_aMR}IDd?a`xO?gYRYH{c~AZxNgeyRSIAcuA`HLWgMPOH`cTAWxDGeIJJDfarPYwlkUqJbDraxPAG`KOiW@K@e@Q~X^{nyVUKxdubMx\_riXgJgeYayXeWmiXqJ[e\avhfOluUsKue[AuxZGr]UoKtdjBLHYwrMUiKoeXAtHeGlMXoJQdgbLhY?r]UYKodfbKhXorET~J?d^QoXW[kIUHJEdaqpxXKkaUSKfdeBIXXWqaWcK`ePbDHcOpMWYK]eEBGH`op}XYKHeVbAxdooiVsK[eLa~H^WpuVmKEd{bAH^?o]WEJsdzB@X__nUWmJpdxbDh]OpUV_KPdvBBx\wpAXGJdeRAxxcgmYWoJadpbEhbGmQXSJ^dobJH[?qm[NMHfCRXhlCu]ZuK{e}bNhn_ruZiM@ezb_xmowIZ]L}ewb_Hm?v}YmMCekb`hogtaZILTejBWxk_tQYaL\ehbVxiOtyY]L[elBSHhotmZQLJetbRXlOsqYOL_edBWXhGuIYILkebbZhgouuZoLAe|BPHgWveZcK~exbOXm_sAJhDuayp\wnKVaSHIAd@q^xOKgARxH}c}qWxKKeI\yMvf^bmXvoza\mMzf]BmXv?zi\gNDfZBoxug{Q\gN?fYboXuo{I[`MQfGrkXuSzM[oNDfJBpHqw{M\yMRf^bdXvoxQ]?MLf_bbhwOw}[SMzf]BbHpWzi\OMmfTBkHtGy}\UMafUbhHt_yM[wMdfRbfhsoxu[}MXfLbgXs?xi^kFebsPxw|K]iNVFkbvPzW}C^EN^KZeMrFHbCpiWrKTeJrDhaSpMWhKNeGrCH`souWXKEeCR@x_[oUWHO@GAr~q?|??_LN~G@S?Q?d??_FOKF}r~a@l?k^xN{GCR~a@L?g^zNxGGr}qA[~g_dOMF{r}aAD?{^vNuGJr}ABK~[_pOUF{SD@}t@S^nNRGDRtA@C|G_RNlGArzq?{}w_LNiGDryq@l?o^XNhGGryAA\@G^NOVFqSEP{t@_^JN`fprwhzs}A]~OSFlrvQAt@S]xOMFkSC@zT?{]rNUG@RtQ?c|[_FNrFfr|PyK~O]`NrFeR|Pxk~O]\NHFwRqp}S{g^bNoFbRq@}S{[^bPgDPQgXSCiMTJIceqRXXk[uAZDL`emrVxjstiYxLZguC[YLhFIbePjguC[ILhEyb]PjgzcYINHEiboPhgsC\ILPFUbQPugXSKyEdC}aZPMgwcNiG@FIbeO~gzcMyN@BubqO{gwCMiF@E}b[OxgYc\IExFY`kPtgqcKIKxBE`]PegUCXYDpE]`YPegpCIYDXEM`SPcgpCHiK`AabEOfgQcVyCXEAbAOcgOCVyCPEAbAO`gmCFiBxDyayO\gLCVIB`Dy_uP\ghcQiH`DUaUPSgkcPyJXCeasPGgaCSIGpDIaIPPgjCOYJ@CMamPAh`CmYVTJmdpQvhZS_qV|GOeBQDH_SnqODKCcBQAH_SnANlJwb~Q|G~S]aVdFod|PzH]shQO|IWcPQcHBSkARtJGd@QpHNseAU\HgdjQXHYSdQTlI{cnQmHJShqQTIcchQgHHsbqSLIKcbQOHPSeqPdGwczQLHMSiaP\GgdXQHHTr{H}S~E^fNtfyStYYtLQfRRjhtSua\dLof\RZHustq\|N?epRpHkspq\|NCeLRoHaszAWTMweFRCHusxaYLM_efRfHhSwAXtL?fBRNHpSqq[\MSeZRKHqSvQXDL{eTR]HcsVIJtDua~P`goSWiKdEMbJPfgrTCq]\NOgjRqIITBQaDPGg^SPIFTAaatOogpSJIJt@qa\OcgjSGIITEQ_dOWgvSYIAt?Y_\OIf|R~i?S}qatNsgpR{IJs}AbLNggvRxILS|QaDPGfnSPHzSnIVtJud~R@h_TFiblPqhrSvi[TIAfTQghxShI\tMaclQ[hxSzIRTNQcTR{hHS}IPtNQb|R{hBS}IOTJaeLRKh`SqIVtLAd\RWhZStIUTRAiTTOi\TRIetQQgTSkiBTII_TTQgtS_inTUIbtPAh|SSibTBIgTWQjDUKitTaIktVaj\U?izT^ImOPWG{CYEFBD`aOqGWsK]K|E_bNpgWsSYMUXJIddqvx[CmE[ZMNfFRahpcwmaJPCgbSOiGLCMeJRFhbSoiWdKMh`SmiVtIydlQqk[USjIdcIqpW}kUUPjEdcyp`XIk]UGjDDcIppWekUUDjEd`yp`WYkCUHjADaIpPWMk?UDj?d`ynxWYkCT{jAD^YoXVyk?Txj?d]ynxVijoT}izD^ImxVujqTriyd]ym`Vij_TriyD[YmhVIjkTlizdZyn@UyjUToiuD[ilPVEjSTliuDZylXUyjIUPirDcyk`XIkiTgirddIlHXYmS?U_KODwBK@m?tVU?MOFgBl\o?~?`_OOZwMKFAHZCkaVPIWd[QiQZHMceQQXH[ciXxK}e]rNxgKsA]hNQfhrtXys|]cPQEhBsaiPLGmfdRrhyS|i]|NUi@TAi_tOyglSQoEWHkAeAz?`_ioKW?kCE?j?x_EoGV|kAd~z?X^ynsW?j}E?i~X_EnqV}j{D~Y~x^]nwVsj|d|i~P^UnaVvj{d{y~@^In[VtjwD|i|x^Qn[Vjjudzy}@]qnaVgjxdyi}P]enIVjjudxy{p]qnCVhjqDyi{X]anIV_jrdwY{p\}nGV^jpdwY{P]AmxV]jmtvYzt\qmqUWjKduyqx\imGWEjbEAIwh_]mAWHj`eAywP_im?VUjkDnyyxZyluVUjkDnIyxZulsVRj[dtYv@\Qm_UtjZdsiup\Em_UqjhDkyyHZQl]VRjWdtYu@\QlWVLjVDryth[ylUVJjeDiYxPYimYUejfdiIxpY]lGVIjeDgysh[ml?VFjPDqYsH[amuU\jlDfyzHXyksVFjMDqYrX[arc?I_EOAw@s?u?^X}?GOCgALgO?j?R_IU`JOtgUsHYElAu_b@d_wsFY@KEuZBFDb[r\WuKuuMrLlbgr\XkK[u^bElg?phX~KXuKBNtbGr~WpL?UJRN\a{rxX|KVUIbNDaortWjK{u^BC|acrvX|KSUHBNDaWrtWdK{u\RCTfWpFXvKOu\BBtfGp@XrKNuFRM|`krlW[Kyu[rBD`grhWXKxUDRL|fConWUKwUCbO\`OsDWRL?uBrL|fCobWOKwUXbKDe_rDXfKouVRK\d{rJX]KqUTBJTdkqlX[KiuSRI|dKqpXQKkuQBHtd?qTXHKfuPRH\c[qZXEKeUYRGTekqHXiK`uNBF|bwqBW|K_Uu?BC@Y?n?V_KODgBK@m?t?Z_LOEZ\O@q?|?\_MOFgBleqr\XlltE{J\XnEvWZqlue{J\xnIv[Zplkexj[`liuoZdlqEuz[pluvIZ[lneyJ[@mevMZ]lpEyZ[Xm]vAZglGUcjQLhUshYRleEzZXpm}uYZmlceyjXXmquSZjlpepj[HkavCZFl`evJWhluuGZZloEojW@lyu}Z@l^EuJZHjut}ZYlBetZPHl]sOZUlieajYxgqukYJl\EsjY`jqtuZRlXelzVHjItoYplYEjjUhjAtkYnlSehzTPiUtOYelTegjThiQtWYblNeeZSHhmt?YYlJEfJRphasyYVlEerzPxlEs[ZO_FoBg@k?u?^?M_DOAw@c?i?X?Jme_CWAS@A?b?Q_GUtZY|lYmNVHjcTsIyT\EmfVTjiTuYz\\iy[\SmffTZhhtMy_\RmhFTZiHtQxu\Fm]FQZfhsayO[}mcfOJgxr}yA\Km`fQzgPsiyG\KmbFQjghsmxo\UmkFMjfHt]yc[tmZfSJiHrYy][qmfFLJhhrMyG[pmVfPjghrAxW[}mVFOJdhr}xu[hm]fIzf`qixK\@m`fIJgPq]xE\^mQfWZc`uAwz[^mNVGjcLqAws\^mMFWZbXuAyo[XmKFTjaxt]yw[SmJFVjjhpUyq[PmlFCjjXpMyq[MmlFBzjXpAwU\[mEfVj``tuvvZyl{u~J^tnuv~[@m?V@J_\oIwOZrlyfAj`HnQvk[Dl{F@z]xoYr^XpkwU]ZNTfarvX|k}U_zOTgE|}\tn_f\jw@vQ{Q]unDfmJpPz]{K]~nCFoZox{A|k]BnAFmJohz]{?]xn\f_joHzi|w\|n]f^zvpvy|u\ym|fmjn`ze|{\wm{fnZv`v]zP\imsvYzlluqz`\nmvV[jm\vE|e]`nYfgzu`yI|_]]nXFgJuHx}{u]mnMfjzr`yu|M]XnLFiZt@xa|S]TnUFdztXxY{c]cnRFdJshxM{_\amqFcZkXw}zI]Kmrfbjkpwu~c^AnyFpJ}X{M~Q^kntfzj|P}u~K^pnsFzz{x~A}m^zn}fuZz@~q}k^xniF}jyh~a}e^bngfxZyP}Q}y^MnnfsJzp{}}U^YnmFrZx`|m}O^andFwZxH}A~i^Dnbf|zwp~Z?}?^_OoGGCK@}@@Wuk[ULzFLbmpt[DmBv@j`DoiwR_mOSWIcEEAd@^_kORwJSCmAl@L_aOSWIcCeAd@F_^OQwGSC}A@@L_^OMwFcCMA@?x_aOMWFcCeAL?z_jOAWJS?uAp?J_@OVW?sEE?H@^^}OJW?CBD~|?n_ROKwDSB]@P?t_IOGWBCAM?l?d_LOBwAS@}?`?\`]?IoCwAc@M?j?Slquxj[dmevNZglBuaZPDgmsXYInVVjztlyi|X]jnRviZtDyQ|L]dnEVbjplxE{`]Np?gZ[LyF~B[a?o}GYkLaFzBU`|osG\[MYEfBM`sowGYKMQEfBa`fo{gXKNYEZBs`dozGXkNAERBm`dougW{KQE~BA`monGYkLYD~B?`kolgVkKADvAw`^opGU{KYDvBA`[ojgK[IiBNAk_qo}GSkNqDRBy`Rofg^{OIDFA_a?oeG][HqFnAY`yoxgQ[HYFVAS`sowGPkMQCbBa`FozGP[NACNBm`Co_WOkGMB~@|_|okGM{JQBrAq_yojgL{IiBfAk_woYGUKEqDj@i`XpgFPzhLsayT\Kmdvwz{l}Q~@^anovvjzl|}}t^[nlwuSY]LlEjbYPiWssYuLTEpbSPjwsCZ}LHFBbPPoWsCZeLDE|bQPmwjSZ]LdD\bYPUWvsTMMDDVb_PTWhcZmLxDPb[PRwgsYuITEpacPjwf[R}HzCxaYpLwrcRMH\E^aWPewqcQmKpClaSPdwqSQ]K\CdaPPcWbcW}H@ERaNPcWpCP]GtELaKPawpCPEKXCTbDPCwrsOmG\EZbMPBW`CXeGHEVaBPdWmSV]JhDzawP]WnsUuK@Dna}PYwkcWMKLDharP`WgcUMI|D@aoPOxIcb]PvGxcWqLXE[cyMnHOblqSgzKcyMbHQbiqSGy[[iQRHKbfprHH[[QQRFGcepphH[\yPBF_cPpvHB{cYOzGWcaqOhB[`APzGMc_qBHF{^yOBFycAp~H?[^QONGIb{p|h@KaQN^GgbxqHg}KaqNZFgcVqIg|[]IOfFecJpxHAkImD^Al`WolWU[hESjIRdFqaxPkjASNIqdCqjhOkiaR~Ikd@qihOKiyQvIqcnqkHJkiaQjIkckqihI{faRfH{czq]hMkhYRZIYcwqeHL{eYTFIectqhHLKhqRBHcdOqWhR{WmKZEHbFpcwqKXUKnEXbNpewrknqTjJ}d[r?HU{nyVVK?duq~H\{nYVJJgd|qxh^KoIU~KEdpr@H[KlaVfJodmquh]klMUnJTdfqsXXknAUNJsddq{hXKkAVnJCd|qoh^KjqWNI}eAqmh_[ceQZHJcfqSxIKoeWZKJe`rOXf{sQXBLGeQrPhc[sQWvLGeNrPhbkpQYVKWefrDhhksiW^KQefrRHaKqyXrKke]rKHf[rIXNKieZrIHekvAYbLSevr[hi[vQZRLke{rYhm{tqZzL_e|rVhn{tYZFLYerrUHkkwq[fMUfGrbhqkwA[VMCfCr_ho{Be@z?zawp[wmkUmJ^DlcnqUxJkdUQrHVeUrKXd{qmXRKffeRnXxS{E]PM~f`Rlxwszm]HMxfWRoXuSz}\hM|fVRlxvSym\XMxfWRhXucye\dMffQRixtcy]\\MhfKRqXrc{u[tNJf`RfxwsyM]HM`gD?BoAG@MDnAx`\p}w~k^}NjFxbzqlXVKj]TvI|d^rSXiktMYnLZeksMIDlBQ`ROugTsGiD|BI`NOogQsFIC\AA`NO]gQsEiD\@Y`ZOggKsFIAL@y_jO_gHsEiAl@A_rOQgJrsH~{{y_FNQg?r}ID|BI^zOof|r{iEk~Q`nNug[r{I@|?i^ZNmgEsAh{|?y^ROKfts@H{L?a^JOEfpruh~{|y_FN[g?s@Hyk|a_ROEfjse_@G?s?VQYglsVIR|DaczPQhLsfiI|DQczPMhIsSIRLCqcnPEhFsQIQ\CicbQMg_scIGlHIaFOyhIsNIRLBycnPuh@s]iO|FacJP{gws[iOLFQb~P]gvsWiL\EAbZQGgqsbILLGibM?N?G_CoAW?{?bRmhoSyY\dL}fTR\hpSyY[tMufHRjhdSwyXtM]eXRdhaSvY[DKeeLR^hgSnyYdKMedR@h[StyVdLmdtRXhOSjySdJEdDQlhRSkyUtImdhQh?C_Ao@g?c?Y?JiWR~y?\?E_JOHgBtJib|QIhZSiiOtHId|QahVSeiUtKI_|RQgVSqiCtHIbLQagzSeiLtCib|QIgjSUiOtBIe|RigbSwiFt@IelOIhfS?iWs}ie|Rif~Swh}s{Y\|NMfjRxhzsbyQ\HEcrQVhIt^ih\WIiRU?ietUinLVii~T{imt^iilWIirU?ijtRinLVqifTyigtNyflSEiFTDibtXim\UijnTgiytZIkLUQjbTmiptjiolZIkRUojBtdis\YYkrUYjQtcIr|XQkzUQjOtiIp\Yqk^UijEtoIul[QlrVAjZtpiv\ZymVU{jcsyY\\MujfTviytZYmLU}nPVXjmTxYzT]]mpV^jmTwYzT]MmXVdjfTxy|D\EmdV^jjTwyyd]EoPSliVtIys\Y]lJU`jNtfZAd_uopWHkJUAz@D`EoXWRkDUBz?T]}nXWDjtU@z@t^un|WPk?UCzAt^]opVzkIT}Y}D_]oDVtkAT{zGdaQp~XAkPuOJCLcIovW]k^uOJBlbIpRWukRuIjElaqprWok]uJjF\dYqJXYkcuUJG|cqqbXMkiuQjI\_]oJWBkmUYZLdd}r@XjkpUYzLde]rHXhk^uOzGLew?DXzkw?@jNw?QrdX|?AU\JNW?IrpX~?BU\jNn