import static utils.Utils.*;import java.io.OutputStreamWriter;import java.io.BufferedWriter;import java.util.Comparator;import java.io.OutputStream;import java.io.PrintWriter;import java.io.Writer;import java.util.List;import java.io.IOException;import java.util.Arrays;import java.util.InputMismatchException;import java.util.ArrayList;import java.util.NoSuchElementException;import java.math.BigInteger;import java.io.InputStream;/// This test is based on Egor Kulikov task solution from/// http://codeforces.com/submissions/Egor/// http://codeforces.com/problemset/problem/336/E/** * Built using CHelper plug-in * Actual solution is at the top * @author Egor Kulikov (egor@egork.net) */public class EgorTask1Test { public static void main(String[] args) { InputStream inputStream = System.in; OutputStream outputStream = System.out; InputReader in = new InputReader(inputStream); OutputWriter out = new OutputWriter(outputStream); TaskE solver = new TaskE(); solver.solve(1, in, out); out.close(); }}class TaskE { static final long MOD = 1000000007; long[][][] result; long[][][] resultSmall; long[][] c = IntegerUtils.generateBinomialCoefficients(13); public void solve(int testNumber, InputReader in, OutputWriter out) { int size = in.readInt(); int count = in.readInt(); result = new long[size + 1][count + 1][16]; resultSmall = new long[size + 1][count + 1][16]; ArrayUtils.fill(result, -1); ArrayUtils.fill(resultSmall, -1); long answer = calculate(size, count, 0); answer *= IntegerUtils.factorial(count, MOD); answer %= MOD; out.printLine(answer); } private long calculate(int size, int count, int mask) { if (count < 0) return 0; if (result[size][count][mask] != -1) return result[size][count][mask]; long current = 0; if (mask == 0) current += 2 * calculate(0, count - 2, 15); for (int i = 0; i < 4; i++) { int j = (i + 1) & 3; if ((mask >> i & 1) != 0 || (mask >> j & 1) != 0) continue; int remaining = 15 - mask - (1 << i) - (1 << j); for (int k = remaining; ; k = (k - 1) & remaining) { current += calculateSmall(size, count - 1 - Integer.bitCount(k), mask + (1 << i) + (1 << j) + k); if (k == 0) break; } } int remaining = 15 - mask; for (int k = remaining; ; k = (k - 1) & remaining) { current += calculateSmall(size, count - Integer.bitCount(k), mask + k); if (k == 0) break; } return result[size][count][mask] = current % MOD; } private long calculateSmall(int size, int count, int mask) { if (count < 0) return 0; if (resultSmall[size][count][mask] != -1) return resultSmall[size][count][mask]; if (size == 0) return resultSmall[size][count][mask] = count == 0 ? 1 : 0; int max = 3 * Integer.bitCount(15 - mask); int pairCount = 0; for (int i = 0; i < 4; i++) { int j = (i + 1) & 3; if ((mask >> i & 1) == 0 && ((mask >> j & 1) == 0)) pairCount++; } long current = 0; for (int j = 0; j <= pairCount; j++) { for (int i = 0; i <= max - 2 * j; i++) current += calculate(size - 1, count - i - j, mask) * c[max - 2 * j][i] * c[pairCount][j]; } return resultSmall[size][count][mask] = current % MOD; }}class IntegerUtils { public static long[][] generateBinomialCoefficients(int n) { long[][] result = new long[n + 1][n + 1]; for (int i = 0; i <= n; i++) { result[i][0] = 1; for (int j = 1; j <= i; j++) result[i][j] = result[i - 1][j - 1] + result[i - 1][j]; } return result; } public static long factorial(int n, long mod) { long result = 1; for (int i = 2; i <= n; i++) result = result * i % mod; return result % mod; } }class InputReader { private InputStream stream; private byte[] buf = new byte[1024]; private int curChar; private int numChars; private SpaceCharFilter filter; public InputReader(InputStream stream) { this.stream = stream; } public int read() { if (numChars == -1) throw new InputMismatchException(); if (curChar >= numChars) { curChar = 0; try { numChars = stream.read(buf); } catch (IOException e) { throw new InputMismatchException(); } if (numChars <= 0) return -1; } return buf[curChar++]; } public int readInt() { int c = read(); while (isSpaceChar(c)) c = read(); int sgn = 1; if (c == '-') { sgn = -1; c = read(); } int res = 0; do { if (c < '0' || c > '9') throw new InputMismatchException(); res *= 10; res += c - '0'; c = read(); } while (!isSpaceChar(c)); return res * sgn; } public boolean isSpaceChar(int c) { if (filter != null) return filter.isSpaceChar(c); return isWhitespace(c); } public static boolean isWhitespace(int c) { return c == ' ' || c == '\n' || c == '\r' || c == '\t' || c == -1; } public interface SpaceCharFilter { public boolean isSpaceChar(int ch); }}class OutputWriter { private final PrintWriter writer; public OutputWriter(OutputStream outputStream) { writer = new PrintWriter(new BufferedWriter(new OutputStreamWriter(outputStream))); } public OutputWriter(Writer writer) { this.writer = new PrintWriter(writer); } public void print(Object...objects) { for (int i = 0; i < objects.length; i++) { if (i != 0) writer.print(' '); writer.print(objects[i]); } } public void printLine(Object...objects) { print(objects); writer.println(); } public void close() { writer.close(); } }class ArrayUtils { public static void fill(long[][] array, long value) { for (long[] row : array) Arrays.fill(row, value); } public static void fill(long[][][] array, long value) { for (long[][] row : array) fill(row, value); } }
import static utils.Utils.*;
import java.io.OutputStreamWriter;
import java.io.BufferedWriter;
import java.util.Comparator;
import java.io.OutputStream;
import java.io.PrintWriter;
import java.io.Writer;
import java.util.List;
import java.io.IOException;
import java.util.Arrays;
import java.util.InputMismatchException;
import java.util.ArrayList;
import java.util.NoSuchElementException;
import java.math.BigInteger;
import java.io.InputStream;
/// This test is based on Egor Kulikov task solution from
/// http://codeforces.com/submissions/Egor
/// http://codeforces.com/problemset/problem/336/E
/**
* Built using CHelper plug-in
* Actual solution is at the top
* @author Egor Kulikov (egor@egork.net)
*/
public class EgorTask1Test {
public static void main(String[] args) {
InputStream inputStream = System.in;
OutputStream outputStream = System.out;
InputReader in = new InputReader(inputStream);
OutputWriter out = new OutputWriter(outputStream);
TaskE solver = new TaskE();
solver.solve(1, in, out);
out.close();
}
}
class TaskE {
static final long MOD = 1000000007;
long[][][] result;
long[][][] resultSmall;
long[][] c = IntegerUtils.generateBinomialCoefficients(13);
public void solve(int testNumber, InputReader in, OutputWriter out) {
int size = in.readInt();
int count = in.readInt();
result = new long[size + 1][count + 1][16];
resultSmall = new long[size + 1][count + 1][16];
ArrayUtils.fill(result, -1);
ArrayUtils.fill(resultSmall, -1);
long answer = calculate(size, count, 0);
answer *= IntegerUtils.factorial(count, MOD);
answer %= MOD;
out.printLine(answer);
}
private long calculate(int size, int count, int mask) {
if (count < 0)
return 0;
if (result[size][count][mask] != -1)
return result[size][count][mask];
long current = 0;
if (mask == 0)
current += 2 * calculate(0, count - 2, 15);
for (int i = 0; i < 4; i++) {
int j = (i + 1) & 3;
if ((mask >> i & 1) != 0 || (mask >> j & 1) != 0)
continue;
int remaining = 15 - mask - (1 << i) - (1 << j);
for (int k = remaining; ; k = (k - 1) & remaining) {
current += calculateSmall(size, count - 1 - Integer.bitCount(k), mask + (1 << i) + (1 << j) + k);
if (k == 0)
break;
}
}
int remaining = 15 - mask;
for (int k = remaining; ; k = (k - 1) & remaining) {
current += calculateSmall(size, count - Integer.bitCount(k), mask + k);
if (k == 0)
break;
}
return result[size][count][mask] = current % MOD;
}
private long calculateSmall(int size, int count, int mask) {
if (count < 0)
return 0;
if (resultSmall[size][count][mask] != -1)
return resultSmall[size][count][mask];
if (size == 0)
return resultSmall[size][count][mask] = count == 0 ? 1 : 0;
int max = 3 * Integer.bitCount(15 - mask);
int pairCount = 0;
for (int i = 0; i < 4; i++) {
int j = (i + 1) & 3;
if ((mask >> i & 1) == 0 && ((mask >> j & 1) == 0))
pairCount++;
}
long current = 0;
for (int j = 0; j <= pairCount; j++) {
for (int i = 0; i <= max - 2 * j; i++)
current += calculate(size - 1, count - i - j, mask) * c[max - 2 * j][i] * c[pairCount][j];
}
return resultSmall[size][count][mask] = current % MOD;
}
}
class IntegerUtils {
public static long[][] generateBinomialCoefficients(int n) {
long[][] result = new long[n + 1][n + 1];
for (int i = 0; i <= n; i++) {
result[i][0] = 1;
for (int j = 1; j <= i; j++)
result[i][j] = result[i - 1][j - 1] + result[i - 1][j];
}
return result;
}
public static long factorial(int n, long mod) {
long result = 1;
for (int i = 2; i <= n; i++)
result = result * i % mod;
return result % mod;
}
}
class InputReader {
private InputStream stream;
private byte[] buf = new byte[1024];
private int curChar;
private int numChars;
private SpaceCharFilter filter;
public InputReader(InputStream stream) {
this.stream = stream;
}
public int read() {
if (numChars == -1)
throw new InputMismatchException();
if (curChar >= numChars) {
curChar = 0;
try {
numChars = stream.read(buf);
} catch (IOException e) {
throw new InputMismatchException();
}
if (numChars <= 0)
return -1;
}
return buf[curChar++];
}
public int readInt() {
int c = read();
while (isSpaceChar(c))
c = read();
int sgn = 1;
if (c == '-') {
sgn = -1;
c = read();
}
int res = 0;
do {
if (c < '0' || c > '9')
throw new InputMismatchException();
res *= 10;
res += c - '0';
c = read();
} while (!isSpaceChar(c));
return res * sgn;
}
public boolean isSpaceChar(int c) {
if (filter != null)
return filter.isSpaceChar(c);
return isWhitespace(c);
}
public static boolean isWhitespace(int c) {
return c == ' ' || c == '\n' || c == '\r' || c == '\t' || c == -1;
}
public interface SpaceCharFilter {
public boolean isSpaceChar(int ch);
}
}
class OutputWriter {
private final PrintWriter writer;
public OutputWriter(OutputStream outputStream) {
writer = new PrintWriter(new BufferedWriter(new OutputStreamWriter(outputStream)));
}
public OutputWriter(Writer writer) {
this.writer = new PrintWriter(writer);
}
public void print(Object...objects) {
for (int i = 0; i < objects.length; i++) {
if (i != 0)
writer.print(' ');
writer.print(objects[i]);
}
}
public void printLine(Object...objects) {
print(objects);
writer.println();
}
public void close() {
writer.close();
}
}
class ArrayUtils {
public static void fill(long[][] array, long value) {
for (long[] row : array)
Arrays.fill(row, value);
}
public static void fill(long[][][] array, long value) {
for (long[][] row : array)
fill(row, value);
}
}