label "propertyFor0" = (bob_quantumstate=0) | (bob_quantumstate=2) | (bob_quantumstate=4) | (bob_quantumstate=6) | (bob_quantumstate=10) | (bob_quantumstate=11) | (bob_quantumstate=14) | (bob_quantumstate=15) | (bob_quantumstate=18) | (bob_quantumstate=19) | (bob_quantumstate=36) | (bob_quantumstate=37) | (bob_quantumstate=40) | (bob_quantumstate=41) | (bob_quantumstate=54) | (bob_quantumstate=55) | (bob_quantumstate=88) | (bob_quantumstate=89) | (bob_quantumstate=90) | (bob_quantumstate=91) | (bob_quantumstate=92) | (bob_quantumstate=93) | (bob_quantumstate=94) | (bob_quantumstate=95);

label "propertyFor1" = (bob_quantumstate=1) | (bob_quantumstate=3) | (bob_quantumstate=5) | (bob_quantumstate=7) | (bob_quantumstate=24) | (bob_quantumstate=25) | (bob_quantumstate=28) | (bob_quantumstate=29) | (bob_quantumstate=32) | (bob_quantumstate=33) | (bob_quantumstate=46) | (bob_quantumstate=47) | (bob_quantumstate=50) | (bob_quantumstate=51) | (bob_quantumstate=60) | (bob_quantumstate=61) | (bob_quantumstate=144) | (bob_quantumstate=145) | (bob_quantumstate=146) | (bob_quantumstate=147) | (bob_quantumstate=148) | (bob_quantumstate=149) | (bob_quantumstate=150) | (bob_quantumstate=151);

label "propertyFor0super1" = (bob_quantumstate=8) | (bob_quantumstate=34) | (bob_quantumstate=52) | (bob_quantumstate=62) | (bob_quantumstate=64) | (bob_quantumstate=67) | (bob_quantumstate=72) | (bob_quantumstate=75) | (bob_quantumstate=80) | (bob_quantumstate=83) | (bob_quantumstate=152) | (bob_quantumstate=155) | (bob_quantumstate=160) | (bob_quantumstate=163) |
(bob_quantumstate=168) | (bob_quantumstate=171) | (bob_quantumstate=176) | (bob_quantumstate=177) | (bob_quantumstate=182) | (bob_quantumstate=183) | (bob_quantumstate=200) | (bob_quantumstate=201) | (bob_quantumstate=206) | (bob_quantumstate=207);

//if state to be teleported is |0>, then INITSTATE=12
P=? [true U ((step=4) & "propertyFor0")]

//if state to be teleported is |1>, then INITSTATE=56
P=? [true U ((step=4) & "propertyFor1")]

//if state to be teleported is |0>+|1>, then INITSTATE=104
P=? [true U ((step=4) & "propertyFor0super1")]