Rename dist_num.py to distinct_number.py