stamina 0.3.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (80) hide show
  1. data/.gemtest +0 -0
  2. data/CHANGELOG.md +22 -0
  3. data/Gemfile +2 -0
  4. data/Gemfile.lock +33 -0
  5. data/LICENCE.md +22 -0
  6. data/Manifest.txt +16 -0
  7. data/README.md +78 -0
  8. data/Rakefile +23 -0
  9. data/bin/adl2dot +12 -0
  10. data/bin/classify +12 -0
  11. data/bin/redblue +12 -0
  12. data/bin/rpni +12 -0
  13. data/example/adl/automaton.adl +49 -0
  14. data/example/adl/sample.adl +53 -0
  15. data/example/basic/characteristic_sample.adl +32 -0
  16. data/example/basic/target.adl +9 -0
  17. data/example/competition/31_test.adl +1500 -0
  18. data/example/competition/31_training.adl +1759 -0
  19. data/lib/stamina.rb +19 -0
  20. data/lib/stamina/adl.rb +298 -0
  21. data/lib/stamina/automaton.rb +1237 -0
  22. data/lib/stamina/automaton/walking.rb +336 -0
  23. data/lib/stamina/classifier.rb +37 -0
  24. data/lib/stamina/command/adl2dot_command.rb +73 -0
  25. data/lib/stamina/command/classify_command.rb +57 -0
  26. data/lib/stamina/command/redblue_command.rb +58 -0
  27. data/lib/stamina/command/rpni_command.rb +58 -0
  28. data/lib/stamina/command/stamina_command.rb +79 -0
  29. data/lib/stamina/errors.rb +20 -0
  30. data/lib/stamina/induction/commons.rb +170 -0
  31. data/lib/stamina/induction/redblue.rb +264 -0
  32. data/lib/stamina/induction/rpni.rb +188 -0
  33. data/lib/stamina/induction/union_find.rb +377 -0
  34. data/lib/stamina/input_string.rb +123 -0
  35. data/lib/stamina/loader.rb +0 -0
  36. data/lib/stamina/markable.rb +42 -0
  37. data/lib/stamina/sample.rb +190 -0
  38. data/lib/stamina/version.rb +14 -0
  39. data/stamina.gemspec +190 -0
  40. data/stamina.noespec +35 -0
  41. data/tasks/debug_mail.rake +78 -0
  42. data/tasks/debug_mail.txt +13 -0
  43. data/tasks/gem.rake +68 -0
  44. data/tasks/spec_test.rake +79 -0
  45. data/tasks/unit_test.rake +77 -0
  46. data/tasks/yard.rake +51 -0
  47. data/test/stamina/adl_test.rb +491 -0
  48. data/test/stamina/automaton_additional_test.rb +190 -0
  49. data/test/stamina/automaton_classifier_test.rb +155 -0
  50. data/test/stamina/automaton_test.rb +1092 -0
  51. data/test/stamina/automaton_to_dot_test.rb +64 -0
  52. data/test/stamina/automaton_walking_test.rb +206 -0
  53. data/test/stamina/exit.rb +3 -0
  54. data/test/stamina/induction/induction_test.rb +70 -0
  55. data/test/stamina/induction/redblue_mergesamestatebug_expected.adl +19 -0
  56. data/test/stamina/induction/redblue_mergesamestatebug_pta.dot +64 -0
  57. data/test/stamina/induction/redblue_mergesamestatebug_sample.adl +9 -0
  58. data/test/stamina/induction/redblue_test.rb +83 -0
  59. data/test/stamina/induction/redblue_universal_expected.adl +4 -0
  60. data/test/stamina/induction/redblue_universal_sample.adl +5 -0
  61. data/test/stamina/induction/rpni_inria_expected.adl +7 -0
  62. data/test/stamina/induction/rpni_inria_sample.adl +9 -0
  63. data/test/stamina/induction/rpni_test.rb +129 -0
  64. data/test/stamina/induction/rpni_test_pta.dot +22 -0
  65. data/test/stamina/induction/rpni_universal_expected.adl +4 -0
  66. data/test/stamina/induction/rpni_universal_sample.adl +4 -0
  67. data/test/stamina/induction/union_find_test.rb +124 -0
  68. data/test/stamina/input_string_test.rb +323 -0
  69. data/test/stamina/markable_test.rb +70 -0
  70. data/test/stamina/randdfa.adl +66 -0
  71. data/test/stamina/sample.adl +4 -0
  72. data/test/stamina/sample_classify_test.rb +149 -0
  73. data/test/stamina/sample_test.rb +218 -0
  74. data/test/stamina/small_dfa.dot +16 -0
  75. data/test/stamina/small_dfa.gif +0 -0
  76. data/test/stamina/small_nfa.dot +18 -0
  77. data/test/stamina/small_nfa.gif +0 -0
  78. data/test/stamina/stamina_test.rb +69 -0
  79. data/test/test_all.rb +7 -0
  80. metadata +279 -0
