1 sort bitvec 8
2 input 1 @inp2
3 const 1 01111111
4 sort bitvec 1
5 ult 4 2 -3
6 slice 4 -2 7 7
7 and 4 5 -6
8 constraint 7