="GENERATOR" CONTENT="LibreOffice 3.5 (Linux)">

1. Computations: Lemma 6.txt (Lemma6.txt), Theorem 7 (Theorem7.txt)