Problem:
Score : 100 points

Problem Statement

You are given four digits N_1, N_2, N_3 and N_4. Determine if these can be arranged into the sequence of digits "1974".

Constraints

0 \leq N_1, N_2, N_3, N_4 \leq 9

N_1, N_2, N_3 and N_4 are integers.

Input

Input is given from Standard Input in the following format:

N_1 N_2 N_3 N_4

Output

If N_1, N_2, N_3 and N_4 can be arranged into the sequence of digits "1974", print YES; if they cannot, print NO.

Sample Input 1

1 7 9 4

Sample Output 1

YES

We can get 1974 by swapping N_2 and N_3.

Sample Input 2

1 9 7 4

Sample Output 2

YES

We already have 1974 before doing anything.

Sample Input 3

1 2 9 1

Sample Output 3

NO

Sample Input 4

4 9 0 8

Sample Output 4

NO

Solution in C# (Mono 4.6.2.0) (judge verdict: Accepted)

using System;
using System.Collections.Generic;
using System.Linq;
using System.Numerics;
using System.Text;
using System.Threading.Tasks;


namespace Atcoder
{
    class Program
    {

        static List<int[]> list = new List<int[]>();
        static int[] yMove = new int[] {-1,1,0,0};
        static int[] xMove = new int[] {0,0,-1,1};
        static bool[,] miz;
        static int cnt = 0;
        static long abs = long.MaxValue;
        static long _A = 0;
        static long allsum = 0;

