Result of llprover

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

------- Ax
a --> a
--------- L1
1,a --> a
--------- L*
1*a --> a

CPU Time = 10 msec.

------ R1  ------- Ax
 --> 1     a --> a
------------------ R*
    a --> 1*a

CPU Time = 0 msec.


Naoyuki Tamura