CAT(2502,1)
Sparse6:
:~?fE_?O?G?CAw@D?c_PoO?EKBI@f?s_ZOLWFCBe@n?{_\OMwG[CUAH?}?_OO_F{CC@z@`?SoIgDCAm@Z?k_SOIgDKAm@Z?k_WOJgD{Ay@`?n_RoHgCkB]@r?w_]OMgF[By@~?|_^ONwFkCAAD@@`D?^oOSGOCBAB@?O]wNSFeBr@z_|O]?NkFwBl@{?zo`_LSGWBXAE?toVwKCDyB@@^_nOUoNcDsB|@[?}oUoN{DsCB@[@?OZOKcE{BL@m?qo[?K{FGBR@p?sO[?MkFGBf@p?yOZOMcEwBj@n?xoU?KKEKAt@a?koS_LSDOBX@R?toXoIkEcAl@V?sOXOI[EWAh@c?hOT_KKEKAj@V?pO`OG{GSAPAD?bOQOOSGOATAB?do]?ICDCBl@N?zoR?JCCwAt@L?kouoCSAQ@F?a_QOGwEKBM@d?p_XoKgEcBY@j@E_cOPwHKCiAVBf`soyGZCLeEtBf@ioyOY{M_ElBQ@oot?[[LKFDBQ@qOx_YcLKFJBP@mos?Z[LoE^B^@fosO[CL?E|BK@kou?XsKsEtAp`Xokg[oK]EOBc`b?xW[GKMEIBa`p_pG\OKAFWB@`t_ogSgLuEuAf`m?hgZoIaF?Ai`n_iWSSIQDFA_`OofwRoKqCwBM`M_rW\OHMFWAT`t_dGQ?MuCcBm`G_zwPOMuCWBn`D_zgOwL]EiAH`C?tgVgKeD}BJ`^?qgTWJ]DYAx`U?mGU?JmDwAm`V_mgUgHYDgAW`Z?dwRGGuC]AY`F?ewg_L]EjBU`kOugZKAe@T?g_ToJWDcAU@N?e_RoHgCkB]@r?w_]OMwFSCMAJ@C`BoaGPKT}JBD_an`PGk?SYJADDa_`SGgWTIICDPai@OwgOTMIiD@a^@PwhGR}I?DGaC@Qg`OSqGQDJal`NWjGRqIsCzae`MGhwRiI[Cxag@KgeWTIHgDPaY`SwigR]IgCuaW@VWeGTyH]D[aUPJWdsQYHNCgac`GGcOSaHADFad@EWh_P]IUCWaI@RWaoS}GiDMaj`CWaWTaGcDUak`BgjWPAIsCNaj@Awj?OuImCKaBP@W_{OAGBB~a@P@G_[NeFtBz`}o~g^cNWIxBwAnO|ojkRwFfD?@ypNo]cSSF`BqAbO{OgcPwHFC\AQpFoccQcGtCjAMPI_b[ZoAf@S_hOTWI{DYA|@__no{w]kNQMJFFbbP[Wm[VILdEobWpjWt{YyMKE\bb`fGwgXmKUFBba@agwOWeKCF@b?`nwo?[AL{D~b]`^Wv_VyJsE~a}@oWnW[AJmE|a{`ngn?ZqMCDsaz@pGmg[MJ\DoavpYWlSUaJVDkaupmOkkZkJNEyArPWov[ZgJHExApPe_tKX_LNEXBSPh?qkX[LLEUBQpc_u[XOLjERBYPbosCXCK|EOBNpgOpcYKK\EaBEp`_usZ_KPEvBBp`?tSYoKFEDBTq@x@K_aNjFvbzPtWyc\YOGFJbea@h?g[qNsG?b{`~w~o^aNuFgbr@~W~_]]NGGAbqa?w{W_EN[F_bu@wg{G]uN]F\bw`vw}?\yMsGIblaBGz__mNQFVbk`ywz?]iM[Fqbg@|Gxw^MMaFGbh@qWyW[iPm@Z_moVGbkP}G|C[aLpEgxS[aMRHEC_APHGGcUQCHBc^aLxFgbaP{Gxc]AMXF?biPuGvcZAOxE_cUPiHCcJQEHA{bGQFGpCaqKpGcbAP\GncKaMhBWbqOsGzcHaOhAgcEOgH?cGALHAObYOaGtcFaNhFw_uPyGMcTAGxD?aQPQGacQaFxCwaEPKG_cMAIxBoauOyGkczALhEcbULvExb\OsGYKK}EdBR`iO`wPKGaLREgbRphGssYULBEbbPPfgsCX}KFECbApWwkcUIO`GPcHQd`OShSSHISD@q_`QKhKSHIBDHQa@N{ggSBIHD?Q^pOkgCSNI?DBQb`NcfwS`H|DFq^`P[gsRxH|DEQdpNKhcRvIWC|QdpM{fWSrIWC{QT@PkdGSVHRDEQa@LkggR^IHCvQY`PseoS`HjDFqXpQKhKRRHgDHQXHKseUSgH`dJAWxQgeIR@H]cnqV@OkdsSNIEClqU@NKdgRvHXC|QTPMsd[RpHUCzqSPM[fSQ^HsCgQR@MCfGQ\HLCwqQpMCfGQRHICwqP`M[c_RjHFCyQy?fsR}I@DBa_pOg|{^EN`FkbvPzW|K]mNTFPbhpsh\WnEVYJrduA{h\WmyVYJoduAzx]wmaVoJid{ayX\?nQVkJidsa|XUSjQTfJvDfq}@XsksVrJIdeQqx]GjmVeI|dxAnH\ojaV_IydvamXUgnQVkIvdZA|X[gi}VMIpdrAkHT_mUT[JfdUaxhTOmITUJcdSawx[OiYVGIgdpahxSWl}VAIddoAhHS?l}VAIadoAgXZ_huS}J]dNAvXROlqSwJ]dLavXWwlMUiJHdcAtHZGkQUuJEdlApXWOlAUAJQd`asXYojyU?JVd^auHgOreXtKzeXrLXecoKX~KDE_r@@gCr{W@KAE_r?PgCroVzK}D~rNP^sngXxJ{E^Q}pfkqsXlKwEVrJ`e{qOX`KeEXRHPeKoWW|KGEOR@pb{q[WjKVESrI@aspGXBKbEIRG`a[o{XTKPEURC@d[ooWvKMEMrBPbcp_WRKYEDrEP`SfARdHpcxq\XMcu{YhLpEjR[@ikuYZPLfelRVHj[uoYnLXEvRZPjCu{YJLpEbr[@gsuoYDLCEvROplktCZFLdEhrX@iSswZ@LOEpRRpkKucYVLjEerY`hctsYPL^EdRV`hKlqU|J\dnqwX[CmIVHJbdqqxx[sx?ZdMQEyRcPm[xK[ZMTFFrd@pswg[rMZFERaprSw[[lMHFKRa@q{x?[HMEFHR`PqKwE[FMAe~R_Hn{vk[fL|FIr^@qcxWZpLyFKRdpnKvS[rMZEzr\`rSrqX|K|e^rOXgCz]\rMwfYRlhuky_\tM{FTRiPv[zg\JM{FRrh`v[zs\DM~FQRn`s[zs[~M~FOrn`sCxo\\M]FWRfPt{zC\VMrFUrk`tc|S]^NVFgrt`yC{?]XNAFfRoPxk|G]LNGFiRppy[{c]FNJFarq`wc|w^BN_Fprvp{S|_]vN\FlRuPzcKyEXBL`LOeWR[HqC|A\`EobwPsHACdAPbLpfWrcW]KPEEcIqCxAc_}O\GLdaqphWcjyU@I~earPxgssIYHLBfVRkHt{ym\ZMkgICBiAp@A_iONgDcCY@h@M_WOQgFCAI@H@A_SONgEc@Y@X?]_WOEg@CAI@H?Q_SOBg?C@Y?H?]^}OEg@b~H~p?Q_CN|f~b}Y??~m_ANyf~B|h~?~u^mN{fyb|x}W~a^gNufyBzX}g}}^eNmfub{H|o~I^]NpfuB}h|W~m^SNxftB{H|_~I^UNpfqCCX{p@M^IOQgIBxx|H@Y^OOTgd?DwBC@Y?t?Z_KsSoBc@y?zP[?OOGWB{DaAt@X_YOLgEkCqA\@LaCPAg`KNAFdBpbdprWxc[}M`FMciQShI[daQtHXeBRAH_{oqW\KLe{R]hnKvUZnLuf_RohwK{M]JNCh@c`iOhGacGQFhCc_IOPGmcSQ@h@c^YOhF}cGP}g|C_IOPFqbuQ@gzc^YNHF}boP}g|C\IN`FYbuPtgzc[YNHFMboPqgvC\YM@FYb]PsgwcYyLhFMbWPqgvCYIM@Eib]PhgpCYyLhEQbWPbgpCXYK`E]bEPegsCVyKHEibQP_gqcVyKHE]bKP_gmSVYJtDyaxP\gJcUYBHDm_oPYgaC`iGpGaaIQFg_caYGXGmaCQIgjCNyJ@Bya?PVgjCMyJ@BuamO{g[CSyFPDU`qPSgZCTYExDQ`iPRggCKiIPBMaaOsgWCSiI@BE`]PPgfCJiD`C}aYOlgeCIYDXCi`SPJgecHiHxAaa[OfgPcQiH`AUaUOcgOCQICPCe`APFgkcFYBxDmasO]gLCPyB`Ce_uPGhx?Ag@c?m?Z?N_FS~_AS@A?bSC?HoDWAdOQgLSDiAT@i_lOCcXQMI@sbQ_TJWfZRmH[SzAU|JkfXQxHvSma\lNwdfR~HYt?AUdNod`R|HXS}qULNwdZQnH~sja_DIgfpQkH|Siq^LNodNR|HSs}qTDIOfpQeH|ShQ^LN[dBQbHys|aSTNGc|RsHOS{qR|HkfjQ\HzsfA]tH_fdQYHySeQ]\HSf^RpHJs{AQtHGgBQSI@scq_TG{f^RpHGs{AQDMWf@RgHpSxq[LLsfFRdHnsva[dLgejR[HjSuqYdLCe\ROHhsrqYTK_enRIHksqQZDKWeVRDHespqXdMceDRCHtsyaW\Jod~Q}H_snQWDT_?p?V_JODgBC@]?v?Y_KoEgB[@ejS?\_MOFgBk@y?xRkhvSzYlPVAjUTqiuD[YlhVAj]TqivD[YjHUUjGTYikDXik`TmjKT[iqdVYjpUej?TfindYIlHUIjETfiodYIaTPAgbSRiItDIh`U}iYTmiudRihHUIiUTbidDWYlPSYiOTkitdPygXTmiIT\iaDVIjpSEj?TAindOIfhTeh}TYi^DUI_xTUgQTViCDTiihOiimSKijDAyhxRiiaS{igDMyexREheSxiXDMIe`QyhkSoiYdJydXQUhMSliUDHidHQMhSSciSDGib`P}g{S`iMdGIapPegoSZiJdEi`hTIigSNihdBg@S?q?V?I_EOAw@k?}?\?L_FoBixg@I?`?P_HOCWADTUinTUgbsQYHDDAadPPgjSUII|DeavPYjedsyxx\Um[VSjgDsyyH\UmcVSj\dpyvh[elwVGjbdnixH[AmOU~j_dqix`[MmCVJjaDqix`[YmIVJj[DvyvP]ElqV_jgDlYux\IlkVPjedkixpZQm]UrjaDjywpZEmIUojUDnitp[AlYU~j_diYtX[MmCUij\dhivhYalwUfjPdtiz@YUmmUcjMtfyrtYAlDU`jLDvyr`]EkuV_jJdtiz@XemmUWjkddIqh\ikkVZjkdcYzXXMmsUQjFDvIq@\yk]V\jEdvipX\ukWV[i{t]ynTVqj|T|i~t_YoDWIkFUCjCD[ypPVUjgUHizD`Yn@W]jmUEhvs{Y]DNaftRxh}s~I^\OEgFSAk^d|JGH^Yq?VtkCeLj@XbaoSWvkBENz@@cEoMX?k@eLj?hbaoGWvk?EMZFX_IpsW@k]D~ZFp^}pyV}j|EMZFX^qpsVzk]d|y~@bqnqW}jsTyi|L]mnZVkjvT{I||^EnfVqkXeGZEhaIpgWbkVeFzC@ayo{WlkWEEzB`bIpaW\kReEJBPaeoqWgkTEDZD``]pUWUkQECjCp`QpIWRjpEBy{``EnEWOjqeBJ@p]]nKWLkyeOjMxcQrkXBkuEZzMHeyrYXokrEYZL@emrMXik}EUJIxfmryXXkiE]JIpfeqiXykgeWzIXeUqcXckmeRjI@d}q{XNkoEQzKPcurAXKkcEUjJ`ciquXHkae[jGxfQqKXrlN_FwCCAE?~?`_OSliVDJ]drQzh\T`Yo|WYkTUGjCuiBTtigt`YhLVujRSliktNYkLRUiRS\igtHYgLPUgRS|h{tLY_LQugRRdhwt@Y\LNugrRdhwtHY\LPUirOdissLYkLAu_RT|gKt`YALVU^bQtg?spX~LJucrRLhSsvYSLLUabQDhGsXYJLGu`rPlgcs^YGLFUv_A[@Q?j?S_HoDYkdUYjJTfistYI_|OagRSIiETAzD|aup\WikUUIzC|aepPWckRUHZ@t_uoXWNkGUCZ\hn}w?Znm?ezj\PnyvWZ{lte~Z\@nMviZhlre|J[xnIv_ZhlweyJ^HmYvIZzlqE}j]pmQvoZelzexZ[PmuvEZmloezz\Plyv?Zklneyz[@lmuyZ]lnevJ[PluvEZZloevJUXl]uiYpljEkj^`lIugZ}l}eszXxn}wAZPm?EsJX`nMviZMlee|JXHneuUZzldE}j]xk]voZGlzEpjWXnAuIZplaE{jWTkAuBY}l^unZZ@jmuqY{llEmjYxj]uiYxljEmJUhlitkZWlYEuZi@[]mRVGjdTrIx\eMrJXckoUWjKLd}q|X\klUVJJ\tcyf\ZMivUbidtKyl\WMivTBi|t?y~\QMovSRkDtGyz\OMnVSRjdqoy~[mMovJRkDtcxR\ZMTvUbdTqWy|\\MSVVBc|qKyl\WMQvHBi|puw~[]mLvFJbTsswn\NMKvRbbDsgwh[UMeVQrals[wd[PMcvQBa\owyN[OMcvBrhDosyH[JMbVBBglsOwP\EMDVPR`LswwL\NMBvRR_loGyT[BMeV@Bh\r_xx[yM]vMRf\r[y@[}MZVNrelrGyB\BMYVObe\qGx^[pMOVGReDyg{x]\nLvejrLxa|M\knSfZZt@um|M\gnSfYjt@uezI]cnRFXzshuYzC]cmqFhjkXyU{{]MnOFbJrxwuz[]HmwFazlxwi{K]bnCFgZoxyIzy]?m~f_jnpwEzs]BnAf^Jo`vm{c\vm{fdJqXvazg]TmzFdzmhxY{]\pnGf[zq@vIujZVljUuJZTle|y^Vn^FuZv`|a}P^HndVpZw|{Y}g^AnifpJyp{M}m]lnkfjzz@yy}g]jnjFjJyhyi}a]xn\fszyPzi}U]unefmJx`z]|e]~nYfoZu`{A|_^MnXFsJuH{}yH\EmavPzhLsayT\KmdvRzhtsu~o^YnmF}j~H|m~{^to?F|z~x~Y~c^zn}f|J}X~r?C^no@f{[?H~A~W^wnvF}j|h~e~R^jntVxj|D}]~E^zn}fxZ{`~r?C^anoG?{?H}E}y^}nnG?J~x|}|H]enQvhztLyb?~_`oOWFKBu@v@C_OoQGCkCY@F@C_LoQGB{CY?z?S_doEGH{@YAZ@I_FoCgH{@AAZ?k_CoKG@kAy?V?e_XoIGE{Ai@j@m_goTGM[DIBb@g_|o^gLkEiBz@[_yoWGNKDyBn@U_poUgK{DaBJAK`HodgQKHQC^A?`Bo_gPKGQCUs|Y\lMVMjfDrexn[tmZVjZt|yy|V]knTWDkBE@^?f_ToIWXCJuE@BL`dOnwWSJ]ELAz`aOmWUSJuE@At`WOnwTSJmD\Av`UOmWUSI]DhAh`WOhWTsI]DTAh`UOhWWSHeELA\`aOewXCH}EXAb`dOgW`O?{?e?PZ\lmUuznlv}z|\ym|v^J{D}I~B^\nnvvkDEAf@T_joUwJKQyHRCqaUpKGd[RQHJCwaRpLgc[PqHRC_aUpFgd[QIGnCYaRpEGckPqGbC_aIpFga[PAGnCWaIpEga[KyF~CA`hosG_KQyFrCq`}pKG^[NIHjBua[o|Ge{MqGVBoaFozg`kOiFNCM`tpBG\KOQFFCG`qp@g[KLiF~CA`novG_KOQEjBWaCotg_{Xg?Q?J?EpUGr[TqK~DYbMpSgr[XyInE[aipSGqkSqKrDMbJpPgp{SiKfDGbGpdGgKSQKrEUa`pbgf[XIH~EOa]p\go[WYJvDwbAp[GnkVQKBDqa~paGl[WqJ^EIaupVgkkUIJRD_ar_BoAW@C?]?R?Gpzg|C\uN@FlbnPyw{S]eNLFlbqPywxS]MM\FfbePxWwc\uMPF`bnPpwvs\]MDFZb_PuWvC\ELxFTb\PswsSZELHElbOPjwuSY]LlEjbYPiO@G?s?U?H?D_BXECN}GFC@aApAW_{ayO~GacUqGHD[aQP^GgcTqHhDkbAONGIcYqKh@KaQOrGgcMqHhB[aIOjGUcNqGHA[bYOZGycGqMH@{_APbGCcYq?hE[baNzGyb~qLg~[]}NfFpb{p|w}kW}KfEPbIpeWq{faQRHKc}q]hH[gIQ~H}clq_HJkfyQjIAckq_HI{faQ^H{chq]hIKb}QBG|c`qPxGkeYRjHiczqYHM[eqRBHccwqWhL{iySJIqdCqkHO{hYTFIedLqhHRKhIS~ISdOqcHRkiaSVIMdUqihPkkAUNJCddqohXKjiTjI}d[qnHU{]eNZFjczq\XM[euRbHndkQxX\CluVLJZdkQvxZcmMUtJ`dnQrxYCmMV@JLdhQxX\Cl]VLJTeCQJXD{amTFIfdQqfXSKh}WhKHeKRBXasomWXKPeHRAX`So}VTKDe@Qzx\co]VxKNeHR?X^spEWhJveKQ}xasneWHJpe@Q|X_snMYHK}eQrOhcKsAXFL?eLrNhb{sIWzKqe[rLhfkrQXvKkeRrIheKqaX^LUearUhhKtaYNLKehrQhiKtQY^KDeBr?xjcueZXL^etRWXlSuMZXLfeqRYXf{sMYA?AevR]xm??YZ}?CexR^O?cvQZu?Ae{R^o?svYZz