Event JSON
{
"id": "dd0a67ebc48bd654fd6282fafc02d169ee80278b584876e50c27430a8942e38d",
"pubkey": "c20ca506d10e15baae7d3b78e01bb8b466a40ef062012e99f13371799dec91fc",
"created_at": 1738382401,
"kind": 1,
"tags": [],
"content": "P(134) = 757",
"sig": "0c3e8497dd0c44126788cee7ba4c6fb48e7cfd3691b3e7ab2188ad41d43f16e0a5d1d8853cc3a9e66d1f416a1f8ead81665bc994c0d6d518b6a96b1f0e37c2e4"
}
