Evaluation took:
  62678.396 seconds of real time
  146,248,928,187,803 processor cycles
  13,814,410,574,136 bytes consed