Event JSON
{
"id": "283780aa568b29bd044904f1642873b190e9088939ba945aa37e27363d0403b5",
"pubkey": "c20ca506d10e15baae7d3b78e01bb8b466a40ef062012e99f13371799dec91fc",
"created_at": 1738414801,
"kind": 1,
"tags": [],
"content": "P(143) = 823",
"sig": "1c08dd44f6054b12301e4b538be5a04e2af55fc96317f7119eba7bbfae70245baed2d4bf47b04f6c602985706c210c77ac2ce5a95be0fa977b00ce382adadc5c"
}
