00 con_0 con_0 0 
01 con_0 con_2 0 
10 con_0 con_3 0 
00 con_2 con_2 0 
01 con_2 con_4 0 
10 con_2 con_56 0 
00 con_3 con_3 0 
01 con_3 con_56 0 
10 con_3 con_56 0 
00 con_4 con_4 0 
01 con_4 con_56 0 
10 con_4 con_0 1 
00 con_56 con_56 0 
01 con_56 con_0 1 
10 con_56 con_0 1
.end