0 # # + # x x + 0 x 0 y 0 + x y + 0 x 1 y 1 + x y + 1 x 1 y 0 + 1 # + x y * # x # * 0 x y 0 * x y * 1 x y + 0 * x y y U empty b b sum empty 0 # sum singl x x sum U x y + sum x sum y prod empty 1 # prod singl x x prod U x y * prod x prod y 0 1 # 0 + 2 AC 1 1 * 2 AC U 2 AC empty 0 sum 1 singl 1 prod 1 FULL ./TRS/CimeAC/bag-sum-prod-bin.trs