# DP, page 80

1←80/143→