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