# SageMathCell online https://sagecell.sagemath.org/?q=rwcqzh # ''' Main properties of the graph deg4D9 | Ord.: 7884 / Size: 15768 / Diam.: 9 / Avg.dist: 7.35566 / 4-reg.? True / Girth: 11 Symmetry properties of the graph deg4D9 | Aut.group.ord.: 2628 / 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. deg4D9 : C73 : C36 | center order: 2 deg4D9 distance distrib from vtx. 0: [1, 4, 12, 36, 108, 324, 948, 2356, 3241, 854] ''' import networkx as nx deg4D9 =Graph(r":~@zKfCo??JlC?g?CJmC?xpWJnC@@DaJoC@WnCOEa{`?]JrCAGiOOHahP?iIeCBG?GIfCBWFCIhCBhqCB_Ai`?}DNAip@AE}Aj@@EGlAjP@II[Aj`@MInBAp@QIoB]`@UIpByP@]IqCE@DeIsCEPKa[kAlP@gSval`@kUealp@oWTam@@sYCamP@wZram`@}IzCGGjoOaanPAMI~CHHr[J?CHWkCOeao`A]JBCIGkOOhapPAiJECIwk[Olaq@AyJICJxsGJJCKGkoOparPBIJMCKwk{Osas@BUJPCLglGOwaso}]JTByHssJUBywl[Nkau?}uJXBzglgNnauo~AJ[B{WlsNqav_~MJ_B|Ht_J`B|gmGNvawo~aJcB}WmSNyax_~mJfB~Gm_N|ayO~yJjB~xrE\cAz@?EKIC[WosPqbB`FMKNC\Gp?PtbCPFYKQC\wpKPwbD@Fe\nBDPFiKUC^Gp_P|bEPFyKYC^wpkQ?bF@GEK\C_gpwQBbFpGQ\yBG@GUK`C`wqKQGbH@GeKdCagqWOxbHpBiKgCMw?KKhCNG?wKiCNXwS?XBIpBy?cBJ@B}?nBJ`CA?yBJpCE@DBK@CM@OBKPCQ@ZBK`CU@eBKpCY@qBL@C]@|BLPCa]O?a?rWPH_cor[PI_f_rcPJ_iOrgPK_l?rkPM_noroPN_q_rsPO_tOrwPP_wOr{PQ_z?s?PRfeoN[L@CTGOGLACTWOsLCCTgP_LDCTwQKJsCUwQwJuCVGRcJvCVWSOJwCVgT?JxCVwTkJyCWHyWDeA}pEEDpA~@EID{A~PEMEFA~`EQEQA~pEYE\B?PE]EgB?`EaErB?pEeE~B@@EiFIB@PEm]p@tOoWPk`w?o[Pl`yoo_Pm`|_ocPna?OxGQQaB?xKQRaDoxOQSaG_xSQTaJ_xWQUaMOsWQVfn?cOLFCeGc{LGCeWdgLHCegeSLICewf?LJCfWfkLKCfggWLLCfwhCLNCgGhsLOCgWi_LPCgh{[IrBS`IMI}BSpIQJHBT@IUJSBTPIYJ^BT`IaJiBTpIeJtBU@IiK?BU`ImKKBUpIqKVBV@Iu[qfsoqGL\CjgqsL]Cjwr_L^CkGsKL_CkWswL`CkwtcLaClGuKLcClWuSLnClguWLzClwu[MECmH|wLgBcPJeLhBf@JiLiBhpJmLjBk`JqLkBnPJyLlBq@J}LmBspKALoBv`KELpBy`KILqB|PKM^hB[p??RCb\@?kRDb\P@WREb\`ACRFb\pAoRIb]@B[RJb]PCGRKb^@CsRLb^PDgRMb^`ESRNf|?v{PoCsGw?PzCsWwCQECsgwGQPCswwKQ[CtWwOQfCtgwSQqCtww[Q|CuGw_RHCuWwcRSCuh~{MICupL}MJCapMiMKCb@NUMLCbPOAMMCb`OmMNCbpPYMOCc@QENTD?pQqNUD@@RaNVD@PSM_IBu@OWTMbuPO[TXbu`O_TcbupOcTnbv@OgTybvPOoUDbvpOsUObw@OwUZbwPO{Ufbw`P?UqgDO}KSPDnW}OSQDqG}SSRDsw}WSSDvgx[STDyWx_SVD|GxcSWD~wxgSXEAgxkSYEDgxsSZEGYA?M]DF@aqM^DFPb]M_DF`cIM`DFpcuMaDG@daMbDG`eMMcDGpeyMdDH@feMeDHPgUMgDH`hA_jBiPQ[YZbi`Q_YebipQcYpbj@QgY{bjPQkZFbj`LoZQbjpLsZ\bk@LwZgbkPM?ZsbkpMCZ~gL_zORaFAgzSRbFDWzWRcFGGz[RdFIwz_ReFLgzcRfFOWzgRgFRGzkRhFTwzoRjFWwzwRkFZhrM`ABnpMs\xbo@Mw]CboPM{]Nbo`N?]YbopNC]dbp@NG]obpPNK]zbp`NO^EbppNW^QbqPN[^\gRO{gRwFyG{kRxF{w{oRyF~g{sRzGAW{wR{GDG{{R|GFw|?R}GIg|CR~GLW|GS@GOW|OSAGRID_OhDWAD]OiDWXAkTacJPUMOmDXXA{TecK@U]OpDYHBGThcKpUi`XcL@UmOtDZHBWTlcM@UyNfD[G}_TpbypVINkD[w}sTsbz`VU`YbzpVYNoD\w~CTwb{`VeNrD]w~OT{b|`VuNvDJW~_Smb}PQ}`Zb}`RANzDKW~oSqb~PRMN}DLG~{Stc?PRYOADMX?KSyc@@Rm`[c@PRqOEDNX?[S}cA@R}OHDOH?gT@cB@SIOLDPH?wTDcBpSY`\cC@S]OPDQH@GTHcCpSiOSDQx@STKcDpSuOWDRx@cTOcE`TE`]cEpTIO[DSx@sTScF`TUO^DThA?TVcG`TaObDUhAOTZcHPTq`^cH`TuOfDVhA_T^cXpXePgDehEcU[cY`XuPjDfhEoU^cZPYA[VfLIEAPmDgXE{Uac[PYMPqDhHFKUdc\@YaPtDiXFWUic\pYmPwDjIEEPxDjXFgUmc^@Y}P|DkHFwUpc^pZMQ?DlHGCUtc_`ZYQBDlyEMQCDmHGSUxc`pZiQGDmxGcU{ca`ZyOxDnxBgV?cMp[EO{DoiEQO|DoxBwVCcNp[UP?DphCCVFcOp[ePCDqhCSVJcP`[qPFDrYEUPGDrhCcT}cQ`V}PJD_HCoU@cR`WIPND_xD?UCcSPWYPQD`yEYPRDaHDOUHcTPWiPUDaxD[UKcUpWuP[DbhDsUNcV`XEP^DciE]P_DcxECUScW`XUPbDdhEOUVcX`XaRPDvHLGV\csp\}RTDwIEaRUDwXL[Vacu@]MRXDxHLgVdcup]YQJDxxGoVgcbP]iQMDyyEeQNDzHH?Vlcc`]yQRDzxHOVocdP^EQUD{hH[Vrce@^UQXD|iEiQYD|xHkVwcfP^eQ]D}hH{Vzcg@^qQ`D~XIGV}cgp_AQcE?XrU`jchP_IQeE?xI_WCciP_UQiE@hIkWFcj@_aQlEAXIwWJcjp_q`kck@_uQpEBhJKWNcl@`AQtECXJWWQclp`MQwEDHJcWVcm``a`mcmp`eQ{EEhJwWZcnp`qR?EFXKCW]co``}RBDrxKOVOcpP\E`ncp`\IRFDtHKgVTcqp\YRKDtxKsVWcr`\eRNDuhL?VZd@peu`odA@e}SHE[HOgW_dB@aISLEGxOwWcdBpaUSOEHhPCWfdC`aa`pdCpaeSSEIhPSWjdDpauSWEJhPcWndE`bASZEKXPoWqdFPbM`qdF`bQS^ELXQ?WudG`baSbEMXQOWydHPbmSeENHQ[W|dI@by`rdIPb}SiEOHQkX@cv@cMR\EPHLwXDcw@cYR`EPxMGXGcwpce`scx@ciRdEQxMWXKcxpcyRgERxMcXOcypdERkEShMsXRcz`dQ`tczpdURoEThNCXVc{`deRrEUhNOXZc|`dqRvEVXN_X]c}Pd}[vg\hNgX_c}peER{EWhNsXcc~`eUR~EXhOCXfd?`eaSBEYXOOXig\xOSXjd@`eqT^E`xU?YGdWPgeTaEahUKYJdXPgqTeEbXU[YMg]XU_YNdYPhETiEchUkYRdZ@hQTlEdXUwYUd[@h]TpEeHVGYXg]hVKYYd\@hqTtEfXVWY]d\ph}TwEgHVcY`d]piIT{EgxVsYcg]xQsYddJ`i]SnEiHR?YhdKPiiSqEixRKYkdL@iuStEjhRWYng^HRcYodM`jISzEkxRoYsdNPjUS}ElhR{YvdO@jaT@EmXSGYyg^XSOYzdPPjuTEEnhS[Y~dQ@kATHEoXSgXpdQpfITKE[xSsXsg^hS{XtdS@fYTPE\xTGXwdSpfiTSE]xTSX{dT`fuTVE^hT_X~g^xTgY?dUpgET[E_hTsYBdV`gYUEE}hW[Zzda@nqUHE~XWgZ}g_HWk[?db@oEULF?hWw[BdbpoQUPF@XXG[Edcpo]USFAHXS[HfMIGEUUFAxX[[Kde@ouUXFBhXg[Ndf@pAU\FCXXw[QdfpkIU_EoyGIU`EpHYGZDdgpkYUcEqHYSZHdi@kiUhEqxYgZKdipkuUkEriGQUlErxYwZOdjplEUoEsxZCZSdkplUUsEthZSZVdl`laUvEuYGUUwEuhZcZZdm`lqUzEvhZoZ^dn`mAU~EwX[?ZadoPmMVAExIGYVBExX[OZedpPm]VEEyX[[ZidqPmmVIEzH[kZldr@myVLEzyG]VME{HVwZpd^pnIU?E|XWCZud_`n]UBE}HWOZxeAP`UWJE`IGaWKE{x_s\aeB`|EWNGOH`?aoeCQP}WQHbh`Kf|eDH`]aHeEH`eWYeEx`qW\eFh`}VNdsIGiVPdsh\QVTdth\]VWduX\iVZgax\qV\dvx]AV`dwh]MVcdxX]Y[xIQYGqVfdyH]iVjdzH]uVm_?@]}?@D{HD_VpgbX^Gand{x^UVud|x^aVx_?`^i@pD}wM?V{gbwS{V|`n`^yGlE?GhoW@bAp_ILyE?w}cWCcUP_URGE@hR[WFgcHYWWG`npaYFIEHw\SWg`w@aeFjEIg^WWjeJXayWngcXbAWpeKhbMWseLXbYWweMXbiaQeMxbqW|eNhb}X?eOXcMXCePYHMXEePxcaXH_?pci?MEQw@cXK_H@cy?nERwBgXOgdGCSXP_S@dI@ZESwEWXS_[`dU@|ETgG_XV_cpdeA]EUgIcXZgdWJOX[_npduBIEVgLSX^_wPeABkEWWN[Xa`?`eQCLEXWP_XegdgQKXf`J`eaCxEYWSOXi`S@emDZEZGUWXl`[Pe}D{E[GW[W_fMaciaV`c`aIE\EGwY_Wc`kpaUMfE_wzGYEbnPg]NGEaG|KYHbv`giaWby`gmNtEbH??YLcApgyOUEbxACYPcJ@hIOvEcxCGYScRPhUaYcU`hYPdEdxF?YWc]pheQEEehHCY[cf@huQfEfhJGY^cnPiAaZcqPiERSEghL{Ybcy`iQRtEhXO?YfdApiaSUEiXQCYia?Pima[aB@iqGVEjWaGYmaJ`i}GxEkGcOYqaRpjMHYElGeSYta[@jYa\a]pj]IEEmGhCYxafPjiIgEmwjKY|an`jyJHEnwlOZ?avpkEa]ay`fEJtE[go?XrbB@fQKVE\WqGXubJPf]KwE]GsKXybR`fma^bUPfqLcE^Wu{X}b]pf}MEE_GxCY@bf@gIXWEsXeKZReZ`lQa_e]PlUYDEthh?ZVeeplaYeEuXjCZYen@lmZFEvHlGZ]evPl}a`ew@maZ`E|HmGZ~ewpoiZcFDXmS[_ex`qmZfFLhmc\@ey`sq[zIRIIIZjFTxmo\bezPuyZmF]Xm{]Ce{@w}ZpFehnG]de|PzAZuFmyIMZvFphn_^Qe}P|uZyFyHnk^re~@~yZ|GAXnw_Sf?A@}[@GIiIU[AGLXoK`@f@ACqSkF@XR_[EdOpo]TMFAHTc[H_@@UO[J_@PU{[Kghg?WTyFBW?[UDFBg?_UOFBw?cUZFCG?gUfFCW?kUqFCg?oU|Eog?sVGEow?{VREpG@?V]EpYI]?PDyPkY?QD|@ka?RD~pke?SEA`ki?TED`km?UEGPkq?VEJ@ku?WELpky?YEO`k}?ZERPlAag_FA^shl_FQeohw_FagKjZ_FqgwlI_GAhe?`IhGAGin_Gqji?dIpWAWjOgiWA[j[_IAm]?hI{gAgj|_Iqoa?kJCwAsk]_Jaqe?oJLGBCk~gigBGlJ_KqtY?sJWWBSlk_Lav]?vGTwB_`a_MQEu?zG]GBoaBgiwBsaM_NaHe?~GhGC?ap_OQJq@AGpwCKbQ_PALu@EGyGC[brgjG??@GG~g?C@HHAWCgPWHDGCkanHGGCocj_RQRY@MHOWC{dK_SQT]@QHWhrohLJ`yIu?A?SqUu@S?[QVa@T?wAWM@U@RqW}@V@naXi@WAJQYU@XAfAZA@YBAqZm@[B]a[Y@\ByQ\Eam_V`Dcf[_VpK_ff_W@R[fq_WPYWf}_W``SgH_WpgOgS_X@nKg^_XPuGgi_Xp|Cgt_YAC?h?gkgEcaoIQwEgc^ITgEkeMIWWEq@l_ZgE}@o_[wFQar_\WFY@v_]GFe@yJ_gFkmL_^Axa@}JgwF{mmglG?KA?Jmg?wA@JpW@cAAJsGAOABJuwA{ACJxgBgAD_POGY@O?`wDkAH_X_GiatJzGFGAJ_^OGqAG?bWGwAR_boHyAO?iWHCAs_c_J}AS?qgHSBTgla}uAU?wWH[Bk_e?N]AX@?gHgCL_eoPaA[@GwHsCm_foReA_@PIJ[nm_gOTAAa@UwIKDe_h?VEAd@^GIWEF_hoXIAg@fWIgEg_ioZMawJzwIoE~_jO[iAm@tWI{F__k?]mAp@|gJIAr_lWJYaxJ{GJ]Aw_mWJiAz_nGJsLz_n_wYB?BcWKCM[fNQcwmGgma~IBABhwKKMq_p?zuBDBqGKWNR_po|yBGBygKcNt_qp?ABKCAyJknr_rP@YBMCGWK{Ok_s@B]BPCOgLGPL_spDiBSCXWLWPo_tpFma|J|GL_QE_uPHEBYCfGLkQf_v@JIB\CnWLwRH_vpLQBaCvwMKRigna~UBcC|WMSS?_x`OmBfDDgM_S`_yO_EBiABGMkGV_zOaIBmAJiJ{nu_zobeBoAPGNCHN_{_diBrAXWNOHo_|OfmBuA`gN_IP_}Ohub?J|wNgIg_}ojMB{AngNsJH_~_lQB~AvwO?Ji`?OnUCBB?GOOKKgoQ~aCDBDwOWKa`@oquCGBMGOcLB`A_syCJBUWOoLc`B_u}CNEWyKGnx`C@eyCPE]WPGYD`CphACSEewPSYe`D`jECVEnGPcZF`E`lIbBJ}gPkZ\`F@maC\E|GPwZ~`FpoiC_FDWQC[_`G`qmCcFLgQS\@gpA~mCeFRGQ[\V`I@uMChFZgQg\x`IpwQCkFbwQs]Y`JpyUCoFkHrwhNJaYKSn|`KPzmCqFpgRK^Q`L@|uCtFyGRW^r`Lp~yCwGAWRg_S`Mq@}bEJ~gRo_i`NQBUC}GOWR{`K`O@QqD@DMGSGTB`OpSyDDDUWSWTcgqA~}DFDZwS_Ty`QPWUDIDcGSkUZ`R@Y]DLDkgSwU|`SP[aDQDsyKco?`Sp\yDSDyWTSVs`T`^}DVEAgT_WU`UPaEDYEJGToWv`VPcIbIK?WTwXL`VpdaD_JLGUCk~`WasmDbJTgUOl``XQuqDfJ\wU_`Vgqr?IDhGWgUg`l`YqFaDkG_wUsaM`ZaHeDnGhGV?ap`[aJqDrGpyKooB`\ALIDtGvWVWbg`\qNMDwG~gVccH`]aPQDzHGGVscj`^aRYbLK@GV{d@`_ASqE@HTwWGda`_qUuECH]GWSeB``aW}EGHegWcedgrb?UEIHkGWkez`bA[YELHsWWwf[`bq]]EOH{gXCf}`cq_eESIDIK{oE`dQ`}EUIIgX[gt`eAcAEXIQwXghU`eqeEE[IZWXwhw`fqgM[WI]azM[~ISAwibOKAGY?iM`gQheEaIhGYKin`hAjiEdIpWYWjO`hqlqEhIxwYgjqgsR?eEjI~WYokG`jQpMEmJFgY{kh`kBEAEpKYwZGpu`lBGEEtKbILKoI`lbHaEvKgwZ_qm`mRJeEyKpGZkrN`nBLiE|KxW[?ro`oRNmbSKAw[GsG`orPMFCLFg[Ssh`pg[]FG`qW[mFKgtR?osm`rW[yFN`sG\EFQ`sw\QFU`tyLWoLLJw\aFX`ug\mF[`vW\yF^`wW]IbVKBbRAFb`xG]UFe`xw]aFh`yg]omA`zQwubWKBrREFmJeG]{mb`{AyyFpJmg^GnD`{q|AFsJuw^Sne`|q~EFwJ~ILcoOLKg^coF`}b@IFzKFW^ooh`~RBQF}KNw^{pIa?BDUGAa?yLgoPLKw_QGDa@g_]GGaAW_iGJaBW_y\?ISQwmbZKCrRUGNaCG`EGQaCw`QGTaDg`aGXgvB@OsuaEg`mG[aFW`yG^aGGaEGbaHILwoTLLwaUGeaHwaaGhaIgamGkaJwbAb^KDbRaGpaKgbMGsaLWbYGvaMGbiGzgwB@[sxaNGbuG}aNwcAH@aOgcMHDaPiMCoWLMgc]HGaQWciHJaRGcuHMaSGdEbaKERRmHQaSwdQHTaTgd]HWaUWdmH[gwr@gs{aVWdyH^aWGeEHaaWweQHeaXyMOoZLNWeaHhaYgemHkaZWeyHna[WfIbdKFBRyHra\GfUHua\wfaHxa]gfqH|fOadGmKgxb@wt?a^gf}I?a_WgIIBa`GgUIFaaIM[o^LOWgeIIaawgqILabgg}IOacghMbhKGBSIISadWhYIVaeGheIYaewhyI^gybACtBagGiEIaagwiQIdahgi]IhaiiMkoaLPGimIkajWiyInakGjEIqalGjUbkKGrSUIualwjaIxamgjmI{anWj}J?gzQ|OtEaoWkIJBapGkUJEapwkaJIaqyMwnTLPwkqJLargk}JOasWlIJRatWlYbnJtbSaJVauGleJYauwlqJ\avgmAJ`g{A|[tHawgmMJcaxWmYJfayGmeJjazHsKhRJbiNCnWLQwmuJmazwnAJpa{gnMJsa|gn]bqJuRSqJwa}WniJza~GnuJ}a~woEKAg|A|gtLb?woQKDb@go]KGbAWoiKLbBiNSn[LRgo}KObCW?OKQ_@OpM?EBDG?[KT_A?pY?HBEG?gKXg|a|stN_Aopi?KBEw?sK[_Bopu?OBFg@CK^_C_qA?RBGW@OKb_DOqQbvJvbTA?UBHW@[Ke_E?q]?YBIG@kKhbIgqmKkbJgq}bwJvrTEKobKWrIKrbLGrUKubLwreKyg}Q}?tQbMwrqK|bNgr}L?bOWsILCbPYNgpqLZwAcLE_I_s]?jBQGAoLH_JOsi?mBQwB?LK_KOsu?qBRwBKLOg}rFKto_L?tE?tBSgBWLR_LotQ?wBTWBcLU_Mot]?{BUGBsLY_N_tm\CITAw}b{K\BVE?~BVGC?L\_OOty@ABVwCKL__P?uE@EBWgC[Lb_Q?uU@HBXiNsocL[gCgLf_Qoua@KBYWCsLi_R_um@NBZGDCLl_S_uy@RB[GDOLpg~rAStr_TOvI@UB[wD[Ls_U?vU@XB\gDgLv_V?va@\B]WDwL{_Vovuc?KHbVQ@_B^gECL~_W_wA@bB_WEOMA_XOwM@fB`GE_MD_YOw]@iBaIOCofL\WEkMH_F?wi?\Baw@wMK_Fowu?_BbgACMN_G_xA?bBcgASMRh?bAgtw_H_xQ?fBdWA_MU_m_x]AzBeGJoMX_Z?xi@lBewEwM\_ZoxycBKIrVe@oBfwFKM__\?yE@tBggFWMb_\oyQ@wBhWFcMe_]_ya@zBiYOOokL]gFoMi_^_ym@~BjGG?Ml__OyyAABjwGKMo_`?zEADBkwGWMsh@RAstz_`ozUAHBlgGgMv_aozaAKBmWGsMy_b_zmANBnGH?M}_cOz}cEKJbVqAQBoGHON@_dO{IAUBowH[NC_e?{UAXBpgHgNF_eo{eA[BqhsShTJcIO[onL^WHsNJ_fo{qA_BrWICNM_g_{}AbBsGIONP_hO|IAeBtGI[NThABB?t}_i?|YAiBtwIkNW_j?|eAlBugIwNZ_jo|qAoBvWJCN^_k_}AcIKKRV}ArBwWJSNa_l_}MAvBxGJ_Nd_mO}YBQBxwLKNg_t?}mBUBzIOkoqL_GL[Nl_u?}yBXBzwLgNo_uo~EB[B{gLsNr_v_~QB^B|gMGNvhBBBKu@_wo~aBcB}WMSNy_x_~mBfB~GM_N|_yO~yBiB~wMkO@_zP?IcLKLRWMBmC?wM{OC_{@?UBpC@gNGOF_{p?aBsCAWNSOI_|`?qBwCBYOwouL`GNcOM_}`?}BzCCGNoOP_~P@IB}CCwN{OS`?@@UC@CDwOKOWhBrB[uD`@@@eCDCEgOWOZ`@p@qCGCFWOcO]`A`@}CJCGGOoOa`B`AMcOKMBWYA|CHGJwOd_o@AYB@CHwKGOg_opAeBCCIgKSOj_p`AuBFCJiPCoxL`wK_On_qPBABJCKWKoOq_rPBMBMCLGK{Ot_s@BYBPCMGSWOxfPad[mPhCbBguG`PpBiDGCMwScO{`Q`BuDJCNgSoO~`RPCADMCOWTCPB`S`CQcRKMrWeDRCPWTOPE`TPC]DUCQGT[PH`U@CiDXCQwTgPK`V@CyD\CRyPSo{LagTwPO`VpDECNCSgP?PR`CPDQCQCTWPKPU`D@D]CTCUwPWP[hDbBsuJ`DpDuCXCVgPgP^`EpEAC[CWWPsPa`F`EMC^CXGQ?Pe`GPE]cVKNbWqCaCYGQOPh`HPEi?C@H`Em?D@HpEq?E@I@Eu?F@IPEy?G@I`E}?H@IpFE?I@J@FIcWKOBWy?J@JPFM?K@JpFQ?L@K@FU?N@KPFY?O@K`F]?P@KpFa?Q@L@Fe?R@LPFi?S@L`Fq?T@LpFucXKORW}?U@M@Fy?V@M`F}?W@MpGA?Y@N@GE?Z@NPGIC}C_wR{QC`O@GUD@C`wSGQGhEbCGuO`OpGeDDCagDWDyCawD[DzCbGD_D|CbWDcD}CbgDgD~CbwDoE?CcGDsE@CcgDwEACcyPkpBLcWD{EBCdGE?ECCdWECEDCdgEGEECdwEKEGCeGEOEHCeWESEICegE[EJCewE_EKCfWEcELCfiPopCLcgEgEMCfwEkENCgG@oEOCgW@sEPCgg@wERCgw@{ESChGA?ETChWACEUChgAGEVCiGAKEWCiXs[hWJciPspDLcwASEXCigAWEYCiwA[EZCjGA_E[CjWAcE]CjgAgE^CjwAkE_CkGAoE`CkWAsEaCkwAwEbClIPwpELdGB?EcClWBCEdClgBGEeClwBKEfCmGBOEhCmWBSEiCmgBWEjCmwB[EkCnGB_ElCngBcEmCnyQCpFLdWBkEnCoGBoD_CoWBsD`CogBwDaCowB{DbCpGC?DcCpWCCDdCpgCGDfCpwCKDgCqgCODhCqyQGpGLdgCWDiCrGC[DjCrWC_DkCrgCcDlCrwCgDmCsGCkDnCsWCoDoCsgCsDqCswCwDrCtWC{DsCtiQKpHLdwDCDtCtwDGDuCuGDKDvCuWDODwCugDSDxCuwFKFzCvGFOF{CvWFSF|CvgFWF}CwGF[F~CwYQOpJLeWF_G?CwgFcEoCwwFgEpCxGFkEqCxWFoEsCxgFwEtCxwF{EuCyGG?EvCyWGCEwCywGGExCzIQSpKLegGKEyCzWGOEzCzgGSE{CzwGWE|C{GG[F?C{WGcF@C{gGgFAC{wGkFBC|GGoFCC|gGsFDC|yQWpLLewGwFEC}GG{FFC}WH?FGC}gHCFHC}wHGFJC~GHOFKC~WHSFLC~gHWFMC~wH[FND?WH_FOD?iQ[pMLfGHcFPD?wHgFQD@GHkFRD@WHoFSD@gHsFUD@wH{FVDAGI?FWDAWICFXDAgIGFYDBGIKFZDBYQ_pNLfWIOF[DBgISF\DBwIWF]DCGI[F^DCWI_F`DCgIgFaDCwIkFbDDGIoFcDDWIsFdDDwIwFeDEHs_hXJcyQcpOLfgI{FfDEWJ?FgDEgJCFhDEwJGFiDFGJKFkDFWJSFlDFgJWFmDFwJ[FnDGGJ_FoDGgJcFpDGyQgpPLfwJgFqDHGJkFrDHWJoFsDHgEoFtDHwEsFvDIGEwFwDIWE{FxDIgF?FyDIwL?GjDJWLCGkDJiQopQLgGLGGnDJwLKGoDKGLOGpDKWLWGqDKgL[GrDKwL_GsDLGLcGtDLWLgGuDLgLkGvDMWLoGwDMiQspRLgWLsGyDMwLwGzDNGL{G{DNWMGG|DNgMKG}DNwMOG~DOGMSH?DOWMWH@DOgM[HADPGM_HBDPYQwpSLggMcHDDPgMgHEDPwMkHFDQGMsHGDQWMwHHDQgM{HIDQwN?HJDRGNCHKDRWNGHLDRwNKHMDSIQ{pULhGNOHODSWNSHPDSgNWHQDSwN_GADTGNcGBDTWNgGCDTgNkGDDTwNoGEDUGNsGFDUgNwGGDUyR?pVLhWN{GHDVGO?GIDVWOCGJDVgOKGLDVwOOGMDWGOSGNDWWOWGODWgO[GPDWwO_GQDXWOcGRDXiRCpWLhgOgGSDXwOkGTDYGOoGUDYWOwGWDYgJsGXDYwJwGYDZGK?GZDZWKCG[DZgKGG\D[GKKG]D[YRGpXLhwKOG^D[gKSG_D[wKWG`D\GK[GbD\WK_GcD\gKcGdD\wKkGeD]GKoGfD]WKsGgD]wKwGhD^IRKpYLiGK{GiD^WPwHpD^gP{HqD^wQ?HrD_GQCHsD_WQGHtD_gQOHuD_wQSHvD`GQWHwD`gQ[HxD`xschYJdIROpZLiWQ_HyDaGQcH{DaWQgH|DagQkH}DawQoH~DbGQsI?DbWQ{I@DbgR?IADbwRCIBDcWRGICDciRSp[LigRKIDDcwROIFDdGRSIGDdWRWIHDdgR[IIDdwR_IJDeGRgIKDeWRkILDegRoIMDfGRsINDfYR[p\LiwRwIODfgR{IQDfwS?IRDgGSCISDgWSGITDggSKIUDgwSSIVDhGSWIWDhWS[IXDiGS_IYDiYR_p]LjGScIZDigSgI]DiwSkI^DjGSoI_DjWSsI`DjgSwIaDjwTCIbDkGTGHRDkWTKHSDkwTOHTDlIRcp^LjWTSHUDlWTWHVDlgT[HWDlwT_HXDmGTcHZDmWTgH[DmgToH\DmwTsH]DnGTwH^DngT{H_DnyRgp`LjwO{H`DoGP?HaDoWPCHbDogPGHcDowPKHeDpGPOHfDpWPSHgDpgPWHhDpwP[HiDqWPcHjDqiRkpaLkGPgHkDqwPkHlDrGPoHmDrWPsHnDrgWOJXDrwWSJYDsGWWJZDsWW_J[DsgWcJ\DtGWgJ]DtYRopbLkWWkJ_DtgWoJ`DtwWsJaDuGWwJbDuWW{JcDugX?JdDuwXCJeDvGXKJfDvWXOJgDvwXSJhDwIRspcLkgXWJjDwWX[JkDwgX_JlDwwXcJmDxGXgJnDxWXkJoDxgXoJpDxwXwJqDyGX{JrDygY?IcDyyRwpdLkwYCIdDzGYGIeDzWYKIfDzgYOIhDzwYSIiD{GYWIjD{WY[IkD{gYcIlD{wYgImD|WYkInD|hpchzJlHsghZJdYR{peLlGYoIoD|wYsIpD}GYwIqD}WY{IsD}gU?ItD}wUCIuD~GUGIvD~WUKIwD~gUOIxE?GUSIyE?YS?pfLlWU[IzE?gU_I{E?wUcI|E@GUgI~E@WUkJ?E@gUoJ@E@wUsJAEAGUwJBEAWU{JCEAwV?JDEBISGpgLlgVGJEEBWVKJFEBgVOJGEBwVSJIECGVWJJECWV[JKECgV_JLECwVcJMEDGVgJNEDwVkJOEEISKphLlwVsJPEEWVwJQEEgV{JREEwW?JTEFGWCJUEFWWGJVEFgWKJWEFwZkKxEGGZoKyEGgZsKzEGySOpiLmG[?K{EHG[CK|EHW[GK}EHg[KK~EHw[OL?EIG[SL@EIW[WLAEIg[[LCEIw[_LDEJW[cJsEJiSSpkLmg[kJuEJw[oJvEKG[sJwEKW[wJxEKg[{JyEKw\?JzELG\CJ{ELW\GJ|ELg\KJ}EMG\OJ~EMYSWplLYW\WK@EMg\[KAEMw\_KBENG\cKCENW\gKDENg\kKEENw\oKFEOG\sKGEOW\wKHEOw\{KIEPIS[pmLYg]CKLEPW]GKMEPg]KKNEPw]OKOEQG]SKPEQW]WKQEQg][KREQw]_KSERG]cKTERg]gKUERyS_pnLZG]oKWESG]sKXESW]wKYESg]{KZESw^?K[ETG^CK\ETW^GK]ETg^KK^ETw^OK_EUW^SK`EUiScpoLZW^[KbEUw^_KcEVG^cKdEVW^gKeEVg^kKfEVw^oKgEWG^sKhEWW^wKiEWg^{KjEXG_?KkEXXskh[JdiSgppLZgZ?KmEXgZCKnEXwZGKoEYGZOKpEYWZSKqEYgZWKrEYwZ[KsEZGZ_KtEZWZcKuEZwZgKvE[ISkqILrWa[LHE[Wa_LIE[gacLJE[wagLKE\GakLLE\WaoLNE\ga{LOE\wb?LPE]GbCLQE]gbGLRE]ySsqJLrgbKLSE^GbOLTE^WbSLUE^gbWLVE^wb[LWE_Gb_LYE_WbgLZE_gbkL[E_wboL\E`gbsL]E`ySwqLLsGbwL^EaGb{L_EaWc?L`EagcCLaEawcGLbEbGcKLdEbWcSLeEbgcWLfEbwc[LgEcWc_LhEciS{qMLsWccLiEcwcgLjEdGckLkEdWcoLlEdgcsLmEdwcwLoEeGd?LpEeWdCLqEegdGLrEfG_GLsEfYT?qNLsg_KLtEfg_OLuEfw_SLvEgG_WLwEgW_[LxEgg__L{Egw_cL|EhG_gL}EhW_kL~Ehw_sM?EiITCqOLsw_wM@EiW_{MAEig`?MBEiw`CMCEjG`GMDEjW`KMFEjg`OMGEjw`SMHEkG`WMIEkg`_MJEkyTGqPLtG`cMKElG`gMLElW`kMMElg`oMNElw`sMOEmG`wMQEmW`{MREmga?MSEmwaCMTEnWaKMUEniTKqQLtWaOLEEnwaSLFEoGaWLGEoWfGNQEogfKNSEowfONTEpGfSNUEpWfWNVEpgf[NWEqGf_NXEqYTOqRLtgfcNYEqgfgNZEqwfoN[ErGfsN\ErWfwN^Ergf{N_Erwg?N`EsGgCNaEsWgGNbEswgKNcEtHssh\JdyTSqSLtwgONdEtWgSNeEtgg[MVEtwg_MWEuGgcMXEuWggMYEuggkMZEuwgoM\EvGgsM]EvggwM^EvyTWqTLuGg{M_EwGh?M`EwWhGMaEwghKMbEwwhOMcExGhSMdExWhWMeExgh[MgExwh_MhEyWhcMiEyiT_qULuWhgMjEywhkMkEzGhwMlEzWh{MmEzgi?MnEzwiCMoE{GiGMpE{WiKMrE{gdKMsE|WdOMtE|iTcqXLuwdSMuE|wdWMvE}Gd[MwE}Wd_MxE}gdcMyE}wdkMzE~GdoM{E~WdsM}E~gdwM~F?Gd{N?F?YTgqYLvGe?N@F?geCNAF?weGNBF@GeKNCF@WeONDF@geWNEF@we[NFFAGe_NHFAWecNIFAwegNJFBITkqZLvWekNKFBWeoNLFBgesNMFBwewNNFCGe{NOFCWfCNPFCg?@B[_?SLuPWOviI|B^hVBHov]l@cMBB`PV[MJBcodKHU?AOdwFDAW_wCHeDNOeiTsq\LvwZxAZaJSHqI[OfWolA]b]cH}NhOgHDdAacqCIMSvOhHYXAdhVbHwv_eDSIYYCOhxnLAgfWcIe^POiiC@AjgkCIuc^OjiWxAnh~SJAd^Kfr]EhkOkYllAqjQcJMmxOlJA`AtkdsJYsFOmJVXAxlxSJixSOmxswh]JeYU?q_LwjkLA{nKcJu}`Onk@@A~o^sKBB@OzkKLD]opC[vBDQNKKXIjhWRICvbop{KbBHoqkKnBKorkK~BOosYUKqaLxKLJBRotKLVBUot{LfBYou{M]dcKhB]^Bgoy[MjBjozKMvBoo{[NJBrhXRISvgo|KNVBuo|{NbBxo}{NrB|o~iUWqeLy[N~C?p?[OJCBp@G?LCE_BcO]?XPAGAPCHhXrI[vi_JsOi?yPAwCTCK_SCOu@ZPBgEXCN_[cPE@|PCgG`CR_csPQdgKiB]mA]PDWIdCU_lCP]A~PEGKhCX_tSPiB`PFGMpC\_|sPyCAPFyUcqhLzGOtC_`ECQECbPGgQxCb`MSQQDCPHWT@Cf`UsQaDePIWVDCihYbIgvl`^CQmEFPJGXHCl`fSQyEgPJwZLCo`nsRIFIPKw\TCs`wCRU\NIVqxhIwhYrIkvm`ysMUFuOxg_DD_aBCUEGVPWgaHDbaJcUQGxPXWcPDeaRsU]dkKjB]}HYPYGeTDha[CUmHzPZGgXDlacSUyI\PZwi`DoaksVEI}P[iUwqlL{GkdDratCVQJ^P\gmhDva|SVaK?P]WopDybDsVmKaP^GqtD|hZrI{vqbMCVyLBP^wsxE@bUSWILcP_wu|ECb]sWUMEP`gxDEFbfCRYdoKkB^MMfPLwzHCwbnSReNGPMg|LCzbvcRuNiPNg~TC~c?CSAOJPOYVCqpL|H@XDAcGSSMOkPPHB\DDcOcSYPLPQHDhDHcXSSiPoPQxFlDKh[bJGvtc`cSuQPPRhHpDNchsTAQqPSXJtDRcqSTQRSPTXL|DUcycT]drKkr^YRtPUHO@DXdAsTiSUPUxQDD[dJC\@HzdMC\DH{dOs\HH|dRc\LH}dUS\PI?h\BJOvvdXC\TI@dZs\XIAd]c\\IBd`S\`ICdcCW`IDdesWdIEdhsWhIFdkcWpIGdnSWtIHdqCWxIJh\RJSvwdssW|IKdvcX@ILdySXDIMd|CXHINd~sXLIOeAcXPIPeDcXTIQeGSX\IReJCX`ISeLsXdIUfSAe?mZQmYVWquL}XcHEYQdxctEZQeHd`E[QeXeLE\QehexE]QexfdE^QfHgTE_QfXh@EaQfhhlEbQfxiXEcQgYV[qvL}hjDEdQghjpEeQgxk\EfQhHlHEgQhXltEhQhhm`EiQhxnPEjQiHn|ElQiXohEmQihpTEnQjYVcqwL}xq@EoQjhqlEpQjxrXEqQkHsDErQkXspEsQkht\EtQkxuLEuQlHuxEwQlXvdExQlhwPEyQmIVgqyL~Xw|EzQmXxhE{QmhyTE|Qmxz@E}QnHzlE~QnX{XF?Qnh|HF@Qnx|tFBQoH}`FCQoX~LFDQoyVkqzL~h~xFEQpI?dFFQpY@PFGQpi@|FHQpyAhFIQqIBTFJQqYCDFKQqiCpFNQqyD\GWQrIEHGXQriVoq{L~yEtGYQryF`G[QsIGLG\QsYGxG]QsiHdG^QsyIPG_QtIJDG`QtYJpGaQtiK\GbQtyLHGcQuYVsq|M?ILtGdQuiM`GfQuyNLGgQvINxGhQvYOdFYQviPPFZQvyQ@F[QwIQlF\QwYRXF]QwiSDF^QxIVwq}M?YSpF_QxYT\F`QxiUHFaQxyUtFbQyIV`FdQyYWLFeQyiW|FfQyyXhFgQzIYTFhQzYZ@FiQzyV{q~M?iZlFjQ{I[XFkQ{Y\DFlQ{i\pFmQ{y]\FoQ|I^HFpQ|Y^xFqQ|i_dFrQ|y`PFsQ}I`|FtQ}iW?r?M?yahFuQ}ybTFvQ~Ic@FwQ~YclFxQ~idXFzQ~yeDF{R?IetF|R?Yf`F}R?igLF~R?ygxG?R@XtChaJfCjie@KoR_QiXQ?SoYicQ?co]inQ?soaiyQ@CoejDQ@coijOQ@somj[QACoqjfQASoujqQAcoyj|QAspAeAKob_UkGQBCpEkRQBSpIk]QBcpMkhQBspQksQCSpUk~QCcpYlJQCsp]lUQDCpal`QDSpelkQDcpqeCKor_YlvQDspumAQJcpymLQJsp}mWQKCqAmbQKcqEmmQKsqImyQLCqMnDQLSqQnOQLcqUnZQLsq]eDKpR_aneQMCqanpQMSqen{QMcqioFQMsqmoQQNcqqo\QNsquohQOCqyosQOSq}o~QOcrApIQOsrIeEKpb_epTQPCrMp_QPSrQpjQPcrUpuQPsrYq@QQSr]qKQQcraqWQQsreqbQRCriqmQRSrmqxQRcrueFK\R_irCQRsryrNQSCr}rYQSSsArdQScsEroQTCsIrzQTSsMsGQTcsQsRQTssUs]QUCsYshQUSsaeGK\r_mssQUcses~QUssitIQVCsmtTQVSsqt_QVssutjQWCsytvQWSs}uAQWctAuLQWstEuWQXCtMeHK]BZmubQXStQumQXctUuxQXstYvCQYCt]vNQYctavYQYsteveQZCtivpQZStmv{QZctqwFQZstyeIK]RZqwQQ[Ct}w\Q[SuAwgQ[cuEwrQ[suIw}Q\SuMxHQ\cuQxTQ\suUx_Q]CuYxjQ]Su]xuQ]cueeJK]bZuy@QIcuiyKQIsumyVQJCuqyaQJSuu\cMjSuy[RMmCu}[SMpCvA[UMrsvE[VMucvI[WMxSvQ\QIWqxtIzhbBFku}fERn@LtfEbnlLufEroXLvfFBpDLwfFRppLxfFbq\LyfFrrLLzfGRrxL{fGbsdL|fGrtPL~hbRFou~fHBt|M?fHRuhM@fHbvTMAfHrw@MBfIBwlMCfIRxXMDfIbyHMEfJBytMFfJRz`MGfJb{LMJhcBFsv?fJr{xMKfKB|dMLfKR}PMMfKb}|MNfKr~hMOfLC?TMPfLS@DMQfLs@pMRfMCA\MSfMSBHMUhcRFwv@fMcBtMVfMsC`MWfNCDLMXfNSDxMYfNcEdMZfNsFPM[fOCG@M\fOcGlM]fOsHXM^fPCIDM`hcbF{vAfPSIpMafPcJ\MbfPsKHMcfQCKtMdfQSL`MefQcMLMffQsM|MgfRSNhMhfRcOTMifRsP@MkhcrG?vBfSCPlMlfSSQXMmfScRDMnfSsRpMofTCS\MpfTSTHMqfTcT|MrfUCUhMsfUSVTMtfUcW@MvhdBGGvDfUsWlMwfVCXXMxfVSYDMyfVcYpMzfVsZ\M{fWC[HM|fWS[xM}fgS\dM~fgc]PN?fgs]|NAhdRGKvEfhC^hNBfhc_TNCfhs`@NDfiC`lNEfiSaXNFficbDNGfisbtNHfjCc`NIfjSdLNJfjcdxNLhdbGOvFfjsedNMfkSfPNNfkcf|NOfksghNPflChTNQfXSi@NRfXcipNSfXsj\NTfYCkHNUfYSktNWhdrGSvGfYcl`NXfYsmLNYfZCmxNZfZSndN[fZsoPN\f[Co|N]f[SplN^f[cqXN_f[srDN`f\CrpNbfSqeOm]QnIX_qELqXvTLFRxHvXLQRxXv\L\Rxhv`LgRxxvhLrRyHvlL}RyXvpMIRyhvtMTRyxvxM_RzHv|MjRziXcqFLqhw@MuRzxwDN@R{HwHNKR{XwLNVR{hwTNaR{xwXNlR|Hw\NtR}Xw`NuS@HwdNvSBxwhNySEiXkqGLqxwlNzSHXwpN{SKHwtN|SMxwxN}SPhx@N~SSXxDO?SVHxHO@SYHxLOAS[xxPOBS^hxTODSaYXoqHLrHxXOESdHx\OFSfxx`OGSihxdOHSlXxlOISoHxpOJSqxxtOKStxxxOLSwhx|OMSzXy@OOS}IXsr}MEx}LOPT?x}POQfxT@M^eSDH}\OTfyT@Y^iSDx}lOWfzD@e^lSEyXwr~MFDOU^mSFH}|O\f{D@y^pSFx~HO_f|DAE^tSGh~XObf|tAQ^wSHiX{s?MFdOY^xSHx~hOgf}tAe^{SIh~tOjf~tAq_?SJY?DOmg?dA}_BSKYY?s@MFtO]_CSKi?TOrflTBQ]uSLXz\OufmDB]]xSMHzhOxfnDBi]|SNIYCsAMGDOa]}SNXz|O}foDB}^@SOH{HP@fotCI^CSOx{TPCfptCU^GSPyYGsBMGTOe^HSQH{hPHfqtCi^KSQx{tPKfrdCu^NSRh|@PNfstDA^SSShtOhdJfsjuebL@BaHSIftTDM^USTH|\PTfuDDY^XSTx|hPWfutDe^[SUh|xPZfvtDuecL@RaLSJfwDDy^`SVx}HP_gBtEE_OSWi@DPbgCdEQ_RSXY@TPegDdEeeeLARaPSKgDtEi_WSYy@dPkgEdEu_ZSZi@pPngFTFA_]S[YA@PqgGTFQefLAbaTSLgGdFU_bS\iAPPvgHTFa_eS]YA\PygIDFm_hS^IAlP|gJDF}egLAraXSNgJTGA_mS_YA|QAgKDGM_pS`IBHQDgKtGY_sS`yBXQGgLtGiehLBBa\SOgMDGm_xSbIBhQLgMtGy_{SbyBtQOgNdHE_~SciCHQRgOtHUeiLBRadSPgPDHY`DSdyCXQWgPtHe`GSeiCdQZgQdHq`JSfYCtQ]gRdIAejLBbahSQgRtIE`OSgiDDQbgSdIQ`RShYDPQegTTI]`USiI?XQhg@tImekLBralSRgADIq_ISjY?lQmgBDI}_LSkI?xQpghdJIafSkyD`QsgUTJYelLCBapSSgUdJ]`ZSmIDpQxgVTJi`]SmyD|Q{gWDJu``SniELQ~gXDKE[YI^AzTIAfTQeWm_QniYwsPMJTPU`dSoiEXRBgXtKQ`gSpYEdREgYdK]`jSqIEpRHgZdKi`nSrIY{sQMJdPY`oSrYFDRMg[dK}`rSsIFPRPg\TLI`uSsyF\RSg]TLU`ySuIZCsSMJtP]`zSuYFpRYg^TLm`}SvIF|R\g_DLya@SvyGHR_g`DMEaDSwyZGsTMKDPaaESxIG\RdgaDMYaHSxyGhRggatMeaKSyiGtRjgbtMqaOSziZKsUMKTPiaPSzyHHRogctNEaSS{iHTRrgddNQaVS|YH`RugedN]aZS}YZOsVMKdPma[S}iHtRzgfdNqa^S~YI@R}ggTN}aaT?IILS@ghTOIbRT@IZSsWMLDPqbST@YLTSEgtdO]bVTAIL`SHguTOibYTAyLlSKgvDOub]TByZWrFMLTPub^TCIM@SPgwTPIbaTCyMLSSgxDPUbdTDiMXSVgxtPabhTEiZ[rGMLdPybiTEyMlS[gzDPublTFiMxS^gztQAboTGYNDSag{dQMbsTHYZ_rHMLtP}btTHiNXSfg|tQabwTIYNdSigiDQmahTJIIhSlgitQyakTKHtWhfJgSj}exKqbb`S_gjTREamTKiJHSrgktRQasTLYJTSugldR]avTMIJ`SxgmTRmeyKqrbdS`gmdRqazTNYJtS}gndR}a~TOIK@T@goTSIbATOyKLTCgpDS]e{KrBbhSagpTSabETQYK`TIgqTSmbITRIKlTLgrDSybLTRyKxTOgrtTIe|KrRblSbgsDTMbPTTIOPTTh@TTYcETTyO\TWhADTecITUiOlTZhBDTue}KrbbpSdhBTTycMTVyO|T_hCDUEcPTWiPHTbhCtUQcTTXYPXTehDtUae~KsBbtSehEDUecXTYiPhTjhEtUqc[TZYPtTmhFdU}c`T[IQHTphGtVMf?KsRb|SfhHDVQcdT\YQXTuhHtV]cgT]IQdTxhIdVickT]yQtT{hJdVyf@Ksbc@SghJtV}coT_IRDU@hKdWIcrT_yRPUChLTWUcvT`iR`UFhMTWefAKsrcDShhMdWiczTayRpUKhNTWuc}TbiR|UNhODXAdATcYSLUQhPDXQfBKtBcHSihPTXUdETdiS\UVhQDXadHTeYShUYg}dXmbzTfINpU\g~TX}\WIYAyHJ?hpBLSxBTIyN|U_h?DYEc@TgiOHUbh?tYQd\ThYTxUehVtY]d_TiIUDUihpRLWxCTJIULUjhXDYqddTjYUXUmhXtY}dgTkIUdUphYdZIdjTkyUpUvhprL[xDTJYUxUwhZtZedoTmiVDUzh[dZqdrTnYVPU}h\TZ}duToIV\VAhqBL_xETJiVdVBh]d[QdzTpYVpVEh^T[]d}TqIV|VHh_D[ie@TqyWHVLhqRLcxFTKIWPVMh`T[}eETsIW\VPhaD\IeHTsyWhVShat\UeKTtiWtVWhqbLkxGTKYX@VXhcT\ieQTuyXLV[hdD\ueTTvg?OeUTvw?SeVTwG?WeWTwW?[eXTwy[kr[MQdRI?GHet]Q?HHfD]U?IHQt]Y?JHRT]]?KHRd]a?LHRt]e?NHSD]i?OHST]m?PHSd]q?QHSt]yfKKvRclSr_CqTPVn_DATTVo_DQTXVp_DaT`Vq_DqTdVr_EAThVs_EaTlVt_EqTpVu_FA]dVv_FQ]hVxhrRLwxKTLG@wfjT}g@{fkT}wA?e\T~GACe]T~WAGe^T~gAKe_T~wASe`U?GAWeaU?WA[ebU?gA_ecU@I[wr^MRTRU?hHhd_U?iHht_Y?jHiD_]?kHiT_a?lHid_e?mHit_i?oHjD_m?pHjT_q?qHjd_u?rHjt_}\XIYQyPJ@hrrM?xMTLgBOepUCGBSeqUCWBWerUCgB[esUCwB_etUDGBceuUDWBkevUDgBoewUDwBsexUEGBweyUEi\?r`MRtR]?~HnD`m@?HnT`q@@Hnd`u@AHnt`y@BHoD`}@CHoTaA@EHodaE@FHotaI@GHpDaM@HHpTaYfQKwbd@Sw_Qa[\Wf_Qq[`Wg_RA[dWh_RQ[hWi_Ra[lWj_Rq[pWk_SQ[tWl_Sa[xWm_Sq[|Wn_TA\@WphsrMKxPTMWDSfQUKgDWfRUKwD[fSULGD_fTULWDcfUULgDgfVULwDofWUMGDsfXUMWDwfYUMgD{fZUNI\OrcMSdRm@_HvTbu@`Hvdby@aHvtb}@bHwDcA@cHwTcE@dHwdcI@fHwtcM@gHxDcQ@hHxTcU@iHxdc]fTKxbdLS{_Yq]`XG_ZA]xXH_ZQ]|XI_Za^@XJ_Zq^DXK_[A^LXL_[q^PXM_\A^TXN_\Q^XXO_\a^\XQhtbM[xUTNWF[fwUSwF_fxUTGFcfyUTWFgfzUTgFkf{UTwFof~UUGFwg?UUWF{g@UUgG?gAUUwGCgBUVY\[rgMTtRyAAI@DdyABI@Td}ACI@deAADI@teEAEIADeIAFIAdeMAHIAteQAIIBDeUAJIBTeYAKIBdeafWKyRd`S~_bQ_|Xh_ba`@Xi_bq`DXj_cA`HXk_cQ`LXl_ca`TXm_dA`XXn_dQ`\Xo_da``Xp_dq`dXrhuRMgxXTOGH_gYU\GHcgZU\WHgg[U\gHkg\U\wHog]U]GHsg_U]WH{g`U]gI?gaU]wICgbU^GIGgcU^htghiJhSkMfYKyrdhT@_gqaTX~_hAaXY?_hQa\Y@_haa`YA_hqadYB_iAalYC_iaapYD_iqatYE_jAaxYF_jQa|YHhurMoxZTOgIwgoUagI{gpUawJ?gqUbGJCgrUbWJGgsUbgJKguUbwJSgvUcGJWgwUcWJ[gxUcgJ_gyUdY\srlMVDSMAxIMthYAyINDh]AzINThaA{HzTheA|ISdhiA}ISthmB?ITDhqB@ITThuBAITthyBBIUDiAf]Kzb_pTC_pAddY`_pQdhYa_padlYb_pqdpYc_qAdtYd_qQdxYe_qqd|Yf_rAe@Yg_rQeHYh_raeLYjhvrM{wLTPwK{hcUjGL?hdUjWLCheUjgLGhfUjwLKhgUkGLOhhUkWLWhiUkgL[hjUkwL_hmUlGLchnUli]?rpMBdSaBYI[Dj]BZI[TjaB[I[djeB\I[tjiB]I\DjmB^I\TjqBaI\djuBbI\tjyBcI]Tj}BdI]dkEf`K{b_|TH_xaflZA_xqfpZB_yAftZC_yQfxZD_yaf|ZE_yqg@ZF_zQgDZG_zagHZH_zqgPZI_{AgTZKhwbNKwOTQgNCiEUrWNGiFUrgNKiGUrwNOiHUsGNSiIUsWNWiJUsgN_iKUswNciLUtGNgiNUtWNkg}Uty]KrsMCTSmB{INtlaB|IOTleB}IOdliB~IOtlmC?IPDlqC@IPTluCBIPdlyCCIPtl}CDIQDmACEIQTmIfcK|R`LTK`@qchZb`AAcpZc`AQctZd`AacxZe`Aqc|Zf`BAd@Zg`BadDZh`BqjLZi`CAjPZj`CQjTZlfUqekmeQpI]SruMDDSuCQIldmyCRIltm}CSImDnACTImTnECUImtnICVInDnMCXInTnQCYIndnUCZIntnYC[IoDnafeK|r`TTM`FQkDZx`FakHZy`FqkLZz`GAkPZ{`GQkXZ|`Gak\Z}`HAk`Z~`HQkd[?`Hakh[@`Hqkl[ChyBN_wUTRwQ_jKV@WQcjLV@gQgjMV@wQkjNVAGQojPVAWQsjQVAgQ{jRVAwR?jSVBGRCjTVBWRGjUVBy]crxMDtTACrIttpACsIuDpECtIuTpICuIudpMCvIvTpQCwIvdpUCyIvtpYCzIwDp]C{IcDpaC|IcTpifiK}b``TQ`NahH[Z`NqhL[[`OAhP[\`OQhT[]`OahX[^`Oqh\[_`PQh`[``Pahh[a`Pqhl[b`QAhp[dhyrNowXTSwSci\VHgSgi]VHwSki^VIGSoi_VIWSsi`VIgSwiaVIwTCibVJGTGidVJWTKieVJgTOifVKI]or|MEdTQDTIiDrEDUIiTrIDVIidrMDWIitrQDXIjDrUDYIjTrYD[Ijdr]D\IkDraD]IkTreD^IkdrmflLKrgHTT`WAq`[{`WQqh[|`Waql[}`Wqqp[~`XAqt\?`XQqx\@`Xqq|\A`YAr@\B`YQmD\C`YamH\EhzbRSyBTTgUkjbVPwUojcVQGUsjdVQWUwjeVQgU{jgVQwV?jhVRGVGjiVRWVKjjVRgVOjkVRwVSjlVSY]{suM`DT]DuIzdtIDvIzttMDwI{DtQDxI{TtUDyI{ttYDzI|Dt]D|I|TtaD}I|dteD~I|ttiE?I}Dtq\[IZay\JDh{BR[yDTUGWCjxVVWWGjyVVgWKjzVVwWOj{VWGWSj}VWWWWj~VWgW_k?VWwWck@VXGWgkAVXWWkkBVXy^CswM`dTeEKJ@DuaELJ@TueEMJ@duiENJ@tumEOJATuqEPJAduuERJAtuyESJBDu}ETJBTvAEUJBdvMfrLMRg\TY`dqo|\s`eAp@\t`eQpD\u`eapH\v`eqpP\w`fApT\x`fapX\y`fqp\\z`gAp`\{`gQpd\}h|BRgyGTUwYGkYV^wYKkZV_GYOk[V_WYSk\V_gYWk^V_wY[k_V`GYck`V`WYgkaV`gYkkbV`wYokcVaY^SszMaTTuElJHTwiEmJHdwmEnJHtwqEoJKtwuEpJLTwyEqJLdw}EsJLtxAEtJMDxEEuJMTxIEvJMdxQfuLNBghT]`mArl]T`mQrp]U`mart]V`mqrx]W`nAs@]X`nQsD]Y`oAsH]Z`oQsL][`oasP]\`oqsT]^h|rRsyJTVw[OlEVgG[SlFVgW[WlGVgg[[lHVgw[_lKVhG[clLVhW[klMVhg[olNVhw[slOViG[wlPVii^_s}MbTUAFNJSdymFOJStyqFPJTDyuFQJTTyyFRJTty}FSJUDzAFUJUTzEFVJUdzIFWJUtzMFXJVDzUfxLOBgxT``uatt]u`uqtx]v`vAt|]w`vQu@]x`vauH]y`vquL]z`wQuP]{`wauT]|`wquX]}`xAu\^?h}bSCyNTWg]SlgVoW]WlhVog][liVow]_ljVpG]cllVpW]glmVpg]olnVpw]sloVqG]wlpVqW]{lqVqxtshnJiCkYfzLObh@Tb`{AvL^K`{QvP^L`{avT^M`{qvX^N`|Av`^O`|Qvd^P`|qvh^Q`}Avl^R`}Qvp^S`}avt^Uh~BSKyPTXG^kl}Vtw^ol~VuG^sm?VuW^wm@Vug^{kpVuw_?kqVvG_GmiVvW_KmjVvg_OmkVvw_SmlVwi^{tCMcdUUGEJjt}MGFJkD}QGGJkT}UGHJkd}YGIJkt}]GJJlD}aGLJlT}eGMJld}iGNJlt}mGOJmD}ug?LPRhLTeaCQzl^maCazp^naCqzt^oaDAzx^paDQz|^qaDa{@^raEA{D^saEQ{H^taEa{L^uaEq{P^wi?RSWySTYG`onEV}W`snFV}g`wnGV}w`{nHV~Ga?nIV~WaCnJV~gaKnKV~waOnLW?GaSnMW?WaWnNW?y_GtFMdTUeGfJsU?QGgJse?UGhJsu?YGiJ_u?]GjJ`E?aGkJ`U?eGnJ`e?iGoJ`u?mGpJaE?qGqJaU?ygBLQBhXTiaKqwh_NaLAwl_OaLQwp_PaLawx_QaLqw|_RaMAx@_SaMaxD_TaMqxH_UaNAxL_VaNQxP_Xi@BScyWTYwbwmTWEgb{mUWEwc?mVWFGcCmXWFWcGmYWFgcKmZWFwcSm[WGGcWm\WGWc[m]WGgc_m^WHI_StJMeTUqHHJgEAUHIJgUAYHJJgeA]HKJhEAaHLJhUAeHMJheAiHOJhuAmHPJiEAqHQJiUAuHRKEeA}gELRBhhTlaTB@l_oaTR@p_paTb@x_qaTr@|_raUBA@_saURAD_taUrAH_uaVBAL_vaVQ|P_waVa|T_yfVaf?mhQpy_[tLMetUyH^JteBmH_JtuBqH`JuEBuHaJuUByHbJueB}HcJvECAHeJvUCEHfJveCIHgJvuCMHhJwECUgGLRbhpTnaYa}D`EaYq}H`FaZA}L`GaZQ}P`HaZa}T`IaZq}\`Ja[Q}``Ka[a}d`La[q}h`Ma\A}l`PiAbS{y\T[GfSnkWSgfWnlWSwf[nmWTGf_nnWTWfcnoWTgfgnqWTwfonrWUGfsnsWUWfwntWUgf{nuWVI_ktOMfdVEI?J|uDuI@J}EDyIAJ}UD}IBJ}eEAICJ}uEEIDJ~UEIIFJ~eEMIGJ~uEQIHK?EEUIIK?UE]gKLSRh|Traar?H`gabB?L`habR?P`iabb?T`jabr?X`kacB?``lacb?d`macr?h`nadB?l`oadR?p`qiBRTGy_T\GhWoLW[wh[oMW\Gh_oNW\WhcoOW\ghgoPW\whkoRW]GhwoSW]Wh{oTW]gi?oUW]wiCoVW^Y_wtRMgTVUIaKEEFyIbKEUF}IcKXEGAIdKXUGEIeKXeGIIfKXuGMIhKYEGQIiKYUGUIjKYeGYIkKZEGagNLTBiLTuajREtaHajbExaIajrE|aJakBF@aKakRFDaLakbFHaMalBFLaNalRFPaOalbAPaPalrATaRiCBTWycT\wj_oeWdGjcofWdWjgoiWdgjkojWdwjookWeGjsolWeWj{omWegk?onWewkCooWfGkGopWfi`CtVMhTVaJBKKeH}JCKKuIAJDKLUIEJEKLeIIJFKLuIMJGKMEIQJIKMUIUJJKMeIYJKKMuI]JLKNEIe\^I[QyhJGiCbT_yeT]Wkwo|Wigk{o}Wiwl?p?WjGlCp@WjWlGpAWjglKpBWjwlSpCWkGlWpDWkWl[pEWkgl_pFWlI`KtXMhtViJXKQEJUJYKQUJYJZKQuJ]J[KREJaJ\KRUJeJ]KReJiJ_KRuJmJ`KSEJqJaKSUJuJbKSeKAgTLUbi`TzaxBDLb@axRDPbAaxbDXbBaxrD\bCayBD`bDayRDdbEayrDhbFazBDlbGazRDpbHazbDtbJiDbTkyhT^Gm{p]WrGn?p^WrWnCp`WrgnGpaWrwnKpbWsGnOpyWsWnWpzWsgn[p{Wswn_p|WtGncp}Wti`[t[MidVyJyK^uL]JzK_ELaJ{K_eLeJ|K_uLiJ}K`ELmJ~K`ULqK@K`eLuKAK`uLyKBKaEL}KCKaUMEgWLVRilT~b@RGhbab@bGlbbb@rGtbcbABGxbdbARG|bebAbH@bfbBRHDbgbBbHHbhbBrHLbibCBHPbkiERTwykT_GpCqTWzWpGqUWzgpKqXWzwpOqYW{GpSqZW{WpWq[W{gp_q\W{wpcq]W|Gpgq^W|Wpkq_W|y`gt^MVTWEK[KgUNaK\KgeNeK]KhENiK^KhUNmK_KheNqK`KhuNuKbKiENyKcKiUN}KdKieOAKeKiuOIgZLWRdxUAbHrIpcBbIBItcCbIRI|cDbIbJ@cEbIrJDcFbJBJHcGbJbJLcHbJrJPcIbKBJTcJbKRJXcLiFBUGx^T_wrGqvXBgrKqwXBwrOqyXCGrSqzXCWrWq{XCgr[q|XCwrcq}XDGrgq~XDWrkr?XDgror@XEHpkh|JlcgM\_I[aylJHiFRUKx`T`GrsrAXEWrwrBXEgr{rDXEws?rEXFGsCptXFWsGpvXFgsOpwXFwsSpxXGGsWsWXGWs[rFXGy`wtcMWdWULGKqEQQLHKqUQULIKqeQYLJKquQ]LKKrEQaLLKrUQeLNKreQiLOKsEQmLPKsUQqLQKseQ}g_LXReLUEbSrLLcobTBLPcpbTRLTcqbTbLXcrbTrL\csbUBL`ctbUbLdcubUrLlcvbVBLpcwbVRLtcyiGRUWxcT`wtwr]XMwt{r^XNGu?r_XNWuCr`XNguGraXNwuKrbXOGuSrcXOWuWreXOgu[rfXOwu_rgXPYaGtfMXTWeLhKyUSYLiKyeS]LjKyuSaLkKzESeLlKzUSiLmKzeSmLoKzuSqLpK{USuLqK{eSyLrK{uTAgbLYBeXUIb\BNPdPb\RNTdQb\bNXdRb\rN\dSb]BN`dTb]RNddUb^BNhdVb^RNpdWb^bNtdXb^rNxdZiHBPcxfTaww?r~XVGwCs?XVWwGs@XVgwKsAXVwwOsBXWGwSsCXWWw[sDXWgw_sHXWwwcsIXXGwgsJXXiaSsYMYDWqMJLBEU]MKLBUUaMLLBeUeMMLBuUiMNLCEUmMOLCUUqMQLCeUuMRLDEUyMSLDUU}MTLDeVEgeLEredULbdbP\dqbdrTXdrbeBT\dsbeRT`dtbebTdduberThdvbfRTldwbfbTpdxbfrTtdybgBTxd{iHrPoxiTbgyCt^X^WyGt`X^gyKtaX^wyOtbX_GyStcX_WyWtdX_gy_teX_wyctfX`GygtgX`WyksXX`xuChrJjCkiggLFRepUNbjBPheGbjRPleHbjbPpeIbjrPteJbkBP|eKbkRQ@eLbkrQDeMblBQHeNblRQLeOblbQPeQiIRP{xlTcGz[sdXcwz_seXdGzcsfXdWzgsgXdgzksiXdwzosjXeGzwskXeWz{slXeg{?smXew{CsnXfiaks_MZdXENALKEX}NBLKUYANCLKeYENDLKuYINELLUYMNFLLeYQNHLLuYUNILMEYYNJLMUY]NKLMeYegkLGRe|UQbrRRleibrbRpejbrrRtekbsBRxelbsRS@embsbSDenbtBSHeobtRSLepbtbSPeqbtrSTesiJRQGxoTdG|_tEXlW|ctFXlg|gtGXlw|ktHXmG|otJXmW|stKXmg|{tLXmw}?tMXnG}CtNXnW}GtOXnyawsbM[TXUNbLSU[ANcLSe[ENdLSu[INeLTE[MNfLdu[QNgLeU[UNjLee[YNkLeu[]NlLfE[aNmLfU[ignLHBfHUUbzrXxfJb{BX|fKb{RY@fLb{bYDfMb{rYHfNb|BYPfOb|bYTfPb|rYXfQb}BY\fRb}RY`fTiKBQSxrTdw~guhXtg~kuiXtw~oujXuG~sukXuW~wulXug~{unXux?CuoXvH?GupXvX?KuqXvh?OurXwIbCseM\DXaODLlE]EOELlU]IOFLle]MOGLlu]QOHLmE]UOILme]YOKLYU]]OLLYe]aOMLZE]eONLZU]mgqLHrfTUXcCBUxfkcCRU|flcCbV@fmcCrVDfncDBVHfocDRVLfpcDrVPfqcEBVTfrcERV`fscEbVdfufXAfOmlQqybKsgM\tXiOZL]e^]O[L]u^aO\L^E^eO]L^U^iO^L^e^mO_L^u^qOaL_E^uObL_U^yOcL_u^}OdL`E_EgsLIbf`UZcHbWTgAcHrWXgBcIBW\gCcIRW`gDcIbWdgEcIrWhgFcJRWlgGcJbWpgHcJrWxgIcKBW|gMiLbQkxxTfHBCuOYBxBGuPYCHBKuQYCXBOuRYChBSuSYCxBWuTYDHB_uUYDXBcvBYDhBgvDYDxBkvEYEYb[skM]dXuO{Lpu`iO|LqE`mO}LqU`qO~Lqe`uP?Lqu`yP@LrE`}PBLrUaAPCLreaEPDLsEaIPELsUaQgwLJRflU^cPr\HgdcQB\LgecQR\PgfcQb\TggcQr\XghcRB\\gicRb\`gjcRr\dgkcSB\lglcSR\pgniMRQwx{TgHDGv\YKHDKv]YKXDOv^YKhDSv_YKxDWv`YLHD[vaYLXDkvbYLhDovcYLxDsvfYMHDwvgYMibgsnM^TYEP^LyUbmP_LyebqP`LyubuPaLzEbyPbLzUb}PcLzecAPeLzucEPfL{EcIPgL{ecMPhL{ucUgzLKBfxUacYb^PhEcYr^ThFcZB^XhGcZR^\hHcZb^`hIcZr^dhJc[R^hhKc[b^lhLc[r^thMc\B^xhOiNBRCx~TgxFSv~YSXFWw?YShF[w@YSxF_wAYTHFcwBYTXFgwCYThFowDYTxFswEYUHFwwGYUXF{wHYUybssqM_DYQQ?MAedqQ@MAuduQALmudyQBLnEd}QCLnUeAQDLneeEQFLnueIQGLoEeMQHLoUeQQILoeeY\dIdb@dJKiNbZOyxThXGkxZYXxGox[YYHGswKYYXGwwLYYhG{wMYYxH?wNYZHHGwOYZXHKwPYZhHOwRYZxHSwSY[Yb{utMmdYYQUMDUfIQVMDefMQWMDufQQXMEEfUQYMEUfYQZMEef]Q\MEufaQ]MFEfeQ^MFefiQ_MFufuh@LlbjlUfcgRa@h}cgbaDh~cgraHi?chBaLi@chRaPiAchbaTiBciBaXiCciRa\iDcibadiEcirahiGiObZ[y{TiHIowjYaXIswkYahIwwlYaxI{wmYbHJ?wnYbXJCwoYbhJKwpYbxJOwqYcHJSwsYcXJWwtYcycKuwMnTYiQvMLehQQwMLuhUQxMMEhYQyMMUh]QzMMehaQ{MMuheQ}MNEhiQ~MNUhmR?MNuhqR@MOEhyhCLmbjxUjcobcDi^corcHi_cpBcLi`cpRcPiacpbcTibcprcXiccqbc\idcqrc`iecrBchifcrRclihiPRUcy~TjHKwxKYihK{xLYixL?xMYjHLCxNYjXLGxOYjhLKxPYjxLSxQYkHLWxRYkXL[xUYkhL_xVYlIcWtiMoDYuRXMUEjURYMUUjYRZMUej]R[M`ejaR\M`ujeR]MaEjiR_MaUjmR`MaejqRaMaujuRbMbUj}hFLZBkDUmcxBgxj?cxRg|j@cxbh@jAcxrhDjBcyBhHjCcyRhLjDcyrhPjEczBhTjFczRhXjGczbh`jIiQBUszATjxM{yXYqxN?yYYrHNCyZYrXNGy[YrhNKy\YrxNOy]YsHNWy^YsXN[y_YshN_y`YsxNcybYtXuWiVKEckyhHLZbkTUoc}biPjUc}riTjVc~BiXjWc~Ri\jXc~bi`jYc~ridjZd?Rihj[d?bilj\d?ripj]d@Bdtj_iQbU{zETkXOSx]YwXOWx^YwhO[x`YwxO_xaYxHOcxbYxXOgxcYxhOoxdYxxOsxeYyHOwxfYyXO{xgYzIcotoMptZISOMYUmuSPMYemySQMZEm}SRMZUnASSMZenESTMZunISVM[EnMSWM[UnQSXM[enUSYM[un]hLL[Rk`UrdErfPjwdFBfTjxdFRf\jydFbf`jzdFrfdj{dGBfhj|dGbflj}dGrfpj~dHBftk?dHRfxkAiRbVGzHTlxQWx~Z?xQ[y?Z@HQ_yAZ@XQcyBZ@hQgyCZ@xQkyDZAHQsyvZAXQwyxZAhQ{yyZAxR?yzZBYc{trMqdZaSpMnEoySqMnUo}SrMnepASsMnupEStMoEpISuMoUpMSxMoepQSyMpUpUSzMpepYS{MpupahOL\BklUxdNRk`kXdNbkdkYdNrkhkZdOBklk[dORkpk\dObktk]dPBkxk^dPRl@k_dPblDk`dPrlHkbiSRVSzKTmhS_zRZHHSczSZHXSgzTZHhSkzUZHxSozVZIHSszWZIXS{zXZIhT?zZZIxTCz[ZJHTGz\ZJidGtwMrTZmTRMveq}TSMvurATTMwErETUMwUrITVMwerMTWMwurQTYMxErUTZMxerYT[Mxur]T\MyErehRL]RkxU{dVbmdkydVrmhkzdWBmlk{dWRmpk|dWbmtk}dWrmxk~dXRm|l?dXbnDl@dXrnHlAdYBnLlCfXqh_oZQrydOtyMsDZuThM|EsUTiM|UsYTjM|es]TkM|usaTlM}EseTmM}UsiToM}esmTpM~EsqTqM~UsuTrM~es}hTL]rlDU}d\BixlOd\Ri|lPd\bj@lQd\rjDlRd]BjHlSd]RjLlTd]rjPlUd^BjTlVd^RjXlWd^bp@lZiTrVozQTnxV{{QZVHW?{RZVXWC{SZVhWG{TZVxWK{UZWHWO{VZWXWW{WZWhW[{XZWxW_{YZXHWc{ZZXid_t|Mst[AUINFUu]UJNFeuaUKNFuueULNGEuiUMNGUumUNNGeuqUPNGuuuUQNHEuyURNHUu}USNHevEhXL^blPVAddRq`lqddbqdlrddrqhlsdeBqlltdeRqpludebqtlvdfBqxlwdfRq|lxdfbr@lydfrrDl{iUbV{zTToxY?{sZ^XYC{tZ^hYG{uZ^xYK{vZ_HYO{wZ_XYS{xZ_hY_{yZ_xYc{zZ`HYg{{Z`XYk{|Z`ydku?Mtd[QUkNNuwaUlNOEweUmNOUwiUnNOewmUoNOuwqUpNPEwuUrNPUwyUsNPew}UtNPuxAUuNQExIh[L_Rl\VDdlrshmRdmBslmSdmRspmTdmbstmUdmrsxmVdnBs|mWdnbn|mXdnro@mYdoBoDmZdoRoHm\iVRWKzWTph[G{BZfh[K{CZfx[O{DZgH[S{FZgX[W{GZgh[[{HZgx[c{IZhH[g{JZhX[k{KZhh[o{LZiIdwuCMuT[]VLNBeyeVMNBuyiVNNfEymVONfUyqVPNfeyuVQNfuyyVSNSEy}VTNSUzAVUNSezEVVNSuzM\gIeb@pJOiVrWSzZTqH\_|TZlH\c|UZlX\g|VZlh\k|WZlx\o|XZmH\s|YZmX\{|ZZmh]?|[Zmx]C|\ZnH]G|]Znie?uEMvD[eVbNWEz}VcNWU{AVdNWe{EVeNWu{IVfNXE{MVgNXU{QViNXe{UVjNXu{YVkNYE{]VlNYU{ihaL`rltVIdzbulnJdzrupnKd{ButnLd{RuxnMd{bu|nNd{rv@nOd|RvDnPd|bvHnQd|rvLnRd}BvPnTiWrW_z]Tqx^c|uZth^g|vZtx^k|wZuH^o|xZuX^s|yZuh^w|zZux_?|{ZvH_C||ZvX_G|}Zvh_K|~ZwIeOuHMvt[uWCN_U}EWDN_e}IWEN_u}MWFN`E}QWGN`U}UWHN`e}YWJN`u}]WKNaE}aWLNaU}eWMNae}mhdLabm@VMeBrwpnkeCBwtnleCRwxnmeCbw|nneCrx@noeDBxDnpeDrxHnqeEBxLnreERxPnseEbxTnuiXbWkz`Trx`k}VZ|x`o}WZ}H`s}XZ}X`w}YZ}h`{}ZZ}xa?}bQ]u~qWaNhCfpn|eGryTH|Z~haO}eQ^e~}WdNhsg@o@iXrWozaTsHaW}gQ_V?IWfNiSgHoBeIByhIB[@Hac}jQ`F?UWiNjCgToEeIryxIE[@xas}nQ`v?aWmNkCg`oHeJrzDIH[Ahb?}qQav?qhgLbbmLVPeKRzLIK[BXbG}sQbV?yWrNlSgxoNeLBzXIN[CHbS}vQcF@EWuNmShDoQeMBzhIQ[Cxbc}zQcv@QWyNnChPoTeMrztIU[DyecuNMxD\IW{Nnch\oWeNRz|IW[EXbw~?QeV@iW~NoShhoZeOB{HIZ[FHcC~CQfF@uXBNpShto]ePB{XI][FxcS~FQfvAAXENqCiDoafYQhko]QsYeguOMxd\MXFNqSiHobeQB{hIb[HHcc~JQhFAUXINrCiToeeQr{tIe[Hxco~NQhvAaXMNsCi`oheRr|DIh[Ihd?~QQifAmXPNssitoliYrXCzfTtHdG~SQjfAyXRNtSi|oneTB|XIo[KHdS~VQkVBEXUNuCjHoqeTr|hIr[Kxdc~ZQlFBQXYNvCjToteUr|tIu[Lhdo~]QmFBehmLcbm`VTeVR||Ix[Mhdw~_QmfBmX^NwSjlo{eWB}HI{[NXeC~bQnVByXaNxSjxo~eXB}XI~[OHeS~fQoFCEXeNyCkDpAeXr}dJB[PIe{uRMyT\YXgNyckPpDeYR}lJD[Pheg~kQpfC]XjNzSk\pGeZB}xJG[QXes~oQqVCiXnN{SkhpJe[By@JJ[RHfD?EQrFCuXqO@skxpNi[BXOziTuHfL?GQrvDAXsOASl@pPe\S?hJP[ShfX?JQsfDMXvOBClLpSe]C?tJS[TXfh?MQtVDYXzOBslXpVe^C@HJV[UHft?RQuVDihpLdRmlVXe^c@PJY[Uxf|?TQuvDqY?ODclpp\e_S@\J\[VhgH?WQvfD}YBOESl|p_e`c@hJ_[WXg\?ZQwVEIYGOFSmHpbeaS@xJc[XYfGuUMzD\iYIOFsmTpeeasA@Je[Xxgp?`QxvEaYLOGcm`phebcALJh[Yhg|?cQyfEmYPOHSmlpkeccAXJk[ZXhL?gQzVEyYSOISm|poi[rX[zlTuxhT?iQ{FFEYUOIsnDpqedsApJq[[xh`?lQ{vFQYXOJcnPpteecA|Jt[\hhp?oQ|fF]Y\OKSn\pwefcBLJw[]Xh|?sQ}fFmhsLeRmxV[egCBTJz[^HiD?uQ~FFuYaOLsntp}egsB`J}[^xiP?xQ~vGAYdOMco@q@ehsBlK@[_hi`?{R?fGMYhONcoLqCeicB|KD[`ifSuYMzt\uYjOOCoXqFejCCDKF[aHit@ARAFGeYmN{codqIejr~LKI[axj?~sRAvGqYqN|SopqLekr~XKL[bhjO~vRBfG}YtN}Cp@qPfYahoo^QsifWuZM{T\yYuN}SpDqQelr~lKQ[cxj_~{RCvHQYxN~SpPqTemb~xKT[dhjk~~RDfH]Y|O?Cp\qWenc?DKW[eXj|?AREVHiZ?O?sppq[i\rXozqTvxkD?CRFVHuZAOXcpxq]eosE\K^[fxkP@gRGFIAZDOYcqDq`epcElKa[ghk`@kRGvIMZHOZSqPqceqcExKd[hXkl@nRHvIahxLfRnLV_erCF@Kg[iXkt@pRIVIiZMO[cqhqjersFLKj[jHl@@tRJFIuZPO\cqtqmessF\Km[jxlP@wRJvJAZTO]Sr@qpetcFhKq[kyfgu]M|D]EZVO]srLqseuCFpKs[lXld@|RLVJYZYO^crXqveusGDKv[mHlpAARMFJeZ]O_srdqyevsGPKy[mxm@ADRMvJqZ`O`crtq}i]rX{ztTwxmHAFRNfJ}ZbOaCr|r?exCGdL?[oXmTAIROVKIZeObCsHrBexsGtLB[pHmdAMRPFKUZiObssTrEeysH@LE[pxmpAPRQFKeh{LgBnXVcezSHHLH[qhmxARRQfKmZnOOsslrKe{CCPLK[rXnD@DRRVKyZqOPcsxrNe|SC\LN[sHnX@HRSFLEZvOQctDrQe}CClLR[tIfsu`M|t]UZxORCtPrTe}cCtLT[thnl@MRTfL]Z{ORst\rWe~SD@LW[uXnx@PRUVLi[?OScthrZf?SDPLZ[vHoH@TRVFLu[BOTctxr^i^bYGzwTxhoP@VRVvMA[DOUCu@r`f@cDdL`[who\@YRWfMM[GOUsuLrcfASDpLc[xXol@\RXVMY[KOVsuXrffBSE@Lf[yHox@`RYVMih~LhBndVffBsEHLi[yxp@@bRYvMq[POXCuprlfCcETLl[zig?udM}d]a\jIfRA@JRi_RYWz{TyYgGufM~T]iiCLiBnxVji`RYcymTzIgWuiMjt]yiFLirj@VniaBYoypT{IgculMkd^EiILjrjLVqiarZ?ysT{xpoh}JlsgQ\kIfbADJSibBZCytT|IgsuqMld^UiNLkrj\VuicB]O{cT|yhCvfNHT^eiQLyBqXVyicr]c{gT}yhOviNIT^qiTLyrqhV|idb]o{jT~husi^KGclUiVLzRqpV~ieB]w{lU?IhgvnNJd_EiZL{Bq|WAifB^G{oU@IhsvrNKT_Ui]L|BrPWEifr^S{tU@yi?vuNLd_ai`L|rr\WHfZqi?obQtiiGvwNMD_iibL}RrdWJihR^g{yUBIiWvzNMt_uifL~RrpWNiiB^w{|UCIicv~NNt`EiiM?Bs@WQiir_C|@UCyiowANOd`Q\oIgQ|PJVijR_K|BUDYiwwCNPD`YioM@RsTWVikR_W|EUEIjGwGNPt`iirMARs`WZilB_g|IUFIjSwJNQt`uiuLmrspW]ilrZo|LUFxvCiaJtSleiwLnRsxW_imRZw|NUGYjku~M~taIi{LoBo@WbinR[C{@UHijwvAN?da]i~LoroLWgioB[S{CUIYkCvEN@TaijALpro\Wjf[aiKnUQuikKvGNADaqjCLqRodWlipb[g{IUJik[vJNAta}jGLrBopWpiqR[s{LUKikgvMNBdbMjJLsBo|WsirB\C{OULYksvQNCdbY\rIhQ|\JZirb\K{RULyk{vSNDDbajPLtRpTWxisb\W{UUMilKvVNDtbqjSLuBp`W|itR\c{XUNilWvZNEdb}jVLvBplX?iuB\s{\UOXvOieJuClqjXLvbpxXAiub\{{^UOylsv_NGDcQj]LwRqDXDivr]G{aUPym?vbNGtcaj`MIbu|XHiwbak|oUQimKwkN[TcmjcMJRvHXKf\Qi[nXQvYmSwmN[tcujeMJrvPXMiyBb?|uURymcwpN\tdAjiMKbv`XQiyrbO|xUSymowtN]ddQjlMLbvlXTizbb[|{UTim{wwN^Td]\uIiA|hJ]i{Bbc|}UUInCwyN^tdejrMMrwDXYi|Bbo}AUUynSw|N_tdujuMNrwPX]i|rc?}DUVyn_x@N`deAjxMObw\X`i}bcK}GUWhpsh~JmCgU\vIiQ|pJ^i}rcO}HUWynoxDNadeQj}MPbwpXdi~rc[}LUXio?xGNbdeak@MQbw|Xhj?bck}OUYioKxKNcTemkCMRRxHXkj@Rcw}RUZXv_iiJvSmAkEMRrxPXmj@rd?}TUZyocxPNdtfAkIMSbx`XpjArdK}XU[yooxUNedfQkLMTrxlXtjBbd_}[U\io{xXNfTf]kOMUbxxXwf]aikn]QwYpCxZNftfekQMVBt@XyjDB_o|PU]ypSwLNSdfqkUMBbtLX}jDr_{|TU^yp_wONTdgAkXMCRt\Y@jEb`K|WU_ipkwSNUTgM\zIjA||JajFB`S|YU`IpswUNUtgUk^MDrtpYEjGB`_|\U`yqCwXNVdgekaMEbu@YIjGr`k|`UayqOw[NWdgqkdMFbuLYLjHb`{|cUbhvoilJwCmQkfMGBuTYNjIBaC|eUcIqgwaNXthEkjMGru`YQjJBaO|hUdYqswdNYthYkmMHbupYVjJra[|lUeIr?whNZdhekpMcb}hYYf^Qiwn`QxYrGyRNythmkrMdB}pY[jLRhS~lUfYrWyUNzdhykvMeB~@Y_jMBhc~pUgYrcyYNgDiIkyMeryLYbjMrho}cUhIroy\NhTiU\}IkA}HJejNRhw}eUhirwy^Nhti]l?MgBy`YgjORiC}hUiYsGybNidimlBMhBylYkjPBiS}kUjYsSyeNjdiylEMhry|YnjPri_}oUkHv{ipJwsm]lGMiRzDYpjQRig}qUkisoyjNktjMlLMjBzPYsjRbds}tUlis{x]Nldj]lOMVrz\YwjSReC}xUmYtGxaNmdjilRMWrzlYzf_AjGncQyItOxcNnDjqlTMXRztY|jTreW}}Unit_xfNntj}lXMYB{@Z@jUbec~@UoitkxiNodkMl[MZB{PZCjVRes~DUpYtwxmNpdkY]@Ikq}TJhjVre{~FUpyu?xoNqDkalaM[R{dZHjWrfG~IUqiuOxrNqtkqldM\B{pZLjXbfS~LUriu[xvNrtk}lgM]B|@ZOjYRfc~PUs^") deg4D9nx = deg4D9.networkx_graph() # List of graphs to process graphs = [('deg4D9 ',deg4D9)] 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") 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 Q8pxX8p:", nx.degree_histogram(Q8pxX8pnx)) print("\n Symmetry properties of the graph") 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()}" ) # automorphism group structure print(" Automorphism group structure") print(' C_n is the cyclic group of order n; x means direct product; : means semidirect product.') Adeg4D9 = deg4D9.automorphism_group() print('deg4D9 :', Adeg4D9.structure_description(), ' | center order:',Adeg4D9.center().order()) ''' 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') Adeg12D4 = deg12D4.automorphism_group() print('deg12D4:', Adeg12D4.structure_description(), ' | center order:',Adeg12D4.center().order()) ''' # 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 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 4") for label, graph in nonisographs: print(f"{label} "," | ".join(str(count_k_cycles(graph, k)) for k in range(3, 5))) ''' #nx.write_edgelist(deg12D4nx, "deg12D4_edges.txt", data=False) ''' # 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") ## ##