16
AND 13 17
AND 14 20
NOT 31
NOT 1
AND 14 1
AND 31 14
AND 15 22
AND 15 13
AND 31 15
AND 2 31
AND 4 2
AND 6 8
AND 4 6
AND 30 4
JZ 1 30
STOP