import {
  require_coq
} from "./chunk-6QNMXIIF.js";
import "./chunk-2TUXWMP5.js";
export default require_coq();