Quiz (1 point)

• if the following are true:

  • 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

• if the following are true:

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

  then the PC at time 1 = 1

• if the following are true:

  • instruction #1 is jump imm=8
  • the PC at time 1 = 1

  then the PC at time 2 = 8

• if the following are true:

  • instruction #1 is jump imm=8
  • the PC at time 1 = 1
  • value of cell 1 at time 1 = 128

  then value of cell 1 at time 2 = 128

• if the following are true:

  • instruction #8 is addi dst=3 src=0 imm=2
  • the PC at time 2 = 8

  then value of cell 3 at time 3 = 2

• if the following are true:

  • instruction #8 is addi dst=3 src=0 imm=2
  • the PC at time 2 = 8

  then the PC at time 3 = 9

• if the following are true:

  • instruction #8 is addi dst=3 src=0 imm=2
  • the PC at time 2 = 8
  • value of cell 1 at time 2 = 128

  then value of cell 1 at time 3 = 128

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 9
  • the PC at time 3 = 9
  • value of cell 1 at time 3 = 128

  then value of cell 1 at time 4 = 127

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 9
  • the PC at time 3 = 9

  then the PC at time 4 = 10

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 9
  • the PC at time 3 = 9
  • value of cell 3 at time 3 = 2

  then value of cell 3 at time 4 = 2

• if the following are true:

  • instruction #10 is store src=3 addr=1 imm=0
  • the PC at time 4 = 10
  • value of cell 1 at time 4 = 127
  • value of cell 3 at time 4 = 2

  then value of cell 127 at time 5 = 2

• if the following are true:

  • instruction #10 is store src=3 addr=1 imm=0
  • the PC at time 4 = 10

  then the PC at time 5 = 11

• if the following are true:

  • instruction #10 is store src=3 addr=1 imm=0
  • the PC at time 4 = 10
  • value of cell 1 at time 4 = 127
  • value of cell 1 at time 4 = 127

  then value of cell 1 at time 5 = 127

• if the following are true:

  • instruction #10 is store src=3 addr=1 imm=0
  • the PC at time 4 = 10
  • value of cell 3 at time 4 = 2
  • value of cell 1 at time 4 = 127

  then value of cell 3 at time 5 = 2

• if the following are true:

  • instruction #11 is addi dst=3 src=0 imm=3
  • the PC at time 5 = 11

  then value of cell 3 at time 6 = 3

• if the following are true:

  • instruction #11 is addi dst=3 src=0 imm=3
  • the PC at time 5 = 11

  then the PC at time 6 = 12

• if the following are true:

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

  then value of cell 1 at time 6 = 127

• if the following are true:

  • instruction #11 is addi dst=3 src=0 imm=3
  • the PC at time 5 = 11
  • value of cell 127 at time 5 = 2

  then value of cell 127 at time 6 = 2

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 12
  • the PC at time 6 = 12
  • value of cell 1 at time 6 = 127

  then value of cell 1 at time 7 = 126

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 12
  • the PC at time 6 = 12

  then the PC at time 7 = 13

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 12
  • the PC at time 6 = 12
  • value of cell 3 at time 6 = 3

  then value of cell 3 at time 7 = 3

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 12
  • the PC at time 6 = 12
  • value of cell 127 at time 6 = 2

  then value of cell 127 at time 7 = 2

• if the following are true:

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

  then value of cell 126 at time 8 = 3

• if the following are true:

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

  then the PC at time 8 = 14

• if the following are true:

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

  then value of cell 1 at time 8 = 126

• if the following are true:

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

  then value of cell 3 at time 8 = 3

• if the following are true:

  • instruction #13 is store src=3 addr=1 imm=0
  • the PC at time 7 = 13
  • value of cell 127 at time 7 = 2
  • value of cell 1 at time 7 = 126

  then value of cell 127 at time 8 = 2

• if the following are true:

  • instruction #14 is load dst=3 addr=1 imm=1
  • the PC at time 8 = 14
  • value of cell 1 at time 8 = 126
  • value of cell 127 at time 8 = 2

  then value of cell 3 at time 9 = 2

• if the following are true:

  • instruction #14 is load dst=3 addr=1 imm=1
  • the PC at time 8 = 14

  then the PC at time 9 = 15

