BIB > 300, 1681
BIB > 22067, 23033
BIB > 5, 10, 21, 221, 2043, 2088, 2323, 2411, ...
BIB > 2, 22139
BIB > 2271
BIB > 2150, 22120
BIB > 2340, 4202
BIB > 525, 1443
BIB > 138
BIB > 200, 702, 5659, 5660
BIB > 3, 200, 687, 6800, 6917
BIB > 145, 844