# SageMathCell online https://sagecell.sagemath.org/?q=mympbi
#
'''

 Main properties of the graph
rajiv    | Ord.: 1539 / Size: 11541 / Diam.: 3 / Avg.dist: 2.85025 / 15-reg.? False /  Girth: 3  
mizuno   | Ord.: 1458 / Size: 10935 / Diam.: 3 / Avg.dist: 2.85038 / 15-reg.? True /  Girth: 3  
xQ24pp2  | Ord.: 1224 / Size: 9180 / Diam.: 3 / Avg.dist: 2.85989 / 15-reg.? True /  Girth: 3  
xQ24pp   | Ord.: 1224 / Size: 9180 / Diam.: 3 / Avg.dist: 2.85989 / 15-reg.? True /  Girth: 3  
xQ24p    | Ord.: 1215 / Size: 9045 / Diam.: 3 / Avg.dist: 2.86052 / 15-reg.? False /  Girth: 3  

Degree histogram rajiv  : [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 1536]
Degree histogram mizuno : [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1458]
Degree histogram xQ24pp2: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1224]
Degree histogram xQ24pp : [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1224]
Degree histogram xQ24p  : [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 135, 1080]

 Symmetry properties of the graph
rajiv    | Aut.group.ord.: 1 /  Cayley ? False ---  vtx.trans. ? False -- edge.trans. ? False
mizuno   | Aut.group.ord.: 36 /  Cayley ? False ---  vtx.trans. ? False -- edge.trans. ? False
xQ24pp2  | Aut.group.ord.: 324 /  Cayley ? False ---  vtx.trans. ? False -- edge.trans. ? False
xQ24pp   | Aut.group.ord.: 1296 /  Cayley ? False ---  vtx.trans. ? False -- edge.trans. ? False
xQ24p    | Aut.group.ord.: 51840 /  Cayley ? False ---  vtx.trans. ? False -- edge.trans. ? False

 Automorphism group structure
 C_n is the cyclic group of order n;  x means direct product; : means semidirect product.

rajiv  : 1  |  center order: 1
mizuno : C9 : C4  |  center order: 2
xQ24pp2: ((C3 x C3 x C3) : C3) : (C2 x C2)  |  center order: 1
xQ24pp : ((((C3 x C3) : C3) : Q8) : C3) : C2  |  center order: 1
xQ24p  : O(5,3) : C2  |  center order: 1

rajiv    distance distrib from vtx. 0: [1, 15, 198, 1325]
mizuno   distance distrib from vtx. 0: [1, 15, 188, 1254]
xQ24pp2  distance distrib from vtx. 0: [1, 15, 128, 1080]
xQ24pp   distance distrib from vtx. 0: [1, 15, 138, 1070]
xQ24p    distance distrib from vtx. 0: [1, 14, 128, 1072]

'''

import networkx as nx

rajiv   = Graph(r":~?WB_r?j_~?D`G?Y`Z?b`]?a`_?J_``q?m`^`{?}aM?daO@kaQ@w`f`m`baV@M_EaoAPas@H`tavAcax?Ba{Ab_{aNb@AjbEABbI@?bKA@bW@JbYBJb\?f_Ubd?u_xbhAFbj@B`Ebn?ebgbr@P@dAa`Q@zAb`RAc_C@SAd_A@TAe_?@UAf_F@VAg`WAh`XAi`YAj`ZAk`[Al`\AmBU`]An`^Ao`_Ap``Aq`aAr`bAs`cAt`dAu`eA_Av`fAZAw`V@gAx`hAXAy_i@iAz`jAIA{`kA|_p@lA}`mA~B}`nB?`oB@`pBA`qBB_q@rBC`sBD`tBE_k@uBF`vBG`wBHBV`xBI`yBJ`zAuBK`{BL`|BM`}BN`~BOa?BPa@BQaABR`aABBSaCBTaDBU`@AEBVaFBWaGBXaHBY_HAIBZaJB[aKB\aLB]aMB^aNB_aOB`aPBaaQBbaRBcaSBdaTBe`gAUBfaVBgaWBhaXBiaYBMBjaZBka[BHBla\BmCja]BnCba^Boa_BGBpa`BFBq_?Aa_@Ab_AAc_BAd_CAe_DAf_EAg_FAh_GAi_HAj_IAk_JAKAl_KAm_LAn_MAoCF_N@iAp_OAq_PArBb_QAs_RAt_SAu_T@yAv_UAw_VAxDH_WAy_XAz_YA{_ZA|_[A}Cf_\A~_]B?_^B@__BA_`BBCQ_aBC_bBD_cBECc_d?yBF_eBG_fBHCE_gBI_hBJ_iA[BK_jBL_kBM_R?lBN_mBO_nBP_oBQ_pBR_qBS_rB?BT_sBU_tBV_uBW_vBXD[_wBY_xBZCC_yB[_zB\_{@OB]_|BZB^_}B_C?_~AiB``?Ba`@BbDe`ABc`BA^Bd`CBe`DBfDy`EAkBg`FBhDO_K@GBi`HBj`IBk`JBlCy`KBm`LBn`MBoCP`NBpCr`OBq_?@PAf_@@QAa_A@F@R_B@S_C@T_D@UCn_E@VBy_F@W_G@XCD_H@Y_I@ZBc_J@[_K@\A~_L@]Dc_M@^_N@__O@`_P@Y@a_Q@bBq_R@c_S@d_T?\@e_U@fEX_V@g_W?Z@h_X@iDf_Y?]@j_Z@D@k_[?n@l_\@m_]?l@n_^@oEG__@p_`@qAE_a@rAw_b@sDa_c@tAJ_d@uDL_e@v_f@w_g@x_h?z@y_i@z_j@{Cz_k@|_l@}AL_m@~Bi_nA?_oA@D]_pAA_L?qAB_c?rAC_M?sAD_tAE_^?uAF_V?vAG_wAHA\_x@jAI_yAJ_zAKEd_{ALEC_|AM_}ANDl_[?~AO`?@lAP`@AQ__@AAR`BAS`CATCi`DAUD@`EAV`FAW`GAX`HAYCs`IAZDM`JA[Cx`KA\An`L@sA]`MA^_g@NA_`OA`Cp`PAaDCETF[`QAbDCDDEU`RAcDEDGEV`SAdDFDKEW`TAeDFDGEX`UAfDHDJEY`VAgDEDIEZ`W@eAhDJE[`XAiDDDKE\_W@YAjDLE]_o@ZAkDME^`[AlDNE_FN`\@pAmDOE``]AnDPEa`^AoB^DQEb_Q@_ApDREc``AqDSEd`aArDTEe`bAsBQDUEf`cAtDVEg`dAmAuDWEh`eAlAvDXEi`fAwBlDYEj`gAxDIDZEk`hAyD[EOEl`iAzD\EkEm`jA{D]En`c@kA|D^Eo`lA}CqD_Ep`mA~D`Eq_I@nB?DaEr`oB@C[DbEs`h@pBADcEt`qBBC@DdEu`rBCCRDeEv`sAqBDDfEw`tBEDUDgEx_S@uBFDhEy`vBGDiEzFW`wBHCmDjE{`xBIDkE|FC`yBJBNDlE}`zBKBODmE~`{BLDnF?`|BMDoF@FE`}BNDpFA`~BODqFBa?BPDrEcFCa@BQDkDsFDaABABRDtFEaBBSDnDuFF`AACBTDvFGaDBUDiDwFHaEBVDoDxFIaFBWDyFJaGArBXDzFKaHBYB{D{FLaIBZD|FMFb`vAJB[D}FNaAAKB\D~FO`[ALB]E?FPaMB^E@EhFQaNB_C|EAFRaOB`EBFSFuaPBaClECFTaQBbEDFUaRBcEEFVaSBdEFELFWaTBeEGFXaUBfEHFYGf`~AVBgEIFZ`}AWBhEJF[aXBiEKF\GR_vAYBjELF]aZBkEMF^a[BlDPENF_a\BmB|EOF`a]AyBnEPFaa^BoEQFba_BaBpERFca`BqChESFd_?@KAaBrET_@AbBBBsEU_AAcAeBtEV_BAdBuD^EW_CAdAeBvEX_DAfAhBwEY_EAgBxEZFZ_FAgAhByE[_GAiBzEEE\_HAjB{E]E__IAkB|E^_JAlB}E_Fr_KAmB~CtE`_LAnC?EaGo_M@|AoC@Eb_NApB_CAEc_OAqCBCSEd_PArCCEe_QAsCDCUEf_RAYAtCEEg_SA]AuCFEh_TAvCGEiE|_UAwCHEWEj_VAxCICMEk_WAyCJElEz_X@oAzCKEm_YA{CLEnE{_ZA|CME[Eo_[ACA}CNEp_\A~COEq_]B?CPDYEr_^@\B@CQEs__BACRDVEt_`BBCSEu_aA?BCCTEv_N?bBDCUEw_c@xBECVEx_dBFCWC^Ey_eBGCXDsEz_fBHCYDxE{_gBICZEqE|_hBJC[DuE}_iBKC\DwE~_jBLC]DqF?_kBMC^F@Gi_lBNC_D{FA_m@CBOC`FB_nBPBfCaFC_oBQCbFDGg_pBRCcFE_qBSCdDSFF_X?rBTCeFG_T?sBUCfFH_tBVCgFIHS_uAUBWChFJ_vBXCiEMFK_wBYCjFL_xBZCkESFM_yB[ClFNGB_zAzB\CmFO_{B]C]CnFP_|B^C_CoFQ_}B_CpFR_~@LB`CqFS`?@IBaCrFT`@BbBzCsFU`ABcCtFV`BBdCuFWG?`CBeCvFX`DBfCwEPFY`EBgCxFZFx`F@NBhCyF[`GBiCzFQF\_O@HBjC{F]`IAGBkC|F^`JA`BlC}F_`KBmC`C~F``LBnD?Fa`MAHBoD@Fb`NBpDAFcFv`OBqDBFd_?@P@UBrDC_@@P@QBsDD_A@R@TBtDE_B@S@XBuDF_C@S@TBvDG_D@U@WBwDH_E@R@VBxDI_F@WByDJHz_G@Q@XBzDK_H@YB{DL_I@ZBLB|DM_J@[B}DNIC_K@\BmB~DO_L@]C?DP_M@^C@DQFI_N@_CADRIT_O@`CBDSHn_P@aCCDTHt_Q@b@nCDDU_R@cB`CEDV_S@dCFDWIF_T@eCGDXEt_U@fCHCXDY_V@gBCCIDZ_W@hCJCVD[_X@iCKD\Hx_Y@jCLD]_Z@kBPCMD^_[@lCND_Dt_\@mBTCOD`_]@nBRCPDa_^@oApCQDb__@pCRDcG[_`@qCACSDd_a@rCTCuDe_b@sCUDf_c@tCBCVDg_d@uCWDhD}_e@vBSCXDi_f?|@wCYDj_g@xCZDkIa_h@yC[D\Dl_i@zC\Dm_j@{C]CoDn_k@|C^DoEg_l@}BpC_Dp_m@~BtC`Dq_nA?CaDrE~_oA@CbDsE]_pAABXCcDt_qABCdDuHg_r?wACCeDv_sADBDCfDw_tAECgDxF@_uAFChDyFU_v@uAGCiDz_h?wAHCjD{_xAICkD|D~_yAJClD}Ij_zAKCmDrD~_{ALCnE?F\_|AMCZCoE@_}ANCpDWEA_~AOCqEBH@`?APCrECHW_G@@AQCsED`AARCaCtEE`BADASCuEF`CATCvEGGS_s@DAUCwEH`EAVCvCxEI`FAWCeCyEJ`GAXCzEKIq`HAYC{DbEL`IAZC|EMHG`JA[C}ENIP_t@KA\C~EO`LA]B[D?EP`MA^D@EQEb`NA_DAD`ER`OA`DBESGP_??H?Q?Z?c?l?u?~@G`P@Y@b@k@t@}AFAOAXJXaaAjAsA|BEBNBWB`BiJXJYbrB{CDCMCVC_ChCqCzJXdCDLDUD^DgDpDyEBEKJYJ[eTE]EfEoExFAFJFSF\JZJ[J\feFnFwG@GIGRG[GdGmJXJ[gvH?HHHQHZHcHlHuH~JYJ\J^iGIPIYIbIkItI}JFJOJZJ]J^J__A@[AuCODiFCG]HwJQ_S@RAlCaD`EzGoHnJHJa_J@dAcCXDrEqGfI@J?JXJaJb_wAQBkBtDNEhGBH\IvJ`Ja`IAHBbCFDEE_GTHSImJbJd`@AZBYB}DWEVGKHeIdJcJdJe_\@vBPCjEDF^FgHAI[JaJd_n@mBGC|D{FUFyGxIRJ\JbJeJg_eA?A~CsEMFLFpHJIIJcJfJgJh_@@cAkCiELFTGAHdIl_I@QAtCrDzF]GJHRIuJj_R@ZAbC{ECFKGSH[IcJaJjJk_[@~BFBsDVE^G\I?JGJiJj_d@lBOB|DDEgGeHmJPJ^JkJm_m@uA}CEDMEUGnHvI~JlJmJn_vAYBaCNDqEyFfHIIQJjJm`?AGBjCWD_FBFoGwIZJeJkJnJp`HAPBXC`DhEpFxH@IHJlJoJpJq_EALBBCAEHE~F}IDIz_`@VB]C\DRFYGXHNJUJs_{@qAgCwDmEcGsHiI_JYJjJsJt_WA^BTBxE?EuFtH{IqJ]JrJs_r@hBoCSDIFPGOHEJLJgJtJv`MACAyCnDdEZGjH`IVJuJvJw_NAUBKCJEQFGFkHrIhJ_JsJv_i@_BfCeD[FbGFG|JCJnJtJwJy`D@zApD@DvElGaHWIMJuJxJyJz_GAEBhDBDTEwGQHtIa`F@XBVCUESEeG?HbJEJXJ|_tAWAiCCDfFdGcHPIsJbJsJ|J}_kANA{BzDxF[GuHGIjJfJ{J|_Y@|B_CyDKFIGHIFIXJpJ}K?_}@jBMCgEJE\FvHYJWJ`J~K?K@`O@aBDC^EAEnFmHkJNJhJ|K?_bA`ArCLDoFRGlG~I|JwJ}K@KB_P@sBqCpD]F@GZH}IOJ~KAKBKC_F@{BpCfE@EdGkHOIiJY`N@WBLCBDwFQGGH|I`JaKE_jA_AhCoDSFHF~HXJMJkJ|KEKF`E@iBCByDnFcGYHsIWJoKDKE_aAVAzDADJF?FuHjJDJyKFKH_X@rBgC]ERE[GbHFI{JiKGKHKI_sAMAqCxD\EvFlHaJVJqKEKH_OADB^CTEIEmGtG}IrK@KFKIKK_|@`BUCKDeFZGPIEINJ]KGKJKKKL_B@nBZCGDsF_FqH]JIJb_x@SB?C}DXFDGgHBInJZJjKN_]AIAdCbENEiGLHxISJtKEKNKO_K@wBcBuDaFMFzHfJRJxKMKN`A@\BHCkDFErGpHKIwKBKOKQ_fARAmCPD|EWGUIAI\J[JrKPKQKR_TA@BlB~DjFVFhHTJ@JzKNKQ`J@eBQCtDOE{G^GyIeJ^KIKOKRKT_oA[AvCYEEE`GCHoIJJfKPKSKTKU_DA]BJCvDcEkGWHDJBJk_h@UBnCIEGEtG`HhIUJcJsKW`L@yAfCRDZFXFsHqIyJ}KNKWKX_q@^B\BwEPE}GiHVI^KAKVKW_zABAoC[DHFaF|HzIgKKKXKZ_MAKBSD?DlEYGEHMJKJdJ{KYKZK[`C@pAxCdDQFOFjICIpJ\KCKWKZ_VATBACmDuEbGNG{JTJgKRKXK[K]__@gBeC@D~FFGrH_ILJoKYK\K]K^_CASBRCZDYFNGqHUITJZJt_p@TBdClDkEjFrIBIfJlJ|K``BAAAeCHD}E|GDHCJSKFKWK`Ka`K@oAnBvEFFEGMHLJAKJK_K`_LA\B@CcDGFWG_H^I]J_KTKaKc_^@]BmCuDtEXF{HpIoJmKDKbKcKd_g@fB[C~DbEaFiHyIxJeKLK`Kc_y@xAwC?EOEsGVGzJJJpK[KaKdKf_UAJBICQDPF`GhHgIKJ[JxKbKeKfKg_??I?S?]?g?q?{@E@O`P@Z@d@n@xABALAVA`KiaaAkAuB?BIBSB]BgBqKiKjbrB|CFCPCZCdCnCxDBKidCDMDWDaDkDuE?EIESKjKleTE^EhErE|FFFPFZFdKkKlKmfeFoFyGCGMGWGaGkGuKiKlgvH@HJHTH^HhHrH|IFKjKmKoiGIQI[IeIoIyJCJMJWKkKnKoKp_A@YAtCRDjFEGcH{JV_R@RAjCcDcE{GtHtJLKr_H@cAcCYDtEtGjIEJEKiKrKs_}AUBpBtDLEgGEH]IxKqKr`NANBfCEDEE]GVHVInKsKu`DA_B_B{DVEVGLHgIgKtKuKv__@wBRCpEHFcFgH?IZKrKu_p@pBHDAEAFYFxGxIPKmKsKvKx_fAABACwERFRFnHIIIKtKwKxKy_@@bAlCoEQF[GDHfIp_J@QAsCyE@FbGNHUIwK{_Q@[AbD@EJFQGUH_IfKrK{K|_^A@BJBsDUE_GbIDJNKzK{_h@oBQB}DDEfGlHsJUKoK|K~_o@yB@CDDNEUGsH}JDK}K~L?_|A^BhCQDsE}FfHHIRK{K~`FAMBoC[DbFDFpGwIYKvK|L?LA`MAWB^CbDlEsFwHAIHK}L@LALB_EAIA|CBEFEyG?ICIv_Z@VBZCWDSFWGTHPJTLD_x@kAgCuDhEdGrHeIaKjK{LDLE_YA]BPBxD|EoFuHyIlKnLCLD_n@jBnCMDIFMGJHFJJKxLELG`LA?A{CkD^EZGhH[IWLFLGLH_OASBFCLEPFCFkHoIbKpLDLG_d@`BdCaD]FaG@G|J@L?LELHLJ`B@uAqD?DrEnG^HQIMLFLILJLK_G@~BcC~DREqGIHqI``A@XBOCOEOEcF~HZJBKiLM_mARAiCAD`F`G`HOIkKsLDLMLN_cAKAzBzDqFVGqHEIdKwLLLM_X@tB\CtDKFBGBIBIVLALNLP_z@iBEC`EEE\FtHSJSKqLOLPLQ`K@_A~CVD~EmFmHdJIKyLMLP_\A\ApCKDgFOGgG~IuLHLNLQLS_N@mBmCmD\ExGSHxIOLOLRLSLT_F@vBlC_D}EeGiHNIcKj`J@WBGCCDpFNGAHzI_KrLV_eA[AhClDTFAF}HRJKK|LMLVLW`C@hA}ByDiF_GRHpIXL@LULV_[ATAyC}DJEzFvHcJALJLWLY_W@lBeCXENE[G_HGItKzLXLYLZ_lAJArCvD[EpFlH\JRLBLVLY_P@}B[CNEGElGpG}ImLQLWLZL\_y@aBNCJD_FXGKIAINKnLXL[L\L]_B@qBWCIDxF^FrHaJGKs_u@SBBC|DZFIGeHCIrKkK{L__`AFAdCgEMEkGPHvITLELVL_L`_L@{BaBuDdFJF|HkJQLIL^L_`?@]BLChDFEuGoHMI|LSL`Lb_jAPAnCSDyEWGZI@I^KlLCLaLbLc_VAEBkC?DnFTFhHWI}LKL_Lb`I@gBVCrDPF?G[GyIhKoLZL`LcLe_tAZAxC]ECEaGFHlIJKwLaLdLeLf_DAYBKCqDfEjGYHBJ?K|_i@UBjCHEBEwG]HjISKtLDLh`H@zAfCUDYFSFqHnI{LNL_LhLi_s@\BYBwELE~GdHYI]LRLgLh_wADAmC\DHF]F{HuIjL\LiLk_KAHBUC{DmEYGHHLJFKuLLLjLkLl_~@sAwCfDOFLFjI?IqKmLTLhLk_UAOBDCjDwE`GOG{JPKxLcLiLlLn_b@fB`B~D{FHGnH`ILL@LjLmLnLo_CAQBTC^DXFKGmHXIUKkLE_r@TBbCiDoEiFsH~IiK}LMLq`@ACAeCGDzF@GGHDJOLWLhLqLr`G@rAoBvEDFGGQHKI~L[LpLq_MAXBCCeDGFUG\HbI\KpLeLrLt_a@^BiCsDvEXFzHmIsK~LULsLtLu_k@eBXCzDeEbFiHwIzKvL]LqLt_v@|AvC@EKEvGXGzJHLALlLrLuLw_TAGBMCTDQF\GfHiIKKlLILsLvLwLx_??J?R?`?k?s?x@C@K`P@[@c@q@|ADAIATA\LzaaAlAtBBBMBUBZBeBmLzL{brB}CECSC^CfCkCvC~LzdCDNDVDdDoDwD|EGEOL{L}eTE_EgEuF@FHFMFXF`L|L}L~feFpFxGFGQGYG^GiGqLzL}gvHAHIHWHbHjHoHzIBL{L~M@iGIRIZIhIsI{J@JKJSL|M?M@MA_A@ZAsCUDnFGG`HyJR_Q@RAkCeDfF?GpHqJJMC_I@bAcC]DvEwGhIAJBLzMCMD_zASBlBtDMEfGHHaIzMBMC`JAKBdCDDEE^GXHYIrMDMF`BA[B\B|DUEVGPHiIjMEMFMG_b@{BTCmEFF_FgH@IYMCMF_r@sBLC}D~FWFwGxIQL~MDMGMI_jACBDCuENFOFoHHIIMEMHMIMJ_@@dAjClEPFVGGHkIq_H@QAuCtD}FaGOHXI|ML_S@YAbD?EEFNGZH`IiMCMLMM_aAEBKBsDWE]G_ICJIMKML_i@rBVB{DDEhGgHpJTM@MMMO_t@zBCCFDLEUGrHxJAMNMOMP_yA]BcCTDxE~FfHJIPMLMO`AAJBnC\DeFIFnGwI[MGMMMPMR`LARB[CgDmEvFyH?IHMNMQMRMS_EAFB?CCEDE}F~I?Ix_]@VBWC[DTFUGVHOJPMU_u@nAgCsDlEeGnHgI`L{MLMUMV_XAYBRBxDyErFvHwIpM?MTMU_p@iBjCPDIFJGNHGJHMIMVMX`HAAAzChDaEZGfH_IXMWMXMY_PAQBJCKELFEFkHlIeMAMUMX_h@aBbCcD\F]GCG|I}MPMVMYM[`@@yArC{DtEmG[HTIMMWMZM[M\_GA@BaCzDSEtGMHnI_`?@XBQCREKEdF}H^J?LzM^_oAPAiCBDcF\G]HNIoMDMUM^M__gAHAyBzDsFTGmHFIgMHM]M^_W@xBYCrDKFDGEH~IWMRM_Ma_w@hBICbECE\FuHVJOMBM`MaMb`G@`BACZD{ElFmHfJGMJM^Ma__AXAqCJDkFLGeG~IwMYM_MbMd_O@pBiCjD[E|GUHvIOM`McMdMe_F@wBkCdDzEcGdHPIfL{`I@WBHCADuFKGDHuIaMCMg_fAZAhCiDRFFG?HUJFMMM^MgMh_~@jB@ByDjF^GWHmIVMQMfMg_^AOA{C|DJE{FtHhI~M[MhMj_Y@oB`CYEME[G\HEIyMKMiMjMk_qAGApCqD]EsFlH]JQMSMgMj_NABBXCQEBEnGoG}InMbMhMkMm_v@_BSCLDbFSGLI@INM?MiMlMmMn_B@kB]CHDqFcFsH\JNMD_{@SA|DADYFBGlHDImL|MLMp_ZALAdC`EREjGKH}IUMVMgMpMq_M@vBhBuD^FPF{HdJVMZMoMp`F@^BGCnDFEoGtHLIuMdMqMs_eAWAoCME?EWGSIEI]L}MTMrMsMt_U@~BpC@DiF[FhHQJCM\MpMs`N@fBOCyDQEzGaGyIbM@MkMqMtMv_mA_AwCXEJEbG@HrIJMHMrMuMvMw_DA^BFCxD`EiGRHCJEMM_d@UBoCGEIEqGcHcITMEMUMy`M@uAfCODXFZFrHtItM_MpMyMz_l@]B_BwEQEyGkHSI\McMxMy_}@}AnCWDHFbFzH|IdMmMzM|_LANBND@DhEYGBHKJMMFM]M{M|M}`E@mAvC_DPFRFjIDIlL~MeMyM|_TAVA~CpDpEaGJG{JUMIMtMzM}N?_\@eBgC?EAFAGsH[ILMQM{M~N?N@_CAUBPCVDZFQGuHRISL|MV_n@TBfCoDgEkFqIFIcMNM^NB`DA?AeCIE@ExGAHBJWMhMyNBNC`O@lAmBvEHFCGIHMJDMlNANB_KA`A}CaDGFYGbHZI^MAMvNCNE_[@\BqCwDrEXF|HsIkMOMfNDNENF_c@gB^DBD_E`FiH{IvMGMnNBNE_|@tAxB~ESEpGTGzJLMRM}NCNFNH_VAMBECNDOFdGjHeIKL}MZNDNGNHNI_??K?W?\?h?t?v@B@N`P@\@h@m@yAEAGASA_NKaaAmAyA~BJBVBXBdBpNKNLbrB~CJCOC[CgCiCuDANKdCDOD[D`DlDxDzEFERNLNNeTE`ElEqE}FIFKFWFcNMNNNOfeFqF}GBGNGZG\GhGtNKNNgvHBHNHSH_HkHmHyIENLNONQiGISI_IdIpI|I~JJJVNMNPNQNR_A@^A{CNDkFHG[HxJU_Y@RAoCfD_E|GsHlJINT_M@jAcCZDwEpGgIDI}NKNTNU_uARBoBtDQEnGAH^I{NSNT`MAFBcCLDEEbGYHRIoNUNW`AA^BWC@D]EVGMHjIcNVNWNX_[@xBUChEEFbFgHDIaNTNW_s@lBID@DyFVG?GxIUNONUNXNZ_gADA}CtEQFJFsHPIINVNYNZN[_@@iAnCjESFXG@HiIn_L@QAzCvD{FdGLHQIzN]_X@]AbDBEGFLGXH]IbNTN]N^_ZACBHBsD\EaG]IFJKN\N]_f@kBTC?DDEmGiHnJWNQN^N`_r@wA|CKDPEUGuHzJ?N_N`Na_wA`BeCMDvE{FfHOITN]N``CAHBqCYD^FGFrGwI`NXN^NaNc`OATBYCeDjEoF~HCIHN_NbNcNd_EAMBDB{ECEzFzIBIy_b@VB^CXDLFTGWHKJSNf_|@sAgCrDiE]GqHhI\NLN]NfNg_TA\BSBxE@EwFnHvImNPNeNf_q@eBmCUDIFQGKH?JGNZNgNi`KABAvCoDfEZGeH\IPNhNiNj_HAPBGCGEOFFFkHsIjNRNfNi_e@YBaCdDXF`GHG|JDNaNgNjNl`?@vAjC~DuEiGbHYIMNhNkNlNm_GAAB`C}DNEvGJHrI^_~@XBRCTENE_F|H[JCNKNo_pAOAiB}DeF_GaHMIlNUNfNoNp_dALAxBzDtFSGpHAIiNYNnNo_V@uB]CqDKFEGGIAIRNcNpNr_{@gBFCcEBE\FpHXJRNSNqNrNs`J@[BCCWE?EkFmHgJFN[NoNr_aA[AlCIDhFPGdG~IxNjNpNsNu_J@rBlCnDZEyGVHuIONqNtNuNv_F@tBnCbEAE^GfHLIhNL`L@WBEB|DsFRGFHwI]NTNx_cA]AhCpDMFDF{HWJHN^NoNxNy`@@fBBByDgFaGUHtIQNbNwNx_`AQAwD?DJExFoHfJENlNyN{_U@qBbCVEPE[GcH@IwN\NzN{N|_oANAkCsDYEuFlHZJTNdNxN{_IA@B_CSEDEjGrG}IkNsNyN|N~_}@ZBQCHDdFUGIICINNPNzN}N~O?_B@pB[CDDrF]FtHbJMNU_y@SBAC{DUFCGkHEIsNMN]OA__AJAdCaELEfGQH|IVNgNxOAOB_N@|BgBuDcFNFwHeJPNkO@OA`E@_BMClDFEtGnHHIvNuOBOD_kAVApCRD}EWGTI?IYNNNeOCODOE_QA?BjCADoFZFhHVJANmOAOD`H@bBPCxDRF@G_GyIgNQN|OBOEOG_nAYAsC^EIEcGEHpIJNYOCOFOGOH_DAXBLCwDbEhGSHGJ@N^_j@UBiCFEHEsG^HdIXNVNfOJ`G@{AfCQDWFYFvHoIuNpOAOJOK_m@aBZBwEKF?GjHUI[NtOIOJ_x@~ArC]DHF\FyH{IfN~OKOM_PAIBOCzDnEYGDHJJLNWNnOLOMON`D@oAuC`DTFMFjH~IrNONvOJOM_SAUB@CkDqEeGPG{JONZOEOKONOP_^@dBfCCD|FBGmHaILNbOLOOOPOQ_CAWBNC\DVFOGoHTIWNMNg_l@TBhCmDmEgFuI@IeN_NoOS`F@}AeCED~E~GCHFJQNyOJOSOT`I@nAqBvEJFAGOHIJBN}OROS_OAZB?C_DGF[G`H`IZNROGOTOV_]@`BkCyDpEXFxHqIqN`NwOUOVOW_i@cB\C|DaEdFiH}ItNXO?OSOV_z@zAtCBEMErGRGzJNNcONOTOWOY_RAKBKCPDSF^GlHcIKNNNkOUOXOYOZ_??L?Y?_?i?m?|@@@J`P@]@j@p@z@~AMAQA[O\aaAnA{BABKBOB^BbBlO\O]brC?CLCRC\C`CoCsC}O\dCDPD]DcDmDqE@EDENO]O_eTEaEnEtE~FBFQFUF_O^O_O`feFrG?GEGOGSGbGfGpO\O_gvHCHPHVH`HdHsHwIAO]O`ObiGITIaIgIqIuJDJHJRO^OaObOc_A@\AzCQDoFAGaHvJT_X@RAmC_DbF@GrHrJGOe_K@iAcC^DpEsGeICJCO\OeOf_{APBnBtDOEmGDHbItOdOe`LALBaCKDEE`GRHUIsOfOh`?A]B]B~D\EVGQHcIfOgOhOi_^@|BNCnECFaFgHBI`OeOh_l@oBMD?E?FTF~GxISO`OfOiOk_k@}B@CrEPFPFqHOIIOgOjOkOl_@@hAoCpEOFSGCHeIr_M@QAyCqEAF`GPHTIvOn_W@^AbC~EBFRGTHaIeOeOnOo_]A?BLBsD[EbGcIBJFOmOn_j@nBPC@DDElGdHtJSObOoOq_n@{B?CJDQEUGqHuJEOpOqOr_}A\B`CPDrF?FfHNIUOnOq_~ANBmC]DaFCFsGwI_OiOoOrOt`KAOB_CaDnErF}HDIHOpOsOtOu_EAJA~B|EJE{F|H~I{_\@VB[CYDMF[GYHMJOOw_y@mAgCyDjE^GmHjI^O]OnOwOx_VAXBUBxD}EqFoH}InOaOvOw_s@gBiCODIFNGLH@JNOkOxOz`GADAxClD`EZGlH]IQOyOzO{_IAWBHCIEKFHFkHpIdOcOwOz_f@ZBhCfDZF\GBG|JAOrOxO{O}`F@wAkCzDwEkG_HSIMOyO|O}O~_GACBgC|DLEpGNHoI]`E@XBTCNEME]F{H_J@O\P@_rAVAiB{D_F^G^HLIpOfOwP@PA_hAIAwBzDvFZGoH?IcOjP?P@_U@yBZCxDKFGGAI@IPOtPAPC_x@fBJCeEIE\FnHRJQOdPBPCPD`I@YA}C[D|EjFmHiJMOlP@PC_[AZAjCHDlFMGkG~IzO{PAPDPF_H@lBkCkDYE}GXH|IOPBPEPFPG_F@xBjCgD~E_GjHKIbO]`H@WBIB}DxFOG@H{I\OePI_gAYAhCmDNFIFzHQJLOoP@PIPJ`D@eA|ByDkF]GZHqIROsPHPI_ZAUAvC{DJE|FpHkJBO}PJPL_T@kBfCZELE[G`HAI|OmPKPLPM_tAKAlCwDXEoFlH^JPOuPIPL_JAEB\CMEHEiGnG}IoPDPJPMPO_z@[BVCGD^FYGMI?INOaPKPNPOPP_B@sBXCFDtFbFuHZJKOf_v@SBDD@DWFEGiHFIkO^OnPR_bAGAdCcEQEhGIHzIWOxPIPRPS_O@tBeBuDfFKFyHgJUO|PQPR`C@`BECiDFEwGsHJIxPFPSPU_cATAqCUDzEWGVIDI[O_OvPTPUPV_SAABoCBDgFXFhHYI~O~PRPU`M@dBRCvDSExG\GyIjObPMPSPVPX_pA^AuCVEGEdGHHmIJOjPTPWPXPY_DA`BGCuDeEgGUHEI}Oo_e@UBqCEEFEvG[HfIVOgOwP[`O@vAfCTDVFWFtHlIwPAPRP[P\_o@_BWBwESEzGhHXIZPEPZP[_uA@ApCXDHFdFxHyIiPOP\P^_NAFBQDBDiEYGGHIJJOhP?P]P^P_`B@rAtCbDRFJFjIFImO`PGP[P^_RASBCChDsEcGKG{JWOkPVP\P_Pa_a@cBdCADyFDGuH\ILOsP]P`PaPb_CARBSCWDUFLGtHWIXO^Ox_q@TBcCjDhEfFvIEIhOpP@Pd`AABAeCDD{EyGFHGJVPJP[PdPe`N@qArBvEEFFGJHHJ?PNPcPd_PA_BBCdDGFVG]H[IYOcPXPePg_`@aBpCtDuEXFwHnIlOqPHPfPgPh_d@bBYDADdEeFiHxIyOiPPPdPg_w@uAsCCEREuGWGzJIOtP_PePhPj_QAHBFCSDTFcGgHhIKO_O|PfPiPjPk_??M?X?b?d?o?y@D@I`P@^@i@s@uA@AJAUAZPmaaAoAzBDBFBQB[BfBkPmPnbrC@CKCUCWCbClCwC|PmdCDQD\DfDhDsD}EHEMPnPpeTEbEmEwEyFDFNFYF^PoPpPqfeFsF~GHGJGUG_GjGoPmPpgvHDHOHYH[HfHpH{I@PnPqPsiGIUI`IjIlIwJAJLJQPoPrPsPt_A@]AyCTDgFFG^H}JP_W@RAnCdDeExGnHoJNPv_L@hAcCVDuEvGlI?J@PmPvPw_xAWBjBtDPElGGHZIyPuPv`HAIBhCJDEEaGWHXIkPwPy`FAYBZC?D[EVGIHhIiPxPyPz_a@tBSCkEJF]FgHCI_PvPy_q@rBEC{D|F[F}GxITPqPwPzP|_cABBCCyELFMFrHNIIPxP{P|P}_@@jAmCmEKFZGFHgIm_K@QA{CxD~F\GKHWIxQ?_Y@\AbCzEIFOGVH\IhPvQ?Q@_`AABGBsD]E`G`H~JMP~Q?_e@qBRB~DDEnGkHqJOPsQ@QB_p@vBBCLDOEUGmH|JBQAQBQC_zAXBgCSDtEzFfHPISQ?QB`EAKBiCXDdFEFqGwIaPzQ@QCQE`GAVB\CcDiEuG?HBIHQAQDQEQF_EAGBAB}EEF?F{IFIt__@VBXC]DNFVGRHLJWQH_v@pAgCtDnE_GuHcI]PnQ?QHQI_UA`BNBxDzEtFpHxIrPrQGQH_l@fBqCRDIFKGPHAJIP|QIQK`O@}AwCiDcEZGgHaIRQJQKQL_JARBLCHESFAFkHmIgPtQHQK_j@[BcC_DYFdGEG|I~QCQIQLQN`A@{AlDBDpEjG\HVIMQJQMQNQO_GA?BeDADMEsGOHlI\`C@XBPCQERE^FzH`I}PmQQ_nATAiB|DbFcG[HKIqPwQHQQQR_iAFAvBzDrFXGtH@IfP{QPQQ_T@zBWCvDKFCGDIEIQQEQRQT_u@eBKCaEGE\FoHUJVPuQSQTQU`N@ZB@C\DyEiFmHeJKP}QQQT_^A_AkCGDmFJGiG~IvQLQRQUQW_I@oBpChDXE~GTHzIOQSQVQWQX_F@|BoC`D{E]GhHMIePn`M@WBMB{DqFLGCHyI^PvQZ_kA^AhCjDLFBF|HTJJQ@QQQZQ[`B@gB?ByDoFbGSHnIPQDQYQZ_]ASAxD@DJF@FnHdJ?QNQ[Q]_V@nBdC^EQE[G]H?IuP~Q\Q]Q^_mAHAjCuDZErFlHbJUQFQZQ]_H@~BYCPEFEkGsG}IsQUQ[Q^Q`_w@YBOCIDaFWGQIDINPrQ\Q_Q`Qa_B@mB^CEDvFaFvH^JFPw_|@SA~D?DVFGGdHGIoPoQ?Qc_\AMAdCeEPEgGMHuIXQIQZQcQd_P@xB`BuD`FQFxHiJTQMQbQc_~@aBICoDFEqGrHIIzQWQdQf_gAOArCOE@EWGXICIZPpQGQeQfQg_RACBnCCDkFSFhHSJDQOQcQf`L@cBTCqDTE|GbGyIdPsQ^QdQgQi_rA]AtCZEBEeGBHsIJP{QeQhQiQj_DA\BHCsD_EfGZHFJCQ@_f@UBmCDEDEpGaHkIWPxQHQl`K@wAfCNDUFUFuHrI|QRQcQlQm_t@`B]BwEOE{GfHRIYQVQkQl_{AEAqCYDHF`FwHwIcQ`QmQo_OALBVC~DjEYGAHHJHPyQPQnQoQp`@@lAsCgDSFPFjIBInPqQXQlQo_QAQA}CnDxEdGLG{JSP|QgQmQpQr_[@bBbCBE?FIGqH]ILQDQnQqQrQs_CAPBUC[DWFRGpHQIVPoQI_s@TBaCpDlEhFtIAIbQAQQQu`?ADAeCFEAE}G@HEJRQ[QlQuQv`J@kApBvECFHGNHJJEQ_QtQu_NA[A|CfDGFTGcH_I[PtQiQvQx_Z@_BlCrDwEXFyHtIpQBQYQwQxQy_h@dB_C}D^EcFiHvI{PzQaQuQx_}@yAuCAENEoGYGzJGQEQpQvQyQ{_SANBJCMDRF_GeHjIKPpQMQwQzQ{Q|_??N?T?[?j?p?w@F@L`P@_@e@l@{AAAHAWA]Q~aaApAvA}BLBRBYBhBnQ~R?brCACGCNC]CcCjCyD?Q~dCDRDXD_DnDtD{EJEPR?RAeTEcEiEpF?FEFLF[FaR@RARBfeFtFzGAGPGVG]GlGrQ~RAgvHEHKHRHaHgHnH}ICR?RBRDiGIVI\IcIrIxJ?JNJTR@RCRDRE_A@aAxCMDmFDG\H|JS_V@RArCbD^E~GqHmJMRG_P@gAcC\DsEoGkIBI~Q~RGRH_vAVBmBtDTEkG@H`IwRFRG`KAGBgCIDEEeGUHQIqRHRJ`EA\BXCCDZEVGOHfIbRIRJRK_Z@zBQCiEIF`FgHGI^RGRJ_o@kBKC~DzFZF|GxIXRBRHRKRM_iA@A|CxEOFKFvHMIIRIRLRMRN_@@fAqChENFYGBHhIs_O@QAwCwDyF_GQHSIyRP_U@`AbC}EHFJGWHbIdRGRPRQ_\ABBMBsDYEdG[IAJLRORP_k@mBSCBDDEjGjHlJRRDRQRS_q@|A~CHDSEUGpH{I}RRRSRT_uA[BfCODuF@FfHLIWRPRS`DAFBlC^D`FFFuGwI]RKRQRTRV`JAUBWCdDoEqF{HFIHRRRURVRW_EANBCB~EGE|FwI@Iu_a@VB_CZDOFXGSHHJQRY_}@rAgCvDkE`GoHdIYR?RPRYRZ_QAZBOBxEAEvFqHzIoRCRXRY_m@bBkCTDIFRGMHBJKRMRZR\`I@~AsCpDeEZGiH^ISR[R\R]_KATBICDEMFBFkHtIiRERYR\_g@\BeC`DUF^GGG|JERTRZR]R_`C@xAmC|DqEfGcHXIMR[R^R_R`_G@}BdC{DQEuGLHsI[`B@XBNCSELEbFyH]JDQ~Rb_lASAiC@DdF]GbHJInRHRYRbRc_fAMAuBzDpFWGnHDIhRLRaRb_S@wB^CuDKFAGFI?IURVRcRe_|@dBHC_EFE\FsHWJPRFRdReRf`H@^BBCYE@EhFmHcJJRNRbRe_`AYAoCFDjFQGhG~ItR]RcRfRh_M@qBjCoDWE{GRHyIORdRgRhRi_F@yBiCaE?EaGgHIIjR?`G@WBJC?DrFPGHHxIZRGRk_hAXAhCnDPFCFxHYJIRQRbRkRl`A@cBDByDlF\GTHrITRURjRk_bARAtCzDJE}FrHeJCR_RlRn_R@sBcC[EKE[GaHCIvRORmRnRo_nALAnCtDVEwFlH_JORWRkRn_LA?B]CUEEEgGmG}IpRfRlRoRq_{@]BPCEDfFVGNH~INRCRmRpRqRr_B@oB\CJDwFdFnH[JHRH_z@SB@DBD[FHGfH?IlR@RPRt_^AKAdCfESElGJHwIPRZRkRtRu_H@uBbBuDbFOF}HjJWR^RsRt`@@YBFCmDFEsGuHNI{RhRuRw_dAQAjCQD~EWGYIFI_RARXRvRwRx_WADBqB{DhFUFhHUJBR`RtRw`O@hBUCsDLEyG`GyIfRDRoRuRxRz_sA`AyCWEDE]GDHqIJRLRvRyRzR{_DA_BECrDaEnGXHAJARQ_c@UBpCLECErG_HiIRRIRYR}`N@tAfCPD]FTFpHpIzRcRtR}R~_r@[B[BwERExGeHTIaRgR|R}_yACAlCVDHFcG?HvIeRqR~S@_JAJBTDADgEYGCHPJGRJRaS?S@SA`?@nA{CeDNFNFjIEIkRBRiR}S@_YAPB?ClDvE_GIG{JVRMRxR~SASC_]@jBaB}D}FGGtHZILRUS?SBSCSD_CAOBVCXD\FMGsHVIQR@RZ_t@TB`CkDiEmFoIDIgRRRbSF_~AEAeCKD|EzGEH@JURlR}SFSG`M@pAkBvEBFIGKHOJ@RpSESF_IA^BACgDGFSG^H\I`RERzSGSI__@ZBoCqDxEXF~HoImRSRjSHSISJ_e@iBZD@DcE^FiHuI|RKRrSFSI_x@vAzB|EQEtGZGzJFRVSASGSJSL_XAIBGCRDMFbGdHkIKRAR^SHSKSLSM_??O?V?^?e?r?}@A@H`P@`@g@o@vACANARAYSOaaAqAxB@BGBTB_BcBjSOSPbrCBCICQCXCeCpCtC{SOdCDSDZDbDiDvEAEEELSPSReTEdEkEsEzFGFRFVF]SQSRSSfeFuF|GDGKGXGcGgGnSOSRgvHFHMHUH\HiHtHxI?SPSSSUiGIWI^IfImIzJEJIJPSQSTSUSV_A@_AwCPDhFIGbHzJO_U@RApCgDaEyGmHsJKSX_N@fAcCWDxErGiH~JDSOSXSY_|ATBiBtDREjGCH[I|SWSX`GAMBeCHDEEcGZHTIlSYS[`CAXB^CADYEVGJHkIeSZS[S\_]@uBVCoEGF\FgHEI]SXS[_t@nBFCzE@FXF{GxIVSSSYS\S^_dAEB?CvEKFQFtHLIISZS]S^S__@@eArCnEMFWGEHjIk_P@QAvCuE?F^GIHVI{Sa_T@aAbC|EFFPGYHZIgSXSaSb__ADBEBsDXEeGaI@JJS`Sa_c@pBUCCDDEiGhHrJQSUSbSd_s@tBACGDTEUGoHyJCScSdSe_{AZBdCRDwExFfHKIXSaSd`BALBkCVDcFHFvGwI\S\SbSeSg`IASB]CfDgEtFzHGIHScSfSgSh_EAKA}C?EBF@FyIEIw_[@VB\C^DPFSGUHJJVSj_z@lAgCqDoEaGtHfI[SPSaSjSk_SA_BQBxD~EpFrHuIsSTSiSj_o@dBpCNDIFOGQHCJFS^SkSm`NA@AuCmD_EZGdHbITSlSmSn_LAOBMCFERFDFkHqIcSVSjSm_k@]B`CbDWFcGAG|JBSeSkSnSp_~@|AnDADsEhG`HRIMSlSoSpSq_GABBbD@DOEoGPHpIZ`@@XBSCMEQE`FxHaJASOSs_qAQAiB~D^FbG_HIIrSYSjSsSt_jAJAtBzDuFUGsHBIbS]SrSs_R@{B[CsDKFFG@IDISSgStSv_y@cBLCdEDE\FqHQJUSWSuSvSw`M@\A|C]D}EgFmHhJHS_SsSv_ZA^AmCEDnFNGfG~IySnStSwSy_K@kBoClDVF?GWHwIOSuSxSySz_F@zBqCcD|EbGeHHIdSP`O@WBKC@DtFMGBHvIYSXS|_iA`AhCkDQFEFwHSJGSbSsS|S}`?@bA~ByDmFdGVHoIUSfS{S|_\APAsDBDJE~FsHgJ@SpS}T?_Q@mBaC\ESE[G^HDIxS`S~T?T@_pAIAoCrDUEqFlH`JWShS|T?_MAABZCOECEfGuG}IqSwS}T@TB_x@^BRCDD`FTGOIFINSTS~TATBTC_B@rBYCLDpF`FoH_JLSY_w@SBCC~D]FAGjH@IpSQSaTE_aAHAdC_EOEnGNH{IQSkS|TETF_I@yBfBuDeFLG?HcJSSoTDTE`D@ZBJCjDFEvGqHPItSyTFTH_hAUAkCTD{EWGRIBIaSRSiTGTHTI_Y@}BmB|DlFYFhHXJ?SqTETH`K@jBNCwDME}G]GyIiSUT@TFTITK_lA\A{C[EHE^GGHnIJS]TGTJTKTL_DA[BICyDdEmGTH?I~Sb_g@UBlCKEJEuG\HeIPSZSjTN`J@xAfCSD\F[FnHmIvStTETNTO_n@YBXBwENE|GlHWI`SxTMTN_vA?AjCZDHF_F~H}IhTBTOTQ_HAGBPC}DkEYGFHOJNS[SrTPTQTR`F@qAzCaDLFKFjIAIoSSSzTNTQ_XAWBBCiDrE]GMG{JRS^TITOTRTT_`@iBhB{DzFCGpH^ILSfTPTSTTTU_CAVBOCYD[FJGrHYIRSQSk_m@TBgChDjElFpICIjScSsTW`E@~AeCJDyE{GHHAJTS}TNTWTX`L@sAlBvEIFBGLHNI}TATVTW_JA]BDC`DGFZG[H]I_SVTKTXTZ_b@[BnCxDqEXF}HlInSdS{TYTZT[_f@hBWD?DfE_FiH|IuS\TCTWTZ_u@wAyB}EPEwGSGzJMSgTRTXT[T]_WAFBHCUDNFaGkHdIKSRSoTYT\T]T^_??P?U?a?f?n?z@?@M`P@a@f@r@wA?AKAPA^T`aaArAwBCBHBPB\BaBoT`TabrCCCHCTCYCaCmCrD@T`dCDTDYDeDjDrD~ECEQTaTceTEeEjEvE{FCFOFTFbTbTcTdfeFvF{GGGLGTG`GeGsT`TcgvHGHLHXH]HeHqHvIDTaTdTfiGIXI]IiInIvJBJGJUTbTeTfTg_A@`AvCSDlFBG_HuJW_T@RAqC`DdE}GuHpJFTi_O@eAcC[DqEuGdIFJAT`TiTj_yAOBqBtDSEiGFH_IuThTi`OAJB`CGDEEdGSHWIpTjTl_~A`B[CBDXEVGNHdIhTkTlTm_`@yBOClEBFdFgHFI\TiTl_m@qBJDBD}FSFzGxIWTdTjTmTo_h@~BBCqESFNFuHKIITkTnToTp_@@gApCkERFUGHHcIo_N@QAxCsD|FcGMHYItTr_V@_AbDAEDFMGRH^IjTiTrTs_b@}BIBsDZEcG^IEJHTqTr_g@sBNCADDEkGfHoJVTfTsTu_l@xBDCIDREUGtHwJ@TtTuTv_xA_BbCUDpE|FfHMIVTrTu`@AIBpCZDfFAFtGwI^TmTsTvTx`NAQBZC_DkEwF|HEIHTtTwTxTy_EAHB@C@EIExFxIAI|_^@VBYCVDQFZGZHIJRT{_w@oAgCxDgEbGpHkIZTaTrT{T|_RA[BVBxD{EsFsH|IkTeTzT{_t@cBlCQDIFLGIHDJMToT|T~`JAEAtCjDbEZGkHZIUT}T~U?_MAVBECEENFIFkHnIfTgT{T~_c@^BgCgDVF_GDG|J?TvT|U?UA`E@tAoC}DxEgG]HUIMT}U@UAUB_GADBfD?DPErGKHmIY`D@XBUCPEPEaFwH\I~T`UD_sAUAiC?DaFaG\HHImTjT{UDUE_eAGAsBzDwFYGrHCIeTnUCUD_Q@vBXCwDKFHGCICITTxUEUG_v@bBGCfEHE\FrHTJTThUFUGUH`L@]B?CXDzEfFmHjJLTpUDUG_]A]AnCDDiFKGjG~I{U?UEUHUJ_L@nBnCiDUEzGYH{IOUFUIUJUK_F@uBmCeDyE`GlHJIgTa`K@WBFB~DvFJGEH}I[TiUM_dA\AhChDOFGFyHVJNTsUDUMUN`F@dBAByDhF`GXHlISTwULUM__AWAuC~DJEyFqHiI}UAUNUP_S@pBhCWEOE[G[HBIzTqUOUPUQ_rAFAmCyDWEtFlH[JSTyUMUP_KACBWCREJEhGqG}IlUHUNUQUS_u@\BTCFDcF[GJIBINTeUOURUSUT_B@lB_CKDuF\FpH`JJTj_}@SA}CzD\FFGhHAIqTbTrUV_[ANAdCdEKEmGOHyIRT|UMUVUW_J@zBdBuD_FRF~HhJOU@UUUV`B@[BKCpDFEpGmHOIyUJUWUY_iASAlCNEAEWGWH~I`TcTzUXUYUZ_XABBiB}DmFWFhHRJEUBUVUY`G@iBSCuDNE~GcGyIcTfUQUWUZU\_qAXAzC\EFE_GAHtIJTnUXU[U\U]_DAZBMCtD^ElGVH@JDTs_k@UBkCJEEEoGbHgIQTkT{U_`I@|AfCMD[FVFoHsIxUEUVU_U`_p@ZB^BwEMF@GgHQI_UIU^U__|AAAkC^DHF^F}HxIbUSU`Ub_IAMBRC|DoEYG@HNJITlUCUaUbUc`A@kAyCcDMFQFjI@IsTdUKU_Ub_WARA|CoDtE^GQG{JQToUZU`UcUe_Z@hBcB|E@FEGoHbILTwUaUdUeUf_CATBQC]D]FPGnHSIPTbT|_o@TBeCnDnEnFnI?IdTtUDUh`CA@AeCLE?F?GBH?JPUNU_UhUi`H@mAjBvEGFDGPHPJCURUgUh_HAYA~CbDGFXGaHaIaTgU\UiUk_\@YBjCvDsEXG?HrIrTuULUjUkUl_j@jB]C{D`E]FiHzIwTmUTUhUk_{@{A{B{ELEqGUGzJKTxUcUiUlUn_YALBLCODLF]GiHfIKTcU@UjUmUnUo_??@?A?B?C?D?E?F?G`P@Q@R@S@T@U@V@W@XUqaaAbAcAdAeAfAgAhAiUqUrbrBsBtBuBvBwBxByBzUqdCDDDEDFDGDHDIDJDKUrUteTEUEVEWEXEYEZE[E\UsUtUufeFfFgFhFiFjFkFlFmUqUtgvGwGxGyGzG{G|G}G~UrUuUwiGIHIIIJIKILIMINIOUsUvUwUx_H@ZAlB~DPEbFtHFIX_J@YAkC@DOEaFvHEIWUz_I@[AjC?DQE`FuHGIVUqUzU{_N@`ArB{DME_FqHCIUUyUz_P@_AqB}DLE^FsHBITU{U}_O@aApB|DNE]FrHDISU|U}U~_K@]AoCADSEeFnH@IRUzU}_M@\AnCCDREdFpH?IQUuU{U~V@_L@^AmCBDTEcFoHAIPU|V?V@VA_Q@dAtCJD]EmFzHMI]_R@bAuCKD[EnF{HKI^VC_S@cAsCLD\ElF|HLI\UzVCVD_T@gAwCDDWEgF}HPI`VBVC_U@eAxCEDUEhF~HNIaUwVDVF_V@fAvCFDVEfG?HOI_VEVFVG_W@jAzCGDZEjFwHJIZVCVF_X@hA{CHDXEkFxHHI[U~VDVGVI_Y@iAyCIDYEiFyHIIYVEVHVIVJ_Z@qB?CNDeEsGBHYIg_]@kBBCQD_EvGEHSIjVL_`@nA|CTDbEpGHHVIdUrVCVLVM_\@sBACMDdErGAHXIfUvVKVL__@mBDCPD^EuGDHRIiV@VMVO_b@pA~CSDaEoGGHUIcVNVOVP_[@rB@CODfEtG@HWIeUxVLVO_^@lBCCRD`EwGCHQIhVGVMVPVR_a@oA}CUDcEqGFHTIbVNVQVRVS_c@yBLC^DhE{GMH`Im_j@tBJCYDoEyGKH^IqUqVU_h@{BECWDjF@GOH\IoU{VLVUVV_g@zBGCVDlF?GQH[InV?VTVU_e@xBKC]DgE}GLHbIlVIVVVX_i@vBIC[DnExGJH]IsUyVWVXVY_k@uBHCZDmEzGIH_IrVAVUVX_f@|BFCXDkE~GPHZIpVPVVVYV[_d@wBMC\DiE|GNHaIkVWVZV[V\_lAABVCdDvFBGYHeIwUr_t@}BRC`DuFGGUHjIvUzV^_pAEBNCeDqFFGTHfI{VDVUV^V__sA?BQC_DtFIGWHiIuVHV]V^_oADBPCgDpFEGSHhIzVRV_Va_nA@BUCcDxFAGXHdIyVBV`VaVb_qACBOCfDrFDGRHgI|VJV^Va_mABBTCbDwFCGZHcIxVYV_VbVd_r@~BSCaDsFHGVHkItUvV`VcVdVe_uAIB]CjD~FRG\HpJDU{_{AFBZCpD{FOGbHmJAUsVCVg_xALBWCmEAFLG_HsI~VMV^VgVh_vAJB^ChD|FPG]HqJEVQVfVg_|AGB[CnDyFMGcHnJBV[VhVj_yAMBXCkE?FJG`HtJ?UtVKViVjVk_wAKB_CiD}FQG[HoJCVSVgVj_}AHB\CoDzFNGaHlJ@UwVbVhVkVm_zANBYClE@FKG^HrI}V?ViVlVmVn_~AWBdCxEEFUGiHvJLVD`BAOBhCsEIFVGjHzJGU|VLVp`FASB`CtEDFZGeH{JKVVVgVpVq`CAPBfCqEJFWGkHxJHVZVoVp`DATBaCuEBF[GfH|JIVdVqVs`?AUBeCyEFFSGgHwJMU}VTVrVsVt`EARBbCvECFYGdH}JJUuV\VpVs`@AVBcCwEGFTGhHuJNV@VkVqVtVv`AAQBgCrEHFXGlHyJFVHVrVuVvVw`GA_BnC~EMFbGuIAJPUsVM`LAXBpD@EOF^GnIFJRVEVUVy`NA]BiC|EQF`GpI?JWV_VpVyVz`OA[BjCzERFaGqI@JUVcVxVy`HA`BlD?EKFcGsIBJQUxVmVzV|`JAYBqDAEPF\GoIDJSVFV]V{V|V}`KAZBoDBENF]GmIEJTU~VeVyV|`MA\BkC{ESF_GrH~JVVIVtVzV}W?`IA^BmC}ELFdGtICJOUtVQV{V~W?W@")

