CAT(2834,1)

Sparse6:

:~?kQ_?O?G?CC?@[?t_Z?KGDwBQ@k?{_\?LGFWBU@U?m_U_KGD_A}@w?~_\?NWFWBy@Y?r_T_KWD_BIAc?x?XOLoE[B_@b?~_]oNgJWB]@p?x_y?[OM[FGBf@o?xoZOL[E{BX@m?tOWoKsEOBB@a?qoXoLSE_BX@h?toX?K{EWBP@d?soW_JsD{BB@b?oO[_KCF?A|@p?noUoJkDkAx@[?moTWI{DYBY@W_v_UgLoDeCi@@__OOgG[CUAH@F_cOPgHKCiAV@M_eoRGIkDYAn@Q_iOSwU?DAAb@N`Z?[GMKFIB@@^_nOWWK[EIBH@e_qoXwLKEaBT@k_toZWL{EyAp@X_lOsOXcKuEVAX@JOe_Q{HSCpA\@JOf?Q{HkCjA]@KOe_R{HcD@AZ@PofOSSHoDBAc@NOh_SCISC~Af@OoiOS[I_DDAc@TOhOTcIWDVAw@[omoUsJgDnAz@^Om_VcJsDrA{@^on_WKJsE@A~@`Oo?WcKCEFBD@`Op_WcK[EFBF@cOpOXSKWERBG@doqOXkKgEXAN`GocGQSHMCh@x@UojoM{F_D\@y@XOkONcJ?BvAn?~o^OTkFwD\Ao@?OkOOSJGCBAD@Yo_oUcGODfAE@YokoPCG[DhAf@Coi?P[IcCTAi@EOb_TcIkCZ@s@ZO\_VCFSDnCa?RoHgCkQk@P?i_SpKOE{Be@p?y_]OMwD[Au@X?m_VoKGE[BI@b?s_ZOLWFkB}@|AK`FObWiOSeIVDIaa@PgggSaIEDFa[@NGewRiHqCza^`LwfoReHoC|a_`NGgORiI?CzaW`NWeWR}H{CqaY`OWeoSIHgD?aY@OweoSUHiDCaT_twd_LeHYBW`m@JgdwLiEuCoaT_tGd_LYEiClaS?vwZgQiHQB]`o@Jw[ORAFACm`roxg\CQ_FFCi@qPIO[kPeGtCZaJ@KWeWPaGmCqa?p?w_SMgHNBjAQoyOcsMoHNBlAQoz_csQGF^BpAQPGo]CNKHHBsAPo{_cSP{FnC_@zO|OcKP{FpC`@{pG?^SScFvB|Ado~?hSScEfBPAdpQ_YSSWE\BOAcPPoX{PsGjCRANPD?bcOoG^CJAEpA_`sPGGRCFAGPA?aKO?GLB}AAo~o_cAI@H?bb[?RwIKDAAb@O_fpoOXsK}E`F@b`pogvOZ}LoF?b[`ngvWZyLwE~b]`oGtcYuL\E|BTPmot[ZoLREwBRPmOtCZgLNE\bNpfgugUeJMEubZ`YGuOTuIuEsbX`VGtwTyJ?Epan`kGtwTaL_DXbW`UgkGZIJEErap@lGk_ZUJKEubZ`XWig[EMCDVb``TgqwXiKqE[bK@ewqGXUKkERbH@dGpgW}KUEObE@bgsWWiLIEGbQ@aWnwYAK?EabO`_WoOVqKGD}b@`^WmoViJoDzaz`]WlOVUJWDrat`\GlgVAJ]Dqav@[WogS}KMDPbB@SGh_TIIgDMae`SwCsA]@J?d_RoHgDKAi@P?g_TOIXCwIyD^Al`XolWUcHICfASahPTGi[SqI\DLc[aK@E[bGPjGpCYQJXD{ayPeGlcYaJxE_ayPkG`c[AGxEwaIPkGccQaMHCob]OaG\cGAEx@w`qOcG\cMADHBW`MO{GTcOADhBw`]OsG]cOAEXBw`aPAGccRAGhCgaMMYGfbfaIWxoaaORGJcDQ@`BC__OrGYCBq@@Ak_SOlGVC@q?h?C_ENtF{b|p}PD[aoNnGiB{QC_}c`ONjGRBzQBo}[`?NdGPBwqK?ys\_PdGpBjqHoy[acMjGgBiPsPDc\GPTFOCTpqWxC[]MXFIbdpp@Es[WPpFDCZpz`@c^?O\FnCEpxO~k][N~FeB~Py?z{]gNBFhBoPv?{S]OM|FbBmpuO|[\kNZFYBuOGgCcAM@D?b_QQf@CcaUPLC^aOpGGcsQ]HJCgaTPIWd{RAH\C@a@p?gXsK}E`FCbbPpXRkhqS|I[dNQfXQWheSgIYdIaexQoheSmIZdKAehI{deQpIODWqcPU[jGSdIUDEqe@P{h[S\IRDDQd@P[hSSXIdDBqaPS{g_TLI^DAQgPOsi?SJI@DVQ_pUCgGT^HqcyQ[xRwe}TAHpdOA[HSOeqTGHmdPaZXLGiQRSIactagxToeYROIncrakHTOeUTQHbcqAiHK?iURCIfcoahhTGd}QyIicnAiHTWdiQwIldUAUxIcdYQjHIccQQXHccuQVHMcgQRxIKdMQdHAcaQOxUGcUQMIrcbAkhTWb}TYH@dUAOHNwfaS?Hxc~A]hMwfmRyHucya^HF_bePuG}c]aMguSZQLfEtbZplghcSyIZKVEArEP_{p_WLJldvqzh[smUVHJbdoqwhawk}WqJPeKAsHX_pEU[KQdebCxa_keUUKUddBDXaGkYWeJGeHApxWWpQUIKUdaBDXVSjqTvI|d^qnhW?ouWWJAd_bAx^_miVWJ}dta~X^Gm]VuJhd|AyH[?oeU{KIeCAvx^?lmVkJ\dzavHZ?nMUsJtdka|HYgoyUmKOdjBBxYOn}WAJSdhb?H_Oj]WGIxe@amHUonITiJodYA{XistaYnLLefrRhfcruXvLDEcrP`g{sOYPKqEhrL@ikrKYhKwEVrM`eCrcXbKtEURJ`e{qsXlKhE_rOpd[qgYDKeEdRI@hcq[YVKcEgRGpiSqSYbK}EOrG`gCr{X@KYEMrF@b{pkW|F?b^PnwQSHQCfEDbBp`gh{TEI`H}d?Q^xNcfuRvG}c]qNHoowM[IMGfBb`Hq?wE[aM?f@Bbxo?wM[CMCfAb_XnwwuZ{MMe}bbHnowmZ}MIe}baXpGuIZGMIfDbWxm{veZpLsezR\Xp_uEZ?MMenbbXqGtqYyMNfGBVhjGwYYuMGelB`xnOvEZwLre|b[hl?uyZ_LievbYXkgumZMLlerBZHwO`qOzGZcNQGHB{aIPBGbe?Q~x_KnqV|J|d{q}x^SnYVpJvdxq|X]cnAVbJqdYqlHUsj]TrIwekrUxjS|s^HN]Fqrvp{[|s^@N^FpRv`{K{_]xNIFlrqPzS{_]VNIFerqPxc{S]bNFFhrs`ws{w]JNFFgRrpws|[]DNWFaRopzK|O]DNUFaRtPw[|S\FNUFOrt@sS}?\rNaF\rwPvSzW]bNRF[Rs`u{zK]nMtFkrl@zCzG]vMoFmRkPzSy}\\MlfURiht[yc]VMgFerhpxc{w\HMeFgRrpskz{[~M_F_rf`wCxk\~M\F_rf@wCzo[tM}FKrnPrCzo[jM}FJrnPqsxG^FMSFqrcp{dBOSrIZdLPRwiKTAQtH[clrMHfSreXjKveZRFXb{pyaEOygacNIG`Bm`mOyg[cNIF@Bma?OsgZCOYEhCI`yOsgZCNyEhBy_lOWgJsCyAl@Q_UOvgECMY@PBaaEOFgCcPYG`?a_GO|gBCNy?hBya?O@g`C?yGH?I`aNzf}CKyEO~u^oOpf{cKx~PBI^iOmfzcKH}pA}`[NqfyCKH}XA}`UNngUb{YD_~A`UNkgUbziD_}u^QOggTByh|XAe^KOgfsCIh{xAe_}OfgOcHYC@AY^{OZf~cEi?@@e__O[gGcFYAP@y`COLgQCByCX?yc[QDhBs`iOTGQcFPNHDsbQILD?cXPKHDsbQHtCscXQGGcsQqPTGcaTPEHCSQAPTC[cRPxG}S]qNtFgbzPQGtSZAIdDKbVPcH?sXaN|ESc@P`GzSWaNDF[bFPlGnSZqKDEwa~PZGrsVQLLDobPPWGxsUaMlDcbhPoGisTqMTDWbbM{f^RnXv{{A]BQ_H[SmaSTJcdBQthZsliVXIYdyQgh]ChyS\IUdHQzHGsnQQ\JocdQMH[SmaQDJcc^QnHMskQR|J?c|QYHXSfAUdHkdfQhHJseQT\H_dTQSHUSjaQtHSdZOggTSIYD\Au`XOmgWSJyELBM`dR[H^SvaWDLsd~RaHksuq[dLgfFR[HjSvaZDLsenRRHnstQ[LLOf@RdHgSxqYTMWebRLhfsriXTKqeVRFHpSqQ[dK_fFRCHqspa[|KSfLR^H_swQW\M?eDQGhDSaYP\GucXSBiAt@I^lN}f|SEHyTAA]tO[fjSEHwtAA]\O[fdSHHvS{A`\Ogf^SHHttAq\lOgfXS?H|S~A_TNkgBRgHzsya^LMcfpS`IKTGqbTQGgrSTIETDq`tPWgZSQINTDAcDPKg~SNILtCQblPog`SlIQTJqctQwhJSfITTIQddQ_hV@W_lOUW_CN}F|BP`hosgxk[}M\FUbkPtxWSkAUBJTdjqthj{uEZ@L[enRVYAD@E_dONgEsBiQLHMcdQMhGSby^TNqfvRvh{s}Ik@TijCT[iodUyixTui}TXinDUIi`TmikT[iidUij@TIieTXijdSYi`SyikTOiidRyhXTEieTLieDSih@SyiSTOicdRyhXSUiYTFieDPih@SIiSTCicdOygHS]h}TEi_DPYfhSIh{TCi`dNIfxReiASzi_DMifpR]hoS{i]dLiepRmhmSxi[DMik@RAhcTaiodKYeXTui}StinDLIqo@a?l?V_KoEwBTYG?|?[_Mti?CK@}@@Ai`UOiwoCWEJ~Dxa|p]hK{eaRLHbcqqXHc[qUXHK`ePRGHtKya\NMcfRRhYITDQafPTgjsTiW|KeePR@h`soi`dOygZSNiGtCIxx\ImaVSjgDsyx`\UmmVMjedtixx[emaVJjgDqix`[Ym[VGjedpywX[YmIVGjaDpyxH[AmCVJj_dqiwXZumIU~jaDnivP[AmCU{j_dmyuxZulqU~j[DnivPZQlkU{j\dlYuxZElqUrj[DkiupZAl[UtjVdlItXZMlWUpjUdkithY}lUUojUDjitDYilRUhjTTiIkXYUjIUfiqDhiq@\IkcVSjGdsyph\UmmUNjFDtipPYIkWUcjDdgysPWelGUGjPd`yohX}lAUEjOD`IoHXqkEU]j@DfYnpX}k?U`i~dgInXXqjyU]i}DfYn@XejsUZi{deimxXajiUVjJD\irHVIjgUZjLD[yqxU}koTpjJD[IqhUqj[URiuddIlHY]jUUditDhikpXMkiTgirddJFo?i?X?J_EoBw@tcg?`?Q_GuS?A[@U?hXOkhUSZIDdEqdVWKetubH|\cq\WAK[uMb?d_KppWEK[UMb?l_[prXJK?URB?Lcgn~V|KeUQa~t^oqVXFJ|t}bHL^cqPVuKaT}BGtcSnnXFJxuQQ}lc_nhVoKaUPa}TcSnbVlK_tzrG\]wqDW}JtUOA|db{nVVfK_tyRG\]_qDVcK^TxbGD]Sp~WzJotwrFl]GpxV]KetwBH|\{q\WzJluNQzlbomxWqKUULBDtbKpZWoKSuKRD\a{pTWfKOUIBCTaWpBWcKNuHRBl`wpFWYKIUFBAt`kojWXKHuCRA|`GopWtKDuLr@lbWoXWMKCUCB@T_{oRYc?KODgA{@Y?p?V_KoEwBS@m?r?YlZ?FgBc@u?|?\_MUMJFTbetkY{l^ElzV@jutqY{l^EmzVPjutKYplQekJS`jIt_YflSEkjTHjEtSYtlXejJU`imtiYmlXejzU`iuq|X[kmuVzKLeAsoYzl\EejVHhesiYulJemJQpj]scYnlHejZQ`iys]YflSecZT@hAtSYKlUEbjTXgusUYelCehZPPiQqeY`kiegzI`iItAXUlPeTzSPdas{YElCEgJOxh}ryY?k~e_jNpgEsEXyk}E`ZO`fmraXvkxe]ZMPfargXmkzE[JMhe}rUXdkreZZKpeqrSXaksEXJLHeMqqYZklefZJPhq?T?K_DoAg@c?m?Z?N_FOBW@{?ywq?P_HOCGAK@I?`Y`lPugiq\XUkhU[jNTfYr|YEl@UdjRthjbHp}xA[YmLfGJb`p}xA[\mNFGJ_xpMwQ[TmCFDJaXoiwW[TmDfDJapouwo[NmJfBjappAwo[QmJfCZcPoQxG[EmPf@Z_HpuwE[[m@FFjbHnyw?[ZmLE~za@nmwcZ|mGe~J^@oiwWZymDe}Z]houvm[NlzFBj_xnIwQZsmCE{z\xqmxYZpmUE{J\LmmvTZklvUzZ[pqmxYZgmUExzcPmMxGZdmPexJ[@qUvA[elpFHzZxqeuy[imSEvjchlixMZ[mREuzZHqaum[ilkFIZWlk]uLZGldUqZX\kuuXZMlfusJY`j}ukZ@lieoJWPlEuGZRl`esjF\bupxXCkbUPZG|ceqPXLkfuRjpXsAyC]LnEFOZihwI{G\VmjF_ziPwI{G\Smhf_zhxwmya]LmgFbJohsqy[]Fmef`jp@se{S\JnCfQjohsY{M\GnBFPzghwayE]ImaFaZedrYxj[vm[vMJfTrqxv[|m^vNjnxuuz[]@mvf_Jn`uiz{\jm}fZJnXuezs\gm{fXzk`vMzK\tmqf\JmpuEzE\wmzfWjm@tyzc\_mwfVzdptmx_\\mVfVJj@rEys[rmkfKjvpwy{_^?nFfnzvXzU|y]vn]FljuPza|g]ynXfmZx@yM|I^FncfhJs@{Q|C^DnbFgZrhy}|a]^nWFfjrPye{w]jnLfijt`x]|[]XnUfeJspxQ|O]UnRfdZqH{E{e^BnHFoj|W@}@B?__NoGGCL_IoHWBkAu@z?tlEufZQljUtJYl~O~t^tN}V|b~\~c~b^rNzv{b~D~W~^^tNwV|B|t~K~Z^qNtvzB}L}_~Z^iNuVyR|\}_~^^iNwVyR|t~[}`^QN{vsR~D{s~v^NN}Vrb~T}G~J^fNqVwr{t|{}T^`NeVwBx\|o}l^]NkVvRy||K}r^TNlvtBzUAg?f?S_IoDGA[@Ut`YqlWukzUljQqfXTkiUTjJDd]zv\xm|V\jnDv]zf\tmyV[JmTvEyt\XmkVUzjdtvAU_xoegM{HaBjAS_uo[GQ[EyCb@g_~oYgO[GABN@e_}oYgNKEaBvAI_qoWgP{EACZAC_ooaGKkGYBF@[_xoVgM{DiBj@S_uoUGL{DYBb@W_foSgIkDYAb@Q_moVgH{DiAa~}_bn}gGZ~qAJ?{`GodGGKByCfAU_ZoegF[Ha@r@}_Wo_gEkGA@f?i`DoJgP{AqCZ?e`BoIGPKGQ@J?]_{oGgN[AABz?\_KoEwAk@]?f@G_FoCGH[Cq?Z@E_BoOg@[CQ?R?A_eo@GHK?AAVCw[RmIvDJatpawn]nnWvkJtdyy|Z]jnTViZstya|NadPNwhsSMIXD@aaPNwhCSMILD@a[PTwjSRuHtDXa]PSwfCTUHtDP`wPTwjSNUFdDXadOyw\sS}FXDL`qPTWiSMeI`BfaaOvwhCMMILB``hotwYkK}EbBLaXOpwesKmHhBH`_PJWeCKUH\BBaROnWVSQmHPA~`YPHwVCQmDlCh`XPGWTsQUD`CbaOOiWTcQUDTCbaYOhwesIUHdAb`MPJWeCIEH\A^aCPCW`cPMGTCNaKP@w_cPUGDCVaLO~WbsOEGxB~`mO|wZCNmEtBxbuPsWy[[}MZFJbcp[G{{VINVFgavpxglK]iJZFgatpwGk[]QJNFaaqpVG{KUANJD]bpplGyk\aLbEqbjp\Gt[VaL^DubUpvgskYaMvEebmpcgrKXqKnESbLpfgpkYIKbE_bFp`gvkWiMBEGb^p_Gw[WQMNEAbaplgn[ZiJ~Ewa}oOwG{CUAR@L_dqChG{`QQVGOccqIXD[auPFGfcQqOHBkaAQFHCcNqPg}[^YQVFsccqOG|{cQNbHAbuqAhF[_yP~GKc]qJh?kbIORGocBp~hA{_IOvG?cKp}HEkbaNzGub|pGWckQMHNCjaSpJWeKQ}HnCtaXqRHPKdASZHMdDqdHO[haSNIUdAqbhNkhISBIOc~qfHM{fiS~HwdLq[HPKfQSZHqdDqYxL{euRJHhcrqbhJ{eISfIOcoqfHJkdaS~IYclqShQkdQSrIUcjpwW{k]MNNFjbsqtxZ[leUbJTdhqvHVKjqVBIydnqvHU[mATnJ]dYqjH[[mYTbImdqqhh[[mYTVIgdqqpHSKiQURJEdPqnhX[kAU^JAdeqyH_{mqWVJieCrCh_KpYWJKSe@q|H`knaWbJueFqzh^[nyVfJ{dwrIhckqaX^KkeRrEHb{piXBK[ePntVyZ|EGZCHaDp@w_[OUNfFvbypzw}K]uUJJHdbqnxW[kEYhL`ekRXXisuMYtLNenRSxjctEYhLJekRRXisseYDLRebRRxgctEX|LJe_RRXhCruX|LFe_ROxgcruYtKpenRLXjcrMZ@KveqRMxkSre\C?N?H_CWI[DEA^ERbJpdWpkW}KbHXcmqUxI[d]QjJhdtqzX\{nMVbNEf_rpHx[{I]RNKf]rsHv{{y\vMsf_rpHvK{I\nMmf\rkhv{zA\zMsfSrjHvKzY\VMmfSrjHuKzI\VMUerrYhr[xaZRNEfGrqhqk{a[fMIferbhyKwq]^MCfPraHs{wY\JMae~r_hs{wA\JM[e|rgHnkxyZrMUexrehm{xaZjLkfMr[HsKuy[~Oq?C_Ao@k~A`fNsgZr{iElBI^VNmgZsLH|k}a`ZOofqrxiD{|y`NNagTrwIDK|a`ZOofmruiD|AY]fOifjsIHyl@i_^O]gHsFIAL?a_jOKgKsAiA|AA_FOEgQs@IC[~Y^zNyg?r}H~w?{?e?P?F_CoALGYbhQ@g{S`YMtGMbtQ@g~S`YNdGMbDPzgrS^yKdFuaxPtgoS]YJtF]alPngxSUyJDFEa`PhgiSZYITEmaPOzg]SPYGtBeaTO~gfSOyHdCC?Q?L?D_AO@W?uePMVfLreXrkyE[~QuhbsmiWlJaeFQ{hbsoIW\JyeJQ]hcsrIS\KidBQ{hWslIWLJydfQyhUsliT|JadVRMhQssiTLLAdNQWhcsrIRlKicvROhIssiQ|KycfQFhDsaYQLG}cZOfgTsIYDlBE`^R_iGsxIalMIgfRuiLtDi]\PafjSUhutEi]LPaf^SOhrtDI\\PIfRRVhkstYZ\L}ezSKh~tBi_\OAgVRwiAs~I`LNigNTEiMtQicLSag~SyiVtNie\RqhbSiiZtMIdlQahjSai_tHiglQQiFTWintVIk\TijBTQietSIi|SyijQ@hAs_y`|OugVSDiCt@yndVEk@Tti~T[ymDV]jtTtixT]YktV]jtThiqT]YndUmk@Tni~TZYsDKUeNRBi\tNyflRUhrSvjUTgYuDYUl\UbjSThYtTYElLUbj@TfYrTW]kHU^jRTdYtTXelPUVjUTbyqTZEk`UnjMTaYrTWuk|UJjmTnIy|\ilrVWj\tuIu\\YlnVYjYtqiyL\Qm^VQjetniwl[ImRV?jbtzizl^InBVojntyi{l]anFVkjrtfYr|Xmo@VtkAT|z?T^eoDVzj~U@Z?D^umnVZjk_?j?t`Mok?EkCuD??d_k?HWKkHuD_?T`Eog?EkF