id: e4a65a3251ab4aa289c370a0b25191ee
parent_id: 13e647398e9a4ee2a6735afb6c089404
item_type: 1
item_id: c66c0433c6a14de9b9a40e5a7316e382
item_updated_time: 1695923968798
title_diff: "[]"
body_diff: "[{\"diffs\":[[0,\"ehammer.\"],[1,\" A very nice paper; shows where Sledgehammer has been successful and where \"],[0,\"\\\n\\\n### Tr\"]],\"start1\":6901,\"start2\":6901,\"length1\":16,\"length2\":91}]"
metadata_diff: {"new":{},"deleted":[]}
encryption_cipher_text: 
encryption_applied: 0
updated_time: 2023-09-28T17:59:29.907Z
created_time: 2023-09-28T17:59:29.907Z
type_: 13