# vl2mv elevator.v # version: 0.2 # date: 17:49:14 11/22/96 (PST) .model main # I/O ports # assign init11 = $NDset ( 0,1,2,3 ) .names -> init11<0> init11<1> 0 0 1 0 0 1 1 1 # assign init22 = $NDset ( 0,1,2,3 ) .names -> init22<0> init22<1> 0 0 1 0 0 1 1 1 # assign init1 = init11 == 3 ? 2 : init11 .names _n6<0> 1 .names _n6<1> 1 # init11 == 3 .names init11<0> _n6<0> _n7<0> .def 0 0 1 1 1 0 1 .names init11<1> _n6<1> _n7<1> .def 0 0 1 1 1 0 1 .names _n7<0> _n7<1> _n8 .def 1 0 0 0 .names _n8 _n5 0 1 1 0 .names _n9<0> 0 .names _n9<1> 1 # init11 == 3 ? 2 : init11 .names _n9<0> init11<0> _n5 _na<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n9<1> init11<1> _n5 _na<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _na<0> init1$raw_n4<0> - =_na<0> .names _na<1> init1$raw_n4<1> - =_na<1> # assign init2 = init22 == 3 ? 2 : init22 .names _nf<0> 1 .names _nf<1> 1 # init22 == 3 .names init22<0> _nf<0> _n10<0> .def 0 0 1 1 1 0 1 .names init22<1> _nf<1> _n10<1> .def 0 0 1 1 1 0 1 .names _n10<0> _n10<1> _n11 .def 1 0 0 0 .names _n11 _ne 0 1 1 0 .names _n12<0> 0 .names _n12<1> 1 # init22 == 3 ? 2 : init22 .names _n12<0> init22<0> _ne _n13<0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n12<1> init22<1> _ne _n13<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n13<0> init2$raw_nd<0> - =_n13<0> .names _n13<1> init2$raw_nd<1> - =_n13<1> .subckt elevator e1 stop_next=stop_next<1> inc=inc<1> dec=dec<1> continue=continue<1> init<0>=init1<0> init<1>=init1<1> .subckt elevator e2 stop_next=stop_next<2> inc=inc<2> dec=dec<2> continue=continue<2> init<0>=init2<0> init<1>=init2<1> .subckt main_control main_control inc<1>=inc<1> inc<2>=inc<2> dec<1>=dec<1> dec<2>=dec<2> stop_next<1>=stop_next<1> stop_next<2>=stop_next<2> continue<1>=continue<1> continue<2>=continue<2> init1<0>=init1<0> init1<1>=init1<1> init2<0>=init2<0> init2<1>=init2<1> # conflict arbitrators .names init2$raw_nd<0> init2<0> - =init2$raw_nd<0> .names init2$raw_nd<1> init2<1> - =init2$raw_nd<1> .names init1$raw_n4<0> init1<0> - =init1$raw_n4<0> .names init1$raw_n4<1> init1<1> - =init1$raw_n4<1> # non-blocking assignments # latches # quasi-continuous assignment .end .model elevator # I/O ports .outputs dec .outputs inc .inputs init<0> init<1> .inputs stop_next .inputs continue .mv movement 2 STOPPED MOVING .mv buttons<*0*> 2 ON OFF .mv buttons<*1*> 2 ON OFF .mv buttons<*2*> 2 ON OFF .mv door 4 OPEN OPENING CLOSED CLOSING .mv direction 2 UP DOWN # open_next = 0 .names open_next$raw_n16 0 # non-blocking assignments for initial # location = init .names init<0> location$raw_n17<0> - =init<0> .names init<1> location$raw_n17<1> - =init<1> # non-blocking assignments for initial # direction = 0 .mv direction$raw_n18 2 UP DOWN .names direction$raw_n18 UP # non-blocking assignments for initial # door = 0 .mv door$raw_n19 4 OPEN OPENING CLOSED CLOSING .names door$raw_n19 OPEN # non-blocking assignments for initial # movement = 0 .mv movement$raw_n1a 2 STOPPED MOVING .names movement$raw_n1a STOPPED # non-blocking assignments for initial # buttons [0] = 1 .mv buttons$raw_n1b<*0*> 2 ON OFF .mv buttons$raw_n1b<*1*> 2 ON OFF .mv buttons$raw_n1b<*2*> 2 ON OFF .mv _n1c 2 ON OFF .names _n1d<0> 0 .names _n1d<1> 0 .names _n1e<0> 0 .names _n1e<1> 0 .names _n1e<0> _n1d<0> _n20<0> .def 0 0 1 1 1 0 1 .names _n1e<1> _n1d<1> _n20<1> .def 0 0 1 1 1 0 1 .names _n20<0> _n20<1> _n21 .def 1 0 0 0 .names _n21 _n1f 0 1 1 0 .mv _n22 2 ON OFF .names _n22 ON .names _n1c _n22 _n1f buttons$raw_n1b<*0*> - - 0 =_n22 - - 1 =_n1c .names _n23<0> 1 .names _n23<1> 0 .names _n23<0> _n1d<0> _n25<0> .def 0 0 1 1 1 0 1 .names _n23<1> _n1d<1> _n25<1> .def 0 0 1 1 1 0 1 .names _n25<0> _n25<1> _n26 .def 1 0 0 0 .names _n26 _n24 0 1 1 0 .mv _n27 2 ON OFF .names _n27 ON .names _n1c _n27 _n24 buttons$raw_n1b<*1*> - - 0 =_n27 - - 1 =_n1c .names _n28<0> 0 .names _n28<1> 1 .names _n28<0> _n1d<0> _n2a<0> .def 0 0 1 1 1 0 1 .names _n28<1> _n1d<1> _n2a<1> .def 0 0 1 1 1 0 1 .names _n2a<0> _n2a<1> _n2b .def 1 0 0 0 .names _n2b _n29 0 1 1 0 .mv _n2c 2 ON OFF .names _n2c ON .names _n1c _n2c _n29 buttons$raw_n1b<*2*> - - 0 =_n2c - - 1 =_n1c .names _n1c OFF # non-blocking assignments for initial # buttons [1] = 1 .mv buttons$raw_n2d<*0*> 2 ON OFF .mv buttons$raw_n2d<*1*> 2 ON OFF .mv buttons$raw_n2d<*2*> 2 ON OFF .mv _n2e 2 ON OFF .names _n2f<0> 1 .names _n2f<1> 0 .names _n30<0> 0 .names _n30<1> 0 .names _n30<0> _n2f<0> _n32<0> .def 0 0 1 1 1 0 1 .names _n30<1> _n2f<1> _n32<1> .def 0 0 1 1 1 0 1 .names _n32<0> _n32<1> _n33 .def 1 0 0 0 .names _n33 _n31 0 1 1 0 .mv _n34 2 ON OFF .names _n34 ON .names _n2e _n34 _n31 buttons$raw_n2d<*0*> - - 0 =_n34 - - 1 =_n2e .names _n35<0> 1 .names _n35<1> 0 .names _n35<0> _n2f<0> _n37<0> .def 0 0 1 1 1 0 1 .names _n35<1> _n2f<1> _n37<1> .def 0 0 1 1 1 0 1 .names _n37<0> _n37<1> _n38 .def 1 0 0 0 .names _n38 _n36 0 1 1 0 .mv _n39 2 ON OFF .names _n39 ON .names _n2e _n39 _n36 buttons$raw_n2d<*1*> - - 0 =_n39 - - 1 =_n2e .names _n3a<0> 0 .names _n3a<1> 1 .names _n3a<0> _n2f<0> _n3c<0> .def 0 0 1 1 1 0 1 .names _n3a<1> _n2f<1> _n3c<1> .def 0 0 1 1 1 0 1 .names _n3c<0> _n3c<1> _n3d .def 1 0 0 0 .names _n3d _n3b 0 1 1 0 .mv _n3e 2 ON OFF .names _n3e ON .names _n2e _n3e _n3b buttons$raw_n2d<*2*> - - 0 =_n3e - - 1 =_n2e .names _n2e OFF # non-blocking assignments for initial # buttons [2] = 1 .mv buttons$raw_n3f<*0*> 2 ON OFF .mv buttons$raw_n3f<*1*> 2 ON OFF .mv buttons$raw_n3f<*2*> 2 ON OFF .mv _n40 2 ON OFF .names _n41<0> 0 .names _n41<1> 1 .names _n42<0> 0 .names _n42<1> 0 .names _n42<0> _n41<0> _n44<0> .def 0 0 1 1 1 0 1 .names _n42<1> _n41<1> _n44<1> .def 0 0 1 1 1 0 1 .names _n44<0> _n44<1> _n45 .def 1 0 0 0 .names _n45 _n43 0 1 1 0 .mv _n46 2 ON OFF .names _n46 ON .names _n40 _n46 _n43 buttons$raw_n3f<*0*> - - 0 =_n46 - - 1 =_n40 .names _n47<0> 1 .names _n47<1> 0 .names _n47<0> _n41<0> _n49<0> .def 0 0 1 1 1 0 1 .names _n47<1> _n41<1> _n49<1> .def 0 0 1 1 1 0 1 .names _n49<0> _n49<1> _n4a .def 1 0 0 0 .names _n4a _n48 0 1 1 0 .mv _n4b 2 ON OFF .names _n4b ON .names _n40 _n4b _n48 buttons$raw_n3f<*1*> - - 0 =_n4b - - 1 =_n40 .names _n4c<0> 0 .names _n4c<1> 1 .names _n4c<0> _n41<0> _n4e<0> .def 0 0 1 1 1 0 1 .names _n4c<1> _n41<1> _n4e<1> .def 0 0 1 1 1 0 1 .names _n4e<0> _n4e<1> _n4f .def 1 0 0 0 .names _n4f _n4d 0 1 1 0 .mv _n50 2 ON OFF .names _n50 ON .names _n40 _n50 _n4d buttons$raw_n3f<*2*> - - 0 =_n50 - - 1 =_n40 .names _n40 OFF # non-blocking assignments for initial # assign random_push = $NDset ( 0,1,2,3,4,5,6,7 ) .names -> 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 # assign button_below = ((location == 2) && (buttons [1] == ON || buttons [0] == ON )) || ((location == 1) && buttons [0] == ON ) .names _n55<0> 0 .names _n55<1> 1 # location == 2 .names location<0> _n55<0> _n56<0> .def 0 0 1 1 1 0 1 .names location<1> _n55<1> _n56<1> .def 0 0 1 1 1 0 1 .names _n56<0> _n56<1> _n57 .def 1 0 0 0 .names _n57 _n54 0 1 1 0 .names _n59<0> 1 .names _n59<1> 0 .mv _n5a 2 ON OFF .names 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 .mv _n5b 2 ON OFF .names _n5b ON # buttons [1] == 0 .names _n5a _n5b _n58 .def 0 - =_n5a 1 .names _n5d<0> 0 .names _n5d<1> 0 .mv _n5e 2 ON OFF .names 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 .mv _n5f 2 ON OFF .names _n5f ON # buttons [0] == 0 .names _n5e _n5f _n5c .def 0 - =_n5e 1 # buttons [1] == 0 || buttons [0] == 0 .names _n58 _n5c _n60 .def 1 0 0 0 # (location == 2) && (buttons [1] == 0 || buttons [0] == 0) .names _n54 _n60 _n61 .def 0 1 1 1 .names _n63<0> 1 .names _n63<1> 0 # location == 1 .names location<0> _n63<0> _n64<0> .def 0 0 1 1 1 0 1 .names location<1> _n63<1> _n64<1> .def 0 0 1 1 1 0 1 .names _n64<0> _n64<1> _n65 .def 1 0 0 0 .names _n65 _n62 0 1 1 0 .names _n67<0> 0 .names _n67<1> 0 .mv _n68 2 ON OFF .names 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 .mv _n69 2 ON OFF .names _n69 ON # buttons [0] == 0 .names _n68 _n69 _n66 .def 0 - =_n68 1 # (location == 1) && buttons [0] == 0 .names _n62 _n66 _n6a .def 0 1 1 1 # ((location == 2) && (buttons [1] == 0 || buttons [0] == 0)) || ((location == 1) && buttons [0] == 0) .names _n61 _n6a _n6b .def 1 0 0 0 .names _n6b button_below$raw_n53 - =_n6b # assign button_above = ((location == 0) && (buttons [2] == ON || buttons [1] == ON )) || ((location == 1) && (buttons [2] == ON )) .names _n6e<0> 0 .names _n6e<1> 0 # location == 0 .names location<0> _n6e<0> _n6f<0> .def 0 0 1 1 1 0 1 .names location<1> _n6e<1> _n6f<1> .def 0 0 1 1 1 0 1 .names _n6f<0> _n6f<1> _n70 .def 1 0 0 0 .names _n70 _n6d 0 1 1 0 .names _n72<0> 0 .names _n72<1> 1 .mv _n73 2 ON OFF .names 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 .mv _n74 2 ON OFF .names _n74 ON # buttons [2] == 0 .names _n73 _n74 _n71 .def 0 - =_n73 1 .names _n76<0> 1 .names _n76<1> 0 .mv _n77 2 ON OFF .names 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 .mv _n78 2 ON OFF .names _n78 ON # buttons [1] == 0 .names _n77 _n78 _n75 .def 0 - =_n77 1 # buttons [2] == 0 || buttons [1] == 0 .names _n71 _n75 _n79 .def 1 0 0 0 # (location == 0) && (buttons [2] == 0 || buttons [1] == 0) .names _n6d _n79 _n7a .def 0 1 1 1 .names _n7c<0> 1 .names _n7c<1> 0 # location == 1 .names location<0> _n7c<0> _n7d<0> .def 0 0 1 1 1 0 1 .names location<1> _n7c<1> _n7d<1> .def 0 0 1 1 1 0 1 .names _n7d<0> _n7d<1> _n7e .def 1 0 0 0 .names _n7e _n7b 0 1 1 0 .names _n80<0> 0 .names _n80<1> 1 .mv _n81 2 ON OFF .names 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 .mv _n82 2 ON OFF .names _n82 ON # buttons [2] == 0 .names _n81 _n82 _n7f .def 0 - =_n81 1 # (location == 1) && (buttons [2] == 0) .names _n7b _n7f _n83 .def 0 1 1 1 # ((location == 0) && (buttons [2] == 0 || buttons [1] == 0)) || ((location == 1) && (buttons [2] == 0)) .names _n7a _n83 _n84 .def 1 0 0 0 .names _n84 button_above$raw_n6c - =_n84 .names _n86<0> 0 .names _n86<1> 0 # 0 == location .names _n86<0> location<0> _n87<0> .def 0 0 1 1 1 0 1 .names _n86<1> location<1> _n87<1> .def 0 0 1 1 1 0 1 .names _n87<0> _n87<1> _n88 .def 1 0 0 0 .names _n88 _n85 0 1 1 0 .names _n85 _n89 - =_n85 # buttons [0] = 1 .mv buttons$_n85_n8a$true<*0*> 2 ON OFF .mv buttons$_n85_n8a$true<*1*> 2 ON OFF .mv buttons$_n85_n8a$true<*2*> 2 ON OFF .mv _n8b 2 ON OFF .names _n8c<0> 0 .names _n8c<1> 0 .names _n8d<0> 0 .names _n8d<1> 0 .names _n8d<0> _n8c<0> _n8f<0> .def 0 0 1 1 1 0 1 .names _n8d<1> _n8c<1> _n8f<1> .def 0 0 1 1 1 0 1 .names _n8f<0> _n8f<1> _n90 .def 1 0 0 0 .names _n90 _n8e 0 1 1 0 .names _n8b buttons<*0*> _n8e buttons$_n85_n8a$true<*0*> - - 0 =buttons<*0*> - - 1 =_n8b .names _n91<0> 1 .names _n91<1> 0 .names _n91<0> _n8c<0> _n93<0> .def 0 0 1 1 1 0 1 .names _n91<1> _n8c<1> _n93<1> .def 0 0 1 1 1 0 1 .names _n93<0> _n93<1> _n94 .def 1 0 0 0 .names _n94 _n92 0 1 1 0 .names _n8b buttons<*1*> _n92 buttons$_n85_n8a$true<*1*> - - 0 =buttons<*1*> - - 1 =_n8b .names _n95<0> 0 .names _n95<1> 1 .names _n95<0> _n8c<0> _n97<0> .def 0 0 1 1 1 0 1 .names _n95<1> _n8c<1> _n97<1> .def 0 0 1 1 1 0 1 .names _n97<0> _n97<1> _n98 .def 1 0 0 0 .names _n98 _n96 0 1 1 0 .names _n8b buttons<*2*> _n96 buttons$_n85_n8a$true<*2*> - - 0 =buttons<*2*> - - 1 =_n8b .names _n8b OFF .names random_push<0> _n9a .def 1 0 0 .names _n9a _n99 - =_n9a # buttons [0] = 0 .mv buttons$random_push_n9b$true<*0*> 2 ON OFF .mv buttons$random_push_n9b$true<*1*> 2 ON OFF .mv buttons$random_push_n9b$true<*2*> 2 ON OFF .mv _n9c 2 ON OFF .names _n9d<0> 0 .names _n9d<1> 0 .names _n9e<0> 0 .names _n9e<1> 0 .names _n9e<0> _n9d<0> _na0<0> .def 0 0 1 1 1 0 1 .names _n9e<1> _n9d<1> _na0<1> .def 0 0 1 1 1 0 1 .names _na0<0> _na0<1> _na1 .def 1 0 0 0 .names _na1 _n9f 0 1 1 0 .names _n9c buttons<*0*> _n9f buttons$random_push_n9b$true<*0*> - - 0 =buttons<*0*> - - 1 =_n9c .names _na2<0> 1 .names _na2<1> 0 .names _na2<0> _n9d<0> _na4<0> .def 0 0 1 1 1 0 1 .names _na2<1> _n9d<1> _na4<1> .def 0 0 1 1 1 0 1 .names _na4<0> _na4<1> _na5 .def 1 0 0 0 .names _na5 _na3 0 1 1 0 .names _n9c buttons<*1*> _na3 buttons$random_push_n9b$true<*1*> - - 0 =buttons<*1*> - - 1 =_n9c .names _na6<0> 0 .names _na6<1> 1 .names _na6<0> _n9d<0> _na8<0> .def 0 0 1 1 1 0 1 .names _na6<1> _n9d<1> _na8<1> .def 0 0 1 1 1 0 1 .names _na8<0> _na8<1> _na9 .def 1 0 0 0 .names _na9 _na7 0 1 1 0 .names _n9c buttons<*2*> _na7 buttons$random_push_n9b$true<*2*> - - 0 =buttons<*2*> - - 1 =_n9c .names _n9c ON # if/else (random_push [0]) .mv buttons$random_push$raw_nac<*0*> 2 ON OFF .mv buttons$random_push$raw_nac<*1*> 2 ON OFF .mv buttons$random_push$raw_nac<*2*> 2 ON OFF .names random_push<0> _nad .def 1 0 0 .names 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*> .names 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*> .names 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*> # if/else (0 == location ) .mv buttons$_n85$raw_naf<*0*> 2 ON OFF .mv buttons$_n85$raw_naf<*1*> 2 ON OFF .mv buttons$_n85$raw_naf<*2*> 2 ON OFF .names 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*> .names 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*> .names 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*> .names _nb3<0> 1 .names _nb3<1> 0 # 1 == location .names _nb3<0> location<0> _nb4<0> .def 0 0 1 1 1 0 1 .names _nb3<1> location<1> _nb4<1> .def 0 0 1 1 1 0 1 .names _nb4<0> _nb4<1> _nb5 .def 1 0 0 0 .names _nb5 _nb2 0 1 1 0 .names _nb2 _nb6 - =_nb2 # buttons [1] = 1 .mv buttons$_nb2_nb7$true<*0*> 2 ON OFF .mv buttons$_nb2_nb7$true<*1*> 2 ON OFF .mv buttons$_nb2_nb7$true<*2*> 2 ON OFF .mv _nb8 2 ON OFF .names _nb9<0> 1 .names _nb9<1> 0 .names _nba<0> 0 .names _nba<1> 0 .names _nba<0> _nb9<0> _nbc<0> .def 0 0 1 1 1 0 1 .names _nba<1> _nb9<1> _nbc<1> .def 0 0 1 1 1 0 1 .names _nbc<0> _nbc<1> _nbd .def 1 0 0 0 .names _nbd _nbb 0 1 1 0 .names _nb8 buttons$_n85$raw_naf<*0*> _nbb buttons$_nb2_nb7$true<*0*> - - 0 =buttons$_n85$raw_naf<*0*> - - 1 =_nb8 .names _nbe<0> 1 .names _nbe<1> 0 .names _nbe<0> _nb9<0> _nc0<0> .def 0 0 1 1 1 0 1 .names _nbe<1> _nb9<1> _nc0<1> .def 0 0 1 1 1 0 1 .names _nc0<0> _nc0<1> _nc1 .def 1 0 0 0 .names _nc1 _nbf 0 1 1 0 .names _nb8 buttons$_n85$raw_naf<*1*> _nbf buttons$_nb2_nb7$true<*1*> - - 0 =buttons$_n85$raw_naf<*1*> - - 1 =_nb8 .names _nc2<0> 0 .names _nc2<1> 1 .names _nc2<0> _nb9<0> _nc4<0> .def 0 0 1 1 1 0 1 .names _nc2<1> _nb9<1> _nc4<1> .def 0 0 1 1 1 0 1 .names _nc4<0> _nc4<1> _nc5 .def 1 0 0 0 .names _nc5 _nc3 0 1 1 0 .names _nb8 buttons$_n85$raw_naf<*2*> _nc3 buttons$_nb2_nb7$true<*2*> - - 0 =buttons$_n85$raw_naf<*2*> - - 1 =_nb8 .names _nb8 OFF .names random_push<1> _nc7 .def 1 0 0 .names _nc7 _nc6 - =_nc7 # buttons [1] = 0 .mv buttons$random_push_nc8$true<*0*> 2 ON OFF .mv buttons$random_push_nc8$true<*1*> 2 ON OFF .mv buttons$random_push_nc8$true<*2*> 2 ON OFF .mv _nc9 2 ON OFF .names _nca<0> 1 .names _nca<1> 0 .names _ncb<0> 0 .names _ncb<1> 0 .names _ncb<0> _nca<0> _ncd<0> .def 0 0 1 1 1 0 1 .names _ncb<1> _nca<1> _ncd<1> .def 0 0 1 1 1 0 1 .names _ncd<0> _ncd<1> _nce .def 1 0 0 0 .names _nce _ncc 0 1 1 0 .names _nc9 buttons$_n85$raw_naf<*0*> _ncc buttons$random_push_nc8$true<*0*> - - 0 =buttons$_n85$raw_naf<*0*> - - 1 =_nc9 .names _ncf<0> 1 .names _ncf<1> 0 .names _ncf<0> _nca<0> _nd1<0> .def 0 0 1 1 1 0 1 .names _ncf<1> _nca<1> _nd1<1> .def 0 0 1 1 1 0 1 .names _nd1<0> _nd1<1> _nd2 .def 1 0 0 0 .names _nd2 _nd0 0 1 1 0 .names _nc9 buttons$_n85$raw_naf<*1*> _nd0 buttons$random_push_nc8$true<*1*> - - 0 =buttons$_n85$raw_naf<*1*> - - 1 =_nc9 .names _nd3<0> 0 .names _nd3<1> 1 .names _nd3<0> _nca<0> _nd5<0> .def 0 0 1 1 1 0 1 .names _nd3<1> _nca<1> _nd5<1> .def 0 0 1 1 1 0 1 .names _nd5<0> _nd5<1> _nd6 .def 1 0 0 0 .names _nd6 _nd4 0 1 1 0 .names _nc9 buttons$_n85$raw_naf<*2*> _nd4 buttons$random_push_nc8$true<*2*> - - 0 =buttons$_n85$raw_naf<*2*> - - 1 =_nc9 .names _nc9 ON # if/else (random_push [1]) .mv buttons$random_push$raw_nd7<*0*> 2 ON OFF .mv buttons$random_push$raw_nd7<*1*> 2 ON OFF .mv buttons$random_push$raw_nd7<*2*> 2 ON OFF .names random_push<1> _nd8 .def 1 0 0 .names 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*> .names 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*> .names 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*> # if/else (1 == location ) .mv buttons$_nb2$raw_ndc<*0*> 2 ON OFF .mv buttons$_nb2$raw_ndc<*1*> 2 ON OFF .mv buttons$_nb2$raw_ndc<*2*> 2 ON OFF .names 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*> .names 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*> .names 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*> .names _ne1<0> 0 .names _ne1<1> 1 # 2 == location .names _ne1<0> location<0> _ne2<0> .def 0 0 1 1 1 0 1 .names _ne1<1> location<1> _ne2<1> .def 0 0 1 1 1 0 1 .names _ne2<0> _ne2<1> _ne3 .def 1 0 0 0 .names _ne3 _ne0 0 1 1 0 .names _ne0 _ne4 - =_ne0 # buttons [2] = 1 .mv buttons$_ne0_ne5$true<*0*> 2 ON OFF .mv buttons$_ne0_ne5$true<*1*> 2 ON OFF .mv buttons$_ne0_ne5$true<*2*> 2 ON OFF .mv _ne6 2 ON OFF .names _ne7<0> 0 .names _ne7<1> 1 .names _ne8<0> 0 .names _ne8<1> 0 .names _ne8<0> _ne7<0> _nea<0> .def 0 0 1 1 1 0 1 .names _ne8<1> _ne7<1> _nea<1> .def 0 0 1 1 1 0 1 .names _nea<0> _nea<1> _neb .def 1 0 0 0 .names _neb _ne9 0 1 1 0 .names _ne6 buttons$_nb2$raw_ndc<*0*> _ne9 buttons$_ne0_ne5$true<*0*> - - 0 =buttons$_nb2$raw_ndc<*0*> - - 1 =_ne6 .names _nec<0> 1 .names _nec<1> 0 .names _nec<0> _ne7<0> _nee<0> .def 0 0 1 1 1 0 1 .names _nec<1> _ne7<1> _nee<1> .def 0 0 1 1 1 0 1 .names _nee<0> _nee<1> _nef .def 1 0 0 0 .names _nef _ned 0 1 1 0 .names _ne6 buttons$_nb2$raw_ndc<*1*> _ned buttons$_ne0_ne5$true<*1*> - - 0 =buttons$_nb2$raw_ndc<*1*> - - 1 =_ne6 .names _nf0<0> 0 .names _nf0<1> 1 .names _nf0<0> _ne7<0> _nf2<0> .def 0 0 1 1 1 0 1 .names _nf0<1> _ne7<1> _nf2<1> .def 0 0 1 1 1 0 1 .names _nf2<0> _nf2<1> _nf3 .def 1 0 0 0 .names _nf3 _nf1 0 1 1 0 .names _ne6 buttons$_nb2$raw_ndc<*2*> _nf1 buttons$_ne0_ne5$true<*2*> - - 0 =buttons$_nb2$raw_ndc<*2*> - - 1 =_ne6 .names _ne6 OFF .names random_push<2> _nf5 .def 1 0 0 .names _nf5 _nf4 - =_nf5 # buttons [2] = 0 .mv buttons$random_push_nf6$true<*0*> 2 ON OFF .mv buttons$random_push_nf6$true<*1*> 2 ON OFF .mv buttons$random_push_nf6$true<*2*> 2 ON OFF .mv _nf7 2 ON OFF .names _nf8<0> 0 .names _nf8<1> 1 .names _nf9<0> 0 .names _nf9<1> 0 .names _nf9<0> _nf8<0> _nfb<0> .def 0 0 1 1 1 0 1 .names _nf9<1> _nf8<1> _nfb<1> .def 0 0 1 1 1 0 1 .names _nfb<0> _nfb<1> _nfc .def 1 0 0 0 .names _nfc _nfa 0 1 1 0 .names _nf7 buttons$_nb2$raw_ndc<*0*> _nfa buttons$random_push_nf6$true<*0*> - - 0 =buttons$_nb2$raw_ndc<*0*> - - 1 =_nf7 .names _nfd<0> 1 .names _nfd<1> 0 .names _nfd<0> _nf8<0> _nff<0> .def 0 0 1 1 1 0 1 .names _nfd<1> _nf8<1> _nff<1> .def 0 0 1 1 1 0 1 .names _nff<0> _nff<1> _n100 .def 1 0 0 0 .names _n100 _nfe 0 1 1 0 .names _nf7 buttons$_nb2$raw_ndc<*1*> _nfe buttons$random_push_nf6$true<*1*> - - 0 =buttons$_nb2$raw_ndc<*1*> - - 1 =_nf7 .names _n101<0> 0 .names _n101<1> 1 .names _n101<0> _nf8<0> _n103<0> .def 0 0 1 1 1 0 1 .names _n101<1> _nf8<1> _n103<1> .def 0 0 1 1 1 0 1 .names _n103<0> _n103<1> _n104 .def 1 0 0 0 .names _n104 _n102 0 1 1 0 .names _nf7 buttons$_nb2$raw_ndc<*2*> _n102 buttons$random_push_nf6$true<*2*> - - 0 =buttons$_nb2$raw_ndc<*2*> - - 1 =_nf7 .names _nf7 ON # if/else (random_push [2]) .mv buttons$random_push$raw_n105<*0*> 2 ON OFF .mv buttons$random_push$raw_n105<*1*> 2 ON OFF .mv buttons$random_push$raw_n105<*2*> 2 ON OFF .names random_push<2> _n106 .def 1 0 0 .names 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*> .names 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*> .names 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*> # if/else (2 == location ) .mv buttons$_ne0$raw_n10a<*0*> 2 ON OFF .mv buttons$_ne0$raw_n10a<*1*> 2 ON OFF .mv buttons$_ne0$raw_n10a<*2*> 2 ON OFF .names 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*> .names 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*> .names 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*> .names stop_next _n10e - =stop_next .mv _n110 2 UP DOWN .names _n110 UP # direction == 0 .names direction _n110 _n10f .def 0 - =direction 1 .names _n10f _n111 - =_n10f # buttons [location + 1] = 0 .mv buttons$_n10f_n112$true<*0*> 2 ON OFF .mv buttons$_n10f_n112$true<*1*> 2 ON OFF .mv buttons$_n10f_n112$true<*2*> 2 ON OFF .names _n113<0> 1 .names _n113<1> 0 # location + 1 .names _n115 0 .names location<0> _n113<0> _n115 _n114<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n117 0 .names location<0> _n113<0> _n117 _n116 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names location<1> _n113<1> _n116 _n114<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .mv _n118 2 ON OFF .names _n119<0> 0 .names _n119<1> 0 .names _n119<0> _n114<0> _n11b<0> .def 0 0 1 1 1 0 1 .names _n119<1> _n114<1> _n11b<1> .def 0 0 1 1 1 0 1 .names _n11b<0> _n11b<1> _n11c .def 1 0 0 0 .names _n11c _n11a 0 1 1 0 .names _n118 buttons$_ne0$raw_n10a<*0*> _n11a buttons$_n10f_n112$true<*0*> - - 0 =buttons$_ne0$raw_n10a<*0*> - - 1 =_n118 .names _n11d<0> 1 .names _n11d<1> 0 .names _n11d<0> _n114<0> _n11f<0> .def 0 0 1 1 1 0 1 .names _n11d<1> _n114<1> _n11f<1> .def 0 0 1 1 1 0 1 .names _n11f<0> _n11f<1> _n120 .def 1 0 0 0 .names _n120 _n11e 0 1 1 0 .names _n118 buttons$_ne0$raw_n10a<*1*> _n11e buttons$_n10f_n112$true<*1*> - - 0 =buttons$_ne0$raw_n10a<*1*> - - 1 =_n118 .names _n121<0> 0 .names _n121<1> 1 .names _n121<0> _n114<0> _n123<0> .def 0 0 1 1 1 0 1 .names _n121<1> _n114<1> _n123<1> .def 0 0 1 1 1 0 1 .names _n123<0> _n123<1> _n124 .def 1 0 0 0 .names _n124 _n122 0 1 1 0 .names _n118 buttons$_ne0$raw_n10a<*2*> _n122 buttons$_n10f_n112$true<*2*> - - 0 =buttons$_ne0$raw_n10a<*2*> - - 1 =_n118 .names _n118 ON # buttons [location - 1] = 0 .mv buttons$_n10f_n125$false<*0*> 2 ON OFF .mv buttons$_n10f_n125$false<*1*> 2 ON OFF .mv buttons$_n10f_n125$false<*2*> 2 ON OFF .names _n126<0> 1 .names _n126<1> 0 # location - 1 .names _n128 0 .names location<0> _n126<0> _n128 _n127<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n12a 0 .names location<0> _n126<0> _n12a _n129 .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names location<1> _n126<1> _n129 _n127<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .mv _n12b 2 ON OFF .names _n12c<0> 0 .names _n12c<1> 0 .names _n12c<0> _n127<0> _n12e<0> .def 0 0 1 1 1 0 1 .names _n12c<1> _n127<1> _n12e<1> .def 0 0 1 1 1 0 1 .names _n12e<0> _n12e<1> _n12f .def 1 0 0 0 .names _n12f _n12d 0 1 1 0 .names _n12b buttons$_ne0$raw_n10a<*0*> _n12d buttons$_n10f_n125$false<*0*> - - 0 =buttons$_ne0$raw_n10a<*0*> - - 1 =_n12b .names _n130<0> 1 .names _n130<1> 0 .names _n130<0> _n127<0> _n132<0> .def 0 0 1 1 1 0 1 .names _n130<1> _n127<1> _n132<1> .def 0 0 1 1 1 0 1 .names _n132<0> _n132<1> _n133 .def 1 0 0 0 .names _n133 _n131 0 1 1 0 .names _n12b buttons$_ne0$raw_n10a<*1*> _n131 buttons$_n10f_n125$false<*1*> - - 0 =buttons$_ne0$raw_n10a<*1*> - - 1 =_n12b .names _n134<0> 0 .names _n134<1> 1 .names _n134<0> _n127<0> _n136<0> .def 0 0 1 1 1 0 1 .names _n134<1> _n127<1> _n136<1> .def 0 0 1 1 1 0 1 .names _n136<0> _n136<1> _n137 .def 1 0 0 0 .names _n137 _n135 0 1 1 0 .names _n12b buttons$_ne0$raw_n10a<*2*> _n135 buttons$_n10f_n125$false<*2*> - - 0 =buttons$_ne0$raw_n10a<*2*> - - 1 =_n12b .names _n12b ON # if/else (direction == 0) .mv buttons$_n10f$raw_n138<*0*> 2 ON OFF .mv buttons$_n10f$raw_n138<*1*> 2 ON OFF .mv buttons$_n10f$raw_n138<*2*> 2 ON OFF .names 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*> .names 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*> .names 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*> # if/else (stop_next ) .mv buttons$stop_next$raw_n13c<*0*> 2 ON OFF .mv buttons$stop_next$raw_n13c<*1*> 2 ON OFF .mv buttons$stop_next$raw_n13c<*2*> 2 ON OFF .names 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*> .names 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*> .names 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*> .mv _n141 4 OPEN OPENING CLOSED CLOSING .names _n141 CLOSED # door != 2 .names door _n141 _n140 .def 1 - =door 0 .names _n140 _n142 - =_n140 # open_next = 0 .names open_next$_n140_n143$true 0 .mv _n145 2 STOPPED MOVING .names _n145 MOVING # movement == 1 .names movement _n145 _n144 .def 0 - =movement 1 .mv _n147 2 UP DOWN .names _n147 UP # direction == 0 .names direction _n147 _n146 .def 0 - =direction 1 .names _n149<0> 1 .names _n149<1> 0 # location + 1 .names _n14b 0 .names location<0> _n149<0> _n14b _n14a<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n14d 0 .names location<0> _n149<0> _n14d _n14c .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names location<1> _n149<1> _n14c _n14a<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .mv _n14e 2 ON OFF .names 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 .mv _n14f 2 ON OFF .names _n14f ON # buttons [location + 1] == 0 .names _n14e _n14f _n148 .def 0 - =_n14e 1 # direction == 0 && buttons [location + 1] == 0 .names _n146 _n148 _n150 .def 0 1 1 1 # stop_next || (direction == 0 && buttons [location + 1] == 0) .names stop_next _n150 _n151 .def 1 0 0 0 .mv _n153 2 UP DOWN .names _n153 DOWN # direction == 1 .names direction _n153 _n152 .def 0 - =direction 1 .names _n155<0> 1 .names _n155<1> 0 # location - 1 .names _n157 0 .names location<0> _n155<0> _n157 _n156<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n159 0 .names location<0> _n155<0> _n159 _n158 .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names location<1> _n155<1> _n158 _n156<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .mv _n15a 2 ON OFF .names 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 .mv _n15b 2 ON OFF .names _n15b ON # buttons [location - 1] == 0 .names _n15a _n15b _n154 .def 0 - =_n15a 1 # direction == 1 && buttons [location - 1] == 0 .names _n152 _n154 _n15c .def 0 1 1 1 # stop_next || (direction == 0 && buttons [location + 1] == 0) || (direction == 1 && buttons [location - 1] == 0) .names _n151 _n15c _n15d .def 1 0 0 0 # movement == 1 && (stop_next || (direction == 0 && buttons [location + 1] == 0) || (direction == 1 && buttons [location - 1] == 0)) .names _n144 _n15d _n15e .def 0 1 1 1 .names _n15e _n15f - =_n15e # open_next = 1 .names open_next$_n15e_n160$true 1 # if/else (movement == 1 && (stop_next || (direction == 0 && buttons [location + 1] == 0) || (direction == 1 && buttons [location - 1] == 0))) .names 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 # if/else (door != 2) .names 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 # assign random = $NDset ( 0,1 ) .names random 0 1 .mv _n16e 4 OPEN OPENING CLOSED CLOSING .names _n16e CLOSED .names door _n16e _n16d .def 0 - =door 1 .names _n16d _n16c 1 1 0 0 .mv _n170 2 STOPPED MOVING .names _n170 STOPPED # movement == 0 .names movement _n170 _n16f .def 0 - =movement 1 # open_next && movement == 0 .names open_next _n16f _n171 .def 0 1 1 1 .names _n171 _n172 - =_n171 # door = 1 .mv door$_n171_n173$true 4 OPEN OPENING CLOSED CLOSING .names door$_n171_n173$true OPENING # if/else (open_next && movement == 0) .mv door$_n171$raw_n176 4 OPEN OPENING CLOSED CLOSING .names door$_n171_n173$true door _n171 door$_n171$raw_n176 - - 0 =door - - 1 =door$_n171_n173$true .mv _n179 4 OPEN OPENING CLOSED CLOSING .names _n179 OPENING .names door _n179 _n178 .def 0 - =door 1 .names _n178 _n177 1 1 0 0 .names random _n17a - =random # door = 0 .mv door$random_n17b$true 4 OPEN OPENING CLOSED CLOSING .names door$random_n17b$true OPEN # if/else (random ) .mv door$random$raw_n17e 4 OPEN OPENING CLOSED CLOSING .names door$random_n17b$true door random door$random$raw_n17e - - 0 =door - - 1 =door$random_n17b$true .mv _n181 4 OPEN OPENING CLOSED CLOSING .names _n181 OPEN .names door _n181 _n180 .def 0 - =door 1 .names _n180 _n17f 1 1 0 0 .names random _n182 - =random # door = 3 .mv door$random_n183$true 4 OPEN OPENING CLOSED CLOSING .names door$random_n183$true CLOSING # if/else (random ) .mv door$random$raw_n186 4 OPEN OPENING CLOSED CLOSING .names door$random_n183$true door random door$random$raw_n186 - - 0 =door - - 1 =door$random_n183$true .mv _n189 4 OPEN OPENING CLOSED CLOSING .names _n189 CLOSING .names door _n189 _n188 .def 0 - =door 1 .names _n188 _n187 1 1 0 0 .names random _n18a - =random # door = 2 .mv door$random_n18b$true 4 OPEN OPENING CLOSED CLOSING .names door$random_n18b$true CLOSED # if/else (random ) .mv door$random$raw_n18e 4 OPEN OPENING CLOSED CLOSING .names door$random_n18b$true door random door$random$raw_n18e - - 0 =door - - 1 =door$random_n18b$true # case (door ) .mv door$_n187$raw_n191 4 OPEN OPENING CLOSED CLOSING .names door$random$raw_n18e door _n187 door$_n187$raw_n191 - - 0 =door - - 1 =door$random$raw_n18e .mv door$_n17f$raw_n192 4 OPEN OPENING CLOSED CLOSING .names door$random$raw_n186 door$_n187$raw_n191 _n17f door$_n17f$raw_n192 - - 0 =door$_n187$raw_n191 - - 1 =door$random$raw_n186 .mv door$_n177$raw_n196 4 OPEN OPENING CLOSED CLOSING .names door$random$raw_n17e door$_n17f$raw_n192 _n177 door$_n177$raw_n196 - - 0 =door$_n17f$raw_n192 - - 1 =door$random$raw_n17e .mv door$_n16c$raw_n19a 4 OPEN OPENING CLOSED CLOSING .names door$_n171$raw_n176 door$_n177$raw_n196 _n16c door$_n16c$raw_n19a - - 0 =door$_n177$raw_n196 - - 1 =door$_n171$raw_n176 # assign start_moving = (continue || button_above && direction == UP ) || (button_below && direction == DOWN ) .mv _n1a0 2 UP DOWN .names _n1a0 UP # direction == 0 .names direction _n1a0 _n19f .def 0 - =direction 1 # button_above && direction == 0 .names button_above _n19f _n1a1 .def 0 1 1 1 # continue || button_above && direction == 0 .names continue _n1a1 _n1a2 .def 1 0 0 0 .mv _n1a4 2 UP DOWN .names _n1a4 DOWN # direction == 1 .names direction _n1a4 _n1a3 .def 0 - =direction 1 # button_below && direction == 1 .names button_below _n1a3 _n1a5 .def 0 1 1 1 # (continue || button_above && direction == 0) || (button_below && direction == 1) .names _n1a2 _n1a5 _n1a6 .def 1 0 0 0 .names _n1a6 start_moving$raw_n19e - =_n1a6 # assign r_stop = $NDset ( 0,1 ) .names r_stop 0 1 # assign stop_moving = r_stop && (movement == MOVING ) .mv _n1ab 2 STOPPED MOVING .names _n1ab MOVING # movement == 1 .names movement _n1ab _n1aa .def 0 - =movement 1 # r_stop && (movement == 1) .names r_stop _n1aa _n1ac .def 0 1 1 1 .names _n1ac stop_moving$raw_n1a9 - =_n1ac # assign inc = (stop_moving ) && (direction == UP ) .mv _n1af 2 UP DOWN .names _n1af UP # direction == 0 .names direction _n1af _n1ae .def 0 - =direction 1 # (stop_moving ) && (direction == 0) .names stop_moving _n1ae _n1b0 .def 0 1 1 1 .names _n1b0 inc$raw_n1ad - =_n1b0 # assign dec = (stop_moving ) && (direction == DOWN ) .mv _n1b3 2 UP DOWN .names _n1b3 DOWN # direction == 1 .names direction _n1b3 _n1b2 .def 0 - =direction 1 # (stop_moving ) && (direction == 1) .names stop_moving _n1b2 _n1b4 .def 0 1 1 1 .names _n1b4 dec$raw_n1b1 - =_n1b4 .mv _n1b6 4 OPEN OPENING CLOSED CLOSING .names _n1b6 CLOSED # door == 2 .names door _n1b6 _n1b5 .def 0 - =door 1 .names _n1b5 _n1b7 - =_n1b5 .mv _n1ba 2 STOPPED MOVING .names _n1ba STOPPED .names movement _n1ba _n1b9 .def 0 - =movement 1 .names _n1b9 _n1b8 1 1 0 0 .mv _n1bc 4 OPEN OPENING CLOSED CLOSING .names _n1bc CLOSED # door == 2 .names door _n1bc _n1bb .def 0 - =door 1 # door == 2 && start_moving .names _n1bb start_moving _n1bd .def 0 1 1 1 .names open_next _n1be 0 1 1 0 # door == 2 && start_moving && !open_next .names _n1bd _n1be _n1bf .def 0 1 1 1 .names _n1bf _n1c0 - =_n1bf # movement = 1 .mv movement$_n1bf_n1c1$true 2 STOPPED MOVING .names movement$_n1bf_n1c1$true MOVING # if/else (door == 2 && start_moving && !open_next ) .mv movement$_n1bf$raw_n1c4 2 STOPPED MOVING .names movement$_n1bf_n1c1$true movement _n1bf movement$_n1bf$raw_n1c4 - - 0 =movement - - 1 =movement$_n1bf_n1c1$true .mv _n1c7 2 STOPPED MOVING .names _n1c7 MOVING .names movement _n1c7 _n1c6 .def 0 - =movement 1 .names _n1c6 _n1c5 1 1 0 0 .names stop_moving _n1c8 - =stop_moving # movement = 0 .mv movement$stop_moving_n1c9$true 2 STOPPED MOVING .names movement$stop_moving_n1c9$true STOPPED .mv _n1cb 2 UP DOWN .names _n1cb UP # direction == 0 .names direction _n1cb _n1ca .def 0 - =direction 1 .names _n1ca _n1cc - =_n1ca # location = location + 1 .names _n1ce<0> 1 .names _n1ce<1> 0 # location + 1 .names _n1d0 0 .names location<0> _n1ce<0> _n1d0 _n1cf<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n1d2 0 .names location<0> _n1ce<0> _n1d2 _n1d1 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names location<1> _n1ce<1> _n1d1 _n1cf<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .names _n1cf<0> location$_n1ca_n1cd$true<0> - =_n1cf<0> .names _n1cf<1> location$_n1ca_n1cd$true<1> - =_n1cf<1> # if/else (direction == 0) .names 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 .names 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 .mv _n1dd 2 UP DOWN .names _n1dd DOWN # direction == 1 .names direction _n1dd _n1dc .def 0 - =direction 1 .names _n1dc _n1de - =_n1dc # location = location - 1 .names _n1e0<0> 1 .names _n1e0<1> 0 # location - 1 .names _n1e2 0 .names location$_n1ca$raw_n1d8<0> _n1e0<0> _n1e2 _n1e1<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n1e4 0 .names location$_n1ca$raw_n1d8<0> _n1e0<0> _n1e4 _n1e3 .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names location$_n1ca$raw_n1d8<1> _n1e0<1> _n1e3 _n1e1<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .names _n1e1<0> location$_n1dc_n1df$true<0> - =_n1e1<0> .names _n1e1<1> location$_n1dc_n1df$true<1> - =_n1e1<1> # if/else (direction == 1) .names 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 .names 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 # if/else (stop_moving ) .mv movement$stop_moving$raw_n1f3 2 STOPPED MOVING .names movement$stop_moving_n1c9$true movement stop_moving movement$stop_moving$raw_n1f3 - - 0 =movement - - 1 =movement$stop_moving_n1c9$true .names 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 .names 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 # case (movement ) .mv movement$_n1c5$raw_n1fb 2 STOPPED MOVING .names movement$stop_moving$raw_n1f3 movement _n1c5 movement$_n1c5$raw_n1fb - - 0 =movement - - 1 =movement$stop_moving$raw_n1f3 .names 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 .names 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 .mv movement$_n1b8$raw_n1ff 2 STOPPED MOVING .names movement$_n1bf$raw_n1c4 movement$_n1c5$raw_n1fb _n1b8 movement$_n1b8$raw_n1ff - - 0 =movement$_n1c5$raw_n1fb - - 1 =movement$_n1bf$raw_n1c4 .names 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 .names 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 # if/else (door == 2) .mv movement$_n1b5$raw_n20a 2 STOPPED MOVING .names movement$_n1b8$raw_n1ff movement _n1b5 movement$_n1b5$raw_n20a - - 0 =movement - - 1 =movement$_n1b8$raw_n1ff .names 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 .names 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 .mv _n210 2 UP DOWN .names _n210 UP .names direction _n210 _n20f .def 0 - =direction 1 .names _n20f _n20e 1 1 0 0 .names button_above _n211 0 1 1 0 .names continue _n212 0 1 1 0 # (!button_above ) && !continue .names _n211 _n212 _n213 .def 0 1 1 1 .names _n213 _n214 - =_n213 # direction = 1 .mv direction$_n213_n215$true 2 UP DOWN .names direction$_n213_n215$true DOWN # if/else ((!button_above ) && !continue ) .mv direction$_n213$raw_n218 2 UP DOWN .names direction$_n213_n215$true direction _n213 direction$_n213$raw_n218 - - 0 =direction - - 1 =direction$_n213_n215$true .mv _n21b 2 UP DOWN .names _n21b DOWN .names direction _n21b _n21a .def 0 - =direction 1 .names _n21a _n219 1 1 0 0 .names button_below _n21c 0 1 1 0 .names continue _n21d 0 1 1 0 # (!button_below ) && !continue .names _n21c _n21d _n21e .def 0 1 1 1 .names _n21e _n21f - =_n21e # direction = 0 .mv direction$_n21e_n220$true 2 UP DOWN .names direction$_n21e_n220$true UP # if/else ((!button_below ) && !continue ) .mv direction$_n21e$raw_n223 2 UP DOWN .names direction$_n21e_n220$true direction _n21e direction$_n21e$raw_n223 - - 0 =direction - - 1 =direction$_n21e_n220$true # case (direction ) .mv direction$_n219$raw_n226 2 UP DOWN .names direction$_n21e$raw_n223 direction _n219 direction$_n219$raw_n226 - - 0 =direction - - 1 =direction$_n21e$raw_n223 .mv direction$_n20e$raw_n227 2 UP DOWN .names direction$_n213$raw_n218 direction$_n219$raw_n226 _n20e direction$_n20e$raw_n227 - - 0 =direction$_n219$raw_n226 - - 1 =direction$_n213$raw_n218 .names _n22c<0> 1 .names _n22c<1> 1 .names _n22d<0> 1 .names _n22d<1> 0 # 3 - 1 .names _n22f 0 .names _n22c<0> _n22d<0> _n22f _n22e<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n231 0 .names _n22c<0> _n22d<0> _n231 _n230 .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _n22c<1> _n22d<1> _n230 _n22e<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # location == 3 - 1 .names location<0> _n22e<0> _n232<0> .def 0 0 1 1 1 0 1 .names location<1> _n22e<1> _n232<1> .def 0 0 1 1 1 0 1 .names _n232<0> _n232<1> _n233 .def 1 0 0 0 .names _n233 _n22b 0 1 1 0 .names _n22b _n234 - =_n22b # direction = 1 .mv direction$_n22b_n235$true 2 UP DOWN .names direction$_n22b_n235$true DOWN # if/else (location == 3 - 1) .mv direction$_n22b$raw_n236 2 UP DOWN .names direction$_n22b_n235$true direction$_n20e$raw_n227 _n22b direction$_n22b$raw_n236 - - 0 =direction$_n20e$raw_n227 - - 1 =direction$_n22b_n235$true .names _n23b<0> 0 .names _n23b<1> 0 # location == 0 .names location<0> _n23b<0> _n23c<0> .def 0 0 1 1 1 0 1 .names location<1> _n23b<1> _n23c<1> .def 0 0 1 1 1 0 1 .names _n23c<0> _n23c<1> _n23d .def 1 0 0 0 .names _n23d _n23a 0 1 1 0 .names _n23a _n23e - =_n23a # direction = 0 .mv direction$_n23a_n23f$true 2 UP DOWN .names direction$_n23a_n23f$true UP # if/else (location == 0) .mv direction$_n23a$raw_n240 2 UP DOWN .names direction$_n23a_n23f$true direction$_n22b$raw_n236 _n23a direction$_n23a$raw_n240 - - 0 =direction$_n22b$raw_n236 - - 1 =direction$_n23a_n23f$true # conflict arbitrators .names button_above$raw_n6c button_above 0 0 1 1 .names _n1b7 _n1b8 _n1c0 _n1c5 _n1c8 _n244 .def 0 1 1 1 - - 1 1 0 - 1 1 1 .mv _n245 2 STOPPED MOVING .names _n244 movement$_n1b5$raw_n20a movement _n245 1 - - =movement$_n1b5$raw_n20a 0 - - =movement .names _n89 _n99 _nb6 _nc6 _ne4 _nf4 _n10e _n111 _n25b .def 0 1 - - - - - - - 1 0 1 - - - - - - 1 - - 1 - - - - - 1 - - 0 1 - - - - 1 - - - - 1 - - - 1 - - - - 0 1 - - 1 - - - - - - 1 1 1 - - - - - - 1 0 1 .mv _n25c<*0*> 2 ON OFF .mv _n25c<*1*> 2 ON OFF .mv _n25c<*2*> 2 ON OFF .names _n25b buttons$stop_next$raw_n13c<*0*> buttons<*0*> _n25c<*0*> 1 - - =buttons$stop_next$raw_n13c<*0*> 0 - - =buttons<*0*> .names _n25b buttons$stop_next$raw_n13c<*1*> buttons<*1*> _n25c<*1*> 1 - - =buttons$stop_next$raw_n13c<*1*> 0 - - =buttons<*1*> .names _n25b buttons$stop_next$raw_n13c<*2*> buttons<*2*> _n25c<*2*> 1 - - =buttons$stop_next$raw_n13c<*2*> 0 - - =buttons<*2*> .names start_moving$raw_n19e start_moving 0 0 1 1 .names _n16c _n172 _n177 _n17a _n17f _n182 _n187 _n18a _n29c .def 0 1 1 - - - - - - 1 0 - 1 1 - - - - 1 0 - 0 - 1 1 - - 1 0 - 0 - 0 - 1 1 1 .mv _n29d 4 OPEN OPENING CLOSED CLOSING .names _n29c door$_n16c$raw_n19a door _n29d 1 - - =door$_n16c$raw_n19a 0 - - =door .names stop_moving$raw_n1a9 stop_moving 0 0 1 1 .names _n1b7 _n1b8 _n1c5 _n1c8 _n1cc _n1de _n2b3 .def 0 1 0 1 1 1 - 1 1 0 1 1 - 1 1 .names _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> .names button_below$raw_n53 button_below 0 0 1 1 .names _n20e _n214 _n219 _n21f _n234 _n23e _n2b5 .def 0 1 1 - - - - 1 0 - 1 1 - - 1 - - - - 1 - 1 - - - - - 1 1 .mv _n2b6 2 UP DOWN .names _n2b5 direction$_n23a$raw_n240 direction _n2b6 1 - - =direction$_n23a$raw_n240 0 - - =direction .names _n142 _n15f _n2cc .def 0 1 - 1 0 1 1 .names _n2cc open_next$_n140$raw_n166 open_next _n2cd 1 0 - 0 1 1 - 1 0 - 0 0 0 - 1 1 .names dec$raw_n1b1 dec 0 0 1 1 .names inc$raw_n1ad inc 0 0 1 1 # non-blocking assignments # latches .r movement$raw_n1a movement - =movement$raw_n1a .latch _n245 movement .r buttons$raw_n1b<*0*> buttons$raw_n2d<*0*> buttons$raw_n3f<*0*> buttons<*0*> .def ON OFF - - =buttons$raw_n1b<*0*> ON OFF - =buttons$raw_n2d<*0*> ON ON OFF =buttons$raw_n3f<*0*> .r buttons$raw_n1b<*1*> buttons$raw_n2d<*1*> buttons$raw_n3f<*1*> buttons<*1*> .def ON OFF - - =buttons$raw_n1b<*1*> ON OFF - =buttons$raw_n2d<*1*> ON ON OFF =buttons$raw_n3f<*1*> .r buttons$raw_n1b<*2*> buttons$raw_n2d<*2*> buttons$raw_n3f<*2*> buttons<*2*> .def ON OFF - - =buttons$raw_n1b<*2*> ON OFF - =buttons$raw_n2d<*2*> ON ON OFF =buttons$raw_n3f<*2*> .latch _n25c<*0*> buttons<*0*> .latch _n25c<*1*> buttons<*1*> .latch _n25c<*2*> buttons<*2*> .r door$raw_n19 door - =door$raw_n19 .latch _n29d door .r location$raw_n17<0> location<0> .def 0 1 1 .r location$raw_n17<1> location<1> .def 0 1 1 .latch _n2b4<0> location<0> .latch _n2b4<1> location<1> .r direction$raw_n18 direction - =direction$raw_n18 .latch _n2b6 direction .r open_next$raw_n16 open_next 0 0 1 1 .latch _n2cd open_next # quasi-continuous assignment .end .model main_control # I/O ports .inputs init2<0> init2<1> .inputs init1<0> init1<1> .outputs stop_next<1> stop_next<2> .inputs dec<1> dec<2> .inputs inc<1> inc<2> .outputs continue<1> continue<2> .mv down_floor_buttons<*0*> 2 ON OFF .mv down_floor_buttons<*1*> 2 ON OFF .mv down_floor_buttons<*2*> 2 ON OFF .mv direction<*1*> 2 UP DOWN .mv direction<*2*> 2 UP DOWN .mv up_floor_buttons<*0*> 2 ON OFF .mv up_floor_buttons<*1*> 2 ON OFF .mv up_floor_buttons<*2*> 2 ON OFF # locations [1] = init1 .names _n2d0<0> 1 .names _n2d0<1> 0 .names _n2d1<0> 1 .names _n2d1<1> 0 .names _n2d1<0> _n2d0<0> _n2d3<0> .def 0 0 1 1 1 0 1 .names _n2d1<1> _n2d0<1> _n2d3<1> .def 0 0 1 1 1 0 1 .names _n2d3<0> _n2d3<1> _n2d4 .def 1 0 0 0 .names _n2d4 _n2d2 0 1 1 0 .names _n2d5<0> 0 .names _n2d5<1> 0 .names _n2cf<0> _n2d5<0> _n2d2 locations$raw_n2ce<*1*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n2cf<1> _n2d5<1> _n2d2 locations$raw_n2ce<*1*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n2d8<0> 0 .names _n2d8<1> 1 .names _n2d8<0> _n2d0<0> _n2da<0> .def 0 0 1 1 1 0 1 .names _n2d8<1> _n2d0<1> _n2da<1> .def 0 0 1 1 1 0 1 .names _n2da<0> _n2da<1> _n2db .def 1 0 0 0 .names _n2db _n2d9 0 1 1 0 .names _n2dc<0> 0 .names _n2dc<1> 0 .names _n2cf<0> _n2dc<0> _n2d9 locations$raw_n2ce<*2*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n2cf<1> _n2dc<1> _n2d9 locations$raw_n2ce<*2*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names init1<0> _n2cf<0> - =init1<0> .names init1<1> _n2cf<1> - =init1<1> # locations [2] = init2 .names _n2e1<0> 0 .names _n2e1<1> 1 .names _n2e2<0> 1 .names _n2e2<1> 0 .names _n2e2<0> _n2e1<0> _n2e4<0> .def 0 0 1 1 1 0 1 .names _n2e2<1> _n2e1<1> _n2e4<1> .def 0 0 1 1 1 0 1 .names _n2e4<0> _n2e4<1> _n2e5 .def 1 0 0 0 .names _n2e5 _n2e3 0 1 1 0 .names _n2e0<0> locations$raw_n2ce<*1*><0> _n2e3 locations$raw_n2df<*1*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n2e0<1> locations$raw_n2ce<*1*><1> _n2e3 locations$raw_n2df<*1*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n2e8<0> 0 .names _n2e8<1> 1 .names _n2e8<0> _n2e1<0> _n2ea<0> .def 0 0 1 1 1 0 1 .names _n2e8<1> _n2e1<1> _n2ea<1> .def 0 0 1 1 1 0 1 .names _n2ea<0> _n2ea<1> _n2eb .def 1 0 0 0 .names _n2eb _n2e9 0 1 1 0 .names _n2e0<0> locations$raw_n2ce<*2*><0> _n2e9 locations$raw_n2df<*2*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n2e0<1> locations$raw_n2ce<*2*><1> _n2e9 locations$raw_n2df<*2*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names init2<0> _n2e0<0> - =init2<0> .names init2<1> _n2e0<1> - =init2<1> # up_floor_buttons [0] = 1 .mv up_floor_buttons$raw_n2ee<*0*> 2 ON OFF .mv up_floor_buttons$raw_n2ee<*1*> 2 ON OFF .mv up_floor_buttons$raw_n2ee<*2*> 2 ON OFF .mv _n2ef 2 ON OFF .names _n2f0<0> 0 .names _n2f0<1> 0 .names _n2f1<0> 0 .names _n2f1<1> 0 .names _n2f1<0> _n2f0<0> _n2f3<0> .def 0 0 1 1 1 0 1 .names _n2f1<1> _n2f0<1> _n2f3<1> .def 0 0 1 1 1 0 1 .names _n2f3<0> _n2f3<1> _n2f4 .def 1 0 0 0 .names _n2f4 _n2f2 0 1 1 0 .mv _n2f5 2 ON OFF .names _n2f5 ON .names _n2ef _n2f5 _n2f2 up_floor_buttons$raw_n2ee<*0*> - - 0 =_n2f5 - - 1 =_n2ef .names _n2f6<0> 1 .names _n2f6<1> 0 .names _n2f6<0> _n2f0<0> _n2f8<0> .def 0 0 1 1 1 0 1 .names _n2f6<1> _n2f0<1> _n2f8<1> .def 0 0 1 1 1 0 1 .names _n2f8<0> _n2f8<1> _n2f9 .def 1 0 0 0 .names _n2f9 _n2f7 0 1 1 0 .mv _n2fa 2 ON OFF .names _n2fa ON .names _n2ef _n2fa _n2f7 up_floor_buttons$raw_n2ee<*1*> - - 0 =_n2fa - - 1 =_n2ef .names _n2fb<0> 0 .names _n2fb<1> 1 .names _n2fb<0> _n2f0<0> _n2fd<0> .def 0 0 1 1 1 0 1 .names _n2fb<1> _n2f0<1> _n2fd<1> .def 0 0 1 1 1 0 1 .names _n2fd<0> _n2fd<1> _n2fe .def 1 0 0 0 .names _n2fe _n2fc 0 1 1 0 .mv _n2ff 2 ON OFF .names _n2ff ON .names _n2ef _n2ff _n2fc up_floor_buttons$raw_n2ee<*2*> - - 0 =_n2ff - - 1 =_n2ef .names _n2ef OFF # up_floor_buttons [1] = 1 .mv up_floor_buttons$raw_n300<*0*> 2 ON OFF .mv up_floor_buttons$raw_n300<*1*> 2 ON OFF .mv up_floor_buttons$raw_n300<*2*> 2 ON OFF .mv _n301 2 ON OFF .names _n302<0> 1 .names _n302<1> 0 .names _n303<0> 0 .names _n303<1> 0 .names _n303<0> _n302<0> _n305<0> .def 0 0 1 1 1 0 1 .names _n303<1> _n302<1> _n305<1> .def 0 0 1 1 1 0 1 .names _n305<0> _n305<1> _n306 .def 1 0 0 0 .names _n306 _n304 0 1 1 0 .names _n301 up_floor_buttons$raw_n2ee<*0*> _n304 up_floor_buttons$raw_n300<*0*> - - 0 =up_floor_buttons$raw_n2ee<*0*> - - 1 =_n301 .names _n307<0> 1 .names _n307<1> 0 .names _n307<0> _n302<0> _n309<0> .def 0 0 1 1 1 0 1 .names _n307<1> _n302<1> _n309<1> .def 0 0 1 1 1 0 1 .names _n309<0> _n309<1> _n30a .def 1 0 0 0 .names _n30a _n308 0 1 1 0 .names _n301 up_floor_buttons$raw_n2ee<*1*> _n308 up_floor_buttons$raw_n300<*1*> - - 0 =up_floor_buttons$raw_n2ee<*1*> - - 1 =_n301 .names _n30b<0> 0 .names _n30b<1> 1 .names _n30b<0> _n302<0> _n30d<0> .def 0 0 1 1 1 0 1 .names _n30b<1> _n302<1> _n30d<1> .def 0 0 1 1 1 0 1 .names _n30d<0> _n30d<1> _n30e .def 1 0 0 0 .names _n30e _n30c 0 1 1 0 .names _n301 up_floor_buttons$raw_n2ee<*2*> _n30c up_floor_buttons$raw_n300<*2*> - - 0 =up_floor_buttons$raw_n2ee<*2*> - - 1 =_n301 .names _n301 OFF # up_floor_buttons [2] = 1 .mv up_floor_buttons$raw_n30f<*0*> 2 ON OFF .mv up_floor_buttons$raw_n30f<*1*> 2 ON OFF .mv up_floor_buttons$raw_n30f<*2*> 2 ON OFF .mv _n310 2 ON OFF .names _n311<0> 0 .names _n311<1> 1 .names _n312<0> 0 .names _n312<1> 0 .names _n312<0> _n311<0> _n314<0> .def 0 0 1 1 1 0 1 .names _n312<1> _n311<1> _n314<1> .def 0 0 1 1 1 0 1 .names _n314<0> _n314<1> _n315 .def 1 0 0 0 .names _n315 _n313 0 1 1 0 .names _n310 up_floor_buttons$raw_n300<*0*> _n313 up_floor_buttons$raw_n30f<*0*> - - 0 =up_floor_buttons$raw_n300<*0*> - - 1 =_n310 .names _n316<0> 1 .names _n316<1> 0 .names _n316<0> _n311<0> _n318<0> .def 0 0 1 1 1 0 1 .names _n316<1> _n311<1> _n318<1> .def 0 0 1 1 1 0 1 .names _n318<0> _n318<1> _n319 .def 1 0 0 0 .names _n319 _n317 0 1 1 0 .names _n310 up_floor_buttons$raw_n300<*1*> _n317 up_floor_buttons$raw_n30f<*1*> - - 0 =up_floor_buttons$raw_n300<*1*> - - 1 =_n310 .names _n31a<0> 0 .names _n31a<1> 1 .names _n31a<0> _n311<0> _n31c<0> .def 0 0 1 1 1 0 1 .names _n31a<1> _n311<1> _n31c<1> .def 0 0 1 1 1 0 1 .names _n31c<0> _n31c<1> _n31d .def 1 0 0 0 .names _n31d _n31b 0 1 1 0 .names _n310 up_floor_buttons$raw_n300<*2*> _n31b up_floor_buttons$raw_n30f<*2*> - - 0 =up_floor_buttons$raw_n300<*2*> - - 1 =_n310 .names _n310 OFF # down_floor_buttons [0] = 1 .mv down_floor_buttons$raw_n31e<*0*> 2 ON OFF .mv down_floor_buttons$raw_n31e<*1*> 2 ON OFF .mv down_floor_buttons$raw_n31e<*2*> 2 ON OFF .mv _n31f 2 ON OFF .names _n320<0> 0 .names _n320<1> 0 .names _n321<0> 0 .names _n321<1> 0 .names _n321<0> _n320<0> _n323<0> .def 0 0 1 1 1 0 1 .names _n321<1> _n320<1> _n323<1> .def 0 0 1 1 1 0 1 .names _n323<0> _n323<1> _n324 .def 1 0 0 0 .names _n324 _n322 0 1 1 0 .mv _n325 2 ON OFF .names _n325 ON .names _n31f _n325 _n322 down_floor_buttons$raw_n31e<*0*> - - 0 =_n325 - - 1 =_n31f .names _n326<0> 1 .names _n326<1> 0 .names _n326<0> _n320<0> _n328<0> .def 0 0 1 1 1 0 1 .names _n326<1> _n320<1> _n328<1> .def 0 0 1 1 1 0 1 .names _n328<0> _n328<1> _n329 .def 1 0 0 0 .names _n329 _n327 0 1 1 0 .mv _n32a 2 ON OFF .names _n32a ON .names _n31f _n32a _n327 down_floor_buttons$raw_n31e<*1*> - - 0 =_n32a - - 1 =_n31f .names _n32b<0> 0 .names _n32b<1> 1 .names _n32b<0> _n320<0> _n32d<0> .def 0 0 1 1 1 0 1 .names _n32b<1> _n320<1> _n32d<1> .def 0 0 1 1 1 0 1 .names _n32d<0> _n32d<1> _n32e .def 1 0 0 0 .names _n32e _n32c 0 1 1 0 .mv _n32f 2 ON OFF .names _n32f ON .names _n31f _n32f _n32c down_floor_buttons$raw_n31e<*2*> - - 0 =_n32f - - 1 =_n31f .names _n31f OFF # down_floor_buttons [1] = 1 .mv down_floor_buttons$raw_n330<*0*> 2 ON OFF .mv down_floor_buttons$raw_n330<*1*> 2 ON OFF .mv down_floor_buttons$raw_n330<*2*> 2 ON OFF .mv _n331 2 ON OFF .names _n332<0> 1 .names _n332<1> 0 .names _n333<0> 0 .names _n333<1> 0 .names _n333<0> _n332<0> _n335<0> .def 0 0 1 1 1 0 1 .names _n333<1> _n332<1> _n335<1> .def 0 0 1 1 1 0 1 .names _n335<0> _n335<1> _n336 .def 1 0 0 0 .names _n336 _n334 0 1 1 0 .names _n331 down_floor_buttons$raw_n31e<*0*> _n334 down_floor_buttons$raw_n330<*0*> - - 0 =down_floor_buttons$raw_n31e<*0*> - - 1 =_n331 .names _n337<0> 1 .names _n337<1> 0 .names _n337<0> _n332<0> _n339<0> .def 0 0 1 1 1 0 1 .names _n337<1> _n332<1> _n339<1> .def 0 0 1 1 1 0 1 .names _n339<0> _n339<1> _n33a .def 1 0 0 0 .names _n33a _n338 0 1 1 0 .names _n331 down_floor_buttons$raw_n31e<*1*> _n338 down_floor_buttons$raw_n330<*1*> - - 0 =down_floor_buttons$raw_n31e<*1*> - - 1 =_n331 .names _n33b<0> 0 .names _n33b<1> 1 .names _n33b<0> _n332<0> _n33d<0> .def 0 0 1 1 1 0 1 .names _n33b<1> _n332<1> _n33d<1> .def 0 0 1 1 1 0 1 .names _n33d<0> _n33d<1> _n33e .def 1 0 0 0 .names _n33e _n33c 0 1 1 0 .names _n331 down_floor_buttons$raw_n31e<*2*> _n33c down_floor_buttons$raw_n330<*2*> - - 0 =down_floor_buttons$raw_n31e<*2*> - - 1 =_n331 .names _n331 OFF # down_floor_buttons [2] = 1 .mv down_floor_buttons$raw_n33f<*0*> 2 ON OFF .mv down_floor_buttons$raw_n33f<*1*> 2 ON OFF .mv down_floor_buttons$raw_n33f<*2*> 2 ON OFF .mv _n340 2 ON OFF .names _n341<0> 0 .names _n341<1> 1 .names _n342<0> 0 .names _n342<1> 0 .names _n342<0> _n341<0> _n344<0> .def 0 0 1 1 1 0 1 .names _n342<1> _n341<1> _n344<1> .def 0 0 1 1 1 0 1 .names _n344<0> _n344<1> _n345 .def 1 0 0 0 .names _n345 _n343 0 1 1 0 .names _n340 down_floor_buttons$raw_n330<*0*> _n343 down_floor_buttons$raw_n33f<*0*> - - 0 =down_floor_buttons$raw_n330<*0*> - - 1 =_n340 .names _n346<0> 1 .names _n346<1> 0 .names _n346<0> _n341<0> _n348<0> .def 0 0 1 1 1 0 1 .names _n346<1> _n341<1> _n348<1> .def 0 0 1 1 1 0 1 .names _n348<0> _n348<1> _n349 .def 1 0 0 0 .names _n349 _n347 0 1 1 0 .names _n340 down_floor_buttons$raw_n330<*1*> _n347 down_floor_buttons$raw_n33f<*1*> - - 0 =down_floor_buttons$raw_n330<*1*> - - 1 =_n340 .names _n34a<0> 0 .names _n34a<1> 1 .names _n34a<0> _n341<0> _n34c<0> .def 0 0 1 1 1 0 1 .names _n34a<1> _n341<1> _n34c<1> .def 0 0 1 1 1 0 1 .names _n34c<0> _n34c<1> _n34d .def 1 0 0 0 .names _n34d _n34b 0 1 1 0 .names _n340 down_floor_buttons$raw_n330<*2*> _n34b down_floor_buttons$raw_n33f<*2*> - - 0 =down_floor_buttons$raw_n330<*2*> - - 1 =_n340 .names _n340 OFF # direction [1] = 0 .mv direction$raw_n34e<*1*> 2 UP DOWN .mv direction$raw_n34e<*2*> 2 UP DOWN .mv _n34f 2 UP DOWN .names _n350<0> 1 .names _n350<1> 0 .names _n351<0> 1 .names _n351<1> 0 .names _n351<0> _n350<0> _n353<0> .def 0 0 1 1 1 0 1 .names _n351<1> _n350<1> _n353<1> .def 0 0 1 1 1 0 1 .names _n353<0> _n353<1> _n354 .def 1 0 0 0 .names _n354 _n352 0 1 1 0 .mv _n355 2 UP DOWN .names _n355 UP .names _n34f _n355 _n352 direction$raw_n34e<*1*> - - 0 =_n355 - - 1 =_n34f .names _n356<0> 0 .names _n356<1> 1 .names _n356<0> _n350<0> _n358<0> .def 0 0 1 1 1 0 1 .names _n356<1> _n350<1> _n358<1> .def 0 0 1 1 1 0 1 .names _n358<0> _n358<1> _n359 .def 1 0 0 0 .names _n359 _n357 0 1 1 0 .mv _n35a 2 UP DOWN .names _n35a UP .names _n34f _n35a _n357 direction$raw_n34e<*2*> - - 0 =_n35a - - 1 =_n34f .names _n34f UP # direction [2] = 0 .mv direction$raw_n35b<*1*> 2 UP DOWN .mv direction$raw_n35b<*2*> 2 UP DOWN .mv _n35c 2 UP DOWN .names _n35d<0> 0 .names _n35d<1> 1 .names _n35e<0> 1 .names _n35e<1> 0 .names _n35e<0> _n35d<0> _n360<0> .def 0 0 1 1 1 0 1 .names _n35e<1> _n35d<1> _n360<1> .def 0 0 1 1 1 0 1 .names _n360<0> _n360<1> _n361 .def 1 0 0 0 .names _n361 _n35f 0 1 1 0 .names _n35c direction$raw_n34e<*1*> _n35f direction$raw_n35b<*1*> - - 0 =direction$raw_n34e<*1*> - - 1 =_n35c .names _n362<0> 0 .names _n362<1> 1 .names _n362<0> _n35d<0> _n364<0> .def 0 0 1 1 1 0 1 .names _n362<1> _n35d<1> _n364<1> .def 0 0 1 1 1 0 1 .names _n364<0> _n364<1> _n365 .def 1 0 0 0 .names _n365 _n363 0 1 1 0 .names _n35c direction$raw_n34e<*2*> _n363 direction$raw_n35b<*2*> - - 0 =direction$raw_n34e<*2*> - - 1 =_n35c .names _n35c UP # non-blocking assignments for initial # assign buttons [0] = up_floor_buttons [0] == ON || down_floor_buttons [0] == ON .names _n368<0> 0 .names _n368<1> 0 .mv _n369 2 ON OFF .names up_floor_buttons<*0*> up_floor_buttons<*1*> up_floor_buttons<*2*> _n368<1> _n368<0> _n369 - - - 0 0 =up_floor_buttons<*0*> - - - 0 1 =up_floor_buttons<*1*> - - - 1 0 =up_floor_buttons<*2*> - - - 1 1 ON .mv _n36a 2 ON OFF .names _n36a ON # up_floor_buttons [0] == 0 .names _n369 _n36a _n367 .def 0 - =_n369 1 .names _n36c<0> 0 .names _n36c<1> 0 .mv _n36d 2 ON OFF .names down_floor_buttons<*0*> down_floor_buttons<*1*> down_floor_buttons<*2*> _n36c<1> _n36c<0> _n36d - - - 0 0 =down_floor_buttons<*0*> - - - 0 1 =down_floor_buttons<*1*> - - - 1 0 =down_floor_buttons<*2*> - - - 1 1 ON .mv _n36e 2 ON OFF .names _n36e ON # down_floor_buttons [0] == 0 .names _n36d _n36e _n36b .def 0 - =_n36d 1 # up_floor_buttons [0] == 0 || down_floor_buttons [0] == 0 .names _n367 _n36b _n36f .def 1 0 0 0 .names _n36f buttons$raw_n366<0> - =_n36f .names _n370 0 # assign buttons [1] = up_floor_buttons [1] == ON || down_floor_buttons [1] == ON .names _n373<0> 1 .names _n373<1> 0 .mv _n374 2 ON OFF .names up_floor_buttons<*0*> up_floor_buttons<*1*> up_floor_buttons<*2*> _n373<1> _n373<0> _n374 - - - 0 0 =up_floor_buttons<*0*> - - - 0 1 =up_floor_buttons<*1*> - - - 1 0 =up_floor_buttons<*2*> - - - 1 1 ON .mv _n375 2 ON OFF .names _n375 ON # up_floor_buttons [1] == 0 .names _n374 _n375 _n372 .def 0 - =_n374 1 .names _n377<0> 1 .names _n377<1> 0 .mv _n378 2 ON OFF .names down_floor_buttons<*0*> down_floor_buttons<*1*> down_floor_buttons<*2*> _n377<1> _n377<0> _n378 - - - 0 0 =down_floor_buttons<*0*> - - - 0 1 =down_floor_buttons<*1*> - - - 1 0 =down_floor_buttons<*2*> - - - 1 1 ON .mv _n379 2 ON OFF .names _n379 ON # down_floor_buttons [1] == 0 .names _n378 _n379 _n376 .def 0 - =_n378 1 # up_floor_buttons [1] == 0 || down_floor_buttons [1] == 0 .names _n372 _n376 _n37a .def 1 0 0 0 .names _n37a buttons$raw_n371<1> - =_n37a .names _n37b 0 # assign buttons [2] = up_floor_buttons [2] == ON || down_floor_buttons [2] == ON .names _n37e<0> 0 .names _n37e<1> 1 .mv _n37f 2 ON OFF .names up_floor_buttons<*0*> up_floor_buttons<*1*> up_floor_buttons<*2*> _n37e<1> _n37e<0> _n37f - - - 0 0 =up_floor_buttons<*0*> - - - 0 1 =up_floor_buttons<*1*> - - - 1 0 =up_floor_buttons<*2*> - - - 1 1 ON .mv _n380 2 ON OFF .names _n380 ON # up_floor_buttons [2] == 0 .names _n37f _n380 _n37d .def 0 - =_n37f 1 .names _n382<0> 0 .names _n382<1> 1 .mv _n383 2 ON OFF .names down_floor_buttons<*0*> down_floor_buttons<*1*> down_floor_buttons<*2*> _n382<1> _n382<0> _n383 - - - 0 0 =down_floor_buttons<*0*> - - - 0 1 =down_floor_buttons<*1*> - - - 1 0 =down_floor_buttons<*2*> - - - 1 1 ON .mv _n384 2 ON OFF .names _n384 ON # down_floor_buttons [2] == 0 .names _n383 _n384 _n381 .def 0 - =_n383 1 # up_floor_buttons [2] == 0 || down_floor_buttons [2] == 0 .names _n37d _n381 _n385 .def 1 0 0 0 .names _n385 buttons$raw_n37c<2> - =_n385 .names _n386 0 # assign button_below [1] = ((locations [1] == 2) && (buttons [0] || buttons [1])) || (locations [1] == 1 && buttons [0]) .names _n389<0> 1 .names _n389<1> 0 .names locations<*1*><0> locations<*2*><0> _n389<1> _n389<0> _n38a<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n389<1> _n389<0> _n38a<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n38b<0> 0 .names _n38b<1> 1 # locations [1] == 2 .names _n38a<0> _n38b<0> _n38c<0> .def 0 0 1 1 1 0 1 .names _n38a<1> _n38b<1> _n38c<1> .def 0 0 1 1 1 0 1 .names _n38c<0> _n38c<1> _n38d .def 1 0 0 0 .names _n38d _n388 0 1 1 0 # buttons [0] || buttons [1] .names buttons<0> buttons<1> _n38e<0> .def 1 0 0 0 # (locations [1] == 2) && (buttons [0] || buttons [1]) .names _n388 _n38e<0> _n38f<0> .def 0 1 1 1 .names _n390 0 .names _n392<0> 1 .names _n392<1> 0 .names locations<*1*><0> locations<*2*><0> _n392<1> _n392<0> _n393<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n392<1> _n392<0> _n393<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n394<0> 1 .names _n394<1> 0 # locations [1] == 1 .names _n393<0> _n394<0> _n395<0> .def 0 0 1 1 1 0 1 .names _n393<1> _n394<1> _n395<1> .def 0 0 1 1 1 0 1 .names _n395<0> _n395<1> _n396 .def 1 0 0 0 .names _n396 _n391 0 1 1 0 # locations [1] == 1 && buttons [0] .names _n391 buttons<0> _n397<0> .def 0 1 1 1 .names _n398 0 # ((locations [1] == 2) && (buttons [0] || buttons [1])) || (locations [1] == 1 && buttons [0]) .names _n38f<0> _n397<0> _n399<0> .def 1 0 0 0 .names _n399<0> button_below$raw_n387<1> - =_n399<0> # assign button_above [1] = ((locations [1] == 0) && (buttons [2] || buttons [1])) || ((locations [1] == 1) && (buttons [2])) .names _n39c<0> 1 .names _n39c<1> 0 .names locations<*1*><0> locations<*2*><0> _n39c<1> _n39c<0> _n39d<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n39c<1> _n39c<0> _n39d<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n39e<0> 0 .names _n39e<1> 0 # locations [1] == 0 .names _n39d<0> _n39e<0> _n39f<0> .def 0 0 1 1 1 0 1 .names _n39d<1> _n39e<1> _n39f<1> .def 0 0 1 1 1 0 1 .names _n39f<0> _n39f<1> _n3a0 .def 1 0 0 0 .names _n3a0 _n39b 0 1 1 0 # buttons [2] || buttons [1] .names buttons<2> buttons<1> _n3a1<0> .def 1 0 0 0 # (locations [1] == 0) && (buttons [2] || buttons [1]) .names _n39b _n3a1<0> _n3a2<0> .def 0 1 1 1 .names _n3a3 0 .names _n3a5<0> 1 .names _n3a5<1> 0 .names locations<*1*><0> locations<*2*><0> _n3a5<1> _n3a5<0> _n3a6<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n3a5<1> _n3a5<0> _n3a6<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n3a7<0> 1 .names _n3a7<1> 0 # locations [1] == 1 .names _n3a6<0> _n3a7<0> _n3a8<0> .def 0 0 1 1 1 0 1 .names _n3a6<1> _n3a7<1> _n3a8<1> .def 0 0 1 1 1 0 1 .names _n3a8<0> _n3a8<1> _n3a9 .def 1 0 0 0 .names _n3a9 _n3a4 0 1 1 0 # (locations [1] == 1) && (buttons [2]) .names _n3a4 buttons<2> _n3aa<2> .def 0 1 1 1 .names _n3ab 0 # ((locations [1] == 0) && (buttons [2] || buttons [1])) || ((locations [1] == 1) && (buttons [2])) .names _n3a2<0> _n3aa<2> _n3ac<0> .def 1 0 0 0 .names _n3ac<0> button_above$raw_n39a<1> - =_n3ac<0> # assign button_below [2] = ((locations [2] == 2) && (buttons [0] || buttons [1])) || (locations [2] == 1 && buttons [0]) .names _n3af<0> 0 .names _n3af<1> 1 .names locations<*1*><0> locations<*2*><0> _n3af<1> _n3af<0> _n3b0<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n3af<1> _n3af<0> _n3b0<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n3b1<0> 0 .names _n3b1<1> 1 # locations [2] == 2 .names _n3b0<0> _n3b1<0> _n3b2<0> .def 0 0 1 1 1 0 1 .names _n3b0<1> _n3b1<1> _n3b2<1> .def 0 0 1 1 1 0 1 .names _n3b2<0> _n3b2<1> _n3b3 .def 1 0 0 0 .names _n3b3 _n3ae 0 1 1 0 # buttons [0] || buttons [1] .names buttons<0> buttons<1> _n3b4<0> .def 1 0 0 0 # (locations [2] == 2) && (buttons [0] || buttons [1]) .names _n3ae _n3b4<0> _n3b5<0> .def 0 1 1 1 .names _n3b6 0 .names _n3b8<0> 0 .names _n3b8<1> 1 .names locations<*1*><0> locations<*2*><0> _n3b8<1> _n3b8<0> _n3b9<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n3b8<1> _n3b8<0> _n3b9<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n3ba<0> 1 .names _n3ba<1> 0 # locations [2] == 1 .names _n3b9<0> _n3ba<0> _n3bb<0> .def 0 0 1 1 1 0 1 .names _n3b9<1> _n3ba<1> _n3bb<1> .def 0 0 1 1 1 0 1 .names _n3bb<0> _n3bb<1> _n3bc .def 1 0 0 0 .names _n3bc _n3b7 0 1 1 0 # locations [2] == 1 && buttons [0] .names _n3b7 buttons<0> _n3bd<0> .def 0 1 1 1 .names _n3be 0 # ((locations [2] == 2) && (buttons [0] || buttons [1])) || (locations [2] == 1 && buttons [0]) .names _n3b5<0> _n3bd<0> _n3bf<0> .def 1 0 0 0 .names _n3bf<0> button_below$raw_n3ad<2> - =_n3bf<0> # assign button_above [2] = ((locations [2] == 0) && (buttons [2] || buttons [1])) || ((locations [2] == 1) && (buttons [2])) .names _n3c2<0> 0 .names _n3c2<1> 1 .names locations<*1*><0> locations<*2*><0> _n3c2<1> _n3c2<0> _n3c3<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n3c2<1> _n3c2<0> _n3c3<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n3c4<0> 0 .names _n3c4<1> 0 # locations [2] == 0 .names _n3c3<0> _n3c4<0> _n3c5<0> .def 0 0 1 1 1 0 1 .names _n3c3<1> _n3c4<1> _n3c5<1> .def 0 0 1 1 1 0 1 .names _n3c5<0> _n3c5<1> _n3c6 .def 1 0 0 0 .names _n3c6 _n3c1 0 1 1 0 # buttons [2] || buttons [1] .names buttons<2> buttons<1> _n3c7<0> .def 1 0 0 0 # (locations [2] == 0) && (buttons [2] || buttons [1]) .names _n3c1 _n3c7<0> _n3c8<0> .def 0 1 1 1 .names _n3c9 0 .names _n3cb<0> 0 .names _n3cb<1> 1 .names locations<*1*><0> locations<*2*><0> _n3cb<1> _n3cb<0> _n3cc<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n3cb<1> _n3cb<0> _n3cc<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n3cd<0> 1 .names _n3cd<1> 0 # locations [2] == 1 .names _n3cc<0> _n3cd<0> _n3ce<0> .def 0 0 1 1 1 0 1 .names _n3cc<1> _n3cd<1> _n3ce<1> .def 0 0 1 1 1 0 1 .names _n3ce<0> _n3ce<1> _n3cf .def 1 0 0 0 .names _n3cf _n3ca 0 1 1 0 # (locations [2] == 1) && (buttons [2]) .names _n3ca buttons<2> _n3d0<2> .def 0 1 1 1 .names _n3d1 0 # ((locations [2] == 0) && (buttons [2] || buttons [1])) || ((locations [2] == 1) && (buttons [2])) .names _n3c8<0> _n3d0<2> _n3d2<0> .def 1 0 0 0 .names _n3d2<0> button_above$raw_n3c0<2> - =_n3d2<0> # assign continue [1] = button_above [1] && direction [1] == UP || button_below [1] && direction [1] == DOWN .names _n3d5<0> 1 .names _n3d5<1> 0 .mv _n3d6 2 UP DOWN .names direction<*1*> direction<*2*> _n3d5<1> _n3d5<0> _n3d6 - - 0 0 UP - - 0 1 =direction<*1*> - - 1 0 =direction<*2*> - - 1 1 UP .mv _n3d7 2 UP DOWN .names _n3d7 UP # direction [1] == 0 .names _n3d6 _n3d7 _n3d4 .def 0 - =_n3d6 1 # button_above [1] && direction [1] == 0 .names button_above<1> _n3d4 _n3d8<1> .def 0 1 1 1 .names _n3d9 0 .names _n3db<0> 1 .names _n3db<1> 0 .mv _n3dc 2 UP DOWN .names direction<*1*> direction<*2*> _n3db<1> _n3db<0> _n3dc - - 0 0 UP - - 0 1 =direction<*1*> - - 1 0 =direction<*2*> - - 1 1 UP .mv _n3dd 2 UP DOWN .names _n3dd DOWN # direction [1] == 1 .names _n3dc _n3dd _n3da .def 0 - =_n3dc 1 # button_below [1] && direction [1] == 1 .names button_below<1> _n3da _n3de<1> .def 0 1 1 1 .names _n3df 0 # button_above [1] && direction [1] == 0 || button_below [1] && direction [1] == 1 .names _n3d8<1> _n3de<1> _n3e0<0> .def 1 0 0 0 .names _n3e0<0> continue$raw_n3d3<1> - =_n3e0<0> # assign continue [2] = button_above [2] && direction [2] == UP || button_below [2] && direction [2] == DOWN .names _n3e3<0> 0 .names _n3e3<1> 1 .mv _n3e4 2 UP DOWN .names direction<*1*> direction<*2*> _n3e3<1> _n3e3<0> _n3e4 - - 0 0 UP - - 0 1 =direction<*1*> - - 1 0 =direction<*2*> - - 1 1 UP .mv _n3e5 2 UP DOWN .names _n3e5 UP # direction [2] == 0 .names _n3e4 _n3e5 _n3e2 .def 0 - =_n3e4 1 # button_above [2] && direction [2] == 0 .names button_above<2> _n3e2 _n3e6<2> .def 0 1 1 1 .names _n3e7 0 .names _n3e9<0> 0 .names _n3e9<1> 1 .mv _n3ea 2 UP DOWN .names direction<*1*> direction<*2*> _n3e9<1> _n3e9<0> _n3ea - - 0 0 UP - - 0 1 =direction<*1*> - - 1 0 =direction<*2*> - - 1 1 UP .mv _n3eb 2 UP DOWN .names _n3eb DOWN # direction [2] == 1 .names _n3ea _n3eb _n3e8 .def 0 - =_n3ea 1 # button_below [2] && direction [2] == 1 .names button_below<2> _n3e8 _n3ec<2> .def 0 1 1 1 .names _n3ed 0 # button_above [2] && direction [2] == 0 || button_below [2] && direction [2] == 1 .names _n3e6<2> _n3ec<2> _n3ee<0> .def 1 0 0 0 .names _n3ee<0> continue$raw_n3e1<2> - =_n3ee<0> # assign stop_next [1] = ((locations [1] != 3 - 1) && (direction [1] == UP )) ? ((up_floor_buttons [locations [1] + 1] == ON ) ? 1 : 0) : (((locations [1] != 0) && (direction [1] == DOWN )) ? ((down_floor_buttons [locations [1] - 1] == ON ) ? 1 : 0) : 0) .names _n3f1<0> 1 .names _n3f1<1> 0 .names locations<*1*><0> locations<*2*><0> _n3f1<1> _n3f1<0> _n3f2<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n3f1<1> _n3f1<0> _n3f2<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n3f3<0> 1 .names _n3f3<1> 1 .names _n3f4<0> 1 .names _n3f4<1> 0 # 3 - 1 .names _n3f6 0 .names _n3f3<0> _n3f4<0> _n3f6 _n3f5<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n3f8 0 .names _n3f3<0> _n3f4<0> _n3f8 _n3f7 .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _n3f3<1> _n3f4<1> _n3f7 _n3f5<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # locations [1] != 3 - 1 .names _n3f2<0> _n3f5<0> _n3f9<0> .def 0 0 1 1 1 0 1 .names _n3f2<1> _n3f5<1> _n3f9<1> .def 0 0 1 1 1 0 1 .names _n3f9<0> _n3f9<1> _n3fa .def 1 0 0 0 .names _n3fa _n3f0 - =_n3fa .names _n3fc<0> 1 .names _n3fc<1> 0 .mv _n3fd 2 UP DOWN .names direction<*1*> direction<*2*> _n3fc<1> _n3fc<0> _n3fd - - 0 0 UP - - 0 1 =direction<*1*> - - 1 0 =direction<*2*> - - 1 1 UP .mv _n3fe 2 UP DOWN .names _n3fe UP # direction [1] == 0 .names _n3fd _n3fe _n3fb .def 0 - =_n3fd 1 # (locations [1] != 3 - 1) && (direction [1] == 0) .names _n3f0 _n3fb _n3ff .def 0 1 1 1 .names _n401<0> 1 .names _n401<1> 0 .names locations<*1*><0> locations<*2*><0> _n401<1> _n401<0> _n402<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n401<1> _n401<0> _n402<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n403<0> 1 .names _n403<1> 0 # locations [1] + 1 .names _n405 0 .names _n402<0> _n403<0> _n405 _n404<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n407 0 .names _n402<0> _n403<0> _n407 _n406 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names _n402<1> _n403<1> _n406 _n404<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .mv _n408 2 ON OFF .names up_floor_buttons<*0*> up_floor_buttons<*1*> up_floor_buttons<*2*> _n404<1> _n404<0> _n408 - - - 0 0 =up_floor_buttons<*0*> - - - 0 1 =up_floor_buttons<*1*> - - - 1 0 =up_floor_buttons<*2*> - - - 1 1 ON .mv _n409 2 ON OFF .names _n409 ON # up_floor_buttons [locations [1] + 1] == 0 .names _n408 _n409 _n400 .def 0 - =_n408 1 .names _n40a<1> 1 .names _n40b<1> 0 # (up_floor_buttons [locations [1] + 1] == 0) ? 1 : 0 .names _n40a<1> _n40b<1> _n400 _n40c<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n40f<0> 1 .names _n40f<1> 0 .names locations<*1*><0> locations<*2*><0> _n40f<1> _n40f<0> _n410<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n40f<1> _n40f<0> _n410<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n411<0> 0 .names _n411<1> 0 # locations [1] != 0 .names _n410<0> _n411<0> _n412<0> .def 0 0 1 1 1 0 1 .names _n410<1> _n411<1> _n412<1> .def 0 0 1 1 1 0 1 .names _n412<0> _n412<1> _n413 .def 1 0 0 0 .names _n413 _n40e - =_n413 .names _n415<0> 1 .names _n415<1> 0 .mv _n416 2 UP DOWN .names direction<*1*> direction<*2*> _n415<1> _n415<0> _n416 - - 0 0 UP - - 0 1 =direction<*1*> - - 1 0 =direction<*2*> - - 1 1 UP .mv _n417 2 UP DOWN .names _n417 DOWN # direction [1] == 1 .names _n416 _n417 _n414 .def 0 - =_n416 1 # (locations [1] != 0) && (direction [1] == 1) .names _n40e _n414 _n418 .def 0 1 1 1 .names _n41a<0> 1 .names _n41a<1> 0 .names locations<*1*><0> locations<*2*><0> _n41a<1> _n41a<0> _n41b<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n41a<1> _n41a<0> _n41b<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n41c<0> 1 .names _n41c<1> 0 # locations [1] - 1 .names _n41e 0 .names _n41b<0> _n41c<0> _n41e _n41d<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n420 0 .names _n41b<0> _n41c<0> _n420 _n41f .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _n41b<1> _n41c<1> _n41f _n41d<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .mv _n421 2 ON OFF .names down_floor_buttons<*0*> down_floor_buttons<*1*> down_floor_buttons<*2*> _n41d<1> _n41d<0> _n421 - - - 0 0 =down_floor_buttons<*0*> - - - 0 1 =down_floor_buttons<*1*> - - - 1 0 =down_floor_buttons<*2*> - - - 1 1 ON .mv _n422 2 ON OFF .names _n422 ON # down_floor_buttons [locations [1] - 1] == 0 .names _n421 _n422 _n419 .def 0 - =_n421 1 .names _n423<1> 1 .names _n424<1> 0 # (down_floor_buttons [locations [1] - 1] == 0) ? 1 : 0 .names _n423<1> _n424<1> _n419 _n425<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n427<1> 0 # ((locations [1] != 0) && (direction [1] == 1)) ? ((down_floor_buttons [locations [1] - 1] == 0) ? 1 : 0) : 0 .names _n425<1> _n427<1> _n418 _n428<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 # ((locations [1] != 3 - 1) && (direction [1] == 0)) ? ((up_floor_buttons [locations [1] + 1] == 0) ? 1 : 0) : (((locations [1] != 0) && (direction [1] == 1)) ? ((down_floor_buttons [locations [1] - 1] == 0) ? 1 : 0) : 0) .names _n40c<1> _n428<1> _n3ff _n42a<1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n42a<1> stop_next$raw_n3ef<1> - =_n42a<1> # assign stop_next [2] = ((locations [2] != 3 - 1) && (direction [2] == UP )) ? ((up_floor_buttons [locations [2] + 1] == ON ) ? 1 : 0) : (((locations [2] != 0) && (direction [2] == DOWN )) ? ((down_floor_buttons [locations [2] - 1] == ON ) ? 1 : 0) : 0) .names _n42e<0> 0 .names _n42e<1> 1 .names locations<*1*><0> locations<*2*><0> _n42e<1> _n42e<0> _n42f<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n42e<1> _n42e<0> _n42f<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n430<0> 1 .names _n430<1> 1 .names _n431<0> 1 .names _n431<1> 0 # 3 - 1 .names _n433 0 .names _n430<0> _n431<0> _n433 _n432<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n435 0 .names _n430<0> _n431<0> _n435 _n434 .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _n430<1> _n431<1> _n434 _n432<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # locations [2] != 3 - 1 .names _n42f<0> _n432<0> _n436<0> .def 0 0 1 1 1 0 1 .names _n42f<1> _n432<1> _n436<1> .def 0 0 1 1 1 0 1 .names _n436<0> _n436<1> _n437 .def 1 0 0 0 .names _n437 _n42d - =_n437 .names _n439<0> 0 .names _n439<1> 1 .mv _n43a 2 UP DOWN .names direction<*1*> direction<*2*> _n439<1> _n439<0> _n43a - - 0 0 UP - - 0 1 =direction<*1*> - - 1 0 =direction<*2*> - - 1 1 UP .mv _n43b 2 UP DOWN .names _n43b UP # direction [2] == 0 .names _n43a _n43b _n438 .def 0 - =_n43a 1 # (locations [2] != 3 - 1) && (direction [2] == 0) .names _n42d _n438 _n43c .def 0 1 1 1 .names _n43e<0> 0 .names _n43e<1> 1 .names locations<*1*><0> locations<*2*><0> _n43e<1> _n43e<0> _n43f<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n43e<1> _n43e<0> _n43f<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n440<0> 1 .names _n440<1> 0 # locations [2] + 1 .names _n442 0 .names _n43f<0> _n440<0> _n442 _n441<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n444 0 .names _n43f<0> _n440<0> _n444 _n443 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names _n43f<1> _n440<1> _n443 _n441<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .mv _n445 2 ON OFF .names up_floor_buttons<*0*> up_floor_buttons<*1*> up_floor_buttons<*2*> _n441<1> _n441<0> _n445 - - - 0 0 =up_floor_buttons<*0*> - - - 0 1 =up_floor_buttons<*1*> - - - 1 0 =up_floor_buttons<*2*> - - - 1 1 ON .mv _n446 2 ON OFF .names _n446 ON # up_floor_buttons [locations [2] + 1] == 0 .names _n445 _n446 _n43d .def 0 - =_n445 1 .names _n447<2> 1 .names _n448<2> 0 # (up_floor_buttons [locations [2] + 1] == 0) ? 1 : 0 .names _n447<2> _n448<2> _n43d _n449<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n44c<0> 0 .names _n44c<1> 1 .names locations<*1*><0> locations<*2*><0> _n44c<1> _n44c<0> _n44d<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n44c<1> _n44c<0> _n44d<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n44e<0> 0 .names _n44e<1> 0 # locations [2] != 0 .names _n44d<0> _n44e<0> _n44f<0> .def 0 0 1 1 1 0 1 .names _n44d<1> _n44e<1> _n44f<1> .def 0 0 1 1 1 0 1 .names _n44f<0> _n44f<1> _n450 .def 1 0 0 0 .names _n450 _n44b - =_n450 .names _n452<0> 0 .names _n452<1> 1 .mv _n453 2 UP DOWN .names direction<*1*> direction<*2*> _n452<1> _n452<0> _n453 - - 0 0 UP - - 0 1 =direction<*1*> - - 1 0 =direction<*2*> - - 1 1 UP .mv _n454 2 UP DOWN .names _n454 DOWN # direction [2] == 1 .names _n453 _n454 _n451 .def 0 - =_n453 1 # (locations [2] != 0) && (direction [2] == 1) .names _n44b _n451 _n455 .def 0 1 1 1 .names _n457<0> 0 .names _n457<1> 1 .names locations<*1*><0> locations<*2*><0> _n457<1> _n457<0> _n458<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n457<1> _n457<0> _n458<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n459<0> 1 .names _n459<1> 0 # locations [2] - 1 .names _n45b 0 .names _n458<0> _n459<0> _n45b _n45a<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n45d 0 .names _n458<0> _n459<0> _n45d _n45c .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _n458<1> _n459<1> _n45c _n45a<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .mv _n45e 2 ON OFF .names down_floor_buttons<*0*> down_floor_buttons<*1*> down_floor_buttons<*2*> _n45a<1> _n45a<0> _n45e - - - 0 0 =down_floor_buttons<*0*> - - - 0 1 =down_floor_buttons<*1*> - - - 1 0 =down_floor_buttons<*2*> - - - 1 1 ON .mv _n45f 2 ON OFF .names _n45f ON # down_floor_buttons [locations [2] - 1] == 0 .names _n45e _n45f _n456 .def 0 - =_n45e 1 .names _n460<2> 1 .names _n461<2> 0 # (down_floor_buttons [locations [2] - 1] == 0) ? 1 : 0 .names _n460<2> _n461<2> _n456 _n462<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n464<2> 0 # ((locations [2] != 0) && (direction [2] == 1)) ? ((down_floor_buttons [locations [2] - 1] == 0) ? 1 : 0) : 0 .names _n462<2> _n464<2> _n455 _n465<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 # ((locations [2] != 3 - 1) && (direction [2] == 0)) ? ((up_floor_buttons [locations [2] + 1] == 0) ? 1 : 0) : (((locations [2] != 0) && (direction [2] == 1)) ? ((down_floor_buttons [locations [2] - 1] == 0) ? 1 : 0) : 0) .names _n449<2> _n465<2> _n43c _n467<2> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n467<2> stop_next$raw_n42c<2> - =_n467<2> # assign random_up [0] = $NDset ( 0,1 ) .names -> random_up<0> 0 1 # assign random_down [0] = $NDset ( 0,1 ) .names -> random_down<0> 0 1 # assign random_up [1] = $NDset ( 0,1 ) .names -> random_up<1> 0 1 # assign random_down [1] = $NDset ( 0,1 ) .names -> random_down<1> 0 1 # assign random_up [2] = $NDset ( 0,1 ) .names -> random_up<2> 0 1 # assign random_down [2] = $NDset ( 0,1 ) .names -> random_down<2> 0 1 .names random_up<0> _n476 .def 1 0 0 .names _n476 _n475 - =_n476 # up_floor_buttons [0] = 0 .mv up_floor_buttons$random_up_n477$true<*0*> 2 ON OFF .mv up_floor_buttons$random_up_n477$true<*1*> 2 ON OFF .mv up_floor_buttons$random_up_n477$true<*2*> 2 ON OFF .mv _n478 2 ON OFF .names _n479<0> 0 .names _n479<1> 0 .names _n47a<0> 0 .names _n47a<1> 0 .names _n47a<0> _n479<0> _n47c<0> .def 0 0 1 1 1 0 1 .names _n47a<1> _n479<1> _n47c<1> .def 0 0 1 1 1 0 1 .names _n47c<0> _n47c<1> _n47d .def 1 0 0 0 .names _n47d _n47b 0 1 1 0 .names _n478 up_floor_buttons<*0*> _n47b up_floor_buttons$random_up_n477$true<*0*> - - 0 =up_floor_buttons<*0*> - - 1 =_n478 .names _n47e<0> 1 .names _n47e<1> 0 .names _n47e<0> _n479<0> _n480<0> .def 0 0 1 1 1 0 1 .names _n47e<1> _n479<1> _n480<1> .def 0 0 1 1 1 0 1 .names _n480<0> _n480<1> _n481 .def 1 0 0 0 .names _n481 _n47f 0 1 1 0 .names _n478 up_floor_buttons<*1*> _n47f up_floor_buttons$random_up_n477$true<*1*> - - 0 =up_floor_buttons<*1*> - - 1 =_n478 .names _n482<0> 0 .names _n482<1> 1 .names _n482<0> _n479<0> _n484<0> .def 0 0 1 1 1 0 1 .names _n482<1> _n479<1> _n484<1> .def 0 0 1 1 1 0 1 .names _n484<0> _n484<1> _n485 .def 1 0 0 0 .names _n485 _n483 0 1 1 0 .names _n478 up_floor_buttons<*2*> _n483 up_floor_buttons$random_up_n477$true<*2*> - - 0 =up_floor_buttons<*2*> - - 1 =_n478 .names _n478 ON # if/else (random_up [0]) .mv up_floor_buttons$random_up$raw_n488<*0*> 2 ON OFF .mv up_floor_buttons$random_up$raw_n488<*1*> 2 ON OFF .mv up_floor_buttons$random_up$raw_n488<*2*> 2 ON OFF .names random_up<0> _n489 .def 1 0 0 .names up_floor_buttons$random_up_n477$true<*0*> up_floor_buttons<*0*> _n489 up_floor_buttons$random_up$raw_n488<*0*> - - 0 =up_floor_buttons<*0*> - - 1 =up_floor_buttons$random_up_n477$true<*0*> .names up_floor_buttons$random_up_n477$true<*1*> up_floor_buttons<*1*> _n489 up_floor_buttons$random_up$raw_n488<*1*> - - 0 =up_floor_buttons<*1*> - - 1 =up_floor_buttons$random_up_n477$true<*1*> .names up_floor_buttons$random_up_n477$true<*2*> up_floor_buttons<*2*> _n489 up_floor_buttons$random_up$raw_n488<*2*> - - 0 =up_floor_buttons<*2*> - - 1 =up_floor_buttons$random_up_n477$true<*2*> .names random_down<0> _n48b .def 1 0 0 .names _n48b _n48a - =_n48b # down_floor_buttons [0] = 0 .mv down_floor_buttons$random_down_n48c$true<*0*> 2 ON OFF .mv down_floor_buttons$random_down_n48c$true<*1*> 2 ON OFF .mv down_floor_buttons$random_down_n48c$true<*2*> 2 ON OFF .mv _n48d 2 ON OFF .names _n48e<0> 0 .names _n48e<1> 0 .names _n48f<0> 0 .names _n48f<1> 0 .names _n48f<0> _n48e<0> _n491<0> .def 0 0 1 1 1 0 1 .names _n48f<1> _n48e<1> _n491<1> .def 0 0 1 1 1 0 1 .names _n491<0> _n491<1> _n492 .def 1 0 0 0 .names _n492 _n490 0 1 1 0 .names _n48d down_floor_buttons<*0*> _n490 down_floor_buttons$random_down_n48c$true<*0*> - - 0 =down_floor_buttons<*0*> - - 1 =_n48d .names _n493<0> 1 .names _n493<1> 0 .names _n493<0> _n48e<0> _n495<0> .def 0 0 1 1 1 0 1 .names _n493<1> _n48e<1> _n495<1> .def 0 0 1 1 1 0 1 .names _n495<0> _n495<1> _n496 .def 1 0 0 0 .names _n496 _n494 0 1 1 0 .names _n48d down_floor_buttons<*1*> _n494 down_floor_buttons$random_down_n48c$true<*1*> - - 0 =down_floor_buttons<*1*> - - 1 =_n48d .names _n497<0> 0 .names _n497<1> 1 .names _n497<0> _n48e<0> _n499<0> .def 0 0 1 1 1 0 1 .names _n497<1> _n48e<1> _n499<1> .def 0 0 1 1 1 0 1 .names _n499<0> _n499<1> _n49a .def 1 0 0 0 .names _n49a _n498 0 1 1 0 .names _n48d down_floor_buttons<*2*> _n498 down_floor_buttons$random_down_n48c$true<*2*> - - 0 =down_floor_buttons<*2*> - - 1 =_n48d .names _n48d ON # if/else (random_down [0]) .mv down_floor_buttons$random_down$raw_n49f<*0*> 2 ON OFF .mv down_floor_buttons$random_down$raw_n49f<*1*> 2 ON OFF .mv down_floor_buttons$random_down$raw_n49f<*2*> 2 ON OFF .names random_down<0> _n4a0 .def 1 0 0 .names down_floor_buttons$random_down_n48c$true<*0*> down_floor_buttons<*0*> _n4a0 down_floor_buttons$random_down$raw_n49f<*0*> - - 0 =down_floor_buttons<*0*> - - 1 =down_floor_buttons$random_down_n48c$true<*0*> .names down_floor_buttons$random_down_n48c$true<*1*> down_floor_buttons<*1*> _n4a0 down_floor_buttons$random_down$raw_n49f<*1*> - - 0 =down_floor_buttons<*1*> - - 1 =down_floor_buttons$random_down_n48c$true<*1*> .names down_floor_buttons$random_down_n48c$true<*2*> down_floor_buttons<*2*> _n4a0 down_floor_buttons$random_down$raw_n49f<*2*> - - 0 =down_floor_buttons<*2*> - - 1 =down_floor_buttons$random_down_n48c$true<*2*> .names random_up<1> _n4a4 .def 1 0 0 .names _n4a4 _n4a3 - =_n4a4 # up_floor_buttons [1] = 0 .mv up_floor_buttons$random_up_n4a5$true<*0*> 2 ON OFF .mv up_floor_buttons$random_up_n4a5$true<*1*> 2 ON OFF .mv up_floor_buttons$random_up_n4a5$true<*2*> 2 ON OFF .mv _n4a6 2 ON OFF .names _n4a7<0> 1 .names _n4a7<1> 0 .names _n4a8<0> 0 .names _n4a8<1> 0 .names _n4a8<0> _n4a7<0> _n4aa<0> .def 0 0 1 1 1 0 1 .names _n4a8<1> _n4a7<1> _n4aa<1> .def 0 0 1 1 1 0 1 .names _n4aa<0> _n4aa<1> _n4ab .def 1 0 0 0 .names _n4ab _n4a9 0 1 1 0 .names _n4a6 up_floor_buttons$random_up$raw_n488<*0*> _n4a9 up_floor_buttons$random_up_n4a5$true<*0*> - - 0 =up_floor_buttons$random_up$raw_n488<*0*> - - 1 =_n4a6 .names _n4ac<0> 1 .names _n4ac<1> 0 .names _n4ac<0> _n4a7<0> _n4ae<0> .def 0 0 1 1 1 0 1 .names _n4ac<1> _n4a7<1> _n4ae<1> .def 0 0 1 1 1 0 1 .names _n4ae<0> _n4ae<1> _n4af .def 1 0 0 0 .names _n4af _n4ad 0 1 1 0 .names _n4a6 up_floor_buttons$random_up$raw_n488<*1*> _n4ad up_floor_buttons$random_up_n4a5$true<*1*> - - 0 =up_floor_buttons$random_up$raw_n488<*1*> - - 1 =_n4a6 .names _n4b0<0> 0 .names _n4b0<1> 1 .names _n4b0<0> _n4a7<0> _n4b2<0> .def 0 0 1 1 1 0 1 .names _n4b0<1> _n4a7<1> _n4b2<1> .def 0 0 1 1 1 0 1 .names _n4b2<0> _n4b2<1> _n4b3 .def 1 0 0 0 .names _n4b3 _n4b1 0 1 1 0 .names _n4a6 up_floor_buttons$random_up$raw_n488<*2*> _n4b1 up_floor_buttons$random_up_n4a5$true<*2*> - - 0 =up_floor_buttons$random_up$raw_n488<*2*> - - 1 =_n4a6 .names _n4a6 ON # if/else (random_up [1]) .mv up_floor_buttons$random_up$raw_n4b5<*0*> 2 ON OFF .mv up_floor_buttons$random_up$raw_n4b5<*1*> 2 ON OFF .mv up_floor_buttons$random_up$raw_n4b5<*2*> 2 ON OFF .names random_up<1> _n4b6 .def 1 0 0 .names up_floor_buttons$random_up_n4a5$true<*0*> up_floor_buttons$random_up$raw_n488<*0*> _n4b6 up_floor_buttons$random_up$raw_n4b5<*0*> - - 0 =up_floor_buttons$random_up$raw_n488<*0*> - - 1 =up_floor_buttons$random_up_n4a5$true<*0*> .names up_floor_buttons$random_up_n4a5$true<*1*> up_floor_buttons$random_up$raw_n488<*1*> _n4b6 up_floor_buttons$random_up$raw_n4b5<*1*> - - 0 =up_floor_buttons$random_up$raw_n488<*1*> - - 1 =up_floor_buttons$random_up_n4a5$true<*1*> .names up_floor_buttons$random_up_n4a5$true<*2*> up_floor_buttons$random_up$raw_n488<*2*> _n4b6 up_floor_buttons$random_up$raw_n4b5<*2*> - - 0 =up_floor_buttons$random_up$raw_n488<*2*> - - 1 =up_floor_buttons$random_up_n4a5$true<*2*> .names random_down<1> _n4be .def 1 0 0 .names _n4be _n4bd - =_n4be # down_floor_buttons [1] = 0 .mv down_floor_buttons$random_down_n4bf$true<*0*> 2 ON OFF .mv down_floor_buttons$random_down_n4bf$true<*1*> 2 ON OFF .mv down_floor_buttons$random_down_n4bf$true<*2*> 2 ON OFF .mv _n4c0 2 ON OFF .names _n4c1<0> 1 .names _n4c1<1> 0 .names _n4c2<0> 0 .names _n4c2<1> 0 .names _n4c2<0> _n4c1<0> _n4c4<0> .def 0 0 1 1 1 0 1 .names _n4c2<1> _n4c1<1> _n4c4<1> .def 0 0 1 1 1 0 1 .names _n4c4<0> _n4c4<1> _n4c5 .def 1 0 0 0 .names _n4c5 _n4c3 0 1 1 0 .names _n4c0 down_floor_buttons$random_down$raw_n49f<*0*> _n4c3 down_floor_buttons$random_down_n4bf$true<*0*> - - 0 =down_floor_buttons$random_down$raw_n49f<*0*> - - 1 =_n4c0 .names _n4c6<0> 1 .names _n4c6<1> 0 .names _n4c6<0> _n4c1<0> _n4c8<0> .def 0 0 1 1 1 0 1 .names _n4c6<1> _n4c1<1> _n4c8<1> .def 0 0 1 1 1 0 1 .names _n4c8<0> _n4c8<1> _n4c9 .def 1 0 0 0 .names _n4c9 _n4c7 0 1 1 0 .names _n4c0 down_floor_buttons$random_down$raw_n49f<*1*> _n4c7 down_floor_buttons$random_down_n4bf$true<*1*> - - 0 =down_floor_buttons$random_down$raw_n49f<*1*> - - 1 =_n4c0 .names _n4ca<0> 0 .names _n4ca<1> 1 .names _n4ca<0> _n4c1<0> _n4cc<0> .def 0 0 1 1 1 0 1 .names _n4ca<1> _n4c1<1> _n4cc<1> .def 0 0 1 1 1 0 1 .names _n4cc<0> _n4cc<1> _n4cd .def 1 0 0 0 .names _n4cd _n4cb 0 1 1 0 .names _n4c0 down_floor_buttons$random_down$raw_n49f<*2*> _n4cb down_floor_buttons$random_down_n4bf$true<*2*> - - 0 =down_floor_buttons$random_down$raw_n49f<*2*> - - 1 =_n4c0 .names _n4c0 ON # if/else (random_down [1]) .mv down_floor_buttons$random_down$raw_n4ce<*0*> 2 ON OFF .mv down_floor_buttons$random_down$raw_n4ce<*1*> 2 ON OFF .mv down_floor_buttons$random_down$raw_n4ce<*2*> 2 ON OFF .names random_down<1> _n4cf .def 1 0 0 .names down_floor_buttons$random_down_n4bf$true<*0*> down_floor_buttons$random_down$raw_n49f<*0*> _n4cf down_floor_buttons$random_down$raw_n4ce<*0*> - - 0 =down_floor_buttons$random_down$raw_n49f<*0*> - - 1 =down_floor_buttons$random_down_n4bf$true<*0*> .names down_floor_buttons$random_down_n4bf$true<*1*> down_floor_buttons$random_down$raw_n49f<*1*> _n4cf down_floor_buttons$random_down$raw_n4ce<*1*> - - 0 =down_floor_buttons$random_down$raw_n49f<*1*> - - 1 =down_floor_buttons$random_down_n4bf$true<*1*> .names down_floor_buttons$random_down_n4bf$true<*2*> down_floor_buttons$random_down$raw_n49f<*2*> _n4cf down_floor_buttons$random_down$raw_n4ce<*2*> - - 0 =down_floor_buttons$random_down$raw_n49f<*2*> - - 1 =down_floor_buttons$random_down_n4bf$true<*2*> .names random_up<2> _n4d8 .def 1 0 0 .names _n4d8 _n4d7 - =_n4d8 # up_floor_buttons [2] = 0 .mv up_floor_buttons$random_up_n4d9$true<*0*> 2 ON OFF .mv up_floor_buttons$random_up_n4d9$true<*1*> 2 ON OFF .mv up_floor_buttons$random_up_n4d9$true<*2*> 2 ON OFF .mv _n4da 2 ON OFF .names _n4db<0> 0 .names _n4db<1> 1 .names _n4dc<0> 0 .names _n4dc<1> 0 .names _n4dc<0> _n4db<0> _n4de<0> .def 0 0 1 1 1 0 1 .names _n4dc<1> _n4db<1> _n4de<1> .def 0 0 1 1 1 0 1 .names _n4de<0> _n4de<1> _n4df .def 1 0 0 0 .names _n4df _n4dd 0 1 1 0 .names _n4da up_floor_buttons$random_up$raw_n4b5<*0*> _n4dd up_floor_buttons$random_up_n4d9$true<*0*> - - 0 =up_floor_buttons$random_up$raw_n4b5<*0*> - - 1 =_n4da .names _n4e0<0> 1 .names _n4e0<1> 0 .names _n4e0<0> _n4db<0> _n4e2<0> .def 0 0 1 1 1 0 1 .names _n4e0<1> _n4db<1> _n4e2<1> .def 0 0 1 1 1 0 1 .names _n4e2<0> _n4e2<1> _n4e3 .def 1 0 0 0 .names _n4e3 _n4e1 0 1 1 0 .names _n4da up_floor_buttons$random_up$raw_n4b5<*1*> _n4e1 up_floor_buttons$random_up_n4d9$true<*1*> - - 0 =up_floor_buttons$random_up$raw_n4b5<*1*> - - 1 =_n4da .names _n4e4<0> 0 .names _n4e4<1> 1 .names _n4e4<0> _n4db<0> _n4e6<0> .def 0 0 1 1 1 0 1 .names _n4e4<1> _n4db<1> _n4e6<1> .def 0 0 1 1 1 0 1 .names _n4e6<0> _n4e6<1> _n4e7 .def 1 0 0 0 .names _n4e7 _n4e5 0 1 1 0 .names _n4da up_floor_buttons$random_up$raw_n4b5<*2*> _n4e5 up_floor_buttons$random_up_n4d9$true<*2*> - - 0 =up_floor_buttons$random_up$raw_n4b5<*2*> - - 1 =_n4da .names _n4da ON # if/else (random_up [2]) .mv up_floor_buttons$random_up$raw_n4e9<*0*> 2 ON OFF .mv up_floor_buttons$random_up$raw_n4e9<*1*> 2 ON OFF .mv up_floor_buttons$random_up$raw_n4e9<*2*> 2 ON OFF .names random_up<2> _n4ea .def 1 0 0 .names up_floor_buttons$random_up_n4d9$true<*0*> up_floor_buttons$random_up$raw_n4b5<*0*> _n4ea up_floor_buttons$random_up$raw_n4e9<*0*> - - 0 =up_floor_buttons$random_up$raw_n4b5<*0*> - - 1 =up_floor_buttons$random_up_n4d9$true<*0*> .names up_floor_buttons$random_up_n4d9$true<*1*> up_floor_buttons$random_up$raw_n4b5<*1*> _n4ea up_floor_buttons$random_up$raw_n4e9<*1*> - - 0 =up_floor_buttons$random_up$raw_n4b5<*1*> - - 1 =up_floor_buttons$random_up_n4d9$true<*1*> .names up_floor_buttons$random_up_n4d9$true<*2*> up_floor_buttons$random_up$raw_n4b5<*2*> _n4ea up_floor_buttons$random_up$raw_n4e9<*2*> - - 0 =up_floor_buttons$random_up$raw_n4b5<*2*> - - 1 =up_floor_buttons$random_up_n4d9$true<*2*> .names random_down<2> _n4f2 .def 1 0 0 .names _n4f2 _n4f1 - =_n4f2 # down_floor_buttons [2] = 0 .mv down_floor_buttons$random_down_n4f3$true<*0*> 2 ON OFF .mv down_floor_buttons$random_down_n4f3$true<*1*> 2 ON OFF .mv down_floor_buttons$random_down_n4f3$true<*2*> 2 ON OFF .mv _n4f4 2 ON OFF .names _n4f5<0> 0 .names _n4f5<1> 1 .names _n4f6<0> 0 .names _n4f6<1> 0 .names _n4f6<0> _n4f5<0> _n4f8<0> .def 0 0 1 1 1 0 1 .names _n4f6<1> _n4f5<1> _n4f8<1> .def 0 0 1 1 1 0 1 .names _n4f8<0> _n4f8<1> _n4f9 .def 1 0 0 0 .names _n4f9 _n4f7 0 1 1 0 .names _n4f4 down_floor_buttons$random_down$raw_n4ce<*0*> _n4f7 down_floor_buttons$random_down_n4f3$true<*0*> - - 0 =down_floor_buttons$random_down$raw_n4ce<*0*> - - 1 =_n4f4 .names _n4fa<0> 1 .names _n4fa<1> 0 .names _n4fa<0> _n4f5<0> _n4fc<0> .def 0 0 1 1 1 0 1 .names _n4fa<1> _n4f5<1> _n4fc<1> .def 0 0 1 1 1 0 1 .names _n4fc<0> _n4fc<1> _n4fd .def 1 0 0 0 .names _n4fd _n4fb 0 1 1 0 .names _n4f4 down_floor_buttons$random_down$raw_n4ce<*1*> _n4fb down_floor_buttons$random_down_n4f3$true<*1*> - - 0 =down_floor_buttons$random_down$raw_n4ce<*1*> - - 1 =_n4f4 .names _n4fe<0> 0 .names _n4fe<1> 1 .names _n4fe<0> _n4f5<0> _n500<0> .def 0 0 1 1 1 0 1 .names _n4fe<1> _n4f5<1> _n500<1> .def 0 0 1 1 1 0 1 .names _n500<0> _n500<1> _n501 .def 1 0 0 0 .names _n501 _n4ff 0 1 1 0 .names _n4f4 down_floor_buttons$random_down$raw_n4ce<*2*> _n4ff down_floor_buttons$random_down_n4f3$true<*2*> - - 0 =down_floor_buttons$random_down$raw_n4ce<*2*> - - 1 =_n4f4 .names _n4f4 ON # if/else (random_down [2]) .mv down_floor_buttons$random_down$raw_n502<*0*> 2 ON OFF .mv down_floor_buttons$random_down$raw_n502<*1*> 2 ON OFF .mv down_floor_buttons$random_down$raw_n502<*2*> 2 ON OFF .names random_down<2> _n503 .def 1 0 0 .names down_floor_buttons$random_down_n4f3$true<*0*> down_floor_buttons$random_down$raw_n4ce<*0*> _n503 down_floor_buttons$random_down$raw_n502<*0*> - - 0 =down_floor_buttons$random_down$raw_n4ce<*0*> - - 1 =down_floor_buttons$random_down_n4f3$true<*0*> .names down_floor_buttons$random_down_n4f3$true<*1*> down_floor_buttons$random_down$raw_n4ce<*1*> _n503 down_floor_buttons$random_down$raw_n502<*1*> - - 0 =down_floor_buttons$random_down$raw_n4ce<*1*> - - 1 =down_floor_buttons$random_down_n4f3$true<*1*> .names down_floor_buttons$random_down_n4f3$true<*2*> down_floor_buttons$random_down$raw_n4ce<*2*> _n503 down_floor_buttons$random_down$raw_n502<*2*> - - 0 =down_floor_buttons$random_down$raw_n4ce<*2*> - - 1 =down_floor_buttons$random_down_n4f3$true<*2*> .names _n50c<0> 1 .names _n50c<1> 0 .names locations<*1*><0> locations<*2*><0> _n50c<1> _n50c<0> _n50d<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n50c<1> _n50c<0> _n50d<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n50e<0> 1 .names _n50e<1> 1 .names _n50f<0> 1 .names _n50f<1> 0 # 3 - 1 .names _n511 0 .names _n50e<0> _n50f<0> _n511 _n510<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n513 0 .names _n50e<0> _n50f<0> _n513 _n512 .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _n50e<1> _n50f<1> _n512 _n510<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # locations [1] != 3 - 1 .names _n50d<0> _n510<0> _n514<0> .def 0 0 1 1 1 0 1 .names _n50d<1> _n510<1> _n514<1> .def 0 0 1 1 1 0 1 .names _n514<0> _n514<1> _n515 .def 1 0 0 0 .names _n515 _n50b - =_n515 .names _n517<0> 1 .names _n517<1> 0 .mv _n518 2 UP DOWN .names direction<*1*> direction<*2*> _n517<1> _n517<0> _n518 - - 0 0 UP - - 0 1 =direction<*1*> - - 1 0 =direction<*2*> - - 1 1 UP .mv _n519 2 UP DOWN .names _n519 UP # direction [1] == 0 .names _n518 _n519 _n516 .def 0 - =_n518 1 # (locations [1] != 3 - 1) && (direction [1] == 0) .names _n50b _n516 _n51a .def 0 1 1 1 .names _n51a _n51b - =_n51a .names _n51d<0> 1 .names _n51d<1> 0 .names locations<*1*><0> locations<*2*><0> _n51d<1> _n51d<0> _n51e<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n51d<1> _n51d<0> _n51e<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n51f<0> 1 .names _n51f<1> 0 # locations [1] + 1 .names _n521 0 .names _n51e<0> _n51f<0> _n521 _n520<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n523 0 .names _n51e<0> _n51f<0> _n523 _n522 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names _n51e<1> _n51f<1> _n522 _n520<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .mv _n524 2 ON OFF .names up_floor_buttons$random_up$raw_n4e9<*0*> up_floor_buttons$random_up$raw_n4e9<*1*> up_floor_buttons$random_up$raw_n4e9<*2*> _n520<1> _n520<0> _n524 - - - 0 0 =up_floor_buttons$random_up$raw_n4e9<*0*> - - - 0 1 =up_floor_buttons$random_up$raw_n4e9<*1*> - - - 1 0 =up_floor_buttons$random_up$raw_n4e9<*2*> - - - 1 1 ON .mv _n525 2 ON OFF .names _n525 ON # up_floor_buttons [locations [1] + 1] == 0 .names _n524 _n525 _n51c .def 0 - =_n524 1 .names _n51c _n526 - =_n51c # up_floor_buttons [locations [1] + 1] = 1 .mv up_floor_buttons$_n51c_n527$true<*0*> 2 ON OFF .mv up_floor_buttons$_n51c_n527$true<*1*> 2 ON OFF .mv up_floor_buttons$_n51c_n527$true<*2*> 2 ON OFF .names _n528<0> 1 .names _n528<1> 0 .names locations<*1*><0> locations<*2*><0> _n528<1> _n528<0> _n529<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n528<1> _n528<0> _n529<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n52a<0> 1 .names _n52a<1> 0 # locations [1] + 1 .names _n52c 0 .names _n529<0> _n52a<0> _n52c _n52b<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n52e 0 .names _n529<0> _n52a<0> _n52e _n52d .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names _n529<1> _n52a<1> _n52d _n52b<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .mv _n52f 2 ON OFF .names _n530<0> 0 .names _n530<1> 0 .names _n530<0> _n52b<0> _n532<0> .def 0 0 1 1 1 0 1 .names _n530<1> _n52b<1> _n532<1> .def 0 0 1 1 1 0 1 .names _n532<0> _n532<1> _n533 .def 1 0 0 0 .names _n533 _n531 0 1 1 0 .names _n52f up_floor_buttons$random_up$raw_n4e9<*0*> _n531 up_floor_buttons$_n51c_n527$true<*0*> - - 0 =up_floor_buttons$random_up$raw_n4e9<*0*> - - 1 =_n52f .names _n534<0> 1 .names _n534<1> 0 .names _n534<0> _n52b<0> _n536<0> .def 0 0 1 1 1 0 1 .names _n534<1> _n52b<1> _n536<1> .def 0 0 1 1 1 0 1 .names _n536<0> _n536<1> _n537 .def 1 0 0 0 .names _n537 _n535 0 1 1 0 .names _n52f up_floor_buttons$random_up$raw_n4e9<*1*> _n535 up_floor_buttons$_n51c_n527$true<*1*> - - 0 =up_floor_buttons$random_up$raw_n4e9<*1*> - - 1 =_n52f .names _n538<0> 0 .names _n538<1> 1 .names _n538<0> _n52b<0> _n53a<0> .def 0 0 1 1 1 0 1 .names _n538<1> _n52b<1> _n53a<1> .def 0 0 1 1 1 0 1 .names _n53a<0> _n53a<1> _n53b .def 1 0 0 0 .names _n53b _n539 0 1 1 0 .names _n52f up_floor_buttons$random_up$raw_n4e9<*2*> _n539 up_floor_buttons$_n51c_n527$true<*2*> - - 0 =up_floor_buttons$random_up$raw_n4e9<*2*> - - 1 =_n52f .names _n52f OFF # if/else (up_floor_buttons [locations [1] + 1] == 0) .mv up_floor_buttons$_n51c$raw_n53d<*0*> 2 ON OFF .mv up_floor_buttons$_n51c$raw_n53d<*1*> 2 ON OFF .mv up_floor_buttons$_n51c$raw_n53d<*2*> 2 ON OFF .names up_floor_buttons$_n51c_n527$true<*0*> up_floor_buttons$random_up$raw_n4e9<*0*> _n51c up_floor_buttons$_n51c$raw_n53d<*0*> - - 0 =up_floor_buttons$random_up$raw_n4e9<*0*> - - 1 =up_floor_buttons$_n51c_n527$true<*0*> .names up_floor_buttons$_n51c_n527$true<*1*> up_floor_buttons$random_up$raw_n4e9<*1*> _n51c up_floor_buttons$_n51c$raw_n53d<*1*> - - 0 =up_floor_buttons$random_up$raw_n4e9<*1*> - - 1 =up_floor_buttons$_n51c_n527$true<*1*> .names up_floor_buttons$_n51c_n527$true<*2*> up_floor_buttons$random_up$raw_n4e9<*2*> _n51c up_floor_buttons$_n51c$raw_n53d<*2*> - - 0 =up_floor_buttons$random_up$raw_n4e9<*2*> - - 1 =up_floor_buttons$_n51c_n527$true<*2*> # if/else ((locations [1] != 3 - 1) && (direction [1] == 0)) .mv up_floor_buttons$_n51a$raw_n545<*0*> 2 ON OFF .mv up_floor_buttons$_n51a$raw_n545<*1*> 2 ON OFF .mv up_floor_buttons$_n51a$raw_n545<*2*> 2 ON OFF .names up_floor_buttons$_n51c$raw_n53d<*0*> up_floor_buttons$random_up$raw_n4e9<*0*> _n51a up_floor_buttons$_n51a$raw_n545<*0*> - - 0 =up_floor_buttons$random_up$raw_n4e9<*0*> - - 1 =up_floor_buttons$_n51c$raw_n53d<*0*> .names up_floor_buttons$_n51c$raw_n53d<*1*> up_floor_buttons$random_up$raw_n4e9<*1*> _n51a up_floor_buttons$_n51a$raw_n545<*1*> - - 0 =up_floor_buttons$random_up$raw_n4e9<*1*> - - 1 =up_floor_buttons$_n51c$raw_n53d<*1*> .names up_floor_buttons$_n51c$raw_n53d<*2*> up_floor_buttons$random_up$raw_n4e9<*2*> _n51a up_floor_buttons$_n51a$raw_n545<*2*> - - 0 =up_floor_buttons$random_up$raw_n4e9<*2*> - - 1 =up_floor_buttons$_n51c$raw_n53d<*2*> .names _n54d<0> 1 .names _n54d<1> 0 .names locations<*1*><0> locations<*2*><0> _n54d<1> _n54d<0> _n54e<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n54d<1> _n54d<0> _n54e<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n54f<0> 0 .names _n54f<1> 0 # locations [1] != 0 .names _n54e<0> _n54f<0> _n550<0> .def 0 0 1 1 1 0 1 .names _n54e<1> _n54f<1> _n550<1> .def 0 0 1 1 1 0 1 .names _n550<0> _n550<1> _n551 .def 1 0 0 0 .names _n551 _n54c - =_n551 .names _n553<0> 1 .names _n553<1> 0 .mv _n554 2 UP DOWN .names direction<*1*> direction<*2*> _n553<1> _n553<0> _n554 - - 0 0 UP - - 0 1 =direction<*1*> - - 1 0 =direction<*2*> - - 1 1 UP .mv _n555 2 UP DOWN .names _n555 DOWN # direction [1] == 1 .names _n554 _n555 _n552 .def 0 - =_n554 1 # (locations [1] != 0) && (direction [1] == 1) .names _n54c _n552 _n556 .def 0 1 1 1 .names _n556 _n557 - =_n556 .names _n559<0> 1 .names _n559<1> 0 .names locations<*1*><0> locations<*2*><0> _n559<1> _n559<0> _n55a<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n559<1> _n559<0> _n55a<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n55b<0> 1 .names _n55b<1> 0 # locations [1] - 1 .names _n55d 0 .names _n55a<0> _n55b<0> _n55d _n55c<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n55f 0 .names _n55a<0> _n55b<0> _n55f _n55e .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _n55a<1> _n55b<1> _n55e _n55c<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .mv _n560 2 ON OFF .names down_floor_buttons$random_down$raw_n502<*0*> down_floor_buttons$random_down$raw_n502<*1*> down_floor_buttons$random_down$raw_n502<*2*> _n55c<1> _n55c<0> _n560 - - - 0 0 =down_floor_buttons$random_down$raw_n502<*0*> - - - 0 1 =down_floor_buttons$random_down$raw_n502<*1*> - - - 1 0 =down_floor_buttons$random_down$raw_n502<*2*> - - - 1 1 ON .mv _n561 2 ON OFF .names _n561 ON # down_floor_buttons [locations [1] - 1] == 0 .names _n560 _n561 _n558 .def 0 - =_n560 1 .names _n558 _n562 - =_n558 # down_floor_buttons [locations [1] - 1] = 1 .mv down_floor_buttons$_n558_n563$true<*0*> 2 ON OFF .mv down_floor_buttons$_n558_n563$true<*1*> 2 ON OFF .mv down_floor_buttons$_n558_n563$true<*2*> 2 ON OFF .names _n564<0> 1 .names _n564<1> 0 .names locations<*1*><0> locations<*2*><0> _n564<1> _n564<0> _n565<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n564<1> _n564<0> _n565<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n566<0> 1 .names _n566<1> 0 # locations [1] - 1 .names _n568 0 .names _n565<0> _n566<0> _n568 _n567<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n56a 0 .names _n565<0> _n566<0> _n56a _n569 .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _n565<1> _n566<1> _n569 _n567<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .mv _n56b 2 ON OFF .names _n56c<0> 0 .names _n56c<1> 0 .names _n56c<0> _n567<0> _n56e<0> .def 0 0 1 1 1 0 1 .names _n56c<1> _n567<1> _n56e<1> .def 0 0 1 1 1 0 1 .names _n56e<0> _n56e<1> _n56f .def 1 0 0 0 .names _n56f _n56d 0 1 1 0 .names _n56b down_floor_buttons$random_down$raw_n502<*0*> _n56d down_floor_buttons$_n558_n563$true<*0*> - - 0 =down_floor_buttons$random_down$raw_n502<*0*> - - 1 =_n56b .names _n570<0> 1 .names _n570<1> 0 .names _n570<0> _n567<0> _n572<0> .def 0 0 1 1 1 0 1 .names _n570<1> _n567<1> _n572<1> .def 0 0 1 1 1 0 1 .names _n572<0> _n572<1> _n573 .def 1 0 0 0 .names _n573 _n571 0 1 1 0 .names _n56b down_floor_buttons$random_down$raw_n502<*1*> _n571 down_floor_buttons$_n558_n563$true<*1*> - - 0 =down_floor_buttons$random_down$raw_n502<*1*> - - 1 =_n56b .names _n574<0> 0 .names _n574<1> 1 .names _n574<0> _n567<0> _n576<0> .def 0 0 1 1 1 0 1 .names _n574<1> _n567<1> _n576<1> .def 0 0 1 1 1 0 1 .names _n576<0> _n576<1> _n577 .def 1 0 0 0 .names _n577 _n575 0 1 1 0 .names _n56b down_floor_buttons$random_down$raw_n502<*2*> _n575 down_floor_buttons$_n558_n563$true<*2*> - - 0 =down_floor_buttons$random_down$raw_n502<*2*> - - 1 =_n56b .names _n56b OFF # if/else (down_floor_buttons [locations [1] - 1] == 0) .mv down_floor_buttons$_n558$raw_n578<*0*> 2 ON OFF .mv down_floor_buttons$_n558$raw_n578<*1*> 2 ON OFF .mv down_floor_buttons$_n558$raw_n578<*2*> 2 ON OFF .names down_floor_buttons$_n558_n563$true<*0*> down_floor_buttons$random_down$raw_n502<*0*> _n558 down_floor_buttons$_n558$raw_n578<*0*> - - 0 =down_floor_buttons$random_down$raw_n502<*0*> - - 1 =down_floor_buttons$_n558_n563$true<*0*> .names down_floor_buttons$_n558_n563$true<*1*> down_floor_buttons$random_down$raw_n502<*1*> _n558 down_floor_buttons$_n558$raw_n578<*1*> - - 0 =down_floor_buttons$random_down$raw_n502<*1*> - - 1 =down_floor_buttons$_n558_n563$true<*1*> .names down_floor_buttons$_n558_n563$true<*2*> down_floor_buttons$random_down$raw_n502<*2*> _n558 down_floor_buttons$_n558$raw_n578<*2*> - - 0 =down_floor_buttons$random_down$raw_n502<*2*> - - 1 =down_floor_buttons$_n558_n563$true<*2*> # if/else ((locations [1] != 0) && (direction [1] == 1)) .mv down_floor_buttons$_n556$raw_n580<*0*> 2 ON OFF .mv down_floor_buttons$_n556$raw_n580<*1*> 2 ON OFF .mv down_floor_buttons$_n556$raw_n580<*2*> 2 ON OFF .names down_floor_buttons$_n558$raw_n578<*0*> down_floor_buttons$random_down$raw_n502<*0*> _n556 down_floor_buttons$_n556$raw_n580<*0*> - - 0 =down_floor_buttons$random_down$raw_n502<*0*> - - 1 =down_floor_buttons$_n558$raw_n578<*0*> .names down_floor_buttons$_n558$raw_n578<*1*> down_floor_buttons$random_down$raw_n502<*1*> _n556 down_floor_buttons$_n556$raw_n580<*1*> - - 0 =down_floor_buttons$random_down$raw_n502<*1*> - - 1 =down_floor_buttons$_n558$raw_n578<*1*> .names down_floor_buttons$_n558$raw_n578<*2*> down_floor_buttons$random_down$raw_n502<*2*> _n556 down_floor_buttons$_n556$raw_n580<*2*> - - 0 =down_floor_buttons$random_down$raw_n502<*2*> - - 1 =down_floor_buttons$_n558$raw_n578<*2*> .names _n589<0> 0 .names _n589<1> 1 .names locations<*1*><0> locations<*2*><0> _n589<1> _n589<0> _n58a<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n589<1> _n589<0> _n58a<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n58b<0> 1 .names _n58b<1> 1 .names _n58c<0> 1 .names _n58c<1> 0 # 3 - 1 .names _n58e 0 .names _n58b<0> _n58c<0> _n58e _n58d<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n590 0 .names _n58b<0> _n58c<0> _n590 _n58f .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _n58b<1> _n58c<1> _n58f _n58d<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # locations [2] != 3 - 1 .names _n58a<0> _n58d<0> _n591<0> .def 0 0 1 1 1 0 1 .names _n58a<1> _n58d<1> _n591<1> .def 0 0 1 1 1 0 1 .names _n591<0> _n591<1> _n592 .def 1 0 0 0 .names _n592 _n588 - =_n592 .names _n594<0> 0 .names _n594<1> 1 .mv _n595 2 UP DOWN .names direction<*1*> direction<*2*> _n594<1> _n594<0> _n595 - - 0 0 UP - - 0 1 =direction<*1*> - - 1 0 =direction<*2*> - - 1 1 UP .mv _n596 2 UP DOWN .names _n596 UP # direction [2] == 0 .names _n595 _n596 _n593 .def 0 - =_n595 1 # (locations [2] != 3 - 1) && (direction [2] == 0) .names _n588 _n593 _n597 .def 0 1 1 1 .names _n597 _n598 - =_n597 .names _n59a<0> 0 .names _n59a<1> 1 .names locations<*1*><0> locations<*2*><0> _n59a<1> _n59a<0> _n59b<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n59a<1> _n59a<0> _n59b<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n59c<0> 1 .names _n59c<1> 0 # locations [2] + 1 .names _n59e 0 .names _n59b<0> _n59c<0> _n59e _n59d<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n5a0 0 .names _n59b<0> _n59c<0> _n5a0 _n59f .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names _n59b<1> _n59c<1> _n59f _n59d<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .mv _n5a1 2 ON OFF .names up_floor_buttons$_n51a$raw_n545<*0*> up_floor_buttons$_n51a$raw_n545<*1*> up_floor_buttons$_n51a$raw_n545<*2*> _n59d<1> _n59d<0> _n5a1 - - - 0 0 =up_floor_buttons$_n51a$raw_n545<*0*> - - - 0 1 =up_floor_buttons$_n51a$raw_n545<*1*> - - - 1 0 =up_floor_buttons$_n51a$raw_n545<*2*> - - - 1 1 ON .mv _n5a2 2 ON OFF .names _n5a2 ON # up_floor_buttons [locations [2] + 1] == 0 .names _n5a1 _n5a2 _n599 .def 0 - =_n5a1 1 .names _n599 _n5a3 - =_n599 # up_floor_buttons [locations [2] + 1] = 1 .mv up_floor_buttons$_n599_n5a4$true<*0*> 2 ON OFF .mv up_floor_buttons$_n599_n5a4$true<*1*> 2 ON OFF .mv up_floor_buttons$_n599_n5a4$true<*2*> 2 ON OFF .names _n5a5<0> 0 .names _n5a5<1> 1 .names locations<*1*><0> locations<*2*><0> _n5a5<1> _n5a5<0> _n5a6<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n5a5<1> _n5a5<0> _n5a6<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n5a7<0> 1 .names _n5a7<1> 0 # locations [2] + 1 .names _n5a9 0 .names _n5a6<0> _n5a7<0> _n5a9 _n5a8<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n5ab 0 .names _n5a6<0> _n5a7<0> _n5ab _n5aa .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names _n5a6<1> _n5a7<1> _n5aa _n5a8<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .mv _n5ac 2 ON OFF .names _n5ad<0> 0 .names _n5ad<1> 0 .names _n5ad<0> _n5a8<0> _n5af<0> .def 0 0 1 1 1 0 1 .names _n5ad<1> _n5a8<1> _n5af<1> .def 0 0 1 1 1 0 1 .names _n5af<0> _n5af<1> _n5b0 .def 1 0 0 0 .names _n5b0 _n5ae 0 1 1 0 .names _n5ac up_floor_buttons$_n51a$raw_n545<*0*> _n5ae up_floor_buttons$_n599_n5a4$true<*0*> - - 0 =up_floor_buttons$_n51a$raw_n545<*0*> - - 1 =_n5ac .names _n5b1<0> 1 .names _n5b1<1> 0 .names _n5b1<0> _n5a8<0> _n5b3<0> .def 0 0 1 1 1 0 1 .names _n5b1<1> _n5a8<1> _n5b3<1> .def 0 0 1 1 1 0 1 .names _n5b3<0> _n5b3<1> _n5b4 .def 1 0 0 0 .names _n5b4 _n5b2 0 1 1 0 .names _n5ac up_floor_buttons$_n51a$raw_n545<*1*> _n5b2 up_floor_buttons$_n599_n5a4$true<*1*> - - 0 =up_floor_buttons$_n51a$raw_n545<*1*> - - 1 =_n5ac .names _n5b5<0> 0 .names _n5b5<1> 1 .names _n5b5<0> _n5a8<0> _n5b7<0> .def 0 0 1 1 1 0 1 .names _n5b5<1> _n5a8<1> _n5b7<1> .def 0 0 1 1 1 0 1 .names _n5b7<0> _n5b7<1> _n5b8 .def 1 0 0 0 .names _n5b8 _n5b6 0 1 1 0 .names _n5ac up_floor_buttons$_n51a$raw_n545<*2*> _n5b6 up_floor_buttons$_n599_n5a4$true<*2*> - - 0 =up_floor_buttons$_n51a$raw_n545<*2*> - - 1 =_n5ac .names _n5ac OFF # if/else (up_floor_buttons [locations [2] + 1] == 0) .mv up_floor_buttons$_n599$raw_n5ba<*0*> 2 ON OFF .mv up_floor_buttons$_n599$raw_n5ba<*1*> 2 ON OFF .mv up_floor_buttons$_n599$raw_n5ba<*2*> 2 ON OFF .names up_floor_buttons$_n599_n5a4$true<*0*> up_floor_buttons$_n51a$raw_n545<*0*> _n599 up_floor_buttons$_n599$raw_n5ba<*0*> - - 0 =up_floor_buttons$_n51a$raw_n545<*0*> - - 1 =up_floor_buttons$_n599_n5a4$true<*0*> .names up_floor_buttons$_n599_n5a4$true<*1*> up_floor_buttons$_n51a$raw_n545<*1*> _n599 up_floor_buttons$_n599$raw_n5ba<*1*> - - 0 =up_floor_buttons$_n51a$raw_n545<*1*> - - 1 =up_floor_buttons$_n599_n5a4$true<*1*> .names up_floor_buttons$_n599_n5a4$true<*2*> up_floor_buttons$_n51a$raw_n545<*2*> _n599 up_floor_buttons$_n599$raw_n5ba<*2*> - - 0 =up_floor_buttons$_n51a$raw_n545<*2*> - - 1 =up_floor_buttons$_n599_n5a4$true<*2*> # if/else ((locations [2] != 3 - 1) && (direction [2] == 0)) .mv up_floor_buttons$_n597$raw_n5c2<*0*> 2 ON OFF .mv up_floor_buttons$_n597$raw_n5c2<*1*> 2 ON OFF .mv up_floor_buttons$_n597$raw_n5c2<*2*> 2 ON OFF .names up_floor_buttons$_n599$raw_n5ba<*0*> up_floor_buttons$_n51a$raw_n545<*0*> _n597 up_floor_buttons$_n597$raw_n5c2<*0*> - - 0 =up_floor_buttons$_n51a$raw_n545<*0*> - - 1 =up_floor_buttons$_n599$raw_n5ba<*0*> .names up_floor_buttons$_n599$raw_n5ba<*1*> up_floor_buttons$_n51a$raw_n545<*1*> _n597 up_floor_buttons$_n597$raw_n5c2<*1*> - - 0 =up_floor_buttons$_n51a$raw_n545<*1*> - - 1 =up_floor_buttons$_n599$raw_n5ba<*1*> .names up_floor_buttons$_n599$raw_n5ba<*2*> up_floor_buttons$_n51a$raw_n545<*2*> _n597 up_floor_buttons$_n597$raw_n5c2<*2*> - - 0 =up_floor_buttons$_n51a$raw_n545<*2*> - - 1 =up_floor_buttons$_n599$raw_n5ba<*2*> .names _n5ca<0> 0 .names _n5ca<1> 1 .names locations<*1*><0> locations<*2*><0> _n5ca<1> _n5ca<0> _n5cb<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n5ca<1> _n5ca<0> _n5cb<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n5cc<0> 0 .names _n5cc<1> 0 # locations [2] != 0 .names _n5cb<0> _n5cc<0> _n5cd<0> .def 0 0 1 1 1 0 1 .names _n5cb<1> _n5cc<1> _n5cd<1> .def 0 0 1 1 1 0 1 .names _n5cd<0> _n5cd<1> _n5ce .def 1 0 0 0 .names _n5ce _n5c9 - =_n5ce .names _n5d0<0> 0 .names _n5d0<1> 1 .mv _n5d1 2 UP DOWN .names direction<*1*> direction<*2*> _n5d0<1> _n5d0<0> _n5d1 - - 0 0 UP - - 0 1 =direction<*1*> - - 1 0 =direction<*2*> - - 1 1 UP .mv _n5d2 2 UP DOWN .names _n5d2 DOWN # direction [2] == 1 .names _n5d1 _n5d2 _n5cf .def 0 - =_n5d1 1 # (locations [2] != 0) && (direction [2] == 1) .names _n5c9 _n5cf _n5d3 .def 0 1 1 1 .names _n5d3 _n5d4 - =_n5d3 .names _n5d6<0> 0 .names _n5d6<1> 1 .names locations<*1*><0> locations<*2*><0> _n5d6<1> _n5d6<0> _n5d7<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n5d6<1> _n5d6<0> _n5d7<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n5d8<0> 1 .names _n5d8<1> 0 # locations [2] - 1 .names _n5da 0 .names _n5d7<0> _n5d8<0> _n5da _n5d9<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n5dc 0 .names _n5d7<0> _n5d8<0> _n5dc _n5db .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _n5d7<1> _n5d8<1> _n5db _n5d9<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .mv _n5dd 2 ON OFF .names down_floor_buttons$_n556$raw_n580<*0*> down_floor_buttons$_n556$raw_n580<*1*> down_floor_buttons$_n556$raw_n580<*2*> _n5d9<1> _n5d9<0> _n5dd - - - 0 0 =down_floor_buttons$_n556$raw_n580<*0*> - - - 0 1 =down_floor_buttons$_n556$raw_n580<*1*> - - - 1 0 =down_floor_buttons$_n556$raw_n580<*2*> - - - 1 1 ON .mv _n5de 2 ON OFF .names _n5de ON # down_floor_buttons [locations [2] - 1] == 0 .names _n5dd _n5de _n5d5 .def 0 - =_n5dd 1 .names _n5d5 _n5df - =_n5d5 # down_floor_buttons [locations [2] - 1] = 1 .mv down_floor_buttons$_n5d5_n5e0$true<*0*> 2 ON OFF .mv down_floor_buttons$_n5d5_n5e0$true<*1*> 2 ON OFF .mv down_floor_buttons$_n5d5_n5e0$true<*2*> 2 ON OFF .names _n5e1<0> 0 .names _n5e1<1> 1 .names locations<*1*><0> locations<*2*><0> _n5e1<1> _n5e1<0> _n5e2<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n5e1<1> _n5e1<0> _n5e2<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n5e3<0> 1 .names _n5e3<1> 0 # locations [2] - 1 .names _n5e5 0 .names _n5e2<0> _n5e3<0> _n5e5 _n5e4<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n5e7 0 .names _n5e2<0> _n5e3<0> _n5e7 _n5e6 .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _n5e2<1> _n5e3<1> _n5e6 _n5e4<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .mv _n5e8 2 ON OFF .names _n5e9<0> 0 .names _n5e9<1> 0 .names _n5e9<0> _n5e4<0> _n5eb<0> .def 0 0 1 1 1 0 1 .names _n5e9<1> _n5e4<1> _n5eb<1> .def 0 0 1 1 1 0 1 .names _n5eb<0> _n5eb<1> _n5ec .def 1 0 0 0 .names _n5ec _n5ea 0 1 1 0 .names _n5e8 down_floor_buttons$_n556$raw_n580<*0*> _n5ea down_floor_buttons$_n5d5_n5e0$true<*0*> - - 0 =down_floor_buttons$_n556$raw_n580<*0*> - - 1 =_n5e8 .names _n5ed<0> 1 .names _n5ed<1> 0 .names _n5ed<0> _n5e4<0> _n5ef<0> .def 0 0 1 1 1 0 1 .names _n5ed<1> _n5e4<1> _n5ef<1> .def 0 0 1 1 1 0 1 .names _n5ef<0> _n5ef<1> _n5f0 .def 1 0 0 0 .names _n5f0 _n5ee 0 1 1 0 .names _n5e8 down_floor_buttons$_n556$raw_n580<*1*> _n5ee down_floor_buttons$_n5d5_n5e0$true<*1*> - - 0 =down_floor_buttons$_n556$raw_n580<*1*> - - 1 =_n5e8 .names _n5f1<0> 0 .names _n5f1<1> 1 .names _n5f1<0> _n5e4<0> _n5f3<0> .def 0 0 1 1 1 0 1 .names _n5f1<1> _n5e4<1> _n5f3<1> .def 0 0 1 1 1 0 1 .names _n5f3<0> _n5f3<1> _n5f4 .def 1 0 0 0 .names _n5f4 _n5f2 0 1 1 0 .names _n5e8 down_floor_buttons$_n556$raw_n580<*2*> _n5f2 down_floor_buttons$_n5d5_n5e0$true<*2*> - - 0 =down_floor_buttons$_n556$raw_n580<*2*> - - 1 =_n5e8 .names _n5e8 OFF # if/else (down_floor_buttons [locations [2] - 1] == 0) .mv down_floor_buttons$_n5d5$raw_n5f5<*0*> 2 ON OFF .mv down_floor_buttons$_n5d5$raw_n5f5<*1*> 2 ON OFF .mv down_floor_buttons$_n5d5$raw_n5f5<*2*> 2 ON OFF .names down_floor_buttons$_n5d5_n5e0$true<*0*> down_floor_buttons$_n556$raw_n580<*0*> _n5d5 down_floor_buttons$_n5d5$raw_n5f5<*0*> - - 0 =down_floor_buttons$_n556$raw_n580<*0*> - - 1 =down_floor_buttons$_n5d5_n5e0$true<*0*> .names down_floor_buttons$_n5d5_n5e0$true<*1*> down_floor_buttons$_n556$raw_n580<*1*> _n5d5 down_floor_buttons$_n5d5$raw_n5f5<*1*> - - 0 =down_floor_buttons$_n556$raw_n580<*1*> - - 1 =down_floor_buttons$_n5d5_n5e0$true<*1*> .names down_floor_buttons$_n5d5_n5e0$true<*2*> down_floor_buttons$_n556$raw_n580<*2*> _n5d5 down_floor_buttons$_n5d5$raw_n5f5<*2*> - - 0 =down_floor_buttons$_n556$raw_n580<*2*> - - 1 =down_floor_buttons$_n5d5_n5e0$true<*2*> # if/else ((locations [2] != 0) && (direction [2] == 1)) .mv down_floor_buttons$_n5d3$raw_n5fd<*0*> 2 ON OFF .mv down_floor_buttons$_n5d3$raw_n5fd<*1*> 2 ON OFF .mv down_floor_buttons$_n5d3$raw_n5fd<*2*> 2 ON OFF .names down_floor_buttons$_n5d5$raw_n5f5<*0*> down_floor_buttons$_n556$raw_n580<*0*> _n5d3 down_floor_buttons$_n5d3$raw_n5fd<*0*> - - 0 =down_floor_buttons$_n556$raw_n580<*0*> - - 1 =down_floor_buttons$_n5d5$raw_n5f5<*0*> .names down_floor_buttons$_n5d5$raw_n5f5<*1*> down_floor_buttons$_n556$raw_n580<*1*> _n5d3 down_floor_buttons$_n5d3$raw_n5fd<*1*> - - 0 =down_floor_buttons$_n556$raw_n580<*1*> - - 1 =down_floor_buttons$_n5d5$raw_n5f5<*1*> .names down_floor_buttons$_n5d5$raw_n5f5<*2*> down_floor_buttons$_n556$raw_n580<*2*> _n5d3 down_floor_buttons$_n5d3$raw_n5fd<*2*> - - 0 =down_floor_buttons$_n556$raw_n580<*2*> - - 1 =down_floor_buttons$_n5d5$raw_n5f5<*2*> .names _n606<0> 1 .names _n606<1> 0 .names locations<*1*><0> locations<*2*><0> _n606<1> _n606<0> _n607<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n606<1> _n606<0> _n607<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n608<0> 1 .names _n608<1> 1 .names _n609<0> 1 .names _n609<1> 0 # 3 - 1 .names _n60b 0 .names _n608<0> _n609<0> _n60b _n60a<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n60d 0 .names _n608<0> _n609<0> _n60d _n60c .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _n608<1> _n609<1> _n60c _n60a<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # locations [1] == 3 - 1 .names _n607<0> _n60a<0> _n60e<0> .def 0 0 1 1 1 0 1 .names _n607<1> _n60a<1> _n60e<1> .def 0 0 1 1 1 0 1 .names _n60e<0> _n60e<1> _n60f .def 1 0 0 0 .names _n60f _n605 0 1 1 0 .names _n605 _n610 - =_n605 # direction [1] = 1 .mv direction$_n605_n611$true<*1*> 2 UP DOWN .mv direction$_n605_n611$true<*2*> 2 UP DOWN .mv _n612 2 UP DOWN .names _n613<0> 1 .names _n613<1> 0 .names _n614<0> 1 .names _n614<1> 0 .names _n614<0> _n613<0> _n616<0> .def 0 0 1 1 1 0 1 .names _n614<1> _n613<1> _n616<1> .def 0 0 1 1 1 0 1 .names _n616<0> _n616<1> _n617 .def 1 0 0 0 .names _n617 _n615 0 1 1 0 .names _n612 direction<*1*> _n615 direction$_n605_n611$true<*1*> - - 0 =direction<*1*> - - 1 =_n612 .names _n618<0> 0 .names _n618<1> 1 .names _n618<0> _n613<0> _n61a<0> .def 0 0 1 1 1 0 1 .names _n618<1> _n613<1> _n61a<1> .def 0 0 1 1 1 0 1 .names _n61a<0> _n61a<1> _n61b .def 1 0 0 0 .names _n61b _n619 0 1 1 0 .names _n612 direction<*2*> _n619 direction$_n605_n611$true<*2*> - - 0 =direction<*2*> - - 1 =_n612 .names _n612 DOWN # if/else (locations [1] == 3 - 1) .mv direction$_n605$raw_n61e<*1*> 2 UP DOWN .mv direction$_n605$raw_n61e<*2*> 2 UP DOWN .names direction$_n605_n611$true<*1*> direction<*1*> _n605 direction$_n605$raw_n61e<*1*> - - 0 =direction<*1*> - - 1 =direction$_n605_n611$true<*1*> .names direction$_n605_n611$true<*2*> direction<*2*> _n605 direction$_n605$raw_n61e<*2*> - - 0 =direction<*2*> - - 1 =direction$_n605_n611$true<*2*> .names _n620<0> 1 .names _n620<1> 0 .names locations<*1*><0> locations<*2*><0> _n620<1> _n620<0> _n621<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n620<1> _n620<0> _n621<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n622<0> 0 .names _n622<1> 0 # locations [1] == 0 .names _n621<0> _n622<0> _n623<0> .def 0 0 1 1 1 0 1 .names _n621<1> _n622<1> _n623<1> .def 0 0 1 1 1 0 1 .names _n623<0> _n623<1> _n624 .def 1 0 0 0 .names _n624 _n61f 0 1 1 0 .names _n61f _n625 - =_n61f # direction [1] = 0 .mv direction$_n61f_n626$true<*1*> 2 UP DOWN .mv direction$_n61f_n626$true<*2*> 2 UP DOWN .mv _n627 2 UP DOWN .names _n628<0> 1 .names _n628<1> 0 .names _n629<0> 1 .names _n629<1> 0 .names _n629<0> _n628<0> _n62b<0> .def 0 0 1 1 1 0 1 .names _n629<1> _n628<1> _n62b<1> .def 0 0 1 1 1 0 1 .names _n62b<0> _n62b<1> _n62c .def 1 0 0 0 .names _n62c _n62a 0 1 1 0 .names _n627 direction$_n605$raw_n61e<*1*> _n62a direction$_n61f_n626$true<*1*> - - 0 =direction$_n605$raw_n61e<*1*> - - 1 =_n627 .names _n62d<0> 0 .names _n62d<1> 1 .names _n62d<0> _n628<0> _n62f<0> .def 0 0 1 1 1 0 1 .names _n62d<1> _n628<1> _n62f<1> .def 0 0 1 1 1 0 1 .names _n62f<0> _n62f<1> _n630 .def 1 0 0 0 .names _n630 _n62e 0 1 1 0 .names _n627 direction$_n605$raw_n61e<*2*> _n62e direction$_n61f_n626$true<*2*> - - 0 =direction$_n605$raw_n61e<*2*> - - 1 =_n627 .names _n627 UP # if/else (locations [1] == 0) .mv direction$_n61f$raw_n631<*1*> 2 UP DOWN .mv direction$_n61f$raw_n631<*2*> 2 UP DOWN .names direction$_n61f_n626$true<*1*> direction$_n605$raw_n61e<*1*> _n61f direction$_n61f$raw_n631<*1*> - - 0 =direction$_n605$raw_n61e<*1*> - - 1 =direction$_n61f_n626$true<*1*> .names direction$_n61f_n626$true<*2*> direction$_n605$raw_n61e<*2*> _n61f direction$_n61f$raw_n631<*2*> - - 0 =direction$_n605$raw_n61e<*2*> - - 1 =direction$_n61f_n626$true<*2*> .names inc<1> _n636 .def 1 0 0 .names _n636 _n635 - =_n636 # locations [1] = locations [1] + 1 .names _n639<0> 1 .names _n639<1> 0 .names _n63a<0> 1 .names _n63a<1> 0 .names _n63a<0> _n639<0> _n63c<0> .def 0 0 1 1 1 0 1 .names _n63a<1> _n639<1> _n63c<1> .def 0 0 1 1 1 0 1 .names _n63c<0> _n63c<1> _n63d .def 1 0 0 0 .names _n63d _n63b 0 1 1 0 .names _n638<0> locations<*1*><0> _n63b locations$inc_n637$true<*1*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n638<1> locations<*1*><1> _n63b locations$inc_n637$true<*1*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n640<0> 0 .names _n640<1> 1 .names _n640<0> _n639<0> _n642<0> .def 0 0 1 1 1 0 1 .names _n640<1> _n639<1> _n642<1> .def 0 0 1 1 1 0 1 .names _n642<0> _n642<1> _n643 .def 1 0 0 0 .names _n643 _n641 0 1 1 0 .names _n638<0> locations<*2*><0> _n641 locations$inc_n637$true<*2*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n638<1> locations<*2*><1> _n641 locations$inc_n637$true<*2*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n646<0> 1 .names _n646<1> 0 .names locations<*1*><0> locations<*2*><0> _n646<1> _n646<0> _n647<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations<*1*><1> locations<*2*><1> _n646<1> _n646<0> _n647<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n648<0> 1 .names _n648<1> 0 # locations [1] + 1 .names _n64a 0 .names _n647<0> _n648<0> _n64a _n649<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n64c 0 .names _n647<0> _n648<0> _n64c _n64b .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names _n647<1> _n648<1> _n64b _n649<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .names _n649<0> _n638<0> - =_n649<0> .names _n649<1> _n638<1> - =_n649<1> # direction [1] = 0 .mv direction$inc_n64d$true<*1*> 2 UP DOWN .mv direction$inc_n64d$true<*2*> 2 UP DOWN .mv _n64e 2 UP DOWN .names _n64f<0> 1 .names _n64f<1> 0 .names _n650<0> 1 .names _n650<1> 0 .names _n650<0> _n64f<0> _n652<0> .def 0 0 1 1 1 0 1 .names _n650<1> _n64f<1> _n652<1> .def 0 0 1 1 1 0 1 .names _n652<0> _n652<1> _n653 .def 1 0 0 0 .names _n653 _n651 0 1 1 0 .names _n64e direction$_n61f$raw_n631<*1*> _n651 direction$inc_n64d$true<*1*> - - 0 =direction$_n61f$raw_n631<*1*> - - 1 =_n64e .names _n654<0> 0 .names _n654<1> 1 .names _n654<0> _n64f<0> _n656<0> .def 0 0 1 1 1 0 1 .names _n654<1> _n64f<1> _n656<1> .def 0 0 1 1 1 0 1 .names _n656<0> _n656<1> _n657 .def 1 0 0 0 .names _n657 _n655 0 1 1 0 .names _n64e direction$_n61f$raw_n631<*2*> _n655 direction$inc_n64d$true<*2*> - - 0 =direction$_n61f$raw_n631<*2*> - - 1 =_n64e .names _n64e UP # if/else (inc [1]) .mv direction$inc$raw_n658<*1*> 2 UP DOWN .mv direction$inc$raw_n658<*2*> 2 UP DOWN .names inc<1> _n659 .def 1 0 0 .names direction$inc_n64d$true<*1*> direction$_n61f$raw_n631<*1*> _n659 direction$inc$raw_n658<*1*> - - 0 =direction$_n61f$raw_n631<*1*> - - 1 =direction$inc_n64d$true<*1*> .names direction$inc_n64d$true<*2*> direction$_n61f$raw_n631<*2*> _n659 direction$inc$raw_n658<*2*> - - 0 =direction$_n61f$raw_n631<*2*> - - 1 =direction$inc_n64d$true<*2*> .names inc<1> _n65f .def 1 0 0 .names locations$inc_n637$true<*1*><0> locations<*1*><0> _n65f locations$inc$raw_n65e<*1*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names locations$inc_n637$true<*1*><1> locations<*1*><1> _n65f locations$inc$raw_n65e<*1*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names locations$inc_n637$true<*2*><0> locations<*2*><0> _n65f locations$inc$raw_n65e<*2*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names locations$inc_n637$true<*2*><1> locations<*2*><1> _n65f locations$inc$raw_n65e<*2*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names dec<1> _n666 .def 1 0 0 .names _n666 _n665 - =_n666 # locations [1] = locations [1] - 1 .names _n669<0> 1 .names _n669<1> 0 .names _n66a<0> 1 .names _n66a<1> 0 .names _n66a<0> _n669<0> _n66c<0> .def 0 0 1 1 1 0 1 .names _n66a<1> _n669<1> _n66c<1> .def 0 0 1 1 1 0 1 .names _n66c<0> _n66c<1> _n66d .def 1 0 0 0 .names _n66d _n66b 0 1 1 0 .names _n668<0> locations$inc$raw_n65e<*1*><0> _n66b locations$dec_n667$true<*1*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n668<1> locations$inc$raw_n65e<*1*><1> _n66b locations$dec_n667$true<*1*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n670<0> 0 .names _n670<1> 1 .names _n670<0> _n669<0> _n672<0> .def 0 0 1 1 1 0 1 .names _n670<1> _n669<1> _n672<1> .def 0 0 1 1 1 0 1 .names _n672<0> _n672<1> _n673 .def 1 0 0 0 .names _n673 _n671 0 1 1 0 .names _n668<0> locations$inc$raw_n65e<*2*><0> _n671 locations$dec_n667$true<*2*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n668<1> locations$inc$raw_n65e<*2*><1> _n671 locations$dec_n667$true<*2*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n676<0> 1 .names _n676<1> 0 .names locations$inc$raw_n65e<*1*><0> locations$inc$raw_n65e<*2*><0> _n676<1> _n676<0> _n677<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations$inc$raw_n65e<*1*><1> locations$inc$raw_n65e<*2*><1> _n676<1> _n676<0> _n677<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n678<0> 1 .names _n678<1> 0 # locations [1] - 1 .names _n67a 0 .names _n677<0> _n678<0> _n67a _n679<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n67c 0 .names _n677<0> _n678<0> _n67c _n67b .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _n677<1> _n678<1> _n67b _n679<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .names _n679<0> _n668<0> - =_n679<0> .names _n679<1> _n668<1> - =_n679<1> # direction [1] = 1 .mv direction$dec_n67d$true<*1*> 2 UP DOWN .mv direction$dec_n67d$true<*2*> 2 UP DOWN .mv _n67e 2 UP DOWN .names _n67f<0> 1 .names _n67f<1> 0 .names _n680<0> 1 .names _n680<1> 0 .names _n680<0> _n67f<0> _n682<0> .def 0 0 1 1 1 0 1 .names _n680<1> _n67f<1> _n682<1> .def 0 0 1 1 1 0 1 .names _n682<0> _n682<1> _n683 .def 1 0 0 0 .names _n683 _n681 0 1 1 0 .names _n67e direction$inc$raw_n658<*1*> _n681 direction$dec_n67d$true<*1*> - - 0 =direction$inc$raw_n658<*1*> - - 1 =_n67e .names _n684<0> 0 .names _n684<1> 1 .names _n684<0> _n67f<0> _n686<0> .def 0 0 1 1 1 0 1 .names _n684<1> _n67f<1> _n686<1> .def 0 0 1 1 1 0 1 .names _n686<0> _n686<1> _n687 .def 1 0 0 0 .names _n687 _n685 0 1 1 0 .names _n67e direction$inc$raw_n658<*2*> _n685 direction$dec_n67d$true<*2*> - - 0 =direction$inc$raw_n658<*2*> - - 1 =_n67e .names _n67e DOWN # if/else (dec [1]) .mv direction$dec$raw_n688<*1*> 2 UP DOWN .mv direction$dec$raw_n688<*2*> 2 UP DOWN .names dec<1> _n689 .def 1 0 0 .names direction$dec_n67d$true<*1*> direction$inc$raw_n658<*1*> _n689 direction$dec$raw_n688<*1*> - - 0 =direction$inc$raw_n658<*1*> - - 1 =direction$dec_n67d$true<*1*> .names direction$dec_n67d$true<*2*> direction$inc$raw_n658<*2*> _n689 direction$dec$raw_n688<*2*> - - 0 =direction$inc$raw_n658<*2*> - - 1 =direction$dec_n67d$true<*2*> .names dec<1> _n68b .def 1 0 0 .names locations$dec_n667$true<*1*><0> locations$inc$raw_n65e<*1*><0> _n68b locations$dec$raw_n68a<*1*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names locations$dec_n667$true<*1*><1> locations$inc$raw_n65e<*1*><1> _n68b locations$dec$raw_n68a<*1*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names locations$dec_n667$true<*2*><0> locations$inc$raw_n65e<*2*><0> _n68b locations$dec$raw_n68a<*2*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names locations$dec_n667$true<*2*><1> locations$inc$raw_n65e<*2*><1> _n68b locations$dec$raw_n68a<*2*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n697<0> 0 .names _n697<1> 1 .names locations$dec$raw_n68a<*1*><0> locations$dec$raw_n68a<*2*><0> _n697<1> _n697<0> _n698<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations$dec$raw_n68a<*1*><1> locations$dec$raw_n68a<*2*><1> _n697<1> _n697<0> _n698<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n699<0> 1 .names _n699<1> 1 .names _n69a<0> 1 .names _n69a<1> 0 # 3 - 1 .names _n69c 0 .names _n699<0> _n69a<0> _n69c _n69b<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n69e 0 .names _n699<0> _n69a<0> _n69e _n69d .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _n699<1> _n69a<1> _n69d _n69b<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # locations [2] == 3 - 1 .names _n698<0> _n69b<0> _n69f<0> .def 0 0 1 1 1 0 1 .names _n698<1> _n69b<1> _n69f<1> .def 0 0 1 1 1 0 1 .names _n69f<0> _n69f<1> _n6a0 .def 1 0 0 0 .names _n6a0 _n696 0 1 1 0 .names _n696 _n6a1 - =_n696 # direction [2] = 1 .mv direction$_n696_n6a2$true<*1*> 2 UP DOWN .mv direction$_n696_n6a2$true<*2*> 2 UP DOWN .mv _n6a3 2 UP DOWN .names _n6a4<0> 0 .names _n6a4<1> 1 .names _n6a5<0> 1 .names _n6a5<1> 0 .names _n6a5<0> _n6a4<0> _n6a7<0> .def 0 0 1 1 1 0 1 .names _n6a5<1> _n6a4<1> _n6a7<1> .def 0 0 1 1 1 0 1 .names _n6a7<0> _n6a7<1> _n6a8 .def 1 0 0 0 .names _n6a8 _n6a6 0 1 1 0 .names _n6a3 direction$dec$raw_n688<*1*> _n6a6 direction$_n696_n6a2$true<*1*> - - 0 =direction$dec$raw_n688<*1*> - - 1 =_n6a3 .names _n6a9<0> 0 .names _n6a9<1> 1 .names _n6a9<0> _n6a4<0> _n6ab<0> .def 0 0 1 1 1 0 1 .names _n6a9<1> _n6a4<1> _n6ab<1> .def 0 0 1 1 1 0 1 .names _n6ab<0> _n6ab<1> _n6ac .def 1 0 0 0 .names _n6ac _n6aa 0 1 1 0 .names _n6a3 direction$dec$raw_n688<*2*> _n6aa direction$_n696_n6a2$true<*2*> - - 0 =direction$dec$raw_n688<*2*> - - 1 =_n6a3 .names _n6a3 DOWN # if/else (locations [2] == 3 - 1) .mv direction$_n696$raw_n6ad<*1*> 2 UP DOWN .mv direction$_n696$raw_n6ad<*2*> 2 UP DOWN .names direction$_n696_n6a2$true<*1*> direction$dec$raw_n688<*1*> _n696 direction$_n696$raw_n6ad<*1*> - - 0 =direction$dec$raw_n688<*1*> - - 1 =direction$_n696_n6a2$true<*1*> .names direction$_n696_n6a2$true<*2*> direction$dec$raw_n688<*2*> _n696 direction$_n696$raw_n6ad<*2*> - - 0 =direction$dec$raw_n688<*2*> - - 1 =direction$_n696_n6a2$true<*2*> .names _n6b6<0> 0 .names _n6b6<1> 1 .names locations$dec$raw_n68a<*1*><0> locations$dec$raw_n68a<*2*><0> _n6b6<1> _n6b6<0> _n6b7<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations$dec$raw_n68a<*1*><1> locations$dec$raw_n68a<*2*><1> _n6b6<1> _n6b6<0> _n6b7<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n6b8<0> 0 .names _n6b8<1> 0 # locations [2] == 0 .names _n6b7<0> _n6b8<0> _n6b9<0> .def 0 0 1 1 1 0 1 .names _n6b7<1> _n6b8<1> _n6b9<1> .def 0 0 1 1 1 0 1 .names _n6b9<0> _n6b9<1> _n6ba .def 1 0 0 0 .names _n6ba _n6b5 0 1 1 0 .names _n6b5 _n6bb - =_n6b5 # direction [2] = 0 .mv direction$_n6b5_n6bc$true<*1*> 2 UP DOWN .mv direction$_n6b5_n6bc$true<*2*> 2 UP DOWN .mv _n6bd 2 UP DOWN .names _n6be<0> 0 .names _n6be<1> 1 .names _n6bf<0> 1 .names _n6bf<1> 0 .names _n6bf<0> _n6be<0> _n6c1<0> .def 0 0 1 1 1 0 1 .names _n6bf<1> _n6be<1> _n6c1<1> .def 0 0 1 1 1 0 1 .names _n6c1<0> _n6c1<1> _n6c2 .def 1 0 0 0 .names _n6c2 _n6c0 0 1 1 0 .names _n6bd direction$_n696$raw_n6ad<*1*> _n6c0 direction$_n6b5_n6bc$true<*1*> - - 0 =direction$_n696$raw_n6ad<*1*> - - 1 =_n6bd .names _n6c3<0> 0 .names _n6c3<1> 1 .names _n6c3<0> _n6be<0> _n6c5<0> .def 0 0 1 1 1 0 1 .names _n6c3<1> _n6be<1> _n6c5<1> .def 0 0 1 1 1 0 1 .names _n6c5<0> _n6c5<1> _n6c6 .def 1 0 0 0 .names _n6c6 _n6c4 0 1 1 0 .names _n6bd direction$_n696$raw_n6ad<*2*> _n6c4 direction$_n6b5_n6bc$true<*2*> - - 0 =direction$_n696$raw_n6ad<*2*> - - 1 =_n6bd .names _n6bd UP # if/else (locations [2] == 0) .mv direction$_n6b5$raw_n6c7<*1*> 2 UP DOWN .mv direction$_n6b5$raw_n6c7<*2*> 2 UP DOWN .names direction$_n6b5_n6bc$true<*1*> direction$_n696$raw_n6ad<*1*> _n6b5 direction$_n6b5$raw_n6c7<*1*> - - 0 =direction$_n696$raw_n6ad<*1*> - - 1 =direction$_n6b5_n6bc$true<*1*> .names direction$_n6b5_n6bc$true<*2*> direction$_n696$raw_n6ad<*2*> _n6b5 direction$_n6b5$raw_n6c7<*2*> - - 0 =direction$_n696$raw_n6ad<*2*> - - 1 =direction$_n6b5_n6bc$true<*2*> .names inc<2> _n6d0 .def 1 0 0 .names _n6d0 _n6cf - =_n6d0 # locations [2] = locations [2] + 1 .names _n6d3<0> 0 .names _n6d3<1> 1 .names _n6d4<0> 1 .names _n6d4<1> 0 .names _n6d4<0> _n6d3<0> _n6d6<0> .def 0 0 1 1 1 0 1 .names _n6d4<1> _n6d3<1> _n6d6<1> .def 0 0 1 1 1 0 1 .names _n6d6<0> _n6d6<1> _n6d7 .def 1 0 0 0 .names _n6d7 _n6d5 0 1 1 0 .names _n6d2<0> locations$dec$raw_n68a<*1*><0> _n6d5 locations$inc_n6d1$true<*1*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n6d2<1> locations$dec$raw_n68a<*1*><1> _n6d5 locations$inc_n6d1$true<*1*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n6da<0> 0 .names _n6da<1> 1 .names _n6da<0> _n6d3<0> _n6dc<0> .def 0 0 1 1 1 0 1 .names _n6da<1> _n6d3<1> _n6dc<1> .def 0 0 1 1 1 0 1 .names _n6dc<0> _n6dc<1> _n6dd .def 1 0 0 0 .names _n6dd _n6db 0 1 1 0 .names _n6d2<0> locations$dec$raw_n68a<*2*><0> _n6db locations$inc_n6d1$true<*2*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n6d2<1> locations$dec$raw_n68a<*2*><1> _n6db locations$inc_n6d1$true<*2*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n6e0<0> 0 .names _n6e0<1> 1 .names locations$dec$raw_n68a<*1*><0> locations$dec$raw_n68a<*2*><0> _n6e0<1> _n6e0<0> _n6e1<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations$dec$raw_n68a<*1*><1> locations$dec$raw_n68a<*2*><1> _n6e0<1> _n6e0<0> _n6e1<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n6e2<0> 1 .names _n6e2<1> 0 # locations [2] + 1 .names _n6e4 0 .names _n6e1<0> _n6e2<0> _n6e4 _n6e3<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n6e6 0 .names _n6e1<0> _n6e2<0> _n6e6 _n6e5 .def 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 .names _n6e1<1> _n6e2<1> _n6e5 _n6e3<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .names _n6e3<0> _n6d2<0> - =_n6e3<0> .names _n6e3<1> _n6d2<1> - =_n6e3<1> # direction [2] = 0 .mv direction$inc_n6e7$true<*1*> 2 UP DOWN .mv direction$inc_n6e7$true<*2*> 2 UP DOWN .mv _n6e8 2 UP DOWN .names _n6e9<0> 0 .names _n6e9<1> 1 .names _n6ea<0> 1 .names _n6ea<1> 0 .names _n6ea<0> _n6e9<0> _n6ec<0> .def 0 0 1 1 1 0 1 .names _n6ea<1> _n6e9<1> _n6ec<1> .def 0 0 1 1 1 0 1 .names _n6ec<0> _n6ec<1> _n6ed .def 1 0 0 0 .names _n6ed _n6eb 0 1 1 0 .names _n6e8 direction$_n6b5$raw_n6c7<*1*> _n6eb direction$inc_n6e7$true<*1*> - - 0 =direction$_n6b5$raw_n6c7<*1*> - - 1 =_n6e8 .names _n6ee<0> 0 .names _n6ee<1> 1 .names _n6ee<0> _n6e9<0> _n6f0<0> .def 0 0 1 1 1 0 1 .names _n6ee<1> _n6e9<1> _n6f0<1> .def 0 0 1 1 1 0 1 .names _n6f0<0> _n6f0<1> _n6f1 .def 1 0 0 0 .names _n6f1 _n6ef 0 1 1 0 .names _n6e8 direction$_n6b5$raw_n6c7<*2*> _n6ef direction$inc_n6e7$true<*2*> - - 0 =direction$_n6b5$raw_n6c7<*2*> - - 1 =_n6e8 .names _n6e8 UP # if/else (inc [2]) .mv direction$inc$raw_n6f2<*1*> 2 UP DOWN .mv direction$inc$raw_n6f2<*2*> 2 UP DOWN .names inc<2> _n6f3 .def 1 0 0 .names direction$inc_n6e7$true<*1*> direction$_n6b5$raw_n6c7<*1*> _n6f3 direction$inc$raw_n6f2<*1*> - - 0 =direction$_n6b5$raw_n6c7<*1*> - - 1 =direction$inc_n6e7$true<*1*> .names direction$inc_n6e7$true<*2*> direction$_n6b5$raw_n6c7<*2*> _n6f3 direction$inc$raw_n6f2<*2*> - - 0 =direction$_n6b5$raw_n6c7<*2*> - - 1 =direction$inc_n6e7$true<*2*> .names inc<2> _n6f5 .def 1 0 0 .names locations$inc_n6d1$true<*1*><0> locations$dec$raw_n68a<*1*><0> _n6f5 locations$inc$raw_n6f4<*1*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names locations$inc_n6d1$true<*1*><1> locations$dec$raw_n68a<*1*><1> _n6f5 locations$inc$raw_n6f4<*1*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names locations$inc_n6d1$true<*2*><0> locations$dec$raw_n68a<*2*><0> _n6f5 locations$inc$raw_n6f4<*2*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names locations$inc_n6d1$true<*2*><1> locations$dec$raw_n68a<*2*><1> _n6f5 locations$inc$raw_n6f4<*2*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names dec<2> _n701 .def 1 0 0 .names _n701 _n700 - =_n701 # locations [2] = locations [2] - 1 .names _n704<0> 0 .names _n704<1> 1 .names _n705<0> 1 .names _n705<1> 0 .names _n705<0> _n704<0> _n707<0> .def 0 0 1 1 1 0 1 .names _n705<1> _n704<1> _n707<1> .def 0 0 1 1 1 0 1 .names _n707<0> _n707<1> _n708 .def 1 0 0 0 .names _n708 _n706 0 1 1 0 .names _n703<0> locations$inc$raw_n6f4<*1*><0> _n706 locations$dec_n702$true<*1*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n703<1> locations$inc$raw_n6f4<*1*><1> _n706 locations$dec_n702$true<*1*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n70b<0> 0 .names _n70b<1> 1 .names _n70b<0> _n704<0> _n70d<0> .def 0 0 1 1 1 0 1 .names _n70b<1> _n704<1> _n70d<1> .def 0 0 1 1 1 0 1 .names _n70d<0> _n70d<1> _n70e .def 1 0 0 0 .names _n70e _n70c 0 1 1 0 .names _n703<0> locations$inc$raw_n6f4<*2*><0> _n70c locations$dec_n702$true<*2*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n703<1> locations$inc$raw_n6f4<*2*><1> _n70c locations$dec_n702$true<*2*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names _n711<0> 0 .names _n711<1> 1 .names locations$inc$raw_n6f4<*1*><0> locations$inc$raw_n6f4<*2*><0> _n711<1> _n711<0> _n712<0> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names locations$inc$raw_n6f4<*1*><1> locations$inc$raw_n6f4<*2*><1> _n711<1> _n711<0> _n712<1> - - 0 0 0 - - 0 0 0 0 - 0 1 0 1 - 0 1 1 - 0 1 0 0 - 1 1 0 1 - - 1 1 0 - - 1 1 0 .names _n713<0> 1 .names _n713<1> 0 # locations [2] - 1 .names _n715 0 .names _n712<0> _n713<0> _n715 _n714<0> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 # carry/borrow .names _n717 0 .names _n712<0> _n713<0> _n717 _n716 .def 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 .names _n712<1> _n713<1> _n716 _n714<1> .def 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 .names _n714<0> _n703<0> - =_n714<0> .names _n714<1> _n703<1> - =_n714<1> # direction [2] = 1 .mv direction$dec_n718$true<*1*> 2 UP DOWN .mv direction$dec_n718$true<*2*> 2 UP DOWN .mv _n719 2 UP DOWN .names _n71a<0> 0 .names _n71a<1> 1 .names _n71b<0> 1 .names _n71b<1> 0 .names _n71b<0> _n71a<0> _n71d<0> .def 0 0 1 1 1 0 1 .names _n71b<1> _n71a<1> _n71d<1> .def 0 0 1 1 1 0 1 .names _n71d<0> _n71d<1> _n71e .def 1 0 0 0 .names _n71e _n71c 0 1 1 0 .names _n719 direction$inc$raw_n6f2<*1*> _n71c direction$dec_n718$true<*1*> - - 0 =direction$inc$raw_n6f2<*1*> - - 1 =_n719 .names _n71f<0> 0 .names _n71f<1> 1 .names _n71f<0> _n71a<0> _n721<0> .def 0 0 1 1 1 0 1 .names _n71f<1> _n71a<1> _n721<1> .def 0 0 1 1 1 0 1 .names _n721<0> _n721<1> _n722 .def 1 0 0 0 .names _n722 _n720 0 1 1 0 .names _n719 direction$inc$raw_n6f2<*2*> _n720 direction$dec_n718$true<*2*> - - 0 =direction$inc$raw_n6f2<*2*> - - 1 =_n719 .names _n719 DOWN # if/else (dec [2]) .mv direction$dec$raw_n723<*1*> 2 UP DOWN .mv direction$dec$raw_n723<*2*> 2 UP DOWN .names dec<2> _n724 .def 1 0 0 .names direction$dec_n718$true<*1*> direction$inc$raw_n6f2<*1*> _n724 direction$dec$raw_n723<*1*> - - 0 =direction$inc$raw_n6f2<*1*> - - 1 =direction$dec_n718$true<*1*> .names direction$dec_n718$true<*2*> direction$inc$raw_n6f2<*2*> _n724 direction$dec$raw_n723<*2*> - - 0 =direction$inc$raw_n6f2<*2*> - - 1 =direction$dec_n718$true<*2*> .names dec<2> _n726 .def 1 0 0 .names locations$dec_n702$true<*1*><0> locations$inc$raw_n6f4<*1*><0> _n726 locations$dec$raw_n725<*1*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names locations$dec_n702$true<*1*><1> locations$inc$raw_n6f4<*1*><1> _n726 locations$dec$raw_n725<*1*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names locations$dec_n702$true<*2*><0> locations$inc$raw_n6f4<*2*><0> _n726 locations$dec$raw_n725<*2*><0> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 .names locations$dec_n702$true<*2*><1> locations$inc$raw_n6f4<*2*><1> _n726 locations$dec$raw_n725<*2*><1> 0 - 1 0 1 - 1 1 - 0 0 0 - 1 0 1 # conflict arbitrators .names button_above$raw_n39a<1> button_above<1> - =button_above$raw_n39a<1> .names button_above$raw_n3c0<2> button_above<2> - =button_above$raw_n3c0<2> .names _n48a _n4bd _n4f1 _n557 _n562 _n5d4 _n5df _n731 .def 0 1 - - - - - - 1 - 1 - - - - - 1 - - 1 - - - - 1 - - - 1 1 - - 1 - - - - - 1 1 1 .mv _n732<*0*> 2 ON OFF .mv _n732<*1*> 2 ON OFF .mv _n732<*2*> 2 ON OFF .names _n731 down_floor_buttons$_n5d3$raw_n5fd<*0*> down_floor_buttons<*0*> _n732<*0*> 1 - - =down_floor_buttons$_n5d3$raw_n5fd<*0*> 0 - - =down_floor_buttons<*0*> .names _n731 down_floor_buttons$_n5d3$raw_n5fd<*1*> down_floor_buttons<*1*> _n732<*1*> 1 - - =down_floor_buttons$_n5d3$raw_n5fd<*1*> 0 - - =down_floor_buttons<*1*> .names _n731 down_floor_buttons$_n5d3$raw_n5fd<*2*> down_floor_buttons<*2*> _n732<*2*> 1 - - =down_floor_buttons$_n5d3$raw_n5fd<*2*> 0 - - =down_floor_buttons<*2*> .names buttons$raw_n366<0> buttons<0> - =buttons$raw_n366<0> .names buttons$raw_n371<1> buttons<1> - =buttons$raw_n371<1> .names buttons$raw_n37c<2> buttons<2> - =buttons$raw_n37c<2> .names _n610 _n625 _n635 _n665 _n6a1 _n6bb _n6cf _n700 _n784 .def 0 1 - - - - - - - 1 - 1 - - - - - - 1 - - 1 - - - - - 1 - - - 1 - - - - 1 - - - - 1 - - - 1 - - - - - 1 - - 1 - - - - - - 1 - 1 - - - - - - - 1 1 .mv _n785<*1*> 2 UP DOWN .mv _n785<*2*> 2 UP DOWN .names _n784 direction$dec$raw_n723<*1*> direction<*1*> _n785<*1*> 1 - - =direction$dec$raw_n723<*1*> 0 - - =direction<*1*> .names _n784 direction$dec$raw_n723<*2*> direction<*2*> _n785<*2*> 1 - - =direction$dec$raw_n723<*2*> 0 - - =direction<*2*> .names button_below$raw_n387<1> button_below<1> - =button_below$raw_n387<1> .names button_below$raw_n3ad<2> button_below<2> - =button_below$raw_n3ad<2> .names _n475 _n4a3 _n4d7 _n51b _n526 _n598 _n5a3 _n7bc .def 0 1 - - - - - - 1 - 1 - - - - - 1 - - 1 - - - - 1 - - - 1 1 - - 1 - - - - - 1 1 1 .mv _n7bd<*0*> 2 ON OFF .mv _n7bd<*1*> 2 ON OFF .mv _n7bd<*2*> 2 ON OFF .names _n7bc up_floor_buttons$_n597$raw_n5c2<*0*> up_floor_buttons<*0*> _n7bd<*0*> 1 - - =up_floor_buttons$_n597$raw_n5c2<*0*> 0 - - =up_floor_buttons<*0*> .names _n7bc up_floor_buttons$_n597$raw_n5c2<*1*> up_floor_buttons<*1*> _n7bd<*1*> 1 - - =up_floor_buttons$_n597$raw_n5c2<*1*> 0 - - =up_floor_buttons<*1*> .names _n7bc up_floor_buttons$_n597$raw_n5c2<*2*> up_floor_buttons<*2*> _n7bd<*2*> 1 - - =up_floor_buttons$_n597$raw_n5c2<*2*> 0 - - =up_floor_buttons<*2*> .names stop_next$raw_n3ef<1> stop_next<1> - =stop_next$raw_n3ef<1> .names stop_next$raw_n42c<2> stop_next<2> - =stop_next$raw_n42c<2> .names _n635 _n665 _n6cf _n700 _n80f .def 0 1 - - - 1 - 1 - - 1 - - 1 - 1 - - - 1 1 .names _n80f locations$dec$raw_n725<*1*><0> locations$dec$raw_n725<*1*><1> locations<*1*><0> locations<*1*><1> -> _n810<*1*><0> _n810<*1*><1> 1 - - - - =locations$dec$raw_n725<*1*><0> =locations$dec$raw_n725<*1*><1> 0 - - - - =locations<*1*><0> =locations<*1*><1> .names _n80f locations$dec$raw_n725<*2*><0> locations$dec$raw_n725<*2*><1> locations<*2*><0> locations<*2*><1> -> _n810<*2*><0> _n810<*2*><1> 1 - - - - =locations$dec$raw_n725<*2*><0> =locations$dec$raw_n725<*2*><1> 0 - - - - =locations<*2*><0> =locations<*2*><1> .names continue$raw_n3d3<1> continue<1> - =continue$raw_n3d3<1> .names continue$raw_n3e1<2> continue<2> - =continue$raw_n3e1<2> # non-blocking assignments # latches .r down_floor_buttons$raw_n33f<*0*> down_floor_buttons<*0*> .def ON OFF =down_floor_buttons$raw_n33f<*0*> .r down_floor_buttons$raw_n33f<*1*> down_floor_buttons<*1*> .def ON OFF =down_floor_buttons$raw_n33f<*1*> .r down_floor_buttons$raw_n33f<*2*> down_floor_buttons<*2*> .def ON OFF =down_floor_buttons$raw_n33f<*2*> .latch _n732<*0*> down_floor_buttons<*0*> .latch _n732<*1*> down_floor_buttons<*1*> .latch _n732<*2*> down_floor_buttons<*2*> .r up_floor_buttons$raw_n30f<*0*> up_floor_buttons<*0*> .def ON OFF =up_floor_buttons$raw_n30f<*0*> .r up_floor_buttons$raw_n30f<*1*> up_floor_buttons<*1*> .def ON OFF =up_floor_buttons$raw_n30f<*1*> .r up_floor_buttons$raw_n30f<*2*> up_floor_buttons<*2*> .def ON OFF =up_floor_buttons$raw_n30f<*2*> .latch _n7bd<*0*> up_floor_buttons<*0*> .latch _n7bd<*1*> up_floor_buttons<*1*> .latch _n7bd<*2*> up_floor_buttons<*2*> .r direction$raw_n35b<*1*> direction<*1*> .def UP DOWN =direction$raw_n35b<*1*> .r direction$raw_n35b<*2*> direction<*2*> .def UP DOWN =direction$raw_n35b<*2*> .latch _n785<*1*> direction<*1*> .latch _n785<*2*> direction<*2*> .r locations$raw_n2df<*1*><0> locations<*1*><0> .def 0 1 1 .r locations$raw_n2df<*2*><0> locations<*2*><0> .def 0 1 1 .r locations$raw_n2df<*1*><1> locations<*1*><1> .def 0 1 1 .r locations$raw_n2df<*2*><1> locations<*2*><1> .def 0 1 1 .latch _n810<*1*><0> locations<*1*><0> .latch _n810<*2*><0> locations<*2*><0> .latch _n810<*1*><1> locations<*1*><1> .latch _n810<*2*><1> locations<*2*><1> # quasi-continuous assignment .end