| SYN720-1.001-FMo.m DarwinFM---1.4.5 |
SYN720-1.002-Sat.m E---1.9-FNT |
SYN720-1.003-Sat.m E---1.9 |
SYN720-1.004-Sat.m ET---1.0 |
SYN720-1.005-FMo.m Paradox---4.0 |
| SYN720-1.006-Sat.m SPASS---3.7 |
SYN720-1.007-Sat.m Vampire---4.0 |
SYN720-1.008-Sat.m Vampire---SAT-4.0 |