P>0.01 [true U (done & state=1) {launch} ]

P>0.01 [true U (done & state=2) {launch} ]

P>0.01 [true U (done & state=3) {launch} ]

P>0.01 [true U (done & state=4) {launch} ]

P>0.01 [true U (done & state=5) {launch} ]

P>0.01 [true U (done & state=6) {launch} ]

P>0.01 [true U (done & state=7) {launch} ]

P>0.01 [true U (done & state=8) {launch} ]

P>0.01 [true U (done & state=9) {launch} ]

P>0.01 [true U (done & state=10) {launch} ]

P>0.01 [true U (done & state=11) {launch} ]

P>0.01 [true U (done & state=12) {launch} ]

P>0.01 [true U (done & state=13) {launch} ]

P>0.01 [true U (done & state=14) {launch} ]

P>0.01 [true U (done & state=15) {launch} ]

P>0.01 [true U (done & state=16) {launch} ]

P>0.01 [true U (done & state=17) {launch} ]

P>0.01 [true U (done & state=18) {launch} ]

P>0.01 [true U (done & state=19) {launch} ]

P>0.01 [true U (done & state=20) {launch} ]