• if the following are true:

  • instruction #14 is load dst=3 addr=1 imm=1
  • the PC at time 8 = 14
  • value of cell 1 at time 8 = 126

  then value of cell 1 at time 9 = 126

• if the following are true:

  • instruction #14 is load dst=3 addr=1 imm=1
  • the PC at time 8 = 14
  • value of cell 127 at time 8 = 2

  then value of cell 127 at time 9 = 2

• if the following are true:

  • instruction #14 is load dst=3 addr=1 imm=1
  • the PC at time 8 = 14
  • value of cell 126 at time 8 = 3

  then value of cell 126 at time 9 = 3

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 15
  • the PC at time 9 = 15
  • value of cell 1 at time 9 = 126

  then value of cell 1 at time 10 = 125

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 15
  • the PC at time 9 = 15

  then the PC at time 10 = 16

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 15
  • the PC at time 9 = 15
  • value of cell 3 at time 9 = 2

  then value of cell 3 at time 10 = 2

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 15
  • the PC at time 9 = 15
  • value of cell 127 at time 9 = 2

  then value of cell 127 at time 10 = 2

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 15
  • the PC at time 9 = 15
  • value of cell 126 at time 9 = 3

  then value of cell 126 at time 10 = 3

• if the following are true:

  • instruction #16 is store src=3 addr=1 imm=0
  • the PC at time 10 = 16
  • value of cell 1 at time 10 = 125
  • value of cell 3 at time 10 = 2

  then value of cell 125 at time 11 = 2

• if the following are true:

  • instruction #16 is store src=3 addr=1 imm=0
  • the PC at time 10 = 16

  then the PC at time 11 = 17

• if the following are true:

  • instruction #16 is store src=3 addr=1 imm=0
  • the PC at time 10 = 16
  • value of cell 1 at time 10 = 125
  • value of cell 1 at time 10 = 125

  then value of cell 1 at time 11 = 125

• if the following are true:

  • instruction #16 is store src=3 addr=1 imm=0
  • the PC at time 10 = 16
  • value of cell 3 at time 10 = 2
  • value of cell 1 at time 10 = 125

  then value of cell 3 at time 11 = 2

• if the following are true:

  • instruction #16 is store src=3 addr=1 imm=0
  • the PC at time 10 = 16
  • value of cell 127 at time 10 = 2
  • value of cell 1 at time 10 = 125

  then value of cell 127 at time 11 = 2

• if the following are true:

  • instruction #16 is store src=3 addr=1 imm=0
  • the PC at time 10 = 16
  • value of cell 126 at time 10 = 3
  • value of cell 1 at time 10 = 125

  then value of cell 126 at time 11 = 3

• if the following are true:

  • instruction #17 is load dst=3 addr=1 imm=1
  • the PC at time 11 = 17
  • value of cell 1 at time 11 = 125
  • value of cell 126 at time 11 = 3

  then value of cell 3 at time 12 = 3

• if the following are true:

  • instruction #17 is load dst=3 addr=1 imm=1
  • the PC at time 11 = 17

  then the PC at time 12 = 18

• if the following are true:

  • instruction #17 is load dst=3 addr=1 imm=1
  • the PC at time 11 = 17
  • value of cell 1 at time 11 = 125

  then value of cell 1 at time 12 = 125

• if the following are true:

  • instruction #17 is load dst=3 addr=1 imm=1
  • the PC at time 11 = 17
  • value of cell 127 at time 11 = 2

  then value of cell 127 at time 12 = 2

• if the following are true:

  • instruction #17 is load dst=3 addr=1 imm=1
  • the PC at time 11 = 17
  • value of cell 126 at time 11 = 3

  then value of cell 126 at time 12 = 3

• if the following are true:

  • instruction #17 is load dst=3 addr=1 imm=1
  • the PC at time 11 = 17
  • value of cell 125 at time 11 = 2

  then value of cell 125 at time 12 = 2

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 18
  • the PC at time 12 = 18
  • value of cell 1 at time 12 = 125

  then value of cell 1 at time 13 = 124

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 18
  • the PC at time 12 = 18

  then the PC at time 13 = 19

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 18
  • the PC at time 12 = 18
  • value of cell 3 at time 12 = 3

  then value of cell 3 at time 13 = 3

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 18
  • the PC at time 12 = 18
  • value of cell 127 at time 12 = 2

  then value of cell 127 at time 13 = 2

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 18
  • the PC at time 12 = 18
  • value of cell 126 at time 12 = 3

  then value of cell 126 at time 13 = 3

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 18
  • the PC at time 12 = 18
  • value of cell 125 at time 12 = 2

  then value of cell 125 at time 13 = 2