        static void Main(string[] args)
        {

            //var line1 = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);
            //var N = line1[0];
            //var M = line1[1];
            //var a = new long[M];
            //var b = new long[M];

            //int bridge = 0;

            //int[,] dag = new int[N,N];

            //for (int i = 0; i < M; i++)
            //{
            //    var line2 = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);
            //    a[i] = line2[0]-1;
            //    b[i] = line2[1]-1;
            //    dag[a[i], b[i]] = 1;
            //    dag[b[i], a[i]] = 1;
            //}

            //for (int i = 0; i < M; i++)
            //{
            //    bool[] visited = new bool[N];
            //    dag[a[i], b[i]] = 0;
            //    dag[b[i], a[i]] = 0;
            //    DFS(0,visited,dag);

            //    if (visited.Where(n => n == true).Count() != N)
            //    {
            //        bridge++;
            //    }

            //    dag[a[i], b[i]] = 1;
            //    dag[b[i], a[i]] = 1;
            //}
            //Console.WriteLine(bridge);
            //var line1 = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);

            //var A = line1[0];
            //var B = line1[1];
            //var C = line1[2];
            //var D = line1[3];
            //var E = line1[4];
            //var F = line1[5];

            //var N = int.Parse(Console.ReadLine());
            //char[] mozi = new char[N];
            //long[] MARCH = new long[5];
            //long cnt = 0;


            //for (int i = 0; i < N; i++)
            //{
            //    mozi[i] = Console.ReadLine().ToCharArray()[0];
            //}

            //MARCH[0] = mozi.Where(n => n == 'M').Count();
            //MARCH[1] = mozi.Where(n => n == 'A').Count();
            //MARCH[2] = mozi.Where(n => n == 'R').Count();
            //MARCH[3] = mozi.Where(n => n == 'C').Count();
            //MARCH[4] = mozi.Where(n => n == 'H').Count();

            //for (int i = 0; i < 3; i++)
            //{
            //    for (int j = i + 1; j < 4; j++)
            //    {
            //        for (int k = j + 1; k < 5; k++)
            //        {
            //            cnt += MARCH[i] * MARCH[j] * MARCH[k];
            //        }
            //    }
            //}

            //Console.WriteLine(cnt);

            //var N = int.Parse(Console.ReadLine());

            //var line1 = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //var line2 = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //int candy = 0;
            //int MAX = 0;

            //for (int i = 0; i < N; i++)
            //{
            //    for (int k = 0; k <= i; k++)
            //    {
            //        candy += line1[k];
            //    }

            //    for (int j = N - 1; j >= i; j--)
            //    {
            //        candy += line2[j];
            //    }

            //    MAX = Math.Max(candy,MAX);
            //    candy = 0;
            //}

            //Console.WriteLine(MAX);

            //var N = int.Parse(Console.ReadLine());
            //List<int[]> list = new List<int[]>();
            //int t = 0;
            //int x = 0;
            //int y = 0;

            //for (int i = 0; i < N; i++)
            //{
            //    var txy = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //    list.Add(txy);
            //}

            //foreach (var item in list)
            //{
            //    if (item[0] - t >= Math.Abs(item[1] + item[2] - x - y))
            //    {

            //        if (((item[0] - t) % 2 == 1 && Math.Abs(x + y - item[1] - item[2]) % 2 == 1) ||
            //            ((item[0] - t) % 2 == 0 && Math.Abs(x + y - item[1] - item[2]) % 2 == 0))
            //        {
            //            t = item[0];
            //            x = item[1];
            //            y = item[2];
            //        }
            //        else
            //        {
            //            Console.WriteLine("No");
            //            return;
            //        }
            //    }
            //    else
            //    {
            //        Console.WriteLine("No");
            //        return;
            //    }
            //}

            //Console.WriteLine("Yes");

            //var line1 = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);

            //if (line1[1] >= 10000)
            //{
            //    for (int i = 0; i <= line1[1]/10000; i++)
            //    {
            //        for (int j = 0; j <= line1[1] / 5000; j++)
            //        {
            //            if (10000 * i + 5000 * j + (line1[0] - i - j) * 1000 == line1[1] && line1[0] - i - j >= 0)
            //            {
            //                Console.WriteLine("{0} {1} {2}",i,j,line1[0] - i - j);
            //                return;
            //            }
            //        }
            //    }
            //}
            //else
            //{
            //    for (int i = 0; i < 2; i++)
            //    {
            //        for (int j = 0; j <= 9; j++)
            //        {
            //            if (5000 * i + 1000 * j == line1[1] && i + j == line1[0])
            //            {
            //                Console.WriteLine("{0} {1} {2}", 0, i, j);
            //                return;
            //            }
            //        }
            //    }
            //}

            //Console.WriteLine("{0} {1} {2}", -1, -1, -1);


            //var N = int.Parse(Console.ReadLine());
            //int[,] station = new int[N,3];
            //long sum = 0;


            //for (int i = 0; i < N - 1; i++)
            //{
            //    var line = Array.ConvertAll(Console.ReadLine().Split(),int.Parse);
            //    station[i, 0] = line[0];
            //    station[i, 1] = line[1];
            //    station[i, 2] = line[2];
            //}

            //for (int j = 0; j < N -1; j++)
            //{
            //    for (int i = j; i < N - 1; i++)
            //    {
            //        var F = station[i, 2];
            //        var S = station[i, 1];
            //        if (i == j)
            //        {
            //            sum += station[i, 0] + station[i, 1];
            //        }
            //        else
            //        {
            //            if (sum < S)
            //            {
            //                sum = S + station[i, 0];
            //            }
            //            else if (sum % F == 0)
            //            {
            //                sum += station[i, 0];
            //            }
            //            else
            //            {
            //                sum += F - (sum % F) + station[i, 0];
            //            }
            //        }
            //    }

            //    Console.WriteLine(sum);
            //    sum = 0;
            //}
            //Console.WriteLine(sum);

            //var line = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);
            //long A = line[0];
            //int i = 0;

            //while (A <= line[1])
            //{
            //    A *=2;
            //    i++;
            //}

            //Console.WriteLine(i);
            //var N = long.Parse(Console.ReadLine());
            //var line = Array.ConvertAll(Console.ReadLine().Split(),long.Parse);
            //Dictionary<long, long> dic = new Dictionary<long, long>();
            //long sum = 0;

            //for (int i = 0; i < N; i++)
            //{
            //    if (dic.ContainsKey(line[i]))
            //    {
            //        dic[line[i]]++;
            //    }
            //    else
            //    {
            //        dic.Add(line[i], 1);
            //    }
            //}

            //foreach (var item in dic)
            //{
            //    if (item.Key == item.Value)
            //    {

            //    }
            //    else if (item.Key < item.Value)
            //    {
            //        sum += item.Value - item.Key;
            //    }
            //    else
            //    {
            //        sum += item.Value;
            //    }
            //}

            //Console.WriteLine(sum);

            //var line = Array.ConvertAll(Console.ReadLine().Split(),long.Parse);
            //var N = line[0];
            //var K = line[1];

            //var line2 = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);
            //long cnt = 0;
            //long sum = 0;

            //long[] lngarray = new long[N];

            //for (int i = 0; i < N; i++)
            //{
            //    lngarray[line2[i]-1]++;
            //}

            //if (lngarray.Where(n => n !=0).Count() <= K)
            //{
            //    Console.WriteLine(0);
            //    return;
            //}

            //var orderlng = lngarray.Where(n => n != 0).OrderBy(n => n).ToArray();

            //for (int i = 0; i < orderlng.Length; i++)
            //{
            //    if (cnt == orderlng.Length - K)
            //    {
            //        Console.WriteLine(sum);
            //        return;
            //    }
            //    else
            //    {
            //        sum += orderlng[i];
            //        cnt++;
            //    }
            //}
            //int soe = 0;
            //saiki(soe, new int[10]);

            //var N = int.Parse(Console.ReadLine());
            //var F = new List<int[]>();
            //var P = new List<int[]>();

            //for (int i = 0; i < N; i++)
            //{
            //    var line = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //    F.Add(line);
            //}

            //for (int i = 0; i < N; i++)
            //{
            //    var line = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //    P.Add(line);
            //}

            //int sum = int.MinValue;
            //list.RemoveAt(0);
            //foreach (var item in list)
            //{
            //    int tmpsum = 0;
            //    for (int i = 0; i < N; i++)
            //    {
            //        int c = 0;
            //        for (int j = 0; j < 10; j++)
            //        {
            //            if (item[j] == 1 && F[i][j] == 1)
            //            {
            //                c++;
            //            }
            //        }

            //        tmpsum += P[i][c];
            //    }
            //    sum = Math.Max(sum, tmpsum);
            //}

            //Console.WriteLine(sum);


            //var line = Console.ReadLine().ToCharArray();
            //int[] hai = new int[7];

            //hai[0] = int.Parse(line[0].ToString());
            //hai[2] = int.Parse(line[1].ToString());
            //hai[4] = int.Parse(line[2].ToString());
            //hai[6] = int.Parse(line[3].ToString());

            //saikiseven(1,0, hai);

            //string ope1 = list[0][1] == 0 ? "+" : "-";
            //string ope2 = list[0][3] == 0 ? "+" : "-";
            //string ope3 = list[0][5] == 0 ? "+" : "-";

            //Console.WriteLine("{0}{1}{2}{3}{4}{5}{6}=7", list[0][0],ope1, list[0][2], ope2,list[0][4], ope3,list[0][6]);

            //var N = long.Parse(Console.ReadLine());
            //var line = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);
            //long[] A = new long[N];

            //for (int i = 0; i < N; i++)
            //{
            //    A[i] = Math.Abs(i - (N - i -1));
            //}

            //var tmp1 = line.OrderBy(n => n).ToArray();
            //var tmp2 = A.OrderBy(n => n).ToArray();

            //for (int i = 0; i < N; i++)
            //{
            //    if (tmp1[i] != tmp2[i])
            //    {
            //        Console.WriteLine(0);
            //        return;
            //    }
            //}

            //long X = 1;

            //for (int i = 0; i < N/2; i++)
            //{
            //    X *= 2;
            //    X %= 1000000007;
            //}
            //Console.WriteLine(X);

            //var line =Array.ConvertAll(Console.ReadLine().Split(),int.Parse);

            //var sx = line[0];
            //var sy = line[1];
            //var tx = line[2];
            //var ty = line[3];

            //var path1 = new string('U', ty - sy) + new string('R',tx - sx);
            //var path2 = new string('D', ty - sy) + new string('L', tx - sx);
            //var path3 = new string('L', 1) + new string('U', ty - sy + 1) + new string('R', tx - sx + 1) + new string('D', 1);
            //var path4 = new string('R', 1) + new string('D', ty - sy + 1) + new string('L', tx - sx + 1) + new string('U', 1);
            //Console.WriteLine(path1 + path2 + path3 + path4);
            //int[] sosuu = new int[1000];

            //var N = int.Parse(Console.ReadLine());
            //int[] sosuu = new int[1001];

            //long ans = 1;

            //for (int i = 1; i < N + 1; i++)
            //{
            //    PrimeFactors(i, sosuu);
            //}

            //for (int i = 2; i < N + 1; i++)
            //{
            //    ans *= sosuu[i] + 1;
            //    ans %= 1000000007;

            //}

            //Console.WriteLine(ans);

            //var N = long.Parse(Console.ReadLine());
            //long X = 0;
            //long Y = 0;

            //X = N / 11;

            //if ((N - (11 * X)) == 0)
            //{
            //    Y = 0;
            //}
            //else if ((N - (11 * X)) <= 6)
            //{
            //    Y = 1;
            //}
            //else
            //{
            //    Y = 2;
            //}

            //Console.WriteLine(X * 2 + Y);

            //var line = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //var N = line[0];
            //var M = line[1];

            //int[,] RL = new int[N, N];

            //for (int i = 0; i < M; i++)
            //{
            //    var tmp = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //    RL[tmp[0]-1, tmp[1]-1] = 1;
            //    RL[tmp[1]-1, tmp[0]-1] = 1;
            //}

            //bool[] visit = new bool[N];
            //DFSgraph(RL,visit,0);

            //Console.WriteLine(cnt);

            //var line = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);
            //var N = line[0];
            //var M = line[1];

            //if (N * 2 < M)
            //{
            //    Console.WriteLine(N + (M - 2 * N) /4);
            //}
            //else
            //{
            //    Console.WriteLine(M/2);
            //}
            //var N = int.Parse(Console.ReadLine());
            //var line = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);

            //int[,] dp = new int[N + 1, 10001];

            ////for (int i = 0; i < N; i++)
            ////{
            ////    dp[0, line[0]] = line[i];
            ////}

            //for (int i = 0; i < N; i++)
            //{
            //    for (int j = 0; j < 10001; j++)
            //    {
            //        dp[i + 1, line[i]] = line[i];

            //        if (dp[i,j] != 0)
            //        {
            //            dp[i + 1, j] = dp[i, j];
            //            dp[i + 1, dp[i, j] + line[i]] = line[i] + dp[i, j];
            //        }
            //    }
            //}
            //long ans = 0;
            //for (int i = 0; i < 10001; i++)
            //{
            //    if (dp[N,i] != 0)
            //    {
            //        ans++;
            //    }
            //}

            //Console.WriteLine(ans + 1);

            //var line = Array.ConvertAll(Console.ReadLine().Split(),int.Parse);

            //var A = line[0];
            //var B = line[1];

            //var line2 = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //var line3 = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);

            //int[] a = new int[A];
            //int[] b = new int[B];

            //for (int i = 0; i < A; i++)
            //{
            //    a[i] = line2[i];
            //}

            //for (int i = 0; i < B; i++)
            //{
            //    b[i] = line3[i];
            //}

            //int AB = A + B;
            //int[,] dp = new int[A + 1, B + 1];

            //for (int i = 1; i <= A; i++)
            //{
            //    if ((AB - i) % 2 == 0)
            //    {
            //        dp[i, 0] = dp[i - 1, 0] + a[A - i];
            //    }
            //    else
            //    {
            //        dp[i, 0] = dp[i - 1, 0];
            //    }
            //}

            //for (int i = 1; i <= B; i++)
            //{
            //    if ((AB - i) % 2 == 0)
            //    {
            //        dp[0, i] = dp[0, i -1] + b[B - i];
            //    }
            //    else
            //    {
            //        dp[0, i] = dp[0, i -1];
            //    }
            //}

            //for (int i = 1; i <= A; i++)
            //{
            //    for (int j = 1; j <= B; j++)
            //    {
            //        if ((AB - i - j) % 2 == 0)
            //        {
            //            dp[i, j] = Math.Max(dp[i -1,j] + a[A - i],dp[i,j-1] + b[B - j]);
            //        }
            //        else
            //        {
            //            dp[i, j] = Math.Min(dp[i - 1, j] , dp[i, j - 1]);
            //        }

            //    }
            //}

            //Console.WriteLine(dp[A,B]);

            //var N = int.Parse(Console.ReadLine());
            //int[] dp = new int[N + 1];

            //for (int i = 1; i <= N; i++)
            //{
            //    dp[i] = i;
            //}

            //List<int> hai = new List<int>();
            //int loop = 6;

            //while (N>=loop)
            //{
            //    hai.Add(loop);
            //    loop *= 6;
            //}

            //loop = 9;
            //while (N >= loop)
            //{
            //    hai.Add(loop);
            //    loop *= 9;
            //}

            //var hai2 = hai.OrderBy(n => n).ToArray();

            //foreach (var item in hai)
            //{
            //    for (int i = 0; i < N; i++)
            //    {
            //        if (i + item <= N)
            //        {
            //            dp[i + item] = Math.Min(dp[i + item], dp[i] + 1);
            //        }

            //    }
            //}

            //Console.WriteLine(dp[N]);

            //var N = int.Parse(Console.ReadLine());

            //if (N == 1)
            //{
            //    Console.WriteLine(1);
            //    return;
            //}

            //for (int i = 1; i <= N; i++)
            //{
            //    if (2 * N > i * (i + 1))
            //    {
            //        continue;
            //    }
            //    else
            //    {
            //        Console.WriteLine(i);
            //        return;
            //    }
            //}

            //var N = long.Parse(Console.ReadLine());
            //var yaku = getPrime(N).ToArray();

            //yakusu(N,0,1,yaku);

            //var min = Math.Max(_A.ToString().Length,(N/_A).ToString().Length);
            //Console.WriteLine(min);

            //var N = int.Parse(Console.ReadLine());
            //List<char[]> charr = new List<char[]>();
            //var alpha = "abcdefghijklmnopqrstuvwxyz".ToCharArray();
            //int[] oneline = new int[26];

            //var one = Console.ReadLine().ToCharArray().OrderBy(n => n).ToArray();

            //for (int i = 1; i < N; i++)
            //{
            //    var tmp = Console.ReadLine().ToCharArray().OrderBy(n => n).ToArray();
            //    charr.Add(tmp);
            //}


            //for (int i = 0; i < one.Length; i++)
            //{
            //    for (int j = 0; j < alpha.Length; j++)
            //    {
            //        if (one[i] == alpha[j])
            //        {
            //            oneline[j]++;
            //        }
            //    }
            //}

            //foreach (var item in charr)
            //{
            //    int[] tmp = new int[26];
            //    for (int i = 0; i < item.Length; i++)
            //    {
            //        for (int j = 0; j < alpha.Length; j++)
            //        {
            //            if (item[i] == alpha[j])
            //            {
            //                tmp[j]++;
            //            }
            //        }
            //    }

            //    for (int i = 0; i < oneline.Length; i++)
            //    {
            //        if (oneline[i] != 0 && tmp[i] != 0)
            //        {
            //            oneline[i] = Math.Min(oneline[i],tmp[i]);
            //        }
            //        else
            //        {
            //            oneline[i] = 0;
            //        }
            //    }
            //}

            //string mozi = "";

            //for (int i = 0; i < oneline.Length; i++)
            //{
            //    for (int j = 0; j < alpha.Length; j++)
            //    {
            //        if (oneline[i] != 0 && i == j)
            //        {
            //            mozi += new string(alpha[i], oneline[i]);
            //        }
            //    }
            //}

            //Console.WriteLine(mozi);

            //var N = long.Parse(Console.ReadLine());

            //var line = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);

            //long[] plusminus = new long[N];
            //long sum = 0;
            //long ans = 0;

            ////for (int i = 0; i < N; i++)
            ////{
            ////    sum += line[i];
            ////    plusminus[i] = sum;
            ////}

            //long ans1 = 0;
            //long ans2 = 0;

            //bool flg = true;

            //for (int i = 0; i < N; i++)
            //{
            //    sum += line[i];

            //    if (flg)
            //    {
            //        if (sum <= 0) { ans1 += 1 - sum; sum = 1; }
            //    }
            //    else
            //    {
            //        if (sum >= 0) { ans1 += 1 + sum; sum = -1; }
            //    }

            //    flg = flg ? false : true;

            //}

            //flg = false;
            //sum = 0;

            //for (int i = 0; i < N; i++)
            //{
            //    sum += line[i];

            //    if (flg)
            //    {
            //        if (sum <= 0) { ans2 += 1 - sum; sum = 1; }
            //    }
            //    else
            //    {
            //        if (sum >= 0) { ans2 += 1 + sum; sum = -1; }
            //    }

            //    flg = flg ? false : true;

            //}

            //Console.WriteLine(Math.Min(ans1, ans2));


            //var line1 = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //var line2 = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //var line3 = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);

            //int a1, a2, a3, b1, b2, b3;

            //a1 = 0;

            //b1 = line1[0] - a1;
            //b2 = line1[1] - a1;
            //b3 = line1[2] - a1;

            //a2 = line2[0] - b1;
            //a3 = line3[0] - b1;

            //if (a2 + b2 == line2[1] && a2 + b3 == line2[2] &&
            //    a3 + b2 == line3[1] && a3 + b3 == line3[2]) Console.WriteLine("Yes");
            //else
            //    Console.WriteLine("No");

            //var line = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);
            //var N = line[0];
            //var T = line[1];

            //var line1 = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);

            //long tmp = 0;
            //long oyu = 0;
            //long pre = 0;
            ////bool flg = false;

            //for (int i = 0; i < N; i++)
            //{
            //    if (line1[i] - pre < T)
            //    {
            //        //flg = false;
            //        tmp += line1[i] - pre;
            //    }

            //    else
            //    {
            //        //flg = true;
            //        oyu += T + tmp;
            //        tmp = 0;
            //    }
            //    pre = line1[i];

            //}
            //Console.WriteLine(oyu + tmp + T);

            //var line = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);
            //var N = line[0];
            //var K = line[1];

            //long[] arr = new long[100001];

            //for (int i = 0; i < N; i++)
            //{
            //    line = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);
            //    arr[line[0]] += line[1];

            //}

            //long plus = 0;
            //for (int i = 1; i < 100001; i++)
            //{
            //    plus += arr[i];
            //    if (plus >= K)
            //    {
            //        Console.WriteLine(i);
            //        return;
            //    }

            //}

            //var line = Array.ConvertAll(Console.ReadLine().Split(),int.Parse);
            //var H = line[0];
            //var W = line[1];

            //var tmp1 = ans(H, W);
            //var tmp2 = ans(W, H);

            //var answer = Math.Min(tmp1,tmp2);

            //Console.WriteLine(answer);
            //if (H % 3 == 0 || W % 3 == 0)
            //    Console.WriteLine(0);
            //else
            //{
            //    if (W < H)
            //    {
            //        var X = H / 3;
            //        for (int i = 0; i < 2; i++)
            //        {
            //            X += i;
            //            var Y = H - X;
            //            var Z = W / 2;
            //            var max = maxV(X * W,Y * Z,Y * (W-Z));
            //            var min = minV(X * W, Y * Z, Y * (W - Z));
            //            ans = Math.Min(ans,max-min);
            //        }
            //    }
            //    else
            //    {
            //        var X = W / 3;
            //        for (int i = 0; i < 2; i++)
            //        {
            //            X += i;
            //            var Y = W - X;
            //            var Z = H / 2;

            //            var max = maxV(X * H, Y * Z, Y * (H - Z));
            //            var min = minV(X * H, Y * Z, Y * (H - Z));
            //            ans = Math.Min(ans, max - min);
            //        }
            //    }
            //}

            //Console.WriteLine(ans);

            //var N = int.Parse(Console.ReadLine());
            //int[] s = new int[100];
            //int sum = 0;

            //for (int i = 0; i < N; i++)
            //{
            //    var tmp = int.Parse(Console.ReadLine());
            //    sum += tmp;
            //    s[i] = tmp;
            //}

            //var sorteds = s.OrderBy(n => n).ToArray();

            //if (sum % 10 != 0)
            //{
            //    Console.WriteLine(sum);
            //    return;
            //}
            //else
            //{
            //    for (int i = 0; i < sorteds.Length; i++)
            //    {
            //        if (sorteds[i] % 10 != 0)
            //        {
            //            Console.WriteLine(sum - sorteds[i]);
            //            return;
            //        }

            //    }
            //}
            //Console.WriteLine(0);

            //var N = int.Parse(Console.ReadLine());
            //var line = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);

            //int[] color = new int[9];

            //for (int i = 0; i < line.Length; i++)
            //{
            //    if (line[i] >= 1 && line[i] <= 399) color[0]++;
            //    if (line[i] >= 400 && line[i] <= 799) color[1]++;
            //    if (line[i] >= 800 && line[i] <= 1199) color[2]++;
            //    if (line[i] >= 1200 && line[i] <= 1599) color[3]++;
            //    if (line[i] >= 1600 && line[i] <= 1999) color[4]++;
            //    if (line[i] >= 2000 && line[i] <= 2399) color[5]++;
            //    if (line[i] >= 2400 && line[i] <= 2799) color[6]++;
            //    if (line[i] >= 2800 && line[i] <= 3199) color[7]++;
            //    if (line[i] >= 3200 && line[i] <= 4800) color[8]++;
            //}

            //int min = 0;
            //int max = 0;
            //for (int i = 0; i < color.Length -1; i++)
            //{
            //    if (color[i] > 0)
            //    {
            //        min++;
            //        max++;
            //    }
            //}

            //if (min == 0)
            //{
            //    min = 1;
            //}

            ////if (max + color[8] > 8)
            ////    max = 8;
            ////else
            //max = max + color[8];

            //Console.WriteLine("{0} {1}",min,max);

            //var line = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //var N = line[0];
            //var M = line[1];

            //long narabi = 1;

            //if (Math.Abs(N - M) > 1)
            //{
            //    Console.WriteLine(0);
            //    return;
            //}

            //for (int i = N; i >= 1; i--)
            //{
            //    narabi *= i;
            //    narabi %= 1000000007;
            //}

            //if (N == M)
            //{
            //    narabi = narabi * narabi * 2;
            //    narabi %= 1000000007;

            //    Console.WriteLine(narabi);
            //    return;
            //}
            //else
            //{
            //    for (int i = M; i >= 1; i--)
            //    {
            //        narabi *= i;
            //        narabi %= 1000000007;
            //    }
            //    Console.WriteLine(narabi);
            //    return;
            //}

            //var N = int.Parse(Console.ReadLine());
            //var line = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);
            //long[] arr = new long[N];

            //if (N % 2 == 0)
            //{
            //    for (int i = 0; i < N; i++)
            //    {
            //        if (i % 2 == 0)
            //        {
            //            arr[N / 2 + i / 2] = line[i];
            //        }
            //        else
            //        {
            //            arr[N / 2 - (i + 1)/ 2] = line[i];
            //        }
            //    }
            //}
            //else
            //{
            //    for (int i = 0; i < N; i++)
            //    {
            //        if (i % 2 != 0)
            //        {
            //            arr[N / 2 + (i + 1)/ 2] = line[i];
            //        }
            //        else
            //        {
            //            arr[N / 2 - i / 2] = line[i];
            //        }
            //    }
            //}

            //for (int i = 0; i < arr.Length - 1; i++)
            //{
            //    Console.Write("{0} ",arr[i]);
            //}

            //Console.WriteLine("{0}",arr[arr.Length - 1]);


            //var N = int.Parse(Console.ReadLine());
            //var line = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);
            //long sum = 0;
            //long[] arr = new long[N];


            //for (int i = 0; i < N; i++)
            //{
            //    arr[i] = sum + line[i];
            //    sum = arr[i];
            //}

            //long ans = long.MaxValue;

            //for (int i = 0; i < N - 1; i++)
            //{
            //    ans = Math.Min(ans,Math.Abs(arr[i] * 2 - sum));
            //}

            //Console.WriteLine(ans);

            //var line = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //List<int> teiki = new List<int>();
            //Dictionary<int, int> dic = new Dictionary<int, int>();

            //for (int i = 0; i < line[1]; i++)
            //{
            //    var fune = Array.ConvertAll(Console.ReadLine().Split(),int.Parse);
            //    if (fune[1] == line[0])
            //        dic.Add(fune[0],fune[1]);

            //    if (fune[0] == 1)
            //        teiki.Add(fune[1]);

            //}
            //string output = "IMPOSSIBLE";

            //foreach (var bin in teiki)
            //{
            //    if (dic.ContainsKey(bin))
            //        output = "POSSIBLE";
            //}

            //Console.WriteLine(output);

            //var N = int.Parse(Console.ReadLine());
            //var line = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);
            //int kai4 = 0;
            //int kai2 = 0;
            //int kisu = 0;

            //for (int i = 0; i < N; i++)
            //{

            //    if (line[i] % 4 == 0)
            //    {
            //        kai4++;
            //    }
            //    else if(line[i] % 2 == 0)
            //    {
            //        kai2++;
            //    }
            //    else
            //    {
            //        kisu++;
            //    }
            //}

            //string ans = "No";

            //if (kai4 >= kisu)
            //    ans = "Yes";
            //else if(kai4 == kisu - 1 && kai2 == 0)
            //    ans = "Yes";

            //Console.WriteLine(ans);

            //var N = long.Parse(Console.ReadLine());
            //BigInteger ans = 1;

            //for (int i = 0; i < N; i++)
            //{
            //    var T = BigInteger.Parse(Console.ReadLine());
            //    ans = Lcm(ans, T);
            //}

            //Console.WriteLine(ans);

            //var N = long.Parse(Console.ReadLine());
            //var line = Array.ConvertAll(Console.ReadLine().Split(),long.Parse);

            //BigInteger MAX = 0;
            //BigInteger MAX2 = 0;

            //var orderedarr = line.OrderBy(n => n).ToArray();
            //BigInteger pre = 0;

            //for (int i = 0; i < N; i++)
            //{
            //    if (pre == orderedarr[i])
            //    {
            //        MAX2 = MAX;
            //        MAX = pre;
            //        pre = 0;
            //        continue;
            //    }

            //    pre = orderedarr[i];
            //}

            //Console.WriteLine(MAX * MAX2);

            //var N = int.Parse(Console.ReadLine());
            //var line = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //int[] hai = new int[100002];

            //for (int i = 0; i < N; i++)
            //{

            //    hai[line[i]]++;
            //    hai[line[i] + 1]++;
            //    hai[line[i] + 2]++;

            //}

            //var orderedhai = hai.OrderByDescending(n => n).ToArray();
            //Console.WriteLine(orderedhai[0]);

            //var N = int.Parse(Console.ReadLine());
            //Dictionary<long, long> dic = new Dictionary<long, long>();
            //long ans = 0;

            //for (int i = 0; i < N; i++)
            //{
            //    var num = long.Parse(Console.ReadLine());
            //    if (dic.ContainsKey(num))
            //    {
            //        if (dic[num] != 0)
            //        {
            //            dic[num] = 0;
            //            ans--;
            //        }
            //        else
            //        {
            //            dic[num] = 1;
            //            ans++;
            //        }
            //    }
            //    else
            //    {
            //        dic.Add(num, 1);
            //        ans++;
            //    }
            //}

            //Console.WriteLine(ans);

            //var line = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);

            //var x = Math.Max(line[0], line[1]);
            //var y = Math.Min(line[0], line[1]);

            //if (x == 1)
            //{
            //    Console.WriteLine(1);
            //    return;
            //}

            //if (y == 1)
            //{
            //    if(x == 2)
            //        Console.WriteLine(0);
            //    else
            //        Console.WriteLine(x - 2);
            //    return;
            //}

            //if ( y < 3 )
            //    Console.WriteLine(0);
            //else
            //    Console.WriteLine((x -2) * (y -2));

            //var N = int.Parse(Console.ReadLine());

            //List<int[]> red = new List<int[]>();
            //List<int[]> blue = new List<int[]>();
            //int[] Abs = new int[101];

            //for (int i = 0; i < N; i++)
            //{
            //    var line = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //    red.Add(line);
            //}

            //Dictionary<int, int> dic = new Dictionary<int, int>();

            //for (int i = 0; i < N; i++)
            //{
            //    var line = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //    dic.Add(i, line[0] * line[1]);
            //    blue.Add(line);
            //}

            //var ordereddic = dic.OrderBy(n => n.Value);
            //List<int[]> orderedblue = new List<int[]>();

            //foreach (var item in ordereddic)
            //{
            //    orderedblue.Add(blue[item.Key]);
            //}

            //long abs = int.MaxValue;

            //foreach (var b in orderedblue)
            //{
            //    foreach (var r in red)
            //    {
            //        if (b[0] > r[0] && b[1] > r[1])
            //        {
            //            //abs = Math.Min(ans,);
            //        }
            //    }
            //}
            //var N = int.Parse(Console.ReadLine());

            ////int[][] red = new int[N][];
            ////int[][] blue = new int[N][];

            //Dictionary<int, int> red = new Dictionary<int, int>();
            //Dictionary<int, int> blue = new Dictionary<int, int>();

            //for (int i = 0; i < N; i++)
            //{
            //    var line = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //    red.Add(line[0],line[1]);
            //}

            //for (int i = 0; i < N; i++)
            //{
            //    var line = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //    blue.Add(line[0], line[1]);
            //}

            //var orderedred = red.OrderByDescending(n => n.Value);
            //var orderedblue = blue.OrderBy(n => n.Key).ToDictionary(n => n.Key, n => n.Value);

            //int[][] xjag = new int[N][];
            //int soeji = 0;

            //for (int i = 0; i < N; i++)
            //{
            //    xjag[i] = new int[2];
            //}

            //foreach (var item in orderedred)
            //{
            //    xjag[soeji][0] = item.Key;
            //    xjag[soeji][1] = item.Value;
            //    soeji++;
            //}

            //long ans = 0;

            //foreach (var b in orderedblue)
            //{

            //    for (int i = 0; i < N; i++)
            //    {
            //        if (b.Key > xjag[i][0] && b.Value > xjag[i][1])
            //        {
            //            ans++;
            //            xjag[i][0] = int.MaxValue;
            //            break;
            //        }
            //    }
            //}

            //Console.WriteLine(ans);

            //var line = Array.ConvertAll(Console.ReadLine().Split(),long.Parse);
            //var N = line[0];
            //var M = line[1];

            //long two = 0;
            //long three = 0;
            //long five = 0;

            //while (M % 2 == 0)
            //{
            //    M /= 2;
            //    two++;
            //}

            //while (M % 3 == 0)
            //{
            //    M /= 3;
            //    three++;
            //}

            //while (M % 5 == 0)
            //{
            //    M /= 5;
            //    five++;
            //}

            //double[,,,] dp = new double[N+1,two + 11,three + 11,five + 11];
            //dp[0, 0, 0, 0] = 1;

            //for (int i = 0; i < N; i++)
            //{
            //    for (int j = 0; j <= two; j++)
            //    {
            //        for (int k = 0; k <= three; k++)
            //        {
            //            for (int l = 0; l <= five; l++)
            //            {
            //                for (int m = 1; m < 7; m++)
            //                {
            //                    if (m == 1)
            //                        dp[i + 1,j,k,l] += dp[i, j, k, l] * (1/6);
            //                    else if(m == 2)
            //                        dp[i + 1, j + 1, k, l] += dp[i, j, k, l] * (1 / 6);
            //                    else if(m == 3)
            //                        dp[i + 1, j, k + 1, l] += dp[i, j, k, l] * (1 / 6);
            //                    else if(m == 4)
            //                        dp[i + 1, j + 2, k, l] += dp[i, j, k, l] * (1 / 6);
            //                    else if(m == 5)
            //                        dp[i + 1, j, k, l + 1] += dp[i, j, k, l] * (1 / 6);
            //                    else
            //                        dp[i + 1, j + 1, k + 1, l] += dp[i, j, k, l] * (1 / 6);

            //                }
            //            }
            //        }
            //    }
            //}

            //Console.WriteLine(dp[N, two, three, five]);

            //var W = int.Parse(Console.ReadLine());
            //var line = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //var N = line[0];
            //var K = line[1];

            //int[][] wvjag = new int[N][];
            //int[,,] dp = new int[N + 1,W + 1,K + 1];

            //for (int i = 0; i < N; i++)
            //{
            //    var x = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //    for (int j = 0; j <= W; j++)
            //    {
            //        for (int k = 0; k < K; k++)
            //        {
            //            if (x[0] <= j)
            //                dp[i + 1, j, k + 1] = Math.Max(dp[i, j, k + 1], dp[i, j - x[0], k] + x[1]);
            //            else
            //                dp[i + 1, j, k + 1] = dp[i, j, k + 1];
            //        }

            //    }
            //}

            //Console.WriteLine(dp[N,W,K]);

            //var N = int.Parse(Console.ReadLine());
            //var line = Array.ConvertAll(Console.ReadLine().Split(), int.Parse).ToList();
            //line.Add(0);
            //int sum = 0;
            //int preposi = 0;

            //for (int i = 0; i <= N; i++)
            //{
            //    sum += Math.Abs(line[i] - preposi);
            //    preposi = line[i];
            //}

            //preposi = 0;

            //for (int i = 0; i < N; i++)
            //{
            //    var ans = sum - (Math.Abs(line[i] - preposi) + Math.Abs(line[i + 1] - line[i])) + Math.Abs(line[i + 1] - preposi);
            //    preposi = line[i];
            //    Console.WriteLine(ans);
            //}

            //var line = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            //var orderedABC = line.OrderBy(n => n).ToArray();

            //var x = orderedABC[2] - orderedABC[1];
            //orderedABC[1] = orderedABC[2];
            //orderedABC[0] = orderedABC[0] + x;

            //if (orderedABC[2]  == orderedABC[0])
            //{
            //    Console.WriteLine(x);
            //    return;
            //}
            //else if ((orderedABC[2] - orderedABC[0]) % 2 == 0)
            //{
            //    Console.WriteLine(((orderedABC[2] - orderedABC[0]) / 2) + x);
            //    return;
            //}
            //else
            //{
            //    Console.WriteLine(((orderedABC[2] - orderedABC[0]) / 2) + x + 2);
            //    return;
            //}

            //var N = int.Parse(Console.ReadLine());
            //var line = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);
            //var ordered = line.OrderBy(n => n).ToArray();

            //var mid1 = ordered[(N / 2) - 1];
            //var mid2 = ordered[(N / 2)];

            //for (int i = 0; i < N; i++)
            //{
            //    if (line[i] >= mid2)
            //        Console.WriteLine(mid1);
            //    else
            //        Console.WriteLine(mid2);
            //}

            //var line = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);

            //var A = line[0];
            //var B = line[1];
            //var C = line[2];
            //var X = line[3];
            //var Y = line[4];

            //if (A + B < C * 2)
            //    Console.WriteLine(A * X + B * Y);
            //else if(Math.Min(A,B) > C * 2)
            //    Console.WriteLine(C * 2 * Math.Max(X,Y));
            //else
            //    if (A < B)
            //        if (B > C * 2)
            //            Console.WriteLine(C * 2 * Y + Math.Max(X - Y, 0) * A);
            //        else
            //            Console.WriteLine(C * 2 * (Y/2) * 2 + (Y - (Y / 2) * 2) * B + Math.Max(X - Y, 0) * A);
            //    else
            //        if (A > C * 2)
            //            Console.WriteLine(C * 2 * X + Math.Max(Y - X, 0) * B);
            //        else
            //            Console.WriteLine(C * 2 * (X/2) * 2 + (X - (X / 2) * 2) * A + Math.Max(Y - X, 0) * B);

            //var line = Array.ConvertAll(Console.ReadLine().Split(),int.Parse);
            //var H = line[0];
            //var W = line[1];

            //char[,] miz = new char[H + 2,W + 2];

            //int[] fori = new int[] {-1,1,0,0};
            //int[] forj = new int[] {0,0,-1,1};

            //for (int i = 0; i < W + 2; i++)
            //{
            //    miz[0, i] = '.';
            //    miz[H + 1, i] = '.';
            //}

            //for (int i = 0; i < H + 2; i++)
            //{
            //    miz[i, 0] = '.';
            //    miz[i, W + 1] = '.';
            //}

            //for (int i = 1; i < H + 1; i++)
            //{
            //    var line2 = Console.ReadLine().ToCharArray();
            //    for (int j = 1; j < W + 1; j++)
            //    {
            //        miz[i, j] = line2[j - 1];
            //    }
            //}
            //bool flg = false;

            //for (int i = 0; i < H; i++)
            //{
            //    for (int j = 0; j < W; j++)
            //    {
            //        if (miz[i, j] == '#')
            //        {
            //            for (int k = 0; k < 4; k++)
            //            {
            //                if (miz[i + fori[k], j + forj[k]] == '#')
            //                    flg = true;
            //            }
            //            if (!flg)
            //            {
            //                Console.Write("No");
            //                return;
            //            }   
            //        }
            //        flg = false;

            //    }
            //}

            //Console.WriteLine("Yes");
            //List<string> ls = new List<string>();
            //var S = Console.ReadLine();
            //var K = int.Parse(Console.ReadLine());
            //int cnt = 0;

            //for (int i = 0; i <= S.Length; i++)
            //{
            //    for (int j = 0; j <= Math.Min(S.Length - i,K); j++)
            //    {
            //        ls.Add(S.Substring(i,j));
            //    }

            //}

            //var dis = ls.Distinct().ToList();
            //dis.Sort();

            //Console.WriteLine(dis[K]);

            //var N = int.Parse(Console.ReadLine());
            //var line = Console.ReadLine().ToCharArray();

            //int[] E = new int[N + 1];
            //int[] W = new int[N + 1];

            //int sumE = 0;
            //int sumW = 0;

            //for (int i = 0; i < N; i++)
            //{
            //    if (line[i] == 'E')
            //        sumE++;
            //    else
            //        sumW++;

            //    W[i + 1] = sumW;
            //    E[i + 1] = sumE;
            //}

            //int ans = int.MaxValue;

            //for (int i = 1; i <= N; i++)
            //{
            //    ans = Math.Min(W[i - 1] + sumE - E[i], ans);
            //}

            //Console.WriteLine(ans);

            //var S = string.Join("",Console.ReadLine().ToCharArray().Reverse()).ToCharArray();
            //var erase = string.Join("","erase".Reverse());
            //var eraser = string.Join("", "eraser".Reverse());
            //var dream = string.Join("", "dream".Reverse());
            //var dreamer = string.Join("", "dreamer".Reverse());

            //int s = 0;
            //string t = "";
            //bool flg = false;
            //while (s <= S.Count() - 1)
            //{
            //    for (int i = 0; i < 7; i++)
            //    {
            //        t += S[s + i];
            //        if (t == erase || t == dream)
            //        {
            //            s += 5;
            //            flg = true;
            //            break;
            //        }
            //        else if (t == eraser)
            //        {
            //            s += 6;
            //            flg = true;
            //            break;
            //        }
            //        else if (t == dreamer)
            //        {
            //            s += 7;
            //            flg = true;
            //            break;
            //        }
            //    }

            //    if (!flg)
            //    {
            //        Console.WriteLine("NO");
            //        return;
            //    }
            //    flg = false;
            //    t = "";
            //}

            //Console.WriteLine("YES");

            //var line = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);
            //var N = line[0];
            //var x = line[1];
            //long ans = 0;

            //var line2 = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);


            //for (int i = 0; i < N - 1; i++)
            //{
            //    if (line2[i] + line2[i + 1] - x <= 0) continue;
            //    ans += line2[i] + line2[i + 1] - x > 0 ? line2[i] + line2[i + 1] - x : 0;
            //    line2[i + 1] = Math.Max(0, x - line2[i]);
            //}

            //Console.WriteLine(ans);

            //var mozi = Console.ReadLine().ToCharArray();

            //char st = mozi[0];
            //int ans = 0;

            //for (int i = 1; i < mozi.Length; i++)
            //{
            //    if (st == mozi[i]) continue;
            //    st = mozi[i];
            //    ans++;
            //}
            //Console.WriteLine(ans);  

            //var N = int.Parse(Console.ReadLine());

            //var line = Array.ConvertAll(Console.ReadLine().Split(),long.Parse);
            //long a = line[0];
            //long b = line[1];

            //for (int i = 1; i < N; i++)
            //{
            //    line = Array.ConvertAll(Console.ReadLine().Split(), long.Parse);
            //    var A = line[0];
            //    var T = line[1];
            //    if (A >= a && T >= b) { a = A; b = T; continue; }
            //    else
            //    {
            //        var tmpA = a / A; var tmpT = b / T;
            //        if (a % A != 0) tmpA++;
            //        if (b % T != 0) tmpT++;
            //        a = Math.Max(tmpA, tmpT) * A;
            //        b = Math.Max(tmpA, tmpT) * T;
            //    }
            //}

            //Console.WriteLine(a + b);

            //var N = Console.ReadLine();
            //int[] v = new int[N.Length - 1];
            //dfs(N,0, v);
            //Console.WriteLine(allsum);

            var line = Array.ConvertAll(Console.ReadLine().Split(), int.Parse);
            if ((line.Contains(1)) && (line.Contains(9)) && (line.Contains(7)) && (line.Contains(4)))
            {
                Console.WriteLine("YES");
            }
            else
            {
                Console.WriteLine("NO");
            }
        }

