P
Initializing...
The Lemma 12 program computes the variant procedure l12v · Prove2Me