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 V_ = nondet();
    int C_ = 1;
    if (0 >= D1_) {
     C = C_;
     V = V_;
     A1 = A1_;
     B1 = B1_;
     C1 = C1_;
     D1 = D1_;
     E1 = E1_;
     F1 = F1_;
     goto loc_f96;
    }
   }
   if (nondet_bool()) {
    int G1_ = nondet();
    int F1_ = nondet();
    int E1_ = nondet();
    int D1_ = nondet();
    int C1_ = nondet();
    int A1_ = nondet();
    int V_ = nondet();
    int C_ = nondet();
    int B_ = nondet();
    int B1_ = 5;
    if (4 >= G1_ && D1_ >= 1) {
     B = B_;
     C = C_;
     V = V_;
     A1 = A1_;
     B1 = B1_;
     C1 = C1_;
     D1 = D1_;
     E1 = E1_;
     F1 = F1_;
     G1 = G1_;
     goto loc_f34;
    }
   }
   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 V_ = nondet();
    int C_ = nondet();
    int B_ = nondet();
    if (G1_ >= 5 && 20 >= G1_ && D1_ >= 1) {
     B = B_;
     C = C_;
     V = V_;
     A1 = A1_;
     B1 = B1_;
     C1 = C1_;
     D1 = D1_;
     E1 = E1_;
     F1 = F1_;
     G1 = G1_;
     goto loc_f34;
    }
   }
   if (nondet_bool()) {
    int G1_ = nondet();
    int F1_ = nondet();
    int E1_ = nondet();
    int D1_ = nondet();
    int C1_ = nondet();
    int A1_ = nondet();
    int V_ = nondet();
    int C_ = nondet();
    int B_ = nondet();
    int B1_ = 20;
    if (G1_ >= 21 && D1_ >= 1) {
     B = B_;
     C = C_;
     V = V_;
     A1 = A1_;
     B1 = B1_;
     C1 = C1_;
     D1 = D1_;
     E1 = E1_;
     F1 = F1_;
     G1 = G1_;
     goto loc_f34;
    }
   }
  goto end;
 }
 loc_f34:
 {
   if (nondet_bool()) {
    int E_ = nondet();
    int D_ = B;
    int C_ = 1;
    if (0 >= 1 + B) {
     C = C_;
     D = D_;
     E = E_;
     goto loc_f39;
    }
   }
   if (nondet_bool()) {
    int E_ = nondet();
    int D_ = B;
    int C_ = 1;
    if (B >= 1) {
     C = C_;
     D = D_;
     E = E_;
     goto loc_f39;
    }
   }
   if (nondet_bool()) {
    int D_ = 0;
    int C_ = 1;
    int B_ = 0;
    if (B == 0) {
     B = B_;
     C = C_;
     D = D_;
     goto loc_f96;
    }
   }
  goto end;
 }
 loc_f39:
 {
   if (nondet_bool()) {
    int H_ = nondet();
    int G_ = 10;
    int F_ = E;
    if (0 >= 1 + E) {
     F = F_;
     G = G_;
     H = H_;
     goto loc_f44;
    }
   }
   if (nondet_bool()) {
    int H_ = nondet();
    int G_ = 10;
    int F_ = E;
    if (E >= 1) {
     F = F_;
     G = G_;
     H = H_;
     goto loc_f44;
    }
   }
   if (nondet_bool()) {
    int F_ = 0;
    int E_ = 0;
    int C_ = 1;
    if (E == 0) {
     C = C_;
     E = E_;
     F = F_;
     goto loc_f96;
    }
   }
  goto end;
 }
 loc_f44:
 {
   if (nondet_bool()) {
    int X_ = 0;
    int W_ = 0;
    int N_ = H;
    if (0 >= 1 + V) {
     N = N_;
     W = W_;
     X = X_;
     goto loc_f56;
    }
   }
   if (nondet_bool()) {
    int X_ = 0;
    int W_ = 0;
    int N_ = H;
    if (V >= 1) {
     N = N_;
     W = W_;
     X = X_;
     goto loc_f56;
    }
   }
   if (nondet_bool()) {
    int H_ = nondet();
    int Z_ = 0;
    int Y_ = 0;
    int X_ = 0;
    int W_ = 0;
    int V_ = 0;
    int N_ = H;
    if (V == 0) {
     H = H_;
     N = N_;
     V = V_;
     W = W_;
     X = X_;
     Y = Y_;
     Z = Z_;
     goto loc_f44;
    }
   }
   if (nondet_bool()) {
    int Z_ = nondet();
    int Y_ = nondet();
    int H_ = nondet();
    int X_ = 0;
    int W_ = 0;
    int V_ = 0;
    int N_ = H;
    int C_ = 0;
    if (V == 0 && 0 >= 1 + Z_) {
     C = C_;
     H = H_;
     N = N_;
     V = V_;
     W = W_;
     X = X_;
     Y = Y_;
     Z = Z_;
     goto loc_f44;
    }
   }
   if (nondet_bool()) {
    int Z_ = nondet();
    int Y_ = nondet();
    int H_ = nondet();
    int X_ = 0;
    int W_ = 0;
    int V_ = 0;
    int N_ = H;
    int C_ = 0;
    if (V == 0 && Z_ >= 1) {
     C = C_;
     H = H_;
     N = N_;
     V = V_;
     W = W_;
     X = X_;
     Y = Y_;
     Z = Z_;
     goto loc_f44;
    }
   }
   if (nondet_bool()) {
    int X_ = nondet();
    int W_ = nondet();
    int N_ = H;
    int C_ = 1;
    if (0 >= 1 + X_) {
     C = C_;
     N = N_;
     W = W_;
     X = X_;
     goto loc_f96;
    }
   }
   if (nondet_bool()) {
    int X_ = nondet();
    int W_ = nondet();
    int N_ = H;
    int C_ = 1;
    if (X_ >= 1) {
     C = C_;
     N = N_;
     W = W_;
     X = X_;
     goto loc_f96;
    }
   }
  goto end;
 }
 loc_f56:
 {
   if (nondet_bool()) {
    int H_ = nondet();
    if (N >= 0) {
     H = H_;
     goto loc_f44;
    }
   }
   if (nondet_bool()) {
    int H_ = nondet();
    if (0 >= 2 + N) {
     H = H_;
     goto loc_f44;
    }
   }
   if (nondet_bool()) {
    int U_ = nondet();
    int T_ = nondet();
    int I_ = nondet();
    int N_ = -1;
    if (1 + N == 0 && 0 >= 1 + U_) {
     I = I_;
     N = N_;
     T = T_;
     U = U_;
     goto loc_f64;
    }
   }
   if (nondet_bool()) {
    int U_ = nondet();
    int T_ = nondet();
    int I_ = nondet();
    int N_ = -1;
    if (1 + N == 0 && U_ >= 1) {
     I = I_;
     N = N_;
     T = T_;
     U = U_;
     goto loc_f64;
    }
   }
   if (nondet_bool()) {
    int H_ = nondet();
    int U_ = 0;
    int T_ = 0;
    int N_ = -1;
    if (1 + N == 0) {
     H = H_;
     N = N_;
     T = T_;
     U = U_;
     goto loc_f44;
    }
   }
  goto end;
 }
 loc_f64:
 {
   if (nondet_bool()) {
    int L_ = nondet();
    int K_ = 0;
    int J_ = I;
    if (0 >= 1 + I) {
     J = J_;
     K = K_;
     L = L_;
     goto loc_f69;
    }
   }
   if (nondet_bool()) {
    int L_ = nondet();
    int K_ = 0;
    int J_ = I;
    if (I >= 1) {
     J = J_;
     K = K_;
     L = L_;
     goto loc_f69;
    }
   }
   if (nondet_bool()) {
    int H_ = nondet();
    int J_ = 0;
    int I_ = 0;
    if (I == 0) {
     H = H_;
     I = I_;
     J = J_;
     goto loc_f44;
    }
   }
  goto end;
 }
 loc_f69:
 {
   if (nondet_bool()) {
    int Q_ = nondet();
    int P_ = nondet();
    int O_ = L;
    if (0 >= 1 + Q_) {
     O = O_;
     P = P_;
     Q = Q_;
     goto loc_f87;
    }
   }
   if (nondet_bool()) {
    int Q_ = nondet();
    int P_ = nondet();
    int O_ = L;
    if (Q_ >= 1) {
     O = O_;
     P = P_;
     Q = Q_;
     goto loc_f87;
    }
   }
   if (nondet_bool()) {
    int S_ = 0;
    int R_ = 0;
    int Q_ = 0;
    int P_ = 0;
    int O_ = L;
    if (1 >= 0) {
     O = O_;
     P = P_;
     Q = Q_;
     R = R_;
     S = S_;
     goto loc_f83;
    }
   }
   if (nondet_bool()) {
    int S_ = nondet();
    int R_ = nondet();
    int Q_ = 0;
    int P_ = 0;
    int O_ = L;
    if (0 >= 1 + S_) {
     O = O_;
     P = P_;
     Q = Q_;
     R = R_;
     S = S_;
     goto loc_f80;
    }
   }
   if (nondet_bool()) {
    int S_ = nondet();
    int R_ = nondet();
    int Q_ = 0;
    int P_ = 0;
    int O_ = L;
    if (S_ >= 1) {
     O = O_;
     P = P_;
     Q = Q_;
     R = R_;
     S = S_;
     goto loc_f80;
    }
   }
  goto end;
 }
 loc_f80:
 {
   if (nondet_bool()) {
    if (0 >= 1 + M) {
     goto loc_f81;
    }
   }
   if (nondet_bool()) {
    if (M >= 1) {
     goto loc_f81;
    }
   }
   if (nondet_bool()) {
    int M_ = 0;
    if (M == 0) {
     M = M_;
     goto loc_f83;
    }
   }
  goto end;
 }
 loc_f81:
 {
   if (nondet_bool()) {
    int A_ = 0;
    if (A == 0) {
     A = A_;
     goto loc_f83;
    }
   }
   if (nondet_bool()) {
    int K_ = 1;
    if (0 >= 1 + A) {
     K = K_;
     goto loc_f83;
    }
   }
   if (nondet_bool()) {
    int K_ = 1;
    if (A >= 1) {
     K = K_;
     goto loc_f83;
    }
   }
  goto end;
 }
 loc_f83:
 {
   if (nondet_bool()) {
    if (0 >= 1 + K) {
     goto loc_f87;
    }
   }
   if (nondet_bool()) {
    if (K >= 1) {
     goto loc_f87;
    }
   }
   if (nondet_bool()) {
    int K_ = 0;
    if (K == 0) {
     K = K_;
     goto loc_f87;
    }
   }
  goto end;
 }
 loc_f87:
 {
   if (nondet_bool()) {
    int H_ = nondet();
    int K_ = 0;
    if (K == 0) {
     H = H_;
     K = K_;
     goto loc_f44;
    }
   }
   if (nondet_bool()) {
    int H_ = nondet();
    if (0 >= 1 + K) {
     H = H_;
     goto loc_f44;
    }
   }
   if (nondet_bool()) {
    int H_ = nondet();
    if (K >= 1) {
     H = H_;
     goto loc_f44;
    }
   }
  goto end;
 }
 loc_f96:
 {
   if (nondet_bool()) {
    if (1 >= 0) {
     goto loc_f96;
    }
   }
  goto end;
 }
 loc_f98:
 {
   if (nondet_bool()) {
    if (1 >= 0) {
     goto loc_f100;
    }
   }
  goto end;
 }
 loc_f100:
 end: return 0;
}