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