improved decomposition and runtime. added abstract.txt