clear(ordered_res).
set(para_from_small).