Proofs

A proof is a series of claims that lead to a conclusion. Some proofs are conditional, which means that the claims can only be made under certain conditions. Click on a statement to see the proof

Do Object Store At Unchanged 25
if the following are true:
  • expression state at time 25 = "call_returned"
  • Python Object Store at time 25 = [ ]

then Python Object Store at time 26 = [ ]


Do Control Map At Unchanged 25
if the following are true:
  • expression state at time 25 = "call_returned"
  • Control Map at time 25 = [ ]

then Control Map at time 26 = [ ]


Do Class Defs At Unchanged 25
if the following are true:
  • expression state at time 25 = "call_returned"
  • Class Map at time 25 = [ ]

then Class Map at time 26 = [ ]


Write Increment T And Val Line At 26
if the following are true:
  • the line at time 26 = 5
  • the tab at time 26 = 0
  • statement at line 5, tab 0 = b = add_three(a)
  • expression state at time 26 = "end_expr"

then the line at time 27 = 6


Write Stmt Tab At Unchanged Expr26
if the following are true:
  • the line at time 26 = 5
  • the tab at time 26 = 0
  • statement at line 5, tab 0 = b = add_three(a)
  • expression state at time 26 = "end_expr"

then the tab at time 27 = 0


Write Stmt Object Store At Unchanged Expr26
if the following are true:
  • the line at time 26 = 5
  • the tab at time 26 = 0
  • statement at line 5, tab 0 = b = add_three(a)
  • expression state at time 26 = "end_expr"
  • Python Object Store at time 26 = [ ]

then Python Object Store at time 27 = [ ]


Write Stmt Control Map At Unchanged 26
if the following are true:
  • the line at time 26 = 5
  • the tab at time 26 = 0
  • statement at line 5, tab 0 = b = add_three(a)
  • Control Map at time 26 = [ ]

then Control Map at time 27 = [ ]


Write Stmt Class Defs At Unchanged 26
if the following are true:
  • the line at time 26 = 5
  • the tab at time 26 = 0
  • statement at line 5, tab 0 = b = add_three(a)
  • Class Map at time 26 = [ ]

then Class Map at time 27 = [ ]


Write Stmt Control Map At Unchanged 0
if the following are true:
  • the line at time 0 = 1
  • the tab at time 0 = 0
  • statement at line 1, tab 0 = x = 7
  • Control Map at time 0 = [ ]

then Control Map at time 1 = [ ]


Write Stmt Control Map At Unchanged Expr1
if the following are true:
  • the line at time 1 = 2
  • the tab at time 1 = 0
  • statement at line 2, tab 0 = __add__(x, 3)
  • expression state at time 1 = "not_expr"
  • Control Map at time 1 = [ ]

then Control Map at time 2 = [ ]


Do Control Map At Unchanged 2
if the following are true:
  • expression state at time 2 = "begin_expr"
  • Control Map at time 2 = [ ]

then Control Map at time 3 = [ ]


Do Control Map At Unchanged 3
if the following are true:
  • expression state at time 3 = "iterate_args"
  • Control Map at time 3 = [ ]

then Control Map at time 4 = [ ]


Do Control Map At Unchanged 4
if the following are true:
  • expression state at time 4 = "begin_expr"
  • Control Map at time 4 = [ ]

then Control Map at time 5 = [ ]


Do Control Map At Unchanged 5
if the following are true:
  • expression state at time 5 = "return"
  • Control Map at time 5 = [ ]

then Control Map at time 6 = [ ]


Do Control Map At Unchanged 6
if the following are true:
  • expression state at time 6 = "iterate_args"
  • Control Map at time 6 = [ ]

then Control Map at time 7 = [ ]


Do Control Map At Unchanged 7
if the following are true:
  • expression state at time 7 = "begin_expr"
  • Control Map at time 7 = [ ]

then Control Map at time 8 = [ ]


Do Control Map At Unchanged 8
if the following are true:
  • expression state at time 8 = "return"
  • Control Map at time 8 = [ ]

then Control Map at time 9 = [ ]


Do Control Map At Unchanged 9
if the following are true:
  • expression state at time 9 = "iterate_args"
  • Control Map at time 9 = [ ]

then Control Map at time 10 = [ ]


Do Control Map At Unchanged 10
if the following are true:
  • expression state at time 10 = "call_function_begin"
  • Control Map at time 10 = [ ]

then Control Map at time 11 = [ ]


Write Stmt Control Map At Unchanged Expr0
if the following are true:
  • the line at time 0 = 1
  • the tab at time 0 = 0
  • statement at line 1, tab 0 = __add__(5, 2)
  • expression state at time 0 = "not_expr"
  • Control Map at time 0 = [ ]

