Initial propDis.txt