• if the following are true:

  • instruction #19 is store src=3 addr=1 imm=0
  • the PC at time 13 = 19
  • value of cell 1 at time 13 = 124
  • value of cell 3 at time 13 = 3

  then value of cell 124 at time 14 = 3

• if the following are true:

  • instruction #19 is store src=3 addr=1 imm=0
  • the PC at time 13 = 19

  then the PC at time 14 = 20

• if the following are true:

  • instruction #19 is store src=3 addr=1 imm=0
  • the PC at time 13 = 19
  • value of cell 1 at time 13 = 124
  • value of cell 1 at time 13 = 124

  then value of cell 1 at time 14 = 124

• if the following are true:

  • instruction #19 is store src=3 addr=1 imm=0
  • the PC at time 13 = 19
  • value of cell 3 at time 13 = 3
  • value of cell 1 at time 13 = 124

  then value of cell 3 at time 14 = 3

• if the following are true:

  • instruction #19 is store src=3 addr=1 imm=0
  • the PC at time 13 = 19
  • value of cell 127 at time 13 = 2
  • value of cell 1 at time 13 = 124

  then value of cell 127 at time 14 = 2

• if the following are true:

  • instruction #19 is store src=3 addr=1 imm=0
  • the PC at time 13 = 19
  • value of cell 126 at time 13 = 3
  • value of cell 1 at time 13 = 124

  then value of cell 126 at time 14 = 3

• if the following are true:

  • instruction #19 is store src=3 addr=1 imm=0
  • the PC at time 13 = 19
  • value of cell 125 at time 13 = 2
  • value of cell 1 at time 13 = 124

  then value of cell 125 at time 14 = 2

• if the following are true:

  • instruction #20 is a JAL instruction with jump to: 2
  • the PC at time 14 = 20

  then the PC at time 15 = 2

• if the following are true:

  • instruction #20 is a JAL instruction with jump to: 2
  • the PC at time 14 = 20

  then value of cell 2 at time 15 = 21

• if the following are true:

  • instruction #20 is a JAL instruction with jump to: 2
  • the PC at time 14 = 20
  • value of cell 1 at time 14 = 124

  then value of cell 1 at time 15 = 124

• if the following are true:

  • instruction #20 is a JAL instruction with jump to: 2
  • the PC at time 14 = 20
  • value of cell 3 at time 14 = 3

  then value of cell 3 at time 15 = 3

• if the following are true:

  • instruction #20 is a JAL instruction with jump to: 2
  • the PC at time 14 = 20
  • value of cell 127 at time 14 = 2

  then value of cell 127 at time 15 = 2

• if the following are true:

  • instruction #20 is a JAL instruction with jump to: 2
  • the PC at time 14 = 20
  • value of cell 126 at time 14 = 3

  then value of cell 126 at time 15 = 3

• if the following are true:

  • instruction #20 is a JAL instruction with jump to: 2
  • the PC at time 14 = 20
  • value of cell 125 at time 14 = 2

  then value of cell 125 at time 15 = 2

• if the following are true:

  • instruction #20 is a JAL instruction with jump to: 2
  • the PC at time 14 = 20
  • value of cell 124 at time 14 = 3

  then value of cell 124 at time 15 = 3

• if the following are true:

  • instruction #2 is load dst=3 addr=1 imm=1
  • the PC at time 15 = 2
  • value of cell 1 at time 15 = 124
  • value of cell 125 at time 15 = 2

  then value of cell 3 at time 16 = 2

• if the following are true:

  • instruction #2 is load dst=3 addr=1 imm=1
  • the PC at time 15 = 2

  then the PC at time 16 = 3

• if the following are true:

  • instruction #2 is load dst=3 addr=1 imm=1
  • the PC at time 15 = 2
  • value of cell 1 at time 15 = 124

  then value of cell 1 at time 16 = 124

