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 33
if the following are true:
  • expression state at time 33 = "begin_expr"
  • Python Object Store at time 33 = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ]

then Python Object Store at time 34 = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ]


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

then Control Map at time 34 = [ ]


Do Variables At Unchanged 33
if the following are true:
  • expression state at time 33 = "begin_expr"
  • Variables Map at time 33 = [ entry locations: (Python reference 0), [ ] ]

then Variables Map at time 34 = [ entry locations: (Python reference 0), [ ] ]


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

then Class Map at time 34 = [ ]


Get New State 34
if expression state at time 34 = "return", then expression state at time 35 = "iterate_args"

Get Return Value 34
if the following are true:
  • expression state at time 34 = "return"
  • Value Stack at time 34 = [ [ Python reference 0, [ ] ], [ ] ]
  • Return Value at time 34 = "ES"

then Value Stack at time 35 = [ [ "ES", [ Python reference 0, [ ] ] ], [ ] ]


Do Variables At Unchanged 34
if the following are true:
  • expression state at time 34 = "return"
  • Variables Map at time 34 = [ entry locations: (Python reference 0), [ ] ]

then Variables Map at time 35 = [ entry locations: (Python reference 0), [ ] ]


Do Line At Unchanged 34
if the following are true:
  • expression state at time 34 = "return"
  • the line at time 34 = 2

then the line at time 35 = 2


Do Tab At Unchanged 34
if the following are true:
  • expression state at time 34 = "return"
  • the tab at time 34 = 0

then the tab at time 35 = 0


Do Arg Stack At Unchanged 34
if the following are true:
  • expression state at time 34 = "return"
  • arguments stack at time 34 = [ [ "Spain", [ ] ], [ ] ]

then arguments stack at time 35 = [ [ "Spain", [ ] ], [ ] ]


Do Parent Stack At Unchanged 34
if the following are true:
  • expression state at time 34 = "return"
  • parent stack at time 34 = [ __setitem__(locations, "ES", "Spain"), [ ] ]

then parent stack at time 35 = [ __setitem__(locations, "ES", "Spain"), [ ] ]


Do Stack At Unchanged 34
if the following are true:
  • expression state at time 34 = "return"
  • stack at time 34 = [ ]

then stack at time 35 = [ ]


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

then Class Map at time 35 = [ ]


Do Object Store At Unchanged 34
if the following are true:
  • expression state at time 34 = "return"
  • Python Object Store at time 34 = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ]

then Python Object Store at time 35 = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ]


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

then Control Map at time 35 = [ ]


Get Iterate Expr 35
if the following are true:
  • expression state at time 35 = "iterate_args"
  • arguments stack at time 35 = [ [ "Spain", [ ] ], [ ] ]

then the expression at time 36 = "Spain"


Get Iterate Params 35
if the following are true:
  • expression state at time 35 = "iterate_args"
  • arguments stack at time 35 = [ [ "Spain", [ ] ], [ ] ]

then arguments stack at time 36 = [ [ ], [ ] ]


Get Iterate State 35
if the following are true:
  • expression state at time 35 = "iterate_args"
  • arguments stack at time 35 = [ [ "Spain", [ ] ], [ ] ]

then expression state at time 36 = "begin_expr"


Get Iterate Parent 35
if the following are true:
  • expression state at time 35 = "iterate_args"
  • arguments stack at time 35 = [ [ "Spain", [ ] ], [ ] ]
  • parent stack at time 35 = [ __setitem__(locations, "ES", "Spain"), [ ] ]

then parent stack at time 36 = [ __setitem__(locations, "ES", "Spain"), [ ] ]


Do Value Stack At Unchanged 35
if the following are true:
  • expression state at time 35 = "iterate_args"
  • Value Stack at time 35 = [ [ "ES", [ Python reference 0, [ ] ] ], [ ] ]

then Value Stack at time 36 = [ [ "ES", [ Python reference 0, [ ] ] ], [ ] ]


Do Line At Unchanged 35
if the following are true:
  • expression state at time 35 = "iterate_args"
  • the line at time 35 = 2

then the line at time 36 = 2


Do Tab At Unchanged 35
if the following are true:
  • expression state at time 35 = "iterate_args"
  • the tab at time 35 = 0

then the tab at time 36 = 0


Do Stack At Unchanged 35
if the following are true:
  • expression state at time 35 = "iterate_args"
  • stack at time 35 = [ ]

