CAT(3072,20)
Sparse6:
:~?o?_?O?G?C?g?R?F_CO@G?c?U?L?D_BO@G?k?Y@E?V_KOEgBK@m?x?\_NOGGB{AI@B?c_QoHgC[Aa@N?v?YoLgEsBY@j?t_S_LGEWAe@a?i_W?IgD_A}@U?n_U?KWDWBA@Y?q_V?KgDgBQ@[?r_JODgAs@M?f?T_IODWAc@I?b?P_HOCG@{?y?\?O_FoBW@kEgBG@h_r?YGKgE]CI@l?vO[?MSE{Bb@w?zo\?MkFKBl@i_uOYwPkGqCVAJ`EObWNKFiBx@z_~O^WN{GACBAA`@o`GOkG]CLAG`DOaWUOIWDNAh@TOi?T[I{D\Ap@UOk?TkJGDjAs@ZokoUsJaDtAx`a?ngV{KAEBBB``OqGXKKQEHBF`bOpWWkKeEPBF`bOv?XoK}ESBJ`h_rWYOKqEaBT`g?tG[_MIFFBb`powg[SLkExB\@jOvoY{LwEpB_@lOwOZKOwFlBv`{o}G^SNmFxB|`~O~w_KOAH?CZaLPFwbsPuGxCaaPpHWccQAHBCcaQpGWcCQIHFCAa@p@w_sOUGHCGaCpAg`[OuGXCNaGpCGaSPMG\CSaKpEGakP]GlCqaXPLwesRMHfCsaYpLWecRYHnC|a]PMWfKRmHtCza\PMGfCRuHxC}a^POggKSAH~D?a^pOWgSSMIFDCaaPQWhCSYIJDDabPQGhKS]INCeaRpIWdCQmHTCoaWpJWdcQ}H\EQ@wo{G][NIFhBtbBP`wpKWaKVEIbFpbgqKXAKZEKbB`cwooXIKmELbJ@bGqGXUK_ESbD`dwqoWiKeEHbH@aGpoXUK]ESa|p]gokWQKBE?a~p^gnkVqKFEAat@QglWSmJIDPaq@SGlgTMJWDQai@WgigUMI]Dhaf@YGhgU]IWDeaj`[wioVIJiDXak@\GjwV]JkD]aw`VGm?TuJADnao@ZgnGTmJoDYbo?xG[{MYFJBh`sOyg\kMqFVBn`vPwg{K]INBFbbppwG{C]UNHFdbqPx_zk]WMxFZBsPu_{{\cNRFWBspy?y{][MlFTBtpt?|S\{NVF]BtPhOzkYOMxEfBiph_yc\{LRF]BSPioy{YgMlEkBkpu?tkY{MvEmBlPeOxKX_MPFNBLpr_rS[sKxE\BePgox[YGMTE`Bgps?sC\GK~FRBNPoouC[GLbEzB^pm_vsZSMBEsB_Pk_vkZoLfEvBapp?usZ_MNExBbOmwV[JuDxA|`]O{W]CNQFjBr`xQKxESbEP`GncVQJxDsbEP`GrcXQIxDSauPXGhcSQIxDSauPXGhcSQGHCKaMPDG]cNqFXBcaQPJGfcRQDXAc`EO`GVcJQCxAS`eOpGZcLQBX@c_]OLGDcAQAx@S_aORGMcFpzo~[]wNtFpB~p{?~s^sNZF{BuP|P?[^OODFrC?p{`?C^[NpFxBzQd?QkHQCnAU`KoeGR[HuCxA^`NOegQcH]ClAT`KOeWRSHmCzA[`NofgSCIIDBA_`POgWS[IUDHAd`QOgwP{GyCbAO`FobgQCHECfAQ`HocgWCKED~A}``Oow_SOMGJCCaBp@g`COmGTCLaEPAW`sO}G`CPaHpCgakPYGnCXaKPDGh[SiIXDLafPRwiCTEIfDQaipTH\glAVWJOdpatH[OlMVQJSdsAsx[olIUaJfdqAsh[glEUiJidiayxX[kmUXJLdeQrXX{kyU\JNddQqhWkkQUHJDdbQphXKkaUPJHdbqpx[WjeVCIwdsanhVwmaVMI|drAnH[gjmVGIydtaoXW?miVYJBduAohPglqSWJ[dDavhPOluSOJ\dCavh[?g}S[J^doacH[GhESeJ_dHAvxYogUUkICc}atxYwfqR}JWc~AuXOGleS?JWd@auxOOliUuIEdlA`xSgiYTGIedOAixTOiATQIbdPaiHSOi]TAIfdSaghSGiaTUIddTAhHOGjIS?IqdYA^hNwjMTgH{c}akxUogQTiIDdZA_xUggITmIEdZa`xPWiqSSIkdCajhP?iuSYImdEAjXTwg}S[IndWacXU?hASeIpdWAchHghqQWIZdLARxROcySwHOcgaexRodMQcI\dNaTHRwdUS{HVcjAfXKwjuTwHecsamxL?jiRUIxctAmHVweURGI}d`aZXWOeqUAHnd_AZhQ_deSgHWdKaUxR?diQyITcmAdXJwh]Q{IUcoaeXK?haSmHbdJAWhGccUQBH?c`qOhG{cYQRHGcdqQhMWbURcGscyaMXM_baPkHocZa[XFwfeP{Hwc]a\xF_fYPuHzc|AMhr_EMBD@^_nOWWKCD}A|@`_oOVwJsEMBD@__ooWwKSEQBH@g_roXgKkEYBJ@h_soYGK{NYFlBv`zo}W^CNaFrBz`|O}g^[cEQ@HHccQOhG[cUQHHFcbQQxHS{M]DNDfaRnHvkzm\tN@f_Rnxvs{[\^MmFbRqPuCzC]PMuFfrlpxszc]bMwFgRlPxkzO]XMrFdrk`xSyM\DMdfQRhxssya\RMlfURixtSn[\dJuFXrkP][nG\`JpFZq{@usy{VjMmDyQ}PvCn_\rJnFYqz`ucvK]LNFExRr@nC{sZrLvFfr\`xsvO]bLtFgR^@xSvs]VLyFcR]pxKtk\FLYFPRipj{ygY|L\FUrV@tcy_ZBMhEoRh`k[y[ZDLdFQrX@scqw[lKnFJrKPrSxkX`KrFKrK`rCxkXjKsFLRdpd[xWXTKlFKRePdcxsW~M[ENRHPsCqO\BM^ERrf`csxsXRM[ESRGpr{qG[|M`EOrg@cCzsWrM{EKRDpv{zwWlKZFarE`wc{CWzN?EMRCpw[pG]DKTF\rD@vStCYVLOEdRRphKswYPLFEirP`ictcYJLCEkRSphktGYXLBEjrT`gSrkZ|KyE~rMPpKr_[PMDE_rO@ocw[XnMEEZRNpoKrw[@K|F@rN@oSxSWNMSEBRcP`Kx?WPMREDRc``[pC[^KOFFRBpp[ow[TKLFErB@pcnoZZJ|EuQ}pl[ngZTLfEArX`_coCZRLgE?R[P^{v?V|LnE@R?pltG?Af@Q_moVGJ[DiAr@W_joTgIkDQAb@O_goSGHsC}AZ@K_eoRGHsC}Ah@T_lOUwI[DIAz@[_koUGI{DYAR@J_dOQWH[CiAD@@_cOPwGcCMA@?~_bOPWFsBu@n?y_[oNGF[Ba[nMUfKreHr[xiB`@n_wo[gLsEuB\@l_wOZwMSFEBj@u_zO\WM[FQBf@s_{O\wM{FaDRAg`ToigS{IYDZAk`WokGT{IyDbAo`TOiwS{IYD^Am`SOiWTkIqD|A~`_ooGW[KIEXBL`gosGX{KyEVBI`hosgYkLQFJBf`rOxG\KMaKNEEbCpaGp[WiKZEKbFpbgqKXAJvDya}p^Gn{VyKBE?b@p_gokWQJFDaaqpXGk{UYJRDgatpYglkUqJbDoavpZgmSVMJhDtazP\wnKVahFSaiQtHIc|QYhRSgiTtIiddQugmSCiJD@I_pPigISZiBDEYb@OUgMS\iMD@ybpOegOS^iCdGY`@QAfMSnhrDJi\xREf[SoiXcyYePMahiRjiYCyiepMuhmRkhwdMY]@RafuRlhuC}i\XNefSRwhsc~y\@NyfMR|hrC~I_@MygARnhwD?y]HOIgURMhfdAiY`PAgaRThhdByYPOyeaSLhgDBIaXL]gcRUiIcuYa`LaeMSVhbDDiWhPmeGSYiKcoyb@KIgyRHiMCqIbxKig{RJiOCrIcHKucqSbhKDGiRXQUcsSchMdHicxHqhOQ^iScfidXIEhSQ_hPdJYd`IIcIRwhAC}YOXNucCR{h|c_IOHNif}QFh~C`i_HGeg?QGi@cay_PGigiQuiICliVPOmdqSIiGcmiVHPAg]QwiFCly`hJagWQvh\dCyaPJmd[RZhlCjy[HIuf?QkhWcvYU@Lqe{QjhnciiU`MMdiRahqckiUXMQfcPzhxC]iNHNMboRrhyc^Y]`FqfiP~hyC^iMxN]fkPuhzc\Y]pFQcsQjhLciiRhJMcwQqhVCgiSXI}daQ_hWCgYRpJUdgQ^hKCjIRHIu^mP{fzC^X~xFm^{Pyg{c?YN@?A^qPtf{C\INw~qb{N|gzb}x~PFYbePjgxCYiL`FEbYPogpcZyKPEybIPpgqC[IKxFIbKPrgvcYYLpEadGP^hQCViShDudKP[gochiShEAauQhglCiIJHI]aoQfgjciYIpIacYPIgdcbIIHHMa_QQgfccYHpHAaWQNhFCRYIXH]acQUhIcTYQ`DQ`cRAgXcoyWpBaeMOxgZcqYEpKa`iRChacLIXXBueSO{g\CrIFXKufAOfhoCHiDhLu`WR[gTcuyDPLie}OhhnCIIDxMM`[RahqcKYE@MQ_uQ@gLC_ICXGa`CQHgOc`yC@GY_}QDhACFiOP@qcEO\gQcayC`GicYONgFCbIBHHM_oQQgJccYApHA_iQNgICbiAXH]_cQUgGcdYA@HQdyOBh]C?i@hJu_WQ{gDcny@PJy_QR@h_CAIVx?]d{OEgAcoY?`KAe]NjftCrh|hLY^WRVhhBzyYW}ye_Nphgb{H}XLUegNqfycuX}`La]}SnfnDJh{HRA^?SpiXbwyeO}IhgNdiYbxIew}]hkNefsdMX|@Ra]ePFfhCPiGG|Ua?NSfkcNxz@By]kPDgaBtyGW|maCNYfmcQYH?|qr??V_JoEGBC@i?r?Y_KoFGB[@q?vPzg|S\YMdFYbnPwg{s^INlFyb~@y_|O]WNKFyBz@{_|o^GN[FyBz@~_~o_gOKGAC@AA`?o`GO[GQCFH|c}Q^xNsgUSHIBd@Q_HOKg]SLIIdDqaHPKguSXIMdFqcHQKhISfBU`jOuGY{LaEnBX`lOugZKLmEvFTbiPvWzc\eMpFVbjPuwzS\}M|Bp`wO|W]cNMFdB{`}O~W^kN}F|B}`~p?W_COEG@CYaLpFWbcP}G|EZbLPfWrcX}K|EWbKpgWsCYMLDEpbWPmGvKZ]LlEtbYPkwuSZmLtHLceQSxISdEQ`HNcfQTXIcd]QlHlcuQXXKce]RLHhcsQYxLSe}R\HXckQVxJsduQxHZclQWXKCeMRDNjftRzX|c}}^\NpfwR|X}c~M^d[^mNVFZbdp]wl[TmIVEzbTpewp[LL\vBBVTo{tr[ML[VArU|jWwTYtMCUlB`LpCtz[OL]UnraTjwwfY\LkuuBRdiCuzY_LmUfrZ\hwutZ^LPugbZtmCtJZ_LQUwrS|mGtLZdLGuxBQDhKvRYQLsUeR[|h_vLZjLIuybQdmssnZkLJUzrR\mwstYRLTucbTTicsrYgLKUdrULhWt`YlLGujBQDhSt^YSLVUkrR\hgtdYLMMubBbdp[sV[ULDUbbbtg{w~YDMIU`BalgcwvYGMLU`rbDpcsLYuK|UlrN\fwttX~L\u^BUlfsthYwK{umRNDg?txY@L]unrOTjwsFXlLwuZB]DfKvfXqLxU[R]|nWr`ZtKvuZb]dfSvvXsL|U}RMtn_rnY]KqUfrKle[t@XeLOufRK\eGsxX`LPuWBSTectJXgLQUYbStektNZJKfuqbHtkcqfXQLcUSRXld?uXXTLbuTBWtdWu^ZMKjusRJLl?qpXAL~uOr^tcSvzZ{KaUPb_Tc[wF[@Kcv?BHDoOqT[DKduRB_|oWqZWvLbuLbWtkkprZIK[UqRFlbouPWzLeuMbXdb{u^W}LfUORYLc?u`WRLVuCbTticojYgKIUERTlioopYjKJuibAt`ktbWYLWUkrBl`otdWFKoU@bKLe[oRXeKCUBRKl_orHWIKpUArK\_wrRWNKsUCRL\`?rTXlJyuZA}d^Cr\VoKvtzbMT]{rfXpJxt{bMDf[nnXuJzT}RMl^_rhXZJetrBJTdkmVVIKlUVqy\dwmdX]JiuVqyddsm`X[JgtrbJldom^Z@J^uoAvt[CuBZ?J_UpQxLkOmPZBJbuoawt[SuFVCL`TorWl[GuHUfLwthb]DnSlZUkLyTir]|nWlTUgLxu{atLY{vrUmL{TkR^\Z?vtUbK~tgbNtX{rvU]K|TgRNLY?rpX{JMu^QrdYSsBUcL?TerO\XgsD[LJFvBAptXSw\[NJITcr`LXGwP[JJGtcB`TX[wbUUMGTeRa\X_wdUBL}t_b^dWSv~UCL~Tar_lWgwH[BJBv?aotoCkR[?JCTbR_|WowLTvLkt\bZDVkuzTyLmT]RZ\V_utZ^I}t^BZtV{vBZ_I~T_R[\W?vDZdIwuxAmDU{vRTmLsUyql\mgjTZfIxUxam\msjZZkIuT\R\|VOv\T^LhtVbYTU?udT`LhutAkdlSjJZTIputAkTl[jNZUIrTYRY|lWjPTJLFtQbPtScsJTGLAUbQg|goiLYJIeuaahdg_ibYHIgU`qh|SwsLWdI\uHAfTRspNWeI]TNrC\RwpDT@KOtOBCDSGpRWgI`uFqgd`wiJWnJ|t}bDtakoBWiK?T~REl^ophWpJ~uKA~t_KpZWkK@U@RE\_OpdVVJqtxAyt]sn@V`JuTvq|\\wnTVbJmtwazd\knNVYJrTuQ|L\_nPTRJ[tmAiTT[lvTUJ\TUQvdT_lzUvIlTlaj\TSldTSJXtVQulTolh?I_DOBG@[?q?V?\_NOFwCCAI@BCBaAP@W_{OYGDDVajPUWjCTmItD\amPVwjsUEJ@FlbuPzg|{^EN`FtbyP{w}S^]NlM@f?R^xnswM[DMDfAR`xoswe[PJzd|Q~X^cnyV~K@e?R?x_SoUWHSzi\TNYfdR}h|T?i_tOygTSUiHaGPHwccPEGdClaVPDWacQmGdChaKPFwbcP]HDCVaKPGWbSRMGtCparNEwkbpdx@Dn]PPZVbsUmJO{\axNHwmBqUJk{jayNIWnRq}Jo{l`xP^W]CV}F@EB`pP_W[sWUKLBdbCOywpSMeF\EN`uPbW]sXMFhEP`LO~wRCNuGDAn`UP?WTSOMDPC@`RO~wScNuDDBz`OO}wRsNeCxBx_hPYwlCDEA|Dn_mPZWIsU]AhDdaxOUwmCDeJp@ba|OWWmsE]Jh@daZOMWecBmADC~__PNWFsRm@xCxadOPWhCC]ATDB_cPOWgsC}IH@LaAOGw_cAEGT?d_RPAWDCOe@TCJ_VPBwDcOu@dCN_WPBW_sB]GL?tafNuwhb|eIc~^agNvV{CT]Ig~balNxv{cTeI{~jamNyWkR}}J?~l]|P_vnCWDzxD~]~P^Worw\{HEDbDN_wpBwD{\EN^EPbWqRwmK_}HaMNQVhSP}H[|V]iPJViSQly`Ch]fPHvhcQUHC|ZaONUWeRt}H_|\\CPNvPSRuHgyRaZMcVPsRlsXCx\LPOwgBheIGyVabMdVRcSls|DH[lPRvJCStq|DR[mPSWjRe\rHDXapMWwkBeDrTDV[sPTVLsT}Iwxl^xOcv}CHECC~v`?N|V~SH]Cg~x^~O`v~cGU?@AN_@ObW?sGm?HAH^TOqVtCKl|\BN^UOrVvSLl|pBX^^OvvvcLt|dBR^WOsWYrz\|hBT^HOAvqC?d{l?N^IOBWARxm?_}X_KNfwBRxt|L?V^QODVsS@}?w}`]rNKvkbrDxk|b]YNWVfrvLxw|p]`NZvgButzk{z][N\VlRs\zO|D^fN?v_B{tw[~B]ENoV`R{\wO~D^dN@vxBoT}k{R^iNCVyRp\}_{T`XMswUBlDu|BB\mOoWUrlmDgzX`bMtwWblTvDA~\oOnV[sJlvHAx\\MyvVBmdt{zn\]MzV]RkLu?zp\bM|v]bkTuSzz\cM}VXrn|uWz|_sMgWLRiMB[yj_uMiWMRi]B_yd\XO]vUCFeB{yn\UO^VUsFTth@v[`M\vMbcDq[xz[eM]VHRf|qOx|[bM[vGbfDqkyB[iM_VOrdLsGxP?G_BoAG?{?e?RCfaRPKWeCQ}H\ClaUPIwdSQeHPGzc\QLXEcb}P|GvcZQNXFcbePpNRfhRtXyc|u]xNZflRuXzC|]]l[hmSVGZcDqixV[bmPVHZcdq]xLfLRPxrCsU\\LRfURSXhsymYXMhfNRQxrcseYtMbekRgXisy]YhMddrRwx{CmU^hJnduR|x\S~MVPNpfvQ|x]c}uVdNjdwRyX{snm^HJxdnRyxZc}e^dJZfwQuXYS}MU`N`djR|xYc~U^LJbfqQwX|sk}UXNlfXQlxuCjU]LJBfaQoXwSj}TxN@d\RnxvcjeULMzdaRmXuskm\hJHd@RbxOCwu[lHncuRdXMCxMRdMPc}RcXNsxMRtMNc{RbXMsxU[lHtfdQTxxCdURLNNcqRrXzSem]pHhfhQVxyCduRDNVfiQWXzsdm]xHXf\QQxvCce\`HRcgRkxHc{E]DHNc]RlXFsz]]LHBfaQOXGsz}QHM|cFRsx@c|E]|GVfmQDXCS{}P@NLcHRtxAC|U]TGZfcQEXzS`}]pG\fLPpxrC[U\\FNfUPrXsS\]\@FTbhRiwyCye[|FZfMPuWxSy]MPMdevRExlcpeZLKfeqRHXdSt}XPL\etRFxbcueZdKbewRGXasuMWhL`bXQ~x^cZEWTEneCPjXaSZ]LhKPe@Pmx_CZeL|KNb]RBX_c[MWLF@dBRMxOcreX|IJdCRNXPsrMX`ILdJRLxQcrUYDIZe_QeXQSq}S`KlcTQfxDChuTLGrdQQKXDsiMPXI`cRQkxCcjEPtInc[QjXTCbUPlIjbyR]w}sve[DFzf?P}XpS_E[PGBcDR^xnc_eN|Lvb}R\Xos_][HGDbRP{wsc^EN\EZbuPeW{SYMN@E`btPdw|CXUNLEjbqPiWzsX}KxF\?b_QOHgCkA]@P?w_\OMWFcBm@nCHaDpAg`COuGXKFeBRAX`ComWTKLeERBx`spEW`gFTWY@dUEjLNziqR}X~dUM^|TbiqS?ykt?E_LTjgATYY@TUm_PThiuTOygDUuj`SrivTKYmDR]j\Sti\T\YfDVMh|Tti]T[ygtV]iHTvhhT`yYDWUehUHhjTayZTW}epULjHSvyqDLufDUVhoTdY[dXefLUZhST]YTTVejtQbhOT^YndI]jtQdi~SjyntIukDQrj?SkYUtWMdhU@jAS[YMTW]blUJgyTaYNTWubpUNjHS^yqDFukhQ@jJS_yrTG]kpQDiLTQybDSei\S^iMTRYcTTMi`S`iRTTycdTUhTTZiSTUYdtT}hXT\hDT?yPDOEc\SFhET@YQTOmc`SHiFSdy`dHUgdQZiGSeYRtP]ghQ\h\SUyVDDea|Q~gmSnYKTKMb@R@grSpyKdKUeTPjgsSqYXtE}eXPlhtSIy\DAef\OnhuSJYEDNE`dRrhzSLyEdNUfpOxh|SMy^tB}fxO|gHSOyADCEaLOTgJSPYBTCmaPOXgNSRyBdCu`DPRgOSSYCtD]`HPTPngvS[YMDFMbdCZaLPFWbcP}G|lLU\zRDfUs|X~lMU^ZOtiMsHY`lCUgZPTiMsDY^lMU_ZRTfmspXxkIUbzAtguotYNkKUbZBdhMo|YPkQUdZCth]pTYVlIUIZCThEp@YRj~UJzDd^uoDWrk?UKZ?tb]oHWtkDUMz@DbeqDWRk_UCZ@tb}oXW|jsUPY|Tc]n\XJjuUQZHt]]qXVdjxUSy}DdEqtVzkkT}ZIt^]nhXTkpTrzKD[umdX^kmTsYyte]mhXdkxTuzMD\er\V^kuTvY{Temn@XhjPTmysDZelLU~j]ThYtTZ]lPUtjXTqyuD[emLU^jaTfYwTY}m@UlXZklUVzJtduqx?\_OOFwBsAI@Bm_VEzgDpewL\Dm`V@Z`TsUwP\BmFVPz`ds]yT[PmcVCzhTp]yP[TmZUzzedmuxhZvlyVLz^Tr}vp[|lxVMZ]DrmxpZ~m\U~ZfdoMx|[@l^UtzVdlUvDZBloUoZWtl}uHZ\llUqzXDleu\ZfleUxZYTmmu`ZhmNUhzbdiUxDYjmOUiZTtq]xHYllXVIzUDqetl[nlYVJZeTjmtp[pmhVfziDxuyh]XmjVezqdte{l\ZmnVgzsDtuz@]fmpVhZhdymy\]hnDVXzkdwe{L\rnAV[Zntu}zx\lmtV_zlDwEzl]NmyVbZnTxMzp]PnfVjzxdyu|l^FnaVlZuT{m|`^Hn\VszvD|E||^Vn]VtZwT|m}@^X?@VvJz|}I~K?Dnq?@j{G?I~P^j?BVzj}W?Q~X^p