CAT(2834,2)
Sparse6:
:~?kQ_?O?G?CAS?G?E_A_@g?_?U@U?D_BO@GFoBa@r?y_\OMGFKBa@r?y_e_PoHSCcAV@K?cORWH{CyA`@P_hOUOG{CeAP@J_eOQgHSCmAX@g?loUWJSDgB@@Z?ooUOJ{D_Az@]?jOToJcD{Al@W?ooToKCDKA|@[?ioVOIcGc@|@?_^oOWG[CI@|@?_^oOwGSCEAH@E_aoPgGkCQ@x?z_]oSwIkDQD_Af@ToiOTcI_DTAh@UohoTsI{DPAj@Ooj?S[IgDDAn@Qoh_TkIOD\Ad@NOh_SCIOC~AE@Toa?TSG[DXAF@Soi?PCGWDNAB@NO`OSCGOC~AZ@UojoRkHoD\Ad@MoeoSsIOCxAV@POdOS[HWDBA`@KOe_S[HcDD@~@Do^OPKFwCTA?@EO__PkGwCBAN?}ocON{H?B|AQ@@Od?OCHKCBAO@IOcOQSG{CfAH@IoaoQ{GgClAK@KOeOPkGwCt@a?|oX?NcEKBt@{?ro]_KsESBvAB?yO`OMsGOBj@p_xo[gLsFAB^@j?zoZONKF_BX@w?sOY_M{FcBRCL?ZOLWE{GACDA@_boQWHCDAAd@P_soYGLSP{GsC[aN@EwbgPeGeCXaI`Ega_PmGeCUaI`EGa_P]GTCJaEPA_bcPwGXC\ADo}obcNoG|C\@}oyOaCPGFVBiAGpC_\kMwG`BkAGp@o[cOcFJCG@pox__cM_GLBfAAow?_KMGGFB`A@OtWYsLQEmCC`k`@gZ?OUEtB[`lov__KL{GFB\A@P@oXsL?GRCG@fon?asJwGnA|AKOk?`kJGG^ApAFO~_UkO?DhB~@XpBOUsO{DpCM@Zo~_VKJkG@Ay@~o{o^CNOFtBq@{o|o\{NCFlBt@wOsOV{LGEBBR@_OpOX[K[EZBE@eOq_WcKcEFBG@`OLGEcBQJe?m_WOJwEKBI@fD~ADPBG`[Bm@z?{_]oMwFcWGJxECA~P_onkWWJxEDA}p`onsW?JtE@A{p]on{VWJZDvAvp]?lsUsJpDuAvp\olsUgKDDkBAPYoo[WSJNEFAsp`_lCUEJFDaanPWGj{QwJ~E@AWP_?d{QkJfDtAUpJ?mcQgJtCgA|pIOnKV?HJDqARP[Oc{QGJ`CbAxPH?mKP{JfDtAOpG?mcTWIdDSAjpTOi[S{IvDPAmpS?jcSwItDKAkpROjCScHjDJAZPL?hSSKHbCrAapP?eSRwILC~AcPPofkUOHtDeA]PXOf[R[IDD?A[pOOfCAa@T?h_ROHwCkAm@Z?k_ToJWDc]S@j?v_ZOLWE{BYBr@v_{O]gNcFmCFAD`AO`gPCG]BD@c_poWgKcEMBJ@f_rOXwKsEUHPCiaSq?x?k_QN]G?bwA?g|o_ENsFobv@~G|w^mNEF~bq@~W~o]IO?FabqA?g{W_EM}Fvb{`wW{?^aNsF^b}@wW~W]ANMF]bq`vG{o\uMwFgbn@ygzg]eM_FRbh@tWyG\QMaFUbk@sGyO\]MqFRbl`tWzO\QMqFUbk@uwzO\]KmFsbK`|Wr?^YMXFIbdppo}c[cNlFGByppgwk[QNmF@b{`owwO^aNyE}b~`oG~oZ}LuFgb]`ygv_]eLmFebr`lW{gZYLTEjbSph`?[_SLNGCBSPhO|cYKNZEcBtpz?sCYGNZE`Btp{Ork^KK~FqBNP{OrS^KKxFqBLprOqK[{KfFMBHPrOqcXWM^FMBIpbgqCW}KPEIbCpbGp[WuLaEsbV`kwu?ZILWEwbV@mgtgZeRc?p_XoKgE[BE@d?m_WOJwDsBA@^IC@~P?G^{OEGFCAaAP@g_kOaGRCFcxA^hM_gAReH~c~A\hO?f]R}Htd?a]HOWfiSCHxc}a_xOGfmSCH{csa`HLWgYRSIDcra^XL?fmRKH{cxATxM_deReHWcyaUhMwdmQwHucgqSxIScyQ`HNccA]HHGfiQSHxc`A`HG_gYQEIDc^abXGGg}Q?IMc]A`xP?buSQG}dDAMXFWgqSUGycZA`xP?baSQGvdDAKxPWbQSWGtcXAbXE?gyPaINcRqIXDCaiPXGjcvaGxCOfEPAHocvaHHCofEPIHocMqFHB[`yP@G^cLQEHBK`UOnGUcIQChA[_}ObGOcuABHLo_uRYGMcuAAh@WeyOQHlcoAJXKOa}RAGmciAWxIoeUQiHccmaQxJwcuQ{HKcBAPXGw_aQKGF_SOIgDKAi@R?gcuQZhLke}RbHoawP[gmK_YONGGeAa~x_woAWAKEdzA~H^?nyVmJ|d|a~H^OnyVqJ|e@AfHRooQWEI\dxa~x_GnUVgK?daqoxWcj}TzI}eAajh_wjAWKIndzAgh^?iQVmIbd{ahx^WiUVsIedNb?hSGoQT?KBdGQchQKhMSjISdJQeHQ{heSvIYdoAxx\Gl}VOJ]dkaxHZ?mYUsJddfAphXgkaUWJFdfaqXXWlEUSJOd_Ayh\_kIVUJ@d\AuxV_luTuJ[doamHUwmMVCIxdYAtXUol]TiJUdWashUWlQTcJRdTa{HTgnITWJpduaiHTOm}TQJmehrTXictAYdLPeGbRXhwpMY[KQeaBOXgWsUYKLAeRBKhd?rQXMKreSbGHcOqmXSK`ePbJHdgqQX[KdeVbFXeGp}X_K]ebbFHbOseWuLGeKbQxawsqWoLIe^BDHg?pYX}KTe[BBhfOpAXqKNeYbAx`gr]WWKue]bAHfWoiXwKHa|p]gnKVqJ|D|cqQXXK[eARDH`cmqVxJscUQNHEfCb_xogwm[SMCfBB_xogwa[MMCf?BbxqGwI[_M@f?bbHo?wy[CMLeyBbxqGvY[_Ltexr[XmSu}Z`LmfCbVxpWuE[SL_ekbbHjWwyYsMLfCBThoota[MLVe}bYxnwuuZ{Lke|BXXn_u]ZuLeetB]Xl?vaZQLvemBWhk_tyYyLbf`@uwzS\eMzF]bmPvw{K]ANDFcbpqwX[SmMV@J^dnQuxZklqUrJYdkQtXY{lYUdJSdhqpxXCkYURJJddRs`x[|K]ZNKFgrrPxs{o]`NJFfrq@y{{g]rNHFkRq@yc{g]lNHFirppz{|w]LN\FarppzS{S]xNZFbRwpwc{K^JNAFqRw@w[}G]HN`F`Rf`{[y?^JM^FqRvPvK|w\tN^F\rl`zKz[]pNVF[RkpyK|K\jNQFYRw@uCzG^DMpForjXt{yy\XMjfTRhpycyc]jMgFjRs@skyW]\NNFQRgPzSyK]xMaFlrf@v{xs]@MZF_rnprC{C[tN?FKrnPqszw[nM{FIrn@qSzw[hM|FHsL@NsgAR~I@d@q_hecrMXdKneWrKHdKqmXTKkeVRJYF@By`qO~gZcNYExBi`qOzg[CNIGXBQ`kPDgYcPIG@BQ`kPAgYcOYB\@e_tOUgKSDy@PBu_WO~gDcNiG@?]aAOGgCcOiGh?YaGOCg`c@Y?XBi_AO{g@CMyEG~q`eN|f|cKh~@BE^sOrf{cKh}hAy^kOofzcJyDo~I^gOofxcJyDW}}`YNpgUB{IDW}q`YNmgUBzX|PAe`SNjfscIID?}]^OOhgTBxh~p@}_?O`f~cGICh@M_iOfgICHiA@@u_cO]gGcFICP?u`GONgPcBiPpGUcNQEh@s`IOTDCcVQLGgSRqPdGsaZPMHDsRAPdCkcPQIGcsaQHTCWcPPGHDSPqPLF?b~PpH?s[aODDKbTPkGhSTAL\FobNP}Gss^QLDEKb^PaGvSWQLlFKa|P^Gys\AKDFgavPzGms]QJdEOatPWGrSUQKlDSblPUGzsTqNCzq\|M|f^roXwDI?dpQyHPSmQSLJ]djQuh\chiVhIadwQfhPshYSdJkcdQ|HHsnAQLGwdtQOH[SmQP|JGczQsHNskqRtHodRQZHTseaTTIocnQmHKseATlI{clQpHISkAQlAi`POhgTsJYDdAy``OngWsKyETJ{fBR_H_SnaZ|LwerRYHmsuqZdL{elR`HkSwAY|LSfFRRHqStA[TMSe`RfHhSxaYLKue^RMhdSrIX\K[fDRHHqSqA[\KOfJREHrspQ[tLoeFR]H`SvQWLGacTQHhDsbYPdOUgFSCh~s~Y^tOWfhSGHzT@q]lOWfbSFHxs{a`DOcf^SIHvS{A`\OgfZSJHttAQ\dO?ftR{I@S}q_LM_fnRiH{syQ^DPog\S\IETBQb\QCgpSbILTGabLPGg|SSIOTCqb|PSg^SUIGTCQa|QghZSkIVtIqdtQ[hJShIRTIAccD]Al@W`zo|W]sNIFhBrbOpggsCXuK~E]dTqjHTkieTTIgelrUXjStYYnLWgGSCYAT?u_\ONhHScyQLGyc`QNh|S~I^\N]frRwioDUikPTqjATZijdVYjxTei{TWiidVIi`TiikTZikDSYiXTeimTQiiDRiipTAiiTNiddSihhTEieTKidDRihHTAiOTNiddPyh`SUiYTEicdOyhPSIiOTCi_DPygHSUh}TEi^DOYfxRqhyT?i`DMYg`RiiESziZdNIfpRYhySwiZDMyf@RihmSxiWDVYePT}i{SpiXdWIehUIhgT`jJ?EwBK@i?z?[_NTg_CKAA?~Ug?PoHGCSFuB~@}abPQGg{SAIDD@cZqMHEsbEPdGoeLRFHb[p]WrKWfQRhhskyM\DM`ghSTII\DYanPThcSqYW|KEeFRAiETBi`lO}g`SPjfdsiy@\QmaVRjeDtYxp\YmmVLjgdqyxx[im_VHjedpixp[amWVFjaDpiwh[amEVFjcdoIwP[mmAVIj`dnYw`ZymIU~j\DoIwPZqmAUzj[DnyvHZylmU|j\dlYupZqlsUsj[DkYvHZMlmUqjVDlYupZAl]UsjUDkithZMlUUpjUDjythZAlUUmjSTiitLYelTUgjQdXIkhY]jEUejGDsiqP\QkaVRjEdtYyxW}k[VUjEDgipPYQkUUbjPD`ysXWelGUGjBDfysHWQl?UDj@dfIoPXykAU\jMD^io@Xyj}U\i|dfys@VulAT{i{DeYnPXmjqUYizDeIqxV]jiUUjKd[irXVMjgUYjJd[Yr@VAkkTnjIdZIlpXMjYUSisdhYlXY]jSUeirDcyqhUajMUSk^?BW@{?y?d?O_GuQ_A[@U?hXO?KODgA|dAqdXPkgUSjIL\gqZVWKfTuRH|b_oDWyKAU?rFLbgoJWFK[U@bFLcgn~XKK?uQr?D^oqTV}KeT~RH\^cqRXFJ|t}bHDcWnlVwKaUPQ}|ccnfXFJyuQA}dcWn`VqKaUPQ}L]{qBVlK`tzbGTb{nXX?JtUNa|\]_qDVfK`tyRGL]Op|VeK_TxRF|]KpvW|JotwbFd\wqZV_KftvrHtbkmvW{JmUNQzlbGpXWsKVUKrDlbCpVWoKSuJrDTaWp@WgKPUHrCL`spFWdKNuHBBt`kohW[KJUEbAl`GonWXKHuCRBD_wpjWOKZuBrEt_goVWGKEuAR@diO?r?Z_LOEgB[@e?x?]_MoFGBk@ytk?`_NoGGB{AE@@Wwk\UMZUpjut{YwlZenJVHjqt{Yzl\EnZU@iYtGYqlQekZU@i]tQYqlSEkZUhiqtgYilXeizUXi}tgYllYejjJddyqzX^kouWJR@jetsYYlKemzQhjYsmYwlJElzQPiysgYnlHejZPxi]tQYPlSEcJT`gutUYMlTEbJPHiQsUYelDEhZIXiEqiYakiEgzSHdYtCXWlPeTzRXgYsyYGlBefJNpgAr}YAk}e_ZOXfirwYDlAE]zMHf]reXxkxE]JM`eyrkXokyeZzL`eUrMXlkrEYzLPeQrQXaksEWzRxdequY_lNEUg@{?y?Z?L_FoBgAC@I?b?O_GoCjbG@U?f?S_HoDWAdiEtFYajHtdYqdXqk|U\jNtgYsDYUlNUemLFFzcHpmwq[_mMFFzcHpywy[_mCFDJ`HpUwM[RmEFDJ`PpUwU[RmKFBjaxo}wk[LmKFCjappAwm[PmAFIzdhoYxW[Dm@fFj_PpqwA[\mLE~j_@pmwqZ~mGe~Z^XpIw_Z{mEE}j`Xnavq[IlyfBZ]xo}vk[MlxFAJ`HnQwMZrmPEzzc`nExEZoltUyZ\\mqv\ZllrFIzdhmaxWZfmPEwzc`mUxEZcloFIJ[PqevA[imREvjZxq]xIZ\mREujcxlqxIZZljfIJZHqiuo[hlbupjWlkauTZHldurZXdkyu`ZNliEnzYpkEuiZ?l`EsZW`lMuEZQk\uNJFlcQqLXDkbuQZHDcuq^XMnDfOJgPwq{Y\@mif_jo`t]yk]BmhF_ji`wM{G\RmffaziHwuy_]KnAfRJhhwYy[]FnCfQjpPsm{O\HnAfPjoxsa{K\Fmafajg`wayE]HmYVLjelr]xr[wm\vNJfTrux~[}m~fZZlpwEz]]?m}FYjnpuqzy\jm{fXznPuezu\gmqF[zkpvUzI\smzFWZkXv]zC\wmwfVjmPuAz_\^mWFVJdptmx]\\mkfKZjPrMyo[qn_fbjq@{M{]^AnYfmJuxzi|k]xn\fkjvhzQ|w]rnQfqZwxyQ}O]bnOFpZsH{Q}K]anMfjzu@x}|a]]nLFiZr`ym{u]inJfjZr@yy|W]XnRFdJsxxU|O]UnGfnjqX{A{c]~nt_GwCcAI@F?c_PU?j?d_MoJWFkBUsZY\lIuhZUliv|B~T~W~x^tN|v|r}L~K~r^qN{V|B||~W~`^tNvVyr}L~K~Z^qNuVyB|\}g~Z^hNuVyb}D}_~\^hNvv|ryD|G~r^PN{VrR~T{w~v^NN}Vwb{l}[~H^bNrVvrxT}C}X^_NdvvByt|w}p^\NjvsrzL|S}v^SNlWI_As@a?n?V_KODjUDjItbYslXulZIldMqhXWkjuTjnLvmzt\umzv]Jm\vUzh\qmwv[JjDteyt\ZmmvVKHiBjAU_zoeGM[EqCbAS_woZgQ[FyBVAA_roYGOKEiBz@g_{o]gK{GiBBAM_qobGK[GQBBAG_qo`gK[DqBn@q_noUgMkDYB^@W_woTGLkDQA^@Q_joUGIKDyA^@Q_moUgIJ~qAM~y_an~gG[BqCbAS_^oOGQ[HY@nAY_\oeGFKBICV?s`FoKGPkFy@VAA_Vo_GDkFa@J?g_}oHgN[GQ?~AG_Po`gCK@u?v?X_JoCwAkCa?Z?O_eoQg@{CQ?N@E_CoOg@[?AAR?C_eo?gH[R`pQwj[RmJvEJatzE|^]onUVjjtlye|V]inRVhztEITC~afPOwhcSEIHDBacPNwgsSEHpDVa]PUWjSRmHpDPa]PTWfSTMF`DValO|W]STeITBj`vPRw\cSuIhBhagOxWiSM]ILB^acOwwgcMEEjBV`horWYKK}ELCvaXOqwecKeE@ClaVOpWWSREHLAzaTOnwdCJuDhCf`[PIwUsQeD\C``WPHWUSQMH@Ah`UPHWTSQMHdAbaZOhwecIUC|ClaWOgWdsHuGTCNaEPCw`CPEGpCDaBPDw_SPUGtB|aNP?WbcN}EtBv`mO}wZCNeNXFNbhpsWxK[uMVDobsp[g|[]YJ^FeaspyGl[]iJZFaappxGk{]AJJD[bopWG{kTyNFDsbZp]Gv[VYLrEsbmpvguKZIMvEcbipiGzKYYMnE[bIpdgrKXIKvE_bFpggqKXyKZEEb]pagwKWaL~E?bap`Gw{[IKFDybTp^gt{VqLZ@B_boPWHKCuAVGhcTqJXC[a]PJHEcMqGHH[caO~HAcKqPHB[cAOnHEbxp|hH[^QQRH?buqPG|{cINbGIc\qBhF{_qPzGCcWqKh@KayONGOb~qDH?[`IOBFwcYqMG~kbYNvC`aQpGwc{QmHRCpaUpJwe[RUHnHOdJqRHRKcySjIUdAqeHO{hQSFH{dCq_HPkfySVHwdNq]hR[hqRnIMcwqchMkhARfHnctqZXKkeeRNIGcnqWhPkgiRBIMckqchJkhAQvHUdNqShRkdQSvF`bqpww{{]eNVI`dQqgxY{leUvJ[d[qnH[KjiU~J[dXqwHU{lyTjIkdpqxhUKiyVJIedpqih[kmYTRJOdaqtHXKlIUNI}ddqohX{kAUZJgeBqyh`KmqWVKQe?rDh_kpQWFJseEq}HaKnYW^Jmd|q~h][nqVbKieQrIHd{qqXNKWeNrFHc[piXA~R^insW`KOuGVCBaBp@W}k^]NfFpbupzxWkkeUNI~d`qoXicuEYpLbejRXXjStMY|LNemRSXjCseYhLJejRRXgSs}YLLReaRSXhCruY@LLe^RQxfssUY@LFe`RNXjSrEY|KtemRKxkCr]ZHKzepRMXsO@S?q?V_hoRwIKXMKnETbEpcWp{dEQ^HLciqTxI[meVVJldvq{x]K{Q]bNAferrhwK{Y\vNIf^rqHvkzQ\vMwf^rlhvkyy]BNCfXrohuKzQ\RMkf[rlht[yq\fMmfTrkHtKxYZRLifLreHk{{Y[bNIfIrqHq[wi]ZMMfgrbHx{wQ\JMGfRr`hs[yYZ~M?fPr_hskyAZzM[e{rfhn[xYZfMYezreHmkuq[~LofOrZhrlBG?]?R?GsKh}k~I`nNogYsKh|[}y`nOsfusKH{{}a`ZNcgVrviC{}I`RN_gTruIC{|q`RNYgTsKHy[|Q`ZNUgVsEi@|@y_fO[gGsBIBL?i_nOGgIsGI?\?Y`JOCgPr}h~k~a_BNuf~_EOAg@[?i?X?Js`iMdGEbpQDgzS_yNdGEb|QDg|S_yKdF}bLP|gpS]yKDF]axPxgnS\YLTDmalPlgsSUYIDE}bdPTghS[YFdCUaPOzgbSMYHTB}a\PBgeSOO@w@C?e?N?G_CyXCxe[vMVfMrgXr|JYeJQyhbsmIW\JqeJR?hbsniW\Hye^QahhsgIYLJqdbR?hXslIV|JidVQuhVsmITlIQeRRKhRsqiTLHqeRRKhLsqiRLLAcjRQhJsriQ\G]cVQHhGsbYP|A]`VOhgUsKYD|MQgrR_iLswia|PAffRuiItCi]lPifbSUhvszIbLPAfNSShttCi\LL]erRThlsvyZlOqf~SMi@t?I`\NagJR{iBs}i`LSIg~TCiOtOIblRih^S}iXtNIeLQahnSwiTtJIelQIiNSeidtHIhLTaiZTOimtRij\TIi~TSiotTik\GEcJQBiEtBy`\OUgRSFi}T[YoDVUj|TriwT\ynTVUjdTxirT\ynTUejHTxi}TYyoDU}j|TljOSpyWlKMhvS|i^tLYfLR]lXU`jWThYttYMlPUdjTTgYstYMkDU\jLT`yodX}lLUTjTTeYtDX]lXUNjHTkYqDY}kxUHjLTbYrtWmmxU{jjtuivL\alvVWjXttiu|\iljVIjgttIx|\ImZU}jatoixL[AmNVmjmt{i{L^Am~VijqtyI{\]qnNU\jNtez?D^UoHVvk@T}Z?T^mn|WDk?T~Yy|\mmq?AkBUCzAo?YoRWS?AUAo?d_qofWU?@UCZA_?Yo^