{
  "alice": "//Alice",
  "bob": "//Bob",
  "charlie": "//Charlie",
  "dave": "//Dave",
  "eve": "//Eve",
  "ferdie": "//Ferdie"
}