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