Name
? x_2n 0
? x_23 0
? x_24 0
? re_2n 0
? x_< 0
? x-2 0
? x-21 0
? x-23 0
? x-24 0
? x-29 0
? x_x 0
1