# SageMathCell online  --> https://sagecell.sagemath.org/?q=jnwvdx
# 
# 

'''

Main properties of the graph
rajiv1088      | Ord.: 1088 / Size: 7360 / Diam.: 3 / Avg.dist: 2.82555 / 14-reg.? False /  Girth: 3   
rajiv1053      | Ord.: 1053 / Size: 7371 / Diam.: 3 / Avg.dist: 2.80038 / 14-reg.? True /  Girth: 5   

Degree histogram rajiv1088  : [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 512, 576]
Degree histogram rajiv1053  : [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1053]

 Symmetry properties of the graph
rajiv1088      | Aut.group.ord.: 1 /  Cayley ? False ---  vtx.trans. ? False -- edge.trans. ? False
rajiv1053      | Aut.group.ord.: 1053 /  Cayley ? True ---  vtx.trans. ? True -- edge.trans. ? False

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

rajiv1088  : 1  |  center order: 1
rajiv1053  : C13 : (C9 : C9)  |  center order: 9

rajiv1088      distance distrib from vtx. 0: [1, 13, 156, 918]
rajiv1053      distance distrib from vtx. 0: [1, 14, 182, 856]

'''


import networkx as nx

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 = [('rajiv1088     ', rajiv1088 ),('rajiv1053     ', rajiv1053 )]

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\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)} / 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("\n")

print("Degree histogram rajiv1088  :", nx.degree_histogram(rajiv1088nx) )  
print("Degree histogram rajiv1053  :", nx.degree_histogram(rajiv1053nx) )  


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')

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