CAT(3024,4)
Sparse6:
:~?nO_?O?G?C@G?Z?L_EoHOCcAI@F?m?SOIWDSAU@N?e_`_KWE[BI@V?k_UoJoEKAw@d?o?XoGWCKAE@@?]_No[?J[DuAx@\_mOUwI[DQAd@U_joTWICC}Ab@W?iOU_I[DcAd@X?jOToJCDgAj@M_eORWHcCuA\?|_^ONwFcBm@t@A__OOWEwDa@q@Y_[?UWJWBQ@k@\_m?LWH[CeAT@G_bOPwG_C}AI@O_`_SWSo@q?v?\`\_TwIsDUAD@?__oLWEsBQAJ@B_aOxoXKK]EPBH`boqGX[KuEXBJ`eorGXSKiETBF`coqGX{LEE`BR`hOtGYcLMEdBT`jotg[KMMFDB``powg[CLyE~B`@kOwoZSMGErBZ@nOv?Z{LsF@BV@aOp_YkKSElB]@aOp_[CKSE~A}`^ooGVwLeE?BY`^?uGVkJmDxAz`]onGU{JUDlAx`\OmGY?JIEaAs`X_rwYWJQDcBS`h?kwU?LiD]BW`W_uWZ_IqEuAm`m_jWTOKEDQBB`T_ogSoIiDOAh`R_iwTwIYD_Ag`W_hwL{EyBZ@f@fOYOXsE_E\BJ?tOr?LcKsBV@e@jOXOY{EOEjBZ?ooWoZkEGExA_@PohOSSIODBA\@UofoTcHwD\AW`JoeWVOHQCkAw`I_mWQ?KIC[BB`F_oWQOJYCeAv`G_lWPCGeCT@~`?O_WMsFaBn@x@fosON[L?Bt@{@PohONkIOB|@s_yo[wOoHqCsAF`A_ewPWGICGAL`@_bGMODyB_@__w_VwA{@U?l?__NoFgBK@i?pAb`QohGVSJeDp?c_PoGgDkAm@X@`_poWgJsEAA~@i_toZGK{EaBR@c_qoXgLkE}B\@n_vOZWMsFaBnEuBX@kwu?ZULaEsbQPhgskYQLLEdbNpgGrsX}K|E_bK@ewrOXuKqE[bFpcWqCWuK\EKbC`dWpWXYKmEIbP``gsGWaLCEFbV``WtgWQL[EB`royW\CMmFXBi`wO{g]KYoFfBtBTo|?tSN[LVBuBTPj?^CWGF\E@@up_?\{XWJrEVAzp]?qkUwKvDoBMpZorcUmJZDkbV`XwtoUULYDeanpWWkCTsLjErAnPV?ucZ?IrEqAlpkOjSTWLTEkAkPTot[WWIfDTBCPT?o{SkKrDKBLPQ_rCSSKdDEBIPP?q[S]IRDGbE`OwpoSIKWD@b?`OGfoWIK?C~a\pNWfcW{HpEOA\PMOqKYCHjEbAZPg_e{YsG@EnA?pj_^{NoLPB}BRo~OtKNeFvByaU@kwdoZUHYEsaV`agpWREH_EHaPpHWccQCLNC_BSPG_tKPyG~C\b@`EgogPqKGCZaJpEGbKOOJzCAA~p?onsPQGlCTaC@cg`OXQGQERaB`^W_gVyGKD~aFPCG`{Z?FHBeBXPkO[kVWI`DtAhPSOmcVGHdCrAwpL?m[QkJtCiA}PIOn[QWJPCgAtPHolKOkIZCKAfpR_`kPGJFDcAGpCokS@M?h?Q_HOCwAc@q?v?\_hOTGI[Ae@T?g_TOIGDKBi@x?z_]oNwFsCAAD@@_YOLgEkB]@r?w_cOPwGsNMFjBs`zO}G]{UaJRDiarpXgkkUIJHDba_pOwgSQaHNCeaTPIwdKQAHDC`aQpGwccOYGJCFaCPAg`KOmGZCK`rOxG[kMQFJBed_aj@VKj_T\IlD\QlPSsj[TPIuDRqfpVSjcSzI]D[Qi`QshOTVIhDIqd@Q{hWSrITDKQa@R[ggStIHDMQe`OkhkSNIEDMQ^@RkfwS~H|DNQg@NKiGRtI`C|q\`Okf_SNHvDBQ[pTcfST\HsDUqZxLseuTsHnd[AZhVGeuR}HkctA_XO?emRSHocxAZHLWfES_HddFAXhPweQSUH`dEaWxP_eIR?H{c~AVhNgd}SaHZdHaVXJ_hITGHWdPaUhSgdeQgICchA_xIWgIQaIjdTARxTGdAQRHIcdqOpQKhKQJHCDHQl@GKcGTdH?DXqNPUSbwTfIsC^qMhFcbmS[Gvc[AcHPwbePhGtcZQlPE[bCTnGqDZQWPDsb?RDHbCVqJPUKakT^GkDWQIPQ{agSrGgDKQF`T{`oTbG\DWQ]@BCf[OlHuCJqDHAk`MO]ItdZaBhUo_uOSHocEA[XMO_mOAHcc@aXh?OeURQF}cra?HL?^}NuHhcs@~XKw^qNpFyb{qao}{gsNlIKByp{W|{^ASAFkbvA^xO?]uNRFibtqg?zsiCM~IaBmqa?{CggNBIHBpPwpM[]SRjFcCyPt@NK\WRvFTC|Ps`U[jOMfFPDXPr`Js\?R@FNCnqgoxC[cTJIcBdPo`T{[OTbFBDWQh_wC[CTPE~DRq__usZ_SHEvD@pu`C{aWMxGdBlqTPB{d[PBHUCOQ@@BK`kOLGYCAp{_y{\cNhFWBxpx`?{]_ORFfCCQG_xc[sPHFJCPqP_w{c_MLHFBapn@HcZsQ\E}CeqC?vK`GLvGPB\RbOBC@i?rMX?OOFgB{@U?n?U`UOjgTkJADbAn`YOkwUSJUDnAu_POHGC[Aq@Z?j_WOJwDsEeBN@g_ooWgK[EqBT@j_nOWGJ{EUBL@c`MofwRsHiCxAZ`HocgQKGUCNAE`COagPKFqB|@|_xo\WMcFEB`@qblpvGzSamPZGkcPQHHC[_qOTGJbzp|W}s[mMZFKbcpqgxCZ}M@F@b`ppGwT?S^vNxf|R}X~[~i^|N|f}R~H~s~u^ZNnfvR{p|k~S^^NsFvRy@}c}c^jNrFrryP{s}O^NNgFqrwHzs|}]UNYfcbuXxO|a]ENofab{Xw_~I^WNAftboX|O{A\{N`f]bwxvw}I\sNEf]Bpxx?zm\mNBf[BpXvG{Q\[N[fmbkHtw|m]{MgfnbihtG}A\KNUfRbtxygyU\UMafUbhHt_yM]OM_fbbgXrw{Y[wNZfNBvHzgxu]]MXfLbsXy?xi]QMUfdbeHxOx]\yMSf^BdXqWz}[cNAfGboHq?{E\[MXfLbkHtwxiVmMvd{bmX^?za]cLze}BtHyWvuZsNvfzB]X~?va[}LtfOb\xs?vYZ]NNewbsXm?|AZWMLfFBZhlgw}ZUMcetBghlGyMZKMSesBdXkwxM]WLbeqbrhk_{u\eL_fWbWhuOuEYzL^enRU`sky[YxMeElrr@i{tc]\NLEkRR`tCt?\TLNFSrwPh[}KYXNaEerMpzSrg]pKxFkra`e{r_[VMKEZRl@e[zWXjMtEYRJ`{cq{^LKlFqrIPv[zoXPKfF\Rf@ccxwXLM\EQrFhcCp}WtKXeKRDXasp]\aKQfXbDHuOpMW^KPeGRBH`sou^kKHfzbAx~?oi]cJyfha~Hy_nm[YJsdzBbxponU[MJrfCa{Xp?nI^mJodvb}H\o~YVUN{dub~X~omq[aJgfHAyhq?me^sJ^dob}x[?~eUqNqdlb{HZO~EUkMCfBAuHogl][MJRdibaHpGlQ[KJNfAarXXowQUSMIdeBaxXWwq^WJGftAqX|Wk]\iJCfZAphu_kUUAMUd`bdxWOxaT}NTfjanhW?|Y\YI|fUAmxtWjqYKM?ebb^hggv}YELSeaBTXiosIYOK~edBOHhGsEYaK`ePbSxcOtIWKKieCBJH_wqmWEK[eAbFX__pmX_K?e@BKh_GrEZcJ|exa~xm_nyVIM@drB_x[wwIVEJ]dqAvX[OlqXwJOe^AshfglEgM?Z_MoFGAC@E?^S[FIRdXq[AU@N?e_^oNgFkBm@x?y_ZoMGFKMeFPBf`tOzG\[MuF\Bn`wO{W]SVEJfDqajPUGi{NqF|B|`~p?G_KNeFtBzd]qnHV[jyU@I~i]dMifxRqh{SziZTLYedQuhXSjiTdLydhRehWSwiSDOidPSAhQT@iYDFyepQEhiS_iJdHIb@QMgkSaiKdHYcxPmgsSeiMdEIbpP]gwSUiMDEYbpPmgySYiHdBia`O}giSLiHdCIaHPUgcSSghdKYeXDUhcPSi_C|YgHN]iCRuidC|I]PSmiQRri]cyYfxMmh{RihlDPih@LqeuTFiRcuIZHQYemSdhiDGiYpQQeiSbhgDBIXxOmgSRMh]DJiVpRAdySnh[dOyVXSUdsTCiBcky`HJUgOQsiBchy`HIegOQghQDAiSpOqdISJhLd@YRhOQgKQ[hBDGIbxG]hAQGiSC]idHFqhSPzgvdOyLpSUb_TCguDPih@EmbYTFgkdLyJXReasSwgjD?YJ@OMamSAgfsRYHtC]aRPGh~cPiGhOAf{PCiBCJyEHOU`_SCgUC~iDpOA`YR~gRSIIC|AKgBOdI@SHA_\AI`BO_iVCFYBxRAh]O]iccEihP@miUO[gJdMiBHRq_oSziXCCieX@E_eSpiGcAI@PPA_QSQgFDBYA@O}_]SMf~c~I?@NufuO@h}C@I^h?MfuOAhoCqy[PKufARKhwcpyWpM}f_RDhaCzi\hKMfWRAhVCxYTxMQfEQlhHCbIPpHMcYQShmcaYZxGme{QIh{C_IOPNifqQ@hcC^YXPF}eQP}gzcxiNHMaboRfhAC\IOhFYcEPtgrcoYKpJ}bIR?gpCYiKXEabGPhgwcVyMXEAbAPqgnClyJ`JYayQwggCgYSXDIaaQagdccIH`HEc]PIg_ckIGXJIaCQpg^CdyG@HYciO~hNCNYF`IA`uQ^hKcMIRPBicoOxhgcKiYXBQecOrhTCIYDXIq`SQjgYc@iEx?]`kODgICBIAp?u_iOJkR_EWBC@ipY?U_JoDY^\NufxSRiItDGTKImDTAL`EOawPsG}C`@x_|o]gy{\eMpHEccQPxFkb}P|GwcZqMXEKbMPdF\bnpvgvKZmLtE{b^PnYB|@u_|OPgHsCjI`cmqkXLkieRJGpdaqIXXkbeTzE\bUphWrkYULZE@bepuWqk\EKZEPbypaW{kWENZJxaiq{WjkmeJJDxd}q{WmkmeJZChdipGX[kleHjJ`a]pQXYkleIJGp`aosXFkKePZ@HbYoUWwkDELz?XcmoIXLkAERJJH_Io?XWkje?Y~hb}n}X@j~EOJIH^inuXRkhD~I~@cInqXCk`d|y|pa]n_WhjveIJI`]aqkVikidyYz`aup]V]jmeJizHaYpGVYkQduyyxaqmoWikTdtixhcam]XIjfEQYw`cyq_VEjaeRytxcIlaXCjWEOyt`dElYXRkhDjip|Wyk`UJjEtbIodWIkFT~j?t_IlPcajWXIiteQYlhcyj]XNkgDZij|UAi|T`iptWjF`Tap{TYk]dUZFxTIigX@iheOIhxbYi_WwkZdSZFXSqi[Wxk\DRY}HaEneWbjxEGjBp\}p?V`kNdwJB`[eoyVFkLdqIwX]UmCVfj_dxi{PZmnGU|jpdnIm@ZIjcUsiwdky}`YelUVujydiispZylOV?jRdnysX_qo[UdjQEBYs@_YlCWGjOe@yuxXqlkUYjLdlYqx]mnYUXjKDzJAHXEo]URkGDciv@WakSUyj[daYohVqkMT}jBD^YnH`UjsWVi|eDiqpVajmUSjId\jAXVMjiWSiyECikhXyjKU^iqDfYlH[mmWTfjdDYIyXTmmiT\jiDVIih\AimVQijDsZbO@A?b?N_FoCWACwQ[LMDfBraXpCwq[TMJfGRchqKxa[nMUaLPFGb[OMGDCCecRQhhKsIYHLBe]RNhfkqiXXKje@r@X_cmMVHJad\qnXVckAT~I}jVtkYuDYql\UlihTTIi\TAi^TPmnfUZj\tiyx\]mmvRRhTs{yV\MMeVSBg|tGyR\PMcVKbitt_xh[rMjvKBi\rCyj[nMiVUrbTtcwx\YMLvVBbltww~\\MNVDriLpcyd[WMgVRRadpWy^\MMIu^rb|g?w|X}MMvArglosyL[KMaVABgLsKwT\AMCv@belr[wN[DMZV?bd|oOx`[BMWvNR^|oCxx[?M\vKb^drOv|[rL}u|bg|n_yPZvMcu{Rd\nGxRZoMTUzRhTm{yXZmMduybgdmoyLZjMavJB[|qwvR[lLsVOrZLlgyB\ALkUtRelr[unZUMZVMrYTlOxz[{Lhuoritt_uJZCMjuobi\kCyjZ?MiUlrftjcy@YwM^ulbfTr_tjYsM[vVBSltwtN\\LRVURSTtktH\YLPvIBRTqWsv[fLKvMBQtrgsp[xLJucrcDqGsj[`LIVGrQDhGxJ[cLGvGrPlqSs^[cLFUabctgoxPYJMRu`rftgcy@YGM^vEbOdposL[ZLAu_RcDqGsF[`L@VJBNLqwrt[lK{U^ZNdfmre[hkxFIzM`qirjXvkzUYRadpWrVXiMIuXba|e_wpXfMKvCr]\nSwd[PLyVBr[lp?vL[MLqUwBYDlCu|Z^LfuurWtlsuPZ[Lbu}RULnktdYrL|UwRT|mGt\ZbLWUfrXdiCu\Y_LeuqRRdhwuVY\LdUirL|fCtZYkKwUiRLtigrXYgKuumbK\jorJYzKqUnrKLeGtzY}KoOBg@s?z?eR}i?S~y_TOEgFSEiAt@Ia|PaglSXiLtEhA[`UOhFnbwP{YSLIMdDQ]hOSfyRLHicpQThJsdiQTHQcfPpgxs[i?|?Y_JOKgEsA{GqCFA@`AoaWO{GmAz@`_noTwJ[De@|AJ__OaWGSG]CH?z_]O_wOCBe?z?Z_NoFWB{@mBOzz_uM~wLRnuCT?J`COBWOs?eC@?B`AO@wOS?T~H@`^rOVv|CDuAk~b_lNwWJB|}@K~X_TNvWDB|m@K~R_TNtwDB|T|y}~^\njvuZzD|P@z_~NjVtSFt|L@r^PO[VscE|{x@b^OOXvrsET{l@t^KO]VrSF]@?}H^AOHVosAL{@@P_hN_wIbv|zp?`]|OGvncAUAG|r]zOQWGrvTzX@J]wORVlsC|zM|j]snWVkZuTy\?z_]NSviCBdyX?~_`NQVhSCEBO|F_uNPWLRsLxx@b]_OXVfsE\xl@n][O[vfSFE@W{p]YOKWDrrLxT@P_iNJwIRqtxH?r]SOLvcsBTw|?l]POKVcCA|wd?r]JOLvacBUAS{F]DORv`CCuAG{D_cN?wGroDvp@v\zO]V]cFUB{zn\xO^WNRnDvIzb\rmzV\ZmduizP\hmqvXzku?g~p_KN|WAr~L~T?N_HNzwAB}t{_~D^INovqR{D|g}J^[Nbvpbz\~w{X_?NFV~rplw[~x^|NCV`b~\uw~F\oNqvZr{duk~L^gMuvxrldyszD\cNVvWrttyoz@]jMovibj}NCWjKVeJRBxaKpAmBVBj`TnIvlZnB?bppxgV{]QDzD]bmpwGk[\yJBF_ahpTgzk\yIjFsaep}GiK^YI^DAbxpPG}K]yIBCybvpNg}[RqNbFwaYp|gfK^QHnFg`{pzG^k]iFvBGbsorG|kKiNVBCbrpwgW{KINJAr`WolWV[JeDnEqb^plGw[ZYMBEwbUpnGuKZiL^EQakpUgqKTqK^EGadpPgpkSaKVCmbOpKgskRALFEeaSpigdkYaHVDuaJpEgn[PaJrCObapqGakPIMNDoaFp\G`kVIGVFIa?p?gxk[yF~Bkato{Gl{MyJZDc`rpYG\[UYFRB_bLpfg[kXqFFBYbIovgrKLqKnCC`iouG_{LYGRBq`fo|gY[NQEbAia}ojgoKIqJ~Acb@p`gTKIYKJC[`PpGGSKPyC~AWaPofGc{HiHJAMbkobGz[\YCbFO`HodgykHQMe?H?E_Ao@w@K?a?P?H_BoAw@c?i?X?I_DoAg@c?m?R?F_CTBY`tO}g`SQiGsAI@T?e_^OOgFR~y?L?A^~O?g?s?i?d?M_HOAg@upZW\kQu@ZAl_ulzVLjatlYtlYUkZU\jIt\YolVuXjLDe]rVXhktWp{XMKbEHbDpbWd{RMHbChaUpIw\kNEF^Bj`soxwUKJMDjAv`\omWR{IMDBAZ`MoeXisvMYpLpevRUxiCueYhLletRSxbSvmW|L~eMR^XbcqMW|KdeLRGXmco}WdLve{RCXaCq]WdKjeSRBxlso]WDLrewR@X^cueZXK@etQ~xisn]YtJzekQ}XeSn]XlJzeYQ}X]CtEYhJtdxRSxdcnEX\JteWQ{x\km}VVJndtqzXZ{mMVBJddsqxxZCwm[LJ\fCQuxoCle[HJ\f@QuxYcuMUlLfdhRXXjckuU`L`enQrx\CsuY\JddrRQxgsmMYPJ`eaQvxYSpUUlKXdiRDx`CkuU`KLeDQrxpCc][THBfBQPXWCvmUHL~d`R^XVSvUT|Lxd]R\xasjUWpIxeIQlxTsomWPIrdWRBXTCkeTXJJdTQpxWsiMTHJJdRQqXRcq]XTI`eSQfxQsqEStKddKRGx^cfUW@Hvd~Q[xKsoMRTKFcsR@XIcreQpK|cjRMxfsc}YDHRe_QSXoCceQXMDf@QQxGCsuP|LNc]RQxEssUPtLHc[RPxkSbEPdLfeqQLXjcamZ@GnenQJXCSrEP@KleVQFxec`eXlG\eXQExASreOlK|cIRMxfs_uYDGPe_QBxNCgmS\H|c|QbXQCeuShHpdHQZxOceERHIFcpQaXOCduR|HZd@QVxCc_EPPGDcRQ?w~S_eNxGFcDP~yXSAE@F?dWckRUHZDTampX^_npVwZzT|q}v\^movWJkTuQzFcZqMxFKb}PzH@fESqXqDKU[\RFhgSnyYdKMedR@h]StyVTLmdpRXhsSkyUtMudhRjhUSzyUDNMd\RphLSvYRtMEcxR^hpSdY[tH]fHQXheScyXTG}e\QPhCSqyPdK}cTRLg|S{YNDNMblRnhsS[YMdMubdRjhpSRY[tDEfHPNgdSvyHDLuaLR`hgSOYYdCUedPBg\StyFtLm`xRXh|SDyBTN}fxOXhzSCYAdNUfpORh{RxX{TNUflN`h|RyY^s}mfxNfhaRcxqtKeeLMTgiSZyLTD]adPlgYSXYFDEe`lPfgWSWyETEEa|OngMSUYJdAE_|PZgDS_y@tG]_XQDgAS^Y@DGE_LP~hSR~yTT?EdLOBhOR}YSc~udDNzfxRrx}s|M^hNPfcSIXxdAu]TOjf`RzX|s{U^`NFgPRnYCs{E`HM~fZRixtszm\XMxfmRhXzsye]tMffYRgXuCyM\dM^fKRtXzCxu[tNV?C_Ao@g?c?U?LhcspyWk\uNBF^[SmJVDZa|pawrbLpfwrkXUKrEV`EobwQKHMCnATfkrtxyk|m]~N\forxX{[}]^VNhkLTxY|D`}oxVfjsUDzBD]UohVfjnUIZDT]Mn@WfjlUGYzDaUmxWbi?T|y_d^mgDVxjnTrY{D[}nDVPj_TuYwT\mmHV\kOTmyvtaUlxWbjVUHzDTZEldWhjDUCZ@tW}kXWRjtT`Y|dWen\UFj?Tzy|TWMj|Vli}UBYnT_moPTxjwT\Y}dVMndTvkITZZBDVEolTnirUEylT`}jPW\kCTWYkd_uoTTbilUByjt`MixWPiWT|y~DRUhdVziTT{Ydt^UhXVriQT~Z?DQen|Sfk@TFycT_]oHS`k@TEZ?tPuoHSZiHT~Z?DP]n|STjbTlYxTZemPUvjhTiYytYumhUjjGTQYqdSukdTJjJTOyrTS]kpTDi]TTYgDTeh|TVifTLyfTTMhpTPiETgystPEg\UdjMT@ysDOmk|SHl\UnzUtjutpZ@lXUozWdjUt`ZFlcUfzXdiMuTY`lMUsZRDlMstZNkaUbZHDhEqLYNk|UczNth]rxYTkyUhzNDierlYdkpUizTte]rHYlkmUxzKDmmq|ZhkjUwZJTmUqpZbkgUYZLddUqdXjkvUQzMTc}r`XLlBUNzGTgmq@YHk[U_ZOdbusDWzllUKzZtb]uxWtkUUtZEDlep\ZVluVJz]DrMv\[pmQVEZctpmxD[VmMVCZcDpUw|[RmEVNz`trmwT[|mBVLZetoUwP[xl~VOZ_TsUw@\BmcU~ZhTnevt\FlxVIZ]tquvh[jmzVXZnTuezp\fmnVRZkTtEz@\NmkV[Zmdtuyt\rmhVYzitu}yh\l?@V^JpLwo?L]@nD?@Jnw?I{\]B?BVcjow?Q{`]D