DRGRACE (Explicit)

VERIFIED DRG RACE (Explicit)