Event JSON
{
"id": "143fc4ce2f858162fccb3237efdc558f1766a576302d8a1362f51bd5d10d95b9",
"pubkey": "c20ca506d10e15baae7d3b78e01bb8b466a40ef062012e99f13371799dec91fc",
"created_at": 1738303202,
"kind": 1,
"tags": [],
"content": "P(112) = 613",
"sig": "f80324008637952bba7c5f8dcf4b9c1af448804ab1c925e24417a10d575e2ba7c43bd109e89a31342c32e5fd83d5422ab1a71eadbbf8513f226bda817d5ab0e6"
}
