A customer has strict requirements of 30 fps for recorded video. Which encoder choice would they select if they wanted three streams, per every one encoded channel, of D1 resolution video run at 30 fps in H.264?