@@ -0,0 +1,1759 @@
1
+ + 2 0 1 1 4 4
2
+ + 4
3
+ - 1 2 4 1 1 0 2
4
+ - 3 1 1 1 0 3 4
5
+ - 4 3 0 2 1
6
+ + 4
7
+ - 2 3 4 3 1 1 1 2 3
8
+ - 4 0 2 1 0
9
+ - 2 0 0 3 4 4 4 4 1 1
10
+ - 2 1 2 2 1 0 4 4
11
+ - 2 1 2 4 0 1 1 2 1
12
+ - 2 1 1 4 2 2 0
13
+ - 2 4 2 2 4
14
+ + 3 1
15
+ + 4 2 1 1
16
+ - 3 2 3 1 0 4 4 1 4 1
17
+ - 2 0 4 1 4 1
18
+ + 3 1
19
+ - 2 4 1 4 2 0 0 0
20
+ + 4 1 4 1 1 1 0 4 2 3 1 0 0 0 0
21
+ - 3 3 4 0 4 4
22
+ - 4 2 2 2
23
+ - 2 1 0 3 4
24
+ - 4 4 2
25
+ + 4
26
+ - 1 4 4 4 0 1 1
27
+ - 4 2 3 1 2 1 2
28
+ - 2 3 3 0 1 4 4 1 0 4 3 1 2
29
+ + 2 1 4 4 0 3 1 1 3 1 1
30
+ + 2 1 4 4 0 3 1 1 3 1 1
31
+ - 3 2 1 4
32
+ + 2 3 0 0 4 2 1 0 3 3 3 0 0 3 4 3 1
33
+ + 3 2 2 2 1 0 3 4
34
+ - 4 4 0 1 2 0
35
+ - 3 2 2 1 4 1 0 3 1
36
+ - 0 2 2 0 2 2 2 2 2 2 1 1 4
37
+ - 1 2 4 2 0
38
+ - 2 1 4 1 2 0
39
+ + 4
40
+ - 4 1 4 4
41
+ - 2 0 0 3 1
42
+ + 4 2 1 0 4 2 0 0 3 3 3
43
+ - 0 4 2
44
+ - 4 3 3 4 0
45
+ + 2 4 1 2 1
46
+ + 2 2 1 1 2 1 1 2 1
47
+ - 2 1 0 3 3 1 4
48
+ + 3 1
49
+ + 4 0 4 1 1 0 4 1 2 3
50
+ - 2 2 1 0 4 2 1
51
+ - 2 2 3 0
52
+ + 3 1
53
+ - 3 0 2 1 2 3 4
54
+ - 2 4 3 4 3 0 1 3 2 4 2 1 2 0
55
+ + 2 0 1 0
56
+ + 3 2 2 2 2 2 2 2 2 2 1
57
+ + 2 3 4 3 4 3 3 0 4 1 1 3 3 1 4 2 2 0 3 0 1 4
58
+ + 2 3 2 2 4
59
+ - 2 1 4 3 0 4 1 1 3 2 4 3 4 4 3 0 1 3 1 0 4 1
60
+ - 3 4 2 3 2 1 1 0
61
+ - 3 0 1 0 3 3 3 3 3 3 4 4
62
+ - 0 3 2 2 0
63
+ + 4
64
+ + 4 1 4 1 1 2 1 2 2 2 2
65
+ - 3 2 2 1 0 3 2 4
66
+ - 1 4 0 4 1 2 0
67
+ + 3 1
68
+ - 3 3 0 1 2 2
69
+ - 2 3 3 3 1 4 0 1 1 4 4
70
+ + 4 1 4 1 1 1 0 2 0
71
+ + 2 3 0 0 2 1 0 1 1
72
+ - 3 3 1 1 4
73
+ - 0 3 2 2 0
74
+ + 2 3 2 2 1 4 3 1
75
+ + 4
76
+ - 2 0 1 0 1 4 4
77
+ + 3 1
78
+ - 1 0 4 3 3 3 4
79
+ - 2 0 0 3 1
80
+ - 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 1 2 1
81
+ - 2 2 1 4 4 1 1 1 2 3 0 4
82
+ - 3 2 4 3 2 1
83
+ - 2 2 1 1 2 1 2 2 2 2 0 2 1 1 2 2 2 2 2
84
+ + 4 0 4 1 1 0 4 1 2 3
85
+ - 2 1 2 3 3 0 3 4 4 3 4 1 0
86
+ - 2 0 3 3 0 0
87
+ + 3 1
88
+ - 2 1 0 0 2 1 4 4 1 1 0 2
89
+ - 1 1 0 0 2 3 3 3 4
90
+ - 4 2 3 2 3
91
+ - 3 4 2 2
92
+ + 2 1 0 0 3 2 2 2 1 0 3 4
93
+ - 1 4 4 0 4 4 2 4 2 1 4 0
94
+ - 2 2 4 4 2 2 2 2 1
95
+ + 3 1
96
+ - 2 2 1 1 1 2 2 2
97
+ - 3 3 4 0 4 4
98
+ + 4 2 1 0 3 3 2 1 2 0
99
+ - 4 3 4 2 2 1
100
+ + 4 2 1 0
101
+ - 0 0 3 3 4
102
+ + 2 3 3 1 0 3 4 0 0 4 1 4 0
103
+ - 0 1 0 4 3 4
104
+ - 3 3 2 1 1
105
+ - 3 2 2 2 2 2 2 2 2 1 3 2 1
106
+ - 0 2 1 4 2 3 1 3 2 4 4 1 2
107
+ - 3 2 4 2 2 1 0 3
108
+ + 4 0 4 1 1 0 2 1 2 0
109
+ + 4
110
+ - 2 2 1 1 2 1 1 2 4 4 2 2 2 3
111
+ + 4 2 1 0 2 2 0 0 0 0 0
112
+ - 3 1 2 3 4
113
+ + 4 0 4 1 1 1 1 2 0
114
+ + 2 1 4 3 4 4 3 0 3 4 2 2 4
115
+ + 4
116
+ + 4 2 1 1
117
+ + 3 1
118
+ - 4 3 2 1 1 1 0
119
+ + 3 1
120
+ - 2 3 4 3 4 4 0 4 1 1 1 1 1
121
+ + 2 3 4 3 1 1 4 2 1
122
+ - 2 4 4 1 0 4 0 3 3 2
123
+ - 3 3 2 0 3 2 4
124
+ + 3 1
125
+ - 1 1 4
126
+ - 4 2 0 4 1 3 4 2 1
127
+ - 2 2 3 4 4 0 4
128
+ - 3 2 2 2 2 1 2 3 2 2 2 2
129
+ - 0 4 0 2
130
+ + 3 1
131
+ + 2 4 3 4 3
132
+ - 2 3 3 4
133
+ + 4 2 1 1 0 4 2 0 0 3 4 3 4 2 3 2 1 1 0
134
+ + 3 1
135
+ + 4
136
+ + 2 3 0 0 4 0 4 0
137
+ - 1 3 2
138
+ - 3 2 1 2 0
139
+ - 0 2 2 2 3 1 4
140
+ + 4
141
+ + 3 1
142
+ + 3 2 2 2 1 0 3 3 3 3 3 3 3 3 4
143
+ + 4
144
+ - 2 1 1 4 2 2 0
145
+ + 2 1 4 3 0 4 4 1 0 2 3 1 0 3 3 3 4
146
+ - 3 4 1 0 3 4
147
+ - 0 4 1 1 0 4 2 1 0
148
+ + 4
149
+ - 0 4 0 2
150
+ - 4 2 0 4 1 3 4 2 1
151
+ + 4
152
+ - 3 2 1 0 4 3 3 4
153
+ - 3 2 2 1 2 2 1 4
154
+ + 3 1
155
+ + 4 0 4 1 0 2 0
156
+ - 2 1 2 3 3 0 3 4 4 3 4 1 0
157
+ + 2 4 4 1
158
+ + 2 0 4 1
159
+ + 4 0 4 1 1 2 0
160
+ + 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 1 2
161
+ + 4
162
+ + 2 1 2 3 1
163
+ + 4
164
+ + 4
165
+ - 3 2 2 2 2 1 2 3 2 2 2 2
166
+ + 3 2 1 0 3 3 3 3 3 4
167
+ + 2 1 1 3 3 0 4 4 0 4 4 4 4 1 0 4 0 4 4 1 4
168
+ + 2 1 4 4 1 1 4 2 1
169
+ + 2 3 0 0 4 2 1
170
+ + 2 1 4 3 1 0 3 4 4 4 0 3 4 4 3 0 4 1
171
+ + 2 2 1 1 2 1 1 2 1
172
+ - 4 0 1 2 1 2 2 2 2 2
173
+ - 0 3 2 3 0 1
174
+ + 4
175
+ - 0 0 1 3
176
+ - 2 1 2 1 3 1 2 1 4 2 2 4 1
177
+ - 2 0 1 1 2 2 4 1 3
178
+ - 3 0 4 4
179
+ + 4
180
+ - 3 2 1 0 0
181
+ - 2 1 4 3 4 4 0 3 1 1 0 0 2 4 3 0 0
182
+ + 3 1
183
+ - 2 4 0 0 4
184
+ + 4 2 1 1 0 1
185
+ + 2 3 2 2 4 4 1
186
+ + 4
187
+ - 0 2 1 4 0 4
188
+ - 2 1 4 0 1
189
+ + 3 2 2 2 2 1 0 3 3 3 3 3 4
190
+ + 3 1
191
+ - 3 2 2 1 0 3 4 4
192
+ + 2 2 1 1 2 2 2 2 2
193
+ - 3 3 4 2 4 4 3 4 3 0 2 1
194
+ - 2 1 2 4 0 1 1 2 1
195
+ + 4
196
+ - 4 4 4 1 1 4 0
197
+ - 1 0 2 0 0 4
198
+ + 3 1
199
+ - 3 1 0 2 3 3 2 4
200
+ + 3 1
201
+ + 2 1 2 3 1
202
+ - 3 0 2 2 2 4 1 0
203
+ + 4 2 1 0 3 3 4 1 2 4 2 1 0
204
+ - 2 1 0 4 1 4
205
+ - 2 3 3 4
206
+ + 2 0 1
207
+ - 0 1 4 1 2 0
208
+ - 4 3 1 2 0 4
209
+ + 2 0 1 0
210
+ - 2 3 4 2 1 1 4 1 4 2
211
+ - 3 2 2 1 4 0 4
212
+ + 3 1
213
+ + 2 3 2 2 4 2 4 1 0 0
214
+ + 4
215
+ - 3 2 2 1 0 3 2 4
216
+ - 2 4 0 0 4
217
+ + 4 1 4 1 0 3 0 0 3 2 2
218
+ - 2 2 0 2 2 2 2 1 1 2 2 2 2 2 2 2 1
219
+ - 2 2 1 4 3
220
+ - 2 4 2 1 1 4 1
221
+ - 4 3 4 4 4 4 0
222
+ + 3 1
223
+ + 4
224
+ + 4 0 4 1 1 1 1
225
+ + 2 1 3 1 4 2 2 2 1
226
+ + 3 1
227
+ + 2 4 1 2 1
228
+ + 4
229
+ + 4
230
+ - 2 3 3 0 4 0 0 0 4 2 4 3 1 1
231
+ - 2 2 4 4 2 2 2 2 1
232
+ + 4
233
+ - 2 3 2 2 2 0 4
234
+ + 4
235
+ + 4 0 4 1 0 3 0 3 3 3 2
236
+ - 2 0 1 3 2 0
237
+ - 3 0 1
238
+ - 2 1 4 1 0 4
239
+ - 1 1 4 2 1 3 4
240
+ + 2 4 2 4 1 4 3
241
+ + 2 3 0 0 2 2 2 2 2 2 2 2 1 1 2 1 1 2 2 2 1 1 2 1 1 2 1 1 2 2 2 2 2 2 2
242
+ + 3 1
243
+ - 4 4 0 4 1 1 2 2
244
+ - 4 4 1 0
245
+ - 3 0 1 2 3 0 0 0
246
+ - 2 4 4 3 2 4 0
247
+ - 2 3 3 1 4 3 1 4 0 4 4 1 3 1 2 2 0 4
248
+ - 2 1 0 3 0 0 4
249
+ + 3 1
250
+ + 2 4 3 4 4 1 4 1
251
+ + 3 2 2 2 1 0 3 3 3 3 3 3 3 3 4
252
+ - 2 2 1 0 2 4
253
+ + 2 3 3 1 1 0 3 0 4 4 0 0 4 1
254
+ + 2 0 4 1
255
+ + 2 2 2 2 2 2 2 2 1 1 2 2 2
256
+ - 2 1 3 0 3 1 0 0 3 1 0 0 3 0 4 4 0 1 1
257
+ - 1 3 2 1 0 4
258
+ + 2 0 3 4 4 1
259
+ - 3 2 3 4 2 2 1
260
+ - 2 3 2 4 4 3 1
261
+ - 4 4 1
262
+ + 4
263
+ + 4 1 4 1 1 0 4 1 2 1 0
264
+ - 3 0 1
265
+ - 0 4 2 2 2 1 0 2 3 4
266
+ + 2 3 2 4 1 4 1
267
+ - 3 0 2 2 2 1 0 3 4
268
+ - 4 4 1 0 2 2 1 1 1 0
269
+ - 0 2 0 1 4 2
270
+ - 2 2 1 4 1 0 4
271
+ + 2 1 2 3 2 2 2 2 2 2 1 0 4
272
+ + 2 4 4 1
273
+ + 3 1
274
+ - 2 3 2 0 0 3 1
275
+ - 1 2 1 1 1 2 0 2 0
276
+ + 4
277
+ + 4 2 1 0 4 0
278
+ - 4 1 4 1 0 4 0 3 3 2 0 0
279
+ - 0 1 1 0 3
280
+ - 2 3 0 0 3 1 0 3
281
+ - 4 3 3 1 0
282
+ + 2 1 4 4 0 4 1
283
+ - 2 3 4 4 1 0
284
+ - 3 2 1 0 2 3 3 2
285
+ - 3 2 2 1 1 0
286
+ - 0 1 2
287
+ + 3 1
288
+ - 4 0 2 1 0
289
+ - 0 3 0 2 2 2 4 1 0 1 2 3 0
290
+ + 3 1 0 3 3 3 3 4
291
+ - 3 4 1 0 3
292
+ - 2 2 1 1 2 2 2 2 2 1 1 2 2 4 2 2 3 4 2
293
+ - 4 2 3
294
+ - 4 4 1 1 1 1 3
295
+ - 3 2 1 4
296
+ + 4
297
+ - 4 3 4 2 2 1
298
+ + 2 1 3 3 0 4 1 0 3 4 0 0 4 2 0
299
+ + 2 3 3 1 1 0 3 0 3 1 0 3 0 4 0 3 4 0 0 3 2 2 2 2 2 2 1 0 4
300
+ - 1 3 1 0 3 3 4
301
+ - 3 4 2 3 2 1 1 0
302
+ + 2 1 3 1 0 4 1
303
+ - 2 0 4 1 4 1
304
+ - 2 4 1 2
305
+ + 4 1 4 1 1 0 2 1 2
306
+ + 4
307
+ + 3 2 2 2 1 0 3 3 3 3 3 4
308
+ - 2 1 0 3 1 1
309
+ - 4 1 1 2 1 2 1
310
+ + 4
311
+ + 2 3 2 4 1 4 1 0 1 0
312
+ + 2 1 4 3 4 1 4 1
313
+ + 3 1
314
+ - 4 3 4 0 0
315
+ - 3 1 4 1 3 1 1 0 1
316
+ + 2 1 4 4 0 3 4 0 0 4 2 0
317
+ - 2 4 1 4 2 0 0 0
318
+ + 2 1 4 3 4 2 2 0 0
319
+ - 3 3 4
320
+ - 3 2 2 0 4
321
+ + 4 2 1 1 1 1 0 3 3 3 0 0 0 0 0 0 3 3 0 3 4 3 2 0
322
+ + 2 1 3 0 2 2 0 3
323
+ + 3 1
324
+ - 3 1 0 2 3
325
+ - 4 1 2 1 2
326
+ - 3 2 3 1 0 4 4 1 4 1
327
+ - 4 3 4 1 0 1
328
+ + 2 3 2 4 1 4 1 0 1 0
329
+ - 1 4 4 4 0 1 1
330
+ - 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 1 2 1
331
+ + 4 2 1 1 1 0 1 0 0 0
332
+ + 3 1
333
+ - 4 1 4 1 1 1 0 3 0 0 3 2 3 2 2 0 0 0 0 0 2 0 0
334
+ + 4 1 4 1 1 0 2 1
335
+ + 2 1 1 0 2 4 2 0
336
+ - 4 2 0 1 4 0 0 0 0 2 0
337
+ + 2 0 1
338
+ + 4 0 4 1 1 2 2
339
+ + 2 3 2 4 0 4 1 0 2 1 1 0
340
+ + 4 1 4 1 0 3 0 0 3 2 2
341
+ - 2 1 0 1 0 0 0
342
+ - 2 4 2 0 2 3
343
+ - 1 2 1 4 4 2 3 1 2
344
+ + 4
345
+ + 4 2 1 0 4 0
346
+ + 3 1
347
+ - 3 3
348
+ + 4 2 1 0 3 3 2 0
349
+ - 1 1 1 2 2 2
350
+ + 4
351
+ + 2 4 4 1
352
+ - 1 2 0 2 4 2 4 3
353
+ - 4 0 4 2 1 1 0 1
354
+ - 4 4 1 2 4
355
+ + 3 1
356
+ + 2 3 0 0 4 2 1 0 3 3 3 0 0 3 4 3 1
357
+ - 4 2 2 1 1 2 2
358
+ - 3 2 4 2 2 1 0 3
359
+ - 2 0 1 1 2 1 1 2 2
360
+ + 2 1 2 3 2 2 2 2 1 0 3 3 3 3 4
361
+ - 2 3 3 1 4 3 1 4 0 4 4 1 3 1 2 2 0 4
362
+ - 3 1 0 2 0 4
363
+ - 3 0 2 1 1 2 1 4
364
+ + 2 3 3
365
+ + 2 3 4 4 1 1 0 4 1
366
+ - 4 2 4 1 1
367
+ + 2 3 2 2 2 1
368
+ + 2 1 1 0 3 1 1 0 3 0 4 0 3 0 4 1 0 3 1 1 3 2 2 3 1 2
369
+ + 2 1 4 3 4 1 0
370
+ - 1 2 1 4 4 2 3 1 2
371
+ - 1 3 4 1
372
+ + 2 0 4 1
373
+ - 4 4 2 1 0 0 2 0 3 0 4 1
374
+ - 3 2 2 4 2 1 0 4
375
+ - 4 2 4 0 0
376
+ - 4 1 1 0 2 2 0 0 0 0
377
+ + 2 1 4 3 0 3 4 4 3 0 4 0 3 1 1 0 4 4
378
+ - 3 2 2 3 1
379
+ - 3 0 2 4 1 3
380
+ - 2 3 0
381
+ - 2 3 3 0 4 1 0 4 1
382
+ + 3 1
383
+ - 0 2 2 4
384
+ + 2 3 3
385
+ - 0 4 4 1 1 1
386
+ - 4 2 4 2 2 1
387
+ + 4
388
+ + 2 3 0 0 3 1 0 3 4
389
+ - 3 2 2 0 4
390
+ + 2 2 2 2 1 1 2 1 1 2 2 2 2 2 1
391
+ + 2 4 2 4 1 4 4 1
392
+ + 4 1 4 1 0 4 1 2 1
393
+ - 2 2 2 2 2 2 2 1
394
+ + 2 3 4 4 0 4 4 2 2 3 4 3 4 1 0 4
395
+ + 3 1
396
+ - 1 3 1 3
397
+ + 2 1 4 4 1 1 2 1
398
+ - 4 3 1 0 4 4
399
+ - 2 1 1 0 0 0 4 3 2 1
400
+ - 4 4 4 0
401
+ - 4 2 3 2 3
402
+ - 3 3
403
+ - 3 3 0 2 2 2 2 2 2 1 0 3 4
404
+ - 2 4 1 0 4 4 1
405
+ + 4 2 1 1
406
+ - 0 4 3 4 1 1 2 4
407
+ - 3 2 3 0 0 4
408
+ - 2 1 0 0 2 1 4 4 1 1 0 2
409
+ - 1 2 0 4 3 1
410
+ - 2 2 2 2 2 2 2 1
411
+ - 3 1 1 3 2 4
412
+ + 3 2 2 2 1 0 3 3 4
413
+ + 3 1
414
+ - 3 3 0 3 4
415
+ - 2 2 1 1 2 2 2 2 1 2
416
+ + 4
417
+ + 2 0 4 1
418
+ - 0 4 4 1
419
+ + 4
420
+ - 2 4 1 2 2 1
421
+ - 1 4 3
422
+ + 4
423
+ - 0 4 1 4 1 2 1 2 2 2
424
+ - 2 3 4 4 1 0 3 1 0 4 4 4 1 4
425
+ - 4 4 1 2 1
426
+ - 2 1 0 3 4
427
+ - 1 2 2 2 0 3 1 4
428
+ - 2 3 1 0 3 0 4 3
429
+ + 2 4 2 4 1 4 4 1
430
+ - 2 1 4 3 1 0 3 1 0 3 3 1 0 4 2 1 1 0 3 0 1 4
431
+ + 2 2 1 1 2 1 1 2 1 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2 1 1 2 1 1 2 2 2 1 1 2 2 2 1
432
+ - 3 3 1 0 3 3 3 3 1
433
+ - 4 3 1 2 3 4
434
+ + 2 3 4 4 0 3 0 3 1 0 4 0 4 1
435
+ + 2 3 0 0 2 4 2 4 1 0 1 2 4
436
+ + 3 1
437
+ - 3 3
438
+ - 1 0 3 4
439
+ + 4 1 4 1 0 4 3 4 3 4 3
440
+ + 2 0 4 1
441
+ - 3 0 4 2 4
442
+ + 2 0 3
443
+ - 2 1 0 3 1 1
444
+ - 4 3 0 4 2 0
445
+ + 4 2 1 1 2 0
446
+ - 4 4 0 2
447
+ - 3 2 2 2 2 2 2 0 1
448
+ + 4 0 4 1 1 2 2
449
+ - 0 4 1 4 1 2 4 3 3 2 0
450
+ + 4
451
+ - 2 4 0 3 3 2 1 1 1 0
452
+ - 4 4 4 1 2 4
453
+ - 2 2 4 1 1 2
454
+ - 3 1 0 4 1
455
+ - 3 4 3 0 0
456
+ - 2 3 0 1 3 1 3 3 4
457
+ + 4
458
+ - 0 0 1 3 0 2
459
+ - 3 2 1 4
460
+ - 3 2 0 1 3
461
+ + 3 1
462
+ - 1 3 3 3 4
463
+ - 4 2 0 0 2 3 4 1
464
+ - 2 4 1 0 3 3 0 2 3
465
+ - 2 2 1 2 1 1 2
466
+ + 3 2 2 2 1 0 3 3 4
467
+ + 4 1 4 1 2 1 2
468
+ - 1 4 0 2
469
+ + 2 1 2 3 1 0 4
470
+ - 1 3 0 0 4
471
+ + 2 3 2 2 4 2 4 1 0 0
472
+ - 2 0 4 2 4 1 4 3 4 1 4 3 1
473
+ + 2 4 4 1
474
+ + 4
475
+ - 4 1 3 0
476
+ - 2 1 0 0 3 1 0 3 3 4 4
477
+ - 3 1 0 2
478
+ - 1 2 4 3
479
+ + 3 1
480
+ + 2 1 2 3 1 0 4
481
+ + 2 3 3 3 0 4 4 1 3 3
482
+ - 2 4 2 1 1 4 1
483
+ - 3 4 0 4 3 1
484
+ - 4 2 2 1 2 0 4
485
+ + 4 2 1 0
486
+ - 2 1 2 2 3 2 3
487
+ + 2 3 4 3 4 3 3 0 4 1 1 3 3 1 4 2 2 0 3 0 1 4
488
+ + 4 2 1 1 0 1 0 0
489
+ + 4
490
+ - 3 0 3 3 3 4
491
+ - 4 2 3 4 4
492
+ - 4 2 3 1 0
493
+ - 2 0 2 2
494
+ - 3 3 2 1 1 0 4
495
+ - 4 3 0 2 1
496
+ - 4 3 1 2 0
497
+ + 4 2 1 0 3 3 4 1 2 4 2 1 0
498
+ - 1 4 0 4 4 4 2 3 1
499
+ + 3 2 2 2 1 0 3 4
500
+ - 3 2 1 3 3 3 3 3 4
501
+ + 2 3 0 0 3 1 0 3 4
502
+ + 2 1 2 3 1 0 4
503
+ + 3 1
504
+ + 2 1 0 0 3 2 2 2 1 0 3 4
505
+ + 2 1 0 0 2 1 3 3
506
+ + 2 1 4 3 1 0 3 0 3 4 1 1
507
+ - 0 1 2 2 1 0 4
508
+ + 4 2 1 0
509
+ + 4
510
+ - 4 0 4 3
511
+ + 2 1 0 0 3 2 1 0 4
512
+ - 2 2 1 0 4 2 1
513
+ + 3 1
514
+ + 4
515
+ - 3 2 1 0 0 1
516
+ + 3 1
517
+ - 0 0 2 4 1 1
518
+ + 3 1
519
+ - 4 1 4 1 1 1 0 3 0 0 3 2 3 2 2 0 0 0 0 0 2 0 0
520
+ + 2 0 4 1
521
+ - 3 2 3 0 3 3 3 4
522
+ - 3 3 4 0 4 4 4 3 0 4 1 1 2 1 1 2 2 3 2 1
523
+ + 3 1 0 3 3 3 3 4
524
+ + 4 2 1 1
525
+ + 2 3 1 0 3 0 1 1
526
+ - 3 3 2 1 1 0 4
527
+ + 2 3 3 0 4 3 0 3 4 1 1
528
+ + 3 1
529
+ - 2 4 1 1 0 3 1 1
530
+ + 2 4 3 4 3
531
+ - 1 4 1 0 4 1 0 3 0 1 0 0 0
532
+ - 4 2 2 1 2 2 0 1 2
533
+ + 4 0 4 1 0 2 0
534
+ - 3 2 1 0 0
535
+ + 4 0 4 1 1 1 1 0
536
+ + 3 1
537
+ + 4
538
+ - 2 0 1 3 2 0
539
+ - 0 2 0 1 1
540
+ + 2 3 3 0 4 3 0 3 4 1 1
541
+ + 2 1 3 1 0 4 0 4 4 1 2
542
+ - 2 0 0 4 4 1
543
+ - 2 3 1 0 2 3 1 0 2 4
544
+ + 4 1 4 1 1 1 0 2 0
545
+ + 2 4 4 1
546
+ + 2 3 3 0 0 0 2 2
547
+ - 2 3 4 3 4 2 2 0 2 0 4
548
+ + 4
549
+ + 2 1 0 0 2 0 4
550
+ + 2 2 2 2 2 2 2 2 1 1 2 1
551
+ + 2 4 2 4 1 0 1 2
552
+ + 2 1 3 1 0 3 4 1 4
553
+ + 2 0 1 3 4 3
554
+ - 4 4 1 2 1
555
+ - 0 3 2 0 4 1 4
556
+ + 4
557
+ - 4 4 4 1
558
+ - 3 3 2 1 0 0 2 4
559
+ + 4 2 1 0 2 2 0 0 0 0 0
560
+ - 2 1 3 2 4 1 2 2 2 3 4 3 0 3 0 3 4 1 0 4
561
+ - 3 0 3 3 3 4
562
+ - 1 4 4 4 0 0
563
+ + 2 4 4 1
564
+ + 4 2 1 0 1
565
+ - 3 2 2 1 0 3 4 4
566
+ - 2 1 3 0 3 1 0 0 3 1 0 0 3 0 4 4 0 1 1
567
+ - 1 4 4 2 1
568
+ + 4
569
+ + 4
570
+ - 4 3 1 0 4 4
571
+ - 3 2 2 2 2 2 2 2 1 2 1 0 4
572
+ + 3 1
573
+ + 3 1
574
+ + 3 1
575
+ + 4
576
+ - 3 1 3 1 2 1 3 4
577
+ - 3 3
578
+ + 4
579
+ - 1 2
580
+ + 2 1 4 3 4 1 0
581
+ + 3 1
582
+ - 3 3 2 0 3 2 4
583
+ - 1 0 4 2 1
584
+ - 2 4 0 3 3 2 1 1 1 0
585
+ - 2 2 1 1 2 2 2 2 2 2 2 1 1 2 1 1 2 2 2 1 4 1 2 2 2 2 2 2 2 1 1 2 2 2 1 1 2 1
586
+ + 2 1 4 4 0 3 4 0 0 4 2 0
587
+ - 1 2 4 2 0
588
+ + 4 1 4 1 0 4 3 4 3 4 3
589
+ + 2 0 1 0
590
+ + 2 1 0 0 3 1 0 3 3 3 4
591
+ - 2 3 1 4 3 4
592
+ + 2 4 4 1
593
+ + 4
594
+ + 3 1
595
+ - 2 3 0 0 3 1 0 3
596
+ + 2 3 0 0 3 2 2 1
597
+ - 2 0 3 3 0 0 1 3 2 2
598
+ - 0 1 2
599
+ + 2 0 3 0 0
600
+ + 3 1
601
+ + 4 2 1 0 4 3 4 4 3 4 3 0 0 0 0 3 3 0 3 2 2 0 0 0
602
+ - 1 2 2 1
603
+ + 3 1
604
+ + 2 2 2 2 2 2 2 2 1 1 2 2 2
605
+ + 4 0 4 1 1 1 2 0
606
+ - 4 0 4 2 1 1 0 1
607
+ - 3 4 3 1 0 4
608
+ - 3 2 2 3 3 0 2
609
+ - 3 3 2 2 2 2 2 1 0 4
610
+ - 4 4 1 0 2 2 1 1 1 0
611
+ - 2 1 0 3 3 1 4
612
+ - 0 2 0 1 4 2
613
+ - 4 2 1 1 0 4 2 0 0 2 0
614
+ - 4 2 3 2 2
615
+ + 4
616
+ - 2 3 1 4 3 4
617
+ + 2 3 4 3 0 4 1
618
+ - 3 3 0 3 4 4 1 4 2 4 2 1 2
619
+ - 3 3 4
620
+ + 2 1 2 2 3 4 3 1 1 3 3
621
+ - 1 4 4 2 1
622
+ + 3 1
623
+ - 1 4 0 2
624
+ + 2 1 3 0 4 4 1 1 0 4 4
625
+ - 3 0 4 0 2
626
+ + 2 1 3 3 1 0
627
+ - 3 2 1 0 0 1 4
628
+ - 3 2 1 3 3 4 4
629
+ - 2 2 3 2 2 4 3 1 2 2 0 0
630
+ - 3 4 3 1 0 4
631
+ + 4 0 4 1 0 1 0 0
632
+ + 4 2 1 1 0 2 1 0
633
+ + 4 2 1 0 2 1 2
634
+ - 3 1 1 3 1
635
+ - 2 3 0
636
+ - 1 3 0 0 4
637
+ + 3 1
638
+ + 4 2 1 0 1
639
+ - 1 2 0 2 4 2 4 3
640
+ + 4
641
+ - 3 2 1 0 2 3 3 2
642
+ + 4
643
+ - 3 0 1 2 3 0 0 0
644
+ + 3 1
645
+ - 2 3 1 0 3 4
646
+ + 2 3 0 0 2 4 2 4 1 0 1 2 4
647
+ - 2 1 3 3 0 3 4 2 4 0 2 1 1 2 0
648
+ - 3 2 2 4 2 1 0 4
649
+ - 0 4 1 4 1 2 1 2 2 2
650
+ - 3 2 3 1 3 0 3 4
651
+ - 2 3 4 3 1 1 1 2 3
652
+ + 3 1
653
+ - 3 0 1
654
+ - 0 0 1 3
655
+ + 4
656
+ + 2 3 1 0 3 1 4 4 4 1 0 4 1 0 4 1 0 4 4 2 3 1 0 4
657
+ - 3 0 2 2 2 4 1 0
658
+ - 1 2 1 3 4 1 1
659
+ - 2 1 0 3 0 0 4
660
+ - 4 3 1 2 1 3 0
661
+ - 3 3
662
+ - 1 4 2 2 0
663
+ - 3 3 0 1 2 2
664
+ - 3 2 4 1 0 2 1 0 3 3 3 3 4 4
665
+ - 3 3 2 2 0 4
666
+ + 2 1 3 1 1 0 4 4 3 3 0 4 0 4 1 1 3 0 1 1
667
+ - 2 0 2 4 2 0
668
+ + 2 1 3 1 0 3 4 1 4
669
+ - 3 2 2 1 4 0 4
670
+ - 2 2 1 1 2 1 1 2 4 4 2 2 2 3
671
+ + 4
672
+ + 2 1 4 4 1 1 4 2 1
673
+ + 3 1
674
+ - 0 3 0 2 2 2 4 1 0 1 2 3 0
675
+ - 4 4 4 1 2 4
676
+ + 4 2 1 1 0 2 1 2 0
677
+ + 2 3 4 4 0 3 0 3 1 0 4 0 4 1
678
+ - 3 1 0 2 3
679
+ + 4 2 1 0
680
+ + 3 1
681
+ - 2 0 3 2 0 4
682
+ - 1 0 2 0 0 4
683
+ + 4
684
+ + 2 4 4 1
685
+ - 3 4 0 2 1 0 2
686
+ - 2 2 1 0 3 3 3 3 3 3 1 3 4
687
+ - 2 4 4 4 1
688
+ + 3 1
689
+ - 2 3 4 4 1 0
690
+ - 4 2 1 1 0 4 2 0 0 2 0
691
+ - 2 3 1 1 0
692
+ + 2 0 3 0 0
693
+ + 4
694
+ - 3 1 2 1 0 4
695
+ + 3 1
696
+ + 2 1 3 1 0 4 1
697
+ - 3 4 0 0 4 1
698
+ + 4 1 4 1 0 4 1 2 1
699
+ + 4 2 1 0 4 2 0 0 3 3 3
700
+ - 4 0 0 0
701
+ - 1 4 1 3 0 3 0 3
702
+ + 3 1
703
+ + 2 0 3
704
+ + 3 2 2 2 1 0 3 4
705
+ - 3 1 0 2
706
+ + 3 1 0 3 3 3 3 4
707
+ + 3 1
708
+ + 2 3 3 0 3 3 0 4 4 0 1 1
709
+ + 3 1
710
+ - 2 2 2 1 4 1 3 1 2
711
+ - 4 4 0 4 1 0
712
+ - 0 2 0 2 1
713
+ - 0 1 0 1 0 1 0
714
+ - 4 2 1 3 0 0 0 0 3 3 3
715
+ - 4 1 4 4
716
+ + 4
717
+ - 2 4 1 0 4 4 1
718
+ + 4 2 1 1 1 1 0
719
+ - 3 3 0 3 4
720
+ + 4
721
+ + 2 1 3 0 4 4 1 1 0 4 4
722
+ - 1 0 0 0 4 0 4 0
723
+ - 3 2 3
724
+ + 3 1
725
+ - 2 3 0
726
+ - 2 0 1 3 3 4
727
+ + 2 2 1 1 2 1 1 2 1 1 2 1
728
+ + 2 4 1 3 0 1 2 2
729
+ + 2 1 3 3 1 1 2 3 1 0 4
730
+ + 2 0 1 2 1
731
+ + 4
732
+ - 2 3 2 2 1 0 3 3 4 4
733
+ - 4 0 1 4
734
+ - 3 3 3 1 0 3 3 3 4
735
+ + 4 2 1 1 1 1 0 3 3 3 0 0 0 0 0 0 3 3 0 3 4 3 2 0
736
+ - 4 0 2 2 3 4 0
737
+ + 2 2 1 1 2 1 1 2 1 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2 1 1 2 1 1 2 2 2 1 1 2 2 2 1
738
+ - 2 3 0 3 1 2
739
+ - 0 4 2
740
+ + 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2
741
+ + 4
742
+ + 2 4 4 1
743
+ + 2 3 0 0 2 0
744
+ - 3 2 1 0 3 3 3 3 0 3 2 3 2 4
745
+ - 4 0 4 2
746
+ + 2 3 4 3 1
747
+ - 3 4 2 1 1 2 0 3 3 4
748
+ + 3 1
749
+ - 4 4 1
750
+ - 1 4 1 3 0 3 0 3
751
+ + 4
752
+ - 0 2 2 2 3 1 4
753
+ - 3 1 1 3 2 4
754
+ + 3 2 2 2 2 1 0 3 3 4
755
+ - 0 3 2 0 4 1 4
756
+ - 0 4 0 0
757
+ + 3 1
758
+ - 2 0 2 2
759
+ - 3 4 2 1 1 2 0 3 3 4
760
+ - 1 1 3 1
761
+ + 4 0 4 1 0 4 0 4 4 4 4 4 4 1
762
+ + 2 0 4 1
763
+ + 4
764
+ - 2 4 1 4 2 2 3
765
+ - 3 0 1 4
766
+ + 2 1 2 3 2 2 2 2 2 2 1 0 4
767
+ - 3 2 2 1 4 1 0 3 1
768
+ + 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2
769
+ - 2 3 1 0 3 4
770
+ - 3 3 2 2 0 4
771
+ - 4 3 3 4 0
772
+ + 3 1 0 3 3 3 3 4
773
+ + 2 0 1 4
774
+ - 3 3
775
+ - 2 3 3 0 0 0 1 1 4 4 2 4 4 0 4 1 1 2 2
776
+ - 3 2 1 3 3 4 4
777
+ - 2 2 1 0 2 0 1 2 1
778
+ + 3 1
779
+ - 3 3 4
780
+ + 4
781
+ + 4 2 1 1 1 1 0
782
+ - 2 1 4 1 2 0
783
+ + 4 0 4 1 1 1 1 2 0
784
+ + 3 1
785
+ - 2 3 1 4 3 0 1 2 4 1 1 2 2 1 2
786
+ - 2 3 2 1
787
+ + 2 0 1 1 2 3
788
+ + 3 1
789
+ - 0 0 3 3 4
790
+ + 2 3 4 3 0 3 4 3 1 0 3 0 3 1 1 1 1 3
791
+ - 0 2 0 4 0 0
792
+ - 4 2 1 0 0 3 2 1 0 3 4
793
+ - 4 4 0 2
794
+ + 4
795
+ - 2 3 3 0 4 0 0 0 4 2 4 3 1 1
796
+ - 2 2 3 0
797
+ + 3 1 0 3 3 3 3 4
798
+ - 2 0 1 0 1 4 4
799
+ - 3 0 3
800
+ - 2 1 3 3 0 3 4 2 4 0 2 1 1 2 0
801
+ + 4 0 4 1 0 4 3
802
+ - 4 0 0 4 0 0
803
+ + 4
804
+ - 2 1 1 0 0 0 4 3 2 1
805
+ - 3 2 2 0 4
806
+ + 3 1
807
+ + 2 3 2 2 2 1
808
+ - 4 1 4 1 3 1 1
809
+ - 4 1 1 2 1 2 1
810
+ + 2 4 4 1
811
+ - 4 1 4 3 1 1 1 3 1 0
812
+ - 2 2 0 2 1 0 4
813
+ + 2 1 3 1 4 1 4 1
814
+ + 2 3 4 3 1 1 0 4 1
815
+ - 4 2 3 1 2 1 2
816
+ - 3 1 0 2 0 4
817
+ + 2 3 1 0 3 1 4 4 4 1 0 4 1 0 4 1 0 4 4 2 3 1 0 4
818
+ - 3 2 3 0 3 3 3 4
819
+ - 3 4 1 4 0 3 3 4
820
+ + 4 2 1 0
821
+ + 4
822
+ - 4 1 2 0 3 4
823
+ + 4 2 1 1 0 2 1 0
824
+ - 2 1 0 1 0 0 0
825
+ - 2 4 1 2 3 1 0 4
826
+ - 2 1 4 1 4 1 0
827
+ - 4 4 4 1 1 4 0
828
+ - 4 2 4 0 0
829
+ - 3 1 1 1 0 3 4
830
+ + 2 1 3 0 2 2 0 3
831
+ - 0 2 1 4 0 4
832
+ - 4 4 1 1 1 1 3
833
+ - 2 2 1 3 0 4 4 4 4 4 2 4 1 4 0
834
+ + 2 3 4 3 0 4 1
835
+ - 2 4 3 3 3 4 1 0 1 4
836
+ - 2 3 2 2 2 0 4
837
+ - 3 3 4 2 4 4 3 4 3 0 2 1
838
+ + 3 1
839
+ + 2 2 1 1 2 1 1 2 1 1 2 1
840
+ + 3 1
841
+ - 3 2 3 0 0 4
842
+ + 2 0 4 1
843
+ + 4 0 4 1 0 4 3
844
+ + 4
845
+ - 2 3 4 4 2 1 3 4 4 1 0 3 4 0 0 2 2 1 1 2
846
+ + 3 1
847
+ - 3 2 2 1 2
848
+ + 2 3 4 4 0 4 4 2 2 3 4 3 4 1 0 4
849
+ + 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1
850
+ - 4 2 3 1 0
851
+ + 2 2 1 1 2 2 2 2 2
852
+ - 1 4 3 1 4 4 0
853
+ + 2 3 0 0 2 2 1
854
+ - 4 3 2 2 3 1 0 3 4
855
+ + 2 1 3 0 2 4 1
856
+ - 2 3 1 1 2 1
857
+ + 4 1 4 1 1 1 0 1 0 0 0 0 0
858
+ + 4 2 1 1 2 0
859
+ + 2 0 1 4
860
+ - 2 3 2 4 2 2 0
861
+ - 1 0 1 0 4
862
+ + 2 3 3 0 3 3 0 4 4 0 1 1
863
+ + 4
864
+ - 3 2 3 0 0 2 3 2 3 3 2 4
865
+ + 4
866
+ - 2 3 0 1
867
+ - 3 0 0 4 2
868
+ + 4
869
+ - 4 1 0 4 1 0 3 3 4 1 2 0 4 2 3 0 3 4 0
870
+ + 3 2 2 2 1 0 3 3 4
871
+ - 3 3 2 1 1
872
+ + 4 0 4 1 1 1 2 0
873
+ + 4 2 1 0 1
874
+ + 2 3 3
875
+ - 2 0 4 4 0
876
+ + 4
877
+ + 4
878
+ - 0 3 2 3 0 1
879
+ + 3 1
880
+ + 2 1 3 1 1 0 4 4 3 3 0 4 0 4 1 1 3 0 1 1
881
+ + 3 2 2 2 1 0 3 4
882
+ - 1 4 4 0
883
+ - 3 0 4 4
884
+ - 4 1 3 1 2
885
+ - 2 3 3 3 0 3 1 1 3 3 3 1 3 4 4 1 0 4 1 2
886
+ - 3 2 1 0 0 1
887
+ - 0 4 3 4 4 1
888
+ - 4 4 4 1
889
+ - 2 3 2 4 4 3 1
890
+ - 2 3 0 1 3 1 3 3 4
891
+ - 3 0 1 0 3 3 3 3 3 3 4 4
892
+ + 4
893
+ - 0 2 0 4 0 0
894
+ - 2 2 1 0 2 0 1 2 1
895
+ - 4 2 1 0 3 1 0 3 3 0 0 3 3 3 2 0
896
+ - 2 0 1 3 4 1 2
897
+ + 2 0 1 2 1
898
+ + 3 1
899
+ - 4 0 1 4
900
+ - 3 3 4 0 4 4 4 3 0 4 1 1 2 1 1 2 2 3 2 1
901
+ - 3 2 1 3 3 3 3 3 4
902
+ + 2 3 4 4 1 1 0 4 1
903
+ + 3 1
904
+ - 2 3 1 1 0
905
+ + 2 0 1 0
906
+ - 2 0 3 3 0 0 1 3 2 2
907
+ + 3 1
908
+ - 2 0 2 1 1
909
+ - 2 4 0 0 0
910
+ - 4 1 0 4 1 0 3 3 4 1 2 0 4 2 3 0 3 4 0
911
+ - 1 4 2 2 1 0 3 3 1 1 0
912
+ - 3 2 1 0 2 3 4
913
+ - 1 2 0 4 3 1
914
+ - 4 2 0 4 4 0
915
+ + 3 1
916
+ + 3 1
917
+ + 2 0 1 2 1
918
+ + 4
919
+ - 0 4 3 4 1 1 2 4
920
+ - 1 3 0 4 3 4
921
+ - 4 0 4 2 1 0
922
+ - 4 1 3 1 0 2 2 2 1
923
+ - 2 4 3 3 3 4 1 0 1 4
924
+ + 4 0 4 1 0 3 0 3 3 3 2
925
+ + 4 2 1 0 3 3 1 0 0 0 0
926
+ - 2 2 3 2 2 4 3 1 2 2 0 0
927
+ + 2 3 4 3 0 3 4 3 3 1 3 3 1 4 2 2 1 3 1 1 1 4 4 4
928
+ - 2 0 2 1 1
929
+ + 2 0 1 0
930
+ - 2 3 3 3 1 4 0 1 1 4 4
931
+ - 3 2 2 1 3 3 4
932
+ - 3 1 2 1 0 4
933
+ - 3 0 1 4
934
+ + 4 0 4 1 0 2 0
935
+ - 4 1 1 0 2 2 0 0 0 0
936
+ + 2 3 3 1 1 0 3 0 4 4 0 0 4 1
937
+ + 2 1 4 3 4 4 4 0 3 0 3 4 1 1
938
+ - 2 1 3 2
939
+ - 2 0 0 3 4 4 4 4 1 1
940
+ - 4 4 0 1 2 0
941
+ + 3 1
942
+ + 2 4 2 4 1 0 1 2 2 2 2 2 2 2 2
943
+ - 3 3 1 0 3 3 3 3 1
944
+ - 2 1 4 3 4 4 0 3 1 1 0 0 2 4 3 0 0
945
+ + 3 1 0 3 3 3 3 4
946
+ - 2 1 2 2 1 0 4 4
947
+ - 1 2 1 1 4 0 3
948
+ - 1 4 3
949
+ + 3 1
950
+ - 1 4 0 4 4 4 2 3 1
951
+ + 3 1
952
+ + 2 1 0 0 3 2 2 1 0 4
953
+ + 4
954
+ + 2 3 4 3 1 1 2
955
+ - 3 2 2 0 2 3 1 2 2
956
+ - 2 4 1 1 0 3 1 1
957
+ + 2 3 4 4 0 4 4 0 0 2 4 0
958
+ - 2 3 0 3 1 2
959
+ + 2 4 4 1
960
+ - 4 4 0 4 1 0
961
+ + 2 1 2 2 3 0 0 2 4 3 0 0
962
+ - 0 2 4 3 2 3 1
963
+ + 2 0 1
964
+ - 1 0 4 3 3 3 4
965
+ - 3 0 2 2 2 1 0 3 4
966
+ - 4 1 4 1 0 2 4 4 4 0
967
+ - 4 0 4 1 0 4 2 0 0 0 3 3 2 0 1 0
968
+ - 4 4 4 0
969
+ + 4 1 4 1 0 4 1 2 3
970
+ + 2 0 3 4 4 1
971
+ + 2 0 3 0 0
972
+ + 4
973
+ - 2 4 1 0 0 1
974
+ + 3 1
975
+ + 2 3 4 3 1 1 0 4 1
976
+ - 1 3 4 1
977
+ + 3 1
978
+ - 3 4 3 0 0
979
+ - 0 2 1 0 4
980
+ + 2 1 4 3 4 2 2 0 0
981
+ - 3 2 2 3 3 0 2
982
+ - 2 4 3 4 2 1 0
983
+ - 4 0 4 2 1 0
984
+ + 2 1 3 0 4 4 0 4 4 4 3 4 1 3 4
985
+ + 3 1
986
+ - 2 4 3 3 0
987
+ - 2 2 1 0 3 3 3 3 3 3 1 3 4
988
+ - 3 2 2 2 2 2 2 0 0 3 3 3 4
989
+ + 4
990
+ - 1 0 1 0 4
991
+ + 2 1 2 3 1
992
+ + 3 2 2 2 2 1 0 3 3 4
993
+ - 2 2 3 4 4 0 4
994
+ + 4
995
+ - 4 3 0 4 2 0
996
+ + 3 1
997
+ + 3 1
998
+ + 3 1
999
+ - 2 4 3 4 2 1 0
1000
+ - 2 2 2 2 2 2 2 1 1 2 1
1001
+ - 2 3 4 4 1 0 3 1 0 4 4 4 1 4
1002
+ - 3 2 1 4
1003
+ - 3 2 0 1 0 0 3 3 4
1004
+ + 4 1 4 1 1 1 0 1 0 0 0 0 0
1005
+ - 2 2 2 2 1 0 0 1 2 1 1 1 2 2 2 1 1 2 1 1 2
1006
+ - 2 2 1 2 2 2 2 2 1 1 2 1 1 2 1 1 2
1007
+ + 3 1
1008
+ + 2 3 4 4 0 3 0 3 1 1 1 1 4
1009
+ - 2 0 3 2 0 4
1010
+ - 3 3 3 1 0 3 3 3 4
1011
+ + 4
1012
+ - 3 2 1 2 0
1013
+ + 4 1 4 1 1 1 0 4 2 3 1 0 0 0 0
1014
+ + 4
1015
+ - 2 3 1 0 2 3 1 0 2 4
1016
+ - 2 3 0 2 3 1 2 3 0 3 1 4 4 4 0 1 1
1017
+ + 4 2 1 0 3 3 2 0
1018
+ + 4
1019
+ + 2 3 2 4 1 4 1
1020
+ - 3 3 0 3 4 4 1 4 2 4 2 1 2
1021
+ + 4 1 4 1 0 4 3 2 1 0
1022
+ + 3 1
1023
+ - 2 4 1 4 0
1024
+ - 4 1 4 2 2 2 2 2 2 1 0 3 3 3 3 4
1025
+ + 4 2 1 1 0 4 0 0 2
1026
+ + 4 0 4 1 1 1 1 0
1027
+ + 4 1 4 1 1 2 1 2 2 2 2
1028
+ + 4
1029
+ + 2 2 1 1 2 2 2 2 2 2 2 1
1030
+ + 4
1031
+ - 2 4 1 4 2 2 3
1032
+ - 3 2 2 1 3 3 4
1033
+ + 4
1034
+ + 3 1
1035
+ - 0 2 2 0 2 2 2 2 2 2 1 1 4
1036
+ + 4 2 1 1 1 0 1 0 0 0
1037
+ - 0 2 1 4 2 3 1 3 2 4 4 1 2
1038
+ + 4 2 1 1 1 2 1 2 2
1039
+ + 4 2 1 1 0 4 0 0 2
1040
+ - 3 3 0 2 2 2 2 2 2 1 0 3 4
1041
+ + 2 3 4 4 0 4 4 0 0 2 4 0
1042
+ - 0 1 0 4 3 4
1043
+ - 4 2 2 3 1
1044
+ + 3 2 1 0 3 3 3 3 3 4
1045
+ - 4 0 0 3 0
1046
+ - 4 4 2 1 1 1
1047
+ + 3 1
1048
+ + 2 3 3 1 0 3 4 0 0 4 1 4 0
1049
+ + 2 4 3 4 4 1 4 1
1050
+ + 4
1051
+ - 4 2 3 0 2 2 0 0 1
1052
+ - 0 4 1 1 0 4 2 1 0
1053
+ - 3 0 2 1 3 1
1054
+ + 4 0 4 1 1 0 3 3 1 0 0 0
1055
+ + 3 1 0 3 3 3 3 4
1056
+ - 4 0 2 2 3 4 0
1057
+ + 4 2 1 0 1
1058
+ + 3 1
1059
+ - 4 4 1 0
1060
+ + 4 1 4 1 1 0 4 1 2 1 0
1061
+ + 2 1 2 2 3 4 4 0 3 1
1062
+ + 4
1063
+ + 2 3 1 0 3 1 4 4 3 4 3 1 0 3 0 3 1 1 1 4 4 4 0 0 4 0 4 0
1064
+ - 3 2 2 1 2 2 1 4
1065
+ - 2 0 4 4 0
1066
+ + 4
1067
+ - 2 2 3 4 4
1068
+ + 3 1
1069
+ + 2 3 3 1 1 1 2 2 2 1
1070
+ - 3 2 2 2 0
1071
+ - 3 2 4 3 2 1
1072
+ + 4
1073
+ - 2 4 2 2 4
1074
+ + 3 2 2 2 1 0 3 3 4
1075
+ - 4 1 2 0 3 4
1076
+ + 2 0 3 0 0
1077
+ - 4 2 1 0 3 1 0 3 3 0 0 3 3 3 2 0
1078
+ + 2 2 2 2 2 2 2 2 1 1 2 1
1079
+ - 3 2 1 0 3 3 3 3 0 3 2 3 2 4
1080
+ - 3 2 1 0 2 3 4
1081
+ + 4 2 1 0 2 1 2
1082
+ - 0 4 4 1
1083
+ - 1 2
1084
+ + 4 1 4 1 1 0 2 1
1085
+ + 3 2 2 2 1 0 3 3 3 3 3 4
1086
+ - 1 2
1087
+ - 2 4 0 0 0
1088
+ - 4 2 3
1089
+ - 3 1 3 1 2 1 3 4
1090
+ - 4 3 1 2 3 4
1091
+ + 2 1 3 1 1
1092
+ + 4 2 1 0 3 3 1 0 0 0 0
1093
+ - 3 4 1 0
1094
+ - 1 2
1095
+ - 1 3 3 3 2 1
1096
+ - 3 2 1 0 3 0 4
1097
+ - 2 4 4 3 2 4 0
1098
+ - 4 0 0 1 4 1 2 0
1099
+ - 4 3 1 2
1100
+ - 4 4 0 4 1 1 2 2
1101
+ + 3 2 2 2 1 0 3 4
1102
+ - 3 0 3 1 3 4
1103
+ + 4 0 4 1 1 2 0
1104
+ + 3 1
1105
+ - 3 4 1 4 0 3 3 4
1106
+ + 2 1 2 3 1 0 4
1107
+ + 2 3 3
1108
+ - 2 2 1 1 2 2 2 2 2 1 1 2 2 4 2 2 3 4 2
1109
+ - 1 1 4
1110
+ + 2 3 3
1111
+ + 2 4 1 3 0 1 2 2
1112
+ + 2 3 4 3 0 3 4 2 4 0
1113
+ + 3 1
1114
+ - 4 3 3 1 0
1115
+ + 4 2 1 1 1 2 1 2 2
1116
+ - 2 3 0 1
1117
+ + 3 1
1118
+ - 3 2 2 2 1 0 3 3 2 0 3 3 4
1119
+ - 2 3 0 4 4 3 1 1 1 1 1 4 1
1120
+ - 4 2 2 1 2
1121
+ - 3 2 3 1 3 0 3 4
1122
+ + 2 4 4 1
1123
+ - 1 4 1 0 4 1 0 3 0 1 0 0 0
1124
+ - 4 1 2 1 2
1125
+ - 2 1 4 0 1
1126
+ - 0 1 0 1 0 1 0
1127
+ - 4 2 2 2
1128
+ - 3 2 1 0 3 0 4
1129
+ + 3 1
1130
+ - 0 2 0 2 1
1131
+ - 2 3 1 4 3 0 1 2 4 1 1 2 2 1 2
1132
+ - 4 2 2 1 2 2 0 1 2
1133
+ - 1 1 4 0 2 0
1134
+ + 3 2 2 2 1 0 3 4
1135
+ - 3 2 4 1 0 2 1 0 3 3 3 3 4 4
1136
+ + 3 2 2 2 2 2 2 2 2 2 1
1137
+ + 2 1 2 2 3 4 4 0 3 1
1138
+ + 4
1139
+ - 2 1 2 1 3 1 2 1 4 2 2 4 1
1140
+ + 2 3 4 3 1 1 2
1141
+ + 4 2 1 1
1142
+ - 4 4 2 1 1 1
1143
+ + 2 0 3
1144
+ + 2 4 4 1
1145
+ - 0 1 4 1 2 0
1146
+ + 2 4 2 4 1 4 3
1147
+ - 4 1 3 0
1148
+ + 4 2 1 1 0 4 2 0 0 3 4 3 4 2 3 2 1 1 0
1149
+ - 2 2 3 0 4
1150
+ + 3 1
1151
+ - 2 2 0 1 0 3 2
1152
+ + 2 4 4 1
1153
+ - 2 4 4 1 0 4 0 3 3 2
1154
+ - 0 4 3 4 4 1
1155
+ - 0 1 2 2 1 0 4
1156
+ - 2 3 1 1 3 3 1
1157
+ - 1 2
1158
+ + 2 1 2 3 1
1159
+ + 3 1
1160
+ - 1 1 0 0 2 3 3 3 4
1161
+ + 4 2 1 1 2 0
1162
+ + 4
1163
+ + 2 0 3
1164
+ - 4 1 3 1 2
1165
+ - 3 1 0 2 3 3 2 4
1166
+ - 1 3 1 0 3 3 4
1167
+ + 2 3 2 2 4 4 1
1168
+ - 4 2 2 2 1 0 3 3 4
1169
+ - 2 1 1 0 0 3 4 4 2 0 1 2 2
1170
+ - 2 3 2 1
1171
+ - 0 2 1 4 1
1172
+ - 4 3 1 2 1 3 0
1173
+ + 2 3 4 3 1 0 4 4 2 2 4 1 4 1
1174
+ - 3 0 2 1 2 3 4
1175
+ + 4 0 4 1 0 1 0 0
1176
+ - 4 2 1 3 0 0 0 0 3 3 3
1177
+ + 2 1 4 3 1 0 3 4 4 4 0 3 4 4 3 0 4 1
1178
+ + 3 1
1179
+ + 4
1180
+ - 4 2 2 1 3 4 1
1181
+ - 4 2 2 2 1 0 3 3 4
1182
+ - 1 4 3 1 4 4 0
1183
+ + 2 1 3 1 4 1 4 1
1184
+ - 2 2 1 1 1 2 2 2
1185
+ + 3 1
1186
+ - 1 2 4 1 1 0 2
1187
+ - 3 3 0 2
1188
+ - 2 2 1 0 2 4
1189
+ - 4 1 4 1 3 1
1190
+ + 4
1191
+ - 4 3 1 2 0
1192
+ - 1 3 0 4 3 4
1193
+ - 1 0 1
1194
+ - 3 2 2 0 4
1195
+ - 4 4 2 1 2 3
1196
+ - 4 1 4 3 1 1 1 3 1 0
1197
+ + 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1
1198
+ + 4 0 4 1 1 1 1
1199
+ + 3 2 2 2 1 0 3 3 4
1200
+ + 2 3 4 3 1 0 4 4 2 2 4 1 4 1
1201
+ + 2 1 1 0 3 3 0 4 0 4 1 0 4 4 1 2
1202
+ - 2 2 3 3 1 4 3 4 2 4 1 4 0
1203
+ + 2 1 4 3 4 4 3 0 3 4 2 2 4
1204
+ - 2 4 1 2 2 1
1205
+ + 2 0 1 0
1206
+ + 2 1 4 3 0 4 4 1 0 2 3 1 0 3 3 3 4
1207
+ + 3 1
1208
+ + 4
1209
+ + 2 3 2 2 1 4 3 1
1210
+ - 3 0 1
1211
+ + 3 1
1212
+ + 3 1
1213
+ + 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2
1214
+ - 0 2 4 3 2 3 1
1215
+ + 4
1216
+ + 3 1
1217
+ + 2 1 3 1 1 0 3 1 1 4 3 0 0
1218
+ - 0 2 0 1 1
1219
+ - 3 4 2 2 3 3 3
1220
+ - 3 2 3
1221
+ - 3 3 1 1 4
1222
+ - 2 3 0 4 4 3 1 1 1 1 1 4 1
1223
+ + 3 1
1224
+ + 2 4 2 4 1 0 1 2 2 2 2 2 2 2 2
1225
+ - 2 1 4 1 4 1 0
1226
+ - 3 2 2 3 1
1227
+ + 4
1228
+ + 3 1
1229
+ + 3 1
1230
+ + 2 1 1 0 2 4 2 0
1231
+ + 3 1
1232
+ + 2 3 1 0 3 1 4 4 3 4 3 1 0 3 0 3 1 1 1 4 4 4 0 0 4 0 4 0
1233
+ + 4
1234
+ + 2 3 4 3 1
1235
+ + 4
1236
+ + 2 3 3 3 0 4 4 1 3 3
1237
+ + 4
1238
+ - 3 2 0 2 2
1239
+ + 3 1
1240
+ - 2 3 1 1 2 1
1241
+ + 3 1
1242
+ - 2 2 1 4 1 0 4
1243
+ + 3 1
1244
+ - 3 4 4 4 1 2 3 1 0 4
1245
+ - 2 2 0 2 2 0 2 2 2 1 0 4
1246
+ - 0 4 4 1 1 1
1247
+ - 3 2 2 2 0 1
1248
+ + 2 0 3 0 0
1249
+ - 3 2 2 1 1 0
1250
+ - 4 3 2 2
1251
+ - 1 2 1 3 4 1 1
1252
+ - 2 2 3 4 4
1253
+ - 2 0 4 3
1254
+ + 2 3 4 3 0 3 4 3 3 1 3 3 1 4 2 2 1 3 1 1 1 4 4 4
1255
+ - 4 3 4 4 4 4 0
1256
+ - 4 2 0 1 4 0 0 0 0 2 0
1257
+ - 3 3 2 1 0 0 2 4
1258
+ - 2 3 4 4 2 3 1 0 3 1 0 3 0 3 0 3 0 3 1 2 4 1 4 3 0
1259
+ - 0 0 2 4 1 1
1260
+ + 2 3 4 4 0 4 0 3 1 1 1 2 2 4 1 0
1261
+ + 2 1 3 0 2 4 1
1262
+ - 3 4 2 2
1263
+ - 3 2 3 4 1 1 0
1264
+ + 3 2 2 2 1 0 3 4
1265
+ + 3 1
1266
+ + 2 2 2 2 1 1 2 1 1 2 2 2 2 2 1
1267
+ - 3 3 3 2 2 1
1268
+ - 2 3 3 3 0 3 1 1 3 3 3 1 3 4 4 1 0 4 1 2
1269
+ - 3 1 0 4 1
1270
+ + 3 1
1271
+ - 4 2 4 2 2 1
1272
+ - 3 4 0 4 3 1
1273
+ + 4
1274
+ - 1 1 4
1275
+ + 4
1276
+ - 4 3 1 0 0
1277
+ - 3 2 2 0 3 1 4 1 4 1
1278
+ + 3 1
1279
+ - 3 2 3 4 1 1 0
1280
+ - 4 1 4 1 3 1
1281
+ - 1 4 0 4 1 2 0
1282
+ + 2 3 0 0 2 0
1283
+ + 2 0 4 1
1284
+ - 2 3 1 1 3 3 1
1285
+ + 2 3 0 0 4 0
1286
+ + 4
1287
+ + 4 2 1 1
1288
+ + 4
1289
+ + 4
1290
+ - 3 2 3 4 2 2 1
1291
+ + 4
1292
+ - 3 4 1 0 3 4
1293
+ + 2 0 1 2 1
1294
+ + 4
1295
+ + 4
1296
+ - 2 2 1 4 4 1 1 1 2 3 0 4
1297
+ - 2 2 2 2 1 0 0 1 2 1 1 1 2 2 2 1 1 2 1 1 2
1298
+ + 3 1
1299
+ + 4
1300
+ - 3 0 0 4 2
1301
+ - 4 4 0 4 1 1 0 4 4 4 2
1302
+ - 0 4 1 4 0 1 3 2 4
1303
+ + 2 0 1 1 2 3
1304
+ + 4
1305
+ - 3 4 2 2 3 3 3
1306
+ - 1 4 4 4 0 0
1307
+ + 4 0 4 1 0 1 0 0
1308
+ + 3 1
1309
+ + 4 2 1 1 0 1
1310
+ - 2 4 1 2 3 1 0 4
1311
+ - 3 1 0 2
1312
+ - 4 1 0 2
1313
+ + 4
1314
+ - 2 2 0 1 0 3 2
1315
+ - 1 0 4 2 1
1316
+ + 2 3 0 0 2 2 1
1317
+ - 2 4 1 0 0 1
1318
+ - 2 1 4 3 1 0 3 1 0 3 3 1 0 4 2 1 1 0 3 0 1 4
1319
+ + 3 1
1320
+ - 3 2 3 1 0 3 3 4
1321
+ + 2 1 3 1 4 2 2 2 1
1322
+ + 4 0 4 1 0 3 3 3 0 3 1 0 0
1323
+ - 2 2 1 1 2 2 2 2 1 2
1324
+ + 4
1325
+ + 3 1
1326
+ + 4 2 1 1 0 2 1 2 0
1327
+ - 1 1 3 1
1328
+ + 3 1
1329
+ - 2 4 1 0 3 3 0 2 3
1330
+ + 2 2 2 2 2 2 2 2 2 2 2 2 1
1331
+ - 4 2 2 1 3 4 1
1332
+ - 1 3 1 3
1333
+ - 2 0 0 4 4 1
1334
+ - 3 2 2 0 2 3 1 2 2
1335
+ + 4 2 1 1 0 4 0 0 0 1 0
1336
+ + 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1
1337
+ - 3 3 4 1 2
1338
+ - 4 3 2 2
1339
+ - 4 2 1 0 0 3 2 1 0 3 4
1340
+ - 3 1 2 3 4
1341
+ + 4 0 4 1 0 2 0
1342
+ - 1 2 4 3
1343
+ - 1 3 2 2 2 1 4
1344
+ - 4 1 0 2
1345
+ + 3 2 2 2 1 0 3 4
1346
+ - 4 1 2 0 1 3
1347
+ - 2 3 0 2 3 1 2 3 0 3 1 4 4 4 0 1 1
1348
+ - 3 4 1 0 3 4
1349
+ - 2 1 0 4 1 4
1350
+ - 2 1 3 4 4 0 3 0 3 0 4 4 2 3 2 2 1
1351
+ + 2 0 4 1
1352
+ - 3 2 0 2 2
1353
+ - 3 2 2 1 2
1354
+ + 4 2 1 0 3 0 0 3 2 0
1355
+ + 2 1 2 3 2 2 1 0 3 3 3 3 3 3 3 4
1356
+ - 1 1 1 4 0 1 1
1357
+ - 1 4 2 2 0
1358
+ - 2 3 2 3 2 2 2
1359
+ + 4
1360
+ + 4
1361
+ - 4 0 2 4 3 1 3 1 0 3 1 0 0 0
1362
+ + 3 1
1363
+ + 3 1
1364
+ + 2 0 1 2 1
1365
+ - 3 2 3 1 0 3 3 4
1366
+ + 3 1
1367
+ + 2 0 4 1
1368
+ - 2 0 1 1 2 2 4 1 3
1369
+ + 2 1 4 4 4 3 3 1 1 1 4 1
1370
+ - 3 2 2 2 2 2 2 0 0 3 3 3 4
1371
+ - 2 1 0 4 3 2
1372
+ - 3 2 3 4 4
1373
+ - 2 0 2 4 2 0
1374
+ - 4 2 2 1 2 0 4
1375
+ + 4 0 4 1 0 3 0 0 3 1 0 0 0 0
1376
+ - 2 4 1 4 0
1377
+ - 1 4 4 0 4 4 2 4 2 1 4 0
1378
+ + 2 1 1 3 3 0 4 4 0 4 4 4 4 1 0 4 0 4 4 1 4
1379
+ + 2 0 3
1380
+ - 3 2 2 2 0 1
1381
+ + 2 3 4 3 4 2 3 1
1382
+ - 4 2 3 2 2
1383
+ - 3 0 4 2 4
1384
+ - 4 3 3 4 1 4 1
1385
+ + 4 2 1 1 0 4 0 0 0 1 0
1386
+ - 3 3
1387
+ - 2 3 4 3 4 4 0 4 1 1 1 1 1
1388
+ + 2 4 2 4 1 0 1 2
1389
+ - 3 4 4 4 1 2 3 1 0 4
1390
+ + 2 3 4 3 4 2 3 1
1391
+ + 2 4 1 1
1392
+ + 2 1 2 2 3 0 0 2 4 3 0 0
1393
+ + 3 1
1394
+ - 4 0 2 4 1 0
1395
+ - 4 1 4 1 3 1 1
1396
+ - 1 2 2 2 0 3 1 4
1397
+ - 3 2 1 0 4 3 3 4
1398
+ - 1 1 1 4 0 1 1
1399
+ + 2 3 3 1 1 1 2 2 2 1
1400
+ + 2 0 4 1
1401
+ - 4 1 2 0 1 3
1402
+ - 4 1 2 2 0
1403
+ + 2 1 2 3 2 2 1 0 3 3 3 3 3 3 3 4
1404
+ - 2 4 4 4 1
1405
+ - 4 1 4 4 2
1406
+ + 4 0 4 1 0 3 3 3 0 3 1 0 0
1407
+ - 3 0 2 1 3 1
1408
+ + 3 1
1409
+ + 2 0 3 0 0
1410
+ - 4 0 4 3
1411
+ + 3 1
1412
+ + 4 2 1 1
1413
+ - 2 2 0 2 2 0 2 2 2 1 0 4
1414
+ + 2 3 0 0 3 2 2 2 1 0 3 3 4
1415
+ - 0 1 1 0 2 3 3
1416
+ - 4 4 1
1417
+ + 4 1 4 1 0 4 1 2 3
1418
+ - 2 3 0 1
1419
+ - 2 2 1 2 1 1 2
1420
+ + 4
1421
+ - 4 1 2 2 0
1422
+ - 3 2 2 2 2 2 2 2 1 2 1 0 4
1423
+ - 2 3 4 3 4 2 2 0 2 0 4
1424
+ - 1 2 2 1
1425
+ - 2 0 4 3
1426
+ + 2 3 0 0 2 1 0 1 1
1427
+ - 0 2 1 4 1
1428
+ - 4 2 3 0
1429
+ - 3 0 3 1 3 4
1430
+ - 4 4 1
1431
+ - 3 0 4 0 2
1432
+ - 2 3 4 4 2 3 1 0 3 1 0 3 0 3 0 3 0 3 1 2 4 1 4 3 0
1433
+ - 2 4 3 3 0
1434
+ + 3 1 0 3 3 3 3 4
1435
+ + 2 3 3 0 0 0 2 2
1436
+ - 4 0 0 1 4 1 2 0
1437
+ + 2 1 0 0 2 0 4
1438
+ + 2 1 0 0 2 1 3 3
1439
+ + 2 3 4 3 4 4 3 1 0 4 4 2 3 1 0 4
1440
+ - 4 2 3 0
1441
+ - 4 3 4 4 1
1442
+ + 4
1443
+ + 2 1 3 3 0 4 1 0 3 4 0 0 4 2 0
1444
+ - 3 2 2 2 0
1445
+ - 2 2 2 1 4 1 3 1 2
1446
+ + 2 1 0 0 3 2 1 0 4
1447
+ - 4 2 2 3 1
1448
+ - 2 0 4 2 4 1 4 3 4 1 4 3 1
1449
+ - 4 2 4 1 1
1450
+ + 4 0 4 1 0 4 0 4 4 4 4 4 4 1
1451
+ + 3 1
1452
+ - 3 2 1 0 0 4
1453
+ + 2 1 0 0 3 2 2 1 0 4
1454
+ - 3 2 0 1 3
1455
+ - 1 0 3 4
1456
+ + 2 1 4 4 0 4 1
1457
+ + 3 1
1458
+ + 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1
1459
+ - 2 1 3 2
1460
+ + 3 1 0 3 3 3 3 4
1461
+ + 4 2 1 1 2 0
1462
+ + 4
1463
+ + 4
1464
+ - 4 2 2 1 2
1465
+ - 4 0 4 2
1466
+ + 2 1 4 3 4 4 4 0 3 0 3 4 1 1
1467
+ - 3 3 4
1468
+ + 3 1 0 3 3 3 3 4
1469
+ - 1 3 1 3 2
1470
+ - 3 3
1471
+ + 2 3 0 0 2 2 2 2 2 2 2 2 1 1 2 1 1 2 2 2 1 1 2 1 1 2 1 1 2 2 2 2 2 2 2
1472
+ + 2 3 3
1473
+ - 2 1 0 3 4
1474
+ + 2 3 4 3 1 1 4 2 1
1475
+ + 2 3 0 0 3 2 2 2 1 0 3 3 4
1476
+ - 2 2 2 2 1 1 2 1 3 2 2 2 1 1 2
1477
+ + 2 1 3 1 1 0 3 1 1 4 3 0 0
1478
+ - 2 3 2 4 2 2 0
1479
+ - 3 1 1 3 1
1480
+ + 4 0 4 1 1 0 3 3 1 0 0 0
1481
+ - 1 2 3 2 0 3 1
1482
+ - 4 0 0 4 0 0
1483
+ - 4 1 4 1 0 4 0 3 3 2 0 0
1484
+ + 4
1485
+ - 1 0 1
1486
+ - 4 2 3
1487
+ - 2 1 1 0 0 3 4 4 2 0 1 2 2
1488
+ - 3 2 1 0 0 4
1489
+ - 4 2 3 4 4
1490
+ - 1 3 1 3 2
1491
+ - 2 1 2 3 0
1492
+ - 3 2 3 4 4
1493
+ + 2 4 1 1
1494
+ + 4
1495
+ - 3 0 2 4 1 3
1496
+ + 3 1
1497
+ - 4 0 2 4 1 0
1498
+ - 3 0 1
1499
+ + 3 1
1500
+ - 2 2 1 1 2 2 2 2 2 2 2 1 1 2 1 1 2 2 2 1 4 1 2 2 2 2 2 2 2 1 1 2 2 2 1 1 2 1
1501
+ + 3 1
1502
+ - 4 3 4 0 0
1503
+ - 3 0 3
1504
+ + 2 1 3 0 4 4 0 4 4 4 3 4 1 3 4
1505
+ - 2 3 2 3 2 2 2
1506
+ + 3 2 2 2 1 0 3 4
1507
+ + 2 1 0 0 3 1 0 3 3 3 4
1508
+ + 2 3 2 2 4
1509
+ - 1 3 4 4 1
1510
+ - 2 1 0 4 3 2
1511
+ - 2 3 3 0 1 4 4 1 0 4 3 1 2
1512
+ + 3 1
1513
+ - 4 2 0 4 4 0
1514
+ - 3 4 0 2 1 0 2
1515
+ + 2 1 2 2 3 4 3 1 1 3 3
1516
+ - 3 4 1 0
1517
+ + 3 2 2 2 2 1 0 3 3 4
1518
+ - 4 4 1 0
1519
+ - 3 1 4 1 3 1 1 0 1
1520
+ - 3 2 2 2 2 2 2 0 1
1521
+ + 3 2 2 2 2 1 0 3 3 4
1522
+ + 2 4 4 1
1523
+ + 2 3 4 3 0 3 4 3 1 0 3 0 3 1 1 1 1 3
1524
+ - 4 0 2 4 3 1 3 1 0 3 1 0 0 0
1525
+ - 4 0 4 2
1526
+ + 2 2 1 1 2 2 2 2 2 2 2 1
1527
+ - 0 0 1 3 1 1 2 2
1528
+ + 3 1
1529
+ - 2 4 3 4 3 0 1 3 2 4 2 1 2 0
1530
+ - 4 3 2 2 3 1 0 3 4
1531
+ - 2 3 4 4 2 1 3 4 4 1 0 3 4 0 0 2 2 1 1 2
1532
+ + 3 1
1533
+ + 2 1 4 4 1 1 2 1
1534
+ + 2 3 4 3 0 3 4 2 4 0
1535
+ + 2 1 3 3 1 1 2 3 1 0 4
1536
+ + 4 2 1 0 4 3 4 4 3 4 3 0 0 0 0 3 3 0 3 2 2 0 0 0
1537
+ - 3 2 2 0 3 1 4 1 4 1
1538
+ - 4 0 0 3 0
1539
+ - 2 4 2 0 2 3
1540
+ + 4 1 4 1 1 0 2 1 2
1541
+ + 3 1
1542
+ + 3 1
1543
+ - 4 4 1
1544
+ + 2 0 1 0
1545
+ - 4 4 2 1 2 3
1546
+ - 1 4 4 0
1547
+ - 2 4 1 2
1548
+ + 4 2 1 2 1 2 2 2 2 2 2 2
1549
+ - 2 3 4 2 1 1 4 1 4 2
1550
+ + 4 2 1 0 3 0 0 3 2 0
1551
+ - 4 3 4 1 0 1
1552
+ - 4 1 4 1 0 3 0 0 0 0 0 0 0 3 3 4 0 0 1 2 3
1553
+ + 2 1 4 3 1 0 3 0 3 4 1 1
1554
+ + 4
1555
+ - 1 3 2
1556
+ + 2 1 1 0 3 3 0 4 0 4 1 0 4 4 1 2
1557
+ - 1 3 2
1558
+ + 3 2 2 2 2 1 0 3 3 3 3 3 4
1559
+ + 2 0 1
1560
+ + 4 2 1 0
1561
+ - 2 0 1 3 4 1 2
1562
+ - 4 3 4 4 1
1563
+ + 2 0 1 3 4 3
1564
+ + 2 1 4 3 0 3 4 4 3 0 4 0 3 1 1 0 4 4
1565
+ - 2 2 3 0 4
1566
+ + 2 3 0 0 4 0 4 0
1567
+ - 2 1 4 1 0 4
1568
+ + 4
1569
+ - 2 1 3 2 4 1 2 2 2 3 4 3 0 3 0 3 4 1 0 4
1570
+ - 3 4 1 0 3
1571
+ - 0 1 1 0 3
1572
+ + 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 1 2
1573
+ - 1 2 1 1 1 2 0 2 0
1574
+ - 2 1 2 2 3 2 3
1575
+ - 1 0 0 0 4 0 4 0
1576
+ + 2 3 3 1 1 0 3 0 3 1 0 3 0 4 0 3 4 0 0 3 2 2 2 2 2 2 1 0 4
1577
+ - 1 2 1 1 4 0 3
1578
+ + 3 1
1579
+ + 4 1 4 1 0 4 3 2 1 0
1580
+ + 2 3 4 3 4 4 3 1 0 4 4 2 3 1 0 4
1581
+ - 2 0 1 3 3 4
1582
+ + 2 3 0 0 3 2 2 1
1583
+ - 4 0 4 1 0 4 2 0 0 0 3 3 2 0 1 0
1584
+ + 3 2 2 2 1 0 3 4
1585
+ + 2 1 3 3 1 0
1586
+ - 0 2 2 4
1587
+ + 3 1
1588
+ - 0 2 1 0 4
1589
+ + 3 1
1590
+ - 1 1 4 2 1 3 4
1591
+ - 1 2
1592
+ - 1 2 3 2 0 3 1
1593
+ + 2 4 4 1
1594
+ - 3 3 3 2 2 1
1595
+ - 2 1 0 0 3 1 0 3 3 4 4
1596
+ - 3 2 2 2 2 2 2 2 2 1 3 2 1
1597
+ - 2 2 1 1 2 1 2 2 2 2 0 2 1 1 2 2 2 2 2
1598
+ - 3 2 0 1 0 0 3 3 4
1599
+ - 3 0 1 1 3 0 3 4
1600
+ + 3 1 0 3 3 3 3 4
1601
+ - 2 2 0 2 1 0 4
1602
+ - 4 2 2 1 0 3 3 4
1603
+ + 4
1604
+ - 4 0 1 2 1 2 2 2 2 2
1605
+ + 2 4 4 1
1606
+ + 2 0 3
1607
+ + 4
1608
+ + 2 4 1 2 1
1609
+ - 2 0 4 2 0 3 4
1610
+ - 2 3 2 2 1 0 3 3 4 4
1611
+ - 2 2 1 2 2 2 2 2 1 1 2 1 1 2 1 1 2
1612
+ + 2 4 3 4 4 1 4 4 1 3
1613
+ + 2 3 1 0 3 0 1 1
1614
+ - 2 1 2 3 0
1615
+ - 2 3 3 0 4 1 0 4 1
1616
+ - 4 2 3 0 2 2 0 0 1
1617
+ - 1 3 2 1 0 4
1618
+ - 4 2 2 1 0 3 3 4
1619
+ - 4 4 2
1620
+ - 0 1 1 0 2 3 3
1621
+ - 1 3 4 4 1
1622
+ + 2 3 4 4 0 3 0 3 1 1 1 1 4
1623
+ - 2 2 4 3 3
1624
+ - 3 2 2 2 1 0 3 3 2 0 3 3 4
1625
+ - 2 0 1 1 2 1 1 2 2
1626
+ + 4 2 1 2 1 2 2 2 2 2 2 2
1627
+ + 4
1628
+ - 4 4 2 1 0 0 2 0 3 0 4 1
1629
+ - 2 4 1 2
1630
+ + 2 3 0 0 4 0
1631
+ + 2 4 1 2 1
1632
+ - 2 2 2 2 1 1 2 1 3 2 2 2 1 1 2
1633
+ + 3 1
1634
+ - 4 3 1 0 0
1635
+ + 2 0 4 1
1636
+ - 1 3 2 2 2 1 4
1637
+ - 4 2 0 0 2 3 4 1
1638
+ - 0 1 2
1639
+ - 2 2 4 1 1 2
1640
+ - 1 4 3
1641
+ - 4 3 1 2
1642
+ - 0 4 1 4 0 1 3 2 4
1643
+ + 2 0 3
1644
+ + 2 4 3 4 3
1645
+ + 2 1 2 3 2 2 2 2 1 0 3 3 3 3 4
1646
+ + 2 2 1 1 2 2 2 2 2
1647
+ + 3 1
1648
+ + 3 1
1649
+ - 3 2 1 0 0 1 4
1650
+ - 0 0 1 3 1 1 2 2
1651
+ + 2 0 4 1
1652
+ - 4 2 3
1653
+ + 3 1
1654
+ - 4 1 3 1 0 2 2 2 1
1655
+ - 2 2 1 4 3
1656
+ - 2 1 2 2 1 0 2 4 1
1657
+ - 2 1 4 3 0 4 1 1 3 2 4 3 4 4 3 0 1 3 1 0 4 1
1658
+ - 3 0 1 0 4 4
1659
+ + 2 3 4 4 0 4 0 3 1 1 1 2 2 4 1 0
1660
+ - 1 3 3 3 4
1661
+ + 4 0 4 1 0 3 0 0 3 1 0 0 0 0
1662
+ + 4
1663
+ - 2 3 0 0 2 1 1 1 2 2 2 2 2
1664
+ + 4
1665
+ + 3 1
1666
+ + 3 1
1667
+ + 2 1 1 0 3 1 1 0 3 0 4 0 3 0 4 1 0 3 1 1 3 2 2 3 1 2
1668
+ - 3 0 2 1 1 2 1 4
1669
+ + 2 0 1 1 4 4
1670
+ - 1 3 3 3 2 1
1671
+ + 2 3 0 0 4 2 1
1672
+ + 2 0 1
1673
+ + 2 1 3 1 0 4 0 4 4 1 2
1674
+ - 4 1 4 1 4
1675
+ - 0 4 1 4 1 2 4 3 3 2 0
1676
+ - 4 3 1 2 0 4
1677
+ - 3 2 3 0 0 2 3 2 3 3 2 4
1678
+ - 4 3 2 1 1 1 0
1679
+ + 4 0 4 1 0 3 0 0 0 0 3 4 3
1680
+ + 4 2 1 0 3 3 2 1 2 0
1681
+ + 3 2 1 0 3 3 3 3 3 4
1682
+ - 2 3 1 0 3 0 4 3
1683
+ + 4
1684
+ + 3 1
1685
+ + 2 3 2 4 0 4 1 0 2 1 1 0
1686
+ - 4 4 1 2 4
1687
+ - 0 4 0 0
1688
+ - 2 0 4 2 0 3 4
1689
+ + 4 2 1 1 0 1 0 0
1690
+ - 4 1 4 2 2 2 2 2 2 1 0 3 3 3 3 4
1691
+ - 1 2
1692
+ + 4
1693
+ + 2 2 2 2 2 2 2 2 2 2 2 2 1
1694
+ - 2 2 1 3 0 4 4 4 4 4 2 4 1 4 0
1695
+ - 2 1 4 1 3 4
1696
+ + 3 1 0 3 3 3 3 4
1697
+ - 2 3 3 0 0 0 1 1 4 4 2 4 4 0 4 1 1 2 2
1698
+ + 2 0 4 1
1699
+ + 4 0 4 1 1 2 2
1700
+ + 3 2 2 2 1 0 3 3 4
1701
+ - 4 2 0 3
1702
+ + 3 1
1703
+ + 2 0 3 0 0
1704
+ + 3 1
1705
+ - 4 0 0 0
1706
+ - 4 1 4 1 4
1707
+ - 2 3 0 0 2 1 1 1 2 2 2 2 2
1708
+ - 4 2 0 3
1709
+ - 2 3 2 0 0 3 1
1710
+ - 3 4 0 0 4 1
1711
+ - 2 2 2 2 2 2 2 1 1 2 1
1712
+ - 4 3 3 4 1 4 1
1713
+ - 3 3 2 2 2 2 2 1 0 4
1714
+ - 4 1 4 4 2
1715
+ + 2 3 4 3 1
1716
+ + 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2
1717
+ - 3 0 1 0 4 4
1718
+ - 1 0 3 4
1719
+ + 4 2 1 1 2 0
1720
+ + 3 1
1721
+ - 2 2 0 2 2 2 2 1 1 2 2 2 2 2 2 2 1
1722
+ - 3 3 0 2
1723
+ + 4
1724
+ - 4 4 0 4 1 1 0 4 4 4 2
1725
+ + 3 1
1726
+ + 2 4 4 1
1727
+ + 4
1728
+ - 2 2 4 3 3
1729
+ + 4 0 4 1 1 0 2 1 2 0
1730
+ - 4 1 4 1 0 2 4 4 4 0
1731
+ + 2 1 4 4 4 3 3 1 1 1 4 1
1732
+ - 2 2 3 3 1 4 3 4 2 4 1 4 0
1733
+ - 4 2 2 1 1 2 2
1734
+ - 1 1 4 0 2 0
1735
+ - 3 0 1 1 3 0 3 4
1736
+ + 3 1
1737
+ + 4
1738
+ - 2 3 0
1739
+ + 2 0 4 1
1740
+ - 4 1 4 1 0 3 0 0 0 0 0 0 0 3 3 4 0 0 1 2 3
1741
+ + 2 4 3 4 4 1 4 4 1 3
1742
+ - 2 0 3 3 0 0
1743
+ + 4 1 4 1 2 1 2
1744
+ - 1 4 2 2 1 0 3 3 1 1 0
1745
+ + 2 1 4 3 4 1 4 1
1746
+ + 4 2 1 1 2 0
1747
+ - 2 1 2 2 1 0 2 4 1
1748
+ - 3 3 4 1 2
1749
+ + 4 0 4 1 0 3 0 0 0 0 3 4 3
1750
+ - 0 0 1 3 0 2
1751
+ - 2 1 3 4 4 0 3 0 3 0 4 4 2 3 2 2 1
1752
+ + 2 1 3 1 1
1753
+ + 3 1
1754
+ - 0 4 2 2 2 1 0 2 3 4
1755
+ + 4
1756
+ + 3 1
1757
+ + 4
1758
+ - 1 1 1 2 2 2
1759
+ - 2 1 4 1 3 4