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