update README, update decomposition rules