CAT(2912,1)
Sparse6:
:~?l__?O?G?CA{@X?l_VOJwECBE@b?n_WOKwESBQ@n?t_ZOMWFCBi@v?|_]OM?F[Bc@z?y?]OQ_G{CeAP@K_dOQwH[CqAT@N_eoRgISDEA`@[?hoTWIcDYAn@W_i_TgJ?DMAm@S_s?NwGCByAD@B__oPGGsCUBg@g_tOYWL[EuBX@m?sO[?LSE{BR@l?vO[?L[E{BX@^_ooWGKgDuBM@]_r?VGKOEUBG@f_p_XgJ[DeAtAN?yo\gMcGmCRAI`AO`WO[FoCX@y@Eob_N[GwB|@~@EO^OPkGWC@AF@@Oa?OKFCBn@x?xo]?MSI[Bb@r_xOhwTKIaDHAe`Qoh?S{ISDRAe@SOfgSCH}CqAP`F_egQ?HaCuA``M_gwR_IICcAT`I?dgQWH]BJ@e_roUWJSDmEOBD@bOp_W{KSENBA`aOowWoKQEMBB`a_ogVoJ}DwB@`]_oGUsJaDnAr@^olOWKJOE@Ao@[omoUSJgDbAn@Toj?TsIgDZ?j_ToIwPcGyCZAH`DoagTkI}D\Bi@ooyO[SM?FVBj@pOyO[KMgF@B\`novg[_LiEuBb`m?xWY{LeEpBT@pot?[kLWFHBe@goy?Y[M[EdBe@fOs?\CM[E^BG@doq_XkKcEXAc`ROhW^kNqFvCF@ypAO]{O_FlCF@wO{O`KO_F^C@AAP?o_sOGGJB}@{P??^SN{FrBq@uO|?\sNKFZCRAJPDObCPOGnCXAGPC_b[PgGbCIAEpB?`{OkG\Cg?boQWHCCaAR@F_foRWHsDIAb@O_mOVgJkEEA~@__koUgJ[HYCnAT`HOdGQ[KmEZBKa_`NWfwSAH{DAa``MgggRqIGCza_@MwgORqIACyaZpMWfCROHzC}AZPNoekRKHnCxAXPM?eKROH\CuAWPLOd{QsHbCrAUPIoeSQcH\CgAWPI_d{QgHNCgAQpIOcsQkHNClAQpJ?csSKGxC]AapFOgcP{HDC`AQPG?c[Aa@T?ha~_JGDsAu@X?m_UoLGESBM@j?v_ZONwGCByAD@B__o\GMsFUBn@x_{O_GOSGEBf@q_wokwUkJQDVAk`TO{g]cNMFpBy`{pk_tSYeLVEhbTPiwuGYeL]EjbW@igtoY}LYEpbU@kGsWYALCEdbO`hGsoXuLOE^bR`fgsGXiLCE[bL`gGqwXuKqE^bK@fgr_XQKkEZbL@dWtoXMLWEPbU`cgpoXQKkEObF`dWpWXEKYERbE@cgpoWiK]EGbG@aWpgWYKUEFbE@`WoOWiKGEHb@`aGooV}KAEFb?@`Wt_VyL[D{bU`^WuGVuL_D}bV`^GnGV}KADzb?@]goOVeKGDzb@`]ghGVYIUDwad@\wlOYMJWEdat`hGsoU]LODhbR`YGkcUYJJDbaopWgmWTyJiD_an`\Gm?TuIuDqaw`VGj?VMJiDYak`\GigVEImDqaj@[GlgTIIgDnav@SwqwTEKqDNbK@SGmoSyIWDwaz`RWlgSYJ]DFav@QHBoAI@H?bcR_HWC{AYC^AO`GotgYkLQGTCKaDpRwiKTAP_GlcXAJxEGayPSGlcUAJxDWayPMGscXaIXD?bULhErbXQHp@ca_O\GhCEq@`E[__PjGFCYQK?}KbGNfGpBxPyw|k]qNPFibspw@CcaWNBGdBnpv@CK\wPFF\CPQH_z[\gPHGdBkqGOysaKMnFWCPPs@Bs\GP@FPCNprPDS[wPXFNCTqG?xc`{MVG]BdQEow{`sMRG[BcQE_wc[WOrFDCKQEowK[KOzFACMPn`BK`gM@E~CKPmPA{ZgOjEwCJPmpA{ZsOjE{CJQBpAS`COhGOCHqAP?[_SOVGCCDP}_~k^oN~FzB~Q??}{_GNpFxC?pz_}c^?NlFnBypxOukZ[NNFeBZPso{S]OMjFbBiQcoDCAi@R?g_TOIXR_hKSrITDLqd@RShWSrIWDLqdpRSg]SRIGd@q_XOSfyS@H~dJA]xNghaSmH{dHa]HQgfiSgHxcbAcHGwhISaHDc]AchFohAPyIPdFaMXFWguS[GycZAbxPgbaS[GvcxaOXM_cARcG~cuA`HLogYRYIDcsaWxLWeURSHccyaWHMweIRkH`cmaUhJ_d}Q{HZdDAUHP_deSUHVcgaSHIWcyQcHNciAQxIgcqQkHLccAZxHOfEQQHoc`AXhKwcMROHC_QOGgC[AI@H?b_QoHwCsAU@N?eduacHQShEJ`Dqawp[wmkVQJlDwazp^GnsVuV\Jnduqzh\km}UyJhdmAxxZWmaVMJ]doAyX\?l}VAJiduAwx\WmIVGJiduAxh\WmUTzI}d^qu@[clgVLJXDqqshYclMU^JPdgQr@^SkwVvJLD{qv`XKm?UVJIDnqp@ZckKUzJDDlq|`WCn_UDJvD_ql@[KjWVFItDpQ{@UKnGTfJpDXQ|`Tsn_T`JvDVqip][isVjIkDyQ{pTCigVjIhDyQ{`S{n?TLJpDQqg`^[ncTHJyDPqfHRshuS~I`dOQt`V[l[TxJTD\QlpWsjcUPIwDbqDXA{`YOpGYcKqExBk`qPBGbcPQHHCsaUW_LGeFbQX`os]YKLHeabPxg_saYSL@e`bRHhWsIXtKwe[rLXesr]XdKseXrGphks{XJLMEQRQ`cCqGYXLJEOrS@bktGW~LPENRE`i[poYjKZEiRDpi[pcYjKWEiRS`aktCWlLOEIRCPhkswWfLNEHR?x_coIWJKFeBRAH`SoeWVKKeErJpfsrCY@KoE^rMpdcqwXzKlE]RIP_Cn{XVK@ETRH`^cq_V|KfD}qbXP{gyYnLWejR]XnCv]ZhLueyrV@qktw[nL\FJRUPqktg[nLZFJRc`o[wS[hMRFAR]`osvk[PL{FBr_@lsv?[DLnF?r^Pl[v{ZZL}EuRY@pcug[\LhFErXPpKu[[VLeFDRX@qCxCZDLbFFr[Pj{vGZBLrEoRhxtKya\rMyf\rlhvCz]\eMifYbjHu_ym\AMofXBgxuGyI\wM]f]bgHvox}[uMlfMbjxr_yy[oMcfRBehrGyUSrIZdLRNhgCr}XvK|e]Q~H^snuV~K@e?Rw@{[}G^HN`FqrvPy{|{]rN]FkRtpzS|c]xNWFlrvPxC|{]TN]FcrsXy[|I]\NOffrppzc|k]LNYFaro`{[{O^JNBFqRnp{C{C^DN?Fort@x[|W]ZNTFeSCp[{meVPJiduQywu[ZQLdEtbZplhSSiQTFMEfCR`xo[wU[HM@f@R_Hnkv}Z|L_eorVxv{{E]@OdGWsHqE\AW`dO^GVSGQEDA?`^O`GNSGABl@{_xOXGMSEqBt@g_zOUGQsEAC|@[`LOUGPSEAC\@[`HOjGHsDQDl@O`XOTGSSIaA\@O`ROOGWsCaE\@C`dONGLSBQB\?w_rOIGEsBA@|?k_\OIGGSBAAT?k_bOaFvsH@}LAK^`OjG?sJQ?\Ao_DN}GBsAQ?C~{_PNzf}R~X~C~i^rNtGWR|qD{~W`\OiFxR|ADC~K`RNkGARzQ?k}w_LNhGARyq?s}g_JNeGBryA@K}[_PQAGDSBI@\?}_ZOMgGSCiAKb}QBH?eFrCH`sxa[tMXhFCcYQ@HMc]QQhFcayPhGyc_QKh@CaIO`GicEQHh@C`iO`G]cEQDhCCLIEpGi`iQHgtSZIL\E]bRPghGcUyQXDuccP[g~cTYIxGEakQ?ghC^yI`GEaeQ?ggCbIPhDEa]QJg}CQiHXFybyPHg}CPiNpCabyPFg{cOyNXCUbsPCg_C]YGPFmaAPyhBCNiOxBucIO~g\C\iN@BqbmOzg[C\iN@B]bmOxgvCXILxEYbYPdgoc[yKXFUbCPsgkC[IJPFIaqPpgeCViHpEAaYP^hmCrYX|KyeXRIhdsfQZLLkc~RYHNSeaZLLkcxRYHLseAYtL_cnQXHjsdAYtHWepQTHjspAWLKWeFRDH`SnaSDK?dDQ~HOssAV\JoedRPH]sjqUTJCdhQoHXssqTdIwejRSHUsiQVDJgdVQxHTShaW|I_eRQfHcSgqUlISdnQcHZS@I?t?U_NOHgCT?y_lOQg@SAi?tAQ^TNogVRzIDT@a]dO_flSFHyt@aZ|O[fBSGHoSva`\LogRR\IDS~Q\\N{fZR}HuSya]|M_frRhH{SxQ]LM[ffReHxSwa\tN?fHRbHvs\iNDF]brPzg|S^INtFub~Q@h?TBAeDRGg\SLIWtHqdTQchXSgITtJQcdQ{hLSmIQtKqcLRShFSsIPTFaeDRGh@S^IWtEyblPqgpSYiKtDQdlPWh^SVIVTCqedPOhjSQIXtIa`|PChXSjIGStiZDL]erRZhlTLifDR]ibTRihTTAgTTWiHTTI`tTAgLR{ilTTI_TTqfdRwirS|IkTTqfLTchvTWI\TQAh\SgiZTHIeTRaglT?iNTNIbTZAktUwjPTlIrtWql|USjbTcIwTWAjTUGixT`IltYQjlT{jVT]ItT]qmTVOjzT{Ixt\QnDV[jtTuI{pHWc{QYNxFyb|p|w~K^aTPIidSqhxSsiUZJLferRXHk[uI]NNDfbRohwc{MbJPegqSWYKTEMe~R`hoSviZdLuiPTIictPYg|SYl[UgjWDiitxYelUUdjUdhyt`YYlCUhjQDiIsXYilIU^jOdhys@YYlCU[jQDfisXXuksU^jOdeYs@XmkkU[jKDfiqxXuksURjKddIqhXmkoUOjJDciqxXEkYURjIdbyppXQkUUQjEDcIpPXEkYUGjFdaYppW]kWUEjDd`IpPWUkKUGjAdaYo`W]lUT}j?DjYnxYqkAUmj@dkIoPY}nG?U_KODwBK@m?tVo?MOFgBl^W@@?`_Np]gn[VeQ`HMcfqQxHkcqWnKXeKRDHakpY[|M_fNrexrkxq^jNvfzR{h}c~MdLQghRsgySlIQgXSMiEtByaLPAitT[iltVYj|TyoyWbkQeFzC``yosW_kMEGjBXaEosWVkKeFJBX`aoyWSkNeDjBp`UoaWVkKeCzAP`ao[WSkGEDj@x`UoeWLkHEBJAH_mo[WGkGEAj@x_eoIWJkBeBZ?p_qoOWAkAEAj?X_eoIV~kBe?Z?p_AnwWAkAD~j?X^unuV~j{e?Y~P_AnqV}j|d~Y~P^qnlVvj{T}I}t^]laVrjXd|YuP^Qm{W_joEGizxaEmuWbkQdvZC`\qmoVojlD{izH^En_VTjjd{Y}P\Yn]VQjvDtI|h\Mm_VijgdzIxx]mmWVnjudrY|p[ymQVijddzIxP]mmKVfjcDyYwx]amEVcjadxiw`]UnMV?j`DyYwH]anGU|jrDny{hZylsV`jpdnI{PZmlmVtj[d|Iv@^MlgV`jZDwy{PZUsW?I_EOAw@k?}?\YW?GOCgALhw?f?T_IUfjSDh}s|Y_lNuHbR\hspPWfLMUSBO|g_qdXPLBUTROtg_qfYFKiUeRH|csstYWKfUQbRDcosrXJLLUPrQlc_snXHLJUcbGdcWshXDLHudbG\h[qDYTK_ucbFthOq@YRK^uMrP|bssbW{LGUbRFDbgsXYMK[uLRP|b[sbWuLGUKbPdbOs\WrLEuJrR\hspbWoLMUaRDdgkp\YIKUuaRDLgkpVYIKTU_BNTfosDY@K|u^RM|f{rrX}K{U\BMDfWr\XtKvu[RL\fKrZXqKuUYBKTegrHXhKpuVrKle[rBXeKoUVBO\dwsJX\LAUTbJLdkqpXVKlU{_BC@]?l?U_KODwBK@m?t?Z_KoEj__@u?x?]_MoFgBdgYsNYGmAFAj``oUwU[EmBfAj``oewU[GlxE~z^pnQw?Zrlye~j_@n]vkZ~l{F?z_HniwCZxm@e~J_HnuwCZzlUUijT\iut^YmlrFAZ_xmavM[Glpf@Z[hoYwGZcloE~J[PnuvAZzlyevZZxn]vkZ]l{Euj^PlqvqZZlkE{jYxnQuqZrlOezzSXnEtCZolvehJ]HiYv_YdliEzJYpmyuiZlldesZXhlMuWZQlfEqJXPlAuQZNl^epjWHkUu?ZFl^EojW`juuEY{lXemZUhjmtgYylZEkJV@jItmYplReyZTHmmtOZi_DOBG@[?i?X?J_EoBw@s?u?^?Mmr_CGAS@E?`?Q_Guzz]LnAnBVbjpTyy|d]inZVnjvT{y}l^QzM\lmvfYZlpuazS\lmvfZJlpumyi\`mpfTzipuIyo\`mpfUjjHuIzG\ZmrFVZkhtqzG\]mrFWJkht}z_\QmxFTJmHtMy]\jmgfZJi@uizM\KmfFYJhhuey{\HmoFQzjxsiyo\EmlFQJjHs]yE\ZmafVZg`tqyi\?m`FTzipsEzq[|m|fNznPryxn[xm[VMjfdrmzq[sm|fLjnPrUz_[pmxFKzmHrIx[\rmWF\ZdxvQzm[jmUf]Jd`vYze[imSF\Zm`qexK\wmRf\jchv]wf[TmIVDjbDp]wr[ZmLVFJblpyxC[LmPfBz`pqQw_[^mOfCZaPqAsRYJlDUcjQdhMsjYUlJuezRlhq}q]MnGFuzpx|i|E^OnQfsjyHyQ|?^OnhFgjyHyE{y^XnNfuzrp|i{s^RnMFtZrX|Q}k]VnkFeZyxxa}e]Snifdjy`xU{a^UnHftzqP|a{D]Cn@v`Zo|wY{P]InCvazplwq|u^Ln]Frzvh{y}S]wndfmjx`ze}Q]uncFlzwxzU|c^@nYFozuX{I}G]nnbFkZu@{U|{]kn_Fjjvxyuzw]hm~Fiznhyi|K\~nSF_ZsxwA}w_KnnGBjzi?v?Q_BoDg@[@Q?R??_EoCG?k?I?^?k^pnxGDZ}Y@]~[_QoHf{KA`}}~y^jn~fzZ~p}q~O^vntF}Z|H~a~s^dnrf~J~X}Y~g^anzFxJ}h}M}}_NnogCZ{A@B@q?^_OOGWB{AE@@XOkhUSZI\dUqh[^mOvGJcdqIxF`AOcWQcGeCLAR_~ObwOSGmC@AL`BO]wPCFuCH@x`@O\wOCFMB|@t_uO\wMCFUB\@r_uO]wMCFuB\@x_]OawGCG}@|AL_ZOcwQcBm@pAP_oOXwLSEUBP@b_lOKWJsBUAx?r_iOQWJCCuAl@J_`ORwISC]AH@P`w?HoDGAk@Q?f?Tl~V?J^|oEwF[AlOugjS\iQtLYdncvpzxD{Q}L^Dn_vozwTzy}@]~nSVhzstye|T]jpKg`{RQGfCuaGpKG`KOqHZCmaDp@Gb[OYG~CAaMp?gbKOYGjCCaJpHg_KNyHVB{aSpGG^kQQGBCa`~o}G`{NiGbBuaHo{G`KNQGZBqaDo|G\[MyFbBk`xozg^KNiFVBk`zoeg[[HYE~AW`oouGdkRAEzCm`lpKgY[LYHnCs`ipEgXkPyEbC[`fopgc{KiHVBGaSoogc[KQHJB?aOomgakJyGnCW`]omWUkJ]DbAr`Voig[kIqFNBg`SowgS[LyDNB_`Qofg\KIAFJA[`rptFWZk\uIzH\emqv~Z~|~y~t^{n|v}Z~D~]~h^unyw{s\mM|FjbsPvW{C\mM|FdbpPvWyc^MNlFXbyPtwzC]}MhFpbjPzWpc^MNlEPbyPbwos]]KTFjbCPyWoC^EN\EDbuP_w{CVmNHD~bpP^Wl{VMJbDjaupYWxsUMMdDfbgPXWxCTuMXD`bdPVwwSTeIlFFalPpWiC[MIhFFahPpWhsZuITF@aePnwgcZuIPF@abPnwyCSEMdDBbfPNwxCReMXCzbdPNWscYuLPEnbRPiwucYML@EpbXPfwusXeKxEzb[PewnCXMJhEVazPdXPCeuR^HjcsqXxKk_qSFGMdBqAhOkgIOJIEcCq`H?{fqN~I?c@q^h?K^aRzF{d?p}hN{dARbHKcyqRhM[`AQNGScdqChHKfiQBHCczq]HG[ayPjGwcXqLhEKbiPRG}cUqNHD[aIQrGecmqHHJ[`qQ~G_cpqFhKKdIOnHUcLqTHBKL}FFB``qoyW[{iyVFJedWqjH[kkUUNJHd^qoxWKlqTrI{dnqmh[KgyVFJedHqcH[klqSVJ_dEqvhPKiYUnIidlqiHZKkiTBIcdfqrHS[hiTfI]dZqfHUklASjJSdKqshQ{ZuMBE~b`ppwwk[eMZFJbhpsWx{maXJKgduqyhc{rAW~KsePrKhcKqiWrKmeMrJHb[pIXrKUe\rDHe{oqXJKgeGrBhc{o]WVKHe?r@X_[qiVvJ}eVq~HdkraVrJse\rLh]{myXbJoeYrKh][fuSBH~d@q`xOkvMZnLteur[Xl{tQZrLWe}rThn[vaY^L{ehr]hiKsaZ~MAeer_Hh[sIZ~MAebr_HgkuAXzL?eqrNhk[tiZNLiemrVhlKwQ\FMGfRr`hskyy[zMqfOrkHr{xA\RMkfIrcht[xY[VMYfFreHpk{Y]BNCfdrohxKzQ\vMuf]rmHv{FEB^@lbSphWs{YMK~E`dFqcxQKgmSZIHeorXXk[tmY~L\fwR~X}d?E^dN~fzRyx|s~m^pNlfwRxx}c}e^dNdfvRvx{S}m^@NlflRxxzc}e]pNdflRwxzc|}]pN`fzRrX~S|E^pNNf}Rsy?C|]^|NTg^?BoAW@EF^Bl`tqJxE[bEPRGjcUq|X^Kn]V^Jrdwr`Xo{we[VMNfEsVIK\EAbNP]gqsYIJLEqavPigjsVIILEAajP]ghsQiI|CyavPKgksSIGlCaajPEghsQiGlCaaZPEgfsKi?\?Y`nOCgYsWiDlBAbNPcgVsHiLLAibZOggtsGIF|AQaFOag_sEiF|@yaFO[g_sMIA|Bq_rOygIsKi@|BY_fOsgGsAIFL?q`zOIg\sr_@G?k?ZQKhfscIY\GyebRMhBsaiY\GaebQChcsrIOLKicFPyh`s^iW|FqeJPshcsrINLKibnRAgvs[iW|KQbbQuhTsmiT|JadZQchWslITLIYdfQ]h]sgiWLIAd~QQhKsdiRlHQcu?N?H_CO@w@K?bSaiGTFYadQEgdS^iJTFYbTQEgpS^h~TDy_TPmg@SXh{TCY^dPUftSRhxTAy]tO}gXRthuT@Y]DOef\SFhqSty[DLefDRThrSuy\TL}fPR\?C_BO@W?c?U?LiqSKyE|BU`rO|g\tSik\TYjBTSintUIk\Tqi~TYiotXIf\Uah~Tei]tUIhlTAizTMiltTihLTIiVTSibtYigLUyiJTki`tXIelRajRTeiZtZIeLUyhfTiiVtGyc|QUhZSjiSsoyW|KUeRRLhdt^ItlWAlbT}jVtciu|ZIk^UOjYtkipLZYkZUsjDtjIo\ZAkNUmjAt[ymlVEjnTzi{tiIr\Yik~UejMtdIsLXalJUUjPtwivLZqnNVcj\ttix\\im^VWjetsiw|\QmRVCjgtnizl[InBV?jnt|I~\^ynrVuj}tyI||]qnfVijwtFYcLP}lVUhjRtgYslYMopWLkMUCZBT_}oXWRkJUCZAd_}oDWRkJU@ZAd_EopWFkMUAzBT_epxT`iptVyy|\mmrVPjitszHDbuq@XLkdUNzGDcUqLW|k`UNzBtbeplWbkOUMzGTbEqLWtkaUKzDTcep\XLkUUQzFDaUplWhk\UHzNDdarfXukiuTjMlfQq^Xqkhu\jILeqrNXoktuZjLLdirBX]kquVJK\girrYMk}ubJN\gYsBYCk~u_jPLbepvWvlMUcZSDhMs|YTlNUdzRTiEspY\kxu\zMliw?DYblX?@jSlj??HYflV?@JTG?ItdYllW?@jT^