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