BIB > 5, 10, 6200
BIB > 10, 1087
BIB > 10, 1434, 2629, 3149, 18138
BIB > 10, 24, 3385, 3388
BIB > 10, 3118
BIB > 10, 50, 180, 1267, 3220, 5818, 85058
BIB > 10, 2711
BIB > 10, 1056, 2891
BIB > 0, 10, 40, 100, 5102, 5389, 100000000
BIB > 4, 10, 13, 68, 888
BIB > 10, 1804
BIB > 5, 10, 5568, 5801, 6326, 81149