Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/ordinal2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal2__53_27.min1.thm12017-02-06 12:46 605  
[ ]ordinal2__54_21.min1.thm12017-02-06 12:46 670  
[ ]ordinal2__59_15.min1.thm12017-02-06 12:46 416  
[ ]ordinal2__60_21.min1.thm12017-02-06 12:46 726  
[ ]ordinal2__62_19.min1.thm12017-02-06 12:46 605  
[ ]ordinal2__70_27.min1.thm12017-02-06 12:46 563  
[ ]ordinal2__71_17.min1.thm12017-02-06 12:46 829  
[ ]ordinal2__83_18.min1.thm12017-02-06 12:46 516  
[ ]ordinal2__84_30.min1.thm12017-02-06 12:46 683  
[ ]ordinal2__85_13.min1.thm12017-02-06 12:46 674  
[ ]ordinal2__86_19.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__88_16.min1.thm12017-02-06 12:46 423  
[ ]ordinal2__97_34.min1.thm12017-02-06 12:46 675  
[ ]ordinal2__98_20.min1.thm12017-02-06 12:46 462  
[ ]ordinal2__99_16.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal2__100_14.min1.thm12017-02-06 12:46 909  
[ ]ordinal2__106_23.min1.thm12017-02-06 12:46 221  
[ ]ordinal2__116_13.min1.thm12017-02-06 12:46 401  
[ ]ordinal2__116_13.min1.thm1.tptp2017-02-06 16:47 346  
[ ]ordinal2__117_11.min1.thm12017-02-06 12:46 486  
[ ]ordinal2__118_17.min1.thm12017-02-06 12:46 803  
[ ]ordinal2__125_11.min1.thm12017-02-06 12:46 130  
[ ]ordinal2__129_40.min1.thm12017-02-06 12:46 583  
[ ]ordinal2__134_34.min1.thm12017-02-06 12:46 328  
[ ]ordinal2__140_34.min1.thm12017-02-06 12:46 448  
[ ]ordinal2__141_17.min1.thm12017-02-06 12:46 409  
[ ]ordinal2__141_17.min1.thm1.tptp2017-02-06 16:47 357  
[ ]ordinal2__151_31.min1.thm12017-02-06 12:46 412  
[ ]ordinal2__151_31.min1.thm1.tptp2017-02-06 16:47 347  
[ ]ordinal2__152_17.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__158_35.min1.thm12017-02-06 12:46 364  
[ ]ordinal2__168_53.min1.thm12017-02-06 12:46 477  
[ ]ordinal2__168_53.min1.thm1.tptp2017-02-06 16:47 430  
[ ]ordinal2__169_17.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__177_53.min1.thm12017-02-06 12:46 477  
[ ]ordinal2__177_53.min1.thm1.tptp2017-02-06 16:47 430  
[ ]ordinal2__178_17.min1.thm12017-02-06 12:46 444  
[ ]ordinal2__178_17.min1.thm1.tptp2017-02-06 16:47 388  
[ ]ordinal2__191_24.min1.thm12017-02-06 12:46 600  
[ ]ordinal2__193_19.min1.thm12017-02-06 12:46 563  
[ ]ordinal2__206_43.min1.thm12017-02-06 12:46 340  
[ ]ordinal2__206_43.min1.thm1.tptp2017-02-06 16:47 259  
[ ]ordinal2__207_17.min1.thm12017-02-06 12:46 607  
[ ]ordinal2__208_23.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__211_21.min1.thm12017-02-06 12:46 460  
[ ]ordinal2__211_21.min1.thm1.tptp2017-02-06 16:47 390  
[ ]ordinal2__213_19.min1.thm12017-02-06 12:46 648  
[ ]ordinal2__215_17.min1.thm12017-02-06 12:46 677  
[ ]ordinal2__223_18.min1.thm12017-02-06 12:46 360  
[ ]ordinal2__234_37.min1.thm12017-02-06 12:46 321  
[ ]ordinal2__235_19.min1.thm12017-02-06 12:46 397  
[ ]ordinal2__235_19.min1.thm1.tptp2017-02-06 16:47 330  
[ ]ordinal2__243_37.min1.thm12017-02-06 12:46 321  
[ ]ordinal2__244_48.min1.thm12017-02-06 12:46 393  
[ ]ordinal2__244_48.min1.thm1.tptp2017-02-06 16:47 326  
[ ]ordinal2__250_41.min1.thm12017-02-06 12:46 391  
[ ]ordinal2__250_41.min1.thm1.tptp2017-02-06 16:47 326  
[ ]ordinal2__251_15.min1.thm12017-02-06 12:46 842  
[ ]ordinal2__252_21.min1.thm12017-02-06 12:46 739  
[ ]ordinal2__255_16.min1.thm12017-02-06 12:46 576  
[ ]ordinal2__264_25.min1.thm12017-02-06 12:46 758  
[ ]ordinal2__272_19.min1.thm12017-02-06 12:46 446  
[ ]ordinal2__273_17.min1.thm12017-02-06 12:46 704  
[ ]ordinal2__289_39.min1.thm12017-02-06 12:46 375  
[ ]ordinal2__289_39.min1.thm1.tptp2017-02-06 16:47 310  
[ ]ordinal2__290_13.min1.thm12017-02-06 12:46 463  
[ ]ordinal2__291_18.min1.thm12017-02-06 12:46 444  
[ ]ordinal2__292_19.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__294_17.min1.thm12017-02-06 12:46 664  
[ ]ordinal2__302_17.min1.thm12017-02-06 12:46 565  
[ ]ordinal2__304_22.min1.thm12017-02-06 12:46 372  
[ ]ordinal2__304_22.min1.thm1.tptp2017-02-06 16:47 294  
[ ]ordinal2__305_17.min1.thm12017-02-06 12:46 772  
[ ]ordinal2__314_16.min1.thm12017-02-06 12:46 318  
[ ]ordinal2__314_16.min1.thm1.tptp2017-02-06 16:47 237  
[ ]ordinal2__317_16.min1.thm12017-02-06 12:46 538  
[ ]ordinal2__327_41.min1.thm12017-02-06 12:46 383  
[ ]ordinal2__327_41.min1.thm1.tptp2017-02-06 16:47 318  
[ ]ordinal2__328_15.min1.thm12017-02-06 12:46 397  
[ ]ordinal2__328_15.min1.thm1.tptp2017-02-06 16:47 332  
[ ]ordinal2__329_20.min1.thm12017-02-06 12:46 581  
[ ]ordinal2__330_21.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__333_19.min1.thm12017-02-06 12:46 378  
[ ]ordinal2__333_19.min1.thm1.tptp2017-02-06 16:47 297  
[ ]ordinal2__335_15.min1.thm12017-02-06 12:46 657  
[ ]ordinal2__342_47.min1.thm12017-02-06 12:46 542  
[ ]ordinal2__343_17.min1.thm12017-02-06 12:46 807  
[ ]ordinal2__351_16.min1.thm12017-02-06 12:46 446  
[ ]ordinal2__352_18.min1.thm12017-02-06 12:46 451  
[ ]ordinal2__352_18.min1.thm1.tptp2017-02-06 16:47 397  
[ ]ordinal2__353_17.min1.thm12017-02-06 12:46 864  
[ ]ordinal2__366_39.min1.thm12017-02-06 12:46 375  
[ ]ordinal2__366_39.min1.thm1.tptp2017-02-06 16:47 310  
[ ]ordinal2__367_13.min1.thm12017-02-06 12:46 463  
[ ]ordinal2__368_19.min1.thm12017-02-06 12:46 514  
[ ]ordinal2__370_17.min1.thm12017-02-06 12:46 594  
[ ]ordinal2__379_33.min1.thm12017-02-06 12:46 519  
[ ]ordinal2__380_20.min1.thm12017-02-06 12:46 525  
[ ]ordinal2__389_19.min1.thm12017-02-06 12:46 372  
[ ]ordinal2__389_19.min1.thm1.tptp2017-02-06 16:47 294  
[ ]ordinal2__390_18.min1.thm12017-02-06 12:46 451  
[ ]ordinal2__390_18.min1.thm1.tptp2017-02-06 16:47 397  
[ ]ordinal2__391_23.min1.thm12017-02-06 12:46 499  
[ ]ordinal2__392_17.min1.thm12017-02-06 12:46 555  
[ ]ordinal2__402_22.min1.thm12017-02-06 12:46 411  
[ ]ordinal2__402_22.min1.thm1.tptp2017-02-06 16:47 346  
[ ]ordinal2__403_17.min1.thm12017-02-06 12:46 343  
[ ]ordinal2__403_17.min1.thm1.tptp2017-02-06 16:47 278  
[ ]ordinal2__404_19.min1.thm12017-02-06 12:46 398  
[ ]ordinal2__407_17.min1.thm12017-02-06 12:46 272  
[ ]ordinal2__409_20.min1.thm12017-02-06 12:46 472  
[ ]ordinal2__412_24.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__414_17.min1.thm12017-02-06 12:46 921  
[ ]ordinal2__424_33.min1.thm12017-02-06 12:46 649  
[ ]ordinal2__425_18.min1.thm12017-02-06 12:46 451  
[ ]ordinal2__425_18.min1.thm1.tptp2017-02-06 16:47 397  
[ ]ordinal2__426_20.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__428_17.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__429_11.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__430_17.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__439_31.min1.thm12017-02-06 12:46 675  
[ ]ordinal2__441_21.min1.thm12017-02-06 12:46 527  
[ ]ordinal2__444_35.min1.thm12017-02-06 12:46 679  
[ ]ordinal2__445_18.min1.thm12017-02-06 12:46 307  
[ ]ordinal2__446_14.min1.thm12017-02-06 12:46 351  
[ ]ordinal2__446_14.min1.thm1.tptp2017-02-06 16:47 274  
[ ]ordinal2__463_18.min1.thm12017-02-06 12:46 459  
[ ]ordinal2__463_18.min1.thm1.tptp2017-02-06 16:47 385  
[ ]ordinal2__478_18.min1.thm12017-02-06 12:46 491  
[ ]ordinal2__478_18.min1.thm1.tptp2017-02-06 16:47 417  
[ ]ordinal2__489_17.min1.thm12017-02-06 12:46 496  
[ ]ordinal2__489_17.min1.thm1.tptp2017-02-06 16:47 437  
[ ]ordinal2__493_26.min1.thm12017-02-06 12:46 503  
[ ]ordinal2__493_26.min1.thm1.tptp2017-02-06 16:47 425  
[ ]ordinal2__494_21.min1.thm12017-02-06 12:46 557  
[ ]ordinal2__496_16.min1.thm12017-02-06 12:46 278  
[ ]ordinal2__507_21.min1.thm12017-02-06 12:46 638  
[ ]ordinal2__508_24.min1.thm12017-02-06 12:46 492  
[ ]ordinal2__508_24.min1.thm1.tptp2017-02-06 16:47 433  
[ ]ordinal2__509_17.min1.thm12017-02-06 12:46 708  
[ ]ordinal2__517_32.min1.thm12017-02-06 12:46 247  
[ ]ordinal2__518_19.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__535_14.min1.thm12017-02-06 12:46 651  
[ ]ordinal2__536_30.min1.thm12017-02-06 12:46 687  
[ ]ordinal2__537_17.min1.thm12017-02-06 12:46 657  
[ ]ordinal2__539_20.min1.thm12017-02-06 12:46 812  
[ ]ordinal2__540_28.min1.thm12017-02-06 12:46 487  
[ ]ordinal2__540_28.min1.thm1.tptp2017-02-06 16:47 433  
[ ]ordinal2__541_19.min1.thm12017-02-06 12:46 948  
[ ]ordinal2__543_39.min1.thm12017-02-06 12:46 452  
[ ]ordinal2__543_39.min1.thm1.tptp2017-02-06 16:47 364  
[ ]ordinal2__545_22.min1.thm12017-02-06 12:46 511  
[ ]ordinal2__548_17.min1.thm12017-02-06 12:46 695  
[ ]ordinal2__569_40.min1.thm12017-02-06 12:46 366  
[ ]ordinal2__571_16.min1.thm12017-02-06 12:46 377  
[ ]ordinal2__571_16.min1.thm1.tptp2017-02-06 16:47 313  
[ ]ordinal2__573_45.min1.thm12017-02-06 12:46 915  
[ ]ordinal2__574_17.min1.thm12017-02-06 12:46 595  
[ ]ordinal2__577_36.min1.thm12017-02-06 12:46 686  
[ ]ordinal2__578_16.min1.thm12017-02-06 12:46 423  
[ ]ordinal2__578_16.min1.thm1.tptp2017-02-06 16:47 346  
[ ]ordinal2__580_16.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__582_41.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__587_22.min1.thm12017-02-06 12:46 748  
[ ]ordinal2__588_28.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal2__594_44.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__595_32.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__600_45.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__601_50.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__602_28.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__608_25.min1.thm12017-02-06 12:46 599  
[ ]ordinal2__609_55.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__640_32.min1.thm12017-02-06 12:46 238  
[ ]ordinal2__641_35.min1.thm12017-02-06 12:46 382  
[ ]ordinal2__642_18.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__644_8.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__645_57.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal2__646_35.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__647_35.min1.thm12017-02-06 12:46 383  
[ ]ordinal2__648_35.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__649_57.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal2__651_8.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__652_18.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__654_18.min1.thm12017-02-06 12:46 430  
[ ]ordinal2__666_34.min1.thm12017-02-06 12:46 629  
[ ]ordinal2__667_23.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__672_39.min1.thm12017-02-06 12:46 506  
[ ]ordinal2__674_16.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal2__676_8.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal2__676_8.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]ordinal2__678_21.min1.thm12017-02-06 12:46 633  
[ ]ordinal2__685_38.min1.thm12017-02-06 12:46 506  
[ ]ordinal2__687_19.min1.thm12017-02-06 12:46 698  
[ ]ordinal2__688_39.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__695_33.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__696_24.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__705_33.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__706_24.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__715_33.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__716_24.min1.thm12017-02-06 12:46 577  
[ ]ordinal2__719_21.min1.thm12017-02-06 12:46 2.5K 
[ ]ordinal2__740_24.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal2__743_24.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal2__744_16.min1.thm12017-02-06 12:46 708  
[ ]ordinal2__745_23.min1.thm12017-02-06 12:46 817  
[ ]ordinal2__747_21.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal2__752_37.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__754_21.min1.thm12017-02-06 12:46 822  
[ ]ordinal2__754_21.min1.thm1.tptp2017-02-06 16:47 794  
[ ]ordinal2__760_39.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal2__761_18.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__774_22.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__776_18.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal2__781_43.min1.thm12017-02-06 12:46 534  
[ ]ordinal2__782_20.min1.thm12017-02-06 12:46 773  
[ ]ordinal2__787_71.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal2__793_22.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal2__794_31.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal2__795_47.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal2__801_28.min1.thm12017-02-06 12:46 367  
[ ]ordinal2__801_28.min1.thm1.tptp2017-02-06 16:47 287  
[ ]ordinal2__804_55.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal2__806_29.min1.thm12017-02-06 12:46 2.1K 
[ ]ordinal2__812_22.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal2__814_26.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__815_21.min1.thm12017-02-06 12:46 905  
[ ]ordinal2__816_36.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal2__817_27.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__821_23.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__822_24.min1.thm12017-02-06 12:46 684  
[ ]ordinal2__826_31.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal2__829_31.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal2__830_20.min1.thm12017-02-06 12:46 673  
[ ]ordinal2__831_33.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal2__833_31.min1.thm12017-02-06 12:46 3.1K 
[ ]ordinal2__835_21.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal2__836_28.min1.thm12017-02-06 12:46 932  
[ ]ordinal2__837_23.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal2__849_67.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal2__850_21.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__853_28.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal2__854_14.min1.thm12017-02-06 12:46 529  
[ ]ordinal2__855_21.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__863_36.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal2__864_19.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal2__867_14.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__887_24.min1.thm12017-02-06 12:46 811  
[ ]ordinal2__892_18.min1.thm12017-02-06 12:46 337  
[ ]ordinal2__892_18.min1.thm1.tptp2017-02-06 16:47 257  
[ ]ordinal2__894_18.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__895_28.min1.thm12017-02-06 12:46 757  
[ ]ordinal2__896_19.min1.thm12017-02-06 12:46 2.1K 
[ ]ordinal2__904_18.min1.thm12017-02-06 12:46 949  
[ ]ordinal2__906_19.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__907_18.min1.thm12017-02-06 12:46 718  
[ ]ordinal2__908_19.min1.thm12017-02-06 12:46 2.2K 
[ ]ordinal2__910_14.min1.thm12017-02-06 12:46 956  
[ ]ordinal2__911_22.min1.thm12017-02-06 12:46 824  
[ ]ordinal2__913_36.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__914_22.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__915_36.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal2__916_24.min1.thm12017-02-06 12:46 853  
[ ]ordinal2__939_41.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__940_18.min1.thm12017-02-06 12:46 949  
[ ]ordinal2__941_26.min1.thm12017-02-06 12:46 823  
[ ]ordinal2__942_19.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal2__952_41.min1.thm12017-02-06 12:46 329  
[ ]ordinal2__960_42.min1.thm12017-02-06 12:46 330  
[ ]ordinal2__962_17.min1.thm12017-02-06 12:46 403  
[ ]ordinal2__977_17.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal2__1001_27.min1.thm12017-02-06 12:46 836  
[ ]ordinal2__1002_40.min1.thm12017-02-06 12:46 419  
[ ]ordinal2__1002_40.min1.thm1.tptp2017-02-06 16:47 339  
[ ]ordinal2__1003_20.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__1004_17.min1.thm12017-02-06 12:46 949  
[ ]ordinal2__1018_22.min1.thm12017-02-06 12:46 327  
[ ]ordinal2__1018_22.min1.thm1.tptp2017-02-06 16:47 247  
[ ]ordinal2__1034_37.min1.thm12017-02-06 12:46 486  
[ ]ordinal2__1035_23.min1.thm12017-02-06 12:46 707  
[ ]ordinal2__1036_17.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__1037_17.min1.thm12017-02-06 12:46 593  
[ ]ordinal2__1039_17.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__1040_22.min1.thm12017-02-06 12:46 870  
[ ]ordinal2__1042_28.min1.thm12017-02-06 12:46 852  
[ ]ordinal2__1043_17.min1.thm12017-02-06 12:46 806  
[ ]ordinal2__1066_14.min1.thm12017-02-06 12:46 651  
[ ]ordinal2__1067_30.min1.thm12017-02-06 12:46 687  
[ ]ordinal2__1072_27.min1.thm12017-02-06 12:46 611  
[ ]ordinal2__1073_28.min1.thm12017-02-06 12:46 960  
[ ]ordinal2__1074_27.min1.thm12017-02-06 12:46 609  
[ ]ordinal2__1076_29.min1.thm12017-02-06 12:46 487  
[ ]ordinal2__1076_29.min1.thm1.tptp2017-02-06 16:47 433  
[ ]ordinal2__1080_35.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__1081_27.min1.thm12017-02-06 12:46 648  
[ ]ordinal2__1083_25.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal2__1084_19.min1.thm12017-02-06 12:46 949  
[ ]ordinal2__1086_39.min1.thm12017-02-06 12:46 452  
[ ]ordinal2__1086_39.min1.thm1.tptp2017-02-06 16:47 364  
[ ]ordinal2__1088_57.min1.thm12017-02-06 12:46 639  
[ ]ordinal2__1092_34.min1.thm12017-02-06 12:46 591  
[ ]ordinal2__1093_28.min1.thm12017-02-06 12:46 281  
[ ]ordinal2__1094_13.min1.thm12017-02-06 12:46 329  
[ ]ordinal2__1094_13.min1.thm1.tptp2017-02-06 16:47 252  
[ ]ordinal2__1095_19.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__1097_16.min1.thm12017-02-06 12:46 667  
[ ]ordinal2__1118_25.min1.thm12017-02-06 12:46 848  
[ ]ordinal2__1123_18.min1.thm12017-02-06 12:46 337  
[ ]ordinal2__1123_18.min1.thm1.tptp2017-02-06 16:47 257  
[ ]ordinal2__1125_20.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__1126_30.min1.thm12017-02-06 12:46 794  
[ ]ordinal2__1127_19.min1.thm12017-02-06 12:46 2.1K 
[ ]ordinal2__1136_18.min1.thm12017-02-06 12:46 949  
[ ]ordinal2__1138_21.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__1139_20.min1.thm12017-02-06 12:46 755  
[ ]ordinal2__1140_19.min1.thm12017-02-06 12:46 2.2K 
[ ]ordinal2__1142_14.min1.thm12017-02-06 12:46 956  
[ ]ordinal2__1143_22.min1.thm12017-02-06 12:46 824  
[ ]ordinal2__1145_38.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal2__1146_23.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__1147_38.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal2__1148_26.min1.thm12017-02-06 12:46 892  
[ ]ordinal2__1167_35.min1.thm12017-02-06 12:46 843  
[ ]ordinal2__1173_43.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__1174_18.min1.thm12017-02-06 12:46 952  
[ ]ordinal2__1175_26.min1.thm12017-02-06 12:46 824  
[ ]ordinal2__1176_19.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal2__1187_41.min1.thm12017-02-06 12:46 332  
[ ]ordinal2__1192_35.min1.thm12017-02-06 12:46 591  
[ ]ordinal2__1193_34.min1.thm12017-02-06 12:46 421  
[ ]ordinal2__1193_34.min1.thm1.tptp2017-02-06 16:47 342  
[ ]ordinal2__1194_14.min1.thm12017-02-06 12:46 329  
[ ]ordinal2__1194_14.min1.thm1.tptp2017-02-06 16:47 252  
[ ]ordinal2__1195_19.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__1205_10.min1.thm12017-02-06 12:46 627  
[ ]ordinal2__1205_10.min1.thm1.tptp2017-02-06 16:47 590  
[ ]ordinal2__1207_10.min1.thm12017-02-06 12:46 627  
[ ]ordinal2__1207_10.min1.thm1.tptp2017-02-06 16:47 590  
[ ]ordinal2__1212_35.min1.thm12017-02-06 12:46 591  
[ ]ordinal2__1213_34.min1.thm12017-02-06 12:46 421  
[ ]ordinal2__1213_34.min1.thm1.tptp2017-02-06 16:47 342  
[ ]ordinal2__1214_14.min1.thm12017-02-06 12:46 329  
[ ]ordinal2__1214_14.min1.thm1.tptp2017-02-06 16:47 252  
[ ]ordinal2__1215_19.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__1217_42.min1.thm12017-02-06 12:46 333  
[ ]ordinal2__1219_17.min1.thm12017-02-06 12:46 403  
[ ]ordinal2__1234_18.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal2__1255_68.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__1258_28.min1.thm12017-02-06 12:46 838  
[ ]ordinal2__1259_40.min1.thm12017-02-06 12:46 419  
[ ]ordinal2__1259_40.min1.thm1.tptp2017-02-06 16:47 339  
[ ]ordinal2__1260_21.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__1261_17.min1.thm12017-02-06 12:46 955  
[ ]ordinal2__1276_22.min1.thm12017-02-06 12:46 327  
[ ]ordinal2__1276_22.min1.thm1.tptp2017-02-06 16:47 247  
[ ]ordinal2__1286_68.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__1292_37.min1.thm12017-02-06 12:46 486  
[ ]ordinal2__1293_25.min1.thm12017-02-06 12:46 740  
[ ]ordinal2__1294_17.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal2__1295_18.min1.thm12017-02-06 12:46 593  
[ ]ordinal2__1297_18.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__1298_23.min1.thm12017-02-06 12:46 903  
[ ]ordinal2__1300_30.min1.thm12017-02-06 12:46 852  
[ ]ordinal2__1301_17.min1.thm12017-02-06 12:46 806  
[ ]ordinal2__1308_13.min1.thm12017-02-06 12:46 248  
[ ]ordinal2__1311_13.min1.thm12017-02-06 12:46 328  
[ ]ordinal2__1311_13.min1.thm1.tptp2017-02-06 16:47 248  
[ ]ordinal2__1315_39.min1.thm12017-02-06 12:46 621  
[ ]ordinal2__1329_18.min1.thm12017-02-06 12:46 772  
[ ]ordinal2__1344_38.min1.thm12017-02-06 12:46 685  
[ ]ordinal2__1345_39.min1.thm12017-02-06 12:46 809  
[ ]ordinal2__1346_27.min1.thm12017-02-06 12:46 956  
[ ]ordinal2__1348_19.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__1360_18.min1.thm12017-02-06 12:46 852  
[ ]ordinal2__1360_18.min1.thm1.tptp2017-02-06 16:47 801  
[ ]ordinal2__1375_38.min1.thm12017-02-06 12:46 685  
[ ]ordinal2__1376_39.min1.thm12017-02-06 12:46 889  
[ ]ordinal2__1377_27.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__1379_19.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__1391_13.min1.thm12017-02-06 12:46 131  
[ ]ordinal2__1401_14.min1.thm12017-02-06 12:46 324  
[ ]ordinal2__1401_14.min1.thm1.tptp2017-02-06 16:47 243  
[ ]ordinal2__1414_29.min1.thm12017-02-06 12:46 445  
[ ]ordinal2__1424_56.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__1424_56.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]ordinal2__1425_24.min1.thm12017-02-06 12:46 541  
[ ]ordinal2__1427_40.min1.thm12017-02-06 12:46 660  
[ ]ordinal2__1428_20.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__1435_22.min1.thm12017-02-06 12:46 532  
[ ]ordinal2__1437_38.min1.thm12017-02-06 12:46 644  
[ ]ordinal2__1438_24.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal2__1440_32.min1.thm12017-02-06 12:46 598  
[ ]ordinal2__1441_19.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__1445_27.min1.thm12017-02-06 12:46 443  
[ ]ordinal2__1447_32.min1.thm12017-02-06 12:46 593  
[ ]ordinal2__1456_54.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__1456_54.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]ordinal2__1457_22.min1.thm12017-02-06 12:46 523  
[ ]ordinal2__1459_38.min1.thm12017-02-06 12:46 628  
[ ]ordinal2__1460_18.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__1467_20.min1.thm12017-02-06 12:46 514  
[ ]ordinal2__1469_37.min1.thm12017-02-06 12:46 612  
[ ]ordinal2__1470_22.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__1472_31.min1.thm12017-02-06 12:46 588  
[ ]ordinal2__1473_17.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__1482_13.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__1545_11.min1.thm12017-02-06 12:46 346  
[ ]ordinal2__1545_11.min1.thm1.tptp2017-02-06 16:47 279  
[ ]ordinal2__1594_14.min1.thm12017-02-06 12:46 537  
[ ]ordinal2__1619_41.min1.thm12017-02-06 12:46 594  
[ ]ordinal2__1637_19.min1.thm12017-02-06 12:46 692  
[ ]ordinal2__1638_34.min1.thm12017-02-06 12:46 728  
[ ]ordinal2__1639_20.min1.thm12017-02-06 12:46 788  
[ ]ordinal2__1640_17.min1.thm12017-02-06 12:46 802  
[ ]ordinal2__1641_23.min1.thm12017-02-06 12:46 660  
[ ]ordinal2__1646_38.min1.thm12017-02-06 12:46 492  
[ ]ordinal2__1647_33.min1.thm12017-02-06 12:46 865  
[ ]ordinal2__1648_21.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__1650_21.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__1651_19.min1.thm12017-02-06 12:46 503  
[ ]ordinal2__1651_19.min1.thm1.tptp2017-02-06 16:47 430  
[ ]ordinal2__1652_19.min1.thm12017-02-06 12:46 539  
[ ]ordinal2__1654_13.min1.thm12017-02-06 12:46 386  
[ ]ordinal2__1656_14.min1.thm12017-02-06 12:46 336  
[ ]ordinal2__1656_14.min1.thm1.tptp2017-02-06 16:47 259  
[ ]ordinal2__1659_16.min1.thm12017-02-06 12:46 446  
[ ]ordinal2__1664_28.min1.thm12017-02-06 12:46 695  
[ ]ordinal2__1665_16.min1.thm12017-02-06 12:46 442  
[ ]ordinal2__1683_27.min1.thm12017-02-06 12:46 846  
[ ]ordinal2__1684_62.min1.thm12017-02-06 12:46 811  
[ ]ordinal2__1686_23.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal2__1691_37.min1.thm12017-02-06 12:46 710  
[ ]ordinal2__1692_38.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal2__1693_23.min1.thm12017-02-06 12:46 846  
[ ]ordinal2__1695_21.min1.thm12017-02-06 12:46 619  
[ ]ordinal2__1695_21.min1.thm1.tptp2017-02-06 16:47 530  
[ ]ordinal2__1701_20.min1.thm12017-02-06 12:46 584  
[ ]ordinal2__1703_23.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__1705_32.min1.thm12017-02-06 12:46 599  
[ ]ordinal2__1706_27.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal2__1707_21.min1.thm12017-02-06 12:46 519  
[ ]ordinal2__1707_21.min1.thm1.tptp2017-02-06 16:47 446  
[ ]ordinal2__1708_21.min1.thm12017-02-06 12:46 848  
[ ]ordinal2__1710_19.min1.thm12017-02-06 12:46 717  
[ ]ordinal2__1713_14.min1.thm12017-02-06 12:46 518  
[ ]ordinal2__1713_14.min1.thm1.tptp2017-02-06 16:47 441  
[ ]ordinal2__1723_18.min1.thm12017-02-06 12:46 671  
[ ]ordinal2__1724_28.min1.thm12017-02-06 12:46 887  
[ ]ordinal2__1725_19.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__1727_14.min1.thm12017-02-06 12:46 810  
[ ]ordinal2__1743_30.min1.thm12017-02-06 12:46 691  
[ ]ordinal2__1744_49.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__1745_21.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__1759_19.min1.thm12017-02-06 12:46 708  
[ ]ordinal2__1760_34.min1.thm12017-02-06 12:46 740  
[ ]ordinal2__1761_27.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__1762_38.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__1763_28.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal2__1765_27.min1.thm12017-02-06 12:46 599  
[ ]ordinal2__1766_27.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__1767_21.min1.thm12017-02-06 12:46 519  
[ ]ordinal2__1767_21.min1.thm1.tptp2017-02-06 16:47 446  
[ ]ordinal2__1768_21.min1.thm12017-02-06 12:46 950  
[ ]ordinal2__1773_24.min1.thm12017-02-06 12:46 410  
[ ]ordinal2__1774_21.min1.thm12017-02-06 12:46 634  
[ ]ordinal2__1776_19.min1.thm12017-02-06 12:46 938  
[ ]ordinal2__1779_14.min1.thm12017-02-06 12:46 430  
[ ]ordinal2__1779_14.min1.thm1.tptp2017-02-06 16:47 349  
[ ]ordinal2__1804_14.min1.thm12017-02-06 12:46 571  
[ ]ordinal2__1833_34.min1.thm12017-02-06 12:46 739  
[ ]ordinal2__1834_14.min1.thm12017-02-06 12:46 390  
[ ]ordinal2__1854_19.min1.thm12017-02-06 12:46 692  
[ ]ordinal2__1855_34.min1.thm12017-02-06 12:46 728  
[ ]ordinal2__1856_20.min1.thm12017-02-06 12:46 788  
[ ]ordinal2__1857_18.min1.thm12017-02-06 12:46 801  
[ ]ordinal2__1858_23.min1.thm12017-02-06 12:46 748  
[ ]ordinal2__1863_15.min1.thm12017-02-06 12:46 740  
[ ]ordinal2__1864_13.min1.thm12017-02-06 12:46 746  
[ ]ordinal2__1866_16.min1.thm12017-02-06 12:46 580  
[ ]ordinal2__1868_16.min1.thm12017-02-06 12:46 651  
[ ]ordinal2__1869_22.min1.thm12017-02-06 12:46 399  
[ ]ordinal2__1870_22.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__1871_21.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__1874_28.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__1875_27.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal2__1876_25.min1.thm12017-02-06 12:46 525  
[ ]ordinal2__1876_25.min1.thm1.tptp2017-02-06 16:47 452  
[ ]ordinal2__1877_19.min1.thm12017-02-06 12:46 712  
[ ]ordinal2__1879_13.min1.thm12017-02-06 12:46 395  
[ ]ordinal2__1881_14.min1.thm12017-02-06 12:46 341  
[ ]ordinal2__1881_14.min1.thm1.tptp2017-02-06 16:47 264  
[ ]ordinal2__1888_27.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__1889_17.min1.thm12017-02-06 12:46 400  
[ ]ordinal2__1889_17.min1.thm1.tptp2017-02-06 16:47 323  
[ ]ordinal2__1890_11.min1.thm12017-02-06 12:46 335  
[ ]ordinal2__1890_11.min1.thm1.tptp2017-02-06 16:47 258  
[ ]ordinal2__1909_42.min1.thm12017-02-06 12:46 508  
[ ]ordinal2__1910_27.min1.thm12017-02-06 12:46 708  
[ ]ordinal2__1911_22.min1.thm12017-02-06 12:46 827  
[ ]ordinal2__1912_25.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__1918_19.min1.thm12017-02-06 12:46 708  
[ ]ordinal2__1919_34.min1.thm12017-02-06 12:46 740  
[ ]ordinal2__1920_28.min1.thm12017-02-06 12:46 822  
[ ]ordinal2__1921_17.min1.thm12017-02-06 12:46 930  
[ ]ordinal2__1922_23.min1.thm12017-02-06 12:46 828  
[ ]ordinal2__1924_27.min1.thm12017-02-06 12:46 599  
[ ]ordinal2__1925_39.min1.thm12017-02-06 12:46 2.0K 
[ ]ordinal2__1926_27.min1.thm12017-02-06 12:46 541  
[ ]ordinal2__1926_27.min1.thm1.tptp2017-02-06 16:47 468  
[ ]ordinal2__1927_35.min1.thm12017-02-06 12:46 680  
[ ]ordinal2__1928_15.min1.thm12017-02-06 12:46 316  
[ ]ordinal2__1928_15.min1.thm1.tptp2017-02-06 16:47 239  
[ ]ordinal2__1933_52.min1.thm12017-02-06 12:46 920  
[ ]ordinal2__1934_26.min1.thm12017-02-06 12:46 733  
[ ]ordinal2__1935_27.min1.thm12017-02-06 12:46 673  
[ ]ordinal2__1936_15.min1.thm12017-02-06 12:46 535  
[ ]ordinal2__1938_19.min1.thm12017-02-06 12:46 942  
[ ]ordinal2__1941_14.min1.thm12017-02-06 12:46 582  
[ ]ordinal2__1947_11.min1.thm12017-02-06 12:46 736  
[ ]ordinal2__1951_14.min1.thm12017-02-06 12:46 570  
[ ]ordinal2__1953_14.min1.thm12017-02-06 12:46 635  
[ ]ordinal2__1965_23.min1.thm12017-02-06 12:46 846  
[ ]ordinal2__1966_34.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__1967_54.min1.thm12017-02-06 12:46 971  
[ ]ordinal2__1968_23.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal2__1971_28.min1.thm12017-02-06 12:46 579  
[ ]ordinal2__1974_37.min1.thm12017-02-06 12:46 710  
[ ]ordinal2__1975_39.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal2__1976_23.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__1978_21.min1.thm12017-02-06 12:46 619  
[ ]ordinal2__1978_21.min1.thm1.tptp2017-02-06 16:47 530  
[ ]ordinal2__1981_52.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal2__1982_32.min1.thm12017-02-06 12:46 623  
[ ]ordinal2__1988_27.min1.thm12017-02-06 12:46 599  
[ ]ordinal2__1990_20.min1.thm12017-02-06 12:46 698  
[ ]ordinal2__1991_39.min1.thm12017-02-06 12:46 824  
[ ]ordinal2__1992_35.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__1994_40.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal2__1995_28.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal2__1996_27.min1.thm12017-02-06 12:46 541  
[ ]ordinal2__1996_27.min1.thm1.tptp2017-02-06 16:47 468  
[ ]ordinal2__1997_21.min1.thm12017-02-06 12:46 2.2K 
[ ]ordinal2__1999_19.min1.thm12017-02-06 12:46 717  
[ ]ordinal2__2002_14.min1.thm12017-02-06 12:46 523  
[ ]ordinal2__2002_14.min1.thm1.tptp2017-02-06 16:47 448  
[ ]ordinal2__2015_20.min1.thm12017-02-06 12:46 675  
[ ]ordinal2__2016_26.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__2017_21.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__2019_16.min1.thm12017-02-06 12:46 814  
[ ]ordinal2__2023_21.min1.thm12017-02-06 12:46 407  
[ ]ordinal2__2024_16.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__2026_17.min1.thm12017-02-06 12:46 569  
[ ]ordinal2__2026_17.min1.thm1.tptp2017-02-06 16:47 483  
[ ]ordinal2__2045_23.min1.thm12017-02-06 12:46 741  
[ ]ordinal2__2047_33.min1.thm12017-02-06 12:46 964  
[ ]ordinal2__2048_46.min1.thm12017-02-06 12:46 927  
[ ]ordinal2__2049_33.min1.thm12017-02-06 12:46 886  
[ ]ordinal2__2064_21.min1.thm12017-02-06 12:46 732  
[ ]ordinal2__2065_36.min1.thm12017-02-06 12:46 760  
[ ]ordinal2__2066_25.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__2067_36.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__2068_28.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal2__2071_29.min1.thm12017-02-06 12:46 833  
[ ]ordinal2__2072_29.min1.thm12017-02-06 12:46 611  
[ ]ordinal2__2074_30.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal2__2075_29.min1.thm12017-02-06 12:46 557  
[ ]ordinal2__2075_29.min1.thm1.tptp2017-02-06 16:47 484  
[ ]ordinal2__2076_41.min1.thm12017-02-06 12:46 402  
[ ]ordinal2__2076_41.min1.thm1.tptp2017-02-06 16:47 324  
[ ]ordinal2__2077_23.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal2__2081_25.min1.thm12017-02-06 12:46 423  
[ ]ordinal2__2082_20.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__2084_21.min1.thm12017-02-06 12:46 970  
[ ]ordinal2__2087_16.min1.thm12017-02-06 12:46 434  
[ ]ordinal2__2087_16.min1.thm1.tptp2017-02-06 16:47 353  
[ ]ordinal2__2089_17.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal2__2114_14.min1.thm12017-02-06 12:46 571  
[ ]ordinal2__2143_33.min1.thm12017-02-06 12:46 958  
[ ]ordinal2__2144_13.min1.thm12017-02-06 12:46 673  
[ ]ordinal2__2146_33.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__2147_14.min1.thm12017-02-06 12:46 388  
[ ]ordinal2__2147_14.min1.thm1.tptp2017-02-06 16:47 311  
[ ]ordinal2__2148_11.min1.thm12017-02-06 12:46 351  
[ ]ordinal2__2148_11.min1.thm1.tptp2017-02-06 16:47 280  
[ ]ordinal2__2165_17.min1.thm12017-02-06 12:46 684  
[ ]ordinal2__2166_32.min1.thm12017-02-06 12:46 720  
[ ]ordinal2__2167_21.min1.thm12017-02-06 12:46 750  
[ ]ordinal2__2168_15.min1.thm12017-02-06 12:46 753  
[ ]ordinal2__2169_21.min1.thm12017-02-06 12:46 331  
[ ]ordinal2__2169_21.min1.thm1.tptp2017-02-06 16:47 266  
[ ]ordinal2__2173_18.min1.thm12017-02-06 12:46 253  
[ ]ordinal2__2173_18.min1.thm1.tptp2017-02-06 16:47 164  
[ ]ordinal2__2176_29.min1.thm12017-02-06 12:46 437  
[ ]ordinal2__2178_25.min1.thm12017-02-06 12:46 959  
[ ]ordinal2__2183_23.min1.thm12017-02-06 12:46 670  
[ ]ordinal2__2184_36.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal2__2188_24.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal2__2189_19.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal2__2191_13.min1.thm12017-02-06 12:46 656  
[ ]ordinal2__2193_14.min1.thm12017-02-06 12:46 317  
[ ]ordinal2__2193_14.min1.thm1.tptp2017-02-06 16:47 240  
[ ]ordinal2__2212_19.min1.thm12017-02-06 12:46 831  
[ ]ordinal2__2214_32.min1.thm12017-02-06 12:46 230  
[ ]ordinal2__2215_24.min1.thm12017-02-06 12:46 669  
[ ]ordinal2__2216_20.min1.thm12017-02-06 12:46 864  
[ ]ordinal2__2223_32.min1.thm12017-02-06 12:46 683  
[ ]ordinal2__2224_24.min1.thm12017-02-06 12:46 450  
[ ]ordinal2__2224_24.min1.thm1.tptp2017-02-06 16:47 392  
[ ]ordinal2__2225_20.min1.thm12017-02-06 12:46 505  
[ ]ordinal2__2227_19.min1.thm12017-02-06 12:46 839  
[ ]ordinal2__2239_42.min1.thm12017-02-06 12:46 770  
[ ]ordinal2__2240_34.min1.thm12017-02-06 12:46 613  
[ ]ordinal2__2241_19.min1.thm12017-02-06 12:46 928  
[ ]ordinal2__2250_23.min1.thm12017-02-06 12:46 430  
[ ]ordinal2__2250_23.min1.thm1.tptp2017-02-06 16:47 364  
[ ]ordinal2__2251_19.min1.thm12017-02-06 12:46 445  
[ ]ordinal2__2265_19.min1.thm12017-02-06 12:46 292  
[ ]ordinal2__2266_46.min1.thm12017-02-06 12:46 678  
[ ]ordinal2__2267_19.min1.thm12017-02-06 12:46 293  
[ ]ordinal2__2268_45.min1.thm12017-02-06 12:46 885  
[ ]ordinal2__2270_36.min1.thm12017-02-06 12:46 587  
[ ]ordinal2__2277_17.min1.thm12017-02-06 12:46 678  
[ ]ordinal2__2278_21.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal2__2280_18.min1.thm12017-02-06 12:46 912  
[ ]ordinal2__2290_42.min1.thm12017-02-06 12:46 652  
[ ]ordinal2__2291_14.min1.thm12017-02-06 12:46 896  
[ ]ordinal2__2300_22.min1.thm12017-02-06 12:46 561  
[ ]ordinal2__2301_17.min1.thm12017-02-06 12:46 732  
[ ]ordinal2__2312_20.min1.thm12017-02-06 12:46 722  
[ ]ordinal2__2313_12.min1.thm12017-02-06 12:46 362  
[ ]ordinal2__2333_24.min1.thm12017-02-06 12:46 433  
[ ]ordinal2__2334_20.min1.thm12017-02-06 12:46 339  
[ ]ordinal2__2334_20.min1.thm1.tptp2017-02-06 16:47 259  
[ ]ordinal2__2335_35.min1.thm12017-02-06 12:46 828  
[ ]ordinal2__2336_24.min1.thm12017-02-06 12:46 700  
[ ]ordinal2__2338_19.min1.thm12017-02-06 12:46 492  
[ ]ordinal2__2338_19.min1.thm1.tptp2017-02-06 16:47 413  
[ ]ordinal2__2344_11.min1.thm12017-02-06 12:46 752  
[ ]ordinal2__2345_19.min1.thm12017-02-06 12:46 586  
[ ]ordinal2__2347_14.min1.thm12017-02-06 12:46 659  
[ ]ordinal2__2348_14.min1.thm12017-02-06 12:46 273  
[ ]ordinal2__2350_22.min1.thm12017-02-06 12:46 819  
[ ]ordinal2__2351_26.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal2__2352_54.min1.thm12017-02-06 12:46 469  
[ ]ordinal2__2352_54.min1.thm1.tptp2017-02-06 16:47 406  
[ ]ordinal2__2354_13.min1.thm12017-02-06 12:46 244  
[ ]ordinal2__2356_14.min1.thm12017-02-06 12:46 393  
[ ]ordinal2__2368_37.min1.thm12017-02-06 12:46 298  
[ ]ordinal2__2369_27.min1.thm12017-02-06 12:46 785  
[ ]ordinal2__2370_21.min1.thm12017-02-06 12:46 677  
[ ]ordinal2__2372_12.min1.thm12017-02-06 12:46 405  
[ ]ordinal2__2384_13.min1.thm12017-02-06 12:46 201  
[ ]ordinal2__2387_21.min1.thm12017-02-06 12:46 494  
[ ]ordinal2__2391_21.min1.thm12017-02-06 12:46 497  
[ ]ordinal2__2410_23.min1.thm12017-02-06 12:46 246  
[ ]ordinal2__2411_17.min1.thm12017-02-06 12:46 368  
[ ]ordinal2__2412_21.min1.thm12017-02-06 12:46 384  
[ ]ordinal2__2412_21.min1.thm1.tptp2017-02-06 16:47 300  
[ ]ordinal2__2414_20.min1.thm12017-02-06 12:46 584  
[ ]ordinal2__2415_17.min1.thm12017-02-06 12:46 781  
[ ]ordinal2__2437_30.min1.thm12017-02-06 12:46 713  
[ ]ordinal2__2438_30.min1.thm12017-02-06 12:46 580  
[ ]ordinal2__2439_19.min1.thm12017-02-06 12:46 908  
[ ]ordinal2__2441_13.min1.thm12017-02-06 12:46 383  
[ ]ordinal2__2441_13.min1.thm1.tptp2017-02-06 16:47 301  
[ ]ordinal2__2445_46.min1.thm12017-02-06 12:46 505  
[ ]ordinal2__2446_17.min1.thm12017-02-06 12:46 853  
[ ]ordinal2__2460_42.min1.thm12017-02-06 12:46 479  
[ ]ordinal2__2460_42.min1.thm1.tptp2017-02-06 16:47 414  
[ ]ordinal2__2462_15.min1.thm12017-02-06 12:46 231  
[ ]ordinal2__2463_42.min1.thm12017-02-06 12:46 479  
[ ]ordinal2__2463_42.min1.thm1.tptp2017-02-06 16:47 414  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80