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) {
 goto loc_f0;

 loc_f0:
 {
   if (nondet_bool()) {
    int D_ = nondet();
    int W_ = 0;
    int F_ = 0;
    if (0 >= D_) {
     D = D_;
     F = F_;
     W = W_;
     goto loc_f13;
    }
   }
   if (nondet_bool()) {
    int D_ = nondet();
    int W_ = 0;
    int F_ = 0;
    if (D_ >= 1) {
     D = D_;
     F = F_;
     W = W_;
     goto loc_f13;
    }
   }
  goto end;
 }
 loc_f13:
 {
   if (nondet_bool()) {
    if (A >= B) {
     goto loc_f47;
    }
   }
   if (nondet_bool()) {
    int O_ = nondet();
    int N_ = nondet();
    int M_ = nondet();
    int K_ = nondet();
    int J_ = nondet();
    int I_ = nondet();
    int H_ = nondet();
    int L_ = E;
    if (B >= 1 + A && O_ >= 1) {
     H = H_;
     I = I_;
     J = J_;
     K = K_;
     L = L_;
     M = M_;
     N = N_;
     O = O_;
     goto loc_f47;
    }
   }
   if (nondet_bool()) {
    int U_ = nondet();
    int T_ = nondet();
    int S_ = nondet();
    int P_ = nondet();
    int O_ = nondet();
    int N_ = nondet();
    int M_ = nondet();
    int K_ = nondet();
    int J_ = nondet();
    int I_ = nondet();
    int H_ = nondet();
    int C_ = nondet();
    int V_ = 0;
    int R_ = 0;
    int Q_ = R;
    int L_ = E;
    if (U_ >= 2 && 0 >= P_ && B >= 1 + A) {
     C = C_;
     H = H_;
     I = I_;
     J = J_;
     K = K_;
     L = L_;
     M = M_;
     N = N_;
     O = O_;
     P = P_;
     Q = Q_;
     R = R_;
     S = S_;
     T = T_;
     U = U_;
     V = V_;
     goto loc_f39;
    }
   }
   if (nondet_bool()) {
    int U_ = nondet();
    int T_ = nondet();
    int S_ = nondet();
    int P_ = nondet();
    int O_ = nondet();
    int N_ = nondet();
    int M_ = nondet();
    int K_ = nondet();
    int J_ = nondet();
    int I_ = nondet();
    int H_ = nondet();
    int C_ = nondet();
    int V_ = 0;
    int R_ = 0;
    int Q_ = R;
    int L_ = E;
    if (0 >= U_ && 0 >= P_ && B >= 1 + A) {
     C = C_;
     H = H_;
     I = I_;
     J = J_;
     K = K_;
     L = L_;
     M = M_;
     N = N_;
     O = O_;
     P = P_;
     Q = Q_;
     R = R_;
     S = S_;
     T = T_;
     U = U_;
     V = V_;
     goto loc_f39;
    }
   }
   if (nondet_bool()) {
    int P_ = nondet();
    int O_ = nondet();
    int N_ = nondet();
    int M_ = nondet();
    int K_ = nondet();
    int J_ = nondet();
    int I_ = nondet();
    int H_ = nondet();
    int V_ = 0;
    int U_ = 1;
    int T_ = 1;
    int S_ = 1;
    int Q_ = R;
    int L_ = E;
    int C_ = 1;
    int A_ = 1 + A;
    if (B >= 1 + A && 0 >= P_) {
     A = A_;
     C = C_;
     H = H_;
     I = I_;
     J = J_;
     K = K_;
     L = L_;
     M = M_;
     N = N_;
     O = O_;
     P = P_;
     Q = Q_;
     S = S_;
     T = T_;
     U = U_;
     V = V_;
     goto loc_f13;
    }
   }
  goto end;
 }
 loc_f39:
 {
   if (nondet_bool()) {
    if (C >= 3) {
     goto loc_f47;
    }
   }
   if (nondet_bool()) {
    if (1 >= C) {
     goto loc_f47;
    }
   }
   if (nondet_bool()) {
    int G_ = H;
    int E_ = 1 + E;
    int C_ = 2;
    if (C == 2) {
     C = C_;
     E = E_;
     G = G_;
     goto loc_f47;
    }
   }
  goto end;
 }
 loc_f47:
 {
   if (nondet_bool()) {
    int E_ = 0;
    if (D >= 1) {
     E = E_;
     goto loc_f54;
    }
   }
   if (nondet_bool()) {
    int F_ = 0;
    int E_ = 0;
    if (0 >= D) {
     E = E_;
     F = F_;
     goto loc_f54;
    }
   }
  goto end;
 }
 loc_f54:
 {
   if (nondet_bool()) {
    if (1 >= 0) {
     goto loc_f54;
    }
   }
  goto end;
 }
 loc_f56:
 {
   if (nondet_bool()) {
    if (1 >= 0) {
     goto loc_f59;
    }
   }
  goto end;
 }
 loc_f59:
 end: return 0;
}