#include <bits/stdc++.h>
using namespace std;
long long int gcd(long long int a, long long int b) {
  if (!b) return a;
  return gcd(b, a % b);
}
int main() {
  vector<pair<int, int> > ans;
  int n, m;
  scanf("%d %d", &n, &m);
  if (m < n - 1) {
    puts("Impossible");
    return 0;
  }
  for (int i = 2; i < n + 1; i++) ans.push_back(make_pair(1, i));
  for (int i = 2; i < n + 1; i++) {
    if (ans.size() == m) break;
    for (int j = 2; j < i; j++) {
      if (gcd(i, j) == 1) ans.push_back(make_pair(j, i));
      if (ans.size() == m) break;
    }
    if (ans.size() == m) break;
  }
  if (ans.size() < m)
    puts("Impossible");
  else {
    puts("Possible");
    for (int i = 0; i < ans.size(); i++) {
      printf("%d ", ans[i].first);
      printf("%d\n", ans[i].second);
    }
  }
  return 0;
}
