Experimental tool for shift-resolve parsing (v12.1.1d 2005-12-19) Invoked: ../aut pdn0 -sf input -dp @:1 a:6 b a a a $ @:1 A:5 b:14 a:24 a a $ @:1 A:5 b:14 a:24 E:7 a a $ @:1 A:5 b:14 a:24 E:7 E:15 a a $ @:1 A:5 b:14 a:24 F a a $ @:1 A:5 b:14 A:23 F a a $ @:1 A:5 b:14 E:22 A:35 F a a $ @:1 B:4 E:12 A:20 F a a $ @:1 S:2 F a a $ @:1 E:3 S:8 F:16 a:25 a $ @:1 E:3 S:8 F:16 a:25 E:7 a $ @:1 E:3 S:8 F:16 a:25 E:7 E:15 a $ @:1 E:3 S:8 F:16 a:25 F a $ @:1 S:2 F a $ @:1 E:3 S:8 F:16 a:25 $ @:1 S:2 $ Successful end of parsing.