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