CAT(3024,10)
Sparse6:
:~?nO_?O?G?C@[?j?S_JOLoBs@q?z?x_[OMWFCB]@n?`_NoGGCSAM@H?f_ROIGCkAi@R?u?UOJOESAw@b?n?XoIoEcB?@j@Y?`oOWGkCAAD@C_b_SwIOCaAK@R_h_QWIOCmAc@I_foSWHsCqAZ@O_\ONGF[Bu@~?}_~?UgJ[DyAx@^_mo[GMKEqBZ@m_voWGKKEMBJ@c_pOXoIcD_BP@V?tOTOL[DcBR@e?jOloEKBU@d?r_ZOLGIcD]Ap@T_koTgZWKMEHBB`aOpGW[KUEJBE`bOpgWkKeETBK`dorgXkJuEDA}`^ooWWCJeDpAv`\OnGV[JQDhAu`ZOlWUkIuDVAk`TOiWTCIyDdAn`WokwUCIOERAd@dOhoXcKwDFAe@dorOSSK[D\Aq@cOk?W{I{EPBG@XokOW{HoDzA\@^OnoR{K?D@A`@`Of_WKICCnA_@KOeORcHkC|A^@JOe_RkH[DDAe@KOeOSkIOCvAY@Rod_S[FwDn@~@[O_?VKJgCBAB@]OmoOSHEChAO`HOcwQkGiC\AN`DobGPkGOERAD@dO`_XsG[EVAG@eOaOXkFeBv@|_}O]GNSFGDZAg?xo\OTcIgBhAh?zoioMsT{?t?Z_LOEgB[@m?n?V_KoEGBK@aDhAu`YojgUKI}D`Ar`XOFgBk@q?z?]_MONWF[B}@t?}_]O[gM[FUBh@u_zo]WNcFmBz@w_|P`go{WiKVEGbCp_WokWIK@EBbAP^gnkViJvD~a}P]Wm{VQJjDwazPSwikTQIlDVakPRWhsS}I`DQagpZ_i[TSJbDUAvpT?mST_JfDVAwPUomKU{I|D[AxPZ_jSV?IzDXAxpYWkkUYJTDgarpWGj{UEJDDcappVoosU?KND`BCPW_pKWkJHDbBDPROjKSwItDNAlpS?jcTGI|DPAmoxg[KMUFFBc`pP_Of[W?HxC}B@PNoo[S?KJECA]pMGe{RYHjCya[p]?dcQcJhDtATP]OdkVWH\DvATpG?kkPwJLCaArpGOlCPsJTC^AspDwbSPmGxCWaKpBW`[OyG^COaEPA_nsVgGJDzABP@oncO_J~CHA}o}W^cNmFtB}`}ouGZSLUElBV`kos?l[LCJVDk@fos_lcUsEhBRAupO_c[SCHHDBAQpP?csQ_ILDDARpJoaKPGHbCUAWPCoeSROGjCrAIOyOg{ScFNBiAcPQ_\CSoFXDJ@touo]cM?FnB[@yov_^CNKE~B\@zO~o]CNCGFC?@up?O\{MwGHBqA@QR?Ak@Q?h?T_JODgi[TUIlDWaiPTwB{AE@@?c_PoGgDcBA@\?l_ToJwEkBI@f?u_WoLGJkDqAt@^_nOUwLcEuB\@n_wo[G[SMEFHBd`rOwwgkSIIBDBabPPG\KMqFNBj`tOyG_SOQGFC?a?o~w^[NqFzBy`{o~g]cNUFpBr`zO|w\sNAFbBq`uozwYCK}EhBQ`hosWYkLaElBX`lOtxWojUTfIudYQkhU{kMT|I~d_qohWCjETbIpdWQkHUCj_TdIxDXqlPVSj[TvIsD]ql`VckCUHJCD^QopWcj{UJJ?Daqo`WkiATBIbdPQhXSch}S|IZdLQfHRkgySdIRdFqcXQCgwSHIBDFq_`QSgSS`IRDBq``QKgAR~H|d?q^HNsf]RvHuc{Q]hNKh_RrIXC|qd`Msh[RnISC{QdPNSfERfHscyq[HMSeqRZHictqZxLsegTpIxCuqZpVkekTtHmD\qZ@VceaRLHfcsqXXKcd{T\ImCpQW@T{dwT^ImCpqWPT{g_QpILClQaPJKdsSTIJClqV@PcdIQfHTciQTxIse[QfHVCqQYPIsdGRJHgCiQTPKsdCTdHLDXql@HsjSQ^IvCeQl`ICdCQxHKCkQRPJKcwQtH\CfqS@J[cYQJHCc`qQHG{cMQLHGcaqPxGccmQRHIcdqQXHSj_Q@G~D[qOPVSbwTvHAD]qNPVciWPrGyDSQipE{icPpG{DTQMpS{c?PnGzC^qO`FKbsPpG{C_qN`FSkCLHI~BRPhpVskGLPEdD`qo?tKbEPfGmcVqKhECa]PDGdcPqHhCcbSP@G^CZQF@Ec`sPhGuCOqF`Ek`WSHIDCKQ_`A{gKOrGZDBQE`O{i?OVIbCEqgP@c_{TJGIDQQg`@s_]OHGEcCQAX?k_EN|GAb~q?x?CgcNzFyDEP}pP[ggNpFxDEqa?~c]qNZFmbvp{W}CeGNVH]BrQVo{{e?NPFiCpqWO|K\wTPFYDRPupS{icMxIjBnqi_zk\SRxH|BjQ^_y{\_R~FXD?q_?yc[wShFNDIqd_yS\?SnFRDKpsPRC[IMJFFb`ppgwcfSMBE|CwPnpMKfGM@HrB]Q\?vsYwStIZBTPjPRcYoSzI^BVqf_t[ZELdEsbWPkwukZYLnEwb[pmwvSYALFEabNpfgsKioKfEVDUqjOqSXWTZIkBIQj?qkWuK\EPbFpbGqC^GPXGiByQJO}{^KPVGgBzQIO}k`CN@GQBoqC?{k`KNDFcCIpwpAcX_MPEXBcpe_x[[sKzEZBePf?xT@?PxGyc[QLxFKbmPhGucYqOxG{cUQLHGcaQQhHKcmCzA]`MOfwSKIADJAb`ROhGS{IIA@@@_`oPGGkCIAT@E_doPwHCCeC@@}_~o_WOSGMCVAK`DObWP{GyCRAE`Bo`WOcGaBh@q_xo\wMkFYLNEcbQphgtKYaOTGKcEqBh@{_mOLGCcAq@x@K_aNpFxb|P}w~k^qNdFrbyP|g}{^UMhFTbkptwys\aMFFDb`Ppwws[QLxF@b^poGvkZyLZEmbTPjwt[YqK|EbbNpgGsKYIKxE\bLpeGrKXiKZEMbEPcGqKW}dKPwHOS\aSTF[dBQbG|S]QSlIObvQGGzS]APLGsbvPxHDS\qPdFgcVPUGoSSqJ|ECajP]GiSTqK\EGadPKgfSRYILDAa^Q]GdSfQHDHkaLQ[GbsQqRTH{aRPBGtSOAL\CGb\PnGaSZAGlCCbZQCG^S`QF\GG`tQFG]s_qFdGW`~PoGYSLqMlB_bbOxGxsLQMdBWbdQNGSsIqQDAscbOkHHSIaQ\Gw`POegPSHYC|AQ`FO_HASFqOT@{cFO`HBsGQOlA?cLPWGKsUQBTDo_zPYGLsVQBdDk_|ObGNSHAB\AG_tOdGMSEQC|AW_zOIG}SBaNt?sbzONG~sBAOL?kc@PaGASVq@DEC_LPbGAsAQKDDw_NOKG\sBaFT?g`|OLG]sBqF|?k`xPcDcQqqKlEcURPeDbsXpWskgbPN}GGr~qAD??_dO@GHsDQ?\@O_DNrHLr|ARc~SczNvHNSe`}tH{^dNaGrsXP{[}?bHNdGsrxALC}CbLNSGwRtQMK|WbfNVGxRuAMk|cbhOmF`SJpwc{K`fNFGWSKPwlBG]LM{GGSDPv{zs_bM}GHRoQA\@O]@MpGBS@@uD?c\hMtGArka@CzK_NOUFNSD`r|@[\@OWFPSE@s\@[\BMKGSRbQDLAg[\OjFFrcQDkx?`XMEGtR`qL\Eo[PPlFCsZpp\Ew[TPWEySUPmlDgZlP\E{sV@m|DkZpQYEjrUaR\HwYlQ[EkRUQR{tkczLOGhRSaI[tKahLPGisTpilDWYhLCHORPQSKsWdDQdEbsh@hLIKYPK{HISe@fkr_cjKxHJSePf[rgcnQMEXRKqQ\G{XhQOEZscPelHGXlKYeNrFHbkpmW|QGEISbPbKp_cRKTHERDqPTGkWlKPHIRCqQkowclKNHJsePaTH_W`OmECSJp`LB?WTOpEDrBAESos`fKDHOr?qSSoOd@QbEBSh@_{oGdJOtE?SLp^|BWVzOwD~SMP^coC`hPADwSO@]\CSVdP@DysOp]dCOVbPKDesRPXtCwU^PODgqrAILC{U`P}Dhs^@YSlOcBJTG~qtqOClWbzPJDpSP`ZsmKaTJ_GcqwQG|C_U~NgFeRrP{{{_^LNHFtryPxS}g]VMeFHri@qkxG\JMSFQRiPq{y[[lNwF?R}PoK~g[DNzF@r`P~k~o[HNNEvRZpxsv?]`LpFgrspm[|GZdLgFTRYPt[ug\XLjFUrZPt{uo\\LzEpRXPnsvoZFLcE}rXpn{vgZLLBFMre@gSxkY@M[E^rOPrSrw[rLKEURJ`hSq{YZKpEdrRpeCqsY\KeFlRHpz[q_]xN\ETRvpdK|wXVJuFuq|p|sn_^^JxFuQ}p}Kng^`JlEmRVP\SmkY|JnEoQz`kKmoY~JcEORG`[{qOVJKdDrRGp\Km_XBJ[F\qu@uslc\nJZF[QvPvKlg\tV{?COBW@K?i?X?J_COBW@S?m?X?H_HOBg@{@A?f?P_GOBg@{@I?f?PgAS@Y?t?a_NOHgEsBI@\?i_^OMalPVGjsTuIrDZ_QoIWCsAa@T?f_TOHgC{Aa@J?h_ToJGDkAy@`?n_sOXgLKE]BT@j_iOTWIsD]Ar@W`lovGZkL}F@B]aYpLgfCRiHnCxaXPKWd{RMHhCoaAp@w`COYGTCH`horwYcLAEbBQ`lOtWYsL]ErBWdbQpxXCkeUVJIfvRzH|k}}^`NpfprwH{K}I^JNcfjRtHzK|U]nNWf`rphwk{Q]NNAfQRhXs{yY\RMgfKReXrSxm[zM[fHRdXq[xQ[nMUe~R]hn{vmZzL{ezR\xmkveZhLwedRRhh[sqY^LLeiRSHiKtUYfLQejRUXi{tmYpLYeXRKxesr]XhKteORGXc[qUXHKaeIRDxakpYWrKWeFRBxaCpEWfKQe@R?x_coUWNKEdwQ|X]KnIVfJsdvQyh\kmqVVJndqqyX[{mYVPJcdhqtHYSlUUnJUm?EvR\DlwvRZYLrUybZdl{vVZZLrufb^Th{vvY_L}UgR^liKv~YaL~UeBUDhsthYXLWukrR\jSsxYYLXUdrTthGtTYSLTucrTdhSt^YULUu`b]dnSsRZuLDU`r]|gkvrYGL{U^rRdhcrtX{LLu^RRDhgrvY\K~U]B]\fOvdXtLxU\r]\fcvfXuLxUZbVde{tzY}KwU[RV|fKuBXqL_UdrMDhGr\YSKvu[RQlhKrfXqLJUXbS\iCrHYaKpuXrSDhwrDY^KquVBSdicq~X\LQuVbSteCtNYgKoUprJTkKqlZEKkupBI|dkuDZDKkUSbTtigqfXSLUuSBT\dSt^XPLUUxBHlmSq\Z_KdUwRH\mGq^ZbKeUVRFDdoprWyKnuMrKDboq|W|Kou|rDtnSpXZuKUuKB^La{vhWpL{UvrDdlkp\WnLmUKBZlbCu|ZYKUuzRCLmwpDZnKOUHB]DmopFWdLwuQbCDckpBXKKPuHBHlaSq^WaKfUEbXt`ku^W[LgUFRYL`wufW^LhUEREtbKohWqKIuDbE|bOopWtKJuBbXDkco^ZIKGUqrALksofZKKHUCRQD`KsXWNLEuCBPt_ws^WQLGu?rLD_OrRWDKtU@bL\_[rZXkK@U?rFt_Wp~WFK_U@BGLcKoDWDK`T~RFLbgn~WzK?UNA~dbsn|W@K[UHa~ta[n~WgK?T~BDL^spVWiK?tAR]DOWvXSFLutAB\tOkv^SILwukq}djOnbVqLWt{BUD^StdYtJxu\A|TfWnXXtJttzRM|]{rrVmK{U{Azt]Gv^ZkJotwr\tnCm~ZlJoTtR^|nkmlVSL}u}ayT\[vxVRL~UEqwD[CoxVAKMtorBt[So~WYJaTnBVTjWlzU}L\umQv|j[lvUyL[TkBOlZKsHY@JXTjbODZCsDUnL@ulatDj[lRUkL\tirVLYsttYwJTTgbODYKsBUcL@ThRO\YWsHUfLAutArdlSkzZUJNUtqr|Y?upU`LkuYAqDeckbXiJHUYqq\XSrZXkJIT}apD^ckHVxJBT}qo|^gkRVzJAuyqnTVsvRTwLrT]R[|mgjvT{LsUWamTeKjfTsKqT\RKle[jnXeIzTZBElbGjZWrIvULAl|VCpnToKZTXbOtg_jNTjLDU`qlDUgsRThLDuSQkddGjBXRIpTWBIddSjJXOIptVrQLgsivYKIlUbajdTws^YOImtTBFtTSp~TUK_TTrGLTcqDTWK`tQBWTScuFTILaTQrWlSsuNTKLbU|QfdRsvlS}LyTNr]|SCvrT?L{UAQeD__hbSqKDTKr@\RSoXSsKEtIb@DQkoRSlKDTJB@\Q{oZSmKEUtAcdlWhJSgLkutqctlShRSfLkTEBSdPctLS[LRuhQbTPstRYgILtCb[Tm?ghSRLptDR[dP[vJZ`IJTBBGdcSgZXEIFUQQ`|PCqNXGIGT?BXDksgHZHI?uqa_TkkgJZKI@uIA^TNkpLR{KSs~RDTN{pVR}KRs|B^TNSvvRuL}S|r^lNcv~RwL~S{bJLNKqnRpKlUTa\tdkf^RoKkSyBXtMsudRhLfsyrY\MoubRiLgSxbWDkCfFRaL]SxBVlj{fNRdL^SvRN\fsfBR[K~swBNTfoe~X}HnSta}tLgnlRVJzt}AZD^_erRZJzsnbAdJ{ojR?KJSoRA|`ceFRAKKSkbGdcSdfXEHYUPqUlccdnXGHZTrAzD[smrVMJlTrqz\\CmzVOJmTbAq|WgklUJJKTbQr\Xck^UMJLTxAht]Si^VeIgTxqiLTKnRVgIhSsAetLChnRQI[Ssqf\LShtRSI[tOaXTSKeVTCHeTPQXlK{iNTEHfSpQntKOj~U?HbT_QW|WKeRUAHcTFaVDJcg~Q|IPSmacDJkhBQ{IPsjqxT[WdXVFHUskAx\JCmPQmJcshaudI[ljUxHTTlaTDZ[dRUwHTo@G?k?Q?H?D_Ao@w?s?]?L?F_BT|i~D^]nrVzj|QNXFsb}Q@HAc_odgQ{HiCpAZ`KoiGTKImDTAl`UO]GNKFiBz@{_|pwW{C]QNJFbbpPdGq{XYKfEQbItZIltUuj^TpiwSvIZlLye~R`hoSmIV\JedxQ|h\WucWUKLEvbCPmWpsZ}KXEzbDPnWmc_EJdGBazQ@w~cUuOHDnawP~wkCYeJDEjarPjwkcYuLdDjasPkWuSKUEPEp`bPiWXSYmE\En`ePjWPSXUKdARbHObwPCXEK`AP`EPdWOs_UCDGFb}O^WNs^}CHG@`?Q?wyCEUBPFT_tPrWysE]B\FR_uPrwGs\uM|@D__PuWHC\mND@JboOOwCs]UN\?dbuOGw{s@uNT?`bsOFwoC?u?HEBa|O@wnC?}Jx?J_CP^v~c[}?@FT^|PrWyr~e?DFR^~PsV{cYT~TEbbMNwV{sY]K{~hbONwvpc^D{\FrbyNcW}rxMNs}Vb{NdVocV}KC}Ja{N_WnRwL{LE@a}NaW{BuTzDFZ]rPvVkC\}NC|\bkNVwubtELk|Rb\NTVisZ}Lo|Zb]NUWrbqEK{{bbONHWsRq]LK{jbQNIW}BnDvtFr\yP}w~BndvdFtbzM|w|RkTuTFn\cPxw{bkDuLFhbuMovTC[EMSyn\TPovTc[TtdFF\WPqWorhuKOy^\OPbVSSW}KSyf\QP`VPS[LsHF@\BPpWxRguMOyN\CPpvLCX\rLEV[oPeVKcXlrTEZ[pPeWZsQEGtBbaKOvWbsM]GxBd`oPGwVCTUDtDValOnWVsTeEDD^`_PVWTcSeD\DJ`WPRWUSS}DlDR`YPSWSCRuI@Ah`PPNwScSMDTDFaaOhw]CBE@XBr_SOyw\cBMF\?j_VOyWYr{\|xBP^^OsvwCLUEs~B`kNpVvS@e?_}p_HNkwAbzU?s}v^[ODvsbsT|K|F^SNQVhRyly[}n]eNjWeByEHc}XaYNewerxt|DCza[NfwHbvTzl@N_iN^vnCDDzt@V_hN^VlCQUH[|p]tPHvlcQdzdCj]vPJVfCOEGS|@a@NMw_bruGK|BaCNNv|bqt~[{p^wNKveb~Lxk~v]VN|V`cNlw\B~]DO}VaSNtw`Bt]CO|v[SBe@gzX_ZMuvZcBm@{z`_]MvvXb{du[~J\gNrVxrlL}czV^gMtVUbmTtkzf\[MyVVbm|t{zj\\MzVQBpTsc{V\INEVQrplss{^\KNFWJBfeAsxz_mM^WJrf}BCy@_oM_w`betr\CN[wPCVMcP\rlCT[xPCvJRctqoxJ[cMTVJbc|q{xP[hMTv^bbtqK{F\~MNv_BcDqC{D[aN?wQbaUCkwf`KMIVDsH}Cwwj[UOevBB|Tos~V[MNuvBr|tpC~^[ONuVEB_tpcwN[YMCVEr`Lokwz[[MDV?CFDoD@r[AO\V?sF\oT@z[CO]OAG@K?m?T?L_EOBwAC?y?d?R_GpRWhsS}I`DQagoGGB{AM@H?`_PRvxzS|m]xN\fnQ~H^knyV~K@e?QrHXkkyU`JPdfyTdFIajPkglsTiL|DybjPugksVIMKpqajK]gjrGIJKqIavP]eRsVHclIa`zQig_siiG\IaaJQgg^sPiT\GQ_rQKgOsEiO|@yc^O[hDsaIC\?qczQ]gFsgIALII_fQegJshIAk{QczQ]fbshhxk{adJQ_fdsghx{yybBMogsrliK{zIbFMkgqrlIL\Gi\JM_hBsbHs|GQ\VQMfSsaHs[xycBPwfIrdiN[xab~M[h@reiNlEIZfP_ewsXHmlEYZnPie|sYHnKuybrPyeqrZIN|FqZNLih@s_HlKtabZPsenrUiL{tqbbPqeos\hk\HAQzQQcnsdHKKeIcnHehLqXIRKdAcbHQhHqTIQkdYcnHYhLqUIRLBa]BOof[sKhv\BQ\zNAg\sLhv{sq]bLMfhrSHyktI]nLUflrTHzKrY^NK}fnrwHfk}QXrNae\rvHek~QWvKSfzrEH~{pY^rKQf|r~HaKnIYVJkebrQH]{sQVbL?dyrOh\{mi`ZOcdosHh[\AaVJJegVqyID[lQZzJUe~r_HZKwIUvMCdmr`hZ{jAURIqddqlHXkjYU^IydhqsHVK~ATZIcfsr{hT{iY^VNmdSqih|kgA[RIAfDq`HpkgY[^IIfHqaHqKqaRjKiczq^HeKfyX^HweXq]hdkeaSrHidLqZHRkeyS~HqdPq[HSKcQ_BHEg@s@HHL?YQVHMgDqRI@KbaTzGyd^qNHWKbyUFHAdbqOHWkaqVrGmd|q~HEKnyPfGue@r?HEkaAWJGaeBqHH`KaYWVGieFqIH`lCaOjPQcMsQhA|DAO~PKcLsRhBK_iSjGGdEqbh@khAO^GQdJqchALXAkzUQjNtdIsLXYlFUejLteIslYakJUijBtjIpLYykVUqjFtkIplVimnVKi{t^Ix|VymbVSj@tsioLUqnbTmjxt[I}lVInnTuj|t\I~LZqiNS{jYtNiu|SAlrU}i`tPIv\RQofWGiWuAie\_qhnSykFtMJAL`QhJWUiRuEIdL`ihVW]iVuFIdl_QgvWAiOu@ib|_AgzSaj}t~ibLOAiRSAidt@IhlSygNTQiDtSI`LUAfjRuiptXI^LUYfvTih~tYI^lTQfRTUhttUI\lTif^T]hxtVI]LMAnRR[jqsvi{|MInVRejvsxI|lLApBRQkPstJClLYpNWihlsuJDL[AeJVAhbtpIXLKimNRMjdsrIxLOqdrSMh\tCIVlPId~SUh`tDIWL\ad^QujoslI{\\idbV]hUtvIU\jAujYulkuvjUllqtfYyljuujVLgisnYKl?u_jP|gQsbYGlIu`jQ\karjZIkzurJNLkyrvZQk~usJNleypbWkksuJjL\fApfXqkZuZJEldqvBX_lsuVj[\mQrFXeltuxjKldiuBY{kgunjI\dQuFXWlbuTjWlhaqJYYkbufJHLhyqVYakfugJHliQprYek\uiJFliip~Ymk`uOJTlryxb[wmTvKjf\rQxR[umVvNJdlpqwb[]mHvGJalqYwr[amLvHJa|oayF[Mm_vQJ`\siwJ[EmavBJg|navZZylvu{J^lnIv~Zum@u|J_LuQzb\emxv\JlLvYzV\ymvv]Jllsqyr\MmlvSJjltyyf\amjvWJig?Izx]HnD?@Jn|wo?L]@?@VbjoW?Y{d]F?AVcJon