int nondet() { int a; return a; }
_Bool nondet_bool() { _Bool a; return a; }
int foo (int A, int B, int C, int D, int E, int F, int G, int H, int I, int J, int K, int L, int M, int N, int O, int P, int Q, int R, int S, int T, int U, int V, int W, int X, int Y, int Z, int A1, int B1, int C1, int D1, int E1, int F1) {
 goto loc_f33;

 loc_f16:
 {
   if (nondet_bool()) {
    int Y_0 = nondet();
    int Y_2 = nondet();
    int Y_1 = nondet();
    int Y_ = nondet();
    int X_ = nondet();
    int W_ = nondet();
    int V_ = nondet();
    int U_ = nondet();
    int Q_ = nondet();
    int P_ = nondet();
    int K_ = nondet();
    int I_ = nondet();
    int H_ = nondet();
    int G_ = nondet();
    int F_ = nondet();
    int J_ = 1 + Y_2;
    int A_ = 1 + Y_0;
    if (Y_0 >= 0 && Q >= 1 + J && Y_1 >= 0 && A >= 0) {
     A = A_;
     F = F_;
     G = G_;
     H = H_;
     I = I_;
     J = J_;
     K = K_;
     P = P_;
     Q = Q_;
     U = U_;
     V = V_;
     W = W_;
     X = X_;
     Y = Y_;
     goto loc_f16;
    }
   }
   if (nondet_bool()) {
    int Y_0 = nondet();
    int Z_ = nondet();
    int Q_ = nondet();
    int P_ = nondet();
    int J_ = nondet();
    int A_ = nondet();
    int R_ = 0;
    int O_ = 0;
    int M_ = 0;
    if (A_ >= 0 && J >= Q && Y_0 >= 0 && A >= 0) {
     A = A_;
     J = J_;
     M = M_;
     O = O_;
     P = P_;
     Q = Q_;
     R = R_;
     Z = Z_;
     goto loc_f18;
    }
   }
   if (nondet_bool()) {
    int Y_0 = nondet();
    int Y_1 = nondet();
    int D1_ = nondet();
    int C1_ = nondet();
    int B1_ = nondet();
    int A1_ = nondet();
    int Z_ = nondet();
    int R_ = nondet();
    int Q_ = nondet();
    int P_ = nondet();
    int O_ = nondet();
    int L_ = nondet();
    int K_ = nondet();
    int J_ = nondet();
    int B_ = nondet();
    int A_ = nondet();
    int M_ = 0;
    if (A1_ >= 1 && J >= Q && Y_0 >= 0 && Y_1 >= 0 && A >= 0) {
     A = A_;
     B = B_;
     J = J_;
     K = K_;
     L = L_;
     M = M_;
     O = O_;
     P = P_;
     Q = Q_;
     R = R_;
     Z = Z_;
     A1 = A1_;
     B1 = B1_;
     C1 = C1_;
     D1 = D1_;
     goto loc_f3;
    }
   }
   if (nondet_bool()) {
    int Y_0 = nondet();
    int Y_1 = nondet();
    int D1_ = nondet();
    int C1_ = nondet();
    int B1_ = nondet();
    int A1_ = nondet();
    int Z_ = nondet();
    int R_ = nondet();
    int Q_ = nondet();
    int P_ = nondet();
    int O_ = nondet();
    int L_ = nondet();
    int K_ = nondet();
    int J_ = nondet();
    int B_ = nondet();
    int A_ = nondet();
    int M_ = 0;
    if (0 >= 1 + A1_ && J >= Q && Y_0 >= 0 && Y_1 >= 0 && A >= 0) {
     A = A_;
     B = B_;
     J = J_;
     K = K_;
     L = L_;
     M = M_;
     O = O_;
     P = P_;
     Q = Q_;
     R = R_;
     Z = Z_;
     A1 = A1_;
     B1 = B1_;
     C1 = C1_;
     D1 = D1_;
     goto loc_f3;
    }
   }
  goto end;
 }
 loc_f23:
 {
   if (nondet_bool()) {
    int Y_0 = nondet();
    int S_ = nondet();
    int R_ = nondet();
    int Q_ = nondet();
    int P_ = nondet();
    int O_ = nondet();
    int J_ = nondet();
    int M_ = 0;
    int K_ = 0;
    if (0 >= Y_0 && R_ >= 1) {
     J = J_;
     K = K_;
     M = M_;
     O = O_;
     P = P_;
     Q = Q_;
     R = R_;
     S = S_;
     goto loc_f17;
    }
   }
   if (nondet_bool()) {
    int Y_0 = nondet();
    int S_ = nondet();
    int R_ = nondet();
    int Q_ = nondet();
    int P_ = nondet();
    int O_ = nondet();
    int J_ = nondet();
    int M_ = 0;
    int K_ = 0;
    if (0 >= Y_0 && 0 >= 1 + R_) {
     J = J_;
     K = K_;
     M = M_;
     O = O_;
     P = P_;
     Q = Q_;
     R = R_;
     S = S_;
     goto loc_f17;
    }
   }
   if (nondet_bool()) {
    int Y_0 = nondet();
    int S_ = nondet();
    int Q_ = nondet();
    int P_ = nondet();
    int J_ = nondet();
    int I_ = nondet();
    int T_ = 0;
    int R_ = 0;
    int O_ = 0;
    int M_ = 0;
    int K_ = 0;
    if (0 >= Y_0) {
     I = I_;
     J = J_;
     K = K_;
     M = M_;
     O = O_;
     P = P_;
     Q = Q_;
     R = R_;
     S = S_;
     T = T_;
     goto loc_f21;
    }
   }
   if (nondet_bool()) {
    int Y_0 = nondet();
    int F1_ = nondet();
    int E1_ = nondet();
    int W_ = nondet();
    int V_ = nondet();
    int U_ = nondet();
    int Q_ = nondet();
    int P_ = nondet();
    int K_ = nondet();
    int I_ = nondet();
    int H_ = nondet();
    int G_ = nondet();
    int F_ = nondet();
    int A_ = nondet();
    int J_ = 1 + A_;
    if (Y_0 >= 1) {
     A = A_;
     F = F_;
     G = G_;
     H = H_;
     I = I_;
     J = J_;
     K = K_;
     P = P_;
     Q = Q_;
     U = U_;
     V = V_;
     W = W_;
     E1 = E1_;
     F1 = F1_;
     goto loc_f16;
    }
   }
  goto end;
 }
 loc_f3:
 {
   if (nondet_bool()) {
    int A_ = nondet();
    int D_ = 0;
    int C_ = B;
    if (A_ >= 1 && B >= 1 && A >= 1) {
     A = A_;
     C = C_;
     D = D_;
     goto loc_f25;
    }
   }
   if (nondet_bool()) {
    int A_ = nondet();
    int D_ = 0;
    int C_ = B;
    if (A_ >= 1 && 0 >= 1 + B && A >= 1) {
     A = A_;
     C = C_;
     D = D_;
     goto loc_f25;
    }
   }
   if (nondet_bool()) {
    int K_ = nondet();
    int I_ = nondet();
    int H_ = nondet();
    int G_ = nondet();
    int F_ = nondet();
    int E_ = nondet();
    int J_ = 1 + J;
    int A_ = J;
    if (1 >= 0) {
     A = A_;
     E = E_;
     F = F_;
     G = G_;
     H = H_;
     I = I_;
     J = J_;
     K = K_;
     goto loc_f16;
    }
   }
   if (nondet_bool()) {
    int Y_0 = nondet();
    int K_ = nondet();
    int I_ = nondet();
    int H_ = nondet();
    int G_ = nondet();
    int F_ = nondet();
    int J_ = 1 + J;
    int A_ = 1 + Y_0;
    if (A >= 0 && Y_0 >= 0) {
     A = A_;
     F = F_;
     G = G_;
     H = H_;
     I = I_;
     J = J_;
     K = K_;
     goto loc_f16;
    }
   }
   if (nondet_bool()) {
    int Y_0 = nondet();
    int A_ = nondet();
    int N_ = L;
    int M_ = L;
    int I_ = L;
    int D_ = 0;
    int C_ = 0;
    int B_ = L;
    if (B == 0 && A >= 1 && Y_0 >= 1) {
     A = A_;
     B = B_;
     C = C_;
     D = D_;
     I = I_;
     M = M_;
     N = N_;
     goto loc_f22;
    }
   }
  goto end;
 }
 loc_f33:
 {
   if (nondet_bool()) {
    if (1 >= 0) {
     goto loc_f3;
    }
   }
  goto end;
 }
 loc_f25:
 loc_f22:
 loc_f17:
 loc_f21:
 loc_f18:
 end: return 0;
}