# SageMathCell online https://sagecell.sagemath.org/?q=nqdnvu # ''' Main properties of the graph dhar7766 | Ord.: 7766 / Size: 15532 / Diam.: 9 / Avg.dist: 7.36304 / 5-reg.? False / Girth: 11 Degree histogram dahr7766 : [0, 0, 0, 0, 7766] Symmetry properties of the graph dhar7766 | Aut.group.ord.: 3883 / 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. dhar7766 : C353 : C11 | center order: 1 dhar7766 distance distrib from vtx. 0: [1, 4, 12, 36, 108, 324, 928, 2290, 3195, 868] Number of k-cycles for k=3 up to 5 dhar7766 0 | 0 | 0 ''' import networkx as nx dhar7766 = Graph(r":~@xUa[??eHz?DGgW?^acOAiI[?LWi[@?ak_CmI|?Tgk_@`asoEqJ]?\wmcAAa|?GuJ~?eGogAbbDOIy?IbG?Je?TbIoKQ?_bLO?aBN_Iws??R_ugBYLJ?FgMU@@bTO?U?h_{GCqL_?CGBQBz_Twuk?Z_NwOY@ab\_AY@I`CWEuM@?KWDUC[_]Gwo?{_WGQ]ABbdoC]@j`KgGyMa?SgFYC|_eWys@\__WSaAcbm?EaAK`SwI}NB?[wH]D]_mg{w@}_ggUeBDbuOGeAl`\GLANc?dGJaD~_uw}{A^_owWiBeb}_IiBM`dWNEOD?lWLeE__~H@?B?_xGYmCFcEoKmBn`lgPIOe?tgNiF@`FXBCB``@W[qCgcN?MqCO`twRMPF?|wPmFa`NhDGCA`Hg]uDHcVOOuCp`}GTQPg@EGRqGB`VxFKCb`Pw_yDic^_QyDQaEWVUQH@MWTuGc`_HHODC`YGa}EJcfoS}DraMgXYQi@UgVyHD`gXJSDd`aWdAEkco?VAESaUwZ]RJ@]wX}He`ohLWEE`igfEFLcwOXEEta^G\aRk@fG[AIF`wxN[Ef`qwhIFmd?_ZIFUafW^eSL@nW]EIga@HPG?IdE?[aFkakw_}S\?DXQKFR`|wjyGYdI?AASm@vg_IJHaHXRK?jdMO]eGLatGbAS}?LhSOFsaEGl}GzdQOCETN?@o^}GbaygcYTS?RHTg?QAAgayJtaSXT{@VdWo?MTd?FO`UGxb?GdqTi?WhUw?Md[?A_G_aPGomHfd\OEuTx?EXVk?rAIwc}KUa[hW?@wd`?AQUE?N_bYHYbGWfuUJ?_xW{?ndcOCcH@aXWqqIGdd_GyUY?MhXo@SARGfAKvacxYCAXdhOCUUf?Vod]HzbOghyUk?hHZ?@Odk_EgHaa`gsuIhdloI}Uz?UxZs@tAZWhELWalH[GAydp_EYVG?_?faI[bWwj}VL?pX\C@pdsoGkIBahwuyJIdu?LAV[?^H\wAUAbgjILxatX]KBZ_?H][AFdyOICIXanWwQJ_dz_MY?Jd{_HIVs?j?iQJGbbwmmVx?{W@YV|?fX^{AvAjwlMMYa|h_OB{_GX__AgeA_KGIyavgyUK@eBoO]?keCoJMWT?rOkUJhbkGoqWY@CgB]W]?nha?BWAsGnQMzbDxaSC\_OhacBHeIoMKJZa~w{YKaeK?Qa@LeL?LQWu?z_mYKIbsWquWz@KwDaW~?vxcCBxA{WpUN[bMHcWC}_WxcgBieR?OOJ{bGG}]LBeSOSe@meTONUXV@Boo]Kjb{gsyX[@TGFeX_@?HeGCYBCgrYN|bUXe[D^_`HekCJeZOQSK\bOX?aLce[_UiAN_?xfWCUe]?R?KgbRH@MLne^OVUAY_BhgCC`e_oRkKrbTx@yLyea?WAAd_EXgoCkeb_SWK}bWhAeMDecoWmAo_HHh[CveeOTCLHbZXBQMOef_XYAz_JxiGDAeh?ToLSb]HB}MZeiOYEBE_MhisDLejoU[L^b_xCiMeel?YqBP_PXj_DWem_VGLibbhDUMpenoZ]B[_SHkKDbepOVsLtbeXEAM{eq_[IBf_UxkwDmes?W_M?bhHEmNFetO[uBq_XhlcDxeuoXKMJbjxFYNQew?\aB|_[XmOECex_XwMUbmhGEN\eyo]MCG_^Hm{ENe{OYcM`bpXGqNge|_]yCR_`xngEYe~?ZOMkbsHH]Nrf?O^eC]_choS?D@hXo[E~Blw|mQab~hooGC`IWHu[O?C?ZA[Q@q_{INecjX?e[VABwRQAgfEo@kEzfFO\SNLb{XJaOSfG_`iC~_kxqW?e@phq_F_BuG~qRBcFxqsGd`QgJy[p?KO\E[r@yo}MOFcrhAi[wAKGTUBHfN?BoF[fN_^WNmcChLeOtfOobmD__tHs[@F@xxscG@B}X@uRccOHswHE`YwL}\Q?S_^I\SAB@?QOgczxCm\XASWVYBifVODsF|fVo`[ONcKxNiPUfX?dqE@_|Xu_@gAAHugGaCEhBySDcWXu{Hf_?_WqC?f[oFKGRf\OasOdcQXPAPkf]_fI?L@dwOm\}?^_`y]?AM@BAPSdExF]]DA^W@_Ea`DhwcAHAIXwkHBCMxD}Sec_hx?IG_GoYuC`fd?HOGsfd_cwPEcYhREQLfeohM?m@mGQq]^?fob}]`AUPDEPtdNHHa]eAfgBcFB`LxygAiAQhyoHcCVHGATFcgxzCIh_P?[yDAflOJSHTfloe{PfcaxTIQmfn?jQ@N@uW?CDLfo?K?H_fo_fgPqcdhTuQxfpoj}@Y@xG?oDWfqoKkHjfrOgSP|cgXUaRCfs_ki@d@zw@[Dbft_LWHufu?h?QGcjHVMRNfvOlU@o@}gAGDmfwOMCI@fwohkQRclxVyRYfy?mA@zA@WAsDxfz?MoIKfz_iWQ]cohWeRdf{ommAEACGB_ECf|oN[IVf}OjCQhcrXXQRof~_nYAPAEwCKENg?_OGIag@?joQscuHX}RzgAOoEA[AHgCwEYgBOOsIlgBok[Q~cwxYiSEgD?oqAfAKWDcEdgE?P_IwgE_lGRIczhZUSPgFop]AqANGEOEogGoQKJBgHOlsRTc}X[AS[gI_qIA|APwE{EzgJ_QwJM_@Gm_R_d@H[mSfgLOquBGASgFgFEgMORcJX_BwnKRjdBx\YSqgO?raBRAVWGSFPgP?SOJc_EgnwRudEh]ES|gQosMB]AYGH?F[gRoS{Jn_HWocS@dHX]qTGgT_syBhA[wHkFfgU_TgJy_KGpOSKdKH^]TRgWOteBsA^gIWFqgXOUSKD_Mwp{SVdMx_IT]gZ?uQB~AaWJCF|g[?V?KO_PgqgSadPh_uThg\ou}CIAdGJoGGg]oVkKZ_SWrSSldSX`aTsg__viCTAfwK[GRg`_WWKe_VGs?SwdVHaMT~gbOwUC_AigLGG]gcOXCKp_XwskTBdXxayUIge?xACjAlWLsGhgf?XoK{_[gtWTMd[hbeUTggoxmCuAoGM_GsghoY[LF_^WuCTXd^XcQU_gj_yYD@AqwNKG~gk_ZGLQ_aGuoTcdaHc}UjgmOzEDKAtgNwHI_?gZsL\_cwv[TndcxdiUugp?zqDVAwWOcHT_BW[_Lg_fgwGTydfheUV@gro{]DaAzGPOH__EG\KLr_iWwsUDdiXfAVKgu_|IDlA|wP{Hj_Gw\wL}_lGx_UOdlHfmVVgxO|uDwB?gQgHu_Jg]cMH_nwyKUZdnxgYVag{?}aEBBBWRSI@_MW^OMS_qgywUedqhhEVlg}o~MEMBEGS?IK_PG^{M^_tWzcUpdtXhqVwh@_~yEXBGwSkIV_Rw_gMi_wG{OU{dwHi]WBhCP?eEcBJgTWIa_Ug`SMt_yw{{VFdyxjIWMhF@@QEnBMWUCIl_XWa?N?_|g|gVQd|hjuWXhHp@}EyBPGUoIw_[GakNJ`?W}SV\e?XkaWchK`AiFDBRwV[JB_]wbWNU`BG~?VgeBHlMWnhNPBUFOBUgWGJM_`gcCN``Dw~kVreDxlyWyhQ??CP?`uouUELAuWHEHKBzGQIOED~haIZhePYTK?KCQw]WLo`e?mQA[aTo~]ClcCP_eWle|HdAd]?DpDYFpB]wYKJn_hweGOA`MH@oWSeMHn}XZhYOAGP``~?wYEmA}gJIHlCBWSMOfEFxcM[IeXiVO?lCZG_[MP`mOoUA|a]@@aDMcK`aiXMfDXfEd~?M@F]GQBfG[OKO_qGgKOb`UXBsWteUXqAX{ha_CKQAaFOy]FNBEwLMIMCJgUQPGEOHeQ[je`yXS@MCbWa_Mq`u_qYB]aePBeDncSpcmXnfLhhIe_?UPHaGrBnW]SKp_yWiOPC`]hDwXUe]hsEY\hioEOQbaN_{aFoBNGNQInCRwWUPhEWXgU\KeiIZW@nCjgccNR`}os]B~am`DiEOc\@eqYOfTxjMf@?]`JeHSBvg_WLQ`AgkSPd`exF{XveexuIY}hr?GSRCaVo}eGPBVW?OCTas@FAEeca`gIYefZXkefV?c@K}HiB|G`oLg_BoQAJZC]wZEQTEbXjE\wetI]GAZCugfSN~aHovM?Y@IwmWQE`nHI?YW_@`jq]Bevy]sAeCxWg?OIaK_vy?d@LgnCQP`pxIkYb_CPk]]Meyi^_ApC{GgkOTaNOwe?o@OWnoQ[`shJWYm_F@lI]Xe|Y_KA{C}whWO_aQ?xQ?z@RGo[Qf`vXKCYx_Hplu]cf?I_wBFD@giCOjaSox}@E@TwpGQq`yHKoZC_K`ma]nfAy`cBQDCWioOuaV_yi@P@WgpsQ|`{xL[ZN_NPnM]yfDg?AB\DFGj[P@aYOzU@[@ZWq_RG`~hMGZY_Q@ny^DfGW?mBgDHwkGPKa\?{A@f@]GrKRRaAXMsZd_Spoe^OfJG@YBrDKgksPVa^o{m@q@_wrwR]aDHN_Zo_V`pQ^ZfLwAEB}DNWl_Paaa_|Y@|@bgscRhaFxOKZz_YPp}^efOgAqCHDQGmKPladO}EAG@eWtORsaIhOw[E_\@qi^pfRWB]CSDSwmwPwag?}qAR@hGt{R~aLXPc[P_^prU^{fUGCIC^DVgncQBaio~]A]@jwugSIaOHQO[[_a`sA_FfWwCuCiDYWoOQMal`?IAh@mgvSSTaQxQ{[f_dPsm_QfZgDaCtD\Go{QXaoP?uAs@pWw?S_aThRg[q_g@tY_\f]WEMD?D^wpgQcar@@aA~@sGwkSjaWXSS[|_ipuE_gf`GEyDJDagqSQnatpAMBI@uwxWSuaZHT?\G_l`uq_rfbwFeDUDdWr?Qyaw`AyBT@xgyCT@a\xTk\R_oPv]_}fegGQD`DgGrkRDazPBeB_@{WyoTKa_hUW\]_r@wI`HfhWG}DkDiwsWROa}@CQBj@~Gz[TVabXVC\h_tpwu`SfkGHiDvDlgtCRZb?pC}BuA@w{GTaaeHVo\s_w`xa`^fmwIUEADoWtoRebB`DiC@ACg{sTlagxW[\~_zPyM`ifpgJAELDrGu[RpbEPEUCKAFW|_TwajhXG]I_}@yy`tfsWJmEWDtwvGR{bH@FACVAIG}KUBamXXs]T`?pzea?fvGKYEbDwgvsSFbJpFmCaAKw}wUMapHY_]_`B`{QaJfxwLEEmDzWw_SQbM`GYClANg~cUXarxZK]j`EP{}aUf{gLqExD}GxKS\bPPHECwAQX?OUcauhZw]u`H@|ia`f~WM]FCE?wxwSgbS@HqDBATH?{UnaxX[c^@`Jp}UakgAGNIFNEBgycSrbUpI]DMAVx@gUya{H\O^K`M`~AavgCwNuFYEEWzOS}bX`JIDXAYhASVDa}x\{^V`PP~mbAgFgOaFdEHGz{THb[PJuDcA\XB?VOb@h]g^a`SA?YbLgIWPMFoEJw{gTSb^@KaDnA_HBkVZbCX^S^l`Uq@EbWgLGPyFzEMg|ST^b`pLMDyAaxCWVebFH_?^w`Xa@qbbgNwQeGEEPW}?Tibc`LyEDAdhDCVpbHx_k_B`[QA]bmgQgRQGPESG}kTtbfPMeEOAgXDoV{bKh`W_M`^ABIbxgTWR}G[EUw~WU?bi@NQEZAjHE[WFbNXaC_X``qBucCgWGSiGfEXh?CUJbkpN}EeAlxFGWQbQHao_c`caCacNgYwTUGqE[X?oUUbn`OiEpAohFsW\bSxb[_n`fQDMcYg\gUAG|E^H@[U`bqPPUE{ArXG_WgbVhcG_y`iADycdg_WUmHGE`xAGUkbt@QAFFAuHHKWrbYXcs`D`kqEecogbGVYHREchAsUvbvpQmFQAwxHwW}b\Hd_`O`naFQczgdwWEH]EfXB_VAby`RYF\AzhIcXHb^xeK`Z`qQF}dEgggWqHhEiHCKVLb|PSEFgA}XJOXSbahew`e`tAGidPgjWX]HsEkxCwVWc?@SqFrB@HJ{X^bdXfc`p`vqHUd[gmGYIH~EnhDcVbcApT]F}BBxKgXibgHgO`{`yaIAdfgowYuIIEqXEOVmcD`UIGHBEhLSXtbixg{aF`|QImdqgrgZaITEtHE{VxcGPUuGSBHXM?Y?_@_zYYYGcg_?auh^YLeFBag@l}PyE@HAoTwaForARjEaw@CN@ehQHuGJGoYWabc`rgikZic`P_}OvD_wagKzc|`hY?[BrHj?agaDaKqeRgzw\eIuE|XH?WYcO`WyGtBPhOCY`_Ho|]YzGkwaCbV_@qXyby`xGkC[?cepaUPLDeWc?LPdB@iq?qBwhkWa}aJAMI?QHiYOUFnar@omQeEKHD_UcaQotqSVElwBsNlesQKeGvGzW@seshCG^iJVFDhJCWzcWpY}HUBXxQGZA_Q?~aZ[GtGcGbw_IAZ}cZ_AO_UJaFGXJoXEcZ`ZiH`B[hQsZL_Sp?MZfGvwcscB_Kq[ice_D?`AJlFJHK[XPc]P[UHkB^XR_ZW_V`?yZqGygd_cM_Na\Ucp_Fo`mJwFLxLGX[c`@\AHvBaHSKZb_YP@eZ|G|WeKcX_QQ]Ac{_I_aYKBFOhLsXfcbp\mIABcxSwZm_\@AQ[GH?Gewcc_TA]mdF_LObEKMFRXM_Xqce`]YILBfhTcZx_^pA}[RHAwfccn_Vq^YdQ_O?bqKXFUHNKX|chP^EIWBiXUO[C_a`Bi[]HDggOcy_Ya_Ed\_Qoc]KcFWxNwYGck@^qIbBlHU{[N_dPCU[hHGWg{dD_\Q_qdg_T_dIKnFZhOcYRcmp_]ImBnxVg[Y_g@DA[sHJGhgdO__A`]dr_WOduKyF]XPOY]cp``IIxBqhWS[d_ipDm[~HLwiSdZ_aqaId}_Z?eaLDF`HP{YhcsP`uJCBtXX?[o_l`EY\IHOgj?de_daaueH_\ofMLOFbxQgYscv@aaJNBwHXk[z_oPFE\THRWjkdp_gQbaeS___fyLZFehRSY~cxpbMJYByxYW\E_r@Fq\_HUGkWd{_jAcMe^_bOgeLeFhXS?ZIc{`byJdB|hZC\P_tpG]\jHWwlCeF_lqcyei_e?hQLpFkHSkZTc~PceJoC?XZo\[_w`HI\uHZgloeQ_oadeet_goh}L{FmxTWZ_dA@dQJzCBH[[\f_zPHu]@H]Wm[e\_rQeQ?GHoGIwIib`p{YT`EyxPKX^b@`@]VQF[gN_QgfbAWQJqHiGL_hn_Cq[mAxAlWxG^PdZ@nYS]EYgpCOadvPvuCBCkxx[eNa~QZMBbI]g@wfU_p?kAM\FvHV[[@dIPfUK[CJX]_]G`B`Jy]aHego_e}_zagU?hHwWK{JJbi@}]UAFBHROY?bHpBaVrFcwPcRHfjQYUKRHqWNciO_LA]qBYAtgzK^qdbPp]S~EawrGPBd~`xyCcCtHz_eobFa\QCCIewB{fv_xOmEM}F~XX_[adQ`hYK|CRh_c]h`JpL}^BHmwqcf^`BqiY@II?gN?JkbqQ?aUbFJXTSY`bQ@DeWSFlGRgRifra[YKsHygPgip_TQ_uBzA|w|O_Rdj`raT_EjGtKPceFpz}DDC|X|cfPbNq^UCdInGE?gW`@_oIN^GFhZc\BdYpj]L]CZxag^I`S@OA^cHvGsgg?`KAk]@jIGwPCKLbyaAeVCFRhVWZAbYPFiWtFtWTkSJfzq]]LTIAwRkjQ_\aayC[BEG~S_sdrpteU@ErWvOQDeO@}ADeDDh~gfqbWA`YDEIvWGCgx`HoqMO?GNx\g\cdb@laL~CcHck^j`[PQE_DH~Wukg``SQmaAKIPGRGKmcAqCiVdFZxX[Zbba`HmXUF|gVoSkgCA_aLuIJGTojr_dqc}C|BMX@W`Td{@viUaEzgxSQeeWQ?EEFDLy@kgRb_Qb]DfI~gIGhY`Q?sQO`GWH^k]DdjPneM_CkXeo_K`c`SI_eIFgwohA`[aoeAlIXWTKLNcJAEmWEFcHZ_[CbipJqXvGDwXsTLgKQaeMVIRWVskS_mAfAD]BUhB[`ueCPxmVBFBwzWRFe_aAIEgDUIBogsbgadaEGJFwKKhz`YOuUPAG_X`o]edr`piN@Cshgs_l`kpUM`FINwyshb`cqqiBMI`gVOLocRQGqWfFkX\c[dbr@LuYWGMGZwTmgSaciMwIZgXwkt_uQhED~B]xD_aVeK`zqVcFKG|[RgegqCMFHD]YDshTboqfeEhJOGMOi[`a_wYPbGghbs^FdzprmNaC{xiw`M`t@WQ`gIWG{wiC`lAsmBnIhwXSMPcZaIuXGFsh^g\EbzPNyYxGUW\{UNg[qemNXIbwZ{lU_}ajIE_BfHFcaweSp|uWDFSW~_SHepAEQFiDeiFwhubxAhiFIJWWOSi|`ioy]QCGoxdw^geC@tqOBDDHk{`n`|PYUaHI_W}{id`tQuqCOIqGZWMqcbqKyXhF{x`k\fcB`P}ZYG]g_?UogdAgqNyIkG]?lv`EqlMF@BnXHgbXe\@~yWeF[h@cSiexQGUGJDmyH{iVc@QjmFjJ_gQWj]`r?{aQdGxHf{_HeKPvuOcDLXn?aOaD`[YaiIgh@?jE`|awuCpIyW\[NRckAM}YIGDHbo]GcJpSAZzGewaCVPglQiuOZIsW_CmW`NAnQFaBvhJkbyedQ@}XFFcxBgTJf@aIYGkDvIK?iwcHalqGKJgwS[j~`zO}eREH@Xi?_ieS`xyPDDThpCapaLp]]bJIoxBCjfaDqyyDQJAg^_NscsQPAYjGLXds]hcS@UE[[GnGcGVqgtakyO{I{gaGmx`VQpUGBB~xLocZelaCAXgFlHDkTkfHqK]HLD~YMCjXcPqnuGlJpGU_k_aB`?iRfHHhkC`Je[pz}PeD\xrGbQaU@_abkIxHDGkGaMA{}DrJIw`cOTc{aREZKGThfw^Ic[PWI[|GvWeKWRg|qm}P\JCwcKnY`^arYGcCGHNsc{etqEEYHFtXFoULfQAMaHmEFiOGjycYApyHMJxWWcl@aJpAmSGHPxmG`ked@}AQFDeHtKbra]PaecLJ@XFKkhaUQ~AESJRGbgOudCqTIZlG\xh{^jcc`YM\]G~ggOWshEApAP}JLGeOnz`fqt]HDCOXPwd\e}AGIYiF|hHsUmfYQOeINENyQKkZcaQr}HnK@gYglaaS@CqShHYHoKaLelQ?EQgDmXvOcSae`cicmJHhHOlIa]b@EEtJZWdkPVdLAVM[MGeHk?_Kckp[Q\~HFwiSXThMQrEQ^JTWgSo[`oAvaHeCWhR{d}fEQIMZJGDxJwVNfaaQiIoEWISOk{ciauAIOKHw[kmBa[PEuTIHaXqOametaAIRHDuhxSctampemdNJPxJSljaerBIFUJbgfoPwdTQXQ[nGmXmC_lct@]U]_HOGkWXuhUatIR?J\giWo|`wQxeIFC_xU?e^fMaKQZkGMHL{VofiqSmJPE_YUSl\cqqwEIpKQG]omcac`GyTjHihsSbNe|qCMRiD}xzWdUav@gqdoJYHLWmKanBDMFvJjwhsQXd\aZU\OGuhoG`Mc|P_Y^@HWWm[YVh]qvMR`Jdwk[p]a?aziIgChHWCf?fUqMU[LGUXO?WPfrAUqJqEgiWWl}czAyIJQKYW_snDakpI}UKHqxuWbofEAEQSJEFH|[dva~PiuePJaXN[mlavRFQGWJsGjwQyddq\Y\pG}xqK`ndD`a]^aH_go_YwhfAxQSAJmGm_p~aGq|mJHCpXYGf`f^AOY[mG]hQCWqfzQWuKREoyY[m^dBQ{MJrKagawneat@LAUlHzHw[cPfMQGUSkENX~_eWbF`kyeqJihP_nMa~bHUGxJ{Wl{RZdmA^]]QHFHsOaOdLpca_BHgwqcZXhnQzUSbJuWocq_aPA~qJiCxh[KgAffQQ]\NGexSGXRgBaYyKsExI[_n?dJa}QKSKiwc{oFa|PNEVMIBXy_cqfUaIYTLEVi@cexbNpm}fRJqxRcnnbFrJYHYKCgo?R{duQ`a]rHNXuSapdU@ee_cHpGsgZyhva|YTCJ}gqgr@aXR@uKJD@w??\`_?OV}?AGzw?K?k_@A^e?D@sG?Wul_@o{q?GE}w?cdc_AbFI?JFZG?oEI_BQNi?M?Lw?{gC_C?\m?PLmG@GNV_CpoY?SHZw@Sp|_D`v]?V@dW@_cD_EOCI?YIBw@kFe_FB[M?\Bwg@w[P_FqVi?_KaGAC]A_G_YA?bHCGAO@L_HQ`i?e@{WA[vM_I?}u?hFFGAgeD_IrHM?kFbWAsEj_JaPm?n?UGB?gd_KO^q?qLuWBKNw_L@q]?tHcGBWq]NKGB[]W_M?ZY?xHHgBg@b_MqbA?{A@wBsvc_N`?M?~FKgC?eZ_ORIc{z_O`yM@B@oWCOcp_POEy@EIMwC[GQ_QB]}@HCBgCg[|_QqYY@KKlBsY@LFjgCwFK_RqRq@O?]WDChE_S_`u@RL}gDOOX_TPsa@UHkWD[q~NSWD_]x_UO\]@YHPwDkAC_VAdE@\AIGDwwD_VpAQ@_FSwECe{_WbKg|[_Wp{Q@c@wgESdQ_X_G}@fIVGE_Gr_YR`A@iCJwEk\]_ZA[]@lKtRu]@mFrwE{Fl_[ATu@p?egFGhf_[oby@sMEwFSOy_\`ue@vHsgF_r_N[gFc^Y_]_^a@zHYGFoAd_^QfI@}AQWF{we__@CUA@F\GGGf\__rMk||_`@}UADA?wGWdr_`oJAAGI^WGcHS_abbEAJCSGGo\~_bQ]aAMK|bwaANF{GH?GM_cQVyAQ?mwHKiG_d?d}ATMNGHWPZ_dpwiAWH{wHcs@NcwHg^z_eo`eA[HaWHsBE_fahMA^AYgI?xF_gPEYAaFdWIKf}_hBOo}]_hQ?YAeAHGI[eS_i?LEAhIfgIgHt_irdIAkC[WIs]__ja_eAnLDryeAoGCWJCGn_kaX}Ar?vGJOih_lOgAAuMVWJ[P{_m@ymAxIDGJgsaNlGJk_[_n?biA|HigJwBf_nqjQB?AawKCxg_o`G]BBFlgKOg^_pRQs}~_paA]BFAPWK_et_qONIBIInwKkIU_rBfMBLCcgKw^@_rqaiBOLMB{iBPGKgLGHO_sq[ABS?~WLSjI_t_iEBVM^gL_Q\_uP{qBYILWLktBNtWLo_|_vOdmB]HqwL{CG_wAlUB`AjGMGyH_wpIaBcFtwMSh?_xbSw~__xqCaBgAXgMcfU_y_PMBjIwGMoIv_zRhQBmCkwM{^a_{AcmBpLUR}mBqGSwNKHp_|A]EBt@FgNWjj_|okIBwMfwNcQ}_}`}uBzITgNotcN|gNs`]_~_fqB~HzGO?Ch`?QnYCAArWOKyi`@@KeCDF}GOWh``@rU|?@`AAEeCHA`wOgfv`AoRQCKJ?WOsJW`BbjUCNCtGP?_B`CQeqCQL]c?qCRG\GPOIQ`DQ_ICU@NwP[kK`E?mMCXMoGPgR^`Eq?yC[I\wPsuDODwPw`~`FohuC_IBWQCDI`Gap]CbAzgQOzJ`HPMiCeGEWQ[iA`IBX@?a`IQGiCiAiGQkgW`J?TUClJGgQwJx`JrlYCoC|WRC_c`KaguCrLesAuCsGdWRSIr`LaaMCv@WGR_kl`MOoQCyMwWRkS?`NAA}C|IeGRwueOMGR{a_`O?jyD@IJgSGDj`OqraDCBBwSSzk`P`OmDFGMgS_ib`QRZD@B`QaImDJAqWSogx`ROVYDMJOwS{KY`SBn]DPDDgTG`D`SqiyDSLnCCyDTGlgTWJS`TqcQDW@_WTclM`U_qUDZN?gToS``VQDAD]ImWT{vFOUWU?b@`WOl}DaIRwUKEK`XAteDdBKGUW{L`XpQqDgGUwUcjC`Yb\H@c`YqKqDkAygUshY`Z_X]DnJXGV?Kz`[RpaDqDLwVK`e`\Ak}DtLvSE}DuGtwV[Jt`]AeUDx@ggVgln`]osYD{NGwVsTA`^aFC{m`^qliE?LyCFiE@GwgWGK?`_qfAEC@jWWSly``_tE?B@`wW_TL`aQFo{lNMWWgjd`ar^LAD`bAMuELBAwWwhz`boZaEOJ`WXCL[_B_XIERDUGXOaFNMBsQETI{GXWv}OcGX[bw`e?pYEXI`gXgFB`eqxAE[BXw@cE\`f`UME^GcbsK|N`gAnmE`MASHmEaH?wYKK``hAhEEd@rgYWmZ`hovI?c@iGYcTm`iaHs|MNUgYkkE`jB`PAe`jQOyEmBJGY{i[`k?\eEpJhgZGL|_JoZMEsD]WZSagNURuUEuJCWZ[w^OkWZ_cX`mOr]EyIhwZkFc`nAzEE|BaGBgE}`npWQF?GkruO|o`oQpqFAMIcJqFBHHG[OLA`pQjIFE@zw[[m{`q?xM@D@qW[gUN`qqJw|nN]w[okf`rRbTBF`raQ}FNBRRrIFOInW\CFy`sa{]FRBfgD?FS`tPXiFUGqRvg}E`tqrIFWMOCLIFXHMg\gLWNNW\kjG`v?_UF\Jsg\wMh_Uo\}F_DhW]CbSN`RxEFaJNW]KxJOvW]OdD`xOuK|G`xalMFfACG]_n\`yOzQ@e@yg]kUo`zAL{}ONfG]slG`zbdXBg`zqTAFoBZbtMFpIvg^GGZ`{q}aFsBnwFCFt`|`ZmFvGybxk}f`}AtMFxMWSNMFyHUw^kLxNVg^ojh`~OaYF}J{w^{NI_^?_AG@Dpg_GbtNhbzIGBJVg_OxkO~g_Sdea@_wO|ha@qnQGGAKW_cn}aA_|UAFAAw_oVPaBQO?}pNnW_wlhaBrf\CHaCAVEGPBbrvQGQI~w`KG{aDB?eGTBwGHGGUaDp\qGWHArzo~GaEQvQGYM_cPQGZH^G`oMYN^w`skIaF_c]G^KDGa?Nj_fOaEGaDxwaKcUNpr|MGcJ^waSyLPFwaWeFaHoyS}IaIApUGhASgago^aIo~YAgAJGasVqaJaQC~QNvga{mIaKBh`CiaKQXIGqBkBxUGrJGGbOH\aLRAiGuC?WJKGvaM@^uGxHJB|s~haMaxUGzMgsRUG{HfWbsMzNgGbwkjaNoeaH?KLWcCOK_n_cIHBEAGcOcvNyB~QHDJgGcWymPOGc[egaQ?{W}jaQQrYHIA[wckp?aR@@]BHARWcwWRaRqSG~rN~wd?mjaSRjdDJaSaZMHRBsRzYHSJOWdSH}aTbCmHVCGgLOHWaUP`yHYHRR~x?IaUqzYH[MpCTYH\HngdwN[NoWd{lKaW?geH`KTgeGOl_voeMHcEIWeSdWOAS@UHeJoWe[zNPWWe_fHaYO}[~KaYat]HjAdGeop`aZPBaBiAZge{Wsa[AUL?SOGGfCnKa[blhDka[q\QHsB{b|]HtJWgfWI^a\rEqHwCOwNSHxa]`b}HzHZc@|?ja^A|]H|MxSV]H}Hvwf{N|Nwgg?lla_OiiIAK\wgKPM`??gQIDEQggWdxOIcBYIFJwgg_zoP_ggcfiaa`?_~laaqvaIKAlWgsqAab`DeCJAbwh?XTacQWP?tOOWhGnlacrnlELadA^UITCCr~aIUJ_wh[J?aeBGuIXCXGPWIYaepeAI[HbsC@@KafQ~aI]N@cXaI^I?Gi?O]O?wiCmMag_kmIbKeGiOPn`GOiUIeEYwi[eYOQsD]IgK?wic{PPgwiggJaipAd?MajAxeIlAtgiwqbajpFiCkAkGjCXuakaYT@UOWgjKoMalBppEmalQ`YIuCLC@eIvJhGj_J`amRIyIyC`WR[Izan@gEI|HkCED@lanb@eI~NHsZeJ?IGWkCO~NKSAQJAJjwkKJkapBJeJDCcGSGJEappgqJGHmsEp@waqRAQ?FAqc[QJJIJGkoPINNCA}JLJmgkwJvarrKQJOCewSsJPas`h]JRHpcF\ABatBA}?QAtS[}JUILwl[PTNPsBiJWJpWlcKAaubK}JZChgT_J[avPiIJ]HsSGHAMavrBi?\AwC\iJ`IOgmGP_NScCUJbJsGmOKLaxRLiJeCkWUKJfay@iuJhHvCGtAXaybCU?gAys]UJkIRWmsPjNVSDAJmJuwm{KWa{BMUJpCnGUwJqa{pjaJsHxsH`Aca|RDA?rA|c^AJvIUGn_PuNYCDmJxJxgngKba}rNAJ{CpwVcJ|a~`kMJ~H{cILAnb?BDm?}B?S^mKAIWwoKQ@N[sEYKCJ{WoSKmb@bNmKFCsgWOKGbAPkyKIH~SIxAybArEY@HBBC_YKLIZgowQKN^cFEKNJ~Gp?KxbCROYKQCvWW{KRbD@leKTIACJdBDbDbFE@SBDs`EKWI]WpcQVNaSFqKYK@wpkLCbFBPEK\CyGXgK]bFpmQK_ICsKPBObGRFq@^BGc`qKbI`GqOQaNdCG]KdKCgqWLNbHrPqKgC{wYSKhbI`m}KjIFcK|BZbJBG]@iBJSa]KmIbwq{QlNfsHIKoKFWrCLYbKbQ]KrC~gZ?KsbLPniKuIISLhBebLrHI@tBMCbIKxIegrgQwNicHuKzKIGroLdbNRRIK}DAWZkK~bO@oUL@ILCMTBpbObHuA?BOsbuLCIhWsSRBNlSIaLEKKws[LobQBRuLHDDG[WLIbQppALKINsN@B{bRRIaAJBRccaLNIkGt?RMNoCJMLPKNgtGLzbSrSaLSDFw\CLTbT`pmLVIQcNlCFbUBJMAUBUSdMLYImwtkRXNqsJyL[KQWtsMEbVbTML^DIg\oL_bWPqYLaITSOXCQbWrJyA`BXCdyLdIpguWRcNtcKeLfKTGu_MPbYRTyLiDLW][LjbZ@rELlIWCPDC\bZbKeAkBZseeLoIsWvCRnNwSLQLqKVwvKM[b\BUeLtDOG^GLub\prqLwIYsPpCgb]RLQAvB]cfQLzIvGvoRyNzCL}L|KYgvwMfb^rVQM?DQw^sM@b_`s]MBI\cQ\Crb`BL}BAB`Sf}MEIxww[SDN|sMiMGK\WwcMqbabV}MJDTg__MKbbPtIMMI_SRHC}bbrMiBLBcCgiMPI{gxGSOO?cNUMRK_GxOM|bdRWiMUDWW`KMVbe@tuMXIbCRtDHbebNUBWBeshUM[I~WxsSZOBSOAM]Kawx{NGbgBXUM`DZG`wMabgpuaMcIdsS`DSbhROABbBhciAMfJAGy_SeOECOmMhKdgygNRbirYAMkD\wacMlbj`vMMnIgcTLD^bkBOmBmBkSimMqJCwzKSpOGsPYMsKgWzSN]blbYmMvD_gbOMwbmPvyMyIjSTxDibmrPYBxBnCjYM|JFgzwS{OJcQEM~KjG{?NhboRZYNADbWb{NBbp@weNDImCUdDtbpbQECCBpskENGJIW{cTFOMSQqNIKlw{kNsNLG{ov@brPXaHIBrg{{]SbsAkLDsP_G|Csk`Bo|HJKbsqrQNSDScCPCvbtRKINUB~rr}NVLrG|_UbaTO|eNYFfw|kjMP^sWmN[LLwPgN\Qtw|wk~bvpTt@NPOg}?rLbwP?g|Ibwb\]NbDjge?NcbxPyiNeIuSWhEUbxrSICdByCmINhJQg}gTgOUcSuNjKuG}oOTNTW}svabz`ZeHjBzw~?]tb{QmPETPgW~GtL`K?~LJlb|AtUNtD[sETDWb|bMMNvCGBuANwLzW~cVCa\_~iNzFoG~ojnPgCYqN|LUGRkN}Q}G~{l_c?@Vx@oPWx?Crmc?`Ak|jc?r^aOCDrwgCODc@`{mOFI}cYlEvcABUMDECASoMOIJYx?kUHO]sUyOKK}X?sOuN\h?wwBcBp\iIKCCH@C^UcCaoTEuPoh@Ktm`SP@PKMcDQvYOUDdCGXDxcDrOQOWCORwEOXMBh@gVdadp@mO[FwX@skOPoS[uO]L]WToO^REXA?m@cGPX|APP`HAGsNcGpCo}KcHB`eOdD{GiGOecHp}qOgJEs[pFWcIRWQDfCIcqQOjJbHAoUiOfCW}OlLEhAwPVNdxA{wccK@^mIlCKXBG^vcKqqXFVPwxBOuN`[`BTKncLax]OvDlSI\EYcMBQUOxCWbyIOyMJxBkWEam@BqO|G?hBwkpPwc]yO~LegVsP?RMhCCmacO`[@AqPhXCKsocP@Es}lcPRbiPEECWkKPFcQA?uPHJNC]tFxcQbYUEGCQssUPKJjXCsVJOnSZAPMLMxC{PwNmHD?xDcSP`qJMCShDK_WcTAs\FwQ@HDSuo`cpDXLOcTqzaPWDtcK`EzcURSYPYC_r{MPZMSHDoWfauPDuP]GGxD{lQQ?s_}P_LmwXwP`RUxEGnBcWp]DBRPphEOtPcXPGw~McXbdmPfEKgmOPgcYQAyPiJVS_xGYcYr[YEhCZCuYPlJrhEwVkOvc\EPnLVHF?QXNuXFCxec[`buJnC[xFO_xc\Qu`GXQHXFWvP`l@F\Lpc]A|ePxD|sMdF[c]bU]PzChB}QP{M[XFsXGa}`FyP~GPHG?lrQHCbAQ@LvGZ{QAR^HGKncc`@_HBsPxxGStqc``I{~nc`rfqQGESwoSQHcaaC}QJJ^ca|GzcbB]]FICbSw]QMJzxG{WLO~s^IQOL^XHCQyN}hHGyFccpdyKOCdHHS`YcdawdGyQPhH[vq`tPH`MQceQ~iQYEECOhF|cerWaQ[CpS?UQ\MchHwXhbEpH}Q_GXXICmSQPSdEQaL~W]?QbRfXIOoDchPaLCTQAHIWuRchpL@?OciBhuQhE\GqWQiciqFAQkJfsd@H[cjR_aFjCjcyaQnKCHJ?WmPGC`MQpLfhJGRZOExJKygcl@f}KpClXJW`zclqyhHZQXxJ_wR`|`JdMrcmb@mQzEMSQlG]cnBYeQ|CxcAYQ}MkxJ{YIbN@KAR@G`hKGmtQXcfIRBMFg_CRCRnhKSoecp`cPCuQIXK[uscq@ND?pcqRjyRIEdWs[RJcrAHERLJoCfDH|crbaeGKCrs{eROKKXLCXNPOSbQRQLnxLKR{ONHLOzHctPiALQCthL[a[cuA{lH{QaHLcwsaDpLhNScurBqR[EUcSpG~cvR[iR]D@sC]R^MtHM?YjbVPMERaGhxMKnUQ`shMRcMNwaGRdRvxMWpFcxpeTDVQQhM_vTcyPPH@Qcybl}RjElgu_RkczQJIRmJwShHI]czrciGlC{C}iRpKShNGXoPWcdURrLwHNOS\OVXNSzic|`kELrC|xN_a|c}Q}pI\QiXNgxTaM@NlNtc~BDuR|E]sUtH_c~b]mR~DICEaS?M|XOCZKb^`OISBGqHOOnvQiCjQSDMWGcKSES?HO[pgdA@gXDwQYxOcvudA`RL@rdAroASKEtwwcSLdBaLMSNK?cjLI~dCBemHMDCT?mSQK[xPKYPP_sfYSSM?XPSS}O^hPW{JdDpmIMSDEHPcb]dEb?tI}QqhPkxuaUPPpOUdFRFyS]EfCWxI@dFr_qS_DQSGeS`NDhQGZlbfpQMScGyXQSoWQqSlUSeM_WeOSfSGXQ_qHdIPi\EXQbHQgwVdIpTPASdJBqESlE}GygSmdJqNQSoKGslPJ_dKRgqHnDKdAqSrKdHROYqPhCh]StMGhRWT^Ofw?CSvdM@oMMtDMRqmSyG~xRkomQvsmmS{MdwfgS|SLxRwq^dNpjtEnQghS?wldOPUhAi_B@SITBFBg{?TCNLhSScIdPbBdJiQ|hS[yaa`PS`PAdQRIiTIEqCZhIldQrbaTKD\SJU?VDRXSw[XbqpS{|@dSAPUTPKPCnTK@dSbiuIODStCuTSKlXTSZRPpSjaTUMOxT[U?OoGAGTWdUPqQNUDUbsqTZHGHTopNR?CoqT\MmGhkT]SUHT{r?dW@lxFOQoxUCxMdW`WlBJ_JPUMTcFJw}CTdNTxUWcjdXrDhKJRDxU_zBah`UdPbdYbKmTjEyS\lJMdZBdeTlDdcLY?wDZhU{[ybz@V?|ad[QRYTqKXSpXKad[rkyIpD\DEyTtKthVWZsPxcleTvMXHV_U`OwWCKTxd]`sUNvD]ruuT{HOXVspoRGSquT}MuWjoT~S]XW?r`d_Pn|FpQxHWGxnd_pYpBk_R`WQUDFSH?GUEN]HW[dKdaBFlKkRMHWczcappWhQCdarMqUKFAc^pJndbRfiUMDlsN]@XDbxX?\ZcBPXC}BdcaT]URK`cr\LBddBm}JQDdTG}UUK|xX[[TQ@sniUWM`XXcVAP?gEOUYdepuYOWDfBwyU\HWhXwqPROcsyU^M}glsU_SehYCsAdg`q@GQR@XYKyOdh@[tCL_ZpYUUeF[XAKUfNeXY_dldiRHpLLRUXYg{Day@YlQddjBOuUlFIs`tKOdjbhmUnDuCPa@yDkHZC\{cJ`ZG}cdkqVaUsKhst`LcdlRpAJrDldJAUvLEHZ_[uQICpmUxMhhZgVbPGwGSUzdn@w]OxDnRy}U}H_xZ{qqRWsu}V?NEwnwV@Smx[GsbdopsDGrRHh[OypdpP]xCm_c@[YVFFchCOVGNmh[ceMdqbJtLmR]h[k{ebAP[pREdrRQw{odr`spG}RKX[{y{ds@^dCx_ep\EVQFfXC{VRNpX\OeXdtRK`LxR`W?WVUbD@\\RPduBRc{zduPt\HHRNH\gzFdup_PDC_h`\qV\FiHDgV]NsH\{ecdwBLLMCRcG@CV`bFp]HR[dwrSO|Edx@uHHSRPx]SzQdx`_|DN_kP]]VgFkxESVhNux]gendyrLxMNRew@oVkbI`]tRfdzbS{|PdzputH^RSh^?z\d{P`hDY_n@^IVrFnhF?VsNxh^Seyd|bMdMYRhgA[VvbLP^`Rqd}RTg|[d}`v`HiRVX^kzgd~@aTDd_pp^uV}FqXFkV~N{X_?fDe?RNPMdRkWBGWAbO@_LR|e@BUS|fe@PwLHtRYH_Wzre@pb@Do_s`_aWHFtHGWWIN~H_kfOeBBN|MoRnGBsWLbQp_xSGeBrV?|qeC@wxI?R[x`Cz}eC`blDz_vP`MWSFvxHCWTO@x`WfZeDrOhMzRpwC_WWbT``dSReEbVk||eEpxdIJR^h`o{HeFPcXEE_y@`yW^FyhHoW_OChaCfeeGbPTNERsgDKWbbWPaPS]eHRWW}GeH`yPIURaXa[{SeI@dDEP_{paeWiF|XI[WjOFXaofpeJRQ@NPRvWDwWmbZ@a|SheKBXC}ReKPy|I`RdHbG{^eKpdpE[_~`bQWtG?HJGWuOIHb[f{eMBQlN[RyGEcWxb\pbhSseMrXo}]eN@zhIkRfxbs{ieN`e\Ef`APb}X?GAxJsX@OKxcGgFeOrRXNfR{wFOXCb_`cTS~ePbY[}hePp{TIvRig?gXGeQPfHEq`D@cg{seQq@YRGERCByXLIChcwt@R{c~y@~ERwwsXOTQhdCuqNlHdG^OQoczU?TESxdOX|PnWP{XTNNxdW_`cspd\@HeUA`uXXLRC~tOH_a`diMWEUtTUX[LnRz}X\FusktN?_G@dyX^EaC[aCiEWBsiX`GJHLwXaOTHeKggeXBT\OGSDGHSXdbgpeXT_eXr[_~IeY@}XJWRqwAkXheY`hLFR`LPek|TeZAB]RhEZSD}XmIKxe{taSCt@}A_E[GywXpTYxfGvRNtXfK^pQws|Y?uE\HfSY]PvgS?XuNWHf[`Ac|@f`@ie]QbyXyLZT@xOi_ipfmMxE^DVYX|Lvb}AX}F~CmxN`_OPf}Y?EiS]eDJE_RumYAGRXN{YBO\XgOhHe`RV`OhSLWJWYEbp@g\U@eaB]c~jeaQ?\JxRzGCoYIeapjPFs`T`go|uebQDaSIEbcGAYNITHh?uBSLDCAB@EcW{{YQTbHhKvsN|hhO_QR@C~]@VEdXhWY~P~wUCYVN_Xh_`bdDPhdAJeead}YZLbdB|PJ_r@hqNYEfTX]Y]L~s?EY^GFSo|OA_W`iAY`Eqc_iDkEgbwqYbGZhQ?YcOdhiShiehbXdPISTgL[YfbxPi`UaeiR_h?KeiaA`KYSBWEsYjej@lTGT`\pis}VejaFeSjEjsIEYoI\XjCucSTTEEBaEkg~?YrTjXjOwTODxjS_rRHT@a@wElhj[Z_QGGWGYwNghjcaCdL`jhAkemqgAY{LjtE@Pk_zPjuNzEndZaY~MGCAIZ?GNcr@Ob__pkEZAEysamELEoryuZCGbxSCZDOlxkWiJeprZhPjS\wN_ZGc@`kdVBeqbal?leqqCdKzSJgGwZKerPnXGu`e@kw}werqHiTKEsCKIZPIdhlGvDS\dGICBEsx@CZSTrhlSwuOMHlW`SRPdBeAXEtxl_[@QOWYKZXNoxlgaddTpllBLevAiEZ\LsDGDQL`B`lyO[Evt\eZ_MOSCMZ`GVstDPC_h@mIZbFBCcqEmExB{yZdGkHUGZeOuHm[ikeyB\lQKSeGPcZhcHpmhVceyrcp@MezAEhL[SRwI{Zlez`p\HV`mPm{~Xe{AJmTlE{SMMZqIlxnKveSdtIMCcE|HBGZtTzxnWxVOUXn[`tRXtDiAyE}Hnc[aQWg[OZyNLR}QZzGphV_Z{OzhnsjAe~b^DQaSjgQ{Z~cNPo@Vyf?ReH@cf?aG@LqSXWKS[Bf@@qtHl`rpoS|?NzxoWbPd_po\BxfAAku[HL~DItQx`M`oiPGFAt_U[KMZSE}[LGasvtPo_s@oy[NFMCfaFYFCBsk~yfCQLqUMFCcOQ[RIuHpOwFSmDKQDDFDXDK[UUCHp[xwO]hp_aURaDFmBZFEXpg\BQ_w]S[ZNTc?U[[GxxXc[\PBxpwjbfFr`HRBSrwT?[_cV`qDWZfGbgLADfGqIDMRS`gMW[cfHPsxIM`{@qW|`OCHq[bqdh@q`CYfIQmy[iMFTKxRY`UpqmPhFJDaY[lMbcHA[mGjCxxQP_{Pq}[oFUSheFzFKRup?ZfKaNuUnFKsQU[sI}XrSwgSuTMUDeFLhFO[vUKXr_yXOexrcavRiTHqB{FMhrk\cQhG_W[{N\sAY[|HAHZg[}PKHr{kCfOBbLRcS{GVC\@c^psHW{fOriPAefPAKHMsShwO[\DfP`u|InaCPs[}AOKXs_cRdpPsdCzfQao}\JMNdM|Rz`^@sqQIFRTc]\MMjsJE\NGrSz|Qq`C`tA\PF]cjiG[FSbwt?{fSqPyVOFTCSY\TJEhtWxHS}dOYEFFTxHS\WUShtcyyOnHtgbWRqdJuC\FUxto]DQpWa[\\NeCC]\]HIX\k\^PSXu?kdNJXuCxST@TPEEQFWhI?\bUVXuOzDOpxuSbbRtTKaCgFXhu[]OQsGbG\gNgsDI\hHLH]W\iPVHukkoNMHuox^TCDPqE\FZXIk\mUYHu{zOOshv?bmRwDLMCrF[XvG]ZQuwbs\rNjcDu\sHNx^C\tPXxvWkzNOxv[xiTEtQ]EgF]HJW\xU[xvgzZOvXvkbxRytLyC}F^Hvs]eQxgc_\}NmSEa\~HQh^o]?P[hwClENRhwGxtTHdRIErF_xKC]CU^hwSzeOyHwWcCR|dMeDHF`xw_]pQ{WdK]HNpCFM]IHTX_[]JP^XwolPNUXwsy?TKTRuE}FbhKo]NUaXx?zpO{xxCcNS?TNQDSFchxK]{Q~Gdw]SNrsFy]THWH`G]UPaHx[l[NXHx_yJTNDSaFHFeXL[]YUdHxkz{O~hxocYSBDN}D^FfXxw^FR@wec]^NucGe]_HYx`s]`PcxyGlfNZxyKyUTPtTMFSFhHMG]dUfxyW{FPAXy[cdSDtOiDiFiHyc^QRCgfO]iNxSHQ]jH\ha_]kPfhyslqN]hywy`TSdTyF^FjxMs]oUihzC{QPDHzGcoSGdPUDtFkxzO^\RFWf{]tN{CH}]uH_XbK]vPiXz_l|N`XzcykTVTUeFiFmhN_]zUlXzo{\PFxzsczSJTQAE?Fnhz{^gRIGgg^?N}sIi^@HbHbw^APlH{KmGNcH{OyvTYDVQFtFpXOK^EUoH{[{gPIh{_dESMDQmEJFqX{g^rRKwhS^JO@cJU^KHdxcc^LPnx{wmRNex{{zAT[tV}G?FsHOw^PUqw?_^QPLX|KdPSOtRYEUFtBrI^TF~cryI_Ftc@DB?ftqYIXSFuC[i^XJfbyY^YMrTVxUIaAp|mSXFvDlY?RFvSSA^]HVDCxT@`gP|{{|fwA?dLHaip}D?[Oqx}GeleVp}LFTfxAyc}pfxRl`UHTdW`W^edH@}\Z`_F`}`DJfyQU\PXTRGYo^iNQH}k_SRTGjW^kOHsLY^lHmHeg^mPwH}{msNnH~?zbTdDYAG`F{XQ{^qUzGAc^rPTh~OdqSXDT]EvF|RtM^uGFst}J@F|sBHB`f}A[MXtF}S]m^yJnr{]^zMzdX|UjaJ@~qSyF~Tn]?sF~cUE^~H^TE|Ta`oa??|]g?QAhLiarA?H?|OzI?KfMe_A?PFug@Q{g~Qg@bndUiTlgb[_FdPQ?`[A_Nq?dDkgAaW`PyTZW[s_JNYY?o_tR\Wl[_LOQCN]_MHuXgk_NQ?Y@?nTNvY@C{CTlT[EHAGChT?_RVBWCg_SP\y@SeRS`TVaFWGDbvQ_VGOCwAJaGECDLCAgEQ]QYUGEc_q_ZJwB}a_[NBt[@VKaRQ@uTZGFdpa@TGFsWI__HfdH@UB`wqAC|~gGaClMJazQAL@]PBYAOfnegQATGVgHa}k~rgHrphVJTtwd__gdXaAd[b_WAAhELgIqYdQZTbg]w_kNaiAs`URdgn__mOYSPa_nH}hio_oQGiBCnuN~iBG{dTtd]IHbGKxVC_sVJgEk_tPeIBWesShdXeFxGLrxU_wGWSyEKBGMSFPCbgMa_UYvGMsau_{K?S?e?DGNT]DVlaZaByT{GNrq|[x_\aC@EbgOQZ|QpThG_O`ANgICK`kRjGow`CO^sQy`DICHkG`EQMIC[oKODG@?`GTzD^aHxGQXW[`INMdsQA@GQsYy`KHqdJpUnaBqCs}jgRaF\MvbEQC|AIPMYD?gZerQDDHBgSb@\?^_EqDLVvU?wgO`SdcaDS|DVRwGo`UPmYD[fTSptZiGYGUBzY`XG_c{IKcGUcHTDCgUqaYZWGVCcy`\KGcAi?eGVd_HWMabqD}U\GWBt@\Y_dqEDFCgWa]@RQTpWaS`bNoYEOaLRrWq{`dOgCS}`eIKXmK`fQUYE_olOLWBC`hUBT`eIYGYhY_`jNUtuUAaGZC[}`lHytLtVOaKAEw~KgZqH`NWbMaF@AjPUiFCg{ezaFHHcg[rB`@?_NAFPWWUHGiS`tdkqFW|eV[GIs`vPuiF_fuSyD\mGzG]R|]`yGgs}MLDG]sJXDdg^Ac]ZxG^Se}`}KOsCm@FG^taLWnakAGAU}G_RvD\z_mAGHFdg_q_DRrTxgcWaCNwiGSamRzgt?aEOoSVAaFIShoOaGQ]iGcpMOTgDGaIUJdbiIzGax[caKN^DwYBBGbS^AaMIBDNxVpaSQG{~lgcAJdNxbUqHDBKP]yHGh\fBqHLIDgdBDd@`_VQHTWxUPWkWaUdtAH[}FVcWKwaWP}yHcgVTAT^qH[Geb~aaZGpD?QLeGfCL\EEgfQea[YGfchAa^KXCEq@gGgDcPXOasQIEV^GgbxH][_uQILGEghAaHSSU@we[adO?yIWbNSBwvCafOwcXEagI[xqSahQeyIgpnO\wFKajURtdmJ[GjH]galNfTy]BcGjc`EanIJTP|WQa[aJ@?MgkQLhOYb^AJHBlPfIJKh}fKAJPIeglRFhAA_^aJXXYUXgm[avd|QJ_}gVkgM{axQFIJggwTId`uH|Gms@ea{GxTAUMFGnSN`Efgnage[zGnsjEb?K`SGuAHGoTeTXpa{aKIW?GorzL]|_}aKPGfgpQcLStUIGg_bEOHIK[boSKGxGbGP?sZIbHIdHsWbIQnIKkqOOeGHObKU[DfqJ|GrX_kbMNnd{aCDGrsbIbOIRdS@WracqLD?ngsaNlOzbfQLLCMPnYLOi^fSQLTJFgtbHlAb_fqL\XzU`wo_bWeDaLc~HVswP?bYQNYLkhXTQtbyI]GvCBib\H@dCYMgGvcPdFGgvqii\[GwClIb`KhcIyAiGwdgXYQbCqMMW`GxB|P^]`EqMTHGgxaePTUUQWicbfOPYM_cPSSWzKbhPHC\MbiIlXu[bjQvYMoqpOmWJSblUcThuK]Gzbq}WkGzr||^h`HaN@HRg{Qe|T`UTGjObqOSINKc[SVGzwbsPJs\ybtIoHvGbuQyIN[q{OpGK?bwUfDiaKhG}RriWvG}b}h^s`KQNlH]g~AfhTkUVwj{b|OUyNwcfSXw{cb~PMc]ec?Iqxvsc@Q{yOGrFOrwKkcBUhtjMKsH@BsUXAH@R~T^~`NAOXHhh@qgTTvUYgkgcGOXiOccqS[g|OcIPPS^QcJIthw_cKQ~iOsrQOugLWcMUkdjyK~HBrtAXLHCC?@_I`PqPDHshCah@UAU\WlScRO[YPOc|S^W|{cTPSC^}cUIwXxKcVRAYP_r\OxWMCcXUnTkeLIHEbtmXWHEs?l_T`SaPpH~hFQhlULU_Gm?c]O^IP{dGSaG}gc_PUs_ic`IzHxwcaRDIQKrgO{GMoccUqDlQLTHHRuYXbHHc@X__`VQQ\IIhIAiXUWUawmkchO`yQgdRScw~ScjPXc`UckI|xycclRFyQwrrO}wN[cnUstl}L_HKBvEXmHKSAD_j`YARHIThKqjDUbUdgnWcsOciRSd]Sfh??cuP[SaAcvJ?hzOcwRIiRcr}P@gOGcyUvdmiLjHMrvqXxHNCAp_u`[qRtI_hNajpUmUgWoCc~OfYS?dhSiX?kd@P^CamdAJBXz{dBRLYSOsHPCWOsdDUyTnULuHPbw]YCHPsB\`@`^aS`IjhQQk\UxUjGoodIOiISkdsSlH@WdKP`sbYdLJEH{gdMROIS{sSPFGP_dOU|DoAM@HSRxIYNHScCH`K`aQTLIuhTAlHVCUlwp[dTOkyTWd~SnxACdVPcccEdWJGx|SdXRQyTgs^PHwQKdZU~tomMKHVBxuYYHVSCt`V`dATxJ@hVqltVNUogqGd_OniUCeISqhAodaPfScqdbJJbqm^_HXCtYddLIcRICmHXdoh[UbdqU[}gehQU`@WWWgX{dhQrIUgjgTudkuKlHYsKedkHdTLUOvHZSY`HVhZarc{ufyqU|L`h[BRTC|`MQVD[TVGWyGdqNkxj?drOWuEuEiH\Cl]dtI{t]TZWbMAVXBSh\qY@R_cOaV`ErQWiVclCNOX~WdyRZIVkt?PQGSOd{VGDqqMlH^RzyYzH^cEx`w`lQV|Jah_AnxVoUwwsKe@OvyWGejSyxCseBPnceueCJRrsq_@H`Sv]eELQsTMDNH`tql[vbmAW_~HepaWd@xW_w[?eIQzYWkkHT}tmyLMHbCMieLHldNYPWHbc[dHwhbqtg|VgBAX@MAhcRTXD]`UaXH[uVOg{KeRNtHlCeSO`EGyFJHdSnaeUJDD_XZxbUQX\BtheA[DS@cWqXdFSQ_yXgldNWi@[eZRbYXot`PYWUSe\VOTsuNMHfb|}Z[HfsG|aX`taY@KBhgQp|WPV@GuOeaP?IYKfKTBHEwecPvsgyedJ[Buu_aHhcxaefLZCVQDoHiDsp\WbuQYc~iexqYhAYWhG]CejRBiYokiUFDo}LnHjSOmemHttP]PxHjs]hIXhkAvk|wgJQZDMbhkbV\D~`]qZL\VVWw}OesN|XnGetOhUI}FkHlcpeevJLTa\[Yb]aZ`CUhmQ]HSac`AZhFtQhIZkmEN_yB_e{RjiZsuAPagWWe}VWduyNnHns?AZ|HoCJ@ay`|q[DKchoas@WqVHWwSfBPGY[OflTJXG{fDQ?Ci}fEJcRwy`BHpszefGLbSXUEPHqTut\xb}a[h?JfAA[lAzWpW_GfKRJy[slJUNTrAMOHrcQqfNH}DRaQYHsC_lIyhsQxo}XgRa\HNChsrX`E_`fA\P\wV`H?SfTODhpKfUOpeLAGLHtsrifWJTdc`[zbeq\dCvhua_LTBchQ\lGUQpY\omfNhIDcf\Rry\wubPiwY[f^V_tw}OOHwCAE[]HwSLDbZaEA]HLDhwquDXRVPgyWfcPOi]SgMTRhJ?feQGSlAffJkby}`cHyC|ifhLjcZYEqHydwx]YcEq]l?kfIQ]pB[WxgaKflRSI]wlkUVdtEMpHzsSufoIETTeQzH{SapJZh{azs}ygZq^LNdh|BZdF@`nQ^T]XVhXAWfuOLxrOfvOxuNEGmH}BrDLZh}Qv\XhVVGzofyPUI^kgcTXHKWf{QLsmYf|JqB{U`yH~c~Af~LpC[qFGI?DyP]ocKQ_D@AfNq_HBqW~GbcgBNNCuYgCJ_dfP\fbpq_TDbi@aa|TncsQ_\HAQ{Y__nRNsIGSgHR}y_gvNPtw\KgJVjtzmO{IBCCu\IIBSNtcFaPA_w|FR[Y_{mLU^tvINQICCUygPIMdViR[ICcctJ{iCq|w~ZgcA`POEiDR\hFa`va`X]yVphC[gVOUHtSgWPAEPIHNIERtHL{iEax`YIV^W|sgZP]Y`ohDT`XM[g\QUCo]g]JyR}YaZIFt@Eg_LxS]uFhIGT{T^PcSaaH@bfWAaLCRXFWdggcNVSw]gdJgthT]GbyAaXECiHqd@UOc{aa`HbRCiacnsN{YIWgiSFIakvoP}G^OgkVsD|qP\IJSEy\jIJcPxcgaXQa{|gRcib?mmUgDxMNrIKSW}gqIUtXmR|IKsexK\iLA~{~{gkQbTOfiLb^lGB`~qb\^ZVxxE_gwO]XvWgxPIURMHoIMbvLM\iMqzdYjVfg~wg{PeibsheThhO_g}Q]Sqag~KAc?]a{IODBIh@M@c_yGIIOd}X^qc[qcLACf_QcPCsXNgfkhDN^cyahEJpDjX]hcAQc\EdiQAfDUpdCqcdICRKycgoTOCiK[hJSNYcowPQEW`ShLV{T~uP}IRcG}]KIRsR|dHa`ad?}HRkydCnNUoTzQOSIScZAhRI^DZqS]ITCg|K}iTRA@?\gsadXPGiTr`pGcaGAd`^{WAHGchXOehx[hYPQeTQIPIUrxPM}iVA|hZKVnx@{h\PmydwiFTpxQch^Qecseh_KIsAab\IWTDMhaMHsa}GjIWu?\_RcdAePAdfgaeTDTXVwhoheNfs{ehfJxTl\^IcIae`FEiYQhHVQdLAehIdRTIekouOKyM_hkSVieswqQMgbWhmWCe@yQ^IZsJA]lI[CU@diahqfC}iRtIfGnoUwd|UOtI[s\EhsIfT\uS~I\Sj@L^i\bCD?}g{qf\Phi]BbtHDaOQfd_\WIXIghyOmxz_hzPYuVUIqI^BzTN^i^Q~lZlVwHC?h}PvIf{igTyHSgi?Qmsuii@KRCCeb}I_dFQiBMQCdAHKI`EA`_sclQgTBEfoqgXDuX_GjsiFNoC}iiGK@dn`^jcQqgdFfiaajLVrdTQglJER\YgopVOTIOciLS^ygwxRQUwd[iNWKuB}R?IcCLE^MIcSWDeJaqAhG~JR|YhKoPV?t~YPUIdC^IiTInd^yT_IdclDM?idrEH@^hDAh`QIieRdxHeaWahh_}WQhKkiZOvH|ci[PbEXYJRIfR|XO?ifb@p[MW?XECi^P~Yi?jHUAXUki`QvCwmiaKZSEic^IgtHUicMYSfEHlIhUCd`TctaiXBffxAi\EVXgWlwigNwT?mihKHtpd_KcZAihGGiiqlPWSd\aipJfRdiispwO\YQgimSgIi{xsQ^Gf_ioWTEEAR`IkSNI^nIkcYHekayQjK~kSDijOoqVHE@]PvIlS`MiuIvt`}U@IlsnHM`imBGLA?hLQjdQjimbf|IFa_qjl`^WYxMoi{O~X~gi|PjUZ]JsInb~\O`inrBt[nWGhGGj?QFikCjiUIhWojAQ~SyqjBKbcGmd?IpDJYjDMachIIMIpeEh`uc|qk\CGg@Qk`EwXogn{jHO?dAqjIKQDrh_lcbQklGhirAnTWtddqktKGRlykwqXOdiSkjNSoYl?yTQfWhcjPW\UGESAIscPM_OIss[LfLbAalP?LSLylSpRVPUBaQWItcbQjVJ?DcAUaIuCpLNAiuRIPA`hTalhRKiuri@IgahAlpa?WbHOsj\PFi@kj]Pre\aKTIvs@`PAiwBDx\OWOxIKj`QNymGkJUQxYsjbRFc{ujcKjsIqd`IxTL]jeMisjMInIxuGlaVdEAm`ChgHamdFXXwwq?jiOGtCujjKYTtl`McjampHIizQpXXUdmAmxKhRuIm{qyOlyUojoSwinCyuQngjgjqWdeIISbI{sRQ_pI|C]PfmbIqnT?mSUInWpsVXeDeQxI|sdUjwJGTeEVBI}SrPNbi}bKTBAh\qnlRli~BkDJHapQnta`WjXQwj}PNyBoj~Pzu^eKuJ?CBdPbj?RF|\pWXHKOkAQWIoKkkUZH[wkCRNs}ykDKsCKueAJ@dNakFMrClQJOJAEIpawdMQodDIgPqohFyY@GsCkJOPDEykKKadvp`ncrqotHjjBar\XvduQo|LIR}Yp?rZOuIWskPT?ypGzVQvwlkkRWluKMTCJDCTU`QJDS_TgNbRApX@NS]Yp[qTV`uFiRYJECfYkXJOdgIVcJEctTOCjErMXBbheAppSMjFRmHJiaxapxbAWrhS{k^PWIDsk_QCE`iLVJGSDhQCjGbI@]QW`XMSkbQ_YqOlLUbX]{kdRWD?}keK{SMyebJHtPekgMzSnUJpJIUKtbXdUaqhDjgYAqlGZYHWuGkkOXTG}klKitxtaOc{AqxIKjJqt`YWd}ar@LjSEirCr{O}YYwkqTHIrKzwR?GnoksWuEMQTdJLSVY`rJLcaXgobZQr\@oSeir_quViEHmRzJMSh]kyJWtiMWDJMsvXOdjNBO\CChmQrtSnjNboLKJb@qr|bbWzxV?l?P_YFwl@QKUbmLwJOcFlQdjOrKD]rWhhOWlCQgisSlmUjh`?lER_TBAlFLCcO}fCJQDRilHNBcpYKQJQeMxbyd]qslEKgaQspG{YPgwKlLO`dJAlMKrDzxapdCQs|IljSAvdYxeEqtDMKSMytGs\PEi[{lRTPYtO{XRGWpslTW}UOUUEJTcX]aSJTsc\hPbbat`APSmytcrVVqUJqS[JUcjalZJ`DkQWeJVCx\PEjVRQ`CdhuatxTOjVrqPKkbIAu@cCXCHXCl`PgiH{laQSedqMXJWsHpREjXBMH^SWpxQ[ldQoyuWmNUrxbClfRgdDElgLKsRAfdJYTTm?CJYcr]KrJYuO|cZdfAuo{mPjYIgllQVUe]McJZcI\RPjZrMt^^WshRGloQrivCmYUuhbolqRjTDqlrLNcRmfoJ\DUY?NJ\SsIK}J\ePhcedhqv[{xPmIJSlwQYEfIMnJ]SJHR[j]bN`^iWvXRslzQuYvomdUxXc[l|RmDE]l}LQSSYfzJ^tVE?YJ_CsuLHJ_UQTcpdkawG|CPoyK?mBQ[ufuMyJ`CJtRfj`ROL^tWyHS_mEQxIw[moU{HdGmGRotFImHLTCTEgEJadVq?dJastaLSJbER@c{dnQws|NPriKkmMQ^egaNDJbsK`RqjcBOx_?W{xTKmPQzyxGmzU}xdsmRRrdFumSLVsTqgPJdTW]?oJdcuML^JduRldFdqAx_|YPuYLWmXQaUhMNOJecLLR|jerPd_JW~hTwm[Q}ixsnEV@he_m]RuTGam^LYcU]g[JgDXI?zJgSuyLiJgeSXdQdsqyK|dPxIMCmcQdEhyNZJhSLxSGjhbQP_UXAXUcmfR@Yy_nPVCXfKmhRxDHMmiL\SVIgfJitXu@EJjCveLtJjUTDd\dvayw|oPzyMomnQfuieNeJkCMdSRjkRQ|_`XDHVOmqRCIzKn[VFHfwmsRztHymtL_CVugqJldYa@PJlswQM?JmETpdgdyQzc|zP}iN[myQiejQNpJmsNPS]jnBRh_kXFxV{m|REyzwnfVHxgcm~R}dIen?LasWag|JoTZM@[Jocw}MJJouU\drd|A{O}EQ@YOGnDQlUj}N{JpcN|ShjprST_vXIhWgnGRHi{cnqVKhhOnIS@TJQnJLdcXMhGJrDZy@fJrSxiMUJreVHd}d~q{{}PQCIOsnOQoEkiOFJsSOhSsjsbT@`AXLXXSnRRKY|On|VNXh{nTSCDJ}nULgSXyhRJtt[e@qJuCyUM`JuUVteHeAa|g}[QEyP_nZQqulUOQJvCPTS~jvRTl`LXOHY?n]RNI|{oGVQHign_SEtKin`LjCYeh]Jwd\Q@|JwszAMkJxEW`eSeDQ}S}fQHiQKneQtemAO\JxsQ@TIjyBUX`WXQxYknhRPy}goRVSxjSnjSHdLUnkLlsZQhhJzT\}AGJzczmMvJzuXLe^eGA~?}qQKYQwnpQwUmmOgJ{cQlTTj{rVD`bXThZWnsRSi~So]VVhk?nuSKTMAnvLocZ}hsJ}D]iARJ}S{YNAJ}eXxeieIq~k}|QNIRcn{QzEnYOrJ~SRXT_j~bVp`mXWX[Cn~RVZ??ohVYXkko@SNDMmoALrS[ih~K?t^UA]K@C|ENLK@UYdeteLb?W~GQPySOoFQ|uoEO}KACSDTjkARW\`xXZH[ooIRYJ?kosV\HlWoKSPtNYoLLuC\UiIKBd_AAhKBs|qNWKCEZPf?eOR@C~RQSiS{oQR?eoqPHKCsSpTukDBXHaCX\x\[oTR[z@Wo~V^xmCoVSSdOEoWLws]AiTKET_mAsKEc}]NbKEuZ|fJeRB@o~]QVYTgo\RBUp]PSKFcT\U@kFrXtaNX_h]Go_R^jACpIVahmooaSVTOqobLzc]mi_KHD`YA~KHS~INmKHe[hfUeTrA[~hQYIUSogREEqIP^KISUHUKkIbY`aYXbX]sojRaZAopTVdXn[olSYDP]omL}S^YijKJtaEBIKKC~uNxKKU\Tf`eWbBG~sQ[yV?orRGuquPiKLCUtUVkLRZLadXeH^_ouRdJB[p_VgHoGowS[tQIoxM@C_EiuKMdaqBTKMt?aOCKNE]@fkeZRBs~~Q^iVko}RJeraPtKNsV`UakOBZxaoXgx_Kp@RfzCGpjVixospBS^dQupCMBs_qj@KPTb]B_KPd@MONKPu]lfve]BC`?IQaYWWpHRMUsMQ?KQcWLUlkQr[dazXjh_wpKRijCspuVlhp_pMSaTRapNMEc`]jKKSDcIBjKST@yOYKSe^XgAe_rDL?TQdIXCpSRPEsyQJKTSWxUwkTb\PbEXmX`cpVRlZD_q@VoXqKpXSdDSMpYMHSaIjVKUtcuBuKVDAeOdKVU_DgLebbDx?_QfyXop^RRuteQUKWCXdVBkWR\|bPXpHaOpaRoJEKqKVrHqwpcSftSypdMKCaujaKXddaC@KXtBQOoKYE_pgWeeREd?jQiiY[piRUeuQQ`KYsYPVMkZB]hb[Xrxa{plRqzEwqVVtxrcpnSidTepoMMsbajlK[RqpXb`BBFHO~cMrFLgVYGxiOpsOLcjUeqK\SuTlncjBFXEnTuZF[vtWxu\iWyK]C|YpxKgd}I\CK]dJTTck]rcXHBi}BFo{vUZgP[p|SQhCWp}YGeayYnK^sCDJ?hnRG@LoZ]hJ[q@Pmd]QqAM?ENHfdePRGLN`k`BIt^lfRrGTR?TZzGWxPQRioKqFNOdfeCaKaDDUPPKaUatgxembGh@KQqy[_qJR]uwURAKbC[TVnkbR_lb|X{Hd?qMRzJG{qwV}HtgqOSqtViqPMVCdekMKcbstYC`JRHLP_cVBHPgwYPHkSqTOTslYfRKdcwXmOcrRH\FOT}jH_wUXAE^mXZKeS~]qYKou?M\dKetLXUDkfBe\HcjERHs|WUbwR_q]SYxE[q^YOuc}ZOKgCEHJ`hvbIDMPZexL_qaPut_UqbMGUPLgEeXbIPOAkhRKx_Mf[BIXR`TcJI[xqQZyqOqgNWthiDBKiTFYPqKiecxhYeurIl@lQzI]cqkRfEyYRbKjS]XWOkjbapc]YCXfCqnSBZJ?rXWEXvkqpSzDXmqqM^SfiknKkruxYd`RbJPQ@c^RJThXYXXmWquO]Cn]fsKlsy\mpczbJ`FpUEzJcwvXIU`qX{Kmd@aqzKxEAQ]EKnDN\UeknRg`IDjMbJw|xUkGTcq~SbHG_r?YXEfAZpKoSGLKAh~rKHMqZnHNcrBP~DaYrCMOeRPgfe`rKTObkpbM|_nfcRK\SATkZK_yRQcIsSrHN`DjmDcKqdH]QRKque|hze~BKpAMRBY_grLRnU{]SCKrc_\Wpkrrctc~YKhhGrOSJjLCryWMhxorQTBTZqrRMfchmlOKtBw|ZE`ZrLTQacfbLXhyY`ho[rVOeSpagTKuC{`nQdBrLdGQUNJLgxWXQebuY\KutBer[L@UCU]fKvTP`VFkvbidIejUrL{}YUsWVgr_SjXIcr`Y`UhE[QKwcIPKbiGBMLNRZvXPgrcQFTc]rdMWuTThGeiBMXPCkxrP@`OfkbM`SbTsjMcysQkYuWriNhTlqEDKytJaQsKzEh@i[fFRMtAnRJiakrmRve}aSdKzsa`XQk{Bexd_YSxjKrpSRzNGsZWUxzsrrTJd\ursMnsjqlpK|Rz@Zf`cBNXRBcnrN\iZYhxq_rwOmcreguK}S}dnrdKBNhGrUVZNkxxXYudyY}K~DDir|LHeEY^GK~dRdVgk~rkhJFj^BO?}zU{gXks@SrhKgsAYhejI[rL?sKTLCiOROPNsZ~hRksDQNdeasEM`EVXhheqRO\PdlABRD`pfsrOdTCT{zOgzTQsiw[sJNpdnuEeLBDLeRTLBUjDi|fNbOxBORRycosNR~v?eTELCCcdXrlCRg|e@Y\HlOsQS[JPKs{W^H|wsSTRt^ysTMwClumQLDb|D[G`kRP\RccwBP`i{YqHscsXOustihVLEd?hoSdSRPlHSU^jPoyYXbEf}Z^LFTFms]LPuG]^hLFtThWHlGBmlJgjfRQC~[VCwZosaSzxMksbYpulM\SLHCMXLdiWbQTOT[FxToseQVtgesfMhUX\iIeybQ`QElIRTHaQf|BQhTdUDJQkzuQ{yy_skNxtpyFFLJTNiRuLJelHj]fVrQ|BpR[IessoSGFAiTfLKSehYSlKbj@eaYdXnSsrScZROt\WfX~{stT[D`}suN?SnymrLLr~H[h`sbR`SDd?RRdj\YyXugsyO~CvmhwLMtAlotd[bRpHtUfzRsyzXjUiA[?LNdHqs~LYEIa_ILODVlWilORopKHjnbSG~|VLG\stBTCHOotCYyEnQ\tLPSO\MEi_rSXOu[OHVstFQ_DiitGMpeZ`ijfArSdQflQbVLargDRSlUEULZSo{VRDI{ctLOADr}FgLRdPmSVLRunLj~f_BT@CQRcYgwtPSOVCmUGLScglYtlSrlDfBYlhpWtSSkjTSt}WniA?tUTcTcAtVNGcp}nSLUC@L\I`{rTdSedGbThj}ZAhwktZPFSxqiXLVDCppUdcrTtIUUoJTwz[XrekE[`LVtJut_LaUKe_jLWTXpXJ_?bUHKijvrUL?]VTW^wtcNJDRESlLXUodkTfdbUXCgRhyiOtfSTvEEU]LYCiDZJlYRm\fXYrHqotiSqJUkuSWtIBWtkThtdY?LLZSrUniLZcAd\_aARU{{vTNHR_toZDEqA]`L[SRLMqijrVHPa[ZHYctrQjDlYtsM{e]PjVfLrVTRRl\bX|b^gORV\UqUWW@_twROI~StxOLDumGSL]bsHTFdOrVlk^ZIxyot{PNczuiyL^TEtpvdlBVxIvUwZV{z|XzumI\AL_DLyu@LieMi`KL_dZtXk_GrWLLJk?BWP?~V\g`{uDNRTTITML`eqhkuflrW\DHRqIkSuGS]FGIU~LaSkHZklabo`fyYzXssuJSyZWoutW|YD[uLTqDf]?mLbctYoJLbsCh]@aIbX?|WTVXTcuPZLUsE^ALccTPNRisBXLQB[bX[guSQrTn]uTNCu_TjwfUBXXRsldr[@c?gWbX`VRU_gBcuXRWZ@WuYOTTwqGtLeruLTgdXBXpl?ZRH{su\PVs|yjZLfdGxqWdtRX|JWV?jY?{]YCEoM\bLgTN}uaLquOm`lLgt\xYL_PBYPLkkGRYT@_Vdwc?ueNZdVMTnLhusllVfuBY`DiRyYmWuhSeVIMV_LicmL[LlirqdgZZBhuwukNKtOiulLtePY`wLjd]dYW_RrY|LvkJBZ@@jVggckupN]TVyTyLketXlafwrZLDtR|InCusShFIyVjLlSmx[W_ARZXgeZEXvcuvNNdPUuwLwRrLc`g_rZdVsUgwDguyR_jB[uzO\dyuHULnBwPUHd`RZtl`ZZX}wu}P_C~}j{LntI|qxd|b[@JxVGw@Ov@YKUqQ]CLobsdS_lor]o{}XJIGwvCT~tiy@dLpSwupALpcGD]waWR[[}NTdHX?vGZZEva^xLqSWlOIj@r[hQy[pH_CvJR@Dqy?^LrEbpknfbr[s|STIz[wvvNQUR]aXLrt_hYx_[B\@MWkRR\DAKVoweovQNedX}UZLsuv\mBg@B\PEUSDYpGvTSpVK}WKLtco|[x_Ib\\hFZMhxgvWNVtRYvXM?btPdAghB\hWTUpGFkvZRgzD_v[Odt{yHvLvRyTUidhb\xmAZbi?{v^PgTAAk\LwDL@rYeDr]DKYVPGBSvaYSesU]dLwruhT@lxB_s|^XRYI{vdUGDk}AELxcyypbLxsIH^Xa_b]_}oTlXZCvhZbUxe_YLycYpOjjIB]lRZ[xXaGvkRHTs}@?LzUdtlOfkB]w|tTRJ]{wWNYeTaayL{DalZY_cR^DMxkZb^HAlVxGgsvrNmt[AU{L|Ex`mcgHR^TEvSLirKvuSxfNAWlL|sr@\Y_Qr^`hgZUxzkvxN_DT]vyMGrvTdbgpR^lWuUxWHov{RpJFcv|OmD}}IWL~b{XVJdpr^|mbZjyB?w?PodCEk}M?TNDrzeMB_HKzVXWDWwBY[uuY^EM@BwlTam@Raw}?XZiL?wEUOTnAAfM@s{}qCMACKL^yagr_c~PTth\GwIZjezi_zMAs[tPKjQR_pR{\@hcKwLRPdvA@`MBefxlpfsR_{}UTZZ`?wxNauVebZMCTcpZz_kb`HNYkbr`LBMW@WiwwSNvD]EV\MDUzdnDgPb`XFWSTytOwVT@vPEXMMECtD\z_ZB`diHZ^H|owYNgTVawZMPBxXeCgxb`pXVV@gJsw\RxZHgw]OuU@AIxMFr}\VkdyBa@nCZsIDCw`PwtEIl^MGdPHs[eURaLL[V`gF[wcYdEw]^fMHRypUBmHbc{}`XbyNCwfUWdpEBGMIC~AqdMISMP_ZapBag~qT|x^KwjZru|m`[MJC]xPljYbatS\\HxeOwmRXtxEAAMJuh|mQf{bb?}vTbjbCxYNjEXib{MKdet[[_srbLNzkkBbPBnWHgk{wtN~T_IV}MLe|hnegXrb\FxS]IvSwwTIFRIXnMMSvH][_bRbhiiZfX~swzNodXew{MXRz\edh@rbtXwVHwLww}S@jJkw~O}eBEJYMOC?`WLeARcDndZ{YFGxAQ@DGMm?MOtRLs|e]bcPL|VhwH_xDYlUya_GMPb{tUcmPrf?~AXkIPGxGU_trIBhMQT@ErEMQcOT_{axRcl?RUEH`OxKZ{E~q`|MRS_|QMjarcxS}\QHgSxNRaDzIAbMSEk@mrgCrdC~WTjzdGxzNrUZmc\MStgx[|_|BdPO[ksRdTCOWPwn?xUOFdaMW^MTu~loFgaBd`GYSeYxWxXTQVTMYOMUcxL]|_jbdljJZni@wx[NwtZix\M`b|`fEhIBdxYXVQGN{x^SHzLox_PEuDIJzMWSAdWmeIbeHoE[CiHKxbQHTIQm`MXDTPt]eereTM]VqGJcxeYte{e_hMXr}xVDmYBhC~bXsYRKxhUhDtMCIMYdBIrfMYsQX`\b@bep?sUMXbSxl[CV@ua]MZcb@QnjjBe|T^\YXiWxoRiT|MBCM[UmDnSgLBfG~xTsJfKy[Nze\qc}M\Di|\]`DRfTO|k{bfXCpWYGpCxvONtcQX?M]F@poggiRfdGzSmiz[xyTYfVQYpM]szP^]_rrfpjkZvyB{x|O@D\mx}Mhr~dffhQRf|YyVYWQ?y?SQJNsy@PNEFMK[M_cChXNeQrgLof[KyJOyCQPdKUnAM`TVTt~enBgXM~VyWLgyFY|u}i`IMaC?|VemaRjH?CX{iTOyIUpTvQCjMatDMsGMbCS\`}bHrgt@TUUhdWyM[KfBya~MbsdDROjrRh@U?\ahk[yPRqd~QBdMceoHntgTRhL?YT{ZhOy|OBu^ud^MdTl@\~`LbhXP]lCrh\DQWaWrGyWOWDeUX`MeVBtpHgqbhhH[Suy|_yZTavXUZQMfC|T^~_{BhtkL[?IE?y]OHT^qy^MqC@hgGhYbi@ZZVagSCy`SYZPwyaPVUHQK|MgsElXoeZBiPpG[TILSydQXtMYnbMhdXXu_evRi\N_WAgNkygZEF?m`jMiSB@WFmiblL?dYCyVSyjUxdxUDKMjDFQshMjSU`a^bQBix@uU]xf[yn[SvD}b_MkCfHRpjzbjDU`\ixm_yqRyu@UCEMkuqLoUg\bjP?zUCjjSz]OKE`ye?MldnD]_`Trj\P~lLBj`DrWigtKyxO_TgYYAMmfDxpigyrjlH|S~I~cy{TjFZYZrMnS~X__`CRjxkm[GYGCy~OPd`uz?MySBlghharkDZ{ViwUGzASajR{zBP^eJUL]MpCGpYPebRkTph[\YNWzEQaDO]oCMptZ\v@e~bk`O@WIwPozHZMVAqaKMqcDDWgmqrnP@EYLIXWzKV@tzYDlMrTHUtIMrcWdb?bYRk|AVUfHh_zO[\FGAc@MsShLSQkBrlHVA\rHoczRSBEBYCfMtEsPovgdrlT@[UKzlWz~OSUb}e`MttpH^@`]Bl`Q_lTRldESWqwvOzYOgdi]YbMuvF|qJhBBlpI]TFZ@gz\TrV\][SMvd@\`@`Kbl|lN[OiIGz_OXtbyz`NAcDphIhjBmH[\VrGWKzbSizU?zcPfuLYL~MxSItYqejbmXqI[diP[zfQiTQaodMyD\`vafFrmdOaWRGRsziZUfCualMysFHXHmzBpT@fYTYZ[zlVID|]EMMzdJYtjMzsYhb`babn@AwUnXjczp[dVIEcaM{cjPSrkKBnLVb\zXqgzsSJUD]DGM|UuTpWgmBnX@|UTJn[{_O[eeAfAM}DrL^a`eRndR@l\bnhEtWzGxSzzOotkaZCM~FI@qkhJRntI~TNjBkz}Tzf^a[tM~tB``a`Sro@lo[WyKK{@OaDd}??N?cFthjhrRoL[}VzWYO{CNLTKqu@N@S[@bvbgBoXBMUsxk{{F[ivJ]cwNACkhTHkPbodVx]?xs?{ISOuEuD]NAuvlpmgrbopARUYg?k{LOaEfYfWNBdsd^w`jro{|?StzWo{OPquOIMjNCSLdZ]eubpHqu[oiSK{RQtTTQpPNDD_PwMfQrpTPMW]GUc{UZ`fFebXNDsHxXt_Dbp`ARY_Y]K{XVTE?MEyNEbslRaldrplFUXBWzW{[OxDmeZdNFVKDrLhRbpxJ_TVzDo{^UBv`e\UNGDDdaB`\BqDmP[`IMO{aOiTgA?`NGsHxiKhzbqP\^WBg[S{dNTdMuuaNHc]DcWboRq\BnU|Hn?{g[rFLadXNISmlTikXrqhWY]HN") dhar7766nx = dhar7766.networkx_graph() # List of graphs to process graphs = [('dhar7766 ', dhar7766)] 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 dhar7766 :", nx.degree_histogram(dhar7766nx) ) ''' 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') Adhar7766 = dhar7766.automorphism_group() print('dhar7766 :', Adhar7766.structure_description(), ' | center order:',Adhar7766.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") ## ##