CAT(3042,1)
Sparse6:
:~?na_?O?G?CBO@\?o_VoKGDsA}A??y_\oNGFSBq@v?v_[oMGEGBQ@k?r_X?LWHKCmAT@A?cOPoGCCCAL@B?^oPOFsCO@z?m_WOJwHwDUAa@U_j_SGIcDMAd@K?ioToHsCsAl?{_\oMgJ?EEBE@Y_p?UWJsEAA~@Z?ooWoJkEGAx@i_uOYwK_E]BK@g_q_YWLgFAB]@q_v?[WM[FQBj@{?WoKwESCqA\@L_roYWLCG_B}AA`A?_WOWGABz@}_}O^?N{FwCB@|@?O]wNKFiBt@z_{o\_OSF_CHAB?zofOQ{HeCpAO@MOboR[GwCtAY@COf?PSHkCRAD@Io`_QsG[ChAP@EocoP[HGCXAf`SOhgRgIMDIA^`Q?fgTWIEDQAa`T?gGNKFmBtAn`WokGU_J]DeAu`X?lWUgIqDkAm`Z_jWRSHqCvB@@[Om_W[KGDrB?`^OnwVWKIDyBB`]?oWWcKUELBH@eOq?X[K[ETBO@eos_X{LCE\BT`hotGZ_BQ@l?t_[OMWE{BM@d?p`Bo`WOsGUCNAE`HocWQSHQClAT`DobWPcIuD\Ak`coqGW{NOFrBt@zo|_^CNKFZBp@to{_\cMkF\Bk@wOzO\{McFhBi@zOy?]kMwFJBf@vox_]CNKFFBq@qO{O[SMAE~B``m?xGZoMMEyBa`m?vwZoMEEyB_`k_xW[wLiEuBe`s_uWZWMaFSBY`k?}W]wL]EkBwaT?IGDSAe@V?k_UoOGGSCEAF@D_aOPgHCC]@z?~_^ONWF{ByAv@\_mOZWL{EyBl@w_zofWR{HyDpAy`[orWX{KyEpBV`jPVOhoTII_DRaf`SWh_TAIYDNad`RghWSaISDLac`RGggSaISDFac`PggOSUIEDFaa@PgfwSIIADCa_@OwfwRqH{D@a_@NWe_RmHeCyaY`MWf?RAHkCqaZ`KWeWRAHiCpaY@KgdGRmHsCfaS@MWd?RqH{ChaR`NWdgTEH]DRaV@Sg^oQqF}Cj`}`IgdgPmGyCnaV@FGbCPiGrCTaJpDga_QYGcCdaH`HGc_PAHKCPaF`HW`_RaHkCMaZ`BW`GQiGUCkaD@IwcGOYGOCbaB`GgboOMH?CCaN`@W_?QEGACbaP@?gboNiFwC_aN_}wuGAM@H?a_QoHwCsOqGZCMbf`mgvcZmIhDTajPUWjCT]LmD[b[@UwvGTiKkEsbK@lWqwZYLmEOb[`cgv?XEKAEzb@`nGoOZiJ~E?a~P]wncVuJoEnbV@]gnGZAJiEsaz@lgmwZUL[DqbV`[wu?VQLWDnaw`iwtgVALWDkbU`ZWloYmLaDhat`kwlOZILaDebX`YGuOU]JIEiap`iWk_YaJ?Eiao`iGkOYeLsD]an`mwv_TuKqERbL`dWrOXQKYE[bF`fgpoXuK}EIbO`bGpWYALIEFbR`aWsoWaLCECbQ@`gsWWUOy?g_TOIWDKAa@T?k_UoIwD[Aq@ZD[alPUxDoauPZGlcTQIxDKaSOxGZCPqE`Cc`gPPGeCMQEpC{`{OnG]CKqFPBCa?OnGaCKqGPBC\MMdFSbiptwys`OP@GUCPQDPCKaWObGgCHqHpAS_yO`GNcDqBH@k`sOPG^CDQF`@K]KPHGdBoqGo{SacM|GjBoQI_z{[wPXFLCUQJ?xc_SODGCCBq@`?[^oO@F}C?p~O~{^cNlFzB{P}_}{]gNZFnBuPz_|[^?NNFqBsp{O|C]ONjFeBxpxO}c\_MvFYBmpuOzc\CMRFOBdProx[[KL~FDB]pp?vs[_M@FABbpp_wKg_@D?b_QOGwCcAI@J?f_ROHgC{AUG|C_aNpGWc[QIHJCeaQPtgy{\UMdFSbhprwyK\AMXFMbepowwk[QMPFFbbPqWx[[iL|E~b]poGwS[EMFFDbaPpgxC[]TgIxd\AkhV?jMTiI{dZamxUojuTGIndPakHSgjETQI\dNaixRoiiT?IkdPAjhSGiuTQIAdTa`HTOgMT[IDdUA`hTgg]ToIAd\A`HVGgMTuIDd]a`xV_gYR}IOd?abhO?g}R}IPdHa_XO?hIR{IIc}aaXP?fqRyIJdEa^HNogqQ?Iec`AiHGGi]T]HBdWaPXU?cQS{HvdNa]HMohuT?HxdPA]xSGfiSaHpdHa[HMOhIR\HncuqYhLcemRMIMcsAbxLGhASUHcdEaXhP_eUSSHadCAWxPGeETKHZcmaiHJ_i]QoIZclAfHROdeQiIbcjahXIoiQQcI[chaexI_hiSmHNdKaSHIGhaSgHKdJARhQgcuSgHHdJAQxQgciQKIVccAeXGwhaPtG{c\qNXF{byPlGtcYQMHFKb]PaItcXalxEOjYP]IrdYAJhE?jIReH_cnA\XM_d}XkEgbTPiWtkYqLVEobVPjwikTYIhDSaipTgjCTeInDVakpUGjSTqIvH@c_QOhGkcMQHGpcXqKhDsbAP^KpE^rK@gKrGY@KoE`RP@eSsKXbLDEXrPpeksWXhKrEdRQ@ekscXhJdE^qxpgKmWY@KlEZRJ`e{r_X^LXETrTpdcqgYpKfEdrIPhkq_YXKQeIRCx`{pEW`KFEiRA@isoWYjLNE@rR`_kt?WHKuE?RM@_SoCXnKyD}rMp^{rcV|K|D}Q}`fsroVvJwE^Q}Pfcn[XzKzDyq|`fKrgVhJpEdq{phknGYXJjEcQzPhSmoYRJmE`RP@]CsKV^LEDsRPp\SsSVRJ^doqwH[SmQVFJXdlQuxZclyUzJSdhqtXYsl]UpJLdfQrxYClEUdLPDbrS`XCtKURJIEfQr@iCkkY^LRDarS`WctCULLVD^RUPWCj{YpJ@EiQopiskGYjKWENRE`cCpcW~KcEIrDpcsqSWlKKEMRB`bkosWvKHEOrGp`[qGWTFKbfPrWvkZ}L|F?b`PoWxK[mMTLeFeRY@xsu[]ZNTFJRtprC|W[nNQFHrt@qk|K[hMPFgRc`yKx?]^MKfDrahpKwa[NL{FfR^Pxcvk]ZLnFhR[Pycv?]fLkFfrZPyK|?Z\NTEsrtpl[|WZTLZemRUhjkt}Y|L_epRWXk[uUZHNHFZrqpvK{g\pMsFVrl`tszS\`MrFUrkPt[zG\XMgF^rnPtSzw\RMfF\Rn@skyW\vMaFErh@p{yK[\M^FAR``sKwS\@M[F?rf`o[xs[DL}FKrepn{w?[tLwFbR]`xC{[ZrN?Eyro`m{{CZlLqF`r\@wkvK]HObgQsHICDAI`BOJGNSFq@l?o_zOAGCSAa?d?c_FNwFkR|`zS~[]rNrGLR|QBc~O_vONFxSC@}D?w^bNlGGrzqA[}w_dNiGAryq?{}o_LOSFrryQAs}__jOVFqSEP{t@_^JN~Fos?P{\??^DN]F{rw@~[|{^tN{FmRvP~s|k^zGYcMQExA{`eOpK`ePrGhccqYXJKZeMrFHbsqAW~PRGnsTAKDECajP[GhsVaIlDsahPZGhSUaIDDcabPUGgSUAITD[abOkGmSJaJtAsazPCgbSPYGLCMaDPUGVsTqEDD_`bP^GSsWQD\Agb@PZGSSUQCtDg`NOzGdSRAFlCk`xOwGbsMaHLBcaPOtGfsLqHlBWa\P?GXsNaEdBG`~QQC}q^hNcf}SBI?dAQ_xOSgUSNIEfVRjxuCyu\XMjfSRihtKyU\NMefPRhHs[x}\@M`fMRfXrsxe[vMYhQCeyShHudKQ[hLcfiRhH}cwQ_hKChyRPIecqQghPceiR@IIcqQ`hIcjYTxH]d[QUhTCdYT`H]dUQUhHClIQ`JUdeQRhWCciUPHQdaQRhQCZiSpFAdIPnhNCaYS@Gmc}QIhBCkyP@JUcMQsh@chyOhIecGQghTC_IOPIqdUQ@g}s^iN|FibvP{gzcgYSXFeboQagyCjYTxFUd[PuhWC[YUPFIdaPrhGCYyL`G}bYQPhFcYIQHEic_PhgqcbIPpEYcYPfgpCbIPpEQcYPbiABKHeSrEXfKteYR~y?L?A^xN}f}r}X~[~i^lNwfzt@q`lOcg^SGIFT@q`TOcgXSGIDtCq_dOWghSTIAt@AaDOWgdSPIAsyY\\MifLRghrsuaaDPGexSPHltAaY|OoerSJHkSta`lLOg^RTIFSsQa\LKgjRQIIT?QX\OKeZSAHeSqA_LKggFRHI@SpQ^tK[g@REH~s~aWTKOg@R~H`s~QWLNke@R{H^s}qVdNsd|R{H]smQ^DJkftQyH{sla^DJ_ftQvH{s{aXtK{fhROHxszA[\MSf\RlHqS|Q[DN[fDRuHosvQ\|NCe~RoHnTVailT]ilTQiiTSybxTmhAT\iODVIb`Tmg{T\iMdVIj@PeisSZikdEiapTagoTYiJdUYhHSqiUTMidDRYg@S}iCTPi_dSIe`QIhkSciYdGygpREhcTGiXdPyexQyhqSoi[DJydXSMhYTDiUDPId@RihSS{iSdMyfhQUhMS~i^DHiPdGycZQNhGscIm@WakSTqiwdaYolW]kLTui{T\ymhWqkYTriyDaykHWakSTbipDaYjxWqj?ULinDaylhVqj]T}ivD^YnxUikATkj?DYynHU]jQTzi|DYIoPUQkGTej@dXY^DNifrRzh}s~I^tOAf~S@i@t?it`Wyl[UOjUdbyuPYelUUsjXdiit`YYl[UgjUdhysXY}lIUpjQDkIs@ZUlmUajZDgYrlX}k|UYjMTeyqxY}kqUpjKDkIq`ZUkkUvjIdliqHZIkeUsjHDkyjDTiirTZimtVIy\\UmhVOjhTsYw`\YmoVEjjdpYwH\YmoVBjjdoizHZymuV?jlDnyzHZmmuU|jlDnIv@[imWUyj[dqyxh[]m]VHjfDqIz`]mnYV]jmdzI|p]an_VijvdyY{h^EnMVrjrD{i{P\}nGV`jpdwI~P^unwV~j|d~i}`^]nqVuj{D|WZ[LeEtELbFPbwpSWqKVHNcgqSHHccyQZLtezr\hmSvQZfOhgTsIiCtAa`NR_hoswiZtLue~T`iptWij|UAi|VIjeTqyw|[emPWoKTUKbDdbCpVWfKUuJrDLa_p\WcKTUHbD\aSpXWfKOuIBC\acpDWcKNUHbCDaSo~WZKOuFRC\`opDW]KKUEbCD`co~WZKIuFRA|`oolWQKKUEbAd`cofWNKIuCRAt`?onWQKEUBbAd`KoZWNKCuCR@\`?oTWFKEUBb@D_WoZWFKCuAB@\_WoTWoK?UKb?TbCoBWBKUuJr?l_Op\Xe?KODgA{@m?r?Ykx?FGBs@uro?`_OOFwdKQaHNFfbspyG{s]UNHJvd{q}H]cnYVjNffsRyX{c}U^LPsgys\iMLFIbfSaiQTGyclQ]hLUSjJTdYqLXMkdV[jnTvYz|]En@Y^LPUgRSdi?tFYdLMUfbS|hstLY^LKugRR\i?stYULMUfbRDhssnYRLJUdRRDhOsnYXLGUcbR\hgsbYRLEudRP|hOs\YILGUcbPdgksbYFLEuaRP|g_s\YILAUbBOtgksJYFL?uaROTg_sFX}LAU_BOtf{sJX|L@U_rN\fosBX}K|u^RODfor~Xwk{u]jNTfarrWrKyuLRM|bOrlX_LPUWbSdeCtFX\LQuVrS|dwtLXqKlUVBM\dkrhXqKju[rJLfOqpXpKiUTbL|dSr`XPKuUSrLtdGrZXpKfUSBL|c{r`XJKuURRLtcorZXGKsuQbL\ccrTXFKsUPbK|cSrLXhK`UYrGdegqFXeK^uYBGLe[q@W{KpuNbKdbsrJXtK[uMrMtbgrnWuKpuMBKlb[rH[M?DOBG@[?u?^?MmL?CgAC@Ex??R_IoDJcDqIxB[_mPVGZT@putS[^lSfFjYPoeug[ImCEszYxoaui[IljFAZbPk}wwZPmLesJXppquY[YleFEzXHp]uU[XldFEJWppQwkZGlbfDZaxkMwqZDmKEpJW@pQwkZAl_fDZaHjut}[Rl^FCj`pjiw_Y{mFemzUxpEtq[Rl[FCjU`oytk[OlYfBz`XjEte[LmEEkjTpput_[^lVfFj`XimwYYlmEEjJ_PnqwGZ}m@e~Z^Hn}wAZzm?E}j]xnIvoZolzE{Z\hnMv]Zslyezj\PmQvWZeltexZ[Hm]vEZhlpEyJ_hlmwMZ\mBEvJZ@lyv?ZYlneuZm_@a?n?U_JOEGA{@m?t?X_LOEwBLwW?z?[_NOFWBs@qwP[HmDV`bpdw[{\]GNEvaRpdwk{\]INEv\BoLw?zl\tN@V_Bm|vc{D]@M{V]bolvo{F]CM|v`Rntv{{F]CM}vJjddqux^[pmWVYBp\wgzT]HMsvXRo|u[{P]EMrV^bkTuOz~\bM}vVrm|vczB\_M{V]bjdvoyz\zMnVURmdtgzl\ZMyvGrmLqSzf[cMxV[RctvKxP\qMRvZbitt_z`\nMjvRRiDs{yd\MMgvSrhTtSyX\SMdvPrgLsKyR\AMcVPBftsWy@\DM^vMrelr[xz[{MZVMBeTrcxf[yMYVIRl\qkzZ[iMuOAg@c?m?T?K_DoBW@{?y?Z?N_FVyOAK@A?d?P_HOCJmLvMzdXbkquXJLleyrXXnkwu[JMlf]rl^hNvvyb}L}k~`^kNvvzb}L}s~`^VNpvuR{l|_~H^bNlVvB{l}O}v^\NrVyBz|}[}|^_NrVyB{T}[~B^qNiV|Byt~K}j^PNuvsr|t|G~X^hNfVyryD}g}^^_Ndvwbxl}C}X^GNlVvBxT{c}v^\Navprz|{W}|^VN`VuRwd|_}F]~N|v~RwL{?~x]xn\vmjvdzy|z]uN|v~RvDz[~x^qNXv|Bul~K|h]oNyvkb}|zC~l^xNUv}bt|~_|\^tNUVib}|~W|V]hN|ViB~Dy[~r]TnJvdjrDxi{r]ZnMvfJrtx}|@]NNQVhRqLx?|L]QNOvcrs\xO|D[JmEvBJadpYwj[VmKvEJblp}w|`ZOGWVSAUDp?b_dOhWHsIeAXAf_aOhWHCIeALAf_^OlwGSJmA@Ax`TOMWFcI}DX?z`WOKwUcB]Dd?t`TOJWTsBEDX?n_ROkWDSJM@PAt_CoBW@[?}?f?P_IoEWA{@m?~?\`NO]wSSFuB|A``KO\WRSFeCx@v`JO[WQcFMB\AR_sO`wLcGmBTAH`EOWwQCE]C\@d`?OVWOcEECD@^^}OTw?CDl~|@X_@OSWIc?]Ad?DaMOnWWCQEG|A~aDPDwbSO}GpCLaAPCW`CPUGLCRaWOxwdsMeHdBj`oPIW[cQmFDCl`lO~w_SL}ExC@`xOtWZCN]ElBt`{Orw^cLMFtBP`uOqW]CKuF\BJ``PGwWsQ]EHCdaz?NoGWCC@}@@?`lhUtJY\lUunZUnOvgzsTyY|H]dpaGqkWqKrEIbJpcgo[WYK^EObApagn{WqKBEGa}p`gn[VYKJDwb@p[Gn[VQJrDqazp[Gn{VQKBDqa}pbggKSQKfEOa`pMgq{RyKrC{bIpXGl[UaJ^DeaupVgekUIHrD_aZpRGjKTqIbDYafpPgi[SiInDGaip|?CwAc@U?h?R_Iv_JoTwE{F]DnAVGzcdqUxL[gmRwQ{HMCjAL`GobwO{GmCRA@`Ao_wIkDMAb@V_koUxEs`MPpGVc\QDX@cbUO`GpcFQKx@C`}OTGbcOQ@x?s`uOTGXcLQAXDS_UODGnc?QJXCc_EPPGDcRQ?w~c`MN|GTb|QDw}c_uNpGPbzQBw~C]}NhFrbzP{W~c^MN|Fnb|P{Wrs]]NDEZbMPxXEC\uN@GtbnQKxEs\]PtFZc[PuWyC`}PDFTcOPswxSamM\GnbeQJXCs[]MPGhcQPpWvs`eMDGZb_QFWvkZeLvEtbZpkw|CY}NTEpbuPjW{sY]NDEjbqPiWsS]uLHFhbOPyxZB{\}U~H^ensVx{N}GFC@`{o~W^[N]FjBr`uo{W\{miU~JmdpqzH[KlyVJJgdpqxh[KlaVnJ[d|quh^KlqVfJWdyquh]KhAVnISd|qch^KmiSVIMdvqzHPkgQVjJqdCq{HO{fyVJJgd@qxhOKfMRnHtcvq[XLklIRNJUctqtHLKkqRBJOcqqWhX{kYQzHYddqqHJ{dQUNHWddqThXKdIUBHMdaqSHW[kAQRHKdaqohH[lQQJJUcbqshG[bqUZJOc^qOHX{iaTbIkdXqihT{iYTrIcdYqlhS[jiSzI}dOqnHR{fqSnHwdLq]hRKwqZbLrevrZXl[ue[LKPeHRaxpCo}[LKHfDRBXpCom[@KBfAR@xoSoUVxM@e?R`X^swMYhLte{RSXmstMWhLJeKRRxassuYHL~ecR]xgsvuXdKxeZRNXecrmX|Kle`RKXgCq}YxKfeTRWXdCt}X@LbeQRXxcSuUYlKZelRFxjCpuNFFfbqpyW|k]m\dNffYRyxuC}e]RNJferoxw{{U^@M|fpRoX{cz}^LMRfJRyx|CxU^@MNfqRcX{Swu]tMjfVRvxtc|u]\MdfhRiXyCy][|MvfPRmxsCze[pNTfkRfXrS|]UBJDd`qpxX[keUZJPdfqtxYklM`PNlfwSJX|tAm`hObg[SHyEtAU_xOngXSGYED@}`xOVgLSNyFT@e_`OhgISJYATAm_VONgEs@Y@L?]^|OngXS?yED?E`xN|f{SNyFS~m^dOtfySMYEs~][BMDf@r`xp[webnPzg{s[YMlFMbxPXgmS_YNtDmbxPRh?STyNtDUaXQBggS`yHtGUaLQBgdS`yHDGUbHP@gsSPYKtCMa|PjgoSZyKTEucPQfhESiyPTIed@QrhZShYUdIMchQlhKSkYQtI}c\QZhNScyQDHueTRDhfSqYXdK]dpQ~h\SoYVdKMJjDrawqjXTKimTNIbdQrcxq{xU[^MPfEsXYLLE]a~Pbgot?I]lNagJRui@s}i\|NyffR{hwsyi]lNafZRuhsswi]\MYf^RchwsyiZ|MAfZRghmsxiZ|MAfFRchms}iYLNyejR{hht?IY|OQevSAhktO_@w@K?bFrbwpzxe[r]XjKleVrKX~K~u^vNrfzr|YPLGmcZQNhHscYktUEjHTjisTWyldTuj`T^ivTUyidUEjHTXijTWyhtTmidT^igTVYidSeipTLijTQyhtSei`TLihTQy_tR]htSJi[TAYktREjTStisTKydTUuh\TpiUTZycdSMhPTFiRTPYgTP}hDTFiaTGYfdPmi@S\i^TEYaTR]htSVi[TDY`dRug`T@iFTNyyO?c?U?LjGTsyqd\]kdVTjhTayytW}mhULjCTrYod\EkLVNi~TpyoT[mk@VHjeT]Ynd\EjtVNjbT[yxTV]mPTtjVTmyvtZMlxUpjSTlYtdZelTUvj_Tgyst[UmDUdjJTfYrTYEkpU^?F_CoAG?{?e?PkRUDJCL`apJWUkPuEjCL`ypJW[kPu?jB\_Yo~WCkMuDI~l_AorV}kJt|j@|^iofVwkGt{J@L^QoZVqkDtyIz\\qnJVWjrtyiz|]ynFVkjo_AO@g?k?Q?J?EuYIe|RmhrS|i_tNzIte]qtXdkkUWzJde]r@XbknUXZLDb}rXXBk_UYzJddEr@XTknUSzJTcuqlXNkkUQzLtcUrdXHkwUPzFDeerXW|k\UYzMDbUrdWvkvUKzC|ampRWpkVuJYw|[mmRVLjgtrzUDgEsHYtl@UkzVTh]tlYRl[UdZUtguttYPl[UbzUDg]thYJlXUaZM|ferjXzk~u^ZRtiut\YblOUizRDiUsxYhlLUhz[tjuvTZ@lsUnzZTk}u|ZRlmUsZXTl]uXZXlcUtZ[DkMuLZdlaUwz^Dn}vx[Bl|V?Z]Tmuv`ZvlyUzzCLaUpFYnlUuizSlietN[[mGvGJalpywf[OmJvDJb\pIwr[EmJvAJb\pawJ[[mDvGJ`|pywZ\?kquXzK\lmu~Z\liuuZY|sqyB\OmavRjg\sayJ\Im_vOjg|qIxz[ymRvHJf|rQyN\Im[vQJe|sqx^[qmgvRjeLrqxR[ymUvNjd\vqzl\\m|VUZnDtmzp\RmzVTznTtUzT\pmyVZzldvMy|\dmpVYZkDu]{\\|nHV_ZqDv}{T]Dn@VaZpdw]xz[~m\vgJqlyQ{n]anKvgjr\yQ{~]_nMv\zn\vc?D]enXvl_?tyc?H]inY_@JtdzM|k?AnW_@jttzV