BIB > 5, 10, 5073, 6457
BIB > 5, 10, 57, 1445, 2456, 6726
BIB > 10, 1084, 1990
BIB > 10, 77, 1141, 2380
BIB > 10, 68, 1231, 3720
BIB > 10, 1628
BIB > 10, 1480, 3422
BIB > 5, 10, 5560, 5791, 5926
BIB > 10, 18, 433, 2450, 3423
BIB > 10, 130, 206, 218305631
BIB > 5, 10, 5573, 6667
BIB > 10, 61, 985, 1159, 2409, 22790