逻辑导出exp/导入imp