Arturo Espinosa Aldama <arturo@nuclecu.unam.mx> - Main author.
Cyrille Artho          <cartho@netlink.ch> - busy beaver, dashnumbers and typo 
                                             corrections.
