TSTP Solution Domain: RAL

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