CAT(3066,1)

Sparse6:

:~?ny_?O?G?C?g?R?F_COC?@S?q?V?O_HOCW@g@A?]?Q_F?CWA[@U?h?U_KODwEGA[@R?e?TOHODCAk@\?l?WOJ?D{Bg@e?s_Z?KgEGBU@m?y_[_NGF?BmAE?|_^oNgLOCCAF@D?_OO_GcCC@n@A?[OMOGCCK@\@D?WOP?D{B[@P?w?TOMODKAO@`?a?VOGoD{AC@P?_?TOIOB{F{A@@A__oEOBc@k?|?Y?Mo@?Bc?W?|?D?MoBO?c?{?L?M?AoBo?{?w?P?L?CoAW?{?aCg?X_LoEg?c?Y?J?_?ROGOCkA[?~?j?QoJOC{Ao@LAM@Goc?Q[G{Cd?I_EOAwD_AM@Y?c_T_GgCSAQ@F?__OoFwA[@U?hAS`JOdWVWHECfAQ`__joS[ISDbAc@WOpOVoIqD}Am`_?jWTwJIDaAs`W?kwRwJaDsA\`N?mWROJyCwA~`L_oGVWJ]DyAt`]?lgS?IMDIAa`Q?gWSoJaDsAg`R_mWTKImDTAz`]onGUsJ]DjA}`_Onw\OMeFRBh`r?ww\?MUFMBc`aopwWsKaETBH`n_wGZoMIEyB``d_rgXgK}E_BK`g_tGYWLYEcBT`l_twZ_LeEoBY`aOpGWcKMEBBA`qoww[cMYFPBf`oOwg[KOgGZCHADpA?`cOKG\CAAGP@?`{OKG^CCAGP?_`sN}GBC?`zO}G]{NCGTBqACPAO]CNKGLBsAAp@o]kNoGLCF@~O~O_kOkFVCK@uOy_`kMsFrBn@|oz_^SJUDnAu`[OmgVKMiFVBkaOPGWcSQoHdCsAVPKodkQcHjCjAZpI_esQ_HbCnARpK?csQQHJCbaL@Kge_PqHeCZaK@KGbGREGmCnaY`CWaWR]GcCuaM`DGbwPYG{CT`rOyG[{S]IRDGa^@Swi_SAH}DTa\`SwigRuIgC{ae`MGhwRiI[Cxad`Sgh_TAISDPa_`PGgWSYICDDap@XWkWU]JGDeaj@VGiwTuIoD]an`UWkGTmJ?DY`@O`GO[GUCNAE`JoeWRCVsCnAX`KOaGPSGeCVAL`EOcGPsG}CbAR`HOdGQsHUKcB\`novgbkP}G|E`BNPfwsCXyL@E^bL@ewr?XuKqE[bL`gGrgXyKwE^bJ`cgqoXQKeETbE@eGpoXiKYEXbK@cGrOXEKqENbG@fWrWXEK]E[bH@aWpWXQKeEIaw`\GmoVMJiDqaz`\GmoVeJiDwa{`^GmwViJoDza|@^Wn_V}JuD}b?@^WoOV}KAD}b@@_woGWUK?ECbA``go_W]KEEGbB@agowWeKUEGbE@[WpoVMKYDqat@dgqwUaJQETat`ZglgVAJWDnbp_^GNsFuNW@v_{O\gN[FeBtFt@?O^wOKGEB~A?_uOYgL[EuB^@m_wO[gMKFMBj@s`UOjgTkJIDhAr`SoiwTSNAFdBp`xo|W]cRaHtCxaapPggc`gOfGZCIqD@BK`GOlGOCJqCPBC_uO^GMcHaAhAg_qOgGJcGA@xAG_aOcGHbx@|W}W^]NgFub|@{g~G^QNeFwb}`|g~_^]NuFtb|A?G~G^}N{Fwb}A?W~g_MNuGAcA@~h?o_AOIF~c?`zH?O]uN[GBcA@{H?o^EN]GDbwAAW}G_]N]GGbuABW|o_}NYGMb]@yWvo]mLyFiblADgz_`aMuGVbkAEwzG`eOsFVbs`nw|W[ENSF?b`ppGwS[UMNFEbr@qG{w[iNOFHbr`rG|?[mMYFebp`rg{g\ANGFNbp`sW{g\MNGFQb\`wgvO]ALqF`bXABGu?_iLaGJbU`wWtw]IL[F_bn@iwzgYiLWF^bm`hwzwYeM{EgbQPhgskZKMhEtBjPl?ykYCLlEaB[Plos[gkBH@e_qoYWK{EaEtB[`lpEgb[PqIlDVakQfPQ_h]SkIXdIaeHQghESeISdJAchNcfyRzIVCeQePHsh_QZHEDFQQ@P{c[S`IJC`qb@GcgsQJGjcUqJHDsbAP^IGCWqa`E[gcPdGsDBQL`O{bSSJIGC[QaPE{ggPrGyDBqN@OkbkSLG|DFQNpQCbwS^IJC_QbPGSgoQBGiD@QI@OcacSFGdC~qHpOKaWS@GaDGqcpCcaKSdG^D@QG@OcgKPBG]D?qFPOC`oR~HHC{qQpN[cgRtHuCwQ]@MKfGRnHtCtq[pLcfORTHfCqQYPKse_RJH]CoqW@K[d{RDHWClqVPJSdoQrHQCiqT@I{dKQlHlCfqSPL{ewQ`Jp?}O^gNkFqB|@|d|@cGqKW}PDGccPr?p_KoAWDJ|E?R?`^{oCV|JvDwq}@][ncVdJvDyQ|`^CncVjJgdtQyX[km]VLJaDyQ|`[cmKVjJpDnqw@]SmCVfJXdlquhYoniUoJ{dja}xXgoAWCJNe?arhTGnuTUJ~dTA~h^OiMVwIdd|ahHS?m}TCJodOazh\ohuS}JndNA{HR[hiSxJTDuQzPY[mkUhJIDmQr@ZskkUzJCD^Qo@Wsj{UJJ@D]QopVkkGTvIuDVqlpUKjST`IwDXQmPU[jOTtIkDbqj`XKisUPJODRQs`TClCTNLM?soYGK{EeBP@f_qOXgKkEQBJ@eeo@vgz{\uNDF`boPxw{s]aNRFjbtRR`jSt?YxLNElrU`iKtoYfLZEhRVpistwYhL\EirUPjkt{YpL]EjrBplKpCZVKOEtRPPi{tcYNLEEkRPHgSsMYBK~e_RSPfcrsYfLQE^RMpisrgYjKxEiRW@esr_ZDL`EZrXPe[rOZFLcEYrKHeSrEXNKheSRR`cct?XLLNEQrYPbsukX@LiENrEpkCpsZDK[EorE@k[uSWtLcEKrX`akp[ZNLgEJRXpaSu_WhLeEHrAX`SomWXKMeEr@`h[o[YZKGEeR@@h[oSYZKBEeRJPhCq{YTKmEcrGpdcqGXVKiEOrnPN{gES@IAdAQ_xOkgYSNIGdDQaX_[oUWHNHF\Rn@x[{g\vLwe{r]hxGz]]UMxfdBmHu_{A\kNAfYboXuGzq\eMyfXBmxsky]\LM[fNRfXqCxI[bM~FFrnPpkzw[\M|FDRnppczw[VMFF`raPwkw_]HMEFbRq@ocwS]NNGF@r_Pws{[[DM?Far^`w[v{]HLzF_R^PwSvo]BLmeuRZXmCvEZ^LreyR[hm{vYZjMjFPRjPscyo\FMgFNri`sKyc\@MUFVRe@t{x[\`MRFKrepqkxO[tJmdvq{H}c~U^fNofxR{X{S}E^FNXflRuHyh@E]mORfjCChyP@E]gORfhcChxc{y]ZOMFfsC@yD?{]bOKF{sBP~\?k^tNuG@R}A?c~[_FN}FvRzp~c}s^zNiG?s?@|c~{^VOIFqrxa@D?c^HN]FrryP{C}_]~N\GBRuq?|?S]xLJeerRIDLAm`TO}g^sOID`CI`YPBg_cJiGP@yaEO\gNcOYBT@q_vOwG\sMaFlBc`xObGRSHQDDAO`NO_GVsGaELAC``OVGXSEQEd@_`fOSGYsDaE|@S`lJvd{q}GsKYMLDEcbQphhS[iUTHIYdMQext[yq\ZMhfTRiHq[xU[hPkG{SZQNLF[bVPkGrsXQL\EsbLPdGsSXqLTEWbRPaGzSXAMdEKbjPaGwsXAM\EKbdPvGaS]QGtF_aJP_gosVyJdDua|PRGySTQMtDObjPOGsSSaLTDCbRPLGvSRqMDCwb^PmGdSRAMDCkb^PpGcsPqM\FGaPPUGksUAJ\D[atQiElrUhjct}YzL]czQ]HM{rAXdKpeLrFXbd?I_HOBf~s?Y?C~y^zN{f{r}h~[}E^DNbfnRwHz|DAadPPhbcrYWhKqeKRJhcCliXPJaeQQvhackyWpJUeMQshWclyUPJad_QuhVCniTxJqdyQlh[cjyVXIud[QyhTCoiW`IqdURBhTCoIWHIqd}QjhDsaYPTJcdBQbH\smaSTHyd@Q^hLcoiW`HucwRBhLClIR@JUcqQrhWCdYUHH]dcQUhcCciXPHQeQQRhFcnyQHKEc_R?hEcniPpJudwQKhBChyT@GacMQhhACiYOXI]cIQghdc_IOPKueWQ@hQC^YSpFydIP~hQC]iSpFqdIPziMBmhvczmSxIZdLRchqCxE`LOggRsFYB|@y_tO[gLtIqcTQohHSlIPtFqcdQChDS_IPtFAdDPwhTS\IStFAclQ[g|S\IRS~i^|OAfvR|h}TJA]tQkfjSlHztIA]TNKhTShHyTGQ\|NCh@RoINsyQclQ[fVRiIRTEQ[\MSgvSYHqSwAbLMGgvR`ILSvQatLwgpR^IJsuqatLogpRYIJtDAY|PSerSRHkTCaYtLSg`SPHiSsQalPOefSRHhTCaXtL?g`RNIGsxa`lM_g^RfIFTAA`dOcgTSFIDs}A_dNggJSEH{t?Q\dOKf\SAHut\allU}j\TcirTXYmhR]jgSxi[D[ymhRQjgSuiYd[yePVAjcSpiXd[YdxVIjaSoiVD[IkHU]jETgisdWijpUij?TkindYyihRqimSyijDMyhHTIieTJiiDQihxSYiOTPigDPyghTuiETZiaDVIg@TaiCTYi_dUYfhSuh}TMi^DRISdIYdJQhhRsiIpPYElCUGjODaYr|Xuk|UMjFtcIpXYMkWUdjEdhIs@VelCTzjOd]imxYUlETwizDhIrPWUkwUFjLd`ioPXQkkUCjId_yoHXej}UWj?DdyqHVqkeT}jHD^YaDPIgbSTiITCyatPagnSXiLtEiw`YYmIUfjbDiIx`[ImAVIj`dqyw`ZymKV?jadnyxhZmm]U|jfDnIvH[]lsVHj[DqIutZUlnUsjXtkitx[]l_VHjWdqIt`[imWUljVDqyxhYelUVNjfDiimDVIjbTriyt\I|\]qnZVhjtTyI|p\qn]V]jwDvY|p\en_VZjvdui}H\YmmVrjkD{i}H\MneVTjxDtI{P\AnGVQjpdsY{h\}nMV`jrDwJ?p_AoOWAkBe?Y~h^Qn}Vtj~D|i~P_enwWJj|eAj?X^]nqWDj{E@JAh_qo[WVkJEBZ@x`Io_WSkGeCwnSVqJvHWclQUXIkd]QlKNeGRCXaSpQWfNOfgrrxzk|q]vPCgbSPYG|CeaPRehsSxy\dMyfZTyi{t]ym|VajlVajqTwyz|]En@XIK`UQRGdc_qFXDK^uPrGLcWq@W{KaUNbGTbsqFWzK^uMbGLc?prW{KZuNREtbwppWzKXuLRFLbgphWoKZUKbFDbCpnWnKXuLRDtbOpZWqKTUKRDdb?pVWnKRuIRDla_p\WcKRuHbDDaSpRWiKOuJBC\akpDWcKNUHbCDaSo~W]KOuFrCTa?pFXDKKUEbG|`cqLWZKcUFRHT`oqRX}?lOUWJCDmAz@[lD?VgKCD}s_@`_poWg}[^QNdIndWqkHUcjMTdMBf@R_XnswAZ~OVgKsEIAd@Y_jQNhGScYPdGycZSyi\tNIflR}h|UmjUTjYtLYilVVsjzT|Y~D^ennYvL\UmRVdj_tvYsL]unrUtjwtjYwLWukrU|jctdYuLVUlBT|jSt`YlLVUirUDiot^YgLWukrTLigtdYlLRujBSliktLYgLPUibSdictFY^LQugRS|i?tLYaLMUfbS\hstHY`LLugBRTh{srY\LJUfbRDh[sxYSLKudRR\hKstYSLKUcrQ|hSslYOlHUcZQLhAsdXLLFuQrPtgsqXXwL\U]bVdfctvY~Kyu\rVljwrlXqLEU\BPTfKsVYKKvu[RP\ggr`YFKuUaRLtg_rZXhLAUYrOtegsJXeLAUXrOte_sJYFKpuaBKdgcrJX_L?uWbO\eCsDX]L?U^rJ|dsr|Y@KlUUrOTdosFX~Kju_BJLfwqpXSK|u^RItfoqjXPLEuSbPtdKs^XMK|uSBNlfoq^[e?fORGHkC}Ab@OmX?TGI[DIxo@T_jOTzfLrixp[wm\VMZexkIu?[ul_fLZ\`qAxAZjltFGj\hqAxCZmmOezzePmaxgZhmXexz[hrQxcZelqFKzdxmMvC[plofKJd`lyv?[mlnfJZdxlmxaZ[mWEvZd`lexYZYmVEuJYhqeum[jljFIjcplMug[gmResjXxqeua[ilgFIzXhqau[[eleFHzXXqUuQ[bldFHJexkYxiZGlbfLjcXkQxIZDmQEozbPpQwk[[mLfDZaxpEwq[RmKFCj`poaw_[ImFfAZ`XoUwY[FmEF@j_PnqwGZ}m@e~Z^Hn}w?Zzm?e}j]ppuvo[^lzfFj]@nMviZplxE|Jp_DeAt@W_kOUgJKDmAz@[_loVWJdxwA~@]_oOVwKCDyx@[amOvfbsdyW|@]dNNvgRsdyS|F]eNPVeBptxg{Z]KNKvbrrDxC{r]YNGVerqTxo{f]\NIVerqlxs{n][NJVPJgtsUyN\HmcV_BsLwG|F]@NPV^Rrtv{|@\}NNv]bqlvo{n\zNJVbrm|vc{b]OM{VcbmdxKzl]SMyv[RpdvK{\\qNEvNRpTrk{V[{NCvargDwgx|]HM^vZbo\wSz`]CMvvXrlLuWzT\dMsVYrkTuOzZ\bMuVUrj|tczB\YMoVVBitt_y|\\MjvRRi\swyj\NMiVSRhdt?yT\QMdvOrpDsG{L]FM_oRGHsCuA\@K_eoSGIKC}Ab@N_gW?OISDQAf@Q_iOSzpLwm{TXzk}u^JOdgYsJYFlCUaZPlg}s\_GO@WAS?]?D?N_COBwAS?u?`?J^nN|v~R}L~?~x^qN}V~R}d~K~v^~Nzv|S?D~w~l^}N{W?B~T~{~r_RNuWDR|u@O~Z^hOBVys?d}h?J_@NrVyC?\}\?D^bN{v}b{l~_~H^qNoV|B{T~K~B^^NzVvR}||w~j^nNlVvB}L~?}v_INjwBBzM?k}p^RnhVsZyt|U}h_RNfWDByE@S}^_INdwBBxm?k}X^GOGVqcAT{d?b_LNavps@|{X?\_LN`WBrwe?w}F]~OGVoSAT{@?b]mnVvjZuDzE|d]rnYvlJutza|n]{NRvnbtLzs|P]iN[vmrtdyk|t[bmQvHJdtqqxZ[nmWvKJelr]xl`rOSWIcMmAdBh_|OtWNsLeEl@|_yOtWZCFeEl@v_wOyWMSMmB\Bf_sOuwLSL}BXB\`oOWw[cE]FD@d`mOVWZsEEEt@^_kOxWJSMEAlBb_[oNWF[B}AF@@_coPwGkC}AV@L`TOrwTsLMDXBP`cOhWXcIeETAf``OfwWsIMEHA``KOlwRcJeCtAz`]OcwWCH]ChA~`XObWUcHED`AN_UOawOsBE@\AH`?OKwOSB]CH?t`uPSw]CTUF\DVa\POWgcR}HxDBabPLWhSReIPCvanPDwbSUMGpD`amPDWaSTeItCPaWPBWeSO}H\CJaAPGw_sQ]GPCd`~PJW_SQeHTC@aMO}WcCNuG|Bz`xPRW]sTEFhDNbR?poWgKKEEBF@altUzJ\\myvZZnn[vmzvTzq||]|pmGw{[aLzEybapkgw[ZYMBEsb^pmgt{ZqLbEwbUplgtKZILVEsbRpgGt[YQLNEabSpgGtkYQL^EabWp[Gv{VIMBDsb`pYgwk[aJ^DkbbpdGr[XyKrE[bJpcglKWyJNDcbGpaGnkWiJ~EKb?p\go[WYJvDwbAqH?TWI{DYAj@V_jVejrDxe{v]\nMVNZfdrmx~\?m^WW[K]EJA|`_onwU{JmDrAp`YokwOKGUCFAH`Do`xLScMRLHFcsQPXKSbuRHH@c^QWXEsc}PpHRc\QSXEsceQXGzc[QQxJcbMQ|GtclQKXIcbMQpGtcjQKXDscUPTHFcUQOxCsb}PPH@cQQNXCSaeP@GfcQQFxDS`}PDGncOQJWxs`UMTGVbeQCx@ceERDGPcqQBxKs_]OTHjcsQAX?CdmOHH^c@QVXHs^mQdF~cgP~W}cceQXFxbzQQxIc]}QpFrcjP{W|[]uNRFbbrpxXBC\uM|G\boQExAc\]OlFZcHPuWyc`mM`G\bhQEX`B~\~u~x^~o?V~kREHfCnaSpJWd[QUHFCfaMpGWb{pyWbKQeLrFH`{pYWbKWeFrChakoaXNKieErIH`[oaXBKIeQrBHc[kAXNKidarIHW[jyWzIyeNqnHb[jQXFKcd[rGHU{pQT^KWdXrDhUKiUTNIbdNqgXRkoISnKCdLqeH_{nqSfK?dIqcH^{giVrIMd|q|hPkgQVrIGd|q`h]{fyVbI?dyq_h][faVbH{dyq]h][oIRnKEcyr@HM[nyRbK?cuq~HL{lqVFJYdnquH[KmYUnJgdiqsh[kmiUZJOdvqzHX{iaUNIkddqihXKzq\BMbfNreXrkxmX|Mve`RmXgCzm\lKxf\RNXvCrm\`KrfYRLxuSrUXXMpeVRlXuSrEYHMFecRaxgswe[@Mjf@RjxtcwUZhMde{RiXmsy]ZDLheuRXxlSuUYxLrevRWXmCt}YlMLelRcXjCw}YhMTfJRSXqStMYXL|efR^xhSvmOjGVcHqExBk`e^zNxf|r{x}{~U_lNlgLR{X|t@e_`NfgIRyyAS}e]DOVgLRpxwd@e_dN@f]SDYACz}]tOJfnSBxzd?u^|NVfkS?xyd?E^@NNfqRsx{S|E_HNHgCRrY?s{mVbJtdxq}X^[n]WBJ|d~r@x_[oU_|PhgOSXyBdEUbHPRgsSTYKtD]aXPXgmSSYHtDmaTPngbSZYHDEmb@P@gpSPYJtCM`~Ozg]sLYFLB]apOngWSVYETDma|OhgpSJYKDAm`HPngRSYyCTEu\bMtfXrlxv[zebbPrgysiyS|IecXQphCSjYPTI}dXQBhWS`yTtGUbxQrhZS_YUdF}blQrhZS]yUdFed@QThQSeYSTH]c\QZhNScYQTHudxRVh[SuyVTLefDRPhrStY[dLMeHR\hoSqYWtL}eXRBhfSnyXTKEftRth{S~y]tNufPRnhtS{Y\dNMLBEdbPquXZklmUjJVdhroxwk{]\zN@f^sdYRLH]c^QRhGtHIe\QYhjSgiWtIib|QyhBSaiUtHIbLQagzSeiLtGia|PQg~SQiOtBIb\PAgrSMiMtBIa\OygjSOiJtIi_LQqgFSmiAtKI_|RQgVSqiCt[_QwHSCfGbcNqGXk[u]ZJL`emrVyBlAE_~ObgRsHYVlJmdrRBh_snyqDYEkhU^jHTfYrDWuktUNjJTayotW}kPUJjATbYqDV}khUBjHT_YotVejxUHi|T`YndV}k@Txi|T_yfTUejLSvi[TYyqtUEjHUZjKTWyjTXui|U`imTfyjDV]ihTrijT\YiDV]idTtifT[yldSej\TLiwTQyktSMjTTFisTPYfdVEi@Tli^TZz?OHCCYANj_U?ywd_]mDWDkATmyvt_]lxWBjYT~Z?DZ]n|UxjVT|yuT^el`VzjUT}ytT^]lPVxjRT~z?DYUlDV|juTwy|T\}n\V`jkTxYzT]]nPV\jhT{Yyt^MmhVtjbTrYxD[}mTVP@J_coQgHKCmATkjUPjILcaqjXCkhuRJI\cyqjXIkguKjH\bYq^WskeuJJGlbAqRWmkbuMJC|aipzWykSuGJF|cIpJX?kPuDJ@L`aoZWUkDuEj@|`yofW[kG_boPgHCCYAP@FueIlLUmjNTpiutZzOthUsPYVlDUczPdh]s`YTlFUczLth}rdY`kwUgzPdgEsHYPl@UbzPTfmsLX~lCU^ZRDfUsxXxlLU\zLdhustXhlKUYzSDeMtDXflNUXZI|dmqrX\kouVy~\^]nrV~k?t~ZUDm]thZjlXUyZ[DkMuLZdlaUwzVdmmvPY~lrUoZUtmMtpZdloUmzSlietNYjlUujzZtlMutZPlmUrzXdleuTZVlcUtZaDmuv`[TmHUzz`toMwTZ~mEV?Z`DnuwLZxl|V@Z]Tp]vl[ZlyVEZbdqew|[lmOVIzcTq}xd[fmQVKZILdUqfZ^lmuuzZLlUun\Km`vSJglsyyB\ImavQJgLsIyN[smbvQjfLsaxn\Km\vSJflsyx~\olJudZQ\o}wZ[JmCv@z_lvQz~]?mxv^JmLvizb\smzv]Jm\tIzZ\UmvvTJl\vYzJ\ymsv]Jk|tyzz\an?vWJn|uqyz\mmlvYjjLyq{X]hnRVaZpTym|L]FnTV_ztDwU|@]ZnQVfzsTxu{\]TnHVeZqDx]}D]nn^VkZwDyu|p]rnZVnZvTzUzZ\nmtvsjwl|Q}R^OnbvsJx\{y}j^Knhvhzt\ye~C?Cnjvx_?t|e~G?Anlvw_?T|u~K?Cnovx??t|~