add 12-6.py reducible.py