device(S):- machine(S).
map(H, alarm, M, alarm) :- prod_line(H), machine(M), location(M,H).
filter_type(M, alarm,  pass, _) :- machine(M).
person(person_0).
person(person_1).
person(person_2).
person(person_3).
person(person_4).
person(person_5).
person(person_6).
person(person_7).
person(person_8).
person(person_9).
person(person_10).
person(person_11).
person(person_12).
person(person_13).
person(person_14).
person(person_15).
person(person_16).
person(person_17).
person(person_18).
person(person_19).
person(person_20).
person(person_21).
person(person_22).
person(person_23).
person(person_24).
person(person_25).
person(person_26).
person(person_27).
person(person_28).
person(person_29).
person(person_30).
person(person_31).
person(person_32).
person(person_33).
person(person_34).
person(person_35).
person(person_36).
person(person_37).
person(person_38).
person(person_39).
person(person_40).
person(person_41).
person(person_42).
person(person_43).
person(person_44).
person(person_45).
person(person_46).
person(person_47).
person(person_48).
person(person_49).
person(person_50).
person(person_51).
person(person_52).
person(person_53).
person(person_54).
person(person_55).
person(person_56).
person(person_57).
person(person_58).
person(person_59).
person(person_60).
person(person_61).
person(person_62).
person(person_63).
person(person_64).
person(person_65).
person(person_66).
person(person_67).
person(person_68).
person(person_69).
person(person_70).
person(person_71).
person(person_72).
person(person_73).
person(person_74).
person(person_75).
person(person_76).
person(person_77).
person(person_78).
person(person_79).
person(person_80).
person(person_81).
person(person_82).
person(person_83).
person(person_84).
person(person_85).
person(person_86).
person(person_87).
person(person_88).
person(person_89).
person(person_90).
person(person_91).
person(person_92).
person(person_93).
person(person_94).
person(person_95).
person(person_96).
person(person_97).
person(person_98).
person(person_99).
person(person_100).
person(person_101).
person(person_102).
person(person_103).
person(person_104).
person(person_105).
person(person_106).
person(person_107).
person(person_108).
person(person_109).
person(person_110).
person(person_111).
person(person_112).
person(person_113).
person(person_114).
person(person_115).
person(person_116).
person(person_117).
person(person_118).
person(person_119).
person(person_120).
person(person_121).
person(person_122).
person(person_123).
person(person_124).
person(person_125).
person(person_126).
person(person_127).
person(person_128).
person(person_129).
person(person_130).
person(person_131).
person(person_132).
person(person_133).
person(person_134).
person(person_135).
person(person_136).
person(person_137).
person(person_138).
person(person_139).
person(person_140).
person(person_141).
person(person_142).
person(person_143).
person(person_144).
person(person_145).
person(person_146).
person(person_147).
person(person_148).
person(person_149).
person(person_150).
person(person_151).
person(person_152).
person(person_153).
person(person_154).
person(person_155).
person(person_156).
person(person_157).
person(person_158).
person(person_159).
person(person_160).
person(person_161).
person(person_162).
person(person_163).
person(person_164).
person(person_165).
person(person_166).
person(person_167).
person(person_168).
person(person_169).
person(person_170).
person(person_171).
person(person_172).
person(person_173).
person(person_174).
person(person_175).
person(person_176).
person(person_177).
person(person_178).
person(person_179).
person(person_180).
person(person_181).
person(person_182).
person(person_183).
person(person_184).
person(person_185).
person(person_186).
person(person_187).
person(person_188).
person(person_189).
person(person_190).
person(person_191).
person(person_192).
person(person_193).
person(person_194).
person(person_195).
person(person_196).
person(person_197).
person(person_198).
person(person_199).
person(person_200).
person(person_201).
person(person_202).
person(person_203).
person(person_204).
person(person_205).
person(person_206).
person(person_207).
person(person_208).
person(person_209).
person(person_210).
person(person_211).
person(person_212).
person(person_213).
person(person_214).
person(person_215).
person(person_216).
person(person_217).
person(person_218).
person(person_219).
person(person_220).
person(person_221).
person(person_222).
person(person_223).
person(person_224).
person(person_225).
person(person_226).
person(person_227).
person(person_228).
person(person_229).
person(person_230).
person(person_231).
person(person_232).
person(person_233).
person(person_234).
person(person_235).
person(person_236).
person(person_237).
person(person_238).
person(person_239).
person(person_240).
person(person_241).
person(person_242).
person(person_243).
person(person_244).
person(person_245).
person(person_246).
person(person_247).
person(person_248).
person(person_249).
person(person_250).
person(person_251).
person(person_252).
person(person_253).
person(person_254).
person(person_255).
person(person_256).
person(person_257).
person(person_258).
person(person_259).
person(person_260).
person(person_261).
person(person_262).
person(person_263).
person(person_264).
person(person_265).
person(person_266).
person(person_267).
person(person_268).
person(person_269).
person(person_270).
person(person_271).
person(person_272).
person(person_273).
person(person_274).
person(person_275).
person(person_276).
person(person_277).
person(person_278).
person(person_279).
person(person_280).
person(person_281).
person(person_282).
person(person_283).
person(person_284).
person(person_285).
person(person_286).
person(person_287).
person(person_288).
person(person_289).
person(person_290).
person(person_291).
person(person_292).
person(person_293).
person(person_294).
person(person_295).
person(person_296).
person(person_297).
person(person_298).
person(person_299).
person(person_300).
person(person_301).
person(person_302).
person(person_303).
person(person_304).
person(person_305).
person(person_306).
person(person_307).
person(person_308).
person(person_309).
person(person_310).
person(person_311).
person(person_312).
person(person_313).
person(person_314).
person(person_315).
person(person_316).
person(person_317).
person(person_318).
person(person_319).
person(person_320).
person(person_321).
person(person_322).
person(person_323).
person(person_324).
person(person_325).
person(person_326).
person(person_327).
person(person_328).
person(person_329).
person(person_330).
person(person_331).
person(person_332).
person(person_333).
person(person_334).
person(person_335).
person(person_336).
person(person_337).
person(person_338).
person(person_339).
person(person_340).
person(person_341).
person(person_342).
person(person_343).
person(person_344).
person(person_345).
person(person_346).
person(person_347).
person(person_348).
person(person_349).
person(person_350).
person(person_351).
person(person_352).
person(person_353).
person(person_354).
person(person_355).
person(person_356).
person(person_357).
person(person_358).
person(person_359).
person(person_360).
person(person_361).
person(person_362).
person(person_363).
person(person_364).
person(person_365).
person(person_366).
person(person_367).
person(person_368).
person(person_369).
person(person_370).
person(person_371).
person(person_372).
person(person_373).
person(person_374).
person(person_375).
person(person_376).
person(person_377).
person(person_378).
person(person_379).
person(person_380).
person(person_381).
person(person_382).
person(person_383).
person(person_384).
person(person_385).
person(person_386).
person(person_387).
person(person_388).
person(person_389).
person(person_390).
person(person_391).
person(person_392).
person(person_393).
person(person_394).
person(person_395).
person(person_396).
person(person_397).
person(person_398).
person(person_399).
person(person_400).
person(person_401).
person(person_402).
person(person_403).
person(person_404).
person(person_405).
person(person_406).
person(person_407).
person(person_408).
person(person_409).
person(person_410).
person(person_411).
person(person_412).
person(person_413).
person(person_414).
person(person_415).
person(person_416).
person(person_417).
person(person_418).
person(person_419).
person(person_420).
person(person_421).
person(person_422).
person(person_423).
person(person_424).
person(person_425).
person(person_426).
person(person_427).
person(person_428).
person(person_429).
person(person_430).
person(person_431).
person(person_432).
person(person_433).
person(person_434).
person(person_435).
person(person_436).
person(person_437).
person(person_438).
person(person_439).
person(person_440).
person(person_441).
person(person_442).
person(person_443).
person(person_444).
person(person_445).
person(person_446).
person(person_447).
person(person_448).
person(person_449).
person(person_450).
person(person_451).
person(person_452).
person(person_453).
person(person_454).
person(person_455).
person(person_456).
person(person_457).
person(person_458).
person(person_459).
person(person_460).
person(person_461).
person(person_462).
person(person_463).
person(person_464).
person(person_465).
person(person_466).
person(person_467).
person(person_468).
person(person_469).
person(person_470).
person(person_471).
person(person_472).
person(person_473).
person(person_474).
person(person_475).
person(person_476).
person(person_477).
person(person_478).
person(person_479).
person(person_480).
person(person_481).
person(person_482).
person(person_483).
person(person_484).
person(person_485).
person(person_486).
person(person_487).
person(person_488).
person(person_489).
person(person_490).
person(person_491).
person(person_492).
person(person_493).
person(person_494).
person(person_495).
person(person_496).
person(person_497).
person(person_498).
person(person_499).
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]).
prod_line(line_1).
machine(machine_1_0).
location(machine_1_0, line_1).
device_action(machine_1_0, state, [read, write]).
device_action(machine_1_0, alarm, [read, notify]).
machine(machine_1_1).
location(machine_1_1, line_1).
device_action(machine_1_1, state, [read, write]).
device_action(machine_1_1, alarm, [read, notify]).
machine(machine_1_2).
location(machine_1_2, line_1).
device_action(machine_1_2, state, [read, write]).
device_action(machine_1_2, alarm, [read, notify]).
machine(machine_1_3).
location(machine_1_3, line_1).
device_action(machine_1_3, state, [read, write]).
device_action(machine_1_3, alarm, [read, notify]).
machine(machine_1_4).
location(machine_1_4, line_1).
device_action(machine_1_4, state, [read, write]).
device_action(machine_1_4, alarm, [read, notify]).
machine(machine_1_5).
location(machine_1_5, line_1).
device_action(machine_1_5, state, [read, write]).
device_action(machine_1_5, alarm, [read, notify]).
machine(machine_1_6).
location(machine_1_6, line_1).
device_action(machine_1_6, state, [read, write]).
device_action(machine_1_6, alarm, [read, notify]).
machine(machine_1_7).
location(machine_1_7, line_1).
device_action(machine_1_7, state, [read, write]).
device_action(machine_1_7, alarm, [read, notify]).
machine(machine_1_8).
location(machine_1_8, line_1).
device_action(machine_1_8, state, [read, write]).
device_action(machine_1_8, alarm, [read, notify]).
machine(machine_1_9).
location(machine_1_9, line_1).
device_action(machine_1_9, state, [read, write]).
device_action(machine_1_9, alarm, [read, notify]).
machine(machine_1_10).
location(machine_1_10, line_1).
device_action(machine_1_10, state, [read, write]).
device_action(machine_1_10, alarm, [read, notify]).
machine(machine_1_11).
location(machine_1_11, line_1).
device_action(machine_1_11, state, [read, write]).
device_action(machine_1_11, alarm, [read, notify]).
machine(machine_1_12).
location(machine_1_12, line_1).
device_action(machine_1_12, state, [read, write]).
device_action(machine_1_12, alarm, [read, notify]).
machine(machine_1_13).
location(machine_1_13, line_1).
device_action(machine_1_13, state, [read, write]).
device_action(machine_1_13, alarm, [read, notify]).
machine(machine_1_14).
location(machine_1_14, line_1).
device_action(machine_1_14, state, [read, write]).
device_action(machine_1_14, alarm, [read, notify]).
machine(machine_1_15).
location(machine_1_15, line_1).
device_action(machine_1_15, state, [read, write]).
device_action(machine_1_15, alarm, [read, notify]).
machine(machine_1_16).
location(machine_1_16, line_1).
device_action(machine_1_16, state, [read, write]).
device_action(machine_1_16, alarm, [read, notify]).
machine(machine_1_17).
location(machine_1_17, line_1).
device_action(machine_1_17, state, [read, write]).
device_action(machine_1_17, alarm, [read, notify]).
machine(machine_1_18).
location(machine_1_18, line_1).
device_action(machine_1_18, state, [read, write]).
device_action(machine_1_18, alarm, [read, notify]).
machine(machine_1_19).
location(machine_1_19, line_1).
device_action(machine_1_19, state, [read, write]).
device_action(machine_1_19, alarm, [read, notify]).
machine(machine_1_20).
location(machine_1_20, line_1).
device_action(machine_1_20, state, [read, write]).
device_action(machine_1_20, alarm, [read, notify]).
machine(machine_1_21).
location(machine_1_21, line_1).
device_action(machine_1_21, state, [read, write]).
device_action(machine_1_21, alarm, [read, notify]).
machine(machine_1_22).
location(machine_1_22, line_1).
device_action(machine_1_22, state, [read, write]).
device_action(machine_1_22, alarm, [read, notify]).
machine(machine_1_23).
location(machine_1_23, line_1).
device_action(machine_1_23, state, [read, write]).
device_action(machine_1_23, alarm, [read, notify]).
machine(machine_1_24).
location(machine_1_24, line_1).
device_action(machine_1_24, state, [read, write]).
device_action(machine_1_24, alarm, [read, notify]).
machine(machine_1_25).
location(machine_1_25, line_1).
device_action(machine_1_25, state, [read, write]).
device_action(machine_1_25, alarm, [read, notify]).
machine(machine_1_26).
location(machine_1_26, line_1).
device_action(machine_1_26, state, [read, write]).
device_action(machine_1_26, alarm, [read, notify]).
machine(machine_1_27).
location(machine_1_27, line_1).
device_action(machine_1_27, state, [read, write]).
device_action(machine_1_27, alarm, [read, notify]).
machine(machine_1_28).
location(machine_1_28, line_1).
device_action(machine_1_28, state, [read, write]).
device_action(machine_1_28, alarm, [read, notify]).
machine(machine_1_29).
location(machine_1_29, line_1).
device_action(machine_1_29, state, [read, write]).
device_action(machine_1_29, alarm, [read, notify]).
machine(machine_1_30).
location(machine_1_30, line_1).
device_action(machine_1_30, state, [read, write]).
device_action(machine_1_30, alarm, [read, notify]).
machine(machine_1_31).
location(machine_1_31, line_1).
device_action(machine_1_31, state, [read, write]).
device_action(machine_1_31, alarm, [read, notify]).
machine(machine_1_32).
location(machine_1_32, line_1).
device_action(machine_1_32, state, [read, write]).
device_action(machine_1_32, alarm, [read, notify]).
machine(machine_1_33).
location(machine_1_33, line_1).
device_action(machine_1_33, state, [read, write]).
device_action(machine_1_33, alarm, [read, notify]).
machine(machine_1_34).
location(machine_1_34, line_1).
device_action(machine_1_34, state, [read, write]).
device_action(machine_1_34, alarm, [read, notify]).
machine(machine_1_35).
location(machine_1_35, line_1).
device_action(machine_1_35, state, [read, write]).
device_action(machine_1_35, alarm, [read, notify]).
machine(machine_1_36).
location(machine_1_36, line_1).
device_action(machine_1_36, state, [read, write]).
device_action(machine_1_36, alarm, [read, notify]).
machine(machine_1_37).
location(machine_1_37, line_1).
device_action(machine_1_37, state, [read, write]).
device_action(machine_1_37, alarm, [read, notify]).
machine(machine_1_38).
location(machine_1_38, line_1).
device_action(machine_1_38, state, [read, write]).
device_action(machine_1_38, alarm, [read, notify]).
machine(machine_1_39).
location(machine_1_39, line_1).
device_action(machine_1_39, state, [read, write]).
device_action(machine_1_39, alarm, [read, notify]).
machine(machine_1_40).
location(machine_1_40, line_1).
device_action(machine_1_40, state, [read, write]).
device_action(machine_1_40, alarm, [read, notify]).
machine(machine_1_41).
location(machine_1_41, line_1).
device_action(machine_1_41, state, [read, write]).
device_action(machine_1_41, alarm, [read, notify]).
machine(machine_1_42).
location(machine_1_42, line_1).
device_action(machine_1_42, state, [read, write]).
device_action(machine_1_42, alarm, [read, notify]).
machine(machine_1_43).
location(machine_1_43, line_1).
device_action(machine_1_43, state, [read, write]).
device_action(machine_1_43, alarm, [read, notify]).
machine(machine_1_44).
location(machine_1_44, line_1).
device_action(machine_1_44, state, [read, write]).
device_action(machine_1_44, alarm, [read, notify]).
machine(machine_1_45).
location(machine_1_45, line_1).
device_action(machine_1_45, state, [read, write]).
device_action(machine_1_45, alarm, [read, notify]).
machine(machine_1_46).
location(machine_1_46, line_1).
device_action(machine_1_46, state, [read, write]).
device_action(machine_1_46, alarm, [read, notify]).
machine(machine_1_47).
location(machine_1_47, line_1).
device_action(machine_1_47, state, [read, write]).
device_action(machine_1_47, alarm, [read, notify]).
machine(machine_1_48).
location(machine_1_48, line_1).
device_action(machine_1_48, state, [read, write]).
device_action(machine_1_48, alarm, [read, notify]).
machine(machine_1_49).
location(machine_1_49, line_1).
device_action(machine_1_49, state, [read, write]).
device_action(machine_1_49, alarm, [read, notify]).
machine(machine_1_50).
location(machine_1_50, line_1).
device_action(machine_1_50, state, [read, write]).
device_action(machine_1_50, alarm, [read, notify]).
machine(machine_1_51).
location(machine_1_51, line_1).
device_action(machine_1_51, state, [read, write]).
device_action(machine_1_51, alarm, [read, notify]).
machine(machine_1_52).
location(machine_1_52, line_1).
device_action(machine_1_52, state, [read, write]).
device_action(machine_1_52, alarm, [read, notify]).
machine(machine_1_53).
location(machine_1_53, line_1).
device_action(machine_1_53, state, [read, write]).
device_action(machine_1_53, alarm, [read, notify]).
machine(machine_1_54).
location(machine_1_54, line_1).
device_action(machine_1_54, state, [read, write]).
device_action(machine_1_54, alarm, [read, notify]).
machine(machine_1_55).
location(machine_1_55, line_1).
device_action(machine_1_55, state, [read, write]).
device_action(machine_1_55, alarm, [read, notify]).
machine(machine_1_56).
location(machine_1_56, line_1).
device_action(machine_1_56, state, [read, write]).
device_action(machine_1_56, alarm, [read, notify]).
machine(machine_1_57).
location(machine_1_57, line_1).
device_action(machine_1_57, state, [read, write]).
device_action(machine_1_57, alarm, [read, notify]).
machine(machine_1_58).
location(machine_1_58, line_1).
device_action(machine_1_58, state, [read, write]).
device_action(machine_1_58, alarm, [read, notify]).
machine(machine_1_59).
location(machine_1_59, line_1).
device_action(machine_1_59, state, [read, write]).
device_action(machine_1_59, alarm, [read, notify]).
machine(machine_1_60).
location(machine_1_60, line_1).
device_action(machine_1_60, state, [read, write]).
device_action(machine_1_60, alarm, [read, notify]).
machine(machine_1_61).
location(machine_1_61, line_1).
device_action(machine_1_61, state, [read, write]).
device_action(machine_1_61, alarm, [read, notify]).
machine(machine_1_62).
location(machine_1_62, line_1).
device_action(machine_1_62, state, [read, write]).
device_action(machine_1_62, alarm, [read, notify]).
machine(machine_1_63).
location(machine_1_63, line_1).
device_action(machine_1_63, state, [read, write]).
device_action(machine_1_63, alarm, [read, notify]).
machine(machine_1_64).
location(machine_1_64, line_1).
device_action(machine_1_64, state, [read, write]).
device_action(machine_1_64, alarm, [read, notify]).
machine(machine_1_65).
location(machine_1_65, line_1).
device_action(machine_1_65, state, [read, write]).
device_action(machine_1_65, alarm, [read, notify]).
machine(machine_1_66).
location(machine_1_66, line_1).
device_action(machine_1_66, state, [read, write]).
device_action(machine_1_66, alarm, [read, notify]).
machine(machine_1_67).
location(machine_1_67, line_1).
device_action(machine_1_67, state, [read, write]).
device_action(machine_1_67, alarm, [read, notify]).
machine(machine_1_68).
location(machine_1_68, line_1).
device_action(machine_1_68, state, [read, write]).
device_action(machine_1_68, alarm, [read, notify]).
machine(machine_1_69).
location(machine_1_69, line_1).
device_action(machine_1_69, state, [read, write]).
device_action(machine_1_69, alarm, [read, notify]).
machine(machine_1_70).
location(machine_1_70, line_1).
device_action(machine_1_70, state, [read, write]).
device_action(machine_1_70, alarm, [read, notify]).
machine(machine_1_71).
location(machine_1_71, line_1).
device_action(machine_1_71, state, [read, write]).
device_action(machine_1_71, alarm, [read, notify]).
machine(machine_1_72).
location(machine_1_72, line_1).
device_action(machine_1_72, state, [read, write]).
device_action(machine_1_72, alarm, [read, notify]).
machine(machine_1_73).
location(machine_1_73, line_1).
device_action(machine_1_73, state, [read, write]).
device_action(machine_1_73, alarm, [read, notify]).
machine(machine_1_74).
location(machine_1_74, line_1).
device_action(machine_1_74, state, [read, write]).
device_action(machine_1_74, alarm, [read, notify]).
machine(machine_1_75).
location(machine_1_75, line_1).
device_action(machine_1_75, state, [read, write]).
device_action(machine_1_75, alarm, [read, notify]).
machine(machine_1_76).
location(machine_1_76, line_1).
device_action(machine_1_76, state, [read, write]).
device_action(machine_1_76, alarm, [read, notify]).
machine(machine_1_77).
location(machine_1_77, line_1).
device_action(machine_1_77, state, [read, write]).
device_action(machine_1_77, alarm, [read, notify]).
machine(machine_1_78).
location(machine_1_78, line_1).
device_action(machine_1_78, state, [read, write]).
device_action(machine_1_78, alarm, [read, notify]).
machine(machine_1_79).
location(machine_1_79, line_1).
device_action(machine_1_79, state, [read, write]).
device_action(machine_1_79, alarm, [read, notify]).
machine(machine_1_80).
location(machine_1_80, line_1).
device_action(machine_1_80, state, [read, write]).
device_action(machine_1_80, alarm, [read, notify]).
machine(machine_1_81).
location(machine_1_81, line_1).
device_action(machine_1_81, state, [read, write]).
device_action(machine_1_81, alarm, [read, notify]).
machine(machine_1_82).
location(machine_1_82, line_1).
device_action(machine_1_82, state, [read, write]).
device_action(machine_1_82, alarm, [read, notify]).
machine(machine_1_83).
location(machine_1_83, line_1).
device_action(machine_1_83, state, [read, write]).
device_action(machine_1_83, alarm, [read, notify]).
machine(machine_1_84).
location(machine_1_84, line_1).
device_action(machine_1_84, state, [read, write]).
device_action(machine_1_84, alarm, [read, notify]).
machine(machine_1_85).
location(machine_1_85, line_1).
device_action(machine_1_85, state, [read, write]).
device_action(machine_1_85, alarm, [read, notify]).
machine(machine_1_86).
location(machine_1_86, line_1).
device_action(machine_1_86, state, [read, write]).
device_action(machine_1_86, alarm, [read, notify]).
machine(machine_1_87).
location(machine_1_87, line_1).
device_action(machine_1_87, state, [read, write]).
device_action(machine_1_87, alarm, [read, notify]).
machine(machine_1_88).
location(machine_1_88, line_1).
device_action(machine_1_88, state, [read, write]).
device_action(machine_1_88, alarm, [read, notify]).
machine(machine_1_89).
location(machine_1_89, line_1).
device_action(machine_1_89, state, [read, write]).
device_action(machine_1_89, alarm, [read, notify]).
machine(machine_1_90).
location(machine_1_90, line_1).
device_action(machine_1_90, state, [read, write]).
device_action(machine_1_90, alarm, [read, notify]).
machine(machine_1_91).
location(machine_1_91, line_1).
device_action(machine_1_91, state, [read, write]).
device_action(machine_1_91, alarm, [read, notify]).
machine(machine_1_92).
location(machine_1_92, line_1).
device_action(machine_1_92, state, [read, write]).
device_action(machine_1_92, alarm, [read, notify]).
machine(machine_1_93).
location(machine_1_93, line_1).
device_action(machine_1_93, state, [read, write]).
device_action(machine_1_93, alarm, [read, notify]).
machine(machine_1_94).
location(machine_1_94, line_1).
device_action(machine_1_94, state, [read, write]).
device_action(machine_1_94, alarm, [read, notify]).
machine(machine_1_95).
location(machine_1_95, line_1).
device_action(machine_1_95, state, [read, write]).
device_action(machine_1_95, alarm, [read, notify]).
machine(machine_1_96).
location(machine_1_96, line_1).
device_action(machine_1_96, state, [read, write]).
device_action(machine_1_96, alarm, [read, notify]).
machine(machine_1_97).
location(machine_1_97, line_1).
device_action(machine_1_97, state, [read, write]).
device_action(machine_1_97, alarm, [read, notify]).
machine(machine_1_98).
location(machine_1_98, line_1).
device_action(machine_1_98, state, [read, write]).
device_action(machine_1_98, alarm, [read, notify]).
machine(machine_1_99).
location(machine_1_99, line_1).
device_action(machine_1_99, state, [read, write]).
device_action(machine_1_99, alarm, [read, notify]).
prod_line(line_2).
machine(machine_2_0).
location(machine_2_0, line_2).
device_action(machine_2_0, state, [read, write]).
device_action(machine_2_0, alarm, [read, notify]).
machine(machine_2_1).
location(machine_2_1, line_2).
device_action(machine_2_1, state, [read, write]).
device_action(machine_2_1, alarm, [read, notify]).
machine(machine_2_2).
location(machine_2_2, line_2).
device_action(machine_2_2, state, [read, write]).
device_action(machine_2_2, alarm, [read, notify]).
machine(machine_2_3).
location(machine_2_3, line_2).
device_action(machine_2_3, state, [read, write]).
device_action(machine_2_3, alarm, [read, notify]).
machine(machine_2_4).
location(machine_2_4, line_2).
device_action(machine_2_4, state, [read, write]).
device_action(machine_2_4, alarm, [read, notify]).
machine(machine_2_5).
location(machine_2_5, line_2).
device_action(machine_2_5, state, [read, write]).
device_action(machine_2_5, alarm, [read, notify]).
machine(machine_2_6).
location(machine_2_6, line_2).
device_action(machine_2_6, state, [read, write]).
device_action(machine_2_6, alarm, [read, notify]).
machine(machine_2_7).
location(machine_2_7, line_2).
device_action(machine_2_7, state, [read, write]).
device_action(machine_2_7, alarm, [read, notify]).
machine(machine_2_8).
location(machine_2_8, line_2).
device_action(machine_2_8, state, [read, write]).
device_action(machine_2_8, alarm, [read, notify]).
machine(machine_2_9).
location(machine_2_9, line_2).
device_action(machine_2_9, state, [read, write]).
device_action(machine_2_9, alarm, [read, notify]).
machine(machine_2_10).
location(machine_2_10, line_2).
device_action(machine_2_10, state, [read, write]).
device_action(machine_2_10, alarm, [read, notify]).
machine(machine_2_11).
location(machine_2_11, line_2).
device_action(machine_2_11, state, [read, write]).
device_action(machine_2_11, alarm, [read, notify]).
machine(machine_2_12).
location(machine_2_12, line_2).
device_action(machine_2_12, state, [read, write]).
device_action(machine_2_12, alarm, [read, notify]).
machine(machine_2_13).
location(machine_2_13, line_2).
device_action(machine_2_13, state, [read, write]).
device_action(machine_2_13, alarm, [read, notify]).
machine(machine_2_14).
location(machine_2_14, line_2).
device_action(machine_2_14, state, [read, write]).
device_action(machine_2_14, alarm, [read, notify]).
machine(machine_2_15).
location(machine_2_15, line_2).
device_action(machine_2_15, state, [read, write]).
device_action(machine_2_15, alarm, [read, notify]).
machine(machine_2_16).
location(machine_2_16, line_2).
device_action(machine_2_16, state, [read, write]).
device_action(machine_2_16, alarm, [read, notify]).
machine(machine_2_17).
location(machine_2_17, line_2).
device_action(machine_2_17, state, [read, write]).
device_action(machine_2_17, alarm, [read, notify]).
machine(machine_2_18).
location(machine_2_18, line_2).
device_action(machine_2_18, state, [read, write]).
device_action(machine_2_18, alarm, [read, notify]).
machine(machine_2_19).
location(machine_2_19, line_2).
device_action(machine_2_19, state, [read, write]).
device_action(machine_2_19, alarm, [read, notify]).
machine(machine_2_20).
location(machine_2_20, line_2).
device_action(machine_2_20, state, [read, write]).
device_action(machine_2_20, alarm, [read, notify]).
machine(machine_2_21).
location(machine_2_21, line_2).
device_action(machine_2_21, state, [read, write]).
device_action(machine_2_21, alarm, [read, notify]).
machine(machine_2_22).
location(machine_2_22, line_2).
device_action(machine_2_22, state, [read, write]).
device_action(machine_2_22, alarm, [read, notify]).
machine(machine_2_23).
location(machine_2_23, line_2).
device_action(machine_2_23, state, [read, write]).
device_action(machine_2_23, alarm, [read, notify]).
machine(machine_2_24).
location(machine_2_24, line_2).
device_action(machine_2_24, state, [read, write]).
device_action(machine_2_24, alarm, [read, notify]).
machine(machine_2_25).
location(machine_2_25, line_2).
device_action(machine_2_25, state, [read, write]).
device_action(machine_2_25, alarm, [read, notify]).
machine(machine_2_26).
location(machine_2_26, line_2).
device_action(machine_2_26, state, [read, write]).
device_action(machine_2_26, alarm, [read, notify]).
machine(machine_2_27).
location(machine_2_27, line_2).
device_action(machine_2_27, state, [read, write]).
device_action(machine_2_27, alarm, [read, notify]).
machine(machine_2_28).
location(machine_2_28, line_2).
device_action(machine_2_28, state, [read, write]).
device_action(machine_2_28, alarm, [read, notify]).
machine(machine_2_29).
location(machine_2_29, line_2).
device_action(machine_2_29, state, [read, write]).
device_action(machine_2_29, alarm, [read, notify]).
machine(machine_2_30).
location(machine_2_30, line_2).
device_action(machine_2_30, state, [read, write]).
device_action(machine_2_30, alarm, [read, notify]).
machine(machine_2_31).
location(machine_2_31, line_2).
device_action(machine_2_31, state, [read, write]).
device_action(machine_2_31, alarm, [read, notify]).
machine(machine_2_32).
location(machine_2_32, line_2).
device_action(machine_2_32, state, [read, write]).
device_action(machine_2_32, alarm, [read, notify]).
machine(machine_2_33).
location(machine_2_33, line_2).
device_action(machine_2_33, state, [read, write]).
device_action(machine_2_33, alarm, [read, notify]).
machine(machine_2_34).
location(machine_2_34, line_2).
device_action(machine_2_34, state, [read, write]).
device_action(machine_2_34, alarm, [read, notify]).
machine(machine_2_35).
location(machine_2_35, line_2).
device_action(machine_2_35, state, [read, write]).
device_action(machine_2_35, alarm, [read, notify]).
machine(machine_2_36).
location(machine_2_36, line_2).
device_action(machine_2_36, state, [read, write]).
device_action(machine_2_36, alarm, [read, notify]).
machine(machine_2_37).
location(machine_2_37, line_2).
device_action(machine_2_37, state, [read, write]).
device_action(machine_2_37, alarm, [read, notify]).
machine(machine_2_38).
location(machine_2_38, line_2).
device_action(machine_2_38, state, [read, write]).
device_action(machine_2_38, alarm, [read, notify]).
machine(machine_2_39).
location(machine_2_39, line_2).
device_action(machine_2_39, state, [read, write]).
device_action(machine_2_39, alarm, [read, notify]).
machine(machine_2_40).
location(machine_2_40, line_2).
device_action(machine_2_40, state, [read, write]).
device_action(machine_2_40, alarm, [read, notify]).
machine(machine_2_41).
location(machine_2_41, line_2).
device_action(machine_2_41, state, [read, write]).
device_action(machine_2_41, alarm, [read, notify]).
machine(machine_2_42).
location(machine_2_42, line_2).
device_action(machine_2_42, state, [read, write]).
device_action(machine_2_42, alarm, [read, notify]).
machine(machine_2_43).
location(machine_2_43, line_2).
device_action(machine_2_43, state, [read, write]).
device_action(machine_2_43, alarm, [read, notify]).
machine(machine_2_44).
location(machine_2_44, line_2).
device_action(machine_2_44, state, [read, write]).
device_action(machine_2_44, alarm, [read, notify]).
machine(machine_2_45).
location(machine_2_45, line_2).
device_action(machine_2_45, state, [read, write]).
device_action(machine_2_45, alarm, [read, notify]).
machine(machine_2_46).
location(machine_2_46, line_2).
device_action(machine_2_46, state, [read, write]).
device_action(machine_2_46, alarm, [read, notify]).
machine(machine_2_47).
location(machine_2_47, line_2).
device_action(machine_2_47, state, [read, write]).
device_action(machine_2_47, alarm, [read, notify]).
machine(machine_2_48).
location(machine_2_48, line_2).
device_action(machine_2_48, state, [read, write]).
device_action(machine_2_48, alarm, [read, notify]).
machine(machine_2_49).
location(machine_2_49, line_2).
device_action(machine_2_49, state, [read, write]).
device_action(machine_2_49, alarm, [read, notify]).
machine(machine_2_50).
location(machine_2_50, line_2).
device_action(machine_2_50, state, [read, write]).
device_action(machine_2_50, alarm, [read, notify]).
machine(machine_2_51).
location(machine_2_51, line_2).
device_action(machine_2_51, state, [read, write]).
device_action(machine_2_51, alarm, [read, notify]).
machine(machine_2_52).
location(machine_2_52, line_2).
device_action(machine_2_52, state, [read, write]).
device_action(machine_2_52, alarm, [read, notify]).
machine(machine_2_53).
location(machine_2_53, line_2).
device_action(machine_2_53, state, [read, write]).
device_action(machine_2_53, alarm, [read, notify]).
machine(machine_2_54).
location(machine_2_54, line_2).
device_action(machine_2_54, state, [read, write]).
device_action(machine_2_54, alarm, [read, notify]).
machine(machine_2_55).
location(machine_2_55, line_2).
device_action(machine_2_55, state, [read, write]).
device_action(machine_2_55, alarm, [read, notify]).
machine(machine_2_56).
location(machine_2_56, line_2).
device_action(machine_2_56, state, [read, write]).
device_action(machine_2_56, alarm, [read, notify]).
machine(machine_2_57).
location(machine_2_57, line_2).
device_action(machine_2_57, state, [read, write]).
device_action(machine_2_57, alarm, [read, notify]).
machine(machine_2_58).
location(machine_2_58, line_2).
device_action(machine_2_58, state, [read, write]).
device_action(machine_2_58, alarm, [read, notify]).
machine(machine_2_59).
location(machine_2_59, line_2).
device_action(machine_2_59, state, [read, write]).
device_action(machine_2_59, alarm, [read, notify]).
machine(machine_2_60).
location(machine_2_60, line_2).
device_action(machine_2_60, state, [read, write]).
device_action(machine_2_60, alarm, [read, notify]).
machine(machine_2_61).
location(machine_2_61, line_2).
device_action(machine_2_61, state, [read, write]).
device_action(machine_2_61, alarm, [read, notify]).
machine(machine_2_62).
location(machine_2_62, line_2).
device_action(machine_2_62, state, [read, write]).
device_action(machine_2_62, alarm, [read, notify]).
machine(machine_2_63).
location(machine_2_63, line_2).
device_action(machine_2_63, state, [read, write]).
device_action(machine_2_63, alarm, [read, notify]).
machine(machine_2_64).
location(machine_2_64, line_2).
device_action(machine_2_64, state, [read, write]).
device_action(machine_2_64, alarm, [read, notify]).
machine(machine_2_65).
location(machine_2_65, line_2).
device_action(machine_2_65, state, [read, write]).
device_action(machine_2_65, alarm, [read, notify]).
machine(machine_2_66).
location(machine_2_66, line_2).
device_action(machine_2_66, state, [read, write]).
device_action(machine_2_66, alarm, [read, notify]).
machine(machine_2_67).
location(machine_2_67, line_2).
device_action(machine_2_67, state, [read, write]).
device_action(machine_2_67, alarm, [read, notify]).
machine(machine_2_68).
location(machine_2_68, line_2).
device_action(machine_2_68, state, [read, write]).
device_action(machine_2_68, alarm, [read, notify]).
machine(machine_2_69).
location(machine_2_69, line_2).
device_action(machine_2_69, state, [read, write]).
device_action(machine_2_69, alarm, [read, notify]).
machine(machine_2_70).
location(machine_2_70, line_2).
device_action(machine_2_70, state, [read, write]).
device_action(machine_2_70, alarm, [read, notify]).
machine(machine_2_71).
location(machine_2_71, line_2).
device_action(machine_2_71, state, [read, write]).
device_action(machine_2_71, alarm, [read, notify]).
machine(machine_2_72).
location(machine_2_72, line_2).
device_action(machine_2_72, state, [read, write]).
device_action(machine_2_72, alarm, [read, notify]).
machine(machine_2_73).
location(machine_2_73, line_2).
device_action(machine_2_73, state, [read, write]).
device_action(machine_2_73, alarm, [read, notify]).
machine(machine_2_74).
location(machine_2_74, line_2).
device_action(machine_2_74, state, [read, write]).
device_action(machine_2_74, alarm, [read, notify]).
machine(machine_2_75).
location(machine_2_75, line_2).
device_action(machine_2_75, state, [read, write]).
device_action(machine_2_75, alarm, [read, notify]).
machine(machine_2_76).
location(machine_2_76, line_2).
device_action(machine_2_76, state, [read, write]).
device_action(machine_2_76, alarm, [read, notify]).
machine(machine_2_77).
location(machine_2_77, line_2).
device_action(machine_2_77, state, [read, write]).
device_action(machine_2_77, alarm, [read, notify]).
machine(machine_2_78).
location(machine_2_78, line_2).
device_action(machine_2_78, state, [read, write]).
device_action(machine_2_78, alarm, [read, notify]).
machine(machine_2_79).
location(machine_2_79, line_2).
device_action(machine_2_79, state, [read, write]).
device_action(machine_2_79, alarm, [read, notify]).
machine(machine_2_80).
location(machine_2_80, line_2).
device_action(machine_2_80, state, [read, write]).
device_action(machine_2_80, alarm, [read, notify]).
machine(machine_2_81).
location(machine_2_81, line_2).
device_action(machine_2_81, state, [read, write]).
device_action(machine_2_81, alarm, [read, notify]).
machine(machine_2_82).
location(machine_2_82, line_2).
device_action(machine_2_82, state, [read, write]).
device_action(machine_2_82, alarm, [read, notify]).
machine(machine_2_83).
location(machine_2_83, line_2).
device_action(machine_2_83, state, [read, write]).
device_action(machine_2_83, alarm, [read, notify]).
machine(machine_2_84).
location(machine_2_84, line_2).
device_action(machine_2_84, state, [read, write]).
device_action(machine_2_84, alarm, [read, notify]).
machine(machine_2_85).
location(machine_2_85, line_2).
device_action(machine_2_85, state, [read, write]).
device_action(machine_2_85, alarm, [read, notify]).
machine(machine_2_86).
location(machine_2_86, line_2).
device_action(machine_2_86, state, [read, write]).
device_action(machine_2_86, alarm, [read, notify]).
machine(machine_2_87).
location(machine_2_87, line_2).
device_action(machine_2_87, state, [read, write]).
device_action(machine_2_87, alarm, [read, notify]).
machine(machine_2_88).
location(machine_2_88, line_2).
device_action(machine_2_88, state, [read, write]).
device_action(machine_2_88, alarm, [read, notify]).
machine(machine_2_89).
location(machine_2_89, line_2).
device_action(machine_2_89, state, [read, write]).
device_action(machine_2_89, alarm, [read, notify]).
machine(machine_2_90).
location(machine_2_90, line_2).
device_action(machine_2_90, state, [read, write]).
device_action(machine_2_90, alarm, [read, notify]).
machine(machine_2_91).
location(machine_2_91, line_2).
device_action(machine_2_91, state, [read, write]).
device_action(machine_2_91, alarm, [read, notify]).
machine(machine_2_92).
location(machine_2_92, line_2).
device_action(machine_2_92, state, [read, write]).
device_action(machine_2_92, alarm, [read, notify]).
machine(machine_2_93).
location(machine_2_93, line_2).
device_action(machine_2_93, state, [read, write]).
device_action(machine_2_93, alarm, [read, notify]).
machine(machine_2_94).
location(machine_2_94, line_2).
device_action(machine_2_94, state, [read, write]).
device_action(machine_2_94, alarm, [read, notify]).
machine(machine_2_95).
location(machine_2_95, line_2).
device_action(machine_2_95, state, [read, write]).
device_action(machine_2_95, alarm, [read, notify]).
machine(machine_2_96).
location(machine_2_96, line_2).
device_action(machine_2_96, state, [read, write]).
device_action(machine_2_96, alarm, [read, notify]).
machine(machine_2_97).
location(machine_2_97, line_2).
device_action(machine_2_97, state, [read, write]).
device_action(machine_2_97, alarm, [read, notify]).
machine(machine_2_98).
location(machine_2_98, line_2).
device_action(machine_2_98, state, [read, write]).
device_action(machine_2_98, alarm, [read, notify]).
machine(machine_2_99).
location(machine_2_99, line_2).
device_action(machine_2_99, state, [read, write]).
device_action(machine_2_99, alarm, [read, notify]).
prod_line(line_3).
machine(machine_3_0).
location(machine_3_0, line_3).
device_action(machine_3_0, state, [read, write]).
device_action(machine_3_0, alarm, [read, notify]).
machine(machine_3_1).
location(machine_3_1, line_3).
device_action(machine_3_1, state, [read, write]).
device_action(machine_3_1, alarm, [read, notify]).
machine(machine_3_2).
location(machine_3_2, line_3).
device_action(machine_3_2, state, [read, write]).
device_action(machine_3_2, alarm, [read, notify]).
machine(machine_3_3).
location(machine_3_3, line_3).
device_action(machine_3_3, state, [read, write]).
device_action(machine_3_3, alarm, [read, notify]).
machine(machine_3_4).
location(machine_3_4, line_3).
device_action(machine_3_4, state, [read, write]).
device_action(machine_3_4, alarm, [read, notify]).
machine(machine_3_5).
location(machine_3_5, line_3).
device_action(machine_3_5, state, [read, write]).
device_action(machine_3_5, alarm, [read, notify]).
machine(machine_3_6).
location(machine_3_6, line_3).
device_action(machine_3_6, state, [read, write]).
device_action(machine_3_6, alarm, [read, notify]).
machine(machine_3_7).
location(machine_3_7, line_3).
device_action(machine_3_7, state, [read, write]).
device_action(machine_3_7, alarm, [read, notify]).
machine(machine_3_8).
location(machine_3_8, line_3).
device_action(machine_3_8, state, [read, write]).
device_action(machine_3_8, alarm, [read, notify]).
machine(machine_3_9).
location(machine_3_9, line_3).
device_action(machine_3_9, state, [read, write]).
device_action(machine_3_9, alarm, [read, notify]).
machine(machine_3_10).
location(machine_3_10, line_3).
device_action(machine_3_10, state, [read, write]).
device_action(machine_3_10, alarm, [read, notify]).
machine(machine_3_11).
location(machine_3_11, line_3).
device_action(machine_3_11, state, [read, write]).
device_action(machine_3_11, alarm, [read, notify]).
machine(machine_3_12).
location(machine_3_12, line_3).
device_action(machine_3_12, state, [read, write]).
device_action(machine_3_12, alarm, [read, notify]).
machine(machine_3_13).
location(machine_3_13, line_3).
device_action(machine_3_13, state, [read, write]).
device_action(machine_3_13, alarm, [read, notify]).
machine(machine_3_14).
location(machine_3_14, line_3).
device_action(machine_3_14, state, [read, write]).
device_action(machine_3_14, alarm, [read, notify]).
machine(machine_3_15).
location(machine_3_15, line_3).
device_action(machine_3_15, state, [read, write]).
device_action(machine_3_15, alarm, [read, notify]).
machine(machine_3_16).
location(machine_3_16, line_3).
device_action(machine_3_16, state, [read, write]).
device_action(machine_3_16, alarm, [read, notify]).
machine(machine_3_17).
location(machine_3_17, line_3).
device_action(machine_3_17, state, [read, write]).
device_action(machine_3_17, alarm, [read, notify]).
machine(machine_3_18).
location(machine_3_18, line_3).
device_action(machine_3_18, state, [read, write]).
device_action(machine_3_18, alarm, [read, notify]).
machine(machine_3_19).
location(machine_3_19, line_3).
device_action(machine_3_19, state, [read, write]).
device_action(machine_3_19, alarm, [read, notify]).
machine(machine_3_20).
location(machine_3_20, line_3).
device_action(machine_3_20, state, [read, write]).
device_action(machine_3_20, alarm, [read, notify]).
machine(machine_3_21).
location(machine_3_21, line_3).
device_action(machine_3_21, state, [read, write]).
device_action(machine_3_21, alarm, [read, notify]).
machine(machine_3_22).
location(machine_3_22, line_3).
device_action(machine_3_22, state, [read, write]).
device_action(machine_3_22, alarm, [read, notify]).
machine(machine_3_23).
location(machine_3_23, line_3).
device_action(machine_3_23, state, [read, write]).
device_action(machine_3_23, alarm, [read, notify]).
machine(machine_3_24).
location(machine_3_24, line_3).
device_action(machine_3_24, state, [read, write]).
device_action(machine_3_24, alarm, [read, notify]).
machine(machine_3_25).
location(machine_3_25, line_3).
device_action(machine_3_25, state, [read, write]).
device_action(machine_3_25, alarm, [read, notify]).
machine(machine_3_26).
location(machine_3_26, line_3).
device_action(machine_3_26, state, [read, write]).
device_action(machine_3_26, alarm, [read, notify]).
machine(machine_3_27).
location(machine_3_27, line_3).
device_action(machine_3_27, state, [read, write]).
device_action(machine_3_27, alarm, [read, notify]).
machine(machine_3_28).
location(machine_3_28, line_3).
device_action(machine_3_28, state, [read, write]).
device_action(machine_3_28, alarm, [read, notify]).
machine(machine_3_29).
location(machine_3_29, line_3).
device_action(machine_3_29, state, [read, write]).
device_action(machine_3_29, alarm, [read, notify]).
machine(machine_3_30).
location(machine_3_30, line_3).
device_action(machine_3_30, state, [read, write]).
device_action(machine_3_30, alarm, [read, notify]).
machine(machine_3_31).
location(machine_3_31, line_3).
device_action(machine_3_31, state, [read, write]).
device_action(machine_3_31, alarm, [read, notify]).
machine(machine_3_32).
location(machine_3_32, line_3).
device_action(machine_3_32, state, [read, write]).
device_action(machine_3_32, alarm, [read, notify]).
machine(machine_3_33).
location(machine_3_33, line_3).
device_action(machine_3_33, state, [read, write]).
device_action(machine_3_33, alarm, [read, notify]).
machine(machine_3_34).
location(machine_3_34, line_3).
device_action(machine_3_34, state, [read, write]).
device_action(machine_3_34, alarm, [read, notify]).
machine(machine_3_35).
location(machine_3_35, line_3).
device_action(machine_3_35, state, [read, write]).
device_action(machine_3_35, alarm, [read, notify]).
machine(machine_3_36).
location(machine_3_36, line_3).
device_action(machine_3_36, state, [read, write]).
device_action(machine_3_36, alarm, [read, notify]).
machine(machine_3_37).
location(machine_3_37, line_3).
device_action(machine_3_37, state, [read, write]).
device_action(machine_3_37, alarm, [read, notify]).
machine(machine_3_38).
location(machine_3_38, line_3).
device_action(machine_3_38, state, [read, write]).
device_action(machine_3_38, alarm, [read, notify]).
machine(machine_3_39).
location(machine_3_39, line_3).
device_action(machine_3_39, state, [read, write]).
device_action(machine_3_39, alarm, [read, notify]).
machine(machine_3_40).
location(machine_3_40, line_3).
device_action(machine_3_40, state, [read, write]).
device_action(machine_3_40, alarm, [read, notify]).
machine(machine_3_41).
location(machine_3_41, line_3).
device_action(machine_3_41, state, [read, write]).
device_action(machine_3_41, alarm, [read, notify]).
machine(machine_3_42).
location(machine_3_42, line_3).
device_action(machine_3_42, state, [read, write]).
device_action(machine_3_42, alarm, [read, notify]).
machine(machine_3_43).
location(machine_3_43, line_3).
device_action(machine_3_43, state, [read, write]).
device_action(machine_3_43, alarm, [read, notify]).
machine(machine_3_44).
location(machine_3_44, line_3).
device_action(machine_3_44, state, [read, write]).
device_action(machine_3_44, alarm, [read, notify]).
machine(machine_3_45).
location(machine_3_45, line_3).
device_action(machine_3_45, state, [read, write]).
device_action(machine_3_45, alarm, [read, notify]).
machine(machine_3_46).
location(machine_3_46, line_3).
device_action(machine_3_46, state, [read, write]).
device_action(machine_3_46, alarm, [read, notify]).
machine(machine_3_47).
location(machine_3_47, line_3).
device_action(machine_3_47, state, [read, write]).
device_action(machine_3_47, alarm, [read, notify]).
machine(machine_3_48).
location(machine_3_48, line_3).
device_action(machine_3_48, state, [read, write]).
device_action(machine_3_48, alarm, [read, notify]).
machine(machine_3_49).
location(machine_3_49, line_3).
device_action(machine_3_49, state, [read, write]).
device_action(machine_3_49, alarm, [read, notify]).
machine(machine_3_50).
location(machine_3_50, line_3).
device_action(machine_3_50, state, [read, write]).
device_action(machine_3_50, alarm, [read, notify]).
machine(machine_3_51).
location(machine_3_51, line_3).
device_action(machine_3_51, state, [read, write]).
device_action(machine_3_51, alarm, [read, notify]).
machine(machine_3_52).
location(machine_3_52, line_3).
device_action(machine_3_52, state, [read, write]).
device_action(machine_3_52, alarm, [read, notify]).
machine(machine_3_53).
location(machine_3_53, line_3).
device_action(machine_3_53, state, [read, write]).
device_action(machine_3_53, alarm, [read, notify]).
machine(machine_3_54).
location(machine_3_54, line_3).
device_action(machine_3_54, state, [read, write]).
device_action(machine_3_54, alarm, [read, notify]).
machine(machine_3_55).
location(machine_3_55, line_3).
device_action(machine_3_55, state, [read, write]).
device_action(machine_3_55, alarm, [read, notify]).
machine(machine_3_56).
location(machine_3_56, line_3).
device_action(machine_3_56, state, [read, write]).
device_action(machine_3_56, alarm, [read, notify]).
machine(machine_3_57).
location(machine_3_57, line_3).
device_action(machine_3_57, state, [read, write]).
device_action(machine_3_57, alarm, [read, notify]).
machine(machine_3_58).
location(machine_3_58, line_3).
device_action(machine_3_58, state, [read, write]).
device_action(machine_3_58, alarm, [read, notify]).
machine(machine_3_59).
location(machine_3_59, line_3).
device_action(machine_3_59, state, [read, write]).
device_action(machine_3_59, alarm, [read, notify]).
machine(machine_3_60).
location(machine_3_60, line_3).
device_action(machine_3_60, state, [read, write]).
device_action(machine_3_60, alarm, [read, notify]).
machine(machine_3_61).
location(machine_3_61, line_3).
device_action(machine_3_61, state, [read, write]).
device_action(machine_3_61, alarm, [read, notify]).
machine(machine_3_62).
location(machine_3_62, line_3).
device_action(machine_3_62, state, [read, write]).
device_action(machine_3_62, alarm, [read, notify]).
machine(machine_3_63).
location(machine_3_63, line_3).
device_action(machine_3_63, state, [read, write]).
device_action(machine_3_63, alarm, [read, notify]).
machine(machine_3_64).
location(machine_3_64, line_3).
device_action(machine_3_64, state, [read, write]).
device_action(machine_3_64, alarm, [read, notify]).
machine(machine_3_65).
location(machine_3_65, line_3).
device_action(machine_3_65, state, [read, write]).
device_action(machine_3_65, alarm, [read, notify]).
machine(machine_3_66).
location(machine_3_66, line_3).
device_action(machine_3_66, state, [read, write]).
device_action(machine_3_66, alarm, [read, notify]).
machine(machine_3_67).
location(machine_3_67, line_3).
device_action(machine_3_67, state, [read, write]).
device_action(machine_3_67, alarm, [read, notify]).
machine(machine_3_68).
location(machine_3_68, line_3).
device_action(machine_3_68, state, [read, write]).
device_action(machine_3_68, alarm, [read, notify]).
machine(machine_3_69).
location(machine_3_69, line_3).
device_action(machine_3_69, state, [read, write]).
device_action(machine_3_69, alarm, [read, notify]).
machine(machine_3_70).
location(machine_3_70, line_3).
device_action(machine_3_70, state, [read, write]).
device_action(machine_3_70, alarm, [read, notify]).
machine(machine_3_71).
location(machine_3_71, line_3).
device_action(machine_3_71, state, [read, write]).
device_action(machine_3_71, alarm, [read, notify]).
machine(machine_3_72).
location(machine_3_72, line_3).
device_action(machine_3_72, state, [read, write]).
device_action(machine_3_72, alarm, [read, notify]).
machine(machine_3_73).
location(machine_3_73, line_3).
device_action(machine_3_73, state, [read, write]).
device_action(machine_3_73, alarm, [read, notify]).
machine(machine_3_74).
location(machine_3_74, line_3).
device_action(machine_3_74, state, [read, write]).
device_action(machine_3_74, alarm, [read, notify]).
machine(machine_3_75).
location(machine_3_75, line_3).
device_action(machine_3_75, state, [read, write]).
device_action(machine_3_75, alarm, [read, notify]).
machine(machine_3_76).
location(machine_3_76, line_3).
device_action(machine_3_76, state, [read, write]).
device_action(machine_3_76, alarm, [read, notify]).
machine(machine_3_77).
location(machine_3_77, line_3).
device_action(machine_3_77, state, [read, write]).
device_action(machine_3_77, alarm, [read, notify]).
machine(machine_3_78).
location(machine_3_78, line_3).
device_action(machine_3_78, state, [read, write]).
device_action(machine_3_78, alarm, [read, notify]).
machine(machine_3_79).
location(machine_3_79, line_3).
device_action(machine_3_79, state, [read, write]).
device_action(machine_3_79, alarm, [read, notify]).
machine(machine_3_80).
location(machine_3_80, line_3).
device_action(machine_3_80, state, [read, write]).
device_action(machine_3_80, alarm, [read, notify]).
machine(machine_3_81).
location(machine_3_81, line_3).
device_action(machine_3_81, state, [read, write]).
device_action(machine_3_81, alarm, [read, notify]).
machine(machine_3_82).
location(machine_3_82, line_3).
device_action(machine_3_82, state, [read, write]).
device_action(machine_3_82, alarm, [read, notify]).
machine(machine_3_83).
location(machine_3_83, line_3).
device_action(machine_3_83, state, [read, write]).
device_action(machine_3_83, alarm, [read, notify]).
machine(machine_3_84).
location(machine_3_84, line_3).
device_action(machine_3_84, state, [read, write]).
device_action(machine_3_84, alarm, [read, notify]).
machine(machine_3_85).
location(machine_3_85, line_3).
device_action(machine_3_85, state, [read, write]).
device_action(machine_3_85, alarm, [read, notify]).
machine(machine_3_86).
location(machine_3_86, line_3).
device_action(machine_3_86, state, [read, write]).
device_action(machine_3_86, alarm, [read, notify]).
machine(machine_3_87).
location(machine_3_87, line_3).
device_action(machine_3_87, state, [read, write]).
device_action(machine_3_87, alarm, [read, notify]).
machine(machine_3_88).
location(machine_3_88, line_3).
device_action(machine_3_88, state, [read, write]).
device_action(machine_3_88, alarm, [read, notify]).
machine(machine_3_89).
location(machine_3_89, line_3).
device_action(machine_3_89, state, [read, write]).
device_action(machine_3_89, alarm, [read, notify]).
machine(machine_3_90).
location(machine_3_90, line_3).
device_action(machine_3_90, state, [read, write]).
device_action(machine_3_90, alarm, [read, notify]).
machine(machine_3_91).
location(machine_3_91, line_3).
device_action(machine_3_91, state, [read, write]).
device_action(machine_3_91, alarm, [read, notify]).
machine(machine_3_92).
location(machine_3_92, line_3).
device_action(machine_3_92, state, [read, write]).
device_action(machine_3_92, alarm, [read, notify]).
machine(machine_3_93).
location(machine_3_93, line_3).
device_action(machine_3_93, state, [read, write]).
device_action(machine_3_93, alarm, [read, notify]).
machine(machine_3_94).
location(machine_3_94, line_3).
device_action(machine_3_94, state, [read, write]).
device_action(machine_3_94, alarm, [read, notify]).
machine(machine_3_95).
location(machine_3_95, line_3).
device_action(machine_3_95, state, [read, write]).
device_action(machine_3_95, alarm, [read, notify]).
machine(machine_3_96).
location(machine_3_96, line_3).
device_action(machine_3_96, state, [read, write]).
device_action(machine_3_96, alarm, [read, notify]).
machine(machine_3_97).
location(machine_3_97, line_3).
device_action(machine_3_97, state, [read, write]).
device_action(machine_3_97, alarm, [read, notify]).
machine(machine_3_98).
location(machine_3_98, line_3).
device_action(machine_3_98, state, [read, write]).
device_action(machine_3_98, alarm, [read, notify]).
machine(machine_3_99).
location(machine_3_99, line_3).
device_action(machine_3_99, state, [read, write]).
device_action(machine_3_99, alarm, [read, notify]).
prod_line(line_4).
machine(machine_4_0).
location(machine_4_0, line_4).
device_action(machine_4_0, state, [read, write]).
device_action(machine_4_0, alarm, [read, notify]).
machine(machine_4_1).
location(machine_4_1, line_4).
device_action(machine_4_1, state, [read, write]).
device_action(machine_4_1, alarm, [read, notify]).
machine(machine_4_2).
location(machine_4_2, line_4).
device_action(machine_4_2, state, [read, write]).
device_action(machine_4_2, alarm, [read, notify]).
machine(machine_4_3).
location(machine_4_3, line_4).
device_action(machine_4_3, state, [read, write]).
device_action(machine_4_3, alarm, [read, notify]).
machine(machine_4_4).
location(machine_4_4, line_4).
device_action(machine_4_4, state, [read, write]).
device_action(machine_4_4, alarm, [read, notify]).
machine(machine_4_5).
location(machine_4_5, line_4).
device_action(machine_4_5, state, [read, write]).
device_action(machine_4_5, alarm, [read, notify]).
machine(machine_4_6).
location(machine_4_6, line_4).
device_action(machine_4_6, state, [read, write]).
device_action(machine_4_6, alarm, [read, notify]).
machine(machine_4_7).
location(machine_4_7, line_4).
device_action(machine_4_7, state, [read, write]).
device_action(machine_4_7, alarm, [read, notify]).
machine(machine_4_8).
location(machine_4_8, line_4).
device_action(machine_4_8, state, [read, write]).
device_action(machine_4_8, alarm, [read, notify]).
machine(machine_4_9).
location(machine_4_9, line_4).
device_action(machine_4_9, state, [read, write]).
device_action(machine_4_9, alarm, [read, notify]).
machine(machine_4_10).
location(machine_4_10, line_4).
device_action(machine_4_10, state, [read, write]).
device_action(machine_4_10, alarm, [read, notify]).
machine(machine_4_11).
location(machine_4_11, line_4).
device_action(machine_4_11, state, [read, write]).
device_action(machine_4_11, alarm, [read, notify]).
machine(machine_4_12).
location(machine_4_12, line_4).
device_action(machine_4_12, state, [read, write]).
device_action(machine_4_12, alarm, [read, notify]).
machine(machine_4_13).
location(machine_4_13, line_4).
device_action(machine_4_13, state, [read, write]).
device_action(machine_4_13, alarm, [read, notify]).
machine(machine_4_14).
location(machine_4_14, line_4).
device_action(machine_4_14, state, [read, write]).
device_action(machine_4_14, alarm, [read, notify]).
machine(machine_4_15).
location(machine_4_15, line_4).
device_action(machine_4_15, state, [read, write]).
device_action(machine_4_15, alarm, [read, notify]).
machine(machine_4_16).
location(machine_4_16, line_4).
device_action(machine_4_16, state, [read, write]).
device_action(machine_4_16, alarm, [read, notify]).
machine(machine_4_17).
location(machine_4_17, line_4).
device_action(machine_4_17, state, [read, write]).
device_action(machine_4_17, alarm, [read, notify]).
machine(machine_4_18).
location(machine_4_18, line_4).
device_action(machine_4_18, state, [read, write]).
device_action(machine_4_18, alarm, [read, notify]).
machine(machine_4_19).
location(machine_4_19, line_4).
device_action(machine_4_19, state, [read, write]).
device_action(machine_4_19, alarm, [read, notify]).
machine(machine_4_20).
location(machine_4_20, line_4).
device_action(machine_4_20, state, [read, write]).
device_action(machine_4_20, alarm, [read, notify]).
machine(machine_4_21).
location(machine_4_21, line_4).
device_action(machine_4_21, state, [read, write]).
device_action(machine_4_21, alarm, [read, notify]).
machine(machine_4_22).
location(machine_4_22, line_4).
device_action(machine_4_22, state, [read, write]).
device_action(machine_4_22, alarm, [read, notify]).
machine(machine_4_23).
location(machine_4_23, line_4).
device_action(machine_4_23, state, [read, write]).
device_action(machine_4_23, alarm, [read, notify]).
machine(machine_4_24).
location(machine_4_24, line_4).
device_action(machine_4_24, state, [read, write]).
device_action(machine_4_24, alarm, [read, notify]).
machine(machine_4_25).
location(machine_4_25, line_4).
device_action(machine_4_25, state, [read, write]).
device_action(machine_4_25, alarm, [read, notify]).
machine(machine_4_26).
location(machine_4_26, line_4).
device_action(machine_4_26, state, [read, write]).
device_action(machine_4_26, alarm, [read, notify]).
machine(machine_4_27).
location(machine_4_27, line_4).
device_action(machine_4_27, state, [read, write]).
device_action(machine_4_27, alarm, [read, notify]).
machine(machine_4_28).
location(machine_4_28, line_4).
device_action(machine_4_28, state, [read, write]).
device_action(machine_4_28, alarm, [read, notify]).
machine(machine_4_29).
location(machine_4_29, line_4).
device_action(machine_4_29, state, [read, write]).
device_action(machine_4_29, alarm, [read, notify]).
machine(machine_4_30).
location(machine_4_30, line_4).
device_action(machine_4_30, state, [read, write]).
device_action(machine_4_30, alarm, [read, notify]).
machine(machine_4_31).
location(machine_4_31, line_4).
device_action(machine_4_31, state, [read, write]).
device_action(machine_4_31, alarm, [read, notify]).
machine(machine_4_32).
location(machine_4_32, line_4).
device_action(machine_4_32, state, [read, write]).
device_action(machine_4_32, alarm, [read, notify]).
machine(machine_4_33).
location(machine_4_33, line_4).
device_action(machine_4_33, state, [read, write]).
device_action(machine_4_33, alarm, [read, notify]).
machine(machine_4_34).
location(machine_4_34, line_4).
device_action(machine_4_34, state, [read, write]).
device_action(machine_4_34, alarm, [read, notify]).
machine(machine_4_35).
location(machine_4_35, line_4).
device_action(machine_4_35, state, [read, write]).
device_action(machine_4_35, alarm, [read, notify]).
machine(machine_4_36).
location(machine_4_36, line_4).
device_action(machine_4_36, state, [read, write]).
device_action(machine_4_36, alarm, [read, notify]).
machine(machine_4_37).
location(machine_4_37, line_4).
device_action(machine_4_37, state, [read, write]).
device_action(machine_4_37, alarm, [read, notify]).
machine(machine_4_38).
location(machine_4_38, line_4).
device_action(machine_4_38, state, [read, write]).
device_action(machine_4_38, alarm, [read, notify]).
machine(machine_4_39).
location(machine_4_39, line_4).
device_action(machine_4_39, state, [read, write]).
device_action(machine_4_39, alarm, [read, notify]).
machine(machine_4_40).
location(machine_4_40, line_4).
device_action(machine_4_40, state, [read, write]).
device_action(machine_4_40, alarm, [read, notify]).
machine(machine_4_41).
location(machine_4_41, line_4).
device_action(machine_4_41, state, [read, write]).
device_action(machine_4_41, alarm, [read, notify]).
machine(machine_4_42).
location(machine_4_42, line_4).
device_action(machine_4_42, state, [read, write]).
device_action(machine_4_42, alarm, [read, notify]).
machine(machine_4_43).
location(machine_4_43, line_4).
device_action(machine_4_43, state, [read, write]).
device_action(machine_4_43, alarm, [read, notify]).
machine(machine_4_44).
location(machine_4_44, line_4).
device_action(machine_4_44, state, [read, write]).
device_action(machine_4_44, alarm, [read, notify]).
machine(machine_4_45).
location(machine_4_45, line_4).
device_action(machine_4_45, state, [read, write]).
device_action(machine_4_45, alarm, [read, notify]).
machine(machine_4_46).
location(machine_4_46, line_4).
device_action(machine_4_46, state, [read, write]).
device_action(machine_4_46, alarm, [read, notify]).
machine(machine_4_47).
location(machine_4_47, line_4).
device_action(machine_4_47, state, [read, write]).
device_action(machine_4_47, alarm, [read, notify]).
machine(machine_4_48).
location(machine_4_48, line_4).
device_action(machine_4_48, state, [read, write]).
device_action(machine_4_48, alarm, [read, notify]).
machine(machine_4_49).
location(machine_4_49, line_4).
device_action(machine_4_49, state, [read, write]).
device_action(machine_4_49, alarm, [read, notify]).
machine(machine_4_50).
location(machine_4_50, line_4).
device_action(machine_4_50, state, [read, write]).
device_action(machine_4_50, alarm, [read, notify]).
machine(machine_4_51).
location(machine_4_51, line_4).
device_action(machine_4_51, state, [read, write]).
device_action(machine_4_51, alarm, [read, notify]).
machine(machine_4_52).
location(machine_4_52, line_4).
device_action(machine_4_52, state, [read, write]).
device_action(machine_4_52, alarm, [read, notify]).
machine(machine_4_53).
location(machine_4_53, line_4).
device_action(machine_4_53, state, [read, write]).
device_action(machine_4_53, alarm, [read, notify]).
machine(machine_4_54).
location(machine_4_54, line_4).
device_action(machine_4_54, state, [read, write]).
device_action(machine_4_54, alarm, [read, notify]).
machine(machine_4_55).
location(machine_4_55, line_4).
device_action(machine_4_55, state, [read, write]).
device_action(machine_4_55, alarm, [read, notify]).
machine(machine_4_56).
location(machine_4_56, line_4).
device_action(machine_4_56, state, [read, write]).
device_action(machine_4_56, alarm, [read, notify]).
machine(machine_4_57).
location(machine_4_57, line_4).
device_action(machine_4_57, state, [read, write]).
device_action(machine_4_57, alarm, [read, notify]).
machine(machine_4_58).
location(machine_4_58, line_4).
device_action(machine_4_58, state, [read, write]).
device_action(machine_4_58, alarm, [read, notify]).
machine(machine_4_59).
location(machine_4_59, line_4).
device_action(machine_4_59, state, [read, write]).
device_action(machine_4_59, alarm, [read, notify]).
machine(machine_4_60).
location(machine_4_60, line_4).
device_action(machine_4_60, state, [read, write]).
device_action(machine_4_60, alarm, [read, notify]).
machine(machine_4_61).
location(machine_4_61, line_4).
device_action(machine_4_61, state, [read, write]).
device_action(machine_4_61, alarm, [read, notify]).
machine(machine_4_62).
location(machine_4_62, line_4).
device_action(machine_4_62, state, [read, write]).
device_action(machine_4_62, alarm, [read, notify]).
machine(machine_4_63).
location(machine_4_63, line_4).
device_action(machine_4_63, state, [read, write]).
device_action(machine_4_63, alarm, [read, notify]).
machine(machine_4_64).
location(machine_4_64, line_4).
device_action(machine_4_64, state, [read, write]).
device_action(machine_4_64, alarm, [read, notify]).
machine(machine_4_65).
location(machine_4_65, line_4).
device_action(machine_4_65, state, [read, write]).
device_action(machine_4_65, alarm, [read, notify]).
machine(machine_4_66).
location(machine_4_66, line_4).
device_action(machine_4_66, state, [read, write]).
device_action(machine_4_66, alarm, [read, notify]).
machine(machine_4_67).
location(machine_4_67, line_4).
device_action(machine_4_67, state, [read, write]).
device_action(machine_4_67, alarm, [read, notify]).
machine(machine_4_68).
location(machine_4_68, line_4).
device_action(machine_4_68, state, [read, write]).
device_action(machine_4_68, alarm, [read, notify]).
machine(machine_4_69).
location(machine_4_69, line_4).
device_action(machine_4_69, state, [read, write]).
device_action(machine_4_69, alarm, [read, notify]).
machine(machine_4_70).
location(machine_4_70, line_4).
device_action(machine_4_70, state, [read, write]).
device_action(machine_4_70, alarm, [read, notify]).
machine(machine_4_71).
location(machine_4_71, line_4).
device_action(machine_4_71, state, [read, write]).
device_action(machine_4_71, alarm, [read, notify]).
machine(machine_4_72).
location(machine_4_72, line_4).
device_action(machine_4_72, state, [read, write]).
device_action(machine_4_72, alarm, [read, notify]).
machine(machine_4_73).
location(machine_4_73, line_4).
device_action(machine_4_73, state, [read, write]).
device_action(machine_4_73, alarm, [read, notify]).
machine(machine_4_74).
location(machine_4_74, line_4).
device_action(machine_4_74, state, [read, write]).
device_action(machine_4_74, alarm, [read, notify]).
machine(machine_4_75).
location(machine_4_75, line_4).
device_action(machine_4_75, state, [read, write]).
device_action(machine_4_75, alarm, [read, notify]).
machine(machine_4_76).
location(machine_4_76, line_4).
device_action(machine_4_76, state, [read, write]).
device_action(machine_4_76, alarm, [read, notify]).
machine(machine_4_77).
location(machine_4_77, line_4).
device_action(machine_4_77, state, [read, write]).
device_action(machine_4_77, alarm, [read, notify]).
machine(machine_4_78).
location(machine_4_78, line_4).
device_action(machine_4_78, state, [read, write]).
device_action(machine_4_78, alarm, [read, notify]).
machine(machine_4_79).
location(machine_4_79, line_4).
device_action(machine_4_79, state, [read, write]).
device_action(machine_4_79, alarm, [read, notify]).
machine(machine_4_80).
location(machine_4_80, line_4).
device_action(machine_4_80, state, [read, write]).
device_action(machine_4_80, alarm, [read, notify]).
machine(machine_4_81).
location(machine_4_81, line_4).
device_action(machine_4_81, state, [read, write]).
device_action(machine_4_81, alarm, [read, notify]).
machine(machine_4_82).
location(machine_4_82, line_4).
device_action(machine_4_82, state, [read, write]).
device_action(machine_4_82, alarm, [read, notify]).
machine(machine_4_83).
location(machine_4_83, line_4).
device_action(machine_4_83, state, [read, write]).
device_action(machine_4_83, alarm, [read, notify]).
machine(machine_4_84).
location(machine_4_84, line_4).
device_action(machine_4_84, state, [read, write]).
device_action(machine_4_84, alarm, [read, notify]).
machine(machine_4_85).
location(machine_4_85, line_4).
device_action(machine_4_85, state, [read, write]).
device_action(machine_4_85, alarm, [read, notify]).
machine(machine_4_86).
location(machine_4_86, line_4).
device_action(machine_4_86, state, [read, write]).
device_action(machine_4_86, alarm, [read, notify]).
machine(machine_4_87).
location(machine_4_87, line_4).
device_action(machine_4_87, state, [read, write]).
device_action(machine_4_87, alarm, [read, notify]).
machine(machine_4_88).
location(machine_4_88, line_4).
device_action(machine_4_88, state, [read, write]).
device_action(machine_4_88, alarm, [read, notify]).
machine(machine_4_89).
location(machine_4_89, line_4).
device_action(machine_4_89, state, [read, write]).
device_action(machine_4_89, alarm, [read, notify]).
machine(machine_4_90).
location(machine_4_90, line_4).
device_action(machine_4_90, state, [read, write]).
device_action(machine_4_90, alarm, [read, notify]).
machine(machine_4_91).
location(machine_4_91, line_4).
device_action(machine_4_91, state, [read, write]).
device_action(machine_4_91, alarm, [read, notify]).
machine(machine_4_92).
location(machine_4_92, line_4).
device_action(machine_4_92, state, [read, write]).
device_action(machine_4_92, alarm, [read, notify]).
machine(machine_4_93).
location(machine_4_93, line_4).
device_action(machine_4_93, state, [read, write]).
device_action(machine_4_93, alarm, [read, notify]).
machine(machine_4_94).
location(machine_4_94, line_4).
device_action(machine_4_94, state, [read, write]).
device_action(machine_4_94, alarm, [read, notify]).
machine(machine_4_95).
location(machine_4_95, line_4).
device_action(machine_4_95, state, [read, write]).
device_action(machine_4_95, alarm, [read, notify]).
machine(machine_4_96).
location(machine_4_96, line_4).
device_action(machine_4_96, state, [read, write]).
device_action(machine_4_96, alarm, [read, notify]).
machine(machine_4_97).
location(machine_4_97, line_4).
device_action(machine_4_97, state, [read, write]).
device_action(machine_4_97, alarm, [read, notify]).
machine(machine_4_98).
location(machine_4_98, line_4).
device_action(machine_4_98, state, [read, write]).
device_action(machine_4_98, alarm, [read, notify]).
machine(machine_4_99).
location(machine_4_99, line_4).
device_action(machine_4_99, state, [read, write]).
device_action(machine_4_99, alarm, [read, notify]).
prod_line(line_5).
machine(machine_5_0).
location(machine_5_0, line_5).
device_action(machine_5_0, state, [read, write]).
device_action(machine_5_0, alarm, [read, notify]).
machine(machine_5_1).
location(machine_5_1, line_5).
device_action(machine_5_1, state, [read, write]).
device_action(machine_5_1, alarm, [read, notify]).
machine(machine_5_2).
location(machine_5_2, line_5).
device_action(machine_5_2, state, [read, write]).
device_action(machine_5_2, alarm, [read, notify]).
machine(machine_5_3).
location(machine_5_3, line_5).
device_action(machine_5_3, state, [read, write]).
device_action(machine_5_3, alarm, [read, notify]).
machine(machine_5_4).
location(machine_5_4, line_5).
device_action(machine_5_4, state, [read, write]).
device_action(machine_5_4, alarm, [read, notify]).
machine(machine_5_5).
location(machine_5_5, line_5).
device_action(machine_5_5, state, [read, write]).
device_action(machine_5_5, alarm, [read, notify]).
machine(machine_5_6).
location(machine_5_6, line_5).
device_action(machine_5_6, state, [read, write]).
device_action(machine_5_6, alarm, [read, notify]).
machine(machine_5_7).
location(machine_5_7, line_5).
device_action(machine_5_7, state, [read, write]).
device_action(machine_5_7, alarm, [read, notify]).
machine(machine_5_8).
location(machine_5_8, line_5).
device_action(machine_5_8, state, [read, write]).
device_action(machine_5_8, alarm, [read, notify]).
machine(machine_5_9).
location(machine_5_9, line_5).
device_action(machine_5_9, state, [read, write]).
device_action(machine_5_9, alarm, [read, notify]).
machine(machine_5_10).
location(machine_5_10, line_5).
device_action(machine_5_10, state, [read, write]).
device_action(machine_5_10, alarm, [read, notify]).
machine(machine_5_11).
location(machine_5_11, line_5).
device_action(machine_5_11, state, [read, write]).
device_action(machine_5_11, alarm, [read, notify]).
machine(machine_5_12).
location(machine_5_12, line_5).
device_action(machine_5_12, state, [read, write]).
device_action(machine_5_12, alarm, [read, notify]).
machine(machine_5_13).
location(machine_5_13, line_5).
device_action(machine_5_13, state, [read, write]).
device_action(machine_5_13, alarm, [read, notify]).
machine(machine_5_14).
location(machine_5_14, line_5).
device_action(machine_5_14, state, [read, write]).
device_action(machine_5_14, alarm, [read, notify]).
machine(machine_5_15).
location(machine_5_15, line_5).
device_action(machine_5_15, state, [read, write]).
device_action(machine_5_15, alarm, [read, notify]).
machine(machine_5_16).
location(machine_5_16, line_5).
device_action(machine_5_16, state, [read, write]).
device_action(machine_5_16, alarm, [read, notify]).
machine(machine_5_17).
location(machine_5_17, line_5).
device_action(machine_5_17, state, [read, write]).
device_action(machine_5_17, alarm, [read, notify]).
machine(machine_5_18).
location(machine_5_18, line_5).
device_action(machine_5_18, state, [read, write]).
device_action(machine_5_18, alarm, [read, notify]).
machine(machine_5_19).
location(machine_5_19, line_5).
device_action(machine_5_19, state, [read, write]).
device_action(machine_5_19, alarm, [read, notify]).
machine(machine_5_20).
location(machine_5_20, line_5).
device_action(machine_5_20, state, [read, write]).
device_action(machine_5_20, alarm, [read, notify]).
machine(machine_5_21).
location(machine_5_21, line_5).
device_action(machine_5_21, state, [read, write]).
device_action(machine_5_21, alarm, [read, notify]).
machine(machine_5_22).
location(machine_5_22, line_5).
device_action(machine_5_22, state, [read, write]).
device_action(machine_5_22, alarm, [read, notify]).
machine(machine_5_23).
location(machine_5_23, line_5).
device_action(machine_5_23, state, [read, write]).
device_action(machine_5_23, alarm, [read, notify]).
machine(machine_5_24).
location(machine_5_24, line_5).
device_action(machine_5_24, state, [read, write]).
device_action(machine_5_24, alarm, [read, notify]).
machine(machine_5_25).
location(machine_5_25, line_5).
device_action(machine_5_25, state, [read, write]).
device_action(machine_5_25, alarm, [read, notify]).
machine(machine_5_26).
location(machine_5_26, line_5).
device_action(machine_5_26, state, [read, write]).
device_action(machine_5_26, alarm, [read, notify]).
machine(machine_5_27).
location(machine_5_27, line_5).
device_action(machine_5_27, state, [read, write]).
device_action(machine_5_27, alarm, [read, notify]).
machine(machine_5_28).
location(machine_5_28, line_5).
device_action(machine_5_28, state, [read, write]).
device_action(machine_5_28, alarm, [read, notify]).
machine(machine_5_29).
location(machine_5_29, line_5).
device_action(machine_5_29, state, [read, write]).
device_action(machine_5_29, alarm, [read, notify]).
machine(machine_5_30).
location(machine_5_30, line_5).
device_action(machine_5_30, state, [read, write]).
device_action(machine_5_30, alarm, [read, notify]).
machine(machine_5_31).
location(machine_5_31, line_5).
device_action(machine_5_31, state, [read, write]).
device_action(machine_5_31, alarm, [read, notify]).
machine(machine_5_32).
location(machine_5_32, line_5).
device_action(machine_5_32, state, [read, write]).
device_action(machine_5_32, alarm, [read, notify]).
machine(machine_5_33).
location(machine_5_33, line_5).
device_action(machine_5_33, state, [read, write]).
device_action(machine_5_33, alarm, [read, notify]).
machine(machine_5_34).
location(machine_5_34, line_5).
device_action(machine_5_34, state, [read, write]).
device_action(machine_5_34, alarm, [read, notify]).
machine(machine_5_35).
location(machine_5_35, line_5).
device_action(machine_5_35, state, [read, write]).
device_action(machine_5_35, alarm, [read, notify]).
machine(machine_5_36).
location(machine_5_36, line_5).
device_action(machine_5_36, state, [read, write]).
device_action(machine_5_36, alarm, [read, notify]).
machine(machine_5_37).
location(machine_5_37, line_5).
device_action(machine_5_37, state, [read, write]).
device_action(machine_5_37, alarm, [read, notify]).
machine(machine_5_38).
location(machine_5_38, line_5).
device_action(machine_5_38, state, [read, write]).
device_action(machine_5_38, alarm, [read, notify]).
machine(machine_5_39).
location(machine_5_39, line_5).
device_action(machine_5_39, state, [read, write]).
device_action(machine_5_39, alarm, [read, notify]).
machine(machine_5_40).
location(machine_5_40, line_5).
device_action(machine_5_40, state, [read, write]).
device_action(machine_5_40, alarm, [read, notify]).
machine(machine_5_41).
location(machine_5_41, line_5).
device_action(machine_5_41, state, [read, write]).
device_action(machine_5_41, alarm, [read, notify]).
machine(machine_5_42).
location(machine_5_42, line_5).
device_action(machine_5_42, state, [read, write]).
device_action(machine_5_42, alarm, [read, notify]).
machine(machine_5_43).
location(machine_5_43, line_5).
device_action(machine_5_43, state, [read, write]).
device_action(machine_5_43, alarm, [read, notify]).
machine(machine_5_44).
location(machine_5_44, line_5).
device_action(machine_5_44, state, [read, write]).
device_action(machine_5_44, alarm, [read, notify]).
machine(machine_5_45).
location(machine_5_45, line_5).
device_action(machine_5_45, state, [read, write]).
device_action(machine_5_45, alarm, [read, notify]).
machine(machine_5_46).
location(machine_5_46, line_5).
device_action(machine_5_46, state, [read, write]).
device_action(machine_5_46, alarm, [read, notify]).
machine(machine_5_47).
location(machine_5_47, line_5).
device_action(machine_5_47, state, [read, write]).
device_action(machine_5_47, alarm, [read, notify]).
machine(machine_5_48).
location(machine_5_48, line_5).
device_action(machine_5_48, state, [read, write]).
device_action(machine_5_48, alarm, [read, notify]).
machine(machine_5_49).
location(machine_5_49, line_5).
device_action(machine_5_49, state, [read, write]).
device_action(machine_5_49, alarm, [read, notify]).
machine(machine_5_50).
location(machine_5_50, line_5).
device_action(machine_5_50, state, [read, write]).
device_action(machine_5_50, alarm, [read, notify]).
machine(machine_5_51).
location(machine_5_51, line_5).
device_action(machine_5_51, state, [read, write]).
device_action(machine_5_51, alarm, [read, notify]).
machine(machine_5_52).
location(machine_5_52, line_5).
device_action(machine_5_52, state, [read, write]).
device_action(machine_5_52, alarm, [read, notify]).
machine(machine_5_53).
location(machine_5_53, line_5).
device_action(machine_5_53, state, [read, write]).
device_action(machine_5_53, alarm, [read, notify]).
machine(machine_5_54).
location(machine_5_54, line_5).
device_action(machine_5_54, state, [read, write]).
device_action(machine_5_54, alarm, [read, notify]).
machine(machine_5_55).
location(machine_5_55, line_5).
device_action(machine_5_55, state, [read, write]).
device_action(machine_5_55, alarm, [read, notify]).
machine(machine_5_56).
location(machine_5_56, line_5).
device_action(machine_5_56, state, [read, write]).
device_action(machine_5_56, alarm, [read, notify]).
machine(machine_5_57).
location(machine_5_57, line_5).
device_action(machine_5_57, state, [read, write]).
device_action(machine_5_57, alarm, [read, notify]).
machine(machine_5_58).
location(machine_5_58, line_5).
device_action(machine_5_58, state, [read, write]).
device_action(machine_5_58, alarm, [read, notify]).
machine(machine_5_59).
location(machine_5_59, line_5).
device_action(machine_5_59, state, [read, write]).
device_action(machine_5_59, alarm, [read, notify]).
machine(machine_5_60).
location(machine_5_60, line_5).
device_action(machine_5_60, state, [read, write]).
device_action(machine_5_60, alarm, [read, notify]).
machine(machine_5_61).
location(machine_5_61, line_5).
device_action(machine_5_61, state, [read, write]).
device_action(machine_5_61, alarm, [read, notify]).
machine(machine_5_62).
location(machine_5_62, line_5).
device_action(machine_5_62, state, [read, write]).
device_action(machine_5_62, alarm, [read, notify]).
machine(machine_5_63).
location(machine_5_63, line_5).
device_action(machine_5_63, state, [read, write]).
device_action(machine_5_63, alarm, [read, notify]).
machine(machine_5_64).
location(machine_5_64, line_5).
device_action(machine_5_64, state, [read, write]).
device_action(machine_5_64, alarm, [read, notify]).
machine(machine_5_65).
location(machine_5_65, line_5).
device_action(machine_5_65, state, [read, write]).
device_action(machine_5_65, alarm, [read, notify]).
machine(machine_5_66).
location(machine_5_66, line_5).
device_action(machine_5_66, state, [read, write]).
device_action(machine_5_66, alarm, [read, notify]).
machine(machine_5_67).
location(machine_5_67, line_5).
device_action(machine_5_67, state, [read, write]).
device_action(machine_5_67, alarm, [read, notify]).
machine(machine_5_68).
location(machine_5_68, line_5).
device_action(machine_5_68, state, [read, write]).
device_action(machine_5_68, alarm, [read, notify]).
machine(machine_5_69).
location(machine_5_69, line_5).
device_action(machine_5_69, state, [read, write]).
device_action(machine_5_69, alarm, [read, notify]).
machine(machine_5_70).
location(machine_5_70, line_5).
device_action(machine_5_70, state, [read, write]).
device_action(machine_5_70, alarm, [read, notify]).
machine(machine_5_71).
location(machine_5_71, line_5).
device_action(machine_5_71, state, [read, write]).
device_action(machine_5_71, alarm, [read, notify]).
machine(machine_5_72).
location(machine_5_72, line_5).
device_action(machine_5_72, state, [read, write]).
device_action(machine_5_72, alarm, [read, notify]).
machine(machine_5_73).
location(machine_5_73, line_5).
device_action(machine_5_73, state, [read, write]).
device_action(machine_5_73, alarm, [read, notify]).
machine(machine_5_74).
location(machine_5_74, line_5).
device_action(machine_5_74, state, [read, write]).
device_action(machine_5_74, alarm, [read, notify]).
machine(machine_5_75).
location(machine_5_75, line_5).
device_action(machine_5_75, state, [read, write]).
device_action(machine_5_75, alarm, [read, notify]).
machine(machine_5_76).
location(machine_5_76, line_5).
device_action(machine_5_76, state, [read, write]).
device_action(machine_5_76, alarm, [read, notify]).
machine(machine_5_77).
location(machine_5_77, line_5).
device_action(machine_5_77, state, [read, write]).
device_action(machine_5_77, alarm, [read, notify]).
machine(machine_5_78).
location(machine_5_78, line_5).
device_action(machine_5_78, state, [read, write]).
device_action(machine_5_78, alarm, [read, notify]).
machine(machine_5_79).
location(machine_5_79, line_5).
device_action(machine_5_79, state, [read, write]).
device_action(machine_5_79, alarm, [read, notify]).
machine(machine_5_80).
location(machine_5_80, line_5).
device_action(machine_5_80, state, [read, write]).
device_action(machine_5_80, alarm, [read, notify]).
machine(machine_5_81).
location(machine_5_81, line_5).
device_action(machine_5_81, state, [read, write]).
device_action(machine_5_81, alarm, [read, notify]).
machine(machine_5_82).
location(machine_5_82, line_5).
device_action(machine_5_82, state, [read, write]).
device_action(machine_5_82, alarm, [read, notify]).
machine(machine_5_83).
location(machine_5_83, line_5).
device_action(machine_5_83, state, [read, write]).
device_action(machine_5_83, alarm, [read, notify]).
machine(machine_5_84).
location(machine_5_84, line_5).
device_action(machine_5_84, state, [read, write]).
device_action(machine_5_84, alarm, [read, notify]).
machine(machine_5_85).
location(machine_5_85, line_5).
device_action(machine_5_85, state, [read, write]).
device_action(machine_5_85, alarm, [read, notify]).
machine(machine_5_86).
location(machine_5_86, line_5).
device_action(machine_5_86, state, [read, write]).
device_action(machine_5_86, alarm, [read, notify]).
machine(machine_5_87).
location(machine_5_87, line_5).
device_action(machine_5_87, state, [read, write]).
device_action(machine_5_87, alarm, [read, notify]).
machine(machine_5_88).
location(machine_5_88, line_5).
device_action(machine_5_88, state, [read, write]).
device_action(machine_5_88, alarm, [read, notify]).
machine(machine_5_89).
location(machine_5_89, line_5).
device_action(machine_5_89, state, [read, write]).
device_action(machine_5_89, alarm, [read, notify]).
machine(machine_5_90).
location(machine_5_90, line_5).
device_action(machine_5_90, state, [read, write]).
device_action(machine_5_90, alarm, [read, notify]).
machine(machine_5_91).
location(machine_5_91, line_5).
device_action(machine_5_91, state, [read, write]).
device_action(machine_5_91, alarm, [read, notify]).
machine(machine_5_92).
location(machine_5_92, line_5).
device_action(machine_5_92, state, [read, write]).
device_action(machine_5_92, alarm, [read, notify]).
machine(machine_5_93).
location(machine_5_93, line_5).
device_action(machine_5_93, state, [read, write]).
device_action(machine_5_93, alarm, [read, notify]).
machine(machine_5_94).
location(machine_5_94, line_5).
device_action(machine_5_94, state, [read, write]).
device_action(machine_5_94, alarm, [read, notify]).
machine(machine_5_95).
location(machine_5_95, line_5).
device_action(machine_5_95, state, [read, write]).
device_action(machine_5_95, alarm, [read, notify]).
machine(machine_5_96).
location(machine_5_96, line_5).
device_action(machine_5_96, state, [read, write]).
device_action(machine_5_96, alarm, [read, notify]).
machine(machine_5_97).
location(machine_5_97, line_5).
device_action(machine_5_97, state, [read, write]).
device_action(machine_5_97, alarm, [read, notify]).
machine(machine_5_98).
location(machine_5_98, line_5).
device_action(machine_5_98, state, [read, write]).
device_action(machine_5_98, alarm, [read, notify]).
machine(machine_5_99).
location(machine_5_99, line_5).
device_action(machine_5_99, state, [read, write]).
device_action(machine_5_99, alarm, [read, notify]).
prod_line(line_6).
machine(machine_6_0).
location(machine_6_0, line_6).
device_action(machine_6_0, state, [read, write]).
device_action(machine_6_0, alarm, [read, notify]).
machine(machine_6_1).
location(machine_6_1, line_6).
device_action(machine_6_1, state, [read, write]).
device_action(machine_6_1, alarm, [read, notify]).
machine(machine_6_2).
location(machine_6_2, line_6).
device_action(machine_6_2, state, [read, write]).
device_action(machine_6_2, alarm, [read, notify]).
machine(machine_6_3).
location(machine_6_3, line_6).
device_action(machine_6_3, state, [read, write]).
device_action(machine_6_3, alarm, [read, notify]).
machine(machine_6_4).
location(machine_6_4, line_6).
device_action(machine_6_4, state, [read, write]).
device_action(machine_6_4, alarm, [read, notify]).
machine(machine_6_5).
location(machine_6_5, line_6).
device_action(machine_6_5, state, [read, write]).
device_action(machine_6_5, alarm, [read, notify]).
machine(machine_6_6).
location(machine_6_6, line_6).
device_action(machine_6_6, state, [read, write]).
device_action(machine_6_6, alarm, [read, notify]).
machine(machine_6_7).
location(machine_6_7, line_6).
device_action(machine_6_7, state, [read, write]).
device_action(machine_6_7, alarm, [read, notify]).
machine(machine_6_8).
location(machine_6_8, line_6).
device_action(machine_6_8, state, [read, write]).
device_action(machine_6_8, alarm, [read, notify]).
machine(machine_6_9).
location(machine_6_9, line_6).
device_action(machine_6_9, state, [read, write]).
device_action(machine_6_9, alarm, [read, notify]).
machine(machine_6_10).
location(machine_6_10, line_6).
device_action(machine_6_10, state, [read, write]).
device_action(machine_6_10, alarm, [read, notify]).
machine(machine_6_11).
location(machine_6_11, line_6).
device_action(machine_6_11, state, [read, write]).
device_action(machine_6_11, alarm, [read, notify]).
machine(machine_6_12).
location(machine_6_12, line_6).
device_action(machine_6_12, state, [read, write]).
device_action(machine_6_12, alarm, [read, notify]).
machine(machine_6_13).
location(machine_6_13, line_6).
device_action(machine_6_13, state, [read, write]).
device_action(machine_6_13, alarm, [read, notify]).
machine(machine_6_14).
location(machine_6_14, line_6).
device_action(machine_6_14, state, [read, write]).
device_action(machine_6_14, alarm, [read, notify]).
machine(machine_6_15).
location(machine_6_15, line_6).
device_action(machine_6_15, state, [read, write]).
device_action(machine_6_15, alarm, [read, notify]).
machine(machine_6_16).
location(machine_6_16, line_6).
device_action(machine_6_16, state, [read, write]).
device_action(machine_6_16, alarm, [read, notify]).
machine(machine_6_17).
location(machine_6_17, line_6).
device_action(machine_6_17, state, [read, write]).
device_action(machine_6_17, alarm, [read, notify]).
machine(machine_6_18).
location(machine_6_18, line_6).
device_action(machine_6_18, state, [read, write]).
device_action(machine_6_18, alarm, [read, notify]).
machine(machine_6_19).
location(machine_6_19, line_6).
device_action(machine_6_19, state, [read, write]).
device_action(machine_6_19, alarm, [read, notify]).
machine(machine_6_20).
location(machine_6_20, line_6).
device_action(machine_6_20, state, [read, write]).
device_action(machine_6_20, alarm, [read, notify]).
machine(machine_6_21).
location(machine_6_21, line_6).
device_action(machine_6_21, state, [read, write]).
device_action(machine_6_21, alarm, [read, notify]).
machine(machine_6_22).
location(machine_6_22, line_6).
device_action(machine_6_22, state, [read, write]).
device_action(machine_6_22, alarm, [read, notify]).
machine(machine_6_23).
location(machine_6_23, line_6).
device_action(machine_6_23, state, [read, write]).
device_action(machine_6_23, alarm, [read, notify]).
machine(machine_6_24).
location(machine_6_24, line_6).
device_action(machine_6_24, state, [read, write]).
device_action(machine_6_24, alarm, [read, notify]).
machine(machine_6_25).
location(machine_6_25, line_6).
device_action(machine_6_25, state, [read, write]).
device_action(machine_6_25, alarm, [read, notify]).
machine(machine_6_26).
location(machine_6_26, line_6).
device_action(machine_6_26, state, [read, write]).
device_action(machine_6_26, alarm, [read, notify]).
machine(machine_6_27).
location(machine_6_27, line_6).
device_action(machine_6_27, state, [read, write]).
device_action(machine_6_27, alarm, [read, notify]).
machine(machine_6_28).
location(machine_6_28, line_6).
device_action(machine_6_28, state, [read, write]).
device_action(machine_6_28, alarm, [read, notify]).
machine(machine_6_29).
location(machine_6_29, line_6).
device_action(machine_6_29, state, [read, write]).
device_action(machine_6_29, alarm, [read, notify]).
machine(machine_6_30).
location(machine_6_30, line_6).
device_action(machine_6_30, state, [read, write]).
device_action(machine_6_30, alarm, [read, notify]).
machine(machine_6_31).
location(machine_6_31, line_6).
device_action(machine_6_31, state, [read, write]).
device_action(machine_6_31, alarm, [read, notify]).
machine(machine_6_32).
location(machine_6_32, line_6).
device_action(machine_6_32, state, [read, write]).
device_action(machine_6_32, alarm, [read, notify]).
machine(machine_6_33).
location(machine_6_33, line_6).
device_action(machine_6_33, state, [read, write]).
device_action(machine_6_33, alarm, [read, notify]).
machine(machine_6_34).
location(machine_6_34, line_6).
device_action(machine_6_34, state, [read, write]).
device_action(machine_6_34, alarm, [read, notify]).
machine(machine_6_35).
location(machine_6_35, line_6).
device_action(machine_6_35, state, [read, write]).
device_action(machine_6_35, alarm, [read, notify]).
machine(machine_6_36).
location(machine_6_36, line_6).
device_action(machine_6_36, state, [read, write]).
device_action(machine_6_36, alarm, [read, notify]).
machine(machine_6_37).
location(machine_6_37, line_6).
device_action(machine_6_37, state, [read, write]).
device_action(machine_6_37, alarm, [read, notify]).
machine(machine_6_38).
location(machine_6_38, line_6).
device_action(machine_6_38, state, [read, write]).
device_action(machine_6_38, alarm, [read, notify]).
machine(machine_6_39).
location(machine_6_39, line_6).
device_action(machine_6_39, state, [read, write]).
device_action(machine_6_39, alarm, [read, notify]).
machine(machine_6_40).
location(machine_6_40, line_6).
device_action(machine_6_40, state, [read, write]).
device_action(machine_6_40, alarm, [read, notify]).
machine(machine_6_41).
location(machine_6_41, line_6).
device_action(machine_6_41, state, [read, write]).
device_action(machine_6_41, alarm, [read, notify]).
machine(machine_6_42).
location(machine_6_42, line_6).
device_action(machine_6_42, state, [read, write]).
device_action(machine_6_42, alarm, [read, notify]).
machine(machine_6_43).
location(machine_6_43, line_6).
device_action(machine_6_43, state, [read, write]).
device_action(machine_6_43, alarm, [read, notify]).
machine(machine_6_44).
location(machine_6_44, line_6).
device_action(machine_6_44, state, [read, write]).
device_action(machine_6_44, alarm, [read, notify]).
machine(machine_6_45).
location(machine_6_45, line_6).
device_action(machine_6_45, state, [read, write]).
device_action(machine_6_45, alarm, [read, notify]).
machine(machine_6_46).
location(machine_6_46, line_6).
device_action(machine_6_46, state, [read, write]).
device_action(machine_6_46, alarm, [read, notify]).
machine(machine_6_47).
location(machine_6_47, line_6).
device_action(machine_6_47, state, [read, write]).
device_action(machine_6_47, alarm, [read, notify]).
machine(machine_6_48).
location(machine_6_48, line_6).
device_action(machine_6_48, state, [read, write]).
device_action(machine_6_48, alarm, [read, notify]).
machine(machine_6_49).
location(machine_6_49, line_6).
device_action(machine_6_49, state, [read, write]).
device_action(machine_6_49, alarm, [read, notify]).
machine(machine_6_50).
location(machine_6_50, line_6).
device_action(machine_6_50, state, [read, write]).
device_action(machine_6_50, alarm, [read, notify]).
machine(machine_6_51).
location(machine_6_51, line_6).
device_action(machine_6_51, state, [read, write]).
device_action(machine_6_51, alarm, [read, notify]).
machine(machine_6_52).
location(machine_6_52, line_6).
device_action(machine_6_52, state, [read, write]).
device_action(machine_6_52, alarm, [read, notify]).
machine(machine_6_53).
location(machine_6_53, line_6).
device_action(machine_6_53, state, [read, write]).
device_action(machine_6_53, alarm, [read, notify]).
machine(machine_6_54).
location(machine_6_54, line_6).
device_action(machine_6_54, state, [read, write]).
device_action(machine_6_54, alarm, [read, notify]).
machine(machine_6_55).
location(machine_6_55, line_6).
device_action(machine_6_55, state, [read, write]).
device_action(machine_6_55, alarm, [read, notify]).
machine(machine_6_56).
location(machine_6_56, line_6).
device_action(machine_6_56, state, [read, write]).
device_action(machine_6_56, alarm, [read, notify]).
machine(machine_6_57).
location(machine_6_57, line_6).
device_action(machine_6_57, state, [read, write]).
device_action(machine_6_57, alarm, [read, notify]).
machine(machine_6_58).
location(machine_6_58, line_6).
device_action(machine_6_58, state, [read, write]).
device_action(machine_6_58, alarm, [read, notify]).
machine(machine_6_59).
location(machine_6_59, line_6).
device_action(machine_6_59, state, [read, write]).
device_action(machine_6_59, alarm, [read, notify]).
machine(machine_6_60).
location(machine_6_60, line_6).
device_action(machine_6_60, state, [read, write]).
device_action(machine_6_60, alarm, [read, notify]).
machine(machine_6_61).
location(machine_6_61, line_6).
device_action(machine_6_61, state, [read, write]).
device_action(machine_6_61, alarm, [read, notify]).
machine(machine_6_62).
location(machine_6_62, line_6).
device_action(machine_6_62, state, [read, write]).
device_action(machine_6_62, alarm, [read, notify]).
machine(machine_6_63).
location(machine_6_63, line_6).
device_action(machine_6_63, state, [read, write]).
device_action(machine_6_63, alarm, [read, notify]).
machine(machine_6_64).
location(machine_6_64, line_6).
device_action(machine_6_64, state, [read, write]).
device_action(machine_6_64, alarm, [read, notify]).
machine(machine_6_65).
location(machine_6_65, line_6).
device_action(machine_6_65, state, [read, write]).
device_action(machine_6_65, alarm, [read, notify]).
machine(machine_6_66).
location(machine_6_66, line_6).
device_action(machine_6_66, state, [read, write]).
device_action(machine_6_66, alarm, [read, notify]).
machine(machine_6_67).
location(machine_6_67, line_6).
device_action(machine_6_67, state, [read, write]).
device_action(machine_6_67, alarm, [read, notify]).
machine(machine_6_68).
location(machine_6_68, line_6).
device_action(machine_6_68, state, [read, write]).
device_action(machine_6_68, alarm, [read, notify]).
machine(machine_6_69).
location(machine_6_69, line_6).
device_action(machine_6_69, state, [read, write]).
device_action(machine_6_69, alarm, [read, notify]).
machine(machine_6_70).
location(machine_6_70, line_6).
device_action(machine_6_70, state, [read, write]).
device_action(machine_6_70, alarm, [read, notify]).
machine(machine_6_71).
location(machine_6_71, line_6).
device_action(machine_6_71, state, [read, write]).
device_action(machine_6_71, alarm, [read, notify]).
machine(machine_6_72).
location(machine_6_72, line_6).
device_action(machine_6_72, state, [read, write]).
device_action(machine_6_72, alarm, [read, notify]).
machine(machine_6_73).
location(machine_6_73, line_6).
device_action(machine_6_73, state, [read, write]).
device_action(machine_6_73, alarm, [read, notify]).
machine(machine_6_74).
location(machine_6_74, line_6).
device_action(machine_6_74, state, [read, write]).
device_action(machine_6_74, alarm, [read, notify]).
machine(machine_6_75).
location(machine_6_75, line_6).
device_action(machine_6_75, state, [read, write]).
device_action(machine_6_75, alarm, [read, notify]).
machine(machine_6_76).
location(machine_6_76, line_6).
device_action(machine_6_76, state, [read, write]).
device_action(machine_6_76, alarm, [read, notify]).
machine(machine_6_77).
location(machine_6_77, line_6).
device_action(machine_6_77, state, [read, write]).
device_action(machine_6_77, alarm, [read, notify]).
machine(machine_6_78).
location(machine_6_78, line_6).
device_action(machine_6_78, state, [read, write]).
device_action(machine_6_78, alarm, [read, notify]).
machine(machine_6_79).
location(machine_6_79, line_6).
device_action(machine_6_79, state, [read, write]).
device_action(machine_6_79, alarm, [read, notify]).
machine(machine_6_80).
location(machine_6_80, line_6).
device_action(machine_6_80, state, [read, write]).
device_action(machine_6_80, alarm, [read, notify]).
machine(machine_6_81).
location(machine_6_81, line_6).
device_action(machine_6_81, state, [read, write]).
device_action(machine_6_81, alarm, [read, notify]).
machine(machine_6_82).
location(machine_6_82, line_6).
device_action(machine_6_82, state, [read, write]).
device_action(machine_6_82, alarm, [read, notify]).
machine(machine_6_83).
location(machine_6_83, line_6).
device_action(machine_6_83, state, [read, write]).
device_action(machine_6_83, alarm, [read, notify]).
machine(machine_6_84).
location(machine_6_84, line_6).
device_action(machine_6_84, state, [read, write]).
device_action(machine_6_84, alarm, [read, notify]).
machine(machine_6_85).
location(machine_6_85, line_6).
device_action(machine_6_85, state, [read, write]).
device_action(machine_6_85, alarm, [read, notify]).
machine(machine_6_86).
location(machine_6_86, line_6).
device_action(machine_6_86, state, [read, write]).
device_action(machine_6_86, alarm, [read, notify]).
machine(machine_6_87).
location(machine_6_87, line_6).
device_action(machine_6_87, state, [read, write]).
device_action(machine_6_87, alarm, [read, notify]).
machine(machine_6_88).
location(machine_6_88, line_6).
device_action(machine_6_88, state, [read, write]).
device_action(machine_6_88, alarm, [read, notify]).
machine(machine_6_89).
location(machine_6_89, line_6).
device_action(machine_6_89, state, [read, write]).
device_action(machine_6_89, alarm, [read, notify]).
machine(machine_6_90).
location(machine_6_90, line_6).
device_action(machine_6_90, state, [read, write]).
device_action(machine_6_90, alarm, [read, notify]).
machine(machine_6_91).
location(machine_6_91, line_6).
device_action(machine_6_91, state, [read, write]).
device_action(machine_6_91, alarm, [read, notify]).
machine(machine_6_92).
location(machine_6_92, line_6).
device_action(machine_6_92, state, [read, write]).
device_action(machine_6_92, alarm, [read, notify]).
machine(machine_6_93).
location(machine_6_93, line_6).
device_action(machine_6_93, state, [read, write]).
device_action(machine_6_93, alarm, [read, notify]).
machine(machine_6_94).
location(machine_6_94, line_6).
device_action(machine_6_94, state, [read, write]).
device_action(machine_6_94, alarm, [read, notify]).
machine(machine_6_95).
location(machine_6_95, line_6).
device_action(machine_6_95, state, [read, write]).
device_action(machine_6_95, alarm, [read, notify]).
machine(machine_6_96).
location(machine_6_96, line_6).
device_action(machine_6_96, state, [read, write]).
device_action(machine_6_96, alarm, [read, notify]).
machine(machine_6_97).
location(machine_6_97, line_6).
device_action(machine_6_97, state, [read, write]).
device_action(machine_6_97, alarm, [read, notify]).
machine(machine_6_98).
location(machine_6_98, line_6).
device_action(machine_6_98, state, [read, write]).
device_action(machine_6_98, alarm, [read, notify]).
machine(machine_6_99).
location(machine_6_99, line_6).
device_action(machine_6_99, state, [read, write]).
device_action(machine_6_99, alarm, [read, notify]).
prod_line(line_7).
machine(machine_7_0).
location(machine_7_0, line_7).
device_action(machine_7_0, state, [read, write]).
device_action(machine_7_0, alarm, [read, notify]).
machine(machine_7_1).
location(machine_7_1, line_7).
device_action(machine_7_1, state, [read, write]).
device_action(machine_7_1, alarm, [read, notify]).
machine(machine_7_2).
location(machine_7_2, line_7).
device_action(machine_7_2, state, [read, write]).
device_action(machine_7_2, alarm, [read, notify]).
machine(machine_7_3).
location(machine_7_3, line_7).
device_action(machine_7_3, state, [read, write]).
device_action(machine_7_3, alarm, [read, notify]).
machine(machine_7_4).
location(machine_7_4, line_7).
device_action(machine_7_4, state, [read, write]).
device_action(machine_7_4, alarm, [read, notify]).
machine(machine_7_5).
location(machine_7_5, line_7).
device_action(machine_7_5, state, [read, write]).
device_action(machine_7_5, alarm, [read, notify]).
machine(machine_7_6).
location(machine_7_6, line_7).
device_action(machine_7_6, state, [read, write]).
device_action(machine_7_6, alarm, [read, notify]).
machine(machine_7_7).
location(machine_7_7, line_7).
device_action(machine_7_7, state, [read, write]).
device_action(machine_7_7, alarm, [read, notify]).
machine(machine_7_8).
location(machine_7_8, line_7).
device_action(machine_7_8, state, [read, write]).
device_action(machine_7_8, alarm, [read, notify]).
machine(machine_7_9).
location(machine_7_9, line_7).
device_action(machine_7_9, state, [read, write]).
device_action(machine_7_9, alarm, [read, notify]).
machine(machine_7_10).
location(machine_7_10, line_7).
device_action(machine_7_10, state, [read, write]).
device_action(machine_7_10, alarm, [read, notify]).
machine(machine_7_11).
location(machine_7_11, line_7).
device_action(machine_7_11, state, [read, write]).
device_action(machine_7_11, alarm, [read, notify]).
machine(machine_7_12).
location(machine_7_12, line_7).
device_action(machine_7_12, state, [read, write]).
device_action(machine_7_12, alarm, [read, notify]).
machine(machine_7_13).
location(machine_7_13, line_7).
device_action(machine_7_13, state, [read, write]).
device_action(machine_7_13, alarm, [read, notify]).
machine(machine_7_14).
location(machine_7_14, line_7).
device_action(machine_7_14, state, [read, write]).
device_action(machine_7_14, alarm, [read, notify]).
machine(machine_7_15).
location(machine_7_15, line_7).
device_action(machine_7_15, state, [read, write]).
device_action(machine_7_15, alarm, [read, notify]).
machine(machine_7_16).
location(machine_7_16, line_7).
device_action(machine_7_16, state, [read, write]).
device_action(machine_7_16, alarm, [read, notify]).
machine(machine_7_17).
location(machine_7_17, line_7).
device_action(machine_7_17, state, [read, write]).
device_action(machine_7_17, alarm, [read, notify]).
machine(machine_7_18).
location(machine_7_18, line_7).
device_action(machine_7_18, state, [read, write]).
device_action(machine_7_18, alarm, [read, notify]).
machine(machine_7_19).
location(machine_7_19, line_7).
device_action(machine_7_19, state, [read, write]).
device_action(machine_7_19, alarm, [read, notify]).
machine(machine_7_20).
location(machine_7_20, line_7).
device_action(machine_7_20, state, [read, write]).
device_action(machine_7_20, alarm, [read, notify]).
machine(machine_7_21).
location(machine_7_21, line_7).
device_action(machine_7_21, state, [read, write]).
device_action(machine_7_21, alarm, [read, notify]).
machine(machine_7_22).
location(machine_7_22, line_7).
device_action(machine_7_22, state, [read, write]).
device_action(machine_7_22, alarm, [read, notify]).
machine(machine_7_23).
location(machine_7_23, line_7).
device_action(machine_7_23, state, [read, write]).
device_action(machine_7_23, alarm, [read, notify]).
machine(machine_7_24).
location(machine_7_24, line_7).
device_action(machine_7_24, state, [read, write]).
device_action(machine_7_24, alarm, [read, notify]).
machine(machine_7_25).
location(machine_7_25, line_7).
device_action(machine_7_25, state, [read, write]).
device_action(machine_7_25, alarm, [read, notify]).
machine(machine_7_26).
location(machine_7_26, line_7).
device_action(machine_7_26, state, [read, write]).
device_action(machine_7_26, alarm, [read, notify]).
machine(machine_7_27).
location(machine_7_27, line_7).
device_action(machine_7_27, state, [read, write]).
device_action(machine_7_27, alarm, [read, notify]).
machine(machine_7_28).
location(machine_7_28, line_7).
device_action(machine_7_28, state, [read, write]).
device_action(machine_7_28, alarm, [read, notify]).
machine(machine_7_29).
location(machine_7_29, line_7).
device_action(machine_7_29, state, [read, write]).
device_action(machine_7_29, alarm, [read, notify]).
machine(machine_7_30).
location(machine_7_30, line_7).
device_action(machine_7_30, state, [read, write]).
device_action(machine_7_30, alarm, [read, notify]).
machine(machine_7_31).
location(machine_7_31, line_7).
device_action(machine_7_31, state, [read, write]).
device_action(machine_7_31, alarm, [read, notify]).
machine(machine_7_32).
location(machine_7_32, line_7).
device_action(machine_7_32, state, [read, write]).
device_action(machine_7_32, alarm, [read, notify]).
machine(machine_7_33).
location(machine_7_33, line_7).
device_action(machine_7_33, state, [read, write]).
device_action(machine_7_33, alarm, [read, notify]).
machine(machine_7_34).
location(machine_7_34, line_7).
device_action(machine_7_34, state, [read, write]).
device_action(machine_7_34, alarm, [read, notify]).
machine(machine_7_35).
location(machine_7_35, line_7).
device_action(machine_7_35, state, [read, write]).
device_action(machine_7_35, alarm, [read, notify]).
machine(machine_7_36).
location(machine_7_36, line_7).
device_action(machine_7_36, state, [read, write]).
device_action(machine_7_36, alarm, [read, notify]).
machine(machine_7_37).
location(machine_7_37, line_7).
device_action(machine_7_37, state, [read, write]).
device_action(machine_7_37, alarm, [read, notify]).
machine(machine_7_38).
location(machine_7_38, line_7).
device_action(machine_7_38, state, [read, write]).
device_action(machine_7_38, alarm, [read, notify]).
machine(machine_7_39).
location(machine_7_39, line_7).
device_action(machine_7_39, state, [read, write]).
device_action(machine_7_39, alarm, [read, notify]).
machine(machine_7_40).
location(machine_7_40, line_7).
device_action(machine_7_40, state, [read, write]).
device_action(machine_7_40, alarm, [read, notify]).
machine(machine_7_41).
location(machine_7_41, line_7).
device_action(machine_7_41, state, [read, write]).
device_action(machine_7_41, alarm, [read, notify]).
machine(machine_7_42).
location(machine_7_42, line_7).
device_action(machine_7_42, state, [read, write]).
device_action(machine_7_42, alarm, [read, notify]).
machine(machine_7_43).
location(machine_7_43, line_7).
device_action(machine_7_43, state, [read, write]).
device_action(machine_7_43, alarm, [read, notify]).
machine(machine_7_44).
location(machine_7_44, line_7).
device_action(machine_7_44, state, [read, write]).
device_action(machine_7_44, alarm, [read, notify]).
machine(machine_7_45).
location(machine_7_45, line_7).
device_action(machine_7_45, state, [read, write]).
device_action(machine_7_45, alarm, [read, notify]).
machine(machine_7_46).
location(machine_7_46, line_7).
device_action(machine_7_46, state, [read, write]).
device_action(machine_7_46, alarm, [read, notify]).
machine(machine_7_47).
location(machine_7_47, line_7).
device_action(machine_7_47, state, [read, write]).
device_action(machine_7_47, alarm, [read, notify]).
machine(machine_7_48).
location(machine_7_48, line_7).
device_action(machine_7_48, state, [read, write]).
device_action(machine_7_48, alarm, [read, notify]).
machine(machine_7_49).
location(machine_7_49, line_7).
device_action(machine_7_49, state, [read, write]).
device_action(machine_7_49, alarm, [read, notify]).
machine(machine_7_50).
location(machine_7_50, line_7).
device_action(machine_7_50, state, [read, write]).
device_action(machine_7_50, alarm, [read, notify]).
machine(machine_7_51).
location(machine_7_51, line_7).
device_action(machine_7_51, state, [read, write]).
device_action(machine_7_51, alarm, [read, notify]).
machine(machine_7_52).
location(machine_7_52, line_7).
device_action(machine_7_52, state, [read, write]).
device_action(machine_7_52, alarm, [read, notify]).
machine(machine_7_53).
location(machine_7_53, line_7).
device_action(machine_7_53, state, [read, write]).
device_action(machine_7_53, alarm, [read, notify]).
machine(machine_7_54).
location(machine_7_54, line_7).
device_action(machine_7_54, state, [read, write]).
device_action(machine_7_54, alarm, [read, notify]).
machine(machine_7_55).
location(machine_7_55, line_7).
device_action(machine_7_55, state, [read, write]).
device_action(machine_7_55, alarm, [read, notify]).
machine(machine_7_56).
location(machine_7_56, line_7).
device_action(machine_7_56, state, [read, write]).
device_action(machine_7_56, alarm, [read, notify]).
machine(machine_7_57).
location(machine_7_57, line_7).
device_action(machine_7_57, state, [read, write]).
device_action(machine_7_57, alarm, [read, notify]).
machine(machine_7_58).
location(machine_7_58, line_7).
device_action(machine_7_58, state, [read, write]).
device_action(machine_7_58, alarm, [read, notify]).
machine(machine_7_59).
location(machine_7_59, line_7).
device_action(machine_7_59, state, [read, write]).
device_action(machine_7_59, alarm, [read, notify]).
machine(machine_7_60).
location(machine_7_60, line_7).
device_action(machine_7_60, state, [read, write]).
device_action(machine_7_60, alarm, [read, notify]).
machine(machine_7_61).
location(machine_7_61, line_7).
device_action(machine_7_61, state, [read, write]).
device_action(machine_7_61, alarm, [read, notify]).
machine(machine_7_62).
location(machine_7_62, line_7).
device_action(machine_7_62, state, [read, write]).
device_action(machine_7_62, alarm, [read, notify]).
machine(machine_7_63).
location(machine_7_63, line_7).
device_action(machine_7_63, state, [read, write]).
device_action(machine_7_63, alarm, [read, notify]).
machine(machine_7_64).
location(machine_7_64, line_7).
device_action(machine_7_64, state, [read, write]).
device_action(machine_7_64, alarm, [read, notify]).
machine(machine_7_65).
location(machine_7_65, line_7).
device_action(machine_7_65, state, [read, write]).
device_action(machine_7_65, alarm, [read, notify]).
machine(machine_7_66).
location(machine_7_66, line_7).
device_action(machine_7_66, state, [read, write]).
device_action(machine_7_66, alarm, [read, notify]).
machine(machine_7_67).
location(machine_7_67, line_7).
device_action(machine_7_67, state, [read, write]).
device_action(machine_7_67, alarm, [read, notify]).
machine(machine_7_68).
location(machine_7_68, line_7).
device_action(machine_7_68, state, [read, write]).
device_action(machine_7_68, alarm, [read, notify]).
machine(machine_7_69).
location(machine_7_69, line_7).
device_action(machine_7_69, state, [read, write]).
device_action(machine_7_69, alarm, [read, notify]).
machine(machine_7_70).
location(machine_7_70, line_7).
device_action(machine_7_70, state, [read, write]).
device_action(machine_7_70, alarm, [read, notify]).
machine(machine_7_71).
location(machine_7_71, line_7).
device_action(machine_7_71, state, [read, write]).
device_action(machine_7_71, alarm, [read, notify]).
machine(machine_7_72).
location(machine_7_72, line_7).
device_action(machine_7_72, state, [read, write]).
device_action(machine_7_72, alarm, [read, notify]).
machine(machine_7_73).
location(machine_7_73, line_7).
device_action(machine_7_73, state, [read, write]).
device_action(machine_7_73, alarm, [read, notify]).
machine(machine_7_74).
location(machine_7_74, line_7).
device_action(machine_7_74, state, [read, write]).
device_action(machine_7_74, alarm, [read, notify]).
machine(machine_7_75).
location(machine_7_75, line_7).
device_action(machine_7_75, state, [read, write]).
device_action(machine_7_75, alarm, [read, notify]).
machine(machine_7_76).
location(machine_7_76, line_7).
device_action(machine_7_76, state, [read, write]).
device_action(machine_7_76, alarm, [read, notify]).
machine(machine_7_77).
location(machine_7_77, line_7).
device_action(machine_7_77, state, [read, write]).
device_action(machine_7_77, alarm, [read, notify]).
machine(machine_7_78).
location(machine_7_78, line_7).
device_action(machine_7_78, state, [read, write]).
device_action(machine_7_78, alarm, [read, notify]).
machine(machine_7_79).
location(machine_7_79, line_7).
device_action(machine_7_79, state, [read, write]).
device_action(machine_7_79, alarm, [read, notify]).
machine(machine_7_80).
location(machine_7_80, line_7).
device_action(machine_7_80, state, [read, write]).
device_action(machine_7_80, alarm, [read, notify]).
machine(machine_7_81).
location(machine_7_81, line_7).
device_action(machine_7_81, state, [read, write]).
device_action(machine_7_81, alarm, [read, notify]).
machine(machine_7_82).
location(machine_7_82, line_7).
device_action(machine_7_82, state, [read, write]).
device_action(machine_7_82, alarm, [read, notify]).
machine(machine_7_83).
location(machine_7_83, line_7).
device_action(machine_7_83, state, [read, write]).
device_action(machine_7_83, alarm, [read, notify]).
machine(machine_7_84).
location(machine_7_84, line_7).
device_action(machine_7_84, state, [read, write]).
device_action(machine_7_84, alarm, [read, notify]).
machine(machine_7_85).
location(machine_7_85, line_7).
device_action(machine_7_85, state, [read, write]).
device_action(machine_7_85, alarm, [read, notify]).
machine(machine_7_86).
location(machine_7_86, line_7).
device_action(machine_7_86, state, [read, write]).
device_action(machine_7_86, alarm, [read, notify]).
machine(machine_7_87).
location(machine_7_87, line_7).
device_action(machine_7_87, state, [read, write]).
device_action(machine_7_87, alarm, [read, notify]).
machine(machine_7_88).
location(machine_7_88, line_7).
device_action(machine_7_88, state, [read, write]).
device_action(machine_7_88, alarm, [read, notify]).
machine(machine_7_89).
location(machine_7_89, line_7).
device_action(machine_7_89, state, [read, write]).
device_action(machine_7_89, alarm, [read, notify]).
machine(machine_7_90).
location(machine_7_90, line_7).
device_action(machine_7_90, state, [read, write]).
device_action(machine_7_90, alarm, [read, notify]).
machine(machine_7_91).
location(machine_7_91, line_7).
device_action(machine_7_91, state, [read, write]).
device_action(machine_7_91, alarm, [read, notify]).
machine(machine_7_92).
location(machine_7_92, line_7).
device_action(machine_7_92, state, [read, write]).
device_action(machine_7_92, alarm, [read, notify]).
machine(machine_7_93).
location(machine_7_93, line_7).
device_action(machine_7_93, state, [read, write]).
device_action(machine_7_93, alarm, [read, notify]).
machine(machine_7_94).
location(machine_7_94, line_7).
device_action(machine_7_94, state, [read, write]).
device_action(machine_7_94, alarm, [read, notify]).
machine(machine_7_95).
location(machine_7_95, line_7).
device_action(machine_7_95, state, [read, write]).
device_action(machine_7_95, alarm, [read, notify]).
machine(machine_7_96).
location(machine_7_96, line_7).
device_action(machine_7_96, state, [read, write]).
device_action(machine_7_96, alarm, [read, notify]).
machine(machine_7_97).
location(machine_7_97, line_7).
device_action(machine_7_97, state, [read, write]).
device_action(machine_7_97, alarm, [read, notify]).
machine(machine_7_98).
location(machine_7_98, line_7).
device_action(machine_7_98, state, [read, write]).
device_action(machine_7_98, alarm, [read, notify]).
machine(machine_7_99).
location(machine_7_99, line_7).
device_action(machine_7_99, state, [read, write]).
device_action(machine_7_99, alarm, [read, notify]).
prod_line(line_8).
machine(machine_8_0).
location(machine_8_0, line_8).
device_action(machine_8_0, state, [read, write]).
device_action(machine_8_0, alarm, [read, notify]).
machine(machine_8_1).
location(machine_8_1, line_8).
device_action(machine_8_1, state, [read, write]).
device_action(machine_8_1, alarm, [read, notify]).
machine(machine_8_2).
location(machine_8_2, line_8).
device_action(machine_8_2, state, [read, write]).
device_action(machine_8_2, alarm, [read, notify]).
machine(machine_8_3).
location(machine_8_3, line_8).
device_action(machine_8_3, state, [read, write]).
device_action(machine_8_3, alarm, [read, notify]).
machine(machine_8_4).
location(machine_8_4, line_8).
device_action(machine_8_4, state, [read, write]).
device_action(machine_8_4, alarm, [read, notify]).
machine(machine_8_5).
location(machine_8_5, line_8).
device_action(machine_8_5, state, [read, write]).
device_action(machine_8_5, alarm, [read, notify]).
machine(machine_8_6).
location(machine_8_6, line_8).
device_action(machine_8_6, state, [read, write]).
device_action(machine_8_6, alarm, [read, notify]).
machine(machine_8_7).
location(machine_8_7, line_8).
device_action(machine_8_7, state, [read, write]).
device_action(machine_8_7, alarm, [read, notify]).
machine(machine_8_8).
location(machine_8_8, line_8).
device_action(machine_8_8, state, [read, write]).
device_action(machine_8_8, alarm, [read, notify]).
machine(machine_8_9).
location(machine_8_9, line_8).
device_action(machine_8_9, state, [read, write]).
device_action(machine_8_9, alarm, [read, notify]).
machine(machine_8_10).
location(machine_8_10, line_8).
device_action(machine_8_10, state, [read, write]).
device_action(machine_8_10, alarm, [read, notify]).
machine(machine_8_11).
location(machine_8_11, line_8).
device_action(machine_8_11, state, [read, write]).
device_action(machine_8_11, alarm, [read, notify]).
machine(machine_8_12).
location(machine_8_12, line_8).
device_action(machine_8_12, state, [read, write]).
device_action(machine_8_12, alarm, [read, notify]).
machine(machine_8_13).
location(machine_8_13, line_8).
device_action(machine_8_13, state, [read, write]).
device_action(machine_8_13, alarm, [read, notify]).
machine(machine_8_14).
location(machine_8_14, line_8).
device_action(machine_8_14, state, [read, write]).
device_action(machine_8_14, alarm, [read, notify]).
machine(machine_8_15).
location(machine_8_15, line_8).
device_action(machine_8_15, state, [read, write]).
device_action(machine_8_15, alarm, [read, notify]).
machine(machine_8_16).
location(machine_8_16, line_8).
device_action(machine_8_16, state, [read, write]).
device_action(machine_8_16, alarm, [read, notify]).
machine(machine_8_17).
location(machine_8_17, line_8).
device_action(machine_8_17, state, [read, write]).
device_action(machine_8_17, alarm, [read, notify]).
machine(machine_8_18).
location(machine_8_18, line_8).
device_action(machine_8_18, state, [read, write]).
device_action(machine_8_18, alarm, [read, notify]).
machine(machine_8_19).
location(machine_8_19, line_8).
device_action(machine_8_19, state, [read, write]).
device_action(machine_8_19, alarm, [read, notify]).
machine(machine_8_20).
location(machine_8_20, line_8).
device_action(machine_8_20, state, [read, write]).
device_action(machine_8_20, alarm, [read, notify]).
machine(machine_8_21).
location(machine_8_21, line_8).
device_action(machine_8_21, state, [read, write]).
device_action(machine_8_21, alarm, [read, notify]).
machine(machine_8_22).
location(machine_8_22, line_8).
device_action(machine_8_22, state, [read, write]).
device_action(machine_8_22, alarm, [read, notify]).
machine(machine_8_23).
location(machine_8_23, line_8).
device_action(machine_8_23, state, [read, write]).
device_action(machine_8_23, alarm, [read, notify]).
machine(machine_8_24).
location(machine_8_24, line_8).
device_action(machine_8_24, state, [read, write]).
device_action(machine_8_24, alarm, [read, notify]).
machine(machine_8_25).
location(machine_8_25, line_8).
device_action(machine_8_25, state, [read, write]).
device_action(machine_8_25, alarm, [read, notify]).
machine(machine_8_26).
location(machine_8_26, line_8).
device_action(machine_8_26, state, [read, write]).
device_action(machine_8_26, alarm, [read, notify]).
machine(machine_8_27).
location(machine_8_27, line_8).
device_action(machine_8_27, state, [read, write]).
device_action(machine_8_27, alarm, [read, notify]).
machine(machine_8_28).
location(machine_8_28, line_8).
device_action(machine_8_28, state, [read, write]).
device_action(machine_8_28, alarm, [read, notify]).
machine(machine_8_29).
location(machine_8_29, line_8).
device_action(machine_8_29, state, [read, write]).
device_action(machine_8_29, alarm, [read, notify]).
machine(machine_8_30).
location(machine_8_30, line_8).
device_action(machine_8_30, state, [read, write]).
device_action(machine_8_30, alarm, [read, notify]).
machine(machine_8_31).
location(machine_8_31, line_8).
device_action(machine_8_31, state, [read, write]).
device_action(machine_8_31, alarm, [read, notify]).
machine(machine_8_32).
location(machine_8_32, line_8).
device_action(machine_8_32, state, [read, write]).
device_action(machine_8_32, alarm, [read, notify]).
machine(machine_8_33).
location(machine_8_33, line_8).
device_action(machine_8_33, state, [read, write]).
device_action(machine_8_33, alarm, [read, notify]).
machine(machine_8_34).
location(machine_8_34, line_8).
device_action(machine_8_34, state, [read, write]).
device_action(machine_8_34, alarm, [read, notify]).
machine(machine_8_35).
location(machine_8_35, line_8).
device_action(machine_8_35, state, [read, write]).
device_action(machine_8_35, alarm, [read, notify]).
machine(machine_8_36).
location(machine_8_36, line_8).
device_action(machine_8_36, state, [read, write]).
device_action(machine_8_36, alarm, [read, notify]).
machine(machine_8_37).
location(machine_8_37, line_8).
device_action(machine_8_37, state, [read, write]).
device_action(machine_8_37, alarm, [read, notify]).
machine(machine_8_38).
location(machine_8_38, line_8).
device_action(machine_8_38, state, [read, write]).
device_action(machine_8_38, alarm, [read, notify]).
machine(machine_8_39).
location(machine_8_39, line_8).
device_action(machine_8_39, state, [read, write]).
device_action(machine_8_39, alarm, [read, notify]).
machine(machine_8_40).
location(machine_8_40, line_8).
device_action(machine_8_40, state, [read, write]).
device_action(machine_8_40, alarm, [read, notify]).
machine(machine_8_41).
location(machine_8_41, line_8).
device_action(machine_8_41, state, [read, write]).
device_action(machine_8_41, alarm, [read, notify]).
machine(machine_8_42).
location(machine_8_42, line_8).
device_action(machine_8_42, state, [read, write]).
device_action(machine_8_42, alarm, [read, notify]).
machine(machine_8_43).
location(machine_8_43, line_8).
device_action(machine_8_43, state, [read, write]).
device_action(machine_8_43, alarm, [read, notify]).
machine(machine_8_44).
location(machine_8_44, line_8).
device_action(machine_8_44, state, [read, write]).
device_action(machine_8_44, alarm, [read, notify]).
machine(machine_8_45).
location(machine_8_45, line_8).
device_action(machine_8_45, state, [read, write]).
device_action(machine_8_45, alarm, [read, notify]).
machine(machine_8_46).
location(machine_8_46, line_8).
device_action(machine_8_46, state, [read, write]).
device_action(machine_8_46, alarm, [read, notify]).
machine(machine_8_47).
location(machine_8_47, line_8).
device_action(machine_8_47, state, [read, write]).
device_action(machine_8_47, alarm, [read, notify]).
machine(machine_8_48).
location(machine_8_48, line_8).
device_action(machine_8_48, state, [read, write]).
device_action(machine_8_48, alarm, [read, notify]).
machine(machine_8_49).
location(machine_8_49, line_8).
device_action(machine_8_49, state, [read, write]).
device_action(machine_8_49, alarm, [read, notify]).
machine(machine_8_50).
location(machine_8_50, line_8).
device_action(machine_8_50, state, [read, write]).
device_action(machine_8_50, alarm, [read, notify]).
machine(machine_8_51).
location(machine_8_51, line_8).
device_action(machine_8_51, state, [read, write]).
device_action(machine_8_51, alarm, [read, notify]).
machine(machine_8_52).
location(machine_8_52, line_8).
device_action(machine_8_52, state, [read, write]).
device_action(machine_8_52, alarm, [read, notify]).
machine(machine_8_53).
location(machine_8_53, line_8).
device_action(machine_8_53, state, [read, write]).
device_action(machine_8_53, alarm, [read, notify]).
machine(machine_8_54).
location(machine_8_54, line_8).
device_action(machine_8_54, state, [read, write]).
device_action(machine_8_54, alarm, [read, notify]).
machine(machine_8_55).
location(machine_8_55, line_8).
device_action(machine_8_55, state, [read, write]).
device_action(machine_8_55, alarm, [read, notify]).
machine(machine_8_56).
location(machine_8_56, line_8).
device_action(machine_8_56, state, [read, write]).
device_action(machine_8_56, alarm, [read, notify]).
machine(machine_8_57).
location(machine_8_57, line_8).
device_action(machine_8_57, state, [read, write]).
device_action(machine_8_57, alarm, [read, notify]).
machine(machine_8_58).
location(machine_8_58, line_8).
device_action(machine_8_58, state, [read, write]).
device_action(machine_8_58, alarm, [read, notify]).
machine(machine_8_59).
location(machine_8_59, line_8).
device_action(machine_8_59, state, [read, write]).
device_action(machine_8_59, alarm, [read, notify]).
machine(machine_8_60).
location(machine_8_60, line_8).
device_action(machine_8_60, state, [read, write]).
device_action(machine_8_60, alarm, [read, notify]).
machine(machine_8_61).
location(machine_8_61, line_8).
device_action(machine_8_61, state, [read, write]).
device_action(machine_8_61, alarm, [read, notify]).
machine(machine_8_62).
location(machine_8_62, line_8).
device_action(machine_8_62, state, [read, write]).
device_action(machine_8_62, alarm, [read, notify]).
machine(machine_8_63).
location(machine_8_63, line_8).
device_action(machine_8_63, state, [read, write]).
device_action(machine_8_63, alarm, [read, notify]).
machine(machine_8_64).
location(machine_8_64, line_8).
device_action(machine_8_64, state, [read, write]).
device_action(machine_8_64, alarm, [read, notify]).
machine(machine_8_65).
location(machine_8_65, line_8).
device_action(machine_8_65, state, [read, write]).
device_action(machine_8_65, alarm, [read, notify]).
machine(machine_8_66).
location(machine_8_66, line_8).
device_action(machine_8_66, state, [read, write]).
device_action(machine_8_66, alarm, [read, notify]).
machine(machine_8_67).
location(machine_8_67, line_8).
device_action(machine_8_67, state, [read, write]).
device_action(machine_8_67, alarm, [read, notify]).
machine(machine_8_68).
location(machine_8_68, line_8).
device_action(machine_8_68, state, [read, write]).
device_action(machine_8_68, alarm, [read, notify]).
machine(machine_8_69).
location(machine_8_69, line_8).
device_action(machine_8_69, state, [read, write]).
device_action(machine_8_69, alarm, [read, notify]).
machine(machine_8_70).
location(machine_8_70, line_8).
device_action(machine_8_70, state, [read, write]).
device_action(machine_8_70, alarm, [read, notify]).
machine(machine_8_71).
location(machine_8_71, line_8).
device_action(machine_8_71, state, [read, write]).
device_action(machine_8_71, alarm, [read, notify]).
machine(machine_8_72).
location(machine_8_72, line_8).
device_action(machine_8_72, state, [read, write]).
device_action(machine_8_72, alarm, [read, notify]).
machine(machine_8_73).
location(machine_8_73, line_8).
device_action(machine_8_73, state, [read, write]).
device_action(machine_8_73, alarm, [read, notify]).
machine(machine_8_74).
location(machine_8_74, line_8).
device_action(machine_8_74, state, [read, write]).
device_action(machine_8_74, alarm, [read, notify]).
machine(machine_8_75).
location(machine_8_75, line_8).
device_action(machine_8_75, state, [read, write]).
device_action(machine_8_75, alarm, [read, notify]).
machine(machine_8_76).
location(machine_8_76, line_8).
device_action(machine_8_76, state, [read, write]).
device_action(machine_8_76, alarm, [read, notify]).
machine(machine_8_77).
location(machine_8_77, line_8).
device_action(machine_8_77, state, [read, write]).
device_action(machine_8_77, alarm, [read, notify]).
machine(machine_8_78).
location(machine_8_78, line_8).
device_action(machine_8_78, state, [read, write]).
device_action(machine_8_78, alarm, [read, notify]).
machine(machine_8_79).
location(machine_8_79, line_8).
device_action(machine_8_79, state, [read, write]).
device_action(machine_8_79, alarm, [read, notify]).
machine(machine_8_80).
location(machine_8_80, line_8).
device_action(machine_8_80, state, [read, write]).
device_action(machine_8_80, alarm, [read, notify]).
machine(machine_8_81).
location(machine_8_81, line_8).
device_action(machine_8_81, state, [read, write]).
device_action(machine_8_81, alarm, [read, notify]).
machine(machine_8_82).
location(machine_8_82, line_8).
device_action(machine_8_82, state, [read, write]).
device_action(machine_8_82, alarm, [read, notify]).
machine(machine_8_83).
location(machine_8_83, line_8).
device_action(machine_8_83, state, [read, write]).
device_action(machine_8_83, alarm, [read, notify]).
machine(machine_8_84).
location(machine_8_84, line_8).
device_action(machine_8_84, state, [read, write]).
device_action(machine_8_84, alarm, [read, notify]).
machine(machine_8_85).
location(machine_8_85, line_8).
device_action(machine_8_85, state, [read, write]).
device_action(machine_8_85, alarm, [read, notify]).
machine(machine_8_86).
location(machine_8_86, line_8).
device_action(machine_8_86, state, [read, write]).
device_action(machine_8_86, alarm, [read, notify]).
machine(machine_8_87).
location(machine_8_87, line_8).
device_action(machine_8_87, state, [read, write]).
device_action(machine_8_87, alarm, [read, notify]).
machine(machine_8_88).
location(machine_8_88, line_8).
device_action(machine_8_88, state, [read, write]).
device_action(machine_8_88, alarm, [read, notify]).
machine(machine_8_89).
location(machine_8_89, line_8).
device_action(machine_8_89, state, [read, write]).
device_action(machine_8_89, alarm, [read, notify]).
machine(machine_8_90).
location(machine_8_90, line_8).
device_action(machine_8_90, state, [read, write]).
device_action(machine_8_90, alarm, [read, notify]).
machine(machine_8_91).
location(machine_8_91, line_8).
device_action(machine_8_91, state, [read, write]).
device_action(machine_8_91, alarm, [read, notify]).
machine(machine_8_92).
location(machine_8_92, line_8).
device_action(machine_8_92, state, [read, write]).
device_action(machine_8_92, alarm, [read, notify]).
machine(machine_8_93).
location(machine_8_93, line_8).
device_action(machine_8_93, state, [read, write]).
device_action(machine_8_93, alarm, [read, notify]).
machine(machine_8_94).
location(machine_8_94, line_8).
device_action(machine_8_94, state, [read, write]).
device_action(machine_8_94, alarm, [read, notify]).
machine(machine_8_95).
location(machine_8_95, line_8).
device_action(machine_8_95, state, [read, write]).
device_action(machine_8_95, alarm, [read, notify]).
machine(machine_8_96).
location(machine_8_96, line_8).
device_action(machine_8_96, state, [read, write]).
device_action(machine_8_96, alarm, [read, notify]).
machine(machine_8_97).
location(machine_8_97, line_8).
device_action(machine_8_97, state, [read, write]).
device_action(machine_8_97, alarm, [read, notify]).
machine(machine_8_98).
location(machine_8_98, line_8).
device_action(machine_8_98, state, [read, write]).
device_action(machine_8_98, alarm, [read, notify]).
machine(machine_8_99).
location(machine_8_99, line_8).
device_action(machine_8_99, state, [read, write]).
device_action(machine_8_99, alarm, [read, notify]).
prod_line(line_9).
machine(machine_9_0).
location(machine_9_0, line_9).
device_action(machine_9_0, state, [read, write]).
device_action(machine_9_0, alarm, [read, notify]).
machine(machine_9_1).
location(machine_9_1, line_9).
device_action(machine_9_1, state, [read, write]).
device_action(machine_9_1, alarm, [read, notify]).
machine(machine_9_2).
location(machine_9_2, line_9).
device_action(machine_9_2, state, [read, write]).
device_action(machine_9_2, alarm, [read, notify]).
machine(machine_9_3).
location(machine_9_3, line_9).
device_action(machine_9_3, state, [read, write]).
device_action(machine_9_3, alarm, [read, notify]).
machine(machine_9_4).
location(machine_9_4, line_9).
device_action(machine_9_4, state, [read, write]).
device_action(machine_9_4, alarm, [read, notify]).
machine(machine_9_5).
location(machine_9_5, line_9).
device_action(machine_9_5, state, [read, write]).
device_action(machine_9_5, alarm, [read, notify]).
machine(machine_9_6).
location(machine_9_6, line_9).
device_action(machine_9_6, state, [read, write]).
device_action(machine_9_6, alarm, [read, notify]).
machine(machine_9_7).
location(machine_9_7, line_9).
device_action(machine_9_7, state, [read, write]).
device_action(machine_9_7, alarm, [read, notify]).
machine(machine_9_8).
location(machine_9_8, line_9).
device_action(machine_9_8, state, [read, write]).
device_action(machine_9_8, alarm, [read, notify]).
machine(machine_9_9).
location(machine_9_9, line_9).
device_action(machine_9_9, state, [read, write]).
device_action(machine_9_9, alarm, [read, notify]).
machine(machine_9_10).
location(machine_9_10, line_9).
device_action(machine_9_10, state, [read, write]).
device_action(machine_9_10, alarm, [read, notify]).
machine(machine_9_11).
location(machine_9_11, line_9).
device_action(machine_9_11, state, [read, write]).
device_action(machine_9_11, alarm, [read, notify]).
machine(machine_9_12).
location(machine_9_12, line_9).
device_action(machine_9_12, state, [read, write]).
device_action(machine_9_12, alarm, [read, notify]).
machine(machine_9_13).
location(machine_9_13, line_9).
device_action(machine_9_13, state, [read, write]).
device_action(machine_9_13, alarm, [read, notify]).
machine(machine_9_14).
location(machine_9_14, line_9).
device_action(machine_9_14, state, [read, write]).
device_action(machine_9_14, alarm, [read, notify]).
machine(machine_9_15).
location(machine_9_15, line_9).
device_action(machine_9_15, state, [read, write]).
device_action(machine_9_15, alarm, [read, notify]).
machine(machine_9_16).
location(machine_9_16, line_9).
device_action(machine_9_16, state, [read, write]).
device_action(machine_9_16, alarm, [read, notify]).
machine(machine_9_17).
location(machine_9_17, line_9).
device_action(machine_9_17, state, [read, write]).
device_action(machine_9_17, alarm, [read, notify]).
machine(machine_9_18).
location(machine_9_18, line_9).
device_action(machine_9_18, state, [read, write]).
device_action(machine_9_18, alarm, [read, notify]).
machine(machine_9_19).
location(machine_9_19, line_9).
device_action(machine_9_19, state, [read, write]).
device_action(machine_9_19, alarm, [read, notify]).
machine(machine_9_20).
location(machine_9_20, line_9).
device_action(machine_9_20, state, [read, write]).
device_action(machine_9_20, alarm, [read, notify]).
machine(machine_9_21).
location(machine_9_21, line_9).
device_action(machine_9_21, state, [read, write]).
device_action(machine_9_21, alarm, [read, notify]).
machine(machine_9_22).
location(machine_9_22, line_9).
device_action(machine_9_22, state, [read, write]).
device_action(machine_9_22, alarm, [read, notify]).
machine(machine_9_23).
location(machine_9_23, line_9).
device_action(machine_9_23, state, [read, write]).
device_action(machine_9_23, alarm, [read, notify]).
machine(machine_9_24).
location(machine_9_24, line_9).
device_action(machine_9_24, state, [read, write]).
device_action(machine_9_24, alarm, [read, notify]).
machine(machine_9_25).
location(machine_9_25, line_9).
device_action(machine_9_25, state, [read, write]).
device_action(machine_9_25, alarm, [read, notify]).
machine(machine_9_26).
location(machine_9_26, line_9).
device_action(machine_9_26, state, [read, write]).
device_action(machine_9_26, alarm, [read, notify]).
machine(machine_9_27).
location(machine_9_27, line_9).
device_action(machine_9_27, state, [read, write]).
device_action(machine_9_27, alarm, [read, notify]).
machine(machine_9_28).
location(machine_9_28, line_9).
device_action(machine_9_28, state, [read, write]).
device_action(machine_9_28, alarm, [read, notify]).
machine(machine_9_29).
location(machine_9_29, line_9).
device_action(machine_9_29, state, [read, write]).
device_action(machine_9_29, alarm, [read, notify]).
machine(machine_9_30).
location(machine_9_30, line_9).
device_action(machine_9_30, state, [read, write]).
device_action(machine_9_30, alarm, [read, notify]).
machine(machine_9_31).
location(machine_9_31, line_9).
device_action(machine_9_31, state, [read, write]).
device_action(machine_9_31, alarm, [read, notify]).
machine(machine_9_32).
location(machine_9_32, line_9).
device_action(machine_9_32, state, [read, write]).
device_action(machine_9_32, alarm, [read, notify]).
machine(machine_9_33).
location(machine_9_33, line_9).
device_action(machine_9_33, state, [read, write]).
device_action(machine_9_33, alarm, [read, notify]).
machine(machine_9_34).
location(machine_9_34, line_9).
device_action(machine_9_34, state, [read, write]).
device_action(machine_9_34, alarm, [read, notify]).
machine(machine_9_35).
location(machine_9_35, line_9).
device_action(machine_9_35, state, [read, write]).
device_action(machine_9_35, alarm, [read, notify]).
machine(machine_9_36).
location(machine_9_36, line_9).
device_action(machine_9_36, state, [read, write]).
device_action(machine_9_36, alarm, [read, notify]).
machine(machine_9_37).
location(machine_9_37, line_9).
device_action(machine_9_37, state, [read, write]).
device_action(machine_9_37, alarm, [read, notify]).
machine(machine_9_38).
location(machine_9_38, line_9).
device_action(machine_9_38, state, [read, write]).
device_action(machine_9_38, alarm, [read, notify]).
machine(machine_9_39).
location(machine_9_39, line_9).
device_action(machine_9_39, state, [read, write]).
device_action(machine_9_39, alarm, [read, notify]).
machine(machine_9_40).
location(machine_9_40, line_9).
device_action(machine_9_40, state, [read, write]).
device_action(machine_9_40, alarm, [read, notify]).
machine(machine_9_41).
location(machine_9_41, line_9).
device_action(machine_9_41, state, [read, write]).
device_action(machine_9_41, alarm, [read, notify]).
machine(machine_9_42).
location(machine_9_42, line_9).
device_action(machine_9_42, state, [read, write]).
device_action(machine_9_42, alarm, [read, notify]).
machine(machine_9_43).
location(machine_9_43, line_9).
device_action(machine_9_43, state, [read, write]).
device_action(machine_9_43, alarm, [read, notify]).
machine(machine_9_44).
location(machine_9_44, line_9).
device_action(machine_9_44, state, [read, write]).
device_action(machine_9_44, alarm, [read, notify]).
machine(machine_9_45).
location(machine_9_45, line_9).
device_action(machine_9_45, state, [read, write]).
device_action(machine_9_45, alarm, [read, notify]).
machine(machine_9_46).
location(machine_9_46, line_9).
device_action(machine_9_46, state, [read, write]).
device_action(machine_9_46, alarm, [read, notify]).
machine(machine_9_47).
location(machine_9_47, line_9).
device_action(machine_9_47, state, [read, write]).
device_action(machine_9_47, alarm, [read, notify]).
machine(machine_9_48).
location(machine_9_48, line_9).
device_action(machine_9_48, state, [read, write]).
device_action(machine_9_48, alarm, [read, notify]).
machine(machine_9_49).
location(machine_9_49, line_9).
device_action(machine_9_49, state, [read, write]).
device_action(machine_9_49, alarm, [read, notify]).
machine(machine_9_50).
location(machine_9_50, line_9).
device_action(machine_9_50, state, [read, write]).
device_action(machine_9_50, alarm, [read, notify]).
machine(machine_9_51).
location(machine_9_51, line_9).
device_action(machine_9_51, state, [read, write]).
device_action(machine_9_51, alarm, [read, notify]).
machine(machine_9_52).
location(machine_9_52, line_9).
device_action(machine_9_52, state, [read, write]).
device_action(machine_9_52, alarm, [read, notify]).
machine(machine_9_53).
location(machine_9_53, line_9).
device_action(machine_9_53, state, [read, write]).
device_action(machine_9_53, alarm, [read, notify]).
machine(machine_9_54).
location(machine_9_54, line_9).
device_action(machine_9_54, state, [read, write]).
device_action(machine_9_54, alarm, [read, notify]).
machine(machine_9_55).
location(machine_9_55, line_9).
device_action(machine_9_55, state, [read, write]).
device_action(machine_9_55, alarm, [read, notify]).
machine(machine_9_56).
location(machine_9_56, line_9).
device_action(machine_9_56, state, [read, write]).
device_action(machine_9_56, alarm, [read, notify]).
machine(machine_9_57).
location(machine_9_57, line_9).
device_action(machine_9_57, state, [read, write]).
device_action(machine_9_57, alarm, [read, notify]).
machine(machine_9_58).
location(machine_9_58, line_9).
device_action(machine_9_58, state, [read, write]).
device_action(machine_9_58, alarm, [read, notify]).
machine(machine_9_59).
location(machine_9_59, line_9).
device_action(machine_9_59, state, [read, write]).
device_action(machine_9_59, alarm, [read, notify]).
machine(machine_9_60).
location(machine_9_60, line_9).
device_action(machine_9_60, state, [read, write]).
device_action(machine_9_60, alarm, [read, notify]).
machine(machine_9_61).
location(machine_9_61, line_9).
device_action(machine_9_61, state, [read, write]).
device_action(machine_9_61, alarm, [read, notify]).
machine(machine_9_62).
location(machine_9_62, line_9).
device_action(machine_9_62, state, [read, write]).
device_action(machine_9_62, alarm, [read, notify]).
machine(machine_9_63).
location(machine_9_63, line_9).
device_action(machine_9_63, state, [read, write]).
device_action(machine_9_63, alarm, [read, notify]).
machine(machine_9_64).
location(machine_9_64, line_9).
device_action(machine_9_64, state, [read, write]).
device_action(machine_9_64, alarm, [read, notify]).
machine(machine_9_65).
location(machine_9_65, line_9).
device_action(machine_9_65, state, [read, write]).
device_action(machine_9_65, alarm, [read, notify]).
machine(machine_9_66).
location(machine_9_66, line_9).
device_action(machine_9_66, state, [read, write]).
device_action(machine_9_66, alarm, [read, notify]).
machine(machine_9_67).
location(machine_9_67, line_9).
device_action(machine_9_67, state, [read, write]).
device_action(machine_9_67, alarm, [read, notify]).
machine(machine_9_68).
location(machine_9_68, line_9).
device_action(machine_9_68, state, [read, write]).
device_action(machine_9_68, alarm, [read, notify]).
machine(machine_9_69).
location(machine_9_69, line_9).
device_action(machine_9_69, state, [read, write]).
device_action(machine_9_69, alarm, [read, notify]).
machine(machine_9_70).
location(machine_9_70, line_9).
device_action(machine_9_70, state, [read, write]).
device_action(machine_9_70, alarm, [read, notify]).
machine(machine_9_71).
location(machine_9_71, line_9).
device_action(machine_9_71, state, [read, write]).
device_action(machine_9_71, alarm, [read, notify]).
machine(machine_9_72).
location(machine_9_72, line_9).
device_action(machine_9_72, state, [read, write]).
device_action(machine_9_72, alarm, [read, notify]).
machine(machine_9_73).
location(machine_9_73, line_9).
device_action(machine_9_73, state, [read, write]).
device_action(machine_9_73, alarm, [read, notify]).
machine(machine_9_74).
location(machine_9_74, line_9).
device_action(machine_9_74, state, [read, write]).
device_action(machine_9_74, alarm, [read, notify]).
machine(machine_9_75).
location(machine_9_75, line_9).
device_action(machine_9_75, state, [read, write]).
device_action(machine_9_75, alarm, [read, notify]).
machine(machine_9_76).
location(machine_9_76, line_9).
device_action(machine_9_76, state, [read, write]).
device_action(machine_9_76, alarm, [read, notify]).
machine(machine_9_77).
location(machine_9_77, line_9).
device_action(machine_9_77, state, [read, write]).
device_action(machine_9_77, alarm, [read, notify]).
machine(machine_9_78).
location(machine_9_78, line_9).
device_action(machine_9_78, state, [read, write]).
device_action(machine_9_78, alarm, [read, notify]).
machine(machine_9_79).
location(machine_9_79, line_9).
device_action(machine_9_79, state, [read, write]).
device_action(machine_9_79, alarm, [read, notify]).
machine(machine_9_80).
location(machine_9_80, line_9).
device_action(machine_9_80, state, [read, write]).
device_action(machine_9_80, alarm, [read, notify]).
machine(machine_9_81).
location(machine_9_81, line_9).
device_action(machine_9_81, state, [read, write]).
device_action(machine_9_81, alarm, [read, notify]).
machine(machine_9_82).
location(machine_9_82, line_9).
device_action(machine_9_82, state, [read, write]).
device_action(machine_9_82, alarm, [read, notify]).
machine(machine_9_83).
location(machine_9_83, line_9).
device_action(machine_9_83, state, [read, write]).
device_action(machine_9_83, alarm, [read, notify]).
machine(machine_9_84).
location(machine_9_84, line_9).
device_action(machine_9_84, state, [read, write]).
device_action(machine_9_84, alarm, [read, notify]).
machine(machine_9_85).
location(machine_9_85, line_9).
device_action(machine_9_85, state, [read, write]).
device_action(machine_9_85, alarm, [read, notify]).
machine(machine_9_86).
location(machine_9_86, line_9).
device_action(machine_9_86, state, [read, write]).
device_action(machine_9_86, alarm, [read, notify]).
machine(machine_9_87).
location(machine_9_87, line_9).
device_action(machine_9_87, state, [read, write]).
device_action(machine_9_87, alarm, [read, notify]).
machine(machine_9_88).
location(machine_9_88, line_9).
device_action(machine_9_88, state, [read, write]).
device_action(machine_9_88, alarm, [read, notify]).
machine(machine_9_89).
location(machine_9_89, line_9).
device_action(machine_9_89, state, [read, write]).
device_action(machine_9_89, alarm, [read, notify]).
machine(machine_9_90).
location(machine_9_90, line_9).
device_action(machine_9_90, state, [read, write]).
device_action(machine_9_90, alarm, [read, notify]).
machine(machine_9_91).
location(machine_9_91, line_9).
device_action(machine_9_91, state, [read, write]).
device_action(machine_9_91, alarm, [read, notify]).
machine(machine_9_92).
location(machine_9_92, line_9).
device_action(machine_9_92, state, [read, write]).
device_action(machine_9_92, alarm, [read, notify]).
machine(machine_9_93).
location(machine_9_93, line_9).
device_action(machine_9_93, state, [read, write]).
device_action(machine_9_93, alarm, [read, notify]).
machine(machine_9_94).
location(machine_9_94, line_9).
device_action(machine_9_94, state, [read, write]).
device_action(machine_9_94, alarm, [read, notify]).
machine(machine_9_95).
location(machine_9_95, line_9).
device_action(machine_9_95, state, [read, write]).
device_action(machine_9_95, alarm, [read, notify]).
machine(machine_9_96).
location(machine_9_96, line_9).
device_action(machine_9_96, state, [read, write]).
device_action(machine_9_96, alarm, [read, notify]).
machine(machine_9_97).
location(machine_9_97, line_9).
device_action(machine_9_97, state, [read, write]).
device_action(machine_9_97, alarm, [read, notify]).
machine(machine_9_98).
location(machine_9_98, line_9).
device_action(machine_9_98, state, [read, write]).
device_action(machine_9_98, alarm, [read, notify]).
machine(machine_9_99).
location(machine_9_99, line_9).
device_action(machine_9_99, state, [read, write]).
device_action(machine_9_99, alarm, [read, notify]).