4.2.3.35 9alpha-copalyl diphosphate = 9beta-pimara-7,15-diene + diphosphate - -