Team: Ulm Sparrows

School: University of Ulm, Germany

Submission #3

Optimizations: 
- change state numbers to wildcards
- try to merge equivalent states
- propagate context information into branches and use it to simplify conditions
  (This feature has improved a lot since yesterday.)
- eliminate unreachable code
- change case statements with large spans to if statements
- eliminate redundant case arms
- join duplicate case arms



Languages used: Haskell for the main algorithm,
		a little C, Lex and Happy for parsing the input


Team Members:
-------------
Walter Guttmann    Computer Science
Peter Schaeffer    Computer Science
Marc Meister       Mathematics     
Mark Dettinger     Computer Science