  ***   Warning: new stack size = 20000000 (19.073 Mbytes).
[[0, 1, 3, 0], [2, 3, 1, 2]]
[[0, 1, 5, 0], [4, 5, 1, 4]]
[[0, 1, 7, 0], [6, 7, 1, 6]]
[[0, 1, 9, 0], [6, 3, 3, 6], [8, 9, 1, 8]]
[[0, 1, 11, 0], [10, 11, 1, 10]]
[[0, 1, 13, 0], [12, 13, 1, 12]]
[[0, 1, 15, 0], [10, 3, 5, 10], [12, 5, 3, 12], [14, 15, 1, 14]]
[[0, 1, 17, 0], [16, 17, 1, 16]]
[[0, 1, 19, 0], [18, 19, 1, 18]]
[[0, 1, 21, 0], [14, 3, 7, 14], [18, 7, 3, 18], [18, 7, 3, 18], [18, 7, 3, 1
8], [20, 21, 1, 20]]
[[0, 1, 23, 0], [22, 23, 1, 22]]
[[0, 1, 25, 0], [20, 5, 5, 20], [24, 25, 1, 24]]
[[0, 1, 27, 0], [18, 3, 9, 18], [24, 9, 3, 24], [26, 27, 1, 26]]
[[0, 1, 29, 0], [28, 29, 1, 28]]
[[0, 1, 31, 0], [30, 31, 1, 30]]
[[0, 1, 33, 0], [22, 3, 11, 22], [30, 11, 3, 30], [32, 33, 1, 32]]
[[0, 1, 35, 0], [28, 5, 7, 28], [30, 7, 5, 30], [34, 35, 1, 34]]
[[0, 1, 37, 0], [36, 37, 1, 36]]
[[0, 1, 39, 0], [26, 3, 13, 26], [36, 13, 3, 36], [38, 39, 1, 38]]
[[0, 1, 41, 0], [40, 41, 1, 40]]
[[0, 1, 43, 0], [42, 43, 1, 42]]
[[0, 1, 45, 0], [30, 3, 15, 30], [36, 5, 9, 36], [40, 9, 5, 40], [42, 15, 3,
 42], [44, 45, 1, 44]]
[[0, 1, 47, 0], [46, 47, 1, 46]]
[[0, 1, 49, 0], [42, 7, 7, 42], [48, 49, 1, 48]]
[[0, 1, 2, 0], [1, 2, 1, 1], [1, 2, 1, 1]]
[[0, 1, 4, 0], [2, 2, 2, 2], [2, 2, 2, 2], [3, 4, 1, 3], [3, 4, 1, 3]]
[[0, 1, 5, 0], [4, 5, 1, 4]]
[[0, 1, 7, 0], [6, 7, 1, 6]]
[[0, 1, 8, 0], [4, 2, 4, 4], [4, 2, 4, 4], [6, 4, 2, 6], [6, 4, 2, 6], [6, 4
, 2, 6], [7, 8, 1, 7], [7, 8, 1, 7]]
[[0, 1, 10, 0], [5, 2, 5, 5], [5, 2, 5, 5], [8, 5, 2, 8], [9, 10, 1, 9], [9,
 10, 1, 9]]
[[0, 1, 11, 0], [10, 11, 1, 10]]
[[0, 1, 13, 0], [12, 13, 1, 12]]
[[0, 1, 14, 0], [7, 2, 7, 7], [7, 2, 7, 7], [12, 7, 2, 12], [13, 14, 1, 13],
 [13, 14, 1, 13]]
[[0, 1, 16, 0], [8, 2, 8, 8], [8, 2, 8, 8], [12, 4, 4, 12], [12, 4, 4, 12], 
[12, 4, 4, 12], [14, 8, 2, 14], [14, 8, 2, 14], [14, 8, 2, 14], [14, 8, 2, 1
4], [14, 8, 2, 14], [15, 16, 1, 15], [15, 16, 1, 15]]
[[0, 1, 17, 0], [16, 17, 1, 16]]
[[0, 1, 19, 0], [18, 19, 1, 18]]
[[0, 1, 20, 0], [10, 2, 10, 10], [10, 2, 10, 10], [15, 4, 5, 15], [15, 4, 5,
 15], [16, 5, 4, 16], [16, 5, 4, 16], [18, 10, 2, 18], [18, 10, 2, 18], [19,
 20, 1, 19], [19, 20, 1, 19]]
