Proofs

• instruction #4 is addi dst=4 src=4 imm=1
• the PC at time 11 = 4
• value of cell 8 at time 11 = 24

then value of cell 8 at time 12 = 24

• instruction #4 is addi dst=4 src=4 imm=1
• the PC at time 11 = 4
• value of cell 9 at time 11 = 31

then value of cell 9 at time 12 = 31

• instruction #4 is addi dst=4 src=4 imm=1
• the PC at time 11 = 4
• value of cell 10 at time 11 = 45

then value of cell 10 at time 12 = 45

• instruction #4 is addi dst=4 src=4 imm=1
• the PC at time 11 = 4
• value of cell 7 at time 11 = 31

then value of cell 7 at time 12 = 31

• instruction #4 is addi dst=4 src=4 imm=1
• the PC at time 11 = 4
• value of cell 12 at time 11 = 24

then value of cell 12 at time 12 = 24

• instruction #4 is addi dst=4 src=4 imm=1
• the PC at time 11 = 4
• value of cell 13 at time 11 = 31

then value of cell 13 at time 12 = 31

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 12 = 5
• value of cell 3 at time 12 = 3
• value of cell 4 at time 12 = 2

then the PC at time 13 = 6

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 12 = 5
• value of cell 3 at time 12 = 3

then value of cell 3 at time 13 = 3

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 12 = 5
• value of cell 4 at time 12 = 2

then value of cell 4 at time 13 = 2

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 12 = 5
• value of cell 5 at time 12 = 10

then value of cell 5 at time 13 = 10

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 12 = 5
• value of cell 6 at time 12 = 14

then value of cell 6 at time 13 = 14

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 12 = 5
• value of cell 8 at time 12 = 24

then value of cell 8 at time 13 = 24

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 12 = 5
• value of cell 9 at time 12 = 31

then value of cell 9 at time 13 = 31

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 12 = 5
• value of cell 10 at time 12 = 45

then value of cell 10 at time 13 = 45

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 12 = 5
• value of cell 7 at time 12 = 31

then value of cell 7 at time 13 = 31

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 12 = 5
• value of cell 12 at time 12 = 24

then value of cell 12 at time 13 = 24

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 12 = 5
• value of cell 13 at time 12 = 31

then value of cell 13 at time 13 = 31

• instruction #6 is jump imm=0
• the PC at time 13 = 6

then the PC at time 14 = 0

• instruction #6 is jump imm=0
• the PC at time 13 = 6
• value of cell 3 at time 13 = 3

then value of cell 3 at time 14 = 3

• instruction #6 is jump imm=0
• the PC at time 13 = 6
• value of cell 4 at time 13 = 2

then value of cell 4 at time 14 = 2

• instruction #6 is jump imm=0
• the PC at time 13 = 6
• value of cell 5 at time 13 = 10

then value of cell 5 at time 14 = 10

• instruction #6 is jump imm=0
• the PC at time 13 = 6
• value of cell 6 at time 13 = 14

then value of cell 6 at time 14 = 14

• instruction #6 is jump imm=0
• the PC at time 13 = 6
• value of cell 8 at time 13 = 24

then value of cell 8 at time 14 = 24

• instruction #6 is jump imm=0
• the PC at time 13 = 6
• value of cell 9 at time 13 = 31

then value of cell 9 at time 14 = 31

• instruction #6 is jump imm=0
• the PC at time 13 = 6
• value of cell 10 at time 13 = 45

then value of cell 10 at time 14 = 45

• instruction #6 is jump imm=0
• the PC at time 13 = 6
• value of cell 7 at time 13 = 31

then value of cell 7 at time 14 = 31

• instruction #6 is jump imm=0
• the PC at time 13 = 6
• value of cell 12 at time 13 = 24

then value of cell 12 at time 14 = 24

• instruction #6 is jump imm=0
• the PC at time 13 = 6
• value of cell 13 at time 13 = 31

then value of cell 13 at time 14 = 31

• instruction #0 is load dst=7 addr=5 imm=0
• the PC at time 14 = 0
• value of cell 5 at time 14 = 10
• value of cell 10 at time 14 = 45

