CAT(2850,2)
Sparse6:
:~?ka_?O?G?C?g?R?F_COC?@k?}?\?d?L_FGBG@u?s?]_P?FwCGAQ@??b_Q_IGCoAi@M?h_ToJWDcD_@^?m_WOJgECA}BA?V?POE?Cc@W@F?V?NoG?AsAC?p?[?NoGOBsA??z?[?HoDOBs@s?h?O_HOCW@W@A?W?P_D?CgCODeAo?c_P_UgAs@a?n@l?AOZo?sEw?J?L?AOB_?k?{?L?L?BoBo@C?w?R?G_BoAW?c?Y?J?T?LOEoA[@c?h?R_IODWJW@m?q@[_L?VW@[?q?TAV@AO_gO[HkCgAL`J?bGQgGmC`AN`FOeWRCH]CeAV`H?eGRGHEClAT`IOaGPSGeDgAp@Xok_U[J?DfAq@UojoUCJCD\Af`SoiGSsIQDJAZ@TOfOTcHoDVA_@UOf_TSH{DVA`@VOjoS[IGDZAY`LOegS{IeDPBH@eOqoXkKgE\BB`aopGWGKyEWBA`_?rWVOKeDwBI`\_qwX?J}EKA|`b_ngU_J]DkAx`Y_mGZ_L}EyB_`l_vgYOLUEeBU`i?twYGLaE]BY`g?uWNKFmBtAD`Bo`g]WGUCLAF_}O^gNkF}CBA?`@o`GOSOGD`Aq`WojwTkIyDBAb`PPAO_kO[GPCIABP?__kO[GHCBABO~w_KOAF{CI`}@AG^gOeFSBl`t_zg\_M}FYBo`x?zw]GMyFeBo`x?|G]GNUFeBu`y_}G]_N]FkBx`{?}g]wNmFwBx`~?}w^gNiF}Bia??zG\WOEFACA`p`@G[OOMFMBc`r?yW\?MUHi@^_nOWGfWEMBB@a_zO]GM{SOBp@v_zOXGKsEUBN@h_sOYwLcEiCXAL`DoZWLsE}B`@q_wocWQ[HIClAS`Io[wMkFQDzA~`^OmgVcJmJBD^aoPX_jsU[IzDdAmPW_jKUKIvDcAlPN_f[S?HzC~A]PN_gSS?IFC~A_pOogkSCIHDAAbPP?g{ScILDDAcPQ_g{ScIVDKAcPQ_h{SoIZDJAfPRoiSSwI`DLAgpT_i[TSIpDSAjpT_jKT_IvDVAlPS?jcTGI|DPAmpVofcUCHzD_A\pXOd{U[HbDeAWPW_dcUOH\DbAUpIOi[TOHVDTATPEgb[PqGzC]aNpG?fCQGHtC`A[pM_ckR_HFCxAQPLOcsQ_HnCuARpD_e{RSGjCSAZPB_eSROG`CrAFpAoeSRKGXCsAEpDoaKPKGrCQAKPn?ISDMAhFD?ioTwIsDaAr@Y_moUwJcHyC~A_`iOswYS[wMbFOBhproyS[wMVFLBfps?xc[_MVFLBdPqOxc[GJfFCAwpoomSX_MJEYBbpeOws\CKhFRBHPs_q[[GK^FCBGpooqCVUJlDsa{P\wnKVgL~D{B_p]owCVsL~D}B_P^owKW?LxEAB]p_OvsWKLxEDB^P`?vkWsLrEKB\pb_vS[SKLFEBCPpoo{WcLlEJB[PlopSUwLlEwAwPlol{UkLrDlB\pZ?vS[_JPDiBdPqOlKZ?LTEkBXPkOt[YSLNEeBSPh?tKYCK|EbBOPg_r{XkLfE\BYpf?ucYsKjEUBVPdot{`{A^@P_gOWGJsD}B@@^_nQJ_^{OEG@DhatPYHDsa}P`GkcUqIxEWauPaGkcXAIxD?aIPSGccSaGxCgaaPMGhcRAIhAs`aOnGRcIqDHA?aYPMGQcQaCXCO_uO]GccPaBhBw_iPAGKcOAAxEG]YPeFgcX@xw{?ayNCGncW@wWzO`}MwG`blaGHB_\]MqG\bkAFhB_\QO{FUcM`tX?_`eOuGEcLA@W~o_EO?GBb~a?g~W^aNsF{b{`~W}O^UNgFvbx`|g|w]qN[Fpbw@zWzo]mNQF^bm`yg{W_]NIGHbqAAGIkD]Al@T_joTgISDMAh@Q_iOSxP?RIHfCsa[PMgfKPEGfCQczA_hN?gQRmIBd@A]XO_fmSEHyc}a`XNog]SKH{d?A`xOGgUR}IEdFAOxQ?cUS]HCcxQ[HMKeuR^Hmc~aYhOGeqS?Hjcra^HNgeaR{Hhc{aXHNOeYRIHzdCAWXPOeMSQHacia\hIwfaQkHvdCARHPOcySQHLccaaxHWguQSIKcbAaxH?guQMIKc]qNxFscAQDH@cYAbhEghAPkINcxaVhMgeARgH^ckAUxJgdiQwHXcfaMhIGbqPuHOchALxI_beQeGw_foSWICC}Ab@Odn`lgvCZ]LrEzb\PnwwK[AMDFCb`qLxFCbePhGucYqyx\kmqVVJlduQz`Zcn?UzJnDnQupY[lgUhJTDkqu@ZKlWUvJVDlQfXR{hyU_JgdhAyhYGmeUkJLdkArxYwkyUSJRddatHYgkqVCJFdqAqX[WkaUGJ[dbAvhWgluTvI|d]Qz`USjOV`JnDXqjpZ{mCTbJ_DWQj@Z{mCT\J_DUqiP[SikVHIiDpqx`TCm[TNJdDRQgp[kiSVNIcDrQg@\CiGVTI`DsqcXQ[hIShIUdIqdxRKhaSxIZdLQo`VCkCTrJBD\QlPVsk?TnI~DZQFHBs`uPXGjcUrHxdKqaXJKeeQRB@fcowX|KLE]rN@`KrwWVK|EDR@pf{o_Y@KEE_q}h^cnmVzJ~d~Q|x^KnaX}JsdzBOXg?nUXiK`ePbKxcOrQXaK]eWBGHeOp}XYKZeVBFXdwpqWoKxeLBMxbGriXSKTeJbJHdWpYWcKue[BCxa_r]W]K?e@BCX_GpAWEJpeAa{h__nMZ^LpewRZhlcuuYtLZemR[`gSsOZhLBExrX`k[uSZPLcErrYPi{tcZVLiEkRR`ict?YlLNEirSPh[tKYZLQEeRQ@kCsgZDLHEorP`jksSY~LFEnQvHZsluPPGhcTQoxWKkIT|J?d^rTxjCte\IMafPrhHrwyI\?McfObgxr_xY[yMWfNBdxqoxi[uMWfJbeXqWx}[iM`fIBgHnswAZ~MQfGRcXsOwQ[KMcfAbgxr_wE[{MBfMb_hnOxeZoMYfLb]XqWvU[iLvfIB\hp_w}[UMMfDBbXnWw]ZyMHe}BaHz?gISHIBdAq`xOsrMXjKseWRKheKquX^KmeTRJHd[nEVdJrdyQ|h]kvmZzL{fzB{p}C~S^dNsFwrzP}C}{^bNmFxRy`|k}k^^NkFvRwPz[|s^FNaFmRw@z[|s]|N^FmRu@{{}c]tNgFkru@{c|g^LNXFqr{pyk~S]nNsFjRs`yk|O]nNRFjRy`uc}o\lNjFYr{pxK~S]VNsFdRwPws{_^FNFFpRoxwk{Q]DN?f_rnP{czw^LM~Fqrm`{{zo^RNgF\rvpvC}?\rN]FZrkpyCzG]bMpFfrr@ts{w\`NLFVripxcys]\MkFeri@x{yg]bMhFgRs`sky[]hMeFhsP@yS|M]hNTfjRtxZKlmUtLSejRTXiStEYfMdfRRhyI@CiaWPQgdcSYHhCiaWPNgdcRiG`DMaKPTgacTIG`C]aKPHgacQIAL@M_dOfgSSHiCXDM`IPTgQCTIAxDA_qPQgKCSYA`Cu_kPNgIcRiGH?yaEOOg`CByGH?maEOLg`CBIFp?aa?OIgCcNy?hBya?OFgBCNy?PBm_GO|g@cNH~xBm_AO|g?CNIF?~q^{Oyg[b~YF?~e`sNzg[b}h}pC]^mPHf{CQIEhBI`mOrgZCLIC@A}`COpgOcKIBxAq`YO]gVCFYDX@i_uOhgTCFIRpH]cjQUhISciQ\Hka~P`HMsfAKDHkaxQ\GnSfAJlH_arQYGlseQJTDWcpPWHLSTqRLGWcRQGHDs`qPTEGcFQCGqSWqOlF[c^PxHGs]AQDFCcXQMGxsbQMTEwbhPoGzSZqMlG?bVQAGusZAOLFgbPP{GtS]qLLESbzPfG~SXaN{{q]\NLffrsXyDKUeLRFh[cqyVXKqdsRLhcCliXPJaeQQvhXslYUdIKeRRGHPSqaSLH{eVQ_HesfaXdJ{dZQnH_sjaWDJodTQ}HUSnQT\I[eDRCHSsiAW\IOd`QeHXShQULBa`tOxg\sNYFdBya@O~g_sOyGTKwf^ROHwsrq]DMcfXRjHvSya\lMWfdRgHySxq]\NSfFRdHzs|a[dM?f^RpHpS{A[LLue|R^hmSuiZ\MoenRWHvSzQZLNGehRsHjS{qYlLCfjRRHzssa]tHactQXhLsfYRdNeftRwiEtBy`tPWgHSEIKTDq_lPWgBSWI@tDq_TNwgrS?ILs~qbTNkgrR|ILs~AbTOog`SQIDTCQ`\O[gfSHIItAAadQ_h\SiIWTIQd|QShbSfIXtKactPwhDS[IQTFQc\P{hVS`IUtGAddRshhS}IYtNqetR[htSxI]TMAf[NAFdBpbNPfwsCXqKvE\c`qPXGccYQNHGe?R?h_KpQWfKQe{r]hnCvYZnLtgNsFiBl@q_tOZhOsgiS\Hyd@Q^iETAy`TOegPSFitD[Il`VIjUTpivdXylhUajQTmitDXIlXUYjWTdisdWikXU]jATginDXik@UUi}TcipdUykHTujCT[ikDVYjPTmiqT[indTiihUAi{TVilDSii`TaieTXiidRyixTEikTOieDSYhpTAiYTNicdSii`SmieTIiedPih@SyiWTFicdPihPS]iOTJi_DZYgPU}iATmiad[YgXVIiGTojR?PWG[CQAP@E_btk_HKCiAVUw?eoRgHcSMIDD@bvPzW|c]eNVFidQqgxSciATDI`e`RPHg[sUYNLEfYRlhukze\nMwgpSXIK\EYbNPdhgSriX|L]erRWiMTFiblP}h@S`jqdvy{x]EnKV_jpdvY{`\ynCV[jldvYzP\ymqV[jndtiz@]EmmV_jldsyzP\UmqVSjgDtiz@\ImmVPjedsyxx\Um[VSjgDqix`\ImaVJjbdqix`[emOVJjedpIxx[Ym[VDj_dqIwX[]mCVHjaDniwpZ}mIV?j`dnYwPZqmAUzj]Dnivh[AluU~j[tmivDZalrUyixdlYmhZ]jgUujODwisP]QlAVbjqdfY{xX}nKU]jLDlIr`ZIkuUrjKdkyqxZQkoUqjVddIqpZAkiUpjUDcYtpXMlYUQjUDbytpWylYUOjEdkIpXY}kWUpjTdaItHWekSUijAdiIsxW]lKUEjADhyoPYYkEUgjTd_YnxYik?UhjPd^IshVylGT|i{dlYuxVilkTzizdhYsXVajkUckf?MGFKB]@t?{_\uU_FkB}@|X_?_OOgGLeIr@X`kpUWJKLdsnPX^JtUVa|LccofXIKIUQBATc_olXIKIuQRA|_{qtX[KGUUrALdooXWMKluBRJT_cqnWJKkuAbJD_[qhWEKjUABIl_KqnWDKku@BJDdOo@XUK@UTR?LdCnzXRJ~uSa~t^gq\XOJ}T}rH|dCnnVxKht}BIT^Oq\XOJzT|RH|dsnbX^JxuVa}T]wqVVoKetzrHdcknVVlKeuRA|dboqDW}KaUNRG\b{prWyK_uMrGDbCppWqKZUKBE|bSpZWnKXuLBDtaOpTWeKUUHRD\a[pBWgKPuIRCTcSo|XFKOUPbB|`gozWXKLuFBBDjOAF@D_aOPWG[CQAN@G_bOPgHCC]uK@I_doQWH[CiARXGkdUQZX`kYu[ZGleepzXPkquUZMlcerZUhkAtkZAlYEoZWPjeu?Yvl_emJWXjqtsZDlaEmzWXjut}ZDl^EpJLdeyrZXnkwu[JT@ketSZJlSeqjShkYuMYflREqJSPjut{Ycl^egzRxj]t?YxlOemJU`hqs{YulMelZRHjisuY{lLEmzKXjEteXdkqEkjKpjEteXgkrekjQpiysmYnlKEkJQXgusiYNlIEbjPPhAscYKlDecZOHgQsEYEl@E`ZP@f}sQY?lBe^jMhfmryXvk}E\jMPfargXykxe]ZLHimrUYlktEjGFSBq@v?{_\OMwFCBe@n?v_[oMJdGBy@~?|_]oNwFtjEtfYqjQtgysdYql\UljVtkYuDZYlnUtmVfIZeHqmx_[imVFJzd`rExY[omKfHZaxqMwo[cmPfEzchpqxG[YmRFFzbhqaxM[]mRFGJcPqaxA[fmXFDJaprQxe[TmUFCZdppMxY[QmFFIZa@qiw][jmDfGJcPouxA[KmLfAJb`oiws[HmKf@zb@oYwm[Dm@FFZ_`p}wE[]m\e~z_Hruw?[{l{u}z^Tnqv|Z|l{FMz]pruvm[{mXe{z]hrQxcZsm\E{jf@nAxqZplufLZexm}v[[ultFLZ\XrYxmZkm[ExzfPmexqZgliutzYtleutZWlmUvZZ\lyv@Z^lqErz[plEvIZOliEwz[HlMvCZQkduRZHddQqlXTkkuTzJDduq~X]nLfSJrhtI{w\PmqfcjkxxMzK]SnHFWjk`xQzE]RnMfWJrXuE{w\^mmFdZjpx]yy]UmkfeJrPtmys]XnIfTjj@x]{k\VmiFeJrPtUye]XmaVPjgls]yR\GmdvQjhdsuy^\MnFf^Zq@v}{a\}m|FbJn`wyzu]LnCf\zpXvazq]Imyf_zohvY{G\smxf_jmPwAza]@mvF`zm@waz]]Em^FYzfxuqy?\lmsFOZgXuiyC\hnNFrjs@{}{}^OncFpZwx{i}K^Hndfojxh{Q}W^BnXftzuh|e|g^WnWFtJuP|Y|a^Tn^fjZwHy}}?]mnTFmZvXyq|U]ynSFmJtHzY|M]vn]FhJspzu|I]}ngfgZyXyM}c]an|_RGHsCuAZ@K_fUCzAd`IojWVkJUwz[TmEvHZelqwAs?e?h?L_KOAwAS?M?`?F_AOBv~s?m?@?L^}OAW?R~]?K~x^|O@V}B~\~g~x^|N{v~b~M??~t^~N{VwC?}?c~D_GNovvS@T||?X^]ODv{b}l~K~n^sNzVzrzT|o~b^oNlvzB{t}_~\^fNuvyR{\}k~J^iNqWM_GCCIAB@?_`OOZWDkIuBZDlaUozKdeUrFXeksUXzpLwm{T]FnCV`jo\wU{H]An?v_JlDuizR\jmuvZKJYCfAU`\odGVKJACbAs`EokgP{GYDFAI`OoaGR{HaCVA[`CoegO{IqCJA?`VoigO[GADJAC`So_gS{HQBz@}`HodgN[FQCZ@w`Go\gP{EyBj@q_{o[GM{EyBv@o_}o^gM[@qBJ?Y_roFgK[JAAzAs_ookgJ{DYDn@Y`[oUGV[IiAb@S`VoSgTkHyAVAa_fogGHkHaAJA[_coegG{ByDJ@A`SoOGS{Be@z?z_ZoKwEkEa@Z@k_WoYgD{AYBF?i_roIGKkEq@J@i_PoYGCKT`qMxH[dmRVIJc|z}}B^?n]Vnjvlze|v]yn[VlzuuJDDlanPZwkCUmI|DdapPYWkCU]IxDzazPUWjSVeJ`DXalP\WjcVMG`DjaIPZwaSUuJlCJaEP]wnCO}J`CDayPAWmSO]JHB~a@PYWksOEFnBr`yo{W\kM}FLDTahOyw\CT]F@DNagOxWhcMMILBZadOvwhCLuEpDJ`jPPwhCLUE\DB`hPOWgcLEEPD@aaOrWXSSMEDDV`bPSwWcTUIXA|agOnwWCS}HdClaVPIweCQeHpCfaZPGwecQUGxCzaOPNwbsRuFpCVaLO~WbCNmOXFnbwp{w|[]uNREQcBpbh@K_iKbEIcCqAgpkWaONG?bAp`h?k_IKFD{c?p_H?kVyOFFUbKpdGzKXYMvFybgp~gyk^qMfFsbapqG~K^YMNEsb[plgvkZILvE}bWpjGw[[AL^EebmpwGt[\yLRE_bpphG{{YINJFIbLpfgx{XqMZ@d_roWwLkEmBRHJccqRXG[c]QJHec]qYhGKeaP~GucoqXHF[eIPrHgcJqChL[eYOjGKcoqXHAKeIO^GicWqJhEkaqPfGcchqRhDKdAPNHYcNqGhJ{aAQzHScLqUHBkdYOrDBa_pPWg{SmIRDLagpRwi[T]IjHkdYq[HU{eyTrIsdPqhhVKiQTnIodMqkhSKiyS~IydJqnhR[jqSrIOdTqdHTkhITRIJdFqbXPKgUSNIgc~qjHO[iiSBHwdVq^HU[fiTbIycyqnhM[jqRnG@cAq?x@[_]ORJ@daqox^Kn]VvK?dmq~HZKnyUvJ{dhr?HY{nyUjJOeAr@hXkoIU^KEdbr?hX[oQURJodqqyH]kmYVfJidnqzh[[mqVBKieDrIH`koaXNKkeOrKHckqyXFKSeXrEHe{pYXjKQeMrFh`{piWbLCedrQHh{sYYZK}e[rOhfksAXu~p^yn{wd[QeHZCdaRpGxA[`]OjGLcGqBx[kmeVNJ^dpqwXoCvU[HLxf@R\xmSvmZ\L|ewR^xlSvUZXLxezRYXmSuUZ`LfevRWxlcuEYxLhetRVxjcuMY|LfeoRXXoCtE[DLReiR`XisvmYtL~ekR^XwOEcBY@j_vo[wMKZ]LjErbUpjwuKeuRbHncxq\xMkomWZKHeHrCX`{~A^BNmfqrwh|k|i^VN]frrvH|K|q]nNWfnruhyk}A]bNcfhrwhx{|a]ZNIfirqHy{{q]fNGfgrqhx{wY\nMGf\rahvKzA^NMsftrkh|Kyi^ZMmfwrjH|{{Q\RNEfQrohs{{I\FNEfOrpHr{xa\zM[f_rehv{zY[fMUf[rmhqkwq\zMMf_rcHv|DGBI@f?psCII\@QanOQgisBiIl?qanOIghs@iH|?aaZOCggsQH~|Ci_FPEg?sPh~\Ca^zPIf{sRH}{~Qa^NqggsMiD|BI`~Oog]sLIDLBa`ZOugTsGiA|@i`NOcgKsFIGLAAaJO]g`_YOLgEkBY@j?sshiSdHUdDQVhOSeYSTHmc|QdhOSfYOTHmcLQ\hNS`YNdHUb|QVh?SeYPDF]cXPzhDS]YPtFEbhQRgxScYKdDeaxPhgrSUyKDEubDPngnSYoKgE[BE@f?q_Wy\Cz]\vMxf]roXv|MQenRehkswiZ\MYezR_hpsxIZ|Mad~Rkh`syiWLMAebRShmssiZ|KienRMhlsrIZLMyeJRqhcs{IW|JafRQ{husmi\\MydfQuhxslI]LI]dVQhhUskYT|C]aRPJgesSYH|OAhnSwiAtMi_\PIhbSUiYtDIe\OyhnSwiGtBIf\OYhjSoiDtKi`LN]frRth~s}y^lQig~SaiUtJicLQQgrSgiMtHib\UYhzTii_tYIf|TAivTQimtRij|TYiRTWietTIh\SIjBTcibtPIk\UqjrT{iwt]il|VyjfUAizt_ImlIUdFQ`iTtJYd|QUhRSfjGTfYqdYEkdU^jITeYqDXmkdUVjCTgYodXukLU^jJTayrTW}kpULj_Swy[|MUivT\intTyjLTUm@VLj`TsYwd[}m@VJjaTpywT[elxUdjRTnysTZmmLUtjdTmYxDZ]l\VNjXTsYuD[ul|Ulj]TiYtTZmnxVYjztvI~L\anvVQj|tti}|\QnrVijntzi{\]qnBVojqtyI}l^InNWMj}u?JA\^yobWCkCu@j@l_IoVU~j]tmzAdaEopWdkJUGzBTaMo|WdkMUGY}|^mnq?AkXUHo?tbYpRWi?AULZD_?Qpe?AkWULzDo?Ypj