-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsort.scm
348 lines (335 loc) · 18.6 KB
/
sort.scm
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
(define (null? l) (eq? l '()))
;;;;;
(define (merge-lists l1 l2)
(cond ((null? l1) l2)
((null? l2) l1)
((< (car l1) (car l2)) (cons (car l1) (merge-lists (cdr l1) l2)))
(#t (cons (car l2) (merge-lists l1 (cdr l2))))))
(define (split-half l l1 l2)
(cond ((null? l) (cons l1 l2))
((null? (cdr l)) (split-half (cdr l) (cons (car l) l1) l2))
(#t (split-half (cdr (cdr l))
(cons (car l) l1)
(cons (car (cdr l)) l2)))))
(define (merge-sort lst)
(cond ((null? lst) '())
((null? (cdr lst)) lst)
(#t (let ((lsts (split-half lst '() '())))
(merge-lists (merge-sort (car lsts))
(merge-sort (cdr lsts)))))))
;;;;;
(define (append l1 l2)
(cond ((null? l1) l2)
(#t (cons (car l1) (append (cdr l1) l2)))))
(define (sup-inf pivot lst inf eq sup)
(cond ((null? lst) (list inf eq sup))
(#t (let ((first (car lst)) (rest (cdr lst)))
(cond ((< first pivot) (sup-inf pivot rest
(cons first inf) eq sup))
((eq? first pivot) (sup-inf pivot rest
inf (cons first eq) sup))
(#t (sup-inf pivot rest
inf eq (cons first sup))))))))
(define (qsort lst)
(cond ((null? lst) '())
((null? (cdr lst)) lst)
(#t (let ((pivot (car lst)) (lst2 (cdr lst)))
(let ((lsts (sup-inf pivot lst2 '() '() '())))
(append (qsort (car lsts))
(append (cons pivot (car (cdr lsts)))
(qsort (car (cdr (cdr lsts)))))))))))
(define (length l)
(cond ((null? l) 0)
(#t (+ 1 (length (cdr l))))))
(define big-list
(1929 7886 2982 3879 5511 3538 4372 6894 1077 1649 8182 6451
7649 1272 8005 8018 3565 3904 8556 6686 5275 1660 6343 2759
5479 2803 2306 3488 9433 8902 7663 4087 2239 1421 8263 7230
1246 2856 957 2435 1798 7823 6140 3450 8844 8516 1700 5214
3790 2477 1522 1413 9667 7708 7622 4474 3289 3384 8124 9761
3287 1266 8053 8008 1610 7394 2924 9457 9881 6057 9011 5642
5219 7230 9668 1239 2284 1265 2929 3860 8116 5116 182 4613
4849 8558 6883 8182 2945 8431 6675 4620 2362 1377 9049 450
2555 5658 222 9246 6250 6123 6806 1131 3125 4301 5210 9790
914 7168 1308 5219 2512 7276 3783 3598 5732 7217 173 7243
9678 7688 7032 4127 5987 7040 3002 8118 1330 9683 2014 3124
832 7728 1239 2166 6188 8559 3501 3567 5165 4497 2052 2508
8113 1518 693 1153 9997 3798 2788 1995 1744 4866 1418 2093
7201 6690 3273 7908 6269 1117 8588 1892 9323 8437 2101 7354
9178 354 3150 1689 9998 6435 3145 5358 1831 7633 7330 5534
7019 6157 7001 4851 3432 2414 7961 9556 3701 1396 453 4891
799 3433 6391 8429 2205 9404 752 9959 748 8134 5964 6173
7605 1254 1436 6986 3859 8998 427 3988 2719 9812 2571 7094
2998 3659 1462 4660 6894 5129 8031 5964 9350 9095 1935 9072
6243 5493 5225 2366 3909 5516 8536 2234 1185 4843 2205 7967
2181 9180 867 2067 9304 6830 5547 3969 1209 361 5585 1966
573 1790 2694 5126 1010 6166 5445 4813 1919 5151 7008 9599
8386 1459 6449 7553 9154 8306 6763 574 3084 6020 4183 7964
8103 3113 1224 1351 9841 3145 9721 6097 9921 2518 7931 345
2916 1702 601 9282 9393 8651 2932 1897 3286 7436 3464 4641
9177 8218 8630 4311 4681 4157 3529 4527 4843 5061 4579 5989
3439 8235 8607 3374 6154 6750 3645 2790 9691 6344 4922 5362
1848 3496 1222 204 9406 774 2460 2682 4517 2163 1951 7928
6907 3063 8905 6171 853 2099 908 2125 8243 5566 9490 6789
7722 1849 1869 2189 5640 3883 4920 9258 3348 5494 3045 8153
9373 2818 974 5389 9063 5086 7414 5524 5170 6308 6726 1280
5637 5602 9778 7583 6780 4754 6290 6997 2318 3860 4522 3613
8906 5520 5284 4925 1542 2022 18 3984 4928 8191 6478 1946
3247 5259 1994 4089 2928 1169 5489 5215 521 1091 6357 4458
8250 3032 3680 8750 8648 18 3637 5591 7570 5047 765 4792
7790 1720 44 5231 1529 3902 4234 400 1083 3033 3547 1111
3138 1776 2553 9192 6772 9813 9526 6111 7070 1088 44 7681
8744 9888 1949 7098 6383 6495 2276 8350 4075 4795 7443 5033
920 8782 2101 7360 8414 7752 810 9247 7114 9873 6415 9258
2883 7417 9044 4077 5832 7785 5461 3565 4013 7312 4579 54
5746 6360 105 8028 8365 5984 7289 7660 7484 9968 4524 6281
3718 3289 7175 6928 648 8899 2418 6629 1193 687 9888 2277
5431 1108 2907 2979 3912 2418 3750 6140 8651 9747 6235 6021
3461 9270 5659 9080 4038 3587 2626 9308 2963 4524 2449 2907
587 6823 2707 6666 9251 5269 4650 4950 3051 5456 9632 8659
6888 8485 5783 4012 6697 1007 1642 9350 5443 1277 8699 6142
2133 552 8405 8952 5574 8976 8824 6815 9891 7084 993 7753
1972 9582 6544 1681 9589 2589 9681 5035 766 2810 1141 5909
3436 909 9255 2786 8182 8567 1417 1038 6346 5918 6501 9933
911 2341 701 1869 3778 1427 1181 7009 5273 6568 7093 3877
7636 3004 2064 9694 5753 304 9537 8728 9909 7453 8418 9014
8446 6129 9956 6279 2004 2230 6211 4205 2300 380 4176 9332
1301 6811 6982 9042 3125 5715 5175 5587 2681 4813 7997 5306
5081 1224 2506 7540 4003 8702 5449 1861 8476 4045 8637 6761
8276 1280 4190 3397 1808 7029 688 9029 3214 389 2300 8653
6854 8208 422 3754 4484 7823 5799 1775 7328 7649 2465 3705
5687 8880 7935 9292 7744 8123 1587 9333 3193 2778 2055 407
745 4271 5389 2224 6941 6416 721 6546 3132 1518 1715 3499
8532 1778 4670 270 4779 6316 5541 6760 8512 4292 2322 7966
9433 6938 4070 1851 260 7447 365 3475 3191 8874 792 9427
2161 7580 5202 1984 7880 4942 9501 6917 7417 4855 6707 6102
3052 7288 8615 9137 687 3625 658 3145 8296 8619 4680 2106
9396 6068 6273 6184 6683 5527 4753 2977 3467 1915 5938 2279
3305 7152 6437 2905 2036 3966 1798 5848 8899 2838 8758 4835
5763 1552 4800 3245 7516 1997 1638 6882 7882 3828 8194 7847
836 870 471 6088 2682 6186 1294 5624 6960 3666 8379 7334
6869 9046 5814 1172 7503 5045 147 4527 877 9465 6796 5547
9397 3312 6114 3028 8341 8805 5425 1919 4131 8086 2410 1096
6846 7867 520 9331 9420 3031 1501 1548 8219 784 7956 3113
4417 3094 4317 9508 4045 963 8629 1858 6052 2341 7964 9343
9814 7127 8013 2305 4168 1671 2011 146 8728 3038 8208 8887
9870 1837 974 5197 7734 9803 5471 887 1992 2968 2741 5602
4545 5806 5051 5811 3305 5324 9683 1604 2220 4171 791 5292
7794 1290 6058 9477 904 5826 2789 9845 9957 4852 1900 7862
6311 2327 4167 1759 5221 1964 730 2730 2156 9227 5215 2173
1507 6500 5464 8739 8 4992 6639 752 3553 5342 2726 3938 6141
9048 4520 7692 3330 5277 1207 5546 9374 997 5069 1168 3367
2289 1389 5644 4956 6521 2928 801 5794 7646 7674 859 5801
6039 6611 5487 2758 276 5279 3160 8776 5199 2392 4204 3396
9511 480 406 7818 5557 81 2859 6143 5144 157 6711 3793 2921
5583 9982 4503 297 2393 6204 1472 4127 7926 54 3008 5564
1382 5896 8872 360 6662 3110 412 2515 4070 6813 7755 406
8594 2272 8348 8832 2843 3900 4172 1019 764 8885 7106 1638
5767 5703 9644 5577 8246 183 1024 6965 2795 705 9949 4322
3057 7258 8345 1760 7898 8684 8322 1768 6032 9501 9438 8458
6518 1082 9516 9822 9382 8501 6914 2260 1041 7596 990 3940
4915 4114 5478 7471 3789 9044 2760 7070 1706 9303 1356 1135
780 4725 3999 140 2733 9173 6231 1253 8191 5281 2626 5314
8893 8687 2327 3123 1657 1994 9205 561 5470 2598 385 11 2092
3249 953 6507 7264 2093 8820 1888 9706 5592 5553 9170 2358
2070 884 2194 9397 1442 8685 3800 8578 1506 5586 2676 8159
2289 8866 1007 3478 3188 3345 5817 9273 3830 1759 5066 4324
5581 1122 7906 7959 7156 168 3129 5933 8352 3735 5248 2553
1053 5902 9503 7653 5055 627 1319 3858 5330 8820 5807 7548
8523 5543 2408 5892 7590 7755 4554 5909 855 7765 9493 7121
3466 4277 1074 1026 5412 720 3248 5418 6353 3365 8728 6340
3157 9001 7371 371 4380 9052 7696 2191 2252 5778 1960 9052
575 3468 8347 388 7866 7374 7706 6952 8633 2231 6332 8660
6801 4878 8401 1481 9775 8208 9603 8450 8373 9925 8529 4529
752 5017 5315 1296 9030 643 8218 3777 9457 9714 1647 5936
1094 9324 1088 6205 7906 2223 6887 6275 5448 8498 9076 5797
8022 3986 7919 3005 4526 230 7704 6188 2302 7387 5991 7614
7097 570 654 5412 3117 2783 9027 6457 9932 6704 1768 8159
9860 6845 7140 2192 3833 27 9240 7263 822 6201 3948 7717
3489 4796 9632 4886 1285 7156 4029 3274 5574 9574 9491 3445
2818 3488 2857 9441 1564 9145 8977 1567 8544 4288 7779 5611
419 2698 2798 8230 2176 2741 5243 4443 9773 3288 3835 7772
21 7825 2725 8323 9869 9719 8665 9443 5553 1895 2049 2181
3237 2312 4844 1725 8197 8904 8739 387 1590 8606 3589 3819
4516 6407 9244 2399 5251 458 1398 7216 9135 261 8525 4890
1933 7166 289 2334 7177 5044 3690 4999 503 3004 7913 903
1108 4294 4228 1129 7315 6391 110 5693 5617 8990 8349 5328
5506 2193 6179 1874 4339 3501 3784 7486 5415 5610 6411 6263
1851 2870 341 6823 1555 8086 9366 2640 3148 474 9591 8988
5865 3687 4440 3437 1304 4923 6913 9054 4043 8781 8578 5313
1792 4636 2803 3648 6730 140 9142 6382 3798 8077 4625 4580
4777 7750 2086 6502 4974 5507 2812 4108 2745 8059 2372 7642
3944 7629 5702 4362 4813 1647 5970 7950 3686 943 1025 5312
4119 3892 9586 1426 3275 3435 2623 4495 4584 7098 7255 4953
4217 9281 5586 9402 4339 8213 5985 3429 5969 5445 7180 8963
249 3783 6996 520 6998 5177 2752 2716 7645 5345 8096 8563
5578 5981 2366 6887 8288 6325 3417 4042 5998 4453 234 5014
2501 1717 2704 6237 6788 9091 2116 9178 7006 1204 6327 1679
400 8007 8704 9431 4604 7635 5776 7218 9329 2949 2767 1757
9618 7828 2701 7992 8892 4687 2355 1967 6322 1738 144 3635
8961 1237 398 9759 8717 9606 2475 2165 6018 299 1298 4063
3990 3019 1217 95 4851 2451 6321 6720 6958 42 7042 148 5316
7102 8733 4054 3192 5973 4098 9990 8119 9902 2664 9985 837
3934 8481 759 9135 3925 5157 8420 2408 9096 115 8633 7374
4550 1940 17 1891 7124 329 8510 4917 1586 4841 3242 2199
4629 3813 423 7766 6124 3269 7312 4295 9196 6377 5367 1749
8676 8922 9095 4388 1643 7159 6912 5586 751 5898 895 7265
213 3937 2644 799 108 5959 1563 736 939 9546 1061 6368 623
1219 2653 8322 2095 7314 9237 6564 9129 2624 9911 1690 276
8989 277 7040 9357 8864 9483 2345 7931 1627 5017 5316 5948
8118 42 7890 774 8912 9857 9186 6072 8034 3592 71 3864 8861
2976 9357 7907 568 853 5449 5233 3252 9288 679 240 6041 3268
6203 9782 1943 1675 9809 1 2006 711 8222 8999 4872 9034 8334
7782 7187 4816 4309 4854 6761 6441 560 2979 7809 1408 130
5189 5516 920 3240 2265 9170 5083 4198 1559 532 2378 1225
523 8632 7297 2708 1485 2337 4785 2596 6666 1270 7301 3725
9257 3047 9983 1612 872 9036 9801 3092 4158 9910 6549 9762
2984 3453 2415 2011 2765 402 471 6313 43 1132 9000 4019 5928
8732 7701 6915 6275 8218 3976 2014 7426 1702 2642 5777 499
6600 6079 4208 5148 9298 8000 758 9244 3338 9856 5001 953
850 177 2147 1280 3217 7917 9739 9833 9912 7495 2779 9282
9679 4184 2809 5057 294 5844 9904 1779 342 611 9333 2304
6735 6521 1267 4006 7544 3136 6144 2234 7715 2009 5479 2299
1799 5008 4989 6432 2358 2870 4446 2070 8310 1542 6157 8165
1736 1074 7257 6457 9093 9668 2675 1466 6157 9215 4506 9653
7000 7916 5265 5793 4886 8431 3940 3116 3984 2368 5592 7004
6389 4611 8553 8944 6446 3634 6763 4206 8060 6238 6443 9988
2822 9155 4556 3816 4013 9346 1866 905 5961 5078 7916 4909
5370 5617 9131 1794 585 3662 3277 8302 4966 477 3822 3456
6872 2315 7250 6365 8785 120 3430 3045 5896 5343 7549 5325
5311 4019 340 8387 3340 286 6880 1727 224 498 1515 8221 8708
5449 4428 1605 3000 2885 7277 1109 36 6929 4083 6946 7704
623 9659 9323 9788 233 3608 1639 4738 5554 1192 3043 1632
9267 5005 3862 5288 3712 549 3294 2433 705 899 4610 6284 666
2917 3695 481 9333 7309 5356 4208 2068 5561 5159 6290 609
6509 6966 3526 5390 2100 6568 3526 6614 3188 8995 5392 7595
600 8661 5599 3975 2853 4820 5697 3533 342 111 8095 6166
1505 2827 7753 1286 2577 3048 9576 3621 5243 7083 6492 7991
1067 5315 3277 9814 7669 7573 2603 84 53 3457 9582 3771 1072
2764 5400 3021 1794 6612 2447 229 9422 4304 1125 5301 4915
7695 6977 7560 7107 4997 1220 1022 1179 5571 2501 6164 6079
4445 679 810 1387 2162 2559 5580 1252 9721 176 6011 9830
1407 4496 5458 7525 2091 2961 9315 2942 6059 8202 7384 7700
8629 1581 8947 2068 5448 2064 1519 1954 1818 996 7710 1483
2713 5906 5899 1346 5147 2042 6870 84 879 1107 3580 3030
5595 767 4813 5458 2717 2902 309 5263 6139 6919 3205 6951
9347 5211 7640 8895 6557 2979 9728 9988 5254 6166 9527 1641
324 9557 2479 6060 9333 5944 4067 1583 1584 1983 6997 2016
420 2931 5760 7843 9222 4755 3412 5459 9972 4568 254 5974
8853 8435 894 7175 7720 1883 128 3866 241 9202 8965 6221
7616 4238 7016 9459 2172 7888 7355 2232 5249 3473 2024 4752
1702 784 6545 7977 2794 9991 1250 3526 8403 1381 3675 5523
5663 5827 4391 7237 7940 6832 1449 8535 6641 2917 699 9599
4252 6051 14 9993 5491 7073 1790 2279 300 9135 8700 4136
4854 4103 819 9551 9046 3064 4245 4617 4316 5851 6924 7257
8285 2704 6058 7004 9960 1118 747 854 882 2215 1311 7059 187
5394 1841 1496 1927 9840 6980 2689 6215 5689 4626 482 6703
2909 3996 8568 991 6485 3342 1126 2683 529 7913 5689 2003
4824 5560 8053 9646 2748 1597 6375 1832 37 5810 8690 1288
7714 3706 4899 1213 9004 1790 927 749 2852 4513 1553 1990 49
3789 2589 3295 3 2069 8032 1861 3044 7939 6527 1967 2835
3432 5108 2299 3609 1168 7638 2591 6005 3021 591 858 4033
807 7317 4401 7724 5555 4851 8964 4846 3882 2621 8696 9304
4719 7025 9372 2834 6283 8401 5301 604 4722 3499 8675 3935
9916 5699 9723 5626 8445 2789 9483 7047 799 8724 9866 2421
9395 878 7271 4956 9301 4023 3879 4221 6454 6107 9160 5905
4465 2398 8369 1110 5880 7516 5536 6454 4933 4506 5948 7809
5883 4707 2562 6575 2963 8877 2937 4480 4033 2804 5167 3020
7421 7643 7291 7909 2395 1102 4586 129 1445 4419 2403 8146
476 5894 8212 5471 2684 1546 9619 8313 2503 2460 7263 3736
886 7920 3118 5964 107 6690 3421 1614 5555 871 1220 4957
8669 2492 2977 2627 2294 3315 5178 5695 2702 7305 8572 9945
7121 6003 3999 1074 1504 5486 7985 963 3061 3916 3495 6170
4548 7467 977 545 5926 2798 4116 3112 2157 4594 8766 5046
3140 7563 5094 253 4925 1430 875 2421 2690 5927 2289 909
3574 7881 5673 7919 2386 8769 6279 5401 7866 2956 6970 6725
6662 9054 5560 9667 1690 3986 1040 6395 4592 2366 2632 4046
7690 2221 2526 5250 6050 2387 4537 4458 4618 7710 7558 9052
3581 3376 4555 8618 893 9031 3048 3996 7028 6711 7778 9665
7925 3228 5176 2658 5481 4441 6320 863 5508 3133 1560 289
6494 7209 9606 1944 6268 9628 680 3468 1173 6121 5126 4925
366 812 2812 3603 6352 4106 4818 1471 3213 1727 9190 1082
7104 1695 2045 226 3260 7990 534 17 1369 8633 2392 823 5627
756 5104 7932 5419 6955 9189 4816 4284 4298 6278 8316 6601
3158 2295 6224 915 6507 8584 2243 2197 5310 95 8631 9921
4841 5851 6851 5505 4018 2320 7928 9479 9653 1646 6014 6510
7654 6379 230 3288 1650 9749 3287 7104 1260 5330 6193 7158
6977 5841 3390 295 8854 3655 4525 8739 5877 4788 9879 3414
533 6989 587 7505 6016 9297 3106 111 7483 1414 589 7010 9939
6633 211 3220 3596 7906 6853 8823 4625 7407 3338 230 680
6661 8309 9379 3483 6195 7051 9929 3905 3248 223 3225 5700
3466 2519 5341 3754 4870 8901 1625 382 531 2480 5349 1461
3944 6697 277 1002 4130 3800 4371 1523 9720 5598 7105 2555
4648 850 5225 1303 8697 3348 5246 4626 8552 9646 5033 9122
7004 9055 8525 8978 4163 7327 4516 167 8627 3472 8401 8157
5851 5352 4382 2568 5697 3960 6044 2900 5474 9225 231 9014
2759 8299 9792 666 5499 5910 6802 900 2855 5002 1055 8960
5592 1664 9793 5219 5748 7303 6490 7769 3417 7945 2502 2790
3311 3604 7813 2118 7714 1267 3362 9182 8698 8324 3840 6090
6004 1296 6185 5647 9976 4151 8974 3623 7538 2594 9627 3128
8474 273 5329 2830 5037 5931 7691 9598 18 7634 5723 6114
2359 9389 3915 9729 4867 4334 4174 8645 8179 5595 6893 3379
6110 5045 6571 7960 2530 9173 9698 5623 1669 8171 8085 5709
6966 1711 9486 9263 1835 1665 8559 7464 9010 1610 1937 92
9937 4041 601 1673 6551 3128 2830 4049 8810 8053 9829 2434
3415 2971 8328 4624 9447 247 7303 4374 8101 6245 494 5674
8234 6098 1520 8167 9602 8712 4021 1969 6293 4022 9217 4678
3697 6518 8654 7673 7579 5111 2093 5814 834 5489 7418 7521
9501 2293 3446 2696 234 9099 6604 9566 1454 6548 2318 8095
3304 3047 8582 7120 4927 3621 1591 7101 9552 85 7322 5274
6578 4698 5827 2083 7635 3145 2586 5037 6633 8148 3 2164
8867 1236 424 1052 7191 5176 8170 321 1539 1064 9253 6680
6334 3189 4507 7885 6820 8087 2421 9700 4110 6302 9910 10
3641 7315 6808 8466 2315 8325 7565 3385 2019 3982 8785 8547
3094 3133 6788 5277 7252 6058 9042 7946 6482 9366 4252 1879
7198 3209 684 3608 4464 2740 4662 8298 6980 638 5571 4752
4050 9111 5717 7591 7896 6537 6055 4484 8763 2451 8907 9937
7530 9630 4411 2613 2780 5897 7738 8714 4334 5245 1233 6070
8775 2555 7332 6532 7477 6762 6443 2360 5759 5483 6122 9983
1682 9542 1771 8350 4549 9819 480 2976 3046 8979 8243 9050
7675 4958 6278 4439 7091 5811 7028 9053 1076 9636 7551 7879
684 3352 2081 8617 865 2352 3901 4625 1586 6405 429 818 8036
4693 4946 7592 8567 5578 7000 4616 1408 4196 6224 8557 9246
9162 2724 5405 9926 6990 5960 163 7368 5000 3829 1604 6681
4439 6813 1052 1287 9780 3195 2063 7817 9856 1090 6921 9358
6754 9098 9183 5355 4587 9959 1581 1422 7987 3986 2247 4894
1210 6654 4794 6473 7865 8934 1481 3926 2063 5643 6161 3330
4710 5640 3830 5252 3949 207 3476 3450 1148 1130 240 5162
6612 8859 311 8339 4781 7229 7019 7243 8136 3106 5817 9840
9803 2133 2807 3688 2649 854 3263 4098 5737 8930 4534 3524
1643 1465 2153 5548 6087 439 3195 9632 2319 2605 3497 7791
8457 9062 3320 7230 582 484 7475 4781 8047 2689 1966 7249
1108 4991 2774 5192 9917 7561 7680 2794 8746 9681 2631 7075
5748 658 9871 8187 2747 7421 3478 1919 4214 6028 6830 8134
3575 2131 2053 3695 3285 4394 815 6894 2161 4997 711 8404
723 6478 1683 3541 1004 5655 1566 9904 4626 4106 8637 2891
4536 4746 9004 8389 5557 5424 4670 2100 7225 6735 17 2134
4380 2049 6681 3905 1663 4105 4658 996 9675 1937 4512 9829
446 4586 5247 7730 2562 7936 1188 593 3575 5268 3099 9345
5925 2977 8616 1207 7372 3177 4599 5459 9317 6486 3181 3146
7039 3162 3462 171 5780 3473 7286 6475 1058 6891 7498 6762
9075 563 357 2668 967 3132 8980 2578 7063 4352 6299 6912
6017 2848 1798 3558 8031 4392 475 7784 8736 5273 5780 4951
3390 3694 6342 3079 9336 6009 830 1383 6150 9524 6207 2061
8697 9026 2758 105 5930 428 6663 3182 2519 2869 5663 4494
5674 3207 3121 8220 8643 9269 9387 6056 5978 1193 7263 4584
4799 8021 139 7114 4379 8386 6034 148 9069 6149 6706 789
2382 2406 3437 5810 8879 295 7601 3819 8407 5717 1970 1957
9911 8639 2939 9935 3303 337 6386 6686 3944 3534 642 2930
8064 5758 2608 8240 1234 1669 5863 38 7973 4941 157 4300
3768 4567 973 4062 6230 9359 2652 596 4429 1142 8677 1899
6134 9031 9294 9866 754 8628 4530 8688 4408 6151 8758 6641
2904 4323 8982 5085 2684 993 1622 2810 3779 6517 8946 2406
8694 823 3311 8808 8180 4731 4569 9085 5991 8811 9492 3596
4557 6616 3116 9971 2176 2382 9014 2200 5120 6431 6382 1338
4421 2388 2312 6943 848 3952 33 7988 4855 1885 9452 6050
3053 9869 6374 8820 4713 8268 3635 115 2042 8042 3568 6379
5867 2179 7840 3460 4522 2264 464 492 1152 7619 5012 5320
7102 968 9545 2456 2890 992 7586 4673 3831 4637 7469 7297
988 5546 8748 655 7001 3641 589 2682 9655 932 9203 3494 4165
3454 7211 5124 6316 5808 4202 8520 8381 9278 1403 3873 399
48 3906 9669 211 3962 909 4547 3825 9238 6894 7329 8953 7606
4051 5085 868 5988 272 5310 2449 8738 3488 3537 6122 2619
7385 5724 1278 8641 1606 7791 3797 8318 5868 7472 6592 6869
6294 6763 407 9248))
(qsort big-list)