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).
machine(machine_0_20).
property(machine_0_20, alarm, off).
location(machine_0_20, line_0).
map(line_0, alarm, machine_0_20, alarm).
machine(machine_0_21).
property(machine_0_21, alarm, off).
location(machine_0_21, line_0).
map(line_0, alarm, machine_0_21, alarm).
machine(machine_0_22).
property(machine_0_22, alarm, off).
location(machine_0_22, line_0).
map(line_0, alarm, machine_0_22, alarm).
machine(machine_0_23).
property(machine_0_23, alarm, off).
location(machine_0_23, line_0).
map(line_0, alarm, machine_0_23, alarm).
machine(machine_0_24).
property(machine_0_24, alarm, off).
location(machine_0_24, line_0).
map(line_0, alarm, machine_0_24, alarm).
machine(machine_0_25).
property(machine_0_25, alarm, off).
location(machine_0_25, line_0).
map(line_0, alarm, machine_0_25, alarm).
machine(machine_0_26).
property(machine_0_26, alarm, off).
location(machine_0_26, line_0).
map(line_0, alarm, machine_0_26, alarm).
machine(machine_0_27).
property(machine_0_27, alarm, off).
location(machine_0_27, line_0).
map(line_0, alarm, machine_0_27, alarm).
machine(machine_0_28).
property(machine_0_28, alarm, off).
location(machine_0_28, line_0).
map(line_0, alarm, machine_0_28, alarm).
machine(machine_0_29).
property(machine_0_29, alarm, off).
location(machine_0_29, line_0).
map(line_0, alarm, machine_0_29, alarm).
machine(machine_0_30).
property(machine_0_30, alarm, off).
location(machine_0_30, line_0).
map(line_0, alarm, machine_0_30, alarm).
machine(machine_0_31).
property(machine_0_31, alarm, off).
location(machine_0_31, line_0).
map(line_0, alarm, machine_0_31, alarm).
machine(machine_0_32).
property(machine_0_32, alarm, off).
location(machine_0_32, line_0).
map(line_0, alarm, machine_0_32, alarm).
machine(machine_0_33).
property(machine_0_33, alarm, off).
location(machine_0_33, line_0).
map(line_0, alarm, machine_0_33, alarm).
machine(machine_0_34).
property(machine_0_34, alarm, off).
location(machine_0_34, line_0).
map(line_0, alarm, machine_0_34, alarm).
machine(machine_0_35).
property(machine_0_35, alarm, off).
location(machine_0_35, line_0).
map(line_0, alarm, machine_0_35, alarm).
machine(machine_0_36).
property(machine_0_36, alarm, off).
location(machine_0_36, line_0).
map(line_0, alarm, machine_0_36, alarm).
machine(machine_0_37).
property(machine_0_37, alarm, off).
location(machine_0_37, line_0).
map(line_0, alarm, machine_0_37, alarm).
machine(machine_0_38).
property(machine_0_38, alarm, off).
location(machine_0_38, line_0).
map(line_0, alarm, machine_0_38, alarm).
machine(machine_0_39).
property(machine_0_39, alarm, off).
location(machine_0_39, line_0).
map(line_0, alarm, machine_0_39, alarm).
machine(machine_0_40).
property(machine_0_40, alarm, off).
location(machine_0_40, line_0).
map(line_0, alarm, machine_0_40, alarm).
machine(machine_0_41).
property(machine_0_41, alarm, off).
location(machine_0_41, line_0).
map(line_0, alarm, machine_0_41, alarm).
machine(machine_0_42).
property(machine_0_42, alarm, off).
location(machine_0_42, line_0).
map(line_0, alarm, machine_0_42, alarm).
machine(machine_0_43).
property(machine_0_43, alarm, off).
location(machine_0_43, line_0).
map(line_0, alarm, machine_0_43, alarm).
machine(machine_0_44).
property(machine_0_44, alarm, off).
location(machine_0_44, line_0).
map(line_0, alarm, machine_0_44, alarm).
machine(machine_0_45).
property(machine_0_45, alarm, off).
location(machine_0_45, line_0).
map(line_0, alarm, machine_0_45, alarm).
machine(machine_0_46).
property(machine_0_46, alarm, off).
location(machine_0_46, line_0).
map(line_0, alarm, machine_0_46, alarm).
machine(machine_0_47).
property(machine_0_47, alarm, off).
location(machine_0_47, line_0).
map(line_0, alarm, machine_0_47, alarm).
machine(machine_0_48).
property(machine_0_48, alarm, off).
location(machine_0_48, line_0).
map(line_0, alarm, machine_0_48, alarm).
machine(machine_0_49).
property(machine_0_49, alarm, off).
location(machine_0_49, line_0).
map(line_0, alarm, machine_0_49, 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).
machine(machine_1_20).
property(machine_1_20, alarm, off).
location(machine_1_20, line_1).
map(line_1, alarm, machine_1_20, alarm).
machine(machine_1_21).
property(machine_1_21, alarm, off).
location(machine_1_21, line_1).
map(line_1, alarm, machine_1_21, alarm).
machine(machine_1_22).
property(machine_1_22, alarm, off).
location(machine_1_22, line_1).
map(line_1, alarm, machine_1_22, alarm).
machine(machine_1_23).
property(machine_1_23, alarm, off).
location(machine_1_23, line_1).
map(line_1, alarm, machine_1_23, alarm).
machine(machine_1_24).
property(machine_1_24, alarm, off).
location(machine_1_24, line_1).
map(line_1, alarm, machine_1_24, alarm).
machine(machine_1_25).
property(machine_1_25, alarm, off).
location(machine_1_25, line_1).
map(line_1, alarm, machine_1_25, alarm).
machine(machine_1_26).
property(machine_1_26, alarm, off).
location(machine_1_26, line_1).
map(line_1, alarm, machine_1_26, alarm).
machine(machine_1_27).
property(machine_1_27, alarm, off).
location(machine_1_27, line_1).
map(line_1, alarm, machine_1_27, alarm).
machine(machine_1_28).
property(machine_1_28, alarm, off).
location(machine_1_28, line_1).
map(line_1, alarm, machine_1_28, alarm).
machine(machine_1_29).
property(machine_1_29, alarm, off).
location(machine_1_29, line_1).
map(line_1, alarm, machine_1_29, alarm).
machine(machine_1_30).
property(machine_1_30, alarm, off).
location(machine_1_30, line_1).
map(line_1, alarm, machine_1_30, alarm).
machine(machine_1_31).
property(machine_1_31, alarm, off).
location(machine_1_31, line_1).
map(line_1, alarm, machine_1_31, alarm).
machine(machine_1_32).
property(machine_1_32, alarm, off).
location(machine_1_32, line_1).
map(line_1, alarm, machine_1_32, alarm).
machine(machine_1_33).
property(machine_1_33, alarm, off).
location(machine_1_33, line_1).
map(line_1, alarm, machine_1_33, alarm).
machine(machine_1_34).
property(machine_1_34, alarm, off).
location(machine_1_34, line_1).
map(line_1, alarm, machine_1_34, alarm).
machine(machine_1_35).
property(machine_1_35, alarm, off).
location(machine_1_35, line_1).
map(line_1, alarm, machine_1_35, alarm).
machine(machine_1_36).
property(machine_1_36, alarm, off).
location(machine_1_36, line_1).
map(line_1, alarm, machine_1_36, alarm).
machine(machine_1_37).
property(machine_1_37, alarm, off).
location(machine_1_37, line_1).
map(line_1, alarm, machine_1_37, alarm).
machine(machine_1_38).
property(machine_1_38, alarm, off).
location(machine_1_38, line_1).
map(line_1, alarm, machine_1_38, alarm).
machine(machine_1_39).
property(machine_1_39, alarm, off).
location(machine_1_39, line_1).
map(line_1, alarm, machine_1_39, alarm).
machine(machine_1_40).
property(machine_1_40, alarm, off).
location(machine_1_40, line_1).
map(line_1, alarm, machine_1_40, alarm).
machine(machine_1_41).
property(machine_1_41, alarm, off).
location(machine_1_41, line_1).
map(line_1, alarm, machine_1_41, alarm).
machine(machine_1_42).
property(machine_1_42, alarm, off).
location(machine_1_42, line_1).
map(line_1, alarm, machine_1_42, alarm).
machine(machine_1_43).
property(machine_1_43, alarm, off).
location(machine_1_43, line_1).
map(line_1, alarm, machine_1_43, alarm).
machine(machine_1_44).
property(machine_1_44, alarm, off).
location(machine_1_44, line_1).
map(line_1, alarm, machine_1_44, alarm).
machine(machine_1_45).
property(machine_1_45, alarm, off).
location(machine_1_45, line_1).
map(line_1, alarm, machine_1_45, alarm).
machine(machine_1_46).
property(machine_1_46, alarm, off).
location(machine_1_46, line_1).
map(line_1, alarm, machine_1_46, alarm).
machine(machine_1_47).
property(machine_1_47, alarm, off).
location(machine_1_47, line_1).
map(line_1, alarm, machine_1_47, alarm).
machine(machine_1_48).
property(machine_1_48, alarm, off).
location(machine_1_48, line_1).
map(line_1, alarm, machine_1_48, alarm).
machine(machine_1_49).
property(machine_1_49, alarm, off).
location(machine_1_49, line_1).
map(line_1, alarm, machine_1_49, 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).
machine(machine_2_20).
property(machine_2_20, alarm, off).
location(machine_2_20, line_2).
map(line_2, alarm, machine_2_20, alarm).
machine(machine_2_21).
property(machine_2_21, alarm, off).
location(machine_2_21, line_2).
map(line_2, alarm, machine_2_21, alarm).
machine(machine_2_22).
property(machine_2_22, alarm, off).
location(machine_2_22, line_2).
map(line_2, alarm, machine_2_22, alarm).
machine(machine_2_23).
property(machine_2_23, alarm, off).
location(machine_2_23, line_2).
map(line_2, alarm, machine_2_23, alarm).
machine(machine_2_24).
property(machine_2_24, alarm, off).
location(machine_2_24, line_2).
map(line_2, alarm, machine_2_24, alarm).
machine(machine_2_25).
property(machine_2_25, alarm, off).
location(machine_2_25, line_2).
map(line_2, alarm, machine_2_25, alarm).
machine(machine_2_26).
property(machine_2_26, alarm, off).
location(machine_2_26, line_2).
map(line_2, alarm, machine_2_26, alarm).
machine(machine_2_27).
property(machine_2_27, alarm, off).
location(machine_2_27, line_2).
map(line_2, alarm, machine_2_27, alarm).
machine(machine_2_28).
property(machine_2_28, alarm, off).
location(machine_2_28, line_2).
map(line_2, alarm, machine_2_28, alarm).
machine(machine_2_29).
property(machine_2_29, alarm, off).
location(machine_2_29, line_2).
map(line_2, alarm, machine_2_29, alarm).
machine(machine_2_30).
property(machine_2_30, alarm, off).
location(machine_2_30, line_2).
map(line_2, alarm, machine_2_30, alarm).
machine(machine_2_31).
property(machine_2_31, alarm, off).
location(machine_2_31, line_2).
map(line_2, alarm, machine_2_31, alarm).
machine(machine_2_32).
property(machine_2_32, alarm, off).
location(machine_2_32, line_2).
map(line_2, alarm, machine_2_32, alarm).
machine(machine_2_33).
property(machine_2_33, alarm, off).
location(machine_2_33, line_2).
map(line_2, alarm, machine_2_33, alarm).
machine(machine_2_34).
property(machine_2_34, alarm, off).
location(machine_2_34, line_2).
map(line_2, alarm, machine_2_34, alarm).
machine(machine_2_35).
property(machine_2_35, alarm, off).
location(machine_2_35, line_2).
map(line_2, alarm, machine_2_35, alarm).
machine(machine_2_36).
property(machine_2_36, alarm, off).
location(machine_2_36, line_2).
map(line_2, alarm, machine_2_36, alarm).
machine(machine_2_37).
property(machine_2_37, alarm, off).
location(machine_2_37, line_2).
map(line_2, alarm, machine_2_37, alarm).
machine(machine_2_38).
property(machine_2_38, alarm, off).
location(machine_2_38, line_2).
map(line_2, alarm, machine_2_38, alarm).
machine(machine_2_39).
property(machine_2_39, alarm, off).
location(machine_2_39, line_2).
map(line_2, alarm, machine_2_39, alarm).
machine(machine_2_40).
property(machine_2_40, alarm, off).
location(machine_2_40, line_2).
map(line_2, alarm, machine_2_40, alarm).
machine(machine_2_41).
property(machine_2_41, alarm, off).
location(machine_2_41, line_2).
map(line_2, alarm, machine_2_41, alarm).
machine(machine_2_42).
property(machine_2_42, alarm, off).
location(machine_2_42, line_2).
map(line_2, alarm, machine_2_42, alarm).
machine(machine_2_43).
property(machine_2_43, alarm, off).
location(machine_2_43, line_2).
map(line_2, alarm, machine_2_43, alarm).
machine(machine_2_44).
property(machine_2_44, alarm, off).
location(machine_2_44, line_2).
map(line_2, alarm, machine_2_44, alarm).
machine(machine_2_45).
property(machine_2_45, alarm, off).
location(machine_2_45, line_2).
map(line_2, alarm, machine_2_45, alarm).
machine(machine_2_46).
property(machine_2_46, alarm, off).
location(machine_2_46, line_2).
map(line_2, alarm, machine_2_46, alarm).
machine(machine_2_47).
property(machine_2_47, alarm, off).
location(machine_2_47, line_2).
map(line_2, alarm, machine_2_47, alarm).
machine(machine_2_48).
property(machine_2_48, alarm, off).
location(machine_2_48, line_2).
map(line_2, alarm, machine_2_48, alarm).
machine(machine_2_49).
property(machine_2_49, alarm, off).
location(machine_2_49, line_2).
map(line_2, alarm, machine_2_49, 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).
machine(machine_3_20).
property(machine_3_20, alarm, off).
location(machine_3_20, line_3).
map(line_3, alarm, machine_3_20, alarm).
machine(machine_3_21).
property(machine_3_21, alarm, off).
location(machine_3_21, line_3).
map(line_3, alarm, machine_3_21, alarm).
machine(machine_3_22).
property(machine_3_22, alarm, off).
location(machine_3_22, line_3).
map(line_3, alarm, machine_3_22, alarm).
machine(machine_3_23).
property(machine_3_23, alarm, off).
location(machine_3_23, line_3).
map(line_3, alarm, machine_3_23, alarm).
machine(machine_3_24).
property(machine_3_24, alarm, off).
location(machine_3_24, line_3).
map(line_3, alarm, machine_3_24, alarm).
machine(machine_3_25).
property(machine_3_25, alarm, off).
location(machine_3_25, line_3).
map(line_3, alarm, machine_3_25, alarm).
machine(machine_3_26).
property(machine_3_26, alarm, off).
location(machine_3_26, line_3).
map(line_3, alarm, machine_3_26, alarm).
machine(machine_3_27).
property(machine_3_27, alarm, off).
location(machine_3_27, line_3).
map(line_3, alarm, machine_3_27, alarm).
machine(machine_3_28).
property(machine_3_28, alarm, off).
location(machine_3_28, line_3).
map(line_3, alarm, machine_3_28, alarm).
machine(machine_3_29).
property(machine_3_29, alarm, off).
location(machine_3_29, line_3).
map(line_3, alarm, machine_3_29, alarm).
machine(machine_3_30).
property(machine_3_30, alarm, off).
location(machine_3_30, line_3).
map(line_3, alarm, machine_3_30, alarm).
machine(machine_3_31).
property(machine_3_31, alarm, off).
location(machine_3_31, line_3).
map(line_3, alarm, machine_3_31, alarm).
machine(machine_3_32).
property(machine_3_32, alarm, off).
location(machine_3_32, line_3).
map(line_3, alarm, machine_3_32, alarm).
machine(machine_3_33).
property(machine_3_33, alarm, off).
location(machine_3_33, line_3).
map(line_3, alarm, machine_3_33, alarm).
machine(machine_3_34).
property(machine_3_34, alarm, off).
location(machine_3_34, line_3).
map(line_3, alarm, machine_3_34, alarm).
machine(machine_3_35).
property(machine_3_35, alarm, off).
location(machine_3_35, line_3).
map(line_3, alarm, machine_3_35, alarm).
machine(machine_3_36).
property(machine_3_36, alarm, off).
location(machine_3_36, line_3).
map(line_3, alarm, machine_3_36, alarm).
machine(machine_3_37).
property(machine_3_37, alarm, off).
location(machine_3_37, line_3).
map(line_3, alarm, machine_3_37, alarm).
machine(machine_3_38).
property(machine_3_38, alarm, off).
location(machine_3_38, line_3).
map(line_3, alarm, machine_3_38, alarm).
machine(machine_3_39).
property(machine_3_39, alarm, off).
location(machine_3_39, line_3).
map(line_3, alarm, machine_3_39, alarm).
machine(machine_3_40).
property(machine_3_40, alarm, off).
location(machine_3_40, line_3).
map(line_3, alarm, machine_3_40, alarm).
machine(machine_3_41).
property(machine_3_41, alarm, off).
location(machine_3_41, line_3).
map(line_3, alarm, machine_3_41, alarm).
machine(machine_3_42).
property(machine_3_42, alarm, off).
location(machine_3_42, line_3).
map(line_3, alarm, machine_3_42, alarm).
machine(machine_3_43).
property(machine_3_43, alarm, off).
location(machine_3_43, line_3).
map(line_3, alarm, machine_3_43, alarm).
machine(machine_3_44).
property(machine_3_44, alarm, off).
location(machine_3_44, line_3).
map(line_3, alarm, machine_3_44, alarm).
machine(machine_3_45).
property(machine_3_45, alarm, off).
location(machine_3_45, line_3).
map(line_3, alarm, machine_3_45, alarm).
machine(machine_3_46).
property(machine_3_46, alarm, off).
location(machine_3_46, line_3).
map(line_3, alarm, machine_3_46, alarm).
machine(machine_3_47).
property(machine_3_47, alarm, off).
location(machine_3_47, line_3).
map(line_3, alarm, machine_3_47, alarm).
machine(machine_3_48).
property(machine_3_48, alarm, off).
location(machine_3_48, line_3).
map(line_3, alarm, machine_3_48, alarm).
machine(machine_3_49).
property(machine_3_49, alarm, off).
location(machine_3_49, line_3).
map(line_3, alarm, machine_3_49, 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).
machine(machine_4_20).
property(machine_4_20, alarm, off).
location(machine_4_20, line_4).
map(line_4, alarm, machine_4_20, alarm).
machine(machine_4_21).
property(machine_4_21, alarm, off).
location(machine_4_21, line_4).
map(line_4, alarm, machine_4_21, alarm).
machine(machine_4_22).
property(machine_4_22, alarm, off).
location(machine_4_22, line_4).
map(line_4, alarm, machine_4_22, alarm).
machine(machine_4_23).
property(machine_4_23, alarm, off).
location(machine_4_23, line_4).
map(line_4, alarm, machine_4_23, alarm).
machine(machine_4_24).
property(machine_4_24, alarm, off).
location(machine_4_24, line_4).
map(line_4, alarm, machine_4_24, alarm).
machine(machine_4_25).
property(machine_4_25, alarm, off).
location(machine_4_25, line_4).
map(line_4, alarm, machine_4_25, alarm).
machine(machine_4_26).
property(machine_4_26, alarm, off).
location(machine_4_26, line_4).
map(line_4, alarm, machine_4_26, alarm).
machine(machine_4_27).
property(machine_4_27, alarm, off).
location(machine_4_27, line_4).
map(line_4, alarm, machine_4_27, alarm).
machine(machine_4_28).
property(machine_4_28, alarm, off).
location(machine_4_28, line_4).
map(line_4, alarm, machine_4_28, alarm).
machine(machine_4_29).
property(machine_4_29, alarm, off).
location(machine_4_29, line_4).
map(line_4, alarm, machine_4_29, alarm).
machine(machine_4_30).
property(machine_4_30, alarm, off).
location(machine_4_30, line_4).
map(line_4, alarm, machine_4_30, alarm).
machine(machine_4_31).
property(machine_4_31, alarm, off).
location(machine_4_31, line_4).
map(line_4, alarm, machine_4_31, alarm).
machine(machine_4_32).
property(machine_4_32, alarm, off).
location(machine_4_32, line_4).
map(line_4, alarm, machine_4_32, alarm).
machine(machine_4_33).
property(machine_4_33, alarm, off).
location(machine_4_33, line_4).
map(line_4, alarm, machine_4_33, alarm).
machine(machine_4_34).
property(machine_4_34, alarm, off).
location(machine_4_34, line_4).
map(line_4, alarm, machine_4_34, alarm).
machine(machine_4_35).
property(machine_4_35, alarm, off).
location(machine_4_35, line_4).
map(line_4, alarm, machine_4_35, alarm).
machine(machine_4_36).
property(machine_4_36, alarm, off).
location(machine_4_36, line_4).
map(line_4, alarm, machine_4_36, alarm).
machine(machine_4_37).
property(machine_4_37, alarm, off).
location(machine_4_37, line_4).
map(line_4, alarm, machine_4_37, alarm).
machine(machine_4_38).
property(machine_4_38, alarm, off).
location(machine_4_38, line_4).
map(line_4, alarm, machine_4_38, alarm).
machine(machine_4_39).
property(machine_4_39, alarm, off).
location(machine_4_39, line_4).
map(line_4, alarm, machine_4_39, alarm).
machine(machine_4_40).
property(machine_4_40, alarm, off).
location(machine_4_40, line_4).
map(line_4, alarm, machine_4_40, alarm).
machine(machine_4_41).
property(machine_4_41, alarm, off).
location(machine_4_41, line_4).
map(line_4, alarm, machine_4_41, alarm).
machine(machine_4_42).
property(machine_4_42, alarm, off).
location(machine_4_42, line_4).
map(line_4, alarm, machine_4_42, alarm).
machine(machine_4_43).
property(machine_4_43, alarm, off).
location(machine_4_43, line_4).
map(line_4, alarm, machine_4_43, alarm).
machine(machine_4_44).
property(machine_4_44, alarm, off).
location(machine_4_44, line_4).
map(line_4, alarm, machine_4_44, alarm).
machine(machine_4_45).
property(machine_4_45, alarm, off).
location(machine_4_45, line_4).
map(line_4, alarm, machine_4_45, alarm).
machine(machine_4_46).
property(machine_4_46, alarm, off).
location(machine_4_46, line_4).
map(line_4, alarm, machine_4_46, alarm).
machine(machine_4_47).
property(machine_4_47, alarm, off).
location(machine_4_47, line_4).
map(line_4, alarm, machine_4_47, alarm).
machine(machine_4_48).
property(machine_4_48, alarm, off).
location(machine_4_48, line_4).
map(line_4, alarm, machine_4_48, alarm).
machine(machine_4_49).
property(machine_4_49, alarm, off).
location(machine_4_49, line_4).
map(line_4, alarm, machine_4_49, 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).
machine(machine_5_20).
property(machine_5_20, alarm, off).
location(machine_5_20, line_5).
map(line_5, alarm, machine_5_20, alarm).
machine(machine_5_21).
property(machine_5_21, alarm, off).
location(machine_5_21, line_5).
map(line_5, alarm, machine_5_21, alarm).
machine(machine_5_22).
property(machine_5_22, alarm, off).
location(machine_5_22, line_5).
map(line_5, alarm, machine_5_22, alarm).
machine(machine_5_23).
property(machine_5_23, alarm, off).
location(machine_5_23, line_5).
map(line_5, alarm, machine_5_23, alarm).
machine(machine_5_24).
property(machine_5_24, alarm, off).
location(machine_5_24, line_5).
map(line_5, alarm, machine_5_24, alarm).
machine(machine_5_25).
property(machine_5_25, alarm, off).
location(machine_5_25, line_5).
map(line_5, alarm, machine_5_25, alarm).
machine(machine_5_26).
property(machine_5_26, alarm, off).
location(machine_5_26, line_5).
map(line_5, alarm, machine_5_26, alarm).
machine(machine_5_27).
property(machine_5_27, alarm, off).
location(machine_5_27, line_5).
map(line_5, alarm, machine_5_27, alarm).
machine(machine_5_28).
property(machine_5_28, alarm, off).
location(machine_5_28, line_5).
map(line_5, alarm, machine_5_28, alarm).
machine(machine_5_29).
property(machine_5_29, alarm, off).
location(machine_5_29, line_5).
map(line_5, alarm, machine_5_29, alarm).
machine(machine_5_30).
property(machine_5_30, alarm, off).
location(machine_5_30, line_5).
map(line_5, alarm, machine_5_30, alarm).
machine(machine_5_31).
property(machine_5_31, alarm, off).
location(machine_5_31, line_5).
map(line_5, alarm, machine_5_31, alarm).
machine(machine_5_32).
property(machine_5_32, alarm, off).
location(machine_5_32, line_5).
map(line_5, alarm, machine_5_32, alarm).
machine(machine_5_33).
property(machine_5_33, alarm, off).
location(machine_5_33, line_5).
map(line_5, alarm, machine_5_33, alarm).
machine(machine_5_34).
property(machine_5_34, alarm, off).
location(machine_5_34, line_5).
map(line_5, alarm, machine_5_34, alarm).
machine(machine_5_35).
property(machine_5_35, alarm, off).
location(machine_5_35, line_5).
map(line_5, alarm, machine_5_35, alarm).
machine(machine_5_36).
property(machine_5_36, alarm, off).
location(machine_5_36, line_5).
map(line_5, alarm, machine_5_36, alarm).
machine(machine_5_37).
property(machine_5_37, alarm, off).
location(machine_5_37, line_5).
map(line_5, alarm, machine_5_37, alarm).
machine(machine_5_38).
property(machine_5_38, alarm, off).
location(machine_5_38, line_5).
map(line_5, alarm, machine_5_38, alarm).
machine(machine_5_39).
property(machine_5_39, alarm, off).
location(machine_5_39, line_5).
map(line_5, alarm, machine_5_39, alarm).
machine(machine_5_40).
property(machine_5_40, alarm, off).
location(machine_5_40, line_5).
map(line_5, alarm, machine_5_40, alarm).
machine(machine_5_41).
property(machine_5_41, alarm, off).
location(machine_5_41, line_5).
map(line_5, alarm, machine_5_41, alarm).
machine(machine_5_42).
property(machine_5_42, alarm, off).
location(machine_5_42, line_5).
map(line_5, alarm, machine_5_42, alarm).
machine(machine_5_43).
property(machine_5_43, alarm, off).
location(machine_5_43, line_5).
map(line_5, alarm, machine_5_43, alarm).
machine(machine_5_44).
property(machine_5_44, alarm, off).
location(machine_5_44, line_5).
map(line_5, alarm, machine_5_44, alarm).
machine(machine_5_45).
property(machine_5_45, alarm, off).
location(machine_5_45, line_5).
map(line_5, alarm, machine_5_45, alarm).
machine(machine_5_46).
property(machine_5_46, alarm, off).
location(machine_5_46, line_5).
map(line_5, alarm, machine_5_46, alarm).
machine(machine_5_47).
property(machine_5_47, alarm, off).
location(machine_5_47, line_5).
map(line_5, alarm, machine_5_47, alarm).
machine(machine_5_48).
property(machine_5_48, alarm, off).
location(machine_5_48, line_5).
map(line_5, alarm, machine_5_48, alarm).
machine(machine_5_49).
property(machine_5_49, alarm, off).
location(machine_5_49, line_5).
map(line_5, alarm, machine_5_49, 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).
machine(machine_6_20).
property(machine_6_20, alarm, off).
location(machine_6_20, line_6).
map(line_6, alarm, machine_6_20, alarm).
machine(machine_6_21).
property(machine_6_21, alarm, off).
location(machine_6_21, line_6).
map(line_6, alarm, machine_6_21, alarm).
machine(machine_6_22).
property(machine_6_22, alarm, off).
location(machine_6_22, line_6).
map(line_6, alarm, machine_6_22, alarm).
machine(machine_6_23).
property(machine_6_23, alarm, off).
location(machine_6_23, line_6).
map(line_6, alarm, machine_6_23, alarm).
machine(machine_6_24).
property(machine_6_24, alarm, off).
location(machine_6_24, line_6).
map(line_6, alarm, machine_6_24, alarm).
machine(machine_6_25).
property(machine_6_25, alarm, off).
location(machine_6_25, line_6).
map(line_6, alarm, machine_6_25, alarm).
machine(machine_6_26).
property(machine_6_26, alarm, off).
location(machine_6_26, line_6).
map(line_6, alarm, machine_6_26, alarm).
machine(machine_6_27).
property(machine_6_27, alarm, off).
location(machine_6_27, line_6).
map(line_6, alarm, machine_6_27, alarm).
machine(machine_6_28).
property(machine_6_28, alarm, off).
location(machine_6_28, line_6).
map(line_6, alarm, machine_6_28, alarm).
machine(machine_6_29).
property(machine_6_29, alarm, off).
location(machine_6_29, line_6).
map(line_6, alarm, machine_6_29, alarm).
machine(machine_6_30).
property(machine_6_30, alarm, off).
location(machine_6_30, line_6).
map(line_6, alarm, machine_6_30, alarm).
machine(machine_6_31).
property(machine_6_31, alarm, off).
location(machine_6_31, line_6).
map(line_6, alarm, machine_6_31, alarm).
machine(machine_6_32).
property(machine_6_32, alarm, off).
location(machine_6_32, line_6).
map(line_6, alarm, machine_6_32, alarm).
machine(machine_6_33).
property(machine_6_33, alarm, off).
location(machine_6_33, line_6).
map(line_6, alarm, machine_6_33, alarm).
machine(machine_6_34).
property(machine_6_34, alarm, off).
location(machine_6_34, line_6).
map(line_6, alarm, machine_6_34, alarm).
machine(machine_6_35).
property(machine_6_35, alarm, off).
location(machine_6_35, line_6).
map(line_6, alarm, machine_6_35, alarm).
machine(machine_6_36).
property(machine_6_36, alarm, off).
location(machine_6_36, line_6).
map(line_6, alarm, machine_6_36, alarm).
machine(machine_6_37).
property(machine_6_37, alarm, off).
location(machine_6_37, line_6).
map(line_6, alarm, machine_6_37, alarm).
machine(machine_6_38).
property(machine_6_38, alarm, off).
location(machine_6_38, line_6).
map(line_6, alarm, machine_6_38, alarm).
machine(machine_6_39).
property(machine_6_39, alarm, off).
location(machine_6_39, line_6).
map(line_6, alarm, machine_6_39, alarm).
machine(machine_6_40).
property(machine_6_40, alarm, off).
location(machine_6_40, line_6).
map(line_6, alarm, machine_6_40, alarm).
machine(machine_6_41).
property(machine_6_41, alarm, off).
location(machine_6_41, line_6).
map(line_6, alarm, machine_6_41, alarm).
machine(machine_6_42).
property(machine_6_42, alarm, off).
location(machine_6_42, line_6).
map(line_6, alarm, machine_6_42, alarm).
machine(machine_6_43).
property(machine_6_43, alarm, off).
location(machine_6_43, line_6).
map(line_6, alarm, machine_6_43, alarm).
machine(machine_6_44).
property(machine_6_44, alarm, off).
location(machine_6_44, line_6).
map(line_6, alarm, machine_6_44, alarm).
machine(machine_6_45).
property(machine_6_45, alarm, off).
location(machine_6_45, line_6).
map(line_6, alarm, machine_6_45, alarm).
machine(machine_6_46).
property(machine_6_46, alarm, off).
location(machine_6_46, line_6).
map(line_6, alarm, machine_6_46, alarm).
machine(machine_6_47).
property(machine_6_47, alarm, off).
location(machine_6_47, line_6).
map(line_6, alarm, machine_6_47, alarm).
machine(machine_6_48).
property(machine_6_48, alarm, off).
location(machine_6_48, line_6).
map(line_6, alarm, machine_6_48, alarm).
machine(machine_6_49).
property(machine_6_49, alarm, off).
location(machine_6_49, line_6).
map(line_6, alarm, machine_6_49, 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).
machine(machine_7_20).
property(machine_7_20, alarm, off).
location(machine_7_20, line_7).
map(line_7, alarm, machine_7_20, alarm).
machine(machine_7_21).
property(machine_7_21, alarm, off).
location(machine_7_21, line_7).
map(line_7, alarm, machine_7_21, alarm).
machine(machine_7_22).
property(machine_7_22, alarm, off).
location(machine_7_22, line_7).
map(line_7, alarm, machine_7_22, alarm).
machine(machine_7_23).
property(machine_7_23, alarm, off).
location(machine_7_23, line_7).
map(line_7, alarm, machine_7_23, alarm).
machine(machine_7_24).
property(machine_7_24, alarm, off).
location(machine_7_24, line_7).
map(line_7, alarm, machine_7_24, alarm).
machine(machine_7_25).
property(machine_7_25, alarm, off).
location(machine_7_25, line_7).
map(line_7, alarm, machine_7_25, alarm).
machine(machine_7_26).
property(machine_7_26, alarm, off).
location(machine_7_26, line_7).
map(line_7, alarm, machine_7_26, alarm).
machine(machine_7_27).
property(machine_7_27, alarm, off).
location(machine_7_27, line_7).
map(line_7, alarm, machine_7_27, alarm).
machine(machine_7_28).
property(machine_7_28, alarm, off).
location(machine_7_28, line_7).
map(line_7, alarm, machine_7_28, alarm).
machine(machine_7_29).
property(machine_7_29, alarm, off).
location(machine_7_29, line_7).
map(line_7, alarm, machine_7_29, alarm).
machine(machine_7_30).
property(machine_7_30, alarm, off).
location(machine_7_30, line_7).
map(line_7, alarm, machine_7_30, alarm).
machine(machine_7_31).
property(machine_7_31, alarm, off).
location(machine_7_31, line_7).
map(line_7, alarm, machine_7_31, alarm).
machine(machine_7_32).
property(machine_7_32, alarm, off).
location(machine_7_32, line_7).
map(line_7, alarm, machine_7_32, alarm).
machine(machine_7_33).
property(machine_7_33, alarm, off).
location(machine_7_33, line_7).
map(line_7, alarm, machine_7_33, alarm).
machine(machine_7_34).
property(machine_7_34, alarm, off).
location(machine_7_34, line_7).
map(line_7, alarm, machine_7_34, alarm).
machine(machine_7_35).
property(machine_7_35, alarm, off).
location(machine_7_35, line_7).
map(line_7, alarm, machine_7_35, alarm).
machine(machine_7_36).
property(machine_7_36, alarm, off).
location(machine_7_36, line_7).
map(line_7, alarm, machine_7_36, alarm).
machine(machine_7_37).
property(machine_7_37, alarm, off).
location(machine_7_37, line_7).
map(line_7, alarm, machine_7_37, alarm).
machine(machine_7_38).
property(machine_7_38, alarm, off).
location(machine_7_38, line_7).
map(line_7, alarm, machine_7_38, alarm).
machine(machine_7_39).
property(machine_7_39, alarm, off).
location(machine_7_39, line_7).
map(line_7, alarm, machine_7_39, alarm).
machine(machine_7_40).
property(machine_7_40, alarm, off).
location(machine_7_40, line_7).
map(line_7, alarm, machine_7_40, alarm).
machine(machine_7_41).
property(machine_7_41, alarm, off).
location(machine_7_41, line_7).
map(line_7, alarm, machine_7_41, alarm).
machine(machine_7_42).
property(machine_7_42, alarm, off).
location(machine_7_42, line_7).
map(line_7, alarm, machine_7_42, alarm).
machine(machine_7_43).
property(machine_7_43, alarm, off).
location(machine_7_43, line_7).
map(line_7, alarm, machine_7_43, alarm).
machine(machine_7_44).
property(machine_7_44, alarm, off).
location(machine_7_44, line_7).
map(line_7, alarm, machine_7_44, alarm).
machine(machine_7_45).
property(machine_7_45, alarm, off).
location(machine_7_45, line_7).
map(line_7, alarm, machine_7_45, alarm).
machine(machine_7_46).
property(machine_7_46, alarm, off).
location(machine_7_46, line_7).
map(line_7, alarm, machine_7_46, alarm).
machine(machine_7_47).
property(machine_7_47, alarm, off).
location(machine_7_47, line_7).
map(line_7, alarm, machine_7_47, alarm).
machine(machine_7_48).
property(machine_7_48, alarm, off).
location(machine_7_48, line_7).
map(line_7, alarm, machine_7_48, alarm).
machine(machine_7_49).
property(machine_7_49, alarm, off).
location(machine_7_49, line_7).
map(line_7, alarm, machine_7_49, 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).
machine(machine_8_20).
property(machine_8_20, alarm, off).
location(machine_8_20, line_8).
map(line_8, alarm, machine_8_20, alarm).
machine(machine_8_21).
property(machine_8_21, alarm, off).
location(machine_8_21, line_8).
map(line_8, alarm, machine_8_21, alarm).
machine(machine_8_22).
property(machine_8_22, alarm, off).
location(machine_8_22, line_8).
map(line_8, alarm, machine_8_22, alarm).
machine(machine_8_23).
property(machine_8_23, alarm, off).
location(machine_8_23, line_8).
map(line_8, alarm, machine_8_23, alarm).
machine(machine_8_24).
property(machine_8_24, alarm, off).
location(machine_8_24, line_8).
map(line_8, alarm, machine_8_24, alarm).
machine(machine_8_25).
property(machine_8_25, alarm, off).
location(machine_8_25, line_8).
map(line_8, alarm, machine_8_25, alarm).
machine(machine_8_26).
property(machine_8_26, alarm, off).
location(machine_8_26, line_8).
map(line_8, alarm, machine_8_26, alarm).
machine(machine_8_27).
property(machine_8_27, alarm, off).
location(machine_8_27, line_8).
map(line_8, alarm, machine_8_27, alarm).
machine(machine_8_28).
property(machine_8_28, alarm, off).
location(machine_8_28, line_8).
map(line_8, alarm, machine_8_28, alarm).
machine(machine_8_29).
property(machine_8_29, alarm, off).
location(machine_8_29, line_8).
map(line_8, alarm, machine_8_29, alarm).
machine(machine_8_30).
property(machine_8_30, alarm, off).
location(machine_8_30, line_8).
map(line_8, alarm, machine_8_30, alarm).
machine(machine_8_31).
property(machine_8_31, alarm, off).
location(machine_8_31, line_8).
map(line_8, alarm, machine_8_31, alarm).
machine(machine_8_32).
property(machine_8_32, alarm, off).
location(machine_8_32, line_8).
map(line_8, alarm, machine_8_32, alarm).
machine(machine_8_33).
property(machine_8_33, alarm, off).
location(machine_8_33, line_8).
map(line_8, alarm, machine_8_33, alarm).
machine(machine_8_34).
property(machine_8_34, alarm, off).
location(machine_8_34, line_8).
map(line_8, alarm, machine_8_34, alarm).
machine(machine_8_35).
property(machine_8_35, alarm, off).
location(machine_8_35, line_8).
map(line_8, alarm, machine_8_35, alarm).
machine(machine_8_36).
property(machine_8_36, alarm, off).
location(machine_8_36, line_8).
map(line_8, alarm, machine_8_36, alarm).
machine(machine_8_37).
property(machine_8_37, alarm, off).
location(machine_8_37, line_8).
map(line_8, alarm, machine_8_37, alarm).
machine(machine_8_38).
property(machine_8_38, alarm, off).
location(machine_8_38, line_8).
map(line_8, alarm, machine_8_38, alarm).
machine(machine_8_39).
property(machine_8_39, alarm, off).
location(machine_8_39, line_8).
map(line_8, alarm, machine_8_39, alarm).
machine(machine_8_40).
property(machine_8_40, alarm, off).
location(machine_8_40, line_8).
map(line_8, alarm, machine_8_40, alarm).
machine(machine_8_41).
property(machine_8_41, alarm, off).
location(machine_8_41, line_8).
map(line_8, alarm, machine_8_41, alarm).
machine(machine_8_42).
property(machine_8_42, alarm, off).
location(machine_8_42, line_8).
map(line_8, alarm, machine_8_42, alarm).
machine(machine_8_43).
property(machine_8_43, alarm, off).
location(machine_8_43, line_8).
map(line_8, alarm, machine_8_43, alarm).
machine(machine_8_44).
property(machine_8_44, alarm, off).
location(machine_8_44, line_8).
map(line_8, alarm, machine_8_44, alarm).
machine(machine_8_45).
property(machine_8_45, alarm, off).
location(machine_8_45, line_8).
map(line_8, alarm, machine_8_45, alarm).
machine(machine_8_46).
property(machine_8_46, alarm, off).
location(machine_8_46, line_8).
map(line_8, alarm, machine_8_46, alarm).
machine(machine_8_47).
property(machine_8_47, alarm, off).
location(machine_8_47, line_8).
map(line_8, alarm, machine_8_47, alarm).
machine(machine_8_48).
property(machine_8_48, alarm, off).
location(machine_8_48, line_8).
map(line_8, alarm, machine_8_48, alarm).
machine(machine_8_49).
property(machine_8_49, alarm, off).
location(machine_8_49, line_8).
map(line_8, alarm, machine_8_49, 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).
machine(machine_9_20).
property(machine_9_20, alarm, off).
location(machine_9_20, line_9).
map(line_9, alarm, machine_9_20, alarm).
machine(machine_9_21).
property(machine_9_21, alarm, off).
location(machine_9_21, line_9).
map(line_9, alarm, machine_9_21, alarm).
machine(machine_9_22).
property(machine_9_22, alarm, off).
location(machine_9_22, line_9).
map(line_9, alarm, machine_9_22, alarm).
machine(machine_9_23).
property(machine_9_23, alarm, off).
location(machine_9_23, line_9).
map(line_9, alarm, machine_9_23, alarm).
machine(machine_9_24).
property(machine_9_24, alarm, off).
location(machine_9_24, line_9).
map(line_9, alarm, machine_9_24, alarm).
machine(machine_9_25).
property(machine_9_25, alarm, off).
location(machine_9_25, line_9).
map(line_9, alarm, machine_9_25, alarm).
machine(machine_9_26).
property(machine_9_26, alarm, off).
location(machine_9_26, line_9).
map(line_9, alarm, machine_9_26, alarm).
machine(machine_9_27).
property(machine_9_27, alarm, off).
location(machine_9_27, line_9).
map(line_9, alarm, machine_9_27, alarm).
machine(machine_9_28).
property(machine_9_28, alarm, off).
location(machine_9_28, line_9).
map(line_9, alarm, machine_9_28, alarm).
machine(machine_9_29).
property(machine_9_29, alarm, off).
location(machine_9_29, line_9).
map(line_9, alarm, machine_9_29, alarm).
machine(machine_9_30).
property(machine_9_30, alarm, off).
location(machine_9_30, line_9).
map(line_9, alarm, machine_9_30, alarm).
machine(machine_9_31).
property(machine_9_31, alarm, off).
location(machine_9_31, line_9).
map(line_9, alarm, machine_9_31, alarm).
machine(machine_9_32).
property(machine_9_32, alarm, off).
location(machine_9_32, line_9).
map(line_9, alarm, machine_9_32, alarm).
machine(machine_9_33).
property(machine_9_33, alarm, off).
location(machine_9_33, line_9).
map(line_9, alarm, machine_9_33, alarm).
machine(machine_9_34).
property(machine_9_34, alarm, off).
location(machine_9_34, line_9).
map(line_9, alarm, machine_9_34, alarm).
machine(machine_9_35).
property(machine_9_35, alarm, off).
location(machine_9_35, line_9).
map(line_9, alarm, machine_9_35, alarm).
machine(machine_9_36).
property(machine_9_36, alarm, off).
location(machine_9_36, line_9).
map(line_9, alarm, machine_9_36, alarm).
machine(machine_9_37).
property(machine_9_37, alarm, off).
location(machine_9_37, line_9).
map(line_9, alarm, machine_9_37, alarm).
machine(machine_9_38).
property(machine_9_38, alarm, off).
location(machine_9_38, line_9).
map(line_9, alarm, machine_9_38, alarm).
machine(machine_9_39).
property(machine_9_39, alarm, off).
location(machine_9_39, line_9).
map(line_9, alarm, machine_9_39, alarm).
machine(machine_9_40).
property(machine_9_40, alarm, off).
location(machine_9_40, line_9).
map(line_9, alarm, machine_9_40, alarm).
machine(machine_9_41).
property(machine_9_41, alarm, off).
location(machine_9_41, line_9).
map(line_9, alarm, machine_9_41, alarm).
machine(machine_9_42).
property(machine_9_42, alarm, off).
location(machine_9_42, line_9).
map(line_9, alarm, machine_9_42, alarm).
machine(machine_9_43).
property(machine_9_43, alarm, off).
location(machine_9_43, line_9).
map(line_9, alarm, machine_9_43, alarm).
machine(machine_9_44).
property(machine_9_44, alarm, off).
location(machine_9_44, line_9).
map(line_9, alarm, machine_9_44, alarm).
machine(machine_9_45).
property(machine_9_45, alarm, off).
location(machine_9_45, line_9).
map(line_9, alarm, machine_9_45, alarm).
machine(machine_9_46).
property(machine_9_46, alarm, off).
location(machine_9_46, line_9).
map(line_9, alarm, machine_9_46, alarm).
machine(machine_9_47).
property(machine_9_47, alarm, off).
location(machine_9_47, line_9).
map(line_9, alarm, machine_9_47, alarm).
machine(machine_9_48).
property(machine_9_48, alarm, off).
location(machine_9_48, line_9).
map(line_9, alarm, machine_9_48, alarm).
machine(machine_9_49).
property(machine_9_49, alarm, off).
location(machine_9_49, line_9).
map(line_9, alarm, machine_9_49, alarm).
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).
machine(machine_0_20).
property(machine_0_20, alarm, off).
location(machine_0_20, line_0).
map(line_0, alarm, machine_0_20, alarm).
machine(machine_0_21).
property(machine_0_21, alarm, off).
location(machine_0_21, line_0).
map(line_0, alarm, machine_0_21, alarm).
machine(machine_0_22).
property(machine_0_22, alarm, off).
location(machine_0_22, line_0).
map(line_0, alarm, machine_0_22, alarm).
machine(machine_0_23).
property(machine_0_23, alarm, off).
location(machine_0_23, line_0).
map(line_0, alarm, machine_0_23, alarm).
machine(machine_0_24).
property(machine_0_24, alarm, off).
location(machine_0_24, line_0).
map(line_0, alarm, machine_0_24, alarm).
machine(machine_0_25).
property(machine_0_25, alarm, off).
location(machine_0_25, line_0).
map(line_0, alarm, machine_0_25, alarm).
machine(machine_0_26).
property(machine_0_26, alarm, off).
location(machine_0_26, line_0).
map(line_0, alarm, machine_0_26, alarm).
machine(machine_0_27).
property(machine_0_27, alarm, off).
location(machine_0_27, line_0).
map(line_0, alarm, machine_0_27, alarm).
machine(machine_0_28).
property(machine_0_28, alarm, off).
location(machine_0_28, line_0).
map(line_0, alarm, machine_0_28, alarm).
machine(machine_0_29).
property(machine_0_29, alarm, off).
location(machine_0_29, line_0).
map(line_0, alarm, machine_0_29, alarm).
machine(machine_0_30).
property(machine_0_30, alarm, off).
location(machine_0_30, line_0).
map(line_0, alarm, machine_0_30, alarm).
machine(machine_0_31).
property(machine_0_31, alarm, off).
location(machine_0_31, line_0).
map(line_0, alarm, machine_0_31, alarm).
machine(machine_0_32).
property(machine_0_32, alarm, off).
location(machine_0_32, line_0).
map(line_0, alarm, machine_0_32, alarm).
machine(machine_0_33).
property(machine_0_33, alarm, off).
location(machine_0_33, line_0).
map(line_0, alarm, machine_0_33, alarm).
machine(machine_0_34).
property(machine_0_34, alarm, off).
location(machine_0_34, line_0).
map(line_0, alarm, machine_0_34, alarm).
machine(machine_0_35).
property(machine_0_35, alarm, off).
location(machine_0_35, line_0).
map(line_0, alarm, machine_0_35, alarm).
machine(machine_0_36).
property(machine_0_36, alarm, off).
location(machine_0_36, line_0).
map(line_0, alarm, machine_0_36, alarm).
machine(machine_0_37).
property(machine_0_37, alarm, off).
location(machine_0_37, line_0).
map(line_0, alarm, machine_0_37, alarm).
machine(machine_0_38).
property(machine_0_38, alarm, off).
location(machine_0_38, line_0).
map(line_0, alarm, machine_0_38, alarm).
machine(machine_0_39).
property(machine_0_39, alarm, off).
location(machine_0_39, line_0).
map(line_0, alarm, machine_0_39, alarm).
machine(machine_0_40).
property(machine_0_40, alarm, off).
location(machine_0_40, line_0).
map(line_0, alarm, machine_0_40, alarm).
machine(machine_0_41).
property(machine_0_41, alarm, off).
location(machine_0_41, line_0).
map(line_0, alarm, machine_0_41, alarm).
machine(machine_0_42).
property(machine_0_42, alarm, off).
location(machine_0_42, line_0).
map(line_0, alarm, machine_0_42, alarm).
machine(machine_0_43).
property(machine_0_43, alarm, off).
location(machine_0_43, line_0).
map(line_0, alarm, machine_0_43, alarm).
machine(machine_0_44).
property(machine_0_44, alarm, off).
location(machine_0_44, line_0).
map(line_0, alarm, machine_0_44, alarm).
machine(machine_0_45).
property(machine_0_45, alarm, off).
location(machine_0_45, line_0).
map(line_0, alarm, machine_0_45, alarm).
machine(machine_0_46).
property(machine_0_46, alarm, off).
location(machine_0_46, line_0).
map(line_0, alarm, machine_0_46, alarm).
machine(machine_0_47).
property(machine_0_47, alarm, off).
location(machine_0_47, line_0).
map(line_0, alarm, machine_0_47, alarm).
machine(machine_0_48).
property(machine_0_48, alarm, off).
location(machine_0_48, line_0).
map(line_0, alarm, machine_0_48, alarm).
machine(machine_0_49).
property(machine_0_49, alarm, off).
location(machine_0_49, line_0).
map(line_0, alarm, machine_0_49, 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).
machine(machine_1_20).
property(machine_1_20, alarm, off).
location(machine_1_20, line_1).
map(line_1, alarm, machine_1_20, alarm).
machine(machine_1_21).
property(machine_1_21, alarm, off).
location(machine_1_21, line_1).
map(line_1, alarm, machine_1_21, alarm).
machine(machine_1_22).
property(machine_1_22, alarm, off).
location(machine_1_22, line_1).
map(line_1, alarm, machine_1_22, alarm).
machine(machine_1_23).
property(machine_1_23, alarm, off).
location(machine_1_23, line_1).
map(line_1, alarm, machine_1_23, alarm).
machine(machine_1_24).
property(machine_1_24, alarm, off).
location(machine_1_24, line_1).
map(line_1, alarm, machine_1_24, alarm).
machine(machine_1_25).
property(machine_1_25, alarm, off).
location(machine_1_25, line_1).
map(line_1, alarm, machine_1_25, alarm).
machine(machine_1_26).
property(machine_1_26, alarm, off).
location(machine_1_26, line_1).
map(line_1, alarm, machine_1_26, alarm).
machine(machine_1_27).
property(machine_1_27, alarm, off).
location(machine_1_27, line_1).
map(line_1, alarm, machine_1_27, alarm).
machine(machine_1_28).
property(machine_1_28, alarm, off).
location(machine_1_28, line_1).
map(line_1, alarm, machine_1_28, alarm).
machine(machine_1_29).
property(machine_1_29, alarm, off).
location(machine_1_29, line_1).
map(line_1, alarm, machine_1_29, alarm).
machine(machine_1_30).
property(machine_1_30, alarm, off).
location(machine_1_30, line_1).
map(line_1, alarm, machine_1_30, alarm).
machine(machine_1_31).
property(machine_1_31, alarm, off).
location(machine_1_31, line_1).
map(line_1, alarm, machine_1_31, alarm).
machine(machine_1_32).
property(machine_1_32, alarm, off).
location(machine_1_32, line_1).
map(line_1, alarm, machine_1_32, alarm).
machine(machine_1_33).
property(machine_1_33, alarm, off).
location(machine_1_33, line_1).
map(line_1, alarm, machine_1_33, alarm).
machine(machine_1_34).
property(machine_1_34, alarm, off).
location(machine_1_34, line_1).
map(line_1, alarm, machine_1_34, alarm).
machine(machine_1_35).
property(machine_1_35, alarm, off).
location(machine_1_35, line_1).
map(line_1, alarm, machine_1_35, alarm).
machine(machine_1_36).
property(machine_1_36, alarm, off).
location(machine_1_36, line_1).
map(line_1, alarm, machine_1_36, alarm).
machine(machine_1_37).
property(machine_1_37, alarm, off).
location(machine_1_37, line_1).
map(line_1, alarm, machine_1_37, alarm).
machine(machine_1_38).
property(machine_1_38, alarm, off).
location(machine_1_38, line_1).
map(line_1, alarm, machine_1_38, alarm).
machine(machine_1_39).
property(machine_1_39, alarm, off).
location(machine_1_39, line_1).
map(line_1, alarm, machine_1_39, alarm).
machine(machine_1_40).
property(machine_1_40, alarm, off).
location(machine_1_40, line_1).
map(line_1, alarm, machine_1_40, alarm).
machine(machine_1_41).
property(machine_1_41, alarm, off).
location(machine_1_41, line_1).
map(line_1, alarm, machine_1_41, alarm).
machine(machine_1_42).
property(machine_1_42, alarm, off).
location(machine_1_42, line_1).
map(line_1, alarm, machine_1_42, alarm).
machine(machine_1_43).
property(machine_1_43, alarm, off).
location(machine_1_43, line_1).
map(line_1, alarm, machine_1_43, alarm).
machine(machine_1_44).
property(machine_1_44, alarm, off).
location(machine_1_44, line_1).
map(line_1, alarm, machine_1_44, alarm).
machine(machine_1_45).
property(machine_1_45, alarm, off).
location(machine_1_45, line_1).
map(line_1, alarm, machine_1_45, alarm).
machine(machine_1_46).
property(machine_1_46, alarm, off).
location(machine_1_46, line_1).
map(line_1, alarm, machine_1_46, alarm).
machine(machine_1_47).
property(machine_1_47, alarm, off).
location(machine_1_47, line_1).
map(line_1, alarm, machine_1_47, alarm).
machine(machine_1_48).
property(machine_1_48, alarm, off).
location(machine_1_48, line_1).
map(line_1, alarm, machine_1_48, alarm).
machine(machine_1_49).
property(machine_1_49, alarm, off).
location(machine_1_49, line_1).
map(line_1, alarm, machine_1_49, 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).
machine(machine_2_20).
property(machine_2_20, alarm, off).
location(machine_2_20, line_2).
map(line_2, alarm, machine_2_20, alarm).
machine(machine_2_21).
property(machine_2_21, alarm, off).
location(machine_2_21, line_2).
map(line_2, alarm, machine_2_21, alarm).
machine(machine_2_22).
property(machine_2_22, alarm, off).
location(machine_2_22, line_2).
map(line_2, alarm, machine_2_22, alarm).
machine(machine_2_23).
property(machine_2_23, alarm, off).
location(machine_2_23, line_2).
map(line_2, alarm, machine_2_23, alarm).
machine(machine_2_24).
property(machine_2_24, alarm, off).
location(machine_2_24, line_2).
map(line_2, alarm, machine_2_24, alarm).
machine(machine_2_25).
property(machine_2_25, alarm, off).
location(machine_2_25, line_2).
map(line_2, alarm, machine_2_25, alarm).
machine(machine_2_26).
property(machine_2_26, alarm, off).
location(machine_2_26, line_2).
map(line_2, alarm, machine_2_26, alarm).
machine(machine_2_27).
property(machine_2_27, alarm, off).
location(machine_2_27, line_2).
map(line_2, alarm, machine_2_27, alarm).
machine(machine_2_28).
property(machine_2_28, alarm, off).
location(machine_2_28, line_2).
map(line_2, alarm, machine_2_28, alarm).
machine(machine_2_29).
property(machine_2_29, alarm, off).
location(machine_2_29, line_2).
map(line_2, alarm, machine_2_29, alarm).
machine(machine_2_30).
property(machine_2_30, alarm, off).
location(machine_2_30, line_2).
map(line_2, alarm, machine_2_30, alarm).
machine(machine_2_31).
property(machine_2_31, alarm, off).
location(machine_2_31, line_2).
map(line_2, alarm, machine_2_31, alarm).
machine(machine_2_32).
property(machine_2_32, alarm, off).
location(machine_2_32, line_2).
map(line_2, alarm, machine_2_32, alarm).
machine(machine_2_33).
property(machine_2_33, alarm, off).
location(machine_2_33, line_2).
map(line_2, alarm, machine_2_33, alarm).
machine(machine_2_34).
property(machine_2_34, alarm, off).
location(machine_2_34, line_2).
map(line_2, alarm, machine_2_34, alarm).
machine(machine_2_35).
property(machine_2_35, alarm, off).
location(machine_2_35, line_2).
map(line_2, alarm, machine_2_35, alarm).
machine(machine_2_36).
property(machine_2_36, alarm, off).
location(machine_2_36, line_2).
map(line_2, alarm, machine_2_36, alarm).
machine(machine_2_37).
property(machine_2_37, alarm, off).
location(machine_2_37, line_2).
map(line_2, alarm, machine_2_37, alarm).
machine(machine_2_38).
property(machine_2_38, alarm, off).
location(machine_2_38, line_2).
map(line_2, alarm, machine_2_38, alarm).
machine(machine_2_39).
property(machine_2_39, alarm, off).
location(machine_2_39, line_2).
map(line_2, alarm, machine_2_39, alarm).
machine(machine_2_40).
property(machine_2_40, alarm, off).
location(machine_2_40, line_2).
map(line_2, alarm, machine_2_40, alarm).
machine(machine_2_41).
property(machine_2_41, alarm, off).
location(machine_2_41, line_2).
map(line_2, alarm, machine_2_41, alarm).
machine(machine_2_42).
property(machine_2_42, alarm, off).
location(machine_2_42, line_2).
map(line_2, alarm, machine_2_42, alarm).
machine(machine_2_43).
property(machine_2_43, alarm, off).
location(machine_2_43, line_2).
map(line_2, alarm, machine_2_43, alarm).
machine(machine_2_44).
property(machine_2_44, alarm, off).
location(machine_2_44, line_2).
map(line_2, alarm, machine_2_44, alarm).
machine(machine_2_45).
property(machine_2_45, alarm, off).
location(machine_2_45, line_2).
map(line_2, alarm, machine_2_45, alarm).
machine(machine_2_46).
property(machine_2_46, alarm, off).
location(machine_2_46, line_2).
map(line_2, alarm, machine_2_46, alarm).
machine(machine_2_47).
property(machine_2_47, alarm, off).
location(machine_2_47, line_2).
map(line_2, alarm, machine_2_47, alarm).
machine(machine_2_48).
property(machine_2_48, alarm, off).
location(machine_2_48, line_2).
map(line_2, alarm, machine_2_48, alarm).
machine(machine_2_49).
property(machine_2_49, alarm, off).
location(machine_2_49, line_2).
map(line_2, alarm, machine_2_49, 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).
machine(machine_3_20).
property(machine_3_20, alarm, off).
location(machine_3_20, line_3).
map(line_3, alarm, machine_3_20, alarm).
machine(machine_3_21).
property(machine_3_21, alarm, off).
location(machine_3_21, line_3).
map(line_3, alarm, machine_3_21, alarm).
machine(machine_3_22).
property(machine_3_22, alarm, off).
location(machine_3_22, line_3).
map(line_3, alarm, machine_3_22, alarm).
machine(machine_3_23).
property(machine_3_23, alarm, off).
location(machine_3_23, line_3).
map(line_3, alarm, machine_3_23, alarm).
machine(machine_3_24).
property(machine_3_24, alarm, off).
location(machine_3_24, line_3).
map(line_3, alarm, machine_3_24, alarm).
machine(machine_3_25).
property(machine_3_25, alarm, off).
location(machine_3_25, line_3).
map(line_3, alarm, machine_3_25, alarm).
machine(machine_3_26).
property(machine_3_26, alarm, off).
location(machine_3_26, line_3).
map(line_3, alarm, machine_3_26, alarm).
machine(machine_3_27).
property(machine_3_27, alarm, off).
location(machine_3_27, line_3).
map(line_3, alarm, machine_3_27, alarm).
machine(machine_3_28).
property(machine_3_28, alarm, off).
location(machine_3_28, line_3).
map(line_3, alarm, machine_3_28, alarm).
machine(machine_3_29).
property(machine_3_29, alarm, off).
location(machine_3_29, line_3).
map(line_3, alarm, machine_3_29, alarm).
machine(machine_3_30).
property(machine_3_30, alarm, off).
location(machine_3_30, line_3).
map(line_3, alarm, machine_3_30, alarm).
machine(machine_3_31).
property(machine_3_31, alarm, off).
location(machine_3_31, line_3).
map(line_3, alarm, machine_3_31, alarm).
machine(machine_3_32).
property(machine_3_32, alarm, off).
location(machine_3_32, line_3).
map(line_3, alarm, machine_3_32, alarm).
machine(machine_3_33).
property(machine_3_33, alarm, off).
location(machine_3_33, line_3).
map(line_3, alarm, machine_3_33, alarm).
machine(machine_3_34).
property(machine_3_34, alarm, off).
location(machine_3_34, line_3).
map(line_3, alarm, machine_3_34, alarm).
machine(machine_3_35).
property(machine_3_35, alarm, off).
location(machine_3_35, line_3).
map(line_3, alarm, machine_3_35, alarm).
machine(machine_3_36).
property(machine_3_36, alarm, off).
location(machine_3_36, line_3).
map(line_3, alarm, machine_3_36, alarm).
machine(machine_3_37).
property(machine_3_37, alarm, off).
location(machine_3_37, line_3).
map(line_3, alarm, machine_3_37, alarm).
machine(machine_3_38).
property(machine_3_38, alarm, off).
location(machine_3_38, line_3).
map(line_3, alarm, machine_3_38, alarm).
machine(machine_3_39).
property(machine_3_39, alarm, off).
location(machine_3_39, line_3).
map(line_3, alarm, machine_3_39, alarm).
machine(machine_3_40).
property(machine_3_40, alarm, off).
location(machine_3_40, line_3).
map(line_3, alarm, machine_3_40, alarm).
machine(machine_3_41).
property(machine_3_41, alarm, off).
location(machine_3_41, line_3).
map(line_3, alarm, machine_3_41, alarm).
machine(machine_3_42).
property(machine_3_42, alarm, off).
location(machine_3_42, line_3).
map(line_3, alarm, machine_3_42, alarm).
machine(machine_3_43).
property(machine_3_43, alarm, off).
location(machine_3_43, line_3).
map(line_3, alarm, machine_3_43, alarm).
machine(machine_3_44).
property(machine_3_44, alarm, off).
location(machine_3_44, line_3).
map(line_3, alarm, machine_3_44, alarm).
machine(machine_3_45).
property(machine_3_45, alarm, off).
location(machine_3_45, line_3).
map(line_3, alarm, machine_3_45, alarm).
machine(machine_3_46).
property(machine_3_46, alarm, off).
location(machine_3_46, line_3).
map(line_3, alarm, machine_3_46, alarm).
machine(machine_3_47).
property(machine_3_47, alarm, off).
location(machine_3_47, line_3).
map(line_3, alarm, machine_3_47, alarm).
machine(machine_3_48).
property(machine_3_48, alarm, off).
location(machine_3_48, line_3).
map(line_3, alarm, machine_3_48, alarm).
machine(machine_3_49).
property(machine_3_49, alarm, off).
location(machine_3_49, line_3).
map(line_3, alarm, machine_3_49, 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).
machine(machine_4_20).
property(machine_4_20, alarm, off).
location(machine_4_20, line_4).
map(line_4, alarm, machine_4_20, alarm).
machine(machine_4_21).
property(machine_4_21, alarm, off).
location(machine_4_21, line_4).
map(line_4, alarm, machine_4_21, alarm).
machine(machine_4_22).
property(machine_4_22, alarm, off).
location(machine_4_22, line_4).
map(line_4, alarm, machine_4_22, alarm).
machine(machine_4_23).
property(machine_4_23, alarm, off).
location(machine_4_23, line_4).
map(line_4, alarm, machine_4_23, alarm).
machine(machine_4_24).
property(machine_4_24, alarm, off).
location(machine_4_24, line_4).
map(line_4, alarm, machine_4_24, alarm).
machine(machine_4_25).
property(machine_4_25, alarm, off).
location(machine_4_25, line_4).
map(line_4, alarm, machine_4_25, alarm).
machine(machine_4_26).
property(machine_4_26, alarm, off).
location(machine_4_26, line_4).
map(line_4, alarm, machine_4_26, alarm).
machine(machine_4_27).
property(machine_4_27, alarm, off).
location(machine_4_27, line_4).
map(line_4, alarm, machine_4_27, alarm).
machine(machine_4_28).
property(machine_4_28, alarm, off).
location(machine_4_28, line_4).
map(line_4, alarm, machine_4_28, alarm).
machine(machine_4_29).
property(machine_4_29, alarm, off).
location(machine_4_29, line_4).
map(line_4, alarm, machine_4_29, alarm).
machine(machine_4_30).
property(machine_4_30, alarm, off).
location(machine_4_30, line_4).
map(line_4, alarm, machine_4_30, alarm).
machine(machine_4_31).
property(machine_4_31, alarm, off).
location(machine_4_31, line_4).
map(line_4, alarm, machine_4_31, alarm).
machine(machine_4_32).
property(machine_4_32, alarm, off).
location(machine_4_32, line_4).
map(line_4, alarm, machine_4_32, alarm).
machine(machine_4_33).
property(machine_4_33, alarm, off).
location(machine_4_33, line_4).
map(line_4, alarm, machine_4_33, alarm).
machine(machine_4_34).
property(machine_4_34, alarm, off).
location(machine_4_34, line_4).
map(line_4, alarm, machine_4_34, alarm).
machine(machine_4_35).
property(machine_4_35, alarm, off).
location(machine_4_35, line_4).
map(line_4, alarm, machine_4_35, alarm).
machine(machine_4_36).
property(machine_4_36, alarm, off).
location(machine_4_36, line_4).
map(line_4, alarm, machine_4_36, alarm).
machine(machine_4_37).
property(machine_4_37, alarm, off).
location(machine_4_37, line_4).
map(line_4, alarm, machine_4_37, alarm).
machine(machine_4_38).
property(machine_4_38, alarm, off).
location(machine_4_38, line_4).
map(line_4, alarm, machine_4_38, alarm).
machine(machine_4_39).
property(machine_4_39, alarm, off).
location(machine_4_39, line_4).
map(line_4, alarm, machine_4_39, alarm).
machine(machine_4_40).
property(machine_4_40, alarm, off).
location(machine_4_40, line_4).
map(line_4, alarm, machine_4_40, alarm).
machine(machine_4_41).
property(machine_4_41, alarm, off).
location(machine_4_41, line_4).
map(line_4, alarm, machine_4_41, alarm).
machine(machine_4_42).
property(machine_4_42, alarm, off).
location(machine_4_42, line_4).
map(line_4, alarm, machine_4_42, alarm).
machine(machine_4_43).
property(machine_4_43, alarm, off).
location(machine_4_43, line_4).
map(line_4, alarm, machine_4_43, alarm).
machine(machine_4_44).
property(machine_4_44, alarm, off).
location(machine_4_44, line_4).
map(line_4, alarm, machine_4_44, alarm).
machine(machine_4_45).
property(machine_4_45, alarm, off).
location(machine_4_45, line_4).
map(line_4, alarm, machine_4_45, alarm).
machine(machine_4_46).
property(machine_4_46, alarm, off).
location(machine_4_46, line_4).
map(line_4, alarm, machine_4_46, alarm).
machine(machine_4_47).
property(machine_4_47, alarm, off).
location(machine_4_47, line_4).
map(line_4, alarm, machine_4_47, alarm).
machine(machine_4_48).
property(machine_4_48, alarm, off).
location(machine_4_48, line_4).
map(line_4, alarm, machine_4_48, alarm).
machine(machine_4_49).
property(machine_4_49, alarm, off).
location(machine_4_49, line_4).
map(line_4, alarm, machine_4_49, 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).
machine(machine_5_20).
property(machine_5_20, alarm, off).
location(machine_5_20, line_5).
map(line_5, alarm, machine_5_20, alarm).
machine(machine_5_21).
property(machine_5_21, alarm, off).
location(machine_5_21, line_5).
map(line_5, alarm, machine_5_21, alarm).
machine(machine_5_22).
property(machine_5_22, alarm, off).
location(machine_5_22, line_5).
map(line_5, alarm, machine_5_22, alarm).
machine(machine_5_23).
property(machine_5_23, alarm, off).
location(machine_5_23, line_5).
map(line_5, alarm, machine_5_23, alarm).
machine(machine_5_24).
property(machine_5_24, alarm, off).
location(machine_5_24, line_5).
map(line_5, alarm, machine_5_24, alarm).
machine(machine_5_25).
property(machine_5_25, alarm, off).
location(machine_5_25, line_5).
map(line_5, alarm, machine_5_25, alarm).
machine(machine_5_26).
property(machine_5_26, alarm, off).
location(machine_5_26, line_5).
map(line_5, alarm, machine_5_26, alarm).
machine(machine_5_27).
property(machine_5_27, alarm, off).
location(machine_5_27, line_5).
map(line_5, alarm, machine_5_27, alarm).
machine(machine_5_28).
property(machine_5_28, alarm, off).
location(machine_5_28, line_5).
map(line_5, alarm, machine_5_28, alarm).
machine(machine_5_29).
property(machine_5_29, alarm, off).
location(machine_5_29, line_5).
map(line_5, alarm, machine_5_29, alarm).
machine(machine_5_30).
property(machine_5_30, alarm, off).
location(machine_5_30, line_5).
map(line_5, alarm, machine_5_30, alarm).
machine(machine_5_31).
property(machine_5_31, alarm, off).
location(machine_5_31, line_5).
map(line_5, alarm, machine_5_31, alarm).
machine(machine_5_32).
property(machine_5_32, alarm, off).
location(machine_5_32, line_5).
map(line_5, alarm, machine_5_32, alarm).
machine(machine_5_33).
property(machine_5_33, alarm, off).
location(machine_5_33, line_5).
map(line_5, alarm, machine_5_33, alarm).
machine(machine_5_34).
property(machine_5_34, alarm, off).
location(machine_5_34, line_5).
map(line_5, alarm, machine_5_34, alarm).
machine(machine_5_35).
property(machine_5_35, alarm, off).
location(machine_5_35, line_5).
map(line_5, alarm, machine_5_35, alarm).
machine(machine_5_36).
property(machine_5_36, alarm, off).
location(machine_5_36, line_5).
map(line_5, alarm, machine_5_36, alarm).
machine(machine_5_37).
property(machine_5_37, alarm, off).
location(machine_5_37, line_5).
map(line_5, alarm, machine_5_37, alarm).
machine(machine_5_38).
property(machine_5_38, alarm, off).
location(machine_5_38, line_5).
map(line_5, alarm, machine_5_38, alarm).
machine(machine_5_39).
property(machine_5_39, alarm, off).
location(machine_5_39, line_5).
map(line_5, alarm, machine_5_39, alarm).
machine(machine_5_40).
property(machine_5_40, alarm, off).
location(machine_5_40, line_5).
map(line_5, alarm, machine_5_40, alarm).
machine(machine_5_41).
property(machine_5_41, alarm, off).
location(machine_5_41, line_5).
map(line_5, alarm, machine_5_41, alarm).
machine(machine_5_42).
property(machine_5_42, alarm, off).
location(machine_5_42, line_5).
map(line_5, alarm, machine_5_42, alarm).
machine(machine_5_43).
property(machine_5_43, alarm, off).
location(machine_5_43, line_5).
map(line_5, alarm, machine_5_43, alarm).
machine(machine_5_44).
property(machine_5_44, alarm, off).
location(machine_5_44, line_5).
map(line_5, alarm, machine_5_44, alarm).
machine(machine_5_45).
property(machine_5_45, alarm, off).
location(machine_5_45, line_5).
map(line_5, alarm, machine_5_45, alarm).
machine(machine_5_46).
property(machine_5_46, alarm, off).
location(machine_5_46, line_5).
map(line_5, alarm, machine_5_46, alarm).
machine(machine_5_47).
property(machine_5_47, alarm, off).
location(machine_5_47, line_5).
map(line_5, alarm, machine_5_47, alarm).
machine(machine_5_48).
property(machine_5_48, alarm, off).
location(machine_5_48, line_5).
map(line_5, alarm, machine_5_48, alarm).
machine(machine_5_49).
property(machine_5_49, alarm, off).
location(machine_5_49, line_5).
map(line_5, alarm, machine_5_49, 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).
machine(machine_6_20).
property(machine_6_20, alarm, off).
location(machine_6_20, line_6).
map(line_6, alarm, machine_6_20, alarm).
machine(machine_6_21).
property(machine_6_21, alarm, off).
location(machine_6_21, line_6).
map(line_6, alarm, machine_6_21, alarm).
machine(machine_6_22).
property(machine_6_22, alarm, off).
location(machine_6_22, line_6).
map(line_6, alarm, machine_6_22, alarm).
machine(machine_6_23).
property(machine_6_23, alarm, off).
location(machine_6_23, line_6).
map(line_6, alarm, machine_6_23, alarm).
machine(machine_6_24).
property(machine_6_24, alarm, off).
location(machine_6_24, line_6).
map(line_6, alarm, machine_6_24, alarm).
machine(machine_6_25).
property(machine_6_25, alarm, off).
location(machine_6_25, line_6).
map(line_6, alarm, machine_6_25, alarm).
machine(machine_6_26).
property(machine_6_26, alarm, off).
location(machine_6_26, line_6).
map(line_6, alarm, machine_6_26, alarm).
machine(machine_6_27).
property(machine_6_27, alarm, off).
location(machine_6_27, line_6).
map(line_6, alarm, machine_6_27, alarm).
machine(machine_6_28).
property(machine_6_28, alarm, off).
location(machine_6_28, line_6).
map(line_6, alarm, machine_6_28, alarm).
machine(machine_6_29).
property(machine_6_29, alarm, off).
location(machine_6_29, line_6).
map(line_6, alarm, machine_6_29, alarm).
machine(machine_6_30).
property(machine_6_30, alarm, off).
location(machine_6_30, line_6).
map(line_6, alarm, machine_6_30, alarm).
machine(machine_6_31).
property(machine_6_31, alarm, off).
location(machine_6_31, line_6).
map(line_6, alarm, machine_6_31, alarm).
machine(machine_6_32).
property(machine_6_32, alarm, off).
location(machine_6_32, line_6).
map(line_6, alarm, machine_6_32, alarm).
machine(machine_6_33).
property(machine_6_33, alarm, off).
location(machine_6_33, line_6).
map(line_6, alarm, machine_6_33, alarm).
machine(machine_6_34).
property(machine_6_34, alarm, off).
location(machine_6_34, line_6).
map(line_6, alarm, machine_6_34, alarm).
machine(machine_6_35).
property(machine_6_35, alarm, off).
location(machine_6_35, line_6).
map(line_6, alarm, machine_6_35, alarm).
machine(machine_6_36).
property(machine_6_36, alarm, off).
location(machine_6_36, line_6).
map(line_6, alarm, machine_6_36, alarm).
machine(machine_6_37).
property(machine_6_37, alarm, off).
location(machine_6_37, line_6).
map(line_6, alarm, machine_6_37, alarm).
machine(machine_6_38).
property(machine_6_38, alarm, off).
location(machine_6_38, line_6).
map(line_6, alarm, machine_6_38, alarm).
machine(machine_6_39).
property(machine_6_39, alarm, off).
location(machine_6_39, line_6).
map(line_6, alarm, machine_6_39, alarm).
machine(machine_6_40).
property(machine_6_40, alarm, off).
location(machine_6_40, line_6).
map(line_6, alarm, machine_6_40, alarm).
machine(machine_6_41).
property(machine_6_41, alarm, off).
location(machine_6_41, line_6).
map(line_6, alarm, machine_6_41, alarm).
machine(machine_6_42).
property(machine_6_42, alarm, off).
location(machine_6_42, line_6).
map(line_6, alarm, machine_6_42, alarm).
machine(machine_6_43).
property(machine_6_43, alarm, off).
location(machine_6_43, line_6).
map(line_6, alarm, machine_6_43, alarm).
machine(machine_6_44).
property(machine_6_44, alarm, off).
location(machine_6_44, line_6).
map(line_6, alarm, machine_6_44, alarm).
machine(machine_6_45).
property(machine_6_45, alarm, off).
location(machine_6_45, line_6).
map(line_6, alarm, machine_6_45, alarm).
machine(machine_6_46).
property(machine_6_46, alarm, off).
location(machine_6_46, line_6).
map(line_6, alarm, machine_6_46, alarm).
machine(machine_6_47).
property(machine_6_47, alarm, off).
location(machine_6_47, line_6).
map(line_6, alarm, machine_6_47, alarm).
machine(machine_6_48).
property(machine_6_48, alarm, off).
location(machine_6_48, line_6).
map(line_6, alarm, machine_6_48, alarm).
machine(machine_6_49).
property(machine_6_49, alarm, off).
location(machine_6_49, line_6).
map(line_6, alarm, machine_6_49, 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).
machine(machine_7_20).
property(machine_7_20, alarm, off).
location(machine_7_20, line_7).
map(line_7, alarm, machine_7_20, alarm).
machine(machine_7_21).
property(machine_7_21, alarm, off).
location(machine_7_21, line_7).
map(line_7, alarm, machine_7_21, alarm).
machine(machine_7_22).
property(machine_7_22, alarm, off).
location(machine_7_22, line_7).
map(line_7, alarm, machine_7_22, alarm).
machine(machine_7_23).
property(machine_7_23, alarm, off).
location(machine_7_23, line_7).
map(line_7, alarm, machine_7_23, alarm).
machine(machine_7_24).
property(machine_7_24, alarm, off).
location(machine_7_24, line_7).
map(line_7, alarm, machine_7_24, alarm).
machine(machine_7_25).
property(machine_7_25, alarm, off).
location(machine_7_25, line_7).
map(line_7, alarm, machine_7_25, alarm).
machine(machine_7_26).
property(machine_7_26, alarm, off).
location(machine_7_26, line_7).
map(line_7, alarm, machine_7_26, alarm).
machine(machine_7_27).
property(machine_7_27, alarm, off).
location(machine_7_27, line_7).
map(line_7, alarm, machine_7_27, alarm).
machine(machine_7_28).
property(machine_7_28, alarm, off).
location(machine_7_28, line_7).
map(line_7, alarm, machine_7_28, alarm).
machine(machine_7_29).
property(machine_7_29, alarm, off).
location(machine_7_29, line_7).
map(line_7, alarm, machine_7_29, alarm).
machine(machine_7_30).
property(machine_7_30, alarm, off).
location(machine_7_30, line_7).
map(line_7, alarm, machine_7_30, alarm).
machine(machine_7_31).
property(machine_7_31, alarm, off).
location(machine_7_31, line_7).
map(line_7, alarm, machine_7_31, alarm).
machine(machine_7_32).
property(machine_7_32, alarm, off).
location(machine_7_32, line_7).
map(line_7, alarm, machine_7_32, alarm).
machine(machine_7_33).
property(machine_7_33, alarm, off).
location(machine_7_33, line_7).
map(line_7, alarm, machine_7_33, alarm).
machine(machine_7_34).
property(machine_7_34, alarm, off).
location(machine_7_34, line_7).
map(line_7, alarm, machine_7_34, alarm).
machine(machine_7_35).
property(machine_7_35, alarm, off).
location(machine_7_35, line_7).
map(line_7, alarm, machine_7_35, alarm).
machine(machine_7_36).
property(machine_7_36, alarm, off).
location(machine_7_36, line_7).
map(line_7, alarm, machine_7_36, alarm).
machine(machine_7_37).
property(machine_7_37, alarm, off).
location(machine_7_37, line_7).
map(line_7, alarm, machine_7_37, alarm).
machine(machine_7_38).
property(machine_7_38, alarm, off).
location(machine_7_38, line_7).
map(line_7, alarm, machine_7_38, alarm).
machine(machine_7_39).
property(machine_7_39, alarm, off).
location(machine_7_39, line_7).
map(line_7, alarm, machine_7_39, alarm).
machine(machine_7_40).
property(machine_7_40, alarm, off).
location(machine_7_40, line_7).
map(line_7, alarm, machine_7_40, alarm).
machine(machine_7_41).
property(machine_7_41, alarm, off).
location(machine_7_41, line_7).
map(line_7, alarm, machine_7_41, alarm).
machine(machine_7_42).
property(machine_7_42, alarm, off).
location(machine_7_42, line_7).
map(line_7, alarm, machine_7_42, alarm).
machine(machine_7_43).
property(machine_7_43, alarm, off).
location(machine_7_43, line_7).
map(line_7, alarm, machine_7_43, alarm).
machine(machine_7_44).
property(machine_7_44, alarm, off).
location(machine_7_44, line_7).
map(line_7, alarm, machine_7_44, alarm).
machine(machine_7_45).
property(machine_7_45, alarm, off).
location(machine_7_45, line_7).
map(line_7, alarm, machine_7_45, alarm).
machine(machine_7_46).
property(machine_7_46, alarm, off).
location(machine_7_46, line_7).
map(line_7, alarm, machine_7_46, alarm).
machine(machine_7_47).
property(machine_7_47, alarm, off).
location(machine_7_47, line_7).
map(line_7, alarm, machine_7_47, alarm).
machine(machine_7_48).
property(machine_7_48, alarm, off).
location(machine_7_48, line_7).
map(line_7, alarm, machine_7_48, alarm).
machine(machine_7_49).
property(machine_7_49, alarm, off).
location(machine_7_49, line_7).
map(line_7, alarm, machine_7_49, 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).
machine(machine_8_20).
property(machine_8_20, alarm, off).
location(machine_8_20, line_8).
map(line_8, alarm, machine_8_20, alarm).
machine(machine_8_21).
property(machine_8_21, alarm, off).
location(machine_8_21, line_8).
map(line_8, alarm, machine_8_21, alarm).
machine(machine_8_22).
property(machine_8_22, alarm, off).
location(machine_8_22, line_8).
map(line_8, alarm, machine_8_22, alarm).
machine(machine_8_23).
property(machine_8_23, alarm, off).
location(machine_8_23, line_8).
map(line_8, alarm, machine_8_23, alarm).
machine(machine_8_24).
property(machine_8_24, alarm, off).
location(machine_8_24, line_8).
map(line_8, alarm, machine_8_24, alarm).
machine(machine_8_25).
property(machine_8_25, alarm, off).
location(machine_8_25, line_8).
map(line_8, alarm, machine_8_25, alarm).
machine(machine_8_26).
property(machine_8_26, alarm, off).
location(machine_8_26, line_8).
map(line_8, alarm, machine_8_26, alarm).
machine(machine_8_27).
property(machine_8_27, alarm, off).
location(machine_8_27, line_8).
map(line_8, alarm, machine_8_27, alarm).
machine(machine_8_28).
property(machine_8_28, alarm, off).
location(machine_8_28, line_8).
map(line_8, alarm, machine_8_28, alarm).
machine(machine_8_29).
property(machine_8_29, alarm, off).
location(machine_8_29, line_8).
map(line_8, alarm, machine_8_29, alarm).
machine(machine_8_30).
property(machine_8_30, alarm, off).
location(machine_8_30, line_8).
map(line_8, alarm, machine_8_30, alarm).
machine(machine_8_31).
property(machine_8_31, alarm, off).
location(machine_8_31, line_8).
map(line_8, alarm, machine_8_31, alarm).
machine(machine_8_32).
property(machine_8_32, alarm, off).
location(machine_8_32, line_8).
map(line_8, alarm, machine_8_32, alarm).
machine(machine_8_33).
property(machine_8_33, alarm, off).
location(machine_8_33, line_8).
map(line_8, alarm, machine_8_33, alarm).
machine(machine_8_34).
property(machine_8_34, alarm, off).
location(machine_8_34, line_8).
map(line_8, alarm, machine_8_34, alarm).
machine(machine_8_35).
property(machine_8_35, alarm, off).
location(machine_8_35, line_8).
map(line_8, alarm, machine_8_35, alarm).
machine(machine_8_36).
property(machine_8_36, alarm, off).
location(machine_8_36, line_8).
map(line_8, alarm, machine_8_36, alarm).
machine(machine_8_37).
property(machine_8_37, alarm, off).
location(machine_8_37, line_8).
map(line_8, alarm, machine_8_37, alarm).
machine(machine_8_38).
property(machine_8_38, alarm, off).
location(machine_8_38, line_8).
map(line_8, alarm, machine_8_38, alarm).
machine(machine_8_39).
property(machine_8_39, alarm, off).
location(machine_8_39, line_8).
map(line_8, alarm, machine_8_39, alarm).
machine(machine_8_40).
property(machine_8_40, alarm, off).
location(machine_8_40, line_8).
map(line_8, alarm, machine_8_40, alarm).
machine(machine_8_41).
property(machine_8_41, alarm, off).
location(machine_8_41, line_8).
map(line_8, alarm, machine_8_41, alarm).
machine(machine_8_42).
property(machine_8_42, alarm, off).
location(machine_8_42, line_8).
map(line_8, alarm, machine_8_42, alarm).
machine(machine_8_43).
property(machine_8_43, alarm, off).
location(machine_8_43, line_8).
map(line_8, alarm, machine_8_43, alarm).
machine(machine_8_44).
property(machine_8_44, alarm, off).
location(machine_8_44, line_8).
map(line_8, alarm, machine_8_44, alarm).
machine(machine_8_45).
property(machine_8_45, alarm, off).
location(machine_8_45, line_8).
map(line_8, alarm, machine_8_45, alarm).
machine(machine_8_46).
property(machine_8_46, alarm, off).
location(machine_8_46, line_8).
map(line_8, alarm, machine_8_46, alarm).
machine(machine_8_47).
property(machine_8_47, alarm, off).
location(machine_8_47, line_8).
map(line_8, alarm, machine_8_47, alarm).
machine(machine_8_48).
property(machine_8_48, alarm, off).
location(machine_8_48, line_8).
map(line_8, alarm, machine_8_48, alarm).
machine(machine_8_49).
property(machine_8_49, alarm, off).
location(machine_8_49, line_8).
map(line_8, alarm, machine_8_49, 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).
machine(machine_9_20).
property(machine_9_20, alarm, off).
location(machine_9_20, line_9).
map(line_9, alarm, machine_9_20, alarm).
machine(machine_9_21).
property(machine_9_21, alarm, off).
location(machine_9_21, line_9).
map(line_9, alarm, machine_9_21, alarm).
machine(machine_9_22).
property(machine_9_22, alarm, off).
location(machine_9_22, line_9).
map(line_9, alarm, machine_9_22, alarm).
machine(machine_9_23).
property(machine_9_23, alarm, off).
location(machine_9_23, line_9).
map(line_9, alarm, machine_9_23, alarm).
machine(machine_9_24).
property(machine_9_24, alarm, off).
location(machine_9_24, line_9).
map(line_9, alarm, machine_9_24, alarm).
machine(machine_9_25).
property(machine_9_25, alarm, off).
location(machine_9_25, line_9).
map(line_9, alarm, machine_9_25, alarm).
machine(machine_9_26).
property(machine_9_26, alarm, off).
location(machine_9_26, line_9).
map(line_9, alarm, machine_9_26, alarm).
machine(machine_9_27).
property(machine_9_27, alarm, off).
location(machine_9_27, line_9).
map(line_9, alarm, machine_9_27, alarm).
machine(machine_9_28).
property(machine_9_28, alarm, off).
location(machine_9_28, line_9).
map(line_9, alarm, machine_9_28, alarm).
machine(machine_9_29).
property(machine_9_29, alarm, off).
location(machine_9_29, line_9).
map(line_9, alarm, machine_9_29, alarm).
machine(machine_9_30).
property(machine_9_30, alarm, off).
location(machine_9_30, line_9).
map(line_9, alarm, machine_9_30, alarm).
machine(machine_9_31).
property(machine_9_31, alarm, off).
location(machine_9_31, line_9).
map(line_9, alarm, machine_9_31, alarm).
machine(machine_9_32).
property(machine_9_32, alarm, off).
location(machine_9_32, line_9).
map(line_9, alarm, machine_9_32, alarm).
machine(machine_9_33).
property(machine_9_33, alarm, off).
location(machine_9_33, line_9).
map(line_9, alarm, machine_9_33, alarm).
machine(machine_9_34).
property(machine_9_34, alarm, off).
location(machine_9_34, line_9).
map(line_9, alarm, machine_9_34, alarm).
machine(machine_9_35).
property(machine_9_35, alarm, off).
location(machine_9_35, line_9).
map(line_9, alarm, machine_9_35, alarm).
machine(machine_9_36).
property(machine_9_36, alarm, off).
location(machine_9_36, line_9).
map(line_9, alarm, machine_9_36, alarm).
machine(machine_9_37).
property(machine_9_37, alarm, off).
location(machine_9_37, line_9).
map(line_9, alarm, machine_9_37, alarm).
machine(machine_9_38).
property(machine_9_38, alarm, off).
location(machine_9_38, line_9).
map(line_9, alarm, machine_9_38, alarm).
machine(machine_9_39).
property(machine_9_39, alarm, off).
location(machine_9_39, line_9).
map(line_9, alarm, machine_9_39, alarm).
machine(machine_9_40).
property(machine_9_40, alarm, off).
location(machine_9_40, line_9).
map(line_9, alarm, machine_9_40, alarm).
machine(machine_9_41).
property(machine_9_41, alarm, off).
location(machine_9_41, line_9).
map(line_9, alarm, machine_9_41, alarm).
machine(machine_9_42).
property(machine_9_42, alarm, off).
location(machine_9_42, line_9).
map(line_9, alarm, machine_9_42, alarm).
machine(machine_9_43).
property(machine_9_43, alarm, off).
location(machine_9_43, line_9).
map(line_9, alarm, machine_9_43, alarm).
machine(machine_9_44).
property(machine_9_44, alarm, off).
location(machine_9_44, line_9).
map(line_9, alarm, machine_9_44, alarm).
machine(machine_9_45).
property(machine_9_45, alarm, off).
location(machine_9_45, line_9).
map(line_9, alarm, machine_9_45, alarm).
machine(machine_9_46).
property(machine_9_46, alarm, off).
location(machine_9_46, line_9).
map(line_9, alarm, machine_9_46, alarm).
machine(machine_9_47).
property(machine_9_47, alarm, off).
location(machine_9_47, line_9).
map(line_9, alarm, machine_9_47, alarm).
machine(machine_9_48).
property(machine_9_48, alarm, off).
location(machine_9_48, line_9).
map(line_9, alarm, machine_9_48, alarm).
machine(machine_9_49).
property(machine_9_49, alarm, off).
location(machine_9_49, line_9).
map(line_9, alarm, machine_9_49, alarm).