# SageMathCell https://sagecell.sagemath.org/?q=lanpkv # ''' Main properties of the graph dhar2485 | Ord.: 2485 / Size: 12425 / Diam.: 4 / Avg.dist: 3.61997 / 11-reg.? False / Girth: 5 com2331 | Ord.: 2331 / Size: 11655 / Diam.: 4 / Avg.dist: 3.58026 / 11-reg.? False / Girth: 5 Degree histogram dhar2485 : [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2485] Degree histogram com2331 : [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2331] Symmetry properties of the graph dhar2485 | Aut.group.ord.: 2485 / Cayley ? True --- vtx.trans. ? True -- edge.trans. ? False com2331 | Aut.group.ord.: 2331 / Cayley ? True --- vtx.trans. ? True -- edge.trans. ? False Automorphism group structure C_n is the cyclic group of order n; x means direct product; : means semidirect product. dhar2485 : C71 : C35 | center order: 1 com2331 : C7 : (C37 : C9) | center order: 1 Number of k-cycles for k=3 up to 5 dhar2485 0 | 0 com2331 0 | 0 ''' import networkx as nx dhar2485=Graph(r":~?et_?O?G?C?A?@??_?O?G?C?A?W?J_DoAw@[?m?V?J_DoAw@[@[?l?U_JODgAs@Y?l?H?JODgAsAG@B?`_OoGWCKAE@B?S?OoGWCKAs@X?k_UOJGDcAq@X?^?UOJGDcB_@n?v_ZoLwE{B]@n?i?ZoLwE{CKAD@A_`OOgGSCIAD?t?`OOgGSCwAZ@L_eoRWHkCuAZ?D?_?RWHk?[AZ@X?kOUGJCDaAp@W_kOC?HWDaAp?Q?kOX?K[EMBF@b_C_WwK[EM?u@U?poWwBgEMB]@m_vOAOLsEy?g@m_vOZgCoECB\@m_S?ZgNOFeBr?S?{o]WBwFeBr@x_W_Z?NKFe@e@x`A_`GOc@{CHAC_T?`GOcGQ@w@v@AO`GFoGQC_AN`Fo?_DOG}C^?t@Fobw@?G}AMAA@FobwHGG}CuAY`LOBOEgHiCt@?@LOegAWHiAcAL@LOegI_HiDKAd`QoE?G?IUDJ@J@QohWBoIUAyAW@QohWJwIUDa?G@WOkGCWCkD`Ao_j?kGUCAcD`@g@P_kGUCEgD`A{?H_mwV[AwAkAz`\oWOV[?KDv?s@\o[oToJmDv@t@\opoBoKYEL?x?o_pgWsEoEL?M@bONoWsFwDqBE`bO_?WsLG@QBP_C?sWG_EoEbBP_z_sWBGLEASBP`C_p?YKLECUBP`m_L?Zc?c?eB[_f_\oZcLqCCB[_Q?vGIgLqCgBN@mOvGQoLqFO?~@roD?BoM]AsAA@roxwPgM]@]Bf_o?xwRwLgFNBf`O_xw]WCgFd?^?S_{g@OESCYBq`xOe?]SBgFd@j@xOi_[gNIFdAk@xO~_IgNu@S?s@}oDOM?H_FzB|`P_~WGgNuBkB|`Y_{?^kNuDmB|aC_W?`CBS@}CG_O?]oSWOaGPAmACOS?`CGCGPB?@|`AG`CKGGPCS?t`CwG?CgGf?j@B?j_a[PMDqCR_l`CwP_PMEUCEAHpCwXgPMG}@uANOQoIgPy@kAP@[`FgbsKOG|@eANOdobsLWGaC]aNOu?bsQgCACh_j?W?dKCCCwBCASpIWXwQeBaCh`P@IW[GPoHRCh`p`IWegGoHh@`?t`LGH_I[E]CsaYOu_ecFoHhAlAYOz?cwRQHhBmAYPO?QwR}?K@k?z@NwIwJGEsC~a^oxOf{G[H~AwA^o|oeOR}H~BxA^pQoSOSi?a@v@?`QgKOJsFIDI_?`Qg]?SiCcDI```Qg_ORsITDIaA@QgioIsIj?[@@?b?ikEsEOBoAioB?ikNkIjA\Aior_ikOsIODTaipBoikUCDoD__R_bOQwUABoBR@|`WGAwUAGKD_`S@WGZGUAGoDRAoPWGbOUAJWBBAtoK_R?IGJVAB@n@@_l[?K@CDjaG`YwUWUmFGDjaP`V_l[UmHIDjaz_r_msBsDEAlAzOb_\GPCJl?M?U`\gb_VYD{Du`v`\gdoUcJlDuaW@\goOLcKB@G@V?m?oKHcFgC[B?oEOF?WEHME@`c`_W^OWEHqDsB?p_WfWWEKYBcBEOSoVGKKKXAc@~`HopcAOAEEKaX@bGY_WqGIEKaa@^opcWqIKEKbK?zoq{DwEGBMBJojo`ORGKn?n?f@dwfgX]E}EVaG@dwhwWgKnEVag`dwsWNgLD@h@f_uOsS?ODsCTA]`ggFODcLDDGBPOy_sSPkLDDYBI`ggsSToLDEmAA`jWM_LgFGEl_F_pOc?S_LZ@D?q@jWiWYuFiElaR@jWkgY?LZElar`jWvGP?Lp@~@q_zovC@gE_CjAh`mGI?E{LpD]B[P??vCRCLpDoBT`mGvCVGLpFC?A@Eow[GgF_ByB`oHOZWRWI{FB_l_]_w[UcMFCJB`pN?w[VkLkFBb`p^Ow[[{?]CeBfOdO^WOSM\?o@r@OOlG[yBKADBfP\?xs?GGkFMab`rgoo[CM\FMbC@rgzO@gHaFX`O@@_a?\e@uBpAe@\?zKFCC_FXa~`uW@gQCMrDQBkpcOx_\eMrERBkpxOCgRoNHAjAG`Eo{cCWFwDVA~`xGN_HkNHEIBqOE?d_]QIyFcbM@to{c]QK{Fcbw?K?gw]}DkC[AR@zwIGO[JCEIBvo`oSo]}KiFn_P`Lo|{U_N^EfBp@zw|{YcN^Fz?\`S_~SKCHMCpB|OV?aOUsKiFy`H?kO~SY?Nt?mA`@}gmW^iLcFlB|P}gu_^iOK@EAma@WX_RGHwGD_r`FOn?Y?OJA\@]A@WtW_U@qDLCAp^`?kZsNoGDcApnp?k`CAaDgCGOtofgS[O`@qAS@_otW`ADOBFCGPl`ACCOIoGObCaCGx?_KO`GObdACHB_DoJeGZ`p@Q?iO`mByCrBF@l`B[JKEcGZb_aEwHwUKOvESCLpsp@o`mOv?BBiaExCwE[J{Ge`u`SojgaYCOC}BK`oPCsJwEyGebeAHgJOUwPLE^CRPv`BGaYPL?MBoAHhEOFGKQGp`{@V_l?bECeDHBQ@r@EKKcFOGpbjaKWKgVcPbEiCWpyPC_bE?CGp_K`ypEKbsByESC]P?olGVKPxA]Ai@joywbqEgBrC]Pw`FcF?KGG{bYaNG?O^OP]G{_EaNGC_^WPxHG@C@fpG{OwJgD}CboiOjwZgNCHF`n_~`G{]sQN@zBFaPww?c]?YF~C\APwB?c]@]G@CbqSoQWYgQdCXA~`aPIS?WDgDiBa`zPISMgGQHQb{ASgOoXgQdFJChOE@@OcSQd?bChOM`@_dIQ{A]BYaVWc_WgKgH\_G_nomg\?NoH\`y`D@Jk_KQzAPBQaVWyodu?A?bCIaS@JkAwQz@DCJaVXLGIcM?HgaV`dOrwea?wBIB?@up?WeaG?C^CsQB`LCHoL_HgboaYG@_AwP?HZCsOMPLCD?PCHgcy?l?xWfMHsE_BTA[wCwLSKUFeCFA[w`WQgRfGXCxohovWfMNWHr_J_MPDWeWRf@CCxoUpDgfMR}A~BjA^g?WSSLUEtC~OK_[?XWNaGXC~PD_egfyPGH}`X@p`Ns^[R|?F?P?P@EofCR|@NC~OX`F?fySSBIBoaaW@oT?LkF?DCoNO\WYCNwGcDCpGOg?geP]IH`]`sPPK_GSR?Q?U_RpGGfoSR@YDCo[PGWgeSiBTBuAdGBGTkMAFJDIOQ?]oYoOMGnDIPJ?hWhQPsIS`c@v@Qc_sSh?\?[?U`H_g[Sh@dDIO^@HohQT?B_BzafwC_UWMWFUDNoSo_GZ[OcGyDNpLoioh}QII^`h`xpR{`_S~?g?`_XPIwhGS~?B?wAfwOwdcS~Ij@ta?`TSA{JaFVBoaigJoOoMCG\CaaiggOUCTTHODTOv_}OiiPEIi_X_R_M?eGSyIi_A_B_NWiiCcHcDTQl_]o_sTj?yA}@w_|_jUBQCVBeaI@I?jUIYDkDYqUpUkMcNyItcVAlWFoDcBuHlDSAlWA?@cCKIt`MaZpUkkCGAGWD_OPOow]sNmJ?_y@G_z?bKQuJ?ak@\pWC?_RKJ?`yAA@WC?gPqJ?_c_X?Oof_TeJ?_L_H?QGkADOHyD_Qr?`_aKUV@OBH@}@?OkmB}ClBpaN`KokmJEEADdoCpMGkmF}GRDdoDPG_kmAg@n@Ga_pVokm@K?n@MAqwUWgSUVJVAJaJ`YsDkKyGBCEatgPOR_N[HHCwatgloWsUl?]C}Atg`O`wUl?_CfatgJwFgCwIMDcatgEGBgDMJU`^Ac@YsmGHCGxDooX_t?_wOoJ``I`Oo~GdORwJ`a{`e@[KAcSMJ`aIaIP[KAkQsJ`_t?`OSwhcUgJ`_]?POUOmEEQIZDoqzOdgcOVX@pBXaEPCWmqD?DMCAAVpOwmqKGEbDuOL@QOmqH?GsDuOL`KgmqBiAO@XAh@ZwmqAM@O@]azGY_iWVXJwA[ARp]{FoL{GcCVA|wTWTcO]HiDHA|wpwYwVn?~DMa|wdWb{Vn@@CwA|wO?HkDyInDtA|w@?DGAuBGDzovpUGn]WEDBClB?gOw[cP]GxE@Ol_k_`gRiI\E@Pe_vGoIASIgE@PL`HOoIAWHzE@OaoSoK_TsJtE@OCoJgEWEeKA`tAn@_SMIDSFIEEqc@`kouCgAyBNAX``kGSPIIeDlbBX`kYOQCHuEEqTPROou@aKLcvOQPEop]G]KVeJoFO[ga?QKKV`Q@HOjO`CWnKV_P_oO]gp]EgCXEJpnPa{MuDiFTEOqepcKqEC}BDBSa[PcKH?P_IpDrBGXcKY{QYI@EIbGXK?iSXB?{EOq]WI_cCXVCYETrIwD?N?PUHPETojoe?USOwKjeToJ_X_O?W}Kj`n`H@d[[_XVBw`_@w@ekiWXjKt`T?s?u_foXjAZC\an@]GrUXjEyCkAb@dGrURUIoEYoPpekgQA}HKE^pHPf{r}@eBzCZAV@f{JgHuDoCRbNxf{BcEmCJEXbNw\OQ{X~FRE^p?wXW]kYRIpEcrQWUgLkL}IFEcoh`Gok[VwLHecppPKWh[XyLHczAmphKDGYRIN_tATpi[R?YfLR_^@@`GGe[YfBDAb@]pEOtMYf@C@p@D`gwtMFiCyEhpv`aWtMG\BUBzBVXV_tuYzB?@r@q`QOtuDaHPDhB@pjktuM_HmDPBSPjkgCUKL\_mbFPjkhiBiHaErpMpk{u]AQCPCeA[`k{L?IaEEC]bXxk{C{FYC`ElbXw_?SSZNFhERbXwbKMCOALpdbb[XagvEEUBpBiafPmK?SDwH[Dmb[XmK\kRqIlEqb[XP_lCZb@gEWb[XSkG?RYLzabB]xbwvmAgC[Cja^Pn[LkIwEPCcB]xn[DgFoCkEvb]w`WT?ZvFsE\b]wccMoOWMDdhB`XdGwUEkB{BoAi@ok@?EMHfDsB`Xok]WSGIwE{b`XQwlo[J@rEab`XUCGkRoMNagbbx`wrK[^@^ARaW`P?w}FKDfBMASpp{pO[^@dA@`LpoWw}GkDZFFp~phww}H^BvCJbeXZgxeWqK|FKowO_w]kTeMX_L_s`MOnK[rK]FKp{PPwkK[YMXdPAxprKFwYqMXd\od`OWyMIwMbePbPps[EgHcHlDHbgw]GVGLMH]FPrI@s[F?G[DAFJbgwcGUW\FGIEpbgwfSOGPCKSFUqy@tkqsYaMl`u@C_}ojw\Z?e@ma^P^oyuXcMlb}Ae`XoyC\ZIlDxBjWPGus\ZJE`Oab`boz]JMMveZbUpu{FSHyHwDNBlw^_VsLcHhEGBlxf_z]BuCXAebipu{QoJaMvcIb\pu{SUGYGlESBoX]W{EYALdF_o|obg_CUQN@_W_y@P?ocWsN@ebBoX?wiSUqMtF_qm@^g{ECgM@F_qsWT_hcXcNJaxBD@x[skZ]NJ`?@Q@OWic]VCFBC@nPM_qO]VLOFdo`_c_T_\}NJaZ`^@x[a?[UNJagPE@F?ro]jJ}EIbF`yktSZqNTa@@I@@_lO]j?F?]?{pQWqw]jLYFiqC`U?mO]QNTd`bA@ykH{[iNTdmOlpS_sW]~D|ENbI@z{t{[EN^`D`SpPojO]~CQBH`q@Nwr_]~LcFnocOdwUK]eN^a`@`pz{ak[}N^alpGpGWt?^RKHESbK`|KpWZQMLFspBOeW`[U}Nh_H?Po^ohwYCNhevByXBgjkV]N\Fso@`Xo}eDSMhFsqxwWOi{YsNrbCBKpf_~MX?LrFJb{wQoTwSqI~FxpFOro\KSSLKFxr]@}[HoHsDmFrb{whgXG^fGuFXb{wksQwQ[LcF}o@pfgsW^zKiE}bgP~kP_H{GaDtB~WBgDGGQIhEjB~XoO~uPOJED|B{P~k@CUqN|`YbnP~knIEYIyEvC@wqWs[Y_OFeYB`ptX?]DADhDQAqa?{Q_LQF]DIbWA?{wo_NAfAa`]P~X?]IoE\GBqOPwx?]JbCxCkb]AAK@GYaLYGGrN`qGzS_bCbAcaJP]h@E@O@\AIAl@lP@E[kOPcXasP_h?S_b?[DqCCWW?|C_bJ|`kApPoP@mK{LZEqCExh?xk\}OZ`U@\@TwlS_vCrBY@yPS?vO_vM_GLok_i?WO_]OZap`iAB[co]uOZa}PP@K_wo`J?\EqbZaCktG\INHGQpJ_i_b_W?Od_X_Y?bwj{Z{OdfTCHW?WbwUwOXGQoHp\xAUEUNdGQrAG[Wl?[kOnbSbC`lwv_`^L[FVbsqD{J[J}IyDoCJwfoZ{NgIjFCCJxu`A}DyDZBFcGqD{UwLeOncjbzqD{W]I]HnFOCMWD?poZqMAG[rX`vG|s`rCxAnaOp`Wow`r?}?x`I`XOxG`rM}G[oB`HGm[`YOx_XA}aFKLW^qOx_BOz`ZWygaFEsERB_pp`CMZ_NBFrcOwWOWgUIJjEKCOwhG[gN}IuFMCOxx@CMEODeBLCLqG[VcL{PBcpC?qG[XIIsHyFYCRWEWr?[YMUGer]`xg~CaZ?HAa@Y`HoqGaZ@H?~@LPYgyWaZNQGeoEPI_nGaAPL_]b@QHkMC_YPL_Go}P[ozwanE~E\Bdps@D][GNVF|cTwXgXSU_JuEGBJAI{TOMiGID_bkAI{|oanBRAw`hQHXD]KGFHGjqZQAxD]KzDdDAbqAKKBwYGM`FTCWXpo}C_IP`_I@RomgdcWsKuGooT?PGS?V?MyGorxaKKAOQ}J|GicWW?WC_bBBkGOcWWBcOOVaNQGtpq`hoyk\gPjfKByq@xEmEoE_Dlb?Pc_s?bVD^BoADPX_{ObVNoGtov_n_Z?a}PjbF`tAL[f_`UPjbSP[@Q?|obj@HEkBlPvpFU\CNtGKc\WBwTgK?HcEVBQaMkD{CgDJDtbraMk~gbj?nCtBAALHFU?[@RGyo|qEhFU@NCND}BxaN{\SZCM~FcC^xt_~{`EP~`p`ip[oooXoLSG~pY_|Wa?UmNWG~s@AN{McKMEzGxc^wrO\{b~IBG^c^wu[VkSuNoHCoT@l_{c]cQHeGbla@HAscR?iAq`apLwsGY{QH_t?foionW^CQHgFCaW?oBgRiP|HCoEOJpGeGCPHHCoKgbOo[^sQRboB\`yW|ocfKZF_CCqExHM?SBmBZA{Ph_u_cfDtBzAIp[O}ocfOWHHo|?qO[WcMQRbQ`yaQ[gwaeQRb^P``Sp?Ocz@^F?BvP{pHuXINIGMcOQRkBSJ_EUC|BT`mPHuBiAiAob?P}pHu`CQ\_G_PPO@HCcz?c?scfW`hDscz?|_A`HPaH?wdNFjFDBxp}@I]X]NSGRcQqS{@SFqF@D}BW@n`I]K?G@CZAzQ?@I]`WQf`~`fOyHHkdNEoBychxRHE[dNFHbGakPbX@_db@iFIB{P~PJEXqN]GWcTQUKC?JuE`DAbY`opJEC?AtAuBB@`x?gdbOuHWoF?I?gkdIQp_V_\AUKP_baQp_cOC?e?qS`CQzbzBf`~X?OdvLBFsCMqJxJm@?CCBeB@pm_x?dvEJCEAOP^?pc_gQzg_Cmw`OY_MwQnH\pmp?@JmTGPzH\ptGr_joX]OkHao\Pt@?S_[RDeeb{aGhEceJ@JBB@j@Q?vw[sRD_D?aoW?V[XEO]HasQaWkA[AuIUH[cpWFOF{eJCbHAcpWI[@kHuKxGZCrx?GzG_]OWHfrTp~`C{beRN_A_Io`w\[[OMcHfpd`AwcoWEKlGSCryI`K}GiErBrcoqX{[WOURNdVcbqX{\}LMJFE`cOAZKG?\wOXGPCuXkH?WaqP|HkoT_qGZ[SuMQFVCuWAgHWEUEAEZcKaZLDwer?q?rAgQXhLeAIAIHkpJaRHLeA|?eAbBRQHPMMOWNEGPcJA[[uk__PbHBcwwA?BWGsFaFMBmA[[?CLAGaCjbOQF`MMbORbaO@n_}PL[fFFPCJCwxVPIKfFFibXAs`ixDOfZAJFgCJQEpMuZiOYGuccQ\kECKwFADRBh`wPMu@?A`@j@bPhXCWfZPqHuoNOMGiofARl_g?dQ\kRcdYRl_soKOiGuCa{RvcJbuaExC?fnL~GQC\qRXN]?u@@AQ`zPu?{ofn?KBUAJPKOtSa_Rvg}C|wdW[cNyRjHzpv@CHN]UIKOHZc|w}kZsUyLjGsD?WQo}OaAPII?raQDpGCdIS@_u@hoxgjC\sNUI?oIoT_MCKoL^GlD?YOpOEAO@{DZc|Q_KDkD?S@aaBEaWHOEBh?{AmB\QMPOmPCNmGdcTA`[xK`oQJHVdAwCoCoH_FwFaBwA`[@[LmGwCubYQK`Omc_SJaZ@t@@@N{gVFfCUBBq`[l?XGRJIDq?Gx?m_Z}P{IIogP~@DSa{STfMcOaQhJcgj@vBX@u@V_{w^SST_Z?lo\_YKZePmIIseaakDKCMJAEFdAQakEWDUKXIIpRpdpLSgj@~_b`XppHGWg~GlG@CVqL@P}\MPKHNcoqb{BCAmCzC@bu@}`P}@CFAC`a]@nhF_g~QcINpOOzw`KWqSRINp{`EwqKg~JZE[Cvqb{_mMeJrFHccAdKIo_WPhGxDIXaOzCakQhHedIWOOZsNEJFFpB~adKCCECBvBVB`qOPQed[Sh_n?c`XgqKgySh_w_l`dhQeIsLAHsdIWPSDGJcM\HLDKxF@@WbeP{IXrF@vXE?deRVIXoN?KOSWO[NkGCDKwDg[sQ[IBFGcbAe\J_hfDKBtAF``oqshMSrb}aO`exRMVKLKHxdKxAs\wV{MfHQDNWUxA?byQEI]rH`whEgdyR`I]obOx?]wUcNuGHDNWH_KsGCExFLcdaflKGhz@h@Mau@b?r[haS|_}?oPgHRuJILUH}dNWQkDsJyMpHVDPxGXAgcMQOIbrK@xxFOeMRjIboPoLgTCOqO?GMDPwF?\_QqIMFQcgAg|KoiNDVByaIPcOsChuTFcCARPhXS]VaL_IBdPxCK]cWQMzH[DSWWOp?`gQPHLDSXfO|cb{RPHydSWR?\KNqJ\GDCHaiKD[EoCLBaBjqTPTEekTP_y?i@[WpKXWLJIadSWOwKoYiTPawBYaaHTED@@gBCBpQWPTmQ[KYG^CeqS`TmYGNbHCCuq^xTmAc@wAmAHAA`B?iv@BBpaX@RGzcdgTZhoDUwkO_?PgK\EZBTQhxTmOeHWEndUx^_vOguTZcUO@o}_{{eWTd`ebHAH@ISd[TdefBzQQPMSgQTd`P`v`?_m__{OyIqoW_[WP_M]NBH^DXY\PUUB}ArDvBHpg?t{iqTd`H?tplHUUJuL}IQdXWT[FKKeNXHjDZxJGqwacQnH[DZxj?~[cwRnIHdZwJgGKJMGnGSCPAl{CwN[HnDQBrQX@U}fgTnauaApFwrCYSLhIpdZxBoeKW_LrIvr@pp@Q{j^Gv_H@~p{XM?jrBWE[CVAVHKGjrLaG?cha^HPsjrAmBsaBp]XBGa[Tx_u_z_cW\g]mRQI{s~anKGgD{JxE\bT@mXUsjrA\@pBE`nhVeKKMQI[d]WUsFwK{NlHtD_xK_sGbKRBHeD_xl`?kd_SBIRd_wL?GwJcGyG]CUAo[DcNqHyDVbwQZ`WMgOUBa{AD`HOsSY{L|Izd_xDGewXGMFJ@o@Pr`SKkFHA_MaA`}xNOkZBbEeC[AXhLWkZLuGIcma`hRCkZAxByAE`^pCWbCUL_{?}Odo]S^UReJErDaaPWuCiBHEABRpl?w[kAUL`S?zPdoxCkZEPFRDRQpkKECQEhG?c~aq{e{YkPyHjcwAq{w?_}RCIJdMqq{FKCqD|CacSAL`X]BGGCDAam`}hN?knK_IMDdwoWaCQiLXExBcQpXX]PgHxE[Beqq{@?\_TVJJqRWD?`S_USGJOoz`k@GOfARiJOraaDHKwhATDJOop?~waSWQPYGzDgWOWOOHqFoF~c}asKqghKU`_@?g?Y_uKZwMZJIdgWUWN_YCMdJOpf@vPUClBBK`I@lAAhPGlVHyEtCba\XNOlVMSGXcuAdXS{lV@}@Q@a@I@EOc?Uj_vaBpQ?kS_QSCJTrLAe@YmK[GkCoBZPooySk}Ujc^a`@h_y{lV?ZFaDYqt[da@eG_GNdFAukNcZgQWHyc~aukxw`yRaIYdUQuk?[E]GICWCZaPPZUC[CNAa@}qAXOwljK}I\DlW@gIkE}LvFGBjqtHZUD{CBEjBmQukY[][TtJYotwRwZ{`QSeJ^q`PnpIGf}SGJ^riAGxMoh}TbJ^oaOTwXKQuPwHIDnwNO`gSuJOGMdEAv{s_iGU~bKaLpLWwC[sMxJXdnxHOg{WgL_F`dnwCo|_j}U~cpoN`DXBKh_VHaABaAT`OcgcVHfXCSQ]pScjYVH_H?u`AgbkcCQ]JcoeObOS{OKOfIPDqXiPSwmR?W@Z?y`pWyO]EU|JcoqO`opwZSNLJcpk`{PWcmRA[@xaG`TGjkdZ?Y@X?{pC`UEFeCaBvAk@upGShvBrAfARPMgwWg?Tt`x`KQPXPgiTBT@x`RoqobghWTi_p?\?kOZcVOLN`o@]?vGmg_F@hB[`y@U_q[]yS]_B?J_vG`O\COVHvPmO}wqs\wNkbL`mPAgdoW?NMGEOgOd?RgPOH~HZogosobwR}Tj_u`JpNwiw]?QNIaor?]_f{UsMOIDD^xNwjsciScIiDuGAgJcRAH~DldLamcB_JMFmC?Az`jKB_JQHkEACBWF?E[HeFtEWbxqdCB_CeEQB\BjACHNa@o@uEZbp`}p\y?s?w@I?uonw|__lAf@~AJPU_kWeB?d@]_~`DxVUF{ClB{ampxPHci^B}AkaU@O?xgggUH`~@NARxQwi{Vc`o?~_jOYCQIT?I~OZONwUsMGJrEpoyooW[OViOV_y@p?}Wj{XuNpIXOCOFG[OO}MuGTd?gw__GYANOG?Dygso[OP?HfEDbwaCCIoHeDDCXaaaX[IwLaHHDDD^wN?RgSSIxFiCgqjKL[F}IIDqbhAbpXMSSJGHSdMAl@^A@?BCCuAa`[pSgkP@BAx@}P@WncZZ?A?``\@MxAEAE@qA^A?@gg~khx@B@N@fOwg{?`iSK_`__PhW|g_SVu_Q_OoRwMWKSNkGTOk_`Gb_T}JPHioK?X?OcPsUHaC`M@?_kW]{QlIppAOk_eKSUMmISDfW`GS[deTAIxD~G\WOcJIEkCgDTAqSF_CSDwBfa~`m{NWK[FNE?CIwNw[{N{JIEfc@Qgs@oAGFNCTBqaFxPYM]GLEibxAA`_I?QEpBfaIpMO~W`hAvA^@S@FohSe~AxB]AT@QhXMCEDDDIap@|@J[jZBaADAdP]?z_hcUfdIasqVhSojwWG_T_rpMwhSVaT]JMOR_ng_OOkKCF?oBOHoV{SCOt_f?^OhG_kYqONIgOR_TGY_M_NSGcdGGHoGoY}NmGNEBgE?CwDSBpBIc?AFsJsGgHBDdAvA\KBkEeCSCadfWa_SKO]JPFxCoQm{POJ]HmDJBoaf`ZEGgDQHbdTaop`QFkCSAw@lpJXU_lLAB@I`_ozOoc[VC@BK`u``XB}CSFYCCatPkX@cit?f?f`u`Eg|waeSiblAE@lG~_`OWY_I@n?zObWRyOIGcOo_hGTkQQI_Hxop?wwd{T?Uf`F@S@S?k{^wRJJ?ozOagi?VuNKIbDmxS?lweaT_JGEGGEoLgSCI_D}D[auC?GAqEGCFaGPqk@_AqEIDEcQWJGG_IgGUEucGqkcDcDgErBlbyAJhRQAqAVExc?aEPaY@u@X@Y_~?s@@OadBGANaR`Ygm[fyVV_b?v_bwd?lbC^AfAE`Z`?WeiUJaN`]`NGiC]kTOJapFojhLkjSUYKUP?ObwVkMCHeI}Dmg?wGwD?EMBqbfqzk?cGWEcBqcSwQg]SOgJ_EzcJQlsBGAsFdC_B{aKxRyNIGbE}cBAF`bI?}FFBqaOPP@@waxBLAi@X`I_ikgMVb`f`s`LOiklvAXAlaipZP@?e}UT`{@G@TWoW^?TYJfqip\HMSjgUcK[OOO[ggsTUKFJBDpG@gEOKeGYCUBiQ|KAKBGETDKCVQy{EOCeD^COb_QExVaBGA~B^@x`~`FCiP@c@PB`qApCWp|@E?q?o?_wYk`OPe`h`I`JGm?VcSPJvoSO\GQgQuVDJkDvWdOTcPIJfGLCyQr{QgKIICDUBCp|PUQHSDgHvd^atpcQGWCiBB@rPMHX?m\?Q@K_iorG^?\eVt_I@Dotw^?bMV]Jpog?}?`{VUMJG_d_gFgESN_HJGBC]qiS^?P[MPGOCSBHSAgMcFoCeAcqEPFAEoD^AwaVpUpPknvBYBma\PUp[{nGVh`Q@X`UomS`GRrJSo@?_WQkTkK\FyDZhUonOfqUGJ[ESG?gCoF_IWDZBCarS@_B]E]CQaLpvh_E@[@nBOAgqMH]gn^@n@N@Y`D_xSaUUK_v_q_xG^C__QDImOZoTgxk`SPYKjOSOLwKkGcEuG]C]gZoRSRGJjD}dHR?{DoFgCtCrBCq}@^UHiDcCWA{aDpNslfCtBGAbpUwq[^{TwaY`[q_XXGmCX[aJ`LOqG\_RwK[JQOFOS_JWLGFzFbeBWBwQGLsFzG|d|a~[IkNuGiDzBfqIhXYAO@oB|aTaBPG{jLFzC[bhQE`EOrD?tBm`}pIwhwaKQC`p`Y_n_egUASnKHoxO|?g?UAK\J}E?WTwVCUAJoG[D@qvk?{G[CuD_bKQ@@WIUAJ~IEdfAx`ea?_@V@|agpWGqWl\?b?|@iPE?cG]aWX_[_]_tWiwcIWAKBo]_TGVSPmMhGndgGNOLSMgF{GQCeQmCFgDoMnG^CZbLsDoBsBUAM`oQI@GyFQD?Cva|``@Rco~@f@~`O@MGq[oOWLa_@ZpFWnsaCSPJbpO?rWhgUCKzGHDbGg?VwW_SVJRE\GcOS?KwFbDBbKAvCA_D]B@BVa@`zXaU@SClBaa@aPx\Wo[WR`ZA@`EgoC\ePhJTOSoNW_WRAOmHPd]h?ocO\qPGG{E]gG?]_OKHaDScUaRCMwJiEFCyarAgXamF_FrDDar@eH\oogWX`\@^@X_nkaWSZJgdswBOPcIAJKEacFAqskoWSKYIOdkBOC@kBCCEDVAr@fP[I@[ADBYAMpHg}Spb@C@A`l`VHHcnCWYKNo`OU_W?QCM|GxdlAzKGSF?F^CBcMAThWQCIBBF`cSaOPgYBMAD@o`I?x`EOdD?E@y@QpNOoCiYWv_x@A_hWfoXuVgKOEHWhWVgQKKGEIcTach\}IUEeDQarPhxAWl@DJBCbHAdXZgsXClAd`ho|ohGYGVK_X_m_X_ZgOaNnK]oLOf?\?OaQbJvEHbD[KCOaH?EEBpqNhZwnJ@]@BACPL`CGdmUMcGaRpxhDocWYQ_d`{pAGesTgPmHUO}Oo?XGS?JVIjeOw^W^wSkJVEad|BD`bEEIEFDjb@`bxE?h]Vj_Q`H?h_l[YqOoJTOA@YwqwhiVCLKOH_LgPCTqJVEGBRgFGH?L}HECkB}RHKC{C_F@DaCjQ~PbGpnAO@^`apHg|CcMVGJwoc?\W]gOcPKH_deGQ?Kw]mPeHJEfgMOH?FWCrBjc]AUs@CF}DUDAbBAkHc}ByCTAjA`phx_?poW|_B@T_ogdCXQPiI[d|wioZCT_JWEpcMaucTWKgKwI^drbScR_IkEqB{afPbOta@{BD@j`pPB`?Kqj@?A``upB`J[oKW}K`oA_X_`oQUNZHGdsa~kEcCaG[CzcTaXXYIOwHYFoc[AS@iiAkF}CMA]@VxGGe@CCBD`fPPWmGjUXZaBAAPSGmGYqWKKaEQW?_L?KcJaEXc\AgX_M@_CnAjaw`lhCOl|?RDpBC`gPSct`?p?{@F@W_mGXGLa_a?eoxOdCREOLKooU_RW[oU]R@KHEQbH{HkESEUCkBD`{hHkoRAZ@z@|PBhE?eiUk`L_uP|XFgdSYu_}_eo]wRwNCQKHdOA_B_OgJAIOIyeXwP?Q?JAIQEpeEBI@dU?aD`BGAV@fhFwiYWNao`n@VWmKZmPMJcPWOrwpoYWTRL]POokGZsOGIgEVBZGHGL?FCFOCRcDqyheuAUDMBrAHqXX`wqkXZ_I_tpCwdWX?NnHQeDWM_HoPMIAGtCvqusa[RINtHAClBWSECOQGfD@aqaQpLQG]EUBSAd`\hV{muXraGaD@T_msZYWcKmEWW@wLkKyJlEbcaAix`m@uCyApAzPoHD_mcVS_NAzPcotWiyZG_]?_ocwk{VYKwEzORoSo\SQwHmGOdwRNKESDKFVDlCtRDPeGrNAe@i`gPKWqg^qQnKOoh__G_?POPsHsdoAzSIWFGN~HFCnbXsG_DKCAAc`zQS@Ly?i?fAI`Z@RXWcnMX~`H`Iol_hsZmWoKsEZWB_UoKuHfEgccakHa]JWFFDbAz`aowkbCV_au@i`e?u?jMZSaf@Z?x?_{TeLAF?OT?ZWMsMuGqGTdzROkDWIqFpCXCvrEpewrf?_@pAK`KGrO_EQxKUo^oSwbGSYP}Hxdqa{sbGR_OHHKCqBZSEoOgGqDFAtQTPMaGsE`BXagP^@XKneYJaMAFpUwn_[AW{KyE]WBOMWLOJwElcfAlXbMAKDDAua}@c?xSbWVk_Sa}@fOugjaZ__b_b_eOlgVoLKFDOU_UG]?RMHxGYd}RQKF?DaFaDqcyRGPfgr~Ap@o@j@Lorw_YRBK[okO`__kPeKMHCC~Q}SJCF]ORHPCsb[sHKDaCLAi@}AU`NI@??qAO@\pSpXsn}YV`N@L_mwi_[UXGL?E`WCwV[LKHqEqchamhb}JmFQDga}PdOx{bkVwaz`lPg_vOjuZkak`\oyW`gT{LUFIOVo[oN_NKG|G^e@RRkECJGF{C]c{rHpgWsV?j@uaNPL_s__mRLKaoa_UObsSoKWHHD@q~sbsRuO\HUCvB]SF[O}G|DKawAVpNqHIEkB^Aj@_XY[oUYbaRaI`WOoK[iXSLEEcWCgNCLeKBEvckAnxcmAaDOA{B?pe_ycc?WC_YB?phovwkIZw_h?eOfgmSWEL_FNOXOV_]kRcICGceCRTKFkDwFlDwC~RJPhGsnA{@t`lpNGtG`ARVKgon?aw`WP{KaHMDCR@SJoFsOfHZCxb^sHwDwCWAna?qX@OWmh?j?]`IooOjClaWVLVoiOgGWGTeM^KoEeBRkBGKCEpC}b]QVPWcqnEABmav@__rw\eQIKGP__w?t_[OUNJiF@Gk_WGM{GdDcbY`t@\iBSBpA@`{PH@DKoyYt_u@Zp?wc_gMXeLNEgwEoN_QOHvEmCIq[HduCiA|CcAgpd`IWguWUccA`aEHK?f_VYMDO_`DOc_TGJjHhDCA{C?CH_EvBcalqvXaKtv?@AXALPXgycrWYcLSo?OE?NoL{MBHaDcrK[?CAwDZB@bQ@vhHOox?@?^bW`qPXcn?[O_?_VOS_S_V_LsFXDxgM?K[NkH|DFcVRDHkECKBFB{A}qaHfGtSYn`b_|_wOgOZKOtHteYWWwQGPAHHEZCkAchaIEMCDG\cqa^P\KnK[U`S_pocWUgO[R[ILDzGEoC_HkELD]DpRDxk]DgDKBEan`uXf_t_Yt_]`bOv_g_[YRMJMeZw?OWsNOJfEhBpqRpaaKYFJEuBfAsX\cnW[[av`bO|Gb?UgL}F]D{gMgNoG[F{ChcXrEhkuBmDyCHASqbXfwtkYz__`?pIWgGZ_O~Hye\WS?K_QeImE_CmadxayQeIPGactA_`\{nc[a`EaLPIWi{VkReIQD}G@_RkMCFSD`DrrFXlM?WC|C_Au@vhgOtwZ@_E?Mo_w[c[mRWJRe]w@_E[JKEMEmBsQT@bQ?W@IEzBhath]Sno[g_E?Y?TwTKVuMGFbD~gNWLGOAIGDLC[RGHleCaBQC@b@achgguCZF`h@?Oxgg{ZsPHH~e_WYOQsPWHSEdCpAfHbiEcCOGfcva`p]kn{[m`Y?s_doVSOqRoIVE@GGGDKIAEWDbbCrGxl}D}DVBKAqPwxh?uOZL_c@e?wwhK\ARaJWe`w@gX_NeJqErBuqUPcAKoFUF?BkAux^CoG[sa|@e?}_bkU}MQFgEAgO?O[GqGFCnC]rHhmUCCEDCMaVadxhWu[ZR_e@B`Jogs[GPRICebWTWLKQ{IxEiCragXcYQ{I[GkcyAb@^[oS[y`KAO@JojgWARyI[ECGAwSWMYF^DebFRIXmm?mDGCdawpyHhougZX_J_P_aO\O\URkJ\ecwAwFGJaEXEwBxQV`cq?m@TFDBmawH^so_\?_J_[oVOTwWKM[FlEDgOoLsOWIRDQc`RJHnE?GA[@maBafHiGusZ^`m`B?z?hg[[P\IHeeWZgR_PmH^EnCuAhhdIEyCZGpc{acP_Kok\E`^_vOfGW?PGSCI`EFGH_DwIWEbDhBHrJxn]ESDaBPat@zXi_v?Zd_h`goyOhw\iRuJaefwB?YKN{J|E|BzqWpdaLEF`FIBpAxX_cow\KbA`go~wcWVSMeFqEGgPWPGHGGQCscbrKhnuCYEOCSAYQgXiwvKZj_j`EPLGh_[oPfIMehWUoLwRQJCEsCwaixdyRQIfGuc~Ad`_{pC\Q`PaQpLGkSWWSMIeEIGCOTCMoFiDkBKRLXoM@CDRCjAz`{hjOvWZp_P?SObg\{\}S?JfeiwCOFsJwEcFAB}QY@eQ@C@_EFbf`xp`SpO\W_A?G_NoKSJQMoFvEJgQGM_OmI]DWCeRMHoe?]Af@sAEQhhjgvcZv`s@Do{WiS\CPpIRekW\?SKQCHiExCzAkHeiFOCeGzd@aep`kp[\]`d?y?g_WkP]SWIjELGIwEcImEmDmbMrMxo}EiDlBVAvp|xk?voZ|_n@j_zgicWeNHIDElwCWYwOQKGFFC?qZPfAL[FkEKbi@z@aCpg\cbG@j`@OdCViMyF{EMgQoPsH]G\CyCgrNhpUCoEZCXa\AixkWv{[B_p@H@M_iK\WPzIWenWWGMcRgJNE}C|alXfYRgIqH?dCAg@a[ps\i_D?j`IofOU_SaIoDtrGCAsIwFbByawpghgKwv?lAnAWP^G~cuW[CMCoJOJ_Q_NSK\FhdDBW[AsCOEFBVbeA@hMOrx?l?tbGpuO}GpYX?MwOBoDgGcE_DsFaC?azhcYCQD}FLbya^hV_kP?h?XbHPtw}gf~ARD|ByaCPj_w\DMBBbrp|PFwge[}`u@wPkovWa]Q]JWob?Qo|cbEQ]JXoS?]pHwekVeK]PkO|PGKc{SqJbeZGhwcO[}OYGTD?qiSM{FqM`HEdDqiSJKIqTQJDEnba`wAOgHLEOBlQexTGyHEqDRbOAIXKwe{Uvah@V@g@DSiAVJaJ@n@g?v_nWXANAQ\pU?qSY?NSGse[hAgog\INsIBd_aqSZSL}KnF[b|A`KVcO}NsGUEpBbPwa?KJYFkb|AP@PsyT@_C{B[@o@DcdOUzcKAG`{XEsdOU|bmA_aT@M?ncXGNEOK?LHGsdOS{Jge]GWWlk\QOcGYDBQjcfkSIMjHJdGQjcb{VIT[JIEqbc@xACeBKETBnqgHToy`?pARBQaJhL_fOV@dnAy@`wsga}TJ_\ag`hOwGnoXMNIO|_dwq{YSN]Gxe^gQ_Wc\]N}IGdbArcBO@{KxF`b~aa[HwWIN}GZEsBcpxaIqEQFpb~aQPQ[ylBvBuB]`pPEKdcVD`J_gP|hF[dcVF_l`?QUPMgn{XSNMPn?}gpScmQqIbE`GjOc{\eOmG^DDqksNgGGMtHOdIqksJwJGTeJNEtbd`yAO}HWEYBqQhXUWyxE|DXBTAKxMGfcVJam`XpbGtObQTTaO`ppi_wooGXYNQQ_`VWrcYgNgG}eag@?a?\qOGILddass[?MSLBFecAAbkWOPSOGG_EvBePya?aJdFucAAR`RCzD@jD@b`@q`EsdwVNcPaJP}xGCdwVPbrabQV`NOoSX_NUOMoM_p{dAQ{IgEcGXomW\yOwGcDGQmCgWS_M~HTdLQmCcgV_ToJSEwbf@zAC{BVE^BsqihV?zP?{AWbBpjpFCfWR{dsa{pcWtwbeT^_bAjPjoxWo_XeNYP?OfOsKY{NqHBedgRwXO]EOQIQdgAu@v}@}@HEebtqAPQ]?EAhGHCQb\@rw|pDcBMb|qAPIWhu\ma@@|paWww[{PvHbF_wSOIoWiO@HDcpgKoOoeKR}KJEZBvc[[O?KhHTcpajPhqJIHYFbcOaIPQkjs]FaA`BpxHJSh}Ty`c`ZqnPZGv[\CN_QI`KWs_]yT^I|F\Gx?jsWqLgG|c|a_pwmJODqEUbYANhUcz~CkBhBY@s@`orc^CdEap`hgu_^wQPLPOCpDW{s_wSnJTDmbp{[kMiLVFocFAeHw?{FENCYcFAI`nOyS^G_MA{A?H@od_TDM|O\`Pops[oMgH?csBq[awPoK^GDcdQY@wO{NFqDKCsA`@aGro^K_b?^peXJSe_TcLSOuP]G|CaWP[IYd`Bq{hCSuNRH^dQQo`w_{VHTD|d`Av`ngy_^O`S_w`iO}[jQUCJjOPof_qKZcQDI?DCBr[nOV{KvExC`qmXwo{^@PD[B[`tPa_r{^SaE@PPiwvG_KQZLVOi_rw|[`KSxJYDpBr{CgAgL`FtcHafXx?{f?M@YCHaJpo?yk^Wav`iA@XAWdsTNJmPBP?Oq[\CMqHDcubs[IsDmKhGIcfqZPxO{n@pAJcuaaPawsG^[bhAApfhJ{esTmLYP[@Kg|kakPeI^dbbs{P?GsN\HcdSqppx_{vBSA|DbawpoWyw^_cYaZ`j_~CjeUMJpPspX?qsZwQNIDDEbt[VKJyL@E}CcQnhxo{~CvBmb^@u`bOsS^cdKAsPkGvo__QdL\OF`Eo}C`_TBJ^Drbt{\WN?LjFycKAghy?|FEYC_CKAL@oozC^g_Ra}qAhB?eGTXJsO_PRGrC\WM{HIcxBu[bcQEKrGNciQ[`yO|NF|DPcxAb`bgs_^k_g_a`gxKcfGTwL_Ox@^_}Sb?PoIcdeBu{hoTKNfHhdVQr@y_|VH_EBDeAy@pGzO^o`Y?zPko~kjyUWJvOS_gwr[[KQXIIDHBv[n{WQLJFBCeqoxyo|^@[D`b``vpc?sk^saJ`S@lWwW_sQnLbOlOtOpG^UOyIedqBv{DSA}LtF~cMahxz?|f?X@^cMaMPp_z[^wa|@kqBxBge[TbJyPE@@grk\kNEHNczbw[J_ECK|GSckq\pzO|n@{APCzacpcWsw^{bmaD`iHLKf[UALeP]pM?}{bSPyIhdgbw{PkHINpHmdXqsPz_|vB^BAbDAsPpwzg_?c_A]Pm@?SkMUaJ|Pv`YWsC[_QbINDJbx[VwKOLTFGChQqHzo|~DABsBc@x@cotC_CdPav@mgx?`GQxLhOIPGGpo^iPCIjdsbx{]CNUL~GCcPAjH{?}FEdCdcPAN`qOzs_G_XB@aDHCOeoTlK?Ob@S_sS]?NOHSc}By[cOQ[LFGXcnQ^@{O}NGGDVC}Ae@dGtO_K_m?dPjXLsfoUKLkOzp_w~cbgQCImdjBy{i[TaNzHrd[Qt`{_}V?CCtbFat`\WxS_O`^_}@nP?{kaUkKBOVOiOsk[sQlISDMBz[?[WSL^FLCjqrX{o}^@fDfBe`yPd_t[_SaP@Upnwxg`[RBLnOo?ugpWXKN~GfDWRz{E?BSMHGHcRakX|?}f?c@dCRaOp\ox__WbA`naEXCwfCTvKEPGpB?s{]SNYHXd?b{[KKEYLPG]cpq_P|O}nAFAUd?afPdwtg_[bsAGPkhM[gCUULqP``NX?Kb{QMIrdlb{{QWH_ODHwd]qup|_}vBiBGBIAup]Gxk__cda`@o`@ckuUuKHPyPZotS\GQvIXDOb|[WcKeLhFQCmQsh|o}~DLBxbh@z`eOts_cdVAxppGyO`oRLLtOL@H_q?X_OHGkDYr|{]oNkMRGMcUAlh}?~FEoCjCUAQ@]_xw_g_A?NQFhD_fWU@KKOdpTwtc]gNcH]dBB}[c{QqLZGbcsQ``}O~NGRD[dBAg`egu?_k_r_g@lxNCgWU_LwO@O^P?scOQWIwdoB}{jGTwONH|d`Qw@}_~V?NCzBKaw@]wyC_o`d@?pppAKlIV?KNOY?jgt{\[R@I]DRB~[?_?cLrFVCoqtx}o~^@qDkbj`{pf?uK_saU`X`qWywaCRVLzOqow?qgXsORGpD\R~{EkBiM\GRcWamx~?~f?n@icWaRP^OyO_wbG@qQGxEGfkUJKQPJ`CWuK]{NmHbdDc?[KwEoLdGgcuqap~O~nAQA[DDahpfWuW_{bxaJ@nHNkgkUiL}PcPOp@[ccQaI|dqc?{RCHuOXIAdbqxP~_~vBtBLbNAxP^gy[`?cjAbpr@Asl]VIKTP|@\Guc\oRJIbDTc@[XOK{L|F[CrQvH~o~~DWB~Bm@}@fouc`Cd[a{`rgz_aWR`M@F^gFwd[XgLCGMcZAny?}NmG@FRcKQL`WD??_Bb\aWQL`IOo?\SM~GQG@wC_aaPkI?DdRE@wIDCIyEuby@~@LCh?_RclAX@lxDkfIS_OAG@xBokOh?TWL@EuBoQCqBcAjF@d@Qc@ZOwO]E_G@@P`pACcwQkJAgDxVgk[W[ObIFdeS@A?m?sI@EFBPb?ptg{K`O`i`B``oyG`mUxKZFagMWU_ZeNAHidSAkA@m?e?\FBboaYx[L?W_N_}ax@wO~gsOZ]M}facIcR_JaMfF`CTa\Xow{\BUBdbN`hpA[bkUHONo\_O?zC`uPuJDgCCA[BgF?PuHVEBBk@wC{[`WbL`tAJXFWgSU^K]FcgfGawZmNqG@CuqdQAMEqBbE{cXQ\xQh?g_V`M`OqdPUGs[ZcNAfccJc^wPmMLIFdIavppO{lE[DGbEADXIWdkUNORpN?gop_`YSXJPgECB[O?LKKWEgECbkpwc{k`_coae`b?yoaAVBK`Feg~wnOZyNKHndUalQAmK}EhFGbrA[H[t?w_^apaAPx`?OsgZiNEfecKckOVyMpFeCWA]hpg{|@ICpBQ@j@BCc?UROVq?`@_zkaIQ?JIgGCC[[WRWQ?H[EEBl`xC{{`g_L?SqKhG?ggUhKcFggTgkS[AN{GECxQeaBMRIHnF@cZq^HRP@G_fcSarqe`UossZoNIfgcLcFsDkMVIKdLAx@q?|L?ZAGBGaEhJ?e?UXOZqq@YOqG`mSbJUgICD[ASSWKaElEFbmPxc|K`o`o@EPcOzWaUVLKfFigNoVK[MNUHsdXAmaBm?{?gEGbepypMl@W_n`CAzpyp?wt?ZuNMficMcSKJwMzFjCYa^xqW|\B`BjBS`kPBkcSU\O^o_OPW{Sa]QIJNgKCE[CSFUQIH`EHBn@yC|[`wbR@vqLxGgg{UrKiFkgg_bc[UOEGJCzqfqCMFGBmFEc]Q_XRx@g_v`S@RafpVWtKZ{NQfkcNc_cQCM`IPdNayPqo|lEfDMBJAFxJgeSUbObpPoiGqoaASlJZgMCF[OkLaKkEqDtBDPyc|ka?cuAhPaGqo]?PTKlFmh@On{[aN_HxdZanqCmLSEsELbhP{@NT@w_~avAD@{@@_tW[ANUfmcOck{WONDFoC\A`HrG||@TCubV@l`CScgUfOfqBPAw{{aqQSJSgOCG[\CRmQSHeDubE@zC|{aG_Q_VaNHHOhOU|KoFogV?l?[iOOGOC}QhADMR_HyFJc_q`hS`AG`FcYAuah@W?tc[GNYfocPcG_EAKUFTdJQh@r_z}^E_R@EpepCceGRSJUgTxYWlsXkPJIZdoSHACm@_IVEZBZa{@bW|q^EPGOyoc_pkXkNIGneXboX{iC[CJEXBMq{HbOqmZ}`}@@@BGeg[eVAKje]SAscWUEMKFIeRRS@kKzTBCAIal@V_tW^YZBLqfag]GUw^KNnKUEmR``q}I}DfC}ArPu@C[x]\POLOEPTHC?aQVpLKFHRnC?g?cCfA{CAaSH^Coe]Mai@sQRPIKnMWyKmf@GCW[GMSJ^GqC}rJhf|?|@{EEC|A^hdKtKZHMwOZOMgWgMuQ}IieqR\XxILmGsIfDTrEPj{wc[t_Y_``CgasgoUnMYfTsCSEGE}UgJWdtA}xhwxVBO@k@zPFosKjcVvKKfdhBOh[XwLDJueOBKXoiCoBhDCAc@rh[orEYDOROpOgOxW[}XXLUErrmsRKHuHODObW@}xk{va]Yc}a}`}?~cpoZDMKFMw^WSoVUJrF\CSRfXtt@TCgBQcQaIX\gnyYcMWpd_rojKWGOSHTd~RBxxyA_J_HQCjQ}XcWrQ[O___QOjoY{b[SDKseasDsWkOOR}IBeVrUPlSzx?H?l@}P?HK_i}ZTLzfggEoJKioT`K^EqrbpsEDGAkB_aCacPZcyA\bOXPz`LXZGluV_K@eibe{EoDyH[CqBRQn`_KpI]e`K`D`gos{nqXKKvfDg_wO{PGHtEGBhrLxhD@lHPDfBg@tH\_rIYwLloroc?j{UMLiG?eur^hyiFwDxF|C?rG`lCxG\Fat@[`Owl_]GPZMbfYSFSAOTgPSGmdxb@Hj?xyaY_I_FOeOWK_{QtKCeIrtsT{MwQmHZd~rIPfSwwa[_V@rOygmgboSNKyedsFs?gCMSGIGdvbLXjwvAa]_{?_?qg]WecThLof?ruS[GP}TaIteQbYxqgyYa___?cPE?b_hWVBMefZsGSEsFSU{JadzB@xjWyEaa`l_wo~?ccYmUEKFeKRusaSTCLOEke@RJ@fkxCac`P_|@QWhkWsMpK|efSGsL?IYMiFXdxBMHkOvMaea^@P`JWioZgOJLrfARvSg_WIOCGEeSBZhr?yeagaB@Tp]onw][PdMhf\SHSRKL_P]Grd{bAhjoyQai_@@gOtGjw`OQ~KIeLrvsDkVUQwH_eArJpgCxOak_e?T?lGZgcCSXL?egsHsXWOeSQILdybMxkgvYam_I?XP?__oewTrLufBrwSCCD{TkIyeTb[XrWyqao`V_lox_`shkVLMkf]sIS^cRkVEJfd}BBXkGy]aq_z_q@Kwe{ZAUOKLeNRwsIOHALYEpeCRK`g[x[asaH@E`Dwg?XGMzLBeiSIsdoUqMsF]d{BNhl?veau`l@IpXOlGZ{OTLxfDRxSO[KGOMGJeVB\Hroy}away`^PQOmK]oPnJjfVsJSA{T}PgGwd~bCHk_yiay_O?I?fgWw`cRHKOeOrxsUgNMRAHdeDrLPgsxga{_[`u?{?nScWSbLEejsJs@SCcS[IQd|bOXlWvqa}`@_aos?^CfKT|L{fEryS[sQSTuI~eWb\xsGzIb?_d_f@FWcKWaT?JmfXSKSF_FiKRJgE@BCxkwyubA`r?z`?WdOZUUYKReQRysb?TYLcEueFRM@hKxsbC`V?~pRoiWX[NDLHelSKsLkIoM}Fbd~BPHlov}bEac`SPKoj[[OO^L~fGRzS?KSeOWGOeYB]hs_zUbGaG`W`_Goc^CPxJpfYsLSRwLuPqG|eAbDhlOzAbI_E`j?u_kc`wRRKUeRrzsEWVkRKHieGrMphcy?bK_j_Vom_[SckSlLKemsLsYCO{SeIVe?bPxmGwIbM_N_[@@w`[f_UFMAfHr{SCoEQU?JCeZb^XswzabO`\?o_ywa_WuTIJsf[SMS_OSAKSEMeCBEXlgzMbQ`@?spMOfgZiUcKXeTR{sI{HWLmEzeIRN`h{yKbSaM`HPFOgkXoNNLNeoSMse[VGNGFgeABQhm_wUbU`q`L`Ygls[cOhMDfJR|SPGK]OaGTe\B_HtOzmbWb?@a@Rgmw^WQBJvf\sNSBgUSP{HAeDbFHm?zYbY_T_Koh?XcaKR\K[eUr|sVSNcRUHneJrOPiSyWb[_a@wo|Wo?d?SvLQepsNqHe@?A\IWDMR@phkv[[PPnOb_QoYkNwRyJGfCReX~HCvFWCidaaqX\Krs[FMlGwGIoI[QKHMEQdTAyX^TCCa\`@`?@boq[owW~LrF[s[SNCFqGMCnb^qtpb{rA^uPNqMpV?v_[AWtLCEiriQMQDqCIDSakPgO|ctUZLPBGgW[oUK]cNZKIEgR]`p\FLDSAmA[PWOxo`e[VM[f}cS[?wS{OkGYduRO@osz?bg_B`F?lgoo^kQLJkd}sPQIUIQFEHBCbrCPcSvW\xPtOE?uwZ{UgPOHrePRKx~xDN@pE?cwA\Hbks[YpMkGzGKOEgJ}FOHTDORUHlLC[ahbUAIQfPSKosYfL|FFS\sAgBuGYCPD@ArXpsx}_APToToY`XOkyV^LBFCrkqNAEIBLBpAKpdxTwm}W@PHGjX@wgoXOKpJieIBHXnHFdAL@nA^POgwcloXJKug@cT{JgHmMAFDeORQ`j[y{bsaS@K@GghWYWNbLZeuSQqJERcJnFmBxRC@isw?[bPzO{?gGm?VOMeG]fGrgi?hDfC\BLCLaFx]SsW[XMuG}GpWXKTOJxG?Cdq{h_[z{at_aatQQ@HcmuWmKge}C^SBW@{DRBQCUa]HdCre_MPZp_?~hMgfeXFLLEnRkaNqA]FmBzBAqU`SktyZ^N@GmWDWI_iGTLKREkr_pqdF|AX@O`l`?xOwlI[hMdgCcV[]KR?U]JRdyrQPp{zcc?_o_k`IGdcXqTgJteBRoqJuAiAWBsbba?@]c|{^TOaOl@}O~cfiS~KPftR|YMUHaDsDadFaq@`|?K_\PEPc@vx?ckCUHKkgFSEYH}CgGLCgByAJPdS|o`MOqqZAH`DKi]UXLFgXSNYM]?}DoDsbHAn@gk{a_?PJOMpaops_qPbLafcRsyIEDoBzCeCOaU`kC}C^XOcPDpdhIWdYUhL|fuR|yMe?uESBjb^ayPn\?S_`PGP{pm?v[beQ|MWgGSEyIMFmHoDXcfA`pqs|w`QOsqrpfgw[g?SFMrgYSNyMm@}AABhbX`z@uKz{]TOAOf`xO|CeYSVJxfdRtYIUGuD]DVc|al@]{}K^\OeP]`qw}CisT`KSfvR}YMuB{FvC\BoAEPaT?[_dPIQTaC`AkhMTpKngHSFYI]?QDYDhdSAwPdk}?`UOuoHP}HBklgUzLIgZSOYM}DCBdCZCEaP`hC{C]XOCP?QNpGSkAVJLdfeRtyIe?ID}B_bTatPk[}S^`OgPvPh?s{aUQTM?fwR}yNEFAHYDMc\A[pnt?c_hPKQmPagt{eoR^MZgISFyIm@Q@kB]bN`u@rK}G`YOwoa@sOycdIRnMug[SOyNMGIDGDKcrag@uc{K]\OEPX@lwzchcSxJ{ffRuYIuBOF`CQBeA@P^S}[^dOiQO@~`?Kf}THKVfxR~YNUIGI|E?DIArPak{?_UOUoBpxH@KkWURKqgJSGYI}CWBNCOB{aK`eC}O`]OyoyqIpDsiqUbLLg\SPYN]JOEjD}BJaoPh[{S]`OGHIGwwq?XMObGuesRsHz\DbBJCaA`qH`JwuY^QNsgUCdSiKXmQoHZdkr_x}c~}bx_H_T_swpW[O[BNAGEcEIQqBcLyF?c^QWxrt@a`FPXozoeOgKdKSWM[frCKQFdH\DMEbbcQ`PPCze`xPFg}wIO[kO[LoFpFZrppyT?gcocTBt@zXL[hAV~NQfmsUkQwTMJiI?D[a~X|W~Y`[QXR@`sG}kjGTjKYfzS?YNuBkAxCDBqaF`bC{O_]OYhLGYhAw`iSpI|eYsEiClDnDQBIaxajP[orM^OOrG^SesZC^uPDJ^DpRSIFtCeb~`YaJ`MHAOckY\NHFiSBARaSYKNHCCbqpXl[|Q]~P[oO?qGogZ?UsLhfub}IE@Ht@[EhBUQIhH{wY^pOBh?WZGPoRYP}HwFARpaAH@qc{a[BFplHMGfQ\BO[gRsV[BoLiFwEcBmbfx|PBSa@Q^QD@t_zKd]RxM{g_SQyOMGoIPDiCuAhPvS{k]lOMHOH]?vc]ES{I`e@Rth{LDz@_@P`|@sP@OoA^]NygXCgSJ{_KOLICdSrFX~T?UcDa]@^pY@RGlGWvNGGHcFiSQKuNRGMddarhfD@y`RP^ofpB?dk^wPmKufuCLqGTILHvGoCXqkXYstM\~PAh@wDOVkVgKwJEEgrrPzD@?dG_bBI`eHAsbmZ\NWfpsWKKKGKHVGjCqBZH}G~q`gQdPG`gHJgeAU|MHf}S@yOe@KE^BpBG@qPo{{g_iO_hRG~owO[UQFHgfQSGID\EFCAC|anaU@QGyI^[OxGaShslgYaMZIIDEqyhwLCQcJ_d?bOzovg^W\zNNFlSCaTADQN]FqcwQdX_k|i^JPapH_lGjggST{KBfxb~iEpIdEDFTb|QlpVSqA^|OHhBWPG_GQINSGbENRrAAxAIdScocMAFxRkkIXvOagUsW{@OJIJ]EGDXBMX}@BkaLQjOKA?hC{mOVNLUf`sPiO}DYBoC_cJaS@ic|C]xOSHUG`_pcccQXJIewrvH{|ER?OBC`r@lPZwu}^iO?g[CjS]_YwLbGnciRbI?D?mcP`uAXPT@G_fs[TNMGKcHITqUGKhExczA]Xs|AQ`^PdoL?Mw[_YcNCMdfxCNQHDI|ARFZBnQVHOKmu]JPGhCwa?TKTGRaIiDtrspzt@Wd_avb_pxhSWiYWPN]fssXkFKNWGnFUCFb@h}x?I`sQpQQqA@@[geT\Kbg@SBYPUI]JGEDdNAtpcK|?_uOehXGBO|s`MU_JRe^SHiELE^AV@lAIq?pF_rq^gO~GdSksNWbSPpIudlrUXw|CicVax`l`_wsGkkYnNTFoSEAUaMcKsE\cLqOHmc}A^VPgot`HwhGb?RQLqf{c@IF`JTImEdcpAXX[[w}_HONhESc{@wBAEqETBfBbXyP@s`PQuO^PpoxScaRZMigSSKyLLHRByA]abaVPQoya\|NuG_clsTcYuMdINDHQ{Hvs{ecZQToVOyo`c[GNuJmfjbwiBPJ`GtFsBzq\XRSom^DNlgtSdkRcTcJtIID`bAX~X?Y`{QxO@@ug~{joT~KegBSCYPtH^A@@aADPzpD?qQ]gO^GTSmcM?aCPHIadbrOYDTBUbVQWpVOs?nCWsTmK~f_R}AGXJlE{EHcBqJH\Gtq]@NJhFse[K?PqH{G[CibUhzG}Q_wQ{Qe@cXHodEU^LvfqRzyLdHj?G?d`f@m`[_vU^yOGg_CnSE[ZKLlGsckrci@D@Mc`QZox?cwf_ccSCMOfjCGQDdJxDBEXb^Q]pNsyu`XOvgusfKC[M?GBEmBrbixwS~gaIQ~QFpw?{[eESLJrf`RrYQLHvCbDMAvq\`TwnE]uNegNCoCnk[YNVIgDTrBh{s~Eb\Q]oYoTo^{\kOgKKf~cAiGPKDBIGLCGQbhU[qe_TOThHSf{S[KSJZIbDmBHxz@AK`\RAPh`{xBClSUpLCgVSMYL|IBAiCPaXaA@GGsI]HN{GbcosgGbgPzIzdoRVxwc{}aXQ`oLOoon{YWU_L\fmbyIC@KP@PE^BPQGHGkvi^PNrgwSgkKwGaHaGtCvB]I?H?qaGRDPJPihKweiVPMTgESDyHlIN?pBT@zPe_yWxM]sOdGWSpc_c[oM^HLcxRkIEDBmbbQcpBPOokceGSuMmfbR~aHHK\JdEqbjqd@Q{nY]LNPgfSh^") # Z_40 x(44)Z_41 com2331=Graph(r":~?cZ_T_FgB{AA@B?o?POGwCkAY@N?g_SoIgNO?A?BAD?@O[W[?G]FQ?B_FOEW\gAQ@^?y_aoSGJ[EYBd@|`CO}?Q[HyDRAs`^oqgYkMEFXBva@`?g`gOQGoCD_AO@W?s?]?P?H_DOAw@c?uGL?N_GOCWAS@M?h?T_JODwBCO]?t?C?Lo@OBc?W?z?F?NOA?B{?c@@?I?OoAoCS?o@FCG_E_HW@wAY?_?f_G_IGAOAe?e?i_IODWAs@]GR?W_LOEwBc@uEEC~`a@OGWgSEEKDA`b`OwPKOiEODD`c`PgXWS]EWDG`e`QWDWKy@WBN_U_sGDoLE@_BQaDoKOY[BGEh?r@jOL?Y{BSEp?u@koLoZSB_Ev?x@mOMoZkOq@wB]_]_vwFoMI@}Bb__?xGGGMUACBe_`_xwG_MaAKBhaFOPo\SC_FV@H@uoQ_\sCkF^@K@wORO]KCwFd@N@xoSO]cO}AcBt_A?So]s?SAgBw_B?TO^K?[AkBy_C?To^[?cAoB{_D?UO^k?kAsB}_E?V?^{PA?Y@\A?OBoJoOE?_@^A@oCOK?OQ?c@`AAoCoKOOY?g@bABoDOK_Oa?k@dACoDoKwOiGb?W?s@AwBOEcGX?Z?t@BgB_EkG^?\?u@CGBoEsGb?^?v@CgC?E{Gf?`?w@DGCOFKGjCQ_P_\?asASBiCV_R?\_bKA[BmCY_S?]?b[AcBqC[_T?]_bkFkG|@{ANo^_cCPMB}C``?@GgOGQQCCCd`@`HgO_Q]CICg`B@IWOwQiCQCjaIOa_dcGkHZAKAVobOeCGwHbANAXO??Q?RM?AAPAYOc_ekHOHlAIaIodOe{HWHpAVA\Oe?f[HcHxAYA]o?_RWRyBaA[A^ofO[?SAC}D@AfpDgS?SGL|A`A`og_gkIKILAcAbohOhCIWIR?j@RoJ?TCAsDTCV_V?iwE?Iq@aAl_X?jgEWI}@gAo_Y_kWEoJI@mAr_[?lWbKBcDl?z@ZoN?VCBsDr?}@\ONoV[C?Dx@@@]oO_VsCKE@CY_a?oWGoKIAMBB_c?pGHGKUASBE_d_pwH_KaAYBH_f?qwb[C{EX@P@eoS_XsDKE^@S@gOTOYKDWEd@V@hoU?YcDcElC[_l?twJ_LaAyBX_n?ugJwLmB?B[_o_vWKOLyBEB^_q?wgbkESFF@f@qOY?[kEcFL@i@roYo\CEoFR@l@tOZ_\[E{FZC]_w?zgMWM}BgBo_y_{WMoNIBmBr_{?|GNGNUBsBu_|_}Gb{FoFr@}@|O^o^[G?FxA@@}o__^s?KCEB~_F?`?_C@cCIC@_Q?`__[GkMXC__V_`o_cBgCQCD_a_a__sD?CUCF_l_b?`CEWCYCH_x?b_`SFsC]CJ`C?c?`cHCCeCMaOoc_RoO}CgAhAGOdOU_PECkA~AHO@?QwKgGf?D@K?tOac?WCqB`AIo@oROMoGl?G@L_|oa{?cCwCAAKpGg@OHsGYCY_D_fob?Pm?WA_AM@Gw@gICGyCm_F_g_boRe?_AbAN`PGAGIOH?DO_H?hOcGTm?eAeAP@XgA_I[HGDpaQODOT?QSJx?U@T@H_o{@[DUCfBHOE?T_Q_Kz?Y@U`IOtC@kD[CiBXoF?TwQkL~?\@W@J?xS@wDaClBioFoUOQ{N@Cd_O?koe?]m@AAtAW`|gCOJWHcG@_P_loeW_q@IAwAYADwCoJcHiGa_R_m_eoay@OAzAZaMWDGJoHoHC_T?nOfOc}HLA}A\aUgW?RoRJB@A]oo_fsB{F]EXBOoO?]?XgLD@@@w`eos[CGFcE[BQOOo]WXwLJ@C@y@fossQ[RP@E@y`g?s{C[FkE`BSoQ?^?YGLT@H@{`got[CgFsEcBUOQo^WYSLZ@K@}@h_tsCsFyEfBVoR_^oYcL`@N@~`i_uKQ_RR@PA?@iouSDGGAEkBYOSo_WYsLj@SAA@j_usDSGIEnBZoT__oZ?Lp@VAB`kOvKD_GOEqB\OUO`GZOLv@YAD@lOvcQcIT@[AD`l_vkDsGWEvB_OV_`oZ_MB@^AF`mOwSE?G_EyB`oWOaGZkMH@aAH@n?wkEKGeE|BbOX?a_[?MN@dAI`oOxCQgIV@fAJ@o_xKE_GmFBBdoYObG[OMX@iAL@pOxkEkGuFEBfOZ?b_[[M^@lAM`q?yCEwG{FHBgoZobw[kMd@oAO@r?y[GoMZCjAeO[ocG[sMh@sAP@r_ysFSHGFNBjo\_cg\?Mp@vAR@sOzKF_HMFQBlO]Od?\KMv@yAS`t?zcFkHSFUBmo^?dW\[M|CkAeo^_d_\_M~@~AU`uO{KG?H]FYBpO_Oe?\kNFAAAW`v?{cGKHcF\Bqo`?eW\wNLADAY@vo{{GWHiF`BsO`oeo]GNRClAfOaOew]KNTAIA[@x?|cGkHsFdBuob?fW]WN\ALA]@xo|{GwHyFgBwObofo]cNbAOA^`y_}SHCI?FkBxoc_gG]sNhCnAgod?gO]wNjATA``zo}{HWIIFoB{Odogo^CNrAWAb`{_~SHcIOFrB|oe_hG^ONx?j@L`|O~kAoCwFvB~OJORg^_N~CoAhOJ_Rw^cO@?o@O@}`?SBCDAFzC@oK_SO^oOH?r@P`~P?kBODGF}CBOLOSg^{ON?u@RA?@@CB[DMGACCoM?T?_KOTCpAhoMOTO_OOV?z@Ta@P@kBoDWGECFONOTg_[O^?}@VAA@ACB{D]GHCGoO?U?_gOd@@@WaApA[CGDcGLCIOOoUW_wOjCqAiOP?Ug_{Ol@E@ZAC@BCC[DmGPCKoQ?V?`GOt@H@[aCpB[CgDsGSCMOQoVW`SOz@K@]AD`BsCsDyGWCNoR_Vo`cP@CrAioRoW?`gPB@P@_aEpC[DGECG[CQOSoWW`sPJ@S@aAF`CsDSEIG^CRoT_Woa?PP@V@baGPDKD_EOGbCTOUOXGaOPVCsAjOU_XWaSPX@[@eAH`D{DsEYGfCWOV_Xoa_Pb@^@faIPESE?E_GiCXoWOYGakPh@a@hAJ@EkEKEeGnCZOX?Y_b?PnCtAjoXOYobCPp@f@jaK`FSE_EoGrC\oYOZGbOPx@i@lALPFkEkEuGuC^OZ?Z_b[P~@l@maM@GCEwE{GyC_oZoZwbkQDALBfPL_jCF?FCG{C`o[o[WbsQJ@s@qAN`GsFSFIG~Cbo\_[oc?QP@v@raOPHKF_FOHACdO]O\GcKQV@y@tAPPHcFkFUHECepLojKFoFYHFCfO^_\oc_Q`@~@vaQPIKG?F_HIChO_O]GckQfAA@xAR@IcGKFeHLCio`?]_cwQlAD@yaS@I{GWFkHPCkPM?jSG[FoHQCkoaO^GdKQvAI@|AT@JcGkFuHTCmob?^_dWQ|AL@}aTpJ{GwF{HWCoObo^wdcRBAOA?AUpKSHCGAH[CppM_jcHGGEH\CqOd?__dwRLATAAaVpK{HWGKH_CsOdo_weCRRAWAC@Q`KSHcGQDJCpoe_`OSoRHAZAD`RPKsHoGWDMCrpMojkHsG[DPCsOfo`wTGRRA_AG@Q_i[ICGaDJAiOg_aOSoIjAbAH`ROisIOGgDMAjohOagTCIpAeAJ@S_jKI[GmDRAlPN?jsI_GqDSAmOi_bOTSIzAjAL`T_jsIoGwDVAnojObgT_J@AmAN@UOkKI{G}DYApOk?c?ToJFApAO`VOkcJGHCD]AqpNOj{JKHGD^ArolOcgU?JPAuAR@WOlKJ[HMDaAtOm?d?UKJVAxAS`X?lcJgHSDdAuomodWU[J\A{AU@Y?l{JsHYDhAwPN_kCJwH]DiAxOo?e?UkJfB@AW`Z?mcKGHcDlAyoooeWUwJlBCAY@Zom{KSHiDoA{Op_eoVGJrBFAZ`[onSK_HoDsA|pNokKKcHsDtA}oqofWVWJ|BKA]@\on{KsHyDwB?Or_foVcKBBNA^`]_oSL?I?DzB@osOgGVsKHBQA`@^_okLKIED~BBPO?kSLOIIE?BCOt_goWCKRBVAb`__pSL_IOEBBDouOhGWOKX?j@l@`OpkAoEuEEBFOJOZ_W_K^?m@m`aOqCB?E{EIBGob_x{SCJF?p@n`aoq[BGFCEKBIOKo[WWsKj?s@q@b_qsBSFIENBJoL_[oX?Kp?v@r`cOrKB_FOERBLOMO\GXOKv?z@t@dOrcSGJH?{@t`d_rsBsFYEVBNoN_\oX_L@D[Cea^@USTsQ[H|DYPV`I?fwTjD^Cga^pUsU?QcI?DZpWPIWgCTpDaCiA_`VKSKJJDbCia_pVSUOQkICD\pXPIwgSTx?BAraU@Owju?[DgCkaa@V{@cJQHZDCaoGC_UgQwIID_oJolWdsSUJA_\@Z@JogoUF@DAuaVpPgkQIIDf_g@Z`K?gwUJ@ZAvaWPPwkYBKDoCpAc@W{FGJcHbDHAqGNgVKRGIRDdOa?m_eWSgJJ`H`\PKwhSUXA]AzAY@QokuDQDvCsadpXsJOISDwDKArwgoUaD}DJA{aePYCKgIWDyDLAsWYgSsJuIZDhOwOhoVsS{JR`u@SOnoh{Uj??@z`S_nwi?Ul?@A@@Soo?iCUnCLAi@_PSOlaGoDTB@AgpZKQKIkEBDQAuggwUeH[DVBAAhPZ[RcIoEDDRAvGg_TcKKIfDmpS?jOW_TQJ]al`V?pGigV@?AAm`X_pOikVB@pAn@[OpWioVDB_An`^?p_isVFDNAo@`opgiwVHD`BF@c_voi{VJDGAtPW_pwXsPYIoDrPWoq?Y_SwIpDrpX?qGZKTcJgEDpXOqWZ{TgJhE|PXoq_[gTiJjas@dOygjWVXDhBJ@w@UwmuJSEVBtam@\sUkKoFuD[azwl_XcOAIyDwPQOl[UsKsGKD\a{WloXkOmI{DxPZor_aGTyJraw@f`Doj{VhDqBNaMPW?nYJeE_CaAoP]{VOLAHND`A}GmgYGQsJBD{p\_sWeSUGJyaz`h@M?kSVv?jAuP]?sgfkUKJ{a{`h`Ook[VzDyBRacPX?nyJuEhDMaq`^{VsLSIgDdb?WnoYkTeJKE@P^ot_jwUYKBb?@jPXGkwWHE@BVArpY_oUKCEnDgAvp_sAoJZEBBWAsP\Oo]KGEpDhA|P`CWSLcJRE?BAWooZOUiKIEEPa?uglWWYKVbC`l`YwowXDEIBZau@`wquKUEwDkbC@fCWoLqJYEGbOwpgZgUuKQEfOboy?{I@YDmbF@mpZ_pKYrENB]AvPa_uQK_E|DnBDPl{XCM?J_EJB]wqW[CVAKWFBPd?wOmGWqMPbI`op[Wpg[xEUBaAx@bWy]KmFDDqbF@uSX_MKJeEMbnWDoU}KqFFDrbF`xCXgMOJgENbswrW[cVQK_FnPf?xWmkXANibN@r@\_qK^jE^BeazPccY?M[JmEQpgOxwm{XLEaBgA{@c{YKMaJpESOK?m?~mLGFQDxBIWsg\KVeKibR@t@]_qmLMFUDzBJGtG\[VmKmbT@u@^?q}LUFXD{bKGt_\gVsKpbU`up^WrIL[F[D}BKwEGVG^xEnBma~PecZ?M{J}EYo@?uG\{V}Ku_A`k_{GoCXn?EBY@w`_Ore?MEtBpb?pfS?_LkFcEABMw@GZ[NIKDE]OA_v?]WWKK|_D`mO{wo[X|?qAxb~W@_ZgNOKGE^oBOvW]cWQL?_F`n?|OogYB?OB]`z@`gsI?aF?BubB`gc?K?cF@BvBBpgk?w?eFABvbC@gs@O?qFBBwBCPg{@S@GFCBwbC`hC@W@]FDBxBCphKBKJgN}_J_M_wo^KWgLI_K?POww^OWiLJ_L?S?x?^SWkLK_L_UoxG^[WoLL_M?X_xW^_WqLN_M_[_x_^cWsLO_N?^Oxg^gWuLP_N_a?xo^kWwLQ_O?coxw^oWyLR_O_f_y?^sW{LS_Y@\P~{AGDQFPB~BFpikAKDgFQB~bG@isASD}FRC?BGPi{AWESFSC@BGpjCA[EiFUC@bH@jSA_FAFVCABHPj[AcFWFWCAbH`jcAgFmFXCBBHpjkOGMsGFESBVg`g\kOOKhEnoLOmp?EGoF[CCbI`kCQKMyGIETbWWdo\wOUKkEpPMOzw_sX[Lbaa@wP@oq{ZJDOBpABpe?uYIuFbCGBKPk{UWNGGPEXBYGmG]SOcKrEsp^?{o`KXgLi_Z@\q?SW[NMGSEYbYwqO]_OiKuEuO??rg]cOkKvEuo?Ot?]gOoKxEvPko|_`cXsLob^`zPBOrkZbFIBvAEpf_vIMiFnCMBNPm[]?N_G\E^B\G|W^CO{K~EyoLon@?MNcFuCNbO@ms^KOAG_E_b\w?O^OOWG`E`B]GMG^SOmGbEaB]W[?^[PCGcEab^Ghw^_PIGmEbB^Wvo^cPKGxEbb^g~Oa[PYHCEcB^w~Wa_Q]I[Ecb_G~_acQsKJEdB_WN_Zo\]PF`G@sPw[B_JqOCb}aI`KgskZsMAb~AIpM?so[ENhb~aJ@NWss[GPXc?AJpOos{[JGACWAcPi?w]OEGpDMbSPpC_OPcIgEhBaX?gbKRSIrEhq@`E_ekT{LScBaLPL_kcYj?xA|C@X@?bWRYJSEjQAPEwewU}LVcDAM@LwmgYpGJC\A[P]gtiOYGzCxB?@j[_wPwHrEEBVH@wbsRgKVEmqC@FofSXCL]cGaNpMoqsY~GQC_A\pf?uA@uDzGBQCpGGf_YEL`cIAO`NGswZDGTC`a]`jGuMOkHDC}BX@kk`_QKH|ErBZxBGc[R{LfE|qE`H?f{ZOMEcLaQPO?uc[bG[CdA_PlOxqOyHJD@BYps{BoJyOFcNAR@OWuo\dG^Cea`@lgzuP?HMDAbZ`xCaCQ_IFEwBsxCWdCSOLpFnQH@IOgcZcNicQaSpPOvK^jGeCiAapm`?APMHTDEB\Q@[a_QkILEzCDgFgVw_PGhCjab`mxAEPSHWDFb]ADcakQqIOE{cLxD_dkScL{G`QJpJ_hKZyPLcWAVPQ_vwatGpCnAdPnxEUPcH^DJB_AMCbKR?IVF?c]xE_eCSoMAHBON_nx?ePiHaDKb_qQKbWREIYFAQLpK_hk[JGwCrAf`o{bgRMI^FCQMpL?i?[RG{CsaY`SKSgPyHjDPPQpFoeoTFDKC^aZPScB{K?OIHHpRPG?ewTJDMC_aZpSsTCQCHpDRpS`GWfGTRDRCaa[pTSTOQKHsDTpTPGwfSTXDUCcA\`TkT[QQHvDVPU@HOf_T^@?B?cBAQcTcQUHxDWPU`H_fgTb?n@tb@paOxWan?y@ubA@aWx[av@D@vBAPa_x_ax@O@vbA`agxcaz@Z@wBBPaoxga|@e@wbB`b?xka~@q@xBBpbGxsb@@|@xbC@bOxwbB@@B@CBQQkG_FgKPELbfqKSHKFiKQEMBgAK[HwFkKREMbgQKcIcFoKSENBgaKsJOFqKTENbgqK{J{FsKUEOBhALCKgFuKWEObhQLKLSFwKXEPbhaLSMCFyKYEQBiAL[MoF{KZEQbiQLcCGKEOMHJO|o^wpoXKMiGup??_OpsXMMjGvP?O`gpwXOMkGvp?ob?p{XQMlGwp@?cWq?XSMmGxP@OdoqCXUMnGxp@_fGqKXWMoGyP@og_qOX[MpGypA?i?qSX]MrGzPAOjWqWX_MsGzocOyO{Oa|@BBACBqQ{OgJKKfEWblQNCOkJaKgEXBlaNKOoJwKhEXblqNSOwKMKiEYBmANcO{KcKjEYbmQNkP?KyKkEZBmaNsPCLOKmEZbmqN{PGLeKnE[bnAOCPKL}KoE\BnaOKPOMSKpE\bnqOSCOKIOOHKPDOygrGXwN?H@pD_{?rKXyN@HAPDo|WrOX{NAHApEO}orSX}NBHBpE`?GrWY?NCHCPEp@_r[YANDHCpF@AwrcYCNEHDPFPCOrgYGNFHDpF`DorkYINHHEPFpFGroYKNIHEoP_op@CcrC_CaBNPgw{kc\C`CfbN`h?{oc^CaClBNphG{sc`CcCqbO@hO{wcdCdCwBOPhW{{cfCeC|bO`h_|?chCfDBBP@hg|CcjCgDGbPPhw|GclChDMbP`i?|OcnCiDSBPpiG|Scp@FBCCCaRSQkTeLGEhBtaRKQoT{LHEhbtqRSQsUQLIEiBuAR[Q{UgLJEibuQRkR?U}LKEjBuaRsRCVSLLEjbuqR{RGViLNEkBvASCRKW?LOElBvQSK?KHgKKEgbUpzxII?[CtEJbS`j_}?dF@GBCcCqR[@cHkKaEhbVP{HIQ@GCvEUbT@jo}GdJ?nA[BM@igt{^EQe_\@M`gWtWZ?NcHSOPOfWswYmL`FqciWI?RoYoLXEpBa`{sDkHyLYEpbX@pW}]BKC}ElbXPlwwo^P@qA^bV@kovk[YNj_}`O@jgu[[KMMFuOQOpP@OczAGA_bV`l?w{[aNl`H`O`jwuc[_M[FvOf_gWu?ZSMQFRbzwTGSSZALjFHbk`}CJOIKLaEuBd@vg~ED}DFEpbZPqg{_^dBIAcBXPloxW]eNr`i`QPkov?[mN]FyO@?DWMCZMLpFKBy`}s?S@WBkEsB[`rG~S^n@IBDcDQRs?W@YBvEsb[prO~__@?F?V@?`lOvO[uNxGDoA?E?OsZULtFMb}aAs?c@aCWEuB\`ro~k`B?I?X@Gplgv[[}N{GUOAoEWQwZ[LwFOB~QE{?o@gCxEwB]PsG~waD?L?Y`P@mGvo\CN~GeoBoEoT?ZcL|FPc?QJS@?@mDZExb^`s`?GbJ@JBECDqR{@C@oDeEyB^psh?Kb`?Q?[`[Pmgw?\KOCG|oCoFWVoZkM@FSC@QOs@O@wEFEzb_`tH?Wcb?T?]`c`n?wK\SOFHMOD_FoXsZqMCFTcAAS{@[@}EgE}B`Pt`?cdd?W?_@kpngw[\YOIH]oE_GGZ{Z{MGFVCBAXK@kACFIE~baPtx?seh@KBEcEASC@oAEFTCtB_@u@?we~?\?a@w@LWwC\aONHtOF_Go]kRWMAFXcCA]k@{AMFuCub_pu`@Cg@?_?cA?PLowO\iOQIDoGOHG_oR]MDFZCCqasAGASGVCwb`pux@OhB?b?daG`MOw_\oOT_Q_R@DofK[QMxGJoH_HgbcRSHsF\CEGHgWw_qQ`ISoHoHocORUHtF\cEWD?C{Q]HkCzBnABSAcAaHYCua\pvp@m@S@QCqaZ`N?z{_x@RCva[@NG{?_z@SCwa]`NW{C_|@TCxA^@Oo{G_~@UCxa^PQG{K`@@VCyA^`Rg{O`D@WCya^pT?{S`FAQBhbpQJ{CwK]OYHPDIgJGfWS?IrFbCHGJOf[SAI}FbcHWJ_f_SCJHFccHgJgfcSEJSFdCHwJofgSGJ^FdcIGJwfoSIJiFeCIWK?fsSMJtFecIgKGfwSOK?FfCIwKOf{SQKKFfcJWKWg?SSKVFgCJgHwX?_uQbIToX@OGgkXCNPGVoXPOOgoXYNQGWOXpOWgsXoNSGWoY@O_gwYENTGXOYPOgg{Y[NUGXoY`Owh?YqNVGYOYpP?hGZGNWGYoZ@PGhKZ]NXGZOZPPOhOZuNYG[OZ`PWhS[KNZG[oSOqH@odGSl_vab@QoxC]wOy_wAbPQwxo]yOz_xab`R?y[]}O{_yAbpRGzG^?O|_yac@ROzs^AO}_zAc`RW{_^CO~_zacpRo|K^EP?_??]@Q_h{]{NcG_o?ONGhST?NdFtCOwNOhWTANeFycPAJCDGKeO\HQdJgNWh[TCNfG?CPWN_h_TENgGDcPgNohcTGNjGJCPwNwhgTINkGOcQGO?hkTKNlGUCQWOGhwTMNmGZcQgOOh{TQNnG`CQw?OGKT?IiFwCRAHkFCCGI`DTb{QHpDiCIB_DPAj@}PC{bJ@RBICFaSpQ}CKDNDPajP}XD?b`AFB^Ah@To~OaaPz`CaJPSgi{^kPQHBOa`R_iWT_NvGhccWPWi[TaKJF{CTARcGoTQIqE|B}QIhI]CYIiDYByP~PDWddAMDTalP~XD[aqQ|`Faj@Uo~oauRGHcoc@Tgj[^yP[HiDLwI_XS_}QgIWOcPToj_^{P\Hnoc`Twjc^}P]HtOd@U?jg_AP^HyodPUGjk_CP_I?Od`UOjo_EP`IDodpU_js_GPaIJOe@Ugj{_IPbIOoePUok?_KPcIUOe`UwkC_MPeI[OepV?kG_OPfI`oTOqpA?dQSp`MAmPWX?cbOTM`Mam`W`?gbQTX`NampWh?obSTc`OAn@Wp?sbUTn`OanPWx?wbWTy`PAnpX@?{bZAbD_AqaA@EyDGJ@DdcCQL{ISUCJKGHC[WSokKUYORGxOT_qwwg`CSqJ?OhpW_kw_gPr`SApPXx@SbhAiDbAsAAxFUDUJFDgcEAMsIoUOJQGKc\wTgkgUeOYG{Oj`XWlS_uPx`Var@Yp@obtAoDeatqBhFqDaJMDkCFaNkD[KoMJGPdKqoKJGU]JXGNc^gUWl?UsO_G~olPYGlk`CQ?`ZAs`Z`AKcBAvDhavQC`GIDoJTDnCHQO[JcUkJ_GRC`GVOl[VAOfHAompZ?mG`OQF`]AuP[XAccP@WBKbbAC`ROkDA|DlAxADPGeD{JZDqcIqPSK?UwJeGUcawWGlsVMOmHEOo`Zom_`]QL``aw@\HB?c\BCDoayqEHG}??BDDpAzAEPHA?ABEDpazQEXHIEMJcDvCLAJ@HMCgFSFbCWAmCDcKsMLGQdLQo[K_VIJnGYcdGXGmWV_OuHIoqp[wnC`oQU`eAy@]PBccnBLDsa{qFPHaE[JjDyCMqRKK{VWJuG]Ceg?OL?VYJvG]cewMGLCV[JwG^CfWYOM?V]JxG^cfgJOXk[[OeIZD`GYWS{V_JyG_CfwY_ZwVaJzG_cgGYoasVcJ{G`cgWYwhoVeJ|GaCggZ?nOV{KJGacgwZGnWV}LyGbChGZOn[WANhGbchWZWn_WCPGGkchgZ_ncWEPHHSCqGZgngWGPIHSdLwJ_Xo[]OfI[d`gZonkWIMIGddhgZwnoWKMJGeOw`^go[[WPM`pa~``?wsa^BcD~bAPppDAFIK@EDBbqIKMWWCKLFGCSg?WM[WEKMFHCSw@oM_WGKNFHcTGBGMcWIKOFICTWJgXw[_OgI\D`wC_MgWKKPFIcTgJoX{[cOhI\daGJwY?[eOiI]DaWK?YC[gOjI]dagKGYG[iOlI^DawKOYK[kOmI^dbGKWYO[mOnI_DbWQg\W]MP`IwdnwK_YS[oOoI_dbgKgYW[qOpI`DbwKwY[[sOqIaDcWL?Yc[uOrIadcgLGYg[yOsIbDcwLOYk[{OtIbddGLWYo[}OuIcDdWL_Ys\?OwIcddgLgYw\AOxIdDdwLoY{\COyIddeGQo\[]QPaIxDoGLwZ?\EOzIeDeWM?ZC\GO{IedegMWZG\IO|IfdfGM_ZO\KO}IgDfWMgZS\OO~IgdfgMoZW\QP?IhDfwMwZ[\SP@IhdgGN?Z_\UPBIiDgWNGZc\WPCIidggjgh[hMTu`J`u@xPEKjeV@anAeAd@V]I}IXISd]Gk?hghSTxaoaeqdXVmJCI]IUd^GkWh{h[T|aqAgAdxVyJII`IWD^wkwiGhaU?asAgqePWECoFXFdcXAm`[IJQIcIXd_glOiShgUBatahaehWQ?EDkDRdLaos?wJYIhI[d`wBGUwTSSyJCOH?lwikhuUH_V`[@T`RokT?yAxAjQfhWmAIDrDVDNapcHcMsNKGrD\Qw[D?JgInI^dbWJWVST_T?JFOX_mojCiAUN_x@\pUPSGkb@|A{AlAg`XICODxDYdPQq[HKJsIuIbDdGRoVkTmTFJIoiOngj_iOUU`Y@^`VHScknAYBlbrQKxVWmHA~A~amahPXaESE?D\dQqrKLSKAI{IeDeg[GWGTyTLJMOz?oWj{i]U\`z``@W@T?k|CABAaoQiHX}GYEED`DSasCP_KOJBIhdgWcWWcUGTSJPO^_vgz?aOTYJSOeoz_{wbOTvJapJ_pOkSiiUb_@`MOpWkWikUc_F@P?p_k[imUd_K`S?pgk_ioUg_Q@UopokgisUh_V`X_pwkkiuUi_\@[Oq?koiwUj_a`^?qGksiyUk_g@`oqWkwi{Ul_l`c_q_k{i}Um`M@vPxxEcjoVE_r@dOrgl?j?Un_x@d_t?lCjAUo_}`douWlGjCUp`C@e?vwlKjEUr`H`eOxOlSjIUs`N@e_yglWjKUt`S`eo{?l[jMUu`Y@f?|Wl_jOUv`^`f_}olcjQUw`d@fp?GlgjSUx`M`v`y@EgjqVF`i`g@@_lkjUUy`o`gPAwlojWUz_A?z?sOaGUyTlJ]O@O]wYKP[J]IvDng?oOGLGGxDoD[Av{?[GYEdCaAwQmH[A?OCWBRARp[PVGmB?HAP`hpJOmKjeVA_D@J_tGeSVGTsJ`oAofGYgR_JdIydpGRw\{]aPjI|dqW@_SOLUHzDrD\awk?sI_EkDBAxqmx[Y?]DZBUacP\@V_mN?OAr@j`RgmcjqVH_G`[Otwi_VUQiI|oC_n_Z?TeJkHTd^GAWW[LaI}DucjAnk@OKcEqDcazaThVy?iE\BYAt@\xIwj~?UBS@lPZwn?d]U?`O@wPyPEodST{_J`kouomgVaQoJ?oE?uwZ{VcJtHWd_gBOZ_MSJrE?Ckqo[@kLqFTDyBBAU`WQ?wEyBoA|`axJSkL?\B\`yp]wqGdkUF_N@n?}on_XYQvJCOFovg_CVqKwH[DaWC?[?OWJyE`cmQpSACMAGVD|bRaVPWmDAFaFiCZQTXVu@CFACPA~@jHJkkX?bB`aJ`^guOdwUL_Q`p@FGnwZ]Q}JFOH_wgcOV}LzH^dbwCw[WQ]K@FBCoAqKA_MMHYE@BcQWHXI@QFGCqb?pr`KGkf?iBca[@__y[eEUSbda]p_gzGeGUTbeA``_ozseIUU`P@wpyhEwdWT}beacP_w{_eKUVbfAfP`?|KeMUWbfai@`G|weSUXbgAkp`O}geUUYbgan``g~SeWU[bhAqP`p??eYU\bhat@`x?ke[U]biAvpa@@We]U^bjAy`aHACe_U_bja|PaPAoeaU``P`x@ypE{dYT~bkB?@aXB[ecUabkbB@a`CGeeUbblBDPaxCseiUcblbD`cPDgekUdbmBE@dhESemUgbmbEPf@F?eoUhbnBE`gXFkeqUibnbEphpGWesUjbobF@jHHCeuUkbpBFPk`HoewUl`Q@xPyxFCd[U?bpbF`lxI[eyUmbqBFpnXJGe{UnbqbG@opJsf?UobrBGPqHKcfAUpbrbGpr`LOfCUrbsBH@sxL{fEUsbsbHPuPMOfSUtbtBH`vhMSfiUubuBHpx@MWg?UvbubI@yXM[gUUw`Q`x`z@FGd]U@bvBIPzpM_gkUxbvbI`|PMchAUybwBIp}hMkhWUzbwbJA?@MohoU{bxBJa@XMsiEU}_A@{pdx@Wf[TMJ^o@O}_r?`ARnIkdoG?o^SXaOkHwDXAwK?[NmKqGZc{Qlx[I?OFwEXcOa]PVgmF@~B_BkQHHTklRAeBrbuQMXJ?kD?HB{bLAHhNKkIVC_D@}`ehDgfgUOJaoAo~WrWbIRuJLdpg@_^oXmPoHzdhqw{?sNyKxG|c}AuP[e?]F}E\C`aTPNclz?OB~bMqQHIkfsVG_Ga?@f`HodWRzJdOC`?OrsdMQlH}DqwAW_KX{QmHXC~QxcI[NONYGyCkQo[@OOGK~HVcnQ^p[u?iGDE_CkAXHN{m\?UCBBOQUHLOgAVN_Ja@pgPJKe}SAJgoE@@?sOdgRiI@dsgBO_cYIQtHyd@Ay[@kOSLEHZD?A_h\Q?wGJEbclq_pOkmj?\CEbQAV@O[gkVU_NAB`hHJcgOS`Jjoi?|G|kbiQrJAOFp@wsgdsSHIUDuGC?`?YUQzIDDMAzKACOaLKH]DBAgX\i@CGQEecna`hSwmx?bCHbRqVxOwiqV\_QaD@i@K?g]TcJnOH`AgtCeASOIvdvwCw`WYcRAIGd]a{CA_OoLRH`dCaoh]E@QGXEiCpAaXX?nDAiBtBvAMpJOkL?iCLBTQWhPOkuVbcLbTaWpPSlMVc_?AF@ixK[gmUq_?aFPj@KggoU|cNBUaJ@KkgqVGcNbUqX`PgmSWQcOBVAXhPkmUY@cObVQXpPomXGbEnCrqbh[uPGL^HgDFaxsIkNWN\GzclQo{aSZ?RPINdrxCouCecS_Jgo?`CwuGeeSaJhO[PD?uKeiSbJhow@DGuSekScJiPRpDOuWemSdJipn`DWu[eoSeJjQJ@Dgu_eqSfJjqJpR_ucesSgJkQK@`WugeuShJkoj?|g|{boQuJCQKPlWvgewSiJlQK`l_}ceySjJmQKplhDce{SlJmqL@lpK_f?SmJnQLPm@MCh]SvJnqL`mHMGh_UeJoQLpmPMKhaVOJoqM@mXMOhcVZJpQM`m`MSheVbJrQMpmhMWhgVcJwojO|o}?bqQvJCo?@F_vWfMStJ}O?PFgv[fOSuKBqN`n@D_fQSxKHqNpnHMkhsWQKNQO@n`MohuWhL?qOPnhMshwWsc`B^a\pRsp~HBE~czqfpciQIM?HwDNrIkcW[ARpI_EWGTo]{^APyH[Dag?Oc[[CRqI_eYwMGc_[ERrI`E\g[?cc[GRsIaE_ghwcg[IRuIaebWvock[MRvIbEeHDgco[ORwIbegxHgho[QRxIcEjhHoegWURyIcemXI?ekZsRzIdEpHIGeo^QR{IderwTw^?^CP{H[daxIOesaqR|IeEuhIWeweOR}IeqT@LxN{hmTNcia[Q_HT?lLHUCxD?aiH\AQmHrI@dSaz[d_RgSCIhdxhJGfSgITSJwqUpMpOWiiV{cmA\q_xTWoNAoBwbwqNhJgkWZ[cma]A`@T[ofH]C{dAQj@`yQ}HyIDDUbDKe?RwSKIleLHKGfsgYT[K^qW`NpOwiyXIcpa^q`xTwqjHcD?DCAjxeARKI@IGdWBL[e[SCSQIoe\gO?[C\ePIImDibTXkiDaFqFqC^aVXWsuzHgD@dCqkPgIRQICIIDWrPkSgSISTIqeeGhWg[gmTeLPpR@P@P_jMYmaeaaQbHU_trDMDDDEalHkQIaIJILdYbX{TGSWS[IteugiWgsgyTkLqok_}W}Sb}Q{JFEvgi_gwg{TlLwpTPPxP{j[Z{ajAcAc@VAImIQIPD[Wj?hKhETqakadAc`VMIsITIQd\Gj_hWhKTt_n`ApfHI?siZZL}OW?`_rgdAYULmOko}_}Wc?Q}JFevr^xoYBACME\cgbQxluBCCNE]CgrRHlyBECOE]chBRPl}BGCPE^ChRRXmABICQE^chbR`mEBMCRE_CiBRhmIBOCSE_ciRRpmMBQCTE`BabRxmQBSCUEaBarS@mYBUCVEabbBSHm]DiFtFrc_QVxXCv?[?MCOZ?bGsW[YYaLsOZObOs[[[YcLsoZ_bWs_[]YdLtOZob_sc[_YeLto[?bgsg[cYfLuO[obosk[eYgLuo\?bwso[gYhLvO\Oc?ss[iYiLvo\_cGs{[kYjLxO\ocOt?[mYkLxol_}w}_cCR?JHEwR_HoeBoCcEgbeBThnQBqCdEhBeRTxnUBsCeEhbebU@nYBuCfEiBerUHn]BwCgEibfRUPnaB{ChEjBfbUXneB}CiEjbfrU`niC?CjEkBgBUhnmCACkElBgRUpnuCCClElbgbUxnyDmFwFtc_qWHXKvC[AMDO_odwto\EYwL~o?oO_R?YyMcL\F?G@oGSHaL]FQemr_K@cCKCqEnbhbV`oI@GAFAXbW@t@jswF?n@C`L@kGyct{[C_\?a_eguG\SVdL^oPOPWRWZEMjJreoGI?GoHmLdFUDyBWKDkCYCwErBjQ|HkIDoFxFuC`AWPXOvE[BMDoX_PoRgZMMmJtEowMOG{HuLgFVdyrWkFsC_C{EsbkA|`kYCOAPA]bY`uH]suNAQ@H`N`lWzKn[ZG`I?f_fwuo\gVnLcodOTGS?ZYMtJwEqg?WHWDgD@EvBla}Pkm?[AV@^`O`m?z[neZK_K_e?XOSKZaMwJyErWVG^g^YQDH`ddR[`oOwX?c@K_tOggvG\qVtLfOJoROMCIKLrF\D|bYCBgCuBkAbb\@vX^[ub@D@M?|oh?vS\wVwLhOS?RgOGIQLuF^D}RY[AkAuA^AEb\pvx^guh?k?r?g?b?v_]?VzLioJOMOICHELxF_d~RYsAwByAaAVB^@wP^wun?o@C?gofGvs]EV~LkOm_~W}wcMRCJJDxR[pou@aAR@Q@P@no{Oo?ZX_X?f_SgT?Z}NDK?euwEWIWDQDZF?Bpb?Plq@gAf@Y@X`oG{[oEZ\_Y_i?VwVC[CNHKAEvgEoIgESD{F@bqb?hl}@mAj@i``po_{koKZ__[?j?[GXG[INKKCEwWFGIsFWE\FBbrR@HmI@uAm@z`i@p?{woSZb`\`~@|xG_eIUVJrexr`sBoD]CABXbaPxx_kvH?|@W@BOvweg]_WKLrON_UGP_MSHjFgeBR[{B{DcCbBiaZ@yP_wvP@?@X`J_{?es]gWNLsoOOUgRcNUHmFieCB\SCGDkDCBzAZpyp`CvV@B@Z`S@?GfC]mWSLuOP?V?TkOWHqFkEDR\kCWDqDeCJa[pzH`Wv\A@B`BlAHXTslUYkLdon?~g~?cQREJKDyB\@o}AMAyAwaG`M_|gomZn_c?mon_awRiNZKKE{gHGJoKMGxCzBvBBHnMASA|BHAP@Mw|sosZs_d_n_rgc{RoN^KLe|WH_K?LOHYC{bwBB`nYAYB@BXaXPNO}CoyZv_f?o_vwf?RwNaKNe}GHwKKMSHzC}bwrC@neAaBCBia^`Oo}OpAZy`]`~`}HGgeMUXJseyRaCDGEIF_C~acP{haGvv@R@b@ypO?hs^KWbL}oT?Ww^WSAIgFreHB^sDSEOG@D@Akp|@aSv~@U@caB@OWjw^UWeM?OToXW`[SGJHFuEHr_KD_EWGaDAat@|ha_wD@X@eaJ`Owl{^[WiM@oU_XobcSOJiFveIr_cDoE]HCDCa|P}@]SpXA}B~b{aPXKgksViLtFCWJgL?Q]IIE?B{Q{xauA{BPClAap`_~GnOWm_n_s`KggoWmNrJseJw?_E?EeHoDEbG`}`]gp`?D?o_t@NWgwXYNuJteKW?oEGEkIEDFbM@}x]opd?F?p_tpQ?hCYENwJueKw@?EOEoIQDMbR`~H]wpj?H?q_uPQWi_YqNyJveLg@OE[EsISDXbX@~X^?pnB?C?B{qP`KkkwVjLtfCw@WE_EuITD^BZp~`^Gpp?K?s_v@QokcZuN|JxeMW@gEgEyIVDiB``~p^Opt?N?t_v`R?l{[aN~JyeMwA?EoE}IXDtBfA?H^Wpx?P?u_w`ROnS\MOAJzeNWAOEwFEIZE?Bka?X^_p|?R?v_x@Rooo\yOCJ{eOGA_F?FII^EJbqA?h^gqB?T?x_x`S?qG]eOEJ|eOgWG_G^gQLHeDfQ|`mowh?U?y?xpSGqs]{OFJ}eOwAwFSFOIaE[Bya@@^wqH?W?z?yPSWsK^iOHJ~ePWBOF[FSIcEfC?A@P_?qL?Z?{?ypSgtc_UOKK?ePwB_FcFYIeEqCBQAp_GqP?\?|?z`Swu{_[O`K@eQWBoFkF]IhE|cBqD`_OqV?^?}?{@TOwW__OvKAeRGC?FwFaIjFGcCQGP_WqZBAC@b|aPpKsk{VlLufDWCGF{FcIkFMCCaHh__q\?a@??{pTgy[_ePYKCeRwCWGCFgImFXCDAKh_gq`?d@@?|PTwzs_iPoKDeSWCoGKFkIoFcCDqNX_oqd?f@A?}@UG|K_oQEKEeSwD?GSFqIqFnCEQQH_wqh?h@B?}`U_}g_sQ[KFeTgDOG[FuItFycEqSx`?qnAH@}Ala?@@odcWPKkOop?_~[c]RMJNdzb\ppYCSB|DZcAqBhJsogXX`D_~`V@@W_{RHKIeUgP_N{TqO^GOctBApdmCYC?D\CGAD`L{omX[`F@?PVXAG`mRiKKEVWPwOKTwObG`C|RBHdyC_CCD]cHAHhO?osX^`G`@PVxASasSJKLeWWQOOWU?OeGqdDbB`eICgCFD_cHqM@QCoyXb`aA@P~@H?e]U_Jvezr_hp]CiCGD`CIANXQoo}Xc`J@APWXAccKSwKOEXWQwOgUGOiHGdOrCHeYCoCJDacIqR`SwpCXf`K`B@WpAsdMTXKPeYGROOwUMOmHXDXBC`eeCuCNDcCJqVhU{pIXi`M@C@XPB?eQTyKREZGRgPCUUOpHiD`RCxeuC}CQDeCKaZxX?pOXm`aa@`~HHGe_U`JwE{b_ppaD?CRDecKq\PXkpSXn`O`D@XpBOfiUfKTe[GSOPSU]OtI?DkbD`fEDECUDgCLa`XZspYXq`Q@DpYHB_gkVGKVE[wSgPcUcOxIOdqbDxfQDKCYDhcMad`[kp_Xt`R`EpYhBkhoVKKWe\wT?PoUkO{I`drREPfaDSC\DjcNQhp[wpeXx`bA@p~PHKeaUaJxE{r`@peDUC]DkCNajH[{piXy`U@FpZHB{jGVPKZE]wTgQ?UsP?IvdsbExfqD[C`DlcOQnP\KpoX|`V`G`Z`CKkIVSK[e^gU?QOUyPCJGDtRFPf}DaCdDnCPQrX\WpuY?`X@H`[@CWlMVVK]E_wUWQ[VAPFJXDuBFhgQDiCgDpCQAvh\cp{YD`@@opuhCoi{UkLUerGWw__^uQSHhDgq}XnOwQ[Y_A?l_dGmKaQVGJlEOBOs?SDmCiDqCQaxP\oqAYF_B?m?dWmSaUVJJmeObPC?[DqCkDrCRAx`\wqEYH_C?m_dgm[a[VLJnePBPS?cDuCnDsCRqxp]?qIYJ_D?n?e?mca_VNJoePbPc?kDyCpDtcSQyH]GqMYM_E?n_eOmoacVQJpeQBP{?sE?CrDucSqyX]OqQYO`cAAP~`HSeeUcJyE|R`Ppm???N@_`L@\pDOmgXJLGo?OA?KGHiJnGidtRH`hI?aBBAZA{AIpD_mkXLLHoC_W_R[VaPVJjeCbHphQ?eBDA[A{aJX\_q]Y@LIoD?WoRgVeP[JkeSBQpnA?iBFA\a|AJh\gqaYVMnoD_X?RoVkP]JmESbRH{y?mBHA]a|qJx\sqeYY_K?qofon_b?V]KiEewXG_g^yQUHidhQ}hnWwU[[_@?E_X_R{VqP`JneTbRc@kBaBLA_A}aKP]?qmY\_M?r_[?SCVuPbJoeUBRs@sE]DAAfa~AK`]GqqY^_N?s?gWZwVyPeJpeUbSC@{EaDDCUa~aKx]OquY`_??G?YOSWSwJ~GsEVBSS?C@ABRAbb?P`XEcqyYc_P?t?h?oGZsPWGtEVbSkAKEkDHE@byQLX`Gq}Ye`daAp~pH[ekUgJzE|r``py@I?j@jb@AJHEorAY@LRoH_D_L_WIPlHcEWbT@nA@M?l@kb@aLpR[rEYhMnoI?DoLgWMPnJREXBTP{y@Q?o@lbAAMH\?rIYj_T?KOZ_ocbcVZKrEjG?OBGEyKIGxdxbKxiu@e@p@nBBQM`^CrOYn_Y?vo[?owbiV{KsekGEgMGI]KNGzE@rLPjEEWGLF~ceAYxYcnmZwMEfFwEoMKL{KOGzeCrL`jI@mBcCUbCQN@`wrYYr_[?xPR_pGbqWhKvElGFGMWWUKRG|ELBLxjU@uBfEIB]aN`b{r_Yu_]?y@ag}cbyXIKwelwFgMcWkPXG~ETRMPja@{BiEKC^qX@e?reYy_^_ypbHG?hmXjKyEmwG?MsWsQ@JRE\RMpjqEYGMG?ceQZ@YgnoZxMFFGGGGMwWuQAJgE\rOPjuACBnEMC_qzXf_sYY}_`_{@bhGOnKXxLKEnwG_NCW{QDJwe]bSXkAAKBqENc`q~`fkt[Z@_b_{pc@G_oMX{L[eogH?NOXAQHKHe^RWXkQAQBtEPcabBpfwuIZN_d?|`c`GkpQX~LbEugHWN_XIQKKYE_BWxmUE[GNG@CeaZHYknqZyMFfGWH_NcXKQLK^e_rX@nEAYByERcbbHPgOuQZ{_f?}pd@G{qiYDLdF@wHwNoXQQOKoE`bXXpIAaB|ETCcbLXg[uW[\_h?~`dXHKrkYGLefIGIWN{XWQSL@EaRXprMAgC?EVCdRPPgsu_[}_i`?PdxHWsUYWLgfQWIoOKX_QVLEEgrYPtQE]GOG@ceqZPYonsZzMGFGgIwOOXaQWLFEjbYXuAAoCDEXCeRPxjcug\j_k`@`eXHgs_ZCLif\gJOO[XgQZLGerrYpwEAwCGEYcfRQPl[us]K_m`APepHwseZWLqfdwJoOgXmQ^LIEuR]HyI@oD?BQaXaEhRCqeYdNOf|wFGSCLKHfGZDKbI`iW|E^w_\`O_swe_`oSrKjEhrs`~eE_GPGACfQZXYsnuZ|MGfGwF_SKLQHhG[dLBIxi_|I^y_]`POhOYg`sStKkEiRsp~q@{DEAd`iqFXRWqqYiNRf~WFwS[IWEkG]DMRJPik|O^}__@Q?hgYs`ySyKlejBtH~}AADHAf@jaFpRkqwYlNTG?GDWCGIaEnG^dNBJhi{|U_@_U?OoiOZ?a?S|KnEkBta?I@Y@CAh`kQGHRwq}YpNVG?wDoCWIgEqG`dNrKHjG|]_C`gaCa?hHwewUmJ}e~baXqQ@_@FAi`lAG`S?rCYrNWG@WEGC_IkEtGadORKXjO|a_F_X?QOiwZWaKTAKqElRuQ?a@e@IAk@lqGxSOrIYuNXgAWE_CkIqEwGcDPRKpj[|g_I_Y_R?jOZcaQTEKremBui?m@k@LAm@maHPS[rOYyNZGBGEwCwIyEzGddQBLHjk|m_L_[?RojoZoaWTHKtEnBvI?y@q@PAn`nQHpSgrWY|N\GBwOW[O\kPMIndjRTxks~E^t`hACq?pH{eyUnJ~E~ra`qU@u@QAo@oAHxSkrYY}N\gCGF_DKJAF@GgDRBLpj{|w_Q_]_T?kO[GaaTLKveoBvi@M@{@TAp`oqIPS{r_Z@N^GDGFwDWJGFCGhdSBMHkG|}_T__?Tokg[SagTPKxEorwA@YAA@WAr`paIhTGreZDN_gDwGODcJOFFGjDSrM`kW}C_W_`_U_lG[_amTSKyeprwa@eAG@[At@qQJXTSrmZGNagEgYW`O_MQ_HnDkA~xo?wi[e_b?VOlW[kawTUK{EqRwq@mAM@]Au@rAJhT[rqZINbgFWH?D{JYFLGnDUBNPkk}O_]_c_W?lo[wa}TYK|erBxI@}AS@`Av`rqK@TkrwZLNdGGGHWEGJ_FOGodVBNhkw}U_`_e?WomO\CbCT\K~EsBxaAIAY@cAx`saKXTwr}ZPNegGwHoESJgFRGqDVrO@lGwI^O_f_Xomg\ObKT_L@esr_p|EEgGTGCCgQ[@ZCo?[@MJFHwIGE_JkFUGrdWRO`lOwO^Q_h?YOmw\[bOTaLAetR`H|MAe@iA{@uALHUKsKZUMDFtGI_EkJqFXGtDXROxl[wU^T_i_Z?nO\gbUTeLCEuB``|YAk@lA|`uqL`U[sQZXMEftwIwEwJyF[GudYBPPlkw[^W_k?Zono\sb[ThLDevB`x|eAq@oA~`vaLxUgsWZ\MGFuwJOFKK?F^GwdYrPplwwa^[`jADa@HIGfAUrK?f?baxqeAw@sB?`wQMPUos]Z^MHfvWJgFSKCFaGxdZRQ@m?wg^]_n?\_oW]KbgTmLGewRah|}A}@vBA@xAMhV?scZaMJFwGK?F_KIFdGzD[RQXmKwm^`_o_]Ooo]WbmTqLIExBb@}IBC@yBC@xqN@VKsiZeMKfwwKWFkKQFgG{d\BQpm[ws^c_q?^?pO]cbsTtLJeyBbX}YBI@}BD`yaN`VWsqZhMMFxwYw`__SQbHpDlB?PoKwo[i_r_^op_]obyTvLLEybbp}aBOA?BE`zQNpV_suZjMNfyWLGGCK[FmG~d]RR`mox?^i_t?__pw]{c?TzLMezRcH}mBUABBG@{AOHVos{ZmMPFzGL_GOKaFpH@D^RRxm{xE^l_u_`OqW^GcET}LOE{bc`}yB[AEBI@{qO`V{tAZrMQfzwLwG[KiFsHAd_BSPnOxK^p_w?aOqo^ScMU@LQE|Rcx~IEoGXGEChA[XZSoE[CMKfIwMWGgKmFvHCD_bShnWxQ^r_y?aor?^_cQUBLRE|rdP~QBiAKBK`}QPPWOtMZwMTf|WMoGsKsFyHDd`bT@ncxW^u_z_b_rW^kcWUFLSe}bdh~]BoANBM@~APhW_tSZzMVF}GNGH?K{F|HFDaRTXnsx]^x_|?cOrw^wc]UILUE~be@~iBuAQBO@~qQ@WktYZ~MWf~GN_HOLAG?HHDbBTxo?xc^|`kaEa@hISfGUuJqe@BbPqqB{ATBPA?aQXWst_[@MYF~gNwHWLEGBHIDbbUHoGxi^~`??dos__OciUNLXF?req?ACAAWBQa@QQpXCte[CMZg?WOOHcLKGEHJdca{hjOxo_A`@_e_sw_[coURJrelRfI?MCGAZBSaAARHXOnOYuM\G@GOgHoLSGHHLDdQ|Hj[xu_D`B?fOtW_gcuUUJtEmBfa?]CMA^BUAAqRhX[nUYyM]gAGZO`k_[QeHqdlq{x_Swu[l`C_g?tg_sc{UWJuEmrfy?eCSA`BVABaRxXcnYY{M_GAgPWIGL]GNHODea|pjsyA_J`E?gou?`?dAU[JvenbgQ?qCYAcBWaCQSPXsn_Y~M`gBWPoISLcGQHPdfa}Pk?yG_M`F_h_u_`KdGU^JxeoRgi?}C_AfBYaDAShY?ngZAMbGCGQGI_LkGTHRDgQ}hkKyM_Q`H?i_uw`WdOUaJzEpRhA@MEuG[GFciA[pZ_nOWEMMFJgQ_IkLoGWHSdgq}xkWyS_S`I_j?vG`c[SUcJ{EprhY@UCkAlB\AE`pXYSnqZGMeGDgQwIwLuGZFEDiA~PkcyY_V`K?jov_`o[YUhJ|eqbhq@aCqAoB]aFPppYgnyZJMfgEWROJCM?G]FFdiq~pkoy__Y`L_k_wG`{[_UkJ~erRiI@mCwArB`AG@qPYso?ZMMhGFWRgJSMEG`FHdjb?Hl?ye_]`mAFQA@IcfMUxJseABbpq}C}AuBaAGpq`Y{oCZPMigFwS?J[MIGcFIdkB?XlGyk__`O_m?woaS[kUpKAEsriyAEDCAxBbaH`qxZKoIZSMkGGgSWJgMOGfFKDlB?plSyq_b`Q?moxGa_[qUtKCEtb_htiDIA{BdaIPrPZWoQZVMBFUwSoJsMWGiFLdlr@Pl_wO\[`R_n_xgak[yUwKDeuR`HtuDOB?BfAJ@rpZcoWZZMDFVgO_[S\mPNIoDjbU@kw~G^u`maF`pP@CfOUyJtEARbxrADSB@BfaJprxZgoYZ[MDfWWTWKGM_GoFODmr@plswW\a`U?ooyGbC\AU{KFevb`huMDYBCBhAK`sPZwo_Z^MFFXGToKSMeGrFPdnrAHm?w]\d`V_p_y_bO\GV?KIEwRa@uYD_BFBjALPsh[CoiZaMGfXwUGK_MmGuFRDobApmKwe\g`X?qOz?b[\OVBKJexBa`ueDeBJBkaM@tH[OooZeMIfYgZo`{[UOQHsdmq|X_gx?[p`Y_r?zObg\SVDKKexrapuqDkBLBlaMptX[WosZgMJfZWUwKwMwG{FUDprBXmcwo\m`[?rozgbs\YVHKMEybbHu}DqBOBnAN`tpIgoyZjMLF[GVOLCM}G~FVcirBxmowu\p`\_s_{Gc?\_QkKOEzRb`vIDwBRBpAOPuHIspAZmMNF[wVgLONEHAFXcjbCPm{w}\s`^?t_{_cK\gQnKPe{bc@vUE}G_FECCq\XZonWWJMOfKgW?L[NIHDFYckBC`nKxA\v`__u?{ocW\kQpKQe|BcPvaECBXBraPpuxJKpKZtMPf]WWWLgNOHGF[ClBCxnWxG\y`a?uo|Gcc\qQtKSE|rchvmEIB[BtAQ`vPJWpSZwMRF^GWoLsNWHJF\clrDXncxM\|`b_v_|gco\wQwKUE}bdHvyEOB^BvARPvpJcpYZzMTF^wXGMGN]HMF^cmbDpnsxU]?`pAGPph@OfWU}JueBBcPrQEUBbBwAS@w@Jkp]Z}MUF_gX_MONaHPF_cnBE@n{xY]B`e_xO}OdG]CQ}KWf?BdpwQE[BeBxaSpwXJ{pc[@MVf`WXwM[NgHSFaCoBEXoGx_]E`g?y?}gdS]IR@KYf?reHw]EaBhBzaT`wpKGpk[CMXFaGYOMgNoHVFbcoq{hb[xg]H`h_yo~Gd_]QRCJreMBehwiEgBlB|AUPxPKSnOWxMZFaw[WaK[[OTHudnq|p_sxE[t`j?z_~Wdk]UREJseMbexwuEmBnB}AV@x`K[nSWzM[FbgZ?N?NyH\Fecqa|Xboxq]N`k_{O~odw][RJJuENRfPxAEsBqB~aVpxxKonYW}M\fcWZWNKO?H_FgCrQ|pc?xw]Q`m?|@?OeC]aRMJveORfhxMEyBtC@aW`yPK{n_XAM^fdGZoNWOGHbFiCsA}PcKy?]T`n_}@?geO]iRPJxePBgHxYFGGcFFcDq\p[?n]WMMQFLg[ONcOKHeFjCsa}`cSyC]W`p_}`?we[]mRRJyePbgXxeFGBzCCAY@z@LSnkXFMaFeg[gNoOQHhFkcta}xc_yI]Z`r?~OhO_g]sRVJ{EQRgpxqFMB}AdaApzXL_nqXJMbffW\?N{IWGLFmCuQ~PcoyO]]`s`??hg_w]yRYJ|eRRhPx}FSC@AfABpzxLknyXMMdfgG\WOKIaGOFoCvA~pc{yW]``qaHPq@@_f]V@JwEBrchr]FYCCAhACP{HLsn}XOMefgw\oOSIeGQFpCvb?@dCy[]c`v`@_i_`K^ER_K?eSbhxyUF_CFAiaD@{`MCoCXRMgFhg]GO_IkGTFqcwb?XdOya]f`x@AOiw`W^KRbKAETbiPyaFeCIAkAE@{xMOoIXVMhfiW]_OkIqGXFsCxR?pd_yi]i`y`B?jO`g^UReKCEURipymFkCMAmAEp|`M[oQXYMjfjG[oaW[cOXHwDoa}P`?xK[w`{@Bojg`o^YRgKDEUrj@yyFqCOAnAFP|pMcoUX[Mkfjw^OPCI}G]Fvcyr@`dsys]o`|`C_k?`{^_RkKEeVbjXzEFwCRAoaG@}HMso[X^MmFkg^gPOJCG`FxCzb@xeCyy]r`~@DOkWaK^eRnKGEWbjpzQF}CUAqAH@}`N?oaXbMoflW_?P[JIGdFzC{RA`eOzC]ua?`EOkwaW^mRqKIeXRkXz]FMGfFHcEa]H[KneWPMRfMW_WPgJOGfF{C{rApeWzG]xaA@EolGa_^qRsKJeXrkhziGIC[AtAIP~PNWooXgMrFmw_oPsJUGiF|c|rBHeczM]{aB`F_l_ak^wRwKLEYbl@zuGOC^AuaJ@~hNcouXkMsfng`GQ?J[GnF~C}bB`eszS]~aD@GOlwb?^}RzKMeZbl`{AGUCaAwAKQ?HNoo}XnMufoW`_QOJcGqG@C~RC@f?z[^A`sAI@q`@kfcVCJyEDBdHriG[CdAxaKq?XNwpAXpMvfpG`wQWJgGsGAC~rCPfGz_^DaG@HomgbS_IS@KPe[rmH{YGaCgAzALa?pOGpGXsMxFpwaOQcJmGvGBd?rChfSze^GaH`I_n?b__OSCKRE\rm`{eGgCjA{aMa@HOSpMXwMyfqgagQoJsGzGDD@bD@fczm^JaJ@JOnWbo_WSFKTE]bn@{qGmCnA}aNQ@hO_pUXzM{fr^") dhar2485nx = dhar2485.networkx_graph() com2331nx = com2331.networkx_graph() # List of graphs to process graphs = [('dhar2485 ',dhar2485),('com2331 ',com2331)] 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)} / 11-reg.? {graph.is_regular(k=11)} / Girth: {graph.girth()} ")# / Alg.conn. {algebraic_connectivity(graph).n(digits=6)} ")# / Domin. number: {graph.dominating_set(value_only=True)} ") print("Degree histogram dhar2485 :", nx.degree_histogram(dhar2485nx)) print("Degree histogram com2331 :", nx.degree_histogram(com2331nx)) 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') Adhar2485 = dhar2485.automorphism_group() print('dhar2485 :', Adhar2485.structure_description(), ' | center order:',Adhar2485.center().order()) Acom2331 = com2331.automorphism_group() print('com2331 :', Acom2331.structure_description(), ' | center order:',Acom2331.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") ## ##