if the following are true:

• the PC at time 0 = 0
• instruction #0 is addi dst=1 src=0 imm=128
• instruction #1 is jump imm=8
• instruction #2 is load dst=3 addr=1 imm=1
• instruction #3 is load dst=4 addr=1 imm=0
• instruction #4 is add dst=3 src1=3 src2=4
• subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5
• instruction #6 is store src=3 addr=1 imm=0
• instruction #7 is jumpr addr=2
• instruction #8 is addi dst=3 src=0 imm=2
• subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 9
• instruction #10 is store src=3 addr=1 imm=0
• instruction #11 is addi dst=3 src=0 imm=3
• subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 12
• instruction #13 is store src=3 addr=1 imm=0
• instruction #14 is load dst=3 addr=1 imm=1
• subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 15
• instruction #16 is store src=3 addr=1 imm=0
• instruction #17 is load dst=3 addr=1 imm=1
• subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 18
• instruction #19 is store src=3 addr=1 imm=0
• instruction #20 is a JAL instruction with jump to: 2
• instruction #21 is load dst=3 addr=1 imm=0
• instruction #22 is addi dst=1 src=1 imm=3
• subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23
• instruction #24 is store src=3 addr=1 imm=0

then value of cell 123 at time 25 = 5

Start from the conclusion and work back up the proof. Click the arrow to show the parents.