then value of cell 7 at time 15 = 45

• instruction #0 is load dst=7 addr=5 imm=0
• the PC at time 14 = 0

then the PC at time 15 = 1

• instruction #0 is load dst=7 addr=5 imm=0
• the PC at time 14 = 0
• value of cell 3 at time 14 = 3

then value of cell 3 at time 15 = 3

• instruction #0 is load dst=7 addr=5 imm=0
• the PC at time 14 = 0
• value of cell 4 at time 14 = 2

then value of cell 4 at time 15 = 2

• instruction #0 is load dst=7 addr=5 imm=0
• the PC at time 14 = 0
• value of cell 5 at time 14 = 10

then value of cell 5 at time 15 = 10

• instruction #0 is load dst=7 addr=5 imm=0
• the PC at time 14 = 0
• value of cell 6 at time 14 = 14

then value of cell 6 at time 15 = 14

• instruction #0 is load dst=7 addr=5 imm=0
• the PC at time 14 = 0
• value of cell 8 at time 14 = 24

then value of cell 8 at time 15 = 24

• instruction #0 is load dst=7 addr=5 imm=0
• the PC at time 14 = 0
• value of cell 9 at time 14 = 31

then value of cell 9 at time 15 = 31

• instruction #0 is load dst=7 addr=5 imm=0
• the PC at time 14 = 0
• value of cell 10 at time 14 = 45

then value of cell 10 at time 15 = 45

• instruction #0 is load dst=7 addr=5 imm=0
• the PC at time 14 = 0
• value of cell 12 at time 14 = 24

then value of cell 12 at time 15 = 24

• instruction #0 is load dst=7 addr=5 imm=0
• the PC at time 14 = 0
• value of cell 13 at time 14 = 31

then value of cell 13 at time 15 = 31

• instruction #1 is store src=7 addr=6 imm=0
• the PC at time 15 = 1
• value of cell 6 at time 15 = 14
• value of cell 7 at time 15 = 45

then value of cell 14 at time 16 = 45

• instruction #1 is store src=7 addr=6 imm=0
• the PC at time 15 = 1

then the PC at time 16 = 2

• instruction #1 is store src=7 addr=6 imm=0
• the PC at time 15 = 1
• value of cell 3 at time 15 = 3
• value of cell 6 at time 15 = 14

then value of cell 3 at time 16 = 3

• instruction #1 is store src=7 addr=6 imm=0
• the PC at time 15 = 1
• value of cell 4 at time 15 = 2
• value of cell 6 at time 15 = 14

then value of cell 4 at time 16 = 2

• instruction #1 is store src=7 addr=6 imm=0
• the PC at time 15 = 1
• value of cell 5 at time 15 = 10
• value of cell 6 at time 15 = 14

then value of cell 5 at time 16 = 10

• instruction #1 is store src=7 addr=6 imm=0
• the PC at time 15 = 1
• value of cell 6 at time 15 = 14
• value of cell 6 at time 15 = 14

then value of cell 6 at time 16 = 14

• instruction #1 is store src=7 addr=6 imm=0
• the PC at time 15 = 1
• value of cell 8 at time 15 = 24
• value of cell 6 at time 15 = 14

then value of cell 8 at time 16 = 24

• instruction #1 is store src=7 addr=6 imm=0
• the PC at time 15 = 1
• value of cell 9 at time 15 = 31
• value of cell 6 at time 15 = 14

then value of cell 9 at time 16 = 31

• instruction #1 is store src=7 addr=6 imm=0
• the PC at time 15 = 1
• value of cell 10 at time 15 = 45
• value of cell 6 at time 15 = 14

then value of cell 10 at time 16 = 45

• instruction #1 is store src=7 addr=6 imm=0
• the PC at time 15 = 1
• value of cell 7 at time 15 = 45
• value of cell 6 at time 15 = 14

then value of cell 7 at time 16 = 45

• instruction #1 is store src=7 addr=6 imm=0
• the PC at time 15 = 1
• value of cell 12 at time 15 = 24
• value of cell 6 at time 15 = 14

