# SageMathCell online https://sagecell.sagemath.org/?q=nqaugo # ''' Main properties of the graph dhar7832 | Ord.: 7832 / Size: 15664 / Diam.: 9 / Avg.dist: 7.34440 / 4-reg.? True / Girth: 11 Degree histogram dhar7832 : [0, 0, 0, 0, 7832] Symmetry properties of the graph dhar7832 | Aut.group.ord.: 1958 / Cayley ? False --- vtx.trans. ? False -- edge.trans. ? False Automorphism group structure C_n is the cyclic group of order n; x means direct product; : means semidirect product. dhar7832 : C2 x (C89 : C11) | center order: 2 dhar7832 distance distrib from vtx. 0: [1, 4, 12, 36, 108, 324, 955, 2327, 3189, 876] Number of k-cycles for k=3 up to 5 dhar7832 0 | 0 | 0 ''' import networkx as nx dhar7832 = Graph(r":~@yWaq?HaAX_egHmA[_fWHyA^_gGIEAa_gwIQAd_hgI]Ag_iWIiAj_jGIuAm_jwJAAp_?G?E?A_?w?Q?D_@g?]?G_AW?i?J_BG?u?M_Bw@A?P_Cg@M?S_DW@Y?V_EG@e?Y_Ew@q?\_Fg@}?__GWAI?b_HGAU?e_HwAa?h_IgAm?k_JWAy?n_KGBE?q_KwBQ?t_LgB]?w_MWBi?z_NGBu?}_NwCA@@_OgCM@C_PWCY@F_QGCe@I_QwCq@L_RgC}@O_SWDI@R_TGDU@U_TwDa@X_UgDm@[_VWDy@^_WGEE@a_WwEQ@d_XgE]@g_YWEi@j_ZGEu@m_ZwFA@p_[gFM@s_\WFY@v_]GFe@y_]wFq@|_^gF}A?__WGIAB_`GGUAE_`wGaAH_agGmAK_bWGyAN_cGHEAQ_cwHQAT_dgH]Ce`HwQaCh`IgQmCk`JWQyCn`KGRECq`KwRQCt`LgR]Cw`MWRiCz`NGRuC}`NwSAD@`OgSMDC`PWSYDF`QGSeDI`QwSqDL`RgS}DO`SWTIDR`TGTUDU`TwTaDX`UgTmD[`VWTyD^`WGUEDa`WwJIAr_lGJUAu_lwJaAx_mgJmA{_nWJyA~_oGKEBA_owKQBD_pgK]BG_qWKiBJ_rGKuBM_rwLABP_sgLMBS_tWLYBV_uGLeBY_uwLqB\_vgL}B__wWMIBb_xGMUBe_xwMaBh_ygMmBk_zWMyBn_{GNEBq_{wNQBt_|gN]Bw_}WNiBz_~GNuB}_~wOAC@`?gOMCC`@WOYCF`AGOeCI`AwOqCL`BgO}CO`CWPICR`DGPUCU`DwPaCX`EgPmC[`FWPyC^`GGQECa`GwQQCd`wg]MFc`xW]YFf`yG]eFi`yw]qFl`zg]}Fo`{W^IFr`|G^UFu`|w^aFx`}g^mF{`~W^yF~a?G_EGAa?w_QGDa@g_]GGaAW_iGJaBG_uGMaBw`AGPaCg`MGSaDWUQDd`XgU]Dg`YWUiDj`ZGUuDm`ZwVADp`[gVMDs`\WVYDv`]GVeDy`]wVqD|`^gV}E?`_WWIEB``GWUEE``wWaEH`agWmEK`bWWyEN`cGXEEQ`cwXQET`dgX]EW`eWXiEZ`fGXuE]`fwYAE``ggYMEc`hWYYEf`iGYeEi`iwYqEl`jgY}Eo`kWZIEr`lGZUEu`lwZaEx`mgZmE{`nWZyE~`oG[EFA`ow[QFD`pg[]FG`qW[iFJ`rG[uFM`rw\AFP`sg\MFS`tW\YFV`uG\eFY`uw\qF\`vg\}F_`wWGoHK_bOcuAMARgG{HN_c?dAAPASWHGHQ_codMASATGHSHT_d_dYAVATwH_HW_eOdeAYAUgHkHZ_f?dqA\AVWHwH]_fod}A_AWGICH`_g_eIAbAWwIOHc_hOeUAeAXgI[Hf_i?eaAhAYWIgHi_ioemAkAZGIsHl_j_eyAnAZwJ?Ho_kOfE??A[g?CHr_?_fQ?BA\W?OHu_@Of]?EA]G?[Hx_A?fi?HA]w?gH{_Aofu?KA^g?sH~_B_gA?NA_W@?IA_COgM?QA`G@KID_D?gY?TA`w@WIG_Doge?WAag@cIJ_E_gq?ZAbW@oIM_FOg}?]AcG@{IP_G?hI?`AcwAGIS_GohU?cAdgASIV_H_ha?fAeWA_IY_IOhm?iAfGAkI\_J?hy?lAfwAwI__JoiE?oAggBCIb_K_iQ?rAhWBOIe_LOi]?uAiGB[Ih_M?ii?xAiwBgIk_Moiu?{AjgBsIn_N_jA?~AkWC?Iq_OOjM@AAlGCKIt_P?jY@DAlwCWIw_Poje@GAmgCcIz_Q_jq@JAnWCoI}_ROj}@MAoGC{J@_S?kI@PAowDGJC_SokU@SApgDSJF_T_`Y@VADwD_GW_UO`e@YAEgDkGZ_V?`q@\AFWDwG]_Vo`}@_AGGECG`_W_aI@bAGwEOGc_XOaU@eAHgE[Gf_Y?aa@hAIWEgGi_Yoam@kAJGEsGl_Z_ay@nAJwF?Go_[ObE@qAKgFKGr_\?bQ@tALWFWGu_\ob]@wAMGFcGx_]_bi@zAMwFoG{_^Obu@}ANgF{G~__?cAA@AOWGGHA__ocMACAPGGSHD_`_cYAFAPwG_HG_aOceAIAQgGkHJ_z_pIBnBCwN?KS_{OpUBqBDgNKKV_|?paBtBEWNWKY_|opmBwBFGNcK\_}_pyBzBFwNoK__~OqEB}BGgN{Kb`??qQC@BHWOGKe`?oq]CCBIGOSKh`@_qiCFBIwO_Kk`AOquCIBJgOkKn`B?rACLBKWOwKq`BorMCOBLGPCKt`C_rYCRBLwPOKw`DOreCUBMgP[Kz`E?rqCXBNWPgK}`Eor}C[BOGPsL@`F_sIC^BOwQ?LC`GOsUCaBPgQKLF`H?saCdBQWQWLI`HosmCgBRGQcLL`I_syCjBRwQoLO`JOtECmBSgQ{LR`K?tQCpBTWRGLU`Kot]CsBUGRSLX`L_tiCvBUwR_L[`MOtuCyBVgRkL^`N?uAC|BWWRwLa`NouMD?BXGSCLd`O_uYDBBXwSOLg`POueDEBYgS[Lj`Q?uqDHBZWSgLm`Qou}DKB[GSsLp`R_vIDNB[wT?Ls`SOvUDQB\gTKLv`T?vaDTB]WTWJG`TokeDWAqgTcJJ`U_kqDZArWToJM`VOk}D]AsGT{JP`W?lID`AswUGJS`WolUAqAtgJKJV_l?laAtAuWJWJY_lolmAwAvGJcJ\_m_lyAzAvwJoJ__nOmEA}AwgJ{Jb_o?mQB@AxWKGJe_oom]BCAyGKSJh_p_miBFAywK_Jk_qOmuBIAzgKkJn_r?nABLA{WKwJq_ronMBOA|GLCJt_s_nYBRA|wLOJw_tOneBUA}gL[Jz_u?nqBXA~WLgJ}_uon}B[B?GLsK@_v_oIB^B?wM?KC_wOoUBaB@gMKKF_x?oaBdBAWMWKI_xoomBgBBGMcKL_y_oyBjBBwMoKO_zOpEFIBxg[kNf`r?}aFLByW[wNi`ro}mFOBzG\CNl`s_}yFRBzw\ONo`tO~EFUB{g\[Nr`u?~QFXB|W\gNu`uo~]F[B}G\sNx`v_~iF^B}w]?N{`wO~uFaB~g]KN~`x@?AFdC?W]WOA`xp?MFgC@G]cOD`y`?YFjC@w]oOG`zP?eFmCAg]{OJ`{@?qFpCBW^GOM`{p?}FsCCG^SOP`|`@IFvCCw^_OS`}P@UFyCDg^kOV`~@@aF|CEW^wOY`~p@mG?CFG_CO\a?`@yGBCFw_OO_a@PAEGECGg_[ObaA@AQGHCHW_gOeaApA]GKCIG_sOhaB`AiGNCIw`?LyaCOvmGQB^G`KL|aD?vyGTB^wUOM?`XOwEDeB_gU[MB`Y?wQDhB`WUgME`Yow]DkBaGUsMH`Z_wiDnBawV?MK`[OwuDqBbgVKMN`\?xADtBcWVWMQ`\oxMDwBdGVcMT`]_xYDzBdwVoMW`^OxeD}BegV{MZ`_?xqE@BfWWGM]`_ox}ECBgGWSM```_yIEFBgwW_Mc`aOyUEIBhgWkMf`b?yaELBiWWwMi`boymEOBjGXCMl`c_yyERBjwXOMo`dOzEEUBkgX[Mr`e?zQEXBlWXgMu`eoz]E[BmGXsMx`f_ziE^BmwY?M{`gOzuEaBngYKM~`h?{AEdBoWYWNA`ho{MEgBpGYcND`i_{YEjBpwYoNG`jO{eEmBqgY{NJ`k?{qEpBrWZGNM`ko{}EsBsGZSNP`l_|IEvBswZ_NS`mO|UEyBtgZkNV`n?|aE|BuWZwNY`no|mF?BvG[CN\`o_|yFBBvw[ON_`pO}EFEBwg[[Nb`q?}QFHBxWgwR?abpKEIOCoghCRBac`KQIRCpWhOREadPK]IUCqGh[RHae@KiIXCqwhgRKaepKuI[CrghsRNaf`LAI^CsWi?RQagPLMIaCtGiKRTah@LYIdCtwiWRWahpLeIgCugicRZai`LqIjCvWioOkajPAuImCJgi{Onak@BAIpCKWjGOqakpBMIsCLGjSOtal`BYIvCLwj_OwamPBeIyCMgjkOzan@BqI|CNWjwO}anpB}J?COGkCP@ao`CIJBCOwkOPCapPCUJECPgk[PFaD`CaGVCQW`_PIaEPCmGYCRG`kPLaF@CyG\CRw`wPOaFpDEG_CSgaCPRaG`DQGbCTWaOPUaHPD]GeCUGa[PXaI@DiGhCUwagP[aIpDuGkCVgasP^aJ`EAGnCWWb?PaaKPEMGqCXGbKPdaL@EYGtCXwbWPgaLpEeGwCYgbcPjaM`EqGzCZWboPmaNPE}G}C[Gb{PpaO@FIH@C[wcGPsaOpFUHCC\gcSPvaP`FaHFC]Wc_PyaQPFmHIC^GckP|aR@FyHLC^wcwQ?aRpGEHOC_gdCQBaS`GQHRC`WdOQEaTPG]HUCaGd[QHaU@GiHXCawdgQKaUpGuH[CbgdsQNaV`HAH^CcWe?QQaWPHMHaCdGeKQTaX@HYHdCdweWQWaXpHeHgCegecQZaY`HqHjCfWeoQ]aZPH}HmCgGe{Q`a[@IIHpCgwfGQca[pIUHsChgfSQfa\`IaHvCiWf_Qia]PImHyCjGfkQla^@IyH|CjwfwQoa^pJEI?CkggCQra_`JQIBClWgOQua`PJ]IECmGg[Qxaa@JiIHCmwggQ{aapJuIKCnggsQ~jGACY`FgQICe`IgQyCq`LgRiC}`OgSYDI`RgTIDU`UgTxyY]ffiHye]ifixyq]lfjhy}]ofkXzI]rflHzU]uflxza]xfmhzm]{fnXzy]~foH{E^Afox{Q^Dfph{]^GfqX{i^JfrH{u^Mfrx|A^Pfsh|M^SftX|Y^VfuH|e^Yfux|q^\fvh|}^_fwX}I^bfxH}U^efxx}a^hfyh}m^kfzX}y^nf{H~E^qf{x~Q^tf|h~]^wf}X~i^zf~H~u^}f~y?A_@g?i?M_Cg@Y?Y_FgAI?e_IgAy?q_LgBi?}_OgCY@I_RgDI@U_UgDy@a_XgEi@m_[gFY@y_^gGIAE_agGyAQ_dgHiA]_ggIYAi_jgJIAu_mgJyBA_pgKiBM_sgLYBY_vgMIBe_ygMyBq_|gNiB}`?gOYCI`BgPICU_uGliB[avgMAJa_xGmYBgaygMqJm_{GnIBsa|gNaJy_~GnyC?b?gOQKE`AGoiCKbBgPAKQ`DGpYCWbEgPqK]`GGqICcbHgQaKi`JGqyCobKgRQKu`MGriC{bNgSALA`PGsYDGbQgSqLM`SGtIDSbTgTaLY`VGtxyWbWfhqLe]gGuhycbZfiaLq]jGvXyob]fjQL}]mGwHy{b`fkAMI]pGwxzGbcfkqMU]sGxhzSbfflaMa]vGyXz_bifmQMm]yGzHzkblfnAMy]|GzxzwbofnqNE^?G{h{CbrfoaNQ^BG|X{ObufpQN]^EG}H{[bxfqANi^HG}x{gb{fqqNu^KG~h{sb~fraOA^NH?X|?cAfsQOM^QH@H|KcDftAOY^TH@x|WcGftqOe^WGUH|c`XfuaDi^ZGUx|o`[fvQDu^]GVh|{`^fwAEA^`GWX}G`afwqEM^cGXH}S`dfxaEY^fGXx}_`gfyQEe^iGYh}k`jfzAEq^lGZX}w`mfzqE}^oG[H~C`pf{aFI^rG[x~O`sf|QFU^uG\h~[`vf}AFa^xG]X~g`yf}qFm^{G^H~s`|f~aFy^~G^y??a?g?QGE_AG_i?KaBg@AGQ_DG`Y?WaEg@qG]_GGaI?caHgAaGi_JGay?oaKgBQGu_MGbi?{aNgCAHA_PGcY@GaQgCqHM_SGdI@SaTgDaHY_VGdy@_aWgEQHe_YGei@kaZgFAHq_\GfY@wa]gFqH}__GgIACa`gGaII_bGgyAOacgHQIU_eGhiA[afgIAIa_hGiYAgaigIqIm_kGjIAsalgJaIy_nGjyB?aogKQJE_qGkiBKargLAJQ_tGlYMGeWgwqXebcHeiMSeZgxaXqbfHfYM_e]gyQX}biHgIMke`gzAYIblHgyMwecgzqYUboHhiNCefg{aYabrHiYNOeig|QYmbuHjIN[elg}AYybxHjyNgeog}qZEb{HkiNserg~aZQb~HlYO?euh?QZ]cAHmIOKexh@AZicDHmyOWcIh@qOmcGHBIOccLgUAOy`XHByDgcOgUqPE`[HCiDscRgVaPQ`^HDYE?cUgWQP]`aHEIEKcXgXAPi`dHEyEWc[gXqPu`gHFiEcc^gYaQA`jHGYEocagZQQM`mHHIE{cdg[AQY`pHHyFGcgg[qQe`sHIiFScjg\aQq`vHJYF_cmg]QQ}`yHKIFkcpg^ARI`|HKyFwcsg^qRUa?HLiGCcvg_aRaaBHMYGOcyg`QRmaEHNIG[c|gaARyaHHNyGgd?gaqSEaKHOiGsdBgbaSQaNHPYH?dEgcQS]aQHQIHKdHgdASiaTHQyHWdKgdqSuaWHRiHcdNgeaTAaZHSYHodQgfQTMa]HTIH{dTggATYa`HTyIGdWggqTeacHUiISdZghaTqafHVYI_d]giQT}aiHWIIkd`gjAUIalHWyIwdcgjqUUaoHXiJCdfgkaUaarHYYJOdiglQUmauHZIJ[dlgmAUyaxHZyJgdogmqVEa{H[iJsdrgnaVQa~H\YK?dugoQV]bAH]IKKdxgpAVibDH]yKWd{gpqVubGH^iKcd~gqaWAbJH_YKoeAgrQWMbMH`IK{eDgsAWYbPH`yLGeGgsqWebSHaiLSeJgtaWqbVHbYL_eMguQW}bYHcILkePgvAXIb\HcyLweSgvqXUb_HdiMCeVh]A[YdxHpyVgfGh]q[ed{HqiVsfJh^a[qd~HrYW?fMh_Q[}eAHsIWKfPh`A\IeDHsyWWfSh`q\UeGHtiWcfVhaa\aeJHuYWofYhbQ\meMHvIW{f\hcA\yePHvyXGf_hcq]EeSHwiXSfbhda]QeVHxYX_feheQ]]eYHyIXkfhhfA]ie\HyyXwfkhfq]ue_HziYCfnhga^AebH{YYOfqhhQ^MeeH|IY[fthiA^YehH|yYgfwhiq^eekH}iYsfzhja^qenH~YZ?f}hkQ^}eqI?IZKg@hlA_IetI?yZWgChlq_UewI@iZcgFhma_aezIAYOggIhAq_mcKIBIOsgLhBa_ycNIByP?gOhCQ`EcQICiPKgRhDA`QcTIDYPWgUhDq`]cWIEIPcgXhEa`icZIEyPog[hFQ`uc]IFiP{g^hGAaAc`IGYQGgahGqaMccIHIQSgdhHaaYcfIHyQ_gghIQaeciIIiQkgjhJAaqclIJYQwgmhJqa}coIKIRCgphKabIcrIKyROgshLQbUcuILiR[gvhMAbacxIMYRggyhMqbmc{INIRsg|hNabyc~INyS?h?hOQcEdAIOiSKhBhPAcQdDIPYSWhEhPqc]dGIQISchHhQacidJIQySohKhRQcudMIRiS{hNhSAdAdPISYTGhQhSqdMdSITITShThTadYdVITyT_hWhUQdedYIUiTkhZhVAdqd\IVYTwh]hVqd}d_IWIUCh`hWaeIdbIWyUOhchXQeUdeIXiU[hfhYAeadhIYYUghihYqemdkIZIUshlhZaZqdnHnYV?e}h[QZ}dqHoIVKf@h\A[IdtHoyVWfCh\q[Ug]IuI`{jXiGAlig`IuyaGj[iGqlugcIviaSj^iHamAgfIwYa_jaiIQmMgiIxIakjdiJAmYglIxyawjgiJqmegoIyibCjjiKamqgrIzYbOjmiLQm}guI{Ib[jpiMAnIgxI{ybgjsiMqnUg{I|ibsjviNanag~I}Yc?jyiOQnmhAI~IcKj|iPAnyhDI~ycWk?iPqoEhGJ?icckBiQaoQhJJ@YcokEiRQo]hMJAIc{kHiSAoihPJAydGkKiSqouhSJBidSkNiTapAhVJCYd_kQiUQpMhYJDIdkkTiVApYh\JDydwkWiVqpeh_JEieCkZiWapqhbJFYeOk]iXQp}heIZie[hniYAfAhhI[YeghqiYqfMhkI\IeshthnAfYe|I\yZwhwhnqfef?I]i[ChzhoafqfBI^Y[Oh}hpQf}fEI_I[[i@hqAgIfHI_y[giChqqgUfKI`i[siFhragafNIaY\?iIhsQgmfQIbI\KiLhtAgyfTIby\WiOhtqhEfWIci\ciRhuahQfZIdY\oiUhvQh]f]IeI\{iXhwAhif`Iey]Gi[hwqhufcIfi]Si^hxaiAffIgY]_iahyQiMfiIhI]kidhzAiYflIhy]wighzqiefoIii^Cijh{aiqfrIjY^Oimh|Qi}fuIkI^[iph}AjIfxIky^gish}qjUf{Ili^sivh~ajaf~ImY_?iyi?QjmgAInI_Ki|i@AjygDIny_Wj?i@qkEgGIoi_cjBiAakQgJIpY_ojEiBQk]gMIqI_{jHiCAkigPIqy`GjKiCqkugSIri`SjNiDalAgVIsY`_jQiEQlMgYItI`kjTiFAlYg\Ityh_ksieQrUiYJLihkkvifArai\JMYhwkyifqrmi_JNIiCk|igaryibJNyiOl?ihQsEieJOii[lBiiAsQihJPYiglEiiqs]ikJQIislHijasiinJQyj?lKikQsuiqJRijKlNilAtAitJSYjWlQilqtMiwJTIjclTimatYizJTyjolWinQtei}JUij{lZioAtqj@JVYkGl]ioqt}jCJWIkSl`ipauIjFJWyk_lciqQuUjIJXikklfirAuajLJYYkwliirqumjOJZIlCllisauyjRJZylOloitQvEjUJ[il[lriuAvQjXJ\Ylgluiuqv]j[J]Ilslxivavij^J]ym?l{iwQvujaJ^imKl~ixAwAjdJ_YmWmAixqwMjgJ`ImcmDiyawYjjJ`ymomGizQwejmJaim{mJi{AwqjpJbYnGmMi{qw}jsJcInSmPi|axIjvJcyn_mSi}QxUjyJdinkmVi~Axaj|JeYnwmYi~qxmk?JfIoCm\j?axykBJfyoOm_j@QyEkEJgio[mbjAAyQkHJhYogmejAqy]kKJiIosmhjBayikNJiyp?mkjCQyukQJjipKmnjDAzAkTJkYpWmqjDqzMkWJlIpcmtjEazYkZJlypomwjFQzek]Jmip{mziZazqhnJnYf?m}i[Qz}hqJoIfKn@i\A{IhtJoyfWnCi\q{UhwJpifcnFi]a{ahzJqYfonIi^Q{mh}JrIf{nLi_A{yi@JrygGnOi_q|EiCJGIgSk`i`aqIiFJGyg_kciaQqUiIJHigkkfibAqaiLJIYgwkiibqqmiOJJIhCklicaqyiRJJyhOkoidQrEiUJKih[krcfQl}Q]IwHH{j`cgAmIQ`IwxIGjccgqmUQcIxhISjfchamaQfIyXI_jiciQmmQiIzHIkjlcjAmyQlIzxIwjocjqnEQoI{hJCjrckanQQrI|XJOjuclQn]QuI}HJ[jxcmAniQxI}xJgj{cmqnuQ{I~hJsj~cnaoAQ~J?XK?kAcoQoMRAJ@HKKkDcpAoYRDJ@xKWkGcpqoeRGJAhKckJcqaoqRJJBXKokMcrQo}RMJCHK{kPcsApIRPJCxLGkScsqpURSJDhLSkVctapaRVJEXL_kYcuQpmRYJFHLkk\cvApyR\JFxAohmcJQe}OmI[HA{hpcKAfIOpI[xBGhscKqfUOsI\hBShvcLafaOvI]XB_hycMQfmOyI^HBkh|cNAfyO|I^xBwi?cNqgEP?I_hCCiBcOagQPBI`XCOiEcPQg]PEIaHC[iHcQAgiPHIaxCgiKcQqguPKIbhCsiNcRahAPNIcXD?iQcSQhMPQIdHDKiTcTAhYPTIdxDWiWcTqhePWIehDciZcUahqPZIfXDoi]cVQh}P]IgHD{i`cWAiIP`IgxEGiccWqiUPcIhhESifcXaiaPfIiXE_iicYQimPiIjHEkilcZAiyPlIjxEwiocZqjEPoIkhFCirc[ajQPrIlXFOiuc\Qj]PuImHF[ixc]AjiPxImxFgi{c]qjuP{InhFsi~c^akAP~IoXG?jAc_QkMQAIpHGKjDc`AkYQDIpxGWjGc`qkeQGIqhGcjJcaakqQJIrXGojMcbQk}QMIsHG{jPccAlIQPIsxHGjSccqlUQSIthHSjVcdalaQVIuXH_jYceQlmQYIvHHkj\cfAlyRtJLxNWkwc|qreRwJMhNckzc}arqRzJNXNok}c~Qr}R}JOHN{l@d?AsIS@JOxOGlCd?qsUSCJPhOSlFd@asaSFJQXO_lIdAQsmSIJRHOklLdBAsySLJRxOwlOdBqtESOJShPClRdCatQSRJTXPOlUdDQt]SUJUHP[lXdEAtiSXJUxPgl[dEqtuS[JVhPsl^dFauAS^JWXQ?ladGQuMSaJXHQKlddHAuYSdJXxQWlgdHqueSgJYhQcljdIauqSjJZXQolmdJQu}SmJ[HQ{lpdKAvISpJ[xRGlsdKqvUSsJ\hRSlvdLavaSvJ]XR_lydMQvmSyJ^HRkl|dNAvyS|J^xRwm?dNqwET?J_hSCmBdOawQTBJ`XSOmEdPQw]TEJaHS[mHdQAwiTHJaxSgmKdQqwuTKJbhSsmNdRaxATNJcXT?mQdSQxMTQJdHTKmTdTAxYTTJdxTWmWdTqxeTWJehTcmZdUaxqTZJfXTom]dVQx}T]JgHT{m`dWAyIT`JgxUGmcdWqyUTcJhhUSmfdXayaTfJiXU_midYQymTiJjHUkmldZAyyTlJjxUwmodZqzEToJkhVCmrd[azQTrJlXVOmud\Qz]TuJmHV[mxd]AziTxJmxVgm{d]qzuT{JnhVsm~d^a{AT~JoXW?nAd_Q{MUAJpHWKnDd`A{YUDJpxWWnGd`q{eUGJqhWcnJdaa{qUJJrXWonMdbQ{}UMJsHW{nPcvaqAR^JGXM?kacwQqMRaJHHMKkdcxAqYRdJHxMWkgcxqqeRgJIhMckjcyaqqRjJJXMokmczQq}RmJKHM{kpc{ArIRpJKxNGksc{qrURsJLh`cpZN{x`gp[N|H`kp\N|X`op]N|h`sp^N|x`wp_N}H`{p`N}Xa?paN}haCpbN}xaGpcN~HaKpdN~XaOpeNRHaSpfNRXaWpgNRha[phNRxa_piNSHacpjNSXagpkNShakplNSxaopmNTHaspnNTXawpoNTha{ppNTxb?pqNUHbCprNUXbGpsNUhbKptNUxbOpuNVHbSpvNVXbWpwNVhb[pxNVxb_pyNWHbcpzNWXbgp{NWhbkp|NWxbop}NXHbsp~NXXbwq?NXhb{q@NXxc?qANYHcCqBNYXX?nQNYhXCnRNYxXGnSNZHXKnTNZXXOnUNZhXSnVNZxXWnWN[HX[nXN[XX_nYN[hXcnZN[xXgn[N\HXkn\N\XXon]N\hXsn^N\xXwn_N]HX{n`N]XY?naN]hYCnbN]xYGncN^HYKndN^XYOneN^hYSnfN^xYWngN_HY[nhN_XY_niN_hYcnjN_xYgnkN`HYknlN`XYonmN`hYsnnN`xYwnoNaHY{npNaXZ?nqNahZCnrNaxZGnsNbHZKntNbXZOnuNbhZSnvNbxZWnwNcHZ[nxNcXZ_nyNchZcnzNcxZgn{NdHZkn|NdXZon}NdhZsn~NdxZwo?NeHZ{o@NeX[?oANeh[CoBNex[GoCNfH[KoDNfX[OoENfh[SoFNfx[WoGNgH[[oHNgX[_oINgh[coJNgx[goKNhH[koLNhX[ooMNhh[soNNhx[woONiH[{oPNiX\?oQNih\CoRNix\GoSNjH\KoTNjX\OoUNjh\SoVNjx\WoWNkH\[oXNkX\_oYNkh\coZNkx\go[NlH\ko\NlX\oo]Nlh\so^Nlx\wo_NmH\{o`NmX]?oaNmh]CobNmx]GocNnH]KodNnX]OoeNnh]SofNnx]WogNoH][ohNoX]_oiNoh]cojNox]gokNpH]kolNpX]oomNph]sonNpx]wooNqH]{opNqX^?oqNqh^CorNqx^GosNrH^KotNrX^OouNrh^SovNrx^WowNsH^[oxNsX^_oyNsh^cozNsx^go{NtH^ko|NtX^oo}Nth^so~Ntx^wp?NuH^{p@NuX_?pANuh_CpBNux_GpCNvH_KpDNvX_OpENvh_SpFNvx_WpGNwH_[pHNwX__pINwh_cpJNwx_gpKNxH_kpLNxX_opMNxh_spNNxx_wpONyH_{pPNyX`?pQNyh`CpRNyx`GpSNzH`KpTNzX`OpUNzh`SpVNzx`WpWN{H`[pXN{X`_pYN{hkcsJOVxkgsKOWHkksLOWXkosMOWhkssNOWxkwsOOXHk{sPOXXl?sQOXhlCsROXxlGsSOYHlKsTOYXlOsUOYhlSsVOYxlWsWOZHl[sXOZXl_sYOZhlcsZOZxlgs[O[Hlks\O[Xlos]O[hlss^O[xlws_O\Hl{s`O\Xm?saO\hmCsbO\xmGscO]HmKsdO]XmOseO]hmSsfO]xmWsgO^Hm[shO^Xm_siO^hmcsjO^xmgskO_HmkslO_XmosmO_hmssnO_xmwsoO`Hm{spO`Xn?sqO`hnCsrO`xnGssOaHnKstOaXcGqCOahcKqDOaxcOqEObHcSqFObXcWqGObhc[qHObxc_qIOcHccqJOcXcgqKOchckqLOcxcoqMOdHcsqNOdXcwqOOdhc{qPOdxd?qQOeHdCqROeXdGqSOehdKqTOexdOqUOfHdSqVOfXdWqWOfhd[qXOfxd_qYOgHdcqZOgXdgq[Oghdkq\Ogxdoq]OhHdsq^OhXdwq_Ohhd{q`Ohxe?qaOiHeCqbOiXeGqcOiheKqdOixeOqeOjHeSqfOjXeWqgOjhe[qhOjxe_qiN~hecqjN~xegqkO?HekqlO?XeoqmO?hesqnO?xewqoO@He{qpO@Xf?qqO@hfCqrO@xfGqsOAHfKqtOAXfOquOAhfSqvOAxfWqwOBHf[qxOBXf_qyOBhfcqzOBxfgq{OCHfkq|OCXfoq}OChfsq~OCxfwr?ODHf{r@ODXg?rAODhgCrBODxgGrCOEHgKrDOEXgOrEOEhgSrFOExgWrGOFHg[rHOFXg_rIOFhgcrJOFxggrKOGHgkrLOGXgorMOGhgsrNOGxgwrOOHHg{rPOHXh?rQOHhhCrROHxhGrSOIHhKrTOIXhOrUOIhhSrVOIxhWrWOJHh[rXOJXh_rYOJhhcrZOJxhgr[OKHhkr\OKXhor]OKhhsr^OKxhwr_OLHh{r`OLXi?raOLhiCrbOLxiGrcOMHiKrdOMXiOreOMhiSrfOMxiWrgONHi[rhONXi_riONhicrjONxigrkOOHikrlOOXiormOOhisrnOOxiwroOPHi{rpOPXj?rqOPhjCrrOPxjGrsOQHjKrtOQXjOruOQhjSrvOQxjWrwORHj[rxORXj_ryORhjcrzORxjgr{OSHjkr|OSXjor}OShjsr~OSxjws?OTHj{s@OTXk?sAOThkCsBOTxkGsCOUHkKsDOUXkOsEOUhkSsFOUxkWsGOVHk[sHOVXk_sIOVhnks|O{xnos}O|Hnss~O|Xnwt?O|hn{t@O|xo?tAO}HoCtBO}XoGtCO}hoKtDO}xoOtEO~HoStFO~XoWtGO~ho[tHO~xo_tIP?HoctJP?XogtKP?hoktLP?xootMP@HostNP@XowtOP@ho{tPP@xp?tQPAHpCtRPAXpGtSPAhpKtTPAxpOtUPBHpStVPBXpWtWPBhp[tXPBxp_tYPCHpctZPCXpgt[PChpkt\PCxpot]PDHpst^PDXpwt_PDhp{t`PDxq?taPEHqCtbPEXqGtcPEhqKtdPExqOtePFHqStfPFXqWtgPFhq[thPFxq_tiPGHqctjPGXqgtkPGhqktlPGxqotmPHHqstnPHXqwtoPHhq{tpPHxr?tqPIHrCtrPIXrGtsPIhrKttPIxrOtuPJHrStvPJXrWtwPJhr[txPJxr_tyPKHrctzPKXrgt{PKhrkt|PKxrot}PLHrst~PLXrwu?PLhr{u@PLxs?uAPMHsCuBPMXsGuCPMhsKuDPMxsOuEPNHsSuFPNXsWuGPNhs[uHPNxs_uIPOHscuJPOXsguKPOhskuLPOxsouMPPHssuNPPXswuOPPhs{uPPPxt?uQPQHtCuRPQXtGuSPQhtKuTPQxtOuUPRHtSuVPRXtWuWPRht[uXPRxt_uYPSHtcuZPSXtgu[PShtku\PSxtou]PTHtsu^PTXtwu_PTht{u`PTxu?uaPUHuCubPUXuGucPUhuKudPUxuOuePVHuSufPVXuWugPVhu[uhPVxu_uiPWHucujPWXugukOkHukulOkXuoumOkhusunOkxuwuoOlHu{upOlXv?uqOlhvCurOlxvGusOmHvKutOmXvOuuOmhvSuvOmxvWuwOnHv[uxOnXv_uyOnhvcuzOnxvgu{OoHvku|OoXvou}Oohvsu~Ooxvwv?OpHv{v@OpXw?vAOphwCvBOpxwGvCOqHwKvDOqXwOvEOqhwSvFOqxwWvGOrHw[vHOrXw_vIOrhwcvJOrxwgvKOsHwkvLOsXwovMOshwsvNOsxwwvOOtHw{vPOtXx?vQOthxCvROtxxGvSOuHxKvTOuXxOvUOuhxSvVOuxxWvWOvHx[vXOvXx_vYOvhxcvZOvxxgv[OwHxkv\OwXxov]Owhxsv^Owxxwv_OxHx{v`OxXy?vaOxhyCvbOxxyGvcOyHyKvdOyXyOveOyhySvfOyxnOsuOzHnSsvOzXnWswOzhn[sxOzxn_syO{HncszO{Xngs{O{g?KvjPqw?OvkPrG?SvlPrW?WvmPrg?[vnPrw?_voPsG?cvpPsW?gvqPsg?kvrPsw?ovsPtG?svtPtW?wvuPtg?{vvPtw@?vwPuG@CvxPuW@GvyPug@KvzPuw@Ov{PvG@Sv|PvW@Wv}Pvg@[v~Pvw@_w?PwG@cw@PwW@gwAPwg@kwBPww@owCPxG@swDPxW@wwEPxg@{wFPxwA?wGPyGACwHPyWAGwIPygAKwJPywAOwKPzGASwLPzWAWwMPzgA[wNPzwA_wOP{GAcwPP{WAgwQP{gAkwRP{wAowSP|GAswTP|WAwwUP|gA{wVP|wB?wWP}GBCwXP}WBGwYP}gBKwZP}wBOw[P~GBSw\P~WBWw]P~gB[w^P~wB_w_Q?GBcw`Q?WBgwaQ?gBkwbQ?wBowcQ@GBswdQ@WBwweQ@gB{wfQ@wC?wgQAGCCwhQAWCGwiQAgCKwjQAwCOwkQBGCSwlQBWCWwmQBgC[wnQBwC_woQCGCcwpQCWCgwqQCgCkwrQCwCowsPWgCswtPWwCwwuPXGC{wvPXWD?wwPXgDCwxPXwDGwyPYGDKwzPYWDOw{PYgDSw|PYwDWw}PZGD[w~PZWD_x?PZgDcx@PZwDgxAP[GDkxBP[WDoxCP[gDsxDP[wDwxEP\GD{xFP\WE?xGP\gECxHP\wEGxIP]GEKxJP]WEOxKP]gESxLP]wEWxMP^GE[xNP^WE_xOP^gEcxPP^wEgxQP_GEkxRP_WEoxSP_gEsxTP_wEwxUP`GE{xVP`WF?xWP`gFCxXP`wFGxYPaGFKxZPaWFOx[PagFSx\PawFWx]PbGF[x^PbWF_x_PbgFcx`PbwFgxaPcGFkxbPcWFoxcPcgFsxdPcwFwxePdGF{xfPdWG?xgPdgGCxhPdwGGxiPeGGKxjPeWGOxkPegGSxlPewGWxmPfGG[xnPfWG_xoPfgGcxpPfwGgxqPgGGkxrPgWGoxsPggGsxtPgwGwxuPhGG{xvPhWH?xwPhgHCxxPhwHGxyPiGHKxzPiWHOx{PigHSx|PiwHWx}PjGH[x~PjWH_y?PjgHcy@PjwHgyAPkGHkyBPkWHoyCPkgHsyDPkwHwyEPlGH{yFPlWI?yGPlgICyHPlwIGyIPmGIKyJPmWIOyKPmgISyLPmwIWyMPnGI[yNPnWI_yOPngIcyPPnwIgyQPoGIkyRPoWIoySPogIsyTPowIwyUPpGI{yVPpWJ?yWPpgJCyXPpw??vgPqG?CvhPqW?GviPqgPc{@QOWPg{AQOgPk{BQOwPo{CQPGPs{DQPWPw{EQPgP{{FQPwQ?{GQQGQC{HQQWQG{IQQgQK{JQQwQO{KQRGQS{LQRWQW{MQRgQ[{NQRwQ_{OQSGQc{PQSWQg{QQSgQk{RQSwQo{SQTGQs{TQTWQw{UQTgQ{{VQTwR?{WQUGRC{XQUWRG{YQUgRK{ZQUwRO{[QVGRS{\QVWRW{]QVgR[{^QVwR_{_QWGRc{`QWWRg{aQWgRk{bQWwRo{cQXGRs{dQXWRw{eQXgR{{fQXwS?{gQYGSC{hQYWSG{iQYgSK{jQYwSO{kQZGSS{lQZWSW{mQZgS[{nQZwS_{oQ[GSc{pQ[WSg{qQ[gSk{rQ[wSo{sQ\GSs{tQ\WSw{uQ\gS{{vQ\wT?{wQ]GTC{xQ]WTG{yQ]gTK{zQ]wTO{{Q^GTS{|Q^WTW{}Q^gT[{~Q^wT_|?Q_GTc|@Q_WTg|AQ_gTk|BQ_wTo|CQ`GTs|DQ`WTw|EQ`gT{|FQ`wU?|GQaGUC|HQaWUG|IQagUK|JQawJGyYQbGJKyZQbWJOy[QbgJSy\QbwJWy]QcGJ[y^QcWJ_y_QcgJcy`QcwJgyaQdGJkybQdWJoycQdgJsydQdwJwyeQeGJ{yfQeWK?ygQegKCyhQewKGyiQfGKKyjQfWKOykQfgKSylQfwKWymQgGK[ynQgWK_yoQggKcypQgwKgyqQhGKkyrQhWKoysQhgKsytQhwKwyuQiGK{yvQiWL?ywQigLCyxQiwLGyyQjGLKyzQjWLOy{QjgLSy|QjwLWy}QkGL[y~QkWL_z?QkgLcz@QkwLgzAQlGLkzBQlWLozCQlgLszDQlwLwzEQmGL{zFQmWM?zGQmgMCzHQmwMGzIQnGMKzJQnWMOzKQngMSzLQnwMWzMQoGM[zNQoWM_zOQogMczPQowMgzQQpGMkzRQpWMozSQDGMszTQDWMwzUQDgM{zVQDwN?zWQEGNCzXQEWNGzYQEgNKzZQEwNOz[QFGNSz\QFWNWz]QFgN[z^QFwN_z_QGGNcz`QGWNgzaQGgNkzbQGwNozcQHGNszdQHWNwzeQHgN{zfQHwO?zgQIGOCzhQIWOGziQIgOKzjQIwOOzkQJGOSzlQJWOWzmQJgO[znQJwO_zoQKGOczpQKWOgzqQKgOkzrQKwOozsQLGOsztQLWOwzuQLgO{zvQLwP?zwQMGPCzxQMWPGzyQMgPKzzQMwPOz{QNGPSz|QNWPWz}QNgP[z~QNwP_{?QOG[K_DRNw[O_EROG[S_FROW[W_GROg[[_HROw[__IRPG[c_JRPW[g_KRPg[k_LRPw[o_MRQG[s_NRQW[w_ORQg[{_PRQw\?_QRRG\C_RRRW\G_SRRg\K_TRRw\O_URSG\S_VRSW\W_WRSg\[_XRSw\__YRTG\c_ZRTW\g_[RTg\k_\RTw\o_]RUG\s_^RUW\w__RUg\{_`RUw]?_aRVG]C_bRVW]G_cRVg]K_dRVw]O_eRWG]S_fRWW]W_gRWg][_hRWw]__iRXG]c_jRXW]g_kRXg]k_lRXw]o_mRYG]s_nRYW]w_oRYg]{_pRYw^?_qRZG^C_rRZW^G_sRZg^K_tRZw^O_uR[G^S_vR[W^W_wR[g^[_xR[w^__yR\G^c_zR\W^g_{R\g^k_|R\w^o_}Qpg^s_~Qpw^w`?QqG^{`@QqW_?`AQqg_C`BQqw_G`CQrG_K`DQrW_O`EQrg_S`FQrw_W`GQsG_[`HQsW__`IQsg_c`JQsw_g`KQtG_k`LQtW_o`MQtg_s`NQtw_w`OQuG_{`PQuW`?`QQug`C`RQuw`G`SQvG`K`TQvW`O`UQvg`S`VQvwUO]eQwGUS]fQwWUW]gQwgU[]hQwwU_]iQxGUc]jQxWUg]kQxgUk]lQxwUo]mQyGUs]nQyWUw]oQygU{]pQywV?]qQzGVC]rQzWVG]sQzgVK]tQzwVO]uQ{GVS]vQ{WVW]wQ{gV[]xQ{wV_]yQ|GVc]zQ|WVg]{Q|gVk]|Q|wVo]}Q}GVs]~Q}WVw^?Q}gV{^@Q}wW?^AQ~GWC^BQ~WWG^CQ~gWK^DQ~wWO^ER?GWS^FR?WWW^GR?gW[^HR?wW_^IR@GWc^JR@WWg^KR@gWk^LR@wWo^MRAGWs^NRAWWw^ORAgW{^PRAwX?^QRBGXC^RRBWXG^SRBgXK^TRBwXO^URCGXS^VRCWXW^WRCgX[^XRCwX_^YRDGXc^ZRDWXg^[RDgXk^\RDwXo^]REGXs^^REWXw^_REgX{^`REwY?^aRFGYC^bRFWYG^cRFgYK^dRFwYO^eRGGYS^fRGWYW^gRGgY[^hRGwY_^iRHGYc^jRHWYg^kRHgYk^lRHwYo^mRIGYs^nRIWYw^oRIgY{^pRIwZ?^qRJGZC^rRJWZG^sRJgZK^tRJwZO^uRKGZS^vRKWZW^wRKgZ[^xRKwZ_^yRLGZc^zRLWZg^{RLgZk^|RLwZo^}RMGZs^~RMWZw_?RMgZ{_@RMw[?_ARNG[C_BRNW[G_CRNggkbLR]WgobMR]ggsbNR]wgwbOR^Gg{bPR^Wh?bQR^ghCbRR^whGbSR_GhKbTR_WhObUR_ghSbVR_whWbWR`Gh[bXR`Wh_bYR`ghcbZR`whgb[RaGhkb\RaWhob]Raghsb^Rawhwb_RbGh{b`RbWi?baRbgiCbbRbwiGbcRcGiKbdRcWiObeRcgiSbfRcwiWbgRdGi[bhRdWi_biRdgicbjRdwigbkReGikblReWiobmRegisbnRewiwboRfGi{bpRfWj?bqRfgjCbrRfwjGbsRgGjKbtRgWjObuRggjSbvRgwjWbwRhGj[bxRhWj_byRhgjcbzRhwjgb{RiGjkb|RiWjob}Rigjsb~Riwjwc?RjGj{c@RjWk?cARjgkCcBRjwkGcCRkGkKcDRkWkOcERkgkScFRkwkWcGRlGk[cHRlW`W`WRlg`[`XRlw`_`YRmG`c`ZRmW`g`[Rmg`k`\Rmw`o`]RnG`s`^RnW`w`_Rng`{``Rnwa?`aRoGaC`bRoWaG`cRogaK`dRowaO`eRpGaS`fRpWaW`gRpga[`hRpwa_`iRqGac`jRqWag`kRqgak`lRqwao`mRrGas`nRrWaw`oRrga{`pRrwb?`qRsGbC`rRsWbG`sRsgbK`tRswbO`uRtGbS`vRtWbW`wRtgb[`xRtwb_`yRuGbc`zRuWbg`{Rugbk`|Ruwbo`}RvGbs`~RvWbwa?Rvgb{a@Rvwc?aARwGcCaBRwWcGaCRwgcKaDRwwcOaERxGcSaFRxWcWaGRxgc[aHRxwc_aIRyGccaJRyWcgaKRygckaLRywcoaMRzGcsaNRzWcwaORzgc{aPRzwd?aQR{GdCaRR{WdGaSR{gdKaTR{wdOaUR|GdSaVR|WdWaWR|gd[aXR|wd_aYR}GdcaZR}Wdga[R}gdka\R}wdoa]R~Gdsa^R~Wdwa_R~gd{a`R~we?aaS?GeCabS?WeGacS?geKadS?weOaeS@GeSafS@WeWagS@ge[ahS@we_aiSAGecajSAWegakSAgekalSAweoamSBGesanSBWewaoSBge{apSBwf?aqSCGfCarSCWfGasSCgfKatSCwfOauSDGfSavSDWfWawSDgf[axSDwf_aySEGfcazSEWfga{SEgfka|SEwfoa}SFGfsa~SFWfwb?SFgf{b@SFwg?bASGGgCbBSGWgGbCSGggKbDSGwgObESHGgSbFSHWgWbGSHgg[bHSHwg_bISIGgcbJSIWggbKR]GqsdnNttKMKmH[B|`RCbJqVC~XSpWr?dqNudKYKpH[r|lRFbKaVO~[SqGrKdtNvTKeKsH\b|xRIbLQV[~^SqwrWdwNwDKqKvH]R}DRLbMAVg~aSrgrcdzNwtK}KyH^B}PRObMqVs~dSsWrod}NxdLIK|H^r}\RRbNaW?~gStGr{e@NyTLUL?H_b}hRUbOQWK~jStwsGeCNzDLaLBH`R}tRXbPAWW~mSugsSeFNztLmLEHaB~@OibPqWc~pSIws_eIN{dAqLHHar~LOlbQaWo~sSJgskeLN|TA}LKHbb~XOobRQW{~vSKWsweON}DBILNHcR~dOrbSAXG~ySLGtCeRN}tBULQHdB~pOubSqXS~|SLwtOeUNRDBaLTHdrstOxbTaX_|MSMgt[eXNRtBmLWHebt@O{bUQXk|PSNWtge[NSdByLZHfRtLO~bVAXw|SSOGtse^NTTCEL]HgBtXPAbVqYC|VSOwu?eaNUDCQL`HgrtdPDbWaYO|YSPguKedNUtC]LcHhbtpPGbXQY[|\SQWuWegNVdCiLfHiRt|PJbYAYg|_SRGucejNWTCuLiHjBuHPMbYqYs|bSRwuoemNXDDALlHjruTPPbZaZ?|eSSgu{epNXtDMLoHkbu`PSb[QZK|hSTWvGesNYdDYLrHlRulPVb\AZW|kSUGvSevNZTDeLuHmBuxPYb\qZc|nSUwv_eyN[DDqLxHmrvDP\aqAOg|qSVgkccJN[tD}JIHBBvPP_aqqOs|tSWWkocMN\dEIJLHBrv\PbaraP?|wSXGk{cPN]TEUJOHCbvhPeasQPK|zSXwlGcSN^DEaJRHDRvtPhatAPW|}SYglScVN^tEmJUHEBw@PkatqPc}@SZWl_cYN_dEyJXHErwLPnauaPo}CS[Glkc\N`TFEJ[HFbwXPqavQP{}FS[wlwc_NaDFQJ^HGRwdPtawAQG}IS\gmCcbNatF]JaHHBwpPwawqQS}LS]WmOceNbdFiJdHHrw|PzaxaQ_}OS^Gm[chNcTFuJgHIbxHP}ayQQk}RS^wmgckNdDGAJjHJRxTQ@azAQw}US_gmscnNdtGMJmHKBx`QCazqRC}XS`Wn?cqNedGYJpHKrxlQFa{aRO}[SaGnKctNfTGeJsHLbxxQIa|QR[}^SawnWcwNgDGqJvHMRyDQLa}ARg}aSbgncczNgtG}JyHNByPQOa}qRs}dScWnoc}NhdHIJ|HNry\QRa~aS?}gSdGn{d@NiTHUK?HObyhQUb?QSK}jSdwoGdCNjDHaKBHPRytQXb@ASW}mSegoSdFNjtHmKEHQBz@Q[b@qSc}pSfWo_dINkdHyKHHQrzLQ^bAaSo}sSgGokdLNlTIEKKHRbzXQabBQS{}vSgwowdONmDIQKNHSRzdQdbCATG}yShgpCdRNmtI]KQHTBzpQgbCqTS}|SiWpOdUNndIiKTHTrz|QjbDaT_~?SjGp[dXNoTIuKWHUb{HQmbEQTk~BSjwpgd[NpDJAKZHVR{TQpbFATw~ESkgpsd^NptJMK]HWB{`QsbFqUC~HSlWq?daNqdJYK`HWr{lQvbGaUO~KSmGqKddNrTJeKcHXb{xQybHQU[~NSmwqWdgNsDJqKfHYR|DQ|bIAUg~QSngqcdjNstJ}KiHZB|PR?bIqUs~TSoWqodmNtdKIOJIRSDLSvcBAcx@STMH?shNOTTReOMISCDXSycBqdD@VTMx@?hQOUDRqOPISsDdS|cCadP@YTNh@KhTOUtR}OSITcDpT?cDQd\@\TOX@WhWOVdSIOVIUSD|TBcEAdh@_TPH@chZOWTSUOYIVCEHTEcEqdt@bTPx@oh]OXDSaO\IVsETTHcFae@@eTQh@{h`OXtSmO_IWcE`TKcGQeL@hTRXAGhcOYdSyObIXSElTNcHAeX@kTSHAShfOZTTEOeIYCExTQcHqed@nTSxA_hiO[DTQOhIYsFDTTcIaep@qTThAkhlO[tT]LyHnCFPTWb]qZt@tTUWvoe}O\dTiL|HnsF\TZb^a[@@wTVGv{f@O]TTuM?HocFhT]b_Q[L@zTVwwGfCO^DUAMBHpSFtT`b`A[X@}TWgwSfFO^tUMMEHqCG@Tcb`q[dA@TXWw_fIO_dUYMHHqsGLTfbaa[pACTYGwkfLO`TUeMKHrcGXTibbQ[|AFTYwwwfOOaDUqMNHsSGdTlbcA\HAITZgxCfROatU}MQHtCGpTobcq\TALT[WxOfUObdVIMTHtsG|Trbda\`AOT\Gx[fXOcTVUMWHucHHTubeQ\lART\wxgf[OdDVaMZHvSHTTxbfA\xAUT]gxsf^OdtVmM]HwCH`T{bfq]DAXT^Wy?faOedVyM`HwsHlT~bga]PA[T_GyKfdOfTWEMcHxcHxUAbhQ]\A^T_wyWfgOgDWQMfHySIDUDbiA]hAaT`gycfjOgtW]MiHzCIPUGbiq]tAdTaWyofmOhdWiMlHzsI\UJbja^@AgTbGy{fpOiTWuMoH{cIhR[bkQ^LAjSvWzGfsOjDLyMrH|SItR^blA^XAmSwGzSfvOjtMEMuH}B~xRablq^c~~Swwz_fyO?DMQMxH}s?DRdbma^p?ASxgzkf|O?tM]M{H~c?PRgbnQ^|?DSyWzwg?O@dMiM~I?S?\RjboA_H?GSzG{CgBOATMuNAI@C?hRmboq_T?JSzw{OgEOBDNANDI@s?tRpbpa_`?MS{g{[gHOBtNMNGIAc@@RsbqQ_l?PS|W{ggKOCdNYNJIBS@LRvbrA_x?SS}G{sgNODTNeNMICC@XRybrq`D?VS}w|?gQOEDNqNPICs@dR|bsa`P?YS~g|KgTOEtN}NSIDc@pS?btQ`\?\T?W|WgWOFdOINVIES@|SBbuA`h?_T@G|cgZOGTOUNYIFCAHSEbuq`t?bT@w|og]OHDOaN\IFsATSHbvaa@?eTAg|{g`OHtOmN_IGcA`SKbwQaL?hTBW}GgcOIdOyNbIHSAlSNbxAaX?kTCG}SgfOJTPENeIICAxSQbxqad?nTCw}_giOKDPQNhIIsBDSTbyaap?qTDg}kglOKtP]NkIJcBPSWbzQa|?tTEW}wgoOLdPiNnIKSB\SZb{AbH?wTFG~CgrOMTPuNqILCBhS]b{qbT?zTFw~OguONDQANtILsBtS`b|ab`?}TGg~[gxONtQMNwIMcC@Scb}Qbl@@THW~gg{OOdQYNzINSCLSfb~Abx@CTIG~sg~OPTQeN}IOCCXSib~qcD@FTIx??hAOQDQqO@IOsCdSlc?acP@ITJh?KhDOQtQ}OCIPcCpSoc@Qc\@LTKX?WhGORdRIOFIQSC|SrcAAch@OTLH?chJOSTRUOIIRCDHSudjP{IUmFoxY{^Cdk@{UUpFphZG^Fdkp{aUsFqXZS^Idl`{mUvFrHZ_^LdmP{yUyFrxZk^Odn@|EU|FshZw^Rdnp|QV?FtX[C^Udo`|]VBFuH[O^XdpP|iVEFux[[^[dq@|uVHFvh[g^^dqp}AVKFwX[s^adr`}MVNFxH\?^ddsP}YVQFxx\K^gdt@}eVTFyh\W^jdtp}qVWFzX\c^mdu`}}VZF{H\o^pdvP~IV]F{x\{^sdw@~UV`F|h]G^vdwp~aVcF}X]S^ydx`~mVfF~H]_^|dyP~yViF~x]k_?dzA?EVlG?h]w_Bdzq?QVoG@X^C_Ed{a?]VrGAH^O_Hd|Q?iVuGAx^[_Kd}A?uVxGBh^g_Nd}q@AV{GCX^s_Qd~a@MV~GDH_?_Te?Q@YWAGDx_K_We@A@eWDGEh_W_Ze@q@qWGGFX_c_]eAa@}WJGGH_o_`eBQAIWMGGx_{_ceCAAUWPGHh`G_feCqAaWSGIX`S_ieDaAmWVGJH`__leEQAyWYGJx`k_oeFABEW\GKh`w_reFqBQW_GLXaC_ueGaB]WbGMHaO_xeHQBiWeGMxa[_{eIABuWhGNhag_~eIqCAWkGOXas`AeJaCMWnGPHb?`DeKQCYWqGPxbK`GeLACeWtGQhbW`JeLqCqWwGRXbc`MeMaC}WzGSHbo`PeNQDIW}GSxb{`SeOADUX@GThX?`VdcPyYUQFhxXK]gdd@yeUTFihXW]jddpyqUWFjXXc]mde`y}UZFkHXo]pdfPzIU]FkxX{]sdg@zUU`FlhYG]vdgpzaUcFmXYS]ydh`zmUfFnHY_]|diPzyUiFnxYk^?dj@{EZfGXHm_`deyQEYZiGXxmk`gezAEeZlGYhmw`jezqEqZoGZXnC`me{aE}ZrG[HcG`peOqFIXCG[xcS`sePaFUXFG\hc_`veQQFaXIG]Xck`yeRAFmXLG^Hcw`|eRqFyXOG^xdCa?eSaGEXRG_hdOaBeTQGQXUG`Xd[aEeUAG]XXGaHdgaHeUqGiX[GaxdsaKeVaGuX^Gbhe?aNeWQHAXaGcXeKaQeXAHMXdGdHeWaTeXqHYXgGdxecaWeYaHeXjGeheoaZeZQHqXmGfXe{a]e[AH}XpGgHfGa`e[qIIXsGgxfSace\aIUXvGhhf_afe]QIaXyGiXfkaie^AImX|GjHfwale^qIyY?GjxgCaoe_aJEYBGkhgOare`QJQYEGlXg[aueaAJ]YHGmHggaxeaqJiYKGmxgsa{ebaJuYNGnhh?a~ecQKAYQGoXhKbAedAKMYTGpHhWbDedqKYYWGpxhcbGeeaKeYZGqhhobJefQKqY]GrXh{bMegAK}Y`GsHiGbPegqLIYcGsxiSbSehaLUYfGthi_bVeiQLaYiGuXikbYejALmYlGvHiwb\ejqLyYoGvxjCb_ekaMEYrGwhjObbelQMQYuGxXj[beemAM]YxGyHjgbhemqMiY{GyxjsbkenaMuY~Gzhk?bneoQNAZAG{XkKbqepANMZDG|HkWbtepqNYZGG|xkcbweqaNeZJG}hkobzerQNqZMG~Xk{b}esAN}ZPH?HlGc@esqOIZSH?xlScCetaOUZVH@hl_cFeuQOaZYHAXlk`WevADeZ\GUhlw`ZevqDqZ_GVXmC`]ewaD}ZbGWHmO``exQEIZeGWxw[dAfaASM]HHPHwgdDfaqSY]KHPxwsdGfbaSe]NHQhx?dJfcQSq]QHRXxKdMfdAS}]THSHxWdPfdqTI]WHSxxcdSfeaTU]ZHThxodVffQTa]]HUXx{dYfgATm]`HVHyGd\fgqTy]cHVxySd_e|AUEZtHWhnWdbe|qUQZwHXXncdee}aU]ZzHYHnodhe~QUiZ}HYxn{dkf?AUu[@HZhoGdnf?qVA[CH[XoSdqf@aVM[FH\Ho_dtfAQVY[IH\xokdwfBAVe[LH]howdzfBqVq[OH^XpCd}fCaV}[RH_HpOe@fDQWI[UH_xp[eCfEAWU[XH`hpgeFfEqWa[[HaXpseIfFaWm[^HbHq?eLfGQWy[aHbxqKeOfHAXE[dHchqWeRfHqXQ[gHdXqceUfIaX][jHeHqoeXfJQXi[mHexq{e[fKAXu[pHfhrGe^fKqYA[sHgXrSeafLaYM[vHhHr_edfMQYY[yHhxrkegfNAYe[|HihrwejfNqYq\?HjXsCemfOaY}\BHkHsOepfPQZI\EHkxs[esfQAZU\HHlhsgevfQqZa\KHmXsseyfRaZm\NHAht?cJfSQOq\QHBXtKcMfTAO}\THCHtWcPfTqPI\WHCxtccSfUaPU\ZHDhtocVfVQPa\]HEXt{cYfWAPm\`HFHuGc\fWqPy\cHFxuSc_fXaQE\fHGhu_cbfYQQQ\iHHXukcefZAQ]\lHIHuwchfZqQi\oHIxvCckf[aQu\rHJhvOcnf\QRA\uHKXv[cqf]ARM\xHLHvgctf]qRY\{HLxvscwf^aRe\~HMhw?czf_QRq]AHNXwKc}f`AR}]DHOHwWd@_Nq\Q@?HtWCCfU_Oa\]@BHuGCOfX_PQ\i@EHuwC[f[_QA\u@HHvgCgf^_Qq]A@KHwWCsfa_Ra]M@NHxGD?fd_SQ]Y@QHxwDKfg_TA]e@THygDWfj_Tq]q@WHzWDcfm_Ua]}@ZH{GDofp_VQ^I@]H{wD{fs_WA^U@`H|gEGfv_Wq^a@cH}WESfy_Xa^m@fH~GE_f|_YQ^y@iH~wEkg?_ZA_E@lI?gEwgB_Zq_Q@oI@WFCgE_[a_]@rIAGFOgH_\Q_i@uIAwF[gK_]A_u@xIBgFggN_]q`A@{ICWFsgQ_^a`M@~IDGG?gT__Q`YAAIDwGKgW_`A`eADIEgGWgZ_`q`qAGIFWGcg]_aa`}AJIGGGog`_bQaIAMIGwG{gc_cAaUAPIHgHGgf_cqaaASIIWHSgi_daamAVIJGH_gl_eQayAYIJwHkgo_fAbEA\IKgHwgr_fqbQA_ILWICgu_gab]AbIMGIOgx_hQbiAeIMwI[g{_iAbuAhINgIgg~_iqcAAkIOWIshA_jacMAnIPGJ?hD_kQcY??IPw?ChG_?ace?BIQg?OhJ_@Qcq?EIRW?[hM_AAc}?HISG?ghP_AqdI?KISw?shS_BadU?NITg@?hV_CQda?QIUW@KhY_DAdm?TIVG@Wh\_Dqdy?WIVw@ch__EaeE?ZIWg@ohb_FQeQ?]IXW@{he_GAe]?`IYGAGhh_Gqei?cIYwAShk_Haeu?fHnGA_e|_IQZy?iHnwAkf?_JA[E?lHogAwfB_Jq[Q?oHpWBCfE_Ka[]?rHqGBOfH_LQ[i?uHqwB[fK_MA[u?xHrgBgfN_Mq\A?{HsWBsfQ_Na\MBLIvdwEBMIvtwIBNIwDwMBOIwTwQBPIwdwUBQIwtwYBRIxDw]BSIxTwaBTIxdweBUIxtwiBVIyDwmBWIyTwqBXIydwuBYIytwyBZIzDw}B[IzTxAB\IzdxEB]IztxIB^I{DxMB_I{TxQB`I{dxUBaI{txYBbI|Dx]BcI|TxaBdI|dxeBeI|txiBfI}DxmBgI}TxqBhI}dxuBiI}txyBjI~Dx}BkI~TyABlI~dyEBmI~tyIBnJ?DyMBoJ?TnIBpJ?dnMBqJ?tnQBrJ@DnUBsJ@TnYBtJ@dn]BuJ@tnaBvJADneBwJATniBxJAdnmByJAtnqBzJBDnuB{JBTnyB|JBdn}B}JBtoAB~JCDoEC?JCToIC@JCdoMCAJCtoQCBJDDoUCCJDToYCDJDdo]CEJDtoaCFJEDoeCGJEToiCHJEdomCIJEtoqCJJFDouCKJFToyCLJFdo}CMJFtpACNIZdpECOIZtpICPI[DpMCQI[TpQCRI[dpUCSI[tpYCTI\Dp]CUI\TpaCVI\dpeCWI\tpiCXI]DpmCYI]TpqCZI]dpuC[I]tpyC\I^Dp}C]I^TqAC^I^dqEC_I^tqIC`I_DqMCaI_TqQCbI_dqUCcI_tqYCdI`Dq]CeI`TqaCfI`dqeCgI`tqiChIaDqmCiIaTqqCjIadquCkIatqyClIbDq}CmIbTrACnIbdrECoIbtrICpIcDrMCqIcTrQCrIcdrUCsIctrYCtIdDr]CuIdTraCvIddreCwIdtriCxIeDrmCyIeTrqCzIedruC{IetryC|IfDr}C}IfTsAC~IfdsED?IftsID@IgDsMDAIgTsQDBIgdsUDCIgtsYDDIhDs]DEIhTsaDFIhdseDGIhtsiDHIiDsmDIIiTsqDJIidsuDKIitsyDLIjDs}DMIjTtADNIjdtEDOIjttIDPIkDtMDQIkTtQDRIkdtUDSIkttYDTIlDt]DUIlTtaDVIldteDWIlttiDXImDtmDYImTtqDZImdtuD[ImttyD\InDt}D]InTuAD^InduED_IntuID`IoDuMDaIoTuQDbIoduUAqIotuYArIpDu]AsIpTuaAtIpdueAuIptuiAvIqDumAwIqTuqAxIqduuAyIqtuyAzIrDu}A{IrTvAA|IrdvEA}IrtvIA~IsDvMB?IsTvQB@IsdvUBAIstvYBBItDv]BCItTvaBDItdveBEIttviBFIuDvmBGIuTvqBHIudvuBIIutvyBJIvDv}BKIvTwAEHJSEC]EIJSUCaEJJSeCeEKJSuCiELJTECmEMJTUCqENJTeCuEOJTuCyEPJUEC}EQJUUDAERJUeDEESJUuDIETJVEDMEUJVUDQEVJVeDUEWJVtyQEXJWDyUEYJWTyYEZJWdy]E[JWtyaE\JXDyeE]JXTyiE^JXdymE_JXtyqE`JYDyuEaJYTyyEbJYdy}EcJYtzAEdJZDzEEeJZTzIEfJZdzMEgJZtzQEhJ[DzUEiJ[TzYEjJ[dz]EkJ[tzaElJ\DzeEmJ\TziEnJ\dzmEoJ\tzqEpJ]DzuEqJ]TzyErJ]dz}EsJ]t{AEtJ^D{EEuJ^T{IEvJ^d{MEwJ^t{QExJ_D{UEyJ_T{YEzJ_d{]E{J_t{aE|J`D{eE}J`T{iE~J`d{mF?J`t{qF@JaD{uFAJaT{yFBJad{}FCJat|AFDJbD|EFEJbT|IFFJbd|MFGJbt|QFHJcD|UFIJcT|YFJJcd|]FKJct|aFLJdD|eFMJdT|iFNJdd|mFOJdt|qFPJeD|uFQJeT|yFRJed|}FSJet}AFTJfD}EFUJfT}IFVJfd}MFWJft}QFXJgD}UFYJgT}YFZJgd}]F[Jgt}aF\JhD}eF]JhT}iF^Jhd}mF_Jht}qF`JiD}uFaJiT}yFbJid}}FcJit~AFdJjD~EFeJjT~IFfJjd~MFgJjt~QFhJkD~UFiJkT~YFjJkd~]FkJkt~aFlJlD~eFmJlT~iFnJld~mFoJlt~qFpJmD~uFqJmT~yFrJmd~}FsJmu?AFtJnE?EFuJnU?IFvJne?MFwJnu?QFxJoE?UFyJoU?YFzJoe?]F{Jou?aF|JpE?eF}JpU?iF~Jpe?mG?Jpu?qG@JqE?uGAJqU?yGBJqe?}GCJqu@AGDJrE@EGEJrU@IGFJre@MGGJru@QGHJsE@UGIJsU@YGJJGE@]GKJGU@aGLJGe@eGMJGu@iGNJHE@mGOJHU@qGPJHe@uGQJHu@yGRJIE@}GSJIUAAGTJIeAEDcJIuAIDdJJEAMDeJJUAQDfJJeAUDgJJuAYDhJKEA]DiJKUAaDjJKeAeDkJKuAiDlJLEAmDmJLUAqDnJLeAuDoJLuAyDpJMEA}DqJMUBADrJMeBEDsJMuBIDtJNEBMDuJNUBQDvJNeBUDwJNuBYDxJOEB]DyJOUBaDzJOeBeD{JOuBiD|JPEBmD}JPUBqD~JPeBuE?JPuByE@JQEB}EAJQUCAEBJQeCEECJQuCIEDJRECMEEJRUCQEFJReCUEGJRuCYIdK?EEeIeK?UEiIfK?eEmIgK?uEqIhK@EEuIiK@UEyIjK@eE}IkK@uFAIlKAEFEImKAUFIInKAeFMIoKAuFQIpKBEFUIqKBUFYIrKBeF]IsKBuFaItKCEFeIuKCUFiIvKCeFmIwKCuFqIxKDEFuIyKDUFyIzKDeF}I{KDuGAI|KEEGEI}KEUGII~KEeGMJ?KEuGQJ@KFEGUJAKFUGYJBKFeG]JCKFuGaJDKGEGeJEKGUGiJFKGeGmGUKGuGqGVKHEGuGWKHUGyGXKHeG}GYKHuHAGZKIEHEG[KIUHIG\KIeHMG]KIuHQG^KJEHUG_KJUHYG`KJeH]GaKJuHaGbKKEHeGcKKUHiGdKKeHmGeKKuHqGfKLEHuGgKLUHyGhKLeH}GiKLuIAGjKMEIEGkKMUIIGlKMeIMGmKMuIQGnKNEIUGoKNUIYGpKNeI]GqKNuIaGrKOEIeGsKOUIiGtKOeImGuKOuIqGvKPEIuGwKPUIyGxKPeI}GyKPuJAGzKQEJEG{KQUJIG|KQeJMG}KQuJQG~KREJUH?KRUJYH@KReJ]HAKRuJaHBKSEJeHCKSUJiHDKSeJmHEKSuJqHFKTEJuHGKTUJyHHKTeJ}HIKTuKAHJKUEKEHKKUUKIHLKUeKMHMKUuKQHNKVEKUHOKVUKYHPKVeK]HQKVuKaHRKWEKeHSKWUKiHTKWeKmHUKWuKqHVKXEKuHWKXUKyHXKXeK}HYKXuLAHZKYELEH[KYULIH\KYeLMH]KYuLQH^KZELUH_KZULYH`KZeL]HaKZuLaHbK[ELeHcK[ULiHdK[eLmHeK[uLqHfK\ELuHgK\ULyHhK\eL}HiK\uMAHjK]EMEHkK]UMIHlK]eMMHmK]uMQHnK^EMUHoK^UMYHpK^eM]HqK^uMaHrK_EMeHsK_UMiHtK_eMmHuK_uMqHvJseMuHwJsuMyHxJtEM}HyJtUNAHzJteNEH{JtuNIH|JuENMH}JuUNQH~JueNUI?JuuNYI@JvEN]IAJvUNaIBJveNeICJvuNiIDJwENmIEJwUNqIFJweNuIGJwuNyIHJxEN}IIJxUOAIJJxeOEIKJxuOIILJyEOMIMJyUOQINJyeOUIOJyuOYIPJzEO]IQJzUDYIRJzeD]ISJzuDaITJ{EDeIUJ{UDiIVJ{eDmIWJ{uDqIXJ|EDuIYJ|UDyIZJ|eD}I[J|uEAI\J}EEEI]J}UEII^J}eEMI_J}uEQI`J~EEUIaJ~UEYIbJ~eE]IcJ~uEaLjKxDpDdBbZBMT[QXPGusreVCuSULmKxtpPdEbZrM`[TXPwv?rhVDeSaLpKydp\dHb[bMl[WXQgvKrkVEUSmLsKzTphdKb\RMx[ZXRWvWrnVFESyLvK{DptdNb]BND[]XSGvcrqVFuTEJGK{tq@dQaqRNP[`XSwkgrtVGeTQJJK|dqLdTarBN\[cXTgksrwVHUT]JMK}TqXdWarrNh[fXUWl?rzVIETiJPK~DqddZasbNt[iXVGlKr}VIuTuJSK~tqpd]atRO@[lXVwlWs@VJeUAJVL?dq|d`auBOL[oXWglcsCVKUUMJYL@TrHdcaurOX[rXXWlosFVLEUYJ\LADrTdfavbOd[uXYGl{sIVLuUeJ_LAtr`diawROp[xXYwmGsLVMeUqJbLBdrldlaxBO|[{XZgmSsOVNUU}JeLCTrxdoaxrPH[~X[Wm_sRVOEVIJhLDDsDdraybPT\AX\GmksUVOuVUJkLDtsPduazRP`\DX\wmwsXVPeVaJnLEds\dxa{BPl\GX]gnCs[VQUVmJqLFTshd{a{rPx\JX^WnOs^VREVyJtLGDstd~a|bQD\MX_Gn[saVRuWEJwLGtt@eAa}RQP\PX_wngsdVSeWQJzLHdtLeDa~BQ\\SX`gnssgVTUW]J}LITtXeGa~rQh\VXaWo?sjVUEWiK@LJDtdeJb?bQt\YXbGoKsmVUuWuKCLJttpeMb@RR@\\XbwoWspVVeXAKFLKdt|ePbABRL\_XcgocssVWUXMKILLTuHeSbArGP\bXdWooqDVXEXYKLK`duTeVbBbG\\eXeGo{qGVXuXeKOKaTu`eYbCRGh\hXewpGqJVYeXqKRKbDule\bDBGt\kXfgpSqMVZUX}KUKbtuxe_bDrH@\nXgWp_qPV[EYIKXKcdvDebbEbHL\qXhGpkqSV[uYUK[KdTvPeebFRHX\tXhwpwqVV\eYaK^KeDv\ehbGBHd\wXigqCqYV]UYmKaKetvhekbGrHp\zXjWqOq\V^EYyKdKfdvtenbHbH|\}XkGq[q_V^uZEKgKgTw@eqbIRIH]@XkwqgqbV_eZQKjKhDwLetbJBIT]CXlgqsqeV`UZ]KmKhtwXewbJrI`]FXmWr?qhVaEOaKpKidwdcHbKbIl]IXAgrKqkVauOmKsKjTwpcKbLRIx]LXBWrWqnVbeOyKvKkDw|cNbMBJD]OXCGrcqqVcUPEKyKktxHcQbMrJP]RXCwroqtVdEPQK|KldxTcTbNbJ\]UXDgr{qwVduP]L?KmTx`cWbORJh]XXEWsGqzVeePiLBKnDxlcZbPBJt][XFGsSq}VfUPuLEKntxxc]bPrK@]^XFws_r@VgEQALHKodyDc`bQbKL]aXGgskrCVguQMLKKpTnHccbRRKXZrXHWswrFU|EQYLNKqDnTcfbSBKdZuXIGtCrIU|uQeLQKqtn`cibSrKpZxXIwtOrLU}eQqLTKrdnlclbTbK|Z{XJgt[rOU~UQ}LWKsTnxcobURLHZ~XKWtgrRV?ERILZKtDoDcrbVBLT[AXLGtsrUV?uRUL]KttoPcubVrL`[DXLwu?rXV@eRaL`Kudo\cxbWbLl[GXMguKr[VAURmLcKvTohc{bXRLx[JXNWuWr^VBERyLfKwDotc~bYBMD[MXOGucraVBuSELiKwtp@dAbbRXH_VYMWwwuRWEEbiMNLdE@dgzbcBXT_YYNGxCuUWEubuMQLdu@pg}bcrX`_\YNwxOuXWFecAMTLee@|h@bdbXl__YOgx[u[WGUcMMWLfUAHhCbeRXx_bYPWxgu^WHEcYMZLgEAThFbfBYD_eYQGxsuaWHuceM]LguA`hIbfrYP_hYQwy?udWIecqM`LheAlhLbgbY\_kYRgyKugWJUc}McLiUAxhObhRYh_nYSWyWujWKEdIMfLjEBDhRbiBYt_qYTGycumWKudUMiLjuBPhUbirZ@_tYTwyoupWLedaMlLkeB\hXbjbZL_wYUgy{usWMUdmMoLlUBhh[bkRZX_zYVWzGuvWNEdyMrLmEBth^blBZd_}YWGzSuyWNueEMuLmuC@hablrZp`@YWwz_u|WOeeQMxLneCLhdbmbZ|`CYXgzkv?WPUe]M{LoUCXhgbnR[H`FYYWzwvBWQEeiM~LpECdhjboB[T`IXmg{CvEWQuZmNALpuCpe{bor[``LXnW{OvHWReZyNDLqeC|e~bpb[l`OXoG{[vKWSU[ENGLrUDHfAbqR[x`RXow{gvNWTE[QNJLsEDTfDbrB\D]cXpg{svQVhU[]NMLstyXfGbrr\P]fXqW|?vTViE[iNPLtdydfJbsb\\]iXrG|KvWViu[uNSLuTypfMbtR\h]lXrw|WvZVje\ANVLvDy|fPbuB\t]oXsg|cv]VkU\MNYLvtzHfSbur]@]rXtW|ov`VlE\YN\LwdzTfVbvb]L]uXuG|{vcVlu\eN_LxTz`fYbwR]X]xXuw}GvfVme\qNbLLdzlf\bxBR\]{Xvg}SswVnU\}NeLMTzxf_bxrRh]~XwW}_szVoE]INhLND{DfbbybRt^AXxG}ks}Vou]UNkLNt{PfebzRS@^DXxw}wt@Vpe]aNnLOd{\fhb{BSL^GXyg~CtCVqU]mNqLPT{hfkb{rSX^JXzW~OtFVrE]yNtLQD{tfnb|bSd^MX{G~[tIVru^ENwLQt|@fqb}RSp^PX{w~gtLVse^QNzLRd|Lftb~BS|^SX|g~stOVtU^]N}LST|Xfwb~rTH^VX}X??tRVuE^iO@LTD|dfzc?bTT^YX~H?KtUVuu^uOCLTt|pf}c@RT`^\X~x?WtXVve_AOFLUd||g@cABTl^_Y?h?ct[VwU_MOILVT}HgCcArTx^bY@X?ot^VxE_YOLLWD}TgFcBbUD^eYAH?{taVxu_eOOLWt}`gIcCRUP^hYAx@GtdVye_qORLXd}lgLcDBU\^kYBh@StgVzU_}OULYT}xgOcDrUh^nYCX@_tjV{E`IOXLZD~DgRcEbUt^qYDH@ktmV{u`UO[LZt~PgUcFRV@^tYDx@wtpV|e`aO^L[d~\gXcGBVL^wYEhACtsV}U`mOaL\T~hg[cGrVX^zYFXAOtvV~E`yOdL]D~tg^cHbVd^}YGHA[tyV~uaEOgL]u?@gacIRVp_@YGxAgt|W?eaQOjL^e?Lgdb]bV|_CYHgvku?W@Ua]L{L_U?Xggb^RWH_FYIWvwuBWAEaiL~L`E?dgjb_BWT_IYJGwCuEWAuauMAL`u?pgmb_rW`_LYJwwOuHWBebAMDLae?|gpb`bWl_OYKgw[uKWCUbMMGLbU@HgsbaRWx_RYLWwguNWDEbYMJLcE@TgvbbBXD_UYMHE[vuWzUgePgL|uMxiIcYR^`bnYaxEgvxW{EgqPjL}eNDiLcZB^lbqYbhEsv{W{ug}PmL~UNPiOcZr^xbtYcXF?v~W|ehIPpM?EN\iRc[b_DbwYdHFKwAW}UhUPsM?uNhiUc\R_PbzYdxFWwDW~EhaPvM@eNtiXc]B_\b}YehFcwGW~uhmPyMAUO@i[c]r_hc@YfXFowJX?ehyP|MBEOLi^c^b_tcCYgHF{wMX@UiEQ?MBuOXiac_R`@cFYgxGGwPWTeiQQBMCeD\idc`B`L`WYhhGSwSWUUi]QEMDUDhigc`r`X`ZYiXG_wVWVEiiQHMEEDtijcab`d`]YjHGkwYWVuiuQKMEuE@imcbR`p``YjxGww\WWejAQNMFeELipccB`|`cYkhHCw_WXUjMQQMGUEXisccraH`fYlXHOwbWYEjYQTMHEEdivcdbaT`iYmHH[weWYujeQWMHuEpiyceRa``lYmxHgwhWZejqQZMIeE|i|cfBal`oYnhHswkW[Uj}Q]MJUFHj?cfrax`rYoXI?wnW\EkIQ`MKEFTjBcgbbD`uYpHIKwqW\ukUQcMKuF`jEchRbP`xYpxIWwtW]ekaQfMLeFljHciBb\`{YqhIcwwW^UkmQiMMUFxjKcirbh`~YrXIowzW_EkyQlMNEGDjNcjbbtaAYsHI{w}W_ulEQoMNuGPjQckRc@aDYsxJGx@W`elQQrMOeG\jTclBcLaGYthJSxCWaUl]QuMPUGhjWclrcXaJYuXJ_xFWbEliQxMQEGtjZcmbcdaMYvHJkxIWbuluQ{MQuH@j]cnRcpaPYvxJwxLWcemAQ~MReHLj`coBc|aSYwhKCxOWdUmMRAMSUHXjccordHaVYxXKOxRWeEmYRDMTEHdjfcpbdTaYYyHK[xUWeumeRGMTuHpjicqRd`a\YyxKgxXWfemqRJMUeH|jlcrBdla_YzhKsx[WgUm}RMMVUIHjocrrdxabY{XL?x^WhEnIRPMWEITjrcsbeDaeY|HLKxaWhunURSMWuI`juctRePahY|xLWxdWienaRVMXeIljxcuBe\akY}hLcxgWjUnmRYMYUIxj{curehanY~XLoxjWkEnyR\MZEJDj~cJBetaqZ?HAsxmWkuoEOmMZuJPkAcJrf@atZ?xB?xpWleoQOpM[eJ\kDcKbfLawZ@hBKxsWmUo]OsM\UJhkGcLRfXazZAXBWxvWnEoiOvM]EJtkJcMBfda}ZBHBcxyWnuouOyM]uK@kMcMrfpb@ZBxBox|WoepAO|M^eKLkPcNbf|bCZChB{y?WpUpMP?M_UKXkScORgHbFZDXCGyBWqEpYPBM`EKdkVcPBgTbIZEHCSyEWqupePEM`uKpkYcPrg`bLZExC_yHWrepqPHMaeK|k\cQbglbOYZHCkyKWsUeuPKMbULHhmcRRgxbRYZxCwyNWtEfAPNMcELThpcSBhDbUY[hDCyQWtufMPQMcuL`hscSrhPbXY\XDOyTWuefYPTMdeLlhvcTbh\b[Y]HD[yWWvUfePWMeULxhycUR]`b^Y]xDgvhWwEfqPZLyeMDh|cVB]lbaY^hDsvkWwuf}P]LzUMPi?cVr]xbdY_XE?vnWxegIP`L{EM\iBcWb^DbgY`HEKvqWyUgUPcL{uMhiEcXR^PbjY`xEWvtWzEgaT\MgEXTnBdVbiDeUZpHT{yaXdu{UT_MguX`nEdWRiPeXZpxUGydXee{aTbMheXlnHdXBi\e[ZqhUSygXfU{mTeMiUXxnKdXrihe^ZrXU_yjXgE{yThMjEYDnNdYbiteaZFhUkymXgup}TkMjuYPk_dZRj@edZGXUwypXheqITnMkeY\kbd[BjLegZHHVCysXiUqUTqMlUYhked[rjXejZHxVOyvXjEqaTtMmEYtkhd\bjdemZIhV[yyXjuqmTwMmuZ@kkd]RjpepZJXVgy|XkeqyTzMneZLknd^Bj|esZKHVsz?XlUrET}MoUZXkqd^rkHevZKxW?zBXmErQU@MpEZdktd_bkTcGZLhWKzEXAUr]UCMpuOhkwd`Rk`cJZMXWWzHXBEriUFMqeOtkzdaBklcMZNHWczKXBuruUIMrUP@k}darkxcPZNxWozNXCesAULMsEPLl@dbblDcSZOhW{zQXDUsMR]MsuPXlCcvrlPcVZPXM?zTXEEsYR`MtePdlFcwbl\cYZQHMKzWXEuseRcMuUPplIcxRlhc\ZQxMWzZXFesqRfMvEP|lLcyBltc_ZRhMcz]XGUs}RiMvuQHlOcyrm@cbZSXMoz`XHEtIRlMweQTlRczbmLceZTHM{zcXHutURoMxUQ`lUc{RmXchZTxNGzfXIetaRrMyEQllXc|BmdckZUhNSziXJUtmRuMyuQxl[c|rmpcnZVXN_zlXKEtyRxMzeRDl^c}bm|cqZWHNkzoXKuuER{M{URPlac~RnHctZWxNwzrXLeuQR~M|ER\ldd?BnTcwZXhOCzuXMUu]SAM|uRhlgd?rn`czZYXOOzxXNEuiSDM}eRtljd@bnlc}ZZHO[z{XNuuuSGM~US@lmdARnxd@ZZxOgz~XOevASJN?ESLlpdBBoDdCZ[hOs{AXPUvMSMN?uSXlsdBroPdFZ\XP?{DXQEvYSPN@eSdlvdCbo\dIZ]HPK{GXQuveSSNAUSplydDRohdLZ]xPW{JXRevqSVNBES|l|dEBotdOZ^hPc{MXSUv}SYNBuTHm?dErp@dRZ_XPo{PXTEwIS\NCeTTmBdFbpLdUZ`HP{{SXTuwUS_NDUT`mEdGRpXdXZ`xQG{VXUewaSbNEETlmHdHBpdd[ZahQS{YXVUwmSeNEuTxmKdHrppd^ZbXQ_{\XWEwyShNFeUDmNdIbp|daZcHQk{_XWuxESkNGUUPmQdJRqHddZcxQw{bXXexQSnNHEU\mTdKBqTdgZdhRC{eXYUx]SqNHuUhmWdKrq`djZeXRO{hXZExiStNIeUtmZdLbqldmZfHR[{kXZuxuSwNJUV@m]dMRqxdpZfxRg{nX[eyASzNKEVLm`dNBrDdsZghRs{qX\UyMS}NKuVXmcdNrrPdvZhXS?{tX]EyYT@NLeVdmfdObr\dyZiHSK{wX]uyeTCNMUVpmidPRrhd|ZixSW{zX^eyqTFNNEV|mldQBrte?ZjhSc{}X_Uy}TINNuWHmodQrs@eBZkXSo|@X`EzITLNOeWTmrdRbsLeEZlHS{|CX`uzUTONPUW`mudSRsXeHZlxTG|FXaezaTRNQEWlmxdTBsdeKZmhTS|IXbUzmTUNQuWxm{dTrhheNZnXT_yZXcEzyTXMfEXDm~dUbhteQZoHTky]Xcu{ET[MfuXPnA") dhar7832nx = dhar7832.networkx_graph() # List of graphs to process graphs = [('dhar7832 ', dhar7832)] 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)} / 4-reg.? {graph.is_regular(k=4)} / Girth: {graph.girth()} ")#/ Alg.conn. {algebraic_connectivity(graph).n(digits=6)} ")# / Domin. number: {graph.dominating_set(value_only=True)} ") print("Degree histogram dhar7832 :", nx.degree_histogram(dhar7832nx) ) 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("\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') Adhar7832 = dhar7832.automorphism_group() print('dhar7832 :', Adhar7832.structure_description(), ' | center order:',Adhar7832.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 5") for label, graph in nonisographs: print(f"{label} "," | ".join(str(count_k_cycles(graph, k)) for k in range(3, 6))) ''' # 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") ## ##