#%signature: 531170%
.model pump
.inputs  start \
         stop \
         methane \
         co \
         hw_level \
         lw_level \
         manual \
         auto
.outputs p_run \
         p_stop \
         m_alarm \
         c_alarm \
         ROOT_RETURN_ \
         ROOT_HALTING_
.names methane TRACE_S2_
1 1
.names stop TRACE_S1_
1 1
.names auto TRACE_S7_
1 1
.names manual TRACE_S6_
1 1
.names lw_level TRACE_S5_
1 1
.names hw_level TRACE_S4_
1 1
.names co TRACE_S3_
1 1
.names start TRACE_S0_
1 1
.names co HALT_REG_43_ pump_9
11 1
.names pump_9 TRACE_S11_
1 1
.names pump_9 pump_10
1 1
.names pump_10 c_alarm
1 1
.names HALT_REG_39_ methane pump_11
11 1
.names pump_11 TRACE_S10_
1 1
.names pump_11 pump_12
1 1
.names pump_12 m_alarm
1 1
.names HALT_REG_22_ HALT_REG_19_ HALT_REG_28_ pump_13
000 0
.names auto pump_13 pump_14
01 1
.names pump_14 HALT_REG_28_ pump_15
11 1
.names stop methane pump_16
00 0
.names pump_16 pump_15 pump_17
11 1
.names HALT_REG_6_ HALT_REG_3_ HALT_REG_12_ pump_18
000 0
.names manual pump_18 pump_19
01 1
.names pump_19 HALT_REG_12_ pump_20
11 1
.names lw_level methane pump_21
00 0
.names pump_21 pump_20 pump_22
11 1
.names pump_17 pump_22 pump_23
00 0
.names pump_23 TRACE_S9_
1 1
.names pump_23 pump_24
1 1
.names pump_24 p_stop
1 1
.names pump_14 HALT_REG_22_ pump_25
11 1
.names pump_25 methane pump_26
10 1
.names pump_14 HALT_REG_19_ pump_27
11 1
.names start pump_27 pump_28
11 1
.names methane pump_28 pump_29
01 1
.names pump_16 pump_15 pump_30
01 1
.names pump_30 HALT_REG_28_ pump_31
11 1
.names pump_26 pump_31 pump_29 pump_32
000 0
.names pump_19 HALT_REG_6_ pump_33
11 1
.names pump_33 methane pump_34
10 1
.names pump_19 HALT_REG_3_ pump_35
11 1
.names hw_level pump_35 pump_36
11 1
.names pump_36 methane pump_37
10 1
.names pump_21 pump_20 pump_38
01 1
.names pump_38 HALT_REG_12_ pump_39
11 1
.names pump_34 pump_39 pump_37 pump_40
000 0
.names pump_40 pump_32 pump_41
00 0
.names pump_41 TRACE_S8_
1 1
.names pump_41 pump_42
1 1
.names pump_42 p_run
1 1
.names ROOT_RETURN_
 0
.names hw_level pump_35 pump_43
01 1
.names pump_43 HALT_REG_3_ pump_44
11 1
.names auto pump_13 pump_45
11 1
.names BOOT_REGISTER_ pump_45 pump_22 pump_44 pump_46
0000 0
.names pump_33 methane pump_47
11 1
.names pump_47 HALT_REG_6_ pump_48
11 1
.names pump_36 methane pump_49
11 1
.names pump_49 pump_48 pump_50
00 0
.names manual pump_18 pump_51
11 1
.names start pump_27 pump_52
01 1
.names pump_52 HALT_REG_19_ pump_53
11 1
.names pump_51 pump_17 pump_53 pump_54
000 0
.names pump_25 methane pump_55
11 1
.names pump_55 HALT_REG_22_ pump_56
11 1
.names methane pump_28 pump_57
11 1
.names pump_57 pump_56 pump_58
00 0
.names HALT_REG_39_ methane pump_59
10 1
.names pump_59 HALT_REG_39_ pump_60
11 1
.names pump_11 pump_60 BOOT_REGISTER_ pump_61
000 0
.names co HALT_REG_43_ pump_62
01 1
.names pump_62 HALT_REG_43_ pump_63
11 1
.names pump_9 pump_63 BOOT_REGISTER_ pump_64
000 0
.names pump_64 pump_61 pump_58 pump_54 pump_40 pump_50 pump_46 pump_32 pump_65
00000000 0
.names pump_18 pump_13 pump_66
00 0
.names pump_66 HALT_REG_43_ HALT_REG_39_ pump_67
000 0
.names pump_67 pump_66 pump_68
10 1
.names pump_68 pump_58 pump_54 pump_40 pump_50 pump_46 pump_32 pump_69
0000000 0
.names pump_67 HALT_REG_39_ pump_70
10 1
.names pump_70 pump_61 pump_71
00 0
.names pump_67 HALT_REG_43_ pump_72
10 1
.names pump_72 pump_64 pump_73
00 0
.names pump_73 pump_71 pump_69 pump_65 pump_74
1111 1
.names pump_74 ROOT_HALTING_
1 1
.names pump_64 __pump_9
1 1
.names pump_61 __pump_10
1 1
.names pump_32 __pump_11
1 1
.names pump_58 __pump_12
1 1
.names pump_54 __pump_13
1 1
.names pump_40 __pump_14
1 1
.names pump_50 __pump_15
1 1
.names pump_46 __pump_16
1 1
.names __pump_17
 0
.names __pump_17 __pump_18
1 1
.names __pump_16 pump_75
1 1
.names __pump_15 pump_76
1 1
.names __pump_14 pump_77
1 1
.names __pump_13 pump_78
1 1
.names __pump_12 pump_79
1 1
.names __pump_11 pump_80
1 1
.names __pump_10 pump_81
1 1
.names __pump_9 pump_82
1 1
.latch __pump_18 BOOT_REGISTER_ 1
.latch pump_75 HALT_REG_3_ 0
.latch pump_76 HALT_REG_6_ 0
.latch pump_77 HALT_REG_12_ 0
.latch pump_78 HALT_REG_19_ 0
.latch pump_79 HALT_REG_22_ 0
.latch pump_80 HALT_REG_28_ 0
.latch pump_81 HALT_REG_39_ 0
.latch pump_82 HALT_REG_43_ 0

.end