Event JSON
{
"id": "15573f32513adae3653002213cc4907f55ac4cf16560e9e5b94674afa9350311",
"pubkey": "c20ca506d10e15baae7d3b78e01bb8b466a40ef062012e99f13371799dec91fc",
"created_at": 1738371601,
"kind": 1,
"tags": [],
"content": "P(131) = 739",
"sig": "a3afe2ccabe4cd2c04443207ba07fe03bd44cb1f9b262e23e0ed54723767fa58b033c0cdaa7f5439675f3c72f7e6d6e6924126d745d938cc5b8d257749be6531"
}
