CAT(3002,2)
Sparse6:
:~?my_?O?G?CBk@^?p_WONWFcBm@v?|_]OM?ESBg@f?x?YOM?EkB[@t?u?[oROG?CmAW?}_^_QgGWCiAW@A___QwGcCYAJ@F_coQGHcCiAV@X_lOUwJKDmAt@L_foRgICDEAd@R?jOU?IkD[Ah@g_tOYWK_DqBC@]_p_VWKoD}BI@`_r_WGMwE}B`@m_wo[wMSEuBV@k_YoLwEsDaAl@V`?O_gOKGOC@AD@@O_oOKFiBx@z`@_^WOgF}CG@}_{_\GN?FYBi@v`K?VGJkDyA~@`_oOeoRCHgCzAX@MO`_QsG_CnAF@Ioc_RCHgChAX@HobwQKHACuAK`F?fWR_GuCQAU`D_dwPOHUDeAa`PogWTSIqDVAc@WOh_USISDbAo@NOk_SCJCC~Af@VOjoTKI_DZBD?yo\GMsK]ELBD`aOowWSJOEFAr@aOlOWSKED~B?`b?mWVOK]EIAz`]?lgVoJaDyAv`IodwQsM?EzB^`nOr_ZSL?ExBZ@fotwZCLeE}BU`m_tGZoLUEeBY`g_vGZWLIEXBL`doq?ZsL{ETB\@coJgDsAyD`Aq`WorWXcKmGAB}A?O~o_CNwF~B|@zo~?]kNWFvB{@po~O[kMOFvBq`yO{w]gM}FkBo`w_|w\kMyFXBi@{OyO^SMkFrBe@{Oxo^SM_FrB~@pP??[CNwFBB_`oowgasP]GpCRAMPF_akPsGhCAAMPF__[PsGBCGAGpAOaCO[GdCIAKpB?b[OkGtCLAAPBo_sOwGJCgAVPI_eCQcH^CjAQpJOc{QoHLC^APPG?ccQCHFC|@`oogWcBa@t?x_XOLGE[BQ@d?r_YoLgE{DMAj@S_toZWLcGYCPAF`YOlWU[M}F`Bpan@T_iSTOIjDVAhpSWh{TAIWDNaf@SWhgTAIQDQad`Swi_SiIWDFaf@PghgSaISDAad`OWhGSAICDCa_`PWg?SMIoC|a^`UgfoTeIiC|a^`TwfoTYIGCyaa`MwgWRqHsDEa]@PwfWSaIoCpaX`UgjGRIHgCvaZ@MWegRa@Z?j_UPd?D{BA@b?o_WoJwFsB}A@@B__oOgKcEMBD@d_rOXwM{FeBp@{_|O]wNkF}B|@u_yo\GS{IeDPBP`hosgXCKiERCOaHPCW`SOqGVEwB^Pm_wCZcL~EzBYplovkZoLlEvBXPl?ukZKLlEwBVpm_uKZcL`EkBXPj_ucYsLfEnBSPkOs{Z?LLEbBSphOt[YOLTE`BSPg_ssY[L@EbBMphOrsYOK~EaBMPe_sCYCKvEVBNpeOrsX_KzEUBLpf?qcXgKjEUBHpcOqkXGKhEXBHPe?q[X[KbDZBSpVOt[ToLTEAB^P_ov{WOM@E|A~p_OvcW?LvD{a~P^WnKVmJtDwBGP\_psV[K^EMAxp\OqCW{JhEJAwPbOmSWoJbEJAupbOl{WoJ\DiBDPZ?pCUkKREDArp`olKWWJPDeBCPX?pSUSKREkAppj_kSYsJBD^BBp`OjsU?KLGZ?QoHwCsaO@P?i_SqI_PcGuC\Au`ZomG[sMaFNC^aOpGGj[TuIxDaappWXFwbYPpGvcWAKxEObUPaGscWAJXEOa}PaGmcTAJXD_a}PUGmcSQIXC{a_PtGzCSqHpFK`_MBFACLPopBK_{PHGeCGqHPAC_oPtGzCFQBPFK]wPfFoCYpzpEcagNZGkBuQIo|[]aNTFhbrPxw{kaCNDFcCPpwpCS`{N@G]BoqG?z{\wPBF\CPpv@CS\cO|FZCOPu`B{`oMnFWCMqEoys\KPlFTC[Pt@E{`kM`G[BhQFOyK[sPHGeBfqHOxs[gOpFKCKqE_x[[[OnFHCJPq@Ak[SOnFCCIpp`As_OORGDCDqA`?[^oOhFzCHP}`A[_CNpFxC@Q??}{__NhGFByq@_}s^CNzFrB~p{_~shc@H?a_PoJGDkAm@V?k_Uqi@Ssi]TJIddRqhhSOhqS{IcdPafXSGiMS}IcdOAghQKhIS`ILdFqbhS?gmTAIKdNaahOwhuSQI[dCAfhJwhiQyIZcnAeXH?hmQSIYccaeXQocUQMIWcbAdxQocISoHCdJaOxGGi]Q?Idc^ahhFkbyPxIRDAQdPOshOSJI@C|q^PO[gGRxH}C{Q_@NSf{RrHtCvq\pMKfWR`HqCvQ\@LcfKRZHdCrQXpK[e_RHHhCoQY`KSekRBHPClQV@I[dGQvHSCfQT`ICdSQ^HJCjqRPJKcoQp?d_RoHgCsA]@J?i_SOIWDCAi@RKABCPagpKWuKVEKbFPcGp{TmIxD\cdqRXHcb}QBH?eFRCH`{o}W`KMd}A{h]?nyVaJ|d}A{x^onUVyJsd{B?H]ooEVmJ~d|b?H_GniVqJ~dYB?hUooQTiKBe@AzX__m}WEJmd{ayh\_nmVUJydqQxh[kmIVFJ`doA{xZonQU}JteGauxaWluWcJ[dkA{HZGnIUsJpdia|xYwnaVkJUeCAsh`OlQWQJRdgqrxYCkwWVKLDeRB@Xkk?WVKLD`RB@WKj{WNKDD]r@`VsjgWPI{EDQmp`Kj[WJIxEBqm@_siyT`IndWqkhU[iqTZIjeGaiHTOpMTQKQdraqXXWmeUSJgd`aphWgkaUGJF_POHGC[AM@H?aewaDXA{`YOpGYcKqFhCC`}PBGbcPQIHDKa]Z_LgevbYXlOuyZULmewBZXlwuqXLKgeRrXPl[u[ZZLeEuR\@kSuOZlLtEprWHkKt}YfLTeiRY@hSugYXLhEdrPhgksQZcL@e`b[xmGsIZeK~ewbOHmOryXuLse]b\hf_vUXoLve\B]XfGvaZuKte}BLhnOr]ZuKqe}BKxnOrQX]LxeWb\xe?vaZyKkeVB^xdgvyWvK[eLRFXb{pyX@KaeOrHHckqMWmL~eKb^Xb?vyY_LZekbShjOtEY[LVefbThhgtaYML\enBQXj_saXQKSeTbDhdOpUSlIWdJroXv{{A\\MnfUrihtcym[tMWfKrb@xsww]`MLFfraPxswk]`MIFfr_XoCwI[FMDfAR``x[w_]ZMFFeRnPuCzG\|MpF]Rhpusyc\pMgFZrkpsKzS\FMsFPRf`vKx{\vM_F\Rf@w[xs]HMZF`Rq@qk{g[nNHFJRc`wkxK]LNFFIRcPscyW[^MOFQryX|[}i_@N}f~ruxzS|q^iNwfzb}h}o~e^GNzfpb~H{g~u^?NefsBwh{G}]]yNqfyBvx}W|y]mNnfkb{Xz?~A]gO@fjC?xyh?I]cNmfhbzH|g|ETDIcdPqNHFsbuYxL]emrUXj[tiYpLUejrDhakpQWrKWeJrshy[|E`oOsgYcMYEpB]`kOpgXcLIEhBI`mOdg[cHyF@AY`GOogPcJiCPA}`YObgTcHID`AI`UOLgUcByD`?y_}OdgOcHyC@AY_xO]gMsEYB\@i_cOhgTCCIAHAa_UOggTCBI@PAe`_OGgCcJyDp?]_IOpgACKy?pBI_kORgIcEIA`@]bSJ}d}Q~X_KoAV~JPdgQrxTSiaTRIkdUqixvczy\zMyf\rmXusz]\pMrfYrlHrCxi[rMNfGrcI@T?q_VQLHBS`qPdGScVQGGxsaaMlGcbhPwGxs\QMtF[bhQDGws`qMTF?cLPnG}SZaNtEsbzPlG{sZqN\EwbtQAGtSZAOdGKbVPkH?S^qL\EgcBPJG}S^aHLFsaTP`H@SWqOdEGcFP]goSVyJ\DuaxPWGzS\qJLF_atQJGisTaPdGsanPQG~sTAODDKcBPNHCsSQPTD?cPPKG{sRaN\CsbtPfGbsQALLCWbPPBGrsPALDCSbRP?GwSOQMTCGbbPcG]sXaF|ES`|PcG]SXaF\ES`tR[EvR[Hl{byPxG|eaRPhgk}Y^PNffqrxH{[|q]tNZhtcxI\hMMfWRahoCwi[HMQe}RbhmCyIZpMieyRhhqcvI[xLyfKR\h^CwIW@MEe}Q~h]smyVdJadtQxhtCly\@JUfQQuhYCzYUPMqdeRjhqciY[xImfKQihPcuiShLedGRZhOCuYZXIIesQ`hMctiRxL]c{RWhLCuIR`LYcuRVhKctIYhH]coRRhgcdIYPHYe_QThhCcyYHHEe_QQhFCtIQ@LUc]RRhbcrYXxKeeORMhRCoiT@KMdMR@haCjyWpJEeIQohdCjITpKqeUQliZDJydtQuhTSkiTtKq]|RSfrSsH{TKq]dRSflSsHys{QeLRGfdRrIWTKa\tR?f^RoIWtEAcdPghLSXIQtHqalQcgnSgIJTCa^TNoghRzIHtAQ`|PCgVSIIGT@ab\PogPSFIMtGa_dQKgJS`I@t?A`tOogDS@IEs~qcDNsg~S]H~SXIKtEUbNPhgsTQAkDSgjDTHIotVYj|TyixTZilTRQklSojFTJIqTWqfLUOhvTdI\TWae|U?hpT`IZTTag|TSiJTSIbTOahtSOi^TBIgTNqi|SCirT?IkTSQfdTKh|S|IhSsIYTLEehRThhstiZDL]erRZhlTXao|U_kRTfJCT_QplWKk^UAJFTaAntW?kRT~JBtaan\WojzUJI}T]AodVckJTyJBT\im|VUjhTqixtaal|Woj`UJIwtZQp|Wwj\TkJEtYQodUkkLTiJAtKYeTRAhjSsiXtiytdYulPUijStjardZ?k|UnJMtjarLZ?kvUnJLTeAuTXWlfUVJWtkqq\XSldUpJITgaslYOlNUbJRTcAr|YCkdU_JGtqQwD[GmVV@JdTpavl[_l~VFJ^TmaudZWlxUzJYtmQwdZ[mJUwJ`trAyl\[m\VLJjTrqyT\CmhVOJhpMgfcRmNpFxbzp|G}s^UTlItdYQlxVKja[PMFfBRchq[xQ_POHgBs@I?t?UdbQohVsjYTdIyhtSzi[tLifDR]lDUcjPtfysLYAoSWAkAEAZ?X_aoIV~kBE?J?x_EnwWAkAD~j?X^unqW?j|e?Y~P^}n{Vuj{D~Y~`^]nuVrj{d|I~P^UnaVsjxD|Y}@^MnoVmjvd|i|h^]n_VijwdzI}P]mn[VgjvdyY|h]]nGVfjrDyY{h]anSV`jpdzI{P]mnGV]jrDwI{h\}nEV]jpDwIzx]EmoWGjkeAYzP_ioIVZkBdvZ?p\qp{?U_KODwBS@m?rXI?NOFGBld??~?`_OPcWqSXMRFHdcqQWHKSeEXdKseXrJxeKrA]nNXfkRtHys|UadPSghsRyILDAg@SAi?s~Y^|NyjXTmiutYYl\UilhUtjZTmYvDZ]rmXyk}E]ZN@fmr}Xuk}e\ZNpfQrcXvkxe]ZMHfarkXnkyE[JMheyreXjkweZZMPeqrOXmkseZzLPfArUXdkreZZKpeqrOXakseWzLPeQrMX`krEVzK@eUqwXaknEWzJheQq}XXkleWZK@diqwXUknEUJJhd]qiXYkleSzI`deqeXUkiEUJIhd]q`XQkguSJITdEoYXNkDeRjHh_qpoXyk}EMZFPfmryWtk~eLzNpbYpgXJkXERJEXcip]XKkWEQjEHcmqOWkkbeJjHHaupUXCkaeIjGpaepKXCkbEIJGha]qOWbkQePzC`cep?X@kPEOzCHcIp{W^kNEOJBhb}osW}kMEOJBXb}qAWWkKeOzGP`]puWUk]eDZF``QoaXMkHeRzAPcuo[WzkGENZ@xbqvK?I_EOAw@k?}?\Zq?GOCWATn_?f?T_IU}J^TnevpZyl{u|RODn[sDZuL?uwBTTmCtVZaLUUwBTlmGt^Z`LVUiR]Ti[vhYgLxuhB]TiWvfYdLyUgR\|iKvbYaLwUfb\lh{v\ZkLOUzrR\hsvbZoLMUzbRDmostZlLKudR\LmksnZiLJUcb[|hKvPYSLrUbr\LmksbZiLGUbb[tgsvPYKLruar[lggvFYHLqU|ROtg_vnYFLzUxROdmKsJZcL@utbZdlSutZSLluuRY\l_ubZVLhUrbXDkcu^ZILgUqrWlksuNZKLbUnbWTkOtxZBL]unrVLk?tvZ@L\UkrZll{tjYsLnUlbUDj_tdYvLWvR?As@a?n?W_JoDgBS@m?r?Z_LOEZjo@q?z?]_MOFgBlmAvDZ`mqFVjkpuAzI\^mqFWZkXuUzK\amfFUjhhtayq\KmkFRzjPtAyq\PmlfSjjhtQyw\RmlfTjjht]yw\TmAV@j_lo]wR[Gm_fWjgPuMy?\`m]fVjfxuAx{\^m\FTjf`t]xu\Tm[fRzextExo\OmfFLjehsqyY[smXFTJiPrMxa\Rl|fQzhHnuvw\Im?FQZ^psmySZ~mVFPje@sax]\FmQfIzdhq]xW[emPFIJc`qixE[hmOfEzbHqAws[^mJFFJb@pywm[\mFfDJ`hpUw[[RmEFCjaHoiwU[Om?fOz_XsUwC\C_DOBG@[?i?X?J_EoBg@{?u?^?Mn__CWAS@A?b?O_HVQZh\sipvW|k]UPJGtcUqNXHkcURzHtcu}Q^AncFozwx{E}M^CnbFqZx@{U|_]znWfnZv`y}|w]qn]flJvXzM|i^?n^FlzvxzY}?]wn^fmjvpze}S]kneFjjxXyu|Q^CnbFiztP{U|M^BnSFoZsp{I|o]bnQfmjvHyQ|c]_nYFgZuXyI{y]tnNFlzrxzY{s]nnWffJu@xm}e]VniFeJyhxe{d]RnGvdZqtxQ}g]MnGFtZpx|M}S]JneFbZxXwq}c]HnDFsJyHwa{I^LnBfrzop{y}Y]AnAFrjxxwMz}^OnhF_ZyHwAz^\mmuv[JmTvEzf\smyv]Jmtv]zw\fm~FYZnhuazq\im|fZJnPumvJZclpuzZ\tmqv^ZplwU|Z]|nY~O_roYfykE`}e~y_in~gJJ~qAn@i^{n|GK{E`~n@S^voUF}[DX~a~g_lnzGJz}iAz@_^pnxgKj}QBF@]^moVF{KDh}}~U_qnugKZ|aBA}x^]nmvvz{L}A~H^anpvxz{t}V?k_foSgD{AiAb@G_QoIGHkAYAV@A_OoPgC[CQ?~?[_ZoEgF[@a@r?Q_YoDgEK@Q@f?O_]oOG@{By?Y}k_CnkG@Zyy?N??^Xo@Fu{?H|j@m`fo[GYKEqEZBC`\oogV{KADzAs`doqGVKKYDnAU`noeg[[HaFBAS`lovGQKLaCfAm`EokgP[JAC^AC`PoaGS{GYDJ@}`TojGO[GADRA[_{ogGNkHyBv@q`hotgM{FQEjCe?^_OoGGB{AE@@YilUUizTli}t\\xm|v]jndvyzzaaPMWhCRuILCzaYPOwesSEHdC~a[PJWeCRuH\CzaXPHwesQmHhChaQPIwcCQ]HDChaOPJWdsQMH`Cd`wPNw]cSMFdD@`vPQW\cS]IHBj`qPDWbCMeFLCVaLPBwbsPMGxCPaCO~W`SOEGXB~a@O|w_sNmGHBxbQ?IoCwAc@Q?j?RmkvUjjDtmyx\\l|u~Z^dnyv~[?oOwG{CU@z@@_^oLwF[Be@b?t_Xo?W?k?M?V?H_Bpygw[]YMNFgbapwgvk]QMBF_b^plgx{ZiMfEwbgplgxk[aLrFIb\puguK\yLjEqbmplGyk\aLbEqbjpogt{YqMNEibapiGwKYYLzEcb^pfgskYILNE_bSpfgtkYIL^E_bTpQgqkSyKnDKbHpwGpk]QKbFabFp`g{{WiNVEGbsprgoK\IKJFOb@p]gz[\yJ~D{bmpqGmk[qJrFIazp[Gyk\aJ^DqbjpYWlkUmJJDfappWGrKXqIzD]bLpdGi{TiKnEQakpSGrKXqIjDQbLqaFmzvlzq||^?n^wT{JMDbAl`ToiWSkIMDNA\`OofxPshmSdI^dGQfXPshUSdIXdGQdxSsgeTTILdSQaxPCiETHIJdEQgxSscETTHDdSQOxFShuP|I^c]QexEciMTHGxcZQgXQca}SpGrdJQKXC[a]PJG`cMqFxOc`eSLGZd@QDxNc`MS@GTcGQ^xNS_}OXHvcDQ]X?cf]RtGHc{Q@w~sfEODHrc?Q\W~CfENxHtb|Q[w}sg]SHFrbyQ_xOC^ER|Flc}PzxJSd}RDH\ckQWXLCdURLHVcqQSxHcemQ`HncfQZXDScmPXHFcSQQXfcp}XFK`eKrFXb[jyXnJAe[qoHf[rYTrI{e\qmhfKrATfKqdZrLHUkiqXbImeYrKhUKqqWJK?eVrIh_[kQVvJ}dcq~HW{naXJKgdzq|Hc{mYVRJkdpqyh[kmyUzJqdoq{HZ{lYWZJYeGquH`{pQUjJOeJrChY[oiU^KGder@hX[XMKjEVbKpfWr[uA[bLcfIrWhq[veZzLzezr[xmkxaZ^MYewrdhlkxYYFMYebreHgkxAXzL?fIrNhq[ti[VL]fFrVHpktQZ~MAekr_Hi{syZNLiehrSHlKwQYRMGeer`hh[fURfHpczq]xNKfuR~I@dBq_xOk|a[zN[fOruhr{}Y]fNgfirxHy{|y]ZNafgrwHx{{Y^VNmfcrqh|k|i]BNWfarohzkzm\~M|fZrmXukyy]~MqfprkH{K}y\VMkfuriH|[yI^JNefRrhH|KrEXjKreZrMxfLA]`VOhgQsGyCL?a`ZOogEsAiD|Aq_FOogBs@ID|BI^zOug?sLH~|BI^nOuf|sLH~L@i_nO]gIsFIBK~A_^NsgHr{iALBaarO{gjsMiJ\DqabP_gisViI\EQaJPGgpsPiK|Ci`~PMg`sRIGLFQbvPwg~s\iNlFIbRPkgwsYiL{QEHFCdckqUxJkdMQnHTebrOxgkruYBK~gIsEYA|@M_bONhYShYTDJMdLQphNSiySTI}d@QlhSSeYStHmdHQ\hNSdySTHMd@QThESeYQDHuc\QZhEScyPtHUc`QVh?SkYUdGUcDQrhTS`yPTI}cPQlhx?BoAG@MK~E`bPqwx[km]UzJ`dnriXt[yu\FMffQsMYFlBm`~PBg_tCIa|PQgvSQiKtBicLPqgVSKiNtCI_lPQgRSQiBtBI_\Oyf~S?iDs}I_lNqgNRyiCs~I_\NagBRyh~smI[|JYfVQyhsswIa|MQgvRaiKsuiblLqg~R]iOs|iZLLQffRUhysri]\NYebRQhyszIXLKqfbRIhvsxiW\MieNRghasnI\lKAfbQ}hvt__@G?s?VUAi`tPIo|SAkJSyj@tNio|RqkJT{iZtMIoLVyhjSmizt]ieLRIjrT{iSt_Id\VyhZSaiztHinLVihJTiintZik\UqjBTciktYIj\UYizTUibtSih\TQiRToietSImlSyje?N?G_CoAW?{?bVUjcTsYyd[]mdVDjdTsYyd[}mdVLjXTqyut[}lhVLjUTpYuD[el\VFjRTnytT[MlPV@jOTmYvdYUlDUzjJTaYrDWukhUJjLTbyqTX}k`U\?C_Ao@g?c?Y?JkKSxy\\MefZRphvuDj?|`QoVWGkHuDj@l`AofWSkFtzjB|^IpFVokOu?J@l_QobWAkFu@i~\_inzV}kCuEI}l`qnrWYjztzJBl]iovVgkKuFi{\aInNW_jqtuYy|\mmzV`jnt\yn\VekBT~i}uKJKLbQrFWqkquPJK|cIrVXEksuXjFlcArVXgk^uWJE|eQpvXak[uHzClaepVWlkVuUjH|dyqfX[kguQJIldaqZXUkduZJQLfAsjXmlHuajN|gysBYAlEu`jNLgQrzYGk|u[jQ|hirnYWkyujjTLjItZYolTufJS\iAtNY]lQtsYy\\UqvX^kmuTZJLd]u`Z@laUrZXtkMuLZ@laUqZXTkMthZLlZUrzVDlEuLYzldUnzXDjuv`WTkJuCzP\g}sZYHlBu`Z]dnuv`[@lxU~z]DnevhZzlxU|z\Tl]uhZllhUzz]tmUvpZfl|UyZZtn}vD[@loU~ZZDm}uxZjllUzZddoqxN[ImTvAJdLqiwF[EmRvIJ_lpAwv[]mFvFJa\qAwj[cmKvGja|ryxZ\AmWvOJd|rQxr[um]vKjf\m}vZZjmgVPZids]yP\RmdVSzhttUyX\PmRvIzdG?IzD\V?BVXjjG?QzH\Zmp?@Jjlu??D\fmnVX??~