CAT(3150,1)
Sparse6:
:~?pM_?O?G?C@C?H?C_AOEoBG@i?m?Y_K?EgB[@u?x?]_OOFwDOAE@F?a_ROHWCcAk@R?g?TOJ?C{Bc@\?n_UoKWECBIAC?s_YoKwEsBa@n?{_^ONWFSBm@r@S?aOOwGSC]AJ@E_eoRGH[CaAT@H__oOGF{E{@B?b_POZwMKFABZ@k_vOZgLkEqB]@h_w?YgMGEmAj@U_iOUGJKD]BK@__p?YGKwEEBE@^_q_VgK_DuAs@g_m?XwJWEYBG@Q_q_SWKWDMA[@i_g?YWHwEmDs?W_KoDwW?EMBH@d_rOYGK{EiBR@j_QOHgCkAq@V?i_XoLWEcBU@f?s_ZoLgFCBa@n?u_iOTgIkDeAn@W_noVgJkCyA`@N_hOSWI[NWFTBj`uOyg\cMmFZBn`vOyW\CM]FHBe`qowg[KMME|B_`nozoZSMsErBW@vOuoYkLsElB[@jorWXsKqERBJ`dOowWkKQE?Bc``?xW[oKEDtA{`\onWV{JyFSAx`u?lw\WJaDgBm`Z?zwUgMuEuAp`m_kwZ_JIDaB]`X_vwUOMAD]BQ`W?swY_IyD]BS`W?sgYWIyEaAl`U?rwY?ImDSBM`S_rWT?KqDKBI`Q_qwSwKeEKAa`Q?qGWwIMEOAb`Q?pgWwIIC}BB`a_gGSGKQCwB?`N?oWRgKICqAU`L_eGROH]CqAd`L_hwROIYDUA``N_jWS?IqCiAu`I?lWQWJQDQAv`T?mWT?JaD}AU`]_eGVoH]E_AA`@_sWOGK}B{AT`I?_GQWF}CaB``G?wwQOMIDuAL`F_nGPoJiCTAJ`EOa?RsHoCRAF@Mo`gOcGUFM@z`s_^W\?FqBoBT_|?twNGLYBiBW_z_ugMoLeBf@q_yPaOAc@U?lEN?GoCwASXS?j?U_IPeoAk@Q?lEc?GoCwASZoCrAZ`LOdGQkHMCzA]`MOfwSKIADDAc`PoiGTSIeD`An`VOPGG[CIAJ@F_bOQGHKCi@~@@__OOWF{CABl@v_yo]GNSFeBd@s_xp{_|[]iNRFnbwp{G|w]ENaFabw@wG{W\uNIF^bq@vgzO\EMuFQbm@swx{\AM\FObfprgxc[uMVFiBdPq?|[]cMRFGBuPz_xS[cNZFDbbppgwO]YMGFfb``yGw?]EMAFab^`wGvcZyLzExb\pmgvKZmLtElbVpjguCZILbErbYplGvCZYLnFoBZPm?|{Z[NbFeBTPj?{{]_LVF^BSpvOtCY[M|FXBTpj?y{\_LTEcBiPh_ysYSMjE`B`pgowc[GLDEfB^piOwKY_M@ELBFpb_qKWoK`EUBHPdoq[XOKjE?BMp__r[WCKxEBBNp`?rsWSL@EYBBPe?o{XcKPEWBCpaorSXcKTEZBNPfOsCXoK~Er@{pl?^SZSFvDqBuPz_m[VCNZEJAvP[?pKU{KTDjA}pZ?n{UsJ|DiBWPk_lKZCJPDaBspX?|[UKNTD^BQPWOssU?LJFYAmPv?js\kIzDXBuPz_j[TgNZDUB@pU?okT[KHDOBiPSOys\SIdDNBIpdohkXWI\D|AbpQOn{VwIPDEaaPPWzGSIIEFVbk@OWsOSALAC~a^@gwfKRiHpCvBGpL_p{RSK`CmaUPJWdG]QNECibq`IwcsQaHNEAAPp_?ckWCHHC\BdprOb{PwMXC`BHpG_qcQ?KdCWBBPDopCPcKNCTBbPD?w{[SGlELAFPb?aCWwG^CKBhPAoy[\CGZEmA@pjO_cY{GDB~B]P?OvkO?L|Br`yo|GmwVQJkDxay`]GnOUUJKD{a|`Xw]oTMIiBvai?}GbWPEGcC[aH`Eg^_RIFyCsaX_~g`?RAGSCnaC`KWhOOUGMDKad`@g]?RuFcC{`w`MxY?@e?p?Vdj?BgAC?}UwEBbAp`Go{WYKPELbFPbGrCXiKrD}a~p^WsSYELFEzb\PmWtkYyL^EpbXPkGucZULf@k_vOZWBsAA?~?e_QOHWC{Ae@P?g_SoHwFSBm@r@a_oOWWJSDqAv@M_gORwIKDMAdBw`zO|w^[NeFtDgatPYWbkP}G|CSaIpDg^cNyFzCHaDPAG_sO]GJCBa@P@G_COEF~Bo`xO{XhWsUYNLEebRPXg{r}YBL?e`rPHgSr]XlKweQbOhg_qQYEKeeRBJHc_qmXIKieLbLhbgr]XoK[eKBBxbGpEWsKOeXBAxe?oiXaKHeUbAXdwomX[KIeBBFHbWoaWMK\eXa~Xegn}XgJ}d|BNH^_ryVuK|dzbHx^GqeVoKgdwbFh]WqAVcK^dtqzX\cmoWFJlEAQyp_kmaVTJhdtQyH\KmSXjJeEYRKp[{p_VHJbELQw`bKmOVhJuDpQwp]kr{U~J`E_qw@gCm?VpJvDnqwP^KloYDLBDnRP@ZkloVhJ\Dyq|`ZsliUvJXdlquhZKl]UpJUePAsxY_qEUiKbeHAshY?pQUaKRdjbBxZ?pEUkKOdvApH]?kYV]JDd_bMhfGkIXuJBd}anhW?n}T}J}e?anH_OjuTuK?dZAzxUwnATiJmdXb?HU_oEWCIqdVasHUGlIT_JPdUBDXawiyTYKUeEAhx`oiaWYIedPbNxSgsETGL?dOqghSCpwSzI^EOQf`b{pGStKRDLrD@Rcs[SpLDDKrP`Q{ngS\J{DGQ}pP{p[SNIEEIq`PasgGXBKbDARG`O[fwXbKqC}Q^PeCfWXxHwE^Q\pfkeYRJHceUaWXdoeMX]HacoArxJokyQ}JLclQUHJKckXNHIESqQPdCcqQZHMe@aRx__dAQaKDcjbIhIoqmQiKkc]atHYgb}P{JRe[aMhF_riPuKzcWqKxESooP\GoEFRBPD{kwPZJNCTqrPDcrcO~KyCOrMpCC`oXxG]E^QFPfk`SVLGRDrqD@[koWOTKGCER@p@[nCOZGNDxq{`@sj_UNIyDcqmPXChOSVIUDEQdPPkdsRRHfClqV@LCg_QdIICiQaPI[f{QJI@CaQ_@G[kkQ@JKC`Qq`GKb[R`HqC[qM@MKcWPhHFCZQQ@EkfKPDHtCQQ\@C[`gNfGZByP{`BKa_OlGiCKQIPA{`?RTGPCtqC`Lc_[RrGHC|qA@NS_ORZGECvq@PLs^wOBG?C@p~p?Sa[NzGdB|qH_~c^SSbIRBzp|`QSicNpFyDTp}PTTDcUfJTdiQuhZKlmCnAU`KOhWSsI]DVAl`UOlWUcJYDnAw`[oJWD{AyAV@L_eO_GN{FyCBAB`@P{g}c^MThIqdXqbhP{hASPIIdCq_XN{gAPDGbcQQEXB[`iO`GQcGq@x@C_edAQRhISciQDHEc^QHhDSayO|GacLQChAs_yODGEcDP~g}s^iItDaanPyGiS]qIlFoafPLGsSRqLTCwbRPIgdsRINHBya?Pvg{CNyNhBIb{Org~cLIDxDU`aPSgWCSyDXFabqOhgTC\yCXDq`GP]gQcVYR@@mcsO[hKcEiAhFM_kPqgIC[Y?PFQ_GPug@c\Y?HFA_?Pmf~cZyKO~YbGNwgpb|yPo}ucYNmfvcbH|`HU^SQVftcdh|@Eq^QPlfrcYx{PDy^EP\focVHzpGi]}QJfoCaYN_|q]yPyg|buxyPHa]gQYfhceYM?{ub]NMgvBrHxHGAcCNJfdC_YOW{AcGN@hAboiKGzy\}P_f]cVyKgzi\wPfgrBmyOoz]cOMxhBbmHt@HY\SQVfScdYKOyU\KPcfRcWxsHHU[}QVfOCdiR?xqcsM]hKbfYJGxYauMWglBdxq@De[cPZfGcUhoCvyZ~LwHER]aPtGsZrPdEysXpm|EWZlLnHHR[QQcv?cfLkGnsWPlkuwb@LeGtsZPk|EoZPLdHGsc@k[uOc^L\GzRVqMctwbjLOefRRyL?smbSLLgsbRHiPFMYePpegc[iIosaamLIgkBQY@pBm__O|gFcNID`?u_WOlgDcJiAx?U_qOFgKC@iGw~q^{PHgcB~X}XCQ^iPEfyCPYCw~E`KNqfwCIII?}QacNeggbxXyg~e]mNzfjB}iC?{Y]OOafbcGYEwyu`kMkgYbixsP?a_SMbgCbhHz?xe[uNYfkbehpwzA\[MMfEbjxuGwi\eMJfXBbHow{}[QNPfCBsIBgwQ_}MEfAcFhoG{M[ENDf@BpHnWzQZyMue}BlXmOxQZgMTfHb[xlGuAZULaetBWXjP@EYwORelcCiFOt]`qLWekcMIGGtQaCLTg`bTiqG?y?`?Nb?P_WoSXIKhERbOPfwrsYeLNEg_]ONgFkVqJvDyawPZwlsPeGpCVaHPCwaKNAFbBq`yo|G]\?U_NOEfzR}H}{~A^dNpfsRyX{{{u]XNMefrSHhstIYbLReirThicsiYPLHjkdsyyl\Qm\VLjftqix\[qmRVFjcTpIwt[UmFVAj_tmqy\ZomjU|JiTmivDZeljUvjZTiAxLYWmPVFJRteav\XolzUZJ]TrQq|[{krVMJKTeQtLYkkpUVJTTqaqd[oklUTJdtcIp|WykdUPjHtbAyDWkmdULJgtaQwDWgl~U}JCT`QuLZ?kNUnJBT_QudV{ldU?JXtoQnL[KjvVAI|T\atlYwjpUkIztfAktUOkvUYIqtWQqdXWjDUTIptUAy\TgmjTXJiTsAh|\Ci`VQIgtRAulZ[i\UuIetQQtLYkiVTIJTTNQpdWkh~S}JEtkafTZOhxUrI\tLqo|R_kLUDI[tKqoTWOhbSqJ@tkAdlQolbSjJVtgQdTQ_lDU_IStHqrtQSk~U\IRTgqcTYShHUcIPtFqstQ?lPS`JRtFArtPwkzS\JNtAAsTY?gRSFJOtna_dOWm@U~IAs~awlO?mLVCH~s}qs\NslJR{JQTmA^DZgftUxH{s|QpLWgfnRuJCSwQqLM?kfRaJHTjAXtL?l\RNJUtsaW\KOmbVOH`TbqU|WwdpUOHZSfiSDH}cuUAj@cfYR`WQi{TZioDVYjxTqi?TEicDOigHS]hgTriyDLYmhRYgkTCi`dEIaxSUgYT{iFd^i`pVufcRnhwc|I]@NMj_RmhuD[i\hVEfQTfiscyy\PUafKSOiHCyIaHM]fISKiDcxI`PMMesTihmDZIZXUmjYRSivctilpLUecSTiHcsyYHPQeOSZhdDEiXHPeeISohbdJiWpQ}eARLh^crIW@KmdwQth^ClIVhJMd_S@hWd?yUPOId]R\hncjYTpLydWRXhTCtyTXLadqQfh\ciYVPIadGTThQdTySpTYdCTQiiCgYSXTM?V?K_Euo?@c?u?VUAjAT_yptXAk^JLdfqrgUKJMDdA~`^OnXQchYSjG@c@q?h?c_YOJSXiLtEiV|KAeBQvh[SliTtI}dZQihUSiyS|IedPQdhQShiSLIMdDQZhMsfJ^HnMvhZtlnUwJZ|lSudZSLjutbY\koupZMLlUrRZLkQuFZDl_E{z]hkIuAZsl`EzjW@m}uAZlloenZVxmMt{ZalcemjXPjquUYzl^elzVHjut{YwlcehZXXi]uSYelNeozSHkUt?ZCllEeZZ@hmuqYYlIEvJQhluseZZlqE_jOXmYsAZdk~EpjO@k]r}ZGltE]J\`fivUXxkuUZjLlmCrTZaKtuYR[\eWv`XgLwuXr]TjOqnYuKkulRJDdOuNXULbUTRXDckv`XLLxURB]LcSujXFLjuPbYtl?qDZPKaUrrG\bGubWoLgUKRX|`wudZSKOUFrY\`kuXW\LeuFBXt`SvNWVLsuDb\D_{thWPLZUCBUl_qo\WLkCexz@PmaoUZhj}evj[@^}u}V}j{emi~@jqtuVvlud|J\x^Yv[VtltDzz\`^An[ZjjttzY|d]cuvVgLmtybZd\cvHVZLrTub[lj[mlVWL[ttrVDict`YiLVuiBTtiGsxY]LQUfRS\`Os\WRLFuCbPlfGrFXsKqu[rKdhGq~X\LGuVbQDgOqtX[LAuUrOtc_r^XHKwU[RHTfSp~XvK_u\bGDbsqfXQK^USRFdb[q\WuKfuSBFDggpfYKKYuarEdasprWnK\uMbDtaOpTWeKUUHRD\aCopWYKPuERCT_KrvWCK}u^B?l_WtVWFLUujB@D^gtbYrJ}T}rUT^Cr@VqKpT{rKL]SslVeLKTxrQ|]KpNVcKStwbDDg[m~YHJouaA{D\so@V]K@TvB?K?y?^?Ol[UmZU{YiLXEjbZPmGu{NUFfBsfPrhHsSwE[DMBfAR`hokvqZzLzedrRHhleerVXijvT{I||]anTVhjktuyzT\YmpVVnpfwj{L}A}w^\nnfuzzp|i}w^UniFuzyh|i}q^OnkFrjyx{}}M^LneFpZwp{m}k^Cnifozy`{I}S]xn\fqJxHzi|k^Vn[FuZux|a|i^anYFwJuX}E}e]kngfizyPyi|m]bnPFmJupyE}y]]nnfgJzpx}{s^FnbFeJrH{U{i^MnJfsJqp{}{]]xn\fcZq@zi}O]HndFazxHwi}U]?nef_jx`wEzT\gmsvXJk\uI|i\`nXfVzu`uAy`\QmgvRrwLsw|~\LN_VobhT{OyX^BMdvPJgtsUx[]~mUFoJdh{Ewl[TmIVsRaL|Kwf^QMHVBzaDoy|w[Dn^F@zvhoY|wZ~m?fnj_@zuvq^_l|fwj^P}EvpZulzvDrr\pc{z[WNMVZrs|v?|R\mNSVXbqTu[{h\dNHvURi\tkyj\YMiVPrpdsc{\\GNEvhRg\yWyB\ANQVVBfttwy@\\M^vMBnlrgz|[xM~v]belvoxl[vM|vLBtlrG|^[rNVVJrl\rCzZ[oMuVIRo\wSxV]CMTVHbm|vcxP[fM{VGrf\qSxz[cM]V`bcDqG{P[`NBvkBblzGw~]pMNV[RbTvKwx\qMLvArmdoszj[KMzVABitt_wT[HMjv?b^doOv|[BL}oAW@S?akJUFjBTaipLWaPNGdcRQIHDSaeOxG\cNQGXCC`}NlFvbytKYe\RIdbQqhWWgCRaHVCsaUpLgdKPqHZC_aTpFgdKPiHnCWa[pLGa{QAGjC]aHpFGaKMAHFBcaRowgckLiGbB]aIovGa[PaERCY`eoqga{QyDzB?aXpKGV{IiHFAmaRojGckEaF~CA_uoYg_KEMBN@daVOVWeSEEH`@^_jPAwJSO}ApCL_aoQWG{Oi@JCM_PpBGCKOQ?^?OaCoCg_{OP~m~yaCp@f~J}T~Q~f^mnuvzJ|IF~CA^jntG_KJYFzBw`\omG^[?ADi~}`Wn~GU[KIDJBE`SopGS{MqC~Bo`PozgSKHaFfA[`zoeg]kGqEjBU`GouGP{FiCf@}`JodGNkCiFN@M`toRG\KByCN@A`DoOGPKEy@r?{_xo[GF[AyEf?o`foJGYK@i@f?]_ZoFGEk@QBr?W_yoDgM{AY?F?i_BoIG?kG@~bAC^yo_f}Z}iAb@S^voSf|k?`}~?K^poAf{J{x}U~O^cnpfxkb??U?L?Fl\UnJV\j}tzY}ghsTYIcQAHDC`fMRfhrkx}\BM_ejrUXjD^EndVrjpTxI{\\}nBV_jmtvizeCJA@`@oLWE{BM@b?n_Uq`xOkgeSBIBc~qZHOkfASRHmdBqXhN{eiSFHgd?qWhJ{eQQvH[coqRHI[cyQRHOcdqOhKKeQQNHacaqRhG[dIQJHOcbqOXFkb}PjGpcXq^HD{faPZHycTqNHE[cAPjG}cWqMGv[biLzGub[qIhB{aIP^G_cUq?HMk_QRnGAcxpqhCk[yPRFKcRpkhE{ZQPvGwbZphWs[YEK|HXcjPewrcdUQpEVciPeXIsXURpELbCQ^XNSWmRdEBbAQ\wosfUJhGhawQHWmSa]JHHZarQVwlCduJDHJcePVwkCceRXDRcwPTxLsTURLDLctPSXLCS}NhGXb{QEw}s`uN@FfbnPxW{S\uN|FVb|Puw~c\eO`FTcEPsx@s\EMHGFbcQAwws_eOdE~cJPoxAc[EJxFnb?P{wns^EJlFha{PywnS]uK\DXamPcwjSXEIPEladPkWgsY}LLD@aaPiwtCSMHtDja^PZWfcU{?u?V?K_COAW@U[LGdcSqHxD{amPYkVULjEQJHDkamdjQshXsfIRlHmd@Q]hNvXZk|uYyf\TmiU~Z^tnqvvZxl|U}J]tn^ENbHpcWf{RmHzNqfur{X|{}Y^ZNoftrzh|K{a]^NKfhrqhyK{I^NNEfsrpH|[{I]RNEfdrpHxkzi]nNWfZrmHykyy^JN_fTrjH{[zA\VMmfYrjHu[yU\RMffQRtxzCye\LNTfNRoXsSz}\@M|fKRcxqsxu[tMTfAr_Xo[|qZzNYe|rvhn{wA^NMCfsr_h|[vYZzLwe~r\Hn[zqZRLkf_rYhv{uI[fMUerrXHqkwYYbLSfDraHi[sY[ZLCfGrQHp{sI]~L?fmrNhz[pi\FM]eMrgHb{pQ[rKWfMrDhr[wYWRMIeEraH`[xAVvMKd{rbh]{mi^FJmfqqzH{K|iUZN[dfqsHz{kY^ZNoddrzhXKkI^JN_daqoH{[ia\nIkf[qihv[zATFIcfXqhhukvQSzLwdNr\hSKhY]^IWfhqehyKtiXvLUe]rUHfKtqXfL_eZrVhekoyXNKQeSrIhaKrAWNKkeAr?hd{nqZ^K?ewq~hm[nAYVJsefq{hhkqAVJJgePqxhcklIU~JUdpqtH[KjiUrI}dmqnHZ[hIT^IOdWqdHU[giTrIsdEqbhUw?k?Y?NPVgkSThhCsiYRWBkAu@J?t_aoNVdjrtxkEeBZ@j_goTWI[B}AF@@dwq|X][kUUBJBicTNiglSAiFS{ibtGIe|QIhvSwiNtHIb\QagrSeiMtBIa\PAgnSMiIt?Ig|SIgFTCiAs}ig\NyiNR{iatMi^|NihnSwh}tBI]lNagbRuiFtHI\|QaffSehwt?IU\JYgJQsi@tKiULIqhjSohVsbi_|HIgVQOiCs\ia\FignPwiIs\Ib\PqbbPqiKsNIb|BihBSag^sLId\BahZOuiVsKi`LAygVOoiBtNI@\SA_^S}gEs@idl?ah^OCiTr}ieK~qhjNwiXtNH}k~YiBNqi^sqiY|KyevRKhksmIYLJqejQyhhsaIV|GqeFQIh_shiO\IicNQghAsfiNlGAczP}hLsxILlMYb^RagtsgIK|IQbRQagqsRII\DAanPMgisPiGLCaaFPIgasdIDlAicrOghJsViC\EI`NP_gQsFIWlAAeRO]hbsEi\lMa_nRigKsCIZlMA_jOQhnr~iJLDq_FO?glhNsgIRtqqx\[lmAv@z_uLZEpbVphwt[YeKBD|a~pNWf{Rm`vO~g]sHYC\A]^jNrfzuUJI\diqjXUkguQjILcyqjXKkhuJJFLbApzWmk\uJJE\bApnWmkYuUiwldYmFXWj_uQIsLcYkzXCjNteJElXipnUUkXtcJFLXIpvUSk]uGInLVqpJTykPuPImlcajnXEixt[JHlUyq^TkkdtYjClUapBTekPuOij|cAivT[k^uIiilTapRTUkRuOIi\TAqFTMk^uIihlSipNTGkSuFJ@L`yoZWYkDt~i~\_AnnVwj}uDI}L`anjWUjxtrIv\ZymbU{jftuIul\qlrVYjZtjj@|ZAobUqkHtsitLYimnVSjUtgi{lYYnRUcjrtzIp|]ykVVijEu?iol_YkRWCjBt^iz|WInFU?jotpikLUQmVVGipvC?@W?{?ZMBfAr_TtizD\^@^_ooVVwz{l}RI|d^qmxQKhUSfIJdFqbZbdrmx@[~mNVNZbdrUx@[xmNVLzbDq}xd[ZmJVKZeTpEwh[pmHVJzNDperl[ZkyVDzZtomut[NlmVBZ_tkuuT[DmCUqZ`TkMuL[NlaVBZ`DkEt|[DmBUnZRDpEsx[TlLVCzedg]xpYJmZUaZfTgEsH[~l@VNZMTqUr\[fkwVGzdDeerX[lmTUYzcTeMxLXfmQUXZKDqmq|[lkmVIZ[Dj]vHYzlpUmZUDm]thZjlXUyZXtimt\ZRlgUjZSdn}tP[BlRV?Z]Th}vlYblyUgZQdleulYVlHUtZPdmuv`YPlFUzz^DfmvtX~l}U^OAW@S?b[DmBvAZ`\ouw]vlZwlzzxt|e}t^JneVtzxD}E}H^^nbVvZwD}E}D^\n^Vvzvd|]|p^Zn\VuZydtU}`\VnhVSz{Tsu~L\PnqVRzyDs]yT^TmcVsz{TsE~H\BnrVPZrTzM|l]^nMVlZrDzE{h]nnJVjZsDw}|H]RnPVcZpdym{T]fnSVaZndvEzh]@m~V[zlTtez\\\muVUzkdwMzP]DmrV`zjtv]zD\zmoV]Z|ECM~X`DntWP{AU@n?l_\oIWE[Bu?v?\_`oGWG{De?n@\_FoTWA[DE?F@L_DoQW?z~eBf@t^~n|WL{ED~V@d^vn{WL[Fd}~A@^ro^V{[MUEFBl`doyWW{LeDnB``^ovWV[KuDVBT`XosWT{HEC~Ad`LogWQo?eGRBr`{?BWaO?UGZBv`}?@Wao?eGJC^a??BWb^