Add "3-4-5" example. Rigt now, it usually dies on computing a_7. Minor fixes to other files.