input.txt has the input for the frontEnd.py of style:
4 1 1 2 3 2 3 4 3 4 1 4 1 2
--> the front end outputs to dPInput.txt, the input for davisPutnam.py of style:
-1 -3 -1 -5 -1 -7 -1 -9 -1 -11
--> davisPutnam outputs to dPOutput.txt which is the input for backend.py which outputs to backendOut.txt of style:
3 Jump(3,2,1,1) 12 Jump(1,4,3,2)