device(S):- machine(S).
map(H, alarm, M, alarm) :- prod_line(H), machine(M), location(M,H).
filter_type(M, alarm,  pass, _) :- machine(M).
prod_line(line_0).
machine(machine_0_0).
location(machine_0_0, line_0).
device_action(machine_0_0, state, [read, write]).
device_action(machine_0_0, alarm, [read, notify]).
machine(machine_0_1).
location(machine_0_1, line_0).
device_action(machine_0_1, state, [read, write]).
device_action(machine_0_1, alarm, [read, notify]).
machine(machine_0_2).
location(machine_0_2, line_0).
device_action(machine_0_2, state, [read, write]).
device_action(machine_0_2, alarm, [read, notify]).
machine(machine_0_3).
location(machine_0_3, line_0).
device_action(machine_0_3, state, [read, write]).
device_action(machine_0_3, alarm, [read, notify]).
machine(machine_0_4).
location(machine_0_4, line_0).
device_action(machine_0_4, state, [read, write]).
device_action(machine_0_4, alarm, [read, notify]).
machine(machine_0_5).
location(machine_0_5, line_0).
device_action(machine_0_5, state, [read, write]).
device_action(machine_0_5, alarm, [read, notify]).
machine(machine_0_6).
location(machine_0_6, line_0).
device_action(machine_0_6, state, [read, write]).
device_action(machine_0_6, alarm, [read, notify]).
machine(machine_0_7).
location(machine_0_7, line_0).
device_action(machine_0_7, state, [read, write]).
device_action(machine_0_7, alarm, [read, notify]).
machine(machine_0_8).
location(machine_0_8, line_0).
device_action(machine_0_8, state, [read, write]).
device_action(machine_0_8, alarm, [read, notify]).
machine(machine_0_9).
location(machine_0_9, line_0).
device_action(machine_0_9, state, [read, write]).
device_action(machine_0_9, alarm, [read, notify]).
machine(machine_0_10).
location(machine_0_10, line_0).
device_action(machine_0_10, state, [read, write]).
device_action(machine_0_10, alarm, [read, notify]).
machine(machine_0_11).
location(machine_0_11, line_0).
device_action(machine_0_11, state, [read, write]).
device_action(machine_0_11, alarm, [read, notify]).
machine(machine_0_12).
location(machine_0_12, line_0).
device_action(machine_0_12, state, [read, write]).
device_action(machine_0_12, alarm, [read, notify]).
machine(machine_0_13).
location(machine_0_13, line_0).
device_action(machine_0_13, state, [read, write]).
device_action(machine_0_13, alarm, [read, notify]).
machine(machine_0_14).
location(machine_0_14, line_0).
device_action(machine_0_14, state, [read, write]).
device_action(machine_0_14, alarm, [read, notify]).
machine(machine_0_15).
location(machine_0_15, line_0).
device_action(machine_0_15, state, [read, write]).
device_action(machine_0_15, alarm, [read, notify]).
machine(machine_0_16).
location(machine_0_16, line_0).
device_action(machine_0_16, state, [read, write]).
device_action(machine_0_16, alarm, [read, notify]).
machine(machine_0_17).
location(machine_0_17, line_0).
device_action(machine_0_17, state, [read, write]).
device_action(machine_0_17, alarm, [read, notify]).
machine(machine_0_18).
location(machine_0_18, line_0).
device_action(machine_0_18, state, [read, write]).
device_action(machine_0_18, alarm, [read, notify]).
machine(machine_0_19).
location(machine_0_19, line_0).
device_action(machine_0_19, state, [read, write]).
device_action(machine_0_19, alarm, [read, notify]).
machine(machine_0_20).
location(machine_0_20, line_0).
device_action(machine_0_20, state, [read, write]).
device_action(machine_0_20, alarm, [read, notify]).
machine(machine_0_21).
location(machine_0_21, line_0).
device_action(machine_0_21, state, [read, write]).
device_action(machine_0_21, alarm, [read, notify]).
machine(machine_0_22).
location(machine_0_22, line_0).
device_action(machine_0_22, state, [read, write]).
device_action(machine_0_22, alarm, [read, notify]).
machine(machine_0_23).
location(machine_0_23, line_0).
device_action(machine_0_23, state, [read, write]).
device_action(machine_0_23, alarm, [read, notify]).
machine(machine_0_24).
location(machine_0_24, line_0).
device_action(machine_0_24, state, [read, write]).
device_action(machine_0_24, alarm, [read, notify]).
machine(machine_0_25).
location(machine_0_25, line_0).
device_action(machine_0_25, state, [read, write]).
device_action(machine_0_25, alarm, [read, notify]).
machine(machine_0_26).
location(machine_0_26, line_0).
device_action(machine_0_26, state, [read, write]).
device_action(machine_0_26, alarm, [read, notify]).
machine(machine_0_27).
location(machine_0_27, line_0).
device_action(machine_0_27, state, [read, write]).
device_action(machine_0_27, alarm, [read, notify]).
machine(machine_0_28).
location(machine_0_28, line_0).
device_action(machine_0_28, state, [read, write]).
device_action(machine_0_28, alarm, [read, notify]).
machine(machine_0_29).
location(machine_0_29, line_0).
device_action(machine_0_29, state, [read, write]).
device_action(machine_0_29, alarm, [read, notify]).
machine(machine_0_30).
location(machine_0_30, line_0).
device_action(machine_0_30, state, [read, write]).
device_action(machine_0_30, alarm, [read, notify]).
machine(machine_0_31).
location(machine_0_31, line_0).
device_action(machine_0_31, state, [read, write]).
device_action(machine_0_31, alarm, [read, notify]).
machine(machine_0_32).
location(machine_0_32, line_0).
device_action(machine_0_32, state, [read, write]).
device_action(machine_0_32, alarm, [read, notify]).
machine(machine_0_33).
location(machine_0_33, line_0).
device_action(machine_0_33, state, [read, write]).
device_action(machine_0_33, alarm, [read, notify]).
machine(machine_0_34).
location(machine_0_34, line_0).
device_action(machine_0_34, state, [read, write]).
device_action(machine_0_34, alarm, [read, notify]).
machine(machine_0_35).
location(machine_0_35, line_0).
device_action(machine_0_35, state, [read, write]).
device_action(machine_0_35, alarm, [read, notify]).
machine(machine_0_36).
location(machine_0_36, line_0).
device_action(machine_0_36, state, [read, write]).
device_action(machine_0_36, alarm, [read, notify]).
machine(machine_0_37).
location(machine_0_37, line_0).
device_action(machine_0_37, state, [read, write]).
device_action(machine_0_37, alarm, [read, notify]).
machine(machine_0_38).
location(machine_0_38, line_0).
device_action(machine_0_38, state, [read, write]).
device_action(machine_0_38, alarm, [read, notify]).
machine(machine_0_39).
location(machine_0_39, line_0).
device_action(machine_0_39, state, [read, write]).
device_action(machine_0_39, alarm, [read, notify]).
machine(machine_0_40).
location(machine_0_40, line_0).
device_action(machine_0_40, state, [read, write]).
device_action(machine_0_40, alarm, [read, notify]).
machine(machine_0_41).
location(machine_0_41, line_0).
device_action(machine_0_41, state, [read, write]).
device_action(machine_0_41, alarm, [read, notify]).
machine(machine_0_42).
location(machine_0_42, line_0).
device_action(machine_0_42, state, [read, write]).
device_action(machine_0_42, alarm, [read, notify]).
machine(machine_0_43).
location(machine_0_43, line_0).
device_action(machine_0_43, state, [read, write]).
device_action(machine_0_43, alarm, [read, notify]).
machine(machine_0_44).
location(machine_0_44, line_0).
device_action(machine_0_44, state, [read, write]).
device_action(machine_0_44, alarm, [read, notify]).
machine(machine_0_45).
location(machine_0_45, line_0).
device_action(machine_0_45, state, [read, write]).
device_action(machine_0_45, alarm, [read, notify]).
machine(machine_0_46).
location(machine_0_46, line_0).
device_action(machine_0_46, state, [read, write]).
device_action(machine_0_46, alarm, [read, notify]).
machine(machine_0_47).
location(machine_0_47, line_0).
device_action(machine_0_47, state, [read, write]).
device_action(machine_0_47, alarm, [read, notify]).
machine(machine_0_48).
location(machine_0_48, line_0).
device_action(machine_0_48, state, [read, write]).
device_action(machine_0_48, alarm, [read, notify]).
machine(machine_0_49).
location(machine_0_49, line_0).
device_action(machine_0_49, state, [read, write]).
device_action(machine_0_49, alarm, [read, notify]).
machine(machine_0_50).
location(machine_0_50, line_0).
device_action(machine_0_50, state, [read, write]).
device_action(machine_0_50, alarm, [read, notify]).
machine(machine_0_51).
location(machine_0_51, line_0).
device_action(machine_0_51, state, [read, write]).
device_action(machine_0_51, alarm, [read, notify]).
machine(machine_0_52).
location(machine_0_52, line_0).
device_action(machine_0_52, state, [read, write]).
device_action(machine_0_52, alarm, [read, notify]).
machine(machine_0_53).
location(machine_0_53, line_0).
device_action(machine_0_53, state, [read, write]).
device_action(machine_0_53, alarm, [read, notify]).
machine(machine_0_54).
location(machine_0_54, line_0).
device_action(machine_0_54, state, [read, write]).
device_action(machine_0_54, alarm, [read, notify]).
machine(machine_0_55).
location(machine_0_55, line_0).
device_action(machine_0_55, state, [read, write]).
device_action(machine_0_55, alarm, [read, notify]).
machine(machine_0_56).
location(machine_0_56, line_0).
device_action(machine_0_56, state, [read, write]).
device_action(machine_0_56, alarm, [read, notify]).
machine(machine_0_57).
location(machine_0_57, line_0).
device_action(machine_0_57, state, [read, write]).
device_action(machine_0_57, alarm, [read, notify]).
machine(machine_0_58).
location(machine_0_58, line_0).
device_action(machine_0_58, state, [read, write]).
device_action(machine_0_58, alarm, [read, notify]).
machine(machine_0_59).
location(machine_0_59, line_0).
device_action(machine_0_59, state, [read, write]).
device_action(machine_0_59, alarm, [read, notify]).
machine(machine_0_60).
location(machine_0_60, line_0).
device_action(machine_0_60, state, [read, write]).
device_action(machine_0_60, alarm, [read, notify]).
machine(machine_0_61).
location(machine_0_61, line_0).
device_action(machine_0_61, state, [read, write]).
device_action(machine_0_61, alarm, [read, notify]).
machine(machine_0_62).
location(machine_0_62, line_0).
device_action(machine_0_62, state, [read, write]).
device_action(machine_0_62, alarm, [read, notify]).
machine(machine_0_63).
location(machine_0_63, line_0).
device_action(machine_0_63, state, [read, write]).
device_action(machine_0_63, alarm, [read, notify]).
machine(machine_0_64).
location(machine_0_64, line_0).
device_action(machine_0_64, state, [read, write]).
device_action(machine_0_64, alarm, [read, notify]).
machine(machine_0_65).
location(machine_0_65, line_0).
device_action(machine_0_65, state, [read, write]).
device_action(machine_0_65, alarm, [read, notify]).
machine(machine_0_66).
location(machine_0_66, line_0).
device_action(machine_0_66, state, [read, write]).
device_action(machine_0_66, alarm, [read, notify]).
machine(machine_0_67).
location(machine_0_67, line_0).
device_action(machine_0_67, state, [read, write]).
device_action(machine_0_67, alarm, [read, notify]).
machine(machine_0_68).
location(machine_0_68, line_0).
device_action(machine_0_68, state, [read, write]).
device_action(machine_0_68, alarm, [read, notify]).
machine(machine_0_69).
location(machine_0_69, line_0).
device_action(machine_0_69, state, [read, write]).
device_action(machine_0_69, alarm, [read, notify]).
machine(machine_0_70).
location(machine_0_70, line_0).
device_action(machine_0_70, state, [read, write]).
device_action(machine_0_70, alarm, [read, notify]).
machine(machine_0_71).
location(machine_0_71, line_0).
device_action(machine_0_71, state, [read, write]).
device_action(machine_0_71, alarm, [read, notify]).
machine(machine_0_72).
location(machine_0_72, line_0).
device_action(machine_0_72, state, [read, write]).
device_action(machine_0_72, alarm, [read, notify]).
machine(machine_0_73).
location(machine_0_73, line_0).
device_action(machine_0_73, state, [read, write]).
device_action(machine_0_73, alarm, [read, notify]).
machine(machine_0_74).
location(machine_0_74, line_0).
device_action(machine_0_74, state, [read, write]).
device_action(machine_0_74, alarm, [read, notify]).
machine(machine_0_75).
location(machine_0_75, line_0).
device_action(machine_0_75, state, [read, write]).
device_action(machine_0_75, alarm, [read, notify]).
machine(machine_0_76).
location(machine_0_76, line_0).
device_action(machine_0_76, state, [read, write]).
device_action(machine_0_76, alarm, [read, notify]).
machine(machine_0_77).
location(machine_0_77, line_0).
device_action(machine_0_77, state, [read, write]).
device_action(machine_0_77, alarm, [read, notify]).
machine(machine_0_78).
location(machine_0_78, line_0).
device_action(machine_0_78, state, [read, write]).
device_action(machine_0_78, alarm, [read, notify]).
machine(machine_0_79).
location(machine_0_79, line_0).
device_action(machine_0_79, state, [read, write]).
device_action(machine_0_79, alarm, [read, notify]).
machine(machine_0_80).
location(machine_0_80, line_0).
device_action(machine_0_80, state, [read, write]).
device_action(machine_0_80, alarm, [read, notify]).
machine(machine_0_81).
location(machine_0_81, line_0).
device_action(machine_0_81, state, [read, write]).
device_action(machine_0_81, alarm, [read, notify]).
machine(machine_0_82).
location(machine_0_82, line_0).
device_action(machine_0_82, state, [read, write]).
device_action(machine_0_82, alarm, [read, notify]).
machine(machine_0_83).
location(machine_0_83, line_0).
device_action(machine_0_83, state, [read, write]).
device_action(machine_0_83, alarm, [read, notify]).
machine(machine_0_84).
location(machine_0_84, line_0).
device_action(machine_0_84, state, [read, write]).
device_action(machine_0_84, alarm, [read, notify]).
machine(machine_0_85).
location(machine_0_85, line_0).
device_action(machine_0_85, state, [read, write]).
device_action(machine_0_85, alarm, [read, notify]).
machine(machine_0_86).
location(machine_0_86, line_0).
device_action(machine_0_86, state, [read, write]).
device_action(machine_0_86, alarm, [read, notify]).
machine(machine_0_87).
location(machine_0_87, line_0).
device_action(machine_0_87, state, [read, write]).
device_action(machine_0_87, alarm, [read, notify]).
machine(machine_0_88).
location(machine_0_88, line_0).
device_action(machine_0_88, state, [read, write]).
device_action(machine_0_88, alarm, [read, notify]).
machine(machine_0_89).
location(machine_0_89, line_0).
device_action(machine_0_89, state, [read, write]).
device_action(machine_0_89, alarm, [read, notify]).
machine(machine_0_90).
location(machine_0_90, line_0).
device_action(machine_0_90, state, [read, write]).
device_action(machine_0_90, alarm, [read, notify]).
machine(machine_0_91).
location(machine_0_91, line_0).
device_action(machine_0_91, state, [read, write]).
device_action(machine_0_91, alarm, [read, notify]).
machine(machine_0_92).
location(machine_0_92, line_0).
device_action(machine_0_92, state, [read, write]).
device_action(machine_0_92, alarm, [read, notify]).
machine(machine_0_93).
location(machine_0_93, line_0).
device_action(machine_0_93, state, [read, write]).
device_action(machine_0_93, alarm, [read, notify]).
machine(machine_0_94).
location(machine_0_94, line_0).
device_action(machine_0_94, state, [read, write]).
device_action(machine_0_94, alarm, [read, notify]).
machine(machine_0_95).
location(machine_0_95, line_0).
device_action(machine_0_95, state, [read, write]).
device_action(machine_0_95, alarm, [read, notify]).
machine(machine_0_96).
location(machine_0_96, line_0).
device_action(machine_0_96, state, [read, write]).
device_action(machine_0_96, alarm, [read, notify]).
machine(machine_0_97).
location(machine_0_97, line_0).
device_action(machine_0_97, state, [read, write]).
device_action(machine_0_97, alarm, [read, notify]).
machine(machine_0_98).
location(machine_0_98, line_0).
device_action(machine_0_98, state, [read, write]).
device_action(machine_0_98, alarm, [read, notify]).
machine(machine_0_99).
location(machine_0_99, line_0).
device_action(machine_0_99, state, [read, write]).
device_action(machine_0_99, alarm, [read, notify]).