]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/ng_TPTP/
init_copy init_match
[helm.git] / matita / matita / contribs / ng_TPTP /
drwxr-xr-x   ..
-rw-r--r-- 2487 ALG005-1.ma
-rw-r--r-- 2248 ALG006-1.ma
-rw-r--r-- 2296 ALG007-1.ma
-rw-r--r-- 3579 BOO001-1.ma
-rw-r--r-- 2853 BOO002-1.ma
-rw-r--r-- 2553 BOO002-2.ma
-rw-r--r-- 4084 BOO003-2.ma
-rw-r--r-- 3610 BOO003-4.ma
-rw-r--r-- 4072 BOO004-2.ma
-rw-r--r-- 3585 BOO004-4.ma
-rw-r--r-- 4175 BOO005-2.ma
-rw-r--r-- 3688 BOO005-4.ma
-rw-r--r-- 4113 BOO006-2.ma
-rw-r--r-- 3639 BOO006-4.ma
-rw-r--r-- 4329 BOO007-2.ma
-rw-r--r-- 3800 BOO007-4.ma
-rw-r--r-- 4505 BOO008-2.ma
-rw-r--r-- 3737 BOO008-4.ma
-rw-r--r-- 4134 BOO009-2.ma
-rw-r--r-- 3660 BOO009-4.ma
-rw-r--r-- 4133 BOO010-2.ma
-rw-r--r-- 3685 BOO010-4.ma
-rw-r--r-- 4253 BOO011-2.ma
-rw-r--r-- 3697 BOO011-4.ma
-rw-r--r-- 4105 BOO012-2.ma
-rw-r--r-- 3637 BOO012-4.ma
-rw-r--r-- 4481 BOO013-2.ma
-rw-r--r-- 3756 BOO013-4.ma
-rw-r--r-- 4282 BOO014-2.ma
-rw-r--r-- 3737 BOO014-4.ma
-rw-r--r-- 4350 BOO015-2.ma
-rw-r--r-- 3727 BOO015-4.ma
-rw-r--r-- 4161 BOO016-2.ma
-rw-r--r-- 4161 BOO017-2.ma
-rw-r--r-- 3697 BOO018-4.ma
-rw-r--r-- 2324 BOO019-1.ma
-rw-r--r-- 2492 BOO021-1.ma
-rw-r--r-- 2563 BOO022-1.ma
-rw-r--r-- 2842 BOO023-1.ma
-rw-r--r-- 2747 BOO024-1.ma
-rw-r--r-- 2813 BOO025-1.ma
-rw-r--r-- 3503 BOO026-1.ma
-rw-r--r-- 2496 BOO027-1.ma
-rw-r--r-- 3092 BOO028-1.ma
-rw-r--r-- 2969 BOO029-1.ma
-rw-r--r-- 2672 BOO030-1.ma
-rw-r--r-- 3273 BOO031-1.ma
-rw-r--r-- 3176 BOO032-1.ma
-rw-r--r-- 2770 BOO033-1.ma
-rw-r--r-- 4126 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-- 2118 BOO067-1.ma
-rw-r--r-- 2003 BOO068-1.ma
-rw-r--r-- 2013 BOO069-1.ma
-rw-r--r-- 2003 BOO070-1.ma
-rw-r--r-- 2013 BOO071-1.ma
-rw-r--r-- 1880 BOO072-1.ma
-rw-r--r-- 1914 BOO073-1.ma
-rw-r--r-- 1938 BOO074-1.ma
-rw-r--r-- 1749 BOO075-1.ma
-rw-r--r-- 1820 BOO076-1.ma
-rw-r--r-- 1725 BOO077-1.ma
-rw-r--r-- 1770 BOO078-1.ma
-rw-r--r-- 1725 BOO079-1.ma
-rw-r--r-- 1770 BOO080-1.ma
-rw-r--r-- 1725 BOO081-1.ma
-rw-r--r-- 1770 BOO082-1.ma
-rw-r--r-- 1725 BOO083-1.ma
-rw-r--r-- 1770 BOO084-1.ma
-rw-r--r-- 1725 BOO085-1.ma
-rw-r--r-- 1770 BOO086-1.ma
-rw-r--r-- 1725 BOO087-1.ma
-rw-r--r-- 1770 BOO088-1.ma
-rw-r--r-- 1725 BOO089-1.ma
-rw-r--r-- 1770 BOO090-1.ma
-rw-r--r-- 1725 BOO091-1.ma
-rw-r--r-- 1770 BOO092-1.ma
-rw-r--r-- 1725 BOO093-1.ma
-rw-r--r-- 1770 BOO094-1.ma
-rw-r--r-- 1726 BOO095-1.ma
-rw-r--r-- 1771 BOO096-1.ma
-rw-r--r-- 1726 BOO097-1.ma
-rw-r--r-- 1771 BOO098-1.ma
-rw-r--r-- 1726 BOO099-1.ma
-rw-r--r-- 1771 BOO100-1.ma
-rw-r--r-- 1726 BOO101-1.ma
-rw-r--r-- 1771 BOO102-1.ma
-rw-r--r-- 1726 BOO103-1.ma
-rw-r--r-- 1771 BOO104-1.ma
-rw-r--r-- 1726 BOO105-1.ma
-rw-r--r-- 1771 BOO106-1.ma
-rw-r--r-- 1726 BOO107-1.ma
-rw-r--r-- 1771 BOO108-1.ma
drwxr-xr-x - CASC_2008
-rw-r--r-- 2136 COL001-1.ma
-rw-r--r-- 2536 COL001-2.ma
-rw-r--r-- 2266 COL002-1.ma
-rw-r--r-- 2644 COL002-4.ma
-rw-r--r-- 2677 COL002-5.ma
-rw-r--r-- 3225 COL003-1.ma
-rw-r--r-- 2722 COL003-2.ma.NOT_UEQ
-rw-r--r-- 2196 COL004-1.ma
-rw-r--r-- 2289 COL004-3.ma
-rw-r--r-- 2426 COL005-1.ma
-rw-r--r-- 2106 COL006-1.ma
-rw-r--r-- 2431 COL006-5.ma
-rw-r--r-- 2461 COL006-6.ma
-rw-r--r-- 2391 COL006-7.ma
-rw-r--r-- 2004 COL007-1.ma
-rw-r--r-- 2278 COL008-1.ma
-rw-r--r-- 2297 COL009-1.ma
-rw-r--r-- 2294 COL010-1.ma
-rw-r--r-- 2336 COL011-1.ma
-rw-r--r-- 2017 COL012-1.ma
-rw-r--r-- 2213 COL013-1.ma
-rw-r--r-- 2160 COL014-1.ma
-rw-r--r-- 2157 COL015-1.ma
-rw-r--r-- 2319 COL016-1.ma
-rw-r--r-- 2295 COL017-1.ma
-rw-r--r-- 2331 COL018-1.ma
-rw-r--r-- 2393 COL019-1.ma
-rw-r--r-- 2494 COL020-1.ma
-rw-r--r-- 2344 COL021-1.ma
-rw-r--r-- 2321 COL022-1.ma
-rw-r--r-- 2262 COL023-1.ma
-rw-r--r-- 2344 COL024-1.ma
-rw-r--r-- 2249 COL025-1.ma
-rw-r--r-- 2271 COL026-1.ma
-rw-r--r-- 2262 COL027-1.ma
-rw-r--r-- 2156 COL029-1.ma
-rw-r--r-- 2349 COL030-1.ma
-rw-r--r-- 2179 COL031-1.ma
-rw-r--r-- 2274 COL032-1.ma
-rw-r--r-- 2429 COL033-1.ma
-rw-r--r-- 2444 COL034-1.ma
-rw-r--r-- 2480 COL035-1.ma
-rw-r--r-- 2503 COL036-1.ma
-rw-r--r-- 2552 COL037-1.ma
-rw-r--r-- 2480 COL038-1.ma
-rw-r--r-- 2418 COL039-1.ma
-rw-r--r-- 2480 COL041-1.ma
-rw-r--r-- 2462 COL042-1.ma
-rw-r--r-- 2428 COL042-6.ma
-rw-r--r-- 2428 COL042-7.ma
-rw-r--r-- 2428 COL042-8.ma
-rw-r--r-- 2428 COL042-9.ma
-rw-r--r-- 2591 COL043-1.ma
-rw-r--r-- 2582 COL043-3.ma
-rw-r--r-- 2617 COL044-1.ma
-rw-r--r-- 2508 COL044-6.ma
-rw-r--r-- 2508 COL044-7.ma
-rw-r--r-- 2518 COL044-8.ma
-rw-r--r-- 2518 COL044-9.ma
-rw-r--r-- 2356 COL045-1.ma
-rw-r--r-- 2492 COL046-1.ma
-rw-r--r-- 2333 COL047-1.ma
-rw-r--r-- 2300 COL048-1.ma
-rw-r--r-- 3065 COL049-1.ma
-rw-r--r-- 2663 COL050-1.ma
-rw-r--r-- 2553 COL051-1.ma
-rw-r--r-- 3026 COL052-1.ma
-rw-r--r-- 2668 COL053-1.ma
-rw-r--r-- 2864 COL056-1.ma
-rw-r--r-- 2369 COL057-1.ma
-rw-r--r-- 2051 COL058-1.ma
-rw-r--r-- 2537 COL058-2.ma
-rw-r--r-- 2442 COL058-3.ma
-rw-r--r-- 1415 COL059-1.ma
-rw-r--r-- 2275 COL060-1.ma
-rw-r--r-- 2310 COL060-2.ma
-rw-r--r-- 2310 COL060-3.ma
-rw-r--r-- 2279 COL061-1.ma
-rw-r--r-- 2315 COL061-2.ma
-rw-r--r-- 2315 COL061-3.ma
-rw-r--r-- 2261 COL062-1.ma
-rw-r--r-- 2355 COL062-2.ma
-rw-r--r-- 2355 COL062-3.ma
-rw-r--r-- 2262 COL063-1.ma
-rw-r--r-- 2356 COL063-2.ma
-rw-r--r-- 2356 COL063-3.ma
-rw-r--r-- 2356 COL063-4.ma
-rw-r--r-- 2356 COL063-5.ma
-rw-r--r-- 2330 COL063-6.ma
-rw-r--r-- 2288 COL064-1.ma
-rw-r--r-- 2402 COL064-2.ma
-rw-r--r-- 2376 COL064-3.ma
-rw-r--r-- 2402 COL064-4.ma
-rw-r--r-- 2402 COL064-5.ma
-rw-r--r-- 2376 COL064-6.ma
-rw-r--r-- 2402 COL064-7.ma
-rw-r--r-- 2376 COL064-8.ma
-rw-r--r-- 2402 COL064-9.ma
-rw-r--r-- 2362 COL065-1.ma
-rw-r--r-- 2516 COL066-1.ma
-rw-r--r-- 2537 COL066-2.ma
-rw-r--r-- 2537 COL066-3.ma
-rw-r--r-- 2134 COL067-1.ma
-rw-r--r-- 2076 COL068-1.ma
-rw-r--r-- 2103 COL069-1.ma
-rw-r--r-- 2216 COL070-1.ma
-rw-r--r-- 2294 COL071-1.ma
-rw-r--r-- 2361 COL073-1.ma
-rw-r--r-- 2567 COL075-2.ma
-rw-r--r-- 1876 COL083-1.ma
-rw-r--r-- 1876 COL084-1.ma
-rw-r--r-- 1626 COL085-1.ma
-rw-r--r-- 1626 COL086-1.ma
-rw-r--r-- 1971 COL087-1.ma
-rw-r--r-- 4461 GRP001-2.ma
-rw-r--r-- 2289 GRP001-4.ma
-rw-r--r-- 4899 GRP002-2.ma
-rw-r--r-- 5063 GRP002-3.ma
-rw-r--r-- 5144 GRP002-4.ma
-rw-r--r-- 2229 GRP010-4.ma
-rw-r--r-- 2176 GRP011-4.ma
-rw-r--r-- 4181 GRP012-4.ma
-rw-r--r-- 2481 GRP014-1.ma
-rw-r--r-- 4066 GRP022-2.ma
-rw-r--r-- 3948 GRP023-2.ma
-rw-r--r-- 4598 GRP024-5.ma
-rw-r--r-- 6223 GRP114-1.ma
-rw-r--r-- 1761 GRP115-1.ma
-rw-r--r-- 1754 GRP116-1.ma
-rw-r--r-- 1755 GRP117-1.ma
-rw-r--r-- 1835 GRP118-1.ma
-rw-r--r-- 1951 GRP119-1.ma
-rw-r--r-- 1876 GRP120-1.ma
-rw-r--r-- 1877 GRP121-1.ma
-rw-r--r-- 1957 GRP122-1.ma
-rw-r--r-- 7295 GRP136-1.ma
-rw-r--r-- 7300 GRP137-1.ma
-rw-r--r-- 7597 GRP138-1.ma
-rw-r--r-- 7538 GRP139-1.ma
-rw-r--r-- 7571 GRP140-1.ma
-rw-r--r-- 7569 GRP141-1.ma
-rw-r--r-- 7239 GRP142-1.ma
-rw-r--r-- 7267 GRP143-1.ma
-rw-r--r-- 7239 GRP144-1.ma
-rw-r--r-- 7267 GRP145-1.ma
-rw-r--r-- 7524 GRP146-1.ma
-rw-r--r-- 7593 GRP147-1.ma
-rw-r--r-- 7555 GRP148-1.ma
-rw-r--r-- 7562 GRP149-1.ma
-rw-r--r-- 7251 GRP150-1.ma
-rw-r--r-- 7232 GRP151-1.ma
-rw-r--r-- 7251 GRP152-1.ma
-rw-r--r-- 7232 GRP153-1.ma
-rw-r--r-- 7462 GRP154-1.ma
-rw-r--r-- 7334 GRP155-1.ma
-rw-r--r-- 7461 GRP156-1.ma
-rw-r--r-- 7315 GRP157-1.ma
-rw-r--r-- 7321 GRP158-1.ma
-rw-r--r-- 7325 GRP159-1.ma
-rw-r--r-- 7173 GRP160-1.ma
-rw-r--r-- 7176 GRP161-1.ma
-rw-r--r-- 7331 GRP162-1.ma
-rw-r--r-- 7336 GRP163-1.ma
-rw-r--r-- 7418 GRP164-1.ma
-rw-r--r-- 7345 GRP164-2.ma
-rw-r--r-- 7287 GRP165-1.ma
-rw-r--r-- 7345 GRP165-2.ma
-rw-r--r-- 7382 GRP166-1.ma
-rw-r--r-- 7334 GRP166-2.ma
-rw-r--r-- 7341 GRP166-3.ma
-rw-r--r-- 7393 GRP166-4.ma
-rw-r--r-- 8549 GRP167-1.ma
-rw-r--r-- 8261 GRP167-2.ma
-rw-r--r-- 7471 GRP167-3.ma
-rw-r--r-- 7594 GRP167-4.ma
-rw-r--r-- 8486 GRP167-5.ma
-rw-r--r-- 7666 GRP168-1.ma
-rw-r--r-- 7529 GRP168-2.ma
-rw-r--r-- 7484 GRP169-1.ma
-rw-r--r-- 7394 GRP169-2.ma
-rw-r--r-- 7329 GRP170-1.ma
-rw-r--r-- 7386 GRP170-2.ma
-rw-r--r-- 7409 GRP170-3.ma
-rw-r--r-- 7438 GRP170-4.ma
-rw-r--r-- 7260 GRP171-1.ma
-rw-r--r-- 7334 GRP171-2.ma
-rw-r--r-- 7277 GRP172-1.ma
-rw-r--r-- 7357 GRP172-2.ma
-rw-r--r-- 7555 GRP173-1.ma
-rw-r--r-- 7355 GRP174-1.ma
-rw-r--r-- 7324 GRP175-1.ma
-rw-r--r-- 7372 GRP175-2.ma
-rw-r--r-- 7395 GRP175-3.ma
-rw-r--r-- 7443 GRP175-4.ma
-rw-r--r-- 7664 GRP176-1.ma
-rw-r--r-- 7462 GRP176-2.ma
-rw-r--r-- 7561 GRP177-1.ma
-rw-r--r-- 7752 GRP177-2.ma
-rw-r--r-- 7652 GRP178-1.ma
-rw-r--r-- 7729 GRP178-2.ma
-rw-r--r-- 7351 GRP179-1.ma
-rw-r--r-- 7387 GRP179-2.ma
-rw-r--r-- 7652 GRP179-3.ma
-rw-r--r-- 7492 GRP180-1.ma
-rw-r--r-- 7636 GRP180-2.ma
-rw-r--r-- 7577 GRP181-1.ma
-rw-r--r-- 7721 GRP181-2.ma
-rw-r--r-- 7850 GRP181-3.ma
-rw-r--r-- 7957 GRP181-4.ma
-rw-r--r-- 7738 GRP182-1.ma
-rw-r--r-- 7883 GRP182-2.ma
-rw-r--r-- 7370 GRP182-3.ma
-rw-r--r-- 7515 GRP182-4.ma
-rw-r--r-- 7469 GRP183-1.ma
-rw-r--r-- 7514 GRP183-2.ma
-rw-r--r-- 7417 GRP183-3.ma
-rw-r--r-- 7562 GRP183-4.ma
-rw-r--r-- 7588 GRP184-1.ma
-rw-r--r-- 7569 GRP184-2.ma
-rw-r--r-- 7438 GRP184-3.ma
-rw-r--r-- 7792 GRP184-4.ma
-rw-r--r-- 7498 GRP185-1.ma
-rw-r--r-- 7643 GRP185-2.ma
-rw-r--r-- 7531 GRP185-3.ma
-rw-r--r-- 7676 GRP185-4.ma
-rw-r--r-- 7407 GRP186-1.ma
-rw-r--r-- 7551 GRP186-2.ma
-rw-r--r-- 7342 GRP186-3.ma
-rw-r--r-- 7461 GRP186-4.ma
-rw-r--r-- 7428 GRP187-1.ma
-rw-r--r-- 7198 GRP188-1.ma
-rw-r--r-- 7343 GRP188-2.ma
-rw-r--r-- 7179 GRP189-1.ma
-rw-r--r-- 7324 GRP189-2.ma
-rw-r--r-- 7344 GRP190-1.ma
-rw-r--r-- 7419 GRP190-2.ma
-rw-r--r-- 7350 GRP191-1.ma
-rw-r--r-- 7419 GRP191-2.ma
-rw-r--r-- 7328 GRP192-1.ma
-rw-r--r-- 7678 GRP193-1.ma
-rw-r--r-- 7758 GRP193-2.ma
-rw-r--r-- 3629 GRP195-1.ma
-rw-r--r-- 3953 GRP196-1.ma
-rw-r--r-- 2892 GRP200-1.ma
-rw-r--r-- 2892 GRP201-1.ma
-rw-r--r-- 2890 GRP202-1.ma
-rw-r--r-- 2340 GRP203-1.ma
-rw-r--r-- 2316 GRP204-1.ma
-rw-r--r-- 2725 GRP205-1.ma
-rw-r--r-- 2673 GRP206-1.ma
-rw-r--r-- 2061 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-- 1915 GRP403-1.ma
-rw-r--r-- 1918 GRP404-1.ma
-rw-r--r-- 1956 GRP405-1.ma
-rw-r--r-- 1889 GRP406-1.ma
-rw-r--r-- 1905 GRP407-1.ma
-rw-r--r-- 1943 GRP408-1.ma
-rw-r--r-- 1889 GRP409-1.ma
-rw-r--r-- 1905 GRP410-1.ma
-rw-r--r-- 1943 GRP411-1.ma
-rw-r--r-- 1889 GRP412-1.ma
-rw-r--r-- 1905 GRP413-1.ma
-rw-r--r-- 1930 GRP414-1.ma
-rw-r--r-- 1935 GRP415-1.ma
-rw-r--r-- 1925 GRP416-1.ma
-rw-r--r-- 1976 GRP417-1.ma
-rw-r--r-- 1935 GRP418-1.ma
-rw-r--r-- 1925 GRP419-1.ma
-rw-r--r-- 1963 GRP420-1.ma
-rw-r--r-- 1935 GRP421-1.ma
-rw-r--r-- 1925 GRP422-1.ma
-rw-r--r-- 1963 GRP423-1.ma
-rw-r--r-- 1909 GRP424-1.ma
-rw-r--r-- 1938 GRP425-1.ma
-rw-r--r-- 1963 GRP426-1.ma
-rw-r--r-- 1923 GRP427-1.ma
-rw-r--r-- 1913 GRP428-1.ma
-rw-r--r-- 1990 GRP429-1.ma
-rw-r--r-- 1912 GRP430-1.ma
-rw-r--r-- 1902 GRP431-1.ma
-rw-r--r-- 1940 GRP432-1.ma
-rw-r--r-- 1830 GRP433-1.ma
-rw-r--r-- 1820 GRP434-1.ma
-rw-r--r-- 1871 GRP435-1.ma
-rw-r--r-- 1856 GRP436-1.ma
-rw-r--r-- 1846 GRP437-1.ma
-rw-r--r-- 1884 GRP438-1.ma
-rw-r--r-- 1869 GRP439-1.ma
-rw-r--r-- 1859 GRP440-1.ma
-rw-r--r-- 1884 GRP441-1.ma
-rw-r--r-- 1856 GRP442-1.ma
-rw-r--r-- 1846 GRP443-1.ma
-rw-r--r-- 1884 GRP444-1.ma
-rw-r--r-- 2066 GRP445-1.ma
-rw-r--r-- 2056 GRP446-1.ma
-rw-r--r-- 2146 GRP447-1.ma
-rw-r--r-- 1984 GRP448-1.ma
-rw-r--r-- 1974 GRP449-1.ma
-rw-r--r-- 2064 GRP450-1.ma
-rw-r--r-- 1984 GRP451-1.ma
-rw-r--r-- 2039 GRP452-1.ma
-rw-r--r-- 2064 GRP453-1.ma
-rw-r--r-- 2017 GRP454-1.ma
-rw-r--r-- 2007 GRP455-1.ma
-rw-r--r-- 2122 GRP456-1.ma
-rw-r--r-- 2017 GRP457-1.ma
-rw-r--r-- 2007 GRP458-1.ma
-rw-r--r-- 2109 GRP459-1.ma
-rw-r--r-- 2017 GRP460-1.ma
-rw-r--r-- 2007 GRP461-1.ma
-rw-r--r-- 2109 GRP462-1.ma
-rw-r--r-- 2017 GRP463-1.ma
-rw-r--r-- 2007 GRP464-1.ma
-rw-r--r-- 2109 GRP465-1.ma
-rw-r--r-- 1907 GRP466-1.ma
-rw-r--r-- 1897 GRP467-1.ma
-rw-r--r-- 1974 GRP468-1.ma
-rw-r--r-- 1972 GRP469-1.ma
-rw-r--r-- 1962 GRP470-1.ma
-rw-r--r-- 2000 GRP471-1.ma
-rw-r--r-- 1959 GRP472-1.ma
-rw-r--r-- 1949 GRP473-1.ma
-rw-r--r-- 2000 GRP474-1.ma
-rw-r--r-- 1959 GRP475-1.ma
-rw-r--r-- 1949 GRP476-1.ma
-rw-r--r-- 1987 GRP477-1.ma
-rw-r--r-- 1972 GRP478-1.ma
-rw-r--r-- 1962 GRP479-1.ma
-rw-r--r-- 1987 GRP480-1.ma
-rw-r--r-- 2279 GRP481-1.ma
-rw-r--r-- 2269 GRP482-1.ma
-rw-r--r-- 2371 GRP483-1.ma
-rw-r--r-- 2139 GRP484-1.ma
-rw-r--r-- 2129 GRP485-1.ma
-rw-r--r-- 2205 GRP486-1.ma
-rw-r--r-- 2139 GRP487-1.ma
-rw-r--r-- 2129 GRP488-1.ma
-rw-r--r-- 2231 GRP489-1.ma
-rw-r--r-- 2139 GRP490-1.ma
-rw-r--r-- 2129 GRP491-1.ma
-rw-r--r-- 2231 GRP492-1.ma
-rw-r--r-- 2139 GRP493-1.ma
-rw-r--r-- 2129 GRP494-1.ma
-rw-r--r-- 2231 GRP495-1.ma
-rw-r--r-- 2139 GRP496-1.ma
-rw-r--r-- 2129 GRP497-1.ma
-rw-r--r-- 2231 GRP498-1.ma
-rw-r--r-- 2023 GRP499-1.ma
-rw-r--r-- 2039 GRP500-1.ma
-rw-r--r-- 2077 GRP501-1.ma
-rw-r--r-- 2049 GRP502-1.ma
-rw-r--r-- 2039 GRP503-1.ma
-rw-r--r-- 2090 GRP504-1.ma
-rw-r--r-- 2190 GRP505-1.ma
-rw-r--r-- 2180 GRP506-1.ma
-rw-r--r-- 2218 GRP507-1.ma
-rw-r--r-- 2197 GRP508-1.ma
-rw-r--r-- 1846 GRP509-1.ma
-rw-r--r-- 1823 GRP510-1.ma
-rw-r--r-- 1887 GRP511-1.ma
-rw-r--r-- 1879 GRP512-1.ma
-rw-r--r-- 1777 GRP513-1.ma
-rw-r--r-- 1754 GRP514-1.ma
-rw-r--r-- 1831 GRP515-1.ma
-rw-r--r-- 1797 GRP516-1.ma
-rw-r--r-- 1751 GRP517-1.ma
-rw-r--r-- 1741 GRP518-1.ma
-rw-r--r-- 1805 GRP519-1.ma
-rw-r--r-- 1797 GRP520-1.ma
-rw-r--r-- 2040 GRP521-1.ma
-rw-r--r-- 2030 GRP522-1.ma
-rw-r--r-- 2094 GRP523-1.ma
-rw-r--r-- 2086 GRP524-1.ma
-rw-r--r-- 1958 GRP525-1.ma
-rw-r--r-- 1948 GRP526-1.ma
-rw-r--r-- 1999 GRP527-1.ma
-rw-r--r-- 2004 GRP528-1.ma
-rw-r--r-- 1971 GRP529-1.ma
-rw-r--r-- 1948 GRP530-1.ma
-rw-r--r-- 2012 GRP531-1.ma
-rw-r--r-- 2004 GRP532-1.ma
-rw-r--r-- 2048 GRP533-1.ma
-rw-r--r-- 2038 GRP534-1.ma
-rw-r--r-- 2102 GRP535-1.ma
-rw-r--r-- 2068 GRP536-1.ma
-rw-r--r-- 2048 GRP537-1.ma
-rw-r--r-- 2038 GRP538-1.ma
-rw-r--r-- 2076 GRP539-1.ma
-rw-r--r-- 2068 GRP540-1.ma
-rw-r--r-- 2051 GRP541-1.ma
-rw-r--r-- 2041 GRP542-1.ma
-rw-r--r-- 2079 GRP543-1.ma
-rw-r--r-- 2071 GRP544-1.ma
-rw-r--r-- 2051 GRP545-1.ma
-rw-r--r-- 2041 GRP546-1.ma
-rw-r--r-- 2079 GRP547-1.ma
-rw-r--r-- 2071 GRP548-1.ma
-rw-r--r-- 2051 GRP549-1.ma
-rw-r--r-- 2080 GRP550-1.ma
-rw-r--r-- 2105 GRP551-1.ma
-rw-r--r-- 2071 GRP552-1.ma
-rw-r--r-- 1889 GRP553-1.ma
-rw-r--r-- 1866 GRP554-1.ma
-rw-r--r-- 1904 GRP555-1.ma
-rw-r--r-- 1896 GRP556-1.ma
-rw-r--r-- 1876 GRP557-1.ma
-rw-r--r-- 1866 GRP558-1.ma
-rw-r--r-- 1930 GRP559-1.ma
-rw-r--r-- 1909 GRP560-1.ma
-rw-r--r-- 1902 GRP561-1.ma
-rw-r--r-- 1879 GRP562-1.ma
-rw-r--r-- 1930 GRP563-1.ma
-rw-r--r-- 1922 GRP564-1.ma
-rw-r--r-- 2146 GRP565-1.ma
-rw-r--r-- 2136 GRP566-1.ma
-rw-r--r-- 2264 GRP567-1.ma
-rw-r--r-- 2243 GRP568-1.ma
-rw-r--r-- 2146 GRP569-1.ma
-rw-r--r-- 2136 GRP570-1.ma
-rw-r--r-- 2264 GRP571-1.ma
-rw-r--r-- 2230 GRP572-1.ma
-rw-r--r-- 2146 GRP573-1.ma
-rw-r--r-- 2136 GRP574-1.ma
-rw-r--r-- 2264 GRP575-1.ma
-rw-r--r-- 2204 GRP576-1.ma
-rw-r--r-- 2146 GRP577-1.ma
-rw-r--r-- 2136 GRP578-1.ma
-rw-r--r-- 2264 GRP579-1.ma
-rw-r--r-- 2204 GRP580-1.ma
-rw-r--r-- 2146 GRP581-1.ma
-rw-r--r-- 2136 GRP582-1.ma
-rw-r--r-- 2264 GRP583-1.ma
-rw-r--r-- 2204 GRP584-1.ma
-rw-r--r-- 1969 GRP585-1.ma
-rw-r--r-- 1959 GRP586-1.ma
-rw-r--r-- 2010 GRP587-1.ma
-rw-r--r-- 1989 GRP588-1.ma
-rw-r--r-- 1943 GRP589-1.ma
-rw-r--r-- 1933 GRP590-1.ma
-rw-r--r-- 2036 GRP591-1.ma
-rw-r--r-- 2002 GRP592-1.ma
-rw-r--r-- 1969 GRP593-1.ma
-rw-r--r-- 1959 GRP594-1.ma
-rw-r--r-- 2023 GRP595-1.ma
-rw-r--r-- 2002 GRP596-1.ma
-rw-r--r-- 1969 GRP597-1.ma
-rw-r--r-- 1985 GRP598-1.ma
-rw-r--r-- 2036 GRP599-1.ma
-rw-r--r-- 2002 GRP600-1.ma
-rw-r--r-- 1995 GRP601-1.ma
-rw-r--r-- 1985 GRP602-1.ma
-rw-r--r-- 2023 GRP603-1.ma
-rw-r--r-- 2002 GRP604-1.ma
-rw-r--r-- 1943 GRP605-1.ma
-rw-r--r-- 1959 GRP606-1.ma
-rw-r--r-- 2010 GRP607-1.ma
-rw-r--r-- 1963 GRP608-1.ma
-rw-r--r-- 1995 GRP609-1.ma
-rw-r--r-- 1985 GRP610-1.ma
-rw-r--r-- 1997 GRP611-1.ma
-rw-r--r-- 2002 GRP612-1.ma
-rw-r--r-- 1969 GRP613-1.ma
-rw-r--r-- 1959 GRP614-1.ma
-rw-r--r-- 2036 GRP615-1.ma
-rw-r--r-- 1989 GRP616-1.ma
-rw-r--r-- 2573 HWC004-1.ma
-rw-r--r-- 2542 HWC004-2.ma
-rw-r--r-- 2183 LAT006-1.ma
-rw-r--r-- 2208 LAT007-1.ma
-rw-r--r-- 2141 LAT008-1.ma
-rw-r--r-- 4140 LAT009-1.ma
-rw-r--r-- 4544 LAT010-1.ma
-rw-r--r-- 4581 LAT011-1.ma
-rw-r--r-- 2393 LAT012-1.ma
-rw-r--r-- 2481 LAT013-1.ma
-rw-r--r-- 2350 LAT014-1.ma
-rw-r--r-- 4503 LAT016-1.ma
-rw-r--r-- 4453 LAT017-1.ma
-rw-r--r-- 4370 LAT018-1.ma
-rw-r--r-- 4013 LAT019-1.ma
-rw-r--r-- 4063 LAT020-1.ma
-rw-r--r-- 4063 LAT021-1.ma
-rw-r--r-- 4181 LAT022-1.ma
-rw-r--r-- 4063 LAT023-1.ma
-rw-r--r-- 4742 LAT024-1.ma
-rw-r--r-- 3152 LAT025-1.ma
-rw-r--r-- 3954 LAT026-1.ma
-rw-r--r-- 3941 LAT027-1.ma
-rw-r--r-- 4280 LAT028-1.ma
-rw-r--r-- 3844 LAT031-1.ma
-rw-r--r-- 3845 LAT032-1.ma
-rw-r--r-- 2268 LAT033-1.ma
-rw-r--r-- 2268 LAT034-1.ma
-rw-r--r-- 4865 LAT038-1.ma
-rw-r--r-- 4091 LAT039-1.ma
-rw-r--r-- 4088 LAT039-2.ma
-rw-r--r-- 4145 LAT040-1.ma
-rw-r--r-- 4297 LAT042-1.ma
-rw-r--r-- 4272 LAT043-1.ma
-rw-r--r-- 4580 LAT044-1.ma
-rw-r--r-- 4507 LAT045-1.ma
-rw-r--r-- 4501 LAT046-1.ma
-rw-r--r-- 3786 LAT047-1.ma
-rw-r--r-- 4509 LAT048-1.ma
-rw-r--r-- 4359 LAT049-1.ma
-rw-r--r-- 4714 LAT050-1.ma
-rw-r--r-- 4193 LAT051-1.ma
-rw-r--r-- 4366 LAT052-1.ma
-rw-r--r-- 4758 LAT053-1.ma
-rw-r--r-- 4775 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-- 4187 LAT062-1.ma
-rw-r--r-- 4117 LAT063-1.ma
-rw-r--r-- 2009 LAT070-1.ma
-rw-r--r-- 1990 LAT071-1.ma
-rw-r--r-- 1998 LAT072-1.ma
-rw-r--r-- 1975 LAT073-1.ma
-rw-r--r-- 2005 LAT074-1.ma
-rw-r--r-- 1990 LAT075-1.ma
-rw-r--r-- 2015 LAT076-1.ma
-rw-r--r-- 2000 LAT077-1.ma
-rw-r--r-- 2015 LAT078-1.ma
-rw-r--r-- 2000 LAT079-1.ma
-rw-r--r-- 2150 LAT080-1.ma
-rw-r--r-- 2177 LAT081-1.ma
-rw-r--r-- 2213 LAT082-1.ma
-rw-r--r-- 2150 LAT083-1.ma
-rw-r--r-- 2177 LAT084-1.ma
-rw-r--r-- 2213 LAT085-1.ma
-rw-r--r-- 2177 LAT086-1.ma
-rw-r--r-- 2177 LAT087-1.ma
-rw-r--r-- 2079 LAT088-1.ma
-rw-r--r-- 2106 LAT089-1.ma
-rw-r--r-- 2079 LAT090-1.ma
-rw-r--r-- 2158 LAT091-1.ma
-rw-r--r-- 2162 LAT092-1.ma
-rw-r--r-- 2189 LAT093-1.ma
-rw-r--r-- 2162 LAT094-1.ma
-rw-r--r-- 2189 LAT095-1.ma
-rw-r--r-- 2225 LAT096-1.ma
-rw-r--r-- 2232 LAT097-1.ma
-rw-r--r-- 3971 LAT098-1.ma
-rw-r--r-- 3997 LAT099-1.ma
-rw-r--r-- 3989 LAT100-1.ma
-rw-r--r-- 3956 LAT101-1.ma
-rw-r--r-- 3989 LAT102-1.ma
-rw-r--r-- 3955 LAT103-1.ma
-rw-r--r-- 3973 LAT104-1.ma
-rw-r--r-- 3958 LAT105-1.ma
-rw-r--r-- 3986 LAT106-1.ma
-rw-r--r-- 3998 LAT107-1.ma
-rw-r--r-- 4021 LAT108-1.ma
-rw-r--r-- 4021 LAT109-1.ma
-rw-r--r-- 4034 LAT110-1.ma
-rw-r--r-- 4021 LAT111-1.ma
-rw-r--r-- 4021 LAT112-1.ma
-rw-r--r-- 4021 LAT113-1.ma
-rw-r--r-- 3958 LAT114-1.ma
-rw-r--r-- 3976 LAT115-1.ma
-rw-r--r-- 3976 LAT116-1.ma
-rw-r--r-- 3998 LAT117-1.ma
-rw-r--r-- 4020 LAT118-1.ma
-rw-r--r-- 3964 LAT119-1.ma
-rw-r--r-- 3950 LAT120-1.ma
-rw-r--r-- 3968 LAT121-1.ma
-rw-r--r-- 3968 LAT122-1.ma
-rw-r--r-- 3981 LAT123-1.ma
-rw-r--r-- 4017 LAT124-1.ma
-rw-r--r-- 4008 LAT125-1.ma
-rw-r--r-- 4021 LAT126-1.ma
-rw-r--r-- 3965 LAT127-1.ma
-rw-r--r-- 3965 LAT128-1.ma
-rw-r--r-- 3950 LAT129-1.ma
-rw-r--r-- 3968 LAT130-1.ma
-rw-r--r-- 3977 LAT131-1.ma
-rw-r--r-- 3995 LAT132-1.ma
-rw-r--r-- 3970 LAT133-1.ma
-rw-r--r-- 3973 LAT134-1.ma
-rw-r--r-- 3973 LAT135-1.ma
-rw-r--r-- 3991 LAT136-1.ma
-rw-r--r-- 4000 LAT137-1.ma
-rw-r--r-- 3867 LAT138-1.ma
-rw-r--r-- 3826 LAT139-1.ma
-rw-r--r-- 3855 LAT140-1.ma
-rw-r--r-- 3842 LAT141-1.ma
-rw-r--r-- 3881 LAT142-1.ma
-rw-r--r-- 3892 LAT143-1.ma
-rw-r--r-- 3895 LAT144-1.ma
-rw-r--r-- 3895 LAT145-1.ma
-rw-r--r-- 3906 LAT146-1.ma
-rw-r--r-- 3906 LAT147-1.ma
-rw-r--r-- 3886 LAT148-1.ma
-rw-r--r-- 3915 LAT149-1.ma
-rw-r--r-- 3906 LAT150-1.ma
-rw-r--r-- 3906 LAT151-1.ma
-rw-r--r-- 3908 LAT152-1.ma
-rw-r--r-- 3895 LAT153-1.ma
-rw-r--r-- 3908 LAT154-1.ma
-rw-r--r-- 3895 LAT155-1.ma
-rw-r--r-- 3908 LAT156-1.ma
-rw-r--r-- 3895 LAT157-1.ma
-rw-r--r-- 3915 LAT158-1.ma
-rw-r--r-- 3895 LAT159-1.ma
-rw-r--r-- 3906 LAT160-1.ma
-rw-r--r-- 3844 LAT161-1.ma
-rw-r--r-- 3852 LAT162-1.ma
-rw-r--r-- 3906 LAT163-1.ma
-rw-r--r-- 3886 LAT164-1.ma
-rw-r--r-- 3919 LAT165-1.ma
-rw-r--r-- 3915 LAT166-1.ma
-rw-r--r-- 3915 LAT167-1.ma
-rw-r--r-- 3870 LAT168-1.ma
-rw-r--r-- 3857 LAT169-1.ma
-rw-r--r-- 3884 LAT170-1.ma
-rw-r--r-- 3868 LAT171-1.ma
-rw-r--r-- 3911 LAT172-1.ma
-rw-r--r-- 3911 LAT173-1.ma
-rw-r--r-- 3891 LAT174-1.ma
-rw-r--r-- 3920 LAT175-1.ma
-rw-r--r-- 3920 LAT176-1.ma
-rw-r--r-- 3874 LAT177-1.ma
-rw-r--r-- 4474 LCL109-2.ma
-rw-r--r-- 5049 LCL109-6.ma
-rw-r--r-- 3908 LCL110-2.ma
-rw-r--r-- 4165 LCL111-2.ma
-rw-r--r-- 3974 LCL112-2.ma
-rw-r--r-- 3856 LCL113-2.ma
-rw-r--r-- 3948 LCL114-2.ma
-rw-r--r-- 3844 LCL115-2.ma
-rw-r--r-- 3856 LCL116-2.ma
-rw-r--r-- 3451 LCL132-1.ma
-rw-r--r-- 3566 LCL133-1.ma
-rw-r--r-- 3494 LCL134-1.ma
-rw-r--r-- 3849 LCL135-1.ma
-rw-r--r-- 3959 LCL136-1.ma
-rw-r--r-- 3850 LCL137-1.ma
-rw-r--r-- 3675 LCL138-1.ma
-rw-r--r-- 3502 LCL139-1.ma
-rw-r--r-- 3486 LCL140-1.ma
-rw-r--r-- 3858 LCL141-1.ma
-rw-r--r-- 7856 LCL153-1.ma
-rw-r--r-- 7854 LCL154-1.ma
-rw-r--r-- 7854 LCL155-1.ma
-rw-r--r-- 7855 LCL156-1.ma
-rw-r--r-- 7867 LCL157-1.ma
-rw-r--r-- 7871 LCL158-1.ma
-rw-r--r-- 7922 LCL159-1.ma
-rw-r--r-- 8034 LCL160-1.ma
-rw-r--r-- 4755 LCL161-1.ma
-rw-r--r-- 4930 LCL162-1.ma
-rw-r--r-- 4883 LCL163-1.ma
-rw-r--r-- 4809 LCL164-1.ma
-rw-r--r-- 5699 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-- 1809 LDA001-1.ma
-rw-r--r-- 2253 LDA002-1.ma
-rw-r--r-- 2192 LDA007-3.ma
-rw-r--r-- 5270 RNG007-4.ma
-rw-r--r-- 5661 RNG008-3.ma
-rw-r--r-- 5416 RNG008-4.ma
-rw-r--r-- 4729 RNG008-7.ma
-rw-r--r-- 3313 RNG009-5.ma
-rw-r--r-- 4602 RNG009-7.ma
-rw-r--r-- 6606 RNG010-5.ma
-rw-r--r-- 6346 RNG010-6.ma
-rw-r--r-- 7488 RNG010-7.ma
-rw-r--r-- 5020 RNG011-5.ma
-rw-r--r-- 5029 RNG012-6.ma
-rw-r--r-- 5009 RNG013-6.ma
-rw-r--r-- 5009 RNG014-6.ma
-rw-r--r-- 5075 RNG015-6.ma
-rw-r--r-- 5075 RNG016-6.ma
-rw-r--r-- 5094 RNG017-6.ma
-rw-r--r-- 5095 RNG018-6.ma
-rw-r--r-- 5395 RNG019-6.ma
-rw-r--r-- 6482 RNG019-7.ma
-rw-r--r-- 5396 RNG020-6.ma
-rw-r--r-- 6483 RNG020-7.ma
-rw-r--r-- 5395 RNG021-6.ma
-rw-r--r-- 6482 RNG021-7.ma
-rw-r--r-- 5086 RNG023-6.ma
-rw-r--r-- 6201 RNG023-7.ma
-rw-r--r-- 5088 RNG024-6.ma
-rw-r--r-- 6203 RNG024-7.ma
-rw-r--r-- 5245 RNG025-4.ma
-rw-r--r-- 6334 RNG025-5.ma
-rw-r--r-- 5195 RNG025-6.ma
-rw-r--r-- 6307 RNG025-7.ma
-rw-r--r-- 4594 RNG025-8.ma
-rw-r--r-- 5691 RNG025-9.ma
-rw-r--r-- 5338 RNG026-6.ma
-rw-r--r-- 6408 RNG026-7.ma
-rw-r--r-- 5415 RNG027-5.ma
-rw-r--r-- 6335 RNG027-7.ma
-rw-r--r-- 5449 RNG027-8.ma
-rw-r--r-- 6243 RNG027-9.ma
-rw-r--r-- 5413 RNG028-5.ma
-rw-r--r-- 6332 RNG028-7.ma
-rw-r--r-- 5447 RNG028-8.ma
-rw-r--r-- 6241 RNG028-9.ma
-rw-r--r-- 5413 RNG029-5.ma
-rw-r--r-- 5186 RNG029-6.ma
-rw-r--r-- 6274 RNG029-7.ma
-rw-r--r-- 4171 RNG030-6.ma
-rw-r--r-- 5291 RNG030-7.ma
-rw-r--r-- 4219 RNG031-6.ma
-rw-r--r-- 5359 RNG031-7.ma
-rw-r--r-- 4511 RNG032-6.ma
-rw-r--r-- 5631 RNG032-7.ma
-rw-r--r-- 5166 RNG033-6.ma
-rw-r--r-- 6254 RNG033-7.ma
-rw-r--r-- 5509 RNG033-8.ma
-rw-r--r-- 6596 RNG033-9.ma
-rw-r--r-- 4496 RNG035-7.ma
-rw-r--r-- 4392 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-- 3374 ROB001-1.ma
-rw-r--r-- 3513 ROB002-1.ma
-rw-r--r-- 3929 ROB003-1.ma
-rw-r--r-- 3718 ROB004-1.ma
-rw-r--r-- 4309 ROB005-1.ma
-rw-r--r-- 3930 ROB006-1.ma
-rw-r--r-- 3786 ROB006-2.ma
-rw-r--r-- 3657 ROB007-1.ma
-rw-r--r-- 3626 ROB007-2.ma
-rw-r--r-- 3317 ROB008-1.ma
-rw-r--r-- 3324 ROB009-1.ma
-rw-r--r-- 3370 ROB010-1.ma
-rw-r--r-- 3258 ROB013-1.ma
-rw-r--r-- 3592 ROB020-1.ma
-rw-r--r-- 3727 ROB020-2.ma
-rw-r--r-- 3658 ROB022-1.ma
-rw-r--r-- 3684 ROB023-1.ma
-rw-r--r-- 3609 ROB024-1.ma
-rw-r--r-- 3774 ROB026-1.ma
-rw-r--r-- 3653 ROB027-1.ma
-rw-r--r-- 2598 ROB028-1.ma
-rw-r--r-- 3655 ROB030-1.ma
-rw-r--r-- 3549 ROB031-1.ma
-rw-r--r-- 3570 ROB032-1.ma
-rw-r--r-- 1539 SYN080-1.ma
-rw-r--r-- 1594 SYN083-1.ma
-rw-r--r-- 1644 SYN305-1.ma
-rw-r--r-- 1372 SYN552-1.ma
-rw-r--r-- 3060 Veloci
-rwxr-xr-x 85 run_veloci.sh