1000, 0;
1311, 0;
1463, 0;
1623, 0;
1783, 0;
1935, 0;
2095, 0;
2247, 0;
2391, 0;
2551, 0;
2703, 0;
2863, 0;
3023, 0;
3183, 0;
6551, 0;
6687, 0;
6863, 0;
7031, 0;
7191, 0;
7351, 0;
7503, 0;
7655, 0;
7815, 0;
7991, 0;
8151, 0;
8311, 0;
8471, 0;
8647, 0;
8815, 0;
8991, 0;
9151, 0;
9319, 0;
9495, 0;
9647, 0;
9823, 0;
9999, 0;
10159, 0;
10335, 0;
10519, 0;
10687, 0;
10863, 0;
11023, 0;
11191, 0;
11351, 0;
11711, 0;
11871, 0;
15039, 0;
15207, 0;
15383, 0;
15543, 0;
15711, 0;
15879, 0;
16047, 0;
16207, 0;
16383, 0;
16543, 0;
16711, 0;
16871, 0;
17031, 0;
17199, 0;
17375, 0;
17527, 0;
17671, 0;
17839, 0;
18015, 0;
18175, 0;
18503, 0;
18663, 0;
18831, 0;
18991, 0;
19943, 0;
20679, 0;
21463, 0;
22167, 0;
22887, 0;
25359, 0;
25519, 0;
25679, 0;
25847, 0;
26023, 0;
26191, 0;
26351, 0;
26519, 0;
26679, 0;
26839, 0;
27015, 0;
27175, 0;
27503, 0;
27671, 0;
27847, 0;
28007, 0;
28175, 0;
28343, 0;
28511, 0;
28679, 0;
28839, 0;
29023, 0;
29183, 0;
29351, 0;
29527, 0;
29695, 0;
29863, 0;
30039, 0;
30215, 0;
30375, 0;
30559, 0;
30735, 0;
30895, 0;
31071, 0;
31239, 0;
31407, 0;
31583, 0;
31743, 0;
31919, 0;
32087, 0;
32263, 0;
32423, 0;
32599, 0;
32743, 0;
32748, 0;
40000, Record-End;