[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[creduce-bugs] creduce 2.5.0: pass_clex::rm-tok-pattern-4 has encountered a bug: pass got stuck



Hi,

creduce 2.5.0 (18e04be) on x86_64 reports an error (contained in subject)
in pass_clex::rm-tok-pattern-4 w/ the attached input.

Thanks,
Arseny
#include <stdint.h>
uint16_t us_0;
uint8_t uc_1;
int16_t s_2;
int8_t c_3;
uint16_t us_4;
func_0() {
  int8_t c_5;
  if (s_2) {
    for (; c_5; us_0 -= uc_1 ? us_0 += us_4 : (s_2 -= us_4 ^= c_3)) {
      for (us_0 = 5; us_0; us_0++)
        if (s_2 %= uc_1 == (us_0 *= s_2 -= c_3 == (s_2 &= c_5)))
          lbl0FD8006Eif(c_5 += us_4-- != c_5 ?: (us_0 = c_5 >= s_2) < s_2);
    lblD73C925D:
      if (s_2 /= c_5 %= s_2 == uc_1)
        for (us_0 = 0; us_0;)
          for (uc_1 = 2; uc_1;
               (c_5 -= us_0 += 2)
                   ? us_4 %= s_2 ? uc_1 %= c_3 % (s_2 &= us_4) : 0
                   : (s_2 |= c_3 ^= 0 || (c_3 += c_5)) ^ (c_5 *= c_3 == 4))
            if (c_5 = s_2 %= s_2 &=
                s_2 ? s_2 = c_3 |= 1 : (us_0 /= s_2 - 3) != (us_0 = us_0) ^ c_3)
              if (us_4 |= s_2 ?: uc_1 && (us_0 |= c_3 *= 7 % s_2)
                                     ? (c_3 %= us_4) ? uc_1 += us_0 |= c_3 : 3
                                     : (s_2 %= c_5 % c_5) <= (c_3 /= 0) / us_4)
                for (; c_5; c_5++)
                  if (s_2 /= 0 == us_4 !=
                             c_5 -
                                 (us_0 += s_2 %= uc_1 | us_4 != us_0) /
                                     (s_2 %= s_2 |= us_4-- ?: us_4))
                    for (; us_0; us_0++)
                      ;
      if (c_3 += us_0 != us_0 <= (c_5 -= us_0)
                     ?: (us_0 &= us_0 /= us_4 ?: s_2)
                            ? us_0 / c_5 > c_5 <= 1 / uc_1
                                  ?: uc_1 == 0 == (s_2 -= c_3 |= uc_1) ?: us_0
                            : (c_3 |= us_4 | 3) <= s_2 % c_5 & c_5 & c_3 | us_4)
      lbl095F8032:
      for (; us_4; us_4++)
        for (; us_0;)
          if (s_2 += c_5 == s_2 != c_3 ^ (uc_1 = s_2 == uc_1))
            if (us_4 = uc_1 ? c_5 = us_4 : s_2 < us_4 |
                                               (s_2 -= us_0 *= uc_1 - s_2) |
                                               (s_2 /= us_4 = uc_1) <= uc_1)
              if (uc_1 %= c_3 &= c_3 != (c_5 %= us_4) ?: uc_1 & (uc_1 = uc_1))
                us_0 &= s_2 / c_5 < uc_1 < c_3 ^ c_5;
      for (; us_0; us_0++)
        if (c_3 /= uc_1 %= s_2 = uc_1 %=
            us_0 == (c_5 = us_0 = 5 < us_0) % (uc_1 ^= s_2 *= 7 / us_4) == c_5)
          us_4 %= uc_1 = us_0 & us_4 - c_5 ^ (us_0 ^= c_3);
    }
    for (uc_1 = 7; uc_1 <= 4; uc_1++ ? s_2 += c_5 *= uc_1 : c_5) {
      if (s_2 -= uc_1 += uc_1 /=
          c_3 ?: (s_2 &= c_3 /= s_2) ? uc_1 = c_3 * c_5 != (c_5 /= 9 >= uc_1)
                                     : c_3 ^ 0 == c_3 | (s_2 -= c_3))
        if (c_5 &= 2 * us_4 > (us_4 *= us_4)
                       ?: 2 % uc_1 > 0
                              ?: 2 <= us_0 ?: (us_0 /= c_3 &= us_0 ?: 0 < c_5))
          us_4 |= us_0 > (s_2 = s_2 ^ uc_1);
      if (us_0 ^= c_5 -= us_4 =
              us_4 | (uc_1 *= us_0) > s_2 <= s_2 | us_4 & 6 || 0)
        if (us_0 = c_5 ? c_3 | c_5 == (c_5 -= c_3)
                       : (c_3 *= us_4 &= c_5) == c_5 < uc_1 != (c_3 *= s_2))
          if (s_2 ^=
              (s_2 *= us_0 ?: 3)
                  ?: s_2 ?: s_2 != (c_3 -= us_4) ==
                                (c_3 %= us_4) % (c_5 *= c_5 ^=
                                                 c_3 != (us_0 /= c_5 += us_0)))
            goto lbl095F8032;
      if (us_4 +=
          (c_3 *= s_2 ^= us_4 = us_4 > c_5) !=
                  (s_2 ^= c_3 = uc_1 += s_2) <= s_2 + s_2 !=
                  (s_2 *= uc_1 > us_0)
              ?: c_3 || c_5
                     ?: (us_0 += c_5 /= us_4 += us_4 ^= s_2 &= s_2 ^= uc_1)
                            ?: c_5 < s_2 / (c_3 /= c_3 -= c_3 = c_3 += us_0))
        for (us_4 = 9; us_4; us_4++)
          for (s_2 = 7; s_2;
               s_2++ ? us_0 = c_3 ?: us_4 > us_0 ?: (s_2 ^= 1) != us_4
                     : s_2 && (c_5 = us_4 /= 9 % c_3))
            if (us_0 ^= uc_1 -= s_2 -=
                uc_1 ?: us_0 != uc_1 ?: (c_3 += 1) < 1 == s_2) {
              if (uc_1 |= c_3 -= uc_1 |= c_5 %=
                  0 || c_5 == (uc_1 += 6) > uc_1 ^ s_2)
                for (c_3 = 9; c_3;
                     c_3++ >= (s_2 ^= us_0 && us_0) + (uc_1 *= s_2)
                         ? c_3 ^= c_3 ? us_0 %= 2 ? us_0 -= 1 : uc_1 : s_2
                         : (c_3 -= s_2 ^= 3 == us_0))
                  for (us_0 = 7; us_0;
                       c_5 =
                           c_3 ? c_3 ? us_4 *= us_0 : us_0
                               : (us_4 *= c_3)
                                     ?: (uc_1 /= us_4 |= c_3 ?: 4)
                                            ? us_4 *= s_2 += uc_1 % us_4 != us_0
                                            : (uc_1 = uc_1 != c_3) >
                                                      (s_2 %= us_4 /=
                                                       us_4 <= uc_1 ?: us_0) ==
                                                  (c_3 -= 4 ^ us_0))
                    us_0 |= s_2 + us_4 <= (us_4 -= 0 != s_2) + us_4 &
                            (s_2 /= c_3 -= c_5 ?: c_5);
              if (us_4 |= uc_1 ^= 4 == uc_1)
                for (; uc_1; uc_1++)
                  if (uc_1 /= us_0 ? us_0 *= 2 / s_2
                                   : (s_2 *= uc_1 |= us_4 * 4 > c_3 ?: s_2) ==
                                         (s_2 += c_3))
                    for (us_4 = 9; us_4;)
                      if (c_5 *= 2 && s_2 ?: c_5 / c_3 ?: c_5 > 0 ^ c_3)
                        if (uc_1 += us_4 *= us_0 +=
                            us_4 ? c_5 &= us_4 + (s_2 %= c_3 |= us_4)
                                 : 0 == c_3 % us_4 == s_2 ^ (c_3 *= us_0))
                          if (us_0 -= c_5 ? us_4 /= c_5 > uc_1
                                          : (us_0 %= s_2)
                                                ? us_4 == (c_3 = us_4 * uc_1)
                                                      ?: uc_1 < s_2
                                                : s_2)
                          lblD8E3F0A3:
              if (uc_1 = us_0 ?: uc_1 ?: us_0)
                if (us_4 ^= c_3 && (us_4 ^= uc_1 -= c_5))
                  if (us_0 |= us_4 +=
                      s_2 ? s_2 | (s_2 -= 8) : (us_4 *= us_0 ^= c_3 = 3 > c_3) /
                                                   (uc_1 %= uc_1 <= us_0))
                    if (us_0 &= us_0 ^ c_5 ?: 4 <= s_2 / (uc_1 &= s_2 = c_3))
                      for (us_4 = 3; us_4; us_4++)
                        if (uc_1 %= us_4 &= c_5 += us_4 =
                                us_4 / (c_3 | 1) ?: uc_1 - 10 - (us_0 = c_5)
                                                        ?: us_4 <= s_2++)
                          us_4 %= us_0 > us_0 / 3;
              for (c_3 = 3; c_3;)
                if (us_0 ^=
                    0 > c_3 / (s_2 %= c_5 >= 4) >= (uc_1 |= c_5) ^ (us_0 ^= c_5)
                        ?: s_2)
                  goto lblD73C925D;
            }
      if (us_0 /= us_4 |= c_5 > 1 <= (us_4 ^= us_0)
                              ?: us_0 % c_5 * c_5 ^
                                     c_3 & uc_1 != (us_4 %= c_5) &
                                         us_4 == (c_5 += c_3) &
                                         (c_5 %= c_3 /= uc_1 ^= us_0 -= c_5))
        if (us_0 ^=
            uc_1 || (c_3 *= s_2 /= c_5)
                ? us_0 -= c_5
                : c_5 &us_0 ?: s_2 ? c_3 &= c_5 &= c_3 += s_2 /= c_3 &= 6
                                   : us_4 >= uc_1 | us_0
                                         ?: uc_1 + c_5 != (uc_1 /= c_5) !=
                                                uc_1 % (c_5 = s_2))
          if (c_3 &= us_0 ?: c_3 ? uc_1 : uc_1++)
            if (uc_1 %= s_2 ? us_4 ?: uc_1 : (us_4 -= us_0)
                                                 ? uc_1 += us_4
                                                 : c_3 & us_0 > 0 <= uc_1 &
                                                       (us_0 /= 2 && s_2 * s_2))
              for (; us_4; us_4++)
                ;
      us_0 %= 0 < us_0 < (c_3 = us_0 & (s_2 *= c_3 |= us_4));
      if (us_0 = (us_0 %= c_3) > (1 && (us_0 ? us_0 : c_3))
                     ? uc_1
                     : (uc_1 -= us_0 |= c_5)
                           ?: (s_2 &= s_2 < 0)
                                  ? uc_1 += c_3
                                  : s_2 ^ 3 == (us_0 = us_4)
                                        ?: (uc_1 = c_5) * (uc_1 = us_4) |
                                               us_4 <= c_3)
        if (us_0 ^= c_5 ?: (us_4 *= us_4) % us_4 >=
                               (us_4 /= c_3 %= uc_1 >= (uc_1 %= c_5)))
          for (; us_0; us_0++)
            for (s_2 = 7; s_2;)
              if (c_3 *= us_0 &= c_3 += uc_1 &=
                  us_4 ? us_4 ^= uc_1 ?: us_4 : s_2 < uc_1 <= uc_1)
                if (uc_1 ^= s_2 *= us_0 *= uc_1++)
                  if (c_3 |= c_5 /= c_3 -=
                      0 || 11 * c_3 - uc_1
                          ?: (us_4 = us_4) ^ 4 | us_4 ^ 6 ^ c_3)
                    if (us_4 /= s_2 ?: us_4 | 6 < us_4
                                           ?: s_2 && 1 ?: (c_3 += c_3) / us_0 >
                                                              (c_3 = 2 / c_3))
                      if (c_3 /= s_2 ^= us_0 ?: s_2 != (c_3 = 6 * us_4))
                        if (s_2 *= s_2 &= us_4 % c_5++)
                          us_4 |= c_5 =
                              (us_0 += c_3 /= 0 < uc_1 >= c_3 <= us_0) % s_2 !=
                              us_0 >= c_3 % c_5 > us_4 > us_0 !=
                              uc_1 > s_2 < c_3++;
    }
    for (s_2 = 6; s_2; s_2++) {
      if (c_5 += us_4 == s_2 % (c_5 |= 5 / c_3) ^ c_5 | c_5 * us_0 |
                 us_4 == (s_2 = uc_1))
        for (us_0 = 1; us_0;
             us_0++ && (uc_1 %= c_3 = us_0 != c_5) < (c_5 ^= c_3 ?: us_4))
          if (uc_1 -= c_3 = us_4 %= uc_1 &= s_2 |= c_5 | c_3 ?: c_5++)
            if (s_2 /=
                (c_3 *= s_2 %= uc_1 %= 3)
                    ? us_4 & us_0 > s_2 ?: (c_3 %= uc_1 /= s_2) / s_2 | us_0
                    : (us_4 -= c_3) ? us_4 |= 1
                                    : c_5 |
                                          us_4 * (uc_1 %= c_3 += s_2 %=
                                                  s_2 ?: s_2 >= c_3))
              for (s_2 = 1;; s_2++)
                if (c_3 -= us_4 += 0 > (s_2 += s_2 ^= uc_1 %= c_5))
                  for (c_3 = 1; c_3; us_0++)
                    if (uc_1 ^=
                        s_2 ?: (uc_1 *= uc_1 += c_3 < s_2) && (c_5 /= s_2)
                                   ? s_2 %= us_0 ^ uc_1
                                   : c_3 == s_2 ^ (uc_1 |= us_0))
                      if (c_3 += c_5 +=
                          uc_1 ? uc_1 /= us_0 : us_0 >= (us_4 = uc_1 += c_5) ==
                                                    (uc_1 &= us_4 ?: us_0))
                        if (us_0 /= us_0 |= c_5 != us_0 <= (us_4 |= 1) / uc_1 !=
                                            (c_5 /= us_0 -= c_5 &= 2))
                          goto lblD8E3F0A3;
      for (; uc_1; uc_1++)
        if (uc_1 -= us_0 %= c_5 /= c_5 -= c_3 *= uc_1 &=
            uc_1 & c_5 | (s_2 /= 8) >= c_5 >= us_0
                ?: (c_5 = c_5 &= c_3) + (c_3 |= c_5 <= us_4) |
                       (us_0 *= us_0 += 2))
          for (us_4 = 3; us_0; us_0++)
            if (s_2 &= us_0 + (c_3 %= us_0))
              if (c_3 ^=
                  c_5 / 0 + (c_5 = uc_1) >= (c_5 -= 1) >= (c_3 ^= s_2 % 0) <=
                          (s_2 = c_5 &= us_4 -= uc_1 =
                               uc_1 ?: us_4 & (us_0 -= 0) ^ c_3 * uc_1) *
                              c_3 <=
                          (c_5 |= s_2 ^= 5)
                      ?: c_5 ?: c_5++ - (us_0 %= uc_1 %= us_0 % us_0) ^
                                    (s_2 += us_4 -= s_2 =
                                         s_2 < c_5 <= (c_5 ^= us_0) ^ us_0) >
                                        (s_2 %= us_4 |= c_5 *= c_3 %=
                                         c_3 < us_0))
                for (us_0 = 7; us_0;
                     us_0++ ? us_0 ^= s_2 > us_0 : (c_5 /= c_3 = c_3 > 0))
                  if (c_5 &= us_0 |= us_0 ?: us_4 > (us_4 /= s_2 %= c_5 = 0))
                    for (uc_1 = 3; c_5; c_5++)
                      if (us_0 ^= us_4 = us_0 =
                              6 && (us_4 = us_4 /= us_4 ^ c_5) ^ s_2 ^ uc_1)
                        if (us_0 *= s_2 +=
                            7 ? (uc_1 -= 2) | c_5 + 5 <= us_0 * c_3 > us_0
                              : c_5)
                          for (us_0 = 3; us_0; us_0++)
                            if (us_0 |= s_2 /=
                                us_0 < (c_3 = c_5 ? uc_1 += 0 : us_4)
                                    ?: us_4 ? c_3 += uc_1
                                            : c_5 ?: us_4 ?: uc_1 | (uc_1 %=
                                                                     c_3 /=
                                                                     us_4 & c_3)
                                                                 ?: (c_5 %=
                                                                     uc_1 =
                                                                         us_4 +=
                                                                     6) &&
                                                                        0)
                              for (c_3 = 5; c_3; c_3++)
                                for (us_0 = 4; us_0; us_0++)
                                  if (c_3 &= c_5 %= c_3 /= uc_1 %=
                                      c_3 < (us_0 += uc_1 ^= c_5 ^= us_0))
                                    for (us_4 = 8; us_4; us_4++)
                                      if (us_4 %=
                                          c_3 ^ us_0 == 3
                                              ?: c_5 ==
                                                     c_5 > (us_0 = s_2 = uc_1 -=
                                                            2))
                                        for (c_5 = 6; c_5; c_5++)
                                          if (c_5 =
                                                  c_5 ? uc_1
                                                      : s_2
                                                            ? c_5 +=
                                                              uc_1 * c_3 & c_3
                                                            : c_5 ^
                                                                      us_4 <
                                                                          (us_4 |=
                                                                           c_3) *
                                                                              us_0 |
                                                                  (c_3 /=
                                                                   us_0 |=
                                                                   s_2 ?: uc_1) !=
                                                                      (us_4 = c_3 =
                                                                           us_4 ^
                                                                           3))
                                            if (us_0 =
                                                    (c_3 -= 4)
                                                        ?: (uc_1 += us_4) &
                                                               (c_3 =
                                                                    us_4
                                                                        ?: c_3) !=
                                                                   (uc_1 %=
                                                                    us_0
                                                                        ? uc_1 |
                                                                              c_3
                                                                        : s_2) >
                                                                       (uc_1 =
                                                                            c_3))
                                              if (c_3 /= c_3 =
                                                      c_3
                                                          ? s_2 -=
                                                            (c_3 = uc_1 = c_5) |
                                                            -(uc_1 &= 5)
                                                          : (us_0 = s_2)
                                                                ? c_3 - us_0 |
                                                                      s_2
                                                                : (us_4 = c_3 |
                                                                          uc_1))
                                                if (c_5 %= c_5 ^=
                                                    (c_3 += us_0) %
                                                        (us_4 = us_4) |
                                                    7 |
                                                    (c_5 = us_4 - s_2) ==
                                                        (c_3 = s_2 < uc_1) >
                                                            (s_2 += us_4))
                                                  if (c_3 -=
                                                      us_4 == c_5 | c_3 <= s_2
                                                          ?: 7
                                                                 ? s_2 /=
                                                                   s_2 ?: c_3
                                                                 : c_3)
                                                    for (c_5 = 3; c_5; c_5++)
                                                      s_2 -=
                                                          us_4
                                                              ?: us_0 && (c_5 &=
                                                                          uc_1)
                                                                     ? s_2 +=
                                                                       us_0 |=
                                                                       us_0 = 3
                                                                     : (us_4 |=
                                                                        c_5 /=
                                                                        c_3 |
                                                                        uc_1 !=
                                                                            us_0)
                                                                           ? us_4 &=
                                                                             uc_1 -=
                                                                             us_4 = uc_1 =
                                                                                 uc_1 %=
                                                                             us_0 || (s_2 /=
                                                                                      us_4)
                                                                                 ? us_0 %=
                                                                                   s_2
                                                                                 : (c_5 *=
                                                                                    s_2)
                                                                           : (c_3 -=
                                                                              s_2 ^=
                                                                              c_3 = c_5 =
                                                                                  us_4 *
                                                                                  c_5)
                                                                                 ? c_5 %=
                                                                                   s_2 +=
                                                                                   c_3 &=
                                                                                   uc_1
                                                                                 : us_4 > c_5 |
                                                                                       s_2 &
                                                                                           (s_2 = s_2 =
                                                                                                c_5 |
                                                                                                uc_1);
      for (; s_2;)
        if (c_5 ^= (c_3 %= us_0)
                       ? us_0 <= uc_1 & (uc_1 *= us_0)
                       : (s_2 |= uc_1 -= s_2) !=
                             (c_3 ^= c_5) * c_3 <= (us_0 = us_4 -= us_0 *=
                                                    uc_1 <= (us_4 %= 0) < s_2))
          if (c_3 *=
              c_3 ?: s_2 ? us_0 %= uc_1 += us_0 > 0
                         : s_2 ? us_4 &= us_0 += c_5 = us_0 != s_2 == us_0
                               : (c_3 *= 4 && uc_1) != c_5 <= us_0)
            if (us_4 |= us_0 |
                        us_0 * (c_3 *= us_4 / s_2) <= (c_5 &= c_3 - c_5) ==
                                (s_2 &= c_3) ^
                            us_4 < s_2 & (c_5 %= c_3 = us_4 &= c_5))
              if (c_3 -= us_4 ?: (us_4 = s_2 * (us_0 = us_4) / c_5 | s_2
                                             ?: us_4 ^ c_3))
                for (us_0 = 7; us_0; us_0++)
                  if (c_5 -= us_4 >= 4 < (uc_1 = c_3) <= us_4 <= c_5 >=
                                 (us_4 = s_2 *= us_4 >= c_5) ^
                             (c_3 &= c_3 ^ (s_2 -= uc_1)))
                    if (us_4 |= us_0 ? s_2 & us_4 == 3 / uc_1 : (c_3 /= c_3))
                      for (; us_4; us_4++)
                        for (s_2 = 1; c_3; c_3++)
                          for (us_4 = 4; us_4; us_4++)
                            for (uc_1 = 7; uc_1; uc_1++)
                              if (c_5 %= c_3 *=
                                  us_4 > (c_5 = c_5) == (c_3 *= c_5)
                                      ?: uc_1 ? c_5 > (us_4 ^= uc_1) : s_2)
                                for (uc_1 = 8; uc_1; uc_1++)
                                  for (s_2 = 6; s_2; s_2++)
                                    for (uc_1 = 4; uc_1; uc_1++)
                                      for (c_5 = 6; c_5; c_5++)
                                        if (s_2 |=
                                            (s_2 |= c_3 *= s_2 |= 0)
                                                ? uc_1 |=
                                                  us_4 <= 0 ^ (us_0 += c_3) |
                                                  s_2
                                                : (s_2 |=
                                                   c_3 <= us_0 ?: 1 & uc_1) |
                                                          -c_5
                                                      ?: (uc_1 -= c_3 *=
                                                          c_3 != uc_1) &&
                                                                 (s_2 /= 6)
                                                             ? c_3 -= 2
                                                             : (us_0 |= c_5) >
                                                                       (s_2 *=
                                                                        c_3 +=
                                                                        3 ==
                                                                        (us_0 -=
                                                                         c_5))
                                                                   ?: (uc_1 /=
                                                                       uc_1 >
                                                                       us_0))
                                        lbl9901D0BC:
      s_2 += s_2 ^=
          uc_1 >= c_3 <= (3 ? c_3 : 7)
              ?: us_0 < c_3 + (us_4 /= c_5 ^ (us_4 *= uc_1) >= us_0 ^ 4);
      for (s_2 = 8; s_2; s_2++)
        for (uc_1 = 3; c_3;
             c_3++ / (us_4 /= c_5 %= uc_1 = us_4 -= us_4 -= c_3 | c_3 % c_3))
          if (c_5 =
                  uc_1 < c_3 % 5
                      ?: (c_3 = c_5 ?: c_3)
                             ? 1 <= uc_1 <= (c_5 = us_0)
                             : (-us_0 ?: (us_4 ^= c_3 = c_5 = 0)) >=
                                   (us_0 = uc_1 -= us_0 ? us_4 % c_3 > 2 ^ us_0
                                                        : (uc_1 |= c_5)))
            if (us_0 ? us_4 = -c_5 ^ 7
                     : (us_0 += us_4 <= s_2 | (c_3 /= us_0) ?: 0 >= us_0))
              for (c_3 = 1; c_3; c_3++)
                for (c_5 = 5; c_5; c_5++)
                  if (s_2 -=
                      c_3 ? uc_1 -= uc_1 ^ us_4
                          : c_5 ?: (us_0 = uc_1 += us_4 /= c_5 %= uc_1 &= 3)
                                       ? c_3 = uc_1 % us_4
                                       : (us_0 += c_3 *= s_2))
                    for (; c_5; c_5++)
                      if (c_5 += s_2 %=
                          c_3 ? c_3 %= us_0
                              : (c_3 %= us_4) * (us_0 |= us_4) < 3)
                        for (us_0 = 6; c_3; c_3++)
                          for (c_5 = 6; c_5; c_5++)
                            for (c_3 = 5; c_3; c_3++)
                              if (us_0 %=
                                  us_4 + uc_1
                                      ?: (us_0 &= 2)
                                             ?: us_4
                                                    ?: us_0 |
                                                           (c_5 = s_2) ==
                                                               us_0 <
                                                                   us_0 *
                                                                       us_0 <=
                                                                   (us_0 =
                                                                        s_2 >
                                                                            us_4 ==
                                                                        (s_2 %=
                                                                         s_2 <=
                                                                         uc_1)))
                                if (s_2 = uc_1 |= c_5 %=
                                    us_4 ^
                                            (us_0 -= uc_1 -= us_4) !=
                                                us_4 <= c_3 >= c_5 * uc_1
                                        ?: (us_4 += 5)
                                               ? s_2 *= uc_1
                                               : (us_0 *=
                                                  s_2 > c_5 ^ us_4
                                                      ?: (s_2 ^= c_3 |= 0)))
                                  for (; us_0; us_0++)
                                    ;
    }
    for (s_2 = 4; s_2; s_2++)
      for (us_0 = 7; us_0; us_0++)
        if (us_4 =
                c_5 ?: s_2 || (uc_1 += 7) ? us_4 += c_3 == uc_1 : (s_2 ^= c_3))
          for (us_4 = 8; us_4; us_4++)
            if (uc_1 |= s_2 += us_0 ^=
                us_0 ? us_0 %= c_3 >= s_2
                     : (s_2 /= s_2 & c_3) ? s_2 -= us_0 ?: (s_2 ^= 6)
                                          : (s_2 *= us_4 += s_2 = s_2 ?: c_3))
              for (s_2 = 7; s_2; s_2++)
                for (us_4 = 5; us_4; us_4++)
                  if (c_5 = us_0 = us_4 = c_3 = s_2 ?: us_4 || (c_3 %= us_0)
                                                           ? c_3 -= c_5 *= c_3
                                                           : 0 >= s_2 != us_0)
                    for (us_4 = 9; us_4; us_4++)
                      for (us_4 = 1; us_4; us_4++)
                        for (c_3 = 2; c_3;
                             c_3++ ? s_2 %= s_2
                                   : (c_3 *= c_5 ^= us_0 &= us_0 -= us_4))
                          if ((us_4 -= uc_1 > us_4 != (uc_1 -= c_3)) >
                                  (uc_1 += uc_1 / c_5) &&
                              (us_4 %= s_2 |= 2))
                            ;
                          else if (c_5 ^= c_3 || (s_2 ^= c_3 ^= uc_1)
                                              ? us_0
                                              : -(us_0 &= c_5 / 0 == 0 != s_2 !=
                                                          (us_0 &= c_5 < us_0)))
                            if (s_2 /= s_2 ?: uc_1 < s_2 | (us_0 += 6 && c_3) |
                                                  (c_3 &= c_3 == c_5) !=
                                                      (s_2 &= s_2 ? c_3 : 0))
                              for (; c_5; c_5++ <= (s_2 -= 4))
                                ;
  }
  for (; c_3; c_3++)
    if (us_0 = us_0 &= (us_4 ^= us_4 ^= uc_1 -= s_2 *= 6)
                           ? uc_1 = 0 / s_2 >= (c_3 %= 0)
                           : uc_1++)
      if (c_3 += c_5 -= c_5 ^=
          c_5 ? us_4 &= us_0 /= us_0 += uc_1 += uc_1 > us_0 ?: c_3 < us_0
              : (s_2 = s_2) ? c_3 *= s_2 : (us_4 /= c_3))
        for (c_3 = 8; c_3; c_3++)
          if (s_2 *= us_0 ?: s_2 !=
                                 0 <= (us_0 ^= us_4 % c_5) -
                                          (c_3 = c_3 /= us_4 |= us_0 == 0))
            for (c_5 = 2; c_5;
                 c_5++ || (s_2 /= uc_1 + us_4) && (s_2 = uc_1 = us_0))
              if (us_0 %= c_5 *= c_3 > (s_2 -= c_5) < c_3
                                     ?: (c_3 *= 2)
                                            ? us_0 -= c_3 ?: uc_1 == s_2
                                            : (us_4 %= us_4 ?: c_3) == uc_1)
                if (us_0 &= c_3 +=
                    s_2 ?: uc_1 ? c_5 <= us_4
                                : (uc_1 -= uc_1 -= us_4) != (us_0 |= 0))
                  if (s_2 /= us_0 &=
                      c_3 * 7 ?: c_5 > (c_3 &= s_2 ?: us_0 <= uc_1) /
                                             (uc_1 %= c_5 *= us_0 ^= 4) ==
                                     c_3 < (us_4 -= 0) - uc_1 < c_5 % s_2++)
                    if (us_0 |=
                        us_4 % s_2 * (c_5 &= c_3) != (s_2 *= 4) > uc_1++)
                      for (; c_3; c_3++)
                        if (c_5 = uc_1 += us_0 &=
                            us_0 < c_5 % uc_1
                                ?: (c_5 = s_2 *= uc_1 *= us_4) & us_4++)
                          for (us_4 = 4; us_4; us_4++)
                            for (us_4 = 0; us_4; us_4++)
                              for (us_0 = 8; us_0; us_0++)
                                if (c_3 ^= s_2 -= us_4 +=
                                    5 &&
                                            (uc_1 %= c_3 && c_3) ^
                                                us_4 & (s_2 %= c_5) + c_5 &uc_1
                                        ?: us_4 ? us_0 |= c_5 <= (s_2 = s_2)
                                                : (uc_1 &= uc_1 -=
                                                   uc_1 ?: us_0) ||
                                                          (us_0 *= s_2 -=
                                                           uc_1 /= us_4 += uc_1)
                                                      ?: c_3 < s_2 + (us_4 /=
                                                                      c_3))
                                  for (us_0 = 8; us_0;
                                       c_5 += us_4 +=
                                       uc_1
                                           ? c_3 = uc_1 = c_5 =
                                                 us_0 | s_2 >= us_0 ?: s_2
                                           : (c_3 %= c_5 += us_4 %= c_3 =
                                                  us_0 ^= c_3 += s_2) == s_2++)
                                    for (; uc_1; uc_1++)
                                      if (uc_1 &= us_4 == (c_3 *= s_2 + c_3))
                                        for (; uc_1; uc_1++)
                                          ;
  for (;; c_5++) {
    if (c_5 %= c_3 /=
        uc_1 ?: us_0 ?: uc_1 > 4 >= (us_4 += c_3) + (c_5 += uc_1)) {
      if (s_2 ^= uc_1 = us_0 ^= uc_1 != (us_4 = s_2 ^= us_4))
        if (us_4 |= c_3 +=
            c_5 ?: us_0 ?: c_3 ^ c_5 | uc_1 >= (us_0 *= us_0 & (s_2 -= uc_1)))
          c_3 |= (c_5 -= c_3 -= s_2) == (us_4 -= c_3 / uc_1) ?: c_3 || 0;
      s_2 = uc_1 &= (us_4 &= s_2) ?: (s_2 -= us_0 |= c_5 ^= us_4);
    }
    us_0 = us_4 /= uc_1 %= uc_1 ?: us_0 & (uc_1 -= c_3 |= s_2) / (us_4 = c_3)
                                       ?: (uc_1 |= c_5 /= uc_1);
    if (uc_1 &=
        us_0 ==
            (us_4 *= c_3 |= us_0) > (us_0 |= s_2 = us_0) * (s_2 += c_3 = s_2) ==
            c_5 % 0 &
        6 / us_0++ % (c_3 = s_2 = uc_1 = us_4))
      us_4 += c_5 ?: (uc_1 /= c_3)
                         ?: (c_3 *= c_3 &= us_0 = uc_1 -= us_0 ^= us_0 && us_0);
    for (; us_0; us_0++)
      if (us_4 %=
          (us_4 || us_4) & (us_4 += uc_1) / (uc_1 |= c_3 %= us_0 /= us_4 |= 0))
        if (c_3 ^= uc_1 ^= us_4 ?: c_5 != us_4 <= (us_0 -= uc_1 % c_5) >= s_2++)
          us_0 |= us_0 >= 5 / c_3 ?: c_3;
    us_4 %= s_2 ^
            (s_2 -= us_0) <= (s_2 += uc_1 ^= c_3 / c_5) >=
                (us_0 /= c_5) + (uc_1 = s_2 += s_2 < us_0 ?: s_2);
    c_3 += c_3 %= c_5 -= uc_1 =
        c_5 ? us_4 %= c_5 ?: 2 + c_3 + s_2 - uc_1 == (us_0 &= c_5 = c_3 < c_5)
            : (s_2 += c_5) |
                  us_0 - (us_0 ^= uc_1 == (c_3 -= 1) ?: (s_2 += s_2));
    for (us_0 = 5; us_0; us_0++)
      s_2 ^= uc_1 /= us_4 /=
          uc_1 + s_2 * s_2 / c_3
              ?: (s_2 *= us_0 % 0) < s_2 % s_2 ^ us_4 | uc_1 - 6;
    if (us_0 *= c_3 =
            c_5 < s_2 ^
                    (us_0 ^= 4 | (uc_1 &= c_5 -= uc_1)) * (us_4 |= us_4 <= uc_1)
                ?: c_5)
      if (us_4 ^= uc_1 &=
          us_4 ?: c_3 ? us_4 += s_2 < (uc_1 &= s_2 *= 5) : us_0++)
        for (s_2 = 4; us_4; us_4++)
          s_2 |= uc_1 ^= s_2 &= us_0 %= uc_1 *= us_0 = us_0 ^=
              c_3 ? uc_1 >= (s_2 = c_3) : s_2 == us_0;
    us_4 ^= c_5 *= us_0 *= us_0 /= uc_1 /= s_2 |=
        c_5 ?: (us_4 &= 7)
                   ? us_0 == uc_1 != (us_4 += uc_1)
                   : (c_5 |= uc_1 == us_4)
                         ? us_4 &= c_3 = c_5 ?: uc_1 % (s_2 -= s_2 >= us_0) +
                                                    (s_2 -= us_0)
                         : (us_4 %= 9 == us_0 == uc_1);
    if (us_0 |= uc_1 %= c_3 & us_4 % (c_3 += s_2 /= us_4 += uc_1 /= c_5))
      for (c_3 = 5; c_3; s_2++)
        us_4 -= s_2 /= s_2 *= c_3 ^= us_4 ?: uc_1 ?: (s_2 = 0);
    for (s_2 = 2; s_2; us_0++)
      c_5 &= c_3<(s_2 /= c_3) ^ (c_5 = c_3) % c_3 >= c_5 &(c_5 += s_2 |= c_5)>(
          s_2 -= s_2 *= s_2);
    us_4 -= c_3 = uc_1 *= s_2 |=
        (us_4 *= 9)
            ? s_2 == (us_0 = uc_1 < s_2)
            : (us_4 += 2) ? us_0 + c_5 ?: (c_3 += us_4) : 3 && 10 & (c_3 = s_2);
    c_3 &= c_3 %= s_2 < us_0 == c_5 / c_3 | (c_3 ^= us_4 &= s_2 - uc_1);
    if (uc_1 = us_4 |= s_2 |=
        us_0 & (c_5 -= c_5 |= 0) != (us_0 -= s_2 %= c_3 ^ s_2 == 7))
      for (c_3 = 2; c_3; c_3++)
        c_3 -= us_0 ?: c_3 != (s_2 -= 3) != (c_5 *= 3) / us_4
                           ?: (us_4 %= uc_1)
                                  ? uc_1 ^= c_3 < c_5 <= (s_2 += uc_1) ?: us_0
                                  : &c_5 >= (s_2 %= c_5 | us_0);
    c_5 *= c_3 |= us_4 <= c_3 <= (c_5 += c_3);
    if (s_2 -= us_4 * s_2 * (us_0 ^= 8))
      c_5 /= c_3 %= us_0 ^= us_0 &=
          s_2 ? 6 == uc_1 & c_5 ?: (us_0 %= c_3)
              : (c_5 = us_0 && 2 != us_0) % us_4 >= 2 <
                    (us_0 += c_3 /= uc_1 / s_2) / (us_0 -= us_4 < uc_1);
    if (c_3 /= (uc_1 &= s_2 %= 2)
                   ? us_4 > c_5 == uc_1 & (us_0 += 0)
                   : (c_3 ^= s_2 += uc_1 - us_4) ==
                         (uc_1 *= c_3 *= us_0 > (c_5 -= us_0) % 0)) {
      if (c_3 &= c_3 %= us_0)
        s_2 = us_0;
      for (c_5 = 0; c_5; c_5++)
        ;
    }
    uc_1 /= us_4 == 1 > uc_1 >= (uc_1 &= c_5 == c_3) & (c_3 -= s_2 = 0 || us_0);
    if (uc_1 = s_2 ^=
        uc_1 >= s_2 & uc_1 < (s_2 = 0 == uc_1) == (us_0 = us_0 / us_4 > 4))
      for (c_5 = 5; c_5; c_5++)
        uc_1 *= c_3 |= (c_3 &= c_5 < uc_1) || c_3 && (c_3 = c_3)
                           ? c_5 &= us_0 += us_0
                           : (s_2 = 4 == c_3) * (uc_1 %= 0 < us_4);
    s_2 -= us_0 %= 3 <= 9 % c_3 >= (4 & uc_1) > (uc_1 = us_4 ^= us_0);
    if (uc_1 *= us_4 &= c_3 &= us_4 >= c_3 % 8 + us_4 > s_2 ?: s_2)
      for (c_3 = 9; c_3; c_3++)
        uc_1 |= uc_1 *= c_5 /= c_5 - us_4 % (us_4 ^= uc_1 <= 3) ==
                               (uc_1 &= us_4 %= c_3) <= (us_4 &= us_4 <= 0);
    s_2 *= s_2 % (s_2 = us_0) ?: 3 >= (s_2 &= 8) |
                                     (c_5 ?: (us_0 = us_4 ?: uc_1)) |
                                     (c_3 %= c_3 <= us_0) < us_0;
    if (uc_1 |= us_0 -=
        us_0 * uc_1 / s_2 <= (c_3 = s_2) >= s_2 ^ c_5 - uc_1 >= (s_2 -= c_5))
      us_0 = us_4 = c_3 = uc_1 |= uc_1 != c_3 <= c_5 != s_2;
    for (s_2 = 4; s_2; s_2++)
      for (us_0 = 2; us_0; uc_1++)
        uc_1 -= c_5 -= c_3 ?: (s_2 = us_4 |= 0)
                                  ?: uc_1 * (s_2 &= c_3 /=
                                             c_3 ^ s_2 ^ (us_0 |= us_4 != c_5));
    for (s_2 = 3; s_2; s_2++)
      us_0 = s_2 %= uc_1 ?: (us_4 = s_2 = c_3);
    if (uc_1 &= 3 / c_3)
      c_3 /= s_2 / uc_1 != (c_5 *= s_2 |= 8);
    us_4 *= uc_1 /= c_5 -= us_4 * us_0 / 4 == 4;
    if (c_5 = uc_1 |= us_0 *= 3 && c_3 ?: (c_5 *= us_4 += us_0 < -us_4))
      if (us_4 = us_0 |= c_3 = s_2 *= us_4 /= us_4 != 1 / us_4)
        for (us_4 = 1; us_4; us_4++)
          uc_1 |= us_0 ?: c_3;
    if (c_3 &= c_3 /=
        us_0 ?: (s_2 += uc_1 /= us_4) > c_3 % (c_3 *= s_2 |= us_4 > us_0))
      if (c_5 *= uc_1 |= us_4 ^= uc_1 * s_2++)
        for (; c_3; c_3++)
          if (us_4 = s_2 ? uc_1 < 4
                         : us_4 * c_5 ==
                               (c_3 ^= us_0) >= (us_4 %= c_5) / (uc_1 = uc_1) !=
                               (us_4 = c_5) / (c_5 *= c_3 %= us_0))
            us_0 -= us_4 ?: (uc_1 &= s_2 *= c_5 <= uc_1 - c_5 < c_5 ^ us_0);
    us_0 ^= us_4 %= uc_1 ^=
        us_4 ? us_4 &= 0 || (s_2 &= 6 && c_5) * (c_3 &= c_5 += uc_1)
             : (c_3 = s_2 ?: uc_1 != uc_1 * us_4) <= (us_4 /= uc_1 ?: s_2);
    c_3 = uc_1 ^= us_0 ?: (uc_1 ^= c_3);
    if (c_3 |= c_5 *=
        (us_0 = uc_1 *= us_4 ? uc_1 &= s_2 : 3) || (us_4 %= uc_1 = 0)
            ? s_2
            : uc_1 | (c_3 = us_4))
      for (us_0 = 4; us_0; us_0++)
        us_4 += us_4 | 5 % us_0;
    for (s_2 = 8; s_2; s_2++)
      uc_1 /= c_5 -= (c_5 &= uc_1 = uc_1)
                         ?: uc_1 ?: (s_2 = s_2) > (uc_1 = uc_1 = 4 && c_5 % 2);
    if (s_2 += us_0 *= us_0 ?: (us_4 |= us_4 * uc_1))
      c_5 = c_3 >= (uc_1 &= us_0 <= s_2 ?: 2 != us_4);
    us_0 ^= (us_4 |= c_3 *= us_0) ^
            (us_4 /= s_2) < (us_0 %= c_3) % (us_0 *= c_3 ^= uc_1 / c_5);
    c_3 *= s_2 -= us_0 %= uc_1 <= (s_2 = c_5 < 4) <= (us_4 = s_2 -= c_3);
    for (c_5 = 3; c_5; c_5++)
      for (c_3 = 4; c_3; c_3++)
        for (us_0 = 2; us_0; us_0++)
          if (us_4 &= s_2 - us_0 | (c_5 /= c_5)
                          ?: s_2 * us_0 == us_0 * 3 / 0 * (us_0 += 1))
            for (uc_1 = 4; uc_1; uc_1++)
              if (us_4 = us_0 & c_5 && 7
                             ?: us_4 ?: (c_3 %= c_5 = c_5 ? s_2 ?: c_3 : us_0) -
                                                us_0 >
                                            (s_2 += c_5) < (us_0 = s_2 %= uc_1))
                for (us_0 = 3; us_0; us_0++)
                  uc_1 += c_3 *= c_3 /=
                      c_5 ? us_4 & (s_2 += c_5 |= uc_1)
                          : us_0 ?: uc_1 |
                                        (c_5 ? c_3 & s_2 : s_2 <= 3) %
                                                    (s_2 |= uc_1 >= s_2) -
                                                (uc_1 += uc_1 ^ c_5) &
                                            us_4 - (uc_1 /= s_2 |= c_3);
    for (; s_2; s_2++)
      if (us_4 = us_4 %= us_0 /= us_0 *= us_0 += 4)
        us_4 &= c_5 ^ c_5 == c_3 > us_4;
    if (us_0 = us_4 ^=
        uc_1 ^ c_3 > (uc_1 &= s_2)
            ?: (us_4 += uc_1) ^
                   (uc_1 += c_3) != (us_4 *= us_4 *= c_5 == us_4 > uc_1))
      if (us_0 %= us_4 /= uc_1 * c_5 ^ c_5 == (us_4 |= uc_1 ^ (s_2 /= 4)))
        us_0 %= s_2 == 3 != (c_5 -= us_4 = c_5 = s_2) & s_2
                    ?: (us_4 = s_2 / us_4 & us_0);
    if (s_2 = s_2 < uc_1 <= us_4 & (us_4 &= c_5 ?: uc_1 / s_2)
                  ?: (us_0 += c_3 ^= us_4 ?: us_4 && 5))
      if (s_2 = us_0 = us_4 += s_2 += c_5 ^= us_4 ^= c_3 += us_4 /= us_0 ^=
          uc_1 ^ c_5)
        goto lbl9901D0BC;
    if (uc_1 ^=
        1 < s_2 <= (c_3 *= us_0) != (uc_1 += c_3) + (uc_1 ^= c_3 = us_0) != c_5
            ?: c_5 % us_4 || 0
                   ?: (c_3 /= 0 < c_5) && (c_5 = s_2 %= us_0 == c_3 ?: uc_1))
      for (; c_3; c_3++ ?: (c_3 = us_4))
        for (us_0 = 1; us_0; us_0++)
          if ((uc_1 ^= us_0 &= 5)
                  ? us_4 /= c_5
                  : (us_4 |= uc_1) <= (us_4 &= c_5 /= c_3 -= uc_1 ^ c_5))
            if (us_0 *= c_5 |
                        c_3 >= uc_1 < s_2 -
                                          (c_5 /= c_5 *= c_3 & (us_0 += c_5)) -
                                          uc_1 / c_5 !=
                            (s_2 -= uc_1 ^ c_3 + s_2 * uc_1 % us_4))
              if (uc_1 |= c_5 |=
                  c_5 ?: us_0 >= -(us_0 -= c_3) < (c_5 -= us_0 = s_2))
                uc_1 &= us_4 ? uc_1 / s_2 : uc_1;
    for (c_5 = 1; c_5; c_5++)
      if (uc_1 -= c_5 += s_2 ?: c_3 & (uc_1 /= 4))
        for (s_2 = 2; s_2; uc_1++ ? c_5 ? uc_1 /= 2 : (c_5 -= c_3)
                                  : (uc_1 = us_4 += us_4 = s_2 %= c_3))
          if (us_4 = us_0 & 2 <= us_4 - us_0 != uc_1 - us_0
                         ?: c_5 ==
                                5 >= (us_4 %= uc_1 -= us_4 +=
                                      c_5 ? uc_1 - s_2 : (uc_1 = us_0)))
            if (uc_1 %= s_2 -= c_5 ?: c_3 - (uc_1 *= uc_1 %= us_4 = 6) <=
                                          (c_3 += 0) <= 0 / s_2)
              for (us_4 = 6; us_4; us_4++)
                if (uc_1 -= c_3 %= uc_1 |
                                   (uc_1 ^= us_0) >= (uc_1 %= 0 < s_2) >
                                       (us_4 &= us_4 /= uc_1))
                  for (c_5 = 1; c_5; c_5++)
                    if (us_0 =
                            uc_1 / 0 < (us_0 /= c_3 %= uc_1 &= uc_1 ^= 9 | c_5))
                      for (c_3 = 3; c_3; c_3++)
                        for (uc_1 = 2; uc_1; us_0++)
                          ;
  }
}