        //public static bool hugou(int x,int y)
        //{
        //    if (x < 0 && y < 0)
        //    {
        //        return true;
        //    }
        //    else if (x > 0 && y > 0)
        //    {
        //        return true;
        //    }

        //    return false;
        //}
        public static void dfs(string X,int cnt,int[] v)
        {

            if (cnt == v.Length)
            {
                int cntconma = 0;
                for (int i = 0; i < v.Length; i++)
                {
                    if (v[i] == 1)
                    {
                        X = X.Insert(i + 1 + cntconma, ",");
                        cntconma++;
                    }
                }
                var tmp = Array.ConvertAll(X.Split(','),long.Parse);
                allsum += tmp.Sum();
                return;
            }

            for (int i = 0; i < 2; i++)
            {
                if (i == 0)
                {
                    v[cnt] = 0;
                    dfs(X,cnt + 1,v);
                }
                else
                {
                    v[cnt] = 1;
                    dfs(X, cnt + 1,v);
                }
            }
        }

        public static BigInteger Lcm(BigInteger a, BigInteger b)
        {
            return (a * b) / Gcd(a, b);
        }

        public static BigInteger Gcd(BigInteger a, BigInteger b)
        {
            if (a < b)
                return Gcd(b, a);
            while (b != 0)
            {
                var remainder = a % b;
                a = b;
                b = remainder;
            }
            return a;
        }

