CAT(3078,5)
Sparse6:
:~?oE_?O?G?C@k?b?N_GOCgA[@Q@k?k_TOIwF_A]@R?g_TOJGD[C_@~@@__ONwGKCA@t?z_[oNWFcBy@q?{_\_NWFOBy@Z?n_VOKgEKBA@f?t_YOLgE{BaBK?w_ZOLwN?EeBV@i_soYwLSEiBV@h_rOYGK{EYBP@f_qOXWK[EQBJ@b_moVwJsCSAv@[?boU_GsD[Ad@X?hoU?IKCwAj@N?iOS?IsCGAV@K?aOROG[C_B@@a?dOQOKKJO@J?e_QOHwDKAa@P?f_SoIwDcAiAJ@F_bOVGJ[DiAd@R_goRgICC}AP@I_coRGHkCmFkBR`iOsgYcLIEfBU`iotwYkL]ElBW`lOuWZCLeEtBW`lOuWX{LEE`BO`gorwXcKuE\BJ`coqgXKKmETBK@`opOXsKsEHB@``OoGV{JyDzA{`\omgVOLUDwBV`\_tgTsJAD^Ap`XokgWwIeEOAi`b?iGWoImEOAl`b_jGSgKMEIAe`R_pGUGKADcBA`X_oWUwIIDGAx`[?gwT_J]DYAx`T_mGSGIMC}Aa`Q?gGTOIADOA``S_fwYWF]Eg@t`h?\gSgFMDK@s`R_[gLwJQBaAu_w?lWRKHmCtAU@VOk?RCI{CnAR@YOdOUsHODjAO@]oc_V{HCD|AM`EobwPKG]CPAK`DoagOkGYCH@z_}o^GN{GAB|A[@?o_oRsHsCD@w?uOZONSEwBrE?@NogWSCIIDFAc`SoiGTSBe@v?y_UoJwDsBA@d?p_WoKgECBU@f?s_YOLWE[EqBZ@m_vo[GMKF]Bj@u`EobgP{GMCDA@`BO`GOkFiBp@xb`@nwwK[AM@E~b_pngvcZuLsF?b\`oWvGZ}L\EnbUpiGtKY]LNEhbSPhGssYUL[EcbU`hWtwYYLBEbbPPm?rsZ[L@E^BZPegrCXeKrEYbKPm_qcZkKfExBHPbGpsWuKYEub[@bguwWqKKEHbD`aGowWiKFEDbAP_?qsWCKnEABIp_?qkX[KDEUB?pkonsZSJ~D|BYPn?nkZwJ~E|A~PbonSVkKbEOA}OvWZcLmF@B]`no{ou[NOLjBtBYO{OsKNGLFEa@wPao\kMwKTBnBCpj?m[VCLTDqBTpZ_r[U{KzDoBMP]?ksV[JNDxAqp\_jsTsJhDtAmPUOtSTgLVEkAlp`Oi[TSKHDSB@p]_iCVoIdDzAgpk?hsS{LdDLBWpbog{ScK`EPAcPk?gcZGILEpAapOOusZ_IFEvA`P]?e{RSJrDvAZP\_d{RCJhDtAWPIOuCQgLdCjBWpJGdkQyK{CeaS@gGrwQ]HFCdaQPGOvcQ?L|CaB]pFWbsP}KwCYbM`FGrWPmGcEtaH`lGuWPELuCNb[`CGvOOyKcBy`{`dGqWNmG@C@`~o~?osNsKPB}BBp@G_SOMGJCFaBPAG`SOeFMBk`s_yw\?MiI}Diao`YGk?UeJUDaau`XGl_UMFKDWaj_xWioMQFCCz`o`NW[WRqH{CVa_@EWfwPaGiCqaY@DGeWPYGUCwaE`Mg`_ReISBwae?|ghWN]TW?a_PoGWCSAM@BDsazP\WnKV]JpDya}P]wnsVuJ~?e_QoHGK[EUBH@A_`oPGGSCQAF@__ooWgI{DeAp@\_noVgZkLmExB^`nOwG[KMMFDBb`pOwW[cMYFJBc`rOxW\CMeFNBi`uOyw\SMqFVBl`vozg\kM}F\Bp`xO{G]SNEF`Bs`yo{wkkU]JLD[anPVWiCTIIbCjaTPIWdkQyHXCbaQpHGcCQEHDC]aNpFWaKPMGdCKaEpAw`{OyG`B~a?p?G_SOMGHCDaBp@g`COiGRKrELREXbCoqW\KLeEBKH`orIWYKpeDRAx`KqsWVKnECrJ``SoYWPKFdyq|h]cnaVrJvdza}h^GnqVoJzdvqzh]CnEVdJrdtbKH\grIVWKpd|AyH^_miVuJhdpBJH[_qiVEKjdmBIhZoqqUyKjdeaxXXwm]U[JeeUapxdwkaX[JHdiaoXWWlQUCJRdjAoXZ?kMUmJAdwanhW?nMT}JqdbAnHWgjuUGIzd[QmhVKkgTpJKD\QqpVKj]TlItdZBCXUwpATiKNdXQlHU[imTRIidSqihT[iIT@I`dQQgxSkiYTPIfeUafXRoq}S}KmeNafHROqAW{IZdJbDXawhaSqKUdIBCxQopQSiKQeFadxaGheW_IWdHb@x`?hEWKIQdNAyH\GhuS}Jidqabh[whAVKINdFAvx[GhAV?INdkahhZWi]UsIgdgAcXYOhISeJPdDarXXoguSWJNdUQjhTki}T`IpdCA`XPOg]SQIEdUAghSGiyT?IldPajxSgjETGIocDB?H_O_mWAGKcCA~X?wn}OQJ}dABIXOWqaSCKfc~amxOGjuS?I{eQA^HNoqYRyKdePA]XcWfmRsK`dEa]HP_f]SUHucwb?HMOoIWAHocua~XLon}R]J}dCAYhPOemSQHkcra|X]oeeROJsdwAXX\weYV[HcdoAUxJ_mEQyJ^cia`XIwg]QkIEeMARxIGpmWyHOcebDXawcqQ[KUc`anhW?cUT}HCeWaMhF_rAPuKqdbAMXW_baUIGvcZAsXE_lIPiJOdkaJHZOauPUJZcRbHHCoqYPIKde@aHH_gaIWGGbcNafHCGhmP?IYdIAFHQg`uSkG]eHAEXBWpQOsKRdjADhZ?`aUmGVeKABX@wpiWqGMb}BFg~gqANuK^b{awh[W^aNsJceP`{g}WqEXCFsdt`zH\g]uN[JkbsAvg{olqNMJ\boAkg{OjMTgF`blAsxYg\qMuJSeL`tHbg\YWwFTeA`sh__\EWEFRbfbIgy?qqM[Kjdd@qwxgkqUUFKbbbIGwgqeMKKfbcApwxGkeMSJGcbANXH?b}QMG}ckAJhE?diQqGncSAOHDOcIPQH@cGAQXAOcmOaHIcA@~h?o_AOIF~cx`|XMg^]RgFubwACw}G`UN]GSbsa?W|W_MNSGAbpaKW{_bINIGrbmaWWzweMM{HabkaVxK?\]MoH]b`ASgw_dQMEHRgvAaHPSgeS\IOdFqcXQShMSnIXdKQgHSSiETJIbdQQhxTCiYDNAd`ROiwTcIuD`Am`VokWU[JI@Z?n_VOZGLsEuBb@n_wO[gMcFMBh@r_xO\WM{FYBv@{_}o^gOCF}RFHacoqXHKseURPHfcsqPxGscaQ@HAc_pvWz{\yMpFXbjprgyC[}MJFFbbStqYTLMebRThiStiVxKye_R?hfcoYVXKudsRJh[crIVHJYdsQwh\clyRpJ}d?R@hNcoIRXI]cyQhhMCiIPxKacaRIhGCqYPhHqc[QZhMcbITHGmdMQIhSCaYWhGAcCRFhbC_YRPFYcoPthKc\IQ`FYccPshHc\YW`FMbcRBgwcoiLpKeb]RIgwCqIOXEyb]QDhAC[IL`JMdiPjguclIUPEidaPghWCYYTpEad]PigscjYTPEmbYQkguCiyNXE]bIP{g|CXiKhFubKP~grc^iJ`KIa{RBhaCVYJHJMauQtglClIOhDMcEPThACTIRpCiaWQ_gdcfyGtCUaHQLG`sbaGTCCcXO}g^sOIX@Bi`qRIg[CqYEhJq`mQ}gZCnYKPBQbGOqgpcKyV`A}d{Oph]cKID`IEdEOmgUcgiS`AMdKOchQcHYU@@u_}QqhWcFiA`KU_kRFgIcpiWh?yeKOOhbcBy?xJa_KQvgAcliPx?Ic_OBhGc@IY_~eekNzhib}iYG~YecNvhhb}H|k}}^\NkHiryaYs}kehNZfmrvHzC|i]rRPFisspy|LG]lNRHgSrpyc|Ge\P|Ffs^pyLFw]`PvFes]PxtF_]XNHG|RqqNc{gbvN?HUsjpwTIw]BM|HTrnqTczwdTMsfZRlXvCze\nMrHJrkaQszCcjPaFVSWpuDEO\^MhfTRiIS_x}dKM`hQbgIROxi[uQXhKBeXrCxY[nMSHBRdQPCxKcNLzHHR^QQcvocfLtHOr\qSTIKZlLoG{s\pmKu{bpQHEuSa`llGkZ\LeesRXxl[ueZTL]enrVXjPGYYwQFelcaHi`KmYiRLejCrHiHKIeGLRehCoyY?suYWRMhfbQxh@KqYQRLedCqyMWsEbcK~gwbOHf`GAcCK}e]c_XfHHUXuQVe\CdiBPAY_wOggLcHy?H@e^}OWg?CDyIo~q^{PWgjb~X}P@M_aNpfwCCh{xAe^QOjfsCIiFW{Y]OO|fbcNIC?{M`CNDgObpHtWrYXoMlfUBLx}WyU\MNsfRB|Xox?m[QOLfCCBHpP?a_SMKgCbaxsOwu\GMNfPbbh{_wQ[KNefAbxX{GwE^EMBfpB_hzovaZsN_fnb]XmPC]ZgPHexcQHvOuMZGM{eqbmxnouA[?Lae~bWXr_t]YqM]fMbUHhxCuY_PNefCRhghD}bALFebCWHgXDAacLAeaCSXq?rM[cKtfGbLJ@_@m?z?[_MoEwBc@}@@?]_OOFgB{@]?l?T_KOEgBKCUAN@E`lovWZcMAE~B]asPYglKUmJZDkaIPDWasPeGpCV`zO}G]{NiFvBx`}O~g^kwy[^MLeXrLXedasprWnK\uMbDtbKo|WtKOULBB|agolWTKUUIrA|_{pNWPKSuCBDD`kpXW\KTuFBDT`gpRWfKKUERDD_woVWIKEUAR@l_{oLWPKCUCB?|`OoTWQKDuCr@L_WojWGKJu@rAt^gplV{K[T}rE|^cp`WqJzt}BELaOnhWdJyuHa}tbwmlVWK]TtrFl[oorVIKKUEax\`kmNW\JcuFAxDZWpFUvKOuGaulVMjhTtixT[ImLUoq@TiK_tYrF|ScpBTJKPtQbCTR{oZS|KFTNb@d`KhtWSI]UCaf\bshVW}IUuNAddb{hJX@IRTHrGDQKp@W^IQUFacTP{pnS`K[TGBEta{gXSIKUtArDtO[pfSHKYtABEdNGprWzHyUMa]\b?fXWpHvUKa\l_SfVWCHsu?q\TMWoHWBHsSxr?laSfFRdKRUHA[dPcl|SZJ_TEav|ZCmfUoJitjqyd[OlRUjJbTpQtTY?mrUaJltgQzT\okzV]JNtvQrtZgkxUxJLTmAr\]wknVoJKtzqrDV{mBU@J`t_AwTZkjxU|I~TnAnl]GjrVcI|twqnTVWnLTvJrtxQnDUcjFTaIrtWQlDU?nzT^J~TVa~|TknXVjImtzQjdTcj^TlIlTUAltUOidTSIrTSqklSKkhUTIatdagdS?ldTAJYTOQu\S_hlSsIbTLQg|[{hbSqJetKqxtYWh\UgIWThqd|Q_i^SiIgtIQiDPslXS[JVTFatlPOnRSTJtTCq|D^CglVrIKT{aa|W_g`UIIHTCQpLWwgZUOIFTbq`|OWkXULIATaq_lWKgDUCI@t_a_LNwhnS?I[s~qfDNkm`R|Jgs~AyTSofpTMH|TRQ^LNSkNRvJBS|aolTSf^RoIjs{QitMCkdRaJHswAqLLwlJUbHnsvQsdL[m~RXJosuA{DLgo@RZK@SvB?K?}?b?O_HODGA[gYSJIFdEQbXP[imTTIhbzP|w}k]MNJFcbrPyG{{\EMfFQbiPtgyk[IMFFCjPthIslTUinTUiTtJIdlQUhNSem[FLjexrixq[tmWFIjeHqmx][hmQfOZgXqMyC[cmaFGJcPsYxA\DlSFJJTPqytQ[lmFFKja@rQw][rmPE~zcHoEw?[_ltFHj\`qavU[fm[Evj[@reu}[ymREvJcxlmxOZ\liFFZbxlMw{ZQlffKjYHrQu_[rmUErJdpkyxYZLlcfEjXPpquU[ZmSenZVxqmt{[imQejjc`jAxEYnlDubJPTgesNYGmbE`jg`gUyIYCl?fOZgXgIyCYBk{FFZNPp}rq[]kyfEjMxpqrk[ZkvfLZMHrYxmXomVeZJe@eyxaXlm\eWzfheUxwXckpFNzK@sArA[}kmuVzJtd]qrXWkgfMzIXruqc[{m^ERzfxcyq_\?kduRJHlciqPXHmEfAZ`XoiwW[Gm@E}Z_`nmwEZyluf@Z\xo]v[[ElqE{J[pnIvIZplpe~Z[PnyvAZ{llFCjZ@pMuq[PlyemZV@nMtmZslzEiz^@iuvmYkliehZYxi]ukYelNefJRpiAsyY`lJEpjR@kasmZFlIepZQ`kMseZClPEcJQPiMtGYPk~ExzO@mer}Zgl\E]zNhjqrwYzkxEeZM`hmreYYl_EYZWHemrSZAkrEbZL@g}rMYMmJeUjJXpaqw[XkiFDJapdYqi[TkaekZUXc]qKYqlYEOjUpcQtiXB_DoAW@S?y?X?LgpsXIKSAU@L?c`sOyW[{NUFfBsaopVwkCUQJDDbeZRMHe{vIZhLreaROxgSrqX|K|oDf}k@`~b?S^xoDF|k@`~]~i_Jnzg?j}q?M~i_@nxg?Z}a?M~c_Amhfzzih~Eyg^onxFtz}`|e~e^Wngf}JyX~e}c^yneg@jxY?Q}W_DndG@{@H{f?O^GoAFpZwy?Y}K_Dn`G@{@H{R?O^BnufhJsh}y|K^kntFgZ|XyI~Q]bo?FeJ~xxe{s^}n}fdzqh~m{k^{o?Fbj~xwq~{]LnCf}z~hwm{S^{nuF_J|pwI~Y]@m}fyz|Pv}~Q\}nvfTjix~Eyo^omgVSjiLsyy^\LnqFsJxp}U~E^Nn^fxj|@{A~M^@noFlj{Pza~A]vnmfhzzxye}{]gnNFijs@yq{}]jnLfkzrhzU{w]sm|FtJnX|Uzw^UmzfujnH|qzo^ZmzFjjmhy}zg]lmwfmZvXvMzc]ymvFbzlxxE{_\onHFXzkpxQzI]RmtfWjk`uuzE\kn]FVzvpuE|y\_mmfYZjpuiyw\gnWFUzjPzIyq]pnBFQjp@sq{M\Jmbf_zohse{G\GpG_@g?{?a?H?C_AO@W?k?U?L?G_Bo@g@C?]oFWDkAQdHQkhYStI[dLqfxRkhyQvH\cmQRHHscuN\FkbupqWxS[akVUKjEt_iodWMjvTyi{t\ynDVY|J]enQVgzsLyI{p]YnKvdzqlxYzv\{m|V]ZnDv^EjbRpiWskYMLBE\bNpewq{XeKjDoatp\Gl{VIJZDuaqp]glKVaJND]bRpWgt[UALRE_akpVGskTiLFDuaip]gi[VaInDoahp[gi{VQIjCvaYpMWf[RuH~CmbNpfGe[RAKvCqbJpJgqkRAKrEMa\pcgf{XAHzEGa[pbGe{WiHjC[bGpGGq[PyK^EIaJpEGpKPiKZCObAp`gakPIKFD}aIpCGoKVqGfCYaTpDgdkPaHRC[aTpGGdKPyHZDK_XpRgEkTA@nBkaFo{G`[MyGZBcbAp`g[KMIKFB]b?ovGn{LiJzBWaFpBGYkLYGVAca_pPGTKIYIFA]a_pPGS[IAIFDE`GpQgPkSaC^DE_|o^gh[SaBzDK_ypSGNKSyBn@qaPo[Gc{EyHJ@gaPoZGc{EiHJ?}atoOgl{CAJZDe_[oNGlKUQ@v?kakpVGD{Ti@bD]_LpWgB{UA?zCC`{pAG^kOYFvBM`~p?gY[LAGBBA`WopgUkKQDfAi`cojgXkIqEVBq`Bo|gP[NQCRA?`ro`G\[GIFR@U`ZoUgV[DaDr@a_goTGK{DIBJ@[_doWGH{DyAZ@C`]ooGHKCYD~?e`KoIgRkAaCv?c`HodgCKHQ@FJ]?J_DOA[O}GVCLaHpDWaG@s?q?Z?V_JODWBC@i?rPggtSYYL\EubXMsfZRlXu{ze\pM@f@r_hocwU[LL}f?R^xnCviZrLNegRRhiKtMYdLFearPhhCsiYRXxk{U]jMlfYrneURPXeCseX\LFe[RHxdSruXPKzd}RQx_Cs}V|LLd~ROX_CsMVxK~eiQ|xiCnmVpLReXQ|xesnmXhJxeMQ{xbsnUWtJpe@Q{X_cnUWLJrdnRHXcSmMX@J`eIQuXaslmWpJ\dlRBxaSluUpKPeCQvx`cmMWTJ`dhRMXYsruUhKzebQrxYCseYHJLdtQpx\ckmV\JHdvQmX\SjUVXIveTQ^xdCgMS@Kfc{RJXNcrERtKncrQxX\CemVLHhdrQWXKcmeRDJdcTRBxaSa}PXKPeIQHXbCaeWlGfeOQ@x@SqUXDGHeLQ?Xbs_MWxGDe@Ptx_s\mWHFXbgRAWycouMdKJbdRLWxsr]MXKre^PpWxCsMY@FFb^RSXic[MM@LRb\RRWvcs}LpLJdRQnXVsiMTHIzdaQfXWSiEU@I^dWQ\XUSf]T\HrdUQZxTCfETTHldJQUxRSd}SpH\dAQQXHcgeSLHJcfQOxISc]Q`HDc]QTXGCdeP|HVcZQaxFSguS\GxdGQKXQcbUSdGrcHQExAs`uOhGXcOQCXCS_}OXG^b~Pzw~S^MNxFpb{PyW}c]uNlFjbpPkW{sY}NHElbXPvWzsZ]LhF`dkqvXZWO{GeCPAI`EOax?{_eOPGIcEQAysLYAlDU]jMtfykDTyi~TZimtVIY|LeepR[hlsuk[MMBE~b[pnWv\IAcFQchBsgiOlIYbzQih?siIN|FYdfQug|slINLFIdZPshWsjiMLEidfQugvslILlIqbZPmhWsYiT|Eab~Pch?sXiNlDycNPah@sWIOlFYarPwglsVIN\FQanPSgws[iI\Ga^ZNohErziP\Gy^NQQfsscH|[}AcvQ]fprxIRk|icrN[hIrviQ|IY\zQif_siHv|IA\nQcf\sghvLGa[jQIfHrdiPlHA[bQQfEsbhp{tqcjL_hKrViQ{tYczLYhLsfhjLAAaBO]gasFIG\AI_nOYgRsHIBLBQ_bOugIsMIA\?i`^OqgFsKI@k{q_BNIg@rqH~{{I_JNEgCrpI?{zA^fMsfzrkh}kyy^zNyfTrjH~Kxa[~M[fPrehsKwi]fMEfgraHx{wA\JMCfSr_hs{vi]jNWe~r^Hy{vQ`RLwgUr\iD\CqZfLmggr[IH|BiZRLkg^rYiFlCYZFPIersQHkkP]GrCZaOpFWbwAk@]?l?W_LOEYKlEYbN?b_OoGho{we[PMIfERa{HeCzAZ`HodwQlYamNUkjdtiixL[AlZUijatiIw\XYlfUmjLteIuLXAlfUSjVtciuL[AgfVCiJtoialPAmRSKjdtBiw|YAffU[hwszir|MqlFUehssyislMYlJUehqswis\YAe~R_jNtfIZlXaenUUhkteiZ\XQejUQhhtcIYLKqljRMj[sqiu|ZqeNU}hasqIv\KAlnQ}jYsoivLJqlvU}h[tnIV\VIkVTujFt\IplUqkJTojCtZio|UYj~Tij@tYIoLVijFT_i{tXInlQihnSyiVtMIdlQQhbSgiYtHie\Rqg~Sai_tNicLSIgrTEiMtPIb\TQgNTWiDtTi`LOAivSCint?ijlSyfvTQh~tSI^lSafjRwies|ih\g??}?b?O_HODGA\_YoPWFkDuAZ@ULZEpbVpyW|k]mNbFrbvplWu{ZMshYllVUdzQTimspYRlLUdZRdh]s\YdlEUiZQDi]s|YLlPUcZSDg}t\VfjqUiy|DiurtW~k`U^zGDfurhWxk{UNZMtbmphXzkZU^zETfupXXxkWU\ZDtf]tHWNlSUCzSt`Es|WHlPUBZSD_mspVjlMTzzRT]usLVblDTwZPD\}sDVZlATvYzDgEmdY@lATtzOT\UsLVLlDTsZPD[}qlWfkTUUzJDaep@XPkQUTZCTdMotXJkNURzBdcuohXDkKUQZAtc]oDXbkBUXz?deUqxV|k?UWY~td}rdVxkvT}zMD^]rXVrjyUYY}Dek?e?V?Iu\ZNLf]rvX~k}_EOBg@myX[~mgVNZhtrmxh\Lm[VRzettEx\\FmcVKZeTsmxP\FmcVJZhTqmy@ZBlbVPZWdsMydY|mjUoZidj}tt\BlZVPZVDsEtd\VlYVSzUDtUwx[JmOVBzbtouxD[DmCVHz_tqUw`Z~mIV?zaToEvp[Vl}VEz^Tpev`ZblqUzZ[Dm}u|ZtlmU|zZTnMvTZXlsUtZ[tl]uPZNleUszXTlE|D\XnQVVZsDtm{D]ZnAVfzotxuzx]Tm~VdzoDxezt]Rm{VcZmtw}{X\rnDV[Zmdwe|L\jnTVZztDuuzH]rnZVYZktzUzD]pmnVjzkDyu}`^\niVwZyT|}}l^JnfVuzxd|e~D^DnrVqZ{d{]|p]~n]VozvT{C?H^gnyv}??t}s?D^inzv}_?T}{?H^}nxv~??t~F