source: vis_dev/vis-2.1/examples/elevator/emodel.blif @ 11

.model elevator
.inputs init<0>0 init<1>0 location<0>0 location<1>0 buttons<*0*>0 buttons<*1*>0 buttons<*2*>0 stop_next0 direction0 door0 door1 movement0 open_next0 continue0 
.outputs _n2450 _n25c<*0*>0 _n25c<*1*>0 _n25c<*2*>0 _n29d0 _n29d1 _n2b4<0>0 _n2b4<1>0 _n2b60 _n2cd0 dec0 inc0 
.outputs movement$raw_n1a0
.outputs buttons$raw_n1b<*2*>0
.outputs buttons$raw_n2d<*2*>0
.outputs buttons$raw_n3f<*2*>0
.outputs buttons$raw_n1b<*0*>0
.outputs buttons$raw_n2d<*0*>0
.outputs buttons$raw_n3f<*0*>0
.outputs door$raw_n190
.outputs door$raw_n191
.outputs location$raw_n17<0>0
.outputs buttons$raw_n1b<*1*>0
.outputs buttons$raw_n2d<*1*>0
.outputs buttons$raw_n3f<*1*>0
.outputs direction$raw_n180
.outputs open_next$raw_n160
.outputs location$raw_n17<1>0
.names open_next$raw_n160
0
.names init<0>0 location$raw_n17<0>0 
1 1
.names init<1>0 location$raw_n17<1>0 
1 1
.names direction$raw_n180
0
.names door$raw_n191
0
.names door$raw_n190
0
.names movement$raw_n1a0
0
.names _n1d<0>0
0
.names _n1d<1>0
0
.names _n1e<0>0
0
.names _n1e<1>0
0
.names _n1e<0>0 _n1d<0>0 _n20<0>0 
01 1
10 1
.names _n1e<1>0 _n1d<1>0 _n20<1>0 
01 1
10 1
.names _n210_b _n210
0 1
.names _n20<0>0 _n20<1>0 _n210_b 
00 1
.names _n210 _n1f0 
0 1
.names _n220
0
.names _n1c0 _n220 _n1f0 buttons$raw_n1b<*0*>0 
-10 1
1-1 1
.names _n23<0>0
1
.names _n23<1>0
0
.names _n23<0>0 _n1d<0>0 _n25<0>0 
01 1
10 1
.names _n23<1>0 _n1d<1>0 _n25<1>0 
01 1
10 1
.names _n260_b _n260
0 1
.names _n25<0>0 _n25<1>0 _n260_b 
00 1
.names _n260 _n240 
0 1
.names _n270
0
.names _n1c0 _n270 _n240 buttons$raw_n1b<*1*>0 
-10 1
1-1 1
.names _n28<0>0
0
.names _n28<1>0
1
.names _n28<0>0 _n1d<0>0 _n2a<0>0 
01 1
10 1
.names _n28<1>0 _n1d<1>0 _n2a<1>0 
01 1
10 1
.names _n2b0_b _n2b0
0 1
.names _n2a<0>0 _n2a<1>0 _n2b0_b 
00 1
.names _n2b0 _n290 
0 1
.names _n2c0
0
.names _n1c0 _n2c0 _n290 buttons$raw_n1b<*2*>0 
-10 1
1-1 1
.names _n1c0
1
.names _n2f<0>0
1
.names _n2f<1>0
0
.names _n30<0>0
0
.names _n30<1>0
0
.names _n30<0>0 _n2f<0>0 _n32<0>0 
01 1
10 1
.names _n30<1>0 _n2f<1>0 _n32<1>0 
01 1
10 1
.names _n330_b _n330
0 1
.names _n32<0>0 _n32<1>0 _n330_b 
00 1
.names _n330 _n310 
0 1
.names _n340
0
.names _n2e0 _n340 _n310 buttons$raw_n2d<*0*>0 
-10 1
1-1 1
.names _n35<0>0
1
.names _n35<1>0
0
.names _n35<0>0 _n2f<0>0 _n37<0>0 
01 1
10 1
.names _n35<1>0 _n2f<1>0 _n37<1>0 
01 1
10 1
.names _n380_b _n380
0 1
.names _n37<0>0 _n37<1>0 _n380_b 
00 1
.names _n380 _n360 
0 1
.names _n390
0
.names _n2e0 _n390 _n360 buttons$raw_n2d<*1*>0 
-10 1
1-1 1
.names _n3a<0>0
0
.names _n3a<1>0
1
.names _n3a<0>0 _n2f<0>0 _n3c<0>0 
01 1
10 1
.names _n3a<1>0 _n2f<1>0 _n3c<1>0 
01 1
10 1
.names _n3d0_b _n3d0
0 1
.names _n3c<0>0 _n3c<1>0 _n3d0_b 
00 1
.names _n3d0 _n3b0 
0 1
.names _n3e0
0
.names _n2e0 _n3e0 _n3b0 buttons$raw_n2d<*2*>0 
-10 1
1-1 1
.names _n2e0
1
.names _n41<0>0
0
.names _n41<1>0
1
.names _n42<0>0
0
.names _n42<1>0
0
.names _n42<0>0 _n41<0>0 _n44<0>0 
01 1
10 1
.names _n42<1>0 _n41<1>0 _n44<1>0 
01 1
10 1
.names _n450_b _n450
0 1
.names _n44<0>0 _n44<1>0 _n450_b 
00 1
.names _n450 _n430 
0 1
.names _n460
0
.names _n400 _n460 _n430 buttons$raw_n3f<*0*>0 
-10 1
1-1 1
.names _n47<0>0
1
.names _n47<1>0
0
.names _n47<0>0 _n41<0>0 _n49<0>0 
01 1
10 1
.names _n47<1>0 _n41<1>0 _n49<1>0 
01 1
10 1
.names _n4a0_b _n4a0
0 1
.names _n49<0>0 _n49<1>0 _n4a0_b 
00 1
.names _n4a0 _n480 
0 1
.names _n4b0
0
.names _n400 _n4b0 _n480 buttons$raw_n3f<*1*>0 
-10 1
1-1 1
.names _n4c<0>0
0
.names _n4c<1>0
1
.names _n4c<0>0 _n41<0>0 _n4e<0>0 
01 1
10 1
.names _n4c<1>0 _n41<1>0 _n4e<1>0 
01 1
10 1
.names _n4f0_b _n4f0
0 1
.names _n4e<0>0 _n4e<1>0 _n4f0_b 
00 1
.names _n4f0 _n4d0 
0 1
.names _n500
0
.names _n400 _n500 _n4d0 buttons$raw_n3f<*2*>0 
-10 1
1-1 1
.names _n400
1
.inputs [0]0
.names [0]0 random_push<0>0 
1 1
.inputs [1]0
.names [1]0 random_push<1>0 
1 1
.inputs [2]0
.names [2]0 random_push<2>0 
1 1
.names _n55<0>0
0
.names _n55<1>0
1
.names location<0>0 _n55<0>0 _n56<0>0 
01 1
10 1
.names location<1>0 _n55<1>0 _n56<1>0 
01 1
10 1
.names _n570_b _n570
0 1
.names _n56<0>0 _n56<1>0 _n570_b 
00 1
.names _n570 _n540 
0 1
.names _n59<0>0
1
.names _n59<1>0
0
.names buttons<*0*>0 buttons<*1*>0 buttons<*2*>0 _n59<1>0 _n59<0>0 _n5a0 
1--00 1
-1-01 1
--110 1
.names _n5b0
0
.names _n5a0 _n5b0 _n580 
00 1
11 1
.names _n5d<0>0
0
.names _n5d<1>0
0
.names buttons<*0*>0 buttons<*1*>0 buttons<*2*>0 _n5d<1>0 _n5d<0>0 _n5e0 
1--00 1
-1-01 1
--110 1
.names _n5f0
0
.names _n5e0 _n5f0 _n5c0 
00 1
11 1
.names _n600_b _n600
0 1
.names _n580 _n5c0 _n600_b 
00 1
.names _n540 _n600 _n610 
11 1
.names _n63<0>0
1
.names _n63<1>0
0
.names location<0>0 _n63<0>0 _n64<0>0 
01 1
10 1
.names location<1>0 _n63<1>0 _n64<1>0 
01 1
10 1
.names _n650_b _n650
0 1
.names _n64<0>0 _n64<1>0 _n650_b 
00 1
.names _n650 _n620 
0 1
.names _n67<0>0
0
.names _n67<1>0
0
.names buttons<*0*>0 buttons<*1*>0 buttons<*2*>0 _n67<1>0 _n67<0>0 _n680 
1--00 1
-1-01 1
--110 1
.names _n690
0
.names _n680 _n690 _n660 
00 1
11 1
.names _n620 _n660 _n6a0 
11 1
.names _n6b0_b _n6b0
0 1
.names _n610 _n6a0 _n6b0_b 
00 1
.names _n6b0 button_below$raw_n530 
1 1
.names _n6e<0>0
0
.names _n6e<1>0
0
.names location<0>0 _n6e<0>0 _n6f<0>0 
01 1
10 1
.names location<1>0 _n6e<1>0 _n6f<1>0 
01 1
10 1
.names _n700_b _n700
0 1
.names _n6f<0>0 _n6f<1>0 _n700_b 
00 1
.names _n700 _n6d0 
0 1
.names _n72<0>0
0
.names _n72<1>0
1
.names buttons<*0*>0 buttons<*1*>0 buttons<*2*>0 _n72<1>0 _n72<0>0 _n730 
1--00 1
-1-01 1
--110 1
.names _n740
0
.names _n730 _n740 _n710 
00 1
11 1
.names _n76<0>0
1
.names _n76<1>0
0
.names buttons<*0*>0 buttons<*1*>0 buttons<*2*>0 _n76<1>0 _n76<0>0 _n770 
1--00 1
-1-01 1
--110 1
.names _n780
0
.names _n770 _n780 _n750 
00 1
11 1
.names _n790_b _n790
0 1
.names _n710 _n750 _n790_b 
00 1
.names _n6d0 _n790 _n7a0 
11 1
.names _n7c<0>0
1
.names _n7c<1>0
0
.names location<0>0 _n7c<0>0 _n7d<0>0 
01 1
10 1
.names location<1>0 _n7c<1>0 _n7d<1>0 
01 1
10 1
.names _n7e0_b _n7e0
0 1
.names _n7d<0>0 _n7d<1>0 _n7e0_b 
00 1
.names _n7e0 _n7b0 
0 1
.names _n80<0>0
0
.names _n80<1>0
1
.names buttons<*0*>0 buttons<*1*>0 buttons<*2*>0 _n80<1>0 _n80<0>0 _n810 
1--00 1
-1-01 1
--110 1
.names _n820
0
.names _n810 _n820 _n7f0 
00 1
11 1
.names _n7b0 _n7f0 _n830 
11 1
.names _n840_b _n840
0 1
.names _n7a0 _n830 _n840_b 
00 1
.names _n840 button_above$raw_n6c0 
1 1
.names _n86<0>0
0
.names _n86<1>0
0
.names _n86<0>0 location<0>0 _n87<0>0 
01 1
10 1
.names _n86<1>0 location<1>0 _n87<1>0 
01 1
10 1
.names _n880_b _n880
0 1
.names _n87<0>0 _n87<1>0 _n880_b 
00 1
.names _n880 _n850 
0 1
.names _n850 _n890 
1 1
.names _n8c<0>0
0
.names _n8c<1>0
0
.names _n8d<0>0
0
.names _n8d<1>0
0
.names _n8d<0>0 _n8c<0>0 _n8f<0>0 
01 1
10 1
.names _n8d<1>0 _n8c<1>0 _n8f<1>0 
01 1
10 1
.names _n900_b _n900
0 1
.names _n8f<0>0 _n8f<1>0 _n900_b 
00 1
.names _n900 _n8e0 
0 1
.names _n8b0 buttons<*0*>0 _n8e0 buttons$_n85_n8a$true<*0*>0 
-10 1
1-1 1
.names _n91<0>0
1
.names _n91<1>0
0
.names _n91<0>0 _n8c<0>0 _n93<0>0 
01 1
10 1
.names _n91<1>0 _n8c<1>0 _n93<1>0 
01 1
10 1
.names _n940_b _n940
0 1
.names _n93<0>0 _n93<1>0 _n940_b 
00 1
.names _n940 _n920 
0 1
.names _n8b0 buttons<*1*>0 _n920 buttons$_n85_n8a$true<*1*>0 
-10 1
1-1 1
.names _n95<0>0
0
.names _n95<1>0
1
.names _n95<0>0 _n8c<0>0 _n97<0>0 
01 1
10 1
.names _n95<1>0 _n8c<1>0 _n97<1>0 
01 1
10 1
.names _n980_b _n980
0 1
.names _n97<0>0 _n97<1>0 _n980_b 
00 1
.names _n980 _n960 
0 1
.names _n8b0 buttons<*2*>0 _n960 buttons$_n85_n8a$true<*2*>0 
-10 1
1-1 1
.names _n8b0
1
.names _n9a0_b _n9a0
0 1
.names random_push<0>0 _n9a0_b 
0 1
.names _n9a0 _n990 
1 1
.names _n9d<0>0
0
.names _n9d<1>0
0
.names _n9e<0>0
0
.names _n9e<1>0
0
.names _n9e<0>0 _n9d<0>0 _na0<0>0 
01 1
10 1
.names _n9e<1>0 _n9d<1>0 _na0<1>0 
01 1
10 1
.names _na10_b _na10
0 1
.names _na0<0>0 _na0<1>0 _na10_b 
00 1
.names _na10 _n9f0 
0 1
.names _n9c0 buttons<*0*>0 _n9f0 buttons$random_push_n9b$true<*0*>0 
-10 1
1-1 1
.names _na2<0>0
1
.names _na2<1>0
0
.names _na2<0>0 _n9d<0>0 _na4<0>0 
01 1
10 1
.names _na2<1>0 _n9d<1>0 _na4<1>0 
01 1
10 1
.names _na50_b _na50
0 1
.names _na4<0>0 _na4<1>0 _na50_b 
00 1
.names _na50 _na30 
0 1
.names _n9c0 buttons<*1*>0 _na30 buttons$random_push_n9b$true<*1*>0 
-10 1
1-1 1
.names _na6<0>0
0
.names _na6<1>0
1
.names _na6<0>0 _n9d<0>0 _na8<0>0 
01 1
10 1
.names _na6<1>0 _n9d<1>0 _na8<1>0 
01 1
10 1
.names _na90_b _na90
0 1
.names _na8<0>0 _na8<1>0 _na90_b 
00 1
.names _na90 _na70 
0 1
.names _n9c0 buttons<*2*>0 _na70 buttons$random_push_n9b$true<*2*>0 
-10 1
1-1 1
.names _n9c0
0
.names _nad0_b _nad0
0 1
.names random_push<0>0 _nad0_b 
0 1
.names buttons$random_push_n9b$true<*0*>0 buttons<*0*>0 _nad0 buttons$random_push$raw_nac<*0*>0 
-10 1
1-1 1
.names buttons$random_push_n9b$true<*1*>0 buttons<*1*>0 _nad0 buttons$random_push$raw_nac<*1*>0 
-10 1
1-1 1
.names buttons$random_push_n9b$true<*2*>0 buttons<*2*>0 _nad0 buttons$random_push$raw_nac<*2*>0 
-10 1
1-1 1
.names buttons$_n85_n8a$true<*0*>0 buttons$random_push$raw_nac<*0*>0 _n850 buttons$_n85$raw_naf<*0*>0 
-10 1
1-1 1
.names buttons$_n85_n8a$true<*1*>0 buttons$random_push$raw_nac<*1*>0 _n850 buttons$_n85$raw_naf<*1*>0 
-10 1
1-1 1
.names buttons$_n85_n8a$true<*2*>0 buttons$random_push$raw_nac<*2*>0 _n850 buttons$_n85$raw_naf<*2*>0 
-10 1
1-1 1
.names _nb3<0>0
1
.names _nb3<1>0
0
.names _nb3<0>0 location<0>0 _nb4<0>0 
01 1
10 1
.names _nb3<1>0 location<1>0 _nb4<1>0 
01 1
10 1
.names _nb50_b _nb50
0 1
.names _nb4<0>0 _nb4<1>0 _nb50_b 
00 1
.names _nb50 _nb20 
0 1
.names _nb20 _nb60 
1 1
.names _nb9<0>0
1
.names _nb9<1>0
0
.names _nba<0>0
0
.names _nba<1>0
0
.names _nba<0>0 _nb9<0>0 _nbc<0>0 
01 1
10 1
.names _nba<1>0 _nb9<1>0 _nbc<1>0 
01 1
10 1
.names _nbd0_b _nbd0
0 1
.names _nbc<0>0 _nbc<1>0 _nbd0_b 
00 1
.names _nbd0 _nbb0 
0 1
.names _nb80 buttons$_n85$raw_naf<*0*>0 _nbb0 buttons$_nb2_nb7$true<*0*>0 
-10 1
1-1 1
.names _nbe<0>0
1
.names _nbe<1>0
0
.names _nbe<0>0 _nb9<0>0 _nc0<0>0 
01 1
10 1
.names _nbe<1>0 _nb9<1>0 _nc0<1>0 
01 1
10 1
.names _nc10_b _nc10
0 1
.names _nc0<0>0 _nc0<1>0 _nc10_b 
00 1
.names _nc10 _nbf0 
0 1
.names _nb80 buttons$_n85$raw_naf<*1*>0 _nbf0 buttons$_nb2_nb7$true<*1*>0 
-10 1
1-1 1
.names _nc2<0>0
0
.names _nc2<1>0
1
.names _nc2<0>0 _nb9<0>0 _nc4<0>0 
01 1
10 1
.names _nc2<1>0 _nb9<1>0 _nc4<1>0 
01 1
10 1
.names _nc50_b _nc50
0 1
.names _nc4<0>0 _nc4<1>0 _nc50_b 
00 1
.names _nc50 _nc30 
0 1
.names _nb80 buttons$_n85$raw_naf<*2*>0 _nc30 buttons$_nb2_nb7$true<*2*>0 
-10 1
1-1 1
.names _nb80
1
.names _nc70_b _nc70
0 1
.names random_push<1>0 _nc70_b 
0 1
.names _nc70 _nc60 
1 1
.names _nca<0>0
1
.names _nca<1>0
0
.names _ncb<0>0
0
.names _ncb<1>0
0
.names _ncb<0>0 _nca<0>0 _ncd<0>0 
01 1
10 1
.names _ncb<1>0 _nca<1>0 _ncd<1>0 
01 1
10 1
.names _nce0_b _nce0
0 1
.names _ncd<0>0 _ncd<1>0 _nce0_b 
00 1
.names _nce0 _ncc0 
0 1
.names _nc90 buttons$_n85$raw_naf<*0*>0 _ncc0 buttons$random_push_nc8$true<*0*>0 
-10 1
1-1 1
.names _ncf<0>0
1
.names _ncf<1>0
0
.names _ncf<0>0 _nca<0>0 _nd1<0>0 
01 1
10 1
.names _ncf<1>0 _nca<1>0 _nd1<1>0 
01 1
10 1
.names _nd20_b _nd20
0 1
.names _nd1<0>0 _nd1<1>0 _nd20_b 
00 1
.names _nd20 _nd00 
0 1
.names _nc90 buttons$_n85$raw_naf<*1*>0 _nd00 buttons$random_push_nc8$true<*1*>0 
-10 1
1-1 1
.names _nd3<0>0
0
.names _nd3<1>0
1
.names _nd3<0>0 _nca<0>0 _nd5<0>0 
01 1
10 1
.names _nd3<1>0 _nca<1>0 _nd5<1>0 
01 1
10 1
.names _nd60_b _nd60
0 1
.names _nd5<0>0 _nd5<1>0 _nd60_b 
00 1
.names _nd60 _nd40 
0 1
.names _nc90 buttons$_n85$raw_naf<*2*>0 _nd40 buttons$random_push_nc8$true<*2*>0 
-10 1
1-1 1
.names _nc90
0
.names _nd80_b _nd80
0 1
.names random_push<1>0 _nd80_b 
0 1
.names buttons$random_push_nc8$true<*0*>0 buttons$_n85$raw_naf<*0*>0 _nd80 buttons$random_push$raw_nd7<*0*>0 
-10 1
1-1 1
.names buttons$random_push_nc8$true<*1*>0 buttons$_n85$raw_naf<*1*>0 _nd80 buttons$random_push$raw_nd7<*1*>0 
-10 1
1-1 1
.names buttons$random_push_nc8$true<*2*>0 buttons$_n85$raw_naf<*2*>0 _nd80 buttons$random_push$raw_nd7<*2*>0 
-10 1
1-1 1
.names buttons$_nb2_nb7$true<*0*>0 buttons$random_push$raw_nd7<*0*>0 _nb20 buttons$_nb2$raw_ndc<*0*>0 
-10 1
1-1 1
.names buttons$_nb2_nb7$true<*1*>0 buttons$random_push$raw_nd7<*1*>0 _nb20 buttons$_nb2$raw_ndc<*1*>0 
-10 1
1-1 1
.names buttons$_nb2_nb7$true<*2*>0 buttons$random_push$raw_nd7<*2*>0 _nb20 buttons$_nb2$raw_ndc<*2*>0 
-10 1
1-1 1
.names _ne1<0>0
0
.names _ne1<1>0
1
.names _ne1<0>0 location<0>0 _ne2<0>0 
01 1
10 1
.names _ne1<1>0 location<1>0 _ne2<1>0 
01 1
10 1
.names _ne30_b _ne30
0 1
.names _ne2<0>0 _ne2<1>0 _ne30_b 
00 1
.names _ne30 _ne00 
0 1
.names _ne00 _ne40 
1 1
.names _ne7<0>0
0
.names _ne7<1>0
1
.names _ne8<0>0
0
.names _ne8<1>0
0
.names _ne8<0>0 _ne7<0>0 _nea<0>0 
01 1
10 1
.names _ne8<1>0 _ne7<1>0 _nea<1>0 
01 1
10 1
.names _neb0_b _neb0
0 1
.names _nea<0>0 _nea<1>0 _neb0_b 
00 1
.names _neb0 _ne90 
0 1
.names _ne60 buttons$_nb2$raw_ndc<*0*>0 _ne90 buttons$_ne0_ne5$true<*0*>0 
-10 1
1-1 1
.names _nec<0>0
1
.names _nec<1>0
0
.names _nec<0>0 _ne7<0>0 _nee<0>0 
01 1
10 1
.names _nec<1>0 _ne7<1>0 _nee<1>0 
01 1
10 1
.names _nef0_b _nef0
0 1
.names _nee<0>0 _nee<1>0 _nef0_b 
00 1
.names _nef0 _ned0 
0 1
.names _ne60 buttons$_nb2$raw_ndc<*1*>0 _ned0 buttons$_ne0_ne5$true<*1*>0 
-10 1
1-1 1
.names _nf0<0>0
0
.names _nf0<1>0
1
.names _nf0<0>0 _ne7<0>0 _nf2<0>0 
01 1
10 1
.names _nf0<1>0 _ne7<1>0 _nf2<1>0 
01 1
10 1
.names _nf30_b _nf30
0 1
.names _nf2<0>0 _nf2<1>0 _nf30_b 
00 1
.names _nf30 _nf10 
0 1
.names _ne60 buttons$_nb2$raw_ndc<*2*>0 _nf10 buttons$_ne0_ne5$true<*2*>0 
-10 1
1-1 1
.names _ne60
1
.names _nf50_b _nf50
0 1
.names random_push<2>0 _nf50_b 
0 1
.names _nf50 _nf40 
1 1
.names _nf8<0>0
0
.names _nf8<1>0
1
.names _nf9<0>0
0
.names _nf9<1>0
0
.names _nf9<0>0 _nf8<0>0 _nfb<0>0 
01 1
10 1
.names _nf9<1>0 _nf8<1>0 _nfb<1>0 
01 1
10 1
.names _nfc0_b _nfc0
0 1
.names _nfb<0>0 _nfb<1>0 _nfc0_b 
00 1
.names _nfc0 _nfa0 
0 1
.names _nf70 buttons$_nb2$raw_ndc<*0*>0 _nfa0 buttons$random_push_nf6$true<*0*>0 
-10 1
1-1 1
.names _nfd<0>0
1
.names _nfd<1>0
0
.names _nfd<0>0 _nf8<0>0 _nff<0>0 
01 1
10 1
.names _nfd<1>0 _nf8<1>0 _nff<1>0 
01 1
10 1
.names _n1000_b _n1000
0 1
.names _nff<0>0 _nff<1>0 _n1000_b 
00 1
.names _n1000 _nfe0 
0 1
.names _nf70 buttons$_nb2$raw_ndc<*1*>0 _nfe0 buttons$random_push_nf6$true<*1*>0 
-10 1
1-1 1
.names _n101<0>0
0
.names _n101<1>0
1
.names _n101<0>0 _nf8<0>0 _n103<0>0 
01 1
10 1
.names _n101<1>0 _nf8<1>0 _n103<1>0 
01 1
10 1
.names _n1040_b _n1040
0 1
.names _n103<0>0 _n103<1>0 _n1040_b 
00 1
.names _n1040 _n1020 
0 1
.names _nf70 buttons$_nb2$raw_ndc<*2*>0 _n1020 buttons$random_push_nf6$true<*2*>0 
-10 1
1-1 1
.names _nf70
0
.names _n1060_b _n1060
0 1
.names random_push<2>0 _n1060_b 
0 1
.names buttons$random_push_nf6$true<*0*>0 buttons$_nb2$raw_ndc<*0*>0 _n1060 buttons$random_push$raw_n105<*0*>0 
-10 1
1-1 1
.names buttons$random_push_nf6$true<*1*>0 buttons$_nb2$raw_ndc<*1*>0 _n1060 buttons$random_push$raw_n105<*1*>0 
-10 1
1-1 1
.names buttons$random_push_nf6$true<*2*>0 buttons$_nb2$raw_ndc<*2*>0 _n1060 buttons$random_push$raw_n105<*2*>0 
-10 1
1-1 1
.names buttons$_ne0_ne5$true<*0*>0 buttons$random_push$raw_n105<*0*>0 _ne00 buttons$_ne0$raw_n10a<*0*>0 
-10 1
1-1 1
.names buttons$_ne0_ne5$true<*1*>0 buttons$random_push$raw_n105<*1*>0 _ne00 buttons$_ne0$raw_n10a<*1*>0 
-10 1
1-1 1
.names buttons$_ne0_ne5$true<*2*>0 buttons$random_push$raw_n105<*2*>0 _ne00 buttons$_ne0$raw_n10a<*2*>0 
-10 1
1-1 1
.names stop_next0 _n10e0 
1 1
.names _n1100
0
.names direction0 _n1100 _n10f0 
00 1
11 1
.names _n10f0 _n1110 
1 1
.names _n113<0>0
1
.names _n113<1>0
0
.names _n1150
0
.names location<0>0 _n113<0>0 _n1150 _n114<0>0 
001 1
010 1
100 1
111 1
.names _n1170
0
.names location<0>0 _n113<0>0 _n1170 _n1160 
011 1
101 1
110 1
111 1
.names location<1>0 _n113<1>0 _n1160 _n114<1>0 
001 1
010 1
100 1
111 1
.names _n119<0>0
0
.names _n119<1>0
0
.names _n119<0>0 _n114<0>0 _n11b<0>0 
01 1
10 1
.names _n119<1>0 _n114<1>0 _n11b<1>0 
01 1
10 1
.names _n11c0_b _n11c0
0 1
.names _n11b<0>0 _n11b<1>0 _n11c0_b 
00 1
.names _n11c0 _n11a0 
0 1
.names _n1180 buttons$_ne0$raw_n10a<*0*>0 _n11a0 buttons$_n10f_n112$true<*0*>0 
-10 1
1-1 1
.names _n11d<0>0
1
.names _n11d<1>0
0
.names _n11d<0>0 _n114<0>0 _n11f<0>0 
01 1
10 1
.names _n11d<1>0 _n114<1>0 _n11f<1>0 
01 1
10 1
.names _n1200_b _n1200
0 1
.names _n11f<0>0 _n11f<1>0 _n1200_b 
00 1
.names _n1200 _n11e0 
0 1
.names _n1180 buttons$_ne0$raw_n10a<*1*>0 _n11e0 buttons$_n10f_n112$true<*1*>0 
-10 1
1-1 1
.names _n121<0>0
0
.names _n121<1>0
1
.names _n121<0>0 _n114<0>0 _n123<0>0 
01 1
10 1
.names _n121<1>0 _n114<1>0 _n123<1>0 
01 1
10 1
.names _n1240_b _n1240
0 1
.names _n123<0>0 _n123<1>0 _n1240_b 
00 1
.names _n1240 _n1220 
0 1
.names _n1180 buttons$_ne0$raw_n10a<*2*>0 _n1220 buttons$_n10f_n112$true<*2*>0 
-10 1
1-1 1
.names _n1180
0
.names _n126<0>0
1
.names _n126<1>0
0
.names _n1280
0
.names location<0>0 _n126<0>0 _n1280 _n127<0>0 
001 1
010 1
100 1
111 1
.names _n12a0
0
.names location<0>0 _n126<0>0 _n12a0 _n1290 
001 1
010 1
011 1
111 1
.names location<1>0 _n126<1>0 _n1290 _n127<1>0 
001 1
010 1
100 1
111 1
.names _n12c<0>0
0
.names _n12c<1>0
0
.names _n12c<0>0 _n127<0>0 _n12e<0>0 
01 1
10 1
.names _n12c<1>0 _n127<1>0 _n12e<1>0 
01 1
10 1
.names _n12f0_b _n12f0
0 1
.names _n12e<0>0 _n12e<1>0 _n12f0_b 
00 1
.names _n12f0 _n12d0 
0 1
.names _n12b0 buttons$_ne0$raw_n10a<*0*>0 _n12d0 buttons$_n10f_n125$false<*0*>0 
-10 1
1-1 1
.names _n130<0>0
1
.names _n130<1>0
0
.names _n130<0>0 _n127<0>0 _n132<0>0 
01 1
10 1
.names _n130<1>0 _n127<1>0 _n132<1>0 
01 1
10 1
.names _n1330_b _n1330
0 1
.names _n132<0>0 _n132<1>0 _n1330_b 
00 1
.names _n1330 _n1310 
0 1
.names _n12b0 buttons$_ne0$raw_n10a<*1*>0 _n1310 buttons$_n10f_n125$false<*1*>0 
-10 1
1-1 1
.names _n134<0>0
0
.names _n134<1>0
1
.names _n134<0>0 _n127<0>0 _n136<0>0 
01 1
10 1
.names _n134<1>0 _n127<1>0 _n136<1>0 
01 1
10 1
.names _n1370_b _n1370
0 1
.names _n136<0>0 _n136<1>0 _n1370_b 
00 1
.names _n1370 _n1350 
0 1
.names _n12b0 buttons$_ne0$raw_n10a<*2*>0 _n1350 buttons$_n10f_n125$false<*2*>0 
-10 1
1-1 1
.names _n12b0
0
.names buttons$_n10f_n112$true<*0*>0 buttons$_n10f_n125$false<*0*>0 _n10f0 buttons$_n10f$raw_n138<*0*>0 
-10 1
1-1 1
.names buttons$_n10f_n112$true<*1*>0 buttons$_n10f_n125$false<*1*>0 _n10f0 buttons$_n10f$raw_n138<*1*>0 
-10 1
1-1 1
.names buttons$_n10f_n112$true<*2*>0 buttons$_n10f_n125$false<*2*>0 _n10f0 buttons$_n10f$raw_n138<*2*>0 
-10 1
1-1 1
.names buttons$_n10f$raw_n138<*0*>0 buttons$_ne0$raw_n10a<*0*>0 stop_next0 buttons$stop_next$raw_n13c<*0*>0 
-10 1
1-1 1
.names buttons$_n10f$raw_n138<*1*>0 buttons$_ne0$raw_n10a<*1*>0 stop_next0 buttons$stop_next$raw_n13c<*1*>0 
-10 1
1-1 1
.names buttons$_n10f$raw_n138<*2*>0 buttons$_ne0$raw_n10a<*2*>0 stop_next0 buttons$stop_next$raw_n13c<*2*>0 
-10 1
1-1 1
.names _n1411
1
.names _n1410
0
.names _n1400_b _n1400
0 1
.names door0 door1 _n1410 _n1411 _n1400_b 
0000 1
1010 1
0101 1
1111 1
.names _n1400 _n1420 
1 1
.names open_next$_n140_n143$true0
0
.names _n1450
1
.names movement0 _n1450 _n1440 
00 1
11 1
.names _n1470
0
.names direction0 _n1470 _n1460 
00 1
11 1
.names _n149<0>0
1
.names _n149<1>0
0
.names _n14b0
0
.names location<0>0 _n149<0>0 _n14b0 _n14a<0>0 
001 1
010 1
100 1
111 1
.names _n14d0
0
.names location<0>0 _n149<0>0 _n14d0 _n14c0 
011 1
101 1
110 1
111 1
.names location<1>0 _n149<1>0 _n14c0 _n14a<1>0 
001 1
010 1
100 1
111 1
.names buttons<*0*>0 buttons<*1*>0 buttons<*2*>0 _n14a<1>0 _n14a<0>0 _n14e0 
1--00 1
-1-01 1
--110 1
.names _n14f0
0
.names _n14e0 _n14f0 _n1480 
00 1
11 1
.names _n1460 _n1480 _n1500 
11 1
.names _n1510_b _n1510
0 1
.names stop_next0 _n1500 _n1510_b 
00 1
.names _n1530
1
.names direction0 _n1530 _n1520 
00 1
11 1
.names _n155<0>0
1
.names _n155<1>0
0
.names _n1570
0
.names location<0>0 _n155<0>0 _n1570 _n156<0>0 
001 1
010 1
100 1
111 1
.names _n1590
0
.names location<0>0 _n155<0>0 _n1590 _n1580 
001 1
010 1
011 1
111 1
.names location<1>0 _n155<1>0 _n1580 _n156<1>0 
001 1
010 1
100 1
111 1
.names buttons<*0*>0 buttons<*1*>0 buttons<*2*>0 _n156<1>0 _n156<0>0 _n15a0 
1--00 1
-1-01 1
--110 1
.names _n15b0
0
.names _n15a0 _n15b0 _n1540 
00 1
11 1
.names _n1520 _n1540 _n15c0 
11 1
.names _n15d0_b _n15d0
0 1
.names _n1510 _n15c0 _n15d0_b 
00 1
.names _n1440 _n15d0 _n15e0 
11 1
.names _n15e0 _n15f0 
1 1
.names open_next$_n15e_n160$true0
1
.names open_next$_n15e_n160$true0 open_next0 _n15e0 open_next$_n15e$raw_n1630 
1-1 1
-10 1
.names open_next$_n140_n143$true0 open_next$_n15e$raw_n1630 _n1400 open_next$_n140$raw_n1660 
1-1 1
-10 1
.inputs [3]0
.names [3]0 random0 
1 1
.names _n16e1
1
.names _n16e0
0
.names door0 door1 _n16e0 _n16e1 _n16d0 
0000 1
1010 1
0101 1
1111 1
.names _n16d0 _n16c0 
1 1
.names _n1700
0
.names movement0 _n1700 _n16f0 
00 1
11 1
.names open_next0 _n16f0 _n1710 
11 1
.names _n1710 _n1720 
1 1
.names door$_n171_n173$true1
0
.names door$_n171_n173$true0
1
.names door$_n171_n173$true0 door$_n171_n173$true1 door0 door1 _n1710 door$_n171$raw_n1760 
--100 1
--110 1
10--1 1
11--1 1
.names door$_n171_n173$true0 door$_n171_n173$true1 door0 door1 _n1710 door$_n171$raw_n1761 
--010 1
--110 1
01--1 1
11--1 1
.names _n1791
0
.names _n1790
1
.names door0 door1 _n1790 _n1791 _n1780 
0000 1
1010 1
0101 1
1111 1
.names _n1780 _n1770 
1 1
.names random0 _n17a0 
1 1
.names door$random_n17b$true1
0
.names door$random_n17b$true0
0
.names door$random_n17b$true0 door$random_n17b$true1 door0 door1 random0 door$random$raw_n17e0 
--100 1
--110 1
10--1 1
11--1 1
.names door$random_n17b$true0 door$random_n17b$true1 door0 door1 random0 door$random$raw_n17e1 
--010 1
--110 1
01--1 1
11--1 1
.names _n1811
0
.names _n1810
0
.names door0 door1 _n1810 _n1811 _n1800 
0000 1
1010 1
0101 1
1111 1
.names _n1800 _n17f0 
1 1
.names random0 _n1820 
1 1
.names door$random_n183$true1
1
.names door$random_n183$true0
1
.names door$random_n183$true0 door$random_n183$true1 door0 door1 random0 door$random$raw_n1860 
--100 1
--110 1
10--1 1
11--1 1
.names door$random_n183$true0 door$random_n183$true1 door0 door1 random0 door$random$raw_n1861 
--010 1
--110 1
01--1 1
11--1 1
.names _n1891
1
.names _n1890
1
.names door0 door1 _n1890 _n1891 _n1880 
0000 1
1010 1
0101 1
1111 1
.names _n1880 _n1870 
1 1
.names random0 _n18a0 
1 1
.names door$random_n18b$true1
1
.names door$random_n18b$true0
0
.names door$random_n18b$true0 door$random_n18b$true1 door0 door1 random0 door$random$raw_n18e0 
--100 1
--110 1
10--1 1
11--1 1
.names door$random_n18b$true0 door$random_n18b$true1 door0 door1 random0 door$random$raw_n18e1 
--010 1
--110 1
01--1 1
11--1 1
.names door$random$raw_n18e0 door$random$raw_n18e1 door0 door1 _n1870 door$_n187$raw_n1910 
--100 1
--110 1
10--1 1
11--1 1
.names door$random$raw_n18e0 door$random$raw_n18e1 door0 door1 _n1870 door$_n187$raw_n1911 
--010 1
--110 1
01--1 1
11--1 1
.names door$random$raw_n1860 door$random$raw_n1861 door$_n187$raw_n1910 door$_n187$raw_n1911 _n17f0 door$_n17f$raw_n1920 
--100 1
--110 1
10--1 1
11--1 1
.names door$random$raw_n1860 door$random$raw_n1861 door$_n187$raw_n1910 door$_n187$raw_n1911 _n17f0 door$_n17f$raw_n1921 
--010 1
--110 1
01--1 1
11--1 1
.names door$random$raw_n17e0 door$random$raw_n17e1 door$_n17f$raw_n1920 door$_n17f$raw_n1921 _n1770 door$_n177$raw_n1960 
--100 1
--110 1
10--1 1
11--1 1
.names door$random$raw_n17e0 door$random$raw_n17e1 door$_n17f$raw_n1920 door$_n17f$raw_n1921 _n1770 door$_n177$raw_n1961 
--010 1
--110 1
01--1 1
11--1 1
.names door$_n171$raw_n1760 door$_n171$raw_n1761 door$_n177$raw_n1960 door$_n177$raw_n1961 _n16c0 door$_n16c$raw_n19a0 
--100 1
--110 1
10--1 1
11--1 1
.names door$_n171$raw_n1760 door$_n171$raw_n1761 door$_n177$raw_n1960 door$_n177$raw_n1961 _n16c0 door$_n16c$raw_n19a1 
--010 1
--110 1
01--1 1
11--1 1
.names _n1a00
0
.names direction0 _n1a00 _n19f0 
00 1
11 1
.names button_above0 _n19f0 _n1a10 
11 1
.names _n1a20_b _n1a20
0 1
.names continue0 _n1a10 _n1a20_b 
00 1
.names _n1a40
1
.names direction0 _n1a40 _n1a30 
00 1
11 1
.names button_below0 _n1a30 _n1a50 
11 1
.names _n1a60_b _n1a60
0 1
.names _n1a20 _n1a50 _n1a60_b 
00 1
.names _n1a60 start_moving$raw_n19e0 
1 1
.inputs [4]0
.names [4]0 r_stop0 
1 1
.names _n1ab0
1
.names movement0 _n1ab0 _n1aa0 
00 1
11 1
.names r_stop0 _n1aa0 _n1ac0 
11 1
.names _n1ac0 stop_moving$raw_n1a90 
1 1
.names _n1af0
0
.names direction0 _n1af0 _n1ae0 
00 1
11 1
.names stop_moving0 _n1ae0 _n1b00 
11 1
.names _n1b00 inc$raw_n1ad0 
1 1
.names _n1b30
1
.names direction0 _n1b30 _n1b20 
00 1
11 1
.names stop_moving0 _n1b20 _n1b40 
11 1
.names _n1b40 dec$raw_n1b10 
1 1
.names _n1b61
1
.names _n1b60
0
.names door0 door1 _n1b60 _n1b61 _n1b50 
0000 1
1010 1
0101 1
1111 1
.names _n1b50 _n1b70 
1 1
.names _n1ba0
0
.names movement0 _n1ba0 _n1b90 
00 1
11 1
.names _n1b90 _n1b80 
1 1
.names _n1bc1
1
.names _n1bc0
0
.names door0 door1 _n1bc0 _n1bc1 _n1bb0 
0000 1
1010 1
0101 1
1111 1
.names _n1bb0 start_moving0 _n1bd0 
11 1
.names open_next0 _n1be0 
0 1
.names _n1bd0 _n1be0 _n1bf0 
11 1
.names _n1bf0 _n1c00 
1 1
.names movement$_n1bf_n1c1$true0
1
.names movement$_n1bf_n1c1$true0 movement0 _n1bf0 movement$_n1bf$raw_n1c40 
-10 1
1-1 1
.names _n1c70
1
.names movement0 _n1c70 _n1c60 
00 1
11 1
.names _n1c60 _n1c50 
1 1
.names stop_moving0 _n1c80 
1 1
.names movement$stop_moving_n1c9$true0
0
.names _n1cb0
0
.names direction0 _n1cb0 _n1ca0 
00 1
11 1
.names _n1ca0 _n1cc0 
1 1
.names _n1ce<0>0
1
.names _n1ce<1>0
0
.names _n1d00
0
.names location<0>0 _n1ce<0>0 _n1d00 _n1cf<0>0 
001 1
010 1
100 1
111 1
.names _n1d20
0
.names location<0>0 _n1ce<0>0 _n1d20 _n1d10 
011 1
101 1
110 1
111 1
.names location<1>0 _n1ce<1>0 _n1d10 _n1cf<1>0 
001 1
010 1
100 1
111 1
.names _n1cf<0>0 location$_n1ca_n1cd$true<0>0 
1 1
.names _n1cf<1>0 location$_n1ca_n1cd$true<1>0 
1 1
.names location$_n1ca_n1cd$true<0>0 location<0>0 _n1ca0 location$_n1ca$raw_n1d8<0>0 
1-1 1
-10 1
.names location$_n1ca_n1cd$true<1>0 location<1>0 _n1ca0 location$_n1ca$raw_n1d8<1>0 
1-1 1
-10 1
.names _n1dd0
1
.names direction0 _n1dd0 _n1dc0 
00 1
11 1
.names _n1dc0 _n1de0 
1 1
.names _n1e0<0>0
1
.names _n1e0<1>0
0
.names _n1e20
0
.names location$_n1ca$raw_n1d8<0>0 _n1e0<0>0 _n1e20 _n1e1<0>0 
001 1
010 1
100 1
111 1
.names _n1e40
0
.names location$_n1ca$raw_n1d8<0>0 _n1e0<0>0 _n1e40 _n1e30 
001 1
010 1
011 1
111 1
.names location$_n1ca$raw_n1d8<1>0 _n1e0<1>0 _n1e30 _n1e1<1>0 
001 1
010 1
100 1
111 1
.names _n1e1<0>0 location$_n1dc_n1df$true<0>0 
1 1
.names _n1e1<1>0 location$_n1dc_n1df$true<1>0 
1 1
.names location$_n1dc_n1df$true<0>0 location$_n1ca$raw_n1d8<0>0 _n1dc0 location$_n1dc$raw_n1e6<0>0 
1-1 1
-10 1
.names location$_n1dc_n1df$true<1>0 location$_n1ca$raw_n1d8<1>0 _n1dc0 location$_n1dc$raw_n1e6<1>0 
1-1 1
-10 1
.names movement$stop_moving_n1c9$true0 movement0 stop_moving0 movement$stop_moving$raw_n1f30 
-10 1
1-1 1
.names location$_n1dc$raw_n1e6<0>0 location<0>0 stop_moving0 location$stop_moving$raw_n1f4<0>0 
1-1 1
-10 1
.names location$_n1dc$raw_n1e6<1>0 location<1>0 stop_moving0 location$stop_moving$raw_n1f4<1>0 
1-1 1
-10 1
.names movement$stop_moving$raw_n1f30 movement0 _n1c50 movement$_n1c5$raw_n1fb0 
-10 1
1-1 1
.names location$stop_moving$raw_n1f4<0>0 location<0>0 _n1c50 location$_n1c5$raw_n1fc<0>0 
1-1 1
-10 1
.names location$stop_moving$raw_n1f4<1>0 location<1>0 _n1c50 location$_n1c5$raw_n1fc<1>0 
1-1 1
-10 1
.names movement$_n1bf$raw_n1c40 movement$_n1c5$raw_n1fb0 _n1b80 movement$_n1b8$raw_n1ff0 
-10 1
1-1 1
.names location<0>0 location$_n1c5$raw_n1fc<0>0 _n1b80 location$_n1b8$raw_n203<0>0 
1-1 1
-10 1
.names location<1>0 location$_n1c5$raw_n1fc<1>0 _n1b80 location$_n1b8$raw_n203<1>0 
1-1 1
-10 1
.names movement$_n1b8$raw_n1ff0 movement0 _n1b50 movement$_n1b5$raw_n20a0 
-10 1
1-1 1
.names location$_n1b8$raw_n203<0>0 location<0>0 _n1b50 location$_n1b5$raw_n20b<0>0 
1-1 1
-10 1
.names location$_n1b8$raw_n203<1>0 location<1>0 _n1b50 location$_n1b5$raw_n20b<1>0 
1-1 1
-10 1
.names _n2100
0
.names direction0 _n2100 _n20f0 
00 1
11 1
.names _n20f0 _n20e0 
1 1
.names button_above0 _n2110 
0 1
.names continue0 _n2120 
0 1
.names _n2110 _n2120 _n2130 
11 1
.names _n2130 _n2140 
1 1
.names direction$_n213_n215$true0
1
.names direction$_n213_n215$true0 direction0 _n2130 direction$_n213$raw_n2180 
-10 1
1-1 1
.names _n21b0
1
.names direction0 _n21b0 _n21a0 
00 1
11 1
.names _n21a0 _n2190 
1 1
.names button_below0 _n21c0 
0 1
.names continue0 _n21d0 
0 1
.names _n21c0 _n21d0 _n21e0 
11 1
.names _n21e0 _n21f0 
1 1
.names direction$_n21e_n220$true0
0
.names direction$_n21e_n220$true0 direction0 _n21e0 direction$_n21e$raw_n2230 
-10 1
1-1 1
.names direction$_n21e$raw_n2230 direction0 _n2190 direction$_n219$raw_n2260 
-10 1
1-1 1
.names direction$_n213$raw_n2180 direction$_n219$raw_n2260 _n20e0 direction$_n20e$raw_n2270 
-10 1
1-1 1
.names _n22c<0>0
1
.names _n22c<1>0
1
.names _n22d<0>0
1
.names _n22d<1>0
0
.names _n22f0
0
.names _n22c<0>0 _n22d<0>0 _n22f0 _n22e<0>0 
001 1
010 1
100 1
111 1
.names _n2310
0
.names _n22c<0>0 _n22d<0>0 _n2310 _n2300 
001 1
010 1
011 1
111 1
.names _n22c<1>0 _n22d<1>0 _n2300 _n22e<1>0 
001 1
010 1
100 1
111 1
.names location<0>0 _n22e<0>0 _n232<0>0 
01 1
10 1
.names location<1>0 _n22e<1>0 _n232<1>0 
01 1
10 1
.names _n2330_b _n2330
0 1
.names _n232<0>0 _n232<1>0 _n2330_b 
00 1
.names _n2330 _n22b0 
0 1
.names _n22b0 _n2340 
1 1
.names direction$_n22b_n235$true0
1
.names direction$_n22b_n235$true0 direction$_n20e$raw_n2270 _n22b0 direction$_n22b$raw_n2360 
-10 1
1-1 1
.names _n23b<0>0
0
.names _n23b<1>0
0
.names location<0>0 _n23b<0>0 _n23c<0>0 
01 1
10 1
.names location<1>0 _n23b<1>0 _n23c<1>0 
01 1
10 1
.names _n23d0_b _n23d0
0 1
.names _n23c<0>0 _n23c<1>0 _n23d0_b 
00 1
.names _n23d0 _n23a0 
0 1
.names _n23a0 _n23e0 
1 1
.names direction$_n23a_n23f$true0
0
.names direction$_n23a_n23f$true0 direction$_n22b$raw_n2360 _n23a0 direction$_n23a$raw_n2400 
-10 1
1-1 1
.names button_above$raw_n6c0 button_above0 
1 1
.names _n1b70 _n1b80 _n1c00 _n1c50 _n1c80 _n2440 
111-- 1
10-11 1
.names _n2440 movement$_n1b5$raw_n20a0 movement0 _n2450 
11- 1
0-1 1
.names _n890 _n990 _nb60 _nc60 _ne40 _nf40 _n10e0 _n1110 _n25b0 
1------- 1
01------ 1
--1----- 1
--01---- 1
----1--- 1
----01-- 1
------11 1
------10 1
.names _n25b0 buttons$stop_next$raw_n13c<*0*>0 buttons<*0*>0 _n25c<*0*>0 
11- 1
0-1 1
.names _n25b0 buttons$stop_next$raw_n13c<*1*>0 buttons<*1*>0 _n25c<*1*>0 
11- 1
0-1 1
.names _n25b0 buttons$stop_next$raw_n13c<*2*>0 buttons<*2*>0 _n25c<*2*>0 
11- 1
0-1 1
.names start_moving$raw_n19e0 start_moving0 
1 1
.names _n16c0 _n1720 _n1770 _n17a0 _n17f0 _n1820 _n1870 _n18a0 _n29c0 
11------ 1
0-11---- 1
0-0-11-- 1
0-0-0-11 1
.names _n29c0 door$_n16c$raw_n19a0 door$_n16c$raw_n19a1 door0 door1 _n29d0 
110-- 1
111-- 1
0--10 1
0--11 1
.names _n29c0 door$_n16c$raw_n19a0 door$_n16c$raw_n19a1 door0 door1 _n29d1 
101-- 1
111-- 1
0--01 1
0--11 1
.names stop_moving$raw_n1a90 stop_moving0 
1 1
.names _n1b70 _n1b80 _n1c50 _n1c80 _n1cc0 _n1de0 _n2b30 
10111- 1
1011-1 1
.names _n2b30 location$_n1b5$raw_n20b<0>0 location$_n1b5$raw_n20b<1>0 location<0>0 location<1>0 _n2b4<0>0 
11--- 1
0--1- 1
.names _n2b30 location$_n1b5$raw_n20b<0>0 location$_n1b5$raw_n20b<1>0 location<0>0 location<1>0 _n2b4<1>0 
1-1-- 1
0---1 1
.names button_below$raw_n530 button_below0 
1 1
.names _n20e0 _n2140 _n2190 _n21f0 _n2340 _n23e0 _n2b50 
11---- 1
0-11-- 1
----1- 1
-----1 1
.names _n2b50 direction$_n23a$raw_n2400 direction0 _n2b60 
11- 1
0-1 1
.names _n1420 _n15f0 _n2cc0 
1- 1
01 1
.names _n2cc0 open_next$_n140$raw_n1660 open_next0 _n2cd0 
11- 1
0-1 1
.names dec$raw_n1b10 dec0 
1 1
.names inc$raw_n1ad0 inc0 
1 1
.exdc
.end