.model elevator .root e1 .inputs init<0> init<1> stop_next continue .outputs dec inc .mv door$_n16c$raw_n19a 4 OPEN OPENING CLOSED CLOSING .mv _n4b 2 ON OFF .mv buttons$raw_n3f<*1*> 2 ON OFF .mv buttons$_n85$raw_naf<*2*> 2 ON OFF .mv _n25c<*2*> 2 ON OFF .mv _n179 4 OPEN OPENING CLOSED CLOSING .mv buttons$_nb2$raw_ndc<*2*> 2 ON OFF .mv _n16e 4 OPEN OPENING CLOSED CLOSING .mv _n50 2 ON OFF .mv buttons$_ne0$raw_n10a<*2*> 2 ON OFF .mv buttons$_n85_n8a$true<*1*> 2 ON OFF .mv direction$_n213_n215$true 2 UP DOWN .mv buttons$_n10f$raw_n138<*2*> 2 ON OFF .mv direction$_n22b$raw_n236 2 UP DOWN .mv buttons$raw_n1b<*0*> 2 ON OFF .mv movement$raw_n1a 2 STOPPED MOVING .mv movement 2 STOPPED MOVING .mv _nb8 2 ON OFF .mv _n8b 2 ON OFF .mv buttons$random_push$raw_n105<*1*> 2 ON OFF .mv _n12b 2 ON OFF .mv direction$_n21e_n220$true 2 UP DOWN .mv _n1dd 2 UP DOWN .mv direction$_n20e$raw_n227 2 UP DOWN .mv movement$_n1c5$raw_n1fb 2 STOPPED MOVING .mv buttons$raw_n2d<*1*> 2 ON OFF .mv _n21b 2 UP DOWN .mv buttons$random_push_nf6$true<*2*> 2 ON OFF .mv buttons$random_push$raw_nd7<*2*> 2 ON OFF .mv buttons$_nb2_nb7$true<*1*> 2 ON OFF .mv buttons$_ne0_ne5$true<*1*> 2 ON OFF .mv buttons$random_push$raw_nac<*1*> 2 ON OFF .mv movement$_n1bf$raw_n1c4 2 STOPPED MOVING .mv _n181 4 OPEN OPENING CLOSED CLOSING .mv direction$_n23a_n23f$true 2 UP DOWN .mv movement$_n1b5$raw_n20a 2 STOPPED MOVING .mv _n3e 2 ON OFF .mv _n1a0 2 UP DOWN .mv door$raw_n19 4 OPEN OPENING CLOSED CLOSING .mv buttons$random_push_nc8$true<*2*> 2 ON OFF .mv _n1a4 2 UP DOWN .mv _nf7 2 ON OFF .mv _n46 2 ON OFF .mv buttons$raw_n3f<*0*> 2 ON OFF .mv direction$_n219$raw_n226 2 UP DOWN .mv _n189 4 OPEN OPENING CLOSED CLOSING .mv buttons$_n85$raw_naf<*1*> 2 ON OFF .mv _n25c<*1*> 2 ON OFF .mv _n40 2 ON OFF .mv movement$stop_moving$raw_n1f3 2 STOPPED MOVING .mv buttons$_ne0$raw_n10a<*1*> 2 ON OFF .mv buttons$_n85_n8a$true<*2*> 2 ON OFF .mv door$_n17f$raw_n192 4 OPEN OPENING CLOSED CLOSING .mv direction$_n22b_n235$true 2 UP DOWN .mv _n141 4 OPEN OPENING CLOSED CLOSING .mv buttons$stop_next$raw_n13c<*2*> 2 ON OFF .mv buttons$raw_n1b<*1*> 2 ON OFF .mv _n145 2 STOPPED MOVING .mv _n147 2 UP DOWN .mv buttons$random_push_n9b$true<*2*> 2 ON OFF .mv _n82 2 ON OFF .mv buttons$random_push$raw_n105<*2*> 2 ON OFF .mv _n81 2 ON OFF .mv buttons$raw_n2d<*2*> 2 ON OFF .mv direction 2 UP DOWN .mv buttons$_nb2_nb7$true<*2*> 2 ON OFF .mv buttons$_ne0_ne5$true<*0*> 2 ON OFF .mv direction$_n23a$raw_n240 2 UP DOWN .mv movement$_n1b8$raw_n1ff 2 STOPPED MOVING .mv buttons$_n10f_n112$true<*0*> 2 ON OFF .mv door$random$raw_n18e 4 OPEN OPENING CLOSED CLOSING .mv buttons$random_push$raw_nac<*2*> 2 ON OFF .mv _n2e 2 ON OFF .mv _n2c 2 ON OFF .mv _n39 2 ON OFF .mv _n1b3 2 UP DOWN .mv buttons$random_push_nc8$true<*1*> 2 ON OFF .mv buttons$_n10f_n125$false<*2*> 2 ON OFF .mv buttons<*0*> 2 ON OFF .mv _ne6 2 ON OFF .mv _n1b6 4 OPEN OPENING CLOSED CLOSING .mv _n34 2 ON OFF .mv _n1ab 2 STOPPED MOVING .mv door$random_n183$true 4 OPEN OPENING CLOSED CLOSING .mv door$random_n17b$true 4 OPEN OPENING CLOSED CLOSING .mv buttons$_n85$raw_naf<*0*> 2 ON OFF .mv _n25c<*0*> 2 ON OFF .mv _n1af 2 UP DOWN .mv door$random_n18b$true 4 OPEN OPENING CLOSED CLOSING .mv buttons$_ne0$raw_n10a<*0*> 2 ON OFF .mv movement$stop_moving_n1c9$true 2 STOPPED MOVING .mv _n153 2 UP DOWN .mv door$_n187$raw_n191 4 OPEN OPENING CLOSED CLOSING .mv buttons$_nb2$raw_ndc<*0*> 2 ON OFF .mv buttons$raw_n1b<*2*> 2 ON OFF .mv _n78 2 ON OFF .mv buttons$stop_next$raw_n13c<*1*> 2 ON OFF .mv _n77 2 ON OFF .mv _n245 2 STOPPED MOVING .mv _n74 2 ON OFF .mv _n73 2 ON OFF .mv buttons$_n10f$raw_n138<*0*> 2 ON OFF .mv door$_n171_n173$true 4 OPEN OPENING CLOSED CLOSING .mv _n14e 2 ON OFF .mv _n14f 2 ON OFF .mv buttons$random_push_n9b$true<*1*> 2 ON OFF .mv door$_n177$raw_n196 4 OPEN OPENING CLOSED CLOSING .mv door$random$raw_n17e 4 OPEN OPENING CLOSED CLOSING .mv buttons$_n10f_n112$true<*1*> 2 ON OFF .mv _n110 2 UP DOWN .mv _n1c 2 ON OFF .mv _n27 2 ON OFF .mv door$random$raw_n186 4 OPEN OPENING CLOSED CLOSING .mv buttons$random_push_nc8$true<*0*> 2 ON OFF .mv _n1c7 2 STOPPED MOVING .mv _n1ba 2 STOPPED MOVING .mv buttons$random_push_nf6$true<*0*> 2 ON OFF .mv buttons$random_push$raw_nd7<*0*> 2 ON OFF .mv buttons<*1*> 2 ON OFF .mv _n22 2 ON OFF .mv buttons$_n10f_n125$false<*1*> 2 ON OFF .mv _n2b6 2 UP DOWN .mv _n1bc 4 OPEN OPENING CLOSED CLOSING .mv _n118 2 ON OFF .mv direction$raw_n18 2 UP DOWN .mv _n5f 2 ON OFF .mv buttons$raw_n3f<*2*> 2 ON OFF .mv _n5e 2 ON OFF .mv door$_n171$raw_n176 4 OPEN OPENING CLOSED CLOSING .mv _n69 2 ON OFF .mv _n5b 2 ON OFF .mv _n68 2 ON OFF .mv _n5a 2 ON OFF .mv _n15a 2 ON OFF .mv buttons$_nb2$raw_ndc<*1*> 2 ON OFF .mv _n15b 2 ON OFF .mv buttons$stop_next$raw_n13c<*0*> 2 ON OFF .mv buttons$_n85_n8a$true<*0*> 2 ON OFF .mv direction$_n213$raw_n218 2 UP DOWN .mv buttons$_n10f$raw_n138<*1*> 2 ON OFF .mv buttons$random_push_n9b$true<*0*> 2 ON OFF .mv movement$_n1bf_n1c1$true 2 STOPPED MOVING .mv direction$_n21e$raw_n223 2 UP DOWN .mv _nc9 2 ON OFF .mv _n210 2 UP DOWN .mv buttons$_n10f_n112$true<*2*> 2 ON OFF .mv _n9c 2 ON OFF .mv buttons$random_push$raw_n105<*0*> 2 ON OFF .mv _n1cb 2 UP DOWN .mv buttons$raw_n2d<*0*> 2 ON OFF .mv _n29d 4 OPEN OPENING CLOSED CLOSING .mv buttons$random_push$raw_nd7<*1*> 2 ON OFF .mv buttons$random_push_nf6$true<*1*> 2 ON OFF .mv buttons$_nb2_nb7$true<*0*> 2 ON OFF .mv buttons<*2*> 2 ON OFF .mv buttons$_n10f_n125$false<*0*> 2 ON OFF .mv buttons$_ne0_ne5$true<*2*> 2 ON OFF .mv buttons$random_push$raw_nac<*0*> 2 ON OFF .mv door 4 OPEN OPENING CLOSED CLOSING .mv _n170 2 STOPPED MOVING .latch _n245 movement .reset movement$raw_n1a ->movement - =movement$raw_n1a .latch _n25c<*2*> buttons<*2*> .reset buttons$raw_n1b<*2*> buttons$raw_n2d<*2*> buttons$raw_n3f<*2*> ->buttons<*2*> .default ON OFF - - =buttons$raw_n1b<*2*> ON OFF - =buttons$raw_n2d<*2*> ON ON OFF =buttons$raw_n3f<*2*> .latch _n25c<*0*> buttons<*0*> .reset buttons$raw_n1b<*0*> buttons$raw_n2d<*0*> buttons$raw_n3f<*0*> ->buttons<*0*> .default ON OFF - - =buttons$raw_n1b<*0*> ON OFF - =buttons$raw_n2d<*0*> ON ON OFF =buttons$raw_n3f<*0*> .latch _n29d door .reset door$raw_n19 ->door - =door$raw_n19 .latch _n2b4<0> location<0> .reset location$raw_n17<0> ->location<0> .default 0 1 1 .latch _n2b6 direction .reset direction$raw_n18 ->direction - =direction$raw_n18 .latch _n25c<*1*> buttons<*1*> .reset buttons$raw_n1b<*1*> buttons$raw_n2d<*1*> buttons$raw_n3f<*1*> ->buttons<*1*> .default ON OFF - - =buttons$raw_n1b<*1*> ON OFF - =buttons$raw_n2d<*1*> ON ON OFF =buttons$raw_n3f<*1*> .latch _n2cd open_next .reset open_next$raw_n16 ->open_next 0 0 1 1 .latch _n2b4<1> location<1> .reset location$raw_n17<1> ->location<1> .default 0 1 1 .table ->open_next$raw_n16 0 .table init<0> ->location$raw_n17<0> - =init<0> .table init<1> ->location$raw_n17<1> - =init<1> .table ->direction$raw_n18 UP .table ->door$raw_n19 OPEN .table ->movement$raw_n1a STOPPED .table ->_n1d<0> 0 .table ->_n1d<1> 0 .table ->_n1e<0> 0 .table ->_n1e<1> 0 .table _n1e<0> _n1d<0> ->_n20<0> .default 0 0 1 1 1 0 1 .table _n1e<1> _n1d<1> ->_n20<1> .default 0 0 1 1 1 0 1 .table _n20<0> _n20<1> ->_n21 .default 1 0 0 0 .table _n21 ->_n1f 0 1 1 0 .table ->_n22 ON .table _n1c _n22 _n1f ->buttons$raw_n1b<*0*> - - 0 =_n22 - - 1 =_n1c .table ->_n23<0> 1 .table ->_n23<1> 0 .table _n23<0> _n1d<0> ->_n25<0> .default 0 0 1 1 1 0 1 .table _n23<1> _n1d<1> ->_n25<1> .default 0 0 1 1 1 0 1 .table _n25<0> _n25<1> ->_n26 .default 1 0 0 0 .table _n26 ->_n24 0 1 1 0 .table ->_n27 ON .table _n1c _n27 _n24 ->buttons$raw_n1b<*1*> - - 0 =_n27 - - 1 =_n1c .table ->_n28<0> 0 .table ->_n28<1> 1 .table _n28<0> _n1d<0> ->_n2a<0> .default 0 0 1 1 1 0 1 .table _n28<1> _n1d<1> ->_n2a<1> .default 0 0 1 1 1 0 1 .table _n2a<0> _n2a<1> ->_n2b .default 1 0 0 0 .table _n2b ->_n29 0 1 1 0 .table ->_n2c ON .table _n1c _n2c _n29 ->buttons$raw_n1b<*2*> - - 0 =_n2c - - 1 =_n1c .table ->_n1c OFF .table ->_n2f<0> 1 .table ->_n2f<1> 0 .table ->_n30<0> 0 .table ->_n30<1> 0 .table _n30<0> _n2f<0> ->_n32<0> .default 0 0 1 1 1 0 1 .table _n30<1> _n2f<1> ->_n32<1> .default 0 0 1 1 1 0 1 .table _n32<0> _n32<1> ->_n33 .default 1 0 0 0 .table _n33 ->_n31 0 1 1 0 .table ->_n34 ON .table _n2e _n34 _n31 ->buttons$raw_n2d<*0*> - - 0 =_n34 - - 1 =_n2e .table ->_n35<0> 1 .table ->_n35<1> 0 .table _n35<0> _n2f<0> ->_n37<0> .default 0 0 1 1 1 0 1 .table _n35<1> _n2f<1> ->_n37<1> .default 0 0 1 1 1 0 1 .table _n37<0> _n37<1> ->_n38 .default 1 0 0 0 .table _n38 ->_n36 0 1 1 0 .table ->_n39 ON .table _n2e _n39 _n36 ->buttons$raw_n2d<*1*> - - 0 =_n39 - - 1 =_n2e .table ->_n3a<0> 0 .table ->_n3a<1> 1 .table _n3a<0> _n2f<0> ->_n3c<0> .default 0 0 1 1 1 0 1 .table _n3a<1> _n2f<1> ->_n3c<1> .default 0 0 1 1 1 0 1 .table _n3c<0> _n3c<1> ->_n3d .default 1 0 0 0 .table _n3d ->_n3b 0 1 1 0 .table ->_n3e ON .table _n2e _n3e _n3b ->buttons$raw_n2d<*2*> - - 0 =_n3e - - 1 =_n2e .table ->_n2e OFF .table ->_n41<0> 0 .table ->_n41<1> 1 .table ->_n42<0> 0 .table ->_n42<1> 0 .table _n42<0> _n41<0> ->_n44<0> .default 0 0 1 1 1 0 1 .table _n42<1> _n41<1> ->_n44<1> .default 0 0 1 1 1 0 1 .table _n44<0> _n44<1> ->_n45 .default 1 0 0 0 .table _n45 ->_n43 0 1 1 0 .table ->_n46 ON .table _n40 _n46 _n43 ->buttons$raw_n3f<*0*> - - 0 =_n46 - - 1 =_n40 .table ->_n47<0> 1 .table ->_n47<1> 0 .table _n47<0> _n41<0> ->_n49<0> .default 0 0 1 1 1 0 1 .table _n47<1> _n41<1> ->_n49<1> .default 0 0 1 1 1 0 1 .table _n49<0> _n49<1> ->_n4a .default 1 0 0 0 .table _n4a ->_n48 0 1 1 0 .table ->_n4b ON .table _n40 _n4b _n48 ->buttons$raw_n3f<*1*> - - 0 =_n4b - - 1 =_n40 .table ->_n4c<0> 0 .table ->_n4c<1> 1 .table _n4c<0> _n41<0> ->_n4e<0> .default 0 0 1 1 1 0 1 .table _n4c<1> _n41<1> ->_n4e<1> .default 0 0 1 1 1 0 1 .table _n4e<0> _n4e<1> ->_n4f .default 1 0 0 0 .table _n4f ->_n4d 0 1 1 0 .table ->_n50 ON .table _n40 _n50 _n4d ->buttons$raw_n3f<*2*> - - 0 =_n50 - - 1 =_n40 .table ->_n40 OFF .table ->random_push<0> random_push<1> random_push<2> 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 1 1 1 1 .table ->_n55<0> 0 .table ->_n55<1> 1 .table location<0> _n55<0> ->_n56<0> .default 0 0 1 1 1 0 1 .table location<1> _n55<1> ->_n56<1> .default 0 0 1 1 1 0 1 .table _n56<0> _n56<1> ->_n57 .default 1 0 0 0 .table _n57 ->_n54 0 1 1 0 .table ->_n59<0> 1 .table ->_n59<1> 0 .table buttons<*0*> buttons<*1*> buttons<*2*> _n59<1> _n59<0> ->_n5a - - - 0 0 =buttons<*0*> - - - 0 1 =buttons<*1*> - - - 1 0 =buttons<*2*> - - - 1 1 ON .table ->_n5b ON .table _n5a _n5b ->_n58 .default 0 - =_n5a 1 .table ->_n5d<0> 0 .table ->_n5d<1> 0 .table buttons<*0*> buttons<*1*> buttons<*2*> _n5d<1> _n5d<0> ->_n5e - - - 0 0 =buttons<*0*> - - - 0 1 =buttons<*1*> - - - 1 0 =buttons<*2*> - - - 1 1 ON .table ->_n5f ON .table _n5e _n5f ->_n5c .default 0 - =_n5e 1 .table _n58 _n5c ->_n60 .default 1 0 0 0 .table _n54 _n60 ->_n61 .default 0 1 1 1 .table ->_n63<0> 1 .table ->_n63<1> 0 .table location<0> _n63<0> ->_n64<0> .default 0 0 1 1 1 0 1 .table location<1> _n63<1> ->_n64<1> .default 0 0 1 1 1 0 1 .table _n64<0> _n64<1> ->_n65 .default 1 0 0 0 .table _n65 ->_n62 0 1 1 0 .table ->_n67<0> 0 .table ->_n67<1> 0 .table buttons<*0*> buttons<*1*> buttons<*2*> _n67<1> _n67<0> ->_n68 - - - 0 0 =buttons<*0*> - - - 0 1 =buttons<*1*> - - - 1 0 =buttons<*2*> - - - 1 1 ON .table ->_n69 ON .table _n68 _n69 ->_n66 .default 0 - =_n68 1 .table _n62 _n66 ->_n6a .default 0 1 1 1 .table _n61 _n6a ->_n6b .default 1 0 0 0 .table _n6b ->button_below$raw_n53 - =_n6b .table ->_n6e<0> 0 .table ->_n6e<1> 0 .table location<0> _n6e<0> ->_n6f<0> .default 0 0 1 1 1 0 1 .table location<1> _n6e<1> ->_n6f<1> .default 0 0 1 1 1 0 1 .table _n6f<0> _n6f<1> ->_n70 .default 1 0 0 0 .table _n70 ->_n6d 0 1 1 0 .table ->_n72<0> 0 .table ->_n72<1> 1 .table buttons<*0*> buttons<*1*> buttons<*2*> _n72<1> _n72<0> ->_n73 - - - 0 0 =buttons<*0*> - - - 0 1 =buttons<*1*> - - - 1 0 =buttons<*2*> - - - 1 1 ON .table ->_n74 ON .table _n73 _n74 ->_n71 .default 0 - =_n73 1 .table ->_n76<0> 1 .table ->_n76<1> 0 .table buttons<*0*> buttons<*1*> buttons<*2*> _n76<1> _n76<0> ->_n77 - - - 0 0 =buttons<*0*> - - - 0 1 =buttons<*1*> - - - 1 0 =buttons<*2*> - - - 1 1 ON .table ->_n78 ON .table _n77 _n78 ->_n75 .default 0 - =_n77 1 .table _n71 _n75 ->_n79 .default 1 0 0 0 .table _n6d _n79 ->_n7a .default 0 1 1 1 .table ->_n7c<0> 1 .table ->_n7c<1> 0 .table location<0> _n7c<0> ->_n7d<0> .default 0 0 1 1 1 0 1 .table location<1> _n7c<1> ->_n7d<1> .default 0 0 1 1 1 0 1 .table _n7d<0> _n7d<1> ->_n7e .default 1 0 0 0 .table _n7e ->_n7b 0 1 1 0 .table ->_n80<0> 0 .table ->_n80<1> 1 .table buttons<*0*> buttons<*1*> buttons<*2*> _n80<1> _n80<0> ->_n81 - - - 0 0 =buttons<*0*> - - - 0 1 =buttons<*1*> - - - 1 0 =buttons<*2*> - - - 1 1 ON .table ->_n82 ON .table _n81 _n82 ->_n7f .default 0 - =_n81 1 .table _n7b _n7f ->_n83 .default 0 1 1 1 .table _n7a _n83 ->_n84 .default 1 0 0 0 .table _n84 ->button_above$raw_n6c - =_n84 .table ->_n86<0> 0 .table ->_n86<1> 0 .table _n86<0> location<0> ->_n87<0> .default 0 0 1 1 1 0 1 .table _n86<1> location<1> ->_n87<1> .default 0 0 1 1 1 0 1 .table _n87<0> _n87<1> ->_n88 .default 1 0 0 0 .table _n88 ->_n85 0 1 1 0 .table _n85 ->_n89 - =_n85 .table ->_n8c<0> 0 .table ->_n8c<1> 0 .table ->_n8d<0> 0 .table ->_n8d<1> 0 .table _n8d<0> _n8c<0> ->_n8f<0> .default 0 0 1 1 1 0 1 .table _n8d<1> _n8c<1> ->_n8f<1> .default 0 0 1 1 1 0 1 .table _n8f<0> _n8f<1> ->_n90 .default 1 0 0 0 .table _n90 ->_n8e 0 1 1 0 .table _n8b buttons<*0*> _n8e ->buttons$_n85_n8a$true<*0*> - - 0 =buttons<*0*> - - 1 =_n8b .table ->_n91<0> 1 .table ->_n91<1> 0 .table _n91<0> _n8c<0> ->_n93<0> .default 0 0 1 1 1 0 1 .table _n91<1> _n8c<1> ->_n93<1> .default 0 0 1 1 1 0 1 .table _n93<0> _n93<1> ->_n94 .default 1 0 0 0 .table _n94 ->_n92 0 1 1 0 .table _n8b buttons<*1*> _n92 ->buttons$_n85_n8a$true<*1*> - - 0 =buttons<*1*> - - 1 =_n8b .table ->_n95<0> 0 .table ->_n95<1> 1 .table _n95<0> _n8c<0> ->_n97<0> .default 0 0 1 1 1 0 1 .table _n95<1> _n8c<1> ->_n97<1> .default 0 0 1 1 1 0 1 .table _n97<0> _n97<1> ->_n98 .default 1 0 0 0 .table _n98 ->_n96 0 1 1 0 .table _n8b buttons<*2*> _n96 ->buttons$_n85_n8a$true<*2*> - - 0 =buttons<*2*> - - 1 =_n8b .table ->_n8b OFF .table random_push<0> ->_n9a .default 1 0 0 .table _n9a ->_n99 - =_n9a .table ->_n9d<0> 0 .table ->_n9d<1> 0 .table ->_n9e<0> 0 .table ->_n9e<1> 0 .table _n9e<0> _n9d<0> ->_na0<0> .default 0 0 1 1 1 0 1 .table _n9e<1> _n9d<1> ->_na0<1> .default 0 0 1 1 1 0 1 .table _na0<0> _na0<1> ->_na1 .default 1 0 0 0 .table _na1 ->_n9f 0 1 1 0 .table _n9c buttons<*0*> _n9f ->buttons$random_push_n9b$true<*0*> - - 0 =buttons<*0*> - - 1 =_n9c .table ->_na2<0> 1 .table ->_na2<1> 0 .table _na2<0> _n9d<0> ->_na4<0> .default 0 0 1 1 1 0 1 .table _na2<1> _n9d<1> ->_na4<1> .default 0 0 1 1 1 0 1 .table _na4<0> _na4<1> ->_na5 .default 1 0 0 0 .table _na5 ->_na3 0 1 1 0 .table _n9c buttons<*1*> _na3 ->buttons$random_push_n9b$true<*1*> - - 0 =buttons<*1*> - - 1 =_n9c .table ->_na6<0> 0 .table ->_na6<1> 1 .table _na6<0> _n9d<0> ->_na8<0> .default 0 0 1 1 1 0 1 .table _na6<1> _n9d<1> ->_na8<1> .default 0 0 1 1 1 0 1 .table _na8<0> _na8<1> ->_na9 .default 1 0 0 0 .table _na9 ->_na7 0 1 1 0 .table _n9c buttons<*2*> _na7 ->buttons$random_push_n9b$true<*2*> - - 0 =buttons<*2*> - - 1 =_n9c .table ->_n9c ON .table random_push<0> ->_nad .default 1 0 0 .table buttons$random_push_n9b$true<*0*> buttons<*0*> _nad ->buttons$random_push$raw_nac<*0*> - - 0 =buttons<*0*> - - 1 =buttons$random_push_n9b$true<*0*> .table buttons$random_push_n9b$true<*1*> buttons<*1*> _nad ->buttons$random_push$raw_nac<*1*> - - 0 =buttons<*1*> - - 1 =buttons$random_push_n9b$true<*1*> .table buttons$random_push_n9b$true<*2*> buttons<*2*> _nad ->buttons$random_push$raw_nac<*2*> - - 0 =buttons<*2*> - - 1 =buttons$random_push_n9b$true<*2*> .table buttons$_n85_n8a$true<*0*> buttons$random_push$raw_nac<*0*> _n85 ->buttons$_n85$raw_naf<*0*> - - 0 =buttons$random_push$raw_nac<*0*> - - 1 =buttons$_n85_n8a$true<*0*> .table buttons$_n85_n8a$true<*1*> buttons$random_push$raw_nac<*1*> _n85 ->buttons$_n85$raw_naf<*1*> - - 0 =buttons$random_push$raw_nac<*1*> - - 1 =buttons$_n85_n8a$true<*1*> .table buttons$_n85_n8a$true<*2*> buttons$random_push$raw_nac<*2*> _n85 ->buttons$_n85$raw_naf<*2*> - - 0 =buttons$random_push$raw_nac<*2*> - - 1 =buttons$_n85_n8a$true<*2*> .table ->_nb3<0> 1 .table ->_nb3<1> 0 .table _nb3<0> location<0> ->_nb4<0> .default 0 0 1 1 1 0 1 .table _nb3<1> location<1> ->_nb4<1> .default 0 0 1 1 1 0 1 .table _nb4<0> _nb4<1> ->_nb5 .default 1 0 0 0 .table _nb5 ->_nb2 0 1 1 0 .table _nb2 ->_nb6 - =_nb2 .table ->_nb9<0> 1 .table ->_nb9<1> 0 .table ->_nba<0> 0 .table ->_nba<1> 0 .table _nba<0> _nb9<0> ->_nbc<0> .default 0 0 1 1 1 0 1 .table _nba<1> _nb9<1> ->_nbc<1> .default 0 0 1 1 1 0 1 .table _nbc<0> _nbc<1> ->_nbd .default 1 0 0 0 .table _nbd ->_nbb 0 1 1 0 .table _nb8 buttons$_n85$raw_naf<*0*> _nbb ->buttons$_nb2_nb7$true<*0*> - - 0 =buttons$_n85$raw_naf<*0*> - - 1 =_nb8 .table ->_nbe<0> 1 .table ->_nbe<1> 0 .table _nbe<0> _nb9<0> ->_nc0<0> .default 0 0 1 1 1 0 1 .table _nbe<1> _nb9<1> ->_nc0<1> .default 0 0 1 1 1 0 1 .table _nc0<0> _nc0<1> ->_nc1 .default 1 0 0 0 .table _nc1 ->_nbf 0 1 1 0 .table _nb8 buttons$_n85$raw_naf<*1*> _nbf ->buttons$_nb2_nb7$true<*1*> - - 0 =buttons$_n85$raw_naf<*1*> - - 1 =_nb8 .table ->_nc2<0> 0 .table ->_nc2<1> 1 .table _nc2<0> _nb9<0> ->_nc4<0> .default 0 0 1 1 1 0 1 .table _nc2<1> _nb9<1> ->_nc4<1> .default 0 0 1 1 1 0 1 .table _nc4<0> _nc4<1> ->_nc5 .default 1 0 0 0 .table _nc5 ->_nc3 0 1 1 0 .table _nb8 buttons$_n85$raw_naf<*2*> _nc3 ->buttons$_nb2_nb7$true<*2*> - - 0 =buttons$_n85$raw_naf<*2*> - - 1 =_nb8 .table ->_nb8 OFF .table random_push<1> ->_nc7 .default 1 0 0 .table _nc7 ->_nc6 - =_nc7 .table ->_nca<0> 1 .table ->_nca<1> 0 .table ->_ncb<0> 0 .table ->_ncb<1> 0 .table _ncb<0> _nca<0> ->_ncd<0> .default 0 0 1 1 1 0 1 .table _ncb<1> _nca<1> ->_ncd<1> .default 0 0 1 1 1 0 1 .table _ncd<0> _ncd<1> ->_nce .default 1 0 0 0 .table _nce ->_ncc 0 1 1 0 .table _nc9 buttons$_n85$raw_naf<*0*> _ncc ->buttons$random_push_nc8$true<*0*> - - 0 =buttons$_n85$raw_naf<*0*> - - 1 =_nc9 .table ->_ncf<0> 1 .table ->_ncf<1> 0 .table _ncf<0> _nca<0> ->_nd1<0> .default 0 0 1 1 1 0 1 .table _ncf<1> _nca<1> ->_nd1<1> .default 0 0 1 1 1 0 1 .table _nd1<0> _nd1<1> ->_nd2 .default 1 0 0 0 .table _nd2 ->_nd0 0 1 1 0 .table _nc9 buttons$_n85$raw_naf<*1*> _nd0 ->buttons$random_push_nc8$true<*1*> - - 0 =buttons$_n85$raw_naf<*1*> - - 1 =_nc9 .table ->_nd3<0> 0 .table ->_nd3<1> 1 .table _nd3<0> _nca<0> ->_nd5<0> .default 0 0 1 1 1 0 1 .table _nd3<1> _nca<1> ->_nd5<1> .default 0 0 1 1 1 0 1 .table _nd5<0> _nd5<1> ->_nd6 .default 1 0 0 0 .table _nd6 ->_nd4 0 1 1 0 .table _nc9 buttons$_n85$raw_naf<*2*> _nd4 ->buttons$random_push_nc8$true<*2*> - - 0 =buttons$_n85$raw_naf<*2*> - - 1 =_nc9 .table ->_nc9 ON .table random_push<1> ->_nd8 .default 1 0 0 .table buttons$random_push_nc8$true<*0*> buttons$_n85$raw_naf<*0*> _nd8 ->buttons$random_push$raw_nd7<*0*> - - 0 =buttons$_n85$raw_naf<*0*> - - 1 =buttons$random_push_nc8$true<*0*> .table buttons$random_push_nc8$true<*1*> buttons$_n85$raw_naf<*1*> _nd8 ->buttons$random_push$raw_nd7<*1*> - - 0 =buttons$_n85$raw_naf<*1*> - - 1 =buttons$random_push_nc8$true<*1*> .table buttons$random_push_nc8$true<*2*> buttons$_n85$raw_naf<*2*> _nd8 ->buttons$random_push$raw_nd7<*2*> - - 0 =buttons$_n85$raw_naf<*2*> - - 1 =buttons$random_push_nc8$true<*2*> .table buttons$_nb2_nb7$true<*0*> buttons$random_push$raw_nd7<*0*> _nb2 ->buttons$_nb2$raw_ndc<*0*> - - 0 =buttons$random_push$raw_nd7<*0*> - - 1 =buttons$_nb2_nb7$true<*0*> .table buttons$_nb2_nb7$true<*1*> buttons$random_push$raw_nd7<*1*> _nb2 ->buttons$_nb2$raw_ndc<*1*> - - 0 =buttons$random_push$raw_nd7<*1*> - - 1 =buttons$_nb2_nb7$true<*1*> .table buttons$_nb2_nb7$true<*2*> buttons$random_push$raw_nd7<*2*> _nb2 ->buttons$_nb2$raw_ndc<*2*> - - 0 =buttons$random_push$raw_nd7<*2*> - - 1 =buttons$_nb2_nb7$true<*2*> .table ->_ne1<0> 0 .table ->_ne1<1> 1 .table _ne1<0> location<0> ->_ne2<0> .default 0 0 1 1 1 0 1 .table _ne1<1> location<1> ->_ne2<1> .default 0 0 1 1 1 0 1 .table _ne2<0> _ne2<1> ->_ne3 .default 1 0 0 0 .table _ne3 ->_ne0 0 1 1 0 .table _ne0 ->_ne4 - =_ne0 .table ->_ne7<0> 0 .table ->_ne7<1> 1 .table ->_ne8<0> 0 .table ->_ne8<1> 0 .table _ne8<0> _ne7<0> ->_nea<0> .default 0 0 1 1 1 0 1 .table _ne8<1> _ne7<1> ->_nea<1> .default 0 0 1 1 1 0 1 .table _nea<0> _nea<1> ->_neb .default 1 0 0 0 .table _neb ->_ne9 0 1 1 0 .table _ne6 buttons$_nb2$raw_ndc<*0*> _ne9 ->buttons$_ne0_ne5$true<*0*> - - 0 =buttons$_nb2$raw_ndc<*0*> - - 1 =_ne6 .table ->_nec<0> 1 .table ->_nec<1> 0 .table _nec<0> _ne7<0> ->_nee<0> .default 0 0 1 1 1 0 1 .table _nec<1> _ne7<1> ->_nee<1> .default 0 0 1 1 1 0 1 .table _nee<0> _nee<1> ->_nef .default 1 0 0 0 .table _nef ->_ned 0 1 1 0 .table _ne6 buttons$_nb2$raw_ndc<*1*> _ned ->buttons$_ne0_ne5$true<*1*> - - 0 =buttons$_nb2$raw_ndc<*1*> - - 1 =_ne6 .table ->_nf0<0> 0 .table ->_nf0<1> 1 .table _nf0<0> _ne7<0> ->_nf2<0> .default 0 0 1 1 1 0 1 .table _nf0<1> _ne7<1> ->_nf2<1> .default 0 0 1 1 1 0 1 .table _nf2<0> _nf2<1> ->_nf3 .default 1 0 0 0 .table _nf3 ->_nf1 0 1 1 0 .table _ne6 buttons$_nb2$raw_ndc<*2*> _nf1 ->buttons$_ne0_ne5$true<*2*> - - 0 =buttons$_nb2$raw_ndc<*2*> - - 1 =_ne6 .table ->_ne6 OFF .table random_push<2> ->_nf5 .default 1 0 0 .table _nf5 ->_nf4 - =_nf5 .table ->_nf8<0> 0 .table ->_nf8<1> 1 .table ->_nf9<0> 0 .table ->_nf9<1> 0 .table _nf9<0> _nf8<0> ->_nfb<0> .default 0 0 1 1 1 0 1 .table _nf9<1> _nf8<1> ->_nfb<1> .default 0 0 1 1 1 0 1 .table _nfb<0> _nfb<1> ->_nfc .default 1 0 0 0 .table _nfc ->_nfa 0 1 1 0 .table _nf7 buttons$_nb2$raw_ndc<*0*> _nfa ->buttons$random_push_nf6$true<*0*> - - 0 =buttons$_nb2$raw_ndc<*0*> - - 1 =_nf7 .table ->_nfd<0> 1 .table ->_nfd<1> 0 .table _nfd<0> _nf8<0> ->_nff<0> .default 0 0 1 1 1 0 1 .table _nfd<1> _nf8<1> ->_nff<1> .default 0 0 1 1 1 0 1 .table _nff<0> _nff<1> ->_n100 .default 1 0 0 0 .table _n100 ->_nfe 0 1 1 0 .table _nf7 buttons$_nb2$raw_ndc<*1*> _nfe ->buttons$random_push_nf6$true<*1*> - - 0 =buttons$_nb2$raw_ndc<*1*> - - 1 =_nf7 .table ->_n101<0> 0 .table ->_n101<1> 1 .table _n101<0> _nf8<0> ->_n103<0> .default 0 0 1 1 1 0 1 .table _n101<1> _nf8<1> ->_n103<1> .default 0 0 1 1 1 0 1 .table _n103<0> _n103<1> ->_n104 .default 1 0 0 0 .table _n104 ->_n102 0 1 1 0 .table _nf7 buttons$_nb2$raw_ndc<*2*> _n102 ->buttons$random_push_nf6$true<*2*> - - 0 =buttons$_nb2$raw_ndc<*2*> - - 1 =_nf7 .table ->_nf7 ON .table random_push<2> ->_n106 .default 1 0 0 .table buttons$random_push_nf6$true<*0*> buttons$_nb2$raw_ndc<*0*> _n106 ->buttons$random_push$raw_n105<*0*> - - 0 =buttons$_nb2$raw_ndc<*0*> - - 1 =buttons$random_push_nf6$true<*0*> .table buttons$random_push_nf6$true<*1*> buttons$_nb2$raw_ndc<*1*> _n106 ->buttons$random_push$raw_n105<*1*> - - 0 =buttons$_nb2$raw_ndc<*1*> - - 1 =buttons$random_push_nf6$true<*1*> .table buttons$random_push_nf6$true<*2*> buttons$_nb2$raw_ndc<*2*> _n106 ->buttons$random_push$raw_n105<*2*> - - 0 =buttons$_nb2$raw_ndc<*2*> - - 1 =buttons$random_push_nf6$true<*2*> .table buttons$_ne0_ne5$true<*0*> buttons$random_push$raw_n105<*0*> _ne0 ->buttons$_ne0$raw_n10a<*0*> - - 0 =buttons$random_push$raw_n105<*0*> - - 1 =buttons$_ne0_ne5$true<*0*> .table buttons$_ne0_ne5$true<*1*> buttons$random_push$raw_n105<*1*> _ne0 ->buttons$_ne0$raw_n10a<*1*> - - 0 =buttons$random_push$raw_n105<*1*> - - 1 =buttons$_ne0_ne5$true<*1*> .table buttons$_ne0_ne5$true<*2*> buttons$random_push$raw_n105<*2*> _ne0 ->buttons$_ne0$raw_n10a<*2*> - - 0 =buttons$random_push$raw_n105<*2*> - - 1 =buttons$_ne0_ne5$true<*2*> .table stop_next ->_n10e - =stop_next .table ->_n110 UP .table direction _n110 ->_n10f .default 0 - =direction 1 .table _n10f ->_n111 - =_n10f .table ->_n113<0> 1 .table ->_n113<1> 0 .table ->_n115 0 .table location<0> _n113<0> _n115 ->_n114<0> .default 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .table ->_n117 0 .table location<0> _n113<0> _n117 ->_n116 .default 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .table location<1> _n113<1> _n116 ->_n114<1> .default 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .table ->_n119<0> 0 .table ->_n119<1> 0 .table _n119<0> _n114<0> ->_n11b<0> .default 0 0 1 1 1 0 1 .table _n119<1> _n114<1> ->_n11b<1> .default 0 0 1 1 1 0 1 .table _n11b<0> _n11b<1> ->_n11c .default 1 0 0 0 .table _n11c ->_n11a 0 1 1 0 .table _n118 buttons$_ne0$raw_n10a<*0*> _n11a ->buttons$_n10f_n112$true<*0*> - - 0 =buttons$_ne0$raw_n10a<*0*> - - 1 =_n118 .table ->_n11d<0> 1 .table ->_n11d<1> 0 .table _n11d<0> _n114<0> ->_n11f<0> .default 0 0 1 1 1 0 1 .table _n11d<1> _n114<1> ->_n11f<1> .default 0 0 1 1 1 0 1 .table _n11f<0> _n11f<1> ->_n120 .default 1 0 0 0 .table _n120 ->_n11e 0 1 1 0 .table _n118 buttons$_ne0$raw_n10a<*1*> _n11e ->buttons$_n10f_n112$true<*1*> - - 0 =buttons$_ne0$raw_n10a<*1*> - - 1 =_n118 .table ->_n121<0> 0 .table ->_n121<1> 1 .table _n121<0> _n114<0> ->_n123<0> .default 0 0 1 1 1 0 1 .table _n121<1> _n114<1> ->_n123<1> .default 0 0 1 1 1 0 1 .table _n123<0> _n123<1> ->_n124 .default 1 0 0 0 .table _n124 ->_n122 0 1 1 0 .table _n118 buttons$_ne0$raw_n10a<*2*> _n122 ->buttons$_n10f_n112$true<*2*> - - 0 =buttons$_ne0$raw_n10a<*2*> - - 1 =_n118 .table ->_n118 ON .table ->_n126<0> 1 .table ->_n126<1> 0 .table ->_n128 0 .table location<0> _n126<0> _n128 ->_n127<0> .default 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .table ->_n12a 0 .table location<0> _n126<0> _n12a ->_n129 .default 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .table location<1> _n126<1> _n129 ->_n127<1> .default 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .table ->_n12c<0> 0 .table ->_n12c<1> 0 .table _n12c<0> _n127<0> ->_n12e<0> .default 0 0 1 1 1 0 1 .table _n12c<1> _n127<1> ->_n12e<1> .default 0 0 1 1 1 0 1 .table _n12e<0> _n12e<1> ->_n12f .default 1 0 0 0 .table _n12f ->_n12d 0 1 1 0 .table _n12b buttons$_ne0$raw_n10a<*0*> _n12d ->buttons$_n10f_n125$false<*0*> - - 0 =buttons$_ne0$raw_n10a<*0*> - - 1 =_n12b .table ->_n130<0> 1 .table ->_n130<1> 0 .table _n130<0> _n127<0> ->_n132<0> .default 0 0 1 1 1 0 1 .table _n130<1> _n127<1> ->_n132<1> .default 0 0 1 1 1 0 1 .table _n132<0> _n132<1> ->_n133 .default 1 0 0 0 .table _n133 ->_n131 0 1 1 0 .table _n12b buttons$_ne0$raw_n10a<*1*> _n131 ->buttons$_n10f_n125$false<*1*> - - 0 =buttons$_ne0$raw_n10a<*1*> - - 1 =_n12b .table ->_n134<0> 0 .table ->_n134<1> 1 .table _n134<0> _n127<0> ->_n136<0> .default 0 0 1 1 1 0 1 .table _n134<1> _n127<1> ->_n136<1> .default 0 0 1 1 1 0 1 .table _n136<0> _n136<1> ->_n137 .default 1 0 0 0 .table _n137 ->_n135 0 1 1 0 .table _n12b buttons$_ne0$raw_n10a<*2*> _n135 ->buttons$_n10f_n125$false<*2*> - - 0 =buttons$_ne0$raw_n10a<*2*> - - 1 =_n12b .table ->_n12b ON .table buttons$_n10f_n112$true<*0*> buttons$_n10f_n125$false<*0*> _n10f ->buttons$_n10f$raw_n138<*0*> - - 0 =buttons$_n10f_n125$false<*0*> - - 1 =buttons$_n10f_n112$true<*0*> .table buttons$_n10f_n112$true<*1*> buttons$_n10f_n125$false<*1*> _n10f ->buttons$_n10f$raw_n138<*1*> - - 0 =buttons$_n10f_n125$false<*1*> - - 1 =buttons$_n10f_n112$true<*1*> .table buttons$_n10f_n112$true<*2*> buttons$_n10f_n125$false<*2*> _n10f ->buttons$_n10f$raw_n138<*2*> - - 0 =buttons$_n10f_n125$false<*2*> - - 1 =buttons$_n10f_n112$true<*2*> .table buttons$_n10f$raw_n138<*0*> buttons$_ne0$raw_n10a<*0*> stop_next ->buttons$stop_next$raw_n13c<*0*> - - 0 =buttons$_ne0$raw_n10a<*0*> - - 1 =buttons$_n10f$raw_n138<*0*> .table buttons$_n10f$raw_n138<*1*> buttons$_ne0$raw_n10a<*1*> stop_next ->buttons$stop_next$raw_n13c<*1*> - - 0 =buttons$_ne0$raw_n10a<*1*> - - 1 =buttons$_n10f$raw_n138<*1*> .table buttons$_n10f$raw_n138<*2*> buttons$_ne0$raw_n10a<*2*> stop_next ->buttons$stop_next$raw_n13c<*2*> - - 0 =buttons$_ne0$raw_n10a<*2*> - - 1 =buttons$_n10f$raw_n138<*2*> .table ->_n141 CLOSED .table door _n141 ->_n140 .default 1 - =door 0 .table _n140 ->_n142 - =_n140 .table ->open_next$_n140_n143$true 0 .table ->_n145 MOVING .table movement _n145 ->_n144 .default 0 - =movement 1 .table ->_n147 UP .table direction _n147 ->_n146 .default 0 - =direction 1 .table ->_n149<0> 1 .table ->_n149<1> 0 .table ->_n14b 0 .table location<0> _n149<0> _n14b ->_n14a<0> .default 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .table ->_n14d 0 .table location<0> _n149<0> _n14d ->_n14c .default 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .table location<1> _n149<1> _n14c ->_n14a<1> .default 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .table buttons<*0*> buttons<*1*> buttons<*2*> _n14a<1> _n14a<0> ->_n14e - - - 0 0 =buttons<*0*> - - - 0 1 =buttons<*1*> - - - 1 0 =buttons<*2*> - - - 1 1 ON .table ->_n14f ON .table _n14e _n14f ->_n148 .default 0 - =_n14e 1 .table _n146 _n148 ->_n150 .default 0 1 1 1 .table stop_next _n150 ->_n151 .default 1 0 0 0 .table ->_n153 DOWN .table direction _n153 ->_n152 .default 0 - =direction 1 .table ->_n155<0> 1 .table ->_n155<1> 0 .table ->_n157 0 .table location<0> _n155<0> _n157 ->_n156<0> .default 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .table ->_n159 0 .table location<0> _n155<0> _n159 ->_n158 .default 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .table location<1> _n155<1> _n158 ->_n156<1> .default 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .table buttons<*0*> buttons<*1*> buttons<*2*> _n156<1> _n156<0> ->_n15a - - - 0 0 =buttons<*0*> - - - 0 1 =buttons<*1*> - - - 1 0 =buttons<*2*> - - - 1 1 ON .table ->_n15b ON .table _n15a _n15b ->_n154 .default 0 - =_n15a 1 .table _n152 _n154 ->_n15c .default 0 1 1 1 .table _n151 _n15c ->_n15d .default 1 0 0 0 .table _n144 _n15d ->_n15e .default 0 1 1 1 .table _n15e ->_n15f - =_n15e .table ->open_next$_n15e_n160$true 1 .table open_next$_n15e_n160$true open_next _n15e ->open_next$_n15e$raw_n163 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .table open_next$_n140_n143$true open_next$_n15e$raw_n163 _n140 ->open_next$_n140$raw_n166 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .table ->random 0 1 .table ->_n16e CLOSED .table door _n16e ->_n16d .default 0 - =door 1 .table _n16d ->_n16c 1 1 0 0 .table ->_n170 STOPPED .table movement _n170 ->_n16f .default 0 - =movement 1 .table open_next _n16f ->_n171 .default 0 1 1 1 .table _n171 ->_n172 - =_n171 .table ->door$_n171_n173$true OPENING .table door$_n171_n173$true door _n171 ->door$_n171$raw_n176 - - 0 =door - - 1 =door$_n171_n173$true .table ->_n179 OPENING .table door _n179 ->_n178 .default 0 - =door 1 .table _n178 ->_n177 1 1 0 0 .table random ->_n17a - =random .table ->door$random_n17b$true OPEN .table door$random_n17b$true door random ->door$random$raw_n17e - - 0 =door - - 1 =door$random_n17b$true .table ->_n181 OPEN .table door _n181 ->_n180 .default 0 - =door 1 .table _n180 ->_n17f 1 1 0 0 .table random ->_n182 - =random .table ->door$random_n183$true CLOSING .table door$random_n183$true door random ->door$random$raw_n186 - - 0 =door - - 1 =door$random_n183$true .table ->_n189 CLOSING .table door _n189 ->_n188 .default 0 - =door 1 .table _n188 ->_n187 1 1 0 0 .table random ->_n18a - =random .table ->door$random_n18b$true CLOSED .table door$random_n18b$true door random ->door$random$raw_n18e - - 0 =door - - 1 =door$random_n18b$true .table door$random$raw_n18e door _n187 ->door$_n187$raw_n191 - - 0 =door - - 1 =door$random$raw_n18e .table door$random$raw_n186 door$_n187$raw_n191 _n17f ->door$_n17f$raw_n192 - - 0 =door$_n187$raw_n191 - - 1 =door$random$raw_n186 .table door$random$raw_n17e door$_n17f$raw_n192 _n177 ->door$_n177$raw_n196 - - 0 =door$_n17f$raw_n192 - - 1 =door$random$raw_n17e .table door$_n171$raw_n176 door$_n177$raw_n196 _n16c ->door$_n16c$raw_n19a - - 0 =door$_n177$raw_n196 - - 1 =door$_n171$raw_n176 .table ->_n1a0 UP .table direction _n1a0 ->_n19f .default 0 - =direction 1 .table button_above _n19f ->_n1a1 .default 0 1 1 1 .table continue _n1a1 ->_n1a2 .default 1 0 0 0 .table ->_n1a4 DOWN .table direction _n1a4 ->_n1a3 .default 0 - =direction 1 .table button_below _n1a3 ->_n1a5 .default 0 1 1 1 .table _n1a2 _n1a5 ->_n1a6 .default 1 0 0 0 .table _n1a6 ->start_moving$raw_n19e - =_n1a6 .table ->r_stop 0 1 .table ->_n1ab MOVING .table movement _n1ab ->_n1aa .default 0 - =movement 1 .table r_stop _n1aa ->_n1ac .default 0 1 1 1 .table _n1ac ->stop_moving$raw_n1a9 - =_n1ac .table ->_n1af UP .table direction _n1af ->_n1ae .default 0 - =direction 1 .table stop_moving _n1ae ->_n1b0 .default 0 1 1 1 .table _n1b0 ->inc$raw_n1ad - =_n1b0 .table ->_n1b3 DOWN .table direction _n1b3 ->_n1b2 .default 0 - =direction 1 .table stop_moving _n1b2 ->_n1b4 .default 0 1 1 1 .table _n1b4 ->dec$raw_n1b1 - =_n1b4 .table ->_n1b6 CLOSED .table door _n1b6 ->_n1b5 .default 0 - =door 1 .table _n1b5 ->_n1b7 - =_n1b5 .table ->_n1ba STOPPED .table movement _n1ba ->_n1b9 .default 0 - =movement 1 .table _n1b9 ->_n1b8 1 1 0 0 .table ->_n1bc CLOSED .table door _n1bc ->_n1bb .default 0 - =door 1 .table _n1bb start_moving ->_n1bd .default 0 1 1 1 .table open_next ->_n1be 0 1 1 0 .table _n1bd _n1be ->_n1bf .default 0 1 1 1 .table _n1bf ->_n1c0 - =_n1bf .table ->movement$_n1bf_n1c1$true MOVING .table movement$_n1bf_n1c1$true movement _n1bf ->movement$_n1bf$raw_n1c4 - - 0 =movement - - 1 =movement$_n1bf_n1c1$true .table ->_n1c7 MOVING .table movement _n1c7 ->_n1c6 .default 0 - =movement 1 .table _n1c6 ->_n1c5 1 1 0 0 .table stop_moving ->_n1c8 - =stop_moving .table ->movement$stop_moving_n1c9$true STOPPED .table ->_n1cb UP .table direction _n1cb ->_n1ca .default 0 - =direction 1 .table _n1ca ->_n1cc - =_n1ca .table ->_n1ce<0> 1 .table ->_n1ce<1> 0 .table ->_n1d0 0 .table location<0> _n1ce<0> _n1d0 ->_n1cf<0> .default 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .table ->_n1d2 0 .table location<0> _n1ce<0> _n1d2 ->_n1d1 .default 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .table location<1> _n1ce<1> _n1d1 ->_n1cf<1> .default 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .table _n1cf<0> ->location$_n1ca_n1cd$true<0> - =_n1cf<0> .table _n1cf<1> ->location$_n1ca_n1cd$true<1> - =_n1cf<1> .table location$_n1ca_n1cd$true<0> location<0> _n1ca ->location$_n1ca$raw_n1d8<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .table location$_n1ca_n1cd$true<1> location<1> _n1ca ->location$_n1ca$raw_n1d8<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .table ->_n1dd DOWN .table direction _n1dd ->_n1dc .default 0 - =direction 1 .table _n1dc ->_n1de - =_n1dc .table ->_n1e0<0> 1 .table ->_n1e0<1> 0 .table ->_n1e2 0 .table location$_n1ca$raw_n1d8<0> _n1e0<0> _n1e2 ->_n1e1<0> .default 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .table ->_n1e4 0 .table location$_n1ca$raw_n1d8<0> _n1e0<0> _n1e4 ->_n1e3 .default 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .table location$_n1ca$raw_n1d8<1> _n1e0<1> _n1e3 ->_n1e1<1> .default 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .table _n1e1<0> ->location$_n1dc_n1df$true<0> - =_n1e1<0> .table _n1e1<1> ->location$_n1dc_n1df$true<1> - =_n1e1<1> .table location$_n1dc_n1df$true<0> location$_n1ca$raw_n1d8<0> _n1dc ->location$_n1dc$raw_n1e6<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .table location$_n1dc_n1df$true<1> location$_n1ca$raw_n1d8<1> _n1dc ->location$_n1dc$raw_n1e6<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .table movement$stop_moving_n1c9$true movement stop_moving ->movement$stop_moving$raw_n1f3 - - 0 =movement - - 1 =movement$stop_moving_n1c9$true .table location$_n1dc$raw_n1e6<0> location<0> stop_moving ->location$stop_moving$raw_n1f4<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .table location$_n1dc$raw_n1e6<1> location<1> stop_moving ->location$stop_moving$raw_n1f4<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .table movement$stop_moving$raw_n1f3 movement _n1c5 ->movement$_n1c5$raw_n1fb - - 0 =movement - - 1 =movement$stop_moving$raw_n1f3 .table location$stop_moving$raw_n1f4<0> location<0> _n1c5 ->location$_n1c5$raw_n1fc<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .table location$stop_moving$raw_n1f4<1> location<1> _n1c5 ->location$_n1c5$raw_n1fc<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .table movement$_n1bf$raw_n1c4 movement$_n1c5$raw_n1fb _n1b8 ->movement$_n1b8$raw_n1ff - - 0 =movement$_n1c5$raw_n1fb - - 1 =movement$_n1bf$raw_n1c4 .table location<0> location$_n1c5$raw_n1fc<0> _n1b8 ->location$_n1b8$raw_n203<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .table location<1> location$_n1c5$raw_n1fc<1> _n1b8 ->location$_n1b8$raw_n203<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .table movement$_n1b8$raw_n1ff movement _n1b5 ->movement$_n1b5$raw_n20a - - 0 =movement - - 1 =movement$_n1b8$raw_n1ff .table location$_n1b8$raw_n203<0> location<0> _n1b5 ->location$_n1b5$raw_n20b<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .table location$_n1b8$raw_n203<1> location<1> _n1b5 ->location$_n1b5$raw_n20b<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .table ->_n210 UP .table direction _n210 ->_n20f .default 0 - =direction 1 .table _n20f ->_n20e 1 1 0 0 .table button_above ->_n211 0 1 1 0 .table continue ->_n212 0 1 1 0 .table _n211 _n212 ->_n213 .default 0 1 1 1 .table _n213 ->_n214 - =_n213 .table ->direction$_n213_n215$true DOWN .table direction$_n213_n215$true direction _n213 ->direction$_n213$raw_n218 - - 0 =direction - - 1 =direction$_n213_n215$true .table ->_n21b DOWN .table direction _n21b ->_n21a .default 0 - =direction 1 .table _n21a ->_n219 1 1 0 0 .table button_below ->_n21c 0 1 1 0 .table continue ->_n21d 0 1 1 0 .table _n21c _n21d ->_n21e .default 0 1 1 1 .table _n21e ->_n21f - =_n21e .table ->direction$_n21e_n220$true UP .table direction$_n21e_n220$true direction _n21e ->direction$_n21e$raw_n223 - - 0 =direction - - 1 =direction$_n21e_n220$true .table direction$_n21e$raw_n223 direction _n219 ->direction$_n219$raw_n226 - - 0 =direction - - 1 =direction$_n21e$raw_n223 .table direction$_n213$raw_n218 direction$_n219$raw_n226 _n20e ->direction$_n20e$raw_n227 - - 0 =direction$_n219$raw_n226 - - 1 =direction$_n213$raw_n218 .table ->_n22c<0> 1 .table ->_n22c<1> 1 .table ->_n22d<0> 1 .table ->_n22d<1> 0 .table ->_n22f 0 .table _n22c<0> _n22d<0> _n22f ->_n22e<0> .default 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .table ->_n231 0 .table _n22c<0> _n22d<0> _n231 ->_n230 .default 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .table _n22c<1> _n22d<1> _n230 ->_n22e<1> .default 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .table location<0> _n22e<0> ->_n232<0> .default 0 0 1 1 1 0 1 .table location<1> _n22e<1> ->_n232<1> .default 0 0 1 1 1 0 1 .table _n232<0> _n232<1> ->_n233 .default 1 0 0 0 .table _n233 ->_n22b 0 1 1 0 .table _n22b ->_n234 - =_n22b .table ->direction$_n22b_n235$true DOWN .table direction$_n22b_n235$true direction$_n20e$raw_n227 _n22b ->direction$_n22b$raw_n236 - - 0 =direction$_n20e$raw_n227 - - 1 =direction$_n22b_n235$true .table ->_n23b<0> 0 .table ->_n23b<1> 0 .table location<0> _n23b<0> ->_n23c<0> .default 0 0 1 1 1 0 1 .table location<1> _n23b<1> ->_n23c<1> .default 0 0 1 1 1 0 1 .table _n23c<0> _n23c<1> ->_n23d .default 1 0 0 0 .table _n23d ->_n23a 0 1 1 0 .table _n23a ->_n23e - =_n23a .table ->direction$_n23a_n23f$true UP .table direction$_n23a_n23f$true direction$_n22b$raw_n236 _n23a ->direction$_n23a$raw_n240 - - 0 =direction$_n22b$raw_n236 - - 1 =direction$_n23a_n23f$true .table button_above$raw_n6c ->button_above 0 0 1 1 .table _n1b7 _n1b8 _n1c0 _n1c5 _n1c8 ->_n244 .default 0 1 1 1 - - 1 1 0 - 1 1 1 .table _n244 movement$_n1b5$raw_n20a movement ->_n245 1 - - =movement$_n1b5$raw_n20a 0 - - =movement .table _n89 _n99 _nb6 _nc6 _ne4 _nf4 _n10e _n111 ->_n25b .default 0 1 - - - - - - - 1 0 1 - - - - - - 1 - - 1 - - - - - 1 - - 0 1 - - - - 1 - - - - 1 - - - 1 - - - - 0 1 - - 1 - - - - - - 1 1 1 - - - - - - 1 0 1 .table _n25b buttons$stop_next$raw_n13c<*0*> buttons<*0*> ->_n25c<*0*> 1 - - =buttons$stop_next$raw_n13c<*0*> 0 - - =buttons<*0*> .table _n25b buttons$stop_next$raw_n13c<*1*> buttons<*1*> ->_n25c<*1*> 1 - - =buttons$stop_next$raw_n13c<*1*> 0 - - =buttons<*1*> .table _n25b buttons$stop_next$raw_n13c<*2*> buttons<*2*> ->_n25c<*2*> 1 - - =buttons$stop_next$raw_n13c<*2*> 0 - - =buttons<*2*> .table start_moving$raw_n19e ->start_moving 0 0 1 1 .table _n16c _n172 _n177 _n17a _n17f _n182 _n187 _n18a ->_n29c .default 0 1 1 - - - - - - 1 0 - 1 1 - - - - 1 0 - 0 - 1 1 - - 1 0 - 0 - 0 - 1 1 1 .table _n29c door$_n16c$raw_n19a door ->_n29d 1 - - =door$_n16c$raw_n19a 0 - - =door .table stop_moving$raw_n1a9 ->stop_moving 0 0 1 1 .table _n1b7 _n1b8 _n1c5 _n1c8 _n1cc _n1de ->_n2b3 .default 0 1 0 1 1 1 - 1 1 0 1 1 - 1 1 .table _n2b3 location$_n1b5$raw_n20b<0> location$_n1b5$raw_n20b<1> location<0> location<1> ->_n2b4<0> _n2b4<1> 1 - - - - =location$_n1b5$raw_n20b<0> =location$_n1b5$raw_n20b<1> 0 - - - - =location<0> =location<1> .table button_below$raw_n53 ->button_below 0 0 1 1 .table _n20e _n214 _n219 _n21f _n234 _n23e ->_n2b5 .default 0 1 1 - - - - 1 0 - 1 1 - - 1 - - - - 1 - 1 - - - - - 1 1 .table _n2b5 direction$_n23a$raw_n240 direction ->_n2b6 1 - - =direction$_n23a$raw_n240 0 - - =direction .table _n142 _n15f ->_n2cc .default 0 1 - 1 0 1 1 .table _n2cc open_next$_n140$raw_n166 open_next ->_n2cd 1 0 - 0 1 1 - 1 0 - 0 0 0 - 1 1 .table dec$raw_n1b1 ->dec 0 0 1 1 .table inc$raw_n1ad ->inc 0 0 1 1 .end