CAT(2888,2)

Sparse6:

:~?lG_?O?G?CC?@s?{_\?MwFWBqAS@H_coQWHCCYAN@R?fORwHsCuA^@L_e?SWI?CiA_@J_h?QwH_DIAa@I_`oPWGcEwA~@^_oOWWKKEABF@c_qOWgKSEMBJ@f_rOXgKkE]BY@R_t_TgLgDUAo@j_i?ZGIwEqAy@i_l_YGJ_EaAq@i_n?YWJOEe@z?~_^OOgGKCABV@l_uO]_Q[FoCdAQ?}ocoNsFkChAS?~oZoPcGwBf@m@EOb_MCFGCZ@p@EoboMsFcCbAN?yoc?M{HCBh@w@GO`gP[GeCTAG`Bo_GOcGECFAA`AoMwFcBiAd@P_gOfgR[HqCzA_`NohOUkIWDjAr@Ool?SSJODFAc@XohoUsIcDnAi@Zoj?VCI_DpAj@ZOdOTkHcD\An@JOk?Q{HgDdAp@KOMGE{Be@z?}_^ONWF{B}BF@c_pOXWK{EYEgBY`j_ugZWLUEwBX`m?uGZWLYDsBS`\_tWV_L]D{BX`j?mWVgLaEVBK`eorgYCK}EyBG`n?qgZgKeEIB]`b?vwWwL}EaA~`g_oGYOKMEeB@`h_pGYOKIBr@s_{O\WMsF]Bt@z_~O^wNcFuFLBg`royW\[MiFyB}`~_}G_?NeGABya@?}w^_OMFcCC`x`@W_wNUGQBvaC?|g]_OYFWCC`u`@W`GM}F_CEaC?zg]GO]F{B_`~_wW_GMIGCBda@_ww_?MQ@n?w_ZoMWFKBaHa@g_tOYWTcImDNAh`TOiGe_REHiCpaZ@KgeWReHeCwaZ`KgdgRAHSCmaS@JgdWQ}HQCoaU@JwbcPuHBC]aNpGGe_PYHiCVaZ@EGf?PeHqCZaZ`Egd?PAHYCPaH@IWaWQiGgCjaI`JG`OQIGUCbaF@Hw`_QQG]CdaE`HgEcBU@lD?aaPOWgSSUIFCyAnPMojsT{HxD^A^pW?fkRwJ@DXAhpTOj[T_IdDSAlPTojkTWIxDKAbPROg{SwIPDJAgpQ_iCScI^D`AupWolsUOJ^DaAwPX_mSUSJbDgAyPXom[VSJRDiAzPZ?nCUkJnEG?YOLGEkBU@l?ubG_OwG[CQAH@D_ao[GLsFMB^@q_womWVSJmDzA}`]PBw`[OiGXCLaFPgorkYWK~EdBNPi?sCYGLHE`BRpdorkXgK|E`BLpf?sCYGKpEXBNpeOqkX_KbEYBHPf?q[XWKnEZBIPc?pCX?KREMBDPaopsWsK^EKBFp`_qKXWKJEDBIp`_qSW[KhEFBHpgonkY[J|EcA{p^?tCVgLLEdA|p_?pCWcJ~E@BDPaooSWsKHEKB@puODsA}@b?r_WOKg{OCYAN@E_boQGHCDMAh@V_ioUGIsIuD\Aq`VokGUKMqFZBm`vo{W]CSYINDJadPQGhK^gNhFzByp~?}s^{NnF}B{P}O~k]wNhFnByp{O}s^GNnFxBxp{?~C^CNZFqBuPz_|C]{NRFrBtp{?|S]_NDFbBspxO|S]ONVFeBupxo|c][NBF^BpPx?z{]SN@FbBoPx_{K\cLRFYBTpj_z[YoM|ElBmPvOtS[sNtFMB|pro~s\?NxFQB~psO~k\cMNFZBcPv?xK\wMTFYBePvOx[[IMFF@bbPpGwkZyLxEzb]poGv{ZcMfEvBiPu?usZgMjEwBjplOysY{MfEoBiPkOykZGMnFWBXpl?ysAa@R?i_ToJWDcdOH`CmaVpXgkkUEJDDcapqV@IkdSQvHSCkqT@JSdWQnHUCkQI`I{akQpGkCkqJPJSdoP^GmClqFHBC`iOvG\cKqD`Hs`[Q`HPCHQS`A[`OQ^HRCIqB@HsdCO\GNChQBPIC`CQ^GOChqQ@@C_WQRGFCdQAPHkcoOVHJCDQQP?CcgOBHGC@Q@@Hc_SQVHLC@qF`GS`{QFHFCPqG@GccWPDG`CaqK`FsbKQ@GpC_qNpEkbsPhGoC]QM@CcaSPnGeC[qHpEsbkPRGgC\Qf?DsA}@b?q_XoKGESAy@^?o_XoKXToh{TPIjDMQj@RkiCTZIiDOQf`TKiGTPIjDPqj@ScisTJIhDRqi`SseKSxHfDOqY@RkhwRHI^CrQg@KkhESdINdGQbXPsiKSNIGDQQaPSkggTNIKDPQapSse?SrH^DKqWPR[dsStHaDLqV`RShKSBISD@QdpOkh_SLIUD@qdPOcfSRvHuC}Q^PM{fwRpI?C|Q^pNKesR^HmCwq[`LKegR`HsCtq[pLcAa@R?j_UoJGDSAa@T?h_ToJWDcnWMfFSbipuGys\]VGJodwayX[gnQVKJtdra{h\?nMV_Jidta{X\wnMV[Jqdua|X\_nQU|J^doqwH[SmMUoJiduAuX\WliV[J\dvaux\glqUkJcdhayX[glIVKJSdjaxxYgmaUSJzdzAphXWneVmJFd|AqH^?keVkJ@d{apHW?n]UCJyd|apX^?kMTdIndWqkHU[iyThIwdZqlXVKjYU[IydfamxYGjqU_I|d^arXX_jyQ\HPcfqSHISdMK\EObFqLhFKb]PpGzc\RN`gKrwYDLBE^rP`gCsSY@LCE^rM@`CroWVKxECrB@fkosXtKzEDRHHcCqEXDKdePrD@gKsKWjLCEJRDpgkpcYLKWE`RM@`srkWdKxEFrNPa[p?XxKyEGq~H^koAV|K@d~r?h_[oYWHKFeArH`esq[XdKgEXrIPecqgXjKjEZrE`dcq{WvKoEMRKPbkqsW~KmENR_?CsAU@NIXdLqehoKwA[@M@f@R_hhktIY\LNegrSHmGwMZkMBexB`HogvM[ILseyb`Hngs]ZyLGe~BQXnosqZ}LJe~bQhjwumZWLbeoBZhlwuEZGLoepBZXjGuUZML]elBXhjWuaYwLiembYXiWv]YgLweib]XnOtYZwLWe|bTwCSAQ@FL}e}r^xtSy}\\MjfUrjHqOzA[eMofWbdHuOxU\aMVfXBdhowzQ[OMsfXbaXoozM\iMJfYbahrowq\?MLfNbbhsGw}[aMbfGBghr?yQ[qMdfRBehrWy][yMhfMBiHTSiaTRIldUQixdcquX\KpeWRJxcsqmXTKfeSrIHy_}A]iN`fjBwhz?}Q]mNdfpbuXyg|i]kNZfjbvHzo|Q]}NXfmbuHuo|i\mNZf[BvHzwze]{MzfmbmhxC{u]VNKfcrqhv_}A\yN`f^Bwxvw}U]ANcf_BwhwO{y]ENNfabsHw_|E]MNRfhBpiA?AI@D?b_QOHGC\@cV`JpdxQ|H]knMZVLkewRZXl{uyZJLferRYHlSue_qOdgLCHyBXAY_wOggTCFiBhAe`?OYgNcEYCH@m`CO\gQCFiCX@q_kOOgJCCYB@@M_mOQgICEIAh@]^dNrfyR|h}{~U_KOfgACHY?hAY_MOggCcIi@@Ae^{OOf~cCY?X@M_COQgIC?IAh?E`?N|gNb}IC_~q`ENygOb}YCO~m_SNkgDbzy@_}u_YNpgFb{I@o}y_SNfgDbxh|@?q^QOLftcBx|P?yb_?d_ROHWCsA]@NOUgKSDxoswa[NMHfDraiNHFAbuPpg}C[iNPFMb{Ptg}c\IN@EiboPngtc\iL`FYbmPlgzcZiM@E]baPggrc[iL@FMbQPtgsc\IH|DAadPPgiSSyNHCMaGPzg|CPYN`CYb{PGg}cPyExEmbWOwgvCMYLxBqbYOzg\CYiKHBEbCOqgYcXYKXBM`kPcgrCLIKHAq`UPagpcJYK`AybKOogqcJyFhDUasO~g_CTiIxByaCPXg_cUIJ`CeauPIgdcVYH`Dya[P_gecVyWHEabNPhhVskIULJIdfQsh\cayV`Gqc[Q}hEcnYQ@KAc]Q~hCCoiOhKEcKR@hBcoiPPKMcQRBh\c^yV`GAcCQ}h]c_YO`KAcEQ~hPccYS`HIdIQShRCdiSxHMdOQThNCliRhJUc}Qvh\CgYSPJadqQ_hScdyR@IicqQjhLCjITpHqcuQlgDSBi@\?q_^OLhaCziWhM}f_REhwcpy]PKafeRHhpCzi[pNMf_RbhwcxI[xM}fIRqhmSvY[LMAe|R^hsCti\HL]fSRWhtcuYZXMuesRkhgCqiYHKmecRKhhcrYXxLUegRMgosWyKTEQbLPdguSYiL|Emb\PlhyS}Y]tNUfnRwiEDEI`hPeg[SYiFdEybhPAgaS[iBDCi_xPQgOSRiCdDY`XP]gSSUiHD?Ia`OEgeSDiId?yapOIgmSCiKC}i^XPefwSZiMC~YbhN}f{SYh\sniVdKAdzQ~iWTKYedRUhdSriTDNIfpQmi?Sli]dJIgHQ}h}SmiQDNIfpQUhySeiRdOId@SEhQS~iNDLibxR]hASziODMIcXRihCSxiiDRiihS}ikTOijdSYiXTeioTQicDOihHSMiUTEidDPyhhSUiWTCioDUikHTmjCT[ipdVYjxUUi{TcbAp`go{bQP`GpcXQLXE[kAUBJAdaQpXW[tYYhLTekRSxi{zY\rMyf[Rmxu|Bu`~P?g^SOiGLKQeJREhbsqYXDPyhBSaiPtFycDX[kbUUJHTbQq\WwkhUWJFtdQqDWskNUMJCTbqpLWgk`UKJGtaqqTWCkNUKJ@t`ApDWSkRUIJBTaqoTV{kBUBI|t`AntWSjzU?JBT_andV{jrTtI|t_AnTVWjxTvI~T]AnlVOjrTtIvt\amDV[jbTyIxt]AmTUwjfTlIxTZAmDUojbTsIvTZQl|UWkfUVIrtYaqtU_khThJKTdQl[@Y?n?W_KoEwBT\S?x?]_Mtv_CC@}@BF_bopvxLkeeRTHjcvQZH`ComWRKIeErBHpcxA[^MMfGrbX~k~a^rNyf|r~IQLHIclQRhIsdI_DOEgDSDiAT?ygTSMiHTEibtPZ@@_IoEWHkAEAj?p_uoMWKkAeAy~`_IoMV~kBE?Z?X^uoGW?kAd~i~`^YnyVvj{D~i~H^}nuW@j|E?I}@^]noVpj{d{i}X^YnuVtj|D|I}@]ineVjjxDzI|h^Un]VsjvD{Y{`]inIVjjsDzI|h]Yn]VfjvDyY{P]QnCVejqdwY|H]EnEVfjpdyIzt\yn@V_jntvyrH\mksV[jLdvYzPXqmqU]jkDfYwX_amGWHjaeAiwp_mmOWLjbeBIwH\UmmVAj]dtYyxZym?VUj^dtiux[}loVOj[dsYvX\IlwVSj\DsyxxZEm_UqjhdlYup\QmaUsjhDkytX[elWVIjUdqyx`Yym[Uojedjysh[elKVIjRdqyx`Yam[UijediYzhX}lEVZjODuisH\alGV[jPDuZM_?i?V?K_EoBw@tg??d?P_GU`_Ak@M?hYGlBU`zO|gasLWMKvUCbL|`Cr`XpKFu[bADfKofYBK[u_rFDbosJWzLAUNROlbgsHWqL?u_BEtg?pnWsL@ULROTbKsBWkK|UJrNtasrvWpK~uKBNlfop\WeK|U^rD\a[rvX{KSU^bDLfspTXsKPu\rCDaCrrXtKPUHRNDaOrlWYKyUFRMl`wrlWZKzuFBNL`{rpWSKvUDRL|`Wr`XpKJuERM\fGopXgKpUYRK\egrHXjKquXrLleWrXX[KjUVRI|dwqpX^KkuUrKLe?qtXOKdUSRH\dKqXXSKeuSbH|dSq\X?KaUPRFtcWp~XFK_uQRG\c_qDZY?JODwBC@e?v?Y_JOEGB[@e?n?Ylu?FGBc@u?z?]_NU_zOlgQvWZqlue{j\pnMvaZslwE|J\xnMusZelmeyJ[xlyuwZhlneyz\Plmv?ZeltExJ[Pm]vEZgltexZ[HmeuUZkleEzj\hkuu[ZnlgE{ZXxnAv?ZDlqEpj[Hk]vEZGldExZXHmIt}ZYl`EvZWXlyu?ZZlnepJWHlqsjYUlJueZRThauqYLlDEtzYxgyuoYKlCeuZPXlas]ZPliecJYphEugYSlHEsjQXlMteYxlYEmjUhjmtkY{l^EmJUxjutQYllTEkJTXjIt[YflUEkZT@i}s{YblOeezS@iIs}YclMehjShhq?T?J_EOBW@{?y?T?J_EOBW@{?yy]?O_GoCgAS@E?`ZVlkuuIx|\AmfVPjiTsizl\amrVZjmTuji@tYyg\TmffTZiHt]yc\VmhfTjfhsex{\JmdFOZhhsAyC\KmfFNzgXseyG\JmfFPZgxsiyY\EmcFRJj@o]yy[HmmFAjjHoawW\ZmDfUjexs}xo\Om[fSzfPtQxw\Qm\fSZgXrEyG[qmafKzgprQyO[umbfLZfhqmxW[}mUfNzdpsAyC[omVfOZchtyxK\^mRfWJkXqaxQ\`mTFWjb|qAxB[amQVGzjppMy}[SmoFDZapuEzE[WmJfWjj@ouyq[MmlFBzjXpEyy[QmmFCJ^\nqv~[?l~U~Z_LoIwJ[BmAV@j]hpevk[YlzfEz^Ppqvq[]l{FFZLte}r`XpkxU[zN\fqr|X|k~u]jv@wy{]]xnGFmjv`xM{a]|n\fcjp@za{Q]xn]FbZvXwm{S]yn]fbJvpwI|}]BnAFoJoh{M{K^AnBfoZnh{Mz}^Am}Fnjnp{A|}]@n_f_JlTumzX\lmvvZjmDvEzd\tmyV[zuPvY|e\vm{flJuhvazu]vm|Fljs@yq|G]nnOfjZshzA|a]anPfjjrPyY{u]fnMFizrhye|O]^nNFijk`xQzI]TmrFdjkxx]zQ]XmsFeJ}`{Q~i^Dnbf}JxH~]}O^xnbF|j|@}y~Q^nntF{J|X~E~e^lnxFzJz@~q~y^Yn~FuZyp~i~}^Znjf}z{P|A}a^bnhFxJyX}Y~M^TniFxZz`{i}y^JnnFrJzx{u~A^NnoFrkCGAA?~?^_OOGWCLbeppWyk\uNZFdpewt[ZmMVFjbmAt@N_mOSWJCD}Ad@d_iOWwIsEEAD@P_jOPWJCC]Ah@J_hORWHCC}@x@D_]OPwFsCMA@@L__OQwFsCeAt?L_mOBwACD}?d@`_JOXWAcEM?@?p_@OKw?cBU?L?v_DOMw@CBe?p?d_ROEwDC@u@T?^_VOGwDcAEE??f?S_IoCwAk@QvLZjltUxz\LmasRYIlDubjPdgu|X]nnUvkJuLyy|L]fnSViZt\yi{l]VnKvdZrDxRBWa?p?gZ[OYFFCC`movg^kMAF~Bo`eotg][NaEfBs`fo}gYkNYEbBK`qoxgY[LAFRBm`fotg\[MqEjBE`moogZKKQEvBG`noqg[[KAFBBE`^ooGV{KiDvBA`\opGVkKaDzAm_roYGUKFADf@m`YoZGVKEiDnAa`}ohG^{IYGBCE`SojG_kIiGFAU`woeG][HiFjA[`zogG^[HyFrAI`qobG[{GyFRAO`todG\{MqCfAB_~o_WOkGeCNAo_xokgMkJQBrAw_|ojgNkJYBnEc\HmdvQjhdsyyZ^anpvxz{d}Y~J^[nmvvjz|}E~@bQPnWssZ}LPF@bUPpwwSY}LTFDbQPkWuSY]LhEhb\PiwvCY}LlElamPnWjsZ}JLFFaoPoWkS[MJHFDagPkWuSTMLlDTb[PTwjSZmLhDXa[pNwf[SEIFC|bKPJWsSR]H\EZbMPKWrsRUHdE`bEPGWcSXEK\ChaQPdwqcQmKdCfbEPDWpsP]GpEPaLPcwbsX]GxETbOPCWsSPMG\EXaCPewrcOmK|CLbCP^WmcWEJlEBbDP]WnsWUKLDzaaPYWgsUmI\DlacPZwmSSuJ`DJckQLXE{bePzG~c\qSGykcqMnHMbkpvhI[dYMvHSbmpqHIKcqMVFMchqRgxk\IQnFOcipwHBk]IO~G_bqqGg{{aYNVGcbsqCHGK`IQFGUcaqDHG{`iQVGWccp}H?k^qONGIb~p}h@K_yOBGKc@qIG|kaiN^GmbwqKg}[^YPZFscWojwUKJMDjAx`ZqfXQkhmS~IVdKqjHPKiySVIMdWqcHU[jYSZIQdYqjHJKiyQvIocmqkhJ{eITnIscoq^HMKfyRfI?cyq_hM{fiSNHwdAqXHSKeYTFIgcsqhHL[iYR^IicupbWqKW}KfEVbIpgWrKXmKzE^bPqoH`[jiWFI{eAqoh_{oATrI}eCqyH_KmiWVJke@qzh_koYVfJoeCqvH]klyVrJ_dzqwh^[mYV~J{dqqsXY[lUUnJZdkqpH]kkYVnJGd{qqh^[nyU^J{deqSXHkc}QfHVcirDX`ko}WbKVeHrQHckqaY^LIeRrIhhkqyYfKkegrEHhKpiYVK[eerFhh{qIYfK_egrKHfkryXfL?eYrOhe{sYXvLCe[rTHlktiZfLUevrUHmKtyZnL[eyrWHnKuIZvLce}rXhn{ui[FM?esr`HqKwY[fMGfIrdhp[xi[^MWfEoNWGKB}JzDva{p]wmkV}QrHZcmqVxKKeMXbKreYrLxf[re]LMzfcRnXxSz}]XN@f`RsXwc{}\\MzfWRnxuszu]HMrf[RoXwSzU\dMhfWRiXtcy}\XMvf[Rixucym]LM\fcRfxxSyE]XMbfgRhxxsyU_[?N?H_CWV[J}DzG@b{q?w~[^}NzIxd\qnxW[kETzLTelrTxjKt}YzOugVsKiC|Ba`RO{gTsKIElBi`ZOYgRsHID|@q`RO]gTsKICLAI`ZOcgJsFIA|@y_jO_gIsEiBLAI_rNQg@s@Hy|?Y]jNWgCrvI@k|i_VOqfzsLH~LBY^vOwf}sNI?LBi^~NmgHsBh|k~A_fOMftr{iAK~Q_bN]g@s@H{L?Y^FOIfssAH{|?q^I?H?E_AySdHQanQUglsVIQ|EAcfP]hHsdIJLCqcvPIhMsgiH|HyabPShKsgII\CAczO}hLsPiSLIIaFPGhKsfiGlFicNQGg}scIOLGib~QKhAsbiO\EIb^PqgqsXiMLFQbRPwgus\iLW@C?]?N?G_CoA\NIfPRlhoSzy[TNEfHRphrSzy\TMuf@RHhdSwyXdMUe\RfhhSyyYDMedxRTh^StyWDLeeHR\hbSvyWTLmdXQrhQSkYUdI}dlQfh\SiYVDIk?Q?H?E_BO@W?mhhOBgAsBY?|?m_RSaiVtHId|QYhbSgiWtJIe\QihfSsiDtCIflOqhnSMi\tNialRagfSaiOtHIa|QagrSeiLtJIblQig~R}iYtNI`LOAhnSwi@tNi_|RigJRrhys|y^LNufvQ\hKseyR|IMdBT{ietRin|TAkBTUj@tSio|TQkJT}ikt^Ij\WAizUAiot`ik\WQi~TBi_tQyg|SeiJTcixtXimLUajjTiizt]il|UqjrUkjCtjip\ZAkZUqjFtciu|XAljUUjOtdIs\YYkrUgjLtiir|XqlJVCj[tpiv\ZqmRU}jdtoix|[AmZRlhwszym\VEjrTti|t\yzd]UmxVfjtTwY{D]MnXV^jsTvy{T\EmdVdjtTuYzT]]mlVljsTtZ@dQ}hfSpjOtgyslYelVUfkEUCzAd_uolWNkMUCZBT`EopWNkCT|Z?t^eoLVvjvUAy}D_mndWHj|UCzAd^un|WVk?UEz?d`uoDWXkcUOjB|cIpBXCkPuPJDLcYpNXEkQuIjE|bAprWsk\uKjFlcAp^Wkk^uQJIldYqVXWkeuUjILdqq^X]khuAZ@\_]rXX`kvUWzMDemr`XhkuUXZLte]qFXFka_?jMTf{?HXsk~_@JNdgEsC?Ek{u__?Tfk?LXul?