1 sort bitvec 1 2 sort array 1 1 3 input 2 @arr3 4 input 1 @inp4 5 input 1 @inp5 6 input 1 @inp6 7 read 1 3 5 8 read 1 3 6 9 eq 1 7 8 10 eq 1 4 4 11 or 1 9 10 12 constraint 11