<code>
list "INFN MX" addr { \
      131.154.1.1/32 \
      131.154.1.5/32 \
      131.154.1.23/32 \
      131.154.11.1/32 \   # BO
      131.154.11.5/32 \   # BO
      131.154.3.45/32 \
      131.154.3.46/32 \
      131.154.3.55/32 \
      131.154.3.56/32 \
      131.154.3.7/32 \
      140.105.6.19/32 \
      141.108.15.14/32 \
      141.108.255.100/32 \
      141.108.26.15/32 \
      141.108.26.220/32 \
      141.108.26.222/32 \
      141.108.26.25/32 \
      141.108.8.9/32 \
      158.110.40.151/32 \
      160.97.1.13/32 \
      192.135.10.48/32 \
      192.135.10.91/32 \
      192.135.11.8/32 \
      192.135.11.8/32 \
      192.135.12.3/32 \    # Pv
      192.135.12.4/32 \    # Pv
      192.135.30.243/32 \
      192.135.30.249/32 \
      192.167.201.21/32 \
      192.84.127.10/32 \
      192.84.132.10/32 \    # CA
      192.84.132.78/32 \    # CA
      192.84.132.67/32 \    # CA
      192.84.134.181/32 \
      192.84.134.182/32 \
      192.84.135.16/32 \
      192.84.137.19/32 \
      192.84.137.20/32 \
      192.84.137.26/32 \
      192.84.138.106/32 \
      192.84.138.69/32 \
      192.84.143.16/32 \
      192.84.143.224/32 \
      192.84.144.16/32 \
      192.84.144.17/32 \
      192.84.145.9/32 \
      192.84.150.78/32\     # CT
      192.84.150.102/32 \   # CT
      192.84.150.109/32 \   # CT
      192.84.151.86/32 \
      192.84.151.89/32 \
      192.84.154.21/32 \
      193.205.159.22/32 \  # Roma3
      193.205.159.60/32 \  # Roma3
      193.205.222.100/32 \
      193.205.222.216/32 \
      193.205.70.3/32 \
      193.206.144.10/32 \
      193.206.144.11/32 \
      193.206.152.19/32 \ # LE
      193.206.152.20/32 \ # LE
      193.206.156.1/32 \ # MiB  ?????
      193.206.156.2/32 \ # MiB
      193.206.157.1/32 \ # MiB  ?????
      193.206.157.2/32 \ # MiB
      212.189.204.2/32 \ # MiB
      193.206.84.202/32 \ # LNF
      193.206.84.245/32 \ # LNF
      212.189.152.99/32 \ 
}
</code>