matches output for trace14.txt !