/media/sda-magnetic/david/Dok-15-2023-11-27/informatik/AUTOMAT-GENERATOR-2024-01-28/out.txt


R0 <- 8
R1 <- R0 + R-1
R2 <- R1 not R-1
R3 <- R2 and R-1
R4 <- R3 not 25
R0 <- 13
R1 <- R0 ++ R-1
R2 <- R1 + R0
R3 <- R2 xor 23
R4 <- R3 and R2
R4 > 13
R5 <- R4 |> R3
R6 <- R5 + 13
R7 <- R6 >> 12
R0 <- 29
R0 >= 2
R1 <- R0 + R-1
R2 <- R1 xor 16
R3 <- R2 <| 12
R3 != 20
R0 <- 29
R0 >= 2
R1 <- R0 + R-1
R2 <- R1 xor 16
R3 <- R2 <| 12
R3 != 20
R0 <- 20
R1 <- R0 not 30
R2 <- R1 + 13
R3 <- R2 + 23
R4 <- R3 and R1
R5 <- R4 -- 6
R6 <- R5 << R-1
R0 <- 20
R1 <- R0 not 30
R2 <- R1 + 13
R3 <- R2 + 23
R4 <- R3 and R1
R5 <- R4 -- 6
R6 <- R5 << R-1
R0 <- 0
R1 <- R0 <| 4
R1 < 15
R1 != 8
R2 <- R1 + 1
R3 <- R2 >> R1
R4 <- R3 not R2
R5 <- R4 not R0
R0 <- 20
R0 < 7
R1 <- R0 >> R-1
R1 < 0
R2 <- R1 -- 3
R3 <- R2 << R1
R4 <- R3 <| 14
R5 <- R4 |> 1
R6 <- R5 << R-1
R0 <- 20
R0 < 7
R1 <- R0 >> R-1
R1 < 0
R2 <- R1 -- 3
R3 <- R2 << R1
R4 <- R3 <| 14
R5 <- R4 |> 1
R6 <- R5 << R-1
R0 <- 3
R1 <- R0 xor 12
R2 <- R1 and 1
R3 <- R2 |> R1
R4 <- R3 or R0
R4 == 18
R0 <- 22
R1 <- R0 and R-1
R1 > 4
R2 <- R1 and R0
R2 >= 28
R3 <- R2 or 15
R3 < 11
R4 <- R3 >> 21
R5 <- R4 |> R3