CAT(3072,7)
Sparse6:
:~?o?_?O?G?C?[?G?D?BO@G?k?U?H?E_BOFOBC@e?n?e?O_HWCOAM@??c_V_JGDKAm@Z?m_TOKWESA}@h?r_WOOOEsBU@n?y_[oMGGGBqAC?|_`_OGG_BmAK?}_a_NwGwCaAW@J_c_QgHkC}A\@O_gOSWISDIAb@^?hoTGIkDYAp@V_koUwJSDuA|@[_qOWwKKD}B@@a_ToJWDcAe@\?i_yo[wMsFIBh@p_yO[WMSFMBl@t_soXWLCEYBT@f_uo[GL{EmB\@k`I_bwQ[HACbAQ`IO\wNcFeBt@w_|o^WOSFyB~A@`?OboPSH?CVAR@EOc_PkGwCbAH@IO`OQCGWCfAN@Boc_PCGKChAC@GomOC{Aa@L@}`@O^wOCFuCBBi@]OnwVkJyE@B@`_ooGVcJuD|A~`YOkwUkJYDpAv`XolGUkJaDnAu`\omWV[JeDtAy`MofwRsIACvA[`O_pGSOKQEIAb`Q?pGWgIYEIAd`WOjWT{IyDbAq`SOiwTSIeDXAf`I_ogWWHaCkBB`J_owROKICqBAaS_GWCCAM@D?c_QolwU[JUDpAs`ZOewR{HuC|A_`MPOOf[RyHzC{a_PNwe{RiHjCxa[PLgfSRUHlCva[pMGeKRIH`CnaXpLGeCRMHhCnaWpKgdsQeHTCjaUPJWcsQYHPCgaRpHwXCKYETBF`coqwYCKuEbBM`eOrwdGMQFQCkaU_xW[oQyFOCi`r`Iwb{PiGvC[aMpFgaORmI?COaF@NWfoO}GeC{a^`CW`?RmGYC{a^@AwfwOqGSC|aC`OG^KNYFnBw`|O}w^kNyF~B{a?p?G\{MiFVBk`vOzW]kNIF`Br`yO{WcGMEH?B^aP?wg[?QQFECd`n@GwagLaGgBY`l`DgZ_P]GqBX`m`EGYoOIGMBT`h`?wY_OUEmCC`h@@g{?Am@Z?m_SoJGDSDeAt@]_mOVWJ[D}B@@`_pOXGK[FaBr@z_zo^GNSGeCTAJ`EObgPkGaCFAD`BO`GO{KuEbBO`eOrgX{L]EfBQ`jOtGYkLaEtBX`lovGZkLaErBZ`lOvWZcLyFBBb`oOwgZ{MaFJBe`soxw[cPQGpCXaIpDga{OeGXCGaDPBW`[OAFzB~`~P?W^cNAFbBt`xO{w]ccoPyHIcbAMhFWc]PwHGc^AQxHGb}POGmcWAIXEGaiPUGncXaJXEOaqOwGscNALXBwbaOyGxcZAGXC?b]OSGmcDaJxE?_qPaGLcFaKxEO_yOHGEcAqAX@C_]NgGUbyaDw}W`eNcGWcL`|xBO^YPCFkcP`zXCo^EN[GdbwAHw|waQO_FacH@wXAW]ANEGSbqaDW{_`EOGF_cC@wX?o]INEGHbqa@w{__UMzF\bnPvwz{\yMlFSbipswyK\IMnFWbkpugz[\qM[HCbfaOWxocAM]HBbgAPWy?cIQAFJc_@qXGW[qMSHDbeaOgx?cQMEGcbaAGxCg[UPMFEcR@pwwOaIMUGXcL@qXBW[qMOGUbeaDwxO`aOAFVbk`~wz?_AMuGBbl@~gz__INWF@b]@zW|oZuN]E~bw`ng}?[ALsFeb[`xwvO]aLuFjb\`yWvG]iJbDrayP\gmkVIJWFPav@sglg\YJUFRav`tWm?\QMEErb[@pGwgZUMMEub`@lGuw[YQOEncb@jhHGZALaHJcd@kgtgc]O_EfcG`iHAWYiOcEhcI`iwt_`QLAGtbPaMGsObYLIGxbRALws_bQNcE[bx`fW}_XyNiE_bN`|wrW^YKtEWbKpdWqsX]NyEPb|@cwqO^aNqESb|`bw~_XAN{EHb~`agpo_MKUG?bEa?Wp__IKGE|bA`nGooZyKEE~bB`oWp?[AKCGkb?aIhD?VuPYD}cT`^wo?aeJmGyc\`]HF_VqPyDxc^`]xFoViJJDhatPXglCU]I}G[aoaFWkO`yJ?G^aqAGWkWaAQ?D[c_`VXGOTyIsHBakaPWjWcQIoFhbr@Swi_]]IiFiaj@ywiw]aQODLcb`RhGoS}QSDOcd`ShHGTEIMFwb{`QGhG^iISFzae@~WhW^qIAGIa`AAwg__qO]DBabABWgg_yXwF?b^PoWvkZ}LxEyb\pmWxs[}M`FLbdPqWx[[aMXFVbkPvGz[\eMt?s_VoKgECBM@b?~_]OMwFsCA@z?{_^OMwGCB}@z@E__oOgG[CQAJ@R_iOTWIsDaAn@e_qoXwLSEeBPAb`QohgSKIQDDAT`LOeWQsH]CpDqaxp[WmcVYJjENbGPcWqSXQKfEYbKPdWqsXeKnDVakPTWisTMIhDJabpRGhCSeITDQagPRgh{TEIZMmFQRghskyY\NMbfKrdxrSxm[lMWfNB\Hr_vMZcM`fNb\Xs?v][yLuevrZhlkvEZXLoeoRXHkkuEZDLbegbVXhotiY]LZegBVHiWt}YcL]erbQHkosiZOLHesbQxlOsuZULKeabahgowmYMMKebBbXgww}YIMMe]BahfgwmX{MKe^bbXgGw}Y?MMeZrMHfKriXlKze\rMHfSreXnKufGAnhWOxQUEMTd^bchW?xEUAMReTB]HnOqmZuKkeUb^HdwvuX[LxeQBTXcgt]XKLSekbHxdGtYXOLWeKBTHbGtUWsLUeLbTxjGpqWyLWeEBRh`gs}W]LPeFBSxiOpEY_KOemb@hj_o]Y{KGenbAXjOomYuKId~BhX^OyMVuMcd}Bghswnu\KJ~dyQ}H]{nUVrJufAa{HpGnE[OJrdvB`HoonI[MJndmBOhgWluYGJ]eaAvxgWmEV?LAdlbRHYosaUmLHdkBQhZGsuUsLJfNatHrglE[wJQfNAsHYgyE\?JRddB[hXWvQU[Lvdeb\hX_vMU]LtdaBdhWgx]UKMWdbbeXrWkeUOMYfCanHVGwQ[IIyfBAmxowju[OIwdQBYhSWumZOIddObXxSOueT?LedIBWXQguIZGIUeqaeXR?uASmLbewabXP?uqSQLldDBZhm?gqZ]IJdHb^XQ?vaZsIQdGb]XnWg}ZwIMdBq`hO[gQSJIAc{q]hM{faRvHufGa[HMOxIReMRfIa[Xq?fURgMSe~AXHo?eYRMM@csB_xLGv}[CHdchBOHIWryQgK{cibNXIwr}QkL@e~ARHnwcu[AHMf?ARxIGwM[CHOeWBFhcOrQXaK^eXBGHcWrUXeK`dpAhh[Wi]VGIgdSaxXTWm]TSJedtaehRWmiVWI[duafXRwmaS{JhdXA^HNgjMR{Ivc~alhU_gETiI?ctBChLgpYRUKRcuBDHaweyR]KTcnB?H_Gd}WCH_e@aWX_geMWGHadUAUHTgdeT[HZdVaUhJgjEQwIoh]?FwBk@u?|?^_NOEgBc@m@j?v_ZOMGFSBeAr@]_loUgJkDqENBE`dOqGX[KeETBJ`cOqWWsK]EXBL`fOrwYKLAEdBV`hotGYkLYE~B_`oowg[[LyFJBf`sOxg\KMQGtC^aMPFWb[PyGLCFa@P?w_kOQFlBv`|o}G^KNiF^Bk`tozg\SMuSZIIdEQaXPCgmgOSLiCdBi`PO}gWSOiGdAy_xPIgKRnhwD?Y]HOIfcSBhyD@Y]XOQezR]hpSvy[LMAewRuhyctyZPNefmRWhlc}i^@LegCRMi?cqyXxOYeWSChgD?yXhOUfQRMheCzYY@MieURkhecziXxMmeIRnhxCqi]@KYfaRFhcC|I]XKeduRWhlCliVHLqdmRXh\CtyZXJadwR\h_CwiVhLyd{R^hoCoYVxMEdmRBh`CmIUpKIdqRBhaCmyW`JicoRzhKc~IRPNucuR}hMd?IR`N}gOQFiBc`i`PGagUQHiECay`HGicCRdh?CwyOHMQcERehAcyIO`M]fOPrgvCwy[hE}fKPohrc[YMPMQgaPfiHCXYK`PAbCSLgrDBiKXO}fyPCh}CPY^pCYg?PFh~cQY^XCafQOqhtcLIExMyfSOrgYczYEpMqeiOghhCHiDXLYeaOfhhcIYDPLQ_gRDgKcqiAhKY_kRFgJcqYB@KaeaOAhhC?yYX?Q_IRUhiC@yYh?Y^SQrfuCkx|XJQ^]QtfvClX|hJQ]cRtfhc|hyhNi]gRvfjc}HypNedyNEfcCnhxHKA]SQ~fdcoXwxJq\OQohWBiYUOymdcMkhWbiiUGyubsPsg|c\YN`FYbmP|g{c^yN@FyawQ]gmcfyKHIAa{Q`hPcVyK@IId[PTggCiiTxDQaaQjghCjYIXIq`{PIgdcNyGPCua?PKg_cRyGXCyakOwgjcMYJ@BiaqOzglcNYJPBq`?QKhEcGYPpAIc]OchGcHYQ@AMdQORhQCBiSp@EdIONhRcCiT@@A_APggtB~YL_~}bQN{f~CYyLh?A^qQUf{Cdx}pHI^mQRf|cdX~PHQ^QOJfqCAI@G}Y_SNdgEbxx|@?q]WNofeb{Xxo~I^eNNfybsX}_|A]?NWfmboxwG|e]CNYfabuxw_|q\yOYf\CFYB_zm\wO]gNbnxvp@m]{Msfnblh{?z]^AMwfYbwx{Oze`WMnfWcJYE?yy\cOpfXcJiDwzAo]QohXSkYU\JQdjFAbbppgw[[UMH?__OoGgC[AQ@J@n_toZGLkFAB\EZbMPfWrsYAK~EbbPPhgscYULBEAa}p^gn{WAKBDiaqpXwlKUYJPDbanpWWkCUQJDDXalPUwjcTyIzD@a`POwgcSYIJPggssYiLlEqbVOYgLsFIBl@}_|NEfbrqXx[{i]PN?f`roXwS{Q]JMmfXRjxuCzE\fXhktuZJLTeur\XJKUuJrHdbCqZXMKVUSBETb?q^WoKbuPRDtc_pZWnKbUKRHLbGqTWXKdUPRAlcWolXFKJuQBBD`gqRWTKOuHRA|aGopWXKPuEbCtaOolWQkHUCzAd`QofWPKpUBrJt_{q~X\KGuCBKD`?rBWaJzt}BCL^cpFWcJ|UHa~\aSnxVnKaUOa|\^?qBXBJuTzRF|]wq@V^joTwY{d]InFV\KTTurDda_m|V[KStubD\\cpNVVKjtsrJD\SqtVWKmUUqyt\OqrXhJbuYaxDekmTXkJctrBLtesmVVEKCtoR@T[GoVVDKEuBaw\[OoXW~JYtlbGDZgqHUvK_tmBG\ZcqDWDJYU@au\Y{oNWGJXU@AuD_KlbUaJ}tfb?L^wkzU_K@T~qr|YCo@W^JITdRCD`kkbW[JHTdbBl`wkfUJKpuYAqDWorHULKquXap|e[k\T~KYT_BElWGplWrJAT_RE|WKppWZI{uFAnt`sjtW]I|uFqnla?jxXJIxt\rHtd?jlTsKeT]BH|VSqZW|IwT[bFLbgjZW}IvuMqmLboj\V|IsTYQ~tUgn~TkK?TXr?TUkoBTaKpUWAkdd{jLTbKouVQklUCq|XPIluTajddGizT_KhtVrIdTwqjWHIftSB@lTOoTTPKEUBaiTTKoVTHKpuXahlSorHXfIfTQrKlSgrPTBiaTQIglSYiNS~i^TOYgDSIhzSvK[uMafDbkhrW{I\UNafdbshvWfIWtKbDDRKpRSsKTTLbDdRSpVXVIQuUActQ[qrSgKlUVAdTdkhRS^KXtGBEdQCpjSaKZTHBFDQKpnWDIKtFb@D_[gtWBILtFB?tPsoHXPIHuSaaddKgjXSIJUTabDdSgnVLJwtra}T[{nfVOJyTsa}t\CnjUzJStnAtTYklzUkJ^TjawDYsl~UIJQT`atDYSkRUbJAthqo|YWkPTTJqtTa{tT[nNTWJsTUQ|TTgnRSkJLtdqd\Xoh^UWIUteQeDXgh\\pKCuBZ@\_yoXWIeZRMHfSrmXnKxdsQyX\SmmVZJkdFQbxQChESfIQdAQ`xOsgUSFIAcqQXXKseeRPHflNF`joxhess]BnAEezp@hqsy]DmkfYzjPuqyu\lmvFVjm@tqz]\\m|FTjiXv]yg\wm{fTZj@vqzu\Vm_vPjg\sIyH\DmVf[Ze@vUxc\umxFKZm`rMze[snBFFZcPwUxA]GnBfGJbxwM{G[]mqfEjaxuewo\emKfXzb`uiwu\gnFe}ZqXnq{cZ}nGE}jq`nm{aZ|m}e{znpnQvi\~lzF_J^@wEvm]AluFaj[xwu{QZgnDeyZ\PwqvU]Mlof_Z[PvuvE\}lqF^z[pwIvI]?m}EuZnXl]ui\vllF]JnPlazqZUlHf[ZQpvIsi\rlKF\JQxvYsg\tmqebZPpuizMYOmsEbzQPuezKYPlCfajPPwmsU]MlEFbJOxwusO]HmvE_Zm@gIz]YEl@fZZO`umsI\knFe\ZqXfY{cXxnGE\zq`fi{aXwmFFNza@sAwU[zmFfNJ``rywY[|mAfVz_puAwM\`mCFWjk`oizE[HmSe~z_@qiwA[jmUF?jdpoQxY[BlleqJWXlquGZ\laevj[@k]u}ZEluenZVpmyt}Znl_E{JWPnIuAZplcelzXPjauUYxlfEmjXhjquWYzmPekZUhqaxGYqlXfHZUpqYtg[flTfPzT`satY\HlVFQjU@sqt]\JlgEhZYHiYugYflTEsjT@k}tQZRm[ehJRxrUxsYalOFLjf@iMxmY`mGe]zapgArw[Qk}fCzNppUr}[Smee[JMHtIyaXnmfE\JMPtAre\Nob?CWAc@I?l?R_Ipswyc\IMjFUbgrlXu{zQ\pMuf[uiJSliYtNYilSuZzMDfErdXskxwYcJ}EFBF`aooWVkHuC~A``PoeWR[JAC^Aq`HodgUkJYCZAS`\omGQJqiDJAm]VnLGSzqqDRAk]Woife[?ID~B?_Aoog?{?aDzBE_EopG@[JH~m~y`Zo?GV[JP~q~}`Wn~GVKH`}NA[^cogfxkI@}U~O`LnrgRzziC]}{`EnngQ[HP}BAU^anogQJxYDJAi^MneGSzxiDRAm^OojFr{G`{U}K`BnbgPJxQCU}O`DncgO{EyBF@o_qo[gK{EaBj@k_{oYgM{ByA~@?_joOgJKCQAz@G_ooUgGz}i?u~k_Mn{gBz}y@A~s_Pn{GCkDH}y~Q_dntGHj|YA^@S^lnuGIJyx}}}o^onkf{Z}P|i}w^snxfuzyHz}}c^AnhfoJy`{E}k^Cnifo{@Xz]|e_FoCFlK@HzV?W]woDFljthze|u]mn]Fjzu@zy|c]ynWfnZtY@u|Q_XnTGEjsy@n?{]gnUGFKAXyE|K_VoIFgkAhyN?o]cnQgDjrYBu{w_}o^ff[GHxzAC]_o_Ff{]G?y?`?Nk@u@j?d_UoPWFd_QnhWSkMUBI~eErCHaKoyWXKNiQTGIcTP}hBSbnUViZs|ya|T]jq?HB[_IOzGCcNqEH?{_iPBGacCp|G|K^YNVFwbup}g|{^yNfF{bwpvg{[]QMrFabjpxGzk]ANNFeblqBGwk_yMNFGcGpqhA[[yOnFKcIpaG|KWiNZEKbvpbg|[XINfEObwpXHBKUYOvDgcMqGgl{aAJVDkcNpsGf[RQMbFSa^pLgykRaMfFQa]pJh@k`AHVCocIqBgdKRIOnGQaUp@g~[^QGVFuaEp@G~k^yG^FwaCozH?KNIONBmcCqAg]KNYOFBscAoqGzK\yEZBMblptgY[]AEVBObmpmGjKUAMBDab`pVgvkTiL~D[b\pjGgKYyIFDCbWpkgg{ZYIVEsacp[GbkVIG~DsaOp\gc[ViHNDwaQpCGqkPIKnCSbKpDgr[PiK~CWbMpgG^KOILREa`|phG^kYiF~Eea?p`g[KMIJzBgbAoxGn{WAFVBeb@pRGYkLYI^BWaiougiKLqIfB]aj_COBW@K?i?V?KrD?AG@c?i?V?H_EoCWAS@U?h?R_JVZJltu}z`\jmuoDwA{@a?r?X_KSliU|JadrQzh\PYwlcUuJ\DnawSWiK\EQbJPfgrRxh{{}Q^JNhfsRzH|S}u^\Nnftriht[yq\RMgfUriHtKyu\XMjfTVFZbtp}x@[amOvEja|pawv[[mKubjQLg}sZYQlGW\KMMFJB``toxwZ[LeEzB^`iotwXKKuE^BJ`hosXsc|U]xMjfkRiXtc|}\LNVfVRuxwsve]DLte}RoXmszu]HLzf^R^xrCv][tLxfMR]xrsvU\DL~fOR^XjczuY|M~eoRoXwSuM]LLffaRXXgcueZTLFeuRRxlsseZdLLewRQxqCruX|MRfERMXpsrm[lLBe_RdXestMYlKteURSXjCq}YtKpeiRKxxsqE]XKffcRGxxSqUXTNReSRsXaczUWlMpeKRmXbSz]W|MzfXRFXoso}[@KJf@RBXocoeWdMHfDRCX_CwuWDMNeARcX^sxMVxMVeBRdXgcomYLKLecRBxhSpEWdLNeCRRX^cqEXPKFd~RGx_CqUXTKBeARHx]CtEVdLReiQ|XjCnmYtJvejQ}XdcleX\JZeWQvXeSl}XlJbeYQwXYS|MUhNPfdQrXxck}UlNNdgRqXUsueZXItevQmXVSumT|Lrd]R[XSczE\hI\fXQfxusiM\pI`dRRmxQS|uS`NTdIRtxzCh]]|IZflQeXrCgU[tIFfMQaXrsgmS\MbfOQbXNCtuRtL^c}RWXNsuMSDLfd?RXXgSdUX|H\ckRNXgCd}QtKxcjRMxacbuWpH@eLQOxasb}W|HFeMQPXscbE\LGrfSQLXtsbmPlMjfUQMXpCa}[@Gdf@QHxocaePTMJfBQJXTCkETTJBdUQpXTsk]TdJJdWQqXLcceR\HJceQ[XHsfMQdHvcgQ\XKCmURDJfduQYxKcmeRPJncrQyxaKo}WRKLeHrAoCG@{?y?\?O_FwO{GeCUn~V|k?T~j?L_I?x?Y_LOEwBc@mHLCgaRyfdRUh|Svi_TKYfDSMiLSri\TPYitP}i`SZifTEYiTPuhDTXiiTGYWdSeiPRFidSqYXTSue\TLheTQyiDJeidQziiSnYitJ}i\RBikSoYlDH]jTQ\irSeYlTHmc|ThirSdYPDTmcdTbhGTVyPTTujHQLhFTWYKDR}axTFi]SUyJtSEbDTBiaSUYjTCMi|PDgdTWYkdCeaLTbimSOY?dRE_LSrgCTLY@TR]htOLi[SBy`dLug\R^hoTCY[dP]fLSThpTCyYDIuedQnhiSkYYtJMdlRZhYSuY^dImftQfhOS|Y^DIUflQbh~SiYNdOUgPQFg~TAy_DGEgLQDi@S_x|dFE^\PrfxS]yNC~]blNtfwS\YHdMeadRrgfSyyIDMuf\PVgiS{YcdB]`hSfiSSMYFTQ}hTO~iUSNYKdAebLOjgtSJYLDA}``PlgXSZyBd@E_|ORgLSHYCt@e`@OVgPSDX{C~e^DNzfqR~X{s~}^TOBfsS?ZIs\eNBFVblpvwzk\EMjFR?U_GoCgAc@U?f\imsVXZk|uezLF]bnpv[LMEbBH`dorWX|dasVXYlCuWJQLdYs^YEkmuVjPlgYprYGk\uajFlgqp~X?lFuOjQLaAsBYAkPu`JClgQpNWil@uIJOL`QrRXkkJuZjBl`arVWYkxu[JB|dYoRXWkDuUj@ldqo^X_kHuVjAL_YrJXaj}t~jK\_ArJWAkru@JK|^ArVXkjxuZi}lfAnnXqj|t}JLLfymbXsjeu\ix|\IrrVUk|ttJNlfikZUCk{u^Ip|fYkNUGk~u\Ip\UqqbTukit[JIlUyqbTqkht\JI\cQljXEjZuQIvLcilvU}kftnJHlYamrUijltjIzlYym~UqjptkI{LXqnJU]jrtyIsL]ilFUejvtzIsl[QkvUOj_tciw\XQmNUUjdteIxLaqjrTykVt^JELVypfUAkZt_JEldEqjXRlKVQZhThusd\FlLVQzhDhUsl\Fm[V@ZeToEwL[tl~VJz`Dr]wD[plxVGz]dqUvl[fl}VJZ^Tqmvp[hllVDzZdpeu|[ZmMUwZcDmUw|ZblNUrzTDl]t@ZPlPUszSdletLZTm\UozWdruuL[~lcVOZXdsUuT\BlZUxzVDmettZjl]UzZ]DkEt|ZnlVVDZ`TimwXYllWVBzUdpEtd[RnRV`ZtDwM|H]FnPV_Zndym|@\~m|VcZpTvEzl]HnEV[zmdw}zp]RmqVUZkttmzP\\mnVYzkTu}z@\lmeVdZhtx]y`]XmhVezitxuyh]^ngVjZyTy}}h]pnjVkzut|m}p]tn[VpZvT{]|x^Hn^Vqzxt{M}X^@?@VyJzg?Q~T^^?BVzJ{L}G?D^nnr?@J}\}O?L^p