p2wPlace2p3tPlace3p4YPlace4?p5UPlace5p6Place6p75Place7@p8:Place8p9Place9p10Place10p11/Place11p12UPlace12 t2lw Transition2t3Hs Transition3t4iY Transition4t5JU Transition5t6]5 Transition6t7L9 Transition7t8{t copy condt9zU copy condt10u: copy condt11U Transition11)t9p12zUUt10p12u:;bt8p12{t u Ht11p12UUt11p11UU;t8p3t{tt9p5UzUt10p8:u:t3p3Hsst3p6Hszt5p5JUUt5p9JU|t7p8L99t7p10L9t5p4YJUt7p75L9t3p2wHst2p2wlwt4p4YiYt6p75]5t2p2lwt4p4iYzybt6p7]5zVU>t2p6lwWwWtt4p9iYVYUvt6p10]5L5Jzt4p3tiYt4p6iYt6p5U]5t6p9]5t7p9L9t7p5UL9t5p3tJUt5p6JUt3p8:!! JHst2p8 :9,#%0= Tlwt3p10l8-/."-!YHst2p10 eB55z?LV87_lwt8p11/.b{tt9p11//9zUt10p11/."u: