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