4sum.py