then stack at time 36 = [ ]


Do Object Store At Unchanged 35
if the following are true:
  • expression state at time 35 = "iterate_args"
  • Python Object Store at time 35 = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ]

then Python Object Store at time 36 = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ]


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

then Control Map at time 36 = [ ]


Do Variables At Unchanged 35
if the following are true:
  • expression state at time 35 = "iterate_args"
  • Variables Map at time 35 = [ entry locations: (Python reference 0), [ ] ]

then Variables Map at time 36 = [ entry locations: (Python reference 0), [ ] ]


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

then Class Map at time 36 = [ ]


Get Begin Expr State 36
if the following are true:
  • the expression at time 36 = "Spain"
  • expression state at time 36 = "begin_expr"
  • "Spain" is constant
  • parent stack at time 36 = [ __setitem__(locations, "ES", "Spain"), [ ] ]

then expression state at time 37 = "return"


Get Begin Expr Value Unchaged 36
if the following are true:
  • the expression at time 36 = "Spain"
  • expression state at time 36 = "begin_expr"
  • "Spain" is constant
  • Value Stack at time 36 = [ [ "ES", [ Python reference 0, [ ] ] ], [ ] ]

then Value Stack at time 37 = [ [ "ES", [ Python reference 0, [ ] ] ], [ ] ]


Get Begin Expr Params Unchanged36
if the following are true:
  • the expression at time 36 = "Spain"
  • expression state at time 36 = "begin_expr"
  • "Spain" is constant
  • arguments stack at time 36 = [ [ ], [ ] ]

then arguments stack at time 37 = [ [ ], [ ] ]


Get Begin Expr Return 36
if the following are true:
  • expression state at time 36 = "begin_expr"
  • the expression at time 36 = "Spain"
  • "Spain" is constant

then Return Value at time 37 = "Spain"


Get Begin Expr Const Parent 36
if the following are true:
  • expression state at time 36 = "begin_expr"
  • the expression at time 36 = "Spain"
  • "Spain" is constant
  • parent stack at time 36 = [ __setitem__(locations, "ES", "Spain"), [ ] ]

then parent stack at time 37 = [ __setitem__(locations, "ES", "Spain"), [ ] ]


Do Line At Unchanged 36
if the following are true:
  • expression state at time 36 = "begin_expr"
  • the line at time 36 = 2

then the line at time 37 = 2


Do Tab At Unchanged 36
if the following are true:
  • expression state at time 36 = "begin_expr"
  • the tab at time 36 = 0

then the tab at time 37 = 0


Do Stack At Unchanged 36
if the following are true:
  • expression state at time 36 = "begin_expr"
  • stack at time 36 = [ ]

then stack at time 37 = [ ]


Do Object Store At Unchanged 36
if the following are true:
  • expression state at time 36 = "begin_expr"
  • Python Object Store at time 36 = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ]

then Python Object Store at time 37 = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ]


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

then Control Map at time 37 = [ ]


Do Variables At Unchanged 36
if the following are true:
  • expression state at time 36 = "begin_expr"
  • Variables Map at time 36 = [ entry locations: (Python reference 0), [ ] ]

then Variables Map at time 37 = [ entry locations: (Python reference 0), [ ] ]


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

then Class Map at time 37 = [ ]


Get New State 37
if expression state at time 37 = "return", then expression state at time 38 = "iterate_args"

Get Return Value 37
if the following are true:
  • expression state at time 37 = "return"
  • Value Stack at time 37 = [ [ "ES", [ Python reference 0, [ ] ] ], [ ] ]
  • Return Value at time 37 = "Spain"

then Value Stack at time 38 = [ [ "Spain", [ "ES", [ Python reference 0, [ ] ] ] ], [ ] ]


Do Variables At Unchanged 37
if the following are true:
  • expression state at time 37 = "return"
  • Variables Map at time 37 = [ entry locations: (Python reference 0), [ ] ]

then Variables Map at time 38 = [ entry locations: (Python reference 0), [ ] ]


Do Line At Unchanged 37
if the following are true:
  • expression state at time 37 = "return"
  • the line at time 37 = 2

then the line at time 38 = 2


Do Tab At Unchanged 37
if the following are true:
  • expression state at time 37 = "return"
  • the tab at time 37 = 0

then the tab at time 38 = 0


