read `Marko.txt`: Paper1(6,x,y); quit: