CAT(3072,15)
Sparse6:
:~?o?_?O?G?CG_Ba@u_w?\wNWFMBs@s_{?[gNGFUCG@|`A_^gOwGECE@~_}?_gOoGAAA@D?_OO_GWCQAM@I?doP_H?CeAW@L?goR_HwDAAm@Q?hoT?IgDYAo@[?moUOJODmBC@b?nOVoK?EEBG?z?YoL_KoBq@m@d?^oM_LGBQ@q@f?^OM?L?BuB[?q?SoZoEGAi@U?n?tOJOE?Eq@W?m?toZOD?BM@C?c?QoGoCoA]Dg@D_aOOGGKCIAF@J_boQGHSCYAR@K_gORWHsDEA^@S_hoTWISDYAn@[_kOVWJ[DiAr@a_ooVgJ{EMB@@h_qOXgKkE]BP@m_voYgL[EuBX@i_vOYwL{EuBX?[_MoFgCC@}@B?`_OOFGBk@y?~AD?RoG_O{GW@J?c@@O_oCsGO@F?y?zO]?F[Fc@x@z?]oNoM{Fg@|?`?sOG?Kc@oBR@d?NOX_BkE[?~Cw?_OOWGSCMAJ@C_bOPwHKCmAP@I_eORWICCyAb@N_ioTGIsDMAn@Q_mOVWJCDeAv@Y_nOWWJ{EABF@a_SoIgDkAm@X?g_WOJgD{BE@f?q_POGwCcAU@N?e_YOMWFCB]@l?t_[OLWEcBY@r?v_\oNGF{Bu@t?}_wO[WMSFMBh@t_xo\GMCFEBd@t_~O^WN{GEC@@{_}O^WN{GACB@}_DOAw@k?y?^?K_GOCWAS@M?j?S_DOAw@c?u?\?N_GoCgAC@U?f?S_JOEGA{@m?r?Y_JOEGA{@m?r?Y_KoDgA{@a?v?Ybg@hOiCYWIbEfAhPT?tKTSLHEgAhpjojSTkLVEkAjPjOi{T_LTEmAkpj_xS[kLVFLBUprotSYoM\EnBePnWwKZqL|F?b^ppousZcMHEvBcPm?wkZkMREyBbPf_usZ[K~EaB\PgOvCZkL@EbB[po_qSX[MFFBBHpo_qkXWMDFBBIPbOuSZ?KbEKBWpb_ucX?LjENBXpRopCWkI\DJBBPR?o{SgKRDLBDPr_nsVgMTFJA~prOn[[{JxD|BeP]WmkVaJlDsazp]GmcVeJlDtazppOk{USMPFCAppp_kcUGMRFFArPAof[OsHxCHA[PA_fkO_HrCKA\PN_acR{GnD?AJPOObKPSIDDBAKPP?bSP{IJDFAMPQOb[PsILC]AcPL_rKRSKvCtBLPLorkX_HnCuBMPhOd{YWH`EfAXPKotCYcHbCsBQPIOpkW{HZCjBFPJ?qCQwKbEKATP_oc{W?HNE@ARP__csQ_KJCgBAP`_ccQGKTC`BBpGopCWkHJC_BCp^?b[PsJvCYA}pFon{PwJ|DyAMPZ_bCU{GrCUAxPDOmKP[J`CSAxpZ_cSQKJ`C_AxpZockQOJbC`AxPBolCP?JRDiAFPCol[PGJZDkAGpK?lCRCJRDiAVpYoeSRKJZCsAuPC_j{ToG`D\AGpCojsUCG\D_AFpIOjcQgIzCkAnPVod[UCH\D_AUpW_`[OgJFCHAqpB?ksO_JNDcAEp_?_SWCGFEAAAP_o_kO[KJECABO~?vkNsL|B}B]O~owCOCMBC?B^o}?iCNcIbDT@|O}oi[N[IdDS@zO{_w{NKMLFC@wO{OwkNSMRBsBcOy_xS[sF\BjBdoz?xc[{F^FM@upN_WsR{END?@cPOOXKSKEVDA@dPQ_WCSkEDDK@aOpOhsS{EFDL@_pM?XcRcEZBOA\PMoX{LCHzBMA]Os_gcLOIJBTAbOsog{ScEnBUAcPU?U{JOIrDU@YpToUsTkDpDY@[om_qSJkKjEV@^on?q[XWDzA}BIPeO[kMWKpBhBLoy?rcM[KzEY@qOv_uSL{LbB_BYOwOu[MKLjEo@pPgOZKLkK~B\BPou?rsYGEtB[BOOkwTsJID`Ap`Vq{o`COeGTCJaEpBG`sPEGdCRaFpCGacPUGlCVaKpEGb[PyGxC^aLPFWcsQ]HPCqaVpKGecREHfCuaZpLWU{JYDhAt`[OmWV[JiDxA~`^OnWWCKQEBBA`aoowWsKaENBH`dOqwXsK}EXBL`gosGY[LUElBV`hOtGZKLiEzBZ`kOvGTsI}D`Ap`XokgPCGeCVAI`EobGP{HMCbAO`FOchf[ryX~K|e_RNHf[ryX~L?e]RNXe{reXjKye[RLhdKqmXXKleVRIhc[qaXHKdeRrHhbcpeWpKVeLrEh`{pAWbKMeHrCh`wpyXCKOeGbGH`opuWcK^eHbGX\[miV\JkdvqzX\kmyV^JjdtQzH]KnAV`JpdxQ{h\CmQVJJedrqyX[WtEVALOefAvx[?s}YcJ]dpBRXeGlyXcJ^doBKx[Gq}VEKodpBLHCGr]O}KtcOBLhf?aIXqG]e\AGxgwlIUkLHecAsxYgsiYWJSdjbQxX_nMUYJsdfA|X]olEVoJNdzasHWon}UMK?e?aqH_OkeUUKCddB?xW?neUEJ}daa~HWGniUCJzdaA~X^GjiVsI{d~AnXVwnmVwIzd}anhU_oUTiKFd[bAXUooYTmKId[BAHSOn}TEK?eAAhx_GiQWCIee@ahXQomQVIIYdKaxhR?meSuJgdJaxxQ[hASjIPdIQchPOnMSUJsdEA|X]oguVoINdzabhOsgUSHIHdBqaHNooUSAKHd@bAHNwoYSCKId?B@xNGlqUoHwc}auhZWfiUyH{dka]xMOpQReKTcyBDhMgpYRmKTczBDHdweAX_H`eWaWheOeMXgHdeXaXHgwaQPILGcSBQhCosePQLKcRbQxIwsuY_HWefATXhwdYQgLQegaUXDOqeXSGncUBIxDgqqX[GmeUaIxHosEQ]LAe`aSHIGsQQeLEchBPXEGlaPeJZcXAuhZGbUP_J\cYAvH?oomOMKJeEAAx`g_aWYGHeEAAhbg_AW{G@eNa?hc?_MXCGDcABGW|osUNaLEbvbOW}?sIYGFqe``{xaw\AWoFPeM@tXbG\IWsFSeL`sxcW\YXKFVbkBHGzGqUMuKgblBHxH?iyQUIqcdAjxH_jAQYIrccakXF_hqPyI\dNANhRwb}TAH@dOAOHEo`aPmGXcLAMxBWbaOyGycMAMXAWcIOgHBcIaPHAocUQKGVcbaChA?^}NsGLcF`}w~o_yOaF|b}ABG}_eYRMFtcs@|xLG^aNqHjct@|g|?diNQHZcm@yxJg]qQ}Flcn@yhM?]INKHpbqAZG{geuNMHmbpaZwzwiaTWF`dT`vXTg\yTQF[dT@wINwmQVLJddrqyX\CAa@R?i_ToJWDcBA@^?m_XOKwEKF]Bl@x_|O]wNCGQCDAB`Ao`wOs?i?V?L_EOBg@{@Q?b?O_HOCwAlI{cbQQhIsdiQ\HQdGQOhFchYT@GqdKQJhEcgyPpI]cMQ\hCCgYOhHycKQahCcfyPPIAcBQAg~s_yOdGAcEQkhSc^yO`IudUQ?h@CjiTPGE\MQ\fUCght@H}\QQ_fTCfhtXIEcoPrhKc\IMhH]bmQ[g{CeiRXFYdWPjgsCiiL`ImbMQhgscjYTpEicIOphBCKiOxBMcOOsgZCaiEhGe_}QKhEcGIQ@AQ`AQJhFCGiPxAM_mQggIchySp@adEORhQCDiA`IU_?P{g{b}x~xFubsN{g~B~X~pFm^]QifwCix}HIq^cQlfyCiX}XIy^TNjfurzH|s}ebqMxg|Bmhv`FubuMzf^C^hvhFq\cQ[hLbjyROzA\YQVfWceIRGyy[uQQfMCcXs@HU[yQRfNcdhrpHQ[HMDfBRaHo{wM[\MLfDRaxpcwe[`MRfIRchp{xEbYOvgvCMILxBe`sPqgwCNIMHBm`YOZgTcEYD`@i`[O[gWCFiDx@u_YPTgkCCYIp?yamOQgkcByJP@AbEOKgocAy@PEUbKOFgqCAI@HEI_APZg@CVI?XDu_GP]gBCVy?hEA^iO|fzCNiGG~eaCNwf|CNyG?~]]mNbfkBxHzG}U]sNefsBvHzW}]]yM~fnBoH{?{E]}NCfpBoh{G{M\KNMfdbgXx_yI]YMbfgBhXxwyQZyMUe~Bdxnwxa[iM@f?BeXoOxi\eLvfYB]HugveZwMve|BmHnWzYZkPFewcOxmPCaaGLsgab\XmXCYa[LmetcQXlxCqZWPIewCRYHWuuZQNDerBqhl?{Y]QLffcBYhwwuUY}NPfhBWHyWuE]gLaeqBthyguMYqPNelCSHjpDEYyPQemCTHjXDMYiOegTBThi`A]YeOdejcIYD?takwC_aQPGWcSQUHFChaUPIgdkQyHVBi`vOzW\[M}FXBt`yO{W]SNAFfB]`nowG[SMMFBBc`rOxw\CMUFRAo`VOkWT{JIDf?H_CoAW?s?Y?N?F_COAH|K}m^TNkfvRzXm{viZxLze{R]Xm[vEZdLsezR\Xl[uuZ\LkewRZxlKuUZPLeetRXxk[uQZ@L`enrWi~H^AnZVnjvT{i}L]EnFVcjpTxi{l\WnXVfJittq|D\gnRVXJtTuA|\\MmhVNjgTsYyTZAlfUqjVtjiuLZIlbUnjWTkyttYalXUjjTTjYtLY_mjUhJjTtqtTYsmtUjJkTjAzLYKltUcJ\thQvdYGlzUfJ^thavtXolhU\JYtlartZ[k~U`J[tgAvDXknnVwJJTdq}\X_nhUXJzTea}lXGm~UTJmTcA{D\skfVZJGtvaqdWsmJULJaTbqwD[Ck^VAJFToqptQ[nZSgJvTIQ||^ChXSjJxTIa}DYGjvUcI}ThanlY[j|U?JQt^qs\Tck~U_ImTTqrdYCipTYJMtUqrt]_iJVhIbTyag|S_nXTHJttQa{|SOm~T@JnTNqz\S?n@TAJmtvAg\^_h^SqJzt|QeD^WhbVrIVTJQ}dQIhBSdiRTGycdP{mVS\JctGAxT[ogvS]JfTFAxlPSmPSUJbTpaa|[[gpVGILTpqbLX?g^UPIGTCQqTPGkfUTIITCqqdXWgRUVIDTeA`\XcgXUZIEtea`tZWfjUvHxS{QudNKljUxHyTmA]tMWm@VCHstoa\DMSmFVDHtToQ[|ZgerRYJ\suqvdLolzR]J^svQvtKsnBRPJqSrq{\LGnJROJrTwaXtK[mTRGJdtrAXL[seTVMHeSqqxLKMeDRChbSpYWLJom^Q|JgSnayLJkmdR?JiSnqy\^KdjQuJzT}AU|^SdpQyJzsmQ}dVSkBTuJ@T\qo\V_kHTyJBT]QolUKkNTcJCTXQpLWgjLUKIsTaqk|U{ibToIhTTQm\TKjbTsIjTTAmTSkhrTKI\TRQf\SwhxS|IftNaiDUcgFTiIATZA_lOWjZSGItt@qltRKf~R|IYTLQ_DNwhlSvI@T?QfDMkizT]HuTVq\lU?f\RoIpTWQ\|NoepRRHzstA^DLSfrRVH|S}qYtJ?e~QqHoSjq[LJOfHQrHpSkQ[\nSUtJ\dkQuXZ[lqVDJ`dnQwxZ{mAUfJSdiqshY{lYO^GOcGqBH@k_yOjGQcHqDxAs`QNNFabppxG{k]Yw}[XmLvFJbTpywz[WMFvDbaDoswh[MMIvCba\p[wb[MMCvAr`lo{wT[KMGVCb`DpCwN[Bm?v?j_doUwL[DL~v?B_toCvx[AL}v?r^\oOv|ZslxUzz]LnMv`XIMDUPr_|c_wPXHMCvBBHdokqVZuLsu|R\dmkvtZiL{Uzb^Ln[vZ[\LsUxBb\mSwxZeMNVER[|mKwtZtLmu|bZtl{vnZaL{uwB^TmCvpZzLgutb^do?udZ|LhutB^tlSv~[RLLvDBRdh{wpY\MIvDrSDpWs|ZnKYuLb]Ln?ppWyLxuLr]Tbcvh[YKYUJrbLb?wxWpMNUKbblbKwvWJkFUBZ@d`Ao^YrLFulBQDjSsbYQLZUdBVDhKtnYHLOuabSTgktFYKLQUbbStgstJX{KuUZRN\fcr`XvKvUZrNTekrpZJKquXbXde[uZXgLfUYbYDecu^ZVKnuuBKDlcrBZYKpUvBKdlkrFYoKkuVbUTisqtXZLVUVBULdst^XRL@uaBI|dOsHXTLAuUBOtg[qlX|K_u_bGTcWs@XDL?u^bGdf{qFWzKeuNbH|boq\XPK_USBFldGp~XpKPuHBMTaSrhWeKzU[rC|a_rjYTKNudbBt`sspYVKOuGBRThcpDY~KKUoBA|`cuBWYL`UFBWd`kuFWUKUUCbDL`KpTWSKTuCRDt`SpZYjKBujB@Li_oJWELRuiR@TigoPV~L]umR?DjgoBWCL\unb?T_KtxVxLat~bWt^kuNV{LcUqa~Tkcnz^gLwuzz]DnIvhZrg}S^iNTFebvP|_AO@W?k?U?H?CfnRvXz{}I^BN_fCraxpcwu[\MIfFrchqCxQ[fMPfIrdhq{xa[rMYehrTHiktYYpLVekrUxjstiYzL[ktuZJLleyr^XokJUCZA\`IojWSkDuBZ@t`AoXWNj~u?Z?\_AoDWCj}t~i~T^mnrV{oKgCkAY@j?g_WoIgE{Ay@r?k_\oCWAk@M?Z?V_FoQG@kCi?^?O_eoCgH{DI?n?S_goZG?KFY?V?A_wo@GMkFI?N@m_Cn|gCj~q@]~}_UoHf~KA`~i~y_Tn{v}J}t~Q~j^vnsvyJ|l}i~V^knsGIkDX}u~Q_kntGJZ|aA}~U_mnpvxZ{t}I~H^fnmGH[DH|y}}_cnogHj{AAa}y_fnngGzzaAB?{^\oNfvkCH}E~?_anrgG[Bp}R?}^aoPfw{CP}Z@?^dnhgEJya@e}i_YnjGFJzA@u}m_ZnYfzzup~A|m^pnxfmJ}Pzi~[]xnYGKZuIBA|]_rnWGKkEhzJ@g]rnSf}jtP~m~y]jnUF~J~xyy~{]lo?FgztA?R?A]cnQg?jsy?U|K_BnOF{Zrh}y{{^onNfzz}XyI~c]`nLgCK@xxf?W]VoEfeJra@E{s_MnHgMzqIB]{c_woZFdKFPxZ@q]TnAf|J}pwe{O^vnBF}JpP~e{M^tm`gKJgaBEyI_qoYfPkE`sayM_rmUgJjeAA}x]_loTFIzdqAmxW_kmQfuZdH|exK^YmTFuzcx|mxO^YoEFFzca?v?[[_mOgBzcY@ExC_OngfoJvX{y|w^Nn]fsJyPz}|{^LmxF_jnxuuza]@mvF_Jo`u}z_]BnbfWZx@uIzE^HmqFqjkp{qzI^JmoFpZjX{Eyw^Ammfozjp{Q}K\^mxfTZm`tYzi\VmkF\jjPvayq\vmffazi@wqya]LmhFbjq@tQ{]\RmuFRJkxsezO\ImsfQzhpuiyY\jm`FMzexsAxo\@m[fNjf`ruxs[~m}fKZnHrIz{[rm|FLJnXrUzw[unkvuzzT}I~J^cnpvxz{tXIkfUOjItdIqLX]klUWjLteYrSmqV\Jnduqyh\[nEVdJoiLTDYatP]gpSXh~s~Y_DNygBSAh_soiW\KUeLRChVskYUDJIdhQrmzV\JnDv]zf\tmWvKzedrUxl[qmNvGjcDqExH[bqkHSKi]TJIhdTqgxT{i}TZIldVqjXGSiEPxIbdQQNxSscEPtIhdTQPXGCguPtIHdFQPXFsgmSdG|dGQOxOcbERxGnc~QLXEsgEPpIFd@QKxDSgmPDIHdHQJXCsguS\GddGQIXKc`]RLGZcsQEXLS`uP@HncuQFxACgMRxGPcIQ`xAcgUR|GRcHQ_XDSPMPHCHcSPBXCsPEG\GlcPPAx@Sf]R`GDcxQ@xMc_eRtGNc{QBW|cdmN\H^bwQWXJc^MNlHXbyQWwxCbEPlFRbdQKwxca}PpFNbgQLWusemLpHlcqPkWvSe}LdHfbYQYWmcdeRDD~azQUwnCduJxH^a|QWWkCf]RtDdamQ[WjsfMRpDfapQ\WcC`]HHGXaRQExCCQmHPG^aPQFXRSP]GpITaMQfxQsPUGtIXaNQfW]ChUFdI\`yQdw]sheFtI^`{QexTCLMTTBL`jQgwXsiETLBTdQOsXHcKMQ\BDcgOqWWsdMQhBJ`_QTxIcJUQ\AzcgOmXISJ]QlA~ceOnXGsIeDTHH`XQQwTscmD`HF`UQQWzs]mN@FTbpPtw{c\eNPFZbrPvWvcWEKPFBb^P_wwCWUKLFDbDPpwpcTEK`DRbFPTWqsT]ItETbHPUW~CQuH\FzaWP~Wes_EHdGBaYP~wlCNuJTB~auP?W_SU}JdCFawP@WZcReEpCz`nPNWZSR}FDDB`oPOWssIMD@Eh`MPhWSsY}LTAd`NPjWgcHEILAR`IPQWQsSmCtDN`KPRWPSXeC\EZbMObWrsGULDAHbOO`w[cFeFL@z`sO^WNsMmF\AB`uO_R`xokwY[FMGfAUizS|iatRYklTUFZBtaEo~WakOUDzBd`aorWZkLWWKKMENBJ`copWUkJ]DrAz`^onYEDEu`dPngYS[YMTB]blOzgySMYJcp]WpPVgiRCXaTDea|KZeISUyHD?EaTOBgASRy?tDM_PPLgDSSYKcyUbTMjgoRgYKSyMbLMhgsRhyGsw][HPBg]R^XoDCE[DPDg^R^xmDDUZpPZgmR\xmdD]a|LzexSUYFcsu`|LNegSPYGCtMaLLVeiSOxgDCeYDPJeaSRXhTDMa\LHebSSX_TBm``JxgXQ}x^dB]V|Ote?SMYKSnUb@JlgtQ|x\tEUbLJrdwSYXVdEuT|Pnd_S[YMsk]bdJDgyQoxztAe]xOdfrSJx{DA]^HOjfpSJXwd@e_tNFgPRryBc{e`@NJgNRrYAS{E_`M~gERmY@szm]DOTf]SDxpC|E[TNRfERtXps|]]tMRfkRcXjCuUYtLfevRVxjcueZTLbeuRWXtcrU\\KvfYRMXusrmX|MrfWRNXcC~}^hK\fzRFx~CqM^tKff}RHXrso}[tKFfMRBX`CxU[lKJfKR@XeCluXdJ^eSQtXdSlmUlKneUQuXYS~EUPNhddRyxXc}u^dJNdgRzxUCmETlJbdXQxX[sjUTtJjdsQmVvjzl|}}x^_notbYp|WygvS[iNTFycDPuhBSaiQtGyctQQxz[}m^vOZgDsJI|d_qpxW[j}UJU|j[tnyu|[ElvTmj\toIm\ZyjbTgj[tnIllUilnTOjTtSitlTQl^TUjWtUiulTalfS}jCt_Ig\RakJT?jDtNIo|RikFUOiZtLIplQqkZSqjFtcId|RAk^U]hwtgI]\NalFUghys}islNYlNRSjMteiY|KqkfRMjIssIq|LIkrQgjNsiisLIqlFQmjQtiIU\YYdbUQhMsfiqlIAknQajKshirlIQkvUihAtjIO|Gal^QMjWsaiu\GqljPwj?s]io\WacFP{jAs^io|GAkVR{iyt@InLVygFTyiBt^I^|OAjnSSiOtGia|QQgrSeiLtIib|QagzT[iCtXIaLUYgfT]iDtBikLOqjFRGiesqih\KAiJTGhbtRiW\SYeJR_h^slIZLJYevQwhmswiV\Jqe~QShusziR\MQcbRehHsyiQ|Macq?L?F_CW[KLeEvBb`movwOkG]CRAJ`FobZOTg}sHYNlBUcZPDhMsXYRlDUcZMTiet@XjkyUizLdiMr\YfkwUhZJthUr@YVlKUWzRTeUs|XhlMUXzSDbmtDW|lQUNzGdimq@Yhk`Uhy~thmo@Y\lNUAZ?Th]oLYTlKU@ZGtf]qPXxkdU]zHdfuq`X~kfU_ZEt_}pdWPkVUAzED_uohWxkYUCzAt^Mo|VzkKT|ZCD^]otV|kMT}ZIt]}qdVfjsUTY|TdeqxVpjuUUyzT[}mxVPjhTvyyd]EmpVdjjTwywTaMmHWdjbUHyxDaepXVLkTTqxUKjMTjIvd\qmYwl[]mRVBjetqzhdsax~\GmbvQjflsiyF\ImavQJgLnQxb[qlzvLJ^LrYvv[yl~vMJ^llqxb[qlnvLJ[LrYvF[ylrvMJ[llAx~\Alkusjg|liyBZSmavNJY|nIxV[clsvHj\\qavZ[mlvu{JdlkQwZZEmFuqJaLkiwfZMmJurJaljawBYym@unJ_loYt~[Gl`vAjWLqItn[]lYvEJTliywvYomOvFJU\vq{R]Mm~vbJo\xA{B]QnAvajo|va{~]Smwvdjm\vQ{r\ynLv\jrluI|R]_mkvWJt\yIyv]emmvVjslsqzJ\SmvvRjk|tIzZ\imjvSJlL|A}J^QnbvtJxL|Y}V^MnlvrJzLza|Z]ynVvnJuLzy|f]un`voJug?I~P^\?AVyjzw?Q~X^`np?@j||}W?L^rnq??j}N