BIB > 10, 1093
BIB > 10, 58, 3693
BIB > 5, 10, 77, 1509, 4345, 5213, 5452, 85111 ...
BIB > 10, 3001, 3262
BIB > 10, 358, 3619
BIB > 5, 5374, 5472
BIB > 10, 79, 198, 1990
BIB > 10, 128, 200, 300, 1067, 1219, 1413, 141 ...
BIB > 5, 10, 86, 5156, 5321, 5640, 5878, 5947
BIB > 10, 339
BIB > 0, 7, 10
BIB > 10, 1190, 2534, 3376