import BinaryAnd = require("../2024/BinaryAnd");
export = BinaryAnd;