[ <1, 1, 2, 1, [ 0, 1 ], [ [ 2 ] ], [ [ 1 ] ]>, <1, 1, 2, 3, [ 0, 1 ], [ [ 2 ] ], [ [ 3 ] ]>, <1, 1, 2, 5, [ 0, 1 ], [ [ 2 ] ], [ [ 5 ] ]>, <1, 1, 2, 11, [ 0, 1 ], [ [ 2 ] ], [ [ 11 ] ]>, <1, 1, 2, 9, [ 0, 1 ], [ [ 2 ] ], [ [ 9 ] ]>, <1, 1, 3, 1, [ 0, 1 ], [ [ 3 ] ], [ [ 1 ] ]>, <1, 1, 3, 2, [ 0, 1 ], [ [ 3 ] ], [ [ 2 ] ]>, <1, 1, 3, 4, [ 0, 1 ], [ [ 3 ] ], [ [ 4 ] ]>, <1, 1, 5, 1, [ 0, 1 ], [ [ 5 ] ], [ [ 1 ] ]>, <1, 1, 5, 2, [ 0, 1 ], [ [ 5 ] ], [ [ 2 ] ]>, <1, 1, 7, 1, [ 0, 1 ], [ [ 7 ] ], [ [ 1 ] ]>, <1, 1, 13, 1, [ 0, 1 ], [ [ 13 ] ], [ [ 1 ] ]>, <2, 5, 1, 1, [ -1, -1, 1 ], [ [ 1, 0 ] ], [ [ 1, 0 ] ]>, <2, 5, 1, 4, [ -1, -1, 1 ], [ [ 1, 0 ] ], [ [ 2, 0 ] ]>, <2, 5, 1, 9, [ -1, -1, 1 ], [ [ 1, 0 ] ], [ [ 3, 0 ] ]>, <2, 5, 1, 5, [ -1, -1, 1 ], [ [ 1, 0 ] ], [ [ 5, 0 ], [ 2, 1 ] ]>, <2, 5, 1, 11, [ -1, -1, 1 ], [ [ 1, 0 ] ], [ [ 11, 0 ], [ 3, 1 ] ]>, <2, 5, 1, 11, [ -1, -1, 1 ], [ [ 1, 0 ] ], [ [ 11, 0 ], [ 7, 1 ] ]>, <2, 5, 1, 19, [ -1, -1, 1 ], [ [ 1, 0 ] ], [ [ 19, 0 ], [ 4, 1 ] ]>, <2, 5, 1, 19, [ -1, -1, 1 ], [ [ 1, 0 ] ], [ [ 19, 0 ], [ 14, 1 ] ]>, <2, 5, 1, 29, [ -1, -1, 1 ], [ [ 1, 0 ] ], [ [ 29, 0 ], [ 5, 1 ] ]>, <2, 5, 1, 29, [ -1, -1, 1 ], [ [ 1, 0 ] ], [ [ 29, 0 ], [ 23, 1 ] ]>, <2, 5, 1, 59, [ -1, -1, 1 ], [ [ 1, 0 ] ], [ [ 59, 0 ], [ 25, 1 ] ]>, <2, 5, 1, 59, [ -1, -1, 1 ], [ [ 1, 0 ] ], [ [ 59, 0 ], [ 33, 1 ] ]>, <2, 5, 1, 16, [ -1, -1, 1 ], [ [ 1, 0 ] ], [ [ 4, 0 ] ]>, <2, 5, 1, 20, [ -1, -1, 1 ], [ [ 1, 0 ] ], [ [ 10, 0 ], [ 4, 2 ] ]>, <2, 5, 1, 25, [ -1, -1, 1 ], [ [ 1, 0 ] ], [ [ 5, 0 ] ]>, <2, 5, 1, 44, [ -1, -1, 1 ], [ [ 1, 0 ] ], [ [ 22, 0 ], [ 6, 2 ] ]>, <2, 5, 1, 44, [ -1, -1, 1 ], [ [ 1, 0 ] ], [ [ 22, 0 ], [ 14, 2 ] ]>, <2, 5, 20, 1, [ -1, -1, 1 ], [ [ 10, 0 ], [ 4, 2 ] ], [ [ 1, 0 ] ]>, <2, 5, 44, 1, [ -1, -1, 1 ], [ [ 22, 0 ], [ 14, 2 ] ], [ [ 1, 0 ] ]>, <2, 5, 44, 1, [ -1, -1, 1 ], [ [ 22, 0 ], [ 6, 2 ] ], [ [ 1, 0 ] ]>, <2, 8, 1, 1, [ -2, 0, 1 ], [ [ 1, 0 ] ], [ [ 1, 0 ] ]>, <2, 8, 1, 2, [ -2, 0, 1 ], [ [ 1, 0 ] ], [ [ 2, 0 ], [ 0, 1 ] ]>, <2, 8, 1, 7, [ -2, 0, 1 ], [ [ 1, 0 ] ], [ [ 7, 0 ], [ 3, 1 ] ]>, <2, 8, 1, 7, [ -2, 0, 1 ], [ [ 1, 0 ] ], [ [ 7, 0 ], [ 4, 1 ] ]>, <2, 8, 1, 23, [ -2, 0, 1 ], [ [ 1, 0 ] ], [ [ 23, 0 ], [ 5, 1 ] ]>, <2, 8, 1, 23, [ -2, 0, 1 ], [ [ 1, 0 ] ], [ [ 23, 0 ], [ 18, 1 ] ]>, <2, 8, 1, 4, [ -2, 0, 1 ], [ [ 1, 0 ] ], [ [ 2, 0 ] ]>, <2, 8, 1, 8, [ -2, 0, 1 ], [ [ 1, 0 ] ], [ [ 8, 0 ], [ 0, 2 ] ]>, <2, 8, 1, 14, [ -2, 0, 1 ], [ [ 1, 0 ] ], [ [ 14, 0 ], [ 116, 127 ] ]>, <2, 8, 1, 16, [ -2, 0, 1 ], [ [ 1, 0 ] ], [ [ 4, 0 ] ]>, <2, 8, 1, 14, [ -2, 0, 1 ], [ [ 1, 0 ] ], [ [ 14, 0 ], [ 186, 195 ] ]>, <2, 8, 14, 1, [ -2, 0, 1 ], [ [ 14, 0 ], [ 24, 1 ] ], [ [ 1, 0 ] ]>, <2, 8, 14, 1, [ -2, 0, 1 ], [ [ 14, 0 ], [ 18, 1 ] ], [ [ 1, 0 ] ]>, <2, 8, 18, 1, [ -2, 0, 1 ], [ [ 6, 0 ], [ 0, 3 ] ], [ [ 1, 0 ] ]>, <2, 8, 50, 1, [ -2, 0, 1 ], [ [ 10, 0 ], [ 0, 5 ] ], [ [ 1, 0 ] ]>, <2, 13, 1, 1, [ -3, -1, 1 ], [ [ 1, 0 ] ], [ [ 1, 0 ] ]>, <2, 13, 1, 3, [ -3, -1, 1 ], [ [ 1, 0 ] ], [ [ 3, 0 ], [ 0, 1 ] ]>, <2, 13, 1, 3, [ -3, -1, 1 ], [ [ 1, 0 ] ], [ [ 3, 0 ], [ 2, 1 ] ]>, <2, 13, 1, 9, [ -3, -1, 1 ], [ [ 1, 0 ] ], [ [ 9, 0 ], [ 3, 1 ] ]>, <2, 13, 1, 9, [ -3, -1, 1 ], [ [ 1, 0 ] ], [ [ 9, 0 ], [ 7, 5 ] ]>, <2, 13, 12, 1, [ -3, -1, 1 ], [ [ 6, 0 ], [ 4, 2 ] ], [ [ 1, 0 ] ]>, <2, 13, 12, 1, [ -3, -1, 1 ], [ [ 6, 0 ], [ 0, 2 ] ], [ [ 1, 0 ] ]>, <2, 17, 1, 1, [ -4, -1, 1 ], [ [ 1, 0 ] ], [ [ 1, 0 ] ]>, <2, 17, 1, 2, [ -4, -1, 1 ], [ [ 1, 0 ] ], [ [ 2, 0 ], [ 2, 1 ] ]>, <2, 17, 1, 2, [ -4, -1, 1 ], [ [ 1, 0 ] ], [ [ 2, 0 ], [ 1, 1 ] ]>, <2, 17, 1, 4, [ -4, -1, 1 ], [ [ 1, 0 ] ], [ [ 4, 0 ], [ 1, 3 ] ]>, <2, 17, 1, 4, [ -4, -1, 1 ], [ [ 1, 0 ] ], [ [ 4, 0 ], [ 0, 1 ] ]>, <3, 49, 7, 1, [ 1, -2, -1, 1 ], [ [ 7, 0, 0 ], [ 2, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 49, 8, 1, [ 1, -2, -1, 1 ], [ [ 2, 0, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 49, 13, 1, [ 1, -2, -1, 1 ], [ [ 13, 0, 0 ], [ 8, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 49, 13, 1, [ 1, -2, -1, 1 ], [ [ 13, 0, 0 ], [ 7, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 49, 13, 1, [ 1, -2, -1, 1 ], [ [ 13, 0, 0 ], [ 10, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 49, 29, 1, [ 1, -2, -1, 1 ], [ [ 29, 0, 0 ], [ 3, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 49, 29, 1, [ 1, -2, -1, 1 ], [ [ 29, 0, 0 ], [ 18, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 49, 29, 1, [ 1, -2, -1, 1 ], [ [ 29, 0, 0 ], [ 7, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 49, 43, 1, [ 1, -2, -1, 1 ], [ [ 43, 0, 0 ], [ 15, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 49, 43, 1, [ 1, -2, -1, 1 ], [ [ 43, 0, 0 ], [ 8, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 49, 43, 1, [ 1, -2, -1, 1 ], [ [ 43, 0, 0 ], [ 19, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 81, 3, 1, [ -1, -3, 0, 1 ], [ [ 3, 0, 0 ], [ 2, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 81, 3, 8, [ -1, -3, 0, 1 ], [ [ 3, 0, 0 ], [ 2, 1, 0 ] ], [ [ 2, 0, 0 ] ]>, <3, 81, 19, 1, [ -1, -3, 0, 1 ], [ [ 19, 0, 0 ], [ 9, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 81, 19, 1, [ -1, -3, 0, 1 ], [ [ 19, 0, 0 ], [ 7, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 81, 19, 1, [ -1, -3, 0, 1 ], [ [ 19, 0, 0 ], [ 3, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 81, 37, 1, [ -1, -3, 0, 1 ], [ [ 37, 0, 0 ], [ 9, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 81, 37, 1, [ -1, -3, 0, 1 ], [ [ 37, 0, 0 ], [ 5, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 81, 37, 1, [ -1, -3, 0, 1 ], [ [ 37, 0, 0 ], [ 23, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 148, 2, 1, [ 1, -3, -1, 1 ], [ [ 2, 0, 0 ], [ 1, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 148, 2, 5, [ 1, -3, -1, 1 ], [ [ 2, 0, 0 ], [ 1, 1, 0 ] ], [ [ 5, 0, 0 ], [ 2, 1, 0 ] ]>, <3, 148, 5, 1, [ 1, -3, -1, 1 ], [ [ 5, 0, 0 ], [ 2, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 148, 5, 2, [ 1, -3, -1, 1 ], [ [ 5, 0, 0 ], [ 2, 1, 0 ] ], [ [ 2, 0, 0 ], [ 1, 1, 0 ] ]>, <3, 148, 13, 1, [ 1, -3, -1, 1 ], [ [ 13, 0, 0 ], [ 3, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 169, 5, 1, [ -1, -4, -1, 1 ], [ [ 5, 0, 0 ], [ 4, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 169, 5, 1, [ -1, -4, -1, 1 ], [ [ 5, 0, 0 ], [ 2, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 169, 5, 1, [ -1, -4, -1, 1 ], [ [ 5, 0, 0 ], [ 8, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 169, 13, 1, [ -1, -4, -1, 1 ], [ [ 13, 0, 0 ], [ 4, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 316, 2, 1, [ 2, -4, -1, 1 ], [ [ 2, 0, 0 ], [ 0, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <3, 316, 2, 2, [ 2, -4, -1, 1 ], [ [ 2, 0, 0 ], [ 0, 1, 0 ] ], [ [ 2, 0, 0 ], [ 3, 1, 0 ] ]>, <3, 321, 3, 1, [ 1, -4, -1, 1 ], [ [ 3, 0, 0 ], [ 2, 1, 0 ] ], [ [ 1, 0, 0 ] ]>, <4, 725, 1, 1, [ 1, 1, -3, -1, 1 ], [ [ 1, 0, 0, 0 ] ], [ [ 1, 0, 0, 0 ] ]>, <4, 725, 1, 11, [ 1, 1, -3, -1, 1 ], [ [ 1, 0, 0, 0 ] ], [ [ 11, 0, 0, 0 ], [ 2, 1, 0, 0 ] ]>, <4, 725, 1, 11, [ 1, 1, -3, -1, 1 ], [ [ 1, 0, 0, 0 ] ], [ [ 11, 0, 0, 0 ], [ 5, 1, 0, 0 ] ]>, <4, 725, 1, 19, [ 1, 1, -3, -1, 1 ], [ [ 1, 0, 0, 0 ] ], [ [ 19, 0, 0, 0 ], [ 11, 1, 0, 0 ] ]>, <4, 725, 1, 19, [ 1, 1, -3, -1, 1 ], [ [ 1, 0, 0, 0 ] ], [ [ 19, 0, 0, 0 ], [ 31, 1, 0, 0 ] ]>, <4, 725, 1, 29, [ 1, 1, -3, -1, 1 ], [ [ 1, 0, 0, 0 ] ], [ [ 29, 0, 0, 0 ], [ 17, 1, 0, 0 ] ]>, <4, 1957, 1, 1, [ 1, -1, -4, 0, 1 ], [ [ 1, 0, 0, 0 ] ], [ [ 1, 0, 0, 0 ] ]>, <4, 1957, 1, 3, [ 1, -1, -4, 0, 1 ], [ [ 1, 0, 0, 0 ] ], [ [ 3, 0, 0, 0 ], [ 2, 1, 0, 0 ] ]>, <4, 1957, 1, 9, [ 1, -1, -4, 0, 1 ], [ [ 1, 0, 0, 0 ] ], [ [ 9, 0, 0, 0 ], [ 4, 4, 1, 0 ] ]>, <4, 2777, 1, 1, [ 2, 1, -4, -1, 1 ], [ [ 1, 0, 0, 0 ] ], [ [ 1, 0, 0, 0 ] ]>, <4, 2777, 1, 2, [ 2, 1, -4, -1, 1 ], [ [ 1, 0, 0, 0 ] ], [ [ 2, 0, 0, 0 ], [ 0, 1, 0, 0 ] ]>, <4, 2777, 1, 4, [ 2, 1, -4, -1, 1 ], [ [ 1, 0, 0, 0 ] ], [ [ 4, 0, 0, 0 ], [ 0, 0, 1, 0 ] ]>, <5, 24217, 5, 1, [ 1, 3, -1, -5, 0, 1 ], [ [ 5, 0, 0, 0, 0 ], [ 8, 1, 0, 0, 0 ] ], [ [ 1, 0, 0, 0, 0 ] ]> ]