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