DLPDA (Extended Version)

1:43

2:41

2:57

2:38

2:52

3:42

3:09

3:20

2:55

2:50

2:59

1:56

2:06

2:19

3:09

2:44

3:06

2:30

2:47

2:42

3:04

3:00

3:10

3:06

2:37

3:10