BIB > 1646
BIB > 3, 812
BIB > 2006, 2203
BIB > 3, 1530, 5677
BIB > 2203
BIB > 136, 221, 1471, 2423
BIB > 1676
BIB > 0, 10, 21, 127, 143, 1277, 9884, 53144, ...
BIB > 1757
BIB > 5304
BIB > 2160
BIB > 1731