CAT(3062,1)
Sparse6:
:~?nu_?O?G?CBg@\?o_VoOoFSBq@v?w?]OMOFSB[@v?p?YOKoEkBW@d?x_ZoMGHcCyAZ@J_coQgHCC]AL@K?`oR_GcCsAJ@A?^oOOFsBsA@@`?VOKGD{EMBB@a_h_WGI_D}Ac@]_moUwJcDiAr@W_j?WWIwEMBC@T_f_VwIGEAA_@]_{_LGEsBUB}@x_|o]gNWEaBq@f_|?YWMCFIBb@i?zO]?LcEkBn@d?zO]?KcEWBn@n?xoZ_MkEsBh@@__OOgQwHECfAQ`H_agQGGeCcAG`@_cGO_G}C[AA`A_awOoGuCMAK_}?^wNoGEByA?`M_gwSgH}DGA]`L_ggR_IACsA``I?dwRGHUCkAW`X?]GMsF]@^?o_VONWF{By@~?|_^OOGGKCIAJ@C_`oZWL{EyBV@k_tOXGKsEUCnAX`KOdWQcHYE`BQ`gosOXkLGE^BO@fOoOWcKWEDBD@`oo?X{JwE\A~@eonOXCJoERAz@bon_VCK?DrAy@^oq_UkKoDnBJ@ZOlOWSJ[EFAu@_ok_XSJOEVAr@eOpoUcJKERAq@cOjoVCJgDbAo@[okOVkJ?DvAn@]Oh_WcKWDPBD@RoiOTcIkD\Ai@UpB?DSAa@R?l_ToJGJsEAA~?p_XoKgESBM@b?t_ZOLGE{Be@p@Q_iOSwIkD]Al@P_foSGOsG]CJ@~`?O_WNsFuBx@|_~O^GgOROH^CtAUpKodsQgHHCkARPIockQ_G~ChAOPF_c{PwHHC^ARPG?ckQ{GxC\AUpJ_b[QGGrCbALPGObCPsGjCVAMPD_b[Q_GhCQASpCoc{PGHBCRAPpD?cSOcHbCJAWPA_eSROGVCtADPKo`KO_GjCFAJPDo_sO_GtCWABP@obKLSG`BRAGot?`{QkFtB{AUPI_^[N[HdBxAWo}?eCNUFlBs`xo{g]KOKF`BmAAp@?\{MkGXBkAFPBO\kMcGDBiA?Oy?_KOoFJBfAFOx_`kNsFDB~@qO~_[[L{GFB`AAow?_cLwF~B|@mov?^sO?ErBZA@P?OZSLWG`BWAGoto`{YG@D?c_PoHWC{AYGTCJaCodWQcHYEfBT`iPoOuSZMLhEnBXpj_uSZ?LhEmBTpjOuCYoL^E`BSpfotSY_L@E[BMpfOrsXoK|CwaZpLgfSRmHrD@BWpNouKS?LbC}BSPiOfkRoLTElAvPj?lcUsLVDjBYPY_uSZKJRDgarpXgkkUMJHD_BQpW_ssUCLND^BOPgOjsTsK~EYAmPeojSXcIvEaAjph?jKYKIpEUAipT_rCTOKnEYAgpeoi[XcIdEUAfPe?iCX[I^DKBIPQoq[SsKjEaAcPQ_scScLFDDBHpPoqkSWKhDABQpOos{YWIHEOBDPb?qSWkKbE?B?p_onsWGJ~DwA|p]_nkVcJxDvBAP\OosVWKJDrBCp`omcVGKPELAvpbomKWwJ`GfBNPfWrcAa@T?h_SoIgDCAm@Z?k_UoIwDcRyHxC|a^pOWgCaSPbGeCXQK@CcaSPfGeCYqL@CcagPDGkCPqIpCKasPFG`CVQG`D{a_O|GfCOQIPB{a[MbFOCSQIOyS`]OlGTcHQDHA[`CPZGOCVqBpDsaoO\GiCEqIp@cbSOVGrCDQL@@KbGN@GoBoqKOz{\WPrGzBjpu@FS[sO|FMCOPrpB{bWMXFIC[QLox[`kMPG\BbqF?xK[SOzGZBbPp@BcZuLvE{b^PnwwCZ_PrExC\QMovSbWLjEvCZqM?us^sO@F~C@P~`?K^gOLF{CBp}p@C]wNbFnBxp{?}S]kOpGYBupz@BK][NjFeBzPxO}c]KNpFxBqP|o{S\oOFGDBnQ@?zk\gNPFXBtPuo|K\KMBFBBipo_yciG@D?c_PoGgCcAM@L?f_QoHwCsAUFzB}`~p?G_SOEGFCDaAPsGyK\IMjFSbhpoWw[[ILjEvbZPlWu{ZYLpEyb[pmGvSZeLvE|b]PngwCZ}USJNddasHYGkeUYJCdeAoxXokUTwI|d^amxVOjyTAJFdNaphS?kaUSI`ddagHRwkeS{JAd_AfHWGhuUEI[dNApXW_huSqIgdSaexTOhiTUIZdUAeXTghiSkIadJahHR?iMSmIfdKAhhQoiUTQIQdTAcHQGiaSTIKdDqaHO{geSGIpdBAkxOgjISAIdd@ahxOOiYR{IldTa_HNwiqTCHzc}ahHSWfqUWHwdfA]hXgfeRiJPczarxMolAReIycxAnHM_jmTmHnd[a[XV?fAU?HecsAoXKwkIR?JEcpAqHKGk]QyI|d^aVhJwjyT[HYcmAkHTwdmQoIqckakxIwjETgHUdZATXUgdQQaImchAkHIWi}TiHMdZASHU_c}QOIvcdAmXHGjaQHHBc`QPxGkcYPzG}c]QOHGKb}SeHkdIaZhQ_euRQILctabxLOgyQYHbcdaXXH_eQYSERbIpdGqsXaKnEYbLpeWr{YEL@CwaZPLwesR]HpCxa\PMwfSReHvC{a^PNWf{SEI@Hncwq[HMSfQRfL[EcrPpjstsYPLGEnrQPkCs[ZBLCEkRP`issSYnLXEarUpgssOYtJrEpRX@]cnSZFLXE_rOpj[tgYDK}EdRO@hcr{YVKzEnrN@kKrsZ@LgEURJ`lSqsZRKjeTRIXcsqaXNKVErRXPbKp_ZNLSEJRTPactKWjKPEjRC`i{pKYpKMEmRC@jso{YzLdEDrB@k{osZLLcECrA`kSo_ZFKDEeR@ph[oWYTKAEerRp_cswWFLOD~rS`_CoCYbJ{EirSp^stOVzJzEerRp^KswVtJuEgq}@iSn[Y`Jldvqzh]SnAVbJhdsQxx\cmmVTJedqQxX[KmMVDJ]doQvxZklqUvJWEtqu`lklcZXJTEsQt`lSl[ZRLjDhRZPYcuoUfKbEYRHPe[qOXdKpEORG`eCq{XBKwEMrM`b{rcW|KYEYrF@e{pkXlG\cMQExBsaAO~E|b]Pmwvs[AL~MqfWRkXtsy}\ZM^FrRy@sCxw^NM\FtRep|[xo^RNjFKRyPrS}g[rMTFrRy@q{xW^NMEFpra@{kw[^HN_F@r`P{S}C[HN_F?rw`oC}C[DL|Fpr^p{kvw^HLteyR\hm{veZpLmewRZxmKvIZfN\Fdrvpxk|w]XNDFgrppy[|G]LM~FfRoPyC{?]^LyF\R^@v[vk\rMkFkripy{yg]pMfFZRiPvCy_\nM{FQRh`vszs\JMrFOrlPs[zO\DMQF`RcpwcxO]FNHFFrc@xSxC]PMKFlRb`zcws]vNSFCrtPp[|W[TOxgZsMIEdBY`jNkGQrzaC{}s`LOaGVSGqEDAO`^OUGKsEAB\@[_tOLGBsAQ@|?w_POjGASJQ?tAo_JO@GHsDQ?\@O_DN}GMS?ABs~{_zOIF|sB@~l?k^xNwGGR}aAS~c_bNtGWr|qE[~W`dO^FxR|ACK~K`@NpGSSI`|{~?`RG`cPqGhCsaQPJKxe\RMHekr]XlKseXrKhd{rEX`PlGrsZqLDEwbRPgGtSZAK|EcbVPdGysXaMdEObfPcGwSXaMTESbbP?g_sOiKLEIbFPlGbSZqHDEwaNPBGxsPQMlCObhPkG]sYaF|BwbVOyGxS[QFdF?`vPYGmSUAJlDcavP]GisTqKDDWa~PKGfsRaILCsa`PQGcsQqIdDKaTQeDJqeHQshiSrIZdMqfhRciATBI^fcRqhxK{U]NNEf`RpHw[z}]BN?f]Rnhvkzi\vMxf[RlxuszM\jMshWClYUHJ]d]QuhVckiUHJQd_Qrh\cjITpJudwQlhUcmITpJedsQkhTcoYTHKMdSRAh^CiYTPKAd}QjhRcqYWxIadKRGhaChyWpIaeIQeh@CpiW`GQcERDh\cfYVhH}dwQ]hLCpyR`KecuRGh_cdyRHKMcoRAhXCdIUXHUdgQUhGscyQTGyc`QNh[cbIPXJacYQyhCClYPPJ]cQQuhAcniOxJ}cKR?hQc_YSXF}dGQ?hQc^ISXFydGP|g|CgINXIIbqQ`hOC\iN@IIbmQ`iKBPHgssUYNLHecSCyAl@Q_`OQgGsBi@|?u_TOKgDtFAcLPshFSaILtFqb\Poh@S\INTIQbDQ_gtSfIKtEAcdPchJSYIRSwy[dMIfzR~h~S{AcTQKf\S`HvtHq\\QcfZSgHuTFa\DQ?fTS^HssxQctM[hHReIQtDQZ|P[fBSUHoSvQatLwgnR[IItCaZLLgghRZIHtCqYtPOepSQHjstQ`|PCefRSIGSsA`|PCedRPIGSrq`dOwe\SLHesqa`dOseXRJIFTAQ^TNogVRzIDS|q_\NcgJRwIAT@a]dO[fjSGHzS{Q_TNKg@RqI?t[alLUmjTTgirTXyehVAheTpiYDZymHRAhcTniwDKYl`Qyj[SniudJYdPUqhUTmiudJIk@Tui}TainDWYihUUikTbiiDXIh@RYiSSwicdLyixSUioTEikdPyhXSIiYTCieDOyfxTEi?TQihdOYfpTihyT[ildNIhpRei_SzifdMiSDIEdDQbhQshIo`XqkIU]jBDfYrLXmktUIjDtbIsHWel?UGjBdfympXqjmU]iydfYmXX}lATqiyDgIqpWEkoUBjJd_inxXAk?UPjHD^iqhVujwURi|ddIphVak]TyjFD]Y`dOygZSNiGTCYaTPMghSTiJtDisP[AmCUcj_dgywXZumIU~jaDnivP[YlwVGj\dpyvH[ilmVJj[DqYu`[AlkVAj_dlYuTZElfUmjWTjytX[MlYVDjUDpIt@[elQVJjdDiish[YmMUfjRDqIldUyjZToiwtZy{|]anRVejqTxYz@]imsVkjkdyy|P\UmmVkjtdti|h\In]VSjvDsy|h[}n]VPjvDsIx`\ym[V_jedvyzX]EnEV\jpDvJ?h^}oMW@kBE?I}@^qncV}jwd~Y}p_InoWCk@d|y~H^MnuVtj|D|J@p`Eo_WRkFeCj@@_moSWLkCeBGT{JED`Dtazp\gm[VQJdHPchqShHsdAQ^MKfFRbXpSwm[RO|g^sNiFdBi`vRthzS|I]LNMfdTuizt\YmTVQjfV]joTvyz\\umxW}KaUPbGDcSp~WzK_uNRG\boqDW}K[UMbGDb{prW|KZUMrE|bopjWrK[UMbEdbGprWnKZuKRElb?plWrKUULBDtbGpZWnKSuKBDTbCpVWfKUUIBDtaWpZWhKPuHRDTaOpVWgKOuHbCTa[p@W]KPuHRB|aOozWZKOuFBCT`gp@WZKNuFBBl`go|WSK_uDbG\`SqDWVKaUERGtcSopYB?JOEGA{@e?t?Z_MOFgBkAA?~?`aBPAG_{]UNNFebppxG{SneVvJyd{Q|x]s}q^\Nlfvr{X}DGIcHQBhBS`YO|RahlSvi[tMyfTYilPUhjQthyst^AndVpjxt|Y}djKtlYtLZulBVDjct`YyLXUmrULjKtZYtLVulBTtigtdYjLWujBUDi_tZYnLRuiRTtigtHYkLRUirSliCtNYhLPuiBSThwtHY_LQufrSth{svY\LOUfbRdiCspYbLLUgbRLhssjYULLudrRdhKstYSLKUcbRLhSs^YVLGudbQDhGs^YSLGUcrQLgusXYMlEUbjPlc[s@XHL?uQBOTfOtlXuL[U\RU|fCtrXrL\u[bVTgcr`YJKvuabLtgkrXYHKuuabL\fsrPX~KtU^bLLe[rtXeK}UXRN\fsrDX~KqU^bK\d{rtX{KouWBN\dosLYGKnU`rJlgKqrXZLAu`BJTdWsLYFKkUaBI|dKsFXTLAuTBOdd?rpXQK{uSRM|g?qZY@Kfu_bHtcgrnXKK{uQrNDqG?T?K_DoBW@s?}x[?P_GOCje_@M?j?SmZVLZedrQxl[tmWenJVprMxcY|lrFFZb`mavM[]ltfFZbpmevS[[mWExZdxmMx[ZcloFJz[HrAx[ZamUEvZdhlyu}[jllFIJZ`qiuu[hmUetzZHqmxWZWljFIjYhqaug[hmQesZcxlIxKZRmPerjcPlAxGZNlefHzXXqUuW[emPEqJXPqQuQ[blbfFzcHkUuK[_l`FKZW`rMuE[ql^fFzcHkAuA[_mJFCJb@pIwm[PmFfDJ`hpUw[[RmAFAj``oYwU[Dm?f@z_XoewC[Gl{E~z^Hnyw?Zylye}z]xnuvkZ{mKe{jbXnQwsZrluEzz\pnEvYZonFFFZbtpq?p?U_JoEGAs@]?t?Z_KoEWB[@i?z?[_NOFGBs@u{{]MnGFfzpxxu|?]MnFfgjq@yE{U]XnEfeJp`x]{s]JnMFbJrXwu{a]HnHfajqPwa{Q]SnDFdjp@xUy@\Am_vOzglsQzw]_m~FgjnhyEzq]\m|ffznPxy{s\unLf]Jr`v]ze]Tmyfdjq`vQza]XmxFdzm@xa{c\lmvFcZlxxMxm]EnAfMZf@w]{I[ynBfNJoprmz}\in?fZJo@umzM\`mpfYZl@uIzK\]mqFWJkht}yo\TmkfTjjPt]yu\QmmfTJj`tMy]\HmgfQzi@siyK\KmefQJhps]xy]Am^f_zo`ry?T?K_DoAg@c?m~m]DnBv`g@{?y?Z?L_FoBgAC@E?d?Q_GOCZM|ferpXyk}U]zNlf}r|Y?l@U_[?H~^?C^wo?F}Z~I?Q~m_Dn{G?z}p~m~i^{nyF}j~h~U~}^un~F|J|X~E~e^lnxFzJ|p~E~e^onxFzz|A?}~S_PnsgCJ{y?R?I^eo@fx[?@}J?C^co?fwz{H}y~?^onnfzzz`~u}{^~nmf~jzH~i}u^{nlF}z|X|Y~Y^WnuFtzyY?Z?O^TniG@zxt{}}Z^OnhVsZxQ?}}W_PndgCJwy?Z?O^Gncg@{@H{Q}K_JoDFp[@`{F?[^BoEfok@H{B?S]}oDfnzvY?q|y_Mn]GBZuDzE|^]snXVkztLym|T]knUvjjv@yM|I]yn[fhJspzU|O]vnRfljb|qEx@[imSvIJd\qqxZ[pmXvKkLyARBa_eowGH[FIEZ@u`go\GX{EqE~@o`poZg[KEiEZBO_roYGX{EAEfBU_qoWgYkLaAvB[_nougJkLYAj@W`ioTgY[LaA^@Q`lovGIKBuAB?~_`oPwGkBE@j?r_ZoMwFKKYDFBI`RoqGSkKACzBA`NopGSKHYDvAY`^oeGVkIyCbAS`XokGQ[JQCVAw`FolgPkIiCJAk`Co`gTKAYCF?g`?o^gCkAiBz?m_|oJGNKSiFJDM`spRG[{RIH~Cua`pLGgKRaHZCoa]pJgf[OyInDYaHpCGjKOqIbCIaipAGi[OIGvCEaNp@GbkQYFzCia?pIG^{QAFnCc`|pGg^KNAGjCW`yo{ga{SQFVBmacozGg{Xw@}@B?__NoGWCDmYvPZfltuyj\LzU|n]un[VmZvULxEpbYPoWuSZ}LlEjb\PjwvCYuLHEpbYPiWuSY]K|EjbPPjwsCYuK|EXbMPgwsCXmLHEXbMPiWssXmLlDhb\PZWvCUmJDE|arPoWkcZ}IxELaoPcWjsW}KLERbDPdwpCXUJhE@a{P`WmsWMJ`D~a|PZwmSVuOw{P]HnDVazplwq?f?T_IOCwAk@Qxr[wmZvMjfdrnAz`^onWUkJeDnAn`XokWT[IuDR@x_}o]wO[GEB~Hac\qNhKKbqQ~GwclqLhJkdaPjGycVqNhE[bqPbGgcYqMHDkbYPVGacbqHhH[aQQRGac_qHhGkaQQFHQcMqGHI{dQO~HKcMqSHB{aAQ^GgcJqJHB[aiOrGUcVqEhE[`aPbGIb`qBgw{_qMJHWcAqVH@KdiONF}cnqWh?[_ARBFwcbp~HH[^iQRHQbxp|hI{^QQjHKbuqSG}KcyN^Fec_pyhGk]aQFF`bqpwwz[\}MzGObiqDGzK`IMnGIbfqBgy[_qMbFGcGprHAk[iOfK?^pnxv{j}t~Q~jaRpIwdKQEHJCbaLpFwbkPUGrCVeHR@xacomWlKHeCRCX`SouWLKNe?RFx_cqMWDK`e?REX_cpuWDKZeNQmXVcqMTtK`eHQkxasj]WhItdURBXUCpET\KNdTREXSspuTPKZdLqfxRkhUSrIVdFQ}x^chMS`J~dCQ}x^sguVxIJd@Q|XOsneSHJvc}Q|XOCneR|Jvc{Qzx]Sf]RtJpdsQ[X\SfUVXHrctQzxLsnMRXJpcqQyX\SeeRLJldgQtxYclmUdJXdmQqx[Ck}U|JLdaQwx[skeULJdd^QgXSckMU@IbfYRdxr[xe[bMTfHrjhe{zIXvMoe[rjheKzIXjMoeXrJhtKqi\VMkeUrHHtKyqXNKgfTrZHrkvA\BLmfNrXhfkuiYBK}esrWHs[uQ\NLafQrVhnKtiZvL[e}rTHn{wIYrM?ejr`Hh{waYfMEegrQHpkwiYZLIfFrOhm[sYZnLCeyqAx@{_uObGTcHruI@{|q_fNYgGr{X}[~U^VNnfusAH{l?i^NOKfssBhv\@I\~OOf]sAHul?q\rOIfZrsi?\?Y]nOCfirri?K|A^zNKf~rphz{{i^FNGfor|hwK{Q^vNAf{qyX\kmmV^Jrdwq|X^Kn]VvJ~d}sVIAlEA_rP]gJsQiI|CyavPKgksWiGlCabNPEgqsSIG\DQaBPQg^sVIFLEA`zP]g\sKyElB]`ZOpgVsWiC|EY`VPcgSsGII|AIavOcgksEiIL@yajO[ghriXtkym\^MrfWsfyS\IEcvQXhMshIOLIacJQeh@shIN\Iab~Qeg}s\IT\Fad^PuhUsiiL|FId^QkgwsbILLHAbZQMgtsciO|GicnQGhIsuiXLKqe~RIhmsoiULJQeNRChXsnIYlKAerQ}hjsmIX|JYefQyhgswI]\NYfJRahysxi\lMifbRghvpeWrkXmUbJTdhqqxX{ku\vM~f]rlXvKz]cZQPhFs`yPLGmhPS\iUTGYdTP}hDSViRTEycdPeg`S\iITGYaTP}glSJiFTEy`dPeg`SDiITAYaTO]gHSJiFTAY`dO]fxSjh|TJY^DQehDR~iRT?ycdOEjTGVcLqEO@w@K?bLZenrVXikteYnOdgOsGyB\@}_zQphYskyU|JmdrUGjFtciplXAkVUWjAtdIo|XYkFT{jCt_Ip\VykZUAizt]io|WQjrT{itt_Il|VyjZTiizt]il|UqjrSmintKik\RAjBTWjFtcijlXAivTQjItTirLTQknToietSImlSyjfToibt\Ih\VIiRTci_tYIglUYiFSyintNik\RqjBTciYtMIlLUYhnVy?C_BO@\ZanvU{j~tmi~lZInvV}jZtlI~lYqnjUoj{tji}|YYn^UijxtiI}LYAnrVsjQt|is\]ykvVojNt{irl\YnFVYjrtuI{l\qmbVSjotsiz|ZymZVAjftoIx\]amJVkjctyiw|cG?]?R?G_BoAW@EqHW~k_UPzGTbuqPW|k_URZHTb}pTXHkVURZDdcmqDWdkbUIZGda]o|WvkPUMzCDbeopWpkMULZBTbMo@WLkAUCZ?T_}oLWRkJUAzAd_esHT^iptWYklUejM?H?E_Ao@G?k?ZYAlHu^jQlhAsBY?lJu_jR\har~YIkrubjL\gqrRXwlJueJNlhirvXqlGu\jQlfQsfXklAu[JPLeysNYGkqu`JKLgYrFXYlDuVjP|dqsZXNkhuSZIldeqnVnjwt{y}l^ennYglkuvJTllitVZ]l]uwjV|mAtvZ]lYuwjVLmAtnYmlkuujU\jAuzY\lOufzS\i]tJZElhuqjY|kaujZKl_upJYLkyuF[GlqvBJ\LoivNZum@v@j^LniwJZol~u|J_LnIvz[MltvCj\|pAvZ[_mRvHJd\qIxR[SmLvFjbLpqwnX@k^uNZY\l]ujZLlgurzhDruxt\Dm[VPzfDsExx[~m\VOzddsUyP[pmVVPzeTr}xl\BmYVOZlDf}sFY@m@v@z_loEv~Z|myVYZnDumzl\lmsV[zldu}zT\pmeVXzkTs}yT\dmvVVZkDvMy|\pmzVTznDtmzh\XmqVSzkTtEzL\TnQV_jr|yI{J]_n?vgJn\vy{~]am}vcjo|wi{n]SnCvbJrLxA{z]MnLvljslzi|R]wnRvjJuLyi|f]mnYvXZk|uM|x^HneVnzwD{m}D^JneVpzwd{e{~]bnOvr_?T|m}_?Enn_@JyT|s?H^Snl_?jzD|{?L^Unm