В файле
proxy.pac есть строка:
return "HTTPS proxy-ssl.antizapret.prostovpn.org:3143; PROXY proxy-nossl.antizapret.prostovpn.org:29976; DIRECT";
которая и назначает proxy-сервер.
Осталось файл скачать, строку найти, и выдернуть из неё адрес и порт proxy средствами консольных утилит.