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