Depends on how you want to operate the doghouse config... Lead/Lag, etc.
Michigan standard left turn with flashing red was programmed as follows. EPIC did not follow NEMA phasing guidelines...meaning odds and evens didn't always relate to left turns and through movements respectively.
V1: Thru Main
V2 Left Main
V3 Thru Cross
V4: Left Cross
P1: Ped Main
P3: Ped Cross
VA: Right Arrow Main
VB: Right Arrow Cross
Here is the chart I drew up for the old standard sequence that was often programmed into EPIC 140 controllers:

Each row designates an interval that the controller times...under Signal Plan Data>> Interval Times from the main menu
Each column is the output status that is programmed in code under Signal Plan Data. This chart is for a full Michigan intersection with flashing red on all four approaches, peds, and a single section right turn arrow.