this repo has no description
dekker.one
1% init_area = 83030480;
2objective = 13728;
3period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 1, 2, 2, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 3, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 3, 1, 3, 4, 1, 4, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 4, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
4% time elapsed: 0.04 s
5----------
6objective = 12001;
7period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 1, 2, 2, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 3, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 3, 1, 3, 4, 1, 4, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 4, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
8% time elapsed: 0.04 s
9----------
10objective = 11714;
11period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 2, 2, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 3, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 3, 1, 3, 4, 1, 4, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 4, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
12% time elapsed: 0.04 s
13----------
14objective = 11570;
15period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 2, 2, 2, 3, 3, 4, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 3, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 3, 1, 3, 4, 1, 4, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 4, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
16% time elapsed: 0.04 s
17----------
18objective = 11065;
19period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 1, 2, 2, 2, 1, 3, 4, 2, 2, 2, 1, 4, 3, 4, 5, 6, 3, 5, 3, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 1, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 3, 1, 3, 4, 1, 4, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 4, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
20% time elapsed: 0.04 s
21----------
22objective = 10705;
23period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 1, 2, 2, 2, 1, 3, 4, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 3, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 1, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 3, 1, 3, 4, 1, 4, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 4, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
24% time elapsed: 0.04 s
25----------
26objective = 10703;
27period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 2, 3, 4, 4, 3, 5, 5, 1, 3, 2, 4, 4, 1, 5, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 3, 1, 3, 4, 1, 4, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
28% time elapsed: 0.05 s
29----------
30objective = 10271;
31period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 2, 3, 4, 4, 3, 5, 5, 1, 3, 2, 1, 1, 1, 5, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 3, 1, 3, 4, 1, 4, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
32% time elapsed: 0.05 s
33----------
34objective = 10127;
35period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 2, 3, 4, 4, 3, 5, 2, 1, 3, 2, 1, 1, 1, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 3, 1, 3, 4, 1, 4, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 4, 1, 6, 6, 3, 6, 6, 6, 6, 6];
36% time elapsed: 0.05 s
37----------
38objective = 10055;
39period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 2, 3, 4, 4, 3, 5, 2, 1, 3, 2, 1, 1, 1, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 3, 1, 3, 4, 1, 4, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 5, 4, 1, 6, 6, 3, 6, 6, 6, 6, 6];
40% time elapsed: 0.05 s
41----------
42objective = 9911;
43period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 2, 3, 4, 4, 3, 5, 2, 1, 3, 2, 1, 1, 1, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 5, 1, 3, 4, 1, 4, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 5, 4, 1, 6, 6, 3, 6, 6, 6, 6, 6];
44% time elapsed: 0.05 s
45----------
46objective = 9839;
47period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 2, 3, 4, 4, 3, 5, 2, 1, 3, 2, 1, 1, 3, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 5, 1, 3, 4, 1, 4, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 5, 4, 1, 6, 6, 3, 6, 6, 6, 6, 6];
48% time elapsed: 0.05 s
49----------
50objective = 9767;
51period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 2, 3, 4, 4, 3, 5, 2, 1, 3, 2, 1, 1, 3, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 6, 1, 3, 4, 1, 4, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 4, 1, 6, 6, 3, 6, 6, 6, 6, 6];
52% time elapsed: 0.05 s
53----------
54objective = 9623;
55period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 2, 3, 4, 4, 3, 5, 2, 1, 3, 2, 1, 4, 3, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 6, 1, 3, 4, 1, 4, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 4, 1, 6, 6, 3, 6, 6, 6, 6, 6];
56% time elapsed: 0.05 s
57----------
58objective = 9551;
59period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 2, 3, 4, 4, 3, 5, 2, 1, 2, 2, 1, 4, 5, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 6, 1, 3, 4, 1, 4, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 4, 1, 6, 6, 3, 6, 6, 6, 6, 6];
60% time elapsed: 0.05 s
61----------
62objective = 9479;
63period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 2, 3, 4, 4, 3, 5, 2, 1, 2, 2, 1, 3, 5, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 6, 1, 3, 4, 1, 4, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
64% time elapsed: 0.07 s
65----------
66objective = 9192;
67period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 2, 3, 4, 4, 3, 5, 2, 1, 2, 2, 1, 3, 5, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
68% time elapsed: 0.08 s
69----------
70objective = 9120;
71period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 2, 3, 4, 4, 3, 5, 2, 1, 2, 2, 4, 3, 5, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
72% time elapsed: 0.08 s
73----------
74objective = 9119;
75period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 5, 2, 1, 2, 2, 4, 3, 5, 4, 6, 6, 1, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
76% time elapsed: 0.08 s
77----------
78objective = 9048;
79period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 5, 2, 1, 2, 2, 4, 5, 5, 4, 6, 6, 1, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
80% time elapsed: 0.09 s
81----------
82objective = 8976;
83period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 5, 2, 1, 1, 2, 4, 5, 5, 4, 6, 6, 1, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 3, 3, 5, 3, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
84% time elapsed: 0.11 s
85----------
86objective = 8256;
87period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 5, 2, 1, 1, 2, 4, 5, 5, 4, 6, 6, 1, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 4, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
88% time elapsed: 0.11 s
89----------
90objective = 8184;
91period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 5, 2, 1, 1, 2, 4, 5, 5, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 4, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
92% time elapsed: 0.11 s
93----------
94objective = 7968;
95period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 5, 2, 1, 1, 2, 4, 5, 5, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 4, 4, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
96% time elapsed: 0.15 s
97----------
98objective = 7824;
99period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 5, 2, 1, 1, 2, 4, 5, 5, 4, 6, 6, 1, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 4, 4, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 3, 3, 5, 3, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
100% time elapsed: 0.15 s
101----------
102objective = 7752;
103period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 5, 1, 1, 1, 2, 4, 5, 5, 4, 6, 6, 1, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 4, 4, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 3, 3, 3, 5, 3, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
104% time elapsed: 0.15 s
105----------
106objective = 7680;
107period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 5, 4, 6, 6, 1, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 4, 4, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 3, 3, 3, 5, 3, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
108% time elapsed: 0.17 s
109----------
110objective = 7608;
111period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 5, 4, 6, 6, 1, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 4, 4, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
112% time elapsed: 0.17 s
113----------
114objective = 7392;
115period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 5, 4, 6, 6, 1, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 4, 4, 1, 1, 1, 1, 2, 4, 2, 3, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
116% time elapsed: 0.18 s
117----------
118objective = 7320;
119period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 5, 4, 6, 6, 1, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 4, 4, 1, 1, 1, 1, 4, 4, 2, 3, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
120% time elapsed: 0.20 s
121----------
122objective = 7176;
123period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 5, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 4, 4, 1, 1, 1, 1, 4, 4, 2, 3, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
124% time elapsed: 0.20 s
125----------
126objective = 7104;
127period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 5, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 4, 4, 1, 1, 1, 1, 4, 4, 2, 2, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
128% time elapsed: 0.21 s
129----------
130objective = 7032;
131period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 5, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 1, 1, 1, 1, 4, 4, 2, 2, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
132% time elapsed: 0.24 s
133----------
134objective = 6888;
135period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 5, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 5, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 1, 1, 1, 1, 4, 4, 2, 2, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
136% time elapsed: 0.24 s
137----------
138objective = 6744;
139period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 5, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 5, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 1, 1, 1, 1, 4, 4, 2, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
140% time elapsed: 0.25 s
141----------
142objective = 6600;
143period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 5, 4, 6, 6, 1, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 3, 1, 3, 1, 1, 3, 5, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 1, 1, 1, 1, 4, 4, 2, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
144% time elapsed: 0.27 s
145----------
146objective = 6599;
147period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 5, 4, 6, 6, 1, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 3, 1, 5, 1, 1, 3, 5, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 1, 1, 1, 1, 4, 4, 2, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
148% time elapsed: 0.38 s
149----------
150objective = 4728;
151period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 5, 4, 6, 6, 1, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 3, 1, 5, 1, 1, 3, 5, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 2, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
152% time elapsed: 0.39 s
153----------
154objective = 4656;
155period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 2, 4, 6, 6, 1, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 3, 1, 5, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 2, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
156% time elapsed: 0.39 s
157----------
158objective = 4584;
159period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 3, 1, 5, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 2, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
160% time elapsed: 0.40 s
161----------
162objective = 4368;
163period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 1, 4, 6, 6, 2, 5, 6, 5, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 3, 1, 5, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
164% time elapsed: 0.40 s
165----------
166objective = 4296;
167period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 1, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 2, 2, 2, 3, 1, 5, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
168% time elapsed: 0.41 s
169----------
170objective = 4152;
171period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 2, 2, 2, 3, 1, 5, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
172% time elapsed: 0.42 s
173----------
174objective = 4008;
175period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 2, 2, 5, 3, 1, 5, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
176% time elapsed: 0.42 s
177----------
178objective = 4007;
179period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 6, 2, 5, 3, 1, 5, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
180% time elapsed: 0.42 s
181----------
182objective = 3935;
183period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 6, 2, 5, 2, 1, 5, 1, 1, 3, 2, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 3, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
184% time elapsed: 0.44 s
185----------
186objective = 3863;
187period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 6, 2, 5, 2, 1, 5, 1, 1, 3, 2, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 2, 3, 5, 4, 6, 1, 4, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
188% time elapsed: 0.48 s
189----------
190objective = 3791;
191period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 6, 2, 5, 2, 1, 5, 1, 1, 3, 2, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 4, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
192% time elapsed: 0.50 s
193----------
194objective = 3647;
195period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 6, 2, 5, 2, 1, 5, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 4, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
196% time elapsed: 0.51 s
197----------
198objective = 3574;
199period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 6, 2, 5, 2, 1, 5, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 4, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
200% time elapsed: 0.53 s
201----------
202objective = 3502;
203period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 1, 2, 4, 2, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 6, 2, 5, 2, 1, 5, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 4, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
204% time elapsed: 0.53 s
205----------
206objective = 3358;
207period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 1, 2, 2, 4, 2, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 6, 2, 5, 2, 1, 5, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 4, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
208% time elapsed: 0.60 s
209----------
210objective = 3142;
211period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 2, 2, 2, 4, 2, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 6, 2, 5, 2, 1, 5, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 4, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
212% time elapsed: 0.72 s
213----------
214objective = 3141;
215period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 1, 2, 2, 2, 4, 3, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 6, 2, 5, 2, 1, 5, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 4, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
216% time elapsed: 0.75 s
217----------
218objective = 3069;
219period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 2, 2, 2, 2, 4, 3, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 6, 2, 5, 2, 1, 5, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 4, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
220% time elapsed: 0.90 s
221----------
222objective = 2925;
223period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 2, 2, 2, 2, 2, 4, 3, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 6, 2, 5, 2, 1, 5, 1, 1, 3, 3, 3, 3, 4, 2, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 4, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
224% time elapsed: 0.90 s
225----------
226objective = 2853;
227period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 4, 2, 2, 2, 2, 4, 3, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 6, 2, 5, 2, 1, 5, 1, 1, 3, 3, 3, 3, 4, 2, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 4, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
228% time elapsed: 0.91 s
229----------
230objective = 1989;
231period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 4, 2, 2, 2, 2, 4, 3, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 6, 2, 5, 2, 1, 5, 2, 1, 3, 3, 3, 3, 4, 2, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 4, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
232% time elapsed: 0.91 s
233----------
234objective = 1846;
235period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 2, 4, 1, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 4, 2, 2, 2, 2, 4, 3, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 6, 2, 5, 2, 1, 5, 2, 1, 3, 3, 3, 3, 4, 2, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 5, 3, 3, 3, 3, 3, 5, 4, 6, 1, 4, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
236% time elapsed: 0.91 s
237----------
238objective = 1775;
239period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 2, 4, 1, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 4, 2, 2, 2, 2, 4, 3, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 6, 2, 3, 2, 1, 5, 2, 1, 3, 3, 3, 3, 4, 2, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 3, 3, 3, 3, 3, 3, 5, 4, 6, 1, 4, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
240% time elapsed: 0.99 s
241----------
242objective = 1703;
243period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 2, 4, 1, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 4, 2, 2, 2, 2, 4, 3, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 6, 2, 3, 5, 1, 5, 2, 1, 3, 3, 3, 3, 4, 2, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 3, 3, 3, 3, 3, 3, 5, 4, 6, 1, 4, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
244% time elapsed: 1.04 s
245----------
246objective = 1702;
247period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 3, 4, 1, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 4, 4, 3, 4, 2, 2, 2, 2, 4, 3, 2, 4, 6, 6, 2, 5, 6, 5, 2, 2, 5, 1, 2, 1, 2, 6, 2, 3, 5, 1, 5, 2, 1, 3, 3, 3, 3, 4, 2, 3, 4, 6, 3, 4, 3, 4, 4, 2, 1, 1, 1, 4, 4, 5, 3, 3, 3, 3, 3, 3, 5, 4, 6, 1, 4, 4, 1, 6, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 6, 1, 6, 1, 6, 6, 3, 5, 1, 6, 6, 3, 6, 6, 6, 6, 6];
248% time elapsed: 1.08 s
249----------
250%%%mzn-stat: initTime=0.009172
251%%%mzn-stat: solveTime=240
252%%%mzn-stat: solutions=62
253%%%mzn-stat: variables=1211
254%%%mzn-stat: propagators=1327
255%%%mzn-stat: propagations=1185820784
256%%%mzn-stat: nodes=7482800
257%%%mzn-stat: failures=3541927
258%%%mzn-stat: restarts=44739
259%%%mzn-stat: peakDepth=108
260%%%mzn-stat-end
261%% copies: 3985677