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