CAT(3024,7)
Sparse6:
:~?nO_?O?G?C?[?G?D?BO@G?s?U?J?C_BOE_A{@a?r?n?LOFGB[BS?z?^_NOGWCSAA@H?b_QoHwDCAY@R?i_ToJ?EKAw@`?l?VoQ_Ac@Y?j?j_SoIgIoC}AZ@M_fORwHkCaAN@H_boQGHKCqAT@J_\oNWFcCA@~?}__oOwGSB_AT?y?doR?FKCYAH@D_Z_LGEoBI@e?t`??FGBS@m@j?v_ZONgGCB}CWAJ`DOaWPKGmCTAD`@o`GNkF}B|@y@Do^?PKFkCTAB?|O`?N[GSBx@v@@O]OOCF_CB@Q_goSGIWF]Bq@T_{?TGMcFUBlAE?xOa?M[FCCN@o_vOZwP?EmBYAF`B?ZGKkEYBN@h@@OY_OKE_C@@b_pOXGJ{EABB@X?}oUoN{DgB|@]?jOU?JcD[AzB\?HOCWA[@I?f?P_zo]WNCFmBx@y_IODgAk@]?r?W_NoFWBs@u?~?]_OOGgCKAA@B?a_PoHGCkAY@P?f_UOJWDsDIA`@P_hOSGIKDUAf@S_ioSwIcFEBf@q_toZWLcEeBT@g_qOWwKSD}BB@__loUgJKQkHJCfaRPGgccQMHOCdaT@HgdGQ]G~C`aOPFGbsPuGrCZaLPEwbKPiGlCWaJpDwbCPYGfCTaIPCwakPQG^CMaEpA_aCPGGXCJAGp@g_kOQGNCGaCpFo_KQCGFC_A@P?G^{NyF{CKa?@Aw^wOiG_BzaH?~W^_PEFrBw`|O|?^KNKFtBq@{Oz?`kMwG^BlAFOxw\CMYHSBcaS?xWdGMMEnBX`kOuwZcLiEaCa`h`HGYOQMEgCa`j@HGYgQMEkC[aN?tWbgLQGQBNaB_rgY?OaFmBL`y_rG]oKmESBo`w_qGXGM}FaBQ`h_zwYGNAEMBr`a_|GWoNIEKBi`b_ywWgMeF?Ce`p@Hw[GQUE}CE`m`@GZoOUFABk`p?zg[?MuEQBY`m?qGZWKiEyBX`n?twZwLaD}BN`_?rgY?KEDxA}`]omWV[JiDlAw`Zok_[[JCFJAo@qPI?TSQgDXCh@Toh?^kIWFvB{@Qp?OSCHwGFA^A@OeoX[HsEZA[@eO|ORCHgFnAX@zOdwQsHUFKAQ`s?dG[wHMC]Bi`G_ywQ?MeDeBA`Y_pGU_KMD]A``P_jgSOIuDMAK`F?iWT?GuNIBG`coqgYsLUEhBY`mOuwG{CeAP?{_]oMwGKCIAF?q_XoLGE[BQ@dAx`\omgPsGqCZAN`GOcXB?_{OjGPCJqC@As`GOnGSCJQCpAk^sOXF~CFP~`@k^gOdF{CIP}pA[]{OlFoCJpz`Ak_cNVGJBuQA_|k]eNTFgbtPyG|K]WOFGCBrq@O{k_WM~GGBoq@o{C_WNDFcCCPwp?{`CM|GNBmqC?zc\cNJFZBrpu_{s\gNDFbBlpuO{c^gM`FzBhP~?yK__MXGEBdq@oxS[OOXFECFPpP@k[GORFBCDqA_wKZsNnFxB\pn?~CZCMlFWBVpk?y{_{LTGPBTqC?tKYWMfEfBiPi?ykYSNfEbBxPh?}KXgM|F\BMPv?r[X]KrEWbIpdgqcXCNVERBupc_|cWkODEKC?PbP?KW_OFGDBDQ@?pKWYKJEFb@P`Go[W?NBE@BoPvon{VcO@DyC@P]p?KVoNnD}B{P}Onk^sJfDtB~p~_mc^CJ`FrAxP{_mKUsOdDnCIPZ`A[UOOXDeCFPXP@kTgMnFWAkPUOys_kIdDSCCqA_i[S{NhDPBzPS?}kSSNjDCBzPOo}c^?HzC~BvpN_|sReHnCwaVpJgeCRKMhFTAWpsoeSZ[HXCjBYpJOusX?MRENBcPb_w{V[M^FLA{P\_xsZwJNF?AspnolCYoI|D^BUpW?tsTkL@E`Ampg_jcSsLdDKBXpR_ucSgLpDJB\PQOvKT[ILDUAcPTOg{UgI@DjA_pZ?gSRgKzC{BNpMorsROJBCuAppLOkSlGMhFRbipuWzS\mMxF]bmpwg{c]M?f?P_HO^WN{Fy?h?U_IoDwBK@a@F?d_QOIGCsA]@\?k_UoJwEKBABJ@f_rPowwK[ILLEgbRp[wmkVQJ^DlavPXGksUUIxD\alpTWi{TYIPDFabPQWh[SiHnCxa[PLgekRQH^CmaWRGpbSpqWvKVeKrEHacpYWjKReGrCh`OomWYKHeEBAH_so]WJKAeAR?x`gniVuKJeEA}X^?nuVkJ}dza~H\{muV\JkDxQ{P\SmkV`JfECRAP\Km_WTJcdrQxX[GpAW[JbdpBBxZsl}V@J_dnqvh^WlmVsJ\d{avHZ?n}WAJYdkb?HYWmiVWJQdtatHZGlQUsJRdkAshX_cIUYHCdfAOxawjmWqI{eKAmhUgmaTkJhdYAxxaGjMWeIpeHAkh`oiyW_IoeFajx_WiuTWKCe@AixTGoETSJ~dSB?H_giUWMIfeBAhhS_nQTEJtdPA{xSGnUT?JrdNa|HQshaSnITdHqdHYwg}UkIMdiabX]ogiVoIKdzaaxOGnASEJqd@A{XZgfmRyJZdmA^HYwfaUiHydjA]X[_eqVKHmdqaZXKceURFH_cpQWXJgmuQ}JmcnAzxJSdqQvHSD}QT`^sdSVzHMcgQRxXwcqQYJPcdasHH?kuQSJMdeAQXXwcUQMJPcbAsHFwpQQAKUc_BDX[GbQVCGrdpaLXEokeUUGwddALxCwkeUUGhddAIHCGkYPEJGcPApxBok]P?JGcNaphBgpiOuK[cMBExUwhATqIQd[AcXMggQRmIEczA`XM_gARcH~cxa^hW?eeUCHjd_aYhLweYROHpcra[HJGjuT}HVckAnhIGkMQeJDchApHRWbePuIXdLAMhE?hqS{GqcWafXFgauPwGnc^AJhC_g]PKIHcQaaHBOamPWGWcTAEX}gKUENBE`hOswYKL]ErBW_[OMgFKIMDBAa`]ongVcJMDjAs`VOjwTkIeDNAg`JOdwQkHICfAScqQXXK[eARDH`gLsEYBT@Y_pOVgEcCyAh?}_gOMgGc@y@H@I__OGg?cCY?X@I_COOgIC?H~x@U^{ORf|bxh|?~u^wNffybwH}w}I^kN`f^c?XwH?M]?OAf]B}Hvo~i\yNxf~bmY??zm^{MygABmHup?Y\mODgDBii@_yq_UMjgDbiXsx?q_SMgfPb{h}WyE^gMafLc@Hrh?Y[wODfHB}Xq_~a[eNygFbbxqH?y[_OLgCb]xn`?]ZsOGfyB[hmW~I^eLpewB|xlw~Y^iLmeub{XlW~A^]Lkeqb{Xkw}}ZKNof|bWhk_~u^wLbemCEXjp@mYyOYfuBUH|ot]^YLUfsbQh|Wsq^SLJeaByXgo}mYINie\bzHfg}yXwNlgJBKXe@@aX]OVeSrIhd[qMXJKceMrFxbsqAXDK`enbrhkG|AZ?NNfdbohxg{Q]WNBfWBsXuO|M\aNQfiBjXyoyy]iMnf@bhHogyU\KMCfBb_Hp?wI[KM@fXb^Xugv}\gL}fNB\xs?ve[}Lwfmb\HzwvY]{LtetBuxlG|qZONYeibeHi_xiYeMXekbSHjWtIYsLPecbxHh?}UYMNbe`bdXqosI[mL@e^BpXwwsAX}NEe[bRxfOsuXoLMfEBLXpor][YKufcBKhxOrQ]QKrfjbJHdo|eXYNWfCbHxcowm[SKgha@tgzC\]M~F`boOIWD[AiAx@]_moTgJCD]HVClaUPjWtsYqLREjbTP\gnCV]IdDSahpRGhsSuIDD?a_pMwfcRi\HMefQrgHrsx}YPLHebrNxfssAXjKveZRKxecrIXZKkeVRIXd[qiXLKfeSRGxckqQW~K\eNRGhcKqAgHSDi@s~Y^|NyftR{h|s|y^LNafjRshzS{Y]TNMf\RohvszI\\MufTRhhsSxY[tM]ewRXhlcvYZPLyeoRbhjcxIYpMIe]RZhlCrYXpLeeURUheCuIXPL]duRRh]ctYV`LQdgR_hXCwYUXL}d]RFhWcqYU@KaeGQkhVCpiWhIudKRFhSCqYSxKadERDhQcpiW`IQcySBhNd@YRpOQcwRxhLC|yRXNafgQJhzCbIPhNUcOR@hDCoyPHKIcIQ}hBcoIOpJ}cCRqhwc`IOXNMgMP~iCC_Y_pGAg?P}g}d?iN`OEb_RIgxCrIMHKmbYRRgvctYLpLQbSRLhfcYyL`Kye}PfhocYY[@EabARngpCzi]@EMeaP\hgCVIYPDmaoRjglCzYJHMqagRcghcwiIPMMewPNhmcSIZpDEfwPMgec}i^XCqfyPHgdc~y^pCieaPEhgCQIYPC]aGSLgadBiGXOqa?SIg`DAyGHOeg[O~iECNi`hBu`sS?g\d?i_HBq`mSHg[dAyF@Oi`iSGiBcLI_pBY`URBgUcoiD`KEd}OggTCniW@AefIOfhrcHY[pAY`CRggQCyiCXMe`@O`gNsFYBt@qdQQwh\CiyVHIidiQ_hZcgiUpIE`_Pug{CJiMxA}beQSgycdiM`HUbGQPgqccyKpHIa{QVhKCWIRHD}c[PTgjccIIpG}buOrg|CKYNHBIm]JEdcQpxX[kiURJKdeqrhX{lEU`BJ`eorGXsLAE^I[dNQfXRKhmStHqcyQ[xMCfER^GicUQIxDsa}PZO^gOsGIBl@q_|V~JwDzI}P]inaVjjudxy|x]en[VgjqDsi{p\QnIVRjpdsY{P[}m_V`j|dqy~H[ensVIjeD~Ixp^ymYV|jeD|i~@[ymYVvjxdqY}h[ingVJjldoIwP\umAV[j[dpiux[aloVFj`dlIup[UmGUtjWdviuX]AlcV^jPDyis`]qlEVjjsDfysH]]l?VhjJDuIr@\ikmVXjHDtiyxXAkaVTjDDsip`\MkUVSjgdaIy@Wem]UFj{d`I~XWYnsUDjlD_yzHWImoU@jjd_Inx\Uj{VUjmD^YzhVmmuT{i{DvinP]AjqV^iydwY{PV]nETuj}D[im`^ynyTrjqDZy{pVEnIToj{dZI~PUunuTmisd{ylX^UjSVsj}DXi~pUanyTfipd|i~@UUjGVvioTWYkTT}i|T\jxDUY}@T]naTWjvdTi|hTUigVmiZDpif@[ahmVFiYdpYe`[MheVCjKdUirXTqksTZigdfiiXXukwTQifDcyqhTAi]USiddbYppSuiWUNidDhyh@YYiQUdi_diIg@Yih}UhiTDOid`SQhUTBiRdPYdHS]hOTEiVdHidhQUh[SciOdKIePQMhCSpiNDjic@ZAg}UnjTdEybhYugwUkiKDnYbPZ}gqU}iIdNIfpPYhySViIDMYaXRmgcSyiGdmiv`O}luSOlTByX|[}i^XNmfurzx}K~A^dNsfxpOwgkSQHzC~a^ReHrSxe[jMUfJr_XoSwAZzL~e~RRhh{suYdLPegRFxbkpyX@KaeOtIid\QqhPShiRtHIclQYhFSaiOtGIb|PygvS\iMTEIbLPigjSViJTCiadPMg^SPiGU}B\|nEv`ZmluUzZ\\mivRZglrUxz[\mUvHZ_lpUwZZll}u|Z[llUuzXPkUuKZGlcepzXhkMuUZCleEojThjqt{YmlVenZW@imt}Yil_ejJTHnQvcYflSE{z]hievmYflSE|jZ@iQuqYdljehjY`iIuiYbljEgZSHlEtEZRlPEsjXxiQu[YdlgEhjBHlauqWVljeEJQhjAsmYqlJEkZU`hQscYtlXeczWPgYsMZBlCEpJOXkUsIZFlAEpjOPjut{Y?l?enJNhj}r}Z@k~EoJVHfirwYzl\E]zV@fatmXxlZE\zZxfYrgZ\kyevjMHlireZZkxEvJ\`eyv[XolueZzLXmevUXlltEZJ]heQvmXblzEWjK@nQrAZqkne{zIpjAqoYqkjekZI@jMqcYtkgelJHPlEqWZRkdesjGxiuqQYnkcEjjGpk}u_XCkaerjUpcEtoXBlZeOjFpjep}Yyk_EmzFXmYpyZgk]Exz\xbapsZplwEMZTPbUtWWvlTeLjRxbMt?WslNEKjDxhupaYZkWEfJ]xayviWllzEJJDHnIpUZrkTE|JCpmMpOZckRexZChmEvCWbkQEwJY`aAukWalieGZXX`uuYW^leEFjB`kauSWZlceEjAd`YojWPkHuCj@d_uoVWMkGUBzRh_aoSYZkCefJRp_Ut?WFlNe@jL@g}rSYPksecJR@eUrMYYkrEeZIXgqqiYMkiEbZPHcusUXNlDERj?PdioGXXk@eUzJ`^}qyW@knE?JwHJye@Q~h_soyWTFebvPygzS]IM||K|{^Ln_Frzvx{y|{^OnhFoJyHz}}c]PngfczqP|A}Y]MnGFrzpx{y}Q]Hnbfajx@wa{I^InBfrJop{mzy^Im}Fqznp{qzq^Fm|fqZnP{a|u\un]f\zv`vaze^@myfozm`{Iz_^CmxFpZwpvEzG]ymrFmJkhzey{^LmoFrzjx{yyu^OngfVZyPtqyo^CnbFUjjH{U}A\Tn`fTzwPtYws]ymLfmZbHzawk]zmKFnZaxzqx[]_mVfgje@yE|I]JnEFgzphyQzM\lmvfYZlpuazE\imtfWZl`uIyc]umhflzuhtQy_]snXfSZhxzIz}\Kmef_JhpwE{G\JmdF_zhHwI{y\?m`FfzrpsE{s[~nMFNjrXruxI]kmRfjjcpyuxC]nnWfHJu@qMxY[^mOfIzd`qAww[imSFFjbhqe{i[RnJFDZq`pQw_]VmHFeZaHxayE[LmafBzg`oyyK[ImEFQJ`Xs]wM[smCfLZ`@rYwG[pmBFKz_hrIwA[ym@fMz_Prq|OZ}m?Fhzspn}|QZznTe~ZtPnqxqZwmZe}Zf@njAsVCjatoywt[amNUgjTTiYstY]lJ]\nNVfzrTxq{v[LmFVBz`ToqwV[GmCv@z_doYwJ[Bm?v?j^tn}w@Z|l}U}z^DnivraOPAW`[OuG^CRaGp?w_{OUGBB~`}o|w^[NeFbBt`xouGY[LYEzBY`iowGXkMIE^B]`gozGU[JAFVBm`VoyGTKIqFJAi`roCg[k@YFR?S`ropgSKHyEVA[`cooGP[KQCZBA`Fo`GVkGaD~AE`\o_gVKFyDnA?`YokGKKJIBFAm_qoUgTKIiA~Ak_moNG`{CAGb?}aHpAgF[Oq@nCG_[p?gE[OY@jCC_WoIg]KAyFj?k`xoEG\[My?zBk_Lo?G`{?QGb?AaHn}g`J~yGY~{aDooF|KKP~VBA^uovF{Z}YEq~c`lowFzkLx}~Ba^oopfzZ|aEU~U`cnsGSZ|QDM~Q`QogfxZ{yDNAc^enpG^j{aGA~E`~noG^J{IFu}}`znmGVjziD}}{`\omFu{JX|fAs^YnhgY[LX|Q}i`injGXjzAEa}m`foZGQKHQBb@m`HodgK{EiCr@g`LoOgCkAaAN?e_aoQGB{Cq@F@I_Oo[g@k@ABn@s_FoAGNk?iBr?E_|n|GH{DH~q~u_goTF|{D`~f@U^wqO?BgAC?~Ab`RohUezRlhqs~Y]lOUgzSTiEtHYelQs^YNdFycBP~h?UVJJtduqrXZklXPcgeSRIHdDqaxP[dIRbHUcyqTHM[cqRnHycgq]HH{b]PrGtc]qNxF[fqPRI?cUq^hD[gIP^IEcXq`HEKcYPjGuccqMHH[bqQNGycdqNhHKTqRNHcaopVhLKaISFGcdBqHhOkfqOzG_d?q^hB{^MNnFtbwpzw|k]YSFFidBpyHOk]ARzFcd?pwhN{cqMvF]cfqSGzkdIMjHSbjqTgzKcIMFHCbaqOGw{ZqRnHyb_q]Gv{ZYRbEycypmHM[cALbEscapkhG[eyLVHkbVqYgtkeaLJHebSqXGs{YIRZE]cvpgHL[VQQ~Haa{p\hKKdiJ^Dqcmp[HJKSiPRDMcUpRHD[SQP^DGcXpPhEKQIQ~C_coqWgckdaHVCgcmpHhJ[[iKrE[bepqGr[[yKfFQbJpsGqk_iKZGMbFqBGqKWYOJEIcCpaH?{^aIrFyajpUg~k^yIbGAaiq?Gi[`AIFGQa^qDGgKRaJRC{aupMgl[RYJNCqappLGkk`iHZCocKpJhA{PiKBC]bApFGo[ViGjD{aJpEGn{xg?a?T?Hrh_AG@S?e?V?L_EOBG@k?nGtc[qLxF{bmPy|p]yn[vmzvlzqmRVJjdTrIxt[u{n]XnKVdJqtxVD@a`pNwf[RuHrCraZpLWdkREH^C`aQpGwc{QmHRCVaIpEWbkPmG~NsgEr}IAK~Y_^NmgHr{iA{~A_jNIfprrh{{{q^JNEfmrqH{K{Q]~OGf^sAhwK{I_NMwg?s@Hv[zq_FMsgIrliA{zI_fOOfRsBht\?q\RMuf\rkhvkzQ\rMef^roht[ya]BM]fOrehskxq\FMkfIreHt{xY\bNoder{hXK}yUVNWfAruho{wI]nM?fcrpHn{{YZzNMe|rrHnK{iZnLofgr\HykvI]fKmfprKH{{rI^JKgfmrJH{Kqi]~NweRr|hck~QXFNyd{q~H~{~qVvJqfsq|h|knQ^VJkfgq{Hykmy]fJefjruH\K|iVVNidqqwH|k}aVFJYf|qvh~klq^~M_dWrhHUkyITfIufIqmhrKxYTrOEdNsAhS\?aTBIWg?s@HRkhi_FIQfNrehQ{hQ[zMkdEqcHuKgy\^K}egrRHfksyXvKsehrTHe{tYXrK[fFrGHq[py[bKUfCrEhpkpa[VLceGrDHlKpIZNLid~rZh_[uqWBJSenqthkKlaZFJQemrUHX{lAYvJAeDqpH`{kYWZI{eAqoH`KjyWNIcebqiHh[iYYRL?dVrPHTksITVM`fQrgxqkxe[m?\?O_FoBg@{@BAl`SoiwT{JMDatNYhlSX[KmMVJJZdnqvXP{hESZIRdIqdykLTui~TXijtUyKTSebHTDgoTPyYTQEhDRViQStYXdQ]e`SjhfTIYcTJMhHQphVTGYctIehTQjiSSjYStSui\QbhQTQyiDHuc|TThOTSyPTSUc\THhETPyedG]hdQDhCTLyddF}h`QBiVS_YMTRuhpPvgyTMyftEuiDPpi_SZyddDma|SngmTKYIdRMapSvgjTLYHtT]a`TZikSSyHTT}aXT`gcTVYiDCUihPBgbTSyhtB}a@TJg]TRYfdBmhtOvi[SMYEDR}`hTBgXTOY_TOegXSFiATAy`tNugdS@iGS~y^DP]flSXh|TDYbTNEg|RtiMS{yWtL}eTRbhoSqYWDLeeHRZh`SvY[dH]fPQZhrSeYQDMmchRnhHSzYVTAmd|Onh]SJYUdAUdlOhh[SHyCTFm_|P|gOS]YKt@e_xPjgLSYXDKauPVGncXqKVnzwDzzCTaKpDwb{PuGvWykSuJJFlaip~Wck\uHjF|aIpzWokHuJjAL`QpfWukFuAjFLbQoZX?kAuPJ@LcIoNV}kdu?jG|_AqRU{kYtoJFLZypnWmjZuKiv\bAlrTykbt^jH\VqqRX?iyuPInLcIjnW[j{uGI~l`ynvWUjxuEi}|`anjVGjotrI{l[inFVAjltpiz|[QmzVkjQtiI}LYYn^U]jrtyisL]alFUSjVtiiq|XIlZUojEtkip|XAljTmjBt[ip\VAkRU?jKt`IrlWIkvVSistuIll\YjVVMiptXiyLUQmfIfdSqhXT[i}TZThittZYk|UUjFZklrUyz[TmmvHZjlmUyZ[Dmeu|ZhlZUsZUTlUthZRljUjZUDlet\ZZl@UtzZTg]sHZXlgU^ZYdgEudX~loU]ZZtfmuxXvkwUxzMdmUrdZblCUqzXdgusTZNlaUbzXDhMuLYPlOUYzLtiUrXYbkqUhzLDimrLYhknUnzKTkMr@Z@kkUmZJdjuqtYzlLUSzIth}sxXTlKUSZHdh]q\YTmOVKZbtq}wx[rmQVJZcTqexL[jm\VDzftpmxx[XmYVCZfDpUxl[RmcV?zhTn}w@\Fl{VOZ^dsUvt\BmBU|Z`Dn]vd[DmDUzZ]Douw\ZnmtV[Zmdu}zX\rmzVXZnTuezp\fmnVRZkTtEz@\NmhVUZittuyh\Z?@Vbjng?Y{d]@?AVcJnw?Q{D]HnE?@jo|wg?D]D