>'o1' #i1 #i1 $x > 0 <$x := 1 1 <'i1' 1 A 0 1 1 B 0 1 1 if 0 1 1 then 0 1 1 else 0 1 1 1 1.0 false 1 1.0 false 1 1.0 false 1 1.0 false 1 1.0 false 1 1.0 false 1 1.0 false 1 1.0 false 1 1.0 false 1 1.0 false 1 1.0 false 100 1067 true 100 true false