BIB > 5, 10, 16, 993, 5957, 6218
BIB > 10, 358
BIB > 8, 10, 40, 377, 3377
BIB > 10, 11, 40, 100, 2352, 3255, 3394, 3676
BIB > 5, 10, 100, 5607, 5994
BIB > 10, 33, 1120, 2920
BIB > 4, 10, 5081
BIB > 5, 10, 69, 6763
BIB > 10, 331, 1350, 1545, 1873, 3383, 3574
BIB > 5, 10, 63, 1205, 5100, 6380, 85466
BIB > 6, 10, 20, 1358
BIB > 9, 10, 243, 2098