T_s(f₁, 0)(f₃, 1)

f₁

f₂

f₃

d

r₂

0

1

1

{1,2}

r₅

0

0

1

{2}