CAT(3122,1)
Sparse6:
:~?oq_?O?G?CCC@j?v_ZOK_EkB[@h?u?XoROEKBA@^@M_eoRwGwCiAW@H_c?QwHgCiAW@N_f?QwGwByAQ@?_c?NwGcCYAJ@A_`oOWFGBm@s?|_[?NGF[Bu@x@B_`OOWKwEaBI@h_r?YgK[EQBD@d?noXoKCEWBB@[?tOVOLCDwBR@X_loUgIsDaAn@P?hoS_IcD?Aj?n_WoKGOoGACDA@_|?_WN_GABuAA_zO\WMcFEBf@q_{_^gN?F}By@v_w?ZGLgEyB]@j`L_MWFSBa@v?|_]OfGRkHmCuA]`M_gGR_H}CsAW`K_eGRGHiCVAH`DOcwQcHIC]A]`G_gGQ?H}CiAK`F?dgQwGuCEAE`A_aGO_G]@\?m_VOpORCHeCt?o_VoKWISDEA`AE`CO`wO[GUCHBP@fOs_X{L?EfBO@cOq_X{KcE\BG@eoq_XcKcEVBD@gopoY[KWEdBD@`Op_WcK[EFB@@[omoV{JgE@Ay@^omoWKK?DrA}@POn?S[JsDBAt`XolGUCJIDbAn@dorOTkKoD\Ah@aOi?WSI[EFAc@]OhOVsIWDzAi@[Ol_TcIkDnCC@^ooWWCBi@r?w_vO[GL{IIDFA`aC`BW`?OyGMCNaB`Ag`GOqGOCJaE`@G`wOYG[CD`~?tw_?LeF}BW`}o~G^[NIFhBraD?zg`WMuGWBk`s`@G\WOYFSCDa?_xW_OMQGEBb`r@?W\?OMFMCA`~?ugZ_OAEuB~`{?zw]GNeFsBo`m_|wZwNYE{Bt`j?wgY_MAEiB`a]__wOkGQHgC|a^`LgfoRUHbCqaXpGgccQMGyC|aN@NwfoPqGeCyaI@NGagRmG_C{aH@MgfWPEHmCXa[`Ewf?PiHUCdaU`Hwd_QYHACmaN`Jwc?RAHQCUaT@EGd?P]DxA}`]oowWcKII?D`a`@WwgGUIIpDXalPVoikU?InDUAnPWOiSTOJFDaAhpQWh[SiIED]ao@PWjwSQI]DZag`VGi?TuIWDEaf@QGhgS]F|C?`~p?W_[OIJrDza|P]?n{VWKBE?Azp\Wm[VQJYD{av`^gloVuJSD~b?`ZGo?UmJwDfa~@YWngUaJGDoar@[gkgVEHtC{a\pdooSXcKHEWB@pcWq[XIKmEDbK``wr?WYKUESbJ@bWp_XUK[EGbG@agpwWeKtE[bLph_sCYGLPE`BRpgorkYSK~EcBNPm?G{CeAP@I_eOQwFsB}A@?}__ONwNSFqBv@w_{o\wTkI}D\Ai`UOiwcKP}H@C\aNPFGmCVIJbDfaspYGrkX}K|FXBmPuozs\gMzFRBjPu?yk\OMnFXBgPuoyK\gMdFLBiProyk[wMfFOBdPsOx[\GMXFFBdPqOxc[_MVFCBfprOws[wMJFBBbpqOwK[GMPFCB\ppOvc[WLzEyB^pmOwCZ_L|EwB\pm_vkZcLxEubZplWzgZULmF]bm@lguOZyLgF?bX`nwwOZQMEErbX@oWtw\YMoEpbW@twt_YeL[EjbU`ihAgAa@T?hcL_IwDkAqPG?t_ZoLgESBQ@f?q_YOKwKCEEA~@[_nOVWP{HEC`AK`Eobg]KM}F`Bk`vOzWgsSaINDCaapOwoSWQKFEGbDPaWtKYmLTHJceqRHHWcUQMHLcbARHH?cIQSHCccaOxFwcUQMH@cbAOHFocAPwH@c]aNxGObePuHBcaAMhF_b]PyGwc^ALhEWbiPuGtcYAMXE?baPcGvcWaLhEgayPeGncYAJXE?aiPcGkcWaIxCga}P[GccRAJXCwaQPKGhcQaIHCwaEPQGacSAGxDOaEPWGacTaGx@wcaOaHIcGAQX@S_mORGGcBQ@xBo^yNyG_cN`~w~O`yNwG_b|aFxBW^]NqG\cM@}G}_`aNiGXcL@|hBg^IOwFrcL`{W|o`aN]GXcL@{HAg]mOmFlcJ@zHAO]aOgFicH`yW{g`UNMGVbrADhA_]INGGQbpaCx?g_qOEGMcAABWzw_ANAGAboA?XToAI@H?b_QoHwCsjsRpHyc{q\hM{fURgIvcxamXMOjaTmHnd[a[XV?fATiHkdYAZhUoeuRSIpctakxLGjITgHgcralhUgeYREIpcqakxK_jIR?IncpAkHKGiyQyIjcnajHJoiuT_HYdVaUxJ_iyTSHXckAiHTGd]TUHSdUaThT_dUQaIhdTASxIOiaT?IbdOahHRwiITII[dNAhxSohuSeIUdIaeHQ_h]SqIOdLachROhESSIDdEA`hPWgQSAIFdCa_xP?gIR{ILd?AbxNwgyQ[Hzc}aSHHwfq@P?i_SoIGDSAe@X?l_ToJWDcAmWaEtbZplhHsdAQ^K\EHrCXaSn{WVK@EErB@_CoGWVKLEARB@_[owWLKOEBrBp_kowWPKOEDRBp`KneVvJydzQ}H]{ocVjJrEDRA@]coWVdJpEBr@P]CoGVZKCDvr?p\sn{VTK@DuQyp_CpCVNKRDsrC`\CmSWjJeEJQx@acjgWjI{EJQmpacmCVxJbD~Qw`^km?UzJZDnQv@Z{lcUdJYDiQu@Y[l[UbJUDfqtPYCjsURI~Ddqq`VskoULJMDcQrPW{k?UHJADaqoPW[AI@F?c_POGwCcAU@N?e_QoHwCsuwOdGScHqEHBS`eO|G_cNq?H?S_ETtI{d\r]hn[vqYwLgenBYhjgueZOL^etBWXlGuAZYLbeqBZHlWuIZILjerbZHkouuX[LqeUb[xmGqqYrLZelRXPisu[YpLeEjrSxiktQY_L^ehBWXiGuAZCLLeqBRxhouMYwLIenBRHjgsmZsL@e`b^HnWsIX{LmewBOHlwr}XuLve]b]Xf_vaXoLpe\B[hfGvMZ_KueZbZhlwrUXcLseYB\heWvUX]LseWb\he?vUX@KaeOrGxckqQXPKfeRRIXd[qiWyLveNb]XbovaYKLFeaBQXggsaWmKYeKbFHb?pm]aIidSqiHT[iuTXItdZQlHU{jeTpK\eNrFhbSpqWvNhForwH{S}?^LNgFpRwP{{|s^LNgFnrv`{{{o^FNLFqrqp{c}O]^NdFgRwpxs{k]^NLFgRr@xswy[XMLfcRqhxK|O]JNFFjRtPws{G^LNgFaRop{{zM\jMsfRBvXzwyQ]{MdfObsXyWyM]cMafOBsXyWx}]cM]fMbtXrW|Y[wNSfjbeHzGxi]oMXfJBuXqg|]]oMVfHBuhq_|q[eNZfGbvHzWw}[_NYf?r_hoCwU[HMBfBRaHo{wm[RMIe}bxXno}MZ}NcfXBoXw?zA\aM~f]Bjhvoy}\yMlfTBmXt_zm\UMyfRblhtGza\OMvffRsHx{jiTxIze}r^xntBu`~O}g^sNYFtC?`\PAGWSOQD|AE`@O^gLsEYBTCK_ZOMGasPA@|C?_FPAG?sOQ?S~e^tNwfxr|H}S~SaHNvGar|aG\B[^vOxF}SM@~lAo_xOlGNSIqBl@W`NOWGRSDqClA__fOiGIsDADLAK_`OcGHSGaALBS_TOuGESAqEd?c`fOqGBsKQ@DBg_HO{GBSMq?k~w^XO?FvR~p|k}g^^NhFwryp}DEQbLPdgzS]IM|FcbxPzG~S]aNlFKb~PtH?s\AODEsapPnGlSZaJLF?ajPUGxSTqMLEoafPSGtSSaL\C{bNPPGssSALDCoa|PMGoSRQJ|CkbFPaGdSWQHLDkaPPFGmsPaJcomWZKKeFRCH`{z}]BN?f]Rnhvkze\vMyfZRmHu|IwdNQeHUsiATdIWdRQgHTshqTTIKddQdHYShAU\IKd^QdHWshAUDJGcPQsHDSkqPLIAdBQahKSeYQ|HUclQShEcjiT`GqcUQlhAciYOpIicMQjh@CjyO`JEcEQohGcfYQXH}ccQ]hFCeiQ@Hqc]QZhpBYHlKuiZZLjeuRDxbCpeWnKWeKrFHb[pi`ZOkgTsIIDTAe`JOfgRSGyCdAI^|O?f~ryX|[}igKS?HvS{A_TOCf^RgI@syQ_dMggJRjI@szQ_lMogHR|Hts~a\lN{fXRoHsSya\tMcf^RdHySxq]lMWflRpHrsxQ]\MWfdRzHpS~A[dMKftRvHps}Q[dMGfpR|H_s~qW\NweDRsHksuq]tLgfjRUH|S~AZDNkenRRhistIYTLAebS?Hesrq_TOCe\RJH{s|qXdKgfpRFHxs{QXDNGeRRCI@spQ_lKWgHQ}HnsoA[LJ{f@QzHnsnQ[LJof@QyHnSvQVDJcexR]HYsvQUtLodnTSFerqxxdDyb@P^glsVYJdCYaPPFgdSQyHLKQeLRDinDWyjxUUjGT\ioDVYjpUEi}TaiidUyipTqigTYiiDTyihTeikTWi[dUifXTqhsTZi[TLie|RUhhSriRdWYdHUIhOT_ijdHIjHQYioSdiNdSYc@TIieS]iLdSib`TEieS\iKDRyi@Pii[SXiIdRiapS}gmTOiHDRYaXSmggTKicDByaHSiiQSOiCdWy`XUUgSTcicDBIhPOyiQSLiBDQy`@SqgMTLi^dGYgHQMi?SaiadKIePS]iKSpi`DJygXQyhYTCiTDNIfpQqhySjjVDhYs|YYlHUajPtiql|YsjbUkIwTiqltYsjZUkIuTYQtDUklTTiJStXatLY_jPTfJTTgArTXck~U`JLtdamTX[jfTsJKTcArdXCk|UQJMtbQq\XSk^UMJITaantW?kXT~JDt`QnlVkkLUCI}T_QnTWKjrUAI{T\apLV[kNTtJCSvIZtLue~R`hoTuAwD[GmtV@JkttYy|\YmfVSjhTuqwt\smPV[JbtuQuT\glfVWJWtjaz\Z?mzUnJmTnQxLZ{mVU}JdTrqvT\?lxUzJgtlqw\ZcmJUwJaTrAudZWm\VLJYtQIhLSiiZTJieTRih|TAibTRihU?A{D\woBV~Jnt}R?T_OnvWBJ|T~A}t^_n|V|Jzu@Q}\_[njWEJyT{A~|^GoBVpK?TzY||]ynTVkjtt~A{|^wnRV|JsTxR?|_SnLVcKBTwR?T_KnFVaKATiYtTYalVUljUUGzCdaUp@W`kPUHbAda_ojWfKJUCRDDaWofWfKHUBbDL`?pVWNKTUIR@\akoZWiKEUFB@T`koRWYKCUFRA|`co~W]KKUMrDdbsp\W{KUuORFDbgqFXAK[uKbFtbOq@WrK^uKREta{pnWoKYuQbHlcoq^XJKfUPrGdcWqRXDKcPkwucZISBIBd@Q^hOCf}XXKleVRJxeKrA^vN|f}S@y@L?acNQEhAs_iO\GQh\SniUtIiddQmlbUrjXTjiuDY}oxWYkLuDzBL`as?Xyk}E_jOHfmr}Xvk}e]JNpfergXyk}E\jMhfmrcXxkxe\zMHfargXmkzEZzMhfAreXjkweZZMPeqrQXlksEYzLPeqr[Xdkre[JKpe}rOXaktEXJLHeMq}XdkreWZKpeAqwX^knEWJJheErEXYkleXJKPdeqyXVknEUJJ`dYqmXYkleUJIpdeq_X|kge^zIPfyqeY?kie_jI`gEtk?W_JoDgBK@m?tZA?MOFgBlk_@@?^_OqGXC[aITzI~d^QohWKkA[nMUfIrbxqKxAahPRghSRyILDAeTRKhdspyXLKajpTyi{t\ymtVUnJVejqTwY{\]IpXWmkUuKZEDa}v]Zqlwe{z]@nQvWZvlyezj]pmuvSZnlte{Z]@mevWZelvEyJ\hm]vUZclqeyZ\PmMv?ZelpExz[Hmau}Zdlpevj[`luv?ZYlpEvJ[Hlmu}ZVlkevZZ@lyuiZZljEujY`lquqZQljeszZ@lEuiZOljErjY`k}uWZQleeszXXlEuUZMleerzX`lAuPZIlcuqJXTkesEZDlAepzO`kYt_ZqlXE|JUHnMviYllzejz]piytSZAlUEpJTXkMuCYflSepJT@kMuAYcl_EhjVxiUtAY{lPenZVpiIs{Y{l^EgJRxjusyZ@l^efJW@hmsoYxlLEmzRHjisiYvlJemJUphYsgYwlHEljQXj]tqYNl\EcZVXhAteYKlYebjU`gusQZDlDepzPPkYsMYtlXeaJU`gYy{?I_EOAw@s?u?^\i?GOCWATv??f?T_IV[JmTvEz`\qmwu}Bllu{vt\mL{vUBcTtcxH[bMlVUBcltcxN\YMRVGRl\ugw~\kMOVFRldugw|[[MtvERk|pkzR[YMsVDbktp[zJ\cMKVXra\u_wh\hMIvXbaLuOwd\dMGVBRkTuKw^[MMovWB`Tooy~[JMnVWr`Lo[zD[GMov@bjtoSz@[CMnv?rj\oCyx[AMmu~bllo?z^\mL~vVR^dtkvz\[L|vSbhdswyh\LMhvRrhLtCyT\OMdvPbgDsGyP\FM_vOrflsSx~\CM^VMredroxl[yMYvLreLrcxf[wMXVJbilr?yn[nMjVIBd\qsxT[kMSvp?As@a?n?U_KODwBK@i?v?X_LoEjyo@q?|?\_MoFgBdtayt\XnmFuJzp|Y}y^VnmFuZzp|m}y^YnafsJwp|I}a^CnhFqZx@|A}a^Fnhfqjyh{m}g^KnhfrZyh{}}g^Mm}V^jnlv}{B]?n[FuzzHzi|q^YnYftjup|]|m^WnXFrZu`{}|e^MncfjzuH{]|_^GnUFpJwpyy|Y^DnSfqjtX{q|S^Jn_f\ZmX{Mzg^An_f]Jmp{M}C\vn\fhjvhya|w]fnMfgzshx}{{]cnLFgjr`yA{u]`nHFeZqXx]{a]WnFfdJqhwy{_]UnBFbZoxwm{I]KnCF_jpPwM{G]Hm{fnjnP{Azu]~_DOBG@[?i?V?K_FoBW@s?y?^?Lo[_CGAK@I?b?O_HVozwL{ItjYrlYUnJVtjut~Z@l_UpZW|kZ@}_xo_gMkGABnAA_{o_GNkFyBv@i_foSgLKDABN@S_toUGK{EaAn@k_noUgMKEyAz@m_qo[GK[EqBBAU_coegHkHaAV@A_{oPgNkCQBv?{_xoOGM{ByBj@__\oLgKkEI@r@S_WoUGEkDY@f?i_loJgJkAqA~@M_QoSgDKAYAbAC_NoaGC[GY@B?V_HoDWB[@u?rAU_EoeG@{@ACvAE_BoaG@[GQ?R??`HodG?k?ICa~y`Dn~gPz~qCZAI^{n|GP{Gp~nAS^wn{gQJ}yCe~L^fnqvyJ|T}e~V^lnuVzj}D}}~g^^noF|j}h}E~C^pnxFxJ}X}Myv\[mmvXJktuUzN\hmsVZZl|uzB?ajpUgW[KQIrBmabpQG\[MqIJBcajpUg\KMYIrDC`ppQGZ{SYFBBWadovGh{LiIZDS`iotgiKTIEfDI`epRgX{SqEbBEagoqgikKaIfAh`UoiwT{JMDbAx`ZolWV[J}DzCYa^pFGgKPyIFCwaIpEGfkRiGnCqaFpLga[RQGbCIaTpBGdKOaHNCAaPp@GckOYHBB{aUpKG_KQyF~A[`zogG^[HyFrBo`Po|GS{NIDJD[b`pWGw{TyMJEibWplGt{ZILZEubQpmgtKZaLNEEbfpagy[WaMbFGb?prGok[iKFEaa}pgGn{XyJvDsbHp]Gq{VYKjE[avp[grKVAKvEKaspcGlkWyJVDab]pXgv{UQMBGU?__NoGWCCAE?~[amQVGzclq]xL^pnxv{j}d~Y~jcSQLXFCauPlGjcQQKXCsbMPDGncSQFXDc`}P@GjcPQDxCs`mPHGXcGQExAc`eOdGVcGQFxCC`UOdG\boQJw{cbMNDGpblQLWzsbePlF\biQ@WzC_eMlGFcFQ?x@c^}OTG@b{PzW~c^ENtFnbrP{w}s]mNhFhdI?HoDWAc@M?j?SnhVsZyD|M}j^Smxv\ZmdvYzp\vpKwe{RUHZCpaVpIwc{QeHBCdaPo{W]kNMFnBz`{qthU[liTnJWdYqshTklATbJSdVqhhV{iiUFIgd_qhhVKjqTVIydSqhHXkiIU^JIdOqqHS[iQUJJEdOqehU[hyTnI[dYqdHTkhaTbIUdVqbhQkhISnIOdKqbhR[hISzIOdNqMhO[bySNG{dAqsHNklQSBJQc~qthM{fiUvHwdkq[HX[fQU^HqdeqnhL[kIR^J?cuqXHVKjqRRIycrqpHJ{kaRBHadbqVXJ[deQnHRciqRHPKdASVHMdEq_hG{gYQVICccqPHPKcISZH?dDr]GL[EeBN@l_woZwr{YMLBEXbMpewq[X]KjELbGpbxoCw}[DMJfER^xpCv}[DMDf?R`xqsve[tL|fKR]xnCxEZxMRe|RdXqsrE[tKtfKRKxdswuXTMNeURaxqCqUXPMTfHRHxocqM[PK`fBRFxa[pUWnKLeFrCXmSo]ZlKJeyRAX_CvEZXKDevR?x^cueZTJ~erQ}x]cueZTJxdzRXx\suEVdLddwRWx\CuEVXLddtRWxmSmMVLLveyQxXmCluZXJ`evQvxhCs}YTLReeRSXicsMYpLFejRPXjSruY@L^e^RVXbCr]WxKzeLRMYDd?}_fOPgCsAy@kyy`NMqgTrkIDLAY\RMkgTsIHt\AA\NOcfQsGhs[xq`BM]gQsGhsKzQ^nMwf|rlh~L@i^bO]fysFH}[}Q_jNggKrxiA{|a]fN[fjruhyk|y]ZNafgrwHx{{Y^zNIg?rqH~{{A_FNCgBroi?kzq^ZNmf^rmh|[gMSNIDdCqbXP\EebZPjgpsXYK|DqcNQIgosaIJ|GAanQCgls_iJLGi`nOqhBsaIElGA`ZOohAs_iD|CibvPMg~sRINlCYb^PqgcsPIMLDA`~PSg`sSiGLFQ`rPwg\s\iFkuEZJLbesrYxk{uuZbLnexr\xmlGqenQMhiscIZLLYeFRWhbstIWlJqeRRKh_sqiV|Jie~QuhlsmIZlLAdbQshhsriU\Imd^QlhRsiYSlHyeRRKhPsqiSLKycrRQhMssIR\HIevQUhmsdIZ|AE`JObgRsIyDLMEfJRbiLtDybLNqhBRwiMs}ib|PqffRuiOtFi]lQIfZSehwtHI\|QIfNSehstHI\\PAgJSSiCtCi_|NygVSMi@tBI_LQaiNSkidtIihLTIiBTUiatTIg\RQiZSwigtRie|RqhfS}iWtMid|UQjVTgivtXillTai~T[iptUikK`MOjGPecrRXh[sUYNLBgXsLyElAu`bOniAtAY_|N}gFS@jITgYrDYUklUbjHTfyrTW}k`U\jKTaYqdWuklUJj@TbyqTW]k`UDi~TaYoDWmjxULi}T_yoDW]j|UDjLT[YrdVMk|TtjOT\ynTYUlDTxjp?BoAW@ES^IRdGrsxyk|]]ZNNfgsbYP|HEcjQVhHtIYdlQmh^SriWu?j@|_QobW?kEu@i~\^yoVWGj}t|I~\^ynrVuj}tzj?l_AnfWAjwtyI}l]qnrVijztyI||]qnfVijwtiIy|YimvUejku@iyL\QoVVQkCtrjAL[io^WKjetpI{\[anNVEjqtni{|[AnJVAjptwIvLZqmzV]j\ttiu\\ilnVWjYtjIz|YynBUojmu[_@G?s?VWokxuLJM|bIrjWikxuJjM|aqrjXokSuZjC|eqpJW]kruGjL\aArRWWkruFJL\`irRXokHuDJLl`Yr^XYkfuVjI\dqqbXWkeuTjH\caqjXAkouPjKlcQrFWyk]uOJE|bap}?N?H_CO@w@K?bZElYUoZWdjetlZBl\UoZWdj}txZBlQUnzVTi]tDY|lOUlzRdjes|YtlLUizQtiuspYhlVUcZUThUt`YRlBU^ZPDfesHXzlDU^zOTg}sXY@?C_BO@W?c?Y?JmCTuYz\\]mzV`jnu|j_loYvvZwm@u~J_loYwBZ}m@uvj`|mIwfZ_mGu{J^lnQwBZql~u}j\|navVZuluvAJ[loqvR[IlruvJ`LliwZ[IlkvCJYlpIun[MlhupzX\keubZLlfuXzL\eerZXpkvvHJjLqAyv[amjvKjiLrYyj[smhvJjj\tYxb[kmkvSJc|tQxV\QmSvDzbLpUwv[^mMvRJf|syyF\Im_vMJglrqyN\Gm\vVjo\uA{J]?mmv]jl|vyzf\{mwv\jlLvazV\smuvWjo|wizN\cnCvbJrLxA{z]MnLvcjr|yA{j]anJuoZWlkMyZ\NmdvPZhLs]|x]pn_VlZvtzM|l]pn\VlZvDzM|l]fn\ViZvDyU|x]jn_Vjzvtyu~@[FmAv?zn\vuz~\tm{v\z|d}E~H^pnpVzz{d}e~T^`npVxzwT|u}t^FnaVvz{t|U~T^XnsVtzxt}u}d^pngVzzzd{e}X^ZnnVq{Bd~r?n^woLv}kBM@a~f_UnzwEj}m@B?V_MoIwCk@l~z?J_AoCw?K?}Az?z_qoOwKKB}AR@V_goPwHkDl|u}~^Zo_WL[GeB^AD_xo\WO{FuCV@x`@oJwE{BMDG?D`Foj?@kHMDO?H`Joh?@KHmD??D`Voi?@kH~