import argparse

def getArgs():
    parser = argparse.ArgumentParser(description='Autoprover')
    parser.add_argument("file", type=open, help="a theorem to be proved")
    parser.add_argument("-p", "--population-size", dest='populationSize',
            type=int, default=1000, help="population size, default is 1000")
    parser.add_argument("-g", "--max-generation", dest='maxGeneration',
            type=int, default=100, help="a maximun generation, defalut is 100")
    parser.add_argument("-m", "--mutate-rate", dest='mutateRate',
            type=float, default=0.25,
            help="a mutate rate in interval (0, 1), default is 0.25")
    parser.add_argument("-e", "--elite-rate", dest='eliteRate',
            type=float, default=0,
            help="the percentage of elitism, default is 0")
    parser.add_argument("-c", "--cross-rate", dest='crossRate',
            type=int, default=0.5, help="a cross rate, defalut is 0.5")
    parser.add_argument("-t", "--cross-type", dest='crossType',
            type=int, default=0, help="different type of cross, default is 0")
    parser.add_argument("-n", "--verify-num", dest='verifyNum',
            type=int, default=50,
            help="number of top proofs to be verified in each generation,\
            default is 50")
    args = parser.parse_args()
    return args

@@ -1,8 +1,19 @@
+import sys%0A
 import a
@@ -20,16 +20,16 @@
 rgparse%0A
-
 %0Adef get
@@ -173,16 +173,339 @@
 roved%22)%0A
+    parser.add_argument(%22-o%22, %22--output%22, dest='outputFile',%0A            type=argparse.FileType('w'), default=sys.stdout,%0A            help=%22a file your proof to be stored, default is stdout.%22)%0A    parser.add_argument(%22-b%22, %22--tactic-base%22, dest='tacticBase',%0A            type=open, default=None, help=%22a tactic base file%22)%0A
     pars
@@ -566,24 +566,24 @@
 ationSize',%0A
-
             
@@ -612,16 +612,20 @@
 , help=%22
+the 
 populati

add more argument