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 | AC | AD | AE | AF | AG | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | Totals ==> | 56 | 16 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 72 | <= total answers | |||||||||||
2 | Ok | ? | BP | BSI | BSQ | EU | IF | IG | OI | WU | WF | WX | SG | SXw | XX | RV | Len | Inf | Scope | Answer | Explanation | ID | Formula | Trace | Expected | ||||||||
3 | R_3MS5InthwHWtaZT | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||||
4 | R_3G88D8gpZ7v63nz | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||||
5 | 1 | Trace too short, the formula accepts no traces of its length. | R_3Dw4BW8x0ynmmQm | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||
6 | 1 | Trace too short, the formula accepts no traces of its length. | R_DSlVV5XN50E2Mzn | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||
7 | 1 | Trace too short, the formula accepts no traces of its length. | R_WByy6AuVYHXV65H | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||
8 | R_vvG6iiXnXM4vZJv | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||||
9 | R_9Td5mdNtgffkvJL | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||||
10 | R_9ukqO8kCEIR4pLb | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||||
11 | 1 | Trace too short, the formula accepts no traces of its length. | R_2saTh9ICAgM0BHV | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||
12 | R_3J3NZWyA2hcl5by | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||||
13 | R_1mfLnqhYsR97vhv | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||||
14 | 1 | Trace too short, the formula accepts no traces of its length. | needs at least length 2 because of the X | R_VHZdlnCi0wPqPGF | X(G(r)) | {r}* | too short | ||||||||||||||||||||||||||
15 | R_0ize6N4UFi1irrb | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||||
16 | 1 | Trace too short, the formula accepts no traces of its length. | R_3kpTXi28NBbr8mO | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||
17 | 1 | Trace too short, the formula accepts no traces of its length. | R_3Rt21EZCScgM3oC | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||
18 | 1 | Trace too short, the formula accepts no traces of its length. | R_enENzp0guuxVGwh | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||
19 | 1 | Trace too short, the formula accepts no traces of its length. | R_1g8tSbzTTgxijrd | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||
20 | 1 | Trace too short, the formula accepts no traces of its length. | R_3M5V4sL4b6COyD2 | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||
21 | R_23fQaq1kM65aSP7 | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||||
22 | 1 | Trace too short, the formula accepts no traces of its length. | R_1QFcce33iJrOdLO | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||
23 | R_2EnQzWu9HQsIjn8 | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||||
24 | 1 | Trace too short, the formula accepts no traces of its length. | There's no next state here. | R_R9tc8AnNRKwPdkd | X(G(r)) | {r}* | too short | ||||||||||||||||||||||||||
25 | R_2QPzqLc2iRGU0Jd | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||||
26 | R_3EO18al85qREqgF | X(G(r)) | {r}* | too short | |||||||||||||||||||||||||||||
27 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_3MS5InthwHWtaZT | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||
28 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_3G88D8gpZ7v63nz | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||
29 | R_3Dw4BW8x0ynmmQm | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||||
30 | R_DSlVV5XN50E2Mzn | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||||
31 | R_WByy6AuVYHXV65H | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||||
32 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_vvG6iiXnXM4vZJv | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||
33 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_9Td5mdNtgffkvJL | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||
34 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_9ukqO8kCEIR4pLb | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||
35 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_2saTh9ICAgM0BHV | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||
36 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_3J3NZWyA2hcl5by | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||
37 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_1mfLnqhYsR97vhv | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||
38 | 1 | Trace content mismatch, wrong lights on/off in some state. | The eventually is not satisfied. A blue light in state 3 would make it work | R_VHZdlnCi0wPqPGF | r U (!r & F(b)) | {r} {r} {} | mismatch | ||||||||||||||||||||||||||
39 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_0ize6N4UFi1irrb | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||
40 | R_3kpTXi28NBbr8mO | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||||
41 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_3Rt21EZCScgM3oC | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||
42 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_enENzp0guuxVGwh | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||
43 | R_1g8tSbzTTgxijrd | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||||
44 | R_3M5V4sL4b6COyD2 | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||||
45 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_23fQaq1kM65aSP7 | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||
46 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_1QFcce33iJrOdLO | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||
47 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_2EnQzWu9HQsIjn8 | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||
48 | R_R9tc8AnNRKwPdkd | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||||
49 | 1 | Trace content mismatch, wrong lights on/off in some state. | it is never blue | R_2QPzqLc2iRGU0Jd | r U (!r & F(b)) | {r} {r} {} | mismatch | ||||||||||||||||||||||||||
50 | R_3EO18al85qREqgF | r U (!r & F(b)) | {r} {r} {} | mismatch | |||||||||||||||||||||||||||||
51 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_3MS5InthwHWtaZT | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||
52 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_3G88D8gpZ7v63nz | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||
53 | R_3Dw4BW8x0ynmmQm | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||||
54 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_DSlVV5XN50E2Mzn | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||
55 | R_WByy6AuVYHXV65H | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||||
56 | R_vvG6iiXnXM4vZJv | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||||
57 | R_9Td5mdNtgffkvJL | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||||
58 | 1 | Trace too long, the formula accepts no traces of its length. | It could also be considered a trace content mismatch, but no trace with more than two time steps can have red always true yet not true at time 3. | R_9ukqO8kCEIR4pLb | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | ||||||||||||||||||||||||||
59 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_2saTh9ICAgM0BHV | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||
60 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_3J3NZWyA2hcl5by | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||
61 | R_1mfLnqhYsR97vhv | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||||
62 | R_VHZdlnCi0wPqPGF | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||||
63 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_0ize6N4UFi1irrb | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||
64 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_3kpTXi28NBbr8mO | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||
65 | R_3Rt21EZCScgM3oC | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||||
66 | 1 | Trace too long, the formula accepts no traces of its length. | R_enENzp0guuxVGwh | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||
67 | 1 | Trace too long, the formula accepts no traces of its length. | R_1g8tSbzTTgxijrd | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||
68 | R_3M5V4sL4b6COyD2 | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||||
69 | 1 | Other (explain below) | The formula requires the next state to be both Red and not Red at some point | R_23fQaq1kM65aSP7 | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | ||||||||||||||||||||||||||
70 | R_1QFcce33iJrOdLO | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||||
71 | 1 | Other (explain below) | R_2EnQzWu9HQsIjn8 | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||
72 | R_R9tc8AnNRKwPdkd | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||||
73 | R_2QPzqLc2iRGU0Jd | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||||
74 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_3EO18al85qREqgF | G(r) & Xw(Xw(!r)) | {r} {r} {r} | too long | |||||||||||||||||||||||||||
75 | R_3MS5InthwHWtaZT | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||||
76 | R_3G88D8gpZ7v63nz | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||||
77 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_3Dw4BW8x0ynmmQm | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||
78 | R_DSlVV5XN50E2Mzn | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||||
79 | 1 | Other (explain below) | There is a trace content mismatch, but one could also say that the trace is too short: it could be extended to a trace that satisfies the property | R_WByy6AuVYHXV65H | F(G(!r)) | {g} {r} | mismatch | ||||||||||||||||||||||||||
80 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_vvG6iiXnXM4vZJv | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||
81 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_9Td5mdNtgffkvJL | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||
82 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_9ukqO8kCEIR4pLb | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||
83 | R_2saTh9ICAgM0BHV | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||||
84 | R_3J3NZWyA2hcl5by | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||||
85 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_1mfLnqhYsR97vhv | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||
86 | 1 | Trace content mismatch, wrong lights on/off in some state. | Last state of the trace must always have not red | R_VHZdlnCi0wPqPGF | F(G(!r)) | {g} {r} | mismatch | ||||||||||||||||||||||||||
87 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_0ize6N4UFi1irrb | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||
88 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_3kpTXi28NBbr8mO | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||
89 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_3Rt21EZCScgM3oC | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||
90 | R_enENzp0guuxVGwh | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||||
91 | R_1g8tSbzTTgxijrd | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||||
92 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_3M5V4sL4b6COyD2 | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||
93 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_23fQaq1kM65aSP7 | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||
94 | R_1QFcce33iJrOdLO | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||||
95 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_2EnQzWu9HQsIjn8 | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||
96 | 1 | Trace content mismatch, wrong lights on/off in some state. | At a certain point, there must not be any Red, but there is actually. | R_R9tc8AnNRKwPdkd | F(G(!r)) | {g} {r} | mismatch | ||||||||||||||||||||||||||
97 | 1 | Trace content mismatch, wrong lights on/off in some state. | eventually always not red, but it is red on the second state | R_2QPzqLc2iRGU0Jd | F(G(!r)) | {g} {r} | mismatch | ||||||||||||||||||||||||||
98 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_3EO18al85qREqgF | F(G(!r)) | {g} {r} | mismatch | |||||||||||||||||||||||||||
99 | 1 | Only an infinite trace can satisfy this formula | assuming X is strong next | R_3MS5InthwHWtaZT | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | ||||||||||||||||||||||||||
100 | 1 | Trace too short, the formula accepts no traces of its length. | R_3G88D8gpZ7v63nz | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||
101 | 1 | Trace too short, the formula accepts no traces of its length. | would be acceptable with weak next | R_3Dw4BW8x0ynmmQm | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | ||||||||||||||||||||||||||
102 | 1 | Other (explain below) | Need longer tail after last Red | R_DSlVV5XN50E2Mzn | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | ||||||||||||||||||||||||||
103 | 1 | Only an infinite trace can satisfy this formula | R_WByy6AuVYHXV65H | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||
104 | 1 | Only an infinite trace can satisfy this formula | R_vvG6iiXnXM4vZJv | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||
105 | 1 | Only an infinite trace can satisfy this formula | R_9Td5mdNtgffkvJL | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||
106 | R_9ukqO8kCEIR4pLb | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||||
107 | R_2saTh9ICAgM0BHV | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||||
108 | 1 | Only an infinite trace can satisfy this formula | R_3J3NZWyA2hcl5by | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||
109 | 1 | Only an infinite trace can satisfy this formula | R_1mfLnqhYsR97vhv | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||
110 | R_VHZdlnCi0wPqPGF | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||||
111 | R_0ize6N4UFi1irrb | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||||
112 | R_3kpTXi28NBbr8mO | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||||
113 | R_3Rt21EZCScgM3oC | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||||
114 | R_enENzp0guuxVGwh | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||||
115 | 1 | Only an infinite trace can satisfy this formula | R_1g8tSbzTTgxijrd | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||
116 | 1 | Only an infinite trace can satisfy this formula | R_3M5V4sL4b6COyD2 | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||
117 | R_23fQaq1kM65aSP7 | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||||
118 | 1 | Trace content mismatch, wrong lights on/off in some state. | R_1QFcce33iJrOdLO | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||
119 | R_2EnQzWu9HQsIjn8 | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||||
120 | 1 | Only an infinite trace can satisfy this formula | It's true that when Red is true three states after Red is true again, but the trace is limited so it does not hold for the last case. | R_R9tc8AnNRKwPdkd | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | ||||||||||||||||||||||||||
121 | yes | 1 | Other (explain below) | red in the first place ok. 3 states after each red state is red too. I don't see the error | R_2QPzqLc2iRGU0Jd | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||
122 | 1 | Only an infinite trace can satisfy this formula | R_3EO18al85qREqgF | r & G(r => X(X(X(r)))) | {r} {} {} {r} {} {} {r} | inf only | |||||||||||||||||||||||||||
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 |