#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  _imp_enter();
  auto void TRUE(void) {
    _imp_enter();

    _imp_leave();
  }
  int A;
  int B;
  int C;
  int D;
  int E;
  int F;
  int G;
  int H;
  if (A == B) TRUE();          //   true %if a = b
  if (A < B || B < C) TRUE();  //   true %if a < b %or b < c
  if (A < B && B < C) TRUE();  //   true %if a < b %and b < c
  if (A < B && B < C) TRUE();  //   true %if a < b < c
  if (A < B && (A < B || B < C))
    TRUE();  //   true %if a < b %and (a < b %or b < c)
  if (A < B && ((A < B && B < C) || B < C))
    TRUE();  //   true %if a < b %and ((a < b %and b < c) %or b < c)
  if (A < B || ((A < B || B < C) && B < C))
    TRUE();            //   true %if a < b %or ((a < b %or b < c) %and b < c)
  if (A != B) TRUE();  //   true %unless a = b
  if (A >= B && B >= C) TRUE();  //   true %unless a < b %or b < c
  if (A >= B || B >= C) TRUE();  //   true %unless a < b %and b < c
  if (A >= B || B >= C) TRUE();  //   true %unless a < b < c
  if (A >= B || (A >= B && B >= C))
    TRUE();  //   true %unless a < b %and (a < b %or b < c)
  if (A >= B || ((A >= B || B >= C) && B >= C))
    TRUE();  //   true %unless a < b %and ((a < b %and b < c) %or b < c)
  if (A >= B && ((A >= B && B >= C) || B >= C))
    TRUE();  //   true %unless a < b %or ((a < b %or b < c) %and b < c)
  while (A == B) TRUE();          //   true %while a = b
  while (A < B || B < C) TRUE();  //   true %while a < b %or b < c
  while (A < B && B < C) TRUE();  //   true %while a < b %and b < c
  while (A < B && B < C) TRUE();  //   true %while a < b < c
  while (A < B && (A < B || B < C))
    TRUE();  //   true %while a < b %and (a < b %or b < c)
  while (A < B && ((A < B && B < C) || B < C))
    TRUE();  //   true %while a < b %and ((a < b %and b < c) %or b < c)
  while (A < B || ((A < B || B < C) && B < C))
    TRUE();  //   true %while a < b %or ((a < b %or b < c) %and b < c)
  do
    TRUE();
  while (A != B);  //   true %until a = b
  do
    TRUE();
  while (A >= B && B >= C);  //   true %until a < b %or b < c
  do
    TRUE();
  while (A >= B || B >= C);  //   true %until a < b %and b < c
  do
    TRUE();
  while (A >= B || B >= C);  //   true %until a < b < c
  do
    TRUE();
  while (A >= B ||
         (A >= B && B >= C));  //   true %until a < b %and (a < b %or b < c)
  do
    TRUE();
  while (A >= B ||
         ((A >= B || B >= C) &&
          B >= C));  //   true %until a < b %and ((a < b %and b < c) %or b < c)
  do
    TRUE();
  while (A >= B &&
         ((A >= B && B >= C) ||
          B >= C));    //   true %until a < b %or ((a < b %or b < c) %and b < c)
  if (A != B) TRUE();  //   true %if %not a = b
  if ((A >= B && B >= C)) TRUE();  //   true %if %not ( a < b %or b < c)
  if ((A >= B || B >= C)) TRUE();  //   true %if %not ( a < b %and b < c)
  if ((A >= B || B >= C)) TRUE();  //   true %if %not ( a < b < c)
  if ((A >= B || (A >= B && B >= C)))
    TRUE();  //   true %if %not ( a < b %and (a < b %or b < c))
  if ((A >= B || ((A >= B || B >= C) && B >= C)))
    TRUE();  //   true %if %not ( a < b %and ((a < b %and b < c) %or b < c))
  if ((A >= B && ((A >= B && B >= C) || B >= C)))
    TRUE();  //   true %if %not ( a < b %or ((a < b %or b < c) %and b < c))
  if (A == B) TRUE();            //   true %unless %not a = b
  if ((A < B || B < C)) TRUE();  //   true %unless %not ( a < b %or b < c)
  if ((A < B && B < C)) TRUE();  //   true %unless %not ( a < b %and b < c)
  if ((A < B && B < C)) TRUE();  //   true %unless %not ( a < b < c)
  if ((A < B && (A < B || B < C)))
    TRUE();  //   true %unless %not ( a < b %and (a < b %or b < c))
  if ((A < B && ((A < B && B < C) || B < C)))
    TRUE();  //   true %unless %not ( a < b %and ((a < b %and b < c) %or b < c))
  if ((A < B || ((A < B || B < C) && B < C)))
    TRUE();  //   true %unless %not ( a < b %or ((a < b %or b < c) %and b < c))
  while (A != B) TRUE();              //   true %while %not a = b
  while ((A >= B && B >= C)) TRUE();  //   true %while %not ( a < b %or b < c)
  while ((A >= B || B >= C)) TRUE();  //   true %while %not ( a < b %and b < c)
  while ((A >= B || B >= C)) TRUE();  //   true %while %not ( a < b < c)
  while ((A >= B || (A >= B && B >= C)))
    TRUE();  //   true %while %not ( a < b %and (a < b %or b < c))
  while ((A >= B || ((A >= B || B >= C) && B >= C)))
    TRUE();  //   true %while %not ( a < b %and ((a < b %and b < c) %or b < c))
  while ((A >= B && ((A >= B && B >= C) || B >= C)))
    TRUE();  //   true %while %not ( a < b %or ((a < b %or b < c) %and b < c))
  do
    TRUE();
  while (A == B);  //   true %until %not a = b
  do
    TRUE();
  while ((A < B || B < C));  //   true %until %not ( a < b %or b < c)
  do
    TRUE();
  while ((A < B && B < C));  //   true %until %not ( a < b %and b < c)
  do
    TRUE();
  while ((A < B && B < C));  //   true %until %not ( a < b < c)
  do
    TRUE();
  while ((
      A < B &&
      (A < B || B < C)));  //   true %until %not ( a < b %and (a < b %or b < c))
  do
    TRUE();
  while ((A < B &&
          ((A < B && B < C) || B < C)));  //   true %until %not ( a < b %and ((a
                                          //   < b %and b < c) %or b < c))
  do
    TRUE();
  while ((A < B ||
          ((A < B || B < C) && B < C)));  //   true %until %not ( a < b %or ((a
                                          //   < b %or b < c) %and b < c))

  _imp_leave();
  exit(0);
  return (0);
}