TSTP Solution Domain: RAL

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