CAT(3024,3)
Sparse6:
:~?nO_?O?G?C?_?H?E_AoB_@C?i?R?`?LOEGBK@]?j?U_HODGA[Bc@T?k_ToHwDKAa@J?e_QOFoDSAo?|?_?ToGOB[AK?z?a?MOUoI[DMAf@S_iOTGICCyA^@H?doROHCCoAT@M?doROICCoA^?r_YoLGE{Ba@l@D?hOPoISCWAd@A_aOOwIGB}AA@P_g_OGF_Ca@{@I_]_QWF[Bi@r?l?XOJoECAw@bAP?IoDwAs@U?l?V_WoKgECIWCbAR`HOdGQsHUCaAV`K_cwQOHaCqAS`J?dwQgHaCVAL`EObgQCG}CPAI`CoaoOSGOCZAB@EOb_OsG{CJAO@BoUgJKDaC@A@_~o^GNsFuBqAF`A_]wNOGYBl@w_zo[wMkFQB`@q_woYwLcEiBZ@n_vOXwLKEaBKAG_q_agK_GeBAAA_p_`GKOGMB@@]_noUoIkD[Az@[?jO~ODKAa@N?^_NOGGIsD]Aj@]_noWG`wOYGPCF`}o~w^sNuF~B}`{O}W]{NiFvB{`y`@G]oOUFgCB`x_{G]GM}FcBm`z?}g]_NmFwBt`L@@g`?HmGMA[`w_gwS_NMDIBq`o`@WZwOQF?CB`movgZcO?ErBZA@P?OZSLWFnBW@{oto^CLUEhBR`fOrwXkMkEBBk@`ozOWSJkF^A|@wOn?\sKAD~A}`XOlGU[O?DpAyA?p?_VKJED^Ao`S_ywTWMuDSBk`g?qgYGKqEcBJ`r_pwXGMUFKBG`p?pGWoMQEIBb`s?lW\OJ]FQAu`P?jgSGIqD?Al`M_iGSwH}DKA]_GoCWAKU{?V?K_Ep]o@{@A?\Bl`uOyw]cNYFjBy`}O}wHSCaAR?Q_HoDGBC@i?r?X_LOEGDkA}@\?l_VoJgEKBI@`?{_^ONWF{CEA@A\`NofgS[IUDHBd`roxgZcLyEzBO`hOsWWsKQEJAv`YolgTKImDTFTB]pnwvs[AMDF@bappGw[[YMNFGb[plwvCZQLjEubc@kwwoZILaFFbVPkGt{YmLZEkbSPiWtS[SLJFBBRpp?ssYGLPEcBTPgotKYALBE^bOPgWr{XyKxE\bKpewrSXmKrEYbIpdGq[XYKnEWbJ@mgqwZqKoEzbV@cGu?XIL]EPbB`agp_WeKUEGbAP`gokYGJ|E?BPph?n{WCJ|E?B@p__n{VYJjDva|P]WnCVuJxDzb]`[gvwVQL{Drax@oGwOVQJeF@av`kWmGZMJ_EqbQ`]wswVuLKD{au@bWpoUyJYENat@agpWUmKWDhaw@aGlwWeJaEFa{``GnOWYJoEDarPYGk{VSJXDvAvP\_lkQ]HRCgb\@XGv_UUJEEzao@iwt_UILYD`an`ogjg[AI{F@al@Xgj_UaIuDfakPUWi{TWL|DSB^pTOvkTEIfDQafPSGh{SmIZDKacPQghKSGK`DCBHPOoqKWCHxC}B@p__fkXoHvCxBNPM_rkRYHpCvaXpLWec[[HbFGAXPp_eC[KHZFDAVpp?dsQOLlEsARPHOukZoHFEyAPPGOv[PwJRDiAOPYob{PaGtCXaIpDwasPGKZCSBFpCopsZ_G`ExAFploaKOqG\CLaC`cw`WXQGSETa^`IgdWSEI?CkaL`PwgoPqGyDDdR_AG@S?eUCDlauPZgmSVMJhDtazp\gnKViJpAJ`EobGPsHAC^AG`DOaWOSGQCFAD`Bo`gDSAq@V?c_QoHgBc@m?z?[_MoEwCC@}?|@T_joTgJCDeAt@r_yo\GL[EiBX@l_voZgJcDuAvDOafpRgfsRuHxCoaXPKWbKPiGpCZaMpFG`{PEG`CHaDpAg`KOmGTCKaFPBW`cOyGZKxEXrLXecrYXpKveWRKXeSqsXXKmETRJpd[qOXfKeEYRHPekq[XlKhEZrM@dCpeWvKYeIbLhf?pMWgKveDRBH`[oeWPKFePb@HcWoYXEKDe@bCx_OpUWAKSe?Q~x^snkXfJ|EYQ~@ekp_VpJyEJRDp^Kp?VfKQDxRCP]cmqV\JlduAzx\gnEV[JodrQyH[{mKV^JdDwqx@]CqwUzKnDnrJPZsliUvJ[ePAuXYwqEUoK_djBHxdGlQUiKgdgqsxYSo{U`KLDfrB`XskkWlKVDerE@XcnWUPJIDzqqP]kkUUNJEe?apX_Wk]WCJEd`AuhW_lqUEJZd^qoXWCjuT|I{d[qmxVSjYTpIveDAkx`_jUTgKJd|akH^gjEVwIqd_AyHWGm]T}JedUavxTwluT[J]dTAsXT_lMTUJQdTaiHT_i]TQIidVAhXTwiYTYIcdo@qx[O[iVAFHdO`sxSW\QTCFQeMaexbohuW}I[dLAkxU_haTiIXdOAbxRohES}IOdeAbXXggqUUIMdCanhPWjuSSI{dBAyX\Wg]SOJid?B@HOGoYWIIAczbAHNGoeRoKFcxArhY?fEReJNdPA[HSWeyTAHncrawx[_eUVIHecnbGHcOeER?K`eWAUXeGdiXcHZckBIhIwqqQkKjchbEXI_pmWsHTd[aSHIOjmQaIyeWARXeOc}XaHMcdAqHXOcqQUJHcca{xH?nQQMJqeQAPHGoqYXIHDc_qOxGSbwTNIhC_QNpTCbmPzG{c[Ayh\WbiPqJhcXA~hE_oAPeJ~eNaJxEGpyP_K\djAIXYgamPSJSeQaGxCgqYXGGccSBFHCopqPMK[d[AFxUo`yOyIvcLAfhB_iAOuI^eUaDxdo`eX]GWeEaAH`w_iW[GHePA@h?wqEOIK_b~bFh?Gp}WyG?eG@~g~gpINwKPdQ`|hS_^aTKFvdo@|X[O^QVAFrbwAog}OkQNaJBd{@zW|wneN[JyeS`yxcw]qXOFibrakG|GjINOIpbjbJGygqiMkKjbkA|X]w\iVkFXdj`uxZG\uUoF[dJ@sWxwh]SiFOctaWhLgeMRWHccnA\HJgfYQwHtcsALXLOb]RQGuc}aGXNwaIR{G_cGachQW`MSgGQcUABH@gayOUGlc@@rH?_[yMYGBb{a]g~OfmNuH{bqADG{g`YNKGTbpaBw{G_yO_Fad@`vwzogUSGF__Bo@w?|FC?H?E_Asb?@[?q?Z?J_EoBHV{kEU@I}d]QnXUsjaTnItdYQkxUCjETdIldVqjhTSiqTVIcdRQhXS[iETDBm`wOzw]{NeFp@J_eoRGHsDAA^?Q_IOCwE[BU@h?u_[OLwFSBm@rAY`LofGRkH}C|Aa`OogGSCIIDBBU`kOtwW{KeEPB@``OowUSJMDhAw`\OmWTCI]DLFIbcpqwy[\QMdFSbhPswyK[}M`FNbgpsGxc[uM\IQdIQcxPKgmSTHsczQ\XKke]RLHbcqQWhKCeEQ~H[cnQVXIsdaQnHFccqQHG[cEQDGacOqGHC[aUPHGecSQHxA{`eOpGHcCQAh@[_uOXGAcAQ?x?s_]OJG?c?p~w~K^mNtF{b~P~W}C^INbFlbvpzg|[]qNTFebqPxW{K]MNDFUbjptWzS\eMpF[bmpuw{C\}M|TrIwt[ImTUsi\TLIvtRAltScjNThIdtQalDScjTTIIttQqldUOiHTdIatOqktSAiDT@i]tNyftUGhnT`I[TWqfLRchxSvI\TMAf\Ugh\TjIWTZAd|Q_iLTGITTIQg|P{jdS`IwTGAmLPqg|S\iTdBYdhO}hWSMinDAik@Oqi}SJitDAil`OqjUSJiBtAY`DOcivSGImt@qjdSKgHSEIatPA_lOIgFS@h~DXI_@UYf}TdiYC}YepNihiRwh|c{y]PNufwRshwdBy]@Oug[RnhtdUY\HTifSTWhtd?Y\HOMfSSAiJCwIb@MIgmR`iocviZxUMeyTahldTyZ`TUesTUhlDXylHLqeuTgh~CuY_@Laf}RVhgDTIXpTIe]TRh|cqy^hKufwRKhcsqiXDKSezRFHnspaZtPceDRCILtEaW\KOfNRgH`SxaW\T{dzT]H]TWAVtJoiXQ}IfSnQhlJedtQzhyClI]PJMfeQthVdUYjPIud[TWhTSjIT\I[dfQhHYsiAUdIOfFRdHRShQ[dICidQbIhtTASTHkg~Q\IOsfAcDTocnQTImtUqQtH[gJQUIAT@aQlROcdSuHITLQQ\HGhDQSIQScqc\GciNTGHDsaagtG_h`QFIVS`ad|GShZQBIUS`Ad\GGhJSfH?S_QctPWbzSWG~tDqNtPCbtP{IGTCaN\F_d~PxH_s\qWDH_btQYG}SeQN\PscbQNINTFAQDGsfHRdHFSwqPdG{czQZHGscARdFKbjPqGyS[QMtE_cRQIGtSYQP\JC\nQqF[sk@vDESirTWGrsXajTEKfjPcHzsWa]tDohJSfGnSVQctD[dTPWHUSTaT\JgahQzGhsmQIlEwadPoGgSZqILCsc|PNHOSRaR|CkefPKHgssaHTC[j`PHIxSQAmLM_aLRfGasxaGdBsgvO{IKsMqbTBSh~S|GZsLaftBI`hOrioCJyjpBEi}OogUsJIDtIO`ROiHQsIqStFs`POeG~s^aC|TS_zO^IjtTaBt@geTRHGLsqABd@cj^OVIvSEAll@Oj^OUIusDQltF?_bPnGHsZaAT@?hHONIPSBac\?kdZQnGEsja@dGs_NQMGAs@aPc~{g`SQG?tCQ?DLS^xRUF}r~aYc~cblNzGyr}aMc~]^pNufxdTX}hT]^gTUhBb{YP?~AcKNqftDSii_}qieNjiIbxIa_}UgeNehXBwyUG}Ed_NafnDMh{@Rq]}SzflrvXzdEo]pPlFlRuQL[|WfXNVHvRtQ\k|I]fNSiobrykW|EjCNOiHbrIag{yggNLhbbqyWo{ieINHf`dXYko{UjGNCf`CoXwHJ}]?R?f]rnxvszohPSiF\tIPvSzChbSrFXtK`uSzOcJQCFZS_pulJ[\`MmH[Sl`t{yoi`MlIgriqh{y_dBQbFTRiQSSyWdlMfH[SlpslNS\DRvFQS|`s[x{f@M`HpRgA[Kxkc@QAFLReQOKxOejMRHiRdQYsx?eXMQHdrcQXkwkjNMIIsTYPpcw][RMGfAR`hokvwixL~Imr_Aj[vki@L|I`R^AgKvgefRPE{ss`nCv[bTLuGsR\QLKvGdNLsHSR[qTLS{Z\LkIgtS@lkuci^LjIgrYaiDHwZFLdHORXAR{u?e\ROEpSrpkLH_YzQYEnsePjstobfLYGwrUqMTF[YnLXG{s]@jCtEYfLQefCzHi@MyY]Rledc}HhhNiYWRxebrPhgks_hbSrEdTK`hKsKfbLCHvs{@gSrcepKzHkrMaY|EsX~L?GtsZ@gLA?^NNhGPRyACL?G]LNGGARpq?[xw`pM[G\RfQFLAK[lOdFKSH@q{wsa~P`FFrbaKCwC_POIF@sAPoSu{arLpGlr[AJSuW^ZLgFvrXp|tCCYhPBEjSO`ikro`|P?E^RNQF|sgbVPlguSZiMDE}bhPugys\yNDFebtP{g|s_IOLGIcFQDhASaYP\GiJRDjatOGWC[AIAp@Y_ko^WNsFqBD@`_ppQGhSSeIJDFabPMWf[RiGdCSaHr~y?L?A[pMVfJRfxsKyA[xM]fMreXr[xi[FM@f@R]hnCveZ^LpewRYhlKumYzL^enRTHistUYbLRehRMXf[riY@L@e^vibqhwm{Q]VnDFdjopwe{O]JnBfajlpwAz_]Amvf_ZmHuAzc\`mxfVzjHuayu\imlFYZlptYz_\VmkFZzrpsa|?\Hmbffzg`wM{I\EnAFPZEXyEpi]bkYFgjexy]|Q[tnSFLjePsixe\KmYFQzohpyw}]BnAFFZnppQwk\|m~fDZmpoezi[ImyFAJjPoUyq[Fmlf@j_Pxq{u[Cm@ffZ[HuIzGZbmpewjh@lyv?\FlnfQZi@lmycZ\mgevJYhumum\lljFZJoPjut}]?l^F_Zhhj]y]YxmfEmJUpuqtg\llYfYzTpyQ|KYonQejzqPiU{gYfnHehjrXhAsc]\nMEcZNptqs?\]k~fVZmxfmry\wk}F]ZMHw}{_XonGeZzkpeizIXjksfXzqxeU{kXbnIeXJnheAz}Xam~EWZJhwYq}]GknF`zI`tqqk\]kifVZGhyEqK]bkbfgji@cIycXCmgeOzsxb}|QX@nSEOJFPxQpu]QnHeMZEptYyoWwkZfTzCXuIzGW`mpeGjq@`u{aW[nFeEzsx`Y|QWVnSEDZsp`Eo_]cnQeBzs@_m{}WHnNEAjkh_YzMWGmrE@y}HvQne\ujxF\Zhh]yy]VomfDzziX]mnY\TmiDzJmH\}zeV`mxDwIzhxemw]WnLDvjr@\Ymo]Xjjfeixhv]zqVNjfF]Ix`vizwVJm|dqjnPZmzwU{m|dnYuXwqlc]MjYFbZjxYelU\`moDiirPtMkw\TjLfTJg`XQkk\EjIfPYqPsmke\KjGfQippwqk_]MjFfbYnHuaju\ii|FYZcppExO[RmRfCj`Xq}wY[pmEFKJcXlaxIZYmQEuZRxhqs{Y`lMegJR@maskZhlJexzTXgytYYNlUEbZPPmusWZnlDezjOxpisQ[[lCFEzOHjEteYBl@EkjXxfauaXylgE]ZMhhermYZkzEejMPkYrgZGkxepzf@eqxsXmm[eZZ\PdiqwZkkleyzIPjiqeY{kgemz^Xcyq_Zxl|ERzXhcqu[XLleEQzb@cawqXHmJeQjF`gQp{YEk]e`ZE@qepc[jkWfIjDPaup]WkkTeJjCxiIpQYckSEgzChnYpKZwkQE|z?XmQoIZekAExZA`_AoeWAkHE?Y~hd]n}XXj~EUJKp^irMVzksD~J`p^]no[Nj{fCI|@nMnQZslydyi{PkAnEZAjqEoYyX_qo[VTjiEBZgX\Emc\@m`DsJTP[QtQVElSDpYwHnAmEZqj`E{Zg@[Ax}U~m^DnivHlIugUyj[Esyupqqlm[mmUdlYtxn}wAUpm?DkIth[el[VGjUDpzf`Y]xyUgm\dhish^YlGVsjPd|Ys@nqlCZ}jOe~Yqx]UkoVfjKdxipXkMkYZDjEEpIp@`aosUHjDEEZXHWUuUUFldD`ioPXykGU\j@dfynxqAxCU@mOd_JQXVqsiT}lID^Ymp`yjoW_izeFyzHVMjiVYiyDuw?c?Y?J\CmbVPZhDs]yR?M_GOBxRsiAS~Ixd\qmg]KNMFd?r_YoLGFCBY@nAZ`LOfGScIUDFBS`ioswXkKyE^FHbdPqwxc[uM\[VmKvEJaDoyw^ZflsuyJVTjqtvY^lOUgZKTeEr@Vpjxt{i|D]inRVUjkTtytdYylZUbjQthIrLX]kpUEjBt`YoTWQkFTsixt\[fiSzH{dOq]HR{hiQvIUcnqeHJkdQRfHWczqThMkbqTFIec_qhHF{cASRG{dBqNhOkeiPfHecYqYHEKgIO~Gac~qGHOKeiOrHecLqYHBkeIOfGUcoqXHAk_YRBGIcqqWh@KcyOBHQcAqSH?[^qQrFycip~hI{aqNfGmbvqIg}K]aOvFkcMpyhBKhQMjIQbgqcGy[ZiONGIb]pmH@KZIRrEuc}plHN[_qKvE[cGpfh@{VqQVHKa~p_HHKhAJVISavqcglkTyQRHKappWHH[_qInGOahqBgikSYRfDIczpQHMkOQOJCGc@p@h?K^iFrF}`}p~G^[LiPJGe`novHDKLYRZHo`iouHL{KaSFI?`eq^gX[HiQJA[cboeHG[^QC^Fw`Gp|gPkhqBv@}dOqfgNkFQQv@wcno\hJkEySn@qdLo[HRKbaBFGy_rqLgKkDAO~@QcOoTHC[CISR@?dAoNhO{BqPj?wcXqKGF[BIQF?ucboLHGk@QSVIM_KoDhPk?ISVIM_Bo@HPkiY?BIc^}n~hS[a`~m~ycQqHf~Kd@}m~QchqRfykbX{bGy^IqMFqZwqPVGm^DnbhDk^Pze|ub{p|fmjuAOe|ccJnWhAjtQRY|WcwnThLzwQLY}GbWn`gt{[iKjFMbKprGq{VALNDsbTp[gtKQIHRCeaTpHGdkPyL~C_b`pFGwKNyGnCAaLpEG_KNIK^BsbHo|gqKYIEbEc`hpgGX{JYKFEE`\omGokJAJnAsa|okgnKIiMzF_`VpvgTkHIIrAUamodGj[GAIBDC`Ao_gg[]IAzFe_opxGJ{DYGV@YaFoUG`kUQAVDg_fpXgHkCaDF@C`OoPgR{AY?v?i_NoIGBkPA?^?QaIoCGa[GY?RAG_Eoag@Z}iMJFG^vnzGwz}QHu~ga]nxgf{M@}~Bc^powf{KAp}r?o^moJfz[Jp}ZB?^gnrgVz{Y@A~I_QnqGC[Mp}BBo^aozfwZzQMu}wbjpuFu{Sp|^DO^XpRfuJyaDI}k`SnigSzyIBQ}e_unhGL[Qx{zCq^OpKFrzzx{q}y^LnnFq{RPz~Cw^@pLfoJvaKQ|{bEn]gpZuqFM|o`tnZg\KKHzNBE]topFlJ~@yu~s]nn{fjiNlF}b|QEhCS`wasP]GjNzf|R}Xpkwy[^LJeerRHfkryXxfeSqXxDKU]TRFhRSpyTTKedPRDh\SdYVdHedpQVh\SSYHdJudpPNgcSjYGtJEaTQnhgSGyYdA]edOdhdRkyXszUeXMphdRNYXcree\Kzh_RLxeTKMd|Kth^RBxaTKMe@KPhgQvyYcmMedJ`dbSkyUskmdhJHhZQoxWdJMdhJ@d\SkXVdI}T|QlgWSLYEtA}`dOxgSSYyDdE}`TPlgFR~Y@c~e_TNzfxSbx}tHM^hQPfwSbYPS}u^\QHg_Ryx|DCU^LPBf`S@xwd?e_HNFh?RhyNsyebxMdfNRtXsS|]]pM`gsRcYKsw}bHMLf?Ruxoc|}[DN\e|R~xnd?EZ|OBeySDyBSveZlOXevR`xmSwmZ`MHeqSfYRsuMZLQZelRwXis}UYpNbh@RSXidG]cHLRedSCXht@UYXOReaRixtsse\XLFe^SUYJcsMY@PZfKRJXrSq}[xKpeRRYXdCuuZTKjeORcxqsqUXDMTeIRExbCp}WlK\e@S[YMco]bdKDd}Rrx^s|EW@NRgMQ|yCCnm_|JxdwSMx]dB}VdO|gnQyyKSm}b@JlghQxX\DD]VLPTgzQuYNSlmbpJ\dhRVXYsuEUhL^dgRAx`ck}WPJLhOQlyScjedDItdVRnXUS{ET`M~dSRlxTSzmTXMxBX`louhOsgaSNHpcxq[j[dmYvJYglTUiZPdgisVXYkmUU|_ImrWEjmu@Iz\\QoRVUkDtsj@l[AovVCkNtojBlZQpRUwkRuIiu|`YlfWSjWuEIt|aAkVWcjEuGip|VIpJWaizuGIml_yjBTckHuCIk\TQo^TWkHtTjALSyojTQkKtSJA|OYpNWiiDtAJDL`igBW]iAuFI_\MaoRRkkEsyj@\_IenWEhlu@IZLYamZUkjgtiix|VylvU}j@tnIoL]ijZVmiwtzIl|UYhVTiiVtYIdl]Ai~TYjptvijlSIlFUeibtPIslRqnbT?jytNi}\]QhnVgi\tMI{|QQknSgjLtHirLPyjrSai}t]icLWQgrUGiMt`ib\PInnSUj|tDI~LOqhbSOiYtBie\NikzR}jOs~Ir|SafjRwies|ih\[Yf^VIhxtqI]LXQfNRajHtcI[lLqnzR_k?t~iZ|mAvNZalsuxJ\\kauFZEleupJX\iYuBYcl^unJTLhyu^YalhugJYLfqsBYCk~u_jN\fQsZXwlGu\jP|eysNXqlDu[JPLeatVXklVuYjTleIsfXelJuXJQlhaqzYYknufJKLjQqjYokhukjILcQtnXGl\uPjVLlip~XAlnuOJZlbaujW{lkuMjY|bQq^XIkZuKjHldYpZXYkWuUJD|sAvZZomavOj\|qYxZ[amTvHJdLqAwv[[mKvFja|riwj[Om]vCjf|qywJ[EmXvAJeLoywB[Im@vBJ^|rQvr[wl}vLj^\nIyN\IlzvQJ]lvYzV\ymvv]Jlltyzb\smpvWJm\sqyr\OmmvRjj\uQyf\gmjvXjig?I{\\|?AVcjoLx??L\~?@V_jpLwo?L]FnD?@Jon