k9DEM |
8622. 185 exTNFS-Conj k=3 |
9234. 192 exTNFS-Conj k=3 |
16070. 256 exTNFS-Conj k=3 |
k10DEM |
5100. 161 exTNFS-Conj k=2 |
7660. 200 exTNFS-Conj k=2 |
11980. 257 exTNFS-Conj k=2 |
k11DEM |
5610. 179 TNFS-base m k=1 |
8426. 226 TNFS-base m k=1 |
11240. 272 TNFS-base m k=1 |
k12DEM |
6120. 163 exTNFS-Conj k=4 |
10540. 194 exTNFS-Conj k=4 |
16010. 256 exTNFS-Conj k=3 |
k13DEM |
6630. 200 TNFS-base m k=1 |
9958. 240 TNFS-base m k=1 |
13290. 294 TNFS-base m k=1 |
k14DEM |
7140. 195 exTNFS-Conj k=2 |
10720. 241 exTNFS-Conj k=2 |
14310. 285 exTNFS-Conj k=2 |
k15DEM |
7650. 182 exTNFS-Conj k=5 |
11490. 200 exTNFS-Conj k=5 |
20370. 258 exTNFS-Conj k=5 |
k16DEM |
8160. 193 exTNFS-Conj k=4 |
12260. 230 exTNFS-Conj k=4 |
17250. 257 exTNFS-Conj k=4 |
k17DEM |
8670. 243 TNFS-base m k=1 |
13020. 300 TNFS-base m k=1 |
17370. 339 TNFS-base m k=1 |
k18DEM |
9180. 211 exTNFS-Conj k=3 |
13790. 252 exTNFS-Conj k=3 |
18400. 269 exTNFS-Conj k=6 |
k19DEM |
9690. 261 TNFS-base m k=1 |
14550. 330 TNFS-base m k=1 |
19420. 371 TNFS-base m k=1 |
k20DEM |
10200. 219 exTNFS-Conj k=4 |
15320. 257 exTNFS-Conj k=4 |
20440. 292 exTNFS-Conj k=4 |
k9method62 |
4356. 134 SNFS k=1 |
13460. 194 SNFS k=1 |
25340. 257 SNFS k=1 |
k10method62 |
4460. 133 SNFS k=1 |
14400. 196 SexTNFS k=2 |
27980. 256 SexTNFS k=2 |
k11method62 |
3697. 173 SNFS k=1 |
7128. 192 SNFS k=1 |
24860. 256 SNFS k=1 |
k13method62 |
4265. 325 SNFS k=1 |
6216. 210 SNFS k=1 |
16350. 259 SNFS k=1 |
k14method62 |
5516. 159 SNFS k=1 |
9800. 195 SNFS k=1 |
19120. 256 SNFS k=1 |
k15method62 |
8131. 207 SNFS k=1 |
12210. 263 SNFS k=1 |
16290. 280 SNFS k=1 |
k17method62 |
5152. 254 SNFS k=1 |
7776. 291 SNFS k=1 |
10300. 281 SNFS k=1 |
k18method62 |
8677. 197 SNFS k=1 |
12640. 225 SNFS k=1 |
16990. 304 SNFS k=1 |
k19method62 |
6709. 245 SNFS k=1 |
8740. 329 SNFS k=1 |
11940. 292 SNFS k=1 |
k21method62 |
10680. 257 exTNFS-Conj k=3 |
15420. 294 exTNFS-Conj k=3 |
21210. 315 exTNFS-Conj k=3 |
k22method62 |
7394. 253 exTNFS-Conj k=2 |
11400. 284 exTNFS-Conj k=2 |
14830. 293 TNFS-base m k=1 |
k23method62 |
9778. 279 TNFS-base m k=1 |
10370. 289 TNFS-base m k=1 |
13770. 305 TNFS-base m k=1 |
k25method62 |
11820. 268 exTNFS-Conj k=5 |
13490. 303 exTNFS-Conj k=5 |
17590. 309 exTNFS-Conj k=5 |
k26method62 |
8528. 228 exTNFS-Conj k=2 |
12430. 297 exTNFS-Conj k=2 |
17110. 322 exTNFS-Conj k=2 |
k27method62 |
14810. 289 exTNFS-Conj k=3 |
17200. 317 exTNFS-Conj k=3 |
23460. 409 exTNFS-Conj k=3 |
k29method62 |
10920. 338 TNFS-base m k=1 |
15960. 372 TNFS-base m k=1 |
18580. 406 TNFS-base m k=1 |
k30method62 |
16260. 181 exTNFS-GJL k=5 |
24420. 233 exTNFS-GJL k=5 |
32580. 398 exTNFS-GJL k=6 |
k31method62 |
11870. 273 TNFS-base m k=1 |
16430. 384 TNFS-base m k=1 |
18650. 419 TNFS-base m k=1 |
k33method62 |
19600. 387 exTNFS-Conj k=3 |
23490. 389 exTNFS-Conj k=3 |
30140. 453 exTNFS-Conj k=3 |
k34method62 |
10300. 248 exTNFS-Conj k=2 |
15550. 372 exTNFS-Conj k=2 |
20610. 430 exTNFS-Conj k=2 |
k35method62 |
17250. 374 exTNFS-Conj k=5 |
24210. 425 exTNFS-Conj k=5 |
29560. 437 exTNFS-Conj k=5 |
k37method62 |
14960. 327 TNFS-base m k=1 |
19140. 455 TNFS-base m k=1 |
23660. 499 TNFS-base m k=1 |
k38method62 |
13420. 285 exTNFS-Conj k=2 |
17480. 388 exTNFS-Conj k=2 |
23880. 465 exTNFS-Conj k=2 |
k39method62 |
20530. 427 exTNFS-Conj k=3 |
29920. 446 exTNFS-Conj k=3 |
35220. 459 exTNFS-Conj k=3 |
k41method62 |
18290. 359 TNFS-base m k=1 |
18290. 381 TNFS-base m k=1 |
29050. 515 TNFS-base m k=1 |
k42method62 |
21370. 459 exTNFS-Conj k=5 |
30840. 488 exTNFS-GJL k=6 |
42420. 503 exTNFS-Conj k=3 |
k43method62 |
31020. 477 TNFS-base m k=1 |
31020. 413 TNFS-base m k=1 |
31020. 515 TNFS-base m k=1 |
k45method62 |
31000. 361 exTNFS-Conj k=5 |
34740. 448 exTNFS-Conj k=5 |
47120. 496 exTNFS-Conj k=5 |
k46method62 |
19560. 408 exTNFS-Conj k=2 |
20740. 435 exTNFS-Conj k=2 |
27540. 472 exTNFS-Conj k=2 |
k47method62 |
33070. 510 TNFS-base m k=1 |
33070. 459 TNFS-base m k=1 |
33070. 515 TNFS-base m k=1 |
k49method62 |
23110. 547 exTNFS-Conj k=7 |
34720. 574 exTNFS-Conj k=7 |
42560. 654 exTNFS-Conj k=9 |
k50method62 |
23640. 418 exTNFS-Conj k=5 |
26970. 632 exTNFS-Conj k=5 |
35180. 519 exTNFS-Conj k=5 |
k10method63 |
4460. 134 SexTNFS k=2 |
12580. 192 SexTNFS k=2 |
23080. 256 SexTNFS k=2 |
k14method63 |
5516. 148 SNFS k=1 |
8036. 206 SNFS k=1 |
21640. 258 SexTNFS k=2 |
k18method63 |
8676. 294 SexTNFS k=2 |
12640. 275 SNFS k=1 |
16990. 292 SexTNFS k=2 |
k22method63 |
7409. 387 SexTNFS k=2 |
11400. 273 exTNFS-Conj k=2 |
14830. 351 SexTNFS k=2 |
k26method63 |
8568. 416 SNFS k=1 |
12440. 288 exTNFS-Conj k=2 |
17110. 347 exTNFS-Conj k=2 |
k30method63 |
16270. 547 SNFS k=1 |
24420. 351 exTNFS-GJL k=6 |
32580. 434 exTNFS-GJL k=6 |
k34method63 |
10460. 670 SNFS k=1 |
15560. 348 exTNFS-Conj k=2 |
20680. 409 exTNFS-Conj k=2 |
k38method63 |
13530. 316 exTNFS-Conj k=2 |
17560. 393 exTNFS-Conj k=2 |
23940. 459 exTNFS-Conj k=2 |
k42method63 |
21340. 411 exTNFS-Conj k=6 |
30920. 470 exTNFS-Conj k=6 |
42500. 515 exTNFS-GJL k=7 |
k46method63 |
13900. 332 exTNFS-Conj k=2 |
21450. 405 exTNFS-Conj k=2 |
27740. 452 exTNFS-Conj k=2 |
k50method63 |
22680. 415 exTNFS-GJL k=5 |
27080. 462 exTNFS-Conj k=5 |
35170. 486 exTNFS-GJL k=5 |
k54method63 |
25130. 476 exTNFS-Conj k=6 |
34870. 1880 SNFS k=1 |
46980. 570 exTNFS-GJL k=9 |
k12method64 |
9192. 172 SNFS k=1 |
24460. 192 SexTNFS k=2 |
43180. 258 SexTNFS k=2 |
k20method64 |
7640. 208 SNFS k=1 |
11480. 227 SNFS k=1 |
19160. 257 SNFS k=1 |
k28method64 |
9800. 412 SexTNFS k=2 |
14280. 345 SNFS k=1 |
19210. 310 SNFS k=1 |
k36method64 |
15770. 517 SexTNFS k=2 |
22970. 368 SNFS k=1 |
30890. 379 SNFS k=1 |
k44method64 |
13650. 412 SNFS k=1 |
21030. 431 SNFS k=1 |
27370. 436 SNFS k=1 |
k52method64 |
15920. 575 SNFS k=1 |
23200. 502 exTNFS-Conj k=4 |
31930. 594 SNFS k=1 |
k9method66 |
4810. 129 SNFS k=1 |
6178. 196 SNFS k=1 |
20070. 258 SNFS k=1 |
k10method66 |
5104. 166 SNFS k=1 |
12780. 192 SNFS k=1 |
25420. 261 SNFS k=1 |
k11method66 |
3421. 339 exTNFS-GJL k=1 |
5263. 216 TNFS-base m k=1 |
6846. 241 SNFS k=1 |
k12method66 |
5525. 128 SexTNFS k=2 |
12580. 192 SexTNFS k=2 |
26120. 256 SexTNFS k=2 |
k13method66 |
4008. 155 TNFS-base m k=1 |
5806. 229 TNFS-base m k=1 |
11990. 259 TNFS-base m k=1 |
k14method66 |
4906. 175 SNFS k=1 |
7594. 197 exTNFS-Conj k=7 |
9610. 232 SNFS k=1 |
k15method66 |
5736. 175 SNFS k=1 |
8616. 192 SNFS k=1 |
11500. 222 SNFS k=1 |
k16method66 |
5608. 258 SNFS k=1 |
8422. 202 exTNFS-Conj k=4 |
15810. 256 exTNFS-Conj k=4 |
k17method66 |
5914. 202 TNFS-base m k=1 |
7426. 237 TNFS-base m k=1 |
9784. 259 exTNFS-Conj k=2 |
k19method66 |
6411. 217 TNFS-base m k=1 |
8397. 233 TNFS-base m k=1 |
11390. 274 TNFS-base m k=1 |
k20method66 |
7013. 331 SNFS k=1 |
14050. 244 exTNFS-Conj k=4 |
17130. 257 exTNFS-Conj k=4 |
k21method66 |
7359. 250 SNFS k=1 |
10720. 227 exTNFS-Conj k=3 |
14410. 262 exTNFS-Conj k=3 |
k22method66 |
8008. 136 exTNFS-Conj k=2 |
12320. 269 exTNFS-Conj k=2 |
16020. 314 exTNFS-Conj k=2 |
k23method66 |
9614. 236 TNFS-base m k=1 |
11160. 293 TNFS-base m k=1 |
13500. 340 TNFS-base m k=1 |
k24method66 |
7642. 171 SNFS k=1 |
12440. 195 SNFS k=1 |
24680. 259 SNFS k=1 |
k25method66 |
12160. 249 exTNFS-Conj k=5 |
14220. 257 exTNFS-Conj k=5 |
16880. 294 exTNFS-Conj k=5 |
k26method66 |
7972. 226 exTNFS-Conj k=2 |
11610. 267 exTNFS-Conj k=2 |
15980. 319 exTNFS-Conj k=2 |
k27method66 |
8062. 249 exTNFS-GJL k=9 |
11840. 259 exTNFS-Conj k=3 |
15620. 349 exTNFS-GJL k=3 |
k28method66 |
10460. 289 exTNFS-Conj k=7 |
15190. 261 exTNFS-Conj k=4 |
20900. 300 exTNFS-Conj k=4 |
k29method66 |
18650. 363 TNFS-base m k=1 |
18650. 382 TNFS-base m k=1 |
18650. 370 TNFS-base m k=1 |
k30method66 |
11470. 216 exTNFS-Conj k=3 |
17230. 256 exTNFS-Conj k=5 |
22990. 297 exTNFS-Conj k=5 |
k31method66 |
14600. 347 TNFS-base m k=1 |
14600. 362 TNFS-base m k=1 |
21780. 410 TNFS-base m k=1 |
k32method66 |
8984. 355 exTNFS-Conj k=2 |
13010. 414 exTNFS-Conj k=2 |
17360. 305 exTNFS-Conj k=4 |
k33method66 |
10260. 267 exTNFS-Conj k=3 |
15790. 302 exTNFS-Conj k=3 |
20540. 328 exTNFS-Conj k=3 |
k34method66 |
12050. 355 exTNFS-Conj k=2 |
16280. 328 exTNFS-Conj k=2 |
21730. 391 exTNFS-Conj k=2 |
k35method66 |
20780. 381 exTNFS-Conj k=5 |
20780. 344 exTNFS-Conj k=5 |
31060. 390 exTNFS-Conj k=5 |
k37method66 |
20320. 404 TNFS-base m k=1 |
20320. 422 TNFS-base m k=1 |
22680. 442 TNFS-base m k=1 |
k38method66 |
13550. 355 exTNFS-Conj k=2 |
16800. 339 exTNFS-Conj k=2 |
22740. 405 exTNFS-Conj k=2 |
k39method66 |
12020. 273 exTNFS-Conj k=3 |
17420. 327 exTNFS-Conj k=3 |
23960. 361 exTNFS-Conj k=3 |
k40method66 |
14780. 371 exTNFS-Conj k=5 |
22490. 383 exTNFS-Conj k=5 |
29380. 406 exTNFS-Conj k=5 |
k41method66 |
33370. 485 TNFS-base m k=1 |
33370. 503 TNFS-base m k=1 |
33370. 522 TNFS-base m k=1 |
k42method66 |
14720. 297 exTNFS-Conj k=3 |
21440. 356 exTNFS-Conj k=3 |
28830. 398 exTNFS-Conj k=3 |
k43method66 |
17050. 399 TNFS-base m k=1 |
30940. 499 TNFS-base m k=1 |
30940. 516 TNFS-base m k=1 |
k44method66 |
14910. 335 exTNFS-Conj k=2 |
20640. 379 exTNFS-Conj k=2 |
26340. 453 exTNFS-Conj k=2 |
k45method66 |
15800. 357 exTNFS-Conj k=5 |
22980. 386 exTNFS-Conj k=5 |
31610. 431 exTNFS-Conj k=5 |
k46method66 |
14590. 335 exTNFS-Conj k=2 |
22560. 401 exTNFS-Conj k=2 |
29000. 476 exTNFS-Conj k=2 |
k47method66 |
26130. 466 TNFS-base m k=1 |
26130. 485 TNFS-base m k=1 |
29360. 523 TNFS-base m k=1 |
k48method66 |
13750. 304 exTNFS-Conj k=3 |
20660. 366 exTNFS-Conj k=3 |
27570. 404 exTNFS-Conj k=3 |
k49method66 |
29930. 496 TNFS-base m k=1 |
29930. 518 TNFS-base m k=1 |
34520. 566 TNFS-base m k=1 |
k50method66 |
21820. 433 exTNFS-Conj k=5 |
26420. 445 exTNFS-Conj k=2 |
33820. 459 exTNFS-Conj k=5 |
k52method66 |
20800. 387 exTNFS-Conj k=2 |
27500. 460 exTNFS-Conj k=2 |
33620. 491 exTNFS-Conj k=2 |
k53method66 |
48570. 582 TNFS-base m k=1 |
48570. 610 TNFS-base m k=1 |
48570. 631 TNFS-base m k=1 |
k9method67 |
4564. 266 SNFS k=1 |
6598. 198 exTNFS-GJL k=9 |
9081. 287 SNFS k=1 |
k12method67 |
5340. 148 SNFS k=1 |
8028. 199 SexTNFS k=2 |
20120. 256 SexTNFS k=2 |
k15method67 |
14520. 217 SNFS k=1 |
14520. 217 SNFS k=1 |
15810. 431 SNFS k=1 |
k18method67 |
7540. 192 exTNFS-Conj k=3 |
10900. 273 exTNFS-GJL k=1 |
14990. 276 exTNFS-Conj k=3 |
k21method67 |
12560. 259 exTNFS-Conj k=3 |
15190. 276 exTNFS-Conj k=3 |
19910. 312 exTNFS-Conj k=3 |
k24method67 |
9144. 324 SexTNFS k=2 |
13750. 357 SexTNFS k=2 |
18360. 499 SexTNFS k=2 |
k27method67 |
14360. 220 exTNFS-Conj k=5 |
18360. 315 exTNFS-Conj k=3 |
24770. 346 exTNFS-Conj k=3 |
k30method67 |
16510. 263 exTNFS-Conj k=6 |
20900. 292 exTNFS-Conj k=6 |
27760. 375 exTNFS-GJL k=6 |
k33method67 |
21880. 310 exTNFS-Conj k=3 |
21880. 352 exTNFS-Conj k=3 |
30310. 395 exTNFS-Conj k=3 |
k36method67 |
13540. 260 exTNFS-Conj k=3 |
19480. 348 exTNFS-Conj k=3 |
26820. 383 exTNFS-Conj k=3 |
k39method67 |
29090. 354 exTNFS-Conj k=3 |
29090. 406 exTNFS-Conj k=3 |
35570. 438 exTNFS-Conj k=3 |
k42method67 |
28040. 365 exTNFS-Conj k=3 |
28040. 423 exTNFS-Conj k=3 |
36340. 450 exTNFS-Conj k=3 |
k45method67 |
40400. 444 exTNFS-Conj k=3 |
40400. 522 exTNFS-Conj k=3 |
67960. 587 exTNFS-GJL k=6 |
k48method67 |
16760. 301 exTNFS-Conj k=3 |
25200. 426 exTNFS-Conj k=3 |
33650. 451 exTNFS-Conj k=3 |
k51method67 |
64050. 553 exTNFS-Conj k=3 |
64050. 725 exTNFS-Conj k=3 |
64050. 644 exTNFS-Conj k=3 |
k54method67 |
23080. 356 exTNFS-Conj k=3 |
32600. 499 exTNFS-Conj k=3 |
46960. 516 exTNFS-Conj k=6 |
BN |
5534. 128 SexTNFS k=2 |
13120. 192 SexTNFS k=3 |
25310. 256 SexTNFS k=3 |
k16methodKSS |
5281. 154 SNFS k=1 |
8161. 192 SNFS k=1 |
18240. 257 SNFS k=1 |
k18methodKSS |
6401. 156 SNFS k=1 |
11730. 195 SNFS k=1 |
26270. 260 SexTNFS k=2 |
k32methodKSS |
11030. 395 SNFS k=1 |
14870. 370 SNFS k=1 |
19470. 394 SNFS k=1 |
k36methodKSS |
11560. 370 exTNFS-GJL k=6 |
17110. 421 exTNFS-GJL k=6 |
22150. 521 exTNFS-GJL k=6 |
k40methodKSS |
15070. 411 exTNFS-GJL k=6 |
22080. 400 exTNFS-GJL k=8 |
29120. 531 exTNFS-GJL k=6 |
k11method620 |
5258. 128 SNFS k=1 |
16870. 192 SNFS k=1 |
32980. 256 SNFS k=1 |
k15method620 |
7650. 171 SNFS k=1 |
11490. 209 SNFS k=1 |
33330. 256 SNFS k=1 |
k26method624 |
8546. 191 SNFS k=1 |
12180. 212 SNFS k=1 |
17270. 260 SNFS k=1 |
k34method624 |
10740. 289 SNFS k=1 |
15650. 270 SNFS k=1 |
20490. 315 SNFS k=1 |
k3MNT |
4127. 128 exTNFS-Conj k=3 |
9191. 192 exTNFS-Conj k=3 |
16120. 256 SexTNFS k=3 |
k4MNT |
4240. 128 exTNFS-Conj k=4 |
10520. 192 exTNFS-Conj k=4 |
19040. 256 exTNFS-Conj k=4 |
k6MNT |
4620. 128 SexTNFS k=3 |
15000. 192 SexTNFS k=6 |
20760. 256 exTNFS-Conj k=6 |
k9methodLZZW |
5314. 128 SNFS k=1 |
11510. 192 SNFS k=1 |
20650. 256 SNFS k=1 |
k12methodDCC |
10790. 177 SexTNFS k=2 |
14390. 199 SexTNFS k=2 |
25910. 262 SexTNFS k=2 |
k15methodDCC |
5745. 285 SNFS k=1 |
8985. 192 exTNFS-Conj k=3 |
20140. 256 exTNFS-Conj k=5 |
k24methodDCC |
7656. 196 SNFS k=1 |
11500. 248 exTNFS-Conj k=3 |
15340. 269 exTNFS-Conj k=6 |
k48methodDCC |
13780. 352 exTNFS-Conj k=3 |
20690. 523 exTNFS-Conj k=6 |
27600. 560 exTNFS-Conj k=6 |
k2rho1 |
3460. 129 exTNFS-Conj k=2 |
7200. 195 exTNFS-Conj k=2 |
12200. 259 exTNFS-Conj k=2 |