Event JSON
{
"id": "3eeb8dd7860d3a4360ed527894a5d4e423dc0f325526d9f9d9953cc5a9491419",
"pubkey": "c20ca506d10e15baae7d3b78e01bb8b466a40ef062012e99f13371799dec91fc",
"created_at": 1738263601,
"kind": 1,
"tags": [],
"content": "P(101) = 547",
"sig": "44ffe4d981dbdced717087460c52339cf30611fc25073a3dfc00c9539169619728cd40a2fd7beb14f055f6e6034dc3e48b1239245d34c6da1e1b9e3e7280edd0"
}
