将可变嵌套列表的大文件转换为JSON

A.布拉格背景我正在寻求转换tex