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