The script requires a pysynth library
(http://home.arcor.de/mdoege/pysynth/), which is not in the DICE
machines, but can be easily installed like this:

% mkdir pylib
% export PYTHONPATH=[PATH TO pylib]
% easy_install -d pylib/ pysynth

The script can be run like this:
% python pl2wav.py result1

Here result1 is a file generated using saveResult and looks like:
[a, b, c, A]

(must be of length at least 4).

To avoid having to issue the command:

%  export PYTHONPATH=[PATH TO pylib]

on subsequent occasions, make it part of your environment --
on DICE put in your ~/.brc directory:

export PYTHONPATH=[PATH TO pylib]


AS, 6/4/12

with thanks to Rimvydas Naktinis for python script.