CAT(2888,1)

Sparse6:

:~?lG_?O?G?CBk@o?x_[_MgF?Bi@j?v_ZOP?EkBY@n@C_bOPWGGCQAE@E_`?PWF[Bu@x@A?_OOoF{CC@|@p?XOKWE[BE@f?q_WoKwESBQ@h?s_VOKGD{CA@~?}`K?c?PcGwCbAN@Eoc_PcGwChAR@EoboQkHCClAO@Jo`_Q[G_ChAF@HOa_QkGcClAJ@JoaOOSG?CVAI@?o[GLsE}BYAK`F?YwL_GuCe@k`I?YwLgHIBOAJ`C_YgLGGiCI@f`@_XgO_EUBOA?_t?_gLGGEC_@~`G_^WPwFyB{AT_~_dwNgHYBsAE_}?`wNWGaBuAE_}?aGNOG]CG@s`A_\gOWFUCG@v_{_`WN?GMBC@__p_WWK_D}Au@__l?WWJGD}BC@\_q?VGKWDyBI@[_r?VgKwDuAi@u_y?TGIWFUAk@v_k?]WIwFaBa@T_x_SwMODQBc@U_k?[WIwFMB_@F_v?QWLwCaAb@O_hOROJKC{Av@M?lOQgHcCmFi?g_TOIW_GAm@Z?kaE_TgJCD]A~@__ooXGKSEMAr@Z_lOVGJkDyBJ@f_rOMWFSBa@j?v_ZOQWHCC]AZ@N_fPJ_c_QUHCCfaP`Hgd?QEHSC_aS`FwbGPqG{CZaM`Egd?PYHSCWaS`DwaWPeGiCZaI@EgaoPAGcCWaJ`CWaWPAGcCTaI@CW`SOmGXCIaEPAw`gOQG[CDaF`@g_wOuGOCMaC`BwbwMqH?BlaO_zg[SMAFBCF@ppAO[kO_FHB[`lOuwZgOQE}CE`n@@W_OL]GEBXa?_uGYGOAEeB~`h?~gY_OMGABU`i`?g^oK}G?BM`g?~wXWPqG{BLaM_rGXONmFyBH`}?qGWgNaEMBy`b?}W^gJYFwAw`Z_}wTWQUDSCf`U@HgSwQIDOCc`S`GwRgNUCuBv`M?|g]OHyFgA_`x_fwRONUFmAW`K_|g^?IEFsAb`{_ggSgNMDKBs`Q?{g[oM}FaBg`r_{GVgIyD]A}`]?jW\OJeDuBh`\?ywVwJUDgB@`X_oGU?KIDcBB`W_pGs?AI@H?bbU?HWC{AYGTCKaDoJgECA}@\?o_VoiwTcIiL{EwB\pm_vkZcLxEmB\pjOvkYoLxElB\Pj?vKZ_L\EqBSpl?t[ZKLTEhBYplot[YgLlEUBYPk_qkZKKhEPbHpcgpoZULmEObF`lgpkWqKVDwBSP\_ssV[LNDHBVpQouKSgL`DKBVpR_uKSsL`EbA`phOgkYOIHEbAbPhOg{YOIPD?BOPg_gSYCIBC|BOPNosSRwLBCyBMpN?r{RkK|CvBLPMOrcR_KvCsBMpL_r{RSK|EYAWpKorcXkHdEfAVpi?eCYWH\CjB\pJOvkQoLxEAA~p_OocW?KFEDA}P`onsWWJzDxBCP]opSVgKREXAwPe?mSX[JbDdArpX_lKUOJPDtAoPVom[TwJhDiAlpZ?jkUkIxDlAkPZojSUwIrDVAhpT?isTSIdDbAgpW_h{UCI`?g_TOIWDCAi@R?j_UoJGD[Au@XGu?sOYgLKEmBZ@k_vO[GL{SMIHDDabPQGg{QqHZCjcaqPxGsbCP~GoC_QK`GKbOQFGtCaQKpGS`wPVG_CUQFpDSagPDGkCPqIpCKasPHGeCVqHPDsa[PZGhCVqI@Ds[sPlFNC[Pr`E{`eOtGWcIqDxAs_{PNGPCSQC@DK_oPHGeCFQHP@k_cPrGzCDqA`FSaCOFGDCPq@@CS`wO@G_C@QFp?K^uN~F}cW`whE?]QNEGqbqaKw{obUNMGsbnaOg{GcQN?HBbmANwzocEMyH?c]@tgz?buP{FVbhaMXFW\UMgGybgALgyObaMaGvbcPqWw{[mMXFIb`aPXGw[EMCHEc]@nhFo[APyE~b|A@g~__aNuGFcL`|w~G`uOwFwcH@|HA_^YOeFtbw`yw}W]uNcFkbv@yG}?]iN]Fhba@uwzO[YMqFD_ROHwCkAU@L?f_POHGC[AI@H?bd]_{g][NQFpBx`|O}w^kNqF|C?`~p@G_kOYGNCHaCQlpTkikTpIkD[qlpTsjcT`IwDVqm`UKjoTfIzDXQl@VSjWTxItD\qi`TkioTPIhDTql@SkjWTNItDRQg`UKiOTfIbDXQfpXKkgTBJJDOQp`RchwUPJFDMqePVsj{StIZD]qcpTshST`ISDVqahPcgmSHIEdAq_PXKkkSFJID@Q^`Xcf{U\I?Deq]HNKfiRvH|c}Q[`VkfOT|I~CxqoPMKk?R^JACwQo@LckCR\JACuqYPWsekUPHiDbqopKse[UJHgDaQopK[kSRJJCCqQr@KKkwRDJLCoQSXISdMQhHUciqTxJKdaQtH[clqQxHccuQ`HNcfQQHHSceQyILcnabxJogySMIQdCacHP?hERiIUczAdxMwhaKtE[bLpfWr{XyLFEdbQPhgtCY]UwL?e^AvXZWr}WhKUeIrCxaKpIWAK{e]b?HfWn}XuJ{e]a~Xf_nyVWK~e_Ayh\WryVMKtdsbLx\?rYXoJce[axXfOmYVAKtdpbLx[OrYXoJ]doBMhfGl}U`JPdfqshYclMUjJVdjQuHZSleW[K_ePBCH`wqEWyKJeEbFx`_pyX_KHeWbAhdwoaWsKDeMB@xbWoYWmKAeKB@H_WpeVqKed|bIH^Oq]VkKbd{BHX]wqQXcJreYA|XeWnQV_KkeVA{hdgnEVYKhdvbIx\oqiXRKjeTR_xokwQ[@MAf?raPhksw[VLNFDRaPhcwkYVMIEdR[PmcvKZlLqEyr``kSuO[PMFEprOpkKt{YDL_E_rV@lCtsZRL]EtRUPkktkZNLYErR^Pisv{YpL}EjrSplsv?YjLnEiRS@m{tGZpLPE{rQPlks_ZVLFEuR]`gcvoYLLzEapiwtKYiHXClaTqcHQShESZINdFQ\XM{fYQPHIccrmPwk{[\vMyFbRmPwc{G\vNBF\Rnpus{C\pN?FZrnPu{zw\pM{FZRn@rCzw[tM|FKrkxukzQ\bMqfWRc`wk{[[hMRFbRc@wc{G[^MPF`rnppc{C[\N?FEri`scyW\XMjFQrhpsKyc\FMgFPRf`tky?\^M^FVRepqkxs[nM[FJR}@DSaqPVGlcVqJhEKbIP`GrcYqLHcsq]XPKbeQrHHcKqIX@K\eNrFhbSpqWvKVeKrEH^{oEW@J{d~Q~YAp?E_oOBgJc?i?H?Q_EOEg@C@X~p@e_?OZf~cEh~p?]_QO?f~cAI@g~m_]N|gFB~I@_~m_SN|gDb~IA_~a_iNxf|CCx~@@A^sOQf{cCXyp@I]gOOficCYAo}}_oNpgJb{H|`@M_iNmgIBzX|H?]_QNjftCAI@g}Y^OONgFBxx{[}U^HN_fpRwXzh@e]}OZfnCEi@O|q_WNYgDbuxyx?Q]qODfkC@h}w|E]eNtfhB|h}g{y^mNOfzBrxxW~I^gNLfxbrHx?~I^gNIfxbqYLOj]TrIwd\QnHV[uaZTLheqrXxksuIZHLbeorWHj|EsbfPnGysZaMdEsb`PnGxSZaMLFcbTPkG|s]aL\EgblPkG{S\qL\C}abPOgfSRIHlC?bfPAGysOQMdF?`zPpG^s[aFtFc`tPzG\s]aFdB[blPwG[s\qFDEc`fOpGsSXqETB?bNOnGssJaLDAkbHOlGrSJAKlEO`POiGrSXQDLEC`JPbGRsWaCtEC`DPbGQSWaC\@{a|O`GoSGAJ|@oa|O]GoSFQJ|DG`hOuGiSLQI\DkaRPJGmsVAHTD_aLPYGcSUQG|CKajPVGasTaGdKOdvQ|h]SmIVTJecIRBhBcoYOpKIcGR@h@CoyOXKId{P~h_C_YVxGAbwQ}g~CoINhJ}cOQkhVCaYPPIudQQthTclyTPJYcuQshMCkiRPJMd]QVhKckYR@JAcyQShNcdiRpHUdKQPhSCcySxHIdEQMhQccIS`G}cYQ_hECgiPXIE^dNsfxr|X}{~YelRWhjsyy\lMqfaR[hxcvi]PLuf[RXhwCuyZPM}eMRmhwCqYX@M}eGRphbC{yWhNIfORRhtCtY\HLQfIROhgcxy[pLIe]RchpCriXhMMe}RIhocrI[@Kmb@P]gnsWYK\EIbHPegqsYILLE]geRsiIC|iaPNUgaSSiHdByaPPAg[SZiMdBYb`OqgQSTiDdDy`PPYgKSWiCDEi_xPegFSDiAT?I_TOEfySTh~dDy^pPYfsSZh}DFY^XPqfmSWh{dEi^@Ped|R?h^soYW\KIg~S_iNTMYf\RihSS{i^DJIfhQmhMS{i]dIYd@Ryh}Sci_dHig@QUh}S`i_dGyg@QIheSoiXDLYe`REhkSli[DJyexQyiCTPihdPIgXTIimTMikdSIj@S}igTJijDRYihSqiOTDidDPyhHSYj?TbipDXIkHUUisT\indVIjpTmAF@A__o{G\{NEFRBi`tptgzC\]MdFObgq{x]knQV`JqdwrbxqKxA[XMMfEsPiHDC]aFPDgaSpyXLKaeHREhatKIeTREhZSniVTdaqDX_kdUVJGtbQq\XSk^UMJITaaqDWokdUJJGtbQo|W{kRUMJCTaaodWokLUJJAt_qo|WGkRU@JCT`AntW?kLT~JAt_qnlWGjxU@I|t]QntW?jtT~I{T\Qn\V[jzTuI}T]AmTVOjtTxIxt\amDV[jbTtIvtZAmTVOj\TlIxtZamDUsj^TkIwtXaq\XSjPTfJITYQqtUkkpTiJJtr?As@a?n?X_LoEiz?@q?|?\jn?FwCKAAAf@T_iPTGi[TIIpDYakqWxKkeQR@HacorQHhKs]YLLDeaRuhzc|m]pNXfjsaiPDGecXQLhDs|i]dNUfnRxh{TOigdSMiNTEiau@R@l_WoVWFKEUAB?T_OoTWBKCu@r?L_So@WEJ~u@A~d_KnzV}K@T}Q~t^gnxVzJ}u?A}t^_oBV~Jzt}a}\^knjVxJyT{Q}|^_ndVoJzTzQ}d]{njVmJxt{Q|\^GnXVoJtTxq|T]cnXVgJttzQ{d]{nLVmJqtxq{L]GnRVbJsTxA{L]KnLVaJqtvi{D\}m~V]joTeQz\XkmzUYJmTpb@D[_oTVFKCtor@l[SoVVCKETuQwD[GmpV@JlTuAvl\gl~VXJ^Tmayl\[lxUzJjTlqy\ZcmhUwJhTlQyt\[lhUuJitkQyd\KlfVQJXTjax|Z?mbUnJgTiqxdYsm\UkJetrqtD\ClTVOJStrAsl[wlNVLJRTgaxTYOmVUbJctuqr|YCmzU_JmTfAxTXwmVU\Jcu\?@c?i?V?L_FoBjO?@I?`?PlB?CwAk@QsPYFlBUaJOtg]o_YBkFE`J@xgUr[Wwk[e[JFPe}pyXok]EZjFXe}s?Wtl?eLzOPbYpcY?kYE_jEXgEp]X|kWe^zE@fypWXzk}EJZNPaypUXzk}EIjDHfiryWek~eIJNpa]rqWbkQe]JC`f]rgW_kzEGjMhaEo{XvkNe]ZBhfaowXtkLE\jBXfQoqXpkxeDzMP`aogYBkJE`ZAhgQraWPkxECzMX`IrOXaktEXJLHeMq}XdkreWZKpeAqwXUknEUJJhd]qeXXkleTZI`diq_XIkhERJIHcmqMXLkceRjH@c}rUXCkbEZZGheqp{X@k_EOzFxcIus?U_KODwAs@a?n?X_LoEgBK@m?tZk?MOFgBk@q?|?\kvU[JL|mwvhZkLxUzR]\m{vdZpLyU{B]\lgvNZ[LsUur[tm[uzZ^LsUxbZtmgvBZjLpUwB\LmKvRZiLqUyr[lhIshYRlJUdzQlkwv`ZnLgUrr]LkkvXZLLvUrB\lmKuPZILquqR[dkSuzZ^LbupbZtmCuFZaLaUwBWTj{utZ@LmUoBZ\l[sVYILkuaRZDl[sZZXLFUuBPdlOtxY}LjUtRVljKtpYtLZulBUtjct`YzLXUmbULi_tZYhLVujbS|iotJYiLRUirSdiCsvY\LPUgrRdhwspY_LLUfrRLg{udYPLhusRQC?q?V?I_DOBG@[?u?^?M_EoBg@|s{?`?Q_GoCGAK@IunZXlkTqYx\[imhVRjhTtiy|\UmvV\jmVSBi|tCyl\NMivSbiltOyn\RMjVQRf|rsyT[}MdvQRgDsGyV\IM_vPRhdswyH\LM`vRRgtswyP\FMeVUBfTtgxx\XM\vLridrcyd[wMhvSRets{xj\OMYVPbeLs_xf\FMXVObeDq{y@[mM_vOrd\qsyJ[kMaVNbdTq_x~[|MSvHRkLuKxN[eMpVFzcDqExF[cmPVFBkLuKw|[\MpVUBbLtgwv\XMLVDbj\p_yz[VMmVVba\u?wj\^MIVUraLtswd\[MGVBRkDo{y~[MMnU}z^lnqv|[?l~v?j_\oEwH[EmAu|R`\oovnZuMDU}B_|ngwRZxMCU[ZMTfMrxXzk|U^ZN|fysFYClAvoRmt{Kzp^AMzvarvDws|t]KN[vaBvDwg|t]HN[v`bw\wS}B]FN`VnboT{?{F]CN^vmrn|zs{B]{N?VnRndzoz|]zM}v]bv|vk}@\xN^VZJl\uizZ\nmvV[JmTvEzf\tmyVhRulz[|H]uNPvkbsDzO|D]rNOvfRt|z?{~]pNNVebtLxo|V]ZNTVdrttyo{r]lNKVhbqdy_{l]fNIvXBqTuW{f\dNGvXrptw{zR]OMsV|Rwl{W~l^sNaVyr}L~K~Z^qNuVyB|t}g~`^hNvv~RzL~{}v^}NlVuB~\|W~x^VN|Vsr{l}[}j^SNrVsb{D}C}`^PNnvwbxl}O}^^bNfVvBxT|w}X^\Ndvpr}|{c~r^GN{WGOB{AE@@?`_OOFzFDbiprWzk]uNJ_|oewP[JmEVAkDQBB@W_qoTgK[DiA^@Q_moVgIKDQAR@W_eoTgH[CIA^@Q_boPGIKByAF@?_boNGGkBqAR?}_eoOGH[Di?Z?O_noVG@{?YBB?I_qoAGK[BA@n?s_\oKgFKAi?B?m_AoJG?[@a?~?[_OoEgC[@I@J?e_IoIGA{K?@Q?j?R_HoDWAdm]vLZgltuyZ\TgesVYIlFUbZPdzA|b]nnUVjjtlye|V]inRViJs|wy{`]NnHvcjqMGLB^a@OwW_cMMEpB~`mP?WZSNuEdBj`vOtWYsMuFPBT`jOxw[cLMFlBL`fO}w^CLEFhBN`wOrW]SLEELB``dOwwXCL}EDB\`aOuwWCLeEHAz`_OnwWSJuELAz`dOnwXCJuDd@f_tOjwLCJEFxAh`UP?WTSN}GDAbaBOhw_cIUCxBj`vOgW\cH}ClBv`LO}wRCNeF`AP`IO|W]SHMCTBh`EOxWPsM]CJAH`Bo^wO[GEDh@x`[O^WUsFmDd@r`VO\wUCFUBXAt_wOmWLsJ]LGyV\ImcvRJhtsu~L^dnrvwj{d}M~@^^novvJzt|vEubTpmgt{ZaLZEibWplGtkZIL^Ecb`phgw{YaMJEeb]piGv{YQMBD[b`pWGw{TyMJEuajpUgv[ZaIrEqagplGikTILbDIb]pRgwKSqL~C~a`pOWf[RuHrE]aXpgGe{RQLFEWaUpfGeKQyKvEUaTpHgqkXIHRC_bHpHGq{QIKjC[bGpFgpkPiK^EKaIpEGqKWyGnEaaHpfgaKYAG^CKbLpfG`KOiKrDsa|p]Gn{VYJzDob@p[gokWAJ^EEaspaglkWaJVDCappQGk{SYJJHWc\qNxFkbUPrGvciPuwzsdMQlF\chPtXIs\eQhFVcePrxHs\MQ`FPbcQRWxcdEMTHNcOQOXGc`}QDG\boQDw{c`mNDGXcHQQxAcc]O`HHc?Q@X?S_eN|GFcDP}X@s^uOXFzcSP{w}samNhGlcWP{W|cbMP\FncPPxxCs]mPHFh`VokwUKJUDrAvc~QlXOCj]RxIrdIqeXQ{hESfINdUQaXUCguT\IJdXQVxKSj]ThH`dUQUXUCduT\HZdRQ\xNSimRpIhcwQgXScfURdIbctQ_xLsg]RXIDcqQexKsh}RPI\bEpcWp{XUKnERbKpfWr[YMK~E`dyQmXVcneTtJvdvR@x]ComVdKHdsQ~x\cnmVxJje@Qwx_cmUVLK@dmQ|X[CneU|JvdjquxZKlMUjJPddQ}x^sk}VxJLeCQqXWsomUHKFd^R?XWSoUU@KBceqSXH{dUQnHRe`rPxgksEX~K|ecRHXdCsuYTKfecRFxhcqMYTK`eMRRxbCtMWtLPeHRRxactMWlLPeXRBXeCpEXhKNeTRLxdsrmXXKxf?RZXmCv}[DLneiRYXisu]ZTLXeoR]XkcvuZDLzelR[xjsv]YxLtfJR`XrSwe[pMFfDRdXpsxM[XMP_^oOWFkVUJrDvavp[wmKeMQ~H`ckqVXJ[rEXjKreVrJXd[|A]BNCffrohxk{Y\vNIf^rqHvk{Q\jNAfZrmHwKzA\vMmf]rkhv{yq\jMwfTrlhtKyy\RMkfXrkHt[xq]ZM_fgrfhx{{Y\FNIfRrqHsl?w?]?R?GomwV{JuN~GBc?p}W~k^mUJJHdbqnxW[kEYjLXejrUxj{tu`dOlgWSLyEdA}`xOjg[SHyFTAe`@OlgWSHYCTA}_|OhgLSIyBdA]`@OTgQSEYCT@]_|OXgMSDYBT@]]hOBgBRsy?c|]`dN|gYS?YEs~}^lOxf{SMx~TBu^hOPfwSCx}T?}_\NjgGRzX|t@M_PNdgERxy@S}e]|OBgBRwy?c}E]pOHfmSBXzT?mc{?H?E_AyRtD}b@QbgmSgYRtD]dDPZhOSUYITHeahQ\ggSeyHTHMa\QVgeSdYRDCUaLQ\gcSeyQTB}chP@hJSOyNTG]cTP~hCS^YMdGEbpQDgzS_yMTEMbLPngqS[YPdEec`PlhFSYo@w@C?e?R?F_CY]TMQfZRahwswI\|MYfZRihwsyI\|KyfNRQhtssI\LMAeRRKhqsqi[\KIevREhnspIZlJqejR?hksniY|IQdfQshSshiULJYdVQyhVsmITg?c?U?L?C_BO@\RQ_FOFgAsAY@l?mhDSriRTKYcdQ}hPSriUTJydTREhtSJiFTNy`dRuhPS\iUTGYdTP}hDSViRTEYcdPmg`Sti[TDYaTR]hpSHiBTLy_dRUhtR~i^T?yfdOEfjRrhzs}Y^lNmcfQVhIsfYR\HejxTLigT^yhtWEkDT`jBTVyodUMkDTXjBTVYodTmjxTRj?TTyntTUiFT@iatPyhLSmjTTvi|TZyldVejHTpisT\YktVMlXUHjWTbYttWmlLUZjTTfYtDX}khUbjKTgYqtYUldUNjHTlyqDZUmHVJjcTrywt[ul|Uxj]ToywDZmfZRnhwt\yn\VejbTtixtzIzl]anBVijntvI{\]AnJV]jrtyIyL\InVVSjutti{\\inNVWjquBIeLRMh^UfjTtiYslYMlBWWkGuFJ@l`io^WSkEuDjAL_yofWEjxt{J@L]yoVW?kHuDJ?\`YoJWYj|t~jBl`anzVskDu@i~L_annXGk`UIZGta]qHWdkbUFzGTaMqHW`kUULzDTbmp\WxkWUNZGDbUpdW~klUQZJtcuqxXJkgUTZJDdMqlXNkDuAZ?|eqrBXokpuZjKleyrNXoktuZJLLcMqNXD?@U[jN|gG?LXt?AU\jOG?QrpX~l@??jNg?YrtY@