1
2
3
4
5
6
7
8
9
Scoring a Diving Competition 
 
The names of divers and their scores for a dive are stored in a file called DIV1.txt .  Each diver's name is 20 characters long followed by the difficulty factor of the dive and a score from each of 5 judges.  Compute each diver’s total score by throwing out his/her low and high scores, averaging the remaining three scores, and then multiplying this average by the difficulty factor.  Output each diver's name, his/her 3 middle scores from low to high, and the total score for the dive arranged from the diver with the highest score to the lowest. Output is to be directed to a file.
 
The contents of DIV1.txt is to be:
 
   KNIFE JACK          1.3 6.0 5.1 6.3 5.9 6.5
   WILLIAMSON FLIP A   1.4 3.5 4.1 4.7 7.2 3.8
   SOMMER TODD         1.2 8.0 9.1 8.1 9.3 9.0
 ...

1
Charlie bit me!

1
2
3
4
5
6
Parameter A:Prop.
Goal (A -> False) <-> (forall Z:Prop, A -> Z).
split.
 intros. elim H. assumption. 
intros. eapply (H False). exact H0.
Qed.

1
2
3
4
5
6
7
8
9
[root@alarm ~]# DISTCC_VERBOSE=1 /usr/lib/distcc/bin/gcc -c hello.c 
distcc[1085] (dcc_trace_version) distcc 3.1 armv5tel-unknown-linux-gnu; built Dec  5 2011 17:52:42
distcc[1085] (dcc_recursion_safeguard) safeguard level=0
distcc[1085] (main) compiler name is "arm-unknown-linux-gnueabi-gcc"
distcc[1085] (dcc_support_masquerade) not modifying PATH
distcc[1085] (dcc_scan_args) scanning arguments: arm-unknown-linux-gnueabi-gcc -c hello.c
distcc[1085] (dcc_scan_args) found input file "hello.c"
distcc[1085] (dcc_scan_args) no visible output file, going to add "-o hello.o" at end
distcc[1085] compile from hello.c to hello.o
 ...

1
2
3
4
5
6
7
8
9
No.     Time                       Source                Destination           Protocol Info
    270 2012-02-05 02:08:38.264040 10.111.0.98           10.111.0.23           TCP      38585 > distcc [SYN] Seq=0 Win=14600 Len=0 MSS=1460 SACK_PERM=1 TSval=2843 TSecr=0 WS=4
    271 2012-02-05 02:08:38.265894 10.111.0.23           10.111.0.98           TCP      distcc > 38585 [SYN, ACK] Seq=0 Ack=1 Win=14480 Len=0 MSS=1460 SACK_PERM=1 TSval=59589 TSecr=2843 WS=64
    272 2012-02-05 02:08:38.274658 10.111.0.98           10.111.0.23           TCP      38585 > distcc [ACK] Seq=1 Ack=1 Win=14600 Len=0 TSval=2845 TSecr=59589
    273 2012-02-05 02:08:38.485198 10.111.0.98           10.111.0.23           DISTCC   DIST:1 ARGC:5 arm-unknown-linux-gnueabi-gcc -c hello.c -o hello.o [ShortDOTI PDU]
    274 2012-02-05 02:08:38.485372 10.111.0.98           10.111.0.23           TCP      [TCP segment of a reassembled PDU]
    275 2012-02-05 02:08:38.485527 10.111.0.98           10.111.0.23           TCP      [TCP segment of a reassembled PDU]
    276 2012-02-05 02:08:38.485669 10.111.0.98           10.111.0.23           TCP      [TCP segment of a reassembled PDU]
    277 2012-02-05 02:08:38.485808 10.111.0.98           10.111.0.23           TCP      [TCP segment of a reassembled PDU]
 ...

1
http://pastebin.com/ffL3qTNk

