BIB > 9, 70, 852, 2389, 4194, 6166
BIB > 10, 100, 1431
BIB > 1433, 2023
BIB > 23, 1332, 1396, 1424, 3220
BIB > 10, 23, 107, 1234, 1314
BIB > 8, 133, 1316, 1317, 1321, 1325, 1329
BIB > 1333, 1430
BIB > 1433, 2023
BIB > 25, 150, 3250, 24330, 45611, 38032016
BIB > 199, 1313
BIB > 1234, 1417
BIB > 4, 1288, 1332, 3190, 3788, 5232