Standings ICFP Programming Contest 2019 June 24, 2019

Rank Handle Score
Unspent
Lam
Lightning
Rank
Lightning
Rank
Delta
Lightning
Score
Lightning
Score
Delta
1 3878674 3880465 2 1 3705672 173002
2 3377492 3383347 7 5 3099969 277523
3 3144576 3144849 3 0 3673291 528715
4 3024005 3024715 8 4 3080253 56248
5 2994524 2994666 28 23 2497146 497378
6 2970136 2971468 1 5 3944361 974225
7 2942490 2943578 4 3 3587653 645163
8 2764962 2765413 25 17 2589971 174991
9 2690443 2690584 16 7 2767909 77466
10 2605416 2605535 9 1 2902335 296919
11 2573260 2574414 26 15 2571456 1804
12 2469946 2470996 147 135 0 2469946
13 2459365 2462039 6 7 3110544 651179
14 1915342 2422887 5 9 3556681 1641339
15 2357002 2360402 40 25 2361609 4607
16 2334891 2335100 32 16 2436090 101199
17 2319876 2322233 34 17 2399793 79917
18 2300430 2319705 21 3 2656151 355721
19 1885547 2232582 39 20 2369270 483723
20 2218166 2223636 30 10 2456644 238478
21 2159898 2161733 15 6 2774118 614220
22 2138429 2152304 36 14 2389586 251157
23 1827367 2146124 35 12 2395871 568504
24 2123639 2124146 66 42 1838182 285457
25 2096000 2096224 23 2 2618044 522044
26 2016604 2016604 173 147 0 2016604
27 1983697 1983723 41 14 2356543 372846
28 1932912 1935197 44 16 2325661 392749
29 1921801 1921828 50 21 2235416 313615
30 1903800 1905434 61 31 1919658 15858
31 1884278 1888737 20 11 2669265 784987
32 1764222 1764854 38 6 2384326 620104
33 1749207 1749207 52 19 2090350 341143
34 1728574 1728574 10 24 2854636 1126062
35 1716988 1716988 11 24 2847736 1130748
36 1657525 1678224 12 24 2845302 1187777
37 1659593 1659593 24 13 2594587 934994
38 1604320 1645397 56 18 2061593 457273
39 1636463 1636463 49 10 2246422 609959
40 1521433 1595503 48 8 2258289 736856
41 1241956 1569863 42 1 2344063 1102107
42 1493230 1535176 80 38 1009886 483344
43 1409885 1469934 57 14 2049692 639807
44 1444819 1464063 84 40 851101 593718
45 1414504 1432067 77 32 1216586 197918
46 1430423 1430423 88 42 579774 850649
47 1379270 1379270 148 101 0 1379270
48 1369650 1369650 53 5 2090126 720476
49 1364821 1364821 64 15 1860597 495776
50 1351621 1351621 76 26 1258873 92748
51 1348318 1348318 13 38 2807372 1459054
52 1331348 1331348 94 42 37675 1293673
53 1330470 1330470 87 34 830576 499894
54 1307898 1307898 70 16 1599325 291427
55 1297015 1297015 59 4 1985282 688267
56 1268742 1294454 19 37 2697265 1428523
57 1281265 1281265 79 22 1041714 239551
58 1248167 1278272 17 41 2766647 1518480
59 1277599 1277599 67 8 1801577 523978
60 1274370 1274370 93 33 41343 1233027
61 1267531 1267531 63 2 1888614 621083
62 1261488 1261488 186 124 0 1261488
63 1252078 1252078 14 49 2791427 1539349
64 1172989 1250345 65 1 1856924 683935
65 1232888 1232888 45 20 2291896 1059008
66 1217473 1217473 18 48 2720387 1502914
67 1183930 1183930 22 45 2646103 1462173
68 1181693 1181693 113 45 0 1181693
69 1177263 1177263 43 26 2332426 1155163
70 1173540 1173540 165 95 0 1173540
71 1168382 1168382 73 2 1451720 283338
72 1159544 1159544 115 43 0 1159544
73 1148358 1148358 37 36 2387844 1239486
74 1141579 1141579 167 93 0 1141579
75 1139750 1139750 27 48 2547111 1407361
76 1132869 1132869 104 28 2948 1129921
77 1127053 1127053 72 5 1502984 375931
78 1123368 1123368 31 47 2443718 1320350
79 1095956 1095956 29 50 2472119 1376163
80 1094306 1094306 171 91 0 1094306
81 1061554 1090948 47 34 2281229 1219675
82 1077229 1084812 60 22 1927913 850684
83 1071357 1071357 184 101 0 1071357
84 1068133 1068133 95 11 12479 1055654
85 1057146 1057146 109 24 0 1057146
86 1055625 1055625 33 53 2418834 1363209
87 1054632 1054632 141 54 0 1054632
88 1048352 1048352 96 8 4585 1043767
89 1047428 1047428 68 21 1775329 727901
90 1035631 1035631 46 44 2281567 1245936
91 1028933 1034709 82 9 946966 81967
92 1021567 1021567 98 6 4585 1016982
93 1012083 1012083 136 43 0 1012083
94 1001637 1001637 92 2 61975 939662
95 979537 995608 51 44 2124116 1144579
96 995231 995231 138 42 0 995231
97 981845 981845 164 67 0 981845
98 980727 980727 55 43 2070667 1089940
99 978303 978303 110 11 0 978303
100 967691 967691 71 29 1531628 563937
101 965585 965585 91 10 63754 901831
102 938766 938766 54 48 2089806 1151040
103 886011 933907 75 28 1438892 552881
104 900697 900697 58 46 2010022 1109325
105 895702 895702 152 47 0 895702
106 794322 794322 69 37 1770712 976390
107 791083 791083 62 45 1889521 1098438
108 783016 783016 134 26 0 783016
109 778494 778494 120 11 0 778494
110 698045 698045 107 3 0 698045
111 678154 678154 139 28 0 678154
112 669335 669335 144 32 0 669335
113 662538 662538 103 10 3175 659363
114 654856 654856 175 61 0 654856
115 651822 651822 74 41 1449599 797777
116 650727 650727 142 26 0 650727
117 614613 614613 143 26 0 614613
118 560032 560032 99 19 4585 555447
119 552960 552960 133 14 0 552960
120 503174 503174 78 42 1105005 601831
121 488845 488845 105 16 2428 486417
122 487240 487240 190 68 0 487240
123 465034 465034 174 51 0 465034
124 432434 432434 106 18 2064 430370
125 419558 419558 81 44 992640 573082
126 405115 405115 85 41 846159 441044
127 379966 379966 185 58 0 379966
128 379816 379816 83 45 871274 491458
129 362468 362468 86 43 830576 468108
130 319291 319291 89 41 174269 145022
131 246004 246004 118 13 0 246004
132 233488 233488 111 21 0 233488
133 176184 176184 178 45 0 176184
134 170042 170042 183 49 0 170042
135 131317 131317 194 59 0 131317
136 75183 75183 135 1 0 75183
137 72106 72106 131 6 0 72106
138 41458 41458 90 48 73075 31617
139 9566 9566 160 21 0 9566
140 4733 4733 145 5 0 4733
141 3567 3567 130 11 0 3567
142 3567 3567 97 45 4585 1018
143 3210 3210 100 43 4127 917
144 2469 2469 101 43 3175 706
145 2469 2469 102 43 3175 706
146 0 0 121 25 0 0
147 0 0 177 30 0 0
148 0 0 176 28 0 0
149 0 0 151 2 0 0
150 0 0 132 18 0 0
151 0 0 149 2 0 0
152 0 0 125 27 0 0
153 0 0 126 27 0 0
154 0 0 124 30 0 0
155 0 0 123 32 0 0
156 0 0 122 34 0 0
157 0 0 137 20 0 0
158 0 0 117 41 0 0
159 0 0 119 40 0 0
160 0 0 116 44 0 0
161 0 0 114 47 0 0
162 0 0 112 50 0 0
163 0 0 108 55 0 0
164 0 0 127 37 0 0
165 0 0 129 36 0 0
166 0 0 140 26 0 0
167 0 0 146 21 0 0
168 0 0 180 12 0 0
169 0 0 179 10 0 0
170 0 0 154 16 0 0
171 0 0 181 10 0 0
172 0 0 182 10 0 0
173 0 0 170 3 0 0
174 0 0 169 5 0 0
175 0 0 168 7 0 0
176 0 0 150 26 0 0
177 0 0 166 11 0 0
178 0 0 163 15 0 0
179 0 0 162 17 0 0
180 0 0 161 19 0 0
181 0 0 159 22 0 0
182 0 0 158 24 0 0
183 0 0 157 26 0 0
184 0 0 156 28 0 0
185 0 0 155 30 0 0
186 0 0 153 33 0 0
187 0 0 172 15 0 0
188 0 0 193 5 0 0
189 0 0 192 3 0 0
190 0 0 191 1 0 0
191 0 0 189 2 0 0
192 0 0 188 4 0 0
193 0 0 187 6 0 0
194 0 0 128 66 0 0