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