BIB > 10, 1154, 1218, 3905
BIB > 0, 2, 10, 16, 1350, 1399, 1943, 2899
BIB > 10, 24, 71, 1202, 2013, 3141, 3925
BIB > 10, 56, 100, 600, 5077
BIB > 10, 1388, 1728, 2662, 2974
BIB > 5, 10, 6343
BIB > 1, 7, 10, 3269
BIB > 1, 10, 16, 2865, 3546, 122305621
BIB > 5, 6440
BIB > 10, 312, 2486
BIB > 10
BIB > 5, 6620