Added pythia.py for comparison against oracle, Michael's testcases and code