Hyperfinite type II₁ factor