TSTP Solution Domain: RAL

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
RAL001^1
82-1-0-0		 RAL002^1
82-1-0-0		 RAL003^1
82-1-0-0		 RAL004^1
82-1-0-0		 RAL005^1
82-1-0-0		 RAL006^1
82-1-0-0		 RAL007^1
82-1-0-0
RAL008^1
82-1-0-0		 RAL009^1
82-1-0-0		 RAL010^1
82-1-0-0		 RAL011^1
82-1-0-0		 RAL012^1
82-1-0-0		 RAL013^1
82-1-0-0		 RAL014^1
82-1-0-0
RAL015^1
82-1-0-0		 RAL016^1
82-1-0-0		 RAL017^1
82-1-0-0		 RAL018^1
82-1-0-0		 RAL019^1
82-1-0-0		 RAL020^1
82-1-0-0		 RAL021^1
82-1-0-0
RAL022^1
82-1-0-0		 RAL023^1
82-1-0-0		 RAL024^1
82-1-0-0		 RAL025^1
82-1-0-0		 RAL026^1
82-1-0-0		 RAL027^1
82-1-0-0		 RAL028^1
82-1-0-0
RAL029^1
82-1-0-0		 RAL030^1
82-1-0-0		 RAL031^1
82-1-0-0		 RAL032^1
82-1-0-0		 RAL033^1
82-1-0-0		 RAL034^1
82-1-0-0		 RAL035^1
82-1-0-0
RAL036^1
82-1-0-0		 RAL037^1
82-1-0-0		 RAL038^1
82-1-0-0		 RAL039^1
82-1-0-0		 RAL040^1
82-1-0-0		 RAL041^1
82-1-0-0		 RAL042^1
82-1-0-0
RAL043^1
82-1-0-0		 RAL044^1
82-1-0-0		 RAL045^1
82-1-0-0		 RAL046^1
82-1-0-0		 RAL047^1
82-1-0-0		 RAL048^1
82-1-0-0		 RAL049^1
82-1-0-0
RAL050^1
82-1-0-0		 RAL051^1
82-1-0-0		 RAL052^1
82-1-0-0		 RAL053^1
82-1-0-0		 RAL054^1
82-1-0-0		 RAL055^1
82-1-0-0		 RAL056^1
82-1-0-0
RAL057^1
82-1-0-0		 RAL058^1
82-1-0-0		 RAL059^1
82-1-0-0		 RAL060^1
82-1-0-0		 RAL061^1
82-1-0-0		 RAL062^1
82-1-0-0		 RAL063^1
82-1-0-0
RAL064^1
82-1-0-0		 RAL065^1
82-1-0-0		 RAL066^1
82-1-0-0		 RAL067^1
82-1-0-0		 RAL068^1
82-1-0-0		 RAL069^1
82-1-0-0		 RAL070^1
82-1-0-0