CAT(3072,1)
Sparse6:
:~?o?_?O?G?CAW@H?d_PoG?C[AG@J?`?QOM?DcAy@Z?e_SOHwD_Ae@U?l_V?IgGwA]@L?g_m?PwHKCaAP@H_boOWG[CIAJ@E_aOPWGcCY@j?v_ZOOOEcCK@f@A?XONgGCB}@v?|_]OM?D{Bc@b?y?WOb?BS@q?v?\_NoFgCKAI@@?n_WoKGEcBM@d?t_ZoLgWOHyD@A^`OoggS[IEDFAa`POgwSKHqCzAZ`HOcwQcGaCLAF`BO`wPCGeCTAJ`DoaWPSGIC@A@`@o`WOcHkB~A\?}of?NsFsCpAX?~oe_NsFoCj@y@Jo]oQsFgCd@z@Ho^?QcHACbAN`FocGQKG?CXAM@@O_OPkGSCZAM@AO_oPcDAAd@P_ioTGI[DYAp@V_koUwJSH{AVA_?dOR?RsCwD@@N@NoRORsF]Br@w_yo\GMsEqBZ@j_tOYGLKESCj@f@JoX_QsEIBH@b_noWWKCDsCpAY?mOeOJsEwBb@o?xOZoM[Rs?p?X_JoDwBK@aAl@W_joUWJ[DiI{DGabPPwesRUHhCwaZpMWfSRqHvDBAWpKogkSOHdCyAWpKofcRkHdAc`ROhWTKI]DPB?AbOnohCKCINA|AVOn_eCJoH^AzA[PMOVKJgHnC_aNpGWboQmGyClaU@FGb?QyGkCoaJ`JwaCPIGbCLAapP?`{SKG\CBa@P?W^oSEG?DAa_?~wgGOQI?CEa`@@WfwOeGOC|aB`Ng^CNiFrBz`}o~Ge_NUHkBvaY_|g\{NEF`Be`royGZkLyE~BVA]pNoZKRwEpBPATosodkLGHXBJ`eorGdOJYHOAwaS_lwU_PmDiCY`X`EWUGOqDcCJ`W@Aga_MeGiBjaH_ygY_IyD]BU`i_jWZWNIFgBY`m?{w[WQUFICf`q@Hg[GMqFCBm`o?zWX?IiESAk`c_iwWwQMEICc`b@GgWOKyE_BC``_rwzw?m?Z?Kbs?Bg@{@AN[?O_FOBw}w@U?l?S_DoBW@c_K?h?U_IoCwAK@IOW?R_GoChAO?i?P?HaZPLGek@i?v?[_LOFGB[@u?~?]__oOwGSCQAL@D_PoHWCcAA@D?`_YoLwEsBm@z?{_[OMgFKIQDLAd`RoiWTCIuD\An`XolGUkJYDpAv`]OngVkJqD|A|aNpGWcCPeGvCYaGPCgaKNyG@B~aCpAG_{NIFhBr`iOtgYkLiExBZ`oOwg[KMUFHBb`hosgYKKaETBH`dorWXcg{SBIAd?Q`HOkgMSFIDdAQ_pOsg_SJICDBq[HMKe}SOHpcwA`xLwgYRUHdcsaXHLOeMQ|H^cmqSXI[dIQ^HOcfQRXH[cqQJHFcbQQXHScaQDHCc`q^PGKf{P~H}C_QNHFsbuPyHSc]AThFodUPlGwcZqMXF[biQyGxc\aVhJwbiPeI?d?aLXE_gIP_H|cXA^xEGfyPcHecWAXxEGeaPZGncVQI`CcaWPVGdCUQGhCKaMPkG`cZaGhF?aMO|G_cNqF`Nca?RxG^C}QEpN[`sRrG[C|QE`OCgGOpI@CKqDXA{`YOFGCcAqAX@[_iO^GPcGQCX@{`AONGGcBQBX@s_qRoGAc{A?XN?_ARiGJcCa\xMo_iNqHqcx`}HM_^]RcF{b|a\G~OfMRiF}cz`~w~gfYRuGMc|ABXNG_qRyGEc~aAHNo_]NiIEdC@|G}og]NaHlbxAZG}WeyN_HmbvaZG|oeuRMFqcs@{W}WeYREFjbuAXXK_]uNOHYcm@yg|GdmNWHYcm@yw|gdmNIHIcc@xw{oceP}FabqAOG{WcEN{Gmb}aJw~wauOeGtcXaDHAObQNIFvb{`xw{o^aN]F{b|@{G|o^mNQF_bt@wW|?\}NGF`bo@wg{W\}MwG?bnA?gzg_EJ`Dqawq\omcVSRjHuAxpso}c\SNlFSByqW?xSeGMXH`BdpoWw[[IOuE}cM`oHB_Z}LpExb\PlpN[fcLlHyBYqPouScWLhErCapj@ASYwOhElCHpv?tK\wLTF\BTqI?ssacLNGfBSPgpKCYSRDEcCoqT?rSXkQlHTBMQTorsdcK~E\CkPdpDcXcPVEWCTQO_qcXWQHHBBIqHoqSacKfGgBGpbgqCW}KUFYbE@uwzGWuMuEGbk`aWzOWiReEDcy@`xMOWYKGGWcL@_goW`eKAGcb?AHhCgV}JwFUbk@^Wno\]RQDxct`]hLOVmJkGTa{ADgmw`]JYHVavaUWlodaJVDkatPWwkKUIQaDdch`XHIOUYQYDgce@YXHWU]IxD\alpUGjKTiImHOaiaRgioc}I]FUbk@SWi?\]IgGBcA`Sh?_TMM_FFbg`qGyO[eMYEzbf`nWxoZqJ?Epan`jwu?TyMGDKbb@RgwgSuIUE_ac`ggsGSi]q?C_AO@G?k?]?L?D_Bo@g?k?]?LG?c@Q?X@{`EO`FabqPwwys\]MpAE`CO`wOCGICBAB`Ao`GDsAq@Z@O_goSgICDEAd@R_ioTGIsDaAn@X_lOUwHSCmAX@L_fORwMcFYBj@p_xo[gL[EuBX@g_tOYWKSEQBF@__noWWmCVEJdDrayP\WtKYmLTEgbRPhws[YULHE[bLPewrkX}K|EObFPbwpKWiKPD`appWgkcUYJJDQahpTGikT]IlDJadPQWhcSyIZDRaiPSgjkTqIvDYakPUWj[TuIxDPafpSIPPGecPQFhAC_YOXGYcCQDgmC^yJPGAauP}gmc^yNpDya}Q?ghc\iIPFUbmPPg{CTYIpFibqPSgjc]yJHFuaoP{gdcSIHhCyaWPNgjcNyG@DeaAPWg{CNINPBybqO|g[cSYFXDM`sPQhACKIOpBIcIOpgVC^YNXA}`YP{gUcNIDxBy`[O|gxCHyM`AebeOggTCEyD`@u`UO[gKSEiBLF?_bPpGFsZqAD?cbXOJGvSAaLl@[_NOTGCSDa?t?Oa~ODGms?qJt?K``OCGXS@QEL??`~P@G@SOA?L?C_dOSG@S?AA[~[bRNxGtr}ALS~SbvNsG}R|aNk~K^vNpF}R}`}S}wcPQHFwS`p|{}k`vNkG\SMP|k}k^\NkFvrzP}DB_^DOuFqSLp{\BS^BN^GYRwAE[|WbLNWGsRtqK|Ew]jPkFhsZPydE{]bNQGws[@yDCG]ZPCFfsOpxtAC]TOaFeRqqC[{w_vNNGMrrQBc|G_LNOGCS@pyKhK^zISF~r~`QTAk]BOkF`sI`wSzw]nN?FjRnpzCzoaTM|GcsQ@v[zU\nMufXCXYKWzQ\ePcgzbkHtxFY\aPtfUCTXthDQakMmfScEHtX@i\SOXfRByHsw}i^QMggabgyGoyUaMMcgrbghs@EabKM`fpBehrW}Q[wNbfEcYxpXEe[WPifAcKyEgw][KOse~bxXo?}][ANee{r]xnS~OZlNuE{R|Pm{vQZjLrexC_Hm@FyZaP~fsBZhlw}i^QLlesCYHkxEYZQPfeqCZiL_uYZIPlf{BWX}wuM^qLagEBVi@ouA_YL^gRbUHjPAaYqOhgNbTXip@y`?LVfoBSxiO}E]}LSefrSXiCso^bLMFxrRP}SsK`BLDGPrPACT@SY@OVE`SD`gL?cXzOJE^sA`fsrg^zN}E]R~pf[rGaNPDEXrKQGsqw`lKoG[RJqE{{gXVKlFeRqpdc|sXPN]ESrI`zdG[W~QHEOsa@cCpw_bK\GGRFA@{|wWrKZFmRvPbTGOWlKWHBRDqOlC{WfPOEIsR`ad@OWZKMGHRBqA[oo^tN{EDr}p`Soc^NKFFrRA@{kpAWdKPe?cXX_XEMWCPcgmA~iJWoAasJ~d|cQH^hCiVwPHd{CHX^PAYVqOcduBsx\o|UVYNSgEAyX\X?y_YJigdaxiH_maaYJffbawxxGmU]OJcdmcWIKOl}bAJ]gpauiKglqbGJZdkCWIKOlebAJVdjBuXzWlQUiNYdgbpHYW{YUcNDddcHXX`AQUYOeg{AoxWPFibqJCfbanHxGjy]OI|d\c_YOWjecCIydZC[xV@FITmPsdYCYhUhEmbQIrdWbpHU?{YTcNDgvajhThFEb_IndTbuxT_|iTSNXgyaiIMwi]TQPudQcFiC?iY_}IcdNCWiKGiAS}P_g`AeIG_hiaEIXdEC[hPpFQSYPrdCc_YOWgicCIJfMadxQgx}SkM]fGbdxqWxe[cMWfCB`HpOwM[QMAelbbhq?tuYwMNfIBQXqosm[iLIebB@XgwoYWGLGetA|X]wuqVkLjePA|HcWnMXGJqdoBLX[OrYVAKsddBmhvGka\oJHeRAphcwk]XIJDd_arhW?lAT}JNe[aghSWr]XoI`e}AfHnohmZyI\dvabx]GhEV_IOkG?BgAC?}ok?P_HoCgAs@Q?jNCfbRpXw{{a]RNIfeRqxxs{}]ZNOfhRsXyk|M]hNVfkRtg@K?a?T?G_DOAWd[QuHXCmaVpKGeKRMHdCva[pMGfSRqHv?^_NOFWScIYDJAf`SOiWT[IiDXAk`TOiwT{IuD\Ao`XOkWUSJADbAt`XolGUsJ]DpAx`\omgV[JiDrB?`_onwV{KEE@CaaQPGwasPaGnCRaIPDW_KOMGDCCaAp@g]kN]FlBV`kouGZkL}E|BM`gOrwWkK]ELBC``oohQShQSfITdJqdhs{yY\PMifTriXrsx}[zMZfLRfHncvyZzLXelRUHiStMYhLEecRPx\{nAVbJrdyQ{h]kn]VlJwd|Q}X^knqVvJ}e?Q~x\cmyVZJadoQwXZSlmUxJSdjQtXWSkQUFJDdbqphVcjyTzIud[QlxUKjIT`IrdYqlHTki}T\IidUQixTCieTNIddRQhHR[hqSzIOdGqbxPSgmSRIHdDqahPcgySZIMdEqbJ`plovPZiLnUvR\LosuJ[JLbVBBWdiourYmLlujRZTiosnYmLKujRRDhKs`YNLGucbPtgkstYLLMUbBR\gcu^YGLeuabXtfWwPXwMCu\r`ThsrlY^K{UfbM|fKstXtLMU\BR\m{rZZmKvu{BLtektLXiLRuiBLde[shXhLJUYBQlgkrJYLKqUXbPdf{rHXeL?u_BKld{upZUKoUVbY|dkuxX\LnUVBZld_tvXYL]uURVddSwJXUMBv@bI|dGvDXSLpuSr[dj_q^XPL\USBVLdCrDXbKfuSBKLcovhZuKfU|RHlckt`XHLVuQbULc[vbXGLxuPb]Tc[uXZIKcUPbX\cSwPXBMDVARGdk?qDY}K_UnrGLokpz[LK^vBBFtbgvtW{L}UMr^\bgrTWzKuUNBL\kCprZAK[UorE|bOvbWuLxuLR]TbOs\WuLGULRP|bCq|WrKoUKbJ|awufWoLiuJrYda[trWdL\UHbVDaSqjWfKjuHbItaGtLWcLRuiBC\`{pnW`K[uGBFD`{pDW`KPuHBCD`oudW]LguFRYD`ouHW]LbUFRWl`kwDWXMAUEb_\n[olZxKKU}BA|`SvLWSLruCr[l`?vDWQLqUCR[\kgo`ZKKHUqrALk[oZZHKFuBbXD`ktjWXLZuEbUt_{sFYAKEuBbOdfsojX}KIU^BA\N{u\S@LfurQ_Db?oTWnKEUArDt_OvVWELuu@R\diKoBWBLQuhB?T^owJV|MBt}r_t^grBVxKpt}BKTf{njY@Jzu_A}tfCndVsKwU[a}\]{pVVpKUt{BDd]WpPVgKTTxrDLfon@VaK~U^Q{LdKmxVYKiUSaz\e[mdXhJhuYAyLmkm\ZlJgUzAx|[GwDVCMATor_\oSl~V@MBv@awDoCl|[@J]v?QvdZct^UzLWTmbULn[lTUkL{tir^DYOvtUeL}ThR^\YCpzUbK^TgbF|X_sDUYLATeRO\XSthYrJJtdbUTosk`[JJGvBAp|WosJYFJFTbROtWKpZUDKUT`BD\W?wDUAMAT_R_\a_jzT~KTUIQntV[vJTxLrt]B[tU{uPToLbuqQltUksnTkLKTZRRLUSufZTIrutAkthOixT]LJUdQjlT[v|[?IjTUB^|TSu`TRLgtTBYTkCi`ZBIhUoaiLSsv|TNL~v?AhtlkiNTHLktQBZTRwvhZuI_U|Qf|RGsPSsLDTKrPLQotxSmL\tJRVlhshFY^IQufacdg[hDS`LAtGBOtiggtS[LSuiqb\PGtFSRLQtCRSdbKg`WpIFUKa`|O_sbYQIDUcq`LnwgJ[?IBt@b^|i?flYaH{UgQ]|jwffZ?Hyunq]dNGtjRoLZS{RU|MgrZRkKvsyrLtM[qBRgK_SyRGTccfHRdKdsxbHTm{fFZoHouza[TLSqpRVKlStbJLdsedX[HiUUqY\K{olRPKJssBBDl{eXZ`HfUwAXlmgeLRGLsSpr\LK?qFRAKaUPQWLl{dvZ`H]Smb[DfKdhXtHZU\AUlJCqXQrKfSkbHlIwrrQoK|SjrN\icdVYjHUuiaTdISvzQfL}shb^lIGtdQcLYSgrU\lWclQWLkUtqQ|HorrQ]K|sfRNTH?t@QQLPScRSLHOr`XqHHu[QQlGswRQNMDSbb`D]Sm|VbJntxAzl[_mhVIJjTqQyl]clfVjJYtyaud[WlNVFJStpQtDYsk|U_JVtjar|XkmVVLJMtrArdWkkPUFJCtaaotUGhvTcI]TNQk\T{hpT`I\TWAfLR[n|SuK?TLQ~|VOh^TuIWt\QeDSChLSgI`tHqgTPshRS^ITtFadT\[ghVXIJTuAalOGjbSCIxt?qmTSOfrRzIbTPQ^TZWf\UwHvtlq\lLwl`R_JXSvquLLonXVmHmtzQZ\P[epRYIKtEAZLKcirRJIlsqajTSgeFRDIeSpAh\JwgVQ~IEsnQ`dNodnQxH}s~aVDI_jtQiI}SiQn\_cd@WFHOuAAR|HkjPTiHLTYQRLGgkdQKJISaqq\_uo^WMkIUDZA[\iMvFXbyP|g}k]UNNFebtpzW|c^uN~F}bmpvGzs^ENfFqcCqAx@SFmBx@y_}o^wNsGeCVAI_ioTGI[CqAV@I_eoRgH{EUBL@f_mOVWJsZILhEra~p_WoCU]JRDganPWGj{T]IjDUacpQwhSSqI\DLakPUgjKS}IbDOjDTaypLTMijTSiYtLyetQ}hbSoiDtBY`dJidxQzhDsbIPUSHGKcTqCHD{_yPZGKcQqBhDK`APNGIchqRh@KdAONHybvq^G}[faNbFgcKpzHBk]iOvE{cIpmHA{ZiOfEqbyplg~KZQNnEecuqZgt[YaRbE_coqWgskeQLFI?bJq^grKgIKjFaazpxgn[]QJrDoccqRGmkVIQVIAavq^glkgAJVDgczpXHM[UYRjD]c~pWhO[UASBDScnqVGi{TIQvCsb|pMG~{RYNzGCaUq?gdK_AHVF]aPpHgzk]AHJHwaMq^GcKfiG~HAaGqPgakcQGfCCbjpAGz[OYMrGA`rq?G\[_QFREq`lplgZ{ZQEzGe`hqIGX{aQEbAqcjokHIkJQQrAicWojhEkIqPfAGcbo`hGkGiQFEw_ypnGNKZiBn@[coqXGKKeIA~@QczoTHM[fQAb@CbgoQGykCYMfHg_XqYgEkeY@nG}_WoJHGKbq@^FI_IoDgx{[q?q~ibapqF|z}qMM~cctnyHLJ}YRM}absnhg|jyQNVGi^MqJfsKap{~GQ^JqDfr[`P{rGE^DqAfpzwqOQ|}bapqFoZwAMM|wccqRFnjviQVFI]xn\gx{[pzi|_cinXHJJuIQnGo]nnUhEZtqPjGw]_qLffkbhx}{ucunMHMJriR]{sclqVFeZrAQ}{ibjnJgzZqqMq{_brnGg{ZpyNI{Kc\qLfaKb`w]zwc_m|hFjnQP}zqb`pnf\{[@vazUcNqGfZ[a@uqyqcKmlhBjjQOvFs\UmkG~K^Xt]yMbvmcg}ZhANayGb^magwZgqMBFy[zp~fN[^prqxKcNqGfIKa@q^HM[_mPHIZcIQawsbgmMGyjbYMew[bmpwFB{\xpBDK`iouGiKLYI^BG`|orG^kKiFrBAakpVGW{TiEJA{bLooGrkXyD~Bk`Eo{GQKMyC^A?bCo`GpkGIKV@a`HodgK{HQBJAu_OomgC[Ja@I|S_CnUG@jtY?V?A`No@gS[?QDA~{`Qo?GTJ~yDN@g^woZF}kEh~e~WbGpcfzkWx}vCq^jpKFy[Qx}jDE^enrghZ|AIQ}y`xnng]zzqFi}g_|o^ftjyiBy}O`KndGRjxICu}CaJpEfpKP`{M|M_dnSgHztAAZ?e]cnRGDZsi@R@m]`o[fg{F@yI{c^onIF{ZqX}~E?]Mp^fbKVpwvB_]JnCg[jpQFE|e]@nYf_Ju`wIzya_pPF^znqIFCA\pmxg_JmQF}z]\tmvF\Jm@vYzO_FoCfYk@@uf?}\doOfX{C@uZEk\amqGuJkYL]y}_[oNFWZkA@u~?\RnpFTZ{HtQyY^VmffuZhp|ayw\ImnFRJjhsm}s\@nmFOzgP|mxo]BnAfMjo`re~E[tmZfxZ{`rYxgb@p`fKzeQKIx][}mWfOJe@r}xW_MmVGBZdi?~@W[joUfI[DXqixE]umQfmJc`z^Cy[\pNFFzbqH}wm\OmKfSjb@tFCI[SmJG`{OppUwa^zn}fCzaP~q@^?p_WOKgEcBNSifZtJHv[zah^ScfTrjidKyqhNMWiTrfId{xihZSee@tIH_lQQWNS?iNtGi_lOIhBRyhRs~iT\NqdRPsh^s[iW\KAbbPKiJtCiH|PQabPEhQsgIH\CadFQGgVsKiPlBAcVOMhBsBIOl?icFOCgksVI@L?YavQQg@scH~|Gy_BNqf{r|h~k~Q^vNmhIr{IRLHY^ZN_hvrwi][}QfbPefjruILLEQ]jNEdXrpHT{{ITbS[f_tEHv|Pi\zMohjrkiZKzQevMchariIXKyYeNRIfNsrhs\Kq\BSEfHrdi`\Oa[jROfEstHqLLI[^Lsg}r]IOKvYb~P]evsWhm\EAZbLUhmswHj[tae~LOhyrTI^LNYYfPueds]HhlFiY^LCgtrQIL{sYbZK}ffrOhy[sA]bSKe[tCHflOyXvKkerrJhkkrAZFOyeRrIiF{qa`zL[eOrVhckuAXFNGeLrrHb{{iWzKSeXrEHekpYXnOaeCsHh`lAQWVK?g`q~iGknqaBKQd|q|haKnaW^OsdwsMH]lBYVfJigJsEh\{mq_rQYdqsfh\KmYczJ]esrZH[[uiVBQwdksnHZlJiUvM?dhr`HY{wIUjNedeqsH|[}aU^MIdbr`hX[waURNYd_rvhWk|qUFIye|qnhn{jqZzPQdYsThVLDQTnO[dSsGHTl@yTVIegTqhIDlAaTFQsdMslhSKhydfIUgGqeiAkha_fIShuqci\KhAfVIMhrswhPlMQSVIChUqaIUKgYd]?n?X_KZBTguo|YPkMUby}DgunhYPjxUbzIte}qtXrkkU[ZMdcmrpXNkzURZLDb}rXXBk_UYzKTberLW|kqUMzDdgEsHWpl@UJz?Tg]oLYJkAUaZNT^uo@X~j~U^YxT[}mPVPjbTrYwT`Mm@WPjaUByvd]Ul|VfjsTmy|TZUn\UxjuTlzJdY}r@UrknTkYtD\}lXVbjTTwZ@DXuoXU`kDTfyqD\MkhVVjHTtYqtWmktUNjKTbZGdWUqPUHkbT`yzDVejxV\i|TuymTYMlLTviyThZAdU]opTjkJTYYntUEjHUBj?TWyjT^]i|VzimT}YidbMipWvijULYhtdEidXTigUSygTSeiLTLiaTQyfda]pTT@i^UIYfTaEpDSvi[UHYldREj`StivTKoAw@k?r\GlsvQj[|miyNZambvQJ[lsivBY]mPugjc|iAxJ\?luu{JglsIv^Z[m[uvje|lixjZ}liv?jZLoAunZqlfu|jY\nQubZGmAvAJXloYuV[ml`vKjW|kQxbY{mTunjdlqauBYum\umjf|jaxzYomDulJ`|jIwZ[UlTujjb\patZZwlQu~JTLnitNYWmGufJalhiwf[[lHvGJQ|pysj]amkvhJj\yAyz]enNviJr\yi{z]AnCvbJo|wi{J\{nHvbjoLxAz~\cmtvYJl|uYzZ\anJvVjrLuA{j\Qmwv\Ji|tQzf\umev]jiLvay^^Undvrjz\{q}r]knavkJxLyy}N^On^vtJw\|I}B]wnXvljvlzi|i?CnsVzo?T}q~e?EntV{Z{O?I}z^e?BVwZ{_?Q}~