this repo has no description
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 = 11065;
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, 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, 5, 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 = 10993;
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, 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, 5, 3, 1, 3, 4, 1, 5, 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 = 10706;
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, 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, 5, 3, 1, 3, 4, 1, 5, 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, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 4, 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, 5, 3, 1, 3, 4, 1, 5, 4, 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 = 10633;
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, 1, 1, 2, 2, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 4, 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, 5, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 5, 3, 1, 3, 4, 1, 5, 4, 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];
28% time elapsed: 0.05 s
29----------
30objective = 10058;
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, 1, 3, 2, 2, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 4, 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, 5, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 5, 3, 1, 3, 4, 1, 5, 4, 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];
32% time elapsed: 0.05 s
33----------
34objective = 9914;
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, 4, 3, 2, 2, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 4, 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, 5, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 5, 3, 1, 3, 4, 1, 5, 4, 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];
36% time elapsed: 0.05 s
37----------
38objective = 9698;
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, 4, 3, 1, 1, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 4, 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, 5, 3, 3, 3, 3, 1, 1, 1, 1, 4, 2, 2, 3, 3, 2, 2, 3, 5, 5, 3, 1, 3, 4, 1, 5, 4, 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];
40% time elapsed: 0.05 s
41----------
42objective = 9626;
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, 4, 3, 1, 1, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 4, 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, 5, 3, 3, 3, 3, 1, 1, 1, 1, 4, 2, 2, 3, 3, 2, 3, 3, 5, 5, 3, 1, 3, 4, 1, 5, 4, 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];
44% time elapsed: 0.05 s
45----------
46objective = 9554;
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, 4, 3, 1, 1, 2, 2, 2, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 5, 5, 4, 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, 5, 3, 3, 3, 3, 1, 1, 1, 1, 4, 2, 2, 3, 3, 2, 3, 5, 5, 5, 3, 1, 3, 4, 1, 5, 4, 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];
48% time elapsed: 0.05 s
49----------
50objective = 9482;
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, 4, 3, 1, 1, 2, 2, 2, 1, 2, 2, 2, 3, 6, 3, 4, 5, 6, 5, 5, 4, 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, 5, 3, 3, 3, 3, 1, 1, 1, 1, 4, 2, 2, 3, 3, 2, 3, 5, 5, 5, 3, 1, 3, 4, 1, 5, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
52% time elapsed: 0.07 s
53----------
54objective = 9338;
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, 4, 3, 1, 1, 2, 2, 2, 1, 2, 2, 2, 3, 6, 3, 4, 5, 6, 5, 5, 4, 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, 5, 3, 3, 3, 3, 1, 1, 1, 1, 4, 2, 2, 3, 3, 3, 3, 5, 5, 5, 3, 1, 3, 4, 1, 5, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
56% time elapsed: 0.07 s
57----------
58objective = 8762;
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, 4, 3, 1, 1, 2, 2, 2, 1, 2, 2, 2, 3, 6, 3, 4, 5, 6, 5, 5, 4, 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, 5, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 3, 3, 5, 5, 5, 3, 1, 3, 4, 1, 5, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
60% time elapsed: 0.07 s
61----------
62objective = 8690;
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, 4, 3, 1, 1, 2, 2, 2, 1, 2, 2, 2, 3, 6, 3, 4, 5, 6, 5, 5, 4, 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, 5, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 3, 3, 4, 5, 5, 3, 1, 3, 4, 1, 5, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
64% time elapsed: 0.07 s
65----------
66objective = 8618;
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, 4, 3, 1, 1, 2, 2, 2, 1, 2, 2, 2, 3, 6, 3, 4, 5, 6, 5, 5, 4, 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, 5, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 3, 3, 2, 5, 5, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
68% time elapsed: 0.07 s
69----------
70objective = 8402;
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, 4, 3, 1, 3, 2, 2, 2, 1, 2, 2, 2, 3, 6, 3, 4, 5, 6, 5, 5, 4, 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, 5, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 3, 3, 2, 5, 5, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
72% time elapsed: 0.08 s
73----------
74objective = 8186;
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, 4, 3, 1, 3, 2, 2, 2, 1, 2, 2, 2, 3, 6, 3, 4, 4, 6, 5, 5, 4, 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, 3, 3, 2, 5, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
76% time elapsed: 0.08 s
77----------
78objective = 7827;
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, 4, 3, 1, 3, 1, 2, 2, 1, 1, 2, 2, 3, 6, 3, 4, 4, 6, 5, 5, 4, 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, 4, 3, 3, 3, 3, 2, 5, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
80% time elapsed: 0.08 s
81----------
82objective = 7826;
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, 4, 2, 1, 3, 1, 2, 2, 1, 1, 2, 2, 3, 6, 3, 4, 4, 6, 5, 5, 4, 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, 5, 1, 1, 1, 2, 4, 2, 4, 3, 3, 3, 3, 2, 5, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
84% time elapsed: 0.08 s
85----------
86objective = 7754;
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, 4, 2, 1, 3, 1, 2, 2, 1, 1, 2, 2, 3, 6, 3, 4, 4, 6, 5, 5, 4, 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, 5, 1, 1, 1, 2, 4, 2, 4, 3, 3, 3, 3, 2, 3, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
88% time elapsed: 0.10 s
89----------
90objective = 7394;
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, 4, 2, 1, 3, 1, 2, 2, 1, 1, 2, 2, 3, 6, 3, 4, 4, 6, 5, 5, 4, 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, 5, 1, 1, 1, 2, 4, 2, 4, 3, 3, 3, 3, 2, 6, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
92% time elapsed: 0.10 s
93----------
94objective = 7322;
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, 4, 2, 1, 3, 1, 2, 2, 1, 1, 2, 2, 3, 6, 3, 4, 4, 6, 5, 5, 4, 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, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 2, 6, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
96% time elapsed: 0.10 s
97----------
98objective = 7250;
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, 4, 2, 1, 3, 1, 2, 2, 1, 1, 2, 2, 3, 6, 3, 4, 4, 6, 5, 5, 4, 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, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
100% time elapsed: 0.12 s
101----------
102objective = 7106;
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, 4, 2, 1, 3, 1, 2, 2, 1, 3, 2, 2, 3, 6, 3, 4, 4, 6, 5, 5, 4, 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, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
104% time elapsed: 0.12 s
105----------
106objective = 6890;
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, 4, 2, 1, 3, 1, 2, 2, 1, 3, 2, 3, 3, 6, 3, 4, 4, 6, 5, 5, 4, 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, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
108% time elapsed: 0.14 s
109----------
110objective = 6747;
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, 4, 2, 1, 3, 1, 2, 2, 1, 3, 2, 3, 5, 6, 3, 4, 4, 6, 5, 5, 4, 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, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 2, 3, 6, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
112% time elapsed: 0.15 s
113----------
114objective = 6675;
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, 4, 2, 1, 3, 1, 2, 2, 1, 3, 2, 3, 5, 6, 3, 4, 4, 6, 5, 5, 4, 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, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 2, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
116% time elapsed: 0.15 s
117----------
118objective = 6603;
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, 4, 2, 1, 3, 1, 2, 2, 1, 3, 2, 3, 5, 6, 3, 4, 4, 6, 5, 5, 4, 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, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
120% time elapsed: 0.17 s
121----------
122objective = 6531;
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, 4, 2, 1, 3, 1, 2, 2, 1, 3, 2, 3, 5, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
124% time elapsed: 0.17 s
125----------
126objective = 5955;
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, 4, 2, 1, 3, 3, 2, 2, 1, 3, 2, 3, 5, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
128% time elapsed: 0.18 s
129----------
130objective = 5883;
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, 4, 2, 1, 3, 3, 1, 2, 1, 3, 2, 3, 5, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
132% time elapsed: 0.18 s
133----------
134objective = 5811;
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, 4, 2, 1, 3, 3, 1, 2, 1, 3, 2, 5, 5, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
136% time elapsed: 0.19 s
137----------
138objective = 5739;
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, 4, 2, 1, 3, 3, 3, 2, 1, 3, 2, 5, 5, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
140% time elapsed: 0.20 s
141----------
142objective = 5738;
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, 4, 2, 1, 3, 3, 3, 2, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
144% time elapsed: 0.21 s
145----------
146objective = 5594;
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, 4, 2, 1, 3, 3, 3, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
148% time elapsed: 0.21 s
149----------
150objective = 5450;
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, 4, 2, 1, 3, 3, 3, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
152% time elapsed: 0.21 s
153----------
154objective = 5378;
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, 4, 2, 6, 3, 3, 3, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
156% time elapsed: 0.21 s
157----------
158objective = 4658;
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, 4, 2, 6, 3, 3, 3, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 2, 4, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
160% time elapsed: 0.21 s
161----------
162objective = 4299;
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, 4, 2, 6, 3, 3, 3, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
164% time elapsed: 0.21 s
165----------
166objective = 4298;
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, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 3, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
168% time elapsed: 0.21 s
169----------
170objective = 4154;
171period_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, 4, 2, 6, 3, 3, 3, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
172% time elapsed: 0.22 s
173----------
174objective = 4153;
175period_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, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 2, 1, 1, 2, 2, 3, 3, 4, 2, 3, 4, 2, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 2, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
176% time elapsed: 0.22 s
177----------
178objective = 4009;
179period_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, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 2, 1, 1, 2, 2, 3, 3, 4, 2, 3, 4, 2, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 2, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
180% time elapsed: 0.22 s
181----------
182objective = 3937;
183period_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, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 2, 1, 1, 2, 2, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 2, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
184% time elapsed: 0.22 s
185----------
186objective = 3866;
187period_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, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 3, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 2, 1, 1, 2, 2, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 2, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
188% time elapsed: 0.29 s
189----------
190objective = 3722;
191period_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, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 3, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 2, 1, 1, 2, 2, 3, 3, 4, 2, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 2, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
192% time elapsed: 0.31 s
193----------
194objective = 3650;
195period_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, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 3, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 2, 1, 1, 2, 2, 3, 3, 4, 2, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
196% time elapsed: 0.34 s
197----------
198objective = 3649;
199period_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, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 2, 1, 1, 2, 2, 3, 3, 4, 2, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
200% time elapsed: 0.35 s
201----------
202objective = 3577;
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, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 2, 1, 1, 2, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
204% time elapsed: 0.37 s
205----------
206objective = 3433;
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, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 5, 1, 1, 1, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
208% time elapsed: 0.40 s
209----------
210objective = 3289;
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, 4, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 5, 1, 1, 1, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
212% time elapsed: 0.41 s
213----------
214objective = 3145;
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, 4, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 5, 1, 1, 2, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
216% time elapsed: 0.47 s
217----------
218objective = 3073;
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, 4, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 6, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 5, 1, 1, 2, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
220% time elapsed: 0.49 s
221----------
222objective = 2929;
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, 4, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 6, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 5, 1, 1, 2, 3, 3, 3, 4, 2, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
224% time elapsed: 0.54 s
225----------
226objective = 2065;
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, 4, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 6, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 5, 2, 1, 2, 3, 3, 3, 4, 2, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
228% time elapsed: 0.68 s
229----------
230objective = 1922;
231period_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, 4, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 6, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 5, 2, 1, 2, 3, 3, 3, 4, 2, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
232% time elapsed: 0.73 s
233----------
234objective = 1921;
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, 4, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 6, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 6, 2, 6, 4, 1, 5, 2, 1, 2, 3, 3, 3, 4, 2, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
236% time elapsed: 0.83 s
237----------
238objective = 1920;
239period_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, 4, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 6, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 6, 2, 6, 4, 1, 5, 2, 1, 2, 3, 3, 3, 4, 2, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6];
240% time elapsed: 0.88 s
241----------
242%%%mzn-stat: initTime=0.009262
243%%%mzn-stat: solveTime=240
244%%%mzn-stat: solutions=60
245%%%mzn-stat: variables=1211
246%%%mzn-stat: propagators=1327
247%%%mzn-stat: propagations=941434304
248%%%mzn-stat: nodes=7136166
249%%%mzn-stat: failures=3395042
250%%%mzn-stat: restarts=40940
251%%%mzn-stat: peakDepth=108
252%%%mzn-stat-end
253%% copies: 3782127