BIB > 10, 2011, 2017, 2785
BIB > 8, 10, 1292, 2827
BIB > 10, 2922
BIB > 10, 2114, 5686
BIB > 10, 5193, 5195, 6523, 6670
BIB > 10, 1389
BIB > 0, 2, 3, 4, 5, 10, 24, 1500000, 2000000
BIB > 2, 10, 11, 2510, 2514
BIB > 10, 240, 304, 2365, 3048, 3186
BIB > 9, 10, 1898, 3572
BIB > 5, 10, 55, 170, 5982
BIB > 10, 46, 1187, 2011, 3593