testOutput["issue34"]["benchmark"]=[0,417,[11, 10, 9, 9, 108, 107, 109, 108, 9, 8, 7, 6, 6, 58, 57, 57, 56, 55, 51, 50, 49, 49, 48, 47, 47, 46, 45, 44, 43, 42, 42, 41, 40, 39, 38, 37, 36, 35, 34, 34, 33, 32, 31, 30, 29, 27, 26, 25, 25, 24, 23, 104, 103, 102, 101, 100, 99, 99, 98, 97, 96, 95, 94, 92, 91, 90, 89, 88, 87, 86, 85, 84, 83, 82, 81, 80, 79, 78, 77, 76, 75, 74, 73, 72, 70, 69, 68, 68, 67, 66, 64, 63, 62, 62, 61, 60, 59, 58, 6, 20, 19, 18, 16, 15, 1, 1, 117, 116, 123, 122, 113, 113, 115, 119, 119, 118, 117, 117, 1, 132, 132, 131, 130, 129, 128, 127, 133, 132, 1, 2, 1, 15, 14, 13, 12, 11, 9, 107, 109, 9, 8, 8, 6, 57, 51, 49, 47, 44, 42, 40, 37, 36, 34, 31, 29, 28, 102, 101, 99, 92, 90, 89, 87, 86, 84, 71, 70, 68, 68, 66, 65, 64, 62, 60, 60, 59, 6, 20, 18, 17, 17, 16, 1, 116, 115, 113, 111, 113, 122, 123, 113, 119, 119, 117, 132, 134, 133, 1, 2, 15, 14, 109, 8, 57, 51, 47, 45, 44, 40, 39, 39, 37, 34, 32, 31, 28, 93, 92, 89, 87, 84, 83, 71, 68, 65, 65, 64, 60, 60, 6, 21, 21, 20, 17, 17, 1, 116, 116, 113, 112, 111, 122, 121, 119, 132, 130, 2, 14, 12, 106, 109, 57, 52, 51, 45, 44, 39, 34, 93, 89, 87, 87, 83, 81, 71, 65, 60, 21, 17, 116, 116, 112, 111, 119, 130, 129, 3, 2, 12, 106, 57, 55, 52, 45, 44, 44, 34, 32, 94, 93, 87, 72, 71, 60, 21, 116, 111, 123, 119, 129, 3, 12, 11, 107, 106, 55, 52, 44, 32, 94, 87, 81, 74, 72, 60, 60, 21, 111, 123, 129, 127, 3, 11, 107, 107, 55, 54, 53, 52, 32, 96, 94, 81, 75, 74, 60, 60, 111, 121, 121, 123, 127, 3, 107, 54, 53, 32, 28, 96, 81, 80, 60, 121, 127, 3, 54, 53, 97, 96, 80, 60, 127, 126, 4, 3, 53, 75, 60, 126, 4, 53, 28, 75, 126, 125, 4, 28, 27, 77, 75, 125, 4, 27, 25, 78, 77, 125, 4, 25, 23, 78, 125, 134, 1, 4, 23, 80, 78, 134, 1, 23, 104, 80, 134, 1, 1, 104, 102, 97, 80, 1, 1, 102, 99, 99, 97, 1]];