Problem:
Problem H: ねこ鍋改造計画（仮）

あなたは、自宅にたくさんのねこを飼っている。そんなあなたの日課は、飼っているねこが土鍋の中
に入って昼寝している様子（通称：ねこ鍋）を撮影することだ。何匹かのねこが、鍋の中でいっしょ
に丸くなって眠る姿は、実に愛くるしい。

それぞれのねこには、「重さ」mi と「Cute」ci が定義されている。Cute とは、そのねこ1 匹だけを見たときの、愛らしさ・あどけなさ・しなやかさ・やわらかさ・ういういしさ、などを総合的に評価した数値であり、大きければ大きいほどそのねこは魅力的である。

また、ねこ鍋に対しては「UnCute」という数値が定義される。これは、ねこ鍋全体としてのアンバラ
ンスさをあらわす値であり、Cute とは逆に、小さければ小さいほど、そのねこ鍋はよいねこ鍋であ
る。ねこ鍋のUnCute は、中にいるねこのCute の最大値Cmax と最小値Cmin を用いて、Cmax - Cminとあらわされる。つまり、中にいるねこがみな同じくらいのCute を持っているねこ鍋が、よいねこ鍋である。

ねこ鍋を持ち運ぶときのことを考えると、ねこ鍋の重さ（＝中にいるねこの重さの総和）は、限界値
W 以下でなければならない。この条件をみたすようにねこ鍋に入ってもらうねこを選んで、ねこ鍋のUnCute を小さくしたいのだが、いったいどこまで小さくできるのだろうか。

……という問題を解いてすっかり満足した気になっていたのは、過去の話だ。

この前、あなたが家の倉庫を整理していたら、倉庫の中から古ぼけた土鍋が見つかった。これであな
たの家にある土鍋は２つ。そう、これからは、デュアルねこ鍋の時代なのだ！　ただのねこ鍋なども
う古い！

デュアルねこ鍋では、土鍋A はオスのねこ専用、もう片方の土鍋B はメスのねこ専用である。また、
デュアルねこ鍋のUnCute を定義するにあたっては、Cute のアンバランスさだけではなく、２つの
ねこ鍋の重さのアンバランスさも考慮に入れる必要がある。具体的には、重いほうのねこ鍋の重さを
Mmax、軽いほうのねこ鍋の重さをMmin とおくと（２つのねこ鍋の重さが同じときはMmax = Mmin）、デュアルねこ鍋のUnCute は、

max{Mmax - Mmin, Cmax - Cmin}

とあらわされる。なお、ここでのCmax とCmin は、ねこ鍋A の中またはねこ鍋B の中にいるねこのCute の最大値,最小値である。

ねこ鍋を持ち運ぶときのことを考えると、Mmaxは、限界値W 以下でなければならない。この条件をみたすようにデュアルねこ鍋に入ってもらうねこを選んで、デュアルねこ鍋のUnCute を小さくしたいのだが、いったいどこまで小さくできるのだろうか。

Input

NA NB W

mA,1 cA,1

mA,2 cA,2

.

.

.

mA,NA cA,NA

mB,1 cB,1

mB,2 cB,2

.

.

.

mB,NB cB,NB

入力の１行目には、整数NA（1 ≤ NA ≤ 500）と整数NB（1 ≤ NB ≤ 500）と整数W（1 ≤ W ≤ 10,000）が、空白区切りで書かれている。これは、あなたが飼っているオスのねこが全部でNA 匹、メスのねこが全部でNB 匹いることをあらわす。W はねこ鍋の重さの限界値である。

続くNA 行には、整数mA,i（1 ≤ mA,i ≤ 10,000）と整数cA,i（1 ≤ cA,i ≤ 1,000,000,000）が、空白区切りで書かれている。１＋ i 行目に書かれた整数mA,i とcA,i は、i 番目のオスのねこの重さがmA,i、Cute がcA,i であることをあらわす。

続くNB 行には、整数mB,i（1 ≤ mB,i ≤ 10,000）と整数cB,i（1 ≤ cB,i ≤ 1,000,000,000）が、空白区切りで書かれている。１＋ NA ＋ i 行目に書かれた整数mB,i とcB,i は、i 番目のメスのねこの重さがmB,i、Cute がcB,i であることをあらわす。

オスのねこにもメスのねこにも、重さがW 以下であるようなねこが、それぞれ１匹以上は存在すると仮定してよい。

Output

Mmax がW を超えないという条件のもとで、デュアルねこ鍋のUnCute の最小値を出力せよ。ただし、どちらのねこ鍋にも１匹以上のねこが入っていなければならない。

Sample Input 1

4 3 12
3 6
2 4
7 9
10 1
6 5
8 4
15 19

Sample Output 1

2

Sample Input 2

1 3 10
1 15
6 8
5 9
8 7

Sample Output 2

6

Sample Input 3

8 6 65
30 98
27 51
4 74
65 87
49 19
27 48
43 7
35 28
43 69
8 47
64 75
18 23
54 29
40 43

Sample Output 3

8

Solution in C# (judge verdict: Accepted)

