BIB > 7, 23, 2023
BIB > 0, 1058, 1124, 2023
BIB > 1, 8, 133, 1315, 1316, 1317, 1321, 1325, ...
BIB > 56, 64, 627, 1433, 6721
BIB > 23, 323, 1332
BIB > 1338
BIB > 1221, 1330, 9045
BIB > 3, 10, 1321
BIB > 1, 22, 23, 142, 1323, 1332, 1418, 1427, ...
BIB > 228, 926, 1315, 1316, 1387, 3416, 6519
BIB > 2
BIB > 23, 1315, 1320, 1423, 1427