Res 1 a b (9/48)

Res 1 a b