CAT(3072,4)
Sparse6:
:~?o?_?O?G?C?s?T?J_EO@G?c?U?J?D_AO@w?{?a?R?H_CO@w@K?a?L?E_BOI?C{A]@N?p?U_JgDWBA@W?n_a_OWGCCEAB@?__ONWF{ByAq@Q_goSgIKDEAd@p?jOTGI{DMAj@W_lOVgJ[DeAx@\`F__wOcG]CJAG`BO_GOKFuCD@}_~oa?OSGKB~AF@?o`_OCGOBzAD?~OZWLsE}B`@j_uO]_OkGKBxAC?zo]OOsF_CP@z@Bo[gMcFYBf@t_woXoKKEGBP@i?oOXOJ{EOBL@b?sopOH{DAA`@M_fORwL[EyB^@k_wOZWWSKMD~B?`aOoWXKKUETBG`bopgVoKID{A~`]?pGV_KADyB@`]_owUcJ]DlAw`XolWVOIuDuAm`V_mwVOJADcAx`W_mWWoIMDKBG`b_gWS_KUESAa`Q_qWR[HqCzA_`NofgXWHYEYAV`f?eGRGLACsBK`I_rwPwKmC_BK`H?rgQGKuE_AS`H_rwSwGeC[Ag`D?jGTWGuDQAJ`T?bGHkCmAZ@K_doRGGsCiAJ@F_coQGG[CQAD@R_iOTgI{DUApAl`VOjwUCJIDbDSATpJWdSQaHXChaVPJwd{QyH^CmaOpFGbkP}G|C_aMPGGbsPuHBC^aLpEwbKPiGtCXaFPBwaCPEGdCLaP@BWaGQ]HECOaH@HG`wQUG[CeaH_ww\?PYGiBc`r@DG[wPaGmBdaS`BG_wQaGOCiaC`Iw`WQuGSCka?p?g_[OQGJCEaH_}w^_PQFyCT`~@Dg_?PaF}CV`y`Gg]wQMFoCc`z@HW^OQ]FqCeaS_zwdONAFaCj`x@JWd?NQFeCk`kOugY{LmExBX`iOswYkLYEbBQ`o_zW\GMIE{Bm`n_zG[?MmEyBibb?NGFKB]@t?w_\oLwFSBa@r?z_]OMGFKB]@v?y_]OLGEsBQ@l?t_YoLGEsBU@b?r_XO^gN{GABzAA`?oYgK{EYBJ@h_sOugZCLmErB[`jotGYKLUEfBU`hQ?_}_]uNcFkbv@|W}G]iN]Frbw@ywyK\AMXFLbfPrwyS\MMhFTbjptg{C\}M|F_bnPvwz[\aMtF[bmpuWw[[UMHF@b_PogwS[MMBFCbapoGv[ZiLzE}b^pnGuw]aLqFhbq@lG{gZULoFfbr@lgv_\QMcE~b^@tWvW\MLyFVb\@tgeKRQH`CraXPLWhw]qI_Fiag`zW|WTMN]DMbv@Sg{_SmNKDLbq`RGhG]]NQDGad@yGgg[mMKDBa`@pwxOS]MQDEaa@qGuwYyLoEnb[`kGuGZQLeEubX@lWtG]ELUFabT@wW{WYuLWFbbS@wgsg\uMqEcbk@hwsO\iLEFZbm@hgrkXqK|E^bOpgGqo[YKmFFbK@qGrG[eKuFJbL@qgqCXIKbERbIPdWxgWiKUFObE@rGpw\EKYFNbf@bg}oVyNmD~b?@}G~GWENuEBb|@_g}?VaJsFtbw`]W}OVmNgD|bx`^Gl{UyJ`Dkaup[WlW^]JOFwb|@Xg~GUeJSFzar`|gjKTUInDWaiPTgg?WaIAEHa^@`GogRqH}EEbB`NWfGVIJiCzaZ@[wfOVQJkCvaz`MGkGTiJCDZao@VgjwUMJID[aq@VXV_Aa@R?i_SoIGDSCIAH@A_`oPGG[J}E@B@``OpGW[DiAr@Z_mOVWJsGiCVAK`CobgPkRqIBD?a^PNwfkWiKVELbEPbwpsVYJdDvaxp\GmkTqIvDYanpVgjkn_VVJfdtQxh\KmaUvJYdmQvXZ{lyULJAdbqoxWckUV?JFdoaoh[WkYUGJddqApX[OkMTpIudZqmxVSjeV?I{doanX[OjyUAJbd^axXW?mQT}JSdiaoHYojyUmI{dkanXWGlaUSH?deAOXFokaP}JHdeaOhXWcMS|I^dPQgxSKiATiIWdMAkxROjMTgIZdYaeXU_huSlIQdIqdxQ[hQSYJQdfabhXog}U_IOdGasxP_lESLIFdDqaHPKgiRzHzc~Q^HNSf}VMHpdrAZhMWmaR]Jhdta[HMOmiROJkduaYhLGm}RYJpcta{H\oeqQRHFcbQPHGkcaUiGxc[AtHYobiPuJVc]auXF_laPmJ\cYAuhEOlmPkJ[cXavxEglyTqGncWAmhV?aqTmGmd\aJXEGjYV[GIcCAzx\__eVYGJdwaBH]?_uO_JPdfABh@wk}OaJOcHasxAOlIOgJGcIaqXXO`YUYGWdeAEXXW`]ODGBcBQ@H?k_]N{Iqb~akG~_jANyIqc?akX??jES?Had?aWxOOeQSEHdcra`XO_eYQwIicmaixJoiqQ}IndUaWXK?iyQUIedSaRhHOiQQWIdcfahxHgiaPKHUcTaUhD?d]PQHWcRaUxDOdeQeGbcgaGHIgaIPIHScQASHIOaEOuHsczAFxB_f]RiG]cMa]XBOfa\o?b_PoGgC[AI@DNU?QOHWCcAU@J?c_ROHgCs}kTdIodWqlHUkjMTlIvd[QmXVSjm@~?|_]oNgF{ByBB@a_poVwKCEQBJ@e_roYGLSEeB^@o_toZWLsEqBl@p_xO\GM[FUFNBc`sOww[sMUQBG~c^QOHG[cISXILdGQcXPsg}RjHuczq]HNKfQRZHhcuQYHLSemPDGbcOQHHCkaEPNGgcSqHhD[aiPZGkcVQJxECbEOPGJcDQBX@c_eO\GNcGQCXA[`IOtGZcMQFXB{`yOnGWcKqDHAs`UO@F}b}Q?W~k^}NxF|b~Q?H?K^}cMQAGfSQqOdGKa^QDGgSRAOLCscLPbGasXAGtE_aTPdGbsXaHDE[aRPBH?SOAN\CCbxP|G^sPAN|CGb|OvGzSLaMlBSbnPxGXsMANTF_`hPZGWsJaJdD[``PXGXSUADlDg`^O{GXSKAFtAs`rOpG]sJaF\A{`tPVGLsUABd@{avPXGNSVABlA?atPCGLsFAF|C?_zP@GNSGAGT@{aFQCGKs`QBT@_cLQAGIs_qAt@[cBPJGFsRAAD@Oa`PMGHsRqATCs_bOHGasBAGt?saNOMGdSAaHD?kaRO@GEsAp~l?c_DN}GDR~q@t??_XNmGFrzaAC}{_dOSFwR{AA[}{_bNjGwsZp|k}ob`NjGxRzQMc}obfPhFrRyALS}[bVPkFssZP|TEw^JN`GmsWP{[}?a|NaGnsW`{c|{b@PbFmSX@zc|sbJN\GrRvaLC|wbNNUGgsS`zS|[ajNXGiST`z[|_afNSG^SMpyDBg]bNTG[rsaFc|K`zOvFesM@xs{g`hNNGXsLPx\BW]XOkFaRpQDC{[`NNEGSsI`xK{_`VM}GQsH@wTAC\~OaF`roQCs{?`FM}F}r~`wL?C]DN~F`roA?T??\~NJFwrq`}S~K]XNuFfR|Px{~O]ZMyFbRq@v[zo]RMwFaRppvkzc]JKaFgRGpyK|GXHNREQrtPc{|OXLMeGvrhqMCy_bbMhGxRiqMcygbfQCFQRgAOLGS\FQEFPS_`slGK\BPPFLST`rsxkadM[GhrfqIkxsahP\FFsV`psxKa~MPGoRcAKLEG[dMGG}RaQNlFk[VMIH?S^`pkwob~L{GOr^QCSvw`HL~GRSGpoKw?`JLuGyr\qMtFcZrPvE{R]qNSvgbpNrEyr[@}KvC^dNsExR|`m[~SZhLnGsrYaLSukbVPkEuSZ`llEsZ\LdG|S\plLFcZPLeGzS]@k{uObjOXEpSD`jt@SY~OWEoSDpk\@gZBLTF|RS`}{tW^xNxEjrT@~[tK^pOBEeS@@hksw_JLNGBRSQ@Ct?_NM{EcrPpvCsW\tLGF\rQ`vKzsYVLBG}s]pgCsSb~P{E_s_@gSsOb|K|F{rN@~C~[X~K}F|RM`~crk^vNVEYru@es|kXnKxFkrt`ecr_]tKgGRrIQDCqg`ROiETrJQDdAkXXNiEMRyPbkpw^JK^Frry@cKq?^LN^EJRDp{Cp_^DKZForEP{cpg^FMrEHRl@acpC\lMtEHrk`aCz[WjKLGwRBAL{o{bdPrEDS\@`[owbbKCG@r@a?{oS_HKFGArAQ@Co__LPhD~sY`_CoCbVPkE@SZP_\EwV|MrD{rl@^SzSVvMuD}Rlp^kzGVpLXFIRdPjCtg[lLZFJrVPrKto[pKmF@RJpo[wSX`MFEXr``eSrC[HMkDxQ|@uCysVjMpDxq|ptsnW\^VM?JOEGBK@i?v?V_GODWAS@M?h?P_EoBg@k?}?^?M_GOCgAk@Q?b?R_LoDgBS@e?n?W_MoFGBc@y?|?\_OOGGB{@}@B?`j~Bkhu[zQ\jMvfZRoxvs{A]BM~f`RpxxC{e]HNDfbRrhxc{i]VNNferwX{[|}^@NcfpRxX{s}]^PNifsoIwD{Au@\?o_UOIwDcAu@`?n_VPmWucZULlEwbZpoGwK[IMFFDbaPmgv[ZqLzE}b^oPWHKC]AP@I_bOmWV[JiAf@S_ioTgI{DaCZAI`DoaWPcGyDBAd`POgwSsIQCjAV`JOeGRSHeH`CpaXPLGekRMHlCxa\pMGe{RiHlCva[PMgf[ReH|C{a^pOGgKRuIDDBaaPPWg{SYIHDDa`pPgg{SIIPDHadPRWhcSmIPDLadPQwhcSeI\DRafpSGiKTII\DRahPRwiCTELPEibTpjWtcYeLDEbbQphGs{YYJ^DkaupZgmKVAJPDeaspXwl[UiIhDTajPTwjKTa[NMAf@r`HokwYYxLYemrUHj[teYVLEebrQHhKsiY@LCe`rPXgKsIXhKxeYrMHesr]XXKgeSrJXdSqmWbKQeIrCHa[pQWLKFeArAX_coaWDJ}d~r?X_CoMVpJxd|q~X^SnqVdJtdxq|H]{nYVhJqdyq{x]{nYxE[\Lxu|bcTp{vhZtMOU{RbtqCvd[BLsuyb_\oOvN[BLsV@B[loOvLZdL}uxb^tm[v~ZiM?V?b\DoCvR[[LmvEbZ\p[ur[XLlVErZdp_u|Z^LeuwBX|mCudZaLgUrb[dmKubYnLcUkBW|kctbZILXUlBXdjKuVYhLzuib^DikvrYlL}UjB^TiwvvYbMIvDbSti_wl[ULRuhBaliSwjY\Ltufb\dh{v\YaLvugB]DmstB[[LLVEBR\p[sn[XLKVEbRdpksrZuLIUdR]\hKvdZpLGudb]dhGvjZTLEutbPdlOs\ZVLFuuBQDgkuf[NL?vCBOTf{wb[QLAU_Ba\gKwh[LKyVBbNDosrnXrMEvBbMlowrl[JKxUZb`Docr`XlMBu[R`de{wTXfMMuYBb|ecx@[`KtVGbL\eow|Z@KouobKTkKrFZCKqUXbWtkSrJXTKuuTrLtd_r^XYKwU[bJLfCqlZ_KhUSB[LmOq^XPLpuwbIdl{qfXxKfuSBNTdCrvX}Khu^BITfsqhWyMAuNR_tbkwJW{MBUNb_lb{wLWyLAuMrOtg[pxYGK]uabF|gcp|WnLuUKB\\bCvZZnKVUKb]DbKv\WgLAuabDdg_pZWhLBUaRDTg[pVW[LeuFRXt`wu^W^LgUGRYLa?udZWKJUErYt`[ufZSKKUEbY|`cujWQMBuCr`Lokoh[KKIuCR`D`?wTZvKDU~B@lncoVZyKEUBr^D_wvvYzKEuBrVd_wtzY}KEUoB@\j{oTWCLGucr?lhGoRYSKBUdb@DhSoNV{MIT}BaD^cw^VyMHT~RaL^kwfVuLnUuq}|^KutVtLmT{bZL^OuzVnL\unq}D]wtxZ?JwtzRVljwnXYtJrUla{|j[nRYwJtUma|\]_trY\JxUgA}|iCnlY]JyUga}lh{nfYVJoTwrRDhknBVaLMTxRRT]OsrVpLDtzbPlgwnXVoLETzrQD]ss^VYK{turNT\orvX{Jmu^az|fsm|XHJiuQayt\[qVXKJiTuRHl\_q\V_KVUJq{L]Gp`VbKWtxRE\]OpdVNKPTrbC\aOmbWdJgUHqy\aWmdVMKMTsBBl`wmdVNKNtsRCL\Kp@VgKKTxbAt`knVWXJtTyRA|`gnNV~JiTtq~t_?mjVWK?u?qzL\WoDS\LbtFbXDkcg~ZIIOUrAcTkkhB[VJTTirbdpklR[WJRtjBbLpglPU`MCtgb_|oolFUcMCVAqstYSwTUZKztgBMtf_k~XsJMu[qrdfSk|UTMNTdbblX[w~UWMOVGarTqCkrXFJFuPaqDcWkbXGJIUQAq\c[kdXHI}uQantV{qVUAKet_RHtW?qXTvJdt]ax\[sjpVLI{trAnd[ojvV}Iqt~qkt_?jNW@IsU?qlTUcoDTXKotUbKTTkrFT[KqtVbKteOizTSLWTTRULjKilTRLXTUBT|jOinTLLaUoaiDSwuJTNLbUoQiTkKibWOIbtQbAdS_obTHKHTRBA\SkojStKitLbItR[qnSwKkTMbJTRcqrYhIVuiaeDikhbSqLUTLBTtRKtZShK_TIbGLQkqDSkK`tJbGdcShZV[IQTIAzT\khFV]IQtHqz|\shLWsIJuLQbDbWgrWvILTFBFLb_gvX~IDu_A`dgCgZYAIFU`AaDgKg^WaIAt@bCdO[pFWdICuHq`TO_pLVxI?T}A_T^sgHVzI?t}a_\N{nxYbH{uiA^dNstLYcH|S~bSlNktNXZHxuVA]tdsfjX]H{UWA]|NOq~[NHuvCA\tpGf^RoMHs{badNCwbXZHiuVAZDLgqzX]HjUWAY|d{erRHK_SqbGTKkqFRKKaUPQXtcCeZWgHZuIQVDJcpTQyKTsnBDlJkpXQpKBSkb?|_SdhWCHXuAQUt__djQhL\ShRUlIWtlYwHTShrVLj[dPZ|HOsfr^tIOwDQaL~v?ASDIKwBQXKrsfRLdHkrTQYKsUYQRtHorVQFKYSaBElGcplQIKZsbBFLGkppTpJ^t[awD[CjfTsJ`T\awdVSmFT`J\TVqvLUOlxT_J\tWavtUKlzS|I_tOAgtSGhxTBI\tNqgdRwiJSPHotCa[TPKfFSSHqSxaatMSgjRZJasvQw|L{mTVEHoSvAxDLwmRRNJ@ssAodLCkJRQJBStApDLKkNUlH`spAttKSl^REJWSqAuTK[lbRfH]syAVtMcd~RiH_SzAWTMkeBQmJCsjqplWgd`UJHTtbaTdWodZTjHHtZAQdH_j`TlHJTZaQlU{cnQLJ[ScQu\Z[c`QMJYScaulZWc^?K_DOAg@[?q?VVLjdtrI~L^mnxV|j{T}gJ{EABB@a_qOWwM{FiBp@x_|o^G]sNUFrBv`{O}hRchaSrIZdLQf[fQQVHKczqZHHKcIR^HCcxq[HG{bYRrGwc|qNhOKbqR~H?d@qMhNkgyNnFwdBq`G|{gaNbFsdDp{hPk\YQvFWcmpuhJ{eINBHcbmpvhKKeiJvHia}qYGn{eYJnHga{qXgoKSqSZDGdApPhO{gyI^DOdCpQhP[hYE^BWdKqcgYKhAEfIY`iothQkDySv@YdKqcgJkhAAn@WdJqdGKKhxzfI_]yn\hSjvaSzIe]}n]hS[iXy^Ic]gnShRjtQS}|WdOnThSZsIRA|IcpnRHJ[ePyQ|CcnqVFgzgiRiyKcxmaHM{epsEyCcwm`hL{f`qNHy[cq^FHjciSFI?[gq^fH{aiONGMcUqJh@K_iPbGOcYqBHE[^iNRFkcApwg~k]QN~Fic?pxh?[ZIL~Esb_plgw[ZaMJFGb]pmgw{YQO~G_bLpfHC[XyPJEacSpgHC{QyOjCocHpKhA{RQOrCwcMpLhB[cyHFHOaQqSgc{daHRHUaUqTGd[RiGnC[a`pPGb{QAIBCYa]pEGf{GIFzBq_|o|GNkFyFnAC`{o_G^[[iBFFK_qprgK{EaMb@kbioYgy[UYA^D]_dpWGHkDQJRDa_goSgkkByGV@?aEoOg`{CQGb@GaIoPga[BIKF?sbAp`gE{Wa@r?{bEpagF[?ILN?CbSo@gt[?aLZ?IbVoBGuKEx~Z@o^vnygMZ~ABi~s_{n{gMz|Hqe~S[imUFyzdp}q~[[jmUfz[KH}NBC^copfxZ|AEY~M`doqFxkIx|~Ak^_oifvZzqDbAq^anogUjyyFM}o`snkg\[Mp|jBo^ZnmG\zyI?^?O^QoDFtZya?r?U^UoCfs{HX{zAW^OoefrzxYCfAS^LofFrKHx{U}K`OnbgSZxADI}Q`SndGSzuYK]|obJnYGqJuiKe|kbKnZgqkOXyvCC]qnWG_ZtqF}|aaCnVg_Jpy?u{__MnGgBzqQ@A{g_QnHgC[K@wq{Q`ZnDGVJpYDu{[`^nEgVj~XwM{G^{n}f`Z~pwZ??]Gn~f`znh}}z{^om~f{Z}`wA~c]@nxf_jrXv]{w\wm|FfZnXxyzw]_m{ff{AXvF?g\qoIf[{ApvZ?o\toJf\KLhunB[\lmvgZzlqFAz_`qowfZJkiCMzK`CmrgPZlACYzS`GmsgPzkXxizG]XnIfVzqpuA{m\amofeJiYIeygaimjGjJiiImyoampUfTzjHs]ys\GmmfQZjXsiy{\KmmFQzhhrmxw\QmfFNZi@ryy]\?mgfN{UhrVDk[umZgl{VPrixoaxp[FMZdxz}x_^?mWfoZe`{Mxc^AmXfpHyC|E]jNRfhRtGQ[G}C`AP`IOcgeSRUH`CsaXpKWkCUEJDDbaqpXLMagzSahusyib|MyhBSWhxtEi]LMAgNRei@sxI`LOQe~S?hmswi`\PaeJSYhbtFiXLQIe^RIiOsrIblCahVSkg_sQid|QaaJPEiQtHiG\Oy_nSUgItBIALPA_fOYiHtDIBLQi]nScfirvid{|ahNNYiUrvIdLPAZrSSe~tBhmlOqZnSUe|tChnktigNS?egt?hi[tQgJLUiDrUI`LFqb^PkhAsXiO|EQb~Pih?sYIO\IA`RQagTshIDlBIdRQigVsKIS|?Q`jOEgZsMI@|?a`vOIg^sBIFk{afzRwfhrri]lNY]bRyferqi^{zAebMqhhrlIYkzYenMyhlrmIZKxa[ZMYfFrdhsKxq[bMafIrfhq[wAaZMAgfr`IIKwYafMIgjraIIlGaZRLohFrYiP[uqcZLqhHrZiQKsiZJLCemrWhh{sqZNLGenrPhkKrabbPqe\rOiN\FQXzL?gzrNiNKqq\JKmfRrKHtKyqXnKsfTrjhe[qAarKaglsVHclDyXNKigprIIKKpQ_zKUgNrEICKpi`FK]gRrFICknqdZQseBq~iT{oAdbQue@r@IU[nQczJohIq{iQ{nYcrQ]d|q}IR[zqVJJmf^rpH\kmY]BJgfbroh\[la^rJYf|qvH~kly^~Jag@qwI?K}QU^JUftrwHXklA^FJSfrqsh|KkAWRJAeDqpH`kkYW^KQddqqHaLJaTjQydZsnHVKjid~I}h`qnIWK~AT^NqdXqiH|k}yTVNudWr|HTgHsDAA^jtUby|DhEsXVdlETxy|dhEn\YNkwUXzLteErXXdkmUYZMTeMq|XjjGUAYqT_mkhWLjJUByrT`MkpWPkfT~Y~tcuo@XDk@UPz?tcmoHXHjwU\Y}Tf]nhXxjzU]y~Tf}npX|jYUSYutdMlpXTkjTmyvtdmlxXXjMTrYrt[}l@VPjjThYst\MmhUbj_T`YwTW}mHUFjbTaYxTWmmPULkOT]YnTaMjxWdi~UHzDTWMk@WhkZT\zDdUup\TnkWT[ZEdVUpdTritTkYtDUElTTbiqTjYlDZMjLUnkITTZAtT]opTXkLTUzBtT}oxT\icU_ZOTSmsHTLifU`yiTgmi`YHi]TuYft\mi@V\i`Tvygt]MiHV`iYUNyeDbehdWzk]TLyfTcMhpX@A{`^On\liyR\IlpuvJh\lyyNZcmbvQJ[Loiwn[_mIvBJbLoywv[]mGvFJa\nqxZZumRu{jc\nQxJZwmTu}jdLsIv^ZomavMj[|sAvZ[{ltvNj\LkQwRZ}l`upj_LkawFZKmAv@jX\jYx^YwmWvKjV\rQtz[wl_vLjV|hytVY_lUujjS\jAtJYslSukjS|kysfZOlIudjZLhaufY[liuejY|vqyr\]n?v^jj\wIyz\anBvWJolva|V]_mwv]jtLyIzf\snRv\jslwqzV\cnCvcJlLwizN]Mmvvcjllsq{j\SnLvRjq|tI{z\UnNvSJrL|A}J^QnbvtJxL|Y}V^MnlvrJzLza|Z]ynVvnJuLzy|f]un`voJug?I~P^\?AVyjzw?Q~X^`np??j||}W?L^rnq?@j}N