{
  "PSN J01203194+1203122": {
    "name": "PSN J01203194+1203122",
    "alias": [
      {
        "value": "PSN J01203194+1203122"
      }
    ],
    "ra": [
      {
        "value": "01:20:31.94"
      }
    ],
    "dec": [
      {
        "value": "+12:03:12.2"
      }
    ]
  }
}