# SageMathCell online https://sagecell.sagemath.org/?q=smoxqg # # (7,5) = 2756; Moore bound= 10886; # Dinneen,M.J. & Hafner,P.; New results for the degree/diameter problem. Networks, 24 (1994) 359-367. # Z_52 x(2)Z_53 with generators [25,45]<>[27,37] (order 52); [30,23]<>[22,18] (order 26); [40,39]<>[12,51] (order 13); [26,0] (order 2). # Avg.dist.: 4.332123 transm.: 11935 # # Other instances (F.Comellas 2024) # Z_52 x(18)Z_53 with generators generators [23,8]<>[29,16]; [38,41]<>[19,39]; [16,39]<>[36,51]; [26,13] # Degree Distribution: [0, 0, 0, 0, 0, 0, 0, 2756] avg. deg.: 7.0 max. deg.: 7 # Diameter: 5 avg. dist.: 4.332123 transm.: 11935 # # import networkx as nx DH2756 = Graph(r":~?jC_?O?G?C?A?@??_?O?W?K?E?B?@_?o?g?S?I?D?A_@O?w?[?M?F?B_@o@G?c?Q?H?C_AO@W?k?U?J?D_Ao@g?s?Y?L?E_BO@w?{?]?N?F_BoKoESBI@d?q_XOKgESAK@f?r_XoKwE[BM@h?s_YOLGEcAC@h?t_YoLWEkBU@j?K?ZOLgEsBY@l?u_ZoLwE{B]@n?v_[OMGFCBa@p?w_[oMWFKBe@r?x_q_XGKcAOBH@c_qOXGKcDSBJ@d_qoXWKkEUBL@e_rOEOKsEYAe@e_roXwK{E]BN?}?sOYGLCEaBP@g_soYWLKEe?}@h_soC_LSEiBT@i_tOYgL[EmBV@j_toYwQoHUCj@U@IodWQkHUCjAE@JOdgQsHYCl?R@JOdwQ{H]AUAV`Jo`?Q{HaCpAW`KOeGM?HeCrAX`KoeWRK?gCtAY`LOegIGHi?gAY_a?ewR[HmCvAZ`LofGRcHqCxA[`MOpoWsKYCMBE`bOpgEGKYELAv@bopwW{K]EN@D@boqGXCKaBwBG`cOlOXCKeERBH`coqWSGKiET?i@dOqgXSKi@wBJ`doqwX[GGEV@E@do\_XcKqEXBK`eOrWXkKuEZBL`eo|o]sNYDoBu`zO|gKWNYFlBg@zo|w]{N]Fn@v@zo}G^CNaDYBw`{Ox_^CNeFrBx`{o}WYONiFt@[@|O}g^SNiB[Bz`|oCo^[AWFvAr@|o]?^[I[FxB{`}O~G^cNuFzB|`}o~W^kQ[HLCe`s`HgcsQYCgCeaRPE?c{Q]HNCf_G`HwT?Q]HP?mASPIGZoQaHPCUASPIWdKQeHRCha@@IgdSGsHTCiaTPIgRwQmHV@DAToU?d[MOHV?k@S`IwZ?QqHXCkaUPJGdkQuHZClaUpJWiwTYIl?lAK`TgisTYEIDUajPQ?i{T]InDV_``TwZGT]Ip@_AkPUG`oTa?WDWab@UGjKTeIrDXaX@UgjSJwItDYalPUgY?TmIv@vAloaOj[POIv@]@l@Uw`?TqIxD[amPVGjkTuIzD\ampVWooWUKJ@^Ac``WokWUFiEDbAp\oosWYKLEE_y``g`GWYKNAPBBp`wfoW]@{EFay``wpCWaKPEGap@aWpKM{KREHbCpaW_?WiKTAgBDOm_pSSOKTANAD@agBOR_KVEJ_P`awp[WmKXEKbEPbGpcWqLi?ZBYPlGQ?V_LhEsbYOB?cgZQLhEeBYplWukIWLjCxBYoGOusKGLlEuau`lgM?ZYLGEubZplwu{Z]KaEwb[PFovCZaLpEwaW@mWvK@sEqEx`t`mWmWZeE?CyB[pmgIgZiLtEyb\pmwv[ZmLvEzbp?RO{K]EEAEfBopwW@G]E@{DTBopwWy_]INDFa`j`wglG]IAeFb`x@ww{[XoNFA`Bpps_{[]QNHFcbqPno{k]UI]FdbqpxW{kU?NL@NAC`xgbW]YLCFe`w@Y_{s]]CKFfbrpxw|C]aNPFgbsPyH@oFwOZGL`w`tP@k_u@uGL_w@`@@k_uO?GMcFQBgB_O[O\EWCFO`@@{QGO^GNbdABwYO_}?QGNcGQCHAC?{O`FkCGqCWno`EObGPcGpbpASG?HqGQadaCgy?`IH?EXCHQCwUw`MOfGRcIOF`Ac`QOh?VCIQDHFOI{PrGxaOa?PFKbeBYGx`O`kpFKbePWGyc\QMgHoR[PtFEC\OlPF[A_IcGzc\p|pF[OGPv?zC\qNHFc@wPx@@C]QE@FkbuLYG|c]qNXFkZwP|ApAsaNgnObyNyG}ag@ppFsb}FOG~c^qNxGCD?Q@?fC_QOGHGcA@AH?cr?w@KkeUIaGlCqqXWRoeUEcF_CqqXXJ?eY@WHecrO^okweYNeHe`rAXwJOWCRNHfcPaXweOe]@]@lCrqYHLCD?RP@rCsQP@LKeeMsHhcsqYXLK]kRTBaBKAYgtGei?yGhCtP^o}_ei@CHjaKAYxL[emRXA@CuOUPLceqBuHk_haZHQOP?SbIPb?AUPQKhEE]IPa@AB@QKhESGIQ_nAchQSJ?KkIQcNacgaohMCUEoDHqcxHwhMJCIR_o_f`Q[hQShA@DIOh@Qcf?SjITcBAdWAghUSjITcJadgaO[WSl?KDJORpIghYL[G_DJOT@Q{S_SnIV_FadxRCJGSpAIDKQeGT_haCGIWd^@O@Vkju?OEnDAanXVkN{TzCqC[AnXVkj?T|AND^Qng[G[OT|HJD^PP`V{ASDwF\D^qnxNWj}KaI~`H?rpV{kADcJ?`iaoHR_kEUBGqD_oPpWKkEUBHBD`PO_}WkI@{JA`?A_PWS\kQWJA_E_`PW[V[UFJB__aoxWcMKUHAzDaQpGZgkQDiJCds_JolwmaVP?yBmAkP\CmaH]JgapAX@\CmaUuJh`_AyWCgmeGaFpDsp\P\SD[FYGHDtQyhSwmiL}Ji``_~p\SmmFEJjaAayxX?mqVXH]DuO]P\cmqVXHnDup[PBwmuB_Jl`WajP\k_[RoJl_^_l`\sYWV\Jm_xazh\{PKV^BkDvqzw`gm}FKJneH_WOropIWd@kCCAv@aSB?WdD^EHPcPQ?pIWdKDEHo{@a[D[WfD@CMbCws_pQCOC\CYbDHac@OUcKSbuBDG]WQ{WhKTaHbDWegpUVeKUeJQa`asIgWlKUdLbDws?ckWnA`EJow`Z?p]PeIcEJo[O[wpaMgKW_IbEGS_paWrDBEKpF@bKAgWrC|EKoA_aopeXwAQBeBMwB_rmCyGsEBBMwDGEGXvEME\oCovwjoXvKzeVBNGc?rqCOK{awAQPfc\GXzAxAeaWPfkruAKJ{E]pGojwruX|DBE^PXPfspsX~K~dZBNwZWr}UML?bfA\pgCLGY@CQE@BOG@?d{Y@G?E_oPpgKLSYBLAaxBOgh_sIAwLAauBOgF_SWYDLa@``}PkKCwZBBMCoBJpkKDkCeL`b]bWWGg]oVML`eorTPkST?ZDAxEpOG?rwfSZD?HEpoy_n_gsZFLb_{BH`k[TKK[LbeqP[`kcXOZHLEEqrXX[GuU@[CJEqq{`ks^kTELea@BXgE?SGZL?yDDbXhD_u]BqLfaAbXxlCYCZPDzEsObPlCXkZP@mAybYHp?NKPIMF_~b`w^ogoYkMF_O?b?W_w]?aFiFBo\pB?pC[NMFe|baGnwwaFSMG_h@rPSGwa@uMHaL@ipVGwe[RAhEfBaWoOZs[RMI_T`gPpS[G[TMJeDbawK?Rk[VK[FEQHpXwwqBCDpFEOZ@UwwqQoML`TBbW@gRS[ZMMbfbbgtOwyD{MMbcbbgRwYO[\MkAPaSPt[J?\VCmD[B^@t[DGDyBsFToOpAoymDOHCE\Biw@oym?aMkbVBjGbOyqCEFyDebjGLgyuISFWDqBjXtkLgZgMlbW`y`tkyyAyFNFVPzptsy}XgMn_U_cPt{sS\`HRD{bkGQWY?\`A\DpBkHO_zEEuMp_^`XPuK^o\dFVFXOzpuS^W\dBOBhBkhxwTKRyNM`obrgjomK\?NM`@_z_c_{yBiHAFfOuPM?u?]\@?FfOOpx{\k]^DIFfol@Con[]^A]FgP]P?_ow]`NOaDBe`yC\wOkNOfgob_~_|EOuNPfhRU`ySD{ECNQetbsw@wf{XENR`a@r`y[KwWWNRdWBtG`W|QBaESFiQI@yk_K]j?fANbtXCO|U?QC?Fir{_oOic^b?UAGb{WD?WsWYNCFwol?boTO^bAeCvB{W`Gho[KNp_xB{WMg~IOMNqa{b{g[gdGXANq`fb{wt?b?XmNra\Bn`}[AwOSHAFxr|GVwa_^hNtf?B|WQ?NG^jMPFzOOPTWsk^lBsB|b|g^orS^lJZFzoDofW~]DCFAFzqT@~Ca{^p@XAfb}HHo~a@uCoF{SCouGlO_d@GA_cCgJOZoXkNfGHOxOhoWK_dBVDLCCgfGk_\SOQ`PcCgSp@M@MGrGHpiAA[PSR{LIGHo~qAc\WQwL\GIPY`{H@QB?GuCvCDIAkBCQgOTgJRhAAsKCHCOUfYcDwMWlWZaOVaQAHqA{QwYuOVeAcEGDgCc_pBRBvcEHO@@eQuOX`D@^aBKfg_r@lAoCEYE_\wV{Or_|@[AE[GkNQL[GCCKwagVsLcOraBapaE[UcVeNLGXoG_Y`BMEmOs_kaVqEcAgMkOsaaai`m@BQH]Otc@Aa@oXBU@OEXGYocPKOhg`jOu_N_WpO@BY`nNGGZo{OiPB]@KNWG[Oh@_?x[`pDSChcMGjowC`pKmG[oVoNXBeGEGZG[qjAFSJkLYOydRCMgRoW{`tPSCDBIAI[IkK}PR`]ADPoPAcafDDBU@vqI[R[VaPRbKBFP}@DMAgCCGhp@qIcGgSUPS_mA?aIcVOUiMUGiOHOjxDUP[IsFRcTWJO[[ajBADFApaIlDYAaASDUCTiI{}kanC`B?cTwJ?~kapBTETBmqJCWKR}PWbEbhQJCtSarAO@UCUWeWc[arJVGlOz?zPDiUaPY`f`naJTFOPkLOGxov?xhFMFYH@FRCQaM[VOMqGJGxpXpbXFMMKLEGGc[wOgRObfCvGyOIoVWj[bhALCVC\GsWn{\sPs_j`baMkdgU}NIGyoao}`FUFcIyDwc\YMsGGEIJVGzS\y@`F]IaEoGzoaQB`FaGILQFnC]GuOikbp?MB]C]HnXFeEAB\G{pWpMXFeWAPyaMA@aNSnkbtB~Btc]iQ_eGZkQRaE@}aQ[PsRYNHGtCcwsW_SPmQR_V@d`g`HMNeLkGXCcwUoUOcfDfHIOVO\_mGchA}ClCdGyGqc]yQS`C@nQQkgWWQNlHIon@C@HUHCJdELcdYQsJKFiK@HJSdyDhH]K?F\HJomaFhHaM}JUHKOO?|HHa?aQX`w`BQRK?gKcI^HKrIqRSSoPcQYeQcegdw`[ctQrDFBeqUSRoPKQqaeaeP|`GgddFPCWaWqUSE?MGLiHXQFpqPDGddBfBHckgqpJMC[C[EECkw\wgWdfF}Egb~qU[JcNSQsdXBKa@pJQFYHKHYPS``wsOdhQt`q@HPdXJUdlPMHZPjp@HJYFUP\HZqAp_@J]BcGTHZoOqVCQCHyQw_]@o@XXJa@QQxa|aVaVKssdr?VAnaOqVLLGTsM~HgpYpIPLE?_D{DacBQTHLEN{H\DFcsWQG^C[_RP_KaQpupFGebCVB_csWw`LID}DKEYcsgBOP{TcRQcTB\qC@LIFSGUHhqvPj@A{efC\C{CswoGr_ZSRR_S`D?ihLQejPmHipv@EhLUGuP|HjQLpdPLYDEH@HjPSOl`L]B[FlDyctwJXLaLSIIHkR[qZCCcK[HnHkSzp[g}Gf\EYC~CzgGOYkV_OmHcCzhDOgcTuRm``AFPu`MyAUHvFkcca\sS[N[RmbwczwEGVkYuRn_e@RpZhM}QkM[G_czwbOcGf`?aEBb^a]CSsTGRobWBV`q@NAAuDCBAC{Y]TGwfdGGCoc{ghXHsffHbEhC{wY_esffE?BLc|GAOH{OqK^HyObA]k\[TkRtfKc|WNWZsSuRtiEBBq?XOm@WFGDTDAwM_\_WsPNHrDAxIojSVKSJ`xAQPyxOmBwIbF}CkQ`[VWOsSJcMdBGKWYg[ASK_T_^Onoo[gXIAF_CWQ`cDOX_MaIEoA?n`OuMyMCFYDBWP_VKLeSMiFsjQ`{bOSYSNa|CnAaCg{ZoSOaAAeQaCY{MQSP_a?s@Ggs_gb?\@]dCh?WmCgd?WF]dCgT_]gUMSQiSBMAC`Q]@E@]ByatQc{ISOGLBGvd?qc{gGV?KOIRoE_cOfS^sSf`UarqBhL?hNEdCbDHxHHQaCgFVFQdIGJgIwLYKoISQj`{XGChPADEjbpadK_c\ONVISonOsO]?hTSj_RCrAd[e?TqSjd\bfQdcROUISkbm@|adkFWG?HpEvDJWHwMwh\GnEDdJgHO}?h\B\CJA{adtSGY{PDI_oTOPwaCV}T@`jAK@lHG{g}T@dVBA`fHSEAWDQDOcEqgKLwVqO}HudOWyWfGiBHtI`OB_Wg_KiDAM@n`u`ixSIUqOCHOdOgUovs^QTBcYbqp~PSMF[FOCEDPIgkD_fQTDdEAxAgkmW]ATEaqA{Ags__PCTF`R`K@RgxOiNA?ANDQHJWrOiP?cG@DQG`gcGWwTGimB`AKhTm@MAE@_ARPdHTmGKH[FFcjafHTm?cJXEXbVqj[FsKAJLG]DUwBoOwXEP]IDDUw~whwiv?dDOdVGG?NSP]T[`^`Bp?ovsixKBGQcoAjcM[\AOIImpF_~gb_i|T^d[BBaj{p?^GT_bHbEakCL_J?JHF[DWWUGSwjDIFElDWgIpAKjDC|CvBPQkTVK\OQDIxOUOUwN?RqLPIxPL`P?zKeYTRIxOP@_Wtc[ITq`V@k@]xDojd@OA^BQqNpQWjd?^CTaqamSD[UYTr_x@HPJXVM@aC~CXBgQm[qoaKR^IxpDpwhAkjhDMCSaXAmlVYVEKvIzRMQ?hV]MALBIzoJo`?W{]uTw`p@^QnKjK[?TxauAe`lXVekQNJHQdaGPOM_H?IdEzdaGkojO]kRiItdaGMoqoZ}MhJCOvozgqCbwUG`?`ZPmHHwi?UG_E_SPIwnOkPAGDzdaWSWTSSMUH_p`Z`Jo{SkRLRGrC~ApKS[^OPKJDP^PIgh?kVUKeEbVQpct{`KUL_D@z`lHWuBACwB^B~apsPGLWUNbLap`qHW}k{?SFvCpArkJkGoDODgBfArkXSU}NxIBd_arkI[YeMbFeDfW`w_cYSQ[JMok_r_x[dyTYJMoNoOOgKW{U\`i@`@UXXyCgE\DDByArsvccKSWJNP\a@HEok~EkD?anAsDYE?oKuF@dgXohC[lD?N?]AE`pxYICcDgBtcFqs[SGMqUcbca{PuhYQlc@EGFcwauKMoIOD~D|BoAuK[KWQOYIPdeAuKL_ZqNFFvdkWfwbSZ_QzJWowoxOzkewTpJWo[OUWi{YMUpaA@kpZpZIEIFJDZCAQuSAK[{QeJXOI_shAgcWUrbkajP[xZQlj@IEmBhqukycbMUu___Z`GozKllBBBJaDqG@Z]JaGDJ[P|`bW|_lpVE?{CKA^x[UGwDvBVBH@{X[UN_KqG\dNQt`[UGOM]FtCCAwkUwRAMUHlDpWaW^[]{RxJBdpWSOMOUsLlJapL?{?o_mLBtB{AwQDP[YAiNAHadpgJ_\KaUQjJbq@PZ?pCmPVH_QB_`xP[e]WQFJdO[oRwfG]kVI`x`pPGXE?mVE_CWdrHCOsO^uVKjl?iQI@PkmrDKBR@uph`?OmrG[EkCUqix[?mrCwF`CAqEH\eKyILF\C|qzKSKPEO?IJDfAzKLKGgKCFHduWk__oXaVYaQaH@`XCkmtAEFqcwqzSGsN}PjHdDuxEGoGXsV[jmoT`so}smzNnHRdvgS_L?S{NxJnPGo}Oe{c?V^bfAVQ{CcwZSO[JoTz_ZPF?hkVla|`t@?wvG`IVlccB^aNXUwmgVlasBxQD`DCnZFJD[bvQa`]uJcHNGOdKau@]uGEDCEUblq|k@KKeGwJvPTPI?rObUVm`Zc@a_@]y?qA}CTcaq|{B?QyL_JwT{WOw{c_[VpgGCpa}SLSG?JIGLD{giW`wSuQ_Jxp}pPH^QRsMOG]d|J?OACGSQOIgE?WtO_?PeMWGbE?XM_yGcuUDJsE?Wqx?WaYPpK?p}@[_~{h_W@bOa]qGPSomGW@aX`[pi_|goBECC}BUaPX_IFOOfIME?gHWM{QmQiK@oW`PGwWoHWD`[BzADx_U`aRcKBP@Oe?nO`uWEb@AQ`WxJ{oNGfDYeAHSozOayWGkI_H_IWRgd]ThKIPtpD_d{\wPeKIQg@wpJgkuV{KIOAowhA[bYQPKIQH@`pA?iSWSbfahqKPUWmoWSap`g`nO~sohErDSB_ATP`UBwC^D@cqRAsHKTiMiKJoG_\H?sopPPI?eEWegU?W{PZKKpkPMonGe{WYchawBB[lC]mP|KLuH_J?GOJSRMJ?EHX?Wd_SUN^HBEHXX_}ceqUnKFeHWFg^GaOQLHWEHXI?r[aATcKQp~@YPGGjyVkKQpc_y?x{_{WdboAsps`KcpLAlAfajq[xa]EGJ_FeeIGI_Pc`[WhgwdFRDSUSK]LFG|eIgzoiGWwRzKTq^p`PaqVuNyHMeJJEwGcDiEXHtddbEsa{SGIvG?chbEsnW_SRuJ`eGBEsE{O{PgHUCrrEsfoYyP`I|eLhD?nodCURK?ELgAg[?NyNBG^eLh@_ns]ORfKZov_nolggGWw`yBA`}@beCIDHGfeMiQHR_pvESB^BZQRXbmOSJMEadDrFcqS_uQ{K]uPoVOMWMMSGJTEPhJWj?VCOaHaePhc@AkgeVVKWePgS?cgcORJHuEPhT?wKcAUPKbQT@cpKClMWRKbOPo|gac^KP^KbQM@cw}kgGXFaF@jP_`Q?qPCcEXcCRHKJWJoPnKdSkAiPcmMCFjFHcmbH[bWVoLjIXeRHhhBoeuXLkj_yoao^OhGU}KjQ`pZWooaERbKjRQQH`Q{nUXAKjOsPMpI_fOSHKjQspsxIClIXUd?BRa[@ZkpGXU_{aEPIh?[b}XUcqBRq@`Q?qnC}BlBJQfPdaIgLXGXEUW[wY[c]XYhfdYbJ[]{OmMvHkeUxKOqG[aTLKmR[qJ`N_qzXfAL`P`C@RwmcXedXb@PehEKg?XeevcZAhH^{qcXea?agaWxOShIXed}bqaW@ZcrLIkEyC~QxxbSrL?j@TAPPOHA_c}XedGB\QDhRgrNDlCBBTAi`eaKEL~GhEYWaw\Sd[XihuD_RL[`kQENYHzEYwB_gw\iTfKuU\_hWVSQWTWJrE\XZoqwYuQBIME\XqhGojEWQKpE\WeGkwfIS`I^e\Xcw}se}VLKyqtprPPcnEXDKyoVOZWfCTYPHH^E\WC?joa[TSKzPf@EOvgjWXvbXBgqMPfaIMG@Hee]Y`HX[rtHFCvb~QaXfiA[IyFkD^bN\gSJsEcC{DZq~PgQWOLTF?cgqexgQ\qQjI|EGrMPgQJAJwI@DMqjHgQ?oLNGFC~A{HgQWAM}IYD|rIhgQC[CJDMauALHLssH@QDrcZal`gUMSH]FNd_rOs\{]MQQLBp\`DhMgsPHrDLcFadxgeB}JdF|ddBPThKLQFQDQD`b@hhIXaLzFQcoaiHhI]wRIJGELBOHhIK_KaINDTQm@hIASLtGVdEA}hhIXUN`IfEAbKhhID}CzDcb?aPHNgsdABEGcbaoXhMNmIIF`deRQc_k^SQpLIphPJHO[slI^DbcNqhHh]D_KNGMDiBRCFOK?Js`Ha|@dH^YRiJsEZsqBACAk^APnKGRxqoXiA[wMzIiegGxhMOt@A\@favBSCOGJETpLOoH?Z`NotB@K@gaR`ROl?tB@WFwDABSSJcN?H[J`eghNpTGtD@^?u?tP`xiIJiEfCOP\Pd_zcf}X_`Q`jpbsKOW{LPKCqgPbotufKW`_S?VQPxaE_OUXLXOF`w?|wtdFyI?ekgXoN{WKYqaX@caoxjMAkCKIKEkwNgOCRsJED|EkwPH@ChGYs`tAB@P@\[thIiItElGQ?HsGIKwLYPh?ygcqLGLRFmDErMCLWMwLF`yBPpmx`qUYLFF@t?rESDgC[QmKXSIQthkQA_NbG?EpHCpPsuHB}AVbJrWcUGM?U[LaoGoOwRouJAmAWah`]GqOuJAyGXDNbWsPgPoIsJtephYhWCuLB@@f@LPjpkYMcG@C{OD_yOvchkX~aBAA@lkQOZYM[KUq|plgy]g}XB`D_nqXhcMaSV@LjO_Q?`ACulHQI[EtgdoT{YkZUbG`zQu@l]AiAwAtetwZwUCUaKZEeEtw\XDGioZWadAX@Zx^{upJ~JJeuG]GNwJIMCLkOAPDgiOtH?H?cBfai@gyHkGsFHejgi_xK]?W}eObcpxTRcqf?p@]CybIXiabSVTLsOkaChCGvPD]BFB^B\CZ{OqVCLso`_\GXgvRCNBGA}pg_vGvRCZGxDZr\SVcS_KHKHEyhdHYkvTC`AV@d@t@mi?O?zCkelgFWFg]CThLMPX`K?z[u@EBFZbwrHssg\mNliheWwKWMsgMXbL\Saa|HneFEPEGpE}WpgZs\?ZxbuAPQz@niDmCXBcE}gBWR{XILiFKE}ghXHGkKZzbSAn@ePaKvvLPJ^e}wiGTwMCNJL|oM_LggSuP?V?u_ip{hWAKiIKFlEsguO|g_GX]ewBua@tUkrfASAMdGrMXkqdQV|MDPCqKpGGwTE{BtBpB`S`_RaVkMDoy?hG^SwV@LAvBRPq?zowV?LA|CkR`c\WVMLWKYFBHmx\KwXE?BE`zp|poqBWA]DWeugHGHwEwOEJJPopV?~stEZcbnb~QChey[kN|GVt_bOSKSIYS|L@EvggXGWdCYpMLpyPAo}[wvHCDMe?BbcP_JoG`MMO^_rgvK\gN^MMONotHL?wz?TC@BCPnppu[wVfMMpjov_`k_][\_|_ro``A[lTFoDpcFbUhnUOUO]GbE^WCOzg_|UWLGO|On`T[s_ZnaxChaWHkKxTGTC`CABdSf?UQWRMTpQ?swcsxVAnBdbePyx?CxV?K?wczRdcC[P[KyFPFJHw@^kxXF[BsaPqE@qqDWB~A]CQAvs`oWYO~Lbf@hExB{bKYK_iBvQF|Yos|CdBTdZbRpoALARDHoEtRfKcCR[OhLUfMWDwhopG[yaz`tPNHriF?FwF]b}aCPri@{AaIDFMwNGdgZ?NEM\rwr@prmOOGTCxcSBf[LsH]DjGsDshH?rWa}ZXMJqWqJxGWstADF~cVwCh[A@IDTBkD`RaK[{fER|LrfQHLghgaSY~McOWPX@bSyREeC?ahRhKP?PGN_GLcOrhKF?EeSeMdOi`OowW^Q\IgAEFrhSbOQAI^GwFQg`gT{KsQGJrQ\@j`F{vU[f_DAbqNxIYDkO_G~oTqycD[KGGCJLfGW~`O?gqZwMjqePWpEgua\V`HA{rGhtaMgGlDgFUGg?d?_CO{GpfUGSGOKi?\X`lak`tP?gyrOdKWFUXK?esUUQOMkpNOpo[_dOVydOB_aRxnoxl?{D\cfqWkM[aAQ^`CDyGP?ZKP_UnMWQIAb`ROwQ\edaa{QPPmKzLBBEMeTRk{_?QqJyMrpZpN`AKawQBMros_eXTgzPCJDmbrQDXuaaKX@MsQb@RGnSd]\gau@nO}hK[oZJKFRCnb`hsUB[JeH^CwwaxECd{Yh`[d~HI`R[i[[YMyq{@bXIcvg\t`xbPbKhvYPWIDEQF\groi_aGP{HPf\gfWo[^_PKMzsXbIHv]ToJDENcrbm{?kKuFiCOcxX]o{cey[]MiOfpa@Lsg@DFH?cvRV[Mgo^?fD?DSRdHwIWsLCHcF@RoSAkHELkN@qU@UGso{FFKDhcXAR`KG{F?lEWCCQL`wQcKX`NAQwp]?s_fU]C_]`qPAocsgDK_FuC}bdhuME_KxH|DFGmpICfsZLaLEGGAODcTW[wNFrOplPMWwk]N_m`SpqPxASGJ[ExFcGA?^cVyQCH\fcGJwt[`cQKNGshbMHxEWYKYEvDABqKE{NkHAC{dFgD_sc_Y[{MxOJ?_?t{hn?kBQcoBZ{Sgpb@C@DAtrgxxqZQMOI@fHbrcGwKCMuNMqk@_ox_{z@ACQbHqS`Lg{zAOE}cSaTXxyeIY?NNRL`gWxOhG]]_L?g@COewTJ@]EvcJbhXv}A{CoFAdSWJo\Ke}Zoa{eOgMoJkWA\UNSrbpu`P{xi]h`^`kPzHyiUuKnF]FigM_dCY]RBHzfigWGyCbcRINTswrPxymYwLhF[DNbt[G{[iPNMlFbGAOG{J?Mh`F`~q^`oELOXQ`R_z@dXuS|jMrFjdMRg`zU@aF]F}Flh_gtW]}]u`Qa^PmhMCgg]u_K_{PwhHG|nS?LMflxoOw{]uTWNZoo@vHE{zQ]X_a?o?pw{qE?GjIKFCgypeI@QBWAMF\BwK|W^sTRMhfoWKW_g_y^AeVB^A?H{I@?BUDSc~ae@{IAUC`FsCkRw[@sgw^BfRBkp~pU{}FBoFmCbrn@yYBkBoB^BzwCWN?Qm[ac@E[gJWO_IW]@Ner}QBXUkzC^L`IALaFp{yYiM_GPFrgIOOWUgSYIdFrgN_TC_QRONfoRqex{}]QNUGNd`bx{@WH?QmNAfkwSwQ?NUOO_i`G@OXrEP[Y@`E@M?nXww}rOYG]D_bmH|eEIHaGnFuhnW{OaE^Y`@`L`^pRSjG^Y`U`_ADPMs}vA?Igfuw@g}o^qP?NloQ?i@Ks{c]~`k@S@AxBECKDODVfOGB?diDyDgBTFer{lBkawUWM~FxW]ggwb{^e_GbxqKX}YDgDeESDRqnX}YE{EnGddAb{{@GDa^f_^cBQBPE?~N@yA~cybrx{mGOD~C`cSWUwV{Us\N_dA`g\oX[Mm]gNwsUqN`Yo{U^paQamaRp~IAEOGH@ehr}SMSKiLOIsDcR}SOwMwPjIRF{wG_MG~f@pGVCMqO@~MDUEmIBfjBy{R_L[HnGwoy?tooOy|?cDXPF_wg_KtU^|g|cfAw@x_~zDTDqcnR~sFS`QQbL[f~gag[KZkT~JQf~gfo__cUT?N~o\_aP~}DCPNGlcgB~{LoMuSbN[Fwwl?\kSuQPaK@updhuuAkJ\af@{`Dxjt?RQZH\dtBsi?eKGKNHmGAgSpCgeCZJODPPO}?xkkiUxODPZPE`Igis_J`R`Oc@[LKb]PzH^gAw`__[hy^CNvpdp?wk[d`DGCBbTBn[G[WND|CNAUrXy@UdsRYJsFkcAkZKXoRxOJOC?YxEguy_UayAF@vxYcmY_UbMAWAXHVD?nBWAweicA{OKc]QZHnGDwf_bKim^ON|ppPEWnGe^DvCXb]bpCJ_X`EkCdA`r[IAEeqRvJ}FncCK]?Y{SUOPOO__xGgt[_abPaQ@{PZsnA_abdAbA[xW\@FCGBOEnCC[RKd[QyH|gGwlWd{j[^[OBp{`JwpofXEeCnbfrqkMcYnFXCzAkr]QAufkSSKFfqcDk_o[GSqOVO\?exIcu?_mbga\A?X\Cni_mbzamA_`Xp@^CwBfErcD{UKeYRXIJgJwrOgkkI^gOHqF`PWsSgRFSDDborsSPcZzGDDPAvb_YBegeSoKOFtcFKb_\OTKO\OhOkxK_uc_y_O`~`S@AOnIYeO\QGp[XQ?l__zas@}r[ABmKcRiHzDKsF[[_TmUZNyGFxHOj[ZUSdc?Alp{py}IQM`cWar``@pPAJSnIdEKR{QCURGNJIrGPgYoXWfKZcObOSpDOkoaIVxL[GPhHwoshsVCObpdpCxnDANF?IBdCqhiC]NiJaJVg?CD[fWVCMPI^qJ@[P?[|vDwFaqVP^?rCxG`PicdXBGP}xAbIOFvD^SISOWMGSBLygSgO_dWVkPdKEEqcISfkXkTSJkGSwwgdKwC`RbudGqdxU\AfG`EEDos@aB]TCKKFYdUXJ?oo`O^FbRbyGAWgcXC[rOmtWqnXdG~s`\d]CBqqYDyHkFpINf@cJsJSSCK_HAeFbZaDyTML[IuDzCJ{^GR}[ROnqEQfhScj{`^cebLQyy@`AFJMEYbuAmCgOXiPHNhptQ@K@oAIItM`GYYnPXCrC_EOsqxqE@Y\BTDeCMdMRayEiFKImEcchRDxmxBTJQF@D_r?AEmO{IjMPgYxGhT[jEUSOtq]PjX]l@G`N_Na}@jW~mT_LZGsfvx?HAiA[@vDoFSSMlX?lIXqOHG\XaHD?lu`ubIaQQiXq\BlCUDkbZqW`c?v}`ud}BharH`LBnHIDjFKcM{fCj[TyJSG\xSgwCn}_oOloSPcOwC_xJZF?caR|[asaV@~@SBAbkAGE?gUxL?gFcOKrgb_VNP@PopMhUkxkaAabB?pqhMGq_[OP@RH`xHYspGaBczB?BgIGMSyUDJGDnCO[l?\IWQO]GXwB_GG\IO|LWoJ`_gyS~nHXGtok?ZGrKz]aL_K?PaxiAhCZL_HGDwsPs^?TAUAMagbhho}omAWtPFqg`dPt@C^?SDcdeqyAG}?[JyKPgQCM[?wA[ArGmeow@oE?X[_BdAcaw[GOcYq\|PKOQ_N@]D@kaWfBCjq}yHeOwJLJKFTCRKvO_YVTKaekCRSkwYc\^PLOJoGpY{nGaY__BHBEaDPB~@??~_xANhlUA?APEigBxUHIiGaCxE~facS[AODQVtO`GgxtPKwoSacccA|qt`uLDHMYGVDyRIhkHDJJwE{FZcSkECBoVBJ{GhWAgFGYW`_PDo[_U?POcyZf_x?o`nY@mUwRHa_`YPsXx\D\?`?j?ucHqIy@KNLHtgjxM_qCm?\qPVrnaHx^srIZSPWRG`rhvpD`AQ@Sdtr@YJAAMAbExGZCQsIKFADCH]EjB^C@CDEBqLQGHx_pM]J_EWFbfhCVKDKCMCIOlGmXS?sgmg\~P\OF@wHwdDvBB@lDyrBiJmBqBSFKG]CSKLOGaDrHlenb`KCKEgCaLZGKxdxOQK}FEFtFkSWSGODoCyOrGohX_v?nO]KP`oR`{`xXEHBrADD~rDqKQDSCCF]G`CTcOOIAEaH{EsBbSFSGGDQLcGNxipQAMYFrGDfnSX[JSFQDiOxGqx]oxWnw]XPeO^q?hyLEZCbA\ECbFyKuEuCsFngcCU{ROJ_FOIIewbdKIWHgE@LlGQxn`RiNsG^GUFqSYcMWGqEXO~GtHc?zgo]]ePiokACpz@ElDRAtEGrHyLYGUDcG?gesWCUOK}F|IWe{rfCL[JGEoLuGTxs@TQPKHJGeftSZkPWIQFFPDGvXhG|sp?]rPnOwQGxzpE~EABKeLBJyL}HuERGPGhcXKXKMYGhIdf@Bg{O[KeF\L}gWxw`UqQcHvGufwS[sSWJoFsPIgxhlw~{pa]~PrpCQKx{`FP?TBW`prLyMa@YF@G`ekCUILIMAFyCidXRahtYHmF@CCfBcL{fwTEQLNugzxqhA?qC^JPwPOQOx|PFb@FBn@|BNqNEA}FmGpeocVaLmN[GeD?d^BchuUJMFmCYfFsN[igU]QkN{g|hvHCCqc^VPzp[ASx}@Fp@xCDAGBPiNaC_GYH@etCWiMQOsHQDUdcbe`vQKkGYCofJcO{lSVqRJOAg~Xz`ECrC^bP~PfqWp}pF~AiCZARBRYN}EAHEHPexcXqMuQKH}DkDhbgXwEMGHEDEehrfiHMV}KbHsGCS_c@WcAXqNvh@W@wLkRCHwQBO{PMPKGvmbVPyQ[`TOoGls\QNFP{PMOjctq\KPNRIPhXOT?ycI_cCgROH~lGV@@ADab`SaOq?_C`DNFAC[ANm@_I]DidrbkHxmOyI]DqEqrjYIeYaLpIOgISaC@_BsR?OBhCW@?FKHuIyQHOO_iGkgwqbhQ@OW`XOn{nC\oNSQQPXOowuy\iPYR\pqxRl@icU_d?iqZy@LGn?l?\?h@[iPaJUGfINDdB\[?ohuThMBG\GUGX_UWLuFog\C[Sv{\}UzNeGxCbcU?XcRCKEFGsbcJssaYmLYfNWy?eCcOYPLef|C?KBsYWPKHbDRbb@yyUMPKJJEbbqsS[PmH{EYFvsXqLa?sEYChdiB^cBwiiU?MJg_GD?MGMKJuFLg_C\[yK^CVNNkGzScsW{YoRaKNFKccsMws}Z?LbfRCcc^sSYQgLNevs?A?u@M@nExCZA[`q_|tJqGuDibR`yMJkHbDSBUb|YL\FB@KBcA^qv`ou?{@oJJFHsPcDgGcFrEOBnrUAGq]MOBJpfxC]aRAL{L}H~eJrgIRA@SC]LhEuRjYQy@SGhD[cpr]A?p?r@X@OBeAP`OCxm^E_JbFAP`Zw|`EdDFaspo@~\F?bi_}`|PTX\?w|@O@OdibeqH]CUDACNbQP{PkHCnNiGQD|r}ANlHtFjFPDErG@t@Ht@[AfExB\XuhHp@[CiaxA[hoD?o_d`D?sPv`Ikgy\ENhOQPghIkmc]{bhamp^gyP?EbhPxOj`CGlWnG[l`?_savpsTDDA{AwaQplx?KugaagDcPR@P~pGCdCcJbpaepd?y}dC`E`^RThnSvwdA`Ea_P`pOGwc_cOWomo_G|{eSSwMifvgNWukeSVeNcP~p[oq[]OYdOFg}WZwcsW?VwM]Ok__P\Gygal`u`g@MwxS`GZePUoHaD`EStM_GQfQOp|HT?r?\mQfOn_t`j{wK[LQeOn`Tgr[g{[aOWGNWBGMoHaO@IhFXB|S@cDWMPJ|FtHDWp?Y]NjLZgEs_CO{RqKiKDfQw[WRGnK\bP[PFOxoiK\qPDLzgmGJ@CscIYxOIHUHLx?gjQXoM}HUG\w\cua[VMNHTgBOM{UoL\MWgNCHKCkGwD`GPDYbmX~YAUB\FYeBR{Cd[XqLtGEEqSCyO]H}IdEhEFRjSPKJCVyMxGoWhg^kU]N[GqfACWKGcbYQdLdgGCkShk`UU?K~faScIUIG}GDLpfHrdiUAAWC^E@B_rgAC`Aj@{Ae@cAGXWC{?_A_D_^?`g|_~X?_D@bVqDhll@ecLavAs@n@awzQcca``cR@hv|ET?UA}AHp^HGSwqbI`\CbQW`lt@WdkafaKR]`rWxwdi_W?^Ohwy[y]`SOooEoTgVkbEUVNEgBgFgIsHyNzN{OS`TwwSa[ZlO^hCwrgng[yW~M{HJg@WVGL}]KPhoQ?tWdKXEQdLSGsw\XIofCYmO[H\WnodswI\DMdh[wKOIwJ{NIMnGWCLkCsE{EiH@dirrQ@iB]B]AuCFC?cGKUsMhGvE~cHYPeMUKcF_eRroiRa@yE`BuFeSZcFgMoH~EdcpBVQLqGuRJH~eoCGaVyLYIHMJFTBjQVqCeB^BUbzRliEpBr@}AF@tqSXZ{|M_e`O@B_rXBt?`AsEABrAPpiWw]`Vb{BR@{`d{{cdA_v`rpB@yXFJAjCAAipmHMGuWbdadcyAbXlHA_eFblAlRcpuKzQeD`a@BozP?wzu`wPAojofo_KeCVRNYGKgYGRwMQP\OMOxPdg}{dYYbL[GWxC_vG_IXnNNhRGS?^oQG]rPvOv@E?lW[mR~LnGzgnPOShkZcOmHcH?om?xi\qM{Hbg]_R{OKOnNCG`CQK@?F?DlCVdxrwAByGADlBzC^SDCPSYgOOHeElRXQE}Q_MWGRE^btaTYEaGgCwFns]kOoQwK?F\dEr\yNULQS`IgE|SLAXePcKIMaF^roiX]@CCcAvAKbqiH@Cx@AAG@f@JX^k}W`IaW`f@CPHt@hDDE|CKQ\Hk[uw`zc}BnAGxgs|oc\QoP?PI_ho}Ub{a]Aa@dO|whk[?P}QV`eXtK{W]QROOT?i_XsQ{]aPLghwM_S?MSIFKFFuCIsUCMSHMH]GOGm_x{aaSELkezcO{i_]}PfLLfpCcyUiHaI?DcFts_[UkTgLQG?DSBaIOMSSLXMpFeRryYaCIEBBdaabtyIXDdAdAv`|pUX`{~G`abG@|pNPLlAXEbF`c[QcPmkv}aR_Fasq?HG[}_cpQxpWPT_nK~EcHbLAvpn@ACjQ[`QCql`nxvC|K]kRWOl_uO^_Tk]zPWgnWYoXwPEJ]KWF{CLs@kPEIeH{GUGyG}WcaS{L}FCCRsCCVyOaHRfvCfYVqK_JVEMfzs`{[_WQM\G`D_BeAO}VAMbM~FkrvAZaFMF^CQAwRwyJpELCEBeARp`@cC~w`y_eaRpYHPTBHF}GBckAiposx?ah_xbHqGXKW~OdDRAoEp_GsW~ucTbybK`wHEGkk[~QIrApwxwk|}^CR_PDp@Wd?WU^RPagrweo^cRuKpKggACOsFwRuJzIWg[HDPA_e]TlMNFJsUcIOY]PbHqF|ChyWyAYKjEuG@sb[aCYoNcH@DibhqPmXgNiNKFqryA[a?eDeCQahrKI@PCdAnDRbHQhYFqQkPHHuD`BT`qsx|BTEyc_q_I?@IqeV_S_^`qPi|?fHLE~C@QSPZwt]\\elCArsh|[}wfN_a`dPIGlGra__PMow@YOssjIaGd@CYQ`HXgt{[{MeoG?_hIKgy_KQphgGJWI{\kZ@ONq]PsPAWeAVQL_fZHo@Ao|c^bNsHtgMw[KRyJ{L?GJCTCP?VwLrI}GdHTpGchIUmLgFQrjcDGHiRAI[GECliYaCWB_FkessD[iS]KPFHoDxbYXvi\GPLN^Fzr}a\uDOFoDSbHbPyB`DfD?ERBeQqQH}@[JXI^dob[PtgzV?O@@`XQiQAPJkeo`]`C@~`mT@nJOFscXq^h^gvI]FfcCZRxP~l??fc`kaF@Y_swsy`CP^PZphozslKai_oB?qjH\Wve\hM{oO_U_XOjS_oQ~hmG\oS?_yZuO`q}a@PG[gqWLLzFdH|XGs}k_FOEHywBgOcQOJ}EyGSCW{XwZgN_J\GlWQGqoj_ViMAF]BosFOFIFAJ?gNCpA[AG{DnG^F@sH{?kXGOjHRdLB_xyE_WQkNpGCsBA^IA]CxCyBI@rQDpE`FKFLC?axqJ}?}BAEhd~bahwS{fAdAI`zqqyC`KafGaf@faJpp`AvOlHdfzcByAPNrA?Asag@i?zxBObXb{bnaCX]HEP@P@xB]RAHqS{c]_`j@PPBXYlAgeYRfp^Ox`FwxO`fgfCyB~QAl@_f~cQbwQG`^XEbAAAPBfbCPrO{}]laB@\@GxZ|B?ebRjPj?~HHwxm`rgvD@S?qB\@wgC_SASQK`_dEtArAhBobEXsK|W]xaZ@gpMX\LBWejRmpuPChJsyK`~hFDGSAQCLAOgH_lA^QO``pFFBcB?bxRG`tG|o^Dar@sPRx]\BoerRqQ@PIHLoyiaJhUdMsBqC|AggM`DaiQS`atFXCSBWC@bI`uC}G^PbI`~`XX^lCGezRtqKPNhNczGaUheDTSDQDlB?gR`]AtAWXbxFfDCBmcHrK`v?}_^\b`aI`]h_xC_fBRxQVPTHPWzea`_NCySEqE\BWgW`ua~a[HcxFtDrCCcQBM`ic}w^hbwAT`bx`|CufJR{qaPY`RG{?ak_gD@cGQFLBog\aMbIA^pdxGBEaCYcYBOXjk~O^tcMA_`h@b@DKfQR~qlP^pSo{Yav`?dGcHqF|CGgaaebSAbPexGPHGDVBZbGIJDMqgCdoBIAkpxhE@AqI]GUcPYH@PND{EzDLRNiOyRgJXFIESSVa]@ORKIEgD^RsyKeFETUOrGdcRYamLUMZIfebCaci?WEMwKogpS{y_yXeLuJHflCYSPKjY`qPOghdD{\_\}TgLLHEhX_qo]uXpPfHzdA[tc[uUfN_GuwgXWPB{akPWiKw@O_O^CT~LTQ|`iW~ws?bVRyiEGmPXhCSavP]ILwF_b?_EUTL]RG@nH@{s]b_R}IFWsHYxCib?PaiMgLodo`GUhLfRQPrpC?sybhS@IGgxx[HD?bHPfINWRwg_aIU|LoOFPlw{Gb?YdSBiHw~`\XDUbQPjiOGY?jObIVPLwoRpqg}Sc?YvSEIIxD@]hDkbZPoIOw_?l{cIVdM@O_@vH?Wd?ZHSGiJxI`^wtGbcPsiPge?ocdIVxMHokPz`A[d}ZZSJIKxO@`CtIYuPuiQWAoMGaOR]LuiEtE{iopCYvLcG|CcCC_GcPgH|e~dCAbiUmWrLceuc^YQiBsDAHCDDr`yaTPzK@KaEur\aOHHhAjAwciAeXiLPQh?eTeTBSxmsvyc}`m@gAWxSstiglS`oIRK`jcv{[MQcPB?xpMSjMZFSWiPgJXfOuU[NMNhSgf_^kgCT}LkiLTHKGosEYbLmfJcjcXchi[]MofzClkWKSyOBORGZSsidiTsOOJ^GuS_y`IMMTNMUf[B~AVYLcJHGQGKcNIYtQzJdGWdsc[QOtOnFsIsEiRfa?PJ~?nBncPSFqGTLih_eFcSQ{qMlGeg[cOD^rVXsl?_eG_oaAqKiChCae|SprMAMH^gt_cXSOqRAqhksys_[RGoc`ExGTAka[RaiXhjpHCoYYeL`IHhN@Ycu}\hOSHegWWeKdI`aPRhrTLK?k[GQoL[EtDDSiOlyZoM{GLCs[NKS]RCOvGkcyaeq@yMgHfeqb[qay?OVPM?f`SGAYmHEIzHpG]cVi\lR^@nFdczBZ`n\Pd?yJqfCbqQCpLfDRDrC~sOqKXNChq`OBza`HmwwOgu_uD}RcPx|Aoezb@BCAbYHHE]fhSyosQ@xQSv}[XS[ofR@`rC|W`cR`pkPfHRXCybWRwI]G_HB?h}YgMGINGXp`wy?]wOwHqwzot{i_agPoh|tN[RCa_TXL\FGDF{Nwp]\NNaG^CyS_g[IThPXgyc~ifyJAPoIwErBdycIH[X?MnFsCPA\ePkMhJ?Gnc]Q_LSB?^BGCcBZprxQJD]KgFZRzaHPN@HaFeDdcWyNdOOiC_L_SQTxm{yYhGbEeWBnX}`C}ffdFBzqtQL@G?gLTBoROOPKww?\[SdpnBM@w_~gaiRvIVGNoJKfU[PMtiRW|Hf{{i_?PYh|TJ{I{FGSGMOf]TH{`Ss[]aOEGns~aeIF?CSIQFKBoqdEQAY[NVgECXA_HRJCOAaDNbfxxLQf?VCufmsCaLDOMhga_@[qj@sw|?hT_caeRwyB@EsgKStpZosPU{yy]lSjo]pWh|L@wbbSGiZgro\?kK\kN[iUWT_n?}}`GPuIDdMK?sMWF|M|FpScKLsWs^jOiG{tBYfQ@}FxCSf`ryIQmGYLBNzgWC^Qa@Rn@pCQaTRq`|tHjC|Esg?sLaODPIhy`PASPOHyC~Qc~auBbs@yF`GOghS}ospNgis|[^tQcpepuY@lCGcMSUi_G_WicUo]yO?hSwxG|X@MaOQIIKTO[RKUgKANbGBSjk^W^q_rPLhEdEigY@_DbD~FscBIU]PCOYLTGNsSqP|SR@aBHBIBzqATJ`HMG\enCHYJDHQiJ`H`o@i@}h@adxc|CUrXqD\DwcrTEop?|gvW~k_|R@QhaNXm@BEbDQ]ibw]_`c[u_AOchaxYHHkva`nPfHPtQKQOQIM~OFGTSqcnkds[AO|gtsiIhMIgHpFpGEcKIXuXIRXMHg`s[ATlSjLLHzFGsQYMdJIiVexdCrShrHC{dnTKreQdxj[yAahQ{IexvhScuQ\OPYH_TRk}?jEYkLlfVspQh}_CTyL^EzRlqXLTBObJGEsB^pvpKwib_ICPB[Po{{Qc\TQoPaK`iKve]UQRihwN@GOti[CNPhKTTKIcdGZFMIfkCfYimEsRBLkfHRvaSTTZCIHoeyre`{`I]ina\C~b^`sK}gdXTWpYabPosyc^_Qpik~") Com2756 = Graph(r":~?jC_?O?G?C?A?@??_?O?W?K?E?B?@_?o?g?S?I?D?A_@O?w?[?M?F?B_@o@G?c?Q?H?C_AO@W?k?U?J?D_Ao@g?s?Y?L?E_BO@w?{?]?N?F_BoKoESBI@d?q_XOKgESBM@f?b?XoKwE[BM@h?s_E_LGEcBQ@h?t_Q?LWEkBU@j?t_ZOLgEsBY@l?u_ZoLwE{B]@n?v_[OMGFCBa@p?w_[oMWFKBe@r?x_q_XGKcEQBH@c_qOXGKkEUAi@d_qoXWKkEYBL?~?rOXgKs?_BL@f_j?XwK{E]BN@f_sOYGLCEaBP@g_soYWLKEeBR@h_tOYgLSEiBT@i_Q?YwL[EmBV@j_F_YwQwAWClAU`JOAoQsHYClAU`Jo`oQ{H]CnAV`KOeGMGHaCpAW_\?eGRKG_CrAX`KoeWRKHi@IAY`LOegRSHm?[AZ`LoewR[HmCxA[`MOfGRcHqAkA\`MofWRkHuAAA\`b_U?WsKYEL?|@bOpgWsKYENAv@bopwW{K]EPBG`P?qGXCKaBWBG`com?XKKeERBH`coqgIwKiET?X@dOqgX[AsA?BJ`doqwX[KmEXBK_W_rGXc?{EXBK`C?rWXkKuEZBL_x_rW]w@SCSBu`zO|gLwNYFlBu`zOxo]{N]Fn?g@zo}G^CLGFpBw`{OH_^CNeFOBx`{o}W^KNeFt?S@C_}g^SCkFtBy`|oVoMONmFvBz_F_}w^[NqFx@b@}O~GGGNqFxAw@}o~W^kNuFzAc@}pH_GwJgHJ?gAQpHWAOI?HJCd_N@HWckPWHLCeaROU_csQ]HNCfaRoU?c{QaGmCgaSPIGdCQaAKAxASpIWAoFsHRChaTOcOSWQiHTCi__`IgdSQmHVATATpIwMWQmFOCkaUPJGdcQqEgCkah?]O\OTE@W@YAgpSWG_L?IbDP_g@SWiKA[IEDQahPSgP_TIIfDRahoAOPOTMIhDCAiPTGicTQIh@w@s`TWikC_D[DTaipTgWGLKIlDUajO[oisTYInDV`a`Twi{IOInCVAkPUGB_TaIp?SAkP?ojCVsDSCXA}OV_P_VqJx@u@~`^GncGGJxD{_k`Z_nkVuJzA{A}p^gnsVy@uAyA~P^wlwV}J~D~a~p^wTGP_K@E?_|?v_oCWAKBBpA@@_WoKWEDGE@b?p_goS?oFiEAb@Ot?oSSOKF?XB@oIoHoWMKF@EB@pK_o[Y_EsDEBRoc?V_Y]LNAfAV@hws{JGLNEf`D`eOtCYaLPBkBSPiWtKYeBYBiBSpigrOYiLTEibTPigZGSSLVEj`T`BOt[YmLXC_AW`jGtcYqEgEkbUPjW@_Yu@{CcBUpjW_WYuJ]Em_d`jgJgG?L\Em_{@jgjgYyMeCHAw`sgAwK?FWFQ_T@sgYwTgMdFQ`p@sgySJkMGFRbhpswbW\MMhFS`N@EOyc\UMIFTbiptWykO_J_FU_D@tgZWRkMlFUbjoJ?h_\]MnFVa@`twy{\a@{FW_w@S?zC\aHcFWbL@uWNg\eC]AoBkpuWTG\eKOFXb}@Lor_^mAQBoAL`}wJ_^m@ECEBA`}wAW^mGaFzb|oyo|g^qNxF{ac@~G~k^uE[DEB}p~g|o^yN|F}_R`~geoXkN~CIAr@~w~{_AA{DvC?Q?GeO_AO@?ZC?o[@?KICJuG@_Ea?Wjg_EMIGA`VA?gVwM?ODGA`ka?guW_IPEDaBbaGgNWP{IOGa`FAGgE?DSHgEoCPOPPCSRwPDGaaLAD@C[aMPFDrCPqHHCc@SJaGccQqDPCkaUPJ@XCQpWOwoaYHoEPCRQHwQ?YGPNGfamaHxC{CsPPA`CSOsOsoaa@}GgbCAIG|oae?SB]CSozo`wae@QGhaCAIWzoaeQQELBwAQGT_SkJeHG`^AQGKOG[I}FZCcO\pHCUcQPHGabaM`HKceQRE]CcqQhHSC[KwHIcdqMpH[cmQVAJCdoD_p_]{QXDbB]ARHHkK?MYHLcepa@HkcuB}HM`gaRg_?\CQ\?N?waRguWcyOiHN_]@BPH{PwHwHN_laRweoc}OMHNcv`m@AweyEwDuBNAZg\oeyCgAvBDA@@LsI_R\ESCvQZgmOe?R^HncvpqPL{fAR`@xBba[HMKeCRbHpcwompMKC_LmGUCxPb_{gfIRfBoBzA[xM[ZKRfHr`Va\G_?fQH]FyCyOOOSOfQM{Hsc\a\WLoRkRj?]Ara\WPgfU?qD`CyqJ`MkhSNCG|DIPAosG[cShC\DIOp?[wZSPUIS`kAdGvwhQShE\DBAdXQkhUNcITdJQdgTO^?SlIVdBadxQ{h]FUIV_|@wPF_haLqGMDKQeWbw`sSrIXbnAeXRK@sE}IYaVaegjWaCSt@r@hAegCO_[StH`DLofokohmA_EQDLonPR[CkKWIZciAexVW_kREIya[`r?}OjiISIy`y@D_zwdCTtCFD\Py@VSjiMOIkD\qmxV[`cTvI{d]Ou`AwjqTzIlD]qnXVkPgTzAjCDAW`Vs]KPiI}d^pQpGWj}T~GFD^oC@V{C{G[J?alaoGooc[U@AcA?aoGI_awU@IFD_oroqGkECCE|D_ozPWKFsLmJ@c|AoX[GbGSQJ_aq@|PBGmA@?DtDoPGogW__RmJ_aYawHA?mAV@FpDhAwX[KmEP}J`dpQwgB?OcPyJadhawx[[mMIMJb`laKPP?mQOWHZDqOFp[kVWRQJddqqJ`[kCGVJ?Q@?axgoomYLaHlDrOt?e?mYCKHSDrQjP[{NwLwJf`X@x`[{PoVNAmBoaxxS?m]WKHWDVb@Wpw`oP}KD_h@g@_kS{J[GnDMb@Wk?oUPmKDeAqE@]woYWLKEcqb@h_{o]ASCvCpb@x^?oaWPKGaxBAG`Od[T[KHcXa_P`KDCWT?OBOabp`SoiQgKI_yBAgG_JCWVEpEDpv@QWomGED[EDol`NOomUeKKaU`xP`cMGO]KKacbBGZo_gWXJEEERIpNolSXTEyC`AXPdSGOMUKia|@ePIgkKXTEJETQVPdSA[XTG}EMBIxd[qmSUKjeURJGN_UGSQKkeMbJXdkquKyKla[A^PY_qyQqIfEVO_pd{CGMWItEVrJxNOq}DIKn_z?wPeC\oX`GDD[bKGBWRGKMKo`rAg@eCn_XbCPCZBKWm_rEGYGpEWqz@eKs{TGJyEfPx@L?gkY\AsByBRgsg[ORuJhEfPl`hsgKY\?U?kbRhK_sCY^LNefqkPh{tAY`AlBEajpiCsGYbLPegpq@iKUKTEJxEhQ^pXgtIDeLR_y@|PZWtMYfI_EhotPi[I[G_LScAbTHD_l{Yh@LAm`k`icPSUKLSeMbTWrwtUHuHVEirCPikvG@AJIENb[X@ggwTaLp`qAEpmK\?NYI`EFB[W{?vETQLp_c?apmKggZILqexQtpmSvMZfB\B[AtPm[uWZhLseyP{PmcWwUQK]EyqhP]OvUFELu`QaF@_?vYZlJEEzP@@msL[HyLvcUB\xIOoOZn@~BC@vPm{SGVWLve`B]GxOvaJKH|E{RL`nCxOAeJnEaBcxE_jOUmMRaHaOPq[^cOgJFEXbcx@GxMU]MR_|?mpq[j?[MMSfIQ~@qcxU[jCKBpA}`qkw_[lMUfJQE@qsA?LqLBFJqqpawx]GcMW`iaO`cgxa[pJkFKOI@rCOWJOMXchBeXN?qc[rAnBXa@`rKUsWaMX_EBX`rS@?NeMYbGagprStg[tMu@AbD@l?zUQsJYD}BlWg?e[\jG_C\AzPiwzUP_MtdyBlW@gIkFUMtdjBiPuszYXAMufZrlwfO_kW}MvfTBmHvCzaP{Mw_h@wpkwzeV_K{F[pNpvSA[GGHgF\Rmg@OpC\t@YF\PL?qWzmRoMzdNBRPv[L{M{GlF\pe@eozm@{MGF]Pn@XGzqZwM{fj_lPfGwg]lI?D~bGPysUkSYNUcbAW@aOvg]lHUFjREPysB{EuCYFjQ}pxW|]]nLEFjruHzCUSPcLCFkRr@zK|e]rHcFko`@@_wc]tKTEoBuglO|m@O@XDFBuw@?|m@wKuFlob@z[T{L{N[dNBvHW_v?]xCMCBaSpzc[KYsN[_wBi`zkA?NIN\_MBf`zk~_FIL\FUB|xSoqOYKNvbJAkp}{eoSKKvFMB|xN_~]X{Nv_w`A_gw~]X?NkF{R}HlO~a@INxf{pc@J?u_^rNlF|R}h~Sgg^tAsCXbip~[rg[CNzbIb~GJOGkTgN{_\B~GLotg^xA{F}Pa_{w~uUGN|_Vay`qO~u?cGmC{b~W|_vo^zA`FeB~gIO_w^|@MF_B~iBGPOZ}NMGKQr@hGug_pF@DkcEHQOioYuM}GKOKPSP@aZCOW`P@M?mP@aYIOLGKsEXp`@eAmOYgLPmpNowg_tOMGLsEyB[j?_vBcCkbrQBctw\GO[b_CFWP_JkUsO\_uCFWRwvo_z?bBYcFh\P@yBAKNFYCFg@OCOQgI^GNOCprp@yEaNlGNo`@Eh@}C?N`GNsMOgGyC^]OwdwbZPp`BaNSJ}G[Qm@YOvs]}Ow_paqAFCwO`p?d@h@WorhBa@QLhGVCMYFKyw`rAHG\SMgDOiO\WOygVcMyF\Bm?}JUG\pCpNw}w`xM?FbCNG|HBuDwBjD~cNWCpBuE]M]G]oTOzxByW]O}`HbL@yhBy@w@uC|ApQFsCS]?O}a?CBaF{JOQuO~gk@Z@wX@?anKUFFbjaI{`GXEPVdnA|prx??anATDvCTxspD]AmC@BF@qAI{Dk[UPMGkSUHy@DaDqPX_ScUWJ_kg][PXgfcUiJTDiAaJzGlPO@Sh?{avMaFrcUxAHDqFWCYEQCVGJ@DqF{N?GmO`p@@DuXgP\``bU@}pDuB[AfDOAyqJkF[^AP\aVcJqJsMOSAP]gz`dp{`B?blKzFWbsAMsb_YOPue@bF@wHACblBDEHc\hx@FYCQCoB[`{QMsGs\YPlGzs\x}HF]FQPw_lc]GPom{^]PwgvC]YNLFeCEK_G{oKOlWkkbtNCGCC]gE@FmGuDFEcc]wPPFmHYN`G|olpDxFqYoP{_O_{qAxFqC}BVDbBCANcI__CP{alcRqNkPKTMP|hJ?JowP?Sa_QTenbsp}HHUQ{LkHIrI@gG}GaAQT`ybMAQk}ccjAxAm@wpB@HU@GA|FfcbAQtHYGoQV`EcdwVopO__QV_PCbQRDHacpArEaceGKWXWV_QXfqcIQRKEGctDGAxBZQRSJgctDXG@Ceg[wdScv?`HLoSocPB[cvBNABAz@ehHmEoObHLp`aLpHqI?JLHMSl?KG]k`KPnHXr_P}`@GdfICFFCkxh_uS_EP_HXpH@j`JM_SQr`s``p@_bwdf@U@ub{ATPJQdhDDHYonQUkMwXqOoHYoTATXJYdlQu`pbYQUsHSMAKTHZs@aHHJ]?wASH[P[orgw{dpBiH[P`ACXJaGkHzH[oSqVKASCIDMH[o~_e_pCYqQxaBcOqVKZCcYQyata{aVTLGCeGRGbCbaYKyK_iOqHgqi`u@LEZ]MFGQC^qYK?oI_L}HgsIqYKP_LcGrCqCsWP?Po_aRGHhSsgm@LMFYRRaMbVQI@LMCKRHHiStIYcPG[URS`a`y`fPLU`MPgHioR_W`LYGqRUbVcOqYsSKTARV`ActwIwJSJqRVaU`VpeovkenCtGpCtwz`IkepEUEJcuI\wKKPqPdHUCzhwhBSacRm_VAs@yPMy[aMhGaCfa\sBwJuM_HvSQq\sSSMyHXDDCzgV?Sc`aRdHvszwrXNA?OC[HwPQ`nxE{f`AuHrC{Y]KR{\YRp`yaC`jpNIaMQFHxO_?]`NMIKRrblCWa][UwUMRs`Yc|GPGMSLGRsak`a`jOxsfhD_H?c|H?hKcfjF@E]C|Y`WNKQ}QCHdDAh{pDSbaSI_oA|P}XOi\eNJGpcnA`SF?LKNAIDOJQLPOiJ_GEC~akA`SM_JgPPI?dAy`[[WgX?yAcdBGmgyCc[SK`rD?a`lOuJSNNIEpH@F?w?g\PeHQdBgU?QKg^DpIFq?qOHO}KqJlIGOmOa_[{g`ECBYb^@vxPAKUQ^IGQJA[pPENSL_IGtH_cOgSdCRfIQs@qM`H?hJAQELCDAck|O^WQAHlDHWSG\C^ESd_ncaQckXkPYIdDjDHWawX{b_S\IRTHg|xQ]BWDsIRpg@wXIohNCTINDIIdCXS^_SgagAV`sPQecIRBISow?hxQiKwSicTCfqdS[OWcSj`s`OO~@QmL]F^FNBwAd[ZWdySjchD?adc`G[CSki_`R`TXK?gET?gSCcqTpSAECK~GYDOH}h?sd?RvI_OD?YG^g_GT?`GchqgC[WQeJJD|dOGg_[gc]SwI_tOXApSI@KE^I`Pqp{`KgiDDAI[dOyg[[?_aTBa|a`@w`SQdER`IaPpqgkd?dyTDbubLqgsP_JWG^IbPu`@?{?_ATEboCuqgsf_g{TFc[BhAg|TkJqJPHnDFqjTC_daRKIlO{`kXDOitOUGVCnaaXTiAKC?COcHQjSKCeITYbva]P]?q?itDnBxcjQiPTmivG{ImOU?xPTqNgODHrdVGlhTKizT\bscKQjkYWTSNdInSoQ^hTyN_T^czCuqj{AGOgLZIoPPOqwcSj@GBCVbwQCPUAOQRwIoQfafHUEQ{NEIot\Os_nWfuSyIySXqXxMcjhC`FAc[qmdBWa[R[IVD\GN?Q{QMPDIyO{Q[XVQOkI^EIbPQmcXgOsRJIuD\YmkeGjlAIBxd\hBXAWgETubKDZQm|V]OaPPIzpsPY@?WjpR^IKd]HAxVeSwRwI{oT@FOvsjtDoB`AYqnSagQiOAG`D]hE@POjtJCIhd]xO_}[jvUNBfbEqaxTOk\QEHuD@QpsSs\MQQJFSTaLhNciQUM`S`UpLhEOk\C_H~dbhF_kSXsLhJFPpPG@M_kKUNjFoE@P@XADsGYJGQOQGpP{k`FBJBdcYqKB?b_UPb|A|QCxXI@[SsJHQNQq[kGggUR`BAW@rxXQKuFjDGddHI?fk`EP`JIQTadxXQVSTlJIqia@@XUlQFwE_DKalpYadGSGIODiGn?{cd_UggycbAahUKlPBXBBAcqOXYaIWSZJSQW`\Wtw[UUgbvAXa_`Y?lRUh_S_Q`TpYiFSH?JTQXqKhRglTFkJOdiyt[EGc]UjcObEaGxYqB?TNJUQWqtkm_h]Ul`ZA``wHYyMKGRDZdjhMoiCaEQ?JVQ^AhPYyW]UFJVqsADHY}mEG^EqDRQp@[IeCSbI\dogsW}ge[VAhICiae@VsmDCGBWamQSH[IJmSuJ`OFpP?p?[?MlJ`OJPAggolsVBj`oUoN_lOmHCXCrDpHPhGOigVC_Hdmqwl[UCgQlJaqPpfxEWmLAQIsdphPH[]WYTIJbox`T_}GmPFnC[avQxCA{SwJFGpDqHSPUOmPKsJOdqYz_cS[KTfJPDuwCPM?h{TTJlpra@XMkmvQqHcDQqqx\m?yCuBmAvqVx\mLCTPJloSPTorS\CNNJloVpFWjGmgV[jmObOTgncmzDEDEDvWGh\Sm|V]`aCqqzsesZEQDJnooaoX\}XcTcJoPDPYP?KnBGUCnb?a{KECUCJlH?dwXX@VwnBLWJ\dwi}Wek\OU@J]D{gI`NoioTnJxOCO}xAogMVqhgCxQkhZCnd@NAoa@P_`Lsnd?WBedYq}SGKUgLXFaB{A}S@sCaH`DkD{y}[JsEyK]JyP[PUP^QBmVkJyoIo]`M_njIRFAcgq}sNGkyVuejD^a}{SGVmOcJ{QN@Ogq[npARDsBCaRx^a@AVTJ{uA@QG{gkuVUKBo`ab@VGkQWF_`aFaH`QGoNRlI?d^qxX_]CAEKCUBIQ^P_]ASFuJAe@wUWncZuNdGGe@wHwKCSMJ|KCUAG\gOoYEWHbMAuB@KI_oCWI_m`Gq_`_iTqMfH_eAwcHZ[oV?ME{deB@cUsWwPCKEqW`TWskoZBBEEbLqVh_uAeVkKFUFPUw}kliVlKMOlaeXWolEW[_yaPALXRsoxSHIMdeQ{``qDaEvChBRQap`qBwG\JNeFG[Wpw[yOEGWeFGOGNCTYKaKMuFWb_RgZMW]bba~RBsL_omW^_U_bohx`}U}NHHneGGhh\Cp@@?FLdkbCKX_YAPbKPQa@YGuwpDBrEXBUqZXaICIWAKPuK`Zh?om]WBKWoxahpYWlyWp`RAYaPPT[pbScI[Dkq~XbEFAF`C{B[AeHbEDYHBJ[eKW@oPGYEM~GRcSREKJCH?JREbeKjESScJIMHKXp{@cPbMGMWkKYOVoVwVgph?mEABybEkV_nQWt_xBnQx`bYMELdH@ELxTonW[_WvaPBT`nhN_pnXEE@CJQ{x`_qJ?ZAIdYAw@\[qJBUDGCiAmHcU@US~IhDrRA@cUG_GIDNBcah`cU?_B\CsdsrGkC?H}LfFoCPqM@cUFADKD{BYrGtcYJgEOFTePwehcCqPAP@v`hRHCE?XQOJKcoAOSW|wnIXIbuB`qS@cmI[LxFNdDBH\d[XMPLJ~EJRIsCsICUAJlDzbIs?cGIIuHbDarIsDsiqTkJrEHRIsRsPaJCFYDXbIsCGGWINJteTgMOUg[QO@GrCbrIsP?JmK\FEeTzI{AOK}EzFeeUGWGPwM_XX`HBRQD`di@uBRF~d~BJ[@K\QQ}KmP]PrW{Ch]X[krbQqL``KqCXe_~`ZQr`^CoGXe_\`KpZ`MOlIXe`Fd[qop^spsXeasATp\O|Sk?Xe_y@M`Uh_CrLAbBIbiqCPGSdYXea]`g`gOy{rNXf_T?T_xO}wrP?]@w`}RLKKGZ_PKKtOZO_PA?oaXj_abqqZ`eqLGM|FpDQbLdf[?sLmHDeIBI`fYD]EWJZE@bBHfYBYD]E?d?AvxfYD}ULJOECbHpfYKeH|EFb|arPfY?OAdAqaurApfYEeF?FecOaSXKkrlDgBebX`yHf]AwAGBxcBrNCD?H?G_K{o{`qPEkrtA]AWcOBCpfmM]N]G@dXBNdgSAWMOHSeNRK`gQE}FBJgEErDpgQC{EHERDFAzHgQF]UfJ\EHrJxgQL{IbEYCDqu`gQ@sBTBGB?BDXgQGCFhFvCWQWHM_sHERBzBa@}PgU@aAM@[AEbOsGGIWHELBpGPu`GgsP?k@fCVrFXgeNoN~GQD^bPThKB{MqHbeSBM`hIG[FkJsEKBGXhIE[EsEdDLq}@hIG{V@JiENBLxhINMJHEkCLqxphIBWCCB\bHRG@hIHaGPGFc_AZxOOsdE}CMbiaAXhMBEA}@sAOBQcJGJmHkLIpRPyhI_sl?T?nC^bHxh]O}O_GaDeBRCE{DaH^DeA{gjHCOkYWZLOOI@aPKSt@?|BOA{aNsnGn|ApFed[As{JCKOKULMqKPJxdAA]CqDeE_Wk?kohnBOA\ArASpZuUWMaHuO]o[owStB?~BMdFrSKE{MUKVHMoZooxFUB]SuKyOZoZgg?bQUH`u`RpFOoOtDBsA{cnBSSt{`MTWLPOg?[GgSVaKVbACWqsxb?tj@YEZcwrUkp[ofB`FvDaawK@oFAErE\oAPIwgUCAD\DwebwA_WkVbB~Aqa{QW`\]VaNCICOj?agy[tl@pBcDMbUsI?NgK{H\og?uPHQ?OA_Igog?`_iWcOUbaM@]`K?qctnCbBQCubU{wCaMTqLZos?a?ikWkK{_F@jqOP[CuRAKElc~rXKropP?^AGCBqscCwG_F]EnoMpNgimAKEuEJPJ_q?pWfCVmeJBxQc[LoICNHLdOg_}HTOuTBOCLbWAZKL?MyQq_\?sAl[ScLIIEEeeqwhw[{fmZJfPcXap`kmF}C|DgbMpkC@{A?FYHOEuwV_vsguZZeoENWEGDCHyU}LUo_?fg_[[B@lDPasWN?]?XvDYB\bMq^p_QXuOEI^PAolg}guxBQCKDZbZcN{QAMAHzO~p?pLABWB~JAp\?y?ioZ_Z\a|@}AaXlu]IQDJREvWdoU_VkL^F@OSOMO_Kd{Zl`uBfqepmu[CXO_p__ol@\_uBAoAsAJ`s[HwUQJu`SaAPj{AgKIL^ILEEWfGX__UZma?aNap@myH[HfFQDCgdoasfZ?eAVDfwrw^cUcMQLvphPBxQwtGZnfrCgqw@m}IsERELb_PscGKDEGiHmE~gbW{CiaZ}_CbhGQgJKKeVnLiOw?qWdO]J?_@fBEwZGb?[B@[BWB_QehayJGFBGUE~we?eOlCZ~alAbPwpQstRDYChdAWJ?TglrFICOA|pu`oAM_HDIcemB_D?[eAVYM?P`Ovos?\ENE`X_spI@Ncw^DGFpDYr`{Bk]LBD@p`nb?hmYG]E}C|BxgAgDGY@CGCjBgwPo\k\ETOK`pbo|`Cow`D[DDDnBaCWSTeNfIcEnWogfchHAIBAdsw}WcWWwNTMGp}PLXUKuW[PgSCvq}HpEL_FfEqBpP{{MKGCHuIIfGGmX?KkI[__ubxw]gPGNMWYLzpN?{wi?_N@F@ABXGeofo]J?O@^A@@whUi?eEyGtfGWowj?mk[`bWAuQ@@UGu`EoDNdNwVOZ?nVGYCuBOP}pqIP?IPI}evbcSAwaOWEMPOGozWwW^KOGaH@KPR`R?xbE]GQDfreKHw_P?bAQ@NrDxoa@EDfDbCIGNGJO[LD`DPBxgGOMwPUNeJAOPO{`GgtE[qbXAta|hrIMuJ}GSd^B[S\kUITX`t@ur?Kc?ScLdGJfKxGoj[kmZoMXoWAKx`kxf@TCABiA?xAe@WC~D`DQrgS[caGUxM`OraDHjAAiDOAtEPBbKDSKcJkGcOi_[_y_tVEKDcC@wM_PsQaOFJNO\p@hI_t[\Bbma}r?XsMOGKbGcddb]c_OVUTraKa@BAseWToMFGZfPHL_lsla[@MaOcaOpb?yHAFCTbqaD@CeA{DiDsDXRi[^GbEVRMhoDQHHisuHAFA|`dRIhqiCME|EGcXwZOPK]SY~bZazaDCISISHvGSDmGT?bOeKZAMiQ@`c@`_yhGjEcCYAu@oUPUKOJEpP`DXam@IIKDnBiRikhGWCVJMHFTW@oKGdG\T`ZaSP|XC_bPAOBIbBQnxuQOqQAJtfXGGxE_uAZV`Z`h_w@eSxvAvBrBLaOpiMGQD?Ftesg{GpKaPBTAyafQH@\IEoHYHqEtRkkasYIWlMqqSPl`G[mS[UcgbLQs{VCQaX?_jak`_W{kzLIwERdxBcXuYA?BqH`FXg[wf[_WPfHBoo?w?rGkq\tc^cgB?HvUBqQFLiEyW[w\CNQXtMeOxp@wtgdGYmaZ`Yq@`mQOSKwGrp@?s?kKbMViaBa_A_@m[zlHREseObmsf[[[QdJpfHxMwtcmB?jBMA\wPGl_XONkMzqv`hX^kxg\v_x@GQ[@v]GkI\GUc`aSkN?NQLUJXf`hKhJwok]E`TChR[pniGkFyCGe_rjkPWPkL{H`EogkOXW`YYscWbVAOsA_MUJhHBE?GegiWgwZwNBq]PpXdO{NI\FWCoq~Pra?}I\E|oVOwwhuDqJ|EeCBRpCoKZ[WOMafaGSWSsfw]Ga`aoqHhIOeFC^CGb]Qxhic{nIJHmEIrq{LgeEZvMDoK?gWaCsa\ma`aV@rpM?ujELB_cRRXCd[Z{Qc_l@|@`pIOojI^FUeXBrCkK]cR`KFfQWIGkK[yYf`F`{@W[McXCLnGVFeXd?x?pI\UNKoson@P_{rDmDscZAWPME@_DJFLdxbVhy]TaRxK_Fhw`HMCwO[[_p@Z`Gxh{z~DmD@BoA^`m]LoFiGuEkrZSfs\?RA`EAEpeXKGpTJDFfe\BtCmc^eR|KQFUgOWmc\}Yz`^aDp\KP_YMMPGfFiXh_zGps\fNSp?_sXRK|REXEFCaq[@NuBCDuF]d~RY@z]@UJVIIflwexNswq[l_S_d?rGes{`EXDSBwQb@naNCGQHDepr\ciK]CR_`]AOPixM?p~?GDtb{BvCow_gSXK[fYwUWow^?ZN`vaNP`sSSZUMrGufmW@gu{q[\wN[pKOxpSw|rFCEXciQ^`PeCgE`FnECb[P{]AyJ{IWFpwkPPcxS[}_l_p?w_hK|@FCDfC?aeXoeOUGwHSeuR^kkc^ER{`uAXpnPNoqd?yEGCCRUP{aXeOsIYERRncMKXeO@LopF`KWrMJ_MLFiCbBxKB{[aX^NCfqWD_^[jO^HbubTqWxP_hhBCBeB~rCxnO}nANEOdQry{WshgYkM\fRwPgNONYIxNWPzP]XAKi[[YcXAVaWxmkw\?_GADEGbWgs[wSWKpOZ@ehBCuK^WejcTAhxdw{ZCQEjcGb][@wSQLVbLbjp}hIg}r@pFXeZrrP|eA{G]J@FuW@_`OZsSrIfo|?}hA?pw[DNronpgpUS~NEwIfeoBh`uADyCbCIAvrwC`OWoPBIsFIw@_d_SGZ{MNoSaChRMIOIrF^DKrMPi]@KLXGgeuB|CvgbeThKvFfgfwvgaC[C_gAjpnS[W]aOUHcFyWBOIG]g]iNsoc@G`Xo~R?}C\BfAhpUe?uCbCMCOBap~]F]LiI~f|w{PUct]ZRMmf[XFOrsbCUAM]ON`NoigwY[o`ACPQhsVKUqN^IfE_RV[D_ZuPoLtF}Hr`HGkEX}NVPY`r`ECwjAADibfG|w~G`kRdN{oR?YO~S|s^x`_AYaup~eB_H_F^DYAo[CsI]HAGnfHs?sPw[WUXOBQAqoXkKvI\mN@QW@kHGCkw\L_wAh@Y@pwyBAsGqDYBScXwV{O?IsEbrX{Gg[yQNL|g@xvpJ?kyYKN^PdPvpG?xLAqD|BnhAp@KakS@OCO^__H@W}S_G`wAcAyA?aDAIEFnd_arkF{JsHgG~FMCAk@w\[UrOIqKarhlWvk\~NHq``oXH{lk\]`Oaq`]hq{ydBcH@d_bVC[cXEO`J@EfR[KJg\}QlMEGDhzxKwlmYYNfOJow?|{xnBaENbvxF`BKbiS\OJoAoe@BW}s_VaNala|A@]EaIkG?DfAu{I{LIIMHMfQSCcD?]_VLOQQUAuxm_wM]ONPqj@shJsm_\n`gazpbPs?zFCRHOdfBXc@oNcLGG_dfB][Mg^?RJMMgHW@P??fUVPNnOWO|H??yPCPEaC?HKPDKcgSwORONOj`DW~S_e_G`QpZaAYG?JQGOdlayKL{M_IsH\fUcE[GG^aVeLVgKxNp\Cvq[WNOFkxYO{[euVgN?P?@a_r{ya\sa_CnquplyA[GXEuCWAupoQGqO@HsFJcEcBo`ASFJsfzgQW`C`A\Xa^BYACHiaSOPqHXDScEkCKJkK@OYpJp]xCCm_VhaF@}PZPLczU`@`XCCa~hkLABIcJsfAbdHz?}F?PDzbyA^@xEH]KxEpfWbokUkeyVOLwO_@Fwwwb}VOMIpPaCPOOx}`A_vCOQcP^{~z?o@`cORlSUc[SP@L]QjaQHL?jW`B_y`gPcqCMIuK[GoDyA~{@GP?J~HzF^CH{MG`cWQLjGRxXP^{wu[yN_FswGWpo_QSSNOpUpjgwSze]UbJC}a|@oED_HdFWCfa|@qY@YDpG`FSCICH{b?S|KIGBGKONKb?\zbIBjAK@iYUgQnHud`cIKIWMWLIOgoCOoosCb}WS_aAP`c`PG{Y`\aGcSbCxm`AzJnKIFJBhX|?~F@tE_cIadxj?|bEEE~bhro`yY?aF@IJFCgAGM?SUNQH]FLwJwXobA\`OnOrqNxT[pQ_Z`I@GaNxwqL}NMG~emh^HKsgQU_OnoD_Yo^TA~@BBWbXQRpaeBkHkEcdJRrqEmH{PpK]E}SL[pOpQ[|MmFwB}[IWZIPIIdEpBwKZC\ANHNIflgGW]gha[b_``BpUG~Kes\G`G`pqO@vHBXB}HND[RFqAiEGDMHNFfW|?}{c{ZMeNCyac`ZhBZ@GAAaFCLkFSMwMFH]ENgSwhGZYTGNVG]WBWUcc_[IO{rMRFpswzY^oO@Ot`oxEcjGZVNgpv@wW}g|I^E_yaCah`rQBiC{DjcDA]xte@]B@BwF_sNSQsdwUJKggMXA@@?dwZ_e`d@afx\PBv@yAXaOcN[IWOIMhHlESWYwj_[]TaN^G`gHgXOd[[ZPBRVRIHt{z{^~OGp@PtHG_j{ZhNoq@P{`?k|i^U`RAMAkpsUDKDfD}CLAaXuiBABpCJfdCO{TcesUdKogPxExB?esZq_MbXqcHTdCPAjAnAYCPCLWPWNJHzeWW_olw\aT{NfGcwNwZ{eW[kPHr^rKHv?{]_MOOPKpxXIWkoZyNwqJA?hAo}I^e`jAVao@tYEkEQEOcTAdpvmCeC_C]fhCQcWOfmU~KwgTXJhD?fm[B_fbaQf`VLCjBZBCabcQkOSQcNkIHe[We_oK]eUUNnGgGTw]_fQ[|PORgRMHic{A_\OVpV`|`KOlc[JO?QSaCpCota^TNzP@PO`XgzNCDB]bPaMXSc{XBBAeAWruaIEL]SRJke_CK[gKb]SRMIO_PtXTWkYaaaD@l@UaIIHeHwGEdJbOCT{XONsJWFzcTkL{O_SDLQfRcTk{Ks?Y|NHGJCFsWc_YRaJeFFC@{f_aKPjLafxS?kRKTSUsM{PKo{ougccTbNMo{omwgc}GamblDJa}@gxBbIhHFDJbck@[HoJYPVpV`RpAwiQYMbDBRAAh[g~yaxaFALqc@jcy}axfqEbbY@yH@u`KbYCJa^p]SxY_]dNCXQPPig~i_SanAsAxpweI{GNFECkAnhyuHCEaDVftCVS@_OETHLMG^xXxIoiQ[u_c`Wp^yJmKQJCGfDWrRcZSZ]OtJpgBCWk@GQySzLef[CWl?SswZaNXGQSJS@[a[SYJ}FNcDkkOcGQgL^G@CC[AGKQJtNLPaPEoywe[UVN]pR_xglS~GbE_K_Q`DPULCXJsHdDWrg{FkK[KcPboEOu_mgbYT|bnbcQIh^h?ubP_aA_qihl{{AbP_KcHb]`{HAm`g_ccZQeh`Cy]_{dtCgaWplD?e_q_i@l@bPyiLgH[FgCyquH{uJqFuD|F|CYSCkBwHOI}geXbHM[jy\W`U@mPhILM?m@JEFcbAq{__\ePsKFgIcZkFWTQTnLwfccZkCkaK[DNhGXSMsFkcWTOKRFWCHSo{e?RcLpgGcGC@[CKK~N\ODpOO~CgMVJNmph@Bgp|?Eb]_}_jPMpX\DLK}I@ddrlKLoNELlPnoQONgrOdSUpcVbtAQXaP@qbh`RarqpHoG|Cbh_}cXRap}HBeaB`UCialPbkza`WeYCva_@nT@a`M_c_l`kX{iAQIgGHDGa{`}uM]HBEaGCc\SIwEyI[JWgkxkPP{la\yaDaB@pyMmBuAmEkCqAx[dS^iQpK[gPs]kL[VgUbMHfkc]kIwcG[fNxG_SQCLoeOUCKff_cKst_fuS[LVf@cJcFkU[OqI]d}r~c^_RQLgOOg|gZoOoUCVJLSGnxo`RgmU]Ja[aKpuIN]@AAk@nCxQ{cfk_kRNKegTS_COWWqU|MQFoc_CLwdC[wO?gbcRkOkfIU]KoFcsMcACgmSvL`fDsLSIoVePQIjeCC@[`{S]MIOWH?W`gRgVOVcL]GqxspTOnG][aqAUPyXi\GD@R@m@BQ_H^mTAOuHuEVcKYOmHgK}JjfLRyQOmGYR?McgCCRYIiHqS@J[E[BsYGI?g@RIXEtbdAFaEwKWGwd[RCi@iQIItFUGNs`cRkJIKLJ|ehcY{{_j[VzNUPbpNw~OtucL`A`AofXPso`JFGjDABLqFDGlD^EpDzbgp}HGlCzHnFUcByI`DnDcIMdsbNxzLC^@E@AdRR\@rdCJCJE]ccApXbh@RHjDlbrcHiP]JKEOEXECBVQMM^QUGKGFnGvOiS_iZNQKOlOfGUWhoWdduc\QcXfxB}c`bDB`B?`t[~cc`arC}rlYAxDibBbFdMA|Pgs}Ea[_{?lQkxncySaQa[bWQTpYSq[_wdGb?@|xiPAucabG`mpipaSu[bngDDgbCh{qNGJJGYewSc[MSJGEPIhEMhaPHOh{YKPEHJGugyWoq\gO?hJGqHP[zw_|P_grwvPTGo?YZNhgiWTGMSkA[IMlgfwk_wKeWU~KngPhUwqS__YwOshJWDOZoZqWyLUEwIDXZopsYcNmQBP]@DSvecmaI@bov`Uoq\KvHXDUBRQHdHnF^FcEJbnI@@HnE{IXFbSHYKtEv?NBqDZBAh}LDlBXAIDerbXupDXENFQcyQzHe|Ah?fDmcKBXaF\Hp@[BqberHpk?vdPJJjERbV@}qPgKTGyF@CfKSCLsFdJBEVw@Otke_TqPRHOh@?}cqE]IONhOg{hSs{{`XPkgxwGG_skKWiNxgog`?SCli[kM}gmGBOZg]MSDJwGWgJGoGa_Z]PAHOwPo_w\yX^Lhf?yLP]sq}ZKN|qU`fPHKwidCau@x@@pY?r^?{E}czQpaJLIZ?OCVcAbrYAxIZGMIrfjcKyMTFf@rCYDgBFy?HE\CuAuDrrfhwxEH?W?e@x@|@Q@B`AJERcZr]AHDI\A}CYbvbLxmSwhQHK@eZrZq?iS?L]HWfHch{@gKmGLCYdmgLox{gQUeP^hUGGOdS`U]jO]hUHEhWC|{`tPwg~gS_dglsXQOGgugkGX[nM\MNNgsGHOFwOYOHI\g^gVWskc[[@PNHUWBOMwQuN~LzFHWBPI[ooZoOKqh`o@K{xmdY_e@o`E_dkmhA^F_dHAwAKlJF@sC|cQrTXzlAUdbclderUX{xFwcH`iA_Ay`eH@?bebE@oa~pt{|]b[_D_^@E`AgiiaJ`tbZaT`pHDUdc_e@FPOHA?wM[u_eCpRDhoD@P?\?~@ypJOgEE]NaI^ducYyUuDII`GtEnrxYDdJZI@JYeprzqO\Gh?\A@ahbMQA|FdEvBteCrm@z|FP?|@UaUaHPU|CpCYFGCqbShqLJ\@}AdAhqG@p_yN@}HpeObaQB]?U@NCHa_@S{Nw_ETXJwgwsm{LSUMQHLhFusKyV]TMVNLkfzcaQP}NAGRKSF_RxyNQIMMqHremReaVa?UDtDecVrdHta?UR~KiFGsGkBsCAGxDRArWdhAOjeWEPvh^w__msdMZcNtg\Sn{ksnMZjN}hFSdS_gPqW|NHFvs^{?sJcSBLefPSoCBsguXcMYGSwA`fKyM^JN|HWh@_ysl}WAQGQr`\hjs{kaOhGdfriIGHKLCNAYEub]p~MAKYALTfUBzY?ePeNNJkeDsb[nKWcZONRGfSpLI{lq\aPFhawf_T{vW[FO@O]BQ@j{zQ^jOKQUP}@^?pWceeKBLr[PzXDSeMhedsrmYHpK`DfBDE~RbA@EDQY]LXEsbnQA]?oH~GGeOSeKrsYuZsNbGlsq\MgnU]CPShdWqOZSw[[hOOOH?ZHkWvG]JOZOQ`ShBCqec{eob^R_h|XEEeWiBE?RqiJXKtE|BnfFrfQA}AkCGLYEuBraCQBwJJGgeWsg{wK[}[UNrGrsrlQCok]dP`Hfw{o__x_\JO^Oa?epk_vS]kOhOjP]@F?redQfQboRcx~XEueai]EIruiKxLHGNCVfORjaCqDoD`LlE}rvaEAEyKTHFe_cjk{[^C[wOAgxss|TWq?^DPlHiXEodSyc\lOlOy?p`mowW^KOvPB@fPIss_dgfsC?rhI@PFeek_Td[ByiMXL\H[C|fWrnqEaGmEvL}fFRzaFqHsL]HdefcmT?c`G\YOPg~cuKDskS^dPxHkxOOiCzg]NOzPP?{Howx[^kPCoH?kgw?fOdzgTCPBlYBHGQeu`FdhB}iNtLpIgDbeiRoiGMJ]GIMNfNr~YHYAkEOFPD@Co\CgbE\{O_HDCv[J{l{_CQCHnWrObCx_\OODGgwDgG_LuNCLRsYQOPwtA[c^R_OzqzA@LGef@baaTrgHuD?qao_T?VoV?}StvQGHOFfcJaQhMHC]JvgGcbq[UN[H|MhF[cDAJqAwAP@sC@bX|IWd{]mOtHLSxC@woI_pQShqXAgiKzE]BOZgqGPoKCGmOfLospAZ`zxBod?ReOSBBPi|HgfLc\aqRm`xPAIbS`^?{Og`C[vfRaH{frcOiSlM`AAKVeosfy\E@?H`NAfhCIYMAF[C_AvcXb_dNwgi^]PHHTcycJGqGZUQdHtWIOg[{k]sOogzGbgSoKsQDMItEae@}xC}d`RkOwbIhm`IifX`AAjRsp{PB]bwad@\owhIKxLStIdf~STaUpMxCPKqe}SkA\uDgJRNZFtCNiOMJiEaBvCoRe|T?jI_KP[H\c{CRwri[IQthwW[_n_}K^cPDHBgs?[sOiR^McHaYlPV|?ubCQ~HxGlHgKwudtRqpCpbh|W~gaVQKoJ_xW^WPu\XRFT`ArIAhE_eDRsPdBQHqpJyfha_BOb{q?LDGcc_o@|@BgeCzSeRjNDkrUABdEwfkb^efrSXrtNZDjErF|cAQJDH^AQCLaOpOxvlKpUwJeepCGyM`N`?hBsEjbhq^EKkMGOAgGSViRiECH@CsajRpaXumcVeLjgTS]a^QAuGOL`FVs}k[C\S_SOWGqSgkNGRMINDhffSsT]gnyZhOpg~s~CGsPmZTMwH}W|O{p@E_~PihSGcGgsTiJwNUhhz?@`Gvs`pQDH~GVgdsvM]@R}qC`|iBHAYb`QlpRPUWlkWy]|RUUDRCxolB}cTS?OzPOXn_{cg@c[CBcGADlFYdea{AuP_?sG}YepkTENBbaGpH?gCaMAiR`HyHOJH]GVgRcLINdJ`EbD~BHPkp|tLl?ZK^fJSRIQlOPDHDffEbuQ_eSGPNOmG\s_aVi@MFMEPbaB|iZmAYXQM^Ghceq_qJgJsMTfod@kigb[`iPAHBsoSDcNmLGFTF~CwCF{rC\NPXhOTACX{Wq[{NhH`tAKl?cYYcO{GcSbSGkO{LkFeGAswcI{rc\_P^hRDAc[gX{\LNpHbDAknSdUYwPAgfcckJkQGMMFugEcxCL{sA\pPdhTtBC^KZC\]NxHcTBKpgeQZKPHGiseCMkRSMoGFGISxcOws]]APjhWdBc`g[G\nO?hddBkr{fKYdLnGfsf[PgS_NQGVgMCyC@GsyYjNHgwtCCc?\K]?OGHetCKuKgCYxLwGjCgsS[TkNrGfgPcyc@oAGY~NPgztCceW]O]PONhgDCkwSg{ZLM?gmCiKVGUwOSGvGTCzCCwBkYkLhFktDCgo^Q]`OVHhTDKy[hqZ^MHGpCjcXsWAOsHEgWczcG?DMZ?LqFotDcjG_S]pO]hidDk{cieZpMPgsCk{[_XKPSHTg[C{CJ?EmYsLhfstECl_`U^@OdhjtEK}gjY[AMYGvCmK^CYSPrHcg^c{cM?GKZGLqfwtEcnsaU^POkhacuabU_UUFLSFCrgiMa?kGWHHCxcPY]aXCPiNogXspyZdPrOkJOenBc`tXFh@GC^CkA_QH`NXLFHCf{SMiXPL{g{geDmrSprSzMb~_|AXAXpPxDIfoetchrUY?@KqfAS^sYqyhjgyK\wQDOipPPMkhqaqRyRbQWhk\?]e]RbIOiPP]ou[\VNChDWZWj?gMTRP^H}HtxMKuq_]RPhqdGlI_oCZ_MsFeccCOgUkSaIugqc~c|Cf}ZjOUhiCxqcaeKWVLxF]RtQQmHoJzI]d`sYq_A^cSZL}GNCti\HQVRcKUF?rpPzhHlDbEODTqsIMHOHORIZFBSHQZHMkhMi?EORa`xk}Sd@bFBPQmHZlF[gGgXdSRbqD`LmfYSgtFBIXqS|U^YQePmPlHWkmibySESSqlXq|BKe{RnITIexeKxk]zNtHTw{WwklIVkQAiCIMPWSy?`sRCHwdI{K?OQK]P_iLtFS^_RsIuKSFbcgAdiF_GoE`grSpQbuO}I_DmENRrySlQxC^CjBXsZIW|Q@HDDbB?RI@y|Ikh]ada^@pIMTKghB_CaYp\_qW|}d`SoP\`SOylFaeXSbOMpQGpCYS^NQuIWgsGk_]Yb{RNIQWAoEsTmKuNnh\dKc[oV[NmQBhgtHcC_C{J\ElFzsnqeYNiKRGFhCctAc}BsBME@B^B~qWTRP?pCMBMCbiYtQd?T@TbHprpj@?Yhi_paO`jaQ`LchT_b_uphW{?uG_[SuOdPL?vxHeevSkO]O`Ouw^AZVOTiZgWggw\?c}RBhnGTOR_[_OALsgMdMCNSTgNAQchaCpcLgJEMqGPe}cHAfIHGJYFphTCpiXE?YCHBFCOr`YDXRhDOD~c@CjyXHKl?~AZ`mQKPppBGhua|bHACiUhKmeZ_w`W_{XGCxY`qS{Ph`hHCTJge[ROOg_pg_oc}[}P?I]gyGusbGd{ROhhWYOZ_PeQ|MfgbTNc^g[]QBRAHhctSOCNCHXHlfWCRQfyPAMpHOejStYY}H_GJC~c}BmII\S@HFFhcnrWIZ@LhD[CXAhQa`wHDgiAcub|AZhlPLiexbBaU@XXQ{{eb?TAQcqAhNgvKeyR^Pk`Non?iS]bPeI`hVHBSgkZvR^hogzgiOWiTcNXguDPCl{aiSpMCHosws_WUSKyI~Fos[agiWGPsIeFESwy[iPYJnEnDeByYN@SXKhHHdXbdQ[lM\HREIB_AuP}LFuiMeeckQo@rlM]fQc{bMPsP[o~ecETGR[AXxXgyWfRRjQfpjg{OnI_AQGichqPMolg\\RjhuhWgv{^IV{OGhFDQczOgOVMMvHuszsmk\AOEKGgGCcyhY@CNTIPf^szy]IW_NBGReHcDyRHSp@SFzDNbqA]LNLKtFqCPrFYBxHyiY`BCDqj@y@NMfiekc@QKpc|AWdGTMOlaExVG|_fjRvR]qCpGSr?`YQhifgCgMWkW^?Rvh{hrhCWdEXoOsHVdSCD[GiUeNgH{s}sz{bIR@K~g\clIiICQDAJ_FwC}y^i^?QCHnebSOYVLTHAxAudub}A^lN|?mG?cgbRXjDC_ie`s`eA}H~|N}gA_F_WACPK?uIa\TSPE?wX_X?[gBSBOOOQPCGe{YiPTIiggg]oou_\SBiAgMWKGbARzL^GltTc@KJ_WoOUIAt@sIOFcQ?IJesSWYiy?[@DBLgMt@y`I@]BSAOdKb[YK|T`@??z`pcHI`LOl@`A@`RQhhnTEuiq_x?i?|yD\OmgY`H`K_n@U[wKbfTYOgoZ?`XBIgZSNOoojgYKkA[VPxilgYWO[Pw`rSNiGg]WW_M[UZMSG~dVCOGHiHaP?iGtCsQGLeFvJYfMS`IjiHaD_DCGbdCyaiI[F]CNDrrhQPPTx?kBDajcRYalP\DxCBaPA{xtlG}i}_n@l`YaI`P]gqbQAJ`LP^wzWciT_Oc?{?ndDigrSZPrpI_h?oe\|QYion") DH2756nx =DH2756 .networkx_graph() Com2756nx =Com2756.networkx_graph() # List of graphs to process graphs = [('DH2756 ', DH2756),('Com2756 ', Com2756)] 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 domination_number(G): """ Compute the domination number of a graph G using MILP. INPUT: - G: a SageMath Graph OUTPUT: - The domination number (integer) """ p = MixedIntegerLinearProgram(maximization=False) x = p.new_variable(binary=True) # Objective: minimize the number of chosen vertices p.set_objective(sum(x[v] for v in G.vertices())) # Constraint: each vertex is dominated for v in G.vertices(): p.add_constraint(x[v] + sum(x[u] for u in G.neighbors(v)) >= 1) return p.solve() # Print properties for each graph in the list print("\n Main properties of the graph\n") for label, graph in graphs: print(f"{label} | Ord.: {graph.order()} / Size: {graph.size()} " f" / Diam.: {graph.diameter()} / Avg.dist: {graph.average_distance().n(digits=6)} \n" f" / 8-reg.? {graph.is_regular(k=8)} / Degree histogram: {nx.degree_histogram(Com2756nx)} / Girth: {graph.girth()}\n ") # f" / Alg.conn. {algebraic_connectivity(graph).n(digits=6)}") #/ Domin. number: {domination_number(graph)} ") print("\n Symmetry properties of the graph\n") for label, graph in graphs: 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()}" ) def check_all_isomorphisms(graph_list): n = len(graph_list) print("\n Isomorphism check of all pairs (a dot means non 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(f"\n{label_i} is isomorphic to {label_j}") else: print(".", end="") print() # Newline at the end check_all_isomorphisms(graphs) # 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 graphs: print(f"{label} distance distrib from vtx. 0: {distance_distribution(graph, 0)}") # print(f"{label} distance distrib from vtx. 2: {distance_distribution(graph, 2)}") # print(f"{label} distance distrib from vtx. 4: {distance_distribution(graph, 4)}") # Counting k-cycles for each graph print("\nNumber of k-cycles for k=3 up to 6") for label, graph in graphs: print(f"{label} ", " ".join(str(count_k_cycles(graph, k)) for k in range(3, 7))) print("\n") ##