[[0, 1, 22, 0], [11, 2, 11, 11], [11, 2, 11, 11], [20, 11, 2, 20], [21, 22, 
1, 21], [21, 22, 1, 21]]
[[0, 1, 23, 0], [22, 23, 1, 22]]
[[0, 1, 25, 0], [20, 5, 5, 20], [24, 25, 1, 24]]
[[0, 1, 26, 0], [13, 2, 13, 13], [13, 2, 13, 13], [24, 13, 2, 24], [25, 26, 
1, 25], [25, 26, 1, 25]]
[[0, 1, 28, 0], [14, 2, 14, 14], [14, 2, 14, 14], [21, 4, 7, 21], [21, 4, 7,
 21], [24, 7, 4, 24], [26, 14, 2, 26], [26, 14, 2, 26], [27, 28, 1, 27], [27
, 28, 1, 27]]
[[0, 1, 29, 0], [28, 29, 1, 28]]
[[0, 1, 31, 0], [30, 31, 1, 30]]
[[0, 1, 32, 0], [16, 2, 16, 16], [16, 2, 16, 16], [24, 4, 8, 24], [24, 4, 8,
 24], [24, 4, 8, 24], [28, 8, 4, 28], [28, 8, 4, 28], [28, 8, 4, 28], [28, 8
, 4, 28], [28, 8, 4, 28], [30, 16, 2, 30], [30, 16, 2, 30], [30, 16, 2, 30],
 [30, 16, 2, 30], [30, 16, 2, 30], [31, 32, 1, 31], [31, 32, 1, 31]]
[[0, 1, 34, 0], [17, 2, 17, 17], [17, 2, 17, 17], [32, 17, 2, 32], [33, 34, 
1, 33], [33, 34, 1, 33]]
[[0, 1, 35, 0], [28, 5, 7, 28], [30, 7, 5, 30], [34, 35, 1, 34]]
[[0, 1, 37, 0], [36, 37, 1, 36]]
[[0, 1, 38, 0], [19, 2, 19, 19], [19, 2, 19, 19], [36, 19, 2, 36], [37, 38, 
1, 37], [37, 38, 1, 37]]
[[0, 1, 40, 0], [20, 2, 20, 20], [20, 2, 20, 20], [30, 4, 10, 30], [30, 4, 1
0, 30], [30, 4, 10, 30], [32, 5, 8, 32], [32, 5, 8, 32], [35, 8, 5, 35], [35
, 8, 5, 35], [36, 10, 4, 36], [36, 10, 4, 36], [36, 10, 4, 36], [36, 10, 4, 
36], [38, 20, 2, 38], [38, 20, 2, 38], [38, 20, 2, 38], [39, 40, 1, 39], [39
, 40, 1, 39]]
[[0, 1, 41, 0], [40, 41, 1, 40]]
[[0, 1, 43, 0], [42, 43, 1, 42]]
[[0, 1, 44, 0], [22, 2, 22, 22], [22, 2, 22, 22], [33, 4, 11, 33], [33, 4, 1
1, 33], [40, 11, 4, 40], [42, 22, 2, 42], [42, 22, 2, 42], [43, 44, 1, 43], 
[43, 44, 1, 43]]
[[0, 1, 46, 0], [23, 2, 23, 23], [23, 2, 23, 23], [44, 23, 2, 44], [45, 46, 
1, 45], [45, 46, 1, 45]]
[[0, 1, 47, 0], [46, 47, 1, 46]]
[[0, 1, 49, 0], [42, 7, 7, 42], [48, 49, 1, 48]]
[[0, 1, 50, 0], [25, 2, 25, 25], [25, 2, 25, 25], [40, 5, 10, 40], [45, 10, 
5, 45], [45, 10, 5, 45], [48, 25, 2, 48], [49, 50, 1, 49], [49, 50, 1, 49]]
[[0, 1, 105, 0], [70, 3, 35, 70], [84, 5, 21, 84], [90, 7, 15, 90], [90, 7, 
15, 90], [90, 7, 15, 90], [98, 15, 7, 98], [100, 21, 5, 100], [102, 35, 3, 1
02], [102, 35, 3, 102], [102, 35, 3, 102], [104, 105, 1, 104]]
[[0, 1, 21, 0], [14, 3, 7, 14], [18, 7, 3, 18], [20, 21, 1, 20]]
[[0, 1, 55, 0], [44, 5, 11, 44], [50, 11, 5, 50], [50, 11, 5, 50], [50, 11, 
5, 50], [50, 11, 5, 50], [50, 11, 5, 50], [50, 11, 5, 50], [50, 11, 5, 50], 
[50, 11, 5, 50], [50, 11, 5, 50], [50, 11, 5, 50], [50, 11, 5, 50], [54, 55,
 1, 54], [54, 55, 1, 54], [54, 55, 1, 54], [54, 55, 1, 54], [54, 55, 1, 54],
 [54, 55, 1, 54], [54, 55, 1, 54], [54, 55, 1, 54], [54, 55, 1, 54], [54, 55
, 1, 54], [54, 55, 1, 54]]
[[0, 1, 12, 0], [6, 2, 6, 6], [6, 2, 6, 6], [8, 3, 4, 8], [8, 3, 4, 8], [9, 
4, 3, 9], [9, 4, 3, 9], [10, 6, 2, 10], [10, 6, 2, 10], [10, 6, 2, 10], [10,
 6, 2, 10], [11, 12, 1, 11], [11, 12, 1, 11]]
