P>0.00001 [true U (done & currentNode=1) {start} ] P>0.00001 [true U (done & currentNode=2) {start} ] P>0.00001 [true U (done & currentNode=3) {start} ] P>0.00001 [true U (done & currentNode=4) {start} ] P>0.00001 [true U (done & currentNode=5) {start} ] P>0.00001 [true U (done & currentNode=6) {start} ] P>0.00001 [true U (done & currentNode=7) {start} ] P>0.00001 [true U (done & currentNode=8) {start} ] P>0.00001 [true U (done & currentNode=9) {start} ] P>0.00001 [true U (done & currentNode=10) {start} ] P>0.00001 [true U (done & currentNode=11) {start} ] P>0.00001 [true U (done & currentNode=12) {start} ] P>0.00001 [true U (done & currentNode=13) {start} ] P>0.00001 [true U (done & currentNode=14) {start} ] P>0.00001 [true U (done & currentNode=15) {start} ] P>0.00001 [true U (done & currentNode=16) {start} ] P>0.00001 [true U (done & currentNode=17) {start} ] P>0.00001 [true U (done & currentNode=18) {start} ] P>0.00001 [true U (done & currentNode=19) {start} ] P>0.00001 [true U (done & currentNode=20) {start} ] P>0.00001 [true U (done & currentNode=21) {start} ] P>0.00001 [true U (done & currentNode=22) {start} ] P>0.00001 [true U (done & currentNode=23) {start} ] P>0.00001 [true U (done & currentNode=24) {start} ] P>0.00001 [true U (done & currentNode=25) {start} ] P>0.00001 [true U (done & currentNode=26) {start} ] P>0.00001 [true U (done & currentNode=27) {start} ] P>0.00001 [true U (done & currentNode=28) {start} ] P>0.00001 [true U (done & currentNode=29) {start} ] P>0.00001 [true U (done & currentNode=30) {start} ] P>0.00001 [true U (done & currentNode=31) {start} ] P>0.00001 [true U (done & currentNode=32) {start} ] P>0.00001 [true U (done & currentNode=33) {start} ] P>0.00001 [true U (done & currentNode=34) {start} ] P>0.00001 [true U (done & currentNode=35) {start} ] P>0.00001 [true U (done & currentNode=36) {start} ] P>0.00001 [true U (done & currentNode=37) {start} ] P>0.00001 [true U (done & currentNode=38) {start} ] P>0.00001 [true U (done & currentNode=39) {start} ] P>0.00001 [true U (done & currentNode=40) {start} ] P>0.00001 [true U (done & currentNode=41) {start} ] P>0.00001 [true U (done & currentNode=42) {start} ] P>0.00001 [true U (done & currentNode=43) {start} ] P>0.00001 [true U (done & currentNode=44) {start} ] P>0.00001 [true U (done & currentNode=45) {start} ] P>0.00001 [true U (done & currentNode=46) {start} ] P>0.00001 [true U (done & currentNode=47) {start} ] P>0.00001 [true U (done & currentNode=48) {start} ] P>0.00001 [true U (done & currentNode=49) {start} ] P>0.00001 [true U (done & currentNode=50) {start} ]