int main(void) {
  int t24 = (x97>((x98<=x99)<=x100));
}