        public static long ans(long x,long y)
        {
            long ans = long.MaxValue;
            for (int i = 1; i <= x; i++)
            {
                var max = maxV(i * y,(x - i) * (y/2), (x - i) * (y -(y / 2)));
                var min = minV(i * y, (x - i) * (y / 2), (x - i) * (y - (y / 2)));
                ans = Math.Min(ans, max - min);

                max = maxV(i * y, (x - i)/2 * y, (x - i - (x - i)/2) * y);
                min = minV(i * y, (x - i) / 2 * y, (x - i - (x - i) / 2) * y);
                ans = Math.Min(ans, max - min);
            }

            return ans;
        }

        public static long maxV(long a,long b, long c)
        {
            var tmp = Math.Max(a, b);
            tmp = Math.Max(tmp, c);

            return tmp;
        }

        public static long minV(long a, long b, long c)
        {
            var tmp = Math.Min(a, b);
            tmp = Math.Min(tmp, c);

            return tmp;
        }

        public static List<BigInteger> getPrime(BigInteger n)
        {
            BigInteger i = 2;
            BigInteger tmp = n;

            List<BigInteger> listp = new List<BigInteger>();

            while (i * i <= n)
            {
                if (tmp % i == 0)
                {
                    tmp /= i;
                    listp.Add(i);
                }
                else
                {
                    i++;
                }
            }
            if (tmp != 1) listp.Add(tmp);

            return listp;
        }

