// #define _GLIBCXX_DEBUG // for STL debug (optional) #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; using ll = long long int; using int64 = long long int; template void chmax(T &a, T b) {a = max(a, b);} template void chmin(T &a, T b) {a = min(a, b);} template void chadd(T &a, T b) {a = a + b;} int dx[] = {0, 0, 1, -1}; int dy[] = {1, -1, 0, 0}; const int INF = 1LL << 29; const ll LONGINF = 1LL << 60; const ll MOD = 1000000007LL; const int K = 6; int dp[1 << 16][16][K]; int main() { int N; scanf("%d", &N); vector< vector > L(N, vector(3)); for(int i=0; i > dir(K); dir[0] = {0, 1}; dir[1] = {0, 2}; dir[2] = {1, 0}; dir[3] = {1, 2}; dir[4] = {2, 0}; dir[5] = {2, 1}; fill(dp[0][0], dp[1<> k & 1) continue; int nbit = bit | (1 << k); for(int x=0; x= h1 and w0 >= w1) { chmax(dp[nbit][k][x], dp[bit][i][j] + o1); chmax(ans, dp[bit][i][j] + o1); } } } } } } printf("%d\n", ans); return 0; }