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