hifrog

int func1(int a, int b)

            {

              int m = 1;

              for (int i = 0; i < 5;++i)

              {

                m = m+(b * a + b / a);

              }

              if(m >= a/b)

              return (m % 2)&& (a % 2);

              else return (b % 2);

            }

int func2(int a, int b)

            {

              int m = 1;

              for (int i = 0; i < 10; i++)

              {

                m= m + (a*a + b / a);

              }

              return (m % 2);

            }

  int main()

            {

              unsigned int a = nondet();

              unsigned int b = nondet();

              int c = a;

              int d = b;

              int p = func1( a, b) - func2(a, b);

              int q = func1(c, d) - func2(c, d);

                          assert (q*q >= 0);

              assert(p == q);

              assert(p + q <= 8);

              return 0;

            }