/Admin/isatest/settings/
drwxr-xr-x [up]
-rw-r--r-- 2015-03-31 22:31 +0200 859 afp-poly
-rw-r--r-- 2015-03-31 22:31 +0200 1117 at-poly
-rw-r--r-- 2015-03-31 22:31 +0200 933 at-poly-e
-rw-r--r-- 2015-03-31 22:31 +0200 1068 at-poly-test
-rw-r--r-- 2015-03-31 22:31 +0200 964 at-sml-dev-e
-rw-r--r-- 2015-03-31 22:31 +0200 924 at64-poly
-rw-r--r-- 2015-03-31 22:31 +0200 1062 mac-poly-M2
-rw-r--r-- 2015-03-31 22:31 +0200 1125 mac-poly-M2-alternative
-rw-r--r-- 2015-03-31 22:31 +0200 1245 mac-poly-M4
-rw-r--r-- 2015-03-31 22:31 +0200 1245 mac-poly-M8
-rw-r--r-- 2015-03-31 22:31 +0200 963 mac-poly-M8-quick_and_dirty
-rw-r--r-- 2015-03-31 22:31 +0200 969 mac-poly-M8-skip_proofs
-rw-r--r-- 2015-03-31 22:31 +0200 966 mac-poly64-M2
-rw-r--r-- 2015-03-31 22:31 +0200 977 mac-poly64-M4
-rw-r--r-- 2015-03-31 22:31 +0200 977 mac-poly64-M8