python resolv