then value of cell 12 at time 16 = 24

• instruction #1 is store src=7 addr=6 imm=0
• the PC at time 15 = 1
• value of cell 13 at time 15 = 31
• value of cell 6 at time 15 = 14

then value of cell 13 at time 16 = 31

• instruction #2 is addi dst=5 src=5 imm=1
• the PC at time 16 = 2
• value of cell 5 at time 16 = 10

then value of cell 5 at time 17 = 11

• instruction #2 is addi dst=5 src=5 imm=1
• the PC at time 16 = 2

then the PC at time 17 = 3

• instruction #2 is addi dst=5 src=5 imm=1
• the PC at time 16 = 2
• value of cell 3 at time 16 = 3

then value of cell 3 at time 17 = 3

• instruction #2 is addi dst=5 src=5 imm=1
• the PC at time 16 = 2
• value of cell 4 at time 16 = 2

then value of cell 4 at time 17 = 2

• instruction #2 is addi dst=5 src=5 imm=1
• the PC at time 16 = 2
• value of cell 6 at time 16 = 14

then value of cell 6 at time 17 = 14

• instruction #2 is addi dst=5 src=5 imm=1
• the PC at time 16 = 2
• value of cell 8 at time 16 = 24

then value of cell 8 at time 17 = 24

• instruction #2 is addi dst=5 src=5 imm=1
• the PC at time 16 = 2
• value of cell 9 at time 16 = 31

then value of cell 9 at time 17 = 31

• instruction #2 is addi dst=5 src=5 imm=1
• the PC at time 16 = 2
• value of cell 10 at time 16 = 45

then value of cell 10 at time 17 = 45

• instruction #2 is addi dst=5 src=5 imm=1
• the PC at time 16 = 2
• value of cell 7 at time 16 = 45

then value of cell 7 at time 17 = 45

• instruction #2 is addi dst=5 src=5 imm=1
• the PC at time 16 = 2
• value of cell 12 at time 16 = 24

then value of cell 12 at time 17 = 24

• instruction #2 is addi dst=5 src=5 imm=1
• the PC at time 16 = 2
• value of cell 13 at time 16 = 31

then value of cell 13 at time 17 = 31

• instruction #2 is addi dst=5 src=5 imm=1
• the PC at time 16 = 2
• value of cell 14 at time 16 = 45

then value of cell 14 at time 17 = 45

• instruction #3 is addi dst=6 src=6 imm=1
• the PC at time 17 = 3
• value of cell 6 at time 17 = 14

then value of cell 6 at time 18 = 15

• instruction #3 is addi dst=6 src=6 imm=1
• the PC at time 17 = 3

then the PC at time 18 = 4

• instruction #3 is addi dst=6 src=6 imm=1
• the PC at time 17 = 3
• value of cell 3 at time 17 = 3

then value of cell 3 at time 18 = 3

• instruction #3 is addi dst=6 src=6 imm=1
• the PC at time 17 = 3
• value of cell 4 at time 17 = 2

then value of cell 4 at time 18 = 2

• instruction #3 is addi dst=6 src=6 imm=1
• the PC at time 17 = 3
• value of cell 5 at time 17 = 11

then value of cell 5 at time 18 = 11

• instruction #3 is addi dst=6 src=6 imm=1
• the PC at time 17 = 3
• value of cell 8 at time 17 = 24

then value of cell 8 at time 18 = 24

• instruction #3 is addi dst=6 src=6 imm=1
• the PC at time 17 = 3
• value of cell 9 at time 17 = 31

then value of cell 9 at time 18 = 31

• instruction #3 is addi dst=6 src=6 imm=1
• the PC at time 17 = 3
• value of cell 10 at time 17 = 45

then value of cell 10 at time 18 = 45

• instruction #3 is addi dst=6 src=6 imm=1
• the PC at time 17 = 3
• value of cell 7 at time 17 = 45

then value of cell 7 at time 18 = 45

• instruction #3 is addi dst=6 src=6 imm=1
• the PC at time 17 = 3
• value of cell 12 at time 17 = 24

