/* "俺の答えはこれや"と叫び火炎瓶を投げつける */ //#define NDEBUG #include #include #include #include #include #include namespace n91 { using i8 = std::int_fast8_t; using i32 = std::int_fast32_t; using i64 = std::int_fast64_t; using u8 = std::uint_fast8_t; using u32 = std::uint_fast32_t; using u64 = std::uint_fast64_t; using isize = std::ptrdiff_t; using usize = std::size_t; struct rep { struct itr { usize i; constexpr itr(const usize i) noexcept : i(i) {} void operator++() noexcept { ++i; } constexpr usize operator*() const noexcept { return i; } constexpr bool operator!=(const itr x) const noexcept { return i != x.i; } }; const itr f, l; constexpr rep(const usize f, const usize l) noexcept : f(std::min(f, l)), l(l) {} constexpr auto begin() const noexcept { return f; } constexpr auto end() const noexcept { return l; } }; struct revrep { struct itr { usize i; constexpr itr(const usize i) noexcept : i(i) {} void operator++() noexcept { --i; } constexpr usize operator*() const noexcept { return i; } constexpr bool operator!=(const itr x) const noexcept { return i != x.i; } }; const itr f, l; constexpr revrep(const usize f, const usize l) noexcept : f(l - 1), l(std::min(f, l) - 1) {} constexpr auto begin() const noexcept { return f; } constexpr auto end() const noexcept { return l; } }; template auto md_vec(const usize n, const T &value) { return std::vector(n, value); } template auto md_vec(const usize n, Args... args) { return std::vector(n, md_vec(args...)); } template constexpr T difference(const T &a, const T &b) noexcept { if (a < b) { return b - a; } else { return a - b; } } template void chmin(T &a, const T &b) noexcept { if (b < a) { a = b; } } template void chmax(T &a, const T &b) noexcept { if (a < b) { a = b; } } template class fix_point : private F { public: explicit constexpr fix_point(F &&f) : F(std::forward(f)) {} template constexpr decltype(auto) operator()(Args &&... args) const { return F::operator()(*this, std::forward(args)...); } }; template constexpr decltype(auto) make_fix(F &&f) { return fix_point(std::forward(f)); } template T scan() { T ret; std::cin >> ret; return ret; } } // namespace n91 #include namespace n91 { constexpr std::uint_fast64_t totient(std::uint_fast64_t x) noexcept { using u64 = std::uint_fast64_t; u64 ret = x; for (u64 i = static_cast(2); i * i <= x; ++i) { if (x % i == static_cast(0)) { ret -= ret / i; x /= i; while (x % i == static_cast(0)) { x /= i; } } } if (x != static_cast(1)) { ret -= ret / x; } return ret; } template (1)> class modint { using u64 = std::uint_fast64_t; static_assert(Modulus < static_cast(1) << static_cast(32), "Modulus must be less than 2**32"); u64 a; constexpr modint &negate() noexcept { if (a != static_cast(0)) { a = Modulus - a; } return *this; } public: constexpr modint(const u64 x = static_cast(0)) noexcept : a(x % Modulus) {} constexpr u64 &value() noexcept { return a; } constexpr const u64 &value() const noexcept { return a; } constexpr modint operator+() const noexcept { return modint(*this); } constexpr modint operator-() const noexcept { return modint(*this).negate(); } constexpr modint operator+(const modint rhs) const noexcept { return modint(*this) += rhs; } constexpr modint operator-(const modint rhs) const noexcept { return modint(*this) -= rhs; } constexpr modint operator*(const modint rhs) const noexcept { return modint(*this) *= rhs; } constexpr modint operator/(const modint rhs) const noexcept { return modint(*this) /= rhs; } constexpr modint &operator+=(const modint rhs) noexcept { a += rhs.a; if (a >= Modulus) { a -= Modulus; } return *this; } constexpr modint &operator-=(const modint rhs) noexcept { if (a < rhs.a) { a += Modulus; } a -= rhs.a; return *this; } constexpr modint &operator*=(const modint rhs) noexcept { a = a * rhs.a % Modulus; return *this; } constexpr modint &operator/=(modint rhs) noexcept { u64 exp = InverseExp; while (exp) { if (exp % static_cast(2) != static_cast(0)) { *this *= rhs; } rhs *= rhs; exp /= static_cast(2); } return *this; } constexpr bool operator==(const modint rhs) const noexcept { return a == rhs.a; } constexpr bool operator!=(const modint rhs) const noexcept { return a != rhs.a; } }; template class modint_constant { public: static constexpr T value = static_cast(v); using value_type = T; }; template constexpr T modint_constant::value; } // namespace n91 #include #include #include #include namespace n91 { void main_() { /* std::ios::sync_with_stdio(false); std::cin.tie(nullptr); //*/ using mint = modint<1000000007>; const auto get = [](const usize l1, const usize r1, const usize l2, const usize r2) { return l1 * 125 + r1 * 25 + l2 * 5 + r2; }; const auto rev = [](const usize i) { return i / 25 + i % 25 * 25; }; const usize size = 5 * 5 * 5 * 5; std::vector> g(size); auto rg = g; for (const usize l1 : rep(0, 5)) { for (const usize r1 : rep(0, 5)) { for (const usize l2 : rep(0, 5)) { for (const usize r2 : rep(0, 5)) { if (l1 == 0 && r1 == 0 || l2 == 0 && r2 == 0) { continue; } auto &v = g[get(l1, r1, l2, r2)]; if (l2 != 0) { v.push_back(get(l1, r1, (l2 + l1) % 5, r2)); v.push_back(get(l1, r1, (l2 + r1) % 5, r2)); } if (r2 != 0) { v.push_back(get(l1, r1, l2, (r2 + l1) % 5)); v.push_back(get(l1, r1, l2, (r2 + r1) % 5)); } for (const usize l3 : rep(0, 5)) { for (const usize r3 : rep(0, 5)) { if ((l3 != 0 || r3 != 0) && ((l1 + r1) == (l3 + r3) || (l1 + r1) % 5 == (l3 + r3)) && std::set({l1, r1}) != std::set({l3, r3})) { v.push_back(get(l3, r3, l2, r2)); } } } } } } } for (const usize i : rep(0, size)) { bool exist_win = false; bool exist_even = false; for (const auto e_ : g[rev(i)]) { const usize e = rev(e_); if (e / 25 == 0) { exist_win = true; } if (e % 25 != 0) { exist_even = true; } } if (exist_win) { for (const auto e_ : g[rev(i)]) { const usize e = rev(e_); if (e / 25 == 0) { rg[i].push_back(e); } } } else if (exist_even) { for (const auto e_ : g[rev(i)]) { const usize e = rev(e_); if (e % 25 != 0) { rg[i].push_back(e); } } } else { for (const auto e_ : g[rev(i)]) { const usize e = rev(e_); rg[i].push_back(e); } } } std::vector lotwin(size, 0); for (const usize i : rep(0, size)) { for (const auto e : g[i]) { if (e % 25 == 0) { lotwin[i] = 1; break; } } } bool is_lot = scan() == 0; const usize k = scan(); std::vector dp(size, 0); { const usize l1 = scan(); const usize r1 = scan(); const usize l2 = scan(); const usize r2 = scan(); dp[get(l1, r1, l2, r2)] = 1; } mint ans = 0; for (const usize loop : rep(0, k)) { std::vector nx(size, 0); if (is_lot) { for (const usize i : rep(0, size)) { for (const auto e : g[i]) { nx[e] += dp[i]; } } for (const usize i : rep(0, 25)) { ans += nx[i * 25]; } } else { for (const usize i : rep(0, size)) { for (const auto e : rg[i]) { nx[e] += dp[i]; } } } is_lot = !is_lot; dp = std::move(nx); } std::cout << ans.value() << std::endl; } } // namespace n91 int main() { n91::main_(); return 0; }