A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | AA | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | Totals ==> | 106 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 108 | ||||||||||||
2 | Ok | ? | BP | BSI | BSQ | IF | IG | OI | WU | EU | XX | RV | Scope | Answer | Explanation | ID | Formula | Trace | Expected | ||||||||
3 | 1 | Yes | This is true as from any state we start, we eventually get Red (in State 4). | R_2PtHv3KdsGqQLoB | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||
4 | 1 | Yes | R_3079Udc3BOxNquc | G(F(r)) | {r} {} {} {r} | Yes | |||||||||||||||||||||
5 | 1 | Yes | R_2U5AqOKS1RFOYwc | G(F(r)) | {r} {} {} {r} | Yes | |||||||||||||||||||||
6 | 1 | Yes | R_2yscxjylS1SXLu5 | G(F(r)) | {r} {} {} {r} | Yes | |||||||||||||||||||||
7 | 1 | Yes | The final state has red turned on | R_oYU5yKiaqPgXzMd | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||
8 | 1 | Yes | R_5vtXYvxyZKlCUx3 | G(F(r)) | {r} {} {} {r} | Yes | |||||||||||||||||||||
9 | 1 | Yes | R_2aenS9mNn6Dk4Cz | G(F(r)) | {r} {} {} {r} | Yes | |||||||||||||||||||||
10 | 1 | Yes | In every state here, red is eventually satisfied. | R_3s0nFuWCbCk5CjP | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||
11 | 1 | Yes | Because at every step, either the Red light is currently on, or if there exists next steps, one of the future states have a Red light turned on. | R_2uWWZejY6DyOYaH | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||
12 | 1 | Yes | The red light is on in the final step, and so every step before that satisfies F(Red). | R_2WwptK2YPEgUAGJ | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||
13 | 1 | Yes | R_sLorPWGMjcKuGYx | G(F(r)) | {r} {} {} {r} | Yes | |||||||||||||||||||||
14 | 1 | Yes | just needs the last state to be red | R_2zeuLOxEmJflmcu | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||
15 | 1 | Yes | R_1rjpSmO14SmyPCQ | G(F(r)) | {r} {} {} {r} | Yes | |||||||||||||||||||||
16 | 1 | Yes | R_1FRNUwvnkvroHRF | G(F(r)) | {r} {} {} {r} | Yes | |||||||||||||||||||||
17 | 1 | Yes | R_3IXnVYuOI9QeI10 | G(F(r)) | {r} {} {} {r} | Yes | |||||||||||||||||||||
18 | 1 | Yes | R_3KGxBOYYe7aGaXI | G(F(r)) | {r} {} {} {r} | Yes | |||||||||||||||||||||
19 | 1 | Yes | R_2QS5lE5zYMCL1s7 | G(F(r)) | {r} {} {} {r} | Yes | |||||||||||||||||||||
20 | 1 | Yes | R_31j7Jp3yQbqaZqk | G(F(r)) | {r} {} {} {r} | Yes | |||||||||||||||||||||
21 | 1 | No | The formula assumes that we have Red on until there is a state with Red off. However, all states have Red on in this trace. | R_2PtHv3KdsGqQLoB | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||
22 | 1 | No | R_3079Udc3BOxNquc | r U (!r) | {r} {r} {r} | No | |||||||||||||||||||||
23 | 1 | No | R_2U5AqOKS1RFOYwc | r U (!r) | {r} {r} {r} | No | |||||||||||||||||||||
24 | 1 | No | R_2yscxjylS1SXLu5 | r U (!r) | {r} {r} {r} | No | |||||||||||||||||||||
25 | 1 | No | !Red never satisfied | R_oYU5yKiaqPgXzMd | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||
26 | 1 | No | R_5vtXYvxyZKlCUx3 | r U (!r) | {r} {r} {r} | No | |||||||||||||||||||||
27 | 1 | No | R_2aenS9mNn6Dk4Cz | r U (!r) | {r} {r} {r} | No | |||||||||||||||||||||
28 | 1 | No | !red is never satisfied. | R_3s0nFuWCbCk5CjP | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||
29 | 1 | No | The formula needs that !Red eventually holds within the finite trace, which is not true. | R_2uWWZejY6DyOYaH | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||
30 | 1 | No | (!Red) never holds as the red light is always on | R_2WwptK2YPEgUAGJ | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||
31 | 1 | No | R_sLorPWGMjcKuGYx | r U (!r) | {r} {r} {r} | No | |||||||||||||||||||||
32 | 1 | No | strong until requires a non-red state | R_2zeuLOxEmJflmcu | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||
33 | 1 | No | !Red is not satisfied in any of the circle | R_1rjpSmO14SmyPCQ | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||
34 | 1 | No | R_1FRNUwvnkvroHRF | r U (!r) | {r} {r} {r} | No | |||||||||||||||||||||
35 | 1 | No | R_3IXnVYuOI9QeI10 | r U (!r) | {r} {r} {r} | No | |||||||||||||||||||||
36 | 1 | No | R_3KGxBOYYe7aGaXI | r U (!r) | {r} {r} {r} | No | |||||||||||||||||||||
37 | 1 | Yes | R_2QS5lE5zYMCL1s7 | r U (!r) | {r} {r} {r} | No | |||||||||||||||||||||
38 | 1 | No | R_31j7Jp3yQbqaZqk | r U (!r) | {r} {r} {r} | No | |||||||||||||||||||||
39 | 1 | Yes | This is true as in state 2 X(Red) is False because no next state exists. | R_2PtHv3KdsGqQLoB | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||
40 | 1 | Yes | R_3079Udc3BOxNquc | F(!X(r)) | {r} {r} | Yes | |||||||||||||||||||||
41 | 1 | Yes | R_2U5AqOKS1RFOYwc | F(!X(r)) | {r} {r} | Yes | |||||||||||||||||||||
42 | 1 | Yes | R_2yscxjylS1SXLu5 | F(!X(r)) | {r} {r} | Yes | |||||||||||||||||||||
43 | 1 | Yes | State 2 does not satisfy X(Red), so F(!X(Red)) satisfied | R_oYU5yKiaqPgXzMd | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||
44 | 1 | Yes | R_5vtXYvxyZKlCUx3 | F(!X(r)) | {r} {r} | Yes | |||||||||||||||||||||
45 | 1 | Yes | R_2aenS9mNn6Dk4Cz | F(!X(r)) | {r} {r} | Yes | |||||||||||||||||||||
46 | 1 | Yes | In state 2, X red is not satisfied since there is no next state. Hence !X Red is satisfied in state 2. Hence, eventually !X(Red) holds. | R_3s0nFuWCbCk5CjP | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||
47 | 1 | Yes | The formula needs there to either eventually exist a state such that the next state does not have the Red light turned on, or there doesn't exist a next state, and this is true at state 2. | R_2uWWZejY6DyOYaH | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||
48 | 1 | Yes | In the second timestep, X(Red) is false as there is no next step | R_2WwptK2YPEgUAGJ | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||
49 | 1 | Yes | R_sLorPWGMjcKuGYx | F(!X(r)) | {r} {r} | Yes | |||||||||||||||||||||
50 | 1 | Yes | !X (f) is the dual of Xw(!f). since state 2 has no next state, it does not satisfy X(Red) and thus does satisfy it's negation, as required | R_2zeuLOxEmJflmcu | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||
51 | 1 | Yes | 2 statisfy !X(Red) | R_1rjpSmO14SmyPCQ | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||
52 | 1 | Yes | R_1FRNUwvnkvroHRF | F(!X(r)) | {r} {r} | Yes | |||||||||||||||||||||
53 | 1 | Yes | R_3IXnVYuOI9QeI10 | F(!X(r)) | {r} {r} | Yes | |||||||||||||||||||||
54 | 1 | Yes | R_3KGxBOYYe7aGaXI | F(!X(r)) | {r} {r} | Yes | |||||||||||||||||||||
55 | 1 | Yes | R_2QS5lE5zYMCL1s7 | F(!X(r)) | {r} {r} | Yes | |||||||||||||||||||||
56 | 1 | Yes | R_31j7Jp3yQbqaZqk | F(!X(r)) | {r} {r} | Yes | |||||||||||||||||||||
57 | 1 | No | In state 1 X(!Red) is False because state 2 has Red and in state 2 X(!Red) is False because no state follows it. | R_2PtHv3KdsGqQLoB | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||
58 | 1 | No | R_3079Udc3BOxNquc | F(X(!r)) | {r} {r} | No | |||||||||||||||||||||
59 | 1 | No | R_2U5AqOKS1RFOYwc | F(X(!r)) | {r} {r} | No | |||||||||||||||||||||
60 | 1 | No | R_2yscxjylS1SXLu5 | F(X(!r)) | {r} {r} | No | |||||||||||||||||||||
61 | 1 | No | All states satisfy Red | R_oYU5yKiaqPgXzMd | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||
62 | 1 | No | R_5vtXYvxyZKlCUx3 | F(X(!r)) | {r} {r} | No | |||||||||||||||||||||
63 | 1 | No | R_2aenS9mNn6Dk4Cz | F(X(!r)) | {r} {r} | No | |||||||||||||||||||||
64 | 1 | No | X (!Red) doesn't hold in state 1 because 2 satisfies red. \\ X (!Red) doesn't hold in state 2 since there is no next state. | R_3s0nFuWCbCk5CjP | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||
65 | 1 | No | The formula needs there to eventually exist a state such that the next state does not have the Red light turned on, which is not true. | R_2uWWZejY6DyOYaH | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||
66 | 1 | No | In the first timestep X(!Red) does not hold as the red light is on in the second timestep. In the second timestep X(!Red) does not hold as there is no next step | R_2WwptK2YPEgUAGJ | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||
67 | 1 | No | R_sLorPWGMjcKuGYx | F(X(!r)) | {r} {r} | No | |||||||||||||||||||||
68 | 1 | No | some state would need to satisfy X(!Red) which means the state needs a successor, and that successor cannot have red. The last state has no successor, so cannot satisfy | R_2zeuLOxEmJflmcu | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||
69 | 1 | No | pai, 1 does not satisfy since 2 is red, pai, 2 does not satisfy as well since there is no next state | R_1rjpSmO14SmyPCQ | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||
70 | 1 | No | R_1FRNUwvnkvroHRF | F(X(!r)) | {r} {r} | No | |||||||||||||||||||||
71 | 1 | No | R_3IXnVYuOI9QeI10 | F(X(!r)) | {r} {r} | No | |||||||||||||||||||||
72 | 1 | No | R_3KGxBOYYe7aGaXI | F(X(!r)) | {r} {r} | No | |||||||||||||||||||||
73 | weak X | 1 | Yes | R_2QS5lE5zYMCL1s7 | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||
74 | 1 | No | R_31j7Jp3yQbqaZqk | F(X(!r)) | {r} {r} | No | |||||||||||||||||||||
75 | 1 | Yes | From state 4 onwards (until state 4) we always have Red on. | R_2PtHv3KdsGqQLoB | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||
76 | 1 | Yes | R_3079Udc3BOxNquc | F(G(r)) | {} {} {} {r} | Yes | |||||||||||||||||||||
77 | 1 | Yes | R_2U5AqOKS1RFOYwc | F(G(r)) | {} {} {} {r} | Yes | |||||||||||||||||||||
78 | 1 | Yes | R_2yscxjylS1SXLu5 | F(G(r)) | {} {} {} {r} | Yes | |||||||||||||||||||||
79 | 1 | Yes | Final state is red, so state 4 satisfies G(Red) | R_oYU5yKiaqPgXzMd | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||
80 | 1 | Yes | R_5vtXYvxyZKlCUx3 | F(G(r)) | {} {} {} {r} | Yes | |||||||||||||||||||||
81 | 1 | Yes | R_2aenS9mNn6Dk4Cz | F(G(r)) | {} {} {} {r} | Yes | |||||||||||||||||||||
82 | 1 | Yes | Semantics for LTLf state that 4 satisfies G Red. | R_3s0nFuWCbCk5CjP | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||
83 | 1 | Yes | This formula is satisfied since from time step 4 onwards, the Red light is turned on. | R_2uWWZejY6DyOYaH | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||
84 | 1 | Yes | In the fourth timestep, the red light remains on for the remainder of the trace | R_2WwptK2YPEgUAGJ | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||
85 | 1 | Yes | R_sLorPWGMjcKuGYx | F(G(r)) | {} {} {} {r} | Yes | |||||||||||||||||||||
86 | 1 | Yes | Semantically identical to G(F(Red)), just needs last state Red | R_2zeuLOxEmJflmcu | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||
87 | 1 | Yes | R_1rjpSmO14SmyPCQ | F(G(r)) | {} {} {} {r} | Yes | |||||||||||||||||||||
88 | 1 | Yes | R_1FRNUwvnkvroHRF | F(G(r)) | {} {} {} {r} | Yes | |||||||||||||||||||||
89 | 1 | Yes | R_3IXnVYuOI9QeI10 | F(G(r)) | {} {} {} {r} | Yes | |||||||||||||||||||||
90 | 1 | Yes | R_3KGxBOYYe7aGaXI | F(G(r)) | {} {} {} {r} | Yes | |||||||||||||||||||||
91 | 1 | Yes | R_2QS5lE5zYMCL1s7 | F(G(r)) | {} {} {} {r} | Yes | |||||||||||||||||||||
92 | 1 | Yes | R_31j7Jp3yQbqaZqk | F(G(r)) | {} {} {} {r} | Yes | |||||||||||||||||||||
93 | 1 | Yes | In state 3 we have Red and from that point on we eventually have Blue (in state 4). | R_2PtHv3KdsGqQLoB | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||
94 | 1 | Yes | R_3079Udc3BOxNquc | F(r & F(b)) | {b} {r} {r} {b} | Yes | |||||||||||||||||||||
95 | 1 | Yes | R_2U5AqOKS1RFOYwc | F(r & F(b)) | {b} {r} {r} {b} | Yes | |||||||||||||||||||||
96 | 1 | Yes | R_2yscxjylS1SXLu5 | F(r & F(b)) | {b} {r} {r} {b} | Yes | |||||||||||||||||||||
97 | 1 | Yes | State 4 satisfies Blue, so state 2 satisfies Red & F(Blue) | R_oYU5yKiaqPgXzMd | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||
98 | 1 | Yes | R_5vtXYvxyZKlCUx3 | F(r & F(b)) | {b} {r} {r} {b} | Yes | |||||||||||||||||||||
99 | 1 | Yes | R_2aenS9mNn6Dk4Cz | F(r & F(b)) | {b} {r} {r} {b} | Yes | |||||||||||||||||||||
100 | 1 | Yes | State 2 and State 3 both satisfy Red. \\ They also both satisfy eventually Blue, since state 4 satisfies blue. \\ \\ Hence, from state 1, eventaully Red and (F Blue) hold. | R_3s0nFuWCbCk5CjP | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||
101 | 1 | Yes | The formula holds, as at the 2nd time step the Red light is turned on, and eventually the Blue light is turned on at the 4th time step. | R_2uWWZejY6DyOYaH | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||
102 | 1 | Yes | In the second timestep the red light is on and the blue light turns on later in the fourth timestep. | R_2WwptK2YPEgUAGJ | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||
103 | 1 | Yes | R_sLorPWGMjcKuGYx | F(r & F(b)) | {b} {r} {r} {b} | Yes | |||||||||||||||||||||
104 | 1 | Yes | states 2 and 3 satisfy Red & F(Blue), so state 1 Satisfies F(Red & F(Blue)) | R_2zeuLOxEmJflmcu | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||
105 | 1 | Yes | 2 statisfy Red & F(Blue) | R_1rjpSmO14SmyPCQ | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||
106 | 1 | Yes | R_1FRNUwvnkvroHRF | F(r & F(b)) | {b} {r} {r} {b} | Yes | |||||||||||||||||||||
107 | 1 | Yes | R_3IXnVYuOI9QeI10 | F(r & F(b)) | {b} {r} {r} {b} | Yes | |||||||||||||||||||||
108 | 1 | Yes | R_3KGxBOYYe7aGaXI | F(r & F(b)) | {b} {r} {r} {b} | Yes | |||||||||||||||||||||
109 | 1 | Yes | R_2QS5lE5zYMCL1s7 | F(r & F(b)) | {b} {r} {r} {b} | Yes | |||||||||||||||||||||
110 | 1 | Yes | R_31j7Jp3yQbqaZqk | F(r & F(b)) | {b} {r} {r} {b} | Yes | |||||||||||||||||||||
111 | |||||||||||||||||||||||||||
112 | |||||||||||||||||||||||||||
113 | |||||||||||||||||||||||||||
114 | |||||||||||||||||||||||||||
115 | |||||||||||||||||||||||||||
116 | |||||||||||||||||||||||||||
117 | |||||||||||||||||||||||||||
118 | |||||||||||||||||||||||||||
119 | |||||||||||||||||||||||||||
120 | |||||||||||||||||||||||||||
121 | |||||||||||||||||||||||||||
122 | |||||||||||||||||||||||||||
123 | |||||||||||||||||||||||||||
124 | |||||||||||||||||||||||||||
125 | |||||||||||||||||||||||||||
126 | |||||||||||||||||||||||||||
127 | |||||||||||||||||||||||||||
128 | |||||||||||||||||||||||||||
129 | |||||||||||||||||||||||||||
130 | |||||||||||||||||||||||||||
131 | |||||||||||||||||||||||||||
132 | |||||||||||||||||||||||||||
133 | |||||||||||||||||||||||||||
134 | |||||||||||||||||||||||||||
135 | |||||||||||||||||||||||||||
136 | |||||||||||||||||||||||||||
137 | |||||||||||||||||||||||||||
138 | |||||||||||||||||||||||||||
139 | |||||||||||||||||||||||||||
140 | |||||||||||||||||||||||||||
141 | |||||||||||||||||||||||||||
142 | |||||||||||||||||||||||||||
143 | |||||||||||||||||||||||||||
144 | |||||||||||||||||||||||||||
145 | |||||||||||||||||||||||||||
146 | |||||||||||||||||||||||||||
147 | |||||||||||||||||||||||||||
148 | |||||||||||||||||||||||||||
149 | |||||||||||||||||||||||||||
150 | |||||||||||||||||||||||||||
151 | |||||||||||||||||||||||||||
152 | |||||||||||||||||||||||||||
153 | |||||||||||||||||||||||||||
154 | |||||||||||||||||||||||||||
155 | |||||||||||||||||||||||||||
156 | |||||||||||||||||||||||||||
157 | |||||||||||||||||||||||||||
158 | |||||||||||||||||||||||||||
159 | |||||||||||||||||||||||||||
160 | |||||||||||||||||||||||||||
161 | |||||||||||||||||||||||||||
162 | |||||||||||||||||||||||||||
163 | |||||||||||||||||||||||||||
164 | |||||||||||||||||||||||||||
165 | |||||||||||||||||||||||||||
166 | |||||||||||||||||||||||||||
167 | |||||||||||||||||||||||||||
168 | |||||||||||||||||||||||||||
169 | |||||||||||||||||||||||||||
170 | |||||||||||||||||||||||||||
171 | |||||||||||||||||||||||||||
172 | |||||||||||||||||||||||||||
173 | |||||||||||||||||||||||||||
174 | |||||||||||||||||||||||||||
175 | |||||||||||||||||||||||||||
176 | |||||||||||||||||||||||||||
177 | |||||||||||||||||||||||||||
178 | |||||||||||||||||||||||||||
179 | |||||||||||||||||||||||||||
180 | |||||||||||||||||||||||||||
181 | |||||||||||||||||||||||||||
182 | |||||||||||||||||||||||||||
183 | |||||||||||||||||||||||||||
184 | |||||||||||||||||||||||||||
185 | |||||||||||||||||||||||||||
186 | |||||||||||||||||||||||||||
187 | |||||||||||||||||||||||||||
188 | |||||||||||||||||||||||||||
189 | |||||||||||||||||||||||||||
190 | |||||||||||||||||||||||||||
191 | |||||||||||||||||||||||||||
192 | |||||||||||||||||||||||||||
193 | |||||||||||||||||||||||||||
194 | |||||||||||||||||||||||||||
195 | |||||||||||||||||||||||||||
196 | |||||||||||||||||||||||||||
197 | |||||||||||||||||||||||||||
198 | |||||||||||||||||||||||||||
199 | |||||||||||||||||||||||||||
200 | |||||||||||||||||||||||||||
201 | |||||||||||||||||||||||||||
202 | |||||||||||||||||||||||||||
203 | |||||||||||||||||||||||||||
204 | |||||||||||||||||||||||||||
205 | |||||||||||||||||||||||||||
206 | |||||||||||||||||||||||||||
207 | |||||||||||||||||||||||||||
208 | |||||||||||||||||||||||||||
209 | |||||||||||||||||||||||||||
210 | |||||||||||||||||||||||||||
211 | |||||||||||||||||||||||||||
212 | |||||||||||||||||||||||||||
213 | |||||||||||||||||||||||||||
214 | |||||||||||||||||||||||||||
215 | |||||||||||||||||||||||||||
216 | |||||||||||||||||||||||||||
217 | |||||||||||||||||||||||||||
218 | |||||||||||||||||||||||||||
219 | |||||||||||||||||||||||||||
220 | |||||||||||||||||||||||||||
221 | |||||||||||||||||||||||||||
222 | |||||||||||||||||||||||||||
223 | |||||||||||||||||||||||||||
224 | |||||||||||||||||||||||||||
225 | |||||||||||||||||||||||||||
226 | |||||||||||||||||||||||||||
227 | |||||||||||||||||||||||||||
228 | |||||||||||||||||||||||||||
229 | |||||||||||||||||||||||||||
230 | |||||||||||||||||||||||||||
231 | |||||||||||||||||||||||||||
232 | |||||||||||||||||||||||||||
233 | |||||||||||||||||||||||||||
234 | |||||||||||||||||||||||||||
235 | |||||||||||||||||||||||||||
236 | |||||||||||||||||||||||||||
237 | |||||||||||||||||||||||||||
238 | |||||||||||||||||||||||||||
239 | |||||||||||||||||||||||||||
240 | |||||||||||||||||||||||||||
241 | |||||||||||||||||||||||||||
242 | |||||||||||||||||||||||||||
243 | |||||||||||||||||||||||||||
244 | |||||||||||||||||||||||||||
245 | |||||||||||||||||||||||||||
246 | |||||||||||||||||||||||||||
247 | |||||||||||||||||||||||||||
248 | |||||||||||||||||||||||||||
249 | |||||||||||||||||||||||||||
250 | |||||||||||||||||||||||||||
251 | |||||||||||||||||||||||||||
252 | |||||||||||||||||||||||||||
253 | |||||||||||||||||||||||||||
254 | |||||||||||||||||||||||||||
255 | |||||||||||||||||||||||||||
256 | |||||||||||||||||||||||||||
257 | |||||||||||||||||||||||||||
258 | |||||||||||||||||||||||||||
259 | |||||||||||||||||||||||||||
260 | |||||||||||||||||||||||||||
261 | |||||||||||||||||||||||||||
262 | |||||||||||||||||||||||||||
263 | |||||||||||||||||||||||||||
264 | |||||||||||||||||||||||||||
265 | |||||||||||||||||||||||||||
266 | |||||||||||||||||||||||||||
267 | |||||||||||||||||||||||||||
268 | |||||||||||||||||||||||||||
269 | |||||||||||||||||||||||||||
270 | |||||||||||||||||||||||||||
271 | |||||||||||||||||||||||||||
272 | |||||||||||||||||||||||||||
273 | |||||||||||||||||||||||||||
274 | |||||||||||||||||||||||||||
275 | |||||||||||||||||||||||||||
276 | |||||||||||||||||||||||||||
277 | |||||||||||||||||||||||||||
278 | |||||||||||||||||||||||||||
279 | |||||||||||||||||||||||||||
280 | |||||||||||||||||||||||||||
281 |