3 1 1
1
3
x:2 + ~1

