Event JSON
{
"id": "61b2517f43f4d0b20ea8374295bdfcec4a48f9c01b3518f69c7a338dce43381c",
"pubkey": "c20ca506d10e15baae7d3b78e01bb8b466a40ef062012e99f13371799dec91fc",
"created_at": 1738306801,
"kind": 1,
"tags": [],
"content": "P(113) = 617",
"sig": "756f95c9b0168e1d428922f3c8b5a79b9f9b294c645aa8d58b9318a15bc51f5e773f3030568eee22be1fa1310171fd659cb5651c1b7946c8ddaac0e5fba7a907"
}
