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