update To12Tuple.py