Event JSON
{
"id": "fdc881048217a5250b42424c0955b67e43100a0b917baa48830f61a7473f6098",
"pubkey": "c20ca506d10e15baae7d3b78e01bb8b466a40ef062012e99f13371799dec91fc",
"created_at": 1738357202,
"kind": 1,
"tags": [],
"content": "P(127) = 709",
"sig": "bb850d53cbb634525e6eb5a29657d611438e431e575002762dc59766421a73e9918e0c097e3ec50b5c84ed440141583785cc12cefdc8ad719b1edd79c19c1695"
}
