# DP, page 56

1←56/143→