BIB > 18, 100, 833, 2422
BIB > 7, 10
BIB > 10, 30, 394, 2846
BIB > 10, 3218
BIB > 10, 138
BIB > 0, 10
BIB > 8, 10, 1040, 1354, 1642
BIB > 1066
BIB > 10, 260
BIB > 10, 3034, 3892
BIB > 5, 530
BIB > 10, 905, 3087, 3572