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]).
prod_line(line_1).
machine(machine_1_0).
location(machine_1_0, line_1).
device_action(machine_1_0, state, [read, write]).
device_action(machine_1_0, alarm, [read, notify]).
prod_line(line_2).
machine(machine_2_0).
location(machine_2_0, line_2).
device_action(machine_2_0, state, [read, write]).
device_action(machine_2_0, alarm, [read, notify]).
prod_line(line_3).
machine(machine_3_0).
location(machine_3_0, line_3).
device_action(machine_3_0, state, [read, write]).
device_action(machine_3_0, alarm, [read, notify]).
prod_line(line_4).
machine(machine_4_0).
location(machine_4_0, line_4).
device_action(machine_4_0, state, [read, write]).
device_action(machine_4_0, alarm, [read, notify]).
prod_line(line_5).
machine(machine_5_0).
location(machine_5_0, line_5).
device_action(machine_5_0, state, [read, write]).
device_action(machine_5_0, alarm, [read, notify]).
prod_line(line_6).
machine(machine_6_0).
location(machine_6_0, line_6).
device_action(machine_6_0, state, [read, write]).
device_action(machine_6_0, alarm, [read, notify]).
prod_line(line_7).
machine(machine_7_0).
location(machine_7_0, line_7).
device_action(machine_7_0, state, [read, write]).
device_action(machine_7_0, alarm, [read, notify]).
prod_line(line_8).
machine(machine_8_0).
location(machine_8_0, line_8).
device_action(machine_8_0, state, [read, write]).
device_action(machine_8_0, alarm, [read, notify]).
prod_line(line_9).
machine(machine_9_0).
location(machine_9_0, line_9).
device_action(machine_9_0, state, [read, write]).
device_action(machine_9_0, alarm, [read, notify]).
prod_line(line_10).
machine(machine_10_0).
location(machine_10_0, line_10).
device_action(machine_10_0, state, [read, write]).
device_action(machine_10_0, alarm, [read, notify]).
prod_line(line_11).
machine(machine_11_0).
location(machine_11_0, line_11).
device_action(machine_11_0, state, [read, write]).
device_action(machine_11_0, alarm, [read, notify]).
prod_line(line_12).
machine(machine_12_0).
location(machine_12_0, line_12).
device_action(machine_12_0, state, [read, write]).
device_action(machine_12_0, alarm, [read, notify]).
prod_line(line_13).
machine(machine_13_0).
location(machine_13_0, line_13).
device_action(machine_13_0, state, [read, write]).
device_action(machine_13_0, alarm, [read, notify]).
prod_line(line_14).
machine(machine_14_0).
location(machine_14_0, line_14).
device_action(machine_14_0, state, [read, write]).
device_action(machine_14_0, alarm, [read, notify]).
prod_line(line_15).
machine(machine_15_0).
location(machine_15_0, line_15).
device_action(machine_15_0, state, [read, write]).
device_action(machine_15_0, alarm, [read, notify]).
prod_line(line_16).
machine(machine_16_0).
location(machine_16_0, line_16).
device_action(machine_16_0, state, [read, write]).
device_action(machine_16_0, alarm, [read, notify]).
prod_line(line_17).
machine(machine_17_0).
location(machine_17_0, line_17).
device_action(machine_17_0, state, [read, write]).
device_action(machine_17_0, alarm, [read, notify]).
prod_line(line_18).
machine(machine_18_0).
location(machine_18_0, line_18).
device_action(machine_18_0, state, [read, write]).
device_action(machine_18_0, alarm, [read, notify]).
prod_line(line_19).
machine(machine_19_0).
location(machine_19_0, line_19).
device_action(machine_19_0, state, [read, write]).
device_action(machine_19_0, alarm, [read, notify]).
prod_line(line_20).
machine(machine_20_0).
location(machine_20_0, line_20).
device_action(machine_20_0, state, [read, write]).
device_action(machine_20_0, alarm, [read, notify]).
prod_line(line_21).
machine(machine_21_0).
location(machine_21_0, line_21).
device_action(machine_21_0, state, [read, write]).
device_action(machine_21_0, alarm, [read, notify]).
prod_line(line_22).
machine(machine_22_0).
location(machine_22_0, line_22).
device_action(machine_22_0, state, [read, write]).
device_action(machine_22_0, alarm, [read, notify]).
prod_line(line_23).
machine(machine_23_0).
location(machine_23_0, line_23).
device_action(machine_23_0, state, [read, write]).
device_action(machine_23_0, alarm, [read, notify]).
prod_line(line_24).
machine(machine_24_0).
location(machine_24_0, line_24).
device_action(machine_24_0, state, [read, write]).
device_action(machine_24_0, alarm, [read, notify]).
prod_line(line_25).
machine(machine_25_0).
location(machine_25_0, line_25).
device_action(machine_25_0, state, [read, write]).
device_action(machine_25_0, alarm, [read, notify]).
prod_line(line_26).
machine(machine_26_0).
location(machine_26_0, line_26).
device_action(machine_26_0, state, [read, write]).
device_action(machine_26_0, alarm, [read, notify]).
prod_line(line_27).
machine(machine_27_0).
location(machine_27_0, line_27).
device_action(machine_27_0, state, [read, write]).
device_action(machine_27_0, alarm, [read, notify]).
prod_line(line_28).
machine(machine_28_0).
location(machine_28_0, line_28).
device_action(machine_28_0, state, [read, write]).
device_action(machine_28_0, alarm, [read, notify]).
prod_line(line_29).
machine(machine_29_0).
location(machine_29_0, line_29).
device_action(machine_29_0, state, [read, write]).
device_action(machine_29_0, alarm, [read, notify]).
prod_line(line_30).
machine(machine_30_0).
location(machine_30_0, line_30).
device_action(machine_30_0, state, [read, write]).
device_action(machine_30_0, alarm, [read, notify]).
prod_line(line_31).
machine(machine_31_0).
location(machine_31_0, line_31).
device_action(machine_31_0, state, [read, write]).
device_action(machine_31_0, alarm, [read, notify]).
prod_line(line_32).
machine(machine_32_0).
location(machine_32_0, line_32).
device_action(machine_32_0, state, [read, write]).
device_action(machine_32_0, alarm, [read, notify]).
prod_line(line_33).
machine(machine_33_0).
location(machine_33_0, line_33).
device_action(machine_33_0, state, [read, write]).
device_action(machine_33_0, alarm, [read, notify]).
prod_line(line_34).
machine(machine_34_0).
location(machine_34_0, line_34).
device_action(machine_34_0, state, [read, write]).
device_action(machine_34_0, alarm, [read, notify]).
prod_line(line_35).
machine(machine_35_0).
location(machine_35_0, line_35).
device_action(machine_35_0, state, [read, write]).
device_action(machine_35_0, alarm, [read, notify]).
prod_line(line_36).
machine(machine_36_0).
location(machine_36_0, line_36).
device_action(machine_36_0, state, [read, write]).
device_action(machine_36_0, alarm, [read, notify]).
prod_line(line_37).
machine(machine_37_0).
location(machine_37_0, line_37).
device_action(machine_37_0, state, [read, write]).
device_action(machine_37_0, alarm, [read, notify]).
prod_line(line_38).
machine(machine_38_0).
location(machine_38_0, line_38).
device_action(machine_38_0, state, [read, write]).
device_action(machine_38_0, alarm, [read, notify]).
prod_line(line_39).
machine(machine_39_0).
location(machine_39_0, line_39).
device_action(machine_39_0, state, [read, write]).
device_action(machine_39_0, alarm, [read, notify]).
prod_line(line_40).
machine(machine_40_0).
location(machine_40_0, line_40).
device_action(machine_40_0, state, [read, write]).
device_action(machine_40_0, alarm, [read, notify]).
prod_line(line_41).
machine(machine_41_0).
location(machine_41_0, line_41).
device_action(machine_41_0, state, [read, write]).
device_action(machine_41_0, alarm, [read, notify]).
prod_line(line_42).
machine(machine_42_0).
location(machine_42_0, line_42).
device_action(machine_42_0, state, [read, write]).
device_action(machine_42_0, alarm, [read, notify]).
prod_line(line_43).
machine(machine_43_0).
location(machine_43_0, line_43).
device_action(machine_43_0, state, [read, write]).
device_action(machine_43_0, alarm, [read, notify]).
prod_line(line_44).
machine(machine_44_0).
location(machine_44_0, line_44).
device_action(machine_44_0, state, [read, write]).
device_action(machine_44_0, alarm, [read, notify]).
prod_line(line_45).
machine(machine_45_0).
location(machine_45_0, line_45).
device_action(machine_45_0, state, [read, write]).
device_action(machine_45_0, alarm, [read, notify]).
prod_line(line_46).
machine(machine_46_0).
location(machine_46_0, line_46).
device_action(machine_46_0, state, [read, write]).
device_action(machine_46_0, alarm, [read, notify]).
prod_line(line_47).
machine(machine_47_0).
location(machine_47_0, line_47).
device_action(machine_47_0, state, [read, write]).
device_action(machine_47_0, alarm, [read, notify]).
prod_line(line_48).
machine(machine_48_0).
location(machine_48_0, line_48).
device_action(machine_48_0, state, [read, write]).
device_action(machine_48_0, alarm, [read, notify]).
prod_line(line_49).
machine(machine_49_0).
location(machine_49_0, line_49).
device_action(machine_49_0, state, [read, write]).
device_action(machine_49_0, alarm, [read, notify]).
prod_line(line_50).
machine(machine_50_0).
location(machine_50_0, line_50).
device_action(machine_50_0, state, [read, write]).
device_action(machine_50_0, alarm, [read, notify]).
prod_line(line_51).
machine(machine_51_0).
location(machine_51_0, line_51).
device_action(machine_51_0, state, [read, write]).
device_action(machine_51_0, alarm, [read, notify]).
prod_line(line_52).
machine(machine_52_0).
location(machine_52_0, line_52).
device_action(machine_52_0, state, [read, write]).
device_action(machine_52_0, alarm, [read, notify]).
prod_line(line_53).
machine(machine_53_0).
location(machine_53_0, line_53).
device_action(machine_53_0, state, [read, write]).
device_action(machine_53_0, alarm, [read, notify]).
prod_line(line_54).
machine(machine_54_0).
location(machine_54_0, line_54).
device_action(machine_54_0, state, [read, write]).
device_action(machine_54_0, alarm, [read, notify]).
prod_line(line_55).
machine(machine_55_0).
location(machine_55_0, line_55).
device_action(machine_55_0, state, [read, write]).
device_action(machine_55_0, alarm, [read, notify]).
prod_line(line_56).
machine(machine_56_0).
location(machine_56_0, line_56).
device_action(machine_56_0, state, [read, write]).
device_action(machine_56_0, alarm, [read, notify]).
prod_line(line_57).
machine(machine_57_0).
location(machine_57_0, line_57).
device_action(machine_57_0, state, [read, write]).
device_action(machine_57_0, alarm, [read, notify]).
prod_line(line_58).
machine(machine_58_0).
location(machine_58_0, line_58).
device_action(machine_58_0, state, [read, write]).
device_action(machine_58_0, alarm, [read, notify]).
prod_line(line_59).
machine(machine_59_0).
location(machine_59_0, line_59).
device_action(machine_59_0, state, [read, write]).
device_action(machine_59_0, alarm, [read, notify]).
prod_line(line_60).
machine(machine_60_0).
location(machine_60_0, line_60).
device_action(machine_60_0, state, [read, write]).
device_action(machine_60_0, alarm, [read, notify]).
prod_line(line_61).
machine(machine_61_0).
location(machine_61_0, line_61).
device_action(machine_61_0, state, [read, write]).
device_action(machine_61_0, alarm, [read, notify]).
prod_line(line_62).
machine(machine_62_0).
location(machine_62_0, line_62).
device_action(machine_62_0, state, [read, write]).
device_action(machine_62_0, alarm, [read, notify]).
prod_line(line_63).
machine(machine_63_0).
location(machine_63_0, line_63).
device_action(machine_63_0, state, [read, write]).
device_action(machine_63_0, alarm, [read, notify]).
prod_line(line_64).
machine(machine_64_0).
location(machine_64_0, line_64).
device_action(machine_64_0, state, [read, write]).
device_action(machine_64_0, alarm, [read, notify]).
prod_line(line_65).
machine(machine_65_0).
location(machine_65_0, line_65).
device_action(machine_65_0, state, [read, write]).
device_action(machine_65_0, alarm, [read, notify]).
prod_line(line_66).
machine(machine_66_0).
location(machine_66_0, line_66).
device_action(machine_66_0, state, [read, write]).
device_action(machine_66_0, alarm, [read, notify]).
prod_line(line_67).
machine(machine_67_0).
location(machine_67_0, line_67).
device_action(machine_67_0, state, [read, write]).
device_action(machine_67_0, alarm, [read, notify]).
prod_line(line_68).
machine(machine_68_0).
location(machine_68_0, line_68).
device_action(machine_68_0, state, [read, write]).
device_action(machine_68_0, alarm, [read, notify]).
prod_line(line_69).
machine(machine_69_0).
location(machine_69_0, line_69).
device_action(machine_69_0, state, [read, write]).
device_action(machine_69_0, alarm, [read, notify]).
prod_line(line_70).
machine(machine_70_0).
location(machine_70_0, line_70).
device_action(machine_70_0, state, [read, write]).
device_action(machine_70_0, alarm, [read, notify]).
prod_line(line_71).
machine(machine_71_0).
location(machine_71_0, line_71).
device_action(machine_71_0, state, [read, write]).
device_action(machine_71_0, alarm, [read, notify]).
prod_line(line_72).
machine(machine_72_0).
location(machine_72_0, line_72).
device_action(machine_72_0, state, [read, write]).
device_action(machine_72_0, alarm, [read, notify]).
prod_line(line_73).
machine(machine_73_0).
location(machine_73_0, line_73).
device_action(machine_73_0, state, [read, write]).
device_action(machine_73_0, alarm, [read, notify]).
prod_line(line_74).
machine(machine_74_0).
location(machine_74_0, line_74).
device_action(machine_74_0, state, [read, write]).
device_action(machine_74_0, alarm, [read, notify]).
prod_line(line_75).
machine(machine_75_0).
location(machine_75_0, line_75).
device_action(machine_75_0, state, [read, write]).
device_action(machine_75_0, alarm, [read, notify]).
prod_line(line_76).
machine(machine_76_0).
location(machine_76_0, line_76).
device_action(machine_76_0, state, [read, write]).
device_action(machine_76_0, alarm, [read, notify]).
prod_line(line_77).
machine(machine_77_0).
location(machine_77_0, line_77).
device_action(machine_77_0, state, [read, write]).
device_action(machine_77_0, alarm, [read, notify]).
prod_line(line_78).
machine(machine_78_0).
location(machine_78_0, line_78).
device_action(machine_78_0, state, [read, write]).
device_action(machine_78_0, alarm, [read, notify]).
prod_line(line_79).
machine(machine_79_0).
location(machine_79_0, line_79).
device_action(machine_79_0, state, [read, write]).
device_action(machine_79_0, alarm, [read, notify]).
prod_line(line_80).
machine(machine_80_0).
location(machine_80_0, line_80).
device_action(machine_80_0, state, [read, write]).
device_action(machine_80_0, alarm, [read, notify]).
prod_line(line_81).
machine(machine_81_0).
location(machine_81_0, line_81).
device_action(machine_81_0, state, [read, write]).
device_action(machine_81_0, alarm, [read, notify]).
prod_line(line_82).
machine(machine_82_0).
location(machine_82_0, line_82).
device_action(machine_82_0, state, [read, write]).
device_action(machine_82_0, alarm, [read, notify]).
prod_line(line_83).
machine(machine_83_0).
location(machine_83_0, line_83).
device_action(machine_83_0, state, [read, write]).
device_action(machine_83_0, alarm, [read, notify]).
prod_line(line_84).
machine(machine_84_0).
location(machine_84_0, line_84).
device_action(machine_84_0, state, [read, write]).
device_action(machine_84_0, alarm, [read, notify]).
prod_line(line_85).
machine(machine_85_0).
location(machine_85_0, line_85).
device_action(machine_85_0, state, [read, write]).
device_action(machine_85_0, alarm, [read, notify]).
prod_line(line_86).
machine(machine_86_0).
location(machine_86_0, line_86).
device_action(machine_86_0, state, [read, write]).
device_action(machine_86_0, alarm, [read, notify]).
prod_line(line_87).
machine(machine_87_0).
location(machine_87_0, line_87).
device_action(machine_87_0, state, [read, write]).
device_action(machine_87_0, alarm, [read, notify]).
prod_line(line_88).
machine(machine_88_0).
location(machine_88_0, line_88).
device_action(machine_88_0, state, [read, write]).
device_action(machine_88_0, alarm, [read, notify]).
prod_line(line_89).
machine(machine_89_0).
location(machine_89_0, line_89).
device_action(machine_89_0, state, [read, write]).
device_action(machine_89_0, alarm, [read, notify]).
prod_line(line_90).
machine(machine_90_0).
location(machine_90_0, line_90).
device_action(machine_90_0, state, [read, write]).
device_action(machine_90_0, alarm, [read, notify]).
prod_line(line_91).
machine(machine_91_0).
location(machine_91_0, line_91).
device_action(machine_91_0, state, [read, write]).
device_action(machine_91_0, alarm, [read, notify]).
prod_line(line_92).
machine(machine_92_0).
location(machine_92_0, line_92).
device_action(machine_92_0, state, [read, write]).
device_action(machine_92_0, alarm, [read, notify]).
prod_line(line_93).
machine(machine_93_0).
location(machine_93_0, line_93).
device_action(machine_93_0, state, [read, write]).
device_action(machine_93_0, alarm, [read, notify]).
prod_line(line_94).
machine(machine_94_0).
location(machine_94_0, line_94).
device_action(machine_94_0, state, [read, write]).
device_action(machine_94_0, alarm, [read, notify]).
prod_line(line_95).
machine(machine_95_0).
location(machine_95_0, line_95).
device_action(machine_95_0, state, [read, write]).
device_action(machine_95_0, alarm, [read, notify]).
prod_line(line_96).
machine(machine_96_0).
location(machine_96_0, line_96).
device_action(machine_96_0, state, [read, write]).
device_action(machine_96_0, alarm, [read, notify]).
prod_line(line_97).
machine(machine_97_0).
location(machine_97_0, line_97).
device_action(machine_97_0, state, [read, write]).
device_action(machine_97_0, alarm, [read, notify]).
prod_line(line_98).
machine(machine_98_0).
location(machine_98_0, line_98).
device_action(machine_98_0, state, [read, write]).
device_action(machine_98_0, alarm, [read, notify]).
prod_line(line_99).
machine(machine_99_0).
location(machine_99_0, line_99).
device_action(machine_99_0, state, [read, write]).
device_action(machine_99_0, alarm, [read, notify]).