Event JSON
{
"id": "32f057c7408332685c55565026b2e8fedf18c55e9a16feb61f8cfbcfae60241c",
"pubkey": "c20ca506d10e15baae7d3b78e01bb8b466a40ef062012e99f13371799dec91fc",
"created_at": 1738188002,
"kind": 1,
"tags": [],
"content": "P(80) = 409",
"sig": "c11d3dc8cf5f19a75b12fe72b568c7f7d89e422dc52b45fb998e3d9cff9ded91458ad0d25719b718608f1da5f081285361e5906f564e7bfee0c011dcd3d92b1b"
}