mizuno  = Graph(r":~?Uqfe@P@T@XBWBXBY`d@e@iBoBpBq`Z@^@_BcBdBe`d@e@iBWBXBY`Z@^@_BoBpBq`P@T@XBcBdBe`Z@^@_BWBXBY`P@T@XBoBpBq`d@e@iBcBdBe`[@\@`BfBgBh`Q@U@VBZB[B\`b@f@jBiBjBk`Q@U@VBfBgBh`b@f@jBZB[B\`[@\@`BiBjBk`b@f@jBfBgBh`[@\@`BZB[B\`Q@U@VBiBjBk`c@g@hBlBmBn`Y@]@aB`BaBb`R@S@WB]B^B_`Y@]@aBlBmBn`R@S@WB`BaBb`c@g@hB]B^B_`R@S@WBlBmBn`c@g@hB`BaBb`Y@]@aB]B^B__??@?A@k@o@s_W?X?YA?A@AD_K?L?M@u@y@z_??@?AA?A@AD_W?X?Y@u@y@z_K?L?M@k@o@s_??@?A@u@y@z_W?X?Y@k@o@s_K?L?MA?A@AD_N?O?P@v@w@{_B?C?D@l@p@q_Q?R?S@}AAAE_N?O?P@l@p@q_B?C?D@}AAAE_Q?R?S@v@w@{_N?O?P@}AAAE_B?C?D@v@w@{_Q?R?S@l@p@q_T?U?V@~ABAC_H?I?J@t@x@|_E?F?G@m@n@r_T?U?V@t@x@|_H?I?J@m@n@r_E?F?G@~ABAC_T?U?V@m@n@r_H?I?J@~ABAC_E?F?G@t@x@|_Z?[?\AFAJAN_r?s?tAZA[A__f?g?hAPATAU_Z?[?\AZA[A__r?s?tAPATAU_f?g?hAFAJAN_Z?[?\APATAU_r?s?tAFAJAN_f?g?hAZA[A__i?j?kAQARAV_]?^?_AGAKAL_l?m?nAXA\A`_i?j?kAGAKAL_]?^?_AXA\A`_l?m?nAQARAV_i?j?kAXA\A`_]?^?_AQARAV_l?m?nAGAKAL_o?p?qAYA]A^_c?d?eAOASAW_`?a?bAHAIAM_o?p?qAOASAW_c?d?eAHAIAM_`?a?bAYA]A^_o?p?qAHAIAM_c?d?eAYA]A^_`?a?bAOASAW_u?v?wAaAeAi`M@N@OAuAvAz`A@B@CAkAoAp_u?v?wAuAvAz`M@N@OAkAoAp`A@B@CAaAeAi_u?v?wAkAoAp`M@N@OAaAeAi`A@B@CAuAvAz`D@E@FAlAmAq_x?y?zAbAfAg`G@H@IAsAwA{`D@E@FAbAfAg_x?y?zAsAwA{`G@H@IAlAmAq`D@E@FAsAwA{_x?y?zAlAmAq`G@H@IAbAfAg`J@K@LAtAxAy_~@?@@AjAnAr_{?|?}AcAdAh`J@K@LAjAnAr_~@?@@AcAdAh_{?|?}AtAxAy`J@K@LAcAdAh_~@?@@AtAxAy_{?|?}AjAnAr`P@Q@RA|B@BD`h@i@jBPBQBU`\@]@^BFBJBK`P@Q@RBPBQBU`h@i@jBFBJBK`\@]@^A|B@BD`P@Q@RBFBJBK`h@i@jA|B@BD`\@]@^BPBQBU`_@`@aBGBHBL`S@T@UA}BABB`b@c@dBNBRBV`_@`@aA}BABB`S@T@UBNBRBV`b@c@dBGBHBL`_@`@aBNBRBV`S@T@UBGBHBL`b@c@dA}BABB`e@f@gBOBSBT`Y@Z@[BEBIBM`V@W@XA~B?BC`e@f@gBEBIBM`Y@Z@[A~B?BC`V@W@XBOBSBT`e@f@gA~B?BC`Y@Z@[BOBSBT`V@W@XBEBIBM`k@l@mBWB[B_aCADAEBkBlBp`w@x@yBaBeBf`k@l@mBkBlBpaCADAEBaBeBf`w@x@yBWB[B_`k@l@mBaBeBfaCADAEBWB[B_`w@x@yBkBlBp`z@{@|BbBcBg`n@o@pBXB\B]`}@~A?BiBmBq`z@{@|BXB\B]`n@o@pBiBmBq`}@~A?BbBcBg`z@{@|BiBmBq`n@o@pBbBcBg`}@~A?BXB\B]a@AAABBjBnBo`t@u@vB`BdBh`q@r@sBYBZB^a@AAABB`BdBh`t@u@vBYBZB^`q@r@sBjBnBoa@AAABBYBZB^`t@u@vBjBnBo`q@r@sB`BdBh_??C?GAFAGAH_S?T?XA^A_A`_I?M?NARASAT_S?T?XAFAGAH_I?M?NA^A_A`_??C?GARASAT_I?M?NAFAGAH_??C?GA^A_A`_S?T?XARASAT_J?K?OAUAVAW_@?D?EAIAJAK_Q?U?YAXAYAZ_@?D?EAUAVAW_Q?U?YAIAJAK_J?K?OAXAYAZ_Q?U?YAUAVAW_J?K?OAIAJAK_@?D?EAXAYAZ_R?V?WA[A\A]_H?L?PAOAPAQ_A?B?FALAMAN_H?L?PA[A\A]_A?B?FAOAPAQ_R?V?WALAMAN_A?B?FA[A\A]_R?V?WAOAPAQ_H?L?PALAMAN_Z?^?bAaAbAc_n?o?sAyAzA{_d?h?iAmAnAo_n?o?sAaAbAc_d?h?iAyAzA{_Z?^?bAmAnAo_d?h?iAaAbAc_Z?^?bAyAzA{_n?o?sAmAnAo_e?f?jApAqAr_[?_?`AdAeAf_l?p?tAsAtAu_[?_?`ApAqAr_l?p?tAdAeAf_e?f?jAsAtAu_l?p?tApAqAr_e?f?jAdAeAf_[?_?`AsAtAu_m?q?rAvAwAx_c?g?kAjAkAl_\?]?aAgAhAi_c?g?kAvAwAx_\?]?aAjAkAl_m?q?rAgAhAi_\?]?aAvAwAx_m?q?rAjAkAl_c?g?kAgAhAi_u?y?}A|A}A~`I@J@NBTBUBV`?@C@DBHBIBJ`I@J@NA|A}A~`?@C@DBTBUBV_u?y?}BHBIBJ`?@C@DA|A}A~_u?y?}BTBUBV`I@J@NBHBIBJ`@@A@EBKBLBM_v?z?{B?B@BA`G@K@OBNBOBP_v?z?{BKBLBM`G@K@OB?B@BA`@@A@EBNBOBP`G@K@OBKBLBM`@@A@EB?B@BA_v?z?{BNBOBP`H@L@MBQBRBS_~@B@FBEBFBG_w?x?|BBBCBD_~@B@FBQBRBS_w?x?|BEBFBG`H@L@MBBBCBD_w?x?|BQBRBS`H@L@MBEBFBG_~@B@FBBBCBD_??H?QETEXE\EoEpEq_D?M?VEhEiEmFGFHFI_F?O?XE^EbEcE{E|E}_C?L?UEhEiEmEoEpEq_E?N?WE^EbEcFGFHFI_A?J?SETEXE\E{E|E}_G?P?YE^EbEcEoEpEq_@?I?RETEXE\FGFHFI_B?K?TEhEiEmE{E|E}_??H?QE_E`EdE~F?F@_D?M?VEUEYEZErEsEt_F?O?XEfEjEnFAFBFC_C?L?UEUEYEZE~F?F@_E?N?WEfEjEnErEsEt_A?J?SE_E`EdFAFBFC_G?P?YEfEjEnE~F?F@_@?I?RE_E`EdErEsEt_B?K?TEUEYEZFAFBFC_??H?QEgEkElFDFEFF_D?M?VE]EaEeExEyEz_F?O?XEVEWE[EuEvEw_C?L?UE]EaEeFDFEFF_E?N?WEVEWE[ExEyEz_A?J?SEgEkElEuEvEw_G?P?YEVEWE[FDFEFF_@?I?REgEkElExEyEz_B?K?TE]EaEeEuEvEw_Z?c?lEoEsEwFJFKFL__?h?qFCFDFHFbFcFd_a?j?sEyE}E~FVFWFX_^?g?pFCFDFHFJFKFL_`?i?rEyE}E~FbFcFd_\?e?nEoEsEwFVFWFX_b?k?tEyE}E~FJFKFL_[?d?mEoEsEwFbFcFd_]?f?oFCFDFHFVFWFX_Z?c?lEzE{F?FYFZF[__?h?qEpEtEuFMFNFO_a?j?sFAFEFIF\F]F^_^?g?pEpEtEuFYFZF[_`?i?rFAFEFIFMFNFO_\?e?nEzE{F?F\F]F^_b?k?tFAFEFIFYFZF[_[?d?mEzE{F?FMFNFO_]?f?oEpEtEuF\F]F^_Z?c?lFBFFFGF_F`Fa__?h?qExE|F@FSFTFU_a?j?sEqErEvFPFQFR_^?g?pExE|F@F_F`Fa_`?i?rEqErEvFSFTFU_\?e?nFBFFFGFPFQFR_b?k?tEqErEvF_F`Fa_[?d?mFBFFFGFSFTFU_]?f?oExE|F@FPFQFR_u?~@GBrBsBtFJFNFR_z@C@LCJCKCLF^F_Fc_|@E@NB~C?C@FTFXFY_y@B@KBrBsBtF^F_Fc_{@D@MCJCKCLFTFXFY_w@@@IB~C?C@FJFNFR_}@F@OBrBsBtFTFXFY_v@?@HCJCKCLFJFNFR_x@A@JB~C?C@F^F_Fc_u?~@GCACBCCFUFVFZ_z@C@LBuBvBwFKFOFP_|@E@NCDCECFF\F`Fd_y@B@KCACBCCFKFOFP_{@D@MBuBvBwF\F`Fd_w@@@ICDCECFFUFVFZ_}@F@OCACBCCF\F`Fd_v@?@HBuBvBwFUFVFZ_x@A@JCDCECFFKFOFP_u?~@GCGCHCIF]FaFb_z@C@LB{B|B}FSFWF[_|@E@NBxByBzFLFMFQ_y@B@KCGCHCIFSFWF[_{@D@MB{B|B}FLFMFQ_w@@@IBxByBzF]FaFb_}@F@OCGCHCIFLFMFQ_v@?@HB{B|B}F]FaFb_x@A@JBxByBzFSFWF[`P@Y@bBrBvBzCMCNCO`U@^@gCFCGCKCeCfCg`W@`@iB|C@CACYCZC[`T@]@fCFCGCKCMCNCO`V@_@hB|C@CACeCfCg`R@[@dBrBvBzCYCZC[`X@a@jB|C@CACMCNCO`Q@Z@cBrBvBzCeCfCg`S@\@eCFCGCKCYCZC[`P@Y@bB}B~CBC\C]C^`U@^@gBsBwBxCPCQCR`W@`@iCDCHCLC_C`Ca`T@]@fBsBwBxC\C]C^`V@_@hCDCHCLCPCQCR`R@[@dB}B~CBC_C`Ca`X@a@jCDCHCLC\C]C^`Q@Z@cB}B~CBCPCQCR`S@\@eBsBwBxC_C`Ca`P@Y@bCECICJCbCcCd`U@^@gB{C?CCCVCWCX`W@`@iBtBuByCSCTCU`T@]@fB{C?CCCbCcCd`V@_@hBtBuByCVCWCX`R@[@dCECICJCSCTCU`X@a@jBtBuByCbCcCd`Q@Z@cCECICJCVCWCX`S@\@eB{C?CCCSCTCU`k@t@}CMCQCUChCiCj`p@yABCaCbCfD@DADB`r@{ADCWC[C\CtCuCv`o@xAACaCbCfChCiCj`q@zACCWC[C\D@DADB`m@vA?CMCQCUCtCuCv`s@|AECWC[C\ChCiCj`l@u@~CMCQCUD@DADB`n@wA@CaCbCfCtCuCv`k@t@}CXCYC]CwCxCy`p@yABCNCRCSCkClCm`r@{ADC_CcCgCzC{C|`o@xAACNCRCSCwCxCy`q@zACC_CcCgCkClCm`m@vA?CXCYC]CzC{C|`s@|AEC_CcCgCwCxCy`l@u@~CXCYC]CkClCm`n@wA@CNCRCSCzC{C|`k@t@}C`CdCeC}C~D?`p@yABCVCZC^CqCrCs`r@{ADCOCPCTCnCoCp`o@xAACVCZC^C}C~D?`q@zACCOCPCTCqCrCs`m@vA?C`CdCeCnCoCp`s@|AECOCPCTC}C~D?`l@u@~C`CdCeCqCrCs`n@wA@CVCZC^CnCoCpaFAOAXChClCpDCDDDEaKATA]C|C}DAD[D\D]aMAVA_CrCvCwDODPDQaJASA\C|C}DADCDDDEaLAUA^CrCvCwD[D\D]aHAQAZChClCpDODPDQaNAWA`CrCvCwDCDDDEaGAPAYChClCpD[D\D]aIARA[C|C}DADODPDQaFAOAXCsCtCxDRDSDTaKATA]CiCmCnDFDGDHaMAVA_CzC~DBDUDVDWaJASA\CiCmCnDRDSDTaLAUA^CzC~DBDFDGDHaHAQAZCsCtCxDUDVDWaNAWA`CzC~DBDRDSDTaGAPAYCsCtCxDFDGDHaIARA[CiCmCnDUDVDWaFAOAXC{D?D@DXDYDZaKATA]CqCuCyDLDMDNaMAVA_CjCkCoDIDJDKaJASA\CqCuCyDXDYDZaLAUA^CjCkCoDLDMDNaHAQAZC{D?D@DIDJDKaNAWA`CjCkCoDXDYDZaGAPAYC{D?D@DLDMDNaIARA[CqCuCyDIDJDKaaAjAsDCDGDKD^D_D`afAoAxDWDXD\DvDwDxahAqAzDMDQDRDjDkDlaeAnAwDWDXD\D^D_D`agApAyDMDQDRDvDwDxacAlAuDCDGDKDjDkDlaiArA{DMDQDRD^D_D`abAkAtDCDGDKDvDwDxadAmAvDWDXD\DjDkDlaaAjAsDNDODSDmDnDoafAoAxDDDHDIDaDbDcahAqAzDUDYD]DpDqDraeAnAwDDDHDIDmDnDoagApAyDUDYD]DaDbDcacAlAuDNDODSDpDqDraiArA{DUDYD]DmDnDoabAkAtDNDODSDaDbDcadAmAvDDDHDIDpDqDraaAjAsDVDZD[DsDtDuafAoAxDLDPDTDgDhDiahAqAzDEDFDJDdDeDfaeAnAwDLDPDTDsDtDuagApAyDEDFDJDgDhDiacAlAuDVDZD[DdDeDfaiArA{DEDFDJDsDtDuabAkAtDVDZD[DgDhDiadAmAvDLDPDTDdDeDfa|BEBND^DbDfDyDzD{bABJBSDrDsDwEQERESbCBLBUDhDlDmEEEFEGb@BIBRDrDsDwDyDzD{bBBKBTDhDlDmEQERESa~BGBPD^DbDfEEEFEGbDBMBVDhDlDmDyDzD{a}BFBOD^DbDfEQERESb?BHBQDrDsDwEEEFEGa|BEBNDiDjDnEHEIEJbABJBSD_DcDdD|D}D~bCBLBUDpDtDxEKELEMb@BIBRD_DcDdEHEIEJbBBKBTDpDtDxD|D}D~a~BGBPDiDjDnEKELEMbDBMBVDpDtDxEHEIEJa}BFBODiDjDnD|D}D~b?BHBQD_DcDdEKELEMa|BEBNDqDuDvENEOEPbABJBSDgDkDoEBECEDbCBLBUD`DaDeE?E@EAb@BIBRDgDkDoENEOEPbBBKBTD`DaDeEBECEDa~BGBPDqDuDvE?E@EAbDBMBVD`DaDeENEOEPa}BFBODqDuDvEBECEDb?BHBQDgDkDoE?E@EAbWB`BiDyD}EAETEUEVb\BeBnEMENERElEmEnb^BgBpECEGEHE`EaEbb[BdBmEMENERETEUEVb]BfBoECEGEHElEmEnbYBbBkDyD}EAE`EaEbb_BhBqECEGEHETEUEVbXBaBjDyD}EAElEmEnbZBcBlEMENERE`EaEbbWB`BiEDEEEIEcEdEeb\BeBnDzD~E?EWEXEYb^BgBpEKEOESEfEgEhb[BdBmDzD~E?EcEdEeb]BfBoEKEOESEWEXEYbYBbBkEDEEEIEfEgEhb_BhBqEKEOESEcEdEebXBaBjEDEEEIEWEXEYbZBcBlDzD~E?EfEgEhbWB`BiELEPEQEiEjEkb\BeBnEBEFEJE]E^E_b^BgBpD{D|E@EZE[E\b[BdBmEBEFEJEiEjEkb]BfBoD{D|E@E]E^E_bYBbBkELEPEQEZE[E\b_BhBqD{D|E@EiEjEkbXBaBjELEPEQE]E^E_bZBcBlEBEFEJEZE[E\aaAfAhA|B?BBBrB{CDGvGzG~HlHmHnakAmArA|B?BBBwC@CIHJHKHOIDIEIFauAwAyA|B?BBByCBCKH@HDHEHxHyHzauAwAyBFBIBLBvC?CHHJHKHOHlHmHnaaAfAhBFBIBLBxCACJH@HDHEIDIEIFakAmArBFBIBLBtB}CFGvGzG~HxHyHzakAmArBPBSBVBzCCCLH@HDHEHlHmHnauAwAyBPBSBVBsB|CEGvGzG~IDIEIFaaAfAhBPBSBVBuB~CGHJHKHOHxHyHzatAvA{BOBRBUBrB{CDHAHBHFH{H|H}acAeAgBOBRBUBwC@CIGwG{G|HoHpHqajAoAqBOBRBUByCBCKHHHLHPH~I?I@ajAoAqA~BABDBvC?CHGwG{G|H{H|H}atAvA{A~BABDBxCACJHHHLHPHoHpHqacAeAgA~BABDBtB}CFHAHBHFH~I?I@acAeAgBEBHBKBzCCCLHHHLHPH{H|H}ajAoAqBEBHBKBsB|CEHAHBHFHoHpHqatAvA{BEBHBKBuB~CGGwG{G|H~I?I@alAnApBGBJBMBrB{CDHIHMHNIAIBICasAxAzBGBJBMBwC@CIH?HCHGHuHvHwabAdAiBGBJBMByCBCKGxGyG}HrHsHtabAdAiBNBQBTBvC?CHH?HCHGIAIBICalAnApBNBQBTBxCACJGxGyG}HuHvHwasAxAzBNBQBTBtB}CFHIHMHNHrHsHtasAxAzA}B@BCBzCCCLGxGyG}IAIBICabAdAiA}B@BCBsB|CEHIHMHNHuHvHwalAnApA}B@BCBuB~CGH?HCHGHrHsHta|BABCBWBZB]CMCVC_HQHUHYIGIHIIbFBHBMBWBZB]CRC[CdHeHfHjI_I`IabPBRBTBWBZB]CTC]CfH[H_H`ISITIUbPBRBTBaBdBgCQCZCcHeHfHjIGIHIIa|BABCBaBdBgCSC\CeH[H_H`I_I`IabFBHBMBaBdBgCOCXCaHQHUHYISITIUbFBHBMBkBnBqCUC^CgH[H_H`IGIHIIbPBRBTBkBnBqCNCWC`HQHUHYI_I`Iaa|BABCBkBnBqCPCYCbHeHfHjISITIUbOBQBVBjBmBpCMCVC_H\H]HaIVIWIXa~B@BBBjBmBpCRC[CdHRHVHWIJIKILbEBJBLBjBmBpCTC]CfHcHgHkIYIZI[bEBJBLBYB\B_CQCZCcHRHVHWIVIWIXbOBQBVBYB\B_CSC\CeHcHgHkIJIKILa~B@BBBYB\B_COCXCaH\H]HaIYIZI[a~B@BBB`BcBfCUC^CgHcHgHkIVIWIXbEBJBLB`BcBfCNCWC`H\H]HaIJIKILbOBQBVB`BcBfCPCYCbHRHVHWIYIZI[bGBIBKBbBeBhCMCVC_HdHhHiI\I]I^bNBSBUBbBeBhCRC[CdHZH^HbIPIQIRa}B?BDBbBeBhCTC]CfHSHTHXIMINIOa}B?BDBiBlBoCQCZCcHZH^HbI\I]I^bGBIBKBiBlBoCSC\CeHSHTHXIPIQIRbNBSBUBiBlBoCOCXCaHdHhHiIMINIObNBSBUBXB[B^CUC^CgHSHTHXI\I]I^a}B?BDBXB[B^CNCWC`HdHhHiIPIQIRbGBIBKBXB[B^CPCYCbHZH^HbIMINIO_??B?EBWB\B^ChCqCzHlHpHtIbIcId_??B?EBaBcBhCmCvD?I@IAIEIzI{I|_??B?EBkBmBoCoCxDAHvHzH{InIoIp_I?L?OBkBmBoClCuC~I@IAIEIbIcId_I?L?OBWB\B^CnCwD@HvHzH{IzI{I|_I?L?OBaBcBhCjCsC|HlHpHtInIoIp_S?V?YBaBcBhCpCyDBHvHzH{IbIcId_S?V?YBkBmBoCiCrC{HlHpHtIzI{I|_S?V?YBWB\B^CkCtC}I@IAIEInIoIp_R?U?XBjBlBqChCqCzHwHxH|IqIrIs_R?U?XBYB[B]CmCvD?HmHqHrIeIfIg_R?U?XB`BeBgCoCxDAH~IBIFItIuIv_A?D?GB`BeBgClCuC~HmHqHrIqIrIs_A?D?GBjBlBqCnCwD@H~IBIFIeIfIg_A?D?GBYB[B]CjCsC|HwHxH|ItIuIv_H?K?NBYB[B]CpCyDBH~IBIFIqIrIs_H?K?NB`BeBgCiCrC{HwHxH|IeIfIg_H?K?NBjBlBqCkCtC}HmHqHrItIuIv_J?M?PBbBdBfChCqCzI?ICIDIwIxIy_J?M?PBiBnBpCmCvD?HuHyH}IkIlIm_J?M?PBXBZB_CoCxDAHnHoHsIhIiIj_Q?T?WBXBZB_ClCuC~HuHyH}IwIxIy_Q?T?WBbBdBfCnCwD@HnHoHsIkIlIm_Q?T?WBiBnBpCjCsC|I?ICIDIhIiIj_@?C?FBiBnBpCpCyDBHnHoHsIwIxIy_@?C?FBXBZB_CiCrC{I?ICIDIkIlIm_@?C?FBbBdBfCkCtC}HuHyH}IhIiIj_??D?F?Z?]?`DCDLDUIGIKIOI}I~J?_I?K?P?Z?]?`DHDQDZI[I\I`JUJVJW_S?U?W?Z?]?`DJDSD\IQIUIVJIJJJK_S?U?W?d?g?jDGDPDYI[I\I`I}I~J?_??D?F?d?g?jDIDRD[IQIUIVJUJVJW_I?K?P?d?g?jDEDNDWIGIKIOJIJJJK_I?K?P?n?q?tDKDTD]IQIUIVI}I~J?_S?U?W?n?q?tDDDMDVIGIKIOJUJVJW_??D?F?n?q?tDFDODXI[I\I`JIJJJK_R?T?Y?m?p?sDCDLDUIRISIWJLJMJN_A?C?E?m?p?sDHDQDZIHILIMJ@JAJB_H?M?O?m?p?sDJDSD\IYI]IaJOJPJQ_H?M?O?\?_?bDGDPDYIHILIMJLJMJN_R?T?Y?\?_?bDIDRD[IYI]IaJ@JAJB_A?C?E?\?_?bDEDNDWIRISIWJOJPJQ_A?C?E?c?f?iDKDTD]IYI]IaJLJMJN_H?M?O?c?f?iDDDMDVIRISIWJ@JAJB_R?T?Y?c?f?iDFDODXIHILIMJOJPJQ_J?L?N?e?h?kDCDLDUIZI^I_JRJSJT_Q?V?X?e?h?kDHDQDZIPITIXJFJGJH_@?B?G?e?h?kDJDSD\IIIJINJCJDJE_@?B?G?l?o?rDGDPDYIPITIXJRJSJT_J?L?N?l?o?rDIDRD[IIIJINJFJGJH_Q?V?X?l?o?rDEDNDWIZI^I_JCJDJE_Q?V?X?[?^?aDKDTD]IIIJINJRJSJT_@?B?G?[?^?aDDDMDVIZI^I_JFJGJH_J?L?N?[?^?aDFDODXIPITIXJCJDJE_Z?_?a?u?x?{D^DgDpFeFfFgIbIfIj_d?f?k?u?x?{DcDlDuF}F~G?IvIwI{_n?p?r?u?x?{DeDnDwFqFrFsIlIpIq_n?p?r@?@B@EDbDkDtFeFfFgIvIwI{_Z?_?a@?@B@EDdDmDvF}F~G?IlIpIq_d?f?k@?@B@ED`DiDrFqFrFsIbIfIj_d?f?k@I@L@ODfDoDxFeFfFgIlIpIq_n?p?r@I@L@OD_DhDqF}F~G?IbIfIj_Z?_?a@I@L@ODaDjDsFqFrFsIvIwI{_m?o?t@H@K@ND^DgDpFtFuFvImInIr_\?^?`@H@K@NDcDlDuFhFiFjIcIgIh_c?h?j@H@K@NDeDnDwFwFxFyItIxI|_c?h?j?w?z?}DbDkDtFtFuFvIcIgIh_m?o?t?w?z?}DdDmDvFhFiFjItIxI|_\?^?`?w?z?}D`DiDrFwFxFyImInIr_\?^?`?~@A@DDfDoDxFtFuFvItIxI|_c?h?j?~@A@DD_DhDqFhFiFjImInIr_m?o?t?~@A@DDaDjDsFwFxFyIcIgIh_e?g?i@@@C@FD^DgDpFzF{F|IuIyIz_l?q?s@@@C@FDcDlDuFnFoFpIkIoIs_[?]?b@@@C@FDeDnDwFkFlFmIdIeIi_[?]?b@G@J@MDbDkDtFzF{F|IkIoIs_e?g?i@G@J@MDdDmDvFnFoFpIdIeIi_l?q?s@G@J@MD`DiDrFkFlFmIuIyIz_l?q?s?v?y?|DfDoDxFzF{F|IdIeIi_[?]?b?v?y?|D_DhDqFnFoFpIuIyIz_e?g?i?v?y?|DaDjDsFkFlFmIkIoIs_u?z?|@P@S@VDyEBEKG@GAGBI}JAJE`?@A@F@P@S@VD~EGEPGXGYGZJQJRJV`I@K@M@P@S@VE@EIERGLGMGNJGJKJL`I@K@M@Z@]@`D}EFEOG@GAGBJQJRJV_u?z?|@Z@]@`E?EHEQGXGYGZJGJKJL`?@A@F@Z@]@`D{EDEMGLGMGNI}JAJE`?@A@F@d@g@jEAEJESG@GAGBJGJKJL`I@K@M@d@g@jDzECELGXGYGZI}JAJE_u?z?|@d@g@jD|EEENGLGMGNJQJRJV`H@J@O@c@f@iDyEBEKGOGPGQJHJIJM_w?y?{@c@f@iD~EGEPGCGDGEI~JBJC_~@C@E@c@f@iE@EIERGRGSGTJOJSJW_~@C@E@R@U@XD}EFEOGOGPGQI~JBJC`H@J@O@R@U@XE?EHEQGCGDGEJOJSJW_w?y?{@R@U@XD{EDEMGRGSGTJHJIJM_w?y?{@Y@\@_EAEJESGOGPGQJOJSJW_~@C@E@Y@\@_DzECELGCGDGEJHJIJM`H@J@O@Y@\@_D|EEENGRGSGTI~JBJC`@@B@D@[@^@aDyEBEKGUGVGWJPJTJU`G@L@N@[@^@aD~EGEPGIGJGKJFJJJN_v?x?}@[@^@aE@EIERGFGGGHJ?J@JD_v?x?}@b@e@hD}EFEOGUGVGWJFJJJN`@@B@D@b@e@hE?EHEQGIGJGKJ?J@JD`G@L@N@b@e@hD{EDEMGFGGGHJPJTJU`G@L@N@Q@T@WEAEJESGUGVGWJ?J@JD_v?x?}@Q@T@WDzECELGIGJGKJPJTJU`@@B@D@Q@T@WD|EEENGFGGGHJFJJJN`P@U@W@k@n@qETE]EfFeFiFmG[G\G]`Z@\@a@k@n@qEYEbEkFyFzF~GsGtGu`d@f@h@k@n@qE[EdEmFoFsFtGgGhGi`d@f@h@u@x@{EXEaEjFyFzF~G[G\G]`P@U@W@u@x@{EZEcElFoFsFtGsGtGu`Z@\@a@u@x@{EVE_EhFeFiFmGgGhGi`Z@\@aA?ABAEE\EeEnFoFsFtG[G\G]`d@f@hA?ABAEEUE^EgFeFiFmGsGtGu`P@U@WA?ABAEEWE`EiFyFzF~GgGhGi`c@e@j@~AAADETE]EfFpFqFuGjGkGl`R@T@V@~AAADEYEbEkFfFjFkG^G_G``Y@^@`@~AAADE[EdEmFwF{G?GmGnGo`Y@^@`@m@p@sEXEaEjFfFjFkGjGkGl`c@e@j@m@p@sEZEcElFwF{G?G^G_G``R@T@V@m@p@sEVE_EhFpFqFuGmGnGo`R@T@V@t@w@zE\EeEnFwF{G?GjGkGl`Y@^@`@t@w@zEUE^EgFpFqFuG^G_G``c@e@j@t@w@zEWE`EiFfFjFkGmGnGo`[@]@_@v@y@|ETE]EfFxF|F}GpGqGr`b@g@i@v@y@|EYEbEkFnFrFvGdGeGf`Q@S@X@v@y@|E[EdEmFgFhFlGaGbGc`Q@S@X@}A@ACEXEaEjFnFrFvGpGqGr`[@]@_@}A@ACEZEcElFgFhFlGdGeGf`b@g@i@}A@ACEVE_EhFxF|F}GaGbGc`b@g@i@l@o@rE\EeEnFgFhFlGpGqGr`Q@S@X@l@o@rEUE^EgFxF|F}GdGeGf`[@]@_@l@o@rEWE`EiFnFrFvGaGbGc`k@p@rAFAIALEoExFAG@GDGHGvGwGx`u@w@|AFAIALEtE}FFGTGUGYHNHOHPa?AAACAFAIALEvF?FHGJGNGOHBHCHDa?AAACAPASAVEsE|FEGTGUGYGvGwGx`k@p@rAPASAVEuE~FGGJGNGOHNHOHP`u@w@|APASAVEqEzFCG@GDGHHBHCHD`u@w@|AZA]A`EwF@FIGJGNGOGvGwGxa?AAACAZA]A`EpEyFBG@GDGHHNHOHP`k@p@rAZA]A`ErE{FDGTGUGYHBHCHD`~A@AEAYA\A_EoExFAGKGLGPHEHFHG`m@o@qAYA\A_EtE}FFGAGEGFGyGzG{`t@y@{AYA\A_EvF?FHGRGVGZHHHIHJ`t@y@{AHAKANEsE|FEGAGEGFHEHFHG`~A@AEAHAKANEuE~FGGRGVGZGyGzG{`m@o@qAHAKANEqEzFCGKGLGPHHHIHJ`m@o@qAOARAUEwF@FIGRGVGZHEHFHG`t@y@{AOARAUEpEyFBGKGLGPGyGzG{`~A@AEAOARAUErE{FDGAGEGFHHHIHJ`v@x@zAQATAWEoExFAGSGWGXHKHLHM`}ABADAQATAWEtE}FFGIGMGQH?H@HA`l@n@sAQATAWEvF?FHGBGCGGG|G}G~`l@n@sAXA[A^EsE|FEGIGMGQHKHLHM`v@x@zAXA[A^EuE~FGGBGCGGH?H@HA`}ABADAXA[A^EqEzFCGSGWGXG|G}G~`}ABADAGAJAMEwF@FIGBGCGGHKHLHM`l@n@sAGAJAMEpEyFBGSGWGXH?H@HA`v@x@zAGAJAMErE{FDGIGMGQG|G}G~aFAKAMAaAdAgFJFSF\G[G_GcHQHRHSaPARAWAaAdAgFOFXFaGoGpGtHiHjHkaZA\A^AaAdAgFQFZFcGeGiGjH]H^H_aZA\A^AkAnAqFNFWF`GoGpGtHQHRHSaFAKAMAkAnAqFPFYFbGeGiGjHiHjHkaPARAWAkAnAqFLFUF^G[G_GcH]H^H_aPARAWAuAxA{FRF[FdGeGiGjHQHRHSaZA\A^AuAxA{FKFTF]G[G_GcHiHjHkaFAKAMAuAxA{FMFVF_GoGpGtH]H^H_aYA[A`AtAwAzFJFSF\GfGgGkH`HaHbaHAJALAtAwAzFOFXFaG\G`GaHTHUHVaOATAVAtAwAzFQFZFcGmGqGuHcHdHeaOATAVAcAfAiFNFWF`G\G`GaH`HaHbaYA[A`AcAfAiFPFYFbGmGqGuHTHUHVaHAJALAcAfAiFLFUF^GfGgGkHcHdHeaHAJALAjAmApFRF[FdGmGqGuH`HaHbaOATAVAjAmApFKFTF]GfGgGkHTHUHVaYA[A`AjAmApFMFVF_G\G`GaHcHdHeaQASAUAlAoArFJFSF\GnGrGsHfHgHhaXA]A_AlAoArFOFXFaGdGhGlHZH[H\aGAIANAlAoArFQFZFcG]G^GbHWHXHYaGAIANAsAvAyFNFWF`GdGhGlHfHgHhaQASAUAsAvAyFPFYFbG]G^GbHZH[H\aXA]A_AsAvAyFLFUF^GnGrGsHWHXHYaXA]A_AbAeAhFRF[FdG]G^GbHfHgHhaGAIANAbAeAhFKFTF]GnGrGsHZH[H\aQASAUAbAeAhFMFVF_GdGhGlHWHXHYdCDHDJDyD|E?FeFnFwJsJtJuLzL~MBdMDODTDyD|E?FjFsF|KKKLKMMNMOMSdWDYD[DyD|E?FlFuF~K?K@KAMDMHMIdWDYD[ECEFEIFiFrF{JsJtJuMNMOMSdCDHDJECEFEIFkFtF}KKKLKMMDMHMIdMDODTECEFEIFgFpFyK?K@KALzL~MBdMDODTEMEPESFmFvG?JsJtJuMDMHMIdWDYD[EMEPESFfFoFxKKKLKMLzL~MBdCDHDJEMEPESFhFqFzK?K@KAMNMOMSdVDXD]ELEOERFeFnFwKBKCKDMEMFMJdEDGDIELEOERFjFsF|JvJwJxL{M?M@dLDQDSELEOERFlFuF~KEKFKGMLMPMTdLDQDSD{D~EAFiFrF{KBKCKDL{M?M@dVDXD]D{D~EAFkFtF}JvJwJxMLMPMTdEDGDID{D~EAFgFpFyKEKFKGMEMFMJdEDGDIEBEEEHFmFvG?KBKCKDMLMPMTdLDQDSEBEEEHFfFoFxJvJwJxMEMFMJdVDXD]EBEEEHFhFqFzKEKFKGL{M?M@dNDPDREDEGEJFeFnFwKHKIKJMMMQMRdUDZD\EDEGEJFjFsF|J|J}J~MCMGMKdDDFDKEDEGEJFlFuF~JyJzJ{L|L}MAdDDFDKEKENEQFiFrF{KHKIKJMCMGMKdNDPDREKENEQFkFtF}J|J}J~L|L}MAdUDZD\EKENEQFgFpFyJyJzJ{MMMQMRdUDZD\DzD}E@FmFvG?KHKIKJL|L}MAdDDFDKDzD}E@FfFoFxJ|J}J~MMMQMRdNDPDRDzD}E@FhFqFzJyJzJ{MCMGMKd^DcDeETEWEZG@GIGRKNKOKPMUMYM]dhDjDoETEWEZGEGNGWKfKgKhMiMjMndrDtDvETEWEZGGGPGYKZK[K\M_McMddrDtDvE^EaEdGDGMGVKNKOKPMiMjMnd^DcDeE^EaEdGFGOGXKfKgKhM_McMddhDjDoE^EaEdGBGKGTKZK[K\MUMYM]dhDjDoEhEkEnGHGQGZKNKOKPM_McMddrDtDvEhEkEnGAGJGSKfKgKhMUMYM]d^DcDeEhEkEnGCGLGUKZK[K\MiMjMndqDsDxEgEjEmG@GIGRK]K^K_M`MaMed`DbDdEgEjEmGEGNGWKQKRKSMVMZM[dgDlDnEgEjEmGGGPGYK`KaKbMgMkModgDlDnEVEYE\GDGMGVK]K^K_MVMZM[dqDsDxEVEYE\GFGOGXKQKRKSMgMkMod`DbDdEVEYE\GBGKGTK`KaKbM`MaMed`DbDdE]E`EcGHGQGZK]K^K_MgMkModgDlDnE]E`EcGAGJGSKQKRKSM`MaMedqDsDxE]E`EcGCGLGUK`KaKbMVMZM[diDkDmE_EbEeG@GIGRKcKdKeMhMlMmdpDuDwE_EbEeGEGNGWKWKXKYM^MbMfd_DaDfE_EbEeGGGPGYKTKUKVMWMXM\d_DaDfEfEiElGDGMGVKcKdKeM^MbMfdiDkDmEfEiElGFGOGXKWKXKYMWMXM\dpDuDwEfEiElGBGKGTKTKUKVMhMlMmdpDuDwEUEXE[GHGQGZKcKdKeMWMXM\d_DaDfEUEXE[GAGJGSKWKXKYMhMlMmdiDkDmEUEXE[GCGLGUKTKUKVM^MbMfdyD~E@EoErEuG[GdGmKiKjKkMpMtMxeCEEEJEoErEuG`GiGrLALBLCNDNENIeMEOEQEoErEuGbGkGtKuKvKwMzM~N?eMEOEQEyE|F?G_GhGqKiKjKkNDNENIdyD~E@EyE|F?GaGjGsLALBLCMzM~N?eCEEEJEyE|F?G]GfGoKuKvKwMpMtMxeCEEEJFCFFFIGcGlGuKiKjKkMzM~N?eMEOEQFCFFFIG\GeGnLALBLCMpMtMxdyD~E@FCFFFIG^GgGpKuKvKwNDNENIeLENESFBFEFHG[GdGmKxKyKzM{M|N@d{D}E?FBFEFHG`GiGrKlKmKnMqMuMveBEGEIFBFEFHGbGkGtK{K|K}NBNFNJeBEGEIEqEtEwG_GhGqKxKyKzMqMuMveLENESEqEtEwGaGjGsKlKmKnNBNFNJd{D}E?EqEtEwG]GfGoK{K|K}M{M|N@d{D}E?ExE{E~GcGlGuKxKyKzNBNFNJeBEGEIExE{E~G\GeGnKlKmKnM{M|N@eLENESExE{E~G^GgGpK{K|K}MqMuMveDEFEHEzE}F@G[GdGmK~L?L@NCNGNHeKEPEREzE}F@G`GiGrKrKsKtMyM}NAdzD|EAEzE}F@GbGkGtKoKpKqMrMsMwdzD|EAFAFDFGG_GhGqK~L?L@MyM}NAeDEFEHFAFDFGGaGjGsKrKsKtMrMsMweKEPERFAFDFGG]GfGoKoKpKqNCNGNHeKEPEREpEsEvGcGlGuK~L?L@MrMsMwdzD|EAEpEsEvG\GeGnKrKsKtNCNGNHeDEFEHEpEsEvG^GgGpKoKpKqMyM}NAeTEYE[FJFMFPGvH?HHJXJ\J`LDLELFe^E`EeFJFMFPG{HDHMJlJmJqL\L]L^ehEjElFJFMFPG}HFHOJbJfJgLPLQLRehEjElFTFWFZGzHCHLJlJmJqLDLELFeTEYE[FTFWFZG|HEHNJbJfJgL\L]L^e^E`EeFTFWFZGxHAHJJXJ\J`LPLQLRe^E`EeF^FaFdG~HGHPJbJfJgLDLELFehEjElF^FaFdGwH@HIJXJ\J`L\L]L^eTEYE[F^FaFdGyHBHKJlJmJqLPLQLRegEiEnF]F`FcGvH?HHJcJdJhLSLTLUeVEXEZF]F`FcG{HDHMJYJ]J^LGLHLIe]EbEdF]F`FcG}HFHOJjJnJrLVLWLXe]EbEdFLFOFRGzHCHLJYJ]J^LSLTLUegEiEnFLFOFRG|HEHNJjJnJrLGLHLIeVEXEZFLFOFRGxHAHJJcJdJhLVLWLXeVEXEZFSFVFYG~HGHPJjJnJrLSLTLUe]EbEdFSFVFYGwH@HIJcJdJhLGLHLIegEiEnFSFVFYGyHBHKJYJ]J^LVLWLXe_EaEcFUFXF[GvH?HHJkJoJpLYLZL[efEkEmFUFXF[G{HDHMJaJeJiLMLNLOeUEWE\FUFXF[G}HFHOJZJ[J_LJLKLLeUEWE\F\F_FbGzHCHLJaJeJiLYLZL[e_EaEcF\F_FbG|HEHNJZJ[J_LMLNLOefEkEmF\F_FbGxHAHJJkJoJpLJLKLLefEkEmFKFNFQG~HGHPJZJ[J_LYLZL[eUEWE\FKFNFQGwH@HIJkJoJpLMLNLOe_EaEcFKFNFQGyHBHKJaJeJiLJLKLLbrBuBxEoEtEvHQHZHcJsJwJ{L_L`LabrBuBxEyE{F@HVH_HhKGKHKLLwLxLybrBuBxFCFEFGHXHaHjJ}KAKBLkLlLmb|C?CBFCFEFGHUH^HgKGKHKLL_L`Lab|C?CBEoEtEvHWH`HiJ}KAKBLwLxLyb|C?CBEyE{F@HSH\HeJsJwJ{LkLlLmcFCICLEyE{F@HYHbHkJ}KAKBL_L`LacFCICLFCFEFGHRH[HdJsJwJ{LwLxLycFCICLEoEtEvHTH]HfKGKHKLLkLlLmcECHCKFBFDFIHQHZHcJ~K?KCLnLoLpcECHCKEqEsEuHVH_HhJtJxJyLbLcLdcECHCKExE}F?HXHaHjKEKIKMLqLrLsbtBwBzExE}F?HUH^HgJtJxJyLnLoLpbtBwBzFBFDFIHWH`HiKEKIKMLbLcLdbtBwBzEqEsEuHSH\HeJ~K?KCLqLrLsb{B~CAEqEsEuHYHbHkKEKIKMLnLoLpb{B~CAExE}F?HRH[HdJ~K?KCLbLcLdb{B~CAFBFDFIHTH]HfJtJxJyLqLrLsb}C@CCEzE|E~HQHZHcKFKJKKLtLuLvb}C@CCFAFFFHHVH_HhJ|K@KDLhLiLjb}C@CCEpErEwHXHaHjJuJvJzLeLfLgcDCGCJEpErEwHUH^HgJ|K@KDLtLuLvcDCGCJEzE|E~HWH`HiJuJvJzLhLiLjcDCGCJFAFFFHHSH\HeKFKJKKLeLfLgbsBvByFAFFFHHYHbHkJuJvJzLtLuLvbsBvByEpErEwHRH[HdKFKJKKLhLiLjbsBvByEzE|E~HTH]HfJ|K@KDLeLfLgcMCPCSFJFOFQHlHuH~KNKRKVLzL{L|cMCPCSFTFVF[HqHzICKbKcKgMRMSMTcMCPCSF^F`FbHsH|IEKXK\K]MFMGMHcWCZC]F^F`FbHpHyIBKbKcKgLzL{L|cWCZC]FJFOFQHrH{IDKXK\K]MRMSMTcWCZC]FTFVF[HnHwI@KNKRKVMFMGMHcaCdCgFTFVF[HtH}IFKXK\K]LzL{L|caCdCgF^F`FbHmHvI?KNKRKVMRMSMTcaCdCgFJFOFQHoHxIAKbKcKgMFMGMHc`CcCfF]F_FdHlHuH~KYKZK^MIMJMKc`CcCfFLFNFPHqHzICKOKSKTL}L~M?c`CcCfFSFXFZHsH|IEK`KdKhMLMMMNcOCRCUFSFXFZHpHyIBKOKSKTMIMJMKcOCRCUF]F_FdHrH{IDK`KdKhL}L~M?cOCRCUFLFNFPHnHwI@KYKZK^MLMMMNcVCYC\FLFNFPHtH}IFK`KdKhMIMJMKcVCYC\FSFXFZHmHvI?KYKZK^L}L~M?cVCYC\F]F_FdHoHxIAKOKSKTMLMMMNcXC[C^FUFWFYHlHuH~KaKeKfMOMPMQcXC[C^F\FaFcHqHzICKWK[K_MCMDMEcXC[C^FKFMFRHsH|IEKPKQKUM@MAMBc_CbCeFKFMFRHpHyIBKWK[K_MOMPMQc_CbCeFUFWFYHrH{IDKPKQKUMCMDMEc_CbCeF\FaFcHnHwI@KaKeKfM@MAMBcNCQCTF\FaFcHtH}IFKPKQKUMOMPMQcNCQCTFKFMFRHmHvI?KaKeKfMCMDMEcNCQCTFUFWFYHoHxIAKWK[K_M@MAMBbrBwByChCkCnIGIPIYKiKmKqMUMVMWb|B~CCChCkCnILIUI^K}K~LBMmMnMocFCHCJChCkCnINIWI`KsKwKxMaMbMccFCHCJCrCuCxIKITI]K}K~LBMUMVMWbrBwByCrCuCxIMIVI_KsKwKxMmMnMob|B~CCCrCuCxIIIRI[KiKmKqMaMbMcb|B~CCC|D?DBIOIXIaKsKwKxMUMVMWcFCHCJC|D?DBIHIQIZKiKmKqMmMnMobrBwByC|D?DBIJISI\K}K~LBMaMbMccECGCLC{C~DAIGIPIYKtKuKyMdMeMfbtBvBxC{C~DAILIUI^KjKnKoMXMYMZb{C@CBC{C~DAINIWI`K{L?LCMgMhMib{C@CBCjCmCpIKITI]KjKnKoMdMeMfcECGCLCjCmCpIMIVI_K{L?LCMXMYMZbtBvBxCjCmCpIIIRI[KtKuKyMgMhMibtBvBxCqCtCwIOIXIaK{L?LCMdMeMfb{C@CBCqCtCwIHIQIZKtKuKyMXMYMZcECGCLCqCtCwIJISI\KjKnKoMgMhMib}C?CACsCvCyIGIPIYK|L@LAMjMkMlcDCICKCsCvCyILIUI^KrKvKzM^M_M`bsBuBzCsCvCyINIWI`KkKlKpM[M\M]bsBuBzCzC}D@IKITI]KrKvKzMjMkMlb}C?CACzC}D@IMIVI_KkKlKpM^M_M`cDCICKCzC}D@IIIRI[K|L@LAM[M\M]cDCICKCiClCoIOIXIaKkKlKpMjMkMlbsBuBzCiClCoIHIQIZK|L@LAM^M_M`b}C?CACiClCoIJISI\KrKvKzM[M\M]cMCRCTDCDFDIIbIkItLDLHLLMpMqMrcWCYC^DCDFDIIgIpIyLXLYL]NHNINJcaCcCeDCDFDIIiIrI{LNLRLSM|M}M~caCcCeDMDPDSIfIoIxLXLYL]MpMqMrcMCRCTDMDPDSIhIqIzLNLRLSNHNINJcWCYC^DMDPDSIdImIvLDLHLLM|M}M~cWCYC^DWDZD]IjIsI|LNLRLSMpMqMrcaCcCeDWDZD]IcIlIuLDLHLLNHNINJcMCRCTDWDZD]IeInIwLXLYL]M|M}M~c`CbCgDVDYD\IbIkItLOLPLTN?N@NAcOCQCSDVDYD\IgIpIyLELILJMsMtMucVC[C]DVDYD\IiIrI{LVLZL^NBNCNDcVC[C]DEDHDKIfIoIxLELILJN?N@NAc`CbCgDEDHDKIhIqIzLVLZL^MsMtMucOCQCSDEDHDKIdImIvLOLPLTNBNCNDcOCQCSDLDODRIjIsI|LVLZL^N?N@NAcVC[C]DLDODRIcIlIuLOLPLTMsMtMuc`CbCgDLDODRIeInIwLELILJNBNCNDcXCZC\DNDQDTIbIkItLWL[L\NENFNGc_CdCfDNDQDTIgIpIyLMLQLUMyMzM{cNCPCUDNDQDTIiIrI{LFLGLKMvMwMxcNCPCUDUDXD[IfIoIxLMLQLUNENFNGcXCZC\DUDXD[IhIqIzLFLGLKMyMzM{c_CdCfDUDXD[IdImIvLWL[L\MvMwMxc_CdCfDDDGDJIjIsI|LFLGLKNENFNGcNCPCUDDDGDJIcIlIuLWL[L\MyMzM{cXCZC\DDDGDJIeInIwLMLQLUMvMwMxchCmCoD^DaDdI}JFJOJXJYJZL_LcLgcrCtCyD^DaDdJBJKJTJpJqJrLsLtLxc|C~D@D^DaDdJDJMJVJdJeJfLiLmLnc|C~D@DhDkDnJAJJJSJXJYJZLsLtLxchCmCoDhDkDnJCJLJUJpJqJrLiLmLncrCtCyDhDkDnJ?JHJQJdJeJfL_LcLgcrCtCyDrDuDxJEJNJWJXJYJZLiLmLnc|C~D@DrDuDxI~JGJPJpJqJrL_LcLgchCmCoDrDuDxJ@JIJRJdJeJfLsLtLxc{C}DBDqDtDwI}JFJOJgJhJiLjLkLocjClCnDqDtDwJBJKJTJ[J\J]L`LdLecqCvCxDqDtDwJDJMJVJjJkJlLqLuLycqCvCxD`DcDfJAJJJSJgJhJiL`LdLec{C}DBD`DcDfJCJLJUJ[J\J]LqLuLycjClCnD`DcDfJ?JHJQJjJkJlLjLkLocjClCnDgDjDmJEJNJWJgJhJiLqLuLycqCvCxDgDjDmI~JGJPJ[J\J]LjLkLoc{C}DBDgDjDmJ@JIJRJjJkJlL`LdLecsCuCwDiDlDoI}JFJOJmJnJoLrLvLwczD?DADiDlDoJBJKJTJaJbJcLhLlLpciCkCpDiDlDoJDJMJVJ^J_J`LaLbLfciCkCpDpDsDvJAJJJSJmJnJoLhLlLpcsCuCwDpDsDvJCJLJUJaJbJcLaLbLfczD?DADpDsDvJ?JHJQJ^J_J`LrLvLwczD?DAD_DbDeJEJNJWJmJnJoLaLbLfciCkCpD_DbDeI~JGJPJaJbJcLrLvLwcsCuCwD_DbDeJ@JIJRJ^J_J`LhLlLp")
xQ24pp2 = Graph(r":~?RG_?_??@_??@?A_??@?A?B_l???D?E?F?G_??D?E?F?G_??D?E?F?G_??D?E?F?G_??D?E?F?G_l_l?q_l?q?r_l?q?r?s`Y???H?I?J?K?l?u?v?w?x_??H?I?J?K_??H?I?J?K_??H?I?J?K_??H?I?J?K_l?u?v?w?x_l?u?v?w?x_l?u?v?w?x_l?u?v?w?x`Y`Y@b`Y@b@c`Y@b@c@daF?@?L?M?N?O?m?y?z?{?|@Z@f@g@h@i_@?L?M?N?O_@?L?M?N?O_@?L?M?N?O_@?L?M?N?O_m?y?z?{?|_m?y?z?{?|_m?y?z?{?|_m?y?z?{?|`Z@f@g@h@i`Z@f@g@h@i`Z@f@g@h@i`Z@f@g@h@iaGaGASaGASATaGASATAUas?@?V?W?X?Y?m@C@D@E@F@Z@p@q@r@s_@?V?W?X?YAGA]A^A_A`_@?V?W?X?Y_@?V?W?X?Y_@?V?W?X?Y_m@C@D@E@F_m@C@D@E@F_m@C@D@E@F_m@C@D@E@F`Z@p@q@r@s`Z@p@q@r@s`Z@p@q@r@s`Z@p@q@r@saGA]A^A_A`aGA]A^A_A`aGA]A^A_A`aGA]A^A_A`bJAtatBJatBJBKatBJBKBLb`?A?S?c?f?g?n@@@P@S@T@[@m@}A@AA_A?S?c?f?gAHAZAjAmAnAuBGBWBZB[_A?S?c?f?g_A?S?c?f?g_A?S?c?f?g_n@@@P@S@T_n@@@P@S@T_n@@@P@S@T_n@@@P@S@T`[@m@}A@AA`[@m@}A@AA`[@m@}A@AA`[@m@}A@AAaHAZAjAmAnaHAZAjAmAnaHAZAjAmAnaHAZAjAmAnbtBbbwAuBGBWBZB[auBGBWBZB[auBGBWBZB[auBGBWBZB[cDBbBtcGBbBtCDbbBtCDCGcM?B?T?d?h?j?o@A@Q@U@W@\@n@~ABAD_B?T?d?h?jAIA[AkAoAqAvBHBXB\B^_B?T?d?h?jBcBuCECICK_B?T?d?h?j_B?T?d?h?j_o@A@Q@U@W_o@A@Q@U@W_o@A@Q@U@W_o@A@Q@U@W`\@n@~ABAD`\@n@~ABAD`\@n@~ABAD`\@n@~ABADaIA[AkAoAqaIA[AkAoAqaIA[AkAoAqaIA[AkAoAqcaBcBuCECICKcPcdAvBHBXB\B^avBHBXB\B^avBHBXB\B^avBHBXB\B^cqBcBuCECICKcPCbctBcBuCECICKbcBuCECICKcPCbCrcxCPCbCrCvcz?C?U?e?i?k?p@B@R@V@X@]@oA?ACAE_C?U?e?i?kAJA\AlApArAwBIBYB]B__C?U?e?i?kBdBvCFCJCL_C?U?e?i?kCQCcCsCwCy_C?U?e?i?k_p@B@R@V@X_p@B@R@V@X_p@B@R@V@X_p@B@R@V@X`]@oA?ACAE`]@oA?ACAE`]@oA?ACAE`]@oA?ACAEaJA\AlApAraJA\AlApAraJA\AlApAraJA\AlApArdNBdBvCFCJCLcQCcCsCwCyc~awBIBYB]B_awBIBYB]B_awBIBYB]B_awBIBYB]B_d^BdBvCFCJCLcQCcCsCwCyc~DPbdBvCFCJCLbdBvCFCJCLcQCcCsCwCyc~DPD`cQCcCsCwCyc~DPD`Dd_A?P?Z?[?`?n?}@G@H@M@[@j@t@u@z_A?P?Z?[?`AHAWAaAbAgAuBDBNBOBT_A?P?Z?[?`BbBqB{B|CA_A?P?Z?[?`COC^ChCiCn_A?P?Z?[?`C|DKDUDVD[_n?}@G@H@M_n?}@G@H@M_n?}@G@H@M_n?}@G@H@M`[@j@t@u@z`[@j@t@u@z`[@j@t@u@z`[@j@t@u@zaHAWAaAbAgaHAWAaAbAgaHAWAaAbAgaHAWAaAbAgdid{BbBqB{B|CAcOC^ChCiCnc|DKDUDVD[auBDBNBOBTauBDBNBOBTauBDBNBOBTauBDBNBOBTdiDxdiDxEBeHDiDxEBECeKBbBqB{B|CAcOC^ChCiCnc|DKDUDVD[bbBqB{B|CAbbBqB{B|CAcOC^ChCiCnc|DKDUDVD[cOC^ChCiCnc|DKDUDVD[_C?R?]?_?b?p@?@J@L@O@]@l@w@y@|_C?R?]?_?bAJAYAdAfAiAwBFBQBSBV_C?R?]?_?bBdBsB~C@CCDkDzEEEGEJ_C?R?]?_?bCQC`CkCmCp_C?R?]?_?bC~DMDXDZD]_p@?@J@L@O_p@?@J@L@O_p@?@J@L@O_p@?@J@L@O`]@l@w@y@|`]@l@w@y@|`]@l@w@y@|`]@l@w@y@|aJAYAdAfAiaJAYAdAfAiaJAYAdAfAiaJAYAdAfAidkDzEEEGEJegEXbdBsB~C@CCcQC`CkCmCpc~DMDXDZD]awBFBQBSBVawBFBQBSBVawBFBQBSBVawBFBQBSBVdkDzEEEGEJdkDzEEEGEJerEXEgetEXEgErdkDzEEEGEJewEXEgErEtbdBsB~C@CCcQC`CkCmCpc~DMDXDZD]bdBsB~C@CCbdBsB~C@CCcQC`CkCmCpc~DMDXDZD]cQC`CkCmCpc~DMDXDZD]_B?Q?\?^?a?o?~@I@K@N@\@k@v@x@{_B?Q?\?^?aAIAXAcAeAhAvBEBPBRBU_B?Q?\?^?aBcBrB}C?CBDjDyEDEFEI_B?Q?\?^?aCPC_CjClCo_B?Q?\?^?aC}DLDWDYD\EWEfEqEsEv_o?~@I@K@N_o?~@I@K@N_o?~@I@K@N_o?~@I@K@N`\@k@v@x@{`\@k@v@x@{`\@k@v@x@{`\@k@v@x@{aIAXAcAeAhaIAXAcAeAhaIAXAcAeAhaIAXAcAeAhdjDyEDEFEIfDeWEfEqEsEvbcBrB}C?CBcPC_CjClCoc}DLDWDYD\avBEBPBRBUavBEBPBRBUavBEBPBRBUavBEBPBRBUdjDyEDEFEIdjDyEDEFEIfDFSeWEfEqEsEvfDFSF^eWEfEqEsEvdjDyEDEFEIfDFSF^F`eWEfEqEsEvbcBrB}C?CBcPC_CjClCoc}DLDWDYD\bcBrB}C?CBbcBrB}C?CBcPC_CjClCoc}DLDWDYD\cPC_CjClCoc}DLDWDYD\_D?L?P?Q?R?q?y?}?~@?@^@f@j@k@l_D?L?P?Q?RAKASAWAXAYAxB@BDBEBF_D?L?P?Q?RBeBmBqBrBsDlDtDxDyDz_D?L?P?Q?RCRCZC^C_C`FFFNFRFSFT_D?L?P?Q?RD?DGDKDLDMEYEaEeEfEg_q?y?}?~@?_q?y?}?~@?_q?y?}?~@?_q?y?}?~@?`^@f@j@k@l`^@f@j@k@l`^@f@j@k@l`^@f@j@k@laKASAWAXAYFsaKASAWAXAYaKASAWAXAYaKASAWAXAYdlDtDxDyDzFsF{fFFNFRFSFTFsF{G?eYEaEeEfEgFsF{G?G@beBmBqBrBscRCZC^C_C`d?DGDKDLDMaxB@BDBEBFaxB@BDBEBFaxB@BDBEBFaxB@BDBEBFdlDtDxDyDzdlDtDxDyDzfFFNFRFSFTeYEaEeEfEgfFFNFRFSFTeYEaEeEfEgdlDtDxDyDzfFFNFRFSFTeYEaEeEfEgbeBmBqBrBscRCZC^C_C`d?DGDKDLDMbeBmBqBrBsbeBmBqBrBscRCZC^C_C`d?DGDKDLDMcRCZC^C_C`d?DGDKDLDM_D?V?c?d?e?q@C@P@Q@R@^@p@}@~A?_D?V?c?d?eAKA]AjAkAlAxBJBWBXBY_D?V?c?d?eBeBwCDCECFDlD~EKELEM_D?V?c?d?eCRCdCqCrCsFFFXFeFfFg_D?V?c?d?eD?DQD^D_D`EYEkExEyEz_q@C@P@Q@RFsGEGRGSGT_q@C@P@Q@R_q@C@P@Q@R_q@C@P@Q@R`^@p@}@~A?`^@p@}@~A?`^@p@}@~A?`^@p@}@~A?aKA]AjAkAlFsGEGRGSGTaKA]AjAkAlaKA]AjAkAlaKA]AjAkAldlD~EKELEMFsGEGRGSGTfFFXFeFfFgFsGEGRGSGTeYEkExEyEzFsGEGRGSGTbeBwCDCECFcRCdCqCrCsd?DQD^D_D`axBJBWBXBYG`axBJBWBXBYaxBJBWBXBYaxBJBWBXBYdlD~EKELEMdlD~EKELEMfFFXFeFfFgeYEkExEyEzfFFXFeFfFgeYEkExEyEzdlD~EKELEMfFFXFeFfFgeYEkExEyEzbeBwCDCECFG`GrcRCdCqCrCsG`GrH?d?DQD^D_D`G`GrH?H@beBwCDCECFbeBwCDCECFcRCdCqCrCsd?DQD^D_D`cRCdCqCrCsd?DQD^D_D`_G?O?a?g?k?t?|@N@T@X@a@i@{AAAE_G?O?a?g?kANAVAhAnArA{BCBUB[B__G?O?a?g?kBhBpCBCHCLDoDwEIEOES_G?O?a?g?kCUC]CoCuCyFIFQFcFiFm_G?O?a?g?kDBDJD\DbDfE\EdEvE|F@_t?|@N@T@XFvF~GPGVGZGcGkG}HCHG_t?|@N@T@X_t?|@N@T@X_t?|@N@T@X`a@i@{AAAE`a@i@{AAAE`a@i@{AAAE`a@i@{AAAEaNAVAhAnArFvF~GPGVGZaNAVAhAnAraNAVAhAnAraNAVAhAnArHPdoDwEIEOESFvF~GPGVGZfIFQFcFiFmFvF~GPGVGZe\EdEvE|F@FvF~GPGVGZbhBpCBCHCLcUC]CoCuCydBDJD\DbDfa{BCBUB[B_GcGkG}HCHGa{BCBUB[B_a{BCBUB[B_a{BCBUB[B_doDwEIEOESdoDwEIEOESfIFQFcFiFme\EdEvE|F@fIFQFcFiFme\EdEvE|F@doDwEIEOESfIFQFcFiFmHPHXe\EdEvE|F@bhBpCBCHCLGcGkG}HCHGcUC]CoCuCyGcGkG}HCHGdBDJD\DbDfGcGkG}HCHGbhBpCBCHCLbhBpCBCHCLHPHXHjcUC]CoCuCydBDJD\DbDfcUC]CoCuCydBDJD\DbDfHPHXHjHp_F?N?b?f?j?s?{@O@S@W@`@h@|A@AD_F?N?b?f?jAMAUAiAmAqAzBBBVBZB^_F?N?b?f?jBgBoCCCGCKDnDvEJENER_F?N?b?f?jCTC\CpCtCxFHFPFdFhFl_F?N?b?f?jDADID]DaDeE[EcEwE{F?_s?{@O@S@WFuF}GQGUGYGbGjG~HBHF_s?{@O@S@W_s?{@O@S@W_s?{@O@S@WHOHWHkHoHs``@h@|A@AD``@h@|A@AD``@h@|A@AD``@h@|A@ADaMAUAiAmAqFuF}GQGUGYaMAUAiAmAqaMAUAiAmAqH|aMAUAiAmAqHOHWHkHoHsdnDvEJENERFuF}GQGUGYfHFPFdFhFlFuF}GQGUGYe[EcEwE{F?FuF}GQGUGYbgBoCCCGCKcTC\CpCtCxdADID]DaDeazBBBVBZB^GbGjG~HBHFazBBBVBZB^azBBBVBZB^azBBBVBZB^dnDvEJENERdnDvEJENERfHFPFdFhFle[EcEwE{F?fHFPFdFhFle[EcEwE{F?dnDvEJENERfHFPFdFhFlHOHWHkHoHse[EcEwE{F?H|IDbgBoCCCGCKGbGjG~HBHFcTC\CpCtCxGbGjG~HBHFdADID]DaDeGbGjG~HBHFbgBoCCCGCKH|IDIXbgBoCCCGCKHOHWHkHoHscTC\CpCtCxdADID]DaDecTC\CpCtCxH|IDIXI\dADID]DaDeHOHWHkHoHs_E?M?`?h?i?r?z@M@U@V@_@g@zABAC_E?M?`?h?iALATAgAoApAyBABTB\B]_E?M?`?h?iBfBnCACICJDmDuEHEPEQ_E?M?`?h?iCSC[CnCvCwFGFOFbFjFk_E?M?`?h?iD@DHD[DcDdEZEbEuE}E~_r?z@M@U@VFtF|GOGWGXGaGiG|HDHE_r?z@M@U@V_r?z@M@U@VH{ICIVI^I__r?z@M@U@VHNHVHiHqHr`_@g@zABAC`_@g@zABAC`_@g@zABAC`_@g@zABACaLATAgAoApFtF|GOGWGXaLATAgAoApIhaLATAgAoApH{ICIVI^I_aLATAgAoApHNHVHiHqHrdmDuEHEPEQFtF|GOGWGXfGFOFbFjFkFtF|GOGWGXeZEbEuE}E~FtF|GOGWGXbfBnCACICJcSC[CnCvCwd@DHD[DcDdayBABTB\B]GaGiG|HDHEayBABTB\B]ayBABTB\B]ayBABTB\B]dmDuEHEPEQdmDuEHEPEQfGFOFbFjFkeZEbEuE}E~fGFOFbFjFkeZEbEuE}E~dmDuEHEPEQIhIpfGFOFbFjFkHNHVHiHqHreZEbEuE}E~H{ICIVI^I_bfBnCACICJGaGiG|HDHEcSC[CnCvCwGaGiG|HDHEd@DHD[DcDdGaGiG|HDHEbfBnCACICJH{ICIVI^I_bfBnCACICJHNHVHiHqHrcSC[CnCvCwIhIpJCd@DHD[DcDdIhIpJCJKcSC[CnCvCwH{ICIVI^I_d@DHD[DcDdHNHVHiHqHr_E?S?W?\?]?r@@@D@I@J@_@m@q@v@w_E?S?W?\?]ALAZA^AcAdAyBGBKBPBQ_E?S?W?\?]BfBtBxB}B~DmD{E?EDEE_E?S?W?\?]CSCaCeCjCkFGFUFYF^F__E?S?W?\?]D@DNDRDWDXEZEhElEqEr_r@@@D@I@JFtGBGFGKGLGaGoGsGxGy_r@@@D@I@JIhIvIzJ?J@_r@@@D@I@JH{IIIMIRIS_r@@@D@I@JHNH\H`HeHf`_@m@q@v@w`_@m@q@v@w`_@m@q@v@w`_@m@q@v@waLAZA^AcAdFtGBGFGKGLaLAZA^AcAdIhIvIzJ?J@aLAZA^AcAdH{IIIMIRISaLAZA^AcAdHNH\H`HeHfdmD{E?EDEEFtGBGFGKGLfGFUFYF^F_FtGBGFGKGLeZEhElEqErFtGBGFGKGLbfBtBxB}B~JUcSCaCeCjCkd@DNDRDWDXayBGBKBPBQGaGoGsGxGyayBGBKBPBQJUJcayBGBKBPBQayBGBKBPBQdmD{E?EDEEdmD{E?EDEEfGFUFYF^F_JUJcJgeZEhElEqErJUJcJgJlfGFUFYF^F_eZEhElEqErdmD{E?EDEEIhIvIzJ?J@fGFUFYF^F_HNH\H`HeHfeZEhElEqErH{IIIMIRISbfBtBxB}B~GaGoGsGxGycSCaCeCjCkGaGoGsGxGyd@DNDRDWDXGaGoGsGxGybfBtBxB}B~H{IIIMIRISbfBtBxB}B~HNH\H`HeHfcSCaCeCjCkIhIvIzJ?J@d@DNDRDWDXIhIvIzJ?J@cSCaCeCjCkH{IIIMIRISd@DNDRDWDXHNH\H`HeHf_F?U?Y?[?^?s@B@F@H@K@`@o@s@u@x_F?U?Y?[?^AMA\A`AbAeAzBIBMBOBR_F?U?Y?[?^BgBvBzB|C?DnD}EAECEF_F?U?Y?[?^CTCcCgCiClFHFWF[F]F`_F?U?Y?[?^DADPDTDVDYE[EjEnEpEs_s@B@F@H@KFuGDGHGJGMGbGqGuGwGz_s@B@F@H@KIiIxI|I~JAJVJeJiJkJn_s@B@F@H@KH|IKIOIQIT_s@B@F@H@KHOH^HbHdHg``@o@s@u@x``@o@s@u@x``@o@s@u@x``@o@s@u@xaMA\A`AbAeFuGDGHGJGMaMA\A`AbAeIiIxI|I~JAaMA\A`AbAeH|IKIOIQITaMA\A`AbAeHOH^HbHdHgdnD}EAECEFFuGDGHGJGMfHFWF[F]F`FuGDGHGJGMe[EjEnEpEsFuGDGHGJGMbgBvBzB|C?JVJeJiJkJncTCcCgCiCldADPDTDVDYKCazBIBMBOBRGbGqGuGwGzazBIBMBOBRJVJeJiJkJnazBIBMBOBRazBIBMBOBRKCKRdnD}EAECEFdnD}EAECEFKCKRKVfHFWF[F]F`JVJeJiJkJne[EjEnEpEsJVJeJiJkJnfHFWF[F]F`KCKRKVKXe[EjEnEpEsdnD}EAECEFIiIxI|I~JAfHFWF[F]F`HOH^HbHdHge[EjEnEpEsH|IKIOIQITbgBvBzB|C?GbGqGuGwGzcTCcCgCiClGbGqGuGwGzdADPDTDVDYGbGqGuGwGzbgBvBzB|C?H|IKIOIQITbgBvBzB|C?HOH^HbHdHgcTCcCgCiClIiIxI|I~JAdADPDTDVDYIiIxI|I~JAcTCcCgCiClH|IKIOIQITdADPDTDVDYHOH^HbHdHg_G?T?X?Z?_?t@A@E@G@L@a@n@r@t@y_G?T?X?Z?_ANA[A_AaAfA{BHBLBNBS_G?T?X?Z?_BhBuByB{C@DoD|E@EBEG_G?T?X?Z?_CUCbCfChCmFIFVFZF\Fa_G?T?X?Z?_DBDODSDUDZE\EiEmEoEt_t@A@E@G@LFvGCGGGIGNGcGpGtGvG{_t@A@E@G@LIjIwI{I}JBJWJdJhJjJo_t@A@E@G@LH}IJINIPIUKDKQKUKWK\_t@A@E@G@LHPH]HaHcHh`a@n@r@t@y`a@n@r@t@y`a@n@r@t@y`a@n@r@t@yaNA[A_AaAfFvGCGGGIGNaNA[A_AaAfIjIwI{I}JBaNA[A_AaAfH}IJINIPIUaNA[A_AaAfHPH]HaHcHhdoD|E@EBEGFvGCGGGIGNfIFVFZF\FaFvGCGGGIGNe\EiEmEoEtFvGCGGGIGNbhBuByB{C@JWJdJhJjJocUCbCfChCmKqdBDODSDUDZKDKQKUKWK\a{BHBLBNBSGcGpGtGvG{a{BHBLBNBSJWJdJhJjJoa{BHBLBNBSKqK~a{BHBLBNBSKDKQKUKWK\doD|E@EBEGKqK~LBdoD|E@EBEGKDKQKUKWK\fIFVFZF\FaJWJdJhJjJoe\EiEmEoEtJWJdJhJjJofIFVFZF\FaKDKQKUKWK\e\EiEmEoEtKqK~LBLDdoD|E@EBEGIjIwI{I}JBfIFVFZF\FaHPH]HaHcHhe\EiEmEoEtH}IJINIPIUbhBuByB{C@GcGpGtGvG{cUCbCfChCmGcGpGtGvG{dBDODSDUDZGcGpGtGvG{bhBuByB{C@H}IJINIPIUbhBuByB{C@HPH]HaHcHhcUCbCfChCmIjIwI{I}JBdBDODSDUDZIjIwI{I}JBcUCbCfChCmH}IJINIPIUdBDODSDUDZHPH]HaHcHh_H?L?S?T?U?u?y@@@A@B@b@f@m@n@o_H?L?S?T?UAOASAZA[A\A|B@BGBHBI_H?L?S?T?UBiBmBtBuBvDpDtD{D|D}_H?L?S?T?UCVCZCaCbCcFJFNFUFVFW_H?L?S?T?UDCDGDNDODPE]EaEhEiEj_u?y@@@A@BFwF{GBGCGDGdGhGoGpGq_u?y@@@A@BIkIoIvIwIxJXJ\JcJdJe_u?y@@@A@BH~IBIIIJIKKEKIKPKQKR_u?y@@@A@BHQHUH\H]H^KrKvK}K~L?`b@f@m@n@o`b@f@m@n@o`b@f@m@n@o`b@f@m@n@oaOASAZA[A\FwF{GBGCGDL_aOASAZA[A\IkIoIvIwIxaOASAZA[A\H~IBIIIJIKaOASAZA[A\HQHUH\H]H^dpDtD{D|D}FwF{GBGCGDfJFNFUFVFWFwF{GBGCGDe]EaEhEiEjFwF{GBGCGDbiBmBtBuBvJXJ\JcJdJeL_LccVCZCaCbCcKrKvK}K~L?L_LcLjdCDGDNDODPKEKIKPKQKRL_LcLjLka|B@BGBHBIGdGhGoGpGqa|B@BGBHBIJXJ\JcJdJea|B@BGBHBIKrKvK}K~L?a|B@BGBHBIKEKIKPKQKRdpDtD{D|D}KrKvK}K~L?dpDtD{D|D}KEKIKPKQKRfJFNFUFVFWJXJ\JcJdJee]EaEhEiEjJXJ\JcJdJefJFNFUFVFWKEKIKPKQKRe]EaEhEiEjKrKvK}K~L?dpDtD{D|D}IkIoIvIwIxfJFNFUFVFWHQHUH\H]H^e]EaEhEiEjH~IBIIIJIKbiBmBtBuBvGdGhGoGpGqcVCZCaCbCcGdGhGoGpGqdCDGDNDODPGdGhGoGpGqbiBmBtBuBvH~IBIIIJIKbiBmBtBuBvHQHUH\H]H^cVCZCaCbCcIkIoIvIwIxdCDGDNDODPIkIoIvIwIxcVCZCaCbCcH~IBIIIJIKdCDGDNDODPHQHUH\H]H^_H?V?`?a?b?u@C@M@N@O@b@p@z@{@|_H?V?`?a?bAOA]AgAhAiA|BJBTBUBV_H?V?`?a?bBiBwCACBCCDpD~EHEIEJ_H?V?`?a?bCVCdCnCoCpFJFXFbFcFd_H?V?`?a?bDCDQD[D\D]E]EkEuEvEw_u@C@M@N@OFwGEGOGPGQGdGrG|G}G~_u@C@M@N@OIkIyJCJDJEJXJfJpJqJr_u@C@M@N@OH~ILIVIWIXKEKSK]K^K__u@C@M@N@OHQH_HiHjHkKrL@LJLKLL`b@p@z@{@|L_LmLwLxLy`b@p@z@{@|`b@p@z@{@|`b@p@z@{@|aOA]AgAhAiFwGEGOGPGQL_LmLwLxLyaOA]AgAhAiIkIyJCJDJEaOA]AgAhAiH~ILIVIWIXaOA]AgAhAiHQH_HiHjHkdpD~EHEIEJFwGEGOGPGQfJFXFbFcFdFwGEGOGPGQe]EkEuEvEwFwGEGOGPGQbiBwCACBCCJXJfJpJqJrL_LmLwLxLycVCdCnCoCpKrL@LJLKLLL_LmLwLxLydCDQD[D\D]KEKSK]K^K_L_LmLwLxLya|BJBTBUBVGdGrG|G}G~MLa|BJBTBUBVJXJfJpJqJra|BJBTBUBVKrL@LJLKLLa|BJBTBUBVKEKSK]K^K_dpD~EHEIEJKrL@LJLKLLdpD~EHEIEJKEKSK]K^K_fJFXFbFcFdJXJfJpJqJre]EkEuEvEwJXJfJpJqJrfJFXFbFcFdKEKSK]K^K_e]EkEuEvEwKrL@LJLKLLdpD~EHEIEJIkIyJCJDJEMLMZfJFXFbFcFdHQH_HiHjHkMLMZMde]EkEuEvEwH~ILIVIWIXMLMZMdMebiBwCACBCCGdGrG|G}G~cVCdCnCoCpGdGrG|G}G~dCDQD[D\D]GdGrG|G}G~biBwCACBCCH~ILIVIWIXbiBwCACBCCHQH_HiHjHkcVCdCnCoCpIkIyJCJDJEdCDQD[D\D]IkIyJCJDJEcVCdCnCoCpH~ILIVIWIXdCDQD[D\D]HQH_HiHjHk_I?M?^?_?c?v?z@K@L@P@c@g@x@y@}_I?M?^?_?cAPATAeAfAjA}BABRBSBW_I?M?^?_?cBjBnC?C@CDDqDuEFEGEK_I?M?^?_?cCWC[ClCmCqFKFOF`FaFe_I?M?^?_?cDDDHDYDZD^E^EbEsEtEx_v?z@K@L@PFxF|GMGNGRGeGiGzG{H?_v?z@K@L@PIlIpJAJBJFJYJ]JnJoJs_v?z@K@L@PI?ICITIUIYKFKJK[K\K`_v?z@K@L@PHRHVHgHhHlKsKwLHLILM`c@g@x@y@}L`LdLuLvLzMMMQMbMcMg`c@g@x@y@}`c@g@x@y@}`c@g@x@y@}aPATAeAfAjFxF|GMGNGRL`LdLuLvLzaPATAeAfAjIlIpJAJBJFMzaPATAeAfAjI?ICITIUIYaPATAeAfAjHRHVHgHhHldqDuEFEGEKFxF|GMGNGRfKFOF`FaFeFxF|GMGNGRe^EbEsEtExFxF|GMGNGRbjBnC?C@CDJYJ]JnJoJsL`LdLuLvLzcWC[ClCmCqKsKwLHLILML`LdLuLvLzdDDHDYDZD^KFKJK[K\K`L`LdLuLvLza}BABRBSBWGeGiGzG{H?MMMQMbMcMga}BABRBSBWJYJ]JnJoJsa}BABRBSBWKsKwLHLILMa}BABRBSBWKFKJK[K\K`dqDuEFEGEKKsKwLHLILMdqDuEFEGEKKFKJK[K\K`fKFOF`FaFeJYJ]JnJoJse^EbEsEtExJYJ]JnJoJsfKFOF`FaFeKFKJK[K\K`MzM~e^EbEsEtExKsKwLHLILMMzM~NOdqDuEFEGEKIlIpJAJBJFMMMQMbMcMgfKFOF`FaFeHRHVHgHhHlMMMQMbMcMge^EbEsEtExI?ICITIUIYMMMQMbMcMgbjBnC?C@CDGeGiGzG{H?MzM~NONPcWC[ClCmCqGeGiGzG{H?dDDHDYDZD^GeGiGzG{H?bjBnC?C@CDI?ICITIUIYbjBnC?C@CDHRHVHgHhHlcWC[ClCmCqIlIpJAJBJFdDDHDYDZD^IlIpJAJBJFcWC[ClCmCqI?ICITIUIYdDDHDYDZD^HRHVHgHhHl_K?N?Z?\?e?x?{@G@I@R@e@h@t@vA?_K?N?Z?\?eARAUAaAcAlB?BBBNBPBY_K?N?Z?\?eBlBoB{B}CFDsDvEBEDEM_K?N?Z?\?eCYC\ChCjCsFMFPF\F^Fg_K?N?Z?\?eDFDIDUDWD`E`EcEoEqEz_x?{@G@I@RFzF}GIGKGTGgGjGvGxHA_x?{@G@I@RInIqI}J?JHJ[J^JjJlJu_x?{@G@I@RIAIDIPIRI[KHKKKWKYKb_x?{@G@I@RHTHWHcHeHnKuKxLDLFLO`e@h@t@vA?LbLeLqLsL|MOMRM^M`Mi`e@h@t@vA?M|N?NKNMNV`e@h@t@vA?`e@h@t@vA?aRAUAaAcAlFzF}GIGKGTLbLeLqLsL|aRAUAaAcAlInIqI}J?JHM|N?NKNMNVaRAUAaAcAlIAIDIPIRI[NiaRAUAaAcAlHTHWHcHeHndsDvEBEDEMFzF}GIGKGTfMFPF\F^FgFzF}GIGKGTe`EcEoEqEzFzF}GIGKGTblBoB{B}CFJ[J^JjJlJuLbLeLqLsL|cYC\ChCjCsKuKxLDLFLOLbLeLqLsL|dFDIDUDWD`KHKKKWKYKbLbLeLqLsL|b?BBBNBPBYGgGjGvGxHAMOMRM^M`Mib?BBBNBPBYJ[J^JjJlJub?BBBNBPBYKuKxLDLFLOb?BBBNBPBYKHKKKWKYKbdsDvEBEDEMKuKxLDLFLONiNldsDvEBEDEMKHKKKWKYKbfMFPF\F^FgJ[J^JjJlJuNiNlNxe`EcEoEqEzJ[J^JjJlJufMFPF\F^FgKHKKKWKYKbM|N?NKNMNVe`EcEoEqEzKuKxLDLFLOM|N?NKNMNVdsDvEBEDEMInIqI}J?JHMOMRM^M`MifMFPF\F^FgHTHWHcHeHnMOMRM^M`Mie`EcEoEqEzIAIDIPIRI[MOMRM^M`MiblBoB{B}CFGgGjGvGxHAM|N?NKNMNVcYC\ChCjCsGgGjGvGxHAdFDIDUDWD`GgGjGvGxHANiNlNxNzblBoB{B}CFIAIDIPIRI[blBoB{B}CFHTHWHcHeHncYC\ChCjCsInIqI}J?JHdFDIDUDWD`InIqI}J?JHcYC\ChCjCsIAIDIPIRI[dFDIDUDWD`HTHWHcHeHn_J?O?[?]?d?w?|@H@J@Q@d@i@u@w@~_J?O?[?]?dAQAVAbAdAkA~BCBOBQBX_J?O?[?]?dBkBpB|B~CEDrDwECEEEL_J?O?[?]?dCXC]CiCkCrFLFQF]F_Ff_J?O?[?]?dDEDJDVDXD_E_EdEpErEy_w?|@H@J@QFyF~GJGLGSGfGkGwGyH@_w?|@H@J@QImIrI~J@JGJZJ_JkJmJt_w?|@H@J@QI@IEIQISIZKGKLKXKZKa_w?|@H@J@QHSHXHdHfHmKtKyLELGLN`d@i@u@w@~LaLfLrLtL{MNMSM_MaMh`d@i@u@w@~M{N@NLNNNU`d@i@u@w@~`d@i@u@w@~NhNmNyN{OBaQAVAbAdAkFyF~GJGLGSLaLfLrLtL{aQAVAbAdAkImIrI~J@JGM{N@NLNNNUaQAVAbAdAkI@IEIQISIZNhNmNyN{OBaQAVAbAdAkHSHXHdHfHmOUdrDwECEEELFyF~GJGLGSfLFQF]F_FfFyF~GJGLGSe_EdEpErEyFyF~GJGLGSbkBpB|B~CEJZJ_JkJmJtLaLfLrLtL{cXC]CiCkCrKtKyLELGLNLaLfLrLtL{dEDJDVDXD_KGKLKXKZKaLaLfLrLtL{a~BCBOBQBXGfGkGwGyH@MNMSM_MaMha~BCBOBQBXJZJ_JkJmJta~BCBOBQBXKtKyLELGLNa~BCBOBQBXKGKLKXKZKadrDwECEEELKtKyLELGLNNhNmNyN{OBdrDwECEEELKGKLKXKZKaOUOZfLFQF]F_FfJZJ_JkJmJtNhNmNyN{OBe_EdEpErEyJZJ_JkJmJtOUOZOffLFQF]F_FfKGKLKXKZKaM{N@NLNNNUe_EdEpErEyKtKyLELGLNM{N@NLNNNUdrDwECEEELImIrI~J@JGMNMSM_MaMhfLFQF]F_FfHSHXHdHfHmMNMSM_MaMhe_EdEpErEyI@IEIQISIZMNMSM_MaMhbkBpB|B~CEGfGkGwGyH@M{N@NLNNNUcXC]CiCkCrGfGkGwGyH@OUOZOfOhdEDJDVDXD_GfGkGwGyH@NhNmNyN{OBbkBpB|B~CEI@IEIQISIZbkBpB|B~CEHSHXHdHfHmcXC]CiCkCrImIrI~J@JGdEDJDVDXD_ImIrI~J@JGcXC]CiCkCrI@IEIQISIZdEDJDVDXD_HSHXHdHfHm_J?Q?X?f?i?w?~@E@S@V@d@k@rA@AC_J?Q?X?f?iAQAXA_AmApA~BEBLBZB]_J?Q?X?f?iBkBrByCGCJDrDyE@ENEQ_J?Q?X?f?iCXC_CfCtCwFLFSFZFhFk_J?Q?X?f?iDEDLDSDaDdE_EfEmE{E~_w?~@E@S@VFyG@GGGUGXGfGmGtHBHE_w?~@E@S@VImItI{JIJLJZJaJhJvJy_w?~@E@S@VI@IGINI\I_KGKNKUKcKf_w?~@E@S@VHSHZHaHoHrKtK{LBLPLS`d@k@rA@ACLaLhLoL}M@MNMUM\MjMm`d@k@rA@ACM{NBNINWNZ`d@k@rA@ACOUO\OcOqOt`d@k@rA@ACNhNoNvODOGaQAXA_AmApFyG@GGGUGXLaLhLoL}M@aQAXA_AmApImItI{JIJLM{NBNINWNZaQAXA_AmApI@IGINI\I_NhNoNvODOGaQAXA_AmApHSHZHaHoHrOUO\OcOqOtdrDyE@ENEQFyG@GGGUGXfLFSFZFhFkFyG@GGGUGXPBe_EfEmE{E~FyG@GGGUGXbkBrByCGCJJZJaJhJvJyLaLhLoL}M@cXC_CfCtCwKtK{LBLPLSLaLhLoL}M@dEDLDSDaDdKGKNKUKcKfLaLhLoL}M@a~BEBLBZB]GfGmGtHBHEMNMUM\MjMma~BEBLBZB]JZJaJhJvJya~BEBLBZB]KtK{LBLPLSPBPIa~BEBLBZB]KGKNKUKcKfdrDyE@ENEQKtK{LBLPLSNhNoNvODOGdrDyE@ENEQKGKNKUKcKfOUO\OcOqOtfLFSFZFhFkJZJaJhJvJyNhNoNvODOGe_EfEmE{E~JZJaJhJvJyOUO\OcOqOtfLFSFZFhFkKGKNKUKcKfM{NBNINWNZe_EfEmE{E~KtK{LBLPLSM{NBNINWNZdrDyE@ENEQImItI{JIJLMNMUM\MjMmfLFSFZFhFkHSHZHaHoHrMNMUM\MjMme_EfEmE{E~I@IGINI\I_MNMUM\MjMmbkBrByCGCJGfGmGtHBHEM{NBNINWNZcXC_CfCtCwGfGmGtHBHEOUO\OcOqOtdEDLDSDaDdGfGmGtHBHENhNoNvODOGbkBrByCGCJI@IGINI\I_PBPIPPbkBrByCGCJHSHZHaHoHrcXC_CfCtCwImItI{JIJLdEDLDSDaDdImItI{JIJLPBPIPPP^cXC_CfCtCwI@IGINI\I_dEDLDSDaDdHSHZHaHoHr_K?R?Y?g?h?x@?@F@T@U@e@l@sAAAB_K?R?Y?g?hARAYA`AnAoB?BFBMB[B\_K?R?Y?g?hBlBsBzCHCIDsDzEAEOEP_K?R?Y?g?hCYC`CgCuCvFMFTF[FiFj_K?R?Y?g?hDFDMDTDbDcE`EgEnE|E}_x@?@F@T@UFzGAGHGVGWGgGnGuHCHD_x@?@F@T@UInIuI|JJJKJ[JbJiJwJx_x@?@F@T@UIAIHIOI]I^KHKOKVKdKe_x@?@F@T@UHTH[HbHpHqKuK|LCLQLR`e@l@sAAABLbLiLpL~M?MOMVM]MkMl`e@l@sAAABM|NCNJNXNY`e@l@sAAABOVO]OdOrOsPCPJPQP_P``e@l@sAAABNiNpNwOEOFaRAYA`AnAoFzGAGHGVGWLbLiLpL~M?aRAYA`AnAoInIuI|JJJKM|NCNJNXNYaRAYA`AnAoIAIHIOI]I^NiNpNwOEOFaRAYA`AnAoHTH[HbHpHqOVO]OdOrOsdsDzEAEOEPFzGAGHGVGWfMFTF[FiFjFzGAGHGVGWPCPJPQP_P`e`EgEnE|E}FzGAGHGVGWPpblBsBzCHCIJ[JbJiJwJxLbLiLpL~M?cYC`CgCuCvKuK|LCLQLRLbLiLpL~M?dFDMDTDbDcKHKOKVKdKeLbLiLpL~M?b?BFBMB[B\GgGnGuHCHDMOMVM]MkMlb?BFBMB[B\J[JbJiJwJxb?BFBMB[B\KuK|LCLQLRPCPJPQP_P`b?BFBMB[B\KHKOKVKdKePpPwdsDzEAEOEPKuK|LCLQLRNiNpNwOEOFdsDzEAEOEPKHKOKVKdKeOVO]OdOrOsfMFTF[FiFjJ[JbJiJwJxNiNpNwOEOFe`EgEnE|E}J[JbJiJwJxOVO]OdOrOsfMFTF[FiFjKHKOKVKdKeM|NCNJNXNYe`EgEnE|E}KuK|LCLQLRM|NCNJNXNYdsDzEAEOEPInIuI|JJJKMOMVM]MkMlfMFTF[FiFjHTH[HbHpHqMOMVM]MkMle`EgEnE|E}IAIHIOI]I^MOMVM]MkMlblBsBzCHCIGgGnGuHCHDM|NCNJNXNYcYC`CgCuCvGgGnGuHCHDOVO]OdOrOsdFDMDTDbDcGgGnGuHCHDNiNpNwOEOFblBsBzCHCIIAIHIOI]I^PCPJPQP_P`blBsBzCHCIHTH[HbHpHqPpPwP~cYC`CgCuCvInIuI|JJJKPpPwP~QLdFDMDTDbDcInIuI|JJJKPCPJPQP_P`cYC`CgCuCvIAIHIOI]I^dFDMDTDbDcHTH[HbHpHq_I?P?W?j?k?v?}@D@W@X@c@j@qADAE_I?P?W?j?kAPAWA^AqArA}BDBKB^B__I?P?W?j?kBjBqBxCKCLDqDxE?ERES_I?P?W?j?kCWC^CeCxCyFKFRFYFlFm_I?P?W?j?kDDDKDRDeDfE^EeElF?F@_v?}@D@W@XFxG?GFGYGZGeGlGsHFHG_v?}@D@W@XIlIsIzJMJNJYJ`JgJzJ{_v?}@D@W@XI?IFIMI`IaKFKMKTKgKh_v?}@D@W@XHRHYH`HsHtKsKzLALTLU`c@j@qADAEL`LgLnMAMBMMMTM[MnMo`c@j@qADAEMzNANHN[N\`c@j@qADAEOTO[ObOuOvPAPHPOPbPc`c@j@qADAENgNnNuOHOIPnPuP|QOQPaPAWA^AqArFxG?GFGYGZL`LgLnMAMBaPAWA^AqArIlIsIzJMJNMzNANHN[N\aPAWA^AqArI?IFIMI`IaNgNnNuOHOIaPAWA^AqArHRHYH`HsHtOTO[ObOuOvdqDxE?ERESFxG?GFGYGZQ[fKFRFYFlFmFxG?GFGYGZPAPHPOPbPce^EeElF?F@FxG?GFGYGZPnPuP|QOQPbjBqBxCKCLJYJ`JgJzJ{L`LgLnMAMBcWC^CeCxCyKsKzLALTLUL`LgLnMAMBdDDKDRDeDfKFKMKTKgKhL`LgLnMAMBa}BDBKB^B_GeGlGsHFHGMMMTM[MnMoa}BDBKB^B_JYJ`JgJzJ{Q[Qba}BDBKB^B_KsKzLALTLUPAPHPOPbPca}BDBKB^B_KFKMKTKgKhPnPuP|QOQPdqDxE?ERESKsKzLALTLUNgNnNuOHOIdqDxE?ERESKFKMKTKgKhOTO[ObOuOvfKFRFYFlFmJYJ`JgJzJ{NgNnNuOHOIe^EeElF?F@JYJ`JgJzJ{OTO[ObOuOvfKFRFYFlFmKFKMKTKgKhMzNANHN[N\e^EeElF?F@KsKzLALTLUMzNANHN[N\dqDxE?ERESIlIsIzJMJNMMMTM[MnMofKFRFYFlFmHRHYH`HsHtMMMTM[MnMoe^EeElF?F@I?IFIMI`IaMMMTM[MnMobjBqBxCKCLGeGlGsHFHGMzNANHN[N\cWC^CeCxCyGeGlGsHFHGOTO[ObOuOvdDDKDRDeDfGeGlGsHFHGNgNnNuOHOIbjBqBxCKCLI?IFIMI`IaPAPHPOPbPcbjBqBxCKCLHRHYH`HsHtPnPuP|QOQPcWC^CeCxCyIlIsIzJMJNPnPuP|QOQPdDDKDRDeDfIlIsIzJMJNPAPHPOPbPccWC^CeCxCyI?IFIMI`IaQ[QbQidDDKDRDeDfHRHYH`HsHtQ[QbQiQ|_??@?A?B?C?l?q?r?s?t@Y@b@c@d@eaGASATAUAVFsF{G?G@GAL_LcLjLkLlatBJBKBLBMG`GrH?H@HAMLMZMdMeMffDFSF^F`FcKCKRKVKXK[MzM~NONPNTeXEgErEtEwJUJcJgJlJmOUOZOfOhOodiDxEBECEHKqK~LBLDLINiNlNxNzOCbbBtCDCGCHH|IDIXI\I`PBPIPPP^PacPCbCrCvCxIhIpJCJKJLPpPwP~QLQMc~DPD`DdDfHPHXHjHpHtQ[QbQiQ|Q}")
xQ24pp  = Graph(r":~?RG_?_??@_??@?A_??@?A?B_l???D?E?F?G_??D?E?F?G_??D?E?F?G_??D?E?F?G_??D?E?F?G_l_l?q_l?q?r_l?q?r?s`Y???H?I?J?K?l?u?v?w?x_??H?I?J?K_??H?I?J?K_??H?I?J?K_??H?I?J?K_l?u?v?w?x_l?u?v?w?x_l?u?v?w?x_l?u?v?w?x`Y`Y@b`Y@b@c`Y@b@c@daF?@?L?M?N?O?m?y?z?{?|@Z@f@g@h@i_@?L?M?N?O_@?L?M?N?O_@?L?M?N?O_@?L?M?N?O_m?y?z?{?|_m?y?z?{?|_m?y?z?{?|_m?y?z?{?|`Z@f@g@h@i`Z@f@g@h@i`Z@f@g@h@i`Z@f@g@h@iaGaGASaGASATaGASATAUas?@?V?W?X?Y?m@C@D@E@F@Z@p@q@r@s_@?V?W?X?YAGA]A^A_A`_@?V?W?X?Y_@?V?W?X?Y_@?V?W?X?Y_m@C@D@E@F_m@C@D@E@F_m@C@D@E@F_m@C@D@E@F`Z@p@q@r@s`Z@p@q@r@s`Z@p@q@r@s`Z@p@q@r@saGA]A^A_A`aGA]A^A_A`aGA]A^A_A`aGA]A^A_A`bJAtatBJatBJBKatBJBKBLb`?A?S?c?f?g?n@@@P@S@T@[@m@}A@AA_A?S?c?f?gAHAZAjAmAnAuBGBWBZB[_A?S?c?f?g_A?S?c?f?g_A?S?c?f?g_n@@@P@S@T_n@@@P@S@T_n@@@P@S@T_n@@@P@S@T`[@m@}A@AA`[@m@}A@AA`[@m@}A@AA`[@m@}A@AAaHAZAjAmAnaHAZAjAmAnaHAZAjAmAnaHAZAjAmAnbtBbbwAuBGBWBZB[auBGBWBZB[auBGBWBZB[auBGBWBZB[cDBbBtcGBbBtCDbbBtCDCGcM?B?T?d?h?j?o@A@Q@U@W@\@n@~ABAD_B?T?d?h?jAIA[AkAoAqAvBHBXB\B^_B?T?d?h?jBcBuCECICK_B?T?d?h?j_B?T?d?h?j_o@A@Q@U@W_o@A@Q@U@W_o@A@Q@U@W_o@A@Q@U@W`\@n@~ABAD`\@n@~ABAD`\@n@~ABAD`\@n@~ABADaIA[AkAoAqaIA[AkAoAqaIA[AkAoAqaIA[AkAoAqcaBcBuCECICKcPcdAvBHBXB\B^avBHBXB\B^avBHBXB\B^avBHBXB\B^cqBcBuCECICKcPCbctBcBuCECICKbcBuCECICKcPCbCrcxCPCbCrCvcz?C?U?e?i?k?p@B@R@V@X@]@oA?ACAE_C?U?e?i?kAJA\AlApArAwBIBYB]B__C?U?e?i?kBdBvCFCJCL_C?U?e?i?kCQCcCsCwCy_C?U?e?i?k_p@B@R@V@X_p@B@R@V@X_p@B@R@V@X_p@B@R@V@X`]@oA?ACAE`]@oA?ACAE`]@oA?ACAE`]@oA?ACAEaJA\AlApAraJA\AlApAraJA\AlApAraJA\AlApArdNBdBvCFCJCLcQCcCsCwCyc~awBIBYB]B_awBIBYB]B_awBIBYB]B_awBIBYB]B_d^BdBvCFCJCLcQCcCsCwCyc~DPbdBvCFCJCLbdBvCFCJCLcQCcCsCwCyc~DPD`cQCcCsCwCyc~DPD`Dd_A?P?Z?[?`?n?}@G@H@M@[@j@t@u@z_A?P?Z?[?`AHAWAaAbAgAuBDBNBOBT_A?P?Z?[?`BbBqB{B|CA_A?P?Z?[?`COC^ChCiCn_A?P?Z?[?`C|DKDUDVD[_n?}@G@H@M_n?}@G@H@M_n?}@G@H@M_n?}@G@H@M`[@j@t@u@z`[@j@t@u@z`[@j@t@u@z`[@j@t@u@zaHAWAaAbAgaHAWAaAbAgaHAWAaAbAgaHAWAaAbAgdid{BbBqB{B|CAcOC^ChCiCnc|DKDUDVD[auBDBNBOBTauBDBNBOBTauBDBNBOBTauBDBNBOBTdiDxdiDxEBeHDiDxEBECeKBbBqB{B|CAcOC^ChCiCnc|DKDUDVD[bbBqB{B|CAbbBqB{B|CAcOC^ChCiCnc|DKDUDVD[cOC^ChCiCnc|DKDUDVD[_C?R?]?_?b?p@?@J@L@O@]@l@w@y@|_C?R?]?_?bAJAYAdAfAiAwBFBQBSBV_C?R?]?_?bBdBsB~C@CCDkDzEEEGEJ_C?R?]?_?bCQC`CkCmCp_C?R?]?_?bC~DMDXDZD]_p@?@J@L@O_p@?@J@L@O_p@?@J@L@O_p@?@J@L@O`]@l@w@y@|`]@l@w@y@|`]@l@w@y@|`]@l@w@y@|aJAYAdAfAiaJAYAdAfAiaJAYAdAfAiaJAYAdAfAidkDzEEEGEJegEXbdBsB~C@CCcQC`CkCmCpc~DMDXDZD]awBFBQBSBVawBFBQBSBVawBFBQBSBVawBFBQBSBVdkDzEEEGEJdkDzEEEGEJerEXEgetEXEgErdkDzEEEGEJewEXEgErEtbdBsB~C@CCcQC`CkCmCpc~DMDXDZD]bdBsB~C@CCbdBsB~C@CCcQC`CkCmCpc~DMDXDZD]cQC`CkCmCpc~DMDXDZD]_B?Q?\?^?a?o?~@I@K@N@\@k@v@x@{_B?Q?\?^?aAIAXAcAeAhAvBEBPBRBU_B?Q?\?^?aBcBrB}C?CBDjDyEDEFEI_B?Q?\?^?aCPC_CjClCo_B?Q?\?^?aC}DLDWDYD\EWEfEqEsEv_o?~@I@K@N_o?~@I@K@N_o?~@I@K@N_o?~@I@K@N`\@k@v@x@{`\@k@v@x@{`\@k@v@x@{`\@k@v@x@{aIAXAcAeAhaIAXAcAeAhaIAXAcAeAhaIAXAcAeAhdjDyEDEFEIfDeWEfEqEsEvbcBrB}C?CBcPC_CjClCoc}DLDWDYD\avBEBPBRBUavBEBPBRBUavBEBPBRBUavBEBPBRBUdjDyEDEFEIdjDyEDEFEIfDFSeWEfEqEsEvfDFSF^eWEfEqEsEvdjDyEDEFEIfDFSF^F`eWEfEqEsEvbcBrB}C?CBcPC_CjClCoc}DLDWDYD\bcBrB}C?CBbcBrB}C?CBcPC_CjClCoc}DLDWDYD\cPC_CjClCoc}DLDWDYD\_D?L?P?Q?R?q?y?}?~@?@^@f@j@k@l_D?L?P?Q?RAKASAWAXAYAxB@BDBEBF_D?L?P?Q?RBeBmBqBrBsDlDtDxDyDz_D?L?P?Q?RCRCZC^C_C`FFFNFRFSFT_D?L?P?Q?RD?DGDKDLDMEYEaEeEfEg_q?y?}?~@?_q?y?}?~@?_q?y?}?~@?_q?y?}?~@?`^@f@j@k@l`^@f@j@k@l`^@f@j@k@l`^@f@j@k@laKASAWAXAYFsaKASAWAXAYaKASAWAXAYaKASAWAXAYdlDtDxDyDzFsF{fFFNFRFSFTFsF{G?eYEaEeEfEgFsF{G?G@beBmBqBrBscRCZC^C_C`d?DGDKDLDMaxB@BDBEBFaxB@BDBEBFaxB@BDBEBFaxB@BDBEBFdlDtDxDyDzdlDtDxDyDzfFFNFRFSFTeYEaEeEfEgfFFNFRFSFTeYEaEeEfEgdlDtDxDyDzfFFNFRFSFTeYEaEeEfEgbeBmBqBrBscRCZC^C_C`d?DGDKDLDMbeBmBqBrBsbeBmBqBrBscRCZC^C_C`d?DGDKDLDMcRCZC^C_C`d?DGDKDLDM_D?V?c?d?e?q@C@P@Q@R@^@p@}@~A?_D?V?c?d?eAKA]AjAkAlAxBJBWBXBY_D?V?c?d?eBeBwCDCECFDlD~EKELEM_D?V?c?d?eCRCdCqCrCsFFFXFeFfFg_D?V?c?d?eD?DQD^D_D`EYEkExEyEz_q@C@P@Q@RFsGEGRGSGT_q@C@P@Q@R_q@C@P@Q@R_q@C@P@Q@R`^@p@}@~A?`^@p@}@~A?`^@p@}@~A?`^@p@}@~A?aKA]AjAkAlFsGEGRGSGTaKA]AjAkAlaKA]AjAkAlaKA]AjAkAldlD~EKELEMFsGEGRGSGTfFFXFeFfFgFsGEGRGSGTeYEkExEyEzFsGEGRGSGTbeBwCDCECFcRCdCqCrCsd?DQD^D_D`axBJBWBXBYG`axBJBWBXBYaxBJBWBXBYaxBJBWBXBYdlD~EKELEMdlD~EKELEMfFFXFeFfFgeYEkExEyEzfFFXFeFfFgeYEkExEyEzdlD~EKELEMfFFXFeFfFgeYEkExEyEzbeBwCDCECFG`GrcRCdCqCrCsG`GrH?d?DQD^D_D`G`GrH?H@beBwCDCECFbeBwCDCECFcRCdCqCrCsd?DQD^D_D`cRCdCqCrCsd?DQD^D_D`_G?O?a?g?k?t?|@N@T@X@a@i@{AAAE_G?O?a?g?kANAVAhAnArA{BCBUB[B__G?O?a?g?kBhBpCBCHCLDoDwEIEOES_G?O?a?g?kCUC]CoCuCyFIFQFcFiFm_G?O?a?g?kDBDJD\DbDfE\EdEvE|F@_t?|@N@T@XFvF~GPGVGZGcGkG}HCHG_t?|@N@T@X_t?|@N@T@X_t?|@N@T@X`a@i@{AAAE`a@i@{AAAE`a@i@{AAAE`a@i@{AAAEaNAVAhAnArFvF~GPGVGZaNAVAhAnAraNAVAhAnAraNAVAhAnArHPdoDwEIEOESFvF~GPGVGZfIFQFcFiFmFvF~GPGVGZe\EdEvE|F@FvF~GPGVGZbhBpCBCHCLcUC]CoCuCydBDJD\DbDfa{BCBUB[B_GcGkG}HCHGa{BCBUB[B_a{BCBUB[B_a{BCBUB[B_doDwEIEOESdoDwEIEOESfIFQFcFiFme\EdEvE|F@fIFQFcFiFme\EdEvE|F@doDwEIEOESfIFQFcFiFmHPHXe\EdEvE|F@bhBpCBCHCLGcGkG}HCHGcUC]CoCuCyGcGkG}HCHGdBDJD\DbDfGcGkG}HCHGbhBpCBCHCLbhBpCBCHCLHPHXHjcUC]CoCuCydBDJD\DbDfcUC]CoCuCydBDJD\DbDfHPHXHjHp_F?N?b?f?j?s?{@O@S@W@`@h@|A@AD_F?N?b?f?jAMAUAiAmAqAzBBBVBZB^_F?N?b?f?jBgBoCCCGCKDnDvEJENER_F?N?b?f?jCTC\CpCtCxFHFPFdFhFl_F?N?b?f?jDADID]DaDeE[EcEwE{F?_s?{@O@S@WFuF}GQGUGYGbGjG~HBHF_s?{@O@S@W_s?{@O@S@W_s?{@O@S@WHOHWHkHoHs``@h@|A@AD``@h@|A@AD``@h@|A@AD``@h@|A@ADaMAUAiAmAqFuF}GQGUGYaMAUAiAmAqaMAUAiAmAqH|aMAUAiAmAqHOHWHkHoHsdnDvEJENERFuF}GQGUGYfHFPFdFhFlFuF}GQGUGYe[EcEwE{F?FuF}GQGUGYbgBoCCCGCKcTC\CpCtCxdADID]DaDeazBBBVBZB^GbGjG~HBHFazBBBVBZB^azBBBVBZB^azBBBVBZB^dnDvEJENERdnDvEJENERfHFPFdFhFle[EcEwE{F?fHFPFdFhFle[EcEwE{F?dnDvEJENERfHFPFdFhFlHOHWHkHoHse[EcEwE{F?H|IDbgBoCCCGCKGbGjG~HBHFcTC\CpCtCxGbGjG~HBHFdADID]DaDeGbGjG~HBHFbgBoCCCGCKH|IDIXbgBoCCCGCKHOHWHkHoHscTC\CpCtCxdADID]DaDecTC\CpCtCxH|IDIXI\dADID]DaDeHOHWHkHoHs_E?M?`?h?i?r?z@M@U@V@_@g@zABAC_E?M?`?h?iALATAgAoApAyBABTB\B]_E?M?`?h?iBfBnCACICJDmDuEHEPEQ_E?M?`?h?iCSC[CnCvCwFGFOFbFjFk_E?M?`?h?iD@DHD[DcDdEZEbEuE}E~_r?z@M@U@VFtF|GOGWGXGaGiG|HDHE_r?z@M@U@V_r?z@M@U@VH{ICIVI^I__r?z@M@U@VHNHVHiHqHr`_@g@zABAC`_@g@zABAC`_@g@zABAC`_@g@zABACaLATAgAoApFtF|GOGWGXaLATAgAoApIhaLATAgAoApH{ICIVI^I_aLATAgAoApHNHVHiHqHrdmDuEHEPEQFtF|GOGWGXfGFOFbFjFkFtF|GOGWGXeZEbEuE}E~FtF|GOGWGXbfBnCACICJcSC[CnCvCwd@DHD[DcDdayBABTB\B]GaGiG|HDHEayBABTB\B]ayBABTB\B]ayBABTB\B]dmDuEHEPEQdmDuEHEPEQfGFOFbFjFkeZEbEuE}E~fGFOFbFjFkeZEbEuE}E~dmDuEHEPEQIhIpfGFOFbFjFkHNHVHiHqHreZEbEuE}E~H{ICIVI^I_bfBnCACICJGaGiG|HDHEcSC[CnCvCwGaGiG|HDHEd@DHD[DcDdGaGiG|HDHEbfBnCACICJH{ICIVI^I_bfBnCACICJHNHVHiHqHrcSC[CnCvCwIhIpJCd@DHD[DcDdIhIpJCJKcSC[CnCvCwH{ICIVI^I_d@DHD[DcDdHNHVHiHqHr_E?S?W?\?]?r@@@D@I@J@_@m@q@v@w_E?S?W?\?]ALAZA^AcAdAyBGBKBPBQ_E?S?W?\?]BfBtBxB}B~DmD{E?EDEE_E?S?W?\?]CSCaCeCjCkFGFUFYF^F__E?S?W?\?]D@DNDRDWDXEZEhElEqEr_r@@@D@I@JFtGBGFGKGLGaGoGsGxGy_r@@@D@I@JIhIvIzJ?J@_r@@@D@I@JH{IIIMIRIS_r@@@D@I@JHNH\H`HeHf`_@m@q@v@w`_@m@q@v@w`_@m@q@v@w`_@m@q@v@waLAZA^AcAdFtGBGFGKGLaLAZA^AcAdIhIvIzJ?J@aLAZA^AcAdH{IIIMIRISaLAZA^AcAdHNH\H`HeHfdmD{E?EDEEFtGBGFGKGLfGFUFYF^F_FtGBGFGKGLeZEhElEqErFtGBGFGKGLbfBtBxB}B~JUcSCaCeCjCkd@DNDRDWDXayBGBKBPBQGaGoGsGxGyayBGBKBPBQJUJcayBGBKBPBQayBGBKBPBQdmD{E?EDEEdmD{E?EDEEfGFUFYF^F_JUJcJgeZEhElEqErJUJcJgJlfGFUFYF^F_eZEhElEqErdmD{E?EDEEIhIvIzJ?J@fGFUFYF^F_HNH\H`HeHfeZEhElEqErH{IIIMIRISbfBtBxB}B~GaGoGsGxGycSCaCeCjCkGaGoGsGxGyd@DNDRDWDXGaGoGsGxGybfBtBxB}B~H{IIIMIRISbfBtBxB}B~HNH\H`HeHfcSCaCeCjCkIhIvIzJ?J@d@DNDRDWDXIhIvIzJ?J@cSCaCeCjCkH{IIIMIRISd@DNDRDWDXHNH\H`HeHf_F?U?Y?[?^?s@B@F@H@K@`@o@s@u@x_F?U?Y?[?^AMA\A`AbAeAzBIBMBOBR_F?U?Y?[?^BgBvBzB|C?DnD}EAECEF_F?U?Y?[?^CTCcCgCiClFHFWF[F]F`_F?U?Y?[?^DADPDTDVDYE[EjEnEpEs_s@B@F@H@KFuGDGHGJGMGbGqGuGwGz_s@B@F@H@KIiIxI|I~JAJVJeJiJkJn_s@B@F@H@KH|IKIOIQIT_s@B@F@H@KHOH^HbHdHg``@o@s@u@x``@o@s@u@x``@o@s@u@x``@o@s@u@xaMA\A`AbAeFuGDGHGJGMaMA\A`AbAeIiIxI|I~JAaMA\A`AbAeH|IKIOIQITaMA\A`AbAeHOH^HbHdHgdnD}EAECEFFuGDGHGJGMfHFWF[F]F`FuGDGHGJGMe[EjEnEpEsFuGDGHGJGMbgBvBzB|C?JVJeJiJkJncTCcCgCiCldADPDTDVDYKCazBIBMBOBRGbGqGuGwGzazBIBMBOBRJVJeJiJkJnazBIBMBOBRazBIBMBOBRKCKRdnD}EAECEFdnD}EAECEFKCKRKVfHFWF[F]F`JVJeJiJkJne[EjEnEpEsJVJeJiJkJnfHFWF[F]F`KCKRKVKXe[EjEnEpEsdnD}EAECEFIiIxI|I~JAfHFWF[F]F`HOH^HbHdHge[EjEnEpEsH|IKIOIQITbgBvBzB|C?GbGqGuGwGzcTCcCgCiClGbGqGuGwGzdADPDTDVDYGbGqGuGwGzbgBvBzB|C?H|IKIOIQITbgBvBzB|C?HOH^HbHdHgcTCcCgCiClIiIxI|I~JAdADPDTDVDYIiIxI|I~JAcTCcCgCiClH|IKIOIQITdADPDTDVDYHOH^HbHdHg_G?T?X?Z?_?t@A@E@G@L@a@n@r@t@y_G?T?X?Z?_ANA[A_AaAfA{BHBLBNBS_G?T?X?Z?_BhBuByB{C@DoD|E@EBEG_G?T?X?Z?_CUCbCfChCmFIFVFZF\Fa_G?T?X?Z?_DBDODSDUDZE\EiEmEoEt_t@A@E@G@LFvGCGGGIGNGcGpGtGvG{_t@A@E@G@LIjIwI{I}JBJWJdJhJjJo_t@A@E@G@LH}IJINIPIUKDKQKUKWK\_t@A@E@G@LHPH]HaHcHh`a@n@r@t@y`a@n@r@t@y`a@n@r@t@y`a@n@r@t@yaNA[A_AaAfFvGCGGGIGNaNA[A_AaAfIjIwI{I}JBaNA[A_AaAfH}IJINIPIUaNA[A_AaAfHPH]HaHcHhdoD|E@EBEGFvGCGGGIGNfIFVFZF\FaFvGCGGGIGNe\EiEmEoEtFvGCGGGIGNbhBuByB{C@JWJdJhJjJocUCbCfChCmKqdBDODSDUDZKDKQKUKWK\a{BHBLBNBSGcGpGtGvG{a{BHBLBNBSJWJdJhJjJoa{BHBLBNBSKqK~a{BHBLBNBSKDKQKUKWK\doD|E@EBEGKqK~LBdoD|E@EBEGKDKQKUKWK\fIFVFZF\FaJWJdJhJjJoe\EiEmEoEtJWJdJhJjJofIFVFZF\FaKDKQKUKWK\e\EiEmEoEtKqK~LBLDdoD|E@EBEGIjIwI{I}JBfIFVFZF\FaHPH]HaHcHhe\EiEmEoEtH}IJINIPIUbhBuByB{C@GcGpGtGvG{cUCbCfChCmGcGpGtGvG{dBDODSDUDZGcGpGtGvG{bhBuByB{C@H}IJINIPIUbhBuByB{C@HPH]HaHcHhcUCbCfChCmIjIwI{I}JBdBDODSDUDZIjIwI{I}JBcUCbCfChCmH}IJINIPIUdBDODSDUDZHPH]HaHcHh_H?L?S?T?U?u?y@@@A@B@b@f@m@n@o_H?L?S?T?UAOASAZA[A\A|B@BGBHBI_H?L?S?T?UBiBmBtBuBvDpDtD{D|D}_H?L?S?T?UCVCZCaCbCcFJFNFUFVFW_H?L?S?T?UDCDGDNDODPE]EaEhEiEj_u?y@@@A@BFwF{GBGCGDGdGhGoGpGq_u?y@@@A@BIkIoIvIwIxJXJ\JcJdJe_u?y@@@A@BH~IBIIIJIKKEKIKPKQKR_u?y@@@A@BHQHUH\H]H^KrKvK}K~L?`b@f@m@n@o`b@f@m@n@o`b@f@m@n@o`b@f@m@n@oaOASAZA[A\FwF{GBGCGDL_aOASAZA[A\IkIoIvIwIxaOASAZA[A\H~IBIIIJIKaOASAZA[A\HQHUH\H]H^dpDtD{D|D}FwF{GBGCGDfJFNFUFVFWFwF{GBGCGDe]EaEhEiEjFwF{GBGCGDbiBmBtBuBvJXJ\JcJdJeL_LccVCZCaCbCcKrKvK}K~L?L_LcLjdCDGDNDODPKEKIKPKQKRL_LcLjLka|B@BGBHBIGdGhGoGpGqa|B@BGBHBIJXJ\JcJdJea|B@BGBHBIKrKvK}K~L?a|B@BGBHBIKEKIKPKQKRdpDtD{D|D}KrKvK}K~L?dpDtD{D|D}KEKIKPKQKRfJFNFUFVFWJXJ\JcJdJee]EaEhEiEjJXJ\JcJdJefJFNFUFVFWKEKIKPKQKRe]EaEhEiEjKrKvK}K~L?dpDtD{D|D}IkIoIvIwIxfJFNFUFVFWHQHUH\H]H^e]EaEhEiEjH~IBIIIJIKbiBmBtBuBvGdGhGoGpGqcVCZCaCbCcGdGhGoGpGqdCDGDNDODPGdGhGoGpGqbiBmBtBuBvH~IBIIIJIKbiBmBtBuBvHQHUH\H]H^cVCZCaCbCcIkIoIvIwIxdCDGDNDODPIkIoIvIwIxcVCZCaCbCcH~IBIIIJIKdCDGDNDODPHQHUH\H]H^_H?V?`?a?b?u@C@M@N@O@b@p@z@{@|_H?V?`?a?bAOA]AgAhAiA|BJBTBUBV_H?V?`?a?bBiBwCACBCCDpD~EHEIEJ_H?V?`?a?bCVCdCnCoCpFJFXFbFcFd_H?V?`?a?bDCDQD[D\D]E]EkEuEvEw_u@C@M@N@OFwGEGOGPGQGdGrG|G}G~_u@C@M@N@OIkIyJCJDJEJXJfJpJqJr_u@C@M@N@OH~ILIVIWIXKEKSK]K^K__u@C@M@N@OHQH_HiHjHkKrL@LJLKLL`b@p@z@{@|L_LmLwLxLy`b@p@z@{@|`b@p@z@{@|`b@p@z@{@|aOA]AgAhAiFwGEGOGPGQL_LmLwLxLyaOA]AgAhAiIkIyJCJDJEaOA]AgAhAiH~ILIVIWIXaOA]AgAhAiHQH_HiHjHkdpD~EHEIEJFwGEGOGPGQfJFXFbFcFdFwGEGOGPGQe]EkEuEvEwFwGEGOGPGQbiBwCACBCCJXJfJpJqJrL_LmLwLxLycVCdCnCoCpKrL@LJLKLLL_LmLwLxLydCDQD[D\D]KEKSK]K^K_L_LmLwLxLya|BJBTBUBVGdGrG|G}G~MLa|BJBTBUBVJXJfJpJqJra|BJBTBUBVKrL@LJLKLLa|BJBTBUBVKEKSK]K^K_dpD~EHEIEJKrL@LJLKLLdpD~EHEIEJKEKSK]K^K_fJFXFbFcFdJXJfJpJqJre]EkEuEvEwJXJfJpJqJrfJFXFbFcFdKEKSK]K^K_e]EkEuEvEwKrL@LJLKLLdpD~EHEIEJIkIyJCJDJEMLMZfJFXFbFcFdHQH_HiHjHkMLMZMde]EkEuEvEwH~ILIVIWIXMLMZMdMebiBwCACBCCGdGrG|G}G~cVCdCnCoCpGdGrG|G}G~dCDQD[D\D]GdGrG|G}G~biBwCACBCCH~ILIVIWIXbiBwCACBCCHQH_HiHjHkcVCdCnCoCpIkIyJCJDJEdCDQD[D\D]IkIyJCJDJEcVCdCnCoCpH~ILIVIWIXdCDQD[D\D]HQH_HiHjHk_I?M?^?_?c?v?z@K@L@P@c@g@x@y@}_I?M?^?_?cAPATAeAfAjA}BABRBSBW_I?M?^?_?cBjBnC?C@CDDqDuEFEGEK_I?M?^?_?cCWC[ClCmCqFKFOF`FaFe_I?M?^?_?cDDDHDYDZD^E^EbEsEtEx_v?z@K@L@PFxF|GMGNGRGeGiGzG{H?_v?z@K@L@PIlIpJAJBJFJYJ]JnJoJs_v?z@K@L@PI?ICITIUIYKFKJK[K\K`_v?z@K@L@PHRHVHgHhHlKsKwLHLILM`c@g@x@y@}L`LdLuLvLzMMMQMbMcMg`c@g@x@y@}`c@g@x@y@}`c@g@x@y@}aPATAeAfAjFxF|GMGNGRL`LdLuLvLzaPATAeAfAjIlIpJAJBJFMzaPATAeAfAjI?ICITIUIYaPATAeAfAjHRHVHgHhHldqDuEFEGEKFxF|GMGNGRfKFOF`FaFeFxF|GMGNGRe^EbEsEtExFxF|GMGNGRbjBnC?C@CDJYJ]JnJoJsL`LdLuLvLzcWC[ClCmCqKsKwLHLILML`LdLuLvLzdDDHDYDZD^KFKJK[K\K`L`LdLuLvLza}BABRBSBWGeGiGzG{H?MMMQMbMcMga}BABRBSBWJYJ]JnJoJsa}BABRBSBWKsKwLHLILMa}BABRBSBWKFKJK[K\K`dqDuEFEGEKKsKwLHLILMdqDuEFEGEKKFKJK[K\K`fKFOF`FaFeJYJ]JnJoJse^EbEsEtExJYJ]JnJoJsfKFOF`FaFeKFKJK[K\K`MzM~e^EbEsEtExKsKwLHLILMMzM~NOdqDuEFEGEKIlIpJAJBJFMMMQMbMcMgfKFOF`FaFeHRHVHgHhHlMMMQMbMcMge^EbEsEtExI?ICITIUIYMMMQMbMcMgbjBnC?C@CDGeGiGzG{H?MzM~NONPcWC[ClCmCqGeGiGzG{H?dDDHDYDZD^GeGiGzG{H?bjBnC?C@CDI?ICITIUIYbjBnC?C@CDHRHVHgHhHlcWC[ClCmCqIlIpJAJBJFdDDHDYDZD^IlIpJAJBJFcWC[ClCmCqI?ICITIUIYdDDHDYDZD^HRHVHgHhHl_K?N?Z?\?e?x?{@G@I@R@e@h@t@vA?_K?N?Z?\?eARAUAaAcAlB?BBBNBPBY_K?N?Z?\?eBlBoB{B}CFDsDvEBEDEM_K?N?Z?\?eCYC\ChCjCsFMFPF\F^Fg_K?N?Z?\?eDFDIDUDWD`E`EcEoEqEz_x?{@G@I@RFzF}GIGKGTGgGjGvGxHA_x?{@G@I@RInIqI}J?JHJ[J^JjJlJu_x?{@G@I@RIAIDIPIRI[KHKKKWKYKb_x?{@G@I@RHTHWHcHeHnKuKxLDLFLO`e@h@t@vA?LbLeLqLsL|MOMRM^M`Mi`e@h@t@vA?M|N?NKNMNV`e@h@t@vA?`e@h@t@vA?aRAUAaAcAlFzF}GIGKGTLbLeLqLsL|aRAUAaAcAlInIqI}J?JHM|N?NKNMNVaRAUAaAcAlIAIDIPIRI[NiaRAUAaAcAlHTHWHcHeHndsDvEBEDEMFzF}GIGKGTfMFPF\F^FgFzF}GIGKGTe`EcEoEqEzFzF}GIGKGTblBoB{B}CFJ[J^JjJlJuLbLeLqLsL|cYC\ChCjCsKuKxLDLFLOLbLeLqLsL|dFDIDUDWD`KHKKKWKYKbLbLeLqLsL|b?BBBNBPBYGgGjGvGxHAMOMRM^M`Mib?BBBNBPBYJ[J^JjJlJub?BBBNBPBYKuKxLDLFLOb?BBBNBPBYKHKKKWKYKbdsDvEBEDEMKuKxLDLFLONiNldsDvEBEDEMKHKKKWKYKbfMFPF\F^FgJ[J^JjJlJuNiNlNxe`EcEoEqEzJ[J^JjJlJufMFPF\F^FgKHKKKWKYKbM|N?NKNMNVe`EcEoEqEzKuKxLDLFLOM|N?NKNMNVdsDvEBEDEMInIqI}J?JHMOMRM^M`MifMFPF\F^FgHTHWHcHeHnMOMRM^M`Mie`EcEoEqEzIAIDIPIRI[MOMRM^M`MiblBoB{B}CFGgGjGvGxHAM|N?NKNMNVcYC\ChCjCsGgGjGvGxHAdFDIDUDWD`GgGjGvGxHANiNlNxNzblBoB{B}CFIAIDIPIRI[blBoB{B}CFHTHWHcHeHncYC\ChCjCsInIqI}J?JHdFDIDUDWD`InIqI}J?JHcYC\ChCjCsIAIDIPIRI[dFDIDUDWD`HTHWHcHeHn_J?O?[?]?d?w?|@H@J@Q@d@i@u@w@~_J?O?[?]?dAQAVAbAdAkA~BCBOBQBX_J?O?[?]?dBkBpB|B~CEDrDwECEEEL_J?O?[?]?dCXC]CiCkCrFLFQF]F_Ff_J?O?[?]?dDEDJDVDXD_E_EdEpErEy_w?|@H@J@QFyF~GJGLGSGfGkGwGyH@_w?|@H@J@QImIrI~J@JGJZJ_JkJmJt_w?|@H@J@QI@IEIQISIZKGKLKXKZKa_w?|@H@J@QHSHXHdHfHmKtKyLELGLN`d@i@u@w@~LaLfLrLtL{MNMSM_MaMh`d@i@u@w@~M{N@NLNNNU`d@i@u@w@~`d@i@u@w@~NhNmNyN{OBaQAVAbAdAkFyF~GJGLGSLaLfLrLtL{aQAVAbAdAkImIrI~J@JGM{N@NLNNNUaQAVAbAdAkI@IEIQISIZNhNmNyN{OBaQAVAbAdAkHSHXHdHfHmOUdrDwECEEELFyF~GJGLGSfLFQF]F_FfFyF~GJGLGSe_EdEpErEyFyF~GJGLGSbkBpB|B~CEJZJ_JkJmJtLaLfLrLtL{cXC]CiCkCrKtKyLELGLNLaLfLrLtL{dEDJDVDXD_KGKLKXKZKaLaLfLrLtL{a~BCBOBQBXGfGkGwGyH@MNMSM_MaMha~BCBOBQBXJZJ_JkJmJta~BCBOBQBXKtKyLELGLNa~BCBOBQBXKGKLKXKZKadrDwECEEELKtKyLELGLNNhNmNyN{OBdrDwECEEELKGKLKXKZKaOUOZfLFQF]F_FfJZJ_JkJmJtNhNmNyN{OBe_EdEpErEyJZJ_JkJmJtOUOZOffLFQF]F_FfKGKLKXKZKaM{N@NLNNNUe_EdEpErEyKtKyLELGLNM{N@NLNNNUdrDwECEEELImIrI~J@JGMNMSM_MaMhfLFQF]F_FfHSHXHdHfHmMNMSM_MaMhe_EdEpErEyI@IEIQISIZMNMSM_MaMhbkBpB|B~CEGfGkGwGyH@M{N@NLNNNUcXC]CiCkCrGfGkGwGyH@OUOZOfOhdEDJDVDXD_GfGkGwGyH@NhNmNyN{OBbkBpB|B~CEI@IEIQISIZbkBpB|B~CEHSHXHdHfHmcXC]CiCkCrImIrI~J@JGdEDJDVDXD_ImIrI~J@JGcXC]CiCkCrI@IEIQISIZdEDJDVDXD_HSHXHdHfHm_J?Q?X?f?i?w?~@E@S@V@d@k@rA@AC_J?Q?X?f?iAQAXA_AmApA~BEBLBZB]_J?Q?X?f?iBkBrByCGCJDrDyE@ENEQ_J?Q?X?f?iCXC_CfCtCwFLFSFZFhFk_J?Q?X?f?iDEDLDSDaDdE_EfEmE{E~_w?~@E@S@VFyG@GGGUGXGfGmGtHBHE_w?~@E@S@VImItI{JIJLJZJaJhJvJy_w?~@E@S@VI@IGINI\I_KGKNKUKcKf_w?~@E@S@VHSHZHaHoHrKtK{LBLPLS`d@k@rA@ACLaLhLoL}M@MNMUM\MjMm`d@k@rA@ACM{NBNINWNZ`d@k@rA@ACOUO\OcOqOt`d@k@rA@ACNhNoNvODOGaQAXA_AmApFyG@GGGUGXLaLhLoL}M@aQAXA_AmApImItI{JIJLM{NBNINWNZaQAXA_AmApI@IGINI\I_NhNoNvODOGaQAXA_AmApHSHZHaHoHrOUO\OcOqOtdrDyE@ENEQFyG@GGGUGXfLFSFZFhFkFyG@GGGUGXPBe_EfEmE{E~FyG@GGGUGXbkBrByCGCJJZJaJhJvJyLaLhLoL}M@cXC_CfCtCwKtK{LBLPLSLaLhLoL}M@dEDLDSDaDdKGKNKUKcKfLaLhLoL}M@a~BEBLBZB]GfGmGtHBHEMNMUM\MjMma~BEBLBZB]JZJaJhJvJya~BEBLBZB]KtK{LBLPLSPBPIa~BEBLBZB]KGKNKUKcKfdrDyE@ENEQKtK{LBLPLSNhNoNvODOGdrDyE@ENEQKGKNKUKcKfOUO\OcOqOtfLFSFZFhFkJZJaJhJvJyNhNoNvODOGe_EfEmE{E~JZJaJhJvJyOUO\OcOqOtfLFSFZFhFkKGKNKUKcKfM{NBNINWNZe_EfEmE{E~KtK{LBLPLSM{NBNINWNZdrDyE@ENEQImItI{JIJLMNMUM\MjMmfLFSFZFhFkHSHZHaHoHrMNMUM\MjMme_EfEmE{E~I@IGINI\I_MNMUM\MjMmbkBrByCGCJGfGmGtHBHEM{NBNINWNZcXC_CfCtCwGfGmGtHBHEOUO\OcOqOtdEDLDSDaDdGfGmGtHBHENhNoNvODOGbkBrByCGCJI@IGINI\I_PBPIPPbkBrByCGCJHSHZHaHoHrcXC_CfCtCwImItI{JIJLdEDLDSDaDdImItI{JIJLPBPIPPP^cXC_CfCtCwI@IGINI\I_dEDLDSDaDdHSHZHaHoHr_K?R?Y?g?h?x@?@F@T@U@e@l@sAAAB_K?R?Y?g?hARAYA`AnAoB?BFBMB[B\_K?R?Y?g?hBlBsBzCHCIDsDzEAEOEP_K?R?Y?g?hCYC`CgCuCvFMFTF[FiFj_K?R?Y?g?hDFDMDTDbDcE`EgEnE|E}_x@?@F@T@UFzGAGHGVGWGgGnGuHCHD_x@?@F@T@UInIuI|JJJKJ[JbJiJwJx_x@?@F@T@UIAIHIOI]I^KHKOKVKdKe_x@?@F@T@UHTH[HbHpHqKuK|LCLQLR`e@l@sAAABLbLiLpL~M?MOMVM]MkMl`e@l@sAAABM|NCNJNXNY`e@l@sAAABOVO]OdOrOsPCPJPQP_P``e@l@sAAABNiNpNwOEOFaRAYA`AnAoFzGAGHGVGWLbLiLpL~M?aRAYA`AnAoInIuI|JJJKM|NCNJNXNYaRAYA`AnAoIAIHIOI]I^NiNpNwOEOFaRAYA`AnAoHTH[HbHpHqOVO]OdOrOsdsDzEAEOEPFzGAGHGVGWfMFTF[FiFjFzGAGHGVGWPCPJPQP_P`e`EgEnE|E}FzGAGHGVGWPpblBsBzCHCIJ[JbJiJwJxLbLiLpL~M?cYC`CgCuCvKuK|LCLQLRLbLiLpL~M?dFDMDTDbDcKHKOKVKdKeLbLiLpL~M?b?BFBMB[B\GgGnGuHCHDMOMVM]MkMlb?BFBMB[B\J[JbJiJwJxb?BFBMB[B\KuK|LCLQLRPCPJPQP_P`b?BFBMB[B\KHKOKVKdKePpPwdsDzEAEOEPKuK|LCLQLRNiNpNwOEOFdsDzEAEOEPKHKOKVKdKeOVO]OdOrOsfMFTF[FiFjJ[JbJiJwJxNiNpNwOEOFe`EgEnE|E}J[JbJiJwJxOVO]OdOrOsfMFTF[FiFjKHKOKVKdKeM|NCNJNXNYe`EgEnE|E}KuK|LCLQLRM|NCNJNXNYdsDzEAEOEPInIuI|JJJKMOMVM]MkMlfMFTF[FiFjHTH[HbHpHqMOMVM]MkMle`EgEnE|E}IAIHIOI]I^MOMVM]MkMlblBsBzCHCIGgGnGuHCHDM|NCNJNXNYcYC`CgCuCvGgGnGuHCHDOVO]OdOrOsdFDMDTDbDcGgGnGuHCHDNiNpNwOEOFblBsBzCHCIIAIHIOI]I^PCPJPQP_P`blBsBzCHCIHTH[HbHpHqPpPwP~cYC`CgCuCvInIuI|JJJKPpPwP~QLdFDMDTDbDcInIuI|JJJKPCPJPQP_P`cYC`CgCuCvIAIHIOI]I^dFDMDTDbDcHTH[HbHpHq_I?P?W?j?k?v?}@D@W@X@c@j@qADAE_I?P?W?j?kAPAWA^AqArA}BDBKB^B__I?P?W?j?kBjBqBxCKCLDqDxE?ERES_I?P?W?j?kCWC^CeCxCyFKFRFYFlFm_I?P?W?j?kDDDKDRDeDfE^EeElF?F@_v?}@D@W@XFxG?GFGYGZGeGlGsHFHG_v?}@D@W@XIlIsIzJMJNJYJ`JgJzJ{_v?}@D@W@XI?IFIMI`IaKFKMKTKgKh_v?}@D@W@XHRHYH`HsHtKsKzLALTLU`c@j@qADAEL`LgLnMAMBMMMTM[MnMo`c@j@qADAEMzNANHN[N\`c@j@qADAEOTO[ObOuOvPAPHPOPbPc`c@j@qADAENgNnNuOHOIPnPuP|QOQPaPAWA^AqArFxG?GFGYGZL`LgLnMAMBaPAWA^AqArIlIsIzJMJNMzNANHN[N\aPAWA^AqArI?IFIMI`IaNgNnNuOHOIaPAWA^AqArHRHYH`HsHtOTO[ObOuOvdqDxE?ERESFxG?GFGYGZQ[fKFRFYFlFmFxG?GFGYGZPAPHPOPbPce^EeElF?F@FxG?GFGYGZPnPuP|QOQPbjBqBxCKCLJYJ`JgJzJ{L`LgLnMAMBcWC^CeCxCyKsKzLALTLUL`LgLnMAMBdDDKDRDeDfKFKMKTKgKhL`LgLnMAMBa}BDBKB^B_GeGlGsHFHGMMMTM[MnMoa}BDBKB^B_JYJ`JgJzJ{Q[Qba}BDBKB^B_KsKzLALTLUPAPHPOPbPca}BDBKB^B_KFKMKTKgKhPnPuP|QOQPdqDxE?ERESKsKzLALTLUNgNnNuOHOIdqDxE?ERESKFKMKTKgKhOTO[ObOuOvfKFRFYFlFmJYJ`JgJzJ{NgNnNuOHOIe^EeElF?F@JYJ`JgJzJ{OTO[ObOuOvfKFRFYFlFmKFKMKTKgKhMzNANHN[N\e^EeElF?F@KsKzLALTLUMzNANHN[N\dqDxE?ERESIlIsIzJMJNMMMTM[MnMofKFRFYFlFmHRHYH`HsHtMMMTM[MnMoe^EeElF?F@I?IFIMI`IaMMMTM[MnMobjBqBxCKCLGeGlGsHFHGMzNANHN[N\cWC^CeCxCyGeGlGsHFHGOTO[ObOuOvdDDKDRDeDfGeGlGsHFHGNgNnNuOHOIbjBqBxCKCLI?IFIMI`IaPAPHPOPbPcbjBqBxCKCLHRHYH`HsHtPnPuP|QOQPcWC^CeCxCyIlIsIzJMJNPnPuP|QOQPdDDKDRDeDfIlIsIzJMJNPAPHPOPbPccWC^CeCxCyI?IFIMI`IaQ[QbQidDDKDRDeDfHRHYH`HsHtQ[QbQiQ|fDFSF^F`FcKCKRKVKXK[MzM~NONPNTeXEgErEtEwJUJcJgJlJmOUOZOfOhOodiDxEBECEHKqK~LBLDLINiNlNxNzOC`Y@b@c@d@eL_LcLjLkLlMLMZMdMeMfbbBtCDCGCHH|IDIXI\I`PBPIPPP^Pa_l?q?r?s?tFsF{G?G@GAG`GrH?H@HAc~DPD`DdDfHPHXHjHpHtQ[QbQiQ|Q}_??@?A?B?CAGASATAUAVAtBJBKBLBMcPCbCrCvCxIhIpJCJKJLPpPwP~QLQM")
xQ24p   = Graph(r":~?Q~_?_??@_??@?A_??@?A?B_?_?_?_?_?_??D_?_?_?_?_@?E?J_@_@_@_@_@?E?J_@?O_@_@_@_A?F?K_A?P?U_A_A_A_A?F?K_A?P?U_A?Z_A_A_B?G?L_B?Q?V_B?[?`_B_B_B?G?L_B?Q?V_B?[?`_B?e_B_C?H?M_C?R?W_C?\?a_C?f?k_C_C?H?M_C?R?W_C?\?a_C?f?k_C?p_D?E?F?G?H_v_v_v_v_v_v_v_v_v_v_D?E?F?G?H`A`A`A`A`A`A`A`A`A`A_D?E?F?G?H`L`L`L`L`L`L`L`L`L`L_D?E?F?G?H`W`W`W`W`W`W`W`W`W`W_I?J?K?L?M`b`b`b`b`b`b`b`b`b`b_I?J?K?L?M`m`m`m`m`m`m`m`m`m`m_I?J?K?L?M`x`x`x`x`x`x`x`x`x`x_I?J?K?L?MaCaCaCaCaCaCaCaCaCaC_N?O?P?Q?R?w?x?y?z?{@c@d@e@f@g_N?O?P?Q?R@B@C@D@E@F@n@o@p@q@r_N?O?P?Q?R@M@N@O@P@QADAEAFAGAH_N?O?P?Q?R@X@Y@Z@[@\@y@z@{@|@}_]?^?_?`?a?w?x?y?z?{@s@t@u@v@w_g?h?i?j?k?w?x?y?z?{@~A?A@AAAB_q?r?s?t?u?w?x?y?z?{AIAJAKALAM_X?Y?Z?[?\@G@H@I@J@K@c@d@e@f@g_b?c?d?e?f@]@^@_@`@a@c@d@e@f@g_l?m?n?o?p@R@S@T@U@V@c@d@e@f@g_S?T?U?V?W?|?}?~@?@@@h@i@j@k@l_S?T?U?V?W@G@H@I@J@K@s@t@u@v@w_S?T?U?V?W@]@^@_@`@a@~A?A@AAAB_S?T?U?V?W@R@S@T@U@VAIAJAKALAM_]?^?_?`?a@]@^@_@`@aADAEAFAGAH_]?^?_?`?a@R@S@T@U@V@y@z@{@|@}_g?h?i?j?k@G@H@I@J@KADAEAFAGAH_q?r?s?t?u@G@H@I@J@K@y@z@{@|@}_g?h?i?j?k@R@S@T@U@V@n@o@p@q@r_q?r?s?t?u@]@^@_@`@a@n@o@p@q@r_]?^?_?`?a@B@C@D@E@F@h@i@j@k@l_g?h?i?j?k@X@Y@Z@[@\@h@i@j@k@l_q?r?s?t?u@M@N@O@P@Q@h@i@j@k@l_X?Y?Z?[?\?|?}?~@?@@@n@o@p@q@r_b?c?d?e?f?|?}?~@?@@@y@z@{@|@}_l?m?n?o?p?|?}?~@?@@ADAEAFAGAH_X?Y?Z?[?\@M@N@O@P@Q@~A?A@AAAB_X?Y?Z?[?\@X@Y@Z@[@\AIAJAKALAM_b?c?d?e?f@B@C@D@E@FAIAJAKALAM_l?m?n?o?p@B@C@D@E@F@~A?A@AAAB_b?c?d?e?f@M@N@O@P@Q@s@t@u@v@w_l?m?n?o?p@X@Y@Z@[@\@s@t@u@v@w_D?w?|_D@B@GAn_D@M@RAnAo_D@X@]AnAoAp_D?w?|_D@B@G_D@M@R_D@X@]_E?x?}_E@C@H_E@N@S_E@Y@^_E?x?}_E@C@H_E@N@S_E@Y@^_F?y?~_F@D@I_F@O@T_F@Z@__F?y?~_F@D@I_F@O@T_F@Z@__G?z@?_G@E@J_G@P@U_G@[@`_G?z@?_G@E@J_G@P@U_G@[@`_H?{@@_H@F@K_H@Q@V_H@\@a_H?{@@_H@F@K_H@Q@V_H@\@aanananananBVanananaoBWB[aoaoaoaoBWB[aoB_aoaoapBXB\apB`BdapapapBXB\apB`BdapBhapaqBYB]aqBaBeaqBiBmaqaqBYB]aqBaBeaqBiBmaqBq_I@c@hArAsAtAubvbvbvbvbvbvbvbv_I@n@sArAsAtAuc?c?c?c?c?c?c?c?_I@y@~ArAsAtAucHcHcHcHcHcHcHcH_IADAIArAsAtAucQcQcQcQcQcQcQcQ_N?w@cAvAwAxAyBVBWBXBYBwBxByBz_N@B@nAvAwAxAyB^B_B`BaC@CACBCC_N@MADAvAwAxAyBfBgBhBiCRCSCTCU_N@X@yAvAwAxAyBnBoBpBqCICJCKCL_]?w@sBBBCBDBEBVBWBXBYCDCECFCG_g?w@~BJBKBLBMBVBWBXBYCMCNCOCP_q?wAIBRBSBTBUBVBWBXBYCVCWCXCY_X@G@cA~B?B@BABbBcBdBeBwBxByBz_b@]@cBFBGBHBIBrBsBtBuBwBxByBz_l@R@cBNBOBPBQBjBkBlBmBwBxByBz_S?|@hAzA{A|A}BZB[B\B]B{B|B}B~_S@G@sAzA{A|A}BbBcBdBeCDCECFCG_S@]@~AzA{A|A}BrBsBtBuCMCNCOCP_S@RAIAzA{A|A}BjBkBlBmCVCWCXCY_]@]ADBBBCBDBEBrBsBtBuCRCSCTCU_]@R@yBBBCBDBEBjBkBlBmCICJCKCL_g@GADBJBKBLBMBbBcBdBeCRCSCTCU_q@G@yBRBSBTBUBbBcBdBeCICJCKCL_g@R@nBJBKBLBMBjBkBlBmC@CACBCC_q@]@nBRBSBTBUBrBsBtBuC@CACBCC_]@B@hBBBCBDBEB^B_B`BaB{B|B}B~_g@X@hBJBKBLBMBnBoBpBqB{B|B}B~_q@M@hBRBSBTBUBfBgBhBiB{B|B}B~_X?|@nA~B?B@BABZB[B\B]C@CACBCC_b?|@yBFBGBHBIBZB[B\B]CICJCKCL_l?|ADBNBOBPBQBZB[B\B]CRCSCTCU_X@M@~A~B?B@BABfBgBhBiCMCNCOCP_X@XAIA~B?B@BABnBoBpBqCVCWCXCY_b@BAIBFBGBHBIB^B_B`BaCVCWCXCY_l@B@~BNBOBPBQB^B_B`BaCMCNCOCP_b@M@sBFBGBHBIBfBgBhBiCDCECFCG_l@X@sBNBOBPBQBnBoBpBqCDCECFCG_I@c@h_I@n@sCz_I@y@~CzC{_IADAICzC{C|_J@d@i_J@o@t_J@zA?_JAEAJ_J@d@i_J@o@t_J@zA?_JAEAJ_K@e@j_K@p@u_K@{A@_KAFAK_K@e@j_K@p@u_K@{A@_KAFAK_L@f@k_L@q@v_L@|AA_LAGAL_L@f@k_L@q@v_L@|AA_LAGAL_M@g@l_M@r@w_M@}AB_MAHAM_M@g@l_M@r@w_M@}AB_MAHAMarBwB{arC@CDarCICMarCRCVarBwB{arC@CDarCICMarCRCVasBxB|asCACEasCJCNasCSCWasBxB|asCACEasCJCNasCSCWatByB}atCBCFatCKCOatCTCXatByB}atCBCFatCKCOatCTCXauBzB~auCCCGauCLCPauCUCYauBzB~auCCCGauCLCPauCUCYczczczczczD~czczczc{E?ECc{c{c{c{E?ECc{EGc{c{c|E@EDc|EHELc|c|c|E@EDc|EHELc|EPc|c}EAEEc}EIEMc}EQEUc}c}EAEEc}EIEMc}EQEUc}EY_N?w@cC~D?D@DAD^D_D`DaD~E?E@EA_N@B@nC~D?D@DADfDgDhDiEFEGEHEI_N@MADC~D?D@DADnDoDpDqEVEWEXEY_N@X@yC~D?D@DADvDwDxDyENEOEPEQ_]?w@sDJDKDLDMD^D_D`DaEJEKELEM_g?w@~DRDSDTDUD^D_D`DaERESETEU_q?wAIDZD[D\D]D^D_D`DaEZE[E\E]_X@G@cDFDGDHDIDjDkDlDmD~E?E@EA_b@]@cDNDODPDQDzD{D|D}D~E?E@EA_l@R@cDVDWDXDYDrDsDtDuD~E?E@EA_S?|@hDBDCDDDEDbDcDdDeEBECEDEE_S@G@sDBDCDDDEDjDkDlDmEJEKELEM_S@]@~DBDCDDDEDzD{D|D}ERESETEU_S@RAIDBDCDDDEDrDsDtDuEZE[E\E]_]@]ADDJDKDLDMDzD{D|D}EVEWEXEY_]@R@yDJDKDLDMDrDsDtDuENEOEPEQ_g@GADDRDSDTDUDjDkDlDmEVEWEXEY_q@G@yDZD[D\D]DjDkDlDmENEOEPEQ_g@R@nDRDSDTDUDrDsDtDuEFEGEHEI_q@]@nDZD[D\D]DzD{D|D}EFEGEHEI_]@B@hDJDKDLDMDfDgDhDiEBECEDEE_g@X@hDRDSDTDUDvDwDxDyEBECEDEE_q@M@hDZD[D\D]DnDoDpDqEBECEDEE_X?|@nDFDGDHDIDbDcDdDeEFEGEHEI_b?|@yDNDODPDQDbDcDdDeENEOEPEQ_l?|ADDVDWDXDYDbDcDdDeEVEWEXEY_X@M@~DFDGDHDIDnDoDpDqERESETEU_X@XAIDFDGDHDIDvDwDxDyEZE[E\E]_b@BAIDNDODPDQDfDgDhDiEZE[E\E]_l@B@~DVDWDXDYDfDgDhDiERESETEU_b@M@sDNDODPDQDnDoDpDqEJEKELEM_l@X@sDVDWDXDYDvDwDxDyEJEKELEM_O?x@d_O@C@oE~_O@NAEE~F?_O@Y@zE~F?F@_O?x@d_O@C@o_O@NAE_O@Y@z_P?y@e_P@D@p_P@OAF_P@Z@{_P?y@e_P@D@p_P@OAF_P@Z@{_Q?z@f_Q@E@q_Q@PAG_Q@[@|_Q?z@f_Q@E@q_Q@PAG_Q@[@|_R?{@g_R@F@r_R@QAH_R@\@}_R?{@g_R@F@r_R@QAH_R@\@}avBVBwE~avB^C@E~avBfCRE~avBnCIE~avBVBwavB^C@avBfCRavBnCIawBWBxF?F_awB_CAF?awBgCSF?awBoCJF?awBWBxawB_CAawBgCSawBoCJaxBXByF@F`axB`CBF@FhaxBhCTF@axBpCKF@axBXByaxB`CBaxBhCTaxBpCKayBYBzFAFaayBaCCFAFiayBiCUFAFqayBqCLFAayBYBzayBaCCayBiCUayBqCLc~D^D~E~F^c~DfEFE~Ffc~DnEVE~Fnc~DvENE~Fvc~D^D~c~DfEFc~DnEVc~DvENd?D_E?F?F_G?d?DgEGF?Fgd?DoEWF?Fod?DwEOF?Fwd?D_E?d?DgEGd?DoEWd?DwEOd@D`E@FAFaGAd@DhEHFAFiGId@DpEXFAFqd@DxEPFAFyd@D`E@d@DhEHd@DpEXd@DxEPdADaEAF@F`G@dADiEIF@FhGHdADqEYF@FpdADyEQF@FxGPdADaEAdADiEIdADqEYdADyEQ_^?x@tFJFKFLFMF^F_F`FaGJGKGLGM_h?xA?FRFSFTFUF^F_F`FaGRGSGTGU_r?xAJFZF[F\F]F^F_F`FaGZG[G\G]_Y@H@dFFFGFHFIFjFkFlFmF~G?G@GA_c@^@dFNFOFPFQFzF{F|F}F~G?G@GA_m@S@dFVFWFXFYFrFsFtFuF~G?G@GA_T?}@iFBFCFDFEFbFcFdFeGBGCGDGE_T@H@tFBFCFDFEFjFkFlFmGJGKGLGM_T@^A?FBFCFDFEFzF{F|F}GRGSGTGU_T@SAJFBFCFDFEFrFsFtFuGZG[G\G]_^@^AEFJFKFLFMFzF{F|F}GVGWGXGY_^@S@zFJFKFLFMFrFsFtFuGNGOGPGQ_h@HAEFRFSFTFUFjFkFlFmGVGWGXGY_r@H@zFZF[F\F]FjFkFlFmGNGOGPGQ_h@S@oFRFSFTFUFrFsFtFuGFGGGHGI_r@^@oFZF[F\F]FzF{F|F}GFGGGHGI_^@C@iFJFKFLFMFfFgFhFiGBGCGDGE_h@Y@iFRFSFTFUFvFwFxFyGBGCGDGE_r@N@iFZF[F\F]FnFoFpFqGBGCGDGE_Y?}@oFFFGFHFIFbFcFdFeGFGGGHGI_c?}@zFNFOFPFQFbFcFdFeGNGOGPGQ_m?}AEFVFWFXFYFbFcFdFeGVGWGXGY_Y@NA?FFFGFHFIFnFoFpFqGRGSGTGU_Y@YAJFFFGFHFIFvFwFxFyGZG[G\G]_c@CAJFNFOFPFQFfFgFhFiGZG[G\G]_m@CA?FVFWFXFYFfFgFhFiGRGSGTGU_c@N@tFNFOFPFQFnFoFpFqGJGKGLGM_m@Y@tFVFWFXFYFvFwFxFyGJGKGLGM_T?}@i_T@H@tGz_T@^A?GzG{_T@SAJGzG{G|_U?~@j_U@I@u_U@_A@_U@TAK_U?~@j_U@I@u_U@_A@_U@TAK_V@?@k_V@J@v_V@`AA_V@UAL_V@?@k_V@J@v_V@`AA_V@UAL_W@@@l_W@K@w_W@aAB_W@VAM_W@@@l_W@K@w_W@aAB_W@VAMazBZB{FBFbGBazBbCDFBFjGJazBrCMFBFzGRazBjCVFBFrGZazBZB{GzazBbCDGzazBrCMGzazBjCVGza{B[B|FCFcGCa{BcCEFCFkGKa{BsCNFCF{GSa{BkCWFCFsG[a{B[B|G{H[a{BcCEG{a{BsCNG{a{BkCWG{a|B\B}FDFdGDa|BdCFFDFlGLa|BtCOFDF|GTa|BlCXFDFtG\a|B\B}G}H]a|BdCFG}Hea|BtCOG}a|BlCXG}a}B]B~FEFeGEa}BeCGFEFmGMa}BuCPFEF}GUa}BmCYFEFuG]a}B]B~G|H\a}BeCGG|Hda}BuCPG|a}BmCYG|HldBDbEBFBFbGBdBDjEJFBFjGJdBDzERFBFzGRdBDrEZFBFrGZdBDbEBGzHZdBDjEJGzHbdBDzERGzHrdBDrEZGzHjdCDcECFCFcGCdCDkEKFCFkGKdCD{ESFCF{GSdCDsE[FCFsG[dCDcECG{H[H{dCDkEKG{HcdCD{ESG{HsdCDsE[G{HkdDDdEDFEFeGEdDDlELFEFmGMdDD|ETFEF}GUdDDtE\FEFuG]dDDdEDG|H\H|dDDlELG|HdIDdDD|ETG|HtdDDtE\G|HldEDeEEFDFdGDdEDmEMFDFlGLdED}EUFDF|GTdEDuE]FDFtG\dEDeEEG}H]H}dEDmEMG}HeIEdED}EUG}HuIMdEDuE]G}Hm_^?x@tHBHCHDHEHVHWHXHYIBICIDIE_h?xA?HJHKHLHMHVHWHXHYIJIKILIM_r?xAJHRHSHTHUHVHWHXHYIRISITIU_Y@H@dG~H?H@HAHbHcHdHeHvHwHxHy_c@^@dHFHGHHHIHrHsHtHuHvHwHxHy_m@S@dHNHOHPHQHjHkHlHmHvHwHxHy_^@^AEHBHCHDHEHrHsHtHuINIOIPIQ_^@S@zHBHCHDHEHjHkHlHmIFIGIHII_h@HAEHJHKHLHMHbHcHdHeINIOIPIQ_r@H@zHRHSHTHUHbHcHdHeIFIGIHII_h@S@oHJHKHLHMHjHkHlHmH~I?I@IA_r@^@oHRHSHTHUHrHsHtHuH~I?I@IA_^@C@iHBHCHDHEH^H_H`HaHzH{H|H}_h@Y@iHJHKHLHMHnHoHpHqHzH{H|H}_r@N@iHRHSHTHUHfHgHhHiHzH{H|H}_Y?}@oG~H?H@HAHZH[H\H]H~I?I@IA_c?}@zHFHGHHHIHZH[H\H]IFIGIHII_m?}AEHNHOHPHQHZH[H\H]INIOIPIQ_Y@NA?G~H?H@HAHfHgHhHiIJIKILIM_Y@YAJG~H?H@HAHnHoHpHqIRISITIU_c@CAJHFHGHHHIH^H_H`HaIRISITIU_m@CA?HNHOHPHQH^H_H`HaIJIKILIM_c@N@tHFHGHHHIHfHgHhHiIBICIDIE_m@Y@tHNHOHPHQHnHoHpHqIBICIDIE_Z@I@e_Z?~@pIn_Z@OA@InIo_Z@ZAKInIoIp_Z@I@e_Z?~@p_Z@OA@_Z@ZAK_[@J@f_[@?@q_[@PAA_[@[AL_[@J@f_[@?@q_[@PAA_[@[AL_\@K@g_\@@@r_\@QAB_\@\AM_\@K@g_\@@@r_\@QAB_\@\AMa~BbBwFFFjF~a~BZC@FFFbGFa~BfCMFFFnGRa~BnCVFFFvGZa~BbBwG~HbHvIoa~BZC@G~HZH~Ioa~BfCMG~HfIJIoa~BnCVG~HnIRIob?BcBxFGFkG?b?B[CAFGFcGGb?BgCNFGFoGSb?BoCWFGFwG[b?BcBxH?HcHwInb?B[CAH?H[I?InJJb?BgCNH?HgIKInb?BoCWH?HoISInb@BdByFHFlG@IpJTb@B\CBFHFdGHIpJLb@BhCOFHFpGTIpb@BpCXFHFxG\Ipb@BdByHAHeHyb@B\CBHAH]IAb@BhCOHAHiIMb@BpCXHAHqIUbABeBzFIFmGAIqJUbAB]CCFIFeGIIqJMbABiCPFIFqGUIqJYbABqCYFIFyG]IqbABeBzH@HdHxbAB]CCH@H\I@bABiCPH@HhILbABqCYH@HpITdFDjD~FFFjF~InJRdFDbEFFFFbGFInJJdFDnERFFFnGRInJVdFDvEZFFFvGZInJ^dFDjD~G~HbHvdFDbEFG~HZH~dFDnERG~HfIJdFDvEZG~HnIRdGDkE?FGFkG?IoJSJgdGDcEGFGFcGGIoJKdGDoESFGFoGSIoJWdGDwE[FGFwG[IoJ_dGDkE?H?HcHwdGDcEGH?H[I?dGDoESH?HgIKdGDwE[H?HoISdHDlE@FIFmGAdHDdEHFIFeGIdHDpETFIFqGUdHDxE\FIFyG]dHDlE@H@HdHxIpJTJhdHDdEHH@H\I@IpJLJpdHDpETH@HhILIpJXdHDxE\H@HpITIpJ`dIDmEAFHFlG@dIDeEIFHFdGHdIDqEUFHFpGTdIDyE]FHFxG\dIDmEAHAHeHyIqJUJidIDeEIHAH]IAIqJMJqdIDqEUHAHiIMIqJYJ}dIDyE]HAHqIUIqJa__?y@uIrIsItIuJFJGJHJIJrJsJtJu_i?yA@IzI{I|I}JFJGJHJIJzJ{J|J}_s?yAKJBJCJDJEJFJGJHJIKBKCKDKE_d@_@eIvIwIxIyJbJcJdJeJfJgJhJi_n@T@eI~J?J@JAJZJ[J\J]JfJgJhJi__@_AFIrIsItIuJbJcJdJeJ~K?K@KA__@T@{IrIsItIuJZJ[J\J]JvJwJxJy_i@IAFIzI{I|I}JRJSJTJUJ~K?K@KA_s@I@{JBJCJDJEJRJSJTJUJvJwJxJy_i@T@pIzI{I|I}JZJ[J\J]JnJoJpJq_s@_@pJBJCJDJEJbJcJdJeJnJoJpJq__@D@jIrIsItIuJNJOJPJQJjJkJlJm_i@Z@jIzI{I|I}J^J_J`JaJjJkJlJm_s@O@jJBJCJDJEJVJWJXJYJjJkJlJm_d?~@{IvIwIxIyJJJKJLJMJvJwJxJy_n?~AFI~J?J@JAJJJKJLJMJ~K?K@KA_d@DAKIvIwIxIyJNJOJPJQKBKCKDKE_n@DA@I~J?J@JAJNJOJPJQJzJ{J|J}_d@O@uIvIwIxIyJVJWJXJYJrJsJtJu_n@Z@uI~J?J@JAJ^J_J`JaJrJsJtJu_d@_@e_d?~@{_d@DAK_d@O@u_e@`@f_e@?@|K^_e@EALK^K__e@P@vK^K_K`_e@`@f_e@?@|_e@EAL_e@P@v_f@a@g_f@@@}_f@FAM_f@Q@w_f@a@g_f@@@}_f@FAM_f@Q@wbFBrBwFNFzF~bFBZCIFNFbGNbFB^CVFNFfGZbFBfCDFNFnGJbFBrBwHFHrHvIwJcJgK_bFBZCIHFHZIFIwJKJwK_bFB^CVHFH^IRIwJOKCK_bFBfCDHFHfIBIwJWJsK_bGBsBxFOF{G?K`bGB[CJFOFcGOK`KtbGB_CWFOFgG[K`bGBgCEFOFoGKK`bGBsBxHGHsHwIvJbJfbGB[CJHGH[IGIvJJJvbGB_CWHGH_ISIvJNKBbGBgCEHGHgICIvJVJrbHBtByFPF|G@IxJdJhKabHB\CKFPFdGPIxJLJxKaKubHB`CXFPFhG\IxJPKDKaKybHBhCFFPFpGLIxJXJtKabHBtByHIHuHybHB\CKHIH]IIbHB`CXHIHaIUbHBhCFHIHiIEbIBuBzFQF}GAIyJeJibIB]CLFQFeGQIyJMJybIBaCYFQFiG]IyJQKEbIBiCGFQFqGMIyJYJubIBuBzHHHtHxK^bIB]CLHHH\IHK^KrbIBaCYHHH`ITK^KvbIBiCGHHHhIDK^K~dNDzD~FNFzF~IvJbJfK^LJdNDbENFNFbGNIvJJJvK^KrdNDfEZFNFfGZIvJNKBK^KvdNDnEJFNFnGJIvJVJrK^K~dNDzD~HFHrHvdNDbENHFHZIFdNDfEZHFH^IRdNDnEJHFHfIBdOD{E?FOF{G?IwJcJgdODcEOFOFcGOIwJKJwdODgE[FOFgG[IwJOKCdODoEKFOFoGKIwJWJsdOD{E?HGHsHwKaLMLQdODcEOHGH[IGKaKudODgE[HGH_ISKaKydODoEKHGHgICKaLAdPD|E@FQF}GAK_LKLOdPDdEPFQFeGQK_KsdPDhE\FQFiG]K_KwdPDpELFQFqGMK_L?L[dPD|E@HHHtHxIxJdJhdPDdEPHHH\IHIxJLJxdPDhE\HHH`ITIxJPKDdPDpELHHHhIDIxJXJtdQD}EAFPF|G@dQDeEQFPFdGPdQDiE]FPFhG\dQDqEMFPFpGLdQD}EAHIHuHyIyJeJiK`LLLPdQDeEQHIH]IIIyJMJyK`KtL`dQDiE]HIHaIUIyJQKEK`KxdQDqEMHIHiIEIyJYJuK`L@L\_`?z@vKZK[K\K]KnKoKpKqLZL[L\L]_j?zAAKbKcKdKeKnKoKpKqLbLcLdLe_t?zALKjKkKlKmKnKoKpKqLjLkLlLm_o@U@fKfKgKhKiLBLCLDLELNLOLPLQ_`@`AGKZK[K\K]LJLKLLLMLfLgLhLi_`@U@|KZK[K\K]LBLCLDLEL^L_L`La_j@JAGKbKcKdKeKzK{K|K}LfLgLhLi_t@J@|KjKkKlKmKzK{K|K}L^L_L`La_j@U@qKbKcKdKeLBLCLDLELVLWLXLY_t@`@qKjKkKlKmLJLKLLLMLVLWLXLY_`@E@kKZK[K\K]KvKwKxKyLRLSLTLU_j@[@kKbKcKdKeLFLGLHLILRLSLTLU_t@P@kKjKkKlKmK~L?L@LALRLSLTLU_o@?AGKfKgKhKiKrKsKtKuLfLgLhLi_o@EAAKfKgKhKiKvKwKxKyLbLcLdLe_o@[@vKfKgKhKiLFLGLHLILZL[L\L]_n@T@e_n?~AF_n@DA@_n@Z@u_o@U@f_o@?AG_o@EAA_o@[@v_p@V@g_p@@AHMF_p@FABMFMG_p@\@wMFMGMH_p@V@g_p@@AH_p@FAB_p@\@wbNBjBwFVFrF~bNBZCRFVFbGVbNB^CMFVFfGRbNBnCDFVFvGJbNBjBwHNHjHvJ?J[JgKgLCLOMGbNBZCRHNHZINJ?JKK?KgKsLgMGbNB^CMHNH^IJJ?JOJ{KgKwLcMGbNBnCDHNHnIBJ?J_JsKgLGL[MGbOBkBxFWFsG?KhLDLPMHbOB[CSFWFcGWKhKtLhMHMTbOB_CNFWFgGSKhKxLdMHbOBoCEFWFwGKKhLHL\MHbOBkBxHOHkHwI~JZJfbOB[CSHOH[IOI~JJJ~bOB_CNHOH_IKI~JNJzbOBoCEHOHoICI~J^JrbPBlByFXFtG@J@J\JhKiLELQbPB\CTFXFdGXJ@JLK@KiKuLibPB`COFXFhGTJ@JPJ|KiKyLebPBpCFFXFxGLJ@J`JtKiLIL]bPBlByHQHmHyMFbPB\CTHQH]IQMFMRbPB`COHQHaIMMFMVbPBpCFHQHqIEMFbQBmBzFYFuGAJAJ]JiMIMebQB]CUFYFeGYJAJMKAMIMUbQBaCPFYFiGUJAJQJ}MIMYbQBqCGFYFyGMJAJaJuMIbQBmBzHPHlHxKfLBLNbQB]CUHPH\IPKfKrLfbQBaCPHPH`ILKfKvLbbQBqCGHPHpIDKfLFLZdVDrD~FVFrF~I~JZJfKfLBLNMFMbdVDbEVFVFbGVI~JJJ~KfKrLfMFMRdVDfERFVFfGRI~JNJzKfKvLbMFMVdVDvEJFVFvGJI~J^JrKfLFLZMFMfdVDrD~HNHjHvdVDbEVHNHZINdVDfERHNH^IJdVDvEJHNHnIBdWDsE?FWFsG?J?J[JgdWDcEWFWFcGWJ?JKK?dWDgESFWFgGSJ?JOJ{dWDwEKFWFwGKJ?J_JsdWDsE?HOHkHwKiLELQMIMeMqdWDcEWHOH[IOKiKuLiMIMUdWDgESHOH_IKKiKyLeMIMYdWDwEKHOHoICKiLIL]MIMidXDtE@FYFuGAKgLCLOdXDdEXFYFeGYKgKsLgdXDhETFYFiGUKgKwLcdXDxELFYFyGMKgLGL[dXDtE@HPHlHxJ@J\JhMHMdMpdXDdEXHPH\IPJ@JLK@MHMTdXDhETHPH`ILJ@JPJ|MHMXdXDxELHPHpIDJ@J`JtMHMhM|dYDuEAFXFtG@MGMcModYDeEYFXFdGXMGMSdYDiEUFXFhGTMGMWNCdYDyEMFXFxGLMGMgM{dYDuEAHQHmHyJAJ]JiKhLDLPdYDeEYHQH]IQJAJMKAKhKtLhdYDiEUHQHaIMJAJQJ}KhKxLddYDyEMHQHqIEJAJaJuKhLHL\_a?{@wL~M?M@MAMNMOMPMQMzM{M|M}_k?{ABMBMCMDMEMNMOMPMQNBNCNDNE_u?{AMMJMKMLMMMNMOMPMQNJNKNLNM_a@aAHL~M?M@MAMjMkMlMmNFNGNHNI_a@V@}L~M?M@MAMbMcMdMeM~N?N@NA_k@KAHMBMCMDMEMZM[M\M]NFNGNHNI_u@K@}MJMKMLMMMZM[M\M]M~N?N@NA_k@V@rMBMCMDMEMbMcMdMeMvMwMxMy_u@a@rMJMKMLMMMjMkMlMmMvMwMxMy_a@F@lL~M?M@MAMVMWMXMYMrMsMtMu_k@\@lMBMCMDMEMfMgMhMiMrMsMtMu_u@Q@lMJMKMLMMM^M_M`MaMrMsMtMu__?y@u__@_AFNZ__@T@{NZN[__@D@jNZN[N\_`?z@v_`@`AG_`@U@|_`@E@k_a?{@w_a@aAH_a@V@}_a@F@lbBBVCDFJF^GJNZbBBrCRFJFzGVNZbBBjCIFJFrGNNZbBB^B{FJFfGBNZbBBVCDHBHVIBIsJGJsK[KoL[M?MOM{bBBrCRHBHrINIsJcK?K[LKLgM?MkNGbBBjCIHBHjIFIsJ[JwK[LCL_M?McN?bBB^B{HBH^HzIsJOJkK[KwLSM?MWMsbCBWCEFKF_GKK\KpL\M@MPM|N]NibCBsCSFKF{GWK\LLLhM@MlNHN]bCBkCJFKFsGOK\LDL`M@MdN@N]bCB_B|FKFgGCK\KxLTM@MXMtN]bCBWCEHCHWICIrJFJrbCBsCSHCHsIOIrJbJ~bCBkCJHCHkIGIrJZJvbCB_B|HCH_H{IrJNJjbDBXCFFLF`GLItJHJtK]KqL]bDBtCTFLF|GXItJdK@K]LMLibDBlCKFLFtGPItJ\JxK]LELabDB`B}FLFhGDItJPJlK]KyLUbDBXCFHEHYIEL~MNMzN\NhbDBtCTHEHuIQL~MjNFN\bDBlCKHEHmIIL~MbM~N\bDB`B}HEHaH}L~MVMrN\NpbEBYCGFMFaGMIuJIJuMAMQM}bEBuCUFMF}GYIuJeKAMAMmNIbEBmCLFMFuGQIuJ]JyMAMeNAbEBaB~FMFiGEIuJQJmMAMYMubEBYCGHDHXIDKZKnLZN[NgbEBuCUHDHtIPKZLJLfN[bEBmCLHDHlIHKZLBL^N[N{bEBaB~HDH`H|KZKvLRN[NodJD^EJFJF^GJIrJFJrKZKnLZL~MNMzdJDzEVFJFzGVIrJbJ~KZLJLfL~MjNFdJDrENFJFrGNIrJZJvKZLBL^L~MbM~dJDfEBFJFfGBIrJNJjKZKvLRL~MVMrdJD^EJHBHVIBN]NidJDzEVHBHrINN]OEdJDrENHBHjIFN]N}dJDfEBHBH^HzN]NqdKD_EKFKF_GKIsJGJsdKD{EWFKF{GWIsJcK?dKDsEOFKFsGOIsJ[JwdKDgECFKFgGCIsJOJkdKD_EKHCHWICK]KqL]MAMQM}NZNfdKD{EWHCHsIOK]LMLiMAMmNINZOBdKDsEOHCHkIGK]LELaMAMeNANZNzdKDgECHCH_H{K]KyLUMAMYMuNZNnOJdLD`ELFMFaGMK[KoL[N\NhOTdLD|EXFMF}GYK[LKLgN\ODdLDtEPFMFuGQK[LCL_N\N|dLDhEDFMFiGEK[KwLSN\NpOLdLD`ELHDHXIDItJHJtM@MPM|dLD|EXHDHtIPItJdK@M@MlNHdLDtEPHDHlIHItJ\JxM@MdN@dLDhEDHDH`H|ItJPJlM@MXMtdMDaEMFLF`GLM?MOM{N[NgOSdMD}EYFLF|GXM?MkNGN[OCdMDuEQFLFtGPM?McN?N[N{OWdMDiEEFLFhGDM?MWMsN[NoOKdMDaEMHEHYIEIuJIJuK\KpL\dMD}EYHEHuIQIuJeKAK\LLLhdMDuEQHEHmIIIuJ]JyK\LDL`dMDiEEHEHaH}IuJQJmK\KxLT_i?yA@N^N_N`NaNfNgNhNiOZO[O\O]_s?yAKNbNcNdNeNfNgNhNiObOcOdOe_i@IAFN^N_N`NaNrNsNtNuO^O_O`Oa_s@I@{NbNcNdNeNrNsNtNuOVOWOXOY_i@T@pN^N_N`NaNzN{N|N}ONOOOPOQ_s@_@pNbNcNdNeOBOCODOEONOOOPOQ_i@Z@jN^N_N`NaN~O?O@OAOJOKOLOM_s@O@jNbNcNdNeNvNwNxNyOJOKOLOM_t?zAL_t@J@|_t@`@q_t@P@k_u?{AM_u@K@}Or_u@a@rOrOs_u@Q@lOrOsOtbRBVCVFZF^GZNbNfObOrbRBbCIFZFjGNNbNrOVOrbRBrC@FZFzGFNbOBONOrbRBfB{FZFnGBNbNvOJOrbRBVCVHRHVIRJCJGKCKkKoLkMKMONKbRBbCIHRHbIFJCJSJwKkK{L_MKM[N?bRBrC@HRHrH~JCJcJoKkLKLWMKMkMwbRBfB{HRHfHzJCJWJkKkL?LSMKM_MsbSBWCWF[F_G[KlKpLlMLMPNLNeNiOebSBcCJF[FkGOKlK|L`MLM\N@NeNuOYbSBsCAF[F{GGKlLLLXMLMlMxNeOEOQbSBgB|F[FoGCKlL@LTMLM`MtNeNyOMbSBWCWHSHWISJBJFKBOsOwbSBcCJHSHcIGJBJRJvOsbSBsCAHSHsI?JBJbJnOsbSBgB|HSHgH{JBJVJjOsbTBXCXF\F`G\JDJHKDKmKqLmOuOybTBdCKF\FlGPJDJTJxKmK}LaOuPEbTBtCBF\F|GHJDJdJpKmLMLYOubTBhB}F\FpGDJDJXJlKmLALUOubTBXCXHUHYIUMJMNNJNdNhOdbTBdCKHUHeIIMJMZM~NdNtOXbTBtCBHUHuIAMJMjMvNdODOPbTBhB}HUHiH}MJM^MrNdNxOLbUBYCYF]FaG]JEJIKEMMMQNMbUBeCLF]FmGQJEJUJyMMM]NAbUBuCCF]F}GIJEJeJqMMMmMybUBiB~F]FqGEJEJYJmMMMaMubUBYCYHTHXITKjKnLjNcNgOcOtOxbUBeCLHTHdIHKjKzL^NcNsOWOtPDbUBuCCHTHtI@KjLJLVNcOCOOOtbUBiB~HTHhH|KjK~LRNcNwOKOtPHdZD^EZFZF^GZJBJFKBKjKnLjMJMNNJdZDjENFZFjGNJBJRJvKjKzL^MJMZM~dZDzEFFZFzGFJBJbJnKjLJLVMJMjMvdZDnEBFZFnGBJBJVJjKjK~LRMJM^MrdZD^EZHRHVIRNeNiOeOuOydZDjENHRHbIFNeNuOYOuPEdZDzEFHRHrH~NeOEOQOuPUdZDnEBHRHfHzNeNyOMOuPId[D_E[F[F_G[JCJGKCOtOxd[DkEOF[FkGOJCJSJwOtPDd[D{EGF[F{GGJCJcJoOtPTd[DoECF[FoGCJCJWJkOtPHP\d[D_E[HSHWISKmKqLmMMMQNMNbNfObd[DkEOHSHcIGKmK}LaMMM]NANbNrOVd[D{EGHSHsI?KmLMLYMMMmMyNbOBONd[DoECHSHgH{KmLALUMMMaMuNbNvOJd\D`E\F]FaG]KkKoLkNdNhOdOsOwd\DlEPF]FmGQKkK{L_NdNtOXOsPCd\D|EHF]F}GIKkLKLWNdODOPOsPSP_d\DpEDF]FqGEKkL?LSNdNxOLOsPGP[d\D`E\HTHXITJDJHKDMLMPNLd\DlEPHTHdIHJDJTJxMLM\N@d\D|EHHTHtI@JDJdJpMLMlMxd\DpEDHTHhH|JDJXJlMLM`Mtd]DaE]F\F`G\MKMONKNcNgOcd]DmEQF\FlGPMKM[N?NcNsOWd]D}EIF\F|GHMKMkMwNcOCOOd]DqEEF\FpGDMKM_MsNcNwOKd]DaE]HUHYIUJEJIKEKlKpLlOrOvd]DmEQHUHeIIJEJUJyKlK|L`OrPBPfd]D}EIHUHuIAJEJeJqKlLLLXOrPRP^d]DqEEHUHiH}JEJYJmKlL@LTOrPFPZ_k?{ABOnOoOpOqOvOwOxOyPjPkPlPm_k@KAHOnOoOpOqPBPCPDPEPnPoPpPq_k@V@rOnOoOpOqPJPKPLPMP^P_P`Pa_k@\@lOnOoOpOqPNPOPPPQPZP[P\P]_j?zAA_j@JAGPz_j@U@qPzP{_j@[@kPzP{P|bJBVCMFRF^GRN^NfOZOnOvPjPzbJBbCRFRFjGVN^NrO^OnPBPnPzbJBjC@FRFrGFN^NzONOnPJP^PzbJBnB{FRFvGBN^N~OJOnPNPZPzbJBVCMHJHVIJI{JGJ{KcKoLcMCMONCbJBbCRHJHbINI{JSK?KcK{LgMCM[NGbJBjC@HJHjH~I{J[JoKcLCLWMCMcMwbJBnB{HJHnHzI{J_JkKcLGLSMCMgMsbKBWCNFSF_GSKdKpLdMDMPNDNaNiO]bKBcCSFSFkGWKdK|LhMDM\NHNaNuOabKBkCAFSFsGGKdLDLXMDMdMxNaN}OQbKBoB|FSFwGCKdLHLTMDMhMtNaOAOMbKBWCNHKHWIKIzJFJzOoOwPkP{Q?bKBcCSHKHcIOIzJRJ~OoPCPoP{bKBkCAHKHkI?IzJZJnOoPKP_P{bKBoB|HKHoH{IzJ^JjOoPOP[P{bLBXCOFTF`GTI|JHJ|KeKqLeOqOyPmbLBdCTFTFlGXI|JTK@KeK}LiOqPEPqbLBlCBFTFtGHI|J\JpKeLELYOqPMPabLBpB}FTFxGDI|J`JlKeLILUOqPQP]bLBXCOHMHYIMMBMNNBN`NhO\P|Q@bLBdCTHMHeIQMBMZNFN`NtO`P|QLbLBlCBHMHmIAMBMbMvN`N|OPP|bLBpB}HMHqH}MBMfMrN`O@OLP|bMBYCPFUFaGUI}JIJ}MEMQNEP}QAbMBeCUFUFmGYI}JUKAMEM]NIP}QMbMBmCCFUFuGII}J]JqMEMeMyP}QUbMBqB~FUFyGEI}JaJmMEMiMuP}bMBYCPHLHXILKbKnLbN_NgO[OpOxPlbMBeCUHLHdIPKbKzLfN_NsO_OpPDPpbMBmCCHLHlI@KbLBLVN_N{OOOpPLP`bMBqB~HLHpH|KbLFLRN_O?OKOpPPP\dRD^ERFRF^GRIzJFJzKbKnLbMBMNNBdRDjEVFRFjGVIzJRJ~KbKzLfMBMZNFdRDrEFFRFrGFIzJZJnKbLBLVMBMbMvdRDvEBFRFvGBIzJ^JjKbLFLRMBMfMrdRD^ERHJHVIJNaNiO]OqOyPmP}QAdRDjEVHJHbINNaNuOaOqPEPqP}QMdRDrEFHJHjH~NaN}OQOqPMPaP}QUdRDvEBHJHnHzNaOAOMOqPQP]P}QYdSD_ESFSF_GSI{JGJ{OpOxPlP|Q@dSDkEWFSFkGWI{JSK?OpPDPpP|QLdSDsEGFSFsGGI{J[JoOpPLP`P|QTdSDwECFSFwGCI{J_JkOpPPP\P|QXQddSD_ESHKHWIKKeKqLeMEMQNEN^NfOZdSDkEWHKHcIOKeK}LiMEM]NIN^NrO^dSDsEGHKHkI?KeLELYMEMeMyN^NzONdSDwECHKHoH{KeLILUMEMiMuN^N~OJdTD`ETFUFaGUKcKoLcN`NhO\OoOwPkdTDlEXFUFmGYKcK{LgN`NtO`OoPCPodTDtEHFUFuGIKcLCLWN`N|OPOoPKP_dTDxEDFUFyGEKcLGLSN`O@OLOoPOP[dTD`ETHLHXILI|JHJ|MDMPNDPzP~dTDlEXHLHdIPI|JTK@MDM\NHPzQJdTDtEHHLHlI@I|J\JpMDMdMxPzQRQfdTDxEDHLHpH|I|J`JlMDMhMtPzQVQbdUDaEUFTF`GTMCMONCN_NgO[P{Q?QsdUDmEYFTFlGXMCM[NGN_NsO_P{QKdUDuEIFTFtGHMCMcMwN_N{OOP{QSQgdUDyEEFTFxGDMCMgMsN_O?OKP{QWQcdUDaEUHMHYIMI}JIJ}KdKpLdOnOvPjdUDmEYHMHeIQI}JUKAKdK|LhOnPBPndUDuEIHMHmIAI}J]JqKdLDLXOnPJP^dUDyEEHMHqH}I}JaJmKdLHLTOnPNPZ~~~~~~")

