]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/tests/TPTP/maxweight.txt
branch for universe
[helm.git] / matita / tests / TPTP / maxweight.txt
diff --git a/matita/tests/TPTP/maxweight.txt b/matita/tests/TPTP/maxweight.txt
new file mode 100644 (file)
index 0000000..a92e1b3
--- /dev/null
@@ -0,0 +1,510 @@
+log.ALG005-1.ma.gz:max weight: 21
+log.ALG006-1.ma.gz:max weight: 18
+log.ALG007-1.ma.gz:max weight: 18
+log.BOO001-1.ma.gz:max weight: 21
+log.BOO002-1.ma.gz:max weight: 26
+log.BOO002-2.ma.gz:max weight: 26
+log.BOO003-2.ma.gz:max weight: 13
+log.BOO003-4.ma.gz:max weight: 15
+log.BOO004-2.ma.gz:max weight: 10
+log.BOO004-4.ma.gz:max weight: 10
+log.BOO005-2.ma.gz:max weight: 9
+log.BOO005-4.ma.gz:max weight: 9
+log.BOO006-2.ma.gz:max weight: 17
+log.BOO006-4.ma.gz:max weight: 9
+log.BOO007-2.ma.gz:max weight: 19
+log.BOO007-4.ma.gz:max weight: 19
+log.BOO008-2.ma.gz:max weight: 19
+log.BOO008-4.ma.gz:max weight: 20
+log.BOO009-2.ma.gz:max weight: 14
+log.BOO009-4.ma.gz:max weight: 14
+log.BOO010-2.ma.gz:max weight: 14
+log.BOO010-4.ma.gz:max weight: 14
+log.BOO011-2.ma.gz:max weight: 2
+log.BOO011-4.ma.gz:max weight: 5
+log.BOO012-2.ma.gz:max weight: 18
+log.BOO012-4.ma.gz:max weight: 18
+log.BOO013-2.ma.gz:max weight: 10
+log.BOO013-4.ma.gz:max weight: 16
+log.BOO014-2.ma.gz:max weight: 18
+log.BOO014-4.ma.gz:max weight: 18
+log.BOO015-2.ma.gz:max weight: 18
+log.BOO015-4.ma.gz:max weight: 18
+log.BOO016-2.ma.gz:max weight: 17
+log.BOO017-2.ma.gz:max weight: 16
+log.BOO018-4.ma.gz:max weight: 5
+log.BOO021-1.ma.gz:max weight: 10
+log.BOO022-1.ma.gz:max weight: 18
+log.BOO023-1.ma.gz:max weight: 23
+log.BOO024-1.ma.gz:max weight: 14
+log.BOO025-1.ma.gz:max weight: 32
+log.BOO026-1.ma.gz:max weight: 21
+log.BOO029-1.ma.gz:max weight: 13
+log.BOO034-1.ma.gz:max weight: 20
+log.BOO068-1.ma.gz:max weight: 37
+log.BOO069-1.ma.gz:max weight: 36
+log.BOO070-1.ma.gz:max weight: 37
+log.BOO071-1.ma.gz:max weight: 36
+log.BOO072-1.ma.gz:max weight: 28
+log.BOO074-1.ma.gz:max weight: 27
+log.BOO075-1.ma.gz:max weight: 34
+log.COL001-1.ma.gz:max weight: 26
+log.COL001-2.ma.gz:max weight: 23
+log.COL002-1.ma.gz:max weight: 23
+log.COL004-3.ma.gz:max weight: 20
+log.COL007-1.ma.gz:max weight: 0
+log.COL008-1.ma.gz:max weight: 11
+log.COL009-1.ma.gz:max weight: 18
+log.COL010-1.ma.gz:max weight: 23
+log.COL012-1.ma.gz:max weight: 0
+log.COL013-1.ma.gz:max weight: 0
+log.COL014-1.ma.gz:max weight: 0
+log.COL015-1.ma.gz:max weight: 11
+log.COL016-1.ma.gz:max weight: 0
+log.COL017-1.ma.gz:max weight: 11
+log.COL018-1.ma.gz:max weight: 0
+log.COL019-1.ma.gz:max weight: 23
+log.COL021-1.ma.gz:max weight: 11
+log.COL022-1.ma.gz:max weight: 11
+log.COL024-1.ma.gz:max weight: 11
+log.COL025-1.ma.gz:max weight: 17
+log.COL029-1.ma.gz:max weight: 0
+log.COL030-1.ma.gz:max weight: 13
+log.COL031-1.ma.gz:max weight: 0
+log.COL032-1.ma.gz:max weight: 0
+log.COL033-1.ma.gz:max weight: 16
+log.COL034-1.ma.gz:max weight: 0
+log.COL039-1.ma.gz:max weight: 11
+log.COL041-1.ma.gz:max weight: 0
+log.COL045-1.ma.gz:max weight: 11
+log.COL048-1.ma.gz:max weight: 17
+log.COL049-1.ma.gz:max weight: 17
+log.COL050-1.ma.gz:max weight: 9
+log.COL051-1.ma.gz:max weight: 9
+log.COL053-1.ma.gz:max weight: 0
+log.COL056-1.ma.gz:max weight: 6
+log.COL058-1.ma.gz:max weight: 0
+log.COL058-2.ma.gz:max weight: 10
+log.COL058-3.ma.gz:max weight: 10
+log.COL060-1.ma.gz:max weight: 0
+log.COL060-2.ma.gz:max weight: 0
+log.COL060-3.ma.gz:max weight: 0
+log.COL061-1.ma.gz:max weight: 0
+log.COL061-2.ma.gz:max weight: 0
+log.COL061-3.ma.gz:max weight: 0
+log.COL062-2.ma.gz:max weight: 0
+log.COL062-3.ma.gz:max weight: 0
+log.COL063-2.ma.gz:max weight: 0
+log.COL063-3.ma.gz:max weight: 0
+log.COL063-4.ma.gz:max weight: 0
+log.COL063-5.ma.gz:max weight: 0
+log.COL063-6.ma.gz:max weight: 0
+log.COL064-2.ma.gz:max weight: 0
+log.COL064-3.ma.gz:max weight: 0
+log.COL064-4.ma.gz:max weight: 0
+log.COL064-5.ma.gz:max weight: 0
+log.COL064-6.ma.gz:max weight: 0
+log.COL064-7.ma.gz:max weight: 0
+log.COL064-8.ma.gz:max weight: 0
+log.COL064-9.ma.gz:max weight: 0
+log.COL066-2.ma.gz:max weight: 21
+log.COL066-3.ma.gz:max weight: 21
+log.COL075-2.ma.gz:max weight: 23
+log.COL083-1.ma.gz:max weight: 0
+log.COL084-1.ma.gz:max weight: 0
+log.COL085-1.ma.gz:max weight: 0
+log.COL086-1.ma.gz:max weight: 0
+log.GRP001-2.ma.gz:max weight: 7
+log.GRP001-4.ma.gz:max weight: 7
+log.GRP002-2.ma.gz:max weight: 22
+log.GRP002-3.ma.gz:max weight: 23
+log.GRP002-4.ma.gz:max weight: 23
+log.GRP010-4.ma.gz:max weight: 8
+log.GRP011-4.ma.gz:max weight: 12
+log.GRP012-4.ma.gz:max weight: 8
+log.GRP014-1.ma.gz:max weight: 39
+log.GRP022-2.ma.gz:max weight: 9
+log.GRP023-2.ma.gz:max weight: 2
+log.GRP114-1.ma.gz:max weight: 18
+log.GRP115-1.ma.gz:max weight: 18
+log.GRP116-1.ma.gz:max weight: 18
+log.GRP117-1.ma.gz:max weight: 18
+log.GRP118-1.ma.gz:max weight: 19
+log.GRP119-1.ma.gz:max weight: 68
+log.GRP120-1.ma.gz:max weight: 68
+log.GRP121-1.ma.gz:max weight: 68
+log.GRP122-1.ma.gz:max weight: 69
+log.GRP136-1.ma.gz:max weight: 4
+log.GRP137-1.ma.gz:max weight: 4
+log.GRP138-1.ma.gz:max weight: 7
+log.GRP139-1.ma.gz:max weight: 16
+log.GRP140-1.ma.gz:max weight: 7
+log.GRP141-1.ma.gz:max weight: 16
+log.GRP142-1.ma.gz:max weight: 0
+log.GRP143-1.ma.gz:max weight: 6
+log.GRP144-1.ma.gz:max weight: 6
+log.GRP145-1.ma.gz:max weight: 16
+log.GRP146-1.ma.gz:max weight: 16
+log.GRP147-1.ma.gz:max weight: 7
+log.GRP148-1.ma.gz:max weight: 7
+log.GRP149-1.ma.gz:max weight: 16
+log.GRP150-1.ma.gz:max weight: 6
+log.GRP151-1.ma.gz:max weight: 0
+log.GRP152-1.ma.gz:max weight: 16
+log.GRP153-1.ma.gz:max weight: 6
+log.GRP154-1.ma.gz:max weight: 3
+log.GRP155-1.ma.gz:max weight: 3
+log.GRP156-1.ma.gz:max weight: 4
+log.GRP157-1.ma.gz:max weight: 3
+log.GRP158-1.ma.gz:max weight: 3
+log.GRP159-1.ma.gz:max weight: 7
+log.GRP160-1.ma.gz:max weight: 0
+log.GRP161-1.ma.gz:max weight: 0
+log.GRP162-1.ma.gz:max weight: 7
+log.GRP163-1.ma.gz:max weight: 7
+log.GRP165-1.ma.gz:max weight: 14
+log.GRP165-2.ma.gz:max weight: 15
+log.GRP166-1.ma.gz:max weight: 21
+log.GRP166-3.ma.gz:max weight: 14
+log.GRP166-4.ma.gz:max weight: 15
+log.GRP167-1.ma.gz:max weight: 18
+log.GRP167-2.ma.gz:max weight: 18
+log.GRP167-3.ma.gz:max weight: 14
+log.GRP167-4.ma.gz:max weight: 16
+log.GRP167-5.ma.gz:max weight: 15
+log.GRP168-1.ma.gz:max weight: 3
+log.GRP168-2.ma.gz:max weight: 3
+log.GRP169-1.ma.gz:max weight: 12
+log.GRP169-2.ma.gz:max weight: 13
+log.GRP170-1.ma.gz:max weight: 14
+log.GRP170-2.ma.gz:max weight: 14
+log.GRP170-3.ma.gz:max weight: 14
+log.GRP170-4.ma.gz:max weight: 14
+log.GRP171-1.ma.gz:max weight: 10
+log.GRP171-2.ma.gz:max weight: 10
+log.GRP172-1.ma.gz:max weight: 10
+log.GRP172-2.ma.gz:max weight: 10
+log.GRP173-1.ma.gz:max weight: 11
+log.GRP174-1.ma.gz:max weight: 11
+log.GRP175-1.ma.gz:max weight: 13
+log.GRP175-2.ma.gz:max weight: 14
+log.GRP175-3.ma.gz:max weight: 14
+log.GRP175-4.ma.gz:max weight: 13
+log.GRP176-1.ma.gz:max weight: 0
+log.GRP176-2.ma.gz:max weight: 0
+log.GRP178-1.ma.gz:max weight: 15
+log.GRP178-2.ma.gz:max weight: 15
+log.GRP181-3.ma.gz:max weight: 19
+log.GRP182-1.ma.gz:max weight: 6
+log.GRP182-2.ma.gz:max weight: 6
+log.GRP182-3.ma.gz:max weight: 6
+log.GRP182-4.ma.gz:max weight: 6
+log.GRP184-4.ma.gz:max weight: 16
+log.GRP186-3.ma.gz:max weight: 9
+log.GRP186-4.ma.gz:max weight: 7
+log.GRP188-1.ma.gz:max weight: 16
+log.GRP188-2.ma.gz:max weight: 16
+log.GRP189-1.ma.gz:max weight: 6
+log.GRP189-2.ma.gz:max weight: 6
+log.GRP190-1.ma.gz:max weight: 15
+log.GRP190-2.ma.gz:max weight: 12
+log.GRP191-1.ma.gz:max weight: 12
+log.GRP191-2.ma.gz:max weight: 11
+log.GRP192-1.ma.gz:max weight: 15
+log.GRP193-1.ma.gz:max weight: 16
+log.GRP193-2.ma.gz:max weight: 15
+log.GRP206-1.ma.gz:max weight: 12
+log.GRP403-1.ma.gz:max weight: 38
+log.GRP404-1.ma.gz:max weight: 48
+log.GRP405-1.ma.gz:max weight: 39
+log.GRP406-1.ma.gz:max weight: 67
+log.GRP407-1.ma.gz:max weight: 67
+log.GRP408-1.ma.gz:max weight: 68
+log.GRP409-1.ma.gz:max weight: 50
+log.GRP410-1.ma.gz:max weight: 50
+log.GRP411-1.ma.gz:max weight: 51
+log.GRP412-1.ma.gz:max weight: 44
+log.GRP413-1.ma.gz:max weight: 44
+log.GRP414-1.ma.gz:max weight: 45
+log.GRP415-1.ma.gz:max weight: 68
+log.GRP416-1.ma.gz:max weight: 68
+log.GRP417-1.ma.gz:max weight: 69
+log.GRP421-1.ma.gz:max weight: 71
+log.GRP422-1.ma.gz:max weight: 71
+log.GRP423-1.ma.gz:max weight: 72
+log.GRP424-1.ma.gz:max weight: 63
+log.GRP425-1.ma.gz:max weight: 63
+log.GRP426-1.ma.gz:max weight: 64
+log.GRP427-1.ma.gz:max weight: 38
+log.GRP428-1.ma.gz:max weight: 38
+log.GRP429-1.ma.gz:max weight: 39
+log.GRP430-1.ma.gz:max weight: 42
+log.GRP431-1.ma.gz:max weight: 42
+log.GRP432-1.ma.gz:max weight: 43
+log.GRP433-1.ma.gz:max weight: 22
+log.GRP434-1.ma.gz:max weight: 22
+log.GRP435-1.ma.gz:max weight: 24
+log.GRP436-1.ma.gz:max weight: 55
+log.GRP437-1.ma.gz:max weight: 55
+log.GRP438-1.ma.gz:max weight: 56
+log.GRP439-1.ma.gz:max weight: 48
+log.GRP440-1.ma.gz:max weight: 48
+log.GRP441-1.ma.gz:max weight: 49
+log.GRP442-1.ma.gz:max weight: 38
+log.GRP443-1.ma.gz:max weight: 38
+log.GRP444-1.ma.gz:max weight: 39
+log.GRP445-1.ma.gz:max weight: 15
+log.GRP446-1.ma.gz:max weight: 15
+log.GRP447-1.ma.gz:max weight: 16
+log.GRP448-1.ma.gz:max weight: 15
+log.GRP449-1.ma.gz:max weight: 15
+log.GRP450-1.ma.gz:max weight: 16
+log.GRP451-1.ma.gz:max weight: 14
+log.GRP452-1.ma.gz:max weight: 21
+log.GRP453-1.ma.gz:max weight: 26
+log.GRP454-1.ma.gz:max weight: 7
+log.GRP455-1.ma.gz:max weight: 15
+log.GRP456-1.ma.gz:max weight: 17
+log.GRP457-1.ma.gz:max weight: 7
+log.GRP458-1.ma.gz:max weight: 15
+log.GRP459-1.ma.gz:max weight: 17
+log.GRP460-1.ma.gz:max weight: 7
+log.GRP461-1.ma.gz:max weight: 15
+log.GRP462-1.ma.gz:max weight: 16
+log.GRP463-1.ma.gz:max weight: 7
+log.GRP464-1.ma.gz:max weight: 15
+log.GRP465-1.ma.gz:max weight: 16
+log.GRP466-1.ma.gz:max weight: 19
+log.GRP467-1.ma.gz:max weight: 19
+log.GRP468-1.ma.gz:max weight: 19
+log.GRP469-1.ma.gz:max weight: 43
+log.GRP470-1.ma.gz:max weight: 43
+log.GRP471-1.ma.gz:max weight: 38
+log.GRP472-1.ma.gz:max weight: 47
+log.GRP473-1.ma.gz:max weight: 47
+log.GRP474-1.ma.gz:max weight: 48
+log.GRP475-1.ma.gz:max weight: 37
+log.GRP476-1.ma.gz:max weight: 37
+log.GRP477-1.ma.gz:max weight: 38
+log.GRP478-1.ma.gz:max weight: 32
+log.GRP479-1.ma.gz:max weight: 32
+log.GRP480-1.ma.gz:max weight: 33
+log.GRP481-1.ma.gz:max weight: 20
+log.GRP482-1.ma.gz:max weight: 21
+log.GRP483-1.ma.gz:max weight: 22
+log.GRP484-1.ma.gz:max weight: 16
+log.GRP485-1.ma.gz:max weight: 17
+log.GRP486-1.ma.gz:max weight: 18
+log.GRP487-1.ma.gz:max weight: 15
+log.GRP488-1.ma.gz:max weight: 15
+log.GRP489-1.ma.gz:max weight: 26
+log.GRP490-1.ma.gz:max weight: 15
+log.GRP491-1.ma.gz:max weight: 16
+log.GRP492-1.ma.gz:max weight: 17
+log.GRP493-1.ma.gz:max weight: 16
+log.GRP494-1.ma.gz:max weight: 17
+log.GRP495-1.ma.gz:max weight: 18
+log.GRP496-1.ma.gz:max weight: 16
+log.GRP497-1.ma.gz:max weight: 17
+log.GRP498-1.ma.gz:max weight: 18
+log.GRP499-1.ma.gz:max weight: 38
+log.GRP500-1.ma.gz:max weight: 38
+log.GRP501-1.ma.gz:max weight: 39
+log.GRP502-1.ma.gz:max weight: 42
+log.GRP503-1.ma.gz:max weight: 42
+log.GRP504-1.ma.gz:max weight: 43
+log.GRP509-1.ma.gz:max weight: 21
+log.GRP510-1.ma.gz:max weight: 21
+log.GRP511-1.ma.gz:max weight: 22
+log.GRP512-1.ma.gz:max weight: 22
+log.GRP513-1.ma.gz:max weight: 16
+log.GRP514-1.ma.gz:max weight: 16
+log.GRP515-1.ma.gz:max weight: 17
+log.GRP516-1.ma.gz:max weight: 17
+log.GRP517-1.ma.gz:max weight: 16
+log.GRP518-1.ma.gz:max weight: 16
+log.GRP519-1.ma.gz:max weight: 17
+log.GRP520-1.ma.gz:max weight: 17
+log.GRP521-1.ma.gz:max weight: 11
+log.GRP522-1.ma.gz:max weight: 12
+log.GRP523-1.ma.gz:max weight: 16
+log.GRP524-1.ma.gz:max weight: 13
+log.GRP525-1.ma.gz:max weight: 10
+log.GRP526-1.ma.gz:max weight: 10
+log.GRP527-1.ma.gz:max weight: 16
+log.GRP528-1.ma.gz:max weight: 16
+log.GRP529-1.ma.gz:max weight: 11
+log.GRP530-1.ma.gz:max weight: 8
+log.GRP531-1.ma.gz:max weight: 16
+log.GRP532-1.ma.gz:max weight: 11
+log.GRP533-1.ma.gz:max weight: 7
+log.GRP534-1.ma.gz:max weight: 11
+log.GRP535-1.ma.gz:max weight: 16
+log.GRP536-1.ma.gz:max weight: 15
+log.GRP537-1.ma.gz:max weight: 7
+log.GRP538-1.ma.gz:max weight: 11
+log.GRP539-1.ma.gz:max weight: 17
+log.GRP540-1.ma.gz:max weight: 11
+log.GRP541-1.ma.gz:max weight: 7
+log.GRP542-1.ma.gz:max weight: 12
+log.GRP543-1.ma.gz:max weight: 16
+log.GRP544-1.ma.gz:max weight: 13
+log.GRP545-1.ma.gz:max weight: 7
+log.GRP546-1.ma.gz:max weight: 12
+log.GRP547-1.ma.gz:max weight: 17
+log.GRP548-1.ma.gz:max weight: 13
+log.GRP549-1.ma.gz:max weight: 7
+log.GRP550-1.ma.gz:max weight: 12
+log.GRP551-1.ma.gz:max weight: 16
+log.GRP552-1.ma.gz:max weight: 13
+log.GRP553-1.ma.gz:max weight: 15
+log.GRP554-1.ma.gz:max weight: 16
+log.GRP555-1.ma.gz:max weight: 19
+log.GRP556-1.ma.gz:max weight: 15
+log.GRP557-1.ma.gz:max weight: 15
+log.GRP558-1.ma.gz:max weight: 15
+log.GRP559-1.ma.gz:max weight: 16
+log.GRP560-1.ma.gz:max weight: 15
+log.GRP561-1.ma.gz:max weight: 17
+log.GRP562-1.ma.gz:max weight: 16
+log.GRP563-1.ma.gz:max weight: 17
+log.GRP564-1.ma.gz:max weight: 17
+log.GRP565-1.ma.gz:max weight: 16
+log.GRP566-1.ma.gz:max weight: 17
+log.GRP567-1.ma.gz:max weight: 27
+log.GRP568-1.ma.gz:max weight: 27
+log.GRP569-1.ma.gz:max weight: 16
+log.GRP570-1.ma.gz:max weight: 17
+log.GRP571-1.ma.gz:max weight: 25
+log.GRP572-1.ma.gz:max weight: 18
+log.GRP573-1.ma.gz:max weight: 16
+log.GRP574-1.ma.gz:max weight: 19
+log.GRP575-1.ma.gz:max weight: 25
+log.GRP576-1.ma.gz:max weight: 25
+log.GRP577-1.ma.gz:max weight: 16
+log.GRP578-1.ma.gz:max weight: 17
+log.GRP579-1.ma.gz:max weight: 25
+log.GRP580-1.ma.gz:max weight: 25
+log.GRP581-1.ma.gz:max weight: 16
+log.GRP582-1.ma.gz:max weight: 17
+log.GRP583-1.ma.gz:max weight: 19
+log.GRP584-1.ma.gz:max weight: 18
+log.GRP585-1.ma.gz:max weight: 19
+log.GRP586-1.ma.gz:max weight: 19
+log.GRP588-1.ma.gz:max weight: 20
+log.GRP589-1.ma.gz:max weight: 19
+log.GRP590-1.ma.gz:max weight: 19
+log.GRP591-1.ma.gz:max weight: 20
+log.GRP592-1.ma.gz:max weight: 20
+log.GRP593-1.ma.gz:max weight: 16
+log.GRP594-1.ma.gz:max weight: 16
+log.GRP595-1.ma.gz:max weight: 16
+log.GRP596-1.ma.gz:max weight: 16
+log.GRP597-1.ma.gz:max weight: 20
+log.GRP598-1.ma.gz:max weight: 20
+log.GRP599-1.ma.gz:max weight: 21
+log.GRP600-1.ma.gz:max weight: 21
+log.GRP601-1.ma.gz:max weight: 15
+log.GRP602-1.ma.gz:max weight: 16
+log.GRP603-1.ma.gz:max weight: 16
+log.GRP604-1.ma.gz:max weight: 15
+log.GRP605-1.ma.gz:max weight: 19
+log.GRP606-1.ma.gz:max weight: 19
+log.GRP608-1.ma.gz:max weight: 22
+log.GRP609-1.ma.gz:max weight: 15
+log.GRP610-1.ma.gz:max weight: 15
+log.GRP611-1.ma.gz:max weight: 16
+log.GRP612-1.ma.gz:max weight: 16
+log.GRP613-1.ma.gz:max weight: 20
+log.GRP614-1.ma.gz:max weight: 20
+log.GRP615-1.ma.gz:max weight: 21
+log.GRP616-1.ma.gz:max weight: 21
+log.LAT006-1.ma.gz:max weight: 20
+log.LAT007-1.ma.gz:max weight: 19
+log.LAT008-1.ma.gz:max weight: 12
+log.LAT009-1.ma.gz:max weight: 23
+log.LAT012-1.ma.gz:max weight: 14
+log.LAT013-1.ma.gz:max weight: 18
+log.LAT014-1.ma.gz:max weight: 6
+log.LAT026-1.ma.gz:max weight: 16
+log.LAT027-1.ma.gz:max weight: 16
+log.LAT028-1.ma.gz:max weight: 12
+log.LAT031-1.ma.gz:max weight: 9
+log.LAT032-1.ma.gz:max weight: 9
+log.LAT033-1.ma.gz:max weight: 3
+log.LAT034-1.ma.gz:max weight: 3
+log.LAT039-1.ma.gz:max weight: 6
+log.LAT039-2.ma.gz:max weight: 0
+log.LAT040-1.ma.gz:max weight: 11
+log.LAT042-1.ma.gz:max weight: 9
+log.LAT043-1.ma.gz:max weight: 18
+log.LAT045-1.ma.gz:max weight: 18
+log.LAT080-1.ma.gz:max weight: 1061
+log.LAT083-1.ma.gz:max weight: 1061
+log.LAT086-1.ma.gz:max weight: 1060
+log.LAT087-1.ma.gz:max weight: 1060
+log.LAT088-1.ma.gz:max weight: 16
+log.LAT089-1.ma.gz:max weight: 16
+log.LAT090-1.ma.gz:max weight: 16
+log.LAT091-1.ma.gz:max weight: 21
+log.LAT092-1.ma.gz:max weight: 991
+log.LAT093-1.ma.gz:max weight: 991
+log.LAT094-1.ma.gz:max weight: 991
+log.LAT095-1.ma.gz:max weight: 991
+log.LAT096-1.ma.gz:max weight: 990
+log.LAT097-1.ma.gz:max weight: 990
+log.LAT168-1.ma.gz:max weight: 16
+log.LAT171-1.ma.gz:max weight: 16
+log.LCL110-2.ma.gz:max weight: 12
+log.LCL111-2.ma.gz:max weight: 17
+log.LCL112-2.ma.gz:max weight: 14
+log.LCL113-2.ma.gz:max weight: 12
+log.LCL114-2.ma.gz:max weight: 12
+log.LCL115-2.ma.gz:max weight: 13
+log.LCL116-2.ma.gz:max weight: 13
+log.LCL132-1.ma.gz:max weight: 9
+log.LCL133-1.ma.gz:max weight: 11
+log.LCL134-1.ma.gz:max weight: 9
+log.LCL135-1.ma.gz:max weight: 9
+log.LCL139-1.ma.gz:max weight: 12
+log.LCL140-1.ma.gz:max weight: 14
+log.LCL141-1.ma.gz:max weight: 14
+log.LCL153-1.ma.gz:max weight: 10
+log.LCL154-1.ma.gz:max weight: 12
+log.LCL155-1.ma.gz:max weight: 12
+log.LCL156-1.ma.gz:max weight: 11
+log.LCL157-1.ma.gz:max weight: 12
+log.LCL158-1.ma.gz:max weight: 15
+log.LCL159-1.ma.gz:max weight: 16
+log.LCL161-1.ma.gz:max weight: 9
+log.LCL163-1.ma.gz:max weight: 34
+log.LCL164-1.ma.gz:max weight: 12
+log.LDA001-1.ma.gz:max weight: 7
+log.LDA002-1.ma.gz:max weight: 11
+log.LDA007-3.ma.gz:max weight: 8
+log.RNG007-4.ma.gz:max weight: 7
+log.RNG008-3.ma.gz:max weight: 17
+log.RNG008-4.ma.gz:max weight: 17
+log.RNG008-7.ma.gz:max weight: 22
+log.RNG011-5.ma.gz:max weight: 0
+log.RNG012-6.ma.gz:max weight: 12
+log.RNG013-6.ma.gz:max weight: 12
+log.RNG014-6.ma.gz:max weight: 12
+log.RNG015-6.ma.gz:max weight: 11
+log.RNG016-6.ma.gz:max weight: 11
+log.RNG017-6.ma.gz:max weight: 11
+log.RNG018-6.ma.gz:max weight: 11
+log.RNG023-6.ma.gz:max weight: 15
+log.RNG023-7.ma.gz:max weight: 15
+log.RNG024-6.ma.gz:max weight: 15
+log.RNG024-7.ma.gz:max weight: 15
+log.ROB002-1.ma.gz:max weight: 10
+log.ROB003-1.ma.gz:max weight: 17
+log.ROB004-1.ma.gz:max weight: 22
+log.ROB008-1.ma.gz:max weight: 17
+log.ROB009-1.ma.gz:max weight: 18
+log.ROB010-1.ma.gz:max weight: 7
+log.ROB013-1.ma.gz:max weight: 8
+log.ROB030-1.ma.gz:max weight: 5
+log.SYN080-1.ma.gz:max weight: 0
+log.SYN083-1.ma.gz:max weight: 0