1
2
3
4
5
6
7
8
9
20
358 820 6009
3280 597 971 3479 3591 2027 3403 335 700 1421 2697 1118 744 1711 2845 1288 2685 3083 3041 1109 3041 2026 3582 3601 1056 481 1362 1551 485 3171 379 2855 4069 124 1819 415 2825 2837 4959 4493 2878 4147 4558 4770 282 842 4538 97 3700 2392 3662 855 4000 1644 2261 2509 927 1924 210 369 159 3718 2690 3011 1012 1318 1178 3403 34 551 3461 1615 1094 4565 2750 4442 2792 1254 623 2833 4087 569 1924 2055 4489 1830 4503 2488 165 3133 697 314 3432 4747 2561 1911 4904 2951 1460 4991 3184 4955 457 1539 2096 3606 2423 1540 1839 4862 2494 3026 2472 3739 703 3344 3680 3830 2737 1677 2256 600 4657 1406 2722 1351 2237 718 1540 667 909 1191 4084 2503 2622 1058 991 11 2117 411 2187 4239 4420 2432 4661 3129 1292 4512 2063 4191 4687 1872 4922 1240 1832 4824 2564 3517 1178 621 1453 638 4017 1856 2756 4254 2905 2795 4945 1552 3330 2323 1583 747 3548 3400 3184 1785 3829 1554 4508 3654 116 3294 392 4811 2337 3950 1831 4417 3635 119 4264 1139 4789 1532 4979 1293 2598 3487 4585 577 475 912 1663 3720 164 2606 1974 109 1752 4194 3363 4957 3621 3347 2118 1147 4080 2659 1953 3224 757 4185 951 759 1412 736 3230 2551 4552 157 2370 3809 2909 4726 1280 2625 957 1909 2036 1658 2895 11 727 2618 1902 2674 4776 4333 337 2291 4397 1549 548 638 1967 3990 666 816 2160 1584 1252 2863 154 4582 459 1241 3005 2979 1326 706 4404 3172 4080 1851 1716 3384 4506 2096 2074 2636 1864 1690 4008 4412 3299 1507 4212 4804 371 585 4630 1164 2806 3033 2219 3506 3865 2565 706 2545 3385 4048 587 2967 1535 2373 3783 2308 4870 4952 3248 4430 3354 3620 3917 650 2711 1604 1682 4500 4531 2077 1058 1288 609 2576 754 4818 475 3430 2596 4927 4771 3483 3404 1934 1022 941 547 1793 1717 1270 197 1229 2946 3437 4545 2977 3707 3028 669 2004 2742 4434 3795 1071
3 2 5
2 1 5
2000 6103 82931295
17000 16000 99000 59000 68000 90000 74000 9000 49000 31000 66000 23000 37000 29000 44000 11000 46000 58000 32000 48000 8000 98000 31000 52000 52000 89000 69000 45000 81000 45000 33000 55000 43000 58000 53000 16000 2000 97000 73000 61000 69000 20000 11000 87000 40000 59000 9000 35000 36000 68000 40000 48000 53000 6000 3000 15000 84000 9000 88000 6000 32000 9000 49000 78000 17000 7000 15000 44000 19000 11000 49000 28000 87000 22000 8000 5000 38000 66000 49000 72000 5000 49000 22000 52000 38000 82000 76000 33000 64000 69000 48000 14000 60000 88000 83000 84000 87000 48000 90000 81000 83000 39000 56000 27000 43000 55000 49000 6000 35000 39000 16000 2000 45000 89000 88000 64000 1000 93000 71000 41000 50000 21000 74000 50000 6000 21000 9000 49000 21000 78000 53000 71000 53000 80000 38000 33000 83000 87000 66000 24000 7 3000 82000 48000 98000 20000 74000 62000 24000 57000 11000 60000 34000 45000 98000 81000 30000 45000 43000 60000 89000 70000 44000 91000 20000 27000 32000 36000 7 96000 65000 82000 4000 62000 90000 91000 78000 54000 81000 51000 22000 63000 17000 90000 66000 99000 75000 84000 51000 60000 74000 43000 68000 1000 97000 60000 29000 36000 33000 65000 68000 47000 92000 26000 86000 54000 73000 22000 82000 25000 82000 2000 23000 71000 37000 98000 27000 63000 96000 14000 3000 57000 72000 10000 96000 25000 59000 99000 93000 80000 98000 28000 9000 30000 34000 30000 93000 93000 89000 75000 99000 88000 73000 71000 5000 40000 81000 55000 90000 95000 13000 27000 90000 92000 66000 29000 59000 69000 30000 53000 53000 45000 38000 61000 6000 8000 1000 88000 44000 10000 52000 96000 55000 37000 78000 45000 14000 82000 83000 81000 62000 75000 66000 66000 10000 98000 52000 84000 14000 93000 85000 25000 11000 93000 47000 29000 52000 14000 99000 34000 62000 32000 77000 67000 55000 56000 75000 31000 38000 71000 53000 37000 37000 39000 64000 24000 82000 14000 8000 41000 3000 76000 80000 77000 19000 24000 34000 53000 25000 78000 92000 61000 31000 55000 85000 63000 10000 46000 11000 19000 9000 95000 77000 82000 3000 31000 24000 95000 33000 80000 68000 51000 7000 80000 62000 80000 10000 92000 86000 85000 94000 31000 94000 78000 2000 16000 25000 10000 52000 56000 30000 26000 76000 59000 55000 21000 57000 52000 12000 91000 59000 57000 73000 13000 30000 58000 99000 21000 97000 76000 60000 50000 3000 25000 4000 60000 59000 64000 21000 64000 41000 8000 75000 13000 87000 46000 88000 70000 66000 94000 5000 90000 70000 98000 96000 89000 25000 7000 66000 63000 54000 84000 33000 68000 66000 45000 80000 35000 57000 54000 71000 53000 92000 92000 40000 11000 54000 56000 13000 62000 11000 74000 14000 6000 14000 83000 37000 82000 46000 47000 17000 87000 94000 96000 31000 11000 56000 6000 56000 69000 75000 7 7 17000 93000 37000 49000 31000 22000 28000 77000 86000 47000 37000 22000 30000 70000 16000 6000 43000 98000 27000 82000 78000 87000 80000 13000 79000 31000 73000 86000 72000 81000 90000 24000 14000 43000 48000 56000 5000 46000 69000 11000 36000 45000 88000 91000 74000 45000 40000 55000 91000 52000 42000 59000 23000 52000 24000 35000 5000 38000 67000 33000 36000 13000 99000 37000 80000 17000 13000 35000 63000 3000 27000 40000 56000 25000 99000 53000 84000 68000 8000 1000 22000 86000 83000 74000 63000 91000 36000 77000 45000 38000 75000 76000 52000 70000 12000 58000 63000 82000 34000 35000 5000 39000 49000 54000 49000 56000 20000 14000 90000 35000 11000 84000 41000 73000 34000 12000 54000 16000 28000 42000 70000 97000 89000 35000 15000 86000 45000 29000 61000 87000 31000 3000 55000 70000 46000 54000 11000 21000 58000 72000 67000 7000 58000 42000 96000 84000 49000 53000 74000 68000 58000 55000 18000 32000 87000 34000 9000 61000 55000 43000 32000 74000 67000 55000 66000 83000 53000 82000 50000 89000 55000 60000 18000 21000 52000 10000 55000 53000 69000 63000 21000 72000 52000 69000 22000 1000 24000 52000 76000 80000 29000 28000 50000 90000 84000 19000 55000 50000 37000 98000 94000 27000 62000 93000 58000 41000 82000 52000 7000 29000 18000 2000 74000 73000 9000 37000 77000 32000 52000 96000 61000 71000 49000 33000 72000 43000 43000 65000 89000 54000 28000 74000 16000 99000 44000 6000 78000 67000 69000 18000 12000 29000 47000 77000 18000 63000 54000 68000 33000 58000 62000 53000 75000 33000 96000 2000 75000 3000 70000 88000 52000 6000 69000 15000 85000 84000 30000 10000 85000 73000 28000 82000 52000 95000 96000 40000 11000 80000 41000 3000 49000 50000 95000 3000 95000 52000 88000 34000 16000 5000 27000 40000 58000 48000 90000 71000 34000 56000 18000 18000 80000 20000 34000 7 26000 47000 95000 47000 27000 47000 12000 53000 84000 28000 67000 74000 28000 25000 36000 90000 73000 17000 52000 20000 51000 1000 95000 53000 50000 78000 34000 4000 67000 5000 86000 46000 75000 45000 50000 67000 64000 81000 85000 88000 61000 6000 66000 61000 85000 80000 99000 53000 51000 81000 50000 35000 37000 16000 40000 69000 82000 92000 81000 66000 5000 97000 13000 4000 43000 61000 28000 87000 29000 88000 39000 26000 51000 54000 85000 30000 16000 33000 98000 34000 52000 23000 54000 98000 24000 18000 84000 77000 59000 86000 64000 54000 92000 52000 63000 93000 67000 48000 81000 22000 81000 76000 82000 58000 32000 31000 99000 1000 68000 11000 1000 61000 84000 74000 3000 24000 68000 5000 86000 71000 86000 38000 13000 29000 13000 49000 96000 23000 29000 93000 73000 30000 76000 90000 15000 28000 68000 14000 75000 11000 62000 57000 28000 11000 61000 38000 14000 32000 19000 86000 45000 18000 41000 98000 53000 69000 17000 59000 73000 50000 39000 59000 23000 86000 79000 93000 51000 52000 77000 86000 69000 96000 92000 95000 19000 60000 23000 59000 18000 5000 58000 97000 76000 51000 91000 45000 29000 86000 3000 66000 83000 61000 74000 40000 57000 67000 66000 96000 41000 24000 20000 95000 30000 33000 62000 55000 24000 5000 6000 1000 54000 60000 23000 37000 85000 20000 14000 7000 29000 89000 34000 99000 28000 1000 50000 25000 31000 67000 44000 41000 97000 64000 2000 17000 16000 99000 59000 68000 90000 74000 9000 49000 31000 66000 23000 37000 29000 44000 11000 46000 58000 32000 48000 8000 98000 31000 52000 52000 89000 69000 45000 81000 45000 33000 55000 43000 58000 53000 16000 2000 97000 73000 61000 69000 20000 11000 87000 40000 59000 9000 35000 36000 68000 40000 48000 53000 6000 3000 15000 84000 9000 88000 6000 32000 9000 49000 78000 17000 7000 15000 44000 19000 11000 49000 28000 87000 22000 8000 5000 38000 66000 49000 72000 5000 49000 22000 52000 38000 82000 76000 33000 64000 69000 48000 14000 60000 88000 83000 84000 87000 48000 90000 81000 83000 39000 56000 27000 43000 55000 49000 6000 35000 39000 16000 2000 45000 89000 88000 64000 1000 93000 71000 41000 50000 21000 74000 50000 6000 21000 9000 49000 21000 78000 53000 71000 53000 80000 38000 33000 83000 87000 66000 24000 7 3000 82000 48000 98000 20000 74000 62000 24000 57000 11000 60000 34000 45000 98000 81000 30000 45000 43000 60000 89000 70000 44000 91000 20000 27000 32000 36000 7 96000 65000 82000 4000 62000 90000 91000 78000 54000 81000 51000 22000 63000 17000 90000 66000 99000 75000 84000 51000 60000 74000 43000 68000 1000 97000 60000 29000 36000 33000 65000 68000 47000 92000 26000 86000 54000 73000 22000 82000 25000 82000 2000 23000 71000 37000 98000 27000 63000 96000 14000 3000 57000 72000 10000 96000 25000 59000 99000 93000 80000 98000 28000 9000 30000 34000 30000 93000 93000 89000 75000 99000 88000 73000 71000 5000 40000 81000 55000 90000 95000 13000 27000 90000 92000 66000 29000 59000 69000 30000 53000 53000 45000 38000 61000 6000 8000 1000 88000 44000 10000 52000 96000 55000 37000 78000 45000 14000 82000 83000 81000 62000 75000 66000 66000 10000 98000 52000 84000 14000 93000 85000 25000 11000 93000 47000 29000 52000 14000 99000 34000 62000 32000 77000 67000 55000 56000 75000 31000 38000 71000 53000 37000 37000 39000 64000 24000 82000 14000 8000 41000 3000 76000 80000 77000 19000 24000 34000 53000 25000 78000 92000 61000 31000 55000 85000 63000 10000 46000 11000 19000 9000 95000 77000 82000 3000 31000 24000 95000 33000 80000 68000 51000 7000 80000 62000 80000 10000 92000 86000 85000 94000 31000 94000 78000 2000 16000 25000 10000 52000 56000 30000 26000 76000 59000 55000 21000 57000 52000 12000 91000 59000 57000 73000 13000 30000 58000 99000 21000 97000 76000 60000 50000 3000 25000 4000 60000 59000 64000 21000 64000 41000 8000 75000 13000 87000 46000 88000 70000 66000 94000 5000 90000 70000 98000 96000 89000 25000 7000 66000 63000 54000 84000 33000 68000 66000 45000 80000 35000 57000 54000 71000 53000 92000 92000 40000 11000 54000 56000 13000 62000 11000 74000 14000 6000 14000 83000 37000 82000 46000 47000 17000 87000 94000 96000 31000 11000 56000 6000 56000 69000 75000 7 7 17000 93000 37000 49000 31000 22000 28000 77000 86000 47000 37000 22000 30000 70000 16000 6000 43000 98000 27000 82000 78000 87000 80000 13000 79000 31000 73000 86000 72000 81000 90000 24000 14000 43000 48000 56000 5000 46000 69000 11000 36000 45000 88000 91000 74000 45000 40000 55000 91000 52000 42000 59000 23000 52000 24000 35000 5000 38000 67000 33000 36000 13000 99000 37000 80000 17000 13000 35000 63000 3000 27000 40000 56000 25000 99000 53000 84000 68000 8000 1000 22000 86000 83000 74000 63000 91000 36000 77000 45000 38000 75000 76000 52000 70000 12000 58000 63000 82000 34000 35000 5000 39000 49000 54000 49000 56000 20000 14000 90000 35000 11000 84000 41000 73000 34000 12000 54000 16000 28000 42000 70000 97000 89000 35000 15000 86000 45000 29000 61000 87000 31000 3000 55000 70000 46000 54000 11000 21000 58000 72000 67000 7000 58000 42000 96000 84000 49000 53000 74000 68000 58000 55000 18000 32000 87000 34000 9000 61000 55000 43000 32000 74000 67000 55000 66000 83000 53000 82000 50000 89000 55000 60000 18000 21000 52000 10000 55000 53000 69000 63000 21000 72000 52000 69000 22000 1000 24000 52000 76000 80000 29000 28000 50000 90000 84000 19000 55000 50000 37000 98000 94000 27000 62000 93000 58000 41000 82000 52000 7000 29000 18000 2000 74000 73000 9000 37000 77000 32000 52000 96000 61000 71000 49000 33000 72000 43000 43000 65000 89000 54000 28000 74000 16000 99000 44000 6000 78000 67000 69000 18000 12000 29000 47000 77000 18000 63000 54000 68000 33000 58000 62000 53000 75000 33000 96000 2000 75000 3000 70000 88000 52000 6000 69000 15000 85000 84000 30000 10000 85000 73000 28000 82000 52000 95000 96000 40000 11000 80000 41000 3000 49000 50000 95000 3000 95000 52000 88000 34000 16000 5000 27000 40000 58000 48000 90000 71000 34000 56000 18000 18000 80000 20000 34000 7 26000 47000 95000 47000 27000 47000 12000 53000 84000 28000 67000 74000 28000 25000 36000 90000 73000 17000 52000 20000 51000 1000 95000 53000 50000 78000 34000 4000 67000 5000 86000 46000 75000 45000 50000 67000 64000 81000 85000 88000 61000 6000 66000 61000 85000 80000 99000 53000 51000 81000 50000 35000 37000 16000 40000 69000 82000 92000 81000 66000 5000 97000 13000 4000 43000 61000 28000 87000 29000 88000 39000 26000 51000 54000 85000 30000 16000 33000 98000 34000 52000 23000 54000 98000 24000 18000 84000 77000 59000 86000 64000 54000 92000 52000 63000 93000 67000 48000 81000 22000 81000 76000 82000 58000 32000 31000 99000 1000 68000 11000 1000 61000 84000 74000 3000 24000 68000 5000 86000 71000 86000 38000 13000 29000 13000 49000 96000 23000 29000 93000 73000 30000 76000 90000 15000 28000 68000 14000 75000 11000 62000 57000 28000 11000 61000 38000 14000 32000 19000 86000 45000 18000 41000 98000 53000 69000 17000 59000 73000 50000 39000 59000 23000 86000 79000 93000 51000 52000 77000 86000 69000 96000 92000 95000 19000 60000 23000 59000 18000 5000 58000 97000 76000 51000 91000 45000 29000 86000 3000 66000 83000 61000 74000 40000 57000 67000 66000 96000 41000 24000 20000 95000 30000 33000 62000 55000 24000 5000 6000 1000 54000 60000 23000 37000 85000 20000 14000 7000 29000 89000 34000 99000 28000 1000 50000 25000 31000 67000 44000 41000 97000 64000 2000
980 563 1123
91 4296 4423 1951 1029 4831 3757 3998 3817 2773 1180 1017 4539 1041 4603 3791 3791 2308 146 4828 2062 4242 1303 4817 2601 4673 3929 731 1734 4199 516 4929 4812 608 1881 679 4204 4308 2481 599 2750 3623 1975 3007 2621 4418 1815 1973 552 4464 4703 1695 3206 1395 2600 928 2613 2852 3608 4461 4511 737 1336 1813 4602 1592 1373 1294 283 1538 2598 1117 1622 2771 3528 1837 3108 478 713 4457 3137 565 2031 1908 392 1102 844 3045 4022 2746 1361 3057 264 1519 3868 985 1314 2293 343 1098 4454 389 1542 2314 2796 2284 1989 3432 1308 456 4188 2581 4237 258 2680 863 2273 329 182 261 3991 3335 3543 4556 284 1173 4347 4655 3064 994 2635 1485 609 4880 815 4893 3102 3447 4568 2772 1345 1899 3524 431 4537 3649 1444 3076 1067 535 4179 714 2165 873 3053 3042 4568 1383 1033 4285 679 4908 4789 4884 2040 4145 437 2375 2141 4552 2655 453 1255 2493 4958 3074 889 2806 1208 3047 3364 2436 3046 1355 4412 4993 4984 382 4366 3529 4891 1198 3404 4950 2409 131 1919 2851 3811 1382 3624 122 1460 3423 1219 617 4997 4602 192 1086 472 3179 4855 1604 1788 3489 4423 2326 2421 198 1084 2216 4940 2911 1883 893 4778 2446 514 1082 77 2253 585 1377 4124 621 3919 1482 789 1852 2691 1045 4633 3693 3664 2675 4320 161 4027 1154 3142 2796 380 2990 4569 107 935 2900 4142 2385 3134 626 2815 2536 2405 4483 1540 2796 1969 3118 1955 499 3806 2222 4189 4593 1131 3581 3630 3912 412 1817 1480 3973 3844 1640 4813 2846 301 3440 4175 1687 3862 3015 3407 3403 183 4625 4870 2096 2996 504 3410 2371 2548 1822 2928 3275 3893 3797 1563 4194 2469 2224 1615 3149 1535 1867 4005 1604 4081 2876 291 3101 22 3437 4518 2579 3908 993 15 4612 1388 3868 1415 1489 4010 1488 872 1358 4896 2081 1402 4505 123 3690 2247 3479 209 2769 1148 1194 1126 845 1428 1159 4322 3288 4066 323 280 3527 2602 2166 1629 3246 2093 3616 1139 624 1784 4583 2882 1997 3728 2963 2522 412 4188 768 3231 2287 2678 331 3721 3606 3807 3280 4894 1300 246 1392 4623 566 2629 688 308 722 1289 3596 996 4588 3964 2746 3630 3691 1424 2587 2173 1154 4329 4077 1291 1938 2288 27 3693 420 3744 2366 311 4661 3799 1812 1156 2867 4627 2439 2291 4060 4062 3905 2185 4165 1551 1347 488 3872 4846 2725 113 1455 644 1351 1579 204 1965 4518 4799 4827 4315 4587 2623 2359 2824 4469 1819 3385 183 1583 2464 720 4832 3820 822 1538 1406 574 724 2568 3311 1550 1074 3463 1800 1757 4106 4931 4745 4129 4963 1966 1492 3796 1068 814 4294 1262 882 4909 583 3187 1222 4618 3796 2376 4030 1044 2798 54 878 255 2278 1040 4811 4807 3624 2209 2428 1665 441 2023 197 4322 2367 3837 809 3494 2171 2316 3915 1162 2613 48 4457 974 1821 4777 214 82 777 536 514 545 504 1690 1361 219 4905 3721 4229 3300 4025 4781 4728 4858 4199 2345 1810 1060 4118 4338 3499 3461 1919 3067 2021 2552 671 3539 2673 3454 2900 3096 2269 4058 4112 637 3935 846 3968 2895 4001 2830 2395 4973 2809 2762 4610 3525 3563 490 745 1692 2405 3138 743 3909 1495 4932 4823 1603 4589 1908 451 4458 3946 1911 354 4527 4394 373 2823 935 1124 245 3934 2157 2675 2399 3538 526 2904 1909 1976 142 2694 1275 4162 3933 3673 2230 4681 3420 587 3313 1250 4713 3797 922 3699 259 1230 4643 747 1863 4507 1180 363 3976 2595 3109 3109 845 670 465 3255 69 3642 4751 1244 2278 2825 2794 2608 3010 1850 1536 2909 338 18 736 3774 3701 255 516 4488 3777 1273 1870 1936 4459 3661 327 741 4177 87 1723 1283 4780 2748 2288 3217 1035 3258 2517 1304 2290 4276 4854 784 962 4373 1182 3472 2241 1856 4582 2082 682 3898 3705 4521 2296 1429 4034 2335 1796 2785 2517 2584 1815 705 4522 2101 4313 1600 1897 4589 423 4118 2063 2726 1834 3682 3430 3908 708 1366 434 2228 1822 2618 4888 2176 4021 1598 2041 1407 1628 1815 1804 784 3938 3501 3138 811 60 2151 4779 2292 741 1803 2174 1365 593 2734 3693 1303 2889 4236 3367 4700 4817 1005 2239 1228 3238 1428 3849 3425 2563 4717 2381 3081 4474 1595 3196 2505 3615 2539 3007 249 448 112 464 351 4185 2764 184 2603 2493 679 3495 4421 4958 335 2402 3062 2325 4661 2990 1505 4045 768 2058 7 2330 4064 4939 2617 503 3264 178 4534 4781 2585 1752 1786 3735 3120 33 1551 930 1467 3054 226 3307 773 4820 3300 2088 1227 3051 3531 1264 4210 2193 197 1366 631 2852 1089 697 4971 4830 2978 1247 3705 978 2736 111 2678 3814 4556 3190 1307 3617 944 2706 4994 2083 3466 634 1947 3668 2651 70 4913 3372 4407 1747 1910 1082 1875 4134 4071 32 902 1842 4853 4124 2270 949 2146 1089 545 1069 1749 3291 4268 839 3217 4202 4842 4384 4776 1422 2309 4396 287 625 1418 2396 2527 1522 348 4069 560 3885 2800 4531 17 4127 4064 3917 176 2624 1959 2601 3290 729 4016 3504 144 2021 2131 2772 2799 3532 1820 2990 1242 506 4001 3677 1518 959 689 1537 4314 751 3236 4053 105 4578 1410 490 365 381 4860 1152 265 3175 3177 2087 2890 3744 1582 1028 252 1459 3502 3112 3325 2581 17 2530 1552 1422 2108 1429 1281 1780 157 3348 4312 974 1320 3265
 ...

