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