CAT(3066,2)

Sparse6:

:~?ny_?O?G?C?S?H?C_AOK_?g?a?M?H_D?@g?w?a?S?D_B?AWGG?a?T?H_i?ROHCCgAV@K?coRoHSD?AR@M?cOROHsC{AV@K?gOPwG{C]AT@H_cOQwHkCqA`@M_foZoLKEmBT@h_toYgL{FEB`@s_xo[gLoFABa@k_u_ZwM_EqB[@r_u_[gLcEyBZAI@?o_wOSGECFAA_yo\wMsFaBt@x_|o^WNcFyB~A?`GocgQCHQCfAT`H?eGQ?H]CaAU`K_cwRWHQCsAT`D?eGQoGqCUAV`F_egPoHmCqAL`B_agP?GqCQAJ`F_aGPoGeCMAL`BO`GOkKcB@@`_pOXGKkEMB@@a_ooWwKkEQBP@f_rOYGKsE]Az@]_noVWJ{DyAn@X_kOUwJcDiAl@S_ioSWI[DIF_Bi`uOywZWK]EyBG`b?vGWoMAEOB^`b_vgZWMAEyB]`m?vwVOKeDwBI`\_qwVoKqD}BM`]_rWYGJqDsBN`g?mwYOJ}D{BS`]_swYoJ]EmAw`i_mWZ?JeDoBX`Z_ugXGMEEUBa`d?ww[oKqE[Bc`e_xW\GK}EaBf`g?yG\?LQEcBh`r_swYgMEEmBb`j?wgZ?MQFKBY`k_xWW?IIEAAb`Q?ogWgI]DIBC`R?owTsJAD^Ap`XokgT?KADSB@`S_ogWgImDYBC`U?ow\WH}FWA``t?gGRoJQCwAu`M_lWg_A}@b?oad?OWGSCMAB@B_`OKgEcBM@j?v_ZOMgFCBe@v?|_]ONgF{CAAH@E_aoPGGsCUJOAz`]OmgV{JuD|BE`cOpwLKEiBV@v_zO\WNSFaBrAu`YOlWRcHyCzA_`Oofwp_WOKREJBAp_opSWWKREJBCP`opSVoJ~DyA}p]onsV[KDE@A{p_?nCVWJ|DtA~p^OmcVcJfDvAwp]?mSVKJhDuAwp\OmSUkKNDlBCPZ?osSkKFDIBApR?ocSsKJEBAfp`?hsUSKLDfBCPX_o{USKREJArpX_pSUGJxDcA|pWonSUwI|DnAmP[?jkT{J\D`AwPW?l{TgJPDiAkpUolKUoIpDVAupYoisTSI`DQAhpT?iKSgI`DKAhPQoiKSsIfDTAfpT?hsScJBD_AcPVog{UGINDHAqPWohCOiGRCGaEPBW`[NoIrB|Alo~_jSN{InDWA?pT__COOILCBAap?_gcSKGLCFA`POO_kRwG\D?AGPNo`{RkGbCRA]pC_fcRwGtD?ALpNobcPsHxC^A]pF_f[PWILCTAaPD?gkP[IFDAAKpOObCR_FrCy@|PMO^[NWHpBwA\O|ofKNKIzBtAnO|?jcW?F`BqB@O{OoKM{JPDi@vOzOlKQoHLCgAVPJOc{QcH^CjAWpI_eCRSHBC_AZpL_cSQSHdCsAQPKoc[`?@R?j_TQD_DsAq@ZGd?goSwISDEAf@Q`AO`gOkGYCHAD`wO{g]KMuF^BmcYqLhEcbCPPGrCTQK`DKbCPDGrCQQK`C[`{PVG`CUQG@Dkb?P@G`CVQFpD{aSOxGfCNQH`Bk`oPPG]CTQFPDKYOOpEeCJphPAsaWOTGfCEQHP@[_[P\GoCCqA@D{_UOHGEc?q?x?S^kPDF|CQP~@C[[GOlFCCKPopA{[SOrGZBbqE_ws`gL~F?CKqEowKZgPlEzCYPmPEkZ?PVEqCUpkPDc`KK|GTBOQD?r{`?KvGQBMqCOrcXcOjEYCHpe@AcX[OdGPBIpd`ACWwO\GNBEPbP@k_{K^EPCFPc@@k^GNpFyBxp}O}c]{NXFoBupz_}K\gN|F[C?Puo~{]KMnFXBqpu?{c\ON@FUBpPtO{K\GNVFRBspsO|S[wNLFOBsPro{{^SLlEwBzplo}s[cLhErBdPq?ukYwLNElBSpjotCZsLVEkB^Pn?tSYCM~EbBnPg_zkXGMVFLBHpd?xcCQAL@D_VoKGEKBA@b?n_[OMgFKBi@r?w_\oNWFcBm@z?{_^OOGF{ByA@?~de_oGWSKEEFBD`aQt`TWkITQJBdTAoXWGiqUEImd`AjXW_i}UKIpdaakHU_kQUIIqdbAkxUgkaTmJHdZApxV?kaTsJHd[apxXOjmUWI|ddanHXOjyU?JKd^aqxTwhuS}IpdNAkHQwjyU?IXd^aeHQ_iYSkIgdIahxQKhMSdIMdGQbxPWjaSYIydEAmXP?jQSSIrdCakhT_gUT[IEdUa`xTWgQTSIAdSa_xNwjuS?Izd?anHLOiYRWIgctahxKwjUROIvcsalhXwdeU[HYdeaUHIwlIQiJOcjAsXI_kuQcJNcharhIGlIUaHOdgARxHKcmQTHEccQPxGCcEQDHCcaqOxFglMUiG~c^AtHYWbiUiG{c\atHEwlMUiGxc[AtHNgiAR{IadOa^HH_feQ[Hzcea]hMWiMRiIdcyAhHLgfARcHncvA[XKGhiREI[cpAexJoeQQ}HecoAXXModmQyHvcmA]GDkAy@X?m_UoJGDKAm@T?i_ToIXjORaHtCxa\pNWfcRyI@C~a_pOwgSS]IRDGarpXgkkM}FZBmc[QMXE{scYlLSEdRQ@iktOYZLJEjRTPhct?YpLMEjrUPh{tcYdLREjrSPjCmwZRJoEtQzpl[sSYbLFEhrP`iSskYDLCEerOphcucX~LjE_rY`gCswXxLOE^RRpfkrcZLKzEsRM`k{s_XlKwEdRQPe{rKZFLdEYrX@ecr?ZXKqEvRKPlkvCXTLnEUR[@d[pUWlKVeHRDHa[u{W^LpEGr[@aCtgWRL[EDrUp`SuOWNLdECR@`k[oSZ\KBEuR@@lktsW@KAEnr?PjsnsZ@J~EpQ~`kKngYzJ{Enq}pjsn[Z@JxEpQ}@kKtgVhJuEmRUp]ku_VbLeDxrXp]Sl]UpJUdkquxZSlqU|J\dnqwH[KmIVHJbdqqxx[smiVPJhdtqzH\kqsW|KnEORJ`b{pkXBKaEMrGpbcp_XPKYESrEPc{ooXHKMERRBPck_yO^GLcIqCxAc`eOtGZcPQHHC[z]\rMwfYRlhuk}w[tMZFvrzPrKxS^LMRFqRd@{kx?^HMQFrRcP{kws^NNhFFry@ps}_[TNhFERap{{w[^TNjFCra@|c}k[HMEFuR`P|S}s[BNnF@rz`oSvQZdLrezr\XmsveZtLwe}R^Xn[vw]LNGF?Rppn{zw]nM~FjRnPyk}C\tM{Fprw`v[zC]^MrFgrk`yC{c\\NJFWRq`t{yo]FMlFaripwcy_]BMiF`RiPwC|O\JMfFhrh`yS{o\DNMFQRrPs[|w\@N_FNrvpsKxo]vN\FNRfPzcxW]pMWFlRdpzLBa`tOxgZSLyElBk`ROjG]sIaFdAK^`OdFxSH@}LA?`^OaGWsGQED@[_ZOJGKSBABL?g_dOGGHsAQAL@g_JOEGMSEq?|@W_HOSG@SDQ?[~{_zO^G?s?ABt?w^xN}GGSBp~lAs^tOmF|sJ@~K~W`dNwGYR|qE[~K`LNtGSR|AC{`qO|G\cNqGXCCq]XRKgeQRHXcsqEXFKaeNRGHb|FCbVPlGxsZAMTEsb^PoGtsZALtF_bRPxGtS\qLDE_bhPiGzSYQMlF[aHPxGbS]AGlEUbNPegdc[yMHCiaWPqgbsQYHDCCb\PBGwSOaL|FO`|O~GzSOAMlDoa~P`GnSVQKDDWarPWGlsTqJTD?afPQGisSQIdEGaZPcGfsWqHtIgUBJBd`QpHWskUUPJHdbqrHXSkm]nNTfjRshyc|M]^NPfgRrHxs{u]RNJfdRphxC{]]JNBfaRohwK{AduQsh[clYVPJMdeQwhYcliU`J]d_Q~hXCoYUHKAd_Q{hXCniUHJueIQlhVcpyTpKYeCQlhaCjyTpKMdSRKhTcrYXXIqeSQkhcciiX@ImcORIhBCqYX@G]d}Q`hPcoYW@IIeIQ]hbcgIWpH}cuQuhMCmIRhJ]coRJhLCrYRHKqclQThJsdIQTHMc]Q{hGcniQ@JudqQKhFCmyPhJicQRAhaCayPPKMcIQfh@ciYO`IadMQ?h@CiYT@GEdGP|hRC^yShFydGPzhRC^IShFigwLUeirTHi{teYpOVgKsEIAt@U_hOQgHsCY@t@A_^S`IQtHqb|Q?hLS^IPTGQcdQ?hFS[IUtFaddPshVS[IStIAbtPshTS@i@t?i^\NufxRqITs{qddNOhZSdHvtHq]LN?hLSgHuTIa\tQcfZRhIPSyqc\MghHRbILSxQb\PcfHRaILSwQb\M?grR\IJSvqbDLwgnRYIJSvAbDLkgnSRHjtDQZLPOepSRHiTDQYtPOejRRIGTCQYTPGebRMIGSrqaLL?gdReIBsyA`LM[gPR}IEt?A`|N{g\SJH{tBA^TOgfpRvIAT@a]lNWgJTuIutZyltUijXTji[D[ymhR]jgSxiyDLimhRQhiTriwDKYeXVIhcTpiVD[Ye@VIj_SnipdYIlHUEjCTfi\DSii`RqieSzieDXIhhUUi[TeicdUyhXTuiST[iidPih@T]ikTFindOyk@SUi{TCi_DRygPTEiATOi]dUIfxTih{TXhRShISlI]dPQhjPDaIs@WekSU`jMtfyrtYOk^UbJFThQqDWmkZUKjOD]YsPVmlATyizDgyn@YQjmUdjJd`Yr@WYkqUFj@DcYoXXMkGUQi~deioHXqk?UZi}DdIqpVykiT|iGTCiaLPMgjSSiJTEIa|PigvSXjbDiIwhYYmGUfj_dqix`[MmCVJjednixx[Am[U~j\dpyvh[elwVGjaDmiv@[YlqVDjZTlyulZIlhUrjVdqix`ZEl_VJjUDritp[}mYUljbdiYtX[emOUiiwT[imLVMjjTsjttzY|d]UnNVejvDvI|x\yn_V\jvDuY|x\mmsVojxdtiz@^EmmVqjwdsy}X\UncVSjpDsi{`\EnEVOjsDvy|P]EnQV_kCe?Z@X_IoSW?j}d|I~x^Yn{Vtj|E@i~`_anuWFk@d|y~H_UnoWCkIeBJ@p`]okWLkFeCjAH`Qo_WR`BoaWPCQYHPCfaTpIWdSdeQtHWcjqThIkx}\BM_fMRfhrlCEaFPAg^SOIF|NeftRwhzs|i]lVejvTyizT]Im|]InHVbjntwY{DccqDXIKaUQBG\cSp~XFK_uPbGDboqDW}K`uNRGdb{prWzK_uMbGDbsplW}K[UNBE|bKprWzKYuMbEdb?plWqK[UKRE|bKpZWtKVUJrEdb?pTWqKUUKRD\a[pZWnKSuIBDtaOpXWdKTuHbDTacpBWfKPuIBCTaOo~WdKOUHbBt`{pFW_KPUFbCLc_opWYKdUERHLcSovXFKMuPbBdfw?z?^_NOGGCSAEsS?b_QoHJQ?AY@P?f`[olwVC\EMfFQbfPsGx{nqVtJzdzq}X^C~A^dNpfxr|X}dG}cbQOhCsayPTRihxSzi]tNyftY}lbUojStiytT^QnlVtjzt}Y~Dj[ttYxL]UmBV\jOtzY~LZUnbUlj[tbYrL[umBUTjOt\YuLWUlRT|ikt\YlLWUjBT|i_tbYrLTUiRUTiktJYlLRujBSti_tDYiLQUiRS\h{tDY`LQUgBS\hstJY]LRuhbRdh{srY`LLugBRThwslYVLMUfRRDhSsvYSLLUcrRLhOspYTLJUcrQ|hAsdYPlHUcJQLgwqZXJLEuRBP|f_ttXyL]U]RV\fStzY~KzunbMtfGsTXsLEU[rP\ggr^XpLEUarMDg[rZYHKuUaBLtecsLXjLAUYbOleWsNXfLCuaBLDeKsHYDKquXBOte?sBXaL@uWROTdss@X~Knu^bJtgCqtX[L@uUrOTf{qrY?Kju^bJDdOrvX|KjU^BIldCsZXRLFuSbPtcwrvXOK}u^BH|qW?d?R_GoDGAs@Uxc?X_JoEJf?@q?v?Ym[vMjfDraxt[xl_FLZexkIuA[ultfGJ\PqExCZklufGJcPm}xAZmmYEyZePm]xeZglqFKz[prQvI[qmVewz[HrEvC[omUEvj[@qyu}[lmVeuze@luxaZ[mUEuJdplixYZXlifIZYxqmuk[imREsjY`qaxMZRlffIZYHqmu_[ileFHjXpqauY[flcfGzXXqUuS[clbFLZexkauM[umPeozchkUxGZCmLFDJappqwu[TmJfCZbHpMwo[QmFFAJa@oiw][HmDf@Z`ho]wW[Em@E~J_`nywEZ|l{e~z_Hnmw?ZymMe{z]hp}w{ZslzE{J^@nIvmZpnE?FWB{@y?~?\_NOGGCSAE@@?a_Ovf_CcAM@J?b_QoHJcDqIxB]^NQVhbsDyS{|]`NQVhRs\yW|D]KNKVbbrLxg{Z]ONKVcRrLw{{t]ZNHVfRqdxo{f]ZNIvfRq|xo{l\CmbVPZg|seyP]?NOv_bs\wC|D]]M~v^Rr|vw|@\yNIv^Bq|vk{l]PMzvcBnDvc{^]QMyVdBmtxKzj\pNEv[rptvG{X[{NDVNRp\rk{R[}NDvaRgDwgx~\mNBV[BpDu{{N\dMsVXrlTuWzR\jMpVXBlluKzX\XMmVUrjttgyz\^MjVWBi|t_zB\MMhvRridssyj\PMeVSbhTt?yV\@N@vOrolsG{H?S_JODWAc@Y?j?Q_HoCWA[@E?d_@?KOEWA{@]?p?XnDvaZpTfmrzX{lAU`jOlg]sRYGlFUbZP}?D?N_HO@WAC?]?d?L_GOAW@S?|}{~v^|Nwv{B~d~G~v^|NyV{r~d~w~n^tO?V~r}t~{~p_?N|V~b~M?g~X_KNvWAr|l}d?H^jOBVyc?m?C~L^gO@vxs?T}K~t^wNqv}R{d~G~@^sNpV{r{L|s~^^^Nwvvb}D~S}t^[Nzv|bz]@K}n_TNkwDBzD|E}f^QniVtjym@K}`_SNfWDRx}?g}V_KNewArxd{`?Z^IOFvqS@u@?}J^FOHVpcAM?s}D_NNaWBbw\z|?`^@OHVoCALyu|^]mnWvkjuDzM|j]snZVmJu|zw|R]|NSVnBs|yg|r]zNUVirvTqMxJ[cmUVJjdlq}xb[omYvLzeuFL@P_iOywISMeBtBT_~OuWYsFuBhBT`kO]WYsF]B\Bf_xOywMCMeBPBZ_uOvwLSLuF@@b`qOXw[SEUEt@\`nOVwZcEEApB`_lOxWIsMM@r?|_\oNwG[CEAJ@H_boRWH{CmDTBN`VOswTcLEEPAd`eOiWXSI]EDA^`bOgwWcIECpAv`MOmwRSJeDxAR`_OdwQcJ}D`AL`XObwUcHE@XAF_WOawDsGeC@?r`AOLwOSBUFXDL`wPSW\sS}IPC|abPMwhSR}HhD@aaPMWesSMI|CVaLPWwbCUEG`DXamPDWjSPMH\CJaXPBweCOuGHCbaCPHw_sQUGxB~a@PGWbsOEFpCl`}PIW^SQmFdDR`zPTw]cTULK@L?g_RoHgDCA]vVZkltUzZ\|my|r]zn\VnJvtzvEwbapqGvkZiMNEqb^plGw[ZYMBEwbWpnGtkZiL^EubRpkgt[ZQLREabRphGtKYALVEabUpgGuKYQL^Dob^p\Gw[VIMBDibapqGl{UqMNESbLpfgrKXqKnEMaqpcglKXAJNEGa}pbGoKWiJ~Dub@p`gn[VaKJGc?Z_LOFGBS@q?v]WnLVeZr\xu{x[{m]vMzf|ryy@``opwWkJuEBA~`\omWU{JEDfAt`?o`WO[G]CVAHcrQPXLScMRPHFc]QWXKccERDG~cZQRxFSdMPpHPcZQQXHcbmPpHJclQKXJsbUQxGrciQKXJCbUQlGrcTQOxDsc]PXHDcQQOXDCb}PLG|cPQHXDC`}P@GfcOQIxCSa}PXG^bfQDwxS`UMXGRcEQWXKc`ERDGNcrQ@x@SemRPGHcfQ?XIS_UQ`GBb|QUw~sd}NxH\byQTW~CdeNlHVbvQQXHc^MN`HJbtpzW|K]]NFFdboQExBc\uM|GXcIPtxAs\mOdFXbgQEWyc`uMdGZeCN|v~Z~e?A~|^~pJwe[REHZChaTpGwc{QUHBC\aNrChb{piW^K[eGrDH`{pIWnKWeGrIH`KqiWZKIeRrAHcKoqXJKIePqoHb[kQW~JAeMqmhdKqiT~I{eRrGHUkqQTrKadZrDHT{paTfKUdWqgxS{iUSzI`dNqdh_{oISvKCdKqcH^{nqSjIQe?q|hP[gyVvJwdEq`H]{gaVvIEd{q^h]KgIVjI?dxq]H]KfqVjHydxr?hM[oQRnKEcyq~HLkoARbJ}cvqvHZ{laVFJYdoqsh[kmaUnJediqyhXklAV^JkdfqihW{iqUVIgdcrnHr{yM\BMZfMreXfsz]YDMze_RmXusre\tK|f[RMxuCrM\hKvfXRLXuCq}X`MteURkxoCyU[HMhf@RhxgcvmYPL~ebR^Xmcym\\LxfUR\xkSueZXLfetRXXmCt}Z\L\exRWXiswuYtMPekRbxiCxMYhMVehRdXossm[TLNfCRRXAk`]OfGXcMqEx{D@]_tNdfpSEX~K~u^vNvfxr|YAC}u^`OTfvSCxwT@]_tNFfaSEYACzu_hN@gHRnxzS}]]|NjfmRyX~s|U]pO@fjS?y@S{}_\NRgERsY?c{e_PNLgBRqx]KnUVfJvd|q}X^koEV~KBeBr@YBdDeaxO`gNSUyKdDMbPPVgrSTYHdDeaxPPgfSUyGtEmaTPngcSZYJtCEbDPDgoSOyF\B}`zOtg[sLyJtA}`dPbgWSWYDDEm`XPngTSZYCTEU`LPhgQSXxuKzU\fMvf\rmYS|ImdRQ`hQsgyPDIucXQphDSjyTdGMd`QFhVS`YNdJMdlQ@hYS^yMtJMdlPzhYS]YQdFEbhQXgxSdyPtHmc|QRhGSfYVDL]dxRZh\SuYYDLuf@RThhSvy[TKUfLRHhqSpyXTJ}e\RBheSoY^TNUfpR~hzS~Y\DM}fXRrhtS{WsKYULFJXdmquxY[l]UjNBfbrpXvk{E\~QThKsdyP|HMcbSciWtIIelQYhfSiiNtGid|QqhBSciKtIIblQYgvSQiNtGia|PQhBSKiKtCIb\OygzSKiHtCIa|OygjS?iWt@IelOIhfSiiBtJi`\QqgRTq?M_FoCK`}PBGbeqrXxk[tuZBL^gSsJYD\AM`NOdh[snYV\J}eFR@jGTdyqdXmkdUXjMTaysDW}k|ULjIT`yqTWUk`UHi~TayoTW}k@ULi}T`ypDVejtUDi|T^yndWMk@TxirTLyfTUmhpThjJTWYkdXmkpTbilTfYjtYEixU^iiT\yjDVMilTtifT\yiTVMi`TtivTQYldSuj`TJirTOylTS]jPTDi]TZygDUuh|Tpk@?DoBG@mm@WBjaU@ywT_UoHUzj]U@yvt_MlhV|k?TmY~tZ]l\VvjXT}yuD^elPV|k?TjY~tYmnlUdjPT}yst^enTV^jvTwY|d]MmpVdjlTxy|D\umdVFjjTqyyd[en`VLjyTsY}T[{@A?\?N_FOCG@}qlXGkiuPJI\cYqbXIkguRjIlcqqfWskduLjH|bIqZWkkauKJHLayqNXAkRuIjGLaap~W_k[uHJFlaIpvWSkCuEJ@l`YoVWYkFuFjA\`qoa?V?K_EoBG@[?vYWirtYylLUujbTnlBUczPTh]sPYTlEUdZQDh]s\YRkvUfzMTiMr`Y`lEU_ZOdhEsDYNlBU]zPTf}sPX|lKU\ZRdfestXvlKUYZLdhustXjlNUWzSTe]t@XdkkuUzI|durBX^jzt}y~L^uoBV~lWUwZUdmUtdZblrUozWtmmuHZhlrUnZ\TkEvPY~loUlz[djmvDYxlQuiZS|imt^YlllUrzZtlMuxZPlcUtZXdleuTZVmGUzZ]DpUwdZnmDU~z`toMwX[@l{V@Z`DnuwLZzlxVDz]tpmvh[XmSVJzeTquxT[pmMVGzcDq]w|[dkguTZI\lmu~Z\liuuZY|tAyB\KmavRjg\sAyN\ImavQJg\rQyZ[wmgvLjh|riyN\Im^vQJflvAsfYVlIvBZ`|omwJ[HmBv^JmLvQ{B\}mxv\jmLvQzv\wmxvTJlltYz^\QmtvXJn\vYzR\wmrvVjnluI{B\_m~vYjjLuyyz\kmlvjJpdym|L]HnDViZstwM|T]FnSV`Zptxm{d]^nGVfZsDxU|H]XnPVdzwTy}||]pn_VjZvDzM|l]|n\VlZllu}zV^QnavtJw||A}R^Ondvrjyl{q}f]fnTviZ{O?Q}n^e?BVuZ{_?I}v^a?@VvZ{o?Q~B^c?BVv~