RQ-STAR
p323
1 23...16>