BIB > 5, 6440, 55102
BIB > 5, 46, 64, 667, 5250, 5282
BIB > 10, 2663, 3174, 3270
BIB > 4, 309, 1181, 1587
BIB > 10, 12, 20, 55993, 218305631
BIB > 10, 1781, 3448, 3453
BIB > 1, 18, 200, 1258
BIB > 10, 1031
BIB > 10, 1330, 2270, 2947, 2948, 5039, 85687
BIB > 2, 10, 92, 5719
BIB > 10, 18, 3216, 5073
BIB > 10, 182, 2965, 5631