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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]exchsort__t2_exchsort.depv12021-07-25 20:57 25  
[ ]exchsort__t2_exchsort.depvmin12021-07-25 21:03 25  
[ ]exchsort__t21_exchsort.depv12021-07-25 20:57 39  
[ ]exchsort__t21_exchsort.depvmin12021-07-25 21:03 39  
[ ]exchsort__t5_exchsort.depv12021-07-25 20:57 45  
[ ]exchsort__t5_exchsort.depvmin12021-07-25 21:03 45  
[ ]exchsort__t49_exchsort.depv12021-07-25 20:57 49  
[ ]exchsort__t49_exchsort.depvmin12021-07-25 21:03 49  
[ ]exchsort__t33_exchsort.depv12021-07-25 20:57 51  
[ ]exchsort__t33_exchsort.depvmin12021-07-25 21:03 51  
[ ]exchsort__t31_exchsort.depv12021-07-25 20:57 86  
[ ]exchsort__t31_exchsort.depvmin12021-07-25 21:03 86  
[ ]exchsort__t3_exchsort.depv12021-07-25 20:57 89  
[ ]exchsort__t3_exchsort.depvmin12021-07-25 21:03 89  
[ ]exchsort__t82_exchsort.depv12021-07-25 20:57 97  
[ ]exchsort__t82_exchsort.depvmin12021-07-25 21:03 97  
[ ]exchsort__t29_exchsort.depv12021-07-25 20:57 98  
[ ]exchsort__t29_exchsort.depvmin12021-07-25 21:03 98  
[ ]exchsort__t30_exchsort.depv12021-07-25 20:57 99  
[ ]exchsort__t30_exchsort.depvmin12021-07-25 21:03 99  
[ ]exchsort__t32_exchsort.depv12021-07-25 20:57 99  
[ ]exchsort__t32_exchsort.depvmin12021-07-25 21:03 99  
[ ]exchsort__t34_exchsort.depv12021-07-25 20:57 99  
[ ]exchsort__t34_exchsort.depvmin12021-07-25 21:03 99  
[ ]exchsort__t69_exchsort.depv12021-07-25 20:57 102  
[ ]exchsort__t69_exchsort.depvmin12021-07-25 21:03 102  
[ ]exchsort__t59_exchsort.depv12021-07-25 20:57 110  
[ ]exchsort__t59_exchsort.depvmin12021-07-25 21:03 110  
[ ]exchsort__t52_exchsort.depv12021-07-25 20:57 114  
[ ]exchsort__t52_exchsort.depvmin12021-07-25 21:03 114  
[ ]exchsort__t66_exchsort.depv12021-07-25 20:57 114  
[ ]exchsort__t66_exchsort.depvmin12021-07-25 21:03 114  
[ ]exchsort__t45_exchsort.depv12021-07-25 20:57 125  
[ ]exchsort__t45_exchsort.depvmin12021-07-25 21:03 125  
[ ]exchsort__t50_exchsort.depv12021-07-25 20:57 138  
[ ]exchsort__t50_exchsort.depvmin12021-07-25 21:03 138  
[ ]exchsort__t46_exchsort.depvmin12021-07-25 21:03 140  
[ ]exchsort__t57_exchsort.depv12021-07-25 20:57 147  
[ ]exchsort__t57_exchsort.depvmin12021-07-25 21:03 147  
[ ]exchsort__t51_exchsort.depv12021-07-25 20:57 177  
[ ]exchsort__t51_exchsort.depvmin12021-07-25 21:03 177  
[ ]exchsort__t55_exchsort.depvmin12021-07-25 21:03 177  
[ ]exchsort__t56_exchsort.depvmin12021-07-25 21:03 177  
[ ]exchsort__t15_exchsort.depv12021-07-25 20:57 188  
[ ]exchsort__t15_exchsort.depvmin12021-07-25 21:03 188  
[ ]exchsort__t84_exchsort.depv12021-07-25 20:57 195  
[ ]exchsort__t84_exchsort.depvmin12021-07-25 21:03 195  
[ ]exchsort__t55_exchsort.depv12021-07-25 20:57 197  
[ ]exchsort__t56_exchsort.depv12021-07-25 20:57 197  
[ ]exchsort__t20_exchsort.depvmin12021-07-25 21:03 205  
[ ]exchsort__t58_exchsort.depvmin12021-07-25 21:03 209  
[ ]exchsort__t53_exchsort.depv12021-07-25 20:57 212  
[ ]exchsort__t53_exchsort.depvmin12021-07-25 21:03 212  
[ ]exchsort__t74_exchsort.depv12021-07-25 20:57 212  
[ ]exchsort__t74_exchsort.depvmin12021-07-25 21:03 212  
[ ]exchsort__t80_exchsort.depv12021-07-25 20:57 225  
[ ]exchsort__t80_exchsort.depvmin12021-07-25 21:03 225  
[ ]exchsort__t20_exchsort.depv12021-07-25 20:57 227  
[ ]exchsort__t58_exchsort.depv12021-07-25 20:57 232  
[ ]exchsort__t19_exchsort.depv12021-07-25 20:57 270  
[ ]exchsort__t19_exchsort.depvmin12021-07-25 21:03 270  
[ ]exchsort__t22_exchsort.depvmin12021-07-25 21:03 289  
[ ]exchsort__t46_exchsort.depv12021-07-25 20:57 296  
[ ]exchsort__t8_exchsort2021-07-17 23:21 363  
[ ]exchsort__t21_exchsort.vmin12021-07-25 20:57 363  
[ ]exchsort__t22_exchsort.depv12021-07-25 20:57 401  
[ ]exchsort__t3_exchsort.vmin12021-07-25 20:57 544  
[ ]exchsort__t2_exchsort.vmin12021-07-25 20:57 702  
[ ]exchsort__t5_exchsort.vmin12021-07-25 20:57 852  
[ ]exchsort__t13_exchsort2021-07-17 23:22 859  
[ ]exchsort__t33_exchsort.vmin12021-07-25 20:57 925  
[ ]exchsort__t59_exchsort.vmin12021-07-25 20:57 955  
[ ]exchsort__t82_exchsort.vmin12021-07-25 20:57 1.0K 
[ ]exchsort__t49_exchsort.vmin12021-07-25 20:57 1.0K 
[ ]exchsort__t17_exchsort2021-07-17 23:22 1.1K 
[ ]exchsort__t31_exchsort.vmin12021-07-25 20:57 1.1K 
[ ]exchsort__t34_exchsort.vmin12021-07-25 20:57 1.2K 
[ ]exchsort__t30_exchsort.vmin12021-07-25 20:57 1.2K 
[ ]exchsort__t32_exchsort.vmin12021-07-25 20:57 1.2K 
[ ]exchsort__t13_exchsort.vout2021-07-25 16:00 1.3K 
[ ]exchsort__t29_exchsort.vmin12021-07-25 20:57 1.3K 
[ ]exchsort__t80_exchsort.vmin12021-07-25 20:57 1.3K 
[ ]exchsort__t21_exchsort2021-07-17 23:30 1.4K 
[ ]exchsort__t45_exchsort.vmin12021-07-25 20:57 1.7K 
[ ]exchsort__t84_exchsort.vmin12021-07-25 20:57 1.7K 
[ ]exchsort__t15_exchsort.vmin12021-07-25 20:57 1.8K 
[ ]exchsort__t69_exchsort.vmin12021-07-25 20:57 1.8K 
[ ]exchsort__t20_exchsort.vmin12021-07-25 20:57 1.8K 
[ ]exchsort__t19_exchsort.vmin12021-07-25 20:57 1.8K 
[ ]exchsort__t66_exchsort.vmin12021-07-25 20:57 1.9K 
[ ]exchsort__t24_exchsort.vout2021-07-25 18:54 2.0K 
[ ]exchsort__t35_exchsort.vout2021-07-25 18:59 2.0K 
[ ]exchsort__t36_exchsort.vout2021-07-25 14:24 2.0K 
[ ]exchsort__t44_exchsort.vout2021-07-25 17:39 2.0K 
[ ]exchsort__t12_exchsort.vout2021-07-25 17:13 2.0K 
[ ]exchsort__t14_exchsort.vout2021-07-25 20:25 2.0K 
[ ]exchsort__t86_exchsort.vout2021-07-25 20:37 2.0K 
[ ]exchsort__t4_exchsort.vout2021-07-25 16:13 2.0K 
[ ]exchsort__t52_exchsort.vmin12021-07-25 20:57 2.0K 
[ ]exchsort__t50_exchsort.vmin12021-07-25 20:57 2.1K 
[ ]exchsort__t57_exchsort.vmin12021-07-25 20:57 2.4K 
[ ]exchsort__t17_exchsort.vout2021-07-25 17:47 2.4K 
[ ]exchsort__t74_exchsort.vmin12021-07-25 20:57 2.5K 
[ ]exchsort__t51_exchsort.vmin12021-07-25 20:57 2.8K 
[ ]exchsort__t55_exchsort.vmin12021-07-25 20:57 2.9K 
[ ]exchsort__t56_exchsort.vmin12021-07-25 20:57 2.9K 
[ ]exchsort__t53_exchsort.vmin12021-07-25 20:57 2.9K 
[ ]exchsort__t58_exchsort.vmin12021-07-25 20:57 3.0K 
[ ]exchsort__t18_exchsort.vout2021-07-25 16:39 3.1K 
[ ]exchsort__t46_exchsort.vmin12021-07-25 20:57 3.2K 
[ ]exchsort__t22_exchsort.vmin12021-07-25 20:57 3.3K 
[ ]exchsort__t21_exchsort.vout2021-07-25 15:31 3.7K 
[ ]exchsort__t72_exchsort.vout2021-07-25 19:37 3.7K 
[ ]exchsort__t21_exchsort.vmin1out2021-07-25 20:58 3.7K 
[ ]exchsort__t78_exchsort.vout2021-07-25 14:37 4.2K 
[ ]exchsort__t47_exchsort.vout2021-07-25 15:31 4.2K 
[ ]exchsort__t73_exchsort.vout2021-07-25 16:33 4.2K 
[ ]exchsort__t76_exchsort.vout2021-07-25 20:43 4.2K 
[ ]exchsort__t85_exchsort.vout2021-07-25 18:08 4.2K 
[ ]exchsort__t3_exchsort.vout2021-07-25 15:13 4.2K 
[ ]exchsort__t3_exchsort.vmin1out2021-07-25 21:00 4.3K 
[ ]exchsort__t64_exchsort.vout2021-07-25 18:44 4.7K 
[ ]exchsort__t65_exchsort.vout2021-07-25 19:41 4.7K 
[ ]exchsort__t62_exchsort.vout2021-07-25 20:41 4.7K 
[ ]exchsort__l84_exchsort.vout2021-07-25 19:27 4.7K 
[ ]exchsort__t67_exchsort.vout2021-07-25 16:57 4.7K 
[ ]exchsort__t63_exchsort.vout2021-07-25 15:29 4.7K 
[ ]exchsort__t8_exchsort.vout2021-07-25 15:52 5.9K 
[ ]exchsort__t39_exchsort.vout2021-07-25 15:03 6.2K 
[ ]exchsort__t41_exchsort.vout2021-07-25 14:37 6.8K 
[ ]exchsort__t10_exchsort.vout2021-07-25 14:34 6.8K 
[ ]exchsort__t23_exchsort.vout2021-07-25 16:13 6.8K 
[ ]exchsort__t26_exchsort.vout2021-07-25 17:14 6.8K 
[ ]exchsort__t81_exchsort.vout2021-07-25 18:13 7.3K 
[ ]exchsort__t1_exchsort.vout2021-07-25 17:20 7.3K 
[ ]exchsort__t9_exchsort.vout2021-07-25 15:42 7.3K 
[ ]exchsort__t25_exchsort.vout2021-07-25 19:36 7.3K 
[ ]exchsort__t54_exchsort.vout2021-07-25 15:36 7.3K 
[ ]exchsort__t37_exchsort.vout2021-07-25 14:58 7.3K 
[ ]exchsort__t38_exchsort.vout2021-07-25 14:46 7.3K 
[ ]exchsort__t42_exchsort.vout2021-07-25 15:49 7.3K 
[ ]exchsort__t61_exchsort.vout2021-07-25 16:12 7.3K 
[ ]exchsort__t11_exchsort.vout2021-07-25 15:51 7.3K 
[ ]exchsort__t79_exchsort.vout2021-07-25 17:34 7.3K 
[ ]exchsort__t16_exchsort.vout2021-07-25 18:36 7.3K 
[ ]exchsort__t7_exchsort.vout2021-07-25 15:16 7.3K 
[ ]exchsort__t6_exchsort.vout2021-07-25 15:23 7.3K 
[ ]exchsort__t40_exchsort.vout2021-07-25 15:20 7.3K 
[ ]exchsort__t71_exchsort.vout2021-07-25 16:50 7.3K 
[ ]exchsort__t77_exchsort.vout2021-07-25 17:57 7.3K 
[ ]exchsort__t83_exchsort.vout2021-07-25 14:34 7.3K 
[ ]exchsort__t27_exchsort.vout2021-07-25 16:36 7.3K 
[ ]exchsort__t43_exchsort.vout2021-07-25 19:26 7.3K 
[ ]exchsort__t60_exchsort.vout2021-07-25 19:22 7.3K 
[ ]exchsort__t48_exchsort.vout2021-07-25 20:55 7.3K 
[ ]exchsort__t28_exchsort.vout2021-07-25 14:25 7.4K 
[ ]exchsort__t75_exchsort.vout2021-07-25 16:55 7.4K 
[ ]exchsort__t68_exchsort.vout2021-07-25 16:49 7.4K 
[ ]exchsort__t70_exchsort.vout2021-07-25 18:58 7.4K 
[ ]exchsort__t80_exchsort.vmin1out2021-07-25 20:59 11K 
[ ]exchsort__t31_exchsort.vmin1out2021-07-25 20:58 11K 
[ ]exchsort__t31_exchsort.vout2021-07-25 19:21 11K 
[ ]exchsort__t80_exchsort.vout2021-07-25 18:52 12K 
[ ]exchsort__t49_exchsort.vmin1out2021-07-25 20:59 12K 
[ ]exchsort__t33_exchsort.vmin1out2021-07-25 21:00 13K 
[ ]exchsort__t82_exchsort.vmin1out2021-07-25 20:59 13K 
[ ]exchsort__t30_exchsort.vmin1out2021-07-25 20:58 13K 
[ ]exchsort__t32_exchsort.vmin1out2021-07-25 20:58 13K 
[ ]exchsort__t2_exchsort.vmin1out2021-07-25 21:01 14K 
[ ]exchsort__t33_exchsort.vout2021-07-25 14:44 14K 
[ ]exchsort__t2_exchsort.vout2021-07-25 19:00 14K 
[ ]exchsort__t30_exchsort.vout2021-07-25 17:28 15K 
[ ]exchsort__t32_exchsort.vout2021-07-25 15:00 15K 
[ ]exchsort__t29_exchsort.vmin1out2021-07-25 21:02 15K 
[ ]exchsort__t82_exchsort.vout2021-07-25 19:21 15K 
[ ]exchsort__t29_exchsort.vout2021-07-25 16:36 16K 
[ ]exchsort__t34_exchsort.vmin1out2021-07-25 20:59 17K 
[ ]exchsort__t34_exchsort.vout2021-07-25 16:47 17K 
[ ]exchsort__t45_exchsort.vout2021-07-25 14:37 19K 
[ ]exchsort__t59_exchsort.vmin1out2021-07-25 21:02 20K 
[ ]exchsort__t15_exchsort.vout2021-07-25 14:43 20K 
[ ]exchsort__t84_exchsort.vmin1out2021-07-25 21:02 20K 
[ ]exchsort__t45_exchsort.vmin1out2021-07-25 20:58 20K 
[ ]exchsort__t59_exchsort.vout2021-07-25 16:37 20K 
[ ]exchsort__t49_exchsort.vout2021-07-25 16:24 20K 
[ ]exchsort__t15_exchsort.vmin1out2021-07-25 20:58 21K 
[ ]exchsort__t18_exchsort2021-07-17 23:23 22K 
[ ]exchsort__t84_exchsort.vout2021-07-25 18:44 22K 
[ ]exchsort__t2_exchsort2021-07-17 23:24 22K 
[ ]exchsort__t19_exchsort.vmin1out2021-07-25 21:02 22K 
[ ]exchsort__t19_exchsort.vout2021-07-25 20:51 22K 
[ ]exchsort__t66_exchsort.vmin1out2021-07-25 20:58 22K 
[ ]exchsort__t5_exchsort.vout2021-07-25 20:54 24K 
[ ]exchsort__t20_exchsort.vmin1out2021-07-25 20:58 24K 
[ ]exchsort__t14_exchsort2021-07-17 23:22 24K 
[ ]exchsort__t5_exchsort.vmin1out2021-07-25 21:01 26K 
[ ]exchsort__t20_exchsort2021-07-17 23:29 26K 
[ ]exchsort__t5_exchsort2021-07-17 23:25 27K 
[ ]exchsort__t45_exchsort2021-07-17 23:43 28K 
[ ]exchsort__t20_exchsort.vout2021-07-25 18:39 28K 
[ ]exchsort__t74_exchsort.vmin1out2021-07-25 21:00 28K 
[ ]exchsort__t34_exchsort2021-07-17 23:37 28K 
[ ]exchsort__t30_exchsort2021-07-17 23:35 28K 
[ ]exchsort__t32_exchsort2021-07-17 23:36 28K 
[ ]exchsort__t35_exchsort2021-07-17 23:37 28K 
[ ]exchsort__t36_exchsort2021-07-17 23:38 28K 
[ ]exchsort__t52_exchsort.vmin1out2021-07-25 20:58 29K 
[ ]exchsort__t33_exchsort2021-07-17 23:36 29K 
[ ]exchsort__t31_exchsort2021-07-17 23:35 30K 
[ ]exchsort__t44_exchsort2021-07-17 23:42 30K 
[ ]exchsort__t29_exchsort2021-07-17 23:34 30K 
[ ]exchsort__t19_exchsort2021-07-17 23:29 31K 
[ ]exchsort__t66_exchsort.vout2021-07-25 19:26 31K 
[ ]exchsort__t12_exchsort2021-07-17 23:22 31K 
[ ]exchsort__t15_exchsort2021-07-17 23:28 31K 
[ ]exchsort__t16_exchsort2021-07-17 23:28 31K 
[ ]exchsort__t22_exchsort.vmin1out2021-07-25 21:00 32K 
[ ]exchsort__t49_exchsort2021-07-17 23:45 32K 
[ ]exchsort__t46_exchsort2021-07-17 23:43 32K 
[ ]exchsort__t1_exchsort2021-07-17 23:23 32K 
[ ]exchsort__t50_exchsort2021-07-17 23:46 32K 
[ ]exchsort__t57_exchsort.vmin1out2021-07-25 21:00 33K 
[ ]exchsort__t48_exchsort2021-07-17 23:44 33K 
[ ]exchsort__t69_exchsort.vmin1out2021-07-25 21:01 33K 
[ ]exchsort__t6_exchsort2021-07-17 23:25 33K 
[ ]exchsort__t9_exchsort2021-07-17 23:26 33K 
[ ]exchsort__t10_exchsort2021-07-17 23:27 34K 
[ ]exchsort__t52_exchsort2021-07-17 23:47 34K 
[ ]exchsort__t84_exchsort2021-07-18 00:08 34K 
[ ]exchsort__t24_exchsort2021-07-17 23:31 34K 
[ ]exchsort__t57_exchsort2021-07-17 23:50 34K 
[ ]exchsort__t54_exchsort2021-07-17 23:48 34K 
[ ]exchsort__t55_exchsort2021-07-17 23:49 34K 
[ ]exchsort__t56_exchsort2021-07-17 23:49 34K 
[ ]exchsort__t82_exchsort2021-07-18 00:07 34K 
[ ]exchsort__t53_exchsort2021-07-17 23:47 34K 
[ ]exchsort__t11_exchsort2021-07-17 23:27 34K 
[ ]exchsort__t51_exchsort2021-07-17 23:46 35K 
[ ]exchsort__t58_exchsort2021-07-17 23:50 35K 
[ ]exchsort__t86_exchsort2021-07-18 00:09 35K 
[ ]exchsort__t23_exchsort2021-07-17 23:31 35K 
[ ]exchsort__t22_exchsort2021-07-17 23:30 36K 
[ ]exchsort__t3_exchsort2021-07-17 23:21 37K 
[ ]exchsort__t59_exchsort2021-07-17 23:51 37K 
[ ]exchsort__t4_exchsort2021-07-17 23:24 37K 
[ ]exchsort__t50_exchsort.vmin1out2021-07-25 20:58 39K 
[ ]exchsort__t55_exchsort.vmin1out2021-07-25 20:58 39K 
[ ]exchsort__t83_exchsort2021-07-18 00:08 40K 
[ ]exchsort__t80_exchsort2021-07-18 00:06 40K 
[ ]exchsort__t7_exchsort2021-07-17 23:26 40K 
[ ]exchsort__t79_exchsort2021-07-18 00:05 40K 
[ ]exchsort__t56_exchsort.vmin1out2021-07-25 20:59 40K 
[ ]exchsort__t69_exchsort.vout2021-07-25 16:42 41K 
[ ]exchsort__t28_exchsort2021-07-17 23:34 41K 
[ ]exchsort__t46_exchsort.vmin1out2021-07-25 21:01 41K 
[ ]exchsort__t74_exchsort.vout2021-07-25 20:35 42K 
[ ]exchsort__t22_exchsort.vout2021-07-25 17:43 43K 
[ ]exchsort__t50_exchsort.vout2021-07-25 14:54 43K 
[ ]exchsort__t74_exchsort2021-07-18 00:02 43K 
[ ]exchsort__t27_exchsort2021-07-17 23:33 43K 
[ ]exchsort__t60_exchsort2021-07-17 23:52 44K 
[ ]exchsort__t81_exchsort2021-07-18 00:07 44K 
[ ]exchsort__t75_exchsort2021-07-18 00:03 45K 
[ ]exchsort__t47_exchsort2021-07-17 23:44 46K 
[ ]exchsort__t41_exchsort2021-07-17 23:40 47K 
[ ]exchsort__t40_exchsort2021-07-17 23:40 48K 
[ ]exchsort__t37_exchsort2021-07-17 23:38 48K 
[ ]exchsort__t38_exchsort2021-07-17 23:39 48K 
[ ]exchsort__t25_exchsort2021-07-17 23:32 49K 
[ ]exchsort__t26_exchsort2021-07-17 23:33 50K 
[ ]exchsort__t53_exchsort.vmin1out2021-07-25 20:58 51K 
[ ]exchsort__t43_exchsort2021-07-17 23:42 51K 
[ ]exchsort__t51_exchsort.vmin1out2021-07-25 21:01 51K 
[ ]exchsort__t77_exchsort2021-07-18 00:04 52K 
[ ]exchsort__t76_exchsort2021-07-18 00:04 53K 
[ ]exchsort__t39_exchsort2021-07-17 23:39 53K 
[ ]exchsort__t58_exchsort.vmin1out2021-07-25 20:59 54K 
[ ]exchsort__t42_exchsort2021-07-17 23:41 55K 
[ ]exchsort__t55_exchsort.vout2021-07-25 14:31 55K 
[ ]exchsort__t56_exchsort.vout2021-07-25 17:59 55K 
[ ]exchsort__t51_exchsort.vout2021-07-25 17:27 57K 
[ ]exchsort__t57_exchsort.vout2021-07-25 19:58 58K 
[ ]exchsort__t66_exchsort2021-07-17 23:56 62K 
[ ]exchsort__t69_exchsort2021-07-17 23:58 62K 
[ ]exchsort__t78_exchsort2021-07-18 00:05 62K 
[ ]exchsort__t62_exchsort2021-07-17 23:53 62K 
[ ]exchsort__t63_exchsort2021-07-17 23:54 63K 
[ ]exchsort__t67_exchsort2021-07-17 23:57 63K 
[ ]exchsort__t68_exchsort2021-07-17 23:58 64K 
[ ]exchsort__t70_exchsort2021-07-17 23:59 64K 
[ ]exchsort__t64_exchsort2021-07-17 23:55 65K 
[ ]exchsort__t65_exchsort2021-07-17 23:55 65K 
[ ]exchsort__l84_exchsort2021-07-18 00:10 66K 
[ ]exchsort__t61_exchsort2021-07-17 23:52 67K 
[ ]exchsort__t52_exchsort.vout2021-07-25 16:19 70K 
[ ]exchsort__t85_exchsort2021-07-18 00:09 70K 
[ ]exchsort__t46_exchsort.vout2021-07-25 15:23 71K 
[ ]exchsort__t71_exchsort2021-07-18 00:00 71K 
[ ]exchsort__t72_exchsort2021-07-18 00:01 76K 
[ ]exchsort__t73_exchsort2021-07-18 00:02 79K 
[ ]exchsort__t53_exchsort.vout2021-07-25 19:24 94K 
[ ]exchsort__t58_exchsort.vout2021-07-25 19:35 95K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80