CAT(2534,2)
Sparse6:
:~?fe_?O?G?CBG@U?m_U_IWD_Ai@P?g_SON_F?BU@m?y_Z?MWEoBa@m?x_\?LWD{BE@`?r_YOKgHgCgAV@K?doR?HSByA@?~_`oOWGSC]AP@H_aOPgGkBkAT@K?]ONOH[Au@X?m_\oNWFcEMBH@a_ooVwKCDyAx@\_loUWJSD{Al@V?oOU?KKEGAZ@c?foWoHsD?Af@Q?ioSOIcFsBn@w_{o[WM[FIB\@n_wO]oLCFoBT@y?soX_NcFgBN@d?|o\?L[EsBl@t?uOaoPkGwCRAI@EO_oNkGOB|AD?~oa?OCG[CDAE@?oeoFCBi@r?n_WoKGD{BE@`@O_hOSWI[DUAh@X_lOUwNkF}B|AD`@o`GUGIuD]Aq`W?jgUOIiDaAk`W?iwSwIuD]Ag`S_jgSKIMDDA]@TOg?T[H{DXAc@Loh_RkISCxAZ@SofOTCHoDNA^@KOe_SCHcC|AX@Ooe_S[IGCpAc@HOh_QcISCfAN@JocOQkH?ClBY?QoHwCsMKBv@{_|OIgD[Ae@R?j_TOJgDcAuAN@H_cOPWGsCQ@v?|_]OYwLcEuB\@o_voYGLSEeBJ@e_ro|__KNSGFBvA@O|o^SNWFpBt@{o{_^[NsFhB{@xo~_\cO?F\B~@uoyO\{NCFVBi@wOxo\cM_F\Be@up?O[[OKFJCA@qO~_[[O?FJB~@qOwG[KMIF?Bn`o_{G]GMIFMB^`m_yG[oLyEyBh`n?ywZwMiDeBY`m?lWZWJQEeBx`g_}gYONaE[Bz`g?~W^_K}EZBJ`eOqGXSKeEMBX`a_twWoLaEmBA`k_pGZ?KMEgA~`j?oWYgKADwBs`x?ng]WJuDqBY`\_vGVOLmEkAv`i_mGY_JYI]?a_QOGwigDYAp@V`?O_gOKJyDxA|alpVWjcTWItDVAkpTOjCScGLDJAApQ__cSCIdDSA`PO?i[TkHbCrAmpV?eSQoItDWAUpIojKQUHNCeaPpHGcSTSG~DVAOpT_cCS{GrDPALpS?bSPWI^CWAgpDoiCPKIXCTAfPD?hkSoGZDMAFpRO`sOgIdDSAEPAoi[O[IRCHAdpA?hSR[IFCxAapM?gcR{HlCtA]pN_ecQwHtCoA]PJof[Q_ILCiAcPIOg{P?GxCQAMpF_aKXs@N?e_QoHWC{AYLKEdBNPgor{YOKzEbBOPg_skYCLHESBOPd_sSYCKjENbGPbgpgXyKUE^bE@fWmoXqJoEZaz`egl[UqJTD`BLpWorcUGKtEDBGp`oq[WWKdDeA}PXOnsUOJzEAA{p`?n[WKJtDtA~p_Om[W?JhEVAwPeOmSX_JbDlBCPZ_pSU{KRDfAnPW?lKT{JP?a_QOGwCSAQ@FFd@jOtWYcL]ErBW`oOwg[KTyI~D_by@{?}S]wNbFnBxpwWz{]ANDFbbqPwo}K]ONfFqBpPv_|[\oNXF\BupuOy[\kMjFYBiPuOys\_MvFYBjpv?z{\wNBF\BoPy?vs]gM@FhB^ps?}K\GNfFPBxPqgx[[qMRFFbcPp?ys\_MLFDBjpsowK[GMhFBBipmO}C]wLtEwBvplo|c]kLjEuBupy?uS]gLhFhBXpxOuC]WLbEnBrpj?{kYwNNElBrPhgtCY]LREjbTPrOv[[{LzFMB]PvGzs\uITDJacpRGhkSyIdDSahpFGbsPuP}GKc_aBhG?_uPuGrcYaMXE_biPNGgcSqL`CKb_PFGvCPQFhCC`}OuGxc\aFXB_biPwGWcLANXFo`ePyGVc^ADXF_`YOcHAcIAPHAWcMO]G~cGaOXA?cAOTGJcCq?x?c_UOLGGcBq?@GS_GQHG@C`p~W~{^yNqGwcZ@}HEw^]P_GicXAJHEGamPYGccRAJxCgayNsFsb}@|g~W^UKtEZbMQ[hM[fQQzH^cnQVHJSdmR{HMd?ASHNwc}QQI?c~AQhH?f}RoHDcba]hGofeRWHbcvAXXLgeQR?HncpA[XKGfARQHVctaUXLOdaQgHecsAThKwdUQaHzc}aSxIOfqRiHJczaRXMocqTHIadPqfxSKiASkIOdKAchQwhESYI[dNAbxPohuSqIFdCaehP?hmSeICdIa`hQ_gUSUIBd?abHPOgILFEdbQQKHEKbIPZGncVP}g~c^mUFJCdaqoPVSkGTxJ?D\qm`VkjoT|I~D\qo@T[kGTZJ@DUQlHUsjUTbIrdXQiPWcigUJJBDSQh`Vkj{TJIfD^QlpTsjcT`IwDVqxozK\iMvF`bnpwG{S]QNFHocwqZxLKemRTHecsQXxK[eURHJlDwQzp]SmwVbJxDtQz@^[mkVtJvDsQ}@\KnWVNJfDxqy@]kmcVhJddrQxH[gmiVUJcduAxh]?lEU]JqdgA{X]olyV?JwdzavxZ[luUxJXdlQuHYonUUmJsdia{x^GlIVuJSd|Asx[GkqVEJMdpArX[GkeUUJbddAwh\gkYV]JGdvApxdw^]NpFxd?q_hO[kYUPJFe\bLXe{rYXaKqeVbLHe?rMXKKheSBIxcwqiW|K^eMrEhbcpmWoKteKbLxawrYWaKseXbCxeOpIWWKoeEbKXdwomWKKkeVB@Xdgo]WCKkeVB@HdgoMVwKhd~BIx^gqiXEKMeQbCHc_o}WgK_eJBGXcOpUWOJ~e?bAh`GoAZOL^eoRWXkgtAZMLQerBSXhcsmYTLdE_RXpf{uWX|Kxe\RMHjGtqYuL]elBVXhwtaY[LUejbRXh?tQYQLTebbSxgouIZGLCeabWxfWsEYEK|e]BOh[KmMVDJcdrQxXf[ruXxKwe\RMXp_w}[_MLfGbbhooua[OLifBbYXoWw}[IMPfGB`HoCwI[BL|e~r^hoov][OLxfBb]HpWvY[QLsfDB\Xm?wqZ]MMfEbZhpGum[ULkfDBZXnOvMZuLpe}B[hdKqmXTKkeVRJX`CoiWRLueyr\Hqkx][lMsFVrlPtkzK\\MiF\rj@vSyk\rMffSRiXuoyQ\KMwfZbhXsGzA\cMbfWbghuWx}\iM_fNBlHrWzY[yMwfMBlxr?zA\cMYfWbeXqOze[gMzfHbmhkku]ZLKwe\RMXzg|Q]}NUfnBtXyK|M]dNMffrsHzg{a]}NIfnBqXw_|m]EN[f`Buhw?|q]ANYf^buxv_{m\{NLf]brHyw{U]MNXfkBph{?~I^gNafxbwX}g}q^mNmfzBzX|?~E^_Nefvbxx|G}M^UNdftBxI?G~a_ENyg@B}X~o~m_?N|f~b~GRCHiCrCtaZPLGeKRIHfExb\PmGt{ZEL`HQchqSXHkcqQVIidSqiHSsi]TJKVeKREXacpUWlLgetRYXlsvAZ^M}f]RnXwk{]]LOtGVSLaEDA{`hOjGXSJQE\Ao`bOjGSSIaDlAo`ROmGQsKAC|A{`LOaGSSIaCdAK`RO^GQsGAC|AC`LOcGMsGaBtAK_xO_GKsGQB\@{_tOUGMSEABt@[_zOZGHsDQBL@O_tOTGHSDAAD@C_fOUGEsEA@|@[_\OIGGSBAAL?k_dOIGFsBA@l?k_\OCGXS@aE\?S`bOFGYSLQ@D?c`lPi?JOEGA{@m?r?Ygz?FGBs@ubw?^_OoGGZkL}E|Drayp\GmSVEJ`GUcJqDXAS`MOhIFdCqaHOkgYSHJTdjqthYSlQUfLHebrQHgcsYYJM]fORfxr[xu[xNgfrrxh{[}U^HQbHSshQT\IOdTQgHPShaSDI[dBQbHNShQR|IOczQZHPSfASDHgdBQXHNseARlHwcnQ[HISeqQtHgcjQXHGscqQ|H_cdQMHIScAQtG{cjQLHHScqP\HCcXQMHCScAPLG{cTQFHDs`QPdGscLQAHCs`APTGKcPQDH?s`qN|GWc@QBH?S`AOLGGb~P{g~S^YNdFybzOxG|sMANTB[brPcHRSXaTDESdNP`HSsWqT\EGdTP^GzS\qKDF_a|P[GzS]AJ\F[azPWGySUaMlDcbfPUGwSTqMLFGajPqGhs[AIdFCadPNGySSAM\DCbjPlGfSRQL|Cob\PJGtSZAHLCgbVPlGbSZqHDEwaNPBGtsPQLTEoaHP?G{sOaN\CCbtPfG]sYQF|E_`|OyGrsNALLBkbPSQ?DOBG@[?u?^?MiN?CGAS@EhG?R_IoDIcdQYhJSciRTHYcHIqd[SbiPCjY``LYgYRViFCuI``LeeuSMhlDBYbpLQh?RTiNcsyY@PyeaS_hhDFyXxPmgyRMiMCrYXPPeeWSYhddEIWxPmgyRHiMCqIW`PieKSWhadEYahKEgmRBiJCoiaXJyggR?iHCnyVXPUdySVh]DDiVPPIdqSSiHcmIaHJYdmSNhYdCIUPQEdgSbhXdGiaHJAdaSNhVdCI_pOAgOSAiBd?Y^hOMf}SDh~D@I]`NifwRth|c|i]HNefeRwhxC|y\@M}f_Rihsczi[hMmfMRlhrCzI`HMIgURciDCwyZ`L}e{R`hmcwIn?@Y?p?V_JoEGAs@i?v?X_LoEWBTWg?x?]_MoFGBs@ugXSMiEtaaqDWokdUJJGtbQqDWwkbUNJHT]QotWOjtTwJAt`An\WWjxUDI}t`qntW?kRT~JCT_qo|WGkRU@JCTKIeTREhfStiYTZQp|Wwj\TkJEtYQpTUkkXTiJDt_aktWCjPUBIrtXQn\UKjzTcI}T_AkLUGj|T~IoT]QjlT{jpT]I|THqm|VShRSgIzT\QddQgjnTuITtUamTVOixTZIxtTqiLTKirTWIhTTAhtTWi`TTIftRQg|SoiJTJIbTQAgTSgiHTHI`tOAf\SChrS~I\TMAfdRshlS}IZtJQl|Q{jbSmIwOAg@c?m?T?K_DoBW@s?}?Z?M_FtzOAK@I?`?P_GOCimlV]jlPfgssYIMDFIbbPrgys\IN\FibrVmJytzq}d]snfVoJxt{a}l^CnhV[JrtvQ|L\knPVgJnTyQ{D][m~V`JuTwq|T]GnVVcJuTxa|T]SnVVWJzT}AzT\cnnVqJittq}D^CmlVnJhtzQyd]wmdVcJftxQyL\?nLVKJnTrQ{D[wm~VHJotwqxT]GmVVZJbTvQxD\omNVBJ~tpB?D[SoBU}j^tnYwL[Im@UyJzT}AvdZknnUvK?TmR?LZ_n~V}JYtla~d^slhVzJXt}auL^cldUmJ|t}auD^cl^UjJ}TjQ~tYonzUZjLTeYrdXykzU^jOTgYsdYIlFUgJHtdQtTYckhUUJQteAs|X[lLSPiGTBybLPigpSZiMtFIcLQMhDX^KIUWRAte?ojWhKjUIrJDagqnWgKouHbJ|a[r@XUKPuHRJDaOqnW_KkuUrCTaCqtX[KMuVbB|dso|XZKLUFBJT`kqrX]KKUERJldoonWGkDUAZ@\_uoXWOkFUBzAT`MobXRK`UTRG\dOqBXOK^USbGDdCp~W|KeuNBH|bkq\WyKbuQRFLc_ppXIKZuLbHdbSqVXEKXULBGdcSpfWoK@U@BEL_Kp^WDKUU@rDt_WpZYUKpudrKdhSrDYHLFUarPlggsXYELGuaBQDg[s^XvLLufRNLf_sxXuLKu\BRTfSspXqL@u[ROlfKsHX|KvU^rMDfwr^XjL?u_bLlg?rXXgK|U^BLTecrvYQKquXrQdeWsfY~?NoGWCC@}@B?_hjSuIY|LeevRYjQthystYalTUhlfEqJXPlAuQZNleepjX`k]uUZDl`EqJXPkQuQZBl^epZWHk]u?ZEl^EoZVxjqu?Y|l`EnJVpkQuEY|ldehJXhiYuWYdlPesJSPk}tAZMlNEljS@jas}YvlXemZUhjmtgYylTEkJT`jEtUYqlUehzTHi}tOYml~?DWAc@M?h?T_Ht`YotWQkNUGjCtHydLQahTSjiUURZH|cyqTXKkduPzHLcaqHXEkauJJDtaupbWokVvGR`lo{w~[MMOVFR`Toow|[JMMV@ra\ocwj[GMIV@raTp?wP[PMCvER_dpkwL[YMAvDb_tp_wH[VMAvBR_\oGw^[@MFVBB^|o?wT[JL~U}r^to?vzZ{L~v?b^\oKvz[@L}U|bYLn[ufZtLhVFB]Tpwvh[\Lxuzrb|qCvbZoMOUzBa\mwwjZlMIVER\LmkwvZiMLVCB[tpGvP[PLrvDb[dp_vF[VLquwJ[TmEu|Z^lmu}BZdngutZxLlu|bY|n[urZtLkUtB^DlWvtZTL{v[A{|]enPVijuTyzO\gUsHYAl?u_JNtfur~Xyk}U]znHvMzu\tm|F\JmXvYzi\wmyF\zm@v}zc]@mwf_Jm@vqza\}mxF^Znxsqy[]@mef_JnPsezu\Jm{fQjgpvuz{\Gm}FPzgXvYyI\wmaF\zflr}x|[{m\VMzlpraz][xmZfZZlPrUzW[umYFYzlHrMzM[qmWfYJdpu]x_\hmVfYJk`qmxY\dmUFXjk`qazK[imqfIZlxq]z[[dmRFZZc`uqxC\jmPfYjjHtmys\\mkFVJk@t]y}\UmnFTZiPuEzE\SmhfWjiHsEyC\NmgFOJxPzm|z]{n[VmjvL{[{V^GNEvqRpd{[{P^HNDVqBpLwS}H]FNavpbotwG}H^EN@v`Bwl{G|\]kN`voRtlyc{\]ONTvbrtTy_||]fN_Vhbv|x{|@]\NPVfbsLxg|F]dNMVersdzG{n]sNKvkrrDzW{l]SNZvlRqlzC{f]oNHVcRt|nUvlZvl{U}j^L|o~h^]NzVvR}l}a~T^hnrvxZ{t~_~F^xNqV|r{T~[}Z^xNfv}Bxt~O}T^uNeV|Rx\|c~b^rNlv{bzT}k}l^lNkVzBy||K}~^TNovtB{D}w}`^QNwVsR||uYzJ\cmrvYZlDuizV\kmvvZZlu@_~t_YN}WER~]@|?j__OJWFcA}@l?d_SOMwCsBeAD?^_bOGWGcAM?p?r_WOFWBSBU?f?V_IoBwAK?u?L?v_DOMw@CBe?D@F_aO@W?CCL~t?|_^N~v~cCD{Q}L^DnbvqZxEB~AB`?o^WN[FeCH@``COXWOsEMCH@Z`COVwOsDuAhAJ_kObwIsGuCT@N_hObwPcDEB\@r_uO\wMCFUAP@f_tORWLCCmD`AP`IOjwUSHMDhAh`UOmWTSJ]CxA|`OOmwRsJ}ClAb`LOhwRCIUEXBR`jOsWXsLUE@BJ`aOqWWSK\jqt|Y|mkVUZjTtUyn\UnfvrZxt{i}X^JoZWMKE}BV@h_rpBG^kOiGBCG`~p?g]{OYFvCC`{o{G_KNQF~Bq`}ozg]{NiFVBk`{o{G[kNQFRBq`roxG\[MqFRBm`rouG`KLqGZBYaDp?gZ{OYFFCC`opQ_@w@C?evvZ{l}vfZrtx}{t][nLw?K?M?I~z^~n~WQKHUCfAV`LoeWlCU}JdDlawPYwnCU]JhDbazPXWjcUeJ@DlanPYwjSUUJLDVapPUWjcTEI|DTaoPSwjSTUI`DXahPTwaCR}G\DBaHPOWfCU}JdC|awPMweSVUHhDvaZP]WeCS}ITClaVPRWhSQ]I\CjaePIWgcQEIPCdabPGwbSR}G|DBaMPOWgcPUGpDHabPDwzO?c?Y?JblPewrc\}KpF\bHPuwzsX]KhF\bFPtWqC\eKXFVbBPrwpC\MKTFPbiP_WzCWMMlEDbfP]wyCV}MdD|bZPowvS[]LpFDb]PkWuS[ELhE~bNPjwsSYmL@ElbcPhWxcYeMTEf?F_COAW@K?]?PcVQGHDKaqO~GicMqGhDKaYPZGccTqAhC[_yPNGKcQq@HBkaAORGEcNp~hA{_IOvG?cKp}HAK^qOjFycHpwG|{]QNbFabupxg}[^YNVFsbs_AO@W?s?Q?L?Dq[Gf{SMIBDDacpPxLsd}RDHlctQWXKce}RPHjcrQZXGsf]RtHJc{QQXKcdeRPH\crQUxISd}RDHTcjQWXHcfEQ`HtcfQ[xGcfUQDHrc_Q[XFSf]RtG~c{QNXEKa}PfGtc[qLwx{\MMbFXbjptXPCjeTtILd]QaxVshuUDIZd_QfxVshUUDIXd_QdxPsjeTxIRd\QcXN{fuSBIBdAq`xSsjMTTIvdSQlXTciETHIpdVQgx\CkUVXJHdtQpxYsmMVLJXdlQxXYCl}UhJ\dhQwX\skmVdJNdwQrX_Co]WHKJe@RAX]cnmV|Jxd}Q|xDKamPZIrdZqlXTkjET^KgeKrFHckpiXNKWeNrFHcKpiXFKKeQrBhc{qaWbKQeNrDhc[pQXBLGcuqZxL[mMVNJddoqvxZktQYZLWecrThh[saYbLKehrQhh{sIX^KkearIhg{syXzK}egrOHi[tYXnLWe\rTHfKrAYNLAeYrPHe[wQZHL~f@RWxoCuE[DLZenR^xoCtuZdLhezRXxlSvUZXLxewR^Xlsvm[lMDfLRaXrCw][XMPfFRdXpSxMYNLDe`rfHtKyq[~M_fTrght[yq\NMcfSr^xo[wE\[?Af\rk??sz{?HMqf]_@Huczk?DMwf^_@huszv