# SageMathCell online --> https://sagecell.sagemath.org/?q=uwwtsj # Moore bound= 2563; # ''' ''' import networkx as nx dhar1116 = Graph(r":~?P[_?_??@_?_??@?A_?_?_?_?_?_?_?_?_?_?_D_N_N?O_N_N?O?P_E?N_F?N_G?N_H?N_I?N_J?N_K?N_L?N_N_D_\_\?]_\_\?]?^_\_\_\_\_\_\_\_\_P?\_D_j_j?k_j_[?j?k?l_j_j_j_j_j_j_j_j_j_D?i_x_x?y_x_x?y?z_x_x_x_x_x_x_x_x_D?[_i@E`E@F`E`E@F@G`E`E`E`E`E`E`E`E_D_i@R`R@S`R`R@S@T`R`R`R`R`R`R`R`R_B?O?`@G@R_D````@a````@a@b````````````````_{@`_E`K@n`X@n@o_i@f@n_p@n@o@p_D@n_T@n`F@n`T@n_w@c@n_b@n_n@P@n_~@n_]@n_F?M`M@|`Y@|@}`j@|_v@|@}@~`s@|_S@|`F@|`T@|`c@|_e@|_n@N@|`C@|_G`OAI`^AIAJ`gAI_uAAAIAJAK`sA@AI_VAI`FAI`T@zAI`cAI_aAI_n@LAI`A@vAI_^@H@cAI_HAV`QAW`[AWAX`kAW_o@sAWAXAY`rAAANAW_UAW`FAW`TAHAW`cAW_fAW_n@JAW`@ADAW_I`LAAAd`]ANAdAe_w@lA\Ad_s@mAdAeAf_D@s@}AKAZAd_XAd`FAd`TAd`cAd_dAd_n@OAd_}Ad`}AKAZAd_J@m`J@sAr`\A\ArAs_M@hANAr_[?qArAsAt`oAAALAYAiAr_WAr`FAr`TAr`cAr_gAr_n@QAr`DAr_K`PA\B?`W@sB?B@`_@iAAB?_rAwB?B@BA`pA?ANAXAiAvB?_ZB?`FB?`TApB?`cB?_cB?_n@KB?`BAlB?_vB?_L`NANBM`ZAABMBN`e@s@{BM_tAiAqBMBNBO`q@~AJA\AhAwBDBM_YBM`FBM`TA~BM`cBM_hBM_n@MBM`?AzBM`U@vBM_E`jBXB[_M?tAaB[B\`\BKB[`BAjB[B\B]a\B[_X@[AhB[_s@OAPB[`UAzB[`aAEB[_fAYB[_lBIBNB[_|A]BBB[_l@oAMBNB[_JBZ`lATBhBi_uBIBiBj`XAcBi`@ABBiBjBkbDB`Bi_S@WA@Bi_v@NBTBgBi`aAmBi_cBABi_lAJAaBi_|AZBEBbBibi_F`fBJBLBv_rASBnBvBw`]BYBv`?AxBvBwBxb`BkBv_W@^AvBv_q@QA^Bv`UAlBv`a@wBv_aAKBv_lB@BWBv_|AOBPBv`IA[A|B^Bv_I`hAbCD_oBWB`CDCE`YAUCD`A@tBhCDCECFb]BnB{CD_T@Z@rCD_p@PBFCBCD`UADCD`aA{CD_hBOCD_lASAXCD_|ALBSB}CD_yBkBxCD_G`kA}CICR_qAFCRCS`ZApB{CR_[?}BEB`CRCSCT_DB_BnByCECR_Z@YBCCR_r@K@uBuCR`UBUCR`aA`CR_e@~CR_lAnAsCR_|ABAgCRb_ByCECR_L`i@yB{C`_pAnC`Ca`^AHCIC``CA]BnC`CaCb`_B`BmBwCGCWC`_U@]A[C`_o@JAyC^C``UAQC``aBHC`_dAfC`_l@oAFC`_|A?AjCYC`_mBmCGC`_H_w@gAoBnCn_s@xCeCnCo`WA~B`Cn`DBSB{CCCnCoCpb^BjBzCICWCbCn_Y@XBQCn_t@MACCn`UBGCn`aARCn_b@pCn_lAeA|Cn_|@tAuCn`U@bCn_K`eAGB`C|_vA|CWC_C|C}`[@zBnC|_~AOCIC|C}C~b\BlB{CHCTCeCsC|_V@\AMC|_u@LAkCzC|`UA_C|`aBVC|_gAtC|_l@x@}C|_|@qAxCuC|_R?pALC|_EDI_uA`CKDJ_gATB~DJDK`CAlC[DJ_YAHBLBsDJDKDLdJ_R?dBSCtDJ`PAmBFBcCEDJ`]A]AgBxDJ_~@kAXCUDJ_^A|BtDFDJ_T?kAKBmCZDJ_{A@ClDJ_KC__sA{CYDW__?fAoChDWDX`?@_AQCMDW_SBHBYCyDODWDXDYbRDNDW_R?aABBoDW`K@uARCSDDDW`^ALAxCbDW`B@hAsCGDW_^AaBeCzDW_Z?kAfCLCrDW_{BQCBDIDW_LAq_i?qAmCuD\Dd_aA}DDDODdDe`BA_BqDd_T?[BKC]DdDeDfbnDLDXDd_R?f@tCJDd`MACA`ChCoDd`[AZAjC~Dd`?@lAeBlDd_^ASC@C^Dd_Y?kAtBZCVDd_{BCBgDd_F?M_oARAVBpDODq_[?dAbBcD\DqDr_~AzCwDq_Z@zCODiDqDrDs`sDKDYDhDq_R?gBECXDq`NA{BTBjB~Dq`\AOAuB]Dq`C@gAJCqDq_^AnCPCjDq_S?kAYCHCvDq_{@rDHDq_J@m_tBHBuB}D~_bBXCLD~E?_}ADCiDOD~_VApBfBhD~E?E@dMD\DiDvD~_R?eAODBD~`QAEA^BwD~`YA?BECFDTD~`D@iB@CcD~_^@xBgCxDRD~_W?kBOB_ChD~_{AhC^D~_HCu_v@wCgEK_cAGAfCZEKEL`ABUC?D\EK_XAUDGECEKELEMdODZDiDvEBEK_R?hAjBaEK`JAyBVCaCvEK`Z@tBPCTDaEK`@@f@oByEK_^BIBrDHD_EK_U?k@~B~D@EK_{AMCPEK_G_pAEDCEPEX_h@yCvC{ECEXEY`@BGBdDIDiEX_W@{AcCkEXEYEZaNB{DOD\DgDvE@ELEX_R?cAxB|EX`LAkBHC}EX`WABBBCpDnEX`A@j@}B^EX_^BWCNClDlEX_V?k@pBcCdEX_{A[BtEX_I_rBVBbCCECEe_eBJBZEPEeEf`D@vDEDvEe_UA~CAE]EeEfEgaiDOD\DiDtE?EME\Ee_R?bA]CfEe_s@OAPB\CLEe`X@qBSBkD{Ee_}@eBND?Ee_^AFCBC\DyEe_X?kBABzDDEe_{AvCzEe_kBABzEe_EC_`^BECzEbEs`D@{AmCXEEEsEt_vA^CNDwEs_hAQB}DmEsEtEucWEs_L?ZB@CTDtEs`QAZAnBzDoE@Es`S@kAMChDSD_Es`lAfBqDhDyEs_J?`@CBWCGDDEYEs_mAGBKDGEVEs_zA~BeCJCoEqEs_L@m`\ABCPEHF@`AA`BoE_F@FA_rAkCQCxD]F@_bAzDCDSF@FAFBeCExF@_E?S@}BkDZF@`LAaAgD@DUEZF@`S@lAvBcDmDyF@`kAYC[DND_F@_G?`@B@xB~CqE?F@_mAHBJCAEpF@_zAUCECjCtEWF@_J?w`ZA]DHDnFM_~AECfDQFMFN_sBFC@EkFEFM_aBUBuCKEaExFMFNFOaACIEwFCFM_G?UAXCbEhFM`PAFBBCHDLEcFM`S@iBQCZEGESFM`j@~BdE\EmFM_E?`?}ASByCvDeFM_mAcAoCyDbFM_z@zBrB|C}D}FM_G@m`XAjCBDTFZ_w@?BHBaDkFZF[_oACBhDFEQExFZ_g@vAVCuEGFEFZF[F\bRCsEvFDFRFZ_J?XAeB]ENFZ`MA?BICrDfEIFZ`S@j@rBZEaEmFZ`iBACiEBESFZ_L?`@@A|CLD?DKFZ_mAbApCOD|FZ_zBYBwC\DBDcFZ_FCC`[BSC^EUFRFg_}A{CtElExFgFh_pAPBrDPFg_cA_AeBbD`FgFhFiaNB{EPEuFEFNF_Fg_K?YBNCpDMFg`OALB_DbEgFg`S@gA[DDDlDzFg`hAtCMDRD[Fg_I?`?~BIBlChELFg_m@yBYCkEcFg_zApBoC@CSEJFg_KCm`]@tBtEoF_Ft`@ARAVCJERFEFtFu_tAyBLC\DjFt_eAlCQCgDzFtFuFvexFBFRF[FlFt_F?T@oCFDgFt`JASAuCdD|EMFt`S@hAhB~DRD`Ft`gAKCwDlDuFt_H?`@?AFBcCUEfFt_m@zBXBfEIFt_zAcBjCXDFEdFt_I`WAOClDIDaExGA`C@_@wDBDxFRGAGB_qBTBeEDFyGA_[?fBGBpETFlGAGBGCetFEFOF_FkFwGA_H?VAJC~EAGA`N@xBPBmDsEVGA`S@eBCCvE`EnGA`f@pC?EFEOGA_F?`@DAaB^CZDXGA_mAUA}C]DoGA_zAHBaCNCaDVGA_cCdDXGA_H`YAxBgD{FEGO`BBVB|D^F_GOGP_u@uBuCjE^FlGO_dADCYEnFyGOGPGQcIExFAFRF\FjFxGFGO_I?WAsBxE[GO`K@qBWCVDYEpGO`S@fA@CLEFETGO`eBODEE`EiGO_K?`@AAnBZCcDrGO_mATA~BsDUGO_zBKB\CfCxDpGO_E@{_UADAqBrDcFGG\`gBYDCEkGWG\G]`LA}CfEUF}G\_[@YBICwE_GLG\G]G^csD\GFG\_OA]A{CcEgFSG\`HAkBsC~DjE\FAG\`V@}C?CLEFGQG\`bARCrDzEQFwG\_cBCBjC[ENFqG\_q@jAuBdC]DoFLGEG\`?AmBOCBDQDXFfG\_G_SA_CjEqFTGaGi`fA~CKD]FoGiGj`P@dBXBoD{GJGi`[AnC?CmDQG?GiGjGkg]Gi_OABBVBlDYFFGi`HBFCFCkDNEDFNGi`VAXCwDDDlFiGi`b@wBzDwETGDGi_dAhBdB}CaDtGYGi_t@kBPBfC[EIFYFxGi`DAtBHCzE_EfF?Gi_u?|@LAsCZCpEgEiGi_I_YAzC@EdGVGw`iAcCYDPErFHGwGx`KAGCQCtDnFcGw`\ASCiD^E~GwGxGydOFRGaGnGw_OAEBSCqDLFmGw`H@uCACTD[EQGPGw`VAsBcBqDyFBGw`bBHCdDjEGF]Gw_aAMBwCgDEDgFWGw_v@hA?CMDGEVEwG[Gw`@@wAYBtEYElG@Gw_@AJCSEYF[GjGw_KBh_M?WBUCxDVFnG|HE`lAHBbE^FUHEHF`OAbB|EHE|HE`Z@xBqElFeHEHFHGfyGaGnGxHE_OA`AxByEZGUHE`HAPB]CyDwEiFhHE`VBNCZCiESFOHE`bAmBmDmEDEvHE_b@rBpCMCoEAFJHE_o@eAZCODED|F^FsHE`C@~ARClDKD^GMHE_HCQ_T@mAQDFEJGHHR`jApBpDjE{HJHRHS`NBJCJDTFVGNGnHR_i@^A|BdDxFKG|HRHSHTbnDvGaGlG{HGHR_O@tCGDfFzGvHR`HBTBkDGDuEkGBHR`VAJC[ChD_EuHR`bAEB_DPEaFPHR_gAvBbC?C}DMFdHR_r@gBBCACwEpFDGMHR_}AfBVC^E?ERFsHR_F@__V@vCNDpF{HWH__w@kBKCgEDFbG|H_H``JAoDBEbFIGaH_`XBWCQC[ERFXHJH_H`Haa\DiGFG_GnGyHIHSH__OAOAmD?E@GGH_`HAyCOCbD]EOFuH_`V@oBZBdEmF\H_`bA`CVDSE^FCH__hBQCECwE[ErE}H__s@fAgC?CyDbFQG@H_`BA{BABgDeDxG[H__L@m_XBGC\D}EzHl`h@zB}EQGIGnHlHm`QATBaEoFpGNHJHl`WAFCMEEGZGaHlHmHnc}DAG`GkG|HHHWHdHl_OARAjB^EMF`Hl`HA^BxC]DPEBEtHl`VB@CvDEE`GCHl`bA{CHD`EkFjHl_eA@BqCKCSEhF~Hl_u@iALBsCiDUF?GSHl_~@pA`DHDkDrFYHl_J_ZAlBeEWFaHDHqHy`eAUBuCuDwF|GaHyHz`M@yCXDaGXG|Hy`]AaDEDkFrGnHyHzH{eCG^GmGzHJHWHdHmHy_O@wBECUDsEyHy`HACBfCpDhE^F[Hy`VAeB~CMDRFvHy`bBVD@D]EnGRHy_fA[B\CiDCDZGKHy_p@l@qBqCkEcFfFkHy`AAEAKCPEEELFLHy_ECQ`@AnCZEDFpH]IF_VACBtDID`FKGsIFIG_dAOCADkFUHCIF`MA{CjESG@HeIFIGIHaNDAIF_PAFALAzDBE?GGHNHcIF`I@~AQCuDgFaI@IF`ZATBUCSEOFPHMICIF_U@hAvBTCMDYFhHuIF__@QAeCdD{EWEaGYGkIF_rBJBaByCNEpFBF}HSIF_y@OAcBkEdFxGzHLIF_HBL_~BWB~D]FcGgIS_SAPDHEGGLHiIKISIT_hABC]ElF|HxIS_[@OBHCNDRFYGoISITIUbDFEHqIHIS_PA?ASBGBoDXFFGmIBIS`IADAKBbEhFnHLIS`]AGAlBwDNFwHOIAIS_T@iAkBCCiE@F[H@IS__@KBNCHDVDzEbE}HaIS_qA}CUCjCtDoFVGCG]IS_y@M@zC~D}FQHoI@IS_K?M`DASCLEQErFIIDI`_XBTCzDSFrHAI`Ia_aAjCkDxGWGuIKI``NA`C@EFF?GvHrI`IaIbcWDvHJIIIXI`_PA_AgBWBaELF`GeHpI``IAlBOBpDtGHHYI``YADAoCEEBGRGdH\I`_W@kACA[C[DLFAHhI_I`__@JAJBzDnEJEnFWGyI`_p@yC\CcDBEcE|FiHzI`_yA~CpEqEwGcGlI\I`_J`BAFAVChDPGJHPIm_YAkBgETFeGNHvIeImIn_eBSCOE_E{HkIXIm`L@wC\D_ErG[G}ImInIoaACIIKIVIbIm_P@vAnBPCtDKFmG{H[Im`IAfBUDCE[FGGcIm`^AQBXCaD[EvGfHZIm_Z@f@rAPC?EMGBGrIRIm__@P@}CVDcDmEoF~HnIm_oAbBoC@CGD|F\GXHFIm_y@NBKB]DpGSHYHbIOIm_q@VCqFiGSGxIm_L@__}AaBZCmE^F}HBIKI{_W?[BFC^DzE~ICI{I|_fAxDGDQFbH^I{`PARAVBeEmFsHKIXI{I|I}bRIGIWIeIrI{_PAQAuBIB|EYGUHIHhI{`IAzBACKDMFTGpI{`X@vA}BjEiF]GsHgI{_X@g@uAMCwDsFuGeI{__@LAXB_DaEGEqGKH{I{_vAGCfCxD?EVEuFpGxI{_y@JApCTEJFkHUHfI{_I?i_[@?@xDDDwFVHwIXJH_ZAyCBEaGZHOJ@JHJI_bBEBsERErFoGhJH`JAECxC{DlFfI?IKJHJIJJh~IJITIeIrI}JH_PADA|BBCXDrEyGrH}JH`IAtBGCgENF{HfJH`[A_BJC}DhFjGqHiJH_Y@jA@A^BdEZFNH[JH__@N@oCrD`DpEHFJHGJH_uATBeBlCJDUFcGQHmJH_y@PBYBxDcF^G_GpJH_F`AA|CvC{EkE|GtIeJU_U@uCPCmDmG?H\JUJV_gA]BfBhD^GIIEJ@JU`KAmDFE`FLGbIrJUJVJWceD\GTIKIXIaIqI~JMJU_P@xAZAlCfEfFSG`HuJU`I@pA_CYDZGVG~JU`WAbBGCoE\GDHAHtJU_V@lAhBFBqDfEtHNJTJU__@OAsD@DTETEdFdHTJU_tBXB^BrB|EIFIFvGjJU_y@QAUCFEWFDHsH|JQJU`T@~CFE@FhGQG^IbJU_G?i`CBIBcDjGXHDHjIrJc_TA^ClEnFXGfJZJcJd_c@tC_CyEEFHHQJMJc_M@QBVBrDyGMHXIeJcJdJeawEjGnIKIXIdInJ@JKJWJc_P@qAaBUCJDeFzH@HVJc`I@vAYB}EAEzHsJc`\@yAzB\DuFCH?HvJc_S@eAyBQDEEgGPIBJGJc__@MB@BmDSD}EUFqG^Jc_sAoCXCqDFDbFOGJH`Jc_y@KAHCbDVGEG~HHJDJc_EAq_eAUB|DlFXH@IgIzJp`NAxCiEWF~HjJPJpJq_W@{AFBpDbFLGqI\Jp_w@iBTDDEoGUIEJnJpJqJrePJ@Jp_QAtBXBwD}E^E{GSHKJAJp`GBQBlDxE~GHHYIAIaJp`[@uA_D@DeFoGlHrJJJp_f@dBHCbEGFGFcGxHXIVJp_]@\A?C\EiFvHvIwJBJp_sAoCyDZEyFNHaJgJp`AAJCPD{EMFCFVH}JCJaJp_I_gBKBoBuESFrGeJjJ}`QABCwDpFdIDINJ}J~_SA|B}EcG[HMJDJuJ}`gA^CZC{DTFFHkIkJ}J~K?awFyHJJsJ}_Q@~AbBjD]EJFDGIGoIYJ}`GA[ByEEEzGLHgHsJdJ}`ZAkBUCVELFUHHHXIHJ}_h@dARCpDzF}GVG]HrI~J}_]@YAuDFDNF\H\IZJ_J}_p@yCkE[FhGGH{IdJ}`BB@BgDfEHFpGRHcI[IyJ}_H_aAHCXCmEmG?HuItJuKJ`LBEBLCMDVFWGtJCKJKK_ZASDCEIGMGNHgIOKJ`hAkBZDnEyHQJ`KJKKKLceEPJMJqKBKJ_QAoBACSDwEdEwGWI?JNKJ`GAhD?E_FGGZGcHMInKJ`X@vA^BmEfFbG}HbI}KJ_b@dA{CFD`FpGHGbHmIIKJ_]@WALC@DhFOHAIjJOKJ_tBXBfEAFuGUGkJYKJ`C@}ClDLEbF}GDHIJPJoKJ_CAtEAFuGfGkIpJYKJ_L?w_cA~DBDRFeH[J\KBKX`KAOBLBdEqFqHPI[KXKY_VBICYD|F?IAJQKOKX`j@uB~EUGGGuGvIxKXKYKZcsExJ@JuJ~KMKX_Q@yAKC}DcEDFHGEHeILKX`G@rCUD^FKGVGqG~JVKX`]AlBTBzDKF|GbH|IUKX_d@dAEB]EaEzFVG}HSJKKX_]@^BBBrEOFiGfIMJmKX_oAbCODtFFF[HGIqKX`DAsCzDaEgEvFcGmINIlKX_K@{_M?hApCfDyGZGrIMKe`M@mA]C?EJE}HwJkKBKeKf_UBWCuDUFsH?IvKe`fACBcEbFSH^JSK]KeKfKge]GTIrJuK?KOK\Ke_QAGAYCaDpEkFQF|GbJ[Ke`GA@CqDkFaG?HZI@IGKe`\AzBFB_DrFHGzHeJeKHKe_g@d@wBxETFnGJGjI?IpKe_]@[BPCNE\EuHiI]J\Ke_uATBsDMFzGPHnJLKEKe_}AeC^DnE@FjGXHVJGJ]Ke_G_f@zCtEFFKHDHNJOKr`JBSBqD}GKH]IhJbJuKrKs_YAaCgEpErFYGdJ^KjKr`lAyCLDaFmHxIQIzKOKrKsKta\BDJrKBKNK]KhKr_QA}BOCoDPEWFbFkG}IsKr`GAvCcERFeF{HfHtJIKr`YADAPCHE?GWG_I?IbJ{Kr_e@dAmBkDmE|FTHFHeJXKr_]@ZAZBeD[GCICItJEKr_rBJCAEhFAF`HTIJJxKr_~@oDHDsEUFIFPHpI_IuKr`aAYCaG|IUJrKNKhKr_JCm_dBYCJE`E~HhIZKjL@`O@tCCC[DcGYHBJ]K]L@LA_TAnBbBuEVFfHtIiL@`kAPCvC{D{FzGhJFKBL@LALB`sGFGnJuKAKOKZKfKwL@_Q@pATCEDjEqFUFxHXJiL@`GAMB^ElFXFnGdHLITL@`WAyBGCrEYGIGoHoJWKcL@_c@dA`CTDSFIFaHKH`IcL@_]@XAgCjDuGQGsIPJjL@_vAGDGENEtFSGyJ?K`L@`?BNCBDYEoE|F]G`JTJkL@_FGN_bAcBaD_GLIBJBKwL?LM`PAjDEEdFJGgIuKOLMLN_X@xCKDoG@HZJlLELM_[@eBFChEHF`HCI^JuLMLNLOawB`HWJtKBKLK]KjKsLCLM_QAfBJB\DVEQF^FoHrIfLM`GBCCGDQFTFrGpH?I|LM`^ACAQCdDXE{HKHUIoKULM_a@dBVC~EnF{GXGoHzJfLM_]@]@qCxEBFBHOIgJRLM_qA}C]DgFmGBG^IWKRLM`@AXBtDTEZFwGJG{IRIhLM_A?BBu_@?BLZ_B?CLZL[_DAADiECLZ_EABCOFeLZ_F@tGZGvLZ_GA]DGE~LZ_HAOCkFrLZ_IAxBfG?LZ_JAjCAFKLZ_KBSC]GLLZ_LBECyFXLZ_P?Q@tABAOA]AjAxBEBSIzL]_O?QBaBoB|CJCXCfCtDBEELf_Q?REyFBFFFSF`FmFzGGGULfLg_^?_GfGsHAHOH\HiHvICL]_A?]?_@xAFASAaAnA|BIBWLi__?`BeBrC@CNC\CjCxDFLiLj_l?m@_IQI^IkIxJFJSJ`JnL]_k?mJ{KHKUKWKcKpK}LKLXLl_m?nGgGtHBHPH]HjHwIDLlLm_w?z?{J|KIKVKdKqK~LLLYL]_y?{GhGuHCHQH^HkHxIELo_{?|@_@zAHAUAcApA~BKBYLoLp`G@HBbBpB}CKCYCgCuDCL]`F@HBLEzFGFTFaFnF{GHGVLr`H@IDQD^DkDxEEERE_ElHDLrLs_M@T@UDRD_DlDyEFESE`EmL]`S@UBLINI[IhIuJCJPJ]JkLu`U@VGNJxKEKRK`KmKzLHLULuLv`b@cE|FIFVFcFpF}GJGXL]`_@a@cDSD`DmDzEGETEaEnLx`c@dHDIOI\IiIvJDJQJ^JlLxLy_T@p@qAABLBZD^FJGrI_KHL^_b@o@qANC?DjFYG~IkKRL{_~@q@rAiAqCYEHFrHXJCKnL{L|_S@s@~A?CLDkF~G{H[JoLKL__e?w@}A?A\BdD]GMI@JFKzL~`CA?A@AwCuEoE~GoIhKWKaL~M?_VAKALA\CCChElFWGeJaKpL`_a@sAJALCwEDFLGNHLJSLUMA`AALAMBDBbC{DnGZHeIuKFMAMB_UANAYAZCQDDEEGKHhIRKcLa_fAAAXAZC[EkG@HsIxIzJxMD`@AZA[BRB}DaFeGbJPLIMDME_XAfAgAwB~C_E_GYHNJGJ{Lb_dAeAgBDBqEQFsGcJnK`MG_}@sAgAhBLDCD{FXHrI[K{MGMH_WAiAqAtAuBcERFdHuIlLXLc_gAsAuBRCME^F?HfI^KmMJ`DAAAuAvBuCgDTGLHKJkKSMJMK_ZBABBBRCvC{DQFqH@IyK}Ld_cAiAqB@BBCiDwG[GpIQLHMM`BANBBBCCKEUFKI?J]JyMMMN_YBDBOBPCZDxE}IBJTKUKWLe_hAwBNBPDEDPFfHYIzJ`KEMP`?A\BPBQBpCmEbG?G}INLVMPMQ`OAzB]B^CeCmEQG?HkJQK|L^_XAEB\B^BnDaFHGtIZKIMS_fAPB^B_B{DpFVH?IfKUKWMSMT`N@vBkBlCWC_D]GZHCJ^KbLc_SAmB`BjBlEUFbHwIgLYMV_cBTBlBmCIEdE|HgIYKpMVMW`Q@{AlBxByDAE^FKGhIvKTL__W@wBwByCIDnF|H]JjLLMY_aA^B`ByBzDcGJIAJAK}MYMZ`P@{ADCFCGCsDjFeIEIOKoLb_TAqA{B{CECGEbGWHPJBJ|M\_h?iBFBnCGCHEWFpGdJiKcM\M]`KBUBnCTCUDwGLH^IiJzL`_ZA`CSCUCeEoFUGgJ\KqM__e@m@uCUCVCsEJFIHMJNLXM_M``JAQBLB`CbCcEkFrHQI\LJLe_UBHCWC_CaCcD{E{IDJOKVMb_d@{AyCcCdDADVFcHZJ[KHMbMc`MBGCICpCqDPFXGNGuJDLWLa_YARAVCoCqDAEHGIHjIMKdMe_bACCWC_CqCrEqF}HtIsJ{MeMf`LA_B{C~D?EDE~HxJlKGLd_VBVCsC}D?DTFoHBItKWK~Mh_gAkCeD?D@D}GXGqILLKMhMi`]BFCtDLDME]GMHwJ_LIL^`kBSDFDKDMEjGZIAJoLTMk`PA|ClDMDNEPF|HhIzJSKxMkMl`^@uBoDYDZEjFfHjJEKSLd_w@hABBeDXDZE]FXHZJTK_Mn`KAaCBDZD[ECE{HuJnKCMnMo`[ACCJDfDgECG[GgIjK{L?Le`l@tC@DeDgEPGLGqIyKlMq`MASBgDgDhEjFoHNI^LFMqMr`\BTCXDsDtEPFYHPIPKFL_`gBECjDrDtECFeH?I_JwMt`NAnDHDtDuE]FHGeIxKPMtMu`YA^DBDiE@EAFsGNGtJRJyLc`iAOCmCxDvE?EAG?GdJGKDMw`Q@xC^DID\EAEBGWH@J`K^MwMx`ZAyBaDvEMENFLHBJbJmKnLa`fAjBrDiELENE~HMJaKyMz`JBICPDOENEOFUGrJFLSMzM{`WAkB|DOEZE[G@IDI]KaL``jAxCNCQD\EYE[FrHtIRKQM}`LBWBtDvE[E\GIH[IkJvM}M~`XAPAVCfD\EgEhF?H]IwLVLb`eA]C\DOEfEhFKHgH}IlLGN@`OAFCzDiEhEiFbHDIBIQKkN@NA`lBWDGEqEuEvGNGTI?JjLUL^`QA~ChEVEtEvFyHiJNK{NC_ZAGBqD_EvEwFEGuGvI]KDNCND`k@xCACCEWFBFCGFGoItKmLe`LAUBcEpErFAFCFlHOIYLINF_M?SBJC[DyExFCFDIEJRKQNFNG_w@jASCyD}FOFPFyGbJBKELc`P@zCZDbFNFPGTHAIzJ[KaNI_UAoBdESFPFQF_HxIjLTNINJ`iA|CODcF\F]FlHrIMKRL``MBYBZD|F[F]GFH\IfJyNL_X@pAbCiEmFRF]F^GhJ_KlNLNM`h@mBICkEJF_FiFjG}IZJxL_`OApBuDDEcFEFhFjGfIsKSNO_Y@yCMDlFjFkFyH^JmLGNONP`gAFBfBhEdFRFvFwHXJOK`Ld_i@JAcB~EIExFuFwHvJiKFNR_TBXCwDRFlFwFxHCIwKyNRNS`fAaAqC]DVFEGCGDHeIgLHLb`NAHCvC{DoF_GBGDICILKnNU_VA}C?E`GDGEGTHQJEJwNUNV`eAnBsCCDpExGQGRHKJ\KzLa`KBKCLDUFRGPGRGsJALVNX_WATBCDEEFGFGRGSHkIPK_NXNY_cARAVCBDoFSG^G_G|IhKQL^`?AkC]EFFqG]G_HWJDKkN[_qA]CLDzFfG_G`HJItKbN[N\_d@wCzEIFFGkGlHJJPLTL``DBFBfBhDlGYGjGlHdIvKCN^_tABDDETF?GlGmG|JBLJN^N__aBHBtEVFmGaGyGzJkK_Lb_M@@@uDGDyFWGxGzHqI\KxNa_vBSBcEGG@GnGzG{J\JbKTNaNb_bAmClD|GUGnHGHHINLGLd`CAPCCCOESFJHFHHH~J^JvNd_oAxCZDmGMGaHHHIIZLWNdNe_gAEC^EpErFzHTHUHqIuJwLa_}BTCAD_FdGaHSHUJQLFNg_r@tChEaFsHUHVH~IgJJKGNgNh_hA`BgDIDbGGHaHbH~JCKyL_`BAyCyEmE}GnH`HbIiK^Nj_s@{AOBZDSG[HbHcHqJOKoNjNk_eA{CmDHDUF`HWHnHoJ]KDLe_~A^BsE`F~G|HmHoIOLSNm_uAjCvC{D`FYHdHoHpJjJzNmNn_fBLBVCPEcEyHdH{H|I[KlLc`AACCkDRGKHJHzH|JlKPNp_pBEB~EnFLHWH|H}IMK|NpNq_rAcCMD{FaHMIHIIIrK^L^`ZBJCuEdGGHuIGIIJZLJNs`hBUDBEpErGYI@IIIJJhLYNsNt_q@zCiEbFnIAIUIVIeKCLa`]@{A}BbD}FFH@ITIVJhKoNv`iAlBoCCDoE}HLIVIWJZK~NvNw_oCcFNHmLPL[L|MTMlNDN\NtNv_pA~BuC[DnGHGdIXIbIcLSLd`Y@y@{BpEqF`HhIaIcJ@KTNz`kADBaEcFWHYIcIdJMKdNzN{_oBKC?C{EoFGHZIKIoIpKxLc`^AbBuDCDpFmGrInIpJMJzN}`fAQCtD|F~GcIpIqJ@KIN}N~_vApCwDaFTHgI}I~JhJvLe`X@mAGCKEJGUGeIeI|I~K|O@`g@vB|EVGKGpIrI~J?KqMZO@OA_uBYBdEHF{GqHDJJJKJZKPLb_M@[ATCgDcEyH[IrJIJKLWOC`jA_CQCXDUFJHfIeJKJLLLOCOD_tAUAqBqDTGVHtJMJWJXKkL_`WBXCYEWFSHNIKJVJXKGOF`lBGCfEIFdG~IXJXJYJ|OFOG_sAHDEEUEzH?J@JbJeJfLFL``\AoB}DVFzIBIXJdJfKbOI_w@eAzCJDbFqHsIKJfJgKVOIOJ`AAoC\EGFoHYJAJrJsKjL^_sA_CPDxFcHKIwJqJsK]NyOL`[BHCyE^GHHvJaJsJtLEOLOM`B@yDFDzFUHsIYK?K@KwL?Lb_pBUBgEEF}GoJ_J~K@KOOO`ZARAVCkD]EzH\IyK@KALROOOP`C@mBXC@D`FbGcJNKLKMLELa_t@vClE_ErFpI?IjKBKKKMOR`XA{BfBhDwFGHAJoKMKNKjOROS`DAbBrEaF|G~ILKZK[LRLe_oAlCzDID^FVHeJmJuKYK[OU`]AECOEDGVGfIlK[K\KwL?OUOV_}ATBuCNETFHI@J[JuKgKhLd_uAzC^C_DkGJGbI]KfKhLROX`\@wBsEkFaHiJGKOKhKiOXOY_~BJBeDmGWHfIsKBKtKuL`_rADDHERE|G}JEKsKuLEO[`YAmCADPF{ICI_K]KuKvO[O\_i@?AGCjDSGIHLJiKOLBLCLc_vBGCBElFIHXIPKwL?LALCO^`WA`DGDjFnGsJTJuLCLDO^O__M@@A}CxEnE{GpIfK]LOLPL__qAQBtDQGXHrJRKjLNLPOa`^BVCQC]EQFTHOIRKBLPLQOaOb_@?O?]?k?y@F@S@aAiDOExL]_@?o?}@oB\DKEtFFG]IGJqL^_@?u@D@}BwDrFhFzH`JVLNL__@?v@BAJCSEYFSF[GjJdKsL`_@?p@?AXCoELGGGPHSITKKLa_@?t?~AeCEEfGBGUGxJIJ~Lb_@?r@CAsBjE?FNF`HzInLALc_@?q@AB@C}DXFmFuHFIaKfLd_@?s@@BNCaDeEyFAHmI|KYLe_GHkIAITL[MBM`M~NMN_OJO\_A?P?^?l?z@G@T@bFEF_IK_A@W@pApB]DLEJEuG^IHJr_A@Z@~A~BxDsEqFiHaJWLO_A@]AKBKCTDpEZF\GkJeKtOm_A@\AYBYCpEMGQHTIUKLM[_A@^@zAfCFD}EgGCGyJJK?_A@[AHAtBkDVE@FOH{IoLB_A@XAUBAC~DYEWFvHGIbKg_A@YAcBOCbDfEdFBHnI}KZ_QCbEhL\MOMjMpM{NTNfNhN|OZOb_B?Q?_?m?{@H@U@cB`C_GnOdOn_B?a@qAyB^DMEvG_IIJOJsOeOo_B?fA?AkByDtFjHbItJXLPOfOp_B?bALBTCUE[F]GlIgJfKuOgOq_B?eAZBFCqENGRHUIVJBKMOhOr_BACAgCGEhGDGzIMIcJKK@OiOs_B?h@uAuBlEAFPH|IpJ\LCOjOt_B?dA^BBD?DZFwHHIcJjKhOkOu_B?gAPBPCcDgFCHoIZI~K[OlOv_DDOFyJML[LgLjLmLpLsLvLyOn_EC{H^HtL[L|MTMlNDN\NtOMOo_F?iGuHML[M?MZMuNPNkOGObOp_HDIGhH?L[MEMfM{NYNhNwOSOr_I?tHZHxL[MHM]NANVNbODOPOs_J?rGqHQL[MKMWMxNJNqN~O_Ot_K?[HgIEL[MNMiMoNSNeN{OYOu_LGdHCJbL[MQMcMrNGNnOAOVOv_C?R?`?n?|@I@V@dB{EjKwL]OxPA_C@rB_C@DNEwG`IBIJJtKcL^OyPB_CA@BeBzDuFkH@HcJYKpLQL_OzPC_CAMCVCxE\F^GmHuJgKvLKL`OmO{_CA[C\CrEOGSHNHVIWKHKNLaO|PD_CAhBrCHEiGEG{HhJLKAKULbO}PE_CAvBmCNEBFQGeH}IqK}LDLcO~PF_CBCCjD@D[FxHIH[IdKiLXLdP?PG_CBQCdDFDhFDGrHpJ?J{K\LeP@PH_DDAH~JuL\LhLkLnLqLtLwLzOdOn_E@eKTKyL\L}MUMmNEN]NuONOeOo_F@iKQK|L\M@M[MvNQNlOHOcOfOp_G@hJwLWL\MCMaN?NNN`OKO]OgOq_H@lJzLTL\MFMgM|NZNiNxOTOhOr_I@kKbKlL\MIM^NBNWNcOEOQOiOs_J@gK_KoL\MLMXMyNKNrO?O`OjOt_K@jKDLJL\MOMjMpNTNfN|OZOkOu_L@fKGLGL\MRMdMsNHNoOBOWOlOv") michel1094 = Graph(r":~?PE_U?H_f?E`E?x`P@N`]?`_^`c?L`e?@`g@Q`o?P`r?T`w?q`y?Va???_D_@?z_C_A_F_B_E_g_l_h_k_i_n_j_m_G_L_HAN_K_I@`_N_J@F_M__?e_d_`_c_a_f@}_b_e_O_T_P_S_Q@k_V_R@D_U_w_|_x_{_yAL_~_z_}_WAi_\_X_[_Y@@_^_ZA]_]@L_o_t@G_p_sA?_J?q_v_r@n_j?u_?@?A?_E@EAF_F@FAD_@@@AA_D?_@DA@_B@B@hAE_A@AACAR_C@CABAZ_o@U@oAw_u@uA~_v@vA|_p@pAy_t@q@tAx_r@rA}_q@S@qA{_s@sAz_w@wAg_}@}An_~@~Al_p?x@xAi_u?|@|Ah_z@zAm_Q?y@yAk_{@{Aj_G@GAOAw_M@MAV_N?Z@NAT_H@HAQ_L@LAP_J@J@dAU_I@IAS_K@KAR_g@gABAG_m@mA@AN_n@Z@nAL_h@hAI_l@lAH_j@jAM_i@iAK_k@kAJAT_W@WAo_]@]Av_^?y@^At_X@XAqBB_\@\Ap_Z@ZApAu_Y?c@YAs_[@[Ar_O@O@bA__U@UAf_V@VAd_P@PAa_T@TA`_R@RAe_Q@QAc_S@SAbAg__@_AW_e@eA^_f@fAIA\_`@`AYAj_d@dAX_b@bA]_a@aA[_c@cAZBe_?@?_F@FAq_D@DB?_A@A_@?]@@_E@E@m_C@C_B@B_w@w_~@~_|@|_y@y_x@V@x_}@}_{@x@{_z@z_g@H@g_n@nA__l@l_d?i@i_h@hCF_m@m_k@kCB_j@j@l_O?\@O_V@V_T@TBZ_Q@Q_P@P_U@U_S@S_R@R_G@G_N@NAh_L@J@L_I@I_H@H@i_M@M_K@K_J?{@J_o@oBQ_v?|@v_t@tBq_q@qBx_p@p_u@u_s@sBt_r@r__@_Bd_f@f_d@dCE_a@aAl_`@`_e@eBN_c@c_b@b_W@W_^@^C__\@\AJ_Y@Y_X@X_]?~@]_[@[_Z@Z@a_X@?A?C?`AACAECB`CABCE`EAFCD`BAECF`@AACC`FADC@`DA@CACz`OA_CW`QAcCZ`SAbArC]`UAfC\`RAeAmC^`PAaC[Cu`?@VAdCX`TA`CY`_AWA`Co`aA[Cr`cAZBgCu`eA^B[Ct_C@bA]Cv``AYCs`fA\BACp`dAXCq`oAwBJCg`qA{Cj`sAzCm`uA~Cl_M@rA}Cn`pAyCk`vAPA|Ch`tAxBHCi`WAoCw`YAsCz_F@[ArC}`]AvC|C}`ZAuCXC~`XAqC{DV`^AtCx_a@\ApCy`GAOA^C__B@IASCb`KARCe`MAVCd`A@JAUCf_A@HAQCc`NATC`Cb`LAPCa`wAgCGDT`yAkCJDP`{AjB{CM`}AnCL`zAmCNCw`xAiCKDr`~AlCH`|AhCI`gAGCO`iAKCR`kAJCUC]_?@mANCT`jAMCV`hAICSDH_Y@nALCP`lAHCQ_?A?B?_BAEA[BD_EAFB@_DA@BC_F?gADBA_CABBFE?_@AABBCs_A@\ACBE_WAoBg_ZAuBl_]AvBhCN_\ApBk_^AtBXBi_[AaArBn_XAqBjDZ_YAsBm_oAwBGDD_rA}BLBh_uAfA~BH_tAxBKDG_v?}A|BI_sAzBN_pAyBJ_q@IA{BM_gAGAKB__jAMBd_mANB`DA_lAHBcCG_nALAnBa_kAJBfCT_hAIBbBw_i@uAKBe_wAgBO_zAmBOBT_}AGAnBP_|@XAhBS_~@CAlBQ_{AjBV_x@~AiBR_yAkBUC?__AWBw_bA]B|_eA^Bx_dAXB{_fA\ByEh_cAZB~_`AYBz_aA[B}Cv_GAOBWBc_J?mAUB\_MAVBXEi_LAPB[_NATBYEJ_KARB^Dn_HAQBZ_I?sASB]_OA_Bo_RAeBt_UAfBp_TA`Bs_VAdBbBq_SAbBvDw_PAaBrDY_QAcBuCL`?C?D?E?_D@CCEDAED`B@_CFDCE@`F@zC@DEEC`ECDDBEA`ABsCBD@EF`DCADFEB`@CCDDDxEE_h@_CoDOEg_G@cCuDQEl`bCvDSEh`fCpDUEk`eCtDREi`aCeCrDPEn`dCkCqDVEj``BnCsDTEm`W@|CwD_EG`[CQC}DaEL`ZC~DcEHEx`^CxDeEGEK_W@]C|DbEI`YCnCzD`EN`\AYCyDfEJ`XC{DdEM`wCGDoE_FK`j@{CMDqEd`zCNDsE``~B]CHDuEc_S@}CLDrEa`f@yCJDpEf`W@|CIDvEb`xCKDEDtEe`oAFCgDWEO`sCmDYETFI`rCnD[EPEU`K@vChD]ES`uADClDZEQ`qCjDXEV`tCdCiD^ER`pAtCkD\EU`OCWDGEwF?`SC]DIE|_r@RC^DKEx`VCXDME{`UC\DJEdEy`QCZDHD_E~`T@vCYDNEz`PC[DLE}`gCOC{DwEW`kCUDyE\FC`jBPCVD{EX`nCPDvD}E[`mCTDXDzEY`iBICRDxE^`l@{CQD~EZ`hCSD|EHE]`GC_DgEjEo`KCeDiElEt`JCfDkEpFY_b@NC`DmEs`MCdDCDjEq_i@ICbDhEv`LCaCpDnEr_N@HCcDlEu_??@?A?B?C?D?E?F`?@@@A@B@C@D@E@FG?a?A@AAABACADAEAFG@b?B@BABBBCBDBEBFc?C@CACBCCCDCECFGAGBd?D@DADBDCDDDEDFG?GBe?E@EAEBECEDEEEFG@GCGDf?F@FAFBFCFDFEFFG?GAGB_??G?O?W?_?g?o?w`?@G@O@W@_@g@o@wGGa?AGAOAWA_AgAoAwGHb?BGBOBWB_BgBoBwc?CGCOCWC_CgCoCwGIGJd?DGDODWD_DgDoDwGGGJe?EGEOEWE_EgEoEwGHGKGLf?FGFOFWF_FgFoFwGGGIGJ_??H?Q?Z?c?l?u?~`?@H@Q@Z@c@l@u@~GOa?AHAQAZAcAlAuA~GPb?BHBQBZBcBlBuB~c?CHCQCZCcClCuC~GQGRd?DHDQDZDcDlDuD~GOGRe?EHEQEZEcElEuE~GPGSGTf?FHFQFZFcFlFuF~GOGQGR_??I?S?]?b?h?v?|`?@I@S@]@b@h@v@|GWa?AIASA]AbAhAvA|GXb?BIBSB]BbBhBvB|c?CICSC]CbChCvC|GYGZd?DIDSD]DbDhDvD|GWGZe?EIESE]EbEhEvE|GXG[G\f?FIFSF]FbFhFvF|GWGYGZ_??J?U?\?f?k?p?y`?@J@U@\@f@k@p@yG_a?AJAUA\AfAkApAyG`b?BJBUB\BfBkBpByc?CJCUC\CfCkCpCyGaGbd?DJDUD\DfDkDpDyG_Gbe?EJEUE\EfEkEpEyG`GcGdf?FJFUF\FfFkFpFyG_GaGb_??K?R?^?e?i?t?x`?@K@R@^@e@i@t@xGga?AKARA^AeAiAtAxGhb?BKBRB^BeBiBtBxc?CKCRC^CeCiCtCxGiGjd?DKDRD^DeDiDtDxGgGje?EKERE^EeEiEtExGhGkGlf?FKFRF^FeFiFtFxGgGiGj_??L?P?[?a?n?r?}`?@L@P@[@a@n@r@}Goa?ALAPA[AaAnArA}Gpb?BLBPB[BaBnBrB}c?CLCPC[CaCnCrC}GqGrd?DLDPD[DaDnDrD}GoGre?ELEPE[EaEnErE}GpGsGtf?FLFPF[FaFnFrF}GoGqGr_??M?V?X?d?j?q?{`?@M@V@X@d@j@q@{Gwa?AMAVAXAdAjAqA{Gxb?BMBVBXBdBjBqB{c?CMCVCXCdCjCqC{GyGzd?DMDVDXDdDjDqD{GwGze?EMEVEXEdEjEqE{GxG{G|f?FMFVFXFdFjFqF{GwGyGz_??N?T?Y?`?m?s?z`?@N@T@Y@`@m@s@zH?a?ANATAYA`AmAsAzH@b?BNBTBYB`BmBsBzc?CNCTCYC`CmCsCzHAHBd?DNDTDYD`DmDsDzH?HBe?ENETEYE`EmEsEzH@HCHDf?FNFTFYF`FmFsFzH?HAHB_@@HAIBJCKDLEMFNGG_@@GAJBICLDKENFMGO_@@JAGBHCMDNEKFLGW_@@IAHBGCNDMELFKG__@@LAMBNCGDHEIFJGg_@@KANBMCHDGEJFIGo_@@NAKBLCIDJEGFHGw_@@MALBKCJDIEHFGH?_A@iAkBmCjDhEnFlGK_A@jAlBnCiDgEmFkG[_A@gAmBkChDjElFnGk_A@hAnBlCgDiEkFmG{_A@mAgBiCnDlEjFhGc_A@nAhBjCmDkEiFgGS_A@kAiBgClDnEhFjHC_A@lAjBhCkDmEgFiGs_B@rAuBtCvDsEpFqGIGL_B@qAvBsCuDtEoFrGaGd_B@pAsBvCtDuErFoGyG|_B@oAtBuCsDvEqFpGqGt_B@vAqBpCrDoEtFuHAHD_B@uArBoCqDpEsFvGiGl_B@tAoBrCpDqEvFsGQGT_B@sApBqCoDrEuFtGYG\_C@{AzB~C}DyE|FxGI_C@|AyB}C~DzE{FwGi_C@}AxB|C{DwE~FzGa_C@~AwB{C|DxE}FyHA_C@wA~BzCyD}ExF|Gy_C@xA}ByCzD~EwF{GY_C@yA|BxCwD{EzF~Gq_C@zA{BwCxD|EyF}GQ_D@TAPBSCQDVERFU_D@SAOBTCRDUEQFV_D@VARBUCODTEPFS_D@UAQBVCPDSEOFT_D@PATBOCUDREVFQ_D@OASBPCVDQEUFR_D@RAVBQCSDPETFO_D@QAUBRCTDOESFP_E@]A^BXC\DZEYF[GJ_E@^A]BWC[DYEZF\Gz_E@[A\BZC^DXEWF]HB_E@\A[BYC]DWEXF^GR_E@YAZB\CXD^E]FWGr_E@ZAYB[CWD]E^FXGb_E@WAXB^CZD\E[FYGZ_E@XAWB]CYD[E\FZGj_F@fAdBaC`DeEcFbGN_F@eAcBbC_DfEdFaHF_F@dAfB_CbDcEeF`Gv_F@cAeB`CaDdEfF_G^_F@bA`BeCdDaE_FfGV_F@aA_BfCcDbE`FeG~_F@`AbBcCfD_EaFdGn_F@_AaBdCeD`EbFcGf_G@HAPBXC`DhEpFxG?_G@@AXBPChD`ExFpGPHH_G@XA@BHCpDxE`FhGs_G@PAHB@CxDpEhF`_G@hApBxC@DHEPFX_G@`AxBpCHD@EXFPHP_G@xA`BhCPDXE@FHHm_G@pAhB`CXDPEHF@GjH`_H@GARBYCdDkEvF}G@I?_H@@AYBRCkDdE}FvGHHG_H@YA@BGCvD}EdFkGk_H@RAGB@C}DvEkFd_H@kAvB}C@DGERFY_H@dA}BvCGD@EYFRHS_H@}AdBkCRDYE@FGHk_H@vAkBdCYDREGF@GrHe_I@JATB^CaDgEuF{I?_I@@A^BTCgDaE{FuG`HJ_I@^A@BJCuD{EaFgHC_I@TAJB@C{DuEgFaIF_I@gAuB{C@DJETF^_I@aA{BuCJD@E^FTHO_I@{AaBgCTD^E@FJHi_I@uAgBaC^DTEJF@GzHcIB_J@IAVB[CeDlEoFzIGIO_J@@A[BVClDeEzFoGXHI_J@[A@BICoDzEeFlG{_J@VAIB@CzDoElFeIN_J@lAoBzC@DIEVF[_J@eAzBoCID@E[FVHT_J@zAeBlCVD[E@FIHg_J@oAlBeC[DVEIF@HBHbIJ_K@LAQB]CfDjEsFwG?GAI?_K@@A]BQCjDfEwFsGpHL_K@]A@BLCsDwEfFjGS_K@QALB@CwDsEjFf_K@jAsBwC@DLEQF]_K@fAwBsCLD@E]FQHR_K@wAfBjCQD]E@FLHl_K@sAjBfC]DQELF@GJH__L@KAOB\CbDmEqF~IGI__L@@A\BOCmDbE~FqGhHK_L@\A@BKCqD~EbFmGK_L@OAKB@C~DqEmFb_L@mAqB~C@DKEOF\_L@bA~BqCKD@E\FOHU_L@~AbBmCOD\E@FKHn_L@qAmBbC\DOEKF@GRHf_M@NAUBWCcDiErF|IOI__M@@AWBUCiDcE|FrH@HN_M@WA@BNCrD|EcFiGc_M@UANB@C|DrEiFcIf_M@iArB|C@DNEUFW_M@cA|BrCND@EWFUHQ_M@|AcBiCUDWE@FNHh_M@rAiBcCWDUENF@GZHdIb_N@MASBZC_DnEtFyIWIgIo_N@@AZBSCnD_EyFtGxHM_N@ZA@BMCtDyE_FnG[_N@SAMB@CyDtEnF_In_N@nAtByC@DMESFZ_N@_AyBtCMD@EZFSHV_N@yA_BnCSDZE@FMHj_N@tAnB_CZDSEMF@GbHaIj_O@TAdBtC\DLE|FlGCIW_O@\AlB|CTDDEtFdHLHs_O@DAtBdCLD\ElF|H[HlIQ_O@LA|BlCDDTEdFtIj_O@tADBTC|DlE\FLIK_O@|ALB\CtDdETFDGUHT_O@dATBDClD|ELF\GhIt_O@lA\BLCdDtEDFTIX_P@SAfBuCXDGEzFiIoJ?_P@XAiBzCSDDEuFfHGHo_P@DAuBfCGDXEiFzH^HkIyJF_P@GAzBiCDDSEfFuIB_P@uADBSCzDiEXFGIc_P@zAGBXCuDfESFDGmHQ_P@fASBDCiDzEGFXGPI\_P@iAXBGCfDuEDFSIpJA_Q@VA`BrC]DKEyFgGEJ?_Q@]AgByCVDDErF`HKHv_Q@DArB`CKD]EgFyHYHnIY_Q@KAyBgCDDVE`FrIb_Q@rADBVCyDgE]FKIC_Q@yAKB]CrD`EVFDGMHO_Q@`AVBDCgDyEKF]GpI|_Q@gA]BKC`DrEDFVIP_R@UAbBoCYDHE{FnJGJO_R@YAnB{CUDDEoFbHHHr_R@DAoBbCHDYEnF{HXHmIqJV_R@HA{BnCDDUEbFoIJ_R@oADBUC{DnEYFHIk_R@{AHBYCoDbEUFDGuHV_R@bAUBDCnD{EHFYGHIT_R@nAYBHCbDoEDFUIxJQ_S@PAeBqCZDNEwFkG?JG_S@ZAkBwCPDDEqFeHNHq_S@DAqBeCNDZEkFwHZHhIA_S@NAwBkCDDPEeFqIz_S@qADBPCwDkEZFNI[_S@wANBZCqDeEPFDGeHS_S@eAPBDCkDwENFZGxId_S@kAZBNCeDqEDFPIH_T@OAcBpC^DIE}FjJ?J__T@^AjB}CODDEpFcHIHu_T@DApBcCID^EjF}HWHgIiJf_T@IA}BjCDDOEcFpIR_T@pADBOC}DjE^FIIs_T@}AIB^CpDcEOFDG}HR_T@cAOBDCjD}EIF^G`IL_T@jA^BICcDpEDFOI`Ja_U@RAaBsCWDME~FhJWJ__U@WAhB~CRDDEsFaHMHp_U@DAsBaCMDWEhF~H\HjII_U@MA~BhCDDREaFsIr_U@sADBRC~DhEWFMIS_U@~AMBWCsDaERFDG]HP_U@aARBDChD~EMFWH@Il_U@hAWBMCaDsEDFRI@_V@QA_BvC[DJExFmGFJOJgJo_V@[AmBxCQDDEvF_HJHt_V@DAvB_CJD[EmFxH]HiIaJv_V@JAxBmCDDQE_FvIZ_V@vADBQCxDmE[FJI{_V@xAJB[CvD_EQFDHEHU_V@_AQBDCmDxEJF[GXID_V@mA[BJC_DvEDFQIhJq_W@]AuBmC}DeEMFUGAGD_W@UA}BeCuDmEEF]HRIxJp_W@MAeB}CmDuE]FEHmIcIqJB_W@EAmBuCeD}EUFMHuIX_W@}AUBMC]DEEmFuH`H}_W@uA]BECUDMEeF}IlJNJ|_W@mAEB]CMDUE}FeHHJb_W@eAMBUCED]EuFmGrJn_X@^AsBlCyDbEGFPIw_X@PAyBbCsDlEEF^HOIHJH_X@GAbByClDsE^FEHhIAISJz_X@EAlBsCbDyEPFGHvIh_X@yAPBGC^DEElFsHdHz_X@sA^BECPDGEbFyI\JDJv_X@lAEB^CGDPEyFbHNJZ_X@bAGBPCED^EsFlGbJV_Y@[AqBgC|DfEHFRG@JG_Y@RA|BfCqDgEEF[HTI@JX_Y@HAfB|CgDqE[FEHjIII[Jj_Y@EAgBqCfD|ERFHHsI`_Y@|ARBHC[DEEgFqHaH~_Y@qA[BECRDHEfF|ITJTJf_Y@gAEB[CHDRE|FfHMJJ_Y@fAHBRCED[EqFgGZJF_Z@\AoBjCxDaENFSI?_Z@SAxBaCoDjEEF\HUIpJ`_Z@NAaBxCjDoE\FEHkIkIyJR_Z@EAjBoCaDxESFNHtIP_Z@xASBNC\DEEjFoHeHy_Z@oA\BECSDNEaFxIdJ^Jl_Z@jAEB\CNDSExFaHGJr_Z@aANBSCED\EoFjGjJ~_[@YAtBhCwDcEJFVG@KGKOKW_[@VAwBcCtDhEEFYHSIPJx_[@JAcBwChDtEYFEHnIKIYJJ_[@EAhBtCcDwEVFJHqIpKD_[@wAVBJCYDEEhFtHfH{_[@tAYBECVDJEcFwIDJFJtKB_[@hAEBYCJDVEwFcHKJj_[@cAJBVCEDYEtFhGJJf_\@ZAvBiC{D`ELFOK?KOKW_\@OA{B`CvDiEEFZHVI`J@_\@LA`B{CiDvEZFEHgIiI{Jr_\@EAiBvC`D{EOFLHrI@KL_\@{AOBLCZDEEiFvHbHx_\@vAZBECODLE`F{ItJLJ~KJ_\@iAEBZCLDOE{F`HIJR_\@`ALBOCEDZEvFiGzJ^_]@WApBnCzDdEKFQIOJOK?KGKW_]@QAzBdCpDnEEFWHQIhJP_]@KAdBzCnDpEWFEHiIaIsJb_]@EAnBpCdDzEQFKHoIHKT_]@zAQBKCWDEEnFpHcH|_]@pAWBECQDKEdFzI|J\JnKR_]@nAEBWCKDQEzFdHJJB_]@dAKBQCEDWEpFnHBJN_^@XArBkC~D_EIFTGEI_K?KGKO_^@TA~B_CrDkEEFXHPIXJh_^@IA_B~CkDrEXFEHlICIQJZ_^@EAkBrC_D~ETFIHpIxK\_^@~ATBICXDEEkFrH_Hw_^@rAXBECTDIE_F~ILJVJdKZ_^@kAEBXCIDTE~F_HLJz_^@_AIBTCEDXErFkGRJv__@fA^B~CvDVEnFNGAJ___@nAVBvC~D^EfFFH?HAHN__@vANBnCfDFE~F^HnIdKU__@~AFBfCnDNEvFVH}JjKCKJ__@FA~B^CVDvENFnH~JKKZ__@NAvBVC^D~EFFfGoHeI|Jz__@VAnBNCFDfE^F~GXIMIvJ}Km__@^AfBFCNDnEVFvInJDJXK~_`@eA\B{CrDQEhFGGBK_L?_`@hAQBrC{D\EeFFGGGIHG_`@rAGBhCeDFE{F\HiI\KE_`@{AFBeChDGErFQH~JBKSKZ_`@FA{B\CQDrEGFhH}JcKJ_`@GArBQC\D{EFFeGWHdIDJR_`@QAhBGCFDeE\F{GpINIuJUK}_`@\AeBFCGDhEQFrIVJlJpKn_a@dAZBxCsDUEgFIIGJW_a@gAUBsCxDZEdFFGWGYHI_a@sAIBgCdDFExFZHmILKu_a@xAFBdCgDIEsFUH{JbKcKj_a@FAxBZCUDsEIFgH|JCKz_a@IAsBUCZDxEFFdGGH_ITJr_a@UAgBICFDdEZFxH@I^IeJuKM_a@ZAdBFCIDgEUFsIFJLJPK^_b@cAXByCoDREmFLGBIwJoLO_b@mARBoCyDXEcFFGoGqHL_b@oALBmCcDFEyFXHjItKe_b@yAFBcCmDLEoFRH|JJKsKz_b@FAyBXCRDoELFmH{JkKj_b@LAoBRCXDyEFFcH?HbIlJZ_b@RAmBLCFDcEXFyGHI]IfJ]K]_b@XAcBFCLDmERFoI~JdJxKN_c@bA[BwCpDTEiFMIOJOKgLGLW_c@iATBpCwD[EbFFGwGyHM_c@pAMBiCbDFEwF[HlIlKM_c@wAFBbCiDMEpFTHyJzKRK[_c@FAwB[CTDpEMFiHzJ[KB_c@MApBTC[DwEFFbGgH`ItJj_c@TAiBMCFDbE[FwG`IEI~JmKu_c@[AbBFCMDiETFpIfJHJTKf_d@aA]BzCtDOEkFHGDL?LOL__d@kAOBtCzD]EaFFGOGQHH_d@tAHBkCaDFEzF]HgITK]_d@zAFBaCkDHEtFOHzJRKBKK_d@FAzB]CODtEHFkHyJsKR_d@HAtBOC]DzEFFaG_HaILJB_d@OAkBHCFDaE]FzGhIFI}JEKe_d@]AaBFCHDkEOFtI^J`J|Kv_e@`AWB}CqDSElFJLGLW_e@lASBqC}DWE`FFG_GaHJ_e@qAJBlC`DFE}FWHkIDKm_e@}AFB`ClDJEqFSHwJrKrK{_e@FA}BWCSDqEJFlHxJSKb_e@JAqBSCWD}EFF`GOHfI\Jb_e@SAlBJCFD`EWF}GxIVImJeKU_e@WA`BFCJDlESFqINJ@J\KF_f@_AYB|CuDPEjFKJWL?LOLo_f@jAPBuC|DYE_FFGgGiHK_f@uAKBjC_DFE|FYHhI|K}_f@|AFB_CjDKEuFPHxJZKbKk_f@FA|BYCPDuEKFjHwJ{Kr_f@KAuBPCYD|EFF_GwHcIdJJ_f@PAjBKCFD_EYF|GPIUInJMKE_f@YA_BFCKDjEPFuIvJhJtKV_g@iAIBaCQDyEYFqJoKGLo_g@aAABiCYDqEQFyIXIkLP_g@yAYBqCADiEIFaIaJMKP_g@qAQByCIDaEAFiHDJSJZKb_g@IAiBACqDYEyFQGuISK[Kh_g@AAaBICyDQEqFYHQJcJqLd_g@YAyBQCaDIEiFAHYH|JCJeKULN_g@QAqBYCiDAEaFIGdHaIcJVKAL^_h@jAGB`CUD~E[FtGC_h@`AABjC[DtEUF~IHI{LH_h@~A[BtCADjEGF`IqJmK`_h@tAUB~CGD`EAFjGtJsJzKR_h@GAjBACtD[E~FUHEICKXKk_h@AA`BGC~DUEtF[HRJCJQL|_h@[A~BUC`DGEjFAH\H}JEJcKeLV_h@UAtB[CjDAE`FGGTHfIsJvKqLF_i@gAMBcCPDzE\FvJgK?LOM?MG_i@cAABgC\DvEPFzIKIxL`_i@zA\BvCADgEMFcIAJUKh_i@vAPBzCMDcEAFgGdJBJKKZ_i@MAgBACvD\EzFPGUIsKPKc_i@AAcBMCzDPEvF\HOJiJ{LT_i@\AzBPCcDMEgFAH^HzJ[J}KmL~_i@PAvB\CgDAEcFMHDHbICJNKyLn_j@hAKBfCTD}EZFoLgM?MG_j@fAABhCZDoETF}I[IhLx_j@}AZBoCADhEKFfIQJuKX_j@oATB}CKDfEAFhGTJbJkKj_j@KAhBACoDZE}FTGeIcKSK`_j@AAfBKC}DTEoFZHPJIJ[LL_j@ZA}BTCfDKEhFAHWHwJ]J{K]Lf_j@TAoBZChDAEfFKGtHeISJnKILv_k@mAHBdCSDwE^FrJGKWM?_k@dAABmC^DrESFwI@IsLh_k@wA^BrCADmEHFdIyJ}Kx_k@rASBwCHDdEAFmGlJcJjKJ_k@HAmBACrD^EwFSG}IKK@Ks_k@AAdBHCwDSErF^HUJAJSL\_k@^AwBSCdDHEmFAHZHyJUJsK}Lv_k@SArB^CmDAEdFHGLH_I{JfKiLf_l@nAJBeCOD|EXFsIWKOLoMG_l@eAABnCXDsEOF|IPIcLp_l@|AXBsCADnEJFeIiJ]KH_l@sAOB|CJDeEAFnG|JCJJKz_l@JAnBACsDXE|FOGmI[KCKp_l@AAeBJC|DOEsFXHVJaJsLD_l@XA|BOCeDJEnFAH[HxJSJuKMLn_l@OAsBXCnDAEeFJG\HdIkJFKYL~_m@kALBbCVDxEWFuGCJwMOM_Mg_m@bAABkCWDuEVFxISI`LX_m@xAWBuCADkELFbIYJeK@_m@uAVBxCLDbEAFkGLJrJ{Kr_m@LAkBACuDWExFVG]IkKKKx_m@AAbBLCxDVEuFWHSJKJYLl_m@WAxBVCbDLEkFAH]H{JMJkKELF_m@VAuBWCkDAEbFLGlH`I[J~KQLV_n@lANB_CRD{E]FpGFK_MWM_Mg_n@_AABlC]DpERF{ICIpL@_n@{A]BpCADlENF_IIJEKp_n@pARB{CND_EAFlG\JRJ[KB_n@NAlBACpD]E{FRGMI{KHK{_n@AA_BNC{DREpF]HTJkJyLt_n@]A{BRC_DNElFAHXH~JKJmKuL^_n@RApB]ClDAE_FNG|HcIKJ^KaLN_o@rAzBJCjDZERFbGBIOJw_o@zArBBCbDREZFjILIjJxLpM[_o@bAjBZCzDJEBFrGkIRJqLYMy_o@jAbBRCrDBEJFzHrIUIzMZM|_o@RAZBjCJDzErFBHIHzIyJ[Ms_o@ZARBbCBDrEzFJHnK\KnKsL|_o@BAJBzCZDjEbFRHZIuJ@J\K}Lk_o@JABBrCRDbEjFZHlI^KvMY_p@qAxBGCnD]ETFcIoLGMo_p@xAqBBCcDTE]FnITIrJHLHM{_p@cAnB]CxDGEBFqHCIJJALaMY_p@nAcBTCqDBEGFxHuIMIbM\Mz_p@TA]BnCGDxEqFBHHH{IaJkMS_p@]ATBcCBDqExFGHhKFK[KtLD_p@BAGBxC]DnEcFTHYImJlJpKULS_p@GABBqCTDcEnF]HjIFK^My_q@pA~BLCgDYESFeJ_KWMWNG_q@~ApBBCeDSEYFgIZI|J@LXMC_q@eAgBYC~DLEBFpG[IbJILqMa_q@gAeBSCpDBELF~HqIJIeMBMd_q@SAYBgCLD~EpFBHKH}IIJcMkNN_q@YASBeCBDpE~FLHgKTKfK{LT_q@BALB~CYDgEeFSHXIEJdJxKuLC_q@LABBpCSDeEgFYHiInK~MANK_r@oA|BMCkD^EQF`IGJWN?_r@|AoBBC`DQE^FkIBIdJpL`Mc_r@`AkB^C|DMEBFoGSIzJyLIMA_r@kA`BQCoDBEMF|HvIRI}MDMb_r@QA^BkCMD|EoFBHNHxIQJSMKNF_r@^AQB`CBDoE|FMHmKNKSK|Ll_r@BAMB|C^DkE`FQHWI]JHJTK]L{_r@MABBoCQD`EkF^HkIvKVMaNC_s@vAwBKClDXEUFaIwNONW_s@wAvBBCaDUEXFlIRItJPLxMk_s@aAlBXCwDKEBFvGcIjJYLQMI_s@lAaBUCvDBEKFwHpIBImMLMj_s@UAXBlCKDwEvFBHLHyIAJsMC_s@XAUBaCBDvEwFKHiKLKcK~Lt_s@BAKBwCXDlEaFUH^IMJhJtKmLc_s@KABBvCUDaElFXHgIfKfMi_t@uAyBNChD[EOFdGDMwNONW_t@yAuBBCdDOE[FhIJIlJ`L@MK_t@dAhB[CyDNEBFuGKIrJiLiMi_t@hAdBOCuDBENFyHsIZIuMJMl_t@OA[BhCNDyEuFBHMH|IYJCMc_t@[AOBdCBDuEyFNHkKKKVKdLL_t@BANByC[DhEdFOH]IUJDJXKEL[_t@NABBuCODdEhF[HmI~KNMI_u@tA{BICmDWEPFfJgKGLwN?NGNg_u@{AtBBCfDPEWFmIDIbJhLPMs_u@fAmBWC{DIEBFtGsIZJaLyMQ_u@mAfBPCtDBEIF{HoI]IrMTMr_u@PAWBmCID{EtFBHJH~IqJKM[Nn_u@WAPBfCBDtE{FIHlKDKkKvL\_u@BAIB{CWDmEfFPH\I}JLJPKeLK_u@IABBtCPDfEmFWHnIVKnMqNk_v@sA}BHCiD\EVF_IgKwMGN?NGN__v@}AsBBC_DVE\FiI\IzJXLhMS_v@_AiB\C}DHEBFsG{IBJQLAMq_v@iA_BVCsDBEHF}HtIEIjMRMt_v@VA\BiCHD}EsFBHGHwIiJ{M{Nf_v@\AVB_CBDsE}FHHjKCK^KlLd_v@BAHB}C\DiE_FVH[IeJ`J|KMLs_v@HABBsCVD_EiF\HhINKFMQNc_w@{AkBSCKDsEcF[GFKgN__w@sAcB[CCD{EkFSI}K^KpLBMXN`_w@kA{BCC[DcEsFKG^KYLELqMaMz_w@cAsBKCSDkE{FCHsIAIZLbMp_w@[AKBsCkDSECF{HTIsKcLIL[M`_w@SACB{CcD[EKFsGfHtJdMtN\Na_w@KA[BcC{DCESFkHEH[IeJuL@_w@CASBkCsDKE[FcHcJ^K\LSNbNv_x@|AmBVCGDpEaFZIgLgMW_x@pAaBZCCD|EmFVI]KHKfLrMHNH_x@mA|BCCZDaEpFGG~KaLALuMjMq_x@aApBGCVDmE|FCHrIaIzLRM`_x@ZAGBpCmDVECF|HVISK[LkLyMp_x@VACB|CaDZEGFpHFHqJ|MdNINt_x@GAZBaC|DCEVFmGeHXIEJmLp_x@CAVBmCpDGEZFaHdJFKdLcNJN^_y@}AgBQCNDtEbFXJgKgNgOG_y@tAbBXCCD}EgFQIeKXKvLzMxNh_y@gA}BCCXDbEtFNGVKqLIL}MAMZ_y@bAtBNCQDgE}FCHpIBIYLZMP_y@XANBtCgDQECF}HPIkKKLcLqM@_y@QACB}CbDXENFtGNHoJTMTNTNi_y@NAXBbC}DCEQFgGmH\I}JELx_y@CAQBgCtDNEXFbHeJnKtLkNjN~_z@~AiBPCJDoEdF]JoL?N_O?_z@oAdB]CCD~EiFPIEKNK`LJMhN@_z@iA~BCC]DdEoFJGvKILMLyMJMQ_z@dAoBJCPDiE~FCHuIbIyLjM@_z@]AJBoCiDPECF~HRIKKsLALSMP_z@PACB~CdD]EJFoGnHvJLMDNAN|_z@JA]BdC~DCEPFiGMHWI]J]LH_z@CAPBiCoDJE]FdHfJvKLL[NBNV_{@wAnBRCIDuE`F\KoLwNWO?OO_{@uA`B\CCDwEnFRIMKVKxLjM@Np_{@nAwBCC\D`EuFIGnKQLYLmMbMy_{@`AuBICRDnEwFCHtIjIqLJMhOM_{@\AIBuCnDRECFwHUICKkLaLsMx_{@RACBwC`D\EIFuGvHsJ\MlNLNq_{@IA\B`CwDCERFnGUH]IUJMLhOJ_{@CARBnCuDIE\F`H_JfKTL{NfNr_|@xAlBOCMDrEfFYGEIWIoOGOW_|@rAfBYCCDxElFOImK@KnLZMPNX_|@lAxBCCYDfErFMGNKiL]LiMiMr_|@fArBMCODlExFCHqIJIQLzMxOE_|@YAMBrClDOECFxHSIcKSLCLQMh_|@OACBxCfDYEMFrGVHrJDM|NYNd_|@MAYBfCxDCEOFlGuHZIuJULXOB_|@CAOBlCrDMEYFfH`J~KlLKNNNZ_}@yAjBTCHDvEeFWI?LoMGO?OOOg_}@vAeBWCCDyEjFTIUKPK~LRM`Nx_}@jAyBCCWDeEvFHHFKyLULaMBMY_}@eAvBHCTDjEyFCHoIiIrLrMHO]_}@WAHBvCjDTECFyHQI[KCLKLYMX_}@TACByCeDWEHFvG~HpJlMLNDNy_}@HAWBeCyDCETFjG]H^IMJ}LPOZ_}@CATBjCvDHEWFeHaJVK|LCNnNz_~@zAhBUCLDqE_F^IgJ?M_OGOWO__~@qA_B^CCDzEhFUIuKFKhLbMpNP_~@hAzBCC^D_EqFLGfKALQLeMIMR_~@_AqBLCUDhEzFCHvIIIRLBMXOU_~@^ALBqChDUECFzHOI{K{LiL{MH_~@UACBzC_D^ELFqG^HuJtM\NQNl_~@LA^B_CzDCEUFhG}HYImJeL`OR_~@CAUBhCqDLE^F_HbJNKDLsNFNR_I?t@M@T@[@pAXBkCIDuD~EgErFE_O@R@YAMAbAyBVBrCZDJDjEzFj_R?[?w@OAVAdBuC[DBDNEXEyFh_o@tA|B@BLBTClD\ENETFJFdP@PA_k?n?v@BAHB}CHC\DiD{E_EmEuFV_l@sACAOBpB|CJC^D`DeEAEBEwFn") rajiv1088 = Graph(r":~?P?a???_D_@_C_A_F_B_E_g_l_h_k_i_n_j_m_G_L_H_K_I_N_J_M___d_`_c_a_f_b_e_O_T_P_S_Q_V_R_U_w_|_x_{_y_~_z_}_W_\_X_[_Y_^_Z_]_o_t_p_s_q_v_r_u_?@?A?_E@EAF_F@FAD_@@@AA_D@DA@_B@BAE_A@AAC_C@CAB_o@oAw_u@uA~_v@vA|_p@pAy_t@tAx_r@rA}_q@qA{_s@sAz_w@wAg_}@}An_~@~Al_x@xAi_|@|Ah_z@zAm_y@yAk_{@{Aj_G@GAO_M@MAV_N@NAT_H@HAQ_L@LAP_J@JAU_I@IAS_K@KAR_g@gAG_m@mAN_n@nAL_h@hAI_l@lAH_j@jAM_i@iAK_k@kAJ_W@WAo_]@]Av_^@^At_X@XAq_\@\Ap_Z@ZAu_Y@YAs_[@[Ar_O@OA__U@UAf_V@VAd_P@PAa_T@TA`_R@RAe_Q@QAc_S@SAb__@_AW_e@eA^_f@fA\_`@`AY_d@dAX_b@bA]_a@aA[_c@cAZ_?@?_F@F_D@D_A@A_@@@_E@E_C@C_B@B_w@w_~@~_|@|_y@y_x@x_}@}_{@{_z@z_g@g_n@n_l@l_i@i_h@h_m@m_k@k_j@j_O@O_V@V_T@T_Q@Q_P@P_U@U_S@S_R@R_G@G_N@N_L@L_I@I_H@H_M@M_K@K_J@J_o@o_v@v_t@t_q@q_p@p_u@u_s@s_r@r__@__f@f_d@d_a@a_`@`_e@e_c@c_b@b_W@W_^@^_\@\_Y@Y_X@X_]@]_[@[_Z@Z`?A?C?`AACCB`CABCE`EAFCD`BAECF`@AACC`FADC@`DA@CA`OA_CW`QAcCZ`SAbC]`UAfC\`RAeC^`PAaC[`VAdCX`TA`CY`_AWCo`aA[Cr`cAZCu`eA^Ct`bA]Cv``AYCs`fA\Cp`dAXCq`oAwCg`qA{Cj`sAzCm`uA~Cl`rA}Cn`pAyCk`vA|Ch`tAxCi`WAoCw`YAsCz`[ArC}`]AvC|`ZAuC~`XAqC{`^AtCx`\ApCy`GAOC_`IASCb`KARCe`MAVCd`JAUCf`HAQCc`NATC``LAPCa`wAgCG`yAkCJ`{AjCM`}AnCL`zAmCN`xAiCK`~AlCH`|AhCI`gAGCO`iAKCR`kAJCU`mANCT`jAMCV`hAICS`nALCP`lAHCQ_?A?B?_BAEBD_EAFB@_DA@BC_FADBA_CABBF_@AABB_AACBE_WAoBg_ZAuBl_]AvBh_\ApBk_^AtBi_[ArBn_XAqBj_YAsBm_oAwBG_rA}BL_uA~BH_tAxBK_vA|BI_sAzBN_pAyBJ_qA{BM_gAGB__jAMBd_mANB`_lAHBc_nALBa_kAJBf_hAIBb_iAKBe_wAgBO_zAmBT_}AnBP_|AhBS_~AlBQ_{AjBV_xAiBR_yAkBU__AWBw_bA]B|_eA^Bx_dAXB{_fA\By_cAZB~_`AYBz_aA[B}_GAOBW_JAUB\_MAVBX_LAPB[_NATBY_KARB^_HAQBZ_IASB]_OA_Bo_RAeBt_UAfBp_TA`Bs_VAdBq_SAbBv_PAaBr_QAcBu`?C?D?E?`CCEDAED`BCFDCE@`FC@DEEC`ECDDBEA`ACBD@EF`DCADFEB`@CCDDEE`_CoDOEg`cCuDQEl`bCvDSEh`fCpDUEk`eCtDREi`aCrDPEn`dCqDVEj``CsDTEm`WCwD_EG`[C}DaEL`ZC~DcEH`^CxDeEK`]C|DbEI`YCzD`EN`\CyDfEJ`XC{DdEM`wCGDoE_`{CMDqEd`zCNDsE``~CHDuEc`}CLDrEa`yCJDpEf`|CIDvEb`xCKDtEe`oCgDWEO`sCmDYET`rCnD[EP`vChD]ES`uClDZEQ`qCjDXEV`tCiD^ER`pCkD\EU`OCWDGEw`SC]DIE|`RC^DKEx`VCXDME{`UC\DJEy`QCZDHE~`TCYDNEz`PC[DLE}`gCODwEW`kCUDyE\`jCVD{EX`nCPD}E[`mCTDzEY`iCRDxE^`lCQD~EZ`hCSD|E]`GC_DgEo`KCeDiEt`JCfDkEp`NC`DmEs`MCdDjEq`ICbDhEv`LCaDnEr`HCcDlEu_??@?A?B?C?D?E?F`?@@@A@B@C@D@E@FG?a?A@AAABACADAEAFG@b?B@BABBBCBDBEBFc?C@CACBCCCDCECFGAGBd?D@DADBDCDDDEDFG?GBe?E@EAEBECEDEEEFG@GCGDf?F@FAFBFCFDFEFFG?GAGB_??G?O?W?_?g?o?w`?@G@O@W@_@g@o@wGGa?AGAOAWA_AgAoAwGHb?BGBOBWB_BgBoBwc?CGCOCWC_CgCoCwGIGJd?DGDODWD_DgDoDwGGGJe?EGEOEWE_EgEoEwGHGKGLf?FGFOFWF_FgFoFwGGGIGJ_??H?Q?Z?c?l?u?~`?@H@Q@Z@c@l@u@~GOa?AHAQAZAcAlAuA~GPb?BHBQBZBcBlBuB~c?CHCQCZCcClCuC~GQGRd?DHDQDZDcDlDuD~GOGRe?EHEQEZEcElEuE~GPGSGTf?FHFQFZFcFlFuF~GOGQGR_??I?S?]?b?h?v?|`?@I@S@]@b@h@v@|GWa?AIASA]AbAhAvA|GXb?BIBSB]BbBhBvB|c?CICSC]CbChCvC|GYGZd?DIDSD]DbDhDvD|GWGZe?EIESE]EbEhEvE|GXG[G\f?FIFSF]FbFhFvF|GWGYGZ_??J?U?\?f?k?p?y`?@J@U@\@f@k@p@yG_a?AJAUA\AfAkApAyG`b?BJBUB\BfBkBpByc?CJCUC\CfCkCpCyGaGbd?DJDUD\DfDkDpDyG_Gbe?EJEUE\EfEkEpEyG`GcGdf?FJFUF\FfFkFpFyG_GaGb_??K?R?^?e?i?t?x`?@K@R@^@e@i@t@xGga?AKARA^AeAiAtAxGhb?BKBRB^BeBiBtBxc?CKCRC^CeCiCtCxGiGjd?DKDRD^DeDiDtDxGgGje?EKERE^EeEiEtExGhGkGlf?FKFRF^FeFiFtFxGgGiGj_??L?P?[?a?n?r?}`?@L@P@[@a@n@r@}Goa?ALAPA[AaAnArA}Gpb?BLBPB[BaBnBrB}c?CLCPC[CaCnCrC}GqGrd?DLDPD[DaDnDrD}GoGre?ELEPE[EaEnErE}GpGsGtf?FLFPF[FaFnFrF}GoGqGr_??M?V?X?d?j?q?{`?@M@V@X@d@j@q@{Gwa?AMAVAXAdAjAqA{Gxb?BMBVBXBdBjBqB{c?CMCVCXCdCjCqC{GyGzd?DMDVDXDdDjDqD{GwGze?EMEVEXEdEjEqE{GxG{G|f?FMFVFXFdFjFqF{GwGyGz_??N?T?Y?`?m?s?z`?@N@T@Y@`@m@s@zH?a?ANATAYA`AmAsAzH@b?BNBTBYB`BmBsBzc?CNCTCYC`CmCsCzHAHBd?DNDTDYD`DmDsDzH?HBe?ENETEYE`EmEsEzH@HCHDf?FNFTFYF`FmFsFzH?HAHB_@@HAIBJCKDLEMFNGG_@@GAJBICLDKENFMGO_@@JAGBHCMDNEKFLGW_@@IAHBGCNDMELFKG__@@LAMBNCGDHEIFJGg_@@KANBMCHDGEJFIGo_@@NAKBLCIDJEGFHGw_@@MALBKCJDIEHFGH?_A@iAkBmCjDhEnFlGK_A@jAlBnCiDgEmFkG[_A@gAmBkChDjElFnGk_A@hAnBlCgDiEkFmG{_A@mAgBiCnDlEjFhGc_A@nAhBjCmDkEiFgGS_A@kAiBgClDnEhFjHC_A@lAjBhCkDmEgFiGs_B@rAuBtCvDsEpFqGIGL_B@qAvBsCuDtEoFrGaGd_B@pAsBvCtDuErFoGyG|_B@oAtBuCsDvEqFpGqGt_B@vAqBpCrDoEtFuHAHD_B@uArBoCqDpEsFvGiGl_B@tAoBrCpDqEvFsGQGT_B@sApBqCoDrEuFtGYG\_C@{AzB~C}DyE|FxGI_C@|AyB}C~DzE{FwGi_C@}AxB|C{DwE~FzGa_C@~AwB{C|DxE}FyHA_C@wA~BzCyD}ExF|Gy_C@xA}ByCzD~EwF{GY_C@yA|BxCwD{EzF~Gq_C@zA{BwCxD|EyF}GQ_D@TAPBSCQDVERFU_D@SAOBTCRDUEQFV_D@VARBUCODTEPFS_D@UAQBVCPDSEOFT_D@PATBOCUDREVFQ_D@OASBPCVDQEUFR_D@RAVBQCSDPETFO_D@QAUBRCTDOESFP_E@]A^BXC\DZEYF[GJ_E@^A]BWC[DYEZF\Gz_E@[A\BZC^DXEWF]HB_E@\A[BYC]DWEXF^GR_E@YAZB\CXD^E]FWGr_E@ZAYB[CWD]E^FXGb_E@WAXB^CZD\E[FYGZ_E@XAWB]CYD[E\FZGj_F@fAdBaC`DeEcFbGN_F@eAcBbC_DfEdFaHF_F@dAfB_CbDcEeF`Gv_F@cAeB`CaDdEfF_G^_F@bA`BeCdDaE_FfGV_F@aA_BfCcDbE`FeG~_F@`AbBcCfD_EaFdGn_F@_AaBdCeD`EbFcGf_G@HAPBXC`DhEpFxG?_G@@AXBPChD`ExFpGPHH_G@XA@BHCpDxE`FhGs_G@PAHB@CxDpEhF`_G@hApBxC@DHEPFX_G@`AxBpCHD@EXFPHP_G@xA`BhCPDXE@FHHm_G@pAhB`CXDPEHF@GjH`_H@GARBYCdDkEvF}G@I?_H@@AYBRCkDdE}FvGHHG_H@YA@BGCvD}EdFkGk_H@RAGB@C}DvEkFd_H@kAvB}C@DGERFY_H@dA}BvCGD@EYFRHS_H@}AdBkCRDYE@FGHk_H@vAkBdCYDREGF@GrHe_I@JATB^CaDgEuF{I?_I@@A^BTCgDaE{FuG`HJ_I@^A@BJCuD{EaFgHC_I@TAJB@C{DuEgFaIF_I@gAuB{C@DJETF^_I@aA{BuCJD@E^FTHO_I@{AaBgCTD^E@FJHi_I@uAgBaC^DTEJF@GzHcIB_J@IAVB[CeDlEoFzIGIO_J@@A[BVClDeEzFoGXHI_J@[A@BICoDzEeFlG{_J@VAIB@CzDoElFeIN_J@lAoBzC@DIEVF[_J@eAzBoCID@E[FVHT_J@zAeBlCVD[E@FIHg_J@oAlBeC[DVEIF@HBHbIJ_K@LAQB]CfDjEsFwG?GAI?_K@@A]BQCjDfEwFsGpHL_K@]A@BLCsDwEfFjGS_K@QALB@CwDsEjFf_K@jAsBwC@DLEQF]_K@fAwBsCLD@E]FQHR_K@wAfBjCQD]E@FLHl_K@sAjBfC]DQELF@GJH__L@KAOB\CbDmEqF~IGI__L@@A\BOCmDbE~FqGhHK_L@\A@BKCqD~EbFmGK_L@OAKB@C~DqEmFb_L@mAqB~C@DKEOF\_L@bA~BqCKD@E\FOHU_L@~AbBmCOD\E@FKHn_L@qAmBbC\DOEKF@GRHf_M@NAUBWCcDiErF|IOI__M@@AWBUCiDcE|FrH@HN_M@WA@BNCrD|EcFiGc_M@UANB@C|DrEiFcIf_M@iArB|C@DNEUFW_M@cA|BrCND@EWFUHQ_M@|AcBiCUDWE@FNHh_M@rAiBcCWDUENF@GZHdIb_N@MASBZC_DnEtFyIWIgIo_N@@AZBSCnD_EyFtGxHM_N@ZA@BMCtDyE_FnG[_N@SAMB@CyDtEnF_In_N@nAtByC@DMESFZ_N@_AyBtCMD@EZFSHV_N@yA_BnCSDZE@FMHj_N@tAnB_CZDSEMF@GbHaIj_O@TAdBtC\DLE|FlGCIW_O@\AlB|CTDDEtFdHLHs_O@DAtBdCLD\ElF|H[HlIQ_O@LA|BlCDDTEdFtIj_O@tADBTC|DlE\FLIK_O@|ALB\CtDdETFDGUHT_O@dATBDClD|ELF\GhIt_O@lA\BLCdDtEDFTIX_P@SAfBuCXDGEzFiIoJ?_P@XAiBzCSDDEuFfHGHo_P@DAuBfCGDXEiFzH^HkIyJF_P@GAzBiCDDSEfFuIB_P@uADBSCzDiEXFGIc_P@zAGBXCuDfESFDGmHQ_P@fASBDCiDzEGFXGPI\_P@iAXBGCfDuEDFSIpJA_Q@VA`BrC]DKEyFgGEJ?_Q@]AgByCVDDErF`HKHv_Q@DArB`CKD]EgFyHYHnIY_Q@KAyBgCDDVE`FrIb_Q@rADBVCyDgE]FKIC_Q@yAKB]CrD`EVFDGMHO_Q@`AVBDCgDyEKF]GpI|_Q@gA]BKC`DrEDFVIP_R@UAbBoCYDHE{FnJGJO_R@YAnB{CUDDEoFbHHHr_R@DAoBbCHDYEnF{HXHmIqJV_R@HA{BnCDDUEbFoIJ_R@oADBUC{DnEYFHIk_R@{AHBYCoDbEUFDGuHV_R@bAUBDCnD{EHFYGHIT_R@nAYBHCbDoEDFUIxJQ_S@PAeBqCZDNEwFkG?JG_S@ZAkBwCPDDEqFeHNHq_S@DAqBeCNDZEkFwHZHhIA_S@NAwBkCDDPEeFqIz_S@qADBPCwDkEZFNI[_S@wANBZCqDeEPFDGeHS_S@eAPBDCkDwENFZGxId_S@kAZBNCeDqEDFPIH_T@OAcBpC^DIE}FjJ?J__T@^AjB}CODDEpFcHIHu_T@DApBcCID^EjF}HWHgIiJf_T@IA}BjCDDOEcFpIR_T@pADBOC}DjE^FIIs_T@}AIB^CpDcEOFDG}HR_T@cAOBDCjD}EIF^G`IL_T@jA^BICcDpEDFOI`Ja_U@RAaBsCWDME~FhJWJ__U@WAhB~CRDDEsFaHMHp_U@DAsBaCMDWEhF~H\HjII_U@MA~BhCDDREaFsIr_U@sADBRC~DhEWFMIS_U@~AMBWCsDaERFDG]HP_U@aARBDChD~EMFWH@Il_U@hAWBMCaDsEDFRI@_V@QA_BvC[DJExFmGFJOJgJo_V@[AmBxCQDDEvF_HJHt_V@DAvB_CJD[EmFxH]HiIaJv_V@JAxBmCDDQE_FvIZ_V@vADBQCxDmE[FJI{_V@xAJB[CvD_EQFDHEHU_V@_AQBDCmDxEJF[GXID_V@mA[BJC_DvEDFQIhJq_W@]AuBmC}DeEMFUGAGD_W@UA}BeCuDmEEF]HRIxJp_W@MAeB}CmDuE]FEHmIcIqJB_W@EAmBuCeD}EUFMHuIX_W@}AUBMC]DEEmFuH`H}_W@uA]BECUDMEeF}IlJNJ|_W@mAEB]CMDUE}FeHHJb_W@eAMBUCED]EuFmGrJn_X@^AsBlCyDbEGFPIw_X@PAyBbCsDlEEF^HOIHJH_X@GAbByClDsE^FEHhIAISJz_X@EAlBsCbDyEPFGHvIh_X@yAPBGC^DEElFsHdHz_X@sA^BECPDGEbFyI\JDJv_X@lAEB^CGDPEyFbHNJZ_X@bAGBPCED^EsFlGbJV_Y@[AqBgC|DfEHFRG@JG_Y@RA|BfCqDgEEF[HTI@JX_Y@HAfB|CgDqE[FEHjIII[Jj_Y@EAgBqCfD|ERFHHsI`_Y@|ARBHC[DEEgFqHaH~_Y@qA[BECRDHEfF|ITJTJf_Y@gAEB[CHDRE|FfHMJJ_Y@fAHBRCED[EqFgGZJF_Z@\AoBjCxDaENFSI?_Z@SAxBaCoDjEEF\HUIpJ`_Z@NAaBxCjDoE\FEHkIkIyJR_Z@EAjBoCaDxESFNHtIP_Z@xASBNC\DEEjFoHeHy_Z@oA\BECSDNEaFxIdJ^Jl_Z@jAEB\CNDSExFaHGJr_Z@aANBSCED\EoFjGjJ~_[@YAtBhCwDcEJFVG@KGKOKW_[@VAwBcCtDhEEFYHSIPJx_[@JAcBwChDtEYFEHnIKIYJJ_[@EAhBtCcDwEVFJHqIpKD_[@wAVBJCYDEEhFtHfH{_[@tAYBECVDJEcFwIDJFJtKB_[@hAEBYCJDVEwFcHKJj_[@cAJBVCEDYEtFhGJJf_\@ZAvBiC{D`ELFOK?KOKW_\@OA{B`CvDiEEFZHVI`J@_\@LA`B{CiDvEZFEHgIiI{Jr_\@EAiBvC`D{EOFLHrI@KL_\@{AOBLCZDEEiFvHbHx_\@vAZBECODLE`F{ItJLJ~KJ_\@iAEBZCLDOE{F`HIJR_\@`ALBOCEDZEvFiGzJ^_]@WApBnCzDdEKFQIOJOK?KGKW_]@QAzBdCpDnEEFWHQIhJP_]@KAdBzCnDpEWFEHiIaIsJb_]@EAnBpCdDzEQFKHoIHKT_]@zAQBKCWDEEnFpHcH|_]@pAWBECQDKEdFzI|J\JnKR_]@nAEBWCKDQEzFdHJJB_]@dAKBQCEDWEpFnHBJN_^@XArBkC~D_EIFTGEI_K?KGKO_^@TA~B_CrDkEEFXHPIXJh_^@IA_B~CkDrEXFEHlICIQJZ_^@EAkBrC_D~ETFIHpIxK\_^@~ATBICXDEEkFrH_Hw_^@rAXBECTDIE_F~ILJVJdKZ_^@kAEBXCIDTE~F_HLJz_^@_AIBTCEDXErFkGRJv__@fA^B~CvDVEnFNGAJ___@nAVBvC~D^EfFFH?HAHN__@vANBnCfDFE~F^HnIdKU__@~AFBfCnDNEvFVH}JjKCKJ__@FA~B^CVDvENFnH~JKKZ__@NAvBVC^D~EFFfGoHeI|Jz__@VAnBNCFDfE^F~GXIMIvJ}Km__@^AfBFCNDnEVFvInJDJXK~_`@eA\B{CrDQEhFGGBK_L?_`@hAQBrC{D\EeFFGGGIHG_`@rAGBhCeDFE{F\HiI\KE_`@{AFBeChDGErFQH~JBKSKZ_`@FA{B\CQDrEGFhH}JcKJ_`@GArBQC\D{EFFeGWHdIDJR_`@QAhBGCFDeE\F{GpINIuJUK}_`@\AeBFCGDhEQFrIVJlJpKn_a@dAZBxCsDUEgFIIGJW_a@gAUBsCxDZEdFFGWGYHI_a@sAIBgCdDFExFZHmILKu_a@xAFBdCgDIEsFUH{JbKcKj_a@FAxBZCUDsEIFgH|JCKz_a@IAsBUCZDxEFFdGGH_ITJr_a@UAgBICFDdEZFxH@I^IeJuKM_a@ZAdBFCIDgEUFsIFJLJPK^_b@cAXByCoDREmFLGBIwJoLO_b@mARBoCyDXEcFFGoGqHL_b@oALBmCcDFEyFXHjItKe_b@yAFBcCmDLEoFRH|JJKsKz_b@FAyBXCRDoELFmH{JkKj_b@LAoBRCXDyEFFcH?HbIlJZ_b@RAmBLCFDcEXFyGHI]IfJ]K]_b@XAcBFCLDmERFoI~JdJxKN_c@bA[BwCpDTEiFMIOJOKgLGLW_c@iATBpCwD[EbFFGwGyHM_c@pAMBiCbDFEwF[HlIlKM_c@wAFBbCiDMEpFTHyJzKRK[_c@FAwB[CTDpEMFiHzJ[KB_c@MApBTC[DwEFFbGgH`ItJj_c@TAiBMCFDbE[FwG`IEI~JmKu_c@[AbBFCMDiETFpIfJHJTKf_d@aA]BzCtDOEkFHGDL?LOL__d@kAOBtCzD]EaFFGOGQHH_d@tAHBkCaDFEzF]HgITK]_d@zAFBaCkDHEtFOHzJRKBKK_d@FAzB]CODtEHFkHyJsKR_d@HAtBOC]DzEFFaG_HaILJB_d@OAkBHCFDaE]FzGhIFI}JEKe_d@]AaBFCHDkEOFtI^J`J|Kv_e@`AWB}CqDSElFJLGLW_e@lASBqC}DWE`FFG_GaHJ_e@qAJBlC`DFE}FWHkIDKm_e@}AFB`ClDJEqFSHwJrKrK{_e@FA}BWCSDqEJFlHxJSKb_e@JAqBSCWD}EFF`GOHfI\Jb_e@SAlBJCFD`EWF}GxIVImJeKU_e@WA`BFCJDlESFqINJ@J\KF_f@_AYB|CuDPEjFKJWL?LOLo_f@jAPBuC|DYE_FFGgGiHK_f@uAKBjC_DFE|FYHhI|K}_f@|AFB_CjDKEuFPHxJZKbKk_f@FA|BYCPDuEKFjHwJ{Kr_f@KAuBPCYD|EFF_GwHcIdJJ_f@PAjBKCFD_EYF|GPIUInJMKE_f@YA_BFCKDjEPFuIvJhJtKV_g@iAIBaCQDyEYFqJoKGLo_g@aAABiCYDqEQFyIXIkLP_g@yAYBqCADiEIFaIaJMKP_g@qAQByCIDaEAFiHDJSJZKb_g@IAiBACqDYEyFQGuISK[Kh_g@AAaBICyDQEqFYHQJcJqLd_g@YAyBQCaDIEiFAHYH|JCJeKULN_g@QAqBYCiDAEaFIGdHaIcJVKAL^_h@jAGB`CUD~E[FtGC_h@`AABjC[DtEUF~IHI{LH_h@~A[BtCADjEGF`IqJmK`_h@tAUB~CGD`EAFjGtJsJzKR_h@GAjBACtD[E~FUHEICKXKk_h@AA`BGC~DUEtF[HRJCJQL|_h@[A~BUC`DGEjFAH\H}JEJcKeLV_h@UAtB[CjDAE`FGGTHfIsJvKqLF_i@gAMBcCPDzE\FvJgK?LOM?MG_i@cAABgC\DvEPFzIKIxL`_i@zA\BvCADgEMFcIAJUKh_i@vAPBzCMDcEAFgGdJBJKKZ_i@MAgBACvD\EzFPGUIsKPKc_i@AAcBMCzDPEvF\HOJiJ{LT_i@\AzBPCcDMEgFAH^HzJ[J}KmL~_i@PAvB\CgDAEcFMHDHbICJNKyLn_j@hAKBfCTD}EZFoLgM?MG_j@fAABhCZDoETF}I[IhLx_j@}AZBoCADhEKFfIQJuKX_j@oATB}CKDfEAFhGTJbJkKj_j@KAhBACoDZE}FTGeIcKSK`_j@AAfBKC}DTEoFZHPJIJ[LL_j@ZA}BTCfDKEhFAHWHwJ]J{K]Lf_j@TAoBZChDAEfFKGtHeISJnKILv_k@mAHBdCSDwE^FrJGKWM?_k@dAABmC^DrESFwI@IsLh_k@wA^BrCADmEHFdIyJ}Kx_k@rASBwCHDdEAFmGlJcJjKJ_k@HAmBACrD^EwFSG}IKK@Ks_k@AAdBHCwDSErF^HUJAJSL\_k@^AwBSCdDHEmFAHZHyJUJsK}Lv_k@SArB^CmDAEdFHGLH_I{JfKiLf_l@nAJBeCOD|EXFsIWKOLoMG_l@eAABnCXDsEOF|IPIcLp_l@|AXBsCADnEJFeIiJ]KH_l@sAOB|CJDeEAFnG|JCJJKz_l@JAnBACsDXE|FOGmI[KCKp_l@AAeBJC|DOEsFXHVJaJsLD_l@XA|BOCeDJEnFAH[HxJSJuKMLn_l@OAsBXCnDAEeFJG\HdIkJFKYL~_m@kALBbCVDxEWFuGCJwMOM_Mg_m@bAABkCWDuEVFxISI`LX_m@xAWBuCADkELFbIYJeK@_m@uAVBxCLDbEAFkGLJrJ{Kr_m@LAkBACuDWExFVG]IkKKKx_m@AAbBLCxDVEuFWHSJKJYLl_m@WAxBVCbDLEkFAH]H{JMJkKELF_m@VAuBWCkDAEbFLGlH`I[J~KQLV_n@lANB_CRD{E]FpGFK_MWM_Mg_n@_AABlC]DpERF{ICIpL@_n@{A]BpCADlENF_IIJEKp_n@pARB{CND_EAFlG\JRJ[KB_n@NAlBACpD]E{FRGMI{KHK{_n@AA_BNC{DREpF]HTJkJyLt_n@]A{BRC_DNElFAHXH~JKJmKuL^_n@RApB]ClDAE_FNG|HcIKJ^KaLN_o@rAzBJCjDZERFbGBIOJw_o@zArBBCbDREZFjILIjJxLpM[_o@bAjBZCzDJEBFrGkIRJqLYMy_o@jAbBRCrDBEJFzHrIUIzMZM|_o@RAZBjCJDzErFBHIHzIyJ[Ms_o@ZARBbCBDrEzFJHnK\KnKsL|_o@BAJBzCZDjEbFRHZIuJ@J\K}Lk_o@JABBrCRDbEjFZHlI^KvMY_p@qAxBGCnD]ETFcIoLGMo_p@xAqBBCcDTE]FnITIrJHLHM{_p@cAnB]CxDGEBFqHCIJJALaMY_p@nAcBTCqDBEGFxHuIMIbM\Mz_p@TA]BnCGDxEqFBHHH{IaJkMS_p@]ATBcCBDqExFGHhKFK[KtLD_p@BAGBxC]DnEcFTHYImJlJpKULS_p@GABBqCTDcEnF]HjIFK^My_q@pA~BLCgDYESFeJ_KWMWNG_q@~ApBBCeDSEYFgIZI|J@LXMC_q@eAgBYC~DLEBFpG[IbJILqMa_q@gAeBSCpDBELF~HqIJIeMBMd_q@SAYBgCLD~EpFBHKH}IIJcMkNN_q@YASBeCBDpE~FLHgKTKfK{LT_q@BALB~CYDgEeFSHXIEJdJxKuLC_q@LABBpCSDeEgFYHiInK~MANK_r@oA|BMCkD^EQF`IGJWN?_r@|AoBBC`DQE^FkIBIdJpL`Mc_r@`AkB^C|DMEBFoGSIzJyLIMA_r@kA`BQCoDBEMF|HvIRI}MDMb_r@QA^BkCMD|EoFBHNHxIQJSMKNF_r@^AQB`CBDoE|FMHmKNKSK|Ll_r@BAMB|C^DkE`FQHWI]JHJTK]L{_r@MABBoCQD`EkF^HkIvKVMaNC_s@vAwBKClDXEUFaIwNONW_s@wAvBBCaDUEXFlIRItJPLxMk_s@aAlBXCwDKEBFvGcIjJYLQMI_s@lAaBUCvDBEKFwHpIBImMLMj_s@UAXBlCKDwEvFBHLHyIAJsMC_s@XAUBaCBDvEwFKHiKLKcK~Lt_s@BAKBwCXDlEaFUH^IMJhJtKmLc_s@KABBvCUDaElFXHgIfKfMi_t@uAyBNChD[EOFdGDMwNONW_t@yAuBBCdDOE[FhIJIlJ`L@MK_t@dAhB[CyDNEBFuGKIrJiLiMi_t@hAdBOCuDBENFyHsIZIuMJMl_t@OA[BhCNDyEuFBHMH|IYJCMc_t@[AOBdCBDuEyFNHkKKKVKdLL_t@BANByC[DhEdFOH]IUJDJXKEL[_t@NABBuCODdEhF[HmI~KNMI_u@tA{BICmDWEPFfJgKGLwN?NGNg_u@{AtBBCfDPEWFmIDIbJhLPMs_u@fAmBWC{DIEBFtGsIZJaLyMQ_u@mAfBPCtDBEIF{HoI]IrMTMr_u@PAWBmCID{EtFBHJH~IqJKM[Nn_u@WAPBfCBDtE{FIHlKDKkKvL\_u@BAIB{CWDmEfFPH\I}JLJPKeLK_u@IABBtCPDfEmFWHnIVKnMqNk_v@sA}BHCiD\EVF_IgKwMGN?NGN__v@}AsBBC_DVE\FiI\IzJXLhMS_v@_AiB\C}DHEBFsG{IBJQLAMq_v@iA_BVCsDBEHF}HtIEIjMRMt_v@VA\BiCHD}EsFBHGHwIiJ{M{Nf_v@\AVB_CBDsE}FHHjKCK^KlLd_v@BAHB}C\DiE_FVH[IeJ`J|KMLs_v@HABBsCVD_EiF\HhINKFMQNc_w@{AkBSCKDsEcF[GFKgN__w@sAcB[CCD{EkFSI}K^KpLBMXN`_w@kA{BCC[DcEsFKG^KYLELqMaMz_w@cAsBKCSDkE{FCHsIAIZLbMp_w@[AKBsCkDSECF{HTIsKcLIL[M`_w@SACB{CcD[EKFsGfHtJdMtN\Na_w@KA[BcC{DCESFkHEH[IeJuL@_w@CASBkCsDKE[FcHcJ^K\LSNbNv_x@|AmBVCGDpEaFZIgLgMW_x@pAaBZCCD|EmFVI]KHKfLrMHNH_x@mA|BCCZDaEpFGG~KaLALuMjMq_x@aApBGCVDmE|FCHrIaIzLRM`_x@ZAGBpCmDVECF|HVISK[LkLyMp_x@VACB|CaDZEGFpHFHqJ|MdNINt_x@GAZBaC|DCEVFmGeHXIEJmLp_x@CAVBmCpDGEZFaHdJFKdLcNJN^_y@}AgBQCNDtEbFXJgKgNgOG_y@tAbBXCCD}EgFQIeKXKvLzMxNh_y@gA}BCCXDbEtFNGVKqLIL}MAMZ_y@bAtBNCQDgE}FCHpIBIYLZMP_y@XANBtCgDQECF}HPIkKKLcLqM@_y@QACB}CbDXENFtGNHoJTMTNTNi_y@NAXBbC}DCEQFgGmH\I}JELx_y@CAQBgCtDNEXFbHeJnKtLkNjN~_z@~AiBPCJDoEdF]JoL?N_O?_z@oAdB]CCD~EiFPIEKNK`LJMhN@_z@iA~BCC]DdEoFJGvKILMLyMJMQ_z@dAoBJCPDiE~FCHuIbIyLjM@_z@]AJBoCiDPECF~HRIKKsLALSMP_z@PACB~CdD]EJFoGnHvJLMDNAN|_z@JA]BdC~DCEPFiGMHWI]J]LH_z@CAPBiCoDJE]FdHfJvKLL[NBNV_{@wAnBRCIDuE`F\KoLwNWO?OO_{@uA`B\CCDwEnFRIMKVKxLjM@Np_{@nAwBCC\D`EuFIGnKQLYLmMbMy_{@`AuBICRDnEwFCHtIjIqLJMhOM_{@\AIBuCnDRECFwHUICKkLaLsMx_{@RACBwC`D\EIFuGvHsJ\MlNLNq_{@IA\B`CwDCERFnGUH]IUJMLhOJ_{@CARBnCuDIE\F`H_JfKTL{NfNr_|@xAlBOCMDrEfFYGEIWIoOGOW_|@rAfBYCCDxElFOImK@KnLZMPNX_|@lAxBCCYDfErFMGNKiL]LiMiMr_|@fArBMCODlExFCHqIJIQLzMxOE_|@YAMBrClDOECFxHSIcKSLCLQMh_|@OACBxCfDYEMFrGVHrJDM|NYNd_|@MAYBfCxDCEOFlGuHZIuJULXOB_|@CAOBlCrDMEYFfH`J~KlLKNNNZ_}@yAjBTCHDvEeFWI?LoMGO?OOOg_}@vAeBWCCDyEjFTIUKPK~LRM`Nx_}@jAyBCCWDeEvFHHFKyLULaMBMY_}@eAvBHCTDjEyFCHoIiIrLrMHO]_}@WAHBvCjDTECFyHQI[KCLKLYMX_}@TACByCeDWEHFvG~HpJlMLNDNy_}@HAWBeCyDCETFjG]H^IMJ}LPOZ_}@CATBjCvDHEWFeHaJVK|LCNnNz_~@zAhBUCLDqE_F^IgJ?M_OGOWO__~@qA_B^CCDzEhFUIuKFKhLbMpNP_~@hAzBCC^D_EqFLGfKALQLeMIMR_~@_AqBLCUDhEzFCHvIIIRLBMXOU_~@^ALBqChDUECFzHOI{K{LiL{MH_~@UACBzC_D^ELFqG^HuJtM\NQNl_~@LA^B_CzDCEUFhG}HYImJeL`OR_~@CAUBhCqDLE^F_HbJNKDLsNFNR") rajiv1053 = Graph(r":~?O\`t@S@[@p`T@\@q`U@]@r`V@^@s_?@W@__@@X@`_A@Y@a_B@Z@b_C@[@c_D@\@d_E@]@e_F@^@f_G@_@g_H@`@h_I@a@i_J@b@j_K@c@k_L@d@l_M@e@m_N@f@n_O@g@o_P@h@p_Q@i@q_R@j@r_S@k@s_??T@l_@?U@m_A?V@n_B?W@o_C?X@p_D?Y@q_E?Z@r_F?[@s_??G?\_@?H?]_A?I?^_B?J?__C?K?`_D?L?a_E?M?b_F?N?c_G?O?d_H?P?e_I?Q?f_J?R?g_K?S?h_L?T?i_M?U?j_N?V?k_O?W?l_P?X?m_Q?Y?n_R?Z?o_S?[?p_T?\?q_U?]?r_V?^?s_W?_?t_X?`?u_Y?a?v_Z?b?w_[?c?x_\?d?y_]?e?z_^?f?{__?g?|_`?h?}_a?i?~_b?j@?_c?k@@_d?l@A_e?m@B_f?n@C_g?o@D_h?p@E_i?q@F_j?r@G_k?s@H_l?t@I_m?u@J_n?v@K_o?w@L_p?x@M_q?y@N_r?z@O_s?{@P_t?|@Q_u?}@R_v?~@S_w@?@T_x@@@U_y@A@V_z@B@W_{@C@X_|@D@Y_}@E@Z_~@F@[`?@G@\`@@H@]`A@I@^`B@J@_`C@K@``D@L@a`E@M@b`F@N@c`G@O@d`H@P@e`I@Q@f`J@R@g`K@S@h`L@T@i`M@U@j`N@V@k`O@W@l`P@X@m`Q@Y@n`R@Z@o_T?kAiAmAx_U?lAjAnAy_V?mAkAoAz_W?nAlApA{_X?oAmAqA|_Y?pAnArA}_Z?qAoAsA~_[?rApAtB?_\?sAqAuB@_]?tArAvBA_^?uAsAwBB__?vAtAxBC_`?wAuAyBD_a?xAvAzBE_b?yAwA{BF_c?zAxA|BG_d?{AyA}BH_e?|AzA~BI_f?}A{B?BJ_g?~A|B@BK_h@?A}BABL_i@@A~BBBM_j@AB?BCBN_k@BB@BDBO_l@CBABEBP_m@DBBBFBQ_n@EBCBGBR_o@FBDBHBS_p@GBEBIBT_q@HBFBJBU_r@IBGBKBV_s@JBHBLBW_t@KBIBMBX_u@LBJBNBY_v@MBKBOBZ_w@NBLBPB[_x@OBMBQB\_y@PBNBRB]_z@QBOBSB^_{@RBPBTB__|@SBQBUB`_}@TBRBVBa_~@UBSBWBb`?@VBTBXBc`@@WBUBYBd`A@XBVBZBe`B@YBWB[Bf`C@ZBXB\Bg`D@[BYB]Bh`E@\@tBZB^`F@]@uB[B_`G@^@vB\B``H@_@wB]Ba`I@`@xB^Bb`J@a@yB_Bc`K@b@zB`Bd`L@c@{BaBe`M@d@|BbBf`N@e@}BcBg`O@f@~BdBh`P@g@tA?Be`Q@h@uA@Bf`R@i@vAABg`S@j@wABBh`T@k@t@xAC`U@l@u@yAD`V@m@v@zAE`W@n@w@{AF`X@o@x@|AG`Y@p@y@}AH`Z@q@z@~AI`[@r@{A?AJ`\@s@|A@AK_?@]@}AAAL_@@^@~ABAM_A@_A?ACAN_B@`A@ADAO_C@aAAAEAP_D@bABAFAQ_E@cACAGAR_F@dADAHAS_G@eAEAIAT_H@fAFAJAU_I@gAGAKAV_J@hAHALAW_K@iAIAMAX_L@jAJANAY_M@kAKAOAZ_N@lALAPA[_O@mAMAQA\_P@nANARA]_Q@oAOASA^_R@pAPATA__S@qAQAUA`_T@rARAVAa_U@sASAWAb_??VATAXAc_@?WAUAYAd_A?XAVAZAe_B?YAWA[Af_C?ZAXA\Ag_D?[AYA]Ah_E?\AZA^Ai_F?]A[A_Aj_G?^A\A`Ak_H?_A]AaAl_I?`A^AbAm_J?aA_AcAn_K?bA`AdAo_L?cAaAeAp_M?dAbAfAq_N?eAcAgAr_O?fAdAhAs_P?gAeAiAt_Q?hAfAjAu_R?iAgAkAv_S?jAhAlAw`vBZCFCLDF`wB[CGCMDG`xB\CHCNDH`yB]CICODI`zB^CJCPDJ`{B_CKCQDK`|B`CLCRDL`}BaCMCSDM`~BbCNCTDNa?BcCOCUDOa@BdCPCVDPaABeCQCWDQaBBfCRCXDRaCBgCSCYDSaDBhCTCZDT`tAECUC[DU`uAFCVC\DV`vAGCWC]DW`wAHCXC^DX`xAICYC_DY`yAJCZC`DZ`zAKC[CaD[`{ALC\CbD\`|AMC]CcD]`}ANBiC^Cd`~AOBjC_Cea?APBkC`Cfa@AQBlCaCgaAARBmCbChaBASBnCcCiaCATBoCdCjaDAUBpCeCkaEAVBqCfClaFAWBrCgCmaGAXBsChCnaHAYBtCiCoaIAZBuCjCpaJA[BvCkCqaKA\BwClCraLA]BxCmCsaMA^ByCnCtaNA_BzCoCuaOA`B{CpCvaPAaB|CqCwaQAbB}CrCxaRAcB~CsCyaSAdC?CtCzaTAeC@CuC{aUAfCACvC|aVAgCBCwC}aWAhCCCxC~aXAiCDCyD?aYAjCECzD@aZAkCFC{DAa[AlCGC|DBa\AmCHC}DCa]AnCIC~DDa^AoCJD?DEa_ApCKD@DFa`AqCLDADGaaArCMDBDHabAsCNDCDIacAtCODDDJadAuCPDEDKaeAvCQDFDLafAwCRDGDMagAxCSDHDNahAyCTDIDOaiAzCUDJDPajA{CVDKDQakA|CWDLDRalA}CXDMDSamA~CYDNDTanB?CZDODUaoB@C[DPDVapBAC\DQDWaqBBC]DRDXarBCC^DSDYasBDC_DTDZatBEC`DUD[auBFCaDVD\avBGCbDWD]awBHBiCcDXaxBIBjCdDYayBJBkCeDZazBKBlCfD[a{BLBmCgD\a|BMBnChD]a}BNBiBoCia~BOBjBpCjb?BPBkBqCkb@BQBlBrClbABRBmBsCmbBBSBnBtCnbCBTBoBuCobDBUBpBvCpbEBVBqBwCqbFBWBrBxCrbGBXBsByCsbHBYBtBzCtbIBZBuB{CubJB[BvB|CvbKB\BwB}CwbLB]BxB~CxbMB^ByC?CybNB_BzC@CzbOB`B{CAC{bPBaB|CBC|bQBbB}CCC}bRBcB~CDC~bSBdC?CED?bTBeC@CFD@bUBfCACGDAbVBgCBCHDBbWBhCCCIDC`tBXCDCJDD`uBYCECKDE`f@sCIDXErEzFO_?@gCJDYEsE{FP_@@hCKDZEtE|FQ_A@iCLD[EuE}FR_B@jCMD\D^EvE~_C@kCND]D_EwF?_D@lBiCOD`ExF@_E@mBjCPDaEyFA_F@nBkCQDbEzFB_G@oBlCRDcE{FC_H@pBmCSDdE|FD_I@qBnCTDeE}FE_J@rBoCUDfE~FF_K@sBpCVDgF?FG_??LBqCWDhF@FH_@?MBrCXDiFAFI_A?NBsCYDjFBFJ_B?OBtCZDkFCFK_C?PBuC[DlFDFL_D?QBvC\DmFEFM_E?RBwC]DnFFFN_F?SBxC^DoFGFO_G?TByC_DpFHFP_H?UBzC`DqFIFQ_I?VB{CaDrFJFR_J?WB|CbD^DsFK_K?XB}CcD_DtFL_L?YB~CdD`DuFM_M?ZC?CeDaDvFN_N?[C@CfDbDwFO_O?\CACgDcDxFP_P?]CBChDdDyFQ_Q?^CCCiDeDzFR_R?_CDCjD^DfD{_S?`CECkD_DgD|_T?aCFClD`DhD}_U?bCGCmDaDiD~_V?cCHCnDbDjE?_W?dCICoDcDkE@_X?eCJCpDdDlEA_Y?fCKCqDeDmEB_Z?gCLCrDfDnEC_[?hCMCsDgDoED_\?iCNCtDhDpEE_]?jCOCuDiDqEF_^?kCPCvDjDrEG__?lCQCwDkDsEH_`?mCRCxDlDtEI_a?nCSCyDmDuEJ_b?oCTCzDnDvEK_c?pCUC{DoDwEL_d?qCVC|DpDxEM_e?rCWC}DqDyEN_f?sCXC~DrDzEO_g?tCYD?DsD{EP_h?uCZD@DtD|EQ_i?vC[DADuD}ER_j?wC\DBDvD~ES_k?xC]DCDwE?ET_l?yC^DDDxE@EU_m?zC_DEDyEAEV_n?{C`DFDzEBEW_o?|CaDGD{ECEX_p?}CbDHD|EDEY_q?~CcDID}EEEZ_r@?CdDJD~EFE[_s@@CeDKE?EGE\_t@ACfDLE@EHE]_u@BCgDMEAEIE^_v@CChDNEBEJE__w@DCiDOECEKE`_x@ECjDPEDELEa_y@FCkDQEEEMEb_z@GClDREFENEc_{@HCmDSEGEOEd_|@ICnDTEHEPEe_}@JCoDUEIEQEf_~@KCpDVEJEREg`?@LCqDWEKESEh`@@MCrDXELETEi`A@NCsDYEMEUEj`B@OCtDZENEVEk`C@PCuD[EOEWEl`D@QCvD\EPEXEm`E@RCwD]EQEYEn`F@SBiCxEREZEo`G@TBjCyESE[Ep`H@UBkCzETE\Eq`I@VBlC{EUE]Er`J@WBmC|EVE^Es`K@XBnC}EWE_Et`L@YBoC~EXE`Eu`M@ZBpD?EYEaEv`N@[BqD@EZEbEw`O@\BrDAE[EcEx`P@]BsDBE\EdEy`Q@^BtDCE]EeEz`R@_BuDDE^EfE{`S@`BvDEE_EgE|`T@aBwDFE`EhE}`U@bBxDGEaEiE~`V@cByDHEbEjF?`W@dBzDIEcEkF@`X@eB{DJEdElFA`Y@fB|DKEeEmFB`Z@gB}DLEfEnFC`[@hB~DMEgEoFD`\@iC?DNEhEpFE`]@jC@DOEiEqFF`^@kCADPEjErFG`_@lCBDQEkEsFH``@mCCDRElEtFI`a@nCDDSEmEuFJ`b@oCEDTEnEvFK`c@pCFDUEoEwFL`d@qCGDVEpExFM`e@rCHDWEqEyFN_U@I@~BYDsEJGHGLGW_V@JA?BZDtEKGIGMGX_W@KA@B[DuELGJGNGY_X@LAAB\DvEMGKGOGZ_Y@MABB]DwENGLGPG[_Z@NACB^DxEOGMGQG\_[@OADB_DyEPGNGRG]_\@PAEB`DzEQGOGSG^_]@QAFBaD{ERGPGTG__^@RAGBbD|ESGQGUG`__@SAHBcD}ETGRGVGa_`@TAIBdD~EUGSGWGb_a@UAJBeE?EVGTGXGc_b@VAKBfE@EWGUGYGd_c@WALBgEAEXGVGZGe_d@XAMBhEBEYGWG[Gf_e@Y@tANECEZGXG\Gg_f@Z@uAOEDE[GYG]Gh_g@[@vAPEEE\GZG^Gi_h@\@wAQEFE]G[G_Gj_i@]@xAREGE^G\G`Gk_j@^@yASEHE_G]GaGl_k@_@zATEIE`G^GbGm_l@`@{AUEJEaG_GcGn_m@a@|AVEKEbG`GdGo_n@b@}AWELEcGaGeGp_o@c@~AXEMEdGbGfGq_p@dA?AYENEeGcGgGr_q@eA@AZEOEfGdGhGs_r@fAAA[EPEgGeGiGt_s@gABA\EQEhGfGjGu_t@hACA]EREiGgGkGv_u@iADA^ESEjGhGlGw_v@jAEA_ETEkGiGmGx_w@kAFA`EUElGjGnGy_x@lAGAaEVEmGkGoGz_y@mAHAbEWEnGlGpG{_z@nAIAcEXEoGmGqG|_{@oAJAdEYEpGnGrG}_|@pAKAeEZEqGoGsG~_}@qALAfE[ErGpGtH?_~@rAMAgE\EsGqGuH@`?@sANAhE]EtGrGvHA_?@@AOAiE^EuGsGwHB_@@AAPAjE_EvGtGxHC_A@BAQAkE`EwGuGyHD_B@CARAlEaExGvGzHE_C@DASAmEbEyGwG{HF_D@EATAnEcEzGxG|HG_E@FAUAoEdE{FSGyG}_F@GAVApEeE|FTGzG~_G@HAWAqEfE}FUG{H?_H@IAXArEgE~FVG|H@_I@JAYAsEhF?FWG}HA_J@KAZAtEiF@FXG~HB_K@LA[AuEjFAFYH?HC_L@MA\AvEkFBFZH@HD_M@NA]AwElFCF[HAHE_N@OA^AxEmFDF\HBHF_O@PA_AyEnFEF]HCHG_P@QA`AzEoFFFSF^HD_Q@RAaA{EpFGFTF_HE_R@SAbA|EqFHFUF`HF_S@TAcA}ErFIFVFaHG_T@UAdA~EsFJFSFWFb_U@VAeB?EtFKFTFXFc_V@WAfB@EuFLFUFYFd_W@XAgBAEvFMFVFZFe_X@YAhBBEwFNFWF[Ff_Y@ZAiBCExFOFXF\Fg_Z@[AjBDEyFPFYF]Fh_[@\AkBEEzFQFZF^Fi_\@]AlBFE{FRF[F_Fj_]@^AmBGD^E|F\F`Fk_^@_AnBHD_E}F]FaFl__@`AoBID`E~F^FbFm_`@aApBJDaF?F_FcFn_a@bAqBKDbF@F`FdFo_b@cArBLDcFAFaFeFp_c@dAsBMDdFBFbFfFq_d@eAtBNDeFCFcFgFr_e@fAuBODfFDFdFhFs_f@gAvBPDgFEFeFiFt_g@hAwBQDhFFFfFjFu_h@iAxBRDiFGFgFkFv_i@jAyBSDjFHFhFlFw_j@kAzBTDkFIFiFmFx_k@lA{BUDlFJFjFnFy_l@mA|BVDmFKFkFoFz_m@nA}BWDnFLFlFpF{_n@oA~BXDoFMFmFqF|_o@pB?BYDpFNFnFrF}_p@qB@BZDqFOFoFsF~_q@rBAB[DrFPFpFtG?_r@sBBB\DsFQFqFuG@_??sBCB]DtFRFrFvGA_@?tBDB^D^DuFsFwGB_A?uBEB_D_DvFtFxGC_B?vBFB`D`DwFuFyGD_C?wBGBaDaDxFvFzGE_D?xBHBbDbDyFwF{GF_E?yBIBcDcDzFxF|GG_F?zBJBdDdD{FyF}GH_G?{BKBeDeD|FzF~GI_H?|BLBfDfD}F{G?GJ_I?}BMBgDgD~F|G@GK_J?~BNBhDhE?F}GAGL_K@?@tBODiE@F~GBGM_L@@@uBPDjEAG?GCGN_M@A@vBQDkEBG@GDGO_N@B@wBRDlECGAGEGP_O@C@xBSDmEDGBGFGQ_P@D@yBTDnEEGCGGGR_Q@E@zBUDoEFGDGHGS_R@F@{BVDpEGGEGIGT_S@G@|BWDqEHGFGJGU_T@H@}BXDrEIGGGKGV`uABCTDHFUGyHeHkIe`vACCUDIFVGzHfHlIf`wADCVDJFWG{HgHmIg`xAECWDKFXG|HhHnIh`yAFCXDLFYG}HiHoIi`zAGCYDMFZG~HjHpIj`{AHCZDNF[H?HkHqIk`|AIC[DOF\H@HlHrIl`}AJC\DPF]HAHmHsIm`~AKC]DQF^HBHnHtIna?ALC^DRF_HCHoHuIoa@AMC_DSF`HDHpHvIpaAANC`DTFaHEHqHwIqaBAOCaDUFbHFHrHxIraCAPCbDVFcHGHsHyIsaDAQCcDWFSFdHtHzItaEARCdDXFTFeHuH{IuaFASCeDYFUFfHvH|IvaGATCfDZFVFgHwH}IwaHAUCgD[FWFhHxH~IxaIAVChD\FXFiHyI?IyaJAWCiD]FYFjHzI@IzaKAXBiCjFZFkH{IAI{aLAYBjCkF[FlH|IBI|aMAZBkClF\FmHHH}ICaNA[BlCmF]FnHIH~IDaOA\BmCnF^FoHJI?IEaPA]BnCoF_FpHKI@IFaQA^BoCpF`FqHLIAIGaRA_BpCqFaFrHMIBIHaSA`BqCrFbFsHNICIIaTAaBrCsFcFtHOIDIJaUAbBsCtFdFuHPIEIKaVAcBtCuFeFvHQIFILaWAdBuCvFfFwHRIGIMaXAeBvCwFgFxHSIHINaYAfBwCxFhFyHTIIIOaZAgBxCyFiFzHUIJIPa[AhByCzFjF{HVIKIQa\AiBzC{FkF|HWILIRa]AjB{C|FlF}HXIMISa^AkB|C}FmF~HYINITa_AlB}C~FnG?HZIOIUa`AmB~D?FoG@H[IPIVaaAnC?D@FpGAH\IQIWabAoC@DAFqGBH]IRIXacApCADBFrGCH^ISIYadAqCBDCFsGDH_ITIZaeArCCDDFtGEH`IUI[afAsCDDEFuGFHaIVI\agAtCEDFFvGGHbIWI]ahAuCFDGFwGHHcIXI^aiAvCGDHFxGIHdIYI_ajAwCHDIFyGJHeIZI`akAxCIDJFzGKHfI[IaalAyCJDKF{GLHgI\IbamAzCKDLF|GMHhI]IcanA{CLDMF}GNHiI^IdaoA|CMDNF~GOHjI_IeapA}CNDOG?GPHkI`IfaqA~CODPG@GQHlIaIgarB?CPDQGAGRHmIbIhasB@CQDRGBGSHnIcIiatBACRDSGCGTHoIdIjauBBCSDTGDGUHpIeIkavBCCTDUGEGVHqIfIlawBDCUDVGFGWHrIgImaxBECVDWGGGXHsIhInayBFCWDXGHGYHtIiIoazBGCXDYGIGZHuIjIpa{BHCYDZGJG[HvIkIqa|BICZD[GKG\HwIlIra}BJC[D\GLG]HxImIsa~BKC\D]GMG^HyInItb?BLBiC]GNG_HzIoIub@BMBjC^GOG`H{IpIvbABNBkC_GPGaH|IqIwbBBOBlC`GQGbH}IrIxbCBPBmCaGRGcH~IsIybDBQBnCbGSGdI?ItIzbEBRBoCcGTGeI@IuI{bFBSBpCdGUGfIAIvI|bGBTBqCeGVGgHHIBIwbHBUBrCfGWGhHIICIxbIBVBsCgGXGiHJIDIybJBWBtChGYGjHKIEIzbKBXBuCiGZGkHLIFI{bLBYBvCjG[GlHMIGI|bMBZBwCkG\GmHHHNIHbNB[BxClG]GnHIHOIIbOB\ByCmG^GoHJHPIJbPB]BzCnG_GpHKHQIKbQB^B{CoG`GqHLHRILbRB_B|CpGaGrHMHSIMbSB`B}CqGbGsHNHTINbTBaB~CrGcGtHOHUIObUBbC?CsGdGuHPHVIPbVBcC@CtGeGvHQHWIQbWBdCACuGfGwHRHXIRbXBeCBCvGgGxHSHYISbYBfCCCwGhGyHTHZITbZBgCDCxGiGzHUH[IUb[BhCECyGjG{HVH\IV`tB\CFCzGkG|HWH]IW`uB]CGC{GlG}HXH^IX`vB^CHC|GmG~HYH_IY`wB_CIC}GnH?HZH`IZ`xB`CJC~GoH@H[HaI[`yBaCKD?GpHAH\HbI\`zBbCLD@GqHBH]HcI]`{BcCMDAGrHCH^HdI^`|BdCNDBGsHDH_HeI_`}BeCODCGtHEH`HfI``~BfCPDDGuHFHaHgIaa?BgCQDEGvHGHbHhIba@BhCRDFFSGwHcHiIc`tAACSDGFTGxHdHjId_N@rByDTFEFRHhIwKQKYKn_O@sBzDUD^FFHiIxKRKZKo_??PB{DVD_FGHjIyKSK[Kp_@?QB|DWD`FHHkIzKTK\Kq_A?RB}DXDaFIHlI{I}KUK]_B?SB~DYDbFJHmI|I~KVK^_C?TC?DZDcFKHHHnJ?KWK__D?UC@D[DdFLHIHoJ@KXK`_E?VCAD\DeFMHJHpJAKYKa_F?WCBD]DfFNHKHqJBKZKb_G?XBiCCDgFOHLHrJCK[Kc_H?YBjCDDhFPHMHsJDK\Kd_I?ZBkCEDiFQHNHtJEK]Ke_J?[BlCFDjFRHOHuJFK^Kf_K?\BmCGD^DkHPHvJGK_Kg_L?]BnCHD_DlHQHwJHK`Kh_M?^BoCID`DmHRHxJIKaKi_N?_BpCJDaDnHSHyJJKbKj_O?`BqCKDbDoHTHzJKKcKk_P?aBrCLDcDpHUH{JLKdKl_Q?bBsCMDdDqHVH|JMKeKm_R?cBtCNDeDrHWH}JNKfKn_S?dBuCODfDsHXH~JOKgKo_T?eBvCPDgDtHYI?JPKhKp_U?fBwCQDhDuHZI@JQKiKq_V?gBxCRDiDvH[IAI}JRKj_W?hByCSDjDwH\IBI~JSKk_X?iBzCTDkDxH]ICJ?JTKl_Y?jB{CUDlDyH^IDJ@JUKm_Z?kB|CVDmDzH_IEJAJVKn_[?lB}CWDnD{H`IFJBJWKo_\?mB~CXDoD|HaIGJCJXKp_]?nC?CYDpD}HbIHJDJYKq_^?oC@CZDqD~HcIII}JEJZ__?pCAC[DrE?HdIJI~JFJ[_`?qCBC\DsE@HeIKJ?JGJ\_a?rCCC]DtEAHfILJ@JHJ]_b?sCDC^DuEBHgIMJAJIJ^_c?tCEC_DvECHhINJBJJJ__d?uCFC`DwEDHiIOJCJKJ`_e?vCGCaDxEEHjIPJDJLJa_f?wCHCbDyEFHkIQJEJMJb_g?xCICcDzEGHlIRJFJNJc_h?yCJCdD{EHHmISJGJOJd_i?zCKCeD|EIHnITJHJPJe_j?{CLCfD}EJHoIUJIJQJf_k?|CMCgD~EKHpIVJJJRJg_l?}CNChE?ELHqIWJKJSJh_m?~COCiE@EMHrIXJLJTJi_n@?CPCjEAENHsIYJMJUJj_o@@CQCkEBEOHtIZJNJVJk_p@ACRClECEPHuI[JOJWJl_q@BCSCmEDEQHvI\JPJXJm_r@CCTCnEEERHwI]JQJYJn_s@DCUCoEFESHxI^JRJZJo_t@ECVCpEGETHyI_JSJ[Jp_u@FCWCqEHEUHzI`JTJ\Jq_v@GCXCrEIEVH{IaJUJ]Jr_w@HCYCsEJEWH|IbJVJ^Js_x@ICZCtEKEXH}IcJWJ_Jt_y@JC[CuELEYH~IdJXJ`Ju_z@KC\CvEMEZI?IeJYJaJv_{@LC]CwENE[I@IfJZJbJw_|@MC^CxEOE\IAIgJ[JcJx_}@NC_CyEPE]IBIhJ\JdJy_~@OC`CzEQE^ICIiJ]JeJz`?@PCaC{ERE_IDIjJ^JfJ{`@@QCbC|ESE`IEIkJ_JgJ|`A@RCcC}ETEaIFIlJ`JhJ}`B@SCdC~EUEbIGImJaJiJ~`C@TCeD?EVEcIHInJbJjK?`D@UCfD@EWEdIIIoJcJkK@`E@VCgDAEXEeIJIpJdJlKA`F@WChDBEYEfIKIqJeJmKB`G@XCiDCEZEgILIrJfJnKC`H@YCjDDE[EhIMIsJgJoKD`I@ZCkDEE\EiINItJhJpKE`J@[ClDFE]EjIOIuJiJqKF`K@\CmDGE^EkIPIvJjJrKG`L@]CnDHE_ElIQIwJkJsKH`M@^CoDIE`EmIRIxJlJtKI`N@_CpDJEaEnISIyJmJuKJ`O@`CqDKEbEoITIzJnJvKK`P@aCrDLEcEpIUI{JoJwKL`Q@bCsDMEdEqIVI|JpJxKM`R@cCtDNEeErHHIWJqJyKN`S@dCuDOEfEsHIIXJrJzKO`T@eCvDPEgEtHJIYJsJ{KP`U@fCwDQEhEuHKIZJtJ|KQ`V@gCxDREiEvHLI[JuJ}KR`W@hCyDSEjEwHMI\JvJ~KS`X@iCzDTEkExHNI]JwK?KT`Y@jC{DUElEyHOI^JxK@KU`Z@kC|DVEmEzHPI_JyKAKV`[@lC}DWEnE{HQI`JzKBKW`\@mC~DXEoE|HRIaJ{KCKX`]@nD?DYEpE}HSIbJ|KDKY`^@oD@DZEqE~HTIcJ}KEKZ`_@pDAD[ErF?HUIdJ~KFK[``@qDBD\EsF@HVIeK?KGK\`a@rDCD]EtFAHWIfK@KHK]`b@sBiDDEuFBHXIgKAKIK^_?@cBjDEEvFCHYIhKBKJK__@@dBkDFEwFDHZIiKCKKK`_A@eBlDGExFEH[IjKDKLKa_B@fBmDHEyFFH\IkKEKMKb_C@gBnDIEzFGH]IlKFKNKc_D@hBoDJE{FHH^ImKGKOKd_E@iBpDKE|FIH_InKHKPKe_F@jBqDLE}FJH`IoKIKQKf_G@kBrDME~FKHaIpKJKRKg_H@lBsDNF?FLHbIqKKKSKh_I@mBtDOF@FMHcIrKLKTKi_J@nBuDPFAFNHdIsKMKUKj_K@oBvDQFBFOHeItKNKVKk_L@pBwDRFCFPHfIuKOKWKl_M@qBxDSFDFQHgIvKPKXKm_W@Q@W@zBIDtEhF]GxJRJiLgLkLv_X@R@X@{BJDuEiF^GyJSJjLhLlLw_Y@S@Y@|BKDvEjF_GzJTJkLiLmLx_Z@T@Z@}BLDwEkF`G{JUJlLjLnLy_[@U@[@~BMDxElFaG|JVJmLkLoLz_\@V@\A?BNDyEmFbG}JWJnLlLpL{_]@W@]A@BODzEnFcG~JXJoLmLqL|_^@X@^AABPD{EoFdH?JYJpLnLrL}__@Y@_ABBQD|EpFeH@JZJqLoLsL~_`@Z@`ACBRD}EqFfHAJ[JrLpLtM?_a@[@aADBSD~ErFgHBJ\JsLqLuM@_b@\@bAEBTE?EsFhHCJ]JtLrLvMA_c@]@cAFBUE@EtFiHDJ^JuLsLwMB_d@^@dAGBVEAEuFjHEJ_JvLtLxMC_e@_@eAHBWEBEvFkHFJ`JwLuLyMD_f@`@fAIBXECEwFlHGJaJxLvLzME_g@a@gAJBYEDExFSFmJbJyLwL{MF_h@b@hAKBZEEEyFTFnJcJzLxL|MG_i@c@iALB[EFEzFUFoJdJ{LyL}MH_j@d@jAMB\EGE{FVFpJeJ|LzL~MI_k@e@kANB]EHE|FWFqJfJ}L{M?MJ_l@f@lAOB^EIE}FXFrJgJ~L|M@MK_m@g@mAPB_EJE~FYFsJhK?L}MAML_n@h@nAQB`EKF?FZFtJiK@L~MBMM_o@i@oARBaELF@F[FuJjKAM?MCMN_p@j@pASBbEMFAF\FvJkKBM@MDMO_q@k@qATBcENFBF]FwJlKCMAMEMP_r@l@rAUBdEOFCF^FxJmKDMBMFMQ_s@m@sAVBeEPFDF_FyJnKEMCMGMR_??t@nAWBfEQFEF`FzJoKFMDMHMS_@?u@oAXBgERFFFaF{JpKGMEMIMT_A?v@pAYBhESFGFbF|JqKHMFMJMU_B?w@q@tAZETFHFcF}JrKIMGMKMV_C?x@r@uA[EUFIFdF~JsKJMHMLMW_D?y@s@vA\EVFJFeG?JtKKMIMMMX_??E?z@wA]EWFKFfG@JuKLMJMNMY_@?F?{@xA^EXFLFgGAJvKMMKMOMZ_A?G?|@yA_EYFMFhGBJwKNMLMPM[_B?H?}@zA`EZFNFiGCJxKOMMMQM\_C?I?~@{AaE[FOFjGDJyKPMNMRM]_D?J@?@|AbE\FPFkGEJzKQMOMSM^_E?K@@@}AcE]FQFlGFJ{KRMPMTM__F?L@A@~AdE^FRFmGGJ|KSMQMUM`_G?M@BA?AeD^E_FnGHJ}KTMRMVMa_H?N@CA@AfD_E`FoGIJ~KUMSMWMb_I?O@DAAAgD`EaFpGJK?KVMTMXMc_J?P@EABAhDaEbFqGKK@KWMUMYMd_K?Q@FACAiDbEcFrGLKAKXMVMZMe_L?R@GADAjDcEdFsGMKBKYMWM[Mf_M?S@HAEAkDdEeFtGNKCKZKrMXM\_N?T@IAFAlDeEfFuGOKDK[KsMYM]_O?U@JAGAmDfEgFvGPKEK\KtMZM^_P?V@KAHAnDgEhFwGQKFK]KuM[M__Q?W@LAIAoDhEiFxGRKGK^KvM\M`_R?X@MAJApDiEjFyGSKHK_KwM]Ma_S?Y@NAKAqDjEkFzGTKIK`KxM^Mb_T?Z@OALArDkElF{GUKJKaKyM_Mc_U?[@PAMAsDlEmF|GVKKKbKzM`Md_V?\@QANAtDmEnF}GWKLKcK{MaMe_W?]@RAOAuDnEoF~GXKMKdK|MbMf_X?^@SAPAvDoEpG?GYKNKeKrK}Mc_Y?_@TAQAwDpEqG@GZKOKfKsK~Md_Z?`@UARAxDqErGAG[KPKgKtL?Me_[?a@VASAyDrEsGBG\KQKhKuL@Mf_\?b@WATAzDsEtGCG]KRKiKrKvLA_]?c@XAUA{DtEuGDG^KSKjKsKwLB_^?d@YAVA|DuEvGEG_KTKkKtKxLC__?e@ZAWA}DvEwGFG`KUKlKuKyLD_`?f@[AXA~DwExGGGaKVKmKvKzLE_a?g@\AYB?DxEyGHGbKWKnKwK{LF_b?h@]AZB@DyEzGIGcKXKoKxK|LG_c?i@^A[BADzE{GJGdKYKpKyK}LH_d?j@_A\BBD{E|GKGeKZKqKzK~LI_e?k@`A]BCD|E}GLGfI}K[K{L?LJ_f?l@aA^BDD}E~GMGgI~K\K|L@LK_g?m@bA_BED~F?GNGhJ?K]K}LALL_h?n@cA`BFE?F@GOGiJ@K^K~LBLM_i?o@dAaBGE@FAGPGjJAK_L?LCLN_j?p@eAbBHEAFBGQGkJBK`L@LDLO_k?q@fAcBIEBFCGRGlJCKaLALELP_l?r@gAdBJECFDGSGmJDKbLBLFLQ_m?s@hAeBKEDFEGTGnJEKcLCLGLR_n?t@iAfBLEEFFGUGoJFKdLDLHLS_o?u@jAgBMEFFGGVGpJGKeLELILT_p?v@kAhBNEGFHGWGqJHKfLFLJLU_q?w@lAiBOEHFIGXGrJIKgLGLKLV_r?x@mAjBPEIFJGYGsJJKhLHLLLW_s?y@nAkBQEJFKGZGtJKKiLILMLX_t?z@oAlBREKFLG[GuJLKjLJLNLY_u?{@pAmBSELFMG\GvJMKkLKLOLZ_v?|@qAnBTEMFNG]GwJNKlLLLPL[_w?}@rAoBUENFOG^GxJOKmLMLQL\_x?~@sApBVEOFPG_GyJPKnLNLRL]_??y@?AqBWEPFQG`GzJQKoLOLSL^_@?z@@ArBXEQFRGaG{JRKpLPLTL__A?{@AAsBYD^ERGbG|JSKqLQLUL`_B?|@BAtBZD_ESGcG}I}JTLRLVLa_C?}@CAuB[D`ETGdG~I~JULSLWLb_D?~@DAvB\DaEUGeH?J?JVLTLXLc_E@?@EAwB]DbEVGfH@J@JWLULYLd_F@@@FAxB^DcEWGgHAJAJXLVLZLe_G@A@GAyB_DdEXGhHBJBJYLWL[Lf_H@B@HAzB`DeEYGiHCJCJZLXL\Lg_I@C@IA{BaDfEZGjHDJDJ[LYL]Lh_J@D@JA|BbDgE[GkHEJEJ\LZL^Li_K@E@KA}BcDhE\GlHFJFJ]L[L_Lj_L@F@LA~BdDiE]GmHGJGJ^L\L`Lk_M@G@MB?BeDjE^FSGnJHJ_L]LaLl_N@H@NB@BfDkE_FTGoJIJ`L^LbLm_O@I@OBABgDlE`FUGpJJJaL_LcLn_P@J@PBBBhDmEaFVGqJKJbL`LdLo_Q@K@Q@tBCDnEbFWGrJLJcLaLeLp_R@L@R@uBDDoEcFXGsJMJdLbLfLq_S@M@S@vBEDpEdFYGtJNJeLcLgLr_T@N@T@wBFDqEeFZGuJOJfLdLhLs_U@O@U@xBGDrEfF[GvJPJgLeLiLt_V@P@V@yBHDsEgF\GwJQJhLfLjLu") graphs = [('dhar1116 ', dhar1116),('michel1094 ', michel1094),('rajiv1088 ', rajiv1088 ),('rajiv1053 ', rajiv1053 )] dhar1116nx = dhar1116.networkx_graph() michel1094nx =michel1094.networkx_graph() rajiv1088nx =rajiv1088.networkx_graph() rajiv1053nx =rajiv1053.networkx_graph() 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") 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)} / 14-reg.? {graph.is_regular(k=14)} / Girth: {graph.girth()} ")#/ Alg.conn. {algebraic_connectivity(graph).n(digits=6)} ")# / Domin. number: {graph.dominating_set(value_only=True)} ") print("Degree histogram dhar1116 :", nx.degree_histogram(dhar1116nx) ) print("Degree histogram michel1094 :", nx.degree_histogram(michel1094nx) ) print("Degree histogram rajiv1088 :", nx.degree_histogram(rajiv1088nx) ) print("Degree histogram rajiv1053 :", nx.degree_histogram(rajiv1053nx) ) print("\n Symmetry properties of the graph") 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.') Adhar1116 = dhar1116.automorphism_group() print('dhar1116 :', Adhar1116.structure_description(), ' | center order:',Adhar1116.center().order()) Amichel1094 = michel1094.automorphism_group() print('michel1094 :', Amichel1094.structure_description(), ' | center order:',Amichel1094.center().order()) Arajiv1088 = rajiv1088.automorphism_group() print('rajiv1088 :', Arajiv1088.structure_description(), ' | center order:',Arajiv1088.center().order()) Arajiv1053 = rajiv1053.automorphism_group() print('rajiv1053 :', Arajiv1053.structure_description(), ' | center order:',Arajiv1053.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 5") for label, graph in nonisographs: print(f"{label} "," | ".join(str(count_k_cycles(graph, k)) for k in range(3, 6))) # from 0 versio Molodtsov? for name, G in nonisographs: fname = name.strip() + "_adjlst.txt" s = "; ".join( "{}-{}".format(v, ",".join(map(str, G.neighbors(v)))) if G.neighbors(v) else str(v) for v in G.vertices(sort=True) ) with open(fname, "w") as f: f.write(s) ''' # from 0 for label, _ in nonisographs: base = label.strip() G = globals()[base + "nx"] with open(f"{base}_edges.txt", "w") as f: f.write(",".join( f"{{{u},{v}}}" for u, v in sorted((min(u, v), max(u, v)) for u, v in G.edges()) )) ''' # from 1 for label, _ in nonisographs: base = label.strip() G = globals()[base + "nx"] with open(f"{base}_Zedges.txt", "w") as f: f.write(",".join( f"{{{u+1},{v+1}}}" for u, v in sorted((min(u, v), max(u, v)) for u, v in G.edges()) )) ''' print("\n DONE \n") ## ##