then Control Map at time 1 = [ ]


Do Control Map At Unchanged 1
if the following are true:
  • expression state at time 1 = "begin_expr"
  • Control Map at time 1 = [ ]

then Control Map at time 2 = [ ]


Do Control Map At Unchanged 2
if the following are true:
  • expression state at time 2 = "iterate_args"
  • Control Map at time 2 = [ ]

then Control Map at time 3 = [ ]


Do Control Map At Unchanged 3
if the following are true:
  • expression state at time 3 = "begin_expr"
  • Control Map at time 3 = [ ]

then Control Map at time 4 = [ ]


Do Control Map At Unchanged 4
if the following are true:
  • expression state at time 4 = "return"
  • Control Map at time 4 = [ ]

then Control Map at time 5 = [ ]


Do Control Map At Unchanged 5
if the following are true:
  • expression state at time 5 = "iterate_args"
  • Control Map at time 5 = [ ]

then Control Map at time 6 = [ ]


Do Control Map At Unchanged 6
if the following are true:
  • expression state at time 6 = "begin_expr"
  • Control Map at time 6 = [ ]

then Control Map at time 7 = [ ]


Do Control Map At Unchanged 7
if the following are true:
  • expression state at time 7 = "return"
  • Control Map at time 7 = [ ]

then Control Map at time 8 = [ ]


Do Control Map At Unchanged 8
if the following are true:
  • expression state at time 8 = "iterate_args"
  • Control Map at time 8 = [ ]

then Control Map at time 9 = [ ]


Do Control Map At Unchanged 9
if the following are true:
  • expression state at time 9 = "call_function_begin"
  • Control Map at time 9 = [ ]

then Control Map at time 10 = [ ]


Write Stmt Control Map At Unchanged Expr0
if the following are true:
  • the line at time 0 = 1
  • the tab at time 0 = 0
  • statement at line 1, tab 0 = if __eq__(1, 3):
  • expression state at time 0 = "not_expr"
  • Control Map at time 0 = [ ]

then Control Map at time 1 = [ ]


Do Control Map At Unchanged 1
if the following are true:
  • expression state at time 1 = "begin_expr"
  • Control Map at time 1 = [ ]

then Control Map at time 2 = [ ]


Do Control Map At Unchanged 2
if the following are true:
  • expression state at time 2 = "iterate_args"
  • Control Map at time 2 = [ ]

then Control Map at time 3 = [ ]


Do Control Map At Unchanged 3
if the following are true:
  • expression state at time 3 = "begin_expr"
  • Control Map at time 3 = [ ]

then Control Map at time 4 = [ ]


Do Control Map At Unchanged 4
if the following are true:
  • expression state at time 4 = "return"
  • Control Map at time 4 = [ ]

then Control Map at time 5 = [ ]


Do Control Map At Unchanged 5
if the following are true:
  • expression state at time 5 = "iterate_args"
  • Control Map at time 5 = [ ]

then Control Map at time 6 = [ ]


Do Control Map At Unchanged 6
if the following are true:
  • expression state at time 6 = "begin_expr"
  • Control Map at time 6 = [ ]

then Control Map at time 7 = [ ]


Do Control Map At Unchanged 7
if the following are true:
  • expression state at time 7 = "return"
  • Control Map at time 7 = [ ]

then Control Map at time 8 = [ ]


Do Control Map At Unchanged 8
if the following are true:
  • expression state at time 8 = "iterate_args"
  • Control Map at time 8 = [ ]

then Control Map at time 9 = [ ]


Do Control Map At Unchanged 9
if the following are true:
  • expression state at time 9 = "call_function_begin"
  • Control Map at time 9 = [ ]

then Control Map at time 10 = [ ]


Do Set Key Value 10 0
result of storing (pair ("if", False)) at key: 0 in map: [ ] = [ entry 0: (pair ("if", False)), [ ] ]

Write Test Call End Control Map 10
if the following are true:
  • the line at time 10 = 1
  • the tab at time 10 = 0
  • statement at line 1, tab 0 = if __eq__(1, 3):
  • expression state at time 10 = "end_expr"
  • Return Value at time 10 = False
  • Control Map at time 10 = [ ]

then Control Map at time 11 = [ entry 0: (pair ("if", False)), [ ] ]


Write Skip Line Control Map At 11
if the following are true:
  • the line at time 11 = 2
  • the tab at time 11 = 0
  • statement at line 2, tab 1 = a = 7
  • Control Map at time 11 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ]


Do Get Key Value 12 0
value at 0 in map [ entry 0: (pair ("if", False)), [ ] ] = pair ("if", False)

