LPP_CMD(BAD)
LPP_CMD(OK)
LPP_CMD(PROBLEM)
LPP_CMD(SOLUTION)
LPP_CMD(SOLVER)
LPP_CMD(BYE)
LPP_CMD(SOLVERS)
LPP_CMD(SET_DEBUG)
LPP_CMD(INFO)