;;; here are those from universal.lst which are still buggy syzygies ; DIFF (should be ok, though)