Result of llprover

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

Syntax error

Naoyuki Tamura