/Admin/isatest/settings/
drwxr-xr-x [up]
-rw-r--r-- 2014-04-28 00:54 +0200 841 afp-poly
-rw-r--r-- 2014-04-28 00:54 +0200 903 at-poly
-rw-r--r-- 2014-04-28 00:54 +0200 905 at-poly-e
-rw-r--r-- 2014-04-28 00:54 +0200 1041 at-poly-test
-rw-r--r-- 2014-04-28 00:54 +0200 937 at-sml-dev-e
-rw-r--r-- 2014-04-28 00:54 +0200 945 at64-poly
-rw-r--r-- 2014-04-28 00:54 +0200 1045 mac-poly-M2
-rw-r--r-- 2014-04-28 00:54 +0200 1048 mac-poly-M4
-rw-r--r-- 2014-04-28 00:54 +0200 1048 mac-poly-M8
-rw-r--r-- 2014-04-28 00:54 +0200 960 mac-poly-M8-quick_and_dirty
-rw-r--r-- 2014-04-28 00:54 +0200 952 mac-poly-M8-skip_proofs
-rw-r--r-- 2014-04-28 00:54 +0200 949 mac-poly64-M2
-rw-r--r-- 2014-04-28 00:54 +0200 960 mac-poly64-M4
-rw-r--r-- 2014-04-28 00:54 +0200 960 mac-poly64-M8