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