        public static void yakusu(long N,long num,long A , long[] arr)
        {
            if (num == arr.Length)
            {
                if (Math.Abs(A - N / A) < abs)
                {
                    abs = Math.Min(Math.Abs(A - N / A), abs);
                    _A = A;
                }
                return;
            }

            for (int i = 0; i < 2; i++)
            {
                if (i == 0) yakusu(N,num + 1,A,arr);
                if (i == 1) yakusu(N,num + 1,A * arr[num], arr);
            }

        }

        public static void DFSgraph(int[,] RL,bool[] visit,int v)
        {
            visit[v] = true;

            if (visit.Where(n => n == true).Count() == visit.Length)
            {
                cnt++;
                return;
            }

            for (int i = 0; i < visit.Length; i++)
            {
                if (RL[v,i] == 0) continue;
                if (visit[i]) continue;

                bool[] tmpvisit = new bool[visit.Length];
                visit.CopyTo(tmpvisit,0);

                DFSgraph(RL, tmpvisit, i);
            }
        }

        public static void PrimeFactors(int n,int[] sosuu)
        {
            int i = 2;
            int tmp = n;

            while (i * i <= n) 
            {
                if (tmp % i == 0)
                {
                    tmp /= i;
                    sosuu[i]++;
                }
                else
                {
                    i++;
                }
            }
            if (tmp != 1) sosuu[tmp]++;
        }


