Total run time: less than 5 seconds
Total cpu time used: less than 5 seconds
Total disk space used: 17.2 KB
witold