<> <> <> <<>> TamarinMultDiv: CEDAR PROGRAM IMPORTS = BEGIN <> <<>>