]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/tests/TPTP/maxweight.txt
auto => autobatch
[helm.git] / helm / software / matita / tests / TPTP / maxweight.txt
1 log.ALG005-1.ma.gz:max weight: 21
2 log.ALG006-1.ma.gz:max weight: 18
3 log.ALG007-1.ma.gz:max weight: 18
4 log.BOO001-1.ma.gz:max weight: 21
5 log.BOO002-1.ma.gz:max weight: 26
6 log.BOO002-2.ma.gz:max weight: 26
7 log.BOO003-2.ma.gz:max weight: 13
8 log.BOO003-4.ma.gz:max weight: 15
9 log.BOO004-2.ma.gz:max weight: 10
10 log.BOO004-4.ma.gz:max weight: 10
11 log.BOO005-2.ma.gz:max weight: 9
12 log.BOO005-4.ma.gz:max weight: 9
13 log.BOO006-2.ma.gz:max weight: 17
14 log.BOO006-4.ma.gz:max weight: 9
15 log.BOO007-2.ma.gz:max weight: 19
16 log.BOO007-4.ma.gz:max weight: 19
17 log.BOO008-2.ma.gz:max weight: 19
18 log.BOO008-4.ma.gz:max weight: 20
19 log.BOO009-2.ma.gz:max weight: 14
20 log.BOO009-4.ma.gz:max weight: 14
21 log.BOO010-2.ma.gz:max weight: 14
22 log.BOO010-4.ma.gz:max weight: 14
23 log.BOO011-2.ma.gz:max weight: 2
24 log.BOO011-4.ma.gz:max weight: 5
25 log.BOO012-2.ma.gz:max weight: 18
26 log.BOO012-4.ma.gz:max weight: 18
27 log.BOO013-2.ma.gz:max weight: 10
28 log.BOO013-4.ma.gz:max weight: 16
29 log.BOO014-2.ma.gz:max weight: 18
30 log.BOO014-4.ma.gz:max weight: 18
31 log.BOO015-2.ma.gz:max weight: 18
32 log.BOO015-4.ma.gz:max weight: 18
33 log.BOO016-2.ma.gz:max weight: 17
34 log.BOO017-2.ma.gz:max weight: 16
35 log.BOO018-4.ma.gz:max weight: 5
36 log.BOO021-1.ma.gz:max weight: 10
37 log.BOO022-1.ma.gz:max weight: 18
38 log.BOO023-1.ma.gz:max weight: 23
39 log.BOO024-1.ma.gz:max weight: 14
40 log.BOO025-1.ma.gz:max weight: 32
41 log.BOO026-1.ma.gz:max weight: 21
42 log.BOO029-1.ma.gz:max weight: 13
43 log.BOO034-1.ma.gz:max weight: 20
44 log.BOO068-1.ma.gz:max weight: 37
45 log.BOO069-1.ma.gz:max weight: 36
46 log.BOO070-1.ma.gz:max weight: 37
47 log.BOO071-1.ma.gz:max weight: 36
48 log.BOO072-1.ma.gz:max weight: 28
49 log.BOO074-1.ma.gz:max weight: 27
50 log.BOO075-1.ma.gz:max weight: 34
51 log.COL001-1.ma.gz:max weight: 26
52 log.COL001-2.ma.gz:max weight: 23
53 log.COL002-1.ma.gz:max weight: 23
54 log.COL004-3.ma.gz:max weight: 20
55 log.COL007-1.ma.gz:max weight: 0
56 log.COL008-1.ma.gz:max weight: 11
57 log.COL009-1.ma.gz:max weight: 18
58 log.COL010-1.ma.gz:max weight: 23
59 log.COL012-1.ma.gz:max weight: 0
60 log.COL013-1.ma.gz:max weight: 0
61 log.COL014-1.ma.gz:max weight: 0
62 log.COL015-1.ma.gz:max weight: 11
63 log.COL016-1.ma.gz:max weight: 0
64 log.COL017-1.ma.gz:max weight: 11
65 log.COL018-1.ma.gz:max weight: 0
66 log.COL019-1.ma.gz:max weight: 23
67 log.COL021-1.ma.gz:max weight: 11
68 log.COL022-1.ma.gz:max weight: 11
69 log.COL024-1.ma.gz:max weight: 11
70 log.COL025-1.ma.gz:max weight: 17
71 log.COL029-1.ma.gz:max weight: 0
72 log.COL030-1.ma.gz:max weight: 13
73 log.COL031-1.ma.gz:max weight: 0
74 log.COL032-1.ma.gz:max weight: 0
75 log.COL033-1.ma.gz:max weight: 16
76 log.COL034-1.ma.gz:max weight: 0
77 log.COL039-1.ma.gz:max weight: 11
78 log.COL041-1.ma.gz:max weight: 0
79 log.COL045-1.ma.gz:max weight: 11
80 log.COL048-1.ma.gz:max weight: 17
81 log.COL049-1.ma.gz:max weight: 17
82 log.COL050-1.ma.gz:max weight: 9
83 log.COL051-1.ma.gz:max weight: 9
84 log.COL053-1.ma.gz:max weight: 0
85 log.COL056-1.ma.gz:max weight: 6
86 log.COL058-1.ma.gz:max weight: 0
87 log.COL058-2.ma.gz:max weight: 10
88 log.COL058-3.ma.gz:max weight: 10
89 log.COL060-1.ma.gz:max weight: 0
90 log.COL060-2.ma.gz:max weight: 0
91 log.COL060-3.ma.gz:max weight: 0
92 log.COL061-1.ma.gz:max weight: 0
93 log.COL061-2.ma.gz:max weight: 0
94 log.COL061-3.ma.gz:max weight: 0
95 log.COL062-2.ma.gz:max weight: 0
96 log.COL062-3.ma.gz:max weight: 0
97 log.COL063-2.ma.gz:max weight: 0
98 log.COL063-3.ma.gz:max weight: 0
99 log.COL063-4.ma.gz:max weight: 0
100 log.COL063-5.ma.gz:max weight: 0
101 log.COL063-6.ma.gz:max weight: 0
102 log.COL064-2.ma.gz:max weight: 0
103 log.COL064-3.ma.gz:max weight: 0
104 log.COL064-4.ma.gz:max weight: 0
105 log.COL064-5.ma.gz:max weight: 0
106 log.COL064-6.ma.gz:max weight: 0
107 log.COL064-7.ma.gz:max weight: 0
108 log.COL064-8.ma.gz:max weight: 0
109 log.COL064-9.ma.gz:max weight: 0
110 log.COL066-2.ma.gz:max weight: 21
111 log.COL066-3.ma.gz:max weight: 21
112 log.COL075-2.ma.gz:max weight: 23
113 log.COL083-1.ma.gz:max weight: 0
114 log.COL084-1.ma.gz:max weight: 0
115 log.COL085-1.ma.gz:max weight: 0
116 log.COL086-1.ma.gz:max weight: 0
117 log.GRP001-2.ma.gz:max weight: 7
118 log.GRP001-4.ma.gz:max weight: 7
119 log.GRP002-2.ma.gz:max weight: 22
120 log.GRP002-3.ma.gz:max weight: 23
121 log.GRP002-4.ma.gz:max weight: 23
122 log.GRP010-4.ma.gz:max weight: 8
123 log.GRP011-4.ma.gz:max weight: 12
124 log.GRP012-4.ma.gz:max weight: 8
125 log.GRP014-1.ma.gz:max weight: 39
126 log.GRP022-2.ma.gz:max weight: 9
127 log.GRP023-2.ma.gz:max weight: 2
128 log.GRP114-1.ma.gz:max weight: 18
129 log.GRP115-1.ma.gz:max weight: 18
130 log.GRP116-1.ma.gz:max weight: 18
131 log.GRP117-1.ma.gz:max weight: 18
132 log.GRP118-1.ma.gz:max weight: 19
133 log.GRP119-1.ma.gz:max weight: 68
134 log.GRP120-1.ma.gz:max weight: 68
135 log.GRP121-1.ma.gz:max weight: 68
136 log.GRP122-1.ma.gz:max weight: 69
137 log.GRP136-1.ma.gz:max weight: 4
138 log.GRP137-1.ma.gz:max weight: 4
139 log.GRP138-1.ma.gz:max weight: 7
140 log.GRP139-1.ma.gz:max weight: 16
141 log.GRP140-1.ma.gz:max weight: 7
142 log.GRP141-1.ma.gz:max weight: 16
143 log.GRP142-1.ma.gz:max weight: 0
144 log.GRP143-1.ma.gz:max weight: 6
145 log.GRP144-1.ma.gz:max weight: 6
146 log.GRP145-1.ma.gz:max weight: 16
147 log.GRP146-1.ma.gz:max weight: 16
148 log.GRP147-1.ma.gz:max weight: 7
149 log.GRP148-1.ma.gz:max weight: 7
150 log.GRP149-1.ma.gz:max weight: 16
151 log.GRP150-1.ma.gz:max weight: 6
152 log.GRP151-1.ma.gz:max weight: 0
153 log.GRP152-1.ma.gz:max weight: 16
154 log.GRP153-1.ma.gz:max weight: 6
155 log.GRP154-1.ma.gz:max weight: 3
156 log.GRP155-1.ma.gz:max weight: 3
157 log.GRP156-1.ma.gz:max weight: 4
158 log.GRP157-1.ma.gz:max weight: 3
159 log.GRP158-1.ma.gz:max weight: 3
160 log.GRP159-1.ma.gz:max weight: 7
161 log.GRP160-1.ma.gz:max weight: 0
162 log.GRP161-1.ma.gz:max weight: 0
163 log.GRP162-1.ma.gz:max weight: 7
164 log.GRP163-1.ma.gz:max weight: 7
165 log.GRP165-1.ma.gz:max weight: 14
166 log.GRP165-2.ma.gz:max weight: 15
167 log.GRP166-1.ma.gz:max weight: 21
168 log.GRP166-3.ma.gz:max weight: 14
169 log.GRP166-4.ma.gz:max weight: 15
170 log.GRP167-1.ma.gz:max weight: 18
171 log.GRP167-2.ma.gz:max weight: 18
172 log.GRP167-3.ma.gz:max weight: 14
173 log.GRP167-4.ma.gz:max weight: 16
174 log.GRP167-5.ma.gz:max weight: 15
175 log.GRP168-1.ma.gz:max weight: 3
176 log.GRP168-2.ma.gz:max weight: 3
177 log.GRP169-1.ma.gz:max weight: 12
178 log.GRP169-2.ma.gz:max weight: 13
179 log.GRP170-1.ma.gz:max weight: 14
180 log.GRP170-2.ma.gz:max weight: 14
181 log.GRP170-3.ma.gz:max weight: 14
182 log.GRP170-4.ma.gz:max weight: 14
183 log.GRP171-1.ma.gz:max weight: 10
184 log.GRP171-2.ma.gz:max weight: 10
185 log.GRP172-1.ma.gz:max weight: 10
186 log.GRP172-2.ma.gz:max weight: 10
187 log.GRP173-1.ma.gz:max weight: 11
188 log.GRP174-1.ma.gz:max weight: 11
189 log.GRP175-1.ma.gz:max weight: 13
190 log.GRP175-2.ma.gz:max weight: 14
191 log.GRP175-3.ma.gz:max weight: 14
192 log.GRP175-4.ma.gz:max weight: 13
193 log.GRP176-1.ma.gz:max weight: 0
194 log.GRP176-2.ma.gz:max weight: 0
195 log.GRP178-1.ma.gz:max weight: 15
196 log.GRP178-2.ma.gz:max weight: 15
197 log.GRP181-3.ma.gz:max weight: 19
198 log.GRP182-1.ma.gz:max weight: 6
199 log.GRP182-2.ma.gz:max weight: 6
200 log.GRP182-3.ma.gz:max weight: 6
201 log.GRP182-4.ma.gz:max weight: 6
202 log.GRP184-4.ma.gz:max weight: 16
203 log.GRP186-3.ma.gz:max weight: 9
204 log.GRP186-4.ma.gz:max weight: 7
205 log.GRP188-1.ma.gz:max weight: 16
206 log.GRP188-2.ma.gz:max weight: 16
207 log.GRP189-1.ma.gz:max weight: 6
208 log.GRP189-2.ma.gz:max weight: 6
209 log.GRP190-1.ma.gz:max weight: 15
210 log.GRP190-2.ma.gz:max weight: 12
211 log.GRP191-1.ma.gz:max weight: 12
212 log.GRP191-2.ma.gz:max weight: 11
213 log.GRP192-1.ma.gz:max weight: 15
214 log.GRP193-1.ma.gz:max weight: 16
215 log.GRP193-2.ma.gz:max weight: 15
216 log.GRP206-1.ma.gz:max weight: 12
217 log.GRP403-1.ma.gz:max weight: 38
218 log.GRP404-1.ma.gz:max weight: 48
219 log.GRP405-1.ma.gz:max weight: 39
220 log.GRP406-1.ma.gz:max weight: 67
221 log.GRP407-1.ma.gz:max weight: 67
222 log.GRP408-1.ma.gz:max weight: 68
223 log.GRP409-1.ma.gz:max weight: 50
224 log.GRP410-1.ma.gz:max weight: 50
225 log.GRP411-1.ma.gz:max weight: 51
226 log.GRP412-1.ma.gz:max weight: 44
227 log.GRP413-1.ma.gz:max weight: 44
228 log.GRP414-1.ma.gz:max weight: 45
229 log.GRP415-1.ma.gz:max weight: 68
230 log.GRP416-1.ma.gz:max weight: 68
231 log.GRP417-1.ma.gz:max weight: 69
232 log.GRP421-1.ma.gz:max weight: 71
233 log.GRP422-1.ma.gz:max weight: 71
234 log.GRP423-1.ma.gz:max weight: 72
235 log.GRP424-1.ma.gz:max weight: 63
236 log.GRP425-1.ma.gz:max weight: 63
237 log.GRP426-1.ma.gz:max weight: 64
238 log.GRP427-1.ma.gz:max weight: 38
239 log.GRP428-1.ma.gz:max weight: 38
240 log.GRP429-1.ma.gz:max weight: 39
241 log.GRP430-1.ma.gz:max weight: 42
242 log.GRP431-1.ma.gz:max weight: 42
243 log.GRP432-1.ma.gz:max weight: 43
244 log.GRP433-1.ma.gz:max weight: 22
245 log.GRP434-1.ma.gz:max weight: 22
246 log.GRP435-1.ma.gz:max weight: 24
247 log.GRP436-1.ma.gz:max weight: 55
248 log.GRP437-1.ma.gz:max weight: 55
249 log.GRP438-1.ma.gz:max weight: 56
250 log.GRP439-1.ma.gz:max weight: 48
251 log.GRP440-1.ma.gz:max weight: 48
252 log.GRP441-1.ma.gz:max weight: 49
253 log.GRP442-1.ma.gz:max weight: 38
254 log.GRP443-1.ma.gz:max weight: 38
255 log.GRP444-1.ma.gz:max weight: 39
256 log.GRP445-1.ma.gz:max weight: 15
257 log.GRP446-1.ma.gz:max weight: 15
258 log.GRP447-1.ma.gz:max weight: 16
259 log.GRP448-1.ma.gz:max weight: 15
260 log.GRP449-1.ma.gz:max weight: 15
261 log.GRP450-1.ma.gz:max weight: 16
262 log.GRP451-1.ma.gz:max weight: 14
263 log.GRP452-1.ma.gz:max weight: 21
264 log.GRP453-1.ma.gz:max weight: 26
265 log.GRP454-1.ma.gz:max weight: 7
266 log.GRP455-1.ma.gz:max weight: 15
267 log.GRP456-1.ma.gz:max weight: 17
268 log.GRP457-1.ma.gz:max weight: 7
269 log.GRP458-1.ma.gz:max weight: 15
270 log.GRP459-1.ma.gz:max weight: 17
271 log.GRP460-1.ma.gz:max weight: 7
272 log.GRP461-1.ma.gz:max weight: 15
273 log.GRP462-1.ma.gz:max weight: 16
274 log.GRP463-1.ma.gz:max weight: 7
275 log.GRP464-1.ma.gz:max weight: 15
276 log.GRP465-1.ma.gz:max weight: 16
277 log.GRP466-1.ma.gz:max weight: 19
278 log.GRP467-1.ma.gz:max weight: 19
279 log.GRP468-1.ma.gz:max weight: 19
280 log.GRP469-1.ma.gz:max weight: 43
281 log.GRP470-1.ma.gz:max weight: 43
282 log.GRP471-1.ma.gz:max weight: 38
283 log.GRP472-1.ma.gz:max weight: 47
284 log.GRP473-1.ma.gz:max weight: 47
285 log.GRP474-1.ma.gz:max weight: 48
286 log.GRP475-1.ma.gz:max weight: 37
287 log.GRP476-1.ma.gz:max weight: 37
288 log.GRP477-1.ma.gz:max weight: 38
289 log.GRP478-1.ma.gz:max weight: 32
290 log.GRP479-1.ma.gz:max weight: 32
291 log.GRP480-1.ma.gz:max weight: 33
292 log.GRP481-1.ma.gz:max weight: 20
293 log.GRP482-1.ma.gz:max weight: 21
294 log.GRP483-1.ma.gz:max weight: 22
295 log.GRP484-1.ma.gz:max weight: 16
296 log.GRP485-1.ma.gz:max weight: 17
297 log.GRP486-1.ma.gz:max weight: 18
298 log.GRP487-1.ma.gz:max weight: 15
299 log.GRP488-1.ma.gz:max weight: 15
300 log.GRP489-1.ma.gz:max weight: 26
301 log.GRP490-1.ma.gz:max weight: 15
302 log.GRP491-1.ma.gz:max weight: 16
303 log.GRP492-1.ma.gz:max weight: 17
304 log.GRP493-1.ma.gz:max weight: 16
305 log.GRP494-1.ma.gz:max weight: 17
306 log.GRP495-1.ma.gz:max weight: 18
307 log.GRP496-1.ma.gz:max weight: 16
308 log.GRP497-1.ma.gz:max weight: 17
309 log.GRP498-1.ma.gz:max weight: 18
310 log.GRP499-1.ma.gz:max weight: 38
311 log.GRP500-1.ma.gz:max weight: 38
312 log.GRP501-1.ma.gz:max weight: 39
313 log.GRP502-1.ma.gz:max weight: 42
314 log.GRP503-1.ma.gz:max weight: 42
315 log.GRP504-1.ma.gz:max weight: 43
316 log.GRP509-1.ma.gz:max weight: 21
317 log.GRP510-1.ma.gz:max weight: 21
318 log.GRP511-1.ma.gz:max weight: 22
319 log.GRP512-1.ma.gz:max weight: 22
320 log.GRP513-1.ma.gz:max weight: 16
321 log.GRP514-1.ma.gz:max weight: 16
322 log.GRP515-1.ma.gz:max weight: 17
323 log.GRP516-1.ma.gz:max weight: 17
324 log.GRP517-1.ma.gz:max weight: 16
325 log.GRP518-1.ma.gz:max weight: 16
326 log.GRP519-1.ma.gz:max weight: 17
327 log.GRP520-1.ma.gz:max weight: 17
328 log.GRP521-1.ma.gz:max weight: 11
329 log.GRP522-1.ma.gz:max weight: 12
330 log.GRP523-1.ma.gz:max weight: 16
331 log.GRP524-1.ma.gz:max weight: 13
332 log.GRP525-1.ma.gz:max weight: 10
333 log.GRP526-1.ma.gz:max weight: 10
334 log.GRP527-1.ma.gz:max weight: 16
335 log.GRP528-1.ma.gz:max weight: 16
336 log.GRP529-1.ma.gz:max weight: 11
337 log.GRP530-1.ma.gz:max weight: 8
338 log.GRP531-1.ma.gz:max weight: 16
339 log.GRP532-1.ma.gz:max weight: 11
340 log.GRP533-1.ma.gz:max weight: 7
341 log.GRP534-1.ma.gz:max weight: 11
342 log.GRP535-1.ma.gz:max weight: 16
343 log.GRP536-1.ma.gz:max weight: 15
344 log.GRP537-1.ma.gz:max weight: 7
345 log.GRP538-1.ma.gz:max weight: 11
346 log.GRP539-1.ma.gz:max weight: 17
347 log.GRP540-1.ma.gz:max weight: 11
348 log.GRP541-1.ma.gz:max weight: 7
349 log.GRP542-1.ma.gz:max weight: 12
350 log.GRP543-1.ma.gz:max weight: 16
351 log.GRP544-1.ma.gz:max weight: 13
352 log.GRP545-1.ma.gz:max weight: 7
353 log.GRP546-1.ma.gz:max weight: 12
354 log.GRP547-1.ma.gz:max weight: 17
355 log.GRP548-1.ma.gz:max weight: 13
356 log.GRP549-1.ma.gz:max weight: 7
357 log.GRP550-1.ma.gz:max weight: 12
358 log.GRP551-1.ma.gz:max weight: 16
359 log.GRP552-1.ma.gz:max weight: 13
360 log.GRP553-1.ma.gz:max weight: 15
361 log.GRP554-1.ma.gz:max weight: 16
362 log.GRP555-1.ma.gz:max weight: 19
363 log.GRP556-1.ma.gz:max weight: 15
364 log.GRP557-1.ma.gz:max weight: 15
365 log.GRP558-1.ma.gz:max weight: 15
366 log.GRP559-1.ma.gz:max weight: 16
367 log.GRP560-1.ma.gz:max weight: 15
368 log.GRP561-1.ma.gz:max weight: 17
369 log.GRP562-1.ma.gz:max weight: 16
370 log.GRP563-1.ma.gz:max weight: 17
371 log.GRP564-1.ma.gz:max weight: 17
372 log.GRP565-1.ma.gz:max weight: 16
373 log.GRP566-1.ma.gz:max weight: 17
374 log.GRP567-1.ma.gz:max weight: 27
375 log.GRP568-1.ma.gz:max weight: 27
376 log.GRP569-1.ma.gz:max weight: 16
377 log.GRP570-1.ma.gz:max weight: 17
378 log.GRP571-1.ma.gz:max weight: 25
379 log.GRP572-1.ma.gz:max weight: 18
380 log.GRP573-1.ma.gz:max weight: 16
381 log.GRP574-1.ma.gz:max weight: 19
382 log.GRP575-1.ma.gz:max weight: 25
383 log.GRP576-1.ma.gz:max weight: 25
384 log.GRP577-1.ma.gz:max weight: 16
385 log.GRP578-1.ma.gz:max weight: 17
386 log.GRP579-1.ma.gz:max weight: 25
387 log.GRP580-1.ma.gz:max weight: 25
388 log.GRP581-1.ma.gz:max weight: 16
389 log.GRP582-1.ma.gz:max weight: 17
390 log.GRP583-1.ma.gz:max weight: 19
391 log.GRP584-1.ma.gz:max weight: 18
392 log.GRP585-1.ma.gz:max weight: 19
393 log.GRP586-1.ma.gz:max weight: 19
394 log.GRP588-1.ma.gz:max weight: 20
395 log.GRP589-1.ma.gz:max weight: 19
396 log.GRP590-1.ma.gz:max weight: 19
397 log.GRP591-1.ma.gz:max weight: 20
398 log.GRP592-1.ma.gz:max weight: 20
399 log.GRP593-1.ma.gz:max weight: 16
400 log.GRP594-1.ma.gz:max weight: 16
401 log.GRP595-1.ma.gz:max weight: 16
402 log.GRP596-1.ma.gz:max weight: 16
403 log.GRP597-1.ma.gz:max weight: 20
404 log.GRP598-1.ma.gz:max weight: 20
405 log.GRP599-1.ma.gz:max weight: 21
406 log.GRP600-1.ma.gz:max weight: 21
407 log.GRP601-1.ma.gz:max weight: 15
408 log.GRP602-1.ma.gz:max weight: 16
409 log.GRP603-1.ma.gz:max weight: 16
410 log.GRP604-1.ma.gz:max weight: 15
411 log.GRP605-1.ma.gz:max weight: 19
412 log.GRP606-1.ma.gz:max weight: 19
413 log.GRP608-1.ma.gz:max weight: 22
414 log.GRP609-1.ma.gz:max weight: 15
415 log.GRP610-1.ma.gz:max weight: 15
416 log.GRP611-1.ma.gz:max weight: 16
417 log.GRP612-1.ma.gz:max weight: 16
418 log.GRP613-1.ma.gz:max weight: 20
419 log.GRP614-1.ma.gz:max weight: 20
420 log.GRP615-1.ma.gz:max weight: 21
421 log.GRP616-1.ma.gz:max weight: 21
422 log.LAT006-1.ma.gz:max weight: 20
423 log.LAT007-1.ma.gz:max weight: 19
424 log.LAT008-1.ma.gz:max weight: 12
425 log.LAT009-1.ma.gz:max weight: 23
426 log.LAT012-1.ma.gz:max weight: 14
427 log.LAT013-1.ma.gz:max weight: 18
428 log.LAT014-1.ma.gz:max weight: 6
429 log.LAT026-1.ma.gz:max weight: 16
430 log.LAT027-1.ma.gz:max weight: 16
431 log.LAT028-1.ma.gz:max weight: 12
432 log.LAT031-1.ma.gz:max weight: 9
433 log.LAT032-1.ma.gz:max weight: 9
434 log.LAT033-1.ma.gz:max weight: 3
435 log.LAT034-1.ma.gz:max weight: 3
436 log.LAT039-1.ma.gz:max weight: 6
437 log.LAT039-2.ma.gz:max weight: 0
438 log.LAT040-1.ma.gz:max weight: 11
439 log.LAT042-1.ma.gz:max weight: 9
440 log.LAT043-1.ma.gz:max weight: 18
441 log.LAT045-1.ma.gz:max weight: 18
442 log.LAT080-1.ma.gz:max weight: 1061
443 log.LAT083-1.ma.gz:max weight: 1061
444 log.LAT086-1.ma.gz:max weight: 1060
445 log.LAT087-1.ma.gz:max weight: 1060
446 log.LAT088-1.ma.gz:max weight: 16
447 log.LAT089-1.ma.gz:max weight: 16
448 log.LAT090-1.ma.gz:max weight: 16
449 log.LAT091-1.ma.gz:max weight: 21
450 log.LAT092-1.ma.gz:max weight: 991
451 log.LAT093-1.ma.gz:max weight: 991
452 log.LAT094-1.ma.gz:max weight: 991
453 log.LAT095-1.ma.gz:max weight: 991
454 log.LAT096-1.ma.gz:max weight: 990
455 log.LAT097-1.ma.gz:max weight: 990
456 log.LAT168-1.ma.gz:max weight: 16
457 log.LAT171-1.ma.gz:max weight: 16
458 log.LCL110-2.ma.gz:max weight: 12
459 log.LCL111-2.ma.gz:max weight: 17
460 log.LCL112-2.ma.gz:max weight: 14
461 log.LCL113-2.ma.gz:max weight: 12
462 log.LCL114-2.ma.gz:max weight: 12
463 log.LCL115-2.ma.gz:max weight: 13
464 log.LCL116-2.ma.gz:max weight: 13
465 log.LCL132-1.ma.gz:max weight: 9
466 log.LCL133-1.ma.gz:max weight: 11
467 log.LCL134-1.ma.gz:max weight: 9
468 log.LCL135-1.ma.gz:max weight: 9
469 log.LCL139-1.ma.gz:max weight: 12
470 log.LCL140-1.ma.gz:max weight: 14
471 log.LCL141-1.ma.gz:max weight: 14
472 log.LCL153-1.ma.gz:max weight: 10
473 log.LCL154-1.ma.gz:max weight: 12
474 log.LCL155-1.ma.gz:max weight: 12
475 log.LCL156-1.ma.gz:max weight: 11
476 log.LCL157-1.ma.gz:max weight: 12
477 log.LCL158-1.ma.gz:max weight: 15
478 log.LCL159-1.ma.gz:max weight: 16
479 log.LCL161-1.ma.gz:max weight: 9
480 log.LCL163-1.ma.gz:max weight: 34
481 log.LCL164-1.ma.gz:max weight: 12
482 log.LDA001-1.ma.gz:max weight: 7
483 log.LDA002-1.ma.gz:max weight: 11
484 log.LDA007-3.ma.gz:max weight: 8
485 log.RNG007-4.ma.gz:max weight: 7
486 log.RNG008-3.ma.gz:max weight: 17
487 log.RNG008-4.ma.gz:max weight: 17
488 log.RNG008-7.ma.gz:max weight: 22
489 log.RNG011-5.ma.gz:max weight: 0
490 log.RNG012-6.ma.gz:max weight: 12
491 log.RNG013-6.ma.gz:max weight: 12
492 log.RNG014-6.ma.gz:max weight: 12
493 log.RNG015-6.ma.gz:max weight: 11
494 log.RNG016-6.ma.gz:max weight: 11
495 log.RNG017-6.ma.gz:max weight: 11
496 log.RNG018-6.ma.gz:max weight: 11
497 log.RNG023-6.ma.gz:max weight: 15
498 log.RNG023-7.ma.gz:max weight: 15
499 log.RNG024-6.ma.gz:max weight: 15
500 log.RNG024-7.ma.gz:max weight: 15
501 log.ROB002-1.ma.gz:max weight: 10
502 log.ROB003-1.ma.gz:max weight: 17
503 log.ROB004-1.ma.gz:max weight: 22
504 log.ROB008-1.ma.gz:max weight: 17
505 log.ROB009-1.ma.gz:max weight: 18
506 log.ROB010-1.ma.gz:max weight: 7
507 log.ROB013-1.ma.gz:max weight: 8
508 log.ROB030-1.ma.gz:max weight: 5
509 log.SYN080-1.ma.gz:max weight: 0
510 log.SYN083-1.ma.gz:max weight: 0