CAT(3038,1)
Sparse6:
:~?n]_?O?G?CBs@h?t_ZOOoFSBq@v?|_^ONwFkB}@|?x?\OLoFcB_@v@E_boQGHsCqAZ@D_aOOwHGCAAC@J___QgG[CUAH@[_loVWIsD]Aj@Z?hoVOIcDoAd@W?foU_IKDcA`@f_soYGKcEUBL@b?nOW?KKEGA~@?_`OOWJsEAA~@{?zo\gNCFMBj@s_x_YgMgEqBg@j_xO[GMKEsBp@n?zOZ_M{GaCTAH`@O_wOcFgC@@z@?o]ON{FoCNAD?~O`_NkFuB|@{`JoeWRCH[CZAX@EOaoRCHQClAT`G?cgPoHMC]AP`MofwRsIUDHAb`L_gGROIECwAa_|o]WNSHiCxAZ`[?kgU[JQD`Ap`Voh_USI_DhAf@XojgTkIqD]Aj`W_iWU?IiEHBE`aongWCJ}DwAv`\_lWVgJYEAAx`\?owWOJaDrAy`[OswYkLQE`BQ`goq_YkLKEVBS@eOpoX{KcEZBG@fOwG[KL}EzB]`mOt_ZKLkEpBV@lOlwUkJYElBV`kO|O]WNQFcBs`x?{w]_MyFeBo`x?zw]GMuFaBj`w_zG\WMIFYBc`u?ww\CMiFRBm@qoxo\{MWF`BtAAO|o_sNWGJB}@|o~?_CNsF~CB@{p?_^SOCFpCU?YOLgEkBQ@j?u_bOQGG{CeAV@I__OOgGKFeBv@y_~o_WOCJUDlAv`\onWVcQkH\ClAWPJ?d{QwHJCoARpJocsQ_HJCiARpIOcsQ_HDCiAQPIOc[P{HDC`AQPG?c[P{GrC`ALpG?bSPWGxC]AKPFOa{PMGjCSaH`FGboPQGyCTaJ@CGaOPaGmCPaK`CGaOPiGuCPaD@JGdWOqGUClaB`BW`GO}GOCMao_KWE[BI@t?{_\oMWE{Ba@p?x_ZoRwIKDAAn@T_jOSgI[DQBT@k_toZwLkEyCVAL`EObgP{HADPAf`ROiWT[IiERBF`cOqgXcKmFDBc`poxw[sMUKUEPbE`cwp_XIK]EHbG@agpoWaKIEGbB`agooWeKYEBbD``Gp_WIK?EDbB`^woGWYKCD}bA@^WoWVqJuD}a|@^GnGVuJkD~b?`]Go?V]JqDray`]wnOVQJ`Dqawp\_lkV_J^DvAvPY_m[VSJXDjAyPX_mKUSJdDcAwPX?k{UWJRDdAsPVolKU[I|D_AsPYojsU?JXD^AtPL?j[RWIzCtAmPT_qKTSKfDVBHPb_iSTOK`ENAhpRwiCTEIXDMaepQOlkSkJ\DIAvpO?jCSGItD@AkpU?fkR{ItC}AkpWOfSUKHxDaA\pWOe{UKHrDaA[PUoeKRKIzD[AXPOogsSSINDCAcP|oDKAa@T?l_UOIwDsBA@^@`_poWgO{GYCJAa`OOgWW[KEEDBX`loug_KOMGDGTCFaBHAG_yO_GLcDaBh@O_qOQGLcBaAX@?_mOKGIcAa@h?__aOMGBc?A?x?g_IOGG@b}p~w~s^uN~F}bt`dWq_]qKkFlbh`|Gy_^YNiFTcF`pxAG[eO_FGb`PowwK[AL~E}bw`nG}WZuLuFqb[@{WvG^MLsFqbv@lW}?ZYLmFnbX@|Gu_^YLeFtbWa?Wtw_IL_G?bU@zgtg^AN]Emb|`iW~_YmNsEibR@|w~GYaLMFwbP`|w~GYQLIFwb}@gGsO^iLAFzbN`zWro]qKyFjbs@fGrO]iKuFhbJ`yGr?]eKqFibk`vGzW\yMsF\bq`sG{w\INKFPbe`tgz?[}M[FVbe@wg{_[mNEFIba@vwwo]EMIF_c{?HwCsAU@b?r_XOKWE[BIGfCTaIPkWuCY}SSI@DBqaPO[g_SDHtC|q^PM{fWRxH}Cyq^pMsg?RnHkC|q^PLsesRxHecsQXxK[eURHH}CoQ_@KSf{RBHqCaqPpMccWRfG{DAQN`OsbsSJI@CUq_pD{gGP\GcDBqH`PKaSSPGfDBqaPDKg_PPHqCPq\@CKfKPDG]C{QG@NK`{RtG[C|QFPNC`kRrHnCKQEPMK`gR`GUCvqDPMK`[R`GQDAQD@Os`KSJH\CsqVpL[dwRTHSClqV@IsdSQtHPCjqSpJKdGQpHICgQQ@H{ccQ\HKC`qRPGcckQDGzCZqM@FKbWPtGsC^qLPGKbKQ@GoCTqK`DSbCPXJ`?SoIGDSAa@T?h_UoIwDcAm@Z?kakPUWjSTmIzD[abPQGg{`IOhGRcHQDHA[neVvJyd{Avx[?nYVmJ]doA}X^Wl}VsJ]dravXZWmeUwJgdtavX\_lmUwJidpAuH[WleVAJYdkAxHZOmYUqJddHa{HQgnISgJpdhQtHY[lAU^JPdeAyh\_kyVUJLdqAqXXWmYUSJddoaph[WkaVCJFdaaxxW_meUEJgd_A{HWOnIUAJpdTqjXTcnWTDJwDQQ|pS[msSxJnDMqf`\shcVfIYDyqep]cmsSlIVDvqz`RCguS^IMdGQchQKggVfIKDyqap]clSTvJVD\Qt`VcjOTnIuD[qlPVCiwTfIoDWqjpUSiSTPIiDRqiPSsh{TzI`D^QnpSCtK@J?f_ROHWC{AYNPFhbtPzW|[]qN^FobvP{W}[^INhFubyrS@i[tGYjLPEiRS@istGYpLPEjrXPhSu[YXLeEdrPpisscYpLGEjrP@i[sWYhLDEirV`gKsKYzL[E`RLXe{rYXdKseXrJPk[uOX\LaEURUPcstkXPLYERrUPc[tkXJLYEQRV@cCqGYzL]EOrFPj{p{ZBK]EoRXpbcuWWtLdELrEPk[uOWpKVEpRD@kKt{WlL_EIrBX`[oqW\KOeFr@X_so]WPKIeCr?h_coMV~K@e?RM@aKrgWfKxEHRJpf[rCXzKoE]RN`dKs?XVK~ETQ~@hks{VzLMD~RnoC[AQ@D?b_QOGhL{fER`HqcyQ[wDsBA@^GccRQHX^cnyVzNJFfRrPyC{o]^M{Fgrs`vszs]fM~f_RoXwc{M]DNJF`rrPwc{o]DMwF[rlpv[zW\tM{F[rnPv[zw\tN?FZrl`wKz{\pNMEvR[@yCu{]^NGFXrq`uk{c\hMcFgrh`y[|G\JMUfJrdXqSxQ[fNDE{r\pws{[ZpLsFar\Pws{[ZlNGEwrq`m[{cZdLgetRYXl[uuZXMPFPrc@sSyC[^MZFERfPpsxo[ZMHFKRaprSwg[rMEFNRa@r{w[\@MiF@r`Ptcyk[HMfF?RiPoSy_[BL|FWRk`n{zCZ|LyFUr^@t{vk\\O^gOsGIBd@y_zOUGHsDQBD@O_nOIFuSB@|t?k^ZO@GBsAQ?\?G_PN}GAS?A?s~{_JOOF|sC`~l@C^xNwGKr}aB[~c_tNtGEr|q@{~W_\NeFxRy@}c~K^NNhFoRyp{S}g^BNbFlRxPzc}O]vNVFvruP}K|_^`N]FiRvpys|s]jHtczQ\wDsBA@^GfcSqIHf[ruXxKwe\RMXdKqmXTPZGhSVQIdDoafPNGhSSQIdD?afPKGkSRQJTCwarPVGfSRAIlDWaZPWGSSUQDLAgatP?GfsOaILCCa`Oyg]SMyFDB]`rPZGQsVQC|Do`LOaGisTqCdDW`FPBG]sPQF|CO`|OpGYSLaE\BS`dOmGbSKAHDA{aNOjGcsQqDlAoaTQMF[Rlxusze\vMyf]RnhvklaUtJXdmqvHZ[l}V@J]fRriXtCyQ\LMdfPrgXsSxy\@M^fLrfXrcxa[tMXhPcfiShH}dGQ\hMcgIRxIIc{Q`hLCiYR`ImcuQihRCfIRXIacsQfhWcdyRHJAcoQnhUCdyTpHecoQlhGcdIQPHYceQThFCcYQ@HMc]QQhScYiL`ImdSPjhAchiSxG]cKQgh@CdIO`HYcEQThVc^yU@GAdaQ@hPc^IShFydGP|g|S]YN\FYbpPvgyCgIMXIIbiQ`gwCjITpFIbaQlgucbyLpHAc[PngrcbIPhEebOQJgqCayPhEUbKQKgocaIKPGebEQIhCCViPPEAcQP^i??GwCSAQYbLOehS@y@L?a_JOCgBRuhzc|m]~N]fmtAq_lOcgFSIIATAA_\O[gJSEIAT?aaDPCgBS?IFt?A`dOGg\S@IEswi[dMMe~R`hoTBAYtOwepSLHjtAqYlLKgTSHHiT@aYDO_edSFHgsrqaLKsg`SNHfS~QW|K_f~R}HcspA^lKWf~RDH~SoQ^TNoeFRzH`Sna^TNoe@RzH^snQ]|JkfrQ{H{S|qVDJgfpQxH{s|AU|NWdjRtHZSka]dJOflQrHysqa\\KofZRJHuS{A[|MSf\ReHvs{QZdNKe|RqHmsua\TLkfRRgHktUaiLTMidTMigTRyixPmgyTXiMDUIjHPeimSYikDEIi`PYiiSVijDDYaPTQiiSSiHdTih@R}iST@icdOIbpRYh?SwiNdLyhXRAiYSpiXDRIfpQuh]S{i]dJieXQihiSkiYDIycxRehQSziSDMic`SUhKTFiQdPicHSMhETCi`DGiPTGacRQJhEsbIl`W]j[UHiudaIo\WEkDUCIxT`am\VOkJTniwt[IohTui}UEinD`IjPW]iwUGildaYlHVmjST|itd^In@U]jsTgi{dXimhUMjmTdizDXIk@Vyk?Tai~dWY]dNYfjRvh{s}I^TNqfvR|h~s~ipPYmkUUljUDbIshYalMUijRDiYtXYQlCUljUDgyuHX}l?UqjOdkytpXql_U]jVdfYrLXmktUUjKTdytpXMkiUojVddIqPZMk_UpjGdkiphYak]UijFDiYidTYijTViktUIx|\Em`VHjdtqiyP[AmCVSj_dsyyPZ}lyVSjhdnivP\UmmU{j\dtiux\UmmUxj[Dtix`[YmYVFjfDqIwXZQlkVDjaDlYz@]]msVhjkdyI|h]Qn]VejvDxY|P]EnEVkjpDyyzX\ymyV_jmDvy~H^YnoVzj|D|y}@^MncVtjwd|GaCPIGbFObhPsWxk[yM^IXdLQexQsh]SpL|e~r^hnSvqZvOdgRsHiCTAM`HR[hnSvYZLLmetT\intVijTTqivVEjbtqIw\[UmHWeKUUIBDta[pZWhKPuHRDTaOpVWeKPUIBCDa[pBW\KPuHRB|aOo|WYKPUFBCD`kpBW\KJuERB|`wopWYKIUErAt`oojWPKJuERA\`GopWMKIUCBAt_{ojWPKDuCr@l`GoXWMKCUCB@T_{oRWDKDu@r@d_WoZWGK@U@B@T_KoRWDK@U@B?|_KoLV{KSt~bD\^spTV~KUU?RDt_?pZXj?JOEGA{@e?v?Y_MOFgBkAA@B?^aoPVwjsb]PpGucXqLHEkpaWnKXeJRDHak~i^rNwfyr|x}tFMbjPsgwS[iMLPyh@S^iPTGycLXMkjUSjEtbypt\amtVXjltvYzdhwsvY\LOUfrRdiCspYbLLUgbRLhSsvY\LJudbRdhGspYSLLUcrRLhGs^YSLGucrQDhWsXYVLFUdRPlgcs^YJLGuabQDgosLYGLFU`rPlgcsFYJLAuabOdg_sDY?LBU`rOLf{sFX|LAu^bOdg?rtX{L@U_RN\fsrnX~K{u^bNDfornXxK|U]BN\fUrlXskzU\ZMda{rPWpKtUKBLLdos|X]LOUVRR|iCqrXZLPugbJTfCqlXrKkU[bI|fCqfXrKiu[bIdd?rJXfKhUXbILeGqZXcKfuWrHtcgrJXeKeUXrH\c[rDXHKqUQBK\ewqHXEKwUPRL|ekqBXkK`uZRGTbwr\X?KwUNrL|bkrVW|KuuNBLdd{ppWyKouWBFLe_pjXiKZuYREtbGq~WrKoULBKLog?T?K_DoBw@s?uwk?O_HOCZb_@U?h?RmNVFJblpywz[[mKehJbXiYwsYdmAErj_plAwIZNmAEsj_plMwIZPmKErZapkmwmZKlcfDzXPpawkZGlbFCzWxpUuI[Sl`FCJW`pIuE[Pl^fCzWHpUu?[SmGEnJVppIwaY|mFEmj`xjmwYYxlZFAj``jawUYvlYfBzUXoutg[MlWFAj``jIwUYplUf@zTxoet[[GlTFEZT`pmtU[YmBehzTHoetO[Gl{E~j_@nivqZ~lye}z]xnuvkZ{luE{j\pnQvYZrlveyZ\XnEvSZoloExj[PmavAZflpevZZxmUvGZ]m?euj_XlqwCZZliEtzYpleuiZWmzF@J_toU?l?W_JoDgA{@a?r?Z_LOEWBS@m?x?]_MoFGBs@u{I\unBf]Jopv]{O\unDF]JpHv]ze\~myf_Jm`wEze]AnAF\Zm`wMzq\om|f[jnPvEz_\{mxF^ZmHvyxP[hmTVIzdlqqzG]GmrFajkhwe{I\`mpf`zopuIy{]AnAFVzk@wMyu\{mmf^jj`vuyo\~mlF_ZjHwAzq\Tm|fTznPtYz][_mOfZjbxuuxC\lmvFGzlxqQzM\QmsfTJl@tMyQ\KmfFQzhhsiy]\EmgfQJi@s]yE[|mafNzg`ryxs\?m`FNJfXsExm[pm[fKzf@rIx][smWFLjdprUxI\imRfZJcpum?T?K_DoAg@c?m}}\nmuvZg@k?}?\?M_FoBWAS@A?b?O_HOCZJ|eArBXakqUWzKle]rLXgktUYZ|P}E~Q^^nsFwJzx}m~A^lnoFzJz`}I}{^bnmfxJz`}]}{^enmfxZyX|e}i^ZniFujyp|e}o^Znjfuj}x|A}c^xngf}J|X{u~Y^NnuFrj|@{i~S^Knsfqzwx}U~M^HncFxjyp{Q}K^WnjfpZwH}I~E^Bn`FxJyXzy}i^?niFnzvX}y|y^on]Fzzutz]|j]xn\VmJuP~]|g^xnXf}J|py}|a^nnWF{Jt`~E~e]mnxFjZ}`ye~k]jnyfijsp~E~e]gnxFhz}`yM|I^unyfhJq|xe{p]YnMVezqLxM{d]SnJVdZs@wm|C]LnOfbJrhwy{_]]nFffz_|oewP[OmHVCZa\pUwh[XmLvEkIy?rAq_MokGB[CICz@E`OoPGR{BqCz@?`OoNgR{Iy@nAq_\okGFKBADF?s`RoKgSkIi@Z?i`SojGD{II@J?g`RoHgSk@yDRAk_PoigCK?u?b?N_HoDwAk?E?J?B_BoAw@KHYBfAY_zoeGMkEqCbAS_woZgQ[GiBN@i`FoYGPkFyBBA?_qo_gK[GQAv@[`Co`gJ{DQBr@W_}oTgNZ~YAb@Q^{n|GHz~iAY~}_dn~GHKPiDjC]`[pFGU{OIG^CEaHp@GaKOaFzCI`~pBG_KMIHVB_aSovgc{LaHFB[aQougcKNYEfBU`|o}GYkKqFVBm`gozGX{NAENBs`do{gXKKAFJBC`soog[{JiGjCW`^onGa{UwAE@@?^_NoGWCDkyu^ZOlhusjYLxu{~]]nOVgjsMK\E@bGP`WpcWMKLDzbDP^wpCVuJhEDa{P_WmsWMJtDnawP^wmSVuJPDnaxPZWmCUmJpDjayPZWmsUeKLCxbDPNWpCRmHdELaYPbwesXEIxDbaoPXwjsUUIlClalPKWdsTeIHDPacPTWgsTMITC~afPOwhcSENWz`\qmwv[zmlvQ?f?T_IOCwAk@QxB[_mNvGjcdqNAJ`FobWOkGeCN@~`@o_WNKFuBv@H_eoQwI[DEA^GIcVqBhE[_qPbGicBqJH@KaaOJGIb~qBh?[_qOBFwcCp~H?k^iONGUbxp|hB[^QOrGObxp|hAk^QOfGabuqHg}KaQN^FkcMqGG}K]yO~F{btp}G{{^iNRFeb~pyh?[]aOBEUbmpvgqkXIMvGgbiqJGzKaiMnFMcVpshE[\APbFGcPprHC{[iPJGUb`qEgw{`aMJE{cMqGGwKZyO~EucGpmhA[ZaOjEpbXplWt[Y}LZF_bQpxGtK]ILNF]bNpggzkYAMvF_bKpfG{k]IKvJO^Xnlvujzd|y}z`zo}w^KNEFjBr`tozw\kMUFRBfdjQwx[slmUpJddjQvXZSmEUpJ^dgQzxYcnMUdJpdgQyXYcmuUdJjdvQaX]SguV`IJd@Qwx[sg]SHJddsQ^X\cgEVTH~c|QwXZcf]RpJ^ctqZxLkeURRHfddQVxKSk}UXH`ckQqxJck}QtJLchQpXIskeQhJFceQpXICkeQ\JFd`QQxWCc]T|HHd\QOXVccUQDIxc\QoxVsb}PxJ@d\QLXFCjuPlIxdRQgXTSiMTHIhdVQfxRSjETXI\dIQkxQsjUSpIvdFQ[XQSfUS`HrfARXxl[ueZBLdepr@hn{wAWVMAeCr?Hn{wAWJMAe@r]H^[nyZzJ{e|q|HnKnaZzJue|rOh`ksYWbLCeFrZHfksAZbK}evrKHm[rQZnKqeyrIhhkqyYVKkecrRhckqaYfLOeRrTHb{taXFLUeOrEHj[pqY~KYemrChe{pYXvKSe[pvWz{\mNBFdbproXwk{M\zMzf^ruHuk|q\rNYfZrjhz{zI^BMofprvhp[}I[^N_fEruHok|q[RNYfBrghy[yY]nMcfirfHx[{Y\BNGfNrdhtKyq[vMWfTrrHqK{y[fNOfIqmXVkjmT~JBd_qpXXKk]UVJNdesHH{lAA^ROafrsEiCl@y`FO[gOsDIDl@Y`^OogKsBiC|@I`VOOgSsKi@LBY_ZOsgDs?y?l?]^zO@f~r|iDlBA^vNwgVr{IE[~Q`nNqgYsHh|lAi^VNmgSr]XnkvmZ~MBf?sMYFlBmb^Prgws\IILFaajPughs\IH\Faa^Puges]iGlCab~PEg}s]iF|FyaFP{g_sVIK\EAbJP]grsYII|EqarPiglsfiOLIIcFQ_hAshIRLIaczQehLsbIT\HAd^QMhUsciO|GicnQGhIsnIW\JyeJR?hbsliULJQdvQwhXpZWlKUmTFIddOqexR{hu[VMNfEr`XpKw]azP`gnsTyJ\DefpRlh}Szy^TNEfLRrhzSyy\DNUfHRphpSzY[DM}fLR^htSvY\DLmf@RXhqStY[TL]elR^hkSuyYdLufpRHheS~YXTNme\RrhzSsyYDNUhtFfbtpyO@w@K?bKneTrJXckqeXNNdfsrxx|[}u^^Q@hAs_yO|GmcRTeiktYIjlUQivTQintTIkLTYjFTQietRiilTAinTWibtVIh\TiiRSyietSIf|SyhzSyibtNih\RqiRR}iWt?id|OAhfSgintJIkLQijFSaiqtXic|QQjRT?iMtPIcLSIg~SWiatOIb\PYiFSOiYtMIalPIhnSmiDtBie\OqhbSCiYtMI`LOYhnVI?C_BO@\WamVUKjftaixlWImVUCjet`ix|VqmJU?jct^iw|ZyjnTyj`toInLZyjbVAiytoIm\UymRTijatZIw|YYlfUgjZtiiulYqlBUmjQtkIs\Xik^UOjMtcir|XQlrU{jKtdiv\`G?a?N?H_BoAW@EolWNkGUCzAd_uopWLkMUCZBT_}opVzj~UFZBT^unhWRkJT}ZAd^]o@VnkAT{z?T^EnPWFjuUAy|T_emxVPjiTwYyT\}mlVbjlTxyzD]UqhSpiXtJyelR]hq?H?E_Ao@G?k?ZXakguRjKleAqfXekhuSJL\cyrRWukiuUJF\dYprXGkruRJL\cirRXCkpuPjKlcIrBXYk]uOJJldyp~XWkWuLJIldYpfWikluJjJ|aqqzW^kOuGzCla]pRU~j`toYxL[]mJYmk{ukJNljIrvYIlSubjTlgqtVYClWukjPLiysNYgk~u_jTliisBXlkwuZzM\f]rjYalJuejSlhatNY_lHufJQlhysbZ]lYuwjVLmAtnZElhuqjY|kaujZClgurjW\kquBYylkuujV|lqtzZolqu|J\LnIvNZultu}j\|navZWPkEuBzS\i]tJY`lNufZ`TpUwX[XmCVDz`dpEwP[RmDVBz^dpUw@[Vl~VEZ`toMwL[RmGV@ZfDdEqfXNlhutzYllEu^ZLm]VPZhDrext\Fm[VOZfdsMxt[~mYVEzbtr]wx[rm^VJZgDq}yD[pmRVPZhDqmxP\FmYVHZetqMxd[`myVTJl|tIzb\OmxvQjmLsyz^\KmxvWji|uYyr\cmlvYJjluAzZ\]mtv\Jo|wizr\unCv^Jo\vi{B\}nAvLZe|rM{X]XnGVfZptxm{d]ZnJVfZqdxez^\rmw_?jtTx}|??EnVvg_?dyu|G?CnT_?jtDy}|K?EnU