Get Key Value Control Map At 12
if Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ], then value at 0 in map (Control Map at time 12) = pair ("if", False)

Elif Example
if the following are true:
  • the line at time 12 = 3
  • the tab at time 12 = 0
  • statement at line 3, tab 0 = elif __eq__(3, 3):
  • Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ]
  • expression state at time 12 = "not_expr"

then the expression at time 13 = __eq__(3, 3)


Elif State Example
if the following are true:
  • the line at time 12 = 3
  • the tab at time 12 = 0
  • statement at line 3, tab 0 = elif __eq__(3, 3):
  • Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ]
  • expression state at time 12 = "not_expr"

then expression state at time 13 = "begin_expr"


Write Elif Test Call Begin Line At 12
if the following are true:
  • the line at time 12 = 3
  • the tab at time 12 = 0
  • statement at line 3, tab 0 = elif __eq__(3, 3):
  • Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ]
  • expression state at time 12 = "not_expr"

then the line at time 13 = 3


Write Elif Test Call Begin Tab At 12
if the following are true:
  • the line at time 12 = 3
  • the tab at time 12 = 0
  • statement at line 3, tab 0 = elif __eq__(3, 3):
  • Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ]
  • expression state at time 12 = "not_expr"

then the tab at time 13 = 0


Write Elif Test Call Begin Value Stack At 12
if the following are true:
  • the line at time 12 = 3
  • the tab at time 12 = 0
  • statement at line 3, tab 0 = elif __eq__(3, 3):
  • Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ]
  • expression state at time 12 = "not_expr"

then Value Stack at time 13 = [ ]


Write Elif Test Call Begin Parent Stack At 12
if the following are true:
  • the line at time 12 = 3
  • the tab at time 12 = 0
  • statement at line 3, tab 0 = elif __eq__(3, 3):
  • Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ]
  • expression state at time 12 = "not_expr"

then parent stack at time 13 = [ ]


Write Elif Test Call Begin Arg Stack At 12
if the following are true:
  • the line at time 12 = 3
  • the tab at time 12 = 0
  • statement at line 3, tab 0 = elif __eq__(3, 3):
  • Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ]
  • expression state at time 12 = "not_expr"

then arguments stack at time 13 = [ ]


Write Stmt Control Map At Unchanged Expr12
if the following are true:
  • the line at time 12 = 3
  • the tab at time 12 = 0
  • statement at line 3, tab 0 = elif __eq__(3, 3):
  • expression state at time 12 = "not_expr"
  • Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 13 = [ entry 0: (pair ("if", False)), [ ] ]


Do Control Map At Unchanged 13
if the following are true:
  • expression state at time 13 = "begin_expr"
  • Control Map at time 13 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 14 = [ entry 0: (pair ("if", False)), [ ] ]


Do Control Map At Unchanged 14
if the following are true:
  • expression state at time 14 = "iterate_args"
  • Control Map at time 14 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 15 = [ entry 0: (pair ("if", False)), [ ] ]


Do Control Map At Unchanged 15
if the following are true:
  • expression state at time 15 = "begin_expr"
  • Control Map at time 15 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 16 = [ entry 0: (pair ("if", False)), [ ] ]


Do Control Map At Unchanged 16
if the following are true:
  • expression state at time 16 = "return"
  • Control Map at time 16 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 17 = [ entry 0: (pair ("if", False)), [ ] ]


Do Control Map At Unchanged 17
if the following are true:
  • expression state at time 17 = "iterate_args"
  • Control Map at time 17 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 18 = [ entry 0: (pair ("if", False)), [ ] ]


Do Control Map At Unchanged 18
if the following are true:
  • expression state at time 18 = "begin_expr"
  • Control Map at time 18 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 19 = [ entry 0: (pair ("if", False)), [ ] ]


Do Control Map At Unchanged 19
if the following are true:
  • expression state at time 19 = "return"
  • Control Map at time 19 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 20 = [ entry 0: (pair ("if", False)), [ ] ]


Do Control Map At Unchanged 20
if the following are true:
  • expression state at time 20 = "iterate_args"
  • Control Map at time 20 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 21 = [ entry 0: (pair ("if", False)), [ ] ]


Do Control Map At Unchanged 21
if the following are true:
  • expression state at time 21 = "call_function_begin"
  • Control Map at time 21 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 22 = [ entry 0: (pair ("if", False)), [ ] ]


Do Set Key Value 22 0
result of storing (pair ("if", True)) at key: 0 in map: [ entry 0: (pair ("if", False)), [ ] ] = [ entry 0: (pair ("if", True)), [ ] ]

