TSTP Solution Domain: PRO

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

`PRO001+1` 98-63-10-7	`PRO001+2` 98-63-17-13	`PRO001+3` 98-63-12-9	`PRO001+4` 98-63-24-18	`PRO002+1` 98-63-13-9	`PRO002+2` 98-63-27-20	`PRO002+3` 98-63-24-18
`PRO002+4` 98-63-30-23	`PRO003+1` 98-63-14-9	`PRO003+2` 98-63-29-21	`PRO003+3` 98-63-28-21	`PRO003+4` 98-63-28-21	`PRO004+1` 98-63-8-8	`PRO004+2` 98-63-30-23
`PRO004+3` 98-63-26-20	`PRO004+4` 98-63-31-24	`PRO005+1` 98-63-10-8	`PRO005+2` 98-63-29-22	`PRO005+3` 98-63-24-19	`PRO005+4` 98-63-29-23	`PRO006+1` 98-63-8-8
`PRO006+2` 98-63-24-17	`PRO006+3` 98-63-23-18	`PRO006+4` 98-63-27-20	`PRO007+1` 98-67-10-10	`PRO007+2` 98-67-9-9	`PRO007+3` 98-67-10-10	`PRO007+4` 98-67-10-10
`PRO008+1` 98-63-15-12	`PRO008+2` 98-67-10-10	`PRO008+3` 98-63-17-12	`PRO008+4` 98-63-25-17	`PRO009+1` 98-63-35-27	`PRO009+2` 98-63-49-40	`PRO009+3` 98-63-40-32
`PRO009+4` 98-63-44-36	`PRO010+1` 98-63-43-34	`PRO010+2` 98-63-46-36	`PRO010+3` 98-63-46-36	`PRO010+4` 98-63-45-35	`PRO011+1` 98-63-44-35	`PRO011+2` 98-63-46-36
`PRO011+3` 98-63-47-37	`PRO011+4` 98-63-49-38	`PRO012+1` 98-63-29-21	`PRO012+2` 98-63-49-40	`PRO012+3` 98-63-28-20	`PRO012+4` 98-63-33-25	`PRO013+1` 98-67-10-10
`PRO013+2` 98-67-11-11	`PRO013+3` 98-67-10-10	`PRO013+4` 98-67-12-12	`PRO014+1` 98-63-28-21	`PRO014+2` 98-63-42-33	`PRO014+3` 98-63-29-22	`PRO014+4` 98-63-32-24
`PRO015+1` 98-63-0-0	`PRO015+2` 98-63-0-0	`PRO015+3` 98-63-0-0	`PRO015+4` 98-63-0-0	`PRO016+1` 98-63-13-11	`PRO016+2` 98-63-15-9	`PRO016+3` 98-63-28-22
`PRO016+4` 98-63-31-23	`PRO017+1` 98-63-19-13	`PRO017+2` 98-63-32-24	`PRO017+3` 98-63-24-19	`PRO017+4` 98-63-26-21	`PRO018+1` 98-63-19-14	`PRO018+2` 98-63-26-21
`PRO018+3` 98-63-24-19	`PRO018+4` 98-63-29-23	`PRO019^1` 89-9-7-4	`PRO020^1` 89-9-0-0	`PRO021^1` 89-9-0-0	`PRO022^1` 89-9-0-0	`PRO023^1` 89-9-3-2
`PRO024^1` 89-9-5-2	`PRO025^1` 89-9-5-2	`PRO026^1` 89-9-6-3	`PRO027^1` 89-9-0-0	`PRO028^1` 89-9-0-0	`PRO029^16` 79-17-13-11	`PRO030_1` 77-14-0-0
`PRO031_1` 77-15-0-0	`PRO032_1` 77-14-0-0	`PRO033_1` 77-14-0-0