#!/usr/bin/python
import pickle, sys, os

if len(sys.argv) == 1:
		raise SystemExit("File name needed")

if sys.argv[1].endswith(".tex"):
	Arg_1 = sys.argv[1][:-4]
else:
	Arg_1 = sys.argv[1]

filename = Arg_1 + ".tex"

if not os.path.isfile(filename):
		raise SystemExit(filename + " not found")


#
modus_ponens = (filename, 43)
adjunction = (filename, 116) 
reiteration = (filename, 49) 
deduction_thm = (filename, 45) 

tracers = {}

tracers[modus_ponens] = ['(', 0, '|', 2, ')'] 
tracers[adjunction] =  ['(', 0, '&', 2, ')'] 
tracers[deduction_thm] = [ '(', 0,'-', 2, ')']
tracers[reiteration] = [0]

f = open(Arg_1 + ".trc","wb")

pickle.dump(tracers, f)

f.close()

