wf-net-out

in(sb,t1).
in(p1,t2).
in(p2,t3).
in(p3,t4).
in(p4,t7).
in(p4,t6).
in(p5,t5).
in(p6,t8).
in(p6,t9).
in(p7,t11).
in(p8,t11).
in(p9,t12).
in(p9,t13).
in(p10,t10).
out(t13,se).
out(t1,p1).
out(t12,p1).
out(t2,p2).
out(t9,p2).
out(t2,p3).
out(t4,p4).
out(t3,p5).
out(t5,p6).
out(t7,p7).
out(t10,p7).
out(t8,p8).
out(t11,p9).
out(t6,p10).