Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/rfinseq

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rfinseq__45_11.min1.thm12017-02-06 12:46 667  
[ ]rfinseq__59_40.min1.thm12017-02-06 12:46 930  
[ ]rfinseq__71_42.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__83_26.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq__91_24.min1.thm12017-02-06 12:46 770  
[ ]rfinseq__94_56.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__95_24.min1.thm12017-02-06 12:46 770  
[ ]rfinseq__96_33.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__97_25.min1.thm12017-02-06 12:46 908  
[ ]rfinseq__98_25.min1.thm12017-02-06 12:46 689  
[ ]rfinseq__99_15.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__100_17.min1.thm12017-02-06 12:46 940  
[ ]rfinseq__113_25.min1.thm12017-02-06 12:46 719  
[ ]rfinseq__118_31.min1.thm12017-02-06 12:46 202  
[ ]rfinseq__119_40.min1.thm12017-02-06 12:46 2.8K 
[ ]rfinseq__134_18.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq__135_44.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq__144_40.min1.thm12017-02-06 12:46 688  
[ ]rfinseq__148_22.min1.thm12017-02-06 12:46 593  
[ ]rfinseq__158_21.min1.thm12017-02-06 12:46 559  
[ ]rfinseq__161_21.min1.thm12017-02-06 12:46 637  
[ ]rfinseq__166_35.min1.thm12017-02-06 12:46 922  
[ ]rfinseq__168_13.min1.thm12017-02-06 12:46 594  
[ ]rfinseq__175_45.min1.thm12017-02-06 12:46 922  
[ ]rfinseq__179_39.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__181_13.min1.thm12017-02-06 12:46 2.1K 
[ ]rfinseq__182_14.min1.thm12017-02-06 12:46 553  
[ ]rfinseq__184_23.min1.thm12017-02-06 12:46 706  
[ ]rfinseq__185_20.min1.thm12017-02-06 12:46 544  
[ ]rfinseq__187_20.min1.thm12017-02-06 12:46 390  
[ ]rfinseq__187_20.min1.thm1.tptp2017-02-06 16:47 312  
[ ]rfinseq__188_11.min1.thm12017-02-06 12:46 531  
[ ]rfinseq__190_16.min1.thm12017-02-06 12:46 364  
[ ]rfinseq__190_16.min1.thm1.tptp2017-02-06 16:47 286  
[ ]rfinseq__193_20.min1.thm12017-02-06 12:46 412  
[ ]rfinseq__193_20.min1.thm1.tptp2017-02-06 16:47 338  
[ ]rfinseq__194_62.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq__197_31.min1.thm12017-02-06 12:46 725  
[ ]rfinseq__198_22.min1.thm12017-02-06 12:46 705  
[ ]rfinseq__199_21.min1.thm12017-02-06 12:46 504  
[ ]rfinseq__199_21.min1.thm1.tptp2017-02-06 16:47 433  
[ ]rfinseq__200_45.min1.thm12017-02-06 12:46 779  
[ ]rfinseq__201_41.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__202_24.min1.thm12017-02-06 12:46 566  
[ ]rfinseq__203_24.min1.thm12017-02-06 12:46 755  
[ ]rfinseq__205_15.min1.thm12017-02-06 12:46 277  
[ ]rfinseq__211_21.min1.thm12017-02-06 12:46 278  
[ ]rfinseq__214_23.min1.thm12017-02-06 12:46 393  
[ ]rfinseq__214_23.min1.thm1.tptp2017-02-06 16:47 328  
[ ]rfinseq__215_31.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__218_29.min1.thm12017-02-06 12:46 721  
[ ]rfinseq__219_33.min1.thm12017-02-06 12:46 752  
[ ]rfinseq__221_32.min1.thm12017-02-06 12:46 656  
[ ]rfinseq__225_21.min1.thm12017-02-06 12:46 278  
[ ]rfinseq__228_23.min1.thm12017-02-06 12:46 347  
[ ]rfinseq__228_23.min1.thm1.tptp2017-02-06 16:47 282  
[ ]rfinseq__229_31.min1.thm12017-02-06 12:46 837  
[ ]rfinseq__232_29.min1.thm12017-02-06 12:46 872  
[ ]rfinseq__233_33.min1.thm12017-02-06 12:46 689  
[ ]rfinseq__234_44.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__244_26.min1.thm12017-02-06 12:46 597  
[ ]rfinseq__244_26.min1.thm1.tptp2017-02-06 16:47 532  
[ ]rfinseq__246_23.min1.thm12017-02-06 12:46 417  
[ ]rfinseq__246_23.min1.thm1.tptp2017-02-06 16:47 352  
[ ]rfinseq__255_26.min1.thm12017-02-06 12:46 593  
[ ]rfinseq__255_26.min1.thm1.tptp2017-02-06 16:47 528  
[ ]rfinseq__257_23.min1.thm12017-02-06 12:46 463  
[ ]rfinseq__257_23.min1.thm1.tptp2017-02-06 16:47 398  
[ ]rfinseq__260_44.min1.thm12017-02-06 12:46 745  
[ ]rfinseq__267_23.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__268_11.min1.thm12017-02-06 12:46 380  
[ ]rfinseq__268_11.min1.thm1.tptp2017-02-06 16:47 307  
[ ]rfinseq__281_35.min1.thm12017-02-06 12:46 249  
[ ]rfinseq__298_56.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__304_31.min1.thm12017-02-06 12:46 582  
[ ]rfinseq__304_31.min1.thm1.tptp2017-02-06 16:47 513  
[ ]rfinseq__307_21.min1.thm12017-02-06 12:46 684  
[ ]rfinseq__309_15.min1.thm12017-02-06 12:46 562  
[ ]rfinseq__324_50.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__329_30.min1.thm12017-02-06 12:46 635  
[ ]rfinseq__330_28.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq__332_21.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__334_15.min1.thm12017-02-06 12:46 282  
[ ]rfinseq__336_13.min1.thm12017-02-06 12:46 129  
[ ]rfinseq__345_13.min1.thm12017-02-06 12:46 248  
[ ]rfinseq__349_18.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__356_18.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__360_17.min1.thm12017-02-06 12:46 481  
[ ]rfinseq__362_22.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__365_24.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__366_23.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__368_24.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__369_21.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq__372_27.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__373_18.min1.thm12017-02-06 12:46 380  
[ ]rfinseq__373_18.min1.thm1.tptp2017-02-06 16:47 297  
[ ]rfinseq__383_24.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__397_20.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__398_33.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq__400_21.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__415_17.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__416_24.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__417_13.min1.thm12017-02-06 12:46 937  
[ ]rfinseq__423_11.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__424_15.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__426_15.min1.thm12017-02-06 12:46 226  
[ ]rfinseq__433_21.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__435_15.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__436_20.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__439_30.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__445_28.min1.thm12017-02-06 12:46 776  
[ ]rfinseq__448_15.min1.thm12017-02-06 12:46 716  
[ ]rfinseq__459_13.min1.thm12017-02-06 12:46 246  
[ ]rfinseq__463_21.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__467_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__468_22.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__469_27.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__473_25.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__479_19.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__480_15.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__482_19.min1.thm12017-02-06 12:46 244  
[ ]rfinseq__485_24.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__488_25.min1.thm12017-02-06 12:46 675  
[ ]rfinseq__495_56.min1.thm12017-02-06 12:46 671  
[ ]rfinseq__496_21.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__503_27.min1.thm12017-02-06 12:46 2.3K 
[ ]rfinseq__507_38.min1.thm12017-02-06 12:46 968  
[ ]rfinseq__512_14.min1.thm12017-02-06 12:46 752  
[ ]rfinseq__524_19.min1.thm12017-02-06 12:46 178  
[ ]rfinseq__535_20.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__536_12.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__537_28.min1.thm12017-02-06 12:46 2.2K 
[ ]rfinseq__539_22.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__542_14.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__544_15.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__546_18.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__547_12.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__548_28.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__549_49.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__553_23.min1.thm12017-02-06 12:46 787  
[ ]rfinseq__554_17.min1.thm12017-02-06 12:46 828  
[ ]rfinseq__559_24.min1.thm12017-02-06 12:46 655  
[ ]rfinseq__561_32.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__564_16.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__568_40.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__580_17.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__593_33.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__594_21.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__595_19.min1.thm12017-02-06 12:46 377  
[ ]rfinseq__595_19.min1.thm1.tptp2017-02-06 16:47 297  
[ ]rfinseq__609_13.min1.thm12017-02-06 12:46 214  
[ ]rfinseq__613_48.min1.thm12017-02-06 12:46 399  
[ ]rfinseq__620_21.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__641_19.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__642_33.min1.thm12017-02-06 12:46 813  
[ ]rfinseq__656_26.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq__663_13.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__666_17.min1.thm12017-02-06 12:46 238  
[ ]rfinseq__669_30.min1.thm12017-02-06 12:46 819  
[ ]rfinseq__674_20.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq__675_28.min1.thm12017-02-06 12:46 2.0K 
[ ]rfinseq__678_28.min1.thm12017-02-06 12:46 945  
[ ]rfinseq__679_30.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__682_23.min1.thm12017-02-06 12:46 573  
[ ]rfinseq__697_10.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__699_23.min1.thm12017-02-06 12:46 2.2K 
[ ]rfinseq__700_19.min1.thm12017-02-06 12:46 2.2K 
[ ]rfinseq__701_18.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__703_42.min1.thm12017-02-06 12:46 3.3K 
[ ]rfinseq__709_20.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__713_27.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__714_27.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq__715_20.min1.thm12017-02-06 12:46 956  
[ ]rfinseq__718_14.min1.thm12017-02-06 12:46 949  
[ ]rfinseq__724_12.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq__725_14.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq__727_15.min1.thm12017-02-06 12:46 234  
[ ]rfinseq__735_16.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__737_15.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__739_21.min1.thm12017-02-06 12:46 857  
[ ]rfinseq__743_15.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__744_29.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__750_31.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__757_29.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__760_13.min1.thm12017-02-06 12:46 904  
[ ]rfinseq__775_19.min1.thm12017-02-06 12:46 955  
[ ]rfinseq__777_24.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__778_19.min1.thm12017-02-06 12:46 2.1K 
[ ]rfinseq__779_18.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__781_12.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__786_14.min1.thm12017-02-06 12:46 949  
[ ]rfinseq__792_12.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__793_14.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__795_15.min1.thm12017-02-06 12:46 234  
[ ]rfinseq__798_25.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq__804_21.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__809_19.min1.thm12017-02-06 12:46 240  
[ ]rfinseq__813_18.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq__820_25.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__822_19.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__824_25.min1.thm12017-02-06 12:46 869  
[ ]rfinseq__825_19.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__827_28.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__828_34.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__829_34.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq__834_41.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__837_37.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__846_19.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__847_14.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__855_16.min1.thm12017-02-06 12:46 850  
[ ]rfinseq__857_21.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__863_17.min1.thm12017-02-06 12:46 592  
[ ]rfinseq__864_27.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__876_36.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__887_21.min1.thm12017-02-06 12:46 859  
[ ]rfinseq__890_13.min1.thm12017-02-06 12:46 246  
[ ]rfinseq__894_21.min1.thm12017-02-06 12:46 2.2K 
[ ]rfinseq__903_36.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__904_27.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__905_28.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__914_20.min1.thm12017-02-06 12:46 3.1K 
[ ]rfinseq__915_17.min1.thm12017-02-06 12:46 832  
[ ]rfinseq__919_19.min1.thm12017-02-06 12:46 320  
[ ]rfinseq__928_28.min1.thm12017-02-06 12:46 2.6K 
[ ]rfinseq__934_25.min1.thm12017-02-06 12:46 2.4K 
[ ]rfinseq__935_21.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__947_30.min1.thm12017-02-06 12:46 945  
[ ]rfinseq__952_14.min1.thm12017-02-06 12:46 665  
[ ]rfinseq__973_15.min1.thm12017-02-06 12:46 192  
[ ]rfinseq__977_22.min1.thm12017-02-06 12:46 2.3K 
[ ]rfinseq__978_26.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq__983_19.min1.thm12017-02-06 12:46 642  
[ ]rfinseq__984_30.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__985_32.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__986_53.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__987_28.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq__989_45.min1.thm12017-02-06 12:46 3.1K 
[ ]rfinseq__990_21.min1.thm12017-02-06 12:46 2.7K 
[ ]rfinseq__993_28.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq__1008_16.min1.thm12017-02-06 12:46 448  
[ ]rfinseq__1010_9.min1.thm12017-02-06 12:46 264  
[ ]rfinseq__1024_15.min1.thm12017-02-06 12:46 2.7K 
[ ]rfinseq__1025_22.min1.thm12017-02-06 12:46 3.1K 
[ ]rfinseq__1048_29.min1.thm12017-02-06 12:46 2.3K 
[ ]rfinseq__1065_27.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq__1066_18.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq__1072_17.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__1074_17.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq__1076_32.min1.thm12017-02-06 12:46 821  
[ ]rfinseq__1081_20.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__1084_12.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__1086_19.min1.thm12017-02-06 12:46 695  
[ ]rfinseq__1096_15.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__1108_16.min1.thm12017-02-06 12:46 308  
[ ]rfinseq__1111_22.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq__1112_64.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__1118_20.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq__1124_16.min1.thm12017-02-06 12:46 437  
[ ]rfinseq__1125_29.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__1130_14.min1.thm12017-02-06 12:46 317  
[ ]rfinseq__1152_24.min1.thm12017-02-06 12:46 2.4K 
[ ]rfinseq__1161_13.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__1163_13.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq__1167_17.min1.thm12017-02-06 12:46 214  
[ ]rfinseq__1174_21.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__1181_18.min1.thm12017-02-06 12:46 603  
[ ]rfinseq__1183_24.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__1187_16.min1.thm12017-02-06 12:46 661  
[ ]rfinseq__1192_13.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq__1204_13.min1.thm12017-02-06 12:46 186  
[ ]rfinseq__1207_21.min1.thm12017-02-06 12:46 2.0K 
[ ]rfinseq__1208_21.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__1212_17.min1.thm12017-02-06 12:46 630  
[ ]rfinseq__1214_23.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__1216_17.min1.thm12017-02-06 12:46 252  
[ ]rfinseq__1219_25.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__1227_34.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__1233_35.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__1238_18.min1.thm12017-02-06 12:46 734  
[ ]rfinseq__1241_14.min1.thm12017-02-06 12:46 662  
[ ]rfinseq__1255_13.min1.thm12017-02-06 12:46 813  
[ ]rfinseq__1258_13.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__1259_15.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__1262_17.min1.thm12017-02-06 12:46 2.5K 
[ ]rfinseq__1265_15.min1.thm12017-02-06 12:46 248  
[ ]rfinseq__1269_29.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq__1281_28.min1.thm12017-02-06 12:46 2.0K 
[ ]rfinseq__1282_18.min1.thm12017-02-06 12:46 2.3K 
[ ]rfinseq__1285_14.min1.thm12017-02-06 12:46 851  
[ ]rfinseq__1300_10.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__1302_23.min1.thm12017-02-06 12:46 2.2K 
[ ]rfinseq__1308_20.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__1312_18.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq__1315_21.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__1318_18.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__1319_19.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__1321_19.min1.thm12017-02-06 12:46 244  
[ ]rfinseq__1328_25.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq__1336_21.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__1339_18.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__1340_19.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__1342_19.min1.thm12017-02-06 12:46 244  
[ ]rfinseq__1349_25.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq__1358_32.min1.thm12017-02-06 12:46 555  
[ ]rfinseq__1363_26.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__1377_64.min1.thm12017-02-06 12:46 471  
[ ]rfinseq__1379_13.min1.thm12017-02-06 12:46 623  
[ ]rfinseq__1389_15.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__1391_33.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq__1392_20.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__1393_24.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq__1394_46.min1.thm12017-02-06 12:46 609  
[ ]rfinseq__1395_11.min1.thm12017-02-06 12:46 948  
[ ]rfinseq__1400_26.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq__1405_36.min1.thm12017-02-06 12:46 537  
[ ]rfinseq__1406_21.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__1407_24.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__1409_13.min1.thm12017-02-06 12:46 443  
[ ]rfinseq__1427_21.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__1430_23.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__1432_19.min1.thm12017-02-06 12:46 490  
[ ]rfinseq__1436_25.min1.thm12017-02-06 12:46 2.1K 
[ ]rfinseq__1444_27.min1.thm12017-02-06 12:46 2.3K 
[ ]rfinseq__1446_25.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__1449_18.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__1463_14.min1.thm12017-02-06 12:46 476  
[ ]rfinseq__1466_18.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__1467_41.min1.thm12017-02-06 12:46 480  
[ ]rfinseq__1469_26.min1.thm12017-02-06 12:46 383  
[ ]rfinseq__1469_26.min1.thm1.tptp2017-02-06 16:47 297  
[ ]rfinseq__1472_23.min1.thm12017-02-06 12:46 674  
[ ]rfinseq__1478_32.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__1479_51.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__1480_16.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq__1483_18.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__1487_30.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq__1491_34.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__1512_19.min1.thm12017-02-06 12:46 290  
[ ]rfinseq__1518_32.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__1519_19.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__1521_25.min1.thm12017-02-06 12:46 940  
[ ]rfinseq__1524_25.min1.thm12017-02-06 12:46 2.0K 
[ ]rfinseq__1527_27.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__1541_23.min1.thm12017-02-06 12:46 236  
[ ]rfinseq__1548_29.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__1549_29.min1.thm12017-02-06 12:46 2.1K 
[ ]rfinseq__1556_60.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__1560_26.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__1564_27.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__1568_26.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__1574_25.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__1577_25.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq__1585_29.min1.thm12017-02-06 12:46 2.5K 
[ ]rfinseq__1590_27.min1.thm12017-02-06 12:46 276  
[ ]rfinseq__1593_42.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__1606_28.min1.thm12017-02-06 12:46 2.0K 
[ ]rfinseq__1607_36.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq__1612_29.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__1613_34.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__1623_26.min1.thm12017-02-06 12:46 2.1K 
[ ]rfinseq__1626_22.min1.thm12017-02-06 12:46 2.0K 
[ ]rfinseq__1629_18.min1.thm12017-02-06 12:46 2.1K 
[ ]rfinseq__1635_43.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__1648_14.min1.thm12017-02-06 12:46 721  
[ ]rfinseq__1656_17.min1.thm12017-02-06 12:46 178  
[ ]rfinseq__1658_17.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__1673_78.min1.thm12017-02-06 12:46 958  
[ ]rfinseq__1678_22.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__1682_20.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__1690_42.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq__1691_16.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__1701_19.min1.thm12017-02-06 12:46 178  
[ ]rfinseq__1720_19.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__1721_21.min1.thm12017-02-06 12:46 441  
[ ]rfinseq__1721_21.min1.thm1.tptp2017-02-06 16:47 376  
[ ]rfinseq__1722_23.min1.thm12017-02-06 12:46 1.4K 
[ ]rfinseq__1723_23.min1.thm12017-02-06 12:46 2.0K 
[ ]rfinseq__1725_21.min1.thm12017-02-06 12:46 443  
[ ]rfinseq__1725_21.min1.thm1.tptp2017-02-06 16:47 378  
[ ]rfinseq__1726_17.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__1735_21.min1.thm12017-02-06 12:46 435  
[ ]rfinseq__1735_21.min1.thm1.tptp2017-02-06 16:47 370  
[ ]rfinseq__1737_19.min1.thm12017-02-06 12:46 2.6K 
[ ]rfinseq__1739_19.min1.thm12017-02-06 12:46 434  
[ ]rfinseq__1739_19.min1.thm1.tptp2017-02-06 16:47 369  
[ ]rfinseq__1742_17.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__1755_41.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__1756_20.min1.thm12017-02-06 12:46 2.5K 
[ ]rfinseq__1757_8.min1.thm12017-02-06 12:46 2.0K 
[ ]rfinseq__1758_24.min1.thm12017-02-06 12:46 419  
[ ]rfinseq__1758_24.min1.thm1.tptp2017-02-06 16:47 354  
[ ]rfinseq__1776_11.min1.thm12017-02-06 12:46 242  
[ ]rfinseq__1779_30.min1.thm12017-02-06 12:46 591  
[ ]rfinseq__1780_19.min1.thm12017-02-06 12:46 825  
[ ]rfinseq__1784_27.min1.thm12017-02-06 12:46 651  
[ ]rfinseq__1785_19.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__1797_14.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__1816_20.min1.thm12017-02-06 12:46 917  
[ ]rfinseq__1817_17.min1.thm12017-02-06 12:46 551  
[ ]rfinseq__1818_23.min1.thm12017-02-06 12:46 954  
[ ]rfinseq__1819_15.min1.thm12017-02-06 12:46 360  
[ ]rfinseq__1819_15.min1.thm1.tptp2017-02-06 16:47 284  
[ ]rfinseq__1820_18.min1.thm12017-02-06 12:46 918  
[ ]rfinseq__1824_26.min1.thm12017-02-06 12:46 802  
[ ]rfinseq__1825_22.min1.thm12017-02-06 12:46 571  
[ ]rfinseq__1826_15.min1.thm12017-02-06 12:46 493  
[ ]rfinseq__1833_13.min1.thm12017-02-06 12:46 198  
[ ]rfinseq__1836_26.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq__1837_14.min1.thm12017-02-06 12:46 927  
[ ]rfinseq__1842_17.min1.thm12017-02-06 12:46 204  
[ ]rfinseq__1845_30.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq__1846_18.min1.thm12017-02-06 12:46 951  
[ ]rfinseq__1850_34.min1.thm12017-02-06 12:46 2.1K 
[ ]rfinseq__1851_20.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__1852_20.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__1853_18.min1.thm12017-02-06 12:46 569  
[ ]rfinseq__1856_21.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__1859_16.min1.thm12017-02-06 12:46 710  
[ ]rfinseq__1860_32.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__1863_51.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__1867_19.min1.thm12017-02-06 12:46 710  
[ ]rfinseq__1868_32.min1.thm12017-02-06 12:46 1.2K 
[ ]rfinseq__1873_23.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__1874_29.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__1876_22.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__1885_13.min1.thm12017-02-06 12:46 198  
[ ]rfinseq__1888_26.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__1893_17.min1.thm12017-02-06 12:46 204  
[ ]rfinseq__1896_30.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__1900_34.min1.thm12017-02-06 12:46 1.6K 
[ ]rfinseq__1901_20.min1.thm12017-02-06 12:46 623  
[ ]rfinseq__1902_20.min1.thm12017-02-06 12:46 649  
[ ]rfinseq__1905_23.min1.thm12017-02-06 12:46 943  
[ ]rfinseq__1911_23.min1.thm12017-02-06 12:46 2.2K 
[ ]rfinseq__1922_11.min1.thm12017-02-06 12:46 244  
[ ]rfinseq__1925_28.min1.thm12017-02-06 12:46 1.9K 
[ ]rfinseq__1926_19.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__1930_23.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq__1932_16.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__1933_16.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__1934_19.min1.thm12017-02-06 12:46 2.3K 
[ ]rfinseq__1949_14.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__1966_40.min1.thm12017-02-06 12:46 946  
[ ]rfinseq__1978_42.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__2009_23.min1.thm12017-02-06 12:46 847  
[ ]rfinseq__2014_41.min1.thm12017-02-06 12:46 456  
[ ]rfinseq__2015_15.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__2019_19.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__2020_13.min1.thm12017-02-06 12:46 857  
[ ]rfinseq__2024_14.min1.thm12017-02-06 12:46 866  
[ ]rfinseq__2031_15.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__2033_38.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__2035_15.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__2041_22.min1.thm12017-02-06 12:46 847  
[ ]rfinseq__2047_20.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__2048_22.min1.thm12017-02-06 12:46 847  
[ ]rfinseq__2049_20.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__2052_41.min1.thm12017-02-06 12:46 456  
[ ]rfinseq__2056_22.min1.thm12017-02-06 12:46 904  
[ ]rfinseq__2058_14.min1.thm12017-02-06 12:46 666  
[ ]rfinseq__2061_15.min1.thm12017-02-06 12:46 1.0K 
[ ]rfinseq__2063_38.min1.thm12017-02-06 12:46 1.1K 
[ ]rfinseq__2067_17.min1.thm12017-02-06 12:46 1.7K 
[ ]rfinseq__2070_23.min1.thm12017-02-06 12:46 849  
[ ]rfinseq__2071_16.min1.thm12017-02-06 12:46 3.0K 
[ ]rfinseq__2076_35.min1.thm12017-02-06 12:46 639  
[ ]rfinseq__2077_28.min1.thm12017-02-06 12:46 2.5K 
[ ]rfinseq__2078_44.min1.thm12017-02-06 12:46 1.8K 
[ ]rfinseq__2080_9.min1.thm12017-02-06 12:46 933  
[ ]rfinseq__2082_14.min1.thm12017-02-06 12:46 3.0K 
[ ]rfinseq__2083_10.min1.thm12017-02-06 12:46 943  
[ ]rfinseq__2086_20.min1.thm12017-02-06 12:46 849  
[ ]rfinseq__2102_29.min1.thm12017-02-06 12:46 329  
[ ]rfinseq__2102_29.min1.thm1.tptp2017-02-06 16:47 248  
[ ]rfinseq__2104_35.min1.thm12017-02-06 12:46 414  
[ ]rfinseq__2104_35.min1.thm1.tptp2017-02-06 16:47 347  
[ ]rfinseq__2106_38.min1.thm12017-02-06 12:46 240  
[ ]rfinseq__2107_18.min1.thm12017-02-06 12:46 1.5K 
[ ]rfinseq__2108_34.min1.thm12017-02-06 12:46 1.3K 
[ ]rfinseq__2109_13.min1.thm12017-02-06 12:46 254  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80