• if the following are true:

  • instruction #2 is load dst=3 addr=1 imm=1
  • the PC at time 15 = 2
  • value of cell 127 at time 15 = 2

  then value of cell 127 at time 16 = 2

• if the following are true:

  • instruction #2 is load dst=3 addr=1 imm=1
  • the PC at time 15 = 2
  • value of cell 126 at time 15 = 3

  then value of cell 126 at time 16 = 3

• if the following are true:

  • instruction #2 is load dst=3 addr=1 imm=1
  • the PC at time 15 = 2
  • value of cell 125 at time 15 = 2

  then value of cell 125 at time 16 = 2

• if the following are true:

  • instruction #2 is load dst=3 addr=1 imm=1
  • the PC at time 15 = 2
  • value of cell 124 at time 15 = 3

  then value of cell 124 at time 16 = 3

• if the following are true:

  • instruction #2 is load dst=3 addr=1 imm=1
  • the PC at time 15 = 2
  • value of cell 2 at time 15 = 21

  then value of cell 2 at time 16 = 21

• if the following are true:

  • instruction #3 is load dst=4 addr=1 imm=0
  • the PC at time 16 = 3
  • value of cell 1 at time 16 = 124
  • value of cell 124 at time 16 = 3

  then value of cell 4 at time 17 = 3

• if the following are true:

  • instruction #3 is load dst=4 addr=1 imm=0
  • the PC at time 16 = 3

  then the PC at time 17 = 4

• if the following are true:

  • instruction #3 is load dst=4 addr=1 imm=0
  • the PC at time 16 = 3
  • value of cell 1 at time 16 = 124

  then value of cell 1 at time 17 = 124

• if the following are true:

  • instruction #3 is load dst=4 addr=1 imm=0
  • the PC at time 16 = 3
  • value of cell 3 at time 16 = 2

  then value of cell 3 at time 17 = 2

• if the following are true:

  • instruction #3 is load dst=4 addr=1 imm=0
  • the PC at time 16 = 3
  • value of cell 127 at time 16 = 2

  then value of cell 127 at time 17 = 2

• if the following are true:

  • instruction #3 is load dst=4 addr=1 imm=0
  • the PC at time 16 = 3
  • value of cell 126 at time 16 = 3

  then value of cell 126 at time 17 = 3

• if the following are true:

  • instruction #3 is load dst=4 addr=1 imm=0
  • the PC at time 16 = 3
  • value of cell 125 at time 16 = 2

  then value of cell 125 at time 17 = 2

• if the following are true:

  • instruction #3 is load dst=4 addr=1 imm=0
  • the PC at time 16 = 3
  • value of cell 124 at time 16 = 3

  then value of cell 124 at time 17 = 3

• if the following are true:

  • instruction #3 is load dst=4 addr=1 imm=0
  • the PC at time 16 = 3
  • value of cell 2 at time 16 = 21

  then value of cell 2 at time 17 = 21

• if the following are true:

  • the PC at time 17 = 4
  • instruction #4 is add dst=3 src1=3 src2=4

  then value of cell 3 at time 18 = (value of cell 3 at time 17) + (value of cell 4 at time 17)

• if the following are true:

  • value of cell 3 at time 18 = (value of cell 3 at time 17) + (value of cell 4 at time 17)
  • value of cell 3 at time 17 = 2
  • value of cell 4 at time 17 = 3

  then value of cell 3 at time 18 = 5

• if the following are true:

  • instruction #4 is add dst=3 src1=3 src2=4
  • the PC at time 17 = 4

  then the PC at time 18 = 5

• if the following are true:

  • instruction #4 is add dst=3 src1=3 src2=4
  • the PC at time 17 = 4
  • value of cell 1 at time 17 = 124

  then value of cell 1 at time 18 = 124

• if the following are true:

  • instruction #4 is add dst=3 src1=3 src2=4
  • the PC at time 17 = 4
  • value of cell 127 at time 17 = 2

  then value of cell 127 at time 18 = 2

• if the following are true:

  • instruction #4 is add dst=3 src1=3 src2=4
  • the PC at time 17 = 4
  • value of cell 126 at time 17 = 3

  then value of cell 126 at time 18 = 3

