P1b2 (witskNT b*½xwQ6, 20←12.
@ @ @@ s@sJn bN- b B
→↑
Jm s.@ hr.