% generated by gen/gen_tables.awk; do not edit
4 & 2 & 3 & 3 & 3 \\
5 & 4 & 5 & 6 & 6 \\
6 & 6 & 7 & 8 & 8 \\
7 & 8 & 10 & 11 & 11 \\
8 & 10 & 12 & 13 & 13 \\
9 & 12 & 14 & 15 & 15 \\
10 & 14 & 16 & 17 & 17 \\
11 & 16 & 18 & 20 & 20 \\
12 & 18 & 20 & 22 & 22 \\
13 & 20 & 23 & 24 & 24 \\
14 & 22 & 25 & 26 & 26 \\
15 & 24 & 27 & 28 & 28 \\
16 & 26 & 29 & 30 & 30 \\
17 & 28 & 31 & 32 & 32 \\
18 & 30 & 33 & 34 & 34 \\
19 & 32 & 35 & $\ge 36$ & 37 \\
20 & 34 & 37 & $\ge 38$ & 39 \\
21 & 36 & 39 & $\ge 40$ & 41 \\
22 & 38 & 41 & $\ge 42$ & 43 \\
23 & 40 & 43 & $\ge 44$ & 45 \\
24 & 42 & 45 & $\ge 46$ & 47 \\