CAT(3072,11)
Sparse6:
:~?o?_?O?G?C@g?b?Q_IOCwAs@U@Q?b?QoH?C{AW@P?q?UOJgDkA}@b?o_XoLGEcBI@f?q_YoLWE{B]@l?u_d?MGFKBi@x?|_\oOWF{CAAF@A_^OIWDSAmBI@U_kOTgI{DaAn@K_foRWHsCmAT@R_gOTGIkDEAd@E_boQGHKCUAH?f_ROIGCcAM@JAT@Ao`gPCG]CFAC_}o_GOSFyCB@~_koUgJ[DuA|@[_~_WGK_GEA}A?_p__gKOFuB{@`_zo]GNSFeBx@z_wo[gM[FQBl@t`@_[GLgGQB]AE`C?YwOgEqB[AF`A?XWOWEiCK@f`C?YWKoG]CI@g`g_GGCSAE@X?k_VOJgDkAu@^?p_VoKGEKBA@v?{_[oMGFkBi@|?~__OOWG[CIBH@b_noWGKSEEFoBq`xo|g]kN]FhBv`yO{w]kNIFlBq`xo|G]kNYFnBe`royG\KMmFTBd`oOwW[SMQFFBa`qoww[CMEFHB[`lougZkL}E|BW`kotwYcLUElBT`iOtwZKLaElBM`gOrGXkKmE^BK`gOqwXkKyE^BF@uOpO\kKcF^BE@wO{OXCKgF\Be@POxoSKM_DFAc@sohO\[IWFTBD@^op_WCK[EBBG@`Oq_WcKcEFAx`\OnWV[JyDxAo`UokWTsJID^BZ@Lov?RcLsCzB]@NOvoSCH{EtAY`IodgRKHaCnAP@vo{OQSHKFXAS@vOc?]CG{FZBP@Eos_PSGwEfBQ@CosoPcLCCVAf@Xoi?UcIcDjAj@[Oj?U{IgDlE\?LOFwBc@u?|?Z_LOEwBc@y?~?\_JoDwBK@a?p?X`dorgXcLAEZBN_doRGHSCuA^@M_iOSGIKDUAd@R_bOPwHKCaAH@D`QOhWSKIYDFAa`LofgRcH}D@A\`KOeWQkHYCtAV`CoagP[GyCZAK`GocgQcHACfANcFa?X?C^uODF~b~P{O}{^GNpFzBxp~?}s^gNjFxByPuOy[\gMjFZBiPv?ys\_M|F\BjpqO}{^cMXFFB{P}_xC^oMTFzBdpnwvcZuL|F?b\pvov{]?M@EzBpPx?vcZsNBFbB^Pm?{{]WLjExBtPy?us]SLtEvBspmO}CZ_NXFjBYpl_|kZ[N\FnB\Pzou[ZCNVEnBuPl?|k^?LdFmBWPx_rS]SKxFfBMPeo|CXgNTEZBspe?}kX[NbFqBIpd_}[XcNhFuBIPcO~{^wKdG?BHp~Oq[XGODEPC?pbO~{WwN|EKC?pbp?SWkNzEOC?PrOpC\CKTFMBCPropK\GKTFOBCpr_okWGM^FLB@ps?oc\GKNFPBBPoon{[WJxFAA}p_OwKW?MJFCA~Pyot[YoNZFmBUpj_}CYgNXFnBSpggrkYEK~E_bNPhGs[YULLEgbRpgo{kYSNNEcBrPh_|S]cLPFgBRp_?nCWCJnDxA}P]_nkVWJ~DzA~PdOt[XWLXEWBVPdotkYcKhEXBTPpo_c[_GJFHABP@oxSOcMXCGBdp?OwK[GF|FBA@Pp?_[N{MLFDA?P[?rsVCK~E`Axp[_sCVSLDE\AyPYglkUqJ^DmatpVouSY{I|D_BWpWoucUCL`DaBXpvoiS]?IfDUBopT?{S]OInFbAipOOys\_IHDABjpO?ykSSMhDBBhpuOfS\gHvFZA]Pv?fkR{M|C}BmpLO}KRWNdCvBxpL?}cRcNlCwBypbOeCWwH^EJAVPc?eSRKKXENAWpIgd[QaHRClaUP]?bcPwJlC\A{pFonSQCJvDvAOPEGbSP]GlCXaLp`OaCWGGbCTB@pC_o{PKKHCSBBP}O`c^gGTFzAFP~?`kO{NnCJB{O~?jCTcFvB|AlO}OjcN_IvByAmpR?ksSsJNDcAfpS?lCTCJRDMAqpGogsQ[IPCdAbpQOcsSkHDDIAQRAo@[?m?Z?K_EoBGAC@A?\?M_FoBxcW?e?P?I_GoDWAS@M?l?Sa}P^Wn{VyKBE?bDPaGpKXEKfEQbMPegr[AE@@?`_POGGCSDeAv@Y_mOVgJkF]Br@y_}O]wNCEmBX@l_vO[GL{FEBd@s_yo\gM[EYBJ@g_soYgK{UAI~D`apPWwjsTUInDQahpTgicQIHHCdaRpHgc[QeHTCjaSPJWdcPuH@C]aOpFwbcPUGbCSaHPCGa[PYGrCZaKPDwbSOqGTCLaDpBw`sxS[TMJfCrbHpswu[JMBfBR`xpCwQ[BL}f@R^XoCv}ZnLwe{r]hncvmZbLqeyR\XmsvMZPLherrXhlSuUY~LbeqRWHkSuEYjLReiRTxjCtYYOL_eeBWxgwt}YQL`eqBQhhWuIYML@e`bQHg_seYILKebBQxhOsIXrKxe[RMhfCriXcLLefBKxhwrQY_KrehBKhiGrQZOK\ePBYhlGpyZIK`erBFxkwqAWsLTeKBTxb_tMWmLUeLbUHbGtQWyLLefBFhhwp}Y_K_ePBSXiOqEYKKTeabChaGsEYEKUeaBCxa_sIWMKkeUbAhdwoaX_KDeVB@heGoeXaKJeEBJHdgoyX[KOeVbBx`grAW[KPeFbDX`_pYWeKJeGBDH`gpIOOJ~e@A?x?ooAOIKCcAB?x_G_]XuJsdzbOHf_nUVkK|d{BNxfonMVNJgdtQyx\cmeVLJadoqxX[cmMUdJOdgqrxYclMUFJCdaqphXCk]Z_JAetanXl_jyT}Lld_BZhlwkETnIwd\QmXVcjmZwIndTb\xT_veT[Lwe|AkHnWiuS~I_dPqghSciESwMMdNBahRGwm[YI\fEAexpGhiSeKedIBHxQgqaSkKhdKBIxQwqiV}IFdCB?H_GgeWCIIeAAbH_WgmZyI@e~A_hnwgMSIMAf?A`hO_wERoLuewa]hMgvIRkLreyA]XMwvUYqHncxBVHjOfAY{HpcyBVXMWtmRQLjewAZhLWuqRWLlctBZhlweuR?KfcmbIHJoqeXKHacnbIxKGqiROK}cqBOHKwr}XwHde\aWxfgeY[OHOfBARhHWwM[IHNfBaRHHgwQQRHDcbQPxHScaWoGreJaLHbObUWuGueMAMHbGb]PrGyc]QMxFsbuPcL\enAJXEGtiYqGnelaJhE?tqPQKucTbLxD?rUPMKtcUBLxDOrYXEG`ePaHHCoqUXGGbcQbHXc_aIOuKDcMb@xBooYO}KGcOBAhB_oeO^GOcHQCXAc`MUyIrdlakXZ_jITgJ]doAlhUgl}VYILdvAbh\wg}VcIPdwach]?hAR{GJc~aBHNg_eS?GIcFA^H@gfmQaJxchA}xI_nyQeJycia~HIonuUiHVdjAUHYwdeUoHYdkaUxJ_liP}Idc_ahhTGcQQEIfdTAOHGOiaOqJHddADhXW`]UWGWcLArhXg`UfI?C_AO@G?k?]?L?D_Ao@g?{?]?LJ~e?r?H_SoQWF?b_QOHwCkAa@L@C_coPWGsC]APAr`YOlWUsJaDnAl`VOjwUCJIDbAI`DobGPkGyCRGGc@q@H?{_UOLGHcDQAx@c_yOZJ[dmquxZ{lyV@JNdhQsHYKlQUfIddSQhhS{iiTRHtczQ\xNCfiRrHzc}q^xOCfyRxGhcRqIHDSaqPVTJIGdOiaPSMi?SNi_dCIfxPQgeTCh}dDYapOEf{SVh~dEI_@PigCSXhtdJY\`QyfYSnhvDKI]@REhcRnhpdPy[@SYe}TDidCwYh@MQiQRagCdHi@PQIhAOGgEDGy@XQUhGOFhjD@Y`@LQgKRWiBctyYhOQeeSBhhDJIY@QmhMRLiSCriYHQie]Shh[dDIUhO}geQvhZDCIaHJigcQwhVdMYU@RidaSzhXDNIfpJQhyQrhmCfyZpIEesQ_hPCuYZhHueuQ]i[CdIepHYheQPiYCciexHUhiQRiac_IOHS]iSP~h@DQIO`SYcETHg{c|yNPNabuRyh}C^INpNefuP|iJC[yaxFQbiSYiKc\iN@PUbmSWgudMYLpRqb]Syi]c[IfpFIbaSzgpsXiKLEIbJPcidCUYh@DiiIPTgjDPiIxSeaoTFhncQYHhMAaURahocQiHpMQaWRbiXcOye`CQhiPDiZCPif@CahmPFg]cuYZpB}aAR\hlcNiGPLqa?RYgWSJiDlAm`^OkgRczyChMqf_OhhtcIIDPMu`KRmiBcBy_X@I__SCiBCCY`@?u_[SDhsB}I\?~]^kRihtB}Y\G~i^iRhfvc|x}@Na^aRxfxC}h}`Nq^eRzfsdFX|PPmgwNjiNBzh|`QAg}NliCbwy`O}U^OSMiDbxx{`OugWNefoC|h{HNQfaN^hxbwhzpNI]yRtfjdEyb_|agyNXiNBuic?|qg}NZfjDIyd?|EhMNSfhdJHyPQe]iSiffdKIeO|A]WSlfedJxxXQy][Sphwbny]O{AfeN@hyBoi]o{QfiNBh}bmY^wzig?Mzf]d?XvpOI\wR}hqblY[gzQfKMuhrbmHuXM]fKMvfRdGht@QE\SSbfSdHHt`QY\USdiCbgXspOqgSMbiDbhY`oyQ\CSLfJDOyfwx]i?MWi_beXqhSQiCMYhSCoIShJmdMQ~hPcnYS`JydKQ{hScdyR@IicsQkhKcjYR`Imd[QZg[cKyExBE`oOqg\CLIEhBq`kOzgOcrIBxK]`?RGgPCqYC`Ki`ERJgLcTIIH@ua]OXgMCSyIP@ya_OYg?cay?PGqc[OBhEc@IQ@?Yc]ODf|cCyAg~q_oN|f~CDi?@@]_gN~hBbphwxGe]SQEhAbpXx@Gi]QQGgrbjYL?yybQMngtBkIL_zI\aPjfMCUxrXDq[}P\fOCVxrhEA[{P]fGCpIWoxQ[cR@fFcoxqHKIeIMRk|?BW@[?qs?RXhlSuyZdLyez?G_CoAg@C?e?T?P_IoCwAc@Y?dDxa|P\gm{VmJpEAb@p`Go{WYKJEObDpbGpkWyK^ESbJpdWqsXaKr@\_loVgJKDqAtBw`{o}g^[NuFxB}a?o~w_[OIG@DPagPRGhkS}I\CnaXpJgeSRAHbCsa[pLge{RUHpQhhTSiyTdIydZQJhESbiPlG}c`P~h?S_YOTGQcFO|g^SNyGDCIaBOpgXSKyEdBY`jOdgRSHyDDAi`ROagOsFyC\AQ`@OYgKsEyBd@y_zOSgHsDYA|@a_lNPfhRsxyc|U]lN?f`rpHwSz}]BM|f]RmXvszm\tMrfYRmHukzY\nMpfVrjXtszI\`MkfRriHtSye\VM`fQRghssyU\FMZfMRfXrsyA[~MTfJRdxrSxe[pMRfIRcXp{xI[`MNfGRcXqSxM[h\gMpvWjk|uUzL\cmbFQjhhs]yK\JmbfRJhxs]y[\EmrfVZkhtqzK\^mqFVjkHuIzE\_m_FWjkXsEyC\cm`fXZghu]yG\emYFTjeht]yo[umkfMZf@tmxm\YmVFIJeHqmxY[rmUFJzePqex_[imHVCJa\pQwj[PmDfSZ`htIw[\OmFfSz``tUyg[ImAFFJ_hpuwK[]mCFFzcHoewM[_mle~ZjHneyoZwl|FTjjPnmvw\VlzFUzjHnMyoZslzfUj]Pt]vi\UmPEyJcXmYvS[cmQeyZ\XqYxMZfliFSzYhtQuk\PlkfSjYxtUy_ZWlxEqJXHnQuUZvlyeqjXhnMvkZKlbfDZWppQuG[PlafCjWPpMuE[Ol^evjZxkAusY{llenZVplquAZ\lZFVJUxtuto\]l[fVzVXuEts\_lVfTZi@iuyaYmlTFSjTXtMtW\SlNFMjSHrqs}[zlOFNZSXr}tC[}lPEnZVphyt}Y^l_EgJWHiMtAY{lMejZTPhatUYXlUEejTxhqt[YZmJEdJaxhUwoYUmKedzQXpmsc[YlHEljQXjasgYxlZedzQhjmskYylEE}z^@guvqYMl|Ebz^`hEvyYOl`E`jOxkMsUZClCepzPPkYsOZDk}fIJdhf}ry[hk~fIjNpqmxWX}k}FEJapfiwmXzmKe]jbXfmrw[YkyEwjMhmUv?Xwloe\z[XfYvGXxkwerjXxeyu_XnkxesZMPlMucXoktekJLXjErWYqlXeZZUheutgXkkyEhJMhiUtQXwkzEhjNHi]tOXvl?EZjOHfAreYDkxE_jMHgMsGXnipfOIk`sEyCTdm`dXjghUayGTfluEXZKpmurMZmksEzzLPnErQZomeeWZJxsir?\JmfEWzhxeQrC\KkheeJI`heqiYYkjEezRhdaqmY[lfEOZXxcIqKZRlgEOzGhlEucXCk\e_JF`gEpyYAk^E_zG@gUp}YCm^ELzFPr}xsWtm\eLjfhbaxwWxmCeJj_`aewIWimBEIzD`oawMWlleeEJAxkaoqZIkLEqzXH`qouZKj{ezI~PmunyZpj|ezj\x^ynwZojzfGI}pp}no[\jyfFjb`^QxAVrjufLI|prUn_[um[D{Y|xrexmVqm@Dyi{xnynUZ~m?dzJ_X]aw?VhjpFBI{`oywUVejpfBz`h]UnA[IlodtiyxmQv?VXjkExYzPmIvEVTmVDrzdx\Ax_VPmWdsjeP\MxeVSjeeuzZP[euwVIlmdqzZx[ymWZ]j`e~ywpnyw?VFm?dpJ_X[awCVDj]exivpm]l}Zgj`EyYwHmmvSV?jZfQiv@smlq\KmedmjhpZmy]U{jTetIt`lUlYZUjVEtzZ@ZAl]ZXmcDfys@selA\HjPFQYs`salE\GjEehIppiUtOUOlSdcYqPiYk]Yfmmd`zjxWay{UHjDFWIp`tqkU\`lYd`YoHjAkCYpj@ekjUXWYtgUCijebIjPhAiuYPlFDVIj@guiqYNmPDSZchTIie[biiFHIipq]ii[eide`jOxSqsOTLlCdRjPXTAsSTNkFeVj@XdeoWXYkleBZA@duo[X[kAd~z?p_AoMW@kCE?j?`_eoEWIjWeGzC`ZIpIUrkRDlIupaapMUtjQeRYsxcylOXNkgDiZIHYiqcUejMEDjAHXeocUYkHdezAhXyogU\jIeGZBhXMo{USjJEFyr@aIkmW_iyd]ympVqjsT}izd^Yo@Vej}TwkbdZzH@VAqQTpkdD[im`cqqUTriseJylPbAjUWqiuELJEHUyjYWrjldVYjp\qi}V\ioDvikP]AjAV^kvu[zMDeyrbXqkuUYzLlfQrjXwkzU\zNLfur~X}eAr@h_{oaWTKHeKrDxbCpmWxKYeMrGXcSpyW~K_`bOqGWkK]ETBH`FocGQSHEChARcAqAH?[_QOLGFcDqBH@k_iORGMcGQCx@{`EOhGQjaTpYwt[amNVBjRthitDYilJUhq`hKKeISVHedCqYHOkgyRVHcdEqLHM{aiRjHkcUqZhD{fIPfHocWqEGzk\yPFF_cMpwhB[aANNFccNqdGyKhYMrIObhqeGz[hiMnIQbiplhS[ZITJI[bUqfgt{ZQTBIebWpbhT{iaKZEOdWpchU[WaTZEIdTq_giKfaIZH{aiq^gh{fiInI?ahqLge{biHjGya^qLgfKbaHvGwa]pJhP{gQHRIEaTqaGdkRISVCodEp@HN[faGNIAaFq^G`KfyGVI?aEowHBKMYO~BacLoxHBkaIFRG_`tqNGXKbyEVH?`eqOgX{cYEfHC`goeHH[cqCvA[ccqRgR{dIDFHO`OoVHD[DyPZ@_cXoWhEkbABNGm_qqiGGkiqARIi_bqjgH[jIAZIo_foDHJKdQ?v?[cnoFhJk@aQv?UcjoAHRk@ITN?IdNoBHSKiQ?^?OdPqRF}j~iQa~occn{hH[dH~nHM^{nwHMj|aRY~acznuhLz|qRa~]cxnrhK[eP}ZHg^jnsHLZ|IRBHe^inkhJzzAQvHU^VnjHJjyaQq}iciqHFokaP{NGe^CqHfpZwqPQ}McSnHHFjqYP}{gc_nIhGZqyQM{kcaqcF_KhHwFIS]Aqdf_zoiSu{GdKp~gtK^QLBFwbRphG~k^iLVFubPp[GnkVIJ~Dsb?p\go[ViKJEEa{o}GqkNiKnB{bKp?gr{OAKvE[`~mvGYkLXu~BW\oouf[zmQE}za`mpQGVKJAIBAqa`pPGUkSiDvDE`ZoYG|KFANf@ibtoZG|kFIN^@mbwpEGFKPA@v?{aHoNgakPiAF@?aJopg?{KI?A~{`]opG?k?ID~B?^~nzglz}QJI~earnyGlJ}iJY~katnoGjKTh}FD[^apVfw{U@}VDa^cnmGP[G@|i}}`BnnGPJziCFAC^ZnhgQJyQCfAK^MnggP{HX|BAS^NncGMjxIBm}S_{ndgN[Fx{u}W_}n]H?JviOE|{cAn^h?{_h{E}?cCprfmjuqMI|mbbpqFmK[pze|ubdoUFlZuAAb@Q]qoTFkzuaAu|a_joJFikAxyn?o]koKfj[BXy~?s]mpFFhJsqG}|IaOnRgcZtIHM|OaQpmFfkZhx~E}]bpnFgJsQME|Ab_ohFb[IXwy{]`SoifbJqID]{_`UnBGCJoy@J?g]JoIfaJpI@F?e]IozF]kMxvnBo\{o{f^[NXv~Bs\}nLF\jmhxazm]Xm{fezrhvQ{w\wqBFYK_xufGU\kqDFYk`@uvGQ\jhoSwi[LMMfHR^_noWGKKEIBH@baAPAW_kO]GPCEnEVcJplwy{^]PmuVYJlluizR\jtGidlQYgrSiiMtIIb|QQgvSmiOs~iO|NYcBRwg~s^I]lNqcFRyhAtBIL\EQgnSQgvtCIK|PQbZSMgssRIbLCygvPOiMsSib|QIanPSiOs@I]lNi_^RugBsAI^|?ifzRwgErji`LOA\JSAfRt@HtKyqgVSEfTt?HlKuigFLkiAr[i`[vAgNLmiCtHHjlQaZBSientJhk\QYZNSkeqq~I`knyg^K?iGr?ia[oYgnKCiIsgIZlMIdJQahnswIS|MQdVRehSssIQlLIcnRShKstiR\HyevRWhMsIIWlAieNOkhcsqiD|BIe^OohesoIAlJa_bQygHsnIA|@ieFQ}gKreHvkxi\~M[f_rohr{{Y\FNCfOrbITkxYdjMShXslhp|Iy[fMOhWr`i][wAfRMAhtr`I\kwif^MGhwsLHmlByZvOuezsNHnlBaZ~Oye{rkHgkzIYNMsecrlhh[ziY^MweerMIJKriavP[e]rNiJ{sIbFL?gorJHykqy]nNWeWruhe[|yXnN[eYrIIC|@qXBOaePrIiCl@yXNO_eQrEhiKtiWzLWeKrTHb{tYWnKSehr|haKoa^ZNseFrzh`[pI^bNqeEsQh^[nAaBJqg`q|IGlCYVrPGdzs]H\{mQbbJggyqxiM\FYVZJig|saHZLGiUvQKdmsbhZ|HIVFQOdorqHXk{iU^JOfhqshxklY]bJSffqoH{KkQ^FJEfqqqH{{ki^VJAfsr}HUkjy_FNydZqmi?Kjq^~N{d[_JoEWBEpXYLkVUbZEDg}plYPkYUcZETg}kxWxjNUMysDbulDW~jRUOzGDYUrPWhkOUYzLdaMr\WdkTU[zMDa]qHVpkbT{zHD^UqTVvkfT}zHd^empVdjlTxy|D\unTV^jvTwy|d]Em@XtjcU]YwtfmmDXvjdU^ywdfulPV|kATkz?DY}lTWFj~TkZ?TYuk`UDjHT`yrTWukhUHjJTbyrDWmqxTxi|UVyndeEj|Xbj@UXyoDeUjXUtivTlymDZejdUzj^T\yvdVUq`T`khTWykddUqlTfklTYzJDUeohTTkJTTzBDTeotTZkNTVzBdTuiPVLidTryhd\Ei\VRihTtyiD\UiLWLi]UAYft_mi@WNiaUCygT`Eh`Y@l@TKzOdRUsLSvi\UayfDgc?y?`?NvQJV\jYyNYwmbvQJVlsiuB\Il^vAjf\oqxz[Mm^vCJgLpQyJ[Qm`u}Ja|pqvfZumLvGJ^lnQwr[]l|u{J`LoAv^ZemAuzJ_\oYvRZ}ltuujc\lqxJZ]mRuwJdLmQxZZamTurjd|lAxb[qlhvLJYlrYur[wljuijW\kQtZYmlbukJXLjQuZYqldufjQ\iAsjYalJufJSlhitRYWlRvhjjlyayv\]nPvWJslyAyr\anTv[JpLwizf\snEv]Jq\wyzv\unGvXJnluYz~\gn?vYjo\uy{N\knAvTJr|tI{z\MnJvRJqltY{v\OnKvjJwlyy}N]oncvkjx\zY}^^KnYvmJyLzi}f]{nivnjy|{I}v^?nk_?j|D|s?H^inn_@j|d}E~C?Anvvx_?t~M~G?Cnw