]> matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/contribs/ng_TPTP/
FIX OF THE PREVIOUS EXPERIMENTAL COMMIT:
[helm.git] / helm / software / matita / contribs / ng_TPTP /
drwxr-xr-x   ..
-rw-r--r-- 2438 ALG005-1.ma
-rw-r--r-- 2199 ALG006-1.ma
-rw-r--r-- 2247 ALG007-1.ma
-rw-r--r-- 3556 BOO001-1.ma
-rw-r--r-- 2817 BOO002-1.ma
-rw-r--r-- 2530 BOO002-2.ma
-rw-r--r-- 4061 BOO003-2.ma
-rw-r--r-- 3587 BOO003-4.ma
-rw-r--r-- 4049 BOO004-2.ma
-rw-r--r-- 3562 BOO004-4.ma
-rw-r--r-- 4152 BOO005-2.ma
-rw-r--r-- 3665 BOO005-4.ma
-rw-r--r-- 4090 BOO006-2.ma
-rw-r--r-- 3616 BOO006-4.ma
-rw-r--r-- 4280 BOO007-2.ma
-rw-r--r-- 3751 BOO007-4.ma
-rw-r--r-- 4456 BOO008-2.ma
-rw-r--r-- 3688 BOO008-4.ma
-rw-r--r-- 4111 BOO009-2.ma
-rw-r--r-- 3637 BOO009-4.ma
-rw-r--r-- 4110 BOO010-2.ma
-rw-r--r-- 3662 BOO010-4.ma
-rw-r--r-- 4230 BOO011-2.ma
-rw-r--r-- 3674 BOO011-4.ma
-rw-r--r-- 4082 BOO012-2.ma
-rw-r--r-- 3614 BOO012-4.ma
-rw-r--r-- 4458 BOO013-2.ma
-rw-r--r-- 3733 BOO013-4.ma
-rw-r--r-- 4259 BOO014-2.ma
-rw-r--r-- 3688 BOO014-4.ma
-rw-r--r-- 4327 BOO015-2.ma
-rw-r--r-- 3691 BOO015-4.ma
-rw-r--r-- 4138 BOO016-2.ma
-rw-r--r-- 4138 BOO017-2.ma
-rw-r--r-- 3674 BOO018-4.ma
-rw-r--r-- 2301 BOO019-1.ma
-rw-r--r-- 2456 BOO021-1.ma
-rw-r--r-- 2514 BOO022-1.ma
-rw-r--r-- 2806 BOO023-1.ma
-rw-r--r-- 2698 BOO024-1.ma
-rw-r--r-- 2764 BOO025-1.ma
-rw-r--r-- 3454 BOO026-1.ma
-rw-r--r-- 2473 BOO027-1.ma
-rw-r--r-- 3043 BOO028-1.ma
-rw-r--r-- 2946 BOO029-1.ma
-rw-r--r-- 2649 BOO030-1.ma
-rw-r--r-- 3224 BOO031-1.ma
-rw-r--r-- 3153 BOO032-1.ma
-rw-r--r-- 2747 BOO033-1.ma
-rw-r--r-- 4077 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-- 2069 BOO067-1.ma
-rw-r--r-- 1954 BOO068-1.ma
-rw-r--r-- 1964 BOO069-1.ma
-rw-r--r-- 1954 BOO070-1.ma
-rw-r--r-- 1964 BOO071-1.ma
-rw-r--r-- 1831 BOO072-1.ma
-rw-r--r-- 1865 BOO073-1.ma
-rw-r--r-- 1889 BOO074-1.ma
-rw-r--r-- 1700 BOO075-1.ma
-rw-r--r-- 1771 BOO076-1.ma
-rw-r--r-- 1702 BOO077-1.ma
-rw-r--r-- 1747 BOO078-1.ma
-rw-r--r-- 1702 BOO079-1.ma
-rw-r--r-- 1747 BOO080-1.ma
-rw-r--r-- 1702 BOO081-1.ma
-rw-r--r-- 1747 BOO082-1.ma
-rw-r--r-- 1702 BOO083-1.ma
-rw-r--r-- 1747 BOO084-1.ma
-rw-r--r-- 1702 BOO085-1.ma
-rw-r--r-- 1747 BOO086-1.ma
-rw-r--r-- 1702 BOO087-1.ma
-rw-r--r-- 1747 BOO088-1.ma
-rw-r--r-- 1702 BOO089-1.ma
-rw-r--r-- 1747 BOO090-1.ma
-rw-r--r-- 1702 BOO091-1.ma
-rw-r--r-- 1747 BOO092-1.ma
-rw-r--r-- 1702 BOO093-1.ma
-rw-r--r-- 1747 BOO094-1.ma
-rw-r--r-- 1703 BOO095-1.ma
-rw-r--r-- 1748 BOO096-1.ma
-rw-r--r-- 1703 BOO097-1.ma
-rw-r--r-- 1748 BOO098-1.ma
-rw-r--r-- 1703 BOO099-1.ma
-rw-r--r-- 1748 BOO100-1.ma
-rw-r--r-- 1703 BOO101-1.ma
-rw-r--r-- 1748 BOO102-1.ma
-rw-r--r-- 1703 BOO103-1.ma
-rw-r--r-- 1748 BOO104-1.ma
-rw-r--r-- 1703 BOO105-1.ma
-rw-r--r-- 1748 BOO106-1.ma
-rw-r--r-- 1703 BOO107-1.ma
-rw-r--r-- 1748 BOO108-1.ma
-rw-r--r-- 2087 COL001-1.ma
-rw-r--r-- 2487 COL001-2.ma
-rw-r--r-- 2217 COL002-1.ma
-rw-r--r-- 2595 COL002-4.ma
-rw-r--r-- 2628 COL002-5.ma
-rw-r--r-- 3176 COL003-1.ma
-rw-r--r-- 2722 COL003-2.ma
-rw-r--r-- 2147 COL004-1.ma
-rw-r--r-- 2240 COL004-3.ma
-rw-r--r-- 2403 COL005-1.ma
-rw-r--r-- 2057 COL006-1.ma
-rw-r--r-- 2382 COL006-5.ma
-rw-r--r-- 2412 COL006-6.ma
-rw-r--r-- 2342 COL006-7.ma
-rw-r--r-- 1981 COL007-1.ma
-rw-r--r-- 2242 COL008-1.ma
-rw-r--r-- 2248 COL009-1.ma
-rw-r--r-- 2245 COL010-1.ma
-rw-r--r-- 2287 COL011-1.ma
-rw-r--r-- 1994 COL012-1.ma
-rw-r--r-- 2190 COL013-1.ma
-rw-r--r-- 2137 COL014-1.ma
-rw-r--r-- 2121 COL015-1.ma
-rw-r--r-- 2296 COL016-1.ma
-rw-r--r-- 2259 COL017-1.ma
-rw-r--r-- 2308 COL018-1.ma
-rw-r--r-- 2344 COL019-1.ma
-rw-r--r-- 2445 COL020-1.ma
-rw-r--r-- 2295 COL021-1.ma
-rw-r--r-- 2272 COL022-1.ma
-rw-r--r-- 2213 COL023-1.ma
-rw-r--r-- 2295 COL024-1.ma
-rw-r--r-- 2226 COL025-1.ma
-rw-r--r-- 2222 COL026-1.ma
-rw-r--r-- 2213 COL027-1.ma
-rw-r--r-- 2133 COL029-1.ma
-rw-r--r-- 2300 COL030-1.ma
-rw-r--r-- 2156 COL031-1.ma
-rw-r--r-- 2225 COL032-1.ma
-rw-r--r-- 2393 COL033-1.ma
-rw-r--r-- 2395 COL034-1.ma
-rw-r--r-- 2431 COL035-1.ma
-rw-r--r-- 2467 COL036-1.ma
-rw-r--r-- 2503 COL037-1.ma
-rw-r--r-- 2431 COL038-1.ma
-rw-r--r-- 2369 COL039-1.ma
-rw-r--r-- 2431 COL041-1.ma
-rw-r--r-- 2413 COL042-1.ma
-rw-r--r-- 2379 COL042-6.ma
-rw-r--r-- 2379 COL042-7.ma
-rw-r--r-- 2379 COL042-8.ma
-rw-r--r-- 2379 COL042-9.ma
-rw-r--r-- 2542 COL043-1.ma
-rw-r--r-- 2533 COL043-3.ma
-rw-r--r-- 2568 COL044-1.ma
-rw-r--r-- 2459 COL044-6.ma
-rw-r--r-- 2459 COL044-7.ma
-rw-r--r-- 2469 COL044-8.ma
-rw-r--r-- 2469 COL044-9.ma
-rw-r--r-- 2307 COL045-1.ma
-rw-r--r-- 2443 COL046-1.ma
-rw-r--r-- 2310 COL047-1.ma
-rw-r--r-- 2264 COL048-1.ma
-rw-r--r-- 3016 COL049-1.ma
-rw-r--r-- 2640 COL050-1.ma
-rw-r--r-- 2530 COL051-1.ma
-rw-r--r-- 3003 COL052-1.ma
-rw-r--r-- 2645 COL053-1.ma
-rw-r--r-- 2815 COL056-1.ma
-rw-r--r-- 2320 COL057-1.ma
-rw-r--r-- 2028 COL058-1.ma
-rw-r--r-- 2514 COL058-2.ma
-rw-r--r-- 2419 COL058-3.ma
-rw-r--r-- 1415 COL059-1.ma
-rw-r--r-- 2226 COL060-1.ma
-rw-r--r-- 2261 COL060-2.ma
-rw-r--r-- 2261 COL060-3.ma
-rw-r--r-- 2230 COL061-1.ma
-rw-r--r-- 2266 COL061-2.ma
-rw-r--r-- 2266 COL061-3.ma
-rw-r--r-- 2225 COL062-1.ma
-rw-r--r-- 2306 COL062-2.ma
-rw-r--r-- 2306 COL062-3.ma
-rw-r--r-- 2226 COL063-1.ma
-rw-r--r-- 2307 COL063-2.ma
-rw-r--r-- 2307 COL063-3.ma
-rw-r--r-- 2307 COL063-4.ma
-rw-r--r-- 2307 COL063-5.ma
-rw-r--r-- 2281 COL063-6.ma
-rw-r--r-- 2239 COL064-1.ma
-rw-r--r-- 2353 COL064-2.ma
-rw-r--r-- 2327 COL064-3.ma
-rw-r--r-- 2353 COL064-4.ma
-rw-r--r-- 2353 COL064-5.ma
-rw-r--r-- 2327 COL064-6.ma
-rw-r--r-- 2353 COL064-7.ma
-rw-r--r-- 2327 COL064-8.ma
-rw-r--r-- 2353 COL064-9.ma
-rw-r--r-- 2313 COL065-1.ma
-rw-r--r-- 2467 COL066-1.ma
-rw-r--r-- 2488 COL066-2.ma
-rw-r--r-- 2488 COL066-3.ma
-rw-r--r-- 2111 COL067-1.ma
-rw-r--r-- 2053 COL068-1.ma
-rw-r--r-- 2080 COL069-1.ma
-rw-r--r-- 2167 COL070-1.ma
-rw-r--r-- 2271 COL071-1.ma
-rw-r--r-- 2338 COL073-1.ma
-rw-r--r-- 2518 COL075-2.ma
-rw-r--r-- 1853 COL083-1.ma
-rw-r--r-- 1853 COL084-1.ma
-rw-r--r-- 1603 COL085-1.ma
-rw-r--r-- 1603 COL086-1.ma
-rw-r--r-- 1948 COL087-1.ma
-rw-r--r-- 4438 GRP001-2.ma
-rw-r--r-- 2266 GRP001-4.ma
-rw-r--r-- 4850 GRP002-2.ma
-rw-r--r-- 5014 GRP002-3.ma
-rw-r--r-- 5095 GRP002-4.ma
-rw-r--r-- 2206 GRP010-4.ma
-rw-r--r-- 2153 GRP011-4.ma
-rw-r--r-- 4158 GRP012-4.ma
-rw-r--r-- 2432 GRP014-1.ma
-rw-r--r-- 4043 GRP022-2.ma
-rw-r--r-- 3925 GRP023-2.ma
-rw-r--r-- 4549 GRP024-5.ma
-rw-r--r-- 6174 GRP114-1.ma
-rw-r--r-- 1738 GRP115-1.ma
-rw-r--r-- 1731 GRP116-1.ma
-rw-r--r-- 1732 GRP117-1.ma
-rw-r--r-- 1799 GRP118-1.ma
-rw-r--r-- 1902 GRP119-1.ma
-rw-r--r-- 1827 GRP120-1.ma
-rw-r--r-- 1828 GRP121-1.ma
-rw-r--r-- 1908 GRP122-1.ma
-rw-r--r-- 7272 GRP136-1.ma
-rw-r--r-- 7277 GRP137-1.ma
-rw-r--r-- 7548 GRP138-1.ma
-rw-r--r-- 7489 GRP139-1.ma
-rw-r--r-- 7522 GRP140-1.ma
-rw-r--r-- 7520 GRP141-1.ma
-rw-r--r-- 7216 GRP142-1.ma
-rw-r--r-- 7244 GRP143-1.ma
-rw-r--r-- 7216 GRP144-1.ma
-rw-r--r-- 7244 GRP145-1.ma
-rw-r--r-- 7475 GRP146-1.ma
-rw-r--r-- 7544 GRP147-1.ma
-rw-r--r-- 7506 GRP148-1.ma
-rw-r--r-- 7513 GRP149-1.ma
-rw-r--r-- 7228 GRP150-1.ma
-rw-r--r-- 7209 GRP151-1.ma
-rw-r--r-- 7228 GRP152-1.ma
-rw-r--r-- 7209 GRP153-1.ma
-rw-r--r-- 7426 GRP154-1.ma
-rw-r--r-- 7298 GRP155-1.ma
-rw-r--r-- 7425 GRP156-1.ma
-rw-r--r-- 7292 GRP157-1.ma
-rw-r--r-- 7298 GRP158-1.ma
-rw-r--r-- 7302 GRP159-1.ma
-rw-r--r-- 7150 GRP160-1.ma
-rw-r--r-- 7153 GRP161-1.ma
-rw-r--r-- 7308 GRP162-1.ma
-rw-r--r-- 7313 GRP163-1.ma
-rw-r--r-- 7369 GRP164-1.ma
-rw-r--r-- 7296 GRP164-2.ma
-rw-r--r-- 7264 GRP165-1.ma
-rw-r--r-- 7322 GRP165-2.ma
-rw-r--r-- 7359 GRP166-1.ma
-rw-r--r-- 7311 GRP166-2.ma
-rw-r--r-- 7292 GRP166-3.ma
-rw-r--r-- 7344 GRP166-4.ma
-rw-r--r-- 8500 GRP167-1.ma
-rw-r--r-- 8212 GRP167-2.ma
-rw-r--r-- 7422 GRP167-3.ma
-rw-r--r-- 7545 GRP167-4.ma
-rw-r--r-- 8437 GRP167-5.ma
-rw-r--r-- 7617 GRP168-1.ma
-rw-r--r-- 7480 GRP168-2.ma
-rw-r--r-- 7435 GRP169-1.ma
-rw-r--r-- 7345 GRP169-2.ma
-rw-r--r-- 7280 GRP170-1.ma
-rw-r--r-- 7337 GRP170-2.ma
-rw-r--r-- 7360 GRP170-3.ma
-rw-r--r-- 7389 GRP170-4.ma
-rw-r--r-- 7237 GRP171-1.ma
-rw-r--r-- 7311 GRP171-2.ma
-rw-r--r-- 7254 GRP172-1.ma
-rw-r--r-- 7334 GRP172-2.ma
-rw-r--r-- 7532 GRP173-1.ma
-rw-r--r-- 7332 GRP174-1.ma
-rw-r--r-- 7275 GRP175-1.ma
-rw-r--r-- 7323 GRP175-2.ma
-rw-r--r-- 7346 GRP175-3.ma
-rw-r--r-- 7394 GRP175-4.ma
-rw-r--r-- 7641 GRP176-1.ma
-rw-r--r-- 7439 GRP176-2.ma
-rw-r--r-- 7538 GRP177-1.ma
-rw-r--r-- 7703 GRP177-2.ma
-rw-r--r-- 7603 GRP178-1.ma
-rw-r--r-- 7680 GRP178-2.ma
-rw-r--r-- 7315 GRP179-1.ma
-rw-r--r-- 7351 GRP179-2.ma
-rw-r--r-- 7603 GRP179-3.ma
-rw-r--r-- 7443 GRP180-1.ma
-rw-r--r-- 7587 GRP180-2.ma
-rw-r--r-- 7528 GRP181-1.ma
-rw-r--r-- 7672 GRP181-2.ma
-rw-r--r-- 7801 GRP181-3.ma
-rw-r--r-- 7908 GRP181-4.ma
-rw-r--r-- 7715 GRP182-1.ma
-rw-r--r-- 7860 GRP182-2.ma
-rw-r--r-- 7347 GRP182-3.ma
-rw-r--r-- 7492 GRP182-4.ma
-rw-r--r-- 7420 GRP183-1.ma
-rw-r--r-- 7465 GRP183-2.ma
-rw-r--r-- 7368 GRP183-3.ma
-rw-r--r-- 7513 GRP183-4.ma
-rw-r--r-- 7539 GRP184-1.ma
-rw-r--r-- 7520 GRP184-2.ma
-rw-r--r-- 7389 GRP184-3.ma
-rw-r--r-- 7743 GRP184-4.ma
-rw-r--r-- 7449 GRP185-1.ma
-rw-r--r-- 7594 GRP185-2.ma
-rw-r--r-- 7482 GRP185-3.ma
-rw-r--r-- 7627 GRP185-4.ma
-rw-r--r-- 7358 GRP186-1.ma
-rw-r--r-- 7502 GRP186-2.ma
-rw-r--r-- 7319 GRP186-3.ma
-rw-r--r-- 7438 GRP186-4.ma
-rw-r--r-- 7379 GRP187-1.ma
-rw-r--r-- 7175 GRP188-1.ma
-rw-r--r-- 7320 GRP188-2.ma
-rw-r--r-- 7156 GRP189-1.ma
-rw-r--r-- 7301 GRP189-2.ma
-rw-r--r-- 7295 GRP190-1.ma
-rw-r--r-- 7370 GRP190-2.ma
-rw-r--r-- 7301 GRP191-1.ma
-rw-r--r-- 7370 GRP191-2.ma
-rw-r--r-- 7292 GRP192-1.ma
-rw-r--r-- 7629 GRP193-1.ma
-rw-r--r-- 7709 GRP193-2.ma
-rw-r--r-- 3580 GRP195-1.ma
-rw-r--r-- 3904 GRP196-1.ma
-rw-r--r-- 2843 GRP200-1.ma
-rw-r--r-- 2843 GRP201-1.ma
-rw-r--r-- 2841 GRP202-1.ma
-rw-r--r-- 2291 GRP203-1.ma
-rw-r--r-- 2293 GRP204-1.ma
-rw-r--r-- 2676 GRP205-1.ma
-rw-r--r-- 2624 GRP206-1.ma
-rw-r--r-- 2038 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-- 1866 GRP403-1.ma
-rw-r--r-- 1869 GRP404-1.ma
-rw-r--r-- 1907 GRP405-1.ma
-rw-r--r-- 1840 GRP406-1.ma
-rw-r--r-- 1856 GRP407-1.ma
-rw-r--r-- 1894 GRP408-1.ma
-rw-r--r-- 1840 GRP409-1.ma
-rw-r--r-- 1856 GRP410-1.ma
-rw-r--r-- 1894 GRP411-1.ma
-rw-r--r-- 1840 GRP412-1.ma
-rw-r--r-- 1856 GRP413-1.ma
-rw-r--r-- 1881 GRP414-1.ma
-rw-r--r-- 1886 GRP415-1.ma
-rw-r--r-- 1876 GRP416-1.ma
-rw-r--r-- 1927 GRP417-1.ma
-rw-r--r-- 1886 GRP418-1.ma
-rw-r--r-- 1876 GRP419-1.ma
-rw-r--r-- 1914 GRP420-1.ma
-rw-r--r-- 1886 GRP421-1.ma
-rw-r--r-- 1876 GRP422-1.ma
-rw-r--r-- 1914 GRP423-1.ma
-rw-r--r-- 1860 GRP424-1.ma
-rw-r--r-- 1889 GRP425-1.ma
-rw-r--r-- 1914 GRP426-1.ma
-rw-r--r-- 1874 GRP427-1.ma
-rw-r--r-- 1864 GRP428-1.ma
-rw-r--r-- 1941 GRP429-1.ma
-rw-r--r-- 1863 GRP430-1.ma
-rw-r--r-- 1853 GRP431-1.ma
-rw-r--r-- 1891 GRP432-1.ma
-rw-r--r-- 1781 GRP433-1.ma
-rw-r--r-- 1771 GRP434-1.ma
-rw-r--r-- 1822 GRP435-1.ma
-rw-r--r-- 1807 GRP436-1.ma
-rw-r--r-- 1797 GRP437-1.ma
-rw-r--r-- 1835 GRP438-1.ma
-rw-r--r-- 1820 GRP439-1.ma
-rw-r--r-- 1810 GRP440-1.ma
-rw-r--r-- 1835 GRP441-1.ma
-rw-r--r-- 1807 GRP442-1.ma
-rw-r--r-- 1797 GRP443-1.ma
-rw-r--r-- 1835 GRP444-1.ma
-rw-r--r-- 2043 GRP445-1.ma
-rw-r--r-- 2033 GRP446-1.ma
-rw-r--r-- 2097 GRP447-1.ma
-rw-r--r-- 1961 GRP448-1.ma
-rw-r--r-- 1951 GRP449-1.ma
-rw-r--r-- 2015 GRP450-1.ma
-rw-r--r-- 1961 GRP451-1.ma
-rw-r--r-- 1990 GRP452-1.ma
-rw-r--r-- 2015 GRP453-1.ma
-rw-r--r-- 1994 GRP454-1.ma
-rw-r--r-- 1984 GRP455-1.ma
-rw-r--r-- 2086 GRP456-1.ma
-rw-r--r-- 1994 GRP457-1.ma
-rw-r--r-- 1984 GRP458-1.ma
-rw-r--r-- 2060 GRP459-1.ma
-rw-r--r-- 1994 GRP460-1.ma
-rw-r--r-- 1984 GRP461-1.ma
-rw-r--r-- 2060 GRP462-1.ma
-rw-r--r-- 1994 GRP463-1.ma
-rw-r--r-- 1984 GRP464-1.ma
-rw-r--r-- 2060 GRP465-1.ma
-rw-r--r-- 1884 GRP466-1.ma
-rw-r--r-- 1874 GRP467-1.ma
-rw-r--r-- 1925 GRP468-1.ma
-rw-r--r-- 1923 GRP469-1.ma
-rw-r--r-- 1913 GRP470-1.ma
-rw-r--r-- 1951 GRP471-1.ma
-rw-r--r-- 1910 GRP472-1.ma
-rw-r--r-- 1900 GRP473-1.ma
-rw-r--r-- 1951 GRP474-1.ma
-rw-r--r-- 1910 GRP475-1.ma
-rw-r--r-- 1900 GRP476-1.ma
-rw-r--r-- 1938 GRP477-1.ma
-rw-r--r-- 1923 GRP478-1.ma
-rw-r--r-- 1913 GRP479-1.ma
-rw-r--r-- 1938 GRP480-1.ma
-rw-r--r-- 2256 GRP481-1.ma
-rw-r--r-- 2246 GRP482-1.ma
-rw-r--r-- 2322 GRP483-1.ma
-rw-r--r-- 2116 GRP484-1.ma
-rw-r--r-- 2106 GRP485-1.ma
-rw-r--r-- 2182 GRP486-1.ma
-rw-r--r-- 2116 GRP487-1.ma
-rw-r--r-- 2106 GRP488-1.ma
-rw-r--r-- 2182 GRP489-1.ma
-rw-r--r-- 2116 GRP490-1.ma
-rw-r--r-- 2106 GRP491-1.ma
-rw-r--r-- 2182 GRP492-1.ma
-rw-r--r-- 2116 GRP493-1.ma
-rw-r--r-- 2106 GRP494-1.ma
-rw-r--r-- 2182 GRP495-1.ma
-rw-r--r-- 2116 GRP496-1.ma
-rw-r--r-- 2106 GRP497-1.ma
-rw-r--r-- 2182 GRP498-1.ma
-rw-r--r-- 1974 GRP499-1.ma
-rw-r--r-- 1990 GRP500-1.ma
-rw-r--r-- 2028 GRP501-1.ma
-rw-r--r-- 2000 GRP502-1.ma
-rw-r--r-- 1990 GRP503-1.ma
-rw-r--r-- 2041 GRP504-1.ma
-rw-r--r-- 2141 GRP505-1.ma
-rw-r--r-- 2131 GRP506-1.ma
-rw-r--r-- 2169 GRP507-1.ma
-rw-r--r-- 2148 GRP508-1.ma
-rw-r--r-- 1810 GRP509-1.ma
-rw-r--r-- 1800 GRP510-1.ma
-rw-r--r-- 1838 GRP511-1.ma
-rw-r--r-- 1830 GRP512-1.ma
-rw-r--r-- 1741 GRP513-1.ma
-rw-r--r-- 1718 GRP514-1.ma
-rw-r--r-- 1782 GRP515-1.ma
-rw-r--r-- 1748 GRP516-1.ma
-rw-r--r-- 1728 GRP517-1.ma
-rw-r--r-- 1718 GRP518-1.ma
-rw-r--r-- 1756 GRP519-1.ma
-rw-r--r-- 1748 GRP520-1.ma
-rw-r--r-- 2017 GRP521-1.ma
-rw-r--r-- 2007 GRP522-1.ma
-rw-r--r-- 2045 GRP523-1.ma
-rw-r--r-- 2037 GRP524-1.ma
-rw-r--r-- 1935 GRP525-1.ma
-rw-r--r-- 1925 GRP526-1.ma
-rw-r--r-- 1963 GRP527-1.ma
-rw-r--r-- 1955 GRP528-1.ma
-rw-r--r-- 1948 GRP529-1.ma
-rw-r--r-- 1925 GRP530-1.ma
-rw-r--r-- 1963 GRP531-1.ma
-rw-r--r-- 1955 GRP532-1.ma
-rw-r--r-- 2025 GRP533-1.ma
-rw-r--r-- 2015 GRP534-1.ma
-rw-r--r-- 2053 GRP535-1.ma
-rw-r--r-- 2045 GRP536-1.ma
-rw-r--r-- 2025 GRP537-1.ma
-rw-r--r-- 2015 GRP538-1.ma
-rw-r--r-- 2053 GRP539-1.ma
-rw-r--r-- 2045 GRP540-1.ma
-rw-r--r-- 2028 GRP541-1.ma
-rw-r--r-- 2018 GRP542-1.ma
-rw-r--r-- 2056 GRP543-1.ma
-rw-r--r-- 2048 GRP544-1.ma
-rw-r--r-- 2028 GRP545-1.ma
-rw-r--r-- 2018 GRP546-1.ma
-rw-r--r-- 2056 GRP547-1.ma
-rw-r--r-- 2048 GRP548-1.ma
-rw-r--r-- 2028 GRP549-1.ma
-rw-r--r-- 2044 GRP550-1.ma
-rw-r--r-- 2056 GRP551-1.ma
-rw-r--r-- 2048 GRP552-1.ma
-rw-r--r-- 1853 GRP553-1.ma
-rw-r--r-- 1843 GRP554-1.ma
-rw-r--r-- 1881 GRP555-1.ma
-rw-r--r-- 1873 GRP556-1.ma
-rw-r--r-- 1853 GRP557-1.ma
-rw-r--r-- 1843 GRP558-1.ma
-rw-r--r-- 1881 GRP559-1.ma
-rw-r--r-- 1873 GRP560-1.ma
-rw-r--r-- 1866 GRP561-1.ma
-rw-r--r-- 1843 GRP562-1.ma
-rw-r--r-- 1881 GRP563-1.ma
-rw-r--r-- 1873 GRP564-1.ma
-rw-r--r-- 2123 GRP565-1.ma
-rw-r--r-- 2113 GRP566-1.ma
-rw-r--r-- 2215 GRP567-1.ma
-rw-r--r-- 2194 GRP568-1.ma
-rw-r--r-- 2123 GRP569-1.ma
-rw-r--r-- 2113 GRP570-1.ma
-rw-r--r-- 2215 GRP571-1.ma
-rw-r--r-- 2194 GRP572-1.ma
-rw-r--r-- 2123 GRP573-1.ma
-rw-r--r-- 2113 GRP574-1.ma
-rw-r--r-- 2215 GRP575-1.ma
-rw-r--r-- 2181 GRP576-1.ma
-rw-r--r-- 2123 GRP577-1.ma
-rw-r--r-- 2113 GRP578-1.ma
-rw-r--r-- 2215 GRP579-1.ma
-rw-r--r-- 2181 GRP580-1.ma
-rw-r--r-- 2123 GRP581-1.ma
-rw-r--r-- 2113 GRP582-1.ma
-rw-r--r-- 2215 GRP583-1.ma
-rw-r--r-- 2181 GRP584-1.ma
-rw-r--r-- 1920 GRP585-1.ma
-rw-r--r-- 1910 GRP586-1.ma
-rw-r--r-- 1961 GRP587-1.ma
-rw-r--r-- 1940 GRP588-1.ma
-rw-r--r-- 1920 GRP589-1.ma
-rw-r--r-- 1910 GRP590-1.ma
-rw-r--r-- 1987 GRP591-1.ma
-rw-r--r-- 1953 GRP592-1.ma
-rw-r--r-- 1920 GRP593-1.ma
-rw-r--r-- 1910 GRP594-1.ma
-rw-r--r-- 1974 GRP595-1.ma
-rw-r--r-- 1953 GRP596-1.ma
-rw-r--r-- 1920 GRP597-1.ma
-rw-r--r-- 1936 GRP598-1.ma
-rw-r--r-- 1987 GRP599-1.ma
-rw-r--r-- 1953 GRP600-1.ma
-rw-r--r-- 1946 GRP601-1.ma
-rw-r--r-- 1936 GRP602-1.ma
-rw-r--r-- 1974 GRP603-1.ma
-rw-r--r-- 1953 GRP604-1.ma
-rw-r--r-- 1920 GRP605-1.ma
-rw-r--r-- 1910 GRP606-1.ma
-rw-r--r-- 1961 GRP607-1.ma
-rw-r--r-- 1940 GRP608-1.ma
-rw-r--r-- 1946 GRP609-1.ma
-rw-r--r-- 1936 GRP610-1.ma
-rw-r--r-- 1948 GRP611-1.ma
-rw-r--r-- 1953 GRP612-1.ma
-rw-r--r-- 1920 GRP613-1.ma
-rw-r--r-- 1910 GRP614-1.ma
-rw-r--r-- 1987 GRP615-1.ma
-rw-r--r-- 1940 GRP616-1.ma
-rw-r--r-- 2534 HWC004-1.ma
-rw-r--r-- 2542 HWC004-2.ma
-rw-r--r-- 2147 LAT006-1.ma
-rw-r--r-- 2159 LAT007-1.ma
-rw-r--r-- 2105 LAT008-1.ma
-rw-r--r-- 4091 LAT009-1.ma
-rw-r--r-- 4495 LAT010-1.ma
-rw-r--r-- 4545 LAT011-1.ma
-rw-r--r-- 2370 LAT012-1.ma
-rw-r--r-- 2445 LAT013-1.ma
-rw-r--r-- 2327 LAT014-1.ma
-rw-r--r-- 4480 LAT016-1.ma
-rw-r--r-- 4404 LAT017-1.ma
-rw-r--r-- 4321 LAT018-1.ma
-rw-r--r-- 3964 LAT019-1.ma
-rw-r--r-- 4027 LAT020-1.ma
-rw-r--r-- 4014 LAT021-1.ma
-rw-r--r-- 4132 LAT022-1.ma
-rw-r--r-- 4014 LAT023-1.ma
-rw-r--r-- 4719 LAT024-1.ma
-rw-r--r-- 3129 LAT025-1.ma
-rw-r--r-- 3918 LAT026-1.ma
-rw-r--r-- 3905 LAT027-1.ma
-rw-r--r-- 4257 LAT028-1.ma
-rw-r--r-- 3821 LAT031-1.ma
-rw-r--r-- 3822 LAT032-1.ma
-rw-r--r-- 2245 LAT033-1.ma
-rw-r--r-- 2245 LAT034-1.ma
-rw-r--r-- 4816 LAT038-1.ma
-rw-r--r-- 4068 LAT039-1.ma
-rw-r--r-- 4065 LAT039-2.ma
-rw-r--r-- 4122 LAT040-1.ma
-rw-r--r-- 4248 LAT042-1.ma
-rw-r--r-- 4236 LAT043-1.ma
-rw-r--r-- 4531 LAT044-1.ma
-rw-r--r-- 4471 LAT045-1.ma
-rw-r--r-- 4478 LAT046-1.ma
-rw-r--r-- 3763 LAT047-1.ma
-rw-r--r-- 4486 LAT048-1.ma
-rw-r--r-- 4336 LAT049-1.ma
-rw-r--r-- 4691 LAT050-1.ma
-rw-r--r-- 4170 LAT051-1.ma
-rw-r--r-- 4343 LAT052-1.ma
-rw-r--r-- 4735 LAT053-1.ma
-rw-r--r-- 4752 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-- 4164 LAT062-1.ma
-rw-r--r-- 4094 LAT063-1.ma
-rw-r--r-- 1960 LAT070-1.ma
-rw-r--r-- 1967 LAT071-1.ma
-rw-r--r-- 1975 LAT072-1.ma
-rw-r--r-- 1952 LAT073-1.ma
-rw-r--r-- 1982 LAT074-1.ma
-rw-r--r-- 1967 LAT075-1.ma
-rw-r--r-- 1992 LAT076-1.ma
-rw-r--r-- 1977 LAT077-1.ma
-rw-r--r-- 1992 LAT078-1.ma
-rw-r--r-- 1977 LAT079-1.ma
-rw-r--r-- 2101 LAT080-1.ma
-rw-r--r-- 2128 LAT081-1.ma
-rw-r--r-- 2164 LAT082-1.ma
-rw-r--r-- 2101 LAT083-1.ma
-rw-r--r-- 2128 LAT084-1.ma
-rw-r--r-- 2164 LAT085-1.ma
-rw-r--r-- 2128 LAT086-1.ma
-rw-r--r-- 2128 LAT087-1.ma
-rw-r--r-- 2056 LAT088-1.ma
-rw-r--r-- 2083 LAT089-1.ma
-rw-r--r-- 2056 LAT090-1.ma
-rw-r--r-- 2109 LAT091-1.ma
-rw-r--r-- 2113 LAT092-1.ma
-rw-r--r-- 2140 LAT093-1.ma
-rw-r--r-- 2113 LAT094-1.ma
-rw-r--r-- 2140 LAT095-1.ma
-rw-r--r-- 2176 LAT096-1.ma
-rw-r--r-- 2183 LAT097-1.ma
-rw-r--r-- 3948 LAT098-1.ma
-rw-r--r-- 3948 LAT099-1.ma
-rw-r--r-- 3966 LAT100-1.ma
-rw-r--r-- 3933 LAT101-1.ma
-rw-r--r-- 3966 LAT102-1.ma
-rw-r--r-- 3932 LAT103-1.ma
-rw-r--r-- 3950 LAT104-1.ma
-rw-r--r-- 3935 LAT105-1.ma
-rw-r--r-- 3950 LAT106-1.ma
-rw-r--r-- 3962 LAT107-1.ma
-rw-r--r-- 3998 LAT108-1.ma
-rw-r--r-- 3998 LAT109-1.ma
-rw-r--r-- 3998 LAT110-1.ma
-rw-r--r-- 3998 LAT111-1.ma
-rw-r--r-- 3998 LAT112-1.ma
-rw-r--r-- 3998 LAT113-1.ma
-rw-r--r-- 3935 LAT114-1.ma
-rw-r--r-- 3953 LAT115-1.ma
-rw-r--r-- 3953 LAT116-1.ma
-rw-r--r-- 3962 LAT117-1.ma
-rw-r--r-- 3971 LAT118-1.ma
-rw-r--r-- 3941 LAT119-1.ma
-rw-r--r-- 3927 LAT120-1.ma
-rw-r--r-- 3945 LAT121-1.ma
-rw-r--r-- 3945 LAT122-1.ma
-rw-r--r-- 3945 LAT123-1.ma
-rw-r--r-- 3981 LAT124-1.ma
-rw-r--r-- 3972 LAT125-1.ma
-rw-r--r-- 3972 LAT126-1.ma
-rw-r--r-- 3942 LAT127-1.ma
-rw-r--r-- 3942 LAT128-1.ma
-rw-r--r-- 3927 LAT129-1.ma
-rw-r--r-- 3945 LAT130-1.ma
-rw-r--r-- 3954 LAT131-1.ma
-rw-r--r-- 3972 LAT132-1.ma
-rw-r--r-- 3947 LAT133-1.ma
-rw-r--r-- 3950 LAT134-1.ma
-rw-r--r-- 3950 LAT135-1.ma
-rw-r--r-- 3968 LAT136-1.ma
-rw-r--r-- 3977 LAT137-1.ma
-rw-r--r-- 3818 LAT138-1.ma
-rw-r--r-- 3803 LAT139-1.ma
-rw-r--r-- 3819 LAT140-1.ma
-rw-r--r-- 3819 LAT141-1.ma
-rw-r--r-- 3832 LAT142-1.ma
-rw-r--r-- 3843 LAT143-1.ma
-rw-r--r-- 3846 LAT144-1.ma
-rw-r--r-- 3846 LAT145-1.ma
-rw-r--r-- 3857 LAT146-1.ma
-rw-r--r-- 3857 LAT147-1.ma
-rw-r--r-- 3837 LAT148-1.ma
-rw-r--r-- 3866 LAT149-1.ma
-rw-r--r-- 3857 LAT150-1.ma
-rw-r--r-- 3857 LAT151-1.ma
-rw-r--r-- 3859 LAT152-1.ma
-rw-r--r-- 3846 LAT153-1.ma
-rw-r--r-- 3859 LAT154-1.ma
-rw-r--r-- 3846 LAT155-1.ma
-rw-r--r-- 3859 LAT156-1.ma
-rw-r--r-- 3846 LAT157-1.ma
-rw-r--r-- 3866 LAT158-1.ma
-rw-r--r-- 3846 LAT159-1.ma
-rw-r--r-- 3857 LAT160-1.ma
-rw-r--r-- 3821 LAT161-1.ma
-rw-r--r-- 3803 LAT162-1.ma
-rw-r--r-- 3857 LAT163-1.ma
-rw-r--r-- 3837 LAT164-1.ma
-rw-r--r-- 3870 LAT165-1.ma
-rw-r--r-- 3866 LAT166-1.ma
-rw-r--r-- 3866 LAT167-1.ma
-rw-r--r-- 3821 LAT168-1.ma
-rw-r--r-- 3808 LAT169-1.ma
-rw-r--r-- 3835 LAT170-1.ma
-rw-r--r-- 3819 LAT171-1.ma
-rw-r--r-- 3862 LAT172-1.ma
-rw-r--r-- 3862 LAT173-1.ma
-rw-r--r-- 3842 LAT174-1.ma
-rw-r--r-- 3871 LAT175-1.ma
-rw-r--r-- 3871 LAT176-1.ma
-rw-r--r-- 3851 LAT177-1.ma
-rw-r--r-- 4425 LCL109-2.ma
-rw-r--r-- 5000 LCL109-6.ma
-rw-r--r-- 3885 LCL110-2.ma
-rw-r--r-- 4116 LCL111-2.ma
-rw-r--r-- 3951 LCL112-2.ma
-rw-r--r-- 3833 LCL113-2.ma
-rw-r--r-- 3925 LCL114-2.ma
-rw-r--r-- 3821 LCL115-2.ma
-rw-r--r-- 3833 LCL116-2.ma
-rw-r--r-- 3428 LCL132-1.ma
-rw-r--r-- 3543 LCL133-1.ma
-rw-r--r-- 3471 LCL134-1.ma
-rw-r--r-- 3826 LCL135-1.ma
-rw-r--r-- 3936 LCL136-1.ma
-rw-r--r-- 3827 LCL137-1.ma
-rw-r--r-- 3626 LCL138-1.ma
-rw-r--r-- 3479 LCL139-1.ma
-rw-r--r-- 3463 LCL140-1.ma
-rw-r--r-- 3835 LCL141-1.ma
-rw-r--r-- 7831 LCL153-1.ma
-rw-r--r-- 7829 LCL154-1.ma
-rw-r--r-- 7829 LCL155-1.ma
-rw-r--r-- 7830 LCL156-1.ma
-rw-r--r-- 7842 LCL157-1.ma
-rw-r--r-- 7846 LCL158-1.ma
-rw-r--r-- 7871 LCL159-1.ma
-rw-r--r-- 7983 LCL160-1.ma
-rw-r--r-- 4732 LCL161-1.ma
-rw-r--r-- 4881 LCL162-1.ma
-rw-r--r-- 4834 LCL163-1.ma
-rw-r--r-- 4786 LCL164-1.ma
-rw-r--r-- 5674 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-- 1786 LDA001-1.ma
-rw-r--r-- 2204 LDA002-1.ma
-rw-r--r-- 2169 LDA007-3.ma
-rw-r--r-- 5247 RNG007-4.ma
-rw-r--r-- 5625 RNG008-3.ma
-rw-r--r-- 5380 RNG008-4.ma
-rw-r--r-- 4693 RNG008-7.ma
-rw-r--r-- 3264 RNG009-5.ma
-rw-r--r-- 4553 RNG009-7.ma
-rw-r--r-- 6583 RNG010-5.ma
-rw-r--r-- 6323 RNG010-6.ma
-rw-r--r-- 7465 RNG010-7.ma
-rw-r--r-- 4997 RNG011-5.ma
-rw-r--r-- 5006 RNG012-6.ma
-rw-r--r-- 4986 RNG013-6.ma
-rw-r--r-- 4986 RNG014-6.ma
-rw-r--r-- 5052 RNG015-6.ma
-rw-r--r-- 5052 RNG016-6.ma
-rw-r--r-- 5071 RNG017-6.ma
-rw-r--r-- 5072 RNG018-6.ma
-rw-r--r-- 5346 RNG019-6.ma
-rw-r--r-- 6433 RNG019-7.ma
-rw-r--r-- 5347 RNG020-6.ma
-rw-r--r-- 6434 RNG020-7.ma
-rw-r--r-- 5346 RNG021-6.ma
-rw-r--r-- 6433 RNG021-7.ma
-rw-r--r-- 5063 RNG023-6.ma
-rw-r--r-- 6178 RNG023-7.ma
-rw-r--r-- 5065 RNG024-6.ma
-rw-r--r-- 6180 RNG024-7.ma
-rw-r--r-- 5196 RNG025-4.ma
-rw-r--r-- 6285 RNG025-5.ma
-rw-r--r-- 5146 RNG025-6.ma
-rw-r--r-- 6258 RNG025-7.ma
-rw-r--r-- 4571 RNG025-8.ma
-rw-r--r-- 5668 RNG025-9.ma
-rw-r--r-- 5289 RNG026-6.ma
-rw-r--r-- 6359 RNG026-7.ma
-rw-r--r-- 5366 RNG027-5.ma
-rw-r--r-- 6286 RNG027-7.ma
-rw-r--r-- 5400 RNG027-8.ma
-rw-r--r-- 6194 RNG027-9.ma
-rw-r--r-- 5364 RNG028-5.ma
-rw-r--r-- 6283 RNG028-7.ma
-rw-r--r-- 5398 RNG028-8.ma
-rw-r--r-- 6192 RNG028-9.ma
-rw-r--r-- 5364 RNG029-5.ma
-rw-r--r-- 5137 RNG029-6.ma
-rw-r--r-- 6225 RNG029-7.ma
-rw-r--r-- 4059 RNG030-6.ma
-rw-r--r-- 5179 RNG030-7.ma
-rw-r--r-- 4183 RNG031-6.ma
-rw-r--r-- 5323 RNG031-7.ma
-rw-r--r-- 4399 RNG032-6.ma
-rw-r--r-- 5519 RNG032-7.ma
-rw-r--r-- 5143 RNG033-6.ma
-rw-r--r-- 6231 RNG033-7.ma
-rw-r--r-- 5486 RNG033-8.ma
-rw-r--r-- 6573 RNG033-9.ma
-rw-r--r-- 4447 RNG035-7.ma
-rw-r--r-- 4369 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-- 3351 ROB001-1.ma
-rw-r--r-- 3490 ROB002-1.ma
-rw-r--r-- 3906 ROB003-1.ma
-rw-r--r-- 3669 ROB004-1.ma
-rw-r--r-- 4260 ROB005-1.ma
-rw-r--r-- 3881 ROB006-1.ma
-rw-r--r-- 3737 ROB006-2.ma
-rw-r--r-- 3634 ROB007-1.ma
-rw-r--r-- 3603 ROB007-2.ma
-rw-r--r-- 3294 ROB008-1.ma
-rw-r--r-- 3288 ROB009-1.ma
-rw-r--r-- 3347 ROB010-1.ma
-rw-r--r-- 3235 ROB013-1.ma
-rw-r--r-- 3569 ROB020-1.ma
-rw-r--r-- 3704 ROB020-2.ma
-rw-r--r-- 3609 ROB022-1.ma
-rw-r--r-- 3635 ROB023-1.ma
-rw-r--r-- 3586 ROB024-1.ma
-rw-r--r-- 3725 ROB026-1.ma
-rw-r--r-- 3630 ROB027-1.ma
-rw-r--r-- 2598 ROB028-1.ma
-rw-r--r-- 3632 ROB030-1.ma
-rw-r--r-- 3526 ROB031-1.ma
-rw-r--r-- 3547 ROB032-1.ma
-rw-r--r-- 1490 SYN080-1.ma
-rw-r--r-- 1571 SYN083-1.ma
-rw-r--r-- 1621 SYN305-1.ma
-rw-r--r-- 1372 SYN552-1.ma