TSTP Solution Domain: RAL

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