        public static void DFSzahyo(int x, int y,int[] s,int[] g)
        {

            if (x == g[0] && y == g[1])
            {
                return;
            }
            miz[x, y] = true;
            for (int i = 0; i < 4; i++)
            {
                if (miz[x + xMove[i], y + yMove[i]] != true)
                {
                    DFSzahyo(x + xMove[i], y + yMove[i],s,g);
                }
            }
        }

        public static void saikiseven(int ope, int sum ,int[] hairetui)
        {
            if (ope == 1)
            {
                sum = hairetui[ope - 1];
            }

            if (ope == 7 && sum == 7)
            {
                int[] dummy = new int[ope];
                hairetui.CopyTo(dummy, 0);
                list.Add(dummy);
                return;
            }
            else if (ope == 7 && sum != 7)
            {
                return;
            }

            for (int i = 0; i < 2; i++)
            {
                if (i == 0)
                {
                    sum += hairetui[ope + 1];
                    hairetui[ope] = i;
                    saikiseven(ope + 2, sum, hairetui);
                    sum -= hairetui[ope + 1];
                }
                else
                {
                    sum -= hairetui[ope + 1];
                    hairetui[ope] = i;
                    saikiseven(ope + 2, sum, hairetui);
                }
            }

            return;
        }

        public static void saiki(int soezi,int[] hairetui)
        {
            if (soezi == 10)
            {
                int[] dummy = new int[soezi];
                 hairetui.CopyTo(dummy,0);
                list.Add(dummy);
                return;
            }

            for (int j = 0; j < 2; j++)
            {
                hairetui[soezi] = j;
                saiki(soezi+1, hairetui);
            }

            return;
        }

