1 2 3 4
# These parameters control how Mrs. Premise and Mrs. Conclusion behave. ITERATIONS=1000 KEY=42