Event JSON
{
"id": "12ff31fefabd7dd4ba30d786cd41fc64299ef27403bdcf0188ec7ee4b35bd164",
"pubkey": "c20ca506d10e15baae7d3b78e01bb8b466a40ef062012e99f13371799dec91fc",
"created_at": 1738465202,
"kind": 1,
"tags": [],
"content": "P(157) = 919",
"sig": "884164ed772625e635aa05238e1d17f859d3601f171f99feef2ecf39bbe96f6e7a375a062c005c632e9c4b29957aff2bea405ab358055be14b8b833fa2f1a94f"
}
