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