Update rc6decoder.py