CAT(3150,2)
Sparse6:
:~?pM_?O?G?C?S?H?C_AOMo?g?a?M?H_D?@g?w?a?S?D_B?AW@C?i?R@S?cOQgHKCaAR@I_cOQgHKEKAm@J_e?UWHgDaA[@Y_g?VGHwDmAW@T_e_TgI_CmA[@S_g?TgHwDUAm@P_k_SwJ?DIAs@P_l_SwJ_DIAN@F_boRGH[CuA\@N_gOSWI[DICGAB`@O_WO[GECDAA`@o_WQ?GqCTAJ`DObGP[GYCHAD`CoaGO{H]CpAU`KoewRSH?ClAQ@JocORCHcCfAZ@Ioe_QcHGCZAN@Gob_QCHSCZAN@Hob_QcG}CZAM`Y?jgUCI}D^Ao`VOggS[IQDLAf`QoiWTCIiDVAl`UOfGRsHuDBA^`OOpgXCK]ETBH`dom_W{JoEPAz@bOn_XKJsEVA~@dOn?WCJgEDAz@_onOW[KSD~A}@aOl?WCJWEBAt@`OloW[KSDrAw@aOkOUcJGDlAr@Yok_U{JCDrAr@[O~?NCFiBr@z_}o^GNSFaBr@z_}o^GOCFyB~@}`?O^wM{FUBl@t_zO\wK[EUBH@e_roYGL[EiBR@k_vOZWL{FEB`@q_yO[wJ{DuA|@a_ooWGeOPOH@CUAPPDOcKP[HFCXAQpE?ccP{GvC]AMPFObSP?FvBxAFpB_^SPGFvBxAGpCo^SOwGbCRAGPC_`{NoFZB}@vo~O\sN{F`BqA?o{O_CMsGFCC@vp?_\sOSF`CF@xO{O_sOcFTCG@tpA_\cMgGVBkAEoyo`cNsGjB}AIO~?asN{GnC@AKp??bCOGGvCBAMP@?bSPsGJCFANPFo_sOgHDCHAOPA?cKOkHFCLAQpB?ccLKHNBSARPI?YSQcElCj@jpI_YkMQFLBd`royW\CNKE|Bt@oO|?Z{MCFnBw@po|_[SNKEpBs@lO|OZKLkFnB\@{Ov?]sKoHLCg@fOrOc{L?HTCj@fosOdKBE@^?o_XoKgEcXG@n?t_ZPe?FCBi@r?z_]oNGGCB}@|@@_`OOwGKCIAFEl?aOPgGkZWAH@E_aozW\{MyFdBo`wo}W^SNmCHAE`AoaGPKG]CxA]`MogGSKH}EXBM`eosGYKK}MmFSbjPtWyG\QMeFTbh@tgxo[aM_FIbf`qWyO[mMYFRbg`rGwO[aMGFIb``qWxg[YMMFJba`rGw_[YMCFFb``pWy?ZYLoFMbZ`rwu_Z}LiF@bX`oGvGZILuEpb\@kGvgYmLWE}b]@igtgZqL]E}bV@nWrWX}KwE]bM`gGsGXmLEE\bP@fGs_YALKE]bQ`fwsGY]LEEhbP@iGs_Y]LKEhbQ`iGtgYiLWEnbV@iwiCTIIbDRaipTGg_XQIKERaa`cgr?S]IQEYbK`QGqoSyIYETbJ`Rwh_ZEIUEoad@kgoW\QKIFUbA@tWoOZYK?EwbZ`_WioXMIoESaj`cgr?TeKsDZbK`UgkOXAJEEPbF`XGp_UUKYDfbF@Xgj_WeKUD]am`agjwXUKmD`bJ@WGgWWYICEGa_``wfoWYI?EGa^``wuWRuHuEtbY@NGqGRIHgENaX`cGp_RUKYCvaZ@bgf?WeKUCya[`agdw[AH_F@b^`KWvGQuHWEzb\@JgloVQJkDoay`ZwmwVEJqDra{@[gnOUaJuDhat@^GlWVuJWD~au`^hKGAe@V?icr_JgDkAqReEfbSpiGJkD}A|@\_noVgKCEIBB@`_pOWGdsQuHXCnaWpKHMWgIRiICcyA_xMGfqRcH|c~A[HMOgASAHpc~a[HN?eyRmHnczAZXLwfiR[Hzcua]XMWeiRiHkcyAYxNodiRyHWcka^HIgfeQmHzcjA]hI[dQQdHNcgqSHMoaIRoGcczaGxNw`}SAG`d?AGG~oeQO?Heb~aXXL?_ERQGBcra?g~WeeRMF{cs@~X?_eQOKHecAaXX?weiOQHkcCAYxOO^QNeICbxA_w}GgUN_IFbva`hKG]eREFjcp@yg{weINOHbbrAWW{_d}NIH_bpaVhJ_]ANCHZcm`wXJw\yR?F^cn@vWzOdmQyFZcm@vHOg\]MqIFbkA`hAgcyOeHKcIARXHObiPwHJc\aQXFgbeP}Gvc^AMHH?bYQMGscbALXD?cMPSHDcSaPHCwcAPKHAcQaOXEG`qPeG]cXAFXA?ayOaGncWAChDW_yPWGLcFaJW~?`eOsFyb{aEw}g`YNmGWbzADx@O]qN[GKcD`zWGcCYAJ?p_VoKGD{BE@`?v_YoLgEkB]@l?q_YOKwE[BI@h?w_\OMWFKBi@pK`@xo|W]cNYFpBvbjpuGzKp[VzJ~EIq~`aso?WlKAEIr?Pa{oKWrKYEArE@_cpcWNKYECRE@_spsWTK[EDrEp`KooWxKMEMrBPb[o{W|KOEORCPb{pwWhKREORC`b{qWSvKcDMRHPRSpKVjKSDyQ|`aSngVbJ{Dxq}p]SmyV`JndtqzX\cooVPKMDtRBP\KmWWPKEDrqxP_{mGW^JbEGQx@aKocU~J`EDqw@`SoCUzKADnQv@_ClkV~JYD~QuP^klWWFJVEAqu@_ck?XPI~ESrHpVsicXNIjESQi`dKnoTPJyDRQ}pS{iKXBKbDQrG`Sci?XHIaERQgPckhsXBI^EPqf`cShESdIRdIqdhQcguSXIJdGQbxPsl?UfJTDhQsPYcn[UZJxDfq}@XskgUHJKDbQqpWkkCUNJBDcqo`XCj_T^IyDWqmPUCioTdIsDVQjPU[h[TvIXD]qe@Vcg_TjIIDZqaPUsAm@R?i_SoIwDSAu@\?k_UOJWDsywKXEMbEpbwqCXEKlEVbIpigt[YqLbEobXPlWucZMH\ClaUPJweKRA[{MifMbiHr_ye\SM`fSbgHt?x}\UMafUbhHt_yM\KMjfUbhXswyq]?MXfLbohwGxi[kMzfKBmhv_x][eMdfRbdXsoxQ[_MafHBhHqGyM[}MLfOBbhsGw}[{MKfMbaxr_wi[MMvfCbmHp?ze]EMCfBBpXog{QZhLrexRZxmCvE\}LgerBnhvgu]]?Lbeqbohk_{EZ?NBepBpXkG{Q\{L\f^bVxvgtyYwMuelBlHjWzU\[LVekbkHtwta\eLUfWbTXuOtQYaMyf]BSxiOzmY[MmegBkHhwy}\eLLfXBQxuGsq\gLGfZBQhugseYIMvebbmXgozaXVKieURJxdkqyX`KqeWrKxekrQXlKweZrMXf[riXxK}e]rNxgKsAZ}LAe`b_Hg_vyZwLte}b\hnWv]ZsLle{BZhl_veZQM@etB_xlWwIQvH\cmQVhKCd}RHHecqqYhLcem]cO}g_BtHyXB}_VOKgEsAI@T?e`oNffscMh|@Be^GO|g\bxiF_}U`oN`g\BwyFG}I^?O{fnCNXzxBmaANZfmcOyGO|q]oO}g_BuhzHB}aANTg`btyGO|Y]LNGfbrqXx[{i]XNMfersHx{|E`UOPgHcIYDP@I_[OqgGCLI@xBM`EODgQc@yC`?Y_CO\gNc@I?X@y^}Oeg?cII?@A]`AN|f~CGiC?~q_oNygKb}yAw~e_gNugJB}IAg~]^eOYfycFH}`@m`iNogZb{iEo~E^YOnfvcKX|pBA^SOmgUbzID_}mc`QPhFsbYPtGqaGQEgbCaIGhG]cQQ?h@CayPPGEbaP|gxc^yMPFya}Ptgoc\IK@FYawPjgucViL`DuaqPgglcYiJPEeakPdgkCXyIxEYbCPRgqCTYKXDQb]PQgwCSYLpDAcEPLhAcRyO`CybsPIgeC^IHXFmbmPFg{cQYN@CaR\Hncuq[HMSfE[BMBf@R^hoCv}ZvL|e}R]hnKvaeIQ~hbcoIWpKEd}RAhaCoYW@KMdwRLh^CqyVhKqdwRGh^CqiVhKedrQzh\SliVDJ]c{RJhOCrIRxKucuRAhaCfYR`KMeOQThdCdyXHHYeIQShbccyWpHIdeQlhVclYTpJQd_QihXCjIUHImcoQchLChiRHIUdMQ`hPciYT@IIf{KTeJRDxbKpiWpKZeMrFHcCpyW~OhgTsIiCtAa`NOdgQSGyCTAA`BO\gNsFiBT@q_vOWgKsDyAd@Y_jSGIEtAQ`|O[g\SHIETAA`TO[gVSTIAT@aa\POgJSPIAT@aaTOSg`SBILt?QbLOGgtSUI?tEA_\P[gDR}INt?AcLN{h@S\H~TFa_DPof~RYIJSvAbDLkgnRtIGTCa]|PCflRqIKs|Ab\NKgtSIHvs{Q`dN?gVS^HuTGQ\tQ?fZRhhtsyi[tMafNS[HpsxQbtPsfHSSHpTDQ[DPKfBR\IEsvq`|Lwg\RzHjs~QZLNoepRzHiS~AYlNselRPH{Ssq^LLGftRwHfSsA^TK{frToFTRiXtCym\ZMkgtsZYLdEabTPhgqsXyKtEIbHPbi{d[ymhVmjgTyi{D[ymhV]jgTui~d[Io@VIkATpiwD^ImPVyjaT|i\TNIf\TUinTUi~dPih@WEk?TFiad^igXVqiGT|izDOIn@SIjmT@i]d]YfxVmh{TyiudLylxRej[SwiYDZYepU}hiTmiuDKYeXUihcTjiuDJylPRAjUSmiUdXylHQmhWTgiTDXydHUajQSgiqDHicxUYjISdiPDXIc`UYhETdildSii`TuieT[inDRyk@TEi}TOieDUIhpTiiYTXicdWYhXUMiSTajdDoYw\[Il|V?j^taqw|WsmRUKJcTpqpDWgmRVGJCtpQo|[WkJVCJBT_awt[SkHVCJ@tmAt|ZglbUxJWTbastX?lPUNJRtgQv\YGlzU_J]TjArlYwk~UlJNTeatLYkkxUZJTTdqu\XclhUWJXTgqqdXSlHUUJQtcQulZ[kfUuJHS}I^TNefvR{h}tvA}|^cm|VwJmt{Y}\^InCVsjpd|i{`^UnBV_jntrQ}|^_m^VxJfT|Qx\[onlVsJdTuQ{l\knNVYJrTyAyt\_nRVVJtTzay\^?mjVnJiTsa|\]sm`VPJuTXIktUUjNThisTZIl\UijZTmivt}bB\`onxVzKMuDbBD`gonWXKIuCbCL`OpFWRKPUBrBt`Cp@WOKNuEr@d_wozW[KEuAZ@\_ioLWFkCU?rCD_So|WCKNuGR?T_?pFW@KPT~RBD`gn~WXJ~Tpiwl[QmNVHjcUNzGLcApvWxk\UKBGTbGqHWpK`uJRG\a{qHXAKVUPRDTc[pXXEKTuPRC|c[pRXEKSUHBEtaWppWdKZuNBE\bwpjW|KYUQBI|cgqrXHKkUVRIdd{qlX]KiuRbJTd?qvX[KfuSrHddCqZXQKduXbLLe_rVXfKtUWBK\eGrJX`KqOkgUKJMJ\Doavp[WmSVMTFIddQQgXSCiI^^NlfvRyh|c}mcjQVhJSciQdHMiXTMietQyhTSemZVNjfTqyxd[iplWvk[UKzElbQskY[lNEeJRhh]seYXlIeezQ`hiskYPlHEeJQxhAseYLlIebzQ`gysWYOlHEazPPhEsMYLlCebzP@gysWYElDE`ZPXgQsMY@lCe_zP@gIr{YCl?E`jNxgUryY@l@E]zN`gMr}Xyl?E]JNpferiXzk}e\zN`fYrcXwkyE]ZMXfireXtkyE\zMPfYrWYXkvEezLhhir]Y[kwefjRhfAuc?\_NoFgCCAI@BZ]?PoHGClmO@P?e_Royg\cMmO`GQcGqBX@{_yY\LOefrRXhcsmaTPKgdsPyHLCaevR[hlSvYZ|Lyk\UOjFtcYq\XIoJWCk@t~Y~|^yqPXIkcuRJHlcmwU[MmEfCJ``o}wc[GmGfAjaXoewU[DmEf@z``oYwC[GmAFAj_XoewIZ~m?f@z_@oYwGZ{m@e~Z_PnyvqZ}l|e~J^PnuvkZ~m?e}J_@n]vqZrlye}z^PnQvkZol{E{j]xnEv[Zslyezz\hnMvSZoluE{Z\XnIvYZflvEyZ\xmavSZfluEyZ\XmavHZdlrUxJ[lmYs}ZbloegZS@mIuW[MlfFCJXho}uQ[PldfCzXPpIuKZ]lnepz[@kauIZ]loEozZxkQuCZ\l_evJW@lmuoY|l^eujVpletsZ[l]EvZZXjmuoYxlZeujV@letgZTlYetjUpl]teZQliEkjUHlMuiYmljekJYpi}ugYllUEsjTXlMtOZNlTEsZTHlAvEYdloehz[PiYtCZNlQEsZSXlAzs?R_GoCgAc@U?l]E?JoEWBDwo?t?[_Lvbjpdwu{Z]MnEVaRadpW{V]IMIv\BftvSy@[~MzVOrmlvOyB\AMzV`bf\w_xz]FM]VMRo|r_{L[yNCVLRo\r[{J]CMZVKboTw?xh[rN?vJro\wOxb]DMWVJBoDqw{D[lN?v^RdLv{xV\}MTV^Bc|vgxP\zMRV]rclqKzx\yMQV^RcDqGz~[`M~VFRm|pwzp\xMNvEbpLpo{V[ZNDVEBnDp[zn\xMKvZblDv?zR\nMtVXRl\u[zZ\eMuVVRkTuOy|\bMmVURj|tkzB\YMoVSBitt_yb\QMjvRri\ssyj\MMiV[RhTvKyX\qMdvPBg|sWyR\DMcVw?Bk@}?|?\_NoFgCCAI@B?`_POGJ}OAM@J?c_PoHWCdvUzh\unxF}J}`~i~e^xnyf}J}x~i~k^xnpFzZ{H}y~?^knuFwz|p}Q~Y^dnvfxj|@~E~M^ontfzz|P~A~Q^pnKVejrLxm{x]\nyftZyp~]}g^ungf{jyX~Q}c^rntfrj|P|A~Q^Nndfwzxh}U}W^cncFxj|@{i~M^HnbfwZ{P{U}K^_nGFvZqH|}{]^]nmfdJqP|}}{]RnjfojzH{Q}o^Bn^fmZvX{E}?]yn]Fljvpza|y]vnYfjZuXy}|g]mnWFijuPyq|a]jnRfgZtHyM|O]anNFhJspyA|I]^nmFdzqh|i{k^Z_GoCwAS@E?d?R_IoDGAs@Q?j?Uoi_DwBC@e?n?X_KVvZz||yu^ZPlgUujZDleuvZ[lmuwZ[\mJAi`ZojgV[IqDrAo`ZokgV[JQDrAE`NoaGSKGiDFA]`EogGQKIIC^AU`RocgTKHQDJAW`QofGS{HiDRA?`fo`GY[GIEbAo_|o^gUkJIBzAi_{ojgMkIqBnAW_vofGM[HiBb@g`EoZGQKEiC^AE_poagK{GaBJAS_modgKKDyCf@U`]ooGJ[DaD~@J_foRWIKDUAf@E`goQGY[CQE^?}`]ooGG[CAD~BA_[opGF[BqENBK_YoqGE{Ki@fBC_UopgEKKI@^?e`coIgXkAaEV?B_Bo@W@K?u?V?N_HoCWA{@e?j?_^zn}gCZ~a@J??_Ln~GBz~y?yzp\vm{v_JoTwE{F]DnAVaZp\wjEM`}o}Gq[XAFvCaa}pHgoKQQJ~C[bFpGGq[PyKbD}aJpEgoKPaJzCOb@p`gakPIKJEGaDpag`{WqGZCCb@p`g`KOYKJEG`~pag_KOIKZB``qoww[{MmFRBp`vozW]kN]FfDuaip]gi{VaIfDsagp[gh{VAIZDEatpQgl{SaJZD]a_pPGk[UAIFDca\pYGf{UYHzCsakpVGfKTiHnCm`iouGe[LYHbBYaSovgdkLqHVFybIp~grK^qKnFabvpxg}[]QNbFgbmpwG|k\yNVE}cBqAgw[[AOREwc?pnH?kZiOFEqblplgy{ZQMrFIbUprguK[qL^Eibbphgwk[aLRE_bgphGykYIMfFsbLpfg~KXqNnHM?g_RoHgDCAY@N[}m_VNzgLsMyD_LoFwBkAU@B?bcwQWXKceuRDHncrQUxLSd}RPH\ciQWXKSdeRHHVcfQUxISd}Q`H\chQQXICcmQXHNckQQxIsceQXHTcrQEXLS`uRPGZcHQZXAsfEOhHncEQNXACcEO\G~cZQOxFSc]PpHDcQQKXDCbUPLGrcTQFxCSa}P@Glde?LoFGBS@q?t?Znuvzj|d}}~b^onFvcZqDxI{h]RpZwl[UuJJDharpVwk[UEIrD\alpIwdkQeH^CraWqyhaKpIV^JkeFrAH[kmaWZJeeDqvh]{mIVvJ_d{q{HZ{nQVBJqdpr?hZKoYUzKCdlr?HZKnqUzJ}dlqsh\[lYV^JSduqrH[klAVRJedfqphXkkiU^JOdcqthW{lIUVJSdcqnhMkjqRnIycxrAHVKjQWZKIdZqjh`{pITfIoeGqiH]{iqVvIid{r?hS[iYWNIceAq~HRkoATBJ}dNqdh][hiVjIWdwqdXQKhMSVINdEqoHOkkQSRJAdBqmhN{jySFI{d?q]HWKfqUJHyd`rkGS[H}DBAf`QoiWy{\mMrFPbipswx[[}MZFFbapqXwSze]LMzfaRlxuszu\tN@f[Rnxuc|M\`NNfXRsXuC{u\dNHfYRqxwSueZXNFetRpXxsuM]dLffgRXXxCtu]XL`fdRVxiszuYtN@ekRnxhks}YVLDebrQXfsy}YDMjfUROXscre\PK|fRRMxrsr]\@KteXRgxdcyMX`M^eVRgXrCq]XPM\eTRexrCqE[xKdfLRGxtspmW|MjfURFXbCyeWhMdeJRhxoCwm[HMHf@R`xpcvm[\L~fGR^XqsveZlMTeyRcxlstEYhLrewRSyKdC]aVPHg_sPYG\EA^VPafrsVh|LEI^FP]fqsWH{K|iarP[fnrvIJ\Dq]jNWgkrtiJ\Cq`RPOgUsRiD\AI^ZNogRrziCl@yafO_gjsFIIl?q_fOMgIsAiAL?Y_rOYgCs@IA|BQ^~Owg@sLi?K~a`vN{g^r}iFk~I`^OqfzsKH}kjuT~Izd`qoXWlGad~QKh`saiWLIMdJQ`hLsfyRlJqcrQwhJsmiQlJybVRAgvsoILlEQdzQygssmIK|GycFQQhBscIOlIicBQeg}siIN|FYdfQug|slINLFIdbPshUsjiMKxe[zMZfNrgxsKyU\RMffTrjxtlOAeJSChct?iW|OqfvSOh~tBi^lOAfjRwiAs|i_\PIf^SUhxtDI]LMqgVRiiBsyI`LMUfFRfhmswYZ|LYgNRYiDsuI`LLAgfRSiJssialOqeZSMhfsqiaLDmazPXgpsVyKLS}ifTPietQYh\TahbTSiXtTielTQhVTWiVtTidlQQivSgintHijlTig~SaimtVicLRqgrT?iMtNib\RaiFSyibtPIe|VyjBTcj?t_ik\WQjrT{jCt]io|VAkZTkjFtZip\UajfTiiztXimlYYk~U_jPtfIslXAknUSjLtcirKcuQRHJf?r`Xo[v}ZvL|gtsZyLlEebJPfi]tOYf|R]hrSzjkTrYzd\EmtVNjhTpyyt[mmhVHj`Trywd\Em@VLjbTmyvt[mlxVHj`TlYwdZem@Uvj]TmYvtZUllUzjSTuYtd\ulTVZjhTjyytZMmhUpkL?FOBwAEUVJFdcsAy@l?}_ROFgAssyYlLEeVRNhetWYklUMjNTjisuOjFLbqp~X?k\uPJE\capnXEkYuJjF\bApzWkk[uLjDLbIpNWikYuKJCLaqpFWmkQuIjClaIpNW_kStwj@|\yofV_kGuAJF|cIoZX?kDu?jGl_YqRWCkbuFI~l_Ao~V}kLuEi}|`ynvW[j{uDI}L`anjWUjxtyj@|]yofVkkGuDI{l]aorWUjrui_Aw@k?rXklVuijL\eatZXelUujjK\eQtVX[lQuWJTLdytNXUlOuUjS\das~YckhuiJIliYqbY]keugJH|citFYElHuajQ|gasjYClGu_jPlgysBXok|u[jN|eyrzYWkyufJNLhirm?\?N_GOBgAC?~Z}l}Uzz^Tmuv`ZxlxU}z]tnuvhZxllU{zZtn]uxZtliUzZ]DleulZnlfUxzYTmmu`ZhloUrZXDmUuTZblWUnZUdj}tdZ@laUmzWtjetlZB?K_EoAw@k?q?Vm_UBzAL`MojWXkJvNjeLrIxv[{mVvLJf|raxv[um]vDjg|siwv\GmKvMJdLrQxZ[umTvGjd|rIxN[cmWvGJg\pqyJ[]m_vDJg\pIyJ[Om_vQj`\oyyN\GmEu~z_\oEwR[DmBufzSLiMtJYhlRvUJpLwqyz]ImlvcJl\wyz^]QmuvcJlLwyzJ\enHvVjpluI{R]ImovRZiLs}yn\Rmiv]Jo\vi{N\unAv^JmLvQ{B\}mxvmJqlzq{r]ynJviJu\yi|j]unRvgJtlyQ|b]anVvnjr\{I{~^?nMvsJy||Q}v^QnkvpJx\{y}R^Knbu}z^lne{F]FnAv^ZoLv}~p^lntV|Z|D~]~P^rnuVzz|T~E}|^vn{VwZzd~U~D^nnrV{z{d~F?p[zm^vNZu\zU|n]pnVvj[Ce@f@P_ZoRWF[BEAN?x_^oLWGZ~u@]~x_Rn|WD[Bu?v?`_boFWG[Cu?^@P_JoQWA[Ae?N?d_Do?WD{IeBJA^`QoYwSKEMDB@V_mofwSkDmCJ@n_yobwPKFMBrAR`?oewNkH]EZAj`iokwYKI}DrBB`YopwVkKm@V?n_RouW][NeE~B``zoxW]{NeF^Bh`xofwS{IMFw?DaJp??@kPw?RCDaL?AW`KPW?JCPaN?BW`kPn