amb_space 2
inequalities 2
1 12345678901234567890
0 1