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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pcomps_1__54_25.min1.thm12017-02-06 12:46 909  
[ ]pcomps_1__56_20.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__57_22.min1.thm12017-02-06 12:46 967  
[ ]pcomps_1__58_19.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__60_17.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__72_16.min1.thm12017-02-06 12:46 532  
[ ]pcomps_1__78_20.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__80_16.min1.thm12017-02-06 12:46 410  
[ ]pcomps_1__82_17.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__95_24.min1.thm12017-02-06 12:46 831  
[ ]pcomps_1__104_36.min1.thm12017-02-06 12:46 515  
[ ]pcomps_1__106_20.min1.thm12017-02-06 12:46 461  
[ ]pcomps_1__114_35.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__117_29.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__120_23.min1.thm12017-02-06 12:46 751  
[ ]pcomps_1__149_44.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__150_17.min1.thm12017-02-06 12:46 353  
[ ]pcomps_1__152_17.min1.thm12017-02-06 12:46 457  
[ ]pcomps_1__152_17.min1.thm1.tptp2017-02-06 16:47 393  
[ ]pcomps_1__171_20.min1.thm12017-02-06 12:46 333  
[ ]pcomps_1__171_20.min1.thm1.tptp2017-02-06 16:47 247  
[ ]pcomps_1__172_23.min1.thm12017-02-06 12:46 333  
[ ]pcomps_1__172_23.min1.thm1.tptp2017-02-06 16:47 247  
[ ]pcomps_1__184_24.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__186_25.min1.thm12017-02-06 12:46 365  
[ ]pcomps_1__186_25.min1.thm1.tptp2017-02-06 16:47 283  
[ ]pcomps_1__187_27.min1.thm12017-02-06 12:46 938  
[ ]pcomps_1__188_26.min1.thm12017-02-06 12:46 466  
[ ]pcomps_1__192_23.min1.thm12017-02-06 12:46 654  
[ ]pcomps_1__194_21.min1.thm12017-02-06 12:46 776  
[ ]pcomps_1__210_18.min1.thm12017-02-06 12:46 764  
[ ]pcomps_1__211_21.min1.thm12017-02-06 12:46 410  
[ ]pcomps_1__211_21.min1.thm1.tptp2017-02-06 16:47 332  
[ ]pcomps_1__241_41.min1.thm12017-02-06 12:46 535  
[ ]pcomps_1__242_54.min1.thm12017-02-06 12:46 833  
[ ]pcomps_1__243_22.min1.thm12017-02-06 12:46 833  
[ ]pcomps_1__246_15.min1.thm12017-02-06 12:46 389  
[ ]pcomps_1__246_15.min1.thm1.tptp2017-02-06 16:47 325  
[ ]pcomps_1__251_41.min1.thm12017-02-06 12:46 535  
[ ]pcomps_1__252_54.min1.thm12017-02-06 12:46 833  
[ ]pcomps_1__253_22.min1.thm12017-02-06 12:46 833  
[ ]pcomps_1__255_20.min1.thm12017-02-06 12:46 389  
[ ]pcomps_1__255_20.min1.thm1.tptp2017-02-06 16:47 325  
[ ]pcomps_1__256_19.min1.thm12017-02-06 12:46 422  
[ ]pcomps_1__269_16.min1.thm12017-02-06 12:46 599  
[ ]pcomps_1__271_17.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__279_32.min1.thm12017-02-06 12:46 129  
[ ]pcomps_1__288_36.min1.thm12017-02-06 12:46 906  
[ ]pcomps_1__289_51.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__293_15.min1.thm12017-02-06 12:46 610  
[ ]pcomps_1__300_32.min1.thm12017-02-06 12:46 129  
[ ]pcomps_1__313_22.min1.thm12017-02-06 12:46 855  
[ ]pcomps_1__321_38.min1.thm12017-02-06 12:46 944  
[ ]pcomps_1__323_21.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__325_19.min1.thm12017-02-06 12:46 529  
[ ]pcomps_1__325_19.min1.thm1.tptp2017-02-06 16:47 447  
[ ]pcomps_1__333_45.min1.thm12017-02-06 12:46 129  
[ ]pcomps_1__341_36.min1.thm12017-02-06 12:46 940  
[ ]pcomps_1__345_17.min1.thm12017-02-06 12:46 623  
[ ]pcomps_1__365_34.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__377_34.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__384_30.min1.thm12017-02-06 12:46 454  
[ ]pcomps_1__406_37.min1.thm12017-02-06 12:46 592  
[ ]pcomps_1__406_37.min1.thm1.tptp2017-02-06 16:47 506  
[ ]pcomps_1__408_19.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__408_19.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]pcomps_1__418_17.min1.thm12017-02-06 12:46 410  
[ ]pcomps_1__418_17.min1.thm1.tptp2017-02-06 16:47 347  
[ ]pcomps_1__420_20.min1.thm12017-02-06 12:46 579  
[ ]pcomps_1__435_56.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__437_57.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__439_19.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__441_15.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__442_13.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__443_22.min1.thm12017-02-06 12:46 1.6K 
[ ]pcomps_1__444_26.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__446_23.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__447_32.min1.thm12017-02-06 12:46 708  
[ ]pcomps_1__448_49.min1.thm12017-02-06 12:46 674  
[ ]pcomps_1__449_41.min1.thm12017-02-06 12:46 1.5K 
[ ]pcomps_1__450_19.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__451_27.min1.thm12017-02-06 12:46 848  
[ ]pcomps_1__452_44.min1.thm12017-02-06 12:46 535  
[ ]pcomps_1__452_44.min1.thm1.tptp2017-02-06 16:47 458  
[ ]pcomps_1__453_36.min1.thm12017-02-06 12:46 665  
[ ]pcomps_1__453_36.min1.thm1.tptp2017-02-06 16:47 594  
[ ]pcomps_1__454_55.min1.thm12017-02-06 12:46 2.2K 
[ ]pcomps_1__456_63.min1.thm12017-02-06 12:46 1.8K 
[ ]pcomps_1__460_16.min1.thm12017-02-06 12:46 516  
[ ]pcomps_1__469_23.min1.thm12017-02-06 12:46 1.7K 
[ ]pcomps_1__470_32.min1.thm12017-02-06 12:46 1.3K 
[ ]pcomps_1__471_19.min1.thm12017-02-06 12:46 2.1K 
[ ]pcomps_1__477_22.min1.thm12017-02-06 12:46 728  
[ ]pcomps_1__478_19.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__482_19.min1.thm12017-02-06 12:46 679  
[ ]pcomps_1__484_18.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__485_28.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__486_32.min1.thm12017-02-06 12:46 1.3K 
[ ]pcomps_1__487_19.min1.thm12017-02-06 12:46 1.6K 
[ ]pcomps_1__490_12.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__492_19.min1.thm12017-02-06 12:46 1.8K 
[ ]pcomps_1__494_17.min1.thm12017-02-06 12:46 883  
[ ]pcomps_1__506_36.min1.thm12017-02-06 12:46 516  
[ ]pcomps_1__509_32.min1.thm12017-02-06 12:46 133  
[ ]pcomps_1__512_20.min1.thm12017-02-06 12:46 740  
[ ]pcomps_1__515_17.min1.thm12017-02-06 12:46 495  
[ ]pcomps_1__515_17.min1.thm1.tptp2017-02-06 16:47 441  
[ ]pcomps_1__525_49.min1.thm12017-02-06 12:46 619  
[ ]pcomps_1__529_16.min1.thm12017-02-06 12:46 400  
[ ]pcomps_1__550_20.min1.thm12017-02-06 12:46 262  
[ ]pcomps_1__551_23.min1.thm12017-02-06 12:46 262  
[ ]pcomps_1__556_32.min1.thm12017-02-06 12:46 744  
[ ]pcomps_1__558_19.min1.thm12017-02-06 12:46 1.6K 
[ ]pcomps_1__571_24.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__574_22.min1.thm12017-02-06 12:46 1.3K 
[ ]pcomps_1__576_27.min1.thm12017-02-06 12:46 857  
[ ]pcomps_1__580_24.min1.thm12017-02-06 12:46 291  
[ ]pcomps_1__581_29.min1.thm12017-02-06 12:46 388  
[ ]pcomps_1__581_29.min1.thm1.tptp2017-02-06 16:47 302  
[ ]pcomps_1__582_38.min1.thm12017-02-06 12:46 1.5K 
[ ]pcomps_1__583_38.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__584_34.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__585_29.min1.thm12017-02-06 12:46 695  
[ ]pcomps_1__597_20.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__598_40.min1.thm12017-02-06 12:46 644  
[ ]pcomps_1__599_23.min1.thm12017-02-06 12:46 855  
[ ]pcomps_1__600_45.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__601_48.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__603_22.min1.thm12017-02-06 12:46 1.3K 
[ ]pcomps_1__607_23.min1.thm12017-02-06 12:46 919  
[ ]pcomps_1__607_23.min1.thm1.tptp2017-02-06 16:47 831  
[ ]pcomps_1__616_30.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__631_42.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__632_35.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__638_27.min1.thm12017-02-06 12:46 133  
[ ]pcomps_1__644_40.min1.thm12017-02-06 12:46 821  
[ ]pcomps_1__648_34.min1.thm12017-02-06 12:46 423  
[ ]pcomps_1__648_34.min1.thm1.tptp2017-02-06 16:47 359  
[ ]pcomps_1__655_48.min1.thm12017-02-06 12:46 1.6K 
[ ]pcomps_1__658_37.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__671_19.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__675_15.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__683_20.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__685_22.min1.thm12017-02-06 12:46 748  
[ ]pcomps_1__686_17.min1.thm12017-02-06 12:46 719  
[ ]pcomps_1__688_24.min1.thm12017-02-06 12:46 774  
[ ]pcomps_1__690_17.min1.thm12017-02-06 12:46 814  
[ ]pcomps_1__691_23.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__693_21.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__698_17.min1.thm12017-02-06 12:46 821  
[ ]pcomps_1__716_20.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__720_16.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__721_33.min1.thm12017-02-06 12:46 317  
[ ]pcomps_1__722_20.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__723_20.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__724_21.min1.thm12017-02-06 12:46 854  
[ ]pcomps_1__729_31.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__730_30.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__731_34.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__732_17.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__755_19.min1.thm12017-02-06 12:46 1.5K 
[ ]pcomps_1__776_19.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__778_57.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__779_23.min1.thm12017-02-06 12:46 826  
[ ]pcomps_1__780_28.min1.thm12017-02-06 12:46 280  
[ ]pcomps_1__781_31.min1.thm12017-02-06 12:46 338  
[ ]pcomps_1__781_31.min1.thm1.tptp2017-02-06 16:47 260  
[ ]pcomps_1__782_18.min1.thm12017-02-06 12:46 692  
[ ]pcomps_1__805_19.min1.thm12017-02-06 12:46 861  
[ ]pcomps_1__817_24.min1.thm12017-02-06 12:46 384  
[ ]pcomps_1__817_24.min1.thm1.tptp2017-02-06 16:47 298  
[ ]pcomps_1__820_30.min1.thm12017-02-06 12:46 773  
[ ]pcomps_1__827_24.min1.thm12017-02-06 12:46 446  
[ ]pcomps_1__827_24.min1.thm1.tptp2017-02-06 16:47 360  
[ ]pcomps_1__828_24.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__830_30.min1.thm12017-02-06 12:46 773  
[ ]pcomps_1__833_23.min1.thm12017-02-06 12:46 334  
[ ]pcomps_1__836_27.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__838_24.min1.thm12017-02-06 12:46 845  
[ ]pcomps_1__845_18.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__848_23.min1.thm12017-02-06 12:46 803  
[ ]pcomps_1__853_20.min1.thm12017-02-06 12:46 597  
[ ]pcomps_1__856_16.min1.thm12017-02-06 12:46 254  
[ ]pcomps_1__858_20.min1.thm12017-02-06 12:46 816  
[ ]pcomps_1__863_28.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__877_40.min1.thm12017-02-06 12:46 1.3K 
[ ]pcomps_1__880_14.min1.thm12017-02-06 12:46 602  
[ ]pcomps_1__881_34.min1.thm12017-02-06 12:46 516  
[ ]pcomps_1__883_18.min1.thm12017-02-06 12:46 1.5K 
[ ]pcomps_1__898_18.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__899_21.min1.thm12017-02-06 12:46 727  
[ ]pcomps_1__900_38.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__901_31.min1.thm12017-02-06 12:46 1.3K 
[ ]pcomps_1__902_34.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__903_32.min1.thm12017-02-06 12:46 1.3K 
[ ]pcomps_1__904_31.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__905_31.min1.thm12017-02-06 12:46 625  
[ ]pcomps_1__906_23.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__909_16.min1.thm12017-02-06 12:46 394  
[ ]pcomps_1__916_29.min1.thm12017-02-06 12:46 599  
[ ]pcomps_1__916_29.min1.thm1.tptp2017-02-06 16:47 545  
[ ]pcomps_1__917_33.min1.thm12017-02-06 12:46 490  
[ ]pcomps_1__922_22.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__923_36.min1.thm12017-02-06 12:46 880  
[ ]pcomps_1__924_35.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__925_25.min1.thm12017-02-06 12:46 640  
[ ]pcomps_1__925_25.min1.thm1.tptp2017-02-06 16:47 576  
[ ]pcomps_1__926_24.min1.thm12017-02-06 12:46 742  
[ ]pcomps_1__927_25.min1.thm12017-02-06 12:46 608  
[ ]pcomps_1__940_16.min1.thm12017-02-06 12:46 1.1K 
[ ]pcomps_1__942_20.min1.thm12017-02-06 12:46 262  
[ ]pcomps_1__943_18.min1.thm12017-02-06 12:46 526  
[ ]pcomps_1__946_19.min1.thm12017-02-06 12:46 829  
[ ]pcomps_1__950_21.min1.thm12017-02-06 12:46 767  
[ ]pcomps_1__970_17.min1.thm12017-02-06 12:46 663  
[ ]pcomps_1__980_20.min1.thm12017-02-06 12:46 1.3K 
[ ]pcomps_1__985_18.min1.thm12017-02-06 12:46 1.3K 
[ ]pcomps_1__1012_24.min1.thm12017-02-06 12:46 530  
[ ]pcomps_1__1014_16.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__1015_21.min1.thm12017-02-06 12:46 557  
[ ]pcomps_1__1020_20.min1.thm12017-02-06 12:46 773  
[ ]pcomps_1__1020_20.min1.thm1.tptp2017-02-06 16:47 695  
[ ]pcomps_1__1025_18.min1.thm12017-02-06 12:46 650  
[ ]pcomps_1__1060_66.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__1061_24.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__1065_66.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__1066_24.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__1068_21.min1.thm12017-02-06 12:46 535  
[ ]pcomps_1__1068_21.min1.thm1.tptp2017-02-06 16:47 447  
[ ]pcomps_1__1070_19.min1.thm12017-02-06 12:46 949  
[ ]pcomps_1__1079_9.min1.thm12017-02-06 12:46 324  
[ ]pcomps_1__1081_15.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__1082_13.min1.thm12017-02-06 12:46 888  
[ ]pcomps_1__1090_28.min1.thm12017-02-06 12:46 383  
[ ]pcomps_1__1096_20.min1.thm12017-02-06 12:46 917  
[ ]pcomps_1__1097_22.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__1102_17.min1.thm12017-02-06 12:46 1.3K 
[ ]pcomps_1__1107_40.min1.thm12017-02-06 12:46 1.9K 
[ ]pcomps_1__1109_34.min1.thm12017-02-06 12:46 1.9K 
[ ]pcomps_1__1110_43.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__1112_21.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__1126_24.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__1129_29.min1.thm12017-02-06 12:46 1.3K 
[ ]pcomps_1__1130_19.min1.thm12017-02-06 12:46 1.3K 
[ ]pcomps_1__1133_29.min1.thm12017-02-06 12:46 1.3K 
[ ]pcomps_1__1135_27.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__1136_33.min1.thm12017-02-06 12:46 693  
[ ]pcomps_1__1137_27.min1.thm12017-02-06 12:46 1.5K 
[ ]pcomps_1__1138_17.min1.thm12017-02-06 12:46 694  
[ ]pcomps_1__1148_71.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__1156_55.min1.thm12017-02-06 12:46 787  
[ ]pcomps_1__1157_17.min1.thm12017-02-06 12:46 1.3K 
[ ]pcomps_1__1173_18.min1.thm12017-02-06 12:46 687  
[ ]pcomps_1__1176_21.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__1177_13.min1.thm12017-02-06 12:46 780  
[ ]pcomps_1__1180_21.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__1183_29.min1.thm12017-02-06 12:46 1.6K 
[ ]pcomps_1__1185_21.min1.thm12017-02-06 12:46 625  
[ ]pcomps_1__1186_29.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__1187_26.min1.thm12017-02-06 12:46 625  
[ ]pcomps_1__1188_19.min1.thm12017-02-06 12:46 895  
[ ]pcomps_1__1206_13.min1.thm12017-02-06 12:46 701  
[ ]pcomps_1__1207_35.min1.thm12017-02-06 12:46 516  
[ ]pcomps_1__1212_17.min1.thm12017-02-06 12:46 250  
[ ]pcomps_1__1213_19.min1.thm12017-02-06 12:46 712  
[ ]pcomps_1__1214_19.min1.thm12017-02-06 12:46 615  
[ ]pcomps_1__1224_43.min1.thm12017-02-06 12:46 1.9K 
[ ]pcomps_1__1235_11.min1.thm12017-02-06 12:46 560  
[ ]pcomps_1__1241_14.min1.thm12017-02-06 12:46 850  
[ ]pcomps_1__1263_21.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__1264_25.min1.thm12017-02-06 12:46 2.5K 
[ ]pcomps_1__1266_12.min1.thm12017-02-06 12:46 1.9K 
[ ]pcomps_1__1272_60.min1.thm12017-02-06 12:46 1.9K 
[ ]pcomps_1__1289_38.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__1292_16.min1.thm12017-02-06 12:46 1.0K 
[ ]pcomps_1__1303_18.min1.thm12017-02-06 12:46 873  
[ ]pcomps_1__1326_35.min1.thm12017-02-06 12:46 756  
[ ]pcomps_1__1332_47.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__1334_47.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__1335_70.min1.thm12017-02-06 12:46 1.5K 
[ ]pcomps_1__1350_47.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__1352_47.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__1355_20.min1.thm12017-02-06 12:46 1.9K 
[ ]pcomps_1__1360_17.min1.thm12017-02-06 12:46 1.2K 
[ ]pcomps_1__1360_17.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]pcomps_1__1370_14.min1.thm12017-02-06 12:46 1.4K 
[ ]pcomps_1__1391_21.min1.thm12017-02-06 12:46 609  
[ ]pcomps_1__1404_44.min1.thm12017-02-06 12:46 794  
[ ]pcomps_1__1405_14.min1.thm12017-02-06 12:46 1.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80