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]).
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]).
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]).
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]).
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]).
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]).
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]).
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]).
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]).
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]).
prod_line(line_10).
machine(machine_10_0).
location(machine_10_0, line_10).
device_action(machine_10_0, state, [read, write]).
device_action(machine_10_0, alarm, [read, notify]).
machine(machine_10_1).
location(machine_10_1, line_10).
device_action(machine_10_1, state, [read, write]).
device_action(machine_10_1, alarm, [read, notify]).
machine(machine_10_2).
location(machine_10_2, line_10).
device_action(machine_10_2, state, [read, write]).
device_action(machine_10_2, alarm, [read, notify]).
machine(machine_10_3).
location(machine_10_3, line_10).
device_action(machine_10_3, state, [read, write]).
device_action(machine_10_3, alarm, [read, notify]).
machine(machine_10_4).
location(machine_10_4, line_10).
device_action(machine_10_4, state, [read, write]).
device_action(machine_10_4, alarm, [read, notify]).
machine(machine_10_5).
location(machine_10_5, line_10).
device_action(machine_10_5, state, [read, write]).
device_action(machine_10_5, alarm, [read, notify]).
machine(machine_10_6).
location(machine_10_6, line_10).
device_action(machine_10_6, state, [read, write]).
device_action(machine_10_6, alarm, [read, notify]).
machine(machine_10_7).
location(machine_10_7, line_10).
device_action(machine_10_7, state, [read, write]).
device_action(machine_10_7, alarm, [read, notify]).
machine(machine_10_8).
location(machine_10_8, line_10).
device_action(machine_10_8, state, [read, write]).
device_action(machine_10_8, alarm, [read, notify]).
machine(machine_10_9).
location(machine_10_9, line_10).
device_action(machine_10_9, state, [read, write]).
device_action(machine_10_9, alarm, [read, notify]).
prod_line(line_11).
machine(machine_11_0).
location(machine_11_0, line_11).
device_action(machine_11_0, state, [read, write]).
device_action(machine_11_0, alarm, [read, notify]).
machine(machine_11_1).
location(machine_11_1, line_11).
device_action(machine_11_1, state, [read, write]).
device_action(machine_11_1, alarm, [read, notify]).
machine(machine_11_2).
location(machine_11_2, line_11).
device_action(machine_11_2, state, [read, write]).
device_action(machine_11_2, alarm, [read, notify]).
machine(machine_11_3).
location(machine_11_3, line_11).
device_action(machine_11_3, state, [read, write]).
device_action(machine_11_3, alarm, [read, notify]).
machine(machine_11_4).
location(machine_11_4, line_11).
device_action(machine_11_4, state, [read, write]).
device_action(machine_11_4, alarm, [read, notify]).
machine(machine_11_5).
location(machine_11_5, line_11).
device_action(machine_11_5, state, [read, write]).
device_action(machine_11_5, alarm, [read, notify]).
machine(machine_11_6).
location(machine_11_6, line_11).
device_action(machine_11_6, state, [read, write]).
device_action(machine_11_6, alarm, [read, notify]).
machine(machine_11_7).
location(machine_11_7, line_11).
device_action(machine_11_7, state, [read, write]).
device_action(machine_11_7, alarm, [read, notify]).
machine(machine_11_8).
location(machine_11_8, line_11).
device_action(machine_11_8, state, [read, write]).
device_action(machine_11_8, alarm, [read, notify]).
machine(machine_11_9).
location(machine_11_9, line_11).
device_action(machine_11_9, state, [read, write]).
device_action(machine_11_9, alarm, [read, notify]).
prod_line(line_12).
machine(machine_12_0).
location(machine_12_0, line_12).
device_action(machine_12_0, state, [read, write]).
device_action(machine_12_0, alarm, [read, notify]).
machine(machine_12_1).
location(machine_12_1, line_12).
device_action(machine_12_1, state, [read, write]).
device_action(machine_12_1, alarm, [read, notify]).
machine(machine_12_2).
location(machine_12_2, line_12).
device_action(machine_12_2, state, [read, write]).
device_action(machine_12_2, alarm, [read, notify]).
machine(machine_12_3).
location(machine_12_3, line_12).
device_action(machine_12_3, state, [read, write]).
device_action(machine_12_3, alarm, [read, notify]).
machine(machine_12_4).
location(machine_12_4, line_12).
device_action(machine_12_4, state, [read, write]).
device_action(machine_12_4, alarm, [read, notify]).
machine(machine_12_5).
location(machine_12_5, line_12).
device_action(machine_12_5, state, [read, write]).
device_action(machine_12_5, alarm, [read, notify]).
machine(machine_12_6).
location(machine_12_6, line_12).
device_action(machine_12_6, state, [read, write]).
device_action(machine_12_6, alarm, [read, notify]).
machine(machine_12_7).
location(machine_12_7, line_12).
device_action(machine_12_7, state, [read, write]).
device_action(machine_12_7, alarm, [read, notify]).
machine(machine_12_8).
location(machine_12_8, line_12).
device_action(machine_12_8, state, [read, write]).
device_action(machine_12_8, alarm, [read, notify]).
machine(machine_12_9).
location(machine_12_9, line_12).
device_action(machine_12_9, state, [read, write]).
device_action(machine_12_9, alarm, [read, notify]).
prod_line(line_13).
machine(machine_13_0).
location(machine_13_0, line_13).
device_action(machine_13_0, state, [read, write]).
device_action(machine_13_0, alarm, [read, notify]).
machine(machine_13_1).
location(machine_13_1, line_13).
device_action(machine_13_1, state, [read, write]).
device_action(machine_13_1, alarm, [read, notify]).
machine(machine_13_2).
location(machine_13_2, line_13).
device_action(machine_13_2, state, [read, write]).
device_action(machine_13_2, alarm, [read, notify]).
machine(machine_13_3).
location(machine_13_3, line_13).
device_action(machine_13_3, state, [read, write]).
device_action(machine_13_3, alarm, [read, notify]).
machine(machine_13_4).
location(machine_13_4, line_13).
device_action(machine_13_4, state, [read, write]).
device_action(machine_13_4, alarm, [read, notify]).
machine(machine_13_5).
location(machine_13_5, line_13).
device_action(machine_13_5, state, [read, write]).
device_action(machine_13_5, alarm, [read, notify]).
machine(machine_13_6).
location(machine_13_6, line_13).
device_action(machine_13_6, state, [read, write]).
device_action(machine_13_6, alarm, [read, notify]).
machine(machine_13_7).
location(machine_13_7, line_13).
device_action(machine_13_7, state, [read, write]).
device_action(machine_13_7, alarm, [read, notify]).
machine(machine_13_8).
location(machine_13_8, line_13).
device_action(machine_13_8, state, [read, write]).
device_action(machine_13_8, alarm, [read, notify]).
machine(machine_13_9).
location(machine_13_9, line_13).
device_action(machine_13_9, state, [read, write]).
device_action(machine_13_9, alarm, [read, notify]).
prod_line(line_14).
machine(machine_14_0).
location(machine_14_0, line_14).
device_action(machine_14_0, state, [read, write]).
device_action(machine_14_0, alarm, [read, notify]).
machine(machine_14_1).
location(machine_14_1, line_14).
device_action(machine_14_1, state, [read, write]).
device_action(machine_14_1, alarm, [read, notify]).
machine(machine_14_2).
location(machine_14_2, line_14).
device_action(machine_14_2, state, [read, write]).
device_action(machine_14_2, alarm, [read, notify]).
machine(machine_14_3).
location(machine_14_3, line_14).
device_action(machine_14_3, state, [read, write]).
device_action(machine_14_3, alarm, [read, notify]).
machine(machine_14_4).
location(machine_14_4, line_14).
device_action(machine_14_4, state, [read, write]).
device_action(machine_14_4, alarm, [read, notify]).
machine(machine_14_5).
location(machine_14_5, line_14).
device_action(machine_14_5, state, [read, write]).
device_action(machine_14_5, alarm, [read, notify]).
machine(machine_14_6).
location(machine_14_6, line_14).
device_action(machine_14_6, state, [read, write]).
device_action(machine_14_6, alarm, [read, notify]).
machine(machine_14_7).
location(machine_14_7, line_14).
device_action(machine_14_7, state, [read, write]).
device_action(machine_14_7, alarm, [read, notify]).
machine(machine_14_8).
location(machine_14_8, line_14).
device_action(machine_14_8, state, [read, write]).
device_action(machine_14_8, alarm, [read, notify]).
machine(machine_14_9).
location(machine_14_9, line_14).
device_action(machine_14_9, state, [read, write]).
device_action(machine_14_9, alarm, [read, notify]).
prod_line(line_15).
machine(machine_15_0).
location(machine_15_0, line_15).
device_action(machine_15_0, state, [read, write]).
device_action(machine_15_0, alarm, [read, notify]).
machine(machine_15_1).
location(machine_15_1, line_15).
device_action(machine_15_1, state, [read, write]).
device_action(machine_15_1, alarm, [read, notify]).
machine(machine_15_2).
location(machine_15_2, line_15).
device_action(machine_15_2, state, [read, write]).
device_action(machine_15_2, alarm, [read, notify]).
machine(machine_15_3).
location(machine_15_3, line_15).
device_action(machine_15_3, state, [read, write]).
device_action(machine_15_3, alarm, [read, notify]).
machine(machine_15_4).
location(machine_15_4, line_15).
device_action(machine_15_4, state, [read, write]).
device_action(machine_15_4, alarm, [read, notify]).
machine(machine_15_5).
location(machine_15_5, line_15).
device_action(machine_15_5, state, [read, write]).
device_action(machine_15_5, alarm, [read, notify]).
machine(machine_15_6).
location(machine_15_6, line_15).
device_action(machine_15_6, state, [read, write]).
device_action(machine_15_6, alarm, [read, notify]).
machine(machine_15_7).
location(machine_15_7, line_15).
device_action(machine_15_7, state, [read, write]).
device_action(machine_15_7, alarm, [read, notify]).
machine(machine_15_8).
location(machine_15_8, line_15).
device_action(machine_15_8, state, [read, write]).
device_action(machine_15_8, alarm, [read, notify]).
machine(machine_15_9).
location(machine_15_9, line_15).
device_action(machine_15_9, state, [read, write]).
device_action(machine_15_9, alarm, [read, notify]).
prod_line(line_16).
machine(machine_16_0).
location(machine_16_0, line_16).
device_action(machine_16_0, state, [read, write]).
device_action(machine_16_0, alarm, [read, notify]).
machine(machine_16_1).
location(machine_16_1, line_16).
device_action(machine_16_1, state, [read, write]).
device_action(machine_16_1, alarm, [read, notify]).
machine(machine_16_2).
location(machine_16_2, line_16).
device_action(machine_16_2, state, [read, write]).
device_action(machine_16_2, alarm, [read, notify]).
machine(machine_16_3).
location(machine_16_3, line_16).
device_action(machine_16_3, state, [read, write]).
device_action(machine_16_3, alarm, [read, notify]).
machine(machine_16_4).
location(machine_16_4, line_16).
device_action(machine_16_4, state, [read, write]).
device_action(machine_16_4, alarm, [read, notify]).
machine(machine_16_5).
location(machine_16_5, line_16).
device_action(machine_16_5, state, [read, write]).
device_action(machine_16_5, alarm, [read, notify]).
machine(machine_16_6).
location(machine_16_6, line_16).
device_action(machine_16_6, state, [read, write]).
device_action(machine_16_6, alarm, [read, notify]).
machine(machine_16_7).
location(machine_16_7, line_16).
device_action(machine_16_7, state, [read, write]).
device_action(machine_16_7, alarm, [read, notify]).
machine(machine_16_8).
location(machine_16_8, line_16).
device_action(machine_16_8, state, [read, write]).
device_action(machine_16_8, alarm, [read, notify]).
machine(machine_16_9).
location(machine_16_9, line_16).
device_action(machine_16_9, state, [read, write]).
device_action(machine_16_9, alarm, [read, notify]).
prod_line(line_17).
machine(machine_17_0).
location(machine_17_0, line_17).
device_action(machine_17_0, state, [read, write]).
device_action(machine_17_0, alarm, [read, notify]).
machine(machine_17_1).
location(machine_17_1, line_17).
device_action(machine_17_1, state, [read, write]).
device_action(machine_17_1, alarm, [read, notify]).
machine(machine_17_2).
location(machine_17_2, line_17).
device_action(machine_17_2, state, [read, write]).
device_action(machine_17_2, alarm, [read, notify]).
machine(machine_17_3).
location(machine_17_3, line_17).
device_action(machine_17_3, state, [read, write]).
device_action(machine_17_3, alarm, [read, notify]).
machine(machine_17_4).
location(machine_17_4, line_17).
device_action(machine_17_4, state, [read, write]).
device_action(machine_17_4, alarm, [read, notify]).
machine(machine_17_5).
location(machine_17_5, line_17).
device_action(machine_17_5, state, [read, write]).
device_action(machine_17_5, alarm, [read, notify]).
machine(machine_17_6).
location(machine_17_6, line_17).
device_action(machine_17_6, state, [read, write]).
device_action(machine_17_6, alarm, [read, notify]).
machine(machine_17_7).
location(machine_17_7, line_17).
device_action(machine_17_7, state, [read, write]).
device_action(machine_17_7, alarm, [read, notify]).
machine(machine_17_8).
location(machine_17_8, line_17).
device_action(machine_17_8, state, [read, write]).
device_action(machine_17_8, alarm, [read, notify]).
machine(machine_17_9).
location(machine_17_9, line_17).
device_action(machine_17_9, state, [read, write]).
device_action(machine_17_9, alarm, [read, notify]).
prod_line(line_18).
machine(machine_18_0).
location(machine_18_0, line_18).
device_action(machine_18_0, state, [read, write]).
device_action(machine_18_0, alarm, [read, notify]).
machine(machine_18_1).
location(machine_18_1, line_18).
device_action(machine_18_1, state, [read, write]).
device_action(machine_18_1, alarm, [read, notify]).
machine(machine_18_2).
location(machine_18_2, line_18).
device_action(machine_18_2, state, [read, write]).
device_action(machine_18_2, alarm, [read, notify]).
machine(machine_18_3).
location(machine_18_3, line_18).
device_action(machine_18_3, state, [read, write]).
device_action(machine_18_3, alarm, [read, notify]).
machine(machine_18_4).
location(machine_18_4, line_18).
device_action(machine_18_4, state, [read, write]).
device_action(machine_18_4, alarm, [read, notify]).
machine(machine_18_5).
location(machine_18_5, line_18).
device_action(machine_18_5, state, [read, write]).
device_action(machine_18_5, alarm, [read, notify]).
machine(machine_18_6).
location(machine_18_6, line_18).
device_action(machine_18_6, state, [read, write]).
device_action(machine_18_6, alarm, [read, notify]).
machine(machine_18_7).
location(machine_18_7, line_18).
device_action(machine_18_7, state, [read, write]).
device_action(machine_18_7, alarm, [read, notify]).
machine(machine_18_8).
location(machine_18_8, line_18).
device_action(machine_18_8, state, [read, write]).
device_action(machine_18_8, alarm, [read, notify]).
machine(machine_18_9).
location(machine_18_9, line_18).
device_action(machine_18_9, state, [read, write]).
device_action(machine_18_9, alarm, [read, notify]).
prod_line(line_19).
machine(machine_19_0).
location(machine_19_0, line_19).
device_action(machine_19_0, state, [read, write]).
device_action(machine_19_0, alarm, [read, notify]).
machine(machine_19_1).
location(machine_19_1, line_19).
device_action(machine_19_1, state, [read, write]).
device_action(machine_19_1, alarm, [read, notify]).
machine(machine_19_2).
location(machine_19_2, line_19).
device_action(machine_19_2, state, [read, write]).
device_action(machine_19_2, alarm, [read, notify]).
machine(machine_19_3).
location(machine_19_3, line_19).
device_action(machine_19_3, state, [read, write]).
device_action(machine_19_3, alarm, [read, notify]).
machine(machine_19_4).
location(machine_19_4, line_19).
device_action(machine_19_4, state, [read, write]).
device_action(machine_19_4, alarm, [read, notify]).
machine(machine_19_5).
location(machine_19_5, line_19).
device_action(machine_19_5, state, [read, write]).
device_action(machine_19_5, alarm, [read, notify]).
machine(machine_19_6).
location(machine_19_6, line_19).
device_action(machine_19_6, state, [read, write]).
device_action(machine_19_6, alarm, [read, notify]).
machine(machine_19_7).
location(machine_19_7, line_19).
device_action(machine_19_7, state, [read, write]).
device_action(machine_19_7, alarm, [read, notify]).
machine(machine_19_8).
location(machine_19_8, line_19).
device_action(machine_19_8, state, [read, write]).
device_action(machine_19_8, alarm, [read, notify]).
machine(machine_19_9).
location(machine_19_9, line_19).
device_action(machine_19_9, state, [read, write]).
device_action(machine_19_9, alarm, [read, notify]).
prod_line(line_20).
machine(machine_20_0).
location(machine_20_0, line_20).
device_action(machine_20_0, state, [read, write]).
device_action(machine_20_0, alarm, [read, notify]).
machine(machine_20_1).
location(machine_20_1, line_20).
device_action(machine_20_1, state, [read, write]).
device_action(machine_20_1, alarm, [read, notify]).
machine(machine_20_2).
location(machine_20_2, line_20).
device_action(machine_20_2, state, [read, write]).
device_action(machine_20_2, alarm, [read, notify]).
machine(machine_20_3).
location(machine_20_3, line_20).
device_action(machine_20_3, state, [read, write]).
device_action(machine_20_3, alarm, [read, notify]).
machine(machine_20_4).
location(machine_20_4, line_20).
device_action(machine_20_4, state, [read, write]).
device_action(machine_20_4, alarm, [read, notify]).
machine(machine_20_5).
location(machine_20_5, line_20).
device_action(machine_20_5, state, [read, write]).
device_action(machine_20_5, alarm, [read, notify]).
machine(machine_20_6).
location(machine_20_6, line_20).
device_action(machine_20_6, state, [read, write]).
device_action(machine_20_6, alarm, [read, notify]).
machine(machine_20_7).
location(machine_20_7, line_20).
device_action(machine_20_7, state, [read, write]).
device_action(machine_20_7, alarm, [read, notify]).
machine(machine_20_8).
location(machine_20_8, line_20).
device_action(machine_20_8, state, [read, write]).
device_action(machine_20_8, alarm, [read, notify]).
machine(machine_20_9).
location(machine_20_9, line_20).
device_action(machine_20_9, state, [read, write]).
device_action(machine_20_9, alarm, [read, notify]).
prod_line(line_21).
machine(machine_21_0).
location(machine_21_0, line_21).
device_action(machine_21_0, state, [read, write]).
device_action(machine_21_0, alarm, [read, notify]).
machine(machine_21_1).
location(machine_21_1, line_21).
device_action(machine_21_1, state, [read, write]).
device_action(machine_21_1, alarm, [read, notify]).
machine(machine_21_2).
location(machine_21_2, line_21).
device_action(machine_21_2, state, [read, write]).
device_action(machine_21_2, alarm, [read, notify]).
machine(machine_21_3).
location(machine_21_3, line_21).
device_action(machine_21_3, state, [read, write]).
device_action(machine_21_3, alarm, [read, notify]).
machine(machine_21_4).
location(machine_21_4, line_21).
device_action(machine_21_4, state, [read, write]).
device_action(machine_21_4, alarm, [read, notify]).
machine(machine_21_5).
location(machine_21_5, line_21).
device_action(machine_21_5, state, [read, write]).
device_action(machine_21_5, alarm, [read, notify]).
machine(machine_21_6).
location(machine_21_6, line_21).
device_action(machine_21_6, state, [read, write]).
device_action(machine_21_6, alarm, [read, notify]).
machine(machine_21_7).
location(machine_21_7, line_21).
device_action(machine_21_7, state, [read, write]).
device_action(machine_21_7, alarm, [read, notify]).
machine(machine_21_8).
location(machine_21_8, line_21).
device_action(machine_21_8, state, [read, write]).
device_action(machine_21_8, alarm, [read, notify]).
machine(machine_21_9).
location(machine_21_9, line_21).
device_action(machine_21_9, state, [read, write]).
device_action(machine_21_9, alarm, [read, notify]).
prod_line(line_22).
machine(machine_22_0).
location(machine_22_0, line_22).
device_action(machine_22_0, state, [read, write]).
device_action(machine_22_0, alarm, [read, notify]).
machine(machine_22_1).
location(machine_22_1, line_22).
device_action(machine_22_1, state, [read, write]).
device_action(machine_22_1, alarm, [read, notify]).
machine(machine_22_2).
location(machine_22_2, line_22).
device_action(machine_22_2, state, [read, write]).
device_action(machine_22_2, alarm, [read, notify]).
machine(machine_22_3).
location(machine_22_3, line_22).
device_action(machine_22_3, state, [read, write]).
device_action(machine_22_3, alarm, [read, notify]).
machine(machine_22_4).
location(machine_22_4, line_22).
device_action(machine_22_4, state, [read, write]).
device_action(machine_22_4, alarm, [read, notify]).
machine(machine_22_5).
location(machine_22_5, line_22).
device_action(machine_22_5, state, [read, write]).
device_action(machine_22_5, alarm, [read, notify]).
machine(machine_22_6).
location(machine_22_6, line_22).
device_action(machine_22_6, state, [read, write]).
device_action(machine_22_6, alarm, [read, notify]).
machine(machine_22_7).
location(machine_22_7, line_22).
device_action(machine_22_7, state, [read, write]).
device_action(machine_22_7, alarm, [read, notify]).
machine(machine_22_8).
location(machine_22_8, line_22).
device_action(machine_22_8, state, [read, write]).
device_action(machine_22_8, alarm, [read, notify]).
machine(machine_22_9).
location(machine_22_9, line_22).
device_action(machine_22_9, state, [read, write]).
device_action(machine_22_9, alarm, [read, notify]).
prod_line(line_23).
machine(machine_23_0).
location(machine_23_0, line_23).
device_action(machine_23_0, state, [read, write]).
device_action(machine_23_0, alarm, [read, notify]).
machine(machine_23_1).
location(machine_23_1, line_23).
device_action(machine_23_1, state, [read, write]).
device_action(machine_23_1, alarm, [read, notify]).
machine(machine_23_2).
location(machine_23_2, line_23).
device_action(machine_23_2, state, [read, write]).
device_action(machine_23_2, alarm, [read, notify]).
machine(machine_23_3).
location(machine_23_3, line_23).
device_action(machine_23_3, state, [read, write]).
device_action(machine_23_3, alarm, [read, notify]).
machine(machine_23_4).
location(machine_23_4, line_23).
device_action(machine_23_4, state, [read, write]).
device_action(machine_23_4, alarm, [read, notify]).
machine(machine_23_5).
location(machine_23_5, line_23).
device_action(machine_23_5, state, [read, write]).
device_action(machine_23_5, alarm, [read, notify]).
machine(machine_23_6).
location(machine_23_6, line_23).
device_action(machine_23_6, state, [read, write]).
device_action(machine_23_6, alarm, [read, notify]).
machine(machine_23_7).
location(machine_23_7, line_23).
device_action(machine_23_7, state, [read, write]).
device_action(machine_23_7, alarm, [read, notify]).
machine(machine_23_8).
location(machine_23_8, line_23).
device_action(machine_23_8, state, [read, write]).
device_action(machine_23_8, alarm, [read, notify]).
machine(machine_23_9).
location(machine_23_9, line_23).
device_action(machine_23_9, state, [read, write]).
device_action(machine_23_9, alarm, [read, notify]).
prod_line(line_24).
machine(machine_24_0).
location(machine_24_0, line_24).
device_action(machine_24_0, state, [read, write]).
device_action(machine_24_0, alarm, [read, notify]).
machine(machine_24_1).
location(machine_24_1, line_24).
device_action(machine_24_1, state, [read, write]).
device_action(machine_24_1, alarm, [read, notify]).
machine(machine_24_2).
location(machine_24_2, line_24).
device_action(machine_24_2, state, [read, write]).
device_action(machine_24_2, alarm, [read, notify]).
machine(machine_24_3).
location(machine_24_3, line_24).
device_action(machine_24_3, state, [read, write]).
device_action(machine_24_3, alarm, [read, notify]).
machine(machine_24_4).
location(machine_24_4, line_24).
device_action(machine_24_4, state, [read, write]).
device_action(machine_24_4, alarm, [read, notify]).
machine(machine_24_5).
location(machine_24_5, line_24).
device_action(machine_24_5, state, [read, write]).
device_action(machine_24_5, alarm, [read, notify]).
machine(machine_24_6).
location(machine_24_6, line_24).
device_action(machine_24_6, state, [read, write]).
device_action(machine_24_6, alarm, [read, notify]).
machine(machine_24_7).
location(machine_24_7, line_24).
device_action(machine_24_7, state, [read, write]).
device_action(machine_24_7, alarm, [read, notify]).
machine(machine_24_8).
location(machine_24_8, line_24).
device_action(machine_24_8, state, [read, write]).
device_action(machine_24_8, alarm, [read, notify]).
machine(machine_24_9).
location(machine_24_9, line_24).
device_action(machine_24_9, state, [read, write]).
device_action(machine_24_9, alarm, [read, notify]).
prod_line(line_25).
machine(machine_25_0).
location(machine_25_0, line_25).
device_action(machine_25_0, state, [read, write]).
device_action(machine_25_0, alarm, [read, notify]).
machine(machine_25_1).
location(machine_25_1, line_25).
device_action(machine_25_1, state, [read, write]).
device_action(machine_25_1, alarm, [read, notify]).
machine(machine_25_2).
location(machine_25_2, line_25).
device_action(machine_25_2, state, [read, write]).
device_action(machine_25_2, alarm, [read, notify]).
machine(machine_25_3).
location(machine_25_3, line_25).
device_action(machine_25_3, state, [read, write]).
device_action(machine_25_3, alarm, [read, notify]).
machine(machine_25_4).
location(machine_25_4, line_25).
device_action(machine_25_4, state, [read, write]).
device_action(machine_25_4, alarm, [read, notify]).
machine(machine_25_5).
location(machine_25_5, line_25).
device_action(machine_25_5, state, [read, write]).
device_action(machine_25_5, alarm, [read, notify]).
machine(machine_25_6).
location(machine_25_6, line_25).
device_action(machine_25_6, state, [read, write]).
device_action(machine_25_6, alarm, [read, notify]).
machine(machine_25_7).
location(machine_25_7, line_25).
device_action(machine_25_7, state, [read, write]).
device_action(machine_25_7, alarm, [read, notify]).
machine(machine_25_8).
location(machine_25_8, line_25).
device_action(machine_25_8, state, [read, write]).
device_action(machine_25_8, alarm, [read, notify]).
machine(machine_25_9).
location(machine_25_9, line_25).
device_action(machine_25_9, state, [read, write]).
device_action(machine_25_9, alarm, [read, notify]).
prod_line(line_26).
machine(machine_26_0).
location(machine_26_0, line_26).
device_action(machine_26_0, state, [read, write]).
device_action(machine_26_0, alarm, [read, notify]).
machine(machine_26_1).
location(machine_26_1, line_26).
device_action(machine_26_1, state, [read, write]).
device_action(machine_26_1, alarm, [read, notify]).
machine(machine_26_2).
location(machine_26_2, line_26).
device_action(machine_26_2, state, [read, write]).
device_action(machine_26_2, alarm, [read, notify]).
machine(machine_26_3).
location(machine_26_3, line_26).
device_action(machine_26_3, state, [read, write]).
device_action(machine_26_3, alarm, [read, notify]).
machine(machine_26_4).
location(machine_26_4, line_26).
device_action(machine_26_4, state, [read, write]).
device_action(machine_26_4, alarm, [read, notify]).
machine(machine_26_5).
location(machine_26_5, line_26).
device_action(machine_26_5, state, [read, write]).
device_action(machine_26_5, alarm, [read, notify]).
machine(machine_26_6).
location(machine_26_6, line_26).
device_action(machine_26_6, state, [read, write]).
device_action(machine_26_6, alarm, [read, notify]).
machine(machine_26_7).
location(machine_26_7, line_26).
device_action(machine_26_7, state, [read, write]).
device_action(machine_26_7, alarm, [read, notify]).
machine(machine_26_8).
location(machine_26_8, line_26).
device_action(machine_26_8, state, [read, write]).
device_action(machine_26_8, alarm, [read, notify]).
machine(machine_26_9).
location(machine_26_9, line_26).
device_action(machine_26_9, state, [read, write]).
device_action(machine_26_9, alarm, [read, notify]).
prod_line(line_27).
machine(machine_27_0).
location(machine_27_0, line_27).
device_action(machine_27_0, state, [read, write]).
device_action(machine_27_0, alarm, [read, notify]).
machine(machine_27_1).
location(machine_27_1, line_27).
device_action(machine_27_1, state, [read, write]).
device_action(machine_27_1, alarm, [read, notify]).
machine(machine_27_2).
location(machine_27_2, line_27).
device_action(machine_27_2, state, [read, write]).
device_action(machine_27_2, alarm, [read, notify]).
machine(machine_27_3).
location(machine_27_3, line_27).
device_action(machine_27_3, state, [read, write]).
device_action(machine_27_3, alarm, [read, notify]).
machine(machine_27_4).
location(machine_27_4, line_27).
device_action(machine_27_4, state, [read, write]).
device_action(machine_27_4, alarm, [read, notify]).
machine(machine_27_5).
location(machine_27_5, line_27).
device_action(machine_27_5, state, [read, write]).
device_action(machine_27_5, alarm, [read, notify]).
machine(machine_27_6).
location(machine_27_6, line_27).
device_action(machine_27_6, state, [read, write]).
device_action(machine_27_6, alarm, [read, notify]).
machine(machine_27_7).
location(machine_27_7, line_27).
device_action(machine_27_7, state, [read, write]).
device_action(machine_27_7, alarm, [read, notify]).
machine(machine_27_8).
location(machine_27_8, line_27).
device_action(machine_27_8, state, [read, write]).
device_action(machine_27_8, alarm, [read, notify]).
machine(machine_27_9).
location(machine_27_9, line_27).
device_action(machine_27_9, state, [read, write]).
device_action(machine_27_9, alarm, [read, notify]).
prod_line(line_28).
machine(machine_28_0).
location(machine_28_0, line_28).
device_action(machine_28_0, state, [read, write]).
device_action(machine_28_0, alarm, [read, notify]).
machine(machine_28_1).
location(machine_28_1, line_28).
device_action(machine_28_1, state, [read, write]).
device_action(machine_28_1, alarm, [read, notify]).
machine(machine_28_2).
location(machine_28_2, line_28).
device_action(machine_28_2, state, [read, write]).
device_action(machine_28_2, alarm, [read, notify]).
machine(machine_28_3).
location(machine_28_3, line_28).
device_action(machine_28_3, state, [read, write]).
device_action(machine_28_3, alarm, [read, notify]).
machine(machine_28_4).
location(machine_28_4, line_28).
device_action(machine_28_4, state, [read, write]).
device_action(machine_28_4, alarm, [read, notify]).
machine(machine_28_5).
location(machine_28_5, line_28).
device_action(machine_28_5, state, [read, write]).
device_action(machine_28_5, alarm, [read, notify]).
machine(machine_28_6).
location(machine_28_6, line_28).
device_action(machine_28_6, state, [read, write]).
device_action(machine_28_6, alarm, [read, notify]).
machine(machine_28_7).
location(machine_28_7, line_28).
device_action(machine_28_7, state, [read, write]).
device_action(machine_28_7, alarm, [read, notify]).
machine(machine_28_8).
location(machine_28_8, line_28).
device_action(machine_28_8, state, [read, write]).
device_action(machine_28_8, alarm, [read, notify]).
machine(machine_28_9).
location(machine_28_9, line_28).
device_action(machine_28_9, state, [read, write]).
device_action(machine_28_9, alarm, [read, notify]).
prod_line(line_29).
machine(machine_29_0).
location(machine_29_0, line_29).
device_action(machine_29_0, state, [read, write]).
device_action(machine_29_0, alarm, [read, notify]).
machine(machine_29_1).
location(machine_29_1, line_29).
device_action(machine_29_1, state, [read, write]).
device_action(machine_29_1, alarm, [read, notify]).
machine(machine_29_2).
location(machine_29_2, line_29).
device_action(machine_29_2, state, [read, write]).
device_action(machine_29_2, alarm, [read, notify]).
machine(machine_29_3).
location(machine_29_3, line_29).
device_action(machine_29_3, state, [read, write]).
device_action(machine_29_3, alarm, [read, notify]).
machine(machine_29_4).
location(machine_29_4, line_29).
device_action(machine_29_4, state, [read, write]).
device_action(machine_29_4, alarm, [read, notify]).
machine(machine_29_5).
location(machine_29_5, line_29).
device_action(machine_29_5, state, [read, write]).
device_action(machine_29_5, alarm, [read, notify]).
machine(machine_29_6).
location(machine_29_6, line_29).
device_action(machine_29_6, state, [read, write]).
device_action(machine_29_6, alarm, [read, notify]).
machine(machine_29_7).
location(machine_29_7, line_29).
device_action(machine_29_7, state, [read, write]).
device_action(machine_29_7, alarm, [read, notify]).
machine(machine_29_8).
location(machine_29_8, line_29).
device_action(machine_29_8, state, [read, write]).
device_action(machine_29_8, alarm, [read, notify]).
machine(machine_29_9).
location(machine_29_9, line_29).
device_action(machine_29_9, state, [read, write]).
device_action(machine_29_9, alarm, [read, notify]).
prod_line(line_30).
machine(machine_30_0).
location(machine_30_0, line_30).
device_action(machine_30_0, state, [read, write]).
device_action(machine_30_0, alarm, [read, notify]).
machine(machine_30_1).
location(machine_30_1, line_30).
device_action(machine_30_1, state, [read, write]).
device_action(machine_30_1, alarm, [read, notify]).
machine(machine_30_2).
location(machine_30_2, line_30).
device_action(machine_30_2, state, [read, write]).
device_action(machine_30_2, alarm, [read, notify]).
machine(machine_30_3).
location(machine_30_3, line_30).
device_action(machine_30_3, state, [read, write]).
device_action(machine_30_3, alarm, [read, notify]).
machine(machine_30_4).
location(machine_30_4, line_30).
device_action(machine_30_4, state, [read, write]).
device_action(machine_30_4, alarm, [read, notify]).
machine(machine_30_5).
location(machine_30_5, line_30).
device_action(machine_30_5, state, [read, write]).
device_action(machine_30_5, alarm, [read, notify]).
machine(machine_30_6).
location(machine_30_6, line_30).
device_action(machine_30_6, state, [read, write]).
device_action(machine_30_6, alarm, [read, notify]).
machine(machine_30_7).
location(machine_30_7, line_30).
device_action(machine_30_7, state, [read, write]).
device_action(machine_30_7, alarm, [read, notify]).
machine(machine_30_8).
location(machine_30_8, line_30).
device_action(machine_30_8, state, [read, write]).
device_action(machine_30_8, alarm, [read, notify]).
machine(machine_30_9).
location(machine_30_9, line_30).
device_action(machine_30_9, state, [read, write]).
device_action(machine_30_9, alarm, [read, notify]).
prod_line(line_31).
machine(machine_31_0).
location(machine_31_0, line_31).
device_action(machine_31_0, state, [read, write]).
device_action(machine_31_0, alarm, [read, notify]).
machine(machine_31_1).
location(machine_31_1, line_31).
device_action(machine_31_1, state, [read, write]).
device_action(machine_31_1, alarm, [read, notify]).
machine(machine_31_2).
location(machine_31_2, line_31).
device_action(machine_31_2, state, [read, write]).
device_action(machine_31_2, alarm, [read, notify]).
machine(machine_31_3).
location(machine_31_3, line_31).
device_action(machine_31_3, state, [read, write]).
device_action(machine_31_3, alarm, [read, notify]).
machine(machine_31_4).
location(machine_31_4, line_31).
device_action(machine_31_4, state, [read, write]).
device_action(machine_31_4, alarm, [read, notify]).
machine(machine_31_5).
location(machine_31_5, line_31).
device_action(machine_31_5, state, [read, write]).
device_action(machine_31_5, alarm, [read, notify]).
machine(machine_31_6).
location(machine_31_6, line_31).
device_action(machine_31_6, state, [read, write]).
device_action(machine_31_6, alarm, [read, notify]).
machine(machine_31_7).
location(machine_31_7, line_31).
device_action(machine_31_7, state, [read, write]).
device_action(machine_31_7, alarm, [read, notify]).
machine(machine_31_8).
location(machine_31_8, line_31).
device_action(machine_31_8, state, [read, write]).
device_action(machine_31_8, alarm, [read, notify]).
machine(machine_31_9).
location(machine_31_9, line_31).
device_action(machine_31_9, state, [read, write]).
device_action(machine_31_9, alarm, [read, notify]).
prod_line(line_32).
machine(machine_32_0).
location(machine_32_0, line_32).
device_action(machine_32_0, state, [read, write]).
device_action(machine_32_0, alarm, [read, notify]).
machine(machine_32_1).
location(machine_32_1, line_32).
device_action(machine_32_1, state, [read, write]).
device_action(machine_32_1, alarm, [read, notify]).
machine(machine_32_2).
location(machine_32_2, line_32).
device_action(machine_32_2, state, [read, write]).
device_action(machine_32_2, alarm, [read, notify]).
machine(machine_32_3).
location(machine_32_3, line_32).
device_action(machine_32_3, state, [read, write]).
device_action(machine_32_3, alarm, [read, notify]).
machine(machine_32_4).
location(machine_32_4, line_32).
device_action(machine_32_4, state, [read, write]).
device_action(machine_32_4, alarm, [read, notify]).
machine(machine_32_5).
location(machine_32_5, line_32).
device_action(machine_32_5, state, [read, write]).
device_action(machine_32_5, alarm, [read, notify]).
machine(machine_32_6).
location(machine_32_6, line_32).
device_action(machine_32_6, state, [read, write]).
device_action(machine_32_6, alarm, [read, notify]).
machine(machine_32_7).
location(machine_32_7, line_32).
device_action(machine_32_7, state, [read, write]).
device_action(machine_32_7, alarm, [read, notify]).
machine(machine_32_8).
location(machine_32_8, line_32).
device_action(machine_32_8, state, [read, write]).
device_action(machine_32_8, alarm, [read, notify]).
machine(machine_32_9).
location(machine_32_9, line_32).
device_action(machine_32_9, state, [read, write]).
device_action(machine_32_9, alarm, [read, notify]).
prod_line(line_33).
machine(machine_33_0).
location(machine_33_0, line_33).
device_action(machine_33_0, state, [read, write]).
device_action(machine_33_0, alarm, [read, notify]).
machine(machine_33_1).
location(machine_33_1, line_33).
device_action(machine_33_1, state, [read, write]).
device_action(machine_33_1, alarm, [read, notify]).
machine(machine_33_2).
location(machine_33_2, line_33).
device_action(machine_33_2, state, [read, write]).
device_action(machine_33_2, alarm, [read, notify]).
machine(machine_33_3).
location(machine_33_3, line_33).
device_action(machine_33_3, state, [read, write]).
device_action(machine_33_3, alarm, [read, notify]).
machine(machine_33_4).
location(machine_33_4, line_33).
device_action(machine_33_4, state, [read, write]).
device_action(machine_33_4, alarm, [read, notify]).
machine(machine_33_5).
location(machine_33_5, line_33).
device_action(machine_33_5, state, [read, write]).
device_action(machine_33_5, alarm, [read, notify]).
machine(machine_33_6).
location(machine_33_6, line_33).
device_action(machine_33_6, state, [read, write]).
device_action(machine_33_6, alarm, [read, notify]).
machine(machine_33_7).
location(machine_33_7, line_33).
device_action(machine_33_7, state, [read, write]).
device_action(machine_33_7, alarm, [read, notify]).
machine(machine_33_8).
location(machine_33_8, line_33).
device_action(machine_33_8, state, [read, write]).
device_action(machine_33_8, alarm, [read, notify]).
machine(machine_33_9).
location(machine_33_9, line_33).
device_action(machine_33_9, state, [read, write]).
device_action(machine_33_9, alarm, [read, notify]).
prod_line(line_34).
machine(machine_34_0).
location(machine_34_0, line_34).
device_action(machine_34_0, state, [read, write]).
device_action(machine_34_0, alarm, [read, notify]).
machine(machine_34_1).
location(machine_34_1, line_34).
device_action(machine_34_1, state, [read, write]).
device_action(machine_34_1, alarm, [read, notify]).
machine(machine_34_2).
location(machine_34_2, line_34).
device_action(machine_34_2, state, [read, write]).
device_action(machine_34_2, alarm, [read, notify]).
machine(machine_34_3).
location(machine_34_3, line_34).
device_action(machine_34_3, state, [read, write]).
device_action(machine_34_3, alarm, [read, notify]).
machine(machine_34_4).
location(machine_34_4, line_34).
device_action(machine_34_4, state, [read, write]).
device_action(machine_34_4, alarm, [read, notify]).
machine(machine_34_5).
location(machine_34_5, line_34).
device_action(machine_34_5, state, [read, write]).
device_action(machine_34_5, alarm, [read, notify]).
machine(machine_34_6).
location(machine_34_6, line_34).
device_action(machine_34_6, state, [read, write]).
device_action(machine_34_6, alarm, [read, notify]).
machine(machine_34_7).
location(machine_34_7, line_34).
device_action(machine_34_7, state, [read, write]).
device_action(machine_34_7, alarm, [read, notify]).
machine(machine_34_8).
location(machine_34_8, line_34).
device_action(machine_34_8, state, [read, write]).
device_action(machine_34_8, alarm, [read, notify]).
machine(machine_34_9).
location(machine_34_9, line_34).
device_action(machine_34_9, state, [read, write]).
device_action(machine_34_9, alarm, [read, notify]).
prod_line(line_35).
machine(machine_35_0).
location(machine_35_0, line_35).
device_action(machine_35_0, state, [read, write]).
device_action(machine_35_0, alarm, [read, notify]).
machine(machine_35_1).
location(machine_35_1, line_35).
device_action(machine_35_1, state, [read, write]).
device_action(machine_35_1, alarm, [read, notify]).
machine(machine_35_2).
location(machine_35_2, line_35).
device_action(machine_35_2, state, [read, write]).
device_action(machine_35_2, alarm, [read, notify]).
machine(machine_35_3).
location(machine_35_3, line_35).
device_action(machine_35_3, state, [read, write]).
device_action(machine_35_3, alarm, [read, notify]).
machine(machine_35_4).
location(machine_35_4, line_35).
device_action(machine_35_4, state, [read, write]).
device_action(machine_35_4, alarm, [read, notify]).
machine(machine_35_5).
location(machine_35_5, line_35).
device_action(machine_35_5, state, [read, write]).
device_action(machine_35_5, alarm, [read, notify]).
machine(machine_35_6).
location(machine_35_6, line_35).
device_action(machine_35_6, state, [read, write]).
device_action(machine_35_6, alarm, [read, notify]).
machine(machine_35_7).
location(machine_35_7, line_35).
device_action(machine_35_7, state, [read, write]).
device_action(machine_35_7, alarm, [read, notify]).
machine(machine_35_8).
location(machine_35_8, line_35).
device_action(machine_35_8, state, [read, write]).
device_action(machine_35_8, alarm, [read, notify]).
machine(machine_35_9).
location(machine_35_9, line_35).
device_action(machine_35_9, state, [read, write]).
device_action(machine_35_9, alarm, [read, notify]).
prod_line(line_36).
machine(machine_36_0).
location(machine_36_0, line_36).
device_action(machine_36_0, state, [read, write]).
device_action(machine_36_0, alarm, [read, notify]).
machine(machine_36_1).
location(machine_36_1, line_36).
device_action(machine_36_1, state, [read, write]).
device_action(machine_36_1, alarm, [read, notify]).
machine(machine_36_2).
location(machine_36_2, line_36).
device_action(machine_36_2, state, [read, write]).
device_action(machine_36_2, alarm, [read, notify]).
machine(machine_36_3).
location(machine_36_3, line_36).
device_action(machine_36_3, state, [read, write]).
device_action(machine_36_3, alarm, [read, notify]).
machine(machine_36_4).
location(machine_36_4, line_36).
device_action(machine_36_4, state, [read, write]).
device_action(machine_36_4, alarm, [read, notify]).
machine(machine_36_5).
location(machine_36_5, line_36).
device_action(machine_36_5, state, [read, write]).
device_action(machine_36_5, alarm, [read, notify]).
machine(machine_36_6).
location(machine_36_6, line_36).
device_action(machine_36_6, state, [read, write]).
device_action(machine_36_6, alarm, [read, notify]).
machine(machine_36_7).
location(machine_36_7, line_36).
device_action(machine_36_7, state, [read, write]).
device_action(machine_36_7, alarm, [read, notify]).
machine(machine_36_8).
location(machine_36_8, line_36).
device_action(machine_36_8, state, [read, write]).
device_action(machine_36_8, alarm, [read, notify]).
machine(machine_36_9).
location(machine_36_9, line_36).
device_action(machine_36_9, state, [read, write]).
device_action(machine_36_9, alarm, [read, notify]).
prod_line(line_37).
machine(machine_37_0).
location(machine_37_0, line_37).
device_action(machine_37_0, state, [read, write]).
device_action(machine_37_0, alarm, [read, notify]).
machine(machine_37_1).
location(machine_37_1, line_37).
device_action(machine_37_1, state, [read, write]).
device_action(machine_37_1, alarm, [read, notify]).
machine(machine_37_2).
location(machine_37_2, line_37).
device_action(machine_37_2, state, [read, write]).
device_action(machine_37_2, alarm, [read, notify]).
machine(machine_37_3).
location(machine_37_3, line_37).
device_action(machine_37_3, state, [read, write]).
device_action(machine_37_3, alarm, [read, notify]).
machine(machine_37_4).
location(machine_37_4, line_37).
device_action(machine_37_4, state, [read, write]).
device_action(machine_37_4, alarm, [read, notify]).
machine(machine_37_5).
location(machine_37_5, line_37).
device_action(machine_37_5, state, [read, write]).
device_action(machine_37_5, alarm, [read, notify]).
machine(machine_37_6).
location(machine_37_6, line_37).
device_action(machine_37_6, state, [read, write]).
device_action(machine_37_6, alarm, [read, notify]).
machine(machine_37_7).
location(machine_37_7, line_37).
device_action(machine_37_7, state, [read, write]).
device_action(machine_37_7, alarm, [read, notify]).
machine(machine_37_8).
location(machine_37_8, line_37).
device_action(machine_37_8, state, [read, write]).
device_action(machine_37_8, alarm, [read, notify]).
machine(machine_37_9).
location(machine_37_9, line_37).
device_action(machine_37_9, state, [read, write]).
device_action(machine_37_9, alarm, [read, notify]).
prod_line(line_38).
machine(machine_38_0).
location(machine_38_0, line_38).
device_action(machine_38_0, state, [read, write]).
device_action(machine_38_0, alarm, [read, notify]).
machine(machine_38_1).
location(machine_38_1, line_38).
device_action(machine_38_1, state, [read, write]).
device_action(machine_38_1, alarm, [read, notify]).
machine(machine_38_2).
location(machine_38_2, line_38).
device_action(machine_38_2, state, [read, write]).
device_action(machine_38_2, alarm, [read, notify]).
machine(machine_38_3).
location(machine_38_3, line_38).
device_action(machine_38_3, state, [read, write]).
device_action(machine_38_3, alarm, [read, notify]).
machine(machine_38_4).
location(machine_38_4, line_38).
device_action(machine_38_4, state, [read, write]).
device_action(machine_38_4, alarm, [read, notify]).
machine(machine_38_5).
location(machine_38_5, line_38).
device_action(machine_38_5, state, [read, write]).
device_action(machine_38_5, alarm, [read, notify]).
machine(machine_38_6).
location(machine_38_6, line_38).
device_action(machine_38_6, state, [read, write]).
device_action(machine_38_6, alarm, [read, notify]).
machine(machine_38_7).
location(machine_38_7, line_38).
device_action(machine_38_7, state, [read, write]).
device_action(machine_38_7, alarm, [read, notify]).
machine(machine_38_8).
location(machine_38_8, line_38).
device_action(machine_38_8, state, [read, write]).
device_action(machine_38_8, alarm, [read, notify]).
machine(machine_38_9).
location(machine_38_9, line_38).
device_action(machine_38_9, state, [read, write]).
device_action(machine_38_9, alarm, [read, notify]).
prod_line(line_39).
machine(machine_39_0).
location(machine_39_0, line_39).
device_action(machine_39_0, state, [read, write]).
device_action(machine_39_0, alarm, [read, notify]).
machine(machine_39_1).
location(machine_39_1, line_39).
device_action(machine_39_1, state, [read, write]).
device_action(machine_39_1, alarm, [read, notify]).
machine(machine_39_2).
location(machine_39_2, line_39).
device_action(machine_39_2, state, [read, write]).
device_action(machine_39_2, alarm, [read, notify]).
machine(machine_39_3).
location(machine_39_3, line_39).
device_action(machine_39_3, state, [read, write]).
device_action(machine_39_3, alarm, [read, notify]).
machine(machine_39_4).
location(machine_39_4, line_39).
device_action(machine_39_4, state, [read, write]).
device_action(machine_39_4, alarm, [read, notify]).
machine(machine_39_5).
location(machine_39_5, line_39).
device_action(machine_39_5, state, [read, write]).
device_action(machine_39_5, alarm, [read, notify]).
machine(machine_39_6).
location(machine_39_6, line_39).
device_action(machine_39_6, state, [read, write]).
device_action(machine_39_6, alarm, [read, notify]).
machine(machine_39_7).
location(machine_39_7, line_39).
device_action(machine_39_7, state, [read, write]).
device_action(machine_39_7, alarm, [read, notify]).
machine(machine_39_8).
location(machine_39_8, line_39).
device_action(machine_39_8, state, [read, write]).
device_action(machine_39_8, alarm, [read, notify]).
machine(machine_39_9).
location(machine_39_9, line_39).
device_action(machine_39_9, state, [read, write]).
device_action(machine_39_9, alarm, [read, notify]).
prod_line(line_40).
machine(machine_40_0).
location(machine_40_0, line_40).
device_action(machine_40_0, state, [read, write]).
device_action(machine_40_0, alarm, [read, notify]).
machine(machine_40_1).
location(machine_40_1, line_40).
device_action(machine_40_1, state, [read, write]).
device_action(machine_40_1, alarm, [read, notify]).
machine(machine_40_2).
location(machine_40_2, line_40).
device_action(machine_40_2, state, [read, write]).
device_action(machine_40_2, alarm, [read, notify]).
machine(machine_40_3).
location(machine_40_3, line_40).
device_action(machine_40_3, state, [read, write]).
device_action(machine_40_3, alarm, [read, notify]).
machine(machine_40_4).
location(machine_40_4, line_40).
device_action(machine_40_4, state, [read, write]).
device_action(machine_40_4, alarm, [read, notify]).
machine(machine_40_5).
location(machine_40_5, line_40).
device_action(machine_40_5, state, [read, write]).
device_action(machine_40_5, alarm, [read, notify]).
machine(machine_40_6).
location(machine_40_6, line_40).
device_action(machine_40_6, state, [read, write]).
device_action(machine_40_6, alarm, [read, notify]).
machine(machine_40_7).
location(machine_40_7, line_40).
device_action(machine_40_7, state, [read, write]).
device_action(machine_40_7, alarm, [read, notify]).
machine(machine_40_8).
location(machine_40_8, line_40).
device_action(machine_40_8, state, [read, write]).
device_action(machine_40_8, alarm, [read, notify]).
machine(machine_40_9).
location(machine_40_9, line_40).
device_action(machine_40_9, state, [read, write]).
device_action(machine_40_9, alarm, [read, notify]).
prod_line(line_41).
machine(machine_41_0).
location(machine_41_0, line_41).
device_action(machine_41_0, state, [read, write]).
device_action(machine_41_0, alarm, [read, notify]).
machine(machine_41_1).
location(machine_41_1, line_41).
device_action(machine_41_1, state, [read, write]).
device_action(machine_41_1, alarm, [read, notify]).
machine(machine_41_2).
location(machine_41_2, line_41).
device_action(machine_41_2, state, [read, write]).
device_action(machine_41_2, alarm, [read, notify]).
machine(machine_41_3).
location(machine_41_3, line_41).
device_action(machine_41_3, state, [read, write]).
device_action(machine_41_3, alarm, [read, notify]).
machine(machine_41_4).
location(machine_41_4, line_41).
device_action(machine_41_4, state, [read, write]).
device_action(machine_41_4, alarm, [read, notify]).
machine(machine_41_5).
location(machine_41_5, line_41).
device_action(machine_41_5, state, [read, write]).
device_action(machine_41_5, alarm, [read, notify]).
machine(machine_41_6).
location(machine_41_6, line_41).
device_action(machine_41_6, state, [read, write]).
device_action(machine_41_6, alarm, [read, notify]).
machine(machine_41_7).
location(machine_41_7, line_41).
device_action(machine_41_7, state, [read, write]).
device_action(machine_41_7, alarm, [read, notify]).
machine(machine_41_8).
location(machine_41_8, line_41).
device_action(machine_41_8, state, [read, write]).
device_action(machine_41_8, alarm, [read, notify]).
machine(machine_41_9).
location(machine_41_9, line_41).
device_action(machine_41_9, state, [read, write]).
device_action(machine_41_9, alarm, [read, notify]).
prod_line(line_42).
machine(machine_42_0).
location(machine_42_0, line_42).
device_action(machine_42_0, state, [read, write]).
device_action(machine_42_0, alarm, [read, notify]).
machine(machine_42_1).
location(machine_42_1, line_42).
device_action(machine_42_1, state, [read, write]).
device_action(machine_42_1, alarm, [read, notify]).
machine(machine_42_2).
location(machine_42_2, line_42).
device_action(machine_42_2, state, [read, write]).
device_action(machine_42_2, alarm, [read, notify]).
machine(machine_42_3).
location(machine_42_3, line_42).
device_action(machine_42_3, state, [read, write]).
device_action(machine_42_3, alarm, [read, notify]).
machine(machine_42_4).
location(machine_42_4, line_42).
device_action(machine_42_4, state, [read, write]).
device_action(machine_42_4, alarm, [read, notify]).
machine(machine_42_5).
location(machine_42_5, line_42).
device_action(machine_42_5, state, [read, write]).
device_action(machine_42_5, alarm, [read, notify]).
machine(machine_42_6).
location(machine_42_6, line_42).
device_action(machine_42_6, state, [read, write]).
device_action(machine_42_6, alarm, [read, notify]).
machine(machine_42_7).
location(machine_42_7, line_42).
device_action(machine_42_7, state, [read, write]).
device_action(machine_42_7, alarm, [read, notify]).
machine(machine_42_8).
location(machine_42_8, line_42).
device_action(machine_42_8, state, [read, write]).
device_action(machine_42_8, alarm, [read, notify]).
machine(machine_42_9).
location(machine_42_9, line_42).
device_action(machine_42_9, state, [read, write]).
device_action(machine_42_9, alarm, [read, notify]).
prod_line(line_43).
machine(machine_43_0).
location(machine_43_0, line_43).
device_action(machine_43_0, state, [read, write]).
device_action(machine_43_0, alarm, [read, notify]).
machine(machine_43_1).
location(machine_43_1, line_43).
device_action(machine_43_1, state, [read, write]).
device_action(machine_43_1, alarm, [read, notify]).
machine(machine_43_2).
location(machine_43_2, line_43).
device_action(machine_43_2, state, [read, write]).
device_action(machine_43_2, alarm, [read, notify]).
machine(machine_43_3).
location(machine_43_3, line_43).
device_action(machine_43_3, state, [read, write]).
device_action(machine_43_3, alarm, [read, notify]).
machine(machine_43_4).
location(machine_43_4, line_43).
device_action(machine_43_4, state, [read, write]).
device_action(machine_43_4, alarm, [read, notify]).
machine(machine_43_5).
location(machine_43_5, line_43).
device_action(machine_43_5, state, [read, write]).
device_action(machine_43_5, alarm, [read, notify]).
machine(machine_43_6).
location(machine_43_6, line_43).
device_action(machine_43_6, state, [read, write]).
device_action(machine_43_6, alarm, [read, notify]).
machine(machine_43_7).
location(machine_43_7, line_43).
device_action(machine_43_7, state, [read, write]).
device_action(machine_43_7, alarm, [read, notify]).
machine(machine_43_8).
location(machine_43_8, line_43).
device_action(machine_43_8, state, [read, write]).
device_action(machine_43_8, alarm, [read, notify]).
machine(machine_43_9).
location(machine_43_9, line_43).
device_action(machine_43_9, state, [read, write]).
device_action(machine_43_9, alarm, [read, notify]).
prod_line(line_44).
machine(machine_44_0).
location(machine_44_0, line_44).
device_action(machine_44_0, state, [read, write]).
device_action(machine_44_0, alarm, [read, notify]).
machine(machine_44_1).
location(machine_44_1, line_44).
device_action(machine_44_1, state, [read, write]).
device_action(machine_44_1, alarm, [read, notify]).
machine(machine_44_2).
location(machine_44_2, line_44).
device_action(machine_44_2, state, [read, write]).
device_action(machine_44_2, alarm, [read, notify]).
machine(machine_44_3).
location(machine_44_3, line_44).
device_action(machine_44_3, state, [read, write]).
device_action(machine_44_3, alarm, [read, notify]).
machine(machine_44_4).
location(machine_44_4, line_44).
device_action(machine_44_4, state, [read, write]).
device_action(machine_44_4, alarm, [read, notify]).
machine(machine_44_5).
location(machine_44_5, line_44).
device_action(machine_44_5, state, [read, write]).
device_action(machine_44_5, alarm, [read, notify]).
machine(machine_44_6).
location(machine_44_6, line_44).
device_action(machine_44_6, state, [read, write]).
device_action(machine_44_6, alarm, [read, notify]).
machine(machine_44_7).
location(machine_44_7, line_44).
device_action(machine_44_7, state, [read, write]).
device_action(machine_44_7, alarm, [read, notify]).
machine(machine_44_8).
location(machine_44_8, line_44).
device_action(machine_44_8, state, [read, write]).
device_action(machine_44_8, alarm, [read, notify]).
machine(machine_44_9).
location(machine_44_9, line_44).
device_action(machine_44_9, state, [read, write]).
device_action(machine_44_9, alarm, [read, notify]).
prod_line(line_45).
machine(machine_45_0).
location(machine_45_0, line_45).
device_action(machine_45_0, state, [read, write]).
device_action(machine_45_0, alarm, [read, notify]).
machine(machine_45_1).
location(machine_45_1, line_45).
device_action(machine_45_1, state, [read, write]).
device_action(machine_45_1, alarm, [read, notify]).
machine(machine_45_2).
location(machine_45_2, line_45).
device_action(machine_45_2, state, [read, write]).
device_action(machine_45_2, alarm, [read, notify]).
machine(machine_45_3).
location(machine_45_3, line_45).
device_action(machine_45_3, state, [read, write]).
device_action(machine_45_3, alarm, [read, notify]).
machine(machine_45_4).
location(machine_45_4, line_45).
device_action(machine_45_4, state, [read, write]).
device_action(machine_45_4, alarm, [read, notify]).
machine(machine_45_5).
location(machine_45_5, line_45).
device_action(machine_45_5, state, [read, write]).
device_action(machine_45_5, alarm, [read, notify]).
machine(machine_45_6).
location(machine_45_6, line_45).
device_action(machine_45_6, state, [read, write]).
device_action(machine_45_6, alarm, [read, notify]).
machine(machine_45_7).
location(machine_45_7, line_45).
device_action(machine_45_7, state, [read, write]).
device_action(machine_45_7, alarm, [read, notify]).
machine(machine_45_8).
location(machine_45_8, line_45).
device_action(machine_45_8, state, [read, write]).
device_action(machine_45_8, alarm, [read, notify]).
machine(machine_45_9).
location(machine_45_9, line_45).
device_action(machine_45_9, state, [read, write]).
device_action(machine_45_9, alarm, [read, notify]).
prod_line(line_46).
machine(machine_46_0).
location(machine_46_0, line_46).
device_action(machine_46_0, state, [read, write]).
device_action(machine_46_0, alarm, [read, notify]).
machine(machine_46_1).
location(machine_46_1, line_46).
device_action(machine_46_1, state, [read, write]).
device_action(machine_46_1, alarm, [read, notify]).
machine(machine_46_2).
location(machine_46_2, line_46).
device_action(machine_46_2, state, [read, write]).
device_action(machine_46_2, alarm, [read, notify]).
machine(machine_46_3).
location(machine_46_3, line_46).
device_action(machine_46_3, state, [read, write]).
device_action(machine_46_3, alarm, [read, notify]).
machine(machine_46_4).
location(machine_46_4, line_46).
device_action(machine_46_4, state, [read, write]).
device_action(machine_46_4, alarm, [read, notify]).
machine(machine_46_5).
location(machine_46_5, line_46).
device_action(machine_46_5, state, [read, write]).
device_action(machine_46_5, alarm, [read, notify]).
machine(machine_46_6).
location(machine_46_6, line_46).
device_action(machine_46_6, state, [read, write]).
device_action(machine_46_6, alarm, [read, notify]).
machine(machine_46_7).
location(machine_46_7, line_46).
device_action(machine_46_7, state, [read, write]).
device_action(machine_46_7, alarm, [read, notify]).
machine(machine_46_8).
location(machine_46_8, line_46).
device_action(machine_46_8, state, [read, write]).
device_action(machine_46_8, alarm, [read, notify]).
machine(machine_46_9).
location(machine_46_9, line_46).
device_action(machine_46_9, state, [read, write]).
device_action(machine_46_9, alarm, [read, notify]).
prod_line(line_47).
machine(machine_47_0).
location(machine_47_0, line_47).
device_action(machine_47_0, state, [read, write]).
device_action(machine_47_0, alarm, [read, notify]).
machine(machine_47_1).
location(machine_47_1, line_47).
device_action(machine_47_1, state, [read, write]).
device_action(machine_47_1, alarm, [read, notify]).
machine(machine_47_2).
location(machine_47_2, line_47).
device_action(machine_47_2, state, [read, write]).
device_action(machine_47_2, alarm, [read, notify]).
machine(machine_47_3).
location(machine_47_3, line_47).
device_action(machine_47_3, state, [read, write]).
device_action(machine_47_3, alarm, [read, notify]).
machine(machine_47_4).
location(machine_47_4, line_47).
device_action(machine_47_4, state, [read, write]).
device_action(machine_47_4, alarm, [read, notify]).
machine(machine_47_5).
location(machine_47_5, line_47).
device_action(machine_47_5, state, [read, write]).
device_action(machine_47_5, alarm, [read, notify]).
machine(machine_47_6).
location(machine_47_6, line_47).
device_action(machine_47_6, state, [read, write]).
device_action(machine_47_6, alarm, [read, notify]).
machine(machine_47_7).
location(machine_47_7, line_47).
device_action(machine_47_7, state, [read, write]).
device_action(machine_47_7, alarm, [read, notify]).
machine(machine_47_8).
location(machine_47_8, line_47).
device_action(machine_47_8, state, [read, write]).
device_action(machine_47_8, alarm, [read, notify]).
machine(machine_47_9).
location(machine_47_9, line_47).
device_action(machine_47_9, state, [read, write]).
device_action(machine_47_9, alarm, [read, notify]).
prod_line(line_48).
machine(machine_48_0).
location(machine_48_0, line_48).
device_action(machine_48_0, state, [read, write]).
device_action(machine_48_0, alarm, [read, notify]).
machine(machine_48_1).
location(machine_48_1, line_48).
device_action(machine_48_1, state, [read, write]).
device_action(machine_48_1, alarm, [read, notify]).
machine(machine_48_2).
location(machine_48_2, line_48).
device_action(machine_48_2, state, [read, write]).
device_action(machine_48_2, alarm, [read, notify]).
machine(machine_48_3).
location(machine_48_3, line_48).
device_action(machine_48_3, state, [read, write]).
device_action(machine_48_3, alarm, [read, notify]).
machine(machine_48_4).
location(machine_48_4, line_48).
device_action(machine_48_4, state, [read, write]).
device_action(machine_48_4, alarm, [read, notify]).
machine(machine_48_5).
location(machine_48_5, line_48).
device_action(machine_48_5, state, [read, write]).
device_action(machine_48_5, alarm, [read, notify]).
machine(machine_48_6).
location(machine_48_6, line_48).
device_action(machine_48_6, state, [read, write]).
device_action(machine_48_6, alarm, [read, notify]).
machine(machine_48_7).
location(machine_48_7, line_48).
device_action(machine_48_7, state, [read, write]).
device_action(machine_48_7, alarm, [read, notify]).
machine(machine_48_8).
location(machine_48_8, line_48).
device_action(machine_48_8, state, [read, write]).
device_action(machine_48_8, alarm, [read, notify]).
machine(machine_48_9).
location(machine_48_9, line_48).
device_action(machine_48_9, state, [read, write]).
device_action(machine_48_9, alarm, [read, notify]).
prod_line(line_49).
machine(machine_49_0).
location(machine_49_0, line_49).
device_action(machine_49_0, state, [read, write]).
device_action(machine_49_0, alarm, [read, notify]).
machine(machine_49_1).
location(machine_49_1, line_49).
device_action(machine_49_1, state, [read, write]).
device_action(machine_49_1, alarm, [read, notify]).
machine(machine_49_2).
location(machine_49_2, line_49).
device_action(machine_49_2, state, [read, write]).
device_action(machine_49_2, alarm, [read, notify]).
machine(machine_49_3).
location(machine_49_3, line_49).
device_action(machine_49_3, state, [read, write]).
device_action(machine_49_3, alarm, [read, notify]).
machine(machine_49_4).
location(machine_49_4, line_49).
device_action(machine_49_4, state, [read, write]).
device_action(machine_49_4, alarm, [read, notify]).
machine(machine_49_5).
location(machine_49_5, line_49).
device_action(machine_49_5, state, [read, write]).
device_action(machine_49_5, alarm, [read, notify]).
machine(machine_49_6).
location(machine_49_6, line_49).
device_action(machine_49_6, state, [read, write]).
device_action(machine_49_6, alarm, [read, notify]).
machine(machine_49_7).
location(machine_49_7, line_49).
device_action(machine_49_7, state, [read, write]).
device_action(machine_49_7, alarm, [read, notify]).
machine(machine_49_8).
location(machine_49_8, line_49).
device_action(machine_49_8, state, [read, write]).
device_action(machine_49_8, alarm, [read, notify]).
machine(machine_49_9).
location(machine_49_9, line_49).
device_action(machine_49_9, state, [read, write]).
device_action(machine_49_9, alarm, [read, notify]).
prod_line(line_50).
machine(machine_50_0).
location(machine_50_0, line_50).
device_action(machine_50_0, state, [read, write]).
device_action(machine_50_0, alarm, [read, notify]).
machine(machine_50_1).
location(machine_50_1, line_50).
device_action(machine_50_1, state, [read, write]).
device_action(machine_50_1, alarm, [read, notify]).
machine(machine_50_2).
location(machine_50_2, line_50).
device_action(machine_50_2, state, [read, write]).
device_action(machine_50_2, alarm, [read, notify]).
machine(machine_50_3).
location(machine_50_3, line_50).
device_action(machine_50_3, state, [read, write]).
device_action(machine_50_3, alarm, [read, notify]).
machine(machine_50_4).
location(machine_50_4, line_50).
device_action(machine_50_4, state, [read, write]).
device_action(machine_50_4, alarm, [read, notify]).
machine(machine_50_5).
location(machine_50_5, line_50).
device_action(machine_50_5, state, [read, write]).
device_action(machine_50_5, alarm, [read, notify]).
machine(machine_50_6).
location(machine_50_6, line_50).
device_action(machine_50_6, state, [read, write]).
device_action(machine_50_6, alarm, [read, notify]).
machine(machine_50_7).
location(machine_50_7, line_50).
device_action(machine_50_7, state, [read, write]).
device_action(machine_50_7, alarm, [read, notify]).
machine(machine_50_8).
location(machine_50_8, line_50).
device_action(machine_50_8, state, [read, write]).
device_action(machine_50_8, alarm, [read, notify]).
machine(machine_50_9).
location(machine_50_9, line_50).
device_action(machine_50_9, state, [read, write]).
device_action(machine_50_9, alarm, [read, notify]).
prod_line(line_51).
machine(machine_51_0).
location(machine_51_0, line_51).
device_action(machine_51_0, state, [read, write]).
device_action(machine_51_0, alarm, [read, notify]).
machine(machine_51_1).
location(machine_51_1, line_51).
device_action(machine_51_1, state, [read, write]).
device_action(machine_51_1, alarm, [read, notify]).
machine(machine_51_2).
location(machine_51_2, line_51).
device_action(machine_51_2, state, [read, write]).
device_action(machine_51_2, alarm, [read, notify]).
machine(machine_51_3).
location(machine_51_3, line_51).
device_action(machine_51_3, state, [read, write]).
device_action(machine_51_3, alarm, [read, notify]).
machine(machine_51_4).
location(machine_51_4, line_51).
device_action(machine_51_4, state, [read, write]).
device_action(machine_51_4, alarm, [read, notify]).
machine(machine_51_5).
location(machine_51_5, line_51).
device_action(machine_51_5, state, [read, write]).
device_action(machine_51_5, alarm, [read, notify]).
machine(machine_51_6).
location(machine_51_6, line_51).
device_action(machine_51_6, state, [read, write]).
device_action(machine_51_6, alarm, [read, notify]).
machine(machine_51_7).
location(machine_51_7, line_51).
device_action(machine_51_7, state, [read, write]).
device_action(machine_51_7, alarm, [read, notify]).
machine(machine_51_8).
location(machine_51_8, line_51).
device_action(machine_51_8, state, [read, write]).
device_action(machine_51_8, alarm, [read, notify]).
machine(machine_51_9).
location(machine_51_9, line_51).
device_action(machine_51_9, state, [read, write]).
device_action(machine_51_9, alarm, [read, notify]).
prod_line(line_52).
machine(machine_52_0).
location(machine_52_0, line_52).
device_action(machine_52_0, state, [read, write]).
device_action(machine_52_0, alarm, [read, notify]).
machine(machine_52_1).
location(machine_52_1, line_52).
device_action(machine_52_1, state, [read, write]).
device_action(machine_52_1, alarm, [read, notify]).
machine(machine_52_2).
location(machine_52_2, line_52).
device_action(machine_52_2, state, [read, write]).
device_action(machine_52_2, alarm, [read, notify]).
machine(machine_52_3).
location(machine_52_3, line_52).
device_action(machine_52_3, state, [read, write]).
device_action(machine_52_3, alarm, [read, notify]).
machine(machine_52_4).
location(machine_52_4, line_52).
device_action(machine_52_4, state, [read, write]).
device_action(machine_52_4, alarm, [read, notify]).
machine(machine_52_5).
location(machine_52_5, line_52).
device_action(machine_52_5, state, [read, write]).
device_action(machine_52_5, alarm, [read, notify]).
machine(machine_52_6).
location(machine_52_6, line_52).
device_action(machine_52_6, state, [read, write]).
device_action(machine_52_6, alarm, [read, notify]).
machine(machine_52_7).
location(machine_52_7, line_52).
device_action(machine_52_7, state, [read, write]).
device_action(machine_52_7, alarm, [read, notify]).
machine(machine_52_8).
location(machine_52_8, line_52).
device_action(machine_52_8, state, [read, write]).
device_action(machine_52_8, alarm, [read, notify]).
machine(machine_52_9).
location(machine_52_9, line_52).
device_action(machine_52_9, state, [read, write]).
device_action(machine_52_9, alarm, [read, notify]).
prod_line(line_53).
machine(machine_53_0).
location(machine_53_0, line_53).
device_action(machine_53_0, state, [read, write]).
device_action(machine_53_0, alarm, [read, notify]).
machine(machine_53_1).
location(machine_53_1, line_53).
device_action(machine_53_1, state, [read, write]).
device_action(machine_53_1, alarm, [read, notify]).
machine(machine_53_2).
location(machine_53_2, line_53).
device_action(machine_53_2, state, [read, write]).
device_action(machine_53_2, alarm, [read, notify]).
machine(machine_53_3).
location(machine_53_3, line_53).
device_action(machine_53_3, state, [read, write]).
device_action(machine_53_3, alarm, [read, notify]).
machine(machine_53_4).
location(machine_53_4, line_53).
device_action(machine_53_4, state, [read, write]).
device_action(machine_53_4, alarm, [read, notify]).
machine(machine_53_5).
location(machine_53_5, line_53).
device_action(machine_53_5, state, [read, write]).
device_action(machine_53_5, alarm, [read, notify]).
machine(machine_53_6).
location(machine_53_6, line_53).
device_action(machine_53_6, state, [read, write]).
device_action(machine_53_6, alarm, [read, notify]).
machine(machine_53_7).
location(machine_53_7, line_53).
device_action(machine_53_7, state, [read, write]).
device_action(machine_53_7, alarm, [read, notify]).
machine(machine_53_8).
location(machine_53_8, line_53).
device_action(machine_53_8, state, [read, write]).
device_action(machine_53_8, alarm, [read, notify]).
machine(machine_53_9).
location(machine_53_9, line_53).
device_action(machine_53_9, state, [read, write]).
device_action(machine_53_9, alarm, [read, notify]).
prod_line(line_54).
machine(machine_54_0).
location(machine_54_0, line_54).
device_action(machine_54_0, state, [read, write]).
device_action(machine_54_0, alarm, [read, notify]).
machine(machine_54_1).
location(machine_54_1, line_54).
device_action(machine_54_1, state, [read, write]).
device_action(machine_54_1, alarm, [read, notify]).
machine(machine_54_2).
location(machine_54_2, line_54).
device_action(machine_54_2, state, [read, write]).
device_action(machine_54_2, alarm, [read, notify]).
machine(machine_54_3).
location(machine_54_3, line_54).
device_action(machine_54_3, state, [read, write]).
device_action(machine_54_3, alarm, [read, notify]).
machine(machine_54_4).
location(machine_54_4, line_54).
device_action(machine_54_4, state, [read, write]).
device_action(machine_54_4, alarm, [read, notify]).
machine(machine_54_5).
location(machine_54_5, line_54).
device_action(machine_54_5, state, [read, write]).
device_action(machine_54_5, alarm, [read, notify]).
machine(machine_54_6).
location(machine_54_6, line_54).
device_action(machine_54_6, state, [read, write]).
device_action(machine_54_6, alarm, [read, notify]).
machine(machine_54_7).
location(machine_54_7, line_54).
device_action(machine_54_7, state, [read, write]).
device_action(machine_54_7, alarm, [read, notify]).
machine(machine_54_8).
location(machine_54_8, line_54).
device_action(machine_54_8, state, [read, write]).
device_action(machine_54_8, alarm, [read, notify]).
machine(machine_54_9).
location(machine_54_9, line_54).
device_action(machine_54_9, state, [read, write]).
device_action(machine_54_9, alarm, [read, notify]).
prod_line(line_55).
machine(machine_55_0).
location(machine_55_0, line_55).
device_action(machine_55_0, state, [read, write]).
device_action(machine_55_0, alarm, [read, notify]).
machine(machine_55_1).
location(machine_55_1, line_55).
device_action(machine_55_1, state, [read, write]).
device_action(machine_55_1, alarm, [read, notify]).
machine(machine_55_2).
location(machine_55_2, line_55).
device_action(machine_55_2, state, [read, write]).
device_action(machine_55_2, alarm, [read, notify]).
machine(machine_55_3).
location(machine_55_3, line_55).
device_action(machine_55_3, state, [read, write]).
device_action(machine_55_3, alarm, [read, notify]).
machine(machine_55_4).
location(machine_55_4, line_55).
device_action(machine_55_4, state, [read, write]).
device_action(machine_55_4, alarm, [read, notify]).
machine(machine_55_5).
location(machine_55_5, line_55).
device_action(machine_55_5, state, [read, write]).
device_action(machine_55_5, alarm, [read, notify]).
machine(machine_55_6).
location(machine_55_6, line_55).
device_action(machine_55_6, state, [read, write]).
device_action(machine_55_6, alarm, [read, notify]).
machine(machine_55_7).
location(machine_55_7, line_55).
device_action(machine_55_7, state, [read, write]).
device_action(machine_55_7, alarm, [read, notify]).
machine(machine_55_8).
location(machine_55_8, line_55).
device_action(machine_55_8, state, [read, write]).
device_action(machine_55_8, alarm, [read, notify]).
machine(machine_55_9).
location(machine_55_9, line_55).
device_action(machine_55_9, state, [read, write]).
device_action(machine_55_9, alarm, [read, notify]).
prod_line(line_56).
machine(machine_56_0).
location(machine_56_0, line_56).
device_action(machine_56_0, state, [read, write]).
device_action(machine_56_0, alarm, [read, notify]).
machine(machine_56_1).
location(machine_56_1, line_56).
device_action(machine_56_1, state, [read, write]).
device_action(machine_56_1, alarm, [read, notify]).
machine(machine_56_2).
location(machine_56_2, line_56).
device_action(machine_56_2, state, [read, write]).
device_action(machine_56_2, alarm, [read, notify]).
machine(machine_56_3).
location(machine_56_3, line_56).
device_action(machine_56_3, state, [read, write]).
device_action(machine_56_3, alarm, [read, notify]).
machine(machine_56_4).
location(machine_56_4, line_56).
device_action(machine_56_4, state, [read, write]).
device_action(machine_56_4, alarm, [read, notify]).
machine(machine_56_5).
location(machine_56_5, line_56).
device_action(machine_56_5, state, [read, write]).
device_action(machine_56_5, alarm, [read, notify]).
machine(machine_56_6).
location(machine_56_6, line_56).
device_action(machine_56_6, state, [read, write]).
device_action(machine_56_6, alarm, [read, notify]).
machine(machine_56_7).
location(machine_56_7, line_56).
device_action(machine_56_7, state, [read, write]).
device_action(machine_56_7, alarm, [read, notify]).
machine(machine_56_8).
location(machine_56_8, line_56).
device_action(machine_56_8, state, [read, write]).
device_action(machine_56_8, alarm, [read, notify]).
machine(machine_56_9).
location(machine_56_9, line_56).
device_action(machine_56_9, state, [read, write]).
device_action(machine_56_9, alarm, [read, notify]).
prod_line(line_57).
machine(machine_57_0).
location(machine_57_0, line_57).
device_action(machine_57_0, state, [read, write]).
device_action(machine_57_0, alarm, [read, notify]).
machine(machine_57_1).
location(machine_57_1, line_57).
device_action(machine_57_1, state, [read, write]).
device_action(machine_57_1, alarm, [read, notify]).
machine(machine_57_2).
location(machine_57_2, line_57).
device_action(machine_57_2, state, [read, write]).
device_action(machine_57_2, alarm, [read, notify]).
machine(machine_57_3).
location(machine_57_3, line_57).
device_action(machine_57_3, state, [read, write]).
device_action(machine_57_3, alarm, [read, notify]).
machine(machine_57_4).
location(machine_57_4, line_57).
device_action(machine_57_4, state, [read, write]).
device_action(machine_57_4, alarm, [read, notify]).
machine(machine_57_5).
location(machine_57_5, line_57).
device_action(machine_57_5, state, [read, write]).
device_action(machine_57_5, alarm, [read, notify]).
machine(machine_57_6).
location(machine_57_6, line_57).
device_action(machine_57_6, state, [read, write]).
device_action(machine_57_6, alarm, [read, notify]).
machine(machine_57_7).
location(machine_57_7, line_57).
device_action(machine_57_7, state, [read, write]).
device_action(machine_57_7, alarm, [read, notify]).
machine(machine_57_8).
location(machine_57_8, line_57).
device_action(machine_57_8, state, [read, write]).
device_action(machine_57_8, alarm, [read, notify]).
machine(machine_57_9).
location(machine_57_9, line_57).
device_action(machine_57_9, state, [read, write]).
device_action(machine_57_9, alarm, [read, notify]).
prod_line(line_58).
machine(machine_58_0).
location(machine_58_0, line_58).
device_action(machine_58_0, state, [read, write]).
device_action(machine_58_0, alarm, [read, notify]).
machine(machine_58_1).
location(machine_58_1, line_58).
device_action(machine_58_1, state, [read, write]).
device_action(machine_58_1, alarm, [read, notify]).
machine(machine_58_2).
location(machine_58_2, line_58).
device_action(machine_58_2, state, [read, write]).
device_action(machine_58_2, alarm, [read, notify]).
machine(machine_58_3).
location(machine_58_3, line_58).
device_action(machine_58_3, state, [read, write]).
device_action(machine_58_3, alarm, [read, notify]).
machine(machine_58_4).
location(machine_58_4, line_58).
device_action(machine_58_4, state, [read, write]).
device_action(machine_58_4, alarm, [read, notify]).
machine(machine_58_5).
location(machine_58_5, line_58).
device_action(machine_58_5, state, [read, write]).
device_action(machine_58_5, alarm, [read, notify]).
machine(machine_58_6).
location(machine_58_6, line_58).
device_action(machine_58_6, state, [read, write]).
device_action(machine_58_6, alarm, [read, notify]).
machine(machine_58_7).
location(machine_58_7, line_58).
device_action(machine_58_7, state, [read, write]).
device_action(machine_58_7, alarm, [read, notify]).
machine(machine_58_8).
location(machine_58_8, line_58).
device_action(machine_58_8, state, [read, write]).
device_action(machine_58_8, alarm, [read, notify]).
machine(machine_58_9).
location(machine_58_9, line_58).
device_action(machine_58_9, state, [read, write]).
device_action(machine_58_9, alarm, [read, notify]).
prod_line(line_59).
machine(machine_59_0).
location(machine_59_0, line_59).
device_action(machine_59_0, state, [read, write]).
device_action(machine_59_0, alarm, [read, notify]).
machine(machine_59_1).
location(machine_59_1, line_59).
device_action(machine_59_1, state, [read, write]).
device_action(machine_59_1, alarm, [read, notify]).
machine(machine_59_2).
location(machine_59_2, line_59).
device_action(machine_59_2, state, [read, write]).
device_action(machine_59_2, alarm, [read, notify]).
machine(machine_59_3).
location(machine_59_3, line_59).
device_action(machine_59_3, state, [read, write]).
device_action(machine_59_3, alarm, [read, notify]).
machine(machine_59_4).
location(machine_59_4, line_59).
device_action(machine_59_4, state, [read, write]).
device_action(machine_59_4, alarm, [read, notify]).
machine(machine_59_5).
location(machine_59_5, line_59).
device_action(machine_59_5, state, [read, write]).
device_action(machine_59_5, alarm, [read, notify]).
machine(machine_59_6).
location(machine_59_6, line_59).
device_action(machine_59_6, state, [read, write]).
device_action(machine_59_6, alarm, [read, notify]).
machine(machine_59_7).
location(machine_59_7, line_59).
device_action(machine_59_7, state, [read, write]).
device_action(machine_59_7, alarm, [read, notify]).
machine(machine_59_8).
location(machine_59_8, line_59).
device_action(machine_59_8, state, [read, write]).
device_action(machine_59_8, alarm, [read, notify]).
machine(machine_59_9).
location(machine_59_9, line_59).
device_action(machine_59_9, state, [read, write]).
device_action(machine_59_9, alarm, [read, notify]).
prod_line(line_60).
machine(machine_60_0).
location(machine_60_0, line_60).
device_action(machine_60_0, state, [read, write]).
device_action(machine_60_0, alarm, [read, notify]).
machine(machine_60_1).
location(machine_60_1, line_60).
device_action(machine_60_1, state, [read, write]).
device_action(machine_60_1, alarm, [read, notify]).
machine(machine_60_2).
location(machine_60_2, line_60).
device_action(machine_60_2, state, [read, write]).
device_action(machine_60_2, alarm, [read, notify]).
machine(machine_60_3).
location(machine_60_3, line_60).
device_action(machine_60_3, state, [read, write]).
device_action(machine_60_3, alarm, [read, notify]).
machine(machine_60_4).
location(machine_60_4, line_60).
device_action(machine_60_4, state, [read, write]).
device_action(machine_60_4, alarm, [read, notify]).
machine(machine_60_5).
location(machine_60_5, line_60).
device_action(machine_60_5, state, [read, write]).
device_action(machine_60_5, alarm, [read, notify]).
machine(machine_60_6).
location(machine_60_6, line_60).
device_action(machine_60_6, state, [read, write]).
device_action(machine_60_6, alarm, [read, notify]).
machine(machine_60_7).
location(machine_60_7, line_60).
device_action(machine_60_7, state, [read, write]).
device_action(machine_60_7, alarm, [read, notify]).
machine(machine_60_8).
location(machine_60_8, line_60).
device_action(machine_60_8, state, [read, write]).
device_action(machine_60_8, alarm, [read, notify]).
machine(machine_60_9).
location(machine_60_9, line_60).
device_action(machine_60_9, state, [read, write]).
device_action(machine_60_9, alarm, [read, notify]).
prod_line(line_61).
machine(machine_61_0).
location(machine_61_0, line_61).
device_action(machine_61_0, state, [read, write]).
device_action(machine_61_0, alarm, [read, notify]).
machine(machine_61_1).
location(machine_61_1, line_61).
device_action(machine_61_1, state, [read, write]).
device_action(machine_61_1, alarm, [read, notify]).
machine(machine_61_2).
location(machine_61_2, line_61).
device_action(machine_61_2, state, [read, write]).
device_action(machine_61_2, alarm, [read, notify]).
machine(machine_61_3).
location(machine_61_3, line_61).
device_action(machine_61_3, state, [read, write]).
device_action(machine_61_3, alarm, [read, notify]).
machine(machine_61_4).
location(machine_61_4, line_61).
device_action(machine_61_4, state, [read, write]).
device_action(machine_61_4, alarm, [read, notify]).
machine(machine_61_5).
location(machine_61_5, line_61).
device_action(machine_61_5, state, [read, write]).
device_action(machine_61_5, alarm, [read, notify]).
machine(machine_61_6).
location(machine_61_6, line_61).
device_action(machine_61_6, state, [read, write]).
device_action(machine_61_6, alarm, [read, notify]).
machine(machine_61_7).
location(machine_61_7, line_61).
device_action(machine_61_7, state, [read, write]).
device_action(machine_61_7, alarm, [read, notify]).
machine(machine_61_8).
location(machine_61_8, line_61).
device_action(machine_61_8, state, [read, write]).
device_action(machine_61_8, alarm, [read, notify]).
machine(machine_61_9).
location(machine_61_9, line_61).
device_action(machine_61_9, state, [read, write]).
device_action(machine_61_9, alarm, [read, notify]).
prod_line(line_62).
machine(machine_62_0).
location(machine_62_0, line_62).
device_action(machine_62_0, state, [read, write]).
device_action(machine_62_0, alarm, [read, notify]).
machine(machine_62_1).
location(machine_62_1, line_62).
device_action(machine_62_1, state, [read, write]).
device_action(machine_62_1, alarm, [read, notify]).
machine(machine_62_2).
location(machine_62_2, line_62).
device_action(machine_62_2, state, [read, write]).
device_action(machine_62_2, alarm, [read, notify]).
machine(machine_62_3).
location(machine_62_3, line_62).
device_action(machine_62_3, state, [read, write]).
device_action(machine_62_3, alarm, [read, notify]).
machine(machine_62_4).
location(machine_62_4, line_62).
device_action(machine_62_4, state, [read, write]).
device_action(machine_62_4, alarm, [read, notify]).
machine(machine_62_5).
location(machine_62_5, line_62).
device_action(machine_62_5, state, [read, write]).
device_action(machine_62_5, alarm, [read, notify]).
machine(machine_62_6).
location(machine_62_6, line_62).
device_action(machine_62_6, state, [read, write]).
device_action(machine_62_6, alarm, [read, notify]).
machine(machine_62_7).
location(machine_62_7, line_62).
device_action(machine_62_7, state, [read, write]).
device_action(machine_62_7, alarm, [read, notify]).
machine(machine_62_8).
location(machine_62_8, line_62).
device_action(machine_62_8, state, [read, write]).
device_action(machine_62_8, alarm, [read, notify]).
machine(machine_62_9).
location(machine_62_9, line_62).
device_action(machine_62_9, state, [read, write]).
device_action(machine_62_9, alarm, [read, notify]).
prod_line(line_63).
machine(machine_63_0).
location(machine_63_0, line_63).
device_action(machine_63_0, state, [read, write]).
device_action(machine_63_0, alarm, [read, notify]).
machine(machine_63_1).
location(machine_63_1, line_63).
device_action(machine_63_1, state, [read, write]).
device_action(machine_63_1, alarm, [read, notify]).
machine(machine_63_2).
location(machine_63_2, line_63).
device_action(machine_63_2, state, [read, write]).
device_action(machine_63_2, alarm, [read, notify]).
machine(machine_63_3).
location(machine_63_3, line_63).
device_action(machine_63_3, state, [read, write]).
device_action(machine_63_3, alarm, [read, notify]).
machine(machine_63_4).
location(machine_63_4, line_63).
device_action(machine_63_4, state, [read, write]).
device_action(machine_63_4, alarm, [read, notify]).
machine(machine_63_5).
location(machine_63_5, line_63).
device_action(machine_63_5, state, [read, write]).
device_action(machine_63_5, alarm, [read, notify]).
machine(machine_63_6).
location(machine_63_6, line_63).
device_action(machine_63_6, state, [read, write]).
device_action(machine_63_6, alarm, [read, notify]).
machine(machine_63_7).
location(machine_63_7, line_63).
device_action(machine_63_7, state, [read, write]).
device_action(machine_63_7, alarm, [read, notify]).
machine(machine_63_8).
location(machine_63_8, line_63).
device_action(machine_63_8, state, [read, write]).
device_action(machine_63_8, alarm, [read, notify]).
machine(machine_63_9).
location(machine_63_9, line_63).
device_action(machine_63_9, state, [read, write]).
device_action(machine_63_9, alarm, [read, notify]).
prod_line(line_64).
machine(machine_64_0).
location(machine_64_0, line_64).
device_action(machine_64_0, state, [read, write]).
device_action(machine_64_0, alarm, [read, notify]).
machine(machine_64_1).
location(machine_64_1, line_64).
device_action(machine_64_1, state, [read, write]).
device_action(machine_64_1, alarm, [read, notify]).
machine(machine_64_2).
location(machine_64_2, line_64).
device_action(machine_64_2, state, [read, write]).
device_action(machine_64_2, alarm, [read, notify]).
machine(machine_64_3).
location(machine_64_3, line_64).
device_action(machine_64_3, state, [read, write]).
device_action(machine_64_3, alarm, [read, notify]).
machine(machine_64_4).
location(machine_64_4, line_64).
device_action(machine_64_4, state, [read, write]).
device_action(machine_64_4, alarm, [read, notify]).
machine(machine_64_5).
location(machine_64_5, line_64).
device_action(machine_64_5, state, [read, write]).
device_action(machine_64_5, alarm, [read, notify]).
machine(machine_64_6).
location(machine_64_6, line_64).
device_action(machine_64_6, state, [read, write]).
device_action(machine_64_6, alarm, [read, notify]).
machine(machine_64_7).
location(machine_64_7, line_64).
device_action(machine_64_7, state, [read, write]).
device_action(machine_64_7, alarm, [read, notify]).
machine(machine_64_8).
location(machine_64_8, line_64).
device_action(machine_64_8, state, [read, write]).
device_action(machine_64_8, alarm, [read, notify]).
machine(machine_64_9).
location(machine_64_9, line_64).
device_action(machine_64_9, state, [read, write]).
device_action(machine_64_9, alarm, [read, notify]).
prod_line(line_65).
machine(machine_65_0).
location(machine_65_0, line_65).
device_action(machine_65_0, state, [read, write]).
device_action(machine_65_0, alarm, [read, notify]).
machine(machine_65_1).
location(machine_65_1, line_65).
device_action(machine_65_1, state, [read, write]).
device_action(machine_65_1, alarm, [read, notify]).
machine(machine_65_2).
location(machine_65_2, line_65).
device_action(machine_65_2, state, [read, write]).
device_action(machine_65_2, alarm, [read, notify]).
machine(machine_65_3).
location(machine_65_3, line_65).
device_action(machine_65_3, state, [read, write]).
device_action(machine_65_3, alarm, [read, notify]).
machine(machine_65_4).
location(machine_65_4, line_65).
device_action(machine_65_4, state, [read, write]).
device_action(machine_65_4, alarm, [read, notify]).
machine(machine_65_5).
location(machine_65_5, line_65).
device_action(machine_65_5, state, [read, write]).
device_action(machine_65_5, alarm, [read, notify]).
machine(machine_65_6).
location(machine_65_6, line_65).
device_action(machine_65_6, state, [read, write]).
device_action(machine_65_6, alarm, [read, notify]).
machine(machine_65_7).
location(machine_65_7, line_65).
device_action(machine_65_7, state, [read, write]).
device_action(machine_65_7, alarm, [read, notify]).
machine(machine_65_8).
location(machine_65_8, line_65).
device_action(machine_65_8, state, [read, write]).
device_action(machine_65_8, alarm, [read, notify]).
machine(machine_65_9).
location(machine_65_9, line_65).
device_action(machine_65_9, state, [read, write]).
device_action(machine_65_9, alarm, [read, notify]).
prod_line(line_66).
machine(machine_66_0).
location(machine_66_0, line_66).
device_action(machine_66_0, state, [read, write]).
device_action(machine_66_0, alarm, [read, notify]).
machine(machine_66_1).
location(machine_66_1, line_66).
device_action(machine_66_1, state, [read, write]).
device_action(machine_66_1, alarm, [read, notify]).
machine(machine_66_2).
location(machine_66_2, line_66).
device_action(machine_66_2, state, [read, write]).
device_action(machine_66_2, alarm, [read, notify]).
machine(machine_66_3).
location(machine_66_3, line_66).
device_action(machine_66_3, state, [read, write]).
device_action(machine_66_3, alarm, [read, notify]).
machine(machine_66_4).
location(machine_66_4, line_66).
device_action(machine_66_4, state, [read, write]).
device_action(machine_66_4, alarm, [read, notify]).
machine(machine_66_5).
location(machine_66_5, line_66).
device_action(machine_66_5, state, [read, write]).
device_action(machine_66_5, alarm, [read, notify]).
machine(machine_66_6).
location(machine_66_6, line_66).
device_action(machine_66_6, state, [read, write]).
device_action(machine_66_6, alarm, [read, notify]).
machine(machine_66_7).
location(machine_66_7, line_66).
device_action(machine_66_7, state, [read, write]).
device_action(machine_66_7, alarm, [read, notify]).
machine(machine_66_8).
location(machine_66_8, line_66).
device_action(machine_66_8, state, [read, write]).
device_action(machine_66_8, alarm, [read, notify]).
machine(machine_66_9).
location(machine_66_9, line_66).
device_action(machine_66_9, state, [read, write]).
device_action(machine_66_9, alarm, [read, notify]).
prod_line(line_67).
machine(machine_67_0).
location(machine_67_0, line_67).
device_action(machine_67_0, state, [read, write]).
device_action(machine_67_0, alarm, [read, notify]).
machine(machine_67_1).
location(machine_67_1, line_67).
device_action(machine_67_1, state, [read, write]).
device_action(machine_67_1, alarm, [read, notify]).
machine(machine_67_2).
location(machine_67_2, line_67).
device_action(machine_67_2, state, [read, write]).
device_action(machine_67_2, alarm, [read, notify]).
machine(machine_67_3).
location(machine_67_3, line_67).
device_action(machine_67_3, state, [read, write]).
device_action(machine_67_3, alarm, [read, notify]).
machine(machine_67_4).
location(machine_67_4, line_67).
device_action(machine_67_4, state, [read, write]).
device_action(machine_67_4, alarm, [read, notify]).
machine(machine_67_5).
location(machine_67_5, line_67).
device_action(machine_67_5, state, [read, write]).
device_action(machine_67_5, alarm, [read, notify]).
machine(machine_67_6).
location(machine_67_6, line_67).
device_action(machine_67_6, state, [read, write]).
device_action(machine_67_6, alarm, [read, notify]).
machine(machine_67_7).
location(machine_67_7, line_67).
device_action(machine_67_7, state, [read, write]).
device_action(machine_67_7, alarm, [read, notify]).
machine(machine_67_8).
location(machine_67_8, line_67).
device_action(machine_67_8, state, [read, write]).
device_action(machine_67_8, alarm, [read, notify]).
machine(machine_67_9).
location(machine_67_9, line_67).
device_action(machine_67_9, state, [read, write]).
device_action(machine_67_9, alarm, [read, notify]).
prod_line(line_68).
machine(machine_68_0).
location(machine_68_0, line_68).
device_action(machine_68_0, state, [read, write]).
device_action(machine_68_0, alarm, [read, notify]).
machine(machine_68_1).
location(machine_68_1, line_68).
device_action(machine_68_1, state, [read, write]).
device_action(machine_68_1, alarm, [read, notify]).
machine(machine_68_2).
location(machine_68_2, line_68).
device_action(machine_68_2, state, [read, write]).
device_action(machine_68_2, alarm, [read, notify]).
machine(machine_68_3).
location(machine_68_3, line_68).
device_action(machine_68_3, state, [read, write]).
device_action(machine_68_3, alarm, [read, notify]).
machine(machine_68_4).
location(machine_68_4, line_68).
device_action(machine_68_4, state, [read, write]).
device_action(machine_68_4, alarm, [read, notify]).
machine(machine_68_5).
location(machine_68_5, line_68).
device_action(machine_68_5, state, [read, write]).
device_action(machine_68_5, alarm, [read, notify]).
machine(machine_68_6).
location(machine_68_6, line_68).
device_action(machine_68_6, state, [read, write]).
device_action(machine_68_6, alarm, [read, notify]).
machine(machine_68_7).
location(machine_68_7, line_68).
device_action(machine_68_7, state, [read, write]).
device_action(machine_68_7, alarm, [read, notify]).
machine(machine_68_8).
location(machine_68_8, line_68).
device_action(machine_68_8, state, [read, write]).
device_action(machine_68_8, alarm, [read, notify]).
machine(machine_68_9).
location(machine_68_9, line_68).
device_action(machine_68_9, state, [read, write]).
device_action(machine_68_9, alarm, [read, notify]).
prod_line(line_69).
machine(machine_69_0).
location(machine_69_0, line_69).
device_action(machine_69_0, state, [read, write]).
device_action(machine_69_0, alarm, [read, notify]).
machine(machine_69_1).
location(machine_69_1, line_69).
device_action(machine_69_1, state, [read, write]).
device_action(machine_69_1, alarm, [read, notify]).
machine(machine_69_2).
location(machine_69_2, line_69).
device_action(machine_69_2, state, [read, write]).
device_action(machine_69_2, alarm, [read, notify]).
machine(machine_69_3).
location(machine_69_3, line_69).
device_action(machine_69_3, state, [read, write]).
device_action(machine_69_3, alarm, [read, notify]).
machine(machine_69_4).
location(machine_69_4, line_69).
device_action(machine_69_4, state, [read, write]).
device_action(machine_69_4, alarm, [read, notify]).
machine(machine_69_5).
location(machine_69_5, line_69).
device_action(machine_69_5, state, [read, write]).
device_action(machine_69_5, alarm, [read, notify]).
machine(machine_69_6).
location(machine_69_6, line_69).
device_action(machine_69_6, state, [read, write]).
device_action(machine_69_6, alarm, [read, notify]).
machine(machine_69_7).
location(machine_69_7, line_69).
device_action(machine_69_7, state, [read, write]).
device_action(machine_69_7, alarm, [read, notify]).
machine(machine_69_8).
location(machine_69_8, line_69).
device_action(machine_69_8, state, [read, write]).
device_action(machine_69_8, alarm, [read, notify]).
machine(machine_69_9).
location(machine_69_9, line_69).
device_action(machine_69_9, state, [read, write]).
device_action(machine_69_9, alarm, [read, notify]).
prod_line(line_70).
machine(machine_70_0).
location(machine_70_0, line_70).
device_action(machine_70_0, state, [read, write]).
device_action(machine_70_0, alarm, [read, notify]).
machine(machine_70_1).
location(machine_70_1, line_70).
device_action(machine_70_1, state, [read, write]).
device_action(machine_70_1, alarm, [read, notify]).
machine(machine_70_2).
location(machine_70_2, line_70).
device_action(machine_70_2, state, [read, write]).
device_action(machine_70_2, alarm, [read, notify]).
machine(machine_70_3).
location(machine_70_3, line_70).
device_action(machine_70_3, state, [read, write]).
device_action(machine_70_3, alarm, [read, notify]).
machine(machine_70_4).
location(machine_70_4, line_70).
device_action(machine_70_4, state, [read, write]).
device_action(machine_70_4, alarm, [read, notify]).
machine(machine_70_5).
location(machine_70_5, line_70).
device_action(machine_70_5, state, [read, write]).
device_action(machine_70_5, alarm, [read, notify]).
machine(machine_70_6).
location(machine_70_6, line_70).
device_action(machine_70_6, state, [read, write]).
device_action(machine_70_6, alarm, [read, notify]).
machine(machine_70_7).
location(machine_70_7, line_70).
device_action(machine_70_7, state, [read, write]).
device_action(machine_70_7, alarm, [read, notify]).
machine(machine_70_8).
location(machine_70_8, line_70).
device_action(machine_70_8, state, [read, write]).
device_action(machine_70_8, alarm, [read, notify]).
machine(machine_70_9).
location(machine_70_9, line_70).
device_action(machine_70_9, state, [read, write]).
device_action(machine_70_9, alarm, [read, notify]).
prod_line(line_71).
machine(machine_71_0).
location(machine_71_0, line_71).
device_action(machine_71_0, state, [read, write]).
device_action(machine_71_0, alarm, [read, notify]).
machine(machine_71_1).
location(machine_71_1, line_71).
device_action(machine_71_1, state, [read, write]).
device_action(machine_71_1, alarm, [read, notify]).
machine(machine_71_2).
location(machine_71_2, line_71).
device_action(machine_71_2, state, [read, write]).
device_action(machine_71_2, alarm, [read, notify]).
machine(machine_71_3).
location(machine_71_3, line_71).
device_action(machine_71_3, state, [read, write]).
device_action(machine_71_3, alarm, [read, notify]).
machine(machine_71_4).
location(machine_71_4, line_71).
device_action(machine_71_4, state, [read, write]).
device_action(machine_71_4, alarm, [read, notify]).
machine(machine_71_5).
location(machine_71_5, line_71).
device_action(machine_71_5, state, [read, write]).
device_action(machine_71_5, alarm, [read, notify]).
machine(machine_71_6).
location(machine_71_6, line_71).
device_action(machine_71_6, state, [read, write]).
device_action(machine_71_6, alarm, [read, notify]).
machine(machine_71_7).
location(machine_71_7, line_71).
device_action(machine_71_7, state, [read, write]).
device_action(machine_71_7, alarm, [read, notify]).
machine(machine_71_8).
location(machine_71_8, line_71).
device_action(machine_71_8, state, [read, write]).
device_action(machine_71_8, alarm, [read, notify]).
machine(machine_71_9).
location(machine_71_9, line_71).
device_action(machine_71_9, state, [read, write]).
device_action(machine_71_9, alarm, [read, notify]).
prod_line(line_72).
machine(machine_72_0).
location(machine_72_0, line_72).
device_action(machine_72_0, state, [read, write]).
device_action(machine_72_0, alarm, [read, notify]).
machine(machine_72_1).
location(machine_72_1, line_72).
device_action(machine_72_1, state, [read, write]).
device_action(machine_72_1, alarm, [read, notify]).
machine(machine_72_2).
location(machine_72_2, line_72).
device_action(machine_72_2, state, [read, write]).
device_action(machine_72_2, alarm, [read, notify]).
machine(machine_72_3).
location(machine_72_3, line_72).
device_action(machine_72_3, state, [read, write]).
device_action(machine_72_3, alarm, [read, notify]).
machine(machine_72_4).
location(machine_72_4, line_72).
device_action(machine_72_4, state, [read, write]).
device_action(machine_72_4, alarm, [read, notify]).
machine(machine_72_5).
location(machine_72_5, line_72).
device_action(machine_72_5, state, [read, write]).
device_action(machine_72_5, alarm, [read, notify]).
machine(machine_72_6).
location(machine_72_6, line_72).
device_action(machine_72_6, state, [read, write]).
device_action(machine_72_6, alarm, [read, notify]).
machine(machine_72_7).
location(machine_72_7, line_72).
device_action(machine_72_7, state, [read, write]).
device_action(machine_72_7, alarm, [read, notify]).
machine(machine_72_8).
location(machine_72_8, line_72).
device_action(machine_72_8, state, [read, write]).
device_action(machine_72_8, alarm, [read, notify]).
machine(machine_72_9).
location(machine_72_9, line_72).
device_action(machine_72_9, state, [read, write]).
device_action(machine_72_9, alarm, [read, notify]).
prod_line(line_73).
machine(machine_73_0).
location(machine_73_0, line_73).
device_action(machine_73_0, state, [read, write]).
device_action(machine_73_0, alarm, [read, notify]).
machine(machine_73_1).
location(machine_73_1, line_73).
device_action(machine_73_1, state, [read, write]).
device_action(machine_73_1, alarm, [read, notify]).
machine(machine_73_2).
location(machine_73_2, line_73).
device_action(machine_73_2, state, [read, write]).
device_action(machine_73_2, alarm, [read, notify]).
machine(machine_73_3).
location(machine_73_3, line_73).
device_action(machine_73_3, state, [read, write]).
device_action(machine_73_3, alarm, [read, notify]).
machine(machine_73_4).
location(machine_73_4, line_73).
device_action(machine_73_4, state, [read, write]).
device_action(machine_73_4, alarm, [read, notify]).
machine(machine_73_5).
location(machine_73_5, line_73).
device_action(machine_73_5, state, [read, write]).
device_action(machine_73_5, alarm, [read, notify]).
machine(machine_73_6).
location(machine_73_6, line_73).
device_action(machine_73_6, state, [read, write]).
device_action(machine_73_6, alarm, [read, notify]).
machine(machine_73_7).
location(machine_73_7, line_73).
device_action(machine_73_7, state, [read, write]).
device_action(machine_73_7, alarm, [read, notify]).
machine(machine_73_8).
location(machine_73_8, line_73).
device_action(machine_73_8, state, [read, write]).
device_action(machine_73_8, alarm, [read, notify]).
machine(machine_73_9).
location(machine_73_9, line_73).
device_action(machine_73_9, state, [read, write]).
device_action(machine_73_9, alarm, [read, notify]).
prod_line(line_74).
machine(machine_74_0).
location(machine_74_0, line_74).
device_action(machine_74_0, state, [read, write]).
device_action(machine_74_0, alarm, [read, notify]).
machine(machine_74_1).
location(machine_74_1, line_74).
device_action(machine_74_1, state, [read, write]).
device_action(machine_74_1, alarm, [read, notify]).
machine(machine_74_2).
location(machine_74_2, line_74).
device_action(machine_74_2, state, [read, write]).
device_action(machine_74_2, alarm, [read, notify]).
machine(machine_74_3).
location(machine_74_3, line_74).
device_action(machine_74_3, state, [read, write]).
device_action(machine_74_3, alarm, [read, notify]).
machine(machine_74_4).
location(machine_74_4, line_74).
device_action(machine_74_4, state, [read, write]).
device_action(machine_74_4, alarm, [read, notify]).
machine(machine_74_5).
location(machine_74_5, line_74).
device_action(machine_74_5, state, [read, write]).
device_action(machine_74_5, alarm, [read, notify]).
machine(machine_74_6).
location(machine_74_6, line_74).
device_action(machine_74_6, state, [read, write]).
device_action(machine_74_6, alarm, [read, notify]).
machine(machine_74_7).
location(machine_74_7, line_74).
device_action(machine_74_7, state, [read, write]).
device_action(machine_74_7, alarm, [read, notify]).
machine(machine_74_8).
location(machine_74_8, line_74).
device_action(machine_74_8, state, [read, write]).
device_action(machine_74_8, alarm, [read, notify]).
machine(machine_74_9).
location(machine_74_9, line_74).
device_action(machine_74_9, state, [read, write]).
device_action(machine_74_9, alarm, [read, notify]).
prod_line(line_75).
machine(machine_75_0).
location(machine_75_0, line_75).
device_action(machine_75_0, state, [read, write]).
device_action(machine_75_0, alarm, [read, notify]).
machine(machine_75_1).
location(machine_75_1, line_75).
device_action(machine_75_1, state, [read, write]).
device_action(machine_75_1, alarm, [read, notify]).
machine(machine_75_2).
location(machine_75_2, line_75).
device_action(machine_75_2, state, [read, write]).
device_action(machine_75_2, alarm, [read, notify]).
machine(machine_75_3).
location(machine_75_3, line_75).
device_action(machine_75_3, state, [read, write]).
device_action(machine_75_3, alarm, [read, notify]).
machine(machine_75_4).
location(machine_75_4, line_75).
device_action(machine_75_4, state, [read, write]).
device_action(machine_75_4, alarm, [read, notify]).
machine(machine_75_5).
location(machine_75_5, line_75).
device_action(machine_75_5, state, [read, write]).
device_action(machine_75_5, alarm, [read, notify]).
machine(machine_75_6).
location(machine_75_6, line_75).
device_action(machine_75_6, state, [read, write]).
device_action(machine_75_6, alarm, [read, notify]).
machine(machine_75_7).
location(machine_75_7, line_75).
device_action(machine_75_7, state, [read, write]).
device_action(machine_75_7, alarm, [read, notify]).
machine(machine_75_8).
location(machine_75_8, line_75).
device_action(machine_75_8, state, [read, write]).
device_action(machine_75_8, alarm, [read, notify]).
machine(machine_75_9).
location(machine_75_9, line_75).
device_action(machine_75_9, state, [read, write]).
device_action(machine_75_9, alarm, [read, notify]).
prod_line(line_76).
machine(machine_76_0).
location(machine_76_0, line_76).
device_action(machine_76_0, state, [read, write]).
device_action(machine_76_0, alarm, [read, notify]).
machine(machine_76_1).
location(machine_76_1, line_76).
device_action(machine_76_1, state, [read, write]).
device_action(machine_76_1, alarm, [read, notify]).
machine(machine_76_2).
location(machine_76_2, line_76).
device_action(machine_76_2, state, [read, write]).
device_action(machine_76_2, alarm, [read, notify]).
machine(machine_76_3).
location(machine_76_3, line_76).
device_action(machine_76_3, state, [read, write]).
device_action(machine_76_3, alarm, [read, notify]).
machine(machine_76_4).
location(machine_76_4, line_76).
device_action(machine_76_4, state, [read, write]).
device_action(machine_76_4, alarm, [read, notify]).
machine(machine_76_5).
location(machine_76_5, line_76).
device_action(machine_76_5, state, [read, write]).
device_action(machine_76_5, alarm, [read, notify]).
machine(machine_76_6).
location(machine_76_6, line_76).
device_action(machine_76_6, state, [read, write]).
device_action(machine_76_6, alarm, [read, notify]).
machine(machine_76_7).
location(machine_76_7, line_76).
device_action(machine_76_7, state, [read, write]).
device_action(machine_76_7, alarm, [read, notify]).
machine(machine_76_8).
location(machine_76_8, line_76).
device_action(machine_76_8, state, [read, write]).
device_action(machine_76_8, alarm, [read, notify]).
machine(machine_76_9).
location(machine_76_9, line_76).
device_action(machine_76_9, state, [read, write]).
device_action(machine_76_9, alarm, [read, notify]).
prod_line(line_77).
machine(machine_77_0).
location(machine_77_0, line_77).
device_action(machine_77_0, state, [read, write]).
device_action(machine_77_0, alarm, [read, notify]).
machine(machine_77_1).
location(machine_77_1, line_77).
device_action(machine_77_1, state, [read, write]).
device_action(machine_77_1, alarm, [read, notify]).
machine(machine_77_2).
location(machine_77_2, line_77).
device_action(machine_77_2, state, [read, write]).
device_action(machine_77_2, alarm, [read, notify]).
machine(machine_77_3).
location(machine_77_3, line_77).
device_action(machine_77_3, state, [read, write]).
device_action(machine_77_3, alarm, [read, notify]).
machine(machine_77_4).
location(machine_77_4, line_77).
device_action(machine_77_4, state, [read, write]).
device_action(machine_77_4, alarm, [read, notify]).
machine(machine_77_5).
location(machine_77_5, line_77).
device_action(machine_77_5, state, [read, write]).
device_action(machine_77_5, alarm, [read, notify]).
machine(machine_77_6).
location(machine_77_6, line_77).
device_action(machine_77_6, state, [read, write]).
device_action(machine_77_6, alarm, [read, notify]).
machine(machine_77_7).
location(machine_77_7, line_77).
device_action(machine_77_7, state, [read, write]).
device_action(machine_77_7, alarm, [read, notify]).
machine(machine_77_8).
location(machine_77_8, line_77).
device_action(machine_77_8, state, [read, write]).
device_action(machine_77_8, alarm, [read, notify]).
machine(machine_77_9).
location(machine_77_9, line_77).
device_action(machine_77_9, state, [read, write]).
device_action(machine_77_9, alarm, [read, notify]).
prod_line(line_78).
machine(machine_78_0).
location(machine_78_0, line_78).
device_action(machine_78_0, state, [read, write]).
device_action(machine_78_0, alarm, [read, notify]).
machine(machine_78_1).
location(machine_78_1, line_78).
device_action(machine_78_1, state, [read, write]).
device_action(machine_78_1, alarm, [read, notify]).
machine(machine_78_2).
location(machine_78_2, line_78).
device_action(machine_78_2, state, [read, write]).
device_action(machine_78_2, alarm, [read, notify]).
machine(machine_78_3).
location(machine_78_3, line_78).
device_action(machine_78_3, state, [read, write]).
device_action(machine_78_3, alarm, [read, notify]).
machine(machine_78_4).
location(machine_78_4, line_78).
device_action(machine_78_4, state, [read, write]).
device_action(machine_78_4, alarm, [read, notify]).
machine(machine_78_5).
location(machine_78_5, line_78).
device_action(machine_78_5, state, [read, write]).
device_action(machine_78_5, alarm, [read, notify]).
machine(machine_78_6).
location(machine_78_6, line_78).
device_action(machine_78_6, state, [read, write]).
device_action(machine_78_6, alarm, [read, notify]).
machine(machine_78_7).
location(machine_78_7, line_78).
device_action(machine_78_7, state, [read, write]).
device_action(machine_78_7, alarm, [read, notify]).
machine(machine_78_8).
location(machine_78_8, line_78).
device_action(machine_78_8, state, [read, write]).
device_action(machine_78_8, alarm, [read, notify]).
machine(machine_78_9).
location(machine_78_9, line_78).
device_action(machine_78_9, state, [read, write]).
device_action(machine_78_9, alarm, [read, notify]).
prod_line(line_79).
machine(machine_79_0).
location(machine_79_0, line_79).
device_action(machine_79_0, state, [read, write]).
device_action(machine_79_0, alarm, [read, notify]).
machine(machine_79_1).
location(machine_79_1, line_79).
device_action(machine_79_1, state, [read, write]).
device_action(machine_79_1, alarm, [read, notify]).
machine(machine_79_2).
location(machine_79_2, line_79).
device_action(machine_79_2, state, [read, write]).
device_action(machine_79_2, alarm, [read, notify]).
machine(machine_79_3).
location(machine_79_3, line_79).
device_action(machine_79_3, state, [read, write]).
device_action(machine_79_3, alarm, [read, notify]).
machine(machine_79_4).
location(machine_79_4, line_79).
device_action(machine_79_4, state, [read, write]).
device_action(machine_79_4, alarm, [read, notify]).
machine(machine_79_5).
location(machine_79_5, line_79).
device_action(machine_79_5, state, [read, write]).
device_action(machine_79_5, alarm, [read, notify]).
machine(machine_79_6).
location(machine_79_6, line_79).
device_action(machine_79_6, state, [read, write]).
device_action(machine_79_6, alarm, [read, notify]).
machine(machine_79_7).
location(machine_79_7, line_79).
device_action(machine_79_7, state, [read, write]).
device_action(machine_79_7, alarm, [read, notify]).
machine(machine_79_8).
location(machine_79_8, line_79).
device_action(machine_79_8, state, [read, write]).
device_action(machine_79_8, alarm, [read, notify]).
machine(machine_79_9).
location(machine_79_9, line_79).
device_action(machine_79_9, state, [read, write]).
device_action(machine_79_9, alarm, [read, notify]).
prod_line(line_80).
machine(machine_80_0).
location(machine_80_0, line_80).
device_action(machine_80_0, state, [read, write]).
device_action(machine_80_0, alarm, [read, notify]).
machine(machine_80_1).
location(machine_80_1, line_80).
device_action(machine_80_1, state, [read, write]).
device_action(machine_80_1, alarm, [read, notify]).
machine(machine_80_2).
location(machine_80_2, line_80).
device_action(machine_80_2, state, [read, write]).
device_action(machine_80_2, alarm, [read, notify]).
machine(machine_80_3).
location(machine_80_3, line_80).
device_action(machine_80_3, state, [read, write]).
device_action(machine_80_3, alarm, [read, notify]).
machine(machine_80_4).
location(machine_80_4, line_80).
device_action(machine_80_4, state, [read, write]).
device_action(machine_80_4, alarm, [read, notify]).
machine(machine_80_5).
location(machine_80_5, line_80).
device_action(machine_80_5, state, [read, write]).
device_action(machine_80_5, alarm, [read, notify]).
machine(machine_80_6).
location(machine_80_6, line_80).
device_action(machine_80_6, state, [read, write]).
device_action(machine_80_6, alarm, [read, notify]).
machine(machine_80_7).
location(machine_80_7, line_80).
device_action(machine_80_7, state, [read, write]).
device_action(machine_80_7, alarm, [read, notify]).
machine(machine_80_8).
location(machine_80_8, line_80).
device_action(machine_80_8, state, [read, write]).
device_action(machine_80_8, alarm, [read, notify]).
machine(machine_80_9).
location(machine_80_9, line_80).
device_action(machine_80_9, state, [read, write]).
device_action(machine_80_9, alarm, [read, notify]).
prod_line(line_81).
machine(machine_81_0).
location(machine_81_0, line_81).
device_action(machine_81_0, state, [read, write]).
device_action(machine_81_0, alarm, [read, notify]).
machine(machine_81_1).
location(machine_81_1, line_81).
device_action(machine_81_1, state, [read, write]).
device_action(machine_81_1, alarm, [read, notify]).
machine(machine_81_2).
location(machine_81_2, line_81).
device_action(machine_81_2, state, [read, write]).
device_action(machine_81_2, alarm, [read, notify]).
machine(machine_81_3).
location(machine_81_3, line_81).
device_action(machine_81_3, state, [read, write]).
device_action(machine_81_3, alarm, [read, notify]).
machine(machine_81_4).
location(machine_81_4, line_81).
device_action(machine_81_4, state, [read, write]).
device_action(machine_81_4, alarm, [read, notify]).
machine(machine_81_5).
location(machine_81_5, line_81).
device_action(machine_81_5, state, [read, write]).
device_action(machine_81_5, alarm, [read, notify]).
machine(machine_81_6).
location(machine_81_6, line_81).
device_action(machine_81_6, state, [read, write]).
device_action(machine_81_6, alarm, [read, notify]).
machine(machine_81_7).
location(machine_81_7, line_81).
device_action(machine_81_7, state, [read, write]).
device_action(machine_81_7, alarm, [read, notify]).
machine(machine_81_8).
location(machine_81_8, line_81).
device_action(machine_81_8, state, [read, write]).
device_action(machine_81_8, alarm, [read, notify]).
machine(machine_81_9).
location(machine_81_9, line_81).
device_action(machine_81_9, state, [read, write]).
device_action(machine_81_9, alarm, [read, notify]).
prod_line(line_82).
machine(machine_82_0).
location(machine_82_0, line_82).
device_action(machine_82_0, state, [read, write]).
device_action(machine_82_0, alarm, [read, notify]).
machine(machine_82_1).
location(machine_82_1, line_82).
device_action(machine_82_1, state, [read, write]).
device_action(machine_82_1, alarm, [read, notify]).
machine(machine_82_2).
location(machine_82_2, line_82).
device_action(machine_82_2, state, [read, write]).
device_action(machine_82_2, alarm, [read, notify]).
machine(machine_82_3).
location(machine_82_3, line_82).
device_action(machine_82_3, state, [read, write]).
device_action(machine_82_3, alarm, [read, notify]).
machine(machine_82_4).
location(machine_82_4, line_82).
device_action(machine_82_4, state, [read, write]).
device_action(machine_82_4, alarm, [read, notify]).
machine(machine_82_5).
location(machine_82_5, line_82).
device_action(machine_82_5, state, [read, write]).
device_action(machine_82_5, alarm, [read, notify]).
machine(machine_82_6).
location(machine_82_6, line_82).
device_action(machine_82_6, state, [read, write]).
device_action(machine_82_6, alarm, [read, notify]).
machine(machine_82_7).
location(machine_82_7, line_82).
device_action(machine_82_7, state, [read, write]).
device_action(machine_82_7, alarm, [read, notify]).
machine(machine_82_8).
location(machine_82_8, line_82).
device_action(machine_82_8, state, [read, write]).
device_action(machine_82_8, alarm, [read, notify]).
machine(machine_82_9).
location(machine_82_9, line_82).
device_action(machine_82_9, state, [read, write]).
device_action(machine_82_9, alarm, [read, notify]).
prod_line(line_83).
machine(machine_83_0).
location(machine_83_0, line_83).
device_action(machine_83_0, state, [read, write]).
device_action(machine_83_0, alarm, [read, notify]).
machine(machine_83_1).
location(machine_83_1, line_83).
device_action(machine_83_1, state, [read, write]).
device_action(machine_83_1, alarm, [read, notify]).
machine(machine_83_2).
location(machine_83_2, line_83).
device_action(machine_83_2, state, [read, write]).
device_action(machine_83_2, alarm, [read, notify]).
machine(machine_83_3).
location(machine_83_3, line_83).
device_action(machine_83_3, state, [read, write]).
device_action(machine_83_3, alarm, [read, notify]).
machine(machine_83_4).
location(machine_83_4, line_83).
device_action(machine_83_4, state, [read, write]).
device_action(machine_83_4, alarm, [read, notify]).
machine(machine_83_5).
location(machine_83_5, line_83).
device_action(machine_83_5, state, [read, write]).
device_action(machine_83_5, alarm, [read, notify]).
machine(machine_83_6).
location(machine_83_6, line_83).
device_action(machine_83_6, state, [read, write]).
device_action(machine_83_6, alarm, [read, notify]).
machine(machine_83_7).
location(machine_83_7, line_83).
device_action(machine_83_7, state, [read, write]).
device_action(machine_83_7, alarm, [read, notify]).
machine(machine_83_8).
location(machine_83_8, line_83).
device_action(machine_83_8, state, [read, write]).
device_action(machine_83_8, alarm, [read, notify]).
machine(machine_83_9).
location(machine_83_9, line_83).
device_action(machine_83_9, state, [read, write]).
device_action(machine_83_9, alarm, [read, notify]).
prod_line(line_84).
machine(machine_84_0).
location(machine_84_0, line_84).
device_action(machine_84_0, state, [read, write]).
device_action(machine_84_0, alarm, [read, notify]).
machine(machine_84_1).
location(machine_84_1, line_84).
device_action(machine_84_1, state, [read, write]).
device_action(machine_84_1, alarm, [read, notify]).
machine(machine_84_2).
location(machine_84_2, line_84).
device_action(machine_84_2, state, [read, write]).
device_action(machine_84_2, alarm, [read, notify]).
machine(machine_84_3).
location(machine_84_3, line_84).
device_action(machine_84_3, state, [read, write]).
device_action(machine_84_3, alarm, [read, notify]).
machine(machine_84_4).
location(machine_84_4, line_84).
device_action(machine_84_4, state, [read, write]).
device_action(machine_84_4, alarm, [read, notify]).
machine(machine_84_5).
location(machine_84_5, line_84).
device_action(machine_84_5, state, [read, write]).
device_action(machine_84_5, alarm, [read, notify]).
machine(machine_84_6).
location(machine_84_6, line_84).
device_action(machine_84_6, state, [read, write]).
device_action(machine_84_6, alarm, [read, notify]).
machine(machine_84_7).
location(machine_84_7, line_84).
device_action(machine_84_7, state, [read, write]).
device_action(machine_84_7, alarm, [read, notify]).
machine(machine_84_8).
location(machine_84_8, line_84).
device_action(machine_84_8, state, [read, write]).
device_action(machine_84_8, alarm, [read, notify]).
machine(machine_84_9).
location(machine_84_9, line_84).
device_action(machine_84_9, state, [read, write]).
device_action(machine_84_9, alarm, [read, notify]).
prod_line(line_85).
machine(machine_85_0).
location(machine_85_0, line_85).
device_action(machine_85_0, state, [read, write]).
device_action(machine_85_0, alarm, [read, notify]).
machine(machine_85_1).
location(machine_85_1, line_85).
device_action(machine_85_1, state, [read, write]).
device_action(machine_85_1, alarm, [read, notify]).
machine(machine_85_2).
location(machine_85_2, line_85).
device_action(machine_85_2, state, [read, write]).
device_action(machine_85_2, alarm, [read, notify]).
machine(machine_85_3).
location(machine_85_3, line_85).
device_action(machine_85_3, state, [read, write]).
device_action(machine_85_3, alarm, [read, notify]).
machine(machine_85_4).
location(machine_85_4, line_85).
device_action(machine_85_4, state, [read, write]).
device_action(machine_85_4, alarm, [read, notify]).
machine(machine_85_5).
location(machine_85_5, line_85).
device_action(machine_85_5, state, [read, write]).
device_action(machine_85_5, alarm, [read, notify]).
machine(machine_85_6).
location(machine_85_6, line_85).
device_action(machine_85_6, state, [read, write]).
device_action(machine_85_6, alarm, [read, notify]).
machine(machine_85_7).
location(machine_85_7, line_85).
device_action(machine_85_7, state, [read, write]).
device_action(machine_85_7, alarm, [read, notify]).
machine(machine_85_8).
location(machine_85_8, line_85).
device_action(machine_85_8, state, [read, write]).
device_action(machine_85_8, alarm, [read, notify]).
machine(machine_85_9).
location(machine_85_9, line_85).
device_action(machine_85_9, state, [read, write]).
device_action(machine_85_9, alarm, [read, notify]).
prod_line(line_86).
machine(machine_86_0).
location(machine_86_0, line_86).
device_action(machine_86_0, state, [read, write]).
device_action(machine_86_0, alarm, [read, notify]).
machine(machine_86_1).
location(machine_86_1, line_86).
device_action(machine_86_1, state, [read, write]).
device_action(machine_86_1, alarm, [read, notify]).
machine(machine_86_2).
location(machine_86_2, line_86).
device_action(machine_86_2, state, [read, write]).
device_action(machine_86_2, alarm, [read, notify]).
machine(machine_86_3).
location(machine_86_3, line_86).
device_action(machine_86_3, state, [read, write]).
device_action(machine_86_3, alarm, [read, notify]).
machine(machine_86_4).
location(machine_86_4, line_86).
device_action(machine_86_4, state, [read, write]).
device_action(machine_86_4, alarm, [read, notify]).
machine(machine_86_5).
location(machine_86_5, line_86).
device_action(machine_86_5, state, [read, write]).
device_action(machine_86_5, alarm, [read, notify]).
machine(machine_86_6).
location(machine_86_6, line_86).
device_action(machine_86_6, state, [read, write]).
device_action(machine_86_6, alarm, [read, notify]).
machine(machine_86_7).
location(machine_86_7, line_86).
device_action(machine_86_7, state, [read, write]).
device_action(machine_86_7, alarm, [read, notify]).
machine(machine_86_8).
location(machine_86_8, line_86).
device_action(machine_86_8, state, [read, write]).
device_action(machine_86_8, alarm, [read, notify]).
machine(machine_86_9).
location(machine_86_9, line_86).
device_action(machine_86_9, state, [read, write]).
device_action(machine_86_9, alarm, [read, notify]).
prod_line(line_87).
machine(machine_87_0).
location(machine_87_0, line_87).
device_action(machine_87_0, state, [read, write]).
device_action(machine_87_0, alarm, [read, notify]).
machine(machine_87_1).
location(machine_87_1, line_87).
device_action(machine_87_1, state, [read, write]).
device_action(machine_87_1, alarm, [read, notify]).
machine(machine_87_2).
location(machine_87_2, line_87).
device_action(machine_87_2, state, [read, write]).
device_action(machine_87_2, alarm, [read, notify]).
machine(machine_87_3).
location(machine_87_3, line_87).
device_action(machine_87_3, state, [read, write]).
device_action(machine_87_3, alarm, [read, notify]).
machine(machine_87_4).
location(machine_87_4, line_87).
device_action(machine_87_4, state, [read, write]).
device_action(machine_87_4, alarm, [read, notify]).
machine(machine_87_5).
location(machine_87_5, line_87).
device_action(machine_87_5, state, [read, write]).
device_action(machine_87_5, alarm, [read, notify]).
machine(machine_87_6).
location(machine_87_6, line_87).
device_action(machine_87_6, state, [read, write]).
device_action(machine_87_6, alarm, [read, notify]).
machine(machine_87_7).
location(machine_87_7, line_87).
device_action(machine_87_7, state, [read, write]).
device_action(machine_87_7, alarm, [read, notify]).
machine(machine_87_8).
location(machine_87_8, line_87).
device_action(machine_87_8, state, [read, write]).
device_action(machine_87_8, alarm, [read, notify]).
machine(machine_87_9).
location(machine_87_9, line_87).
device_action(machine_87_9, state, [read, write]).
device_action(machine_87_9, alarm, [read, notify]).
prod_line(line_88).
machine(machine_88_0).
location(machine_88_0, line_88).
device_action(machine_88_0, state, [read, write]).
device_action(machine_88_0, alarm, [read, notify]).
machine(machine_88_1).
location(machine_88_1, line_88).
device_action(machine_88_1, state, [read, write]).
device_action(machine_88_1, alarm, [read, notify]).
machine(machine_88_2).
location(machine_88_2, line_88).
device_action(machine_88_2, state, [read, write]).
device_action(machine_88_2, alarm, [read, notify]).
machine(machine_88_3).
location(machine_88_3, line_88).
device_action(machine_88_3, state, [read, write]).
device_action(machine_88_3, alarm, [read, notify]).
machine(machine_88_4).
location(machine_88_4, line_88).
device_action(machine_88_4, state, [read, write]).
device_action(machine_88_4, alarm, [read, notify]).
machine(machine_88_5).
location(machine_88_5, line_88).
device_action(machine_88_5, state, [read, write]).
device_action(machine_88_5, alarm, [read, notify]).
machine(machine_88_6).
location(machine_88_6, line_88).
device_action(machine_88_6, state, [read, write]).
device_action(machine_88_6, alarm, [read, notify]).
machine(machine_88_7).
location(machine_88_7, line_88).
device_action(machine_88_7, state, [read, write]).
device_action(machine_88_7, alarm, [read, notify]).
machine(machine_88_8).
location(machine_88_8, line_88).
device_action(machine_88_8, state, [read, write]).
device_action(machine_88_8, alarm, [read, notify]).
machine(machine_88_9).
location(machine_88_9, line_88).
device_action(machine_88_9, state, [read, write]).
device_action(machine_88_9, alarm, [read, notify]).
prod_line(line_89).
machine(machine_89_0).
location(machine_89_0, line_89).
device_action(machine_89_0, state, [read, write]).
device_action(machine_89_0, alarm, [read, notify]).
machine(machine_89_1).
location(machine_89_1, line_89).
device_action(machine_89_1, state, [read, write]).
device_action(machine_89_1, alarm, [read, notify]).
machine(machine_89_2).
location(machine_89_2, line_89).
device_action(machine_89_2, state, [read, write]).
device_action(machine_89_2, alarm, [read, notify]).
machine(machine_89_3).
location(machine_89_3, line_89).
device_action(machine_89_3, state, [read, write]).
device_action(machine_89_3, alarm, [read, notify]).
machine(machine_89_4).
location(machine_89_4, line_89).
device_action(machine_89_4, state, [read, write]).
device_action(machine_89_4, alarm, [read, notify]).
machine(machine_89_5).
location(machine_89_5, line_89).
device_action(machine_89_5, state, [read, write]).
device_action(machine_89_5, alarm, [read, notify]).
machine(machine_89_6).
location(machine_89_6, line_89).
device_action(machine_89_6, state, [read, write]).
device_action(machine_89_6, alarm, [read, notify]).
machine(machine_89_7).
location(machine_89_7, line_89).
device_action(machine_89_7, state, [read, write]).
device_action(machine_89_7, alarm, [read, notify]).
machine(machine_89_8).
location(machine_89_8, line_89).
device_action(machine_89_8, state, [read, write]).
device_action(machine_89_8, alarm, [read, notify]).
machine(machine_89_9).
location(machine_89_9, line_89).
device_action(machine_89_9, state, [read, write]).
device_action(machine_89_9, alarm, [read, notify]).
prod_line(line_90).
machine(machine_90_0).
location(machine_90_0, line_90).
device_action(machine_90_0, state, [read, write]).
device_action(machine_90_0, alarm, [read, notify]).
machine(machine_90_1).
location(machine_90_1, line_90).
device_action(machine_90_1, state, [read, write]).
device_action(machine_90_1, alarm, [read, notify]).
machine(machine_90_2).
location(machine_90_2, line_90).
device_action(machine_90_2, state, [read, write]).
device_action(machine_90_2, alarm, [read, notify]).
machine(machine_90_3).
location(machine_90_3, line_90).
device_action(machine_90_3, state, [read, write]).
device_action(machine_90_3, alarm, [read, notify]).
machine(machine_90_4).
location(machine_90_4, line_90).
device_action(machine_90_4, state, [read, write]).
device_action(machine_90_4, alarm, [read, notify]).
machine(machine_90_5).
location(machine_90_5, line_90).
device_action(machine_90_5, state, [read, write]).
device_action(machine_90_5, alarm, [read, notify]).
machine(machine_90_6).
location(machine_90_6, line_90).
device_action(machine_90_6, state, [read, write]).
device_action(machine_90_6, alarm, [read, notify]).
machine(machine_90_7).
location(machine_90_7, line_90).
device_action(machine_90_7, state, [read, write]).
device_action(machine_90_7, alarm, [read, notify]).
machine(machine_90_8).
location(machine_90_8, line_90).
device_action(machine_90_8, state, [read, write]).
device_action(machine_90_8, alarm, [read, notify]).
machine(machine_90_9).
location(machine_90_9, line_90).
device_action(machine_90_9, state, [read, write]).
device_action(machine_90_9, alarm, [read, notify]).
prod_line(line_91).
machine(machine_91_0).
location(machine_91_0, line_91).
device_action(machine_91_0, state, [read, write]).
device_action(machine_91_0, alarm, [read, notify]).
machine(machine_91_1).
location(machine_91_1, line_91).
device_action(machine_91_1, state, [read, write]).
device_action(machine_91_1, alarm, [read, notify]).
machine(machine_91_2).
location(machine_91_2, line_91).
device_action(machine_91_2, state, [read, write]).
device_action(machine_91_2, alarm, [read, notify]).
machine(machine_91_3).
location(machine_91_3, line_91).
device_action(machine_91_3, state, [read, write]).
device_action(machine_91_3, alarm, [read, notify]).
machine(machine_91_4).
location(machine_91_4, line_91).
device_action(machine_91_4, state, [read, write]).
device_action(machine_91_4, alarm, [read, notify]).
machine(machine_91_5).
location(machine_91_5, line_91).
device_action(machine_91_5, state, [read, write]).
device_action(machine_91_5, alarm, [read, notify]).
machine(machine_91_6).
location(machine_91_6, line_91).
device_action(machine_91_6, state, [read, write]).
device_action(machine_91_6, alarm, [read, notify]).
machine(machine_91_7).
location(machine_91_7, line_91).
device_action(machine_91_7, state, [read, write]).
device_action(machine_91_7, alarm, [read, notify]).
machine(machine_91_8).
location(machine_91_8, line_91).
device_action(machine_91_8, state, [read, write]).
device_action(machine_91_8, alarm, [read, notify]).
machine(machine_91_9).
location(machine_91_9, line_91).
device_action(machine_91_9, state, [read, write]).
device_action(machine_91_9, alarm, [read, notify]).
prod_line(line_92).
machine(machine_92_0).
location(machine_92_0, line_92).
device_action(machine_92_0, state, [read, write]).
device_action(machine_92_0, alarm, [read, notify]).
machine(machine_92_1).
location(machine_92_1, line_92).
device_action(machine_92_1, state, [read, write]).
device_action(machine_92_1, alarm, [read, notify]).
machine(machine_92_2).
location(machine_92_2, line_92).
device_action(machine_92_2, state, [read, write]).
device_action(machine_92_2, alarm, [read, notify]).
machine(machine_92_3).
location(machine_92_3, line_92).
device_action(machine_92_3, state, [read, write]).
device_action(machine_92_3, alarm, [read, notify]).
machine(machine_92_4).
location(machine_92_4, line_92).
device_action(machine_92_4, state, [read, write]).
device_action(machine_92_4, alarm, [read, notify]).
machine(machine_92_5).
location(machine_92_5, line_92).
device_action(machine_92_5, state, [read, write]).
device_action(machine_92_5, alarm, [read, notify]).
machine(machine_92_6).
location(machine_92_6, line_92).
device_action(machine_92_6, state, [read, write]).
device_action(machine_92_6, alarm, [read, notify]).
machine(machine_92_7).
location(machine_92_7, line_92).
device_action(machine_92_7, state, [read, write]).
device_action(machine_92_7, alarm, [read, notify]).
machine(machine_92_8).
location(machine_92_8, line_92).
device_action(machine_92_8, state, [read, write]).
device_action(machine_92_8, alarm, [read, notify]).
machine(machine_92_9).
location(machine_92_9, line_92).
device_action(machine_92_9, state, [read, write]).
device_action(machine_92_9, alarm, [read, notify]).
prod_line(line_93).
machine(machine_93_0).
location(machine_93_0, line_93).
device_action(machine_93_0, state, [read, write]).
device_action(machine_93_0, alarm, [read, notify]).
machine(machine_93_1).
location(machine_93_1, line_93).
device_action(machine_93_1, state, [read, write]).
device_action(machine_93_1, alarm, [read, notify]).
machine(machine_93_2).
location(machine_93_2, line_93).
device_action(machine_93_2, state, [read, write]).
device_action(machine_93_2, alarm, [read, notify]).
machine(machine_93_3).
location(machine_93_3, line_93).
device_action(machine_93_3, state, [read, write]).
device_action(machine_93_3, alarm, [read, notify]).
machine(machine_93_4).
location(machine_93_4, line_93).
device_action(machine_93_4, state, [read, write]).
device_action(machine_93_4, alarm, [read, notify]).
machine(machine_93_5).
location(machine_93_5, line_93).
device_action(machine_93_5, state, [read, write]).
device_action(machine_93_5, alarm, [read, notify]).
machine(machine_93_6).
location(machine_93_6, line_93).
device_action(machine_93_6, state, [read, write]).
device_action(machine_93_6, alarm, [read, notify]).
machine(machine_93_7).
location(machine_93_7, line_93).
device_action(machine_93_7, state, [read, write]).
device_action(machine_93_7, alarm, [read, notify]).
machine(machine_93_8).
location(machine_93_8, line_93).
device_action(machine_93_8, state, [read, write]).
device_action(machine_93_8, alarm, [read, notify]).
machine(machine_93_9).
location(machine_93_9, line_93).
device_action(machine_93_9, state, [read, write]).
device_action(machine_93_9, alarm, [read, notify]).
prod_line(line_94).
machine(machine_94_0).
location(machine_94_0, line_94).
device_action(machine_94_0, state, [read, write]).
device_action(machine_94_0, alarm, [read, notify]).
machine(machine_94_1).
location(machine_94_1, line_94).
device_action(machine_94_1, state, [read, write]).
device_action(machine_94_1, alarm, [read, notify]).
machine(machine_94_2).
location(machine_94_2, line_94).
device_action(machine_94_2, state, [read, write]).
device_action(machine_94_2, alarm, [read, notify]).
machine(machine_94_3).
location(machine_94_3, line_94).
device_action(machine_94_3, state, [read, write]).
device_action(machine_94_3, alarm, [read, notify]).
machine(machine_94_4).
location(machine_94_4, line_94).
device_action(machine_94_4, state, [read, write]).
device_action(machine_94_4, alarm, [read, notify]).
machine(machine_94_5).
location(machine_94_5, line_94).
device_action(machine_94_5, state, [read, write]).
device_action(machine_94_5, alarm, [read, notify]).
machine(machine_94_6).
location(machine_94_6, line_94).
device_action(machine_94_6, state, [read, write]).
device_action(machine_94_6, alarm, [read, notify]).
machine(machine_94_7).
location(machine_94_7, line_94).
device_action(machine_94_7, state, [read, write]).
device_action(machine_94_7, alarm, [read, notify]).
machine(machine_94_8).
location(machine_94_8, line_94).
device_action(machine_94_8, state, [read, write]).
device_action(machine_94_8, alarm, [read, notify]).
machine(machine_94_9).
location(machine_94_9, line_94).
device_action(machine_94_9, state, [read, write]).
device_action(machine_94_9, alarm, [read, notify]).
prod_line(line_95).
machine(machine_95_0).
location(machine_95_0, line_95).
device_action(machine_95_0, state, [read, write]).
device_action(machine_95_0, alarm, [read, notify]).
machine(machine_95_1).
location(machine_95_1, line_95).
device_action(machine_95_1, state, [read, write]).
device_action(machine_95_1, alarm, [read, notify]).
machine(machine_95_2).
location(machine_95_2, line_95).
device_action(machine_95_2, state, [read, write]).
device_action(machine_95_2, alarm, [read, notify]).
machine(machine_95_3).
location(machine_95_3, line_95).
device_action(machine_95_3, state, [read, write]).
device_action(machine_95_3, alarm, [read, notify]).
machine(machine_95_4).
location(machine_95_4, line_95).
device_action(machine_95_4, state, [read, write]).
device_action(machine_95_4, alarm, [read, notify]).
machine(machine_95_5).
location(machine_95_5, line_95).
device_action(machine_95_5, state, [read, write]).
device_action(machine_95_5, alarm, [read, notify]).
machine(machine_95_6).
location(machine_95_6, line_95).
device_action(machine_95_6, state, [read, write]).
device_action(machine_95_6, alarm, [read, notify]).
machine(machine_95_7).
location(machine_95_7, line_95).
device_action(machine_95_7, state, [read, write]).
device_action(machine_95_7, alarm, [read, notify]).
machine(machine_95_8).
location(machine_95_8, line_95).
device_action(machine_95_8, state, [read, write]).
device_action(machine_95_8, alarm, [read, notify]).
machine(machine_95_9).
location(machine_95_9, line_95).
device_action(machine_95_9, state, [read, write]).
device_action(machine_95_9, alarm, [read, notify]).
prod_line(line_96).
machine(machine_96_0).
location(machine_96_0, line_96).
device_action(machine_96_0, state, [read, write]).
device_action(machine_96_0, alarm, [read, notify]).
machine(machine_96_1).
location(machine_96_1, line_96).
device_action(machine_96_1, state, [read, write]).
device_action(machine_96_1, alarm, [read, notify]).
machine(machine_96_2).
location(machine_96_2, line_96).
device_action(machine_96_2, state, [read, write]).
device_action(machine_96_2, alarm, [read, notify]).
machine(machine_96_3).
location(machine_96_3, line_96).
device_action(machine_96_3, state, [read, write]).
device_action(machine_96_3, alarm, [read, notify]).
machine(machine_96_4).
location(machine_96_4, line_96).
device_action(machine_96_4, state, [read, write]).
device_action(machine_96_4, alarm, [read, notify]).
machine(machine_96_5).
location(machine_96_5, line_96).
device_action(machine_96_5, state, [read, write]).
device_action(machine_96_5, alarm, [read, notify]).
machine(machine_96_6).
location(machine_96_6, line_96).
device_action(machine_96_6, state, [read, write]).
device_action(machine_96_6, alarm, [read, notify]).
machine(machine_96_7).
location(machine_96_7, line_96).
device_action(machine_96_7, state, [read, write]).
device_action(machine_96_7, alarm, [read, notify]).
machine(machine_96_8).
location(machine_96_8, line_96).
device_action(machine_96_8, state, [read, write]).
device_action(machine_96_8, alarm, [read, notify]).
machine(machine_96_9).
location(machine_96_9, line_96).
device_action(machine_96_9, state, [read, write]).
device_action(machine_96_9, alarm, [read, notify]).
prod_line(line_97).
machine(machine_97_0).
location(machine_97_0, line_97).
device_action(machine_97_0, state, [read, write]).
device_action(machine_97_0, alarm, [read, notify]).
machine(machine_97_1).
location(machine_97_1, line_97).
device_action(machine_97_1, state, [read, write]).
device_action(machine_97_1, alarm, [read, notify]).
machine(machine_97_2).
location(machine_97_2, line_97).
device_action(machine_97_2, state, [read, write]).
device_action(machine_97_2, alarm, [read, notify]).
machine(machine_97_3).
location(machine_97_3, line_97).
device_action(machine_97_3, state, [read, write]).
device_action(machine_97_3, alarm, [read, notify]).
machine(machine_97_4).
location(machine_97_4, line_97).
device_action(machine_97_4, state, [read, write]).
device_action(machine_97_4, alarm, [read, notify]).
machine(machine_97_5).
location(machine_97_5, line_97).
device_action(machine_97_5, state, [read, write]).
device_action(machine_97_5, alarm, [read, notify]).
machine(machine_97_6).
location(machine_97_6, line_97).
device_action(machine_97_6, state, [read, write]).
device_action(machine_97_6, alarm, [read, notify]).
machine(machine_97_7).
location(machine_97_7, line_97).
device_action(machine_97_7, state, [read, write]).
device_action(machine_97_7, alarm, [read, notify]).
machine(machine_97_8).
location(machine_97_8, line_97).
device_action(machine_97_8, state, [read, write]).
device_action(machine_97_8, alarm, [read, notify]).
machine(machine_97_9).
location(machine_97_9, line_97).
device_action(machine_97_9, state, [read, write]).
device_action(machine_97_9, alarm, [read, notify]).
prod_line(line_98).
machine(machine_98_0).
location(machine_98_0, line_98).
device_action(machine_98_0, state, [read, write]).
device_action(machine_98_0, alarm, [read, notify]).
machine(machine_98_1).
location(machine_98_1, line_98).
device_action(machine_98_1, state, [read, write]).
device_action(machine_98_1, alarm, [read, notify]).
machine(machine_98_2).
location(machine_98_2, line_98).
device_action(machine_98_2, state, [read, write]).
device_action(machine_98_2, alarm, [read, notify]).
machine(machine_98_3).
location(machine_98_3, line_98).
device_action(machine_98_3, state, [read, write]).
device_action(machine_98_3, alarm, [read, notify]).
machine(machine_98_4).
location(machine_98_4, line_98).
device_action(machine_98_4, state, [read, write]).
device_action(machine_98_4, alarm, [read, notify]).
machine(machine_98_5).
location(machine_98_5, line_98).
device_action(machine_98_5, state, [read, write]).
device_action(machine_98_5, alarm, [read, notify]).
machine(machine_98_6).
location(machine_98_6, line_98).
device_action(machine_98_6, state, [read, write]).
device_action(machine_98_6, alarm, [read, notify]).
machine(machine_98_7).
location(machine_98_7, line_98).
device_action(machine_98_7, state, [read, write]).
device_action(machine_98_7, alarm, [read, notify]).
machine(machine_98_8).
location(machine_98_8, line_98).
device_action(machine_98_8, state, [read, write]).
device_action(machine_98_8, alarm, [read, notify]).
machine(machine_98_9).
location(machine_98_9, line_98).
device_action(machine_98_9, state, [read, write]).
device_action(machine_98_9, alarm, [read, notify]).
prod_line(line_99).
machine(machine_99_0).
location(machine_99_0, line_99).
device_action(machine_99_0, state, [read, write]).
device_action(machine_99_0, alarm, [read, notify]).
machine(machine_99_1).
location(machine_99_1, line_99).
device_action(machine_99_1, state, [read, write]).
device_action(machine_99_1, alarm, [read, notify]).
machine(machine_99_2).
location(machine_99_2, line_99).
device_action(machine_99_2, state, [read, write]).
device_action(machine_99_2, alarm, [read, notify]).
machine(machine_99_3).
location(machine_99_3, line_99).
device_action(machine_99_3, state, [read, write]).
device_action(machine_99_3, alarm, [read, notify]).
machine(machine_99_4).
location(machine_99_4, line_99).
device_action(machine_99_4, state, [read, write]).
device_action(machine_99_4, alarm, [read, notify]).
machine(machine_99_5).
location(machine_99_5, line_99).
device_action(machine_99_5, state, [read, write]).
device_action(machine_99_5, alarm, [read, notify]).
machine(machine_99_6).
location(machine_99_6, line_99).
device_action(machine_99_6, state, [read, write]).
device_action(machine_99_6, alarm, [read, notify]).
machine(machine_99_7).
location(machine_99_7, line_99).
device_action(machine_99_7, state, [read, write]).
device_action(machine_99_7, alarm, [read, notify]).
machine(machine_99_8).
location(machine_99_8, line_99).
device_action(machine_99_8, state, [read, write]).
device_action(machine_99_8, alarm, [read, notify]).
machine(machine_99_9).
location(machine_99_9, line_99).
device_action(machine_99_9, state, [read, write]).
device_action(machine_99_9, alarm, [read, notify]).