(prod ((6-2l) choose 2) for l from 0 to 2)/3!