/*
 File: pager_2.fsc
 Date and Time: Sat Jan 31 11:58:48 2015 
*/
transitive   n
grammar-name "pager_2"
name-space   "NS_pager_2"
thread-name  "Cpager_2"
monolithic   y
file-name    "pager_2.fsc"
no-of-T      569
list-of-native-first-set-terminals 4
   raw_u
   raw_x
   raw_y
   raw_z
end-list-of-native-first-set-terminals 
list-of-transitive-threads 0
end-list-of-transitive-threads 
list-of-used-threads 0
end-list-of-used-threads 
fsm-comments
"Test out David Pager LR(1) resolution page 61."