trace {{3b, 3a}, {b, 2a+2b}}