BIB > 1151
BIB > 10, 237, 2353
BIB > 2, 10, 100, 1771, 2758, 2985, 218305631
BIB > 5, 10, 663, 6732
BIB > 10, 556, 800, 1166, 3156, 5640, 5688, 61 ...
BIB > 10, 331, 503, 3427
BIB > 6305
BIB > 7, 10, 1523, 1687, 2163, 2664, 3903
BIB > 10, 1767, 1790
BIB > 0, 10, 168, 1031, 1350, 2210, 2437, 3296
BIB > 5, 10, 5022, 5362, 6162, 6807
BIB > 10, 2704