rajivnx  = rajiv.networkx_graph()
mizunonx  = mizuno.networkx_graph()
xQ24pp2nx = xQ24pp2.networkx_graph()
xQ24ppnx  = xQ24pp.networkx_graph()
xQ24pnx   = xQ24p.networkx_graph()

# List of graphs to process
graphs = [('rajiv   ', rajiv),('mizuno  ', mizuno),('xQ24pp2 ', xQ24pp2),('xQ24pp  ', xQ24pp),('xQ24p   ', xQ24p)]

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)} / 15-reg.? {graph.is_regular(k=15)} /  Girth: {graph.girth()}  ")#  /  Alg.conn. {algebraic_connectivity(graph).n(digits=6)} ")# /   Domin. number: {graph.dominating_set(value_only=True)} ")

print("")
print("Degree histogram rajiv  :", nx.degree_histogram(rajivnx) )  
print("Degree histogram mizuno :", nx.degree_histogram(mizunonx) )  
print("Degree histogram xQ24pp2:", nx.degree_histogram(xQ24pp2nx) )  
print("Degree histogram xQ24pp :", nx.degree_histogram(xQ24ppnx) )  
print("Degree histogram xQ24p  :" ,nx.degree_histogram(xQ24pnx)  )  

print("\n Symmetry properties of the graph\n")
for label, graph in nonisographs:
    print(f"{label} | Aut.group.ord.: {graph.automorphism_group().order()} /  Cayley ? {graph.is_cayley()} ---  vtx.trans. ? {graph.is_vertex_transitive()} -- edge.trans. ? {graph.is_edge_transitive()}" )



