single["efron"] = "efron";
single["boneh"] = "boneh";
single["solow"] = "solow";
+ single["shen"] = "shen";
single["default"] = "default";
}
catch(exception& e) {
summary["efron"] = "efron";
summary["boneh"] = "boneh";
summary["solow"] = "solow";
+ summary["shen"] = "shen";
summary["default"] = "default";
}
catch(exception& e) {