1 sort bitvec 8
2 sort array 1 1
3 input 2 @arr3
4 sort bitvec 1
5 eq 4 3 3
6 constraint -5