5
a b c x y

5
a - b^10 ;
b - c^9 ;
c - a x ;
x - b y ;
x y + 1 ;

