The evaluation of PROVE-FILE on the file: #./yu/isqrt-ada.events was completed successfully. No nondefinitional axioms were assumed. No actions involving undoing, i.e., uses of UBT, were encountered. Total Statistics: [ 0.2 9.7 1.6 ] Start of run: April 2, 2000 21:53:37 End of run: April 2, 2000 21:53:49