CAT(3200,2)
Sparse6:
:~?q?_?O?G?C?s?M?H_C?AW?w?a?N?G_CoEOAW@Q?i?W_J?DwCO@e?v?Y_O?GgCGAI@G?\_Q?FGCW@y@E?^_V?CgAC@E?b?O_HOBG@[?i?Z?N_FOO?F?BI@q?r_Z_JgEwA}@q?o_[?KWD_BI@Y?m_T_KWD_A}@Y?r_T_KGD?BQ@M?s_S_LWDOBU@k?e_Z?HWIgDGA@@A?iOP?I[CSAd@B?iOOOI[CeAL@I_boQwHCCs@|@K?]OR_F[C{@z?y?goS?F{DIAh@R_DOAg@c?q?V?J_z?XoLcEsBN@g?toZ_LKE{BR@g?tOWOLcEGBZ@b?voZ_KcESBV@e?tOV?IkDwAl@V?noU?KCDgAz@X?lo^OM[FSCB@{?yO[?N{FCC@@q?~O\_OSGSBn@w@@o]OOcFkCN@y@BOc_PKGwCTAN@COcoPkH?CXAP@DoJGDkAmAv@[_moVgKCD}CwAa`L?fWROHyCuA^`M?gWRWIACqAa`O?eGRoHUCyAS`J?gWRwH]DFAf`SOhGSsIUDRAi`UoiwTsIqFOAn@YokOUsJKDrAy@XOl?VCJ?DnAn@WOk_UcJCDf@o@Yo[OUsFKDn@q@[om_MkFODp?y?woMoMSFS@~?{?xo[?FkFO@|?_?\OMoBsBo?x?|?NoFOFsAC@~?`?HoG?Ac@S?z?W?MODoB{@W?|?C?Ho@?Ac@S?J?W?AoD_?s@[?LCT?AO@g?kPcGpCWaKPFobGPqGsC[aM`EwboPmGyCYaN@EWb{QAHDC`aQPGwdGQUHSCeaS@Hwe_REHdCraYPLWecRYHlCtaVPKGd{RkHzC~A[pNoe{RgHzC}A[PN_fcSMIBDCa`PPWgCS{H\CnaVPJweCRAIWDNae`SGh_TEIYDQai@RghoTMIQDQac@SwhwSYI_DFad`SWi_SiJMDKafPRWkoUaJEDgaq@XwkGUeJCDhaq`XwkGTaIsDeai`XGioUIJEDXaj`XWj[TqIzD]aoPVwd[QqHZDiA}PYoncUsJzDnA~PZ?nsUwJzDuAwP]Om[VgJhDvAwp]?mSVSJvC[aNPFWckQeHLCfaTPIGpWWyKYERbD`cGp_XEKYEQbE@bwoGXAK[D~b?@bwo_XIKEERb@@cWokWYKNEIbCPaWtGUEJFDaaqPXgkkXgLRElBLpf?tSXsLVEmBNpj?rsYcL@E`BTpg_tSYoLJEbBVPjOscXWLLEeBIPeOtCX_LNEVBSPhoqkZiLjEvb[PlgvKY{LvEoB]PkOvkZGL|EsB_Pkov{[GMNFGB_pooxK[SMTFEBePp?x[YYLPEfbe`swxo\MM]FSbg@tWyO\UMaFSbn`v?y{\oMlFWBmpuozk\cM|FYBnPy?eKRIHbCqaXpKwe{RaHrCya]PMwhKSYINDGadpQgmsV]JpDxa|p]gscYALJE`bPPgwwK[IMFFCbbPpX?o_AOMG@cCa?h@W_MOIGIcAAAG~W_ANsG@cA@~x?g^yNwGAb}a?w~W^]NsFsb{`~w~_^UN{Fwb}`|g|o^QN]Fvbw@|g}G^UNeFwb{`{g|o]aN]Fhbw@yg}G]qNeFlbx@yw{g]aNIFibr`yW{w]mNKFlbr@zH?o\}OMF_cC@wW{W_mNGGHcD@wg\sNAF^Bg`uoyW\SMqFVBp`xO|W]sNMFhBz`zo}G^KNqFtC@a@O~W^sOAF~CCaAp?w_{OaGLCHaDPAw`cOyGZCTaIpDga{P]GlHeAFpCGaSPMGbCSc{AL`FKbWPtGzCZqN@E{bwPpG|C[QNpFKbkQ@G|C`QN@GcbwQBHBC\QNpGkc[QHHEC_QQ@GKcgQFHHC`QRpGkcWQZHHCdqPpHscgQ`HGCeQSPHkdOQ^HQCdqSpHcdWQ`HTCfQSpI{dCQpHQCkqT`JSdoQjHSClqVPI{dwQpH_CkqV@KSeCQtH^ClqV`K[dsRFH^CqQW`KceCRJH_Cqq[p@cfGOZGOCzqCPMk_{RlHsCFQK@M[fGPbGqCyqLPM{fOPhGrCzQJHDSamPZGncVQZPCcaSR\GeCvqHpLcacRbGgCwQFpLs`wRZGbCwqG@L{eoPBGaCwQE@Kse[OrGYCsqFPL[`kRPG[CtQC`Kse[OfHhCIQY`AkekOnHgCJQuo[SMMFHBe`qoxx\g\qMzF]drqxx\CmeVRJgdtQyx\cmqVTJjdPqghS{iQTLIdc{AshNOlMRqJQc}AtHNglQRuJRc~AwXNwmISEJed?axH[WgIS?Jddoa`H[OgYVGIDdCaxX[Wg]SOJedDAuxPWlqV?ILdEAvhPwluS[J^dmAcHZWhEU{IQdHavX[?hUSgJ^djAdxZOhmUmIWdkAehYghYUqIXdiafHYohuS{JVdOauhS?leS}JWdvakh\wjMVYImduajx\ojAV[Ipd_AphWGk]UUJDd`AqHWWkeUSJCdYamhU_jmTkI{dZanhVwjeToI|deAiHTGkuTUJMdTArxTglETWJO`kougZ[LqE|B\aFpCga[PAGbCSaFpCGaKPIGhCRem?vw[KMAUfJSdhRVHjktyYzL]emRTphksgYlLMEkRRpj[tcYVLYEeRS@istCYnLQEkRUpictgYjLXEhrNphkrwYTLJE`RO@hcsKY^LME_rMHfkreXtK{e\rS@eStCXfLQEYRSpe{tSXjLSEZRJpg{qwYNLGEURK@hKrCYRKlEcQ|pkKnWY~JzEoq}PkCn_Z@JyEnrP@]CsOVbLDDxRP`]csSVjLEDxrE`cCpkXBKcEMrG`bcqSW~KbENRB`aco{WjKOEJREPa[p_WdKVEGr?``CoKWRKCEDRB@_kosWLKFEDrH`^cq[VzKgD~RIP^{oCXVKiE?Rko[[MIFNBc`qoxg[[M]FJBa`qOxhwgeuR`Hkcvq[XLsfIRfHscyq\xMszK\~MtF_Rl`wKz[]DMwFaRl@w[z{\rM|F_ro@vS{G\vM}FaRn@w[{kZhNKEyrrpnKv_]`NMEzrrPmsyi\VMkfUrjxtszo[|M^F[rnPsSy?\tM}FPrgPv[zK[pMsFKrl`rSxk\pM\FYrf@u{xI[fMUfJrdHqkwW]VMFFeRa`x{w_]ZMJFgRaPxs{g[@M@Far_`ws{[[FMDFcRqPocvg]JL}FbRqPn{{[ZvL{FdRq@nkuaZRLieuRZXl[uyZ^Loewr[xmSzCZNLcFWRX`uCzCZDLdFXRk`k[wo\HMLFQrh`psy[[^MOFSRcPtKLqExB\`nOvgZkLeErBZ`lOugZ[zA\dMpdjQuhYkl]UpJXdoqwh[smMVJJcdtQyx\dC?`VP?GUSOQDtCC`^PAGWSOaDlAS`fOeGXsKQC|Ag`bOqGSSKaDLA?`vO^G\SGQFdAG`zOcG^sGqFt@e_|OYgLsFIBl?m_NOGgCsBI@TAS^vOeF}SHp~k~w`ROiG?R~qDDAk^jOkFzSJP~S~[`\NwGWSJp~K}{`hOtFwSL`}LB[^dNsG[r{qFC}c`tNiG\ryqFk}o`~NmG]RzQFtBW^FNcGYRyAFDB[^JOtFrSMP{{|E]lNQfhrtHyk|]]xNWfkruhz[|s_ZN]GFRvq@{}?_dNaGGRwQAL?C_fOSG@SDQ?\@__LOVGASDa?knYVtJvd|q}X^DC{cnQXGgSeaILHoahQZGhSeAI\FebtP|g~S^IN\EabNPkgtsYYLTCKcnQWGaSeQGlHgaLQ[GcSeqG|GSbhQEGxs\qPLG[bjPwHDSaAMtGGb^PlG~sZaODFGcBQCGwS_qMLECcVPaHESbQK\H?bJQMGrSbqKdHCavQQGmScqJlHOa|P^HJSdQKDCcajPXGdSQqI|CoapPMGlSTaHlK]ePRHhdSrIX\KCeZRAHfSrqW\KOe`REHgspQYTI{dTQoHSsjaULJGdVQsHUSkqTlIKdvQcH]ShQVlIWe@QgH^ShqV|HsdjQyHPSfaUtH{dnQ`H[SmQSCtYYnLZekRUhjL@M_hOTgJSEIA|?u_\ONgGSCiALNCf|RqH}s|A^|NSgDS?HzS{q_LNCfnRqH{S{q^TNOfrR{HzS}q]lNserRYH~Sva_LLkf~R[I@SvQ_DMUfLRfhtSyI\LLKfnRSH{S}qYtNoenRWH|StQ^LL{fVR_HuSwQ\lMGf\RbHvs{A[dQsE~B^`oowG[CME\~NBf_RoXwc{IVNJhdsRWhk{uMZHLeeqs`YPDGYcNQIhCs^yOLGIcFQCh?SUYIlDYanPWglTRafdRsi^S}IgTNqiLTKiBT?IhTQQelS_hfTIIZTQqfDSohnSsIetKqgTROiHSuIatLQg\R_iNSvIbTJQfdRsh\S}IVtNqeDRGiBT?IWtJQfLQwhrSnI\TKAf\RkhbSqI\TRaaDS{g^SPIgTCaiLTKghSRIhTGQgTQGiFSbIaTPactQOiNTDIQtEybdP}gzS_iNTQAatSggjTHILTRQa|SkgrTKIKTHq`LQ_gTShIDtIa`dQogZSjIFTHq_\Q_gHSGIStIa_lO[hXSEITtg`]KnAVjJqdxq|H}k~Y^rNvf|R}ITLIidVQlhVSjItxYal[UhjWDiitXZIlYUrjUDkYsPYelEUgjUDhytXYQlYUejQdiiodWYkJUHjCT`yn@Y}l[Txi|DkiuXVul_T{jWd]yl`YMlCTlivDhys`U}lITojRD[Yr`UYkyTfjNDYIlHX}lATjjODYiqpUAkmTbiodeIkPXijGUZjKdXYqpTmkmTYjLDVIrXTui}UWinDeYi`XqiiU\ijDfiixX}lATXjODUIq@VIkaTriyDcimhXMkiTvizDdIpPVyj}UJj?DbIoHW}kEUMj@DbY~`^AnbVtjxT|I}\ZknlUyJzt}avd^clzVwJ^t}qvtZOnlUtJztlq~LZWnpUwJ|t}avL]OnTVdJttxa|d]snNVnJstza|D\wm@V@Jntoa{D]GmJVCJotwqw\[omdVLJhtrayd[{mjVVJgtsAyt\_mLVXJbtuaxD\kmRV\JdtvAxTQ]hPShiTTJId\_wpLWNKRuCBDD`CpRWRKTuCbDT`QojWUkJuEZBDaWnxWfJ}uIQ~ta_n~WjK?uIb?D__p@WHKOuAbCTaOoZWdKDuBBC\`goDWBKLu@BBd_SozWEKNu@rBtXYknUWjKteyrTXqkzU]jNtgYsDd?pXXPKUuJrI\dGp\WpKiuKBIdd?qHXDKguPbITc[qfXHKiuQBIdbwqTW~KduOBHdcCqZXBKfuObHtbaprWyk\uNZFdbGqTWrKduLBH|bSqXWvKfULbHl^YnnVxj|T}y~Deyr^Xokwu[zMTfOrDXtKpu\bKdf[rJXfK{uXbNDdorhX\KyuVrMtdwrnX`K{uWBNDe_qlXhKjuYbJDekqrXZKuuZBJTgosLYFLEuaBPtgcs^YJLGuabQDg?rtY@K|u^ROTfwsFX{LAu^rOdhGspYRLKudBRThSsvY\LJudbRc]]NJFedYqlHUsj]TrIwe}R]hn{vmZzL}glsVIJlDyb@P^hhstIYtL]epRTi~T^yoTWEkFU?j}T~Y~t^}oBW?ksUYZLTemrZXkldepZX`kYuYZFlfEqJXPlAuQZNl_EpjVxkUuSZBl_epzXHkIuGZGl_EmjWXjqt}YxlaEnZWPjmt{Z@lYEmjUxjqteYxl[EnZUpjmt{YtlZekJUXiutoYplYEjjUhjItkYnlVEhzTXjItOYllUEkJTHjEtSYnlSEhJTHiUtWYelTehjTPiQtIYflNEqzRxkqtEZOlOErZSPk}tAZM`eorwXsLAEdBPmE_swYkLQwkBU`kOtxK[eQRJJ{d}q~h^{oEW@NbfqRyH{k}Y^NQbhQShYTDIYdNSUiItEia|PagrV?j`ToYw\[UmHWqkXuLJElb]plXyk|u^JNlf}r|[yM_VMrgLsGxx\BM]vPRf|sOx|[yMYVMBflroxj[zMZVLrf|rcx|[mMYVJrelr?xl[wMWvLreTrcxf[mMSvJrdDrCxT[kMXvKBd\qsxd[aMSVGrdLqWxT[cMTvJRclqoxN[aMMVGrblqWw~[dMNVGRc|qOx@[XMMvERbdpgw~[`MLvErbtpgx@[UmJvEJbDpYwn[PLhVCBYLlSwd[RLhutBallWwhZzM_U~BgLsGvz\BL~V?BglsOv~[NL|U}B`tnSwZZuMFvBR^Ln[w\[FLxU{r`Lm{wT[JLwVBB]dnCwPZkMDV@r\LmgwPZjMCvAr\loov\[@Lpv?b[doKvJ[CLrV@b\DoSvN[@Lmv?bZtl{wFZ_MAUwb_tmCwJZVMGuuRaTlowjZWMGUuba\lkwh]k@_oogW[KYEJBCn[?qWW{Ka|{BI`dorJvtzy|~^?n_VnzsxsY|Q\HnSFPzspsa|U\JnTFQjvXvA|y\rn\f\Jv`vE|y\qn]F\ZlXzazS]wmuFmjlpzez]]yn[fZZk`zIzI]vmrFkzkxzQzQ]umsFlZjxz]|c\]mpflZuXuA|k\`nYFWjj@yuyq]kmlFjjuHtmyw]nnWFVZiPyuyi]mmhfjJi`y}|a\VnWFTjsxsqyY]hmfFhjhxyaya]jmgFijrPyA{w]bnLfgZrhyI|I]^nNFhJq`wy{]]TnGFdjqHx]{e]XnHFeJpPwI{G]LnBFbJpXwM{M]GnAfaZn`v]zy\um~F]JnHv}zu]@m|F_KAOKuE\BN`gOsWYSKuE\BQ`fosGYMAOEhBT`hoswYkLQ|v]|n]WIcDEAd@V_iOQwJCC}Ap@L_jOQWDCB}A@?d_ROOwDsC]@X@D_]OIwGCBEAD?r_bOLWFsB]AH?z_]OMW@CCu?L@H_DORwHS?u?`@R_FOSV~SBD~x?v^~OKw?CBe?H?z_@OLWCr~D~\?d_SN{wDR~U@[~v_UN}VrZxt{}}`^Qngvoc@|{D?^^EOGWCRwl{P?b^BOGVps@L{`?X_INcwArxT{p?\^JOEvyr}L~G~X^rNuv|B|t~W~`^tNvvwB{t|{~J^fNpVyB{L}g~H^hNpvsrzL|O}t^TNlvvByt|w}p^\NjooWWSKUEFBE`aOoWWSKUEFBC`bW`oXKKeEPBF`boqK@}@F?`[ImBvAJ`LomwX[OmGvCjalpQwfaLPBwbSPEGpC\aNPDwbsPUGxCR`uP?w\sOeGHBj`xPBW]CO]FhCJaAO|w_SNeGPBzaBO~W`cOEGTB~`CPGwNsQUCLCf`?PGWOSQmCHCh`nPBw[CPEFDCR`qPDWbCMeFLCV`zOsw^CLUElB|`kO~wZcOEEtBz`dOyw\cK]FdBL`wOqW]cLEF\BN`_PKWVSQuH\A~aZOnWWcRUEDCr`WojwVKJUDnAraWOewQsQuH\AXaXOfWesIEHhA^aOOawcSGuHHANaROcWQcQmHPAR_toXwLKE}Bb@l_}o]WM[FUBn@z_lOgwKSIeAxAd_nOhwTcEUDT@`]enRviJtLym|T]qnZvkzulzQ|lboPbW{SW}NHEPbrPcw|SX]NPETbpP_wpS]mN@E@bqP`WpC]eKLFfayPzWms]}JpFpa|P{w}sVuNhD~asPzWlS]}J`FvaxP{wlc^ENhDnaapPwhKSmI^DLagpUWi[TUIvDVapPvWjc\UI|FVaoPuWks\mM|DdbePkWuc[}LdFJbcPlwvS\MLpFPbQPnwssZuLPF@bTPpWts[]LXFBa[PeWfSXmL@C|bPPNwrsSMKxD@b|QUx?Cd}NpHXb}QVXKS^}ODH`ceQOXICcMQ\HDchQPxIscmQhHHcqQFXKs`}P@HhcPQYxCse}PHHlcGQLXFC`MPtGZc^QDXFc`]PlGXcSQ@XDS_]PXGHcDQJx@sbMOXGpdX@jOtgY{L]EpBWmwV[zmLvIzj\sojWS[IUDVAf`SqnhXkkAU^JSd`qpHX[lIURJOdbqnhU[kaTjIyd`qnHW{kQTrJ?dZqjHU[iqTjIydWqnHUKiyTnImd[q_hX{fyUZH{ddqtHOKlISNJOdAq[HSKfITFIccyqhhM{fiTVHwdSqdHPKhYSVIQdLqfhPkgySzIOdKrK?qgXSKqEXBJ`dwG[Bu@~@@_boPVoZwT{M}L^DnaWxK[mMZFNbhpsWvk[UL~F@bbpowrKXmKzE^bPpgXlcseZ\LJezRSxmCsuZdLPeyRRxkCruX|Lbe_RXXgSu]ZTLFeaRYXfstUY@LVelRNXgSteYHL^ebRVXeCseXdLJeeRMXhsrmXlLPeYRSxdSrEXTKreVRLxdsrUXXKzeURMXYsp}UpK`dlRGxZcqUXPJ^doRHxaSuuWhLneKR\xbSvUZ`K\eJR[x_suEWPLbeDRXX`cu]ZTKPeFRYXicnmVxLVd~RUX_CtmWHL^e@RVX\{nEVfJtd{q|xbsmMVLKbdtRHXdCmUVXK`dsRHyAcOMGJCHaBpBW`[bUPrG~cZqMxFkaePZGjcVqKxEL@Q`ZOUgVsKIBL@q`fO]gZsEiElAI_jO_gJsEiCl@q`NO]gTsIIBK{q`ZOoffrsID|BI]fOufjsLHylAA]BNAgPrpIC{{Y`VNGgSrqiCkye\^MjfUrkxuL?a[zOIfNsBhs|?q\BMagHsCHskxA_BN{fHrdi?[~y[jOCfLreI?{wQ^~MEg?raH~kwi_FOEfFs@Hpl?aZrOIe|sBhnl?qZ~MAgHr_IAK~A^JNufrrzh~K~I^RNyftr|H|k|a\nNYfYrvHv[|y\rNaf]rwHv|KadJQhhTsjyS|IuaLQ|hbSPYHTKEaPRBgfSnyHdKU`pRFh]SMyVtBue@O~h`SOyGDKUcXPPhFSSyQDDUcdPVhJSUyQdDec@Qph@SkyUdGUdlQFhDSmyPDJebhPhgzSZYNTFEb|PngxS^YNDEmaxQXgnSeySTE]b@Q\hOSWyRtEUW~K`ePrHXdKq]gNSDiCtBY`|OmftS\h{TFy^tQEhDR|iRT?YcdOMgxRHhdTFyXdQEhDRNiRSsycdLEfDRphoSzY[dM}fLRrhzSyy\DNUg`RTiHStybTLughRZiKSvyatLe^zO@f~s?y?|?U_ROJgEsCy@|@EhTTpiST[yddVUjtSriVT\yeDVeipTpilT[yjdVUjDTxi|TVykDV]jHTLigTXyhtUeidTjijTZyidUuiBTBiatPyh\SejHStirTLyfDUehtTji^TZyfdUudzRFh^soYW\KUjzT~j?t`Yo|WMkhUxj]TdyrDZml|UZj`TfywDXukPUxjDTmyvdWul|UNjHToyqD[ElXU`jVTgyuDYUlLUrjTTlytDZUmHV\jbTvyxD]EmXVbjfTxyxT]UnPVPjiTzYyT]mmlVnjlT{yzD^Eo@Vtk@T|z?d^eoLVzj~UAz@D^uTZIpdVrxX{{}e^VNnfusqYX\K}efRLhgtgYslYMlNUjjSuIjE|aqpvWmk]uKJF|cApjWqk[uIjB|bIpFWskOuJJC|bApJWmkSuEJCL`qpRWWkNuEjC\`qpNWYkQuLj@lbao^WykGuDJF|cAonW{kHu^_nwWCJzKjeVrJYLLEubbPrgvsYyd\QehZSniXtKYwl[]mRVJjftrZSTh]spYdlLUhzRdiet@YllNUizRDgusTYVlLUbzRdhEt@YTlNUczOdgusHYJlBUdZOthMsPYNlCUcZGTfMrhXLkaU\zHDfeqLX|kdU]zSTe]tHXhlRUYzLdier`YlkvUizOTeEqtX~kpU_ZJdgEsDXdknU^zMTc}rhXPk|USzMtdUqpX|kjU]OmwVkJr[SlbV?zXDoMwLZNmBUsZXToUuX[DmDUmz`DjuwXY~mFUoZaTkMuH[PlVVAZUDomtd[LlYVBzUtpMtp[Pl{Uyz]dn]vtZll}Uzz]ToEv`Z~lnUsz[DlUvDZVlqUuZZdmeutZfA}`^onwWCJyE@mpVSJjltyyf\_mlvWJi|tyyj\WmmvMJiLriyf[{mivNji|sIyv\?mkvJJglqyyN\GmWvKjh\rQy^[umevGja|qAwj[cmKvHjb\pyxV[[mS`\omwVcJqDzA|vhJM\fUrvXvk}u]ZqTx}{h]^nOVeZsDx]|D]\nPVezsdvm|L\|m~VizoDy}|P]DnUV_zqTw]{h]HnDVdzpdxe{\]\nGVezstu}|H\pnSV[zmtyuzp]nmyVizk\uUzV\fmuvYZ`Lomwb[RmEvBzvd}u||^nnaV{Zwt~M}@^tn`V|z|d{e~\^JnhV{zxd~U}\^vngV{ZuLzM|r]vn\vlZ{T|]}h^`nqVuZ{t|m~T^^nsVvZ~E@u~t_^n}WGZ~uAN@L_BoQW?[AE?V?d_FoFWD[BE?f?t_LoJWA{DEBV@T_voUWM[FUA~@|_ro]WKZjlt}zB^bnovyZ{l}m~N`SoewTkHmDbA^`OomwSKJ]DJA^`Qo_wTKG]DbAJ`UodwPkJmDjAR`{nNvgzsM@F?f_ToKwE{A}FrCF`{pAw^kO}GBCZa?pDw^kPMEbBr`eozw\kKmDzBv`_o|wWkNMEjCF`kpAwZkO}FBCV`spEw[kPMJbDdaNpXWc[QUJVCpatpJWl{QeJ^CtafpSWg[TUIVDXabpWWf{TuHvEHaxpbWm{XEJvE@bJp^Wr[WUK~Br`zozwvKYMLzEfbYpowuK[MLREzbUpnwk{U}JS?Dbmppwz_?eMVFW?Cpw_@k]UMfFS?Apxw{??uM^