#include <bits/stdc++.h>
using namespace std;
void DebugPrint(double a[], int n) {}
int main() {
  int n, k;
  cin >> n >> k;
  vector<int> a(n);
  for (int i = 0; i < n; ++i) {
    cin >> a[i];
  }
  vector<bool> dp(k + 1);
  for (int i = 0; i <= k; ++i) {
    bool win = false;
    for (int j = 0; j < n; ++j) {
      if (a[j] <= i) {
        if (dp[i - a[j]] == false) {
          win = true;
          break;
        }
      }
    }
    dp[i] = win;
    if (dp[i]) {
      cout << i << " : "
           << "win" << endl;
    } else {
      cout << i << " : "
           << "lost" << endl;
    }
  }
  if (dp[k]) {
    cout << "First" << endl;
  } else {
    cout << "Second" << endl;
  }
  return 0;
}
