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 | AB | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | Totals ==> | 66 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 1 | 0 | 3 | 0 | 0 | 72 | ||||||||||||
2 | Ok | ? | BP | BSI | BSQ | IF | IG | OI | WU | EU | XX | Len | RV | Scope | Answer | Explanation | ID | Formula | Trace | Expected | ||||||||
3 | R_3MS5InthwHWtaZT | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||||
4 | 1 | Yes | equivalent to last(red) | R_3G88D8gpZ7v63nz | G(F(r)) | {r} {} {} {r} | Yes | |||||||||||||||||||||
5 | 1 | Yes | R_3Dw4BW8x0ynmmQm | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||
6 | 1 | Yes | R_DSlVV5XN50E2Mzn | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||
7 | 1 | Yes | R_WByy6AuVYHXV65H | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||
8 | 1 | Yes | R_vvG6iiXnXM4vZJv | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||
9 | R_9Td5mdNtgffkvJL | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||||
10 | 1 | Yes | R_9ukqO8kCEIR4pLb | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||
11 | R_2saTh9ICAgM0BHV | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||||
12 | 1 | Yes | R_3J3NZWyA2hcl5by | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||
13 | 1 | Yes | R_1mfLnqhYsR97vhv | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||
14 | 1 | Yes | The last state must always contain red, which is the case in the trace | R_VHZdlnCi0wPqPGF | G(F(r)) | {r} {} {} {r} | Yes | |||||||||||||||||||||
15 | 1 | Yes | R_0ize6N4UFi1irrb | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||
16 | R_3kpTXi28NBbr8mO | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||||
17 | R_3Rt21EZCScgM3oC | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||||
18 | R_enENzp0guuxVGwh | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||||
19 | R_1g8tSbzTTgxijrd | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||||
20 | R_3M5V4sL4b6COyD2 | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||||
21 | 1 | Yes | R_23fQaq1kM65aSP7 | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||
22 | R_1QFcce33iJrOdLO | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||||
23 | 1 | Yes | R_2EnQzWu9HQsIjn8 | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||
24 | 1 | Yes | It is required that, for each step, at a certain point Red holds. This is trivially true since Red is true in the end. | R_R9tc8AnNRKwPdkd | G(F(r)) | {r} {} {} {r} | Yes | |||||||||||||||||||||
25 | 1 | Yes | there is always a red state in the future | R_2QPzqLc2iRGU0Jd | G(F(r)) | {r} {} {} {r} | Yes | |||||||||||||||||||||
26 | 1 | Yes | R_3EO18al85qREqgF | G(F(r)) | {r} {} {} {r} | Yes | ||||||||||||||||||||||
27 | R_3MS5InthwHWtaZT | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||||
28 | 1 | No | R_3G88D8gpZ7v63nz | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||
29 | 1 | No | Red Must go off | R_3Dw4BW8x0ynmmQm | r U (!r) | {r} {r} {r} | No | |||||||||||||||||||||
30 | R_DSlVV5XN50E2Mzn | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||||
31 | 1 | No | R_WByy6AuVYHXV65H | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||
32 | R_vvG6iiXnXM4vZJv | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||||
33 | R_9Td5mdNtgffkvJL | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||||
34 | 1 | No | R_9ukqO8kCEIR4pLb | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||
35 | R_2saTh9ICAgM0BHV | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||||
36 | R_3J3NZWyA2hcl5by | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||||
37 | 1 | Yes | R_1mfLnqhYsR97vhv | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||
38 | R_VHZdlnCi0wPqPGF | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||||
39 | R_0ize6N4UFi1irrb | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||||
40 | R_3kpTXi28NBbr8mO | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||||
41 | R_3Rt21EZCScgM3oC | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||||
42 | R_enENzp0guuxVGwh | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||||
43 | 1 | No | R_1g8tSbzTTgxijrd | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||
44 | 1 | No | R_3M5V4sL4b6COyD2 | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||
45 | R_23fQaq1kM65aSP7 | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||||
46 | 1 | Yes | R_1QFcce33iJrOdLO | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||
47 | R_2EnQzWu9HQsIjn8 | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||||
48 | wrong explanation | 1 | No | This should not be satisfied because it is required in at least one step that Red and !Red are true at the same time. | R_R9tc8AnNRKwPdkd | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||
49 | 1 | No | red until the end | R_2QPzqLc2iRGU0Jd | r U (!r) | {r} {r} {r} | No | |||||||||||||||||||||
50 | 1 | No | R_3EO18al85qREqgF | r U (!r) | {r} {r} {r} | No | ||||||||||||||||||||||
51 | R_3MS5InthwHWtaZT | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||||
52 | R_3G88D8gpZ7v63nz | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||||
53 | R_3Dw4BW8x0ynmmQm | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||||
54 | R_DSlVV5XN50E2Mzn | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||||
55 | R_WByy6AuVYHXV65H | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||||
56 | 1 | Yes | R_vvG6iiXnXM4vZJv | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||
57 | 1 | Yes | R_9Td5mdNtgffkvJL | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||
58 | R_9ukqO8kCEIR4pLb | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||||
59 | 1 | Yes | R_2saTh9ICAgM0BHV | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||
60 | Mlast | 1 | No | R_3J3NZWyA2hcl5by | F(!X(r)) | {r} {r} | Yes | |||||||||||||||||||||
61 | R_1mfLnqhYsR97vhv | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||||
62 | R_VHZdlnCi0wPqPGF | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||||
63 | Mlast | 1 | No | R_0ize6N4UFi1irrb | F(!X(r)) | {r} {r} | Yes | |||||||||||||||||||||
64 | 1 | Yes | R_3kpTXi28NBbr8mO | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||
65 | R_3Rt21EZCScgM3oC | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||||
66 | 1 | Yes | R_enENzp0guuxVGwh | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||
67 | R_1g8tSbzTTgxijrd | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||||
68 | R_3M5V4sL4b6COyD2 | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||||
69 | R_23fQaq1kM65aSP7 | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||||
70 | R_1QFcce33iJrOdLO | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||||
71 | R_2EnQzWu9HQsIjn8 | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||||
72 | R_R9tc8AnNRKwPdkd | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||||
73 | Mlast | 1 | No | !red does never happen | R_2QPzqLc2iRGU0Jd | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||
74 | R_3EO18al85qREqgF | F(!X(r)) | {r} {r} | Yes | ||||||||||||||||||||||||
75 | 1 | No | R_3MS5InthwHWtaZT | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||
76 | 1 | No | The eventuallity is not true in the first state (because R holds in the next), and it is not true in the second (i.e., last) state because it is a strong next. | R_3G88D8gpZ7v63nz | F(X(!r)) | {r} {r} | No | |||||||||||||||||||||
77 | 1 | No | R_3Dw4BW8x0ynmmQm | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||
78 | 1 | No | R_DSlVV5XN50E2Mzn | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||
79 | R_WByy6AuVYHXV65H | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||||
80 | R_vvG6iiXnXM4vZJv | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||||
81 | 1 | No | R_9Td5mdNtgffkvJL | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||
82 | R_9ukqO8kCEIR4pLb | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||||
83 | R_2saTh9ICAgM0BHV | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||||
84 | R_3J3NZWyA2hcl5by | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||||
85 | 1 | No | R_1mfLnqhYsR97vhv | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||
86 | 1 | No | A state, after the first one, must exist without a red light, which is not the case | R_VHZdlnCi0wPqPGF | F(X(!r)) | {r} {r} | No | |||||||||||||||||||||
87 | R_0ize6N4UFi1irrb | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||||
88 | R_3kpTXi28NBbr8mO | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||||
89 | 1 | No | R_3Rt21EZCScgM3oC | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||
90 | 1 | No | R_enENzp0guuxVGwh | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||
91 | R_1g8tSbzTTgxijrd | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||||
92 | R_3M5V4sL4b6COyD2 | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||||
93 | R_23fQaq1kM65aSP7 | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||||
94 | 1 | No | R_1QFcce33iJrOdLO | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||
95 | 1 | No | R_2EnQzWu9HQsIjn8 | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||
96 | R_R9tc8AnNRKwPdkd | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||||
97 | R_2QPzqLc2iRGU0Jd | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||||
98 | R_3EO18al85qREqgF | F(X(!r)) | {r} {r} | No | ||||||||||||||||||||||||
99 | 1 | Yes | R_3MS5InthwHWtaZT | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||
100 | R_3G88D8gpZ7v63nz | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||||
101 | R_3Dw4BW8x0ynmmQm | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||||
102 | R_DSlVV5XN50E2Mzn | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||||
103 | R_WByy6AuVYHXV65H | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||||
104 | 1 | Yes | R_vvG6iiXnXM4vZJv | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||
105 | R_9Td5mdNtgffkvJL | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||||
106 | 1 | Yes | R_9ukqO8kCEIR4pLb | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||
107 | 1 | Yes | R_2saTh9ICAgM0BHV | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||
108 | R_3J3NZWyA2hcl5by | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||||
109 | R_1mfLnqhYsR97vhv | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||||
110 | 1 | Yes | The last state must have a red light on, which is the case here | R_VHZdlnCi0wPqPGF | F(G(r)) | {} {} {} {r} | Yes | |||||||||||||||||||||
111 | 1 | Yes | R_0ize6N4UFi1irrb | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||
112 | 1 | Yes | R_3kpTXi28NBbr8mO | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||
113 | 1 | Yes | R_3Rt21EZCScgM3oC | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||
114 | 1 | Yes | R_enENzp0guuxVGwh | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||
115 | 1 | Yes | R_1g8tSbzTTgxijrd | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||
116 | 1 | Yes | R_3M5V4sL4b6COyD2 | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||
117 | 1 | Yes | R_23fQaq1kM65aSP7 | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||
118 | 1 | Yes | R_1QFcce33iJrOdLO | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||
119 | R_2EnQzWu9HQsIjn8 | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||||
120 | R_R9tc8AnNRKwPdkd | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||||
121 | R_2QPzqLc2iRGU0Jd | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||||
122 | 1 | Yes | R_3EO18al85qREqgF | F(G(r)) | {} {} {} {r} | Yes | ||||||||||||||||||||||
123 | 1 | Yes | R_3MS5InthwHWtaZT | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||
124 | R_3G88D8gpZ7v63nz | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||||
125 | R_3Dw4BW8x0ynmmQm | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||||
126 | 1 | Yes | R_DSlVV5XN50E2Mzn | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||
127 | 1 | Yes | R_WByy6AuVYHXV65H | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||
128 | R_vvG6iiXnXM4vZJv | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||||
129 | 1 | Yes | R_9Td5mdNtgffkvJL | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||
130 | R_9ukqO8kCEIR4pLb | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||||
131 | 1 | Yes | R_2saTh9ICAgM0BHV | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||
132 | 1 | Yes | R_3J3NZWyA2hcl5by | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||
133 | R_1mfLnqhYsR97vhv | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||||
134 | R_VHZdlnCi0wPqPGF | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||||
135 | R_0ize6N4UFi1irrb | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||||
136 | 1 | Yes | R_3kpTXi28NBbr8mO | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||
137 | 1 | Yes | R_3Rt21EZCScgM3oC | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||
138 | R_enENzp0guuxVGwh | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||||
139 | 1 | Yes | R_1g8tSbzTTgxijrd | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||
140 | 1 | Yes | R_3M5V4sL4b6COyD2 | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||
141 | 1 | Yes | R_23fQaq1kM65aSP7 | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||
142 | R_1QFcce33iJrOdLO | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||||
143 | 1 | Yes | R_2EnQzWu9HQsIjn8 | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||
144 | 1 | Yes | At step 3 we have Red and at step 4 we have Blue, as requested from the formula in parenthesis. This happens at step 3, so eventually. | R_R9tc8AnNRKwPdkd | F(r & F(b)) | {b} {r} {r} {b} | Yes | |||||||||||||||||||||
145 | R_2QPzqLc2iRGU0Jd | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||||
146 | R_3EO18al85qREqgF | F(r & F(b)) | {b} {r} {r} {b} | Yes | ||||||||||||||||||||||||
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 |