Delete lamport3.txt~