python_set_union.py: