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