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