{
  "default": {
    "mixnet_port_idefix": 28473,
    "mixnet_port_mixnet": 28435,
    "mixnet_port_pano": 28163,
    "mixnet_port_ramix": 27345
  }
}