diff --git a/__pycache__/distrib_rctsys.cpython-34.pyc b/__pycache__/distrib_rctsys.cpython-34.pyc
deleted file mode 100644
index 93e2b5c..0000000
Binary files a/__pycache__/distrib_rctsys.cpython-34.pyc and /dev/null differ
diff --git a/__pycache__/rctsys.cpython-34.pyc b/__pycache__/rctsys.cpython-34.pyc
deleted file mode 100644
index b6abc0b..0000000
Binary files a/__pycache__/rctsys.cpython-34.pyc and /dev/null differ
diff --git a/__pycache__/rs_examples.cpython-34.pyc b/__pycache__/rs_examples.cpython-34.pyc
deleted file mode 100644
index c96508e..0000000
Binary files a/__pycache__/rs_examples.cpython-34.pyc and /dev/null differ
diff --git a/__pycache__/smtchecker.cpython-34.pyc b/__pycache__/smtchecker.cpython-34.pyc
deleted file mode 100644
index 6ea27bc..0000000
Binary files a/__pycache__/smtchecker.cpython-34.pyc and /dev/null differ
diff --git a/__pycache__/smtcheckerdistribrs.cpython-34.pyc b/__pycache__/smtcheckerdistribrs.cpython-34.pyc
deleted file mode 100644
index 09c6210..0000000
Binary files a/__pycache__/smtcheckerdistribrs.cpython-34.pyc and /dev/null differ
diff --git a/__pycache__/smtcheckerpgrs.cpython-34.pyc b/__pycache__/smtcheckerpgrs.cpython-34.pyc
deleted file mode 100644
index d693030..0000000
Binary files a/__pycache__/smtcheckerpgrs.cpython-34.pyc and /dev/null differ
diff --git a/__pycache__/smtcheckerrsc.cpython-34.pyc b/__pycache__/smtcheckerrsc.cpython-34.pyc
deleted file mode 100644
index 862e942..0000000
Binary files a/__pycache__/smtcheckerrsc.cpython-34.pyc and /dev/null differ