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