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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dtconstr__49_46.min1.thm12017-02-06 12:44 697  
[ ]dtconstr__50_17.min1.thm12017-02-06 12:44 498  
[ ]dtconstr__50_17.min1.thm1.tptp2017-02-06 16:47 433  
[ ]dtconstr__61_15.min1.thm12017-02-06 12:44 615  
[ ]dtconstr__62_17.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__68_11.min1.thm12017-02-06 12:44 741  
[ ]dtconstr__79_15.min1.thm12017-02-06 12:44 681  
[ ]dtconstr__94_37.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__99_41.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__101_12.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__102_19.min1.thm12017-02-06 12:44 1.6K 
[ ]dtconstr__107_7.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__110_18.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__116_24.min1.thm12017-02-06 12:44 962  
[ ]dtconstr__117_27.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__118_18.min1.thm12017-02-06 12:44 765  
[ ]dtconstr__119_24.min1.thm12017-02-06 12:44 900  
[ ]dtconstr__125_43.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__142_17.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__143_53.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__152_25.min1.thm12017-02-06 12:44 937  
[ ]dtconstr__153_31.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__154_24.min1.thm12017-02-06 12:44 951  
[ ]dtconstr__155_33.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__156_24.min1.thm12017-02-06 12:44 951  
[ ]dtconstr__157_33.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__158_29.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__164_26.min1.thm12017-02-06 12:44 472  
[ ]dtconstr__166_51.min1.thm12017-02-06 12:44 1.7K 
[ ]dtconstr__176_24.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__177_24.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__178_47.min1.thm12017-02-06 12:44 1.8K 
[ ]dtconstr__185_16.min1.thm12017-02-06 12:44 806  
[ ]dtconstr__186_24.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__187_20.min1.thm12017-02-06 12:44 1.6K 
[ ]dtconstr__188_21.min1.thm12017-02-06 12:44 592  
[ ]dtconstr__190_19.min1.thm12017-02-06 12:44 757  
[ ]dtconstr__195_24.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__196_24.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__197_47.min1.thm12017-02-06 12:44 1.8K 
[ ]dtconstr__204_16.min1.thm12017-02-06 12:44 806  
[ ]dtconstr__205_24.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__206_20.min1.thm12017-02-06 12:44 1.6K 
[ ]dtconstr__207_21.min1.thm12017-02-06 12:44 592  
[ ]dtconstr__209_19.min1.thm12017-02-06 12:44 757  
[ ]dtconstr__217_20.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__218_9.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__219_19.min1.thm12017-02-06 12:44 1.6K 
[ ]dtconstr__221_9.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__222_14.min1.thm12017-02-06 12:44 1.6K 
[ ]dtconstr__242_30.min1.thm12017-02-06 12:44 791  
[ ]dtconstr__251_30.min1.thm12017-02-06 12:44 491  
[ ]dtconstr__278_56.min1.thm12017-02-06 12:44 486  
[ ]dtconstr__279_32.min1.thm12017-02-06 12:44 688  
[ ]dtconstr__281_62.min1.thm12017-02-06 12:44 648  
[ ]dtconstr__284_40.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__291_60.min1.thm12017-02-06 12:44 482  
[ ]dtconstr__292_31.min1.thm12017-02-06 12:44 670  
[ ]dtconstr__294_60.min1.thm12017-02-06 12:44 644  
[ ]dtconstr__297_38.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__313_26.min1.thm12017-02-06 12:44 493  
[ ]dtconstr__313_26.min1.thm1.tptp2017-02-06 16:47 439  
[ ]dtconstr__315_8.min1.thm12017-02-06 12:44 820  
[ ]dtconstr__317_4.min1.thm12017-02-06 12:44 812  
[ ]dtconstr__354_48.min1.thm12017-02-06 12:44 654  
[ ]dtconstr__363_44.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__376_38.min1.thm12017-02-06 12:44 672  
[ ]dtconstr__381_38.min1.thm12017-02-06 12:44 602  
[ ]dtconstr__381_38.min1.thm1.tptp2017-02-06 16:47 540  
[ ]dtconstr__389_74.min1.thm12017-02-06 12:44 643  
[ ]dtconstr__395_19.min1.thm12017-02-06 12:44 643  
[ ]dtconstr__397_75.min1.thm12017-02-06 12:44 477  
[ ]dtconstr__397_75.min1.thm1.tptp2017-02-06 16:47 399  
[ ]dtconstr__399_18.min1.thm12017-02-06 12:44 251  
[ ]dtconstr__403_44.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__404_43.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__419_53.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__420_18.min1.thm12017-02-06 12:44 504  
[ ]dtconstr__420_18.min1.thm1.tptp2017-02-06 16:47 440  
[ ]dtconstr__429_56.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__430_58.min1.thm12017-02-06 12:44 860  
[ ]dtconstr__432_8.min1.thm12017-02-06 12:44 683  
[ ]dtconstr__445_25.min1.thm12017-02-06 12:44 1.6K 
[ ]dtconstr__446_55.min1.thm12017-02-06 12:44 758  
[ ]dtconstr__448_22.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__457_39.min1.thm12017-02-06 12:44 583  
[ ]dtconstr__457_39.min1.thm1.tptp2017-02-06 16:47 506  
[ ]dtconstr__458_25.min1.thm12017-02-06 12:44 560  
[ ]dtconstr__458_25.min1.thm1.tptp2017-02-06 16:47 480  
[ ]dtconstr__462_24.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__463_23.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__468_18.min1.thm12017-02-06 12:44 770  
[ ]dtconstr__470_21.min1.thm12017-02-06 12:44 452  
[ ]dtconstr__471_27.min1.thm12017-02-06 12:44 422  
[ ]dtconstr__474_20.min1.thm12017-02-06 12:44 805  
[ ]dtconstr__475_23.min1.thm12017-02-06 12:44 469  
[ ]dtconstr__476_19.min1.thm12017-02-06 12:44 892  
[ ]dtconstr__477_20.min1.thm12017-02-06 12:44 515  
[ ]dtconstr__478_77.min1.thm12017-02-06 12:44 728  
[ ]dtconstr__489_36.min1.thm12017-02-06 12:44 1.8K 
[ ]dtconstr__523_38.min1.thm12017-02-06 12:44 654  
[ ]dtconstr__527_38.min1.thm12017-02-06 12:44 584  
[ ]dtconstr__527_38.min1.thm1.tptp2017-02-06 16:47 522  
[ ]dtconstr__533_21.min1.thm12017-02-06 12:44 953  
[ ]dtconstr__534_24.min1.thm12017-02-06 12:44 543  
[ ]dtconstr__536_26.min1.thm12017-02-06 12:44 879  
[ ]dtconstr__536_26.min1.thm1.tptp2017-02-06 16:47 802  
[ ]dtconstr__547_16.min1.thm12017-02-06 12:44 728  
[ ]dtconstr__548_15.min1.thm12017-02-06 12:44 491  
[ ]dtconstr__549_19.min1.thm12017-02-06 12:44 898  
[ ]dtconstr__585_41.min1.thm12017-02-06 12:44 264  
[ ]dtconstr__590_32.min1.thm12017-02-06 12:44 446  
[ ]dtconstr__609_30.min1.thm12017-02-06 12:44 697  
[ ]dtconstr__609_30.min1.thm1.tptp2017-02-06 16:47 634  
[ ]dtconstr__616_62.min1.thm12017-02-06 12:44 399  
[ ]dtconstr__616_62.min1.thm1.tptp2017-02-06 16:47 321  
[ ]dtconstr__619_16.min1.thm12017-02-06 12:44 303  
[ ]dtconstr__619_16.min1.thm1.tptp2017-02-06 16:47 221  
[ ]dtconstr__625_43.min1.thm12017-02-06 12:44 3.1K 
[ ]dtconstr__632_27.min1.thm12017-02-06 12:44 1.7K 
[ ]dtconstr__643_21.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__644_24.min1.thm12017-02-06 12:44 946  
[ ]dtconstr__646_31.min1.thm12017-02-06 12:44 917  
[ ]dtconstr__660_18.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__663_48.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__664_18.min1.thm12017-02-06 12:44 538  
[ ]dtconstr__666_46.min1.thm12017-02-06 12:44 4.5K 
[ ]dtconstr__678_38.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__692_55.min1.thm12017-02-06 12:44 822  
[ ]dtconstr__694_6.min1.thm12017-02-06 12:44 949  
[ ]dtconstr__695_56.min1.thm12017-02-06 12:44 680  
[ ]dtconstr__697_9.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__698_45.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__699_62.min1.thm12017-02-06 12:44 585  
[ ]dtconstr__700_46.min1.thm12017-02-06 12:44 568  
[ ]dtconstr__702_6.min1.thm12017-02-06 12:44 1.9K 
[ ]dtconstr__708_49.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__711_25.min1.thm12017-02-06 12:44 757  
[ ]dtconstr__711_25.min1.thm1.tptp2017-02-06 16:47 684  
[ ]dtconstr__727_18.min1.thm12017-02-06 12:44 845  
[ ]dtconstr__733_68.min1.thm12017-02-06 12:44 901  
[ ]dtconstr__734_18.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__736_48.min1.thm12017-02-06 12:44 499  
[ ]dtconstr__736_48.min1.thm1.tptp2017-02-06 16:47 421  
[ ]dtconstr__741_25.min1.thm12017-02-06 12:44 627  
[ ]dtconstr__762_41.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__765_14.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__767_25.min1.thm12017-02-06 12:44 968  
[ ]dtconstr__768_72.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__769_23.min1.thm12017-02-06 12:44 749  
[ ]dtconstr__769_23.min1.thm1.tptp2017-02-06 16:47 681  
[ ]dtconstr__783_16.min1.thm12017-02-06 12:44 1.8K 
[ ]dtconstr__785_25.min1.thm12017-02-06 12:44 968  
[ ]dtconstr__787_30.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__800_8.min1.thm12017-02-06 12:44 2.9K 
[ ]dtconstr__804_20.min1.thm12017-02-06 12:44 3.4K 
[ ]dtconstr__805_67.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__806_19.min1.thm12017-02-06 12:44 553  
[ ]dtconstr__806_19.min1.thm1.tptp2017-02-06 16:47 476  
[ ]dtconstr__844_44.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__863_10.min1.thm12017-02-06 12:44 664  
[ ]dtconstr__867_10.min1.thm12017-02-06 12:44 590  
[ ]dtconstr__867_10.min1.thm1.tptp2017-02-06 16:47 528  
[ ]dtconstr__881_45.min1.thm12017-02-06 12:44 654  
[ ]dtconstr__898_38.min1.thm12017-02-06 12:44 658  
[ ]dtconstr__903_38.min1.thm12017-02-06 12:44 588  
[ ]dtconstr__903_38.min1.thm1.tptp2017-02-06 16:47 526  
[ ]dtconstr__904_17.min1.thm12017-02-06 12:44 301  
[ ]dtconstr__907_31.min1.thm12017-02-06 12:44 882  
[ ]dtconstr__908_21.min1.thm12017-02-06 12:44 838  
[ ]dtconstr__916_56.min1.thm12017-02-06 12:44 663  
[ ]dtconstr__926_27.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__927_35.min1.thm12017-02-06 12:44 775  
[ ]dtconstr__928_66.min1.thm12017-02-06 12:44 836  
[ ]dtconstr__929_27.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__931_28.min1.thm12017-02-06 12:44 2.6K 
[ ]dtconstr__940_51.min1.thm12017-02-06 12:44 662  
[ ]dtconstr__942_28.min1.thm12017-02-06 12:44 576  
[ ]dtconstr__952_37.min1.thm12017-02-06 12:44 571  
[ ]dtconstr__952_37.min1.thm1.tptp2017-02-06 16:47 494  
[ ]dtconstr__953_23.min1.thm12017-02-06 12:44 546  
[ ]dtconstr__953_23.min1.thm1.tptp2017-02-06 16:47 466  
[ ]dtconstr__955_18.min1.thm12017-02-06 12:44 441  
[ ]dtconstr__955_18.min1.thm1.tptp2017-02-06 16:47 380  
[ ]dtconstr__962_16.min1.thm12017-02-06 12:44 306  
[ ]dtconstr__963_41.min1.thm12017-02-06 12:44 492  
[ ]dtconstr__964_18.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__968_38.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__972_24.min1.thm12017-02-06 12:44 884  
[ ]dtconstr__977_54.min1.thm12017-02-06 12:44 655  
[ ]dtconstr__985_21.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__986_23.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__987_34.min1.thm12017-02-06 12:44 767  
[ ]dtconstr__988_61.min1.thm12017-02-06 12:44 742  
[ ]dtconstr__990_32.min1.thm12017-02-06 12:44 2.7K 
[ ]dtconstr__991_37.min1.thm12017-02-06 12:44 2.1K 
[ ]dtconstr__995_25.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__996_23.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__997_30.min1.thm12017-02-06 12:44 2.4K 
[ ]dtconstr__998_25.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__1000_39.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__1001_49.min1.thm12017-02-06 12:44 878  
[ ]dtconstr__1009_40.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__1010_23.min1.thm12017-02-06 12:44 664  
[ ]dtconstr__1043_41.min1.thm12017-02-06 12:44 264  
[ ]dtconstr__1048_32.min1.thm12017-02-06 12:44 446  
[ ]dtconstr__1062_6.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__1067_6.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__1071_15.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__1076_48.min1.thm12017-02-06 12:44 701  
[ ]dtconstr__1078_50.min1.thm12017-02-06 12:44 733  
[ ]dtconstr__1079_35.min1.thm12017-02-06 12:44 954  
[ ]dtconstr__1081_19.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__1093_28.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__1094_28.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__1109_8.min1.thm12017-02-06 12:44 3.3K 
[ ]dtconstr__1114_15.min1.thm12017-02-06 12:44 299  
[ ]dtconstr__1126_40.min1.thm12017-02-06 12:44 553  
[ ]dtconstr__1126_40.min1.thm1.tptp2017-02-06 16:47 476  
[ ]dtconstr__1130_24.min1.thm12017-02-06 12:44 757  
[ ]dtconstr__1141_40.min1.thm12017-02-06 12:44 757  
[ ]dtconstr__1146_55.min1.thm12017-02-06 12:44 654  
[ ]dtconstr__1152_55.min1.thm12017-02-06 12:44 655  
[ ]dtconstr__1166_26.min1.thm12017-02-06 12:44 1.8K 
[ ]dtconstr__1169_26.min1.thm12017-02-06 12:44 1.9K 
[ ]dtconstr__1170_23.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__1171_23.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__1175_23.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__1187_19.min1.thm12017-02-06 12:44 646  
[ ]dtconstr__1190_19.min1.thm12017-02-06 12:44 647  
[ ]dtconstr__1191_40.min1.thm12017-02-06 12:44 442  
[ ]dtconstr__1199_33.min1.thm12017-02-06 12:44 547  
[ ]dtconstr__1199_33.min1.thm1.tptp2017-02-06 16:47 470  
[ ]dtconstr__1200_19.min1.thm12017-02-06 12:44 518  
[ ]dtconstr__1200_19.min1.thm1.tptp2017-02-06 16:47 438  
[ ]dtconstr__1205_40.min1.thm12017-02-06 12:44 587  
[ ]dtconstr__1206_15.min1.thm12017-02-06 12:44 846  
[ ]dtconstr__1209_22.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__1211_34.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__1212_38.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__1252_16.min1.thm12017-02-06 12:44 2.4K 
[ ]dtconstr__1323_59.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__1325_30.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__1326_76.min1.thm12017-02-06 12:44 680  
[ ]dtconstr__1346_36.min1.thm12017-02-06 12:44 626  
[ ]dtconstr__1346_36.min1.thm1.tptp2017-02-06 16:47 564  
[ ]dtconstr__1352_28.min1.thm12017-02-06 12:44 411  
[ ]dtconstr__1352_28.min1.thm1.tptp2017-02-06 16:47 338  
[ ]dtconstr__1353_21.min1.thm12017-02-06 12:44 913  
[ ]dtconstr__1354_21.min1.thm12017-02-06 12:44 963  
[ ]dtconstr__1355_23.min1.thm12017-02-06 12:44 553  
[ ]dtconstr__1356_26.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__1367_27.min1.thm12017-02-06 12:44 577  
[ ]dtconstr__1368_30.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__1370_60.min1.thm12017-02-06 12:44 2.3K 
[ ]dtconstr__1379_22.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__1386_8.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__1398_40.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__1418_41.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__1420_49.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__1421_23.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__1429_19.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__1430_41.min1.thm12017-02-06 12:44 1.6K 
[ ]dtconstr__1432_57.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__1433_23.min1.thm12017-02-06 12:44 1.6K 
[ ]dtconstr__1438_65.min1.thm12017-02-06 12:44 804  
[ ]dtconstr__1443_49.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__1445_32.min1.thm12017-02-06 12:44 783  
[ ]dtconstr__1456_21.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__1457_43.min1.thm12017-02-06 12:44 668  
[ ]dtconstr__1509_20.min1.thm12017-02-06 12:44 946  
[ ]dtconstr__1512_17.min1.thm12017-02-06 12:44 423  
[ ]dtconstr__1545_43.min1.thm12017-02-06 12:44 930  
[ ]dtconstr__1549_22.min1.thm12017-02-06 12:44 664  
[ ]dtconstr__1568_25.min1.thm12017-02-06 12:44 948  
[ ]dtconstr__1570_32.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__1584_17.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__1587_46.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__1588_19.min1.thm12017-02-06 12:44 604  
[ ]dtconstr__1588_19.min1.thm1.tptp2017-02-06 16:47 529  
[ ]dtconstr__1603_37.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__1618_53.min1.thm12017-02-06 12:44 814  
[ ]dtconstr__1620_4.min1.thm12017-02-06 12:44 947  
[ ]dtconstr__1621_52.min1.thm12017-02-06 12:44 672  
[ ]dtconstr__1623_4.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__1624_43.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__1625_56.min1.thm12017-02-06 12:44 583  
[ ]dtconstr__1626_42.min1.thm12017-02-06 12:44 558  
[ ]dtconstr__1634_50.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__1637_23.min1.thm12017-02-06 12:44 736  
[ ]dtconstr__1637_23.min1.thm1.tptp2017-02-06 16:47 663  
[ ]dtconstr__1652_21.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__1693_43.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__1694_30.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__1695_24.min1.thm12017-02-06 12:44 512  
[ ]dtconstr__1715_72.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__1724_56.min1.thm12017-02-06 12:44 1.7K 
[ ]dtconstr__1725_29.min1.thm12017-02-06 12:44 2.0K 
[ ]dtconstr__1726_23.min1.thm12017-02-06 12:44 594  
[ ]dtconstr__1730_59.min1.thm12017-02-06 12:44 2.3K 
[ ]dtconstr__1766_34.min1.thm12017-02-06 12:44 648  
[ ]dtconstr__1766_34.min1.thm1.tptp2017-02-06 16:47 615  
[ ]dtconstr__1768_48.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__1784_30.min1.thm12017-02-06 12:44 928  
[ ]dtconstr__1786_47.min1.thm12017-02-06 12:44 454  
[ ]dtconstr__1791_25.min1.thm12017-02-06 12:44 674  
[ ]dtconstr__1799_48.min1.thm12017-02-06 12:44 659  
[ ]dtconstr__1800_34.min1.thm12017-02-06 12:44 2.3K 
[ ]dtconstr__1811_31.min1.thm12017-02-06 12:44 868  
[ ]dtconstr__1819_44.min1.thm12017-02-06 12:44 651  
[ ]dtconstr__1820_19.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__1821_17.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__1825_32.min1.thm12017-02-06 12:44 561  
[ ]dtconstr__1850_28.min1.thm12017-02-06 12:44 488  
[ ]dtconstr__1851_31.min1.thm12017-02-06 12:44 367  
[ ]dtconstr__1855_39.min1.thm12017-02-06 12:44 398  
[ ]dtconstr__1855_39.min1.thm1.tptp2017-02-06 16:47 312  
[ ]dtconstr__1867_34.min1.thm12017-02-06 12:44 933  
[ ]dtconstr__1869_12.min1.thm12017-02-06 12:44 713  
[ ]dtconstr__1870_18.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__1871_39.min1.thm12017-02-06 12:44 3.1K 
[ ]dtconstr__1879_14.min1.thm12017-02-06 12:44 451  
[ ]dtconstr__1879_14.min1.thm1.tptp2017-02-06 16:47 368  
[ ]dtconstr__1899_44.min1.thm12017-02-06 12:44 569  
[ ]dtconstr__1910_13.min1.thm12017-02-06 12:44 378  
[ ]dtconstr__1913_49.min1.thm12017-02-06 12:44 922  
[ ]dtconstr__1919_45.min1.thm12017-02-06 12:44 914  
[ ]dtconstr__1920_33.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__1921_64.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__1972_21.min1.thm12017-02-06 12:44 1.7K 
[ ]dtconstr__1989_4.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__2002_22.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__2006_50.min1.thm12017-02-06 12:44 898  
[ ]dtconstr__2033_15.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__2038_50.min1.thm12017-02-06 12:44 941  
[ ]dtconstr__2039_26.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__2043_46.min1.thm12017-02-06 12:44 939  
[ ]dtconstr__2076_14.min1.thm12017-02-06 12:44 313  
[ ]dtconstr__2080_33.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__2081_36.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__2102_11.min1.thm12017-02-06 12:44 1.7K 
[ ]dtconstr__2173_63.min1.thm12017-02-06 12:44 928  
[ ]dtconstr__2176_63.min1.thm12017-02-06 12:44 928  
[ ]dtconstr__2191_61.min1.thm12017-02-06 12:44 2.5K 
[ ]dtconstr__2193_27.min1.thm12017-02-06 12:44 2.5K 
[ ]dtconstr__2205_19.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__2233_45.min1.thm12017-02-06 12:44 1.8K 
[ ]dtconstr__2246_11.min1.thm12017-02-06 12:44 415  
[ ]dtconstr__2247_54.min1.thm12017-02-06 12:44 755  
[ ]dtconstr__2269_54.min1.thm12017-02-06 12:44 337  
[ ]dtconstr__2269_54.min1.thm1.tptp2017-02-06 16:47 257  
[ ]dtconstr__2270_42.min1.thm12017-02-06 12:44 434  
[ ]dtconstr__2271_32.min1.thm12017-02-06 12:44 706  
[ ]dtconstr__2272_34.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__2275_23.min1.thm12017-02-06 12:44 319  
[ ]dtconstr__2275_23.min1.thm1.tptp2017-02-06 16:47 243  
[ ]dtconstr__2276_32.min1.thm12017-02-06 12:44 891  
[ ]dtconstr__2299_41.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__2300_60.min1.thm12017-02-06 12:44 563  
[ ]dtconstr__2302_19.min1.thm12017-02-06 12:44 303  
[ ]dtconstr__2307_37.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__2310_18.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__2332_41.min1.thm12017-02-06 12:44 763  
[ ]dtconstr__2337_55.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__2344_41.min1.thm12017-02-06 12:44 763  
[ ]dtconstr__2349_55.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__2352_19.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__2357_42.min1.thm12017-02-06 12:44 356  
[ ]dtconstr__2357_42.min1.thm1.tptp2017-02-06 16:47 278  
[ ]dtconstr__2358_45.min1.thm12017-02-06 12:44 920  
[ ]dtconstr__2359_37.min1.thm12017-02-06 12:44 1.6K 
[ ]dtconstr__2387_46.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__2388_63.min1.thm12017-02-06 12:44 572  
[ ]dtconstr__2390_19.min1.thm12017-02-06 12:44 303  
[ ]dtconstr__2394_37.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__2427_41.min1.thm12017-02-06 12:44 763  
[ ]dtconstr__2439_41.min1.thm12017-02-06 12:44 763  
[ ]dtconstr__2448_19.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__2469_46.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__2470_63.min1.thm12017-02-06 12:44 572  
[ ]dtconstr__2472_19.min1.thm12017-02-06 12:44 303  
[ ]dtconstr__2476_37.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__2509_41.min1.thm12017-02-06 12:44 763  
[ ]dtconstr__2521_41.min1.thm12017-02-06 12:44 763  
[ ]dtconstr__2530_19.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__2550_55.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__2553_16.min1.thm12017-02-06 12:44 467  
[ ]dtconstr__2553_16.min1.thm1.tptp2017-02-06 16:47 389  
[ ]dtconstr__2568_53.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__2571_16.min1.thm12017-02-06 12:44 473  
[ ]dtconstr__2571_16.min1.thm1.tptp2017-02-06 16:47 395  
[ ]dtconstr__2586_54.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__2589_16.min1.thm12017-02-06 12:44 473  
[ ]dtconstr__2589_16.min1.thm1.tptp2017-02-06 16:47 395  
[ ]dtconstr__2617_26.min1.thm12017-02-06 12:44 1.8K 
[ ]dtconstr__2622_18.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__2626_19.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__2633_17.min1.thm12017-02-06 12:44 1.7K 
[ ]dtconstr__2644_23.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__2649_55.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__2694_29.min1.thm12017-02-06 12:44 2.3K 
[ ]dtconstr__2696_22.min1.thm12017-02-06 12:44 2.1K 
[ ]dtconstr__2712_18.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__2715_23.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__2734_26.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__2740_14.min1.thm12017-02-06 12:44 607  
[ ]dtconstr__2751_31.min1.thm12017-02-06 12:44 805  
[ ]dtconstr__2754_31.min1.thm12017-02-06 12:44 1.8K 
[ ]dtconstr__2754_43.min1.thm12017-02-06 12:44 2.1K 
[ ]dtconstr__2765_19.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__2784_18.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__2791_33.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__2803_11.min1.thm12017-02-06 12:44 592  
[ ]dtconstr__2803_11.min1.thm1.tptp2017-02-06 16:47 529  
[ ]dtconstr__2807_9.min1.thm12017-02-06 12:44 440  
[ ]dtconstr__2815_15.min1.thm12017-02-06 12:44 195  
[ ]dtconstr__2819_43.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__2820_60.min1.thm12017-02-06 12:44 775  
[ ]dtconstr__2820_60.min1.thm1.tptp2017-02-06 16:47 698  
[ ]dtconstr__2823_27.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__2845_50.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__2872_29.min1.thm12017-02-06 12:44 2.3K 
[ ]dtconstr__2874_22.min1.thm12017-02-06 12:44 2.1K 
[ ]dtconstr__2890_18.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__2893_23.min1.thm12017-02-06 12:44 1.1K 
[ ]dtconstr__2918_14.min1.thm12017-02-06 12:44 607  
[ ]dtconstr__2929_31.min1.thm12017-02-06 12:44 805  
[ ]dtconstr__2932_32.min1.thm12017-02-06 12:44 3.5K 
[ ]dtconstr__2932_44.min1.thm12017-02-06 12:44 2.1K 
[ ]dtconstr__2943_19.min1.thm12017-02-06 12:44 1.5K 
[ ]dtconstr__2962_18.min1.thm12017-02-06 12:44 1.4K 
[ ]dtconstr__2969_33.min1.thm12017-02-06 12:44 1.3K 
[ ]dtconstr__2981_11.min1.thm12017-02-06 12:44 592  
[ ]dtconstr__2981_11.min1.thm1.tptp2017-02-06 16:47 529  
[ ]dtconstr__2985_9.min1.thm12017-02-06 12:44 440  
[ ]dtconstr__2993_15.min1.thm12017-02-06 12:44 195  
[ ]dtconstr__2997_44.min1.thm12017-02-06 12:44 1.0K 
[ ]dtconstr__2998_61.min1.thm12017-02-06 12:44 775  
[ ]dtconstr__2998_61.min1.thm1.tptp2017-02-06 16:47 698  
[ ]dtconstr__3001_27.min1.thm12017-02-06 12:44 1.2K 
[ ]dtconstr__3023_51.min1.thm12017-02-06 12:44 1.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80