#include <stdio.h>

int main(int argc, char *argv[])
{
  double	inf1;
  double	inf2;
  double	nan1;
  double	nan2;
  double	a;

  inf1 = 1.6e308 / 1.0e-300;
  inf2 = 5.0 / 0.0;
  nan1 = 0.0 / 0.0;
  nan2 = inf1 - inf2;
  a = inf1 + inf1;
  a = inf1 - inf1;
  a = inf1 / inf1;
  a = inf1 * inf1;
  a = inf1 + inf2;
  a = inf1 - inf2;
  a = inf1 / inf2;
  a = inf1 * inf2;
  a = inf1 + nan1;
  a = inf1 - nan1;
  a = inf1 / nan1;
  a = inf1 * nan1;
  a = inf1 + nan2;
  a = inf1 - nan2;
  a = inf1 / nan2;
  a = inf1 * nan2;
  a = inf2 + inf1;
  a = inf2 - inf1;
  a = inf2 / inf1;
  a = inf2 * inf1;
  a = inf2 + inf2;
  a = inf2 - inf2;
  a = inf2 / inf2;
  a = inf2 * inf2;
  a = inf2 + nan1;
  a = inf2 - nan1;
  a = inf2 / nan1;
  a = inf2 * nan1;
  a = inf2 + nan2;
  a = inf2 - nan2;
  a = inf2 / nan2;
  a = inf2 * nan2;
  a = nan1 + inf1;
  a = nan1 - inf1;
  a = nan1 / inf1;
  a = nan1 * inf1;
  a = nan1 + inf2;
  a = nan1 - inf2;
  a = nan1 / inf2;
  a = nan1 * inf2;
  a = nan1 + nan1;
  a = nan1 - nan1;
  a = nan1 / nan1;
  a = nan1 * nan1;
  a = nan1 + nan2;
  a = nan1 - nan2;
  a = nan1 / nan2;
  a = nan1 * nan2;
  a = nan2 + inf1;
  a = nan2 - inf1;
  a = nan2 / inf1;
  a = nan2 * inf1;
  a = nan2 + inf2;
  a = nan2 - inf2;
  a = nan2 / inf2;
  a = nan2 * inf2;
  a = nan2 + nan1;
  a = nan2 - nan1;
  a = nan2 / nan1;
  a = nan2 * nan1;
  a = nan2 + nan2;
  a = nan2 - nan2;
  a = nan2 / nan2;
  a = nan2 * nan2;
  exit(0);
}