1
2
3
4
5
6
7
8
9
Let S be a sequence of N natural numbers. We can define an infinite sequence MS in the following way: MS[k] = S[k mod N] + N * floor(k / N). Where k is a zero based index.
 
For example if the sequence S is {2, 1, 3} then MS would be {2, 1, 3, 5, 4, 6, 8, 7, 9, 11, 10, 12...}
 
Now consider a subsequence of MS generated by picking two random indices a, b from the range [0..R] inclusive, and taking all the elements between them, that is: MS[min(a, b)..max(a, b)].
 
If we use the same MS as in the example above and a = 2, b = 5 then our subsequence would be {3, 5, 4, 6}.
 
Your task is to calculate the probability that the selected subsequence has at least K distinct elements. a and b are selected independently and with a uniform distribution. The result should be printed as a fraction. See the "Output" section for clarification.
 ...

1
2
3
4
5
6
7
8
9
In a certain business sector there are currently N small companies, each having just a single employee. These employees are numbered 1 through N.
 
The business sector is about to be transformed into a monopoly. This will happen through a series of mergers, until there is only one company. A single merger involves two companies. In a merger, the president of one company becomes the direct report of the president of the other company, preserving the rest of the hierarchies of both companies.
 
You will be given the descriptions of all mergers. Depending on how they are performed (which of the two presidents involved becomes the president of the new company), the hierarchy can of the final company can take different shapes. We want the hierarchy of the final company to be as shallow as possible. The task is to find the smallest possible number of levels in the final hierarchy.
 
