added expected values for testcases (not yet checked against paper).