(For definitions of the other symbols see paragraph 4.1.1. above). a0c0