LADR GUIs

• Prover9-Mace4 V03
• Prover9-Mace4 V04
• Prover9-Mace4 V05 (current)