Event JSON
{
"id": "971ff9440c70676f5c7f55a06cf1792fc7cccaad62d1f5ff60f20817fca173bc",
"pubkey": "c20ca506d10e15baae7d3b78e01bb8b466a40ef062012e99f13371799dec91fc",
"created_at": 1738314001,
"kind": 1,
"tags": [],
"content": "P(115) = 631",
"sig": "b47faad49a2b886c076ec2d7433acf0bb0d6d480cabfb602b58b7f1572969854f8d433532245c3c2fa93bf68bbd2a37a8a4c119086c1a6f9bf835ceaf0cd0bd1"
}
