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")
Note that non-ascii characters in the above source code will be escaped (such as \x9f).