BUG #1614: Bug in contrib/btree_gist for text

The following bug has been logged online:

Bug reference: 1614
Logged by: Sokolov Yura
Email address: falcon(at)intercable(dot)ru
PostgreSQL version: 8.0.1
Operating system: Windows2003, Slackware 10.0
Description: Bug in contrib/btree_gist for text
Details:

/*
contrib/btree_gist installed
*/
--drop table try_gist2;
CREATE TABLE try_gist2
(
id serial NOT NULL,
port varchar(30),
phone varchar(30),
CONSTRAINT try_gist2_pkey PRIMARY KEY (id)
)
WITHOUT OIDS;

--delete from try_gist2;
copy try_gist2 from 'c:/postgresql/export/try_gist';
/* most of rows :
port='' and phone>''
few rows :
port>'' and phone=''
very few rows:
port>'' and phone>''
*/

select * from try_gist2 where port='e0_' and phone='';
/* query returns 5 rows */

create index ix_try_gist2 on try_gist2 using gist (
(port::text),(phone::text) );
/* usually create time 2.5 - 3.5 seconds */

set enable_seqscan=off;

select * from try_gist2 where port::text='e0_'::text and
phone::text=''::text;
/* query returns 0 rows !!! */

drop index ix_try_gist2;
create index ix_try_gist2 on try_gist2 using gist (
(phone::text),(port::text) );
-- usually create time 170 - 250 milliseconds */

select * from try_gist2 where port::text='e0_'::text and
phone::text=''::text;
/* query returns 5 rows again !!! */

