device(S):- machine(S).
device_action(M, state, [read, write]) :- machine(M).
device_action(M, alarm, [read, notify]) :- machine(M).
filter_type(M, alarm,  pass, _) :- machine(M).
prod_line(line_0).
machine(machine_0_0).
property(machine_0_0, alarm, off).
location(machine_0_0, line_0).
map(line_0, alarm, machine_0_0, alarm).
machine(machine_0_1).
property(machine_0_1, alarm, off).
location(machine_0_1, line_0).
map(line_0, alarm, machine_0_1, alarm).
machine(machine_0_2).
property(machine_0_2, alarm, off).
location(machine_0_2, line_0).
map(line_0, alarm, machine_0_2, alarm).
machine(machine_0_3).
property(machine_0_3, alarm, off).
location(machine_0_3, line_0).
map(line_0, alarm, machine_0_3, alarm).
machine(machine_0_4).
property(machine_0_4, alarm, off).
location(machine_0_4, line_0).
map(line_0, alarm, machine_0_4, alarm).
machine(machine_0_5).
property(machine_0_5, alarm, off).
location(machine_0_5, line_0).
map(line_0, alarm, machine_0_5, alarm).
machine(machine_0_6).
property(machine_0_6, alarm, off).
location(machine_0_6, line_0).
map(line_0, alarm, machine_0_6, alarm).
machine(machine_0_7).
property(machine_0_7, alarm, off).
location(machine_0_7, line_0).
map(line_0, alarm, machine_0_7, alarm).
machine(machine_0_8).
property(machine_0_8, alarm, off).
location(machine_0_8, line_0).
map(line_0, alarm, machine_0_8, alarm).
machine(machine_0_9).
property(machine_0_9, alarm, off).
location(machine_0_9, line_0).
map(line_0, alarm, machine_0_9, alarm).
machine(machine_0_10).
property(machine_0_10, alarm, off).
location(machine_0_10, line_0).
map(line_0, alarm, machine_0_10, alarm).
machine(machine_0_11).
property(machine_0_11, alarm, off).
location(machine_0_11, line_0).
map(line_0, alarm, machine_0_11, alarm).
machine(machine_0_12).
property(machine_0_12, alarm, off).
location(machine_0_12, line_0).
map(line_0, alarm, machine_0_12, alarm).
machine(machine_0_13).
property(machine_0_13, alarm, off).
location(machine_0_13, line_0).
map(line_0, alarm, machine_0_13, alarm).
machine(machine_0_14).
property(machine_0_14, alarm, off).
location(machine_0_14, line_0).
map(line_0, alarm, machine_0_14, alarm).
machine(machine_0_15).
property(machine_0_15, alarm, off).
location(machine_0_15, line_0).
map(line_0, alarm, machine_0_15, alarm).
machine(machine_0_16).
property(machine_0_16, alarm, off).
location(machine_0_16, line_0).
map(line_0, alarm, machine_0_16, alarm).
machine(machine_0_17).
property(machine_0_17, alarm, off).
location(machine_0_17, line_0).
map(line_0, alarm, machine_0_17, alarm).
machine(machine_0_18).
property(machine_0_18, alarm, off).
location(machine_0_18, line_0).
map(line_0, alarm, machine_0_18, alarm).
machine(machine_0_19).
property(machine_0_19, alarm, off).
location(machine_0_19, line_0).
map(line_0, alarm, machine_0_19, alarm).
prod_line(line_1).
machine(machine_1_0).
property(machine_1_0, alarm, off).
location(machine_1_0, line_1).
map(line_1, alarm, machine_1_0, alarm).
machine(machine_1_1).
property(machine_1_1, alarm, off).
location(machine_1_1, line_1).
map(line_1, alarm, machine_1_1, alarm).
machine(machine_1_2).
property(machine_1_2, alarm, off).
location(machine_1_2, line_1).
map(line_1, alarm, machine_1_2, alarm).
machine(machine_1_3).
property(machine_1_3, alarm, off).
location(machine_1_3, line_1).
map(line_1, alarm, machine_1_3, alarm).
machine(machine_1_4).
property(machine_1_4, alarm, off).
location(machine_1_4, line_1).
map(line_1, alarm, machine_1_4, alarm).
machine(machine_1_5).
property(machine_1_5, alarm, off).
location(machine_1_5, line_1).
map(line_1, alarm, machine_1_5, alarm).
machine(machine_1_6).
property(machine_1_6, alarm, off).
location(machine_1_6, line_1).
map(line_1, alarm, machine_1_6, alarm).
machine(machine_1_7).
property(machine_1_7, alarm, off).
location(machine_1_7, line_1).
map(line_1, alarm, machine_1_7, alarm).
machine(machine_1_8).
property(machine_1_8, alarm, off).
location(machine_1_8, line_1).
map(line_1, alarm, machine_1_8, alarm).
machine(machine_1_9).
property(machine_1_9, alarm, off).
location(machine_1_9, line_1).
map(line_1, alarm, machine_1_9, alarm).
machine(machine_1_10).
property(machine_1_10, alarm, off).
location(machine_1_10, line_1).
map(line_1, alarm, machine_1_10, alarm).
machine(machine_1_11).
property(machine_1_11, alarm, off).
location(machine_1_11, line_1).
map(line_1, alarm, machine_1_11, alarm).
machine(machine_1_12).
property(machine_1_12, alarm, off).
location(machine_1_12, line_1).
map(line_1, alarm, machine_1_12, alarm).
machine(machine_1_13).
property(machine_1_13, alarm, off).
location(machine_1_13, line_1).
map(line_1, alarm, machine_1_13, alarm).
machine(machine_1_14).
property(machine_1_14, alarm, off).
location(machine_1_14, line_1).
map(line_1, alarm, machine_1_14, alarm).
machine(machine_1_15).
property(machine_1_15, alarm, off).
location(machine_1_15, line_1).
map(line_1, alarm, machine_1_15, alarm).
machine(machine_1_16).
property(machine_1_16, alarm, off).
location(machine_1_16, line_1).
map(line_1, alarm, machine_1_16, alarm).
machine(machine_1_17).
property(machine_1_17, alarm, off).
location(machine_1_17, line_1).
map(line_1, alarm, machine_1_17, alarm).
machine(machine_1_18).
property(machine_1_18, alarm, off).
location(machine_1_18, line_1).
map(line_1, alarm, machine_1_18, alarm).
machine(machine_1_19).
property(machine_1_19, alarm, off).
location(machine_1_19, line_1).
map(line_1, alarm, machine_1_19, alarm).
prod_line(line_2).
machine(machine_2_0).
property(machine_2_0, alarm, off).
location(machine_2_0, line_2).
map(line_2, alarm, machine_2_0, alarm).
machine(machine_2_1).
property(machine_2_1, alarm, off).
location(machine_2_1, line_2).
map(line_2, alarm, machine_2_1, alarm).
machine(machine_2_2).
property(machine_2_2, alarm, off).
location(machine_2_2, line_2).
map(line_2, alarm, machine_2_2, alarm).
machine(machine_2_3).
property(machine_2_3, alarm, off).
location(machine_2_3, line_2).
map(line_2, alarm, machine_2_3, alarm).
machine(machine_2_4).
property(machine_2_4, alarm, off).
location(machine_2_4, line_2).
map(line_2, alarm, machine_2_4, alarm).
machine(machine_2_5).
property(machine_2_5, alarm, off).
location(machine_2_5, line_2).
map(line_2, alarm, machine_2_5, alarm).
machine(machine_2_6).
property(machine_2_6, alarm, off).
location(machine_2_6, line_2).
map(line_2, alarm, machine_2_6, alarm).
machine(machine_2_7).
property(machine_2_7, alarm, off).
location(machine_2_7, line_2).
map(line_2, alarm, machine_2_7, alarm).
machine(machine_2_8).
property(machine_2_8, alarm, off).
location(machine_2_8, line_2).
map(line_2, alarm, machine_2_8, alarm).
machine(machine_2_9).
property(machine_2_9, alarm, off).
location(machine_2_9, line_2).
map(line_2, alarm, machine_2_9, alarm).
machine(machine_2_10).
property(machine_2_10, alarm, off).
location(machine_2_10, line_2).
map(line_2, alarm, machine_2_10, alarm).
machine(machine_2_11).
property(machine_2_11, alarm, off).
location(machine_2_11, line_2).
map(line_2, alarm, machine_2_11, alarm).
machine(machine_2_12).
property(machine_2_12, alarm, off).
location(machine_2_12, line_2).
map(line_2, alarm, machine_2_12, alarm).
machine(machine_2_13).
property(machine_2_13, alarm, off).
location(machine_2_13, line_2).
map(line_2, alarm, machine_2_13, alarm).
machine(machine_2_14).
property(machine_2_14, alarm, off).
location(machine_2_14, line_2).
map(line_2, alarm, machine_2_14, alarm).
machine(machine_2_15).
property(machine_2_15, alarm, off).
location(machine_2_15, line_2).
map(line_2, alarm, machine_2_15, alarm).
machine(machine_2_16).
property(machine_2_16, alarm, off).
location(machine_2_16, line_2).
map(line_2, alarm, machine_2_16, alarm).
machine(machine_2_17).
property(machine_2_17, alarm, off).
location(machine_2_17, line_2).
map(line_2, alarm, machine_2_17, alarm).
machine(machine_2_18).
property(machine_2_18, alarm, off).
location(machine_2_18, line_2).
map(line_2, alarm, machine_2_18, alarm).
machine(machine_2_19).
property(machine_2_19, alarm, off).
location(machine_2_19, line_2).
map(line_2, alarm, machine_2_19, alarm).
prod_line(line_3).
machine(machine_3_0).
property(machine_3_0, alarm, off).
location(machine_3_0, line_3).
map(line_3, alarm, machine_3_0, alarm).
machine(machine_3_1).
property(machine_3_1, alarm, off).
location(machine_3_1, line_3).
map(line_3, alarm, machine_3_1, alarm).
machine(machine_3_2).
property(machine_3_2, alarm, off).
location(machine_3_2, line_3).
map(line_3, alarm, machine_3_2, alarm).
machine(machine_3_3).
property(machine_3_3, alarm, off).
location(machine_3_3, line_3).
map(line_3, alarm, machine_3_3, alarm).
machine(machine_3_4).
property(machine_3_4, alarm, off).
location(machine_3_4, line_3).
map(line_3, alarm, machine_3_4, alarm).
machine(machine_3_5).
property(machine_3_5, alarm, off).
location(machine_3_5, line_3).
map(line_3, alarm, machine_3_5, alarm).
machine(machine_3_6).
property(machine_3_6, alarm, off).
location(machine_3_6, line_3).
map(line_3, alarm, machine_3_6, alarm).
machine(machine_3_7).
property(machine_3_7, alarm, off).
location(machine_3_7, line_3).
map(line_3, alarm, machine_3_7, alarm).
machine(machine_3_8).
property(machine_3_8, alarm, off).
location(machine_3_8, line_3).
map(line_3, alarm, machine_3_8, alarm).
machine(machine_3_9).
property(machine_3_9, alarm, off).
location(machine_3_9, line_3).
map(line_3, alarm, machine_3_9, alarm).
machine(machine_3_10).
property(machine_3_10, alarm, off).
location(machine_3_10, line_3).
map(line_3, alarm, machine_3_10, alarm).
machine(machine_3_11).
property(machine_3_11, alarm, off).
location(machine_3_11, line_3).
map(line_3, alarm, machine_3_11, alarm).
machine(machine_3_12).
property(machine_3_12, alarm, off).
location(machine_3_12, line_3).
map(line_3, alarm, machine_3_12, alarm).
machine(machine_3_13).
property(machine_3_13, alarm, off).
location(machine_3_13, line_3).
map(line_3, alarm, machine_3_13, alarm).
machine(machine_3_14).
property(machine_3_14, alarm, off).
location(machine_3_14, line_3).
map(line_3, alarm, machine_3_14, alarm).
machine(machine_3_15).
property(machine_3_15, alarm, off).
location(machine_3_15, line_3).
map(line_3, alarm, machine_3_15, alarm).
machine(machine_3_16).
property(machine_3_16, alarm, off).
location(machine_3_16, line_3).
map(line_3, alarm, machine_3_16, alarm).
machine(machine_3_17).
property(machine_3_17, alarm, off).
location(machine_3_17, line_3).
map(line_3, alarm, machine_3_17, alarm).
machine(machine_3_18).
property(machine_3_18, alarm, off).
location(machine_3_18, line_3).
map(line_3, alarm, machine_3_18, alarm).
machine(machine_3_19).
property(machine_3_19, alarm, off).
location(machine_3_19, line_3).
map(line_3, alarm, machine_3_19, alarm).
prod_line(line_4).
machine(machine_4_0).
property(machine_4_0, alarm, off).
location(machine_4_0, line_4).
map(line_4, alarm, machine_4_0, alarm).
machine(machine_4_1).
property(machine_4_1, alarm, off).
location(machine_4_1, line_4).
map(line_4, alarm, machine_4_1, alarm).
machine(machine_4_2).
property(machine_4_2, alarm, off).
location(machine_4_2, line_4).
map(line_4, alarm, machine_4_2, alarm).
machine(machine_4_3).
property(machine_4_3, alarm, off).
location(machine_4_3, line_4).
map(line_4, alarm, machine_4_3, alarm).
machine(machine_4_4).
property(machine_4_4, alarm, off).
location(machine_4_4, line_4).
map(line_4, alarm, machine_4_4, alarm).
machine(machine_4_5).
property(machine_4_5, alarm, off).
location(machine_4_5, line_4).
map(line_4, alarm, machine_4_5, alarm).
machine(machine_4_6).
property(machine_4_6, alarm, off).
location(machine_4_6, line_4).
map(line_4, alarm, machine_4_6, alarm).
machine(machine_4_7).
property(machine_4_7, alarm, off).
location(machine_4_7, line_4).
map(line_4, alarm, machine_4_7, alarm).
machine(machine_4_8).
property(machine_4_8, alarm, off).
location(machine_4_8, line_4).
map(line_4, alarm, machine_4_8, alarm).
machine(machine_4_9).
property(machine_4_9, alarm, off).
location(machine_4_9, line_4).
map(line_4, alarm, machine_4_9, alarm).
machine(machine_4_10).
property(machine_4_10, alarm, off).
location(machine_4_10, line_4).
map(line_4, alarm, machine_4_10, alarm).
machine(machine_4_11).
property(machine_4_11, alarm, off).
location(machine_4_11, line_4).
map(line_4, alarm, machine_4_11, alarm).
machine(machine_4_12).
property(machine_4_12, alarm, off).
location(machine_4_12, line_4).
map(line_4, alarm, machine_4_12, alarm).
machine(machine_4_13).
property(machine_4_13, alarm, off).
location(machine_4_13, line_4).
map(line_4, alarm, machine_4_13, alarm).
machine(machine_4_14).
property(machine_4_14, alarm, off).
location(machine_4_14, line_4).
map(line_4, alarm, machine_4_14, alarm).
machine(machine_4_15).
property(machine_4_15, alarm, off).
location(machine_4_15, line_4).
map(line_4, alarm, machine_4_15, alarm).
machine(machine_4_16).
property(machine_4_16, alarm, off).
location(machine_4_16, line_4).
map(line_4, alarm, machine_4_16, alarm).
machine(machine_4_17).
property(machine_4_17, alarm, off).
location(machine_4_17, line_4).
map(line_4, alarm, machine_4_17, alarm).
machine(machine_4_18).
property(machine_4_18, alarm, off).
location(machine_4_18, line_4).
map(line_4, alarm, machine_4_18, alarm).
machine(machine_4_19).
property(machine_4_19, alarm, off).
location(machine_4_19, line_4).
map(line_4, alarm, machine_4_19, alarm).
prod_line(line_5).
machine(machine_5_0).
property(machine_5_0, alarm, off).
location(machine_5_0, line_5).
map(line_5, alarm, machine_5_0, alarm).
machine(machine_5_1).
property(machine_5_1, alarm, off).
location(machine_5_1, line_5).
map(line_5, alarm, machine_5_1, alarm).
machine(machine_5_2).
property(machine_5_2, alarm, off).
location(machine_5_2, line_5).
map(line_5, alarm, machine_5_2, alarm).
machine(machine_5_3).
property(machine_5_3, alarm, off).
location(machine_5_3, line_5).
map(line_5, alarm, machine_5_3, alarm).
machine(machine_5_4).
property(machine_5_4, alarm, off).
location(machine_5_4, line_5).
map(line_5, alarm, machine_5_4, alarm).
machine(machine_5_5).
property(machine_5_5, alarm, off).
location(machine_5_5, line_5).
map(line_5, alarm, machine_5_5, alarm).
machine(machine_5_6).
property(machine_5_6, alarm, off).
location(machine_5_6, line_5).
map(line_5, alarm, machine_5_6, alarm).
machine(machine_5_7).
property(machine_5_7, alarm, off).
location(machine_5_7, line_5).
map(line_5, alarm, machine_5_7, alarm).
machine(machine_5_8).
property(machine_5_8, alarm, off).
location(machine_5_8, line_5).
map(line_5, alarm, machine_5_8, alarm).
machine(machine_5_9).
property(machine_5_9, alarm, off).
location(machine_5_9, line_5).
map(line_5, alarm, machine_5_9, alarm).
machine(machine_5_10).
property(machine_5_10, alarm, off).
location(machine_5_10, line_5).
map(line_5, alarm, machine_5_10, alarm).
machine(machine_5_11).
property(machine_5_11, alarm, off).
location(machine_5_11, line_5).
map(line_5, alarm, machine_5_11, alarm).
machine(machine_5_12).
property(machine_5_12, alarm, off).
location(machine_5_12, line_5).
map(line_5, alarm, machine_5_12, alarm).
machine(machine_5_13).
property(machine_5_13, alarm, off).
location(machine_5_13, line_5).
map(line_5, alarm, machine_5_13, alarm).
machine(machine_5_14).
property(machine_5_14, alarm, off).
location(machine_5_14, line_5).
map(line_5, alarm, machine_5_14, alarm).
machine(machine_5_15).
property(machine_5_15, alarm, off).
location(machine_5_15, line_5).
map(line_5, alarm, machine_5_15, alarm).
machine(machine_5_16).
property(machine_5_16, alarm, off).
location(machine_5_16, line_5).
map(line_5, alarm, machine_5_16, alarm).
machine(machine_5_17).
property(machine_5_17, alarm, off).
location(machine_5_17, line_5).
map(line_5, alarm, machine_5_17, alarm).
machine(machine_5_18).
property(machine_5_18, alarm, off).
location(machine_5_18, line_5).
map(line_5, alarm, machine_5_18, alarm).
machine(machine_5_19).
property(machine_5_19, alarm, off).
location(machine_5_19, line_5).
map(line_5, alarm, machine_5_19, alarm).
prod_line(line_6).
machine(machine_6_0).
property(machine_6_0, alarm, off).
location(machine_6_0, line_6).
map(line_6, alarm, machine_6_0, alarm).
machine(machine_6_1).
property(machine_6_1, alarm, off).
location(machine_6_1, line_6).
map(line_6, alarm, machine_6_1, alarm).
machine(machine_6_2).
property(machine_6_2, alarm, off).
location(machine_6_2, line_6).
map(line_6, alarm, machine_6_2, alarm).
machine(machine_6_3).
property(machine_6_3, alarm, off).
location(machine_6_3, line_6).
map(line_6, alarm, machine_6_3, alarm).
machine(machine_6_4).
property(machine_6_4, alarm, off).
location(machine_6_4, line_6).
map(line_6, alarm, machine_6_4, alarm).
machine(machine_6_5).
property(machine_6_5, alarm, off).
location(machine_6_5, line_6).
map(line_6, alarm, machine_6_5, alarm).
machine(machine_6_6).
property(machine_6_6, alarm, off).
location(machine_6_6, line_6).
map(line_6, alarm, machine_6_6, alarm).
machine(machine_6_7).
property(machine_6_7, alarm, off).
location(machine_6_7, line_6).
map(line_6, alarm, machine_6_7, alarm).
machine(machine_6_8).
property(machine_6_8, alarm, off).
location(machine_6_8, line_6).
map(line_6, alarm, machine_6_8, alarm).
machine(machine_6_9).
property(machine_6_9, alarm, off).
location(machine_6_9, line_6).
map(line_6, alarm, machine_6_9, alarm).
machine(machine_6_10).
property(machine_6_10, alarm, off).
location(machine_6_10, line_6).
map(line_6, alarm, machine_6_10, alarm).
machine(machine_6_11).
property(machine_6_11, alarm, off).
location(machine_6_11, line_6).
map(line_6, alarm, machine_6_11, alarm).
machine(machine_6_12).
property(machine_6_12, alarm, off).
location(machine_6_12, line_6).
map(line_6, alarm, machine_6_12, alarm).
machine(machine_6_13).
property(machine_6_13, alarm, off).
location(machine_6_13, line_6).
map(line_6, alarm, machine_6_13, alarm).
machine(machine_6_14).
property(machine_6_14, alarm, off).
location(machine_6_14, line_6).
map(line_6, alarm, machine_6_14, alarm).
machine(machine_6_15).
property(machine_6_15, alarm, off).
location(machine_6_15, line_6).
map(line_6, alarm, machine_6_15, alarm).
machine(machine_6_16).
property(machine_6_16, alarm, off).
location(machine_6_16, line_6).
map(line_6, alarm, machine_6_16, alarm).
machine(machine_6_17).
property(machine_6_17, alarm, off).
location(machine_6_17, line_6).
map(line_6, alarm, machine_6_17, alarm).
machine(machine_6_18).
property(machine_6_18, alarm, off).
location(machine_6_18, line_6).
map(line_6, alarm, machine_6_18, alarm).
machine(machine_6_19).
property(machine_6_19, alarm, off).
location(machine_6_19, line_6).
map(line_6, alarm, machine_6_19, alarm).
prod_line(line_7).
machine(machine_7_0).
property(machine_7_0, alarm, off).
location(machine_7_0, line_7).
map(line_7, alarm, machine_7_0, alarm).
machine(machine_7_1).
property(machine_7_1, alarm, off).
location(machine_7_1, line_7).
map(line_7, alarm, machine_7_1, alarm).
machine(machine_7_2).
property(machine_7_2, alarm, off).
location(machine_7_2, line_7).
map(line_7, alarm, machine_7_2, alarm).
machine(machine_7_3).
property(machine_7_3, alarm, off).
location(machine_7_3, line_7).
map(line_7, alarm, machine_7_3, alarm).
machine(machine_7_4).
property(machine_7_4, alarm, off).
location(machine_7_4, line_7).
map(line_7, alarm, machine_7_4, alarm).
machine(machine_7_5).
property(machine_7_5, alarm, off).
location(machine_7_5, line_7).
map(line_7, alarm, machine_7_5, alarm).
machine(machine_7_6).
property(machine_7_6, alarm, off).
location(machine_7_6, line_7).
map(line_7, alarm, machine_7_6, alarm).
machine(machine_7_7).
property(machine_7_7, alarm, off).
location(machine_7_7, line_7).
map(line_7, alarm, machine_7_7, alarm).
machine(machine_7_8).
property(machine_7_8, alarm, off).
location(machine_7_8, line_7).
map(line_7, alarm, machine_7_8, alarm).
machine(machine_7_9).
property(machine_7_9, alarm, off).
location(machine_7_9, line_7).
map(line_7, alarm, machine_7_9, alarm).
machine(machine_7_10).
property(machine_7_10, alarm, off).
location(machine_7_10, line_7).
map(line_7, alarm, machine_7_10, alarm).
machine(machine_7_11).
property(machine_7_11, alarm, off).
location(machine_7_11, line_7).
map(line_7, alarm, machine_7_11, alarm).
machine(machine_7_12).
property(machine_7_12, alarm, off).
location(machine_7_12, line_7).
map(line_7, alarm, machine_7_12, alarm).
machine(machine_7_13).
property(machine_7_13, alarm, off).
location(machine_7_13, line_7).
map(line_7, alarm, machine_7_13, alarm).
machine(machine_7_14).
property(machine_7_14, alarm, off).
location(machine_7_14, line_7).
map(line_7, alarm, machine_7_14, alarm).
machine(machine_7_15).
property(machine_7_15, alarm, off).
location(machine_7_15, line_7).
map(line_7, alarm, machine_7_15, alarm).
machine(machine_7_16).
property(machine_7_16, alarm, off).
location(machine_7_16, line_7).
map(line_7, alarm, machine_7_16, alarm).
machine(machine_7_17).
property(machine_7_17, alarm, off).
location(machine_7_17, line_7).
map(line_7, alarm, machine_7_17, alarm).
machine(machine_7_18).
property(machine_7_18, alarm, off).
location(machine_7_18, line_7).
map(line_7, alarm, machine_7_18, alarm).
machine(machine_7_19).
property(machine_7_19, alarm, off).
location(machine_7_19, line_7).
map(line_7, alarm, machine_7_19, alarm).
prod_line(line_8).
machine(machine_8_0).
property(machine_8_0, alarm, off).
location(machine_8_0, line_8).
map(line_8, alarm, machine_8_0, alarm).
machine(machine_8_1).
property(machine_8_1, alarm, off).
location(machine_8_1, line_8).
map(line_8, alarm, machine_8_1, alarm).
machine(machine_8_2).
property(machine_8_2, alarm, off).
location(machine_8_2, line_8).
map(line_8, alarm, machine_8_2, alarm).
machine(machine_8_3).
property(machine_8_3, alarm, off).
location(machine_8_3, line_8).
map(line_8, alarm, machine_8_3, alarm).
machine(machine_8_4).
property(machine_8_4, alarm, off).
location(machine_8_4, line_8).
map(line_8, alarm, machine_8_4, alarm).
machine(machine_8_5).
property(machine_8_5, alarm, off).
location(machine_8_5, line_8).
map(line_8, alarm, machine_8_5, alarm).
machine(machine_8_6).
property(machine_8_6, alarm, off).
location(machine_8_6, line_8).
map(line_8, alarm, machine_8_6, alarm).
machine(machine_8_7).
property(machine_8_7, alarm, off).
location(machine_8_7, line_8).
map(line_8, alarm, machine_8_7, alarm).
machine(machine_8_8).
property(machine_8_8, alarm, off).
location(machine_8_8, line_8).
map(line_8, alarm, machine_8_8, alarm).
machine(machine_8_9).
property(machine_8_9, alarm, off).
location(machine_8_9, line_8).
map(line_8, alarm, machine_8_9, alarm).
machine(machine_8_10).
property(machine_8_10, alarm, off).
location(machine_8_10, line_8).
map(line_8, alarm, machine_8_10, alarm).
machine(machine_8_11).
property(machine_8_11, alarm, off).
location(machine_8_11, line_8).
map(line_8, alarm, machine_8_11, alarm).
machine(machine_8_12).
property(machine_8_12, alarm, off).
location(machine_8_12, line_8).
map(line_8, alarm, machine_8_12, alarm).
machine(machine_8_13).
property(machine_8_13, alarm, off).
location(machine_8_13, line_8).
map(line_8, alarm, machine_8_13, alarm).
machine(machine_8_14).
property(machine_8_14, alarm, off).
location(machine_8_14, line_8).
map(line_8, alarm, machine_8_14, alarm).
machine(machine_8_15).
property(machine_8_15, alarm, off).
location(machine_8_15, line_8).
map(line_8, alarm, machine_8_15, alarm).
machine(machine_8_16).
property(machine_8_16, alarm, off).
location(machine_8_16, line_8).
map(line_8, alarm, machine_8_16, alarm).
machine(machine_8_17).
property(machine_8_17, alarm, off).
location(machine_8_17, line_8).
map(line_8, alarm, machine_8_17, alarm).
machine(machine_8_18).
property(machine_8_18, alarm, off).
location(machine_8_18, line_8).
map(line_8, alarm, machine_8_18, alarm).
machine(machine_8_19).
property(machine_8_19, alarm, off).
location(machine_8_19, line_8).
map(line_8, alarm, machine_8_19, alarm).
prod_line(line_9).
machine(machine_9_0).
property(machine_9_0, alarm, off).
location(machine_9_0, line_9).
map(line_9, alarm, machine_9_0, alarm).
machine(machine_9_1).
property(machine_9_1, alarm, off).
location(machine_9_1, line_9).
map(line_9, alarm, machine_9_1, alarm).
machine(machine_9_2).
property(machine_9_2, alarm, off).
location(machine_9_2, line_9).
map(line_9, alarm, machine_9_2, alarm).
machine(machine_9_3).
property(machine_9_3, alarm, off).
location(machine_9_3, line_9).
map(line_9, alarm, machine_9_3, alarm).
machine(machine_9_4).
property(machine_9_4, alarm, off).
location(machine_9_4, line_9).
map(line_9, alarm, machine_9_4, alarm).
machine(machine_9_5).
property(machine_9_5, alarm, off).
location(machine_9_5, line_9).
map(line_9, alarm, machine_9_5, alarm).
machine(machine_9_6).
property(machine_9_6, alarm, off).
location(machine_9_6, line_9).
map(line_9, alarm, machine_9_6, alarm).
machine(machine_9_7).
property(machine_9_7, alarm, off).
location(machine_9_7, line_9).
map(line_9, alarm, machine_9_7, alarm).
machine(machine_9_8).
property(machine_9_8, alarm, off).
location(machine_9_8, line_9).
map(line_9, alarm, machine_9_8, alarm).
machine(machine_9_9).
property(machine_9_9, alarm, off).
location(machine_9_9, line_9).
map(line_9, alarm, machine_9_9, alarm).
machine(machine_9_10).
property(machine_9_10, alarm, off).
location(machine_9_10, line_9).
map(line_9, alarm, machine_9_10, alarm).
machine(machine_9_11).
property(machine_9_11, alarm, off).
location(machine_9_11, line_9).
map(line_9, alarm, machine_9_11, alarm).
machine(machine_9_12).
property(machine_9_12, alarm, off).
location(machine_9_12, line_9).
map(line_9, alarm, machine_9_12, alarm).
machine(machine_9_13).
property(machine_9_13, alarm, off).
location(machine_9_13, line_9).
map(line_9, alarm, machine_9_13, alarm).
machine(machine_9_14).
property(machine_9_14, alarm, off).
location(machine_9_14, line_9).
map(line_9, alarm, machine_9_14, alarm).
machine(machine_9_15).
property(machine_9_15, alarm, off).
location(machine_9_15, line_9).
map(line_9, alarm, machine_9_15, alarm).
machine(machine_9_16).
property(machine_9_16, alarm, off).
location(machine_9_16, line_9).
map(line_9, alarm, machine_9_16, alarm).
machine(machine_9_17).
property(machine_9_17, alarm, off).
location(machine_9_17, line_9).
map(line_9, alarm, machine_9_17, alarm).
machine(machine_9_18).
property(machine_9_18, alarm, off).
location(machine_9_18, line_9).
map(line_9, alarm, machine_9_18, alarm).
machine(machine_9_19).
property(machine_9_19, alarm, off).
location(machine_9_19, line_9).
map(line_9, alarm, machine_9_19, alarm).