BIB > 2917
BIB > 223, 1209, 3769
BIB > 10, 21
BIB > 36
BIB > 1, 2, 3, 6, 8, 10, 135, 1389
BIB > 2293
BIB > 5424, 5718
BIB > 13, 300, 5245, 8977
BIB > 22158
BIB > 227, 1564, 5542
BIB > 2419
BIB > 1502