transcripts of working and buggy PHCpack sessions