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