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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pralg_1__65_24.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_1__68_49.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_1__77_35.min1.thm12017-02-06 12:45 531  
[ ]pralg_1__89_24.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_1__92_49.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_1__101_35.min1.thm12017-02-06 12:45 531  
[ ]pralg_1__122_39.min1.thm12017-02-06 12:45 855  
[ ]pralg_1__123_32.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__124_39.min1.thm12017-02-06 12:45 855  
[ ]pralg_1__134_47.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_1__135_26.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__139_47.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_1__140_26.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__141_71.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_1__144_36.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__157_36.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__158_21.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__169_23.min1.thm12017-02-06 12:45 768  
[ ]pralg_1__169_23.min1.thm1.tptp2017-02-06 16:47 709  
[ ]pralg_1__181_44.min1.thm12017-02-06 12:45 928  
[ ]pralg_1__183_21.min1.thm12017-02-06 12:45 945  
[ ]pralg_1__187_21.min1.thm12017-02-06 12:45 535  
[ ]pralg_1__187_21.min1.thm1.tptp2017-02-06 16:47 457  
[ ]pralg_1__196_49.min1.thm12017-02-06 12:45 837  
[ ]pralg_1__208_18.min1.thm12017-02-06 12:45 608  
[ ]pralg_1__214_22.min1.thm12017-02-06 12:45 535  
[ ]pralg_1__217_19.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__232_49.min1.thm12017-02-06 12:45 555  
[ ]pralg_1__235_46.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__274_56.min1.thm12017-02-06 12:45 948  
[ ]pralg_1__283_18.min1.thm12017-02-06 12:45 854  
[ ]pralg_1__289_41.min1.thm12017-02-06 12:45 545  
[ ]pralg_1__294_19.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_1__306_42.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__315_64.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__320_39.min1.thm12017-02-06 12:45 3.4K 
[ ]pralg_1__321_24.min1.thm12017-02-06 12:45 2.2K 
[ ]pralg_1__400_14.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_1__422_24.min1.thm12017-02-06 12:45 881  
[ ]pralg_1__422_24.min1.thm1.tptp2017-02-06 16:47 804  
[ ]pralg_1__423_24.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__437_45.min1.thm12017-02-06 12:45 364  
[ ]pralg_1__437_45.min1.thm1.tptp2017-02-06 16:47 286  
[ ]pralg_1__454_58.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_1__456_17.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_1__467_15.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_1__493_35.min1.thm12017-02-06 12:45 910  
[ ]pralg_1__497_57.min1.thm12017-02-06 12:45 2.5K 
[ ]pralg_1__514_16.min1.thm12017-02-06 12:45 459  
[ ]pralg_1__532_13.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__535_57.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_1__536_27.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__542_46.min1.thm12017-02-06 12:45 2.2K 
[ ]pralg_1__546_44.min1.thm12017-02-06 12:45 939  
[ ]pralg_1__547_34.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__550_31.min1.thm12017-02-06 12:45 309  
[ ]pralg_1__551_39.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__573_13.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__574_24.min1.thm12017-02-06 12:45 948  
[ ]pralg_1__576_24.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__577_24.min1.thm12017-02-06 12:45 948  
[ ]pralg_1__582_4.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_1__587_36.min1.thm12017-02-06 12:45 910  
[ ]pralg_1__588_52.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__594_25.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_1__597_36.min1.thm12017-02-06 12:45 911  
[ ]pralg_1__598_52.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__603_62.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_1__607_36.min1.thm12017-02-06 12:45 910  
[ ]pralg_1__608_52.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__610_62.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_1__612_64.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_1__614_26.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__615_64.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_1__617_26.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__619_20.min1.thm12017-02-06 12:45 704  
[ ]pralg_1__629_47.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_1__630_47.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_1__637_54.min1.thm12017-02-06 12:45 963  
[ ]pralg_1__642_30.min1.thm12017-02-06 12:45 310  
[ ]pralg_1__645_56.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__646_61.min1.thm12017-02-06 12:45 667  
[ ]pralg_1__647_72.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__651_8.min1.thm12017-02-06 12:45 908  
[ ]pralg_1__652_30.min1.thm12017-02-06 12:45 310  
[ ]pralg_1__660_43.min1.thm12017-02-06 12:45 2.4K 
[ ]pralg_1__662_19.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_1__663_43.min1.thm12017-02-06 12:45 2.4K 
[ ]pralg_1__665_19.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_1__671_49.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__674_49.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__693_19.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_1__694_30.min1.thm12017-02-06 12:45 309  
[ ]pralg_1__701_19.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_1__702_26.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__704_33.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__705_30.min1.thm12017-02-06 12:45 310  
[ ]pralg_1__714_26.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__716_33.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__729_19.min1.thm12017-02-06 12:45 845  
[ ]pralg_1__733_13.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__739_50.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__740_30.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__743_50.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__744_30.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__748_11.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_1__750_11.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_1__753_11.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_1__755_11.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_1__759_68.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_1__762_67.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_1__766_8.min1.thm12017-02-06 12:45 3.1K 
[ ]pralg_1__791_19.min1.thm12017-02-06 12:45 549  
[ ]pralg_1__794_45.min1.thm12017-02-06 12:45 347  
[ ]pralg_1__794_45.min1.thm1.tptp2017-02-06 16:47 290  
[ ]pralg_1__802_18.min1.thm12017-02-06 12:45 555  
[ ]pralg_1__813_25.min1.thm12017-02-06 12:45 777  
[ ]pralg_1__820_21.min1.thm12017-02-06 12:45 519  
[ ]pralg_1__821_21.min1.thm12017-02-06 12:45 625  
[ ]pralg_1__828_26.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__829_21.min1.thm12017-02-06 12:45 519  
[ ]pralg_1__834_26.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_1__836_21.min1.thm12017-02-06 12:45 659  
[ ]pralg_1__838_26.min1.thm12017-02-06 12:45 573  
[ ]pralg_1__851_36.min1.thm12017-02-06 12:45 775  
[ ]pralg_1__852_40.min1.thm12017-02-06 12:45 433  
[ ]pralg_1__852_40.min1.thm1.tptp2017-02-06 16:47 368  
[ ]pralg_1__853_57.min1.thm12017-02-06 12:45 618  
[ ]pralg_1__856_27.min1.thm12017-02-06 12:45 865  
[ ]pralg_1__857_24.min1.thm12017-02-06 12:45 387  
[ ]pralg_1__857_24.min1.thm1.tptp2017-02-06 16:47 322  
[ ]pralg_1__858_22.min1.thm12017-02-06 12:45 854  
[ ]pralg_1__877_24.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__878_51.min1.thm12017-02-06 12:45 679  
[ ]pralg_1__879_70.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__884_18.min1.thm12017-02-06 12:45 494  
[ ]pralg_1__889_44.min1.thm12017-02-06 12:45 373  
[ ]pralg_1__894_19.min1.thm12017-02-06 12:45 818  
[ ]pralg_1__904_24.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__909_24.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__910_50.min1.thm12017-02-06 12:45 679  
[ ]pralg_1__911_38.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_1__912_24.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__932_17.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__933_48.min1.thm12017-02-06 12:45 769  
[ ]pralg_1__935_19.min1.thm12017-02-06 12:45 825  
[ ]pralg_1__945_17.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__946_48.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__948_16.min1.thm12017-02-06 12:45 808  
[ ]pralg_1__959_17.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__960_48.min1.thm12017-02-06 12:45 769  
[ ]pralg_1__962_19.min1.thm12017-02-06 12:45 802  
[ ]pralg_1__977_33.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_1__978_17.min1.thm12017-02-06 12:45 2.2K 
[ ]pralg_1__987_44.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__989_15.min1.thm12017-02-06 12:45 828  
[ ]pralg_1__998_14.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__1025_33.min1.thm12017-02-06 12:45 369  
[ ]pralg_1__1028_15.min1.thm12017-02-06 12:45 866  
[ ]pralg_1__1038_53.min1.thm12017-02-06 12:45 765  
[ ]pralg_1__1039_19.min1.thm12017-02-06 12:45 557  
[ ]pralg_1__1050_16.min1.thm12017-02-06 12:45 515  
[ ]pralg_1__1051_38.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1053_55.min1.thm12017-02-06 12:45 781  
[ ]pralg_1__1054_19.min1.thm12017-02-06 12:45 654  
[ ]pralg_1__1073_16.min1.thm12017-02-06 12:45 515  
[ ]pralg_1__1074_38.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1086_17.min1.thm12017-02-06 12:45 788  
[ ]pralg_1__1087_21.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__1090_57.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__1091_19.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1101_16.min1.thm12017-02-06 12:45 629  
[ ]pralg_1__1102_19.min1.thm12017-02-06 12:45 868  
[ ]pralg_1__1112_16.min1.thm12017-02-06 12:45 629  
[ ]pralg_1__1113_19.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__1132_40.min1.thm12017-02-06 12:45 320  
[ ]pralg_1__1132_40.min1.thm1.tptp2017-02-06 16:47 240  
[ ]pralg_1__1133_42.min1.thm12017-02-06 12:45 423  
[ ]pralg_1__1134_62.min1.thm12017-02-06 12:45 600  
[ ]pralg_1__1134_62.min1.thm1.tptp2017-02-06 16:47 514  
[ ]pralg_1__1136_17.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__1141_41.min1.thm12017-02-06 12:45 903  
[ ]pralg_1__1143_18.min1.thm12017-02-06 12:45 539  
[ ]pralg_1__1143_18.min1.thm1.tptp2017-02-06 16:47 491  
[ ]pralg_1__1157_59.min1.thm12017-02-06 12:45 849  
[ ]pralg_1__1157_59.min1.thm1.tptp2017-02-06 16:47 823  
[ ]pralg_1__1158_18.min1.thm12017-02-06 12:45 562  
[ ]pralg_1__1174_39.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__1175_16.min1.thm12017-02-06 12:45 629  
[ ]pralg_1__1176_34.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1177_19.min1.thm12017-02-06 12:45 929  
[ ]pralg_1__1190_44.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__1193_16.min1.thm12017-02-06 12:45 658  
[ ]pralg_1__1203_44.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__1204_23.min1.thm12017-02-06 12:45 624  
[ ]pralg_1__1205_19.min1.thm12017-02-06 12:45 698  
[ ]pralg_1__1212_11.min1.thm12017-02-06 12:45 491  
[ ]pralg_1__1212_11.min1.thm1.tptp2017-02-06 16:47 412  
[ ]pralg_1__1225_37.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1231_41.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1236_37.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__1237_18.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1239_51.min1.thm12017-02-06 12:45 897  
[ ]pralg_1__1242_45.min1.thm12017-02-06 12:45 759  
[ ]pralg_1__1243_28.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_1__1244_19.min1.thm12017-02-06 12:45 2.9K 
[ ]pralg_1__1273_37.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1279_41.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1284_37.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__1285_18.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1287_51.min1.thm12017-02-06 12:45 897  
[ ]pralg_1__1290_47.min1.thm12017-02-06 12:45 769  
[ ]pralg_1__1291_30.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_1__1292_78.min1.thm12017-02-06 12:45 2.9K 
[ ]pralg_1__1307_50.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1312_48.min1.thm12017-02-06 12:45 769  
[ ]pralg_1__1324_33.min1.thm12017-02-06 12:45 2.7K 
[ ]pralg_1__1325_29.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__1327_21.min1.thm12017-02-06 12:45 884  
[ ]pralg_1__1328_21.min1.thm12017-02-06 12:45 971  
[ ]pralg_1__1329_44.min1.thm12017-02-06 12:45 855  
[ ]pralg_1__1330_31.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__1331_28.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_1__1332_21.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1335_48.min1.thm12017-02-06 12:45 770  
[ ]pralg_1__1337_33.min1.thm12017-02-06 12:45 2.7K 
[ ]pralg_1__1338_29.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__1340_21.min1.thm12017-02-06 12:45 884  
[ ]pralg_1__1341_21.min1.thm12017-02-06 12:45 971  
[ ]pralg_1__1342_44.min1.thm12017-02-06 12:45 855  
[ ]pralg_1__1343_31.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__1344_28.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_1__1345_21.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1374_51.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__1379_32.min1.thm12017-02-06 12:45 714  
[ ]pralg_1__1401_17.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__1413_48.min1.thm12017-02-06 12:45 263  
[ ]pralg_1__1418_18.min1.thm12017-02-06 12:45 600  
[ ]pralg_1__1432_13.min1.thm12017-02-06 12:45 185  
[ ]pralg_1__1433_33.min1.thm12017-02-06 12:45 581  
[ ]pralg_1__1436_27.min1.thm12017-02-06 12:45 842  
[ ]pralg_1__1437_21.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1439_19.min1.thm12017-02-06 12:45 949  
[ ]pralg_1__1448_24.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__1449_13.min1.thm12017-02-06 12:45 632  
[ ]pralg_1__1450_19.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1459_24.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__1460_13.min1.thm12017-02-06 12:45 632  
[ ]pralg_1__1461_19.min1.thm12017-02-06 12:45 637  
[ ]pralg_1__1479_22.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__1488_16.min1.thm12017-02-06 12:45 630  
[ ]pralg_1__1489_62.min1.thm12017-02-06 12:45 959  
[ ]pralg_1__1502_18.min1.thm12017-02-06 12:45 631  
[ ]pralg_1__1503_26.min1.thm12017-02-06 12:45 958  
[ ]pralg_1__1504_57.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_1__1509_29.min1.thm12017-02-06 12:45 645  
[ ]pralg_1__1514_47.min1.thm12017-02-06 12:45 2.4K 
[ ]pralg_1__1521_20.min1.thm12017-02-06 12:45 668  
[ ]pralg_1__1522_25.min1.thm12017-02-06 12:45 836  
[ ]pralg_1__1524_31.min1.thm12017-02-06 12:45 459  
[ ]pralg_1__1524_31.min1.thm1.tptp2017-02-06 16:47 381  
[ ]pralg_1__1525_21.min1.thm12017-02-06 12:45 735  
[ ]pralg_1__1526_25.min1.thm12017-02-06 12:45 950  
[ ]pralg_1__1528_20.min1.thm12017-02-06 12:45 633  
[ ]pralg_1__1529_23.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__1532_21.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__1534_16.min1.thm12017-02-06 12:45 352  
[ ]pralg_1__1546_18.min1.thm12017-02-06 12:45 631  
[ ]pralg_1__1547_26.min1.thm12017-02-06 12:45 958  
[ ]pralg_1__1548_57.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_1__1553_29.min1.thm12017-02-06 12:45 645  
[ ]pralg_1__1558_47.min1.thm12017-02-06 12:45 2.4K 
[ ]pralg_1__1565_20.min1.thm12017-02-06 12:45 668  
[ ]pralg_1__1566_25.min1.thm12017-02-06 12:45 836  
[ ]pralg_1__1568_31.min1.thm12017-02-06 12:45 459  
[ ]pralg_1__1568_31.min1.thm1.tptp2017-02-06 16:47 381  
[ ]pralg_1__1569_21.min1.thm12017-02-06 12:45 735  
[ ]pralg_1__1570_25.min1.thm12017-02-06 12:45 950  
[ ]pralg_1__1572_20.min1.thm12017-02-06 12:45 633  
[ ]pralg_1__1573_23.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__1576_21.min1.thm12017-02-06 12:45 732  
[ ]pralg_1__1578_16.min1.thm12017-02-06 12:45 600  
[ ]pralg_1__1587_22.min1.thm12017-02-06 12:45 684  
[ ]pralg_1__1588_28.min1.thm12017-02-06 12:45 719  
[ ]pralg_1__1589_19.min1.thm12017-02-06 12:45 870  
[ ]pralg_1__1598_22.min1.thm12017-02-06 12:45 684  
[ ]pralg_1__1599_28.min1.thm12017-02-06 12:45 719  
[ ]pralg_1__1600_19.min1.thm12017-02-06 12:45 689  
[ ]pralg_1__1610_44.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_1__1611_21.min1.thm12017-02-06 12:45 692  
[ ]pralg_1__1612_19.min1.thm12017-02-06 12:45 814  
[ ]pralg_1__1622_44.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_1__1623_21.min1.thm12017-02-06 12:45 692  
[ ]pralg_1__1624_19.min1.thm12017-02-06 12:45 605  
[ ]pralg_1__1639_18.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__1648_22.min1.thm12017-02-06 12:45 579  
[ ]pralg_1__1649_19.min1.thm12017-02-06 12:45 653  
[ ]pralg_1__1663_41.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1665_18.min1.thm12017-02-06 12:45 518  
[ ]pralg_1__1665_18.min1.thm1.tptp2017-02-06 16:47 452  
[ ]pralg_1__1678_27.min1.thm12017-02-06 12:45 477  
[ ]pralg_1__1678_27.min1.thm1.tptp2017-02-06 16:47 400  
[ ]pralg_1__1679_21.min1.thm12017-02-06 12:45 751  
[ ]pralg_1__1709_16.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_1__1711_17.min1.thm12017-02-06 12:45 232  
[ ]pralg_1__1718_52.min1.thm12017-02-06 12:45 845  
[ ]pralg_1__1720_21.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__1721_35.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_1__1723_30.min1.thm12017-02-06 12:45 525  
[ ]pralg_1__1724_40.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__1726_43.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_1__1733_23.min1.thm12017-02-06 12:45 639  
[ ]pralg_1__1744_52.min1.thm12017-02-06 12:45 343  
[ ]pralg_1__1744_52.min1.thm1.tptp2017-02-06 16:47 263  
[ ]pralg_1__1745_63.min1.thm12017-02-06 12:45 2.3K 
[ ]pralg_1__1751_52.min1.thm12017-02-06 12:45 845  
[ ]pralg_1__1752_30.min1.thm12017-02-06 12:45 802  
[ ]pralg_1__1753_35.min1.thm12017-02-06 12:45 690  
[ ]pralg_1__1758_30.min1.thm12017-02-06 12:45 679  
[ ]pralg_1__1760_48.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_1__1761_35.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_1__1762_25.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1763_29.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__1764_47.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_1__1771_24.min1.thm12017-02-06 12:45 905  
[ ]pralg_1__1775_41.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__1781_39.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_1__1784_42.min1.thm12017-02-06 12:45 900  
[ ]pralg_1__1787_22.min1.thm12017-02-06 12:45 680  
[ ]pralg_1__1788_43.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_1__1789_35.min1.thm12017-02-06 12:45 2.4K 
[ ]pralg_1__1790_29.min1.thm12017-02-06 12:45 2.9K 
[ ]pralg_1__1792_54.min1.thm12017-02-06 12:45 813  
[ ]pralg_1__1793_48.min1.thm12017-02-06 12:45 919  
[ ]pralg_1__1794_31.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__1801_35.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_1__1807_23.min1.thm12017-02-06 12:45 639  
[ ]pralg_1__1822_16.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1823_76.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1826_21.min1.thm12017-02-06 12:45 569  
[ ]pralg_1__1826_21.min1.thm1.tptp2017-02-06 16:47 491  
[ ]pralg_1__1828_46.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_1__1837_18.min1.thm12017-02-06 12:45 780  
[ ]pralg_1__1845_52.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_1__1847_22.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_1__1851_64.min1.thm12017-02-06 12:45 3.4K 
[ ]pralg_1__1853_22.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_1__1856_19.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_1__1880_16.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_1__1882_17.min1.thm12017-02-06 12:45 232  
[ ]pralg_1__1885_39.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_1__1886_25.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_1__1890_52.min1.thm12017-02-06 12:45 343  
[ ]pralg_1__1890_52.min1.thm1.tptp2017-02-06 16:47 263  
[ ]pralg_1__1891_63.min1.thm12017-02-06 12:45 2.3K 
[ ]pralg_1__1892_31.min1.thm12017-02-06 12:45 2.3K 
[ ]pralg_1__1893_25.min1.thm12017-02-06 12:45 2.4K 
[ ]pralg_1__1896_18.min1.thm12017-02-06 12:45 579  
[ ]pralg_1__1919_44.min1.thm12017-02-06 12:45 340  
[ ]pralg_1__1919_44.min1.thm1.tptp2017-02-06 16:47 262  
[ ]pralg_1__1920_36.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__1922_49.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_1__1932_21.min1.thm12017-02-06 12:45 663  
[ ]pralg_1__1937_41.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__1942_47.min1.thm12017-02-06 12:45 878  
[ ]pralg_1__1943_36.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__1945_49.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_1__1949_16.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_1__1952_51.min1.thm12017-02-06 12:45 897  
[ ]pralg_1__1957_35.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__1959_48.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_1__1971_35.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__1974_48.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_1__1979_18.min1.thm12017-02-06 12:45 660  
[ ]pralg_1__1982_48.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_1__1986_41.min1.thm12017-02-06 12:45 3.6K 
[ ]pralg_1__1995_19.min1.thm12017-02-06 12:45 3.0K 
[ ]pralg_1__2009_44.min1.thm12017-02-06 12:45 340  
[ ]pralg_1__2009_44.min1.thm1.tptp2017-02-06 16:47 262  
[ ]pralg_1__2010_36.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__2012_49.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_1__2016_18.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_1__2042_17.min1.thm12017-02-06 12:45 481  
[ ]pralg_1__2048_57.min1.thm12017-02-06 12:45 497  
[ ]pralg_1__2053_19.min1.thm12017-02-06 12:45 956  
[ ]pralg_1__2063_34.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_1__2067_52.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_1__2068_24.min1.thm12017-02-06 12:45 859  
[ ]pralg_1__2122_30.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_1__2123_35.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_1__2125_19.min1.thm12017-02-06 12:45 3.6K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80