Create usu_quad_lex_prob01.pddl