% messung vom eingangsventil
s(s, o2, 1).
t(s, o2, 33).

% messung vom kuehler#1
s(c1, o1, 1).
t(c1, o1, 24).

% messung vom ausgangsventil
s(v, i3, 1).
t(v, i3, 24).
