ProE_ various curve equation sets