• if the following are true:

  • instruction #4 is add dst=3 src1=3 src2=4
  • the PC at time 17 = 4
  • value of cell 125 at time 17 = 2

  then value of cell 125 at time 18 = 2

• if the following are true:

  • instruction #4 is add dst=3 src1=3 src2=4
  • the PC at time 17 = 4
  • value of cell 124 at time 17 = 3

  then value of cell 124 at time 18 = 3

• if the following are true:

  • instruction #4 is add dst=3 src1=3 src2=4
  • the PC at time 17 = 4
  • value of cell 2 at time 17 = 21

  then value of cell 2 at time 18 = 21

• if the following are true:

  • instruction #4 is add dst=3 src1=3 src2=4
  • the PC at time 17 = 4
  • value of cell 4 at time 17 = 3

  then value of cell 4 at time 18 = 3

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5
  • the PC at time 18 = 5
  • value of cell 1 at time 18 = 124

  then value of cell 1 at time 19 = 123

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5
  • the PC at time 18 = 5

  then the PC at time 19 = 6

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5
  • the PC at time 18 = 5
  • value of cell 3 at time 18 = 5

  then value of cell 3 at time 19 = 5

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5
  • the PC at time 18 = 5
  • value of cell 127 at time 18 = 2

  then value of cell 127 at time 19 = 2

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5
  • the PC at time 18 = 5
  • value of cell 126 at time 18 = 3

  then value of cell 126 at time 19 = 3

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5
  • the PC at time 18 = 5
  • value of cell 125 at time 18 = 2

  then value of cell 125 at time 19 = 2

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5
  • the PC at time 18 = 5
  • value of cell 124 at time 18 = 3

  then value of cell 124 at time 19 = 3

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5
  • the PC at time 18 = 5
  • value of cell 2 at time 18 = 21

  then value of cell 2 at time 19 = 21

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5
  • the PC at time 18 = 5
  • value of cell 4 at time 18 = 3

  then value of cell 4 at time 19 = 3

• if the following are true:

  • instruction #6 is store src=3 addr=1 imm=0
  • the PC at time 19 = 6
  • value of cell 1 at time 19 = 123
  • value of cell 3 at time 19 = 5

  then value of cell 123 at time 20 = 5

• if the following are true:

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

  then the PC at time 20 = 7

• if the following are true:

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

  then value of cell 1 at time 20 = 123

• if the following are true:

  • instruction #6 is store src=3 addr=1 imm=0
  • the PC at time 19 = 6
  • value of cell 3 at time 19 = 5
  • value of cell 1 at time 19 = 123

  then value of cell 3 at time 20 = 5

• if the following are true:

  • instruction #6 is store src=3 addr=1 imm=0
  • the PC at time 19 = 6
  • value of cell 127 at time 19 = 2
  • value of cell 1 at time 19 = 123

  then value of cell 127 at time 20 = 2

• if the following are true:

  • instruction #6 is store src=3 addr=1 imm=0
  • the PC at time 19 = 6
  • value of cell 126 at time 19 = 3
  • value of cell 1 at time 19 = 123

  then value of cell 126 at time 20 = 3

• if the following are true:

  • instruction #6 is store src=3 addr=1 imm=0
  • the PC at time 19 = 6
  • value of cell 125 at time 19 = 2
  • value of cell 1 at time 19 = 123

  then value of cell 125 at time 20 = 2

• if the following are true:

  • instruction #6 is store src=3 addr=1 imm=0
  • the PC at time 19 = 6
  • value of cell 124 at time 19 = 3
  • value of cell 1 at time 19 = 123

  then value of cell 124 at time 20 = 3

• if the following are true:

  • instruction #6 is store src=3 addr=1 imm=0
  • the PC at time 19 = 6
  • value of cell 2 at time 19 = 21
  • value of cell 1 at time 19 = 123

  then value of cell 2 at time 20 = 21

• if the following are true:

  • instruction #6 is store src=3 addr=1 imm=0
  • the PC at time 19 = 6
  • value of cell 4 at time 19 = 3
  • value of cell 1 at time 19 = 123

  then value of cell 4 at time 20 = 3

