testOutput["issue52"]["benchmark"]=[0,327,[6, 7, 8, 11, 12, 13, 13, 14, 15, 15, 16, 17, 17, 18, 19, 19, 20, 21, 22, 23, 24, 28, 29, 30, 30, 31, 32, 33, 34, 35, 35, 36, 37, 38, 39, 40, 40, 41, 42, 43, 44, 45, 45, 46, 47, 81, 82, 83, 83, 84, 85, 75, 76, 77, 77, 78, 79, 48, 49, 50, 50, 51, 52, 52, 53, 54, 99, 103, 104, 97, 98, 93, 56, 57, 58, 59, 60, 61, 61, 62, 63, 63, 64, 65, 65, 66, 67, 67, 68, 69, 69, 70, 71, 73, 0, 1, 5, 6, 8, 10, 11, 13, 13, 15, 17, 17, 19, 21, 22, 24, 25, 27, 28, 30, 33, 35, 37, 38, 40, 42, 43, 45, 47, 87, 75, 77, 48, 50, 52, 52, 54, 55, 55, 93, 94, 95, 93, 98, 97, 93, 55, 55, 56, 58, 61, 63, 65, 65, 67, 69, 69, 71, 72, 73, 1, 2, 5, 8, 9, 10, 13, 17, 17, 21, 22, 22, 25, 26, 27, 30, 32, 33, 37, 38, 43, 47, 80, 80, 47, 48, 52, 55, 94, 94, 95, 98, 97, 55, 58, 59, 61, 65, 69, 72, 73, 10, 17, 22, 27, 32, 33, 33, 38, 42, 42, 43, 80, 79, 80, 48, 94, 98, 99, 105, 103, 99, 101, 97, 58, 59, 65, 69, 9, 10, 22, 27, 33, 42, 42, 80, 81, 77, 79, 48, 52, 94, 99, 105, 99, 100, 101, 58, 59, 59, 69, 73, 9, 22, 26, 27, 42, 81, 77, 48, 52, 105, 100, 101, 101, 59, 73, 9, 26, 27, 27, 81, 83, 87, 77, 52, 101, 73, 2, 27, 83, 85, 87, 52, 99, 105, 101, 2, 9, 27, 85, 86, 87, 89, 91, 89, 87, 105, 2, 3, 9, 85, 86, 86, 89, 90, 91, 87, 99, 104, 105, 3, 5, 9, 86, 90, 91, 99, 104, 3, 4, 5, 86, 90, 99, 104, 4, 5, 90, 99, 99, 4, 5]];