        public static void DFS(int v,bool[] visited,int[,] dag)
        {
            visited[v] = true;

            for (int i = 0; i < visited.Length; i++)
            {
                if (dag[v, i] == 0) continue;
                if (visited[i]) continue;
                DFS(i,visited,dag);
            }

        }

        public static long LowerBound<T>(T[] arr, long start, long end, T value, IComparer<T> comparer)
        {
            long low = start;
            long high = end;
            long mid;
            while (low < high)
            {
                mid = ((high - low) >> 1) + low;
                if (comparer.Compare(arr[mid], value) < 0)
                    low = mid + 1;
                else
                    high = mid;
            }
            return low;
        }

        //引数省略のオーバーロード
        public static long LowerBound<T>(T[] arr, T value) where T : IComparable
        {
            return LowerBound(arr, 0, arr.Length, value, Comparer<T>.Default);
        }
        public static long UpperBound<T>(T[] arr, long start, long end, T value, IComparer<T> comparer)
        {
            long low = start;
            long high = end;
            long mid;
            while (low < high)
            {
                mid = ((high - low) >> 1) + low;
                if (comparer.Compare(arr[mid], value) <= 0)
                    low = mid + 1;
                else
                    high = mid;
            }
            return low;
        }

        //引数省略のオーバーロード
        public static long UpperBound<T>(T[] arr, T value)
        {
            return UpperBound(arr, 0, arr.Length, value, Comparer<T>.Default);
        }
    }

