From: Enrico Tassi Date: Mon, 17 Jul 2006 07:59:11 +0000 (+0000) Subject: ... X-Git-Tag: 0.4.95@7852~1200 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=48bb2d5bf4fe14913d01ae67e5c1353096735e21;p=helm.git ... --- diff --git a/matita/tests/TPTP/maxweight.txt b/matita/tests/TPTP/maxweight.txt new file mode 100644 index 000000000..a92e1b3f9 --- /dev/null +++ b/matita/tests/TPTP/maxweight.txt @@ -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