CAT(3072,8)
Sparse6:
:~?o?_?O?G?C?[?G?D?BO@G?k?Q?J?E_BOCOAC?y?^?_?KODwBK@i?x?Z_LoDwBc@a?r?Y_KOEWB[@]?x?Y_^?MGFKBi@v?|_]OOwGCCEAD?}_^oROGkCaAN@C_bOQWIoBU@n?u_m?UwJKDiAx@\_moVGJsDyA~@a_ooXGKCEMBy@k_wOZWLsE}BV@p_xo[gMsFUBhAN@DobgPKGiCXAL`R_^gNkF}C@A@`@O`WO[GQCLAG`Bo]WNCF]Bx@y_|odWQsHiCrAV`KOeGQsHeCnAY`IogGRcHmCzA^`NOkwUcJUDpAv`ZOigS{IaDRAk`TokWTkI}D`Aq`VOh_VCJKDDAd@YOlOS[JWDBAc@ZokOR{HoD\AZ@UojoRkJGD@Ao@NOhoS[IODPAh@Ooi_SSIWDXAd@TodGQCG}CbAQ`Hp?OLCEUBR@f_tOXgLcE}BZ@m_wOYwMKFQBj@q_xo\gQsH]CjAW`LOeWewPyGrCYaMPEwbkP}H@C`aPPHGc[PMGhCVaKPDgakPMGpCSaIpDga{OuG\CNaHPCWaCPEG`CLaHPBg`{OaGVCKaBpAg`KOaGNCJaDPAW`cOAF|B{`}o}w^{PsFnBuALo|ObKNWGtC]@zo|ObcP{FpC_@{PGO^KQKFtCc@{pG_^SP{GBC_A@pGO_cQGGJCAAPpH?_sJeD|A|`\OnGV[KMEHBA`^ooGWKNAFbBq`yO{w\{McFvC?@uO~O\SN{FVB}@vO~?\kK[GDBGAAOq__sKcGJBDA?op__[MMFLBc`royG[kLuF@B]`nowg[KLIEjBU`gotGY[LeEpBY`mOuwY{KkGrBKALOrOb[KwGxBOANPFOX{\?Ah@T_ioSwIcDMAl@U_joUGJCD]AZ@M_foSWICDIAT@K_doUWJSDeAt@Z_loVwKCEEBH@b_pO|W]sN]EPBD`boqWXSKYNpFsbyp|g~K^]MTFLbdprGxs[}MOFubb@|Wwg^QNqFFba@}GxG^]L{Fjb^`zGw?]uN]F@b``{GwO]yM~F\bnPwG{K\qNIF\br@vg{w\}MwFgbt@wW|G]AHOFpbx@Hw}WQUHSFrbx@HgdG^EMsCpbj@KgeW\]MoCuaY@uwzGRUM_EobX@swuG\QMaErbV`tWyOZQNSEjbr`iWt_]ULYFhbV@yG{oYiLPEbbQPhWssY]LDE_bMpfgsKX}KaFIbH`rGqO[mMYESbJ@rwxoXUKYFRbF@sWpW\QKWFObG@tWpw\IKIFjbB@zGow]uN[EGbw@aW|wWiMID~b?`pwoO[aKEFEba@`Go?[eJUFZbj@YWlO\]MoDfau@ugzGUaJDDdaopXgk[UQItDXajpTWjCTYIQE{ad`nWh_ZmLuDMad@nWhgZqIEFaaa@wg{WSUNGDGbq@Pw{WSYHsF@b`@NGfWZ}MECva[`ngf?[AH|DAa]pNwgKSAKsCmbK`KGr?QmKmCkaU`fGrWQ}JYDrav@\GmgU}JkDoa{@[gmwVEJsD]a{`VGjwVyJ?Dzal`^GngTuI]Eub\@Sgi?ZULqDPai@lwv?TMT[?s_XOKwESBI@f?s_YOKwDkAy@^?p_UOKGECAq@^?m_UoKWCKAU@@?b_QOGgCkAA@D?b_OoHGDSAe@L?j_RoIGC{Aa@R?e_ToIgBk@}?|@e_qoYgLCEeBNCdaRPHwdSQeHPEnbWPkWucZMLdEmbUPigtkYmLREbbQphgtCYQLNEGbBpaWosWUKTDfasPZGlSUeJVDBabpQGgcSUILDHadPQwhsSqIZKYEFBAh`woaWeKJeEBCH`gpIWaKHdza~x]onqVsJ|d{A~h_GnmVqK?eFA{H`wnEW_JqeHa{xaGnUWcJsdvBAh`?miVUKLduBAx\woeWWJldsQxH\KmUVLJfd`qpHW{kUULJGdeQrhXKkiUZJJdgQsXYclIUfJNdlQtXYsl]UpJXe@AnX_WjyUCKCd^b@hW?o]UAKDdZavhV?l}VAIydoAnH[WjeVCIzdXqkXUSjUTlIsdVa|X]?i}T_JrdVA{hTonQVaIod{AiHTGniTSJvdzAixTgnmTWJxdvAhXSwmiVUIeduAhX\wiYVYIfdPAmHSGjmT?IvdPamhS_jqS}IxcNAnhVw`}U?G`cOAnXWOaMUAGae@adx_oheWIIWeBaex__hiWCIUdGAkXQGjIScIrdHalhUghUTgISdOAbHPOiESUIbdNabxPgiQTCIMdqA`HP?meSQJgdqa`X[wg]VKIEd?AfHOOhuSEI[dNA^hNwhuS{I@dla]hZgfmUyH{c}auxN?lqRqJ[csa~HLWnuROJ}e?aYhKwn}RKK?cnQUhJ[dqQ~H\chqRhH{dAQbHQdkaRXYgcaUkHHdkAQhHWliUmHKdfaOhYGcMUcHCcaatHGwlMQKJOddaNhFwkeUSH?c]ArHXocEPyJLc\qMXE{biPpGucQavxCwlyV?GhdoaIH[WaQPKJadaaEHWo`eOsJBcLapxBgkQOwJGcEAiHTG_uTSGMcFaixAGiuO_IkcDQ@h?{_aORGJb}p}w~S^qN|F~ciAWXIgeARCHXcjAWxJ?eUQmHccWAZHEWe}PaHlcXAZhEgfEPgHocxAIhMWamRgGkczaJXMoa}RiGmcJA?x?_`MOiG?cJa?hA__EOIGQgH_DGAs@UTJIfdROSwIkDQAZ@N_gORgISDEAV@I_eOQwHSCqFtBw`{o^gN{GEBzAA`?O`GOkGaCLAF`@o]gNCFeBx@z_zomWVSJmDxA}`]onwWCKEEDBC``o|G\{NIFfBo`wosWYSLMEjBU`iOtwZCLiExBZ`korWX[KyEXBO`fqChAs`MOnGScIsWYKTEMbHPegqsMYE|Ba`tO{g\sWQCTEW`LPaGRsWqC\ES`HPcGQsHAILAGa^ObGgSHQITAWafOfGiSEQJ\@gb@OXGmSEqJ|@ka|OYGmsBQIlD__dPXGFsUa@tD[_`PUGGsAQId?ga^POGCSSQ?|?oadOJGhs@AHTCk_HPLGBSRa?t?SaRPKGAsAqFlCG_XOFG^SAAF|C?_TOHG_sDABd@S`@O`GHsDABl@S_|O^GHr]aJ[vkaxL{GnR^QJkv{a~L}GoR~qEL??`hN}GXSLQ?LBW_FOAGXsPP{{}_aFNjGbRyQGdC[^LNiGcRtAFK|S`vNUG]SLpy|B_]rOyFkSJ@xtAs]^OmFgSJpyK|G`VNRGWRqAFk{c`|NIG^sO@x\CG]ZP@FeRohw{{Y]FNDfaRnHvkzy\~N@f_RkqJTD[\jMsGkrkaJCzCalMoGisD`oD@W[BOVF@R`QBD@_[HOVF@rVQHCtoaFPCEnSPPkDCWZBL^GbsI@jDAgYnLUGSRUQDLAgYvLYGSrMAEKrc`dOuE\rMaE\BSXxK|GYSJphdAkYZLNGVSJ@hTB?YVLMGUsF@dcq{_|KpGMrJQB{qw`@O`EWRHaHKq[aTPKESSR`d\CsXRPJETRHHckqMX@K`ePREq@kpo_^KYGGRFaASp{_bOMEMr|P{c~[^JN_FxR{p{K~W^DNsFprf`|c}s\BM^Fvrz`s[yG^bM_FwRfPskx_\HMeFKrhprSxk\PM[FSrc`usxK\nMSF[RdPvKx[\vMUF\R``mcw[ZlMGEzraPnCwgZjMJE{r}@lkug^rLhF}rY@~Suk^vLkF}Rc@iKt?[XLTFErcPi[tO[\LQFFr[@gssSZfLnEcrP@lsvCYPLqEbrX`gKs?ZDLBEprX@fsu[X~LdE`RL`z[rS]tKsFmRv`e[|{XnN\EXRi`acyoWlMlEIrE@t[p[\^KXFVTTq@D?q_ROFgDSAwEsBU@j?v_ZOLwFKBa@t?z_]oNGFKBm@p?y_]oNGGcCUAL@F_coQGw[Z}MDF@b_Pngv[ZuLx@j_uOZWLsFAB^@q_yo\GMKFMBlA]`LofGRkIAC~Ab`OoggSkIYDHAP`HOdGQCHMC^ChaRpHgdSQaHJCjaVpJGdkRAH\CjaUPJWd{QyH`CpaXPKwecRUHlCpaXPKwecRUHlE\bNpgGsKYIK|EJbEPbWpsXAK^D~b?P_WoSWQKFD\anPUwj{UAIxDeaopWgk[UUJHDSafpSwiCTEIdDXajpUGisTUItCva\pMgfCRqHrC|a_pNwfsSAIDNefrryX|S}m^PNLfcRqhxc{m]RMpfXRkxukzQ\`MifURixtky}\\L[enrVhjkuEZ@Kwe[rMhf[ruXxK}e^rOHgKsMYDLIedrRHhks}Y\LCearQHg{sYYRWYKIUErAl`coxW\KJUFrA|`wopWOKOuCRC\`GpDWcKFuCrCD_wpJWKkCUAZ@l_moTVmJztzq}t]snvVwJtT}a|\^cnXVhKEtxR@D]WoVVcKETyB@L][oTVcJwTxQ}L]WndVfJxtyQ}l]_nhWXJmTuBAd\cojVYKJTvRA|\kopVKKOTrRCL[wpDVNKPuHQyLaOm`VDj`ToYwd[Mm@UujYtmIudZelnWBJVU@At|_[l`UpK@U@Qu\_WldUkJvtzatLY_nVViJTTjQ|dYknZVOJMTgQx|Y?m\VKJMtsQr|[sk|U[JYTfQulZWk|UvJNtgQvLY?lpWDJHU@aq\X?oDWBJGu@AqdXSoNUmJATjqolZ?kLUFJXtkapLZCkPUIJBtaqolWokLULJATbqpLWwkPU@J~t_b?D^oj|T~J}t_A~tWKoBUPI~T^qqTW?k`U@JHtdQo\WGkhTtJkt\az\V[mtTwJmtvAnT\_jrTeiptXIlDUUjNTliuTZilLUmjTTkJTTZQtLYkjTTjJUtYQtdUwlPTvIrt]AklVSjFTuIqT]QktVgjPTaJ}T~QjlTwn|T^J~tWB?LUCo@UKIlTbQjLWgivUNImTTqptWkipTWImtVajdT{inT_IktWajTUCivUzIgtTav|TOltU}IhTTQvdTKlzUaIdtRAsdSslJUbIfThqiDYWi^UVI_tNqrLXWiFT?JKTOar\XgiHTnI[t[AfTVChvTqI]T\AftRsjfSrJPTLAs\RSlHSuJQtMAs|R[lLSqJKTeQeLXgh`UUIUteqdtX[h^SkJ]tIAv|Q[ltShJ\tIavtQklxS_JxT{Ab\PonbS\JxtFa}lP{nhSTJzTDa}|^_gnVyIKT}qbT^cgrSSIwTZq`|VCg`SPIxT\AaTPKjfSDiBT@I`DO]gFR}Jntwa_TNsm|S@Jotwq^|O?n@VQHztsq^D\OfrVTH|Ttq^dNkmlRqhzS|Y]\NEfhTRHttTA\dTSfZRoIjSzaiTTCf^RRI|stAn\LSjxRWI}stqnlLWjxVRH_ttAWT\SeFRCJjspQyTKWmlVBH]tpAWDJkm@V@H]TpQVt[Gd~QoJnskQ{DI{nBVaHXSlAzt]KdfWYHNUEqR|`sdDW[HMuFqSL`wd@WNHHuCQQL`KclWMHHUCaQd`?cjVEG~s_qxT[[c@VGH?s`Ax\GGmRPzJbS^axLFgmPPxJbs^Ax\FsmTPrgzs\iMdFabjRLIQtGQXtK{hDROIRSsacdLChFQxHeSpqVDKcdjRGHZSqaU|JgeVQmHSShATlIKdRQdHTShaTdI[dVQVHkseAZTHcevQYHnSvQRdLocvQOIFTAQP\OgcXQLIDsba`lG{gXQDHns`a[DGgfDQGHos`q[dGcfFRdGvSxaL|M[b`PlHtSyAMTMcbbPfIasYAgtEciNTGGtSZAhTScbV?P_HOCwA[@E?dTPihTTIitTUifI^dOQgXSciITFIgdSqihT[iuTX?}_^oOGGKCMADBz`}O~w^kOAF|@v_{O]WNSFqBvAJ`FOagPKGqCZH}c~q_HOKgMSDHecrqYHLKemRTHccoQWXKSeURFG{c]qNhF{cEQ@GxcZQLxFCbmPtG@c@q@H?k_AODFyb}p}w~c^}N|SBiBt@I_tOagJRLhfsriYTLAebRFhcSqYXdKieV^}NmFpJwp}A}O^^nmfpZwx|y}Q^`njFpZwx|i}K^VnkFpJxH|m}O^Xn^FsJyHz}}g^AnifoZyX{M}c^?nIFjJqhyu{k]mnJfjzuHxe|_]WnFFsJpx|E}c]QnGfszqX|U{_^SkRfkzu`ai|iWjkSfljuPaapK]vmrfazl@wizQ]LmqFaJkpwqzI]HmnFgJjxyEz?]amofgzkXyUzC]cmlFlJj`zUyq]rmkFkjjhz]yu]umbFmJgxzeyO]yn\fQZvhsm|w\Im`f{Z|psA~]\@nxfPZ}PsQyC^onsFNj|Hru~W[~m\FyjfX}u~U[{mXFrjdp{ix]^JmWfrZe@{qxe^NnNfIjr`qaxW]ZnNFIzdhxu{s[hmJFizaxyYwo]fmKfiJtHpmws]imFFxj`x}U~C[ImDfxJ{xoqwY^bnsE~j_H}m~QZ~m?Fyj_P}qwE^ll}F~J~hna~yZ|l|f~J^H~q~yZylzF}z~PnQvi^zlxF}j]x~m~sZrlvFaZ]@wqv]]JluFaJ]HwuvY]IlrFzj[x}}~eZhnxEyz\P~AvO^pliFhjYhy]um]hlkFijZHymuk]glaFuZWP|YuE^VnkEpzWp|muI^YnyEnJ}hjut{^vl^f}JWH~eu?^unHemzUpwy{]YvnGEmJqPje{aYynmEkJzpjE}}YqlXfvZUh}Etg^_lTFnjTXz}tW^?lUfoZTx{Mt[^AlNFwjRx}Mt?^clOfxZ{xiMtC^enLEhJrXiU{wYenMehzTHxytO]^nyEdjQP~Use^vlJf}ZQ`~Ysi^wnyEbJ}hgu~kYMnzecZ~HhA~oYNkyFqjMh{mrk^KkzfrZNH{}ro^MkwfnZLpzar]]xkwFmjvXfMrc]{kgFdJIHxUqc]UkhfdzIhxeqg]Wk^FjJFxyuq?]mk_fjzuHcM|_XAnOEJJsHau|CWmkVfgzshbEp_]cmhFLJihrUxk\VmZfTJfHtYxo\RmxF@ZmXo]z_[CmyFAZmhoaza[ElfFFJXxpuu_[]mOesZbxlMuc[_llEqJXHlmuYZ\ldEvJZxkquUZ]m~Eejn`hazyYXm~eezRhwA{AY[l?FRJhhgEy[YAmfe`JiHgMy_YDmzE]jnXf}zmXzk}F]JNhvizqX}ksFYjLHumz[XiktfZJLhuuz]XkkqE`jOxeUrMYGlCeWzPXeIrKYIkmF_jJhwM{GX^nBeWJoheE{KX]mPETzcXdaxGXUmReUZJXqYxIXYloEQj[`cqvAXJlpERZ[hc}vEXMk[EPJFPcYpuXFkceMZFhcaqIW{kXFCJEXpUpg[PmHELzEppMpi[S_COBG@k?e?V?I_COAg@k?m?X?H_FoBgAC@A?^?MgGSBi@|@I_ZOP_NOFWBk@y?~?^bappGws[]MRFGbdPqwxc[uM^FMforwh{[}A^HNdeXrLXeSrQXnKueIREXa{pYWpKTmhVSzidtUyn\UmJVEZbTpmwp[VmAV@Z`DoewL[FlNugJSThytFY`lRuiJTLiYtJYckXuLJElbIpnWuqpH`KkaWbKQddqph`[kAWZJAeFq{hU{nATjJud[qmh]kjyVvI{d{r?hOknySNJ{dDr?HPKgyWNKCdEq^hQ{fqSjHwdHq]hQKgISvI?dKr?hKKeYWBHad}q~hL[eQWNHgeAq{HJ[dYVfJscnqTH]{daVvH[d{qoHKKeYURHad`qYHX[eiUJHcdbqRHQ{dASvHQdKqcHHKcySfIScdqOHVKbqTjI{c`qmhF{jyQJHEdZqLha[biWVKGcYqMHaKbAW^KKcXqThBKaAQzHWcLqGhJ{dQOzHYcNqyHAkmiOnGMduqBH[kmYObGQdvp|HLk^YR^Fwcxp}hMk^yRnF{cwq[g}[]aR^HkbtpzHMK^ARnFmcypvhR{hqMzIcbrpwHSKiYNFFcdPqhgxk[yTBFGdNqhGx[hqMJFEdPqkGt{ZITREsdUplhT{iiLbIqbUpaHOkWqSZEMdDqbgq[XASREIdBp\HZ[ViVBDwdpp[HZ{VIUzDudkpWhXkTqU^JOanqsgjKTiUnJSaoqtgcKPqUZJSaRpFhX{lIHFJOaQqyg`{OQVJJkaEqxg_{OaV^JgaDq_G^kfiFrH{`|q^g^{OISFHwa?oYHUKEiTR@kdToZhTkFITf@odVqwGCkla@B?adpoHhZ[AiU~?gdmpmGyKZiMfE{bipngy{[IMvF?bkowGaKMIGfBcaIoxga{PiFVCW`spRGYkLYI^BWagougi[LqIjB]ajoqGgKKiIFDC`epPgX{SiEfDG`gozGVkMyD~B?`woog][KYFnBC`yokH?KJIOFAscAolh?{_iDvAwcCohGdKIYHVAgaUoigd{IqHfCo`VoeHCkHiPNA[cSofhD[IIP^A_cUpLGPkRYC^ASa^pMGQKHYHvC{`HpgGJkYIA~Ec_ophgK[YiBNEg_qoMGIKDI@v?{_ioNgI{CIAv@?_koPGkkCYJN@GasoQgl[CyJ^@KauoJGnkAyKJ?qb@p`gEkVy@n?ob?oDGO[@YCJ?W`BoEgP[Ga?~A?_Mpdg@{@AKrE]_CpdG@[?qKvE[_Hn~GMj~yBn??_{o?gN[Fy?N?C_}_IODGAs@Y?j?TdMQfhRkGmCRAI`EObgPlEub\PngwS[iMLE]bPPhgtSZIL]gdRnhsTDY\TP]fXSXiMS{ybTNEe`SRhhTDYZDPuehSViLSuyYtPehTPpgxTJYMdQ}blSpg|TLYNDRM``S`iQSIyDDP}hDOriSSJyctAu`LSDgOTAYCdOM_xS@gNT@yCTOm[@SLiER_y`swUg`MJiGRaY`sw]ZhS^iQR\xnDQEhPL~iRR]ycSvuYhSFi@RSxiDOeYpSJejT?XjTOUYPSliWRRxhTQ}YXSreaTLXgtQmapLhetSUyJcuua|LngpR[yKCvE`tPRg]STyEdCu`lPNg^STYFDDEdpNlfvSmx}DJu^dQ~fzSox}dKE^@P|fpS^x{dGE^LQBftS`x|DGUbHNTgrRtxzDEe]tPjfnSZxzdEu]PQlfdSjxxdJE]\QrhZRsyUc|E\xRDf^SpxwtK}]@RHf`SrYXS{UcXMxfXScYPsz]cPMphDRmxudHMd@MdfVSgyTCyedHMffUShyTSym[pQTfLSdxrdHe[|QZhNRgxsDHu_HMLgERdXqt?}_LMNgDRcY@CxMYxOPgLRXXkt@]Y|OReoSEXkT@U^tKxf}RMxft?M^pK|e`R~xgD?EXXR\eVSvy[CrMfDKthrRLy[crEX@RteSS~y]sqMfpKdeTS}y^cq]aPK\gdRExadCEWlPBeNSPYGspd?Q_LODeIRDXaspeWnKWkouVjJdd}qzX_kjUUJI|dmqrXYuTjK\darJX[kruWJK\dyrNXYkqu\JC|fYpRWik|uJJNlbAr~Wmk{uEjLL`qrVXkkNuZjCLfIpJXokPtzJN|]irjVmkzt{JNL^QrvVqk}tjjLLZArVXkjXuZiulfIlrXojZtUjOLgIizYCinu`ikLUQsVYGipu`Ii|gYirTMl?tTJPLgIifTOlDu?jFl_QpfWEkYuAJE|_qpvWIk[t|j@|^aobVykHuDI~l_AorV}kJtdiv\ZqkrU}jLtoIrl[QlBVAjNtvip\]AkZVajFtcI{l]akjUQjrt^jF|cAkBXGjBuOio\cQkRXEjAuQim\cqjjTykiuRim|VqqfXOi{tXiw|UamRTijdtZIxlVAmbTmjftOis\SQlJUeibtiIhLYqiZUiidtsie|RamjSyjjtNIzLSAmzS}jlvHJg\saxN\ImPvFJg|pyyJ[_m_vLjbLrywn[ymGvLJb\rqwf[wmIutJ_loYun[Glkuuj`\lyw^Z[mEuoJd|qatz[il^vJJW\rIuNZCmWukJXLjIuVYsleuljX|jiufYwlgu{jSliYvZYglvu{JT\iyvnZslUueJ[LhivFY[lqufj[|iIvVY_lsu}JPlnis^Z{lGu~jQ\oAsnYSm@vbjolwiz~]OnBv^JpLwq{B]Qn@vdJmLvi{r]Ymxv]JrlvY{~\snJvYJilsqzJ\MmrvSJl\tYz^\QmuvgJjLyIyv]cmmvWJt\uI|N\]nSvsJtl|I|^^SnWvtju\zY}v^WnYvmJwlzi}N]{ncvnjx\{y}F^Kn__?j|D|s?H^inn_@j|d}E~C?Cnvvx_?t~M~G?Anw