zrinka — COCI CONTEST_#4
Task type: batch | Time limit: 1 s | Memory limit: 512 MB | Difficulty: 13
Algorithms: minimum maximum, grid traversal, binary search, dynamic programming

# Task Zrinka

You are given two arrays of length *n* and *m* respectively, which consist only of 0's and 1's.

Your task is to replace every zero with an even positive integer and every one with an odd positive integer. After replacements both arrays should be increasing and you can use each positive integers at most once.

As this would be to easy, you are asked to do it such that the largest number you use is as small as possible.

Given two arrays, output the minimum possible largest number that needs to be used.

# Input

The first array is of length *n* (0 ≤ *n* ≤ 5000), the second is of length *m* (1 ≤ *m* ≤ 5000).

The first line consists of *n* + 1 integers, first being *n*, and others describing the first array.

The second line consists of *m* + 1 integers, first being *m*, and others describing the second array.

# Output

The first and only line should contain a positive integer, the answer to the question above.

# Scoring

| Subtask | Points | Constraints                           |
|---------|--------|---------------------------------------|
| 1       | 15     | n = 0                                 |
| 2       | 20     | The first array consists only of 0's. |
| 3       | 15     | n, m ≤ 500                            |
| 4       | 20     | No additional constraints.            |

# Examples

| Input       | Input         | Input         |
|-------------|---------------|---------------|
| 0           | 4 0 1 0 1     | 5 0 1 0 0 1   |
| 4 1 0 1 1   | 4 1 0 0 1     | 4 0 0 0 1   |
| Output      | Output        | Output        |
| 5           | 9             | 13            |

## Clarification of the second example:

One of the possible solutions is (2, 3, 4, 5) and (1, 6, 8, 9).

## Clarification of the third example:

One of the possible solutions is (2, 3, 6, 8, 9) and (4, 10, 12, 13).

Starter code: