Prog5 for finding DLog is optimized.