Initial a.txt