#include<cstdio>
int gcd(int a,int b)
{
    return b==0?a:gcd(b,a%b);
}
int main()
{
    int a, b, c, d, e, f, i, j,k, k1, k2;
    int t=0;
    while (1)
    {
        k1 = k2 = 0;
        scanf("%d%d%d%d%d%d", &a, &b, &c, &d, &e, &f);
        if (!a&&!b&&!c&&!d&&!e&&!f)
            break;
        b=gcd(a,b);
        k1=gcd(b,c);
        if(d>=e&&d>=f)  k=d;
        if(e>=d&&e>=f)  k=e;
        else k=f;
        j=1;
        while(1)
        {
            t=j*k;
            if(t%d==0&&t%e==0&&t%f==0) break;
            else j++;
        }
        /*此处在求三个数的最小公倍数时，先找到三个数中最大的数k,
        随着t=j*k，当t%d==0&&t%e==0&&t%f==0时，t就是满足条件的LCM*/
        for (i = k1, j = 1; i <= t / 2; j++, i = j * k1)
            if (t % i == 0)
                break;
        if (i > t / 2)
            printf("NO\n");
        else
            printf("YES\n");
    }
    return 0;
}