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