master
.inputs pg0.in .outputs pg0.out .graph pg0 pg0.in pg0.in pg0.out pg0.out pg0 .marking {pg0} .end