Efficient_Weighted_Path_Order.List_Memo_Functions