Parallel Combinator Reduction Machine