CAT(3048,2)
Sparse6:
:~?ng_?O?G?CB_@b?o_VoOOFKBa@t?y_[oMGEOBU@k?r_Z_LGI?CqAV@I_dORGH[C]AR@G___MwGWBuAC?{_b?NgG_CAAI?~_^OOGF{D}B@@`_hOSWICCsA~@N?ooR_KCDkAx@X?nOU_JkDKAl@W?ioToIcBU@l?v_fORwHkFsBl@s_yo[WMSFMBJ@e_roZ_MKF?Bf@n?xOWoMcEGBl@c?yoY?L[EsBT@h?uOc_HSCqAV?{_]oMwKkE]BLAa@MOfWRsHoCpAY@MoeORsH]CjAU`H?eGROHQCqAR`GOcWP{HkBv@y@LoeoNcHSCXAM@Jod_PkGeCVAI`B?cgP?HQCMAR`@_fGOgHyCGA\`F_^gQGF}C_@|_{?_GMwGIBqA@_VOJgDsK{AZ@N_fO]gNcFmBz@~_~OtOX{LCEnBO@jOq?XsKWEXBF@eop_XsK_EZBF@eOnWV{JyDgBN`g_lgY?JUDaBQ`X_tGUOLMD]BU`W?twYgIyEUAj`d?jGXGIuDMBH`Q_qwSoKiEcAa`Q?tGYWIMDsBB`a_mwV_KQE?Av``?mWWGJaDQA``T?gGT?H}GCAm`WOjwSSIMDHB`AAp@o[[MGGLBx`|o}g\OOAGABk`~_yw\GOYGMBg`r`@WZ_OIEyCC`l`?wZoOIF?CC`n`?w_GLaG?BY`~_uW]ONUFaBr`y?{G^?M}FkBl`z_zg^_MQFKB}`}_xWP{HEC`@v_{o]GNSFqBvCjaSpIg`COiGRChAOPI_cSQkHBC^AVPF_dcPsHZCWARpI?a{PcHLCkAGpCodsPGHZCKARpI?`kOkHLCbALPHObcQOGvCSAFpD_aCPSG\BH`doqgXcKyEZA``NogGiKTII`DLAbpQOh{SwIPDCAgPP_iKSSIdD@a`pOghgRmI]C|af@NGhORaIWCyad`MWhORUHkDKad`LweKRAH^C~AXPL?gCRKH|C@a?O~wioUyIoDoaj`ZwloTeJ_DZav`Ugi[TUIhDdAspY_k{UWJPDjApPZOkcUoJFD^AmPWOjsU?IzE?Awp__m[WCJdDyA}p^?n{VkJ|DwAyP\_m{VSJrEN?YOKgE[BQ@d?r_YoLwEsDAAd@P_hoTWIcDYAp@V_{O]WM{GMCJAC`?O_gOKMEFFBaaXPLGe[Q}HbCobWPkguKYsLTEkBVpj_t[YOLTEkBRPhOt[YCL`EbBXPg_uKYCLNEaBSpgotCXkK|E\BOPf?r{XcLHEYBRPe?skXgKxEWBMpeOr[Y[KjEVBSpd_tCXKK|EQBOPd?r{X?KjEVBGpd_p{WsK`EMBFpb?qKWwKdELBHpb?qcYsKLEnBCPj_o{WKKREJBAp`?pS]K@P?i_SoIwDkAqNc?p_VoKGD{BE@`?z_]oNGFsCA@~@@_`oOgGcCYAJ@b_pOXGR{IED@Av`[omGTCIiDRCJaEpBGlCUiJRD\anPVGikTQIfG^CNQFXBc`uO|G[cLaFhBg`eOsG[cGADhAO`aOaGVcGAAhAO_qOaGJcCAEXBW_]OsGHcBaBX@w_aOQGMcAAAh?o_qOIGJcA@~H?o^uOIFzb}a?w~__ENuGAcE`}H@w^iNqGMb~@}G~G^}NsG?bya?W}w_MNkGAbxA?G}W^}N{Fsbw`{g|w^QN_Frbw`|g|w^]N_FtcI@kxAgZQOeEtbnaDgzg`aM{GVblADWz_`MMuGSbkptwzC\QMjFUbg`zG|o\MMcFlbf@yWxw]mM_Fibd`zGxg]yMWFlbs@qW{o[iNMFGba`xgww]aMKFfb``ywwO]eMGFibp`nw{_[ENIF?bp`nG{gZyNGE|b[`wGvW]ILsF`bo@lgv?]ILmF`c~_GwCcAI@N?e_Qqb_m{VaJrErbYplHPWhESeIKdEachB{aEP@HrDGqcpMkfOSdHQDFQT@QCdKS^IJCfqSPPkgoQ`HKcfQRXHKcmQTHEDCQQ@PSc[SRIDCaqP@O{cKSLIGC`Qa`GCgcQBG|D@QNpOcbwSFGyDBqMpOsboSJH~CZq_PFKg?PpH~CYQ_PEsg?PjGpD@QKpOcbGSFGjC}Q^`DkfsPXGgC}Q^`DSfsPRGdDFQHpQCaWS^HiCzQZ@NCekRnHfCuqYPL{e_R\HcCwQ[`KseSRbH]ClqVPKCdoQ~HWCpqWPJSeGQrHVC|qT`NSdSRrGaCVQK@CcaKP^?j_UoJGD[Au@X?g_TOIWDSAe@PJpDtavx[GmuV?JkduAwx\gmQVUJadqa{H\om]V]JedvayH]?miV[JhdjQuHY{lMUjJSdhAyHY?miUaJhdpArxXgmQVEJMddAvx[GkqV?JJdqaeh[whqVKIZdIqdhQch[UNIXDcqe@XClwT|J?DmQnpZkkCTvJBD]qo`Vcj[TrItD\Ql`VCjCTfIsDVqk@USicTLIjDRqi`TCioTFIlDQqj`Sci?UrIaDlqgPZSkOSzI^DbQf`WkAQ@F?a_POGwCcAY@N?d_QoHgC{r{NBF_bpPyg|[]eNXFmburQpdgrmXqKneVBMhfGrAXuKqe\BKXf_rUX{Kse]bKxf_rYXoK}e]bLxcwr}XQL@eSBOHcsqQXJKaeOrGxborYXoK_eNbLxe?pmWwKqeWbFXb?qyX]KYeUbEXe_pUWmKteXbDh`GsAX}KJeDBOXg_oYWOLAe`b@xggoQWILFe@bPhggoAWCLFe?bPh^gsIYGJ~e`a~h]KnMVdJsdzQ|X^CneVnJyd}Q}xaOqiWgKkeHbIx`_pEW[KNeEbCHq?fqR|H|dAq`xOsgaSTIHdEQaxPk`}PBG_cPqHHCSo}WbKOfTbhxskyY\JMffRRg`sky[\HMeFPrf@r{xw\BM\FORg`rKxk\HMbFLRf@pkxw[^M\FFRTprStc[rMZEkRc@o{xG[RMPFCR]HnSveZnLtezRfplKyCZVM_EtRc@ksxGZPMPErrcpk[uS[jLcFIRd`kSu?[pMVEorV`qst{[nL\FKRU`qkto[hLZFHrRHhksmY`LMefrSXi[tIYhLUeirQPpssg[ZLGFFrapoSwC[XMIF@r\@ocwWZdMDExr[PoCu{Z~LoE~R]plcvsZ\L{EurbXp{wySnIXdKRQXhSsa^xN}f}r}@~c~w^nNuF}rxx|K}a]pNYfkrtXy{|Y]?Nxf`B}xwG~i\wNzf|Bmx~Gzi\gNufZB}Hug~]^eM}f]b|X}_z}]eNcfiBxhyO}U]}NNfoBsXzo|A]WN[ffBuxzg{u]QNbfdbwXxO}I]ONnfbbzh|g{Y]ENqfab{Xw_~A\aNifXbzHuO}m\mMmf[bkHv?y}\QMkfTBjXt?ym`oOigTsIYCtAa`NOtG@SLq?dBW_FOtF~sLa?DB[_BOVGVsEQEL@_``OkGXSJQE\Aw`hOSGPsDaCl@S`HO`GFsGA@tAG_`OJGMSBQB\?o_tOIGNSFq@D?c_zODGGs@qA\?W_dJjduqzH\sm}V`MCfBR`XoSwM[BL}f?R^xn[vuZxPcGmSWaJlEKa|P]GoSWQJdDsa~PYGssUqLTDcbPPXGrsXQJ\DgbLPCGsSPaLTCSbRPRgisTIILDIa`PaGbsXAHLEKaPPBg_sOiFhEAbAOzg]CVyKhBi`oPfg[cXiIpCuaoPNgjcRiFxCia?PJgeCNiRWriXvKxe^RNXfc}Q^LNdfpRwx{K}A]~N]flrvXzcym\ZMkfVrkHtsye\PMifTRiXtDJodqQth\ckyVPJQdqQuh\CmIVXJ]dYQwhVCliTxJ]d_QlhVckiTpJEdIQ]hRCgIS`H}d?Q`hPcfyRpIIcuQkhMciiR`ImcuQhhMChyRhIacoQxhLCmyRHJibqQogzckiN@JEdKQPhFchYS`HAdSQKhFCjIPhImcRQJhDS`iPDG]coQDhACeiOXHedeQ?h@ClYU`GEb{Q`hPc^yNhIIbsQfg}CiYNXIabkQVgycdiM`HUbaQVgxcdYMPHYb[QQgwCdILxHMbYQQguCdIQXEmgSQWhKseiElB]`lLGedRQY?t?]_JO?f~s?YO\GUcHSUIGTCQbDPGgnSRIGTCaalPCghSNILTBQb\OwgrSJIKtBAb\OggtRnhwS{Y\dMyfZReIJSyAbDM[gnSRHnsvQalPOe|RYIEsvA`|Lkg\SFHiTAQYtO_ejRPIAT@aY\LGgJRNIBSsA_lOOe\S@Hdt?qXlOGeXRHI?sqa_TK_gFRFH~spQ_DKWf|R~H`spA^tO?eDSGH]tAQVtO[dxSIH^tBAWLOke@RtHjs|qZLNWepR{Hss~Q\\NkfTRwHpsxQ^TNcfHRrHoS|A[TNGfBTcImTVYj\TaitTXiRdWYkXQUjCSeiodGikPQMjEScinDFyjxQEj?S_iMDVibpUAgyT^iidRIixSyikTLicdRyhXTEiSTOicDTIgxTIieTEiSDNIdHRihSSziYDOyepSUhiTCi^DKYeXR}hcS|iZdJifHRAhoSni_DIygPQuiASkhHSdIQ\HUcnQUizdbin@XAjkUNjDtbYpdV}k@U@jHD^YqXVykaT{jFDXylHXAk]TgiqDcYkpXMjIUQjCD[ypPVUjgUHjAd[IoxVIkKTpj@dZylhWQkCTmitD]Yl`VmjUTyh~t?I^tOEgFSAiBT@I_lO]gRSGj\ddIqpZukiU{jVdkiu@ZQlaUrjVDlYuxYulkUkj\DiYv@YilUUxj\dhivhYalwUfjQtgysdYAlDU`jMdkyu`X}lcU]j[DfIvPXilqUZjJdlYuxXelkUWinTWIj|UEjFTajltuYzT\]mpVUjmDqix`\ymyVJjmDpyzp[emyVGjbDwIw`]EmIV^j_dvywP]EmEV_jgDniyP[AmaU~jfdtYxp\QmYVRjwd|y~H^MnoVqjqD{I{P]ynEVnjsD|I|P^YnQVtjqdyy|h]]nKVkk@e?J?h_IoGW@j|D~Y~`^}nuV}bEPbgpkduQxHZckQUhJKoEWDK?d}q~x^s{a]NNEf`rpXwdBm`zO{g[SMiFLMMfJRchoSwi[LU]jRTgirTXIkl\AmdVPjftrixlb?plWqK[UKRE|bKpZWnKYuLBDtb?pTWqKUUKRD\a[pZWnKSuIBDtaOpVWeKUUHRDTa[pDWhKPuIBCLaOo~WeKOUHRBt`opDW\KPuErCL`co~WYKOUFbBD`sojWZKJUFBA|`GopWYKIUERA\_{olWPKJuCBAl_wofWSKEuCb@d_wobWNKEUCB@l_WpfWGKYu@rEd_cplWIKZuArFDeo?l?W_JoEWBS@mro?[_NOFZNo@}@B?_bvp{G}Ki]TPIedQqhHS[tuY~L]elRVHj\?u_VOKgDSAY@DFub~P}g|S]yNdQahTShiTtJIdlXikxUZjJteYrD]QnFVajqtxy{tictJYiLRuiBStiktDYlLQUjBS\h{tJY_LRugRStiGsxY]LQUfRS\hcsxY]LLufRRTi?slY^LKUgRQ|hKsrYTLLudBRThWs`YQLKUdrQLhSsZYSLFucrPtgosbYQLDUarQDgcs^YGLEu`rPtggsHYKLBUarOlgcsFYFL?uaBOTgKsLYALAU_ROlfys@X~k~U_JN|bcrvWyK}u^BF\eWtPXgLTUXrTLikrFYlKqujBKde?rpX`K|UWbNLdsrpX^K|UVbNLdkrjX[Kzu\bJTfGqrXsKju[rJDfSqlXSKzuTRMtdCrdXRKyUSbM\cwr^XOKwuRrMDckrXXLKvURBLlc_r^XpKdUQRMDcSrXXFKvUPbLlecqDXjKaUYbG\foqBW~K|u^RGDborRW}KtuNRLTpO?T?K_DoBw@s?ux??O_HOCZco@Q?f?TmRVIJc|q]xL[gmQekJcXiyxGYnmFEuJa@liw]ZXmFEuza@luw]Z[lifGJcPl]xAZUlhFGJcPlMug[`lgFFZYHp}u][]leFFJbPkyuY[ZlcfFZXPpyuU[^mLEqJb`k]wuZEmKEpZbHkQwmZBl_FDJapkIuA[TmJenZVxpat{[Xl\FDJapjqtu[TlZfCzVHpEto[QlYFGzUpqUti[cmHekZUXpEwcYqm@FAJ_`oiwE[HmAe~z_Ho]w?[ElzE~J^@nyvmZ|l{e{z]hnivuZsltE{J\`nIvUZpluexz\pmev]ZgmDexJ`hmYwWZdloevj[@mMu}Zam|?DgBC@]?l?W_JoEwBS@e?r?Z_LVb?Bc@y?z?[_NOFZ`tpAw^]QNEVdBptxK{Z]NNHVcRqdx?{f\yNBV^BpDvk{N]EM}vaBn|w[z|]HN?VaroTwg{B]CNCv`RpTwk{F[qmYVKzelr]xl\mNFv[BqLu{{`\jNEVZRptuo{Z\gN@v`RlTwOzR\dM}vXrn|uWz|]AMpVXBoDuK{B\yMnv^BkLvkz@[hMzv]Rd\qgzp[kM{vJbnDqszn\pMmV[rjtvGyz\RMjVUBiltOyn\XMhVSBj\tgyb\LMbvRrhLswyP\CMdVPbhdsSyV[zM_vOrflsGxx[wM^VMbgDrcx~[nMyVKRmtr?zj?K_DOAw@S?q?V?L_FoBg@s?}?Z^n?HOCGAK@A?d?Pmzv]ZnDeerVXikxU\JM\fUrlXvk}U]zNl~W~`^vNwv|R||~K~j^sNzv{b}t|{~T^]NtvvR|L}g~D^_NtvyR{L}o~F^mNqVzR{l}_~X^fNvVzR{u?G}t^[O?w?rz\~G}n^sNkv{rzD|O~`^UNwvtR|||C~L^gNhvxryT}?}\^aNgVwRx|{k~F^LNqvrB{d{_}|^^NdVvRxL~_}J^FN|Vpb~Lz}}B^?n`VpJw\zp?B]}O@vnS?T~_|r]zN|V}RvTzW~v^|N[Vlr~d~w|f^~NYw?Budz?~v^|NXVkR~d~w|Z_?NVv~rttxm{z][nNVgJr|yI|F]`nRVhZsdyg{j]kNJvirqty[{p]YNSviBrLpEwf[QmLVFJb\puw~[]mPvHZceED?n`aOJWWsBEAlAr_lOlWJCJEAhAt_hOkWUSDEED@J`bORwWcCuAHAv_cOmwGsJeE@@@_^OnWGSJ}@xAz`ZOMwVCBe@dA|`_OLwEcJ}?j?X_JoFWB{@m@B?d_PoHwD[AeDTAF`VOawTcGeC@Ad`AOiWOSI]C|@z_~OgWSSFuBhAR`JO]WQcF]Cp@n`MO[wRSFEBPAL_uOcWLSG}?P@b_EOXW@SE]Ax?N_HOWWACD}H\BHaXOrWeCKmHDCVaLPHwbCQUGxCPaNPDWcCPMFhCz`zPNw]SRuF\Cx`wPLW\cR]GTBfaFOyw`cMeF@B~a@OxW[SOEGHBZ`mPAW_sL}EpB|`jO}W^SLUE\Ch`hPJWYCQmKC?~?`_OOFwCKAAupZYlkuuzZllq|N]hnSVijtdynE_bIphGrKYIKnEMbLpfgq[XqKbEGbIpbGrKWiKnEMb@p`gq[XAKJD{b@p`goKVyKJEGa}pbGoKWiJ~DKbLpfgiKXqI^DEbOpQgskSaLFDoazp\Gn[VIJrDia_pPGl{UqIFDcakpVGlKTiJND]ahpWgi{UAIjG??S_HoDWA[@Q?j]EnCV`zp\we{T[hmTvIjddqyxZ`NogwSKHeCzAZ`HodwQkGuCbAN_moWWJ{EMBN@dc`QFxCSc]P@HDc]QEXGC`uP|GZcHQIxAcauOlGncQQCxDC`]PLGTcZQBXFS`EPpGNcEQKXACbUO\GrcBQFx@SaEPDGHc?QEX?c`uODGZb}Q?W~s_UNtGBb|Q@x@S^}NxGHbRPzwtS^MLPFpc]PyXGC]uP|FjbpQPW{cc]NLHBcZPvW{CbmM|GxcTPtxDs\mPXFXbgQKWycbUMdGrbdQHWxsaeMXGfbapqWw{Z}MFF@byPmW~CZuNlEzbZP{wuS]}LhFpbyPjW~CZENlEndqNtVyz|L}q~\^lpAw`{OuGJCHaBp?W_[N}FrB|`|qyh]{myVvJkd{qyh]KmyVjJkdxr?h[kmaWNJeeAqxh_KnqVRJ}dqr@HRkoIS~KEdOqdh]{hiVvIWd{q~hQkhAWBJ{dHq{HP[gyVjJqdEq^xO[gERrH|c|qvhM[mIRnJ_cyquHLklqRbJYcvqshK{lYRVJScsqshKKeQUnHadiqUhXklAQzH]dfqTHXklAQrHUdfqRhZ{dIVFHOdoquHHKcqUvJ[cdqmhUkjyTrI{dZqohT{kQTfJ?dWqiHW{iqUVIidcq`HS[iYSRIcdBreHn[v}ZzLte{r\xbsxM[lK\eLRdXbCxU[lKVeIRcxpco}WdMPfFRCX`CwuWXMPeDRbxcCuMXHLfePRXXoCtu[HL^f@RWXostEYhMJfCRSxfssUYDLHe_RPxhSreY\K|eeRMxeSueZXKvetRLXdcu}X`LreVR[Xisq]XTLZeSRUW|{^MNbFtb{p|xyk|e]nNNfhrsXxC}u^`NLfvRqxwS~M]HNtfbR|x}Sx}^lMbfyRgXrC}u^`M\fvRexus}]\tNjf[RyXzSzE]|MtfmRkxvcym\\N@fURnx{CyU^HMhfpRhxXklEU^JRdjqtXZKlmUzJ^dpqwX~DCE^xPBf|SPYGDA}`dPDgWSOyEdAe`pOlgZSIyGtAMaTOfgcSHYBdBm`@O~gNSNYA|@m_rOTgGsCyEd?m`pONgZSBY?dBm_PO~gBSNYGs~}aTOBgcS?XpkxE[^MRfJrdYHlDEa^QBhBs`YPDEUcXPhhDSXyPDD}cXPbhDSWYQTDeaxQNhGSUyPtDMcdPVhGSTYMTF]btPpgyS]YNdEmc@Png~SZYQdJMdhQXhZSdyVDIudxQph\SjySDJ}dHRBhPSoYStHmc|QjhSSfYYDL]ehRZhhSuYXtKUeXRHhdSpwnkWEJ~IxdYqlxT{jMTbM`fPrfxrKxu[vPpgys[yL\E}bZSKi?tCI_lOygFRyiBs~i`\NqgRS?hys}I_lNYgFRyhxs~i]LNqf^Rghys}I\lNYfVRghwsyi\|MqffSKhmswIaLOye~RaiBsxi`\MQgRTM?F_COA[^mNzF~e^rOxgKreXzKzf{r~X~[~}_FO@hIseYQ|Hmc~Q\iuT]YndVEjtTnirT[ylTV]jPTtirTWYkdUmjPTbiuTUymDT}j\T\iiTWYjDUMjHTVijTUyidT}ipT\iHTOyatS]ghTDi]T[ygDV]h|TtiZT]YfTVuhpTzihTLYhtREi`SrifTIyiDQ}idSliQTQYdDSuhLTJi`TFycTS]iHS`iKTQYbdSugtTJjn?AO@g?mm|U^jOTwyrd]EklV^jKTwyrT]Ek`VXjITvYqT\mmdUJjjTbyydWumdUDjjTaYydW]j|VXj@TvYoD\mmLUzj^Tqyvd[em@UtjaTlywTZel\UbjRTkyuDYUlPVLjUTsYtT[{?]?R?G_Co@w@EpdWkkPuKJClaypBWkkRuIjELaypRWMkRuIjA\`ApRWGkOuBJCl_ipFWSk@uEJ?|`YoJWYj}u?JB|^yozVsjqtyI}L^InNVijztzi~\]qnq?H?E_Ao@G?s?VXsi`tPyglSeiZTJkxUWzMDe]r\XdkxUYZLdfEr\XjkyUQzNDc}rlXLkmUYZLdeEq|XjkjUWzJTe]qpXdk|USZNtdUrxXRkbU\zHDfeqHXtk|UNzGTf}q@X|kYuKzE|bepzWzjhttyyl\mmzVXlGUozWtguuHYNlNUnZSTkEt@Y~lKUozWthuuHYZl]UczWDh]t|YTl@u_ZOlg]sVYHlZUizTtjmtpYllWUhZUdietdYflxUqZ]tkuvhZJllUxzZtmmuxZhlpUtZ[DlevHZVlfUzZ]DlMu`Znl{V@Z`DnuwLZzmDU~z`toMwX[@kUuJzELj]tvYxlWulZU\pqxZ[_mSvFjd\pqxF[_mQvFjc|pAxR[QmTvDJdlqIwn[emLvHJbLsqrbXrkvuxz\\mevJZblovSJjLsqyz\MmlvRJiltAyn\MmhvKjg|saxb\ImVvSjgLtQyF\UmavMjj\ryyz[{mkvLJh\rayN\GmZvaJlDwMzL]FmqV`Zjtw]zD]BmoV`Zmtuuzt\jm{VZzndvEzh]@m~V[zrTwe{X]^nDVfZqDxU{d]XnFVdzh\seyN]_nUvgjuLyQ|^]enVvijuLya|Z]BnBv`O?Tzy|e?En`VlZuo?Q}B]w?AVno?Tzq}F]y?BVo^