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