Problem:
Score : 500 points

Problem Statement

You are going to eat X red apples and Y green apples.

You have A red apples of deliciousness p_1,p_2, \dots, p_A, B green apples of deliciousness q_1,q_2, \dots, q_B, and C colorless apples of deliciousness r_1,r_2, \dots, r_C.

Before eating a colorless apple, you can paint it red or green, and it will count as a red or green apple, respectively.

From the apples above, you will choose the apples to eat while making the sum of the deliciousness of the eaten apples as large as possible.

Find the maximum possible sum of the deliciousness of the eaten apples that can be achieved when optimally coloring zero or more colorless apples.

Constraints

1 \leq X \leq A \leq 10^5

1 \leq Y \leq B \leq 10^5

1 \leq C \leq 10^5

1 \leq p_i \leq 10^9

1 \leq q_i \leq 10^9

1 \leq r_i \leq 10^9

All values in input are integers.

Input

Input is given from Standard Input in the following format:

X Y A B C
p_1 p_2 ... p_A
q_1 q_2 ... q_B
r_1 r_2 ... r_C

Output

Print the maximum possible sum of the deliciousness of the eaten apples.

Sample Input 1

1 2 2 2 1
2 4
5 1
3

Sample Output 1

12

The maximum possible sum of the deliciousness of the eaten apples can be achieved as follows:

Eat the 2-nd red apple.

Eat the 1-st green apple.

Paint the 1-st colorless apple green and eat it.

Sample Input 2

2 2 2 2 2
8 6
9 1
2 1

Sample Output 2

25

Sample Input 3

2 2 4 4 4
11 12 13 14
21 22 23 24
1 2 3 4

Sample Output 3

74

Solution in PHP7 (7.0.15) (judge verdict: Wrong Answer)

<?php

    // AtCoder Beginner Contest 160
    // E - Red and Green Apples

    list(
        $count_eat_red,
        $count_eat_green,
        $count_red,
        $count_green,
        $count_colorless
    ) = in_ints();
    $red = in_ints();
    $green = in_ints();
    $colorless = in_ints();

    rsort($red);
    rsort($green);
    rsort($colorless);

    $umai = 0;
    $r = 0;
    $g = 0;
    $c = 0;
    while ($count_eat_red > 0 || $count_eat_green > 0) {
        if ($count_eat_red > 0 && $count_eat_green > 0) { // 赤緑どちらでも食べられる場合
            if ($red[$r] >= $green[$g] && $red[$r] >= @$colorless[$c]) {
                $umai += $red[$r];
                $r++;
                $count_eat_red--;
                continue;
            }
            if ($green[$g] >= $red[$r] && $green[$g] >= @$colorless[$c]) {
                $umai += $green[$g];
                $g++;
                $count_eat_green--;
                continue;
            }
            $umai += $colorless[$c];
            $c++;
            if ($red[$r] <= $green[$g]) {
                $count_eat_red--;
            } else {
                $count_eat_green--;
            }
        } else if ($count_eat_red > 0) { // 赤しか食べられない場合
            if ($red[$r] >= @$colorless[$c]) {
                $umai += $red[$r];
                $r++;
            } else {
                $umai += $colorless[$c];
                $c++;
            }
            $count_eat_red--;
        } else { // 緑しか食べられない場合
            if ($green[$g] >= @$colorless[$c]) {
                $umai += $green[$g];
                $g++;
            } else {
                $umai += $colorless[$c];
                $c++;
            }
            $count_eat_green--;
        }
    }

    out($umai);

    
    /**
    * お手伝い関数さんたち
    */
    function in() {
        return trim(fgets(STDIN));
    }
    function in_int() {
        return (int)in();
    }
    function in_vals() {
        return explode(' ', in());
    }
    function in_ints() {
        return array_map('intval', in_vals());
    }
    function out($s) {
        echo $s . PHP_EOL;
    }
    function yes() {
        out('Yes');
    }
    function no() {
        out('No');
    }