#include #include using namespace std; using namespace atcoder; using mint = modint1000000007; int main() { int n; cin >> n; if (n < 10) { int ans = 0; vector> table(6 * n + 1, vector(6 * n + 1)); table.at(3 * n).at(3 * n) = true; const vector dx{-3, -3, -3, -2, -2, 0, 0, 2, 2, 3, 3, 3}; const vector dy{-2, 0, 2, -3, 3, -3, 3, -3, 3, -2, 0, 2}; for (int _ = 0; _ < n; _++) { vector> newtable(6 * n + 1, vector(6 * n + 1)); for (int i = 0; i <= 6 * n; i++) { for (int j = 0; j <= 6 * n; j++) { if (not table.at(i).at(j)) { continue; } for (int k = 0; k < 12; k++) { int newi = i + dx.at(k), newj = j + dy.at(k); if (newi < 0 or 6 * n < newi or newj < 0 or 6 * n < newj) { continue; } newtable.at(newi).at(newj) = true; } } } table = move(newtable); } for (int i = 0; i <= 6 * n; i++) { for (int j = 0; j <= 6 * n; j++) { if (table.at(i).at(j)) { ans++; } } } cout << ans << endl; return 0; } mint ans = mint(6) * n + 1; ans *= ans; if (n % 2) { ans--; } else { ans++; } ans /= 2; mint d = (n + 1) / 2; d *= 4 * d; if (n % 2) { d = mint(2) * n * (n + 1) - d; } ans -= d; cout << ans.val() << endl; return 0; }