# SageMathCell online https://sagecell.sagemath.org/?q=bqmdqx # ''' Main properties of the graph H5K4p | Ord.: 7932 / Size: 23796 / Diam.: 6 / Avg.dist: 5.27214 / 6-reg.? True / Girth: 3 Symmetry properties of the graph H5K4p | Aut.group.ord.: 1 / Cayley ? False --- vtx.trans. ? False -- edge.trans. ? False Degree histogram H5K4p : [0, 0, 0, 0, 0, 0, 7932] H5K4p distance distrib from vtx. 0: [1, 6, 30, 150, 750, 3270, 3725] Number of k-cycles for k=3 up to 4 H5K4p 160 & 40 ''' import networkx as nx H5K4p = Graph(r":~@z{nO_???@??_?K?CNOW???D?A_?{?SNNG???E?B?@G?WNNW???F?B_@??VNNg???G?Ao@K?UNNw???H?BO@C?TNOG?CJVDK@wcf\Keg?CJWDJPw[f`Kew?CJXDJpwSf_KfG?GIdDQ@uwgPKXw?GIeDQ`uogOKYG?GIfDPpu{gNKYW?KI}C~@z[fyK`G?KI~C~`zgfxK_G?KJ?C}pz_fwK_W?OIJDDpxwgiKSG?OILDD`x{ggKSg?OIMDE@yGgkKRg?SAW@Jo[WHWMoG?SAX@J?[OH[MoW?SAY@J_[GHZMog?WRJEhqGKhYMbg?WRKEhAGCh]Mbw?WRLEhaF{h\McG?[M^FNP}smELWg?[M_FM`}kmILWw?[M`FN@}cmHLXG?_OtD]qY{joL}G?_OuD]AYsjsL}W?_OvD]aYkjrL}g?cKFECaP_o]Krw?cKGEBqPWo\Kqw?cKHECQPco[KrG?cKIEBaP[o_KrW?cKJECAPSo^Krg?gBI@DO\sGgM{W?gBJ@Do\kGfM{g?gBK@D?\wGeM{w?kPMDjAVkjXMCG?kPNDjaVcjWMCW?kPODiqVojVMCg?oQXEnqE_iMMUw?oQYEoQEWiLMVG?oQZEnaEciKMVW?sKxD}AQ{nmL?G?sKyD|QRGnlL?W?sKzD|qR?nkK~W?sK{D}QQwnjK~g?sK|D|aRCniK~w?wMEFAa@sm`LQG?wMFFBA@km_LQW?wMGFAQ@wm^LQg?{Ap@VoX?HBMvG?{Aq@WOXKHAMuG?{Ar@V_XCH@MuW@?NPFGa?GlWLdw@?NQFHA?SlVLcw@?NRFGQ?KlULdG@CK_EOaM[oCKxg@CK`EPAMSoBKxw@CKaEOQMKoFKyG@CKbEOqMWoEKxG@CKcEOAMOoDKxW@GQqE[qJChvM]G@GQrE\QJOhuM\G@GQsE[aJGhtM\W@KOBDcaXGkeLqW@KOCDdAXSkdLpW@KODDcQXKkcLpg@OBa@Q?YcGNNBG@OBc@PoYgGLNBg@OBd@QOYsGPNAg@SLQEIANwnSLDw@SLREIaNonRLEG@SLSEHqN{nQLEW@SLTEIQNsnPLEg@SLUEIqO?nTLDg@WO[DoqUKkILwW@WO\DpQUCkHLwg@WO]DpqUOkLLvg@[MwEzqB[lmL^W@[MxE{QBSllL^g@[MyE{qB_lpL]g@_Q?EaqHkieMPW@_Q@EbQHcidMPg@_QAEbqHoihMOg@cA^@EoX[GRMig@cIOD?`vOfeKLg@cKOD~QMgnVKlg@cMKE|P~GlZLKg@cOGD_QUWj^Ljg@cQCE]QEwhbMIg@gA|@To^CFtMqG@gIPD?pvSfaKLg@gKmEMQSOmxKtG@gNGEtq@?mtLZg@gPaDfqS_kZMAG@gPeEsqIgi@Mgg@kBZ?~OZSHlMxg@kIQD@@vCfbKLg@kLKDvqO_opK{g@kLmFRqAwlxLig@kOeDnQ[?j@LrG@kR]EdqD?i^M`G@oBx@MOVcHNN@G@oIRD?@vGfcKLg@oLiEEqKooRLCG@oMiFKQCok|LSG@oNiDuqYGj|MHg@oR?EUqGoi|MXg@sA@@\O\KGpNGg@sIND?PvKfdKLg@sJqETqQWntLJg@sNeFCp|OmVLbG@sPCDWqWOkxLyg@sQaElQK_hDMQG@wAZ@F?X_GSMig@wImDN`{wfGKTG@wKjELqSKmxKsG@wMfFLACkk|LSW@wOgDmqZ{j@LrW@wQcEkqK[hDMQW@{Ay@TO^?FtMpG@{IoDN@{sfGKTW@{LIDvqOgooKzw@{NdFDP|OmTLag@{NiDuaYSjyMHW@{QDE]aE{h^MIgA?BX?~OZ[HkMwwA?IlDNp{ofGKTgA?LhEEAKooULBgA?MLE|`}wl[LKgA?PADWqWWkwLzGA?PeEsaI_h}MgWACBw@L_VcHQN?gACInDNP{kfGKTwACJqETaQOnvLJWACNEEtq?smsLYwACOHD^QU[j_LjgACR\EeQD?i\M`wAGA@@\?\CGrNGWAGIpDO@{{fGKSwAGKKD~aMknWKlgAGLmFRaAolzLiWAGP`DfAS_kXM@gAGRBEUqGci{MYGAKA[@E?XcGTMigAKJKCx@xGh?K[gAKLGDvqO[osK{WAKNHEtq?{mrLZWAKPDDWqWKkvLyWAKR@EUqGkizMXWAOA{@U?]{FtMpWAOJNCx@w{g~K\GAOLgEEaKooSLBGAOLmFSaAglwLiGAOOID^aU_j[LjgAOQ`ElaKWhDMQgASBV?~OZOHoMxWASJLCx@xCg}K[WASJqETQQ[nsLJGASMhFKaCgk|LRWASP_DfaS_k[MAWASQEE]qEkh_MIgAWBv@M?VcHON?GAWJJCx@xKg|K[wAWKLD}aMonXKlgAWNcFC`|OmWLbWAWOdDmQ[Kj@LrgAWPeEsQIki?MhWA[A@@[o\OGoNGGA[JMCx@x?g{K\WA[KlEMaSGmxKsWA[MHE|p}{l\LKgA[NiDuQYKj{MHGA[R`EdaD?iZM`WA_A\@EOXSGUMigA_JiDG@tWgaKcGA_LfEFAKooQLBwA_NbFD@|OmULawA_PcDeqS_kYM@wA_R_EeAD?i]M_wAcAx@T_^KFtMpgAcJhDG`tWg_KcwAcJqETAQSnuLIwAcMIE}@~?lXLKgAcOfDnA[Gj@LqgAcQ~EUqGsiyMXwAgBY?~OZWHnMwgAgJlDFptWg]KcWAgKMD}qM_nYKlgAgNFEtq?omvLZwAgNiDuAYCj}MIGAgQbElAKShDMQwAkBu@M_VcHMN?wAkJkDGPtWg`KbwAkKiEMASWmxKsgAkLmFSQAslyLhwAkPBDWqWSkuLywAkQFE\qEoh`MIgAoA@@[_\GGqNFwAoJjDF`tWg^KcgAoLJDvqOcorKzgAoMjFKACck|LRgAoOED^qUcj\LjgAoPeEtQIch|MhGAsA]@E_XWGQMigAsHqDV@z?gCKjgAsJqEUAQ_nwLIgAsLmFSAAklvLiwAsNiDtqYOjzMHwAsPeEtAI[h~MgwAwAz@T?^GFtMpwAwHqDUpywg@KjWAwKND~AMcnUKlgAwMgFKqC_k|LRwAwPEDWqW[kyLyGAwR^EdQD?i[M`gA{BW?~OZKHmMxGA{HqDU`zCgBKkWA{KkELaSSmxKswA{NfFD`|OmXLaWA{OFD_AUSj]LjgA{RAEUqGgixMYWB?Bt@LoVcHPN?WB?HqDV`y{g?KkGB?LHDvqOWoqK{GB?MJE|@~ClYLKgB?PbDfQS_kWMAgB?QdElqKchDMPwBCA@@\_\SGsNFgBCHqDVPysgAKjwBCLeEEQKooTLBWBCNDEtq?wmuLZGBCOcDma[Cj@LqwBCQBE]AEshaMIgBGBD@P?ZwG|MiGBGIyDIPxsgKKMGBGKuEHaPCo@KlGBGMtFFq@_mALKwBGOnDhqX?kGLjWBGQmEgAH[iHMJGBK@~@R_XkHiM}GBKIzDI`xcgLKMGBKJoEKAMwomL@GBKM~FR@|Gl^LTgBKOKDWQZskQMGGBKRZE^QIChBM[gBOBN@[OV_GYMqwBOIvDIpxggMKMGBOL?ESqKkn]KtwBONaE~AAGk{L]WBONhDkQUsktL~WBOQJEUaKOiRMfwBSAa?~_]kHFNEwBSIwDJ@xkgIKMGBSKRDwARwoJLHwBSLnFIP~SmnL_wBSP[D`AXgjAL{wBSQwErQDCheMRwBWBq@GO[_FvMzgBWIxDI@xogJKMGBWLbE?qPkmzK}gBWMQEuQCSmKLhgBWOxDtASgjdLsGBWPgEiaFOiuM^GB[BE@O?Z{G}MiGB[HsDKpvggxKaGB[JoEJqNCojL?wB[LnFI@~KmpL_gB[NhDkAUkkqL~GB[PgEiQFGiwM]wB_@~@ROXwHfM|wB_HsDK`v_gzK`wB_K~ESAKkn[KtWB_MOEuQC[mJLgwB_P]D_aXcjAL|GB_QnEgQHKiIMJGBcBM@Z_V_GWMqWBcHsDL`vWgwK`gBcKPDwAS?oILIWBcMpFGA@cmBLKwBcOwDtaSgjbLswBcRWE_AI?hBM[wBgA_?~_]sHENFWBgHsDLPvcgyK`WBgLdE?QPgmzK}wBgM}FQP|GlaLTGBgOoDiAXCkCLjWBgQHEUaKCiQMfGBkBs@Fo[[FvMzwBkHsDL@v[gvKaWBkKvEGaPGoAKlGBkN^E}aACk{L\WBkONDWQZgkPMGgBkQvErqDChcMRWBoBF@OO[?GyMiGBoJCDT`t[fhKUwBoK}ESaKkn^KuGBoM|FQp|Gl_LSgBoO{DsqSgj`LsWBoQuErADChfMSGBs@~@R?XoHhM|gBsJBDU@t[ffKUWBsKSDwARsoHLHgBsN`E~QA?k{L\gBsOpDiQWskDLjWBsPgEjQF?itM]gBwBL@[?V_GZMrGBwJADTPt[fiKVGBwLaD~qPwmzK~GBwLnFHp~WmmL_WBwOLDWQZokOMFwBwQjEgaHOiJMJGB{Ab?~_]gHDNEgB{J@DTpt[fgKUgB{KwEGqPKn}KlGB{MMEuQCOmNLhWB{NhDjqUwksM?GB{RYE^aH{hBMZwC?Bp@FO[kFvM{GC?JDDUPt[fjKUGC?JoEJaM{olL?gC?MqFFA@gmCLKwC?PZD`QX_jAL|WC?QKEUaKKiPMfgCCBB@O_[CGzMiGCCIVCwp{ggUKiwCCKQDwAR{oGLIGCCMPEuQCWmMLggCCOJDWQZwkNMGWCCQIEUaK?iTMgGCG@~@QoXgHjM}gCGITCwp{[gTKiGCGLcE?aPsmzK}GCGMrFFQ@WmDLKwCGNhDkqUokpL~wCGQtEraDChdMRgCKBP@ZOV_GXMqgCKIWCwp{cgSKigCKKsEHAPOn~KlGCKM{FRP|Gl]LTWCKP\D_qX[jAL|gCKPgEjAFKivM]WCOA`?~_]oHCNFGCOIUCwp{WgWKjGCOJoEJQMsonL@gCON]E}qAOk{L\wCOOzDtQSgjcLrwCOQkEgqHSiFMJGCSBr@G?[gFvMzGCSISCwp{_gVKiWCSLAERqKkn\KtgCSLnFH`~OmoL_GCSOqDhQWwkELjWCSR[E^AHwhBM[GCWBC@OoZsG{MiGCWJfD@`y[fEK^gCWL`E?APomzK}WCWN_E}QAKk{L]GCWP^D`aXkjAL{gCWRXE^qHshBM[WC[@~@Q_XsHgM}WC[JcDAPyWfEK^wC[KtEHQP?o?KlGC[LnFI`~[mqL^wC[OyDsaSgjaLsgC[QGEUaKGiSMfWC_BO@ZoV_GVMrWC_JeD@pySfEK]wC_JoEJAN?okL@WC_MNEuQCKmLLhGC_OmDhaW{kFLjWC_QxEsADChgMRGCcAc?~_]wHGNEWCcJgD@PyOfEK^GCcL@ESQKknZKuWCcMsFFa@[m@LKwCcOMDWQZkkMMGwCcPgEiqFCisM^WCgBo@F_[cFvMzWCgJdDA@yKfEK^WCgKTDwASCoKLHWCgMzFQ`|Gl`LSwCgNhDkaUgkrL~gCgQlEfqHWiGMJGCkB^@U_\gHTMiWCkJQDPPzKgeKLwCkLOENAQsoXKlWCkNJFLqBGm]LKGCkPJDoQY_k]LkGCkREEnAIsibMIwCoA?@K_]cG]MwGCoJRDOPzOgfKLwCoJpEDARonaKzGCoMbF?@|KmlLfgCoPYDWaVCjuLuGCoQNEqqGShCMagCsAv@GoVkHcNDwCsJSDO`zSgbKLwCsKgE@QKwogLGwCsMSFPa?gk~LbwCsNkDeQZ[jfLxwCsRTEVQFWhzMSwCwBm?}oYKGlMsWCwJODOpzWgcKLwCwL^DvQNWnpKvWCwLkFBqCClfLXwCwOSDsAW?i~MBwCwQ]E`QCwiqMeWC{Ag@YOZGFuNAGC{JPDP@zGgdKLwC{KXEQqOSmyLDGC{NYEu@~kluLUGC{ObDaaScklMFgC{PfEdAJohkMWgD?B_@Uo\WHUMiWD?HrDFP{GfnKZgD?JpECqRgncKywD?LkFBaB{lcLXgD?NkDeAZSjhLxgD?PfEcqJ{hhMWWDCA?@KO][G_MvwDCHrDF@{SfkKZWDCKfE@qKwoeLGWDCN\Eu@~_ltLUgDCOPDraV{i~MAwDCRFEmAIwicMIwDGAu@HOVkHaNDWDGHrDEp{KfmKZGDGL\DvQNKnoKugDGNKFMABKmYLKGDGOaD`qSckoMFGDGQPEqQGOhCMawDKBk?}oY?GkMrgDKHrDE`{CfoK[GDKKUERaOOmyLDWDKMaF?`|KmjLgWDKPFDoaYck^LkGDKRREVQF_hyMTWDOAd@Z?ZCFuNAWDOHrDEP{OflKZwDOLPENQQcoYKlWDOMUFPA?ck~LcGDOPWDWaVKjtLtWDOQ\E_aCwioMdwDSB[@V?\[HVMiWDSIiDB`tOgtKhWDSKeE@AKwohLHGDSMeE~p|KmhLfwDSO`DaQSckmMEgDSQ[E`ACwirMegDWA?@LO]SG\MvgDWIhDAptOgrKgwDWL_DvQNSnnKvGDWMRFPq?_k~LcWDWPGDnaYgk_LkGDWPfEcaJshjMWGD[At@G_VkHdNEGD[IgDBPtOguKhgD[KWERAOKmyLCWD[LkFBQCGleLYgD[PUDWaV?jxLtwD[RGEmQI{i_MIwD_Bn?}oYGGjMsGD_IkDA`tOgsKhGD_LLENaQgoZKlWD_NZEu@~glsLTwD_NkDdqZ_jeLxWD_QMEpqG_hCMbGDcAf@Y_Z?FuN@WDcIjDB@tOgqKhwDcJpEDqR_n`KygDcNLFMQA{mZLKGDcORDsQVwi~MBGDcRUEVQFShxMSgDgB\@VO\_HRMiWDgJ`Cx`vof}KVwDgL]DvQNGnrKvgDgNXEu@~olrLUWDgPXDWaVGjwLtGDgRSEVQF[hwMTGDkA?@L?]_G^MvWDkJ^Cx`vwf|KWWDkKYEQaOGmyLCgDkNMFLQB?m[LKGDkNkDdaZWjgLxGDkQ_E_QCwipMeGDoAs@H?VkHbNDgDoJaCx`vkf{KVgDoLMENqQkoVKlWDoMdF?P|KmkLfWDoOODrqWGi~MBWDoPfEcQJkhlMXGDsBl?}oX{GnMsgDsJ_Cx`vsfzKWGDsJpEDaRknbKyWDsMTFPQ?[k~LcgDsO_DaqSckkMFWDsRCEmaJ?i`MIwDwAh@Y?Y{FuN@gDwJbCx`v{f~KVWDwKdE@aKwofLGgDwLkFCQC?lbLYWDwPHDnqYWk`LkGDwQOEqaG[hCMaGD{B]@UO\cHSMiWD{IZDT@wkfFKdgD{KVERQOCmyLCwD{MVFQA?kk~LbgD{OQDrQWCi~MBgD{QLEqAGWhCMaWE?A?@Ko]WG[MwWE?I\DS`wgfFKdwE?LNEMqQooWKlWE?LkFCABwldLYGE?O^DaAScknMEwE?RVEVQFch{MSWECAw@H_VkHeNDGECIYDS@wwfFKeGECJpEDQRcn_KzWECN[Eu@~clqLUwECPIDoAY[k\LkGECQ^E_qCwinMewEGBj?}oYCGmMrwEGI[DSpwsfFKdGEGKhEAAKwoiLGGEGNIFLaBCm\LKGEGPVDWaU{jvLtgEGPfEcAJwhiMWwEKAe@YoYwFuN@wEKIXDSPwofFKdWEKL[DvQNOnqKuwEKMcE~`|KmiLgGEKNkDeaZcjiLwwEKRDEmqIoiaMIwEOBf@XO]KH`MhwEOJ]DR`zwgmKMWEOLWEPqRWodKkwEONUFOqBgmfLKWEOPSDqQZOkhLjwEORQEpQJ_ijMJWESBR@NOY[FwNCGESJYDRpz{gnKMWESLCEFqNgm{LFGESMmEuaAWljL`gESOWDlQSkk@L{GESPhEaQH?iVMUgEWA~?~?[{GdM~GEWJZDQp{?goKMWEWKoDvaQGnhLAGEWLlF@q@GmRLVgEWP?DgQV_j?MEGEWQUEkQC{iBMZgE[Aj@SOVgGxMyGE[J[DR@zogpKMWE[K[EKqKsn|K|GE[NAFEp~wk}LegE[NjDbQWokTLvGE[QiEVAIOhnM_gE_@}@IOZkHLMtGE_J\DRPzsglKMWE_JnEAqOwoPKwGE_MYFJp|Cl~L[gE_OkDWAY?jlM@GE_Q}EfQFohAMdgEcBg@X_]OH\MhwEcJIDH`wGfDKggEcLEEFQNcm{LFWEcNCFEP~sk}LewEcO|DhAV[j?MEWEcQzEeqFkhAMcgEgBT@MoYWFwNCWEgJFDH@wCfDKfgEgKrDvaP{ngLAgEgMXFJ@|Cl|L[GEgNjDbAWgkVLuwEgRMEpaJcikMJWEkBA?~?[oGcM~gEkJHDHpw?fDKfwEkKZELQKsnzK|wEkNVFNqBkmgLKWEkOiDWAXsjkM?WEkPhEaAGwiXMUWEoAi@SoVgGvMywEoJEDHPwOfDKgGEoJnEAaOooMKvwEoMkEuaA_liLaGEoPTDqaZ?kiLjwEoQTEjaC{iEMZGEs@}@I?ZcHIMswEsJGDGpwKfDKgWEsLXEQAR[o`KkwEsLlF@a@SmOLVWEsOVDlqSkj~LzgEsQgEVAIWhmM^wEwBh@Xo]?H]MhwEwIuCxPygfqKbgEwKpDvaQCnfL@wEwMnEuaASlhL`WEwOlDWAX{jjM?wEwQeEVAIKhqM_WE{BQ@N_YSFwNCgE{IsCxPyofpKawE{K^EKaKsnxK|WE{LlF@Q@KmQLVGE{PPDqqZCkjLjwE{Q|EfaFghAMcwF?B??~?[wGbM}wF?IqCxPycftKbWF?JnEAQO{oOKwwF?N@FDq?Ck}LfGF?OUDlASkkAL{WF?RNEoaJgilMJWFCAm@S?VgGtMyWFCItCxPykfsKagFCLYEQQRKoaKkwFCMWFJ`|Cm?L[wFCO~DgaVWj?MDWFCPhE`qHCiUMUGFG@}@HoZoHKMtwFGIrCxPy_frKbGFGLBEGAN_m{LFgFGNWFOABomcLKWFGNjDcAW_kSLugFGQSEkAC{iCMYgFKBi@Wo]CH^MhwFKIaDM`tSgEK]gFKK]ELAKsn{K{wFKM[FIp|Cl}L[WFKOTDlaSkk?LzwFKQREkaC{iAMZWFOBS@N?YOFwNCwFOI`DLptSgHK]GFOJnEBQOsoLKwgFONSFOQBsmdLKWFOP@DgAVSj?MDgFOQhEVAIShpM^gFSA}?~?\?GaM~WFSI_DMPtSgFK\gFSLZEPQROobKkwFSMlEuaA[lgL`wFSNjDbqWkkULuWFSQyEfAFwhAMdGFWAl@S_VgGwMxwFWI^DMptSgDK]WFWLDEFaN[m{LFwFWLlF@A@CmSLWGFWOjDWAXojnM@WFWROEoqJWimMJWF[@}@IoZgHHMtgF[I]DM@tSgGK\wF[KnDvaQKneLAWF[NBFEa??k}LeGF[PQDrAZGkfLjwF[PhE`aG{iWMTwF_Be@X?]GH_MhwF_HtDC`xWgYKXgF_JnEBAOkoNKwWF_LlF?q@OmPLVwF_NjDbaWckRLvWF_PhEaaHGiYMTgFcBU@NoY_FwNBwFcHtDCPxOg[KXWFcLVEPaRSocKkwFcN?FE@~{k}LeWFcOhDWAXwjmM?gFcQQEjqC{iDMYwFgB@?~?[sG`M~wFgHtDC@x[gXKXGFgLFEGQNkm{LEwFgMZFJP|Cl{L\GFgPRDqAZKkgLjwFgQfEVAIGhoM_GFkAk@RoVgGuMygFkHtDBpxSgZKWwFkKqDvaQ?ndLAwFkNTFOaBcmeLKWFkOXDmASkkBLzWFkQ{EeaFshAMdWFo@}@I_Z_HJMtWFoHtDCpx_g\KWgFoK\EKQKsnyK|gFoMoEuaAclkL`GFoO}DgqVOj?MDwFoRPEpAJ[iiMJWFs@}?^oG?A@NNGFsAA?`oGoAPNHwFsAB?aOG{ATNJGFsAC?aoGsASNKWFsAD?a?H?ARNLgFsAE?a_GwAQNMwGGKGDhqAsirKWwGGKLDeAAKimKRgGGKQDgaBGihKTwGGKVDcqA_i|KUwGGK[DfQ@wiwKVwGKMDEgAYGgtKvwGKMJEcqXkgpKrGGKMPEeaY_ggKsgGKMVEbQXog|KuGGKMWEeQXSgxKvgGOOADIQIkohLWGGOOHDFQHsoaLQWGOOJDHQIso_LSGGOOQDDAIOoqLSgGOOXDGQHkojLUWGSP~EH`y{mhLvGGSQFECpy[meLpgGSQIEF`zKmbLrgGSQLEC@ykmsLsWGSQTEEpxwmpLtGGWIIFFqQOkmMUGGWIRFBaPokiMOwGWIVFEqQskeMPwGWIZFAaQ?kuMSGGWI^FCaP_kqMTGG[K|DaaBkiGKcWG[LAD]qCgiBKdWG[LFD`QC?h}K_GG[LKDbqBWhxKaWG[LPD_ACShsKbWG_QsE@`{?mCMAWG_QvD}@{ol{MBGG_QyE?p{OlxL}wG_RAEAPz[luL~gG_RDD}p{_lmM?WGcMyE_aZKgJLBgGcMzE\Q[?gFLDGGcN@E^AZcgBL?WGcNFEaAYsf~L?gGcNLE]qZgfuLAGGgI{E~aROkEM`GGgJDE{aSSkAMaGGgJHE}aR_j}M]GGgJLF@qR?jtM^GGgJPE|aSCjpM_GGkOvDBAJgoALaWGkOxC}qKSnzLcGGkP?DAAJonsL^gGkPADCAJKnqL_GGkPHD@AKKnjL`wGoKcDs@~{iQK\GGoKhDu`~SiLK]GGoKmDqp}ki`K^GGoKrDtP~gi[KXwGoKwDp`~?iVK[GGsO]DSqFgoJLZgGsO_DUqFCoCL[GGsOfDRqE_oZL\wGsOhDTqF_oSLXWGsOoDPaE{oLLXwGwIbFPQNgkMMXwGwIkFSaMskIMYwGwIoFOQMSk^MZwGwIsFQQNWkZMVwGwIwFNQMckVMWwG{M`EpqVSgWKzwG{MaEsqUwgNK|WG{MgEpaUGgcK}wG{MmErQU{g_KyGG{MsEoAU_g[KyWH?QZER`wCmNLyGH?Q]ET@vcmFL{GH?Q`EP`uom\L{wH?QhESPvsmTLwgH?QkEOpvSmQLxWHCLRDkQ?{hlKggHCLWDmq?ShgKhgHCL\DjA@OhbKigHCLaDla?gh]KjgHCLfDoA@chqKeWHGJTFHqO[jfMcgHGJ]FLAN{jbMewHGJaFGqOkj^MfwHGJeFIqOKjZMgwHGJiFMAPOjjMbgHKRIEJ@xGleMEWHKRQELpwSl]MFGHKRTEIPxWlZMFwHKRWEL@wwlWMHwHKR_ENpxglhMCWHOPLDLaGkn_LewHOPSDNaGGn]LfWHOPUDJQHGnVLhGHOP\DMaGOnTLiwHOPcDOaHOnfLdGHSNOEjAWKfmLFWHSNUEkqVofiLGwHSN[EhaWcfeLIWHSNaEkaWGf\LIgHSNbEmQW{fqLDwHWIEFQqQGjxMggHWKZD`p~Kh^KQgHWMtElaZ[fLKwwHWPIC{qGsobL]GHWR^EGPu?mMMBWH[I_F?QNCj[MNgH[KuDnACGhEKXGH[NKEYqW[goK}WH[PaDHqDkoGLbwH[PzES`yclqMHWH_IyFKqRcjFMUWH_LMDZa@?ilK^gH_NdEfATKgULCWH_N~DTaIGnoLiGH_QUE@PvglXLogHcJSExqOgkgM[WHcLgDgP|giTKeGHcMBErAXsf{LIwHcOUDBQFGnULPgHcQmEMP{KlBLuWHgJhFDqL[kNMawHgKADsqA[hzKjWHgMZE_qUkfaKqgHgOnDNAJkm~LVgHgRGDzpw{mgL{gHkIJF@QNSjdMNgHkKFDb@~_hcKQgHkMGEaQVCfjKqgHkOCDCQFcn\LPgHkQ?EBPvwl`LogHoIhFHaRSjFMPGHoKfDkaBshEKRwHoMbEiaZCfLKqwHoO^DLAJcm~LRGHoQ_EJ`z{lBLqGHsJFExqPGkcMWGHsLCDZa@gigKZWHsN?EYqWwgkKzGHsP@C{qHWo[LYGHsQ|Dzpxom_LxGHwJdFAqL[k_M^gHwLbDc`|gicKawHwN^EbqTKgfLAgHwPZDDaDkoWL`gHwR[EB`u?m[M?gH{IEFPqPSk@MfgH{KADra@siDKiWH{MBEqqXWgHLHWH{N~DSaHcnxLhgH{PzEQ`yCl|MGgI?IuFLqRCjFMQGI?KKD]@~shhKQgI?MBEpQYKfwLHGI?PXDFaDkoNL^WI?QqDzpwkmuLzwICI~ExqOCkxMZWICKpDoQB_hEKSwICMHE\aV[fnKqgICN~DRaIcnmLfwICRSEEPu?mPL|wIGJ`FCqL[kRM\gIGKyDZa?ki{K]gIGMnEnAYkfLKsWIGOEC~AFkncLPgIGPzEPpyslnMEgIKIEFOqQWjoMegIKL]Df@|giYK_wIKMxEYqWCg{K{wIKOlDPQJGm~LRgIKQBD|pwGlcLogIOINE{ANcjhMNgIOKADqQAohuKhWIONXEdaTKgYK~gIOOrC{qGWorL[WIOQeEN@zklBLqwISJJExqOwktMVGISKPD^P}chmKQgISNWEgaTKgQLCGISO\DMAKcm~LTWISPzEP@ySlyMDwIWJ\FGAL[kJM`wIWKaDlqCohEKVGIWMBEnqX[g?LFgIWPBC{qG{okLWWIWQJD}`uslkLogI[IEFMaPwj|MdgI[LHDZa@SivKYWI[MNE\qUOfrKqgI[PQDIqDkoELbWI[QWEKP{klBLswI_IWE|AMOjlMNgI_LXDh`|giOKbwI_M\EkA[KfLKtwI_N~DQaI?nvLeGI_R?Dzpx_mmLwWIcIdFJqSWjFMRGIcKADpAAGi?KgWIcNEEYqW_gwKxgIcOLD?AEcneLPgIcRPEH@u?mEMAgIgJXFBqL[k[M]gIgKUD_`}whYKQgIgM~EYqVkgsK{gIgN~DUaJ?o?LdgIgQbEIp{[lBLtgIkIEFRqQgkDMbWIkKkDjQC[hEKWGIkNQEcATKg]L@GIkOSDAQEknSLPgIkQtDzpw[mjLzGIoI[E~QM_jWMNgIoK~DZa?WiqK[WIoMBEsaYcgLLEGIoOeDKAKGm~LTwIoRHED`u?mXL~wIsIlFGaRsjFMTWIsLSDdp|gi^K`wIsMTE^QUSf]KqgIsOyC{qF{oiLZwIsPzETPzWmDMDGIwJBExqNskkMYWIwKADuABCiIKfWIwMhEhAZsfLKvWIwPODEaDkoUL^wIwQME?`vClULogI{H}FLaMokrM_WI{KiDhQ?[iAKOgI{NZEaaX_fTK{GI{ONC|qJ_oRLgWI{QzET`tolfLsGJ?JIFSQLKjeMRWJ?JwDo`~CiuKbgJ?MiEfqW?gEKngJ?PVDCaHwnGLYwJ?QKD{`zwmWMFWJCISEyqRWkWMeWJCLEDup|ShiKUGJCLvEmaU[gvL@wJCOdDIAG_n{LNWJCRREB@yKlMLywJGJ_F?qPkjNMXgJGKTD[qBgi\KhGJGNCEsQSsfoKtgJGNuDOqEoolL`WJGQdEG`wsl}LlwJKInFFAOOk?MLgJKL^DbaAChOK[wJKMQE[QZOg`LGGJKO|DVaDOnbLSwJKPoEN`vGmoM?wJOJ@FOALKj]MPWJOKnDcQ?oiFKOgJOMEE[QZkg\LJGJONuDNqFoo\L_wJOR]E?Px{lMLzgJSIKEyqRwkSMgWJSJwDnQ??ifK`WJSNfE^aXGfTK|gJSOzDRQDOnYLQgJSQgECPxCm@LlwJWJlE}qP[jNMYgJWL@Dr@|Sh_KSGJWMoEbAWWgIKngJWO@C|qKCoPLigJWPoEL`wKmaM?GJ[IrFBAO_kCMLgJ[KJD[qCOiWKkWJ[LvElAVOgjL@gJ[P_D@QHonGL[gJ[QwEQ@tol[LpWJ_H}FKaN_kaM^WJ_LhD`A@ohOK\wJ_M}EpASsfbKrwJ_OkDEAGgn}LNWJ_Q@D{`{WmOMIGJcI\EyqRGkOMdWJcKsDda@ChrKOgJcMwEsASsfsKvGJcPTC~QIwnGL]WJcPoEKpvWmlL}GJgJ[E{qQojNM[wJgJwDm@~WipK_WJgMRE[QYwgSLFwJgOmDFAHCnkLNWJgQoESptoliLuGJkIvFCAOojsMLgJkK{Dt`|ShnKWWJkNTE[aYgfTK~GJkNuDMqFKoeL^GJkQND{`zgmLMDWJoH}FJaN?knM\GJoKYD[qBSiRKgGJoMpEcaWofyKngJoOsDTQDOndLUgJoROD|`zOlML|gJsI|FRQLKjnMSWJsLYD]aB?hOK]wJsLvEjaUsgrL?GJsOPC|qJCoILegJsQjED@xSloLlwJwJcE~qQ_jNMVgJwK_Deq@WhwKOgJwLvEjQUCh?LCwJwPJDQQDOn[LSWJwQCD{`{GmIMGGJ{IfFDAP?jwMLgJ{JwDkp}oizKdgJ{NJEnaSsffKsGJ{OGC|qJ{oBLgwJ{RZE@@z?lMLwGK?H}FIaMKkvMaWK?LODpp|ShdKTGK?MKE[QZSgOLHgK?P]DBaI[nGLWgK?QYEF@xclrLlwKCJQFNALKjaMQWKCKOD[qB{iMKiGKCN`E`AYOfTKxGKCO[DGAHKnrLNWKCPoEK@uwmrMBgKGIOEyqRgkKMfWKGLcDaQAkhOKYwKGM]EeAWsf}KngKGNuDKaEgosLbgKGREEO@tol^LrWKKIjFEAO?j{MLgKKKdDgA?Gh|KOgKKMcEfaVggAKngKKObDHAGCntLNWKKQ\EFpwclzLlwKOH}FGQNOkjM`WKOJwDj`~kikKcgKOLvEhqVKgnLBWKONuDJaFSocLbGKOPoEI@v{mdM@gKSJMFPALKjYMUgKSLJDsP|ShZKXWKSNDEqaSsf^KwgKSPCDSQDOnRLVGKSRBEQptolSLuwKWI`EyqSGk`McWKWK^D[qCciaKfGKWMXE[Q[CgdLEWKWOWC|qK_oYLcwKWQQD{`{{mZMCgK[JWE|qP{jNMWgK[LTD^qAWhOKZwK[NNE]AXwfTKygK[PMD?QISnGLYWK[RLD~`yolMLwwK_IAFCQSKjcMZGK_LGDjqA{iUKPgK_MUEoqXCfPLBwK_P[CyqFsnwLUGK_QiD~Pu_miMGwKcItE|QL{klMfGKcJ|DeaCkheK]WKcNHEiqYWgZKpGKcORDRAHSnELawKcRYDx@wOlvLtWKgJgEvqN[jzMSgKgKqD_P}OioKjGKgL|EdAZ{fgK|GKgPDDLQIooMLNwKgQOEQPxklEM@wKkIXFOaPKjJM_wKkLdDX@~wh~KVWKkMkE]QT{gqLHwKkNwDEQK[nZL[wKkR@EJPzGmSLnwKoJKFIQQckTMMgKoKXDqa@[hJKcGKoN]EVqVWgCKuwKoOjD?aEOofLhWKoPwEDp{wlaLzWKsIpF?aL{kdMdGKsLLDlA@kiZKPgKsNVEVqUcfzKrgKsNwDDQJwnhLZGKsQAETpx[lEMBwKwJZEvqMkjvMPgKwJ|DdQCChoK\WKwMCEtQWkfPLDWKwOcDAaEOo]LfGKwRCELPyGmVLnwK{ILFRaO{jJMbGK{KlDap}OieKfwK{NIEkQXKg^KpGK{PRCyqEsnpLQGK{PwEBp{ClgLygL?JOFJQPckXMMgL?LZDX@}{hyKSWL?L|EbaZ_ftKzgL?OBDVQGwnELcgL?QaEA@u_m^MEGLCIAFAARkjkMYGLCKIDuQ@GhJKdGLCMjE`QT{giLEwLCPFDMQHgoTLNwLCRNDx@vKlsLpwLGJkEvqNKjrMRgLGKxDmQA?i_KPgLGMdE[qT{gzLJWLGOKDSAGonEL]wLGPwEHPzclYLxwLKITFPaOWjJM\wLKJ|DiQB[h`KZGLKNcEVqV?fvKtWLKOtDNQICoVLNwLKQ^D|Pu_mqMHgLOJ?FKQPsk\MMgLOKgD^@}OitKkGLOMOEqQWSfPK~WLONwDIaJSnXLYgLOR\Dx@vklpLsgLSIAFFQQwj_MXGLSLiDX@~chtKUWLSMvElqXcgbKpGLSOaC~aEOomLhwLSQGER@xKlEL}WLWIgE{QL{kpMhWLWKSDrq?shJK`GLWL|EgQYofcKzWLWPbCyqFWniLTgLWQrEM@yWmYLnwL[IaFNaOGjJM]wL[K}DnaASiKKPgL[L|EeqZwfkKxwL[OZD@aEOodLfgL[RVDx@u{mALvWL_JCFLQQCkLMMgL_J|DhACWhjKYGL_M^E^qT{gmLGWL_PYCyqEWo@LVwL_QREOPwglEL~GLcIAFEQR{jgMUwLcKbD``}OijKgwLcN\EVqUKgKKwWLcOTDQAGSnEL_gLcQuEMpygmHLnwLgIcE}QL{khMeGLgL_DX@}giHKXgLgM[EnQV{fPL?wLgO{DOQIKoDLNwLgPwEFP{gldLvwLkJ^EvqM[kGMTgLkK]DpQ?_hJKaGLkM|EmAX{gRKpGLkNwDHaK?naLWwLkQVE?@u_mfMEwLoJGFHQQSkPMMgLoLBDiaAgiPKPgLoNBEhQYSgVKpGLoO}DKQIgoKLNwLoQ}EI`ywmKLnwLsIAFDQR[jVM[GLsJ|DfqBoh[K^WLsL|EdQZGf_K}gLsNwDGaJ[nQL\WLsPwEE`zslVL|WLwIxF@aL{kyMcGLwKvDc@}OiyKewLwMqE`aT{g~LEgLwOqDCqEOooLdWLwQlEApu_mtMCGL{JVEvqM{j~MQgL{LUDX@~OiCKTWL{NPEVqUggGKtGL{PKCyqFOnyLRwL{RKDx@v[l~LqgM?IPFQaNwjJM^wM?KNDtA?KhJKbGM?MIErqVcfPLAWM?OIDUQGKnEL`GM?QDERpwWlEM@GMCHyE~AOsk]MQwMCLVDrQCKixKNgMCM{EdqVGfXLFGMCO`CzqI_ngL_WMCQEEK`uOmBLxgMGJYFQAS?kwMKgMGL?Df`~ohTKfgMGMeEXQYCfpL@WMGOFDLqDsn~LXgMGPlD~pxOm]LrGMKJAFDaNGjRMcwMKKeDYQAwhpK`gMKMLEjqTcgMKywMKNnD@qH?oXLRWMKRMERP{cmvLlGMOIiEwqQ[jmM]WMOKMDlP|{iJKZgMOLpE_AWggeKswMOPPDTAKOopLLgMOQxEE@volPMDgMSIQFJALkkFMWWMSJrD_q@KibKTgMSNSEqAZog}KmGMSOwDFqF[nNLeWMSQ[DxpzCljL~WMWJbFRASOkbMKgMWL[DsaC_idKNgMWNYEra[GghKmGMWPWDUAKWo^LLgMWRUES@{sm`LlGM[JNFAQMwjRMdwM[LIDd@~[hTKhwM[NGEaqUofXLGgM[PEDDqF?nNLgGM[Q~EC`v_lPMFgM_IzEwqPWjiM`gM_KtDYQ@{hkKcwM_MrEXQXOflLBGM_OpCzqH_n`LagM_QnDxpy?lbMAGMcIMFMQLkjyM[gMcKHDnp|{i@K^wMcMFEmqTcg@K}GMcODDPADsnuL\gMcP}ENPuOlwL|GMgHyE}AOSkQMOgMgJrD^a?ciSKSgMgLpE]aVwgTKrWMgNnD?qG[oHLQwMgPlD~@womJLqWMkI}FEaMgjRMgGMkL`DtqBOiiKNgMkLpE\AX?gaKwGMkOVDKqDsnlLZWMkQcDxpy_l_L}gMoImEwqQKj`M\WMoKzDgp~GhTKiwMoN_EtAY{glKmGMoNnC~qH[oQLVWMoQSEJpuOllLyWMsI]FIALkjqMXWMsKjDYQAchfK_gMsMuEfQUWfXLIGMsP^DVAJOo`LLgMsPlD}PxsmULugMwHyEzqPCkYMTwMwK\Dk@|{hvK[gMwMfEXQY?fhK~wMwOuDGqEwnNLggMwRXEU@z_mcLlGM{JfFSAQ{kfMKgM{JrD]Q@_i]KWgM{MYEiQTcfxK{WM{OgCzqIWn^L]gM{QpEG@vOlPMGWN?IeEwqQkj\M_gN?LeDoqBcinKNgN?MSElQTcgDKxWN?O~DEqE[nNLiWN?PlEA`x?mGLtwNCIYFKALkkBMVWNCLDDeP}shTKjwNCLpE`qWOgPKugNCOYCzqI{nWLaGNCR`EO`zomkLlGNGHyF@AOckHMSwNGK`DYQBKhaKagNGNeEoQZ?guKmGNGOODOADsn|LXGNGQ{EDPv?lPMHGNKJjFMqRKkoMKgNKKWDm`|{iEKYgNKNAEcQU?fXLJgNKNnDBqGcoFLUwNKQXDxpzSl\M@WNOJEFBQMWjRMhGNOJrDbQ?wiNKVgNOM_EXQY[fdLAwNOP`DPqJWogLLgNOQPEM`uOm?LvgNSIUFHALkjuMZgNSLQDqABwisKNgNSMlEXQXgf`LCgNSNnDAqG?oOLTGNSRFEGpw?lPMCwNWHyF?ANokUMRwNWLNDiA?ChTKegNWMMEiATcf|K|wNWPNDQqJsonLLgNWQfDxpyOlTMAwN[JUFNqRoksMKgN[KoDYQAOh\KdwN[LpE_QVsgXKuWN[PGDJAFwnNLdwN[QHEHpuOltL{WN_JRFFaNkjRMbwN_KRDip|{h{K\gN_NREoaZWgyKmGN_OiCzqH{nPLcWN_PlE@pw_mRLrwNcIqEwqPgjXMagNcJrDaA?OiXKUgNcNMEgqV_fXLDgNcOMDJqDsnnL\GNcRJEPP{SmnLlGNgBz?~?NsB}NNGNgB~@@?OcCMNHWNgC?@@_OoCQNIgNgC@@A?OgCPNJwNgCA@@OOsCONLGNgCB@@oOkCNNMWN{M`ETqF[kSK^gN{MeEQAEskNKXwN{MjESaFokIKZgN{MoEOqFGk]K\WN{MtERQE_kXK\wO?QZDuQNGg\L]GO?Q[DrAMkgULXWO?QaDsqN_gNLXgO?QgDpaNCgeLZGO?QmDrQMSg^L[gOCKcDVQVGmOM[WOCKeDRQUcmMMVwOCKlDTaVOmFMWWOCKnDPaUkm]MYGOCKuDTAUGmVMYgOGO]FR`voiWK}WOGO`FO@vKiTKyGOGOcFQpwKiLKywOGOkFNPvgibKzgOGOnFQ@uoiZK|gOKIbEtP~ooPL{gOKIiEp@}{oGLwgOKIpErA??oCLxgOKIrEo@~KoXLygOKIyEq@}koTLzgOOMDEFqI?kyKVgOOMIECAI{ktKXWOOMNEEaISkoKRgOOMSEHAHkkjKTWOOMXEDQIgkeKVGOSOAFE@ySiyKugOSOIFA`zSivKwgOSOLFDPyoinKrGOSOOFG@xwikKtGOSOWFBPywihKtwOWP~DgAPwg~LUwOWQDDcqQkgwLVGOWQJDfqP{guLQWOWQPDhaP_gnLRwOWQQDeQQSggLTWO[IIEfaAGooLtwO[IPEbQBKokLuwO[IWEdQAWogLpgO[IYEga@wocLqgO[I`EcQAgo_LswO_KGDHAX[mtMSwO_KNDDAY[mmMUgO_KPDGaXwmkMOwO_KWDIqXSmdMQgO_K^DEqYSmbMRGOcNOEKqHWj_KhwOcNTENQGojZKiWOcNYEJaGGjnKkGOcN^EMAHCjiKeWOcNcEIQG[jdKgGOgLRDMqWwlYMdwOgLYDPAWSlWMfgOgL[DLAVoliMhWOgLbDNQWolbMbgOgLiDJQVwl`MdWOkJTEja@gnXMFgOkJ[Emq?snTMGgOkJbEia?SndMHgOkJdElq@Cn`MCWOkJkEha?cn\MDWOoRIDmAPGfcLgGOoRODnqOWf\LhgOoRUDkaN{fsLhwOoR[DmQOoflLdGOoR\DjAOSfjLegOsPLFJ`xoh`LGgOsPTFMPxKh]LHWOsPWFH`wShnLJWOsPZFKPxShkLDwOsPbFGpwohcLFwOwMyD~QJsk?K`wOwM~E@qJKjzKbgOwNCD}AKGjuKcGOwNHE?aJ_jpKdwOwNMEBAK[kDK_GO{I{E]QBwn{L~wO{JBE_QBWnwM?wO{JIE\QC[nnM@wO{JKE^QBgnjMAwO{JREaaCko?L}wP?OvE|P{SiAL@GP?OyF?@z[h~L@wP?O|E{`{[h{LBwP?PDE~PzwhsLCgP?PGF?p{wiIL?WPCK|D?aZWl}M]gPCK~DAqYslvM_WPCLEC}qZsltM_wPCLGDAQZOlmMagPCLNDCaZ{mDM]GPGQsD_QRogEL^wPGQtDaAR?gCL`WPGQzD]qRsf|LawPGR@D_aRWfuLcWPGRFDbaSKgLL^gPKI@EpaB?nvMGWPKLHCyQX?mlMYwPKMRD}aFgj`KPWPKP^FC@ugiVLCGPKQhDkASWfQLUgPOI\E\p~{n^LnWPOL`DFATwmQM`wPOMmEJqKcjGKWWPONzFOPzOi?LIGPOR?DXQPCgrL[GPSIsEiQConDLuGPSJ}DRqYglyMgGPSNEDwQH[knK]GPSOPE|@wChfKpWPSRXDdaMGg[LbWPWJJEWa@_oeL{GPWKYD?AVSl_MMWPWN_EDAECkVKbwPWOhFI@{khKKvGPWPvDqqQog?LggP[JfEc`}SoLMAgP[KrDKq[KlHMSWP[LyEPaIwj|KiwP[PBEv`xsipK|WP[QND^QNgfhLOWP_I^E_@}gnbLnWP_K[D@qUKlfMMWP_MWD~qEWjeKPWP_OXE~@u{hiKpWP_QTD_qM[foLOWPcIcEmaCKnDLvGPcKbDOqZolHMUGPcM^ENaKOjGKWwPcOZFL`{chKKvwPcQVDoaS?fQLWGPgJAEWa?[oaLvwPgL?CyQW?meMUwPgM{DwQG_kiKYGPgOwEv`wsimKxwPgQxDXQOOgpLWwPkJ_Ee`}SoDL~WPkL^DHQTwmHM]WPkNZEFaECkLK`gPkPVFEpugiKL@WPkRRDgaMGgRL_WPoI@EnQA_n~MFWPoJ}DQAXomBMeWPoLyEOQIOkFKhGPoNzFN`ykiJLGGPoPvDpQQ?gMLgWPsIlEkaB{nDLpwPsLWDDQTwmXMaWPsMCE@AEkjjKPWPsPJEv`xWieK{gPsPvDuAPcf}LewPwJQEWa@Oo]LzGPwJ}DUaXKlrMcgPwMhELAJ{jGKSWPwPSFA@ugi^LCwPwQADaQM_fqLOWP{J]Eb`}SoUMBgP{KIDBaUSlhMMWP{NJDwQHGkdK[WP{NzFRpyGhwLFWP{QbDlaRgfQLQGQ?I@Esa@knrMEWQ?KkDMaZSlHMPgQ?NUEBqECk[KdgQ?OBE~pvChqKpWQ?REDXQOkgiLZwQCILE`@}wnfLnWQCLOCyQWcm^MYWQCLyETQHgjwKggQCOeFIp{GhKKrgQCRQDdQMGg]LbgQGJHEWa?KorL|GQGKtDKQZKlHMQGQGMHEAQF?jVKPWQGNzFR@ysiBLEgQGRKDfAMGgTL`wQKJVEd`}SoHM?WQKLFCyQVcmuM[gQKMrEIaJgjGKSwQKOEF@pv_h[KpWQKPvDsaQWgFLdWQOI@EraAonzMCGQOLUDFaTwmJM_GQON@DwQGKkxK^wQOOpFHP{?hKKsWQOQBDbqMwf_LOWQSINEa@~[nQLnWQSJ}DUAYKl{McGQSNPEEQECkQKbWQSP?Ev`wWi{K}GQSQnDiaROfQLRgQWIzEhQBknDLqwQWKKDCAUolVMMWQWLyESAIckAKewQWPKFCpugiSLAGQWQyDXQNwg{L\gQ[JhEgp}SoYL}WQ[J}DSQXglpMggQ[MMD|QFSj[KPWQ[ObFKpzchKKuWQ[QrDXQOggyLYWQ_I@EqaAOniMHWQ_KRC~aVKlXMMWQ_McEMQJSjGKUgQ_OtEv`w{isKygQ_R^DiAMGgdL]wQcIUE[p~knULnWQcKdDNAYolHMRwQcMvDwQGsksKZwQcPaFF`ugiaK~WQcPvDsQPgfvLiGQgIjElaB[nDLrwQgKxCyQW[mnMWgQgNdEGqECk`K`GQgNzFP@yOhtLIwQgQHD^ANOfaLOWQkJ?EWa@?onLwwQkLgDJATwmZM\wQkLyEQqH{jrKjWQkOME{Pv{h^KpWQkQ\DnAQwfQLTGQoIGElP~WodMBGQoK]C{aZcmLMhGQoMpEFQGcjtKRGQoPHFRPuChaKwWQoR`DaaQCfJL]WQsJPEs@|snWLvWQsLeDBAX{lAM[wQsL~EMaFKkhKdWQsOTEyP{OiRLJgQsQjDhAOcf~LPwQwIaEYaC?oIMHGQwKsDHaWOluMOGQwNLESqD[j\KXgQwP`E~`yghHK~GQwP|DmaN?gmLcGQ{JjE_aASn@L|gQ{KDDOAUsmfMaGQ{M[DyqJokOKjwQ{OmFEPx?hxKqGQ{RDDtaLWfdLVwR?IvEeq?wnqLoWR?LPDTQTSl\MTgR?NeE@aIKjBK]wR?N}FK@vWijLDGR?QRD[QR_gSLiWRCJNEnp|snhLsGRCKDDMQUOmoM`gRCM\EGaGwjyKRGRCPRE}@yKhHKxgRCQKD[QSOgQLfGRGISEYaC_oEMEGRGLIDQaTSlgMRWRGL~ELQEckrKcwRGO\FF@x[i@KqGRGRND^aPkfJLWWRKJZE]aACn@LwWRKKTC{a[GmEMdGRKNGEPAD[jkKUGRKN}FJPusiuLBGRKQWDhQO{g@LPwROIdEfq@GnuLoWROLZD?qX_lAMVGROMQDyqKWkJKfwROPEFM`uChoKtgROP|DlAMOgvLagRSIGEkP}colMAGRSKaDIAWklwMOGRSNVD~AHwjBKYWRSONEyP{siOLEwRSQ~DpALWftLSwRWIJEYaBooZMGGRWLcDCqXWlAMWwRWMaEBaHKj~KRGRWN}FI`vsigLAWRWQ}DsALWffLRGR[JcE`a@sn@LxWR[KhDDaWsl~MOGR[L~EKAF_kcKbGR[O}FPPuChdKqwR[Q?D[QR[gcLgwR_IkEbq@WnyLoWR_KDDKaU{m_M^wR_NBERaD[jaKRwR_OCEyPzsi`LHgR_RZDcAPSfJLXwRcIGEjP~go[M@GRcLBDSqTSl^MPGRcMGDyqJ[k^KiGRcP]F@`yChHKyWRcQ]DcaP?gGLPwRgJGEpp|sn[LqGRgKFC{aZGm\MfWRgN`EAqHcjBK[GRgO_FApxciCKqGRgP|DkqNWgkL`GRkJXE^aBGn@LyWRkL@DVATSlUMTGRkMfECqF{kCKRGRkOQEyP{Wi]LEGRkP|DjQMggtL_wRoImEcq?Wn}LoWRoKVC{aZkmUMbWRoL~EIqEwkmK`WRoPOE}pzKhHK{WRoQwDtqLWf]LUWRsIGEh@~GohM?GRsLSD@QY_lAMXWRsM}EUAD[jWKVwRsOgFB`w[iFKqGRsQLD[QRwgaLdgRwJ@Et@|snSLtGRwKjDFQVkm@MOGRwMVDyqKCkYKfWRwN}FG`vOirL@gRwRHD`AQsfJLZWR{IZEYaCOoQMDGR{KDDKAUWmhM^WR{NQE?QIsjBK[gR{OzFS@uChYKvgR{QcDeANsgILPwS?ItEdq?gnmLoWS?KqDFqWGlnMOGS?MkEEAGOjoKRGS?OjFD`wwhuKqGS?QiDfaOKfwLPwSCIGEmP~wopL|wSCKDDOaVWmvM\gSCL~ENqFskwK_wSCN}FM@wOixK~gSCP|DoAN[g}L^WSGI~Eop|sn_LrGSGKyDRATSleMQwSGMxEQQD[jfKTgSGOrFO`uChlKswSGQqDqaLWfmLRWSKIQEYaB_oMMFGSKKMC{aYkmSMewSKMLDyqJGkTKhgSKOFEyPzkiULGwSKQED[QRCgZLfWSOJaE\aAwn@LzWSOL\C~AYClAMZGSON[D|qI_jBK]WSOPUE{@zChHK|GSORTD]AQ[fJL[wSSHwEeACSneLxwSSLXC{AV?mCMQWSSMzEKQI[k\KNGSSOaE}`uKizLFgSSQCDrqOwfZL_GSWIgE^@}CosMDwSWKODSAW_lQM^GSWLoEFAKKjlKZGSWPQEwPvkiGKsGSWQvDlqQ_gbLLWS[J\EX`~coALrWS[LADMAYOmYMKGS[MdE?qDokvKgWS[OGFP`x_hVL?gS[PjDeqSCfrLYgS_IOEqQ@SnLL~gS_JtDGAZglkMXGS_NWDxaFWkEKTGS_OxFJpz?i_KmgS_Q^D`QLoh?LeGScJDEkAAkoVLlWScKgDAAT[mrMdgScMKERAG{jQKaWScNoFD@{_hmKzWScRPDYqNKgJLSWSgIeEaP}CofMIGSgJtDEQZCl[MVWSgN?ELaIokHKNGSgORFMpxChVLAgSgR]DYqMWgHLUGSkJlEX`}snxLtWSkK`DCQT[miMgWSkLoEDqJcj]KYgSkP@FK`zGiNKmgSkQODoqO_fZL`gSoIXEoQ?onLM?gSoLhC{AU?l|MSgSoM_EBQDoklKkWSoNoFCPz{h_KxWSoQ|DnQQcgPLLWSsJFElAA{oFLlWSsKXDPqWWlQM^gSsNfDxaE[k@KVWSsOYF@PuKioLJGSsPjDeaRSfbLXGSwHwEdABsnYLvgSwLCDNqYWmGMKGSwMUEOaGgjQKawSwP_EwPv?iDKuwSwQXDbALogqLigS{J^EX`~SntLqWS{KHDTqV{lQM`WS{NDEMqH_kMKNGS{NoFAP{{hjK}wS{QkD^qLoghLfgT?IMErQ?_nLM@gT?LJDOQXOmNMKGT?LoECaK_jgK^GT?OoE|puKidLGWT?RVDYqMsgALQwTCJMEmA@{oJLlWTCJtDDq[CldMZwTCMsD~aDokbKgwTCPYEwPvch|KrWTCP}DtQOGfZLbGTGHwEaqCcnaL{wTGKwD?QT[m`MeGTGN\DxaFCj{KSgTGODFQPwghVLBWTGRBDnaPWgWLLWTKIwE]@}Co^MEwTKL_C{AUwlzMOgTKMFESQGSjQKcgTKPCFLPy?iQKmgTKPjDdASGfkL\wTOIVEpQ?OnLMBwTOKpDAaT[mpMbwTONIEHqHskRKNGTOPNEwPwGhyKuGTOPjDhqRkf`L[WTSJOEiAAKoNLlWTSLQC{AV[lsMSGTSLoEHaJwjXK]gTSOJFOpw_hVLDWTSQeDaqLogxLdwTWHwEgACCnPLzwTWKQDRaVslQMbGTWMnEAADokqKegTWPFFH@y[iYKmgTWRJDYqNcfzLSgT[IuE`P}CojMCwT[LLDJqXkmPMKGT[NRDxaFkjvKUwT[NoFFp{Ch\K{wT[QIDqQNofZLcgT_JUEX`~snpLsWT_JtDIQZ_lTMZWT_MPEPqG?jQKdGT_OlF?`uKiwLDgT_RCDiqPogYLLWTcI}EjAA[oRLlWTcKzDLaXsmWMKGTcMuEJAIGkWKNGTcOuFHpyci\KmgTcQpDkQQGg`LLWTgHwEfABOn]LywTgJtDHqY{l]MXgTgLoEGQJOjbK[wTgNoFDpz_hgK{GTgPjDgQQ{fiLYwTkInE\@}CobMFwTkKiC~qT[mgMfwTkMiD}QDokgKigTkOdEzpuKilLIWTkQdD]QLogoLhGToJeEX`~CnlLuWToLaC{AU[llMUWToNaDxaEojqKXGToP\EwPvGhvKwwToRWDYqMofxLVgTsI_EsQ@cnLL}gTsKZDVaW{lQM\WTsMZETaHOjQK_gTsOUFSPxghVK~wTsQUDuqPOfZL]gTwH~E`q?koSLsgTwKmC}QXclcM_gTwNXETAJWkpKOwTwOKFLptgiEKzwTwQ{DiQMcfSLfwT{J`EsqBcomLmWT{KSDPQSwm?MXwT{NAEHQE{jLKhWT{NrF@@wki[KtWT{Q`D\qPsfnLaGU?JEEgP~?nHMEgU?J{DBqWCmTMRgU?MgD{AICjhKagU?PXFS`zoitKnWU?QGDoQL?gDLZgUCIoEZaA?ncM@WUCL]DUqZ?mqMLwUCMOENADGkBK\GUCO~FFPvShSLHGUCPpDbQOCg_LTgUGITEn@|cn|LyGUGLDDIaU_lJMegUGLtEAaGWkZKUWUGOfEz@yWhhLAwUGRSDuaRKgzLMwUKJgEnaCGoqLmWUKLdDQQZ[msMLwUKN]EOAJkkuKOwUKP[FN@{Ki|KnWUKRYDpqRcg|LMwUOJSEeP}onHMGwUOLMDGQUClJMfGUONKEEqEgjLKjGUOPIFC`uwhSLHwUORGDfQMKfSLhWUSIfEZaAsnZMBWUSK_C}QYGlaMawUSM]D{AIkjcKeGUSO[Ez@y{heLCWUSQYD\qQOfgLbwUWIREip|cnoLwGUWKLDLQSwlqMVgUWMJEJQDGjxKYwUWOHFIPtghzKxGUWQFDjqL?f{LWgU[H~E_q@[oBLrgU[J{DBQXCmIMPwU[LtE@QHSkKKTwU[NrF?PxkiMKsgU[PpD`qPKgOLSGU_JCEbA?CnHMHwU_KJDNaSwmAMZgU_NbEPQK?kaKOwU_OiEz@x{hbL?wU_PpD`aO[gXLQgUcIqEZa@onVL~GUcJ{D@aWKmRMPWUcM|ECQFwjLKjgUcO@FL@tgiHK|wUcR_DqAR{gjLMwUgIKEkp|co@L{WUgLfDQqZwmaMLwUgMlD{AHoj^KaGUgNrE}PxGiXKrwUgQuDcQNkfSLiwUkH~E^q?{oOLpWUkK}DEAV_lJMgwUkMEELqDGkGK\gUkPcFNp{gifKnWUkQfD\qP[feL_gUoJiEoaCWo\LmWUoKoC}QXGlZM]wUoLtE?AGkkUKSGUoO{FB@w?hSLIgUoQ@DmqL?gKL\GUsIhEZaAcnRMAWUsLKDGqVClJMcWUsNNEQaKSkfKOwUsNrE|`wcicKwGUsQSDjaL?gBLYGUwI]Ehp|cnsLxGUwKfC}QY?lSM`GUwNFEGAFcjLKfGUwPMFPp{oiiKnWUwPpD_AO?gfLVWU{H~E]q?GoWLugU{K\DJaSwlxMWGU{MbD{AIWjYKcWU{PAFE`vwhSLEWU{RLDraSSglLMwV?JWEqqCgo`LmWV?J{D@AVgm[MTwV?MYEIADGj}KZWV?O^Ez@y_hZLBgV?RADgqNSfSLcwVCJLEfP~_nHMCgVCLTDSa[?mcMLwVCLtD}qGCk_KWgVCOVFGPtgh}KzGVCQ_D\qQKf^LaWVGI[Ejp|cnkL|WVGJ{C~QWgmKMTWVGNSERqJCkkKOwVGOsFBpv[hSLFGVGQlD\qQgfpL^GVKH~E[a@KoKLtgVKLVDUQYwmjMLwVKMwEDaFOjLKfgVKOqEz@zWhpL?GVKQMDlQL?fyL\WVOJYErqBSoiLmWVOK{DEaUglJMcwVOMqD{AJ?jmK_WVOOSFJ@tghrK}gVOPpD]aOsgVLTwVSI|Ec@~OnHMDgVSKvC}QYcljM\GVSMTEKaDGjsK^WVSNrE{pxOiPKvWVSRMDtARGgsLMwVWIxEZaBCngL}GVWKUDLqSwloM[GVWLtD|aH?kPKWGVWPPFQ`zgiqKnWVWQoDdqM{fSLeWV[Dw@]OVgDzNNGV[D{@_OWWEJNHgV[D|@_oWcENNIwV[D}@`OW[EMNKGV[D~@__WgELNLWV[E?@`?W_EKNMgVoOvEaQR{lwKdgVoO{E]aRSlrK_GVoP@E`ASOlmKaGVoPEE\QRgmAKawVoPJE^qR?l|KcwVsK|F@QK?g@MBgVsK}E}AJcf}L}wVsLCE~qKWfuL~GVsLIE{aJ{gKM?gVsLOE}QJKgHMAGVwQsDCQCWjyLCwVwQuD?qBsjwL?WVwQ|DBaC_jpL?wVwQ~C}qB{kGLAgVwRED@aBWk@LBGV{MyDb@{gnuMaWV{M|D^`z{nrM]GV{N?DaP{snjM]wV{NGD]p{Go@M^gV{NJD``z[nxM`gW?I{EBQZwi@LbgW?JCD~AZChwL^gW?JFE@A[GhsL_gW?JND}AZSiHL`gW?JQE?AYsiDLagWCPLElQOOlkKjGWCPQEhaPKlfKjwWCPVEkAOclaKeWWCP[EmaN{l\KgWWCP`EiqOwlWKhGWGNODm`wsneMfGWGNWDj@xknbMhGWGNZDlpx?nZMbgWGN]Do`wSnWMdgWGNeDjpx_nTMeWWKLRFKAG_frMGwWKLXFGqHSfoMHGWKL^FJqGcfgMCWWKLdFLaGGfdMDwWKLeFIQG{f\MFWWOJTEMaW?hmLhWWOJ\EIQXChiLiWWOJ_EKQWOheLdGWOJgENaVohaLeGWOJjEJQW_h]LgWWSRIDOA?[jlLHwWSRPDJQ@[jeLJgWSRRDMA?wjcLDwWSRYDOq?Sj\LFgWSR`DLQ@SjZLGGWWOAEdqQomgKUWWWOFEgQQGmbKWWWWOKEcaP_mvKXGWWOPEfAQ[mqKRgWWOUEbQPsmlKTgW[P~DFqB?kgKtWW[QEDIaA[keKvGW[QGDFA@wkwKwwW[QNDHqAwkpKrGW[QUDDAA?knKswW_IIEEAYgilLTgW_IQEHQXsihLUgW_ITEDAXSixLVgW_I\EGQYCitLQWW_I_ECAXcipLRWWcKGFDaIwgoLsgWcKMFFQIGggLuGWcKSFCAHkg}LuWWcKYFDqI_gzLpgWcKZFAaICgrLrGWgMDDf`zOobMRgWgMLDiPyco_MSWWgMODd`xwopMUWWgMRDgPzComMOwWgMZDcpyWoeMQwWkO]EpQM{mUKZwWkObErqMSmPK[gWkOgEoANOmKK]gWkOlEqaMgmFK^WWkOqEtANcmZKXwWoIbEPqUgi]LYWWoIjERqUGiYLZWWoImEOqVKiPL[WWoIuEQqUWiLL\WWoIxEUAV[iaLXWWsM`DqPv[oQMWgWsMcDt@uooNMXWWsMfDp`v{oKMZWWsMnDsPvOoCM[GWsMqDtpwGoYMVwWwQZDR`~OkYKygWwQ\DUP}kkRK{WWwQcDP`~kkPK{wWwQeDSP~GkIK}gWwQlDV@~sk`KyGW{KcFOqFOgaLwwW{KdFQaE_gYLyWW{KjFNQFSgVLzwW{KpFPAEwgNL|WW{KvFSAFkgdLwgX?H{ETQXkiCLgGX?KkFMQJ[fVLsWX?NYDhptkoUM^wX?OJE`aM_lbKOGX?Q}C}A?ckqK{gXCIVEAqUShkLNGXCLBEzaG[gxLzGXCLuDu@y[nyMdwXCOeEmqR[lIKUwXCRUDIP|[k[LAWXGIlENQZGhQLSgXGL[FFqDKg]M@GXGMPDc@vCn`MLGXGO}EZQOSmpK[WXGPrDUaAKj~LGgXKJGD{QVwiwLZwXKJyFRqHsgGMFgXKMhDnpzsnJMSGXKPWEgAK{mXKbGXKQIDCp}wjiKoGXOJbEHaT?i^L`GXOKQF@aEkflLmGXONBD\PwoojMYWXONqEsaPol~KhwXOQbDPABojMKuGXSIYD|aUwhoLNGXSKWE{qFCftLmGXSMSD]`vcnhMLGXSOOE[aMslgKOGXSQPC~P~SjkKoGXWIwELQYwhQLUwXWKwFJQJCfVLtwXWMsDl@zgnJMSwXWOoEkQRGlIKVgXWQkDMQBSjMKugX[I|D{QWkinL\wX[K{EzaGwguL{wX[MwD\Px[ogMZwX[OsEZQO{mkK^GX[QoC}A@GkoK}wX_JZEDQT?iQL^GX_LZFBQDKgWL}GX_NVDePtkoJM\GX_PREcQK{mNK_WX_RNDEp|[kML?GXcH{ESQY[hrLfGXcJyFQQI{fyMEGXcLuDtPzSnkMdGXcNqErQQkloKfwXcPrDTqBKjsLEwXgIiEIA[KhQLVwXgJyFQAIKg?MCgXgNED\PwcodMWWXgOTE\qNGlSKOGXgRLDH`|[k]LCGXkJJD{QVgijLXgXkK]E|AF[f^LmGXkNNDh@tkoXM`wXkO`EhqSWlIKXgXkPrDTAASj|LEWXoJWEFQT?ibLbWXoKeFGQKcfVLvWXoLuDrPygnvMcWXoPBEZQO?mfKZgXoQRD?@~ojYKoGXsH{ERQX{i?LcwXsLHEzaGCgmLxgXsM[D^PvonRMLGXsPMEeqK{m]KbwXsQ[DJaCojMKwWXwIaD}aVGhZLNGXwLTFEQDKgeMAgXwMeDj`{knJMTgXwNqEqAQClyKfGXwR?C}A?GkhKywX{JDD{QW[ifL[wX{LgFBADKgZL~gX{LuDq`x{oAMggX{O@E^AN[lXKOGX{QiDNACSjMKrwY?JhECQT?iUL_GY?JyFOaHogJMHWY?MED`PwOnUMLGY?OjElaSClIKSGY?QvC}A@?kaK|GYCH{EQQXGiGLiGYCKJE}aFsfaLmGYCMkDn@{_nJMPWYCOxEZQOgmaK]WYCR^DE@|[kTL?gYGIKE?qVWh^LNGYGKqFKqKKfVLpWYGMzD\Pw{o\MZGYGPaEbAK{mSKaWYGPrDRA@okELIwYKItEMQZghQLQgYKLAEzaGsgjLzWYKNdDcPtkoMM^GYKNqEoqP[mCKjWYKQ@DA@~wj[KoGYOJeEEQT?iMLcWYOLNEzaHOg{LwGYOM]DkP{SnJMQGYOOEE_QMKl]KOGYOPrDQQAojuLIWYSH{EOAYKh{LhGYSLaFCqDKgOMAwYSNMD\PxgorMVgYSO[EjARolIKSwYSQBDAp}ojbKoGYWINE@qUChgLNGYWJyFNAIcf|MFwYWNaDf@tkoBMagYWPGEZQPOmuKYwYWQYDLaBwjMKsWY[IfEJAZWhQLRgY[KKF?AEgfiLmGY[LuDppysnnMfwY[P\EdaK{mIKdwY[RFC}A@ckxKxGY_JRD{QW{i{LWgY_K_FHqJsfVLqwY_MHDa@uwn]MLGY_NqEnaQWltKigY_RWDF`|[kKLCgYcHxELAVCiyL_wYcLWE}qIgfYLxGYcM}Dr`uWnfMQgYcO^EdQOkm@KNWYcQDCzQCOk_LFWYgJ@EQaT_hqLRwYgKfFDQHGgILkgYgMIDY`{WoWMcgYgNlEkaNSmtK`WYgRQD@QAgjTKzGYkIPDyQZkicLewYkJsFIqFcg~M?GYkNUD`@ywnMMWGYkOzEqqLclhKTWYkQ_DGa@OkCKmWYoJ]E?QYShULYGYoL@FPqD{fqLqgYoMbDfpxWn}MKWYoOIEWqRwm[KggYoPkDM`~_kyL@gYsIhEEaWciFLMGYsKNEwaKCgfMEWYsLrDl`vwooM^WYsPSE^aQSlNKZWYsQwDS`}?jjKtGYwI}ETqT_hdLWGYwK[EwaJOg^MGGYwN`D]PyknMMYGYwOcEeaP?llKNWYwPkDK`}{kiK~wY{I^DyQY{iZLgwY{LcEzqIOfYLygY{MjDg`xcnlMKWY{NlEjQMkmeK_gY{QpDVP}?jaKvwZ?JcD}QXohULZGZ?KlFEqHKfxLkgZ?LrDkpvKoaM\WZ?OuEtQLcl^KWwZ?QTCzQBOkXLHgZCIpEFaWshvLMGZCJsFIaEsgpL}gZCMuDuPuWn[MUGZCOXEWqQ{mVKiGZCRZC~qA_jTKzgZGHxEKAUcimL]gZGKzFRaD{ffLvGZGMWDY`z_oTMfWZGP]E\AQ?lNK\WZGQaDHQ@WjqKmWZKISDyQZ[iVLdwZKLMFOQD{f`LsGZKLrDipwColMawZKOhEfqNolqKNWZKRJDBQACjTK|WZOJUE@QX_hUL[GZOKTEwaJkg[MCwZONKDqpuWnPMRWZONlEiANgmoKeGZOQhDIA?OjxKmWZSIsEGaVshzLMGZSLQF?QHwfYL{GZSMQDY`{KoLMbwZSPIEpaLclTKUGZSPkDJp~{krLCWZWHxEHqVSiuLbwZWKrFFAG?f{LkgZWNRD`pyKnMMYwZWONEWqRcmQKegZWRGDRp}?jXKtgZ[JSEPaT_h\LSwZ[JsFHAFggvMBWZ[MmDhPw_noMKWZ[PNE_qPklNK]GZ[QKCzQCGkVLDgZ_J`D~QXOhUL]WZ_JsFLqFKghM@wZ_MFDY`{woIMegZ_OmEaqOClvKNWZ_R@DTP}?jhKrWZcIvECaWCh~LMGZcLGFRQD{fnLqWZcNXD_Py?nMM[wZcNlEnAN?m`KcGZcP}CzQCkkOLHGZgHxENAUsidLawZgKHEwaK[gSMEgZgMpDd@wknwMKWZgPDEsALclcKSgZgRSD?a@{jTK~GZkJKESqT_hhLQwZkL]E|QH_fYL|gZkLrDoPvWo^M_wZkODEWqSKmLKhWZkQjDDq?kjzKmWZoIMDyQZ{iRLfwZoKsFAQGWgCLkgZoNHDt`uWncMOgZoPXE]QPWlNK]wZoPkDPP~WkbLBwZsIeEDaWSiBLMGZsK`FBqGogFLkgZsM_DdpxKnzMKWZsOYEcAOWl{KNWZsQXDEa?skAKmWZwHxEMAU?iqL`wZwJsFKQE[gsM?WZwLrDmPv?oiM_GZwNlElqMWmjKbWZwPkDNP}skkLAGZ{JHEOaT_h`LTwZ{LFFMqD{fcLtgZ{N@DopuWnXMTWZ{P?EoQLclYKWGZ{QyDPp}?j_KvW[?I[DyQZKiNLhw[?KUEwaJggPMHg[?MTDY`{?oFMhW[?OSEWqROmGKkG[?QMCzQBkkHLJW[CJkEAQYchULXG[CLiF@qJ?fYLvg[CNcDbpzWnMMVW[CPbEaAQglNKYg[CR\DCABCjTKxW[GIFEFqZ_hbL\g[GK^FRAGkfKMBw[GMrDaptwocMgw[GPFEkqP{mJKQw[GR_C|P~[jvKwg[KIzEAATOikLiw[KLLFLAISgTLpG[KNbD[`v_npMUg[KN{EfaRklZK^w[KQQDUA?{jDLDW[OJiDzQUohyLVG[OKEFEAJwfeL|G[OMXDs`xGn?MbG[OOpE`QLOmdKjg[ORCDNaAWkQKqW[SI`ESAWKhILcg[SKtF?aDcgnMHw[SNIDmpyooHMNw[SPcEYAMwlsKXW[SP{DHACCj^K}G[WJOELqXwiSLPG[WLfEyAF?fzLuw[WM@Dg@{CnVM[g[WOWEraO[l?KdG[WQnDA`|wkjLIg[[IrD|qTOi|Lfg[[L_EyAFofwLrg[[MJDr@wgn?M\g[[OrEmAQOmOKQw[[P{DGQB_jgK|g[_J^DzQVOhuLSG[_KLFOAGSfKL|w[_MxDn`y{oPMNw[_N{EeQRCldK\w[_QgC~@|wkuLGW[cIREQAV{hIL^W[cKyFLQIkg\LpG[cM@DfPzknaMYg[cOkE\aLOmsKgw[cRVC|Q??joKsg[gI~EMqYGiWLPG[gKEFCaJGfkLzg[gMoD]@twoqMeG[gPYEYAN_lnKTw[gQFDRQ?_jDK~g[kIFEEqYkhjL[g[kKnE{ADcg|MEw[kN\D[`wKnmMPw[kOHEpAOGl?K_w[kQqDOQAskSKqW[oJXDzQU_iJLUG[oKmE~ADcgqMDG[oM@De`{cnSMXw[oOwEhAQcmTKQw[oQODUq?WjDL@W[sIXETAVkhIL_W[sLSEyAE{gMLtW[sMgD_ptwofMbW[sN{EdAS?lUK\G[sQxDKAA{kZKqW[wJAEIqYWi[LPG[wKXFSaF{fKL~W[wNQD[`vSn~MSg[wOfE_ALOmiKfW[wP{DEQCKjWKzw[{IFEDqZohYLZg[{L?FGaIog_LpG[{MUDu`w[n?M]W[{POEYAMcmBKVW[{Q`D@p|wklLEG\?IoD~qTOioLdg\?KEFCQKOf]LyG\?M{DjPzGoSMNw\?OREsqNsl?K`g\?RHC|P~?kFKuw\CIJERAX?hIL`W\CKEFAqJ_fhLxw\CN_D[`vkn{MPG\CO|EiQPSmYKQw\CQ^DC`|wkcLIG\GJIEJqXWi_LPG\GKgF?qDcgkMGW\GMGDrpxsn?M_W\GN{EbqRWl_KZG\GRXC|P~ck?Kqw\KIFEBaZOhfLYg\KL`EyAFWgELqG\KNCDk@yCoVMNw\KOaEaaLOm_Kiw\KQ?DSA@_jDL@w\OIgEBATOigLgg\OKFFPaH[fKM?w\OM@Dc`zwn^MXG\OP^EYANKl}KRw\OQzDKq@sk\KqW\SJfDzQV?iALRG\SLEFIAHcgbLpG\SMdDb`two[MgG\SOCEqQPCl?Kbg\SP{DDaBgj`KzW\WJLEKqXgiOLPG\WLKFJaH{gQLpG\WNFDm@yOoEMNw\WPAEjaPgmEKQw\WRADMqAOkJKqW\[IFEGq[?hnLWW\[KEFFaKSfsLwW\[M@Di@{ondMVG\[N{EgqSSliKYW\[P{DJACgjnKxg\_IdD}qTOisLeg\_KaE|aDcgyMDW\_M\D_@twonMdW\_O\E]qLOmnKgG\_QWD@@|wksLFw\cJ[DzQUOh}LTG\cLYEyAEcgBLrw\cNTD[`usnsMRw\cPTEYAMOlxKUg\cROC|P}cj}KuW\gIUEPAWohILaW\gKRFMaHCfKMAW\gMMDp@xSn?M`G\gOMEnqOol?KcW\gQHDQa@CjDLBg\kICD~aWwiXLUW\kLJFBaFwfNMGg\kMVDk`ucntMZg\kPZEoaSGmhKQG\kQfCyaBGjdLBW\oJdEPQ[CirLOG\oKoEvAIsfjM@g\oL}D^pxooOMTG\oPCEcqNklDKiW\oQLDL@}[j{K|w\sJMECqV_hMLhg\sKVFHaESgAL{W\sN^Dq@{{ohMNG\sOiEVaQsl`Kcg\sPtD?Q@gkUKvg\wIqDxQY_hcLbG\wK?E|qHWgXLtG\wNDDe@w?nBMfg\wOQEiaLwlzK\g\wR[DQqCckmKog\{IZEJaToh|L\G\{LbFNqK_gtLng\{MlDXpzKn\M`W\{NvE]APGmRKVw\{RBDFQ?CjKLHW]?JlERaYoivLOG]?LhFPQJSgwLng]?NfDs@zcokMNG]?P_EpqQwmmKQG]?R]DSqB[ktKog]CJ?EHAU{hMLig]CKxFGAF_fNMIG]CMvDh`vsnBMgW]COtEgaNWlDKkW]CQrDIp~gjKLJG]GIkDxQX[h_L]w]GKhEvAI?fbL}W]GMaDXpySnYM\w]GO_EVaPwl[K`G]GQ]CyaAGj]K~W]KIWELaTohtLXw]KKPFKaESfvLxW]KMNDnPucniMWw]KOLElALwlpK[G]KQJDNp}[jrKyW]OICD|QWWi`LTW]OK?E{QGggcLsw]OL}D^@xCoZMRG]ONvE[qO_m\KVG]OPtC~a?ok^Ktw]SJEEFAUkhMLdW]SK?F@AGKgULrW]SMtDXpz?nQM_g]SPKErARKmrKQG]SQCDKP}[kBK}W]WIyDxQYOh[LaG]WLUFQqJWh?Lng]WMKDi`ucn|M[W]WO~EeANClDKew]WPtDBq?KkNKsG][IOEIaToiEL]G][LDFDAFGfNMCG][L}DbPwWoGMQW][OnEVaQ_lVKag][RKDTaBckvKog]_ICEAaVciTLSW]_KuEvAI[f_M@W]_NPDspzoosMNG]_OGEhQLwm?K^g]_Q{DG@~KjKLEg]cJVESaZ?izLOG]cKOFHQESgDL{g]cNADepvgnBMcG]cNvE`qNwmMKTG]cQmCyaAkjVLAw]gInDxQXKhpLcG]gKIFJAESf~Lyw]gL}Da`xOoRMPg]gPPEsQR_m^KQG]gRDDDP~CjKLFG]kILEKaTohxLYw]kK?E~aH?g`Lpw]kNSDup{Oo]MNG]kPHEbaMolDKfg]kQdCya@kjmLDG]oICE@aWgi\LQG]oLVFSQJogiLng]oNLDdPvGnBMcw]oOdEVaPcljKdW]oQADLp}[jtK{G]sJYETaZcieLOG]sLPFAAEofNMDg]sMiDXpyGngMaG]sOBEjqLwluK[w]sPtDBA@KkWKrg]wJPEBqU[hMLeW]wKiEvAHgfpMBG]wMCDlPucnqMXg]wNvE_aOsmWKSW]wRMDVaC?kdKog]{I]ENqToiILWw]{KbEvAIWfmL~w]{M~Dgpu{nBMew]{PUEnQRsmcKQG]{PtDAQ?gkLKwG^?ICE?aWGiKLVW^?K\FMAESgLLvw^?M^DXpy_n_M]g^?OyEfQM[lDKhg^?RTDQAC[kfKog^CJaEOQZsiiLOG^CK?E~QGOgRLug^CMYDo@uco?MUw^COZEVaQKleK`w^CQtDGp}gjKLGw^GJBEGAUKhMLfW^GL\FNaKGglLng^GL}D_`wwoDMTw^GOVEmQLwmDKYG^GQVCyaAcjfL@G^KIcDxQY?hlL^w^KK~FEaEWfNMFG^KN[DpP{[o`MNG^KNvE^QOKmHKWg^KQSDO`}[kDKxw^OFt@|_^[FwNNG^OFx@~__KGGNHG^OFyA??_WGKNIW^OFzA?__OGJNJg^OF{@~o_[GINKw^OF|A?O_SGHNMG^cRIFLqWkn^KkW^cRNFIAWCnYKeW^cRSFKaX?nTKfw^cRXFGqWWnhKhW^cR]FJQVoncKiw^gPLENA@GfhMgW^gPREJq?kfbMbg^gPXELa@_f\MdG^gP^EIQ?oftMeg^gP_ELQ?SfnMgG^kNODPQO{hfMIG^kNVDKqOCh_MCW^kNXDNqPCh]MEG^kN_DJQO_hoMEg^kNfDMQN{hhMGW^oLREn@x[j`Lig^oLZEiPwkj]LdG^oL]El@xsjZLfG^oL`Eh`xCjkLfw^oLhEkPwSjhLgg^sJTDoQGwl_LJG^sJZDkAGWl[LDw^sJ`DnQH[lWLEw^sJfDjAGglgLHG^sJlDlAGGlcLIG^wQZFRAU[oWK]W^wQ_FNQVWoRK^w^wQdFPqUooMKXw^wQiFSQUGoHKZW^wQnFOaVCoCK[w^{KcEr`vGk_L[w^{KfEo@wOkWL\g^{KiEqpv_kTLXW^{KqEsPuokQLYG^{KtEopvwkILYw_?O]ES@~CgfMZG_?O^EOp~wg`M[g_?OdEQ`~[gZMVw_?OjET`}kgTMWG_?OpEQP~_gNMXg_CIbDsaEom[K|G_CIhDpaFsmWK}G_CInDraF?mSKyG_CItDuqE_mJKzG_CIzDqaFcmFK{G_GM`DUAMoicLzW_GMbDPaN[i\L|G_GMiDSaMwiULwg_GMkDVaMSiSLxG_GMrDRANSiLLyw_KQsE~A[CnoKbG_KQxF@aZ[njKcg_KQ}E|qYsn~KeG_KRBF?QZonyK_G_KRGE{aZGntK`g_OMyD@qSGhzM@G_OM{DCqRchsM@g_ONBD?QR?iJMBW_ONDDBQS?iCL}w_ONKC}qR[h|L~W_SI{D_qK_lqLAW_SJADcAJklmLBW_SJGD^qJKmBLCW_SJMD`qKOl~L?W_SJSD]qJ[lzL@W_WOvD~qCcf{M^w_WOwEAqCGfuM`W_WO}D~aBWgMMaw_WPCE@QCKgGM]G_WPID}ABogAM]W_[K|E_@{{jxL`G_[L?E``{KjpLbG_[LBE]@z[kFLbw_[LJE_p{cj~L^g_[LME\Pzsj{L_W__P~FBqX{onKTG__QCFEQXSoiKUg__QHFAaYOodKWG__QMFDAXgo_KXg__QRFFaYcosKRg_cIIDdqIKmnKsG_cIODhAHkmjKuW_cIUDcqI[mfKvW_cI[DeqH{mbKwW_cIaDiAJ?mrKrG_gKGEc@ygksLSW_gKOEepxwkkLTG_gKREbPz?khLTw_gKUEe@yOkeLVw_gK]EgpzWkvLQW_kMDDEaQCisLrW_kMKDHaP_iqLrw_kMMDDAQ_ijLtg_kMTDGAPgihLvW_kM[DJAQgizLpg_oOAEDaASgyMQW_oOGEFQ@wgsMRw_oOMECAAkgmMTW_oOSEFAAOggMTg_oOTEGqBCh?MOw_sHvDsAIcmALFw_sLYEd`uSk^L_g_sM|CzaOoi{LxW_sO_EKqCWf[MQG_sQBE}QU{ndKMw_wIND`aF_liKmw_wJuEppyskGLeg_wNTDFaLgi`L~G_wO{DyA@Cg{MWw_wQ]FJaZwnKKSw_{IkDmAK?lOKsW_{KKE^pvsjnLLw_{LqDSqQWiHMDW_{PTEEP}GgcM]w_{QuEwAWoorK[G`?JCDZAHCmuKyW`?KhEj`{gjSLRg`?MHD@aNWhnLkw`?NmERaAogKMdW`?ROFCqTWoZKaG`CJ[DfADwm\L?w`CK}EX@xSkxLXw`CMaDMqR{hWLqw`COEE?@~gfsMJw`CPiFPQYKo@KgG`GITDaaFolTKmw`GKSE_`wKjXLLw`GMODBAN_h\Lkw`GOKE@a??f`MJw`GQGE~aVOnPKMw`KIrDiqJolOKtW`KKnEi@{OjSLTg`KMoDJqR_hWLsg`KOkEHqC?f[MRg`KQgFHAZcnKKUW`OJPDZAG?mqK|g`OLPEX@w_kpL[g`ONLCzaNoitLzg`OPHDyA?OgzMYg`ORDEwAVsomK\w`SJUDiQDwmOLDG`SLQEgPuSkSLcG`SNRDIaLgiWMBG`SPNEHP}Gg\MaG`SRJFFQTWoPKdW`WHvDrAICluLDg`WJuEp@yWjtLdw`WLqDRQPshxMCw`WNmEQAA?f~Mbw`WPiFOAXcnqKeg`[IeDnAJ_lOKvg`[LEEX@w{kmLXG`[NdDFQLgiNM?w`[NmEOaBGgEMgg`[QLF?qU?nUKMw`_JIDZAGsmhKxW`_LgEcpuSkHL`W`_LqDPqQsiAMHW`_OQEB@}sfaMJw`_QXFKqZOnKKVw`cJhDeADwmGL@w`cJuEoPzKk?LiG`cMVDCaMWh^Lkw`cOYEMQBgf[MTG`cQzEwAW[ohKYg`gHvDoqIsl}LIw`gKVEa`v?j[LLw`gM_DNARWhWLtG`gO|DyA@?gtMVW`gR^FBaTWoFKbg`kIZDbaE[lXKmw`kK`El`zwjSLUW`kNCCzaOgirLvg`kPaECp}GgPM_W`kPiFMqY_n{KjW`oI}DZAHSmdK{g`oJuEs`yojqLhW`oMhDLQQ{hWLuw`oP[EFp}Gg]M\W`oQQEzqUSnZKMw`sJgDgADwmXK~w`sK^E\@vCjcLLw`sMuCzaPKikLzG`sNmETQAWfxMfG`sQbFIQY{nKKXW`wHvDuAISllLHw`wKkEipz_jSLVG`wN]DHALgi^L}g`wOWD}P}wfgMJw`wQpEwAXCocK[W`{I`D]QEklaKmw`{KzEX@xkkjLZw`{LqDUaP{hvMGw`{OeEJQBOf[MUg`{RYFEATWoUK_ga?IlDjqJOlOKwga?LdEf`uSk[L]ga?MXC~qM_heLkwa?OuDyA@[gnMYWa?PiFRqXwnlKjGaCJaDdADwmKLCGaCKvEmP{kjSLQwaCLqDUQPWi?MFGaCPBDyA?gghM[GaCP}E|AUgn_KMwaGHvDtAH_lyLGwaGLHEX@wwkbL\WaGMFD?AM{hlLkwaGPUEC`}GgVM`waGQlFMA[KnKKSgaKIMD^QFOleKmwaKL\EapuSkPLbWaKMqDOaSWhWLqWaKNmERq@{g?MewaKR?EwAWGo^K^WaOIxDoAKclOKrWaOJuErpy?j|LfWaONECzaOKidL|WaOODD}`~OfmMJwaORTFAQTWoKKbwaSJJDZAGOm`K}gaSKHE\pv[jfLLwaSN[DDqLgiPMAgaSOqENqCof[MOgaSPiFQaXOnvKhgaWIBDkqFkmkLBgaWLKEpPukjaLUwaWMSCyASSiYMGGaWP]D}qBKfOMZWaWQeFBQWsnsKPwa[JLDqQEGl^Kuga[KWEWP{okRLgwa[N`D@AQkhNLzwa[OlEDQ@WgBMMwa[PsFIaV[ogKcWa_IYDYAKSmPLHga_LcE]pzSjHL[Wa_MnDEqP?h}LnGa_NyEK@~sguM`Ga_RAFOqTkn[KVgacJcD_AI{lGK{wacKpEcPxcj}LOgacLzDKaNcinMAWacPAEPp}_ffMSwacQPEuq[?oNKiGagIuDeQHKlxKowagK@EjPwGkoLaWagNFDRaMChdLtwagOODwaCggYMfWagRZE|aY[nAK]gakJFDtaEGlVKsgakLUEaPy{jHL]WakLzDKQN?i|M?gakOHDwaBsgSMcGakQjFCaVcnxKPwaoIRDYAJcmLLEgaoKsEePwWk@LOgaoN?DTQMCh[LrgaoPKEBQAsfOM[waoPsFHQUsoqKawasJVDbAIklGK~GasK@EhPvWkuL`gasMJCyARSiRMCGasOmEEq?KgHMMwasQ|FRQTknQKTwawIvDfQGKl|KowawLCEs@ukjVLSGawNPDCQQOhNL|gawNyEI`~Wg|M^gawQFEuqZCoIKewa{IBDiaFKmsLAga{KLEWPz{kOLdWa{MpDGQNwiDLnGa{P@ESp}_f_MPwa{RKF@QYGnAK]wb?I_DYAKCmHLGgb?K@Empu{kgL_wb?NYD@QQGhNLvwb?OzEOP}_flMUWb?QVFDqVwn}KPwbCJbD`AIGlGKxwbCL@EnPukjiLVgbCM^DHqOSiFLnGbCOUDwaCOgRMdwbCPsFMQUKobK`WbGIcDgQG[m@KowbGKZEWP{WkLLgGbGLzDPAM[ilM?GbGPWE?QA[fOMUwbGQwFNaTkn`KXGbKIBDnqEWmgL@gbKL[E^`ycjHLWwbKM}DQAMChkLuWbKOZEGQ?cgIMMwbKQUEuqZkoDKhwbOJ@DpQEGlbKwwbOKbEf@wokCLOgbOMZCyARwiKMFgbONyENP}ggoM^WbORUE}qXsnAKYGbSJiD^AHwlGKywbSKTEWPzck]LiwbSMvDTAMChbLsGbSNyELp~ogvM\wbSQ[FFAWKniKPwbWIiDhQGklpKowbWLfE[pyKjHLXgbWMQCyAQwibMHwbWOtERP}_feMRWbWPsFLAVGolK`Gb[IBDmqF[moK~Wb[KeEfpxGjrLOgb[NbC~aPkhNLxgb[ONDwaB[geMgwb[QrFQATknVKUGb_J?DrQEGlZKtgb_K@EkpvokrL]wb_MeDIAO[htLnGb_PcD|QACfOMWWb_QKEuqYooXKjgbcISDYAJSm]LIgbcKxEq@ukj^LSwbcLzDNaNGiuL}WbcO`EGa?{fvMMwbcR_E{QX_nAKZgbgIoDdQG{ltKowbgKmEb`x_juLOgbgMgDDQOwh{LnGbgOfEBq@Sf|MMwbgQ`FAAW_nnKPwbkIBDlqE{m^LCgbkK@Ek@vSkdLcWbkLzDMAMcieMAwbkNyEKP~?giMagbkPsFJqU_o]KdwboJRDuaEGlkKrgboLNEspukjlLQGboNMDUqMChmLpwboPGET@}_frMPgboRFFSaTkneKSWbsILDYAJsmTLFgbsKIEWP{SkZLeGbsMCCyARoi[MDwbsOBDwaBwg_MdgbsQAEuqZWoSKgWbwJ\DaAHglGKzwbwLXE_PyGjHLZgbwNWDAqPchNLyGbwPQE@q@kfOMXwbwRPF?AXKnAK\Gb{H|DhaJgldK{Wb{KjEa@tcktLfgb{N\C}aMgiBLswb{OLEUA?_fUM_Gb{QyFLQX[oQKOWc?ImDbqDWmmLGWc?L_EZpvOkALTWc?MNDVAOGhPM?Wc?P?EMqAGgaMLWc?PnFGAZKnaK[gcCJ^D\AEwl{KtwcCKPEt@wgjPL`wcCN@DOQPwi]LmgcCNsEHABkfkMXWcCQcF@qSookKgwcGIWDtqGSlKLAGcGLFEm@ySkYLMgcGLxDIqROhjLyWcGOgEAP|WgwMeGcGRVEyaUWnzKVGcKJHDnaI?mUKnwcKJxEg`{?jgLZWcKMfDCALCivMEwcKPYD|@~GgFMRGcKQJFSAV{nFKbWcOIgD^aDWmeLEWcOK[EqPwcjPLagcOLxDHQSOhZLxwcOPMD|@~cg@MUGcOQ~FGQXooVKOWcSJWD\AFWlwKvwcSLIEhpykk\LMgcSMdD?qLCimMCgcSOXERA?GfUM`gcSPnFEq[GnRKZGcWI^DrqGClKLBGcWJxEe`{sjYLYgcWNNC}aNKi@LvGcWPEEIAA_gbMLWcWQ^E}ASooaKfGc[JNDjaIOmYKnwc[KgE]`tckiLcwc[MWDSAO?hPMAGc[NsEFaC_f^MXGc[RLEyaV?nuKWwc_H|DgaKWlSKzWc_LTEZpvkjyLWGc_NGDJaQ?i_Lmgc_OaD~@|WgpMcWc_QTFPaVgnFKcwccJdD\AEglsKswccJxEdp{CjdLWgccMLDQQPGhPMBwccO[EA@|Wg}MfgccRCFHaYCoBKOWcgIQDpqHWlKLDWcgK_E`PtckwLhgcgNIDLAQ[iMLmgcgPZD|@}ofzMQwcgPnFDaZ_n\KYwckJODkaI_mIKnwckLbEZpuwjvLRWckLxDFqRkhcLwGckOFEOA@gfUMbGckQYF?aSoopKiWcoH|DfaJwl`KxGcoKMEn`xojPLcgcoM]DAaLCixMGgcoPFEJaAwgOMLWcoR[EyaUCnpKTgcsIfDaqDWmvLHWcsLLEi`zCkKLMgcsN^C}aMKhyLrGcsNsEEACCfjMVgcsQEFNAWwnFKdGcwIXDsqHGlKL?GcwLWEZpvgjsLUGcwMtC~QLCioMEWcwNsEDqBSfqM[WcwQoFIqYWoGKOWc{I|DlaIomMKnwc{KXEr@xWjPL^Gc{NUC}aNChrLtWc{OnD|`|WgqMcgc{PnFCQYwnfK^gd?H|DeaJClhK}Wd?K{Ek`zGkNLMgd?MUDTaOkhPL}Gd?PSD|@~KfyMSgd?QmE{qSoofKggdCIyD]aDWmiLFWdCJxEd@zgjjL]GdCMwDMaQciTLmgdCORESa@OfUM\GdCRQEyaUknkKVWdGJ]D\AFGloKuwdGKuE[`tcklLewdGLxDEQRGhqL{gdGOsELAA{gUMLWdGQOFQqWcnFK_WdKJBDmaHomQKnwdKK~ElPx{kVLMgdKM~DOAP[iVLmgdKOyEMa@og[MLWdKQtFKAXGoLKOWdOH|DcQKGl\K|WdOJxEb@{[j\L[GdOLxDEARshaL{GdONsECQC[fdMYwdOPnFBAZsnWK]GdSIsD_aDWmaLJgdSKrE^PtckaLiWdSMmDAQLCifMHGdSOhE?`|WgjMhGdSQhE~QSoo\KjwdWJjD\AFgmDKrwdWLeEZpwCkDLQgdWNeC}aNgiILpWdWP`D|@~{gLMPWdWR`EyaVSo?KSGd[IKDqqGclKL@Gd[KJEp`x?jPL^wd[MEDRqOchPL~wd[O@EPa?wfUM]gd[Q@FOQWOnFK`wd_IHDaQGomNKwGd_K\Elpt{jwL\wd_MsC|AQKh`MBgd_PJEG@~SfIMhWd_R\FQQZSo`KRWdcJkDtQJ{mcKpwdcKCE`@xKkMLVWdcMYDNQL_hwL{wdcOoDzaAcfcMaWdcREFEaUwm|KkGdgJQDgqFClCLJWdgLiErP{GkfLPWdgMADBaOWiQLugdgOVEM@|of}MZwdgQkExQY?nXKdgdkIwD[AIWlYLCwdkLOEfPvcjELhwdkNcDTqRgiiLowdkO?E@A?sgWMTwdkQSFKQTCnrK^GdoI]DmQDglrK}wdoKwEZ@y_j_LbgdoNJDGqMshGMHgdoPbESQB{glMOWdoPxE~qWSoJKWgdsJXDuQKKmlKpwdsLSEtP{_knLPWdsNQDVQSCipLowdsPOETqCSgrMOWdsRHFRaZgoeKRWdwJDDdaEslCLEGdwLAEc`vKjELdgdwMzDFAMkhGMDGdwOxED@}{fIMbWdwQvFCAUcm|KfWd{IpD[AIwlUL?gd{KlEZ@zOjWL_Gd{MjC|AQohYL~gd{OcDzaB?f]M^Gd{QaExQYgnSKaWe?I\DjQDgmCKzge?KYEh@t{kELZGe?MRDKAL_iGLyge?OPEIp|ogJMYGe?QNFGaTCoAK\WeCIHD`QF{mVKvGeCKCE^@w[kXLUgeCMADAANsiZLuGeCO?E?q?Wg^MSWeCPxE}aVkoTKWWeGJKDhqEclCLFGeGKaEZ@y[jmLaweGMPDLqL_h~LwWeGO?D~Q@KgQMSGeGRMFMaZ{ojKRWeKIdD[AHsljLBweKKQEjpt{jzLWWeKMAD?aOsiOLsWeKPPEPACkgxMOWeKR@FFqUOm|KfgeOIVDlQDglvKxgeOKCE]PxOkJLSgeONSDQaSKiwLoweOPDEH`}cfIMcweOQWExQXkngKcGeSIHD_QH?mEKuGeSLVEnp{wkqLPWeSNHDIQMOhGMDgeSO\DzaAKfpM_weSQIFJATCnwKYWeWJYDpAK[mpKpweWLGEg@usjELeWeWM\C|APohpM@weWOJEK`|ogCMVGeWPxE|QWgoEKUwe[IqD[AIglfK~ge[KCE\`wskULRwe[MxDGaNkhGMFWe[OIEN`|ofwMZge[RRFNqYkooKRWe_IPDoaDglnK|we_L^Eo`zkkyLPWe_MlC|AQShiL|we_O?D|q?[gXMQge_QqFDQV_m|KhGecIHD]AG_mRKtGecKyEdPw?jELgWecMIDOqL_huL{WecPVEPQB_g~MOWecQfExQYSnbK_wegJ_DqAJGmtKpwegKoEZ@ywjeL^WegMAC~AOOiXLqgegOrEEa?CfIMeWegQDFLaTCnmK\gekI~DfqFwlCLGGekKNEm`t{joL\GekNZDQqRCiyLowekOiDzaAgfoM\gekPxE{AW?oOKTWeoIJDkQDgm?KygeoLDEbpv{jELhGeoMADBqPOiaLqGeoObDza@sfiM_geoRWFPAZ?o[KRWesIHDbQHOmZKqwesKdEZ@yCjbLaGesNaDSQRKigLowesOCEJ@|ogDMWgesQ{FAqVKm|KigewJeDsQJWm_KpwewKFEj@t{kBLYWewNADDaNOhGMFwewO?EAa@cgdMPGewQ\ExQXWn]Kage{JEDcaFSlCLIWe{KCE`pxgk`LRGe{McC|APShgM@We{P\EQqBcgkMOWe{Q?FHqTCn|KZwf?IjD[AHcl]LAwf?LaEq`zokcLPWf?MGDLaL_iELwwf?O~EB`~kfIMfwf?PxF@AW{oYKRwfCHqA[ofOHtNOWfCHuA]og?IDNLwfCHvA^OgKIHNMGfCHwA^ogCIGNMWfCHxA^?gOIFNMgfCHyA^_gGIENMwfWLQBqpAkQJNFwfWLZBnpAKQFNAgfWL^BppA{P}NCwfWLbBl`A[QRNDwfWLfBop@gQNNEwfkK_Bw@?gRDMyWfkKhBrp@WR@MzWfkKlBv@?wQ|MuGfkKpBx@?CQxMwWfkKtBu@@GQoMxWg?KxBcPECQ_M~gg?LABePDcQVN?gg?LEBbPCoQkN@gg?LIBdPDsQgM{Wg?LMB`@DSQcM}ggSKFBh`C?RYMqGgSKOBj`BKRUMrGgSKSBfPCORQMsGgSKWBi`BoRHMtGgSK[Bk`C_R]MnwggKKBc`@KQSMjwgkKeBoPDoPyMpGgoL?B]@AsR\MvggsLYBho~cRGM}GgwJvBupCGQmNCgg{KTBd`@[P~Mjwh?KrBmPD_PyMrWhCLPB]@@oRXMywhGLUBl?~cQzNAWhKJvBtpBgQ\NBghOKXBe`?GQBMjwhSKaBpPDOPyMsWhWLCB]@AORTMugh[LeBgo~cQrM~Gh_JvBspCkQiNFghcK\B`P?WQKMjwhgKiBnPD?PyMtWhkK{B]@BCRPMwghoLaBk?~cQ~M|GhsJvBwpBwQXNEghwKGBaP?{QOMjwh{KvBr`E?PyMoGi?LGB]@A?RLMzwiCL]Bfo~cQvN?GiGJvBvpBWQ`NDgiKKoBhPAwQbMlwiOJ~Bmp@_RSN?wiSLJBt_~sQGMsgiWKYB\@EOQ}NEWi[L`Ba`CcPqMyGi_KsBiP@wQfMlwicJ~Blp?kR`M~wigLFBv_~sQ?MpWikKLB\@DKQtNBWioLTBepCSPqMzGisKcBjPAGQjMlwiwJ~Br@?KROM|gi{K}Bs_~sQPMtgj?K]B\@DkQpNDWjCL\Bb`CCPqMvGjGKgBkPAWQZMlwjKJ~Bq@@ORWM{gjOKyBu_~sQCMqWjSKPB\@C{RENGgjWLiB``B_PqMwGj[KkBgPAgQ^Mlwj_J~Bp@?[RKN@wjcLNBxo~sQTMoWjgKHB\@D[RANCWjkLXBdpBOPqMxGjoLDBq`BkR?MkwjsJzBkpDGQLMxgjwKmBf?~CR[NDGj{L[B_@?_QhMqgk?KQBx`@{PuM~WkCLHBm`B{RCMkwkGJzBjpEKQ@MvWkKKdBao~CRNNBGkOLSB_@@?QdMtwkSK^BuP@kPuN?WkWLLBn`CKQsMkwk[JzBipDWQHMuWk_K`Bco~CR_NFWkcLdB_@?OQ[MpgkgKMBsPB?PuN@WkkK|Bo`C[QwMkwkoJzBg`CwQUMzgksKuB`o~CRRNCGkwLWB_@?oQWMrgk{KUBw`AoPuM|Wl?L@Bp`B[Q{MkwlCJzBf`D{QDMyglGKqBbo~CRJNGWlKLhB_@@cQlMoglOKIBtPA_PuM}WlSLgBwPDgRMMmwlWLOBj@?sPmNGGl[KwB^@BsQENAGl_KZBqO~SQ]M{GlcKBBd@ASQuMswlgLRBxPDwRVMmwlkK~Bh@?cPmNAwloKjB^@CgQAM|wlsKVBm?~SQnMwwlwKBBc@@sRBMrwl{LVBs@EGRZMmwm?LKBlP?SPmNBwmCKbB^@BcQQN@GmGKRBo?~SQaMuwmKKBBb@AcQqMqwmOL_Bt@CsR^MmwmSKzBi@@SPmNEGmWKnB^@CWQMM{wm[KNBrO~SQYMxwm_KBBa@ACQyMpwmcLcBvPDCRIMmwmgLBBg@@CPmNFGmkKfB^@BSQIM}wmoKJBn?~SQeMvwmsKBBe@BGRFMowmwJnA{?nCJqNOGmwJrA}?nsKANHwmwJsA}_o?KENIwmwJtA~?nwKDNJwmwJuA}OoCKCNKwmwJvA}on{KBNLwukLkBZOuwLnNNgukLoB\OvgL~NHWukLpB\ovsMBNJGukLqB]OvkMANJgukLrB\_vwM@NLWukLsB]?voM?NLw}_NhBy_}kNkNNw}_NlB{_~[N{NHg}_NmB|?~gO?NIW}_NnB|_~_N~NKW}_NoB{o~kN}NLG}_NpB|O~cN|NLxESPeCXpE_PhNNXESPiCZpFOPxNHHESPjC[PF[P|NIhESPkC[pFSP{NKHESPlC[@F_PzNLhESPmC[`FWPyNLxMGRbCx@MSReNOXMGRfCz@NCRuNJXMGRgCz`NORyNJhMGRhC{@NGRxNJxMGRiCzPNSRwNKHMGRjCzpNKRvNKXM[UiEB@ks[UNAHM[UpD~@kO[NM{XM[UwE@PlO[GM}HM[UyD|Pkk[^M~xM[V@E?pjs[WN?XMoVBELphG[ENEhMoVIEHpiGZ~NGXMoVPELPhcZ|NAhMoVREN`gkZuNCXMoVYEJ`hkZnNEHNCTwEF@jk\@MrXNCT~EHPjG[yMrxNCUEEDPiO\PMthNCUGEF`jO\IMnxNCUNEB`ik\GMphNWUPEPpg?[pMvxNWUWES@fG[nMxhNWU^EO@gG[gMyHNWU`ER`fc[`MzxNWUgETpgc[wMuHNkUCEA`f[[AMlHNoUZENPkWZeMqxNsUvD{phK\KMwhNwVMEH`e?[oM~hN{TlET@ig[XNDXO?UJD}@fw[CMlHOCUhEL@j{ZeMshOGUmD{pho\DM{HOKVKED`e?[fM|XOOTlES`jg[HNCxOSULD}`gSZqMlHOWUXEIplCZeMtHO[UxD{pgo\BMwHO_VDEFpe?[vN?HOcTlEQpjC[QNBHOgTzE?Pg[ZsMlHOkUaEL`k{ZeMohOoUoD{phS[{MyXOsVVEBpe?[mM|xOwTlEQPi_[_NFhO{T|EA@fSZzMlHP?UQEJPk_ZeMpHPCV?D{piK\MMuXPGVTEE@e?[dN@xPKTlEO`jK[ONFHPOUYEEPhs[[MjXPSTeEKpgK\OM|hPWUnERPec[FMpxP[U?Dy`ko[uNCHP_VHD~pj[ZlMwXPcU[EG@h{[IMjXPgTeEJ@fg\?M|HPkUlET`ecZxMtxPoUODy`kC[sNEXPsVQD|`j?ZlMwxPwUbEG`gs[PMjXP{TeEI`gg\HN@hQ?U~EP`ecZoMqXQCUADy`kg[lNBhQGVFE@`icZlMyhQKUdEC@hO[RMjXQOTeEN@fo[}N@HQSU|ERpec[?MoHQWTxDy`lK[eNDxQ[VOD~Pi[ZlMzHQ_UREDphW[YMjXQcTeEM`fK\FM~XQgUuEP@ecZvMsHQkUHDy`kK[cNGHQoVXEBPjcZlMuhQsU}EMPi{[iMnXQwTuEGPk[ZtMzXQ{UeE@@e[\ANGhR?VZDz@f{[LMtXRCUMESPh[Z\N@XRGUkEMpjW[kMnXRKTuEE`jwZ}MyxROUcD}Pe[\QNDHRSVLDz@g_[JMpXRWT}EQ@h?Z\M{xR[UrEIPj_[rMnXR_TuECpkwZrMxHRcU\E?`e[\CNAxRgVCDz@f_[\MrhRkUFEU@gwZ\M}hRoUtEK@iW[tMnXRsTuECPkSZ{MvXRwUUEApe[[zNExR{VSDz@gC[ZMoxS?T{EQ`i?Z\M~HSCU{EK`is[bMnXSGTuEGplS[DMuxSKUSD}pe[\JNChSOVJDz@fW[SMrHSSUDEOPhwZ\N?xSWVUEPPlG\EMlhS[UzED@gWZcNFXS_U_DwpjoZyN?hScUIEJpf?[TMxxSgTnD~`iC[jMsXSkVWER@k?\LMlhSoUjEH@gOZcNFxSsUVDwpioZwM{hSwUBEM@f?[KMvhS{TnD|ph_[xMqhT?VEESpkG\NMlhTCUsEEpfsZcNBXTGUfDwpjSZpM}xTKU@EI@f?[VMzhTOTnEAPg{[hMqHTSVGETPkc[|MlhTWVAEC`fkZcNBxT[U]DwpiS[BNAXT_TyEKPf?[MMxXTcTnE@phg[qMoXTgVNEOpl?[~MlhTkUqEFPfOZcNDhToUTDwpiw[@M}XTsUKENpf?[]MvHTwTnE?@hC[aMsxT{T_DWPUGTbNNxT{TcDYPUwTrNHxT{TdDYpVCTvNIhT{TeDZPU{TuNJXT{TfDY`VGTtNLXT{TgDZ@V?TsNMH\oV\Dv`\{V_NOH\oV`Dx`]kVoNHX\oVaDy@]wVsNIX\oVbDy`]oVrNJX\oVcDxp]{VqNLh\oVdDyP]sVpNMhdcXYEUpdoX\NNXdcX]EWpe_XlNHhdcX^EXPekXpNJHdcX_EXpecXoNJXdcX`EX@eoXnNKxdcXaEX`egXmNMXlWZVEu@lcZYNNhlWZZEw@mSZiNHHlWZ[Ew`m_ZmNIxlWZ\Ex@mWZlNJXlWZ]EwPmcZkNLHlWZ^Ewpm[ZjNMxtK\SFTPtW\VNOXtK\WFVPuG\fNKhtK\XFVpuS\jNKxtK\YFWPuK\iNLHtK\ZFV`uW\hNLXtK\[FW@uO\gNLht__AGpqNWe\Mzht__IGmQMkeYMuHt__LGpANceQMwHt__TGkQMwegMwxt__WGnAMKedMyxts^hGcaPsf@Mshts^pG^qQke}MtXts^sGaaQ?euMnxts^{GdQPSerMpxts^~G`qQ_ejMqhuG_sGgqPGdgNDXuG_{GjaO[d_NFXuG_~GgANoduNGHuG`FGiqO{drNAhuG`IGeAOOdjNChu[_ZGZaRceKM}Xu[_bG]QQweCM~Hu[_eGXaSCe@N@Hu[_mG[QRWdxN@xu[_pG^ASOeNM{Xuo^xGYqNkdlMmXus_SGgQSGdQMrxuw_iGTQPCexMyhu{`DG`aM?e]N?Hv?^bGlqQoeBNExvC_@G[qMSdoMmXvG_EGjqR{dQMtxvK_cGTQOKepMvHvO`AGcQM?eRM}hvS^bGlAQCeMNEHvW^jG\aM_dwMmXv[_KGhARodQMoXv__qGTQOwemMwhvc_yG_qM?e`NAHvg^bGpQPWe?NCHvk^mG^aN?daMmXvo_VGeQROdQMpHvs_fGTQO?e~MzXvw_vGaQM?eZM~Xv{^bGoaQOeJNBXw?^uGYANKddMmXwC_HGhqRCdQMrHwG_[GTQOWe{MvxwK`GGdAM?ehM{hwO^bGnqPwd|NFhwS_UGcAOgd~MnHwW^eGiAMsesNAXw[_rGoALSdfMtHw_^}GWARgeVNGXwc`JG]AQGdNMzHwg_DGcqOseFMnHwk^eGhQM[eyN?Xwo_jGkaLSdtMqXws^rGWASSeSNCxww_|GZQPgdNMuxw{_GG_aP?eIMnHx?^eGfQNSekM~hxC_gGnQLSdiMoxxG^lGWAR[eiNEXxK`BG]qP[dNMvhxO_OG`QN{eLMnHxS^eGeaMgevM|hxW__GqALSdcMsXx[^zGWARseaNAxx__tG[AQsdNMxhxc_RGbQOGd{MnHxg^eGkAN_fAM{xxk_\GmaLSdqMphxo^oGWAQ{e^NDhxs`?GYaQSdNMyXxw_`GhaQWeeMjhx{^WGbAS?dvMvXy?_FG[aLsf?NCXyC_zGUANGePMqHyG^qGmqOod\M|xyK_hGiQQceTMjhyO^WG`ARSdhMuhyS_CG^QLsetNFxyW`HGUAMOeHMrhy[^wGlQOcd\M~xy__kGjAP_eWMjhyc^WG_QSKdnM{Hyg_YGZqLsenNDHyk_}GUAM{eEMoHyo^iGoqOCd\N?hys_nGeqPke_Mjhyw^WGdqR_d`MyHy{_QG\QLse|NBhz?_wGUANgd}MqxzC^tGmANwd\N@XzG_]GfaQKebMjhzK^WGbqRGdkMxXzO_NGXqLseqNFHzS`EGUAModzMthzW_?GpaPOd\M|Hz[`@GqQRKezMkXz__dGdaMcdYNDxzc_MGWqPodpM}xzg^vGjQLGeGMxHzk^ZG]aOSecMrXzo`CGkqRkfBMkXzs_oGaqMWdYNEhzw_BGWqQ[dmN@hz{^nGfqLGeAMuX{?^ZG\qPKeUMpX{C`KGlaRwelMkX{G_aG_AN[dYNGh{K_PGWqPcdeM}H{O^kGiaLGeOMxx{S^ZG\AO_e[Moh{W_uGnaSWeoMkX{[_lGbaNOdYNBH{__JGWqP{dbN?x{c^|GfALGeDMwX{g^ZGZANsefMsx{k_xGoQR?ewMkX{o_^GaANCdYNBx{s_XGWqQgdsM|X{w^yGgaLGdyMzx{{^ZGYQOkeXMsH|?^PFs`|K^SNNh|?^TFu`|{^cNHx|?^UFv@}G^gNIX|?^VFv`}?^fNKH|?^WFup}K^eNKh|?^XFvP}C^dNMYCs`MGRqD?`PNNYCs`QGTqDo``NHYCs`RGUQD{`dNIyCs`SGUqDs`cNKYCs`TGUAE?`bNKiCs`UGUaDw`aNMIKgbJGrAKsbMNOIKgbNGtALcb]NHiKgbOGtaLobaNIiKgbPGuALgb`NJiKgbQGtQLsb_NKiKgbRGtqLkb^NMyS[dGHQQSgdJNNyS[dKHSQTWdZNHIS[dLHSqTcd^NJIS[dMHTQT[d]NJyS[dNHSaTgd\NKiS[dOHTAT_d[NMi[OfDHpa[[fGNOY[OfHHra\KfWNII[OfIHsA\Wf[NIY[OfJHsa\OfZNIi[OfKHrq\[fYNIy[OfLHsQ\SfXNJI[chYJAAx_ogMty[ch_I|awooaMny[cheJ?axwo[MpY[chkI{AxGosMqy[chqI~AwWomMsY[wiKIyQySoAN?y[wiQItqz[n{NAY[wiWIwqyknuM{Y[wi]Izqx{noM|y[wicIvQzCniM~Y\KhrJJauooHMxI\KhxJMau?oBMyi\Kh~JIAtOoZM{I\KiDJLAuWoTMuI\KiJJGatgoNMvi\_idJBqvcnbNCI\_ijJEqusn\NDi\_ipJAQv{nVNFI\_ivJDQvKnPNGi\_i|JGQwSnhNAi\shpIyAt{nUMni\wiHJEAyom}Mti\{i`IsAv[obMzi]?ixJ?As[oJN@i]ChXJLQxOnrNFi]Gh]IzauSn[Mni]Kh{JCQyWm}Moy]OiYIsAwKo\MwY]SiwI{qs[oWM~y]WhXJJqw_nyNFY][h^IuquknaMni]_iBJFay?m}MpI]ciMIsAvWooMyI]giqI}as[oPM{y]khXJIQxSnlNDy]ohdIvAt_ngMni]shuJDqzKm}Mqi]wiZIsAvsonMuy]{ikJ@as[oDN?I^?hXJGqwwnsNCY^ChjIwatcnTMni^Gh|JAqzGm}MsI^KiSIsAv?ohMwi^OieI}Qs[oQM}Y^ShXJLaxko?NAy^Wi?J@AvOn|Mki^[hLJGAtsojM~I^_iVJLqsCn`MqY^chcItay[oSNEI^girIzQwknIMxY^kiEI{Qvgn}Mki^ohLJEaugo]M|i^siPJIasCnYMoi^wh\ItaywoMNFy^{iyIwQwgnIMyy_?iFI|qw?njMki_ChLJDAtwoiM|Y_GiOJKQsCnfMry_KhiItayCoGNCi_OilIuaxsnIMzI_ShsI~QwCnpMki_WhLJBat[opNAI_[ibJHAsCnZMqI__hbItaysoFNEY_cisIxqx[nIMuY_ghyJ?quwnvMki_khLJBQuOocN?i_oi\JKAsCnSMtY_shoItazOoYNBI_wifIwAxCnIMvy_{i^JCAxgoOMmI`?hRI|QzSn^MyY`CiCIvqtKoeNEi`GitIpAucntMri`KhhJIqwOnCN@I`Oi_JDaw[oUMmI`ShRI|AycneMwy`Wh}IxatKo^NCy`[imIpAtonnMoY`_h[JMAvwnCN@Y`ciLJFAwsoVMmI`ghRJ@qyGnXMvY`khwIuQtKokNGI`oizIpAuKnmMrY`shgJJAv_nCM{i`wiRJFQxKoCMmI`{hRJ?Qy{n_MvIa?hvIxQtKodNDIaCinIpAtWo@MtIaGhnJHQvGnCM}IaKiXJAaxcoIMmIaOhRI}qy_nRMzyaSiIIzAtKoqNBYaWigIpAuGnzMpya[haJKavCnCM~ia_iiJJQz?orMjIaciTI~au[nONByaghzIqaxWndM}iakh`JCqssn~MwIaohFIxAvooXMpiasioJKqzWo_MjIawi[I{auCnONDYa{iGIqawcncN?Yb?hZJFqssnwMzYbChFIvavSoKMoIbGiuJMQyKo`MjIbKiNI~qtknONEybOi@Iqax?n]M|IbShmJCassnkMxibWhFIuAwGoRMsyb[i{JHayOofMjIb_iUI}AtSnONGYbchtIqaxonWM}ybghlJEQssnxMuibkhFIyqvkoEMsiboihJHqygolMjIbsiaJ@Qu_nONBibwiAIqaw{nQN@yb{hfJBAssnqMxyc?hFIyau{oLMrIcChAIOqcOhDNNYcChEIQqd?hTNHycChFIRQdKhXNIIcChGIRqdChWNJicChHIRAdOhVNLIcChIIRadGhUNMijwi~IoAkCjANNyjwjBIqAksjQNHYjwjCIqal?jUNIIjwjDIrAkwjTNKIjwjEIqQlCjSNKyjwjFIqqk{jRNMyrkk{JNQrwk~NNirkl?JPQsglNNHirkl@JPqsslRNIIrklAJQQsklQNJyrklBJPaswlPNLirklCJQAsolONMIz_mxJmazkm{NOIz_m|Joa{[nKNHIz_m}JpA{gnONIIz_m~Jpa{_nNNKYz_n?Joq{knMNLYz_n@JpQ{cnLNMZBSouKLrB_oxNOZBSoyKNrCOpHNGzBSozKORC[pLNHJBSo{KOrCSpKNHZBSo|KOBC_pJNHjBSo}KObCWpINHzBgsULbb]sxKNFjBgsZL^r]KxFNAjBgs_LaR^GxANBzBgsdL]b]_xUNDJBgsiL`B\wxPNEZB{rcLgb[gyGMxzB{rhLcr\cyBMzJB{rmLfR[{x}MuJB{rrLhr[SxxMvZB{rwLeB\OxsMwjCOr|LSbaOx_M}zCOsALVB`gxZN?JCOsFLRR`?xnN@ZCOsKLTr`{xiM{ZCOsPLQB`SxdM|jCcrJLXb_Cy[MpJCcrOL[B^[yVMqZCcrTLWR_WyQMrjCcrYLYr^oyLMszCcr^L\R_ky`MnzCwrPLSr\SxVMizC{rjL`raKw|MpZD?sDLMR]{ydMvzDCs^LZRZkyJM}ZDGqvLgR_cxpNCzDKrULUB\gxBMizDOrtL^R`ww|MqjDSsSLMR]?y_MyZDWsYL\rZky@NAJD[qvLfB^{xaNBjD_rZLVR[WxGMizDcreLbB`cw|MrzDgsILMR]gyZMujDksmLYBZkxvM~jDoqvLdr_wxkNGjDsr_LQR[kxLMizDwroL_b`Ow|MtJD{s?LMR^OyUMxJE?shL[bZkyEM|JECqvLir_Ox\NFZEGrKLRb\?xQMizEKryLcRa_w|MoJEOsNLMR]SyPMzjESscLWrZkx{N?zEWqvLhb^gxfNEJE[rvLYb^WxhMlZE_r@L_B\kyYN?ZEcsLLer[?xMMsJEgr[LLBa[x~NFJEksgLRr_owrMyzEor{LZr]GxmMlZEsr@L]r\CycM~JEwsGLhR[?xCMpjE{rQLLB`_xyNBZF?sXLVb_[wrM{JFCrgL\B][xrMlZFGr@Lbr[[yTM|zFKsBLdb[?xRMtZFOr`LLBaGxtNDzFSsbLTB_GwrMvJFWrlL]R]ox^MlZF[r@Lab\Wy^M{jF_r}LgB[?xHMqzFcrVLLB`KyHNGZFgslLQb^swrMwZFkrqLXR^CxcMlZFor@L`R[oyON@jFssQLib[?xWMoZFwrLLLB`syCNCjF{s]LUR^_wrMxjG?sJLcb_?yFMkJGCq{L\b`[xSMwzGGrnLVrZCy]NDjGKsaLOr[sxjMrJGOrWLiR]OwwM~zGSsOL^b_SyKMkJGWq{L[RaWxDMvjG[riLSBZCySNBJG_sWLOr\[xeMtjGcraLfr\{wwN@JGgsTL_r_gxwMkJGkq{LZB`oxNMuZGordLUbZCybNEzGssfLOr[_x`MpzGwrRLdR^KwwNAZG{s@LaB_{x|MkJH?q{LXr`GxXMzZHCrxLQrZCyXNCZHGs\LOr\Gx[MsZHKr\LhB]wwwM|ZHOsELbR^kyAMkJHSq{LWbaCxIMyJHWrsLTRZCyNNGJH[skLOr\oxoMojH_rMLeb]cwwM}jHcsjLgr`kyRMmjHgsRL[r\KwmNFzHkrzLNb_KxJN@zHorbLarZWxbMzzHsrELUr]kxzMtzHwsVLiBa?yWMmjH{sCLYR[wwmNAzI?rpLNb_sxEM}JICr]L^BZWxqMxZIGrELTb]CyDMsjIKs[LdBaSy\MmjIOsML]B[cwmNCJISrfLNb^wxYN?jIWrXL`bZWxgMuzI[rELSR^?xuMrZI_s`LeR`CyaMmjIcr~LZb\swmNDZIgruLNb__xTM{zIkrSLcBZWx]MyjIorELRB]Wy?MqJIsseLfb`WyMMmjIwsHLXB\_wmNEjI{rkLNb^cxOM~ZJ?rNL_RZWxlMwJJCrELWB^SyIMozJGqrKlBJSquNOJJGqvKnBKCrENGzJGqwKnbKOrINJJJGqxKoBKGrHNKJJGqyKnRKSrGNLJJGqzKnrKKrFNMJQ{soLKRRGsrNNjQ{ssLMRRwtBNGzQ{stLMrSCtFNIjQ{suLNRR{tENKZQ{svLMbSGtDNKzQ{swLNBS?tCNMjYoulLjbY{uoNNzYoupLlbZkv?NGzYouqLmBZwvCNIzYourLmbZovBNJjYousLlrZ{vANLjYoutLmRZsv@NMZacwiMIraowlNNZacwmMKrb_w|NGzacwnMLRbkx@NIZacwoMLrbcx?NJzacwpMLBbow~NLZacwqMLbbgw}NMziWyfMiBicyiNNJiWyjMkBjSyyNGziWykMkbj_y}NIJiWylMlBjWy|NJZiWymMkRjcy{NKjiWynMkrj[yzNLw?CJTDKXw`x[hvvdpx\kfVdpx\]Vg?CJUDJhwXx\]WI\xx_]WZHdx_]WVeI?AAgpSe\l]WVeQgR]XFeUpi]XFeTxe_?_iOTEf[FeTxgiCfe`xhkYve`xh]Yg?KI{C~Xzlxh]ZI^\xk]ZZGHxk]ZVey?BAnPN}]x]ZVfAfu][FfEqB][FfDxq_@?ggSTfgFfDxsiIvfPxtkRvfPxt]\g?OIKDDHyDx\]\Vfagh]]FfepP]]Ffdxy_@OHWCo`pVfqHY]^FfuzB]\ffpx|]^g?SAV@JW[Lx|]_Gddy?]_Zj|xy]_FgDyA_A_K_CU`vFgDyCaIfgPyDm|FdxyC]`VgY?I?qOPMF^]`VgaGh]aFgezt]Wfg`yH]ag?{An@WGXPyH]bGc@yK]bZlhxe]bFgtyM_BoJ?Da`cfgtyOaNvh@yPmuvehyO]cVhI?S?wOSYEj]cVhQGO]dFhU{J]ZfhPyT]dg@OBb@PWYpx|]dVhaGM]eFhe{L][fh`yX]eg?WRHEiIGHy[iVFhpy\mcVeXyE]fFhty]_@`KgYdg_Fhty_iUvi@y`mbVehyI]gFiDya_B@H[Z?gXviDycicFiPydmVfexyM]hFiTye_B@H_Y|gYfiTygibvi`yhmVvfHyQ]iFidyi_C`J?XsglVidyki\Fipylm\ffXyU]jFitym_C`JCXugkvityoi[vj@ypm\vfhyY]kFjDyq_E@FwYKgefjDysiiFjPytmOvdxx}]lFjTyu_E@F{YMgeFhtyt]mIi\yw]mZcPxa]_fj`yx]mg?[M\FNh}py{jaFfLy{]nZUTx}]hfjpy|]ng?[M]FMx}hy|]oIw\xv]oFkEt`]_fihz?]oVkI?MB`@om_[]oVkQmb]]vkPzDlQvgXym]pFkTzE_B_wS[GgFvkTzGjgfd|zG]qZSpyI]kfk`zH]qg@?NNFGy?XzH]rItTxb]rFkuuT]bfjXzK]rVky?OBs@qU_C]rVlAlS]Xvl@zPldfhHyy]sFlDzQ_DozWZogLflDzSj[FelzS]tZVlyU]fflPzT]tg@[MvE{iBPy|]tVlaln]Zvl`zXl^Fhhya]uFldzY_A@BKT{hjflqjq]Vvh\z[]vZ^lye]uflpz\]vg?_OsD]YYpz\]wInDxb]evm@z`l|vihy}]wFmDza_ApCoUlh]fmDzciuve\x~]xFmUwR]jfkHzc]xVmY?JCRPYid|]xVmajY]YvgLzg]yZ`Pyq]pfm`zh]yg@KO@DcyXXzh]zIqLxn]`vmpzllpvjXzI]zFmtzm_Cp?GUThdFmtzojGffLyJ]{FnEvG]mfkxzo]{VnI?UCE`[Qda]{VnQkK]\vg|zs]|Z\|y]]sfnPzt]|g@WOZDpiU@z\]|VnakJ]]vhLzw]}Z]@ya]tfn`zx]}n") H5K4pnx = H5K4p.networkx_graph() # List of graphs to process graphs = [('H5K4p ', H5K4p)] 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)} / 6-reg.? {graph.is_regular(k=6)} / Girth: {graph.girth()} ")#/ Alg.conn. {algebraic_connectivity(graph).n(digits=6)} ")# / Domin. number: {graph.dominating_set(value_only=True)} ") print("\n Symmetry properties of the graph\n") for label, graph in nonisographs: print(f"{label} | Aut.group.ord.: {graph.automorphism_group().order()} / Cayley ? {graph.is_cayley()} --- vtx.trans. ? {graph.is_vertex_transitive()} -- edge.trans. ? {graph.is_edge_transitive()}" ) print("Degree histogram H5K4p :", nx.degree_histogram(H5K4pnx) ) ''' 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') AH5K4p = H5K4p.automorphism_group() print('H5K4p :', AH5K4p.structure_description(), ' | center order:',AH5K4p.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 4") for label, graph in nonisographs: print(f"{label} "," & ".join(str(count_k_cycles(graph, k)) for k in range(3, 5))) ''' # 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") ## ##