CAT(2704,2)

Sparse6:

:~?iO_?O?G?C@C?H?E_AoGoCCAE@D?q?ROIGC{Ae@V?i_SoIwDSC[@p?y_[oMGFSBe@X?m_UoKWD{BA@h?q_XoLwEsBUBC@[_moVgFsB}A@?{_\oNWGSCMAB@C?moP_JsCSAx@V?koUoIsD_At@R_iOTWH{CuA\@P_gOSgHSCqAV@X?coU_G{DkAPAE?QOGwCkCEAD@B_`OOWG[DMAh@T_boQGHKCiAX@J`N_egR[HeCzA]`MOfGRkHyCqAT`L_dwROHYCuAR`L?dGRGHIC^AP`GObWPsGqCwAH`N?awRgGiCeAK`F?dGQOGuCFAD`AO`gPCG]BL@d_roYGLSEeBZ@j_uOaOOKG?CVAI@@OcON{H?B|AN?}o^GN[FiBn@x_{O\?QkFWCn@t@JO[ORCFKCp@q@KOZ_PCF?CN@n@BOXGKSEMCE@^`A?WWOgEAGI?W_JoEWAc@Y?j?\_NoFgBS@q?v@j_uOZWJ{EEB@CfAMpFWbkPiGxCZaHpCgaKMeFPBf`qOxW[sNAFdBp`tozG\SMUFLBca?p?G^{P[GDCBAKpE?_cN{GvC@AMP??bSNoGhB}AJO~OakPAG\CNaF`Ega?PqG[CZaD`Dw`gPeGWCW`y_}w]WNiFgBx`z?}w^?NeFmByaB_{g_gNAFaCEaC?|g`ON]GQBwaB`Ag`GOYGOCD``opGWkKGF\B@@uoo?\{OGFDB`AAP?o[[L{GZB_AEOv_`[LmEzB[`i_zWYwM}EkBm`gosGX{LIEfBS`coqwXSK_GnBFAKop_bCJoFfAy@yomo]cJ]DrAw`YOlgUkJKFVAq@uOkO\SM[D\Ao@sojo\CIqDZAj`}?iW^oIiFyAg`R@CWSgPMGcAfaI?gGaoH}GiA``]_rGVwKyD{BL`k_gwS_LiEoAa_GoCwASY_?b?Q_Hpj_^[NiFrBj`uOygJcDyAz@E_aoPGJCD]AlBB`aopGSsIUDNFAb_PoWvkZ}L|EjbUPjWvOYaLwEib\`iWsgZQLKEtbR`lgeSREH`D@B_Po_f{S?MBE{BNpgOvSZkL@EvBMPmOrsZ_KzEXBWpeou[XgLdEmBHPk?qCY{KbEmBAPk?osY{KJEAb@p_Wv?VmLqD|bZ`^GmSVQJfErAspYouSUgLbD`B^pW_vkU?L|D^BPPh?jkYKI|ElAkPj?jKT[LVDLBYPQousSoLjDIacPQWgkSYINDABRphOgcSKLLEaAVPh?d{YKHZCfaSpIGccQYHJCbBSPG_tSQCLREUA]PN_rCX[HzD~BDPaonsW?KXCxAwP[Of[U{HtDkAZPZ_fCUsHnDeBHpY?qcU[KjDcAmPWoj[TgJJDSA|PT_nCTSJrCrAgpLOi[ROIdDOBCPRopKSwKNDtAUP\od[VWHTC]BFPbOcCP{K^GzBRPhwskBU@n?ua]PNWfsVAJbDnadpRWhccsQFH@c`QMpGkcWPzG{CaQMhFCbeP{Gtc_ALxFwbYPaGvcYaJxE?bYPRGicTqHhDCa]PDG_cOqDXAs`QOaG}cHaOHAOb}O\GOcFq@PG{_[QRGECcQPp?[ccODGCCcP~x?K_ANxF}b}qNO}SboN`GzBwpzW|{]yPoF`bpaMhFG]IM{HCcb@wGzwcUQAFTc`@txGW\YOyGVcNaEXBo`aOOFrcD@|X@G^QPWFkbtAJg|WauNsFhb|`xw~G]aNIFubr@}G{_^]MuGscX`vXEO\qOwFPcL`rxBO\AMcFKbf@tGxg\MMQGJbdaBWxO_qPIFEbcAGwwwaQMsFDbk@owzG[QTk?O_FOBw@s?}?`I~?FOCG@{bePpGy`wo{g]CAM@J?c_ROHwDC\IMhFRbrpyW|ClgUYJXddauHX_l]UUJHddArXX_kaUiJAdjAoxW_lQUCJMdaAsHWWk}TTIkdTqihTcimTZImdVqjxTkiyTnIwdZQo@YclWUBI~DiqoPY{j{UrJ?DkQsPVklKT|I{DhQmpW{jcULIyDaql`U[jSTnIsD[Qs@TCicU\JNDRqmPScjkTLIyDQqcpW{hOUJJEDHQn@Osg[T|IGD]q\pU[jSRrIsC{Q\@Y{fWUrHtDkQk@MKfGTdHrDWqYpUCesTdHkDWqWxKceIQkJSdiaTxYodaUOHOddAShIGkeQYJPcfasxHolIS{ITdOAdhRwh]S]HYdGaUxJGhASEIZdAafXO_hqSQHydDa^HPOfmRyHgc~aYhNoeeSWHdcrabhPgeYQ}I?coa_hK?gEQwHmcma[HJoe}QeI`ciagxI_iIQSIWcdaehH_he?T?I_DRR?@[?q?Z?K_EoAw@C?e?NL]?Co@w@CuO?X?L_Do@G?s?UZwIqdWQkXU[jUThI|d^QnGAs@Q?j?^_MoFgA{@a?r?\_NoFgBS@m?x?a_OOGWCCAE@D?m_UoJGECBE@^@g_tOYWM{FeBp@z_|O^GKSEQBF@^_ooWGe[RUHhDwa|P]WkkUQJFCiaUPIwbsQAG~C`aPpGgcsQQHJCcaRPHXM{feRpHlcuQYxKCeEQ~HNcfQRXHScqQVHKcdQQxzw{u]^NMfdBvHzo{q]yNJfcbuxx?|e]MNYfkBmxvg|]\wNUf^BmHw?zi\}MxfYBpXuO{Y\eNCfgBkHyOy}\aNPfRBuXt?|m\MNYfRbtxt?|a\KNUfebhHxwyU][MbfMbgHrwyI[{M`fnBeHqw|q]yMXfJBgxqgyU[gMcfGbqXwwxM]OMQfYbaxuowq\mMLfYbbxq?z]\kMMfFBjxpwzA[_MpfCbjXpOyy[OMkfSbahp?ym[QMifAbaxowwu[KMKf?buxnw|i[?NXe}BtXyWvy]gL|e}BoXno{MZyNAezR]Hm{vaZnLue|r]XnSveZtLzeyr[xmcv?]fNSExR[Pykus]`LmFgrZpySug]FN@EuRo`l[vO]HLrFbR\PwkzwZPN?EsrXpv{uS\tLcF[rX`vCzKZBMsEprk`kSyoZ@L]FVRVptktk\@L\FPRV@sKtg[xLXFLrU@rSx{YjM]EjrfPistG[hLSFJRSpqktw[nL_FKrVprCw[YnMEEir`Piss{[bLOFHRSPq[s{YXLMEgrS@hkuOYRLdEdrX`hStcZPLYEsrXpjCs_ZXLFEtRP`l[u{YPLEEurPplsv?YXLMExR[Phkm{\vM|Dwrn@]CmkYfLSDsrS`\StkVLL\DsRV@[{msZBJkEpqz`kSs?[DL@FAR_pgSrAX\KneSRIhdKpC\VMiEHRiPaCos[tM[EFrep`soCYRKBEdr?`hS{kVvNKD}rq`^cngZ~JwF?q}PoCmK[HJdF@qx@oS|wU|J^FmRvPZksKXVLCEURJPgkrgWxK{ENRMpbkpcXzKYE^rEpfsqOWjKbEIRG`a[rCWTKKEXrK``[o_XnKxECrM@_{oOW~KEEOr@PcCnGWlKVDxrE@]cq[V~KeE?RHP^srOVjJvEZQ|`ekmCUxJaDlqw@ZTKWYVLHedRTXi{tYYrLYekRUxjktqZFL`epRZXl{uyZ`Lqewr\xmsvaZtLze{r[xmkvQFRBf`sO~w_KOAF\Bn`uo|g]{NaFfBt`yOIGC{AY@x?z_]oMwFcBu@~@?_^ONgGCB}A\@N_eoSGISDEEBB?``OrwYKLAEdBS`honWV{JyDtA{`\ojgUCI}C~A``OQBhAC_}OXGLcDp~x?K_ANZFnbvPqWxS[mMLFGbbqxh\Cm]VRJidtqzH\kmyVbJndwRFXbspqVfJqdyTCYa\PIgQSzi]dAi`@Rqf`RqhwtIQ\lQkf^SiHvS~A\\NwfXR|HtS~q\TOCfXS?Hts}q[DLwftR^H{svQ_DLkgBR[H~stA`tLGg`RRIFsrq`DLCgTROICsrq]tLCfpROHzsriXlKqe\RLheSqYX\KieRRIhdtNaWtK[i@S~HcSpAfDRgeFRDI[tLQW\KShnRCIZTKaWDRKeDSsH_soAd|KGhbR@IWSna`tJ{g`Q|IFsnQ\lJwf^Q~HvTNP{C}ChvN^I]SdQclHOhFQRIQScQalHGglQOIISbQ_lOWc^QMIBsxqPTMccXRgHDt@qPDGcgJSEHBsxQOdMWcLQDHqTEaOLGKgvQAIMS]q[dMSbzReG}S]AdLFghVPxITS\qbdFWgvPtILSsaMTLObfRRGySZAblEwg~PlINStQLLLWbTRVGtsXad|E_hbPfIWSWQXDK[b@PaHbSVqZDLgazP]HktLaJ\R[axStGlSTacLQGahS_GisSqctQ_adSfGgsQqctQ_aZSfGeTDAHDPSaTSUGcsPQa|C[grPEIKSOa`\COgZPBIETEAFtP[`xO|IKsMq[\BcfBOyHpSMA[DBWe~OvHnSLQ_TOO`hSBGXsJq]|AsfpOmHzS~ADDNw`RR|GRsHA[LAWfFOdHpSIaYlAoenOjHjSuqETLs``R[GWsGQ_TAKgHOaI@sFqgDA?h~S}GNTAqB\Os_zSKGMTGqAT@OhJScGHsAQdd?kh\OIIUsBA^LNk_\OLH|TCQ?\PK_JSQGAS?AfD?ChtOAI[tJ@~k~{h\N}IUtG@~dQG^tS`F|r|qZC~cerRYF{R|a]k~OffNtHyR{qb|Ps^dS]Fws{@|tNC^`RqFvryq\LM[^ZRgFuRya][}cfjNgHyTK`{lRO^NSrFrSkQUdJKdlQqHYsiqU|JcdXQlH[ShQTDI[dTQeHSsmaR|JodBQzHOSjaRdJ?c|QnHMseQSTIOcvQbHLSRaNtD?b~PNH?SXQF|CCbFP?GqSDQI|@[arOUGkSEQAL?{_tOWGGSZq?tFC_PPoGBrwqQtH_^HNaHJo@G?s?U?N?H_CUQPT[iqTTIldVqjgt[YuLX?S_JODWOcGUCF?k_VOJWD{BA@b?s_XOKwKkE]BL@~_}o^gMkFQBlCoaXPKWf{SEI@EPbHPcGn[VuJxDvayp\gdkQ}H\ChaSPHwbsQAG~C`aPpGhNsf}RzHsczQ\XKSeQRFHRciqTHz{}E^@OcgRSHYC|Aa`ROkgTsIiDlAy`^OogXSKZS@gItCYClOe_zOPgUsGYElBe_zMdfUrfXrkyU\ZPpfArcYNkwecJJhfaquXvkmE\jOHcyr}XLl?ERJGphys}XGlMePzGphiqOY[kbeezRHcMqIYVlKEPJQ`cMqIYUlIePJQPcEseXAk_EcZFhfmp}Xxk^E]jHPcIq?XJkceOZQ`WQskUDlId_zFXeqpwXik\EYzNhaur{Wjk}EJJJpaIr?WbkQEVzBxc}qaW`kgEGJAPiIoaY`kGEgJKx_]rQWGksEAZNh_EoEX}k}E?i}T^QnfX`JuTzbK\]srDVcLLtwrRd]SstXVJoTwbIldWnBV]KquXaz|\srHVZKzTvBND\grnVVK{tuRNT\_rvVOKvtrrLl[wr\XiJdtrRLd[orVX]JauVqw|[Wr@YQJaTobQ\[KsbXfJ^UYQvle_lxUyKfuSQv\d?lrUtjYTkyt`eyr]UijTeZYs`cqlKXMjQeRZMHYErcUbjPE[JPpXyl?YNlGDfzNxXmsAU\l?DfJKXWarAUFjBEWio@dIkAXRj@ETInxdajyXYkkd^jRpVAs}TmlMdZzJXUmqwTlkmdZJIPUajSXSiseSykpdajMXYiqeUZFhUIp{TcipeNyjxgisOT_lCdWYjpceqUT[kdDVYipgmimYLikEbIiXh]iiYWiiEeYhpgusWTNlDdRYi@gYsMTPlAdSjIhS]iQXVicETjPPSYsOTDlCdPIgHeQrKTAi`eXZD@`MpSWTkSeDJ@P_uo]WKkFEAy}@^UnaVvjvd|jCh]epMVjkRDyi~@\YnsVTj{dtJBX\IoqVRkLDsZB`Z}mAW]kMdoIu@[alcVIjWdqYr@`]ksWWjKeDiupX]kkUwjIdlz?`XIoKUSkAdcy{pW}k_VgjrdcYph^yk[W?jED~ysxWekUUhjDDiInPayp_T{kVd]ymxb]jqWxi{EMIm`bQjiWuizELZEPVEpeTrkWd[i~XTenyTYj}DUyhPYuiWUniddjjqWuiZXLjcZQLxEkMQFLBd`}O~g^kOQGDCB_koUwJSAe@V?i_aOPgGkLyF@B^`bOqGW{JIDfAp`POhGS[_IOHGBb`ppWwdUajTThittZYldUMjHTaiqtXyktzI|f]pnWvkzuTyc|V]iNUviBtdzW|H]sNPVlRs\z?|B]_NVvfrtty[{l]eNJvhRrDx?}P^ENGvprqTx?}F]PNavcbwd{?{Z]NN`VoRptzs{Z]~NFVbrvtvg{f\xNIvdBnDvO{j\qNIVcrm\z_zD\`N[vlrkDtg|t]zMlvnBjdss{x]]MeVfRh\xsx|]]M]VfBflzOxf]uMYvlRedykxT[kNUvjBd\qO{r]ZMRVebclqC{r]ZMPvebcTo{|n[ON[VCRvLzovxZzN\Vmr^Tn[|\ZxNVvkB^DxWvhZuNKU|Rq|ySvb]fLxvhb]Tmw{~ZoNOuzrsD{WuT^GLeVprX\jS}@YvN`UlbwLi{}FYoNaukRwdy_tZYkNTViRTtik|HYiNPuiRsTzstLYgN^vnbS|vkzj\|Mzv^BmtwOz^]EMwv`RmDtsz|\^N?VVbn|tO{B\UN@vTRoTswuZ\OLfvRrXts[x@\DMNvPbbtuKwp\dMLVXBbLtCwf\QMHVSradoox`[LMXVBbeLp[wT[JMJVARaloWzX\mMCV@rllo?wv[AMMv?RbdmkyPZlMdUzBhLrgvPZiM\vMR\LqsvJ[mLrVJr[|l{zRZ`MtuwBlTlcxl[vLlvMBZTsGul\CLkVOrY|wgufZTNEUtBp\wcub]FLhVaBYDkcxN[gLcVIRW|mGuHZcLbUwrWlkCwFZAMAv@BW\k?ynY~MkunbjDjkuxY|LnUnBZluWtp\gL\VXrVLr{tdYsM_ukrgDiKvzYdL~uhB^uGKdzQ}h^oEWBC@]?x?Z_LPMGe{RYHvCxa\PaGpKW]KLECbAqXXKse]QxH]cms`IOtGUcBQBh@VBj`douvJZflrUiZT\iitZYmlUWgCQuH\C~a]PIwbsSMILCbaaPGWaSQeHHCVaRPDWbCPEGxCNaLPBWjSOEGDD^aAPVWicOEGHDXa@PTwISS}AlDR_iPSWWcO]EPCJ`bPAW_sJ}EDCJ`_PAWTcNuD`Bz`VO~waCI]DTCLaFOiWPsNuFtAR`GO~wOSPUCLCR`APDwesFuC@Cz_~PMWeCF]Hh@zaXO]WKkEeBN@^_poWWhCDeIX@\adOUwhsCuI`@NahOSWGsRuATD@_cPNwGCSMIL@DaaOOwDsSuIP?radOKWeC?UHd?HaYO@v~sR]?DCz_?PMWbB~d~tC\^}PEwcb~MHO~vaRN|VuCTT|hDX^XPTwjbymI{}nalNjVrCQmH[}Z^MPJVqSQEG{}T^JPGwSCMeFXAd`POywZcFEF@@t`nO[wBcJe@@A|_NOmwAsJ]Dd?Z_KOlWACAM@L?T_HOHWDc?}@T?J_SOBWRr~ECs~n^uOfV{sEl~T@n^sOZWXr}D~HBJ`eNww\r|mFc~^`wNvVycML}lBf^kOxVxsL]Eo~R^gOuw]b{eFo~L`zNqwQb{]Co~B`JNpVvcGd}@AL^^OavvCLT|tBR`gNlvscBm@w}f_^NiWEbx||D?x_ZNgXRAg|SeiPT@i`tOjxL{m}T^KnfVr[hQTVIUdVqchTkiYSjIcdHqiHQ{WQSZEGdGp`hP{dYSNHYdDqUHPKdQSNHOdDqShPKbySJI?c_q_hG[baSJG{d?qMhO[_yS~GQdPqCHSK_qSvI[cCqAhRKgyMNFGdEpqhQK[AS~FCdPpohSKZqSzE}dLpmhRKVITVDudVp\HTkVATNIgauqhGl{aYRRGicuqIHL[aARFGacrqXHCk^YQJFyccp}HG{^QQ^HKbwp{hH[\yOrFacJpwHAk[qOvFOcNprhBkZQRjHwb[plhM{fiL^Eqc~q^GuKYaNVEkbvpig|kYQMnEebhpggykXqNJE_bspfg{{XYMrEYbmpeGz[XARfEScwpchL{WiQzEMcopbHJ{VyPbGmb@qJGoKVaPfGua|p^HEkUiOJDecBpYH?[UANzDcc?pWg~{g]SRIJdEqbxQIWDKIeBRBhaspK[EMJFBb\pnWv{wI[^MCfGr`hq[waZzM?fErahn{vAYfLUeyrTHm[vAYZLsegr[hh{vYXFLyeRr]HckpqZnK]e|rGHnKwIVVJefBqyHokwaURMKddrahXkkI[^JEfHqpHqKjqZzM?d_qnhn{oQZJKEerrAHlKqyYVLEeXrKHhKqaXzK}eUrIhf[pYY~KYeorEHk[taWbKSemrChj[uiWVLmeFrZH`knYVvJ{dyq{h^KmqWFK?dwq~h\{lQVBJWdqqth[[liU^JQdnqsHZkrQTnIye[rLhVKsATbLAdYrPHU[N}FzBzXBkauPJGtcaqNfdSEYBc{}_tNLfaSFxxDAM]LO`gSRnxwTA]`HN@gMRmXvd@e_tMzfZSHXuTAe\hOffWSGXtt@}\XObgBRsY@S|U_PNRfvS?Y?c~M^`OBf|RyX~s}u^xNjfyRwx~C}]^lNdfmSCx{D@]]|OTgERtxzT@E]pONfLRhxrsym[xMhfORdXrCyU[lMbd?q`XOZplwy{^]OnHVc\Gia^QMghsbIILFacJQGg}s]iO|FIcVPuhFs\IPlGaanPWhAsTIO|Cab~PKh@sQiOLFyaFPEh?s_iGlBqbZP?gwsNiL|BYavP]g\sVIFLBAbBOsgqsKiK\EY`VPigVsYIDkOEGFCDhfSoyXdKEe`RDheSmyYDJue\Q~hHSkyQdI}c`QphPSiYStIudHQjhNSqYXTIEeLQ\h[SeYUtHmdhQVdHqdxQlNYfbRyhys}I]\NYfVRyhvs}I\lLae~RahmswIZ\MQefRghjsxiYlOw?HR|?@TCi_LP??LR~?@T?i`LOo?LSF?AT@I`^