.symbolic input
con_0 idle con_0 0 
con_0 dep_2 con_2 0 
con_0 dep_3 con_3 0 
con_2 idle con_2 0 
con_2 dep_2 con_4 0 
con_2 dep_3 con_56 0 
con_3 idle con_3 0 
con_3 dep_2 con_56 0 
con_3 dep_3 con_56 0 
con_4 idle con_4 0 
con_4 dep_2 con_56 0 
con_4 dep_3 con_0 1 
con_56 idle con_56 0 
con_56 dep_2 con_0 1 
con_56 dep_3 con_0 1
.end