Index of /~mptp/mml5.63.1382/MPTP2/problems_small/rewrite1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rewrite1__t19_rewrite12021-07-18 00:42 18K 
[ ]rewrite1__t26_rewrite12021-07-18 00:42 17K 
[ ]rewrite1__t27_rewrite12021-07-18 00:42 17K 
[ ]rewrite1__t30_rewrite12021-07-18 00:43 17K 
[ ]rewrite1__t31_rewrite12021-07-18 00:43 1.0K 
[ ]rewrite1__t34_rewrite12021-07-18 00:43 16K 
[ ]rewrite1__t35_rewrite12021-07-18 00:43 19K 
[ ]rewrite1__t38_rewrite12021-07-18 00:44 16K 
[ ]rewrite1__t40_rewrite12021-07-18 00:44 357  
[ ]rewrite1__t41_rewrite12021-07-18 00:44 357  
[ ]rewrite1__t46_rewrite12021-07-18 00:44 16K 
[ ]rewrite1__t59_rewrite12021-07-18 00:45 18K 
[ ]rewrite1__t1_rewrite12021-07-18 00:45 25K 
[ ]rewrite1__t2_rewrite12021-07-18 00:45 46K 
[ ]rewrite1__t3_rewrite12021-07-18 00:46 18K 
[ ]rewrite1__t4_rewrite12021-07-18 00:46 18K 
[ ]rewrite1__t5_rewrite12021-07-18 00:46 34K 
[ ]rewrite1__t6_rewrite12021-07-18 00:47 27K 
[ ]rewrite1__t7_rewrite12021-07-18 00:47 27K 
[ ]rewrite1__t8_rewrite12021-07-18 00:47 26K 
[ ]rewrite1__t9_rewrite12021-07-18 00:48 45K 
[ ]rewrite1__t10_rewrite12021-07-18 00:48 23K 
[ ]rewrite1__t11_rewrite12021-07-18 00:48 23K 
[ ]rewrite1__t12_rewrite12021-07-18 00:49 16K 
[ ]rewrite1__t13_rewrite12021-07-18 00:49 27K 
[ ]rewrite1__t14_rewrite12021-07-18 00:49 29K 
[ ]rewrite1__t15_rewrite12021-07-18 00:50 16K 
[ ]rewrite1__t16_rewrite12021-07-18 00:50 32K 
[ ]rewrite1__t17_rewrite12021-07-18 00:50 29K 
[ ]rewrite1__t18_rewrite12021-07-18 00:51 30K 
[ ]rewrite1__t20_rewrite12021-07-18 00:51 27K 
[ ]rewrite1__t21_rewrite12021-07-18 00:51 25K 
[ ]rewrite1__t22_rewrite12021-07-18 00:52 17K 
[ ]rewrite1__t23_rewrite12021-07-18 00:52 28K 
[ ]rewrite1__t24_rewrite12021-07-18 00:52 25K 
[ ]rewrite1__t25_rewrite12021-07-18 00:53 24K 
[ ]rewrite1__t28_rewrite12021-07-18 00:53 19K 
[ ]rewrite1__t29_rewrite12021-07-18 00:53 17K 
[ ]rewrite1__t32_rewrite12021-07-18 00:54 19K 
[ ]rewrite1__t33_rewrite12021-07-18 00:54 27K 
[ ]rewrite1__t36_rewrite12021-07-18 00:54 16K 
[ ]rewrite1__t37_rewrite12021-07-18 00:55 17K 
[ ]rewrite1__t39_rewrite12021-07-18 00:55 16K 
[ ]rewrite1__t42_rewrite12021-07-18 00:55 16K 
[ ]rewrite1__t43_rewrite12021-07-18 00:56 16K 
[ ]rewrite1__t44_rewrite12021-07-18 00:56 16K 
[ ]rewrite1__t45_rewrite12021-07-18 00:56 16K 
[ ]rewrite1__t47_rewrite12021-07-18 00:57 18K 
[ ]rewrite1__t48_rewrite12021-07-18 00:57 17K 
[ ]rewrite1__t49_rewrite12021-07-18 00:57 27K 
[ ]rewrite1__t50_rewrite12021-07-18 00:58 17K 
[ ]rewrite1__t51_rewrite12021-07-18 00:58 28K 
[ ]rewrite1__t52_rewrite12021-07-18 00:58 17K 
[ ]rewrite1__t53_rewrite12021-07-18 00:59 19K 
[ ]rewrite1__t54_rewrite12021-07-18 00:59 18K 
[ ]rewrite1__t55_rewrite12021-07-18 00:59 19K 
[ ]rewrite1__t56_rewrite12021-07-18 01:00 31K 
[ ]rewrite1__t57_rewrite12021-07-18 01:00 19K 
[ ]rewrite1__t58_rewrite12021-07-18 01:01 19K 
[ ]rewrite1__t60_rewrite12021-07-18 01:01 16K 
[ ]rewrite1__t61_rewrite12021-07-18 01:01 30K 
[ ]rewrite1__t62_rewrite12021-07-18 01:02 40K 
[ ]rewrite1__t63_rewrite12021-07-18 01:02 3.6K 
[ ]rewrite1__t64_rewrite12021-07-18 01:02 3.7K 
[ ]rewrite1__t65_rewrite12021-07-18 01:03 20K 
[ ]rewrite1__l2_rewrite12021-07-18 01:03 23K 
[ ]rewrite1__l3_rewrite12021-07-18 01:04 22K 
[ ]rewrite1__l4_rewrite12021-07-18 01:04 23K 
[ ]rewrite1__l5_rewrite12021-07-18 01:04 23K 
[ ]rewrite1__l33_rewrite12021-07-18 01:04 17K 
[ ]rewrite1__t28_rewrite1.vout2021-07-25 14:23 11K 
[ ]rewrite1__t49_rewrite1.vout2021-07-25 14:27 4.7K 
[ ]rewrite1__t12_rewrite1.vout2021-07-25 14:41 11K 
[ ]rewrite1__t36_rewrite1.vout2021-07-25 14:48 11K 
[ ]rewrite1__t59_rewrite1.vout2021-07-25 14:51 5.1K 
[ ]rewrite1__t1_rewrite1.vout2021-07-25 14:55 24K 
[ ]rewrite1__t63_rewrite1.vout2021-07-25 14:56 34K 
[ ]rewrite1__t38_rewrite1.vout2021-07-25 14:58 8.3K 
[ ]rewrite1__t64_rewrite1.vout2021-07-25 15:02 23K 
[ ]rewrite1__t4_rewrite1.vout2021-07-25 15:13 14K 
[ ]rewrite1__t26_rewrite1.vout2021-07-25 15:21 6.9K 
[ ]rewrite1__t5_rewrite1.vout2021-07-25 15:26 7.3K 
[ ]rewrite1__t60_rewrite1.vout2021-07-25 15:28 9.1K 
[ ]rewrite1__t32_rewrite1.vout2021-07-25 15:28 14K 
[ ]rewrite1__t11_rewrite1.vout2021-07-25 15:36 57K 
[ ]rewrite1__t22_rewrite1.vout2021-07-25 15:39 13K 
[ ]rewrite1__t7_rewrite1.vout2021-07-25 15:40 4.7K 
[ ]rewrite1__t62_rewrite1.vout2021-07-25 15:41 7.3K 
[ ]rewrite1__t55_rewrite1.vout2021-07-25 15:46 16K 
[ ]rewrite1__t61_rewrite1.vout2021-07-25 15:48 6.8K 
[ ]rewrite1__t29_rewrite1.vout2021-07-25 15:52 5.3K 
[ ]rewrite1__t16_rewrite1.vout2021-07-25 16:00 7.3K 
[ ]rewrite1__t35_rewrite1.vout2021-07-25 16:11 6.1K 
[ ]rewrite1__t44_rewrite1.vout2021-07-25 16:23 12K 
[ ]rewrite1__t41_rewrite1.vout2021-07-25 16:23 5.2K 
[ ]rewrite1__t19_rewrite1.vout2021-07-25 16:28 6.5K 
[ ]rewrite1__t50_rewrite1.vout2021-07-25 16:32 20K 
[ ]rewrite1__t24_rewrite1.vout2021-07-25 16:37 7.3K 
[ ]rewrite1__t45_rewrite1.vout2021-07-25 16:44 12K 
[ ]rewrite1__t3_rewrite1.vout2021-07-25 16:49 19K 
[ ]rewrite1__t40_rewrite1.vout2021-07-25 16:55 5.2K 
[ ]rewrite1__t31_rewrite1.vout2021-07-25 16:57 2.9K 
[ ]rewrite1__t52_rewrite1.vout2021-07-25 17:04 24K 
[ ]rewrite1__t47_rewrite1.vout2021-07-25 17:04 21K 
[ ]rewrite1__t56_rewrite1.vout2021-07-25 17:07 7.3K 
[ ]rewrite1__l4_rewrite1.vout2021-07-25 17:30 42K 
[ ]rewrite1__t25_rewrite1.vout2021-07-25 17:34 7.3K 
[ ]rewrite1__t34_rewrite1.vout2021-07-25 17:34 4.8K 
[ ]rewrite1__l33_rewrite1.vout2021-07-25 17:41 12K 
[ ]rewrite1__l2_rewrite1.vout2021-07-25 17:56 7.3K 
[ ]rewrite1__t57_rewrite1.vout2021-07-25 18:00 4.2K 
[ ]rewrite1__t18_rewrite1.vout2021-07-25 18:08 6.3K 
[ ]rewrite1__t54_rewrite1.vout2021-07-25 18:26 16K 
[ ]rewrite1__t43_rewrite1.vout2021-07-25 18:28 13K 
[ ]rewrite1__t21_rewrite1.vout2021-07-25 18:30 6.2K 
[ ]rewrite1__t39_rewrite1.vout2021-07-25 18:31 11K 
[ ]rewrite1__t8_rewrite1.vout2021-07-25 18:32 7.3K 
[ ]rewrite1__t48_rewrite1.vout2021-07-25 18:35 13K 
[ ]rewrite1__t17_rewrite1.vout2021-07-25 18:36 6.8K 
[ ]rewrite1__t2_rewrite1.vout2021-07-25 18:50 7.3K 
[ ]rewrite1__t20_rewrite1.vout2021-07-25 18:53 4.7K 
[ ]rewrite1__t14_rewrite1.vout2021-07-25 19:05 6.3K 
[ ]rewrite1__t33_rewrite1.vout2021-07-25 19:08 6.3K 
[ ]rewrite1__t46_rewrite1.vout2021-07-25 19:09 4.3K 
[ ]rewrite1__t23_rewrite1.vout2021-07-25 19:18 6.8K 
[ ]rewrite1__t37_rewrite1.vout2021-07-25 19:30 15K 
[ ]rewrite1__t10_rewrite1.vout2021-07-25 19:36 28K 
[ ]rewrite1__t53_rewrite1.vout2021-07-25 19:45 9.7K 
[ ]rewrite1__l3_rewrite1.vout2021-07-25 19:54 10K 
[ ]rewrite1__t30_rewrite1.vout2021-07-25 19:57 11K 
[ ]rewrite1__t65_rewrite1.vout2021-07-25 19:57 29K 
[ ]rewrite1__t9_rewrite1.vout2021-07-25 20:18 7.3K 
[ ]rewrite1__t27_rewrite1.vout2021-07-25 20:23 9.9K 
[ ]rewrite1__t58_rewrite1.vout2021-07-25 20:27 43K 
[ ]rewrite1__t42_rewrite1.vout2021-07-25 20:28 13K 
[ ]rewrite1__l5_rewrite1.vout2021-07-25 20:29 16K 
[ ]rewrite1__t15_rewrite1.vout2021-07-25 20:42 15K 
[ ]rewrite1__t13_rewrite1.vout2021-07-25 20:52 6.3K 
[ ]rewrite1__t51_rewrite1.vout2021-07-25 20:52 6.8K 
[ ]rewrite1__t6_rewrite1.vout2021-07-25 20:57 6.2K 
[ ]rewrite1__t34_rewrite1.depv12021-07-25 20:57 37  
[ ]rewrite1__t30_rewrite1.depv12021-07-25 20:57 90  
[ ]rewrite1__t36_rewrite1.depv12021-07-25 20:57 50  
[ ]rewrite1__t44_rewrite1.depv12021-07-25 20:57 63  
[ ]rewrite1__t12_rewrite1.depv12021-07-25 20:57 101  
[ ]rewrite1__t48_rewrite1.depv12021-07-25 20:57 52  
[ ]rewrite1__t59_rewrite1.depv12021-07-25 20:57 52  
[ ]rewrite1__t22_rewrite1.depv12021-07-25 20:57 38  
[ ]rewrite1__t38_rewrite1.depv12021-07-25 20:57 50  
[ ]rewrite1__t40_rewrite1.depv12021-07-25 20:57 25  
[ ]rewrite1__t54_rewrite1.depv12021-07-25 20:57 78  
[ ]rewrite1__t31_rewrite1.depv12021-07-25 20:57 26  
[ ]rewrite1__t41_rewrite1.depv12021-07-25 20:57 25  
[ ]rewrite1__t42_rewrite1.depv12021-07-25 20:57 38  
[ ]rewrite1__t11_rewrite1.depv12021-07-25 20:57 76  
[ ]rewrite1__t15_rewrite1.depv12021-07-25 20:57 77  
[ ]rewrite1__t35_rewrite1.depv12021-07-25 20:57 51  
[ ]rewrite1__l5_rewrite1.depv12021-07-25 20:57 178  
[ ]rewrite1__t3_rewrite1.depv12021-07-25 20:57 144  
[ ]rewrite1__t43_rewrite1.depv12021-07-25 20:57 38  
[ ]rewrite1__t65_rewrite1.depv12021-07-25 20:57 171  
[ ]rewrite1__l33_rewrite1.depv12021-07-25 20:57 128  
[ ]rewrite1__t10_rewrite1.depv12021-07-25 20:57 87  
[ ]rewrite1__t26_rewrite1.depv12021-07-25 20:57 90  
[ ]rewrite1__l3_rewrite1.depv12021-07-25 20:57 87  
[ ]rewrite1__l4_rewrite1.depv12021-07-25 20:57 482  
[ ]rewrite1__t45_rewrite1.depv12021-07-25 20:57 64  
[ ]rewrite1__t28_rewrite1.depv12021-07-25 20:57 112  
[ ]rewrite1__t29_rewrite1.depv12021-07-25 20:57 39  
[ ]rewrite1__t32_rewrite1.depv12021-07-25 20:57 112  
[ ]rewrite1__t37_rewrite1.depv12021-07-25 20:57 63  
[ ]rewrite1__t4_rewrite1.depv12021-07-25 20:57 140  
[ ]rewrite1__t60_rewrite1.depv12021-07-25 20:57 52  
[ ]rewrite1__t64_rewrite1.depv12021-07-25 20:57 129  
[ ]rewrite1__t19_rewrite1.depv12021-07-25 20:57 26  
[ ]rewrite1__t39_rewrite1.depv12021-07-25 20:57 75  
[ ]rewrite1__t53_rewrite1.depv12021-07-25 20:57 63  
[ ]rewrite1__t1_rewrite1.depv12021-07-25 20:57 102  
[ ]rewrite1__t47_rewrite1.depv12021-07-25 20:57 48  
[ ]rewrite1__t50_rewrite1.depv12021-07-25 20:57 63  
[ ]rewrite1__t52_rewrite1.depv12021-07-25 20:57 73  
[ ]rewrite1__t27_rewrite1.depv12021-07-25 20:57 131  
[ ]rewrite1__t46_rewrite1.depv12021-07-25 20:57 39  
[ ]rewrite1__t58_rewrite1.depv12021-07-25 20:57 130  
[ ]rewrite1__t55_rewrite1.depv12021-07-25 20:57 89  
[ ]rewrite1__t63_rewrite1.depv12021-07-25 20:57 107  
[ ]rewrite1__l3_rewrite1.vmin12021-07-25 20:57 1.2K 
[ ]rewrite1__l4_rewrite1.vmin12021-07-25 20:57 3.5K 
[ ]rewrite1__l5_rewrite1.vmin12021-07-25 20:57 1.7K 
[ ]rewrite1__l33_rewrite1.vmin12021-07-25 20:57 1.0K 
[ ]rewrite1__t1_rewrite1.vmin12021-07-25 20:57 1.5K 
[ ]rewrite1__t3_rewrite1.vmin12021-07-25 20:57 1.9K 
[ ]rewrite1__t4_rewrite1.vmin12021-07-25 20:57 1.2K 
[ ]rewrite1__t10_rewrite1.vmin12021-07-25 20:57 1.0K 
[ ]rewrite1__t11_rewrite1.vmin12021-07-25 20:57 1.3K 
[ ]rewrite1__t12_rewrite1.vmin12021-07-25 20:57 832  
[ ]rewrite1__t15_rewrite1.vmin12021-07-25 20:57 913  
[ ]rewrite1__t19_rewrite1.vmin12021-07-25 20:57 365  
[ ]rewrite1__t22_rewrite1.vmin12021-07-25 20:57 570  
[ ]rewrite1__t26_rewrite1.vmin12021-07-25 20:57 642  
[ ]rewrite1__t27_rewrite1.vmin12021-07-25 20:57 1.0K 
[ ]rewrite1__t28_rewrite1.vmin12021-07-25 20:57 1.0K 
[ ]rewrite1__t29_rewrite1.vmin12021-07-25 20:57 449  
[ ]rewrite1__t30_rewrite1.vmin12021-07-25 20:57 800  
[ ]rewrite1__t31_rewrite1.vmin12021-07-25 20:57 271  
[ ]rewrite1__t32_rewrite1.vmin12021-07-25 20:57 1.0K 
[ ]rewrite1__t34_rewrite1.vmin12021-07-25 20:57 463  
[ ]rewrite1__t35_rewrite1.vmin12021-07-25 20:57 520  
[ ]rewrite1__t36_rewrite1.vmin12021-07-25 20:57 656  
[ ]rewrite1__t37_rewrite1.vmin12021-07-25 20:57 841  
[ ]rewrite1__t38_rewrite1.vmin12021-07-25 20:57 562  
[ ]rewrite1__t39_rewrite1.vmin12021-07-25 20:57 698  
[ ]rewrite1__t40_rewrite1.vmin12021-07-25 20:57 310  
[ ]rewrite1__t41_rewrite1.vmin12021-07-25 20:57 310  
[ ]rewrite1__t42_rewrite1.vmin12021-07-25 20:57 575  
[ ]rewrite1__t43_rewrite1.vmin12021-07-25 20:57 575  
[ ]rewrite1__t44_rewrite1.vmin12021-07-25 20:57 755  
[ ]rewrite1__t45_rewrite1.vmin12021-07-25 20:57 756  
[ ]rewrite1__t46_rewrite1.vmin12021-07-25 20:57 401  
[ ]rewrite1__t47_rewrite1.vmin12021-07-25 20:57 722  
[ ]rewrite1__t48_rewrite1.vmin12021-07-25 20:57 867  
[ ]rewrite1__t50_rewrite1.vmin12021-07-25 20:57 889  
[ ]rewrite1__t52_rewrite1.vmin12021-07-25 20:57 929  
[ ]rewrite1__t53_rewrite1.vmin12021-07-25 20:57 857  
[ ]rewrite1__t54_rewrite1.vmin12021-07-25 20:57 1.0K 
[ ]rewrite1__t55_rewrite1.vmin12021-07-25 20:57 1.2K 
[ ]rewrite1__t58_rewrite1.vmin12021-07-25 20:57 1.5K 
[ ]rewrite1__t59_rewrite1.vmin12021-07-25 20:57 600  
[ ]rewrite1__t60_rewrite1.vmin12021-07-25 20:57 731  
[ ]rewrite1__t63_rewrite1.vmin12021-07-25 20:57 1.2K 
[ ]rewrite1__t64_rewrite1.vmin12021-07-25 20:57 1.4K 
[ ]rewrite1__t65_rewrite1.vmin12021-07-25 20:57 1.9K 
[ ]rewrite1__t63_rewrite1.vmin1out2021-07-25 20:57 18K 
[ ]rewrite1__t54_rewrite1.vmin1out2021-07-25 20:57 11K 
[ ]rewrite1__t43_rewrite1.vmin1out2021-07-25 20:57 12K 
[ ]rewrite1__t26_rewrite1.vmin1out2021-07-25 20:57 5.5K 
[ ]rewrite1__t44_rewrite1.vmin1out2021-07-25 20:57 13K 
[ ]rewrite1__l33_rewrite1.vmin1out2021-07-25 20:58 9.0K 
[ ]rewrite1__t31_rewrite1.vmin1out2021-07-25 20:58 3.0K 
[ ]rewrite1__t59_rewrite1.vmin1out2021-07-25 20:58 5.4K 
[ ]rewrite1__l3_rewrite1.vmin1out2021-07-25 20:58 11K 
[ ]rewrite1__t47_rewrite1.vmin1out2021-07-25 20:58 19K 
[ ]rewrite1__t50_rewrite1.vmin1out2021-07-25 20:58 24K 
[ ]rewrite1__t48_rewrite1.vmin1out2021-07-25 20:58 15K 
[ ]rewrite1__t11_rewrite1.vmin1out2021-07-25 20:59 48K 
[ ]rewrite1__t19_rewrite1.vmin1out2021-07-25 20:59 7.5K 
[ ]rewrite1__t65_rewrite1.vmin1out2021-07-25 20:59 26K 
[ ]rewrite1__t52_rewrite1.vmin1out2021-07-25 20:59 21K 
[ ]rewrite1__t40_rewrite1.vmin1out2021-07-25 20:59 5.2K 
[ ]rewrite1__t55_rewrite1.vmin1out2021-07-25 20:59 11K 
[ ]rewrite1__t35_rewrite1.vmin1out2021-07-25 20:59 4.7K 
[ ]rewrite1__t29_rewrite1.vmin1out2021-07-25 21:00 4.0K 
[ ]rewrite1__l5_rewrite1.vmin1out2021-07-25 21:00 15K 
[ ]rewrite1__t15_rewrite1.vmin1out2021-07-25 21:00 15K 
[ ]rewrite1__t53_rewrite1.vmin1out2021-07-25 21:00 10K 
[ ]rewrite1__t36_rewrite1.vmin1out2021-07-25 21:00 10K 
[ ]rewrite1__t1_rewrite1.vmin1out2021-07-25 21:00 24K 
[ ]rewrite1__t42_rewrite1.vmin1out2021-07-25 21:00 11K 
[ ]rewrite1__l4_rewrite1.vmin1out2021-07-25 21:00 28K 
[ ]rewrite1__t45_rewrite1.vmin1out2021-07-25 21:00 13K 
[ ]rewrite1__t4_rewrite1.vmin1out2021-07-25 21:00 13K 
[ ]rewrite1__t22_rewrite1.vmin1out2021-07-25 21:00 12K 
[ ]rewrite1__t32_rewrite1.vmin1out2021-07-25 21:01 9.4K 
[ ]rewrite1__t27_rewrite1.vmin1out2021-07-25 21:01 8.6K 
[ ]rewrite1__t46_rewrite1.vmin1out2021-07-25 21:01 4.2K 
[ ]rewrite1__t30_rewrite1.vmin1out2021-07-25 21:01 8.5K 
[ ]rewrite1__t38_rewrite1.vmin1out2021-07-25 21:01 8.0K 
[ ]rewrite1__t60_rewrite1.vmin1out2021-07-25 21:01 9.5K 
[ ]rewrite1__t34_rewrite1.vmin1out2021-07-25 21:01 4.8K 
[ ]rewrite1__t64_rewrite1.vmin1out2021-07-25 21:01 18K 
[ ]rewrite1__t41_rewrite1.vmin1out2021-07-25 21:01 5.2K 
[ ]rewrite1__t39_rewrite1.vmin1out2021-07-25 21:01 13K 
[ ]rewrite1__t3_rewrite1.vmin1out2021-07-25 21:02 19K 
[ ]rewrite1__t10_rewrite1.vmin1out2021-07-25 21:02 23K 
[ ]rewrite1__t37_rewrite1.vmin1out2021-07-25 21:02 11K 
[ ]rewrite1__t28_rewrite1.vmin1out2021-07-25 21:02 8.5K 
[ ]rewrite1__t58_rewrite1.vmin1out2021-07-25 21:02 8.2K 
[ ]rewrite1__t12_rewrite1.vmin1out2021-07-25 21:02 11K 
[ ]rewrite1__t30_rewrite1.depvmin12021-07-25 21:03 64  
[ ]rewrite1__t34_rewrite1.depvmin12021-07-25 21:03 37  
[ ]rewrite1__t12_rewrite1.depvmin12021-07-25 21:03 101  
[ ]rewrite1__t36_rewrite1.depvmin12021-07-25 21:03 50  
[ ]rewrite1__t44_rewrite1.depvmin12021-07-25 21:03 63  
[ ]rewrite1__t59_rewrite1.depvmin12021-07-25 21:03 52  
[ ]rewrite1__t38_rewrite1.depvmin12021-07-25 21:03 50  
[ ]rewrite1__t48_rewrite1.depvmin12021-07-25 21:03 52  
[ ]rewrite1__t54_rewrite1.depvmin12021-07-25 21:03 65  
[ ]rewrite1__t22_rewrite1.depvmin12021-07-25 21:03 38  
[ ]rewrite1__t31_rewrite1.depvmin12021-07-25 21:03 26  
[ ]rewrite1__t40_rewrite1.depvmin12021-07-25 21:03 25  
[ ]rewrite1__t11_rewrite1.depvmin12021-07-25 21:03 76  
[ ]rewrite1__t35_rewrite1.depvmin12021-07-25 21:03 51  
[ ]rewrite1__t41_rewrite1.depvmin12021-07-25 21:03 25  
[ ]rewrite1__t42_rewrite1.depvmin12021-07-25 21:03 38  
[ ]rewrite1__l5_rewrite1.depvmin12021-07-25 21:03 178  
[ ]rewrite1__t3_rewrite1.depvmin12021-07-25 21:03 144  
[ ]rewrite1__t15_rewrite1.depvmin12021-07-25 21:03 77  
[ ]rewrite1__t10_rewrite1.depvmin12021-07-25 21:03 50  
[ ]rewrite1__t43_rewrite1.depvmin12021-07-25 21:03 38  
[ ]rewrite1__t65_rewrite1.depvmin12021-07-25 21:03 171  
[ ]rewrite1__l4_rewrite1.depvmin12021-07-25 21:03 396  
[ ]rewrite1__l33_rewrite1.depvmin12021-07-25 21:03 128  
[ ]rewrite1__t26_rewrite1.depvmin12021-07-25 21:03 64  
[ ]rewrite1__l3_rewrite1.depvmin12021-07-25 21:03 87  
[ ]rewrite1__t32_rewrite1.depvmin12021-07-25 21:03 112  
[ ]rewrite1__t45_rewrite1.depvmin12021-07-25 21:03 64  
[ ]rewrite1__t4_rewrite1.depvmin12021-07-25 21:03 140  
[ ]rewrite1__t28_rewrite1.depvmin12021-07-25 21:03 112  
[ ]rewrite1__t29_rewrite1.depvmin12021-07-25 21:03 39  
[ ]rewrite1__t37_rewrite1.depvmin12021-07-25 21:03 63  
[ ]rewrite1__t19_rewrite1.depvmin12021-07-25 21:03 26  
[ ]rewrite1__t60_rewrite1.depvmin12021-07-25 21:03 52  
[ ]rewrite1__t64_rewrite1.depvmin12021-07-25 21:03 114  
[ ]rewrite1__t39_rewrite1.depvmin12021-07-25 21:03 75  
[ ]rewrite1__t47_rewrite1.depvmin12021-07-25 21:03 48  
[ ]rewrite1__t53_rewrite1.depvmin12021-07-25 21:03 63  
[ ]rewrite1__t1_rewrite1.depvmin12021-07-25 21:03 102  
[ ]rewrite1__t50_rewrite1.depvmin12021-07-25 21:03 63  
[ ]rewrite1__t52_rewrite1.depvmin12021-07-25 21:03 51  
[ ]rewrite1__t27_rewrite1.depvmin12021-07-25 21:03 94  
[ ]rewrite1__t46_rewrite1.depvmin12021-07-25 21:03 39  
[ ]rewrite1__t55_rewrite1.depvmin12021-07-25 21:03 77  
[ ]rewrite1__t63_rewrite1.depvmin12021-07-25 21:03 107  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80