CAT(2600,6)
Sparse6:
:~?gg_?O?G?C?c?P?G_CO@W?{?Y?H?C_AO@W?{?]?J?E_BOEOBC@a?p?l?SOHwDcAe@T?j_]?KwE[BQ@h?t_YoQ?GkCYAF@C_boOgEKAu@`?n_VOKgH{CyAa@T_hOToICDKAh@\?cOQgH[CqAZ@H_t_WwK[EMBH@c_qOOgGkCQAL@F_`oR_JsDKA~@P?ooS_JkEGA^@O?oOLoJcB_At?x?lOUoF[BWAx?y?loaOJkDyB@@^_pOWWHcCaC_@H_eoboHSHGAVAD?iO`_IkGOAl@V@@oUOO{D_CPAH?]oaoGCBwCXAM?^oOOPSBoCZ?d_ROHgCsAU@J?^_OoFwCCAE@@?a_QOHGCSAM@F@[_loUgFcCA@z?}_^oOWUkJMDhAr`YolGSKIIDLAc`QogwMsFMBj@s_xO[WQgIuDaAV`X?eGTwHiCqAm`W?dgQ_JaCeAx`\_cGPwJYDsAP`H?lwPcGyCRAI`EoawPCGUCLAF`@o`GN{FuB|A?`@O_WMCE}BV@m_uOZWKoIEBIAa`Q_XwSoEaBSAb`Q?YW`OOUGNCCaCpAG_sJYDvAw`[olwVSIeDXAf`TOiGT[IkG`CQ@RpCoTCPODRCT@UOi_aKIuD\An`WOkgUKN{C|C@@NofO_CNwD@AZA@of?_SFoHDCb?zo]OccFgHJ@wARO]oc{P_FpCU@{pEO^SNoGnB|ALPEo^[So?r?X_LOEgB[@m?x?[_MoFWBs@yI{DWampUWjSTmIx?a_QOGwE[BQ@j?f_SOIWDSAq@V?q_WOJgDkBE@^B_`qowW[SMMFHDiavPYwlcU}JZDcaqPXgkkUYJJDuAbPQOn[SgJrDJA{P]_hCV[IND?AwpOOmCSGJfDtA`pP?mSSSJhDYakpVGjkTaIvDaanPWwkKT}J@DNagPRGhkTEI\DNagPRWhcTEI\BG`corGXSKuEVCtAbpQOesSkHnDIA[PMOgsROIPCrAoPJ_jsT{H^D`AWPWoeKUGHdChAhpT?dSTSHZCgAjpT_dcQkIdCTaHpDGaSPAGbB{`|o}G^KNiFzDi@~pYo_KU{GDDkA?O~_lkUwGFBq`xo|G]sN]FjDu@lOv?m{LkJvB^A|OvOnCLwJrCy@`op_f[KGHxC~@aPN_W{KSHzB@`_OnGVkJyD~CXARPDocSPWHNCWAPpH?b[PgHJC\ADpA_cKOoGxC_AFPF_`{P{GZCF@oOwO_sO_FDBbAAPAO[cOSFJGKCBQAH@[_eOTGFaxP[HAWVEJhDtCHQDOm[UaJRDfarpYWlC`gHtGZA\pNpBCRoOrG\A]pN`BcSAIBDBa`PPWgcTaIrDYalpVWjcTMInDQaiPTgikMoO@BlC?q?_]C_SF\BpCAOzp?[M[PHBeCQoy@C{aWFRGh@tqI?\SLOPTBTCTot`DcL[PZBXCVou@DsbCE\BRCXqLOX{L?P`BPCXOs`Ecdg?|?\_MPQgh[SaILDHaboFwCKAA@N?k_SOIgD[AeAD@E_`oPwGcCU@p?v_[oMwFSBYBb@q_yo\gM[FQERBI`eOqGX[KuF`Bm`wozG\{MuEHBB`bopgWSKUDxA|`_OnwWKJyKhETbJpdgrKXaKJEBb@P`Go{WYSdIPdIQcHQkhMT?IJdNAbxPOhuS}IKdOabhPghqRPHhctQXhL[e]QhHTcjQUXI{daQyHScnATXJwdYRCHXcoAUHKGd]S?G~c]a^xF_fyP{I@d@AOXG?gMP_H^cWaWHEOeIQ{GtcXaWXJgbQPTGncVQIxDcauQcGgcgaHHIWaePIHPcRASxIOa]OnGQcJQCxAc`USuFwdJ@|HQw^USoFub{aehRG^]MlFVbkPuwzK\iMKHecr`qXL?[UMGHhct`pxLO[aK[HkbFaZgq?e}KeHpbGaZWqOfARcD{cz@^woGfMRgD|b?A\XMwVyLYHKbVAQgt_caL]HLcc`kWu?cmO?GWc?aEXBO_IOGG[cAaFXBW_MO]FOcG@swyg_yMgGKcG`sWyO_uNAFKbe`wGz_[iMyFJbf`vgxo\}OMEqbZa@h@?ZMOSEscD`lh@GZUS|I`dMQfXSCh}SvIUdKQdxRKhiSbIQdGQdHQkhMSTILdFQaxP{gqSHIEdAq`xPKgaSJIFdCQ`HPKgYSFH}d?Q^xOKgIRpHzc{q^XNSfqRvHwc}Q^XNKfiRdHrcyQ\XMsf]RXLUCwqZXLotaR`LYCvqWxK[eURJHccqRH`JSq[QvH[ESqV@dCqkQvKiClRSpH{t?Q\LPCgRT@HstGQ`LTCfrF@GSpkQHHEENrFPG[pwQJHFELQMXFSbmPpGvcZQFhCS`}PFG`cOP}w~S^qNzF~b~P{ph[]wY^FnEeP{@hS^CYZLMBxRV?|KtsNXL^BtRV_|[uCNZFgEoPww{c]INJFfbrPn`cKqKL~KcB_PopckqGMBFAEOR]_vSvoLvEwE~PmPn{vsLzLzB]PgwsCYQLDE`bQpiWssYmLNEibSPd`tsX[\TEXFTpd@t{yoKjEWFUpe`f{XoY@EZE_rOor{rwKzE]E`Pa@scWo\NEHFQrh_pSWs\REJFSRMOo[rkKNKwB@P`@fkroKLKyBArc`mcxKZnMSE{RdPmkx[ZrMUEzRP@oKsW[DLDF@rPpocwSYRLGF?RK`dcqsXfKmEYRJpekrCXnKoEZOCgAc@U?n?U_HoCgAc@U?n?U_HqRxICcyQdHRcgo`gO[GaCHAF`AoXWLSEYBN@g_souwZcLiEzB^`nPjWtsYqL^EpbWQBH@k_yO^GPcGPyg|C]mNZFhbuPfwr[XyKtE[bMp^WoCVqKBD}a~qxH[kmYVNJhdsQrhXckuU^JPdgQmXU{jQTlItd[QjhT{jATbIrdXQghSkiQTLIfdPsLIElB]`lOxg[SMAA\@S`rOuGGSDAE|@C`hOtGHS?A@C~w_RO@GAr~q?t?G_HOBGBryqBk}k_|O^FsryaBc}g`BNhGORtADlAo]pOiFisIpys|c`PNVGSrqA?c{c_JNIGBRqq?|?c]ZNKGCR~@ws~_]DNxF`r}`wc{[^zNzFarl`}S~O\tNrFZr|PvC~[\vNuF[reaA\@?[pOPFKsD@rd@S[zMZGHR]hn{vmZxL}e}rX`{C}OZFLfFprxPkSuO^DLdForvpjcuC]vL\FlRV`zc|wZ@N\EnrEaBkpk_|K\GMSFpbdA?W~O`ENRBaDso{`^KOGWRCQEKpK`fKQGXR?`|coK^ZKCFvR@`}Ko[^`KDFvsE`YKko_pOUDfSDpX{ks_vOXDgSH@WtASUNObDcSHpXKkk`LJIGPSD`VT@[TvOWD^QnqB\@gTxOXD]r\ptsy{ZrMiEyrjPnCyoZlLsFTrUPikt?YlLPEkRS`i{tkYfLYEiRK`skyWXfMfEYRi@e{ycXjKuFQRO@asp_YBK}EIRNpakpcYDKVE`qxpoKwSVRJdF@Qx@oCm_[FJeFAQuPYSlgUfJZDiQtPZkl[UxJUDkQz@VKmkTjIsDvql`\SmsTpIvDvSJiD|BA`bOqgXsJIDDAm`ROlgTSGyC|AI`LOcgQsBI@\?y_^OLgDSAaZt?kfBOKHmsBQZ|?{f@R[GFR~i?C~}_BOBg@R}I]_~e^tRuF}R~X~XNa^dNrfyR|X}{~Y^ZNnfuRzh}K~A^MRyh|bxi^_}Y^OR~fsC~i^g}]]xN]fnruxzk|i^@NbfqRxX{S}Eg?Lmexd?XlxOIZ_SBewd@XmPOQ]`NPfhrrhx{|I\xM|f^RnxwK{A\hMofYrkXuSzM[|M_IWRgYeOyI[~SsFPrcad\Qo[nMRIUtI`qcxWh^MTIVRcHp{xE[\MLfER`hpCw][RMJfDRYhlCueZVLleuRPA[dM[YLLGHprPq[TMSYRReEarRaYssgenLJHkRRAZKs{evRYEerMHfKriXzK{e\rKQcdQSXXKlIRTIPeDQ[X\SgEVrHagSqciNKfIaRIAglSKXVKiIbRGaYCqKebRQEOSspcKqSejKcHiRAAjSocivKIImTVp`[osizKKInTN`^|RsW@J}I]TO@^coCiBS~D}tC`^LPKVvJuIJQ|qa{n_ghJyIItQP]DSgVhTJDwtRP]lS_VdTKDxtGPZtP{U~J_IOQwQcSmKhFJaINQoA`|PCUFJ@IEQoaaCkSgZJCIFQkHUKi}T\IrdXQiQ\{igffRpDUsz`TDN?TVRqDUTd`STX[TFUWDQTePSlXgTLUZDRoBwAC?}?b?P_GTkQttY}l`C}a\PNGf{RuHvB}`~p?G_[OIGBCGaAP@W_sOeGNG?c?q?h?k_QOFFIbdprGxk[yM^FCbappwws[eMPE_bPPgwscYULBEibRPhwtCYeLVPogws[iM\FUbhVoJWTkyuLY}l\Uqjqd`y{pWQnGUDjrdaY|@WakKVhi{DminHZmjsU{i|dnYnhZ}jwU}jvdYIkp]mjMVkisdyi|pUmnYTiiiDlYihZQlmTUj[DTyvHTelkTWiadtigP\IiEVRiaDtYyxS]mgTEjUDJidPYalYSniTdiYdhYilUSkiSDjYc`YahIUhiRDiitXQehMUkiHDoIwHPMmCSSj`dDYw`P]mISUjeDBIxhOugaVMjfdBiyHO}m_SOhuSyY\DMmfZRijgcwIx`LqmYR\jfCvixxMEm_R^hedqiXx[mmKRIjbcqyxHKymORKhLDvyRX]AcwV`jpcfYRx\ynCQ]g~DnyNxZyluQ?j\C^Iv`GEbyU|jjc]YMx\IboVRgzDtiNX\QbsVTjkCYiz`EmbWV\gvDuizHE}bYVZjbCYILH[ebMVGgrDpyK`[mbIVIjvCVI|xDmnYP\gkDyyJH]qasVig_DoYGH[IaCVBgadoIG`[UaEVCi~dcIqhWAkAUPj@DcioXXQkeT}iMDXYk`PegyT`ioDEIkXPijCSZicDdihHX]iSUWiddeYh`XiiYUZhyDLiexNYhoRwhydMi]xRmhqRxjPCwisXMMlGRchqdhY[xY]fKUeivCtilxL]esToiuCuIZXVEjYRXhgDFiYHP}ecS_hhdGYYhQMegSahaDRiWhS}eKTOhbdSYiXKeeOTQh^DUiVxTme?T[h_dVYjxKMi{RAiXclIehJIdeSohYdKYePJ]hgQuhRD?ISxOEdOSAhSd?yTPOQdUSDhOCmIVHIEdsQahPcmyShJudGQ{gnC}iKHNufuP^h}CWIKXN}bCR}gfC[IHxFIa_Prggc\IHhFUaWPpjDCPiHXW}kUPFjECQYphCak[PIjttzY|t]qn^VijsTxZXH]YnQZGjqUrA{|\ynFV^joTwY{T\amrV[jlTvYz\ZQlnUwjYtmYutYyl^UpjXTkyuDYEkxU\jNTfysDkGjdZBIxt\BWdVSuJTvLbt\bWtm?hxS|LotNb[TR{vFT@LqtOB[dOagVSIiBtAY_tMyffRnhwS{Y]TI}d`QmhUSkYTllgchZZHIsdbZll{cnQXLnSeBZdHCvvQNL}Sbb^LH?vtQRL}u}AQTG_vNQHLsSab\LmWcVQLLtuyaPdGGwLQBMAS`B_|GSwPQFMAs`b`LDMajPQgiSTyItlO`|ZUG]UuQFllS`tZVG^uuAF\qQxF[emPVHzcloGx\[nL~v?BeDrCv|[BMXv?ReTlIu^[zLhusJfhlExsZM_EOBG@k?y?Z?Ma_pOGgkSMIDDC_[OLgE{Be@v?y`{O~G^KNuFtBzaDPBG`[OuG^CM`rOyw[{MaFTBhdkQuxZKluUxJYg\SNyFdBy`vO|kVUKJDlbEp^Wkm[FRzhhrUy[[um[fRJiHrQxm\OmqFCJkppEzM[QmsFCzkhpUzQ[Sm@FYJ_HuYw?\fm@fYZk`n}zIZ}mvEqzlPkauQ\jmverJXhuquS\lmpepZjpk]uC\_lbFWZWXt}uG\ameenZVpsytw\Kl_fSZVxtAu?\NlYfQJUXseyKYolYFQjhXjIyMYplSf[jmHiQz_Ydmxehjmhi]tO\slHFOJg`h]se\@m`EdJQhsUyEYUlCfWZPXuIy{YElBfVzkXgisO\_mvE^zNpuirs\lmte]zN`u}ry\kmae]ZgXfUyGXukyFOZMxsAyCXwmkeSzjPdQqa\ZkgFUJIPtuywXTmhEOJFptQyeXAk^fTZGXt]qA\UkLfVJB`tmysW]mkeFzBhtuyoWYmhEDJiX`UyiWWkKfTzAxtYygWUmDe}j`pnuwYZzmEE}Z`xnqvo[IluD|j\h^]noZmj{ezy~XnEnsZollExjZXm]uwZglmeyZZxmmvSZ]mJemZb@jmwqYwmLemjapjYtm[YkxEwz[@eyvAXnlpE[JMXmUraZclTEWjTXeMtWXclUeXZKxi}rKYmlzEWJJ`nIvmX`kme{zJxnQviX]kjEeJIxheqoYYkkeezJXhuqsY[mVEQjeXc}x]XJmWERJeHcyxcXLkXEbJEhhApeYLkYEbjExhEpkYNm\EGJfXaExwWam]eGzChr}pG[}kFEYJ@xeeoeXlkGEYjAPemoaXkj}E_JOH_EnyYAj~E_z?@gUn}YCliD{JYh^IukVtljd{ZZH^MuoVsoWF[zmdvEz`\tmxVQZgtsayT\JmbvJZddqmxR[gmTVGjc\qQxJ[emRvFCEDpt@f[]OWwLBb}BSx@[`OXV@J_loYwN[HmCWJBXuAgu^_jLgWJRYMA{uf_mLhUfjR|iAtBYblPWObGdcTAFXEOaUPsGlcdALXGObwRbFDbhA``NK[uNCILbtAfWzOhUJKL`aup\WoOvUKZDyFApK_{kRgN[FxafAAWio_EIzDABz@mWHo[eB[F@_aoS_zo\EA{Ep_rAsWAk@gUz?aDqoI`\kBgVz?qDy?R?H_DOAw@[?iQhHTcjqThJKdaBV@k_uoZgMCE}BJ@g_tOXgLKE]OLGFcDqAH@S_eMlFVbkPuwzS\en`Vqjxt{Y}l^R@T_joUwJ{DuArD[aCpVg`[UAGbDaaEpBgk{UQGfCMaipUgaKOiIbCKahpCgi{OaIrDQ\wmzgjKThvizuagm{gijmqInDC_opPgK[SaBJ@iadoYGh{SqBNCq_PpJgBkRY?~Co_OpLGBK@iHZDG^xpPF|[Sh~ZDE^spRf}KSp~]~OaOnsgcZ|QHI~UaRnugdZ|aHRC_^UpGft{QP|bCe^XpIfu{Q`|i|ua]pMFmKRhze|wa`n]gf{S@zi|WaInUga{Pxyy|aaLpFFjzuAGq|OaIpFFijtIGnCY]jnRGb{P`y]{ga[nIgfZqqHy{ma^nKggZrAIA{]apnGGkkTpwzD]]QnGgkJqYJM{OaUpJfa[R@wjCq]JpLfb[RPwrAw`sonG\[JQFJAu`rozGV{MyDvBo`AoaG]{NaC^Bq`Boag^[NQCZ@k`MoZgR{FADB@q`Po\gS{FQDJ@]a?oTg^kOQAv@W`~p?gIkOYAz?{`WojgG[CADRAq_boigGkByDZ@Q_ZoQGF[Ci@r?o_eoKgIKBQA^BK^yorf}{L@~q~y`hotf~z~qEi~[_QoHfz{A`~B?i^pnxgDz}Q@Z@w^OnggNkFx|JA?^Ro_ftZyaBvBW^Ioufq{Lp{rB_^Lowfr{Lx{z??^Co?fpZwq?I}M_Bncg@ZxA?Q|{^an^fwz{x{E}?^cn`fxjwP}VB?]qnYgX[KHzNBG]vopflkKPzQ|?_EoDfgk@@yM|A_FoDFhJsi?e}w]Anmf_zo`|y{I^^nBfwZop}BAY]@m}GQJniCfAS\}oeF^{HXwA{tdgNLvfKlPxu{~]]QuXYc`UUtGVdgQCXYS`MUlGZdkQEXKckURTJNcvQqXLCkmRXJLcrQpxISgUQXH|cfQ^xIcg]S@HVcgQ_xGCfEQDHrc{QQXGcfURtHJcbQ\xSCbUPlIbdQQMXSsbmTTG~dSQNW~ChUNtIVb}QeW~shmODI^c?QfXDC]uPTFncUP{XDs^MNlGrbyQKW{CdeNDHZbqQVW{sd}RDFjbsQWWycjeTtFVd]PuXVs\mM|JBd_PvWxC`uMTG^cOPrXCS[}PLFRcQPsWscZELdEfbYPiWvSYuLlEnb[PiwsS[]LxEXb^Pewrc[EL@FDbNPowpShMK@IHb@QawocguS\EHbBQcWmcWuJlENa{PcWnSXMJ|EVa}PdWlC_UJTGFauQAX@SU}JdGNawQBXTkxATnIndWRdXU[xaTjLSdmrThZ{taVBLYdpqxhj{tqVJLuehrZHhKuyYVLoeer\Hh{vIYbLEe~rNhnkwIXzL?e{r_Hg[sQZvMKeQr`hc{qq[^KgfDrIhokqy[RKWeWrEhe[pqXjK]eZrGhf[qAXrK?fGr?hq[oQ[jMUeBreh`[xaWRJseEq~ha{nYW^JweGq~Ha[pQVvJgeoqyhk[mqZJJmerrYh][nAZRN[fhruHx{}I]bN]firwHxk|i]nNof_roh}[{Q^jNEfzrqh~[{a^rMef^rgHv[xq\jM]fZrghvkza\JNcfSrxht[yy^VNmfXrjH|kzA^RO_gIsGiA|AQ_rOYgRsFiD\@q`ROGf}sAh~|?q_BOMg@s@iA\?Q_a?Ag[SJO?dBi`^Oo?@SNYEO?Y`}?CgZSOyE_?YaB