TSTP Solution Domain: RAL

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