 INTPS/Cyclic_4                     | PROBLEMS/Cyclic        | 
 INTPS/Cyclic_5                     | PROBLEMS/Cyclic        | 
 INTPS/Cyclic_5_1                   | PROBLEMS/Cyclic        | 
 INTPS/Cyclic_6                     | PROBLEMS/Cyclic        | 
 INTPS/Cyclic_7                     | PROBLEMS/Cyclic        | 
 INTPS/Cyclic_7_1                   | PROBLEMS/Cyclic        | 
 INTPS/Cyclic_8                     | PROBLEMS/Cyclic        | 
 INTPS/Discriminant_4               | PROBLEMS/Discriminant  | 
 INTPS/Discriminant_5               | PROBLEMS/Discriminant  | 
 INTPS/Ellipsoid_-2                 | PROBLEMS/Ellipsoid     | k=-2
 INTPS/Ellipsoid_2                  | PROBLEMS/Ellipsoid     | k=2
 INTPS/Ellipsoid_4                  | PROBLEMS/Ellipsoid     | k=4
 INTPS/FourCircles                  | PROBLEMS/FourCircles   | 
 INTPS/FourCircles_1                | PROBLEMS/FourCircles   | without first equation
 INTPS/Gerdt-85                     | PROBLEMS/Gerdt-KdV     | 
 INTPS/Gerdt-90                     | PROBLEMS/Gerdt-KdV     | 
 INTPS/Gerdt-91a                    | PROBLEMS/Gerdt-KdV     | 
 INTPS/Gerdt-91b                    | PROBLEMS/Gerdt-KdV     | 
 INTPS/Sym1_211                     | PROBLEMS/Sym1          | 
 INTPS/Sym1_311                     | PROBLEMS/Sym1          | 
 INTPS/Sym1_321                     | PROBLEMS/Sym1          | 
 INTPS/Sym1_411                     | PROBLEMS/Sym1          | 
 INTPS/Sym1_431                     | PROBLEMS/Sym1          | 
 INTPS/Sym2_3                       | PROBLEMS/Sym2          | 
 INTPS/Sym3_2                       | PROBLEMS/Sym3          | 
 INTPS/Sym3_3                       | PROBLEMS/Sym3          | 
 INTPS/Sym3_4                       | PROBLEMS/Sym3          | 
 INTPS/Sym3_5                       | PROBLEMS/Sym3          | 
