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, int G2, int H2, int I2, int J2, int K2, int L2) {
 goto loc_f0;

 loc_f0:
 {
   if (nondet_bool()) {
    int I2_ = nondet();
    int G2_ = nondet();
    int B_ = nondet();
    int H2_ = 0;
    int Z_ = 0;
    int V_ = 0;
    int S_ = 0;
    if (0 >= G2_) {
     B = B_;
     S = S_;
     V = V_;
     Z = Z_;
     G2 = G2_;
     H2 = H2_;
     I2 = I2_;
     goto loc_f31;
    }
   }
   if (nondet_bool()) {
    int K2_ = nondet();
    int J2_ = nondet();
    int I2_ = nondet();
    int G2_ = nondet();
    int B_ = nondet();
    int L2_ = 0;
    int H2_ = 0;
    int Z_ = 0;
    int V_ = 0;
    int S_ = 0;
    if (G2_ >= 1) {
     B = B_;
     S = S_;
     V = V_;
     Z = Z_;
     G2 = G2_;
     H2 = H2_;
     I2 = I2_;
     J2 = J2_;
     K2 = K2_;
     L2 = L2_;
     goto loc_f31;
    }
   }
  goto end;
 }
 loc_f104:
 {
   if (nondet_bool()) {
    int X1_ = nondet();
    int W1_ = nondet();
    int V1_ = nondet();
    int U1_ = nondet();
    int U_ = nondet();
    int V_ = 0;
    int S_ = 0;
    if (0 >= V1_) {
     S = S_;
     U = U_;
     V = V_;
     U1 = U1_;
     V1 = V1_;
     W1 = W1_;
     X1 = X1_;
     goto loc_f144;
    }
   }
   if (nondet_bool()) {
    int B2_ = nondet();
    int A2_ = nondet();
    int Z1_ = nondet();
    int Y1_ = nondet();
    int U1_ = nondet();
    int V1_ = -1 + U1_;
    int V_ = 0;
    int S_ = 0;
    if (U1_ >= 1) {
     S = S_;
     V = V_;
     U1 = U1_;
     V1 = V1_;
     Y1 = Y1_;
     Z1 = Z1_;
     A2 = A2_;
     B2 = B2_;
     goto loc_f104;
    }
   }
  goto end;
 }
 loc_f144:
 {
   if (nondet_bool()) {
    int X_ = nondet();
    int W_ = nondet();
    int K_ = nondet();
    int V_ = 0;
    int S_ = 0;
    if (0 >= U) {
     K = K_;
     S = S_;
     V = V_;
     W = W_;
     X = X_;
     goto loc_f211;
    }
   }
   if (nondet_bool()) {
    int M1_ = nondet();
    int L1_ = nondet();
    int K1_ = nondet();
    int V_ = 0;
    int U_ = -1 + U;
    int S_ = 0;
    if (0 >= L1_ && U >= 1) {
     S = S_;
     U = U_;
     V = V_;
     K1 = K1_;
     L1 = L1_;
     M1 = M1_;
     goto loc_f144;
    }
   }
   if (nondet_bool()) {
    int O1_ = nondet();
    int N1_ = nondet();
    int M1_ = nondet();
    int L1_ = nondet();
    int K1_ = nondet();
    int A1_ = nondet();
    int R1_ = 0;
    int Q1_ = 0;
    int P1_ = 0;
    int E1_ = 0;
    int V_ = 0;
    int U_ = -1 + U;
    int S_ = 0;
    if (L1_ >= 1 && U >= 1) {
     S = S_;
     U = U_;
     V = V_;
     A1 = A1_;
     E1 = E1_;
     K1 = K1_;
     L1 = L1_;
     M1 = M1_;
     N1 = N1_;
     O1 = O1_;
     P1 = P1_;
     Q1 = Q1_;
     R1 = R1_;
     goto loc_f144;
    }
   }
   if (nondet_bool()) {
    int R1_ = nondet();
    int Q1_ = nondet();
    int O1_ = nondet();
    int N1_ = nondet();
    int M1_ = nondet();
    int L1_ = nondet();
    int K1_ = nondet();
    int E1_ = nondet();
    int A1_ = nondet();
    int T1_ = 0;
    int S1_ = 1;
    int P1_ = 0;
    int Y_ = 0;
    int U_ = -1 + U;
    int S_ = 0;
    if (L1_ >= 1 && U >= 1 && 0 >= 1 + R1_) {
     S = S_;
     U = U_;
     Y = Y_;
     A1 = A1_;
     E1 = E1_;
     K1 = K1_;
     L1 = L1_;
     M1 = M1_;
     N1 = N1_;
     O1 = O1_;
     P1 = P1_;
     Q1 = Q1_;
     R1 = R1_;
     S1 = S1_;
     T1 = T1_;
     goto loc_f172;
    }
   }
   if (nondet_bool()) {
    int R1_ = nondet();
    int Q1_ = nondet();
    int O1_ = nondet();
    int N1_ = nondet();
    int M1_ = nondet();
    int L1_ = nondet();
    int K1_ = nondet();
    int E1_ = nondet();
    int A1_ = nondet();
    int T1_ = 0;
    int S1_ = 1;
    int P1_ = 0;
    int Y_ = 0;
    int U_ = -1 + U;
    int S_ = 0;
    if (L1_ >= 1 && U >= 1 && R1_ >= 1) {
     S = S_;
     U = U_;
     Y = Y_;
     A1 = A1_;
     E1 = E1_;
     K1 = K1_;
     L1 = L1_;
     M1 = M1_;
     N1 = N1_;
     O1 = O1_;
     P1 = P1_;
     Q1 = Q1_;
     R1 = R1_;
     S1 = S1_;
     T1 = T1_;
     goto loc_f172;
    }
   }
  goto end;
 }
 loc_f172:
 {
   if (nondet_bool()) {
    int I1_ = E1;
    int H1_ = Y;
    int G1_ = 0;
    int F1_ = Y;
    int D1_ = E1;
    int C1_ = 0;
    int B1_ = Y;
    int A1_ = Y;
    int Z_ = 0;
    int V_ = 0;
    if (Y >= 1) {
     V = V_;
     Z = Z_;
     A1 = A1_;
     B1 = B1_;
     C1 = C1_;
     D1 = D1_;
     F1 = F1_;
     G1 = G1_;
     H1 = H1_;
     I1 = I1_;
     goto loc_f144;
    }
   }
   if (nondet_bool()) {
    int J1_ = E1;
    int A1_ = Y;
    int V_ = 0;
    if (0 >= Y) {
     V = V_;
     A1 = A1_;
     J1 = J1_;
     goto loc_f144;
    }
   }
  goto end;
 }
 loc_f211:
 {
   if (nondet_bool()) {
    int R_ = nondet();
    int N_ = nondet();
    int M_ = nondet();
    int Q_ = 2;
    int P_ = 0;
    int O_ = 0;
    int L_ = 0;
    if (0 >= N_ && K >= 1) {
     L = L_;
     M = M_;
     N = N_;
     O = O_;
     P = P_;
     Q = Q_;
     R = R_;
     goto loc_f211;
    }
   }
   if (nondet_bool()) {
    int R_ = nondet();
    int N_ = nondet();
    int M_ = nondet();
    int Q_ = 2;
    int P_ = 0;
    int O_ = 0;
    int L_ = 0;
    int K_ = -1 + K;
    if (N_ >= 1 && K >= 1) {
     K = K_;
     L = L_;
     M = M_;
     N = N_;
     O = O_;
     P = P_;
     Q = Q_;
     R = R_;
     goto loc_f211;
    }
   }
   if (nondet_bool()) {
    int T_ = nondet();
    int S_ = 0;
    if (0 >= K) {
     S = S_;
     T = T_;
     goto loc_f237;
    }
   }
  goto end;
 }
 loc_f237:
 {
   if (nondet_bool()) {
    if (1 >= 0) {
     goto loc_f237;
    }
   }
  goto end;
 }
 loc_f239:
 {
   if (nondet_bool()) {
    if (1 >= 0) {
     goto loc_f242;
    }
   }
  goto end;
 }
 loc_f31:
 {
   if (nondet_bool()) {
    int D_ = nondet();
    int C_ = nondet();
    int B_ = -1 + B;
    if (B >= 1 && 0 >= D_) {
     B = B_;
     C = C_;
     D = D_;
     goto loc_f31;
    }
   }
   if (nondet_bool()) {
    int F_ = nondet();
    int E_ = nondet();
    int D_ = nondet();
    int C_ = nondet();
    int B_ = -1 + B;
    if (0 >= E_ && D_ >= 1 && B >= 1) {
     B = B_;
     C = C_;
     D = D_;
     E = E_;
     F = F_;
     goto loc_f42;
    }
   }
   if (nondet_bool()) {
    int F_ = nondet();
    int E_ = nondet();
    int D_ = nondet();
    int C_ = nondet();
    int B_ = -1 + B;
    if (E_ >= 1 && D_ >= 1 && B >= 1) {
     B = B_;
     C = C_;
     D = D_;
     E = E_;
     F = F_;
     goto loc_f42;
    }
   }
   if (nondet_bool()) {
    int F2_ = nondet();
    int E2_ = nondet();
    int H_ = nondet();
    int V_ = 0;
    int S_ = 0;
    if (0 >= B) {
     H = H_;
     S = S_;
     V = V_;
     E2 = E2_;
     F2 = F2_;
     goto loc_f67;
    }
   }
  goto end;
 }
 loc_f42:
 {
   if (nondet_bool()) {
    int D2_ = D;
    if (0 >= F) {
     D2 = D2_;
     goto loc_f31;
    }
   }
   if (nondet_bool()) {
    int D2_ = D;
    if (F >= 1) {
     D2 = D2_;
     goto loc_f31;
    }
   }
  goto end;
 }
 loc_f67:
 {
   if (nondet_bool()) {
    int J_ = nondet();
    int I_ = nondet();
    int G_ = nondet();
    int H_ = -1 + H;
    if (0 >= I_ && H >= 1) {
     G = G_;
     H = H_;
     I = I_;
     J = J_;
     goto loc_f77;
    }
   }
   if (nondet_bool()) {
    int J_ = nondet();
    int I_ = nondet();
    int G_ = nondet();
    int H_ = -1 + H;
    if (I_ >= 1 && H >= 1) {
     G = G_;
     H = H_;
     I = I_;
     J = J_;
     goto loc_f77;
    }
   }
   if (nondet_bool()) {
    int C2_ = nondet();
    int V_ = 0;
    int S_ = 0;
    if (0 >= H) {
     S = S_;
     V = V_;
     C2 = C2_;
     goto loc_f104;
    }
   }
  goto end;
 }
 loc_f77:
 {
   if (nondet_bool()) {
    int A_ = nondet();
    if (0 >= J) {
     A = A_;
     goto loc_f81;
    }
   }
   if (nondet_bool()) {
    int A_ = nondet();
    if (J >= 1) {
     A = A_;
     goto loc_f81;
    }
   }
  goto end;
 }
 loc_f81:
 {
   if (nondet_bool()) {
    if (0 >= A) {
     goto loc_f83;
    }
   }
   if (nondet_bool()) {
    if (A >= 1) {
     goto loc_f83;
    }
   }
  goto end;
 }
 loc_f83:
 {
   if (nondet_bool()) {
    if (0 >= G) {
     goto loc_f67;
    }
   }
   if (nondet_bool()) {
    if (G >= 1) {
     goto loc_f67;
    }
   }
  goto end;
 }
 loc_f242:
 end: return 0;
}