Index of /~mptp/1147/MPTP2/ilp0/afproj

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]afproj__52_20.min1.thm12017-02-06 12:46 657  
[   ]afproj__52_20.min1.thm1.tptp2017-02-06 16:48 618  
[   ]afproj__54_13.min1.thm12017-02-06 12:46 714  
[   ]afproj__55_13.min1.thm12017-02-06 12:46 714  
[   ]afproj__56_9.min1.thm12017-02-06 12:46 766  
[   ]afproj__58_22.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__60_13.min1.thm12017-02-06 12:46 714  
[   ]afproj__61_9.min1.thm12017-02-06 12:46 767  
[   ]afproj__63_22.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__64_13.min1.thm12017-02-06 12:46 715  
[   ]afproj__68_18.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__74_40.min1.thm12017-02-06 12:46 463  
[   ]afproj__76_24.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__77_15.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__78_23.min1.thm12017-02-06 12:46 2.2K 
[   ]afproj__82_14.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__83_20.min1.thm12017-02-06 12:46 2.5K 
[   ]afproj__84_69.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__88_14.min1.thm12017-02-06 12:46 571  
[   ]afproj__88_14.min1.thm1.tptp2017-02-06 16:48 507  
[   ]afproj__89_21.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__90_17.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__99_40.min1.thm12017-02-06 12:46 251  
[   ]afproj__100_53.min1.thm12017-02-06 12:46 358  
[   ]afproj__100_53.min1.thm1.tptp2017-02-06 16:48 286  
[   ]afproj__101_21.min1.thm12017-02-06 12:46 771  
[   ]afproj__102_17.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__112_24.min1.thm12017-02-06 12:46 706  
[   ]afproj__113_17.min1.thm12017-02-06 12:46 762  
[   ]afproj__123_30.min1.thm12017-02-06 12:46 909  
[   ]afproj__144_15.min1.thm12017-02-06 12:46 664  
[   ]afproj__145_15.min1.thm12017-02-06 12:46 664  
[   ]afproj__146_45.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__147_16.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__148_16.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__152_20.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__155_15.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__157_16.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__158_13.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__160_18.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__161_15.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__163_16.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__164_13.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__166_18.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__167_15.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__169_16.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__170_15.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__171_18.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__176_60.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__197_40.min1.thm12017-02-06 12:46 663  
[   ]afproj__198_18.min1.thm12017-02-06 12:46 508  
[   ]afproj__200_16.min1.thm12017-02-06 12:46 419  
[   ]afproj__200_16.min1.thm1.tptp2017-02-06 16:48 341  
[   ]afproj__215_41.min1.thm12017-02-06 12:46 663  
[   ]afproj__216_18.min1.thm12017-02-06 12:46 508  
[   ]afproj__218_16.min1.thm12017-02-06 12:46 419  
[   ]afproj__218_16.min1.thm1.tptp2017-02-06 16:48 341  
[   ]afproj__223_66.min1.thm12017-02-06 12:46 627  
[   ]afproj__223_66.min1.thm1.tptp2017-02-06 16:48 603  
[   ]afproj__226_68.min1.thm12017-02-06 12:46 627  
[   ]afproj__226_68.min1.thm1.tptp2017-02-06 16:48 603  
[   ]afproj__244_14.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__245_17.min1.thm12017-02-06 12:46 817  
[   ]afproj__246_17.min1.thm12017-02-06 12:46 817  
[   ]afproj__247_24.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__249_51.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__255_21.min1.thm12017-02-06 12:46 778  
[   ]afproj__256_15.min1.thm12017-02-06 12:46 914  
[   ]afproj__257_22.min1.thm12017-02-06 12:46 860  
[   ]afproj__258_26.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__261_29.min1.thm12017-02-06 12:46 880  
[   ]afproj__263_21.min1.thm12017-02-06 12:46 561  
[   ]afproj__275_18.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__279_21.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__291_24.min1.thm12017-02-06 12:46 778  
[   ]afproj__294_24.min1.thm12017-02-06 12:46 778  
[   ]afproj__295_17.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__297_15.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__300_24.min1.thm12017-02-06 12:46 779  
[   ]afproj__301_17.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__302_20.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__303_20.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__304_22.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__305_26.min1.thm12017-02-06 12:46 1.7K 
[   ]afproj__317_24.min1.thm12017-02-06 12:46 778  
[   ]afproj__320_24.min1.thm12017-02-06 12:46 778  
[   ]afproj__321_17.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__322_20.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__323_22.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__324_26.min1.thm12017-02-06 12:46 1.7K 
[   ]afproj__328_19.min1.thm12017-02-06 12:46 941  
[   ]afproj__329_19.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__349_14.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__350_17.min1.thm12017-02-06 12:46 817  
[   ]afproj__351_17.min1.thm12017-02-06 12:46 817  
[   ]afproj__352_24.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__354_51.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__360_22.min1.thm12017-02-06 12:46 778  
[   ]afproj__361_17.min1.thm12017-02-06 12:46 668  
[   ]afproj__362_26.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__365_29.min1.thm12017-02-06 12:46 880  
[   ]afproj__367_21.min1.thm12017-02-06 12:46 561  
[   ]afproj__379_18.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__383_21.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__395_25.min1.thm12017-02-06 12:46 778  
[   ]afproj__398_25.min1.thm12017-02-06 12:46 778  
[   ]afproj__401_25.min1.thm12017-02-06 12:46 779  
[   ]afproj__402_17.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__403_17.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__404_22.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__417_25.min1.thm12017-02-06 12:46 778  
[   ]afproj__420_25.min1.thm12017-02-06 12:46 778  
[   ]afproj__421_17.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__422_22.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__423_26.min1.thm12017-02-06 12:46 1.7K 
[   ]afproj__427_19.min1.thm12017-02-06 12:46 941  
[   ]afproj__428_19.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__436_13.min1.thm12017-02-06 12:46 822  
[   ]afproj__443_13.min1.thm12017-02-06 12:46 822  
[   ]afproj__460_12.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__463_13.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__471_13.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__472_20.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__474_69.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__477_17.min1.thm12017-02-06 12:46 850  
[   ]afproj__477_17.min1.thm1.tptp2017-02-06 16:48 795  
[   ]afproj__494_12.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__505_15.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__506_77.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__510_17.min1.thm12017-02-06 12:46 850  
[   ]afproj__510_17.min1.thm1.tptp2017-02-06 16:48 795  
[   ]afproj__519_42.min1.thm12017-02-06 12:46 695  
[   ]afproj__520_23.min1.thm12017-02-06 12:46 794  
[   ]afproj__523_46.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__524_56.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__525_19.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__527_41.min1.thm12017-02-06 12:46 695  
[   ]afproj__528_23.min1.thm12017-02-06 12:46 794  
[   ]afproj__531_20.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__532_46.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__533_28.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__535_17.min1.thm12017-02-06 12:46 583  
[   ]afproj__535_17.min1.thm1.tptp2017-02-06 16:48 501  
[   ]afproj__544_31.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__545_17.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__554_43.min1.thm12017-02-06 12:46 695  
[   ]afproj__555_24.min1.thm12017-02-06 12:46 794  
[   ]afproj__558_47.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__559_57.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__560_21.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__562_42.min1.thm12017-02-06 12:46 695  
[   ]afproj__563_24.min1.thm12017-02-06 12:46 794  
[   ]afproj__566_47.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__567_28.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__569_17.min1.thm12017-02-06 12:46 583  
[   ]afproj__569_17.min1.thm1.tptp2017-02-06 16:48 501  
[   ]afproj__579_11.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__581_22.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__582_25.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__583_73.min1.thm12017-02-06 12:46 1.7K 
[   ]afproj__585_16.min1.thm12017-02-06 12:46 534  
[   ]afproj__585_16.min1.thm1.tptp2017-02-06 16:48 454  
[   ]afproj__600_23.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__601_24.min1.thm12017-02-06 12:46 818  
[   ]afproj__602_75.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__604_16.min1.thm12017-02-06 12:46 492  
[   ]afproj__604_16.min1.thm1.tptp2017-02-06 16:48 412  
[   ]afproj__621_22.min1.thm12017-02-06 12:46 773  
[   ]afproj__623_21.min1.thm12017-02-06 12:46 967  
[   ]afproj__624_27.min1.thm12017-02-06 12:46 305  
[   ]afproj__624_27.min1.thm1.tptp2017-02-06 16:48 219  
[   ]afproj__630_23.min1.thm12017-02-06 12:46 806  
[   ]afproj__633_17.min1.thm12017-02-06 12:46 754  
[   ]afproj__633_17.min1.thm1.tptp2017-02-06 16:48 699  
[   ]afproj__649_23.min1.thm12017-02-06 12:46 773  
[   ]afproj__651_21.min1.thm12017-02-06 12:46 967  
[   ]afproj__652_28.min1.thm12017-02-06 12:46 305  
[   ]afproj__652_28.min1.thm1.tptp2017-02-06 16:48 219  
[   ]afproj__658_24.min1.thm12017-02-06 12:46 806  
[   ]afproj__661_17.min1.thm12017-02-06 12:46 754  
[   ]afproj__661_17.min1.thm1.tptp2017-02-06 16:48 699  
[   ]afproj__678_28.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__679_36.min1.thm12017-02-06 12:46 336  
[   ]afproj__679_36.min1.thm1.tptp2017-02-06 16:48 258  
[   ]afproj__682_22.min1.thm12017-02-06 12:46 672  
[   ]afproj__684_22.min1.thm12017-02-06 12:46 806  
[   ]afproj__685_11.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__686_18.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__687_16.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__694_40.min1.thm12017-02-06 12:46 254  
[   ]afproj__695_54.min1.thm12017-02-06 12:46 361  
[   ]afproj__695_54.min1.thm1.tptp2017-02-06 16:48 289  
[   ]afproj__698_24.min1.thm12017-02-06 12:46 782  
[   ]afproj__702_29.min1.thm12017-02-06 12:46 485  
[   ]afproj__702_29.min1.thm1.tptp2017-02-06 16:48 431  
[   ]afproj__705_22.min1.thm12017-02-06 12:46 765  
[   ]afproj__708_23.min1.thm12017-02-06 12:46 673  
[   ]afproj__712_9.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__716_14.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__717_17.min1.thm12017-02-06 12:46 256  
[   ]afproj__718_12.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__731_16.min1.thm12017-02-06 12:46 708  
[   ]afproj__734_22.min1.thm12017-02-06 12:46 773  
[   ]afproj__736_19.min1.thm12017-02-06 12:46 748  
[   ]afproj__737_27.min1.thm12017-02-06 12:46 305  
[   ]afproj__737_27.min1.thm1.tptp2017-02-06 16:48 219  
[   ]afproj__743_24.min1.thm12017-02-06 12:46 806  
[   ]afproj__744_37.min1.thm12017-02-06 12:46 608  
[   ]afproj__746_17.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__759_16.min1.thm12017-02-06 12:46 708  
[   ]afproj__762_23.min1.thm12017-02-06 12:46 680  
[   ]afproj__764_25.min1.thm12017-02-06 12:46 711  
[   ]afproj__765_28.min1.thm12017-02-06 12:46 305  
[   ]afproj__765_28.min1.thm1.tptp2017-02-06 16:48 219  
[   ]afproj__771_35.min1.thm12017-02-06 12:46 713  
[   ]afproj__772_43.min1.thm12017-02-06 12:46 745  
[   ]afproj__774_17.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__782_13.min1.thm12017-02-06 12:46 541  
[   ]afproj__790_11.min1.thm12017-02-06 12:46 786  
[   ]afproj__827_39.min1.thm12017-02-06 12:46 828  
[   ]afproj__828_27.min1.thm12017-02-06 12:46 678  
[   ]afproj__830_35.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__831_23.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__840_32.min1.thm12017-02-06 12:46 824  
[   ]afproj__841_25.min1.thm12017-02-06 12:46 674  
[   ]afproj__842_41.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__843_25.min1.thm12017-02-06 12:46 859  
[   ]afproj__886_36.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__886_36.min1.thm1.tptp2017-02-06 16:48 1.0K 
[   ]afproj__891_15.min1.thm12017-02-06 12:46 861  
[   ]afproj__892_15.min1.thm12017-02-06 12:46 861  
[   ]afproj__893_19.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__926_13.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__939_32.min1.thm12017-02-06 12:46 788  
[   ]afproj__948_72.min1.thm12017-02-06 12:46 652  
[   ]afproj__948_72.min1.thm1.tptp2017-02-06 16:48 604  
[   ]afproj__952_17.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__952_17.min1.thm1.tptp2017-02-06 16:48 944  
[   ]afproj__965_17.min1.thm12017-02-06 12:46 746  
[   ]afproj__980_39.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__987_33.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__990_42.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__994_53.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__998_39.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1016_17.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1038_37.min1.thm12017-02-06 12:46 792  
[   ]afproj__1039_61.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1040_58.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1043_18.min1.thm12017-02-06 12:46 463  
[   ]afproj__1044_12.min1.thm12017-02-06 12:46 366  
[   ]afproj__1044_12.min1.thm1.tptp2017-02-06 16:48 296  
[   ]afproj__1045_39.min1.thm12017-02-06 12:46 634  
[   ]afproj__1049_43.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1058_32.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__1061_17.min1.thm12017-02-06 12:46 628  
[   ]afproj__1061_17.min1.thm1.tptp2017-02-06 16:48 552  
[   ]afproj__1075_18.min1.thm12017-02-06 12:46 559  
[   ]afproj__1076_10.min1.thm12017-02-06 12:46 350  
[   ]afproj__1076_10.min1.thm1.tptp2017-02-06 16:48 280  
[   ]afproj__1086_28.min1.thm12017-02-06 12:46 774  
[   ]afproj__1087_57.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1088_54.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1092_46.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1111_25.min1.thm12017-02-06 12:46 818  
[   ]afproj__1112_12.min1.thm12017-02-06 12:46 460  
[   ]afproj__1116_45.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__1117_45.min1.thm12017-02-06 12:46 717  
[   ]afproj__1121_20.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__1122_18.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1123_25.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__1129_32.min1.thm12017-02-06 12:46 766  
[   ]afproj__1130_61.min1.thm12017-02-06 12:46 759  
[   ]afproj__1132_58.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1135_23.min1.thm12017-02-06 12:46 800  
[   ]afproj__1139_44.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1147_20.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1148_42.min1.thm12017-02-06 12:46 697  
[   ]afproj__1149_23.min1.thm12017-02-06 12:46 796  
[   ]afproj__1150_71.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__1155_17.min1.thm12017-02-06 12:46 547  
[   ]afproj__1155_17.min1.thm1.tptp2017-02-06 16:48 459  
[   ]afproj__1175_27.min1.thm12017-02-06 12:46 818  
[   ]afproj__1176_47.min1.thm12017-02-06 12:46 715  
[   ]afproj__1178_50.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__1181_12.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__1182_25.min1.thm12017-02-06 12:46 819  
[   ]afproj__1184_43.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__1185_44.min1.thm12017-02-06 12:46 716  
[   ]afproj__1189_18.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__1190_16.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1191_24.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__1192_23.min1.thm12017-02-06 12:46 1.7K 
[   ]afproj__1196_44.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1204_49.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__1207_17.min1.thm12017-02-06 12:46 547  
[   ]afproj__1207_17.min1.thm1.tptp2017-02-06 16:48 459  
[   ]afproj__1217_11.min1.thm12017-02-06 12:46 886  
[   ]afproj__1218_18.min1.thm12017-02-06 12:46 818  
[   ]afproj__1219_17.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__1232_13.min1.thm12017-02-06 12:46 971  
[   ]afproj__1233_17.min1.thm12017-02-06 12:46 1.7K 
[   ]afproj__1246_20.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1248_16.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__1249_21.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1250_17.min1.thm12017-02-06 12:46 1.7K 
[   ]afproj__1255_7.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1267_23.min1.thm12017-02-06 12:46 837  
[   ]afproj__1269_17.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1301_47.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1308_14.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1310_17.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1311_16.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1312_21.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__1319_17.min1.thm12017-02-06 12:46 547  
[   ]afproj__1319_17.min1.thm1.tptp2017-02-06 16:48 459  
[   ]afproj__1342_19.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__1347_21.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__1349_17.min1.thm12017-02-06 12:46 591  
[   ]afproj__1349_17.min1.thm1.tptp2017-02-06 16:48 503  
[   ]afproj__1377_19.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1384_19.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__1385_17.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1401_20.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1402_11.min1.thm12017-02-06 12:46 784  
[   ]afproj__1404_30.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1406_23.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__1407_12.min1.thm12017-02-06 12:46 785  
[   ]afproj__1409_31.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1411_24.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__1412_12.min1.thm12017-02-06 12:46 785  
[   ]afproj__1414_31.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1419_21.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__1421_22.min1.thm12017-02-06 12:46 730  
[   ]afproj__1422_22.min1.thm12017-02-06 12:46 730  
[   ]afproj__1423_22.min1.thm12017-02-06 12:46 730  
[   ]afproj__1424_22.min1.thm12017-02-06 12:46 730  
[   ]afproj__1429_26.min1.thm12017-02-06 12:46 1.7K 
[   ]afproj__1432_22.min1.thm12017-02-06 12:46 730  
[   ]afproj__1433_22.min1.thm12017-02-06 12:46 730  
[   ]afproj__1438_26.min1.thm12017-02-06 12:46 1.7K 
[   ]afproj__1445_26.min1.thm12017-02-06 12:46 1.7K 
[   ]afproj__1464_9.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1465_15.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1466_22.min1.thm12017-02-06 12:46 807  
[   ]afproj__1470_23.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__1471_17.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1474_13.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1475_18.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__1476_17.min1.thm12017-02-06 12:46 2.0K 
[   ]afproj__1487_23.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1491_17.min1.thm12017-02-06 12:46 927  
[   ]afproj__1493_22.min1.thm12017-02-06 12:46 1.7K 
[   ]afproj__1497_13.min1.thm12017-02-06 12:46 795  
[   ]afproj__1498_13.min1.thm12017-02-06 12:46 809  
[   ]afproj__1503_18.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__1529_20.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__1539_18.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1541_22.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1542_23.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__1555_42.min1.thm12017-02-06 12:46 268  
[   ]afproj__1557_9.min1.thm12017-02-06 12:46 227  
[   ]afproj__1564_16.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__1568_19.min1.thm12017-02-06 12:46 961  
[   ]afproj__1572_40.min1.thm12017-02-06 12:46 264  
[   ]afproj__1573_8.min1.thm12017-02-06 12:46 219  
[   ]afproj__1585_21.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__1590_42.min1.thm12017-02-06 12:46 268  
[   ]afproj__1595_19.min1.thm12017-02-06 12:46 961  
[   ]afproj__1597_17.min1.thm12017-02-06 12:46 958  
[   ]afproj__1612_20.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__1613_11.min1.thm12017-02-06 12:46 806  
[   ]afproj__1615_31.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1617_24.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__1618_12.min1.thm12017-02-06 12:46 807  
[   ]afproj__1620_31.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1622_24.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__1623_12.min1.thm12017-02-06 12:46 807  
[   ]afproj__1625_31.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1628_26.min1.thm12017-02-06 12:46 1.7K 
[   ]afproj__1630_23.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__1632_22.min1.thm12017-02-06 12:46 746  
[   ]afproj__1633_22.min1.thm12017-02-06 12:46 746  
[   ]afproj__1634_22.min1.thm12017-02-06 12:46 746  
[   ]afproj__1635_22.min1.thm12017-02-06 12:46 746  
[   ]afproj__1640_28.min1.thm12017-02-06 12:46 1.7K 
[   ]afproj__1643_22.min1.thm12017-02-06 12:46 746  
[   ]afproj__1644_22.min1.thm12017-02-06 12:46 746  
[   ]afproj__1649_28.min1.thm12017-02-06 12:46 1.7K 
[   ]afproj__1656_28.min1.thm12017-02-06 12:46 1.7K 
[   ]afproj__1664_57.min1.thm12017-02-06 12:46 779  
[   ]afproj__1668_12.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1669_70.min1.thm12017-02-06 12:46 837  
[   ]afproj__1671_13.min1.thm12017-02-06 12:46 890  
[   ]afproj__1672_20.min1.thm12017-02-06 12:46 825  
[   ]afproj__1673_37.min1.thm12017-02-06 12:46 2.8K 
[   ]afproj__1674_16.min1.thm12017-02-06 12:46 499  
[   ]afproj__1679_30.min1.thm12017-02-06 12:46 843  
[   ]afproj__1680_59.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__1681_56.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1701_13.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1702_17.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1703_26.min1.thm12017-02-06 12:46 832  
[   ]afproj__1707_25.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__1708_18.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1709_61.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1711_17.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1712_22.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__1713_30.min1.thm12017-02-06 12:46 2.4K 
[   ]afproj__1717_42.min1.thm12017-02-06 12:46 268  
[   ]afproj__1718_26.min1.thm12017-02-06 12:46 832  
[   ]afproj__1719_62.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__1721_17.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1722_24.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__1724_17.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1727_19.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__1731_40.min1.thm12017-02-06 12:46 264  
[   ]afproj__1736_27.min1.thm12017-02-06 12:46 836  
[   ]afproj__1737_63.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__1739_18.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__1741_19.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__1742_26.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__1747_42.min1.thm12017-02-06 12:46 268  
[   ]afproj__1751_24.min1.thm12017-02-06 12:46 864  
[   ]afproj__1752_55.min1.thm12017-02-06 12:46 915  
[   ]afproj__1754_29.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__1756_19.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__1758_17.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__1779_27.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1780_19.min1.thm12017-02-06 12:46 896  
[   ]afproj__1782_21.min1.thm12017-02-06 12:46 834  
[   ]afproj__1785_14.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__1787_17.min1.thm12017-02-06 12:46 894  
[   ]afproj__1788_24.min1.thm12017-02-06 12:46 832  
[   ]afproj__1789_32.min1.thm12017-02-06 12:46 2.2K 
[   ]afproj__1796_70.min1.thm12017-02-06 12:46 692  
[   ]afproj__1798_31.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__1800_21.min1.thm12017-02-06 12:46 842  
[   ]afproj__1800_21.min1.thm1.tptp2017-02-06 16:48 786  
[   ]afproj__1803_15.min1.thm12017-02-06 12:46 892  
[   ]afproj__1805_17.min1.thm12017-02-06 12:46 828  
[   ]afproj__1806_74.min1.thm12017-02-06 12:46 781  
[   ]afproj__1812_29.min1.thm12017-02-06 12:46 728  
[   ]afproj__1813_23.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1822_27.min1.thm12017-02-06 12:46 724  
[   ]afproj__1827_17.min1.thm12017-02-06 12:46 894  
[   ]afproj__1829_19.min1.thm12017-02-06 12:46 830  
[   ]afproj__1830_59.min1.thm12017-02-06 12:46 783  
[   ]afproj__1832_18.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1847_29.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__1857_20.min1.thm12017-02-06 12:46 666  
[   ]afproj__1857_20.min1.thm1.tptp2017-02-06 16:48 627  
[   ]afproj__1858_9.min1.thm12017-02-06 12:46 784  
[   ]afproj__1860_30.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1861_64.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__1862_48.min1.thm12017-02-06 12:46 668  
[   ]afproj__1869_21.min1.thm12017-02-06 12:46 731  
[   ]afproj__1870_21.min1.thm12017-02-06 12:46 731  
[   ]afproj__1883_52.min1.thm12017-02-06 12:46 752  
[   ]afproj__1891_13.min1.thm12017-02-06 12:46 922  
[   ]afproj__1892_51.min1.thm12017-02-06 12:46 718  
[   ]afproj__1901_14.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__1908_14.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__1921_51.min1.thm12017-02-06 12:46 718  
[   ]afproj__1926_40.min1.thm12017-02-06 12:46 264  
[   ]afproj__1927_7.min1.thm12017-02-06 12:46 219  
[   ]afproj__1931_48.min1.thm12017-02-06 12:46 837  
[   ]afproj__1956_40.min1.thm12017-02-06 12:46 264  
[   ]afproj__1963_17.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1965_22.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1967_17.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__1970_17.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__1976_42.min1.thm12017-02-06 12:46 268  
[   ]afproj__1985_19.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1993_42.min1.thm12017-02-06 12:46 268  
[   ]afproj__1996_16.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__1998_22.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__2000_16.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2003_15.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__2010_17.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__2015_22.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__2016_22.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2019_19.min1.thm12017-02-06 12:46 956  
[   ]afproj__2021_17.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__2044_15.min1.thm12017-02-06 12:46 816  
[   ]afproj__2047_24.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__2050_17.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__2052_17.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2054_15.min1.thm12017-02-06 12:46 816  
[   ]afproj__2057_24.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__2060_18.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__2062_17.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2063_17.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__2064_17.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__2080_56.min1.thm12017-02-06 12:46 777  
[   ]afproj__2084_23.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__2085_28.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__2091_66.min1.thm12017-02-06 12:46 676  
[   ]afproj__2093_27.min1.thm12017-02-06 12:46 2.0K 
[   ]afproj__2118_36.min1.thm12017-02-06 12:46 262  
[   ]afproj__2144_59.min1.thm12017-02-06 12:46 787  
[   ]afproj__2148_23.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__2149_24.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2150_21.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__2151_20.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2165_20.min1.thm12017-02-06 12:46 375  
[   ]afproj__2165_20.min1.thm1.tptp2017-02-06 16:48 289  
[   ]afproj__2168_24.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2169_21.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__2179_18.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__2180_59.min1.thm12017-02-06 12:46 785  
[   ]afproj__2185_20.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2188_24.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2189_21.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__2224_36.min1.thm12017-02-06 12:46 262  
[   ]afproj__2233_8.min1.thm12017-02-06 12:46 215  
[   ]afproj__2238_23.min1.thm12017-02-06 12:46 839  
[   ]afproj__2246_8.min1.thm12017-02-06 12:46 215  
[   ]afproj__2258_19.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__2260_16.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2269_40.min1.thm12017-02-06 12:46 264  
[   ]afproj__2276_22.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2283_25.min1.thm12017-02-06 12:46 845  
[   ]afproj__2286_17.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__2291_40.min1.thm12017-02-06 12:46 266  
[   ]afproj__2308_29.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__2312_29.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__2317_22.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__2320_21.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2354_16.min1.thm12017-02-06 12:46 506  
[   ]afproj__2390_25.min1.thm12017-02-06 12:46 845  
[   ]afproj__2393_25.min1.thm12017-02-06 12:46 845  
[   ]afproj__2396_25.min1.thm12017-02-06 12:46 846  
[   ]afproj__2399_25.min1.thm12017-02-06 12:46 846  
[   ]afproj__2402_25.min1.thm12017-02-06 12:46 844  
[   ]afproj__2406_17.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2407_18.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__2410_17.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2412_26.min1.thm12017-02-06 12:46 897  
[   ]afproj__2414_25.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__2415_25.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__2416_18.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__2417_26.min1.thm12017-02-06 12:46 897  
[   ]afproj__2418_18.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__2419_17.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__2420_17.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__2421_26.min1.thm12017-02-06 12:46 897  
[   ]afproj__2422_17.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__2426_26.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__2427_26.min1.thm12017-02-06 12:46 896  
[   ]afproj__2428_18.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2432_24.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__2433_25.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__2434_24.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__2437_18.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2441_24.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__2442_25.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__2443_24.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__2446_17.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__2447_26.min1.thm12017-02-06 12:46 897  
[   ]afproj__2451_26.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__2452_17.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__2456_26.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__2457_18.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__2461_10.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__2468_18.min1.thm12017-02-06 12:46 3.0K 
[   ]afproj__2472_26.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__2473_18.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__2477_10.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__2484_18.min1.thm12017-02-06 12:46 3.0K 
[   ]afproj__2485_17.min1.thm12017-02-06 12:46 2.6K 
[   ]afproj__2489_17.min1.thm12017-02-06 12:46 2.6K 
[   ]afproj__2494_16.min1.thm12017-02-06 12:46 769  
[   ]afproj__2495_16.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2502_25.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__2516_25.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__2527_25.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__2528_17.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__2529_16.min1.thm12017-02-06 12:46 769  
[   ]afproj__2530_17.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__2534_26.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__2535_17.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__2540_12.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__2549_27.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__2557_17.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__2567_24.min1.thm12017-02-06 12:46 2.7K 
[   ]afproj__2572_26.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__2573_65.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2578_16.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2579_22.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__2610_4.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__2611_69.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__2612_16.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2616_23.min1.thm12017-02-06 12:46 581  
[   ]afproj__2617_10.min1.thm12017-02-06 12:46 356  
[   ]afproj__2617_10.min1.thm1.tptp2017-02-06 16:48 286  
[   ]afproj__2620_16.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2621_16.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2622_16.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2623_16.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2624_16.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2625_16.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2628_16.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2629_16.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2630_13.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2647_73.min1.thm12017-02-06 12:46 832  
[   ]afproj__2647_73.min1.thm1.tptp2017-02-06 16:48 795  
[   ]afproj__2648_63.min1.thm12017-02-06 12:46 644  
[   ]afproj__2648_63.min1.thm1.tptp2017-02-06 16:48 591  
[   ]afproj__2661_20.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__2668_37.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__2668_37.min1.thm1.tptp2017-02-06 16:48 1.1K 
[   ]afproj__2679_73.min1.thm12017-02-06 12:46 923  
[   ]afproj__2679_73.min1.thm1.tptp2017-02-06 16:48 891  
[   ]afproj__2680_41.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2681_16.min1.thm12017-02-06 12:46 970  
[   ]afproj__2692_20.min1.thm12017-02-06 12:46 933  
[   ]afproj__2692_20.min1.thm1.tptp2017-02-06 16:48 901  
[   ]afproj__2707_23.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__2710_17.min1.thm12017-02-06 12:46 927  
[   ]afproj__2712_22.min1.thm12017-02-06 12:46 1.7K 
[   ]afproj__2713_70.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__2717_27.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__2720_23.min1.thm12017-02-06 12:46 839  
[   ]afproj__2723_15.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2724_14.min1.thm12017-02-06 12:46 795  
[   ]afproj__2725_14.min1.thm12017-02-06 12:46 809  
[   ]afproj__2727_16.min1.thm12017-02-06 12:46 2.4K 
[   ]afproj__2736_35.min1.thm12017-02-06 12:46 828  
[   ]afproj__2736_35.min1.thm1.tptp2017-02-06 16:48 791  
[   ]afproj__2749_18.min1.thm12017-02-06 12:46 961  
[   ]afproj__2754_21.min1.thm12017-02-06 12:46 855  
[   ]afproj__2760_70.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__2760_70.min1.thm1.tptp2017-02-06 16:48 1.1K 
[   ]afproj__2772_17.min1.thm12017-02-06 12:46 738  
[   ]afproj__2772_17.min1.thm1.tptp2017-02-06 16:48 687  
[   ]afproj__2780_31.min1.thm12017-02-06 12:46 722  
[   ]afproj__2781_18.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__2809_14.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2813_24.min1.thm12017-02-06 12:46 1.7K 
[   ]afproj__2814_17.min1.thm12017-02-06 12:46 2.0K 
[   ]afproj__2815_19.min1.thm12017-02-06 12:46 849  
[   ]afproj__2852_13.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__2854_32.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__2855_13.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__2857_32.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__2858_13.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__2860_32.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__2861_14.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__2863_32.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__2864_65.min1.thm12017-02-06 12:46 1.2K 
[   ]afproj__2866_12.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__2867_15.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2868_13.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__2870_32.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__2872_19.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__2873_16.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2874_12.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__2876_32.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__2879_78.min1.thm12017-02-06 12:46 3.1K 
[   ]afproj__2881_16.min1.thm12017-02-06 12:46 2.0K 
[   ]afproj__2882_16.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2883_16.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2887_24.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2888_63.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__2891_16.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2892_16.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2893_15.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2894_23.min1.thm12017-02-06 12:46 746  
[   ]afproj__2897_22.min1.thm12017-02-06 12:46 746  
[   ]afproj__2900_23.min1.thm12017-02-06 12:46 746  
[   ]afproj__2903_31.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__2904_38.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__2907_24.min1.thm12017-02-06 12:46 746  
[   ]afproj__2910_23.min1.thm12017-02-06 12:46 746  
[   ]afproj__2913_22.min1.thm12017-02-06 12:46 746  
[   ]afproj__2916_23.min1.thm12017-02-06 12:46 746  
[   ]afproj__2919_22.min1.thm12017-02-06 12:46 746  
[   ]afproj__2922_16.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2923_31.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__2924_38.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__2927_23.min1.thm12017-02-06 12:46 746  
[   ]afproj__2930_23.min1.thm12017-02-06 12:46 746  
[   ]afproj__2933_22.min1.thm12017-02-06 12:46 746  
[   ]afproj__2936_24.min1.thm12017-02-06 12:46 746  
[   ]afproj__2939_16.min1.thm12017-02-06 12:46 2.0K 
[   ]afproj__2944_25.min1.thm12017-02-06 12:46 609  
[   ]afproj__2945_14.min1.thm12017-02-06 12:46 364  
[   ]afproj__2945_14.min1.thm1.tptp2017-02-06 16:48 294  
[   ]afproj__2964_42.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__2970_30.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__2978_42.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__2983_16.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2984_16.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__2985_23.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__2989_37.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2992_24.min1.thm12017-02-06 12:46 863  
[   ]afproj__2995_24.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2997_29.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__2998_38.min1.thm12017-02-06 12:46 2.0K 
[   ]afproj__3038_13.min1.thm12017-02-06 12:46 2.0K 
[   ]afproj__3039_11.min1.thm12017-02-06 12:46 2.0K 
[   ]afproj__3040_19.min1.thm12017-02-06 12:46 849  
[   ]afproj__3046_12.min1.thm12017-02-06 12:46 2.0K 
[   ]afproj__3047_11.min1.thm12017-02-06 12:46 2.0K 
[   ]afproj__3048_19.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__3050_17.min1.thm12017-02-06 12:46 590  
[   ]afproj__3090_23.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__3092_10.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__3096_16.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__3097_17.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__3099_36.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__3100_16.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__3101_22.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__3103_36.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__3104_15.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__3106_34.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__3107_15.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__3109_34.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__3110_15.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__3112_34.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__3114_23.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__3115_18.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__3116_17.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__3118_36.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__3122_13.min1.thm12017-02-06 12:46 3.1K 
[   ]afproj__3123_18.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__3124_25.min1.thm12017-02-06 12:46 750  
[   ]afproj__3128_28.min1.thm12017-02-06 12:46 754  
[   ]afproj__3131_28.min1.thm12017-02-06 12:46 753  
[   ]afproj__3134_35.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__3135_42.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__3139_17.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__3140_19.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__3141_20.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__3142_28.min1.thm12017-02-06 12:46 750  
[   ]afproj__3145_28.min1.thm12017-02-06 12:46 750  
[   ]afproj__3148_35.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__3149_42.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__3155_27.min1.thm12017-02-06 12:46 634  
[   ]afproj__3156_15.min1.thm12017-02-06 12:46 366  
[   ]afproj__3156_15.min1.thm1.tptp2017-02-06 16:48 296  
[   ]afproj__3161_27.min1.thm12017-02-06 12:46 634  
[   ]afproj__3162_15.min1.thm12017-02-06 12:46 366  
[   ]afproj__3162_15.min1.thm1.tptp2017-02-06 16:48 296  
[   ]afproj__3167_27.min1.thm12017-02-06 12:46 631  
[   ]afproj__3168_15.min1.thm12017-02-06 12:46 366  
[   ]afproj__3168_15.min1.thm1.tptp2017-02-06 16:48 296  
[   ]afproj__3172_43.min1.thm12017-02-06 12:46 551  
[   ]afproj__3173_19.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__3174_20.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__3175_19.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__3178_18.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__3181_19.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__3182_25.min1.thm12017-02-06 12:46 750  
[   ]afproj__3185_25.min1.thm12017-02-06 12:46 750  
[   ]afproj__3189_28.min1.thm12017-02-06 12:46 753  
[   ]afproj__3192_28.min1.thm12017-02-06 12:46 754  
[   ]afproj__3196_19.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__3199_25.min1.thm12017-02-06 12:46 750  
[   ]afproj__3218_25.min1.thm12017-02-06 12:46 750  
[   ]afproj__3221_18.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__3222_25.min1.thm12017-02-06 12:46 750  
[   ]afproj__3226_16.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__3230_17.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__3231_17.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__3232_17.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__3250_26.min1.thm12017-02-06 12:46 672  
[   ]afproj__3252_40.min1.thm12017-02-06 12:46 1.4K 
[   ]afproj__3255_28.min1.thm12017-02-06 12:46 881  
[   ]afproj__3258_29.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__3260_32.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__3261_42.min1.thm12017-02-06 12:46 2.0K 
[   ]afproj__3268_42.min1.thm12017-02-06 12:46 2.1K 
[   ]afproj__3269_45.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__3271_30.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__3272_27.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__3275_23.min1.thm12017-02-06 12:46 570  
[   ]afproj__3275_23.min1.thm1.tptp2017-02-06 16:48 484  
[   ]afproj__3281_19.min1.thm12017-02-06 12:46 1.5K 
[   ]afproj__3302_11.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__3304_30.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__3307_24.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__3308_23.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__3309_23.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__3313_30.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__3316_24.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__3317_23.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__3318_23.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__3322_31.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__3323_12.min1.thm12017-02-06 12:46 852  
[   ]afproj__3325_31.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__3326_12.min1.thm12017-02-06 12:46 852  
[   ]afproj__3328_31.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__3331_34.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__3332_12.min1.thm12017-02-06 12:46 811  
[   ]afproj__3334_31.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__3337_72.min1.thm12017-02-06 12:46 2.7K 
[   ]afproj__3339_64.min1.thm12017-02-06 12:46 1.1K 
[   ]afproj__3340_16.min1.thm12017-02-06 12:46 2.0K 
[   ]afproj__3341_21.min1.thm12017-02-06 12:46 746  
[   ]afproj__3344_21.min1.thm12017-02-06 12:46 746  
[   ]afproj__3347_29.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__3348_36.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__3352_22.min1.thm12017-02-06 12:46 746  
[   ]afproj__3355_22.min1.thm12017-02-06 12:46 746  
[   ]afproj__3358_16.min1.thm12017-02-06 12:46 2.0K 
[   ]afproj__3359_22.min1.thm12017-02-06 12:46 746  
[   ]afproj__3363_30.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__3364_36.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__3367_22.min1.thm12017-02-06 12:46 746  
[   ]afproj__3373_23.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__3374_23.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__3387_22.min1.thm12017-02-06 12:46 746  
[   ]afproj__3391_24.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__3392_62.min1.thm12017-02-06 12:46 1.0K 
[   ]afproj__3394_30.min1.thm12017-02-06 12:46 1.9K 
[   ]afproj__3395_36.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__3398_21.min1.thm12017-02-06 12:46 746  
[   ]afproj__3401_21.min1.thm12017-02-06 12:46 746  
[   ]afproj__3404_15.min1.thm12017-02-06 12:46 2.0K 
[   ]afproj__3407_22.min1.thm12017-02-06 12:46 746  
[   ]afproj__3412_21.min1.thm12017-02-06 12:46 1.3K 
[   ]afproj__3413_22.min1.thm12017-02-06 12:46 746  
[   ]afproj__3416_22.min1.thm12017-02-06 12:46 746  
[   ]afproj__3422_23.min1.thm12017-02-06 12:46 1.6K 
[   ]afproj__3435_28.min1.thm12017-02-06 12:46 1.8K 
[   ]afproj__3436_26.min1.thm12017-02-06 12:46 2.4K 
[   ]afproj__3444_17.min1.thm12017-02-06 12:46 1.0K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80