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