IP List distribution Avigad J., Massot P. Mathematics in Lean 2025, total 19
| IP | Country | City | ISP |
|---|---|---|---|
| 116.88.97.212 | Singapore | Singapore | StarHub |
| 117.20.68.11 | Australia | Warrnambool | Aussie Broadband |
| 119.236.44.194 | Hong Kong | Central District | Netvigator |
| 131.0.198.20 | Spain | Barcelona | Tigo Bolivia |
| 14.97.41.134 | India | Mumbai | Tata Indicom |
| 176.227.243.41 | |||
| 181.46.160.72 | Argentina | Quilmes | TeleCentro |
| 196.189.120.72 | Ethiopia | Ethiopian Telecommunication Corporation | |
| 196.189.121.8 | Ethiopia | Ethiopian Telecommunication Corporation | |
| 197.94.215.71 | South Africa | MWEB | |
| 205.147.16.100 | United States | Los Angeles | Digilink |
| 211.194.200.18 | Republic of Korea | Korea Telecom | |
| 45.128.199.161 | |||
| 45.8.17.145 | |||
| 45.86.200.38 | |||
| 46.29.25.145 | |||
| 47.220.73.56 | United States | Suddenlink Communications | |
| 91.200.224.89 | Russia | Moscow | Korporatsia Svyazy Ltd. |
| 93.34.85.42 | Italy | Verona | Fastweb |