• if the following are true:

  • instruction #7 is jumpr addr=2
  • the PC at time 20 = 7
  • value of cell 2 at time 20 = 21

  then the PC at time 21 = 21

• if the following are true:

  • instruction #7 is jumpr addr=2
  • the PC at time 20 = 7
  • value of cell 1 at time 20 = 123

  then value of cell 1 at time 21 = 123

• if the following are true:

  • instruction #7 is jumpr addr=2
  • the PC at time 20 = 7
  • value of cell 3 at time 20 = 5

  then value of cell 3 at time 21 = 5

• if the following are true:

  • instruction #7 is jumpr addr=2
  • the PC at time 20 = 7
  • value of cell 127 at time 20 = 2

  then value of cell 127 at time 21 = 2

• if the following are true:

  • instruction #7 is jumpr addr=2
  • the PC at time 20 = 7
  • value of cell 126 at time 20 = 3

  then value of cell 126 at time 21 = 3

• if the following are true:

  • instruction #7 is jumpr addr=2
  • the PC at time 20 = 7
  • value of cell 125 at time 20 = 2

  then value of cell 125 at time 21 = 2

• if the following are true:

  • instruction #7 is jumpr addr=2
  • the PC at time 20 = 7
  • value of cell 124 at time 20 = 3

  then value of cell 124 at time 21 = 3

• if the following are true:

  • instruction #7 is jumpr addr=2
  • the PC at time 20 = 7
  • value of cell 2 at time 20 = 21

  then value of cell 2 at time 21 = 21

• if the following are true:

  • instruction #7 is jumpr addr=2
  • the PC at time 20 = 7
  • value of cell 4 at time 20 = 3

  then value of cell 4 at time 21 = 3

• if the following are true:

  • instruction #7 is jumpr addr=2
  • the PC at time 20 = 7
  • value of cell 123 at time 20 = 5

  then value of cell 123 at time 21 = 5

• if the following are true:

  • instruction #21 is load dst=3 addr=1 imm=0
  • the PC at time 21 = 21
  • value of cell 1 at time 21 = 123
  • value of cell 123 at time 21 = 5

  then value of cell 3 at time 22 = 5

• if the following are true:

  • instruction #21 is load dst=3 addr=1 imm=0
  • the PC at time 21 = 21

  then the PC at time 22 = 22

• if the following are true:

  • instruction #21 is load dst=3 addr=1 imm=0
  • the PC at time 21 = 21
  • value of cell 1 at time 21 = 123

  then value of cell 1 at time 22 = 123

• if the following are true:

  • instruction #21 is load dst=3 addr=1 imm=0
  • the PC at time 21 = 21
  • value of cell 127 at time 21 = 2

  then value of cell 127 at time 22 = 2

• if the following are true:

  • instruction #21 is load dst=3 addr=1 imm=0
  • the PC at time 21 = 21
  • value of cell 126 at time 21 = 3

  then value of cell 126 at time 22 = 3

• if the following are true:

  • instruction #21 is load dst=3 addr=1 imm=0
  • the PC at time 21 = 21
  • value of cell 125 at time 21 = 2

  then value of cell 125 at time 22 = 2

• if the following are true:

  • instruction #21 is load dst=3 addr=1 imm=0
  • the PC at time 21 = 21
  • value of cell 124 at time 21 = 3

  then value of cell 124 at time 22 = 3

• if the following are true:

  • instruction #21 is load dst=3 addr=1 imm=0
  • the PC at time 21 = 21
  • value of cell 2 at time 21 = 21

  then value of cell 2 at time 22 = 21

• if the following are true:

  • instruction #21 is load dst=3 addr=1 imm=0
  • the PC at time 21 = 21
  • value of cell 4 at time 21 = 3

  then value of cell 4 at time 22 = 3

• if the following are true:

  • instruction #21 is load dst=3 addr=1 imm=0
  • the PC at time 21 = 21
  • value of cell 123 at time 21 = 5

  then value of cell 123 at time 22 = 5

• if the following are true:

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

  then value of cell 1 at time 23 = 126

• if the following are true:

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

  then the PC at time 23 = 23

• if the following are true:

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

  then value of cell 3 at time 23 = 5

• if the following are true:

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

  then value of cell 127 at time 23 = 2

