CAT(2582,1)

Sparse6:

:~?gU_?O?G?CBC@J?f_ROLoEkBY@h?t_ZOLGH_CKA@@@?aoO_GcBsA@@A?^oOOFsCK@z@C?^oPOFsBa@r?v_]OMgF[EO@V?k_UoIwDkAq@\?n_WOJwDsBA@b?r_XOKwEKBI@P?h_TOOGGSCEAF@D_aOLwFKBa@t?{_\oaoOkG]CLAD@@O`?O{GKCL@~@@O`?OKGKC@@m@?OZoN{EsCB@{?roY?NsFsBR@x?ooWoNSEGBv@{?nO^_KCFsA~@w?qOXOMsEWBn@e?woX?MSESB`@s?uOY_MkFKBV@o?zO]?MSFCBn@f?nOYOJ{E_B@@Z?tOVOLcDoBV@\?yOUoMkDoBf@N_goSGISDQAf@K?ooWoHsEGAZ@X@AoU_O{D_CL@l?ioToL{EwAl@J_coQgNGC]Bu@G_|?PgY?AU@L?f_QoHwCsCaAN@E`p?s_X{L?EZBP@fOsoXkLOE^BT@fOh?YSL?DJBP@PoowWSKED|B?`^oh_Y[I_EjAf@iOf?YsHkEpAY@jocoXcHGEVAP@dOb_XSH?EXAN@doa?YsGgEpAH@jopoUkKcDnBG@ZOk_TKJODVAr@TOg?TcIGD\A`@UofOVCH{DrAy@NOmoQ{HcDzA{@KOjoQcJCClAo@Iop_P[KSCZAK@aPGOCSAQ@F?j_UOJWECAy@^?g_SoIgDSAa@RBE`aopGP[GuCXAG`DOaWPCGiCRDBA_@OggGSII?D@a[`NWfwRmH{CyaX`KGegRIHgCpaO@NWfoPyH}C^a`@EwbgSEI?C[a[@EWeoPiHmCWaK`MwfGPiGoCyaI`Iwd_P]HSCUaI`JwawQuGkCmaOpGwcSQCH`CbAXPG_eKM_HHBiAROyOckOoHHCMARPBOckOeGVCIaU`@g_wQ}GOCmaT@?wdWOQHWCDa?P?g_KNsHzC~@~pN_^sNSHnBuA[O|?esNCHNBqASpI?][RKF\Ct@wPL?\{Q_FVCh@uoz?c{MIFHBb`qoxw[sM?HxB`A]OvofcLoGvC\@nOvObcLkH@C]@kpFoZSPGFtB{AIPCo^[N[G^BxAGo}?aCY?Az@[_loVgKCD}BB@b_pOQGG{CYAT@J_coQgH[CeE~B``oOwG[KL}LjEvbZPk_rsZOK~E\BXpfoukZ[K|E\BZPj_rSYsKvEkBMPe_uKY{KxEoBLpdosSYCKrEWBOPjoqcXWLbEoBIpaouSWsLfEKBYP_gocWMJ~E@b?P]_ssVkLPDxBRp\_tKV_LVDvBTP[otSVSLVEhAyP[?sCYGJdE`AwpgolkYSJ^EcAvPY_s[UoLJDjBQPh_k{Y_JREfAsPj?kKYwJFElApPUgjKTaIxD\alpTWi{TYIdDSahpSWiCS}IZDKafPX?okUWKNDdBBP^?pCVwKTD|BCpQOjsU?IVD^AdPcOgsXKINEQAcPb_g[X?IJENAaOHGC[AIETBK`dqBxAK`AOcFHcI@qHAW[]OaFjcG@zX@w]qNLFdbrpvGzs\uOcFIcI@rHAW[mMDFBb_ppGws[UL|F?b^pnWv[ZqNsGKb}ABg~W_uOQFubyaAw}__iNOG?btA?g|G_ENaFabq@{w{W^IN[F^bw@wW|w]AMuF~bk`~gzO^uMkFvbk@}G~G\]OKFRcC@tX?w\QMaGBcA`sh?_\AMYEwbf`mgxoZeEtBZ`kovGZsLuLpEyb[qSPI{dKQpHQCkqKpIcbSQlGsCiqQxHkcqQRHGcdQSPFCdKPnHQCZQTpDkdcP^HWCVQT`AkdOOnHTCJQMPGkbkQNHEC\QKPHsb?Q`GqCfqJ@CcaWPTGdCTqGPGSaGQFGbCaQN@B{bwO|G|COQEpDC`sPRG[CRqNpBC`gQBH?CKoGwCcAIEZBN`fPaGpSWeKJEFbBPVwjsUAOnGTcJQa@PkgwSNIHDFqa`O{gcSXIGDDqdPOshKSHISDAq`@QCgSSdIEDGqbPL{gwR`INCwq]xNkfqRtHwc{qWpQCeSSdHcDGqb@KSgkRBIICoQcpJkhOQ|ITCnq\POKf[SFHuD@Q_@LkfwR\H~CuQYPKse_RTHfCtq[`JSdoRfHsClqp_akP]GlCXaLPEGb[PuGxC]aNpGGZSLmErB[`nOvW~k^}N|Fzb}P}g}{^eNpFsbzP|W}K^INfFmbwPzxZ?k}UsJPdkasHXwlQUaJRdgAshX_lqU[J\deauxYgkqUmJMdjArX[GkeUUJbddAwhZokeV?JJddAvxWwmeVMJGdbAyH[gkaVKJEdqApxSOlyV?IcdPavxYOjuT}JSdhanh[GjiVEI{dpAmxYojaUmIxdialxU_m]TkJhdYayHZ_jMTaJ\dlakhTsjAT^IjdUqjHZ?iaTSJYdSauX[_iUVKIedqahxRwkUTAJBdOApHWWhqS{JCdaafXW?hmUAIXd`AehW?hYUCIWd_adxf?XmKxEYbNpfgrkbEPdGocVQJXD{aqPVGicSqIHC{sKXxK|E_rMpgSroX|K|E_RMpf{rgYNKwEcrMPhCr_YJKyEbRMPgcp}WzK]eLRFHb[sOW\LDEGRBpgss_WVKLEcrB@g{o_YDLBEDRAPgKoSX|KFE_R@`f{n{XlK?EZr?PeknsXlJ}EZq~@ekncXdJzEYQ}`e[nWXdJwEYQ|pe[q{VfKpDyrK@]cq{V`KpDxRK@]KqwV^JlEURJP\smgXXJkEVQypdkoGXRKCETr?pdSp[X@KWEOrG`bKqWWlKgEIRHpakqKWbKcEHrHPaSxG[LMGfBr`Xo[wQ[aLTfGBTHiWw}[_LOegbbxqGtIY[MMefbbHpgsu[WLKedbbhhOwu[QLvfDb]XpOva[?LmewB_hlwwEZQLWetBTxl?tYZsLderB^HnWu]ZaLaeqB[xmOuMZkL`eyBWHjwvUYwLjenBZXjguqYqL|elb^xjOvyU@JAd_qoxWkkQ\}McfRBoXw?yU\rMzf\Rihtcym\wMff^BiXvgya\}MVfIboXw?xY\wMQf]bdHvoxM\AMofXBgxuGyI[}MnfOBjXroyy[uMrfMblXr_zQ\kMWf[BehuwxeXXKmeUrJxeKrAXdKseXrLhe{rU]ENcfaBxXwO}M]yNhfnbyxzo}i^EN[flBxX{_|m^?NVfpBuX{G|a]gNefsBthyg}]]bNQfhrsHx{{y]UNefsBrXx_}]]ONifdByx|G{e^?NDfbbwh{G{Y[XMMfErcXqCw}_NOHgCS@i?d?U_SNwgEB}i@W~e_SNtgEB|y@W~Y_]NqfyCBX}X?y_YNngFb{Y@o~A^}Nkg?Bzh~o}u_ANzg@b~Y?O~q`GO]gPcFICP@u_qOOgLcCiBP@E_kOdgKCHyAxAY_}ORgIcGYA`AA`eOhgTCKYEPAa`UOmgUcKID`A}@l?t_YOTwIkDYAr@Y_kOzg]CM}FVBl`uPswyk\QM`FQbgqWxKceURBH_cpREXbCp]WlKTeIRdXq{xY[dMSfHr~y?C~y^vN|f}SXAJtESb@PeGnsWQJ\EKazPaGmSUAJtDga~PXGoSUqIlD[azPUGmSUAITDgahPXGhsSQIlD[a^PUGgSRAITCwafPLGiSQqILD?aRPNGdSRAGtCwaPPLGbsOqHLCkaJPCGdSOAG\CGaJP@GaSPaF|BsaPPFG^SOQFTCG`xP?G\sMaFtBo`~OzG]sLQKLBWbFPaGYSLqKdBcbLOwGqsgoAs@a?n?X_LoEgBk@y?x?`_NoGGFkB}@|Aw`\OmWUkJ]DlDrayp\GlcUiJVG`cPqGhBs`}P@IgdTQiXS{iUTLLUejrUHjKtmYtNHfdRqHwk{]]LOOgHSCYA\@U_hRRHjStQZDLOenROHksuqYTLgebRRHesrqYlLOe\ROHdSsaXdLCeVRFHdSqQXdK_eVRCHesrqWtKSe\RFH_sqQW\K_eDREH^SpQWDKOd~QzH_snQW\JoeDQ}H[SmaWDJcd~QxHZSmaU|JSdpQzHYSnQU\JoddQnHYskQU|J?dlQnHXSkQUdJ?dfQmhUsjITdIud\PfHOSYASTEcdBQSHjSdaZDHSenQPHksuqQ\LgcdQMHSscAT\G{dTQhHDsiaPdGsdVQ\HCSfqPTHwcRQ[HBseaOtGScvQBHLS`ARdGGcvQ\G~sfqOLHwc@QeG}SiANtI[bzQbG{shQN\IObtQeGzS]AS|F[dPQbGxshAMlISbhPoHJseQMTH_bbPlHOSZqSTEwdBPiHJsZARLH_bVTA?DOBG@[?u?^?Mif?CGAS@Eig?T_HoDIilTYihTSijTTYZ`TEieR]hmdSi_pRqh{SGi]d@y`XRqh{SHi]dAihpOQi]SBigD@Y_@S}gCTOi?dRi^hSmf}TLh~DRIhHNifwTIh|dQIhPN]iQRxicC}IhXNQiYRuieC|Y]HSYfcTFhxdPYgPMyf_TCi`czy\XSUfYTFhuDPi\@SIfSTChsdOy[hR}fMT@hrDOI[PTEieRchpdSifxL}iAR`i_CwIepRAhcSwiZdKYeXQuhiSniYDJidPQQhWSeiTdHYcxQEhQSbiSDGic@Pig{SWiNdEYbhPYgmSZiMDDYaPReggSziHdMi``O}gaSMiEdCItpRqh|S|_KODwAs@Y?p?V_LoEgBK@e?v?Y_NOFGBk@q?|?\jVDnYu@Z}l]U}j_djiwPZAl]V?jUdmYtXZ]lWUwjUdmit`ZqlUUzjSDkyuHYelcUijSDlIupYilQUtioTWikLUMjJTcjMDoIwPXymAU\jLdnYrPZ}kqU}jJDmir@ZqkmUzjHdlIqhZYkgUtj[dcIuxXIloUPjEdkypxZEk[Uqijdhij@YUiqUfjRDVIjPY]lITZjDDfysHWql?UJj?d`IoXWYkCUDjBd^io@Wej}UGiyd]ymxVujkT{i|D[ym`VejoTqitd[YlHVAjSTniuDXilpUajYTfjPDVYjxYQi{Ub_DOBG@[?i?X?JkJdhYs|YY?Z?N_FOBW@{?y?`?Q_GoCGAK@IcnQXhKSeiRdHmczQ^hNSgISTIEoqW_kJeGjCH`aoqWbkQEDzCh`aosWSkMEDjBX`UoyWSkNeDjBp`UoaWJkHeBZAP_qo[WPkGECz@x`Ip]WGkWeAjE@_eoIWbkQe@zC`_YoEW`kAEGjC@_IoyV~kNE?ZBx_Ao[V{kGD~j@x^unqWYj|eFI~P`moUVuj{EBZ@`^]pKVrkSD|ZCx^QnZVnjvT{Y}T^Ap]VikWdzJE@]mpKVfkSDyZCx]anGWkjrEJi{haupQV`jpeIy{PaipQV]kTdwJDP\}myWkjleJiz`aum^VOjgtsiyd\MmRVJjdTrIxt[umoVBjlDpYzH[QmKVTjjdqIwx\Yh~T@i_TQYhTSaiVTLieTSYi\TIs]XCkbEcZGhhAqqYEkleaJOxdiqkYElCEUJOxd]qeYNkiecZI`hAq_YKkhEbjIHgusQXLlDeRzPPcysSXIlDeRJPHcmqMYKkcebjH@gup|X?k^uOZG\cIppWxk\UMzFlbqraYBkxe`ZMPgQs?Xml@E[JOHe}ryXjk~eZZNpeqrOXvktE]ZLHfarsXdk}EXzKpfmrgXakyeXJMpeMpcX`kneLJEXeAqwWtknELjJhb]scZDlIEpzQXkYtqY{l^EmzVPjut}Yul_emJW@j]uUYflSerZT@kquSYelQeqJXHiQteY`lYegjU`iMs{YllOEjzRxiyt_YZlMekZR`jItSYWlUEejTXhesiZAlJepJQpkMv]?__OoFwB{AE@@SEiCT@y`TOegVVTjjttizD\imrZxL~v?B^Dngv|ZtL|u|r^lnWvxZwLxU}b]dncvfZtLvu|r]LnWv`ZkLwuzR]Dmwv^ZkLxUzb]dmsvfZSL|utb^llSvxZPL~V?BY\lGv~ZeLsuyr\DmgvNZbLfUxRYDmOu^ZYLmuvrZdlku|Z_LjuwbZLmCup[mJSTiitLYmlZUk_HoDWAc@U?h?RijtUYjDTqivTYk}u^zNtfirxXzkzu]ZNDfQrlXtkmUVjJleArBX^mgFNZiHr}y][}m\FRJhhrqy[[zmZfNzfHruxo[}m\FLJf`rYxu[tm`fKjghrMyG[pmXfOZgPrExc\?mVFQZe@smx]\ImVFPje@sax]\FmUFLJdXrYxY[tm[FIzd`rexm[lm@fHz_PqUwA[emPFRJhpqQyY[bmffFzcHtAya[_mMFQZbhsmw{\Im`fEZghpmyG[YmJFOJaxsEyC[WmbFCzh@pUyM[SmGVCjaLo}wZ[MmSFAj``qiwU[hmQf@zcpoexM[GmAFIJ_pqiwI[hnOECZA\`IohWTkJUkzUljQt`YqlWujZT|iytXYilTviRs\yS|V]iNQVhbs\y_|H]dNRvkBsDzC|D]`NVvgBtdyG|\]`NUvkBndzCz|\|NVv]RtLvk|V\yNTVhbmty_zp]fMzv[rtdvS|\\sNUvZZl|uyzT\kmtvfRk|x{zR]]MsVXBrluW{~\dNNVWrrTxozD]ZMovebjtxoz@]ZMnvUrq|ts{r\[NKVUbqlt_{l\XNIVTRq|tW{p\VNKvdRidtK{l\QNIVaBp\wc{Z]INEVbrotwS{\]ONBvcRoTwO{f]QN@v[Bn|vG{B\pN?V}b|\}u~X^gntVyZvX~]|y^xn]F}J}xza~q]yn{FmZ}`zU~i]vnzFljuP~Q|g^unXf|Zvp|e}?^Zn^fujyp~E~e^WnxFtz|p|A}c^ongfzzz`{u}{^Nnmfrjzx{i~A^KnoFqzwx}I}Q^cncFwzw`}U}K^fnafxjyX{E}i^BniFojc|qYxJ[gmTVI[BE@j?r_UoIwD{Cy@J@Q_SoHgIKCa?~?__eoQgCZ~iA^@Q^~n~GIKCh~j@K^{oQF}{@IAF?U_boDGGkBq?Z?}_FoCGGK@a?N?[_DoEg@K?A@n?C_\o?gFJqdxY{j]VnKveJrTxq{v]\nNvfkHQAj@W`GoTgQ[HYCVAW`FoegPkGQCzAG`Oo`gR{FyCjAA`Ho_GQKIIBrAe_}ohGN[F]Bf@t_uo[WL{HqBN@g`OoYgR{EADF@c`RoWgSkHYAzAY_loeGJz}d~Y~j^vn{v}KIeDZAj`noww[KKAFJBC`soog[{MQDvBg`^oxgVkJQFVBm`[ozGU{IyFVBm`XozGUKLaEZB[`gougX{KYEfBU`coqgYkPiGRC]aEpFG`[OIFbCE`xp@G]kNqGjCWa?o~ga{NYG^BwaHo}gaKRIHBCsaPpLgckQYHZCoaTpJgdJ\lmyvX]HnDVaJolw]{L^|n~v~j~T~q~v`eosWX{K]EVBHamPZWkCUeI|DjapPTwjSU]JHDXamPTWkCTMI|DPafPTwjSSuITDXacPSWgcTUILDRabPRwhCSmIHDLa[PYWfcUuHtDjapPNwksSMJHD@bTMTvJJdk?]?R?GnfvrZxt{i}X^JoTWJKD]Av@\_no{W]kNMFnBz`{pqGy{[qMrFIbiprgw[\AMJFQbbpnGw[[AMNE}bapqGu{[qLvFIb[pnGt[[AL^E}bUplgt[ZiL^EwbUp[GsKXyJ^DqbPprgrKXqMbFQbLpcgykXYMrESbjpbGuKZQKbEqbFpaGukWiLbEEbXphGoKYaKJEeb@pfgn[YIJ~E_a}p\GskVaLRDubRqM_@G?s?VFwc\p~HF{^iPzGybxp|hF{^QPzFkcYqMG}KbYN^FecVpyHE[]iPbF_cVpxHE[]IPbF]c[puhEkbYMzGacJqHhBKaQOvGOcMqDHB{aAOfGIb~qBh?K_qOFGgcAqJH@KaiONIA?G_BoAW?{?e?Pc~Q`xOCgMRxIDc}QaXOCguR|IJctQaXLsguRXIJcqQ_xLCg]RLIDcwQVxKSfURdH`ckQ\xNSduRpHZceQOXICcUQ\HBchQPxIccmQlHHdaPgWs[X}LJEfbS_AO@g?k?Q?L?DqshWKjyUjJOd`qthW[kAUrI}dlqhhWkiiURIgdbqthVKjqUvIydkqshUklQTnJOdXqjHX[jAUZImdfqqHSKiQUJJEdPqehX[hyU^I[deqbxQKhMSjIVdKqJxE[bEPrGvcYqyHb{mqXBJiePrEH^[nyWzJ{eLq|HcKqIVrK]dzrEH\{nAWzKYdxqvX[Kl}VFJfdqrCh_{pQWVKUeCr?haKoQWZK?eFrRhckqaYfLOeRrOhe{sYXvLCe[rOHekryXfKoe]rIhhKqyYVKkeerTHkKtaZJLUeprUhk{uiY~L[esq_XNkf}WfKVeIrCX`{ou[HLzfCR^Xosve[@L|f@R]XnSv}ZXMDewR`xlsweZdL~f@R\xoCvU\PJ@d`qnxg[s]YJL@e^rNXtczU\pMhfZRixuCye\XMrfVRixpSyU[\MffERgxtsxu\`M^fXRgXqszU[tMxfKRlxscxU\LMRfPRcX{c{Q]~NAforwhwK}A\vN]f^rwhvk{Y]fNGfjrqhyk|a]ZN[fgruhx{~Y^JNyfsr}H{{~I^ZNoftrzh}kyU\NMbgCR~Y@d?E_TN~gDS?y?t?u_HOHfnrwx{L@g?DONgN?@iAL@o?HORgL?@IAg?I_|OXgM?@iA~