../../Task/Prime-decomposition/Standard-ML