1 sort bitvec 8
2 input 1 i
3 sort bitvec 4
4 sort array 1 3
5 input 4 @arr5
6 read 3 5 2
7 concat 1 6 6
8 read 3 5 7
9 sort bitvec 1
10 redxor 9 8
11 constraint 10