# Generated using a Python program by Sidney Cadot.
0 0
1 1
2 4
3 5
4 22
5 23
6 82
7 83
8 466
9 467
10 478
11 479
12 1090486
13 1090487
14 1090774
15 1090775
16 1090846
17 1090847
18 1199566
19 1199567