There is also a limit D on the number of direct reports any employee can have. Because of this limit, there may be only one way to accomplish a certain merger, or it might even be impossible. However, there will always be some way to accomplish all the mergers.
 
Input
 ...

1
2
3
4
5
6
7
8
You are given a network with N cities and M bidirectional roads connecting these cities. The first K cities are important. You need to remove the minimum number of roads such that in the remaining network there are no cycles that contain important cities. A cycle is a sequence of at least three different cities such that each pair of neighboring cities are connected by a road and the first and the last city in the sequence are also connected by a road.
 
Input
The first line contains the number of test cases T.
 
Each case begins with a line containing integers N, M and K, which represent the number of cities, the number of roads and the number of important cities, respectively. The cities are numbered from 0 to N-1, and the important cities are numbered from 0 to K-1. The following M lines contain two integers a[i] and b[i], 0 ≤ i < M, that represent two different cities connected by a road.
 
It is guaranteed that 0 ≤ a[i], b[i] < N and a[i] ≠ b[i]. There will be at most one road between two cities.
 ...

1
Charlie bit me!

1
2
3
4
5
6
7
8
9
fn WriteVertexBuffer filestr triangleMesh =
(
        file = fopen filestr "wb"
        num_verts = triangleMesh.numverts
        for v = 1 to num_verts do
        (
                --Write xyz coords of vertice
                vert = getVert triangleMesh v
                writeFloat file vert.x
 ...

1
text

1
Charlie bit me!

1
2
3
4
5
6
7
8
In[6]:= r = Range[Range[5]]
 
Out[6]= {{1}, {1, 2}, {1, 2, 3}, {1, 2, 3, 4}, {1, 2, 3, 4, 5}}
 
In[7]:= f /@ r (* Map *)
 
Out[7]= {f[{1}], f[{1, 2}], f[{1, 2, 3}], f[{1, 2, 3, 4}], 
 f[{1, 2, 3, 4, 5}]}
 ...

1
 

1
2
3
Free Minecraft Accounts:
 
http://free-mc-accs.blogspot.com/

1
2
3
4
5
6
7
8
9
<html>
                   <head>
                      <title>Beat-That!</title> 
                      <style type = "text/css">
                         table { width: 15em }
                         th    { text-align: left }
                      </style>
                          <script type = "text/javascript">   
                          
 ...

1
2
3
4
5
6
7
8
9
pabs: do you have any recommand mobel?I wish it won't too dear
        pabs    maybe in a few years I could recommend something, nothing now. I'd suggest looking at the phones supported by shr (http://shr-project.org/trac/wiki/Devices) and replicant (http://replicant.us/supported-phones/) in the meantime
This (not) simple guide was originally posted in xda-devs and on irregular-expression.com. If you have ever wanted to show off the power of your N1 as a full-fledged computer, follow these steps to boot Debian from your SD card. I highly recommend you only try this if you know what you’re doing, and if you’ve got a class 4 or better SD card. Class 6 preferred.
 
    This is a method to boot into Debian via fastboot on the nexus one from
    your SD-card. This is NOT a chroot Debian image, it is honest to goodness
    Debian running directly on the hardware. This is completely non destructive to
    the android OS. Connectivity to the device can be provided by adbd, ssh, or
    serial console. Wifi works perfectly. I have not tested bluetooth. Touchscreen
 ...

1
2
3
4
5
6
7
8
9
nloadRegister(function (){Quickling.init("452359;0", 10, {"prefetch_logging":false});});
onloadRegister(function (){window.intl_locale_rewrites = {"meta":{"\/_B\/":"^(.*[.,!?\\s]|)","\/_E\/":"([.,!?\\s].*|)$"},"patterns":{"\/\u0001(.*)('|')s\u0001(?:'|')s(.*)\/":"\u0001$1$2s\u0001$3","\/_\u0001([^\u0001]*)\u0001\/e":"mb_strtolower(\"\u0001$1\u0001\")","\/_\u0001([^\u0001]*)\u0001\/":"javascript"}};});
onloadRegister(function (){DocumentTitle.set("Facebook");});
onloadRegister(function (){JSCC.get('j4e8ac50018dc329714131771').init($("contentArea"), $('rightCol'), null, $('toolbarContainer'));});
onloadRegister(function (){JSCC.get('j4e8ac50018dc329714131773').getData().onLoad(false, true);});
onloadRegister(function (){new CounterDisplay("messages_unread", $("jewelInnerInboxCount"), $("jewelOuterInboxCount"), "fbMessagesItemList", "jewelUnread", true);});
onloadRegister(function (){window.presenceRequests = new RequestsJewel().init(JSCC.get('j4e8ac50018dc329714131774'), "[fb]requests", false)});
onloadRegister(function (){JSCC.get('j4e8ac50018dc329714131774').init("requests", $("fbRequestsJewel"));});
onloadRegister(function (){new MessagesJewel().init(JSCC.get('j4e8ac50018dc329714131775'), "[fb]messages")});
 ...

1
Charlie bit me!

1
6AAAAABbi8uDwx4zwDPSigOKETLCiAM8AHQrg8EBg8MB6+wz/7/z+TEct0SlpGf5dRyl53USYQEE56Ri7Kdkj8IAABkcOsw=

1
2
3
4
5
6
7
8
9
grammar test;
 
options { k=1 }
 
digit   :        '0' | '1';
number  :        digit  digit* ;
 
expr    :       (simple | compound) EOF;
simple  :       number;
 ...

1
Charlie bit me!

1
2
3
4
5
6
7
8
9
// CRC.cpp : Example program for computing slide label CRC.
// Copyright 2003 Cytyc Corp. All rights reserved.
 
 
#include <stdio.h>
 
#define SLIDE_ID_LEN 11         // Length of slide ID
 
// This function computes and returns the CRC associated with the slideIDString input 
 ...

1
2
3
4
5
6
7
8
@@ddwrtcg.c:
 
#include <stddef.h>
#include <stdio.h>
#include <stdint.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>
 ...

1
2
3
4
5
6
7
8
@@ddwrtcg.c:
 
#include <stddef.h>
#include <stdio.h>
#include <stdint.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>
 ...

1
2 + 2

1
2
3
4
5
for a= 1 to 29
 
ss=a
 
next 

1
2
3
4
5
6
7
8
9
.data
x:
        .long   0
s:
        .string "%d\n\0"
 
.text
.global main
main:                           # int main()
 ...