Elif Store True Example
if the following are true:
  • the line at time 22 = 3
  • the tab at time 22 = 0
  • statement at line 3, tab 0 = elif __eq__(3, 3):
  • expression state at time 22 = "end_expr"
  • Return Value at time 22 = True
  • Control Map at time 22 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 23 = [ entry 0: (pair ("if", True)), [ ] ]


Write Stmt Control Map At Unchanged 23
if the following are true:
  • the line at time 23 = 4
  • the tab at time 23 = 1
  • statement at line 4, tab 1 = a = 8
  • Control Map at time 23 = [ entry 0: (pair ("if", True)), [ ] ]

then Control Map at time 24 = [ entry 0: (pair ("if", True)), [ ] ]


Do Has Key 24 0
map [ entry 0: (pair ("if", True)), [ ] ] contains key 0 = True

Get Decrement Key Value Control Map At 24
if Control Map at time 24 = [ entry 0: (pair ("if", True)), [ ] ], then value at (1 - 1) in map (Control Map at time 24) = pair ("if", True)

Write Decrement Tab Control Map 24
if the following are true:
  • the line at time 24 = 5
  • the tab at time 24 = 1
  • statement at line 5, tab 0 = else:
  • Control Map at time 24 = [ entry 0: (pair ("if", True)), [ ] ]

then Control Map at time 25 = [ entry 0: (pair ("if", True)), [ ] ]


Do Get Key Value 25 0
value at 0 in map [ entry 0: (pair ("if", True)), [ ] ] = pair ("if", True)

Get Key Value Control Map At 25
if Control Map at time 25 = [ entry 0: (pair ("if", True)), [ ] ], then value at 0 in map (Control Map at time 25) = pair ("if", True)

Write Stmt Control Map At Unchanged 25
if the following are true:
  • the line at time 25 = 5
  • the tab at time 25 = 0
  • statement at line 5, tab 0 = else:
  • Control Map at time 25 = [ entry 0: (pair ("if", True)), [ ] ]

then Control Map at time 26 = [ entry 0: (pair ("if", True)), [ ] ]


Write Skip Line Control Map At 26
if the following are true:
  • the line at time 26 = 6
  • the tab at time 26 = 0
  • statement at line 6, tab 1 = a = 9
  • Control Map at time 26 = [ entry 0: (pair ("if", True)), [ ] ]

then Control Map at time 27 = [ entry 0: (pair ("if", True)), [ ] ]


Write Stmt Control Map At Unchanged Expr0
if the following are true:
  • the line at time 0 = 1
  • the tab at time 0 = 0
  • statement at line 1, tab 0 = if __eq__(1, 3):
  • expression state at time 0 = "not_expr"
  • Control Map at time 0 = [ ]

then Control Map at time 1 = [ ]


Do Control Map At Unchanged 1
if the following are true:
  • expression state at time 1 = "begin_expr"
  • Control Map at time 1 = [ ]

then Control Map at time 2 = [ ]


Do Control Map At Unchanged 2
if the following are true:
  • expression state at time 2 = "iterate_args"
  • Control Map at time 2 = [ ]

then Control Map at time 3 = [ ]


Do Control Map At Unchanged 3
if the following are true:
  • expression state at time 3 = "begin_expr"
  • Control Map at time 3 = [ ]

then Control Map at time 4 = [ ]


Do Control Map At Unchanged 4
if the following are true:
  • expression state at time 4 = "return"
  • Control Map at time 4 = [ ]

then Control Map at time 5 = [ ]


Do Control Map At Unchanged 5
if the following are true:
  • expression state at time 5 = "iterate_args"
  • Control Map at time 5 = [ ]

then Control Map at time 6 = [ ]


Do Control Map At Unchanged 6
if the following are true:
  • expression state at time 6 = "begin_expr"
  • Control Map at time 6 = [ ]

then Control Map at time 7 = [ ]


Do Control Map At Unchanged 7
if the following are true:
  • expression state at time 7 = "return"
  • Control Map at time 7 = [ ]

then Control Map at time 8 = [ ]


Do Control Map At Unchanged 8
if the following are true:
  • expression state at time 8 = "iterate_args"
  • Control Map at time 8 = [ ]

then Control Map at time 9 = [ ]


Do Control Map At Unchanged 9
if the following are true:
  • expression state at time 9 = "call_function_begin"
  • Control Map at time 9 = [ ]

then Control Map at time 10 = [ ]


Do Set Key Value 10 0
result of storing (pair ("if", False)) at key: 0 in map: [ ] = [ entry 0: (pair ("if", False)), [ ] ]

