Списки дефолтовых серверов я видел в настройках Opera mini 2.0. Сейчас напишу их. Может тебе нужно именно это?
80.232.117.10:80;
195.189.142.68:80;
195.189.142.88:80;
Там ещё что-то про GZip написано...