CAT(3136,2)
Sparse6:
:~?p?_?O?G?C?k?I?E_B_AW@O?a?g?M?GOC_A[?{?b?\?LOEgB[@m?x?[_NOGGB{@u@D?`_X?J?D{Aw@`?l?VoJOEKAo@`?m?WoJGDkAy@b?n_WOQ_FSBa@p?x_\OMWF[Bq@z?|_\oNGESB]@f?s_ZOLWGkCeAN@C_cOPgGcCUAP@E_coPwH_By@}@J_e_OGGGCiAE@N_`?RgI?B}AC@T___SWIWCA@{@S_`_SgJWCmA]@Y_d?TgH_D]A[@X_e_UGJWDMA_@U_k?SWJGDIAm@T_l?TGPGAm@R?h_TOIwDSCE@|@?_`OOwF{CaAN@E_coPGGkICCcAW`F_dgQ?HUCsAR`K_dGQGH]CFAD`AO`WOcGMCPAE`BO`wPCG]C]AI`I?bGPoHACcAJ`G_aWQWGuCw@k_u_fwRoEaCu@h`M_YgS?EmCq@q`L?[WLoHUB]AU_x_dwM?HaBsA[`L_^wNWHyBwA^_~?gGRgFuBgA?_y__GMoGECA@v_{__gN?GIBCAZ_p_fGKgHuBGA]_r_gGKoH}AwAH_m_agJoGmBAAL`F?VwK?GqCLAG`Bo_GOSGEEaB_`h?wGYWMEEgBa`j?wWYgMIDNAh`TOiGTcImDGB]`n_gwZgIEEyAa`R?vgSgL}EIBE`c?qgWwKeD}BJ`_?rGWGKyECBL`g?pGWWK}DmAx`]?lWVOJMDuAs`]_mGVoJYEmAl`m?kgZ?IyD]BX`l_kGUGLi@V?i_SojWUCIyDbAn`XPGObKPiGtCXaLPEWa[PUGhCUaJpEGdcQaHRCfaTPIwc{QqHVCgaSpIgcGPmHKC[aM`HGcgPmGyCaaP`FGboQEG{CaaN`HGc?QYH?CdaN`Gwh?PqGvC\aNPFwcCTOIWDMad`SwhWS}IYDQae@SWhgTAHYDRaf@Jgi?REIaCqaV`SghwRAHeDGaY@QGhGRUISCwac`LghOR]I[Cxaf`MgiGRqI_Cza^@SwiORuH}DDa_@PggGS]IGDDa``PwgOSYJiDDabpPga[PUGlCSaKPDwe[RQHjCua[PLwn?V}K?Dxa}@^goGVuKEDyb@@]wn?VIJwDqa{`[wnOVQJyDra|`\GmgTiJiDZaz@VGjwV]JmD]az@VWigVyKEDXaj@^wi_WAKADWb@@TwlOUYJUDfas@YWkGUqJGDnao@ZWkOUyJIDpap`[GmSVMJhEjBQphWssY]LNEebAP`go{WUKPEHbNpgGscYELDEbbMPfWrsXYKrEWbLPewq{XEK`EQbIpcwqcWiKXENbEpawps\_MXFObfprWyK[yMXFObeprgyK[}MNFEbdpqGxK[iMLFFbdpqGxK[iLVEkbWPjWt{YyLXEnbVPjWuCYmLaF?b`@kguW[EMEEsba`lgw_ZULmF?b[@oWvG[UMCEyba@nGwWZmLmE|b[@nWv_ZyLsE}b[`nwvWZ}LaEgbX@iGtOZYLSEtbX`iWtGZQPQCOaFPBw`kPIGbCOaFpBW`sPIGbCIaDpBG`SOmGXBw`{o}w^SNqFzCCaAp@g_{OeGPB}a?o~w_COMGDBt`zo|g\{NAFhBp`xO{w\KMmFTBk`vOzW[[MQFJBe`sOxwtCYiLRH\cmQWHKKdyQ~H[cmqWHJ{dyRBH@cbQOhG[cQQJHEc_qPHGScUQFGkcSqJhDSauPVGpcXQJxEcbMP`GpcXqKHD{bQPdG[CKQE`Ac`kOjG^CJQFPBK`wOnGYCPqEpCC`oPBG^CPQHPBs`sPHGgCjQHpI{aWQpGfCkqI@J[aWQtHUCOQHPI{d_PDHXCPqH@J[aCQtHFCgQSPHCdGQRHRCdQTPHcdOQVG{CeqMpHkbsQ\G~CfqO@H{bwQ\GzCcqN@G{c_P|G~CdQO@HcbsQVGtCgQSPEsdSPpHRCZqT@FSdGPrGhCYqJ@FCagPlGlC[qIpFSb[P\F]CpQW_z{eKNBFbCppw@KceONDFub|p|w~C^eNtFQCIQDOyc\KOlFTCJqE?y{\WOrFXB}Pu?~k\kN|F[B~pvP?K\gO@GNBwQCO}k`GNfFqCHp{P@s`?NhGGBtQAO|[]{OTGJBuQBO|k]wOXFcC@PxP?[_WNLGCBrq@o|C_SNRK[?PoHGCkAY@P?f`SOiWT[I]DXAicIQDXAs`aOrGVcRQHxDCaEPDGdcOQGxCcPMGhCTaJpEGasQuH\CnaWPKgeK\aMrF[blPuwzk\yN@Fabppvw{K^ANbFsbxp|W}S^mNnFxb|P|g~C]QNJFebspxw|C]iNVFnbuPzg|k\IMfFVbiPtWystkZBL[EpRVPk[uOY|LeEoRXPj{u[YjLXEtRU`l[u_YlLkEjrYPjCtcYZLMElRQ`i{skYpLHEirT`hcsKY^LCEgRP`iKs[YdLDEiRQ@i[rUXhKpeXRLhe[qmXPKheTRJHdkqaXVKleSrIhdcu[WlKVEtRE`lCpcZXKZEtrE@lKrGWdKpEHrC@ekrKWhKTEZRCPecqwWVKKEVRBPd{owX`KNEWRJp`SqGWTKbEDrB@ccowXJKLERrBpcsqGW`KbEHRH`akqOWfKfEIRHPaKoCVhKADxR?p][nSW@JuD~q|p^sn_WLJxEAQ}p_{ngWJJ|ECQ~@`KoGWHK@EBR?p`CoSW@KFD~q~``Kn_WlKWD{rDp^cpkVzKYD|rEP^SpoVdK^DyRFP][pwVjJuEOq|pcCm{W~JnEMQ{@bsn?WzJpEOQ{PcKscS`LMDIQcphSg{YVLKDHQcPhkmwXnKzDsqzPfSmoXxKxDtQypfCmKXzJcE^QxPf{mWY@JgE`QxpgKlsXnKwDnRMPZ{m?XtJaE]QwPf[l[XzJZE^qv@gSlgYBJWE_QuPfss{UbLODhRSpYctCUfJUEhQtPicsKSjLCDJRPPQ{sWSpLFDLRQ@RKh{ZBIZEpRX@RcuST@LeDMqf`k[tkTBIaEmqgpj{twTHL_DRRV@SkkkUJJKDbQrPW{kwUPJODcqq`X{gcTrIID\Qb@V[gkTxIMD^QbPVkfsSJH}D@qa@N{g?SNIADBQ_POck?RvI~C{QoPNSkGRnJCC}QopNKi[RbHrDSQipMsfGTRHtDUQi`McekTfIsCuQlPLsjWR`IvCvqm@LkiwRJIlCrQXpUSegT^HgDWqYPUDCw?n?V_KOEWBK@a?n?X_KOFWBs@}@@?a_Oq{h][n]VhJtdzR@h_coeWJKFeCQ{H\{nEWlKZeJrEHbSpeCFAD`AOVwJcEAAz@`_nOWgK[EQBJ@f_rQqxXckuU\JOdfq_xOcgUSLIGdBqaXPsgmSXILdDQ^hNkgASDH~d?q[XMSfMRhHucyq]HM{feRtH{c|qXXKseiRNHhcsQYxLceuR\HocvshQT\IWdXQfHUsjaTDJ?dTQnHSsbQRLGwctQZHHSbqRdHCc|QOHMs`qR|G_d@QcHCsaaSLGodDQbHDsZIL|EybbPogusWyKdEUbLPggrsWyKdEUbNPegsSWIJlD}bBPagnSQqLLCobVPHGtSQALTCsbVPhGdSOaKDCKazPFGnSWQGdEGaJPEGnsTqGTD_aFPXGaSUaG|CWaxPDGlsTqHDD_aRPXGdSQqJTCoaxPLGlsdAIdHSajQRGiSTaQ|H_ajPUHJSRqOLGGa\QCGhs_qIDGSadQEGgs[`llFGZ\LnGxr[aMcvCbhLoGxs^AEdFk`fOtG}sLaN|B_c@OvG~SJaMtAsbjPvGVs]aETF_``PxGWsIaN\Fo`NP|GSS^aDLAoc@OjG~sGaQdACcfOcHIsHQQtH_`FOeHJsEqF|@o`~P?GMsOQBtA?aBO^G_SEQMl@SblPyGLS\qAtFc_nPwGKRsqSk|OdLNTHRrtaTC|_dTNVHSrrQT[{wdXNNHUsj`yC|Gd`QnFgrpqO{{_cPNHHCrqaPS{ocXNJHDsePulHg\lQZF[Sf@vKz[c|Q\F\SbPv\H?]@M{HFRnQP{zwcdM~HGroQSC{Gc~NBHOrpASTIO]LQbFarkHuKzM\^MsfXRiXtkyi\VMmfUSR`q|C{[pPOFKsSPrSxoadMZGhsZ@qLEw[hPlFHrcaL|FC[lPoFIr^qFtBc[@OyF?sNPo\Bo[HOzF@R^QFtBcZrLzG\r]aFcvw`tL{G]r[qOLGGZhQBEys`@mtGWZpQDEzr|q@{~__`NxGGr}aAT@O^xNzGHsAP}L?g^dNrGDr|a@s~S_XNsGEryA@D?O^JOBFrRya?t?S^NNhGBrvp~k~w^@O@Fpr~p{L?G^HO?FpRypzK}o]tNlFlrz`zc|w^`N\Fvrf`s[xs\HM^FQri@sCy[\DMeFOr`PpcwW[ZMGFFR`pp[x?[TMHFFthqF|CAaB?Y_LoFIsxVElMTqiydiYt@VMjgUgizDiY\lMyf`RphxSzy[|MafTRhhuSyysHJulCQ}jPcnys`KAlKRAjQcoYsHJ]lCQwh]DgyVPYYduUch[dhYUHYilUQsjTckyt`JYlWQthXDiiqxOQf}UXi?DeiqhOMkkSAjKD?YoXWekSUCjDd`Yp`WYk[UGjEd`yoHW}jyURj@Dciq@Vyj}USj?DcYrXUUkwTejMdXyrpUal?TiisdfyjxUmj?TkiodZikPVAjGTniudWyi`TAieTNiidSiipSuioTMijdSYcXS]iOScicdHYhPQYhOTKiRdQybpTegyTYiNdUyc@Tqi{SaiOdVYgHP]iCSWi`dEYg`PigwTEiadEyaHQ}gcSoiJDKYePPMhgSTiXdDI`XRmgWS{i_DCIfhOuh{SNi^dBidHOUgKSiiBdIy`@QqgSSmiCdJYmxNijoRxh|d]Y^`Vif{T{h}d]y]XRUfiSvhyDLi]pRafoSyhzdMYZpMIeuRchoCwy[hLqfKR^hmcwYXxLUe_RUhgctyYPLeesRShhcuIXHKMeGRIhacqyX@KueMRMhbCrGAk@Y?hVnKZt{BE|^GppVsK[t{rFL^CppWRKEuBbAd`?ojWPKKUCbAt_{onVzK?u?r?D^ooDWDJ~u@a~t_OnzWGJzU@q}l^goXWHJzt}R@\^_oTWXJsuEa|T`wnXWZJttzbBl]soxVbJmtxAzt]GnNVgJoTxQ{L]Wm~VVJgtuAyT\cmfVYJiTvAyt\kmjWdJdtrBCt[spNVMKSTsBDT[{pRVDKTtpbDd[[pZVGKVUKAxTa{mRWpJ^uKawD[CpfVAKYTpBEt[KpjUyJXtlqvtZWlzUxJYTmAv\ZoljUlKNtjbCDY{pBUoKPUHAuTZCpF?K_DoBZMxgIsCXwl@e]zMpgQrqYCl@e]jFTbmp|W{k^uNZL@cAqAXckaeYZGPeUrKXCkreOzJpdaq}XXkoEUjJ`eMqyX`kleWjN`dIryXRk~ETJNxdUsAXVl?ETjLPcqrUXLkuERjIHeyr]XNkgEZZGpfArcXGkwePzMXceriXJkyEQjUOo}WTKKeFRAx`kMeFZBi`tozg\dTYifTSiitUIi|j{tnYrL_UlBWLjSuFZALXUnbUtj_tdYsL\UkrV\j[tzYtL[ulbVdkGtbZ@LWUnrT|k?t^ZBLWunbUDh[tzYwLKUmRRLjgstYZL]UmrRdgmsXYNlGUbjPlgUsLYFlDUaZPDiKsbYQLQUcrSlhOtLYTLRuiBQthstRY]LTUfrT\i?tXYaLVUgRTln[?d?M_FoCGAK@M`|Oxg\sNIFTBuaPPIgesQyHLCq@L?b_SOHGC{AUOtGZcMqFHB{`yMdFSbipswy{\Y[NMEfCRahokwelfUsjYtlivDZ]xY[^mLvFJcDpuw|[`MBvGb_\qKwH[cMAvHb`DqSwL[BMDVBb_toowH[LMCVAr_lo[wRZ|MIvDb^to?wn[YL~v?bbLoCwp[NL}v?baTp?v|[PL~v?Ra\o?whZvl{U~J^\nevtZuMRVGR]dqGvhZtMPu|RclnWxHZmMIvER]DpWv^[VLwvEb]Tp_vfZgMCuyR`TmgwV[LLuuyr`toovXZalruwz[dmUvLZUMFutraDl_wbZZMIUuRa\lgwdZwLgU}RYLlOvtZTL|u~BY\n[udZIMMUqrblkwx@[ZLfurBbtksw~ZCLmUvrXDkSuzZ_LbUwRW|kcu|?D_COAW?{?i?LU`jPTgystYUlHJwd{q~H^SnuVvK@e@Q~h^{oMW@KOeGrDHaSpUWfTPietRih|TIi`RUhlSuIYlL]erRBhaSpYWtKaeNZ[lnUvzZlmEv@]jnUVjzuDyu|\]hnQvhjtTy]|P]FNHvaRqlwg{l]KNJvarrDw_{h]FNEvaBptx?{V]PNEVbrpLxG{T]An@v`JolwE{L]pMRvkbdDzKxT]uMSvJBulzOxV\zNKvfboDxgzx]\M~vernlxoz|\yNQVfrmly?zl]`Mzv]RsTyKzp\sNQVZrr|v?|@\pNOv[bs\vK|D\hNKvZbrtxgzT][MuvfRl\xkzX]RMmvdBjtxSy~]UMoVdrkTuC{p]LMjvUBptw{yr]QMmVUbqLx?yv\QN@V`BiLwSyf\UN@v`bidtS{B]pMdvRbuTs{|l\ONYvkrhdss|h]jM^vOrtdysy@]oMaVObttsC|^]gM^VhRfLyWxv[{NTViRfly[xt\gMXvMBktuOxh\fMYvWretr[zJ[lMavJbgtq{yN[qMdVKBhDrCyR_nG`SOyGlCQaNPEfDrbHpkwy[^MOfGrchqcxM[jMUj[tnYvTZml|U{mRvIJddqixR[jmsVWzkduYzJ\fmUvJjd|rAxd[pobgS{HADRAS`TojGQ[HaD^AU`WoSgR[DQCz@U`NoUgSKDqDJ@W`PoPgP{CaCbAW_godGH[HYAZ@M`HoSgG{DYAR@S_doVGIKDiA^@W_eo\gF[BqBr@?_}o_GG[FyAJ?}_|oJgJ{Ea@n?q_ooKGKkEI@r?s_ro_gC[AiCVAE_QoHgPKAqCZ?g`AoZGA{Ei?r@m_Lo[gB{FQ@B@o_MoAwA[?u?^?T_Gn~gO[?ACJ?A`BoAGPkGa?N?C`Dn{gMz~QBq~u_|n~GOJ~iBz@}^{nxgJz}aBB@g^tnzGKZ~ABI~m_roZFz[Eh}z@m^no[F{J}QBj@q^pnrvyJ|\}q~R^iohfuzzaDRAm^^oifv[J@}BAk^]oefr{Hp|A}c`NniGSjyYDA}a`PnifwZyp}Y}m^ankFwzzP}U}q^cn`Fozx@zy|y^CnbfoZwpz}}?^DncflzxPza|w^JneFmZxpzi|u^LoRWHKCmAN@P_fhcsqyXTKqeZRMhfssIYLLIefRSn`Vnjvlz}}B^?nZvmJvLzi|x]zpeWsKXmKnE^bMowgw{[aFJBkbgpqg[{[qFVFM`spagt{WqLbEqbIpmGqKZQKfEubFpggn{YYKBEcb@piGokWYLVEGbUpXwl[UeJZDpavpLgt{RaLbEqa\plGfkZaIBEua^pggd[YYHZCmbQpKGtKRQLZCqbTpIWb{QEHFCfaQpeGa{PaKnC[bOpDGr[XqGfCYbNozgv[NAL~Bwb_o{gvkNYMJBsb`otgv[LaLzBYb^ovGwKMAMJB]b`oqgw{[aEZFM`ipqgX{\AEbFK`hpUgh{UAIbD[ahpWgi{UQIrD]aip[gg[SQJjDEazpQGnKSqJzDIa|o}gV{KIF~B?`}opg_KOQERCA`ap@gU[OaDjCI`ZpBGVKPADzCM`\pvhL{]ARbFecypyHM{faNJFacxqWhF[eYPfHgcYqLhL[bqRZGwcqqIHF{aiQNGec_qJHGkbAQRHAcVq`hB[gaOzIIcNqGHPkhAPJIMcPq]h@{fqObH}cHqDHO[gQOrI?cJp|hI{^aQrFycnp~HJ[_ARBF}cmpyhH[cqNZHMbvqSG}K^QQjHQbxq?gzk\iORFQcAqBGyk\YONGIbkqohX{lAUJJQdbquHXklQUVJUdcquhU{lqTrIydnqnH[[kAVJI}doqyhUKmyT^JgdYqzHU[iqVbJedTqchR{hQTBIUdPqhHRKiaSzIedLrDH][nQWVJueEq}H`{nqWfJyeGq~ha{oAWrKAeNrAHcKpiWNKCeMrJhc[rAXJKqeRrIHekqqXrKieZlVukZUC@I?\?R_FoCWADgmsXYNlEubjQDq]xP[imTvJJdMI^DPajpSwikTe[PLoeqr[hlKuyZjLuerrZHn[uiZrLWewr[hk[tiZrL[ezrVhn[vQZBLVeerRxiKtMYjLVeerRxiKtMYjLWebrUhg{saY~LGeprVHh[siZBLce\rXhfkryZRLie_rZhgkuqYFNU?D_BO@w@C?i?R_ioSwI{DeAv@\Zslyu|j[TmMvHZdlruxka]PRGjcUqKXD{\]MfFTbkpvWz\@M_ZONgGsDyAl?i^vOCfzr|I?K~y_FOEf}sAH~K~I^jNof|rzh~{}y^zNqfzr{H~K}I_BNcg@s@H|L?Y^NOIfusAH|[|]]rNZfnrwXzk|]]zNXflrwXz{wQ]jMEfhr_Hyk|IZzNOe~r_hyK{Q^JNEfrrqH{[{i^ZNMftrrH|Kwa_jOKfDrciA{wq_fOMfFsCHqKyy\vMqf[rlHwKzA\zNAfZrjHv{yI[jMUfQreht[xy\RM[fOreHs|Ji]jNPfhmdvRJhlsyy`\NpCwa{PUGvC\aKr`Xo{wEZzL~f@rhXs{yE\FMjfSrjXt{zE\fMtfZsxI]LMYffRghys|i\\Nif^RwhusyIZLMievRchmsxiZ|MIf^R_husnyVlJmdvQ|h^sli[\IyezR_hWsmIZLLidfQshnshITLIAdZQehTsiIRlIIdZQ]hTsgIT|JQczQuhPsfiULIYdfQwhQstiQ|KqcbROhHsriQlLIcvRShKsaiXLKAcNQMh`spIOlKicZQGhbs_iXLFaeBPyh`s^IWlKib~Q?hbsrILlKyb^ROgws[iY\FYenPshisWI]LEIffPchys|iK|NabVRygssEiFlAI`~P?gKsFIG\CY_~O_gasKiIlBiarOoglsLiI|Dy`jP[g[sQiClCq`NPOgSsSiD\Ca`^PMgUtiiTLIudVQxhVskYU\JUdm}^^OnhVszyd|FGHcDq?x?k_uONOXgLsFYB|AM`BPPgdsRYH|DMaRPTgjsUYJ|DuavVkjptwI}|^QnJVmjrtyi}L]anfUrjYtkYu|ZmlrUjjVtjYt\Y}lZS?jQs~IslYYf~UgiAtiI_|YYgFUWjcteix\\IkzU]jetgix|YAmbVAjFtnIqlXYmNUOj^tpIplXImBU}j?tpIp\WQmNV?jBtoipLZqkFTqjgtYIxlUim^VQiutZixLVAmVTMjltvIg|\QiJVUictuIh\\yiZSwjotMi{\RqnJS}jrtyig\]aiBVkiUtzieL^AhfVqiZt|ielQynjSijnttIcLQImnScjktIIzlQYmvUoiKtkib\PylrUsiMtDiv\PQlnTOiytSim|TQjrTyijt^ij\VqirT[iCtVi`\OqjBSMiptXia\UQgbYqj|UjY~diun|YplWU?zTt^et\W@lCUFZPT`}sdWflEUGZPtaUpDYPkkUdZJTh]stXblMUWZJdh}spX^lQUSzStdUqlYjlOURZIDietDXNk_UXZGTe]qHXhkbUYzLtcmrXXHkwULZMdburdWvk|UMzMtb}rpWxlBUKzNdaepTX~kUU_ZOTbEsHWnkIU@ZBT_uoLWRkJUAZ@t`EopWJl|Uzz^Dn}v`Z|lzV?z]ToUvh[@lpUtz[DmmvHZXllUxzZdmuu|ZhliUoZXTj}uXZBlaUrzXDlMuLZPmEUnZ_tjMwPYtmDUlzVDpEw\YzmZVCzbdrext[Tm^VEzgDp]xx[XmRVJZbtqmx@[nmPVKZedqexd[dmfVOzhTtUyX\VmgVPZjDs]yP\RjRtiYskwUZzL~f?r`xo\uYz^\gmwvYjm\uizZ\umsv\Jk|uqyv\mmmvVjmLuAzf\smqv\jk\i}tbYlhQsfYR|IEdNQbkFu@z?l_eoZWJnPvhZs|ye|Z]jnGVeZqTxm{h]\nGVdzsDxU{d]^nPV]Zsdvm|L\|nSV^ztTwE|X]BnJV`ZrDw]{X]^nLVaZpTxu|@]NiKtDYa|PmgzS^nhVvz|D|U}l^`nrVuZ{T|u~H^ZnbVwZ{T{e}|^JneVxZyD}e}\^fn_VlZvTy}|l^Dn]VkZvD{M||]r?C_AO@L`]obWXkHuEzAlze|^]tnWvlzu]?z@F_coGwHkA]?z@R_QoOwCKD]@Q~V_UnuwEJ|}@i~b_]nywFJ}]@Z?F_SoAwEk?}@b?R_[oEwFk@\~r@V_gnzv~kC\~b@B_cn|wHk?MDB@r_yohwNKImBzAn`AolwOKJMArAJ_mobwKKHMBJAV_uofwLKHmE_?D`\ot?@KJw?RBX``?BWZkK]EW?D`r?BW[KKn