DB<5> print $_,":",max(min(int(9*$_/18),8),0),"\n" for -2..20
-2:0
-1:0
0:0
1:0
2:1
3:1
4:2
5:2
6:3
7:3
8:4
9:4
10:5
11:5
12:6
13:6
14:7
15:7
16:8
17:8
18:8
19:8
20:8