TSTP Solution File: PLA032^7 by SInE---0.4