Do Arg Stack At Unchanged 37
if the following are true:
  • expression state at time 37 = "return"
  • arguments stack at time 37 = [ [ ], [ ] ]

then arguments stack at time 38 = [ [ ], [ ] ]


Do Parent Stack At Unchanged 37
if the following are true:
  • expression state at time 37 = "return"
  • parent stack at time 37 = [ __setitem__(locations, "ES", "Spain"), [ ] ]

then parent stack at time 38 = [ __setitem__(locations, "ES", "Spain"), [ ] ]


Do Stack At Unchanged 37
if the following are true:
  • expression state at time 37 = "return"
  • stack at time 37 = [ ]

then stack at time 38 = [ ]


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

then Class Map at time 38 = [ ]


Do Object Store At Unchanged 37
if the following are true:
  • expression state at time 37 = "return"
  • Python Object Store at time 37 = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ]

then Python Object Store at time 38 = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ]


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

then Control Map at time 38 = [ ]


Get Iterate End State 38
if the following are true:
  • expression state at time 38 = "iterate_args"
  • arguments stack at time 38 = [ [ ], [ ] ]
  • parent stack at time 38 = [ __setitem__(locations, "ES", "Spain"), [ ] ]

then expression state at time 39 = "call_function_begin"


Get Iterate End Expr 38
if the following are true:
  • expression state at time 38 = "iterate_args"
  • arguments stack at time 38 = [ [ ], [ ] ]
  • parent stack at time 38 = [ __setitem__(locations, "ES", "Spain"), [ ] ]

then the expression at time 39 = __setitem__(locations, "ES", "Spain")


Get Iterate End Parent 38
if the following are true:
  • expression state at time 38 = "iterate_args"
  • arguments stack at time 38 = [ [ ], [ ] ]
  • parent stack at time 38 = [ __setitem__(locations, "ES", "Spain"), [ ] ]

then parent stack at time 39 = [ ]


Get Iterate End Params 38
if the following are true:
  • expression state at time 38 = "iterate_args"
  • arguments stack at time 38 = [ [ ], [ ] ]
  • parent stack at time 38 = [ __setitem__(locations, "ES", "Spain"), [ ] ]

then arguments stack at time 39 = [ ]


Do Value Stack At Unchanged 38
if the following are true:
  • expression state at time 38 = "iterate_args"
  • Value Stack at time 38 = [ [ "Spain", [ "ES", [ Python reference 0, [ ] ] ] ], [ ] ]

then Value Stack at time 39 = [ [ "Spain", [ "ES", [ Python reference 0, [ ] ] ] ], [ ] ]


Do Line At Unchanged 38
if the following are true:
  • expression state at time 38 = "iterate_args"
  • the line at time 38 = 2

then the line at time 39 = 2


Do Tab At Unchanged 38
if the following are true:
  • expression state at time 38 = "iterate_args"
  • the tab at time 38 = 0

then the tab at time 39 = 0


Do Stack At Unchanged 38
if the following are true:
  • expression state at time 38 = "iterate_args"
  • stack at time 38 = [ ]

then stack at time 39 = [ ]


Do Object Store At Unchanged 38
if the following are true:
  • expression state at time 38 = "iterate_args"
  • Python Object Store at time 38 = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ]

then Python Object Store at time 39 = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ]


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

then Control Map at time 39 = [ ]


Do Variables At Unchanged 38
if the following are true:
  • expression state at time 38 = "iterate_args"
  • Variables Map at time 38 = [ entry locations: (Python reference 0), [ ] ]

then Variables Map at time 39 = [ entry locations: (Python reference 0), [ ] ]


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

then Class Map at time 39 = [ ]


Do Pre Extend 39 0
reverse and insert [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] to the beginning of [ ] = [ {"ES": "Spain", "MX": "Mexico"}, [ ] ]

Do Set Elements At 39 0
result of storing {"ES": "Spain", "MX": "Mexico"} at index 0 of stack [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ] = [ {"ES": "Spain", "MX": "Mexico"}, [ ] ]

Do Element At 39 0
the element at index 0 of stack [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ] = {"ES": "Estonia", "MX": "Mexico"}

Write Element At Object Store 39
if Python Object Store at time 39 = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ], then the element at index 0 of stack (Python Object Store at time 39) = {"ES": "Estonia", "MX": "Mexico"}

