{
    "input": 3735928559,
    "output": "0xdeadbeef"
}