Sum of Divisors for OCaml Golf Competition

Submit

Your name:
File:
Open code-statistics:

Language is selected by the extension of the file. See the list of supported languages to know the extension of your language.

Problem

*** IMPORTANT **
This problem is for the OCaml Golf Competition in OCaml Meeting Tokyo 2009 (<a href="http://ocaml.jp/?Users%20Meeting">http://ocaml.jp/?Users%20Meeting</a>).
The problem description (in Japanese/English) follows the information for attendees of the meeting (in Japanese).

If you are going to attend the meeting,
please use the suffix '(rakuda)' for your name to get the award of the competition.

*** 重要 ***
この問題は，平成廿一年東都大駱駝会 (OCaml Meeting Tokyo 2009: <a href="http://ocaml.jp/?Users%20Meeting">http://ocaml.jp/?Users%20Meeting</a>) の OCaml Golf コンペ用に用意されたものです．
日本時間で 2009年8月27日14:30 から 30日16:20 までの間に最も短いOCamlのコードを受理された方が優勝となります．
ただし，平成廿一年東都大駱駝会に出席していることが受賞の条件になります．
出席予定の方は，必ず名前の末尾に「(rakuda)」を付けて投稿してください．
[注意事項]
* <span style="color: red;">当初は他のプログラム実行が許可されていましたが、現在は許可しないように変更した上、他のプログラムを呼び出していたコードは全て削除させていただきました。もし他のプログラムを呼び出しているコードを見落として削除できていなかった場合、そのコードは失格になるおそれがあります。別名で submit するなり、適当に回避していただければ、と思います。</span>
* OCaml以外で投稿しても受賞対象になりません．
* サーバの OCaml のバージョンは 3.09.2 です．
* 当日の会場ではWiFiが使えるかもしれませんが，つながらない場合はスタッフに相談してください．
* サーバに負担をかけないために，入出力を保存してローカルでテストしてから投稿することをお勧めします．
* ユーザ認証はないので，各々かぶらない名前で投稿してください．
* 同じ名前で複数回投稿するとコードが短い方の記録が残ります．
* 必ずしも問題の仕様を満たしている必要はありません．
Sample input にある入力を受け取って Sample output にある出力を返す限り，コードは受理されます．
* 出力の最後の空白や改行は無視して比較されます．
* 正しい出力を返す限り，エラーで終了するようなコードでも構いません．
* サーバでの実行時間が1秒を越えるコードはタイムアウトとなって受理されません．
* 受理された方の名前はバイト数とともにすぐに公開されます．
* 入出力共に改行コードは「LF(\n)」のみなのでご注意ください．
* 当日「OCaml Golfの話」という講演がありますので参考にしてください
(講演中のゴルフはできるだけ避けて，休み時間を利用して投稿しましょう)．

===== 問題 (Problem) =====
標準入力の各行に与えられる自然数に対し，その約数の和を計算して，
標準出力に「元の自然数: その約数の和」という形式で出力せよ．
For given numbers in the input, compute the sum of its divisors for each.
The output should have the form 'given number: sum of its divisors'.
============================

== 入力例 (Sample input) ==
3
8
6
============================

== 出力例 (Sample output) ==
3: 4
8: 15
6: 12
============================

Options

exec is denied

now post-mortem time, all source codes will be revealed

Sample input:_

571
798
340
741
739
629
870
599
293
998
346
519
523
145
994
990
171
861
545
557
278
814
733
627
776
966
541
750
407
567
506
564
957
380
259
513
751
970
124
547
103
512
806
648
983
760
666
451
244
841

Sample output:

571: 572
798: 1920
340: 756
741: 1120
739: 740
629: 684
870: 2160
599: 600
293: 294
998: 1500
346: 522
519: 696
523: 524
145: 180
994: 1728
990: 2808
171: 260
861: 1344
545: 660
557: 558
278: 420
814: 1368
733: 734
627: 960
776: 1470
966: 2304
541: 542
750: 1872
407: 456
567: 968
506: 864
564: 1344
957: 1440
380: 840
259: 304
513: 800
751: 752
970: 1764
124: 224
547: 548
103: 104
512: 1023
806: 1344
648: 1815
983: 984
760: 1800
666: 1482
451: 504
244: 434
841: 871

Sample input:_

2481
4698
5258
1389
6149
7332
6187
9987
2243
9547
6022
9962
2739
2416
3052
4026
1505
3203
1944
8983
1345
4450
4414
3124
1471
4274
5955
2038
5233
7511
4306
3342
8722
7509
7755
8207
9921
8460
7087
8910
7521
4206
1854
9955
1311
7623
2729
3119
4949
8897

Sample output:

2481: 3312
4698: 10890
5258: 8640
1389: 1856
6149: 7392
7332: 18816
6187: 6480
9987: 13320
2243: 2244
9547: 9548
6022: 9036
9962: 15876
2739: 4032
2416: 4712
3052: 6160
4026: 8928
1505: 2112
3203: 3204
1944: 5460
8983: 9688
1345: 1620
4450: 8370
4414: 6624
3124: 6048
1471: 1472
4274: 6414
5955: 9552
2038: 3060
5233: 5234
7511: 9120
4306: 6462
3342: 6696
8722: 15390
7509: 10016
7755: 13824
8207: 8520
9921: 13232
8460: 26208
7087: 7480
8910: 26136
7521: 10560
4206: 8424
1854: 4056
9955: 13104
1311: 1920
7623: 13832
2729: 2730
3119: 3120
4949: 5814
8897: 10752

Sample input:_

43772
69614
95223
72767
91526
83047
42228
61060
21836
34197
87260
72532
54799
55429
31490
51073
28126
88784
32711
33421
46659
54230
57544
40749
41942
48357
99875
44431
18755
48138
54411
27712
39498
15025
23948
33825
97192
64043
80949
92412
98834
96097
98509
36093
94407
39799
67270
50463
70562
80176

Sample output:

43772: 79296
69614: 104424
95223: 126968
72767: 72768
91526: 137292
83047: 83048
42228: 120960
61060: 133056
21836: 39312
34197: 45600
87260: 183288
72532: 126938
54799: 54800
55429: 60480
31490: 58752
51073: 55728
28126: 50400
88784: 178560
32711: 37392
33421: 35200
46659: 63232
54230: 116640
57544: 107910
40749: 58944
41942: 64056
48357: 72800
99875: 134784
44431: 44872
18755: 25536
48138: 98496
54411: 82944
27712: 55118
39498: 82080
15025: 18662
23948: 41916
33825: 62496
97192: 182250
64043: 74556
80949: 119168
92412: 248976
98834: 148254
96097: 96098
98509: 102816
36093: 49248
94407: 125880
39799: 39800
67270: 142992
50463: 87120
70562: 105846
80176: 155372

Ranking

Ruby _

RankUserSizeTimeDateStatistics
1leonid780.12532009/08/27 23:52:220B / 34B / 38B

Perl _

RankUserSizeTimeDateStatistics
1dcutter530.91412009/08/28 20:23:570B / 16B / 34B
2Sisyphus491.05462021/06/24 11:31:230B / 12B / 34B
3teebee( dcutter)510.70062011/10/18 01:57:290B / 15B / 31B

Python _

RankUserSizeTimeDateStatistics
1hallvabo711.26462009/08/27 19:43:270B / 44B / 21B
2hideaki_t861.08742009/08/30 01:08:161B / 49B / 27B
3Dingledooper660.52942020/12/18 04:54:560B / 40B / 22B
4hallvabo660.63002022/11/20 19:30:300B / 40B / 22B
5tobiesque691.08822010/02/10 04:04:010B / ?B / ?B

Common LISP _

RankUserSizeTimeDateStatistics
1kozima1250.61362009/08/29 00:22:200B / 67B / 39B
2kozima1091.25812009/09/01 21:33:470B / 63B / 32B
3youz1140.67742009/08/31 11:33:330B / ?B / ?B

Arc _

RankUserSizeTimeDateStatistics
1murky-satyr883.48332009/11/29 06:14:350B / 37B / 41B

Io _

RankUserSizeTimeDateStatistics
1pooq1231.57762009/08/28 17:34:510B / 77B / 42B

JavaScript _

RankUserSizeTimeDateStatistics
1nn740.19002009/08/28 00:47:450B / 39B / 35B
2murky-satyr740.02812009/11/29 05:48:040B / 30B / 44B

Lua _

RankUserSizeTimeDateStatistics
1murky-satyr870.77312009/08/27 22:06:510B / 51B / 24B

PARI/GP _

RankUserSizeTimeDateStatistics
1teebee350.04872012/05/09 07:44:180B / 23B / 11B

Forth _

RankUserSizeTimeDateStatistics
151b1240.40122009/08/29 20:57:450B / 78B / 13B

BASIC _

RankUserSizeTimeDateStatistics
1*yuko*790.26072009/08/28 11:41:060B / 44B / 33B
2pooq850.16172009/08/28 14:33:180B / 46B / 32B
3*yuko*651.20792011/10/18 02:10:340B / 38B / 23B

Erlang _

RankUserSizeTimeDateStatistics
151b1642.14802009/08/29 10:14:380B / 75B / 80B

J _

RankUserSizeTimeDateStatistics
1pooq500.22172009/08/28 20:11:330B / 12B / 35B
2I., S.430.15212011/10/22 16:45:150B / 12B / 30B

K _

RankUserSizeTimeDateStatistics
1teebee310.78692012/07/02 08:32:540B / 7B / 23B

C _

RankUserSizeTimeDateStatistics
1hallvabo830.11322009/08/28 16:28:450B / 40B / 42B
2hikaru830.21782009/08/28 17:12:040B / 40B / 42B
3kurimura830.15052009/08/29 00:08:300B / 40B / 42B
451b830.17202009/08/29 08:12:330B / 40B / 42B
5chocobi870.12632009/08/28 01:52:190B / 42B / 44B
6tails760.05182022/11/21 16:21:250B / 38B / 37B
7inaniwa830.12802009/10/25 19:34:380B / ?B / ?B
8shinh860.13752009/08/30 16:27:110B / 41B / 44B

D _

RankUserSizeTimeDateStatistics
151b1050.14812009/08/29 08:29:300B / 59B / 42B

OCaml _

RankUserSizeTimeDateStatistics
1m.ukai(rakuda)951.09872009/08/28 14:59:330B / 49B / 43B
2letter (rakuda)951.08422009/08/29 22:50:000B / 49B / 43B
3kinaba (rakuda)951.08612009/08/30 16:11:010B / 49B / 43B
4m.ukai961.17952009/08/28 16:31:580B / 49B / 43B
5yt (rakuda)961.04292009/08/30 11:18:090B / 49B / 43B
6ksk960.93022009/08/30 16:09:340B / 49B / 43B
7notogawa971.13932009/08/29 10:36:100B / 49B / 45B
8letter971.16842009/08/29 20:31:240B / 50B / 44B
9mame (rakuda)971.07222009/08/30 01:29:500B / 49B / 45B
10mame971.12692009/08/30 01:30:210B / ?B / ?B
11tanakh (rakuda)971.11072009/08/30 15:23:460B / 49B / 45B
12mayah (rakuda)970.97472009/08/30 15:37:110B / 49B / 45B
13chun(rakuda)971.01842009/08/30 15:38:330B / 49B / 45B
14mayah1001.05422009/08/30 14:26:320B / 49B / 46B
15kozima1091.20792009/08/28 00:26:100B / 68B / 29B
16ucq(rakuda)1090.88412009/08/28 04:29:590B / 68B / 29B
17xsd(rakuda)1091.09232009/08/28 12:56:370B / 66B / 33B
18mzp(rakuda)1090.88792009/08/28 13:36:070B / 61B / 38B
19shimomura(rakuda)1090.88062009/08/28 14:01:080B / ?B / ?B
20takashima (rakuda)1091.04692009/08/28 14:46:380B / 68B / 29B
21tanakh1100.96032009/08/27 23:52:211B / 68B / 29B
22 takashima (rakuda)1101.05492009/08/28 14:32:420B / 68B / 31B
23yoshihiro.oyama (rakuda)1100.80972009/08/30 11:38:541B / ?B / ?B
24_1111.11742009/08/28 12:53:360B / 69B / 30B
25hat1111.30862009/08/29 22:56:360B / ?B / ?B
26alan1111.09452009/08/30 09:06:240B / 63B / 37B
27shinh1121.05982009/08/28 15:01:370B / 63B / 38B
28clairvy(rakuda)1120.99922009/08/30 13:21:530B / ?B / ?B
29takashima1130.96742009/08/28 12:59:170B / 74B / 23B
30Yak! (rakuda)1140.84182009/08/30 13:44:390B / ?B / ?B
31yt1151.06062009/08/27 21:55:170B / 76B / 25B
32kik1151.24172009/08/29 23:31:580B / 76B / 27B
33hat (rakuda)1191.17372009/08/28 21:03:310B / ?B / ?B
34Kurata1221.30042009/08/28 03:33:210B / ?B / ?B
35lisa1221.02202009/08/30 11:42:060B / 77B / 32B
36xsd1290.85982009/08/28 00:43:320B / 83B / 32B
37Yak!1291.05432009/08/30 00:56:060B / ?B / ?B
38hideaki_t(rakuda)1291.20892009/08/30 14:21:041B / 83B / 29B
39hideaki_t1341.20892009/08/30 13:57:231B / 87B / 27B
40chocobi1350.16422009/08/28 21:11:270B / 80B / 39B
41yoshihiro503(rakuda)1351.22832009/08/30 15:44:130B / ?B / ?B
42moe1390.99752009/08/28 12:38:520B / ?B / ?B
43par1420.86312009/08/27 14:46:350B / 93B / 20B
44mzp1430.86922009/08/27 20:43:560B / ?B / ?B
45suma(rakuda)1451.20612009/08/27 22:00:270B / 94B / 23B
46tzo1811.23192009/08/28 17:58:543B / 105B / 46B
47jakahira1970.45942009/08/30 08:47:220B / ?B / ?B
48jakahira(rakuda)1970.43182009/08/30 08:48:240B / ?B / ?B
49adukar2440.87972009/08/30 08:37:580B / 85B / 143B
50chaos_sonoden(rakuda)2931.25032009/08/28 17:54:010B / ?B / ?B
51camlspotter3340.84532009/08/27 14:47:580B / ?B / ?B
52clairvy3830.99962009/08/28 09:22:140B / ?B / ?B
53damespotter24520.10062009/08/28 14:06:370B / ?B / ?B
54ksk900.64882009/11/21 13:28:340B / 47B / 39B
55Kurata961.09382009/08/30 21:38:321B / ?B / ?B
56eldesh2130.91282009/08/30 16:24:122B / ?B / ?B

Ada _

RankUserSizeTimeDateStatistics
1yt1680.30812009/08/27 19:15:310B / ?B / ?B

Pascal _

RankUserSizeTimeDateStatistics
1uru1060.23192009/08/28 20:56:340B / 68B / 27B
2yt1120.12162009/08/27 22:22:130B / ?B / ?B

Fortran _

RankUserSizeTimeDateStatistics
1*yuko*781.06162009/08/27 20:39:060B / 46B / 29B
2*yuko*680.06232011/11/22 03:35:510B / 41B / 24B

Maxima _

RankUserSizeTimeDateStatistics
1pooq651.10112009/08/27 23:36:540B / 37B / 25B

Octave _

RankUserSizeTimeDateStatistics
1inaniwa750.92632011/10/21 23:43:390B / 40B / 33B

AWK _

RankUserSizeTimeDateStatistics
1nn520.09182009/08/28 01:02:320B / 21B / 30B

m4 _

RankUserSizeTimeDateStatistics
151b1890.81222009/08/31 00:57:020B / 89B / 97B

Postscript _

RankUserSizeTimeDateStatistics
1yshl(bin)861.41932009/08/29 09:55:5427B / 35B / 23B
2yshl1291.31792009/08/29 09:55:340B / 86B / 24B
3yshl(bin)620.88462009/11/29 22:31:2718B / 24B / 19B
4yshl880.89182009/11/29 22:31:120B / 56B / 21B

gs2 _

RankUserSizeTimeDateStatistics
1tails (whio)311.41552022/11/22 10:56:0214B / 13B / 4B
2whio370.43672022/11/22 06:55:2813B / 19B / 4B

Nibbles _

RankUserSizeTimeDateStatistics
1tails60.29012022/11/22 15:47:073B / 2B / 1B

Burlesque _

RankUserSizeTimeDateStatistics
1Hendrik190.73402021/06/25 01:20:290B / 7B / 11B

goruby _

RankUserSizeTimeDateStatistics
1murky-satyr491.16152009/08/27 22:16:040B / 14B / 32B

Groovy _

RankUserSizeTimeDateStatistics
1murky-satyr897.30842010/09/19 18:49:170B / 52B / 32B
2nn989.19912009/10/21 12:33:300B / 54B / 41B

Language Ranking_

RankLangUserSizeScore
1Nibblestails610000
2BurlesqueHendrik193157
3Kteebee311935
4gs2tails (whio)311935
5PARI/GPteebee351714
6JI., S.431395
7gorubymurky-satyr491224
8PerlSisyphus491224
9AWKnn521153
10Postscriptyshl(bin)62967
11Maximapooq65923
12BASIC*yuko*65923
13PythonDingledooper66909
14Fortran*yuko*68882
15JavaScriptnn74810
16Octaveinaniwa75800
17Ctails76789
18Rubyleonid78769
19Luamurky-satyr87689
20Arcmurky-satyr88681
21Groovymurky-satyr89674
22OCamlksk90666
23D51b105571
24Pascaluru106566
25Common LISPkozima109550
26Iopooq123487
27Forth51b124483
28Erlang51b164365
29Adayt168357
30m451b189317

return to the top page