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

 loc_f0:
 {
   if (nondet_bool()) {
    int F1_ = nondet();
    int E1_ = nondet();
    int D1_ = nondet();
    int C1_ = nondet();
    int B1_ = nondet();
    int A1_ = nondet();
    int Z_ = nondet();
    int Y_ = nondet();
    int E_ = nondet();
    int L_ = 1;
    if (0 >= B1_) {
     E = E_;
     L = L_;
     Y = Y_;
     Z = Z_;
     A1 = A1_;
     B1 = B1_;
     C1 = C1_;
     D1 = D1_;
     E1 = E1_;
     F1 = F1_;
     goto loc_f94;
    }
   }
   if (nondet_bool()) {
    int G1_ = nondet();
    int F1_ = nondet();
    int E1_ = nondet();
    int D1_ = nondet();
    int C1_ = nondet();
    int B1_ = nondet();
    int A1_ = nondet();
    int Y_ = nondet();
    int L_ = nondet();
    int E_ = nondet();
    int B_ = nondet();
    int Z_ = 5;
    if (4 >= G1_ && B1_ >= 1) {
     B = B_;
     E = E_;
     L = L_;
     Y = Y_;
     Z = Z_;
     A1 = A1_;
     B1 = B1_;
     C1 = C1_;
     D1 = D1_;
     E1 = E1_;
     F1 = F1_;
     G1 = G1_;
     goto loc_f37;
    }
   }
   if (nondet_bool()) {
    int G1_ = nondet();
    int F1_ = nondet();
    int E1_ = nondet();
    int D1_ = nondet();
    int C1_ = nondet();
    int B1_ = nondet();
    int A1_ = nondet();
    int Z_ = nondet();
    int Y_ = nondet();
    int L_ = nondet();
    int E_ = nondet();
    int B_ = nondet();
    if (G1_ >= 5 && 20 >= G1_ && B1_ >= 1) {
     B = B_;
     E = E_;
     L = L_;
     Y = Y_;
     Z = Z_;
     A1 = A1_;
     B1 = B1_;
     C1 = C1_;
     D1 = D1_;
     E1 = E1_;
     F1 = F1_;
     G1 = G1_;
     goto loc_f37;
    }
   }
   if (nondet_bool()) {
    int G1_ = nondet();
    int F1_ = nondet();
    int E1_ = nondet();
    int D1_ = nondet();
    int C1_ = nondet();
    int B1_ = nondet();
    int A1_ = nondet();
    int Y_ = nondet();
    int L_ = nondet();
    int E_ = nondet();
    int B_ = nondet();
    int Z_ = 20;
    if (G1_ >= 21 && B1_ >= 1) {
     B = B_;
     E = E_;
     L = L_;
     Y = Y_;
     Z = Z_;
     A1 = A1_;
     B1 = B1_;
     C1 = C1_;
     D1 = D1_;
     E1 = E1_;
     F1 = F1_;
     G1 = G1_;
     goto loc_f37;
    }
   }
  goto end;
 }
 loc_f37:
 {
   if (nondet_bool()) {
    int D_ = nondet();
    int C_ = B;
    if (0 >= 1 + B) {
     C = C_;
     D = D_;
     goto loc_f41;
    }
   }
   if (nondet_bool()) {
    int D_ = nondet();
    int C_ = B;
    if (B >= 1) {
     C = C_;
     D = D_;
     goto loc_f41;
    }
   }
   if (nondet_bool()) {
    int L_ = 1;
    int C_ = 0;
    int B_ = 0;
    if (B == 0) {
     B = B_;
     C = C_;
     L = L_;
     goto loc_f94;
    }
   }
  goto end;
 }
 loc_f41:
 {
   if (nondet_bool()) {
    int M_ = 0;
    int L_ = 1;
    int D_ = 0;
    if (D == 0) {
     D = D_;
     L = L_;
     M = M_;
     goto loc_f94;
    }
   }
   if (nondet_bool()) {
    int X_ = nondet();
    int F_ = nondet();
    int E_ = nondet();
    int M_ = D;
    if (0 >= 1 + D) {
     E = E_;
     F = F_;
     M = M_;
     X = X_;
     goto loc_f48;
    }
   }
   if (nondet_bool()) {
    int X_ = nondet();
    int F_ = nondet();
    int E_ = nondet();
    int M_ = D;
    if (D >= 1) {
     E = E_;
     F = F_;
     M = M_;
     X = X_;
     goto loc_f48;
    }
   }
  goto end;
 }
 loc_f48:
 {
   if (nondet_bool()) {
    int U_ = 0;
    int T_ = 0;
    int S_ = F;
    int E_ = -1 + E;
    if (F >= 0) {
     E = E_;
     S = S_;
     T = T_;
     U = U_;
     goto loc_f89;
    }
   }
   if (nondet_bool()) {
    int U_ = 0;
    int T_ = 0;
    int S_ = F;
    int E_ = -1 + E;
    if (0 >= 2 + F) {
     E = E_;
     S = S_;
     T = T_;
     U = U_;
     goto loc_f89;
    }
   }
   if (nondet_bool()) {
    int U_ = nondet();
    int T_ = nondet();
    int S_ = F;
    int L_ = 1;
    if (0 >= 1 + U_) {
     L = L_;
     S = S_;
     T = T_;
     U = U_;
     goto loc_f94;
    }
   }
   if (nondet_bool()) {
    int U_ = nondet();
    int T_ = nondet();
    int S_ = F;
    int L_ = 1;
    if (U_ >= 1) {
     L = L_;
     S = S_;
     T = T_;
     U = U_;
     goto loc_f94;
    }
   }
   if (nondet_bool()) {
    int W_ = nondet();
    int V_ = nondet();
    int G_ = nondet();
    int U_ = 0;
    int T_ = 0;
    int S_ = -1;
    int F_ = -1;
    if (1 + F == 0 && 0 >= 1 + W_) {
     F = F_;
     G = G_;
     S = S_;
     T = T_;
     U = U_;
     V = V_;
     W = W_;
     goto loc_f61;
    }
   }
   if (nondet_bool()) {
    int W_ = nondet();
    int V_ = nondet();
    int G_ = nondet();
    int U_ = 0;
    int T_ = 0;
    int S_ = -1;
    int F_ = -1;
    if (1 + F == 0 && W_ >= 1) {
     F = F_;
     G = G_;
     S = S_;
     T = T_;
     U = U_;
     V = V_;
     W = W_;
     goto loc_f61;
    }
   }
   if (nondet_bool()) {
    int W_ = 0;
    int V_ = 0;
    int U_ = 0;
    int T_ = 0;
    int S_ = -1;
    int F_ = -1;
    int E_ = -1 + E;
    if (1 + F == 0) {
     E = E_;
     F = F_;
     S = S_;
     T = T_;
     U = U_;
     V = V_;
     W = W_;
     goto loc_f89;
    }
   }
  goto end;
 }
 loc_f61:
 {
   if (nondet_bool()) {
    int J_ = nondet();
    int I_ = 0;
    int H_ = G;
    if (0 >= 1 + G) {
     H = H_;
     I = I_;
     J = J_;
     goto loc_f66;
    }
   }
   if (nondet_bool()) {
    int J_ = nondet();
    int I_ = 0;
    int H_ = G;
    if (G >= 1) {
     H = H_;
     I = I_;
     J = J_;
     goto loc_f66;
    }
   }
   if (nondet_bool()) {
    int H_ = 0;
    int G_ = 0;
    int E_ = -1 + E;
    if (G == 0) {
     E = E_;
     G = G_;
     H = H_;
     goto loc_f89;
    }
   }
  goto end;
 }
 loc_f66:
 {
   if (nondet_bool()) {
    int P_ = nondet();
    int O_ = nondet();
    int N_ = J;
    if (0 >= 1 + P_) {
     N = N_;
     O = O_;
     P = P_;
     goto loc_f84;
    }
   }
   if (nondet_bool()) {
    int P_ = nondet();
    int O_ = nondet();
    int N_ = J;
    if (P_ >= 1) {
     N = N_;
     O = O_;
     P = P_;
     goto loc_f84;
    }
   }
   if (nondet_bool()) {
    int R_ = 0;
    int Q_ = 0;
    int P_ = 0;
    int O_ = 0;
    int N_ = J;
    if (1 >= 0) {
     N = N_;
     O = O_;
     P = P_;
     Q = Q_;
     R = R_;
     goto loc_f80;
    }
   }
   if (nondet_bool()) {
    int R_ = nondet();
    int Q_ = nondet();
    int P_ = 0;
    int O_ = 0;
    int N_ = J;
    if (0 >= 1 + R_) {
     N = N_;
     O = O_;
     P = P_;
     Q = Q_;
     R = R_;
     goto loc_f77;
    }
   }
   if (nondet_bool()) {
    int R_ = nondet();
    int Q_ = nondet();
    int P_ = 0;
    int O_ = 0;
    int N_ = J;
    if (R_ >= 1) {
     N = N_;
     O = O_;
     P = P_;
     Q = Q_;
     R = R_;
     goto loc_f77;
    }
   }
  goto end;
 }
 loc_f77:
 {
   if (nondet_bool()) {
    if (0 >= 1 + K) {
     goto loc_f78;
    }
   }
   if (nondet_bool()) {
    if (K >= 1) {
     goto loc_f78;
    }
   }
   if (nondet_bool()) {
    int K_ = 0;
    if (K == 0) {
     K = K_;
     goto loc_f80;
    }
   }
  goto end;
 }
 loc_f78:
 {
   if (nondet_bool()) {
    int A_ = 0;
    if (A == 0) {
     A = A_;
     goto loc_f80;
    }
   }
   if (nondet_bool()) {
    int I_ = 1;
    if (0 >= 1 + A) {
     I = I_;
     goto loc_f80;
    }
   }
   if (nondet_bool()) {
    int I_ = 1;
    if (A >= 1) {
     I = I_;
     goto loc_f80;
    }
   }
  goto end;
 }
 loc_f80:
 {
   if (nondet_bool()) {
    if (0 >= 1 + I) {
     goto loc_f84;
    }
   }
   if (nondet_bool()) {
    if (I >= 1) {
     goto loc_f84;
    }
   }
   if (nondet_bool()) {
    int I_ = 0;
    if (I == 0) {
     I = I_;
     goto loc_f84;
    }
   }
  goto end;
 }
 loc_f84:
 {
   if (nondet_bool()) {
    int I_ = 0;
    int E_ = -1 + E;
    if (I == 0) {
     E = E_;
     I = I_;
     goto loc_f89;
    }
   }
   if (nondet_bool()) {
    int E_ = -1 + E;
    if (0 >= 1 + I) {
     E = E_;
     goto loc_f89;
    }
   }
   if (nondet_bool()) {
    int E_ = -1 + E;
    if (I >= 1) {
     E = E_;
     goto loc_f89;
    }
   }
  goto end;
 }
 loc_f89:
 {
   if (nondet_bool()) {
    int F_ = nondet();
    if (E >= 1) {
     F = F_;
     goto loc_f48;
    }
   }
   if (nondet_bool()) {
    int L_ = 1;
    if (0 >= E) {
     L = L_;
     goto loc_f94;
    }
   }
  goto end;
 }
 loc_f94:
 {
   if (nondet_bool()) {
    if (1 >= 0) {
     goto loc_f94;
    }
   }
  goto end;
 }
 loc_f96:
 {
   if (nondet_bool()) {
    if (1 >= 0) {
     goto loc_f98;
    }
   }
  goto end;
 }
 loc_f98:
 end: return 0;
}