動作環境
GeForce GTX 1070 (8GB)
ASRock Z170M Pro4S [Intel Z170chipset]
Ubuntu 16.04 LTS desktop amd64
TensorFlow v1.2.1
cuDNN v5.1 for Linux
CUDA v8.0
Python 3.5.2
IPython 6.0.0 -- An enhanced Interactive Python.
gcc (Ubuntu 5.4.0-6ubuntu1~16.04.4) 5.4.0 20160609
GNU bash, version 4.3.48(1)-release (x86_64-pc-linux-gnu)
概要
- インデックス0:3
- 0, 1, 2, 3
- インデックス4以上
- 最下部は{1..3}でカウントアップされる。
- 上部は{0..3}でカウントアップされる。
- 上限に達すると上部のカウントが増え、最下部は1にクリアされる。上部も上限に達すると、その上部のカウントが増える。
- Triangular van der Corput sequenceのd値に使う
geometry > 連番から分岐経路番号を取得する実装 (上部:4分岐, 最下部のみ:3分岐)> v0.1, v0.2
で実装中の関数のテストに使う予定であるが、このテスト関数の実装のテストをどうするか。
テスト関数のテスト関数を作り、そのテスト関数を作り、その。。。
code v0.1
再帰でなくネスト実装。
ネスト数が15とかで使うのは無理がある。
test_counter_171014.py
import numpy as np
# v0.1 Oct. 14, 2017
# - add test_darrays()
# on Python 3.5.2
MAX_DEPTH = 5
def test_darrays():
seqno = 0 # sequence number
res = [9, 9, 9, 9, 9] # 9: non-used index
lpidx = [0, 0, 0, 0, 0] # loop index
lpnum = [0, 0, 0, 0, 0] # loop number
# special (including 0 at depth:1)
depth = 1
print('depth=', depth)
for lpidx[0] in range(4): # including 0 (at depth:1)
res[0:1] = lpidx[0:1]
print(seqno, res)
seqno += 1
# general (depth:2 and more)
for depth in range(2, MAX_DEPTH+1):
print('depth=', depth)
lpnum[0:depth] = [4 for idx in range(depth)]
lpnum[depth:] = [1 for idx in range(MAX_DEPTH - depth)]
# print(lpnum)
for lpidx[4] in range(lpnum[4]):
for lpidx[3] in range(lpnum[3]):
for lpidx[2] in range(lpnum[2]):
for lpidx[1] in range(lpnum[1]):
for lpidx[0] in range(1, 4):
res[0:depth] = lpidx[0:depth]
print(seqno, res)
seqno += 1
test_darrays()
結果
5つの数値の一番左側が最下部。
depth= 1
0 [0, 9, 9, 9, 9]
1 [1, 9, 9, 9, 9]
2 [2, 9, 9, 9, 9]
3 [3, 9, 9, 9, 9]
depth= 2
4 [1, 0, 9, 9, 9]
5 [2, 0, 9, 9, 9]
6 [3, 0, 9, 9, 9]
7 [1, 1, 9, 9, 9]
8 [2, 1, 9, 9, 9]
9 [3, 1, 9, 9, 9]
10 [1, 2, 9, 9, 9]
11 [2, 2, 9, 9, 9]
12 [3, 2, 9, 9, 9]
13 [1, 3, 9, 9, 9]
14 [2, 3, 9, 9, 9]
15 [3, 3, 9, 9, 9]
depth= 3
16 [1, 0, 0, 9, 9]
17 [2, 0, 0, 9, 9]
18 [3, 0, 0, 9, 9]
19 [1, 1, 0, 9, 9]
20 [2, 1, 0, 9, 9]
21 [3, 1, 0, 9, 9]
22 [1, 2, 0, 9, 9]
23 [2, 2, 0, 9, 9]
24 [3, 2, 0, 9, 9]
25 [1, 3, 0, 9, 9]
26 [2, 3, 0, 9, 9]
27 [3, 3, 0, 9, 9]
28 [1, 0, 1, 9, 9]
29 [2, 0, 1, 9, 9]
30 [3, 0, 1, 9, 9]
31 [1, 1, 1, 9, 9]
32 [2, 1, 1, 9, 9]
33 [3, 1, 1, 9, 9]
34 [1, 2, 1, 9, 9]
35 [2, 2, 1, 9, 9]
36 [3, 2, 1, 9, 9]
37 [1, 3, 1, 9, 9]
38 [2, 3, 1, 9, 9]
39 [3, 3, 1, 9, 9]
40 [1, 0, 2, 9, 9]
41 [2, 0, 2, 9, 9]
42 [3, 0, 2, 9, 9]
43 [1, 1, 2, 9, 9]
44 [2, 1, 2, 9, 9]
45 [3, 1, 2, 9, 9]
46 [1, 2, 2, 9, 9]
47 [2, 2, 2, 9, 9]
48 [3, 2, 2, 9, 9]
49 [1, 3, 2, 9, 9]
50 [2, 3, 2, 9, 9]
51 [3, 3, 2, 9, 9]
52 [1, 0, 3, 9, 9]
53 [2, 0, 3, 9, 9]
54 [3, 0, 3, 9, 9]
55 [1, 1, 3, 9, 9]
56 [2, 1, 3, 9, 9]
57 [3, 1, 3, 9, 9]
58 [1, 2, 3, 9, 9]
59 [2, 2, 3, 9, 9]
60 [3, 2, 3, 9, 9]
61 [1, 3, 3, 9, 9]
62 [2, 3, 3, 9, 9]
63 [3, 3, 3, 9, 9]
depth= 4
64 [1, 0, 0, 0, 9]
65 [2, 0, 0, 0, 9]
66 [3, 0, 0, 0, 9]
67 [1, 1, 0, 0, 9]
68 [2, 1, 0, 0, 9]
69 [3, 1, 0, 0, 9]
70 [1, 2, 0, 0, 9]
71 [2, 2, 0, 0, 9]
72 [3, 2, 0, 0, 9]
73 [1, 3, 0, 0, 9]
74 [2, 3, 0, 0, 9]
75 [3, 3, 0, 0, 9]
76 [1, 0, 1, 0, 9]
77 [2, 0, 1, 0, 9]
78 [3, 0, 1, 0, 9]
79 [1, 1, 1, 0, 9]
80 [2, 1, 1, 0, 9]
81 [3, 1, 1, 0, 9]
82 [1, 2, 1, 0, 9]
83 [2, 2, 1, 0, 9]
84 [3, 2, 1, 0, 9]
85 [1, 3, 1, 0, 9]
86 [2, 3, 1, 0, 9]
87 [3, 3, 1, 0, 9]
88 [1, 0, 2, 0, 9]
89 [2, 0, 2, 0, 9]
90 [3, 0, 2, 0, 9]
91 [1, 1, 2, 0, 9]
92 [2, 1, 2, 0, 9]
93 [3, 1, 2, 0, 9]
94 [1, 2, 2, 0, 9]
95 [2, 2, 2, 0, 9]
96 [3, 2, 2, 0, 9]
97 [1, 3, 2, 0, 9]
98 [2, 3, 2, 0, 9]
99 [3, 3, 2, 0, 9]
100 [1, 0, 3, 0, 9]
101 [2, 0, 3, 0, 9]
102 [3, 0, 3, 0, 9]
103 [1, 1, 3, 0, 9]
104 [2, 1, 3, 0, 9]
105 [3, 1, 3, 0, 9]
106 [1, 2, 3, 0, 9]
107 [2, 2, 3, 0, 9]
108 [3, 2, 3, 0, 9]
109 [1, 3, 3, 0, 9]
110 [2, 3, 3, 0, 9]
111 [3, 3, 3, 0, 9]
112 [1, 0, 0, 1, 9]
113 [2, 0, 0, 1, 9]
114 [3, 0, 0, 1, 9]
115 [1, 1, 0, 1, 9]
116 [2, 1, 0, 1, 9]
117 [3, 1, 0, 1, 9]
118 [1, 2, 0, 1, 9]
119 [2, 2, 0, 1, 9]
120 [3, 2, 0, 1, 9]
121 [1, 3, 0, 1, 9]
122 [2, 3, 0, 1, 9]
123 [3, 3, 0, 1, 9]
124 [1, 0, 1, 1, 9]
125 [2, 0, 1, 1, 9]
126 [3, 0, 1, 1, 9]
127 [1, 1, 1, 1, 9]
128 [2, 1, 1, 1, 9]
129 [3, 1, 1, 1, 9]
130 [1, 2, 1, 1, 9]
131 [2, 2, 1, 1, 9]
132 [3, 2, 1, 1, 9]
133 [1, 3, 1, 1, 9]
134 [2, 3, 1, 1, 9]
135 [3, 3, 1, 1, 9]
136 [1, 0, 2, 1, 9]
137 [2, 0, 2, 1, 9]
138 [3, 0, 2, 1, 9]
139 [1, 1, 2, 1, 9]
140 [2, 1, 2, 1, 9]
141 [3, 1, 2, 1, 9]
142 [1, 2, 2, 1, 9]
143 [2, 2, 2, 1, 9]
144 [3, 2, 2, 1, 9]
145 [1, 3, 2, 1, 9]
146 [2, 3, 2, 1, 9]
147 [3, 3, 2, 1, 9]
148 [1, 0, 3, 1, 9]
149 [2, 0, 3, 1, 9]
150 [3, 0, 3, 1, 9]
151 [1, 1, 3, 1, 9]
152 [2, 1, 3, 1, 9]
153 [3, 1, 3, 1, 9]
154 [1, 2, 3, 1, 9]
155 [2, 2, 3, 1, 9]
156 [3, 2, 3, 1, 9]
157 [1, 3, 3, 1, 9]
158 [2, 3, 3, 1, 9]
159 [3, 3, 3, 1, 9]
160 [1, 0, 0, 2, 9]
161 [2, 0, 0, 2, 9]
162 [3, 0, 0, 2, 9]
163 [1, 1, 0, 2, 9]
164 [2, 1, 0, 2, 9]
165 [3, 1, 0, 2, 9]
166 [1, 2, 0, 2, 9]
167 [2, 2, 0, 2, 9]
168 [3, 2, 0, 2, 9]
169 [1, 3, 0, 2, 9]
170 [2, 3, 0, 2, 9]
171 [3, 3, 0, 2, 9]
172 [1, 0, 1, 2, 9]
173 [2, 0, 1, 2, 9]
174 [3, 0, 1, 2, 9]
175 [1, 1, 1, 2, 9]
176 [2, 1, 1, 2, 9]
177 [3, 1, 1, 2, 9]
178 [1, 2, 1, 2, 9]
179 [2, 2, 1, 2, 9]
180 [3, 2, 1, 2, 9]
181 [1, 3, 1, 2, 9]
182 [2, 3, 1, 2, 9]
183 [3, 3, 1, 2, 9]
184 [1, 0, 2, 2, 9]
185 [2, 0, 2, 2, 9]
186 [3, 0, 2, 2, 9]
187 [1, 1, 2, 2, 9]
188 [2, 1, 2, 2, 9]
189 [3, 1, 2, 2, 9]
190 [1, 2, 2, 2, 9]
191 [2, 2, 2, 2, 9]
192 [3, 2, 2, 2, 9]
193 [1, 3, 2, 2, 9]
194 [2, 3, 2, 2, 9]
195 [3, 3, 2, 2, 9]
196 [1, 0, 3, 2, 9]
197 [2, 0, 3, 2, 9]
198 [3, 0, 3, 2, 9]
199 [1, 1, 3, 2, 9]
200 [2, 1, 3, 2, 9]
201 [3, 1, 3, 2, 9]
202 [1, 2, 3, 2, 9]
203 [2, 2, 3, 2, 9]
204 [3, 2, 3, 2, 9]
205 [1, 3, 3, 2, 9]
206 [2, 3, 3, 2, 9]
207 [3, 3, 3, 2, 9]
208 [1, 0, 0, 3, 9]
209 [2, 0, 0, 3, 9]
210 [3, 0, 0, 3, 9]
211 [1, 1, 0, 3, 9]
212 [2, 1, 0, 3, 9]
213 [3, 1, 0, 3, 9]
214 [1, 2, 0, 3, 9]
215 [2, 2, 0, 3, 9]
216 [3, 2, 0, 3, 9]
217 [1, 3, 0, 3, 9]
218 [2, 3, 0, 3, 9]
219 [3, 3, 0, 3, 9]
220 [1, 0, 1, 3, 9]
221 [2, 0, 1, 3, 9]
222 [3, 0, 1, 3, 9]
223 [1, 1, 1, 3, 9]
224 [2, 1, 1, 3, 9]
225 [3, 1, 1, 3, 9]
226 [1, 2, 1, 3, 9]
227 [2, 2, 1, 3, 9]
228 [3, 2, 1, 3, 9]
229 [1, 3, 1, 3, 9]
230 [2, 3, 1, 3, 9]
231 [3, 3, 1, 3, 9]
232 [1, 0, 2, 3, 9]
233 [2, 0, 2, 3, 9]
234 [3, 0, 2, 3, 9]
235 [1, 1, 2, 3, 9]
236 [2, 1, 2, 3, 9]
237 [3, 1, 2, 3, 9]
238 [1, 2, 2, 3, 9]
239 [2, 2, 2, 3, 9]
240 [3, 2, 2, 3, 9]
241 [1, 3, 2, 3, 9]
242 [2, 3, 2, 3, 9]
243 [3, 3, 2, 3, 9]
244 [1, 0, 3, 3, 9]
245 [2, 0, 3, 3, 9]
246 [3, 0, 3, 3, 9]
247 [1, 1, 3, 3, 9]
248 [2, 1, 3, 3, 9]
249 [3, 1, 3, 3, 9]
250 [1, 2, 3, 3, 9]
251 [2, 2, 3, 3, 9]
252 [3, 2, 3, 3, 9]
253 [1, 3, 3, 3, 9]
254 [2, 3, 3, 3, 9]
255 [3, 3, 3, 3, 9]
depth= 5
256 [1, 0, 0, 0, 0]
257 [2, 0, 0, 0, 0]
258 [3, 0, 0, 0, 0]
259 [1, 1, 0, 0, 0]
260 [2, 1, 0, 0, 0]
261 [3, 1, 0, 0, 0]
262 [1, 2, 0, 0, 0]
263 [2, 2, 0, 0, 0]
264 [3, 2, 0, 0, 0]
265 [1, 3, 0, 0, 0]
266 [2, 3, 0, 0, 0]
267 [3, 3, 0, 0, 0]
268 [1, 0, 1, 0, 0]
269 [2, 0, 1, 0, 0]
270 [3, 0, 1, 0, 0]
271 [1, 1, 1, 0, 0]
272 [2, 1, 1, 0, 0]
273 [3, 1, 1, 0, 0]
274 [1, 2, 1, 0, 0]
275 [2, 2, 1, 0, 0]
276 [3, 2, 1, 0, 0]
277 [1, 3, 1, 0, 0]
278 [2, 3, 1, 0, 0]
279 [3, 3, 1, 0, 0]
280 [1, 0, 2, 0, 0]
281 [2, 0, 2, 0, 0]
282 [3, 0, 2, 0, 0]
283 [1, 1, 2, 0, 0]
284 [2, 1, 2, 0, 0]
285 [3, 1, 2, 0, 0]
286 [1, 2, 2, 0, 0]
287 [2, 2, 2, 0, 0]
288 [3, 2, 2, 0, 0]
289 [1, 3, 2, 0, 0]
290 [2, 3, 2, 0, 0]
291 [3, 3, 2, 0, 0]
292 [1, 0, 3, 0, 0]
293 [2, 0, 3, 0, 0]
294 [3, 0, 3, 0, 0]
295 [1, 1, 3, 0, 0]
296 [2, 1, 3, 0, 0]
297 [3, 1, 3, 0, 0]
298 [1, 2, 3, 0, 0]
299 [2, 2, 3, 0, 0]
300 [3, 2, 3, 0, 0]
301 [1, 3, 3, 0, 0]
302 [2, 3, 3, 0, 0]
303 [3, 3, 3, 0, 0]
304 [1, 0, 0, 1, 0]
305 [2, 0, 0, 1, 0]
306 [3, 0, 0, 1, 0]
307 [1, 1, 0, 1, 0]
308 [2, 1, 0, 1, 0]
309 [3, 1, 0, 1, 0]
310 [1, 2, 0, 1, 0]
311 [2, 2, 0, 1, 0]
312 [3, 2, 0, 1, 0]
313 [1, 3, 0, 1, 0]
314 [2, 3, 0, 1, 0]
315 [3, 3, 0, 1, 0]
316 [1, 0, 1, 1, 0]
317 [2, 0, 1, 1, 0]
318 [3, 0, 1, 1, 0]
319 [1, 1, 1, 1, 0]
320 [2, 1, 1, 1, 0]
321 [3, 1, 1, 1, 0]
322 [1, 2, 1, 1, 0]
323 [2, 2, 1, 1, 0]
324 [3, 2, 1, 1, 0]
325 [1, 3, 1, 1, 0]
326 [2, 3, 1, 1, 0]
327 [3, 3, 1, 1, 0]
328 [1, 0, 2, 1, 0]
329 [2, 0, 2, 1, 0]
330 [3, 0, 2, 1, 0]
331 [1, 1, 2, 1, 0]
332 [2, 1, 2, 1, 0]
333 [3, 1, 2, 1, 0]
334 [1, 2, 2, 1, 0]
335 [2, 2, 2, 1, 0]
336 [3, 2, 2, 1, 0]
337 [1, 3, 2, 1, 0]
338 [2, 3, 2, 1, 0]
339 [3, 3, 2, 1, 0]
340 [1, 0, 3, 1, 0]
341 [2, 0, 3, 1, 0]
342 [3, 0, 3, 1, 0]
343 [1, 1, 3, 1, 0]
344 [2, 1, 3, 1, 0]
345 [3, 1, 3, 1, 0]
346 [1, 2, 3, 1, 0]
347 [2, 2, 3, 1, 0]
348 [3, 2, 3, 1, 0]
349 [1, 3, 3, 1, 0]
350 [2, 3, 3, 1, 0]
351 [3, 3, 3, 1, 0]
352 [1, 0, 0, 2, 0]
353 [2, 0, 0, 2, 0]
354 [3, 0, 0, 2, 0]
355 [1, 1, 0, 2, 0]
356 [2, 1, 0, 2, 0]
357 [3, 1, 0, 2, 0]
358 [1, 2, 0, 2, 0]
359 [2, 2, 0, 2, 0]
360 [3, 2, 0, 2, 0]
361 [1, 3, 0, 2, 0]
362 [2, 3, 0, 2, 0]
363 [3, 3, 0, 2, 0]
364 [1, 0, 1, 2, 0]
365 [2, 0, 1, 2, 0]
366 [3, 0, 1, 2, 0]
367 [1, 1, 1, 2, 0]
368 [2, 1, 1, 2, 0]
369 [3, 1, 1, 2, 0]
370 [1, 2, 1, 2, 0]
371 [2, 2, 1, 2, 0]
372 [3, 2, 1, 2, 0]
373 [1, 3, 1, 2, 0]
374 [2, 3, 1, 2, 0]
375 [3, 3, 1, 2, 0]
376 [1, 0, 2, 2, 0]
377 [2, 0, 2, 2, 0]
378 [3, 0, 2, 2, 0]
379 [1, 1, 2, 2, 0]
380 [2, 1, 2, 2, 0]
381 [3, 1, 2, 2, 0]
382 [1, 2, 2, 2, 0]
383 [2, 2, 2, 2, 0]
384 [3, 2, 2, 2, 0]
385 [1, 3, 2, 2, 0]
386 [2, 3, 2, 2, 0]
387 [3, 3, 2, 2, 0]
388 [1, 0, 3, 2, 0]
389 [2, 0, 3, 2, 0]
390 [3, 0, 3, 2, 0]
391 [1, 1, 3, 2, 0]
392 [2, 1, 3, 2, 0]
393 [3, 1, 3, 2, 0]
394 [1, 2, 3, 2, 0]
395 [2, 2, 3, 2, 0]
396 [3, 2, 3, 2, 0]
397 [1, 3, 3, 2, 0]
398 [2, 3, 3, 2, 0]
399 [3, 3, 3, 2, 0]
400 [1, 0, 0, 3, 0]
401 [2, 0, 0, 3, 0]
402 [3, 0, 0, 3, 0]
403 [1, 1, 0, 3, 0]
404 [2, 1, 0, 3, 0]
405 [3, 1, 0, 3, 0]
406 [1, 2, 0, 3, 0]
407 [2, 2, 0, 3, 0]
408 [3, 2, 0, 3, 0]
409 [1, 3, 0, 3, 0]
410 [2, 3, 0, 3, 0]
411 [3, 3, 0, 3, 0]
412 [1, 0, 1, 3, 0]
413 [2, 0, 1, 3, 0]
414 [3, 0, 1, 3, 0]
415 [1, 1, 1, 3, 0]
416 [2, 1, 1, 3, 0]
417 [3, 1, 1, 3, 0]
418 [1, 2, 1, 3, 0]
419 [2, 2, 1, 3, 0]
420 [3, 2, 1, 3, 0]
421 [1, 3, 1, 3, 0]
422 [2, 3, 1, 3, 0]
423 [3, 3, 1, 3, 0]
424 [1, 0, 2, 3, 0]
425 [2, 0, 2, 3, 0]
426 [3, 0, 2, 3, 0]
427 [1, 1, 2, 3, 0]
428 [2, 1, 2, 3, 0]
429 [3, 1, 2, 3, 0]
430 [1, 2, 2, 3, 0]
431 [2, 2, 2, 3, 0]
432 [3, 2, 2, 3, 0]
433 [1, 3, 2, 3, 0]
434 [2, 3, 2, 3, 0]
435 [3, 3, 2, 3, 0]
436 [1, 0, 3, 3, 0]
437 [2, 0, 3, 3, 0]
438 [3, 0, 3, 3, 0]
439 [1, 1, 3, 3, 0]
440 [2, 1, 3, 3, 0]
441 [3, 1, 3, 3, 0]
442 [1, 2, 3, 3, 0]
443 [2, 2, 3, 3, 0]
444 [3, 2, 3, 3, 0]
445 [1, 3, 3, 3, 0]
446 [2, 3, 3, 3, 0]
447 [3, 3, 3, 3, 0]
448 [1, 0, 0, 0, 1]
449 [2, 0, 0, 0, 1]
450 [3, 0, 0, 0, 1]
451 [1, 1, 0, 0, 1]
452 [2, 1, 0, 0, 1]
453 [3, 1, 0, 0, 1]
454 [1, 2, 0, 0, 1]
455 [2, 2, 0, 0, 1]
456 [3, 2, 0, 0, 1]
457 [1, 3, 0, 0, 1]
458 [2, 3, 0, 0, 1]
459 [3, 3, 0, 0, 1]
460 [1, 0, 1, 0, 1]
461 [2, 0, 1, 0, 1]
462 [3, 0, 1, 0, 1]
463 [1, 1, 1, 0, 1]
464 [2, 1, 1, 0, 1]
465 [3, 1, 1, 0, 1]
466 [1, 2, 1, 0, 1]
467 [2, 2, 1, 0, 1]
468 [3, 2, 1, 0, 1]
469 [1, 3, 1, 0, 1]
470 [2, 3, 1, 0, 1]
471 [3, 3, 1, 0, 1]
472 [1, 0, 2, 0, 1]
473 [2, 0, 2, 0, 1]
474 [3, 0, 2, 0, 1]
475 [1, 1, 2, 0, 1]
476 [2, 1, 2, 0, 1]
477 [3, 1, 2, 0, 1]
478 [1, 2, 2, 0, 1]
479 [2, 2, 2, 0, 1]
480 [3, 2, 2, 0, 1]
481 [1, 3, 2, 0, 1]
482 [2, 3, 2, 0, 1]
483 [3, 3, 2, 0, 1]
484 [1, 0, 3, 0, 1]
485 [2, 0, 3, 0, 1]
486 [3, 0, 3, 0, 1]
487 [1, 1, 3, 0, 1]
488 [2, 1, 3, 0, 1]
489 [3, 1, 3, 0, 1]
490 [1, 2, 3, 0, 1]
491 [2, 2, 3, 0, 1]
492 [3, 2, 3, 0, 1]
493 [1, 3, 3, 0, 1]
494 [2, 3, 3, 0, 1]
495 [3, 3, 3, 0, 1]
496 [1, 0, 0, 1, 1]
497 [2, 0, 0, 1, 1]
498 [3, 0, 0, 1, 1]
499 [1, 1, 0, 1, 1]
500 [2, 1, 0, 1, 1]
501 [3, 1, 0, 1, 1]
502 [1, 2, 0, 1, 1]
503 [2, 2, 0, 1, 1]
504 [3, 2, 0, 1, 1]
505 [1, 3, 0, 1, 1]
506 [2, 3, 0, 1, 1]
507 [3, 3, 0, 1, 1]
508 [1, 0, 1, 1, 1]
509 [2, 0, 1, 1, 1]
510 [3, 0, 1, 1, 1]
511 [1, 1, 1, 1, 1]
512 [2, 1, 1, 1, 1]
513 [3, 1, 1, 1, 1]
514 [1, 2, 1, 1, 1]
515 [2, 2, 1, 1, 1]
516 [3, 2, 1, 1, 1]
517 [1, 3, 1, 1, 1]
518 [2, 3, 1, 1, 1]
519 [3, 3, 1, 1, 1]
520 [1, 0, 2, 1, 1]
521 [2, 0, 2, 1, 1]
522 [3, 0, 2, 1, 1]
523 [1, 1, 2, 1, 1]
524 [2, 1, 2, 1, 1]
525 [3, 1, 2, 1, 1]
526 [1, 2, 2, 1, 1]
527 [2, 2, 2, 1, 1]
528 [3, 2, 2, 1, 1]
529 [1, 3, 2, 1, 1]
530 [2, 3, 2, 1, 1]
531 [3, 3, 2, 1, 1]
532 [1, 0, 3, 1, 1]
533 [2, 0, 3, 1, 1]
534 [3, 0, 3, 1, 1]
535 [1, 1, 3, 1, 1]
536 [2, 1, 3, 1, 1]
537 [3, 1, 3, 1, 1]
538 [1, 2, 3, 1, 1]
539 [2, 2, 3, 1, 1]
540 [3, 2, 3, 1, 1]
541 [1, 3, 3, 1, 1]
542 [2, 3, 3, 1, 1]
543 [3, 3, 3, 1, 1]
544 [1, 0, 0, 2, 1]
545 [2, 0, 0, 2, 1]
546 [3, 0, 0, 2, 1]
547 [1, 1, 0, 2, 1]
548 [2, 1, 0, 2, 1]
549 [3, 1, 0, 2, 1]
550 [1, 2, 0, 2, 1]
551 [2, 2, 0, 2, 1]
552 [3, 2, 0, 2, 1]
553 [1, 3, 0, 2, 1]
554 [2, 3, 0, 2, 1]
555 [3, 3, 0, 2, 1]
556 [1, 0, 1, 2, 1]
557 [2, 0, 1, 2, 1]
558 [3, 0, 1, 2, 1]
559 [1, 1, 1, 2, 1]
560 [2, 1, 1, 2, 1]
561 [3, 1, 1, 2, 1]
562 [1, 2, 1, 2, 1]
563 [2, 2, 1, 2, 1]
564 [3, 2, 1, 2, 1]
565 [1, 3, 1, 2, 1]
566 [2, 3, 1, 2, 1]
567 [3, 3, 1, 2, 1]
568 [1, 0, 2, 2, 1]
569 [2, 0, 2, 2, 1]
570 [3, 0, 2, 2, 1]
571 [1, 1, 2, 2, 1]
572 [2, 1, 2, 2, 1]
573 [3, 1, 2, 2, 1]
574 [1, 2, 2, 2, 1]
575 [2, 2, 2, 2, 1]
576 [3, 2, 2, 2, 1]
577 [1, 3, 2, 2, 1]
578 [2, 3, 2, 2, 1]
579 [3, 3, 2, 2, 1]
580 [1, 0, 3, 2, 1]
581 [2, 0, 3, 2, 1]
582 [3, 0, 3, 2, 1]
583 [1, 1, 3, 2, 1]
584 [2, 1, 3, 2, 1]
585 [3, 1, 3, 2, 1]
586 [1, 2, 3, 2, 1]
587 [2, 2, 3, 2, 1]
588 [3, 2, 3, 2, 1]
589 [1, 3, 3, 2, 1]
590 [2, 3, 3, 2, 1]
591 [3, 3, 3, 2, 1]
592 [1, 0, 0, 3, 1]
593 [2, 0, 0, 3, 1]
594 [3, 0, 0, 3, 1]
595 [1, 1, 0, 3, 1]
596 [2, 1, 0, 3, 1]
597 [3, 1, 0, 3, 1]
598 [1, 2, 0, 3, 1]
599 [2, 2, 0, 3, 1]
600 [3, 2, 0, 3, 1]
601 [1, 3, 0, 3, 1]
602 [2, 3, 0, 3, 1]
603 [3, 3, 0, 3, 1]
604 [1, 0, 1, 3, 1]
605 [2, 0, 1, 3, 1]
606 [3, 0, 1, 3, 1]
607 [1, 1, 1, 3, 1]
608 [2, 1, 1, 3, 1]
609 [3, 1, 1, 3, 1]
610 [1, 2, 1, 3, 1]
611 [2, 2, 1, 3, 1]
612 [3, 2, 1, 3, 1]
613 [1, 3, 1, 3, 1]
614 [2, 3, 1, 3, 1]
615 [3, 3, 1, 3, 1]
616 [1, 0, 2, 3, 1]
617 [2, 0, 2, 3, 1]
618 [3, 0, 2, 3, 1]
619 [1, 1, 2, 3, 1]
620 [2, 1, 2, 3, 1]
621 [3, 1, 2, 3, 1]
622 [1, 2, 2, 3, 1]
623 [2, 2, 2, 3, 1]
624 [3, 2, 2, 3, 1]
625 [1, 3, 2, 3, 1]
626 [2, 3, 2, 3, 1]
627 [3, 3, 2, 3, 1]
628 [1, 0, 3, 3, 1]
629 [2, 0, 3, 3, 1]
630 [3, 0, 3, 3, 1]
631 [1, 1, 3, 3, 1]
632 [2, 1, 3, 3, 1]
633 [3, 1, 3, 3, 1]
634 [1, 2, 3, 3, 1]
635 [2, 2, 3, 3, 1]
636 [3, 2, 3, 3, 1]
637 [1, 3, 3, 3, 1]
638 [2, 3, 3, 3, 1]
639 [3, 3, 3, 3, 1]
640 [1, 0, 0, 0, 2]
641 [2, 0, 0, 0, 2]
642 [3, 0, 0, 0, 2]
643 [1, 1, 0, 0, 2]
644 [2, 1, 0, 0, 2]
645 [3, 1, 0, 0, 2]
646 [1, 2, 0, 0, 2]
647 [2, 2, 0, 0, 2]
648 [3, 2, 0, 0, 2]
649 [1, 3, 0, 0, 2]
650 [2, 3, 0, 0, 2]
651 [3, 3, 0, 0, 2]
652 [1, 0, 1, 0, 2]
653 [2, 0, 1, 0, 2]
654 [3, 0, 1, 0, 2]
655 [1, 1, 1, 0, 2]
656 [2, 1, 1, 0, 2]
657 [3, 1, 1, 0, 2]
658 [1, 2, 1, 0, 2]
659 [2, 2, 1, 0, 2]
660 [3, 2, 1, 0, 2]
661 [1, 3, 1, 0, 2]
662 [2, 3, 1, 0, 2]
663 [3, 3, 1, 0, 2]
664 [1, 0, 2, 0, 2]
665 [2, 0, 2, 0, 2]
666 [3, 0, 2, 0, 2]
667 [1, 1, 2, 0, 2]
668 [2, 1, 2, 0, 2]
669 [3, 1, 2, 0, 2]
670 [1, 2, 2, 0, 2]
671 [2, 2, 2, 0, 2]
672 [3, 2, 2, 0, 2]
673 [1, 3, 2, 0, 2]
674 [2, 3, 2, 0, 2]
675 [3, 3, 2, 0, 2]
676 [1, 0, 3, 0, 2]
677 [2, 0, 3, 0, 2]
678 [3, 0, 3, 0, 2]
679 [1, 1, 3, 0, 2]
680 [2, 1, 3, 0, 2]
681 [3, 1, 3, 0, 2]
682 [1, 2, 3, 0, 2]
683 [2, 2, 3, 0, 2]
684 [3, 2, 3, 0, 2]
685 [1, 3, 3, 0, 2]
686 [2, 3, 3, 0, 2]
687 [3, 3, 3, 0, 2]
688 [1, 0, 0, 1, 2]
689 [2, 0, 0, 1, 2]
690 [3, 0, 0, 1, 2]
691 [1, 1, 0, 1, 2]
692 [2, 1, 0, 1, 2]
693 [3, 1, 0, 1, 2]
694 [1, 2, 0, 1, 2]
695 [2, 2, 0, 1, 2]
696 [3, 2, 0, 1, 2]
697 [1, 3, 0, 1, 2]
698 [2, 3, 0, 1, 2]
699 [3, 3, 0, 1, 2]
700 [1, 0, 1, 1, 2]
701 [2, 0, 1, 1, 2]
702 [3, 0, 1, 1, 2]
703 [1, 1, 1, 1, 2]
704 [2, 1, 1, 1, 2]
705 [3, 1, 1, 1, 2]
706 [1, 2, 1, 1, 2]
707 [2, 2, 1, 1, 2]
708 [3, 2, 1, 1, 2]
709 [1, 3, 1, 1, 2]
710 [2, 3, 1, 1, 2]
711 [3, 3, 1, 1, 2]
712 [1, 0, 2, 1, 2]
713 [2, 0, 2, 1, 2]
714 [3, 0, 2, 1, 2]
715 [1, 1, 2, 1, 2]
716 [2, 1, 2, 1, 2]
717 [3, 1, 2, 1, 2]
718 [1, 2, 2, 1, 2]
719 [2, 2, 2, 1, 2]
720 [3, 2, 2, 1, 2]
721 [1, 3, 2, 1, 2]
722 [2, 3, 2, 1, 2]
723 [3, 3, 2, 1, 2]
724 [1, 0, 3, 1, 2]
725 [2, 0, 3, 1, 2]
726 [3, 0, 3, 1, 2]
727 [1, 1, 3, 1, 2]
728 [2, 1, 3, 1, 2]
729 [3, 1, 3, 1, 2]
730 [1, 2, 3, 1, 2]
731 [2, 2, 3, 1, 2]
732 [3, 2, 3, 1, 2]
733 [1, 3, 3, 1, 2]
734 [2, 3, 3, 1, 2]
735 [3, 3, 3, 1, 2]
736 [1, 0, 0, 2, 2]
737 [2, 0, 0, 2, 2]
738 [3, 0, 0, 2, 2]
739 [1, 1, 0, 2, 2]
740 [2, 1, 0, 2, 2]
741 [3, 1, 0, 2, 2]
742 [1, 2, 0, 2, 2]
743 [2, 2, 0, 2, 2]
744 [3, 2, 0, 2, 2]
745 [1, 3, 0, 2, 2]
746 [2, 3, 0, 2, 2]
747 [3, 3, 0, 2, 2]
748 [1, 0, 1, 2, 2]
749 [2, 0, 1, 2, 2]
750 [3, 0, 1, 2, 2]
751 [1, 1, 1, 2, 2]
752 [2, 1, 1, 2, 2]
753 [3, 1, 1, 2, 2]
754 [1, 2, 1, 2, 2]
755 [2, 2, 1, 2, 2]
756 [3, 2, 1, 2, 2]
757 [1, 3, 1, 2, 2]
758 [2, 3, 1, 2, 2]
759 [3, 3, 1, 2, 2]
760 [1, 0, 2, 2, 2]
761 [2, 0, 2, 2, 2]
762 [3, 0, 2, 2, 2]
763 [1, 1, 2, 2, 2]
764 [2, 1, 2, 2, 2]
765 [3, 1, 2, 2, 2]
766 [1, 2, 2, 2, 2]
767 [2, 2, 2, 2, 2]
768 [3, 2, 2, 2, 2]
769 [1, 3, 2, 2, 2]
770 [2, 3, 2, 2, 2]
771 [3, 3, 2, 2, 2]
772 [1, 0, 3, 2, 2]
773 [2, 0, 3, 2, 2]
774 [3, 0, 3, 2, 2]
775 [1, 1, 3, 2, 2]
776 [2, 1, 3, 2, 2]
777 [3, 1, 3, 2, 2]
778 [1, 2, 3, 2, 2]
779 [2, 2, 3, 2, 2]
780 [3, 2, 3, 2, 2]
781 [1, 3, 3, 2, 2]
782 [2, 3, 3, 2, 2]
783 [3, 3, 3, 2, 2]
784 [1, 0, 0, 3, 2]
785 [2, 0, 0, 3, 2]
786 [3, 0, 0, 3, 2]
787 [1, 1, 0, 3, 2]
788 [2, 1, 0, 3, 2]
789 [3, 1, 0, 3, 2]
790 [1, 2, 0, 3, 2]
791 [2, 2, 0, 3, 2]
792 [3, 2, 0, 3, 2]
793 [1, 3, 0, 3, 2]
794 [2, 3, 0, 3, 2]
795 [3, 3, 0, 3, 2]
796 [1, 0, 1, 3, 2]
797 [2, 0, 1, 3, 2]
798 [3, 0, 1, 3, 2]
799 [1, 1, 1, 3, 2]
800 [2, 1, 1, 3, 2]
801 [3, 1, 1, 3, 2]
802 [1, 2, 1, 3, 2]
803 [2, 2, 1, 3, 2]
804 [3, 2, 1, 3, 2]
805 [1, 3, 1, 3, 2]
806 [2, 3, 1, 3, 2]
807 [3, 3, 1, 3, 2]
808 [1, 0, 2, 3, 2]
809 [2, 0, 2, 3, 2]
810 [3, 0, 2, 3, 2]
811 [1, 1, 2, 3, 2]
812 [2, 1, 2, 3, 2]
813 [3, 1, 2, 3, 2]
814 [1, 2, 2, 3, 2]
815 [2, 2, 2, 3, 2]
816 [3, 2, 2, 3, 2]
817 [1, 3, 2, 3, 2]
818 [2, 3, 2, 3, 2]
819 [3, 3, 2, 3, 2]
820 [1, 0, 3, 3, 2]
821 [2, 0, 3, 3, 2]
822 [3, 0, 3, 3, 2]
823 [1, 1, 3, 3, 2]
824 [2, 1, 3, 3, 2]
825 [3, 1, 3, 3, 2]
826 [1, 2, 3, 3, 2]
827 [2, 2, 3, 3, 2]
828 [3, 2, 3, 3, 2]
829 [1, 3, 3, 3, 2]
830 [2, 3, 3, 3, 2]
831 [3, 3, 3, 3, 2]
832 [1, 0, 0, 0, 3]
833 [2, 0, 0, 0, 3]
834 [3, 0, 0, 0, 3]
835 [1, 1, 0, 0, 3]
836 [2, 1, 0, 0, 3]
837 [3, 1, 0, 0, 3]
838 [1, 2, 0, 0, 3]
839 [2, 2, 0, 0, 3]
840 [3, 2, 0, 0, 3]
841 [1, 3, 0, 0, 3]
842 [2, 3, 0, 0, 3]
843 [3, 3, 0, 0, 3]
844 [1, 0, 1, 0, 3]
845 [2, 0, 1, 0, 3]
846 [3, 0, 1, 0, 3]
847 [1, 1, 1, 0, 3]
848 [2, 1, 1, 0, 3]
849 [3, 1, 1, 0, 3]
850 [1, 2, 1, 0, 3]
851 [2, 2, 1, 0, 3]
852 [3, 2, 1, 0, 3]
853 [1, 3, 1, 0, 3]
854 [2, 3, 1, 0, 3]
855 [3, 3, 1, 0, 3]
856 [1, 0, 2, 0, 3]
857 [2, 0, 2, 0, 3]
858 [3, 0, 2, 0, 3]
859 [1, 1, 2, 0, 3]
860 [2, 1, 2, 0, 3]
861 [3, 1, 2, 0, 3]
862 [1, 2, 2, 0, 3]
863 [2, 2, 2, 0, 3]
864 [3, 2, 2, 0, 3]
865 [1, 3, 2, 0, 3]
866 [2, 3, 2, 0, 3]
867 [3, 3, 2, 0, 3]
868 [1, 0, 3, 0, 3]
869 [2, 0, 3, 0, 3]
870 [3, 0, 3, 0, 3]
871 [1, 1, 3, 0, 3]
872 [2, 1, 3, 0, 3]
873 [3, 1, 3, 0, 3]
874 [1, 2, 3, 0, 3]
875 [2, 2, 3, 0, 3]
876 [3, 2, 3, 0, 3]
877 [1, 3, 3, 0, 3]
878 [2, 3, 3, 0, 3]
879 [3, 3, 3, 0, 3]
880 [1, 0, 0, 1, 3]
881 [2, 0, 0, 1, 3]
882 [3, 0, 0, 1, 3]
883 [1, 1, 0, 1, 3]
884 [2, 1, 0, 1, 3]
885 [3, 1, 0, 1, 3]
886 [1, 2, 0, 1, 3]
887 [2, 2, 0, 1, 3]
888 [3, 2, 0, 1, 3]
889 [1, 3, 0, 1, 3]
890 [2, 3, 0, 1, 3]
891 [3, 3, 0, 1, 3]
892 [1, 0, 1, 1, 3]
893 [2, 0, 1, 1, 3]
894 [3, 0, 1, 1, 3]
895 [1, 1, 1, 1, 3]
896 [2, 1, 1, 1, 3]
897 [3, 1, 1, 1, 3]
898 [1, 2, 1, 1, 3]
899 [2, 2, 1, 1, 3]
900 [3, 2, 1, 1, 3]
901 [1, 3, 1, 1, 3]
902 [2, 3, 1, 1, 3]
903 [3, 3, 1, 1, 3]
904 [1, 0, 2, 1, 3]
905 [2, 0, 2, 1, 3]
906 [3, 0, 2, 1, 3]
907 [1, 1, 2, 1, 3]
908 [2, 1, 2, 1, 3]
909 [3, 1, 2, 1, 3]
910 [1, 2, 2, 1, 3]
911 [2, 2, 2, 1, 3]
912 [3, 2, 2, 1, 3]
913 [1, 3, 2, 1, 3]
914 [2, 3, 2, 1, 3]
915 [3, 3, 2, 1, 3]
916 [1, 0, 3, 1, 3]
917 [2, 0, 3, 1, 3]
918 [3, 0, 3, 1, 3]
919 [1, 1, 3, 1, 3]
920 [2, 1, 3, 1, 3]
921 [3, 1, 3, 1, 3]
922 [1, 2, 3, 1, 3]
923 [2, 2, 3, 1, 3]
924 [3, 2, 3, 1, 3]
925 [1, 3, 3, 1, 3]
926 [2, 3, 3, 1, 3]
927 [3, 3, 3, 1, 3]
928 [1, 0, 0, 2, 3]
929 [2, 0, 0, 2, 3]
930 [3, 0, 0, 2, 3]
931 [1, 1, 0, 2, 3]
932 [2, 1, 0, 2, 3]
933 [3, 1, 0, 2, 3]
934 [1, 2, 0, 2, 3]
935 [2, 2, 0, 2, 3]
936 [3, 2, 0, 2, 3]
937 [1, 3, 0, 2, 3]
938 [2, 3, 0, 2, 3]
939 [3, 3, 0, 2, 3]
940 [1, 0, 1, 2, 3]
941 [2, 0, 1, 2, 3]
942 [3, 0, 1, 2, 3]
943 [1, 1, 1, 2, 3]
944 [2, 1, 1, 2, 3]
945 [3, 1, 1, 2, 3]
946 [1, 2, 1, 2, 3]
947 [2, 2, 1, 2, 3]
948 [3, 2, 1, 2, 3]
949 [1, 3, 1, 2, 3]
950 [2, 3, 1, 2, 3]
951 [3, 3, 1, 2, 3]
952 [1, 0, 2, 2, 3]
953 [2, 0, 2, 2, 3]
954 [3, 0, 2, 2, 3]
955 [1, 1, 2, 2, 3]
956 [2, 1, 2, 2, 3]
957 [3, 1, 2, 2, 3]
958 [1, 2, 2, 2, 3]
959 [2, 2, 2, 2, 3]
960 [3, 2, 2, 2, 3]
961 [1, 3, 2, 2, 3]
962 [2, 3, 2, 2, 3]
963 [3, 3, 2, 2, 3]
964 [1, 0, 3, 2, 3]
965 [2, 0, 3, 2, 3]
966 [3, 0, 3, 2, 3]
967 [1, 1, 3, 2, 3]
968 [2, 1, 3, 2, 3]
969 [3, 1, 3, 2, 3]
970 [1, 2, 3, 2, 3]
971 [2, 2, 3, 2, 3]
972 [3, 2, 3, 2, 3]
973 [1, 3, 3, 2, 3]
974 [2, 3, 3, 2, 3]
975 [3, 3, 3, 2, 3]
976 [1, 0, 0, 3, 3]
977 [2, 0, 0, 3, 3]
978 [3, 0, 0, 3, 3]
979 [1, 1, 0, 3, 3]
980 [2, 1, 0, 3, 3]
981 [3, 1, 0, 3, 3]
982 [1, 2, 0, 3, 3]
983 [2, 2, 0, 3, 3]
984 [3, 2, 0, 3, 3]
985 [1, 3, 0, 3, 3]
986 [2, 3, 0, 3, 3]
987 [3, 3, 0, 3, 3]
988 [1, 0, 1, 3, 3]
989 [2, 0, 1, 3, 3]
990 [3, 0, 1, 3, 3]
991 [1, 1, 1, 3, 3]
992 [2, 1, 1, 3, 3]
993 [3, 1, 1, 3, 3]
994 [1, 2, 1, 3, 3]
995 [2, 2, 1, 3, 3]
996 [3, 2, 1, 3, 3]
997 [1, 3, 1, 3, 3]
998 [2, 3, 1, 3, 3]
999 [3, 3, 1, 3, 3]
1000 [1, 0, 2, 3, 3]
1001 [2, 0, 2, 3, 3]
1002 [3, 0, 2, 3, 3]
1003 [1, 1, 2, 3, 3]
1004 [2, 1, 2, 3, 3]
1005 [3, 1, 2, 3, 3]
1006 [1, 2, 2, 3, 3]
1007 [2, 2, 2, 3, 3]
1008 [3, 2, 2, 3, 3]
1009 [1, 3, 2, 3, 3]
1010 [2, 3, 2, 3, 3]
1011 [3, 3, 2, 3, 3]
1012 [1, 0, 3, 3, 3]
1013 [2, 0, 3, 3, 3]
1014 [3, 0, 3, 3, 3]
1015 [1, 1, 3, 3, 3]
1016 [2, 1, 3, 3, 3]
1017 [3, 1, 3, 3, 3]
1018 [1, 2, 3, 3, 3]
1019 [2, 2, 3, 3, 3]
1020 [3, 2, 3, 3, 3]
1021 [1, 3, 3, 3, 3]
1022 [2, 3, 3, 3, 3]
1023 [3, 3, 3, 3, 3]