Pmax=? [ F<1 "picked_up_blue_key" ]; Pmax=? [ F<2 "picked_up_blue_key" ]; Pmax=? [ F<3 "picked_up_blue_key" ]; Pmax=? [ F<4 "picked_up_blue_key" ]; Pmax=? [ F<5 "picked_up_blue_key" ]; Pmax=? [ F<6 "picked_up_blue_key" ]; Pmax=? [ F<7 "picked_up_blue_key" ]; Pmax=? [ F<8 "picked_up_blue_key" ]; Pmax=? [ F<9 "picked_up_blue_key" ]; Pmax=? [ F<10 "picked_up_blue_key" ]; Pmax=? [ F<11 "picked_up_blue_key" ]; Pmax=? [ F<12 "picked_up_blue_key" ]; Pmax=? [ F<13 "picked_up_blue_key" ]; Pmax=? [ F<14 "picked_up_blue_key" ]; Pmax=? [ F<15 "picked_up_blue_key" ]; Pmax=? [ F<16 "picked_up_blue_key" ]; Pmax=? [ F<17 "picked_up_blue_key" ]; Pmax=? [ F<18 "picked_up_blue_key" ]; Pmax=? [ F<19 "picked_up_blue_key" ]; Pmax=? [ F<20 "picked_up_blue_key" ];