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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]valued_0__63_25.min1.thm12017-02-06 12:44 437  
[ ]valued_0__70_25.min1.thm12017-02-06 12:44 437  
[ ]valued_0__77_26.min1.thm12017-02-06 12:44 437  
[ ]valued_0__84_26.min1.thm12017-02-06 12:44 437  
[ ]valued_0__91_29.min1.thm12017-02-06 12:44 437  
[ ]valued_0__98_29.min1.thm12017-02-06 12:44 437  
[ ]valued_0__105_25.min1.thm12017-02-06 12:44 437  
[ ]valued_0__112_26.min1.thm12017-02-06 12:44 546  
[ ]valued_0__122_25.min1.thm12017-02-06 12:44 482  
[ ]valued_0__131_15.min1.thm12017-02-06 12:44 380  
[ ]valued_0__140_23.min1.thm12017-02-06 12:44 381  
[ ]valued_0__140_23.min1.thm1.tptp2017-02-06 16:46 304  
[ ]valued_0__141_16.min1.thm12017-02-06 12:44 442  
[ ]valued_0__150_23.min1.thm12017-02-06 12:44 381  
[ ]valued_0__150_23.min1.thm1.tptp2017-02-06 16:46 304  
[ ]valued_0__151_16.min1.thm12017-02-06 12:44 442  
[ ]valued_0__160_20.min1.thm12017-02-06 12:44 381  
[ ]valued_0__160_20.min1.thm1.tptp2017-02-06 16:46 304  
[ ]valued_0__161_16.min1.thm12017-02-06 12:44 442  
[ ]valued_0__168_11.min1.thm12017-02-06 12:44 703  
[ ]valued_0__174_11.min1.thm12017-02-06 12:44 703  
[ ]valued_0__182_19.min1.thm12017-02-06 12:44 703  
[ ]valued_0__183_16.min1.thm12017-02-06 12:44 467  
[ ]valued_0__197_21.min1.thm12017-02-06 12:44 616  
[ ]valued_0__198_21.min1.thm12017-02-06 12:44 382  
[ ]valued_0__198_21.min1.thm1.tptp2017-02-06 16:46 305  
[ ]valued_0__199_27.min1.thm12017-02-06 12:44 467  
[ ]valued_0__208_21.min1.thm12017-02-06 12:44 616  
[ ]valued_0__209_21.min1.thm12017-02-06 12:44 382  
[ ]valued_0__209_21.min1.thm1.tptp2017-02-06 16:46 305  
[ ]valued_0__210_27.min1.thm12017-02-06 12:44 467  
[ ]valued_0__219_21.min1.thm12017-02-06 12:44 616  
[ ]valued_0__220_18.min1.thm12017-02-06 12:44 382  
[ ]valued_0__220_18.min1.thm1.tptp2017-02-06 16:46 305  
[ ]valued_0__221_24.min1.thm12017-02-06 12:44 467  
[ ]valued_0__225_65.min1.thm12017-02-06 12:44 471  
[ ]valued_0__225_65.min1.thm1.tptp2017-02-06 16:46 436  
[ ]valued_0__228_65.min1.thm12017-02-06 12:44 471  
[ ]valued_0__228_65.min1.thm1.tptp2017-02-06 16:46 436  
[ ]valued_0__236_21.min1.thm12017-02-06 12:44 869  
[ ]valued_0__237_17.min1.thm12017-02-06 12:44 699  
[ ]valued_0__238_23.min1.thm12017-02-06 12:44 551  
[ ]valued_0__244_14.min1.thm12017-02-06 12:44 622  
[ ]valued_0__250_14.min1.thm12017-02-06 12:44 622  
[ ]valued_0__256_14.min1.thm12017-02-06 12:44 622  
[ ]valued_0__262_11.min1.thm12017-02-06 12:44 448  
[ ]valued_0__262_11.min1.thm1.tptp2017-02-06 16:46 388  
[ ]valued_0__268_11.min1.thm12017-02-06 12:44 448  
[ ]valued_0__268_11.min1.thm1.tptp2017-02-06 16:46 388  
[ ]valued_0__274_14.min1.thm12017-02-06 12:44 622  
[ ]valued_0__282_35.min1.thm12017-02-06 12:44 606  
[ ]valued_0__283_42.min1.thm12017-02-06 12:44 535  
[ ]valued_0__284_35.min1.thm12017-02-06 12:44 639  
[ ]valued_0__293_35.min1.thm12017-02-06 12:44 606  
[ ]valued_0__294_42.min1.thm12017-02-06 12:44 535  
[ ]valued_0__295_35.min1.thm12017-02-06 12:44 639  
[ ]valued_0__304_35.min1.thm12017-02-06 12:44 606  
[ ]valued_0__305_36.min1.thm12017-02-06 12:44 535  
[ ]valued_0__306_32.min1.thm12017-02-06 12:44 639  
[ ]valued_0__313_11.min1.thm12017-02-06 12:44 560  
[ ]valued_0__319_11.min1.thm12017-02-06 12:44 560  
[ ]valued_0__328_34.min1.thm12017-02-06 12:44 798  
[ ]valued_0__329_31.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_0__339_18.min1.thm12017-02-06 12:44 274  
[ ]valued_0__341_27.min1.thm12017-02-06 12:44 819  
[ ]valued_0__342_23.min1.thm12017-02-06 12:44 386  
[ ]valued_0__342_23.min1.thm1.tptp2017-02-06 16:46 309  
[ ]valued_0__343_35.min1.thm12017-02-06 12:44 537  
[ ]valued_0__346_11.min1.thm12017-02-06 12:44 500  
[ ]valued_0__355_18.min1.thm12017-02-06 12:44 274  
[ ]valued_0__357_27.min1.thm12017-02-06 12:44 819  
[ ]valued_0__358_23.min1.thm12017-02-06 12:44 386  
[ ]valued_0__358_23.min1.thm1.tptp2017-02-06 16:46 309  
[ ]valued_0__359_35.min1.thm12017-02-06 12:44 537  
[ ]valued_0__362_11.min1.thm12017-02-06 12:44 500  
[ ]valued_0__371_18.min1.thm12017-02-06 12:44 274  
[ ]valued_0__373_27.min1.thm12017-02-06 12:44 819  
[ ]valued_0__374_20.min1.thm12017-02-06 12:44 386  
[ ]valued_0__374_20.min1.thm1.tptp2017-02-06 16:46 309  
[ ]valued_0__375_32.min1.thm12017-02-06 12:44 537  
[ ]valued_0__378_11.min1.thm12017-02-06 12:44 500  
[ ]valued_0__385_11.min1.thm12017-02-06 12:44 499  
[ ]valued_0__387_11.min1.thm12017-02-06 12:44 591  
[ ]valued_0__394_11.min1.thm12017-02-06 12:44 499  
[ ]valued_0__396_11.min1.thm12017-02-06 12:44 591  
[ ]valued_0__405_18.min1.thm12017-02-06 12:44 274  
[ ]valued_0__407_27.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_0__408_19.min1.thm12017-02-06 12:44 703  
[ ]valued_0__409_31.min1.thm12017-02-06 12:44 577  
[ ]valued_0__412_11.min1.thm12017-02-06 12:44 500  
[ ]valued_0__418_11.min1.thm12017-02-06 12:44 847  
[ ]valued_0__424_11.min1.thm12017-02-06 12:44 847  
[ ]valued_0__430_11.min1.thm12017-02-06 12:44 847  
[ ]valued_0__436_11.min1.thm12017-02-06 12:44 898  
[ ]valued_0__442_11.min1.thm12017-02-06 12:44 898  
[ ]valued_0__448_11.min1.thm12017-02-06 12:44 848  
[ ]valued_0__457_20.min1.thm12017-02-06 12:44 413  
[ ]valued_0__457_20.min1.thm1.tptp2017-02-06 16:46 335  
[ ]valued_0__458_16.min1.thm12017-02-06 12:44 708  
[ ]valued_0__468_20.min1.thm12017-02-06 12:44 413  
[ ]valued_0__468_20.min1.thm1.tptp2017-02-06 16:46 335  
[ ]valued_0__469_16.min1.thm12017-02-06 12:44 708  
[ ]valued_0__479_20.min1.thm12017-02-06 12:44 413  
[ ]valued_0__479_20.min1.thm1.tptp2017-02-06 16:46 335  
[ ]valued_0__480_16.min1.thm12017-02-06 12:44 708  
[ ]valued_0__490_20.min1.thm12017-02-06 12:44 561  
[ ]valued_0__491_16.min1.thm12017-02-06 12:44 866  
[ ]valued_0__501_20.min1.thm12017-02-06 12:44 561  
[ ]valued_0__502_16.min1.thm12017-02-06 12:44 866  
[ ]valued_0__512_20.min1.thm12017-02-06 12:44 666  
[ ]valued_0__513_16.min1.thm12017-02-06 12:44 961  
[ ]valued_0__521_11.min1.thm12017-02-06 12:44 493  
[ ]valued_0__528_11.min1.thm12017-02-06 12:44 493  
[ ]valued_0__535_11.min1.thm12017-02-06 12:44 493  
[ ]valued_0__542_11.min1.thm12017-02-06 12:44 513  
[ ]valued_0__549_11.min1.thm12017-02-06 12:44 513  
[ ]valued_0__556_11.min1.thm12017-02-06 12:44 493  
[ ]valued_0__565_43.min1.thm12017-02-06 12:44 606  
[ ]valued_0__566_32.min1.thm12017-02-06 12:44 500  
[ ]valued_0__566_32.min1.thm1.tptp2017-02-06 16:46 429  
[ ]valued_0__576_43.min1.thm12017-02-06 12:44 606  
[ ]valued_0__577_32.min1.thm12017-02-06 12:44 500  
[ ]valued_0__577_32.min1.thm1.tptp2017-02-06 16:46 429  
[ ]valued_0__587_40.min1.thm12017-02-06 12:44 606  
[ ]valued_0__588_29.min1.thm12017-02-06 12:44 500  
[ ]valued_0__588_29.min1.thm1.tptp2017-02-06 16:46 429  
[ ]valued_0__596_11.min1.thm12017-02-06 12:44 448  
[ ]valued_0__596_11.min1.thm1.tptp2017-02-06 16:46 381  
[ ]valued_0__603_11.min1.thm12017-02-06 12:44 448  
[ ]valued_0__603_11.min1.thm1.tptp2017-02-06 16:46 381  
[ ]valued_0__612_39.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_0__613_28.min1.thm12017-02-06 12:44 540  
[ ]valued_0__613_28.min1.thm1.tptp2017-02-06 16:46 469  
[ ]valued_0__622_31.min1.thm12017-02-06 12:44 752  
[ ]valued_0__631_31.min1.thm12017-02-06 12:44 752  
[ ]valued_0__640_28.min1.thm12017-02-06 12:44 752  
[ ]valued_0__649_27.min1.thm12017-02-06 12:44 752  
[ ]valued_0__658_27.min1.thm12017-02-06 12:44 752  
[ ]valued_0__667_27.min1.thm12017-02-06 12:44 752  
[ ]valued_0__677_43.min1.thm12017-02-06 12:44 688  
[ ]valued_0__678_32.min1.thm12017-02-06 12:44 500  
[ ]valued_0__678_32.min1.thm1.tptp2017-02-06 16:46 429  
[ ]valued_0__688_43.min1.thm12017-02-06 12:44 688  
[ ]valued_0__689_32.min1.thm12017-02-06 12:44 500  
[ ]valued_0__689_32.min1.thm1.tptp2017-02-06 16:46 429  
[ ]valued_0__699_40.min1.thm12017-02-06 12:44 688  
[ ]valued_0__700_29.min1.thm12017-02-06 12:44 500  
[ ]valued_0__700_29.min1.thm1.tptp2017-02-06 16:46 429  
[ ]valued_0__708_11.min1.thm12017-02-06 12:44 529  
[ ]valued_0__715_11.min1.thm12017-02-06 12:44 529  
[ ]valued_0__724_39.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_0__725_28.min1.thm12017-02-06 12:44 540  
[ ]valued_0__725_28.min1.thm1.tptp2017-02-06 16:46 469  
[ ]valued_0__743_48.min1.thm12017-02-06 12:44 380  
[ ]valued_0__743_48.min1.thm1.tptp2017-02-06 16:46 292  
[ ]valued_0__744_21.min1.thm12017-02-06 12:44 716  
[ ]valued_0__745_18.min1.thm12017-02-06 12:44 937  
[ ]valued_0__751_40.min1.thm12017-02-06 12:44 606  
[ ]valued_0__752_24.min1.thm12017-02-06 12:44 432  
[ ]valued_0__752_24.min1.thm1.tptp2017-02-06 16:46 360  
[ ]valued_0__753_19.min1.thm12017-02-06 12:44 319  
[ ]valued_0__753_19.min1.thm1.tptp2017-02-06 16:46 238  
[ ]valued_0__767_49.min1.thm12017-02-06 12:44 380  
[ ]valued_0__767_49.min1.thm1.tptp2017-02-06 16:46 292  
[ ]valued_0__768_21.min1.thm12017-02-06 12:44 716  
[ ]valued_0__769_18.min1.thm12017-02-06 12:44 937  
[ ]valued_0__775_40.min1.thm12017-02-06 12:44 606  
[ ]valued_0__776_25.min1.thm12017-02-06 12:44 432  
[ ]valued_0__776_25.min1.thm1.tptp2017-02-06 16:46 360  
[ ]valued_0__777_19.min1.thm12017-02-06 12:44 319  
[ ]valued_0__777_19.min1.thm1.tptp2017-02-06 16:46 238  
[ ]valued_0__791_45.min1.thm12017-02-06 12:44 380  
[ ]valued_0__791_45.min1.thm1.tptp2017-02-06 16:46 292  
[ ]valued_0__792_21.min1.thm12017-02-06 12:44 716  
[ ]valued_0__793_18.min1.thm12017-02-06 12:44 935  
[ ]valued_0__799_40.min1.thm12017-02-06 12:44 606  
[ ]valued_0__800_21.min1.thm12017-02-06 12:44 430  
[ ]valued_0__800_21.min1.thm1.tptp2017-02-06 16:46 358  
[ ]valued_0__801_19.min1.thm12017-02-06 12:44 316  
[ ]valued_0__801_19.min1.thm1.tptp2017-02-06 16:46 235  
[ ]valued_0__816_48.min1.thm12017-02-06 12:44 380  
[ ]valued_0__816_48.min1.thm1.tptp2017-02-06 16:46 292  
[ ]valued_0__817_21.min1.thm12017-02-06 12:44 969  
[ ]valued_0__818_18.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_0__824_40.min1.thm12017-02-06 12:44 606  
[ ]valued_0__825_24.min1.thm12017-02-06 12:44 432  
[ ]valued_0__825_24.min1.thm1.tptp2017-02-06 16:46 360  
[ ]valued_0__826_19.min1.thm12017-02-06 12:44 385  
[ ]valued_0__837_13.min1.thm12017-02-06 12:44 251  
[ ]valued_0__840_29.min1.thm12017-02-06 12:44 603  
[ ]valued_0__844_29.min1.thm12017-02-06 12:44 800  
[ ]valued_0__848_47.min1.thm12017-02-06 12:44 302  
[ ]valued_0__849_17.min1.thm12017-02-06 12:44 535  
[ ]valued_0__859_13.min1.thm12017-02-06 12:44 251  
[ ]valued_0__862_30.min1.thm12017-02-06 12:44 603  
[ ]valued_0__866_30.min1.thm12017-02-06 12:44 800  
[ ]valued_0__870_48.min1.thm12017-02-06 12:44 302  
[ ]valued_0__871_17.min1.thm12017-02-06 12:44 535  
[ ]valued_0__881_13.min1.thm12017-02-06 12:44 251  
[ ]valued_0__884_26.min1.thm12017-02-06 12:44 601  
[ ]valued_0__888_26.min1.thm12017-02-06 12:44 799  
[ ]valued_0__892_44.min1.thm12017-02-06 12:44 300  
[ ]valued_0__893_17.min1.thm12017-02-06 12:44 533  
[ ]valued_0__903_13.min1.thm12017-02-06 12:44 251  
[ ]valued_0__905_26.min1.thm12017-02-06 12:44 592  
[ ]valued_0__906_30.min1.thm12017-02-06 12:44 766  
[ ]valued_0__909_30.min1.thm12017-02-06 12:44 944  
[ ]valued_0__917_14.min1.thm12017-02-06 12:44 590  
[ ]valued_0__918_20.min1.thm12017-02-06 12:44 257  
[ ]valued_0__919_17.min1.thm12017-02-06 12:44 415  
[ ]valued_0__929_13.min1.thm12017-02-06 12:44 251  
[ ]valued_0__931_26.min1.thm12017-02-06 12:44 592  
[ ]valued_0__932_29.min1.thm12017-02-06 12:44 766  
[ ]valued_0__935_29.min1.thm12017-02-06 12:44 882  
[ ]valued_0__943_14.min1.thm12017-02-06 12:44 590  
[ ]valued_0__944_19.min1.thm12017-02-06 12:44 257  
[ ]valued_0__945_17.min1.thm12017-02-06 12:44 415  
[ ]valued_0__955_13.min1.thm12017-02-06 12:44 251  
[ ]valued_0__958_29.min1.thm12017-02-06 12:44 604  
[ ]valued_0__962_29.min1.thm12017-02-06 12:44 820  
[ ]valued_0__966_47.min1.thm12017-02-06 12:44 302  
[ ]valued_0__967_17.min1.thm12017-02-06 12:44 536  
[ ]valued_0__974_14.min1.thm12017-02-06 12:44 434  
[ ]valued_0__974_14.min1.thm1.tptp2017-02-06 16:46 364  
[ ]valued_0__981_14.min1.thm12017-02-06 12:44 434  
[ ]valued_0__981_14.min1.thm1.tptp2017-02-06 16:46 364  
[ ]valued_0__988_14.min1.thm12017-02-06 12:44 432  
[ ]valued_0__988_14.min1.thm1.tptp2017-02-06 16:46 362  
[ ]valued_0__995_14.min1.thm12017-02-06 12:44 449  
[ ]valued_0__995_14.min1.thm1.tptp2017-02-06 16:46 379  
[ ]valued_0__1002_14.min1.thm12017-02-06 12:44 449  
[ ]valued_0__1002_14.min1.thm1.tptp2017-02-06 16:46 379  
[ ]valued_0__1009_14.min1.thm12017-02-06 12:44 435  
[ ]valued_0__1009_14.min1.thm1.tptp2017-02-06 16:46 365  
[ ]valued_0__1019_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1030_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1041_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1074_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1083_36.min1.thm12017-02-06 12:44 720  
[ ]valued_0__1084_34.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1085_19.min1.thm12017-02-06 12:44 837  
[ ]valued_0__1094_36.min1.thm12017-02-06 12:44 720  
[ ]valued_0__1095_34.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1096_19.min1.thm12017-02-06 12:44 837  
[ ]valued_0__1105_36.min1.thm12017-02-06 12:44 720  
[ ]valued_0__1106_31.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1107_19.min1.thm12017-02-06 12:44 837  
[ ]valued_0__1116_36.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_0__1117_30.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_0__1118_19.min1.thm12017-02-06 12:44 867  
[ ]valued_0__1127_36.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_0__1128_30.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_0__1129_19.min1.thm12017-02-06 12:44 867  
[ ]valued_0__1139_30.min1.thm12017-02-06 12:44 1.7K 
[ ]valued_0__1140_19.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_0__1148_11.min1.thm12017-02-06 12:44 616  
[ ]valued_0__1155_11.min1.thm12017-02-06 12:44 616  
[ ]valued_0__1162_11.min1.thm12017-02-06 12:44 614  
[ ]valued_0__1169_11.min1.thm12017-02-06 12:44 630  
[ ]valued_0__1176_11.min1.thm12017-02-06 12:44 630  
[ ]valued_0__1183_11.min1.thm12017-02-06 12:44 616  
[ ]valued_0__1193_28.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_0__1204_28.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_0__1215_25.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_0__1226_24.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_0__1237_24.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_0__1248_24.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1258_23.min1.thm12017-02-06 12:44 306  
[ ]valued_0__1259_35.min1.thm12017-02-06 12:44 689  
[ ]valued_0__1269_23.min1.thm12017-02-06 12:44 306  
[ ]valued_0__1270_35.min1.thm12017-02-06 12:44 689  
[ ]valued_0__1280_23.min1.thm12017-02-06 12:44 306  
[ ]valued_0__1281_32.min1.thm12017-02-06 12:44 689  
[ ]valued_0__1291_23.min1.thm12017-02-06 12:44 306  
[ ]valued_0__1292_31.min1.thm12017-02-06 12:44 689  
[ ]valued_0__1302_23.min1.thm12017-02-06 12:44 758  
[ ]valued_0__1303_31.min1.thm12017-02-06 12:44 709  
[ ]valued_0__1313_23.min1.thm12017-02-06 12:44 829  
[ ]valued_0__1314_31.min1.thm12017-02-06 12:44 773  
[ ]valued_0__1328_15.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_0__1338_40.min1.thm12017-02-06 12:44 588  
[ ]valued_0__1338_40.min1.thm1.tptp2017-02-06 16:46 533  
[ ]valued_0__1340_17.min1.thm12017-02-06 12:44 556  
[ ]valued_0__1341_12.min1.thm12017-02-06 12:44 415  
[ ]valued_0__1341_12.min1.thm1.tptp2017-02-06 16:46 338  
[ ]valued_0__1342_17.min1.thm12017-02-06 12:44 791  
[ ]valued_0__1351_40.min1.thm12017-02-06 12:44 588  
[ ]valued_0__1351_40.min1.thm1.tptp2017-02-06 16:46 533  
[ ]valued_0__1353_17.min1.thm12017-02-06 12:44 556  
[ ]valued_0__1354_12.min1.thm12017-02-06 12:44 415  
[ ]valued_0__1354_12.min1.thm1.tptp2017-02-06 16:46 338  
[ ]valued_0__1355_17.min1.thm12017-02-06 12:44 791  
[ ]valued_0__1364_40.min1.thm12017-02-06 12:44 588  
[ ]valued_0__1364_40.min1.thm1.tptp2017-02-06 16:46 533  
[ ]valued_0__1366_17.min1.thm12017-02-06 12:44 556  
[ ]valued_0__1367_12.min1.thm12017-02-06 12:44 415  
[ ]valued_0__1367_12.min1.thm1.tptp2017-02-06 16:46 338  
[ ]valued_0__1368_17.min1.thm12017-02-06 12:44 789  
[ ]valued_0__1377_40.min1.thm12017-02-06 12:44 598  
[ ]valued_0__1377_40.min1.thm1.tptp2017-02-06 16:46 543  
[ ]valued_0__1379_17.min1.thm12017-02-06 12:44 566  
[ ]valued_0__1380_12.min1.thm12017-02-06 12:44 415  
[ ]valued_0__1380_12.min1.thm1.tptp2017-02-06 16:46 338  
[ ]valued_0__1381_17.min1.thm12017-02-06 12:44 805  
[ ]valued_0__1390_40.min1.thm12017-02-06 12:44 598  
[ ]valued_0__1390_40.min1.thm1.tptp2017-02-06 16:46 543  
[ ]valued_0__1392_17.min1.thm12017-02-06 12:44 566  
[ ]valued_0__1393_12.min1.thm12017-02-06 12:44 415  
[ ]valued_0__1393_12.min1.thm1.tptp2017-02-06 16:46 338  
[ ]valued_0__1394_17.min1.thm12017-02-06 12:44 805  
[ ]valued_0__1403_40.min1.thm12017-02-06 12:44 588  
[ ]valued_0__1403_40.min1.thm1.tptp2017-02-06 16:46 533  
[ ]valued_0__1405_17.min1.thm12017-02-06 12:44 556  
[ ]valued_0__1406_12.min1.thm12017-02-06 12:44 415  
[ ]valued_0__1406_12.min1.thm1.tptp2017-02-06 16:46 338  
[ ]valued_0__1407_17.min1.thm12017-02-06 12:44 791  
[ ]valued_0__1443_21.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_0__1447_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1461_16.min1.thm12017-02-06 12:44 606  
[ ]valued_0__1464_18.min1.thm12017-02-06 12:44 793  
[ ]valued_0__1468_21.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_0__1480_16.min1.thm12017-02-06 12:44 606  
[ ]valued_0__1483_18.min1.thm12017-02-06 12:44 793  
[ ]valued_0__1487_21.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_0__1501_18.min1.thm12017-02-06 12:44 884  
[ ]valued_0__1503_26.min1.thm12017-02-06 12:44 924  
[ ]valued_0__1504_18.min1.thm12017-02-06 12:44 884  
[ ]valued_0__1506_26.min1.thm12017-02-06 12:44 924  
[ ]valued_0__1509_18.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1510_36.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1511_19.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_0__1524_18.min1.thm12017-02-06 12:44 884  
[ ]valued_0__1526_26.min1.thm12017-02-06 12:44 924  
[ ]valued_0__1527_18.min1.thm12017-02-06 12:44 884  
[ ]valued_0__1529_26.min1.thm12017-02-06 12:44 924  
[ ]valued_0__1532_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1533_36.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1534_19.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_0__1547_18.min1.thm12017-02-06 12:44 884  
[ ]valued_0__1549_26.min1.thm12017-02-06 12:44 924  
[ ]valued_0__1550_18.min1.thm12017-02-06 12:44 884  
[ ]valued_0__1552_26.min1.thm12017-02-06 12:44 924  
[ ]valued_0__1555_18.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1556_36.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1557_19.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_0__1570_18.min1.thm12017-02-06 12:44 884  
[ ]valued_0__1572_26.min1.thm12017-02-06 12:44 924  
[ ]valued_0__1573_18.min1.thm12017-02-06 12:44 884  
[ ]valued_0__1575_26.min1.thm12017-02-06 12:44 924  
[ ]valued_0__1578_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1579_36.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1580_19.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_0__1594_18.min1.thm12017-02-06 12:44 884  
[ ]valued_0__1596_26.min1.thm12017-02-06 12:44 924  
[ ]valued_0__1597_18.min1.thm12017-02-06 12:44 884  
[ ]valued_0__1599_26.min1.thm12017-02-06 12:44 924  
[ ]valued_0__1602_18.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1603_36.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1604_19.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_0__1613_19.min1.thm12017-02-06 12:44 884  
[ ]valued_0__1615_27.min1.thm12017-02-06 12:44 924  
[ ]valued_0__1616_19.min1.thm12017-02-06 12:44 884  
[ ]valued_0__1618_27.min1.thm12017-02-06 12:44 924  
[ ]valued_0__1621_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1622_36.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1623_19.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_0__1637_18.min1.thm12017-02-06 12:44 884  
[ ]valued_0__1639_26.min1.thm12017-02-06 12:44 924  
[ ]valued_0__1640_18.min1.thm12017-02-06 12:44 884  
[ ]valued_0__1642_26.min1.thm12017-02-06 12:44 924  
[ ]valued_0__1645_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1646_36.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1647_19.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_0__1656_19.min1.thm12017-02-06 12:44 884  
[ ]valued_0__1658_27.min1.thm12017-02-06 12:44 924  
[ ]valued_0__1659_19.min1.thm12017-02-06 12:44 884  
[ ]valued_0__1661_27.min1.thm12017-02-06 12:44 924  
[ ]valued_0__1664_20.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1665_36.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1666_19.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_0__1681_23.min1.thm12017-02-06 12:44 875  
[ ]valued_0__1682_21.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1684_16.min1.thm12017-02-06 12:44 414  
[ ]valued_0__1693_15.min1.thm12017-02-06 12:44 795  
[ ]valued_0__1705_18.min1.thm12017-02-06 12:44 486  
[ ]valued_0__1705_18.min1.thm1.tptp2017-02-06 16:46 420  
[ ]valued_0__1706_19.min1.thm12017-02-06 12:44 775  
[ ]valued_0__1717_25.min1.thm12017-02-06 12:44 926  
[ ]valued_0__1725_22.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_0__1735_33.min1.thm12017-02-06 12:44 1.9K 
[ ]valued_0__1736_31.min1.thm12017-02-06 12:44 2.4K 
[ ]valued_0__1759_51.min1.thm12017-02-06 12:44 1.7K 
[ ]valued_0__1799_13.min1.thm12017-02-06 12:44 196  
[ ]valued_0__1801_48.min1.thm12017-02-06 12:44 810  
[ ]valued_0__1803_17.min1.thm12017-02-06 12:44 645  
[ ]valued_0__1807_15.min1.thm12017-02-06 12:44 494  
[ ]valued_0__1808_50.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1810_17.min1.thm12017-02-06 12:44 544  
[ ]valued_0__1826_17.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_0__1838_22.min1.thm12017-02-06 12:44 909  
[ ]valued_0__1839_16.min1.thm12017-02-06 12:44 2.5K 
[ ]valued_0__1881_13.min1.thm12017-02-06 12:44 360  
[ ]valued_0__1881_13.min1.thm1.tptp2017-02-06 16:46 289  
[ ]valued_0__1882_48.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_0__1884_15.min1.thm12017-02-06 12:44 624  
[ ]valued_0__1894_22.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_0__1895_26.min1.thm12017-02-06 12:44 1.7K 
[ ]valued_0__1913_31.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__1914_22.min1.thm12017-02-06 12:44 730  
[ ]valued_0__1928_11.min1.thm12017-02-06 12:44 194  
[ ]valued_0__1935_23.min1.thm12017-02-06 12:44 837  
[ ]valued_0__1936_35.min1.thm12017-02-06 12:44 638  
[ ]valued_0__1937_19.min1.thm12017-02-06 12:44 1.6K 
[ ]valued_0__1946_17.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_0__1965_34.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_0__1968_13.min1.thm12017-02-06 12:44 471  
[ ]valued_0__1968_13.min1.thm1.tptp2017-02-06 16:46 395  
[ ]valued_0__1970_24.min1.thm12017-02-06 12:44 641  
[ ]valued_0__1972_20.min1.thm12017-02-06 12:44 642  
[ ]valued_0__1973_22.min1.thm12017-02-06 12:44 736  
[ ]valued_0__1988_12.min1.thm12017-02-06 12:44 1.9K 
[ ]valued_0__1999_26.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__2009_13.min1.thm12017-02-06 12:44 376  
[ ]valued_0__2017_19.min1.thm12017-02-06 12:44 869  
[ ]valued_0__2018_21.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_0__2044_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_0__2062_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_0__2087_29.min1.thm12017-02-06 12:44 453  
[ ]valued_0__2094_29.min1.thm12017-02-06 12:44 453  
[ ]valued_0__2101_26.min1.thm12017-02-06 12:44 453  
[ ]valued_0__2108_25.min1.thm12017-02-06 12:44 453  
[ ]valued_0__2118_18.min1.thm12017-02-06 12:44 486  
[ ]valued_0__2118_18.min1.thm1.tptp2017-02-06 16:46 420  
[ ]valued_0__2124_33.min1.thm12017-02-06 12:44 839  
[ ]valued_0__2125_22.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_0__2132_20.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__2132_34.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_0__2139_26.min1.thm12017-02-06 12:44 697  
[ ]valued_0__2147_15.min1.thm12017-02-06 12:44 1.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80