# SageMathCell online # https://sagecell.sagemath.org/?q=cesvkw # 2 isomorphic Cayley graph with 1640 nodes and 7380 edges # Degree Distribution: [0, 0, 0, 0, 0, 0, 0, 0, 0, 1640] (avg. deg.: 9.0 max. deg.: 9) # Diameter: 4 avg. dist.: 3.571080 (1,9,72,532,1026) transmission: 5853 # Z_40 x(22)Z_41 G22=Graph(r":~?Xg_r??_@_y??_}?A_B_M_X_c_n_y_@`D`K?Z_[_\_]`F`Z@G`a?C_D_E_F`H_G_H_I_J_K_L_N_O_P_Q_~`I_R_S_T_U_V_W_Y_c@E_n@F_y@G`J`D@H_A@I@O`J@Z@p_^@e__@q_`@|_a_b_d_e_^AC_f_g_h_i_j_k_l_m_o_p__AD_q_r_s_t_u_v_w_x_z_{_`AE_|_}_??~_@@?`@_B@A_M@B_X@C`n`o_A?aAF`r`s`t`u`v`w`x`K`L`M_b@pAH`N`P`Q`R`S`T`U`V`W`X_dAI`Y`[`\`]`^`_```a`b`c_eAJ`d`f`g`h`i`j`k`l`maAAs_fAKaBA~aCBIaDBTaEaFaHaIaJaKaL`?A@A~_gALBXaMaNaOaPaQaSaTaUaVaW_hAMBYaXaYaZa[_BA\_MA^_XA__cA`_nAa_yAb_iANBZ`DAc`OAd`ZAe`e@y`q@z`{@|`}AG`~ARa?A]a@Ah`uBGbHbJbKbLbMbNbObPbQbR`vBHafagaiajakalamanaoap`wBJaqaratauavawaxayaza{`xBKa|a}CAb?CLb@CWbACbbBbCbDbEbF`KBLChbGbqbrbsbtbubwbxbybz`LBMCib{b|b}b~c?c@bSbUbVbW`MBNCjbXbYbZb[b\b]b^babbbc`@AABI`NBOCkbdbebfbgbhbibjblbmbn`PBPClbobpclcncBcCcDcEcFcG`QBQCncHcIcJcKcMcNcOcPcQcR`RBRCBcScTcUcVcXcYcZc[c\c]`SAfCCc^c_c`cacccdcecfcgch`TAgCDcicjckdYd[d\cocpcqcr`UAiCEcsctcucvcwcyczc{c|c}`VAjCFc~d?d@dAdBdDdEdFdGdH`WAkCGdIdJdKdLdMdPdQdRdSdT`XAlCHdUdVdWdXdndodqdrdsdt`AABBT`YAmCIdudvdwdxdydzd|d}d~e?`[AnCJe@eAeBeCeDeEeGeHeId]`\AoCKd^d_d`dadbdcdddfdgdh`]ApCMdidjdkdldmedeeefehei`^AqCNejekelemeneoepeqeset`_ArCOeueveJeKeLeMeNeOePeR``AtCPeSeTeUeVeWeXeYeZe[e]`aAuCQe^e_e`eaebecf`fafbfc`bAvCRfdewexeyeze{e|f?f@fA`cAwCSfBfCfDfEfFfGfHfJfKfL`BACB``dAxCTfMfNfOfPfQfRfSfUfVfW`fAyCUfXfYfZf[f\f]f^_HFs_IFt_JFv`gAzCV_KFw_LFx_NFy_OFz_PF{_QF|_RF}_SF~_TG?_UGA`hA{CX_VGB_WGC_YGD_ZGE_[GF_\GG_]GHgIgJgL`iA|CYgMgNgOgPgQfefffgfhfi`jA}CZfkflfm_CFn_DFo_EFp_FFq_GFr_jH?_kGR`kB?C[_lGS_mGT_oGU_pGW_qGX_rGY_??sGZ_@?tG[_uG\_vG]`lB@C\_wG^_xG__zG`_{Gb_|Gc_}Gd_A?~Ge`?@pGf`@B_Gg`ADNGh`mBAC]`BE}Gi`CGjGl`EGk`FGn`GGo`HGp`IGq`JGr_^Gs__Gt`nBBC^_`Gu_aGv_bGw_dGy_eGz_fG{_gG|_hG}_iG~`uHU`CADBkIH`oBCC_`vHV`wHW`xHX_C@KHZ_D@LH[_E@MH\_F@NH]_G@PH^_H@QH__I@RH``rBDC`_J@SHa_K@THb_L@UHc_N@VHe_O@WHf_P@XHg_Q@YHh_R@[Hi_S@\Hj_T@]Hk`sBECa_U@^Hl_V@_H@_W@`HA_Y@aHB_Z@bHD_[@cHE_\@dHF_]@fHG`gHH`hHI`tBFCc`iHJ`jHK`kHL`lHM`mHO`nHP`oHQ`rHR`sHS`tHT_P?XA`BXDK_Q?cAaBYDL_R?nAbBZDM_S?yAcB[DP_T@DAdB\DQ_U@OAeB]DR`EAEBvII_V@Z@yB^DS_W@e@zBaDT_Y@q@{BbDU_Z@|@}BcDV_[@~AGBdDW_\A?ARBeDX_]A@A]BfDYaAAhBgD[aBAsBhD\aCA~BiCo`FAFIJaDBIBjCpaEBTBlCqaFB`BmCraHBkBnCsaIBoBvCtaJBpCuaKBqCvaLBrCwaMBsCyaNBtCz`GAHIKaOBuC{aPBwC|aQBxC}_CASByC~_DATBzD?_EAUB{D@_FAVB|DA_GAWB}DB_HAXB~DD_IAYC?DE_t@OAbHx`HAIIL_JAZC@DF_KA[BSDG_LA\BUDH_B?NA^BVDI_M?OA_BWDJ__BJCHEHHN_`BKCIEIHY_aBLCJD]Hd_bBMCKD^Ho_dBNCMD_Hz`IAJIM_eBOCND`IE_fBPCODaIP_gBQCPDbI\_hBRCQDcIg_iAfCRDdIr_jAgCSDfI}_kAiCACTDg_lAjCLCUDh_mAkCVCWDi_oAlCXCbDj`JAKIN_pAmCYCmDk_qAnCZCxDl_rAoC[DCDm_sApC\DODn_tAqC]DZDo_uArC^DeDq_vAtC_DpDr_wAuC`DsD{_xAvCaDtEF_zAwCcDuEQ_^ALIO_{AxCdDvE\_|AyCeDwEg_}AzCfDxEr_~A{CgDyE~`?A|ChDzFI`@A}CiD|FT`AB?CjD}F_`BB@CkD~Fj`CBAClE?Fu`EBBCnE@G@__AMIQ`FBCCBEAGK`GBDCCEBGV`HBECDECGa`IBFCEEDGm`JBGCFEEGx_^BHCGEGHC`cB[CyEtJL`dB\CzEuJM`fB]C{EvJO`gB^C|EJJP_`ANIR`hBaC}EKJQ`iBbC~ELJR`jBcD?EMJS`kBdD@ENJT`lBeDAEOJU`mBfDBEPJV`nBgDDERJW`oBhDEESJX`rBiDFETJZ`sBjDGEUJ[_aAOIS`tBlDHEVJ\`uBmDIEWJ]`vBnDJEXJ^`wBoDKEYJ_`xBpDLEZJ``KBqDME[Ja`LBrDPE]Jb`MBsDQE^Jc`NBtDRE_Je`PBuDSE`Jf_bAPIT`QBwDTEaJg`RBxDUEbJh`SByDVEcJi`TBzDWEdJj`UB{DXEeJk`VB|DYEfJl`WB}D[EhJm`XB~D\EiJn`YC?CoEjJq`[C@CpEkJr_dAQIU`\BSCqElJs`]BUCrEmJt`^BVCsEnJu`_BWCtEoJH``BXCuEpJI`aBYCvEqJJ`bBZCwEsJK_WA^CdEBFJJ}_YA_CeECFKJ~_ZA`CfEDFLK?_eASIV_[AaCgEEFMK@_\AbChEGFNKA_]AcCiEHFOKBadCjEIFPKCaeCkD]FQKD`yClD^FRKE`zCnD_FSKG`{CBD`FUKH`}CCDaFVKI`~CDDbFWKJ_u@ZAcHy_fATIWa?CEDcFXKKa@CFDdFYKLaACGDfFZKMaBCHDgF[KNaCCIDhF\KOaDCJDiF]KPaECKDjF^KRaFCMDkF`KSaHCNDlFaKT_CAICODmFbKU_gAUIX_DAJCPDnFcKV_EAKCQDoFdKW_FALCRDqEwKX_GAMCSDrExKY_HANCTDsEyKZ_IAOCUDtEzK[_JAPCVDuE{K]_KAQCXDvE|K^_LASCYDwF?K__NATCZDxF@K`_hAVIY_OAUC[DyFAKa_PAVC\DzFBKb_QAWC]D|FCJv_RAXC^D}FDJw_SAYC_D~FEJx_TAZC`E?FFJy_UA[CaE@FGJz_VA\CcEAFHJ|`ABFDKEUG?Km`BBGDLEVGAKn_iAWHm`CBHDMEWGBKo`EBJDPEXGCKp`FBKDQEYGDKq`GBLDREZGEKs`HBMDSE[GFKt`IBNDTE]GGKu`JBODUE^GHKv_^BPDVE_GIKw__BQDWE`GJKx_`BRDXEaGLKy_jAXHn_aAfDYEbGMKz_bAgD[EcGNK{_dAiD\EdGOK|_eAjCoEeGPK~_fAkCpEfGQL?_gAlCqEhFeL@_hAmCrEiFfLA_iAnCsEjFgLB_jAoCtEkFhLC_kApCuElFiLD_kAYHp_lAqCvEmFkLE_mArCwEnFlLF_oAtCyEoFmLG_pAuCzEpFnLI_qAvC{EqFoLJ_rAwC|EsFpLK_sAxC}EtFqLL_tAyC~EuFrLM_uAzD?EvFsLN_vA{D@EJFtLO_B?lAZHq_wA|DAEKFvKc_xA}DBELFwKd_zB?DDEMFxKe_{B@DEENFyKf_|BADFEOFzKh_}BBDGEPF{Ki_~BCDHERF|Kj`?BDDIESF}Kk`@BEDJETF~Kl`SBnEHFHG{Lw_M?mA[Hr`TBoEIFJG|Lx`UBpD]FKG}Ly`VBqD^FLG~Lz`WBrD_FMH?L{`XBsD`FNGRL|`YBtDaFOGSL}`[BuDbFPGTLP`\BwDcFQGULQ`]BxDdFRGWLR`^ByDfFSGXLT_X?oA\Hs`_BzDgFUGYLU_C@`B{DhFVGZLV_D@aB|DiFWG[LW_E@bB}DjFXG\LX_F@cB~DkFYG]LY_G@dC?DlFZG^LZ_H@fC@DmF[G_L[_I@gBSDnF\G`L\_J@hBUDoF]GbL]_K@iBVDqF^GcL`_c?pA^Ht_L@jBWDrF`GdLa_N@kBXDsFaGeLb_O@lBYDtFbGfLc_P@mBZDuFcGgLd_Q@nB[DvFdGhLe_R@oB\DwEwGiLf_S@rB]DxExGjLg_T@sB^DyEyGkLh_U@tBaDzEzGnLi_V@uBbD|E{GoLk_v@eAdH{_n?qA_Hu_W@vBcD}E|GpLl_Y@wBdD~F?GqLm_Z@xBeE?F@GrLn_[@KBfE@FAGsLo_\@LBgEAFBGtLp_]@MBhEBFCGuLq`NBiECFDGvLr`PBjEDFEGwLs`QBlEEFFGyLt`RBmEGFGGzLv_H@iBJE\Ii_eA[CQEtFgHOMI_fA\CREuFhHPMJ_gA^CSEvFiHQML_hA_CTEJFkHRMM_iA`CUEKFlHSMN_jAaCVELFmHTMO_kAbCXEMFnHUMP_lAcCYENFoHVMQ_mAdCZEOFpHWMR_oAeC[EPFqHXMS_I@jBKEgIj_p@yC\ERFrHZMT_q@zC]ESFsH[MU_r@{C^ETFtH\MW_s@}C_EUFvH]MX_t@~C`EVFwH^MY_uA?CaEWFxH_MZ_vA@CcEXFyH`M[_wAACdEYFzHaM\_xABCeEZF{HbM]_zACCfE[F|HcM^_J@kBLErIk_{ADCgE]F}HeM__|AEChE^F~HfM`_}AFCiE_G?HgMb_~AHCjE`GAHhMc`?AICkEaGBHiMd`@AJClEbGCHjMe`AAKCnEcGDHkMf`BALCBEdGEHlMg`CAMCCEeGFH@Mh`EANCDEfGGHAMi_K@lBME~Il`FAOCEEhGHHBMj`GAPCFEiGIHDL~`HAQCGEjGJHEM?`IASCHEkGLHFMA`JATCIElGMHGMB_^AUCJEmGNHHMC__AVCKEnGOHIMD_`AWCMEoGPHJME_aAXCNEpGQHKMF_bAYCOEqFeHLMG_L@mBNFIIm_dAZCPEsFfHMMH_N@UBCDFFJGUIYM|_O@VBDDGFKGWHmM}_P@WBEDHFLGXHnM~_Q@XBFDIFMGYHpN?_R@YBGDJFNGZHqN@_S@[BHDKFOG[HrNA_T@\BJDLFPG\HsNC_U@]BKDMFQG]HtND_V@^BLDPFRG^HuNE_N@nBOFTIn_W@_BMDQFSG_HvNF_Y@`BNDRFUG`HwNG_Z@aBODSFVGbHxNH_[@bBPDTFWGcHyNI_\@cBQDUFXGdH{NJ_]@dBRDVFYGeH|NK`fAfDWFZGfH}NL`gAgDXF[GgH~NO`hAiDYF\GhI?NP`iAjD[F]GiI@NQ_O@oBPF_Io`jAkD\F^GjIANR`kAlCoF`GkIBNS`lAmCpFaGnICNT`mAnCqFbGoIDNU`nAoCrFcGpIFNV`oApCsFdGqIGNW`rAqCtEwGrIHNX`sArCuExGsIIMk`tAtCvEyGtIJMm`uAuCwEzGuIKMn_P@rBQFjIp`vAvCyE{GvILMo`wAwCzE|GwIMMp_C@xAxC{F?GyINMq_D@KAyC|F@GzIOMr_E@LAzC}FAG{IQMs_F@MA{C~FBG|IRMt_G@NA|D?FCG}ISMu_H@PA}D@FDG~ITMv_I@QB?DAFEH?IUMx_J@RB@DBFFGRIVMy_Q@sBRFuIq_K@SBADDFGGSIWMz_L@TBBDEFHGTIXM{`IA_C?DiG?H\IpN\`JA`C@DjGAH]IqN]_^AaBSDkGBH^IsN^__AbBUDlGCH_ItN__`AcBVDmGDH`IuN`_aAdBWDnGEHaIvNa_bAeBXDoGFHbIwNb_d@yBYDqGGHcIxNc_w@qAeH|_R@tAfG@Is_e@zBZDrGHHeIyNe_f@{B[DsGIHfIzNf_g@}B\DtGJHgI{Ng_h@~B]DuGLHhI|Nh_iA?B^DvGMHiI~Ni_jA@BaDwGNHjJ?Nj_kAABbDxGOHkJ@Nk_lABBcDyGPHlJANl_mACBdDzGQH@JBNm_oADBeD|FeHAJCNn_S@uAgGKIt_pAEBfD}FfHBJDNp_qAFBgD~FgHDJENq_rAHBhE?FhHEJFNr_sAIBiE@FiHFJGNs_tAJBjEAFkHGIZNt_uAKBlEBFlHHI]Nu_vALBmECFmHII^Nv_wAMBnEDFnHJI_Nw_xANBoEEFoHKI`Nx_zAOBpEGFpHLIaNy_T@vAiGVIu_{APBqEHFqHMIbN{_|AQBrEIFrHOIcN|_}ASBsD]FsHPIdN}_~ATBtD^FtHQIeN~`?AUBuD_FvHRIfO?`@AVBwD`FwHSIhO@`AAWBxDaFxHTIiOA`BAXByDbFyHUIjOB`CAYBzDcFzHVIkOC`EAZB{DdF{HWIlOD_U@wAjGaIv`FA[B|DfF|HXImOF`GA\B}DgF}HZInNZ`HA^B~DhF~H[IoN[`vAqCkEsG{I@OJ`wArClEtG|IAOK_A@xAtCnEuG}IBOL`K@pAuCBEvG~ICOM`LAvB_CCEJH?IDON`MAwCDDNEKGRIFOO`NAxCEELE}GSIGOQ_V@xAkGmIw`PAyCFEMGTGlIHOR`QAzCGENGUIII[OS`RA{CHEOGWIJJNOT`SA|CIEPGXIKJYOU`TA}CJERGYILJdOV`UB?CKESGZIMJpOW`VB@CMETG[INJ{OX`WBACNEUG\IOKFOY`XBBCOEVG]IQKQOZ`YBCCPEWG^IRK\O\_W@KAlGxIx`[BDCQEXG_ISKgO]`\BECREYG`ITKrO^`]BFCSEZGbIUK}O_`^BGCTE[GcIVLHO``_BHCUE]GdIWLSOa``BJCVE^GeIXL_Ob`aBKCXE_GfIYLjOc`bBLCYE`GgHmLuOd`cBMCZEaGhHnM@Oe`dBNC[EbGiHpMKOg_Y@LAmHCIy`fBOC\EcGjHqMVOh`gBPC]EdGkHrMaOi`hBQC^EeGnHsMlOj`iBRC_EfGoHtMwOk`jAfC`EhGpHuNBOl`kAgCaEiGqHvNNOm_?@lAiCcEjGrHwOn_@@mAjCdEkGsHxOo`nAkCeElGtHyJoOp`oAlCfEmGuH{L^Or_Z@MAnHNIz`rAmCgEnGvH|NMOs`sAnChEoGwH}OGO|`tAoCiEpGyH~OH`uApCjEqGzI?OIaKBeD@F^HOIaPPP^aLBfDAF`HPIbPQPiaMBgDBFaHQIcPRPtaNBhDDFbHRIdPTQ?aOBiDEFcHSIePUQJaPBjDFFdHTIfPV_[@NAoHYI{QTaQBlDGEwHUIhPWaSBmDHExHVIiPXaTBnDIEyHWIjPYaUBoDJEzHXIkPZaVBpDKE{HZIlP[aWBqDLE|H[ImP\aXBrDMF?H\InP]aYBsDPF@H]IoP_aZBtDQFAH^IpP`a[BuDRFBH_IqPa_\@PApHdI|QVa\BwDSFCH`IsOta^BxDTFDHaItOua_ByDUFEHbIuOva`BzDVFFHcIvOwaaB{DWFGHeIwOxabB|DXFHHfIxOyacB}DYFJHgIyOzadB~D[FKHhIzO{aeC?D\FLHiI{O~`yC@CoFMHjI|P?_x@y@|H}QM_]@QAqHoI~QW`zBSCpFNHkI~P@`{BUCqFOHlJ?PA`}BVCrFPH@J@PB`~BWCsFQHAJANYPCa?BXCtFRHBJBNdPDa@BYCuFSHDJCNoPEaABZCvFUHEJDNzPFaBB[CwFVHFJEOEPGaCB\CyFWHGJFOPPIaDB]CzFXHHJGO[PJ`RArHzJ?QXaEB^C{FYHIIZOfPKaFBaC|FZHJI]OqPLaHBbC}F[HKI^O}PMaIBcC~F\HLI_PHPNaJBdD?F]HMI`POPS_BBACDDwGHIYLHPu_MBBCEDxGIHmLSPv_XBCCFDyGJHnL_Pw_cBDCGDzGLHpLjPx_nBECHD|GMHqLuPy`SAtIEJ@QY_yBFCID}GNHrM@Pz`DBGCJD~GOHsMKP{`OBHCKE?GPHtMVP|`ZBJCME@GQHuMaP}`eBKCNEAFeHvMlP~`qBLCOEBFfHwMwQ@`|BMCPECFgHxNBQAaGBNCQEDFhHyNNQB_?ARBOCREEFiH{QC_@A]BPCSEGFkH|QD`TAuIPJAQZahBQCTEHFlH}JoQEasBRCUEIFmH~L^QFafA~CVD]FnI?NMQGagBICXD^FoI@O|QHaiBTCYD_FpIAQIQkajB`CZD`FqIBQKakBkC[DaFrICQLalBvC\DbFsIDQM_AAmC]DcFtIFQN`pAnC^DdFvIGPb`UAvI\JBQ[aoB_C_DfFwIHPcapC`DNDgFxIIPdaqCaDhE}FyIJPearCcDiFzGlIKPfatCdDjF{ILI[PgauCeDkF|IMJNPhavCfDlF}INJYPjawCgDmF~IOJdPkaxChDnG?IQJpPlayCiDoGAIRJ{Pm`VAwIgJCQ\azCjDqGBISKFPna{CkDrGCITKQPoa|ClDsGDIUK\Ppa}CnDtGEIVKgPqb?CBDuGFIWKrPrb@CCDvGGIXK}Psb|CrEqGZGmIpNdQTb}CsEsG[GxIqNoQVb~CtEtG\HCIsNzQWc?CuEuG]HNItOEQX`WAxIrJDQ]c@CvEvG^HYIuOPQYbSCwEJG_HdIvO[QZbUCyEKG`HoIwOfQ[bVCzELGbHzIxOqQ\bWC{EMGcIEIyO}Q]bXC|ENGdIPIzPHQ^bYC}EOGeI\I{PSQ_bZC~EPGfIgI|P^Qab[D?ERGgIrI~PiQbb\D@ESGhI}J?PtQc`XAyI}JEQ^b]CADAETGiJ@Q?Qdb^CLDBEUGjJAQJQebaCWDDEVGkJBQUQfbbCbDEEWGnJCQ`QgbcCmDFEXGoJDQhQlbdCxDGEYGpJEQiQwbeDCDHEZGqJFQjRBbfDIDOE[GrJGQmRMbgDJDZE]GsIZQnRXbhDKDeE^GtI]QoRc`YAzCAJFQ_biDLDpE_GuI^QpRnbjDMD{E`GvI_QqRyblDPEFEaGwI`QrSDbmDQEQEbGyIaQsbnDRE\EcGzIbQtboDSEdEgG{IcQubpDTEeErG|IdQvbqDUEfE~G}IeQxbrDVEhFIG~IfQybsDWEiFTH?IhQz`[A{CLJGQaSHbtDXEjF_GRIiQ{buDYEkFjGSIjQ|bwD[ElFuGTIkQObxD\EmG@GUIlQPbyCoEnGKGWImQQbzCpEoGVGXInQRb{CqEpGYGaIoNYQS_nCPDxFFHbJ^R\_yCQDyFGHcJ_R]_A@DCRDzFHHeJ`R^_z@zAGH~QNRS`\A|CWIZQbSI`O@pCSD|FJHfJaR_`ZB_CTD}FKHgJbR``eCUDND~FLHhJcRa`qCVE?E}FMHiJeRb`|CXE@FNGlHjJfRdaGCYEAFOHkI[JgReaRCZEBFPHlJNJhRfa]C[ECFQH@JYJiRgahC\EDFRHAJdJjRhasC]EEFSHBJkJpRi`]A}CbI]QcSJa~C^EGFUHDJlJ{Q}bIC_EHFVHEJmKFQ~bTC`EIFWHFJnKQR?b`CaD]FXHGJqK\R@bkCcD^FYHHJrKgRAbvCdD_FZHIJsKrRCceD`F[HJJtK}RDcfDaF\HKJuLHREcgDbF]HLJHLSRFchDcF^HMJIL_RG`^B?CmI^QdSKciDdF`HOJJLjRHcjDfFaHPJKLuRIckDgFbHQJLM@RJclDhFcHRJMMKRKcnDiFdHSJOMVRLcBDjEwHTJPMaRNcCDkExHUJQMlROcDDlEyHVJRMwRPcEDmEzHWJSNBRQcFDnE{HXJTNNRR`_B@CxI_QeSL_?CGDoE|HZJURS_@CHDqF?H[JVRTcIDrF@H\JWJoRUcJDsFAH]JXL^RV_BCKDtFBH^JZNMRW_MCMDuFCH_J[O|RY_XCNDvFDH`J\QkRZ_cCODwFEHaJ]R[SZd\E]GQHoIJKWP^RkcoE^FeHzIKKXPiRl``BADCI`QfSMcpE_FfIEILKYPtRmcqE`FgIMIPKZQ?RocrEaFhINI\K[QJRpcsEbFiIOIgK]QURqctEcFkIQIrK^Q`RrcuEdFlIRI}K_QlRscACvEeFmISK`QwRtcLCwEfFnITKaRBRucWCyEhFoIUKbRMRvcbCzEiFpIVJvRXRw`aBBDOIaQgSNcmC{EjFqIWJwRcRxcxC|EkFrIXJxRnRzc}DCElFsIYJyRyR{c~DOEmFtHmJzR|SDd?DZEnFvHnJ|R}SOd@DeEoFwHpJ}R~S[dADpEpFxHqJ~S?SfdBD{EqFyHrK?S@SqdDEFEsFzHsK@SAS|dEEQEtF{HtKASBTG`bBCDZIbQhSPdFE\EuF|HuKBSCTRdGEgEvF}HvKCSET]dHEJErF~HwKDSFdIEKE~G?HxKESGdJELFIGAHyKGSHdKEMFTGBH{KHSIdLENF_GCH|KISJdMEOFjGDH}KJNYSKdPEPFuGEH~KKNdSLdQERG@GFI?KLNoSM_C@cBDDeIcQiSQT`dRESGGGKI@KMNzSNdSETGHGVIAKNOESPdTEUGIGaIBKOOPSQdUEVGJGmICKPO[SRdVEWGLGxIDKROfSSdWEXGMHCIFKSOqSTdXEYGNHNIGKTO}SUdYEZGOHYIHKUPHSVd[E[GPHdIIKVPSRj_BDrE|GgJFJhKhSp_D@dBEDpIdQjSRTa_MDsF?GhJGJiKiSr_XDtF@GiIZJjKjSs_cDuFAGjI]JkKkSt_nDvFBGkI^JlKlSu_yDwFCGnI_JmKmSv`DDxFDGoI`JnKnSw`ODyFEGpIaJqKoSx`ZDzFFGqIbJrKpSy`eD|FGGrIcJsKqSz`qD}FHGsIdJtKsS{_E@fBFD{IeQmSSTb`|D~FJGtIeJuKtS}aGE?FKGuIfJHKuS~aRE@FLGvIhJIKvT?a]EAFMGwIiJJKwT@ahEBFNGyIjJKKxTAasECFOGzIkJLKyTBa~EDFPG{IlJMKzTCbIEEFQG|ImJOK{TDbTEGFRG}InJPK|SWb`EHFSG~IoJQK~SX_{@{ARI?PbRTSW_F@gBGEFIfQnSTTcbkEIFUH?IpJRL?SYbvD]FVGRIqJSL@S\d^FWGSIsJTLAS]d_FXGTItJULBS^d`FYGUIuJVLCS_daFZGWIvJWLDS`dbF[GXIwJXLESadcF\GYIxJZLFSbddF]GZIyJ[LGScdfF^G[IzJ\LISd_G@hBHEQIhQoSUTddgF`G\I{J]LJSedhFaG]I|J^LKSgdiFbG^I~J_LLShdjFcG_J?J`LMSidkFdG`J@JaLNSjdlEwGbJAJbLOSkdmExGcJBJcKcSldnEyGdJCJeKdSmdoEzGeJDJfKeSndqE{GfJEJgKfSo_jAOB[JYJ_RVSmUMeSGDGmHIKOLWMwTjeTGEGxHJKPLXNBTkeUGFHCHKKRLYNNTl_?EVGGHLHNKSLZTm_@EWGHHMHYKTL[TneXGIHOHdJoKUL\ToeYGJHPHoKVL]L^TpeZGLHQHzKWL`NMTqe[GMHRIEKXLaO|TEe]GNHSIPKYLbQkTF_kAPB\J`JdRWSnUNe^GOHTI\KZLcSZTHe_GPHUIgK[LdTIUIe`GQHVIrK]LeTJ_AEaFeHWI}K^LfTK`pCAEbFfHXK_LgTLb_CLEcFgHZK`LhTMcWDNEdFhH[KaLiTNcbEeE}FiH\KbLkTOcmEfFkGlH]JvLlTPcxEhFlH^I[JwLmTQ_lAQB]JaJpRYSoUOdCEiFmH_JNJxLnTSdOEjFnH`JYJyLoTTdZEkFoHaJdJzLpTUdeElFpHbJpJ|LqTVdpEmFqHcJ{J}LrTWd{EnFrHeJ~KFLsTXeFEoFsHfK?KQLtTYeQEpFtHgK@K\LvTZe\EqFvHhKAKgLwT[egEsFwHiKBKrLxT\_mASB^JbJ{RZSpUPerEtFxHjKCK}LyT^euE~FyHkKDLHLzT_evFIFzHlKELSL{T`eJFTF{H@KGL_L|TaeKF_F|HAKHLjL}TbeLFjF}HBKILPLuTceMFuF~HDKJLQM@TdeNG?G@HEKKLRMKTeeOGAGKHFKLLTMVTfePGBGVHGKMLUMaTg_oATBaJcKFR[SrUQeRGCGaHHKNLVMlTifEGSH{J^KsMHQJUSfFGTH|J_KtMIQUUTfGGUH}J`KuMJQ`UVfHGWH~JaKvMLQlUWfJGXI?JbKwMMQwUXfKGYI@JcKxMNRBUYfLGZIAJeKyMORMUZfMG[IBJfKzMPRXU[fNG\ICJgK{MQRcU\_pAUBbJeKQR\SsURfOG]IDJhK|MRRnU]fPG^IFJiK~MSRyU^fQG_IGJjL?MTSDU_fRG`IHJkL@MUSOTrfSGbIIJlLAMWS[TtfUGcIJJmLBMXSfTufVGdIKJnLCMYSqTvfWGeILJqLDMZS|TwfXGfIMJrLEM[TGTxfYGgINJsLFM\TRTy_qAVBcJfK\R]StUSfZGhIOJtLGM]T]Tzf[GiIQJuLIM^ThT{f\GjIRJHLJM_TsT|f]GkISJILKM`T}T~f^GnITJJLLMbU?UJf`GoIUJKLMMcU@UUfaGpIVJLLNMdNYUAfbGqIWJMLOMeNdUBfcGrIXJOKcMfNoUCfdGsIYJPKdMgNzUD_rAWBdJgKgR^SuUTewGtHmJQKeMhOEUEexGuHnJRKfMiOPUFeyGvHpJSKhMjO[UGezGwHqJTKiL~OfUHe{GyHrJUKjM?OqUKe|GzHsJVKkMAO}ULf?G{HtJWKlMBPHUMf@G|HuJXKmMCPSUNfAG}HvJZKnMDP^UOfBG~HwJ[KoMEPiUP_|@}A]I@PcRUSXUn_sAXBeJhKrR_SvUVfCH?HxJ\KpMFPtUQfDGRHyJ]KqMGQ?UR_G@DFyHXIoKWLhNRUz_H@OFzHZIpKXLiNSU{_I@ZF{H[IqKYLkNTU|_J@eF|H\IsKZLlNUU}_K@qF}H]ItK[LmNVU~_L@|F~H^IuK]LnNWV?_NAGG?H_IvK^LoNXV@_OARGAH`IwK_LpMkVB_tAYBfJiK}R`SwUW_PA]GBHaIxK`LqMmVC_QAhGCHbIyKaLrMnVD_RAsGDHcIzKbLsMoVE_SA~GEHeI{JvLtMpVF_TBIGFHfI|JwLvMqVG_UBTGGHgI~JxLwMrVH_VB`GHHhJ?JyLxMsVI_WBkGIHiJ@JzLyMtVJ_YBvGJHjJAJ|LzMuVK_ZGLHkJBJ}L{MvU`VM_uAZBgJjLHRaSxUX_[GMHlJCJ~L|MxUaUk_\GNH@JDK?L}MyUbUv_]GOHAJEK@LPMzUcVAgPHBJFKALQM{UdVLgQHDJGKBLRM|UeVWfeHEIZKCLTM}UfVbffHFI]KDLUM~UgVmfgHGI^KELVN?UhVyfhHHI_KGLWN@UiWDfiHII`KHLXNAUjWO_vA[BhJkLSRbSyUYfkHJIaKILYNCUlWZflHKIbKJLZNDUmfmHLIcKKL[NEUnfnHMIdKLL\NFUofoHOIeKML]NGUpfpHPIfKNL`NHUqfqHQIhKOLaNIUr_BFrHRIiKPLbNJUs_MFsHSIjKRLcNKUt_C?XFtHTIkKSLdNLUu_wA\BiJlL_RdSzUZW\_D?cFvHUIlKTLeNOUw_E?nFwHVImKULfNPUx_F?yFxHWInKVLgNQUy`?GqIPIRKhK}MJNeV]`@GrISI\KiLHMLNfV^`AGsITIgKjLSMMNgV_`BGtIUIrKkL_MNNhV``CGuIVI}KlLjMONiVa`ECAGvIWKmLuMPNjVc`FCLGwIXKnM@MQNkVd_xA^BjJmLjReS{U[W]`GCWGyIYKoMKMRNlVe`HCbGzHmKpMSMVNmVf`ICmG{HnKqMTMaNnVg`JCxG|HpKsMUMlNpVh_^DCG}HqKtMWMwNqVi__DOG~HrKuMXNBNrVj_`DZH?HsKvMYNNNsVk_??aDeGRHtKwMZNtVl_@?bDpGSHuKxM[NuVn_dD{GTHvJoKyM\NvVo_zA_BlJnLuRfS}U\W^_eEFGUHwKzL^M]NwVp_fEQGWHxK{M^NMNxVq_gE\GXHyK|M_NyO|Vr_hEgGYH{K~M`N{QkVs_iErGZH|L?MbN|SZVt_jE~G[H}L@McN}UIVu_kFIG\H~LAMdN~VvVx_A?lFTG]I?LBMeO?Vw_m@pF_G^I@LCMfO@Vz_oB_FjG_IALDMgOAV{_{A`BmJqM@RgS~U]W__pDNFuG`IBLEMhOBVN_qE}G@GbICLFMiOCVO_rGKGcGlIDLGMjODVP_sGVGdIFI[LIL~OFVQ_tGaGeIGJNLJM?NZVR_uGfGmIHJYLKMAN[VS_vGgGxIIJdLLMBN\VT_wGhHCIJJpLMMCN]VU_xGiHNIKJ{LNMDN^VV_zGjHYILKFLOMEN_VX_|AaBnJrMKRhT?U^W`_{GkHdIMKQKcMFN`VY_|GnHoINK\KdMGNaVZ_}GoHzIOKeKgMHNbV[_~GpIEIQKfKrMINcV\`PHVI{JVLWNUOWQwWS`QHWI|JWLXNVOXRBWT`RHXI~JXLYNWOYRMWU`SHZJ?JZLZNXOZRXWV`TH[J@J[L[MkO\RcWW`UH\JAJ\L\MmO]RnWX_}AbBoJsMVRiT@U_Wa`VH]JBJ]L]MnO^RyWY`WH^JCJ^L`MoO_SDW[`XH_JDJ_LaMpO`SOW\`YH`JEJ`LbMqOaS[W]`[HaJFJaLcMrObSfW^`\HbJGJbLdMsOcSqW_`]HcIZJcLeMtOdS|W``^HeI]JeLfMuOeTGWa`_HfI^JfLgMvOgTRWb``HgI_JgLhMxOhT]Wc") # Z_40 x(24)Z_41 G24=Graph(r":~?Xg_^?Z_[_\_]_t?C_D_E_F_G_z?H_I_J_??K_@?L_N_O_P_Q_R`E?S_T_U_A?V_W_Y_|_}_A?~`?`P@@`A`B`C`E`F`G`H`I`J`[?^___`_a_b_d_e_f_g_h`f?i_j_k_l_m_o_p_q_r_??s`I@N`r?@?t_u_v_w_x_z_{`Z@o`e@r`q@s`}@t@|`u`v`w`x`K`L`M`N`P`~`Q`R`S`T`U`V`W`X`Y`[a?`\`]`^`_```a`b`c`d`fa@_B@g_M@h_X@i_c@j_n@k_y@l`D@m`O@naHaIaA_BAJ_MAK_XAL_cAM_nAN_yAO`DAP`OAQ`ZAS`eATaB`qAU`|AVaGAWaRAXaYA]aZAha[Asa\a^a_aCA{a`aaabacadae`y`z`{`}aDA|`~a?a@aAaBaCaDaEaFbBaEA}bCbDbEbFbGbHbJbKbLbM`J@PaFB?_?BN_@BObPbQbRafagaiajakaHB@_AAl`pAmanB_aoapaqaratauavaIBAawaxayaza{a|a}b?b@bAbJBqbqbrbsbtbubwbxbybzb{bKBrb|b}b~c?c@bSbUbVbWbXbLBsbYbZb[b\b]b^babbbcbdbMBtbebfbgbhbibjblbmbnbobNBubp_MCK_XCM_cCN_nCO_yCP`DCQ`OCR`ZCS`eCTbOBw`qCU`|CVaGCXaRCYa]CZahC[asC\a~C]bIC^bTC_bPBxb`C`bkCabvCccdcecfcgchcicj_^@QBobQByckclcncBcCcDcEcFcGcHbRBzcI_BCJcxC{c|DCc}DOc~DZd?d@dAdBafB{DadDdEdFdGdHdIdJdKdLdMagB|DbdPdQdRdSdTdUdVdWdXdYaiB}Dcd[d\cocpcqcrcsctcACucLCvajB~DdcWCwcbCycmCzdqdrdsdtdudvdwakC?Dfdxdydzd|d}d~e?e@eAeBalC@DgeCeDeEeGeHeId]d^d_d`amBSDhdadbdcdddfdgdhdidjdk_BAnBUDidldmdndoebecedeeefeh__@RBp_MAoBVDjeiejekelemeneoepeqes_XApBWDketeueveJeKeLeMeNeOeP_cAqBXDleReSeTeUeVeWeXeYeZe[_nArBYDme]e^e_e`ea_UF`_VFa_WFb_YFc_ZFd_yAtBZDn_[Ew_\Ex_]Eyeze{e|f?f@fAfB`DAuB[DofCfDfEfFfGfHfJfKfL_CFM`OAvB\Dq_DFN_EFO_FFP_GFQ_HFR_IFS_JFU_KFV_LFW_NFX`ZAwB]Dr_OFY_PFZ_QF[_RF\_SF]_TF^_lFh_mFi_oFk_pFl`eAxB^Ds_qFm_rFn_sFo_tFp_uFq_vFr_wFs_xFt_zFv_{Fw`qAyBaDt_|Fx_}Fy_~Fz`?F{`@F|`AF}`BF~`CG?`EGA`FGB_`@SBq`|AzBbDu`GGC`HGD`IGE`JGF_^GG__GH_`GI_aGJ_bGL_dGMaGA{BcDv_eGN_fGO_gGP_hGQ_iFe_jFf_kFg`gGu`hGv`iGwaRA|BdDw`jGy`kGz`lG{`mG|`nG}`oG~`rH?`sGR`tGS`uGTa]A}BeDx`vGU`wGW`xGX`KGY`LGZ`MG[`NG\`PG]`QG^`RG_ahB?BfDy`SG``TGb`UGc`VGd`WGe`XGf`YGg`[Gh`\Gi`]GjasB@BgDz`^Gk`_Gn``Go`aGp`bGq`cGr`dGs`fGt_ZAVHG_[AWHHa~BABhD|_\AXHI_]AYHJaZHKa[HLa\HMa^HOa_HPa`HQaaHRabHSbBBIBiD}acHTadHUaeHV`yHW`zHX`{HZ`}H[`~H\_CA?H]_DA@H^bCBTBjD~_EAAH__FABH`_GACHa_HADHb_IAEHc_JAFHe_KAHHf_LAIHg_NAJHh_OAKHibDB`BlE?_PALHj_QAMHk_RANHl_SAOH@_TAPHA_UAQHB_VASHD_WATHE_YAUHF_|ApID_a@TBrbEBkBmE@_}AqIF_~ArIG`?AtIH`@AuII`AAvIJ`BAwIK`CAxIL_C@EAyIM_D@FAzIN_E@GA{IObFBnBvEA_F@HA|IQ_??G@IA}IR_@?H@JB?IS_I?^B@IT_J?_BAIU_K?`BBIV_L?aBCIW_N?bBDIX_O?dBEIY_P?eBFHmbGBoEB_Q?fBGHn_A?R?gBHHp_S?h@pBJHq_T?iBKB_Hr_U?jBLDNHs_V?kBME}Ht_W?lBNGlHu_Y?mBOHvI[_Z?oBPHw_[?pBQHxbHBpEC_\?qBRHy_]?rAfH{_sAgH|_tAiH}_uAjH~_vAkI?_wAlI@_xAmIA_zAnIB_{AoIC_DBuCKDOEM_EBwCMDZEN_FBxCNDeEO_GByCODpEP_HBzCPD{ER_IB{CQEFES_b@UBsI{_JB|CREQET_KB}CSEUE\_LB~CTEVEg_NC?CUEWEr_OC@CVEXE~_PBSCXEYFI_QBUCYEZFT_RBVCZE[F__SBWC[E]Fj_TBXC\E^Fu_d@VBtI|_UBYC]E_G@_VBZC^E`GK_WB[C_EaGV_YB\C`EbGa_ZB]CaEcGm_[B^CcEdGx_\BaCdEeHC_]BbCeEfHNbcCfEhHYbdCgEiHd_e@WBuI~beChEjHobfCiEkHzbgCjElIEbhCkEmIPbiClEnI\bjCnEoIgblCBEpIrbmCCEqI}bnCACDEsboCECLEt`?@sBcIk_f@XBwJ?bpCFCWEubqCGCbEvbrCHCmEJbsCICxEK_CBtCJDCEL`IC[C{FZJL`JC\C|F[JM_^C]C}F\JO__C^C~F]JP_`C_D?F^JQ_g@YBxJ@_aC`D@F`JR_bCaDAFaJS_dCcDBFbJT_eCdDDFcJU_fCeDEFdJV_gCfDFEwJW_hCgDGExJX_iChDHEyJZ_jCiDIEzJ[_kCjDJE{J\_h@[ByJA_lCkDKE|J]_mClDLF?J^_oCnDMF@J__pCBDPFAJ`_qCCDQFBJa_rCDDRFCJb_sCEDSFDJc_tCFDTFEJe_uCGDUFFJf_vCHDVFGJg_i@\BzJB_wCIDWFHJh_xCJDXFJJi_zCKDYFKJj_{CMD[FLJk_|CND\FMJl_}COCoFNJm_~CPCpFOJn`?CQCqFPJq`@CRCrFQJr`ACSCsFRJs_j@]B{JC`BCTCtFSJt`CCUCuFUJu`ECVCvFVJH`FCXCwFWJI`GCYCyFXJJ`HCZCzFYJK`rDDDqFlKE`sDEDrFmKG`tDFDsFnKH`uDGDtFoKI_k@^B|JD`vDHDuFpKJ`wDIDvFqKK`xDJDwFrKL`KDKDxFsKM`LDLDyFtKN`MDMDzFvKO`NDPD|FwKP`PDQD}FxKR`QDRD~FyKS`RDSE?FzKT_l@_B}JE`SDTE@F{KU`TDUEAF|KV`UDVEBF}KW`VDWECF~KX`WDXEDG?KY`XDYEEGAKZ`YD[EGGBK[`[D\EHGCK]`\CoEIGDK^`]CpD]GEK__m@`B~JF`^CqD^GFK``_CrD_GGKa``CsD`GHKb`aCtDaGIJv`bCuDbGJJw`cCvDcGLJx`dCwDdGMJy`fCyDfGNJz`gCzDgGOJ|`hC{DhGPJ}_o@aC?JG`iC|DiGQJ~`jC}DjFeK?`kC~DkFfK@`lD?DlFgKA`mD@DmFhKB`nDADnFiKC`oDBDoFkKDabDbEbGiKlacDcEcGjKmadDdEdGkKn_p@bC@IZaeDfEeGnKo`yDgEfGoKp`zDhEhGpKq`{DiEiGqKs`}DjEjGrKt`~DkEkGsKua?DlElGtKva@DmEmGuKwaADnEnGvKxaBDoEoGwKy`@@tBdIl_q@cBSI]aCDqEpGyKzaDDrEqGzK{aEDsEsG{K|aFDtEtG|K~aHDuEuG}L?aIDvEvG~L@aJDwEJH?LAaKDxEKGRLBaLDyELGSLCaMDzEMGTLD_r@dBUI^aND|ENGULEaOD}EOGWLFaPD~EPGXLGaQE?ERGYLIaSE@ESGZLJaTEAETG[LKaUEBEUG\LLaVECEVG]LMaWEDEWG^LNaXEEEXG_LO_s@fBVI_aYEGEYG`KcaZEHEZGbKda[EIE[GcKea\D]E]GdKfa^D^E^GeKha_D_E_GfKia`D`E`GgKjaaDaEaGhKkbDEtF`HMLpbEEuFaHOLq_t@gBWI`bFEvFbHPLrbGEJFcHQLsbHEKFdHRLtbJELEwHSLvbKEMExHTLwbLENEyHULxbMEOEzHVLybNEPE{HWLzbOERE|HXL{bPESF?HZL|_u@hBXIabQETF@H[L}bREUFAH\LPafEVFBH]LQagEWFCH^LRaiEXFDH_LTajEYFEH`LUakEZFFHaLValE[FGHbLWamE]FHHcLXanE^FJHeLY_v@iBYIbaoE_FKHfLZapE`FLHgL[aqEaFMHhL\arEbFNHiL]atEcFOHjL`auEdFPHkLaavEeFQHlLbawEfFRH@LcaxEhFSHALdayEiFUHBLe_w@jBZIcazEjFVHDLfa{EkFWHELga|ElFXHFLha}EmFYHGLib?EnFZHHLkb@EoF[HILlbAEpF\HJLmbBEqF]HKLnbCEsF^HLLo_RByFCFhHnMP_x@kB[Id_SBzFDFiHpMQ_TB{FEFkHqMR_UB|FFFlHrMS_VB}FGFmHsMT_WB~FHFnHtMU_YC?FJFoHuMW_ZC@FKFpHvMX_[BSFLFqHwMY_\BUFMFrHxMZ_]BVFNFsHyM[_z@lB\IebWFOFtH{M\bXFPFvH|M]bYFQFwH}M^bZFRFxH~M_b[FSFyI?M`b\FUFzI@Mbb]FVF{IAMcb^FWF|IBMdbaFXF}ICMebbFYF~IDMf_{@mB]IfbcFZG?IFMgbdF[GAIGMhbeF\GBIHMibfF]GCIIMjbgF^GDIJL~bhF`GEIKM?_CBiFaGFILMA_DBjFbGGIMMB_EBlFcGHINMC_FBmFdGIIOMD`A@uBeIm_|@nB^Ih_GBnEwGJIQME_HBoExGLIRMF_IBpEyGMISMG_JBqEzGNITMH_KBrE{GOIUMI_LBsE|GPIVMJ_NBtF?GQIWML_OBuF@FeIXMM_PBwFAFfIYMN_QBxFBFgHmMO_@@]AHCU_wCPGLGuIvM|_xCQGMGvIwM}_zCRGNGwIxM~_{CSGOGyIyN?_|CTGPGzIzN@_}CUGQG{I{NA_~CVFeG|I|NC_C@?CXFfG}I~ND_D@@CYFgG~J?NE_E@ACZFhH?J@NF_B@^AICVJo_F@BC[FiGRJANG_G@CC\FkGSJBNH_H@EC]FlGTJCNI_I@FC^FmGUJDNJ_J@GC_FnGWJENK_K@HC`FoGXJFNL_L@ICaFpGYJGNO_N@JCcFqGZIZNP_O?^CdFrG[I]NQ_P?_CeFsG\I^NR_M@_AJCXL^_Q?`CfFtG]I_NS_R?aCgFvG^I`NT_S?bChFwG_IaNU_T?dCiFxG`IbNV_U?eCjFyGbIcNW_V?fCkFzGcIdNX_W?gClF{GdIeMk_Y?hCnF|GeIfMm_Z?iCBF}GfIhMn_[?jCCF~GgIiMo_X@`AKCYNM_\?kCDG?GhIjMp_]?lCEGAGiIkMq_mCFGBGjIlMr_oCGGCGkImMs_pCHGDGnInMt_qCIGEGoIoMu_rCJGFGpIpMv_sCKGGGqIqMx_tCMGHGrIsMy_uCNGIGsItMz_c@aALCZ_vCOGJGtIuM{_j@`DJGhHGJoN}_k@aDKGiHHL^N~_l@bDLGjHINMO?_m@cDMGkHJO@_o@dDPGnHKOA_p@fDQGoHLOB_q@gDRGpHMOC_r@hDSGqHOOD_A?s@iDTGrHPOF_n@bAMC[_t@j@pDUGsHQNZ_u@kB_DVGtHRN[_v@lDNDWGuHSN\_w@mDXE}GvHTN]_x@nDYGlGwHUN^_z@oD[GyHVI[N__{@rD\GzHWJNN`_|@sCoG{HXJYNa_}@tCpG|HZJdNb_~@uCqG}H[JpNc_y@cANC\`?@vCrG~H\J{Ne`@@wCsH?H]KFNf`A@xCtGRH^KQNg`B@KCuGSH_K\Nh`C@LCvGTH`KgNi`E@MCwGUHaKrNj`F@NCyGWHbK}Nk`G@PCzGXHcLHNl`H@QC{GYHeLSNm`I@RC|GZHfL_Nn`D@dAOC]`J@SC}G[HgLjNp_^@TC~G\HhLuNq__@UD?G]HiM@Nr_`@VD@G^HjMKNs_a@WDAG_HkMVNt_b@XDBG`HlMaNu_d@YDDGbH@MlNv_e@[DEGcHAMwNw_f@\DFGdHBNBNx_g@]DGGeHDNNNy`O@fAPC^_??h@^DHGfHEN{_@?i@_DIGgHFN|`_A?DyH`IDOfOh``A@DzHaIFOiOq`aAAD|HbIGOj`bABD}HcIHOk`cACD~HeIIOl`dADE?HfIJOm`fAEE@HgIKOn`gAFEAHhILOo`B@vBfInOEOJ_A@Z@gAQC_Ov`hAHEBHiIMOp`iAIECHjINOr`jAJEDHkIOOs`kAKEEHlIQOG`lALEGH@IROH`mAMEHHAISOI`nANEIHBITOJ`oAOD]HDIUOK`rAPD^HEIVOL`sAQD_HFIWOM`e@h@pASC`Ow`tASD`HGIXON`uATDaHHIYOO`vAUDbHIHmOQ`wAVDcHJHnOR`xAWDdHKHpOS`KAXDfHLHqOT`LAYDgHMHrOU`MAZDhHOHsOV`NA[DiHPHtOW`PA\DjHQHuOX`i@qATB_CaOx`QA^DkHRHvOY`RA_DlHSHwOZ`SA`DmHTHxO\`TAaDnHUHyO]`UAbDoHVH{O^`VAcDqHWH|O_`WAdDrHXH}NYO``XAeDsHZH~NdOa`Y@yDtH[I?NoOb`[@zDuH\I@NzOc`j@|AUCcDNOy`\@{DvH]IAOEOd`]@}DwH^IBOPOe`^@~DxH_ICO[OgaQBPETIYIiPNaSBQEUHmIjPOaTBREVHnIkPPaUAfEWHpIlPQaVAgEXHqImPRaWAiEYHrInPTaXAjEZHsIoPU`kAGAVCdE}OzaYAkE[HtIpPVaZAlE]HuIqPWa[AmE^HvIsPXa\AnE_HwItPYa^AoE`HxIuPZa_ApEaHyIvP[_CA`AqEbH{IwP\_B?DAaArEcH|IxP]_E?MAbAtEdH}IyP__F?XAcAuEeH~IzP``lARAWCeGlO{_G?cAdAvEfI?I{Pa_H?nAeAwEhI@I|Ot_I?y@yAxEiIAI~Ou_J@D@zAyEjIBJ?Ov_K@O@{AzEkICJ@Ow_L@Z@}A{ElIDJAOx_N@e@~A|EmIFJBOy_O@qA?A}EnIGJCOz_P@|A@B?EoIHJDO{_QAAAGB@EpIIJEO~`mAXA]CfI[O~_RABARBAEqIJJFP?_SACA]BBEsIKJGP@_TADAhBCEtILIZPA_UAEAsBDEuIMI]PB_VAFA~BEEvINI^PC_WAHBFBIEJIOI_PD_YAIBGBTEKIQI`PE_ZAJBHB`ELIRIaPF_[AKBJBkEMISIbPG_\ALBKBvENITIcPI`nAYAhCgJNP?_]AMBLEOIUIdPJaNBMEPIVIePKaOBNERIWIfPLaPBOESIXIhPM_@@@BNB^E\FDInPw`ABOBaEgFEIoJoPx`BBPBbErFFIpL^Py`CBQBcE~FGIqNMPz`EBRBdFHFIIsO|P{`FAfBeFJFTItP|`oAZAsChJYP@`GAgBfFKF_IuP}`HAiBgFLFjIvP~`IAjBhFMFuIwQ@_A@JAkBiFNG@IxQA_^@pAlBjFOGKIyQB__AmB_BlFPGVIzQC_`AnBmDNFQGaI{QD_aAoBnE}FRGmI|QE_bApBoFSGlGxI~QF_dAqBpFUHCI[J?QG`rA[A~CiJdPA_eArBqFVHNJ@JNQH_fAtBrFWHYJAJYQI_gAuBsFXHdJBJdQK_hAvBtFYHoJCJpQL_iAwBuFZHzJDJ{QM_jAxBwF[IEJEKFQN_kAyBxF\IPJFKQPb_lAzByF]I\JGK\Pc_mA{BzF^IZIgKgPd_oA|B{F`I]IrKrPe`C@wBgIoOKOPQT`sA\BICjJpPB_pA}B|FaI^I}K}Pf_qB?B}CAFbI_LHPg_rB@B~CLFcI`LSPh_sBAC?CWFdIaL_Pj_tBBC@CbEwIbLjPk_uBCBSCmExIcLuPl_vBDBUCxEyIdM@Pm_wBEBVDCEzIeMKPn_xBFBWDOE{IfMVPo_zBGBXDZE|IhMaPp`tA^BTCkJ{PC_{BHBYDeF?IiMlPq_|BJBZDpF@IjMwPr_}BKB[D{FAIkNBPs_~BLB\EFFBIlNNPu_?@?BMB]EQFCImPv`RBWChFyJQNBQT`SBXCiFzJRNNQV_?@TBYCjF{JSQW_@@UBZCkF|JTQX`VB[ClF}JUJoQY`uA_B`ClKFPD`WB\CnF~JVL^QZ`XB]CBG?JWNMQ[`YB^CCGAJXO|Q\`[BaCDGBJZQ]Qk`\BbCEGCJ[Q^`]BcCFGDJ\Q_`^BdCGGEJ]Qa_A@_BeCHGFJ^Qb``@pBfCIGGJ_Qc`aB_BgCJGHJ`Qd`vA`BkCnKQPE`bBhCKDNGIJaQe`cBiCME}GJJbQf`dBjCNGLGlJcNYQg`fBlCOGMI[JeNdQh`gBmCPGNJNJfNoQi`hBnCQGOJYJgNzQj`iBoCRGPJdJhOEQm`jBpCSGQJiJpOPQn`kBqCTFeJjJ{O[Qo`lBrCUFfJkKFOfQp`wAaBvCBK\PF`mBsCVFgJlKQOqQq`nBtCXFhJmK\O}Qr`oBuCYFiJnKgPHQs`rBwCZFkJqKrPSQt`sBxC[FlJrK}P^Qu`tByC\FmJsLHPiQv`uBzC]FnJtLSPtQx`vB{C^FoJuL_Q?Qy`wB|C_FpJHLjQJQz`xB}C`FqJILuQUQ{`xAbCCKgPGQ}`KB~CaFrJJM@Q`Q|`LC?CcFsJKMKQOQl`MC@CdFtJLMVQPQw`NBSCeFvJMMaQQRB`PBUCfFwJOMlQRRM`QBVCgFxJPMwQSRXaPCdDEGjKURgaQCeDFGkKVRhaSCfDGGnKWRiaTCgDHGoKXQ}`KAcCDKrPIQ~aUChDIGpKYQ~aVCiDJGqKZR?aWCjDKGrK[R@aXCkDLGsK]NYRAaYClDMGtK^NdRCaZCnDPGuK_NoRDa[CBDQGvK`NzREa\CCDRGwKaOERFa^CDDSGyKbOPRGa_CEDTGzJvO[RH`LAdCEK}PJR?a`CFDUG{JwOfRIaaCGDVG|JxOqRJ_BAbCHDWG}JyO}RK_MAcCIDXG~JzPHRL_XAdCJDYH?J|PSRN_cAeCKD[GRJ}P^RO_n@yCMD\GSJ~PiRP_y@zCNCoGTK?PtRQ`D@{COCpGUK@Q?RR`O@}CPCqGWKAQJRS`MAeCFLHPKR@`Z@~CQCrGXKBQURT`eA?CRCsGYKCQ`RU`qA@CSCtGZKDQlRV`|AACTCuG[KEQwRWaBAGCUCvG\KGRBRYaCARCVCwG]KHRMRZaDA]CXCyG^KIRXR[aEAhCYCzG_KJR\RcaFAsCZC{G`KKR]RnaHA~C[C|GbKLR^Ry`N@yCGLSPLRAaIBIC\C}GcKMR_SDaJBTC]C~GdKNR`SOaKB`C^D?GeKORaaLBkC_D@GfKPRbaMBvC`DAGgKRRdaNCaDBGhKSReaOCcDDGiKTRfatBTCuDOD}HhKuRuauB`CvDZD~HiKvRvavBkCwDeE?HjKwRw`E@xBhIpOLO[QVRG`P@zCHL_PMRCSRawBvCyDpE@HkKxRxaxCzD{EAHlKyRzayC{EBEFH@KzR{azC|ECEQHAK{R|a{C}EDE\HBK|R}a|C~EEEgHDK~R~a}D?EGErHEL?S?b?D@EHE~HFL@S@b@DAEIFIHGLASAbADBD]FTHHLBSB`Q@{CILjPNRDSSbBDDD^F_HILCSCbCDED_FjHJLDSEbDDFD`FuHKLESFbEDGDaG@HLLFSGbFDHDbGKHMLGSHbGDIDcGVHOLISIbHDJDdGaHPLJSJbJDKDfGmHQLKSKbKDLDgGxHRLLSL_BBLDMDhHCHSLMSM`R@}CJLuPOREST_MBMDPDiHNHTLNSN_XBNDQDjHUHYLOSP_cBODRDkHVHdKcSQ_nBPDSDlHWHoKdSR_yBQDTDmHXHzKeSS`DBRDUDnHZIEKfST`OAfDVDoH[IPKhSU`ZAgDWDqH\I\KiSV`eAiDXDrH]IgKjRj`qAjDYDsH^IrKkRk`S@~CKM@PPRFSU`|AkD[DtH_I}KlRlaGAlCAD\DuH`KmRmaRAmCLCoDvHaKnRoa]AnCWCpDwHbKoRpahAoCbCqDxHcKpRqapAsCmCrDyHeKqRraqA~CsCxDzHfKsRsarBICtDCD|HgKtRtbUDtEvGmHqJLLbT?bVDuEJGxHrJMLcT@`TA?CMMKPQRGSVbWDvEKHCHsJOLdTAbXDwELHNHtJPLeTBbYDxEMHYHuJQLfTCbZDyENHdHvJRLgTDb[DzEOHoHwJSLhSWb\D|EPHxHzJTLiSXb]D}ERHyIEJULkSYb^D~ESH{IPJVLlS\baE?ETH|I\JWLmS]bbE@EUH}IgJXLnS^`UA@CNMVPRRHRjbcEAEVH~IrJZLoS_bdEBEWI?I}J[LpS`beCAECEXI@J\LqSabfCLEDEYIAJ]LrSbbgCWEEEZIBJ^LsScbhCbEGE[ICJ_LtSdbiCmEHE]IDJ`LvSebjCxEIE^IFJaLwSgblDCD]E_IGJbLxShbmDOD^E`IHJcLySi`VAACOMaPTRIRkbnDZD_EaIIJeLzSjboD`DeEbIJJfL{SkbpDaDpEcIKJgL|SlbqDbD{EdILJhL}SmbrDcEFEeIMJiLPSnbsDdEQEfINJjLQSobtDfE\EhIOJkLRSpbuDgEgEiIQJlLTSrbwDhEjErIRJmLUSsbxDiEkE~ISJnLVSt`WABCPMlPURJRlbyDjElFIITJqLWSubzDkEmFTIUJrLXSvb{DlEnF_IVJsLYSwb|DmEoFjIWJtLZSxb}DnEpFuIXJuL[Syb~DoEqG@IYJHL\Szc?DqEsGKHmJIL]S{c@DrEtGVHnJJL`S}bSDsEuGaHpJKLaS~c\EWFKI~JlKEMbT[`XACCQMwPVRKRmc]EXFLJ?JmKGMcT\c^EYFMJ@JnKHMdT^c_EZFNJAJqKIMeT_c`E[FOJBJrKJMfT`caE]FPJCJsKKMgTaccE^FQJDJtKLMhTbcdE_FRJEJuKMMiTcceE`FSJFJHKNMjTdcfEaFUJGJIKOL~TecgEbFVIZJJKPM?Tf`YADCRNBPWRLRochEcFWI]JKKRMATgciEdFXI^JLKSMBTicjEeFYI_JMKTMCTjckEfFZI`JOKUMDTkclEhF[IaJPKVMETlcnEiF\IbJQKWMFTmcBEjF]IcJRKXMGTncCEkF^IdJSKYMHTocDElF`IeJTKZMITpcEEmFaIfJUK[MJTq`F@KBiIqOMOfQWRH`[AECSNNPXRNRpcFEnFbIhJVK]MLTEcGEoFcIiJWK^MMTFcHEpFdIjJXK_MNTHcIEqEwIkJZK`MOTIcJEsExIlJ[KaMPTJcKEtEyImJ\KbMQTKcMEuEzInJ]JvMRTLcNEvE{IoJ^JwMSTMcOEJE|IpJ_JxMTTNcPEKF?IqJ`JyMUTO_?@\AFCTPYRORqcQELF@IsJaJzMWTPcREMFAItJbJ|MXTQcSENFBIuJcJ}MYTScTEOFCIvJeJ~MZTTcUEPFDIwJfK?M[TUcVERFEIxJgK@M\TVcXESFFIyJhKAM]TWcYETFGIzJiKBM^TXcZEUFHI{JjKCM_TYc[EVFJI|JkKDM`TZaJBBDGIrQKRcSUS]cqExGPKDKlNLQkUScrEyGQKEKmNOSZUTcsEzFeKGKnNPUIUVctE{FfKHKoNQUW_ACuE|FgKIKpNRUX`pCvF?FhKJKqNSUYb_CwF@FiKKKsNTUZcyDNFAFkKLKtNUU[czE}FBFlKMKuNVU\c{FCFmGlKNKvNWU]aKBCDHI}QLRnSVS^c|FDFnI[KOKwNXU^c}FEFoJNKPKxMkU_c~FFFpJYKRKyMmTrd?FGFqJdKSKzMnTtd@FHFrJpKTK{MoTudAFJFsJ{KUK|MpTvdBFKFtKFKVK~MqTwdDFLFvKQKWL?MrTxdEFMFwKXK\L@MsTydFFNFxKYKgLAMtTzaLBDCADIQMRjRyS_dGFOFyKZKrLBMuT{dHFPFzK[K}LCMvT|dIFQF{K]LDLHMxT}dJFRF|K^LELSMyU?dKFSF}K_LFL_MzU@dLFUF~K`LGLjM{UAdMFVG?KaLILuM|UBdPFWGAKbLJM@M}UCdQFXGBJvLKMKM~UDdRFYGCJwLLMVN?UEaMBECLDJQNRkSDS`dSFZGDJxLMMaN@UFdTF[GEJyLNMlNAUGdUF\GFJzLOMwNCUHdVF]GGJ|KcNBNDUKdWF^GHJ}KdNENNUL_?DXF`GIJ~KeNFUM_@DYFaGJK?KfNGUNd[FbGLJoK@KhNHUOd\FcGMKAKiL^NIUPcoFdGNKBKjNJNMUQaNBFCWDKPbRlSOSacpEwGOKCKkNKO|URddG?GyL?LpNsRBVMdfGAGzL@LqNtRMUadgGBG{LALrNuRXUbdhGCG|LBLsNvRcUcdiGDG}LCLtNwRnUddjGEG~LDLvNxRyUedkGFH?LELwNySDUfdlGGGRLFLxN{SOUgdmGHGSLGLyN|S[UhaOBGCbDLPcRmS[SbdnGIGTLILzN}SfUidoGJGULJL{N~SqUjdqGLGWLKL|O?S|UldrGMGXLLL}O@TGUmdsGNGYLMLPOATRUndtGOGZLNLQOBT]UoduGPG[LOLROCThUpdvGQG\KcLTODTsUqdwFeG]KdLUOFT~UrdxFfG^KeLVNZUJUsaPBHCmDMPdRoScSfdyFgG_KfLWN[UUUtdzFhG`KhLXNYN\Uud|FiGbKiLYN]NdUwd}FkGcKjLZN^NoUxd~FlGdKkL[N_NzUye?FmGeKlL\N`OEUze@FnGfKmL]NaOPU{eAFoGgKnL`NbO[U|eBFpGhKoLaNcOfU}eCFqGiKpLbNeOqU~aQBJCxDPPeRpSdSqeDFrGjKqLcNfO}V?eEFsGkKsLdNgPHV@eGFtGnKtLeNhPSVBeHFvGoKuLfNiP^VCeIFwGpKvLgNjPiVDd]FxGqKwLhNkPtVEd^FyGrKxLiNlQ?VFd_FzGsKyLkNmQJVGd`F{GtKzLlNnQUVHdaF|GuK{LmNpQ`VI`G@LBjIsONOqQXRIUdaSBKDCDQPfRqSeS|dbF}GvK|LnNqQlVJdcF~GwK~LoNrQwVKeNGTHiLnMPO\V`eOGUHjLoMQO]VaePGWHkLpMRO^VceRGXHlLqMSO_VdeSGYH@LrMTO`VeeTGZHALsMUOaVf_BEUG[HBLtMWObVg_MEVG\HDLvMXOcVhaTBLDODRPgRrSgTG_XEWG]HELwMYOdVi_cEXG^HFLxMZOeVj_nEYG_HGLyM[OgVk_yEZG`HHLzM\OhVl`DE[GbHIL{M]OiVn`OE]GcHJL|M^OjVo`ZE^GdHKL}M_OkVp`eE_GeHLLPM`OlVq`qE`GfHMLQMbOmVr`|EaGgHOLRMcOnVsaUBMDSDZPhRsShTRaGEbGhHPLTMdOoVtaREcGiHQLUMeOpVua]EdGjHRLVMfOrVvahEeGkHSLWMgOsVwasEfGnHTLXMhOGVza~EhGoHULYMiOHV{bIEiGpHVLZMjOIVNbTEjGqHWL[L~OJVOb`EkGrHXL\M?OKVPbkElGsHZL]MAOLVQaVBNDTDePjRtSiT]bvEmGtH[L`MBOMVRenGuH\LaMCONU`VSeoGvH]LbMDOOUkVTepGwH^LcMEOQUvVUeqGyH_LdMFORVAVVesGzH`LeMGOSVLVXetG{HaLfMHOTVWVYeuG|HbLgMIOUVZVbevG}HcLhMJOVV[VmeJG~HeLiMLOWV\VyaWBODUDpPkRuSjThV|eKH?HfLkMMOXV]WDeLGRHgLlMNOYV^WOeMGSHhLmMOOZV_WZcLFGHHIKMHM|OyWgcWFHHIILMIM}OzWhcbFJHJIMMJM~O{V|cmFKHKINMLN?O~V}cxFLHLIOMMN@P?V~dCFMHMIQMNNAP@W?dOFNHOIRMONCPAW@aXBPDVD{PlRvSkTsV}dZFOHPISMPNDPBWAdeFPHQITMQNEPCWB_CDpFQHRIUMRNFPDWC_DD{FRHSIVMSNGPEWE_EEFFSHTIWMTNHPFWF_FEQFUHUIXMUNIPGWG_GE\FVHVIYMWNJPIWH_HEgFWHWHmMXNKPJWI_IErFXHXHnMYNLPKWJ_JE~FYHZHpMZNOPLWKaYBQDWEFPmRwSlT~V~_KFIFZH[HqM[NPPMWL_LFTF[H\HrM\NQPNWM_NF\F_H]HsM]NRPOWN_OF]FjH^HtM^NSPPWP_PF^FuH_HuM_NTPQWQ_QF`G@H`HvM`NUPRWR_RFaGKHaHwMbNVPTWS_SFbGVHbHxMcNWPUWT_TFcGaHcHyMdNXPVWU_UFdGmHeH{MeMkPWWVaZBRDXEQPnRxSmUJW?_VEwGxHfH|MfMmPXWW_WExHCHgH}MgMnPYWX_YEyHNHhH~MhMoPZWY_ZEzHYHiI?MiMpP[W[_[E{HdHjI@MjMqP\W\_\E|HkHoIAL~MrP]W]_]F?HlHzIBM?MsP_W^f@H@ICIEMAMtP`W_fAHAIDIPMBMuPaW`fBHBIFI\MCMvOtWaa[AfDYE\PoRzSnUUW@fCHDIGIgMDMxOuWbfDHEIHIrMEMyOvWcfEHFIII}MFMzOwWdcAFFHGIJMGM{OxWf_bFnHrJ@JbMxN}QLXN_dFoHsJAJcMyN~QMXO_eFpHtJBJeMzO?QNXP_fFqHuJCJfM{O@PbXR_gFrHvJDJgM|OAPcXS_hFsHwJEJhM}OBPdXTa\AgD[EgNYPpR{SoWA_iFtHxJFJiM~OCPeXU_jFvHyJGJjN?ODPfWi_kFwH{IZJkN@OFPgWj_lFxH|I]JlNANZPhWk_mFyH}I^JmNCN[PjWl_oFzH~I_JnNDN\PkWm_pF{I?I`JqNEN]PlWn_qF|I@IaJrNFN^PmWo_rF}IAIbJsNGN_PnWq_sF~IBIcJtNHN`PoWr") # List of graphs to process graphs = [('Z_40 x(22)Z_41 ', G22), (' Z_40 x(24)Z_41', G24)] def check_all_isomorphisms(graph_list): n = len(graph_list) print("\n Isomorphism check of all pairs (a dot means non isomorphic):") for i in range(n): label_i, G_i = graph_list[i] for j in range(i + 1, n): label_j, G_j = graph_list[j] if G_i.is_isomorphic(G_j): print(f"\n{label_i} is isomorphic to {label_j}") else: print(".", end="") print() # Newline at the end def count_k_cycles(G, k): count = 0 visited = set() def dfs(path, start, depth): nonlocal count current = path[-1] # Early exit if we?re going too deep if depth == k: if start in G.neighbors(current): # Normalize to avoid duplicates cycle = tuple(sorted(path)) if cycle not in visited: visited.add(cycle) count += 1 return for neighbor in G.neighbors(current): if neighbor not in path and neighbor >= start: dfs(path + [neighbor], start, depth + 1) for v in G.vertices(): dfs([v], v, 1) return count # each cycle counted twice (once forward, once reverse) def algebraic_connectivity(G): """ Compute the algebraic connectivity (Fiedler value) of a graph G. INPUT: - G: a SageMath Graph OUTPUT: - The second-smallest eigenvalue of the Laplacian matrix of G """ L = G.laplacian_matrix() eigenvalues = L.eigenvalues() eigenvalues.sort() if len(eigenvalues) < 2: return 0 # Trivial case: empty or isolated vertex graph return eigenvalues[1] def domination_number(G): """ Compute the domination number of a graph G using MILP. INPUT: - G: a SageMath Graph OUTPUT: - The domination number (integer) """ p = MixedIntegerLinearProgram(maximization=False) x = p.new_variable(binary=True) # Objective: minimize the number of chosen vertices p.set_objective(sum(x[v] for v in G.vertices())) # Constraint: each vertex is dominated for v in G.vertices(): p.add_constraint(x[v] + sum(x[u] for u in G.neighbors(v)) >= 1) return p.solve() # Print properties for each graph in the list print("\n Main properties of the graphs\n") for label, graph in graphs: print(f"{label} | Order: {graph.order()} / Size: {graph.size()} / 9-reg.? {graph.is_regular(k=9)} " f" / Girth: {graph.girth()} / Diam.: {graph.diameter()} / Avg.dist: {graph.average_distance().n(digits=6)}") # / Alg.connect. {algebraic_connectivity(graph).n(digits=6)}} Domin. number: {domination_number(graph)}") print("\n Symmetry properties of the graphs\n") for label, graph in graphs: print(f"{label} | Aut.group.ord.: {graph.automorphism_group().order()} / Cayley ? {graph.is_cayley()} --- vtx.trans. ? {graph.is_vertex_transitive()} -- edge.trans. ? {graph.is_edge_transitive()}" ) # Check isomorphisms # print(f"Are isomorphic G5 and G6? {G5.is_isomorphic(G6)}") check_all_isomorphisms(graphs) # Compute the distance distribution from a given vertex v in graph G # Returns a list where the i-th element is the number of vertices at distance i from v def distance_distribution(G, v): from collections import Counter distances = G.shortest_path_lengths(v) distribution = Counter(distances.values()) result = [distribution[d] for d in sorted(distribution)] return result print("\n") for label, graph in graphs: print(f"{label} distance distrib: {distance_distribution(graph, 0)}") ## Counting k-cycles for each graph #print("\nNumber of k-cycles for k=3 up to 10") #for label, graph in graphs: # print(f"{label} ", " ".join(str(count_k_cycles(graph, k)) for k in range(3, 11))) # #print("\n") ##