]> matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/contribs/ng_TPTP/
-ng implemented
[helm.git] / helm / software / matita / contribs / ng_TPTP /
drwxr-xr-x   ..
-rw-r--r-- 2394 ALG005-1.ma
-rw-r--r-- 2161 ALG006-1.ma
-rw-r--r-- 2209 ALG007-1.ma
-rw-r--r-- 3509 BOO001-1.ma
-rw-r--r-- 2770 BOO002-1.ma
-rw-r--r-- 2480 BOO002-2.ma
-rw-r--r-- 3984 BOO003-2.ma
-rw-r--r-- 3528 BOO003-4.ma
-rw-r--r-- 3972 BOO004-2.ma
-rw-r--r-- 3503 BOO004-4.ma
-rw-r--r-- 4075 BOO005-2.ma
-rw-r--r-- 3606 BOO005-4.ma
-rw-r--r-- 4013 BOO006-2.ma
-rw-r--r-- 3557 BOO006-4.ma
-rw-r--r-- 4197 BOO007-2.ma
-rw-r--r-- 3686 BOO007-4.ma
-rw-r--r-- 4373 BOO008-2.ma
-rw-r--r-- 3623 BOO008-4.ma
-rw-r--r-- 4031 BOO009-2.ma
-rw-r--r-- 3575 BOO009-4.ma
-rw-r--r-- 4030 BOO010-2.ma
-rw-r--r-- 3600 BOO010-4.ma
-rw-r--r-- 4156 BOO011-2.ma
-rw-r--r-- 3618 BOO011-4.ma
-rw-r--r-- 4005 BOO012-2.ma
-rw-r--r-- 3555 BOO012-4.ma
-rw-r--r-- 4363 BOO013-2.ma
-rw-r--r-- 3665 BOO013-4.ma
-rw-r--r-- 4167 BOO014-2.ma
-rw-r--r-- 3626 BOO014-4.ma
-rw-r--r-- 4235 BOO015-2.ma
-rw-r--r-- 3629 BOO015-4.ma
-rw-r--r-- 4052 BOO016-2.ma
-rw-r--r-- 4052 BOO017-2.ma
-rw-r--r-- 3618 BOO018-4.ma
-rw-r--r-- 2254 BOO019-1.ma
-rw-r--r-- 2400 BOO021-1.ma
-rw-r--r-- 2455 BOO022-1.ma
-rw-r--r-- 2744 BOO023-1.ma
-rw-r--r-- 2639 BOO024-1.ma
-rw-r--r-- 2705 BOO025-1.ma
-rw-r--r-- 3386 BOO026-1.ma
-rw-r--r-- 2426 BOO027-1.ma
-rw-r--r-- 2978 BOO028-1.ma
-rw-r--r-- 2884 BOO029-1.ma
-rw-r--r-- 2602 BOO030-1.ma
-rw-r--r-- 3150 BOO031-1.ma
-rw-r--r-- 3088 BOO032-1.ma
-rw-r--r-- 2697 BOO033-1.ma
-rw-r--r-- 4012 BOO034-1.ma
-rw-r--r-- 2836 BOO036-1.ma
-rw-r--r-- 2325 BOO037-2.ma
-rw-r--r-- 2403 BOO037-3.ma
-rw-r--r-- 2016 BOO067-1.ma
-rw-r--r-- 1910 BOO068-1.ma
-rw-r--r-- 1920 BOO069-1.ma
-rw-r--r-- 1910 BOO070-1.ma
-rw-r--r-- 1920 BOO071-1.ma
-rw-r--r-- 1796 BOO072-1.ma
-rw-r--r-- 1827 BOO073-1.ma
-rw-r--r-- 1854 BOO074-1.ma
-rw-r--r-- 1671 BOO075-1.ma
-rw-r--r-- 1739 BOO076-1.ma
-rw-r--r-- 1673 BOO077-1.ma
-rw-r--r-- 1715 BOO078-1.ma
-rw-r--r-- 1673 BOO079-1.ma
-rw-r--r-- 1715 BOO080-1.ma
-rw-r--r-- 1673 BOO081-1.ma
-rw-r--r-- 1715 BOO082-1.ma
-rw-r--r-- 1673 BOO083-1.ma
-rw-r--r-- 1715 BOO084-1.ma
-rw-r--r-- 1673 BOO085-1.ma
-rw-r--r-- 1715 BOO086-1.ma
-rw-r--r-- 1673 BOO087-1.ma
-rw-r--r-- 1715 BOO088-1.ma
-rw-r--r-- 1673 BOO089-1.ma
-rw-r--r-- 1715 BOO090-1.ma
-rw-r--r-- 1673 BOO091-1.ma
-rw-r--r-- 1715 BOO092-1.ma
-rw-r--r-- 1673 BOO093-1.ma
-rw-r--r-- 1715 BOO094-1.ma
-rw-r--r-- 1674 BOO095-1.ma
-rw-r--r-- 1716 BOO096-1.ma
-rw-r--r-- 1674 BOO097-1.ma
-rw-r--r-- 1716 BOO098-1.ma
-rw-r--r-- 1674 BOO099-1.ma
-rw-r--r-- 1716 BOO100-1.ma
-rw-r--r-- 1674 BOO101-1.ma
-rw-r--r-- 1716 BOO102-1.ma
-rw-r--r-- 1674 BOO103-1.ma
-rw-r--r-- 1716 BOO104-1.ma
-rw-r--r-- 1674 BOO105-1.ma
-rw-r--r-- 1716 BOO106-1.ma
-rw-r--r-- 1674 BOO107-1.ma
-rw-r--r-- 1716 BOO108-1.ma
-rw-r--r-- 2036 COL001-1.ma
-rw-r--r-- 2418 COL001-2.ma
-rw-r--r-- 2154 COL002-1.ma
-rw-r--r-- 2542 COL002-4.ma
-rw-r--r-- 2575 COL002-5.ma
-rw-r--r-- 3125 COL003-1.ma
-rw-r--r-- 2678 COL003-2.ma
-rw-r--r-- 2093 COL004-1.ma
-rw-r--r-- 2202 COL004-3.ma
-rw-r--r-- 2352 COL005-1.ma
-rw-r--r-- 2006 COL006-1.ma
-rw-r--r-- 2341 COL006-5.ma
-rw-r--r-- 2371 COL006-6.ma
-rw-r--r-- 2301 COL006-7.ma
-rw-r--r-- 1939 COL007-1.ma
-rw-r--r-- 2191 COL008-1.ma
-rw-r--r-- 2197 COL009-1.ma
-rw-r--r-- 2194 COL010-1.ma
-rw-r--r-- 2236 COL011-1.ma
-rw-r--r-- 1952 COL012-1.ma
-rw-r--r-- 2139 COL013-1.ma
-rw-r--r-- 2089 COL014-1.ma
-rw-r--r-- 2070 COL015-1.ma
-rw-r--r-- 2239 COL016-1.ma
-rw-r--r-- 2202 COL017-1.ma
-rw-r--r-- 2251 COL018-1.ma
-rw-r--r-- 2287 COL019-1.ma
-rw-r--r-- 2388 COL020-1.ma
-rw-r--r-- 2238 COL021-1.ma
-rw-r--r-- 2215 COL022-1.ma
-rw-r--r-- 2162 COL023-1.ma
-rw-r--r-- 2238 COL024-1.ma
-rw-r--r-- 2175 COL025-1.ma
-rw-r--r-- 2171 COL026-1.ma
-rw-r--r-- 2162 COL027-1.ma
-rw-r--r-- 2091 COL029-1.ma
-rw-r--r-- 2249 COL030-1.ma
-rw-r--r-- 2108 COL031-1.ma
-rw-r--r-- 2174 COL032-1.ma
-rw-r--r-- 2336 COL033-1.ma
-rw-r--r-- 2338 COL034-1.ma
-rw-r--r-- 2374 COL035-1.ma
-rw-r--r-- 2410 COL036-1.ma
-rw-r--r-- 2446 COL037-1.ma
-rw-r--r-- 2374 COL038-1.ma
-rw-r--r-- 2312 COL039-1.ma
-rw-r--r-- 2374 COL041-1.ma
-rw-r--r-- 2362 COL042-1.ma
-rw-r--r-- 2338 COL042-6.ma
-rw-r--r-- 2338 COL042-7.ma
-rw-r--r-- 2338 COL042-8.ma
-rw-r--r-- 2338 COL042-9.ma
-rw-r--r-- 2491 COL043-1.ma
-rw-r--r-- 2492 COL043-3.ma
-rw-r--r-- 2517 COL044-1.ma
-rw-r--r-- 2418 COL044-6.ma
-rw-r--r-- 2418 COL044-7.ma
-rw-r--r-- 2428 COL044-8.ma
-rw-r--r-- 2428 COL044-9.ma
-rw-r--r-- 2250 COL045-1.ma
-rw-r--r-- 2386 COL046-1.ma
-rw-r--r-- 2259 COL047-1.ma
-rw-r--r-- 2207 COL048-1.ma
-rw-r--r-- 2959 COL049-1.ma
-rw-r--r-- 2589 COL050-1.ma
-rw-r--r-- 2482 COL051-1.ma
-rw-r--r-- 2943 COL052-1.ma
-rw-r--r-- 2588 COL053-1.ma
-rw-r--r-- 2739 COL056-1.ma
-rw-r--r-- 2257 COL057-1.ma
-rw-r--r-- 1986 COL058-1.ma
-rw-r--r-- 2491 COL058-2.ma
-rw-r--r-- 2396 COL058-3.ma
-rw-r--r-- 1415 COL059-1.ma
-rw-r--r-- 2169 COL060-1.ma
-rw-r--r-- 2220 COL060-2.ma
-rw-r--r-- 2220 COL060-3.ma
-rw-r--r-- 2173 COL061-1.ma
-rw-r--r-- 2225 COL061-2.ma
-rw-r--r-- 2225 COL061-3.ma
-rw-r--r-- 2168 COL062-1.ma
-rw-r--r-- 2265 COL062-2.ma
-rw-r--r-- 2265 COL062-3.ma
-rw-r--r-- 2169 COL063-1.ma
-rw-r--r-- 2266 COL063-2.ma
-rw-r--r-- 2266 COL063-3.ma
-rw-r--r-- 2266 COL063-4.ma
-rw-r--r-- 2266 COL063-5.ma
-rw-r--r-- 2240 COL063-6.ma
-rw-r--r-- 2182 COL064-1.ma
-rw-r--r-- 2312 COL064-2.ma
-rw-r--r-- 2286 COL064-3.ma
-rw-r--r-- 2312 COL064-4.ma
-rw-r--r-- 2312 COL064-5.ma
-rw-r--r-- 2286 COL064-6.ma
-rw-r--r-- 2312 COL064-7.ma
-rw-r--r-- 2286 COL064-8.ma
-rw-r--r-- 2312 COL064-9.ma
-rw-r--r-- 2253 COL065-1.ma
-rw-r--r-- 2404 COL066-1.ma
-rw-r--r-- 2441 COL066-2.ma
-rw-r--r-- 2441 COL066-3.ma
-rw-r--r-- 2060 COL067-1.ma
-rw-r--r-- 2002 COL068-1.ma
-rw-r--r-- 2029 COL069-1.ma
-rw-r--r-- 2116 COL070-1.ma
-rw-r--r-- 2220 COL071-1.ma
-rw-r--r-- 2287 COL073-1.ma
-rw-r--r-- 2464 COL075-2.ma
-rw-r--r-- 1786 COL083-1.ma
-rw-r--r-- 1786 COL084-1.ma
-rw-r--r-- 1545 COL085-1.ma
-rw-r--r-- 1545 COL086-1.ma
-rw-r--r-- 1897 COL087-1.ma
-rw-r--r-- 4382 GRP001-2.ma
-rw-r--r-- 2222 GRP001-4.ma
-rw-r--r-- 4770 GRP002-2.ma
-rw-r--r-- 4964 GRP002-3.ma
-rw-r--r-- 5039 GRP002-4.ma
-rw-r--r-- 2162 GRP010-4.ma
-rw-r--r-- 2106 GRP011-4.ma
-rw-r--r-- 4111 GRP012-4.ma
-rw-r--r-- 2394 GRP014-1.ma
-rw-r--r-- 3999 GRP022-2.ma
-rw-r--r-- 3884 GRP023-2.ma
-rw-r--r-- 4496 GRP024-5.ma
-rw-r--r-- 6073 GRP114-1.ma
-rw-r--r-- 1709 GRP115-1.ma
-rw-r--r-- 1702 GRP116-1.ma
-rw-r--r-- 1703 GRP117-1.ma
-rw-r--r-- 1764 GRP118-1.ma
-rw-r--r-- 1870 GRP119-1.ma
-rw-r--r-- 1795 GRP120-1.ma
-rw-r--r-- 1796 GRP121-1.ma
-rw-r--r-- 1870 GRP122-1.ma
-rw-r--r-- 7183 GRP136-1.ma
-rw-r--r-- 7188 GRP137-1.ma
-rw-r--r-- 7456 GRP138-1.ma
-rw-r--r-- 7397 GRP139-1.ma
-rw-r--r-- 7430 GRP140-1.ma
-rw-r--r-- 7428 GRP141-1.ma
-rw-r--r-- 7133 GRP142-1.ma
-rw-r--r-- 7161 GRP143-1.ma
-rw-r--r-- 7133 GRP144-1.ma
-rw-r--r-- 7161 GRP145-1.ma
-rw-r--r-- 7383 GRP146-1.ma
-rw-r--r-- 7452 GRP147-1.ma
-rw-r--r-- 7414 GRP148-1.ma
-rw-r--r-- 7421 GRP149-1.ma
-rw-r--r-- 7145 GRP150-1.ma
-rw-r--r-- 7126 GRP151-1.ma
-rw-r--r-- 7145 GRP152-1.ma
-rw-r--r-- 7126 GRP153-1.ma
-rw-r--r-- 7337 GRP154-1.ma
-rw-r--r-- 7209 GRP155-1.ma
-rw-r--r-- 7336 GRP156-1.ma
-rw-r--r-- 7203 GRP157-1.ma
-rw-r--r-- 7209 GRP158-1.ma
-rw-r--r-- 7213 GRP159-1.ma
-rw-r--r-- 7070 GRP160-1.ma
-rw-r--r-- 7073 GRP161-1.ma
-rw-r--r-- 7216 GRP162-1.ma
-rw-r--r-- 7221 GRP163-1.ma
-rw-r--r-- 7283 GRP164-1.ma
-rw-r--r-- 7210 GRP164-2.ma
-rw-r--r-- 7181 GRP165-1.ma
-rw-r--r-- 7239 GRP165-2.ma
-rw-r--r-- 7270 GRP166-1.ma
-rw-r--r-- 7222 GRP166-2.ma
-rw-r--r-- 7203 GRP166-3.ma
-rw-r--r-- 7255 GRP166-4.ma
-rw-r--r-- 8402 GRP167-1.ma
-rw-r--r-- 8105 GRP167-2.ma
-rw-r--r-- 7342 GRP167-3.ma
-rw-r--r-- 7456 GRP167-4.ma
-rw-r--r-- 8330 GRP167-5.ma
-rw-r--r-- 7528 GRP168-1.ma
-rw-r--r-- 7391 GRP168-2.ma
-rw-r--r-- 7349 GRP169-1.ma
-rw-r--r-- 7259 GRP169-2.ma
-rw-r--r-- 7185 GRP170-1.ma
-rw-r--r-- 7242 GRP170-2.ma
-rw-r--r-- 7265 GRP170-3.ma
-rw-r--r-- 7294 GRP170-4.ma
-rw-r--r-- 7148 GRP171-1.ma
-rw-r--r-- 7222 GRP171-2.ma
-rw-r--r-- 7165 GRP172-1.ma
-rw-r--r-- 7245 GRP172-2.ma
-rw-r--r-- 7446 GRP173-1.ma
-rw-r--r-- 7246 GRP174-1.ma
-rw-r--r-- 7189 GRP175-1.ma
-rw-r--r-- 7237 GRP175-2.ma
-rw-r--r-- 7260 GRP175-3.ma
-rw-r--r-- 7308 GRP175-4.ma
-rw-r--r-- 7552 GRP176-1.ma
-rw-r--r-- 7347 GRP176-2.ma
-rw-r--r-- 7443 GRP177-1.ma
-rw-r--r-- 7608 GRP177-2.ma
-rw-r--r-- 7505 GRP178-1.ma
-rw-r--r-- 7582 GRP178-2.ma
-rw-r--r-- 7232 GRP179-1.ma
-rw-r--r-- 7271 GRP179-2.ma
-rw-r--r-- 7514 GRP179-3.ma
-rw-r--r-- 7360 GRP180-1.ma
-rw-r--r-- 7495 GRP180-2.ma
-rw-r--r-- 7436 GRP181-1.ma
-rw-r--r-- 7571 GRP181-2.ma
-rw-r--r-- 7703 GRP181-3.ma
-rw-r--r-- 7801 GRP181-4.ma
-rw-r--r-- 7635 GRP182-1.ma
-rw-r--r-- 7771 GRP182-2.ma
-rw-r--r-- 7267 GRP182-3.ma
-rw-r--r-- 7403 GRP182-4.ma
-rw-r--r-- 7340 GRP183-1.ma
-rw-r--r-- 7376 GRP183-2.ma
-rw-r--r-- 7288 GRP183-3.ma
-rw-r--r-- 7424 GRP183-4.ma
-rw-r--r-- 7459 GRP184-1.ma
-rw-r--r-- 7431 GRP184-2.ma
-rw-r--r-- 7309 GRP184-3.ma
-rw-r--r-- 7648 GRP184-4.ma
-rw-r--r-- 7366 GRP185-1.ma
-rw-r--r-- 7502 GRP185-2.ma
-rw-r--r-- 7399 GRP185-3.ma
-rw-r--r-- 7535 GRP185-4.ma
-rw-r--r-- 7275 GRP186-1.ma
-rw-r--r-- 7410 GRP186-2.ma
-rw-r--r-- 7236 GRP186-3.ma
-rw-r--r-- 7346 GRP186-4.ma
-rw-r--r-- 7293 GRP187-1.ma
-rw-r--r-- 7092 GRP188-1.ma
-rw-r--r-- 7228 GRP188-2.ma
-rw-r--r-- 7073 GRP189-1.ma
-rw-r--r-- 7209 GRP189-2.ma
-rw-r--r-- 7209 GRP190-1.ma
-rw-r--r-- 7284 GRP190-2.ma
-rw-r--r-- 7215 GRP191-1.ma
-rw-r--r-- 7284 GRP191-2.ma
-rw-r--r-- 7206 GRP192-1.ma
-rw-r--r-- 7528 GRP193-1.ma
-rw-r--r-- 7608 GRP193-2.ma
-rw-r--r-- 3548 GRP195-1.ma
-rw-r--r-- 3872 GRP196-1.ma
-rw-r--r-- 2772 GRP200-1.ma
-rw-r--r-- 2772 GRP201-1.ma
-rw-r--r-- 2770 GRP202-1.ma
-rw-r--r-- 2247 GRP203-1.ma
-rw-r--r-- 2249 GRP204-1.ma
-rw-r--r-- 2605 GRP205-1.ma
-rw-r--r-- 2553 GRP206-1.ma
-rw-r--r-- 2000 GRP207-1.ma
-rw-r--r-- 2581 GRP393-2.ma
-rw-r--r-- 3242 GRP394-3.ma
-rw-r--r-- 4647 GRP399-1.ma
-rw-r--r-- 1834 GRP403-1.ma
-rw-r--r-- 1837 GRP404-1.ma
-rw-r--r-- 1872 GRP405-1.ma
-rw-r--r-- 1808 GRP406-1.ma
-rw-r--r-- 1824 GRP407-1.ma
-rw-r--r-- 1859 GRP408-1.ma
-rw-r--r-- 1808 GRP409-1.ma
-rw-r--r-- 1824 GRP410-1.ma
-rw-r--r-- 1859 GRP411-1.ma
-rw-r--r-- 1808 GRP412-1.ma
-rw-r--r-- 1824 GRP413-1.ma
-rw-r--r-- 1846 GRP414-1.ma
-rw-r--r-- 1854 GRP415-1.ma
-rw-r--r-- 1844 GRP416-1.ma
-rw-r--r-- 1892 GRP417-1.ma
-rw-r--r-- 1854 GRP418-1.ma
-rw-r--r-- 1844 GRP419-1.ma
-rw-r--r-- 1879 GRP420-1.ma
-rw-r--r-- 1854 GRP421-1.ma
-rw-r--r-- 1844 GRP422-1.ma
-rw-r--r-- 1879 GRP423-1.ma
-rw-r--r-- 1828 GRP424-1.ma
-rw-r--r-- 1857 GRP425-1.ma
-rw-r--r-- 1879 GRP426-1.ma
-rw-r--r-- 1839 GRP427-1.ma
-rw-r--r-- 1829 GRP428-1.ma
-rw-r--r-- 1903 GRP429-1.ma
-rw-r--r-- 1828 GRP430-1.ma
-rw-r--r-- 1818 GRP431-1.ma
-rw-r--r-- 1853 GRP432-1.ma
-rw-r--r-- 1746 GRP433-1.ma
-rw-r--r-- 1736 GRP434-1.ma
-rw-r--r-- 1784 GRP435-1.ma
-rw-r--r-- 1772 GRP436-1.ma
-rw-r--r-- 1762 GRP437-1.ma
-rw-r--r-- 1797 GRP438-1.ma
-rw-r--r-- 1785 GRP439-1.ma
-rw-r--r-- 1775 GRP440-1.ma
-rw-r--r-- 1797 GRP441-1.ma
-rw-r--r-- 1772 GRP442-1.ma
-rw-r--r-- 1762 GRP443-1.ma
-rw-r--r-- 1797 GRP444-1.ma
-rw-r--r-- 2002 GRP445-1.ma
-rw-r--r-- 1992 GRP446-1.ma
-rw-r--r-- 2053 GRP447-1.ma
-rw-r--r-- 1920 GRP448-1.ma
-rw-r--r-- 1910 GRP449-1.ma
-rw-r--r-- 1971 GRP450-1.ma
-rw-r--r-- 1920 GRP451-1.ma
-rw-r--r-- 1949 GRP452-1.ma
-rw-r--r-- 1971 GRP453-1.ma
-rw-r--r-- 1950 GRP454-1.ma
-rw-r--r-- 1940 GRP455-1.ma
-rw-r--r-- 2036 GRP456-1.ma
-rw-r--r-- 1950 GRP457-1.ma
-rw-r--r-- 1940 GRP458-1.ma
-rw-r--r-- 2010 GRP459-1.ma
-rw-r--r-- 1950 GRP460-1.ma
-rw-r--r-- 1940 GRP461-1.ma
-rw-r--r-- 2010 GRP462-1.ma
-rw-r--r-- 1950 GRP463-1.ma
-rw-r--r-- 1940 GRP464-1.ma
-rw-r--r-- 2010 GRP465-1.ma
-rw-r--r-- 1843 GRP466-1.ma
-rw-r--r-- 1833 GRP467-1.ma
-rw-r--r-- 1881 GRP468-1.ma
-rw-r--r-- 1882 GRP469-1.ma
-rw-r--r-- 1872 GRP470-1.ma
-rw-r--r-- 1907 GRP471-1.ma
-rw-r--r-- 1869 GRP472-1.ma
-rw-r--r-- 1859 GRP473-1.ma
-rw-r--r-- 1907 GRP474-1.ma
-rw-r--r-- 1869 GRP475-1.ma
-rw-r--r-- 1859 GRP476-1.ma
-rw-r--r-- 1894 GRP477-1.ma
-rw-r--r-- 1882 GRP478-1.ma
-rw-r--r-- 1872 GRP479-1.ma
-rw-r--r-- 1894 GRP480-1.ma
-rw-r--r-- 2209 GRP481-1.ma
-rw-r--r-- 2199 GRP482-1.ma
-rw-r--r-- 2269 GRP483-1.ma
-rw-r--r-- 2072 GRP484-1.ma
-rw-r--r-- 2062 GRP485-1.ma
-rw-r--r-- 2132 GRP486-1.ma
-rw-r--r-- 2072 GRP487-1.ma
-rw-r--r-- 2062 GRP488-1.ma
-rw-r--r-- 2132 GRP489-1.ma
-rw-r--r-- 2072 GRP490-1.ma
-rw-r--r-- 2062 GRP491-1.ma
-rw-r--r-- 2132 GRP492-1.ma
-rw-r--r-- 2072 GRP493-1.ma
-rw-r--r-- 2062 GRP494-1.ma
-rw-r--r-- 2132 GRP495-1.ma
-rw-r--r-- 2072 GRP496-1.ma
-rw-r--r-- 2062 GRP497-1.ma
-rw-r--r-- 2132 GRP498-1.ma
-rw-r--r-- 1933 GRP499-1.ma
-rw-r--r-- 1949 GRP500-1.ma
-rw-r--r-- 1984 GRP501-1.ma
-rw-r--r-- 1959 GRP502-1.ma
-rw-r--r-- 1949 GRP503-1.ma
-rw-r--r-- 1997 GRP504-1.ma
-rw-r--r-- 2100 GRP505-1.ma
-rw-r--r-- 2090 GRP506-1.ma
-rw-r--r-- 2125 GRP507-1.ma
-rw-r--r-- 2107 GRP508-1.ma
-rw-r--r-- 1778 GRP509-1.ma
-rw-r--r-- 1768 GRP510-1.ma
-rw-r--r-- 1803 GRP511-1.ma
-rw-r--r-- 1798 GRP512-1.ma
-rw-r--r-- 1709 GRP513-1.ma
-rw-r--r-- 1686 GRP514-1.ma
-rw-r--r-- 1747 GRP515-1.ma
-rw-r--r-- 1716 GRP516-1.ma
-rw-r--r-- 1696 GRP517-1.ma
-rw-r--r-- 1686 GRP518-1.ma
-rw-r--r-- 1721 GRP519-1.ma
-rw-r--r-- 1716 GRP520-1.ma
-rw-r--r-- 1976 GRP521-1.ma
-rw-r--r-- 1966 GRP522-1.ma
-rw-r--r-- 2001 GRP523-1.ma
-rw-r--r-- 1996 GRP524-1.ma
-rw-r--r-- 1894 GRP525-1.ma
-rw-r--r-- 1884 GRP526-1.ma
-rw-r--r-- 1919 GRP527-1.ma
-rw-r--r-- 1914 GRP528-1.ma
-rw-r--r-- 1907 GRP529-1.ma
-rw-r--r-- 1884 GRP530-1.ma
-rw-r--r-- 1919 GRP531-1.ma
-rw-r--r-- 1914 GRP532-1.ma
-rw-r--r-- 1978 GRP533-1.ma
-rw-r--r-- 1968 GRP534-1.ma
-rw-r--r-- 2003 GRP535-1.ma
-rw-r--r-- 1998 GRP536-1.ma
-rw-r--r-- 1978 GRP537-1.ma
-rw-r--r-- 1968 GRP538-1.ma
-rw-r--r-- 2003 GRP539-1.ma
-rw-r--r-- 1998 GRP540-1.ma
-rw-r--r-- 1981 GRP541-1.ma
-rw-r--r-- 1971 GRP542-1.ma
-rw-r--r-- 2006 GRP543-1.ma
-rw-r--r-- 2001 GRP544-1.ma
-rw-r--r-- 1981 GRP545-1.ma
-rw-r--r-- 1971 GRP546-1.ma
-rw-r--r-- 2006 GRP547-1.ma
-rw-r--r-- 2001 GRP548-1.ma
-rw-r--r-- 1981 GRP549-1.ma
-rw-r--r-- 1997 GRP550-1.ma
-rw-r--r-- 2006 GRP551-1.ma
-rw-r--r-- 2001 GRP552-1.ma
-rw-r--r-- 1815 GRP553-1.ma
-rw-r--r-- 1805 GRP554-1.ma
-rw-r--r-- 1840 GRP555-1.ma
-rw-r--r-- 1835 GRP556-1.ma
-rw-r--r-- 1815 GRP557-1.ma
-rw-r--r-- 1805 GRP558-1.ma
-rw-r--r-- 1840 GRP559-1.ma
-rw-r--r-- 1835 GRP560-1.ma
-rw-r--r-- 1828 GRP561-1.ma
-rw-r--r-- 1805 GRP562-1.ma
-rw-r--r-- 1840 GRP563-1.ma
-rw-r--r-- 1835 GRP564-1.ma
-rw-r--r-- 2079 GRP565-1.ma
-rw-r--r-- 2069 GRP566-1.ma
-rw-r--r-- 2165 GRP567-1.ma
-rw-r--r-- 2147 GRP568-1.ma
-rw-r--r-- 2079 GRP569-1.ma
-rw-r--r-- 2069 GRP570-1.ma
-rw-r--r-- 2165 GRP571-1.ma
-rw-r--r-- 2147 GRP572-1.ma
-rw-r--r-- 2079 GRP573-1.ma
-rw-r--r-- 2069 GRP574-1.ma
-rw-r--r-- 2165 GRP575-1.ma
-rw-r--r-- 2134 GRP576-1.ma
-rw-r--r-- 2079 GRP577-1.ma
-rw-r--r-- 2069 GRP578-1.ma
-rw-r--r-- 2165 GRP579-1.ma
-rw-r--r-- 2134 GRP580-1.ma
-rw-r--r-- 2079 GRP581-1.ma
-rw-r--r-- 2069 GRP582-1.ma
-rw-r--r-- 2165 GRP583-1.ma
-rw-r--r-- 2134 GRP584-1.ma
-rw-r--r-- 1882 GRP585-1.ma
-rw-r--r-- 1872 GRP586-1.ma
-rw-r--r-- 1920 GRP587-1.ma
-rw-r--r-- 1902 GRP588-1.ma
-rw-r--r-- 1882 GRP589-1.ma
-rw-r--r-- 1872 GRP590-1.ma
-rw-r--r-- 1946 GRP591-1.ma
-rw-r--r-- 1915 GRP592-1.ma
-rw-r--r-- 1882 GRP593-1.ma
-rw-r--r-- 1872 GRP594-1.ma
-rw-r--r-- 1933 GRP595-1.ma
-rw-r--r-- 1915 GRP596-1.ma
-rw-r--r-- 1882 GRP597-1.ma
-rw-r--r-- 1898 GRP598-1.ma
-rw-r--r-- 1946 GRP599-1.ma
-rw-r--r-- 1915 GRP600-1.ma
-rw-r--r-- 1908 GRP601-1.ma
-rw-r--r-- 1898 GRP602-1.ma
-rw-r--r-- 1933 GRP603-1.ma
-rw-r--r-- 1915 GRP604-1.ma
-rw-r--r-- 1882 GRP605-1.ma
-rw-r--r-- 1872 GRP606-1.ma
-rw-r--r-- 1920 GRP607-1.ma
-rw-r--r-- 1902 GRP608-1.ma
-rw-r--r-- 1908 GRP609-1.ma
-rw-r--r-- 1898 GRP610-1.ma
-rw-r--r-- 1907 GRP611-1.ma
-rw-r--r-- 1915 GRP612-1.ma
-rw-r--r-- 1882 GRP613-1.ma
-rw-r--r-- 1872 GRP614-1.ma
-rw-r--r-- 1946 GRP615-1.ma
-rw-r--r-- 1902 GRP616-1.ma
-rw-r--r-- 2534 HWC004-1.ma
-rw-r--r-- 2542 HWC004-2.ma
-rw-r--r-- 2109 LAT006-1.ma
-rw-r--r-- 2121 LAT007-1.ma
-rw-r--r-- 2070 LAT008-1.ma
-rw-r--r-- 4032 LAT009-1.ma
-rw-r--r-- 4424 LAT010-1.ma
-rw-r--r-- 4474 LAT011-1.ma
-rw-r--r-- 2329 LAT012-1.ma
-rw-r--r-- 2401 LAT013-1.ma
-rw-r--r-- 2286 LAT014-1.ma
-rw-r--r-- 4412 LAT016-1.ma
-rw-r--r-- 4336 LAT017-1.ma
-rw-r--r-- 4253 LAT018-1.ma
-rw-r--r-- 3905 LAT019-1.ma
-rw-r--r-- 3968 LAT020-1.ma
-rw-r--r-- 3955 LAT021-1.ma
-rw-r--r-- 4073 LAT022-1.ma
-rw-r--r-- 3955 LAT023-1.ma
-rw-r--r-- 4648 LAT024-1.ma
-rw-r--r-- 3055 LAT025-1.ma
-rw-r--r-- 3865 LAT026-1.ma
-rw-r--r-- 3852 LAT027-1.ma
-rw-r--r-- 4195 LAT028-1.ma
-rw-r--r-- 3762 LAT031-1.ma
-rw-r--r-- 3763 LAT032-1.ma
-rw-r--r-- 2201 LAT033-1.ma
-rw-r--r-- 2201 LAT034-1.ma
-rw-r--r-- 4718 LAT038-1.ma
-rw-r--r-- 4003 LAT039-1.ma
-rw-r--r-- 4000 LAT039-2.ma
-rw-r--r-- 4054 LAT040-1.ma
-rw-r--r-- 4171 LAT042-1.ma
-rw-r--r-- 4162 LAT043-1.ma
-rw-r--r-- 4451 LAT044-1.ma
-rw-r--r-- 4391 LAT045-1.ma
-rw-r--r-- 4395 LAT046-1.ma
-rw-r--r-- 3707 LAT047-1.ma
-rw-r--r-- 4406 LAT048-1.ma
-rw-r--r-- 4259 LAT049-1.ma
-rw-r--r-- 4608 LAT050-1.ma
-rw-r--r-- 4099 LAT051-1.ma
-rw-r--r-- 4269 LAT052-1.ma
-rw-r--r-- 4655 LAT053-1.ma
-rw-r--r-- 4675 LAT054-1.ma
-rw-r--r-- 2838 LAT055-2.ma
-rw-r--r-- 2730 LAT059-1.ma
-rw-r--r-- 2661 LAT060-1.ma
-rw-r--r-- 2766 LAT061-1.ma
-rw-r--r-- 4087 LAT062-1.ma
-rw-r--r-- 4017 LAT063-1.ma
-rw-r--r-- 1925 LAT070-1.ma
-rw-r--r-- 1932 LAT071-1.ma
-rw-r--r-- 1940 LAT072-1.ma
-rw-r--r-- 1917 LAT073-1.ma
-rw-r--r-- 1947 LAT074-1.ma
-rw-r--r-- 1932 LAT075-1.ma
-rw-r--r-- 1957 LAT076-1.ma
-rw-r--r-- 1942 LAT077-1.ma
-rw-r--r-- 1957 LAT078-1.ma
-rw-r--r-- 1942 LAT079-1.ma
-rw-r--r-- 2060 LAT080-1.ma
-rw-r--r-- 2084 LAT081-1.ma
-rw-r--r-- 2117 LAT082-1.ma
-rw-r--r-- 2060 LAT083-1.ma
-rw-r--r-- 2084 LAT084-1.ma
-rw-r--r-- 2117 LAT085-1.ma
-rw-r--r-- 2084 LAT086-1.ma
-rw-r--r-- 2084 LAT087-1.ma
-rw-r--r-- 2015 LAT088-1.ma
-rw-r--r-- 2039 LAT089-1.ma
-rw-r--r-- 2015 LAT090-1.ma
-rw-r--r-- 2065 LAT091-1.ma
-rw-r--r-- 2075 LAT092-1.ma
-rw-r--r-- 2099 LAT093-1.ma
-rw-r--r-- 2075 LAT094-1.ma
-rw-r--r-- 2099 LAT095-1.ma
-rw-r--r-- 2132 LAT096-1.ma
-rw-r--r-- 2139 LAT097-1.ma
-rw-r--r-- 3889 LAT098-1.ma
-rw-r--r-- 3889 LAT099-1.ma
-rw-r--r-- 3904 LAT100-1.ma
-rw-r--r-- 3874 LAT101-1.ma
-rw-r--r-- 3904 LAT102-1.ma
-rw-r--r-- 3873 LAT103-1.ma
-rw-r--r-- 3891 LAT104-1.ma
-rw-r--r-- 3876 LAT105-1.ma
-rw-r--r-- 3891 LAT106-1.ma
-rw-r--r-- 3903 LAT107-1.ma
-rw-r--r-- 3933 LAT108-1.ma
-rw-r--r-- 3933 LAT109-1.ma
-rw-r--r-- 3933 LAT110-1.ma
-rw-r--r-- 3933 LAT111-1.ma
-rw-r--r-- 3933 LAT112-1.ma
-rw-r--r-- 3933 LAT113-1.ma
-rw-r--r-- 3876 LAT114-1.ma
-rw-r--r-- 3891 LAT115-1.ma
-rw-r--r-- 3891 LAT116-1.ma
-rw-r--r-- 3900 LAT117-1.ma
-rw-r--r-- 3909 LAT118-1.ma
-rw-r--r-- 3882 LAT119-1.ma
-rw-r--r-- 3868 LAT120-1.ma
-rw-r--r-- 3886 LAT121-1.ma
-rw-r--r-- 3886 LAT122-1.ma
-rw-r--r-- 3886 LAT123-1.ma
-rw-r--r-- 3919 LAT124-1.ma
-rw-r--r-- 3910 LAT125-1.ma
-rw-r--r-- 3910 LAT126-1.ma
-rw-r--r-- 3883 LAT127-1.ma
-rw-r--r-- 3883 LAT128-1.ma
-rw-r--r-- 3868 LAT129-1.ma
-rw-r--r-- 3883 LAT130-1.ma
-rw-r--r-- 3892 LAT131-1.ma
-rw-r--r-- 3910 LAT132-1.ma
-rw-r--r-- 3888 LAT133-1.ma
-rw-r--r-- 3891 LAT134-1.ma
-rw-r--r-- 3888 LAT135-1.ma
-rw-r--r-- 3906 LAT136-1.ma
-rw-r--r-- 3915 LAT137-1.ma
-rw-r--r-- 3759 LAT138-1.ma
-rw-r--r-- 3744 LAT139-1.ma
-rw-r--r-- 3760 LAT140-1.ma
-rw-r--r-- 3760 LAT141-1.ma
-rw-r--r-- 3773 LAT142-1.ma
-rw-r--r-- 3784 LAT143-1.ma
-rw-r--r-- 3784 LAT144-1.ma
-rw-r--r-- 3784 LAT145-1.ma
-rw-r--r-- 3792 LAT146-1.ma
-rw-r--r-- 3792 LAT147-1.ma
-rw-r--r-- 3775 LAT148-1.ma
-rw-r--r-- 3801 LAT149-1.ma
-rw-r--r-- 3792 LAT150-1.ma
-rw-r--r-- 3792 LAT151-1.ma
-rw-r--r-- 3797 LAT152-1.ma
-rw-r--r-- 3784 LAT153-1.ma
-rw-r--r-- 3797 LAT154-1.ma
-rw-r--r-- 3784 LAT155-1.ma
-rw-r--r-- 3797 LAT156-1.ma
-rw-r--r-- 3784 LAT157-1.ma
-rw-r--r-- 3801 LAT158-1.ma
-rw-r--r-- 3784 LAT159-1.ma
-rw-r--r-- 3792 LAT160-1.ma
-rw-r--r-- 3759 LAT161-1.ma
-rw-r--r-- 3741 LAT162-1.ma
-rw-r--r-- 3792 LAT163-1.ma
-rw-r--r-- 3775 LAT164-1.ma
-rw-r--r-- 3805 LAT165-1.ma
-rw-r--r-- 3801 LAT166-1.ma
-rw-r--r-- 3801 LAT167-1.ma
-rw-r--r-- 3762 LAT168-1.ma
-rw-r--r-- 3749 LAT169-1.ma
-rw-r--r-- 3773 LAT170-1.ma
-rw-r--r-- 3760 LAT171-1.ma
-rw-r--r-- 3797 LAT172-1.ma
-rw-r--r-- 3797 LAT173-1.ma
-rw-r--r-- 3780 LAT174-1.ma
-rw-r--r-- 3806 LAT175-1.ma
-rw-r--r-- 3806 LAT176-1.ma
-rw-r--r-- 3789 LAT177-1.ma
-rw-r--r-- 4381 LCL109-2.ma
-rw-r--r-- 4920 LCL109-6.ma
-rw-r--r-- 3844 LCL110-2.ma
-rw-r--r-- 4069 LCL111-2.ma
-rw-r--r-- 3910 LCL112-2.ma
-rw-r--r-- 3789 LCL113-2.ma
-rw-r--r-- 3881 LCL114-2.ma
-rw-r--r-- 3777 LCL115-2.ma
-rw-r--r-- 3789 LCL116-2.ma
-rw-r--r-- 3387 LCL132-1.ma
-rw-r--r-- 3496 LCL133-1.ma
-rw-r--r-- 3430 LCL134-1.ma
-rw-r--r-- 3782 LCL135-1.ma
-rw-r--r-- 3886 LCL136-1.ma
-rw-r--r-- 3780 LCL137-1.ma
-rw-r--r-- 3579 LCL138-1.ma
-rw-r--r-- 3438 LCL139-1.ma
-rw-r--r-- 3422 LCL140-1.ma
-rw-r--r-- 3791 LCL141-1.ma
-rw-r--r-- 7739 LCL153-1.ma
-rw-r--r-- 7737 LCL154-1.ma
-rw-r--r-- 7737 LCL155-1.ma
-rw-r--r-- 7738 LCL156-1.ma
-rw-r--r-- 7750 LCL157-1.ma
-rw-r--r-- 7754 LCL158-1.ma
-rw-r--r-- 7776 LCL159-1.ma
-rw-r--r-- 7888 LCL160-1.ma
-rw-r--r-- 4655 LCL161-1.ma
-rw-r--r-- 4798 LCL162-1.ma
-rw-r--r-- 4754 LCL163-1.ma
-rw-r--r-- 4706 LCL164-1.ma
-rw-r--r-- 5609 LCL165-1.ma
-rw-r--r-- 2797 LCL407-1.ma
-rw-r--r-- 2878 LCL407-2.ma
-rw-r--r-- 4231 LCL409-1.ma
-rw-r--r-- 5933 LCL410-1.ma
-rw-r--r-- 1742 LDA001-1.ma
-rw-r--r-- 2118 LDA002-1.ma
-rw-r--r-- 2107 LDA007-3.ma
-rw-r--r-- 5170 RNG007-4.ma
-rw-r--r-- 5533 RNG008-3.ma
-rw-r--r-- 5294 RNG008-4.ma
-rw-r--r-- 4622 RNG008-7.ma
-rw-r--r-- 3205 RNG009-5.ma
-rw-r--r-- 4482 RNG009-7.ma
-rw-r--r-- 6452 RNG010-5.ma
-rw-r--r-- 6213 RNG010-6.ma
-rw-r--r-- 7334 RNG010-7.ma
-rw-r--r-- 4893 RNG011-5.ma
-rw-r--r-- 4920 RNG012-6.ma
-rw-r--r-- 4900 RNG013-6.ma
-rw-r--r-- 4900 RNG014-6.ma
-rw-r--r-- 4963 RNG015-6.ma
-rw-r--r-- 4963 RNG016-6.ma
-rw-r--r-- 4982 RNG017-6.ma
-rw-r--r-- 4983 RNG018-6.ma
-rw-r--r-- 5254 RNG019-6.ma
-rw-r--r-- 6320 RNG019-7.ma
-rw-r--r-- 5255 RNG020-6.ma
-rw-r--r-- 6321 RNG020-7.ma
-rw-r--r-- 5254 RNG021-6.ma
-rw-r--r-- 6320 RNG021-7.ma
-rw-r--r-- 4977 RNG023-6.ma
-rw-r--r-- 6071 RNG023-7.ma
-rw-r--r-- 4979 RNG024-6.ma
-rw-r--r-- 6073 RNG024-7.ma
-rw-r--r-- 5107 RNG025-4.ma
-rw-r--r-- 6175 RNG025-5.ma
-rw-r--r-- 5060 RNG025-6.ma
-rw-r--r-- 6151 RNG025-7.ma
-rw-r--r-- 4470 RNG025-8.ma
-rw-r--r-- 5546 RNG025-9.ma
-rw-r--r-- 5197 RNG026-6.ma
-rw-r--r-- 6246 RNG026-7.ma
-rw-r--r-- 5277 RNG027-5.ma
-rw-r--r-- 6176 RNG027-7.ma
-rw-r--r-- 5311 RNG027-8.ma
-rw-r--r-- 6084 RNG027-9.ma
-rw-r--r-- 5275 RNG028-5.ma
-rw-r--r-- 6173 RNG028-7.ma
-rw-r--r-- 5309 RNG028-8.ma
-rw-r--r-- 6082 RNG028-9.ma
-rw-r--r-- 5275 RNG029-5.ma
-rw-r--r-- 5048 RNG029-6.ma
-rw-r--r-- 6115 RNG029-7.ma
-rw-r--r-- 3976 RNG030-6.ma
-rw-r--r-- 5075 RNG030-7.ma
-rw-r--r-- 4100 RNG031-6.ma
-rw-r--r-- 5219 RNG031-7.ma
-rw-r--r-- 4316 RNG032-6.ma
-rw-r--r-- 5415 RNG032-7.ma
-rw-r--r-- 5051 RNG033-6.ma
-rw-r--r-- 6118 RNG033-7.ma
-rw-r--r-- 5391 RNG033-8.ma
-rw-r--r-- 6457 RNG033-9.ma
-rw-r--r-- 4376 RNG035-7.ma
-rw-r--r-- 4298 RNG036-7.ma
-rw-r--r-- 3229 RNG042-2.ma
-rw-r--r-- 2925 RNG042-3.ma
-rw-r--r-- 2938 RNG043-1.ma
-rw-r--r-- 3313 ROB001-1.ma
-rw-r--r-- 3449 ROB002-1.ma
-rw-r--r-- 3862 ROB003-1.ma
-rw-r--r-- 3616 ROB004-1.ma
-rw-r--r-- 4216 ROB005-1.ma
-rw-r--r-- 3834 ROB006-1.ma
-rw-r--r-- 3680 ROB006-2.ma
-rw-r--r-- 3593 ROB007-1.ma
-rw-r--r-- 3546 ROB007-2.ma
-rw-r--r-- 3250 ROB008-1.ma
-rw-r--r-- 3244 ROB009-1.ma
-rw-r--r-- 3303 ROB010-1.ma
-rw-r--r-- 3191 ROB013-1.ma
-rw-r--r-- 3528 ROB020-1.ma
-rw-r--r-- 3647 ROB020-2.ma
-rw-r--r-- 3565 ROB022-1.ma
-rw-r--r-- 3594 ROB023-1.ma
-rw-r--r-- 3545 ROB024-1.ma
-rw-r--r-- 3678 ROB026-1.ma
-rw-r--r-- 3586 ROB027-1.ma
-rw-r--r-- 2598 ROB028-1.ma
-rw-r--r-- 3553 ROB030-1.ma
-rw-r--r-- 3456 ROB031-1.ma
-rw-r--r-- 3477 ROB032-1.ma
-rw-r--r-- 1461 SYN080-1.ma
-rw-r--r-- 1536 SYN083-1.ma
-rw-r--r-- 1579 SYN305-1.ma
-rw-r--r-- 1372 SYN552-1.ma