#include <iostream>
#include <cassert>

#include <utility>

namespace kekenx {
  
  template<typename T, T mod>
    class ModInt {
  public:
    ModInt(T y): x(y >= 0? y % mod: (mod - (-y) % mod) % mod) {}

    T get() {
      return x;
    }

    ModInt &operator+=(const ModInt &p) {
      if ((x += p.x) >= mod) x -= mod;
      return *this;
    }

    ModInt &operator-=(const ModInt &p) {
      if ((x += mod - p.x) >= mod) x -= mod;
      return *this;
    }

    ModInt &operator*=(const ModInt &p) {
      x = x * p.x % mod;
      return *this;
    }

    ModInt &operator/=(const ModInt &p) {
      *this *= p.inverse();
      return *this;
    }

    ModInt operator-() const { return ModInt(-x); }
    ModInt operator+(const ModInt &p) const {return ModInt(*this) += p; }
    ModInt operator-(const ModInt &p) const {return ModInt(*this) -= p; }
    ModInt operator*(const ModInt &p) const {return ModInt(*this) *= p; }
    ModInt operator/(const ModInt &p) const {return ModInt(*this) /= p; }

    bool operator==(const ModInt &p) const { return x == p.x; }
    bool operator!=(const ModInt &p) const { return x != p.x; }

    ModInt pow(long long e) const {
      T a = 1, p = x;
      while(e > 0) {
	if (e % 2 == 0) {
	  p = (p * p) % mod;
	  e /= 2;
	} else {
	  a = (a * p) % mod;
	  e--;
	}
      }
      return ModInt(a);
    }

  private:
    T x;
    ModInt inverse() const {
      T a = x, b = mod, u = 1, v = 0, t;
      while (b > 0) {
	t = a / b;
	a -= t * b;
	std::swap(a, b);
	u -= t * v;
	std::swap(u, v);
      }
      return ModInt(u);
    }
  };
  
} // kekenx

using namespace std;

const long long MOD = 998244353;

using mint = kekenx::ModInt<long long, MOD>;

int main() {
  ios::sync_with_stdio(false);
  cin.tie(nullptr);

  long long at, n; cin >> at >> n;
  mint a = mint(at);
  cout << MOD << '\n' << a.pow(n).get() << endl;
  return 0;
}