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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pralg_3__68_46.min1.thm12017-02-06 12:45 810  
[ ]pralg_3__73_21.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_3__75_16.min1.thm12017-02-06 12:45 312  
[ ]pralg_3__75_16.min1.thm1.tptp2017-02-06 16:47 226  
[ ]pralg_3__86_23.min1.thm12017-02-06 12:45 693  
[ ]pralg_3__88_29.min1.thm12017-02-06 12:45 618  
[ ]pralg_3__89_18.min1.thm12017-02-06 12:45 533  
[ ]pralg_3__95_27.min1.thm12017-02-06 12:45 620  
[ ]pralg_3__97_17.min1.thm12017-02-06 12:45 427  
[ ]pralg_3__97_17.min1.thm1.tptp2017-02-06 16:47 365  
[ ]pralg_3__98_36.min1.thm12017-02-06 12:45 952  
[ ]pralg_3__99_19.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__101_17.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_3__113_16.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__114_11.min1.thm12017-02-06 12:45 717  
[ ]pralg_3__122_42.min1.thm12017-02-06 12:45 746  
[ ]pralg_3__123_39.min1.thm12017-02-06 12:45 662  
[ ]pralg_3__143_25.min1.thm12017-02-06 12:45 2.3K 
[ ]pralg_3__144_20.min1.thm12017-02-06 12:45 895  
[ ]pralg_3__147_25.min1.thm12017-02-06 12:45 2.3K 
[ ]pralg_3__148_18.min1.thm12017-02-06 12:45 896  
[ ]pralg_3__151_17.min1.thm12017-02-06 12:45 377  
[ ]pralg_3__151_17.min1.thm1.tptp2017-02-06 16:47 295  
[ ]pralg_3__154_70.min1.thm12017-02-06 12:45 514  
[ ]pralg_3__164_30.min1.thm12017-02-06 12:45 377  
[ ]pralg_3__173_15.min1.thm12017-02-06 12:45 895  
[ ]pralg_3__174_36.min1.thm12017-02-06 12:45 717  
[ ]pralg_3__176_13.min1.thm12017-02-06 12:45 567  
[ ]pralg_3__176_13.min1.thm1.tptp2017-02-06 16:47 506  
[ ]pralg_3__180_23.min1.thm12017-02-06 12:45 919  
[ ]pralg_3__183_21.min1.thm12017-02-06 12:45 550  
[ ]pralg_3__185_20.min1.thm12017-02-06 12:45 887  
[ ]pralg_3__186_26.min1.thm12017-02-06 12:45 829  
[ ]pralg_3__187_19.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__192_15.min1.thm12017-02-06 12:45 765  
[ ]pralg_3__193_38.min1.thm12017-02-06 12:45 958  
[ ]pralg_3__204_13.min1.thm12017-02-06 12:45 129  
[ ]pralg_3__214_14.min1.thm12017-02-06 12:45 818  
[ ]pralg_3__215_29.min1.thm12017-02-06 12:45 537  
[ ]pralg_3__215_29.min1.thm1.tptp2017-02-06 16:47 472  
[ ]pralg_3__239_73.min1.thm12017-02-06 12:45 671  
[ ]pralg_3__239_73.min1.thm1.tptp2017-02-06 16:47 601  
[ ]pralg_3__247_26.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__250_33.min1.thm12017-02-06 12:45 776  
[ ]pralg_3__251_28.min1.thm12017-02-06 12:45 798  
[ ]pralg_3__252_30.min1.thm12017-02-06 12:45 830  
[ ]pralg_3__254_19.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_3__263_24.min1.thm12017-02-06 12:45 666  
[ ]pralg_3__265_38.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_3__266_66.min1.thm12017-02-06 12:45 823  
[ ]pralg_3__269_29.min1.thm12017-02-06 12:45 870  
[ ]pralg_3__278_33.min1.thm12017-02-06 12:45 657  
[ ]pralg_3__278_33.min1.thm1.tptp2017-02-06 16:47 594  
[ ]pralg_3__298_8.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__301_44.min1.thm12017-02-06 12:45 886  
[ ]pralg_3__301_44.min1.thm1.tptp2017-02-06 16:47 842  
[ ]pralg_3__302_35.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_3__313_14.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_3__314_12.min1.thm12017-02-06 12:45 857  
[ ]pralg_3__315_41.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_3__316_35.min1.thm12017-02-06 12:45 740  
[ ]pralg_3__317_20.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__321_16.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_3__327_17.min1.thm12017-02-06 12:45 608  
[ ]pralg_3__328_28.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_3__332_21.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__335_23.min1.thm12017-02-06 12:45 545  
[ ]pralg_3__335_23.min1.thm1.tptp2017-02-06 16:47 481  
[ ]pralg_3__336_31.min1.thm12017-02-06 12:45 890  
[ ]pralg_3__338_32.min1.thm12017-02-06 12:45 771  
[ ]pralg_3__338_32.min1.thm1.tptp2017-02-06 16:47 707  
[ ]pralg_3__339_17.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__352_26.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_3__355_23.min1.thm12017-02-06 12:45 683  
[ ]pralg_3__355_23.min1.thm1.tptp2017-02-06 16:47 629  
[ ]pralg_3__358_40.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_3__362_27.min1.thm12017-02-06 12:45 794  
[ ]pralg_3__362_27.min1.thm1.tptp2017-02-06 16:47 750  
[ ]pralg_3__363_15.min1.thm12017-02-06 12:45 262  
[ ]pralg_3__364_25.min1.thm12017-02-06 12:45 640  
[ ]pralg_3__375_15.min1.thm12017-02-06 12:45 248  
[ ]pralg_3__384_20.min1.thm12017-02-06 12:45 692  
[ ]pralg_3__389_27.min1.thm12017-02-06 12:45 3.0K 
[ ]pralg_3__391_70.min1.thm12017-02-06 12:45 2.2K 
[ ]pralg_3__393_69.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_3__399_16.min1.thm12017-02-06 12:45 614  
[ ]pralg_3__415_23.min1.thm12017-02-06 12:45 683  
[ ]pralg_3__415_23.min1.thm1.tptp2017-02-06 16:47 629  
[ ]pralg_3__418_17.min1.thm12017-02-06 12:45 261  
[ ]pralg_3__421_14.min1.thm12017-02-06 12:45 636  
[ ]pralg_3__435_42.min1.thm12017-02-06 12:45 324  
[ ]pralg_3__435_42.min1.thm1.tptp2017-02-06 16:47 246  
[ ]pralg_3__436_31.min1.thm12017-02-06 12:45 643  
[ ]pralg_3__455_34.min1.thm12017-02-06 12:45 430  
[ ]pralg_3__457_30.min1.thm12017-02-06 12:45 810  
[ ]pralg_3__458_39.min1.thm12017-02-06 12:45 462  
[ ]pralg_3__458_39.min1.thm1.tptp2017-02-06 16:47 379  
[ ]pralg_3__460_52.min1.thm12017-02-06 12:45 3.3K 
[ ]pralg_3__461_12.min1.thm12017-02-06 12:45 793  
[ ]pralg_3__463_49.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_3__465_46.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_3__468_32.min1.thm12017-02-06 12:45 4.0K 
[ ]pralg_3__469_38.min1.thm12017-02-06 12:45 3.7K 
[ ]pralg_3__471_16.min1.thm12017-02-06 12:45 846  
[ ]pralg_3__484_17.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_3__486_56.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__488_55.min1.thm12017-02-06 12:45 3.2K 
[ ]pralg_3__489_30.min1.thm12017-02-06 12:45 2.8K 
[ ]pralg_3__492_33.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_3__496_67.min1.thm12017-02-06 12:45 3.3K 
[ ]pralg_3__498_39.min1.thm12017-02-06 12:45 3.5K 
[ ]pralg_3__501_55.min1.thm12017-02-06 12:45 3.2K 
[ ]pralg_3__507_32.min1.thm12017-02-06 12:45 695  
[ ]pralg_3__508_54.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_3__509_76.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_3__510_34.min1.thm12017-02-06 12:45 3.5K 
[ ]pralg_3__515_52.min1.thm12017-02-06 12:45 805  
[ ]pralg_3__523_35.min1.thm12017-02-06 12:45 3.6K 
[ ]pralg_3__524_36.min1.thm12017-02-06 12:45 3.3K 
[ ]pralg_3__527_47.min1.thm12017-02-06 12:45 3.3K 
[ ]pralg_3__532_47.min1.thm12017-02-06 12:45 668  
[ ]pralg_3__547_36.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_3__549_34.min1.thm12017-02-06 12:45 3.5K 
[ ]pralg_3__555_39.min1.thm12017-02-06 12:45 4.1K 
[ ]pralg_3__570_65.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_3__571_37.min1.thm12017-02-06 12:45 916  
[ ]pralg_3__573_41.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_3__579_15.min1.thm12017-02-06 12:45 588  
[ ]pralg_3__582_54.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_3__583_76.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_3__586_41.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_3__597_18.min1.thm12017-02-06 12:45 608  
[ ]pralg_3__598_38.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_3__602_39.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_3__608_18.min1.thm12017-02-06 12:45 515  
[ ]pralg_3__608_18.min1.thm1.tptp2017-02-06 16:47 451  
[ ]pralg_3__610_28.min1.thm12017-02-06 12:45 965  
[ ]pralg_3__613_28.min1.thm12017-02-06 12:45 559  
[ ]pralg_3__613_28.min1.thm1.tptp2017-02-06 16:47 495  
[ ]pralg_3__615_30.min1.thm12017-02-06 12:45 2.7K 
[ ]pralg_3__616_17.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__626_37.min1.thm12017-02-06 12:45 916  
[ ]pralg_3__627_44.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_3__629_44.min1.thm12017-02-06 12:45 2.8K 
[ ]pralg_3__631_68.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_3__635_48.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_3__636_17.min1.thm12017-02-06 12:45 2.5K 
[ ]pralg_3__654_65.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_3__661_8.min1.thm12017-02-06 12:45 404  
[ ]pralg_3__663_30.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__665_19.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_3__685_45.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__692_56.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_3__693_64.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_3__695_22.min1.thm12017-02-06 12:45 830  
[ ]pralg_3__695_22.min1.thm1.tptp2017-02-06 16:47 786  
[ ]pralg_3__707_40.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__711_76.min1.thm12017-02-06 12:45 3.7K 
[ ]pralg_3__718_40.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_3__748_49.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_3__762_8.min1.thm12017-02-06 12:45 403  
[ ]pralg_3__764_28.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__800_31.min1.thm12017-02-06 12:45 697  
[ ]pralg_3__800_31.min1.thm1.tptp2017-02-06 16:47 641  
[ ]pralg_3__801_21.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__805_29.min1.thm12017-02-06 12:45 2.2K 
[ ]pralg_3__808_14.min1.thm12017-02-06 12:45 602  
[ ]pralg_3__831_44.min1.thm12017-02-06 12:45 368  
[ ]pralg_3__831_44.min1.thm1.tptp2017-02-06 16:47 290  
[ ]pralg_3__832_39.min1.thm12017-02-06 12:45 693  
[ ]pralg_3__833_44.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_3__841_51.min1.thm12017-02-06 12:45 926  
[ ]pralg_3__845_42.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_3__846_40.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_3__850_48.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_3__855_18.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_3__857_65.min1.thm12017-02-06 12:45 650  
[ ]pralg_3__869_46.min1.thm12017-02-06 12:45 366  
[ ]pralg_3__869_46.min1.thm1.tptp2017-02-06 16:47 288  
[ ]pralg_3__904_17.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_3__917_44.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_3__938_26.min1.thm12017-02-06 12:45 684  
[ ]pralg_3__940_37.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_3__942_9.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__945_32.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_3__948_15.min1.thm12017-02-06 12:45 250  
[ ]pralg_3__954_35.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__956_17.min1.thm12017-02-06 12:45 750  
[ ]pralg_3__963_20.min1.thm12017-02-06 12:45 2.7K 
[ ]pralg_3__976_20.min1.thm12017-02-06 12:45 2.7K 
[ ]pralg_3__1001_15.min1.thm12017-02-06 12:45 849  
[ ]pralg_3__1002_41.min1.thm12017-02-06 12:45 732  
[ ]pralg_3__1005_33.min1.thm12017-02-06 12:45 964  
[ ]pralg_3__1005_33.min1.thm1.tptp2017-02-06 16:47 901  
[ ]pralg_3__1014_21.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_3__1019_16.min1.thm12017-02-06 12:45 514  
[ ]pralg_3__1019_16.min1.thm1.tptp2017-02-06 16:47 448  
[ ]pralg_3__1020_37.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__1021_31.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__1042_44.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_3__1045_28.min1.thm12017-02-06 12:45 752  
[ ]pralg_3__1045_28.min1.thm1.tptp2017-02-06 16:47 708  
[ ]pralg_3__1046_28.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_3__1056_30.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__1057_41.min1.thm12017-02-06 12:45 630  
[ ]pralg_3__1060_33.min1.thm12017-02-06 12:45 964  
[ ]pralg_3__1060_33.min1.thm1.tptp2017-02-06 16:47 901  
[ ]pralg_3__1063_34.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__1066_21.min1.thm12017-02-06 12:45 787  
[ ]pralg_3__1073_17.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__1089_48.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_3__1090_33.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_3__1092_47.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_3__1093_43.min1.thm12017-02-06 12:45 787  
[ ]pralg_3__1094_42.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_3__1122_46.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_3__1123_61.min1.thm12017-02-06 12:45 3.0K 
[ ]pralg_3__1130_19.min1.thm12017-02-06 12:45 740  
[ ]pralg_3__1138_43.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_3__1141_33.min1.thm12017-02-06 12:45 964  
[ ]pralg_3__1141_33.min1.thm1.tptp2017-02-06 16:47 901  
[ ]pralg_3__1174_47.min1.thm12017-02-06 12:45 350  
[ ]pralg_3__1174_47.min1.thm1.tptp2017-02-06 16:47 272  
[ ]pralg_3__1175_50.min1.thm12017-02-06 12:45 2.2K 
[ ]pralg_3__1176_65.min1.thm12017-02-06 12:45 3.0K 
[ ]pralg_3__1178_44.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__1191_20.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_3__1194_18.min1.thm12017-02-06 12:45 682  
[ ]pralg_3__1198_48.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_3__1201_38.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__1201_38.min1.thm1.tptp2017-02-06 16:47 925  
[ ]pralg_3__1202_44.min1.thm12017-02-06 12:45 508  
[ ]pralg_3__1202_44.min1.thm1.tptp2017-02-06 16:47 431  
[ ]pralg_3__1213_35.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__1214_41.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_3__1228_63.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__1233_15.min1.thm12017-02-06 12:45 250  
[ ]pralg_3__1237_28.min1.thm12017-02-06 12:45 902  
[ ]pralg_3__1239_17.min1.thm12017-02-06 12:45 664  
[ ]pralg_3__1243_49.min1.thm12017-02-06 12:45 356  
[ ]pralg_3__1243_49.min1.thm1.tptp2017-02-06 16:47 278  
[ ]pralg_3__1246_39.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__1246_39.min1.thm1.tptp2017-02-06 16:47 949  
[ ]pralg_3__1261_17.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_3__1272_35.min1.thm12017-02-06 12:45 723  
[ ]pralg_3__1272_35.min1.thm1.tptp2017-02-06 16:47 667  
[ ]pralg_3__1287_21.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_3__1295_49.min1.thm12017-02-06 12:45 356  
[ ]pralg_3__1295_49.min1.thm1.tptp2017-02-06 16:47 278  
[ ]pralg_3__1298_39.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__1298_39.min1.thm1.tptp2017-02-06 16:47 949  
[ ]pralg_3__1305_62.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_3__1308_13.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_3__1310_31.min1.thm12017-02-06 12:45 2.5K 
[ ]pralg_3__1311_27.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_3__1313_64.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__1315_63.min1.thm12017-02-06 12:45 3.3K 
[ ]pralg_3__1316_63.min1.thm12017-02-06 12:45 3.3K 
[ ]pralg_3__1317_40.min1.thm12017-02-06 12:45 2.8K 
[ ]pralg_3__1323_30.min1.thm12017-02-06 12:45 2.5K 
[ ]pralg_3__1331_40.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_3__1338_28.min1.thm12017-02-06 12:45 907  
[ ]pralg_3__1350_28.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__1355_17.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_3__1368_32.min1.thm12017-02-06 12:45 964  
[ ]pralg_3__1368_32.min1.thm1.tptp2017-02-06 16:47 901  
[ ]pralg_3__1371_20.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__1372_11.min1.thm12017-02-06 12:45 298  
[ ]pralg_3__1376_48.min1.thm12017-02-06 12:45 358  
[ ]pralg_3__1376_48.min1.thm1.tptp2017-02-06 16:47 280  
[ ]pralg_3__1381_67.min1.thm12017-02-06 12:45 3.0K 
[ ]pralg_3__1392_20.min1.thm12017-02-06 12:45 628  
[ ]pralg_3__1395_23.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_3__1419_17.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_3__1419_17.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]pralg_3__1438_17.min1.thm12017-02-06 12:45 936  
[ ]pralg_3__1443_18.min1.thm12017-02-06 12:45 420  
[ ]pralg_3__1465_35.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_3__1466_22.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__1467_17.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_3__1468_32.min1.thm12017-02-06 12:45 534  
[ ]pralg_3__1476_23.min1.thm12017-02-06 12:45 902  
[ ]pralg_3__1477_51.min1.thm12017-02-06 12:45 2.2K 
[ ]pralg_3__1478_44.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__1481_23.min1.thm12017-02-06 12:45 884  
[ ]pralg_3__1483_60.min1.thm12017-02-06 12:45 456  
[ ]pralg_3__1485_20.min1.thm12017-02-06 12:45 511  
[ ]pralg_3__1485_20.min1.thm1.tptp2017-02-06 16:47 443  
[ ]pralg_3__1500_26.min1.thm12017-02-06 12:45 523  
[ ]pralg_3__1500_26.min1.thm1.tptp2017-02-06 16:47 446  
[ ]pralg_3__1501_19.min1.thm12017-02-06 12:45 523  
[ ]pralg_3__1501_19.min1.thm1.tptp2017-02-06 16:47 446  
[ ]pralg_3__1530_49.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__1531_58.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_3__1532_37.min1.thm12017-02-06 12:45 213  
[ ]pralg_3__1535_39.min1.thm12017-02-06 12:45 781  
[ ]pralg_3__1537_22.min1.thm12017-02-06 12:45 729  
[ ]pralg_3__1537_22.min1.thm1.tptp2017-02-06 16:47 681  
[ ]pralg_3__1546_41.min1.thm12017-02-06 12:45 771  
[ ]pralg_3__1546_41.min1.thm1.tptp2017-02-06 16:47 728  
[ ]pralg_3__1547_48.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__1549_54.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__1551_20.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_3__1569_47.min1.thm12017-02-06 12:45 348  
[ ]pralg_3__1569_47.min1.thm1.tptp2017-02-06 16:47 270  
[ ]pralg_3__1572_78.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_3__1574_29.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_3__1576_21.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_3__1596_45.min1.thm12017-02-06 12:45 350  
[ ]pralg_3__1596_45.min1.thm1.tptp2017-02-06 16:47 272  
[ ]pralg_3__1600_31.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_3__1612_46.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_3__1615_31.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_3__1616_20.min1.thm12017-02-06 12:45 812  
[ ]pralg_3__1617_15.min1.thm12017-02-06 12:45 750  
[ ]pralg_3__1618_56.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_3__1624_49.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_3__1625_23.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_3__1627_60.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__1628_42.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_3__1641_17.min1.thm12017-02-06 12:45 608  
[ ]pralg_3__1641_17.min1.thm1.tptp2017-02-06 16:47 542  
[ ]pralg_3__1658_50.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_3__1664_34.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_3__1666_15.min1.thm12017-02-06 12:45 250  
[ ]pralg_3__1669_33.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__1671_17.min1.thm12017-02-06 12:45 750  
[ ]pralg_3__1676_17.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_3__1684_48.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_3__1685_19.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_3__1689_26.min1.thm12017-02-06 12:45 832  
[ ]pralg_3__1690_21.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_3__1693_55.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_3__1694_50.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_3__1697_28.min1.thm12017-02-06 12:45 2.5K 
[ ]pralg_3__1705_48.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_3__1706_19.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_3__1713_26.min1.thm12017-02-06 12:45 959  
[ ]pralg_3__1715_56.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_3__1717_40.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_3__1718_40.min1.thm12017-02-06 12:45 4.3K 
[ ]pralg_3__1723_38.min1.thm12017-02-06 12:45 3.8K 
[ ]pralg_3__1753_55.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_3__1758_64.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_3__1759_72.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_3__1764_36.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_3__1765_45.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_3__1766_23.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__1769_23.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_3__1779_51.min1.thm12017-02-06 12:45 836  
[ ]pralg_3__1784_27.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__1790_18.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_3__1793_18.min1.thm12017-02-06 12:45 3.9K 
[ ]pralg_3__1800_37.min1.thm12017-02-06 12:45 2.7K 
[ ]pralg_3__1809_40.min1.thm12017-02-06 12:45 2.5K 
[ ]pralg_3__1810_19.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_3__1812_32.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__1813_19.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_3__1817_36.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_3__1818_26.min1.thm12017-02-06 12:45 832  
[ ]pralg_3__1819_21.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_3__1822_55.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_3__1823_49.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_3__1825_32.min1.thm12017-02-06 12:45 2.5K 
[ ]pralg_3__1829_48.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_3__1831_29.min1.thm12017-02-06 12:45 853  
[ ]pralg_3__1833_41.min1.thm12017-02-06 12:45 3.5K 
[ ]pralg_3__1834_20.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_3__1835_19.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_3__1839_52.min1.thm12017-02-06 12:45 2.4K 
[ ]pralg_3__1842_56.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_3__1844_58.min1.thm12017-02-06 12:45 3.1K 
[ ]pralg_3__1865_21.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_3__1888_47.min1.thm12017-02-06 12:45 2.2K 
[ ]pralg_3__1891_44.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_3__1892_20.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_3__1893_20.min1.thm12017-02-06 12:45 374  
[ ]pralg_3__1896_21.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__1905_43.min1.thm12017-02-06 12:45 350  
[ ]pralg_3__1905_43.min1.thm1.tptp2017-02-06 16:47 272  
[ ]pralg_3__1908_51.min1.thm12017-02-06 12:45 2.9K 
[ ]pralg_3__1908_51.min1.thm1.tptp2017-02-06 16:47 3.0K 
[ ]pralg_3__1929_38.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_3__1931_26.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_3__1943_22.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_3__1944_22.min1.thm12017-02-06 12:45 743  
[ ]pralg_3__1954_21.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_3__1958_34.min1.thm12017-02-06 12:45 851  
[ ]pralg_3__1958_34.min1.thm1.tptp2017-02-06 16:47 806  
[ ]pralg_3__1960_24.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__1961_19.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_3__1977_51.min1.thm12017-02-06 12:45 3.3K 
[ ]pralg_3__1982_36.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_3__1983_19.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_3__1984_25.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_3__1986_20.min1.thm12017-02-06 12:45 528  
[ ]pralg_3__1986_20.min1.thm1.tptp2017-02-06 16:47 462  
[ ]pralg_3__1987_33.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_3__1992_28.min1.thm12017-02-06 12:45 2.5K 
[ ]pralg_3__2001_51.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_3__2012_51.min1.thm12017-02-06 12:45 3.3K 
[ ]pralg_3__2013_49.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_3__2014_35.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_3__2015_24.min1.thm12017-02-06 12:45 632  
[ ]pralg_3__2015_24.min1.thm1.tptp2017-02-06 16:47 566  
[ ]pralg_3__2016_19.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_3__2025_37.min1.thm12017-02-06 12:45 2.4K 
[ ]pralg_3__2026_21.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_3__2027_27.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_3__2033_19.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_3__2041_23.min1.thm12017-02-06 12:45 837  
[ ]pralg_3__2048_23.min1.thm12017-02-06 12:45 2.5K 
[ ]pralg_3__2051_67.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_3__2051_67.min1.thm1.tptp2017-02-06 16:47 1.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80