.model elevator
.inputs init<0>0 init<1>0 location<0>0 location<1>0 buttons<*0*>0 \
buttons<*1*>0 buttons<*2*>0 stop_next0 direction0 door0 door1 movement0 \
open_next0 continue0 [0]0 [1]0 [2]0 [3]0 [4]0
.outputs open_next$raw_n160 location$raw_n17<0>0 location$raw_n17<1>0 \
direction$raw_n180 door$raw_n190 door$raw_n191 movement$raw_n1a0 \
buttons$raw_n1b<*0*>0 buttons$raw_n1b<*1*>0 buttons$raw_n1b<*2*>0 \
buttons$raw_n2d<*0*>0 buttons$raw_n2d<*1*>0 buttons$raw_n2d<*2*>0 \
buttons$raw_n3f<*0*>0 buttons$raw_n3f<*1*>0 buttons$raw_n3f<*2*>0 _n2450 \
_n25c<*0*>0 _n25c<*1*>0 _n25c<*2*>0 _n29d0 _n29d1 _n2b4<0>0 _n2b4<1>0 _n2b60 \
_n2cd0 dec0 inc0
.names open_next$raw_n160
.names direction$raw_n180
.names door$raw_n190
.names door$raw_n191
.names movement$raw_n1a0
.names buttons$raw_n1b<*0*>0
 1
.names buttons$raw_n1b<*1*>0
.names buttons$raw_n1b<*2*>0
.names buttons$raw_n2d<*0*>0
.names buttons$raw_n2d<*1*>0
 1
.names buttons$raw_n2d<*2*>0
.names buttons$raw_n3f<*0*>0
.names buttons$raw_n3f<*1*>0
.names buttons$raw_n3f<*2*>0
 1
.names buttons<*0*>0 buttons<*1*>0 buttons<*2*>0 direction0 door0 door1 \
movement0 open_next0 continue0 _n2b60 [4]0 inc0 dec0 _n2450
----1-1------ 1
-----01------ 1
------1---0-- 1
----01001---- 1
-0-001-0-0-0- 1
--0001-0-0-0- 1
0--101-0-1--0 1
-0-101-0-1--0 1
.names location<0>0 location<1>0 buttons<*0*>0 stop_next0 direction0 [0]0 \
_n25c<*0*>0
00---- 1
0-1--0 1
--10-0 1
-11-10 1
-01-00 1
.names location<0>0 location<1>0 buttons<*1*>0 stop_next0 direction0 [1]0 \
_n25c<*1*>0
10---- 1
1-1--0 1
--10-0 1
-01-10 1
-11-00 1
.names location<0>0 location<1>0 buttons<*2*>0 stop_next0 direction0 [2]0 \
_n25c<*2*>0
01---- 1
0-1--0 1
--10-0 1
-01-10 1
-11-00 1
.names door0 door1 _n29d1 [3]0 _n29d0
-01- 1
-10- 1
1--0 1
.names door0 door1 movement0 open_next0 [3]0 _n29d1
11--- 1
-11-- 1
-1-0- 1
00--1 1
.names location<0>0 door0 door1 movement0 [4]0 inc0 dec0 _n2b4<0>0
11----- 1
1-0---- 1
1----00 1
00111-- 1
.names location<0>0 location<1>0 door0 door1 inc0 dec0 _n2b4<1>0
-11--- 1
-1-0-- 1
11--0- 1
01---0 1
10011- 1
0001-1 1
.names location<0>0 location<1>0 buttons<*0*>0 buttons<*2*>0 direction0 \
continue0 _n2b60
01---- 1
1---11 1
100-1- 1
11--00 1
1--100 1
.names location<0>0 location<1>0 buttons<*0*>0 buttons<*1*>0 buttons<*2*>0 \
stop_next0 direction0 door0 door1 movement0 open_next0 _n2cd0
-------01-1 1
-----1-011- 1
0--0---011- 1
00----1011- 1
-00---1011- 1
01----0011- 1
-10---0011- 1
11--0-1011- 1
10--0-0011- 1
.names direction0 movement0 [4]0 inc0
011 1
.names direction0 movement0 [4]0 dec0
111 1
.names init<0>0 location$raw_n17<0>0
1 1
.names init<1>0 location$raw_n17<1>0
1 1
.end