var

a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x : semaphore;
begin
cobegin
begin A; Var(a); Var(b); Var(c); Var(d) end;
begin F; Var(e); Var(f); Var(g); Var(h) end;
begin I; Var(i); Var(j) end;
begin P(a); B; Var(k) end;
begin P(d); P(e); D; Var(l) end;
begin P(c); P(l); C; Var(m) end;
begin P(b); P(k); E; Var(n) end;
begin P(f); P(m); G; Var(o) end;
begin P(j); J; Var(p); Var(q) end;
begin P(p); K; Var(r) end;
begin P(g); P(r); L; Var(s) end;
begin P(i); P(n); P(o); P(s); H end;
begin P(q); N; Var(t); Var(u) end;
begin P(h); P(t); M end;
begin P(u); Q; Var(v); Var(w) end;
begin P(v); O; Var(x) end;
begin P(w); P(x); P end;
coend
end;