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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lexbfs__53_49.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__54_22.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__62_20.min1.thm12017-02-06 12:45 518  
[ ]lexbfs__64_53.min1.thm12017-02-06 12:45 688  
[ ]lexbfs__65_24.min1.thm12017-02-06 12:45 406  
[ ]lexbfs__65_24.min1.thm1.tptp2017-02-06 16:47 336  
[ ]lexbfs__67_37.min1.thm12017-02-06 12:45 758  
[ ]lexbfs__68_24.min1.thm12017-02-06 12:45 406  
[ ]lexbfs__68_24.min1.thm1.tptp2017-02-06 16:47 336  
[ ]lexbfs__70_37.min1.thm12017-02-06 12:45 758  
[ ]lexbfs__88_18.min1.thm12017-02-06 12:45 697  
[ ]lexbfs__94_35.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__104_33.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__108_34.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__109_42.min1.thm12017-02-06 12:45 622  
[ ]lexbfs__109_42.min1.thm1.tptp2017-02-06 16:47 560  
[ ]lexbfs__114_42.min1.thm12017-02-06 12:45 521  
[ ]lexbfs__114_42.min1.thm1.tptp2017-02-06 16:47 459  
[ ]lexbfs__119_18.min1.thm12017-02-06 12:45 657  
[ ]lexbfs__119_18.min1.thm1.tptp2017-02-06 16:47 595  
[ ]lexbfs__131_23.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__145_47.min1.thm12017-02-06 12:45 2.5K 
[ ]lexbfs__156_14.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__157_25.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__160_19.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__165_14.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__174_19.min1.thm12017-02-06 12:45 635  
[ ]lexbfs__175_17.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__184_20.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__185_19.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__199_38.min1.thm12017-02-06 12:45 750  
[ ]lexbfs__201_23.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__202_20.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__203_15.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__218_54.min1.thm12017-02-06 12:45 295  
[ ]lexbfs__223_45.min1.thm12017-02-06 12:45 754  
[ ]lexbfs__225_35.min1.thm12017-02-06 12:45 348  
[ ]lexbfs__226_18.min1.thm12017-02-06 12:45 536  
[ ]lexbfs__238_27.min1.thm12017-02-06 12:45 723  
[ ]lexbfs__239_28.min1.thm12017-02-06 12:45 855  
[ ]lexbfs__256_18.min1.thm12017-02-06 12:45 510  
[ ]lexbfs__257_32.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__262_13.min1.thm12017-02-06 12:45 2.3K 
[ ]lexbfs__264_17.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__265_26.min1.thm12017-02-06 12:45 889  
[ ]lexbfs__275_11.min1.thm12017-02-06 12:45 213  
[ ]lexbfs__279_17.min1.thm12017-02-06 12:45 703  
[ ]lexbfs__280_26.min1.thm12017-02-06 12:45 729  
[ ]lexbfs__289_19.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__290_18.min1.thm12017-02-06 12:45 599  
[ ]lexbfs__293_46.min1.thm12017-02-06 12:45 529  
[ ]lexbfs__293_46.min1.thm1.tptp2017-02-06 16:47 443  
[ ]lexbfs__297_31.min1.thm12017-02-06 12:45 762  
[ ]lexbfs__300_17.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__324_23.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__328_34.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__329_18.min1.thm12017-02-06 12:45 636  
[ ]lexbfs__330_17.min1.thm12017-02-06 12:45 519  
[ ]lexbfs__332_28.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__333_19.min1.thm12017-02-06 12:45 919  
[ ]lexbfs__334_20.min1.thm12017-02-06 12:45 572  
[ ]lexbfs__345_31.min1.thm12017-02-06 12:45 594  
[ ]lexbfs__346_21.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__349_16.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__352_27.min1.thm12017-02-06 12:45 755  
[ ]lexbfs__362_17.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__384_22.min1.thm12017-02-06 12:45 299  
[ ]lexbfs__384_22.min1.thm1.tptp2017-02-06 16:47 216  
[ ]lexbfs__385_25.min1.thm12017-02-06 12:45 517  
[ ]lexbfs__397_13.min1.thm12017-02-06 12:45 239  
[ ]lexbfs__400_26.min1.thm12017-02-06 12:45 457  
[ ]lexbfs__400_26.min1.thm1.tptp2017-02-06 16:47 380  
[ ]lexbfs__401_21.min1.thm12017-02-06 12:45 597  
[ ]lexbfs__402_21.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__406_22.min1.thm12017-02-06 12:45 667  
[ ]lexbfs__407_21.min1.thm12017-02-06 12:45 636  
[ ]lexbfs__423_30.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__447_16.min1.thm12017-02-06 12:45 618  
[ ]lexbfs__448_22.min1.thm12017-02-06 12:45 666  
[ ]lexbfs__452_19.min1.thm12017-02-06 12:45 397  
[ ]lexbfs__452_19.min1.thm1.tptp2017-02-06 16:47 333  
[ ]lexbfs__453_35.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__454_19.min1.thm12017-02-06 12:45 657  
[ ]lexbfs__455_33.min1.thm12017-02-06 12:45 626  
[ ]lexbfs__456_29.min1.thm12017-02-06 12:45 728  
[ ]lexbfs__457_59.min1.thm12017-02-06 12:45 917  
[ ]lexbfs__459_37.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__460_27.min1.thm12017-02-06 12:45 518  
[ ]lexbfs__469_21.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__470_26.min1.thm12017-02-06 12:45 531  
[ ]lexbfs__471_31.min1.thm12017-02-06 12:45 714  
[ ]lexbfs__475_30.min1.thm12017-02-06 12:45 537  
[ ]lexbfs__479_20.min1.thm12017-02-06 12:45 961  
[ ]lexbfs__479_20.min1.thm1.tptp2017-02-06 16:47 895  
[ ]lexbfs__481_16.min1.thm12017-02-06 12:45 698  
[ ]lexbfs__495_18.min1.thm12017-02-06 12:45 479  
[ ]lexbfs__495_18.min1.thm1.tptp2017-02-06 16:47 399  
[ ]lexbfs__498_31.min1.thm12017-02-06 12:45 702  
[ ]lexbfs__498_31.min1.thm1.tptp2017-02-06 16:47 638  
[ ]lexbfs__499_30.min1.thm12017-02-06 12:45 845  
[ ]lexbfs__503_27.min1.thm12017-02-06 12:45 621  
[ ]lexbfs__503_27.min1.thm1.tptp2017-02-06 16:47 556  
[ ]lexbfs__504_30.min1.thm12017-02-06 12:45 764  
[ ]lexbfs__520_16.min1.thm12017-02-06 12:45 511  
[ ]lexbfs__520_16.min1.thm1.tptp2017-02-06 16:47 447  
[ ]lexbfs__528_15.min1.thm12017-02-06 12:45 265  
[ ]lexbfs__531_19.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__532_23.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__534_23.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__536_48.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__553_24.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__560_28.min1.thm12017-02-06 12:45 679  
[ ]lexbfs__561_30.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__575_24.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__582_28.min1.thm12017-02-06 12:45 679  
[ ]lexbfs__583_30.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__592_23.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__595_15.min1.thm12017-02-06 12:45 542  
[ ]lexbfs__598_19.min1.thm12017-02-06 12:45 786  
[ ]lexbfs__600_41.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__606_17.min1.thm12017-02-06 12:45 709  
[ ]lexbfs__607_21.min1.thm12017-02-06 12:45 2.0K 
[ ]lexbfs__627_19.min1.thm12017-02-06 12:45 722  
[ ]lexbfs__628_23.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__630_16.min1.thm12017-02-06 12:45 626  
[ ]lexbfs__639_20.min1.thm12017-02-06 12:45 805  
[ ]lexbfs__640_19.min1.thm12017-02-06 12:45 805  
[ ]lexbfs__641_22.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__650_37.min1.thm12017-02-06 12:45 310  
[ ]lexbfs__650_37.min1.thm1.tptp2017-02-06 16:47 229  
[ ]lexbfs__651_19.min1.thm12017-02-06 12:45 922  
[ ]lexbfs__661_49.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__662_18.min1.thm12017-02-06 12:45 579  
[ ]lexbfs__670_31.min1.thm12017-02-06 12:45 714  
[ ]lexbfs__671_28.min1.thm12017-02-06 12:45 885  
[ ]lexbfs__672_55.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__691_33.min1.thm12017-02-06 12:45 907  
[ ]lexbfs__716_43.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__718_14.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__719_25.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__731_16.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__732_17.min1.thm12017-02-06 12:45 388  
[ ]lexbfs__733_24.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__755_10.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__760_40.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__761_25.min1.thm12017-02-06 12:45 510  
[ ]lexbfs__761_25.min1.thm1.tptp2017-02-06 16:47 442  
[ ]lexbfs__768_14.min1.thm12017-02-06 12:45 446  
[ ]lexbfs__780_25.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__781_17.min1.thm12017-02-06 12:45 729  
[ ]lexbfs__786_14.min1.thm12017-02-06 12:45 414  
[ ]lexbfs__799_35.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__807_10.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__809_17.min1.thm12017-02-06 12:45 502  
[ ]lexbfs__809_17.min1.thm1.tptp2017-02-06 16:47 434  
[ ]lexbfs__820_30.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__821_17.min1.thm12017-02-06 12:45 962  
[ ]lexbfs__838_15.min1.thm12017-02-06 12:45 380  
[ ]lexbfs__839_20.min1.thm12017-02-06 12:45 374  
[ ]lexbfs__839_20.min1.thm1.tptp2017-02-06 16:47 297  
[ ]lexbfs__840_19.min1.thm12017-02-06 12:45 630  
[ ]lexbfs__847_14.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__875_35.min1.thm12017-02-06 12:45 464  
[ ]lexbfs__877_17.min1.thm12017-02-06 12:45 642  
[ ]lexbfs__877_17.min1.thm1.tptp2017-02-06 16:47 567  
[ ]lexbfs__884_17.min1.thm12017-02-06 12:45 388  
[ ]lexbfs__885_66.min1.thm12017-02-06 12:45 808  
[ ]lexbfs__886_18.min1.thm12017-02-06 12:45 626  
[ ]lexbfs__904_22.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__920_32.min1.thm12017-02-06 12:45 656  
[ ]lexbfs__920_32.min1.thm1.tptp2017-02-06 16:47 579  
[ ]lexbfs__923_19.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__931_32.min1.thm12017-02-06 12:45 656  
[ ]lexbfs__931_32.min1.thm1.tptp2017-02-06 16:47 579  
[ ]lexbfs__932_23.min1.thm12017-02-06 12:45 349  
[ ]lexbfs__932_23.min1.thm1.tptp2017-02-06 16:47 272  
[ ]lexbfs__943_18.min1.thm12017-02-06 12:45 707  
[ ]lexbfs__951_17.min1.thm12017-02-06 12:45 285  
[ ]lexbfs__959_19.min1.thm12017-02-06 12:45 289  
[ ]lexbfs__966_51.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__969_29.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__971_41.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__984_27.min1.thm12017-02-06 12:45 2.1K 
[ ]lexbfs__990_18.min1.thm12017-02-06 12:45 630  
[ ]lexbfs__993_34.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__1001_20.min1.thm12017-02-06 12:45 344  
[ ]lexbfs__1004_34.min1.thm12017-02-06 12:45 742  
[ ]lexbfs__1005_16.min1.thm12017-02-06 12:45 893  
[ ]lexbfs__1006_19.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__1008_21.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__1017_17.min1.thm12017-02-06 12:45 795  
[ ]lexbfs__1029_17.min1.thm12017-02-06 12:45 795  
[ ]lexbfs__1032_22.min1.thm12017-02-06 12:45 917  
[ ]lexbfs__1051_17.min1.thm12017-02-06 12:45 682  
[ ]lexbfs__1052_24.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__1056_17.min1.thm12017-02-06 12:45 892  
[ ]lexbfs__1058_27.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__1075_23.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__1076_21.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__1077_24.min1.thm12017-02-06 12:45 700  
[ ]lexbfs__1081_27.min1.thm12017-02-06 12:45 716  
[ ]lexbfs__1090_48.min1.thm12017-02-06 12:45 924  
[ ]lexbfs__1100_69.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__1107_22.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__1146_20.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__1158_19.min1.thm12017-02-06 12:45 718  
[ ]lexbfs__1160_20.min1.thm12017-02-06 12:45 611  
[ ]lexbfs__1171_29.min1.thm12017-02-06 12:45 418  
[ ]lexbfs__1171_29.min1.thm1.tptp2017-02-06 16:47 337  
[ ]lexbfs__1183_52.min1.thm12017-02-06 12:45 2.0K 
[ ]lexbfs__1189_35.min1.thm12017-02-06 12:45 2.9K 
[ ]lexbfs__1190_72.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__1197_17.min1.thm12017-02-06 12:45 602  
[ ]lexbfs__1207_16.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__1207_16.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]lexbfs__1224_13.min1.thm12017-02-06 12:45 245  
[ ]lexbfs__1227_18.min1.thm12017-02-06 12:45 725  
[ ]lexbfs__1234_18.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__1243_40.min1.thm12017-02-06 12:45 341  
[ ]lexbfs__1253_21.min1.thm12017-02-06 12:45 966  
[ ]lexbfs__1256_21.min1.thm12017-02-06 12:45 966  
[ ]lexbfs__1261_30.min1.thm12017-02-06 12:45 357  
[ ]lexbfs__1261_30.min1.thm1.tptp2017-02-06 16:47 289  
[ ]lexbfs__1264_21.min1.thm12017-02-06 12:45 278  
[ ]lexbfs__1267_16.min1.thm12017-02-06 12:45 234  
[ ]lexbfs__1269_13.min1.thm12017-02-06 12:45 129  
[ ]lexbfs__1284_31.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__1285_41.min1.thm12017-02-06 12:45 342  
[ ]lexbfs__1288_36.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__1305_16.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__1307_17.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__1331_19.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__1342_13.min1.thm12017-02-06 12:45 247  
[ ]lexbfs__1345_21.min1.thm12017-02-06 12:45 2.5K 
[ ]lexbfs__1349_21.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__1352_13.min1.thm12017-02-06 12:45 2.1K 
[ ]lexbfs__1354_17.min1.thm12017-02-06 12:45 585  
[ ]lexbfs__1374_13.min1.thm12017-02-06 12:45 279  
[ ]lexbfs__1379_21.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__1380_15.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__1383_30.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__1387_21.min1.thm12017-02-06 12:45 2.7K 
[ ]lexbfs__1391_18.min1.thm12017-02-06 12:45 572  
[ ]lexbfs__1398_23.min1.thm12017-02-06 12:45 2.2K 
[ ]lexbfs__1399_19.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__1403_11.min1.thm12017-02-06 12:45 241  
[ ]lexbfs__1406_19.min1.thm12017-02-06 12:45 797  
[ ]lexbfs__1410_26.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__1413_26.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__1428_13.min1.thm12017-02-06 12:45 369  
[ ]lexbfs__1448_17.min1.thm12017-02-06 12:45 867  
[ ]lexbfs__1448_17.min1.thm1.tptp2017-02-06 16:47 783  
[ ]lexbfs__1468_22.min1.thm12017-02-06 12:45 388  
[ ]lexbfs__1469_16.min1.thm12017-02-06 12:45 341  
[ ]lexbfs__1479_34.min1.thm12017-02-06 12:45 534  
[ ]lexbfs__1489_13.min1.thm12017-02-06 12:45 247  
[ ]lexbfs__1494_21.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__1497_30.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__1511_27.min1.thm12017-02-06 12:45 795  
[ ]lexbfs__1516_17.min1.thm12017-02-06 12:45 606  
[ ]lexbfs__1516_17.min1.thm1.tptp2017-02-06 16:47 534  
[ ]lexbfs__1535_13.min1.thm12017-02-06 12:45 247  
[ ]lexbfs__1542_45.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__1557_13.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__1559_14.min1.thm12017-02-06 12:45 357  
[ ]lexbfs__1559_14.min1.thm1.tptp2017-02-06 16:47 276  
[ ]lexbfs__1574_11.min1.thm12017-02-06 12:45 213  
[ ]lexbfs__1604_43.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__1607_23.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__1611_24.min1.thm12017-02-06 12:45 828  
[ ]lexbfs__1613_11.min1.thm12017-02-06 12:45 289  
[ ]lexbfs__1619_62.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__1651_13.min1.thm12017-02-06 12:45 513  
[ ]lexbfs__1675_28.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__1680_13.min1.thm12017-02-06 12:45 423  
[ ]lexbfs__1689_37.min1.thm12017-02-06 12:45 460  
[ ]lexbfs__1693_13.min1.thm12017-02-06 12:45 291  
[ ]lexbfs__1703_39.min1.thm12017-02-06 12:45 2.2K 
[ ]lexbfs__1706_17.min1.thm12017-02-06 12:45 777  
[ ]lexbfs__1706_17.min1.thm1.tptp2017-02-06 16:47 685  
[ ]lexbfs__1728_16.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__1751_25.min1.thm12017-02-06 12:45 829  
[ ]lexbfs__1769_16.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__1777_16.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__1834_17.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__1835_13.min1.thm12017-02-06 12:45 856  
[ ]lexbfs__1836_25.min1.thm12017-02-06 12:45 819  
[ ]lexbfs__1837_27.min1.thm12017-02-06 12:45 356  
[ ]lexbfs__1837_27.min1.thm1.tptp2017-02-06 16:47 278  
[ ]lexbfs__1840_32.min1.thm12017-02-06 12:45 839  
[ ]lexbfs__1843_34.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__1869_13.min1.thm12017-02-06 12:45 521  
[ ]lexbfs__1872_18.min1.thm12017-02-06 12:45 2.0K 
[ ]lexbfs__1872_18.min1.thm1.tptp2017-02-06 16:47 2.0K 
[ ]lexbfs__1878_37.min1.thm12017-02-06 12:45 4.4K 
[ ]lexbfs__1881_29.min1.thm12017-02-06 12:45 2.1K 
[ ]lexbfs__1892_22.min1.thm12017-02-06 12:45 541  
[ ]lexbfs__1900_61.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__1907_14.min1.thm12017-02-06 12:45 481  
[ ]lexbfs__1907_14.min1.thm1.tptp2017-02-06 16:47 404  
[ ]lexbfs__1908_45.min1.thm12017-02-06 12:45 844  
[ ]lexbfs__1909_23.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__1910_17.min1.thm12017-02-06 12:45 393  
[ ]lexbfs__1916_27.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__1926_20.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__1932_23.min1.thm12017-02-06 12:45 2.3K 
[ ]lexbfs__1939_74.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__1955_73.min1.thm12017-02-06 12:45 479  
[ ]lexbfs__1991_67.min1.thm12017-02-06 12:45 585  
[ ]lexbfs__1991_67.min1.thm1.tptp2017-02-06 16:47 528  
[ ]lexbfs__1992_22.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__1995_16.min1.thm12017-02-06 12:45 387  
[ ]lexbfs__1995_16.min1.thm1.tptp2017-02-06 16:47 323  
[ ]lexbfs__2000_67.min1.thm12017-02-06 12:45 582  
[ ]lexbfs__2000_67.min1.thm1.tptp2017-02-06 16:47 525  
[ ]lexbfs__2001_22.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__2003_20.min1.thm12017-02-06 12:45 387  
[ ]lexbfs__2003_20.min1.thm1.tptp2017-02-06 16:47 323  
[ ]lexbfs__2004_19.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__2006_13.min1.thm12017-02-06 12:45 129  
[ ]lexbfs__2018_50.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__2022_18.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__2029_20.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__2034_22.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__2036_24.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__2043_23.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__2058_23.min1.thm12017-02-06 12:45 581  
[ ]lexbfs__2059_23.min1.thm12017-02-06 12:45 2.0K 
[ ]lexbfs__2064_19.min1.thm12017-02-06 12:45 647  
[ ]lexbfs__2072_23.min1.thm12017-02-06 12:45 581  
[ ]lexbfs__2079_30.min1.thm12017-02-06 12:45 2.9K 
[ ]lexbfs__2080_38.min1.thm12017-02-06 12:45 3.8K 
[ ]lexbfs__2100_11.min1.thm12017-02-06 12:45 515  
[ ]lexbfs__2103_33.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__2103_33.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]lexbfs__2105_17.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__2105_17.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]lexbfs__2109_37.min1.thm12017-02-06 12:45 2.2K 
[ ]lexbfs__2130_11.min1.thm12017-02-06 12:45 515  
[ ]lexbfs__2133_33.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__2133_33.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]lexbfs__2135_17.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__2135_17.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]lexbfs__2139_37.min1.thm12017-02-06 12:45 2.2K 
[ ]lexbfs__2159_76.min1.thm12017-02-06 12:45 2.0K 
[ ]lexbfs__2159_76.min1.thm1.tptp2017-02-06 16:47 1.9K 
[ ]lexbfs__2176_11.min1.thm12017-02-06 12:45 4.7K 
[ ]lexbfs__2177_13.min1.thm12017-02-06 12:45 129  
[ ]lexbfs__2193_15.min1.thm12017-02-06 12:45 380  
[ ]lexbfs__2194_19.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__2222_17.min1.thm12017-02-06 12:45 388  
[ ]lexbfs__2229_15.min1.thm12017-02-06 12:45 380  
[ ]lexbfs__2240_35.min1.thm12017-02-06 12:45 464  
[ ]lexbfs__2261_17.min1.thm12017-02-06 12:45 459  
[ ]lexbfs__2264_55.min1.thm12017-02-06 12:45 496  
[ ]lexbfs__2265_41.min1.thm12017-02-06 12:45 237  
[ ]lexbfs__2266_42.min1.thm12017-02-06 12:45 707  
[ ]lexbfs__2270_42.min1.thm12017-02-06 12:45 913  
[ ]lexbfs__2273_38.min1.thm12017-02-06 12:45 701  
[ ]lexbfs__2276_73.min1.thm12017-02-06 12:45 673  
[ ]lexbfs__2280_44.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__2286_17.min1.thm12017-02-06 12:45 388  
[ ]lexbfs__2289_19.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__2295_33.min1.thm12017-02-06 12:45 2.1K 
[ ]lexbfs__2297_15.min1.thm12017-02-06 12:45 381  
[ ]lexbfs__2300_16.min1.thm12017-02-06 12:45 653  
[ ]lexbfs__2313_44.min1.thm12017-02-06 12:45 733  
[ ]lexbfs__2314_23.min1.thm12017-02-06 12:45 568  
[ ]lexbfs__2314_23.min1.thm1.tptp2017-02-06 16:47 491  
[ ]lexbfs__2315_18.min1.thm12017-02-06 12:45 484  
[ ]lexbfs__2319_14.min1.thm12017-02-06 12:45 465  
[ ]lexbfs__2319_14.min1.thm1.tptp2017-02-06 16:47 383  
[ ]lexbfs__2321_56.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__2333_33.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__2334_30.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__2340_14.min1.thm12017-02-06 12:45 551  
[ ]lexbfs__2340_14.min1.thm1.tptp2017-02-06 16:47 474  
[ ]lexbfs__2352_13.min1.thm12017-02-06 12:45 553  
[ ]lexbfs__2352_13.min1.thm1.tptp2017-02-06 16:47 483  
[ ]lexbfs__2371_16.min1.thm12017-02-06 12:45 784  
[ ]lexbfs__2372_13.min1.thm12017-02-06 12:45 213  
[ ]lexbfs__2375_26.min1.thm12017-02-06 12:45 876  
[ ]lexbfs__2376_21.min1.thm12017-02-06 12:45 856  
[ ]lexbfs__2380_22.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__2381_21.min1.thm12017-02-06 12:45 660  
[ ]lexbfs__2413_22.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__2416_37.min1.thm12017-02-06 12:45 812  
[ ]lexbfs__2424_11.min1.thm12017-02-06 12:45 235  
[ ]lexbfs__2431_16.min1.thm12017-02-06 12:45 629  
[ ]lexbfs__2468_21.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__2470_39.min1.thm12017-02-06 12:45 807  
[ ]lexbfs__2475_28.min1.thm12017-02-06 12:45 862  
[ ]lexbfs__2494_27.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__2495_53.min1.thm12017-02-06 12:45 2.7K 
[ ]lexbfs__2520_43.min1.thm12017-02-06 12:45 2.4K 
[ ]lexbfs__2528_13.min1.thm12017-02-06 12:45 247  
[ ]lexbfs__2531_21.min1.thm12017-02-06 12:45 2.7K 
[ ]lexbfs__2535_21.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__2538_26.min1.thm12017-02-06 12:45 948  
[ ]lexbfs__2542_17.min1.thm12017-02-06 12:45 835  
[ ]lexbfs__2552_42.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__2565_13.min1.thm12017-02-06 12:45 2.8K 
[ ]lexbfs__2575_31.min1.thm12017-02-06 12:45 825  
[ ]lexbfs__2575_31.min1.thm1.tptp2017-02-06 16:47 748  
[ ]lexbfs__2578_10.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__2580_17.min1.thm12017-02-06 12:45 606  
[ ]lexbfs__2580_17.min1.thm1.tptp2017-02-06 16:47 538  
[ ]lexbfs__2590_54.min1.thm12017-02-06 12:45 920  
[ ]lexbfs__2591_17.min1.thm12017-02-06 12:45 2.4K 
[ ]lexbfs__2601_60.min1.thm12017-02-06 12:45 920  
[ ]lexbfs__2607_14.min1.thm12017-02-06 12:45 551  
[ ]lexbfs__2607_14.min1.thm1.tptp2017-02-06 16:47 474  
[ ]lexbfs__2644_40.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__2649_45.min1.thm12017-02-06 12:45 2.6K 
[ ]lexbfs__2657_43.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__2674_20.min1.thm12017-02-06 12:45 912  
[ ]lexbfs__2688_32.min1.thm12017-02-06 12:45 590  
[ ]lexbfs__2688_32.min1.thm1.tptp2017-02-06 16:47 513  
[ ]lexbfs__2694_16.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__2696_33.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__2699_27.min1.thm12017-02-06 12:45 2.8K 
[ ]lexbfs__2705_22.min1.thm12017-02-06 12:45 600  
[ ]lexbfs__2705_22.min1.thm1.tptp2017-02-06 16:47 527  
[ ]lexbfs__2716_35.min1.thm12017-02-06 12:45 669  
[ ]lexbfs__2716_35.min1.thm1.tptp2017-02-06 16:47 596  
[ ]lexbfs__2718_30.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__2727_15.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__2736_32.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__2747_32.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__2762_34.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__2763_28.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__2768_31.min1.thm12017-02-06 12:45 594  
[ ]lexbfs__2768_31.min1.thm1.tptp2017-02-06 16:47 517  
[ ]lexbfs__2769_22.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__2770_33.min1.thm12017-02-06 12:45 604  
[ ]lexbfs__2770_33.min1.thm1.tptp2017-02-06 16:47 531  
[ ]lexbfs__2771_37.min1.thm12017-02-06 12:45 760  
[ ]lexbfs__2774_21.min1.thm12017-02-06 12:45 864  
[ ]lexbfs__2777_31.min1.thm12017-02-06 12:45 2.8K 
[ ]lexbfs__2790_45.min1.thm12017-02-06 12:45 2.2K 
[ ]lexbfs__2805_32.min1.thm12017-02-06 12:45 600  
[ ]lexbfs__2805_32.min1.thm1.tptp2017-02-06 16:47 527  
[ ]lexbfs__2809_21.min1.thm12017-02-06 12:45 2.8K 
[ ]lexbfs__2810_51.min1.thm12017-02-06 12:45 2.5K 
[ ]lexbfs__2816_20.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__2817_39.min1.thm12017-02-06 12:45 665  
[ ]lexbfs__2817_39.min1.thm1.tptp2017-02-06 16:47 592  
[ ]lexbfs__2828_17.min1.thm12017-02-06 12:45 420  
[ ]lexbfs__2831_14.min1.thm12017-02-06 12:45 520  
[ ]lexbfs__2852_29.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__2853_21.min1.thm12017-02-06 12:45 2.8K 
[ ]lexbfs__2860_16.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__2894_13.min1.thm12017-02-06 12:45 279  
[ ]lexbfs__2898_22.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__2904_15.min1.thm12017-02-06 12:45 855  
[ ]lexbfs__2908_52.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__2909_44.min1.thm12017-02-06 12:45 2.9K 
[ ]lexbfs__2909_44.min1.thm1.tptp2017-02-06 16:47 2.8K 
[ ]lexbfs__2918_24.min1.thm12017-02-06 12:45 2.8K 
[ ]lexbfs__2918_24.min1.thm1.tptp2017-02-06 16:47 2.7K 
[ ]lexbfs__2924_18.min1.thm12017-02-06 12:45 749  
[ ]lexbfs__2927_26.min1.thm12017-02-06 12:45 948  
[ ]lexbfs__2930_13.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__2932_11.min1.thm12017-02-06 12:45 241  
[ ]lexbfs__2939_33.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__2942_47.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__2955_32.min1.thm12017-02-06 12:45 534  
[ ]lexbfs__2968_13.min1.thm12017-02-06 12:45 333  
[ ]lexbfs__2971_29.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__2977_15.min1.thm12017-02-06 12:45 909  
[ ]lexbfs__2980_53.min1.thm12017-02-06 12:45 3.2K 
[ ]lexbfs__2980_53.min1.thm1.tptp2017-02-06 16:47 3.1K 
[ ]lexbfs__2992_25.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__2996_10.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__2998_17.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__2998_17.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]lexbfs__3015_13.min1.thm12017-02-06 12:45 513  
[ ]lexbfs__3040_18.min1.thm12017-02-06 12:45 513  
[ ]lexbfs__3042_34.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__3057_15.min1.thm12017-02-06 12:45 329  
[ ]lexbfs__3065_17.min1.thm12017-02-06 12:45 941  
[ ]lexbfs__3073_52.min1.thm12017-02-06 12:45 3.3K 
[ ]lexbfs__3073_52.min1.thm1.tptp2017-02-06 16:47 3.3K 
[ ]lexbfs__3091_17.min1.thm12017-02-06 12:45 936  
[ ]lexbfs__3091_17.min1.thm1.tptp2017-02-06 16:47 862  
[ ]lexbfs__3112_13.min1.thm12017-02-06 12:45 513  
[ ]lexbfs__3116_10.min1.thm12017-02-06 12:45 732  
[ ]lexbfs__3117_17.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__3145_37.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__3160_13.min1.thm12017-02-06 12:45 243  
[ ]lexbfs__3163_44.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__3164_39.min1.thm12017-02-06 12:45 2.1K 
[ ]lexbfs__3180_24.min1.thm12017-02-06 12:45 2.8K 
[ ]lexbfs__3191_22.min1.thm12017-02-06 12:45 2.6K 
[ ]lexbfs__3205_38.min1.thm12017-02-06 12:45 2.6K 
[ ]lexbfs__3206_32.min1.thm12017-02-06 12:45 600  
[ ]lexbfs__3206_32.min1.thm1.tptp2017-02-06 16:47 527  
[ ]lexbfs__3213_34.min1.thm12017-02-06 12:45 665  
[ ]lexbfs__3213_34.min1.thm1.tptp2017-02-06 16:47 592  
[ ]lexbfs__3217_33.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__3218_20.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__3221_50.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__3244_26.min1.thm12017-02-06 12:45 859  
[ ]lexbfs__3246_50.min1.thm12017-02-06 12:45 665  
[ ]lexbfs__3246_50.min1.thm1.tptp2017-02-06 16:47 592  
[ ]lexbfs__3247_46.min1.thm12017-02-06 12:45 600  
[ ]lexbfs__3247_46.min1.thm1.tptp2017-02-06 16:47 527  
[ ]lexbfs__3248_28.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__3282_46.min1.thm12017-02-06 12:45 600  
[ ]lexbfs__3282_46.min1.thm1.tptp2017-02-06 16:47 527  
[ ]lexbfs__3283_67.min1.thm12017-02-06 12:45 665  
[ ]lexbfs__3283_67.min1.thm1.tptp2017-02-06 16:47 592  
[ ]lexbfs__3289_30.min1.thm12017-02-06 12:45 2.2K 
[ ]lexbfs__3295_37.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__3298_51.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__3300_47.min1.thm12017-02-06 12:45 2.3K 
[ ]lexbfs__3332_67.min1.thm12017-02-06 12:45 667  
[ ]lexbfs__3332_67.min1.thm1.tptp2017-02-06 16:47 594  
[ ]lexbfs__3333_46.min1.thm12017-02-06 12:45 602  
[ ]lexbfs__3333_46.min1.thm1.tptp2017-02-06 16:47 529  
[ ]lexbfs__3359_28.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__3363_28.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__3365_27.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__3391_36.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__3400_30.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__3402_36.min1.thm12017-02-06 12:45 3.0K 
[ ]lexbfs__3405_17.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__3419_51.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__3420_23.min1.thm12017-02-06 12:45 412  
[ ]lexbfs__3425_45.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__3426_21.min1.thm12017-02-06 12:45 253  
[ ]lexbfs__3429_30.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__3437_35.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__3442_44.min1.thm12017-02-06 12:45 484  
[ ]lexbfs__3447_50.min1.thm12017-02-06 12:45 352  
[ ]lexbfs__3447_50.min1.thm1.tptp2017-02-06 16:47 274  
[ ]lexbfs__3448_59.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__3450_62.min1.thm12017-02-06 12:45 729  
[ ]lexbfs__3460_28.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__3466_33.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__3508_31.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__3516_51.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__3522_33.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__3544_41.min1.thm12017-02-06 12:45 2.8K 
[ ]lexbfs__3550_17.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__3558_15.min1.thm12017-02-06 12:45 645  
[ ]lexbfs__3567_28.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__3576_62.min1.thm12017-02-06 12:45 2.2K 
[ ]lexbfs__3592_22.min1.thm12017-02-06 12:45 942  
[ ]lexbfs__3602_14.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__3604_15.min1.thm12017-02-06 12:45 2.6K 
[ ]lexbfs__3605_15.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__3606_34.min1.thm12017-02-06 12:45 2.8K 
[ ]lexbfs__3607_18.min1.thm12017-02-06 12:45 2.8K 
[ ]lexbfs__3617_18.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__3621_39.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__3652_30.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__3655_30.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__3664_29.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__3666_20.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__3668_20.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__3680_54.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__3683_22.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__3684_30.min1.thm12017-02-06 12:45 536  
[ ]lexbfs__3684_30.min1.thm1.tptp2017-02-06 16:47 453  
[ ]lexbfs__3687_17.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__3692_19.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__3695_26.min1.thm12017-02-06 12:45 2.0K 
[ ]lexbfs__3696_22.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__3698_21.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__3699_26.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__3705_21.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__3707_22.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__3710_22.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__3717_32.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__3723_27.min1.thm12017-02-06 12:45 544  
[ ]lexbfs__3723_27.min1.thm1.tptp2017-02-06 16:47 463  
[ ]lexbfs__3724_28.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__3728_28.min1.thm12017-02-06 12:45 2.8K 
[ ]lexbfs__3731_22.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__3734_26.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__3743_28.min1.thm12017-02-06 12:45 724  
[ ]lexbfs__3751_29.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__3752_29.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__3753_26.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__3754_52.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__3755_63.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__3757_43.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__3760_16.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__3764_34.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__3765_25.min1.thm12017-02-06 12:45 540  
[ ]lexbfs__3773_34.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__3774_25.min1.thm12017-02-06 12:45 540  
[ ]lexbfs__3788_33.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__3793_18.min1.thm12017-02-06 12:45 2.2K 
[ ]lexbfs__3794_39.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__3796_24.min1.thm12017-02-06 12:45 363  
[ ]lexbfs__3796_24.min1.thm1.tptp2017-02-06 16:47 277  
[ ]lexbfs__3797_28.min1.thm12017-02-06 12:45 2.0K 
[ ]lexbfs__3798_23.min1.thm12017-02-06 12:45 3.9K 
[ ]lexbfs__3799_33.min1.thm12017-02-06 12:45 2.0K 
[ ]lexbfs__3800_18.min1.thm12017-02-06 12:45 2.0K 
[ ]lexbfs__3802_48.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__3809_16.min1.thm12017-02-06 12:45 2.2K 
[ ]lexbfs__3810_36.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__3811_17.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__3818_14.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__3819_26.min1.thm12017-02-06 12:45 904  
[ ]lexbfs__3821_18.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__3822_22.min1.thm12017-02-06 12:45 944  
[ ]lexbfs__3827_16.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__3830_14.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__3853_29.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__3856_22.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__3857_21.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__3869_19.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__3873_24.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__3875_29.min1.thm12017-02-06 12:45 2.3K 
[ ]lexbfs__3881_23.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__3882_22.min1.thm12017-02-06 12:45 851  
[ ]lexbfs__3885_23.min1.thm12017-02-06 12:45 2.2K 
[ ]lexbfs__3892_24.min1.thm12017-02-06 12:45 2.0K 
[ ]lexbfs__3900_27.min1.thm12017-02-06 12:45 2.1K 
[ ]lexbfs__3904_30.min1.thm12017-02-06 12:45 533  
[ ]lexbfs__3904_30.min1.thm1.tptp2017-02-06 16:47 450  
[ ]lexbfs__3905_54.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__3909_18.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__3913_32.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__3919_26.min1.thm12017-02-06 12:45 542  
[ ]lexbfs__3919_26.min1.thm1.tptp2017-02-06 16:47 461  
[ ]lexbfs__3920_27.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__3924_27.min1.thm12017-02-06 12:45 2.8K 
[ ]lexbfs__3930_24.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__3933_23.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__3934_22.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__3990_17.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__3995_34.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__4016_13.min1.thm12017-02-06 12:45 506  
[ ]lexbfs__4019_18.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__4019_18.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]lexbfs__4026_37.min1.thm12017-02-06 12:45 3.0K 
[ ]lexbfs__4029_29.min1.thm12017-02-06 12:45 2.0K 
[ ]lexbfs__4035_15.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__4043_18.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__4043_18.min1.thm1.tptp2017-02-06 16:47 1.9K 
[ ]lexbfs__4046_12.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__4047_13.min1.thm12017-02-06 12:45 130  
[ ]lexbfs__4068_22.min1.thm12017-02-06 12:45 3.4K 
[ ]lexbfs__4069_37.min1.thm12017-02-06 12:45 3.0K 
[ ]lexbfs__4093_25.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__4096_48.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__4097_16.min1.thm12017-02-06 12:45 2.0K 
[ ]lexbfs__4099_12.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__4109_13.min1.thm12017-02-06 12:45 130  
[ ]lexbfs__4125_15.min1.thm12017-02-06 12:45 384  
[ ]lexbfs__4126_19.min1.thm12017-02-06 12:45 966  
[ ]lexbfs__4154_17.min1.thm12017-02-06 12:45 392  
[ ]lexbfs__4161_15.min1.thm12017-02-06 12:45 384  
[ ]lexbfs__4172_35.min1.thm12017-02-06 12:45 468  
[ ]lexbfs__4193_17.min1.thm12017-02-06 12:45 512  
[ ]lexbfs__4196_51.min1.thm12017-02-06 12:45 514  
[ ]lexbfs__4198_45.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__4202_42.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__4205_38.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__4208_73.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__4208_73.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]lexbfs__4212_44.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__4218_17.min1.thm12017-02-06 12:45 392  
[ ]lexbfs__4221_19.min1.thm12017-02-06 12:45 856  
[ ]lexbfs__4223_14.min1.thm12017-02-06 12:45 2.1K 
[ ]lexbfs__4227_30.min1.thm12017-02-06 12:45 2.3K 
[ ]lexbfs__4229_15.min1.thm12017-02-06 12:45 385  
[ ]lexbfs__4233_16.min1.thm12017-02-06 12:45 854  
[ ]lexbfs__4246_41.min1.thm12017-02-06 12:45 756  
[ ]lexbfs__4247_23.min1.thm12017-02-06 12:45 584  
[ ]lexbfs__4247_23.min1.thm1.tptp2017-02-06 16:47 507  
[ ]lexbfs__4248_18.min1.thm12017-02-06 12:45 498  
[ ]lexbfs__4252_14.min1.thm12017-02-06 12:45 480  
[ ]lexbfs__4252_14.min1.thm1.tptp2017-02-06 16:47 398  
[ ]lexbfs__4254_56.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__4265_30.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__4272_14.min1.thm12017-02-06 12:45 560  
[ ]lexbfs__4272_14.min1.thm1.tptp2017-02-06 16:47 483  
[ ]lexbfs__4280_13.min1.thm12017-02-06 12:45 619  
[ ]lexbfs__4288_13.min1.thm12017-02-06 12:45 302  
[ ]lexbfs__4295_23.min1.thm12017-02-06 12:45 2.3K 
[ ]lexbfs__4320_15.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__4322_31.min1.thm12017-02-06 12:45 599  
[ ]lexbfs__4323_20.min1.thm12017-02-06 12:45 928  
[ ]lexbfs__4326_19.min1.thm12017-02-06 12:45 966  
[ ]lexbfs__4328_16.min1.thm12017-02-06 12:45 842  
[ ]lexbfs__4330_11.min1.thm12017-02-06 12:45 240  
[ ]lexbfs__4339_19.min1.thm12017-02-06 12:45 2.0K 
[ ]lexbfs__4363_15.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__4364_34.min1.thm12017-02-06 12:45 599  
[ ]lexbfs__4366_17.min1.thm12017-02-06 12:45 927  
[ ]lexbfs__4369_28.min1.thm12017-02-06 12:45 850  
[ ]lexbfs__4385_54.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__4403_54.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__4424_54.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__4443_54.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__4462_24.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__4463_50.min1.thm12017-02-06 12:45 2.6K 
[ ]lexbfs__4468_10.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__4470_14.min1.thm12017-02-06 12:45 2.3K 
[ ]lexbfs__4494_43.min1.thm12017-02-06 12:45 3.0K 
[ ]lexbfs__4502_13.min1.thm12017-02-06 12:45 252  
[ ]lexbfs__4509_21.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__4512_42.min1.thm12017-02-06 12:45 470  
[ ]lexbfs__4513_34.min1.thm12017-02-06 12:45 961  
[ ]lexbfs__4517_17.min1.thm12017-02-06 12:45 829  
[ ]lexbfs__4527_42.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__4540_13.min1.thm12017-02-06 12:45 2.9K 
[ ]lexbfs__4550_31.min1.thm12017-02-06 12:45 818  
[ ]lexbfs__4550_31.min1.thm1.tptp2017-02-06 16:47 741  
[ ]lexbfs__4553_10.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__4555_17.min1.thm12017-02-06 12:45 623  
[ ]lexbfs__4555_17.min1.thm1.tptp2017-02-06 16:47 555  
[ ]lexbfs__4565_48.min1.thm12017-02-06 12:45 939  
[ ]lexbfs__4566_17.min1.thm12017-02-06 12:45 2.4K 
[ ]lexbfs__4576_54.min1.thm12017-02-06 12:45 939  
[ ]lexbfs__4582_14.min1.thm12017-02-06 12:45 560  
[ ]lexbfs__4582_14.min1.thm1.tptp2017-02-06 16:47 483  
[ ]lexbfs__4617_40.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__4622_45.min1.thm12017-02-06 12:45 2.5K 
[ ]lexbfs__4630_43.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__4647_20.min1.thm12017-02-06 12:45 912  
[ ]lexbfs__4661_32.min1.thm12017-02-06 12:45 600  
[ ]lexbfs__4661_32.min1.thm1.tptp2017-02-06 16:47 523  
[ ]lexbfs__4667_16.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__4669_33.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__4672_27.min1.thm12017-02-06 12:45 2.8K 
[ ]lexbfs__4678_22.min1.thm12017-02-06 12:45 610  
[ ]lexbfs__4678_22.min1.thm1.tptp2017-02-06 16:47 537  
[ ]lexbfs__4688_25.min1.thm12017-02-06 12:45 961  
[ ]lexbfs__4689_42.min1.thm12017-02-06 12:45 470  
[ ]lexbfs__4699_13.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__4708_31.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__4719_30.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__4734_32.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__4735_26.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__4740_29.min1.thm12017-02-06 12:45 600  
[ ]lexbfs__4740_29.min1.thm1.tptp2017-02-06 16:47 523  
[ ]lexbfs__4741_20.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__4742_33.min1.thm12017-02-06 12:45 676  
[ ]lexbfs__4742_33.min1.thm1.tptp2017-02-06 16:47 603  
[ ]lexbfs__4744_32.min1.thm12017-02-06 12:45 779  
[ ]lexbfs__4759_14.min1.thm12017-02-06 12:45 620  
[ ]lexbfs__4759_14.min1.thm1.tptp2017-02-06 16:47 543  
[ ]lexbfs__4773_32.min1.thm12017-02-06 12:45 610  
[ ]lexbfs__4773_32.min1.thm1.tptp2017-02-06 16:47 537  
[ ]lexbfs__4777_21.min1.thm12017-02-06 12:45 2.8K 
[ ]lexbfs__4778_51.min1.thm12017-02-06 12:45 2.5K 
[ ]lexbfs__4781_41.min1.thm12017-02-06 12:45 676  
[ ]lexbfs__4781_41.min1.thm1.tptp2017-02-06 16:47 603  
[ ]lexbfs__4784_20.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__4796_17.min1.thm12017-02-06 12:45 429  
[ ]lexbfs__4799_14.min1.thm12017-02-06 12:45 538  
[ ]lexbfs__4814_23.min1.thm12017-02-06 12:45 2.8K 
[ ]lexbfs__4821_25.min1.thm12017-02-06 12:45 2.4K 
[ ]lexbfs__4825_26.min1.thm12017-02-06 12:45 2.1K 
[ ]lexbfs__4828_26.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__4837_43.min1.thm12017-02-06 12:45 2.3K 
[ ]lexbfs__4838_16.min1.thm12017-02-06 12:45 4.5K 
[ ]lexbfs__4839_30.min1.thm12017-02-06 12:45 3.9K 
[ ]lexbfs__4848_16.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__4893_13.min1.thm12017-02-06 12:45 252  
[ ]lexbfs__4904_45.min1.thm12017-02-06 12:45 616  
[ ]lexbfs__4904_45.min1.thm1.tptp2017-02-06 16:47 543  
[ ]lexbfs__4906_49.min1.thm12017-02-06 12:45 682  
[ ]lexbfs__4906_49.min1.thm1.tptp2017-02-06 16:47 609  
[ ]lexbfs__4921_55.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__4921_55.min1.thm1.tptp2017-02-06 16:47 1.6K 
[ ]lexbfs__4922_17.min1.thm12017-02-06 12:45 886  
[ ]lexbfs__4926_21.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__4928_23.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__4931_41.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__4935_30.min1.thm12017-02-06 12:45 2.5K 
[ ]lexbfs__4935_30.min1.thm1.tptp2017-02-06 16:47 2.4K 
[ ]lexbfs__4945_35.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__4949_37.min1.thm12017-02-06 12:45 943  
[ ]lexbfs__4951_38.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__4952_26.min1.thm12017-02-06 12:45 2.5K 
[ ]lexbfs__4952_26.min1.thm1.tptp2017-02-06 16:47 2.4K 
[ ]lexbfs__4955_29.min1.thm12017-02-06 12:45 876  
[ ]lexbfs__4956_63.min1.thm12017-02-06 12:45 2.9K 
[ ]lexbfs__4959_18.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__4968_24.min1.thm12017-02-06 12:45 963  
[ ]lexbfs__4969_42.min1.thm12017-02-06 12:45 472  
[ ]lexbfs__4971_57.min1.thm12017-02-06 12:45 2.7K 
[ ]lexbfs__4974_11.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__4978_17.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__5000_47.min1.thm12017-02-06 12:45 678  
[ ]lexbfs__5000_47.min1.thm1.tptp2017-02-06 16:47 605  
[ ]lexbfs__5010_44.min1.thm12017-02-06 12:45 613  
[ ]lexbfs__5010_44.min1.thm1.tptp2017-02-06 16:47 540  
[ ]lexbfs__5016_36.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__5086_8.min1.thm12017-02-06 12:45 3.8K 
[ ]lexbfs__5092_39.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__5122_22.min1.thm12017-02-06 12:45 704  
[ ]lexbfs__5122_22.min1.thm1.tptp2017-02-06 16:47 618  
[ ]lexbfs__5124_28.min1.thm12017-02-06 12:45 349  
[ ]lexbfs__5124_28.min1.thm1.tptp2017-02-06 16:47 263  
[ ]lexbfs__5125_32.min1.thm12017-02-06 12:45 355  
[ ]lexbfs__5125_32.min1.thm1.tptp2017-02-06 16:47 267  
[ ]lexbfs__5146_22.min1.thm12017-02-06 12:45 942  
[ ]lexbfs__5147_35.min1.thm12017-02-06 12:45 731  
[ ]lexbfs__5148_31.min1.thm12017-02-06 12:45 2.7K 
[ ]lexbfs__5150_28.min1.thm12017-02-06 12:45 2.4K 
[ ]lexbfs__5161_21.min1.thm12017-02-06 12:45 1.9K 
[ ]lexbfs__5177_42.min1.thm12017-02-06 12:45 800  
[ ]lexbfs__5178_43.min1.thm12017-02-06 12:45 800  
[ ]lexbfs__5189_28.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__5190_17.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__5192_28.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__5205_24.min1.thm12017-02-06 12:45 2.1K 
[ ]lexbfs__5206_17.min1.thm12017-02-06 12:45 3.2K 
[ ]lexbfs__5211_17.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__5212_16.min1.thm12017-02-06 12:45 555  
[ ]lexbfs__5213_16.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__5214_24.min1.thm12017-02-06 12:45 2.3K 
[ ]lexbfs__5217_19.min1.thm12017-02-06 12:45 5.0K 
[ ]lexbfs__5219_15.min1.thm12017-02-06 12:45 234  
[ ]lexbfs__5231_47.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__5241_42.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__5242_41.min1.thm12017-02-06 12:45 554  
[ ]lexbfs__5243_42.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__5245_23.min1.thm12017-02-06 12:45 434  
[ ]lexbfs__5245_23.min1.thm1.tptp2017-02-06 16:47 354  
[ ]lexbfs__5246_16.min1.thm12017-02-06 12:45 2.6K 
[ ]lexbfs__5249_18.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__5255_15.min1.thm12017-02-06 12:45 555  
[ ]lexbfs__5260_16.min1.thm12017-02-06 12:45 1.4K 
[ ]lexbfs__5284_29.min1.thm12017-02-06 12:45 948  
[ ]lexbfs__5285_52.min1.thm12017-02-06 12:45 2.0K 
[ ]lexbfs__5286_43.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__5291_15.min1.thm12017-02-06 12:45 232  
[ ]lexbfs__5298_32.min1.thm12017-02-06 12:45 2.3K 
[ ]lexbfs__5309_17.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__5311_29.min1.thm12017-02-06 12:45 3.2K 
[ ]lexbfs__5312_30.min1.thm12017-02-06 12:45 3.3K 
[ ]lexbfs__5319_20.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__5326_21.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__5332_15.min1.thm12017-02-06 12:45 555  
[ ]lexbfs__5342_15.min1.thm12017-02-06 12:45 397  
[ ]lexbfs__5342_15.min1.thm1.tptp2017-02-06 16:47 322  
[ ]lexbfs__5351_15.min1.thm12017-02-06 12:45 232  
[ ]lexbfs__5355_19.min1.thm12017-02-06 12:45 1.1K 
[ ]lexbfs__5363_32.min1.thm12017-02-06 12:45 2.1K 
[ ]lexbfs__5366_27.min1.thm12017-02-06 12:45 955  
[ ]lexbfs__5368_22.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__5371_36.min1.thm12017-02-06 12:45 2.4K 
[ ]lexbfs__5382_22.min1.thm12017-02-06 12:45 874  
[ ]lexbfs__5384_22.min1.thm12017-02-06 12:45 816  
[ ]lexbfs__5385_19.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__5400_27.min1.thm12017-02-06 12:45 2.1K 
[ ]lexbfs__5420_38.min1.thm12017-02-06 12:45 2.7K 
[ ]lexbfs__5441_19.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__5461_32.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__5480_22.min1.thm12017-02-06 12:45 886  
[ ]lexbfs__5500_21.min1.thm12017-02-06 12:45 886  
[ ]lexbfs__5504_21.min1.thm12017-02-06 12:45 886  
[ ]lexbfs__5518_21.min1.thm12017-02-06 12:45 1.2K 
[ ]lexbfs__5524_31.min1.thm12017-02-06 12:45 2.0K 
[ ]lexbfs__5525_13.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__5527_18.min1.thm12017-02-06 12:45 1.0K 
[ ]lexbfs__5528_16.min1.thm12017-02-06 12:45 1.7K 
[ ]lexbfs__5531_18.min1.thm12017-02-06 12:45 2.0K 
[ ]lexbfs__5532_21.min1.thm12017-02-06 12:45 946  
[ ]lexbfs__5535_15.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__5550_17.min1.thm12017-02-06 12:45 2.6K 
[ ]lexbfs__5551_20.min1.thm12017-02-06 12:45 2.5K 
[ ]lexbfs__5552_20.min1.thm12017-02-06 12:45 2.5K 
[ ]lexbfs__5555_17.min1.thm12017-02-06 12:45 2.6K 
[ ]lexbfs__5556_17.min1.thm12017-02-06 12:45 2.6K 
[ ]lexbfs__5557_16.min1.thm12017-02-06 12:45 2.1K 
[ ]lexbfs__5560_18.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__5572_22.min1.thm12017-02-06 12:45 881  
[ ]lexbfs__5578_16.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__5579_21.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__5580_34.min1.thm12017-02-06 12:45 2.4K 
[ ]lexbfs__5588_16.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__5589_39.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__5591_28.min1.thm12017-02-06 12:45 3.5K 
[ ]lexbfs__5600_18.min1.thm12017-02-06 12:45 1.3K 
[ ]lexbfs__5612_22.min1.thm12017-02-06 12:45 881  
[ ]lexbfs__5618_16.min1.thm12017-02-06 12:45 1.5K 
[ ]lexbfs__5619_21.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__5620_34.min1.thm12017-02-06 12:45 2.4K 
[ ]lexbfs__5628_16.min1.thm12017-02-06 12:45 1.6K 
[ ]lexbfs__5629_39.min1.thm12017-02-06 12:45 1.8K 
[ ]lexbfs__5631_28.min1.thm12017-02-06 12:45 3.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80