print_string(match read_line()with"571" ->"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
"|"43772"->"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
"|"2481"->"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"|"43772"->"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")