Parse error: syntax error, unexpected identifier "endstream" in /misc/HomePages/UserHomePages/i57/beckert/pub/Free_Variable_Modal_Tableaux_Extended.pdf on line 7309