# SageMathCell online --> https://sagecell.sagemath.org/?q=cgpefe # Order = 2810; Moore bound = 10886. # # ''' Main properties of the graph dhar2810 | Ord.: 2810 / Size: 9835 / Diam.: 5 / Avg.dist: 4.34674 / 5-reg.? False / Girth: 5 michel2758 | Ord.: 2758 / Size: 9653 / Diam.: 5 / Avg.dist: 4.33261 / 5-reg.? False / Girth: 7 DH2756 | Ord.: 2756 / Size: 9646 / Diam.: 5 / Avg.dist: 4.33212 / 5-reg.? False / Girth: 7 Symmetry properties of the graph dhar2810 | Aut.group.ord.: 1405 / Cayley ? False --- vtx.trans. ? False -- edge.trans. ? False michel2758 | Aut.group.ord.: 1379 / Cayley ? False --- vtx.trans. ? False -- edge.trans. ? False DH2756 | Aut.group.ord.: 2756 / Cayley ? True --- vtx.trans. ? True -- edge.trans. ? False Degree histogram michel2758 : [0, 0, 0, 0, 0, 0, 0, 2758] Degree histogram DH2756 : [0, 0, 0, 0, 0, 0, 0, 2756] Automorphism group structure C_n is the cyclic group of order n; x means direct product; : means semidirect product. dhar2810 : C281 : C5 | center order: 1 michel2758 : C197 : C7 | center order: 1 DH2756 : C53 : C52 | center order: 1 dhar2810 distance distrib from vtx. 0: [1, 7, 42, 250, 1190, 1320] michel2758 distance distrib from vtx. 0: [1, 7, 42, 252, 1187, 1269] DH2756 distance distrib from vtx. 0: [1, 7, 42, 252, 1182, 1272] ''' import networkx as nx dhar2810 = Graph(r":~?jyaK_JgD{BA@b?q_XoLGEkBY@n?w_[oMgF[Bq@z?}_^oOGGKCIAF@C_aoPgG{CaAR@I_doRGHkCyA^@O_goSgI[DQAj@U_joUGJKDiAv@[_moVgJ{EABB@a_poXGKkEYBN@g_soYgL[EqBZ@m_vo[GMKFIBf@s_yo\gM{FaBr@y_|o^GNkFyB~A?`?o_gO[GQCJAE`BoaGPKGiCVAK`EobgP{HACbAQ`HodGQkHYCnAW`KoegR[HqCzA]`NogGSKIIDFAc`QohgS{IaDRAi`TojGTkIyD^Ao`WokgU[JQDjAu`ZomGVKJiDvA{`]ongV{KAEBBA``opGWkKYENBG`coqgX[KqEZBM`fosGYKLIEfBS`iotgY{LaErBY`lovGZkLyE~B_`oowg[[MQFJBe`royG\KMiFVBk`uozg\{NAFbBq`xo|G]kNYFnBw`{o}g^[NqFzB}`~p?G_KOIGFCCaAp@g_{OaGRCIaDpBG`kOyG^COaGpCga[PQGjCUaJpEG?C?E?D?B_AO@W?s?]?P?H_DOAw@c?u?\?N_GOCWAS@M?h?T_JODwBC@e?t?Z_MOFWBs@}@@?`_POGwCcAU@L?f_SOIWDSAm@X?laVpKGeKRIHfCsaYpLge{RaHrCya\pNGfkRyH~D?a_pOgg[SQIJDEabpQGhKSiIVDKaepRgh{TAIbDQahpTGikTYInDWakpUgj[TqIzD]anpWGkKUIJFDcaqpXgk{UaJRDiatpZGlkUyJ^Doawp[gm[VQJjDuazp]GnKViJvD{a}p^gn{WAKBEAb@p`GokWYKNEGbCpagp[WqKZEMbFpcGqKXIKfESbIpdgq{XaKrEYbLpfGrkXyK~E_bOpggs[YQLJEebRpiGtKYiLVEkbUpjgt{ZALbEqbXplGukZYLnEwb[pmgv[ZqLzE}b^poGwK[IMFFCbappgw{[aMRFIbdprGxk[yM^FObgpsgy[\QMjFUbjpuGzK\iMvF[bmpvgz{]ANBFabppxG{k]YNNFgbspyg|[]qNZFmbvp{G}K^INfFsbyp|g}{^aNrFyb|p~G~k^yN~G?c?q?h?[_QOJGEcBqAH@K_iOVGKcEqBh@{`AObGQcHqDHAk`YOnGWcKqEhB[`qOzG]cNqGHCKaIPFGccQqHhC{aaPRGicTqJHDkayP^GocWpEWbSPmGxC\aNPFwcCQEHDCbaQPHWcsQ]HPChaTPIwdcQuH\K?e?r?h_[oQWJKEeBrAH`KoiWVKKeErBh`{pAWbKQeHrDHakpYWnKWeKrEhb[pqWzK]eNrGHcKqIXFKceQrHhc{qaXRKieTrJHdkqyX^KoeWrKhe[rQXjKueZrMHfKriXvK{e]rNhf{sAYBLAe`rPHgksYYNLGecrQhESbMPhGtcZQLxFCbePtGzc]QNXFsb}Q@H@c`QOxGccUQLHFccQQXHScmQXHLcfQRxICdEQdHRciQTXIsd]QpHXclQUxJcduQ|H^coQWXKSeMRHHdcrQXxLCeeRTHjcuQZXLse}R`HpcxQ[xMcfURlHvc{Q]XNSfmRxH|c~Q^xOCgESDIBdAQ`XOsg]SPIHdDQaxPcguS\INdGQcXQShMShITdJQdxRCheStIZdMQfXRsh}T@I`dPQgxSciUTLIfdSQiXTSimTXIldVQjxUCjETdIrdYQlXUsj]TpIxd\QmxVcjuT|I~d_QoXWSkMUHJDdbQpxXCkeUTJJdeQrXXsk}U`JPdhQsxYclUUlJVdkQuXZSlmUxJ\dnQvx[CmEVDJbdqQxX[sm]VPJhdtQyx\cmuV\JndwQ{X]SnMVhJtdzQ|x^CneVtJzd}Q~X^sn}?KLW_BbUW@?ti?QLZ_DBVG@Wtu?WL]_EbVw@ouA?]L`_GBWgAGuM?cLc_HbXWA_uY?iLf_JBYGAwue?oLi_KbYwBOuq?uLl_MBZgBgu}?{Lo_Nb[WC?vI@ALr_PB\GCWvU@GLu_Qb\wCova@MLx_SB]gDGvm@SL{_Tb^WD_vy@YL~_VB_GDwwE@_MA_Wb_wEOwQ@eMD_YB`gEgw]@kMG_ZbaWF?wi@qMJ_\BbGFWwu@wMM_]bbwFoxA@}MP__BcgGGxMACMS_`bdWG_xYAIMV_bBeGGwxeAOMY_cbewHOxqAUM\_eBfgHgx}A[M__fbgWI?yIAaMb_hBhGIWyUAgMe_ibhwIoyaAmMh_kBigJGymAsMk_lbjWJ_yyAyMn_nBkGJwzEB?Mq_obkwKOzQBEMt_qBlgKgz]BKMw_rbmWL?ziBQMz_tBnGLWzuBWM}_ubnwLo{AB]N@_wBogMG{MBcNC_xbpWM_{YBiNF_zBqGMw{eBoNI_{bqwNO{qBuNL_}BrgNg{}B{NO_~bsWO?|ICANR`@BtGOW|UCGNU`AbtwOo|aCMNX`CBugPG|mCSN[`DbvWP_|yCYN^`FBwGPw}EC_Na`GbwwQO}QCeNd`IBxgQg}]CkNg`JbyWR?}iCqNj`LBzGRW}uCwNm`MbzwRo~AC}Np`OB{gSG~MDCNs`Pb|WS_~YDINv`RB}GSw~eDONy`Sb}wTO~qDUN|`UB~gTg~}D[O?`Vc?WU@?IDaOB`XC@GUX?UDgOE`Yc@wUp?aDmOH`[CAgVH?mDsOK`\cBWV`?yDyON`^CCGVx@EE?OQ`_cCwWP@QEEOT`aCDgWh@]EKOW`bcEWX@@iEQOZ`dCFGXX@uEWO]`ecFwXpAAE]O``gCGgYHAMEcOc`hcHWY`AYEiOf`jCIGYxAeEoOi`kcIwZPAqEuOl`mCJgZhA}E{Oo`ncKW[@BIFAOr`pCLG[XBUFGOu`qcLw[pBaFMOx`sCMg\HBmFSO{`tcNW\`ByFYO~`vCOG\xCEF_PA`wcOw]PCQFePD`yCPg]hC]FkPG`zcQW^@CiFqPJ`|CRG^XCuFwPM`}cRw^pDAF}PPa?CSg_HDMGCPSa@cTW_`DYGIPVaBCUG_xDeGOPYaCcUw`PDqGUP\aECVg`hD}G[P_aFcWWa@EIGaPbaHBQwaWsqGgLLaIbRgaos}GmLOaKBSW??tI?ALR_@BTG?WtU?GLU_AbTwBoA[VANTIDOFoD?mG]kSJ_O?IP[W|[gX?`?TAx@z@Ou@C?jDqbuQ`sAK@WJeFlDBwC_AsVMNZIGOHODom_]wSP_R?Jp\G|sgd?f?WAy`zpPM@O?pDtbvqacAc@cJkFoDDWDOBKVYN`IJOIoE_mw^CSV_U?LP\w}Kgp?l?ZA{@{`Pe@[?vDwbxQbSA{@oJqFrDEwE?BcVeNfIMOKOFOnO^OS\_X?Mp]g}cg|?r?]A|`|PP}@g?|DzbyqcCBS@{JwFuDGWEoB{VqNlIPOLoG?ng^[Sb_[?OP^W}{hH?x?`A~@}@QU@s@BD}b{QcsBkAGJ}FxDHwF_CSV}NrISONOGoo?^gSh_^?Pp_G~ShT?~?cB?`}pQmA?@HE@b|qdcCCASKCF{DJWGOCkWINxIVOOoH_oW^sSn_a?RP_w~kh`@D?fBA@~`REAK@NECb~QeSC[A_KIF~DKwH?DCWUN~IYOQOIOoo_?St_d?Sp`h?Chl@J?iBBa?PR]AW@TEFc?qfCCsAkKOGADMWHoD[WaODI\ORoJ?pG_KSz_g?UPaX?[hx@P?lBDA@@RuAc@ZEIcAQfsDKAwKUGDDNwI_DsWmOJI_OTOJop__WT@_j?VpbH?siD@V?oBEa@pSMAo@`ELcBqgcDcBCK[GGDPWJOEKWyOPIbOUoK_pw_cTF_m?XPbx@KiP@\?rBGAA`SeA{@fEOcDQhSD{BOKaGJDQwK?EcXEOVIeOWOLOqO_oTL_p?Ypch@ci\@b?uBHaBPS}BG@lERcEqiCESB[KgGMDSWKoE{XQO\IhOXoM?qg_{TR_s?[PdX@{ih@h?xBJAC@TUBS@rEUcGQisEkBgKmGPDTwL_FSX]ObIkOZOMor?`GTX_v?\peHASit@n?{BKaCpTmB_@xEXcHqjcFCBsKsGSDVWMOFkXiOhInO[oN_rW`ST^_y?^PexAkj@@t?~BMAD`UEBk@~E[cJQkSF[C?KyGVDWwN?GCXuOnIqO]OOOro`_Td_|?_pfhBCjL@z@ABNaEPU]BwADE^cKqlCFsCKL?GYDYWNoG[YAOtItO^oP?sG`kTj`??aPgXB[jXA@@DBPAF@UuCCAJEacMQlsGKCWLEG\DZwO_GsYMOzIwO`OPos_`wTp`B?bphHBsjdAF@GBQaFpVMCOAPCXCNqmcGcCcGrG_D\WPOHKPgP@IzOaoQ_bSaCTv`E?dPEpCKjpAL@JALqG`VeC[AVC[CPQnSG{CoGxGbD]wQ?HcPsPFI}OcORObkaOPc`H?epF`CcbJAR@MANQHPEYCgA\C^CQqK{HSC{G~GeCYGQoH{Q?PLGsodoS?cCa[Pi`K?gPGPC{bVAX@PAOqI@EqCsAbCaCSQLkHkDGHDGhCZgR_ISQKPRGvofOSoc[agPo`N?hpH@DSbbA^@SAQQIpFID?AhCdCTqM[ICDSHJGkC\GSOIkQWPXGyogoT_csasPu`Q?jPHpDkbnAd@VARqJ`FaDKAnCgCVQNKI[D_HPGnC]gT?JCQcP^G|oiOUOdKb?P{`T?kpI`ECbzAj@YATQKPFyDWAtCjCWqN{IsDkHVEdc_GToJ[QoLKH?ojoV?dcYYQA`W?mPJOswcFAp@\AUphxGQDcAzCmBSAOkJKDwH\Egc`gU_JsQ{LQHBolOVod{YeQG`Z?npK?tOcRAv@_AWPihGiDoB@CpBTaP[JcECHbEjcbGVOKKRGLWHEomoW_eSYqQM`]?pPKotgc^A|@bAXpjXHAD{BFCsBVAQKJ{EOHhEmccgW?KcRSL]HHooOXOekY}QS``?qpL_u?cjBB@eAZPkHHYEGBLCvBWaQ{KSE[HnEpceGWoK{R_LcHKopoY?fCZIQY`c?sPMOuWcvBH@hA[pkxHqESBRCyBYARkKkEgHtEscfgX_LSRkLiHNorOYof[ZUQ_`f?tpN?uodBBN@kA]PlhIIE_BXC|BZaS[LCEsHzEvchGYOLkRwLoHQosoZ_fsZaQe`i?vPNovGdNBT@nA^pmXIaEkB^D?B\ATKL[F?I@EycigZ?MCSCLuHTouO[OgKZmQk`l?wpO_v_dZBZ@qA`PnHIyEwBdDBB]aT{LsFKIFE|ckGZoM[SOL{HWovo\?gcZyQq`o?yPPOvwdfB`@tAapnxJQFCBjDEB_AUkMKFWILF?clg[_MsS[MAHZoxO\og{[EQw`r?zpQ?wOdrBf@wAcPohJiFOBpDHB`aV[McFcIRFBcnG\ONKSgMGH]oyo]_hS[QQ}`u?|PQowgd~Bl@zAdppXKAF[BvDKBbAWKM{FoIXFEcog]?NcSsMMH`o{O^Ohk[]RC`x?}pR_x?eJBr@}AfPqHKYFgB|DNBcaW{NSF{I^FHcqG]oN{T?MSHco|o_?iC[iRI`{@?PSOxWeVBxA@AgpqxKqFsCBDQBeAXkNkGGIdFKcrg^_OSTKMYHfo~O_oi[[uRO`~@@pT?xoebB~ACAiPrhLIG?CHDTBfaY[OCGSIjFNctG_OOkTWM_Hip?o`_is\ARUaA@BPToyGenCDAFAjpsXLaGKCNDWBhAZKO[G_IpFQcug`?PCTcMeHlpAOaOjK\MR[aD@CpU_y_ezCJAIAlPtHLyGWCTDZBiaZ{OsGkIvFTcwG`oP[ToMkHopBob?jc\YRa_?@C@VOywfF?@AGamptxMQ?CCQD]BkA[k?KGeI|FWcxg?_POT{MqHro@Oagj{\eRg_B@D`W?zOfR?FAJaoPuhMi?OCWD`Bla\[???QJBFZczG?G?gUGMwHuo?_@WkS\qRm_@_B@Wozgf^?C?EappvXNA?I?MDcBnA]K?W?]JHF]c{g?w@?USM}HxoA?AGkk\}Rs_C_C`X_{?fj?I?HarPwHNY?U?SDfBoa]{?o?iJNF`c}G@g@WU_NCH{oB_AwlC]IRy_F_E@YO{Wfv?O?KaspwxNq?a?YDiBqA^k@G?uJTFcc~gAW@oUkNIH~oD?Bgl[]US?_I_F`Z?{ogB?U?NauPxhOI?m?_DlBra_[@_@AJZFfd@GBGAGUwNOIAoE_CWls]aSE_L_H@Zo|GgN?[?QavpyXOa?y?eDoBtA`KMGIWG_FsChg[WSsPANhHRox?hoaG^SQg`q`RpCW}kdRBeAgAH@|`IiFMDPCQbzQT[M_IcGeFvCjG\GTKPMNnHUoy_i_a_^_Qm`t`TPDG~Cd^BkAjAI`}PJAFYDVCTb{qUKMwIoGkFyCkg\wTcPYNtHXo{?jOaw^kQs`w`UpDw~[djBqAmAK@~@JYFeD\CWb}QU{NOGqD]F|CmG]gPgI}NzH[o|_bWU?^wQy`z`F?kG~sdvBwAM`W`~pJqFqC]Apb~qVkNgG}DcG?Cng^WQ?JIO@H^o~?cGUW_CR?`}`G_kx?KeBB}AP`YA?`KIF}CcAsc@QW[O?HIDiGBCpG_GQWJUOFHap?_cwUo_OREa@`I?lh?ceNCCAS`Za@PKaGICiAvcAqXKOWHUDoGECqg_wQoJaOLHdpA?dgVG_[RKaC`J_mX?{eZCIAV`\AA@KyGUCoAycCQX{OoHaDuGHCsG`gRGJmORHgpB_eWV__gRQaF`L?nH@SefCOAY`]aApLQGaCuA|cDqYkPGHmD{GKCtgaWR_JyOXHjpD?fGVw_sRWaI`M_nx@kerCUA\`_AB`LiGmC{B?cFQZ[P_HyEAGNCvG??RwKEO^Hmo?OfwWO`?R]_@@O?ohACe~?BA_``aCPMA?GDABBcGq[K?SIEEGGQCwg?oSOKQOdHpo@oggWg`KRc_C@P_pXA[fJ?HAb`bAD@MY?SDGBEcIQ[{?kIQEMGTCyG@_SgK]OjHsoBOhWX?`WRi_F@R?qHAsfV?NAe`caDpMq?_DMBHcJq\k@CI]ESGWCzgAOT?KiOpHvoCoiGXW`cRo_I@S_qxBKfb?TAh`eAE`NI?kDSBKcLQ][@[IiEYGZC|GB?TWKuOvHyoEOiwXo`oRu_L@U?rhBcfn?ZAk`faFPNa?wDYBNcMq^K@sIuE_G]C}gBoToLAO|H|oFojgYG`{R{_O@V_sXB{fz?`An`hAG@Ny@CD_BQcOQ^{AKJAEeG`D?GC_UGLMPBI?oHOkWY_aGSA_R@X?tHCSgF?fAq`iaGpOQ@ODeBTcPq_kAcJMEkGcD@gDOU_LYPHIBoIolGYwaSSG_U@Y_txCkgR?lAt`kAH`Oi@[DkBWcRQ`[A{JYEqGfDBGE?UwLePNIEoKOlwZOa_SM_X@[?uhDCg^?rAw`laIPPA@gDqBZcSqaKBSJeEwGiDCgEoVOLqPTIHoLomgZgakSS_[@\_vXD[gj?xAz`nAJ@PY@sDwB]cUQa{BkJqE}GlDEGF_VgL}PZIKoNOnW[?awSY_^@^?wHDsgv?~A}`oaJpPqA?D}B`cVqbkCCJ}FCGoDFgGOW?MIP`INoOooG[WbCS__a@__wxEKhB@DB@`q@hXQIAKECBcbRAc[C[KIFIEedHGH?WWMULMIQoQOow[oY]Se_d@a?xgt?hN@JBC`r`iHQaAWEIBfbSadKCsKUFOEhdIgHoWoMaLSIToRopg\GYiSk_g@b_yWtWhZ@PBF`t@ixQyAcEOBibUAd{DKKaFUEkdKGI_XGMmLYIWoTOqW\_YuSq_j@d?zGtohf@VBI`u`jhRQAoEUBlbVaekDcKmF[EndLgJOX_MyL_IZoUorG\wZASw_m@e_zwuGhr@\BL`w@kXRiA{E[BobXAf[D{KyFaEqdNGK?XwNELeI]oWOrw]OZMS}_p@g?{gu_h~@bBO`x`lHSABGEaBrbYagKESLEFgEtdOgKoYONQLkI`oXosg]gZYTC_s@h_|WuwiJ@hBR`z@lxSYBSEgBub[Ag{EkLQFmEwdQGL_YgN]LqIcoZOtW^?ZeTI_v@j?}GvOiV@nBU`{`mhSqB_EmBxb\ahkFCL]FsEzdRgMOZ?NiLwIfo[ouG^WZqTO_y@k_}wvgib@tBX`}@nXTIBkEsB{b^Ai[F[LiFyE}dTGN?ZWNuL}Iio]Ouw^oZ}TU_|@m?~gw?in@zB[`~`oHTaBwEyB~b_ajKFsLuG?F@dUgNoZoOAMCIlo^ovg_G[IT[`?@n`?WwWizA@B^a@@oxTyCCF?CAbaAj{GKMAGEFCdWGO_[GOMMIIoo`OwW__[UTa`B@p@@GwojFAFBaaA`phUQCOFECDbbakkGcMMGKFFdXgPO[_OYMOIroaoxG_w[aTg`E@q`@wxGjRALBdaC@qXUiC[FKCGbdAl[G{MYGQFIdZGQ?[wOeMUIuocOxw`O[mTm`H@s@Agx_j^ARBgaD`rHVACgFQCJbeamKHSMeGWFLd[gQo\OOqM[Ixodoyg`g[yTs`K@t`BWxwjjAXBjaF@rxVYCsFWCMbgAm{HkMqG]FOd]GR_\gO}MaI{ofOzWa?\ETy`N@v@CGyOjvA^BmaG`shVqD?F]CPbhaKcICM}GcFRcXWSO]?PIMgGrOgo{GaW\QPf`Q@w`CwygbPAdBpaI@tXEeDKFcCSbjALSI[NIGiFUcYwT?]WPUMmGuOiO{wao\]Pl`T@y@Dgz?b\AjBsaJ`uHE}DWFiCVbkaMCIsNUGoFXc[WTo]oPaMsGxOjobG]s\iPr`W@E_|ozWbhApAL`zpuxFUDcC[BwBmAMsJKGyFpF[c\wU_PwNcMyG{OlObw^K\uPx`Z@G?}_zobtAvAO`|PvhFmDoCaBzBnaNcJcHEFvF^c^WVOQONoN?G~Omocg^c]AP~`]@H_~O{Gc@A|AR`}pwXGED{CgB}BpAOSJ{HQF|Fac_wW?QgN{NEHAOoOdW^{]MQD``@J@??{_cLBBAUa?PxHG]EGCmC@BqaPCKSH]GBFdcaWWoR?OGNKHDOpoeG_S]YQJ`c@K`?o{wcXBHAXa@pxxGuESCsCCBsAPsKkHiGHFgcbwX_RWOSNQHGOrOew_k]eQP`f@M@@_|OcdBNA[aBPyhHME_CyCFBtaQcLCHuGNFjcdWYORoO_NWHJOsofg`C]qQV`i@N`AO|gcpBTA^aCpzXHeEkD?CIBvARSL[IAGTFmcewZ?SGOkN]HMOuOgW`[]}Q\`l@P@B?}?c|BZAaaEP{HH}EwDECLBwaSCLsIMGZFpcgWZoS_OwNcHPOvohG`s^IQb`o@Q`Bo}WdHB`AdaFp{xIU@oDGD]AvQMP`Q@qDHD]avaMX`U@sDID^AvqM``Y@uDJD^awAMh`]@wDKD_AwQMp`a@yDLD_awaMx`e@{DMD`AwqN@`i@}DND`axANH`mA?DODaAxQNP`qAADPDaaxaNX`uACDQDbAxqN``yAEDRDbayANh`}AGDSDcAyQNpaAAIDTDcayaNxaEAKDUDdAyqO@aIAMDVDdazAOHaMAODWDeAzQOPaQAQDXDeazaOXaUASDYDfAzqO`aYAUDZDfa{AOha]AWD[DgA{QOpaaAYD\Dga{aOxaeA[D]DhA{qP@aiA]D^Dha|APHamA_D_DiA|QPPaqAaD`Dia|aPXauAcDaDjA|qP`ayAeDbDja}APha}AgDcDkA}QPpbAAiDdDka}aPxbEAkDeDlA}qQ@bIAmDfDla~AQHbMAoDgDmA~QQPbQAqDhDma~aQXbUAsDiDnA~qQ`bYAuDjDnb?AQhb]AwDkDoB?QQpbaAyDlDob?aQxbeA{DmDpB?qR@biA}DnDpb@ARHbmB?DoDqB@QRPbqBADpDqb@aRXbuBCDqDrB@qR`byBEDrDrbAARhb}BGDsDsBAQRpcABIDtDsbAaRxcEBKDuDtBAqS@cIBMDvDtbBASHcMBODwDuBBQSPcQBQDxDubBaSXcUBSDyDvBBqS`cYBUDzDvbCAShc]BWD{DwBCQSpcaBYD|DwbCaSxceB[D}DxBCqT@ciB]D~DxbDATHcmB_E?DyBDQTPcqBaE@DybDaTXcuBcEADzBDqT`cyBeEBDzbEAThc}BgECD{BEQTpdABiEDD{bEaTxdEBkEED|BEqU@dIBmEFD|bFAUHdMBoEGD}BFQUPdQBqEHD}bFaUXdUBsEID~BFqU`dYBuEJD~bGAUhd]BwEKE?BGQUpdaByELE?bGaUxdeB{EME@BGqV@diB}ENE@bHAVHdmC?EOEABHQVPdqCAEPEAbHaVXduCCEQEBBHqV`dyCEEREBbIAVhd}CGESECBIQVpeACIETECbIaVxeECKEUEDBIqW@eICMEVEDbJAWHeMCOEWEEBJQWPeQCQEXEEbJaWXeUCSEYEFBJqW`eYCUEZEFbKAWhe]CWE[EGBKQWpeaCYE\EGbKaWxeeC[E]EHBKqX@eiC]E^EHbLAXHemC_E_EIBLQXPeqCaE`EIbLaXXeuCcEaEJBLqX`eyCeEbEJbMAXhe}CgEcEKBMQXpfACiEdEKbMaXxfECkEeELBMqY@fICmEfELbNAYHfMCoEgEMBNQYPfQCqEhEMbNaYXfUCsEiENBNqY`fYCuEjENbOAYhf]CwEkEOBOQYpfaCyElEObOaYxfeC{EmEPBOqZ@fiC}EnEPbPAZHfmD?EoEQBPQZPfqDAEpEQbPaZXfuDCEqERBPqZ`fyDEErERbQAZhf}DGEsESBQQZpgADIEtESbQaZxgEDKEuCXBIa[@gIDMEvCXbIq[HgMDOEwCYBJA[PgQDQExCYbJQ[XgUDSEyCZBJa[`gYDUEzCZbJq[hg]DWE{C[BKA[pgaDYE|C[bKQ[xgeD[E}C\BKa\@giD]E~C\bKq\HgmD_F?C]BLA\PgqDaF@C]bLQ\XguDcFAC^BLa\`gyDeFBC^bLq\hg}DgFCC_BMA\phADiFDC_bMQ\xhEDkFEC`BMa]@hIDmFFC`bMq]HhMDoFGCaBNA]PhQDqFHCabNQ]XhUDsFICbBNa]`VuDuFJCbbNq]hVyDwFKCcBOA]pV}DyFLCcbOQ]xWAD{FMCdBOa^@WED}FNCdbOq^HWIE?FOCeBPA^PWMEAFPCebPQ^XWQECFQCfBPa^`WUEEFRCfbPq^hWYEGFSCgBQA^pW]EIFTCgbQQ^xWaEKFUChBQa_@WeEMFVCXASq_HWiEOFWCXaTA_PWmEQFXCYATQ_XWqESFYCYaTa_`WuEUFZCZATq_hWyEWF[CZaUA_pW}EYF\C[AUQ_xXAE[F]C[aUa`@XEE]F^C\AUq`HXIE_F_C\aVA`PXMEaF`C]AVQ`XXQEcFaC]aVa``XUEeFbC^AVq`hXYEgFcC^aWA`pX]EiFdC_AWQ`xXaEkFeC_aWaa@XeEmFfC`AWqaHXiEoFgC`aXAaPXmEqFhCaAXQaXXqEsFiCaaXaa`XuEuFjCbAXqahXyEwFkCbaYAapX}EyFlCcAYQaxYAE{FmCcaYab@YEE}FnCdAYqbHYIF?FoCdaZAbPYMFAFpCeAZQbXYQFCFqCeaZab`YUFEFrCfAZqbhYYFGFsCfa[AbpY]FIFtCgA[QbxYaFKFuCga[ac@YeFMFvChA[qcHYiFOFwCha\AcPYmFQFxCiA\QcXYqFSFyCia\ac`YuFUFzCjA\qchYyFWF{Cja]AcpY}FYF|CkA]QcxZAF[F}Cka]ad@ZEF]F~ClA]qdHZIF_G?Cla^AdPZMFaG@CmA^QdXZQFcGACma^ad`ZUFeGBCnA^qdhZYFgGCCna_AdpZ]FiGDCoA_QdxZaFkGECoa_ae@ZeFmGFCpA_qeHZiFoGGCpa`AePZmFqGHCqA`QeXZqFsGICqa`ae`ZuFuGJCrA`qehZyFwGKCraaAepZ}FyGLCsAaQex[AF{GMCsaaaf@[EF}GNCtAaqfH[IG?GOCtabAfP[MGAGPCuAbQfX[QGCGQCuabaf`[UGEGRCvAbqfh[YGGGSCvacAfp[]GIGTCwAcQfx[aGKGUCwacag@[eGMGVCxAcqgH[iGOGWCxadAgP[mGQGXCyAdQgX[qGSGYCyadag`[uGUGZCzAdqgh[yGWG[CzaeAgp[}GYG\C{AeQgx\AG[G]C{aeah@\EG]G^C|AeqhH\IG_G_C|afAhP\MGaG`C}AfQhX\QGcGaC}afah`\UGeGbC~Afqhh\YGgGcC~agAhp\]GiGdD?AgQhx\aGkGeD?agai@\eGmGfD@AgqiH\iGoGgD@ahAiP\m??GhDAAhQiX\q?AGiDAahai`\u?CGjDBAhqih\y?EGkDBaiAip\}?GGlDCAiQix]A?IGmDCaiaj@]E?KGnDDAiqjH]I?MGoDDajAjP]M?OGpDEAjQjX]Q?QCXDEajaj`]U?SCYDFAjqjh]Y?UCZDFakAjp]]?WC[DGAkQjx]a?YC\DGakak@]e?[C]DHAkqkH]i?]C^DHalAkP]m?_C_DIAlQkX]q?aC`DIalak`]u?cCaDJAlqkh]y?eCbDJamAkp]}?gCcDKAmQkx^A?iCdDKamal@^E?kCeDLAmqlH^I?mCfDLanAlP^M?oCgDMAnQlX^Q?qChDManal`^U?sCiDNAnqlh^Y?uCjDNaoAlp^]?wCkDOAoQlx^a?yClDOaoam@^e?{CmDPAoqmH^i?}CnDPapAmP^m@?CoDQApQmX^q@ACpDQapam`^u@CCqDRApqmh^y@ECrDRaqAmp^}@GCsDSAqQmx_A@ICtDSaqan@_E@KCuDTAqqnH_I@MCvDTarAnP_M@OCwDUArQnX_Q@QCxDUaran`_U@SCyDVArqK`_Y@UCzDVasAKh_]@WC{DWAsQKp_a@YC|DWasaKx_e@[C}DXAsqL@_i@]C~DXatALH_m@_D?DYAtQLP_q@aD@DYataLX_u@cDADZAtqL`_y@eDBDZauALh_}@gDCD[AuQLp`A@iDDD[auaLx`E@kDED\AuqM@`I@mDFD\avAMH`MA_D?DNBbPtHdcud@PA_afppoygqsZR_h@O`S?w{\UXZLiOSogWiC[_MkKmEtWI_SOTCMPFUeVRYsDSIIIbFHBjbJpl]AkDEDQBcptxd{up@VAbahPq_z?r?ZX_k@Q@SoxS\aX`LlOUOhGi[[kMqKpEuwJOSgTOMVFXeWrZcDkIUIhFKBlBK`luAwDKDTBePuheSu|@\AeaiprOzWrKZ^_n@R`T_xk\mXfLoOVohwis[wMwKsEwWK?T?T[M\F[eYR[SECIaInFNBmbLPmMBCDQDWBfpvXekvH@bAhakPs?zorWZd_q@T@UOyC\yXlLrOXOigjK\CM}KvExwKoTWTgMbF^eZr\CE[ImItFQBoBM@meBODWDZBhPwHfCvT@hAkalpso{GrcZj_t@U`V?y[]EXrLuOYojWjc\ONCKyEzWL_ToTsMhFae\R\sEsIyIzFTBpbMpm}B[D]D]Bipwxf[v`@nAnanPt_{_roZp_w@W@Voys]QXxLxO[OkGj{\[NIK|E{wMOUGU?MnFde]r]cFKJEJ@FWBrBN`nUBgDcD`BkPxhfsvl@tAqaopuO{wr{Zv_z@X`W_zK]]X~L{O\okwkS\gNOL?E}WN?U_UKMtFge_R^SFcJQJFFZBsbOPnmBsDiDcBlpyXgKvx@zAtaqPv?|OsGZ|_}@Z@XOzc]iYDL~O^Olgkk\sNULBE~wNoUwUWMzFje`r_CF{J]JLF]BuBP@oEC?DoDfBnPzHgcwDA@Awarpvo|gsS[B`@@[`Y?z{]uYJMAO_omWlC]?N[LEF@WO_VOUcN@FmebR_sGSJiJRF`BvbPpo]CKDuDiBopzxg{wPAFAzatPw_}?s_[H`C@]@Yo{S^AYPMDOaOnGl[]KNaLHFAwPOVgUoNFFpecr`cGkJuJXFcBxBQ`ouCWD{DlBqP{hhSw\ALA}aupxO}Wjy[N`F@^`Z_{k^MT}MGObonwls]WNgI~fCWQ?W?U{NLFsd_BaSHCKAJ^FfByaoHpMCcEADoBrp|XWGwhARB@awPy?}okE[T`I@`@[O|C^YUCMJOdOogmK]cNmJAfDwQoWWVGNRFvd`bbCH[KMJdFiB{AoxpeCoEGDrBtP}HW_wtAXBCaxpyo~GkQ[Z`L@a`\?|[^eUIMMOeopWmc]oNsJDfFWR_WoVSNXFydbBbsHsKYJjFlB|aphp}C{EMDuBup}xWwx@A^BFazPz_~_k][``O@c@\o|s^qUOMPOgOqGm{]{NyJGfGwSOXGV_N^F|dcbccIKKeJpFoB~AqXqUDGESDxBwP~hXOxLAdBIa{p{O~wki[f`R@d`]_}K^}UUMSOhoqwnS^GO?JJfIWT?X_VkNdG?deBdSIcKqJvFrC?arHqmDSEYD{Bxq?XXgxXAjBLa}P|@?Oku[l`U@f@^O}c_IU[MVOjOrgnk^SOEJMfJwToXwVwNjGBdfbeCI{K}J|FuCAArxrED_E_D~BzQ@HY?xdApBOa~p|p?glA[r`X@g`_?}{_UUaMYOkosWoC^_OKJPfLWU_YOWCNpGEdhBesJSLIKBFxCBashr]DkEeEAB{q@xYWxpAvBRb@P}`@?lM[x`[@i@_o~S_aUgM\OmOtGo[^kOQJSfMwVOYgWONvGHdibfcJkLUKHF{CDAtXruDwEkEDB}QAhYox|A|BUbAp~P@WlY[~`^@j``_~k_mUmM_Onotwos^wOWJVfOWW?Z?W[N|GKdkBgSKCLaKNF~CEauHsMECEqEGB~qBXZGyHBBBXbCQ?@@ole\D`a@l@aP?C_yUsMbOpOugpK_CO]JYfPwWoZWWgOBGNdlbhCK[LmKTGACGAuxseEOEwEJC@QCHZ_yTBHB[bDq?pAGlq\J`d@m`b@?[`EUyMeOqovWpc_OOcJ\fRWX_ZoWsOHGQdnBhsKsLyKZGDCHavhs}E[E}EMCAqCxZwy`BNB^bFQ@`A_l}\P`g@o@bp?s`QV?MhOsOwGp{_[OiJ_fSwYO[GX?ONGTdobicLKMEK`GGCJAwXtUEgFCEPCCQDh[OylBTBabGqAPAwmI\V`j@p`c`@K`]VEMkOtowwqS_gOoJbfUWZ?[_XKOTGWdqBjSLcMQKfGJCKaxHtmEsFIESCDqEX[gyxBZBdbIQB@BOmU\\`m@r@dP@c`iVKMnOvOxgqk_sOuJefVwZo[wXWOZGZdrbkCL{M]KlGMCMAxxuEF?FOEVCFQFH\?zDB`BgbJqBpBgma\b`p@s`e@@{`uVQMqOwoyWrC`?O{JhfXW[_\OXcO`G]dtBksMSMiKrGPCNayhu]FKFUEYCGqFx\WzPBfBjbLQC`C?mm\h`s@u@epASaAVWMtOyOzGr[`KPAJkfYw\O\gXoOfG`dublcMkMuKxGSCPAzXuuFWF[E\CIQGh\oz\BlBmbMqDPCWmy\n`v@v`f`AkaMV]MwOzozwrs`WPGJnf[W]?]?X{OlGcdwBmSNCNAK~GVCQa{HvMFcFaE_CJqHX]GzhBrBpbOQE@ConE\t`y@x@gPBCaYVcMzO|O{gsK`cPMJqf\w]o]WYGOrGfdxbnCN[NMLDGYCSA{xveFoFgEbCLQIH]_ztBxBsbPqEpDGnQ\z`|@y`h@B[aeViM}O}o|Wsc`oPSJtf^W^_]oYSOxGidzBnsNsNYGqG\CTa|hv}F{FmCXcMqIx]w{@B~BvaLAF`D_n]]@a?@{@EhBsaqVoN@P?O}GbW`{PYJwf_w_O^GPmO~Gld{bocOKNeGwG_CVA}XwUGGFsC[cOQJh^O{LCDByaMaGPDwni]FaB@|`FXCKa}VuNCP@o}wboaGP_JzfaW`?^_PyPDGod}BpSOcNqG}GbCWa~HwmGSFyC^cPqKX^g{XCJB|aO@hXC_nu]LaE@~@GGsoaQV{NFPBO~gcGYYPIJ}fbw`o^wQELMGdd~bqCO{N}HCEfcRA~xxEG_G?CabSAHh_?{dCPC?aP`iHCwoA]RaHA?`GwtGa]WANIPCp?Wc_YePOK@fdWa__OQQLSGge@BqsPSOIHIEicSb?hx]GkGECdbTaIX_W{pCVCBaR@ixDOoM]XaKAA@Hgt_aiWGNLO?@@GcwYqPUKCfew?G_gQ]LYGjeAbrc?GOUHOElcUB@Xxu?EGKCgbVAJH_o{|?CCEaS`jhDgoY]^_AaB`IWtwauWMNOO@`@wdOY}P[KFfgW?w`?QiL_GmeCBsS?_OaHUEocVbAHyM?QGQCjbWaJx`G|H?ICHaU@kXE?oe]d_DaD@JGuObAWSNROB@AgdgZIPaKIfhw@g`WQuLeGpeDbtC?wOmH[EdbXrAxye?]GWCmbR@l@`_|T?OCKaV`hgucoq]j_GaE`JwswZSWYNUOC`BWe?Y]LjKLfjWAW`oRALOEuEFBts@OOyHaEgbZRBhhY?iG]CpbS`lp`wsn?UCNaX@iWu{o}YW_JaG@KgtOZ_W_LKoE@CGeWYiLpKOeegBGaGRMLUExEGbR[@gPEHgEjb[rCXhq?uGcCsbU@m`aOsz?[CQaY`jGvSpIY]_MaH`LWtgZkWeLNoF`CweoYuLvKRegGBwa_RYL[E{EIBSKA?PQHmEmb]RDHiI@AGiCvbV`nPagtF?aCTa[@jwvkpUYc_PaJ@MGu?ZwWkLQoH@DgfGZAL|KUehgCgawReLaE~EJbS{AWP]HsEpb^rDxia@MGoCybX@o@b?tR?gCWa\`kgwCpaYi_S`EPMwuW[CWqLToI_bOf_ZMMBKXejGDWPkRqLgFAELBTkAoGwHyEsb`REhiy@YC\C|bY`opbWt^?mANA^@lWw[pmYo_V`FpNguo[OWwLWoK?c?fwZYMHK[ekgEGQCR}LmFDEMbU[BGHCI?EvbarFXjQ@eCbD?b[@p`botj?sAQA_`mGwspyYu_Y`HPOWvG[[W}LZoL_cogOZeMNK^emGEwQ[SILsFGEOBVKB_HOIEEybcRGHji@qChDBb\`qPcGtv?yATAa@mwxKqEY{_\`IpPGv_[gXCL]oN?d_ggZqMTKaengFgQsSULyFJEPbV{BwH[IKE|bdrGxkA@}CnDEb^@r@c_uB@?AWAb`ngxcqQZA__`KPPwvw[sXIL`oO_eOh?Z}MZKdepGGWRKSaM?FMERBWkCOHgIQF?bfRHhkYAICtDHb_`rpcwuN@EAZAd@oWx{q]ZG_b`LpQgwO\?XOLcoQ?f?hW[IM`KgeqgHGRcSmMEFPESbX[CgHsIWFBbgrIXkqAUCzDKba@s`dOuZ@KA]Ae`pGySqiZM_e`NPRWwg\KXULfoR_foho[UMfKjesGHwR{SyMKFSEUBYKYCXqLYHMDNB]Y@ULCKyElcfQfhnP?lEbE\bVARpRwvi_VbQBN@jhH{h}ZuOKPhPfgtwd?T?LzgEWsorwY}Q`I_e}CBSY[X}L_HPDOb^I@mLOL?EocgqgXnh?xEhE_bWaS`SOvu_\bTBO`kXISiIZ{ONPipgWuOdKTEL}gFwt_sOZIQfIbe~cCCYsYILeHSDQB^yAEL[LEErciQhHo@@DEnEbbYATPSgwA_bbWBQ@lHIkiU[AOQPkPhGugdWTKM@gHWuOsgZUQlIef@CCsZKPcLkHVDRb_iA]LgGrEucjqhxoX@PEtCYBZaU@T?wM_hbZALPlxJCia[GOTPlpEov?dcTQMCgIwv?b[ZaQrIhfAcDcZcPoLqHYDTB`YAuLsGxExclQihop@\EzC\B\AUpTWwY_nb]AMpmhJ[im[MOWPnPF_vWdoTWMFgKWvobsZmQxIkfCCESZ{P{LwH\DUbaIBMM?G~E{cmqjXpH@hF@C_B]aV`Towe_tb`AOPnXJsiy[SOZPopGOvod{T]MIgLww_cKZyQ~InfDcFC[SQGL}H_DWBayBeMKHDE~coQkHp`@tFFCbB_AWPUGwq_zbcAPpoHKKjE[YO]PqPH?wGeGTcMLgNWxOcc[ERDIqfFCFs[kQSMCHbDXbbiB}MWHJFAcpqkxpxA@FLCeB`aX@U_w}`@bfARPoxKcjQ[_O`PrpHow_eSTiMOgOwy?c{[QRJItfGcGc\CQ_MIHeDZBcYCUMcHPFDcrQlhqPALFRChBbAXpUwxI`FbiASpphK{j][eOcPtPI_wwe_ToMRgQWyodS[]RPIwfICHS\[QkMOHhD[bdICmMoHVFGcsqmXqhAXFXCkBcaY`VOxU`LblAUPqXLSji[kOfPupJOxOekTuMUgRwz_dk[iRVIzfJcIC\sQwMUHkD]BdyDEM{H\FJcuQnHr@AdF^CnBeAZPVgxa`RboAVprHLkju[qOiPwPK?xgewT{MXgTW{OeC[uPcHmfLCIs]KRCM[GqcvbeiD]NGHbFMcXaZxrXApFdCqBfaKxM?xm`XbrAXPrxE_fA[wOlPxpKoy?bQRaM[gUw|?e[\APiHpfMcJc]cROMaGtcxBfYDuNSHhFPcZA[hrpA|FjCtBhALhMWxy`^buAYpshEwfM[}OoPzPL_yWb]RgM^gWW|oes\MPoHsfOCKS]{R[MgGwcybgIEMN_HnFSc[a\XsHBHFpCwBiaMXMoyE`dbxA[PtXFOfY\COrP{pMOyobiRmMagXw}_fK\YPuHvfPcLC^SRgMmGzc{BgyEeNkHtFVc]A]Hs`BTFvCzBkANHNGyQ`jb{A\puHFgfe\IOuP}PN?zGbuRsMdgZW~Ofc\eP{HyfRCLs^kRsMsG}c|bhiE}NwHzFYc^a]xsxB`F|C}BlaNxN_y]`pb~A^PuxG?fq\OOxP~pNoz_cARyMgg[x??f{\qQAH|fScMc_CS?MyH@c~BiYFUOCI@F\c`A^htPBlGBD@BnAOhNwyi`vcAA_pvhGWf}\UO{Q@PO_zwcMS?Mjg]X?ogS\}QGI?fUCNS_[SKN?HCd?bjIFmOOIFF_caa_XthBxGHDCBoaPXOOyu`|cDAaPwXGogI\[O~QApPO{OcYSEMmg^x@_gk]IQMIBfVcOC_sSWNEHFdABjyGEO[ILFbccA`Hu@CDGNDFBqAQHOgzAaBcGAbpxHHGgU\aPAQCPQ?{gceSKMpg`XAOhC]UQSIEfXCOs`KScNKHIdBbkiG]OgIRFecda`xuXCPGTDIBraQxP?zMaHcJAdPxxH_ga\gPDQDpQo|?cqSQMsgaxB?h[]aQYIHfYcPc`cSoNQHLdDBlYGuOsIXFhcfAahupC\GZDLBtARhPWzYaNcMAepyhHwgm\mPGQFPR_|Wc}SWMvgcXBohs]mQ_IKf[CQS`{S{NWHOdEbmIHMP?I^FkcgabXvHChG`DOBuaSXPozeaTcPAgPzXIOgy\sPJQGpSO|odIS]MygdxC_iK]yQeINf\cRCaSTGN]HRdGBmyHePKIdFnciAcHv`CtGfDRBwATHQGzqaZcSAhp{HIghE\yPMQIPT?}GdUScM|gfXDOic^EQkIQf^CRsakTSNcHUdHbniH}PWIjFqcjacxvxD@GlDUBxaTxQ_z}a`cVAjP{xJ?hQ]?PPQJpTo}_daSiN?ggxE?i{^QQqITf_cScbCT_NiHXdJBoYIUGqIpFtclAdhwPDLCYDXBzAUhQw{IafaLakp|hJWh]]EPSPF@U_}wdmSoNBgiWbgjS^]QwIWfaCTSPwTkNoH[dKbpIImG}IvFwcmaeXwhDXC_D[B{aVXRO{UalaOamP}XJohi]KPVPG`VO~OdySuNEgjwcWjk^iQ}IZfbcUCQOTwNuH^dMBpyJEHII|FzcoAfHx@DdCeD^B}AWHRg{aaraRanp~HKGhu]QPYPI@W?~geES{NHglWdGkC^uRCI]fdCUsQgUCN{HadNbqiJ]HUJBF}cpafxxXDpCkDaB~aWxS?{maxaUapP~xK_iA]WP\PJ`Wp??eQTANKgmwdwk[_ARII`fecVcR?UOOAHddPBrYJuHaJHG@crAghxpD|CqDdC@AXhSW{ya~aXaqq?hKwiM]]P_PL@X`?We]TGNNgoWegks_MROIcfgCWSRWU[OGHgdQbsIKMHmJNGCcsahXyHEHCwDgCAaYXSo|EbDa[asQ@XLOiY]cPbPM`YP?oeiTMNQgpwfWlK_YRUIffhbt{RoUgOMHjdSBsxzAHyJTGFcuAiHy_|bC}DjCCAZHTG|Q]qa^atqAHLgie]iNXpO@Z@@GeuTSNTflGgGlc_eR[IifjBukSGUsOSHmdTbthzYIEJZGIcvaixyw|nDCDmCDaZxT_sk]waaavQAxM?iqYVN[pP`Zp@_fATYLKFmggwl{_qRaIleeRv[S_V?OYHpdVBRPzqIQJ`GLcxAjhhk|zDIDpCFA[hTwsw]}adawqBhMWi}Y\N^pR@[`@wfMT_LNFoGhgmS_}RgIoefrwKSwVKO_HsdWbS@{II]JfGOcyakXiC}FDODsCGa\XUOtC^CagayQCXMojIYbNapS`\PAOfYTeLQFpgiWmk`IRmIrehRw{TOVWOeHvdYBSp{aIiJlGRc{AlHi[}RDUDvCIA]HUgtO^IajazqDHNGjUYhNdpU@]@AgfeTkLTFrGjGnC`URsIueirxkTgVcOkHydZbT`{yIuJrGUc|alxis}^D[DyCJa]xV?t[^Oama|QDxN_jaYnNgpV`]pB?fqTqLWFsgjwn[`aRyIxekRy[U?VoOqH|d\BUP|QJAJxGXc~AmhjK}jDaD|CLA^hVWtg^Uapa}qEhNwjmYtNjpX@^`BWf}TwLZFuGkgns`mS?I{elrzKUWV{OwI?d]bV@|iJMJ~G[d?anXjc}vDgE?CMa_XVots^[asb?QFXEOgGYzNmpY`_PBobISDL]FvglWoK`yPeIBEnRz{UoWGO}Grd@rVp}AJYKDG^cYA`@j{~BDmEBCOALHOcu?^aavb@qGHEggSZ@Npp[@`@CGbUSJL`FxGmGocaEPkIEEor{kVGWSPCGudBRW`}YJeKJGacZa`pkS~NDsEECPaLxO{uK^gaybBQGxF?g_ZFNsp\``pC_baSPLcFygmwo{aQPqIHEqR|[V_W_PIGxdCrXP}qJqKPGdc\Aa`kk~ZDyEHCRAMhPSuW^ma|bCqHhFWgkZLNvp^@a`CwbmSVLfF{GngpSa]PwIKErr}KVwWkPOG{dERY@~IJ}KVGgc]abPlC~fE?EKCSaNXPkuc^sb?bEQIXFogwZRNyp_`bPDObyS\LiF|goWpkaiP}INEtR}{WOWwPUG~dFrYp~aKIK\Gjc_Ac@l[~rEEENCUAOHQCuo^ybBbFqJHGGhCZXN|pa@c@DgcESbLlF~GpGqCauQCIQEur~kWgXCP[HAdHRZ`~yKUKbGmc`acpls~~EKEQCVaOxQ[u{_?bEbHQJxG_hOZ^O?pb`cpE?cQShLoG?gpwq[bAQIITEwS?[X?XOPaHDdIr[Q?QKaKhGpcbAd`mL?JEQETBQqPhQsvG_EbHbIph`Gwh[ZdOBpd@d_ssc]SnLrGAGqgqsY[QOIWExs@KXWX[LNHGdKR\A?iKmKnEgCcaePmd?VEWEWBSQQXRKvS_KbKbKPiPHOhgZjOEpe`eOtKciStLuGBgrWrKYgQUIZEzS@{XoXgLTHJdLr\q@AKyKtEjCeAf@m|?bE]EZBTqRHRcv__QbNbLpj@HghsZpOHpg@f?tccuSzLxGDN") michel2758 = Graph(r":~?jE_J_?WBo?a@I?N_U?DgEW@u@s?c___IwH?BIA]?x_j?OGJgC]BG@M_t_TWLg?YBc@[_y??_@kFcBF@z?C_DGO??KBTAA?G?EwOw?gBbAH?J_GgPo@CBpAO?N?IWQg@_B~AV?Q_KGR_@{CLA]?U?LwSWAWCZAd?X_NgTOAsChAk?\?PWUGBOCvAr?__RGV?BkDDAy?c?SwVwCGDRB@?f_UgWoCcD`BG?j?WWXgD?DnBN?m_YGY_D[D|BU?q?ZwZWDwEJB\?t_\g[OESEXBc?x?^W\GEoEfBj?{_`G]?FKEtBq@??aw]wFgFBBx@B_cg^oGCFPC?@F?eW_gG_F^CF@I_gG`_G{FlCM@M?hwaWHWFzCT@P_jgbOHsGHC[@T?lWcGIOGVCb@W_nGd?IkGdCi@[?owdwJGGrCp@^_qgeoJcH@Cw@b?sWfgK?HNC~@e_uGgO?YIGBFAVPP_Y_L}IQ?Lad_r_ekSsEuBeag?DGiOLSHxDS@p?zWiw@mIqB[A`pUo\GNQI{?aao?wohSUGF_Bzaq_IW?sMgIbDh@z`?gl_BA?ZBpAkP[?^oOe?LDr?ZoDG^?T}JmCDAGOBWnOBy?vB~ArP^_`_P]?hE@?aoGg_oUuKICRANOEwp?Cq@RCLAyPb?bOQU?G?abF_SwECPOJvER?A`GOdc?k@REU?lOLwbWWIKs?KAS@KwAOBA?J@`_^PG_pKYC?eCnA\OEOE{?qBP@DaS`cGt?@gHkD@_O?NgA[E}AXCoBJpjoCGRsIP?f?aoEgMsDMHmE]bZ?I?g_S}@[@K_Oo^WJSRwLJ?@_V`QoisBSAf?g`AOWWggYq?P?uAh@VWF_Di@^AJ_sPR?u[?}@yDXAqOOoKKBYCd@nah`mgAsCOJ?Dj_d?YGFkHeBlDYB_oFWHWU[Jd@P?voPGSCFuJAFG_QOS_loVeAo@u_dohwOcU_M^?j_k`\OoCD{Bz@Q`VOawlw\Y@d@_A}@`wKoGQArAt`HP\_zkBeBMEBBFOZOP[EADxAXa}`xGGCEwKSET_y?cgK{KMD@ECBtoPwMgXCKx@z@KoZgXSI]KUFq_fO^?r?YMCCA__yosWTsXGNr?C?io_orwYiCQAf_}OuGUkXcO@?J?mOa_soZEC_Am`@ovwVcY?ON?Q?pocOtgZaCmAt`DOxgW[Y[O\?X?tOe?u_Z}C{A{`Go?O\kKiL[GT_O?[WRwZkMLAd@`oeG@?NQEb?@BYaFGCwFaDKFABeoj?XSH}?]Bz`kOA?v_aM@[@~`U`qOycJKEbAe_J@?gZ{?{MEGi_Y_`gU_\?MvAy@kO??Tk@sGRBe_J@q`EKBoCZAzBj`wgWGL}?MAs_Q@CG\k@sMaGw_`_dGWO\wNRBG@rOB_V[AkGnBs_Q@u@F{CgCvBHBq`{GXwMu?iBA_X@Fg^[?K@UF^CbOSOSSL?NWFv`j?|GB_Ke@qCda@OA_EO]WQZ@W@Soto}W^yEyBz_P_sGG?QqGR???G_MO|gdQA}Ao`n@}`?kMOGD?i@joPoe[PA?M?W?_@|@J[?OBKAv`qa?P@cMkGR?p@nO@OHoRiGn?M?N_Po~WeI?U@l@^Oz@@?`MFcCO_[?xW@_DSIBC]_I_H_Ho_GRR?Q?y?pW]W_{OtBxAJoNo\c@KAwDGaQoF?DgDSOQHo_K_]oXcNgOkG`a?@FgGoNM?s@bAfpJGCWBOAwGOCzoG?OOLMGAG\CSP@ockCsFt?`?t@Tge[Ag@u@bCJa^gCwGcEtCGCQAJw`oQqAgC@_S?[OjkRi@a@A?tAF`OkAwC_B`aFaIpEsPSHf@ZACOJoN?UQIB?w?c_[PCggq?I?t@J_yGaobGPzC[A\OW_`{BWB}DjacONoI?F_PWIR_E?N?RoM}GyGxCaPGogKEcGl?|@B@[g??S}AK@V?~aKpRS@KAEAd@zPH@G?cmHSDG_w@FW?GCOCYDx_B`TgHgDwCKGyDOoE_HOIoFzCjCbaSgeGS}BmCc_C?QoQ_WA?[D\_i?XOPgcCTP?`?g_ko_cRGQ[HXa[@TgNoQm?]@Q@L``wAgUQAu@k@IAQ@T{A_AoAyADpMPIgeA?EC~Amo`OeS@WAqAaBFOF?l[EGBeAZCfalgDwD{EACQa_AV@K{?gIKDc`E@MWBgE?DQET_P`[gLGFgDCHUD]oL_KoK_GrDFCpaZgAGSsJVARA_OH?KwJ?Kx?iA{o[?OGIcQyJC_]_ZOXwQAI[HiCyoE?i_VICsDF_T_Z_UwYM@aE?_z_a?U?eOUV@C?y?t_c{TSRaH{_N`UonKICI\?q?y_n_tSB_KN@}@F_lpLWlIAU@z@m`Jgj_f_SF?eAp@_GT?TU@q@{@a`kWFwWyCIAU@^A[`ZKDGCCBcAYpWpNwgi???lAs``wTwTqA?AB@e@mGGoXUCWA\@aa]P[CDcCQBjA]O?olOgWSb?F?Y@[?psJWJF?A?b_a_YWZ}AYE[`H_h?X_g?VN@_@G?{_g[?gJaILDKOB_FWV[KjA|AtOAOHoHCEsFE_i@gwROIkEeIFDvOXoQwNcIT?PA{Ad@R{@SACD}BMOp?mK@?AiAW@o`rWJWYiDAAq@lAb`]k?GB[A]A?@SWB?V{SuIe_M?QOogYMEUDw_J_V?RwM_Mh@aBWoi?VGMCSiJ{_C_\OSgO[Ip?^BBAg`TkAKA_EKBTOs_n{@wBEAe@v`uwLGZaD]B?@sAf@_[@?BwAkAF@VwCoWsTQIs_T?ToqWZEEqEE_Q_Y_TgNWND@oB^ol_WwM{TEKI_J__oUWPSJL?lBIAk@V[BCA{EYB[Ow?pk?W@W@p@Y?~O|KF[MLA|@f?|`TOpE?{AI@\@F?lkBOKuIvD`OM?KgYCL~BfBIOBOEWF_DuCCBwO^_xkKOEiB|DWbEGCgHCEACbAyOMosOjwUR?~?u@i?wsMwKv?S?\?^oWOOkNn?A@A`tGXWLoGGIwENoJ?R?K_HSDz_`@iPWglAAK@rBV`rW]gYI?u@@@B?qOaO^y???H@E@uwYOMKGUI~EROKoRwK{HaEA_c`k@X_l]AY@yBZ@tG^_Ye@C@G@E_s?bG_U?M?O@H`wgZGMgGcJEEUoM_SoLWHoEH_g@lpYWlyAgA@B]`uw_WZA@Q@N@I?toc?_q?[?V@L@yW[?NCGqJLEYOOOTgLsH}EO_j`n`ZOmUAuAGBa@wg`OZ]@_@U@L_v_cw`M?i?]@O`{G[wN_H?JSE\oQ?U_MOIKEV_n@pP[GmqBCANBd`yWaGZy@m@\@P?xOdo`i?w?d@S@|w\oN{HMJZE`ORoVWMkIYE]_@_XOx_m_Vf@h@J@s_}CP_MJ?}?q?iO\_RSPB?b?U?jo~sNSGKCmDpBQWIoKGFcDSBQoA_L_\KV]Jy_w?fOzG^]G}FK_a_YoU?NKHwGg_T?KoUo_UFwCLAYayPiCDsEQBxAl`jGAGFKMsJuE?o\oS_]?N|CeBhoR?MOJ[FsDBCVoKOFOJsOXCBAI@N@]?t]BGBOA?@W_u[@_BsF`D}bAGNoIkNMGDaU`ugIWFcD{C@AdALgF?CCEGGRaD@EogWn[Y|@j@j`@olGZi?}A@BsB@@`{GSDcFmCEPL?{KDgC?BDAC@SPFkB{AOBJCLPCOcOSgV{Ld_x?v_`oV?MB?e@C@zp`WpYCWAxByaCwfW]aBAAF@e@Boj?cQAK@N@hAGWb?QcIaKDEuO]O[gPSJmFG_U_bo}opGWzAR@_@~@BSSGN^@g@F?soaoT{QV@L?j?uPDCP{H_DWEEB[wO?MoGwD}BfoL?Qo^sWqKc`L?pp?WaEIQFu_v_dOZOPsJKHQ_i?VO[?a}HKCvAnbCpnSG[FeCbBA`tgFWHsOGK_ETogOXo_gPPDOB}o\_R_MCHGDlCkoUoK_M[PlClA^@X`bOwEC[ByAT@b?zkCGDGGJERbKgT?LSOaGnaja@GNgIKFOCjAyAWGKOEkF[G|aY@POlgqC[PATA?`KOqW]QAQAjCHBJ`fKI{EwGWCZPV`@[GODSBnAX@]pK{EcBcBtCaPMoh_VOXOMN`M@A?f?XgNV@O@XAEPegsADkBbCNaNWkg`ICUAp@z@MOoOey?E@o?{_~@H[SGIeDzEVbdgSWO{H}E`BxOToVGa?XwLF`]_y`CocQJWGX`H?m?^gS?KQHt_D?\oO?OKQdDHAl@_`eoxuDSCUAb@i?~KDwE?GfE`bRgW_NCPYHJaxaGGRGJ{GGDFBGA^GAGFwCMCICkpS?kGWcXyMc`W`FOhgY{O@@d@baJ`hOtUEUBwCYASgnOa]D?BEAD`R_qwgM?oAD@F@CPKCT[JOEOEaBiwV?QOIgEuCBoZ?XobSYaL[`h?~pFWdeKAGm`R_rOaOTSK{II_N_b?QgP_RND]Av`dphWzID}CjAl`nP@sFKEiG{EkBWwZGOWQCH_bCALWToLOGqD[BQacWCoHKCwC^CvPXOmoXwYcMx`b@K_kO[OOj@y@mAOpjwui?KB_AEaQPK{W{PxAt@l`G?kWYoSp?l@L?gocofUJWD|BQbUPwCKsHqDhBdaFGOGMKQSLeEwo@?@gM[GgHOCvPd`G[JoFCCfAt@kpR{BODAAiAUa^GmWWOLWL_Fbot?g?V?McGb_A_a?\OdCZYLw_D_D?\oPkQmHtbMaQgWWMcH[DpB\AhgFWI_DaCsD@p]_pWZKZMNM`l`Pomw\cPT?K@F_{PJ?vOZ~?Q?L_|OcOdwRxEcCgoq_]?RSJoF@DUoO_TwJ_HuIIb?`c_vOuw]jBaAf@^_{?bE?eAU@{AVpnWwY?q?a@}@IPKggMLUHW`g_|of_V{MOIs_c_l_VwSGSbEGBK`oPmg|qFQDTBA`xpFC@gCyB~CrB_`pkA?@QCBAWAZ@PSZGQ~BW@~@Oooo[{Tv@O@]_p_hGhaK]E_BcB^@{[N?IwEKBvANwCGIOGKHlFCbdGCwB?GSCvCxacW?gZcRLB^AA`Q_pg\WUD@V@a?rOi?h}KkEfBfb_p|SN[JEERByaPgD?IkGYHsFGBewDoB[GaC}C|AeG?G?oM?Hl`r@B?iGXOMyJH_n?qoY_T[TLE\BV@t`pO~EF{DiBL@~@HkA{DcCSC|bdpsSBS@{CWAaa_PR{?_?eFFCyOzOaWT_KuFcDgOXOYOLkI{IlbQ@lOzgxC^pCDAw`gP?WdQ@kAxALa_`roye@w@DAN`R@P?iY?]?YBfA]w]_PgI}EaBtatwL_LcFCDdDYPiov_]O[oN~aE@]?t?_gQv?|@_@G`PGyS\`@B?e@H_iWg{TZ?U?O`tPOSNkHADeBS`{`ZsFKF?BhAuAmwuO[KNUM^GBPConwY{OaHa_a?podGh?\WMv_d?SodgTgSkIs_M_I?z_geGCCgAu`k?~GmUBsBf@w@[pWSZcMSFqFRCBWbOWWLkGWCsoQoXoR?SmMrF^OSOJOROJAI\D\o??C_A{NEIOaC`Jom_Z[O?Jk`?_z_]wVgURF?Bg`}Pth@QHAELB]aFpMCDGEiCvDNBm`wkD_BACzAsAh@WS?[@U?uBtAdwa?RWJuE}CBa{wP?NSF{E@DgPpoz?_?\gOZaS@d?w_aWRn@X@m@N`Sg{C]X@^?s@O_lwikUR?M?X?NO}GhyGmC|B@@pP@oniC]B{AA`a@Y{[wM}GFF\cGgdwXkMUGlC~OW?[WSSTWNGFhoX_LwScJkIqDgODOFGCONoIdaN@P?pG[oOiK@`J@?o`_W{U|FTBrAB`wPAeHkEaBhAL@OkE[FSDKDXbrpzSEsBkDOA}amPY{@oA?@JB~ajGcgSkK_FRCMBAGRgOgGeEUDqpv?|g`S]QOoa]`iOzGbkSX@m@w`SpVO|W^B@s?}`Too_k?U|?b?b_S`?ojMHWDQBJ`u`CWo}DGCPAL@fP\c]KNgG[FgCLwg_Z?N?HADHo\O^?TgUAN\FsO]oO_TwKUJFDqoI_HoDcOYIyaX`UOro]CPSKU`T`E?cGYOVfFiB|aGpyxByIUEvBraQPRSFoF}D`DcBx@|{GGCUDdBHAr`\cBCAi@_CIAoWfOU?LIFgCWbFWUOP{HOEjD|P{P?Oag]{PDah@n_|od?TBABAB@Y@Xw}k^lAH@H@Z?rGlSVf?w?m?XpBWkaIADfBU@zpF?qQDqCeAV`k`_K^_OQGpFqcRGjG[SNiHVDSOa_`gU{UkNqF}oc?RGVKL?J[D|ONoKWEwPCJNac@Z_uW^WP}Kj`_@JOeoZcWPF~CGAM@|`DMJ?FKB}AV`T{HCGgDuDmb}Q?cH[D?DyBRawp_KCWBS@tCSatghwVSLsF|CbBKgWwROHyF?EFq@`Awb{^ePYar`sp?WeSTlAWAL`^P[`??_VA]@R`_OtomgWP@L?w_^@E?luIkD{B_a@@HgreE[CzAa@ppas_sO{HEF|CWWlo\gOSHkD]ofocOWOVUOFGHOhOToW_LiJpEFoT?N?GKPmJcam`_ox?_kQgL?`i`O_hW[wWzGSCQaRQ?HEaJiF`CGa[pWcIWHQEJDxCBaBKIoDiENB]A}@asDkB}AIC^Aywk_WgM]GQClbPwZ_ScIcFTEQQEpD_dO_OPna}@y@B?fgUVAlAW@c`^H@S`@Ar@]@d_wWn{Wz@a@B?cPGgnIJUEPBjAEPKOsyFEDOAk`v@d[aGPeHZGFc\goW]{O}I@DhOl?ewXcW?O[GRom_WWXsMSKEEQOYOPgH_QWJxax@e?zga?RQLT`t@Tok?]KXdGhC\AWaApFuKSFuCRAa@ZKJkH{E_EBcGqDsKCESEcBgbBPd[F?CgA^Chb?GnGX{NGGfCwBVG]GTwJMFiE[qK@GGec_yQCbG`~PDgg{V@BAAa`hp`pAg`jBG@g`ioz?pOXd@v@L_h`JOo]K?EeBtaJ`MwuMFoDdAv@{PgCb[QOHoGQCawr?_OPgIUDroqOh_YwWiOpG]OroZ?ZGM}KZE[o^_SOIsRAKMbB`jO}ObSR{Li`~`Z?mg^_YNG}Cfa\qDXHIK}GJC\afP\sL?IeEtEMCMAG[LWE}ExBrBG`gCGSDQAsCsBDWpoZONqG{DAb[W_oVKJwF~EfQPPIofw`cQXbRAC`GOiOVjBVAl@n@cXB{aTB\@r@o?|gqcYNAK@W?mpLwpqKiEzC?AOpP_vaGYDyB@a@`ikcoQyIDG[cgGtg`cQQIjD}Ov_kG[KXSPEGgox?\g[[NgKoEfOcoUwKGRkKbbM@o`?wcgSeL~aI@_OpO_sYxHRCqAbAG@I]LgG_CgAk`_[MSJOFIEWcRQJCMkFgFMB|bLpikHgD{BHC}bIgsW[cO[HPDLB`gbWW_KaGSEpqU`LWhKaMQmb\aHpIwjcWTBkAv`sPf@DOa~Bq@|`tP?OrwYxA`@a_s@O_rELSFOCIaU@SGwuHCENBKAEplSeCRcIYGfClWwOawQ{J?EGo{omo\_X}PZGrO}O_O\oOQLDEpoi?X_L[SUKwbW`tpB_d{TOMSaS`d_rwaGZbHgC{agQIhJqMQGtCqappbCNgJyF^EbCWaLkO?GQFbCGBR@lSI{EeB]DHBNwv?\wPEHeDVbewe?XsLKGhE{QZpO?i_awRBbgAN@L_kwW~C@BA@x`hhEcbhCFAG@y`AwtKZbAu@l?xPRGsYL}FdCTAZPUoyIHmEcBUaK@n{fWSMInGpcqgywcKReJTERPA?pW]sYgPoG|pB_aw^CO{LYE{OnO[GMoT?LLbb@z@EGfOTyMha^@iou_b[[LH|DFAlaLPLE?CF]CdA]`Z_quG]EQByBUqMxGIGiC]B{AHPkGv}EGBg@xahpic[sNeGwC|ap@uCSSLcEzC^BbXO_hSTyPpHkOAO{gdCSAJbEYPD_rG^kZCP}HCpF?cg^{PWLgFBOqo\wNgT[LZbi@}`FwgGUUMvae@mOwOcS[h?CDDaf@W`F_e~?OBuAU@P?mgXvC\BOA?`lHGSc`CbAUA@`EWu{[ZBQ@z@?PUguIMuG@CbAaPYOzyIeF?BcaR@r[?kScIbDdc^q[s@[NeH^DFa{PgSQOLMGHEwCbAQ{QgHeGLC\B\`qc?OEqB|ACAn@lK]GOOHLDGAuPwkTgMMFOChbggAOhcTSJQHBCzWBo^gRKIUD{BQWdWYwO_LvHHcfgeGRgOgH@E}bew@WM?GGCND`b[G|G_{QgIVDoBrGkG[wMmHYFSoEPS?jCUqQLHyOHP?GesSyJ~EgPK_ug`[Z{QYHQpM?gG`kQOMCFPOC_[wOkGkJIEzp{@AodkS{JfFhpY?yg\wRAMo_OAhpV?m?cgRz_UAA@M_iOWKLVa[`n@BowSdAQka^`Q@COc{[UMh_K_z_aOPsUaL}bzaFPKOiSV[NYav`v?{ge_\n?fDVAnp[xHkgD?rCFa]pTWosY|D?B`aHPp`I_dfDEAfaIPIoxG\`?_@y`EOc_l_[JF}CQAYPT_nS^BDuBp`z@Lwzy@[ItDbAzaSPOe@sGUD@Ak`a_uUIMFICUBcqTxJiIYDUCWAVPrGz]@MB{AO@IpZwwqOIGjCwAkp^_}aJyFiBxa\`wkBSTwJLDyciQaCCCOyIHD[bEplcSwMaGrFLClaWKTOIyGvCqBg@vsAwGECfAXAx`q[_oPcHvD\B?p|{WONaFyC}brGF_kKUgJ{HWDDwH?aOS_J?EPB[wig\_PsM`H]cqGjWUOP{HjFRbpWEgOgH[CxDubehAWbcR{J@EDB|gpW^_OAICFhoOpXOlkWEQvINORpDWh[UMKhE|PV?zwcC\ORCHfpW_lWcSRcMmFeON?aGRSI?JsFOqE`G?gSUOKPF}pc_~w__SUNY_dAsP[Oogd{Sd_jAK`RokwX_M@ap`x`H?y{eURUas`[`H_fc\iNR_``E?f_S[VuMgcOaPpP_k{WoOCbKa@`@whG^B@PDkAyPaHKShX@\C[ahPYgr[[PDiBuaRpupLGezDoA{aSpO?zo]t@IAN`OohooG\^GgCfAcpYop{_VE_CEaD`RG}aAoJ^DwBEAX`RMBGH?DUAv@fow}JaFsCjBnQZHMQJmE?ClA`pwW}EAaCeAd@TP`GzYP]HTDLAvPcp@I?CEfCIAFPS?}}A}JeDzbFqYXRiBUHFDXawpggxYJoFzCmbpA[@MmJ{EFCoab`xO}aAoClAg`V@a?zuPkH[DOax@dh@e?QEmCLaH@Sw~YBKJlD~BHaZPSEBcHMD\Ay`h_xuJ}GACqBqq[xNIKIEMCsAdPyG}}A}CsAk@Wpaw{QPyHbDSAype`AA?_EtCPAIpTo~uBYJsEAbJQ[HSaBqHTD_a{PiWyQKKGHCtbsa\pNeKWETCvaf@z?~YBKCzAn`Y`bo{m^hLSb[OegxC@yd|NzelpnwSK[}@JRDg@RWgwsIaMl?kheSAXlK[uD^F\_XssyACvAMhAubqOMiZT@]ZnFZ`]pywGLME_|L}bpOpG}SCafPOdfApyWX[^eA^RngURbG}CLIO@@UhzSKxq[^]ErGF_ms~YFSxiN|B_cFOXI_dCE\BGD`rqDWL\OmaPMgcEOzhBcFIgdPNfVqCw]hUaPF@xiKsThus`iFwTncTO_IcDDu\zG`Irp?qmsbCjPAFiRsXHwca_jETmaDDXQnkb_j^AMiVSYxx[a{jSTtaGdZAocb{jlATiYs[hySbWjaT{aKD[qp[cWjzA[i]S]XzKbsjoUBaNd]aqScskHAbi`s_H{CcOj}UIaRD_QrKdOkVAiidS`x{{ckkKUPaUdaAsCdkkdApigsbh|sdGkYUWaYDbqs{eGkrAwikSdX}kdckgU^a\ddatsecl@A~insfH~ce?kuUea`DfQukf?lNBE_@sgy?[e[lCUlacdhAvcf[l\BL_DSii@SewlQUsagDiqw[fwljBS_GskYAKfSl_UzajdXAuP[iSIU{`loEIVD@aRwUvJ`PValXZcmbIKJ`owgB|J}_~IBJ^DqWkhVGm?VWdHdqg\KAYeLOedDDpQyCUojqVFJnqeayKNA@ZRLgUqcQx`\]JeU?JfDxhSH\aFn?shiSLHR@\Km|DyJBdtQ|ki_m~B}_\suyF[h{msVdb?dbaz`^QT]VeaAoOi[TCITKV`JuPaAqh]KnvIuJupBGHLMeaRIlJsD{wpxXonSWAd]dXQ}cPMA`RoggQlA|x^iKkUbJweAXW`UonvCY_js|yI{jknkW@bMdia~@`AUUTrK@PGWJtNya|JAJ}eAGs`ZCn}WVdhD]b@KQaBJSDgqqqR?`_}LUUwKBEFhZHWCo`Cn_uTBILcl?oUWUbXDnr@haUV?UGKJpLgM\PMbfJVKHEFWvH[WogWkdrdbrBsRuBtSYg|QvbBHaQM?VLKLeKx\pXWpJDC`?tGYOKmSp?WjbbdtBCPbiViU\KUPQwPDQacPJkKReKgxp\kpQX@d}DhBE[TIC^SnhFq{rDpbeMiVaKWEQH_XYkptDX`JTLiQsngpiX?bmDyRExc}WSUqK_pWGRlRuczK@K]EPw{X^?p{XUeGdmRHCU]DHTChQRABGXcyNSVvKaeVXb@[?q^Dm`TtQyT[o{qSXTbwd~bH`eQW}VFKjP\WUTTIdcTheJESRJc^_oIXRKtrHaxpduJxAxikdYYVHVAWyXWKpp~r@`dgrdKlJieXGo[K?jNT_IwSoAm{qOq}XicBECrKHfeXgV[KtpagWxUy?GTvhbd^hdXeWrbGLKLEYBOCrknEXqbGoramk?kj|RMJArKbLhfaOgW`Kve`xgP]grrEW`id^GAPWUeiUKe[e\BN{`kpOXuLFRQQ}HgAK~B[J@oEQpdLokfL?K|e`hCPa{ryYTegD}BO{YYFEUI_ODcy[XXiYMYALEqIREpgOsxLVJ~ebgtkMgkb?fJLSyasKswsQYScWENRPXiMY{WELIplG]HXa@[U`hwdiHihh?svGvKaEcbTSuSoYY[b\o}Ar{BSlPRwJVrVBQxiIP{XJLKekXl``OtFFA`~dhgF`Y}f}UuepefbTKcSqcY_L[R[rBXiiMRCEJUoOqutOWlzLiLQekHH`dctMY~e|EGbUK\AGYUs_dDnY`hUcmHLpIqEjBU{dKr?YmLbR_RDHjaMnCSJ\oSQwdPOj_VJe{DYrUXjyQsXfLYerXp@b?t~F]aLdogJ@[mguTvJhR^qmPjguJH`KvEnBYcw{pmZEbqpGaxKD{mdSaI~DuXopVcuAZKcsE\RWXlm[kW}LepzGdH\ABKVXiSd`Q{Cwsk?ZGLhqZrN`kgvDM\KaetG}[R?mn@lJoTKAp`]][gUFLfeuhMpgKuaZhfQERBZ[^iHmV]_yDxyexXKn\MZJFEtb[KfssSZWLwRirIXmIOBC}Jqo]q|tRwksVtfPDdRZhmaSGYPLne|xuPdgvRGGaadzGOP^UiIU`J}RiQr`mOv^IJLKExb^szcrAZocFpRA}[GcnxTKJSE?xu@YKvUZudHEfr\hoU]?XgLzqDgiX^iC_WBihdjr@Sz[lSZqL}qeRSpnOwXNFKve~hBkTgoBAVKDTUaup`E\{UpL{f@HS@isvu[RffE\b_kaOjFD`KCOfbALUClyWWfadmB_@omTMYsM@FEhyhfswXGjItPYB@{ISop?DJaEFxx`Z{wM[QdVEmr`HqE]wYCMHqKamKU{olAkKNoBAxXaY]eVEMFFEXUhkGw_[gfpearbSbcjpDuKMokrCs@KmcWlflDrRahqATwZHMJfJx|PhGxBH?I~p^QkxaQDsWl_LDuREc}Cmg[[MRqorY@pwxlNpLKfIHGxWYKGTmKTooREcACn?WzfsDurcXqyUSZVMQfNX~@i?x^HMJEpaqmhbIEOWz_SDxrGS}{nC[iMYqsRZpqoyHN~LRfLhIhXQKcT{K[orrGSA{n[XHfzDyReHrqUoZdMXfQy?piwxzH[JLpeQoXcAEkXH_ZD|RIC~sn_[wM`qvr\`rgydOLLYfPHKXYIL?UIKbovRICBsnwXVgAD|rfxsiVKZrM_fUYA`joyVHiJSphqqHcyFGXV_aE?rJt?kn{\EMgqzR^Ps_z@OZL`fShMHZAL[UWKioyrJsCkoSXdgHE@RhhtaVg[@MffXyCPkgyrHwJZplQrxdqFcXd_hECRLd@coW\SMnq}r`@tWz\OhLgfWHNxZyLwUeKpo}Ql@eqAqTbKKE[yC@`Kyu\ee@FBrjhvU`_ZWMrq`awk[KlYXia?DZrM[E?jSW^K|SHrBPuGzZKHMJFXBndB[u}\mdEdrGxPZOrbCFIzE]gKxVCpKY@gVEGRlHvQW_[\Mtf_yFpmWzjISIrDswyHU_luXwaFD^ROKEwjoWlLCSLRD@v?zvKVMQF[bpTCSvY\{dLdZQzS\_j]VAK~pDQo`gaBiT~KYEbyF`a{zm]AeNFIrnHxEaWZsN@qgam`]EM}TuJce`gb`Wks^@{JBEMrQtCKpk\}NCrHRePw?{pPRL|fahTHVknPFeI}dsBPkQKkcYU`@dbRGPhuaSTbK]f`RqCqoxq]FNNsUb_PxET_UAJvpzQo`\[shCiJKefWPPXOqQYcggdYbG`wo{nKrM_FbbstECwQ]WdZdaQ}s^OkUV]LLpKQs@iQCaTeJLeSBT\D_jaXJNHffhfPU[yM]TNUsYBa@x}T{UOJ}p}qqP]StDCwJReiwR@UslCXVLXSVqn@dG{s]de_dZbhpxo|hPnMJfhhWhX[oHGAJKdzBTKR{l[Yq`Nd\AtHdwtrPeI~eURsHyqYOTtMifgrv\FWw{]ldeDfb@[_cl?VrLWPPauhjeDKTzJWEXRWDEskKX_NSFkxhxVoyw]iN`S^RchzQUeUdKHQCAsx^gtnDLJ]EoGThWGlmXkLbs\Aphe[|]]yejD_rkXzC}RQCMUFmxZPYoorGVJVE?RVsTOmEZF`YDaQvpfKu\PzJIEZbup{EYyTcJDFYbv@|AcUTeMXfoh[HZKp@G]JYeABWkTkmSZM`\dcAwhfgujQAJLe\Rvh{aZGTjJGf[Rvx|]ccTlM\FqX\@ZgpNGdJ]EBrXcUGjIVPLiooaqx[osAZ[hCdgbN`{O}^LjIxDeBn@{W}|QXIyFORyCm{mAWmcUDorAplMJQTkJkEvGXHXwmeYGLpscAtHgK}U^UexD]Qrxv{}Y^dhOD]rh@|]VkVGKYqKqxP`sutDoIxdvr[[L?lIVYLFeyiQxZ?sS^QNmr]Qo@YW{K^SNuShqoPs{}|J|JfeNHFP\CpGZ`azd]a{pmiEmUkJoedb]LHwlmYPNkfxHo@W[lY]LNlf{yTpWcyk^deADtbG[cCmoWjLsP^aoH]svbB]JXdyBRhnadIU}LKFwB|[w[jOUMJYFdB{P~idiUOMmfzH`XUcmyXIccDvrEPm}KIUGJyE}G[hZgn]YcL~sjAwhh{~M^qfFDZqqhZk{u^hO?snAqxuO~fKQIwDxBIKc{nKWxLzPbAk`W{nuZ~`uDoQ}pikwLQrJeEhb|p~e[iTuJMDobsP~@?PRBJNFYr~SpcjETvJteUHIp]sq?Z|bHdYqqp_GwLBrJcD~RUPoudsVRLUf|S?CxojyUbJcfiR}y?}eSUdMxG?Xc@Ugj{VqKnqVQ}`c[wHEYIxDfR@HouFsVNKAEmRadKCmsYsN}G@xsXWOlSVONWF~cAtLClW\xOCRHqmHWSnqXecqD}rHpomLATxJQECBacOCmkWJL_FEyX@]Ctu_BOFRiapXZCmm]vOAgFYZ@ZK{?_NeVD]Ap`_?rZHjK@ETRaSY_k?UjKJfEw`@\socZFMPSrq|@kH?S_TfWdcav@\w|{_KOQSvqvPw\?lKtI~dcr?xfQRcWHKmFEWtxW[lcW]MPPBq{``cu[[hhjDzrXI@D?xMwJKdnq{h{T?e_jhrDoRpq@uXwUEJLEBbN[fco_XbMOPlappZcpI[haJDyrC@lSx`R\JzEsCBAAM\}U_JbDzBxa@h@dRlJcFdSCcsKkYU`KIe_hO@`[rS[fb]ddQw@aox`C\JxEHrZ`r]fGV|LjgFsDS{WlMVLJxfssCIBefgVNNMGIxhPXOlOW[LCq`rBpfCx\FCJMDprEXr]HGVxKVEwrftMkoGZ]ORGKXxhYwmgVyNlGICGDNkmk]bOXRSQrXY{pEYOdFEHRN@rUMUUbJfEMbfsQko?WtLtFPY]P_kvI_lO[RtAuh\koA^`OVgPy_P\s|S_xekDgaupagsnITKUE^rfc\GlSVTK_fPWeP_[pwZpMeS}RAPmp@g_~fldnA{P__~O_uOfTAQlH]O|a`?endiQvhbCs|I[KXe`bg[\claV[KcFRGfH_wqEZwMht?BBHnL@u`EfpDoq|H_{~]_|OitCAm@]k|o`FerDkAw`b_tJIbK\EbRhS]?loVbKffSwg@`SqSZ~MlT@rC@nhAC`Lfsdqa}@`W~k`COmTDqmx^G|}`MeudlqxXb{tXIiK_edBiK][l}ViKjFUggx`oqa[EMotBbCxoDAQ`SfwDsQ}x`s~y`JOptFanp^c}K`TeyDnayPcWtfIpKcEerjC]wjOVEJweVRkKSwpEXWMEfYIahawwO`OOlr|qz@^wpG_COhGYichWSo?^LOmR]qwh\cqYYyd[ERrSPt}NiTnJed}BK`uaIiWiKnfDBl|Popi[NOjgWh~p\{oIWjODgUSMLQokWWFNiGWxoP[on?XSL_qnrIpiczLF{IzDtA~xekz^D[KWeXbbXvYhEW{MJGVcLL?SnKWKKXGCcKAFaheURKFFusLSwcmeVfKleqHWpdst_\lc@d^QzX_Wrc\uapeMBLhqGzzSiK`fFSKiFA_WVlKHeMSBIE\B~SyJLEDR{QFE[_VYJvEWbX{ksrGYvMyQAao`]GoYXxM}pYbFxfOxQ]CiWeQbcaEpBnORJyEEbGAA@B[aEi_dgRB`}dBpMVJod|RLHlYUgXjL^F]xAHWknQWSL?F`GmHcWru[oNDtMBIHqlBe`}gLD}rCHc\@M`tPEtQAt@aK~_`~fNDyA~`f?uzJZKxEpRoS`_kcVoKLe`rp[V_qYYAMZfcifxd_xc`yPAsGR?Pa_q[_mO}GdIhxY{pS^vPBRhQ|x_KrmZcdpE]RX`weO}UXJzeGbPpxIJ}XSLCfNbrLSWq}[xP?gbID@_cp]XTOYg_sR\TWlkWpN~GbXt`^WoSX}LtqyRO@lK{`GeJOD~bDHhS{rEEKlecBghyAiYXeM_GaCQ\A{o_WuKmGNCPQIIiyU|K[G@SQczKnyWPLAe{h]@g[us]VcUdhr?hb?sw]_bEeWbQxso|NTSKufPsPyHi`kWVK]eWsGYHDDR?@JaENs@aHm\sWCKKEbB^Kn[s[Z`NNQLAtp_opmYbNRpdBLHhwye]mile\BhqHXDBO|KNEPBLQChCoao_CDqrGq@LDDN@KDeFrQXoAV{YTLsFhXFXZSoeW}LTFjgrXUSr_YdMlFlYkPfkyia\PSSPBChckra`PPNglw@x\GqY_YPSrqBAPaWss[FeAdXBR`m{|XHAJ]EEbGhjC|jEaIuE\rT`uC|x?EL@FVCSaI}aUWkKhE]CJAIXD|?UJkeTCCIJA]]WXKUegR`soojUYbLzFkxHH[KpAXKL[FnGtHVKr{YrMsFow@hgczEajPZSSbEXdcr}`^PUgpWBh]?qu_gPZrtbC@bOtO[TeHd[bTPns|tHOJdEIBIXj{}FEoI|E`RVPu{}T?SLGFYcUQJuaqWyKoE`cKqJPEX?cJreWcDyJy]yWfK\ejrbcpgjqYpMAFoXIx\Cp]XYLbFqguxWCsWZ@MzFsWBXh[zaaxPaSWBGHe[sY`lP\gswDX]wrQ_uParxBDpcGtk[beOd_BV@ok}PH]JkELbKHks}bE}JCEcrX@vs}p?aLNF]CWAKmbMXGKvEdCMaKHEt?qJye[CFiKq^UWtKcenRdSq_kMY~MHFrxKh\{pyXgLiFuGwhW{ssZNNAFvwDHiSz}bFPhSZbHxfSsu`zPcgwWFH^orm`CPhr{bF`d?uG[peVdbbWppc}lHkJrEPBLxlk}~FKJJEgRYpwk~L?oLUF`cXqLebiXUK}EgcOQL@FP@?K@e^cHYLi^qXBKjeqrfCrWkiZLMOFvXMX]sqUXuLpFxgyXXstOZ\NHFzWExjK{YbTPoS^BJhgKtQaHPjgzwGx_gsI`QPos?BHPdwuc[~e]dfBY`q[~HHyJyESbNhmc~ZFYJQEjr[`xc~h?}L\FdCZaM]cEXcLDEkCQALxFl@MKGebCJIMa_MXPKqeuRgssOlEZZMVFyxOH^kqqYCLwF|G{HYktkZjNOF}wGhkC{ubbPvSabLXhCtmaVPqg~WIh`_se`_PvsBbJ@eov?\Leddib[PrS~dIGK@EWBPXn[~vFgJXEnR]Py\?D@KLcFgc\QNUcaXqLKEncRqMpGH@[KNeecKyNY_iX^KxexrictGlaZhM]F}XPx_crMYQL~G?g|xZcuGZxNVGAWIXk{|QbpP}SeBNHh{uIadPxhAwKXUcpKY`OvG~YB`eWrsZmMlrUQkXZ_v_\BO?QdbA@ewsq[DOCp|aw@kkw?]tOGOUbYpz@FocBhNe_BSpkpDWbyQHOYam@astO`tQASGrLhgCvi\aeoDXAlPZ{vm\IOBqfRAxfSt?[KOGP~QwxlGwM]{OJoWRZhz\F}cIhRE`rThlLDec@QKo[QmxbOt]`{QDsIbM`g_vw\herdYqmH[Wv{\POFQhBBpfotM[ROJq@Axplcw[^BONOYB[`zxGKcPhUebbU`lhDscGQOO]AnpbktkaBQHSKRNXg{wE\oevD[an@[swI\WOIqirChgKt[[YONQAqyhm?wi^IOQoZr\X{TGYcWhYEdRVXmDEAcNQRo^qohcGtyaIQKsMBOPhWwS\veyd]Qnx\OwW\^OMQkbD`ggti[`OQqCaz`m[ww^POUO\b]P{pGgc^h\efBWPm`EOcUQVO`ap`ccuGaPQOSNrPHhswa\}e}D_Aop\kwe\eOPqmREXhCtw[gOUQEQ{XmwxE^WOXo^R^H|LGuceh`EgrXHm|E]c\QYobQqXd?uUaWQRsPbQ@iOwo]Df@d`qph]Gws\lOTQoBFPh_uE[nOXqGA|PnSxS^^O\O`B_@|hHCclhceibY@nXEkccQ]OdArPd[uca^QVSRRQxikw}]KfDDbaq`]cxA\sOWqprGHh{uS[uO\QHq}Hnoxa^eO_oar_x}DHQcshgEkRYxntEycjQ`oeqsHdwuqaeQYsTBRpjGxK]RfGddQrX^?xO\zO[QrbH@iWua[|O_qJa~@oKxo^lOcOcb`p}`H_czhjemBZpoPFGcqQdOgat@eSv?alQ]SUrShjcxY]YfKDfAsP^[x]]AO^qtRHxisuo\COcQLQ~xogx}^sOfoeRah}|HmdAhnEnr[holFUcxQgoiQtxeovMasQ`sWbT`k?xg]`fNdgqtH^wxk]HObQvBIpjOu}\JOfqNB?ppCyK^zOjOgBb`~XH{dHhqepb\`pHFcd?QkOkAupfKv[azQdSYRUXk[xu]gfRDiau@_Sxy]OOeqwrJhjkvK\QOjQOr@hp_yY_AOmohrcX~tIIdOhuErR]XpdFqdFQnolqvhfgvibAQgs[BVPkwyC]nfUdkQux_oyG]VOiQybK`kGvY\XOmqQbA`p{yg_HOqOjbdQ?PIWdVhxetB^Pq@G?dMQrOnaw`gCvwbHQkS\rWHlSyQ]ufYDmAvp`KyU]]Olq{RLXkcvg\_OqQSRBXqWyu_OOtolReI?lIed]h|Eur_Hq\GMdTQuopQxXg_wEbOQns^bX@loy_]|f\dnqwh`gyc]dOpQ}BMPl?vu\fOtqUBCPqszC_VOxOnBfA@HIsddi?ewb`@qxG[d[QyOrAyPg{wSbVQrS`RXxmKym^Cf`Dpax`aCyq]kOsq~rNHl[wC\mOxQVrDHrOzQ_]O{ooqkxr|?qd`QuTAB\Ho{xicTQph]wYX\csk[PPnHZYP`lWvS\]NdrqQxh\KpO\_NXg[H_pg?u{[HMyg]XKpb?xu\oOQg_GXPUwyK__QsH[y`xn?wk[{QMHYcoSLgn?Y\MKGxSmdHKuyZpMqfshy@\OmsWnMrfmcM{ossMZdMGF^COCespm\AMzgJCO{LCji\LORhZsnTPWvm[\M`hGsmIWeFAVfLQFFs\aVmcsZcL{FZBzK|[muV`KZFZbwIFyWgYMLuFDroYG]RgW}Mcf^cEYGyEoT{MiGJcmqWEgyZ}MQFQcdQV`K`BgJvEircqNLKDQ`Lte~rmX}A]{VaJsENRmh{`CJKZLIe{rbpwhC\HzKafSBoiBhCjB^J@fUsEiVtKPScMAfIriIRDJ}eV`vd|RUPqtFseHhSE{b_pvg~NNdJsdzrG`vo}]aKePEfB^PqS{aaTd@ERBixwpAAa[`rDabkQBpKGeNiTfBBePt`HoeERNO|a~`jcxgc@RGSjr^Hos{A^mfuD{A}pck{E^UPHrIRSXoCxW]WPMQaRIXtw{e`GPPozQqHudAEeJRJTKbaXrcy}c~REhhW^h_Ku?[zQCHdyUpo?wg]GNyr{q}x^sqc]INmgehe@igwO[rNNggxQ@dgzI]YOfgig]`X_z_`IRHHfYfHpgy?\eQbHdCtcOOoSZFM`HBsrtJswM[ZNFf~H~P^woGXXNGfxCSKr[ta[NM\FhcTSh[jKX`MuFgSIqJEFuU^MzgSSrIYQi?[`MbfZShiXlLfCJKGerbhIPXLJRCMFFGbqq?M_AWDKDeWBr@}lDPK}L[FDbgHytDbI]IueYBmXy`Ayawa@DhbnqD`L?ejibfIBhpvPIgeaR\PCbB@lSy_c\RUSqrahqc{y_IgCEBBAPe[{}^qPVrPRVxpsyO]sP[QhQm`e{zs]nOqGnw`HYs{I`^RRhkihpq{yi\zQlhiSwKPco}Z[MjhHCu\LGww[oNQGCY@x`KoqXmNRF}SUssouK[cMffmsV{iojuXuN?flcLYKYG_UsNEGXctqZeii[uMmF_ckQZ@MPC_KREwrjqQlLtRXMPfLrtY@a_kWYKOE\Rti?@DzLRLefIrip{HELIrJ@E^Rp@ztBcbLaJdmrqYEtLif?imFNRkXwdJQevRfpHrDhmgzIcqR_swBdPrw|c_^gMeGRCxfo|g_FPaRUbY`rGyy^HPeqmapHgO{]^CO{gtGbp[G{s`sR]Hpw?@sOzS]OQwHncysQwpgZpMuHMSxDM[xa\DN[gHiC`a_p[YBN\gBcX[uCuu[xMqFsCYckCk_YJNJFqsOALmHIVHNOg]swY[y?M\JMwfdsmy[TMzCtK\e}BmYS@M^RmM[FRBwAAu`UWnKYeabwQ@TEdLgLpFOBlX|\EvJGJJecbrh|HCMbaaUDsBtAGHMSfT_FFSbn@xxJ{fKRqPNBGPn{zsdFRjS|RfxtK}M_sgXELbF`hC}Q_[PkrZr\Hs[zc^]PpQrqrphc|G^XPFGyWeX\[|]aHRghvGAhtcz}]dRAhss|[SKqQ[EN?hRczlNoyK\YNfGMyFHbsqEYWNgGGs[CvWv_\MM{fxS\KlWlIY_NTfwCQiNAHsV]NZGcCzA]M?w\_NBFjCpa\hNdDIKgFBRpATTNHSBMefWRyiCIa?XCKdEfryyAhFNL|LzfTRo@}pF`J\JUEhruP}\Cwbva_dxRviH\M}fi_PfXrphzLKef`R{pSRIxpO{]d[RttAbi`u_}w`HgbeQrIHiW}{_pPvR`Akhnwyw]FNxg|x[`ZKt[]xNvGgs^sS_jKVkNaGfc{q^E@S\mNIFmcrQ]`O@DWKnFErqqULNdSPMlfZr{YDAa[XQKkEjR{iB`FjMJIuF@RkXww~sb}dtdmbUh{?~iaiQApRqlh^K}UadRuh}GEHvS{u^@ROhzt?{T{jIXdMPFfSlQ^egoTfMpF\b|QD]aiXXKnelB|aB|FxMQIxfBBlPxT?AcDdxDoRV`{[~wapQEPTam`^g}cakRyH~wF@vo|C^GRSH|d@sUWjWXkMSfhCmI_Ag}TmMsf^R}IDyawX_KrEmr}YCXGFMXI|FCrmHxp?OcKd{dqBWX{x?EawQHpVQnX_C}qarR|i@gFxwK|Q^NRVh~TAkUsjeXrMWFisnA_]hKTeIyf[Bo`~`BJPbKreZRWP~hAYcIfOD_RbPv_|E_NQHr?Axxkg}i_IP^hEgk`WGoO^_P\I?d@kCW{S]oNjHld?a`qJgTyK|FLruQV|O\SlIud^Bmxwk~}`kgtEZbM`kd?A`SQGrhqp@qCz}]iOJHEh_x\Wua^[OGgpccKUkkQWNNrgoT@I`QAY]PNZfvSvi_lPFDzJ?e_RfpzdKKgTiYD\AoXvw{c_EOxs[RMhfku__GOlhEHtpW{xO]ENWgFScKowmyZWNpgECXiQaJcUOKJFzcXA`@Ov@SNKFnb{a[POcgib@DaBP@sS}?eLSMTMqnXWg{I]XOEg]iN@fosCZVOFgWcb{zSkk[nNEfmCCaQaWiVcLnfycByLPH^DxJJeFR}iK|Omga_lffrwh}lMUgXSWpaQpxg{yW^FRIIGygPWGka]KNOGDCOLF{sEYHLnGDcLIQY\wU\MZFdBvyAlH^K[Jtexb}IAXEucub?DfbC`~pEkg]SSoWbsp{o~cfQSOIMGq@XWsk\RNfHetDTSckQUWNHfhsBYGacKYILGExSBiF@HZNBJQFNRrX{X@ccuePd{b\h~`@YbaQ]p`qshal?Eb\SQiKGLHys}e^xRkiHtF{X[kyY\MlFtSsQbEi_UOJNfebtqAHC^QLLGedr\aAPBmcsfdDirg`yG}Y_xQ]rIa~HnO~}_sPshPGppYopc_IPqIJDE{F?|g^YO?HwDDqcYK{UcLQFWRzaYdPpTVJJdhbsHzT@QaUhIEeBRpnL@U`}Q\rsQuPsk|Q^SO_HPHeH_?vu_EO\g{Ch[XSleWxOGgytEYbyBm]zNog@s{ybTQZEdJTeirl@}LL_g~inDfathy_|w_oPMserRxiSvs_qPAhOhz@Zcyc]oNlgPsh[r_oM[AOEgOc]yTIKwUyK_GEC]QbhQJ@}N`FyC@q]xPwhSbUDkbUPu{~SevSbO?ashZO|]^BOZghISPiWtW[@O[gbChK|{m?\XNZfwcHqTIX}WMMCgDCHINxIrEbJ_ePsByNdQAhK`AfqR|y@TNihBSlpkqvHjczk^pR^IRW@HYolu]uNdGNcT\IctYYrMCGOCQYTA^KVFMoFnb|IDTIrLEKIfCCBYD@GId_bTDqBHqAXG?hGShobBy@~X?wf{SdIWgvP[?u?\|N{HpTIc@?leVAN]fsSGiJId_YsL\FBsGyHhInNlJfFXrwh~@Awd_eeeFBayAHAmcKQrpkQxxdT@YcFSfiUgQX|[~y_bS@iSTLK[CmMZFNAF~sxadm?mUyJcfpBzACpDrQvL\eoRaqCxDAd]") DH2756 = Graph(r":~?jC_?O?G?C?A?@??_?O?W?K?E?B?@_?o?g?S?I?D?A_@O?w?[?M?F?B_@o@G?c?Q?H?C_AO@W?k?U?J?D_Ao@g?s?Y?L?E_BO@w?{?]?N?F_BoKoESBI@d?q_XOKgESAK@f?r_XoKwE[BM@h?s_YOLGEcAC@h?t_YoLWEkBU@j?K?ZOLgEsBY@l?u_ZoLwE{B]@n?v_[OMGFCBa@p?w_[oMWFKBe@r?x_q_XGKcAOBH@c_qOXGKcDSBJ@d_qoXWKkEUBL@e_rOEOKsEYAe@e_roXwK{E]BN?}?sOYGLCEaBP@g_soYWLKEe?}@h_soC_LSEiBT@i_tOYgL[EmBV@j_toYwQoHUCj@U@IodWQkHUCjAE@JOdgQsHYCl?R@JOdwQ{H]AUAV`Jo`?Q{HaCpAW`KOeGM?HeCrAX`KoeWRK?gCtAY`LOegIGHi?gAY_a?ewR[HmCvAZ`LofGRcHqCxA[`MOpoWsKYCMBE`bOpgEGKYELAv@bopwW{K]EN@D@boqGXCKaBwBG`cOlOXCKeERBH`coqWSGKiET?i@dOqgXSKi@wBJ`doqwX[GGEV@E@do\_XcKqEXBK`eOrWXkKuEZBL`eo|o]sNYDoBu`zO|gKWNYFlBg@zo|w]{N]Fn@v@zo}G^CNaDYBw`{Ox_^CNeFrBx`{o}WYONiFt@[@|O}g^SNiB[Bz`|oCo^[AWFvAr@|o]?^[I[FxB{`}O~G^cNuFzB|`}o~W^kQ[HLCe`s`HgcsQYCgCeaRPE?c{Q]HNCf_G`HwT?Q]HP?mASPIGZoQaHPCUASPIWdKQeHRCha@@IgdSGsHTCiaTPIgRwQmHV@DAToU?d[MOHV?k@S`IwZ?QqHXCkaUPJGdkQuHZClaUpJWiwTYIl?lAK`TgisTYEIDUajPQ?i{T]InDV_``TwZGT]Ip@_AkPUG`oTa?WDWab@UGjKTeIrDXaX@UgjSJwItDYalPUgY?TmIv@vAloaOj[POIv@]@l@Uw`?TqIxD[amPVGjkTuIzD\ampVWooWUKJ@^Ac``WokWUFiEDbAp\oosWYKLEE_y``g`GWYKNAPBBp`wfoW]@{EFay``wpCWaKPEGap@aWpKM{KREHbCpaW_?WiKTAgBDOm_pSSOKTANAD@agBOR_KVEJ_P`awp[WmKXEKbEPbGpcWqLi?ZBYPlGQ?V_LhEsbYOB?cgZQLhEeBYplWukIWLjCxBYoGOusKGLlEuau`lgM?ZYLGEubZplwu{Z]KaEwb[PFovCZaLpEwaW@mWvK@sEqEx`t`mWmWZeE?CyB[pmgIgZiLtEyb\pmwv[ZmLvEzbp?RO{K]EEAEfBopwW@G]E@{DTBopwWy_]INDFa`j`wglG]IAeFb`x@ww{[XoNFA`Bpps_{[]QNHFcbqPno{k]UI]FdbqpxW{kU?NL@NAC`xgbW]YLCFe`w@Y_{s]]CKFfbrpxw|C]aNPFgbsPyH@oFwOZGL`w`tP@k_u@uGL_w@`@@k_uO?GMcFQBgB_O[O\EWCFO`@@{QGO^GNbdABwYO_}?QGNcGQCHAC?{O`FkCGqCWno`EObGPcGpbpASG?HqGQadaCgy?`IH?EXCHQCwUw`MOfGRcIOF`Ac`QOh?VCIQDHFOI{PrGxaOa?PFKbeBYGx`O`kpFKbePWGyc\QMgHoR[PtFEC\OlPF[A_IcGzc\p|pF[OGPv?zC\qNHFc@wPx@@C]QE@FkbuLYG|c]qNXFkZwP|ApAsaNgnObyNyG}ag@ppFsb}FOG~c^qNxGCD?Q@?fC_QOGHGcA@AH?cr?w@KkeUIaGlCqqXWRoeUEcF_CqqXXJ?eY@WHecrO^okweYNeHe`rAXwJOWCRNHfcPaXweOe]@]@lCrqYHLCD?RP@rCsQP@LKeeMsHhcsqYXLK]kRTBaBKAYgtGei?yGhCtP^o}_ei@CHjaKAYxL[emRXA@CuOUPLceqBuHk_haZHQOP?SbIPb?AUPQKhEE]IPa@AB@QKhESGIQ_nAchQSJ?KkIQcNacgaohMCUEoDHqcxHwhMJCIR_o_f`Q[hQShA@DIOh@Qcf?SjITcBAdWAghUSjITcJadgaO[WSl?KDJORpIghYL[G_DJOT@Q{S_SnIV_FadxRCJGSpAIDKQeGT_haCGIWd^@O@Vkju?OEnDAanXVkN{TzCqC[AnXVkj?T|AND^Qng[G[OT|HJD^PP`V{ASDwF\D^qnxNWj}KaI~`H?rpV{kADcJ?`iaoHR_kEUBGqD_oPpWKkEUBHBD`PO_}WkI@{JA`?A_PWS\kQWJA_E_`PW[V[UFJB__aoxWcMKUHAzDaQpGZgkQDiJCds_JolwmaVP?yBmAkP\CmaH]JgapAX@\CmaUuJh`_AyWCgmeGaFpDsp\P\SD[FYGHDtQyhSwmiL}Ji``_~p\SmmFEJjaAayxX?mqVXH]DuO]P\cmqVXHnDup[PBwmuB_Jl`WajP\k_[RoJl_^_l`\sYWV\Jm_xazh\{PKV^BkDvqzw`gm}FKJneH_WOropIWd@kCCAv@aSB?WdD^EHPcPQ?pIWdKDEHo{@a[D[WfD@CMbCws_pQCOC\CYbDHac@OUcKSbuBDG]WQ{WhKTaHbDWegpUVeKUeJQa`asIgWlKUdLbDws?ckWnA`EJow`Z?p]PeIcEJo[O[wpaMgKW_IbEGS_paWrDBEKpF@bKAgWrC|EKoA_aopeXwAQBeBMwB_rmCyGsEBBMwDGEGXvEME\oCovwjoXvKzeVBNGc?rqCOK{awAQPfc\GXzAxAeaWPfkruAKJ{E]pGojwruX|DBE^PXPfspsX~K~dZBNwZWr}UML?bfA\pgCLGY@CQE@BOG@?d{Y@G?E_oPpgKLSYBLAaxBOgh_sIAwLAauBOgF_SWYDLa@``}PkKCwZBBMCoBJpkKDkCeL`b]bWWGg]oVML`eorTPkST?ZDAxEpOG?rwfSZD?HEpoy_n_gsZFLb_{BH`k[TKK[LbeqP[`kcXOZHLEEqrXX[GuU@[CJEqq{`ks^kTELea@BXgE?SGZL?yDDbXhD_u]BqLfaAbXxlCYCZPDzEsObPlCXkZP@mAybYHp?NKPIMF_~b`w^ogoYkMF_O?b?W_w]?aFiFBo\pB?pC[NMFe|baGnwwaFSMG_h@rPSGwa@uMHaL@ipVGwe[RAhEfBaWoOZs[RMI_T`gPpS[G[TMJeDbawK?Rk[VK[FEQHpXwwqBCDpFEOZ@UwwqQoML`TBbW@gRS[ZMMbfbbgtOwyD{MMbcbbgRwYO[\MkAPaSPt[J?\VCmD[B^@t[DGDyBsFToOpAoymDOHCE\Biw@oym?aMkbVBjGbOyqCEFyDebjGLgyuISFWDqBjXtkLgZgMlbW`y`tkyyAyFNFVPzptsy}XgMn_U_cPt{sS\`HRD{bkGQWY?\`A\DpBkHO_zEEuMp_^`XPuK^o\dFVFXOzpuS^W\dBOBhBkhxwTKRyNM`obrgjomK\?NM`@_z_c_{yBiHAFfOuPM?u?]\@?FfOOpx{\k]^DIFfol@Con[]^A]FgP]P?_ow]`NOaDBe`yC\wOkNOfgob_~_|EOuNPfhRU`ySD{ECNQetbsw@wf{XENR`a@r`y[KwWWNRdWBtG`W|QBaESFiQI@yk_K]j?fANbtXCO|U?QC?Fir{_oOic^b?UAGb{WD?WsWYNCFwol?boTO^bAeCvB{W`Gho[KNp_xB{WMg~IOMNqa{b{g[gdGXANq`fb{wt?b?XmNra\Bn`}[AwOSHAFxr|GVwa_^hNtf?B|WQ?NG^jMPFzOOPTWsk^lBsB|b|g^orS^lJZFzoDofW~]DCFAFzqT@~Ca{^p@XAfb}HHo~a@uCoF{SCouGlO_d@GA_cCgJOZoXkNfGHOxOhoWK_dBVDLCCgfGk_\SOQ`PcCgSp@M@MGrGHpiAA[PSR{LIGHo~qAc\WQwL\GIPY`{H@QB?GuCvCDIAkBCQgOTgJRhAAsKCHCOUfYcDwMWlWZaOVaQAHqA{QwYuOVeAcEGDgCc_pBRBvcEHO@@eQuOX`D@^aBKfg_r@lAoCEYE_\wV{Or_|@[AE[GkNQL[GCCKwagVsLcOraBapaE[UcVeNLGXoG_Y`BMEmOs_kaVqEcAgMkOsaaai`m@BQH]Otc@Aa@oXBU@OEXGYocPKOhg`jOu_N_WpO@BY`nNGGZo{OiPB]@KNWG[Oh@_?x[`pDSChcMGjowC`pKmG[oVoNXBeGEGZG[qjAFSJkLYOydRCMgRoW{`tPSCDBIAI[IkK}PR`]ADPoPAcafDDBU@vqI[R[VaPRbKBFP}@DMAgCCGhp@qIcGgSUPS_mA?aIcVOUiMUGiOHOjxDUP[IsFRcTWJO[[ajBADFApaIlDYAaASDUCTiI{}kanC`B?cTwJ?~kapBTETBmqJCWKR}PWbEbhQJCtSarAO@UCUWeWc[arJVGlOz?zPDiUaPY`f`naJTFOPkLOGxov?xhFMFYH@FRCQaM[VOMqGJGxpXpbXFMMKLEGGc[wOgRObfCvGyOIoVWj[bhALCVC\GsWn{\sPs_j`baMkdgU}NIGyoao}`FUFcIyDwc\YMsGGEIJVGzS\y@`F]IaEoGzoaQB`FaGILQFnC]GuOikbp?MB]C]HnXFeEAB\G{pWpMXFeWAPyaMA@aNSnkbtB~Btc]iQ_eGZkQRaE@}aQ[PsRYNHGtCcwsW_SPmQR_V@d`g`HMNeLkGXCcwUoUOcfDfHIOVO\_mGchA}ClCdGyGqc]yQS`C@nQQkgWWQNlHIon@C@HUHCJdELcdYQsJKFiK@HJSdyDhH]K?F\HJomaFhHaM}JUHKOO?|HHa?aQX`w`BQRK?gKcI^HKrIqRSSoPcQYeQcegdw`[ctQrDFBeqUSRoPKQqaeaeP|`GgddFPCWaWqUSE?MGLiHXQFpqPDGddBfBHckgqpJMC[C[EECkw\wgWdfF}Egb~qU[JcNSQsdXBKa@pJQFYHKHYPS``wsOdhQt`q@HPdXJUdlPMHZPjp@HJYFUP\HZqAp_@J]BcGTHZoOqVCQCHyQw_]@o@XXJa@QQxa|aVaVKssdr?VAnaOqVLLGTsM~HgpYpIPLE?_D{DacBQTHLEN{H\DFcsWQG^C[_RP_KaQpupFGebCVB_csWw`LID}DKEYcsgBOP{TcRQcTB\qC@LIFSGUHhqvPj@A{efC\C{CswoGr_ZSRR_S`D?ihLQejPmHipv@EhLUGuP|HjQLpdPLYDEH@HjPSOl`L]B[FlDyctwJXLaLSIIHkR[qZCCcK[HnHkSzp[g}Gf\EYC~CzgGOYkV_OmHcCzhDOgcTuRm``AFPu`MyAUHvFkcca\sS[N[RmbwczwEGVkYuRn_e@RpZhM}QkM[G_czwbOcGf`?aEBb^a]CSsTGRobWBV`q@NAAuDCBAC{Y]TGwfdGGCoc{ghXHsffHbEhC{wY_esffE?BLc|GAOH{OqK^HyObA]k\[TkRtfKc|WNWZsSuRtiEBBq?XOm@WFGDTDAwM_\_WsPNHrDAxIojSVKSJ`xAQPyxOmBwIbF}CkQ`[VWOsSJcMdBGKWYg[ASK_T_^Onoo[gXIAF_CWQ`cDOX_MaIEoA?n`OuMyMCFYDBWP_VKLeSMiFsjQ`{bOSYSNa|CnAaCg{ZoSOaAAeQaCY{MQSP_a?s@Ggs_gb?\@]dCh?WmCgd?WF]dCgT_]gUMSQiSBMAC`Q]@E@]ByatQc{ISOGLBGvd?qc{gGV?KOIRoE_cOfS^sSf`UarqBhL?hNEdCbDHxHHQaCgFVFQdIGJgIwLYKoISQj`{XGChPADEjbpadK_c\ONVISonOsO]?hTSj_RCrAd[e?TqSjd\bfQdcROUISkbm@|adkFWG?HpEvDJWHwMwh\GnEDdJgHO}?h\B\CJA{adtSGY{PDI_oTOPwaCV}T@`jAK@lHG{g}T@dVBA`fHSEAWDQDOcEqgKLwVqO}HudOWyWfGiBHtI`OB_Wg_KiDAM@n`u`ixSIUqOCHOdOgUovs^QTBcYbqp~PSMF[FOCEDPIgkD_fQTDdEAxAgkmW]ATEaqA{Ags__PCTF`R`K@RgxOiNA?ANDQHJWrOiP?cG@DQG`gcGWwTGimB`AKhTm@MAE@_ARPdHTmGKH[FFcjafHTm?cJXEXbVqj[FsKAJLG]DUwBoOwXEP]IDDUw~whwiv?dDOdVGG?NSP]T[`^`Bp?ovsixKBGQcoAjcM[\AOIImpF_~gb_i|T^d[BBaj{p?^GT_bHbEakCL_J?JHF[DWWUGSwjDIFElDWgIpAKjDC|CvBPQkTVK\OQDIxOUOUwN?RqLPIxPL`P?zKeYTRIxOP@_Wtc[ITq`V@k@]xDojd@OA^BQqNpQWjd?^CTaqamSD[UYTr_x@HPJXVM@aC~CXBgQm[qoaKR^IxpDpwhAkjhDMCSaXAmlVYVEKvIzRMQ?hV]MALBIzoJo`?W{]uTw`p@^QnKjK[?TxauAe`lXVekQNJHQdaGPOM_H?IdEzdaGkojO]kRiItdaGMoqoZ}MhJCOvozgqCbwUG`?`ZPmHHwi?UG_E_SPIwnOkPAGDzdaWSWTSSMUH_p`Z`Jo{SkRLRGrC~ApKS[^OPKJDP^PIgh?kVUKeEbVQpct{`KUL_D@z`lHWuBACwB^B~apsPGLWUNbLap`qHW}k{?SFvCpArkJkGoDODgBfArkXSU}NxIBd_arkI[YeMbFeDfW`w_cYSQ[JMok_r_x[dyTYJMoNoOOgKW{U\`i@`@UXXyCgE\DDByArsvccKSWJNP\a@HEok~EkD?anAsDYE?oKuF@dgXohC[lD?N?]AE`pxYICcDgBtcFqs[SGMqUcbca{PuhYQlc@EGFcwauKMoIOD~D|BoAuK[KWQOYIPdeAuKL_ZqNFFvdkWfwbSZ_QzJWowoxOzkewTpJWo[OUWi{YMUpaA@kpZpZIEIFJDZCAQuSAK[{QeJXOI_shAgcWUrbkajP[xZQlj@IEmBhqukycbMUu___Z`GozKllBBBJaDqG@Z]JaGDJ[P|`bW|_lpVE?{CKA^x[UGwDvBVBH@{X[UN_KqG\dNQt`[UGOM]FtCCAwkUwRAMUHlDpWaW^[]{RxJBdpWSOMOUsLlJapL?{?o_mLBtB{AwQDP[YAiNAHadpgJ_\KaUQjJbq@PZ?pCmPVH_QB_`xP[e]WQFJdO[oRwfG]kVI`x`pPGXE?mVE_CWdrHCOsO^uVKjl?iQI@PkmrDKBR@uph`?OmrG[EkCUqix[?mrCwF`CAqEH\eKyILF\C|qzKSKPEO?IJDfAzKLKGgKCFHduWk__oXaVYaQaH@`XCkmtAEFqcwqzSGsN}PjHdDuxEGoGXsV[jmoT`so}smzNnHRdvgS_L?S{NxJnPGo}Oe{c?V^bfAVQ{CcwZSO[JoTz_ZPF?hkVla|`t@?wvG`IVlccB^aNXUwmgVlasBxQD`DCnZFJD[bvQa`]uJcHNGOdKau@]uGEDCEUblq|k@KKeGwJvPTPI?rObUVm`Zc@a_@]y?qA}CTcaq|{B?QyL_JwT{WOw{c_[VpgGCpa}SLSG?JIGLD{giW`wSuQ_Jxp}pPH^QRsMOG]d|J?OACGSQOIgE?WtO_?PeMWGbE?XM_yGcuUDJsE?Wqx?WaYPpK?p}@[_~{h_W@bOa]qGPSomGW@aX`[pi_|goBECC}BUaPX_IFOOfIME?gHWM{QmQiK@oW`PGwWoHWD`[BzADx_U`aRcKBP@Oe?nO`uWEb@AQ`WxJ{oNGfDYeAHSozOayWGkI_H_IWRgd]ThKIPtpD_d{\wPeKIQg@wpJgkuV{KIOAowhA[bYQPKIQH@`pA?iSWSbfahqKPUWmoWSap`g`nO~sohErDSB_ATP`UBwC^D@cqRAsHKTiMiKJoG_\H?sopPPI?eEWegU?W{PZKKpkPMonGe{WYchawBB[lC]mP|KLuH_J?GOJSRMJ?EHX?Wd_SUN^HBEHXX_}ceqUnKFeHWFg^GaOQLHWEHXI?r[aATcKQp~@YPGGjyVkKQpc_y?x{_{WdboAsps`KcpLAlAfajq[xa]EGJ_FeeIGI_Pc`[WhgwdFRDSUSK]LFG|eIgzoiGWwRzKTq^p`PaqVuNyHMeJJEwGcDiEXHtddbEsa{SGIvG?chbEsnW_SRuJ`eGBEsE{O{PgHUCrrEsfoYyP`I|eLhD?nodCURK?ELgAg[?NyNBG^eLh@_ns]ORfKZov_nolggGWw`yBA`}@beCIDHGfeMiQHR_pvESB^BZQRXbmOSJMEadDrFcqS_uQ{K]uPoVOMWMMSGJTEPhJWj?VCOaHaePhc@AkgeVVKWePgS?cgcORJHuEPhT?wKcAUPKbQT@cpKClMWRKbOPo|gac^KP^KbQM@cw}kgGXFaF@jP_`Q?qPCcEXcCRHKJWJoPnKdSkAiPcmMCFjFHcmbH[bWVoLjIXeRHhhBoeuXLkj_yoao^OhGU}KjQ`pZWooaERbKjRQQH`Q{nUXAKjOsPMpI_fOSHKjQspsxIClIXUd?BRa[@ZkpGXU_{aEPIh?[b}XUcqBRq@`Q?qnC}BlBJQfPdaIgLXGXEUW[wY[c]XYhfdYbJ[]{OmMvHkeUxKOqG[aTLKmR[qJ`N_qzXfAL`P`C@RwmcXedXb@PehEKg?XeevcZAhH^{qcXea?agaWxOShIXed}bqaW@ZcrLIkEyC~QxxbSrL?j@TAPPOHA_c}XedGB\QDhRgrNDlCBBTAi`eaKEL~GhEYWaw\Sd[XihuD_RL[`kQENYHzEYwB_gw\iTfKuU\_hWVSQWTWJrE\XZoqwYuQBIME\XqhGojEWQKpE\WeGkwfIS`I^e\Xcw}se}VLKyqtprPPcnEXDKyoVOZWfCTYPHH^E\WC?joa[TSKzPf@EOvgjWXvbXBgqMPfaIMG@Hee]Y`HX[rtHFCvb~QaXfiA[IyFkD^bN\gSJsEcC{DZq~PgQWOLTF?cgqexgQ\qQjI|EGrMPgQJAJwI@DMqjHgQ?oLNGFC~A{HgQWAM}IYD|rIhgQC[CJDMauALHLssH@QDrcZal`gUMSH]FNd_rOs\{]MQQLBp\`DhMgsPHrDLcFadxgeB}JdF|ddBPThKLQFQDQD`b@hhIXaLzFQcoaiHhI]wRIJGELBOHhIK_KaINDTQm@hIASLtGVdEA}hhIXUN`IfEAbKhhID}CzDcb?aPHNgsdABEGcbaoXhMNmIIF`deRQc_k^SQpLIphPJHO[slI^DbcNqhHh]D_KNGMDiBRCFOK?Js`Ha|@dH^YRiJsEZsqBACAk^APnKGRxqoXiA[wMzIiegGxhMOt@A\@favBSCOGJETpLOoH?Z`NotB@K@gaR`ROl?tB@WFwDABSSJcN?H[J`eghNpTGtD@^?u?tP`xiIJiEfCOP\Pd_zcf}X_`Q`jpbsKOW{LPKCqgPbotufKW`_S?VQPxaE_OUXLXOF`w?|wtdFyI?ekgXoN{WKYqaX@caoxjMAkCKIKEkwNgOCRsJED|EkwPH@ChGYs`tAB@P@\[thIiItElGQ?HsGIKwLYPh?ygcqLGLRFmDErMCLWMwLF`yBPpmx`qUYLFF@t?rESDgC[QmKXSIQthkQA_NbG?EpHCpPsuHB}AVbJrWcUGM?U[LaoGoOwRouJAmAWah`]GqOuJAyGXDNbWsPgPoIsJtephYhWCuLB@@f@LPjpkYMcG@C{OD_yOvchkX~aBAA@lkQOZYM[KUq|plgy]g}XB`D_nqXhcMaSV@LjO_Q?`ACulHQI[EtgdoT{YkZUbG`zQu@l]AiAwAtetwZwUCUaKZEeEtw\XDGioZWadAX@Zx^{upJ~JJeuG]GNwJIMCLkOAPDgiOtH?H?cBfai@gyHkGsFHejgi_xK]?W}eObcpxTRcqf?p@]CybIXiabSVTLsOkaChCGvPD]BFB^B\CZ{OqVCLso`_\GXgvRCNBGA}pg_vGvRCZGxDZr\SVcS_KHKHEyhdHYkvTC`AV@d@t@mi?O?zCkelgFWFg]CThLMPX`K?z[u@EBFZbwrHssg\mNliheWwKWMsgMXbL\Saa|HneFEPEGpE}WpgZs\?ZxbuAPQz@niDmCXBcE}gBWR{XILiFKE}ghXHGkKZzbSAn@ePaKvvLPJ^e}wiGTwMCNJL|oM_LggSuP?V?u_ip{hWAKiIKFlEsguO|g_GX]ewBua@tUkrfASAMdGrMXkqdQV|MDPCqKpGGwTE{BtBpB`S`_RaVkMDoy?hG^SwV@LAvBRPq?zowV?LA|CkR`c\WVMLWKYFBHmx\KwXE?BE`zp|poqBWA]DWeugHGHwEwOEJJPopV?~stEZcbnb~QChey[kN|GVt_bOSKSIYS|L@EvggXGWdCYpMLpyPAo}[wvHCDMe?BbcP_JoG`MMO^_rgvK\gN^MMONotHL?wz?TC@BCPnppu[wVfMMpjov_`k_][\_|_ro``A[lTFoDpcFbUhnUOUO]GbE^WCOzg_|UWLGO|On`T[s_ZnaxChaWHkKxTGTC`CABdSf?UQWRMTpQ?swcsxVAnBdbePyx?CxV?K?wczRdcC[P[KyFPFJHw@^kxXF[BsaPqE@qqDWB~A]CQAvs`oWYO~Lbf@hExB{bKYK_iBvQF|Yos|CdBTdZbRpoALARDHoEtRfKcCR[OhLUfMWDwhopG[yaz`tPNHriF?FwF]b}aCPri@{AaIDFMwNGdgZ?NEM\rwr@prmOOGTCxcSBf[LsH]DjGsDshH?rWa}ZXMJqWqJxGWstADF~cVwCh[A@IDTBkD`RaK[{fER|LrfQHLghgaSY~McOWPX@bSyREeC?ahRhKP?PGN_GLcOrhKF?EeSeMdOi`OowW^Q\IgAEFrhSbOQAI^GwFQg`gT{KsQGJrQ\@j`F{vU[f_DAbqNxIYDkO_G~oTqycD[KGGCJLfGW~`O?gqZwMjqePWpEgua\V`HA{rGhtaMgGlDgFUGg?d?_CO{GpfUGSGOKi?\X`lak`tP?gyrOdKWFUXK?esUUQOMkpNOpo[_dOVydOB_aRxnoxl?{D\cfqWkM[aAQ^`CDyGP?ZKP_UnMWQIAb`ROwQ\edaa{QPPmKzLBBEMeTRk{_?QqJyMrpZpN`AKawQBMros_eXTgzPCJDmbrQDXuaaKX@MsQb@RGnSd]\gau@nO}hK[oZJKFRCnb`hsUB[JeH^CwwaxECd{Yh`[d~HI`R[i[[YMyq{@bXIcvg\t`xbPbKhvYPWIDEQF\groi_aGP{HPf\gfWo[^_PKMzsXbIHv]ToJDENcrbm{?kKuFiCOcxX]o{cey[]MiOfpa@Lsg@DFH?cvRV[Mgo^?fD?DSRdHwIWsLCHcF@RoSAkHELkN@qU@UGso{FFKDhcXAR`KG{F?lEWCCQL`wQcKX`NAQwp]?s_fU]C_]`qPAocsgDK_FuC}bdhuME_KxH|DFGmpICfsZLaLEGGAODcTW[wNFrOplPMWwk]N_m`SpqPxASGJ[ExFcGA?^cVyQCH\fcGJwt[`cQKNGshbMHxEWYKYEvDABqKE{NkHAC{dFgD_sc_Y[{MxOJ?_?t{hn?kBQcoBZ{Sgpb@C@DAtrgxxqZQMOI@fHbrcGwKCMuNMqk@_ox_{z@ACQbHqS`Lg{zAOE}cSaTXxyeIY?NNRL`gWxOhG]]_L?g@COewTJ@]EvcJbhXv}A{CoFAdSWJo\Ke}Zoa{eOgMoJkWA\UNSrbpu`P{xi]h`^`kPzHyiUuKnF]FigM_dCY]RBHzfigWGyCbcRINTswrPxymYwLhF[DNbt[G{[iPNMlFbGAOG{J?Mh`F`~q^`oELOXQ`R_z@dXuS|jMrFjdMRg`zU@aF]F}Flh_gtW]}]u`Qa^PmhMCgg]u_K_{PwhHG|nS?LMflxoOw{]uTWNZoo@vHE{zQ]X_a?o?pw{qE?GjIKFCgypeI@QBWAMF\BwK|W^sTRMhfoWKW_g_y^AeVB^A?H{I@?BUDSc~ae@{IAUC`FsCkRw[@sgw^BfRBkp~pU{}FBoFmCbrn@yYBkBoB^BzwCWN?Qm[ac@E[gJWO_IW]@Ner}QBXUkzC^L`IALaFp{yYiM_GPFrgIOOWUgSYIdFrgN_TC_QRONfoRqex{}]QNUGNd`bx{@WH?QmNAfkwSwQ?NUOO_i`G@OXrEP[Y@`E@M?nXww}rOYG]D_bmH|eEIHaGnFuhnW{OaE^Y`@`L`^pRSjG^Y`U`_ADPMs}vA?Igfuw@g}o^qP?NloQ?i@Ks{c]~`k@S@AxBECKDODVfOGB?diDyDgBTFer{lBkawUWM~FxW]ggwb{^e_GbxqKX}YDgDeESDRqnX}YE{EnGddAb{{@GDa^f_^cBQBPE?~N@yA~cybrx{mGOD~C`cSWUwV{Us\N_dA`g\oX[Mm]gNwsUqN`Yo{U^paQamaRp~IAEOGH@ehr}SMSKiLOIsDcR}SOwMwPjIRF{wG_MG~f@pGVCMqO@~MDUEmIBfjBy{R_L[HnGwoy?tooOy|?cDXPF_wg_KtU^|g|cfAw@x_~zDTDqcnR~sFS`QQbL[f~gag[KZkT~JQf~gfo__cUT?N~o\_aP~}DCPNGlcgB~{LoMuSbN[Fwwl?\kSuQPaK@updhuuAkJ\af@{`Dxjt?RQZH\dtBsi?eKGKNHmGAgSpCgeCZJODPPO}?xkkiUxODPZPE`Igis_J`R`Oc@[LKb]PzH^gAw`__[hy^CNvpdp?wk[d`DGCBbTBn[G[WND|CNAUrXy@UdsRYJsFkcAkZKXoRxOJOC?YxEguy_UayAF@vxYcmY_UbMAWAXHVD?nBWAweicA{OKc]QZHnGDwf_bKim^ON|ppPEWnGe^DvCXb]bpCJ_X`EkCdA`r[IAEeqRvJ}FncCK]?Y{SUOPOO__xGgt[_abPaQ@{PZsnA_abdAbA[xW\@FCGBOEnCC[RKd[QyH|gGwlWd{j[^[OBp{`JwpofXEeCnbfrqkMcYnFXCzAkr]QAufkSSKFfqcDk_o[GSqOVO\?exIcu?_mbga\A?X\Cni_mbzamA_`Xp@^CwBfErcD{UKeYRXIJgJwrOgkkI^gOHqF`PWsSgRFSDDborsSPcZzGDDPAvb_YBegeSoKOFtcFKb_\OTKO\OhOkxK_uc_y_O`~`S@AOnIYeO\QGp[XQ?l__zas@}r[ABmKcRiHzDKsF[[_TmUZNyGFxHOj[ZUSdc?Alp{py}IQM`cWar``@pPAJSnIdEKR{QCURGNJIrGPgYoXWfKZcObOSpDOkoaIVxL[GPhHwoshsVCObpdpCxnDANF?IBdCqhiC]NiJaJVg?CD[fWVCMPI^qJ@[P?[|vDwFaqVP^?rCxG`PicdXBGP}xAbIOFvD^SISOWMGSBLygSgO_dWVkPdKEEqcISfkXkTSJkGSwwgdKwC`RbudGqdxU\AfG`EEDos@aB]TCKKFYdUXJ?oo`O^FbRbyGAWgcXC[rOmtWqnXdG~s`\d]CBqqYDyHkFpINf@cJsJSSCK_HAeFbZaDyTML[IuDzCJ{^GR}[ROnqEQfhScj{`^cebLQyy@`AFJMEYbuAmCgOXiPHNhptQ@K@oAIItM`GYYnPXCrC_EOsqxqE@Y\BTDeCMdMRayEiFKImEcchRDxmxBTJQF@D_r?AEmO{IjMPgYxGhT[jEUSOtq]PjX]l@G`N_Na}@jW~mT_LZGsfvx?HAiA[@vDoFSSMlX?lIXqOHG\XaHD?lu`ubIaQQiXq\BlCUDkbZqW`c?v}`ud}BharH`LBnHIDjFKcM{fCj[TyJSG\xSgwCn}_oOloSPcOwC_xJZF?caR|[asaV@~@SBAbkAGE?gUxL?gFcOKrgb_VNP@PopMhUkxkaAabB?pqhMGq_[OP@RH`xHYspGaBczB?BgIGMSyUDJGDnCO[l?\IWQO]GXwB_GG\IO|LWoJ`_gyS~nHXGtok?ZGrKz]aL_K?PaxiAhCZL_HGDwsPs^?TAUAMagbhho}omAWtPFqg`dPt@C^?SDcdeqyAG}?[JyKPgQCM[?wA[ArGmeow@oE?X[_BdAcaw[GOcYq\|PKOQ_N@]D@kaWfBCjq}yHeOwJLJKFTCRKvO_YVTKaekCRSkwYc\^PLOJoGpY{nGaY__BHBEaDPB~@??~_xANhlUA?APEigBxUHIiGaCxE~facS[AODQVtO`GgxtPKwoSacccA|qt`uLDHMYGVDyRIhkHDJJwE{FZcSkECBoVBJ{GhWAgFGYW`_PDo[_U?POcyZf_x?o`nY@mUwRHa_`YPsXx\D\?`?j?ucHqIy@KNLHtgjxM_qCm?\qPVrnaHx^srIZSPWRG`rhvpD`AQ@Sdtr@YJAAMAbExGZCQsIKFADCH]EjB^C@CDEBqLQGHx_pM]J_EWFbfhCVKDKCMCIOlGmXS?sgmg\~P\OF@wHwdDvBB@lDyrBiJmBqBSFKG]CSKLOGaDrHlenb`KCKEgCaLZGKxdxOQK}FEFtFkSWSGODoCyOrGohX_v?nO]KP`oR`{`xXEHBrADD~rDqKQDSCCF]G`CTcOOIAEaH{EsBbSFSGGDQLcGNxipQAMYFrGDfnSX[JSFQDiOxGqx]oxWnw]XPeO^q?hyLEZCbA\ECbFyKuEuCsFngcCU{ROJ_FOIIewbdKIWHgE@LlGQxn`RiNsG^GUFqSYcMWGqEXO~GtHc?zgo]]ePiokACpz@ElDRAtEGrHyLYGUDcG?gesWCUOK}F|IWe{rfCL[JGEoLuGTxs@TQPKHJGeftSZkPWIQFFPDGvXhG|sp?]rPnOwQGxzpE~EABKeLBJyL}HuERGPGhcXKXKMYGhIdf@Bg{O[KeF\L}gWxw`UqQcHvGufwS[sSWJoFsPIgxhlw~{pa]~PrpCQKx{`FP?TBW`prLyMa@YF@G`ekCUILIMAFyCidXRahtYHmF@CCfBcL{fwTEQLNugzxqhA?qC^JPwPOQOx|PFb@FBn@|BNqNEA}FmGpeocVaLmN[GeD?d^BchuUJMFmCYfFsN[igU]QkN{g|hvHCCqc^VPzp[ASx}@Fp@xCDAGBPiNaC_GYH@etCWiMQOsHQDUdcbe`vQKkGYCofJcO{lSVqRJOAg~Xz`ECrC^bP~PfqWp}pF~AiCZARBRYN}EAHEHPexcXqMuQKH}DkDhbgXwEMGHEDEehrfiHMV}KbHsGCS_c@WcAXqNvh@W@wLkRCHwQBO{PMPKGvmbVPyQ[`TOoGls\QNFP{PMOjctq\KPNRIPhXOT?ycI_cCgROH~lGV@@ADab`SaOq?_C`DNFAC[ANm@_I]DidrbkHxmOyI]DqEqrjYIeYaLpIOgISaC@_BsR?OBhCW@?FKHuIyQHOO_iGkgwqbhQ@OW`XOn{nC\oNSQQPXOowuy\iPYR\pqxRl@icU_d?iqZy@LGn?l?\?h@[iPaJUGfINDdB\[?ohuThMBG\GUGX_UWLuFog\C[Sv{\}UzNeGxCbcU?XcRCKEFGsbcJssaYmLYfNWy?eCcOYPLef|C?KBsYWPKHbDRbb@yyUMPKJJEbbqsS[PmH{EYFvsXqLa?sEYChdiB^cBwiiU?MJg_GD?MGMKJuFLg_C\[yK^CVNNkGzScsW{YoRaKNFKccsMws}Z?LbfRCcc^sSYQgLNevs?A?u@M@nExCZA[`q_|tJqGuDibR`yMJkHbDSBUb|YL\FB@KBcA^qv`ou?{@oJJFHsPcDgGcFrEOBnrUAGq]MOBJpfxC]aRAL{L}H~eJrgIRA@SC]LhEuRjYQy@SGhD[cpr]A?p?r@X@OBeAP`OCxm^E_JbFAP`Zw|`EdDFaspo@~\F?bi_}`|PTX\?w|@O@OdibeqH]CUDACNbQP{PkHCnNiGQD|r}ANlHtFjFPDErG@t@Ht@[AfExB\XuhHp@[CiaxA[hoD?o_d`D?sPv`Ikgy\ENhOQPghIkmc]{bhamp^gyP?EbhPxOj`CGlWnG[l`?_savpsTDDA{AwaQplx?KugaagDcPR@P~pGCdCcJbpaepd?y}dC`E`^RThnSvwdA`Ea_P`pOGwc_cOWomo_G|{eSSwMifvgNWukeSVeNcP~p[oq[]OYdOFg}WZwcsW?VwM]Ok__P\Gygal`u`g@MwxS`GZePUoHaD`EStM_GQfQOp|HT?r?\mQfOn_t`j{wK[LQeOn`Tgr[g{[aOWGNWBGMoHaO@IhFXB|S@cDWMPJ|FtHDWp?Y]NjLZgEs_CO{RqKiKDfQw[WRGnK\bP[PFOxoiK\qPDLzgmGJ@CscIYxOIHUHLx?gjQXoM}HUG\w\cua[VMNHTgBOM{UoL\MWgNCHKCkGwD`GPDYbmX~YAUB\FYeBR{Cd[XqLtGEEqSCyO]H}IdEhEFRjSPKJCVyMxGoWhg^kU]N[GqfACWKGcbYQdLdgGCkShk`UU?K~faScIUIG}GDLpfHrdiUAAWC^E@B_rgAC`Aj@{Ae@cAGXWC{?_A_D_^?`g|_~X?_D@bVqDhll@ecLavAs@n@awzQcca``cR@hv|ET?UA}AHp^HGSwqbI`\CbQW`lt@WdkafaKR]`rWxwdi_W?^Ohwy[y]`SOooEoTgVkbEUVNEgBgFgIsHyNzN{OS`TwwSa[ZlO^hCwrgng[yW~M{HJg@WVGL}]KPhoQ?tWdKXEQdLSGsw\XIofCYmO[H\WnodswI\DMdh[wKOIwJ{NIMnGWCLkCsE{EiH@dirrQ@iB]B]AuCFC?cGKUsMhGvE~cHYPeMUKcF_eRroiRa@yE`BuFeSZcFgMoH~EdcpBVQLqGuRJH~eoCGaVyLYIHMJFTBjQVqCeB^BUbzRliEpBr@}AF@tqSXZ{|M_e`O@B_rXBt?`AsEABrAPpiWw]`Vb{BR@{`d{{cdA_v`rpB@yXFJAjCAAipmHMGuWbdadcyAbXlHA_eFblAlRcpuKzQeD`a@BozP?wzu`wPAojofo_KeCVRNYGKgYGRwMQP\OMOxPdg}{dYYbL[GWxC_vG_IXnNNhRGS?^oQG]rPvOv@E?lW[mR~LnGzgnPOShkZcOmHcH?om?xi\qM{Hbg]_R{OKOnNCG`CQK@?F?DlCVdxrwAByGADlBzC^SDCPSYgOOHeElRXQE}Q_MWGRE^btaTYEaGgCwFns]kOoQwK?F\dEr\yNULQS`IgE|SLAXePcKIMaF^roiX]@CCcAvAKbqiH@Cx@AAG@f@JX^k}W`IaW`f@CPHt@hDDE|CKQ\Hk[uw`zc}BnAGxgs|oc\QoP?PI_ho}Ub{a]Aa@dO|whk[?P}QV`eXtK{W]QROOT?i_XsQ{]aPLghwM_S?MSIFKFFuCIsUCMSHMH]GOGm_x{aaSELkezcO{i_]}PfLLfpCcyUiHaI?DcFts_[UkTgLQG?DSBaIOMSSLXMpFeRryYaCIEBBdaabtyIXDdAdAv`|pUX`{~G`abG@|pNPLlAXEbF`c[QcPmkv}aR_Fasq?HG[}_cpQxpWPT_nK~EcHbLAvpn@ACjQ[`QCql`nxvC|K]kRWOl_uO^_Tk]zPWgnWYoXwPEJ]KWF{CLs@kPEIeH{GUGyG}WcaS{L}FCCRsCCVyOaHRfvCfYVqK_JVEMfzs`{[_WQM\G`D_BeAO}VAMbM~FkrvAZaFMF^CQAwRwyJpELCEBeARp`@cC~w`y_eaRpYHPTBHF}GBckAiposx?ah_xbHqGXKW~OdDRAoEp_GsW~ucTbybK`wHEGkk[~QIrApwxwk|}^CR_PDp@Wd?WU^RPagrweo^cRuKpKggACOsFwRuJzIWg[HDPA_e]TlMNFJsUcIOY]PbHqF|ChyWyAYKjEuG@sb[aCYoNcH@DibhqPmXgNiNKFqryA[a?eDeCQahrKI@PCdAnDRbHQhYFqQkPHHuD`BT`qsx|BTEyc_q_I?@IqeV_S_^`qPi|?fHLE~C@QSPZwt]\\elCArsh|[}wfN_a`dPIGlGra__PMow@YOssjIaGd@CYQ`HXgt{[{MeoG?_hIKgy_KQphgGJWI{\kZ@ONq]PsPAWeAVQL_fZHo@Ao|c^bNsHtgMw[KRyJ{L?GJCTCP?VwLrI}GdHTpGchIUmLgFQrjcDGHiRAI[GECliYaCWB_FkessD[iS]KPFHoDxbYXvi\GPLN^Fzr}a\uDOFoDSbHbPyB`DfD?ERBeQqQH}@[JXI^dob[PtgzV?O@@`XQiQAPJkeo`]`C@~`mT@nJOFscXq^h^gvI]FfcCZRxP~l??fc`kaF@Y_swsy`CP^PZphozslKai_oB?qjH\Wve\hM{oO_U_XOjS_oQ~hmG\oS?_yZuO`q}a@PG[gqWLLzFdH|XGs}k_FOEHywBgOcQOJ}EyGSCW{XwZgN_J\GlWQGqoj_ViMAF]BosFOFIFAJ?gNCpA[AG{DnG^F@sH{?kXGOjHRdLB_xyE_WQkNpGCsBA^IA]CxCyBI@rQDpE`FKFLC?axqJ}?}BAEhd~bahwS{fAdAI`zqqyC`KafGaf@faJpp`AvOlHdfzcByAPNrA?Asag@i?zxBObXb{bnaCX]HEP@P@xB]RAHqS{c]_`j@PPBXYlAgeYRfp^Ox`FwxO`fgfCyB~QAl@_f~cQbwQG`^XEbAAAPBfbCPrO{}]laB@\@GxZ|B?ebRjPj?~HHwxm`rgvD@S?qB\@wgC_SASQK`_dEtArAhBobEXsK|W]xaZ@gpMX\LBWejRmpuPChJsyK`~hFDGSAQCLAOgH_lA^QO``pFFBcB?bxRG`tG|o^Dar@sPRx]\BoerRqQ@PIHLoyiaJhUdMsBqC|AggM`DaiQS`atFXCSBWC@bI`uC}G^PbI`~`XX^lCGezRtqKPNhNczGaUheDTSDQDlB?gR`]AtAWXbxFfDCBmcHrK`v?}_^\b`aI`]h_xC_fBRxQVPTHPWzea`_NCySEqE\BWgW`ua~a[HcxFtDrCCcQBM`ic}w^hbwAT`bx`|CufJR{qaPY`RG{?ak_gD@cGQFLBog\aMbIA^pdxGBEaCYcYBOXjk~O^tcMA_`h@b@DKfQR~qlP^pSo{Yav`?dGcHqF|CGgaaebSAbPexGPHGDVBZbGIJDMqgCdoBIAkpxhE@AqI]GUcPYH@PND{EzDLRNiOyRgJXFIESSVa]@ORKIEgD^RsyKeFETUOrGdcRYamLUMZIfebCaci?WEMwKogpS{y_yXeLuJHflCYSPKjY`qPOghdD{\_\}TgLLHEhX_qo]uXpPfHzdA[tc[uUfN_GuwgXWPB{akPWiKw@O_O^CT~LTQ|`iW~ws?bVRyiEGmPXhCSavP]ILwF_b?_EUTL]RG@nH@{s]b_R}IFWsHYxCib?PaiMgLodo`GUhLfRQPrpC?sybhS@IGgxx[HD?bHPfINWRwg_aIU|LoOFPlw{Gb?YdSBiHw~`\XDUbQPjiOGY?jObIVPLwoRpqg}Sc?YvSEIIxD@]hDkbZPoIOw_?l{cIVdM@O_@vH?Wd?ZHSGiJxI`^wtGbcPsiPge?ocdIVxMHokPz`A[d}ZZSJIKxO@`CtIYuPuiQWAoMGaOR]LuiEtE{iopCYvLcG|CcCC_GcPgH|e~dCAbiUmWrLceuc^YQiBsDAHCDDr`yaTPzK@KaEur\aOHHhAjAwciAeXiLPQh?eTeTBSxmsvyc}`m@gAWxSstiglS`oIRK`jcv{[MQcPB?xpMSjMZFSWiPgJXfOuU[NMNhSgf_^kgCT}LkiLTHKGosEYbLmfJcjcXchi[]MofzClkWKSyOBORGZSsidiTsOOJ^GuS_y`IMMTNMUf[B~AVYLcJHGQGKcNIYtQzJdGWdsc[QOtOnFsIsEiRfa?PJ~?nBncPSFqGTLih_eFcSQ{qMlGeg[cOD^rVXsl?_eG_oaAqKiChCae|SprMAMH^gt_cXSOqRAqhksys_[RGoc`ExGTAka[RaiXhjpHCoYYeL`IHhN@Ycu}\hOSHegWWeKdI`aPRhrTLK?k[GQoL[EtDDSiOlyZoM{GLCs[NKS]RCOvGkcyaeq@yMgHfeqb[qay?OVPM?f`SGAYmHEIzHpG]cVi\lR^@nFdczBZ`n\Pd?yJqfCbqQCpLfDRDrC~sOqKXNChq`OBza`HmwwOgu_uD}RcPx|Aoezb@BCAbYHHE]fhSyosQ@xQSv}[XS[ofR@`rC|W`cR`pkPfHRXCybWRwI]G_HB?h}YgMGINGXp`wy?]wOwHqwzot{i_agPoh|tN[RCa_TXL\FGDF{Nwp]\NNaG^CyS_g[IThPXgyc~ifyJAPoIwErBdycIH[X?MnFsCPA\ePkMhJ?Gnc]Q_LSB?^BGCcBZprxQJD]KgFZRzaHPN@HaFeDdcWyNdOOiC_L_SQTxm{yYhGbEeWBnX}`C}ffdFBzqtQL@G?gLTBoROOPKww?\[SdpnBM@w_~gaiRvIVGNoJKfU[PMtiRW|Hf{{i_?PYh|TJ{I{FGSGMOf]TH{`Ss[]aOEGns~aeIF?CSIQFKBoqdEQAY[NVgECXA_HRJCOAaDNbfxxLQf?VCufmsCaLDOMhga_@[qj@sw|?hT_caeRwyB@EsgKStpZosPU{yy]lSjo]pWh|L@wbbSGiZgro\?kK\kN[iUWT_n?}}`GPuIDdMK?sMWF|M|FpScKLsWs^jOiG{tBYfQ@}FxCSf`ryIQmGYLBNzgWC^Qa@Rn@pCQaTRq`|tHjC|Esg?sLaODPIhy`PASPOHyC~Qc~auBbs@yF`GOghS}ospNgis|[^tQcpepuY@lCGcMSUi_G_WicUo]yO?hSwxG|X@MaOQIIKTO[RKUgKANbGBSjk^W^q_rPLhEdEigY@_DbD~FscBIU]PCOYLTGNsSqP|SR@aBHBIBzqATJ`HMG\enCHYJDHQiJ`H`o@i@}h@adxc|CUrXqD\DwcrTEop?|gvW~k_|R@QhaNXm@BEbDQ]ibw]_`c[u_AOchaxYHHkva`nPfHPtQKQOQIM~OFGTSqcnkds[AO|gtsiIhMIgHpFpGEcKIXuXIRXMHg`s[ATlSjLLHzFGsQYMdJIiVexdCrShrHC{dnTKreQdxj[yAahQ{IexvhScuQ\OPYH_TRk}?jEYkLlfVspQh}_CTyL^EzRlqXLTBObJGEsB^pvpKwib_ICPB[Po{{Qc\TQoPaK`iKve]UQRihwN@GOti[CNPhKTTKIcdGZFMIfkCfYimEsRBLkfHRvaSTTZCIHoeyre`{`I]ina\C~b^`sK}gdXTWpYabPosyc^_Qpik~") graphs = [('dhar2810 ', dhar2810),('michel2758 ', michel2758), ('DH2756 ', DH2756)] dhar2810nx = dhar2810.networkx_graph() michel2758nx = michel2758.networkx_graph() DH2756nx = DH2756.networkx_graph() def count_k_cycles(G, k): count = 0 visited = set() def dfs(path, start, depth): nonlocal count current = path[-1] # Early exit if we?re going too deep if depth == k: if start in G.neighbors(current): # Normalize to avoid duplicates cycle = tuple(sorted(path)) if cycle not in visited: visited.add(cycle) count += 1 return for neighbor in G.neighbors(current): if neighbor not in path and neighbor >= start: dfs(path + [neighbor], start, depth + 1) for v in G.vertices(): dfs([v], v, 1) return count # each cycle counted twice (once forward, once reverse) def algebraic_connectivity(G): """ Compute the algebraic connectivity (Fiedler value) of a graph G. INPUT: - G: a SageMath Graph OUTPUT: - The second-smallest eigenvalue of the Laplacian matrix of G """ L = G.laplacian_matrix() eigenvalues = L.eigenvalues() eigenvalues.sort() if len(eigenvalues) < 2: return 0 # Trivial case: empty or isolated vertex graph return eigenvalues[1] def check_all_isomorphisms(graph_list): n = len(graph_list) print("\n Isomorphism check of all pairs (a dot means the pair ARE isomorphic):") for i in range(n): label_i, G_i = graph_list[i] for j in range(i + 1, n): label_j, G_j = graph_list[j] if G_i.is_isomorphic(G_j): # print(".", end="") print(f"{label_i} IS isomorphic to {label_j}") else: print(f"{label_i} NOT isomorphic to {label_j}") def non_isomorphic(graph_list): reps = [] labels = [] for label, G in graph_list: if not any(G.is_isomorphic(H) for _, H in reps): reps.append((label, G)) labels.append(label.strip()) # remove extra spaces if you want return labels def isomorphic(graph_list): labels = [] for i, (label, G) in enumerate(graph_list): if any(i != j and G.is_isomorphic(H) for j, (_, H) in enumerate(graph_list)): labels.append(label.strip()) return labels def compare_graphs_list(graphs): canon = {} count =1 for label, G in graphs: s6 = G.canonical_label().sparse6_string() # print(f"{label.strip():15} : {s6[:40]}...") canon.setdefault(s6, []).append(label.strip()) print("\n noniso ->",len(canon)) print("\nGroups:") for group in canon.values(): if len(group) > 1: print(count,"Isomorphic :", ", ".join(group)) count=count+1 else: print(count,"Unique :", group[0]) count=count+1 print("\n START \n") #noniso = non_isomorphic(graphs) #print(len(noniso), " non-isomorphic -> ",noniso) #iso=isomorphic(graphs) #print(len(iso), " isomorphic -> ",iso,"\n") #compare_graphs_list(graphs) nonisographs = graphs # Print properties for each graph in the list print("\n Main properties of the graph\n") for label, graph in nonisographs: print(f"{label} | Ord.: {graph.order()} / Size: {graph.size()} / Diam.: {graph.diameter()} / Avg.dist: {graph.average_distance().n(digits=6)} / 5-reg.? {graph.is_regular(k=5)} / Girth: {graph.girth()} ")#/ Alg.conn. {algebraic_connectivity(graph).n(digits=6)} ")# / Domin. number: {graph.dominating_set(value_only=True)} ") print("\n Symmetry properties of the graph\n") for label, graph in nonisographs: print(f"{label} | Aut.group.ord.: {graph.automorphism_group().order()} / Cayley ? {graph.is_cayley()} --- vtx.trans. ? {graph.is_vertex_transitive()} -- edge.trans. ? {graph.is_edge_transitive()}" ) print("Degree histogram dhar2810 :", nx.degree_histogram(dhar2810nx) ) print("Degree histogram michel2758 :", nx.degree_histogram(michel2758nx) ) print("Degree histogram DH2756 :", nx.degree_histogram(DH2756nx) ) ''' print("\n Properties of the graphs as at arXiv\n") for label, graph in nonisographs: print(f"{label} & {graph.average_distance().n(digits=6)} & {graph.girth()} & {algebraic_connectivity(graph).n(digits=6)} & {graph.automorphism_group().order()} \\\\ ") ''' # Check isomorphisms # print(f"Are isomorphic G5 and G6? {G5.is_isomorphic(G6)}") #check_all_isomorphisms(nonisographs) print("\n") # automorphism group structure print(" Automorphism group structure") print(' C_n is the cyclic group of order n; x means direct product; : means semidirect product.\n') Adhar2810 = dhar2810.automorphism_group() print('dhar2810 :', Adhar2810.structure_description(), ' | center order:',Adhar2810.center().order()) Amichel2758 = michel2758.automorphism_group() print('michel2758 :', Amichel2758.structure_description(), ' | center order:',Amichel2758.center().order()) ADH2756 = DH2756.automorphism_group() print('DH2756 :', ADH2756.structure_description(), ' | center order:',ADH2756.center().order()) print("\n") # Compute the distance distribution from a given vertex v in graph G # Returns a list where the i-th element is the number of vertices at distance i from v def distance_distribution(G, v): from collections import Counter distances = G.shortest_path_lengths(v) distribution = Counter(distances.values()) result = [distribution[d] for d in sorted(distribution)] return result print("\n") for label, graph in nonisographs: print(f"{label} distance distrib from vtx. 0: {distance_distribution(graph, 0)}") ''' # Counting k-cycles for each graph print("\nNumber of k-cycles for k=3 up to 8") for label, graph in nonisographs: print(f"{label} "," | ".join(str(count_k_cycles(graph, k)) for k in range(3, 9))) ''' ''' # from 0 versio Molodtsov? for name, G in nonisographs: fname = name.strip() + "_adjlst.txt" s = "; ".join( "{}-{}".format(v, ",".join(map(str, G.neighbors(v)))) if G.neighbors(v) else str(v) for v in G.vertices(sort=True) ) with open(fname, "w") as f: f.write(s) ''' # from 0 for label, _ in nonisographs: base = label.strip() G = globals()[base + "nx"] with open(f"{base}_edges.txt", "w") as f: f.write(",".join( f"{{{u},{v}}}" for u, v in sorted((min(u, v), max(u, v)) for u, v in G.edges()) )) ''' # from 1 for label, _ in nonisographs: base = label.strip() G = globals()[base + "nx"] with open(f"{base}_Zedges.txt", "w") as f: f.write(",".join( f"{{{u+1},{v+1}}}" for u, v in sorted((min(u, v), max(u, v)) for u, v in G.edges()) )) ''' print("\n DONE \n") ## ##