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 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | Totals ==> | 112 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 2 | 1 | 0 | 0 | 0 | ||||||||||||
2 | Ok | ? | BP | BSI | BSQ | IF | IG | OI | WU | EU | XX | RV | P | Answer | ID | Research Area | Formula | Trace | Expected | |||||||
3 | PAjB | Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||||
4 | 1 | No | 33rP | Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||
5 | 2X0W | AI / Machine Learning,Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||||
6 | 1 | No | 1fjt | Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||
7 | 1 | No | 3gUF | Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||
8 | 1 | No | 2uPa | Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||
9 | 3lxE | AI / Machine Learning,Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||||
10 | 1 | No | 23Ug | Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||
11 | 1 | No | 1ieN | AI / Machine Learning,Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||
12 | 1 | No | 2wzv | AI / Machine Learning | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||
13 | 2X5r | Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||||
14 | 2aKK | AI / Machine Learning,Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||||
15 | 1 | No | 3s5o | AI / Machine Learning,Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||
16 | 1 | No | 0JNJ | Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||
17 | 3oOb | AI / Machine Learning | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||||
18 | 1 | No | 8ivB | Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||
19 | 3iHX | AI / Machine Learning | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||||
20 | C1hP | Robotics,AI / Machine Learning | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||||
21 | 1hyz | AI / Machine Learning,Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||||
22 | 2DV1 | Formal methods / verification,Other (please explain),HCI | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||||
23 | 3MlO | Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||||
24 | 1Csx | AI / Machine Learning | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||||
25 | 1 | No | 1DZ0 | Robotics,AI / Machine Learning | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||
26 | 1 | No | 1LMN | Robotics,Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||
27 | 1 | No | 21BM | Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||
28 | 1 | No | 2B2H | Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||
29 | 1 | No | 1g60 | AI / Machine Learning,Formal methods / verification | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||
30 | 1 | No | rdvN | Formal methods / verification,Other (please explain),Programming languages / software engineering | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||
31 | 1 | No | BFEG | AI / Machine Learning | Red | {GB} {RGB} {RGB} {RGB} {RGB} | No | |||||||||||||||||||
32 | PAjB | Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||||
33 | 33rP | Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||||
34 | 1 | Yes | 2X0W | AI / Machine Learning,Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||
35 | 1fjt | Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||||
36 | 3gUF | Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||||
37 | 1 | Yes | 2uPa | Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||
38 | 3lxE | AI / Machine Learning,Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||||
39 | 1 | Yes | 23Ug | Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||
40 | 1 | Yes | 1ieN | AI / Machine Learning,Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||
41 | 2wzv | AI / Machine Learning | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||||
42 | 2X5r | Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||||
43 | 1 | Yes | 2aKK | AI / Machine Learning,Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||
44 | 1 | Yes | 3s5o | AI / Machine Learning,Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||
45 | 0JNJ | Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||||
46 | 1 | Yes | 3oOb | AI / Machine Learning | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||
47 | 8ivB | Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||||
48 | 3iHX | AI / Machine Learning | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||||
49 | 1 | Yes | C1hP | Robotics,AI / Machine Learning | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||
50 | 1 | Yes | 1hyz | AI / Machine Learning,Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||
51 | 2DV1 | Formal methods / verification,Other (please explain),HCI | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||||
52 | 3MlO | Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||||
53 | 1 | No | 1Csx | AI / Machine Learning | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||
54 | 1 | Yes | 1DZ0 | Robotics,AI / Machine Learning | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||
55 | 1LMN | Robotics,Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||||
56 | 21BM | Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||||
57 | 1 | Yes | 2B2H | Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||
58 | 1g60 | AI / Machine Learning,Formal methods / verification | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||||
59 | 1 | Yes | rdvN | Formal methods / verification,Other (please explain),Programming languages / software engineering | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||
60 | BFEG | AI / Machine Learning | always { Red implies after { after { after { Red } } } } | {} {RGB} {RGB} {} {RGB} | Yes | |||||||||||||||||||||
61 | 1 | Yes | PAjB | Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||
62 | 1 | Yes | 33rP | Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||
63 | 2X0W | AI / Machine Learning,Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||||
64 | 1 | Yes | 1fjt | Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||
65 | 1 | Yes | 3gUF | Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||
66 | 1 | Yes | 2uPa | Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||
67 | 1 | Yes | 3lxE | AI / Machine Learning,Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||
68 | 23Ug | Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||||
69 | 1ieN | AI / Machine Learning,Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||||
70 | 1 | No | 2wzv | AI / Machine Learning | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||
71 | 2X5r | Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||||
72 | 2aKK | AI / Machine Learning,Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||||
73 | 3s5o | AI / Machine Learning,Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||||
74 | 1 | Yes | 0JNJ | Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||
75 | 1 | Yes | 3oOb | AI / Machine Learning | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||
76 | 8ivB | Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||||
77 | 1 | Yes | 3iHX | AI / Machine Learning | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||
78 | C1hP | Robotics,AI / Machine Learning | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||||
79 | 1 | Yes | 1hyz | AI / Machine Learning,Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||
80 | 2DV1 | Formal methods / verification,Other (please explain),HCI | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||||
81 | 1 | Yes | 3MlO | Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||
82 | 1 | Yes | 1Csx | AI / Machine Learning | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||
83 | 1DZ0 | Robotics,AI / Machine Learning | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||||
84 | 1 | Yes | 1LMN | Robotics,Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||
85 | 21BM | Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||||
86 | 2B2H | Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||||
87 | 1 | Yes | 1g60 | AI / Machine Learning,Formal methods / verification | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||
88 | rdvN | Formal methods / verification,Other (please explain),Programming languages / software engineering | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||||
89 | BFEG | AI / Machine Learning | after { Red } until after { Green } | {RB} {RB} {RB} {RGB} {B} | Yes | |||||||||||||||||||||
90 | PAjB | Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||||
91 | 33rP | Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||||
92 | 2X0W | AI / Machine Learning,Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||||
93 | 1 | Yes | 1fjt | Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||
94 | 1 | Yes | 3gUF | Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||
95 | 2uPa | Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||||
96 | 3lxE | AI / Machine Learning,Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||||
97 | 23Ug | Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||||
98 | 1ieN | AI / Machine Learning,Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||||
99 | 2wzv | AI / Machine Learning | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||||
100 | 1 | Yes | 2X5r | Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||
101 | 2aKK | AI / Machine Learning,Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||||
102 | 3s5o | AI / Machine Learning,Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||||
103 | 1 | Yes | 0JNJ | Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||
104 | 1 | Yes | 3oOb | AI / Machine Learning | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||
105 | 1 | Yes | 8ivB | Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||
106 | 3iHX | AI / Machine Learning | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||||
107 | 1 | Yes | C1hP | Robotics,AI / Machine Learning | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||
108 | 1hyz | AI / Machine Learning,Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||||
109 | 1 | Yes | 2DV1 | Formal methods / verification,Other (please explain),HCI | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||
110 | 1 | Yes | 3MlO | Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||
111 | 1Csx | AI / Machine Learning | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||||
112 | 1DZ0 | Robotics,AI / Machine Learning | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||||
113 | 1LMN | Robotics,Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||||
114 | 1 | Yes | 21BM | Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||
115 | 1 | Yes | 2B2H | Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||
116 | 1 | Yes | 1g60 | AI / Machine Learning,Formal methods / verification | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||
117 | rdvN | Formal methods / verification,Other (please explain),Programming languages / software engineering | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||||
118 | BFEG | AI / Machine Learning | eventually { Red } and eventually { Green } | {} {G} {} {} {R} | Yes | |||||||||||||||||||||
119 | PAjB | Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
120 | 33rP | Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
121 | 2X0W | AI / Machine Learning,Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
122 | 1fjt | Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
123 | 3gUF | Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
124 | 2uPa | Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
125 | 3lxE | AI / Machine Learning,Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
126 | 23Ug | Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
127 | 1ieN | AI / Machine Learning,Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
128 | 2wzv | AI / Machine Learning | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
129 | 2X5r | Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
130 | 2aKK | AI / Machine Learning,Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
131 | 3s5o | AI / Machine Learning,Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
132 | 0JNJ | Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
133 | 3oOb | AI / Machine Learning | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
134 | 1 | Yes | 8ivB | Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||
135 | 1 | Yes | 3iHX | AI / Machine Learning | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||
136 | 1 | Yes | C1hP | Robotics,AI / Machine Learning | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||
137 | 1hyz | AI / Machine Learning,Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
138 | 1 | Yes | 2DV1 | Formal methods / verification,Other (please explain),HCI | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||
139 | 3MlO | Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
140 | 1 | Yes | 1Csx | AI / Machine Learning | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||
141 | 1 | Yes | 1DZ0 | Robotics,AI / Machine Learning | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||
142 | 1 | Yes | 1LMN | Robotics,Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||
143 | 1 | Yes | 21BM | Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||
144 | 2B2H | Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
145 | 1g60 | AI / Machine Learning,Formal methods / verification | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
146 | 1 | Yes | rdvN | Formal methods / verification,Other (please explain),Programming languages / software engineering | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||
147 | BFEG | AI / Machine Learning | after { after { eventually { Red } } } | {RGB} {RGB} {RGB} {RGB} {RGB} | Yes | |||||||||||||||||||||
148 | 1 | No | PAjB | Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||
149 | 1 | No | 33rP | Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||
150 | 1 | No | 2X0W | AI / Machine Learning,Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||
151 | 1fjt | Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||||
152 | 1 | No | 3gUF | Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||
153 | 2uPa | Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||||
154 | 1 | No | 3lxE | AI / Machine Learning,Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||
155 | 1 | No | 23Ug | Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||
156 | 1 | No | 1ieN | AI / Machine Learning,Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||
157 | 2wzv | AI / Machine Learning | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||||
158 | 1 | No | 2X5r | Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||
159 | 1 | No | 2aKK | AI / Machine Learning,Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||
160 | 1 | No | 3s5o | AI / Machine Learning,Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||
161 | 0JNJ | Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||||
162 | 3oOb | AI / Machine Learning | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||||
163 | 1 | Yes | 8ivB | Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||
164 | 1 | No | 3iHX | AI / Machine Learning | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||
165 | 1 | No | C1hP | Robotics,AI / Machine Learning | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||
166 | 1hyz | AI / Machine Learning,Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||||
167 | 1 | No | 2DV1 | Formal methods / verification,Other (please explain),HCI | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||
168 | 3MlO | Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||||
169 | 1Csx | AI / Machine Learning | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||||
170 | 1DZ0 | Robotics,AI / Machine Learning | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||||
171 | 1 | No | 1LMN | Robotics,Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||
172 | 21BM | Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||||
173 | 2B2H | Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||||
174 | 1g60 | AI / Machine Learning,Formal methods / verification | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||||
175 | rdvN | Formal methods / verification,Other (please explain),Programming languages / software engineering | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||||
176 | 1 | Yes | BFEG | AI / Machine Learning | Red until Blue | {R} {R} {R} {R} {R} | No | |||||||||||||||||||
177 | 1 | No | PAjB | Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
178 | 1 | No | 33rP | Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
179 | 1 | No | 2X0W | AI / Machine Learning,Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
180 | 1 | No | 1fjt | Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
181 | 3gUF | Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||||
182 | 2uPa | Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||||
183 | 1 | No | 3lxE | AI / Machine Learning,Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
184 | 1 | No | 23Ug | Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
185 | 1 | No | 1ieN | AI / Machine Learning,Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
186 | 1 | No | 2wzv | AI / Machine Learning | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
187 | 1 | No | 2X5r | Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
188 | 1 | No | 2aKK | AI / Machine Learning,Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
189 | 1 | No | 3s5o | AI / Machine Learning,Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
190 | 1 | No | 0JNJ | Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
191 | 3oOb | AI / Machine Learning | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||||
192 | 8ivB | Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||||
193 | 3iHX | AI / Machine Learning | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||||
194 | C1hP | Robotics,AI / Machine Learning | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||||
195 | 1 | No | 1hyz | AI / Machine Learning,Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
196 | 2DV1 | Formal methods / verification,Other (please explain),HCI | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||||
197 | 1 | No | 3MlO | Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
198 | 1Csx | AI / Machine Learning | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||||
199 | 1 | No | 1DZ0 | Robotics,AI / Machine Learning | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
200 | 1LMN | Robotics,Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||||
201 | 1 | No | 21BM | Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
202 | 1 | No | 2B2H | Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
203 | 1 | No | 1g60 | AI / Machine Learning,Formal methods / verification | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
204 | rdvN | Formal methods / verification,Other (please explain),Programming languages / software engineering | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||||
205 | 1 | No | BFEG | AI / Machine Learning | eventually { always { Red } } | {} {RGB} {} {RGB} {} | No | |||||||||||||||||||
206 | 1 | Yes | PAjB | Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||
207 | 33rP | Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||||
208 | 1 | Yes | 2X0W | AI / Machine Learning,Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||
209 | 1fjt | Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||||
210 | 3gUF | Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||||
211 | 1 | Yes | 2uPa | Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||
212 | 1 | Yes | 3lxE | AI / Machine Learning,Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||
213 | 23Ug | Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||||
214 | 1ieN | AI / Machine Learning,Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||||
215 | 1 | Yes | 2wzv | AI / Machine Learning | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||
216 | 1 | Yes | 2X5r | Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||
217 | 1 | Yes | 2aKK | AI / Machine Learning,Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||
218 | 3s5o | AI / Machine Learning,Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||||
219 | 0JNJ | Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||||
220 | 1 | Yes | 3oOb | AI / Machine Learning | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||
221 | 8ivB | Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||||
222 | 1 | Yes | 3iHX | AI / Machine Learning | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||
223 | C1hP | Robotics,AI / Machine Learning | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||||
224 | 1 | Yes | 1hyz | AI / Machine Learning,Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||
225 | 1 | Yes | 2DV1 | Formal methods / verification,Other (please explain),HCI | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||
226 | 1 | Yes | 3MlO | Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||
227 | 1 | Yes | 1Csx | AI / Machine Learning | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||
228 | 1DZ0 | Robotics,AI / Machine Learning | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||||
229 | 1LMN | Robotics,Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||||
230 | 21BM | Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||||
231 | 2B2H | Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||||
232 | 1g60 | AI / Machine Learning,Formal methods / verification | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||||
233 | 1 | Yes | rdvN | Formal methods / verification,Other (please explain),Programming languages / software engineering | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||
234 | 1 | Yes | BFEG | AI / Machine Learning | always { Red implies Green } | {} {} {} {} {} | Yes | |||||||||||||||||||
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 | ||||||||||||||||||||||||||
282 | ||||||||||||||||||||||||||
283 | ||||||||||||||||||||||||||
284 | ||||||||||||||||||||||||||
285 | ||||||||||||||||||||||||||
286 | ||||||||||||||||||||||||||
287 | ||||||||||||||||||||||||||
288 | ||||||||||||||||||||||||||
289 | ||||||||||||||||||||||||||
290 | ||||||||||||||||||||||||||
291 | ||||||||||||||||||||||||||
292 | ||||||||||||||||||||||||||
293 | ||||||||||||||||||||||||||
294 | ||||||||||||||||||||||||||
295 | ||||||||||||||||||||||||||
296 | ||||||||||||||||||||||||||
297 | ||||||||||||||||||||||||||
298 | ||||||||||||||||||||||||||
299 | ||||||||||||||||||||||||||
300 | ||||||||||||||||||||||||||
301 | ||||||||||||||||||||||||||
302 | ||||||||||||||||||||||||||
303 | ||||||||||||||||||||||||||
304 | ||||||||||||||||||||||||||
305 | ||||||||||||||||||||||||||
306 | ||||||||||||||||||||||||||
307 | ||||||||||||||||||||||||||
308 | ||||||||||||||||||||||||||
309 | ||||||||||||||||||||||||||
310 | ||||||||||||||||||||||||||
311 | ||||||||||||||||||||||||||
312 | ||||||||||||||||||||||||||
313 | ||||||||||||||||||||||||||
314 | ||||||||||||||||||||||||||
315 | ||||||||||||||||||||||||||
316 | ||||||||||||||||||||||||||
317 | ||||||||||||||||||||||||||
318 | ||||||||||||||||||||||||||
319 | ||||||||||||||||||||||||||
320 | ||||||||||||||||||||||||||
321 | ||||||||||||||||||||||||||
322 | ||||||||||||||||||||||||||
323 | ||||||||||||||||||||||||||
324 | ||||||||||||||||||||||||||
325 | ||||||||||||||||||||||||||
326 | ||||||||||||||||||||||||||
327 | ||||||||||||||||||||||||||
328 | ||||||||||||||||||||||||||
329 | ||||||||||||||||||||||||||
330 | ||||||||||||||||||||||||||
331 | ||||||||||||||||||||||||||
332 | ||||||||||||||||||||||||||
333 | ||||||||||||||||||||||||||
334 | ||||||||||||||||||||||||||
335 | ||||||||||||||||||||||||||
336 | ||||||||||||||||||||||||||
337 | ||||||||||||||||||||||||||
338 | ||||||||||||||||||||||||||
339 | ||||||||||||||||||||||||||
340 | ||||||||||||||||||||||||||
341 | ||||||||||||||||||||||||||
342 | ||||||||||||||||||||||||||
343 | ||||||||||||||||||||||||||
344 | ||||||||||||||||||||||||||
345 | ||||||||||||||||||||||||||
346 | ||||||||||||||||||||||||||
347 | ||||||||||||||||||||||||||
348 | ||||||||||||||||||||||||||
349 | ||||||||||||||||||||||||||
350 | ||||||||||||||||||||||||||
351 | ||||||||||||||||||||||||||
352 | ||||||||||||||||||||||||||
353 | ||||||||||||||||||||||||||
354 | ||||||||||||||||||||||||||
355 | ||||||||||||||||||||||||||
356 | ||||||||||||||||||||||||||
357 | ||||||||||||||||||||||||||
358 | ||||||||||||||||||||||||||
359 | ||||||||||||||||||||||||||
360 | ||||||||||||||||||||||||||
361 | ||||||||||||||||||||||||||
362 | ||||||||||||||||||||||||||
363 | ||||||||||||||||||||||||||
364 | ||||||||||||||||||||||||||
365 | ||||||||||||||||||||||||||
366 | ||||||||||||||||||||||||||
367 | ||||||||||||||||||||||||||
368 | ||||||||||||||||||||||||||
369 | ||||||||||||||||||||||||||
370 | ||||||||||||||||||||||||||
371 | ||||||||||||||||||||||||||
372 | ||||||||||||||||||||||||||
373 | ||||||||||||||||||||||||||
374 | ||||||||||||||||||||||||||
375 | ||||||||||||||||||||||||||
376 | ||||||||||||||||||||||||||
377 | ||||||||||||||||||||||||||
378 | ||||||||||||||||||||||||||
379 | ||||||||||||||||||||||||||
380 | ||||||||||||||||||||||||||
381 | ||||||||||||||||||||||||||
382 | ||||||||||||||||||||||||||
383 | ||||||||||||||||||||||||||
384 | ||||||||||||||||||||||||||
385 | ||||||||||||||||||||||||||
386 | ||||||||||||||||||||||||||
387 | ||||||||||||||||||||||||||
388 | ||||||||||||||||||||||||||
389 | ||||||||||||||||||||||||||
390 | ||||||||||||||||||||||||||
391 | ||||||||||||||||||||||||||
392 | ||||||||||||||||||||||||||
393 | ||||||||||||||||||||||||||
394 | ||||||||||||||||||||||||||
395 | ||||||||||||||||||||||||||
396 | ||||||||||||||||||||||||||
397 | ||||||||||||||||||||||||||
398 | ||||||||||||||||||||||||||
399 | ||||||||||||||||||||||||||
400 | ||||||||||||||||||||||||||
401 | ||||||||||||||||||||||||||
402 | ||||||||||||||||||||||||||
403 | ||||||||||||||||||||||||||
404 | ||||||||||||||||||||||||||
405 | ||||||||||||||||||||||||||
406 | ||||||||||||||||||||||||||
407 | ||||||||||||||||||||||||||
408 | ||||||||||||||||||||||||||
409 | ||||||||||||||||||||||||||
410 | ||||||||||||||||||||||||||
411 | ||||||||||||||||||||||||||
412 | ||||||||||||||||||||||||||
413 | ||||||||||||||||||||||||||
414 | ||||||||||||||||||||||||||
415 | ||||||||||||||||||||||||||
416 | ||||||||||||||||||||||||||
417 | ||||||||||||||||||||||||||
418 | ||||||||||||||||||||||||||
419 | ||||||||||||||||||||||||||
420 | ||||||||||||||||||||||||||
421 | ||||||||||||||||||||||||||
422 | ||||||||||||||||||||||||||
423 | ||||||||||||||||||||||||||
424 | ||||||||||||||||||||||||||
425 | ||||||||||||||||||||||||||
426 | ||||||||||||||||||||||||||
427 | ||||||||||||||||||||||||||
428 | ||||||||||||||||||||||||||
429 | ||||||||||||||||||||||||||
430 | ||||||||||||||||||||||||||
431 | ||||||||||||||||||||||||||
432 | ||||||||||||||||||||||||||
433 | ||||||||||||||||||||||||||
434 | ||||||||||||||||||||||||||
435 | ||||||||||||||||||||||||||
436 | ||||||||||||||||||||||||||
437 | ||||||||||||||||||||||||||
438 | ||||||||||||||||||||||||||
439 | ||||||||||||||||||||||||||
440 | ||||||||||||||||||||||||||
441 | ||||||||||||||||||||||||||
442 | ||||||||||||||||||||||||||
443 | ||||||||||||||||||||||||||
444 | ||||||||||||||||||||||||||
445 | ||||||||||||||||||||||||||
446 | ||||||||||||||||||||||||||
447 | ||||||||||||||||||||||||||
448 | ||||||||||||||||||||||||||
449 | ||||||||||||||||||||||||||
450 | ||||||||||||||||||||||||||
451 | ||||||||||||||||||||||||||
452 | ||||||||||||||||||||||||||
453 | ||||||||||||||||||||||||||
454 | ||||||||||||||||||||||||||
455 | ||||||||||||||||||||||||||
456 | ||||||||||||||||||||||||||
457 | ||||||||||||||||||||||||||
458 | ||||||||||||||||||||||||||
459 | ||||||||||||||||||||||||||
460 | ||||||||||||||||||||||||||
461 | ||||||||||||||||||||||||||
462 | ||||||||||||||||||||||||||
463 | ||||||||||||||||||||||||||
464 | ||||||||||||||||||||||||||
465 | ||||||||||||||||||||||||||
466 | ||||||||||||||||||||||||||
467 | ||||||||||||||||||||||||||
468 | ||||||||||||||||||||||||||
469 | ||||||||||||||||||||||||||
470 | ||||||||||||||||||||||||||
471 | ||||||||||||||||||||||||||
472 | ||||||||||||||||||||||||||
473 | ||||||||||||||||||||||||||
474 | ||||||||||||||||||||||||||
475 | ||||||||||||||||||||||||||
476 | ||||||||||||||||||||||||||
477 | ||||||||||||||||||||||||||
478 | ||||||||||||||||||||||||||
479 | ||||||||||||||||||||||||||
480 | ||||||||||||||||||||||||||
481 | ||||||||||||||||||||||||||
482 | ||||||||||||||||||||||||||
483 | ||||||||||||||||||||||||||
484 | ||||||||||||||||||||||||||
485 | ||||||||||||||||||||||||||
486 | ||||||||||||||||||||||||||
487 | ||||||||||||||||||||||||||
488 | ||||||||||||||||||||||||||
489 | ||||||||||||||||||||||||||
490 | ||||||||||||||||||||||||||
491 | ||||||||||||||||||||||||||
492 | ||||||||||||||||||||||||||
493 | ||||||||||||||||||||||||||
494 | ||||||||||||||||||||||||||
495 | ||||||||||||||||||||||||||
496 | ||||||||||||||||||||||||||
497 | ||||||||||||||||||||||||||
498 | ||||||||||||||||||||||||||
499 | ||||||||||||||||||||||||||
500 | ||||||||||||||||||||||||||
501 | ||||||||||||||||||||||||||
502 | ||||||||||||||||||||||||||
503 | ||||||||||||||||||||||||||
504 | ||||||||||||||||||||||||||
505 | ||||||||||||||||||||||||||
506 | ||||||||||||||||||||||||||
507 | ||||||||||||||||||||||||||
508 | ||||||||||||||||||||||||||
509 | ||||||||||||||||||||||||||
510 | ||||||||||||||||||||||||||
511 | ||||||||||||||||||||||||||
512 | ||||||||||||||||||||||||||
513 | ||||||||||||||||||||||||||
514 | ||||||||||||||||||||||||||
515 | ||||||||||||||||||||||||||
516 | ||||||||||||||||||||||||||
517 | ||||||||||||||||||||||||||
518 | ||||||||||||||||||||||||||
519 | ||||||||||||||||||||||||||
520 | ||||||||||||||||||||||||||
521 | ||||||||||||||||||||||||||
522 | ||||||||||||||||||||||||||
523 | ||||||||||||||||||||||||||
524 | ||||||||||||||||||||||||||
525 | ||||||||||||||||||||||||||
526 | ||||||||||||||||||||||||||
527 | ||||||||||||||||||||||||||
528 | ||||||||||||||||||||||||||
529 | ||||||||||||||||||||||||||
530 | ||||||||||||||||||||||||||
531 | ||||||||||||||||||||||||||
532 | ||||||||||||||||||||||||||
533 | ||||||||||||||||||||||||||
534 | ||||||||||||||||||||||||||
535 | ||||||||||||||||||||||||||
536 | ||||||||||||||||||||||||||
537 | ||||||||||||||||||||||||||
538 | ||||||||||||||||||||||||||
539 | ||||||||||||||||||||||||||
540 | ||||||||||||||||||||||||||
541 | ||||||||||||||||||||||||||
542 | ||||||||||||||||||||||||||
543 | ||||||||||||||||||||||||||
544 | ||||||||||||||||||||||||||
545 | ||||||||||||||||||||||||||
546 | ||||||||||||||||||||||||||
547 | ||||||||||||||||||||||||||
548 | ||||||||||||||||||||||||||
549 | ||||||||||||||||||||||||||
550 | ||||||||||||||||||||||||||
551 | ||||||||||||||||||||||||||
552 | ||||||||||||||||||||||||||
553 | ||||||||||||||||||||||||||
554 | ||||||||||||||||||||||||||
555 | ||||||||||||||||||||||||||
556 | ||||||||||||||||||||||||||
557 | ||||||||||||||||||||||||||
558 | ||||||||||||||||||||||||||
559 | ||||||||||||||||||||||||||
560 | ||||||||||||||||||||||||||
561 | ||||||||||||||||||||||||||
562 | ||||||||||||||||||||||||||
563 | ||||||||||||||||||||||||||
564 | ||||||||||||||||||||||||||
565 | ||||||||||||||||||||||||||
566 | ||||||||||||||||||||||||||
567 | ||||||||||||||||||||||||||
568 | ||||||||||||||||||||||||||
569 | ||||||||||||||||||||||||||
570 | ||||||||||||||||||||||||||
571 | ||||||||||||||||||||||||||
572 | ||||||||||||||||||||||||||
573 | ||||||||||||||||||||||||||
574 | ||||||||||||||||||||||||||
575 | ||||||||||||||||||||||||||
576 | ||||||||||||||||||||||||||
577 | ||||||||||||||||||||||||||
578 | ||||||||||||||||||||||||||
579 | ||||||||||||||||||||||||||
580 | ||||||||||||||||||||||||||
581 | ||||||||||||||||||||||||||
582 | ||||||||||||||||||||||||||
583 | ||||||||||||||||||||||||||
584 | ||||||||||||||||||||||||||
585 | ||||||||||||||||||||||||||
586 | ||||||||||||||||||||||||||
587 | ||||||||||||||||||||||||||
588 | ||||||||||||||||||||||||||
589 | ||||||||||||||||||||||||||
590 | ||||||||||||||||||||||||||
591 | ||||||||||||||||||||||||||
592 | ||||||||||||||||||||||||||
593 | ||||||||||||||||||||||||||
594 | ||||||||||||||||||||||||||
595 | ||||||||||||||||||||||||||
596 | ||||||||||||||||||||||||||
597 | ||||||||||||||||||||||||||
598 | ||||||||||||||||||||||||||
599 | ||||||||||||||||||||||||||
600 | ||||||||||||||||||||||||||
601 | ||||||||||||||||||||||||||
602 | ||||||||||||||||||||||||||
603 | ||||||||||||||||||||||||||
604 | ||||||||||||||||||||||||||
605 | ||||||||||||||||||||||||||
606 | ||||||||||||||||||||||||||
607 | ||||||||||||||||||||||||||
608 | ||||||||||||||||||||||||||
609 | ||||||||||||||||||||||||||
610 | ||||||||||||||||||||||||||
611 | ||||||||||||||||||||||||||
612 | ||||||||||||||||||||||||||
613 | ||||||||||||||||||||||||||
614 | ||||||||||||||||||||||||||
615 | ||||||||||||||||||||||||||
616 | ||||||||||||||||||||||||||
617 | ||||||||||||||||||||||||||
618 | ||||||||||||||||||||||||||
619 | ||||||||||||||||||||||||||
620 | ||||||||||||||||||||||||||
621 | ||||||||||||||||||||||||||
622 | ||||||||||||||||||||||||||
623 | ||||||||||||||||||||||||||
624 | ||||||||||||||||||||||||||
625 | ||||||||||||||||||||||||||
626 | ||||||||||||||||||||||||||
627 | ||||||||||||||||||||||||||
628 | ||||||||||||||||||||||||||
629 | ||||||||||||||||||||||||||
630 | ||||||||||||||||||||||||||
631 | ||||||||||||||||||||||||||
632 | ||||||||||||||||||||||||||
633 | ||||||||||||||||||||||||||
634 | ||||||||||||||||||||||||||
635 | ||||||||||||||||||||||||||
636 | ||||||||||||||||||||||||||
637 | ||||||||||||||||||||||||||
638 | ||||||||||||||||||||||||||
639 | ||||||||||||||||||||||||||
640 | ||||||||||||||||||||||||||
641 | ||||||||||||||||||||||||||
642 | ||||||||||||||||||||||||||
643 | ||||||||||||||||||||||||||
644 | ||||||||||||||||||||||||||
645 | ||||||||||||||||||||||||||
646 | ||||||||||||||||||||||||||
647 | ||||||||||||||||||||||||||
648 | ||||||||||||||||||||||||||
649 | ||||||||||||||||||||||||||
650 | ||||||||||||||||||||||||||
651 | ||||||||||||||||||||||||||
652 | ||||||||||||||||||||||||||
653 | ||||||||||||||||||||||||||
654 | ||||||||||||||||||||||||||
655 | ||||||||||||||||||||||||||
656 | ||||||||||||||||||||||||||
657 | ||||||||||||||||||||||||||
658 | ||||||||||||||||||||||||||
659 | ||||||||||||||||||||||||||
660 | ||||||||||||||||||||||||||
661 | ||||||||||||||||||||||||||
662 | ||||||||||||||||||||||||||
663 | ||||||||||||||||||||||||||
664 | ||||||||||||||||||||||||||
665 | ||||||||||||||||||||||||||
666 | ||||||||||||||||||||||||||
667 | ||||||||||||||||||||||||||
668 | ||||||||||||||||||||||||||
669 | ||||||||||||||||||||||||||
670 | ||||||||||||||||||||||||||
671 | ||||||||||||||||||||||||||
672 | ||||||||||||||||||||||||||
673 | ||||||||||||||||||||||||||
674 | ||||||||||||||||||||||||||
675 | ||||||||||||||||||||||||||
676 | ||||||||||||||||||||||||||
677 | ||||||||||||||||||||||||||
678 | ||||||||||||||||||||||||||
679 | ||||||||||||||||||||||||||
680 | ||||||||||||||||||||||||||
681 | ||||||||||||||||||||||||||
682 | ||||||||||||||||||||||||||
683 | ||||||||||||||||||||||||||
684 | ||||||||||||||||||||||||||
685 | ||||||||||||||||||||||||||
686 | ||||||||||||||||||||||||||
687 | ||||||||||||||||||||||||||
688 | ||||||||||||||||||||||||||
689 | ||||||||||||||||||||||||||
690 | ||||||||||||||||||||||||||
691 | ||||||||||||||||||||||||||
692 | ||||||||||||||||||||||||||
693 | ||||||||||||||||||||||||||
694 | ||||||||||||||||||||||||||
695 | ||||||||||||||||||||||||||
696 | ||||||||||||||||||||||||||
697 | ||||||||||||||||||||||||||
698 | ||||||||||||||||||||||||||
699 | ||||||||||||||||||||||||||
700 | ||||||||||||||||||||||||||
701 | ||||||||||||||||||||||||||
702 | ||||||||||||||||||||||||||
703 | ||||||||||||||||||||||||||
704 | ||||||||||||||||||||||||||
705 | ||||||||||||||||||||||||||
706 | ||||||||||||||||||||||||||
707 | ||||||||||||||||||||||||||
708 | ||||||||||||||||||||||||||
709 | ||||||||||||||||||||||||||
710 | ||||||||||||||||||||||||||
711 | ||||||||||||||||||||||||||
712 | ||||||||||||||||||||||||||
713 | ||||||||||||||||||||||||||
714 | ||||||||||||||||||||||||||
715 | ||||||||||||||||||||||||||
716 | ||||||||||||||||||||||||||
717 | ||||||||||||||||||||||||||
718 | ||||||||||||||||||||||||||
719 | ||||||||||||||||||||||||||
720 | ||||||||||||||||||||||||||
721 | ||||||||||||||||||||||||||
722 | ||||||||||||||||||||||||||
723 | ||||||||||||||||||||||||||
724 | ||||||||||||||||||||||||||
725 | ||||||||||||||||||||||||||
726 | ||||||||||||||||||||||||||
727 | ||||||||||||||||||||||||||
728 | ||||||||||||||||||||||||||
729 | ||||||||||||||||||||||||||
730 | ||||||||||||||||||||||||||
731 | ||||||||||||||||||||||||||
732 | ||||||||||||||||||||||||||
733 | ||||||||||||||||||||||||||
734 | ||||||||||||||||||||||||||
735 | ||||||||||||||||||||||||||
736 | ||||||||||||||||||||||||||
737 | ||||||||||||||||||||||||||
738 | ||||||||||||||||||||||||||
739 | ||||||||||||||||||||||||||
740 | ||||||||||||||||||||||||||
741 | ||||||||||||||||||||||||||
742 | ||||||||||||||||||||||||||
743 | ||||||||||||||||||||||||||
744 | ||||||||||||||||||||||||||
745 | ||||||||||||||||||||||||||
746 | ||||||||||||||||||||||||||
747 | ||||||||||||||||||||||||||
748 | ||||||||||||||||||||||||||
749 | ||||||||||||||||||||||||||
750 | ||||||||||||||||||||||||||
751 | ||||||||||||||||||||||||||
752 | ||||||||||||||||||||||||||
753 | ||||||||||||||||||||||||||
754 | ||||||||||||||||||||||||||
755 | ||||||||||||||||||||||||||
756 | ||||||||||||||||||||||||||
757 | ||||||||||||||||||||||||||
758 | ||||||||||||||||||||||||||
759 | ||||||||||||||||||||||||||
760 | ||||||||||||||||||||||||||
761 | ||||||||||||||||||||||||||
762 | ||||||||||||||||||||||||||
763 | ||||||||||||||||||||||||||
764 | ||||||||||||||||||||||||||
765 | ||||||||||||||||||||||||||
766 | ||||||||||||||||||||||||||
767 | ||||||||||||||||||||||||||
768 | ||||||||||||||||||||||||||
769 | ||||||||||||||||||||||||||
770 | ||||||||||||||||||||||||||
771 | ||||||||||||||||||||||||||
772 | ||||||||||||||||||||||||||
773 | ||||||||||||||||||||||||||
774 | ||||||||||||||||||||||||||
775 | ||||||||||||||||||||||||||
776 | ||||||||||||||||||||||||||
777 | ||||||||||||||||||||||||||
778 | ||||||||||||||||||||||||||
779 | ||||||||||||||||||||||||||
780 | ||||||||||||||||||||||||||
781 | ||||||||||||||||||||||||||
782 | ||||||||||||||||||||||||||
783 | ||||||||||||||||||||||||||
784 | ||||||||||||||||||||||||||
785 | ||||||||||||||||||||||||||
786 | ||||||||||||||||||||||||||
787 | ||||||||||||||||||||||||||
788 | ||||||||||||||||||||||||||
789 | ||||||||||||||||||||||||||
790 | ||||||||||||||||||||||||||
791 | ||||||||||||||||||||||||||
792 | ||||||||||||||||||||||||||
793 | ||||||||||||||||||||||||||
794 | ||||||||||||||||||||||||||
795 | ||||||||||||||||||||||||||
796 | ||||||||||||||||||||||||||
797 | ||||||||||||||||||||||||||
798 | ||||||||||||||||||||||||||
799 | ||||||||||||||||||||||||||
800 | ||||||||||||||||||||||||||
801 | ||||||||||||||||||||||||||
802 | ||||||||||||||||||||||||||
803 | ||||||||||||||||||||||||||
804 | ||||||||||||||||||||||||||
805 | ||||||||||||||||||||||||||
806 | ||||||||||||||||||||||||||
807 | ||||||||||||||||||||||||||
808 | ||||||||||||||||||||||||||
809 | ||||||||||||||||||||||||||
810 | ||||||||||||||||||||||||||
811 | ||||||||||||||||||||||||||
812 | ||||||||||||||||||||||||||
813 | ||||||||||||||||||||||||||
814 | ||||||||||||||||||||||||||
815 | ||||||||||||||||||||||||||
816 | ||||||||||||||||||||||||||
817 | ||||||||||||||||||||||||||
818 | ||||||||||||||||||||||||||
819 | ||||||||||||||||||||||||||
820 | ||||||||||||||||||||||||||
821 | ||||||||||||||||||||||||||
822 | ||||||||||||||||||||||||||
823 | ||||||||||||||||||||||||||
824 | ||||||||||||||||||||||||||
825 | ||||||||||||||||||||||||||
826 | ||||||||||||||||||||||||||
827 | ||||||||||||||||||||||||||
828 | ||||||||||||||||||||||||||
829 | ||||||||||||||||||||||||||
830 | ||||||||||||||||||||||||||
831 | ||||||||||||||||||||||||||
832 | ||||||||||||||||||||||||||
833 | ||||||||||||||||||||||||||
834 | ||||||||||||||||||||||||||
835 | ||||||||||||||||||||||||||
836 | ||||||||||||||||||||||||||
837 | ||||||||||||||||||||||||||
838 | ||||||||||||||||||||||||||
839 | ||||||||||||||||||||||||||
840 | ||||||||||||||||||||||||||
841 | ||||||||||||||||||||||||||
842 | ||||||||||||||||||||||||||
843 | ||||||||||||||||||||||||||
844 | ||||||||||||||||||||||||||
845 | ||||||||||||||||||||||||||
846 | ||||||||||||||||||||||||||
847 | ||||||||||||||||||||||||||
848 | ||||||||||||||||||||||||||
849 | ||||||||||||||||||||||||||
850 | ||||||||||||||||||||||||||
851 | ||||||||||||||||||||||||||
852 | ||||||||||||||||||||||||||
853 | ||||||||||||||||||||||||||
854 | ||||||||||||||||||||||||||
855 | ||||||||||||||||||||||||||
856 | ||||||||||||||||||||||||||
857 | ||||||||||||||||||||||||||
858 | ||||||||||||||||||||||||||
859 | ||||||||||||||||||||||||||
860 | ||||||||||||||||||||||||||
861 | ||||||||||||||||||||||||||
862 | ||||||||||||||||||||||||||
863 | ||||||||||||||||||||||||||
864 | ||||||||||||||||||||||||||
865 | ||||||||||||||||||||||||||
866 | ||||||||||||||||||||||||||
867 | ||||||||||||||||||||||||||
868 | ||||||||||||||||||||||||||
869 | ||||||||||||||||||||||||||
870 | ||||||||||||||||||||||||||
871 | ||||||||||||||||||||||||||
872 | ||||||||||||||||||||||||||
873 | ||||||||||||||||||||||||||
874 | ||||||||||||||||||||||||||
875 | ||||||||||||||||||||||||||
876 | ||||||||||||||||||||||||||
877 | ||||||||||||||||||||||||||
878 | ||||||||||||||||||||||||||
879 | ||||||||||||||||||||||||||
880 | ||||||||||||||||||||||||||
881 | ||||||||||||||||||||||||||
882 | ||||||||||||||||||||||||||
883 | ||||||||||||||||||||||||||
884 | ||||||||||||||||||||||||||
885 | ||||||||||||||||||||||||||
886 | ||||||||||||||||||||||||||
887 | ||||||||||||||||||||||||||
888 | ||||||||||||||||||||||||||
889 | ||||||||||||||||||||||||||
890 | ||||||||||||||||||||||||||
891 | ||||||||||||||||||||||||||
892 | ||||||||||||||||||||||||||
893 | ||||||||||||||||||||||||||
894 | ||||||||||||||||||||||||||
895 | ||||||||||||||||||||||||||
896 | ||||||||||||||||||||||||||
897 | ||||||||||||||||||||||||||
898 | ||||||||||||||||||||||||||
899 | ||||||||||||||||||||||||||
900 | ||||||||||||||||||||||||||
901 | ||||||||||||||||||||||||||
902 | ||||||||||||||||||||||||||
903 | ||||||||||||||||||||||||||
904 | ||||||||||||||||||||||||||
905 | ||||||||||||||||||||||||||
906 | ||||||||||||||||||||||||||
907 | ||||||||||||||||||||||||||
908 | ||||||||||||||||||||||||||
909 | ||||||||||||||||||||||||||
910 | ||||||||||||||||||||||||||
911 | ||||||||||||||||||||||||||
912 | ||||||||||||||||||||||||||
913 | ||||||||||||||||||||||||||
914 | ||||||||||||||||||||||||||
915 | ||||||||||||||||||||||||||
916 | ||||||||||||||||||||||||||
917 | ||||||||||||||||||||||||||
918 | ||||||||||||||||||||||||||
919 | ||||||||||||||||||||||||||
920 | ||||||||||||||||||||||||||
921 | ||||||||||||||||||||||||||
922 | ||||||||||||||||||||||||||
923 | ||||||||||||||||||||||||||
924 | ||||||||||||||||||||||||||
925 | ||||||||||||||||||||||||||
926 | ||||||||||||||||||||||||||
927 | ||||||||||||||||||||||||||
928 | ||||||||||||||||||||||||||
929 | ||||||||||||||||||||||||||
930 | ||||||||||||||||||||||||||
931 | ||||||||||||||||||||||||||
932 | ||||||||||||||||||||||||||
933 | ||||||||||||||||||||||||||
934 | ||||||||||||||||||||||||||
935 | ||||||||||||||||||||||||||
936 | ||||||||||||||||||||||||||
937 | ||||||||||||||||||||||||||
938 | ||||||||||||||||||||||||||
939 | ||||||||||||||||||||||||||
940 | ||||||||||||||||||||||||||
941 | ||||||||||||||||||||||||||
942 | ||||||||||||||||||||||||||
943 | ||||||||||||||||||||||||||
944 | ||||||||||||||||||||||||||
945 | ||||||||||||||||||||||||||
946 | ||||||||||||||||||||||||||
947 | ||||||||||||||||||||||||||
948 | ||||||||||||||||||||||||||
949 | ||||||||||||||||||||||||||
950 | ||||||||||||||||||||||||||
951 | ||||||||||||||||||||||||||
952 | ||||||||||||||||||||||||||
953 | ||||||||||||||||||||||||||
954 | ||||||||||||||||||||||||||
955 | ||||||||||||||||||||||||||
956 | ||||||||||||||||||||||||||
957 | ||||||||||||||||||||||||||
958 | ||||||||||||||||||||||||||
959 | ||||||||||||||||||||||||||
960 | ||||||||||||||||||||||||||
961 | ||||||||||||||||||||||||||
962 | ||||||||||||||||||||||||||
963 | ||||||||||||||||||||||||||
964 | ||||||||||||||||||||||||||
965 | ||||||||||||||||||||||||||
966 | ||||||||||||||||||||||||||
967 | ||||||||||||||||||||||||||
968 | ||||||||||||||||||||||||||
969 | ||||||||||||||||||||||||||
970 | ||||||||||||||||||||||||||
971 | ||||||||||||||||||||||||||
972 | ||||||||||||||||||||||||||
973 | ||||||||||||||||||||||||||
974 | ||||||||||||||||||||||||||
975 | ||||||||||||||||||||||||||
976 | ||||||||||||||||||||||||||
977 | ||||||||||||||||||||||||||
978 | ||||||||||||||||||||||||||
979 | ||||||||||||||||||||||||||
980 | ||||||||||||||||||||||||||
981 | ||||||||||||||||||||||||||
982 | ||||||||||||||||||||||||||
983 | ||||||||||||||||||||||||||
984 | ||||||||||||||||||||||||||
985 | ||||||||||||||||||||||||||
986 | ||||||||||||||||||||||||||
987 | ||||||||||||||||||||||||||
988 | ||||||||||||||||||||||||||
989 | ||||||||||||||||||||||||||
990 | ||||||||||||||||||||||||||
991 | ||||||||||||||||||||||||||
992 | ||||||||||||||||||||||||||
993 | ||||||||||||||||||||||||||
994 | ||||||||||||||||||||||||||
995 | ||||||||||||||||||||||||||
996 | ||||||||||||||||||||||||||
997 | ||||||||||||||||||||||||||
998 | ||||||||||||||||||||||||||
999 | ||||||||||||||||||||||||||
1000 |