Do Set Key Value 39 0
result of storing "Spain" at key: "ES" in map: [ entry "ES": "Estonia", [ entry "MX": "Mexico", [ ] ] ] = [ entry "ES": "Spain", [ entry "MX": "Mexico", [ ] ] ]

Do Set Key Value 39 1
result of storing {"ES": "Spain", "MX": "Mexico"} at key: locations in map: [ entry locations: (Python reference 0), [ ] ] = [ entry locations: {"ES": "Spain", "MX": "Mexico"}, [ ] ]

Set Dictionary Item Property Example
if the following are true:
  • expression state at time 39 = "call_function_begin"
  • Value Stack at time 39 = [ [ "Spain", [ "ES", [ Python reference 0, [ ] ] ] ], [ ] ]
  • the expression at time 39 = __setitem__(locations, "ES", "Spain")
  • Python Object Store at time 39 = [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ]
  • the element at index 0 of stack (Python Object Store at time 39) = {"ES": "Estonia", "MX": "Mexico"}

then Python Object Store at time 40 = [ {"ES": "Spain", "MX": "Mexico"}, [ ] ]


Write Call Function Begin Next State 39
if the following are true:
  • expression state at time 39 = "call_function_begin"
  • parent stack at time 39 = [ ]
  • the expression at time 39 = __setitem__(locations, "ES", "Spain")

then expression state at time 40 = "end_expr"


Write Call Function Begin Value Stack 39
if the following are true:
  • expression state at time 39 = "call_function_begin"
  • Value Stack at time 39 = [ [ "Spain", [ "ES", [ Python reference 0, [ ] ] ] ], [ ] ]
  • the expression at time 39 = __setitem__(locations, "ES", "Spain")

then Value Stack at time 40 = [ ]


Do Arg Stack At Unchanged 39
if the following are true:
  • expression state at time 39 = "call_function_begin"
  • arguments stack at time 39 = [ ]

then arguments stack at time 40 = [ ]


Do Parent Stack At Unchanged 39
if the following are true:
  • expression state at time 39 = "call_function_begin"
  • parent stack at time 39 = [ ]

then parent stack at time 40 = [ ]


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

then Control Map at time 40 = [ ]


Do Variables At Unchanged 39
if the following are true:
  • expression state at time 39 = "call_function_begin"
  • Variables Map at time 39 = [ entry locations: (Python reference 0), [ ] ]

then Variables Map at time 40 = [ entry locations: (Python reference 0), [ ] ]


Do Line At Unchanged 39
if the following are true:
  • expression state at time 39 = "call_function_begin"
  • the line at time 39 = 2

then the line at time 40 = 2


Do Tab At Unchanged 39
if the following are true:
  • expression state at time 39 = "call_function_begin"
  • the tab at time 39 = 0

then the tab at time 40 = 0


Do Stack At Unchanged 39
if the following are true:
  • expression state at time 39 = "call_function_begin"
  • stack at time 39 = [ ]

then stack at time 40 = [ ]


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

then Class Map at time 40 = [ ]


Write End to Not Expr 40
if expression state at time 40 = "end_expr", then expression state at time 41 = "not_expr"

Write Increment T And Val Line At 40
if the following are true:
  • the line at time 40 = 2
  • the tab at time 40 = 0
  • statement at line 2, tab 0 = __setitem__(locations, "ES", "Spain")
  • expression state at time 40 = "end_expr"

then the line at time 41 = 3


Write Stmt Tab At Unchanged Expr40
if the following are true:
  • the line at time 40 = 2
  • the tab at time 40 = 0
  • statement at line 2, tab 0 = __setitem__(locations, "ES", "Spain")
  • expression state at time 40 = "end_expr"

then the tab at time 41 = 0


Write Stmt Object Store At Unchanged Expr40
if the following are true:
  • the line at time 40 = 2
  • the tab at time 40 = 0
  • statement at line 2, tab 0 = __setitem__(locations, "ES", "Spain")
  • expression state at time 40 = "end_expr"
  • Python Object Store at time 40 = [ {"ES": "Spain", "MX": "Mexico"}, [ ] ]

then Python Object Store at time 41 = [ {"ES": "Spain", "MX": "Mexico"}, [ ] ]


Write Stmt Stack At Unchanged Expr40
if the following are true:
  • the line at time 40 = 2
  • the tab at time 40 = 0
  • statement at line 2, tab 0 = __setitem__(locations, "ES", "Spain")
  • expression state at time 40 = "end_expr"
  • stack at time 40 = [ ]