using System;
using System.Linq;
using System.Collections.Generic;
using Debug = System.Diagnostics.Trace;
using SB = System.Text.StringBuilder;
using Number = System.Int64;
namespace Program
{
    public class Solver
    {
        public void Solve()
        {
            var n = ri;
            var m = ri;
            var w = ri;
            var a = new long[n + m];
            for (int i = 0; i < n + m; i++)
            {
                var x = rl;
                var y = rl;
                a[i] = (y * 100000 + x) * 2;
                if (i >= n) a[i]++;
            }
            Array.Sort(a);
            //foreach (var x in a) Debug.WriteLine($"{(x / 2) / 100000} {(x / 2) % 100000} {x % 2}");
            var l = -1L; var r = (long)1e9;
            while (r - l > 1)
            {
                var X = (l + r) / 2;
                //X = 67;
                var dp = Enumerate(2, t => Enumerate(w + 1, x => -1));
                var ok = false;
                for (int i = 0; i < n + m && !ok; i++)
                {
                    var v = (int)((a[i] / 2) / 100000);
                    var u = (int)((a[i] / 2) % 100000);
                    var k = (int)(a[i] % 2);
                    //Debug.WriteLine($"{v} {u} {k}");
                    for (int j = w - u; j >= 0; j--)
                        if (dp[k][j] != -1) dp[k][j + u] = Math.Max(dp[k][j + u], dp[k][j]);
                    if (u <= w)
                        dp[k][u] = Math.Max(dp[k][u], v);
                    var last = new int[2];
                    for (int j = 0; j <= w && !ok; j++)
                    {
                        for (int t = 0; t < 2; t++)
                            if (dp[t][j] != -1 && v - dp[t][j] <= X)
                                last[t] = j;
                        if (last[0] != 0 && last[1] != 0 && Math.Abs(last[0] - last[1]) <= X)
                        {
                            ok = true;
                        }
                    }
                }
                if (ok) r = X;
                else l = X;
            }
            Console.WriteLine(r);
        }
        const long INF = 1L << 60;
        //int[] dx = { -1, 0, 1, 0 };
        //int[] dy = { 0, 1, 0, -1 };
        //*
        int ri { get { return sc.Integer(); } }
        long rl { get { return sc.Long(); } }
        double rd { get { return sc.Double(); } }
        string rs { get { return sc.Scan(); } }
        //*/

        public IO.StreamScanner sc = new IO.StreamScanner(Console.OpenStandardInput());
        static T[] Enumerate<T>(int n, Func<int, T> f) { var a = new T[n]; for (int i = 0; i < n; ++i) a[i] = f(i); return a; }
        static public void Swap<T>(ref T a, ref T b) { var tmp = a; a = b; b = tmp; }
    }
}

#region main
static class Ex
{
    static public string AsString(this IEnumerable<char> ie) { return new string(ie.ToArray()); }
    static public string AsJoinedString<T>(this IEnumerable<T> ie, string st = " ")
    {
        return string.Join(st, ie.Select(x => x.ToString()).ToArray());
        //return string.Join(st, ie);
    }
    static public void Main()
    {
        Console.SetOut(new System.IO.StreamWriter(Console.OpenStandardOutput()) { AutoFlush = false });
        var solver = new Program.Solver();
        solver.Solve();
        Console.Out.Flush();
    }
}
#endregion
#region Ex
namespace Program.IO
{
    using System.IO;
    using System.Text;
    using System.Globalization;
    public class Printer: StreamWriter
    {
        public override IFormatProvider FormatProvider { get { return CultureInfo.InvariantCulture; } }
        public Printer(Stream stream) : base(stream, new UTF8Encoding(false, true)) { }
    }
    public class StreamScanner
    {
        public StreamScanner(Stream stream) { str = stream; }
        public readonly Stream str;
        private readonly byte[] buf = new byte[1024];
        private int len, ptr;
        public bool isEof = false;
        public bool IsEndOfStream { get { return isEof; } }
        private byte read()
        {
            if (isEof) return 0;
            if (ptr >= len) { ptr = 0; if ((len = str.Read(buf, 0, 1024)) <= 0) { isEof = true; return 0; } }
            return buf[ptr++];
        }
        public char Char() { byte b = 0; do b = read(); while ((b < 33 || 126 < b) && !isEof); return (char)b; }

        public string Scan()
        {
            var sb = new StringBuilder();
            for (var b = Char(); b >= 33 && b <= 126; b = (char)read())
                sb.Append(b);
            return sb.ToString();
        }
        public string ScanLine()
        {
            var sb = new StringBuilder();
            for (var b = Char(); b != '\n' && b != 0; b = (char)read())
                if (b != '\r') sb.Append(b);
            return sb.ToString();
        }
        public long Long() { return isEof ? long.MinValue : long.Parse(Scan()); }
        public int Integer() { return isEof ? int.MinValue : int.Parse(Scan()); }
        public double Double() { return isEof ? double.NaN : double.Parse(Scan(), CultureInfo.InvariantCulture); }
    }
}
#endregion