s = 2, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 1, r = 10000, v = 6, h = 1, knownV = 5, knownH = 0, boundMin = 5, boundMax = 5, lower = 5.
s = 2, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 2, r = 10000, v = 9, h = 1, boundMin = 8, boundMax = 10, lower = 8.
s = 2, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 3, r = 10000, v = 12, h = 1, boundMin = 10, boundMax = 13, lower = 11.
s = 2, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 4, r = 10000, v = 15, h = 0, boundMin = 12, boundMax = 17, lower = 13.
s = 2, a_0 = 1, a_1 = 1, a_2 = 1, r = 10000, v = 3, h = 1, knownV = 3, knownH = 1, boundMin = 3, boundMax = 3, lower = 3.
s = 2, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 2, r = 10000, v = 13, h = 0, boundMin = 10, boundMax = 18, lower = 12.
s = 2, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 3, r = 10000, v = 18, h = 0, boundMin = 13, boundMax = 25, lower = 16.
s = 2, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 4, r = 10000, v = 22, h = 0, boundMin = 16, boundMax = 33, lower = 20.
s = 2, a_0 = 1, a_1 = 1, a_2 = 2, r = 10000, v = 4, h = 0, boundMin = 4, boundMax = 6, lower = 4.
s = 2, a_0 = 1, a_1 = 1, a_2 = 3, a_3 = 3, r = 10000, v = 25, h = 0, boundMin = 17, boundMax = 35, lower = 21.
s = 2, a_0 = 1, a_1 = 1, a_2 = 3, a_3 = 4, r = 10000, v = 31, h = 0, boundMin = 21, boundMax = 45, lower = 27.
s = 2, a_0 = 1, a_1 = 1, a_2 = 3, r = 10000, v = 5, h = 0, boundMin = 5, boundMax = 8, lower = 5.
s = 2, a_0 = 1, a_1 = 1, a_2 = 4, a_3 = 4, r = 10000, v = 39, h = 0, boundMin = 26, boundMax = 58, lower = 33.
s = 2, a_0 = 1, a_1 = 1, a_2 = 4, r = 10000, v = 7, h = 1, boundMin = 6, boundMax = 11, lower = 7.
s = 2, a_0 = 1, a_1 = 1, r = 10000, v = 1, h = 0, knownV = 1, knownH = 0, boundMin = 1, boundMax = 1, lower = 1.
s = 2, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 2, r = 10000, v = 20, h = 0, lower = 18.
s = 2, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 3, r = 10000, v = 28, h = 1, lower = 24.
s = 2, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 4, r = 10000, v = 36, h = 1, lower = 30.
s = 2, a_0 = 1, a_1 = 2, a_2 = 2, r = 10000, v = 6, h = 0, lower = 6.
s = 2, a_0 = 1, a_1 = 2, a_2 = 3, a_3 = 3, r = 10000, v = 37, h = 0, lower = 32.
s = 2, a_0 = 1, a_1 = 2, a_2 = 3, a_3 = 4, r = 10000, v = 48, h = 1, lower = 40.
s = 2, a_0 = 1, a_1 = 2, a_2 = 3, r = 10000, v = 9, h = 1, lower = 8.
s = 2, a_0 = 1, a_1 = 2, a_2 = 4, a_3 = 4, r = 10000, v = 60, h = 1, lower = 50.
s = 2, a_0 = 1, a_1 = 2, a_2 = 4, r = 10000, v = 11, h = 0, lower = 10.
s = 2, a_0 = 1, a_1 = 2, r = 10000, v = 2, h = 0, lower = 2.
s = 2, a_0 = 1, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 50, h = 0, lower = 43.
s = 2, a_0 = 1, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 64, h = 0, lower = 53.
s = 2, a_0 = 1, a_1 = 3, a_2 = 3, r = 10000, v = 12, h = 1, lower = 11.
s = 2, a_0 = 1, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 81, h = 0, lower = 67.
s = 2, a_0 = 1, a_1 = 3, a_2 = 4, r = 10000, v = 15, h = 1, lower = 13.
s = 2, a_0 = 1, a_1 = 3, r = 10000, v = 3, h = 1, lower = 3.
s = 2, a_0 = 1, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 101, h = 0, lower = 83.
s = 2, a_0 = 1, a_1 = 4, a_2 = 4, r = 10000, v = 19, h = 0, lower = 17.
s = 2, a_0 = 1, a_1 = 4, r = 10000, v = 4, h = 1, lower = 3.
s = 2, a_0 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 2, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 2, r = 10000, v = 32, h = 1, lower = 27.
s = 2, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 3, r = 10000, v = 43, h = 1, lower = 36.
s = 2, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 4, r = 10000, v = 54, h = 0, lower = 45.
s = 2, a_0 = 2, a_1 = 2, a_2 = 2, r = 10000, v = 10, h = 1, lower = 9.
s = 2, a_0 = 2, a_1 = 2, a_2 = 3, a_3 = 3, r = 10000, v = 58, h = 1, lower = 48.
s = 2, a_0 = 2, a_1 = 2, a_2 = 3, a_3 = 4, r = 10000, v = 73, h = 1, lower = 60.
s = 2, a_0 = 2, a_1 = 2, a_2 = 3, r = 10000, v = 13, h = 1, lower = 12.
s = 2, a_0 = 2, a_1 = 2, a_2 = 4, a_3 = 4, r = 10000, v = 91, h = 0, lower = 75.
s = 2, a_0 = 2, a_1 = 2, a_2 = 4, r = 10000, v = 17, h = 0, lower = 15.
s = 2, a_0 = 2, a_1 = 2, r = 10000, v = 3, h = 0, lower = 3.
s = 2, a_0 = 2, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 75, h = 1, lower = 64.
s = 2, a_0 = 2, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 93, h = 0, lower = 80.
s = 2, a_0 = 2, a_1 = 3, a_2 = 3, r = 10000, v = 18, h = 0, lower = 16.
s = 2, a_0 = 2, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 117, h = 0, lower = 100.
s = 2, a_0 = 2, a_1 = 3, a_2 = 4, r = 10000, v = 23, h = 0, lower = 20.
s = 2, a_0 = 2, a_1 = 3, r = 10000, v = 4, h = 0, lower = 4.
s = 2, a_0 = 2, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 142, h = 0, lower = 125.
s = 2, a_0 = 2, a_1 = 4, a_2 = 4, r = 10000, v = 28, h = 0, lower = 25.
s = 2, a_0 = 2, a_1 = 4, r = 10000, v = 5, h = 0, lower = 5.
s = 2, a_0 = 2, r = 10000, v = 1, h = 0, lower = 1.
s = 2, a_0 = 3, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 105, h = 1, lower = 85.
s = 2, a_0 = 3, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 131, h = 1, lower = 107.
s = 2, a_0 = 3, a_1 = 3, a_2 = 3, r = 10000, v = 25, h = 0, lower = 21.
s = 2, a_0 = 3, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 165, h = 0, lower = 133.
s = 2, a_0 = 3, a_1 = 3, a_2 = 4, r = 10000, v = 31, h = 0, lower = 27.
s = 2, a_0 = 3, a_1 = 3, r = 10000, v = 5, h = 0, lower = 5.
s = 2, a_0 = 3, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 207, h = 1, lower = 167.
s = 2, a_0 = 3, a_1 = 4, a_2 = 4, r = 10000, v = 39, h = 0, lower = 33.
s = 2, a_0 = 3, a_1 = 4, r = 10000, v = 7, h = 0, lower = 7.
s = 2, a_0 = 3, r = 10000, v = 2, h = 1, lower = 1.
s = 2, a_0 = 4, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 259, h = 0, lower = 208.
s = 2, a_0 = 4, a_1 = 4, a_2 = 4, r = 10000, v = 50, h = 0, lower = 42.
s = 2, a_0 = 4, a_1 = 4, r = 10000, v = 9, h = 0, lower = 8.
s = 2, a_0 = 4, r = 10000, v = 2, h = 0, lower = 2.
s = 3, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 1, r = 10000, v = 3, h = 1, knownV = 3, knownH = 1, boundMin = 3, boundMax = 3, lower = 3.
s = 3, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 2, r = 10000, v = 5, h = 1, boundMin = 4, boundMax = 6, lower = 4.
s = 3, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 3, r = 10000, v = 6, h = 0, boundMin = 5, boundMax = 8, lower = 5.
s = 3, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 4, r = 10000, v = 9, h = 1, boundMin = 6, boundMax = 10, lower = 6.
s = 3, a_0 = 1, a_1 = 1, a_2 = 1, r = 10000, v = 1, h = 0, knownV = 1, knownH = 0, boundMin = 1, boundMax = 1, lower = 1.
s = 3, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 2, r = 10000, v = 7, h = 0, lower = 5.
s = 3, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 3, r = 10000, v = 10, h = 0, lower = 7.
s = 3, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 4, r = 10000, v = 13, h = 1, lower = 9.
s = 3, a_0 = 1, a_1 = 1, a_2 = 2, r = 10000, v = 2, h = 0, lower = 2.
s = 3, a_0 = 1, a_1 = 1, a_2 = 3, a_3 = 3, r = 10000, v = 14, h = 0, lower = 9.
s = 3, a_0 = 1, a_1 = 1, a_2 = 3, a_3 = 4, r = 10000, v = 18, h = 0, lower = 12.
s = 3, a_0 = 1, a_1 = 1, a_2 = 3, r = 10000, v = 3, h = 1, lower = 3.
s = 3, a_0 = 1, a_1 = 1, a_2 = 4, a_3 = 4, r = 10000, v = 23, h = 1, lower = 15.
s = 3, a_0 = 1, a_1 = 1, a_2 = 4, r = 10000, v = 4, h = 1, lower = 3.
s = 3, a_0 = 1, a_1 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 3, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 2, r = 10000, v = 11, h = 1, lower = 8.
s = 3, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 3, r = 10000, v = 15, h = 1, lower = 11.
s = 3, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 4, r = 10000, v = 18, h = 0, lower = 13.
s = 3, a_0 = 1, a_1 = 2, a_2 = 2, r = 10000, v = 3, h = 0, lower = 3.
s = 3, a_0 = 1, a_1 = 2, a_2 = 3, a_3 = 3, r = 10000, v = 19, h = 1, lower = 14.
s = 3, a_0 = 1, a_1 = 2, a_2 = 3, a_3 = 4, r = 10000, v = 23, h = 0, lower = 17.
s = 3, a_0 = 1, a_1 = 2, a_2 = 3, r = 10000, v = 5, h = 1, lower = 4.
s = 3, a_0 = 1, a_1 = 2, a_2 = 4, a_3 = 4, r = 10000, v = 28, h = 0, lower = 22.
s = 3, a_0 = 1, a_1 = 2, a_2 = 4, r = 10000, v = 6, h = 1, lower = 5.
s = 3, a_0 = 1, a_1 = 2, r = 10000, v = 1, h = 0, lower = 1.
s = 3, a_0 = 1, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 29, h = 0, lower = 19.
s = 3, a_0 = 1, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 37, h = 0, lower = 23.
s = 3, a_0 = 1, a_1 = 3, a_2 = 3, r = 10000, v = 6, h = 0, lower = 5.
s = 3, a_0 = 1, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 46, h = 0, lower = 29.
s = 3, a_0 = 1, a_1 = 3, a_2 = 4, r = 10000, v = 9, h = 1, lower = 6.
s = 3, a_0 = 1, a_1 = 3, r = 10000, v = 2, h = 1, lower = 1.
s = 3, a_0 = 1, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 53, h = 0, lower = 36.
s = 3, a_0 = 1, a_1 = 4, a_2 = 4, r = 10000, v = 11, h = 1, lower = 7.
s = 3, a_0 = 1, a_1 = 4, r = 10000, v = 2, h = 0, lower = 2.
s = 3, a_0 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 3, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 2, r = 10000, v = 18, h = 0, lower = 12.
s = 3, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 3, r = 10000, v = 25, h = 1, lower = 16.
s = 3, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 4, r = 10000, v = 31, h = 1, lower = 20.
s = 3, a_0 = 2, a_1 = 2, a_2 = 2, r = 10000, v = 6, h = 1, lower = 4.
s = 3, a_0 = 2, a_1 = 2, a_2 = 3, a_3 = 3, r = 10000, v = 33, h = 1, lower = 21.
s = 3, a_0 = 2, a_1 = 2, a_2 = 3, a_3 = 4, r = 10000, v = 41, h = 1, lower = 26.
s = 3, a_0 = 2, a_1 = 2, a_2 = 3, r = 10000, v = 8, h = 1, lower = 5.
s = 3, a_0 = 2, a_1 = 2, a_2 = 4, a_3 = 4, r = 10000, v = 53, h = 1, lower = 32.
s = 3, a_0 = 2, a_1 = 2, a_2 = 4, r = 10000, v = 9, h = 0, lower = 7.
s = 3, a_0 = 2, a_1 = 2, r = 10000, v = 2, h = 1, lower = 2.
s = 3, a_0 = 2, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 45, h = 0, lower = 28.
s = 3, a_0 = 2, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 56, h = 0, lower = 35.
s = 3, a_0 = 2, a_1 = 3, a_2 = 3, r = 10000, v = 11, h = 1, lower = 7.
s = 3, a_0 = 2, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 72, h = 0, lower = 43.
s = 3, a_0 = 2, a_1 = 3, a_2 = 4, r = 10000, v = 13, h = 0, lower = 9.
s = 3, a_0 = 2, a_1 = 3, r = 10000, v = 3, h = 1, lower = 2.
s = 3, a_0 = 2, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 91, h = 1, lower = 54.
s = 3, a_0 = 2, a_1 = 4, a_2 = 4, r = 10000, v = 17, h = 1, lower = 11.
s = 3, a_0 = 2, a_1 = 4, r = 10000, v = 3, h = 0, lower = 2.
s = 3, a_0 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 3, a_0 = 3, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 61, h = 0, lower = 37.
s = 3, a_0 = 3, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 77, h = 1, lower = 46.
s = 3, a_0 = 3, a_1 = 3, a_2 = 3, r = 10000, v = 15, h = 1, lower = 9.
s = 3, a_0 = 3, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 95, h = 0, lower = 57.
s = 3, a_0 = 3, a_1 = 3, a_2 = 4, r = 10000, v = 19, h = 1, lower = 12.
s = 3, a_0 = 3, a_1 = 3, r = 10000, v = 3, h = 0, lower = 3.
s = 3, a_0 = 3, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 121, h = 1, lower = 72.
s = 3, a_0 = 3, a_1 = 4, a_2 = 4, r = 10000, v = 23, h = 0, lower = 15.
s = 3, a_0 = 3, a_1 = 4, r = 10000, v = 4, h = 0, lower = 3.
s = 3, a_0 = 3, r = 10000, v = 1, h = 0, lower = 1.
s = 3, a_0 = 4, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 149, h = 1, lower = 90.
s = 3, a_0 = 4, a_1 = 4, a_2 = 4, r = 10000, v = 29, h = 1, lower = 18.
s = 3, a_0 = 4, a_1 = 4, r = 10000, v = 5, h = 0, lower = 4.
s = 3, a_0 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 4, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 1, r = 10000, v = 1, h = 0, knownV = 1, knownH = 0, boundMin = 1, boundMax = 1, lower = 1.
s = 4, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 2, r = 10000, v = 2, h = 0, lower = 2.
s = 4, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 3, r = 10000, v = 3, h = 0, lower = 3.
s = 4, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 4, r = 10000, v = 4, h = 0, lower = 3.
s = 4, a_0 = 1, a_1 = 1, a_2 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 4, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 2, r = 10000, v = 4, h = 1, lower = 3.
s = 4, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 3, r = 10000, v = 5, h = 1, lower = 4.
s = 4, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 4, r = 10000, v = 6, h = 1, lower = 4.
s = 4, a_0 = 1, a_1 = 1, a_2 = 2, r = 10000, v = 1, h = 0, lower = 1.
s = 4, a_0 = 1, a_1 = 1, a_2 = 3, a_3 = 3, r = 10000, v = 7, h = 0, lower = 5.
s = 4, a_0 = 1, a_1 = 1, a_2 = 3, a_3 = 4, r = 10000, v = 9, h = 0, lower = 6.
s = 4, a_0 = 1, a_1 = 1, a_2 = 3, r = 10000, v = 2, h = 1, lower = 1.
s = 4, a_0 = 1, a_1 = 1, a_2 = 4, a_3 = 4, r = 10000, v = 11, h = 1, lower = 7.
s = 4, a_0 = 1, a_1 = 1, a_2 = 4, r = 10000, v = 2, h = 0, lower = 2.
s = 4, a_0 = 1, a_1 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 4, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 2, r = 10000, v = 8, h = 1, lower = 4.
s = 4, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 3, r = 10000, v = 10, h = 0, lower = 5.
s = 4, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 4, r = 10000, v = 13, h = 1, lower = 6.
s = 4, a_0 = 1, a_1 = 2, a_2 = 2, r = 10000, v = 2, h = 0, lower = 2.
s = 4, a_0 = 1, a_1 = 2, a_2 = 3, a_3 = 3, r = 10000, v = 15, h = 1, lower = 7.
s = 4, a_0 = 1, a_1 = 2, a_2 = 3, a_3 = 4, r = 10000, v = 18, h = 1, lower = 8.
s = 4, a_0 = 1, a_1 = 2, a_2 = 3, r = 10000, v = 3, h = 1, lower = 2.
s = 4, a_0 = 1, a_1 = 2, a_2 = 4, a_3 = 4, r = 10000, v = 24, h = 1, lower = 10.
s = 4, a_0 = 1, a_1 = 2, a_2 = 4, r = 10000, v = 4, h = 1, lower = 2.
s = 4, a_0 = 1, a_1 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 4, a_0 = 1, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 19, h = 1, lower = 9.
s = 4, a_0 = 1, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 23, h = 0, lower = 11.
s = 4, a_0 = 1, a_1 = 3, a_2 = 3, r = 10000, v = 4, h = 0, lower = 3.
s = 4, a_0 = 1, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 28, h = 1, lower = 14.
s = 4, a_0 = 1, a_1 = 3, a_2 = 4, r = 10000, v = 6, h = 1, lower = 3.
s = 4, a_0 = 1, a_1 = 3, r = 10000, v = 1, h = 0, lower = 1.
s = 4, a_0 = 1, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 31, h = 1, lower = 17.
s = 4, a_0 = 1, a_1 = 4, a_2 = 4, r = 10000, v = 7, h = 1, lower = 4.
s = 4, a_0 = 1, a_1 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 4, a_0 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 4, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 2, r = 10000, v = 11, h = 1, lower = 6.
s = 4, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 3, r = 10000, v = 15, h = 1, lower = 8.
s = 4, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 4, r = 10000, v = 18, h = 0, lower = 9.
s = 4, a_0 = 2, a_1 = 2, a_2 = 2, r = 10000, v = 4, h = 1, lower = 2.
s = 4, a_0 = 2, a_1 = 2, a_2 = 3, a_3 = 3, r = 10000, v = 19, h = 1, lower = 10.
s = 4, a_0 = 2, a_1 = 2, a_2 = 3, a_3 = 4, r = 10000, v = 23, h = 0, lower = 12.
s = 4, a_0 = 2, a_1 = 2, a_2 = 3, r = 10000, v = 5, h = 1, lower = 3.
s = 4, a_0 = 2, a_1 = 2, a_2 = 4, a_3 = 4, r = 10000, v = 28, h = 0, lower = 15.
s = 4, a_0 = 2, a_1 = 2, a_2 = 4, r = 10000, v = 6, h = 1, lower = 3.
s = 4, a_0 = 2, a_1 = 2, r = 10000, v = 1, h = 0, lower = 1.
s = 4, a_0 = 2, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 29, h = 1, lower = 13.
s = 4, a_0 = 2, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 38, h = 1, lower = 16.
s = 4, a_0 = 2, a_1 = 3, a_2 = 3, r = 10000, v = 7, h = 1, lower = 4.
s = 4, a_0 = 2, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 48, h = 1, lower = 20.
s = 4, a_0 = 2, a_1 = 3, a_2 = 4, r = 10000, v = 9, h = 1, lower = 4.
s = 4, a_0 = 2, a_1 = 3, r = 10000, v = 2, h = 1, lower = 1.
s = 4, a_0 = 2, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 53, h = 0, lower = 25.
s = 4, a_0 = 2, a_1 = 4, a_2 = 4, r = 10000, v = 11, h = 1, lower = 5.
s = 4, a_0 = 2, a_1 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 4, a_0 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 4, a_0 = 3, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 41, h = 1, lower = 17.
s = 4, a_0 = 3, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 52, h = 1, lower = 22.
s = 4, a_0 = 3, a_1 = 3, a_2 = 3, r = 10000, v = 10, h = 1, lower = 5.
s = 4, a_0 = 3, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 65, h = 0, lower = 27.
s = 4, a_0 = 3, a_1 = 3, a_2 = 4, r = 10000, v = 12, h = 0, lower = 6.
s = 4, a_0 = 3, a_1 = 3, r = 10000, v = 2, h = 0, lower = 1.
s = 4, a_0 = 3, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 81, h = 0, lower = 34.
s = 4, a_0 = 3, a_1 = 4, a_2 = 4, r = 10000, v = 16, h = 1, lower = 7.
s = 4, a_0 = 3, a_1 = 4, r = 10000, v = 3, h = 1, lower = 2.
s = 4, a_0 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 4, a_0 = 4, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 103, h = 1, lower = 42.
s = 4, a_0 = 4, a_1 = 4, a_2 = 4, r = 10000, v = 19, h = 1, lower = 9.
s = 4, a_0 = 4, a_1 = 4, r = 10000, v = 4, h = 1, lower = 2.
s = 4, a_0 = 4, r = 10000, v = 1, h = 0, lower = 1.
s = 5, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 5, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 2, r = 10000, v = 1, h = 0, lower = 1.
s = 5, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 3, r = 10000, v = 2, h = 1, lower = 1.
s = 5, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 4, r = 10000, v = 2, h = 0, lower = 2.
s = 5, a_0 = 1, a_1 = 1, a_2 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 5, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 2, r = 10000, v = 2, h = 0, lower = 2.
s = 5, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 3, r = 10000, v = 3, h = 0, lower = 2.
s = 5, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 4, r = 10000, v = 4, h = 0, lower = 2.
s = 5, a_0 = 1, a_1 = 1, a_2 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 5, a_0 = 1, a_1 = 1, a_2 = 3, a_3 = 3, r = 10000, v = 6, h = 1, lower = 3.
s = 5, a_0 = 1, a_1 = 1, a_2 = 3, a_3 = 4, r = 10000, v = 7, h = 0, lower = 3.
s = 5, a_0 = 1, a_1 = 1, a_2 = 3, r = 10000, v = 1, h = 0, lower = 1.
s = 5, a_0 = 1, a_1 = 1, a_2 = 4, a_3 = 4, r = 10000, v = 10, h = 1, lower = 4.
s = 5, a_0 = 1, a_1 = 1, a_2 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 5, a_0 = 1, a_1 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 5, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 2, r = 10000, v = 4, h = 1, lower = 2.
s = 5, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 3, r = 10000, v = 5, h = 1, lower = 3.
s = 5, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 4, r = 10000, v = 6, h = 1, lower = 3.
s = 5, a_0 = 1, a_1 = 2, a_2 = 2, r = 10000, v = 1, h = 0, lower = 1.
s = 5, a_0 = 1, a_1 = 2, a_2 = 3, a_3 = 3, r = 10000, v = 7, h = 0, lower = 4.
s = 5, a_0 = 1, a_1 = 2, a_2 = 3, a_3 = 4, r = 10000, v = 9, h = 0, lower = 4.
s = 5, a_0 = 1, a_1 = 2, a_2 = 3, r = 10000, v = 2, h = 1, lower = 1.
s = 5, a_0 = 1, a_1 = 2, a_2 = 4, a_3 = 4, r = 10000, v = 11, h = 1, lower = 5.
s = 5, a_0 = 1, a_1 = 2, a_2 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 5, a_0 = 1, a_1 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 5, a_0 = 1, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 13, h = 1, lower = 5.
s = 5, a_0 = 1, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 19, h = 1, lower = 6.
s = 5, a_0 = 1, a_1 = 3, a_2 = 3, r = 10000, v = 3, h = 1, lower = 1.
s = 5, a_0 = 1, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 23, h = 1, lower = 7.
s = 5, a_0 = 1, a_1 = 3, a_2 = 4, r = 10000, v = 4, h = 1, lower = 2.
s = 5, a_0 = 1, a_1 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 5, a_0 = 1, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 28, h = 0, lower = 9.
s = 5, a_0 = 1, a_1 = 4, a_2 = 4, r = 10000, v = 5, h = 1, lower = 2.
s = 5, a_0 = 1, a_1 = 4, r = 10000, v = 1, h = 0, lower = 1.
s = 5, a_0 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 5, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 2, r = 10000, v = 8, h = 0, lower = 3.
s = 5, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 3, r = 10000, v = 11, h = 0, lower = 4.
s = 5, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 4, r = 10000, v = 14, h = 0, lower = 5.
s = 5, a_0 = 2, a_1 = 2, a_2 = 2, r = 10000, v = 2, h = 0, lower = 1.
s = 5, a_0 = 2, a_1 = 2, a_2 = 3, a_3 = 3, r = 10000, v = 15, h = 0, lower = 5.
s = 5, a_0 = 2, a_1 = 2, a_2 = 3, a_3 = 4, r = 10000, v = 19, h = 0, lower = 6.
s = 5, a_0 = 2, a_1 = 2, a_2 = 3, r = 10000, v = 3, h = 0, lower = 2.
s = 5, a_0 = 2, a_1 = 2, a_2 = 4, a_3 = 4, r = 10000, v = 24, h = 0, lower = 8.
s = 5, a_0 = 2, a_1 = 2, a_2 = 4, r = 10000, v = 4, h = 0, lower = 2.
s = 5, a_0 = 2, a_1 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 5, a_0 = 2, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 19, h = 1, lower = 7.
s = 5, a_0 = 2, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 23, h = 0, lower = 8.
s = 5, a_0 = 2, a_1 = 3, a_2 = 3, r = 10000, v = 5, h = 1, lower = 2.
s = 5, a_0 = 2, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 29, h = 1, lower = 10.
s = 5, a_0 = 2, a_1 = 3, a_2 = 4, r = 10000, v = 6, h = 1, lower = 2.
s = 5, a_0 = 2, a_1 = 3, r = 10000, v = 1, h = 0, lower = 1.
s = 5, a_0 = 2, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 31, h = 1, lower = 13.
s = 5, a_0 = 2, a_1 = 4, a_2 = 4, r = 10000, v = 7, h = 1, lower = 3.
s = 5, a_0 = 2, a_1 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 5, a_0 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 5, a_0 = 3, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 30, h = 1, lower = 9.
s = 5, a_0 = 3, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 38, h = 1, lower = 11.
s = 5, a_0 = 3, a_1 = 3, a_2 = 3, r = 10000, v = 7, h = 1, lower = 3.
s = 5, a_0 = 3, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 47, h = 1, lower = 13.
s = 5, a_0 = 3, a_1 = 3, a_2 = 4, r = 10000, v = 9, h = 1, lower = 3.
s = 5, a_0 = 3, a_1 = 3, r = 10000, v = 2, h = 1, lower = 1.
s = 5, a_0 = 3, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 53, h = 0, lower = 17.
s = 5, a_0 = 3, a_1 = 4, a_2 = 4, r = 10000, v = 11, h = 1, lower = 4.
s = 5, a_0 = 3, a_1 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 5, a_0 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 5, a_0 = 4, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 75, h = 1, lower = 21.
s = 5, a_0 = 4, a_1 = 4, a_2 = 4, r = 10000, v = 14, h = 0, lower = 4.
s = 5, a_0 = 4, a_1 = 4, r = 10000, v = 3, h = 1, lower = 1.
s = 5, a_0 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 6, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 6, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 6, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 3, r = 10000, v = 1, h = 0, lower = 1.
s = 6, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 6, a_0 = 1, a_1 = 1, a_2 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 6, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 2, r = 10000, v = 1, h = 0, lower = 1.
s = 6, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 3, r = 10000, v = 2, h = 1, lower = 1.
s = 6, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 6, a_0 = 1, a_1 = 1, a_2 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 6, a_0 = 1, a_1 = 1, a_2 = 3, a_3 = 3, r = 10000, v = 3, h = 0, lower = 1.
s = 6, a_0 = 1, a_1 = 1, a_2 = 3, a_3 = 4, r = 10000, v = 4, h = 0, lower = 2.
s = 6, a_0 = 1, a_1 = 1, a_2 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 6, a_0 = 1, a_1 = 1, a_2 = 4, a_3 = 4, r = 10000, v = 6, h = 1, lower = 2.
s = 6, a_0 = 1, a_1 = 1, a_2 = 4, r = 10000, v = 1, h = 0, lower = 1.
s = 6, a_0 = 1, a_1 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 6, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 2, r = 10000, v = 2, h = 0, lower = 1.
s = 6, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 3, r = 10000, v = 3, h = 0, lower = 2.
s = 6, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 4, r = 10000, v = 4, h = 0, lower = 2.
s = 6, a_0 = 1, a_1 = 2, a_2 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 6, a_0 = 1, a_1 = 2, a_2 = 3, a_3 = 3, r = 10000, v = 6, h = 1, lower = 2.
s = 6, a_0 = 1, a_1 = 2, a_2 = 3, a_3 = 4, r = 10000, v = 7, h = 0, lower = 2.
s = 6, a_0 = 1, a_1 = 2, a_2 = 3, r = 10000, v = 1, h = 0, lower = 1.
s = 6, a_0 = 1, a_1 = 2, a_2 = 4, a_3 = 4, r = 10000, v = 10, h = 1, lower = 3.
s = 6, a_0 = 1, a_1 = 2, a_2 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 6, a_0 = 1, a_1 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 6, a_0 = 1, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 7, h = 0, lower = 3.
s = 6, a_0 = 1, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 9, h = 0, lower = 3.
s = 6, a_0 = 1, a_1 = 3, a_2 = 3, r = 10000, v = 2, h = 1, lower = 1.
s = 6, a_0 = 1, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 11, h = 1, lower = 4.
s = 6, a_0 = 1, a_1 = 3, a_2 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 6, a_0 = 1, a_1 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 6, a_0 = 1, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 23, h = 1, lower = 4.
s = 6, a_0 = 1, a_1 = 4, a_2 = 4, r = 10000, v = 4, h = 1, lower = 1.
s = 6, a_0 = 1, a_1 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 6, a_0 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 6, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 2, r = 10000, v = 4, h = 1, lower = 2.
s = 6, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 3, r = 10000, v = 5, h = 1, lower = 2.
s = 6, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 4, r = 10000, v = 6, h = 1, lower = 3.
s = 6, a_0 = 2, a_1 = 2, a_2 = 2, r = 10000, v = 1, h = 0, lower = 1.
s = 6, a_0 = 2, a_1 = 2, a_2 = 3, a_3 = 3, r = 10000, v = 7, h = 0, lower = 3.
s = 6, a_0 = 2, a_1 = 2, a_2 = 3, a_3 = 4, r = 10000, v = 9, h = 0, lower = 3.
s = 6, a_0 = 2, a_1 = 2, a_2 = 3, r = 10000, v = 2, h = 1, lower = 1.
s = 6, a_0 = 2, a_1 = 2, a_2 = 4, a_3 = 4, r = 10000, v = 11, h = 1, lower = 4.
s = 6, a_0 = 2, a_1 = 2, a_2 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 6, a_0 = 2, a_1 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 6, a_0 = 2, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 15, h = 0, lower = 4.
s = 6, a_0 = 2, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 19, h = 0, lower = 4.
s = 6, a_0 = 2, a_1 = 3, a_2 = 3, r = 10000, v = 3, h = 0, lower = 1.
s = 6, a_0 = 2, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 24, h = 0, lower = 5.
s = 6, a_0 = 2, a_1 = 3, a_2 = 4, r = 10000, v = 4, h = 0, lower = 1.
s = 6, a_0 = 2, a_1 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 6, a_0 = 2, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 27, h = 1, lower = 6.
s = 6, a_0 = 2, a_1 = 4, a_2 = 4, r = 10000, v = 6, h = 1, lower = 2.
s = 6, a_0 = 2, a_1 = 4, r = 10000, v = 1, h = 0, lower = 1.
s = 6, a_0 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 6, a_0 = 3, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 19, h = 1, lower = 5.
s = 6, a_0 = 3, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 23, h = 0, lower = 6.
s = 6, a_0 = 3, a_1 = 3, a_2 = 3, r = 10000, v = 5, h = 1, lower = 1.
s = 6, a_0 = 3, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 29, h = 1, lower = 7.
s = 6, a_0 = 3, a_1 = 3, a_2 = 4, r = 10000, v = 6, h = 1, lower = 2.
s = 6, a_0 = 3, a_1 = 3, r = 10000, v = 1, h = 0, lower = 1.
s = 6, a_0 = 3, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 31, h = 1, lower = 8.
s = 6, a_0 = 3, a_1 = 4, a_2 = 4, r = 10000, v = 7, h = 1, lower = 2.
s = 6, a_0 = 3, a_1 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 6, a_0 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 6, a_0 = 4, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 53, h = 0, lower = 10.
s = 6, a_0 = 4, a_1 = 4, a_2 = 4, r = 10000, v = 11, h = 1, lower = 2.
s = 6, a_0 = 4, a_1 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 6, a_0 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 4, r = 10000, v = 1, h = 0, lower = 1.
s = 7, a_0 = 1, a_1 = 1, a_2 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 3, r = 10000, v = 1, h = 0, lower = 1.
s = 7, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 1, a_2 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 1, a_2 = 3, a_3 = 3, r = 10000, v = 2, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 1, a_2 = 3, a_3 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 7, a_0 = 1, a_1 = 1, a_2 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 1, a_2 = 4, a_3 = 4, r = 10000, v = 4, h = 0, lower = 1.
s = 7, a_0 = 1, a_1 = 1, a_2 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 2, r = 10000, v = 1, h = 0, lower = 1.
s = 7, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 3, r = 10000, v = 2, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 7, a_0 = 1, a_1 = 2, a_2 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 2, a_2 = 3, a_3 = 3, r = 10000, v = 3, h = 0, lower = 1.
s = 7, a_0 = 1, a_1 = 2, a_2 = 3, a_3 = 4, r = 10000, v = 4, h = 0, lower = 1.
s = 7, a_0 = 1, a_1 = 2, a_2 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 2, a_2 = 4, a_3 = 4, r = 10000, v = 7, h = 0, lower = 2.
s = 7, a_0 = 1, a_1 = 2, a_2 = 4, r = 10000, v = 1, h = 0, lower = 1.
s = 7, a_0 = 1, a_1 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 6, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 7, h = 0, lower = 2.
s = 7, a_0 = 1, a_1 = 3, a_2 = 3, r = 10000, v = 1, h = 0, lower = 1.
s = 7, a_0 = 1, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 10, h = 1, lower = 2.
s = 7, a_0 = 1, a_1 = 3, a_2 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 1, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 11, h = 1, lower = 2.
s = 7, a_0 = 1, a_1 = 4, a_2 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 7, a_0 = 1, a_1 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 2, r = 10000, v = 2, h = 0, lower = 1.
s = 7, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 3, r = 10000, v = 3, h = 0, lower = 1.
s = 7, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 4, r = 10000, v = 4, h = 0, lower = 2.
s = 7, a_0 = 2, a_1 = 2, a_2 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 2, a_1 = 2, a_2 = 3, a_3 = 3, r = 10000, v = 6, h = 1, lower = 2.
s = 7, a_0 = 2, a_1 = 2, a_2 = 3, a_3 = 4, r = 10000, v = 7, h = 0, lower = 2.
s = 7, a_0 = 2, a_1 = 2, a_2 = 3, r = 10000, v = 1, h = 0, lower = 1.
s = 7, a_0 = 2, a_1 = 2, a_2 = 4, a_3 = 4, r = 10000, v = 10, h = 1, lower = 2.
s = 7, a_0 = 2, a_1 = 2, a_2 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 7, a_0 = 2, a_1 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 2, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 7, h = 0, lower = 2.
s = 7, a_0 = 2, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 9, h = 0, lower = 2.
s = 7, a_0 = 2, a_1 = 3, a_2 = 3, r = 10000, v = 2, h = 1, lower = 1.
s = 7, a_0 = 2, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 11, h = 1, lower = 3.
s = 7, a_0 = 2, a_1 = 3, a_2 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 7, a_0 = 2, a_1 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 2, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 24, h = 0, lower = 3.
s = 7, a_0 = 2, a_1 = 4, a_2 = 4, r = 10000, v = 4, h = 0, lower = 1.
s = 7, a_0 = 2, a_1 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 3, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 15, h = 0, lower = 3.
s = 7, a_0 = 3, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 19, h = 0, lower = 3.
s = 7, a_0 = 3, a_1 = 3, a_2 = 3, r = 10000, v = 3, h = 0, lower = 1.
s = 7, a_0 = 3, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 24, h = 0, lower = 4.
s = 7, a_0 = 3, a_1 = 3, a_2 = 4, r = 10000, v = 4, h = 0, lower = 1.
s = 7, a_0 = 3, a_1 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 3, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 29, h = 1, lower = 4.
s = 7, a_0 = 3, a_1 = 4, a_2 = 4, r = 10000, v = 6, h = 1, lower = 1.
s = 7, a_0 = 3, a_1 = 4, r = 10000, v = 1, h = 0, lower = 1.
s = 7, a_0 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 7, a_0 = 4, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 31, h = 1, lower = 5.
s = 7, a_0 = 4, a_1 = 4, a_2 = 4, r = 10000, v = 7, h = 1, lower = 1.
s = 7, a_0 = 4, a_1 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 7, a_0 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 1, a_2 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 4, r = 10000, v = 1, h = 0, lower = 1.
s = 8, a_0 = 1, a_1 = 1, a_2 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 1, a_2 = 3, a_3 = 3, r = 10000, v = 1, h = 0, lower = 1.
s = 8, a_0 = 1, a_1 = 1, a_2 = 3, a_3 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 1, a_2 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 1, a_2 = 4, a_3 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 8, a_0 = 1, a_1 = 1, a_2 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 3, r = 10000, v = 1, h = 0, lower = 1.
s = 8, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 2, a_2 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 2, a_2 = 3, a_3 = 3, r = 10000, v = 2, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 2, a_2 = 3, a_3 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 8, a_0 = 1, a_1 = 2, a_2 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 2, a_2 = 4, a_3 = 4, r = 10000, v = 4, h = 0, lower = 1.
s = 8, a_0 = 1, a_1 = 2, a_2 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 3, h = 0, lower = 1.
s = 8, a_0 = 1, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 4, h = 0, lower = 1.
s = 8, a_0 = 1, a_1 = 3, a_2 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 7, h = 0, lower = 1.
s = 8, a_0 = 1, a_1 = 3, a_2 = 4, r = 10000, v = 1, h = 0, lower = 1.
s = 8, a_0 = 1, a_1 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 10, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 4, a_2 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 8, a_0 = 1, a_1 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 2, r = 10000, v = 1, h = 0, lower = 1.
s = 8, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 3, r = 10000, v = 2, h = 1, lower = 1.
s = 8, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 8, a_0 = 2, a_1 = 2, a_2 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 2, a_1 = 2, a_2 = 3, a_3 = 3, r = 10000, v = 3, h = 0, lower = 1.
s = 8, a_0 = 2, a_1 = 2, a_2 = 3, a_3 = 4, r = 10000, v = 4, h = 0, lower = 1.
s = 8, a_0 = 2, a_1 = 2, a_2 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 2, a_1 = 2, a_2 = 4, a_3 = 4, r = 10000, v = 9, h = 1, lower = 1.
s = 8, a_0 = 2, a_1 = 2, a_2 = 4, r = 10000, v = 1, h = 0, lower = 1.
s = 8, a_0 = 2, a_1 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 2, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 6, h = 1, lower = 1.
s = 8, a_0 = 2, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 7, h = 0, lower = 1.
s = 8, a_0 = 2, a_1 = 3, a_2 = 3, r = 10000, v = 1, h = 0, lower = 1.
s = 8, a_0 = 2, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 10, h = 1, lower = 2.
s = 8, a_0 = 2, a_1 = 3, a_2 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 8, a_0 = 2, a_1 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 2, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 11, h = 1, lower = 2.
s = 8, a_0 = 2, a_1 = 4, a_2 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 8, a_0 = 2, a_1 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 3, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 7, h = 0, lower = 1.
s = 8, a_0 = 3, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 9, h = 0, lower = 2.
s = 8, a_0 = 3, a_1 = 3, a_2 = 3, r = 10000, v = 2, h = 1, lower = 1.
s = 8, a_0 = 3, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 11, h = 1, lower = 2.
s = 8, a_0 = 3, a_1 = 3, a_2 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 8, a_0 = 3, a_1 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 3, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 24, h = 0, lower = 2.
s = 8, a_0 = 3, a_1 = 4, a_2 = 4, r = 10000, v = 4, h = 0, lower = 1.
s = 8, a_0 = 3, a_1 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 8, a_0 = 4, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 29, h = 1, lower = 3.
s = 8, a_0 = 4, a_1 = 4, a_2 = 4, r = 10000, v = 6, h = 1, lower = 1.
s = 8, a_0 = 4, a_1 = 4, r = 10000, v = 1, h = 0, lower = 1.
s = 8, a_0 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 1, a_2 = 1, a_3 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 1, a_2 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 1, a_2 = 2, a_3 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 1, a_2 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 1, a_2 = 3, a_3 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 1, a_2 = 3, a_3 = 4, r = 10000, v = 1, h = 0, lower = 1.
s = 9, a_0 = 1, a_1 = 1, a_2 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 1, a_2 = 4, a_3 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 1, a_2 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 2, a_2 = 2, a_3 = 4, r = 10000, v = 1, h = 0, lower = 1.
s = 9, a_0 = 1, a_1 = 2, a_2 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 2, a_2 = 3, a_3 = 3, r = 10000, v = 1, h = 0, lower = 1.
s = 9, a_0 = 1, a_1 = 2, a_2 = 3, a_3 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 2, a_2 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 2, a_2 = 4, a_3 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 9, a_0 = 1, a_1 = 2, a_2 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 2, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 9, a_0 = 1, a_1 = 3, a_2 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 4, h = 0, lower = 1.
s = 9, a_0 = 1, a_1 = 3, a_2 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 7, h = 0, lower = 1.
s = 9, a_0 = 1, a_1 = 4, a_2 = 4, r = 10000, v = 1, h = 0, lower = 1.
s = 9, a_0 = 1, a_1 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 1, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 3, r = 10000, v = 1, h = 0, lower = 1.
s = 9, a_0 = 2, a_1 = 2, a_2 = 2, a_3 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 9, a_0 = 2, a_1 = 2, a_2 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 2, a_1 = 2, a_2 = 3, a_3 = 3, r = 10000, v = 2, h = 1, lower = 1.
s = 9, a_0 = 2, a_1 = 2, a_2 = 3, a_3 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 9, a_0 = 2, a_1 = 2, a_2 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 2, a_1 = 2, a_2 = 4, a_3 = 4, r = 10000, v = 4, h = 0, lower = 1.
s = 9, a_0 = 2, a_1 = 2, a_2 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 2, a_1 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 2, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 3, h = 0, lower = 1.
s = 9, a_0 = 2, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 4, h = 0, lower = 1.
s = 9, a_0 = 2, a_1 = 3, a_2 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 2, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 9, h = 1, lower = 1.
s = 9, a_0 = 2, a_1 = 3, a_2 = 4, r = 10000, v = 1, h = 0, lower = 1.
s = 9, a_0 = 2, a_1 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 2, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 10, h = 1, lower = 1.
s = 9, a_0 = 2, a_1 = 4, a_2 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 9, a_0 = 2, a_1 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 2, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 3, a_1 = 3, a_2 = 3, a_3 = 3, r = 10000, v = 6, h = 1, lower = 1.
s = 9, a_0 = 3, a_1 = 3, a_2 = 3, a_3 = 4, r = 10000, v = 7, h = 0, lower = 1.
s = 9, a_0 = 3, a_1 = 3, a_2 = 3, r = 10000, v = 1, h = 0, lower = 1.
s = 9, a_0 = 3, a_1 = 3, a_2 = 4, a_3 = 4, r = 10000, v = 10, h = 1, lower = 1.
s = 9, a_0 = 3, a_1 = 3, a_2 = 4, r = 10000, v = 2, h = 1, lower = 1.
s = 9, a_0 = 3, a_1 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 3, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 11, h = 1, lower = 1.
s = 9, a_0 = 3, a_1 = 4, a_2 = 4, r = 10000, v = 2, h = 0, lower = 1.
s = 9, a_0 = 3, a_1 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 3, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 4, a_1 = 4, a_2 = 4, a_3 = 4, r = 10000, v = 24, h = 0, lower = 2.
s = 9, a_0 = 4, a_1 = 4, a_2 = 4, r = 10000, v = 4, h = 0, lower = 1.
s = 9, a_0 = 4, a_1 = 4, r = 10000, v = 1, h = 1, lower = 1.
s = 9, a_0 = 4, r = 10000, v = 1, h = 1, lower = 1.