BIB > 10, 1517
BIB > 2, 10, 15, 392, 1309, 1925, 2024, 2820, ...
BIB > 10, 2354, 2459, 3440
BIB > 5912, 86727
BIB > 10, 15, 100, 1172, 1477, 83369
BIB > 6403
BIB > 2, 10, 1328, 5072, 6131, 6325
BIB > 10, 1015
BIB > 10
BIB > 7, 10, 1781
BIB > 1019, 2838
BIB > 10, 249, 1290, 1540, 1938, 2014