javac -classpath .;IR2.0.jar *.java
java -classpath .;IR2.0.jar CSP input1.txt -v