Write Test Call End Control Map 10
if the following are true:
  • the line at time 10 = 1
  • the tab at time 10 = 0
  • statement at line 1, tab 0 = if __eq__(1, 3):
  • expression state at time 10 = "end_expr"
  • Return Value at time 10 = False
  • Control Map at time 10 = [ ]

then Control Map at time 11 = [ entry 0: (pair ("if", False)), [ ] ]


Write Skip Line Control Map At 11
if the following are true:
  • the line at time 11 = 2
  • the tab at time 11 = 0
  • statement at line 2, tab 1 = a = 7
  • Control Map at time 11 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ]


Do Get Key Value 12 0
value at 0 in map [ entry 0: (pair ("if", False)), [ ] ] = pair ("if", False)

Get Key Value Control Map At 12
if Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ], then value at 0 in map (Control Map at time 12) = pair ("if", False)

Write Elif Test Call Begin Expr At 12
if the following are true:
  • the line at time 12 = 3
  • the tab at time 12 = 0
  • statement at line 3, tab 0 = elif __eq__(7, 9):
  • Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ]
  • expression state at time 12 = "not_expr"

then the expression at time 13 = __eq__(7, 9)


Write Elif Test Call Begin Expr State At 12
if the following are true:
  • the line at time 12 = 3
  • the tab at time 12 = 0
  • statement at line 3, tab 0 = elif __eq__(7, 9):
  • Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ]
  • expression state at time 12 = "not_expr"

then expression state at time 13 = "begin_expr"


Write Elif Test Call Begin Line At 12
if the following are true:
  • the line at time 12 = 3
  • the tab at time 12 = 0
  • statement at line 3, tab 0 = elif __eq__(7, 9):
  • Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ]
  • expression state at time 12 = "not_expr"

then the line at time 13 = 3


Write Elif Test Call Begin Tab At 12
if the following are true:
  • the line at time 12 = 3
  • the tab at time 12 = 0
  • statement at line 3, tab 0 = elif __eq__(7, 9):
  • Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ]
  • expression state at time 12 = "not_expr"

then the tab at time 13 = 0


Write Elif Test Call Begin Value Stack At 12
if the following are true:
  • the line at time 12 = 3
  • the tab at time 12 = 0
  • statement at line 3, tab 0 = elif __eq__(7, 9):
  • Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ]
  • expression state at time 12 = "not_expr"

then Value Stack at time 13 = [ ]


Write Elif Test Call Begin Parent Stack At 12
if the following are true:
  • the line at time 12 = 3
  • the tab at time 12 = 0
  • statement at line 3, tab 0 = elif __eq__(7, 9):
  • Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ]
  • expression state at time 12 = "not_expr"

then parent stack at time 13 = [ ]


Write Elif Test Call Begin Arg Stack At 12
if the following are true:
  • the line at time 12 = 3
  • the tab at time 12 = 0
  • statement at line 3, tab 0 = elif __eq__(7, 9):
  • Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ]
  • expression state at time 12 = "not_expr"

then arguments stack at time 13 = [ ]


Write Stmt Control Map At Unchanged Expr12
if the following are true:
  • the line at time 12 = 3
  • the tab at time 12 = 0
  • statement at line 3, tab 0 = elif __eq__(7, 9):
  • expression state at time 12 = "not_expr"
  • Control Map at time 12 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 13 = [ entry 0: (pair ("if", False)), [ ] ]


Do Control Map At Unchanged 13
if the following are true:
  • expression state at time 13 = "begin_expr"
  • Control Map at time 13 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 14 = [ entry 0: (pair ("if", False)), [ ] ]


Do Control Map At Unchanged 14
if the following are true:
  • expression state at time 14 = "iterate_args"
  • Control Map at time 14 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 15 = [ entry 0: (pair ("if", False)), [ ] ]


Do Control Map At Unchanged 15
if the following are true:
  • expression state at time 15 = "begin_expr"
  • Control Map at time 15 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 16 = [ entry 0: (pair ("if", False)), [ ] ]


Do Control Map At Unchanged 16
if the following are true:
  • expression state at time 16 = "return"
  • Control Map at time 16 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 17 = [ entry 0: (pair ("if", False)), [ ] ]


Do Control Map At Unchanged 17
if the following are true:
  • expression state at time 17 = "iterate_args"
  • Control Map at time 17 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 18 = [ entry 0: (pair ("if", False)), [ ] ]


Do Control Map At Unchanged 18
if the following are true:
  • expression state at time 18 = "begin_expr"
  • Control Map at time 18 = [ entry 0: (pair ("if", False)), [ ] ]

then Control Map at time 19 = [ entry 0: (pair ("if", False)), [ ] ]



Pages: 119 120 121 ... 127