Symbol: divisor_to_dcr