{"version":3,"file":"coq-DdIF9Dqn.chunk.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":""}