BIB > 10, 1433
BIB > 10, 2931
BIB > 5, 10, 658
BIB > 2, 10, 3618
BIB > 4, 7, 10, 17, 120, 2414, 2415
BIB > 2, 10, 1775, 3391
BIB > 5, 53, 254, 5240, 5466, 6087, 6719
BIB > 10, 239, 2404, 2811, 121315631
BIB > 10
BIB > 6, 10, 14, 2158, 2257, 3856
BIB > 0, 6, 10, 100, 1010, 3713
BIB > 10, 1482, 3345