/*
Excuse me for a long sample data, but with smaller sets
I tried bug is not stable.
containment of c:/postgresql/export/try_gist :
1 999608
2 999607
3 999583
4 999582
5 999582
6 999550
7 999541
8 999540
9 999515
10 999514
11 999513
12 999481
13 999365
14 999364
15 999357
16 999356
17 999351
18 999350
19 999318
20 999317
21 999316
22 999315
23 999314
24 999196
25 999072
26 998866
27 998434
28 997765
29 997764
30 997170
31 997124
32 997000
33 996908
34 996907
35 996660
36 996390
37 996199
38 996077
39 996044
40 995066
41 994792
42 994775
43 994760
44 994663
45 994565
46 994564
47 994563
48 994562
49 994561
50 994545
51 994487
52 994455
53 994426
54 994399
55 994388
56 994348
57 994290
58 994241
59 994240
60 994192
61 994006
62 994004
63 993721
64 993719
65 993718
66 993716
67 993715
68 993637
69 993633
70 993603
71 993602
72 993597
73 993565
74 993533
75 993523
76 993492
77 993491
78 993488
79 993476
80 993475
81 993291
82 993266
83 993233
84 993184
85 993013
86 993008
87 993007
88 993006
89 992974
90 992972
91 992971
92 992968
93 992967
94 992954
95 992947
96 992946
97 992945
98 992919
99 992917
100 992916
101 992774
102 991261
103 991260
104 990982
105 990981
106 990918
107 990917
108 990560
109 990522
110 990521
111 990325
112 990281
113 990104
114 990103
115 990102
116 990101
117 990093
118 990074
119 990073
120 990072
121 990071
122 990046
123 990045
124 990016
125 990006
126 979418
127 978943
128 978830
129 978650
130 978397
131 978297
132 978086
133 978085
134 978084
135 978007
136 972890
137 972871
138 972866
139 972860
140 964148
141 958524
142 958268
143 957629
144 957628
145 957253
146 956994
147 956772
148 956197
149 956155
150 955962
151 955948
152 955947
153 955883
154 955798
155 955600
156 955518
157 955517
158 955514
159 955485
160 955395
161 955380
162 955355
163 955341
164 955318
165 955110
166 955109
167 955103
168 954855
169 954836
170 954829
171 954383
172 953599
173 953594
174 953593
175 953588
176 953558
177 953557
178 953556
179 953465
180 953464
181 953010
182 953008
183 953007
184 950914
185 950913
186 950912
187 950911
188 950891
189 950864
190 950859
191 950815
192 950814
193 950813
194 950812
195 950811
196 950782
197 950781
198 950533
199 950522
200 950511
201 950510
202 950484
203 950066
204 950033
205 945510
206 939834
207 931720
208 930887
209 930813
210 930779
211 930690
212 929314
213 929186
214 928899
215 928888
216 928882
217 928866
218 928333
219 926124
220 925838
221 925826
222 925573
223 925572
224 925166
225 924335
226 924329
227 923966
228 923961
229 923959
230 923919
231 923918
232 923676
233 923626
234 923607
235 923605
236 923604
237 923594
238 923464
239 923455
240 923308
241 923307
242 923306
243 923305
244 923128
245 923123
246 923101
247 923100
248 923090
249 923080
250 923073
251 923003
252 922975
253 922956
254 922955
255 922945
256 922928
257 922859
258 922838
259 922717
260 922675
261 922570
262 922380
263 922262
264 921777
265 921758
266 919773
267 919683
268 919574
269 918982
270 918981
271 918977
272 918927
273 918926
274 918925
275 918924
276 A8
277 a16_14
278 a16_13
279 a16
280 a12
281 9289461091
282 9289446490
283 9289400063
284 9289338395
285 9289309824
286 9289218502
287 9289207764
288 9289202819
289 9289144120
290 9289104054
291 9289092150
292 9289080530
293 9289056892
294 9289037391
295 9289024726
296 9289016692
297 9289015449
298 9282964148
299 9282960960
300 9282794242
301 9282794141
302 9282617834
303 9282617833
304 9282617832
305 9282617830
306 9282617828
307 9282613001
308 9282611545
309 9282298170
310 9282294547
311 9282293991
312 9282293987
313 9282290064
314 9282275107
315 9282268058
316 9282265779
317 9282265738
318 9282265733
319 9282265086
320 9282264198
321 9282146938
322 9185585768
323 9185555822
324 9185554969
325 9185554665
326 9185553863
327 9185547356
328 9185542666
329 9185541468
330 9185539900
331 9185507971
332 9185135033
333 9185108951
334 9185094226
335 9185080205
336 9185070290
337 9185045295
338 9185038390
339 9185023448
340 9185009892
341 9061808729
342 9061808728
343 9045042661
344 9043443885
345 9034355400
346 9034325971
347 9034075670
348 9034066499
349 9034024533
350 9034019192
351 9034018041
352 9034016949
353 9034015216
354 9034014347
355 9034012445
356 9024586111
357 9024584700
358 9024582029
359 9024539900
360 9014963857
361 8635265327
362 203030
363 918923
364 918918
365 918907
366 918877
367 917720
368 917660
369 917440
370 917207
371 916476
372 915823
373 915515
374 915309
375 915308
376 915307
377 915110
378 915096
379 914673
380 914588
381 913839
382 913654
383 913503
384 913502
385 913323
386 913317
387 913201
388 913175
389 913036
390 911695
391 910941
392 910917
393 910916
394 910830
395 910807
396 910804
397 910803
398 910799
399 910783
400 910766
401 910750
402 910730
403 910694
404 910689
405 910671
406 910373
407 910308
408 910243
409 910241
410 910225
411 910157
412 910150
413 910146
414 910145
415 910144
416 910143
417 910142
418 910141
419 910140
420 910139
421 910138
422 910070
423 910005
424 908946
425 908827
426 908821
427 908819
428 908815
429 908759
430 908758
431 908757
432 908756
433 908755
434 908754
435 908753
436 908752
437 908751
438 908749
439 908748
440 908747
441 908746
442 908745
443 908744
444 908743
445 908741
446 908740
447 908738
448 908736
449 908735
450 908734
451 908733
452 908732
453 908731
454 908730
455 908729
456 908728
457 908727
458 908726
459 908725
460 908724
461 908723
462 908722
463 908721
464 908720
465 908418
466 908322
467 908321
468 908312
469 908176
470 908175
471 908174
472 907626
473 907297
474 907277
475 907260
476 907224
477 907147
478 906020
479 905963
480 905926
481 905926
482 905606
483 905599
484 904850
485 904750
486 904653
487 904633
488 904632
489 904631
490 904470
491 904430
492 904405
493 904396
494 904245
495 904244
496 904064
497 903867
498 903797
499 903664
500 903656
501 903611
502 903555
503 903331
504 903330
505 903248
506 903112
507 903084
508 903062
509 903023
510 902700
511 902540
512 902383
513 902382
514 902307
515 902102
516 902092
517 901511
518 901510
519 901220
520 787943
521 787932
522 787865
523 787864
524 787856
525 787854
526 787827
527 787811
528 787690
529 787689
530 787663
531 787649
532 787641
533 787589
534 787588
535 787414
536 787357
537 787303
538 787302
539 787301
540 787300
541 787299
542 787298
543 787297
544 787296
545 787295
546 787294
547 787293
548 787292
549 787291
550 787290
551 787289
552 787288
553 787287
554 787278
555 787253
556 787250
557 787072
558 787064
559 787051
560 787007
561 787000
562 786998
563 786978
564 786906
565 786848
566 786847
567 786838
568 786828
569 786817
570 786808
571 786798
572 786797
573 786788
574 786787
575 786682
576 786666
577 786600
578 786589
579 786588
580 786587
581 786586
582 786585
583 786584
584 786583
585 786582
586 786581
587 786580
588 786491
589 786008
590 786000
591 785534
592 785532
593 785097
594 784104
595 784103
596 784102
597 784101
598 784100
599 784066
600 782494
601 779449
602 779124
603 778892
604 778482
605 778314
606 777688
607 776853
608 776607
609 776025
610 776014
611 774965
612 774659
613 774658
614 774650
615 774598
616 774560
617 774548
618 774543
619 774536
620 774442
621 774378
622 774219
623 774036
624 773936
625 773467
626 773376
627 772920
628 772745
629 772716
630 772105
631 771936
632 771066
633 770834
634 770322
635 769707
636 769699
637 769679
638 769677
639 769676
640 769636
641 769629
642 769626
643 769603
644 769592
645 769581
646 769577
647 769568
648 769563
649 769559
650 769538
651 769536
652 769535
653 769527
654 769525
655 769514
656 769511
657 769510
658 769509
659 769507
660 769505
661 769503
662 769502
663 769499
664 769496
665 769495
666 769485
667 769478
668 769477
669 769472
670 769467
671 769459
672 769458
673 769442
674 769440
675 769439
676 769430
677 769427
678 769426
679 769423
680 769419
681 769416
682 769415
683 769413
684 769412
685 769409
686 769406
687 769405
688 769399
689 769398
690 769393
691 769386
692 769385
693 769384
694 769376
695 769373
696 769371
697 769358
698 769354
699 769352
700 769349
701 769339
702 769328
703 769325
704 769324
705 769320
706 769316
707 769308
708 769299
709 769298
710 769282
711 769271
712 769263
713 769260
714 769259
715 769255
716 769246
717 769238
718 769221
719 769216
720 769212
721 769199
722 769181
723 769165
724 769164
725 769159
726 769157
727 769155
728 769140
729 769136
730 769133
731 769131
732 769124
733 769121
734 769120
735 769113
736 769112
737 769110
738 769108
739 769107
740 769105
741 769093
742 769091
743 769086
744 769083
745 769076
746 769066
747 769058
748 769040
749 769038
750 769036
751 769033
752 769031
753 769025
754 769022
755 769021
756 769020
757 769019
758 769017
759 769010
760 769008
761 769006
762 767724
763 767643
764 767116
765 767098
766 765885
767 765770
768 765757
769 765664
770 764343
771 763887
772 763655
773 762758
774 761905
775 761657
776 761060
777 749581
778 749438
779 748787
780 748196
781 748098
782 747799
783 745507
784 742666
785 741642
786 739985
787 739984
788 739983
789 739982
790 739981
791 739980
792 739021
793 738596
794 738226
795 732983
796 732703
797 732702
798 732701
799 732569
800 732566
801 732553
802 732552
803 732529
804 732423
805 732322
806 732303
807 732066
808 732065
809 732059
810 731514
811 731474
812 730060
813 730029
814 726732
815 726668
816 726667
817 726665
818 726660
819 726634
820 725456
821 725454
822 725453
823 725452
824 725448
825 725189
826 725177
827 725161
828 725130
829 725120
830 725115
831 725114
832 724752
833 722047
834 720290
835 719974
836 719899
837 719705
838 719174
839 717980
840 717977
841 716731
842 715205
843 713935
844 712958
845 710991
846 708202
847 700011
848 699128
849 698960
850 698838
851 698666
852 698569
853 698565
854 698418
855 698407
856 698352
857 698251
858 698130
859 698127
860 698057
861 697824
862 697817
863 697816
864 697814
865 697228
866 697211
867 697210
868 696757
869 696566
870 690613
871 683469
872 683434
873 683388
874 683377
875 683369
876 683358
877 679956
878 679777
879 679737
880 679179
881 679061
882 678832
883 678787
884 678576
885 678494
886 678447
887 678080
888 678009
889 677458
890 676969
891 676787
892 676750
893 676677
894 676668
895 675983
896 675816
897 675750
898 675720
899 675554
900 675408
901 675381
902 675068
903 675041
904 674680
905 674515
906 674488
907 674394
908 674111
909 674027
910 673607
911 673148
912 673137
913 673111
914 673062
915 671897
916 670977
917 670952
918 670695
919 670245
920 670077
921 670056
922 669181
923 668755
924 666365
925 666302
926 666301
927 666300
928 666213
929 666211
930 666210
931 666209
932 666146
933 666136
934 665985
935 665966
936 665895
937 665886
938 665870
939 665869
940 665863
941 665823
942 665822
943 665821
944 665820
945 665655
946 665588
947 665542
948 665452
949 665451
950 665450
951 665449
952 665448
953 665447
954 665446
955 665442
956 665441
957 665439
958 664090
959 663196
960 661343
961 661041
962 656641
963 656562
964 656552
965 655708
966 655555
967 655051
968 654484
969 654222
970 653797
971 653750
972 653564
973 653541
974 653449
975 653210
976 652605
977 652349
978 652340
979 652079
980 651837
981 651740
982 651618
983 651578
984 651573
985 651350
986 651326
987 651315
988 651233
989 651204
990 651180
991 651083
992 650589
993 650575
994 650552
995 650372
996 650215
997 650188
998 649972
999 649969
1000 649962
1001 649898
1002 649830
1003 649765
1004 649562
1005 649520
1006 649511
1007 648989
1008 648751
1009 648709
1010 646995
1011 646918
1012 646842
1013 646743
1014 646728
1015 646611
1016 646608
1017 645621
1018 645507
1019 644880
1020 644611
1021 644566
1022 644500
1023 644450
1024 644382
1025 644311
1026 644154
1027 644077
1028 643824
1029 643445
1030 643221
1031 643144
1032 643136
1033 643069
1034 643043
1035 643026
1036 642240
1037 641977
1038 641963
1039 641944
1040 641941
1041 641867
1042 641300
1043 641067
1044 640752
1045 640522
1046 640514
1047 640327
1048 640248
1049 640149
1050 640050
1051 638494
1052 638148
1053 638146
1054 638145
1055 638144
1056 638143
1057 638142
1058 638141
1059 638140
1060 638139
1061 638137
1062 638136
1063 638135
1064 638134
1065 638133
1066 638132
1067 638131
1068 638130
1069 638003
1070 638002
1071 638001
1072 636641
1073 635708
1074 635565
1075 635555
1076 635529
1077 635048
1078 634928
1079 634861
1080 634828
1081 634539
1082 634242
1083 634009
1084 633496
1085 633352
1086 633075
1087 632340
1088 631433
1089 630933
1090 630930
1091 625926
1092 625845
1093 625701
1094 625678
1095 625581
1096 625540
1097 625468
1098 625420
1099 625386
1100 625366
1101 625352
1102 625309
1103 625307
1104 625251
1105 625114
1106 625053
1107 624945
1108 624826
1109 624750
1110 624524
1111 624323
1112 624298
1113 624296
1114 624258
1115 624208
1116 624108
1117 624064
1118 624032
1119 623833
1120 623773
1121 623695
1122 623430
1123 623376
1124 623269
1125 623252
1126 623183
1127 622853
1128 622503
1129 622403
1130 621870
1131 621534
1132 621270
1133 620901
1134 620848
1135 620762
1136 620755
1137 620604
1138 620479
1139 620442
1140 620364
1141 620354
1142 620327
1143 620269
1144 620257
1145 620201
1146 620193
1147 620051
1148 620044
1149 618625
1150 598896
1151 598822
1152 598696
1153 598617
1154 598273
1155 589930
1156 589201
1157 588210
1158 587573
1159 586632
1160 586124
1161 586092
1162 586088
1163 586087
1164 586059
1165 586049
1166 581692
1167 581552
1168 581288
1169 578343
1170 573726
1171 573589
1172 571137
1173 565055
1174 559489
1175 559383
1176 559373
1177 559353
1178 559343
1179 559338
1180 559337
1181 559333
1182 559166
1183 559117
1184 559087
1185 558489
1186 558485
1187 558209
1188 558207
1189 558206
1190 558194
1191 558193
1192 558112
1193 558109
1194 558107
1195 557205
1196 557195
1197 557191
1198 557185
1199 557151
1200 557146
1201 557135
1202 557129
1203 557128
1204 557108
1205 557085
1206 557035
1207 554211
1208 552370
1209 552369
1210 552124
1211 552123
1212 552119
1213 552118
1214 552117
1215 552116
1216 552115
1217 552114
1218 552113
1219 552112
1220 552110
1221 552109
1222 552108
1223 552107
1224 552106
1225 552105
1226 552104
1227 552103
1228 552102
1229 552101
1230 552099
1231 552098
1232 552097
1233 552096
1234 552095
1235 552094
1236 552093
1237 552092
1238 552089
1239 552062
1240 552061
1241 552060
1242 552059
1243 552058
1244 552057
1245 552056
1246 552054
1247 552053
1248 552052
1249 552051
1250 552049
1251 552048
1252 552047
1253 552046
1254 552044
1255 552043
1256 552042
1257 552012
1258 552008
1259 552007
1260 552006
1261 552004
1262 552003
1263 552000
1264 551974
1265 551952
1266 551395
1267 551385
1268 551139
1269 551138
1270 551137
1271 551136
1272 551134
1273 551129
1274 551115
1275 551110
1276 550214
1277 549190
1278 548788
1279 548677
1280 548633
1281 548577
1282 548544
1283 548422
1284 548355
1285 548066
1286 547722
1287 547188
1288 547133
1289 546766
1290 546722
1291 546400
1292 546155
1293 545588
1294 545177
1295 545166
1296 544522
1297 544342
1298 544088
1299 543955
1300 543866
1301 542722
1302 542466
1303 542444
1304 542166
1305 542122
1306 541866
1307 541837
1308 541800
1309 541555
1310 541477
1311 540854
1312 539931
1313 539727
1314 538911
1315 538656
1316 538609
1317 538155
1318 538098
1319 537534
1320 535922
1321 535800
1322 535276
1323 535123
1324 534883
1325 533927
1326 533877
1327 533833
1328 533781
1329 533766
1330 533648
1331 533466
1332 533455
1333 532540
1334 532009
1335 531994
1336 531877
1337 531045
1338 530936
1339 530666
1340 530633
1341 530400
1342 529987
1343 529984
1344 529959
1345 529724
1346 529371
1347 529357
1348 528203
1349 527972
1350 527914
1351 527876
1352 527447
1353 527430
1354 527412
1355 527383
1356 527376
1357 527367
1358 527358
1359 527332
1360 527232
1361 526960
1362 526949
1363 526940
1364 526936
1365 526928
1366 526920
1367 526914
1368 526869
1369 526840
1370 526833
1371 526808
1372 526692
1373 526616
1374 526609
1375 526532
1376 526434
1377 526417
1378 526416
1379 526386
1380 526346
1381 526333
1382 526328
1383 526320
1384 526316
1385 526309
1386 526265
1387 526209
1388 525977
1389 525886
1390 525834
1391 525803
1392 525801
1393 525777
1394 525764
1395 525738
1396 525725
1397 525712
1398 525687
1399 525680
1400 525633
1401 525559
1402 525481
1403 525450
1404 525428
1405 525160
1406 525090
1407 525052
1408 525029
1409 525023
1410 524728
1411 524492
1412 524487
1413 524466
1414 524465
1415 524244
1416 524187
1417 524161
1418 524089
1419 524044
1420 524021
1421 524016
1422 524003
1423 523744
1424 523538
1425 523436
1426 523397
1427 523097
1428 523095
1429 523032
1430 522972
1431 522845
1432 522676
1433 522433
1434 521600
1435 521084
1436 520972
1437 520855
1438 520781
1439 520511
1440 520046
1441 519792
1442 519688
1443 519588
1444 519565
1445 519488
1446 519481
1447 519463
1448 519438
1449 519411
1450 519392
1451 519366
1452 519265
1453 519222
1454 518926
1455 518726
1456 518711
1457 518628
1458 518627
1459 518583
1460 518111
1461 517980
1462 517888
1463 517766
1464 517663
1465 517644
1466 516664
1467 516652
1468 515792
1469 515625
1470 515537
1471 515427
1472 515254
1473 514994
1474 514849
1475 514846
1476 514822
1477 514801
1478 514763
1479 514329
1480 513963
1481 513901
1482 513846
1483 513597
1484 513389
1485 512827
1486 512809
1487 512715
1488 512711
1489 512305
1490 512178
1491 511801
1492 511366
1493 510432
1494 508436
1495 508216
1496 507669
1497 507463
1498 507329
1499 507326
1500 507325
1501 507324
1502 507321
1503 506144
1504 506090
1505 506080
1506 506075
1507 506070
1508 506060
1509 506056
1510 506055
1511 506050
1512 506040
1513 506030
1514 506020
1515 506010
1516 505890
1517 505859
1518 505858
1519 505857
1520 505856
1521 505855
1522 505854
1523 505853
1524 505852
1525 505851
1526 505850
1527 505849
1528 505848
1529 505847
1530 505846
1531 505845
1532 505844
1533 505843
1534 505842
1535 505841
1536 505840
1537 505839
1538 505838
1539 505837
1540 505836
1541 505835
1542 505834
1543 505833
1544 505832
1545 505831
1546 505830
1547 505829
1548 505828
1549 505827
1550 505826
1551 505825
1552 505824
1553 505823
1554 505822
1555 505821
1556 505820
1557 505819
1558 505818
1559 505817
1560 505816
1561 505815
1562 505814
1563 505813
1564 505812
1565 505811
1566 505810
1567 505809
1568 505808
1569 505807
1570 505806
1571 505805
1572 505804
1573 505803
1574 505802
1575 505801
1576 505800
1577 501213
1578 501177
1579 500061
1580 500041
1581 500033
1582 498725
1583 498724
1584 498723
1585 498722
1586 498721
1587 498720
1588 498719
1589 498718
1590 498717
1591 498411
1592 498410
1593 498409
1594 498408
1595 498407
1596 498406
1597 498405
1598 498404
1599 498403
1600 498402
1601 498401
1602 498400
1603 498388
1604 498387
1605 498385
1606 498384
1607 498382
1608 498381
1609 498380
1610 498379
1611 498377
1612 498376
1613 498375
1614 498372
1615 498371
1616 498370
1617 498369
1618 498367
1619 498366
1620 498365
1621 498364
1622 498363
1623 498362
1624 498361
1625 498
1626 494095
1627 494091
1628 491923
1629 491888
1630 491790
1631 489937
1632 489700
1633 489548
1634 489497
1635 489031
1636 488909
1637 488763
1638 487393
1639 486753
1640 486330
1641 485710
1642 485670
1643 484600
1644 484258
1645 483900
1646 483729
1647 483025
1648 482680
1649 481100
1650 480545
1651 479841
1652 478621
1653 478552
1654 478324
1655 477778
1656 477617
1657 477097
1658 476030
1659 475775
1660 475188
1661 474637
1662 474383
1663 474279
1664 474128
1665 473710
1666 473652
1667 473316
1668 473138
1669 471849
1670 470653
1671 470396
1672 470371
1673 470370
1674 470309
1675 470305
1676 467796
1677 458440
1678 458419
1679 458418
1680 458417
1681 458101
1682 454949
1683 454881
1684 454774
1685 454560
1686 454540
1687 454470
1688 454460
1689 454455
1690 454245
1691 453799
1692 453476
1693 452929
1694 452893
1695 452880
1696 452093
1697 451963
1698 451961
1699 451899
1700 451717
1701 451438
1702 451203
1703 450703
1704 450404
1705 450397
1706 448784
1707 448723
1708 448408
1709 447634
1710 446936
1711 446935
1712 446638
1713 446232
1714 444907
1715 444577
1716 444560
1717 444543
1718 444224
1719 443580
1720 443453
1721 443344
1722 443294
1723 443121
1724 443065
1725 441966
1726 441866
1727 441863
1728 441862
1729 441563
1730 441469
1731 441363
1732 441341
1733 441048
1734 439155
1735 439154
1736 436706
1737 435645
1738 434525
1739 433583
1740 432917
1741 432032
1742 431483
1743 431252
1744 430994
1745 430988
1746 430870
1747 430744
1748 430614
1749 430606
1750 430336
1751 430177
1752 430063
1753 429299
1754 428746
1755 428688
1756 428644
1757 428517
1758 428500
1759 428463
1760 428427
1761 428383
1762 424080
1763 424079
1764 424078
1765 424077
1766 424060
1767 424050
1768 424001
1769 423999
1770 423998
1771 423988
1772 422334
1773 422224
1774 421059
1775 420628
1776 420301
1777 415123
1778 411789
1779 409782
1780 409453
1781 409354
1782 409322
1783 409299
1784 409166
1785 409065
1786 408736
1787 408273
1788 407973
1789 407465
1790 407419
1791 407326
1792 407309
1793 407275
1794 407165
1795 407134
1796 406887
1797 406608
1798 406584
1799 406321
1800 405537
1801 405516
1802 405421
1803 404787
1804 404785
1805 404640
1806 404524
1807 404519
1808 403877
1809 403750
1810 403567
1811 403514
1812 403477
1813 403422
1814 403415
1815 403397
1816 402932
1817 402869
1818 402838
1819 402766
1820 402668
1821 402612
1822 402590
1823 402566
1824 402419
1825 402202
1826 401918
1827 401556
1828 400963
1829 400942
1830 400769
1831 400600
1832 400175
1833 383002
1834 379900
1835 369963
1836 369745
1837 369733
1838 368867
1839 368859
1840 368717
1841 367677
1842 367676
1843 367647
1844 367477
1845 366695
1846 366694
1847 366693
1848 366433
1849 366088
1850 365890
1851 365721
1852 360960
1853 360860
1854 360821
1855 360820
1856 360810
1857 360800
1858 360760
1859 360634
1860 360633
1861 360632
1862 360549
1863 360548
1864 360375
1865 360242
1866 360238
1867 360026
1868 360022
1869 360006
1870 357610
1871 355465
1872 352611
1873 350981
1874 350855
1875 350684
1876 349839
1877 349774
1878 349547
1879 349383
1880 349377
1881 349355
1882 349329
1883 349124
1884 348444
1885 347839
1886 347756
1887 347734
1888 347612
1889 347510
1890 347363
1891 347195
1892 347058
1893 346111
1894 346102
1895 345890
1896 345199
1897 345063
1898 344983
1899 344907
1900 344369
1901 344182
1902 343997
1903 343978
1904 343858
1905 343341
1906 342937
1907 342838
1908 342776
1909 342492
1910 342187
1911 341983
1912 341977
1913 341313
1914 340849
1915 340836
1916 340357
1917 339581
1918 339522
1919 338798
1920 337763
1921 337762
1922 337021
1923 336972
1924 336052
1925 334982
1926 332814
1927 331120
1928 329950
1929 329949
1930 329945
1931 329941
1932 329729
1933 329703
1934 329645
1935 329594
1936 329412
1937 329315
1938 328795
1939 328441
1940 328409
1941 328328
1942 328261
1943 328254
1944 327994
1945 327968
1946 327855
1947 327829
1948 327758
1949 327737
1950 327677
1951 327627
1952 327572
1953 327510
1954 327406
1955 327384
1956 326817
1957 326613
1958 326316
1959 326021
1960 325839
1961 325622
1962 324896
1963 324863
1964 324074
1965 323972
1966 323713
1967 323355
1968 323349
1969 323342
1970 323313
1971 322989
1972 322553
1973 322365
1974 322338
1975 322306
1976 321945
1977 321936
1978 321878
1979 321618
1980 321496
1981 320936
1982 320858
1983 307266
1984 306591
1985 306426
1986 306136
1987 306126
1988 304742
1989 304079
1990 304014
1991 304013
1992 303856
1993 303846
1994 303691
1995 303690
1996 303202
1997 301422
1998 301400
1999 301350
2000 301330
2001 301300
2002 300204
2003 299098
2004 299075
2005 299073
2006 299063
2007 298458
2008 298061
2009 293511
2010 293333
2011 290568
2012 279926
2013 279925
2014 279924
2015 279923
2016 278769
2017 278768
2018 278664
2019 278662
2020 278649
2021 278592
2022 278547
2023 278546
2024 278532
2025 278531
2026 278530
2027 278529
2028 278528
2029 278527
2030 278526
2031 278524
2032 278523
2033 278522
2034 278521
2035 278520
2036 278477
2037 278451
2038 278260
2039 278080
2040 278024
2041 277185
2042 277176
2043 277175
2044 277142
2045 277126
2046 276283
2047 276166
2048 276161
2049 276160
2050 276149
2051 276107
2052 276066
2053 276050
2054 275080
2055 275070
2056 273557
2057 273548
2058 273456
2059 273274
2060 273178
2061 273176
2062 273175
2063 273170
2064 273169
2065 273168
2066 273167
2067 273166
2068 273165
2069 273164
2070 272905
2071 272903
2072 272615
2073 271081
2074 271069
2075 270603
2076 270573
2077 270572
2078 270571
2079 270520
2080 270510
2081 266464
2082 260827
2083 254952
2084 254876
2085 253820
2086 253754
2087 253672
2088 250282
2089 248899
2090 247710
2091 245833
2092 245751
2093 240910
2094 240842
2095 234349
2096 227543
2097 227402
2098 226442
2099 225735
2100 224401
2101 224165
2102 223406
2103 222764
2104 221646
2105 221637
2106 221636
2107 221610
2108 221601
2109 221563
2110 221545
2111 221543
2112 221440
2113 221263
2114 220988
2115 220644
2116 220214
2117 209918
2118 209890
2119 209801
2120 209791
2121 209790
2122 209759
2123 209750
2124 209746
2125 209741
2126 209740
2127 209739
2128 209738
2129 209737
2130 209736
2131 209718
2132 209702
2133 209701
2134 209693
2135 209596
2136 209595
2137 209584
2138 209533
2139 209499
2140 209498
2141 209494
2142 209488
2143 209484
2144 209475
2145 209474
2146 209433
2147 209396
2148 209383
2149 209359
2150 209339
2151 209335
2152 209331
2153 209327
2154 209325
2155 209324
2156 209299
2157 209169
2158 209109
2159 209104
2160 209103
2161 209102
2162 209101
2163 209100
2164 209099
2165 209090
2166 209075
2167 209050
2168 209033
2169 209010
2170 209008
2171 209002
2172 208567
2173 208480
2174 208380
2175 206959
2176 206894
2177 206662
2178 206215
2179 205570
2180 204328
2181 203930
2182 203894
2183 203885
2184 203884
2185 203882
2186 203881
2187 203831
2188 203827
2189 203826
2190 203825
2191 203761
2192 203632
2193 203631
2194 203629
2195 203565
2196 203496
2197 203495
2198 203492
2199 203491
2200 203490
2201 203430
2202 203380
2203 203371
2204 203370
2205 203369
2206 203368
2207 203367
2208 203362
2209 203361
2210 203360
2211 203359
2212 203350
2213 203300
2214 203190
2215 203093
2216 202946
2217 202130
2218 201935
2219 201934
2220 201933
2221 201653
2222 201507
2223 7568
2224 7545
2225 7614
2226 e1_
2227 e3_
2228 e8_
2229 e9_
2230 r9_
2231 r10_
2232 e6_
2233 e7_
2234 e2_ 498373
2235 e2_ 639051
2236 e2_ 639055
2237 e2_ 639499
2238 e2_ 659051
2239 e2_ 659055
2240 e2_ 659499
2241 e0_
2242 e0_
2243 e0_
2244 e0_
2245 e0_
2246 e2_ 639
2247 e2_ 659
*/