• if the following are true:

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

  then value of cell 126 at time 23 = 3

• if the following are true:

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

  then value of cell 125 at time 23 = 2

• if the following are true:

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

  then value of cell 124 at time 23 = 3

• if the following are true:

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

  then value of cell 2 at time 23 = 21

• if the following are true:

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

  then value of cell 4 at time 23 = 3

• if the following are true:

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

  then value of cell 123 at time 23 = 5

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23
  • the PC at time 23 = 23
  • value of cell 1 at time 23 = 126

  then value of cell 1 at time 24 = 125

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23
  • the PC at time 23 = 23

  then the PC at time 24 = 24

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23
  • the PC at time 23 = 23
  • value of cell 3 at time 23 = 5

  then value of cell 3 at time 24 = 5

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23
  • the PC at time 23 = 23
  • value of cell 127 at time 23 = 2

  then value of cell 127 at time 24 = 2

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23
  • the PC at time 23 = 23
  • value of cell 126 at time 23 = 3

  then value of cell 126 at time 24 = 3

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23
  • the PC at time 23 = 23
  • value of cell 125 at time 23 = 2

  then value of cell 125 at time 24 = 2

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23
  • the PC at time 23 = 23
  • value of cell 124 at time 23 = 3

  then value of cell 124 at time 24 = 3

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23
  • the PC at time 23 = 23
  • value of cell 2 at time 23 = 21

  then value of cell 2 at time 24 = 21

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23
  • the PC at time 23 = 23
  • value of cell 4 at time 23 = 3

  then value of cell 4 at time 24 = 3

• if the following are true:

  • subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23
  • the PC at time 23 = 23
  • value of cell 123 at time 23 = 5

  then value of cell 123 at time 24 = 5

• if the following are true:

  • instruction #24 is store src=3 addr=1 imm=0
  • the PC at time 24 = 24
  • value of cell 1 at time 24 = 125
  • value of cell 3 at time 24 = 5

  then value of cell 125 at time 25 = 5

• if the following are true:

  • instruction #24 is store src=3 addr=1 imm=0
  • the PC at time 24 = 24

  then the PC at time 25 = 25

• if the following are true:

  • instruction #24 is store src=3 addr=1 imm=0
  • the PC at time 24 = 24
  • value of cell 1 at time 24 = 125
  • value of cell 1 at time 24 = 125

  then value of cell 1 at time 25 = 125

• if the following are true:

  • instruction #24 is store src=3 addr=1 imm=0
  • the PC at time 24 = 24
  • value of cell 3 at time 24 = 5
  • value of cell 1 at time 24 = 125

  then value of cell 3 at time 25 = 5

• if the following are true:

  • instruction #24 is store src=3 addr=1 imm=0
  • the PC at time 24 = 24
  • value of cell 127 at time 24 = 2
  • value of cell 1 at time 24 = 125

  then value of cell 127 at time 25 = 2

• if the following are true:

  • instruction #24 is store src=3 addr=1 imm=0
  • the PC at time 24 = 24
  • value of cell 126 at time 24 = 3
  • value of cell 1 at time 24 = 125

  then value of cell 126 at time 25 = 3

• if the following are true:

  • instruction #24 is store src=3 addr=1 imm=0
  • the PC at time 24 = 24
  • value of cell 124 at time 24 = 3
  • value of cell 1 at time 24 = 125

  then value of cell 124 at time 25 = 3

• if the following are true:

  • instruction #24 is store src=3 addr=1 imm=0
  • the PC at time 24 = 24
  • value of cell 2 at time 24 = 21
  • value of cell 1 at time 24 = 125

  then value of cell 2 at time 25 = 21

• if the following are true:

  • instruction #24 is store src=3 addr=1 imm=0
  • the PC at time 24 = 24
  • value of cell 4 at time 24 = 3
  • value of cell 1 at time 24 = 125

  then value of cell 4 at time 25 = 3

• if the following are true:

  • instruction #24 is store src=3 addr=1 imm=0
  • the PC at time 24 = 24
  • value of cell 123 at time 24 = 5
  • value of cell 1 at time 24 = 125

  then value of cell 123 at time 25 = 5

Please write your proof in the table below. Each row should contain one claim. The last claim is the statement that you are trying to prove.