#include #include using namespace std; using namespace atcoder; using mint = static_modint<2>; template pair> solve_linear(vector> A, vector b) { assert(!A.empty()); int N = A.size(), M = A[0].size(), rk = 0; assert(b.size() == N); vector C; for (int i = 0; i < M; i++) { int j = rk; while (j < N && !A[j][i].val()) j++; if (j == N) continue; swap(A[rk], A[j]); swap(b[rk], b[j]); C.emplace_back(i); T a = 1 / A[rk][i]; b[rk] *= a; for (auto&x : A[rk]) x *= a; for (j = 0; j < N; j++) if (j != rk) { T a = A[j][i]; b[j] -= a * b[rk]; for (int k = 0; k < M; k++) A[j][k] -= a * A[rk][k]; } rk++; } for (int i = rk; i < N; i++) if(b[i].val()) { return make_pair(false, vector(0)); } vector ans(M); for (int i = 0; i < rk; i++) ans[C[i]] = b[i]; return make_pair(true, ans); } int main() { string T; cin >> T; int N; cin >> N; vector> A(200, vector(32)); for (int i = 0; i < 32; i++) { unsigned x = unsigned(1) << i; for (int j = 0; j < 100; j++) { x ^= x << 13; x ^= x >> 17; x ^= x << 5; A[2 * j][i] = x & 1; A[2 * j + 1][i] = (x >> 1) & 1; } } vector b(200); for (int i = 0; i < 100; i++) { if (T[i] == 'S' || T[i] == 'X') b[2 * i] = 1; if (T[i] == 'P' || T[i] == 'X') b[2 * i + 1] = 1; } auto [res, _x] = solve_linear(A, b); assert(res); unsigned x = 0; for (int i = 0; i < 32; i++) if(_x[i].val()) x |= unsigned(1) << i; for (int i = 0; i < 100; i++) { x ^= x << 13; x ^= x >> 17; x ^= x << 5; } for (int i = 0; i < N; i++) { x ^= x << 13; x ^= x >> 17; x ^= x << 5; cout << "XRSP"[x&3]; } cout << endl; return 0; }