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, int H1, int I1, int J1, int K1, int L1, int M1, int N1, int O1, int P1, int Q1, int R1, int S1, int T1, int U1, int V1, int W1, int X1, int Y1, int Z1, int A2, int B2, int C2, int D2, int E2, int F2) {
 goto loc_f0;

 loc_f0:
 {
   if (nondet_bool()) {
    int C2_ = nondet();
    int A2_ = nondet();
    int Z1_ = nondet();
    int B_ = nondet();
    int B2_ = 0;
    int Y1_ = 0;
    int X1_ = 0;
    int R_ = 0;
    int Q_ = 0;
    int O_ = 0;
    int N_ = 0;
    int K_ = 0;
    if (0 >= A2_) {
     B = B_;
     K = K_;
     N = N_;
     O = O_;
     Q = Q_;
     R = R_;
     X1 = X1_;
     Y1 = Y1_;
     Z1 = Z1_;
     A2 = A2_;
     B2 = B2_;
     C2 = C2_;
     goto loc_f34;
    }
   }
   if (nondet_bool()) {
    int E2_ = nondet();
    int C2_ = nondet();
    int A2_ = nondet();
    int Z1_ = nondet();
    int B_ = nondet();
    int F2_ = 0;
    int D2_ = 1;
    int B2_ = 0;
    int Y1_ = 0;
    int X1_ = 0;
    int R_ = 0;
    int Q_ = 0;
    int O_ = 0;
    int N_ = 0;
    int K_ = 0;
    if (A2_ >= 1) {
     B = B_;
     K = K_;
     N = N_;
     O = O_;
     Q = Q_;
     R = R_;
     X1 = X1_;
     Y1 = Y1_;
     Z1 = Z1_;
     A2 = A2_;
     B2 = B2_;
     C2 = C2_;
     D2 = D2_;
     E2 = E2_;
     F2 = F2_;
     goto loc_f34;
    }
   }
  goto end;
 }
 loc_f100:
 {
   if (nondet_bool()) {
    int N1_ = nondet();
    int R_ = 0;
    int O_ = 0;
    if (0 >= M1) {
     O = O_;
     R = R_;
     N1 = N1_;
     goto loc_f130;
    }
   }
   if (nondet_bool()) {
    int R1_ = nondet();
    int Q1_ = nondet();
    int P1_ = nondet();
    int O1_ = nondet();
    int M1_ = -1 + M1;
    int R_ = 0;
    int O_ = 0;
    if (M1 >= 1) {
     O = O_;
     R = R_;
     M1 = M1_;
     O1 = O1_;
     P1 = P1_;
     Q1 = Q1_;
     R1 = R1_;
     goto loc_f100;
    }
   }
  goto end;
 }
 loc_f130:
 {
   if (nondet_bool()) {
    int V_ = nondet();
    int U_ = nondet();
    int T_ = nondet();
    int S_ = nondet();
    int J_ = nondet();
    int R_ = 0;
    int O_ = 0;
    if (0 >= T_) {
     J = J_;
     O = O_;
     R = R_;
     S = S_;
     T = T_;
     U = U_;
     V = V_;
     goto loc_f190;
    }
   }
   if (nondet_bool()) {
    int I1_ = nondet();
    int H1_ = nondet();
    int S_ = nondet();
    int T_ = -1 + S_;
    int R_ = 0;
    int O_ = 0;
    if (0 >= H1_ && S_ >= 1) {
     O = O_;
     R = R_;
     S = S_;
     T = T_;
     H1 = H1_;
     I1 = I1_;
     goto loc_f130;
    }
   }
   if (nondet_bool()) {
    int I1_ = nondet();
    int H1_ = nondet();
    int X_ = nondet();
    int S_ = nondet();
    int L1_ = 0;
    int K1_ = 0;
    int J1_ = 1;
    int B1_ = 0;
    int T_ = -1 + S_;
    int R_ = 0;
    int O_ = 0;
    if (H1_ >= 1 && S_ >= 1) {
     O = O_;
     R = R_;
     S = S_;
     T = T_;
     X = X_;
     B1 = B1_;
     H1 = H1_;
     I1 = I1_;
     J1 = J1_;
     K1 = K1_;
     L1 = L1_;
     goto loc_f130;
    }
   }
  goto end;
 }
 loc_f155:
 {
   if (nondet_bool()) {
    int F1_ = B1;
    int E1_ = W;
    int D1_ = 0;
    int C1_ = W;
    int A1_ = B1;
    int Z_ = 0;
    int Y_ = W;
    int X_ = W;
    int R_ = 0;
    int N_ = 0;
    if (W >= 1) {
     N = N_;
     R = R_;
     X = X_;
     Y = Y_;
     Z = Z_;
     A1 = A1_;
     C1 = C1_;
     D1 = D1_;
     E1 = E1_;
     F1 = F1_;
     goto loc_f130;
    }
   }
   if (nondet_bool()) {
    int G1_ = B1;
    int X_ = W;
    int R_ = 0;
    if (0 >= W) {
     R = R_;
     X = X_;
     G1 = G1_;
     goto loc_f130;
    }
   }
  goto end;
 }
 loc_f190:
 {
   if (nondet_bool()) {
    int M_ = 1;
    int L_ = 2;
    int K_ = 1;
    int J_ = -1 + J;
    if (J >= 1) {
     J = J_;
     K = K_;
     L = L_;
     M = M_;
     goto loc_f190;
    }
   }
   if (nondet_bool()) {
    int P_ = nondet();
    int O_ = 0;
    int N_ = 2;
    if (N == 2 && 0 >= J) {
     N = N_;
     O = O_;
     P = P_;
     goto loc_f209;
    }
   }
   if (nondet_bool()) {
    int P_ = nondet();
    int Q_ = 1;
    int O_ = 0;
    if (0 >= J && 1 >= N) {
     O = O_;
     P = P_;
     Q = Q_;
     goto loc_f209;
    }
   }
   if (nondet_bool()) {
    int P_ = nondet();
    int Q_ = 1;
    int O_ = 0;
    if (0 >= J && N >= 3) {
     O = O_;
     P = P_;
     Q = Q_;
     goto loc_f209;
    }
   }
  goto end;
 }
 loc_f209:
 {
   if (nondet_bool()) {
    if (1 >= 0) {
     goto loc_f209;
    }
   }
  goto end;
 }
 loc_f211:
 {
   if (nondet_bool()) {
    if (1 >= 0) {
     goto loc_f214;
    }
   }
  goto end;
 }
 loc_f34:
 {
   if (nondet_bool()) {
    int C_ = nondet();
    int B_ = -1 + B;
    if (0 >= C_ && B >= 1) {
     B = B_;
     C = C_;
     goto loc_f34;
    }
   }
   if (nondet_bool()) {
    int E_ = nondet();
    int D_ = nondet();
    int C_ = nondet();
    int B_ = -1 + B;
    if (C_ >= 1 && B >= 1 && 0 >= D_) {
     B = B_;
     C = C_;
     D = D_;
     E = E_;
     goto loc_f44;
    }
   }
   if (nondet_bool()) {
    int E_ = nondet();
    int D_ = nondet();
    int C_ = nondet();
    int B_ = -1 + B;
    if (C_ >= 1 && B >= 1 && D_ >= 1) {
     B = B_;
     C = C_;
     D = D_;
     E = E_;
     goto loc_f44;
    }
   }
   if (nondet_bool()) {
    int W1_ = nondet();
    int V1_ = nondet();
    int G_ = nondet();
    int R_ = 0;
    int O_ = 0;
    if (0 >= B) {
     G = G_;
     O = O_;
     R = R_;
     V1 = V1_;
     W1 = W1_;
     goto loc_f65;
    }
   }
  goto end;
 }
 loc_f44:
 {
   if (nondet_bool()) {
    int U1_ = C;
    if (0 >= E) {
     U1 = U1_;
     goto loc_f34;
    }
   }
   if (nondet_bool()) {
    int U1_ = C;
    if (E >= 1) {
     U1 = U1_;
     goto loc_f34;
    }
   }
  goto end;
 }
 loc_f65:
 {
   if (nondet_bool()) {
    int I_ = nondet();
    int H_ = nondet();
    int F_ = nondet();
    int G_ = -1 + G;
    if (0 >= H_ && G >= 1) {
     F = F_;
     G = G_;
     H = H_;
     I = I_;
     goto loc_f75;
    }
   }
   if (nondet_bool()) {
    int I_ = nondet();
    int H_ = nondet();
    int F_ = nondet();
    int G_ = -1 + G;
    if (H_ >= 1 && G >= 1) {
     F = F_;
     G = G_;
     H = H_;
     I = I_;
     goto loc_f75;
    }
   }
   if (nondet_bool()) {
    int T1_ = nondet();
    int S1_ = nondet();
    int M1_ = nondet();
    int R_ = 0;
    int O_ = 0;
    if (0 >= G) {
     O = O_;
     R = R_;
     M1 = M1_;
     S1 = S1_;
     T1 = T1_;
     goto loc_f100;
    }
   }
  goto end;
 }
 loc_f75:
 {
   if (nondet_bool()) {
    int A_ = nondet();
    if (0 >= I) {
     A = A_;
     goto loc_f79;
    }
   }
   if (nondet_bool()) {
    int A_ = nondet();
    if (I >= 1) {
     A = A_;
     goto loc_f79;
    }
   }
  goto end;
 }
 loc_f79:
 {
   if (nondet_bool()) {
    if (0 >= A) {
     goto loc_f81;
    }
   }
   if (nondet_bool()) {
    if (A >= 1) {
     goto loc_f81;
    }
   }
  goto end;
 }
 loc_f81:
 {
   if (nondet_bool()) {
    if (0 >= F) {
     goto loc_f65;
    }
   }
   if (nondet_bool()) {
    if (F >= 1) {
     goto loc_f65;
    }
   }
  goto end;
 }
 loc_f214:
 end: return 0;
}