Roamio Basic HDMI output resolution

Have an AV receiver that does HDMI 1.3a.

The TV connected to it works at 720P



On the basic Roamio, can I set the HDMI output to output at 720P? The specs I'm looking at says

HDMI

1080p/24/60

which I'm hoping mean it's highest resolution



The spec also says

Video Output

480i, 480p, 720p, 1080i, 1080p