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

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