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