#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  void True(void) {}
  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))
  exit(0);
  return (1);
}