BIB > 9, 2236, 3234, 81990
BIB > 5, 10, 33, 147, 1010, 2929, 5133, 5139, ...
BIB > 10, 1695
BIB > 10, 2780
BIB > 10, 1509
BIB > 5, 10, 1551, 5459, 6157
BIB > 5, 6888
BIB > 10, 12, 373, 2530, 3112, 3334
BIB > 10, 3186, 3511
BIB > 9, 10, 350, 1178, 2132, 2493
BIB > 5, 5298
BIB > 10, 1703