CAT(2520,2)

Sparse6:

:~?fW_?O?G?C?_?J?D_Bo@g?{?Y?{?\_MOEwCwAQ@J?d_ROHgCcAm@N?g_SoJGDSCG@f?r_YOLWEkBQ@`?p_VOJWESA}Ag?b_POGWC[AE@B?a_PoGgBs@}?~?__OOFgJKD]Av@Y_mOUGIcDUAl@U_iOTWI[DEAb@Q_hOSwHoDqAm@O_k?RgJGC}A]@Z_l?SGF_Du@y@]_^?VwGGEABC?~__?WWJgCaA{@H_n_QgK?CmBC@L_e?WWGOBaAE?x_Z?PGEwCU@u@F_\?PgR_@e?p?Y_MOEwBk@m?z?[_RoIgDCAe@X?j_^oOGFsBq@z@@``_kwUkJYDdAs`WokWUSJUDfAs`ZOjgT[IqD^Ao`UojgUCImD^Ak`UoiGSsIiDRAd`RoiWTSIUDPAf`ROdgRCH]CrAY`LocoUkHSDlAr@HokOQkJGChAs@IOboS[ICCZAP@OOh?QSGwDDAO@NofGRsHqC|A\`Mod_PkGwCnAN@KOeOQCHkCdAY@GoX?R{ESD@@g@OoWoSSIOBL@f@Po`wPCGeCTAK`Do_WOSGMCHAE`AoYgL[EeBX@m_uo\WMsFeBn@y_{OZoN[F?Bx@s?~o[ONkFGC@@r?~PN_As@Y?l?V_JoDwA[@U?hAR`IodGCcAY@J?m_UoKGEKBI@^@r_wo[gMcE}B`DdAkpUwjSTqI|D\aopXGj{UAJDDbanpWwkCUEJDDcapPXGj{UAJBDbaepRgh{TAIbDQaTPIwdKQeHTCjaUPJWdsQyHXClaVpKWeSRMH`Csal`NWjGRmIsCza]`Vgj_RqHwD\aZ`VWfOTyHkDXa[@UgegTmHqD[af`MgeoSuHmDMa[@SGegTIHqDPaapPWgcSYILDC`]`KWVoRIHeA~`_`KGdwKIHgB?a`@EWgGPaIACVa`@EwgWPqIECYaGpCgasPMGhCTaD`UGigOqImCLai@Bga?TMIkCNaA`PwgwOYGMDGac`AghGOeGODGad?zGhOMiFODKad_yW[wSqIUBj`qoxg[cMMFDB`a^?vGfoLuEuD?a^_vgg?MAH}B^`c`Swi_KiIiBJaj?rWj?KqImBMaP_lwc_JaDsCd`\`Hgd?JqDqCf`x_}W]_NmFwBt`z_}g^oNaFyBuaM_zWboMyFcC^aO?zw]GQIHABo`~_tW_?LYGABVa@?uG_WLiGGBX`g?pgYGKMEMBS`h?pGWgLMEOBNcN_Bg@s?}?`?O_FqI?AK@E?b?Q_HOChEwQiHVChaVPJGdkRmHzC{aZpLWfKRYHtCw_KOEgBC@e?t?X_fOSGH{DEAd@R_[oMGF[Bi@l?v_^ONWGKB}@x@?_cOQWH[CqAT@L`[omgVCJ]DxAz`_ongWCKID~A|`^ongWSKADzB@aMpFgb{QAHDC`aGpCga[PQGlCT`sOyw\KMqFTBf`mouwZcL}F@B]`oowg[[MQFLBd`fosGYKLIEhBR`lOtwYkLeEpBU``opGWkKYEPBFdXA\`RcfgSzHvDLQf`N[h{RpHxDLq[HMKfIRfHtcyQepMKfKSzHtDMQ\@RSfGS~I]CwQXpPcecSZIGCqQaPKke_STIJCrQVxKCdyRBHbcpQ\`JKf[QtH[C|q]`J[dsRrHwCkQS`SCdKTBHSDPQTPS[d[TJHUDQQd@HchSQXIUCfQdpHkhcQ\IWCeqP`OSckSJHGD@qQPOcc[SNHIDBQP@Kkc?RHHfC_qY@GSecQJHBCrQaPFSbkSTG{DDqa@FcgsPtGzDEQLHEkbYPlGtcYQg@DsiCP^GoDPQKPS[bKTJGqDQQd@D[h[PVITCUQd`DchcPZIWCUqI`OsagSJGgD@QIPO[a_SNGhDAQHPLcaSRZGfCtQHpL[aWR^GeCvQY`B{eoPDHjCOQGPL{ewPHHlCPqE`J{e?OrG[CpQF`KK`sRFGZCnQT@AsdWOlHTCJqS`BCdKOpHVCJqD@GK`SQHGRC_QCpG[`SQJGSC`QBpFk`?PzG}CFQC`F{b{OZGPC^QJ`BK`oP^GoCNQE`E[`kPbGqCMqBooc`?KNGQBBPa@@k`CKFEDCFQSO~{^kQ^F{Cfq?@ICdCNzF}CgP{p@c^OOTFqCEPzp@S^?OVFpCDqP_|Kc[NTHGBtqQO|c]wQVHIBuq@ozk_[NDGGBnQAOz{_cNBGGBoQh_x[[wTTIhBgPrpTCikMXFLDRq^_wkf{MLI?Bbq^OxK[_RxI@BdQG?wK[OO~G`B^po`Cc[?PFFBCPPmPPsZoS^E|DGPm`QKhKL|EzDHPkwucZULlEwbZpjPJCdoL`EmClpjpJKdsLdEpClPhpNcfsLPH~BTQ^_t[YoSBI?BSpgPPsYGS^EbDGPh@QKhKLLEdDHQ@?r[_OKzGDBMQ@_sC_WK~GDBNP^PSsWGTNIiA~P^pTCW?TVIhB?p\pE{VcPrD{C[p]`E{V_PpDzC[P[P?KVGOBDrC@P\@?[VWOFDtC@QiolCUWTLIhArqi_lKUSTNDiDSPwopK]OKTEJBqpb_|CWsNNEKBrPsO}k\GNlFRBzpt?~C^cMlFyBipdOy{XWMpEVBkpe?zSXgMxEXBlpYop{UoK`DlBGpZ_qSV?KhDnBHroo@C?e?T?J_EOBXyg_QOLGDcBqAH@K`YOpGVcKqEhB[`qO|G\cVQKhD{bEPfGocYQLhEk@Q?j?R_HoDWAcGuC^AM`HOcWQCHYCnAW`KoewRSBU@f?s_poXGKsEUBP@f_vOZGLKEuBV@ibDpagpkWyKXEHbhPtGyK\UMlFRb\PmWvcZuL|EzbSPhwt[YeLXEib?p^WnsV}KDE?atp[GlsU}JXDlaqpXgk{UaJTDhggCRIH\CiaZPNgfSPaCtC_`POiGaSPQC|AkaNPHGSsEaET@k`fO[GYSLQBl@{`nOuGNSDA@t@S_`OUGGsDqAT@c_^OWGHs?i?t?M_NOCgAs?aHTCs_NPNG@sQq?dCw_JPKGBSJ`~LB?^tOlF|sJp~c~w`bOkF}r{ADC}{`ROjFusH`}TAg^\OfFwsO`|[}g`|NiG^sOP|\C?^XPBFuRxH{{}e^JNefsRxA@D?c^LOIFrsAp{k}c_ZNgGERvaGs|{aJN_GaRwQG{}KaRNaGcR{pzC~S]pNuFkr|@zK~_]tNvFlRsqFC|O`vNRG[rtAFc|G`zNQG\SR@xdCk]ZNNGdSRPyDC{]\PMFgrqQETB[]TNIGXrqQEdBS]VOuFdsJpxlAo]\OlFeSK@yLBC]^OmFgRzPwc}w]JNBFxRzpws{_^`NFFwrw@wK{?^BNaF`Rv`wC{G^FN^F_rjaFsy{`~P?FWRkQGKzKaFMqG`Rf@~K~w\@M\F|Rf`~[yC^xM^F}rehq{xa[rMZfJRcACKxC`FMQGQRdQClA?[fOaFISOppswg`|MJG^sO`plC?[^P@FESP@nDCSZrLyGbR]qG{vsaRL{GcSM`msvO`xLtG]sM@m{vG`vLrG[rXXkCuEZFLcepRSqFcsw`pLNG[rSAF[tG`zLPG\RNQBL@OXxOWE_SDpft@SYBOUE^rnPesrk\~KyF^rnPe{r_\|KxF^RvPe[|sXhKqFlrLPz[r?]xKpFmRtPdSqw]jKnFjrtpd[qs]lNUEUR|PdK~KXHKfF{R|@ck~WXPKeFzrn@`{pC\tKKF]RB`vSos\vKOF\r~paS~{WlO@EIS?Pa\??WjKVG?Q{aA[mw_^JnGFQ{qAKnC_dJoGGQzABd@{VPJhGNSEp\Sms_tJjGMsG@[TACVFOaDqSGp[lASVNOcDrSA`Zt?kU~J_GEQvQ@D?cUxJ`GErp@US{STfNFDZQlpw[jO]PItFbRl@iczSYjMuEjRlpi{zcYpLXF[RPPhks_YDLBEcrP@hSs[YXLEEdrF`lcusXBKaEvRZpb{qKZbLoEORE@kspcZNKYEsRYPbkpkZVK[EtR@`ocwWWNMHECR`p`Sw_WVMDECrg`_CoC\FKAFQR?psky[WJMeEARU`^StkVvL[D}RVP^kt{V~L]D~Qt`Tcl[TZJWDVQuPT{lkTbJYDWQr`Y[kgU`JJDgqr@YSlSU^JLDiQp@]ckSVjJvDbQ|`W{ncURJwDcRi@Vsj{\RJ?FTQoPt[kK\XJAFUr_@Vkj_Z|IxF@R^pVSjk[FM@D]Tao?{?U?LM}f^rnXyC{q]ZNNfgrrhyc|I]fAw`[olwV[JqDtCZaLPDwbKPqGpCJaEPBW`sPAG^Bx`|O~W^[NyFxIkdVQjXUKjAT^IldVQkXUCi}TXJKddQqxXkk}U\Iwd[qmhV[juTxUxj[Tmiv\ZulxUeJYThquTY_ljUuJStiqu|ZKlTUYJRTeqs|XolPU\JStiqr|XwlTUTjGtcyqTXYkhUJJbTbQxDWkmNUKJctbQwdWomJRFh`SpIWtKUeFUwJ@TmaodZckLUDJ]tnAo|WKlvU_IqTgQklYGjLUbIrtYQslYOjPUvIftSQulSoldUuIfTSAudSslfSUiJtEib\PegpSKJHTAaq\XWgZSJJITcQ`|XSg\UkHxTjQ]\NOl^UmHytkQ]|Z?flR_JCSwQpLMSkTUIHpSwqpLW_fHRNJUTjQXtL?l^RPJVSsquLLGl`VAHHsdqwD[KchQTJ^tnaQt[CcdU\HESbQrtGwktQNJLscQrdH?k~QIJ^saQvt[CcLVBHBtoaP\G_m@QDJctpAODGOmJVEH?s_aw|GKmPUWGrSWqrLEGknPcJKTeQK|X[bJPUJFSUqp|D[k\PYJGSUQqDD_k^U`GithQI\YGa`UbGgthAITY?ahTiIYTYqelUohlTlIZtZqfLUwhpS[IPTFQc\PwhHS^IQtHqcLQ?hLT]IATVq_lOWj@SFIotAQk\O_jDReI}SxqnlW?fVRgI~T_Q\TV{fRRZI?sva_\L{gDRYH~SvA_DLsf~RGI\SqQf\KghxS|HdtNaXlR{eXTuH]T\qVlV_d|Q~I|t]aWLVce@QyIdslagtJkiTQvIbsmQhDScdpTVHYSlQiTJ?ijTRHWtTaUTTOdfQiH{Siq^LIoftRzHUsja^dI{fzQgHjshQYdI[epQhHkshaYlIOelT?HNTOQR|SGdBTBHPSgqglSOd@QWHuSeQ\lHgf\QZHvs{QRlN?cxPyIkS]qjLFoitP|Ils^qjlFwixSlGytIANLQcblPwITTIqMdF[hXPmIwSZqmLF?jdPpIxt\QM\VObdPlIIsYAaDPCbRSQGtSZAadPKbVP[IVSWAeLDsh^P]IWSWQe\RGa~?C_AO@IpLWikPGIcDqBH@k_yO^GOcHQCXAk`QOfEObIPbwq[XEKdDva{P]Wn[ViJxRMhfssYYDLIefQFhDsaIOtGicRPggssYyLTEubXPPghsSIIdDUadZELhUqbY|k[ufZSLcUtRX\kculZOLbuqrYLkouPZHLfuqbXlkwuLYyLrumb[tmOtvY{LsUxRVdjkvRX}LkU^rZTg?urY@Llu_rZlgGuxXwL]unbNLj{rtX|L_u^BWTk?rvZVKzu\RY\fGudZTKzU[rYtlOrhXeLmUXrZDe_urXjLmuYRZ\egutZKKoUrRKLkwrDZNKpusRKll?rHXALnUvrG\cWvDZ_KaUPr[\cSvBWcL`uHrWlaSuHWeLauIRW\a_uHWXLYUEbUtjOovYtKKUlbBljSoxWQLqUCr[l`OvLWTLruDr\L`WvPV}j~t}i~\^qnzYxJzUlq}dj_njYvJzt}RVD^_trV[LnUvqzlmCm|ZbJoUwAz|mGnBZ@JduoaxTj{m^VKL]trbWDjwmZYILMUgRPlhssVY]LEUgBP|h{s\YGLLudbOdh[sJYWLBUaRRLg[stYOKlUUrQLhGqxYRKmudRJ|hOq|WoKfUKRH|d?pdXRKYuSREddGpfXSKTUTRD\dWpXXVKUuJrJLd_p\WPLVUCBUT_{tbYnKEUkr@l_wt`W{KBUNR?|bwoPWHK_uOB@\b{oTWuK?ULr?Lb_oDWCK[uMr?l_KptYgJvUiQ||ign`YjJwujQ}\iondXpJtTyBMDeonVXlJuTzRLt]cr^VaKcTwrHL]OqTVdKdtxrHl]WqXW]JjTtrB|\_p@VXKOturC\\gpDVSLQtsBS|\StLYaJhUgqy\\CtH?N_GOBjro{A]DN@fdRqxxKRAHbCsaXPKwd{BY@n?x_\OMwFCKyERBI`dorWXcuqZZLmevr[XmCnaVhJtdzQ}X]|_AoBWCk@u@Z?T]anRVijttzY|d\um~V]joTwYzd[im\VJjftrIxl}?|a^]nnflJuh|i|e^ZnmFkju@|u|M^AnSFozw`yQ|I^DnbfiZwpyY|S]cnQfizspyq|O]nnSfjjsxyu}g]`nifgzypyI}m]bnOfuZz@yI{y]un\ffJrXzi{y]vnLfmJr`zewA^Bnbe~Z^`{Iv{^DnbE~z_@{Q{c]inHfizq`yq{i]lnJFjzqxyyzg]Wm{fejmhxe{s\unKF]Jmxxez_]^nNF[zlpxyz]]^mwfgJmPyA}y\lmsFujlH|m}w\innfYzzpuqy]^@n]FQjhpzu|{\Kmefnzw@smyG^GmafqZgp{iyM^JmcfrZh@{qxo^Sm[ftZfP|Yxu^Vm]FuJfh|e}O[qncfKzxPrQ}U[tmZfrZx`rYxW]umUflzdpzax]]xn\fKZe@zixC^MnffGJyXqUxA^OnhFGzyHqQ|y[Sn^FDZapz}wm]{mKfoJb@{E}a[RnhFBz`p{ywc^NnhfCJaH|A|_ZwnXE}Z]xzM|gZzl|FlZ]pzE}wZslwFuj]H|m}yZqlyfvzzpnM{K]KnBfbZp@wy{]]HnGfazq@wizE\\mrfWZj`uIzG\]mqfWJkpt}yg[~mgFNjiHsAyc\@m`fTZgPtMxQ\VmlfIJipqmyq[imlFHjj@q]ws[GmLfAZb`oiwU[\mEfFz``pywC]?m@f_Z_`wIwI]BnAf@zo`oYvS\yltf]z\`vqvY\|lvf^z\pvzCI?G_DOAw@c?u?RGdcRqHgo[W]KHEDbCP`gmsVEJfDsaxP\Y\tNEfXRlhvs{Jedr]xf[tmXVLkTaHhDLaZPRwfCTMHtDVa^PTWiCRuHlCja\PIWfCQuH\CtaXPNweCRuGTDPaePCw`cS}G`DVahPDW`sTUFxClaXO~w^CQmFtCha@PKWdsOEEhCV`jPDwbSLuGpBXaLOvwbCLmGTAdaEOhw`sIeDTCP`VPDWTcPMClDTaeObWQcT]I\ANahOcWiCHMGLAHaBOawOCOeGHABaCO`w_cGUB|D@_zPOwgcFUIL@xadO]whCFuGx@P_hPFwIcQ]AlC`_lPGwJCQU@@D@_RPQwgsAm@PDH_QPOwgcAL~tCdaMN{WcB~MHC~taRN}Wbr~]EPB``dOwwXcMUE\Bf`hOywYCMeB`Av_tOkWLcJMBPAt_vOmwMSJeE@@b_mOnWWsEUA|A~``OWWWcE\~x@D_BOQv~sC]?D@L_AORw?CCe?h?x_JOMwFc@e@|?Z_`OFwGC@uCp?H`LOAwRc?uC|?N_HOgwACID~H?l^rOJv|CBD~\?v^uOLV|SBMFW~L^fOzvyCND}dBr^jO|vycNT}?~X^dNwVwR|l}O~b^bNvvwb|uGJCHaB_`OOwGcCUAN@EqOhKKeQPzHCcmqNhJ[cAQ~HacbpmhIkZaQjE{cjqUGw[daMBHUb^pkhKKdiLZH[bVqVguKeQLnHabYp^HEKVyPfE?cYqLgo[WYPvGwbAqBH?K_yOFGOcAqCh?{_iOnGScCpsGzk\yMfF_bipwgy{]YMvFcbkprg|k]yMJFKbtpqg}[^AMNFGbspgHHKYIQVHKbQqRgs{dILVHObSp|Gqk^YKnFwbKp}gr[XyN~E[b}paGm{VQKVEKa|p]Gp{VAKfDqbGpXHBKUYOvDgcMpYhB{aIJ^G_auqHGjKTiPND[cSpVhD[UIP^D_cUnLvfZrc_EOFGAq~h\[oAVjJ{dur?H\{nyVbJ{dxqjH^[nYTFIcdzqhh^KiiVvIgd{qshP[lQSZIMdjqcHZKhQUzIQdlqmhT{jqTbI}dXqoHUkkITnJCd[q^hW{gAURIAddq`HXklASRIEdfq^H[KfaU~JecxqwhM{fQVJHydsqXhQ{eaSrHidLqZHRkfATBHmdNf\RnHv]YlK`ejRFxjSqMYtKZekRFXjCqUX|LJe_RRXgSs}YHLPeiRQXgstMXdKNeGRNXaSr]WpKteIRMXasrmX`KLe@RHxdCoUXTKFeURAxdsoe[@Ltf@R\xocve[LLzfDR^xpCvuYxLhetRVxlcuEZ\LbexRXxmCuU[o?AfEre_?cw}[w?EfG_?hrsxM[k?CfP_@hsCxV