id: 3fab5a835449459896ebfef3bbf9ad26
parent_id: d1b3b8275b864381ba4ac9f2874ebd4f
item_type: 1
item_id: 6e98d35480c9412c8a1390f17cda32ea
item_updated_time: 1681839504266
title_diff: "[]"
body_diff: "[{\"diffs\":[[0,\" for Coq tra\"],[1,\"hyuj......................................................\"],[0,\"nslation\\\n- [\"]],\"start1\":796,\"start2\":796,\"length1\":24,\"length2\":82}]"
metadata_diff: {"new":{},"deleted":[]}
encryption_cipher_text: 
encryption_applied: 0
updated_time: 2023-04-18T17:43:06.735Z
created_time: 2023-04-18T17:43:06.735Z
type_: 13