[[12, 2, 4, 12], [12, 2, 4, 12], [12, 2, 4, 12], [12, 2, 4, 12], [12, 2, 4, 
12], [12, 2, 4, 12], [12, 2, 4, 12], [12, 2, 4, 12], [12, 2, 4, 12], [12, 2,
 4, 12], [12, 2, 4, 12], [12, 2, 4, 12], [12, 4, 2, 12], [12, 4, 2, 12], [12
, 4, 2, 12], [12, 4, 2, 12], [12, 4, 2, 12], [12, 4, 2, 12], [12, 4, 2, 12],
 [12, 4, 2, 12], [12, 4, 2, 12], [12, 4, 2, 12], [12, 4, 2, 12], [12, 4, 2, 
12], [12, 8, 1, 12], [12, 8, 1, 12], [12, 8, 1, 12], [12, 8, 1, 12], [12, 8,
 1, 12], [12, 8, 1, 12]]
15
[[0, 1, 2, 0], [1, 2, 1, 1], [1, 2, 1, 1]]
[[0, 1, 4, 0], [4, 2, 2, 4], [4, 2, 2, 4], [4, 2, 2, 4], [4, 2, 2, 4], [4, 4
, 1, 4], [6, 2, 2, 6], [6, 2, 2, 6], [6, 2, 2, 6], [6, 2, 2, 6], [6, 2, 2, 6
], [6, 2, 2, 6], [6, 4, 1, 6], [6, 4, 1, 6], [6, 4, 1, 6], [8, 4, 1, 8], [8,
 4, 1, 8], [8, 4, 1, 8], [8, 4, 1, 8], [8, 4, 1, 8], [8, 4, 1, 8], [8, 4, 1,
 8], [8, 4, 1, 8], [9, 4, 1, 9], [9, 4, 1, 9], [9, 4, 1, 9], [9, 4, 1, 9], [
9, 4, 1, 9], [9, 4, 1, 9], [9, 4, 1, 9], [9, 4, 1, 9], [10, 4, 1, 10], [10, 
4, 1, 10], [10, 4, 1, 10], [10, 4, 1, 10], [10, 4, 1, 10], [10, 4, 1, 10], [
10, 4, 1, 10], [10, 4, 1, 10], [11, 4, 1, 11], [11, 4, 1, 11], [11, 4, 1, 11
], [11, 4, 1, 11], [11, 4, 1, 11], [11, 4, 1, 11], [11, 4, 1, 11], [11, 4, 1
, 11], [11, 4, 1, 11], [11, 4, 1, 11], [11, 4, 1, 11], [11, 4, 1, 11], [11, 
4, 1, 11], [11, 4, 1, 11], [11, 4, 1, 11], [11, 4, 1, 11], [11, 4, 1, 11], [
11, 4, 1, 11], [11, 4, 1, 11], [11, 4, 1, 11]]
Total time spent: 2896
