E:\junk>c:t-salvaTheory.pl
0Took 492 seconds.