12, 18, 26, 33, 42, 84, 90, 96, 113, 115, 116, 118, 119, 122–129, 131–134, 136,
137, 140–147, 149, 151, 152, 154–156, 158, 160, 161, 163, 164, 167–170, 172,
173, 176, 178, 179, 181, 182, 185, 187, 188, 190, 191, 194–197, 200, 202, 203,
205, 206, 209, 211, 212, 214, 215, 224, 226, 227, 228, 231, 234, 299–392