1 sort bitvec 1 2 input 1 1 3 sort array 1 1 4 input 3 @arr4 5 eq 1 2 4 6 constraint 5