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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finance3__t39_finance3.vout2021-07-25 15:08 3.7K 
[ ]finance3__t39_finance32021-07-17 17:36 65K 
[ ]finance3__t38_finance3.vout2021-07-25 15:23 60K 
[ ]finance3__t38_finance3.vmin1out2021-07-25 20:59 57K 
[ ]finance3__t38_finance3.vmin12021-07-25 20:57 2.4K 
[ ]finance3__t38_finance3.depvmin12021-07-25 21:03 108  
[ ]finance3__t38_finance3.depv12021-07-25 20:57 108  
[ ]finance3__t38_finance32021-07-17 17:35 34K 
[ ]finance3__t37_finance3.vout2021-07-25 20:56 4.7K 
[ ]finance3__t37_finance32021-07-17 17:34 30K 
[ ]finance3__t36_finance3.vout2021-07-25 14:40 4.7K 
[ ]finance3__t36_finance32021-07-17 17:34 30K 
[ ]finance3__t35_finance3.vout2021-07-25 14:23 6.8K 
[ ]finance3__t35_finance32021-07-17 17:33 35K 
[ ]finance3__t34_finance3.vout2021-07-25 17:25 7.3K 
[ ]finance3__t34_finance32021-07-17 17:32 25K 
[ ]finance3__t33_finance3.vout2021-07-25 15:11 6.8K 
[ ]finance3__t33_finance32021-07-17 17:22 29K 
[ ]finance3__t32_finance3.vout2021-07-25 19:07 18K 
[ ]finance3__t32_finance3.vmin1out2021-07-25 21:01 12K 
[ ]finance3__t32_finance3.vmin12021-07-25 20:57 1.0K 
[ ]finance3__t32_finance3.depvmin12021-07-25 21:03 89  
[ ]finance3__t32_finance3.depv12021-07-25 20:57 89  
[ ]finance3__t32_finance32021-07-17 17:22 13K 
[ ]finance3__t31_finance3.vout2021-07-25 14:28 7.3K 
[ ]finance3__t31_finance32021-07-17 17:32 28K 
[ ]finance3__t30_finance3.vout2021-07-25 17:34 7.9K 
[ ]finance3__t30_finance32021-07-17 17:31 32K 
[ ]finance3__t29_finance3.vout2021-07-25 15:24 40K 
[ ]finance3__t29_finance3.vmin1out2021-07-25 21:01 44K 
[ ]finance3__t29_finance3.vmin12021-07-25 20:57 3.0K 
[ ]finance3__t29_finance3.depvmin12021-07-25 21:03 82  
[ ]finance3__t29_finance3.depv12021-07-25 20:57 127  
[ ]finance3__t29_finance32021-07-17 17:31 28K 
[ ]finance3__t28_finance3.vout2021-07-25 19:35 6.8K 
[ ]finance3__t28_finance32021-07-17 17:30 31K 
[ ]finance3__t27_finance3.vout2021-07-25 18:15 25K 
[ ]finance3__t27_finance3.vmin1out2021-07-25 21:00 30K 
[ ]finance3__t27_finance3.vmin12021-07-25 20:57 2.4K 
[ ]finance3__t27_finance3.depvmin12021-07-25 21:03 267  
[ ]finance3__t27_finance3.depv12021-07-25 20:57 280  
[ ]finance3__t27_finance32021-07-17 17:30 18K 
[ ]finance3__t26_finance3.vout2021-07-25 16:19 24K 
[ ]finance3__t26_finance3.vmin1out2021-07-25 21:00 25K 
[ ]finance3__t26_finance3.vmin12021-07-25 20:57 2.4K 
[ ]finance3__t26_finance3.depvmin12021-07-25 21:03 242  
[ ]finance3__t26_finance3.depv12021-07-25 20:57 242  
[ ]finance3__t26_finance32021-07-17 17:30 15K 
[ ]finance3__t25_finance3.vout2021-07-25 20:37 5.1K 
[ ]finance3__t25_finance3.vmin1out2021-07-25 21:02 4.7K 
[ ]finance3__t25_finance3.vmin12021-07-25 20:57 963  
[ ]finance3__t25_finance3.depvmin12021-07-25 21:03 126  
[ ]finance3__t25_finance3.depv12021-07-25 20:57 126  
[ ]finance3__t25_finance32021-07-17 17:22 15K 
[ ]finance3__t24_finance3.vout2021-07-25 18:42 44K 
[ ]finance3__t24_finance3.vmin1out2021-07-25 20:59 44K 
[ ]finance3__t24_finance3.vmin12021-07-25 20:57 3.3K 
[ ]finance3__t24_finance3.depvmin12021-07-25 21:03 252  
[ ]finance3__t24_finance3.depv12021-07-25 20:57 252  
[ ]finance3__t24_finance32021-07-17 17:21 18K 
[ ]finance3__t23_finance3.vout2021-07-25 18:27 24K 
[ ]finance3__t23_finance3.vmin1out2021-07-25 20:58 27K 
[ ]finance3__t23_finance3.vmin12021-07-25 20:57 1.8K 
[ ]finance3__t23_finance3.depvmin12021-07-25 21:03 207  
[ ]finance3__t23_finance3.depv12021-07-25 20:57 207  
[ ]finance3__t23_finance32021-07-17 17:29 16K 
[ ]finance3__t22_finance3.vout2021-07-25 19:04 57K 
[ ]finance3__t22_finance3.vmin1out2021-07-25 20:59 43K 
[ ]finance3__t22_finance3.vmin12021-07-25 20:57 3.3K 
[ ]finance3__t22_finance3.depvmin12021-07-25 21:03 371  
[ ]finance3__t22_finance3.depv12021-07-25 20:57 380  
[ ]finance3__t22_finance32021-07-17 17:29 31K 
[ ]finance3__t21_finance3.vout2021-07-25 17:07 6.8K 
[ ]finance3__t21_finance32021-07-17 17:28 28K 
[ ]finance3__t20_finance3.vout2021-07-25 20:56 6.8K 
[ ]finance3__t20_finance32021-07-17 17:28 33K 
[ ]finance3__t19_finance3.vout2021-07-25 15:03 12K 
[ ]finance3__t19_finance3.vmin1out2021-07-25 20:59 11K 
[ ]finance3__t19_finance3.vmin12021-07-25 20:57 759  
[ ]finance3__t19_finance3.depvmin12021-07-25 21:03 48  
[ ]finance3__t19_finance3.depv12021-07-25 20:57 48  
[ ]finance3__t19_finance32021-07-17 17:21 23K 
[ ]finance3__t18_finance3.vout2021-07-25 16:14 12K 
[ ]finance3__t18_finance3.vmin1out2021-07-25 21:00 11K 
[ ]finance3__t18_finance3.vmin12021-07-25 20:57 763  
[ ]finance3__t18_finance3.depvmin12021-07-25 21:03 48  
[ ]finance3__t18_finance3.depv12021-07-25 20:57 48  
[ ]finance3__t18_finance32021-07-17 17:20 23K 
[ ]finance3__t17_finance3.vout2021-07-25 16:12 12K 
[ ]finance3__t17_finance3.vmin1out2021-07-25 21:02 11K 
[ ]finance3__t17_finance3.vmin12021-07-25 20:57 763  
[ ]finance3__t17_finance3.depvmin12021-07-25 21:03 48  
[ ]finance3__t17_finance3.depv12021-07-25 20:57 48  
[ ]finance3__t17_finance32021-07-17 17:20 23K 
[ ]finance3__t16_finance3.vout2021-07-25 18:50 12K 
[ ]finance3__t16_finance3.vmin1out2021-07-25 21:00 11K 
[ ]finance3__t16_finance3.vmin12021-07-25 20:57 771  
[ ]finance3__t16_finance3.depvmin12021-07-25 21:03 48  
[ ]finance3__t16_finance3.depv12021-07-25 20:57 48  
[ ]finance3__t16_finance32021-07-17 17:20 23K 
[ ]finance3__t15_finance3.vout2021-07-25 18:04 4.2K 
[ ]finance3__t15_finance32021-07-17 17:27 37K 
[ ]finance3__t14_finance3.vout2021-07-25 16:26 15K 
[ ]finance3__t14_finance3.vmin1out2021-07-25 20:58 15K 
[ ]finance3__t14_finance3.vmin12021-07-25 20:57 791  
[ ]finance3__t14_finance3.depvmin12021-07-25 21:03 127  
[ ]finance3__t14_finance3.depv12021-07-25 20:57 127  
[ ]finance3__t14_finance32021-07-17 17:27 11K 
[ ]finance3__t13_finance3.vout2021-07-25 20:35 6.8K 
[ ]finance3__t13_finance32021-07-17 17:27 32K 
[ ]finance3__t12_finance3.vout2021-07-25 15:27 6.8K 
[ ]finance3__t12_finance32021-07-17 17:26 32K 
[ ]finance3__t11_finance3.vout2021-07-25 20:23 2.0K 
[ ]finance3__t11_finance32021-07-17 17:26 28K 
[ ]finance3__t10_finance3.vout2021-07-25 19:04 6.8K 
[ ]finance3__t10_finance32021-07-17 17:25 27K 
[ ]finance3__t8_finance3.vout2021-07-25 18:06 6.8K 
[ ]finance3__t8_finance32021-07-17 17:19 37K 
[ ]finance3__t6_finance3.vout2021-07-25 15:15 6.8K 
[ ]finance3__t6_finance32021-07-17 17:25 75K 
[ ]finance3__t5_finance3.vout2021-07-25 18:18 2.0K 
[ ]finance3__t5_finance32021-07-17 17:19 29K 
[ ]finance3__t4_finance3.vout2021-07-25 19:18 3.7K 
[ ]finance3__t4_finance32021-07-17 17:37 26K 
[ ]finance3__t3_finance3.vout2021-07-25 17:09 21K 
[ ]finance3__t3_finance3.vmin1out2021-07-25 21:00 20K 
[ ]finance3__t3_finance3.vmin12021-07-25 20:57 1.7K 
[ ]finance3__t3_finance3.depvmin12021-07-25 21:03 189  
[ ]finance3__t3_finance3.depv12021-07-25 20:57 216  
[ ]finance3__t3_finance32021-07-17 17:36 14K 
[ ]finance3__t2_finance3.vout2021-07-25 16:22 9.0K 
[ ]finance3__t2_finance3.vmin1out2021-07-25 21:00 12K 
[ ]finance3__t2_finance3.vmin12021-07-25 20:57 653  
[ ]finance3__t2_finance3.depvmin12021-07-25 21:03 70  
[ ]finance3__t2_finance3.depv12021-07-25 20:57 70  
[ ]finance3__t2_finance32021-07-17 17:36 14K 
[ ]finance3__t1_finance3.vout2021-07-25 19:48 6.1K 
[ ]finance3__t1_finance3.vmin1out2021-07-25 20:59 5.1K 
[ ]finance3__t1_finance3.vmin12021-07-25 20:57 581  
[ ]finance3__t1_finance3.depvmin12021-07-25 21:03 95  
[ ]finance3__t1_finance3.depv12021-07-25 20:57 95  
[ ]finance3__t1_finance32021-07-17 17:18 14K 
[ ]finance3__l73_finance3.vout2021-07-25 15:15 3.7K 
[ ]finance3__l73_finance32021-07-17 17:45 31K 
[ ]finance3__l72_finance3.vout2021-07-25 17:48 7.4K 
[ ]finance3__l72_finance32021-07-17 17:46 22K 
[ ]finance3__l70_finance3.vout2021-07-25 19:40 7.3K 
[ ]finance3__l70_finance32021-07-17 17:44 32K 
[ ]finance3__l62_finance3.vout2021-07-25 17:33 23K 
[ ]finance3__l62_finance3.vmin1out2021-07-25 20:59 26K 
[ ]finance3__l62_finance3.vmin12021-07-25 20:57 1.6K 
[ ]finance3__l62_finance3.depvmin12021-07-25 21:03 211  
[ ]finance3__l62_finance3.depv12021-07-25 20:57 211  
[ ]finance3__l62_finance32021-07-17 17:44 16K 
[ ]finance3__l61_finance3.vout2021-07-25 20:02 8.4K 
[ ]finance3__l61_finance32021-07-17 17:43 18K 
[ ]finance3__l40_finance3.vout2021-07-25 18:28 7.3K 
[ ]finance3__l40_finance32021-07-17 17:45 22K 
[ ]finance3__l28_finance3.vout2021-07-25 18:31 14K 
[ ]finance3__l28_finance3.vmin1out2021-07-25 20:58 14K 
[ ]finance3__l28_finance3.vmin12021-07-25 20:57 639  
[ ]finance3__l28_finance3.depvmin12021-07-25 21:03 65  
[ ]finance3__l28_finance3.depv12021-07-25 20:57 65  
[ ]finance3__l28_finance32021-07-17 17:43 15K 
[ ]finance3__l27_finance3.vout2021-07-25 17:20 23K 
[ ]finance3__l27_finance3.vmin1out2021-07-25 20:59 23K 
[ ]finance3__l27_finance3.vmin12021-07-25 20:57 1.3K 
[ ]finance3__l27_finance3.depvmin12021-07-25 21:03 162  
[ ]finance3__l27_finance3.depv12021-07-25 20:57 162  
[ ]finance3__l27_finance32021-07-17 17:43 15K 
[ ]finance3__l26_finance3.vout2021-07-25 19:51 5.8K 
[ ]finance3__l26_finance32021-07-17 17:43 18K 
[ ]finance3__l25_finance3.vout2021-07-25 15:51 7.9K 
[ ]finance3__l25_finance3.vmin1out2021-07-25 20:58 7.8K 
[ ]finance3__l25_finance3.vmin12021-07-25 20:57 400  
[ ]finance3__l25_finance3.depvmin12021-07-25 21:03 43  
[ ]finance3__l25_finance3.depv12021-07-25 20:57 43  
[ ]finance3__l25_finance32021-07-17 17:42 10K 
[ ]finance3__l24_finance3.vout2021-07-25 19:51 6.6K 
[ ]finance3__l24_finance3.vmin1out2021-07-25 21:00 6.6K 
[ ]finance3__l24_finance3.vmin12021-07-25 20:57 718  
[ ]finance3__l24_finance3.depvmin12021-07-25 21:03 83  
[ ]finance3__l24_finance3.depv12021-07-25 20:57 83  
[ ]finance3__l24_finance32021-07-17 17:42 14K 
[ ]finance3__l23_finance3.vout2021-07-25 19:39 6.6K 
[ ]finance3__l23_finance3.vmin1out2021-07-25 21:00 6.6K 
[ ]finance3__l23_finance3.vmin12021-07-25 20:57 718  
[ ]finance3__l23_finance3.depvmin12021-07-25 21:03 83  
[ ]finance3__l23_finance3.depv12021-07-25 20:57 83  
[ ]finance3__l23_finance32021-07-17 17:42 14K 
[ ]finance3__l22_finance3.vout2021-07-25 20:39 6.6K 
[ ]finance3__l22_finance3.vmin1out2021-07-25 21:00 6.6K 
[ ]finance3__l22_finance3.vmin12021-07-25 20:57 718  
[ ]finance3__l22_finance3.depvmin12021-07-25 21:03 83  
[ ]finance3__l22_finance3.depv12021-07-25 20:57 83  
[ ]finance3__l22_finance32021-07-17 17:41 14K 
[ ]finance3__l21_finance3.vout2021-07-25 15:59 6.6K 
[ ]finance3__l21_finance3.vmin1out2021-07-25 21:00 6.6K 
[ ]finance3__l21_finance3.vmin12021-07-25 20:57 718  
[ ]finance3__l21_finance3.depvmin12021-07-25 21:03 83  
[ ]finance3__l21_finance3.depv12021-07-25 20:57 83  
[ ]finance3__l21_finance32021-07-17 17:41 14K 
[ ]finance3__l20_finance3.vout2021-07-25 16:38 7.5K 
[ ]finance3__l20_finance3.vmin1out2021-07-25 20:58 7.5K 
[ ]finance3__l20_finance3.vmin12021-07-25 20:57 810  
[ ]finance3__l20_finance3.depvmin12021-07-25 21:03 83  
[ ]finance3__l20_finance3.depv12021-07-25 20:57 83  
[ ]finance3__l20_finance32021-07-17 17:41 14K 
[ ]finance3__l19_finance3.vout2021-07-25 14:29 7.5K 
[ ]finance3__l19_finance3.vmin1out2021-07-25 21:02 7.5K 
[ ]finance3__l19_finance3.vmin12021-07-25 20:57 810  
[ ]finance3__l19_finance3.depvmin12021-07-25 21:03 83  
[ ]finance3__l19_finance3.depv12021-07-25 20:57 83  
[ ]finance3__l19_finance32021-07-17 17:40 14K 
[ ]finance3__l18_finance3.vout2021-07-25 17:05 7.5K 
[ ]finance3__l18_finance3.vmin1out2021-07-25 21:02 7.5K 
[ ]finance3__l18_finance3.vmin12021-07-25 20:57 810  
[ ]finance3__l18_finance3.depvmin12021-07-25 21:03 83  
[ ]finance3__l18_finance3.depv12021-07-25 20:57 83  
[ ]finance3__l18_finance32021-07-17 17:40 14K 
[ ]finance3__l17_finance3.vout2021-07-25 17:22 7.5K 
[ ]finance3__l17_finance3.vmin1out2021-07-25 21:02 7.5K 
[ ]finance3__l17_finance3.vmin12021-07-25 20:57 810  
[ ]finance3__l17_finance3.depvmin12021-07-25 21:03 83  
[ ]finance3__l17_finance3.depv12021-07-25 20:57 83  
[ ]finance3__l17_finance32021-07-17 17:40 14K 
[ ]finance3__l16_finance3.vout2021-07-25 14:36 6.6K 
[ ]finance3__l16_finance3.vmin1out2021-07-25 20:59 6.6K 
[ ]finance3__l16_finance3.vmin12021-07-25 20:57 718  
[ ]finance3__l16_finance3.depvmin12021-07-25 21:03 83  
[ ]finance3__l16_finance3.depv12021-07-25 20:57 83  
[ ]finance3__l16_finance32021-07-17 17:39 14K 
[ ]finance3__l15_finance3.vout2021-07-25 20:08 6.6K 
[ ]finance3__l15_finance3.vmin1out2021-07-25 21:00 6.6K 
[ ]finance3__l15_finance3.vmin12021-07-25 20:57 718  
[ ]finance3__l15_finance3.depvmin12021-07-25 21:03 83  
[ ]finance3__l15_finance3.depv12021-07-25 20:57 83  
[ ]finance3__l15_finance32021-07-17 17:39 14K 
[ ]finance3__l14_finance3.vout2021-07-25 16:52 23K 
[ ]finance3__l14_finance3.vmin1out2021-07-25 21:00 25K 
[ ]finance3__l14_finance3.vmin12021-07-25 20:57 739  
[ ]finance3__l14_finance3.depvmin12021-07-25 21:03 65  
[ ]finance3__l14_finance3.depv12021-07-25 20:57 65  
[ ]finance3__l14_finance32021-07-17 17:39 10K 
[ ]finance3__l13_finance3.vout2021-07-25 16:48 30K 
[ ]finance3__l13_finance3.vmin1out2021-07-25 21:01 25K 
[ ]finance3__l13_finance3.vmin12021-07-25 20:57 739  
[ ]finance3__l13_finance3.depvmin12021-07-25 21:03 65  
[ ]finance3__l13_finance3.depv12021-07-25 20:57 65  
[ ]finance3__l13_finance32021-07-17 17:39 10K 
[ ]finance3__l12_finance3.vout2021-07-25 18:34 14K 
[ ]finance3__l12_finance3.vmin1out2021-07-25 21:00 18K 
[ ]finance3__l12_finance3.vmin12021-07-25 20:57 624  
[ ]finance3__l12_finance3.depvmin12021-07-25 21:03 88  
[ ]finance3__l12_finance3.depv12021-07-25 20:57 88  
[ ]finance3__l12_finance32021-07-17 17:38 15K 
[ ]finance3__l11_finance3.vout2021-07-25 16:21 3.4K 
[ ]finance3__l11_finance3.vmin1out2021-07-25 20:57 3.4K 
[ ]finance3__l11_finance3.vmin12021-07-25 20:57 338  
[ ]finance3__l11_finance3.depvmin12021-07-25 21:03 25  
[ ]finance3__l11_finance3.depv12021-07-25 20:57 25  
[ ]finance3__l11_finance32021-07-17 17:24 14K 
[ ]finance3__l10_finance3.vout2021-07-25 15:38 3.4K 
[ ]finance3__l10_finance3.vmin1out2021-07-25 20:59 3.4K 
[ ]finance3__l10_finance3.vmin12021-07-25 20:57 338  
[ ]finance3__l10_finance3.depvmin12021-07-25 21:03 25  
[ ]finance3__l10_finance3.depv12021-07-25 20:57 25  
[ ]finance3__l10_finance32021-07-17 17:24 14K 
[ ]finance3__l8_finance3.vout2021-07-25 17:04 9.7K 
[ ]finance3__l8_finance3.vmin1out2021-07-25 21:00 11K 
[ ]finance3__l8_finance3.vmin12021-07-25 20:57 826  
[ ]finance3__l8_finance3.depvmin12021-07-25 21:03 125  
[ ]finance3__l8_finance3.depv12021-07-25 20:57 125  
[ ]finance3__l8_finance32021-07-17 17:24 14K 
[ ]finance3__l7_finance3.vout2021-07-25 19:06 9.7K 
[ ]finance3__l7_finance3.vmin1out2021-07-25 20:59 11K 
[ ]finance3__l7_finance3.vmin12021-07-25 20:57 826  
[ ]finance3__l7_finance3.depvmin12021-07-25 21:03 125  
[ ]finance3__l7_finance3.depv12021-07-25 20:57 125  
[ ]finance3__l7_finance32021-07-17 17:23 14K 
[ ]finance3__l6_finance3.vout2021-07-25 19:18 9.7K 
[ ]finance3__l6_finance3.vmin1out2021-07-25 20:59 11K 
[ ]finance3__l6_finance3.vmin12021-07-25 20:57 826  
[ ]finance3__l6_finance3.depvmin12021-07-25 21:03 125  
[ ]finance3__l6_finance3.depv12021-07-25 20:57 125  
[ ]finance3__l6_finance32021-07-17 17:23 14K 
[ ]finance3__l5_finance3.vout2021-07-25 14:31 9.7K 
[ ]finance3__l5_finance3.vmin1out2021-07-25 21:00 11K 
[ ]finance3__l5_finance3.vmin12021-07-25 20:57 826  
[ ]finance3__l5_finance3.depvmin12021-07-25 21:03 125  
[ ]finance3__l5_finance3.depv12021-07-25 20:57 125  
[ ]finance3__l5_finance32021-07-17 17:23 14K 
[ ]finance3__l4_finance3.vout2021-07-25 17:11 14K 
[ ]finance3__l4_finance3.vmin1out2021-07-25 21:01 12K 
[ ]finance3__l4_finance3.vmin12021-07-25 20:57 1.0K 
[ ]finance3__l4_finance3.depvmin12021-07-25 21:03 82  
[ ]finance3__l4_finance3.depv12021-07-25 20:57 82  
[ ]finance3__l4_finance32021-07-17 17:38 23K 
[ ]finance3__l3_finance3.vout2021-07-25 20:23 30K 
[ ]finance3__l3_finance3.vmin1out2021-07-25 21:00 18K 
[ ]finance3__l3_finance3.vmin12021-07-25 20:57 1.5K 
[ ]finance3__l3_finance3.depvmin12021-07-25 21:03 44  
[ ]finance3__l3_finance3.depv12021-07-25 20:57 186  
[ ]finance3__l3_finance32021-07-17 17:37 14K 
[ ]finance3__l2_finance3.vout2021-07-25 14:52 67K 
[ ]finance3__l2_finance3.vmin1out2021-07-25 21:02 46K 
[ ]finance3__l2_finance3.vmin12021-07-25 20:57 2.8K 
[ ]finance3__l2_finance3.depvmin12021-07-25 21:03 68  
[ ]finance3__l2_finance3.depv12021-07-25 20:57 315  
[ ]finance3__l2_finance32021-07-17 17:37 14K 
[ ]finance3__l1_finance3.vout2021-07-25 16:02 254K 
[ ]finance3__l1_finance3.vmin1out2021-07-25 20:59 194K 
[ ]finance3__l1_finance3.vmin12021-07-25 20:57 3.7K 
[ ]finance3__l1_finance3.depvmin12021-07-25 21:03 46  
[ ]finance3__l1_finance3.depv12021-07-25 20:57 392  
[ ]finance3__l1_finance32021-07-17 17:37 15K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80