RQ-STAR
p431
1 23...16>