1 sort bitvec 3 2 zero 1 3 sort bitvec 1 4 input 3 @inp4 5 input 3 @inp5 6 and 3 4 -5 7 sort bitvec 4 8 concat 7 2 -6 9 zero 7 10 eq 3 8 9 11 input 3 @inp11 12 and 3 -6 -11 13 sort array 3 3 14 input 13 @arr14 15 zero 3 16 write 13 14 15 15 17 read 3 16 -11 18 and 3 12 17 19 and 3 -10 18 20 constraint 19