'''    
print("\n Properties of the graphs as at arXiv\n")
for label, graph in nonisographs:
    print(f"{label} & {graph.average_distance().n(digits=6)}  & {graph.girth()}  &  {algebraic_connectivity(graph).n(digits=6)}   &  {graph.automorphism_group().order()} \\\\ ")
''' 
    
# Check isomorphisms
# print(f"Are isomorphic G5 and G6? {G5.is_isomorphic(G6)}")

#check_all_isomorphisms(nonisographs)

print("\n")

# automorphism group structure
print(" Automorphism group structure")
print(' C_n is the cyclic group of order n;  x means direct product; : means semidirect product.\n')

Arajiv  = rajiv.automorphism_group()
Amizuno  = mizuno.automorphism_group()
AxQ24pp2 = xQ24pp2.automorphism_group()
AxQ24pp = xQ24pp.automorphism_group()
AxQ24p = xQ24p.automorphism_group()
print('rajiv  :', Arajiv.structure_description(), ' |  center order:',Arajiv.center().order())
print('mizuno :', Amizuno.structure_description(), ' |  center order:',Amizuno.center().order())
print('xQ24pp2:', AxQ24pp2.structure_description(), ' |  center order:',AxQ24pp2.center().order())
print('xQ24pp :', AxQ24pp.structure_description(), ' |  center order:',AxQ24pp.center().order())
print('xQ24p  :', AxQ24p.structure_description(), ' |  center order:',AxQ24p.center().order())


# Compute the distance distribution from a given vertex v in graph G
# Returns a list where the i-th element is the number of vertices at distance i from v
def distance_distribution(G, v):
    from collections import Counter    
    distances = G.shortest_path_lengths(v)
    distribution = Counter(distances.values())
    result = [distribution[d] for d in sorted(distribution)]    
    return result

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")        
##
##