then value of cell 12 at time 18 = 24

• instruction #3 is addi dst=6 src=6 imm=1
• the PC at time 17 = 3
• value of cell 13 at time 17 = 31

then value of cell 13 at time 18 = 31

• instruction #3 is addi dst=6 src=6 imm=1
• the PC at time 17 = 3
• value of cell 14 at time 17 = 45

then value of cell 14 at time 18 = 45

• instruction #4 is addi dst=4 src=4 imm=1
• the PC at time 18 = 4
• value of cell 4 at time 18 = 2

then value of cell 4 at time 19 = 3

• instruction #4 is addi dst=4 src=4 imm=1
• the PC at time 18 = 4

then the PC at time 19 = 5

• instruction #4 is addi dst=4 src=4 imm=1
• the PC at time 18 = 4
• value of cell 3 at time 18 = 3

then value of cell 3 at time 19 = 3

• instruction #4 is addi dst=4 src=4 imm=1
• the PC at time 18 = 4
• value of cell 5 at time 18 = 11

then value of cell 5 at time 19 = 11

• instruction #4 is addi dst=4 src=4 imm=1
• the PC at time 18 = 4
• value of cell 6 at time 18 = 15

then value of cell 6 at time 19 = 15

• instruction #4 is addi dst=4 src=4 imm=1
• the PC at time 18 = 4
• value of cell 8 at time 18 = 24

then value of cell 8 at time 19 = 24

• instruction #4 is addi dst=4 src=4 imm=1
• the PC at time 18 = 4
• value of cell 9 at time 18 = 31

then value of cell 9 at time 19 = 31

• instruction #4 is addi dst=4 src=4 imm=1
• the PC at time 18 = 4
• value of cell 10 at time 18 = 45

then value of cell 10 at time 19 = 45

• instruction #4 is addi dst=4 src=4 imm=1
• the PC at time 18 = 4
• value of cell 7 at time 18 = 45

then value of cell 7 at time 19 = 45

• instruction #4 is addi dst=4 src=4 imm=1
• the PC at time 18 = 4
• value of cell 12 at time 18 = 24

then value of cell 12 at time 19 = 24

• instruction #4 is addi dst=4 src=4 imm=1
• the PC at time 18 = 4
• value of cell 13 at time 18 = 31

then value of cell 13 at time 19 = 31

• instruction #4 is addi dst=4 src=4 imm=1
• the PC at time 18 = 4
• value of cell 14 at time 18 = 45

then value of cell 14 at time 19 = 45

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 19 = 5
• value of cell 3 at time 19 = 3
• value of cell 4 at time 19 = 3

then the PC at time 20 = 7

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 19 = 5
• value of cell 3 at time 19 = 3

then value of cell 3 at time 20 = 3

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 19 = 5
• value of cell 4 at time 19 = 3

then value of cell 4 at time 20 = 3

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 19 = 5
• value of cell 5 at time 19 = 11

then value of cell 5 at time 20 = 11

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 19 = 5
• value of cell 6 at time 19 = 15

then value of cell 6 at time 20 = 15

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 19 = 5
• value of cell 8 at time 19 = 24

then value of cell 8 at time 20 = 24

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 19 = 5
• value of cell 9 at time 19 = 31

then value of cell 9 at time 20 = 31

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 19 = 5
• value of cell 10 at time 19 = 45

then value of cell 10 at time 20 = 45

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 19 = 5
• value of cell 7 at time 19 = 45

then value of cell 7 at time 20 = 45

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 19 = 5
• value of cell 12 at time 19 = 24

then value of cell 12 at time 20 = 24

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 19 = 5
• value of cell 13 at time 19 = 31

then value of cell 13 at time 20 = 31

• instruction #5 is beq left=3 right=4 imm=1
• the PC at time 19 = 5
• value of cell 14 at time 19 = 45

then value of cell 14 at time 20 = 45

• instruction #0 is addi dst=1 src=0 imm=128
• the PC at time 0 = 0

then value of cell 1 at time 1 = 128