#%signature: 297042%
.model complex
.inputs  rt_methane \
         hi_methane \
         hw_level \
         lw_level
.outputs alarm \
         strt_pump \
         stop_pump \
         ROOT_RETURN_ \
         ROOT_HALTING_
.names hw_level TRACE_S2_
1 1
.names hi_methane TRACE_S1_
1 1
.names lw_level TRACE_S3_
1 1
.names rt_methane TRACE_S0_
1 1
.names HALT_REG_5_ HALT_REG_1_ complex_5
00 0
.names HALT_REG_13_ complex_5 complex_6
00 0
.names hi_methane complex_6 complex_7
01 1
.names complex_7 complex_5 complex_8
11 1
.names rt_methane complex_8 complex_9
11 1
.names complex_9 HALT_REG_1_ complex_10
11 1
.names hw_level complex_10 complex_11
11 1
.names complex_11 TRACE_S5_
1 1
.names complex_11 complex_12
1 1
.names complex_12 strt_pump
1 1
.names hi_methane complex_6 complex_13
11 1
.names rt_methane complex_8 complex_14
01 1
.names complex_9 HALT_REG_5_ complex_15
11 1
.names lw_level complex_15 complex_16
11 1
.names complex_16 complex_14 complex_13 complex_17
000 0
.names complex_17 TRACE_S6_
1 1
.names complex_17 complex_18
1 1
.names complex_18 stop_pump
1 1
.names complex_13 TRACE_S4_
1 1
.names complex_13 complex_19
1 1
.names complex_19 alarm
1 1
.names ROOT_RETURN_
 0
.names hw_level complex_10 complex_20
01 1
.names complex_20 HALT_REG_1_ complex_21
11 1
.names HALT_REG_21_ rt_methane complex_22
11 1
.names complex_7 HALT_REG_13_ complex_23
11 1
.names complex_23 rt_methane complex_24
11 1
.names BOOT_REGISTER_ complex_22 complex_24 complex_16 complex_21 complex_25
00000 0
.names HALT_REG_21_ rt_methane complex_26
10 1
.names HALT_REG_21_ complex_26 complex_27
11 1
.names complex_27 complex_13 complex_28
00 0
.names complex_23 rt_methane complex_29
10 1
.names complex_29 HALT_REG_13_ complex_30
11 1
.names complex_14 complex_30 complex_31
00 0
.names lw_level complex_15 complex_32
01 1
.names complex_32 HALT_REG_5_ complex_33
11 1
.names complex_11 complex_33 complex_34
00 0
.names complex_25 complex_34 complex_31 complex_28 ROOT_HALTING_
0000 0
.names complex_28 __complex_5
1 1
.names complex_31 __complex_6
1 1
.names complex_34 __complex_7
1 1
.names complex_25 __complex_8
1 1
.names __complex_9
 0
.names __complex_9 __complex_10
1 1
.names __complex_8 complex_35
1 1
.names __complex_7 complex_36
1 1
.names __complex_6 complex_37
1 1
.names __complex_5 complex_38
1 1
.latch __complex_10 BOOT_REGISTER_ 1
.latch complex_35 HALT_REG_1_ 0
.latch complex_36 HALT_REG_5_ 0
.latch complex_37 HALT_REG_13_ 0
.latch complex_38 HALT_REG_21_ 0

.end