BIB > 10, 231, 1098, 3217
BIB > 10, 5177
BIB > 10, 507, 1143
BIB > 1, 2, 3, 5, 24, 6442
BIB > 0, 2, 10, 19, 985, 1592, 2500, 2558, 285 ...
BIB > 5, 5851
BIB > 10, 5550, 6586, 45107
BIB > 4, 5, 10, 52, 90, 1670, 6225
BIB > 30
BIB > 5, 713, 5483, 5753, 5772
BIB > 5, 5096, 6515
BIB > 10, 55, 2716