des (0, 8, 5)                   
(0, "IN1 !FALSE", 4)
(0, "IN1 !TRUE", 2)
(1, "OUT !FALSE", 0)
(2, "IN2 !FALSE", 1)
(2, "IN2 !TRUE", 3)
(3, "OUT !TRUE", 0)
(4, "IN2 !FALSE", 1)
(4, "IN2 !TRUE", 1)