Result of llprover

You are the 129741-st user of this script.
System:
Sequent:
Output Style:
Threshold value:

-------------- Rtop
top\/a --> top

CPU Time = 0 msec.

----------- Ax
top --> top
-------------- R\/1
top --> top\/a

CPU Time = 0 msec.


Naoyuki Tamura