    /// <summary>
    /// Get min cost between two points
    /// </summary>
    //public class Dijkstra
    //{
    //    private int maxIndex = -1;
    //    private const int INF = Int32.MaxValue;

    //    private int[,] _edgeArray;

    //    /// <summary>
    //    /// Dijkstra, get min cost between two points
    //    /// should not contain negatie cost path
    //    /// </summary>
    //    /// <param name="size">max index of vertices</param>
    //    public Dijkstra(int size)
    //    {
    //        maxIndex = size + 1;
    //        _edgeArray = new int[maxIndex, maxIndex];

    //        for (int i = 0; i < _edgeArray.GetLength(0); i++)
    //        {
    //            for (int j = 0; j < _edgeArray.GetLength(1); j++)
    //            {
    //                _edgeArray[i, j] = INF;
    //                if (i == j) _edgeArray[i, j] = 0;
    //            }
    //        }
    //    }

    //    // Add a path(no direction) with its cost
    //    public void AddPath(int s, int t, int cost)
    //    {
    //        _edgeArray[s, t] = Math.Min(_edgeArray[s, t], cost);
    //        _edgeArray[t, s] = _edgeArray[s, t];
    //    }

    //    //Get the min cost between s and t
    //    //return Int32.MaxValue if no path
    //    public int GetMinCost(int s, int t)
    //    {
    //        int[] cost = new int[maxIndex];
    //        for (int i = 0; i < cost.Length; i++) cost[i] = INF;
    //        cost[s] = 0;

    //        var priorityQueue = new PriorityQueue<ComparablePair<int, int>>(maxIndex);
    //        priorityQueue.Push(new ComparablePair<int, int>(0, s));

    //        while (priorityQueue.Count() > 0)
    //        {
    //            var costDestinationPair = priorityQueue.Pop();
    //            if (cost[costDestinationPair.Item2] < costDestinationPair.Item1) continue;

    //            for (int i = 0; i < maxIndex; i++)
    //            {
    //                int newCostToi = _edgeArray[costDestinationPair.Item2, i] == INF ? INF :
    //                    costDestinationPair.Item1 + _edgeArray[costDestinationPair.Item2, i];
    //                if (newCostToi < cost[i])
    //                {
    //                    cost[i] = newCostToi;
    //                    priorityQueue.Push(new ComparablePair<int, int>(newCostToi, i));
    //                }
    //            }
    //        }

    //        return cost[t];
    //    }
    //}

    //public class ComparablePair<T, U> : IComparable where T : IComparable<T>
    //{
    //    public readonly T Item1;
    //    public readonly U Item2;

    //    public int CompareTo(object obj)
    //    {
    //        ComparablePair<T, U> castedObj = (ComparablePair<T, U>)obj;
    //        return this.Item1.CompareTo(castedObj.Item1);
    //    }

    //    public ComparablePair(T t, U u)
    //    {
    //        Item1 = t;
    //        Item2 = u;
    //    }
    //}

}