device(S):- machine(S).
map(H, alarm, M, alarm) :- prod_line(H), machine(M), location(M,H).
filter_type(M, alarm,  pass, _) :- machine(M).
prod_line(line_0).
machine(machine_0_0).
location(machine_0_0, line_0).
device_action(machine_0_0, state, [read, write]).
device_action(machine_0_0, alarm, [read, notify]).
machine(machine_0_1).
location(machine_0_1, line_0).
device_action(machine_0_1, state, [read, write]).
device_action(machine_0_1, alarm, [read, notify]).
machine(machine_0_2).
location(machine_0_2, line_0).
device_action(machine_0_2, state, [read, write]).
device_action(machine_0_2, alarm, [read, notify]).
machine(machine_0_3).
location(machine_0_3, line_0).
device_action(machine_0_3, state, [read, write]).
device_action(machine_0_3, alarm, [read, notify]).
machine(machine_0_4).
location(machine_0_4, line_0).
device_action(machine_0_4, state, [read, write]).
device_action(machine_0_4, alarm, [read, notify]).
machine(machine_0_5).
location(machine_0_5, line_0).
device_action(machine_0_5, state, [read, write]).
device_action(machine_0_5, alarm, [read, notify]).
machine(machine_0_6).
location(machine_0_6, line_0).
device_action(machine_0_6, state, [read, write]).
device_action(machine_0_6, alarm, [read, notify]).
machine(machine_0_7).
location(machine_0_7, line_0).
device_action(machine_0_7, state, [read, write]).
device_action(machine_0_7, alarm, [read, notify]).
machine(machine_0_8).
location(machine_0_8, line_0).
device_action(machine_0_8, state, [read, write]).
device_action(machine_0_8, alarm, [read, notify]).
machine(machine_0_9).
location(machine_0_9, line_0).
device_action(machine_0_9, state, [read, write]).
device_action(machine_0_9, alarm, [read, notify]).
prod_line(line_1).
machine(machine_1_0).
location(machine_1_0, line_1).
device_action(machine_1_0, state, [read, write]).
device_action(machine_1_0, alarm, [read, notify]).
machine(machine_1_1).
location(machine_1_1, line_1).
device_action(machine_1_1, state, [read, write]).
device_action(machine_1_1, alarm, [read, notify]).
machine(machine_1_2).
location(machine_1_2, line_1).
device_action(machine_1_2, state, [read, write]).
device_action(machine_1_2, alarm, [read, notify]).
machine(machine_1_3).
location(machine_1_3, line_1).
device_action(machine_1_3, state, [read, write]).
device_action(machine_1_3, alarm, [read, notify]).
machine(machine_1_4).
location(machine_1_4, line_1).
device_action(machine_1_4, state, [read, write]).
device_action(machine_1_4, alarm, [read, notify]).
machine(machine_1_5).
location(machine_1_5, line_1).
device_action(machine_1_5, state, [read, write]).
device_action(machine_1_5, alarm, [read, notify]).
machine(machine_1_6).
location(machine_1_6, line_1).
device_action(machine_1_6, state, [read, write]).
device_action(machine_1_6, alarm, [read, notify]).
machine(machine_1_7).
location(machine_1_7, line_1).
device_action(machine_1_7, state, [read, write]).
device_action(machine_1_7, alarm, [read, notify]).
machine(machine_1_8).
location(machine_1_8, line_1).
device_action(machine_1_8, state, [read, write]).
device_action(machine_1_8, alarm, [read, notify]).
machine(machine_1_9).
location(machine_1_9, line_1).
device_action(machine_1_9, state, [read, write]).
device_action(machine_1_9, alarm, [read, notify]).
prod_line(line_2).
machine(machine_2_0).
location(machine_2_0, line_2).
device_action(machine_2_0, state, [read, write]).
device_action(machine_2_0, alarm, [read, notify]).
machine(machine_2_1).
location(machine_2_1, line_2).
device_action(machine_2_1, state, [read, write]).
device_action(machine_2_1, alarm, [read, notify]).
machine(machine_2_2).
location(machine_2_2, line_2).
device_action(machine_2_2, state, [read, write]).
device_action(machine_2_2, alarm, [read, notify]).
machine(machine_2_3).
location(machine_2_3, line_2).
device_action(machine_2_3, state, [read, write]).
device_action(machine_2_3, alarm, [read, notify]).
machine(machine_2_4).
location(machine_2_4, line_2).
device_action(machine_2_4, state, [read, write]).
device_action(machine_2_4, alarm, [read, notify]).
machine(machine_2_5).
location(machine_2_5, line_2).
device_action(machine_2_5, state, [read, write]).
device_action(machine_2_5, alarm, [read, notify]).
machine(machine_2_6).
location(machine_2_6, line_2).
device_action(machine_2_6, state, [read, write]).
device_action(machine_2_6, alarm, [read, notify]).
machine(machine_2_7).
location(machine_2_7, line_2).
device_action(machine_2_7, state, [read, write]).
device_action(machine_2_7, alarm, [read, notify]).
machine(machine_2_8).
location(machine_2_8, line_2).
device_action(machine_2_8, state, [read, write]).
device_action(machine_2_8, alarm, [read, notify]).
machine(machine_2_9).
location(machine_2_9, line_2).
device_action(machine_2_9, state, [read, write]).
device_action(machine_2_9, alarm, [read, notify]).
prod_line(line_3).
machine(machine_3_0).
location(machine_3_0, line_3).
device_action(machine_3_0, state, [read, write]).
device_action(machine_3_0, alarm, [read, notify]).
machine(machine_3_1).
location(machine_3_1, line_3).
device_action(machine_3_1, state, [read, write]).
device_action(machine_3_1, alarm, [read, notify]).
machine(machine_3_2).
location(machine_3_2, line_3).
device_action(machine_3_2, state, [read, write]).
device_action(machine_3_2, alarm, [read, notify]).
machine(machine_3_3).
location(machine_3_3, line_3).
device_action(machine_3_3, state, [read, write]).
device_action(machine_3_3, alarm, [read, notify]).
machine(machine_3_4).
location(machine_3_4, line_3).
device_action(machine_3_4, state, [read, write]).
device_action(machine_3_4, alarm, [read, notify]).
machine(machine_3_5).
location(machine_3_5, line_3).
device_action(machine_3_5, state, [read, write]).
device_action(machine_3_5, alarm, [read, notify]).
machine(machine_3_6).
location(machine_3_6, line_3).
device_action(machine_3_6, state, [read, write]).
device_action(machine_3_6, alarm, [read, notify]).
machine(machine_3_7).
location(machine_3_7, line_3).
device_action(machine_3_7, state, [read, write]).
device_action(machine_3_7, alarm, [read, notify]).
machine(machine_3_8).
location(machine_3_8, line_3).
device_action(machine_3_8, state, [read, write]).
device_action(machine_3_8, alarm, [read, notify]).
machine(machine_3_9).
location(machine_3_9, line_3).
device_action(machine_3_9, state, [read, write]).
device_action(machine_3_9, alarm, [read, notify]).
prod_line(line_4).
machine(machine_4_0).
location(machine_4_0, line_4).
device_action(machine_4_0, state, [read, write]).
device_action(machine_4_0, alarm, [read, notify]).
machine(machine_4_1).
location(machine_4_1, line_4).
device_action(machine_4_1, state, [read, write]).
device_action(machine_4_1, alarm, [read, notify]).
machine(machine_4_2).
location(machine_4_2, line_4).
device_action(machine_4_2, state, [read, write]).
device_action(machine_4_2, alarm, [read, notify]).
machine(machine_4_3).
location(machine_4_3, line_4).
device_action(machine_4_3, state, [read, write]).
device_action(machine_4_3, alarm, [read, notify]).
machine(machine_4_4).
location(machine_4_4, line_4).
device_action(machine_4_4, state, [read, write]).
device_action(machine_4_4, alarm, [read, notify]).
machine(machine_4_5).
location(machine_4_5, line_4).
device_action(machine_4_5, state, [read, write]).
device_action(machine_4_5, alarm, [read, notify]).
machine(machine_4_6).
location(machine_4_6, line_4).
device_action(machine_4_6, state, [read, write]).
device_action(machine_4_6, alarm, [read, notify]).
machine(machine_4_7).
location(machine_4_7, line_4).
device_action(machine_4_7, state, [read, write]).
device_action(machine_4_7, alarm, [read, notify]).
machine(machine_4_8).
location(machine_4_8, line_4).
device_action(machine_4_8, state, [read, write]).
device_action(machine_4_8, alarm, [read, notify]).
machine(machine_4_9).
location(machine_4_9, line_4).
device_action(machine_4_9, state, [read, write]).
device_action(machine_4_9, alarm, [read, notify]).
prod_line(line_5).
machine(machine_5_0).
location(machine_5_0, line_5).
device_action(machine_5_0, state, [read, write]).
device_action(machine_5_0, alarm, [read, notify]).
machine(machine_5_1).
location(machine_5_1, line_5).
device_action(machine_5_1, state, [read, write]).
device_action(machine_5_1, alarm, [read, notify]).
machine(machine_5_2).
location(machine_5_2, line_5).
device_action(machine_5_2, state, [read, write]).
device_action(machine_5_2, alarm, [read, notify]).
machine(machine_5_3).
location(machine_5_3, line_5).
device_action(machine_5_3, state, [read, write]).
device_action(machine_5_3, alarm, [read, notify]).
machine(machine_5_4).
location(machine_5_4, line_5).
device_action(machine_5_4, state, [read, write]).
device_action(machine_5_4, alarm, [read, notify]).
machine(machine_5_5).
location(machine_5_5, line_5).
device_action(machine_5_5, state, [read, write]).
device_action(machine_5_5, alarm, [read, notify]).
machine(machine_5_6).
location(machine_5_6, line_5).
device_action(machine_5_6, state, [read, write]).
device_action(machine_5_6, alarm, [read, notify]).
machine(machine_5_7).
location(machine_5_7, line_5).
device_action(machine_5_7, state, [read, write]).
device_action(machine_5_7, alarm, [read, notify]).
machine(machine_5_8).
location(machine_5_8, line_5).
device_action(machine_5_8, state, [read, write]).
device_action(machine_5_8, alarm, [read, notify]).
machine(machine_5_9).
location(machine_5_9, line_5).
device_action(machine_5_9, state, [read, write]).
device_action(machine_5_9, alarm, [read, notify]).
prod_line(line_6).
machine(machine_6_0).
location(machine_6_0, line_6).
device_action(machine_6_0, state, [read, write]).
device_action(machine_6_0, alarm, [read, notify]).
machine(machine_6_1).
location(machine_6_1, line_6).
device_action(machine_6_1, state, [read, write]).
device_action(machine_6_1, alarm, [read, notify]).
machine(machine_6_2).
location(machine_6_2, line_6).
device_action(machine_6_2, state, [read, write]).
device_action(machine_6_2, alarm, [read, notify]).
machine(machine_6_3).
location(machine_6_3, line_6).
device_action(machine_6_3, state, [read, write]).
device_action(machine_6_3, alarm, [read, notify]).
machine(machine_6_4).
location(machine_6_4, line_6).
device_action(machine_6_4, state, [read, write]).
device_action(machine_6_4, alarm, [read, notify]).
machine(machine_6_5).
location(machine_6_5, line_6).
device_action(machine_6_5, state, [read, write]).
device_action(machine_6_5, alarm, [read, notify]).
machine(machine_6_6).
location(machine_6_6, line_6).
device_action(machine_6_6, state, [read, write]).
device_action(machine_6_6, alarm, [read, notify]).
machine(machine_6_7).
location(machine_6_7, line_6).
device_action(machine_6_7, state, [read, write]).
device_action(machine_6_7, alarm, [read, notify]).
machine(machine_6_8).
location(machine_6_8, line_6).
device_action(machine_6_8, state, [read, write]).
device_action(machine_6_8, alarm, [read, notify]).
machine(machine_6_9).
location(machine_6_9, line_6).
device_action(machine_6_9, state, [read, write]).
device_action(machine_6_9, alarm, [read, notify]).
prod_line(line_7).
machine(machine_7_0).
location(machine_7_0, line_7).
device_action(machine_7_0, state, [read, write]).
device_action(machine_7_0, alarm, [read, notify]).
machine(machine_7_1).
location(machine_7_1, line_7).
device_action(machine_7_1, state, [read, write]).
device_action(machine_7_1, alarm, [read, notify]).
machine(machine_7_2).
location(machine_7_2, line_7).
device_action(machine_7_2, state, [read, write]).
device_action(machine_7_2, alarm, [read, notify]).
machine(machine_7_3).
location(machine_7_3, line_7).
device_action(machine_7_3, state, [read, write]).
device_action(machine_7_3, alarm, [read, notify]).
machine(machine_7_4).
location(machine_7_4, line_7).
device_action(machine_7_4, state, [read, write]).
device_action(machine_7_4, alarm, [read, notify]).
machine(machine_7_5).
location(machine_7_5, line_7).
device_action(machine_7_5, state, [read, write]).
device_action(machine_7_5, alarm, [read, notify]).
machine(machine_7_6).
location(machine_7_6, line_7).
device_action(machine_7_6, state, [read, write]).
device_action(machine_7_6, alarm, [read, notify]).
machine(machine_7_7).
location(machine_7_7, line_7).
device_action(machine_7_7, state, [read, write]).
device_action(machine_7_7, alarm, [read, notify]).
machine(machine_7_8).
location(machine_7_8, line_7).
device_action(machine_7_8, state, [read, write]).
device_action(machine_7_8, alarm, [read, notify]).
machine(machine_7_9).
location(machine_7_9, line_7).
device_action(machine_7_9, state, [read, write]).
device_action(machine_7_9, alarm, [read, notify]).
prod_line(line_8).
machine(machine_8_0).
location(machine_8_0, line_8).
device_action(machine_8_0, state, [read, write]).
device_action(machine_8_0, alarm, [read, notify]).
machine(machine_8_1).
location(machine_8_1, line_8).
device_action(machine_8_1, state, [read, write]).
device_action(machine_8_1, alarm, [read, notify]).
machine(machine_8_2).
location(machine_8_2, line_8).
device_action(machine_8_2, state, [read, write]).
device_action(machine_8_2, alarm, [read, notify]).
machine(machine_8_3).
location(machine_8_3, line_8).
device_action(machine_8_3, state, [read, write]).
device_action(machine_8_3, alarm, [read, notify]).
machine(machine_8_4).
location(machine_8_4, line_8).
device_action(machine_8_4, state, [read, write]).
device_action(machine_8_4, alarm, [read, notify]).
machine(machine_8_5).
location(machine_8_5, line_8).
device_action(machine_8_5, state, [read, write]).
device_action(machine_8_5, alarm, [read, notify]).
machine(machine_8_6).
location(machine_8_6, line_8).
device_action(machine_8_6, state, [read, write]).
device_action(machine_8_6, alarm, [read, notify]).
machine(machine_8_7).
location(machine_8_7, line_8).
device_action(machine_8_7, state, [read, write]).
device_action(machine_8_7, alarm, [read, notify]).
machine(machine_8_8).
location(machine_8_8, line_8).
device_action(machine_8_8, state, [read, write]).
device_action(machine_8_8, alarm, [read, notify]).
machine(machine_8_9).
location(machine_8_9, line_8).
device_action(machine_8_9, state, [read, write]).
device_action(machine_8_9, alarm, [read, notify]).
prod_line(line_9).
machine(machine_9_0).
location(machine_9_0, line_9).
device_action(machine_9_0, state, [read, write]).
device_action(machine_9_0, alarm, [read, notify]).
machine(machine_9_1).
location(machine_9_1, line_9).
device_action(machine_9_1, state, [read, write]).
device_action(machine_9_1, alarm, [read, notify]).
machine(machine_9_2).
location(machine_9_2, line_9).
device_action(machine_9_2, state, [read, write]).
device_action(machine_9_2, alarm, [read, notify]).
machine(machine_9_3).
location(machine_9_3, line_9).
device_action(machine_9_3, state, [read, write]).
device_action(machine_9_3, alarm, [read, notify]).
machine(machine_9_4).
location(machine_9_4, line_9).
device_action(machine_9_4, state, [read, write]).
device_action(machine_9_4, alarm, [read, notify]).
machine(machine_9_5).
location(machine_9_5, line_9).
device_action(machine_9_5, state, [read, write]).
device_action(machine_9_5, alarm, [read, notify]).
machine(machine_9_6).
location(machine_9_6, line_9).
device_action(machine_9_6, state, [read, write]).
device_action(machine_9_6, alarm, [read, notify]).
machine(machine_9_7).
location(machine_9_7, line_9).
device_action(machine_9_7, state, [read, write]).
device_action(machine_9_7, alarm, [read, notify]).
machine(machine_9_8).
location(machine_9_8, line_9).
device_action(machine_9_8, state, [read, write]).
device_action(machine_9_8, alarm, [read, notify]).
machine(machine_9_9).
location(machine_9_9, line_9).
device_action(machine_9_9, state, [read, write]).
device_action(machine_9_9, alarm, [read, notify]).
prod_line(line_10).
machine(machine_10_0).
location(machine_10_0, line_10).
device_action(machine_10_0, state, [read, write]).
device_action(machine_10_0, alarm, [read, notify]).
machine(machine_10_1).
location(machine_10_1, line_10).
device_action(machine_10_1, state, [read, write]).
device_action(machine_10_1, alarm, [read, notify]).
machine(machine_10_2).
location(machine_10_2, line_10).
device_action(machine_10_2, state, [read, write]).
device_action(machine_10_2, alarm, [read, notify]).
machine(machine_10_3).
location(machine_10_3, line_10).
device_action(machine_10_3, state, [read, write]).
device_action(machine_10_3, alarm, [read, notify]).
machine(machine_10_4).
location(machine_10_4, line_10).
device_action(machine_10_4, state, [read, write]).
device_action(machine_10_4, alarm, [read, notify]).
machine(machine_10_5).
location(machine_10_5, line_10).
device_action(machine_10_5, state, [read, write]).
device_action(machine_10_5, alarm, [read, notify]).
machine(machine_10_6).
location(machine_10_6, line_10).
device_action(machine_10_6, state, [read, write]).
device_action(machine_10_6, alarm, [read, notify]).
machine(machine_10_7).
location(machine_10_7, line_10).
device_action(machine_10_7, state, [read, write]).
device_action(machine_10_7, alarm, [read, notify]).
machine(machine_10_8).
location(machine_10_8, line_10).
device_action(machine_10_8, state, [read, write]).
device_action(machine_10_8, alarm, [read, notify]).
machine(machine_10_9).
location(machine_10_9, line_10).
device_action(machine_10_9, state, [read, write]).
device_action(machine_10_9, alarm, [read, notify]).
prod_line(line_11).
machine(machine_11_0).
location(machine_11_0, line_11).
device_action(machine_11_0, state, [read, write]).
device_action(machine_11_0, alarm, [read, notify]).
machine(machine_11_1).
location(machine_11_1, line_11).
device_action(machine_11_1, state, [read, write]).
device_action(machine_11_1, alarm, [read, notify]).
machine(machine_11_2).
location(machine_11_2, line_11).
device_action(machine_11_2, state, [read, write]).
device_action(machine_11_2, alarm, [read, notify]).
machine(machine_11_3).
location(machine_11_3, line_11).
device_action(machine_11_3, state, [read, write]).
device_action(machine_11_3, alarm, [read, notify]).
machine(machine_11_4).
location(machine_11_4, line_11).
device_action(machine_11_4, state, [read, write]).
device_action(machine_11_4, alarm, [read, notify]).
machine(machine_11_5).
location(machine_11_5, line_11).
device_action(machine_11_5, state, [read, write]).
device_action(machine_11_5, alarm, [read, notify]).
machine(machine_11_6).
location(machine_11_6, line_11).
device_action(machine_11_6, state, [read, write]).
device_action(machine_11_6, alarm, [read, notify]).
machine(machine_11_7).
location(machine_11_7, line_11).
device_action(machine_11_7, state, [read, write]).
device_action(machine_11_7, alarm, [read, notify]).
machine(machine_11_8).
location(machine_11_8, line_11).
device_action(machine_11_8, state, [read, write]).
device_action(machine_11_8, alarm, [read, notify]).
machine(machine_11_9).
location(machine_11_9, line_11).
device_action(machine_11_9, state, [read, write]).
device_action(machine_11_9, alarm, [read, notify]).
prod_line(line_12).
machine(machine_12_0).
location(machine_12_0, line_12).
device_action(machine_12_0, state, [read, write]).
device_action(machine_12_0, alarm, [read, notify]).
machine(machine_12_1).
location(machine_12_1, line_12).
device_action(machine_12_1, state, [read, write]).
device_action(machine_12_1, alarm, [read, notify]).
machine(machine_12_2).
location(machine_12_2, line_12).
device_action(machine_12_2, state, [read, write]).
device_action(machine_12_2, alarm, [read, notify]).
machine(machine_12_3).
location(machine_12_3, line_12).
device_action(machine_12_3, state, [read, write]).
device_action(machine_12_3, alarm, [read, notify]).
machine(machine_12_4).
location(machine_12_4, line_12).
device_action(machine_12_4, state, [read, write]).
device_action(machine_12_4, alarm, [read, notify]).
machine(machine_12_5).
location(machine_12_5, line_12).
device_action(machine_12_5, state, [read, write]).
device_action(machine_12_5, alarm, [read, notify]).
machine(machine_12_6).
location(machine_12_6, line_12).
device_action(machine_12_6, state, [read, write]).
device_action(machine_12_6, alarm, [read, notify]).
machine(machine_12_7).
location(machine_12_7, line_12).
device_action(machine_12_7, state, [read, write]).
device_action(machine_12_7, alarm, [read, notify]).
machine(machine_12_8).
location(machine_12_8, line_12).
device_action(machine_12_8, state, [read, write]).
device_action(machine_12_8, alarm, [read, notify]).
machine(machine_12_9).
location(machine_12_9, line_12).
device_action(machine_12_9, state, [read, write]).
device_action(machine_12_9, alarm, [read, notify]).
prod_line(line_13).
machine(machine_13_0).
location(machine_13_0, line_13).
device_action(machine_13_0, state, [read, write]).
device_action(machine_13_0, alarm, [read, notify]).
machine(machine_13_1).
location(machine_13_1, line_13).
device_action(machine_13_1, state, [read, write]).
device_action(machine_13_1, alarm, [read, notify]).
machine(machine_13_2).
location(machine_13_2, line_13).
device_action(machine_13_2, state, [read, write]).
device_action(machine_13_2, alarm, [read, notify]).
machine(machine_13_3).
location(machine_13_3, line_13).
device_action(machine_13_3, state, [read, write]).
device_action(machine_13_3, alarm, [read, notify]).
machine(machine_13_4).
location(machine_13_4, line_13).
device_action(machine_13_4, state, [read, write]).
device_action(machine_13_4, alarm, [read, notify]).
machine(machine_13_5).
location(machine_13_5, line_13).
device_action(machine_13_5, state, [read, write]).
device_action(machine_13_5, alarm, [read, notify]).
machine(machine_13_6).
location(machine_13_6, line_13).
device_action(machine_13_6, state, [read, write]).
device_action(machine_13_6, alarm, [read, notify]).
machine(machine_13_7).
location(machine_13_7, line_13).
device_action(machine_13_7, state, [read, write]).
device_action(machine_13_7, alarm, [read, notify]).
machine(machine_13_8).
location(machine_13_8, line_13).
device_action(machine_13_8, state, [read, write]).
device_action(machine_13_8, alarm, [read, notify]).
machine(machine_13_9).
location(machine_13_9, line_13).
device_action(machine_13_9, state, [read, write]).
device_action(machine_13_9, alarm, [read, notify]).
prod_line(line_14).
machine(machine_14_0).
location(machine_14_0, line_14).
device_action(machine_14_0, state, [read, write]).
device_action(machine_14_0, alarm, [read, notify]).
machine(machine_14_1).
location(machine_14_1, line_14).
device_action(machine_14_1, state, [read, write]).
device_action(machine_14_1, alarm, [read, notify]).
machine(machine_14_2).
location(machine_14_2, line_14).
device_action(machine_14_2, state, [read, write]).
device_action(machine_14_2, alarm, [read, notify]).
machine(machine_14_3).
location(machine_14_3, line_14).
device_action(machine_14_3, state, [read, write]).
device_action(machine_14_3, alarm, [read, notify]).
machine(machine_14_4).
location(machine_14_4, line_14).
device_action(machine_14_4, state, [read, write]).
device_action(machine_14_4, alarm, [read, notify]).
machine(machine_14_5).
location(machine_14_5, line_14).
device_action(machine_14_5, state, [read, write]).
device_action(machine_14_5, alarm, [read, notify]).
machine(machine_14_6).
location(machine_14_6, line_14).
device_action(machine_14_6, state, [read, write]).
device_action(machine_14_6, alarm, [read, notify]).
machine(machine_14_7).
location(machine_14_7, line_14).
device_action(machine_14_7, state, [read, write]).
device_action(machine_14_7, alarm, [read, notify]).
machine(machine_14_8).
location(machine_14_8, line_14).
device_action(machine_14_8, state, [read, write]).
device_action(machine_14_8, alarm, [read, notify]).
machine(machine_14_9).
location(machine_14_9, line_14).
device_action(machine_14_9, state, [read, write]).
device_action(machine_14_9, alarm, [read, notify]).
prod_line(line_15).
machine(machine_15_0).
location(machine_15_0, line_15).
device_action(machine_15_0, state, [read, write]).
device_action(machine_15_0, alarm, [read, notify]).
machine(machine_15_1).
location(machine_15_1, line_15).
device_action(machine_15_1, state, [read, write]).
device_action(machine_15_1, alarm, [read, notify]).
machine(machine_15_2).
location(machine_15_2, line_15).
device_action(machine_15_2, state, [read, write]).
device_action(machine_15_2, alarm, [read, notify]).
machine(machine_15_3).
location(machine_15_3, line_15).
device_action(machine_15_3, state, [read, write]).
device_action(machine_15_3, alarm, [read, notify]).
machine(machine_15_4).
location(machine_15_4, line_15).
device_action(machine_15_4, state, [read, write]).
device_action(machine_15_4, alarm, [read, notify]).
machine(machine_15_5).
location(machine_15_5, line_15).
device_action(machine_15_5, state, [read, write]).
device_action(machine_15_5, alarm, [read, notify]).
machine(machine_15_6).
location(machine_15_6, line_15).
device_action(machine_15_6, state, [read, write]).
device_action(machine_15_6, alarm, [read, notify]).
machine(machine_15_7).
location(machine_15_7, line_15).
device_action(machine_15_7, state, [read, write]).
device_action(machine_15_7, alarm, [read, notify]).
machine(machine_15_8).
location(machine_15_8, line_15).
device_action(machine_15_8, state, [read, write]).
device_action(machine_15_8, alarm, [read, notify]).
machine(machine_15_9).
location(machine_15_9, line_15).
device_action(machine_15_9, state, [read, write]).
device_action(machine_15_9, alarm, [read, notify]).
prod_line(line_16).
machine(machine_16_0).
location(machine_16_0, line_16).
device_action(machine_16_0, state, [read, write]).
device_action(machine_16_0, alarm, [read, notify]).
machine(machine_16_1).
location(machine_16_1, line_16).
device_action(machine_16_1, state, [read, write]).
device_action(machine_16_1, alarm, [read, notify]).
machine(machine_16_2).
location(machine_16_2, line_16).
device_action(machine_16_2, state, [read, write]).
device_action(machine_16_2, alarm, [read, notify]).
machine(machine_16_3).
location(machine_16_3, line_16).
device_action(machine_16_3, state, [read, write]).
device_action(machine_16_3, alarm, [read, notify]).
machine(machine_16_4).
location(machine_16_4, line_16).
device_action(machine_16_4, state, [read, write]).
device_action(machine_16_4, alarm, [read, notify]).
machine(machine_16_5).
location(machine_16_5, line_16).
device_action(machine_16_5, state, [read, write]).
device_action(machine_16_5, alarm, [read, notify]).
machine(machine_16_6).
location(machine_16_6, line_16).
device_action(machine_16_6, state, [read, write]).
device_action(machine_16_6, alarm, [read, notify]).
machine(machine_16_7).
location(machine_16_7, line_16).
device_action(machine_16_7, state, [read, write]).
device_action(machine_16_7, alarm, [read, notify]).
machine(machine_16_8).
location(machine_16_8, line_16).
device_action(machine_16_8, state, [read, write]).
device_action(machine_16_8, alarm, [read, notify]).
machine(machine_16_9).
location(machine_16_9, line_16).
device_action(machine_16_9, state, [read, write]).
device_action(machine_16_9, alarm, [read, notify]).
prod_line(line_17).
machine(machine_17_0).
location(machine_17_0, line_17).
device_action(machine_17_0, state, [read, write]).
device_action(machine_17_0, alarm, [read, notify]).
machine(machine_17_1).
location(machine_17_1, line_17).
device_action(machine_17_1, state, [read, write]).
device_action(machine_17_1, alarm, [read, notify]).
machine(machine_17_2).
location(machine_17_2, line_17).
device_action(machine_17_2, state, [read, write]).
device_action(machine_17_2, alarm, [read, notify]).
machine(machine_17_3).
location(machine_17_3, line_17).
device_action(machine_17_3, state, [read, write]).
device_action(machine_17_3, alarm, [read, notify]).
machine(machine_17_4).
location(machine_17_4, line_17).
device_action(machine_17_4, state, [read, write]).
device_action(machine_17_4, alarm, [read, notify]).
machine(machine_17_5).
location(machine_17_5, line_17).
device_action(machine_17_5, state, [read, write]).
device_action(machine_17_5, alarm, [read, notify]).
machine(machine_17_6).
location(machine_17_6, line_17).
device_action(machine_17_6, state, [read, write]).
device_action(machine_17_6, alarm, [read, notify]).
machine(machine_17_7).
location(machine_17_7, line_17).
device_action(machine_17_7, state, [read, write]).
device_action(machine_17_7, alarm, [read, notify]).
machine(machine_17_8).
location(machine_17_8, line_17).
device_action(machine_17_8, state, [read, write]).
device_action(machine_17_8, alarm, [read, notify]).
machine(machine_17_9).
location(machine_17_9, line_17).
device_action(machine_17_9, state, [read, write]).
device_action(machine_17_9, alarm, [read, notify]).
prod_line(line_18).
machine(machine_18_0).
location(machine_18_0, line_18).
device_action(machine_18_0, state, [read, write]).
device_action(machine_18_0, alarm, [read, notify]).
machine(machine_18_1).
location(machine_18_1, line_18).
device_action(machine_18_1, state, [read, write]).
device_action(machine_18_1, alarm, [read, notify]).
machine(machine_18_2).
location(machine_18_2, line_18).
device_action(machine_18_2, state, [read, write]).
device_action(machine_18_2, alarm, [read, notify]).
machine(machine_18_3).
location(machine_18_3, line_18).
device_action(machine_18_3, state, [read, write]).
device_action(machine_18_3, alarm, [read, notify]).
machine(machine_18_4).
location(machine_18_4, line_18).
device_action(machine_18_4, state, [read, write]).
device_action(machine_18_4, alarm, [read, notify]).
machine(machine_18_5).
location(machine_18_5, line_18).
device_action(machine_18_5, state, [read, write]).
device_action(machine_18_5, alarm, [read, notify]).
machine(machine_18_6).
location(machine_18_6, line_18).
device_action(machine_18_6, state, [read, write]).
device_action(machine_18_6, alarm, [read, notify]).
machine(machine_18_7).
location(machine_18_7, line_18).
device_action(machine_18_7, state, [read, write]).
device_action(machine_18_7, alarm, [read, notify]).
machine(machine_18_8).
location(machine_18_8, line_18).
device_action(machine_18_8, state, [read, write]).
device_action(machine_18_8, alarm, [read, notify]).
machine(machine_18_9).
location(machine_18_9, line_18).
device_action(machine_18_9, state, [read, write]).
device_action(machine_18_9, alarm, [read, notify]).
prod_line(line_19).
machine(machine_19_0).
location(machine_19_0, line_19).
device_action(machine_19_0, state, [read, write]).
device_action(machine_19_0, alarm, [read, notify]).
machine(machine_19_1).
location(machine_19_1, line_19).
device_action(machine_19_1, state, [read, write]).
device_action(machine_19_1, alarm, [read, notify]).
machine(machine_19_2).
location(machine_19_2, line_19).
device_action(machine_19_2, state, [read, write]).
device_action(machine_19_2, alarm, [read, notify]).
machine(machine_19_3).
location(machine_19_3, line_19).
device_action(machine_19_3, state, [read, write]).
device_action(machine_19_3, alarm, [read, notify]).
machine(machine_19_4).
location(machine_19_4, line_19).
device_action(machine_19_4, state, [read, write]).
device_action(machine_19_4, alarm, [read, notify]).
machine(machine_19_5).
location(machine_19_5, line_19).
device_action(machine_19_5, state, [read, write]).
device_action(machine_19_5, alarm, [read, notify]).
machine(machine_19_6).
location(machine_19_6, line_19).
device_action(machine_19_6, state, [read, write]).
device_action(machine_19_6, alarm, [read, notify]).
machine(machine_19_7).
location(machine_19_7, line_19).
device_action(machine_19_7, state, [read, write]).
device_action(machine_19_7, alarm, [read, notify]).
machine(machine_19_8).
location(machine_19_8, line_19).
device_action(machine_19_8, state, [read, write]).
device_action(machine_19_8, alarm, [read, notify]).
machine(machine_19_9).
location(machine_19_9, line_19).
device_action(machine_19_9, state, [read, write]).
device_action(machine_19_9, alarm, [read, notify]).
prod_line(line_20).
machine(machine_20_0).
location(machine_20_0, line_20).
device_action(machine_20_0, state, [read, write]).
device_action(machine_20_0, alarm, [read, notify]).
machine(machine_20_1).
location(machine_20_1, line_20).
device_action(machine_20_1, state, [read, write]).
device_action(machine_20_1, alarm, [read, notify]).
machine(machine_20_2).
location(machine_20_2, line_20).
device_action(machine_20_2, state, [read, write]).
device_action(machine_20_2, alarm, [read, notify]).
machine(machine_20_3).
location(machine_20_3, line_20).
device_action(machine_20_3, state, [read, write]).
device_action(machine_20_3, alarm, [read, notify]).
machine(machine_20_4).
location(machine_20_4, line_20).
device_action(machine_20_4, state, [read, write]).
device_action(machine_20_4, alarm, [read, notify]).
machine(machine_20_5).
location(machine_20_5, line_20).
device_action(machine_20_5, state, [read, write]).
device_action(machine_20_5, alarm, [read, notify]).
machine(machine_20_6).
location(machine_20_6, line_20).
device_action(machine_20_6, state, [read, write]).
device_action(machine_20_6, alarm, [read, notify]).
machine(machine_20_7).
location(machine_20_7, line_20).
device_action(machine_20_7, state, [read, write]).
device_action(machine_20_7, alarm, [read, notify]).
machine(machine_20_8).
location(machine_20_8, line_20).
device_action(machine_20_8, state, [read, write]).
device_action(machine_20_8, alarm, [read, notify]).
machine(machine_20_9).
location(machine_20_9, line_20).
device_action(machine_20_9, state, [read, write]).
device_action(machine_20_9, alarm, [read, notify]).
prod_line(line_21).
machine(machine_21_0).
location(machine_21_0, line_21).
device_action(machine_21_0, state, [read, write]).
device_action(machine_21_0, alarm, [read, notify]).
machine(machine_21_1).
location(machine_21_1, line_21).
device_action(machine_21_1, state, [read, write]).
device_action(machine_21_1, alarm, [read, notify]).
machine(machine_21_2).
location(machine_21_2, line_21).
device_action(machine_21_2, state, [read, write]).
device_action(machine_21_2, alarm, [read, notify]).
machine(machine_21_3).
location(machine_21_3, line_21).
device_action(machine_21_3, state, [read, write]).
device_action(machine_21_3, alarm, [read, notify]).
machine(machine_21_4).
location(machine_21_4, line_21).
device_action(machine_21_4, state, [read, write]).
device_action(machine_21_4, alarm, [read, notify]).
machine(machine_21_5).
location(machine_21_5, line_21).
device_action(machine_21_5, state, [read, write]).
device_action(machine_21_5, alarm, [read, notify]).
machine(machine_21_6).
location(machine_21_6, line_21).
device_action(machine_21_6, state, [read, write]).
device_action(machine_21_6, alarm, [read, notify]).
machine(machine_21_7).
location(machine_21_7, line_21).
device_action(machine_21_7, state, [read, write]).
device_action(machine_21_7, alarm, [read, notify]).
machine(machine_21_8).
location(machine_21_8, line_21).
device_action(machine_21_8, state, [read, write]).
device_action(machine_21_8, alarm, [read, notify]).
machine(machine_21_9).
location(machine_21_9, line_21).
device_action(machine_21_9, state, [read, write]).
device_action(machine_21_9, alarm, [read, notify]).
prod_line(line_22).
machine(machine_22_0).
location(machine_22_0, line_22).
device_action(machine_22_0, state, [read, write]).
device_action(machine_22_0, alarm, [read, notify]).
machine(machine_22_1).
location(machine_22_1, line_22).
device_action(machine_22_1, state, [read, write]).
device_action(machine_22_1, alarm, [read, notify]).
machine(machine_22_2).
location(machine_22_2, line_22).
device_action(machine_22_2, state, [read, write]).
device_action(machine_22_2, alarm, [read, notify]).
machine(machine_22_3).
location(machine_22_3, line_22).
device_action(machine_22_3, state, [read, write]).
device_action(machine_22_3, alarm, [read, notify]).
machine(machine_22_4).
location(machine_22_4, line_22).
device_action(machine_22_4, state, [read, write]).
device_action(machine_22_4, alarm, [read, notify]).
machine(machine_22_5).
location(machine_22_5, line_22).
device_action(machine_22_5, state, [read, write]).
device_action(machine_22_5, alarm, [read, notify]).
machine(machine_22_6).
location(machine_22_6, line_22).
device_action(machine_22_6, state, [read, write]).
device_action(machine_22_6, alarm, [read, notify]).
machine(machine_22_7).
location(machine_22_7, line_22).
device_action(machine_22_7, state, [read, write]).
device_action(machine_22_7, alarm, [read, notify]).
machine(machine_22_8).
location(machine_22_8, line_22).
device_action(machine_22_8, state, [read, write]).
device_action(machine_22_8, alarm, [read, notify]).
machine(machine_22_9).
location(machine_22_9, line_22).
device_action(machine_22_9, state, [read, write]).
device_action(machine_22_9, alarm, [read, notify]).
prod_line(line_23).
machine(machine_23_0).
location(machine_23_0, line_23).
device_action(machine_23_0, state, [read, write]).
device_action(machine_23_0, alarm, [read, notify]).
machine(machine_23_1).
location(machine_23_1, line_23).
device_action(machine_23_1, state, [read, write]).
device_action(machine_23_1, alarm, [read, notify]).
machine(machine_23_2).
location(machine_23_2, line_23).
device_action(machine_23_2, state, [read, write]).
device_action(machine_23_2, alarm, [read, notify]).
machine(machine_23_3).
location(machine_23_3, line_23).
device_action(machine_23_3, state, [read, write]).
device_action(machine_23_3, alarm, [read, notify]).
machine(machine_23_4).
location(machine_23_4, line_23).
device_action(machine_23_4, state, [read, write]).
device_action(machine_23_4, alarm, [read, notify]).
machine(machine_23_5).
location(machine_23_5, line_23).
device_action(machine_23_5, state, [read, write]).
device_action(machine_23_5, alarm, [read, notify]).
machine(machine_23_6).
location(machine_23_6, line_23).
device_action(machine_23_6, state, [read, write]).
device_action(machine_23_6, alarm, [read, notify]).
machine(machine_23_7).
location(machine_23_7, line_23).
device_action(machine_23_7, state, [read, write]).
device_action(machine_23_7, alarm, [read, notify]).
machine(machine_23_8).
location(machine_23_8, line_23).
device_action(machine_23_8, state, [read, write]).
device_action(machine_23_8, alarm, [read, notify]).
machine(machine_23_9).
location(machine_23_9, line_23).
device_action(machine_23_9, state, [read, write]).
device_action(machine_23_9, alarm, [read, notify]).
prod_line(line_24).
machine(machine_24_0).
location(machine_24_0, line_24).
device_action(machine_24_0, state, [read, write]).
device_action(machine_24_0, alarm, [read, notify]).
machine(machine_24_1).
location(machine_24_1, line_24).
device_action(machine_24_1, state, [read, write]).
device_action(machine_24_1, alarm, [read, notify]).
machine(machine_24_2).
location(machine_24_2, line_24).
device_action(machine_24_2, state, [read, write]).
device_action(machine_24_2, alarm, [read, notify]).
machine(machine_24_3).
location(machine_24_3, line_24).
device_action(machine_24_3, state, [read, write]).
device_action(machine_24_3, alarm, [read, notify]).
machine(machine_24_4).
location(machine_24_4, line_24).
device_action(machine_24_4, state, [read, write]).
device_action(machine_24_4, alarm, [read, notify]).
machine(machine_24_5).
location(machine_24_5, line_24).
device_action(machine_24_5, state, [read, write]).
device_action(machine_24_5, alarm, [read, notify]).
machine(machine_24_6).
location(machine_24_6, line_24).
device_action(machine_24_6, state, [read, write]).
device_action(machine_24_6, alarm, [read, notify]).
machine(machine_24_7).
location(machine_24_7, line_24).
device_action(machine_24_7, state, [read, write]).
device_action(machine_24_7, alarm, [read, notify]).
machine(machine_24_8).
location(machine_24_8, line_24).
device_action(machine_24_8, state, [read, write]).
device_action(machine_24_8, alarm, [read, notify]).
machine(machine_24_9).
location(machine_24_9, line_24).
device_action(machine_24_9, state, [read, write]).
device_action(machine_24_9, alarm, [read, notify]).
prod_line(line_25).
machine(machine_25_0).
location(machine_25_0, line_25).
device_action(machine_25_0, state, [read, write]).
device_action(machine_25_0, alarm, [read, notify]).
machine(machine_25_1).
location(machine_25_1, line_25).
device_action(machine_25_1, state, [read, write]).
device_action(machine_25_1, alarm, [read, notify]).
machine(machine_25_2).
location(machine_25_2, line_25).
device_action(machine_25_2, state, [read, write]).
device_action(machine_25_2, alarm, [read, notify]).
machine(machine_25_3).
location(machine_25_3, line_25).
device_action(machine_25_3, state, [read, write]).
device_action(machine_25_3, alarm, [read, notify]).
machine(machine_25_4).
location(machine_25_4, line_25).
device_action(machine_25_4, state, [read, write]).
device_action(machine_25_4, alarm, [read, notify]).
machine(machine_25_5).
location(machine_25_5, line_25).
device_action(machine_25_5, state, [read, write]).
device_action(machine_25_5, alarm, [read, notify]).
machine(machine_25_6).
location(machine_25_6, line_25).
device_action(machine_25_6, state, [read, write]).
device_action(machine_25_6, alarm, [read, notify]).
machine(machine_25_7).
location(machine_25_7, line_25).
device_action(machine_25_7, state, [read, write]).
device_action(machine_25_7, alarm, [read, notify]).
machine(machine_25_8).
location(machine_25_8, line_25).
device_action(machine_25_8, state, [read, write]).
device_action(machine_25_8, alarm, [read, notify]).
machine(machine_25_9).
location(machine_25_9, line_25).
device_action(machine_25_9, state, [read, write]).
device_action(machine_25_9, alarm, [read, notify]).
prod_line(line_26).
machine(machine_26_0).
location(machine_26_0, line_26).
device_action(machine_26_0, state, [read, write]).
device_action(machine_26_0, alarm, [read, notify]).
machine(machine_26_1).
location(machine_26_1, line_26).
device_action(machine_26_1, state, [read, write]).
device_action(machine_26_1, alarm, [read, notify]).
machine(machine_26_2).
location(machine_26_2, line_26).
device_action(machine_26_2, state, [read, write]).
device_action(machine_26_2, alarm, [read, notify]).
machine(machine_26_3).
location(machine_26_3, line_26).
device_action(machine_26_3, state, [read, write]).
device_action(machine_26_3, alarm, [read, notify]).
machine(machine_26_4).
location(machine_26_4, line_26).
device_action(machine_26_4, state, [read, write]).
device_action(machine_26_4, alarm, [read, notify]).
machine(machine_26_5).
location(machine_26_5, line_26).
device_action(machine_26_5, state, [read, write]).
device_action(machine_26_5, alarm, [read, notify]).
machine(machine_26_6).
location(machine_26_6, line_26).
device_action(machine_26_6, state, [read, write]).
device_action(machine_26_6, alarm, [read, notify]).
machine(machine_26_7).
location(machine_26_7, line_26).
device_action(machine_26_7, state, [read, write]).
device_action(machine_26_7, alarm, [read, notify]).
machine(machine_26_8).
location(machine_26_8, line_26).
device_action(machine_26_8, state, [read, write]).
device_action(machine_26_8, alarm, [read, notify]).
machine(machine_26_9).
location(machine_26_9, line_26).
device_action(machine_26_9, state, [read, write]).
device_action(machine_26_9, alarm, [read, notify]).
prod_line(line_27).
machine(machine_27_0).
location(machine_27_0, line_27).
device_action(machine_27_0, state, [read, write]).
device_action(machine_27_0, alarm, [read, notify]).
machine(machine_27_1).
location(machine_27_1, line_27).
device_action(machine_27_1, state, [read, write]).
device_action(machine_27_1, alarm, [read, notify]).
machine(machine_27_2).
location(machine_27_2, line_27).
device_action(machine_27_2, state, [read, write]).
device_action(machine_27_2, alarm, [read, notify]).
machine(machine_27_3).
location(machine_27_3, line_27).
device_action(machine_27_3, state, [read, write]).
device_action(machine_27_3, alarm, [read, notify]).
machine(machine_27_4).
location(machine_27_4, line_27).
device_action(machine_27_4, state, [read, write]).
device_action(machine_27_4, alarm, [read, notify]).
machine(machine_27_5).
location(machine_27_5, line_27).
device_action(machine_27_5, state, [read, write]).
device_action(machine_27_5, alarm, [read, notify]).
machine(machine_27_6).
location(machine_27_6, line_27).
device_action(machine_27_6, state, [read, write]).
device_action(machine_27_6, alarm, [read, notify]).
machine(machine_27_7).
location(machine_27_7, line_27).
device_action(machine_27_7, state, [read, write]).
device_action(machine_27_7, alarm, [read, notify]).
machine(machine_27_8).
location(machine_27_8, line_27).
device_action(machine_27_8, state, [read, write]).
device_action(machine_27_8, alarm, [read, notify]).
machine(machine_27_9).
location(machine_27_9, line_27).
device_action(machine_27_9, state, [read, write]).
device_action(machine_27_9, alarm, [read, notify]).
prod_line(line_28).
machine(machine_28_0).
location(machine_28_0, line_28).
device_action(machine_28_0, state, [read, write]).
device_action(machine_28_0, alarm, [read, notify]).
machine(machine_28_1).
location(machine_28_1, line_28).
device_action(machine_28_1, state, [read, write]).
device_action(machine_28_1, alarm, [read, notify]).
machine(machine_28_2).
location(machine_28_2, line_28).
device_action(machine_28_2, state, [read, write]).
device_action(machine_28_2, alarm, [read, notify]).
machine(machine_28_3).
location(machine_28_3, line_28).
device_action(machine_28_3, state, [read, write]).
device_action(machine_28_3, alarm, [read, notify]).
machine(machine_28_4).
location(machine_28_4, line_28).
device_action(machine_28_4, state, [read, write]).
device_action(machine_28_4, alarm, [read, notify]).
machine(machine_28_5).
location(machine_28_5, line_28).
device_action(machine_28_5, state, [read, write]).
device_action(machine_28_5, alarm, [read, notify]).
machine(machine_28_6).
location(machine_28_6, line_28).
device_action(machine_28_6, state, [read, write]).
device_action(machine_28_6, alarm, [read, notify]).
machine(machine_28_7).
location(machine_28_7, line_28).
device_action(machine_28_7, state, [read, write]).
device_action(machine_28_7, alarm, [read, notify]).
machine(machine_28_8).
location(machine_28_8, line_28).
device_action(machine_28_8, state, [read, write]).
device_action(machine_28_8, alarm, [read, notify]).
machine(machine_28_9).
location(machine_28_9, line_28).
device_action(machine_28_9, state, [read, write]).
device_action(machine_28_9, alarm, [read, notify]).
prod_line(line_29).
machine(machine_29_0).
location(machine_29_0, line_29).
device_action(machine_29_0, state, [read, write]).
device_action(machine_29_0, alarm, [read, notify]).
machine(machine_29_1).
location(machine_29_1, line_29).
device_action(machine_29_1, state, [read, write]).
device_action(machine_29_1, alarm, [read, notify]).
machine(machine_29_2).
location(machine_29_2, line_29).
device_action(machine_29_2, state, [read, write]).
device_action(machine_29_2, alarm, [read, notify]).
machine(machine_29_3).
location(machine_29_3, line_29).
device_action(machine_29_3, state, [read, write]).
device_action(machine_29_3, alarm, [read, notify]).
machine(machine_29_4).
location(machine_29_4, line_29).
device_action(machine_29_4, state, [read, write]).
device_action(machine_29_4, alarm, [read, notify]).
machine(machine_29_5).
location(machine_29_5, line_29).
device_action(machine_29_5, state, [read, write]).
device_action(machine_29_5, alarm, [read, notify]).
machine(machine_29_6).
location(machine_29_6, line_29).
device_action(machine_29_6, state, [read, write]).
device_action(machine_29_6, alarm, [read, notify]).
machine(machine_29_7).
location(machine_29_7, line_29).
device_action(machine_29_7, state, [read, write]).
device_action(machine_29_7, alarm, [read, notify]).
machine(machine_29_8).
location(machine_29_8, line_29).
device_action(machine_29_8, state, [read, write]).
device_action(machine_29_8, alarm, [read, notify]).
machine(machine_29_9).
location(machine_29_9, line_29).
device_action(machine_29_9, state, [read, write]).
device_action(machine_29_9, alarm, [read, notify]).
prod_line(line_30).
machine(machine_30_0).
location(machine_30_0, line_30).
device_action(machine_30_0, state, [read, write]).
device_action(machine_30_0, alarm, [read, notify]).
machine(machine_30_1).
location(machine_30_1, line_30).
device_action(machine_30_1, state, [read, write]).
device_action(machine_30_1, alarm, [read, notify]).
machine(machine_30_2).
location(machine_30_2, line_30).
device_action(machine_30_2, state, [read, write]).
device_action(machine_30_2, alarm, [read, notify]).
machine(machine_30_3).
location(machine_30_3, line_30).
device_action(machine_30_3, state, [read, write]).
device_action(machine_30_3, alarm, [read, notify]).
machine(machine_30_4).
location(machine_30_4, line_30).
device_action(machine_30_4, state, [read, write]).
device_action(machine_30_4, alarm, [read, notify]).
machine(machine_30_5).
location(machine_30_5, line_30).
device_action(machine_30_5, state, [read, write]).
device_action(machine_30_5, alarm, [read, notify]).
machine(machine_30_6).
location(machine_30_6, line_30).
device_action(machine_30_6, state, [read, write]).
device_action(machine_30_6, alarm, [read, notify]).
machine(machine_30_7).
location(machine_30_7, line_30).
device_action(machine_30_7, state, [read, write]).
device_action(machine_30_7, alarm, [read, notify]).
machine(machine_30_8).
location(machine_30_8, line_30).
device_action(machine_30_8, state, [read, write]).
device_action(machine_30_8, alarm, [read, notify]).
machine(machine_30_9).
location(machine_30_9, line_30).
device_action(machine_30_9, state, [read, write]).
device_action(machine_30_9, alarm, [read, notify]).
prod_line(line_31).
machine(machine_31_0).
location(machine_31_0, line_31).
device_action(machine_31_0, state, [read, write]).
device_action(machine_31_0, alarm, [read, notify]).
machine(machine_31_1).
location(machine_31_1, line_31).
device_action(machine_31_1, state, [read, write]).
device_action(machine_31_1, alarm, [read, notify]).
machine(machine_31_2).
location(machine_31_2, line_31).
device_action(machine_31_2, state, [read, write]).
device_action(machine_31_2, alarm, [read, notify]).
machine(machine_31_3).
location(machine_31_3, line_31).
device_action(machine_31_3, state, [read, write]).
device_action(machine_31_3, alarm, [read, notify]).
machine(machine_31_4).
location(machine_31_4, line_31).
device_action(machine_31_4, state, [read, write]).
device_action(machine_31_4, alarm, [read, notify]).
machine(machine_31_5).
location(machine_31_5, line_31).
device_action(machine_31_5, state, [read, write]).
device_action(machine_31_5, alarm, [read, notify]).
machine(machine_31_6).
location(machine_31_6, line_31).
device_action(machine_31_6, state, [read, write]).
device_action(machine_31_6, alarm, [read, notify]).
machine(machine_31_7).
location(machine_31_7, line_31).
device_action(machine_31_7, state, [read, write]).
device_action(machine_31_7, alarm, [read, notify]).
machine(machine_31_8).
location(machine_31_8, line_31).
device_action(machine_31_8, state, [read, write]).
device_action(machine_31_8, alarm, [read, notify]).
machine(machine_31_9).
location(machine_31_9, line_31).
device_action(machine_31_9, state, [read, write]).
device_action(machine_31_9, alarm, [read, notify]).
prod_line(line_32).
machine(machine_32_0).
location(machine_32_0, line_32).
device_action(machine_32_0, state, [read, write]).
device_action(machine_32_0, alarm, [read, notify]).
machine(machine_32_1).
location(machine_32_1, line_32).
device_action(machine_32_1, state, [read, write]).
device_action(machine_32_1, alarm, [read, notify]).
machine(machine_32_2).
location(machine_32_2, line_32).
device_action(machine_32_2, state, [read, write]).
device_action(machine_32_2, alarm, [read, notify]).
machine(machine_32_3).
location(machine_32_3, line_32).
device_action(machine_32_3, state, [read, write]).
device_action(machine_32_3, alarm, [read, notify]).
machine(machine_32_4).
location(machine_32_4, line_32).
device_action(machine_32_4, state, [read, write]).
device_action(machine_32_4, alarm, [read, notify]).
machine(machine_32_5).
location(machine_32_5, line_32).
device_action(machine_32_5, state, [read, write]).
device_action(machine_32_5, alarm, [read, notify]).
machine(machine_32_6).
location(machine_32_6, line_32).
device_action(machine_32_6, state, [read, write]).
device_action(machine_32_6, alarm, [read, notify]).
machine(machine_32_7).
location(machine_32_7, line_32).
device_action(machine_32_7, state, [read, write]).
device_action(machine_32_7, alarm, [read, notify]).
machine(machine_32_8).
location(machine_32_8, line_32).
device_action(machine_32_8, state, [read, write]).
device_action(machine_32_8, alarm, [read, notify]).
machine(machine_32_9).
location(machine_32_9, line_32).
device_action(machine_32_9, state, [read, write]).
device_action(machine_32_9, alarm, [read, notify]).
prod_line(line_33).
machine(machine_33_0).
location(machine_33_0, line_33).
device_action(machine_33_0, state, [read, write]).
device_action(machine_33_0, alarm, [read, notify]).
machine(machine_33_1).
location(machine_33_1, line_33).
device_action(machine_33_1, state, [read, write]).
device_action(machine_33_1, alarm, [read, notify]).
machine(machine_33_2).
location(machine_33_2, line_33).
device_action(machine_33_2, state, [read, write]).
device_action(machine_33_2, alarm, [read, notify]).
machine(machine_33_3).
location(machine_33_3, line_33).
device_action(machine_33_3, state, [read, write]).
device_action(machine_33_3, alarm, [read, notify]).
machine(machine_33_4).
location(machine_33_4, line_33).
device_action(machine_33_4, state, [read, write]).
device_action(machine_33_4, alarm, [read, notify]).
machine(machine_33_5).
location(machine_33_5, line_33).
device_action(machine_33_5, state, [read, write]).
device_action(machine_33_5, alarm, [read, notify]).
machine(machine_33_6).
location(machine_33_6, line_33).
device_action(machine_33_6, state, [read, write]).
device_action(machine_33_6, alarm, [read, notify]).
machine(machine_33_7).
location(machine_33_7, line_33).
device_action(machine_33_7, state, [read, write]).
device_action(machine_33_7, alarm, [read, notify]).
machine(machine_33_8).
location(machine_33_8, line_33).
device_action(machine_33_8, state, [read, write]).
device_action(machine_33_8, alarm, [read, notify]).
machine(machine_33_9).
location(machine_33_9, line_33).
device_action(machine_33_9, state, [read, write]).
device_action(machine_33_9, alarm, [read, notify]).
prod_line(line_34).
machine(machine_34_0).
location(machine_34_0, line_34).
device_action(machine_34_0, state, [read, write]).
device_action(machine_34_0, alarm, [read, notify]).
machine(machine_34_1).
location(machine_34_1, line_34).
device_action(machine_34_1, state, [read, write]).
device_action(machine_34_1, alarm, [read, notify]).
machine(machine_34_2).
location(machine_34_2, line_34).
device_action(machine_34_2, state, [read, write]).
device_action(machine_34_2, alarm, [read, notify]).
machine(machine_34_3).
location(machine_34_3, line_34).
device_action(machine_34_3, state, [read, write]).
device_action(machine_34_3, alarm, [read, notify]).
machine(machine_34_4).
location(machine_34_4, line_34).
device_action(machine_34_4, state, [read, write]).
device_action(machine_34_4, alarm, [read, notify]).
machine(machine_34_5).
location(machine_34_5, line_34).
device_action(machine_34_5, state, [read, write]).
device_action(machine_34_5, alarm, [read, notify]).
machine(machine_34_6).
location(machine_34_6, line_34).
device_action(machine_34_6, state, [read, write]).
device_action(machine_34_6, alarm, [read, notify]).
machine(machine_34_7).
location(machine_34_7, line_34).
device_action(machine_34_7, state, [read, write]).
device_action(machine_34_7, alarm, [read, notify]).
machine(machine_34_8).
location(machine_34_8, line_34).
device_action(machine_34_8, state, [read, write]).
device_action(machine_34_8, alarm, [read, notify]).
machine(machine_34_9).
location(machine_34_9, line_34).
device_action(machine_34_9, state, [read, write]).
device_action(machine_34_9, alarm, [read, notify]).
prod_line(line_35).
machine(machine_35_0).
location(machine_35_0, line_35).
device_action(machine_35_0, state, [read, write]).
device_action(machine_35_0, alarm, [read, notify]).
machine(machine_35_1).
location(machine_35_1, line_35).
device_action(machine_35_1, state, [read, write]).
device_action(machine_35_1, alarm, [read, notify]).
machine(machine_35_2).
location(machine_35_2, line_35).
device_action(machine_35_2, state, [read, write]).
device_action(machine_35_2, alarm, [read, notify]).
machine(machine_35_3).
location(machine_35_3, line_35).
device_action(machine_35_3, state, [read, write]).
device_action(machine_35_3, alarm, [read, notify]).
machine(machine_35_4).
location(machine_35_4, line_35).
device_action(machine_35_4, state, [read, write]).
device_action(machine_35_4, alarm, [read, notify]).
machine(machine_35_5).
location(machine_35_5, line_35).
device_action(machine_35_5, state, [read, write]).
device_action(machine_35_5, alarm, [read, notify]).
machine(machine_35_6).
location(machine_35_6, line_35).
device_action(machine_35_6, state, [read, write]).
device_action(machine_35_6, alarm, [read, notify]).
machine(machine_35_7).
location(machine_35_7, line_35).
device_action(machine_35_7, state, [read, write]).
device_action(machine_35_7, alarm, [read, notify]).
machine(machine_35_8).
location(machine_35_8, line_35).
device_action(machine_35_8, state, [read, write]).
device_action(machine_35_8, alarm, [read, notify]).
machine(machine_35_9).
location(machine_35_9, line_35).
device_action(machine_35_9, state, [read, write]).
device_action(machine_35_9, alarm, [read, notify]).
prod_line(line_36).
machine(machine_36_0).
location(machine_36_0, line_36).
device_action(machine_36_0, state, [read, write]).
device_action(machine_36_0, alarm, [read, notify]).
machine(machine_36_1).
location(machine_36_1, line_36).
device_action(machine_36_1, state, [read, write]).
device_action(machine_36_1, alarm, [read, notify]).
machine(machine_36_2).
location(machine_36_2, line_36).
device_action(machine_36_2, state, [read, write]).
device_action(machine_36_2, alarm, [read, notify]).
machine(machine_36_3).
location(machine_36_3, line_36).
device_action(machine_36_3, state, [read, write]).
device_action(machine_36_3, alarm, [read, notify]).
machine(machine_36_4).
location(machine_36_4, line_36).
device_action(machine_36_4, state, [read, write]).
device_action(machine_36_4, alarm, [read, notify]).
machine(machine_36_5).
location(machine_36_5, line_36).
device_action(machine_36_5, state, [read, write]).
device_action(machine_36_5, alarm, [read, notify]).
machine(machine_36_6).
location(machine_36_6, line_36).
device_action(machine_36_6, state, [read, write]).
device_action(machine_36_6, alarm, [read, notify]).
machine(machine_36_7).
location(machine_36_7, line_36).
device_action(machine_36_7, state, [read, write]).
device_action(machine_36_7, alarm, [read, notify]).
machine(machine_36_8).
location(machine_36_8, line_36).
device_action(machine_36_8, state, [read, write]).
device_action(machine_36_8, alarm, [read, notify]).
machine(machine_36_9).
location(machine_36_9, line_36).
device_action(machine_36_9, state, [read, write]).
device_action(machine_36_9, alarm, [read, notify]).
prod_line(line_37).
machine(machine_37_0).
location(machine_37_0, line_37).
device_action(machine_37_0, state, [read, write]).
device_action(machine_37_0, alarm, [read, notify]).
machine(machine_37_1).
location(machine_37_1, line_37).
device_action(machine_37_1, state, [read, write]).
device_action(machine_37_1, alarm, [read, notify]).
machine(machine_37_2).
location(machine_37_2, line_37).
device_action(machine_37_2, state, [read, write]).
device_action(machine_37_2, alarm, [read, notify]).
machine(machine_37_3).
location(machine_37_3, line_37).
device_action(machine_37_3, state, [read, write]).
device_action(machine_37_3, alarm, [read, notify]).
machine(machine_37_4).
location(machine_37_4, line_37).
device_action(machine_37_4, state, [read, write]).
device_action(machine_37_4, alarm, [read, notify]).
machine(machine_37_5).
location(machine_37_5, line_37).
device_action(machine_37_5, state, [read, write]).
device_action(machine_37_5, alarm, [read, notify]).
machine(machine_37_6).
location(machine_37_6, line_37).
device_action(machine_37_6, state, [read, write]).
device_action(machine_37_6, alarm, [read, notify]).
machine(machine_37_7).
location(machine_37_7, line_37).
device_action(machine_37_7, state, [read, write]).
device_action(machine_37_7, alarm, [read, notify]).
machine(machine_37_8).
location(machine_37_8, line_37).
device_action(machine_37_8, state, [read, write]).
device_action(machine_37_8, alarm, [read, notify]).
machine(machine_37_9).
location(machine_37_9, line_37).
device_action(machine_37_9, state, [read, write]).
device_action(machine_37_9, alarm, [read, notify]).
prod_line(line_38).
machine(machine_38_0).
location(machine_38_0, line_38).
device_action(machine_38_0, state, [read, write]).
device_action(machine_38_0, alarm, [read, notify]).
machine(machine_38_1).
location(machine_38_1, line_38).
device_action(machine_38_1, state, [read, write]).
device_action(machine_38_1, alarm, [read, notify]).
machine(machine_38_2).
location(machine_38_2, line_38).
device_action(machine_38_2, state, [read, write]).
device_action(machine_38_2, alarm, [read, notify]).
machine(machine_38_3).
location(machine_38_3, line_38).
device_action(machine_38_3, state, [read, write]).
device_action(machine_38_3, alarm, [read, notify]).
machine(machine_38_4).
location(machine_38_4, line_38).
device_action(machine_38_4, state, [read, write]).
device_action(machine_38_4, alarm, [read, notify]).
machine(machine_38_5).
location(machine_38_5, line_38).
device_action(machine_38_5, state, [read, write]).
device_action(machine_38_5, alarm, [read, notify]).
machine(machine_38_6).
location(machine_38_6, line_38).
device_action(machine_38_6, state, [read, write]).
device_action(machine_38_6, alarm, [read, notify]).
machine(machine_38_7).
location(machine_38_7, line_38).
device_action(machine_38_7, state, [read, write]).
device_action(machine_38_7, alarm, [read, notify]).
machine(machine_38_8).
location(machine_38_8, line_38).
device_action(machine_38_8, state, [read, write]).
device_action(machine_38_8, alarm, [read, notify]).
machine(machine_38_9).
location(machine_38_9, line_38).
device_action(machine_38_9, state, [read, write]).
device_action(machine_38_9, alarm, [read, notify]).
prod_line(line_39).
machine(machine_39_0).
location(machine_39_0, line_39).
device_action(machine_39_0, state, [read, write]).
device_action(machine_39_0, alarm, [read, notify]).
machine(machine_39_1).
location(machine_39_1, line_39).
device_action(machine_39_1, state, [read, write]).
device_action(machine_39_1, alarm, [read, notify]).
machine(machine_39_2).
location(machine_39_2, line_39).
device_action(machine_39_2, state, [read, write]).
device_action(machine_39_2, alarm, [read, notify]).
machine(machine_39_3).
location(machine_39_3, line_39).
device_action(machine_39_3, state, [read, write]).
device_action(machine_39_3, alarm, [read, notify]).
machine(machine_39_4).
location(machine_39_4, line_39).
device_action(machine_39_4, state, [read, write]).
device_action(machine_39_4, alarm, [read, notify]).
machine(machine_39_5).
location(machine_39_5, line_39).
device_action(machine_39_5, state, [read, write]).
device_action(machine_39_5, alarm, [read, notify]).
machine(machine_39_6).
location(machine_39_6, line_39).
device_action(machine_39_6, state, [read, write]).
device_action(machine_39_6, alarm, [read, notify]).
machine(machine_39_7).
location(machine_39_7, line_39).
device_action(machine_39_7, state, [read, write]).
device_action(machine_39_7, alarm, [read, notify]).
machine(machine_39_8).
location(machine_39_8, line_39).
device_action(machine_39_8, state, [read, write]).
device_action(machine_39_8, alarm, [read, notify]).
machine(machine_39_9).
location(machine_39_9, line_39).
device_action(machine_39_9, state, [read, write]).
device_action(machine_39_9, alarm, [read, notify]).
prod_line(line_40).
machine(machine_40_0).
location(machine_40_0, line_40).
device_action(machine_40_0, state, [read, write]).
device_action(machine_40_0, alarm, [read, notify]).
machine(machine_40_1).
location(machine_40_1, line_40).
device_action(machine_40_1, state, [read, write]).
device_action(machine_40_1, alarm, [read, notify]).
machine(machine_40_2).
location(machine_40_2, line_40).
device_action(machine_40_2, state, [read, write]).
device_action(machine_40_2, alarm, [read, notify]).
machine(machine_40_3).
location(machine_40_3, line_40).
device_action(machine_40_3, state, [read, write]).
device_action(machine_40_3, alarm, [read, notify]).
machine(machine_40_4).
location(machine_40_4, line_40).
device_action(machine_40_4, state, [read, write]).
device_action(machine_40_4, alarm, [read, notify]).
machine(machine_40_5).
location(machine_40_5, line_40).
device_action(machine_40_5, state, [read, write]).
device_action(machine_40_5, alarm, [read, notify]).
machine(machine_40_6).
location(machine_40_6, line_40).
device_action(machine_40_6, state, [read, write]).
device_action(machine_40_6, alarm, [read, notify]).
machine(machine_40_7).
location(machine_40_7, line_40).
device_action(machine_40_7, state, [read, write]).
device_action(machine_40_7, alarm, [read, notify]).
machine(machine_40_8).
location(machine_40_8, line_40).
device_action(machine_40_8, state, [read, write]).
device_action(machine_40_8, alarm, [read, notify]).
machine(machine_40_9).
location(machine_40_9, line_40).
device_action(machine_40_9, state, [read, write]).
device_action(machine_40_9, alarm, [read, notify]).
prod_line(line_41).
machine(machine_41_0).
location(machine_41_0, line_41).
device_action(machine_41_0, state, [read, write]).
device_action(machine_41_0, alarm, [read, notify]).
machine(machine_41_1).
location(machine_41_1, line_41).
device_action(machine_41_1, state, [read, write]).
device_action(machine_41_1, alarm, [read, notify]).
machine(machine_41_2).
location(machine_41_2, line_41).
device_action(machine_41_2, state, [read, write]).
device_action(machine_41_2, alarm, [read, notify]).
machine(machine_41_3).
location(machine_41_3, line_41).
device_action(machine_41_3, state, [read, write]).
device_action(machine_41_3, alarm, [read, notify]).
machine(machine_41_4).
location(machine_41_4, line_41).
device_action(machine_41_4, state, [read, write]).
device_action(machine_41_4, alarm, [read, notify]).
machine(machine_41_5).
location(machine_41_5, line_41).
device_action(machine_41_5, state, [read, write]).
device_action(machine_41_5, alarm, [read, notify]).
machine(machine_41_6).
location(machine_41_6, line_41).
device_action(machine_41_6, state, [read, write]).
device_action(machine_41_6, alarm, [read, notify]).
machine(machine_41_7).
location(machine_41_7, line_41).
device_action(machine_41_7, state, [read, write]).
device_action(machine_41_7, alarm, [read, notify]).
machine(machine_41_8).
location(machine_41_8, line_41).
device_action(machine_41_8, state, [read, write]).
device_action(machine_41_8, alarm, [read, notify]).
machine(machine_41_9).
location(machine_41_9, line_41).
device_action(machine_41_9, state, [read, write]).
device_action(machine_41_9, alarm, [read, notify]).
prod_line(line_42).
machine(machine_42_0).
location(machine_42_0, line_42).
device_action(machine_42_0, state, [read, write]).
device_action(machine_42_0, alarm, [read, notify]).
machine(machine_42_1).
location(machine_42_1, line_42).
device_action(machine_42_1, state, [read, write]).
device_action(machine_42_1, alarm, [read, notify]).
machine(machine_42_2).
location(machine_42_2, line_42).
device_action(machine_42_2, state, [read, write]).
device_action(machine_42_2, alarm, [read, notify]).
machine(machine_42_3).
location(machine_42_3, line_42).
device_action(machine_42_3, state, [read, write]).
device_action(machine_42_3, alarm, [read, notify]).
machine(machine_42_4).
location(machine_42_4, line_42).
device_action(machine_42_4, state, [read, write]).
device_action(machine_42_4, alarm, [read, notify]).
machine(machine_42_5).
location(machine_42_5, line_42).
device_action(machine_42_5, state, [read, write]).
device_action(machine_42_5, alarm, [read, notify]).
machine(machine_42_6).
location(machine_42_6, line_42).
device_action(machine_42_6, state, [read, write]).
device_action(machine_42_6, alarm, [read, notify]).
machine(machine_42_7).
location(machine_42_7, line_42).
device_action(machine_42_7, state, [read, write]).
device_action(machine_42_7, alarm, [read, notify]).
machine(machine_42_8).
location(machine_42_8, line_42).
device_action(machine_42_8, state, [read, write]).
device_action(machine_42_8, alarm, [read, notify]).
machine(machine_42_9).
location(machine_42_9, line_42).
device_action(machine_42_9, state, [read, write]).
device_action(machine_42_9, alarm, [read, notify]).
prod_line(line_43).
machine(machine_43_0).
location(machine_43_0, line_43).
device_action(machine_43_0, state, [read, write]).
device_action(machine_43_0, alarm, [read, notify]).
machine(machine_43_1).
location(machine_43_1, line_43).
device_action(machine_43_1, state, [read, write]).
device_action(machine_43_1, alarm, [read, notify]).
machine(machine_43_2).
location(machine_43_2, line_43).
device_action(machine_43_2, state, [read, write]).
device_action(machine_43_2, alarm, [read, notify]).
machine(machine_43_3).
location(machine_43_3, line_43).
device_action(machine_43_3, state, [read, write]).
device_action(machine_43_3, alarm, [read, notify]).
machine(machine_43_4).
location(machine_43_4, line_43).
device_action(machine_43_4, state, [read, write]).
device_action(machine_43_4, alarm, [read, notify]).
machine(machine_43_5).
location(machine_43_5, line_43).
device_action(machine_43_5, state, [read, write]).
device_action(machine_43_5, alarm, [read, notify]).
machine(machine_43_6).
location(machine_43_6, line_43).
device_action(machine_43_6, state, [read, write]).
device_action(machine_43_6, alarm, [read, notify]).
machine(machine_43_7).
location(machine_43_7, line_43).
device_action(machine_43_7, state, [read, write]).
device_action(machine_43_7, alarm, [read, notify]).
machine(machine_43_8).
location(machine_43_8, line_43).
device_action(machine_43_8, state, [read, write]).
device_action(machine_43_8, alarm, [read, notify]).
machine(machine_43_9).
location(machine_43_9, line_43).
device_action(machine_43_9, state, [read, write]).
device_action(machine_43_9, alarm, [read, notify]).
prod_line(line_44).
machine(machine_44_0).
location(machine_44_0, line_44).
device_action(machine_44_0, state, [read, write]).
device_action(machine_44_0, alarm, [read, notify]).
machine(machine_44_1).
location(machine_44_1, line_44).
device_action(machine_44_1, state, [read, write]).
device_action(machine_44_1, alarm, [read, notify]).
machine(machine_44_2).
location(machine_44_2, line_44).
device_action(machine_44_2, state, [read, write]).
device_action(machine_44_2, alarm, [read, notify]).
machine(machine_44_3).
location(machine_44_3, line_44).
device_action(machine_44_3, state, [read, write]).
device_action(machine_44_3, alarm, [read, notify]).
machine(machine_44_4).
location(machine_44_4, line_44).
device_action(machine_44_4, state, [read, write]).
device_action(machine_44_4, alarm, [read, notify]).
machine(machine_44_5).
location(machine_44_5, line_44).
device_action(machine_44_5, state, [read, write]).
device_action(machine_44_5, alarm, [read, notify]).
machine(machine_44_6).
location(machine_44_6, line_44).
device_action(machine_44_6, state, [read, write]).
device_action(machine_44_6, alarm, [read, notify]).
machine(machine_44_7).
location(machine_44_7, line_44).
device_action(machine_44_7, state, [read, write]).
device_action(machine_44_7, alarm, [read, notify]).
machine(machine_44_8).
location(machine_44_8, line_44).
device_action(machine_44_8, state, [read, write]).
device_action(machine_44_8, alarm, [read, notify]).
machine(machine_44_9).
location(machine_44_9, line_44).
device_action(machine_44_9, state, [read, write]).
device_action(machine_44_9, alarm, [read, notify]).
prod_line(line_45).
machine(machine_45_0).
location(machine_45_0, line_45).
device_action(machine_45_0, state, [read, write]).
device_action(machine_45_0, alarm, [read, notify]).
machine(machine_45_1).
location(machine_45_1, line_45).
device_action(machine_45_1, state, [read, write]).
device_action(machine_45_1, alarm, [read, notify]).
machine(machine_45_2).
location(machine_45_2, line_45).
device_action(machine_45_2, state, [read, write]).
device_action(machine_45_2, alarm, [read, notify]).
machine(machine_45_3).
location(machine_45_3, line_45).
device_action(machine_45_3, state, [read, write]).
device_action(machine_45_3, alarm, [read, notify]).
machine(machine_45_4).
location(machine_45_4, line_45).
device_action(machine_45_4, state, [read, write]).
device_action(machine_45_4, alarm, [read, notify]).
machine(machine_45_5).
location(machine_45_5, line_45).
device_action(machine_45_5, state, [read, write]).
device_action(machine_45_5, alarm, [read, notify]).
machine(machine_45_6).
location(machine_45_6, line_45).
device_action(machine_45_6, state, [read, write]).
device_action(machine_45_6, alarm, [read, notify]).
machine(machine_45_7).
location(machine_45_7, line_45).
device_action(machine_45_7, state, [read, write]).
device_action(machine_45_7, alarm, [read, notify]).
machine(machine_45_8).
location(machine_45_8, line_45).
device_action(machine_45_8, state, [read, write]).
device_action(machine_45_8, alarm, [read, notify]).
machine(machine_45_9).
location(machine_45_9, line_45).
device_action(machine_45_9, state, [read, write]).
device_action(machine_45_9, alarm, [read, notify]).
prod_line(line_46).
machine(machine_46_0).
location(machine_46_0, line_46).
device_action(machine_46_0, state, [read, write]).
device_action(machine_46_0, alarm, [read, notify]).
machine(machine_46_1).
location(machine_46_1, line_46).
device_action(machine_46_1, state, [read, write]).
device_action(machine_46_1, alarm, [read, notify]).
machine(machine_46_2).
location(machine_46_2, line_46).
device_action(machine_46_2, state, [read, write]).
device_action(machine_46_2, alarm, [read, notify]).
machine(machine_46_3).
location(machine_46_3, line_46).
device_action(machine_46_3, state, [read, write]).
device_action(machine_46_3, alarm, [read, notify]).
machine(machine_46_4).
location(machine_46_4, line_46).
device_action(machine_46_4, state, [read, write]).
device_action(machine_46_4, alarm, [read, notify]).
machine(machine_46_5).
location(machine_46_5, line_46).
device_action(machine_46_5, state, [read, write]).
device_action(machine_46_5, alarm, [read, notify]).
machine(machine_46_6).
location(machine_46_6, line_46).
device_action(machine_46_6, state, [read, write]).
device_action(machine_46_6, alarm, [read, notify]).
machine(machine_46_7).
location(machine_46_7, line_46).
device_action(machine_46_7, state, [read, write]).
device_action(machine_46_7, alarm, [read, notify]).
machine(machine_46_8).
location(machine_46_8, line_46).
device_action(machine_46_8, state, [read, write]).
device_action(machine_46_8, alarm, [read, notify]).
machine(machine_46_9).
location(machine_46_9, line_46).
device_action(machine_46_9, state, [read, write]).
device_action(machine_46_9, alarm, [read, notify]).
prod_line(line_47).
machine(machine_47_0).
location(machine_47_0, line_47).
device_action(machine_47_0, state, [read, write]).
device_action(machine_47_0, alarm, [read, notify]).
machine(machine_47_1).
location(machine_47_1, line_47).
device_action(machine_47_1, state, [read, write]).
device_action(machine_47_1, alarm, [read, notify]).
machine(machine_47_2).
location(machine_47_2, line_47).
device_action(machine_47_2, state, [read, write]).
device_action(machine_47_2, alarm, [read, notify]).
machine(machine_47_3).
location(machine_47_3, line_47).
device_action(machine_47_3, state, [read, write]).
device_action(machine_47_3, alarm, [read, notify]).
machine(machine_47_4).
location(machine_47_4, line_47).
device_action(machine_47_4, state, [read, write]).
device_action(machine_47_4, alarm, [read, notify]).
machine(machine_47_5).
location(machine_47_5, line_47).
device_action(machine_47_5, state, [read, write]).
device_action(machine_47_5, alarm, [read, notify]).
machine(machine_47_6).
location(machine_47_6, line_47).
device_action(machine_47_6, state, [read, write]).
device_action(machine_47_6, alarm, [read, notify]).
machine(machine_47_7).
location(machine_47_7, line_47).
device_action(machine_47_7, state, [read, write]).
device_action(machine_47_7, alarm, [read, notify]).
machine(machine_47_8).
location(machine_47_8, line_47).
device_action(machine_47_8, state, [read, write]).
device_action(machine_47_8, alarm, [read, notify]).
machine(machine_47_9).
location(machine_47_9, line_47).
device_action(machine_47_9, state, [read, write]).
device_action(machine_47_9, alarm, [read, notify]).
prod_line(line_48).
machine(machine_48_0).
location(machine_48_0, line_48).
device_action(machine_48_0, state, [read, write]).
device_action(machine_48_0, alarm, [read, notify]).
machine(machine_48_1).
location(machine_48_1, line_48).
device_action(machine_48_1, state, [read, write]).
device_action(machine_48_1, alarm, [read, notify]).
machine(machine_48_2).
location(machine_48_2, line_48).
device_action(machine_48_2, state, [read, write]).
device_action(machine_48_2, alarm, [read, notify]).
machine(machine_48_3).
location(machine_48_3, line_48).
device_action(machine_48_3, state, [read, write]).
device_action(machine_48_3, alarm, [read, notify]).
machine(machine_48_4).
location(machine_48_4, line_48).
device_action(machine_48_4, state, [read, write]).
device_action(machine_48_4, alarm, [read, notify]).
machine(machine_48_5).
location(machine_48_5, line_48).
device_action(machine_48_5, state, [read, write]).
device_action(machine_48_5, alarm, [read, notify]).
machine(machine_48_6).
location(machine_48_6, line_48).
device_action(machine_48_6, state, [read, write]).
device_action(machine_48_6, alarm, [read, notify]).
machine(machine_48_7).
location(machine_48_7, line_48).
device_action(machine_48_7, state, [read, write]).
device_action(machine_48_7, alarm, [read, notify]).
machine(machine_48_8).
location(machine_48_8, line_48).
device_action(machine_48_8, state, [read, write]).
device_action(machine_48_8, alarm, [read, notify]).
machine(machine_48_9).
location(machine_48_9, line_48).
device_action(machine_48_9, state, [read, write]).
device_action(machine_48_9, alarm, [read, notify]).
prod_line(line_49).
machine(machine_49_0).
location(machine_49_0, line_49).
device_action(machine_49_0, state, [read, write]).
device_action(machine_49_0, alarm, [read, notify]).
machine(machine_49_1).
location(machine_49_1, line_49).
device_action(machine_49_1, state, [read, write]).
device_action(machine_49_1, alarm, [read, notify]).
machine(machine_49_2).
location(machine_49_2, line_49).
device_action(machine_49_2, state, [read, write]).
device_action(machine_49_2, alarm, [read, notify]).
machine(machine_49_3).
location(machine_49_3, line_49).
device_action(machine_49_3, state, [read, write]).
device_action(machine_49_3, alarm, [read, notify]).
machine(machine_49_4).
location(machine_49_4, line_49).
device_action(machine_49_4, state, [read, write]).
device_action(machine_49_4, alarm, [read, notify]).
machine(machine_49_5).
location(machine_49_5, line_49).
device_action(machine_49_5, state, [read, write]).
device_action(machine_49_5, alarm, [read, notify]).
machine(machine_49_6).
location(machine_49_6, line_49).
device_action(machine_49_6, state, [read, write]).
device_action(machine_49_6, alarm, [read, notify]).
machine(machine_49_7).
location(machine_49_7, line_49).
device_action(machine_49_7, state, [read, write]).
device_action(machine_49_7, alarm, [read, notify]).
machine(machine_49_8).
location(machine_49_8, line_49).
device_action(machine_49_8, state, [read, write]).
device_action(machine_49_8, alarm, [read, notify]).
machine(machine_49_9).
location(machine_49_9, line_49).
device_action(machine_49_9, state, [read, write]).
device_action(machine_49_9, alarm, [read, notify]).
prod_line(line_50).
machine(machine_50_0).
location(machine_50_0, line_50).
device_action(machine_50_0, state, [read, write]).
device_action(machine_50_0, alarm, [read, notify]).
machine(machine_50_1).
location(machine_50_1, line_50).
device_action(machine_50_1, state, [read, write]).
device_action(machine_50_1, alarm, [read, notify]).
machine(machine_50_2).
location(machine_50_2, line_50).
device_action(machine_50_2, state, [read, write]).
device_action(machine_50_2, alarm, [read, notify]).
machine(machine_50_3).
location(machine_50_3, line_50).
device_action(machine_50_3, state, [read, write]).
device_action(machine_50_3, alarm, [read, notify]).
machine(machine_50_4).
location(machine_50_4, line_50).
device_action(machine_50_4, state, [read, write]).
device_action(machine_50_4, alarm, [read, notify]).
machine(machine_50_5).
location(machine_50_5, line_50).
device_action(machine_50_5, state, [read, write]).
device_action(machine_50_5, alarm, [read, notify]).
machine(machine_50_6).
location(machine_50_6, line_50).
device_action(machine_50_6, state, [read, write]).
device_action(machine_50_6, alarm, [read, notify]).
machine(machine_50_7).
location(machine_50_7, line_50).
device_action(machine_50_7, state, [read, write]).
device_action(machine_50_7, alarm, [read, notify]).
machine(machine_50_8).
location(machine_50_8, line_50).
device_action(machine_50_8, state, [read, write]).
device_action(machine_50_8, alarm, [read, notify]).
machine(machine_50_9).
location(machine_50_9, line_50).
device_action(machine_50_9, state, [read, write]).
device_action(machine_50_9, alarm, [read, notify]).
prod_line(line_51).
machine(machine_51_0).
location(machine_51_0, line_51).
device_action(machine_51_0, state, [read, write]).
device_action(machine_51_0, alarm, [read, notify]).
machine(machine_51_1).
location(machine_51_1, line_51).
device_action(machine_51_1, state, [read, write]).
device_action(machine_51_1, alarm, [read, notify]).
machine(machine_51_2).
location(machine_51_2, line_51).
device_action(machine_51_2, state, [read, write]).
device_action(machine_51_2, alarm, [read, notify]).
machine(machine_51_3).
location(machine_51_3, line_51).
device_action(machine_51_3, state, [read, write]).
device_action(machine_51_3, alarm, [read, notify]).
machine(machine_51_4).
location(machine_51_4, line_51).
device_action(machine_51_4, state, [read, write]).
device_action(machine_51_4, alarm, [read, notify]).
machine(machine_51_5).
location(machine_51_5, line_51).
device_action(machine_51_5, state, [read, write]).
device_action(machine_51_5, alarm, [read, notify]).
machine(machine_51_6).
location(machine_51_6, line_51).
device_action(machine_51_6, state, [read, write]).
device_action(machine_51_6, alarm, [read, notify]).
machine(machine_51_7).
location(machine_51_7, line_51).
device_action(machine_51_7, state, [read, write]).
device_action(machine_51_7, alarm, [read, notify]).
machine(machine_51_8).
location(machine_51_8, line_51).
device_action(machine_51_8, state, [read, write]).
device_action(machine_51_8, alarm, [read, notify]).
machine(machine_51_9).
location(machine_51_9, line_51).
device_action(machine_51_9, state, [read, write]).
device_action(machine_51_9, alarm, [read, notify]).
prod_line(line_52).
machine(machine_52_0).
location(machine_52_0, line_52).
device_action(machine_52_0, state, [read, write]).
device_action(machine_52_0, alarm, [read, notify]).
machine(machine_52_1).
location(machine_52_1, line_52).
device_action(machine_52_1, state, [read, write]).
device_action(machine_52_1, alarm, [read, notify]).
machine(machine_52_2).
location(machine_52_2, line_52).
device_action(machine_52_2, state, [read, write]).
device_action(machine_52_2, alarm, [read, notify]).
machine(machine_52_3).
location(machine_52_3, line_52).
device_action(machine_52_3, state, [read, write]).
device_action(machine_52_3, alarm, [read, notify]).
machine(machine_52_4).
location(machine_52_4, line_52).
device_action(machine_52_4, state, [read, write]).
device_action(machine_52_4, alarm, [read, notify]).
machine(machine_52_5).
location(machine_52_5, line_52).
device_action(machine_52_5, state, [read, write]).
device_action(machine_52_5, alarm, [read, notify]).
machine(machine_52_6).
location(machine_52_6, line_52).
device_action(machine_52_6, state, [read, write]).
device_action(machine_52_6, alarm, [read, notify]).
machine(machine_52_7).
location(machine_52_7, line_52).
device_action(machine_52_7, state, [read, write]).
device_action(machine_52_7, alarm, [read, notify]).
machine(machine_52_8).
location(machine_52_8, line_52).
device_action(machine_52_8, state, [read, write]).
device_action(machine_52_8, alarm, [read, notify]).
machine(machine_52_9).
location(machine_52_9, line_52).
device_action(machine_52_9, state, [read, write]).
device_action(machine_52_9, alarm, [read, notify]).
prod_line(line_53).
machine(machine_53_0).
location(machine_53_0, line_53).
device_action(machine_53_0, state, [read, write]).
device_action(machine_53_0, alarm, [read, notify]).
machine(machine_53_1).
location(machine_53_1, line_53).
device_action(machine_53_1, state, [read, write]).
device_action(machine_53_1, alarm, [read, notify]).
machine(machine_53_2).
location(machine_53_2, line_53).
device_action(machine_53_2, state, [read, write]).
device_action(machine_53_2, alarm, [read, notify]).
machine(machine_53_3).
location(machine_53_3, line_53).
device_action(machine_53_3, state, [read, write]).
device_action(machine_53_3, alarm, [read, notify]).
machine(machine_53_4).
location(machine_53_4, line_53).
device_action(machine_53_4, state, [read, write]).
device_action(machine_53_4, alarm, [read, notify]).
machine(machine_53_5).
location(machine_53_5, line_53).
device_action(machine_53_5, state, [read, write]).
device_action(machine_53_5, alarm, [read, notify]).
machine(machine_53_6).
location(machine_53_6, line_53).
device_action(machine_53_6, state, [read, write]).
device_action(machine_53_6, alarm, [read, notify]).
machine(machine_53_7).
location(machine_53_7, line_53).
device_action(machine_53_7, state, [read, write]).
device_action(machine_53_7, alarm, [read, notify]).
machine(machine_53_8).
location(machine_53_8, line_53).
device_action(machine_53_8, state, [read, write]).
device_action(machine_53_8, alarm, [read, notify]).
machine(machine_53_9).
location(machine_53_9, line_53).
device_action(machine_53_9, state, [read, write]).
device_action(machine_53_9, alarm, [read, notify]).
prod_line(line_54).
machine(machine_54_0).
location(machine_54_0, line_54).
device_action(machine_54_0, state, [read, write]).
device_action(machine_54_0, alarm, [read, notify]).
machine(machine_54_1).
location(machine_54_1, line_54).
device_action(machine_54_1, state, [read, write]).
device_action(machine_54_1, alarm, [read, notify]).
machine(machine_54_2).
location(machine_54_2, line_54).
device_action(machine_54_2, state, [read, write]).
device_action(machine_54_2, alarm, [read, notify]).
machine(machine_54_3).
location(machine_54_3, line_54).
device_action(machine_54_3, state, [read, write]).
device_action(machine_54_3, alarm, [read, notify]).
machine(machine_54_4).
location(machine_54_4, line_54).
device_action(machine_54_4, state, [read, write]).
device_action(machine_54_4, alarm, [read, notify]).
machine(machine_54_5).
location(machine_54_5, line_54).
device_action(machine_54_5, state, [read, write]).
device_action(machine_54_5, alarm, [read, notify]).
machine(machine_54_6).
location(machine_54_6, line_54).
device_action(machine_54_6, state, [read, write]).
device_action(machine_54_6, alarm, [read, notify]).
machine(machine_54_7).
location(machine_54_7, line_54).
device_action(machine_54_7, state, [read, write]).
device_action(machine_54_7, alarm, [read, notify]).
machine(machine_54_8).
location(machine_54_8, line_54).
device_action(machine_54_8, state, [read, write]).
device_action(machine_54_8, alarm, [read, notify]).
machine(machine_54_9).
location(machine_54_9, line_54).
device_action(machine_54_9, state, [read, write]).
device_action(machine_54_9, alarm, [read, notify]).
prod_line(line_55).
machine(machine_55_0).
location(machine_55_0, line_55).
device_action(machine_55_0, state, [read, write]).
device_action(machine_55_0, alarm, [read, notify]).
machine(machine_55_1).
location(machine_55_1, line_55).
device_action(machine_55_1, state, [read, write]).
device_action(machine_55_1, alarm, [read, notify]).
machine(machine_55_2).
location(machine_55_2, line_55).
device_action(machine_55_2, state, [read, write]).
device_action(machine_55_2, alarm, [read, notify]).
machine(machine_55_3).
location(machine_55_3, line_55).
device_action(machine_55_3, state, [read, write]).
device_action(machine_55_3, alarm, [read, notify]).
machine(machine_55_4).
location(machine_55_4, line_55).
device_action(machine_55_4, state, [read, write]).
device_action(machine_55_4, alarm, [read, notify]).
machine(machine_55_5).
location(machine_55_5, line_55).
device_action(machine_55_5, state, [read, write]).
device_action(machine_55_5, alarm, [read, notify]).
machine(machine_55_6).
location(machine_55_6, line_55).
device_action(machine_55_6, state, [read, write]).
device_action(machine_55_6, alarm, [read, notify]).
machine(machine_55_7).
location(machine_55_7, line_55).
device_action(machine_55_7, state, [read, write]).
device_action(machine_55_7, alarm, [read, notify]).
machine(machine_55_8).
location(machine_55_8, line_55).
device_action(machine_55_8, state, [read, write]).
device_action(machine_55_8, alarm, [read, notify]).
machine(machine_55_9).
location(machine_55_9, line_55).
device_action(machine_55_9, state, [read, write]).
device_action(machine_55_9, alarm, [read, notify]).
prod_line(line_56).
machine(machine_56_0).
location(machine_56_0, line_56).
device_action(machine_56_0, state, [read, write]).
device_action(machine_56_0, alarm, [read, notify]).
machine(machine_56_1).
location(machine_56_1, line_56).
device_action(machine_56_1, state, [read, write]).
device_action(machine_56_1, alarm, [read, notify]).
machine(machine_56_2).
location(machine_56_2, line_56).
device_action(machine_56_2, state, [read, write]).
device_action(machine_56_2, alarm, [read, notify]).
machine(machine_56_3).
location(machine_56_3, line_56).
device_action(machine_56_3, state, [read, write]).
device_action(machine_56_3, alarm, [read, notify]).
machine(machine_56_4).
location(machine_56_4, line_56).
device_action(machine_56_4, state, [read, write]).
device_action(machine_56_4, alarm, [read, notify]).
machine(machine_56_5).
location(machine_56_5, line_56).
device_action(machine_56_5, state, [read, write]).
device_action(machine_56_5, alarm, [read, notify]).
machine(machine_56_6).
location(machine_56_6, line_56).
device_action(machine_56_6, state, [read, write]).
device_action(machine_56_6, alarm, [read, notify]).
machine(machine_56_7).
location(machine_56_7, line_56).
device_action(machine_56_7, state, [read, write]).
device_action(machine_56_7, alarm, [read, notify]).
machine(machine_56_8).
location(machine_56_8, line_56).
device_action(machine_56_8, state, [read, write]).
device_action(machine_56_8, alarm, [read, notify]).
machine(machine_56_9).
location(machine_56_9, line_56).
device_action(machine_56_9, state, [read, write]).
device_action(machine_56_9, alarm, [read, notify]).
prod_line(line_57).
machine(machine_57_0).
location(machine_57_0, line_57).
device_action(machine_57_0, state, [read, write]).
device_action(machine_57_0, alarm, [read, notify]).
machine(machine_57_1).
location(machine_57_1, line_57).
device_action(machine_57_1, state, [read, write]).
device_action(machine_57_1, alarm, [read, notify]).
machine(machine_57_2).
location(machine_57_2, line_57).
device_action(machine_57_2, state, [read, write]).
device_action(machine_57_2, alarm, [read, notify]).
machine(machine_57_3).
location(machine_57_3, line_57).
device_action(machine_57_3, state, [read, write]).
device_action(machine_57_3, alarm, [read, notify]).
machine(machine_57_4).
location(machine_57_4, line_57).
device_action(machine_57_4, state, [read, write]).
device_action(machine_57_4, alarm, [read, notify]).
machine(machine_57_5).
location(machine_57_5, line_57).
device_action(machine_57_5, state, [read, write]).
device_action(machine_57_5, alarm, [read, notify]).
machine(machine_57_6).
location(machine_57_6, line_57).
device_action(machine_57_6, state, [read, write]).
device_action(machine_57_6, alarm, [read, notify]).
machine(machine_57_7).
location(machine_57_7, line_57).
device_action(machine_57_7, state, [read, write]).
device_action(machine_57_7, alarm, [read, notify]).
machine(machine_57_8).
location(machine_57_8, line_57).
device_action(machine_57_8, state, [read, write]).
device_action(machine_57_8, alarm, [read, notify]).
machine(machine_57_9).
location(machine_57_9, line_57).
device_action(machine_57_9, state, [read, write]).
device_action(machine_57_9, alarm, [read, notify]).
prod_line(line_58).
machine(machine_58_0).
location(machine_58_0, line_58).
device_action(machine_58_0, state, [read, write]).
device_action(machine_58_0, alarm, [read, notify]).
machine(machine_58_1).
location(machine_58_1, line_58).
device_action(machine_58_1, state, [read, write]).
device_action(machine_58_1, alarm, [read, notify]).
machine(machine_58_2).
location(machine_58_2, line_58).
device_action(machine_58_2, state, [read, write]).
device_action(machine_58_2, alarm, [read, notify]).
machine(machine_58_3).
location(machine_58_3, line_58).
device_action(machine_58_3, state, [read, write]).
device_action(machine_58_3, alarm, [read, notify]).
machine(machine_58_4).
location(machine_58_4, line_58).
device_action(machine_58_4, state, [read, write]).
device_action(machine_58_4, alarm, [read, notify]).
machine(machine_58_5).
location(machine_58_5, line_58).
device_action(machine_58_5, state, [read, write]).
device_action(machine_58_5, alarm, [read, notify]).
machine(machine_58_6).
location(machine_58_6, line_58).
device_action(machine_58_6, state, [read, write]).
device_action(machine_58_6, alarm, [read, notify]).
machine(machine_58_7).
location(machine_58_7, line_58).
device_action(machine_58_7, state, [read, write]).
device_action(machine_58_7, alarm, [read, notify]).
machine(machine_58_8).
location(machine_58_8, line_58).
device_action(machine_58_8, state, [read, write]).
device_action(machine_58_8, alarm, [read, notify]).
machine(machine_58_9).
location(machine_58_9, line_58).
device_action(machine_58_9, state, [read, write]).
device_action(machine_58_9, alarm, [read, notify]).
prod_line(line_59).
machine(machine_59_0).
location(machine_59_0, line_59).
device_action(machine_59_0, state, [read, write]).
device_action(machine_59_0, alarm, [read, notify]).
machine(machine_59_1).
location(machine_59_1, line_59).
device_action(machine_59_1, state, [read, write]).
device_action(machine_59_1, alarm, [read, notify]).
machine(machine_59_2).
location(machine_59_2, line_59).
device_action(machine_59_2, state, [read, write]).
device_action(machine_59_2, alarm, [read, notify]).
machine(machine_59_3).
location(machine_59_3, line_59).
device_action(machine_59_3, state, [read, write]).
device_action(machine_59_3, alarm, [read, notify]).
machine(machine_59_4).
location(machine_59_4, line_59).
device_action(machine_59_4, state, [read, write]).
device_action(machine_59_4, alarm, [read, notify]).
machine(machine_59_5).
location(machine_59_5, line_59).
device_action(machine_59_5, state, [read, write]).
device_action(machine_59_5, alarm, [read, notify]).
machine(machine_59_6).
location(machine_59_6, line_59).
device_action(machine_59_6, state, [read, write]).
device_action(machine_59_6, alarm, [read, notify]).
machine(machine_59_7).
location(machine_59_7, line_59).
device_action(machine_59_7, state, [read, write]).
device_action(machine_59_7, alarm, [read, notify]).
machine(machine_59_8).
location(machine_59_8, line_59).
device_action(machine_59_8, state, [read, write]).
device_action(machine_59_8, alarm, [read, notify]).
machine(machine_59_9).
location(machine_59_9, line_59).
device_action(machine_59_9, state, [read, write]).
device_action(machine_59_9, alarm, [read, notify]).
prod_line(line_60).
machine(machine_60_0).
location(machine_60_0, line_60).
device_action(machine_60_0, state, [read, write]).
device_action(machine_60_0, alarm, [read, notify]).
machine(machine_60_1).
location(machine_60_1, line_60).
device_action(machine_60_1, state, [read, write]).
device_action(machine_60_1, alarm, [read, notify]).
machine(machine_60_2).
location(machine_60_2, line_60).
device_action(machine_60_2, state, [read, write]).
device_action(machine_60_2, alarm, [read, notify]).
machine(machine_60_3).
location(machine_60_3, line_60).
device_action(machine_60_3, state, [read, write]).
device_action(machine_60_3, alarm, [read, notify]).
machine(machine_60_4).
location(machine_60_4, line_60).
device_action(machine_60_4, state, [read, write]).
device_action(machine_60_4, alarm, [read, notify]).
machine(machine_60_5).
location(machine_60_5, line_60).
device_action(machine_60_5, state, [read, write]).
device_action(machine_60_5, alarm, [read, notify]).
machine(machine_60_6).
location(machine_60_6, line_60).
device_action(machine_60_6, state, [read, write]).
device_action(machine_60_6, alarm, [read, notify]).
machine(machine_60_7).
location(machine_60_7, line_60).
device_action(machine_60_7, state, [read, write]).
device_action(machine_60_7, alarm, [read, notify]).
machine(machine_60_8).
location(machine_60_8, line_60).
device_action(machine_60_8, state, [read, write]).
device_action(machine_60_8, alarm, [read, notify]).
machine(machine_60_9).
location(machine_60_9, line_60).
device_action(machine_60_9, state, [read, write]).
device_action(machine_60_9, alarm, [read, notify]).
prod_line(line_61).
machine(machine_61_0).
location(machine_61_0, line_61).
device_action(machine_61_0, state, [read, write]).
device_action(machine_61_0, alarm, [read, notify]).
machine(machine_61_1).
location(machine_61_1, line_61).
device_action(machine_61_1, state, [read, write]).
device_action(machine_61_1, alarm, [read, notify]).
machine(machine_61_2).
location(machine_61_2, line_61).
device_action(machine_61_2, state, [read, write]).
device_action(machine_61_2, alarm, [read, notify]).
machine(machine_61_3).
location(machine_61_3, line_61).
device_action(machine_61_3, state, [read, write]).
device_action(machine_61_3, alarm, [read, notify]).
machine(machine_61_4).
location(machine_61_4, line_61).
device_action(machine_61_4, state, [read, write]).
device_action(machine_61_4, alarm, [read, notify]).
machine(machine_61_5).
location(machine_61_5, line_61).
device_action(machine_61_5, state, [read, write]).
device_action(machine_61_5, alarm, [read, notify]).
machine(machine_61_6).
location(machine_61_6, line_61).
device_action(machine_61_6, state, [read, write]).
device_action(machine_61_6, alarm, [read, notify]).
machine(machine_61_7).
location(machine_61_7, line_61).
device_action(machine_61_7, state, [read, write]).
device_action(machine_61_7, alarm, [read, notify]).
machine(machine_61_8).
location(machine_61_8, line_61).
device_action(machine_61_8, state, [read, write]).
device_action(machine_61_8, alarm, [read, notify]).
machine(machine_61_9).
location(machine_61_9, line_61).
device_action(machine_61_9, state, [read, write]).
device_action(machine_61_9, alarm, [read, notify]).
prod_line(line_62).
machine(machine_62_0).
location(machine_62_0, line_62).
device_action(machine_62_0, state, [read, write]).
device_action(machine_62_0, alarm, [read, notify]).
machine(machine_62_1).
location(machine_62_1, line_62).
device_action(machine_62_1, state, [read, write]).
device_action(machine_62_1, alarm, [read, notify]).
machine(machine_62_2).
location(machine_62_2, line_62).
device_action(machine_62_2, state, [read, write]).
device_action(machine_62_2, alarm, [read, notify]).
machine(machine_62_3).
location(machine_62_3, line_62).
device_action(machine_62_3, state, [read, write]).
device_action(machine_62_3, alarm, [read, notify]).
machine(machine_62_4).
location(machine_62_4, line_62).
device_action(machine_62_4, state, [read, write]).
device_action(machine_62_4, alarm, [read, notify]).
machine(machine_62_5).
location(machine_62_5, line_62).
device_action(machine_62_5, state, [read, write]).
device_action(machine_62_5, alarm, [read, notify]).
machine(machine_62_6).
location(machine_62_6, line_62).
device_action(machine_62_6, state, [read, write]).
device_action(machine_62_6, alarm, [read, notify]).
machine(machine_62_7).
location(machine_62_7, line_62).
device_action(machine_62_7, state, [read, write]).
device_action(machine_62_7, alarm, [read, notify]).
machine(machine_62_8).
location(machine_62_8, line_62).
device_action(machine_62_8, state, [read, write]).
device_action(machine_62_8, alarm, [read, notify]).
machine(machine_62_9).
location(machine_62_9, line_62).
device_action(machine_62_9, state, [read, write]).
device_action(machine_62_9, alarm, [read, notify]).
prod_line(line_63).
machine(machine_63_0).
location(machine_63_0, line_63).
device_action(machine_63_0, state, [read, write]).
device_action(machine_63_0, alarm, [read, notify]).
machine(machine_63_1).
location(machine_63_1, line_63).
device_action(machine_63_1, state, [read, write]).
device_action(machine_63_1, alarm, [read, notify]).
machine(machine_63_2).
location(machine_63_2, line_63).
device_action(machine_63_2, state, [read, write]).
device_action(machine_63_2, alarm, [read, notify]).
machine(machine_63_3).
location(machine_63_3, line_63).
device_action(machine_63_3, state, [read, write]).
device_action(machine_63_3, alarm, [read, notify]).
machine(machine_63_4).
location(machine_63_4, line_63).
device_action(machine_63_4, state, [read, write]).
device_action(machine_63_4, alarm, [read, notify]).
machine(machine_63_5).
location(machine_63_5, line_63).
device_action(machine_63_5, state, [read, write]).
device_action(machine_63_5, alarm, [read, notify]).
machine(machine_63_6).
location(machine_63_6, line_63).
device_action(machine_63_6, state, [read, write]).
device_action(machine_63_6, alarm, [read, notify]).
machine(machine_63_7).
location(machine_63_7, line_63).
device_action(machine_63_7, state, [read, write]).
device_action(machine_63_7, alarm, [read, notify]).
machine(machine_63_8).
location(machine_63_8, line_63).
device_action(machine_63_8, state, [read, write]).
device_action(machine_63_8, alarm, [read, notify]).
machine(machine_63_9).
location(machine_63_9, line_63).
device_action(machine_63_9, state, [read, write]).
device_action(machine_63_9, alarm, [read, notify]).
prod_line(line_64).
machine(machine_64_0).
location(machine_64_0, line_64).
device_action(machine_64_0, state, [read, write]).
device_action(machine_64_0, alarm, [read, notify]).
machine(machine_64_1).
location(machine_64_1, line_64).
device_action(machine_64_1, state, [read, write]).
device_action(machine_64_1, alarm, [read, notify]).
machine(machine_64_2).
location(machine_64_2, line_64).
device_action(machine_64_2, state, [read, write]).
device_action(machine_64_2, alarm, [read, notify]).
machine(machine_64_3).
location(machine_64_3, line_64).
device_action(machine_64_3, state, [read, write]).
device_action(machine_64_3, alarm, [read, notify]).
machine(machine_64_4).
location(machine_64_4, line_64).
device_action(machine_64_4, state, [read, write]).
device_action(machine_64_4, alarm, [read, notify]).
machine(machine_64_5).
location(machine_64_5, line_64).
device_action(machine_64_5, state, [read, write]).
device_action(machine_64_5, alarm, [read, notify]).
machine(machine_64_6).
location(machine_64_6, line_64).
device_action(machine_64_6, state, [read, write]).
device_action(machine_64_6, alarm, [read, notify]).
machine(machine_64_7).
location(machine_64_7, line_64).
device_action(machine_64_7, state, [read, write]).
device_action(machine_64_7, alarm, [read, notify]).
machine(machine_64_8).
location(machine_64_8, line_64).
device_action(machine_64_8, state, [read, write]).
device_action(machine_64_8, alarm, [read, notify]).
machine(machine_64_9).
location(machine_64_9, line_64).
device_action(machine_64_9, state, [read, write]).
device_action(machine_64_9, alarm, [read, notify]).
prod_line(line_65).
machine(machine_65_0).
location(machine_65_0, line_65).
device_action(machine_65_0, state, [read, write]).
device_action(machine_65_0, alarm, [read, notify]).
machine(machine_65_1).
location(machine_65_1, line_65).
device_action(machine_65_1, state, [read, write]).
device_action(machine_65_1, alarm, [read, notify]).
machine(machine_65_2).
location(machine_65_2, line_65).
device_action(machine_65_2, state, [read, write]).
device_action(machine_65_2, alarm, [read, notify]).
machine(machine_65_3).
location(machine_65_3, line_65).
device_action(machine_65_3, state, [read, write]).
device_action(machine_65_3, alarm, [read, notify]).
machine(machine_65_4).
location(machine_65_4, line_65).
device_action(machine_65_4, state, [read, write]).
device_action(machine_65_4, alarm, [read, notify]).
machine(machine_65_5).
location(machine_65_5, line_65).
device_action(machine_65_5, state, [read, write]).
device_action(machine_65_5, alarm, [read, notify]).
machine(machine_65_6).
location(machine_65_6, line_65).
device_action(machine_65_6, state, [read, write]).
device_action(machine_65_6, alarm, [read, notify]).
machine(machine_65_7).
location(machine_65_7, line_65).
device_action(machine_65_7, state, [read, write]).
device_action(machine_65_7, alarm, [read, notify]).
machine(machine_65_8).
location(machine_65_8, line_65).
device_action(machine_65_8, state, [read, write]).
device_action(machine_65_8, alarm, [read, notify]).
machine(machine_65_9).
location(machine_65_9, line_65).
device_action(machine_65_9, state, [read, write]).
device_action(machine_65_9, alarm, [read, notify]).
prod_line(line_66).
machine(machine_66_0).
location(machine_66_0, line_66).
device_action(machine_66_0, state, [read, write]).
device_action(machine_66_0, alarm, [read, notify]).
machine(machine_66_1).
location(machine_66_1, line_66).
device_action(machine_66_1, state, [read, write]).
device_action(machine_66_1, alarm, [read, notify]).
machine(machine_66_2).
location(machine_66_2, line_66).
device_action(machine_66_2, state, [read, write]).
device_action(machine_66_2, alarm, [read, notify]).
machine(machine_66_3).
location(machine_66_3, line_66).
device_action(machine_66_3, state, [read, write]).
device_action(machine_66_3, alarm, [read, notify]).
machine(machine_66_4).
location(machine_66_4, line_66).
device_action(machine_66_4, state, [read, write]).
device_action(machine_66_4, alarm, [read, notify]).
machine(machine_66_5).
location(machine_66_5, line_66).
device_action(machine_66_5, state, [read, write]).
device_action(machine_66_5, alarm, [read, notify]).
machine(machine_66_6).
location(machine_66_6, line_66).
device_action(machine_66_6, state, [read, write]).
device_action(machine_66_6, alarm, [read, notify]).
machine(machine_66_7).
location(machine_66_7, line_66).
device_action(machine_66_7, state, [read, write]).
device_action(machine_66_7, alarm, [read, notify]).
machine(machine_66_8).
location(machine_66_8, line_66).
device_action(machine_66_8, state, [read, write]).
device_action(machine_66_8, alarm, [read, notify]).
machine(machine_66_9).
location(machine_66_9, line_66).
device_action(machine_66_9, state, [read, write]).
device_action(machine_66_9, alarm, [read, notify]).
prod_line(line_67).
machine(machine_67_0).
location(machine_67_0, line_67).
device_action(machine_67_0, state, [read, write]).
device_action(machine_67_0, alarm, [read, notify]).
machine(machine_67_1).
location(machine_67_1, line_67).
device_action(machine_67_1, state, [read, write]).
device_action(machine_67_1, alarm, [read, notify]).
machine(machine_67_2).
location(machine_67_2, line_67).
device_action(machine_67_2, state, [read, write]).
device_action(machine_67_2, alarm, [read, notify]).
machine(machine_67_3).
location(machine_67_3, line_67).
device_action(machine_67_3, state, [read, write]).
device_action(machine_67_3, alarm, [read, notify]).
machine(machine_67_4).
location(machine_67_4, line_67).
device_action(machine_67_4, state, [read, write]).
device_action(machine_67_4, alarm, [read, notify]).
machine(machine_67_5).
location(machine_67_5, line_67).
device_action(machine_67_5, state, [read, write]).
device_action(machine_67_5, alarm, [read, notify]).
machine(machine_67_6).
location(machine_67_6, line_67).
device_action(machine_67_6, state, [read, write]).
device_action(machine_67_6, alarm, [read, notify]).
machine(machine_67_7).
location(machine_67_7, line_67).
device_action(machine_67_7, state, [read, write]).
device_action(machine_67_7, alarm, [read, notify]).
machine(machine_67_8).
location(machine_67_8, line_67).
device_action(machine_67_8, state, [read, write]).
device_action(machine_67_8, alarm, [read, notify]).
machine(machine_67_9).
location(machine_67_9, line_67).
device_action(machine_67_9, state, [read, write]).
device_action(machine_67_9, alarm, [read, notify]).
prod_line(line_68).
machine(machine_68_0).
location(machine_68_0, line_68).
device_action(machine_68_0, state, [read, write]).
device_action(machine_68_0, alarm, [read, notify]).
machine(machine_68_1).
location(machine_68_1, line_68).
device_action(machine_68_1, state, [read, write]).
device_action(machine_68_1, alarm, [read, notify]).
machine(machine_68_2).
location(machine_68_2, line_68).
device_action(machine_68_2, state, [read, write]).
device_action(machine_68_2, alarm, [read, notify]).
machine(machine_68_3).
location(machine_68_3, line_68).
device_action(machine_68_3, state, [read, write]).
device_action(machine_68_3, alarm, [read, notify]).
machine(machine_68_4).
location(machine_68_4, line_68).
device_action(machine_68_4, state, [read, write]).
device_action(machine_68_4, alarm, [read, notify]).
machine(machine_68_5).
location(machine_68_5, line_68).
device_action(machine_68_5, state, [read, write]).
device_action(machine_68_5, alarm, [read, notify]).
machine(machine_68_6).
location(machine_68_6, line_68).
device_action(machine_68_6, state, [read, write]).
device_action(machine_68_6, alarm, [read, notify]).
machine(machine_68_7).
location(machine_68_7, line_68).
device_action(machine_68_7, state, [read, write]).
device_action(machine_68_7, alarm, [read, notify]).
machine(machine_68_8).
location(machine_68_8, line_68).
device_action(machine_68_8, state, [read, write]).
device_action(machine_68_8, alarm, [read, notify]).
machine(machine_68_9).
location(machine_68_9, line_68).
device_action(machine_68_9, state, [read, write]).
device_action(machine_68_9, alarm, [read, notify]).
prod_line(line_69).
machine(machine_69_0).
location(machine_69_0, line_69).
device_action(machine_69_0, state, [read, write]).
device_action(machine_69_0, alarm, [read, notify]).
machine(machine_69_1).
location(machine_69_1, line_69).
device_action(machine_69_1, state, [read, write]).
device_action(machine_69_1, alarm, [read, notify]).
machine(machine_69_2).
location(machine_69_2, line_69).
device_action(machine_69_2, state, [read, write]).
device_action(machine_69_2, alarm, [read, notify]).
machine(machine_69_3).
location(machine_69_3, line_69).
device_action(machine_69_3, state, [read, write]).
device_action(machine_69_3, alarm, [read, notify]).
machine(machine_69_4).
location(machine_69_4, line_69).
device_action(machine_69_4, state, [read, write]).
device_action(machine_69_4, alarm, [read, notify]).
machine(machine_69_5).
location(machine_69_5, line_69).
device_action(machine_69_5, state, [read, write]).
device_action(machine_69_5, alarm, [read, notify]).
machine(machine_69_6).
location(machine_69_6, line_69).
device_action(machine_69_6, state, [read, write]).
device_action(machine_69_6, alarm, [read, notify]).
machine(machine_69_7).
location(machine_69_7, line_69).
device_action(machine_69_7, state, [read, write]).
device_action(machine_69_7, alarm, [read, notify]).
machine(machine_69_8).
location(machine_69_8, line_69).
device_action(machine_69_8, state, [read, write]).
device_action(machine_69_8, alarm, [read, notify]).
machine(machine_69_9).
location(machine_69_9, line_69).
device_action(machine_69_9, state, [read, write]).
device_action(machine_69_9, alarm, [read, notify]).
prod_line(line_70).
machine(machine_70_0).
location(machine_70_0, line_70).
device_action(machine_70_0, state, [read, write]).
device_action(machine_70_0, alarm, [read, notify]).
machine(machine_70_1).
location(machine_70_1, line_70).
device_action(machine_70_1, state, [read, write]).
device_action(machine_70_1, alarm, [read, notify]).
machine(machine_70_2).
location(machine_70_2, line_70).
device_action(machine_70_2, state, [read, write]).
device_action(machine_70_2, alarm, [read, notify]).
machine(machine_70_3).
location(machine_70_3, line_70).
device_action(machine_70_3, state, [read, write]).
device_action(machine_70_3, alarm, [read, notify]).
machine(machine_70_4).
location(machine_70_4, line_70).
device_action(machine_70_4, state, [read, write]).
device_action(machine_70_4, alarm, [read, notify]).
machine(machine_70_5).
location(machine_70_5, line_70).
device_action(machine_70_5, state, [read, write]).
device_action(machine_70_5, alarm, [read, notify]).
machine(machine_70_6).
location(machine_70_6, line_70).
device_action(machine_70_6, state, [read, write]).
device_action(machine_70_6, alarm, [read, notify]).
machine(machine_70_7).
location(machine_70_7, line_70).
device_action(machine_70_7, state, [read, write]).
device_action(machine_70_7, alarm, [read, notify]).
machine(machine_70_8).
location(machine_70_8, line_70).
device_action(machine_70_8, state, [read, write]).
device_action(machine_70_8, alarm, [read, notify]).
machine(machine_70_9).
location(machine_70_9, line_70).
device_action(machine_70_9, state, [read, write]).
device_action(machine_70_9, alarm, [read, notify]).
prod_line(line_71).
machine(machine_71_0).
location(machine_71_0, line_71).
device_action(machine_71_0, state, [read, write]).
device_action(machine_71_0, alarm, [read, notify]).
machine(machine_71_1).
location(machine_71_1, line_71).
device_action(machine_71_1, state, [read, write]).
device_action(machine_71_1, alarm, [read, notify]).
machine(machine_71_2).
location(machine_71_2, line_71).
device_action(machine_71_2, state, [read, write]).
device_action(machine_71_2, alarm, [read, notify]).
machine(machine_71_3).
location(machine_71_3, line_71).
device_action(machine_71_3, state, [read, write]).
device_action(machine_71_3, alarm, [read, notify]).
machine(machine_71_4).
location(machine_71_4, line_71).
device_action(machine_71_4, state, [read, write]).
device_action(machine_71_4, alarm, [read, notify]).
machine(machine_71_5).
location(machine_71_5, line_71).
device_action(machine_71_5, state, [read, write]).
device_action(machine_71_5, alarm, [read, notify]).
machine(machine_71_6).
location(machine_71_6, line_71).
device_action(machine_71_6, state, [read, write]).
device_action(machine_71_6, alarm, [read, notify]).
machine(machine_71_7).
location(machine_71_7, line_71).
device_action(machine_71_7, state, [read, write]).
device_action(machine_71_7, alarm, [read, notify]).
machine(machine_71_8).
location(machine_71_8, line_71).
device_action(machine_71_8, state, [read, write]).
device_action(machine_71_8, alarm, [read, notify]).
machine(machine_71_9).
location(machine_71_9, line_71).
device_action(machine_71_9, state, [read, write]).
device_action(machine_71_9, alarm, [read, notify]).
prod_line(line_72).
machine(machine_72_0).
location(machine_72_0, line_72).
device_action(machine_72_0, state, [read, write]).
device_action(machine_72_0, alarm, [read, notify]).
machine(machine_72_1).
location(machine_72_1, line_72).
device_action(machine_72_1, state, [read, write]).
device_action(machine_72_1, alarm, [read, notify]).
machine(machine_72_2).
location(machine_72_2, line_72).
device_action(machine_72_2, state, [read, write]).
device_action(machine_72_2, alarm, [read, notify]).
machine(machine_72_3).
location(machine_72_3, line_72).
device_action(machine_72_3, state, [read, write]).
device_action(machine_72_3, alarm, [read, notify]).
machine(machine_72_4).
location(machine_72_4, line_72).
device_action(machine_72_4, state, [read, write]).
device_action(machine_72_4, alarm, [read, notify]).
machine(machine_72_5).
location(machine_72_5, line_72).
device_action(machine_72_5, state, [read, write]).
device_action(machine_72_5, alarm, [read, notify]).
machine(machine_72_6).
location(machine_72_6, line_72).
device_action(machine_72_6, state, [read, write]).
device_action(machine_72_6, alarm, [read, notify]).
machine(machine_72_7).
location(machine_72_7, line_72).
device_action(machine_72_7, state, [read, write]).
device_action(machine_72_7, alarm, [read, notify]).
machine(machine_72_8).
location(machine_72_8, line_72).
device_action(machine_72_8, state, [read, write]).
device_action(machine_72_8, alarm, [read, notify]).
machine(machine_72_9).
location(machine_72_9, line_72).
device_action(machine_72_9, state, [read, write]).
device_action(machine_72_9, alarm, [read, notify]).
prod_line(line_73).
machine(machine_73_0).
location(machine_73_0, line_73).
device_action(machine_73_0, state, [read, write]).
device_action(machine_73_0, alarm, [read, notify]).
machine(machine_73_1).
location(machine_73_1, line_73).
device_action(machine_73_1, state, [read, write]).
device_action(machine_73_1, alarm, [read, notify]).
machine(machine_73_2).
location(machine_73_2, line_73).
device_action(machine_73_2, state, [read, write]).
device_action(machine_73_2, alarm, [read, notify]).
machine(machine_73_3).
location(machine_73_3, line_73).
device_action(machine_73_3, state, [read, write]).
device_action(machine_73_3, alarm, [read, notify]).
machine(machine_73_4).
location(machine_73_4, line_73).
device_action(machine_73_4, state, [read, write]).
device_action(machine_73_4, alarm, [read, notify]).
machine(machine_73_5).
location(machine_73_5, line_73).
device_action(machine_73_5, state, [read, write]).
device_action(machine_73_5, alarm, [read, notify]).
machine(machine_73_6).
location(machine_73_6, line_73).
device_action(machine_73_6, state, [read, write]).
device_action(machine_73_6, alarm, [read, notify]).
machine(machine_73_7).
location(machine_73_7, line_73).
device_action(machine_73_7, state, [read, write]).
device_action(machine_73_7, alarm, [read, notify]).
machine(machine_73_8).
location(machine_73_8, line_73).
device_action(machine_73_8, state, [read, write]).
device_action(machine_73_8, alarm, [read, notify]).
machine(machine_73_9).
location(machine_73_9, line_73).
device_action(machine_73_9, state, [read, write]).
device_action(machine_73_9, alarm, [read, notify]).
prod_line(line_74).
machine(machine_74_0).
location(machine_74_0, line_74).
device_action(machine_74_0, state, [read, write]).
device_action(machine_74_0, alarm, [read, notify]).
machine(machine_74_1).
location(machine_74_1, line_74).
device_action(machine_74_1, state, [read, write]).
device_action(machine_74_1, alarm, [read, notify]).
machine(machine_74_2).
location(machine_74_2, line_74).
device_action(machine_74_2, state, [read, write]).
device_action(machine_74_2, alarm, [read, notify]).
machine(machine_74_3).
location(machine_74_3, line_74).
device_action(machine_74_3, state, [read, write]).
device_action(machine_74_3, alarm, [read, notify]).
machine(machine_74_4).
location(machine_74_4, line_74).
device_action(machine_74_4, state, [read, write]).
device_action(machine_74_4, alarm, [read, notify]).
machine(machine_74_5).
location(machine_74_5, line_74).
device_action(machine_74_5, state, [read, write]).
device_action(machine_74_5, alarm, [read, notify]).
machine(machine_74_6).
location(machine_74_6, line_74).
device_action(machine_74_6, state, [read, write]).
device_action(machine_74_6, alarm, [read, notify]).
machine(machine_74_7).
location(machine_74_7, line_74).
device_action(machine_74_7, state, [read, write]).
device_action(machine_74_7, alarm, [read, notify]).
machine(machine_74_8).
location(machine_74_8, line_74).
device_action(machine_74_8, state, [read, write]).
device_action(machine_74_8, alarm, [read, notify]).
machine(machine_74_9).
location(machine_74_9, line_74).
device_action(machine_74_9, state, [read, write]).
device_action(machine_74_9, alarm, [read, notify]).
prod_line(line_75).
machine(machine_75_0).
location(machine_75_0, line_75).
device_action(machine_75_0, state, [read, write]).
device_action(machine_75_0, alarm, [read, notify]).
machine(machine_75_1).
location(machine_75_1, line_75).
device_action(machine_75_1, state, [read, write]).
device_action(machine_75_1, alarm, [read, notify]).
machine(machine_75_2).
location(machine_75_2, line_75).
device_action(machine_75_2, state, [read, write]).
device_action(machine_75_2, alarm, [read, notify]).
machine(machine_75_3).
location(machine_75_3, line_75).
device_action(machine_75_3, state, [read, write]).
device_action(machine_75_3, alarm, [read, notify]).
machine(machine_75_4).
location(machine_75_4, line_75).
device_action(machine_75_4, state, [read, write]).
device_action(machine_75_4, alarm, [read, notify]).
machine(machine_75_5).
location(machine_75_5, line_75).
device_action(machine_75_5, state, [read, write]).
device_action(machine_75_5, alarm, [read, notify]).
machine(machine_75_6).
location(machine_75_6, line_75).
device_action(machine_75_6, state, [read, write]).
device_action(machine_75_6, alarm, [read, notify]).
machine(machine_75_7).
location(machine_75_7, line_75).
device_action(machine_75_7, state, [read, write]).
device_action(machine_75_7, alarm, [read, notify]).
machine(machine_75_8).
location(machine_75_8, line_75).
device_action(machine_75_8, state, [read, write]).
device_action(machine_75_8, alarm, [read, notify]).
machine(machine_75_9).
location(machine_75_9, line_75).
device_action(machine_75_9, state, [read, write]).
device_action(machine_75_9, alarm, [read, notify]).
prod_line(line_76).
machine(machine_76_0).
location(machine_76_0, line_76).
device_action(machine_76_0, state, [read, write]).
device_action(machine_76_0, alarm, [read, notify]).
machine(machine_76_1).
location(machine_76_1, line_76).
device_action(machine_76_1, state, [read, write]).
device_action(machine_76_1, alarm, [read, notify]).
machine(machine_76_2).
location(machine_76_2, line_76).
device_action(machine_76_2, state, [read, write]).
device_action(machine_76_2, alarm, [read, notify]).
machine(machine_76_3).
location(machine_76_3, line_76).
device_action(machine_76_3, state, [read, write]).
device_action(machine_76_3, alarm, [read, notify]).
machine(machine_76_4).
location(machine_76_4, line_76).
device_action(machine_76_4, state, [read, write]).
device_action(machine_76_4, alarm, [read, notify]).
machine(machine_76_5).
location(machine_76_5, line_76).
device_action(machine_76_5, state, [read, write]).
device_action(machine_76_5, alarm, [read, notify]).
machine(machine_76_6).
location(machine_76_6, line_76).
device_action(machine_76_6, state, [read, write]).
device_action(machine_76_6, alarm, [read, notify]).
machine(machine_76_7).
location(machine_76_7, line_76).
device_action(machine_76_7, state, [read, write]).
device_action(machine_76_7, alarm, [read, notify]).
machine(machine_76_8).
location(machine_76_8, line_76).
device_action(machine_76_8, state, [read, write]).
device_action(machine_76_8, alarm, [read, notify]).
machine(machine_76_9).
location(machine_76_9, line_76).
device_action(machine_76_9, state, [read, write]).
device_action(machine_76_9, alarm, [read, notify]).
prod_line(line_77).
machine(machine_77_0).
location(machine_77_0, line_77).
device_action(machine_77_0, state, [read, write]).
device_action(machine_77_0, alarm, [read, notify]).
machine(machine_77_1).
location(machine_77_1, line_77).
device_action(machine_77_1, state, [read, write]).
device_action(machine_77_1, alarm, [read, notify]).
machine(machine_77_2).
location(machine_77_2, line_77).
device_action(machine_77_2, state, [read, write]).
device_action(machine_77_2, alarm, [read, notify]).
machine(machine_77_3).
location(machine_77_3, line_77).
device_action(machine_77_3, state, [read, write]).
device_action(machine_77_3, alarm, [read, notify]).
machine(machine_77_4).
location(machine_77_4, line_77).
device_action(machine_77_4, state, [read, write]).
device_action(machine_77_4, alarm, [read, notify]).
machine(machine_77_5).
location(machine_77_5, line_77).
device_action(machine_77_5, state, [read, write]).
device_action(machine_77_5, alarm, [read, notify]).
machine(machine_77_6).
location(machine_77_6, line_77).
device_action(machine_77_6, state, [read, write]).
device_action(machine_77_6, alarm, [read, notify]).
machine(machine_77_7).
location(machine_77_7, line_77).
device_action(machine_77_7, state, [read, write]).
device_action(machine_77_7, alarm, [read, notify]).
machine(machine_77_8).
location(machine_77_8, line_77).
device_action(machine_77_8, state, [read, write]).
device_action(machine_77_8, alarm, [read, notify]).
machine(machine_77_9).
location(machine_77_9, line_77).
device_action(machine_77_9, state, [read, write]).
device_action(machine_77_9, alarm, [read, notify]).
prod_line(line_78).
machine(machine_78_0).
location(machine_78_0, line_78).
device_action(machine_78_0, state, [read, write]).
device_action(machine_78_0, alarm, [read, notify]).
machine(machine_78_1).
location(machine_78_1, line_78).
device_action(machine_78_1, state, [read, write]).
device_action(machine_78_1, alarm, [read, notify]).
machine(machine_78_2).
location(machine_78_2, line_78).
device_action(machine_78_2, state, [read, write]).
device_action(machine_78_2, alarm, [read, notify]).
machine(machine_78_3).
location(machine_78_3, line_78).
device_action(machine_78_3, state, [read, write]).
device_action(machine_78_3, alarm, [read, notify]).
machine(machine_78_4).
location(machine_78_4, line_78).
device_action(machine_78_4, state, [read, write]).
device_action(machine_78_4, alarm, [read, notify]).
machine(machine_78_5).
location(machine_78_5, line_78).
device_action(machine_78_5, state, [read, write]).
device_action(machine_78_5, alarm, [read, notify]).
machine(machine_78_6).
location(machine_78_6, line_78).
device_action(machine_78_6, state, [read, write]).
device_action(machine_78_6, alarm, [read, notify]).
machine(machine_78_7).
location(machine_78_7, line_78).
device_action(machine_78_7, state, [read, write]).
device_action(machine_78_7, alarm, [read, notify]).
machine(machine_78_8).
location(machine_78_8, line_78).
device_action(machine_78_8, state, [read, write]).
device_action(machine_78_8, alarm, [read, notify]).
machine(machine_78_9).
location(machine_78_9, line_78).
device_action(machine_78_9, state, [read, write]).
device_action(machine_78_9, alarm, [read, notify]).
prod_line(line_79).
machine(machine_79_0).
location(machine_79_0, line_79).
device_action(machine_79_0, state, [read, write]).
device_action(machine_79_0, alarm, [read, notify]).
machine(machine_79_1).
location(machine_79_1, line_79).
device_action(machine_79_1, state, [read, write]).
device_action(machine_79_1, alarm, [read, notify]).
machine(machine_79_2).
location(machine_79_2, line_79).
device_action(machine_79_2, state, [read, write]).
device_action(machine_79_2, alarm, [read, notify]).
machine(machine_79_3).
location(machine_79_3, line_79).
device_action(machine_79_3, state, [read, write]).
device_action(machine_79_3, alarm, [read, notify]).
machine(machine_79_4).
location(machine_79_4, line_79).
device_action(machine_79_4, state, [read, write]).
device_action(machine_79_4, alarm, [read, notify]).
machine(machine_79_5).
location(machine_79_5, line_79).
device_action(machine_79_5, state, [read, write]).
device_action(machine_79_5, alarm, [read, notify]).
machine(machine_79_6).
location(machine_79_6, line_79).
device_action(machine_79_6, state, [read, write]).
device_action(machine_79_6, alarm, [read, notify]).
machine(machine_79_7).
location(machine_79_7, line_79).
device_action(machine_79_7, state, [read, write]).
device_action(machine_79_7, alarm, [read, notify]).
machine(machine_79_8).
location(machine_79_8, line_79).
device_action(machine_79_8, state, [read, write]).
device_action(machine_79_8, alarm, [read, notify]).
machine(machine_79_9).
location(machine_79_9, line_79).
device_action(machine_79_9, state, [read, write]).
device_action(machine_79_9, alarm, [read, notify]).
prod_line(line_80).
machine(machine_80_0).
location(machine_80_0, line_80).
device_action(machine_80_0, state, [read, write]).
device_action(machine_80_0, alarm, [read, notify]).
machine(machine_80_1).
location(machine_80_1, line_80).
device_action(machine_80_1, state, [read, write]).
device_action(machine_80_1, alarm, [read, notify]).
machine(machine_80_2).
location(machine_80_2, line_80).
device_action(machine_80_2, state, [read, write]).
device_action(machine_80_2, alarm, [read, notify]).
machine(machine_80_3).
location(machine_80_3, line_80).
device_action(machine_80_3, state, [read, write]).
device_action(machine_80_3, alarm, [read, notify]).
machine(machine_80_4).
location(machine_80_4, line_80).
device_action(machine_80_4, state, [read, write]).
device_action(machine_80_4, alarm, [read, notify]).
machine(machine_80_5).
location(machine_80_5, line_80).
device_action(machine_80_5, state, [read, write]).
device_action(machine_80_5, alarm, [read, notify]).
machine(machine_80_6).
location(machine_80_6, line_80).
device_action(machine_80_6, state, [read, write]).
device_action(machine_80_6, alarm, [read, notify]).
machine(machine_80_7).
location(machine_80_7, line_80).
device_action(machine_80_7, state, [read, write]).
device_action(machine_80_7, alarm, [read, notify]).
machine(machine_80_8).
location(machine_80_8, line_80).
device_action(machine_80_8, state, [read, write]).
device_action(machine_80_8, alarm, [read, notify]).
machine(machine_80_9).
location(machine_80_9, line_80).
device_action(machine_80_9, state, [read, write]).
device_action(machine_80_9, alarm, [read, notify]).
prod_line(line_81).
machine(machine_81_0).
location(machine_81_0, line_81).
device_action(machine_81_0, state, [read, write]).
device_action(machine_81_0, alarm, [read, notify]).
machine(machine_81_1).
location(machine_81_1, line_81).
device_action(machine_81_1, state, [read, write]).
device_action(machine_81_1, alarm, [read, notify]).
machine(machine_81_2).
location(machine_81_2, line_81).
device_action(machine_81_2, state, [read, write]).
device_action(machine_81_2, alarm, [read, notify]).
machine(machine_81_3).
location(machine_81_3, line_81).
device_action(machine_81_3, state, [read, write]).
device_action(machine_81_3, alarm, [read, notify]).
machine(machine_81_4).
location(machine_81_4, line_81).
device_action(machine_81_4, state, [read, write]).
device_action(machine_81_4, alarm, [read, notify]).
machine(machine_81_5).
location(machine_81_5, line_81).
device_action(machine_81_5, state, [read, write]).
device_action(machine_81_5, alarm, [read, notify]).
machine(machine_81_6).
location(machine_81_6, line_81).
device_action(machine_81_6, state, [read, write]).
device_action(machine_81_6, alarm, [read, notify]).
machine(machine_81_7).
location(machine_81_7, line_81).
device_action(machine_81_7, state, [read, write]).
device_action(machine_81_7, alarm, [read, notify]).
machine(machine_81_8).
location(machine_81_8, line_81).
device_action(machine_81_8, state, [read, write]).
device_action(machine_81_8, alarm, [read, notify]).
machine(machine_81_9).
location(machine_81_9, line_81).
device_action(machine_81_9, state, [read, write]).
device_action(machine_81_9, alarm, [read, notify]).
prod_line(line_82).
machine(machine_82_0).
location(machine_82_0, line_82).
device_action(machine_82_0, state, [read, write]).
device_action(machine_82_0, alarm, [read, notify]).
machine(machine_82_1).
location(machine_82_1, line_82).
device_action(machine_82_1, state, [read, write]).
device_action(machine_82_1, alarm, [read, notify]).
machine(machine_82_2).
location(machine_82_2, line_82).
device_action(machine_82_2, state, [read, write]).
device_action(machine_82_2, alarm, [read, notify]).
machine(machine_82_3).
location(machine_82_3, line_82).
device_action(machine_82_3, state, [read, write]).
device_action(machine_82_3, alarm, [read, notify]).
machine(machine_82_4).
location(machine_82_4, line_82).
device_action(machine_82_4, state, [read, write]).
device_action(machine_82_4, alarm, [read, notify]).
machine(machine_82_5).
location(machine_82_5, line_82).
device_action(machine_82_5, state, [read, write]).
device_action(machine_82_5, alarm, [read, notify]).
machine(machine_82_6).
location(machine_82_6, line_82).
device_action(machine_82_6, state, [read, write]).
device_action(machine_82_6, alarm, [read, notify]).
machine(machine_82_7).
location(machine_82_7, line_82).
device_action(machine_82_7, state, [read, write]).
device_action(machine_82_7, alarm, [read, notify]).
machine(machine_82_8).
location(machine_82_8, line_82).
device_action(machine_82_8, state, [read, write]).
device_action(machine_82_8, alarm, [read, notify]).
machine(machine_82_9).
location(machine_82_9, line_82).
device_action(machine_82_9, state, [read, write]).
device_action(machine_82_9, alarm, [read, notify]).
prod_line(line_83).
machine(machine_83_0).
location(machine_83_0, line_83).
device_action(machine_83_0, state, [read, write]).
device_action(machine_83_0, alarm, [read, notify]).
machine(machine_83_1).
location(machine_83_1, line_83).
device_action(machine_83_1, state, [read, write]).
device_action(machine_83_1, alarm, [read, notify]).
machine(machine_83_2).
location(machine_83_2, line_83).
device_action(machine_83_2, state, [read, write]).
device_action(machine_83_2, alarm, [read, notify]).
machine(machine_83_3).
location(machine_83_3, line_83).
device_action(machine_83_3, state, [read, write]).
device_action(machine_83_3, alarm, [read, notify]).
machine(machine_83_4).
location(machine_83_4, line_83).
device_action(machine_83_4, state, [read, write]).
device_action(machine_83_4, alarm, [read, notify]).
machine(machine_83_5).
location(machine_83_5, line_83).
device_action(machine_83_5, state, [read, write]).
device_action(machine_83_5, alarm, [read, notify]).
machine(machine_83_6).
location(machine_83_6, line_83).
device_action(machine_83_6, state, [read, write]).
device_action(machine_83_6, alarm, [read, notify]).
machine(machine_83_7).
location(machine_83_7, line_83).
device_action(machine_83_7, state, [read, write]).
device_action(machine_83_7, alarm, [read, notify]).
machine(machine_83_8).
location(machine_83_8, line_83).
device_action(machine_83_8, state, [read, write]).
device_action(machine_83_8, alarm, [read, notify]).
machine(machine_83_9).
location(machine_83_9, line_83).
device_action(machine_83_9, state, [read, write]).
device_action(machine_83_9, alarm, [read, notify]).
prod_line(line_84).
machine(machine_84_0).
location(machine_84_0, line_84).
device_action(machine_84_0, state, [read, write]).
device_action(machine_84_0, alarm, [read, notify]).
machine(machine_84_1).
location(machine_84_1, line_84).
device_action(machine_84_1, state, [read, write]).
device_action(machine_84_1, alarm, [read, notify]).
machine(machine_84_2).
location(machine_84_2, line_84).
device_action(machine_84_2, state, [read, write]).
device_action(machine_84_2, alarm, [read, notify]).
machine(machine_84_3).
location(machine_84_3, line_84).
device_action(machine_84_3, state, [read, write]).
device_action(machine_84_3, alarm, [read, notify]).
machine(machine_84_4).
location(machine_84_4, line_84).
device_action(machine_84_4, state, [read, write]).
device_action(machine_84_4, alarm, [read, notify]).
machine(machine_84_5).
location(machine_84_5, line_84).
device_action(machine_84_5, state, [read, write]).
device_action(machine_84_5, alarm, [read, notify]).
machine(machine_84_6).
location(machine_84_6, line_84).
device_action(machine_84_6, state, [read, write]).
device_action(machine_84_6, alarm, [read, notify]).
machine(machine_84_7).
location(machine_84_7, line_84).
device_action(machine_84_7, state, [read, write]).
device_action(machine_84_7, alarm, [read, notify]).
machine(machine_84_8).
location(machine_84_8, line_84).
device_action(machine_84_8, state, [read, write]).
device_action(machine_84_8, alarm, [read, notify]).
machine(machine_84_9).
location(machine_84_9, line_84).
device_action(machine_84_9, state, [read, write]).
device_action(machine_84_9, alarm, [read, notify]).
prod_line(line_85).
machine(machine_85_0).
location(machine_85_0, line_85).
device_action(machine_85_0, state, [read, write]).
device_action(machine_85_0, alarm, [read, notify]).
machine(machine_85_1).
location(machine_85_1, line_85).
device_action(machine_85_1, state, [read, write]).
device_action(machine_85_1, alarm, [read, notify]).
machine(machine_85_2).
location(machine_85_2, line_85).
device_action(machine_85_2, state, [read, write]).
device_action(machine_85_2, alarm, [read, notify]).
machine(machine_85_3).
location(machine_85_3, line_85).
device_action(machine_85_3, state, [read, write]).
device_action(machine_85_3, alarm, [read, notify]).
machine(machine_85_4).
location(machine_85_4, line_85).
device_action(machine_85_4, state, [read, write]).
device_action(machine_85_4, alarm, [read, notify]).
machine(machine_85_5).
location(machine_85_5, line_85).
device_action(machine_85_5, state, [read, write]).
device_action(machine_85_5, alarm, [read, notify]).
machine(machine_85_6).
location(machine_85_6, line_85).
device_action(machine_85_6, state, [read, write]).
device_action(machine_85_6, alarm, [read, notify]).
machine(machine_85_7).
location(machine_85_7, line_85).
device_action(machine_85_7, state, [read, write]).
device_action(machine_85_7, alarm, [read, notify]).
machine(machine_85_8).
location(machine_85_8, line_85).
device_action(machine_85_8, state, [read, write]).
device_action(machine_85_8, alarm, [read, notify]).
machine(machine_85_9).
location(machine_85_9, line_85).
device_action(machine_85_9, state, [read, write]).
device_action(machine_85_9, alarm, [read, notify]).
prod_line(line_86).
machine(machine_86_0).
location(machine_86_0, line_86).
device_action(machine_86_0, state, [read, write]).
device_action(machine_86_0, alarm, [read, notify]).
machine(machine_86_1).
location(machine_86_1, line_86).
device_action(machine_86_1, state, [read, write]).
device_action(machine_86_1, alarm, [read, notify]).
machine(machine_86_2).
location(machine_86_2, line_86).
device_action(machine_86_2, state, [read, write]).
device_action(machine_86_2, alarm, [read, notify]).
machine(machine_86_3).
location(machine_86_3, line_86).
device_action(machine_86_3, state, [read, write]).
device_action(machine_86_3, alarm, [read, notify]).
machine(machine_86_4).
location(machine_86_4, line_86).
device_action(machine_86_4, state, [read, write]).
device_action(machine_86_4, alarm, [read, notify]).
machine(machine_86_5).
location(machine_86_5, line_86).
device_action(machine_86_5, state, [read, write]).
device_action(machine_86_5, alarm, [read, notify]).
machine(machine_86_6).
location(machine_86_6, line_86).
device_action(machine_86_6, state, [read, write]).
device_action(machine_86_6, alarm, [read, notify]).
machine(machine_86_7).
location(machine_86_7, line_86).
device_action(machine_86_7, state, [read, write]).
device_action(machine_86_7, alarm, [read, notify]).
machine(machine_86_8).
location(machine_86_8, line_86).
device_action(machine_86_8, state, [read, write]).
device_action(machine_86_8, alarm, [read, notify]).
machine(machine_86_9).
location(machine_86_9, line_86).
device_action(machine_86_9, state, [read, write]).
device_action(machine_86_9, alarm, [read, notify]).
prod_line(line_87).
machine(machine_87_0).
location(machine_87_0, line_87).
device_action(machine_87_0, state, [read, write]).
device_action(machine_87_0, alarm, [read, notify]).
machine(machine_87_1).
location(machine_87_1, line_87).
device_action(machine_87_1, state, [read, write]).
device_action(machine_87_1, alarm, [read, notify]).
machine(machine_87_2).
location(machine_87_2, line_87).
device_action(machine_87_2, state, [read, write]).
device_action(machine_87_2, alarm, [read, notify]).
machine(machine_87_3).
location(machine_87_3, line_87).
device_action(machine_87_3, state, [read, write]).
device_action(machine_87_3, alarm, [read, notify]).
machine(machine_87_4).
location(machine_87_4, line_87).
device_action(machine_87_4, state, [read, write]).
device_action(machine_87_4, alarm, [read, notify]).
machine(machine_87_5).
location(machine_87_5, line_87).
device_action(machine_87_5, state, [read, write]).
device_action(machine_87_5, alarm, [read, notify]).
machine(machine_87_6).
location(machine_87_6, line_87).
device_action(machine_87_6, state, [read, write]).
device_action(machine_87_6, alarm, [read, notify]).
machine(machine_87_7).
location(machine_87_7, line_87).
device_action(machine_87_7, state, [read, write]).
device_action(machine_87_7, alarm, [read, notify]).
machine(machine_87_8).
location(machine_87_8, line_87).
device_action(machine_87_8, state, [read, write]).
device_action(machine_87_8, alarm, [read, notify]).
machine(machine_87_9).
location(machine_87_9, line_87).
device_action(machine_87_9, state, [read, write]).
device_action(machine_87_9, alarm, [read, notify]).
prod_line(line_88).
machine(machine_88_0).
location(machine_88_0, line_88).
device_action(machine_88_0, state, [read, write]).
device_action(machine_88_0, alarm, [read, notify]).
machine(machine_88_1).
location(machine_88_1, line_88).
device_action(machine_88_1, state, [read, write]).
device_action(machine_88_1, alarm, [read, notify]).
machine(machine_88_2).
location(machine_88_2, line_88).
device_action(machine_88_2, state, [read, write]).
device_action(machine_88_2, alarm, [read, notify]).
machine(machine_88_3).
location(machine_88_3, line_88).
device_action(machine_88_3, state, [read, write]).
device_action(machine_88_3, alarm, [read, notify]).
machine(machine_88_4).
location(machine_88_4, line_88).
device_action(machine_88_4, state, [read, write]).
device_action(machine_88_4, alarm, [read, notify]).
machine(machine_88_5).
location(machine_88_5, line_88).
device_action(machine_88_5, state, [read, write]).
device_action(machine_88_5, alarm, [read, notify]).
machine(machine_88_6).
location(machine_88_6, line_88).
device_action(machine_88_6, state, [read, write]).
device_action(machine_88_6, alarm, [read, notify]).
machine(machine_88_7).
location(machine_88_7, line_88).
device_action(machine_88_7, state, [read, write]).
device_action(machine_88_7, alarm, [read, notify]).
machine(machine_88_8).
location(machine_88_8, line_88).
device_action(machine_88_8, state, [read, write]).
device_action(machine_88_8, alarm, [read, notify]).
machine(machine_88_9).
location(machine_88_9, line_88).
device_action(machine_88_9, state, [read, write]).
device_action(machine_88_9, alarm, [read, notify]).
prod_line(line_89).
machine(machine_89_0).
location(machine_89_0, line_89).
device_action(machine_89_0, state, [read, write]).
device_action(machine_89_0, alarm, [read, notify]).
machine(machine_89_1).
location(machine_89_1, line_89).
device_action(machine_89_1, state, [read, write]).
device_action(machine_89_1, alarm, [read, notify]).
machine(machine_89_2).
location(machine_89_2, line_89).
device_action(machine_89_2, state, [read, write]).
device_action(machine_89_2, alarm, [read, notify]).
machine(machine_89_3).
location(machine_89_3, line_89).
device_action(machine_89_3, state, [read, write]).
device_action(machine_89_3, alarm, [read, notify]).
machine(machine_89_4).
location(machine_89_4, line_89).
device_action(machine_89_4, state, [read, write]).
device_action(machine_89_4, alarm, [read, notify]).
machine(machine_89_5).
location(machine_89_5, line_89).
device_action(machine_89_5, state, [read, write]).
device_action(machine_89_5, alarm, [read, notify]).
machine(machine_89_6).
location(machine_89_6, line_89).
device_action(machine_89_6, state, [read, write]).
device_action(machine_89_6, alarm, [read, notify]).
machine(machine_89_7).
location(machine_89_7, line_89).
device_action(machine_89_7, state, [read, write]).
device_action(machine_89_7, alarm, [read, notify]).
machine(machine_89_8).
location(machine_89_8, line_89).
device_action(machine_89_8, state, [read, write]).
device_action(machine_89_8, alarm, [read, notify]).
machine(machine_89_9).
location(machine_89_9, line_89).
device_action(machine_89_9, state, [read, write]).
device_action(machine_89_9, alarm, [read, notify]).
prod_line(line_90).
machine(machine_90_0).
location(machine_90_0, line_90).
device_action(machine_90_0, state, [read, write]).
device_action(machine_90_0, alarm, [read, notify]).
machine(machine_90_1).
location(machine_90_1, line_90).
device_action(machine_90_1, state, [read, write]).
device_action(machine_90_1, alarm, [read, notify]).
machine(machine_90_2).
location(machine_90_2, line_90).
device_action(machine_90_2, state, [read, write]).
device_action(machine_90_2, alarm, [read, notify]).
machine(machine_90_3).
location(machine_90_3, line_90).
device_action(machine_90_3, state, [read, write]).
device_action(machine_90_3, alarm, [read, notify]).
machine(machine_90_4).
location(machine_90_4, line_90).
device_action(machine_90_4, state, [read, write]).
device_action(machine_90_4, alarm, [read, notify]).
machine(machine_90_5).
location(machine_90_5, line_90).
device_action(machine_90_5, state, [read, write]).
device_action(machine_90_5, alarm, [read, notify]).
machine(machine_90_6).
location(machine_90_6, line_90).
device_action(machine_90_6, state, [read, write]).
device_action(machine_90_6, alarm, [read, notify]).
machine(machine_90_7).
location(machine_90_7, line_90).
device_action(machine_90_7, state, [read, write]).
device_action(machine_90_7, alarm, [read, notify]).
machine(machine_90_8).
location(machine_90_8, line_90).
device_action(machine_90_8, state, [read, write]).
device_action(machine_90_8, alarm, [read, notify]).
machine(machine_90_9).
location(machine_90_9, line_90).
device_action(machine_90_9, state, [read, write]).
device_action(machine_90_9, alarm, [read, notify]).
prod_line(line_91).
machine(machine_91_0).
location(machine_91_0, line_91).
device_action(machine_91_0, state, [read, write]).
device_action(machine_91_0, alarm, [read, notify]).
machine(machine_91_1).
location(machine_91_1, line_91).
device_action(machine_91_1, state, [read, write]).
device_action(machine_91_1, alarm, [read, notify]).
machine(machine_91_2).
location(machine_91_2, line_91).
device_action(machine_91_2, state, [read, write]).
device_action(machine_91_2, alarm, [read, notify]).
machine(machine_91_3).
location(machine_91_3, line_91).
device_action(machine_91_3, state, [read, write]).
device_action(machine_91_3, alarm, [read, notify]).
machine(machine_91_4).
location(machine_91_4, line_91).
device_action(machine_91_4, state, [read, write]).
device_action(machine_91_4, alarm, [read, notify]).
machine(machine_91_5).
location(machine_91_5, line_91).
device_action(machine_91_5, state, [read, write]).
device_action(machine_91_5, alarm, [read, notify]).
machine(machine_91_6).
location(machine_91_6, line_91).
device_action(machine_91_6, state, [read, write]).
device_action(machine_91_6, alarm, [read, notify]).
machine(machine_91_7).
location(machine_91_7, line_91).
device_action(machine_91_7, state, [read, write]).
device_action(machine_91_7, alarm, [read, notify]).
machine(machine_91_8).
location(machine_91_8, line_91).
device_action(machine_91_8, state, [read, write]).
device_action(machine_91_8, alarm, [read, notify]).
machine(machine_91_9).
location(machine_91_9, line_91).
device_action(machine_91_9, state, [read, write]).
device_action(machine_91_9, alarm, [read, notify]).
prod_line(line_92).
machine(machine_92_0).
location(machine_92_0, line_92).
device_action(machine_92_0, state, [read, write]).
device_action(machine_92_0, alarm, [read, notify]).
machine(machine_92_1).
location(machine_92_1, line_92).
device_action(machine_92_1, state, [read, write]).
device_action(machine_92_1, alarm, [read, notify]).
machine(machine_92_2).
location(machine_92_2, line_92).
device_action(machine_92_2, state, [read, write]).
device_action(machine_92_2, alarm, [read, notify]).
machine(machine_92_3).
location(machine_92_3, line_92).
device_action(machine_92_3, state, [read, write]).
device_action(machine_92_3, alarm, [read, notify]).
machine(machine_92_4).
location(machine_92_4, line_92).
device_action(machine_92_4, state, [read, write]).
device_action(machine_92_4, alarm, [read, notify]).
machine(machine_92_5).
location(machine_92_5, line_92).
device_action(machine_92_5, state, [read, write]).
device_action(machine_92_5, alarm, [read, notify]).
machine(machine_92_6).
location(machine_92_6, line_92).
device_action(machine_92_6, state, [read, write]).
device_action(machine_92_6, alarm, [read, notify]).
machine(machine_92_7).
location(machine_92_7, line_92).
device_action(machine_92_7, state, [read, write]).
device_action(machine_92_7, alarm, [read, notify]).
machine(machine_92_8).
location(machine_92_8, line_92).
device_action(machine_92_8, state, [read, write]).
device_action(machine_92_8, alarm, [read, notify]).
machine(machine_92_9).
location(machine_92_9, line_92).
device_action(machine_92_9, state, [read, write]).
device_action(machine_92_9, alarm, [read, notify]).
prod_line(line_93).
machine(machine_93_0).
location(machine_93_0, line_93).
device_action(machine_93_0, state, [read, write]).
device_action(machine_93_0, alarm, [read, notify]).
machine(machine_93_1).
location(machine_93_1, line_93).
device_action(machine_93_1, state, [read, write]).
device_action(machine_93_1, alarm, [read, notify]).
machine(machine_93_2).
location(machine_93_2, line_93).
device_action(machine_93_2, state, [read, write]).
device_action(machine_93_2, alarm, [read, notify]).
machine(machine_93_3).
location(machine_93_3, line_93).
device_action(machine_93_3, state, [read, write]).
device_action(machine_93_3, alarm, [read, notify]).
machine(machine_93_4).
location(machine_93_4, line_93).
device_action(machine_93_4, state, [read, write]).
device_action(machine_93_4, alarm, [read, notify]).
machine(machine_93_5).
location(machine_93_5, line_93).
device_action(machine_93_5, state, [read, write]).
device_action(machine_93_5, alarm, [read, notify]).
machine(machine_93_6).
location(machine_93_6, line_93).
device_action(machine_93_6, state, [read, write]).
device_action(machine_93_6, alarm, [read, notify]).
machine(machine_93_7).
location(machine_93_7, line_93).
device_action(machine_93_7, state, [read, write]).
device_action(machine_93_7, alarm, [read, notify]).
machine(machine_93_8).
location(machine_93_8, line_93).
device_action(machine_93_8, state, [read, write]).
device_action(machine_93_8, alarm, [read, notify]).
machine(machine_93_9).
location(machine_93_9, line_93).
device_action(machine_93_9, state, [read, write]).
device_action(machine_93_9, alarm, [read, notify]).
prod_line(line_94).
machine(machine_94_0).
location(machine_94_0, line_94).
device_action(machine_94_0, state, [read, write]).
device_action(machine_94_0, alarm, [read, notify]).
machine(machine_94_1).
location(machine_94_1, line_94).
device_action(machine_94_1, state, [read, write]).
device_action(machine_94_1, alarm, [read, notify]).
machine(machine_94_2).
location(machine_94_2, line_94).
device_action(machine_94_2, state, [read, write]).
device_action(machine_94_2, alarm, [read, notify]).
machine(machine_94_3).
location(machine_94_3, line_94).
device_action(machine_94_3, state, [read, write]).
device_action(machine_94_3, alarm, [read, notify]).
machine(machine_94_4).
location(machine_94_4, line_94).
device_action(machine_94_4, state, [read, write]).
device_action(machine_94_4, alarm, [read, notify]).
machine(machine_94_5).
location(machine_94_5, line_94).
device_action(machine_94_5, state, [read, write]).
device_action(machine_94_5, alarm, [read, notify]).
machine(machine_94_6).
location(machine_94_6, line_94).
device_action(machine_94_6, state, [read, write]).
device_action(machine_94_6, alarm, [read, notify]).
machine(machine_94_7).
location(machine_94_7, line_94).
device_action(machine_94_7, state, [read, write]).
device_action(machine_94_7, alarm, [read, notify]).
machine(machine_94_8).
location(machine_94_8, line_94).
device_action(machine_94_8, state, [read, write]).
device_action(machine_94_8, alarm, [read, notify]).
machine(machine_94_9).
location(machine_94_9, line_94).
device_action(machine_94_9, state, [read, write]).
device_action(machine_94_9, alarm, [read, notify]).
prod_line(line_95).
machine(machine_95_0).
location(machine_95_0, line_95).
device_action(machine_95_0, state, [read, write]).
device_action(machine_95_0, alarm, [read, notify]).
machine(machine_95_1).
location(machine_95_1, line_95).
device_action(machine_95_1, state, [read, write]).
device_action(machine_95_1, alarm, [read, notify]).
machine(machine_95_2).
location(machine_95_2, line_95).
device_action(machine_95_2, state, [read, write]).
device_action(machine_95_2, alarm, [read, notify]).
machine(machine_95_3).
location(machine_95_3, line_95).
device_action(machine_95_3, state, [read, write]).
device_action(machine_95_3, alarm, [read, notify]).
machine(machine_95_4).
location(machine_95_4, line_95).
device_action(machine_95_4, state, [read, write]).
device_action(machine_95_4, alarm, [read, notify]).
machine(machine_95_5).
location(machine_95_5, line_95).
device_action(machine_95_5, state, [read, write]).
device_action(machine_95_5, alarm, [read, notify]).
machine(machine_95_6).
location(machine_95_6, line_95).
device_action(machine_95_6, state, [read, write]).
device_action(machine_95_6, alarm, [read, notify]).
machine(machine_95_7).
location(machine_95_7, line_95).
device_action(machine_95_7, state, [read, write]).
device_action(machine_95_7, alarm, [read, notify]).
machine(machine_95_8).
location(machine_95_8, line_95).
device_action(machine_95_8, state, [read, write]).
device_action(machine_95_8, alarm, [read, notify]).
machine(machine_95_9).
location(machine_95_9, line_95).
device_action(machine_95_9, state, [read, write]).
device_action(machine_95_9, alarm, [read, notify]).
prod_line(line_96).
machine(machine_96_0).
location(machine_96_0, line_96).
device_action(machine_96_0, state, [read, write]).
device_action(machine_96_0, alarm, [read, notify]).
machine(machine_96_1).
location(machine_96_1, line_96).
device_action(machine_96_1, state, [read, write]).
device_action(machine_96_1, alarm, [read, notify]).
machine(machine_96_2).
location(machine_96_2, line_96).
device_action(machine_96_2, state, [read, write]).
device_action(machine_96_2, alarm, [read, notify]).
machine(machine_96_3).
location(machine_96_3, line_96).
device_action(machine_96_3, state, [read, write]).
device_action(machine_96_3, alarm, [read, notify]).
machine(machine_96_4).
location(machine_96_4, line_96).
device_action(machine_96_4, state, [read, write]).
device_action(machine_96_4, alarm, [read, notify]).
machine(machine_96_5).
location(machine_96_5, line_96).
device_action(machine_96_5, state, [read, write]).
device_action(machine_96_5, alarm, [read, notify]).
machine(machine_96_6).
location(machine_96_6, line_96).
device_action(machine_96_6, state, [read, write]).
device_action(machine_96_6, alarm, [read, notify]).
machine(machine_96_7).
location(machine_96_7, line_96).
device_action(machine_96_7, state, [read, write]).
device_action(machine_96_7, alarm, [read, notify]).
machine(machine_96_8).
location(machine_96_8, line_96).
device_action(machine_96_8, state, [read, write]).
device_action(machine_96_8, alarm, [read, notify]).
machine(machine_96_9).
location(machine_96_9, line_96).
device_action(machine_96_9, state, [read, write]).
device_action(machine_96_9, alarm, [read, notify]).
prod_line(line_97).
machine(machine_97_0).
location(machine_97_0, line_97).
device_action(machine_97_0, state, [read, write]).
device_action(machine_97_0, alarm, [read, notify]).
machine(machine_97_1).
location(machine_97_1, line_97).
device_action(machine_97_1, state, [read, write]).
device_action(machine_97_1, alarm, [read, notify]).
machine(machine_97_2).
location(machine_97_2, line_97).
device_action(machine_97_2, state, [read, write]).
device_action(machine_97_2, alarm, [read, notify]).
machine(machine_97_3).
location(machine_97_3, line_97).
device_action(machine_97_3, state, [read, write]).
device_action(machine_97_3, alarm, [read, notify]).
machine(machine_97_4).
location(machine_97_4, line_97).
device_action(machine_97_4, state, [read, write]).
device_action(machine_97_4, alarm, [read, notify]).
machine(machine_97_5).
location(machine_97_5, line_97).
device_action(machine_97_5, state, [read, write]).
device_action(machine_97_5, alarm, [read, notify]).
machine(machine_97_6).
location(machine_97_6, line_97).
device_action(machine_97_6, state, [read, write]).
device_action(machine_97_6, alarm, [read, notify]).
machine(machine_97_7).
location(machine_97_7, line_97).
device_action(machine_97_7, state, [read, write]).
device_action(machine_97_7, alarm, [read, notify]).
machine(machine_97_8).
location(machine_97_8, line_97).
device_action(machine_97_8, state, [read, write]).
device_action(machine_97_8, alarm, [read, notify]).
machine(machine_97_9).
location(machine_97_9, line_97).
device_action(machine_97_9, state, [read, write]).
device_action(machine_97_9, alarm, [read, notify]).
prod_line(line_98).
machine(machine_98_0).
location(machine_98_0, line_98).
device_action(machine_98_0, state, [read, write]).
device_action(machine_98_0, alarm, [read, notify]).
machine(machine_98_1).
location(machine_98_1, line_98).
device_action(machine_98_1, state, [read, write]).
device_action(machine_98_1, alarm, [read, notify]).
machine(machine_98_2).
location(machine_98_2, line_98).
device_action(machine_98_2, state, [read, write]).
device_action(machine_98_2, alarm, [read, notify]).
machine(machine_98_3).
location(machine_98_3, line_98).
device_action(machine_98_3, state, [read, write]).
device_action(machine_98_3, alarm, [read, notify]).
machine(machine_98_4).
location(machine_98_4, line_98).
device_action(machine_98_4, state, [read, write]).
device_action(machine_98_4, alarm, [read, notify]).
machine(machine_98_5).
location(machine_98_5, line_98).
device_action(machine_98_5, state, [read, write]).
device_action(machine_98_5, alarm, [read, notify]).
machine(machine_98_6).
location(machine_98_6, line_98).
device_action(machine_98_6, state, [read, write]).
device_action(machine_98_6, alarm, [read, notify]).
machine(machine_98_7).
location(machine_98_7, line_98).
device_action(machine_98_7, state, [read, write]).
device_action(machine_98_7, alarm, [read, notify]).
machine(machine_98_8).
location(machine_98_8, line_98).
device_action(machine_98_8, state, [read, write]).
device_action(machine_98_8, alarm, [read, notify]).
machine(machine_98_9).
location(machine_98_9, line_98).
device_action(machine_98_9, state, [read, write]).
device_action(machine_98_9, alarm, [read, notify]).
prod_line(line_99).
machine(machine_99_0).
location(machine_99_0, line_99).
device_action(machine_99_0, state, [read, write]).
device_action(machine_99_0, alarm, [read, notify]).
machine(machine_99_1).
location(machine_99_1, line_99).
device_action(machine_99_1, state, [read, write]).
device_action(machine_99_1, alarm, [read, notify]).
machine(machine_99_2).
location(machine_99_2, line_99).
device_action(machine_99_2, state, [read, write]).
device_action(machine_99_2, alarm, [read, notify]).
machine(machine_99_3).
location(machine_99_3, line_99).
device_action(machine_99_3, state, [read, write]).
device_action(machine_99_3, alarm, [read, notify]).
machine(machine_99_4).
location(machine_99_4, line_99).
device_action(machine_99_4, state, [read, write]).
device_action(machine_99_4, alarm, [read, notify]).
machine(machine_99_5).
location(machine_99_5, line_99).
device_action(machine_99_5, state, [read, write]).
device_action(machine_99_5, alarm, [read, notify]).
machine(machine_99_6).
location(machine_99_6, line_99).
device_action(machine_99_6, state, [read, write]).
device_action(machine_99_6, alarm, [read, notify]).
machine(machine_99_7).
location(machine_99_7, line_99).
device_action(machine_99_7, state, [read, write]).
device_action(machine_99_7, alarm, [read, notify]).
machine(machine_99_8).
location(machine_99_8, line_99).
device_action(machine_99_8, state, [read, write]).
device_action(machine_99_8, alarm, [read, notify]).
machine(machine_99_9).
location(machine_99_9, line_99).
device_action(machine_99_9, state, [read, write]).
device_action(machine_99_9, alarm, [read, notify]).