Result of llprover

You are the 115095-th 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