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