Event JSON
{
"id": "535137443ecf71e48d463d5145ac0a36842a39b8281fcb162884db7781f85fa6",
"pubkey": "c20ca506d10e15baae7d3b78e01bb8b466a40ef062012e99f13371799dec91fc",
"created_at": 1738364401,
"kind": 1,
"tags": [],
"content": "P(129) = 727",
"sig": "30b45bae5481c1851ab2829686b7de53b518b2cb4039364f2327d5443fe6598803df19e5fb07373015de4297dfc6e9a7c5b3933247d5ed48ae12e428e288c38d"
}
