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