then stack at time 41 = [ ]


Write Stmt Variables At Unchanged Expr40
if the following are true:
  • the line at time 40 = 2
  • the tab at time 40 = 0
  • statement at line 2, tab 0 = __setitem__(locations, "ES", "Spain")
  • expression state at time 40 = "end_expr"
  • Variables Map at time 40 = [ entry locations: (Python reference 0), [ ] ]

then Variables Map at time 41 = [ entry locations: (Python reference 0), [ ] ]


Write Stmt Control Map At Unchanged 40
if the following are true:
  • the line at time 40 = 2
  • the tab at time 40 = 0
  • statement at line 2, tab 0 = __setitem__(locations, "ES", "Spain")
  • Control Map at time 40 = [ ]

then Control Map at time 41 = [ ]


Write Stmt Class Defs At Unchanged 40
if the following are true:
  • the line at time 40 = 2
  • the tab at time 40 = 0
  • statement at line 2, tab 0 = __setitem__(locations, "ES", "Spain")
  • Class Map at time 40 = [ ]

then Class Map at time 41 = [ ]


Write Set Name Expr At on State 0
if the following are true:
  • the line at time 0 = 1
  • the tab at time 0 = 0
  • statement at line 1, tab 0 = numbers = [1, 2, 3]
  • expression state at time 0 = "not_expr"

then the expression at time 1 = [1, 2, 3]


Write Set Name Expr State At on State 0
if the following are true:
  • the line at time 0 = 1
  • the tab at time 0 = 0
  • statement at line 1, tab 0 = numbers = [1, 2, 3]
  • expression state at time 0 = "not_expr"

then expression state at time 1 = "begin_expr"


Write Set Name Line At on State 0
if the following are true:
  • the line at time 0 = 1
  • the tab at time 0 = 0
  • statement at line 1, tab 0 = numbers = [1, 2, 3]
  • expression state at time 0 = "not_expr"

then the line at time 1 = 1


Write Set Name Tab At on State 0
if the following are true:
  • the line at time 0 = 1
  • the tab at time 0 = 0
  • statement at line 1, tab 0 = numbers = [1, 2, 3]
  • expression state at time 0 = "not_expr"

then the tab at time 1 = 0


Write Set Name Value Stack At on State 0
if the following are true:
  • the line at time 0 = 1
  • the tab at time 0 = 0
  • statement at line 1, tab 0 = numbers = [1, 2, 3]
  • expression state at time 0 = "not_expr"

then Value Stack at time 1 = [ ]


Write Set Name Parent Stack At on State 0
if the following are true:
  • the line at time 0 = 1
  • the tab at time 0 = 0
  • statement at line 1, tab 0 = numbers = [1, 2, 3]
  • expression state at time 0 = "not_expr"

then parent stack at time 1 = [ ]


Write Set Name Arg Stack At on State 0
if the following are true:
  • the line at time 0 = 1
  • the tab at time 0 = 0
  • statement at line 1, tab 0 = numbers = [1, 2, 3]
  • expression state at time 0 = "not_expr"

then arguments stack at time 1 = [ ]


Write Stmt Variables 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 = numbers = [1, 2, 3]
  • expression state at time 0 = "not_expr"
  • Variables Map at time 0 = [ ]

then Variables Map at time 1 = [ ]


Write Stmt Stack 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 = numbers = [1, 2, 3]
  • expression state at time 0 = "not_expr"
  • stack at time 0 = [ ]

then stack at time 1 = [ ]


Write Stmt Object Store 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 = numbers = [1, 2, 3]
  • expression state at time 0 = "not_expr"
  • Python Object Store at time 0 = [ ]

then Python Object Store at time 1 = [ ]


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 = numbers = [1, 2, 3]
  • Control Map at time 0 = [ ]

then Control Map at time 1 = [ ]


Write Stmt Class Defs 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 = numbers = [1, 2, 3]
  • Class Map at time 0 = [ ]

then Class Map at time 1 = [ ]


Get Begin Expr Value 1
if the following are true:
  • expression state at time 1 = "begin_expr"
  • the expression at time 1 = [1, 2, 3]
  • Value Stack at time 1 = [ ]

then Value Stack at time 2 = [ [ ], [ ] ]



Pages: 152 153 154 ... 193