doubing map done
symbolic merged