BIB > 10, 965, 1007, 3041
BIB > 10, 1171, 1259, 1563, 1965, 2449, 2616, ...
BIB > 5977
BIB > 5, 10, 5187, 5245, 6770, 6980, 81223
BIB > 10, 1530, 2018, 2911, 5197, 5484, 5554
BIB > 10, 305, 1094
BIB > 0, 3, 10, 2543
BIB > 148, 1956, 2178, 3429, 3709
BIB > 7, 10, 160, 1046, 2620
BIB > 10, 2715, 3162, 3856
BIB > 5, 10, 600, 6001
BIB > 10, 313, 341, 2779