BIB > 10, 1169, 1884, 3837
BIB > 10, 2633, 3015, 3542
BIB > 2, 10, 1007, 1056, 1974, 2104
BIB > 10, 1355, 1785, 1932, 2613, 2966
BIB > 5, 10, 12, 15, 87, 89, 575, 1485, 3683, ...
BIB > 4, 5, 10, 1542, 1604, 5947
BIB > 10, 100, 1112, 1519, 3323
BIB > 10, 1197, 1590
BIB > 12, 361, 5356
BIB > 10, 814, 2429, 2491
BIB > 0, 10, 2590, 3575, 5661
BIB > 1, 5, 10