CAT(3134,1)
Sparse6:
:~?o}_?O?G?C@K?T?K_DoBOAC?{?d?M?GoD_A[@S?n?W?IOFoBK@m?t?[_NOFWB{AE@@?p?U_JwD_Ay@U?o_]_KwEKBI@k?v_[?LWFGBQ@s?}_]?NwFWBuAQ@A?`oPOGCCCAH@G?doP_HSC[AR@Q?eORgHkF{A]@Q_g?TGIGDM@q@R_Z_TGF?DI@m?g_[_IgF?Ae@k?g_Y?IgDGBU@s?s_Z?MwF_BU@_?z_V?NGDwBi@R?g_TOG_CkAO@N?b?ROHOACAW?d?P?RoC??{@G?R?P?COBO?{?w?P?N?CoA_@k?o?\?J?FoAg@c?m@D?c_Po@w@K?aDiAn@WOjoUKJ?Db@E?]oPoFsC_@~@O?bOSOG{C{APAr?HoDOUcJG?h?C?MO@_Bs?S?z?[?NoGOBsA??z?k@VOJOTcAkDZ?o_VoJgUWIMDIAs`Q?kgICDEA^Ae?AOi??sI[?J?C_BO@WTkIyDXBd?ToJWDcMcEwBg`s?vgZgMaEMBK`c_qgX?KmEZBN`fOs?Z{LGFBBP@oOmoZ{JsFBA{@oOm?[kJgFNBe@[ooO[SKKFHBA@pon_WcKWE@BD@^ot_[SL_FHBV@poswYkLQEqBd`l_xg[wLiExB]`mpC?UkJ]DlBU`kOtwZSLmErCRAGpC_akPOG`CIAJpB?bCOkGlCVAFPBObCPWG^Bl`vOzG\{NAFbBs`xo{g_wOuGQCNaC@Bg_OPAGcCBa?`CWaWOQGgCDaI`@g`OMiFQCKaD_yw]gNaFmBy`z?}W^oNmFyC?`}?~wTcIuD\An`WokGU[JQDdChaTPIGcWRuH}Cca^@GgggQYIGCfa``HWgWRiIIC{aa@MweKRMHdD?AVPO_eCSCH^C[A]pF_f{PsH|D?ALPO_b[SCGrCjAZpJ?fKQsHpCsANpL_cKRSH@Ba`qOwwZ{MEF@B[`movghKSmITDiAppWOlcUkJDDfAnPW?lKT{JPDiAkPYojSUoIrDTAqpToksTWJHDMaePRWk_S}JKDPaq`SGkwS]IODhab@YGiOTuIgD[al`Sw`kOyG^EAbAP_wp?VMJiEIbC`\Gm?WaJcEIaw`aWn_V}KAD|b?@^gnGW]JuEEa|@`WmoUuJmDma{@ZwqoXeKoESbJ`dWrOXEKwERbL`cgpWWyKYEObE@bwQcHUClAV`KoeGRSHqCvAh`ToigugIeDTAj`MofwRsIADDA``PohWScIYDNAg`wo{G\{OUGLCCahPTGi[[cMTFFBdpq?xc[YMJFCbc`oWwW[aMCFFbb@ngw_Z}MIF?bR@iWt?YmLMEibU@iWtoYmLYEibU@jwtoZELYEobV`kguGZQL_ErbX@lWuwZMLgEub[@lWuwZiLqEub[@mwvOZuLqE{b\`ngvg[ALwE~bR@oWwWYaMCEfbM`qgrw[qK{FJbP`gGsOYULAEcb}_]WN[FiOK@{_~O^WOKF}C@AA`@o`GOkG]CLAR`GochB?HECdAR`CoagPCGmCZAK`GObwPsKqEVBI`gosGYSasHFCcaPPHWcsQ]HPCiaSpZWlsU}J|D|a}QK@F[bGPrGpC\QL`Dkb[P^GwCVQIxDcaiPOGscSaLXCwbMPeGjcYaJHE_aiP[GccRAJxCgauOUGLcDABh@G_qO_GMcGaBH@w_uOaGQcGACx@w`QOcGUcHaDxA_`UOsGUcJaEHAg`eOsGZcMaEXB_`aOuG]cMaGHB_`}O{G`cOAGxBwaIPIG`cRAGxCOaQPQGIcSAAxCw_eMqGEblaAGzO_]PkFvb{aMHEw^aNgGxc\`|g}gbiOKFpcC@{x?w^IMwGBcA`vh?_\uM}GBcA`wX?_]ANDFcbppxW{{]YNSGAbsA?G|G_EO?Fjc@@zX?G]qN[F|bw@~w|w^yMoF}b}`tg~w\]NsFRb}@tW~W\QPaFPcX@shE?\AMYFybf@~Gxw^mSw@r_yO\XSgFaBn@udT`QGgsS]KVELbEPsWyS\ATdIpdXqjPTsikT^IkDWQhPHsi[Q`IeCfqcpTKigSjISDSQb`U[g{TdILDWqj`L{j?RbInCwQYpS{egTJHhDRQS`SSdKTHHPDPqT@SSdWTHHTDPqUXJCd]QtH[clqVPR{d{TBH]DOQfpKCiCRDI_CoqWpRchwRJHcDMqf@Kse[SzI]CsQePHkcoSvHJDLQQ@T[ccTXHIDUqNpRKc?SvH@DLQNPTCicP|G{DTQa`O{gcSXIGDDq_POkgKSLIADAQ^`N[fsS@H~C}Q\PQCf[SdHuDGq[`QsfOSpHrDJqZ@NCewRtHlC{qP@Gkc[QDHEC`r@ONKFmBt@x_|o]gNcFyBz@{_~O^XbgoSWfKEEHRCP_{pGWRKGEHrCP`SpOWVKLEJRB@akowWhKOEJRBpakowVxKOD~RBp^knWWVKLD{RB@]{nMVjJsdwq{h]CmsWPJnEDQz``KoGVLKCDqR?p[kk?WJJAEBQoP_{oGTnKCD[R?pVKncVTJkD|qyp^SmCU|J_Dpqw`Z{l_UvJYDmquPZclSUdJUDiQtpY[kwU`JKDgqrPX{jkURJJD]Qq`VSoCUPJFD~qp`_CkKVNJDDsqp@\CjWT|IsD^qlPVkFUBf@s_xo\GMkFYBp@v_zo\gNCvCNtF{b|q?X?S_AOFGDcAQIhD[aqTlItdYR_pngwAZ}MAe~B_Xm?wAZ]MAf?bZhjguaY{LiemBYXl?t}ZSL_esbWXk_uqZCLletbWxkwumZKLleqbZHmGsEYELrexBOhjGwAYuM@elB_hkgtMZKLTerbTHiOuMZGLPegBWhhss}YZLIeeRQxgwt}YQL`ecBWHg_tuYKL]eabVHfWvuXyL~e]B^hfOvqXoLye[b]xm_r]ZiKuezBLXeOvQXgLueXb\Xdwv]XaLxeWB]HmGqqX[LreUb[hdGv]XULxeTB]Hb{puW|K_ePRGXc[qUXHKeeSRHxnOpmZwK[e|bEhm?peZ]KWeJbZhfotYY?LWe^bTxzOheSvIYdNqgXSCiMTHIadSQiXTScIQHHBeMRExbSpiWxKZfuRzX|s}c]nNjFkry`zC|[^ZNWFvRz@zKxS^FMVFqrd`{c|O]tNUFmRtPz[}_]^NOFrRr`{{ze\vMyfZRlxvCzC^TMqFtryPuCyg]tMkFmRipz[|s\NN^FSrv`tC|{\JN\FQRh`zs}?\FNaFOrwPsSxw^BM_FpRw@r{xs^NMZFsRf@{sx_^JNbFLRx@rKwe[VMIfERbhpkxA[bMNfHRdHq[w][PMEf^bqxwG{u]?NKf]BqHvo{i\yNHfXbpXwwzU\gNEfUboxw_y}]CMmf@bsXog|M]cMCg_B?h_coM`zO}g^sNyFlBy_jORgISCIAT@Ea?OFgCcOiGH?aa?Nzg`B~YGG~q^jNvfzR|H}S~M`qO{g[CMyExBi^oOpf|CKx~HBI`UO\gUCFiDh@q_qOggTCEyBPAe_mOdgKCHyApAY`COLgPcBy@pAQ_}OIgOcBIC@?m_GOsgZC@iEh?U_AOmg@cKI?PA}_?Npf~bzx~o~AbwKWeJrEX|{~E^`P{g~S^YNHGAbuQ@g|C^yJXFqayP}gmC^YM\FUbhPqgwS[YIxGAaiQ@gjC^yG|CaaLPxG`sPAN\FgaJPcGzS]AKtF[bJP`GnSWqKDEGa~PlGhSZqIdEwafPWGfsUaILDca`PMGtSZAHdCsbVPJGrsYQHLE_aTKQeHrCXacpYWjNJferrHxC{i]RNDfbrphw[{Q]DQnHYskQU|J?dlQnHXSkQUdJ?dfQ{HUSjaVlJkdZQkH[SjaVTJcdZQ|HCSnAPTJkcRQjhSsiiStIadNQ\HYsfqU|HwdlQNH[SmaQDJcc\QqHDsbQUdJKcXQbHOShQSTIOdBQPHJseQQ\H_cdQYHAsfAO|HkcLQCHIS_aQtGKcjRmG]sNyFsuaZTLheurYxlcuyZ`LneJrEXbDAm`XOlgSSIiDLAU`NOegPSHIC\@}`BO_hISdiQlGQcDQBiEDByaHOygYSOh~C|y^hNef}Rwh|c}I^`NefmRyhyD?y]pOQfiSDhyD?Y]pOIfiS?hwdAY]XOmfcSIiBC{Y`@NMgMRqiECzi]@OygYRnhddByaHKqeSSOhqc}i[pNqfuRfi?Cwi_PMQgARbhnczi]@MEf?RnhmDAYZpOmeySIhksuyZTLYepRVh}csy^xLUf{RSiBCsI_xLIeaSGhfd@Y_XKyeYSChbcyyXHMueORkhaCyyWpMueIRkhsCoY\PKMfQRAhsCni\PKAfQQ~ioC]YNTFm]pNXfjsUIJTDeajPUgjsPIGlCMaLPGgbtZamLUsj^TkIwTYQklUkjFTiIqTWqktUSjPTcIrtWAltUojDT`IutPYg|SYiDTBiaTLaktR_jPSvIrtKql\UghjThIYTWAeDUGhbSqIot[Ad|QsjbTnIVTHqjlT{hRT]ISTUacdTohLTZIQtGQjTQKixSaIltGAjLP{ipS]IjtTqb\PsirS[IkTTQbDTWgtTSIKtTAatTWgjTTIJtCajlT{ghT]IHtIah\QoiZSjIeTNqiLTKiBT?IhTQAfdRwiTS|IctRafLT?hvTNI\TmauLZMldUmjWTjyuxVmlqT|j[D^In@ZQlkTyi{dlYmpZQjiUtjZD\yuxVIlqTriyDmIshYalMUijRDiYtXYIlYUcjUDgynxXyk?U[jMd^is@WylAUNjEdfypPXekWUZjDdeiq@W]kcUHjGdaIqpWQkoUEjJd`YoHXMkiUBj@DdI\DMifRRjhuszIx`]]m[VhjedyI{L]MnDVRjiTsi{`[}nKVPjqdsI{xZunQU~jsDni{`ZinKU{jqdmyxH\UmmVJjdDtizX[YmyVGjmDpywX\ymIV_jaDvyz@[AmCVYj_duYidTYijTXikTTyjTTqivT\intVjAH]iocVjkHdzJ?h_moMWLkBEBJ@p_IoGWOk@eBzAH^}oeW@kHE?I~`_eoOV}j}eAi~L^mntVujzt}J@@^MoSVtkCd|I}P_qnaWJjwEBY|h_yn]WOjvEByudZYljUvj[tmJD|bEp`WmkUUJZEpaEpiW_kZeGjEP`upeW^kNELJBPbIowWskLeKzEh`]oqWvkZEEJCp`QpOWUkReDZDHaMpIWjkQEIjF@cQpsXEkaeMZHPcEqWXAkdeOzFpcuq?XNk^eRjFXcepwXGkbeNZIpdequXWkjeUjI@dMqcXTkgeTGuSZQLfIBd?q_hNsgAR~KqeYRKxd{rEX`OCgBS@Y?L?M_DQNhGSbiP\GucXS{i^TNYfLRmhtU|j^tnivTZqlvWekSUHzC\aUpHYKLBUaBPtg[sZYHL@uabOlgksHY?LBUaBOTg[sBX|L@u^bOdf{sJY?K|U^BOTgCrvX|Kzu^rNLfwrpXsK|U^BMtfSrvXpKzu[rNLfGrpXsKvU\bMDfSr^XpKtu[rLdfGrZXgKvUYbMDecr^XjKquXbLde[rZXgKpUYbKdecrFXfKpuXBKleWrDX[LEUVbPtdssZYHKnuarKLggr@ZA?roYWLCEqBT@jlf?ZWL{Eyug@q_wO[XAk`]OlJQdiQsxYKlAU^McfRRhXsKyM\DPMgesRIHTCmaRROhhSsYXlK}e\U?i~T^yo\WIkBVojxT{Y|l]}n\Wwk\UMZF\bqpzZzL~V?B^lnov~[@L{V?r^ToGvrZtL}U|r^\nWvzZwLxU}b]\ncvhZnLyU{R]Tn?vfZkLzu|R\tnWvZZnLsuyr]DmgvbZkLrUzb[|msvPZiLpuyr[lmOvRZ_LrUwb\DmCvNZbLmuvr[lmOu|Z_LlUwbZdmCuvZ^LjuuRZll_u|ZVLmUuBZ\lcutZSljUtZYdlYujYNLgucRY\h?udY{L~Unb_Djsv~[@L[v?rV\oGttYuLgUmBXtj[u^YrLfUlRYDjOu^ZJLWUrRUTkotbYlLcUqbT|kct\YiLdujBXlikuXYfLcUiRXTi_uRYcLaupbStiSuNY`L`UgrWdiGuFY]LaufrW|i?uLZALLufRWdkKsxY~LKUoRRTk?srYTLgudrY\hWudYQL^ucrWLhOu@\i?mOUwJkDyB@@^mz?WgKKEMzw@c_rOXZndvyzz\{m~V^ZnPoQzq[Em|f@Zk`qyzK[omqfJzk`rEzK[rmqfKjdhv]xU\wmUF\jdHv]zk[imSF]JchvMxM\tmRF\JcPvAxG\qmPf[ZmXp}zg[_mOf\Zm@pqzc[]mwfFZbHuuz][ZmvFEjapuiwm\kmKFYzlxpUwe\lmvFDJa@uiwc\kmGfYz`hu]w]\hmFFYJnHoiwW\zmDf]jkxo]zQ[HmsFAJj@tyys\_mkfVzjXtUyy\VmmFTjiPsqy[\SmefSzhxseya\JmgFQjgpsAyC\GmbfOZghryyE[~maFNZexuEzE[xm[FWjfPrQxw[um\fLZy?E]BR@g_roYWLCEiBX@j_uOYgL\}GBZ@n_vOZWL{EyzH\emqvyB{T}g~H^hNpvyB{l}[~T^hNrVvByD|G}|^PNmvvBy\|w}j^\NiVvry||W~B^_NkVwRzT}?}v^^NkvaJpTwe{V]LnEVpB{l{W~N^DNrVoR{T{K~H^ANpvoBzTz{}v]}Nkvmry\zs}j]{NiVtrvD|_|t^UN[vlRyD|G|n^PNZV^rxlwC}^]?NfVrRoTwO}^^MN@vkbxTzO}X]rNdvirtdyg|\]hNUvkRs|y_|^]oNRVhRrlx{|H]]NPvebsDxo|D]ZNOvcRq|xK{r]QNKVdBptw{{l]ONIv`Rw|w[}R]ENcOUwJkDqAv@\_mOVgKCD}A|@__nwPOKKEMBD@`_poWjxl{}}\Y~l_uoJXDkiuRZKleuqzYLlMud`JOawRSG}CpAL`JOcWQcHmCpAR_~OXwLSGMBPA@_~OZWOSFEC@@n`AO[wOsF]CP@t`AO]WPCFmCL@|`MOWWSCEUC|@b_lOcWQcD}AxAR_iOawJCG}AlAL_{ORwISFuBt@P_uOQWMCCuB\@J_`O[wGsF]AH@t_]OXwLSCEBP?~`VOLwUSBmD`?x_ToJwDkBE@j?r`VOHWDCJM@LAp`MOFwRsAED@?b_KOgwBcI]?tAd`UODwAcIeDT?R`POBWACI]DH?N_BOiWTc?mDT?H^pnxv{j}d~Y~j^vn{v}J~T~q~v_?Ntw?b|m?C~X^|NvV~r}D~w~^\fmsvYJmDvIzb\rmyv\JnTvmzr`kPZwmSLmJ`B\a@PVW_sUEGHD^amO~WkCOEI|B~`zPZwmSNmJ`Bx`wPWw]cU]FdDdasOyw\cUuF\DjapOxWksMeJHBf`nPYW[SUuF@Dj`_opWW[K]EVBH`forWYKLMEnBTaXPTwjSR]HhDXagPJWeCTUH\DRafPIWhSQmIXCfaOPNwccSMHDD@aaPEwhCP}ILC\a[PDWbCRuHtCV`YPBwVCPMDlCPaCOmw`cJ}GTA|ayPtWnC\eJlFVbfPowyS[]M`FDbcPnWxc[EMTE~bNPxwsS]mL@FhboPeWrc]UNDEZbZPcwvSX]LpETbEPiwqCY}K\ElbBPkwpSZEKPEtbQP_WtCWULLEBa|PuwzsV}JxF\cV?xO[GMKFABd@pmVVKJd|rMxb[qn~v~j~m?B?D_@qRHG[dAQJHMc_qNhHKbiQVG{cbqOHEkbaQJGuc`qMhD{byPfG{cWqIHEKaqPfGicVqIHEkbaPZGucTp~HHK^aQVFycbqRG}[^YQbFscfqGhBkaAPNGccNqDg|k`iNbGWbvqCH?k`QORGQcBqAg~{_yOFGKc?qj?XGKsEUBL@d_qVvJzt|u~B^^noV^zoLwA{D]Cn@wh[S}IZDDacpPwf{SMIBCxa]pMw`KOuGVCNaHpCX\skmVdJNdwQrX\CkUVXJHdtQpxWSlmT|JXd_QtxYCj}UdJBdiQoX[SjeVLI|d\QxXZcjeTxJ`d\QvxUck}UTIvdXQrXTckUT`JHdVQpxSsi}TTIpdSQjXSsjMTTItdSQlxIShmQlI\ciQfx\ChUVXIXdtQdxPsm}SdJrdGQ{XZSguUpIJdjQaXOSmMVLIFdAQxXNcluS@J`c~QvxYCf]RtJTc{QsxMKfMRjHjcvqZXSce]RPIbcqQgXRcd}S|H`cpQexScdeQxIbclQgXqCF}CFA@`AoaWO{Z]LvExbWplWu[YmL^ElbQpiWs{xi\FMUfRreHskxY[zMYfOreHr{yy[bMqfIrkHq[xA\RMkfIrcht[yyYRMqeerkHh[sQ\JLEfRrOhs[yaXzMke_rNht[xqXnM_e\rfhfKq}XVKleSrHXc{wiW~MMePrbHcKwQWrMGeMr`hb[pIZ~MAeJr_HakoqZ~MAeGr_H`{oYZvKGe}rAhnKoAZzKCe{r?hn[wiVvJ}fFq~HpkwQVnMEdyraH^KuiZFLcerrWHlKvAY~LkelrZhjktQZfLWezrThmkrAY^KsehrKhiLCQ`NOjgSsGYClAM]LP@fdSOxxDB}a@N@faSOxwTB}`pMzg\RnyFczu\hO|g\RmYFCz]_POlgWSBY@TA}]XOBgBRsY?c{}`dN|gZS?YEc~}^`NjfvR|X}S}u^lNhfqR}x~C}]]|OTfpSEX{D@]]pO\gLRvXzT@}_dNRgFRtyAC|USvI\dNqgXSkiMdDPjhNSZYSDEecFQDh?s]yN|FubhQXg{SfYMtHmc|PJhOSRySTCucpPDgcSeyGtHubLQVgqScyKTHUaxQFhDSWYPDD}alPngxSUyJDFEcXPPhGSTYPtDMZrL|e|r^xo[wE[JMHfBraxp{wuf@QdhpShy[dIefXR^hlS{Y\tLufLRThtSuY\DL]e\RrhgS|Y]tLMf@RHheSwyXTMUeFRDhbsoYVlJ}dlRfh\SyyVDMed`RrhYS|yUTNUfXQnhTS{YTdM}`rO|g\sOYG\B}h^SriWtIYdlQmg`Sti[TDYaTR]hhSJi[TBy`dR]htSDi^TAYfdO]h|SBi]S~yfTOEfpS\h}TGY^TP}hDSViRTEycdPeiHTbi_TWYgTT}jTTXivTVYldTmjHTLigTYYhtU]idTFijTQYidSmjxUBj?T`yntWUj`Tvi|T\YmTVePRGlcTrWXkkuMY~L\elsRYH|CmaJPHgbtFYcLP}gnSZiKtjIvLZAlvU{jVtiiu|YaljUejXtjIsLYylJUojPthir\Yik~UgjMtdis\XQlJUWjOtdIr\Xak~UUjMtkipLZYkZUsjDtmIp|ZqkfUOj\t}_UGJSDfIhdTqhx|[}}^ZNdfsrxyULJUdfQjhVsjYglSEiFTHibtQzBD`}oxWbkLUGZAdaeolWdkRUCzBD_uoxWPkLUBz?t`MolWJkIUAZ?D_uoHWPk@UBz?D_]oHWJk@UAYvt]}m@Vpj`T{y|D`}nXWbjtUGY{Ta]nLWhkQTxY{D^mn|V\jnT~YzT^un|VXjjT}yyT^emhVvjyTsY|t[mndVLjwTrywd^emPVtjbT|zPOIsDUAnkcUazHdg}qTYLk`UazGtg}qHYLk_UaZOtbusHW~kZU^zOTbmppY@kWUaZOtbUsHWrkTU^zOTa}pXY@kxUXzMtemrhXhkwUWzLdeUr\X`kmU^ZJtfeqtXzkfUTZJDdMqlXP@Y_kOUWJSDeAplnUrJZLliubZ[lfusjZLliujZ[ljunJY\jyunYyliulJXljaubYulfujjW|jIuVYolcuiJWLkQtVYkl`ugJQlhysbY[lHugjQ|hitNYWlQ_ioTgI{DYAj@VvGI||^EnfVtj{t|z`tpmw|[RmMVCZbdpUw|[XmJVEzcDn]xHZzmPU}Z`DpUwX[XmDVDz`toMwL[RmGV@ZdDoEvx[jmRU~z]DqEvh[blxVHZdTmuxLZnmSUyzZ|mEvFZdlsuxzN|gMsBYDlCu`zfDuexx\lm\VYzhdvEy\\rmdVZzltsUyP\rmwVPzlDr}zX\BmtVOZeLqux^[rmZvLZkTtmzL\XmqVTziDtuz@\RmnVTZmdx}|D\xnOV\zqTw]{T]VnIVaZptwE{`]DnEV_znTxuz|]Xm}VezvTzU|l]rn[VkZsdym|P]nnRVjZZLluuv\bmrvXZjluEy~^SncvrJzL|Y}V^Kngvsjx\{y}R^Qn^vrjwL|A|z^Sn`vuJw||Y}J^wmLvFzblxM{n]TnFvcZpl~b?J^{oCv}k?|~b?F^{n~v}k?L|i~n^qnnvvJ}l~y~Z_Anww?J||}j?R^goAvxk?|~Q~B^cnzvwj}]BR?d_noIWK{AEBF@`_JoVWB[@uBN@P_boRWJ[CeAn?l_\oLWG[BE@~AL_todWM[HEB^@x`@o\WP[FuCM~n^tnxwUKHmDrA^`OolwSkJ]DZAz`SokwJ{E]BC?D`ion_@kLuEC?H`kopwY_?eEVBO?AovwXkL_?^