{
  "default": {
    "mixnet_port_assurancetourix": 28980,
    "mixnet_port_idefix": 20934,
    "mixnet_port_mixnet": 28435,
    "mixnet_port_pano": 28163,
    "mixnet_port_ramix": 27345
  }
}