getflag.hei.py

#!/usr/bin/env python3
from hashlib import sha256

a = [0] * 10000

a[1225 | 2381 | 2956 | 3380 | 3441 | 4073 | 4090 | 4439 | 5883 | 6253 | 7683 | 8231 | 9933] = 978
a[412 | 5923 | 7217 | 7289 | 7336 | 9988 | 9998] = 51
a[296 | 612 | 873 | 1232 | 1531 | 1941 | 3640 | 4449 | 4488 | 4698 | 4703 | 5225 | 5868 | 6132 | 6904 | 7812 | 8127 | 9156 | 9781 | 9917] = 807
a[359 | 379 | 560 | 1212 | 1553 | 3525 | 4417 | 5826 | 6276 | 6521 | 8630 | 9078 | 9639] = 424
a[609 | 728 | 1141 | 1739 | 2223 | 3523 | 3585 | 5298 | 7499 | 8161 | 9018] = 459
a[152 | 406 | 892 | 1688 | 1864 | 2115 | 2226 | 2462 | 4824 | 5304 | 6374 | 6587 | 6739 | 7168 | 7611 | 8497] = 39
a[524 | 901 | 1339 | 3681 | 3840 | 6378 | 6897 | 9534] = 808
a[2794 | 3363 | 3825 | 4432 | 4648 | 5519 | 6355 | 7030] = 518
a[83 | 522 | 2250 | 2379 | 6030 | 7563 | 8434] = 341
a[1276 | 1649 | 2342 | 2758 | 4973 | 5834 | 6220 | 6791 | 7531 | 8237 | 8508] = 26
a[1378 | 1556 | 1990 | 4114 | 5804 | 6941 | 7479 | 7560 | 8724 | 9129] = 291
a[119 | 292 | 1096 | 1136 | 3329 | 4641 | 5261 | 6401 | 8076 | 8811 | 9323 | 9561] = 208
a[469 | 644 | 1176 | 3853 | 4336 | 5173 | 5786 | 6901 | 8321 | 9130 | 9510] = 262
a[3683 | 4260 | 4380 | 5106 | 6994 | 9054 | 9057] = 867
a[191 | 399 | 2741 | 2977 | 4388 | 5495 | 8469] = 498
a[413 | 1484 | 1665 | 3736 | 3787 | 5985 | 6135 | 6301 | 6500 | 6624 | 7375 | 7762 | 7970 | 8336] = 828
a[387 | 1957 | 6021 | 6173 | 7345 | 7734 | 9305] = 678
a[1211 | 3444 | 4180 | 4895 | 5262 | 5433 | 5451 | 6488 | 6658 | 6763 | 7054 | 7562 | 8842] = 69
a[2200 | 2205 | 2264 | 2691 | 3996 | 5590 | 5900 | 6335 | 6558 | 6756 | 9231 | 9649] = 832
a[354 | 842 | 1058 | 1065 | 1633 | 1641 | 2610 | 4065 | 5010 | 6551 | 9244] = 135
a[389 | 1056 | 2183 | 3294 | 5638 | 6869 | 8977 | 8984 | 9285 | 9472] = 47
a[1158 | 2831 | 2983 | 3070 | 5134 | 7214 | 7261 | 9554] = 94
a[980 | 3593 | 4557 | 5371 | 6143 | 7059 | 7569 | 8287 | 8355 | 8546 | 8749] = 236
a[4215 | 6700 | 7673 | 7684 | 7944 | 9409] = 588
a[981 | 1956 | 2640 | 3500 | 3784 | 5236 | 5654 | 5694 | 6491 | 6507 | 7736] = 838
a[784 | 932 | 1837 | 2803 | 4120 | 4227 | 8639 | 8706] = 519
a[523 | 567 | 865 | 1405 | 1843 | 2290 | 2396 | 3063 | 4327 | 5096 | 5104 | 6098 | 6211 | 6481 | 6610 | 6926 | 9271 | 9898] = 345
a[340 | 1165 | 1209 | 1886 | 1888 | 2100 | 2103 | 2571 | 3724 | 5978 | 6032 | 6857 | 7316 | 7907 | 9004 | 9134] = 780
a[148 | 426 | 722 | 1015 | 4483 | 4677 | 5516 | 5935 | 6420 | 7291 | 7930 | 8137 | 8303 | 8618] = 133
a[1319 | 1796 | 1802 | 2308 | 2720 | 2757 | 3666 | 4091 | 5506 | 6557 | 6956] = 172
a[1451 | 3174 | 4188 | 5726 | 6304 | 6350 | 6486 | 6539 | 7733 | 8203 | 8353 | 9416] = 890
a[463 | 2480 | 4283 | 5355 | 7219 | 8291 | 8689 | 9209] = 935
a[237 | 4743 | 4763 | 5939 | 7676 | 9049 | 9153] = 379
a[733 | 2455 | 3155 | 4805 | 6737 | 7100 | 7737 | 8133 | 9519 | 9740 | 9779 | 9847] = 152
a[876 | 1027 | 1265 | 1512 | 1657 | 2418 | 3135 | 3347 | 4470 | 5364 | 5520 | 6046 | 6679 | 8522 | 8674 | 9851] = 981
a[315 | 916 | 1943 | 2120 | 4628 | 4990 | 5775 | 6270 | 6845] = 582
a[7 | 3249 | 3866 | 5824 | 7197 | 7378 | 9091] = 988
a[667 | 1366 | 3547 | 3793 | 5623 | 7183 | 8471] = 653
a[731 | 2402 | 3177 | 4264 | 4994 | 7248 | 8580 | 8787 | 8860] = 164
a[29 | 121 | 879 | 3638 | 5611 | 5634 | 5684 | 7166 | 7876 | 7937 | 9165] = 818
a[282 | 2157 | 3228 | 3682 | 4197 | 4360 | 6501 | 6565 | 7810] = 926
a[284 | 712 | 3104 | 4144 | 4827 | 5472 | 8987 | 9436 | 9706 | 9880] = 481
a[2026 | 2747 | 4854 | 5535 | 6228 | 6554 | 7125 | 7546] = 575
a[136 | 230 | 891 | 3809 | 3954 | 4565 | 6035 | 6417 | 6440 | 8692 | 9260] = 193
a[1161 | 1636 | 2033 | 3197 | 4335 | 5431 | 9454] = 778
a[1379 | 2444 | 2995 | 4981 | 5316 | 5719 | 5954 | 5981 | 7727 | 7813 | 7856 | 8494 | 8587 | 9141] = 789
a[355 | 4591 | 4949 | 6910 | 7379 | 7587 | 7600 | 8774] = 732
a[1708 | 1838 | 2092 | 4021 | 5860 | 6020 | 6801 | 9357 | 9541 | 9864] = 364
a[905 | 1446 | 1472 | 2294 | 2423 | 3372 | 5894 | 5916 | 6907 | 7482 | 8249 | 8699 | 8809 | 8828 | 9856] = 45
a[1735 | 2282 | 3083 | 3312 | 4496 | 4750 | 7632 | 7755 | 8708 | 9627 | 9849] = 139
a[3396 | 3732 | 3745 | 4119 | 4267 | 4603 | 4636 | 5046 | 5314 | 5820 | 7109 | 9194 | 9784] = 779
a[358 | 5736 | 5751 | 5767 | 5779 | 7395 | 7448 | 9671] = 766
a[261 | 557 | 2311 | 2516 | 3545 | 4724 | 7215 | 7528 | 7952 | 8562 | 9920] = 855
a[1492 | 2425 | 3141 | 3537 | 4312 | 4657 | 6047 | 6946 | 7011 | 7601 | 7896 | 8123 | 9599 | 9949] = 246
a[1729 | 1788 | 2260 | 2990 | 3650 | 4128 | 4891 | 5492 | 6733 | 6751 | 7349 | 9517] = 840
a[308 | 1389 | 2847 | 4187 | 7399 | 8694 | 8822 | 8940 | 9889] = 681
a[1755 | 2334 | 2773 | 3369 | 3407 | 5898 | 6577 | 7343 | 7412 | 7508 | 7548 | 9038 | 9531 | 9644] = 270
a[485 | 4704 | 5448 | 5977 | 8717 | 8785 | 9785] = 210
a[1497 | 2295 | 3614 | 5250 | 5753 | 6298 | 7738 | 7955] = 423
a[12 | 703 | 852 | 1548 | 2368 | 3560 | 4039 | 7697 | 8060] = 802
a[1188 | 2570 | 3148 | 5195 | 5302 | 5554 | 6495 | 7045 | 7946 | 8715 | 9674] = 290
a[631 | 818 | 962 | 2068 | 2844 | 3346 | 3649 | 4401 | 4884 | 6033 | 6537 | 7920 | 8095 | 8506 | 9034] = 884
a[126 | 895 | 1080 | 1183 | 4958 | 5147 | 5761 | 5846 | 6010 | 6515 | 6911 | 7522 | 8702] = 455
a[1585 | 2818 | 2918 | 3157 | 3528 | 3881 | 4378 | 5158 | 5291 | 6934 | 7500 | 7913 | 9670] = 851
a[199 | 283 | 992 | 1712 | 2718 | 6248 | 6993 | 8589 | 9569] = 749
a[1667 | 1821 | 4729 | 4786 | 5203 | 6203 | 6218 | 6274 | 7347 | 7544 | 8547 | 8703] = 755
a[466 | 1198 | 4211 | 5253 | 6426 | 6847 | 6852 | 7523 | 9261] = 811
a[1272 | 1409 | 2303 | 3839 | 4978 | 7465 | 7765 | 9990] = 53
a[322 | 357 | 770 | 1356 | 2778 | 3572 | 3690 | 4953 | 5619 | 7766 | 9251 | 9439] = 397
a[1193 | 1348 | 2586 | 6185] = 200
a[458 | 1424 | 2512 | 3777 | 5403 | 7893 | 8796 | 9518] = 406
a[488 | 1108 | 1425 | 2856 | 3461 | 5063 | 5093 | 6043 | 6479 | 6663 | 8853] = 571
a[2841 | 5526 | 6077 | 6381 | 7459 | 7763 | 8532 | 9331] = 96
a[1450 | 3729 | 4055 | 5567 | 6263 | 6388 | 7928 | 7933 | 8937 | 8989 | 9643] = 214
a[659 | 1494 | 2377 | 3062 | 3827 | 3952 | 4741 | 6730 | 7558 | 9937] = 846
a[247 | 526 | 709 | 1803 | 1995 | 2452 | 5207 | 7192 | 7805 | 7875 | 9221] = 735
a[1631 | 2678 | 3808 | 4446 | 8148 | 8192] = 240
a[115 | 207 | 787 | 2482 | 4125 | 4915 | 6309 | 7471 | 8096 | 8156 | 8350 | 8461] = 340
a[134 | 6699 | 7889 | 9812] = 297
a[2333 | 2653 | 2787 | 3192 | 4025 | 4356 | 5296 | 6445 | 7561 | 7853 | 8563 | 9062] = 821
a[917 | 2052 | 5112 | 5537 | 6879 | 7257 | 7602 | 8221 | 9776] = 585
a[670 | 1380 | 2541 | 2587 | 4736 | 5255 | 5381 | 6963 | 8038 | 9061] = 898
a[1508 | 2291 | 2756 | 4041 | 6272 | 6294 | 9235] = 907
a[863 | 902 | 1081 | 1168 | 1253 | 1386 | 1981 | 2227 | 2930 | 4044 | 5594 | 5600 | 6071 | 7244 | 9665] = 647
a[298 | 2040 | 2406 | 2566 | 2663 | 2746 | 3988 | 4476 | 5686 | 5773 | 6044 | 7800 | 9005] = 162
a[343 | 968 | 1522 | 2270 | 2432 | 4185 | 6628 | 6738 | 7735 | 8635 | 8924 | 8970 | 9311 | 9960] = 360
a[2099 | 3701 | 6275 | 6438 | 7252 | 8077 | 8642 | 9430] = 11
a[1798 | 2475 | 3999 | 6287 | 8083 | 8125 | 8375] = 806
a[849 | 1453 | 1870 | 2682 | 3521 | 5306 | 5360 | 5716 | 6732 | 6959 | 9687] = 354
a[1154 | 1966 | 4783 | 4986 | 5362 | 5452 | 5794 | 5979 | 6130 | 7975 | 8149 | 9177 | 9233 | 9467] = 434
a[168 | 1836 | 3886 | 4250 | 8063 | 9109 | 9481 | 9587] = 241
a[188 | 964 | 1442 | 2593 | 6428 | 6518 | 7530 | 8135 | 9827] = 332
a[2139 | 3016 | 3309 | 4531 | 5122 | 6757 | 8862 | 8947] = 4
a[258 | 2627 | 3252 | 4015 | 5185 | 7063 | 7785 | 7921 | 7986 | 8433 | 8462 | 8677 | 9563 | 9710 | 9890] = 435
a[402 | 1676 | 2318 | 2524 | 2559 | 3229 | 3936 | 4377 | 4678 | 4722 | 5387 | 8428 | 9788 | 9974] = 618
a[431 | 763 | 814 | 958 | 1090 | 3440 | 3652 | 5964] = 427
a[3096 | 4896 | 5061 | 6055 | 7298 | 8241 | 9508 | 9872] = 108
a[1444 | 3057 | 4699 | 6496 | 7824 | 9806] = 29
a[3963 | 7405 | 7621 | 8243 | 9930] = 280
a[1528 | 4576 | 4982 | 5676 | 8942 | 9077] = 292
a[104 | 375 | 415 | 918 | 1910 | 4484 | 5706 | 9723] = 896
a[701 | 1959 | 2589 | 3844 | 4852 | 5002 | 5563 | 5801 | 7553 | 8607 | 8934 | 9855] = 263
a[101 | 127 | 236 | 1101 | 2890 | 4431 | 4455 | 4671 | 4721 | 5457 | 5545 | 5963 | 6770 | 7302 | 7436 | 8505 | 8760 | 8983 | 9128] = 93
a[1624 | 2265 | 3125 | 3137 | 4967 | 5617 | 5893 | 7431 | 7557 | 7668 | 9195] = 793
a[93 | 1421 | 5216 | 6855 | 9817] = 227
a[1261 | 2666 | 3763 | 3801 | 4385 | 5130 | 5503 | 5596 | 8361 | 9951] = 513
a[386 | 2255 | 3081 | 3193 | 4462 | 4624 | 4985 | 5358 | 8840 | 9520] = 790
a[1596 | 1952 | 2798 | 2944 | 4155 | 4269 | 4347 | 4511 | 5076 | 5725 | 7815 | 7867 | 8132 | 8343 | 8914 | 9465] = 491
a[174 | 764 | 3857 | 4023 | 4261 | 4289 | 4715 | 6089 | 8365 | 8655 | 8965] = 845
a[1182 | 1613 | 3711 | 3719 | 3796 | 6437 | 6605 | 7881 | 8795] = 405
a[68 | 435 | 3425 | 3511 | 3903 | 6320 | 6741 | 6766 | 7313 | 8262 | 8448] = 14
a[165 | 2518 | 2530 | 3714 | 4017 | 4723 | 5579 | 6425 | 6467 | 6837 | 8484 | 9816] = 282
a[231 | 241 | 1109 | 1433 | 3021 | 5869 | 6674 | 7118 | 8996 | 9482 | 9748] = 620
a[3261 | 4013 | 4101 | 4278 | 6950 | 6969 | 7446 | 7675 | 9725 | 9737] = 701
a[1118 | 2548 | 3901 | 5170 | 7037 | 7263 | 7543 | 7995 | 8877 | 9036 | 9539] = 786
a[312 | 486 | 885 | 1878 | 1909 | 2624 | 2961 | 3665 | 5565 | 5730 | 9146 | 9848] = 697
a[169 | 495 | 874 | 2326 | 2761 | 3563 | 4818 | 5056 | 7006 | 7616 | 8538] = 869
a[1429 | 2239 | 2293 | 5035 | 6348 | 6925 | 7015 | 8030 | 8728 | 8883 | 9269] = 197
a[16 | 58 | 1010 | 1258 | 3143 | 3596 | 4190 | 4253 | 5281 | 6341 | 7131 | 7420 | 8145 | 9408] = 488
a[1260 | 2358 | 2670 | 5879 | 6929 | 7507 | 8049 | 8722 | 9361] = 711
a[477 | 543 | 628 | 1147 | 3514 | 4123 | 4343 | 4403 | 5129 | 5498 | 8118 | 9726] = 117
a[1335 | 2176 | 3098 | 3580 | 3928 | 5778 | 7259 | 7839 | 9354] = 932
a[1120 | 2007 | 2933 | 3896 | 5969 | 6749 | 7098 | 8110] = 442
a[250 | 1221 | 3049 | 3290 | 3307 | 4361 | 4639 | 5861 | 7325 | 8919] = 215
a[2191 | 3336 | 3417 | 3667 | 5206 | 5639 | 6058 | 6598 | 7123 | 7159 | 7415 | 7879] = 762
a[1655 | 3317 | 4414 | 5445 | 5461 | 7923] = 316
a[920 | 1576 | 2811 | 2834 | 3469 | 4748 | 5176 | 6247 | 8598 | 9341] = 235
a[2376 | 3462 | 3826 | 4078 | 5143 | 7689 | 8665 | 9623 | 9968] = 856
a[253 | 271 | 601 | 1719 | 3956 | 5140 | 6685 | 7789 | 7948 | 9016] = 62
a[811 | 1979 | 4084 | 4323 | 4465 | 4813 | 5226 | 5555 | 7064 | 7245 | 7908 | 8164 | 8648 | 8859 | 9164 | 9765] = 964
a[982 | 4209 | 4235 | 5952 | 6391 | 7677 | 7754 | 9159] = 374
a[183 | 860 | 2211 | 3788 | 5073 | 5771 | 7160 | 8332 | 9501 | 9509] = 717
a[1034 | 3073 | 3075 | 3696 | 3851 | 5121 | 5614 | 5942 | 7023 | 7115 | 7361 | 7541 | 8056 | 8746] = 105
a[44 | 1800 | 2651 | 2771 | 2981 | 3159 | 3246 | 5145 | 6180 | 8910 | 9712] = 700
a[57 | 1475 | 1860 | 2224 | 3133 | 3424 | 4577 | 8147 | 8327 | 9892] = 565
a[650 | 919 | 1738 | 2489 | 3487 | 3811 | 3859 | 6659 | 6874 | 6909 | 8526] = 221
a[1590 | 2096 | 5541 | 5906 | 7346 | 7421 | 7929 | 8340] = 314
a[4198 | 4900 | 6179 | 6636 | 6864 | 7501 | 7798 | 9506] = 637
a[1480 | 3202 | 6111 | 7999 | 8634 | 8759] = 741
a[1872 | 1924 | 2363 | 3592 | 4106 | 4614 | 6056 | 8104 | 8295 | 8596 | 8889 | 9735 | 9931 | 9986 | 9994] = 52
a[868 | 1629 | 3156 | 4573 | 5098 | 7759 | 8204 | 9715] = 992
a[883 | 2871 | 3387 | 3503 | 4932 | 5584 | 7992 | 8317 | 8948 | 9334] = 893
a[1273 | 3196 | 3630 | 4256 | 4663 | 5294 | 5972 | 7081 | 8205 | 8556 | 9940] = 908
a[6432 | 7725] = 344
a[1350 | 2085 | 3860 | 6383 | 7004] = 962
a[509 | 1325 | 1524 | 1740 | 1987 | 3383 | 4220 | 5325 | 6442 | 8073 | 8572 | 8846 | 8969] = 445
a[1349 | 3271 | 3475 | 4150 | 5363 | 7171 | 9666] = 449
a[334 | 2896 | 3890 | 3908 | 4268 | 4606 | 4764 | 5285 | 6222 | 6996 | 7588 | 7866 | 9300] = 756
a[2694 | 2936 | 3480 | 3716 | 9690] = 996
a[507 | 655 | 832 | 1384 | 1835 | 2246 | 3845 | 3973 | 4382 | 6134 | 6469 | 7337 | 8308] = 469
a[2362 | 3730 | 3892 | 5702 | 6848 | 7626 | 8075 | 8834 | 8843] = 878
a[1591 | 1906 | 3242 | 3713 | 3803 | 3873 | 5332 | 6985 | 8254 | 8552 | 9400 | 9758] = 690
a[1107 | 2466 | 4003 | 4228 | 7699 | 9120 | 9686] = 114
a[2413 | 5374 | 5465 | 5945 | 6345 | 7444 | 7768 | 8729] = 639
a[584 | 3704 | 4344 | 4532 | 5341 | 5907 | 6716 | 9213 | 9833] = 915
a[1859 | 3220 | 3446 | 5159 | 7338 | 7386 | 8128] = 584
a[197 | 1048 | 1904 | 2409 | 3226 | 3239 | 3709 | 3727 | 5108 | 5609 | 6561 | 7184 | 7227 | 8389 | 9768] = 248
a[1068 | 1854 | 4337 | 4680 | 8739 | 9337] = 563
a[1110 | 3765 | 6423 | 7367] = 704
a[423 | 618 | 3335 | 3498 | 7460 | 7990 | 8040 | 8681] = 85
a[707 | 1598 | 2116 | 3058 | 3211 | 3575 | 3895 | 4436 | 7702 | 7743 | 8342] = 596
a[49 | 1187 | 1252 | 2044 | 4367 | 5054 | 6725 | 8044 | 8504 | 8570 | 8637 | 8756 | 9074 | 9700] = 362
a[4823 | 4999 | 6413 | 6930] = 859
a[155 | 1040 | 3977 | 4497 | 4519 | 9537 | 9858] = 919
a[242 | 461 | 1169 | 1716 | 1792 | 2523 | 3430 | 4921 | 5825 | 7112 | 7205 | 8226 | 9115] = 22
a[611 | 1259 | 1653 | 5881 | 6395 | 6513 | 8523 | 8851 | 9019] = 500
a[1418 | 2473 | 3190 | 8430 | 9281] = 805
a[78 | 363 | 1138 | 1940 | 2982 | 3030 | 3856 | 4246 | 5100 | 5463 | 5561 | 6034 | 6226 | 7510 | 7753 | 8901 | 9923] = 1
a[81 | 2749 | 2759 | 4911 | 5762 | 6332 | 6637 | 7286 | 7883 | 8277 | 9118] = 847
a[448 | 2851 | 4504 | 4668 | 5107 | 8074 | 8426 | 8590] = 203
a[1789 | 5784 | 7539 | 7791 | 8578 | 9183] = 180
a[1543 | 1570 | 1874 | 3076 | 3906 | 4364 | 5211 | 8062] = 279
a[1594 | 2929 | 3412 | 5558 | 7731 | 7830 | 9242 | 9247] = 382
a[1069 | 3110 | 5645 | 6900 | 6916] = 426
a[206 | 1939 | 2429 | 5088 | 5359 | 6344 | 9455] = 174
a[2839 | 3149 | 3333 | 4774 | 6252 | 6555 | 7468 | 7472 | 8213] = 368
a[398 | 779 | 2519 | 2780 | 3257 | 3398 | 4321 | 9254 | 9529 | 9682 | 9921] = 906
a[132 | 233 | 2994 | 4464 | 4637 | 7801 | 8654 | 9456 | 9588] = 589
a[935 | 3280 | 4582 | 5666 | 6890 | 7517 | 7589 | 8623] = 116
a[341 | 1666 | 1769 | 3283 | 4033 | 4124 | 5254 | 7613 | 7809 | 8610 | 8872 | 9250] = 976
a[1064 | 1476 | 2492 | 9181] = 74
a[380 | 3404 | 3543 | 3937 | 5388 | 5622 | 5698 | 9419 | 9473] = 32
a[6240 | 6642 | 6912 | 7232 | 7265 | 7388 | 7989 | 9910] = 683
a[1291 | 1903 | 2555 | 3253 | 4673 | 4954 | 6422 | 7487 | 7698 | 8064 | 8364 | 8442 | 9822 | 9863] = 946
a[2034 | 2636 | 3146 | 3366 | 4485 | 5728 | 6873 | 7804 | 8302 | 8311 | 9032] = 233
a[2065 | 2675 | 2953 | 4195 | 4991 | 5283 | 5848 | 6483 | 8378 | 9800] = 761
a[259 | 353 | 530 | 1298 | 1810 | 2320 | 3080 | 4684 | 4893 | 6473 | 6712 | 7490 | 7705 | 8258 | 8475 | 9063 | 9835] = 635
a[695 | 1504 | 2236 | 5354 | 6746 | 7494 | 7579 | 9542 | 9772] = 837
a[934 | 1042 | 1725 | 1791 | 1997 | 2415 | 3168 | 4423 | 7645 | 9212] = 968
a[1385 | 2315 | 2585 | 3933 | 4400 | 6372 | 7264 | 8143 | 8597 | 9160 | 9807 | 9989 | 9991 | 9996] = 55
a[370 | 1045 | 3458 | 6269 | 6594 | 7231 | 9759] = 228
a[117 | 457 | 1737 | 2485 | 2745 | 4265 | 4345 | 4467 | 5896 | 7007 | 7135 | 8468 | 9559] = 944
a[957 | 1288 | 1885 | 2481 | 2873 | 3994 | 4010 | 9624 | 9952] = 702
a[605 | 1061 | 1510 | 2807 | 2986 | 3285 | 5626 | 5899 | 6784 | 7058 | 7196 | 8304] = 403
a[120 | 421 | 2898 | 3761 | 4007 | 5714 | 6728 | 6893 | 7222 | 7294 | 7355 | 8366 | 9352] = 986
a[464 | 2735 | 4935 | 5065 | 5105 | 6094 | 6295 | 6538 | 6662 | 7251 | 7359 | 8172 | 8234 | 9428] = 463
a[675 | 1280 | 2419 | 3131 | 3564 | 4035 | 5505 | 7998 | 8931 | 9246 | 9316 | 9977] = 909
a[1133 | 1373 | 2788 | 3699 | 4136 | 4846 | 5305 | 7672 | 8450 | 8555] = 88
a[27 | 4450 | 4587 | 4658 | 4898 | 4957 | 5595 | 6410 | 6414 | 8384 | 9801] = 97
a[568 | 2150 | 2278 | 4777 | 5085 | 6354 | 7377 | 7764 | 7781 | 8380] = 861
a[9 | 909 | 3151 | 3964 | 4239 | 5968 | 6877 | 7000 | 7095 | 8813 | 9393 | 9480 | 9606 | 9794 | 9972] = 497
a[361 | 474 | 866 | 3837 | 4784 | 5436 | 6778 | 7310 | 9276 | 9566] = 666
a[772 | 1352 | 1905 | 2849 | 3451 | 3726 | 3925 | 5345 | 5427 | 6008 | 7749 | 8778 | 9562 | 9839] = 600
a[1244 | 2505 | 2899 | 3050 | 3688 | 4310 | 5171 | 5310 | 5760 | 7246 | 8489 | 9791] = 390
a[433 | 988 | 1299 | 1412 | 1772 | 2461 | 4539 | 7772 | 8735 | 8841 | 9610] = 3
a[348 | 2567 | 3368 | 4479 | 4584 | 6579 | 7303 | 8447 | 8900] = 604
a[997 | 1144 | 1415 | 2852 | 4213 | 4716 | 4996 | 5459 | 5646 | 5955 | 6271 | 6516 | 8200 | 9170 | 9359 | 9395 | 9548 | 9603] = 7
a[2 | 751 | 2058 | 2901 | 3443 | 3659 | 6246 | 7424 | 7489 | 9925] = 776
a[352 | 456 | 3299 | 3631 | 3733 | 9524] = 874
a[2218 | 2242 | 2353 | 2821 | 3835 | 4552 | 7439 | 8345] = 467
a[965 | 2730 | 3651 | 3679 | 4620 | 5346 | 5729 | 5803 | 5822 | 6217 | 7849 | 8663] = 739
a[441 | 1085 | 1889 | 2038 | 5532 | 6198] = 541
a[1341 | 1505 | 1805 | 2268 | 5055 | 6448 | 7746 | 8436 | 9299 | 9963] = 437
a[514 | 645 | 987 | 1887 | 2634 | 3085 | 3297 | 4088 | 4138 | 4535 | 5019 | 5126 | 5276 | 8045 | 8053 | 8382 | 9262 | 9267 | 9349 | 9577] = 212
a[73 | 374 | 1181 | 1353 | 1813 | 2123 | 2622 | 3742 | 4341 | 4842 | 4947 | 6431 | 6635 | 7150 | 7774 | 8656 | 8804 | 9256 | 9953] = 727
a[1672 | 3029 | 4392 | 4888 | 6042 | 7617 | 8071 | 8400 | 8540 | 9279 | 9622] = 868
a[443 | 604 | 2382 | 2692 | 3602 | 4834 | 6667 | 7296 | 8122 | 8267 | 9919 | 9992] = 100
a[1695 | 2660 | 3119 | 3432 | 4617 | 7793 | 7832 | 8283 | 8370 | 8407] = 883
a[547 | 864 | 907 | 1396 | 1474 | 1521 | 1862 | 2412 | 5494 | 5873 | 5913 | 7033 | 7172 | 8057 | 8306 | 8466 | 9294] = 956
a[222 | 943 | 1965 | 2905 | 2968 | 3284 | 3370 | 3393 | 6918 | 8698 | 8913] = 958
a[28 | 1142 | 3953 | 4222 | 5711 | 6896 | 8826 | 9185 | 9226 | 9284] = 633
a[1043 | 1946 | 2158 | 2173 | 2288 | 4623 | 5578 | 6145 | 6396 | 7216 | 7806 | 7857] = 128
a[1419 | 1564 | 1992 | 5278 | 6329 | 8737] = 438
a[1588 | 2080 | 5486 | 6144 | 7241 | 7678 | 8129] = 66
a[2668 | 3434 | 3790 | 3947 | 4141 | 4948 | 5245 | 5370 | 5430 | 5624 | 6128 | 6463 | 8235 | 9020] = 339
a[105 | 317 | 1047 | 2754 | 3092 | 4768 | 7818 | 9081 | 9741] = 520
a[309 | 4580 | 6139 | 6758 | 6775] = 179
a[1242 | 1387 | 2112 | 2706 | 2738 | 4398 | 6319 | 6938 | 7538 | 9223] = 713
a[116 | 2835 | 3804 | 4193 | 4515 | 5418 | 6540 | 8214 | 9094 | 9123 | 9597] = 834
a[1783 | 2266 | 5642 | 6048 | 9048 | 9798] = 81
a[534 | 801 | 1210 | 2434 | 3263 | 4379 | 5213 | 6017 | 6356 | 7931 | 8393 | 9793] = 167
a[252 | 465 | 714 | 732 | 2198 | 2208 | 4693 | 5891 | 5991 | 6514 | 6607 | 7014 | 7049 | 7686 | 8247 | 8559 | 8690 | 9043 | 9264 | 9718 | 9747] = 819
a[2127 | 2416 | 3077 | 3128 | 3388 | 4225 | 5373 | 6499 | 7211 | 8599] = 24
a[2595 | 3318 | 3795 | 6790 | 6853 | 7521 | 8376] = 389
a[475 | 1569 | 2296 | 2510 | 2806 | 4176 | 5178 | 5312 | 5789 | 9386] = 660
a[760 | 1439 | 1562 | 2364 | 4024 | 4145 | 4645 | 6657 | 7090 | 9527] = 548
a[744 | 1357 | 2232 | 5627 | 8675 | 8711] = 34
a[1207 | 1754 | 2987 | 5379 | 5703 | 6399 | 7119 | 8645 | 8806] = 912
a[397 | 6895] = 540
a[781 | 1070 | 3026 | 3728 | 4127 | 4536 | 4810 | 5139 | 5564 | 6701 | 7292 | 7403 | 8838 | 9871] = 758
a[310 | 1991 | 2351 | 2445 | 3753 | 4875 | 6902 | 8479 | 9388] = 13
a[1194 | 2165 | 2699 | 5904 | 7333 | 8691 | 9424] = 609
a[288 | 785 | 1626 | 2271 | 3302 | 4231 | 4950 | 6406 | 6655 | 6753 | 8048 | 8142 | 8178] = 583
a[643 | 1177 | 2104 | 2128 | 2422 | 2618 | 5785 | 9088 | 9695] = 407
a[3842 | 6241 | 8476 | 9494 | 9783] = 198
a[1848 | 2156 | 2553 | 2826 | 3887 | 5078 | 6772 | 7342 | 8425 | 8766 | 9828] = 402
a[3620 | 3871 | 4097 | 4182 | 5013 | 5640 | 5983 | 6931 | 7732 | 9440 | 9615] = 274
a[1077 | 1129 | 1277 | 2118 | 2317 | 2884 | 2922 | 3893 | 6578] = 363
a[149 | 1612 | 2439 | 2528 | 4111 | 4806 | 5450 | 6595 | 8263 | 8339 | 8511 | 9079] = 897
a[2580 | 2939 | 3178 | 3992 | 4221 | 6118 | 6242 | 6673 | 6731 | 7034 | 7449 | 7628 | 9770] = 784
a[1062 | 2061 | 2313 | 2625 | 2751 | 2891 | 3972 | 5920 | 6349 | 6646 | 7012] = 79
a[1215 | 2914 | 2941 | 4574 | 4758 | 5318 | 5420 | 6787 | 8120 | 8679] = 289
a[1376 | 2231 | 2276 | 3348 | 3979 | 4200 | 4212 | 4305 | 4365 | 4613 | 6536 | 7149] = 524
a[476 | 2137 | 2608 | 2867 | 3059 | 3459 | 4914 | 5196 | 7514 | 7932 | 9178 | 9926] = 355
a[6371 | 7694] = 961
a[1217 | 2175 | 2609 | 2776 | 3067 | 3238 | 3747 | 4121 | 6156 | 8478] = 137
a[349 | 490 | 1954 | 2237 | 2885 | 4244 | 5192 | 6626 | 7066 | 7630 | 7682 | 7850 | 7902 | 8741 | 9618] = 969
a[3187 | 3687 | 3814 | 3880 | 4653 | 5155 | 6638 | 7792 | 8184 | 8496 | 8498] = 171
a[204 | 738 | 896 | 1097 | 1236 | 2521 | 4322 | 5531 | 6933 | 7953 | 9086 | 9358 | 9820] = 380
a[826 | 1382 | 1638 | 1715 | 1911 | 3907 | 4570 | 5556 | 5610 | 6987 | 7186] = 361
a[939 | 1898 | 2135 | 2495 | 2827 | 2969 | 5543 | 7073 | 7272 | 8103 | 8105 | 8198 | 9100] = 579
a[1394 | 2447 | 5441 | 6313 | 7391 | 9434] = 952
a[1011 | 1468 | 1703 | 1928 | 2197 | 2950 | 3410 | 3436 | 4257 | 4615 | 5210 | 7658 | 7997 | 8676 | 9369] = 352
a[180 | 1263 | 1846 | 2098 | 2641 | 3326 | 5836 | 5971 | 6694 | 6807 | 7603 | 8904 | 9814] = 504
a[589 | 1574 | 1765 | 1925 | 2440 | 2443 | 2782 | 3114 | 3806 | 4177 | 4183 | 7228 | 7860 | 8757 | 8936 | 9203] = 578
a[1525 | 2539 | 2705 | 2863 | 4998 | 5123 | 5414 | 7062 | 7433 | 9135 | 9238] = 109
a[175 | 429 | 1289 | 1968 | 2024 | 2195 | 2336 | 2988 | 3506 | 4548 | 5069 | 7088 | 7988] = 972
a[1777 | 3553 | 3718 | 3746 | 3867 | 4795 | 6360 | 7862 | 8444 | 8651 | 9180] = 677
a[5233 | 7534 | 7744 | 8566 | 8658 | 9927] = 470
a[986 | 1269 | 2577 | 4172 | 4533 | 4717 | 4790 | 4877 | 5562 | 7213] = 146
a[1710 | 5507 | 8022 | 8710 | 9013] = 552
a[1152 | 1423 | 1639 | 2817 | 3472 | 3776 | 3966 | 5011 | 6517 | 7844 | 8193 | 8322 | 9823] = 623
a[1399 | 3106 | 4286 | 5443 | 6484 | 6761 | 7455 | 8608 | 8864 | 9343] = 465
a[328 | 2190 | 2348 | 3846 | 4524 | 8305 | 8740 | 8954] = 707
a[266 | 2708 | 4832 | 4964 | 6101 | 7525 | 9236 | 9684] = 662
a[550 | 3917 | 4822 | 5391 | 5401 | 5658 | 6340 | 6988 | 7724 | 8874] = 183
a[111 | 517 | 1052 | 1683 | 1930 | 2598 | 2946 | 3411 | 5990 | 7060 | 7221 | 8465 | 8892 | 8907 | 9163] = 298
a[1195 | 1435 | 1490 | 2722 | 3944 | 4047 | 4829 | 5828 | 6112 | 6978 | 9584] = 87
a[833 | 1482 | 2463 | 3189 | 4061 | 6811 | 7520 | 7570 | 8973 | 8997] = 48
a[799 | 851 | 3597 | 4151 | 6254 | 6458 | 6773 | 9511] = 392
a[636 | 1178 | 3613 | 3694 | 4270 | 4667 | 8265 | 8487 | 8941] = 538
a[249 | 574 | 3382 | 3769 | 5410 | 8169] = 490
a[214 | 2656 | 3774 | 4434 | 5510 | 5965 | 6358 | 6608 | 7207 | 9838] = 875
a[1809 | 2267 | 3447 | 7128 | 7922 | 9280 | 9530] = 106
a[639 | 1367 | 3064 | 4765 | 5946 | 6804 | 8854 | 8886 | 9303] = 693
a[1049 | 2064 | 2529 | 4308 | 4718 | 4962 | 6158 | 7404 | 7663 | 8456 | 8776] = 242
a[285 | 1799 | 2657 | 2878 | 3358 | 4004 | 9266 | 9441] = 858
a[270 | 1513 | 2196 | 4236 | 5953 | 6183 | 6833 | 6898 | 7607] = 184
a[41 | 226 | 4159 | 5674 | 6687 | 8660 | 8865] = 75
a[35 | 224 | 819 | 1816 | 2859 | 4800 | 5193 | 5244 | 9225 | 9981] = 616
a[740 | 1751 | 3014 | 3044 | 3360 | 6840 | 7580 | 8240 | 8668 | 8814 | 9479] = 391
a[1023 | 1234 | 1304 | 1832 | 3512 | 7918 | 8374] = 299
a[118 | 159 | 2145 | 2812 | 3289 | 3306 | 4358 | 6882 | 7483 | 7604 | 8271 | 9309 | 9915] = 553
a[5 | 484 | 723 | 1174 | 1817 | 2531 | 2996 | 4028 | 4230 | 5453 | 5585 | 6783 | 8002 | 8440 | 9461] = 41
a[632 | 2542 | 3792 | 4418 | 5201 | 6084 | 9273 | 9535] = 873
a[4537 | 4902 | 6528 | 7852] = 591
a[430 | 747 | 1159 | 2421 | 3182 | 4512 | 5095 | 5648 | 5679 | 6259 | 7532 | 7578 | 8510 | 9059 | 9364] = 694
a[171 | 2070 | 2750 | 3481 | 3800 | 6051 | 6106 | 6250 | 6315 | 7636 | 8435 | 8480 | 9378] = 916
a[1130 | 1143 | 1539 | 1762 | 2560 | 5218 | 7396 | 7899 | 8512 | 9426] = 473
a[1018 | 1334 | 1687 | 1896 | 2607 | 2768 | 3909 | 5172 | 7143 | 9549 | 9789] = 213
a[274 | 719 | 908 | 1511 | 2797 | 4233 | 6266 | 8140] = 40
a[525 | 2897 | 3061 | 3292 | 3349 | 4219 | 4970 | 5183 | 5257 | 6260 | 7079 | 7667 | 7670] = 376
a[1551 | 2454 | 3902 | 5016 | 5586 | 5688 | 6092 | 7463 | 7610 | 9906] = 176
a[1690 | 1698 | 2629 | 3721 | 4263 | 4426 | 4785 | 6620 | 7305 | 8058] = 743
a[882 | 1270 | 2356 | 3362 | 3474 | 3710 | 8260] = 763
a[198 | 1545 | 2036 | 3875 | 5163 | 7662 | 9342] = 16
a[316 | 378 | 682 | 700 | 2868 | 3241 | 4166 | 4938 | 5468 | 6678 | 7518 | 7870 | 8124 | 8640 | 8750 | 8767 | 9025 | 9338] = 895
a[1397 | 2616 | 3402 | 4298 | 5863 | 6752 | 8181 | 8581] = 440
a[1533 | 1549 | 2307 | 2483 | 3516 | 5437] = 728
a[2744 | 2926 | 2959 | 5389 | 7622 | 7776 | 7984] = 234
a[1592 | 1605 | 2094 | 2125 | 2210 | 3203 | 3501 | 4297 | 6028 | 7020 | 8116 | 8761 | 9119 | 9478] = 335
a[2617 | 4094 | 4681 | 6080 | 6834 | 7426 | 7935] = 590
a[2179 | 2621 | 3764 | 6543 | 6743 | 8033 | 8966] = 657
a[1978 | 2611 | 2960 | 3353 | 5947 | 6190 | 6194 | 6235 | 6970 | 7397 | 8190 | 8528] = 112
a[232 | 978 | 1139 | 1969 | 4092 | 4799 | 6947 | 7794 | 8381 | 9224] = 850
a[551 | 4755 | 6169 | 6574 | 7406 | 9656] = 877
a[657 | 1019 | 2037 | 2277 | 2728 | 3612 | 7188 | 7226 | 9154] = 370
a[128 | 275 | 662 | 984 | 1651 | 2711 | 3068 | 4342 | 4442 | 6267 | 6603 | 6802 | 7959 | 8187 | 8346 | 9027] = 610
a[603 | 1089 | 3013 | 3546 | 4027 | 5188 | 5560 | 6748 | 8423] = 8
a[90 | 444 | 898 | 1312 | 1679 | 2141 | 2335 | 8170 | 8835 | 9429] = 195
a[1929 | 3891 | 5989 | 6867 | 8091 | 9166 | 9328] = 371
a[64 | 749 | 1900 | 2390 | 3176 | 5734 | 8171] = 824
a[480 | 1233 | 1520 | 1967 | 2124 | 3356 | 4526 | 5090 | 5275 | 7443 | 7949 | 8553 | 8614 | 8678 | 8770] = 285
a[708 | 1137 | 4009 | 5460 | 6292 | 6998 | 7002 | 7432 | 7506 | 8734 | 8894 | 9498] = 301
a[1032 | 3354 | 3532 | 5673 | 5710 | 7052 | 7936 | 9983] = 607
a[681 | 2163 | 4291 | 4737 | 5607 | 6311 | 6792 | 7475 | 8696 | 8844 | 9385] = 686
a[1408 | 1944 | 2147 | 2187 | 3012 | 3236 | 4266 | 4373 | 5466 | 6768 | 6966 | 8246 | 8792] = 44
a[596 | 3339 | 3581 | 3595 | 3817 | 6102 | 6708 | 7498 | 7900 | 8019 | 8418 | 8805 | 9272 | 9526] = 827
a[844 | 2459 | 3507 | 3534 | 4129 | 5219 | 5534 | 5592 | 6660 | 6827 | 9630 | 9661] = 331
a[869 | 2602 | 3198 | 4142 | 4713 | 4830 | 5368 | 6336 | 8196] = 698
a[915 | 2740 | 3757 | 5577 | 5746 | 6927 | 8344 | 9374 | 9572] = 682
a[621 | 1542 | 2209 | 4598 | 5021 | 5114 | 5581 | 6104 | 9042 | 9547] = 267
a[676 | 1438 | 1933 | 2352 | 5031 | 6155 | 7366 | 8032 | 8377] = 330
a[381 | 428 | 1677 | 2366 | 4191 | 4646 | 7332 | 7416 | 8754 | 9035] = 411
a[565 | 813 | 1668 | 2177 | 2511 | 2731 | 2909 | 3124 | 3965 | 4040 | 6170 | 6363] = 492
a[47 | 1249 | 2203 | 3095 | 3660 | 4066 | 5181 | 6466 | 6860 | 7301 | 7703 | 8693] = 573
a[582 | 1395 | 2050 | 4491 | 5553 | 5575 | 6478 | 7122 | 8066 | 8539 | 8669 | 9122 | 9755] = 752
a[94 | 805 | 2244 | 3340 | 3599 | 8286 | 9009 | 9243] = 244
a[1238 | 1595 | 1811 | 2578 | 2665 | 3538 | 4303 | 4430 | 4873 | 5200 | 5871 | 5925 | 5980 | 7198 | 7238 | 8535 | 9621] = 643
a[559 | 1067 | 1251 | 3671 | 4825 | 7328 | 8358 | 8386 | 9069] = 306
a[3331 | 4633 | 5137 | 5289 | 6159 | 6871 | 7141 | 7284 | 7315 | 7707 | 8454 | 9514] = 631
a[1414 | 2252 | 4251 | 4252 | 5075 | 6569 | 7225 | 7276 | 7279 | 9683 | 9861 | 9939] = 670
a[1163 | 1544 | 2903 | 4202 | 5317 | 5625 | 7295 | 8515 | 8791 | 8794] = 237
a[205 | 748 | 1436 | 2306 | 5455 | 6666 | 6831 | 7641 | 7978 | 8222 | 8829 | 9117 | 9229 | 9470] = 813
a[2023 | 2965 | 3287 | 5796 | 8398 | 9306] = 475
a[125 | 345 | 1311 | 2647 | 2904 | 3558 | 4096 | 4277 | 4386 | 4793 | 6992] = 294
a[1338 | 3791 | 6138 | 6615 | 7442 | 7495 | 8251 | 8820 | 9808] = 357
a[395 | 1976 | 3477 | 3725 | 4814 | 5411 | 7253 | 7512 | 7742 | 8890 | 9072] = 161
a[1460 | 1558 | 1759 | 1840 | 2646 | 4619 | 6121 | 6629 | 7129 | 7314 | 7618] = 753
a[815 | 1308 | 1942 | 2838 | 3145 | 4117 | 4910 | 6064 | 6066 | 6477 | 7044 | 8680] = 144
a[1955 | 3392 | 3494 | 4179 | 4554 | 4732 | 6955 | 8329 | 8763 | 9322] = 680
a[691 | 963 | 1091 | 2654 | 2823 | 3394 | 3884 | 4315 | 5041 | 7068 | 9205] = 985
a[1893 | 5343 | 6073 | 6126 | 8268 | 8525 | 9790] = 854
a[1115 | 2081 | 2149 | 3042 | 3879 | 4272 | 4320 | 5618 | 6318 | 6334 | 7021 | 9422] = 950
a[2604 | 2801 | 3056 | 3478 | 3549 | 4238 | 7018 | 8473 | 8752] = 275
a[15 | 737 | 1901 | 2384 | 2667 | 3342 | 3843 | 5336 | 6367 | 6980 | 7454 | 8981 | 8985] = 991
a[3204 | 3604 | 5377 | 7452 | 7905 | 9268] = 187
a[1704 | 1833 | 2144 | 3987 | 5270 | 7169 | 9546] = 687
a[392 | 629 | 1417 | 2338 | 5303 | 5912 | 8357 | 8933] = 65
a[977 | 1281 | 2725 | 3706 | 4112 | 4939 | 5392 | 7552 | 7666 | 8742] = 10
a[1009 | 2573 | 3004 | 4000 | 6024 | 6069 | 6562 | 7056 | 8815 | 9967] = 115
a[3 | 817 | 1179 | 5689 | 7980] = 911
a[1013 | 1123 | 2392 | 6549 | 7836] = 982
a[622 | 1607 | 2199 | 2228 | 3301 | 4804 | 4851 | 5356 | 5475 | 8409 | 8561 | 9878] = 599
a[1222 | 1757 | 1858 | 3527 | 3822 | 3905 | 5407 | 8594 | 9418 | 9900 | 9929] = 544
a[225 | 668 | 1420 | 1879 | 2041 | 2408 | 6482 | 7258 | 7629] = 696
a[244 | 499 | 1692 | 3194 | 3468 | 3707 | 5712 | 6958 | 7321 | 8085 | 8453 | 9222] = 984
a[320 | 447 | 848 | 1391 | 1745 | 4559 | 4725 | 4959 | 5390 | 5473 | 5644 | 6689 | 8165 | 9600 | 9902] = 664
a[1773 | 2923 | 3093 | 6186 | 6982 | 8755 | 9193] = 512
a[42 | 693 | 2662 | 3218 | 3702 | 4416 | 6979 | 7504] = 920
a[1247 | 3180 | 3275 | 4640 | 4901 | 4987 | 5937 | 6494 | 7711] = 479
a[2537 | 2688 | 8878] = 987
a[50 | 1314 | 3212 | 3390 | 6149 | 6366 | 6968 | 7212 | 7308 | 8316 | 8372 | 9592] = 444
a[638 | 3327 | 6326 | 8920 | 9110 | 9234] = 770
a[762 | 840 | 1808 | 3223 | 3754 | 4659 | 6774 | 7102 | 7634 | 7895 | 9355 | 9744] = 612
a[877 | 2302 | 3824 | 5395 | 6285 | 6592 | 8975] = 933
a[102 | 154 | 362 | 1033 | 1449 | 2202 | 2361 | 2378 | 3531 | 4148 | 4383 | 4427 | 5497 | 5517 | 5931 | 7728 | 8875 | 9896] = 82
a[281 | 347 | 627 | 971 | 1575 | 1652 | 2380 | 2913 | 2932 | 2935 | 4232 | 6390 | 6940 | 7189 | 7503] = 367
a[20 | 400 | 3427 | 6238 | 6519 | 6546 | 7419 | 7912 | 8449 | 9012] = 929
a[711 | 1342 | 2071 | 3046 | 3770 | 6506 | 6522 | 6529 | 6842 | 8491 | 9521 | 9958] = 826
a[404 | 780 | 1175 | 2394 | 3047 | 3235 | 3497 | 5097 | 5323 | 6710] = 0
a[200 | 521 | 4493 | 4517 | 6352 | 7828 | 9139 | 9771] = 277
a[858 | 1266 | 2171 | 3421 | 5434 | 6920 | 7939 | 8431] = 61
a[220 | 1226 | 1541 | 2083 | 2596 | 2700 | 3255 | 5665 | 7145 | 8094 | 8683] = 649
a[470 | 3395 | 3767 | 5247 | 7846] = 136
a[1540 | 3037 | 4317 | 4339 | 4601 | 4819 | 5631 | 6007 | 6684 | 7277 | 8622 | 9384 | 9500 | 9719] = 549
a[181 | 1581 | 1662 | 2016 | 2767 | 3245 | 3499 | 5415 | 5489 | 6015 | 6162 | 7556 | 8107] = 676
a[4281 | 5576 | 7043 | 7977] = 495
a[3642 | 4005 | 5214 | 5571 | 5724 | 6648 | 7947 | 9093] = 190
a[2799 | 6258 | 6892 | 8882 | 8915] = 634
a[2999] = 269
a[746 | 2095 | 6127 | 6377 | 6436 | 7142 | 8055] = 92
a[1947 | 2889 | 3831 | 4237 | 5887 | 7107 | 7372 | 7434 | 7476 | 7619 | 7973 | 9220 | 9681] = 349
a[1284 | 1728 | 3036 | 3276 | 3737 | 5864 | 8619 | 8998 | 9075 | 9668] = 68
a[588 | 2538 | 3375 | 3749 | 3950 | 5518 | 6099 | 7065 | 7491 | 7620 | 8636 | 8868 | 9198 | 9826] = 641
a[291 | 1191 | 1458 | 2323 | 4692 | 7331 | 8318 | 9457] = 688
a[131 | 1681 | 2283 | 2985 | 3555 | 4553 | 6288 | 7719 | 9312 | 9555] = 324
a[1267 | 1337 | 4634 | 6306 | 6407 | 7178 | 8685] = 454
a[665 | 2122 | 3377 | 4445 | 6736 | 7637 | 7660] = 577
a[37 | 1041 | 2401 | 3277 | 6386 | 6989 | 8474 | 8667] = 150
a[143 | 455 | 1403 | 2254 | 2360 | 3829 | 7458 | 7481 | 8166 | 8411 | 9344 | 9383] = 487
a[346 | 376 | 822 | 991 | 2110 | 2472 | 3166 | 3540 | 4393 | 4649 | 5328 | 7387 | 7872 | 8817 | 8953] = 689
a[972 | 3078 | 3565 | 4349 | 6552 | 9495 | 9857] = 708
a[150 | 535 | 1814 | 6704 | 7114 | 7598 | 7687 | 7720 | 8001 | 9047] = 153
a[1329 | 2212 | 2770 | 3561 | 3586 | 3676 | 4908 | 5022 | 5657 | 7173 | 9633] = 725
a[498 | 599 | 4052 | 4651 | 6415 | 6584 | 8227 | 8582] = 767
a[1180 | 1880 | 2514 | 3664 | 4863 | 7701 | 8827] = 595
a[897 | 2221 | 2321 | 3820 | 4241 | 6844 | 8775] = 774
a[1323 | 2350 | 3032 | 3744 | 3935 | 4733 | 6053 | 8554 | 9029 | 9169 | 9232] = 918
a[736 | 1315 | 1478 | 1487 | 2558 | 3680 | 4595 | 7035 | 7242 | 9955] = 471
a[460 | 821 | 1287 | 1491 | 2134 | 3025 | 3600 | 3705 | 4518 | 5474 | 6079 | 8944] = 83
a[1092 | 1747 | 2606 | 4865 | 5793 | 6817 | 8486 | 9865] = 745
a[1255 | 1365 | 1797 | 2907 | 4077 | 4254 | 4394 | 5479 | 6661 | 7373 | 8347 | 9971] = 760
a[506 | 635 | 4059 | 4966 | 5569 | 5788 | 9667] = 924
a[4 | 931 | 1066 | 2060 | 2436 | 4942 | 6547 | 6795 | 8242 | 8320 | 8349 | 8650 | 8657] = 430
a[554 | 969 | 983 | 1197 | 4171 | 6726 | 9947] = 72
a[212 | 1935 | 2006 | 2214 | 5882 | 7158] = 801
a[904 | 1390 | 1793 | 4375 | 9191 | 9274] = 979
a[3570 | 6136 | 7547 | 7971 | 9030 | 9997] = 57
a[3254 | 3938 | 3971 | 5357 | 5811 | 6389 | 8050 | 8926 | 9022 | 9691 | 9859] = 661
a[750 | 1589 | 2261 | 2980 | 3164 | 4712 | 4867] = 530
a[2783 | 3734 | 8229 | 9731] = 54
a[3139 | 3244 | 5892 | 6403 | 6878 | 7266 | 8825] = 229
a[1616 | 1744 | 2229 | 2345 | 2590 | 3038 | 3465 | 4605 | 4894 | 5385 | 6107 | 6249 | 6619 | 7053 | 8945 | 9425 | 9640] = 181
a[607 | 888 | 2583 | 3205 | 4158 | 4226 | 4944 | 5268 | 6583 | 6796 | 8857] = 531
a[14 | 794 | 4489 | 6887 | 7485 | 8126 | 8385] = 310
a[623 | 853 | 2464 | 4152 | 4203 | 4980 | 5488 | 6293 | 6765 | 8567] = 795
a[2182 | 2591 | 3130 | 5174 | 5641 | 5890 | 6380 | 6740 | 7157 | 8367 | 8704 | 9922] = 740
a[597 | 715 | 942 | 1078 | 1360 | 3509 | 4147 | 4969 | 6227] = 86
a[739 | 3115 | 3689 | 3923 | 5557 | 7285 | 7696 | 8464 | 9207 | 9431 | 9727 | 9862] = 517
a[1530 | 3419 | 3420 | 4627 | 7070 | 8188 | 9696] = 554
a[351 | 422 | 1359 | 3214 | 3308 | 3948 | 4329 | 4762 | 5444 | 5961 | 7236 | 9452] = 648
a[139 | 839 | 2385 | 2853 | 3225 | 4654 | 5248 | 5426 | 5464 | 6805 | 8042 | 8976 | 9114 | 9694] = 33
a[985 | 1441 | 2174 | 3102 | 3610 | 6105 | 7869 | 9149 | 9568 | 9654] = 914
a[17 | 1742 | 1831 | 2309 | 2339 | 2579 | 3758 | 4352 | 5045 | 6119 | 7016 | 7094 | 7709 | 8831 | 9289] = 366
a[60 | 3343 | 4301 | 4319 | 6782 | 7254 | 7371] = 886
a[884 | 2075 | 2588 | 5406 | 5615 | 7890 | 8551 | 8558 | 9087] = 980
a[3045 | 3099 | 3144 | 3783 | 4217 | 5852 | 5958 | 6045 | 9836] = 486
a[91 | 318 | 674 | 1483 | 1645 | 3830 | 4593 | 5335 | 5587 | 6849 | 9158 | 9326] = 939
a[179 | 3712 | 3741 | 4140 | 8162 | 8521 | 9636] = 461
a[153 | 705 | 6789 | 7898 | 8356 | 9538] = 862
a[1059 | 1937 | 4686 | 4879 | 5087 | 5347 | 7430 | 8560] = 615
a[870 | 2066 | 2545 | 2557 | 6022 | 6049 | 6324 | 6606 | 7958 | 8025 | 8576 | 8583 | 8884] = 730
a[77 | 1825 | 1931 | 2109 | 2389 | 2420 | 4859 | 6474 | 7061 | 7319 | 7704 | 7962 | 8223 | 9659] = 640
a[405 | 924 | 1498 | 6443 | 7208] = 905
a[2354 | 2367 | 3304 | 3442 | 4429 | 6709 | 7273 | 8225 | 8659 | 9875 | 9970] = 809
a[4357 | 4738 | 4747 | 9189] = 90
a[4892 | 4928 | 7991 | 8014 | 8020 | 8274 | 9202 | 9705 | 9946] = 606
a[510 | 1053 | 3264 | 4137 | 5222 | 5511 | 6705 | 8010] = 381
a[752 | 2304 | 3748 | 4288 | 4351 | 5744 | 7300 | 7692 | 7784 | 9143] = 614
a[855 | 1717 | 2804 | 2860 | 5263 | 5795 | 6299 | 7509 | 7825 | 8319 | 9651 | 9766] = 502
a[689 | 1125 | 1202 | 1819 | 1891 | 2563 | 5914 | 6001 | 6944 | 7151 | 7155 | 8363 | 8880 | 9625 | 9924] = 348
a[1044 | 1758 | 2032 | 2327 | 3974 | 4844 | 6972 | 8253 | 8437 | 8644 | 9885] = 823
a[366 | 823 | 929 | 1140 | 2298 | 3007 | 3473 | 3541 | 5536 | 7281 | 9332 | 9873] = 715
a[1841 | 2584 | 3611 | 5103 | 5701 | 7224 | 8089] = 771
a[566 | 2129 | 2527 | 2564 | 5223 | 6599 | 8995] = 485
a[256 | 2285 | 3337 | 3544 | 3768 | 5221 | 5279 | 5808 | 8568 | 9390 | 9484 | 9703] = 23
a[803 | 2217 | 2702 | 3022 | 3126 | 3772 | 4395 | 6019 | 7643 | 7942 | 9248 | 9565] = 957
a[694 | 1262 | 2002 | 2732 | 3231 | 3273 | 6012 | 6208 | 7234 | 7979 | 9574] = 325
a[30 | 303 | 325 | 1895 | 2101 | 3644 | 4384 | 4941 | 5783 | 5798 | 7536 | 7993 | 8571 | 8891 | 9751] = 256
a[564 | 1192 | 2387 | 4477 | 4585 | 5540 | 5774 | 6582 | 6745] = 930
a[1119 | 1321 | 2549 | 3091 | 3986 | 5082 | 5190 | 5630 | 5790 | 6533 | 7987] = 431
a[684 | 2522 | 3207 | 4081 | 4154 | 8530] = 555
a[1172 | 1381 | 1434 | 3654 | 6291 | 6382 | 6711 | 6863 | 7480 | 7627] = 904
a[97 | 1006 | 1072 | 1128 | 1741 | 2009 | 2164 | 3079 | 3397 | 7888] = 145
a[587 | 624 | 2762 | 3515 | 7256 | 8415 | 8744 | 9423] = 170
a[1826 | 3153 | 5653 | 6351 | 8652 | 9515 | 9583] = 954
a[2181 | 3136 | 4014 | 5292 | 5743 | 6097 | 7230 | 7661 | 9645] = 782
a[1088 | 1750 | 1768 | 2314 | 2658 | 2765 | 3529 | 7758 | 8390 | 8671 | 8707 | 9096 | 9162] = 418
a[606 | 2256 | 2830 | 3232 | 5847 | 7220 | 8239 | 8716] = 569
a[1457 | 3071 | 3445 | 5601 | 6954 | 7467 | 8097 | 8633 | 9000] = 257
a[743 | 928 | 2975 | 3526 | 3943 | 4204 | 5814 | 6353] = 514
a[515 | 590 | 2605 | 2721 | 2785 | 4581 | 5805 | 6205 | 7193 | 8769 | 8986 | 9249 | 9557] = 384
a[1286 | 2168 | 2942 | 4525 | 5293 | 8399 | 8588 | 9792] = 887
a[539 | 1293 | 1866 | 2084 | 2508 | 4687 | 4788 | 5337 | 7312 | 7715 | 8207] = 404
a[305 | 3569 | 3818 | 3850 | 6405 | 6744 | 8548 | 8988] = 611
a[585 | 704 | 950 | 1153 | 1926 | 2014 | 3282 | 4173 | 4803 | 5376 | 5467 | 6512 | 8284 | 8315 | 9496] = 159
a[300 | 2561 | 3426 | 5756 | 6109 | 9182 | 9954] = 165
a[537 | 608 | 759 | 1214 | 1413 | 1884 | 3752 | 4726 | 5402 | 7767 | 8209 | 8837 | 9296 | 9327] = 296
a[595 | 713 | 720 | 788 | 3321 | 4579 | 5367 | 6452 | 7050 | 7162 | 8309 | 8408 | 9345 | 9609] = 67
a[1485 | 2329 | 3300 | 3715 | 4056 | 5309 | 6724 | 7077 | 8867 | 9692 | 9888] = 422
a[295 | 1086 | 1711 | 3627 | 5462 | 6067 | 6936 | 7551 | 9132 | 9197 | 9399] = 59
a[1488 | 3781 | 5156 | 5404 | 5877 | 6148 | 6192 | 8412] = 450
a[251 | 1305 | 4189 | 5504 | 9879] = 744
a[502 | 735 | 2927 | 4630 | 4951 | 5651 | 5819 | 6714 | 8808 | 8902 | 8943 | 9055 | 9460] = 671
a[857 | 2089 | 2703 | 3662 | 4472 | 4555 | 5110 | 5936 | 5943 | 7140 | 8093] = 902
a[1148 | 4300 | 4702 | 5613 | 7280 | 8601 | 8753] = 787
a[577 | 642 | 1160 | 2877 | 5012 | 5380 | 5668 | 5874 | 6004 | 6850 | 7282] = 509
a[2958 | 3618 | 3889 | 5809 | 6140 | 7402] = 511
a[74 | 793 | 3418 | 3603 | 3703 | 5333 | 6110 | 7861] = 844
a[1131 | 2043 | 2193 | 3165 | 4979 | 5739 | 6861 | 8527 | 9907] = 646
a[114 | 123 | 1393 | 3107 | 3484 | 3556 | 4945 | 5350 | 6160 | 7651 | 8146] = 560
a[545 | 2049 | 2550 | 3233 | 3325 | 4067 | 4371 | 5818 | 7187 | 8218 | 8723] = 748
a[1038 | 1240 | 2397 | 3657 | 6531 | 9598] = 160
a[337 | 1996 | 3574 | 6290 | 6317 | 6622 | 7174 | 8080 | 8786] = 287
a[533 | 1171 | 1300 | 1844 | 3969 | 4899 | 4961 | 5632 | 6175 | 6914 | 7488 | 7924] = 276
a[3230 | 3266 | 3807 | 4498 | 4989 | 6370 | 7287 | 8018 | 8383 | 9612] = 863
a[2121 | 3697 | 3993 | 4513 | 7326 | 7941 | 8004] = 129
a[203 | 620 | 1346 | 1516 | 1658 | 2972 | 3278 | 4422 | 4530 | 4549 | 5440 | 6777 | 7152 | 7841 | 8701 | 9174 | 9711 | 9860] = 225
a[925 | 1827 | 3584 | 5133 | 5738 | 7022] = 910
a[1646 | 2733 | 3978 | 6780 | 6939 | 7087 | 7954 | 7965 | 8108 | 8280 | 8565] = 110
a[209 | 1634 | 1923 | 4456 | 5240 | 6786 | 7185 | 7364 | 8154] = 835
a[342 | 766 | 1467 | 2833 | 4008 | 4420 | 6223 | 6453 | 7038 | 7564 | 8930 | 9637 | 9752] = 493
a[1883 | 1948 | 2786 | 2955 | 3154 | 3221 | 6142 | 7461 | 7787 | 8898 | 9475 | 9950] = 951
a[841 | 2971 | 3216 | 3863 | 4522 | 5606 | 8028 | 9367] = 632
a[586 | 961 | 1499 | 2777 | 4058 | 5339 | 5636 | 6338 | 6868 | 7665 | 8016 | 8041 | 8687 | 9092] = 941
a[51 | 432 | 1046 | 1332 | 2235 | 3374 | 3960 | 4149 | 5875 | 6016 | 8394 | 9239] = 323
a[254 | 1025 | 1126 | 3625 | 4731 | 4821 | 5810 | 6364 | 7390 | 9113] = 959
a[140 | 189 | 1372 | 1502 | 2612 | 2916 | 4744 | 6200 | 6913 | 7874 | 8816 | 8879 | 9060 | 9709] = 627
a[219 | 745 | 1218 | 1709 | 2893 | 5921 | 6398 | 6723 | 7351] = 587
a[1063 | 1113 | 1881 | 4048 | 4853 | 5227 | 6095 | 6375] = 719
a[338 | 1619 | 2132 | 2253 | 2639 | 3942 | 5481 | 5928 | 7693 | 7877 | 8939 | 9150] = 138
a[80 | 789 | 1486 | 3217 | 3260 | 3695 | 6455 | 6686 | 7137 | 7605 | 7783 | 8333 | 9602 | 9904 | 9938] = 505
a[572 | 1694 | 2262 | 2870 | 3171 | 5994 | 6165 | 6441 | 7180 | 9658] = 351
a[56 | 293 | 1017 | 2430 | 2498 | 4975 | 5551 | 5580 | 5628 | 5697 | 7469 | 7515] = 989
a[407 | 503 | 1664 | 1934 | 4836 | 5598 | 5752 | 6214 | 9041 | 9662] = 506
a[2086 | 3406 | 4569 | 5817 | 6018 | 6184 | 6493 | 8373 | 9101 | 9753] = 278
a[768 | 954 | 2008 | 2241 | 4527 | 4604 | 5528 | 5720 | 6307 | 6471 | 6489 | 6718 | 7024 | 7723 | 9655] = 810
a[1770 | 2451 | 2683 | 3181 | 4363 | 4618 | 4919 | 5839 | 6650 | 7803 | 7859 | 8183 | 8330 | 8424] = 399
a[1039 | 1087 | 1823 | 2395 | 2673 | 4612 | 4856 | 5372 | 5973 | 6394 | 6575 | 9265 | 9815] = 385
a[613 | 1922 | 2737 | 3376 | 4001 | 5060 | 7565 | 8950] = 598
a[1224 | 2565 | 2603 | 3127 | 5037 | 7047 | 9371 | 9886 | 9969] = 420
a[5768 | 5962 | 6321 | 6611 | 8176 | 9553 | 9581 | 9903] = 219
a[1916 | 2225 | 2471 | 2633 | 5546 | 6884 | 9084 | 9287] = 156
a[129 | 569 | 776 | 2031 | 2535 | 3672 | 5422 | 5830 | 6995 | 7599 | 8191 | 9844] = 817
a[53 | 508 | 1302 | 2407 | 4695 | 5186 | 5315 | 8352] = 655
a[827 | 1383 | 2028 | 3184 | 3305 | 3686 | 6651 | 8047 | 8052 | 8276 | 9525 | 9545] = 421
a[795 | 1857 | 2659 | 4002 | 4116 | 6668 | 8351 | 9739] = 791
a[145 | 1830 | 3371 | 3524 | 4093 | 4425 | 4927 | 6059 | 6465 | 8821 | 9978] = 91
a[532 | 1296 | 1764 | 2133 | 2597 | 3053 | 4448 | 4545 | 4907 | 7144 | 7299 | 7640 | 8037 | 8764] = 42
a[806 | 1597 | 2391 | 3256 | 3542 | 5228 | 6409 | 7138 | 7239 | 7833 | 7945 | 9190 | 9913] = 293
a[1112 | 1347 | 3675 | 3916 | 5482 | 7748 | 7897 | 8244 | 8887 | 9353] = 814
a[373 | 656 | 2275 | 2681 | 4660 | 4787 | 5162 | 5529 | 6025 | 6057 | 6630 | 6951 | 7524 | 9403] = 387
a[264 | 600 | 1427 | 1583 | 3637 | 7450] = 226
a[76 | 1173 | 1250 | 1697 | 3311 | 5094 | 6767 | 8603 | 8896] = 684
a[856 | 2143 | 2715 | 2836 | 4019 | 4218 | 5144 | 6504 | 6843 | 6883 | 8026 | 8653 | 9085 | 9148] = 113
a[307 | 1235 | 1536 | 1945 | 4294 | 4816 | 5050 | 7574 | 8483] = 452
a[1526 | 3265 | 4381 | 5620 | 7344 | 7384 | 7969] = 570
a[792 | 1902 | 2410 | 3855 | 4234 | 5386 | 6570 | 7779 | 8391 | 9124 | 9476] = 965
a[1307 | 2876 | 2989 | 3041 | 3930 | 5369 | 5650 | 6212 | 7080 | 7838 | 9965] = 232
a[314 | 1527 | 1915 | 2035 | 2222 | 2643 | 3179 | 3821 | 5217 | 5851 | 6086 | 7001 | 8039 | 8458 | 9227 | 9596 | 9702] = 921
a[52 | 1370 | 2243 | 2532 | 4468 | 4988 | 7327] = 625
a[133 | 1721 | 2054 | 2875 | 4316 | 4924 | 5542] = 247
a[23 | 1248 | 3782 | 4815 | 5476 | 5583 | 5924 | 7649 | 8337 | 9307] = 142
a[22 | 1604 | 1980 | 5180 | 5909 | 6172 | 7484 | 7797 | 8773 | 9708] = 516
a[100 | 372 | 1327 | 2063 | 3103 | 3985 | 4977 | 7726 | 8733 | 9462] = 458
a[451 | 1167 | 4897 | 6729 | 8278 | 9167 | 9362] = 286
a[558 | 1746 | 2414 | 2428 | 4728 | 6451 | 6727 | 7380] = 336
a[388 | 2249 | 2928 | 3629 | 4355 | 4460 | 4625 | 5485 | 5888 | 6188 | 6973 | 7451 | 7894] = 726
a[922 | 1882 | 2107 | 2743 | 2908 | 3495 | 4032 | 4926 | 5212 | 5383 | 6278 | 6681 | 7082 | 7288 | 7427 | 7466] = 794
a[38 | 356 | 2324 | 3883 | 3946 | 5030 | 5167 | 5366 | 6029 | 6715 | 7394 | 7790 | 7886 | 8836] = 317
a[103 | 1523 | 3089 | 3384 | 4770 | 4936 | 7492 | 8379 | 8871] = 327
a[272 | 2572 | 4546 | 9876] = 515
a[786 | 1401 | 1466 | 1877 | 3111 | 4916 | 6971 | 7177 | 8638 | 9082] = 260
a[304 | 1489 | 9152 | 9729] = 120
a[418 | 945 | 948 | 1256 | 3035 | 3043 | 4638 | 6806 | 6836 | 8432 | 9291 | 9899] = 425
a[79 | 442 | 829 | 1961 | 2468 | 2525 | 3510 | 3921 | 4293 | 8612 | 9340] = 626
a[847 | 1964 | 4622 | 5843 | 8325 | 9377 | 9730] = 562
a[108 | 561 | 1105 | 3247 | 5026 | 7376 | 9401 | 9824] = 111
a[579 | 4205 | 5361 | 5408 | 7910 | 8114 | 8575 | 9956] = 38
a[106 | 1002 | 1328 | 2574 | 2951 | 3163 | 4452 | 4872 | 5442 | 5772 | 6553 | 7136 | 9044] = 955
a[459 | 926 | 1220 | 1718 | 2045 | 3926 | 5324 | 7028 | 8666 | 9486] = 642
a[1907 | 4411 | 4520 | 4730 | 5033 | 5765 | 6835 | 8513] = 737
a[696 | 2533 | 4331 | 4769 | 5988 | 6026 | 7182 | 8544 | 9298] = 329
a[1014 | 1998 | 3352 | 3433 | 3720 | 4486 | 4904 | 5151 | 5681 | 5930] = 264
a[297 | 2734 | 4424 | 6427 | 6654 | 7674 | 8745 | 9522 | 9818 | 9948] = 692
a[1292 | 4196 | 4550 | 5111 | 5970 | 6965 | 7981 | 8173 | 9259] = 685
a[903 | 2620 | 4773 | 9176 | 9347 | 9852] = 77
a[593 | 1975 | 4113 | 4683 | 6039 | 8416 | 9339] = 654
a[804 | 875 | 4086 | 4541 | 5040 | 5999 | 6771 | 7167 | 9406] = 130
a[529 | 927 | 2404 | 2526 | 2869 | 4866 | 4903 | 5038 | 6915] = 798
a[2872 | 3460 | 4644 | 5866 | 6006 | 7170 | 7718 | 8130 | 8155 | 8414 | 8626] = 99
a[975 | 3476 | 3482 | 7817 | 9868] = 356
a[889 | 1057 | 1213 | 2900 | 3450 | 3929 | 4749 | 4841 | 5024 | 5655 | 6164 | 8359 | 9417 | 9558] = 881
a[173 | 4845 | 5189 | 6166 | 6449 | 6923 | 9891] = 603
a[141 | 778 | 3874 | 3961 | 3995 | 5588 | 5956 | 7218 | 8649] = 672
a[1095 | 1501 | 1696 | 2078 | 2316 | 2781 | 3147 | 3224 | 4609 | 4710 | 4791 | 5256 | 5365 | 7757 | 8621] = 451
a[240 | 1828 | 2025 | 2393 | 3172 | 5823 | 7529 | 8326 | 8727 | 8780] = 37
a[227 | 912 | 1824 | 2476 | 2547 | 3646 | 4042 | 4284 | 5160 | 5917 | 6523 | 6962] = 27
a[86 | 408 | 9321 | 9594 | 9778] = 333
a[816 | 1343 | 4670 | 5249 | 5886 | 6932 | 8782 | 9657] = 503
a[796 | 2494 | 3924 | 4037 | 4918 | 5675 | 7653] = 417
a[2113 | 2679 | 2911 | 3750 | 5005 | 5205 | 7104 | 8046 | 9437 | 9464 | 9840] = 901
a[213 | 652 | 936 | 4330 | 4766 | 8801 | 9002 | 9834] = 149
a[753 | 1503 | 1618 | 3550 | 3722 | 4216 | 4792 | 5484 | 6653 | 7368] = 78
a[468 | 730 | 2279 | 2365 | 2854 | 3248 | 4105 | 5732 | 6917 | 7470] = 882
a[1075 | 1146 | 3802 | 4956 | 6327 | 6524 | 8812 | 9579] = 305
a[2491 | 4164 | 5119 | 6876 | 7545 | 8293 | 8503 | 8543] = 409
a[541 | 1333 | 1611 | 2493 | 2917 | 3017 | 4946 | 5908 | 6283 | 6337 | 7031] = 132
a[1573 | 4529 | 4850 | 5764 | 6268 | 6376 | 6597 | 6977 | 7275 | 7911 | 8245 | 9477] = 754
a[1008 | 1124 | 1428 | 2328 | 2332 | 3065 | 3121 | 4719 | 5705 | 5870 | 7309 | 9446 | 9642] = 464
a[1099 | 1927 | 2828 | 3011 | 4502 | 6643 | 7864 | 8445 | 8509] = 975
a[182 | 646 | 802 | 2230 | 3066 | 4689 | 5042 | 7519 | 8111 | 9010 | 9607 | 9664] = 656
a[2284 | 2370 | 2465 | 3653 | 5456 | 6347 | 7146 | 7341 | 8586 | 9550 | 9763] = 947
a[790 | 1205 | 1464 | 5501 | 5878 | 7847 | 8459 | 8500 | 8520 | 8529 | 8866 | 9897] = 880
a[1557 | 1663 | 4170 | 4753 | 5215 | 5523 | 6885 | 9676] = 900
a[1517 | 3109 | 3452 | 3491 | 3606 | 3661 | 4461 | 5872 | 6859] = 131
a[4871 | 5902 | 6037 | 6255 | 9125 | 9675] = 665
a[449 | 1301 | 2795 | 3303 | 3858 | 4397 | 5015 | 6589 | 7934 | 8312] = 894
a[1856 | 1876 | 2601 | 3454 | 3508 | 4174 | 4631 | 4707 | 5521 | 8215 | 8272] = 35
a[1079 | 1554 | 3122 | 3562 | 3740 | 5525 | 6365 | 6444 | 8978 | 9564] = 254
a[371 | 1076 | 1083 | 1132 | 3415 | 3431 | 4560 | 4885 | 4917 | 5079 | 6114 | 6168 | 6894 | 8043 | 9031 | 9184 | 9593 | 9698] = 652
a[3848 | 4756 | 6178 | 7179 | 7392 | 7393 | 7577 | 7808 | 8993 | 9015 | 9743] = 18
a[248 | 995 | 1241 | 2341 | 5043 | 6450] = 126
a[268 | 1411 | 4567 | 4802 | 5842 | 9635 | 9843 | 9964] = 358
a[686 | 2864 | 3941 | 5039 | 5748 | 6284 | 7019 | 7101 | 7901 | 8646 | 9102 | 9315] = 953
a[3466 | 5017 | 5154 | 5269 | 5544 | 5678 | 7435 | 9258] = 710
a[483 | 496 | 647 | 1407 | 4839 | 5454 | 5680 | 5940 | 7582 | 8736] = 43
a[4480 | 5242 | 5829 | 6256 | 6527 | 8410] = 974
a[55 | 989 | 1351 | 2710 | 4348 | 4494 | 8294 | 8850 | 9175 | 9348 | 9585] = 209
a[2963 | 4708 | 6221 | 6492 | 6846 | 6983 | 9133 | 9216 | 9336] = 998
a[1106 | 3492 | 8199 | 8545] = 283
a[383 | 394 | 500 | 633 | 2017 | 4705 | 5301 | 8974] = 718
a[425 | 3001 | 4206 | 4255 | 4772 | 5125 | 5737 | 7249 | 8186 | 8460 | 8611 | 9050 | 9614] = 742
a[1264 | 4586 | 7086 | 8495 | 8917 | 8982 | 9458 | 9647 | 9745] = 667
a[756 | 1355 | 3931 | 4920 | 8106 | 9278 | 9825] = 927
a[45 | 729 | 1317 | 1320 | 1917 | 3968 | 4132 | 4438 | 5036 | 6213 | 6446 | 7422 | 7635 | 8117 | 8616] = 338
a[2554 | 3833 | 5496 | 6591 | 7233 | 7606 | 8519 | 9375] = 443
a[279 | 2906 | 3024 | 3684 | 3775 | 5593 | 5669 | 6157 | 6623 | 6697 | 6814 | 6823 | 6948 | 7741 | 7770 | 7855 | 9488] = 204
a[1784 | 1899 | 5124 | 5687 | 5941 | 6300 | 6509 | 6576 | 6828 | 8771] = 337
a[88 | 1361 | 1519 | 2551 | 3551 | 3882 | 3910 | 4458 | 4505 | 4592 | 6206 | 7773 | 7994 | 9504] = 891
a[614 | 2861 | 2940 | 3074 | 3955 | 3982 | 4734 | 5338 | 6460 | 8082 | 8141 | 9803] = 731
a[653 | 661 | 845 | 944 | 1223 | 1313 | 2556 | 2943 | 6928 | 6981 | 7383 | 7549 | 7940 | 8027 | 9895] = 107
a[570 | 1615 | 2552 | 3051 | 3087 | 3552 | 4290 | 5652 | 5998 | 8015 | 9144] = 999
a[112 | 710 | 1155 | 3504 | 3594 | 4878 | 5023 | 6065 | 8557 | 9877] = 723
a[831 | 1892 | 2105 | 2442 | 4974 | 5074 | 8005 | 8341 | 9414] = 395
a[1149 | 1642 | 3405 | 4794 | 8705 | 9052 | 9310 | 9567] = 644
a[4099 | 4313 | 4811 | 6113 | 8031 | 8206 | 9065] = 216
a[899 | 1440 | 1654 | 1865 | 2796 | 4324 | 6122 | 6196 | 6502 | 7909 | 8664 | 8881 | 8958 | 9382 | 9685] = 466
a[2967 | 5113 | 5432 | 5997 | 8833 | 9201 | 9290 | 9905] = 472
a[62 | 142 | 262 | 280 | 1702 | 4849 | 6682 | 7156 | 7892 | 7956 | 7963 | 8292] = 266
a[1012 | 2623 | 3288 | 3463 | 4285 | 4564 | 5001 | 7576 | 9252 | 9394] = 724
a[84 | 2952 | 3658 | 4223 | 4332 | 4874 | 7290 | 7513 | 7591 | 9769 | 9894] = 249
a[137 | 630 | 1680 | 2126 | 3019 | 3118 | 3885 | 4848 | 5378 | 5715 | 6548 | 7040 | 8852] = 841
a[110 | 2599 | 2748 | 2805 | 3643 | 4156 | 5246 | 7453] = 564
a[234 | 1868 | 2920 | 5797 | 6072 | 6824 | 7985] = 122
a[229 | 680 | 1608 | 2108 | 2160 | 2426 | 4020 | 4960 | 5326 | 5604 | 7851 | 9335 | 9578] = 650
a[6 | 393 | 487 | 1674 | 2215 | 3568 | 3832 | 3980 | 6052 | 7148 | 7457 | 7721 | 8516] = 265
a[71 | 1518 | 1779 | 1786 | 3456 | 6322 | 9187] = 860
a[33 | 163 | 202 | 690 | 2005 | 2178 | 3401 | 3655 | 6054 | 9192] = 722
a[951 | 2287 | 3771 | 4561 | 4600 | 5421 | 5731 | 6776] = 751
a[1785 | 2431 | 4325 | 4858 | 5077 | 7573 | 8138 | 8362 | 9346] = 243
a[46 | 2984 | 4720 | 5049 | 5844 | 8906] = 483
a[446 | 501 | 771 | 1431 | 2269 | 2292 | 2766 | 3877 | 3984 | 3989 | 4029 | 5487 | 5806 | 6075 | 6209 | 6454 | 6665 | 6676 | 9218] = 622
a[1170 | 1243 | 2947 | 3094 | 6154 | 7348 | 8417 | 9089 | 9957] = 123
a[161 | 235 | 278 | 1279 | 2536 | 3188 | 3270 | 4307 | 4459 | 4642 | 5425 | 6060 | 6961 | 7623 | 8131] = 400
a[245 | 1422 | 3324 | 5191 | 5344 | 6567 | 6585 | 6625 | 6957 | 7126 | 8493 | 8903 | 9471 | 9543] = 993
a[913 | 1847 | 2057 | 2153 | 2398 | 3072 | 6839 | 7414 | 7951 | 9707] = 967
a[436 | 820 | 2142 | 3268 | 5282 | 5500 | 6419 | 6566 | 8481 | 9713] = 734
a[872 | 1024 | 1534 | 2594 | 2837 | 3536 | 3785 | 4922 | 5086 | 6177 | 7093] = 303
a[135 | 1031 | 1051 | 3915 | 4478 | 6368 | 6818 | 8789] = 188
a[634 | 1016 | 2372 | 3009 | 3344 | 4060 | 6572 | 6641 | 6888 | 8009 | 8482 | 8800] = 28
a[1035 | 1201 | 1756 | 2490 | 3693 | 4952 | 5841 | 6964 | 7642 | 8392 | 9058 | 9179 | 9499 | 9846] = 546
a[95 | 98 | 1845 | 3414 | 3513 | 4259 | 5070 | 6002 | 7163 | 7306 | 8348 | 8818] = 822
a[649 | 3006 | 6131 | 6769 | 6841 | 6990 | 7887] = 816
a[263 | 1963 | 2140 | 4110 | 4662 | 8916] = 71
a[1102 | 3286 | 3578 | 5014 | 5662 | 6343 | 8593 | 8957 | 9001 | 9396 | 9704 | 9869] = 973
a[32 | 1908 | 2669 | 3582 | 3700 | 8354 | 9756] = 545
a[319 | 1850 | 1989 | 2299 | 2879 | 2976 | 5405 | 7365] = 318
a[553 | 807 | 1459 | 3386 | 4011 | 5234 | 5527 | 6011 | 6880 | 7974 | 8855 | 9237 | 9738] = 746
a[330 | 1812 | 6816 | 7811 | 8823 | 9551] = 468
a[223 | 2540 | 3015 | 5901 | 6308 | 6542 | 6953 | 6967 | 8360 | 9485 | 9673 | 9831] = 547
a[1122 | 2484 | 3403 | 3668 | 4931 | 5230 | 7003 | 7120 | 7340 | 8151 | 9071 | 9397] = 253
a[1495 | 1620 | 2159 | 3052 | 4940 | 5435 | 6147 | 6233 | 6903 | 7752 | 8255 | 8313 | 8751] = 783
a[777 | 838 | 4447 | 5477 | 7401 | 7497 | 8488] = 20
a[959 | 973 | 2097 | 2637 | 4840 | 5683 | 5835 | 6781 | 7592 | 7972 | 9314] = 30
a[160 | 2693 | 3258 | 4258 | 4771 | 4843 | 7130] = 699
a[1552 | 1632 | 1780 | 1822 | 4440 | 5419 | 5849 | 6829 | 7181 | 7594 | 7837 | 8625 | 8873 | 9106 | 9373 | 9474] = 750
a[3691 | 4666 | 4714 | 4925 | 6821 | 7537 | 7688 | 8102 | 8273 | 8395] = 217
a[156 | 277 | 576 | 846 | 1303 | 1781 | 2046 | 2857 | 3899 | 4396 | 4521 | 5243 | 9127] = 716
a[2206 | 2809 | 2832 | 3812 | 4608 | 4809 | 5007 | 6937 | 7567 | 8109 | 8422 | 8718 | 9138] = 271
a[513 | 976 | 3003 | 3105 | 6421 | 6526 | 9427] = 182
a[414 | 439 | 2114 | 2846 | 3888 | 4862 | 5663 | 7695] = 842
a[1156 | 1309 | 1377 | 3281 | 4134 | 6152 | 6921 | 8219 | 9443 | 9604 | 9961] = 769
a[332 | 967 | 1673 | 1804 | 3113 | 3322 | 4495 | 5277 | 6532 | 6652 | 6881 | 7648 | 8793 | 9372] = 80
a[1795 | 2233 | 2501 | 3861 | 3970 | 4599 | 5412 | 5413 | 5530 | 5903 | 6261 | 6671 | 8955 | 9909] = 917
a[313 | 1753 | 2689 | 2829 | 4751 | 5058 | 6856 | 7679 | 7915 | 9308 | 9405] = 419
a[2752] = 799
a[306 | 1426 | 1766 | 2130 | 4752 | 5142 | 6068 | 7411 | 8921 | 9402 | 9505 | 9775] = 943
a[54 | 2027 | 2251 | 2672 | 3023 | 3789 | 3967 | 4690 | 5048 | 5938 | 7250 | 8024 | 8070 | 9444] = 934
a[492 | 993 | 3786 | 3997 | 4122 | 4186 | 5117 | 7968 | 8404 | 9107] = 960
a[454 | 2074 | 4012 | 4566 | 4675 | 5166 | 5493 | 6082 | 6392 | 6434 | 6734 | 7631 | 8115 | 8662 | 9045 | 9984 | 9993 | 9999] = 102
a[10 | 1842 | 2772 | 2791 | 2855 | 3134 | 3983 | 4071 | 5273 | 5548 | 5690 | 5959 | 5960 | 6497 | 7788 | 9728] = 414
a[1368 | 3864 | 4292 | 4338 | 5051 | 7502 | 8574 | 8994] = 177
a[664 | 699 | 1326 | 1330 | 1782 | 2166 | 2469 | 2696 | 3755 | 4169] = 151
a[11 | 65 | 287 | 2310 | 2568 | 5396 | 7760 | 8289] = 940
a[2714 | 2966 | 3519 | 4437 | 4676 | 5197 | 6808 | 6875 | 7116 | 8720 | 9976] = 525
a[871 | 1274 | 1775 | 3033 | 3175 | 4745 | 4984 | 5032 | 5224 | 6181 | 8119 | 9608] = 636
a[1230 | 1958 | 1993 | 2470 | 2707 | 2919 | 5633 | 5656 | 6544 | 7659 | 8899 | 9491] = 797
a[324 | 1700 | 3919 | 5027 | 5949 | 7882 | 8065 | 9014] = 673
a[617 | 669 | 3588 | 4820 | 7554 | 7884 | 8979 | 9080 | 9136] = 433
a[208 | 578 | 755 | 937 | 2082 | 4157 | 7017 | 8216] = 436
a[3589 | 4421 | 5109 | 7274 | 7729 | 8617 | 9389] = 383
a[70 | 5267 | 6265 | 8712 | 9973] = 736
a[67 | 718 | 1623 | 2931 | 4594 | 6146 | 9350 | 9507 | 9757] = 937
a[583 | 1285 | 1324 | 1760 | 1863 | 2450 | 5052 | 7462] = 703
a[1374 | 1402 | 1671 | 1761 | 2073 | 2701 | 3293 | 4340 | 5157 | 6000 | 7352 | 8585] = 721
a[893 | 1622 | 2019 | 2912 | 3457 | 3505 | 3897 | 4063 | 4208 | 5311 | 8113 | 8781] = 800
a[327 | 401 | 563 | 1801 | 3439 | 3493 | 4083 | 5161 | 5480 | 6199 | 7590 | 7960 | 8673 | 9066] = 574
a[2790 | 3345 | 4089 | 4457 | 4506 | 4572 | 6675 | 7153 | 7382 | 7664 | 9742] = 602
a[3234 | 3913 | 4376 | 6820 | 7223 | 7385 | 8713 | 9214] = 201
a[217 | 335 | 1722 | 3731 | 7046 | 9433] = 46
a[2117 | 3351 | 3488 | 4847 | 5150 | 5987 | 6754 | 7540 | 9392] = 476
a[1029 | 2029 | 2280 | 4104 | 5733 | 6282 | 7317 | 9942] = 651
a[1294 | 1560 | 2011 | 3132 | 4126 | 6470 | 7374 | 7840 | 9699] = 6
a[382 | 478 | 511 | 1189 | 1469 | 2357 | 4882 | 5670 | 6234 | 6459 | 8261 | 8301 | 8847 | 9228] = 892
a[3449 | 4026 | 4909 | 7493 | 8300 | 8472 | 9580] = 76
a[4118 | 7381 | 8177 | 8731] = 852
a[2453 | 4963 | 5064 | 6617 | 7983 | 9017] = 820
a[2760 | 3314 | 4976 | 5220 | 5308 | 5699 | 5766 | 6870 | 8620 | 9571] = 658
a[2213 | 2739 | 3142 | 3577 | 3766 | 4139 | 5209 | 5659 | 7848] = 259
a[36 | 286 | 906 | 1586 | 2319 | 4085 | 5740 | 6091 | 6117 | 6171 | 7161 | 9140] = 923
a[2077 | 2635 | 3628 | 4273 | 5146 | 7638 | 8457 | 8628 | 9288 | 9370] = 168
a[528 | 2957 | 3259 | 3422 | 5375 | 6815 | 7566 | 8054 | 8629 | 9447] = 346
a[34 | 798 | 825 | 886 | 1601 | 2072 | 5838 | 5976 | 5992 | 6670 | 8011 | 9850] = 829
a[594 | 3160 | 3298 | 3894 | 4643 | 5062 | 5266 | 6014 | 6703 | 9809] = 89
a[1659 | 2189 | 2676 | 5827 | 7967 | 8034 | 8960 | 9046] = 568
a[531 | 697 | 812 | 828 | 1196 | 2724 | 4789 | 6822 | 8451] = 36
a[151 | 157 | 941 | 2018 | 2079 | 3206 | 3990 | 6541 | 6798 | 7127 | 8542 | 9966] = 945
a[1316 | 1578 | 2180 | 2648 | 6621 | 6664 | 7369 | 8158 | 9777] = 733
a[1559 | 1699 | 2910 | 3088 | 4435 | 5265 | 8307 | 9103 | 9381] = 675
a[663 | 3227 | 8298] = 499
a[3097 | 3738 | 5566 | 6487 | 7904 | 8743 | 9379] = 709
a[619 | 999 | 1448 | 2575 | 2736 | 4309 | 5458] = 377
a[1686 | 3169 | 4405 | 4913 | 6461 | 7625 | 8518 | 8549 | 9368 | 9714] = 60
a[598 | 654 | 3028 | 4473 | 4709 | 5003 | 5239 | 5259 | 5288 | 5695 | 9356 | 9616] = 202
a[69 | 527 | 921 | 2998 | 5101 | 6560 | 9669 | 9854] = 95
a[666 | 1166 | 3296 | 6640 | 6785 | 8856] = 415
a[1855 | 4095 | 5349 | 7873 | 9916] = 480
a[452 | 2717 | 3215 | 4387 | 6865 | 8819] = 705
a[2671 | 2902 | 3641 | 4082 | 4131 | 4490 | 4542 | 4971 | 5599 | 5911 | 5974 | 6215 | 7092 | 8927 | 9318 | 9380] = 148
a[504 | 1470 | 3208 | 4626 | 5832 | 8537 | 9325 | 9982] = 729
a[1410 | 1661 | 1705 | 1839 | 1912 | 2172 | 2446 | 4857 | 5996 | 6618 | 6851 | 7084 | 7644 | 7925 | 8429 | 9761] = 166
a[651 | 2645 | 4287 | 4328 | 7834 | 8153 | 8232 | 9678] = 638
a[1021 | 1254 | 2581 | 2808 | 2865 | 3779 | 5199 | 5417 | 5499 | 8443 | 8858] = 484
a[3378 | 3453 | 4143 | 4543 | 4757 | 5004 | 5319 | 5329 | 6062 | 6361 | 7780 | 9438 | 9463] = 496
a[672 | 1271 | 1479 | 1871 | 2359 | 2883 | 3428 | 4487 | 8849] = 507
a[24 | 1582 | 2427 | 3619 | 6078 | 8613 | 9255] = 288
a[1617 | 2460 | 2488 | 4983 | 5897 | 9943] = 522
a[184 | 881 | 1913 | 2507 | 2784 | 2819 | 3878 | 3949 | 4419 | 4817 | 6108 | 6182 | 6943 | 7005 | 7362 | 7445] = 938
a[3152 | 4062 | 4326 | 4528 | 7103 | 7527 | 7880] = 613
a[836 | 854 | 1535 | 2626 | 3743 | 3823 | 4109 | 5131 | 5550 | 7099 | 8928] = 796
a[830 | 3027 | 4199 | 4650 | 5926 | 7456 | 8490 | 9131] = 477
a[1030 | 1727 | 3002 | 4611] = 334
a[190 | 239 | 467 | 575 | 1297 | 1897 | 2726 | 3409 | 3898 | 4178 | 4767 | 5490 | 5572 | 5605 | 8051 | 9575] = 118
a[953 | 2331 | 2615 | 3399 | 3598 | 5028 | 7072 | 7756 | 7878 | 9099] = 31
a[243 | 850 | 2042 | 4602 | 4679 | 4993 | 5915 | 6942 | 8387 | 8772 | 9720] = 199
a[910 | 1443 | 2322 | 4314 | 6634 | 7270 | 7354 | 7710 | 7807] = 261
a[63 | 210 | 800 | 1730 | 2297 | 3237 | 3685 | 6439 | 8250 | 9024 | 9652] = 63
a[87 | 1579 | 1678 | 3060 | 4068 | 5299 | 5850 | 7323 | 7750 | 9317] = 720
a[930 | 1331 | 3632 | 3669 | 4107 | 4181 | 5664 | 5845 | 5922 | 6050 | 6297 | 7078 | 7318 | 7583 | 7690 | 8419 | 8533 | 9070] = 536
a[616 | 3464 | 6083 | 8152 | 8534 | 8631 | 9008 | 9421 | 9512 | 9724] = 222
a[294 | 1627 | 2305 | 2938 | 3338 | 4881 | 5342 | 8952 | 9295 | 9432 | 9802] = 785
a[13 | 158 | 808 | 1509 | 2119 | 3199 | 3760 | 5153 | 7496] = 849
a[544 | 2825 | 6564 | 7013 | 8569] = 489
a[138 | 1007 | 1336 | 1362 | 2954 | 5184 | 6040 | 7105 | 7652] = 191
a[1228 | 1869 | 1936 | 2167 | 2346 | 3621 | 5009 | 6074 | 6103 | 6314 | 7075 | 7147 | 7777 | 8179 | 9631] = 413
a[339 | 369 | 546 | 1471 | 1587 | 2509 | 4754 | 8369] = 245
a[201 | 3018 | 3389 | 4812 | 5416 | 5718 | 6023 | 6369 | 7089 | 8990] = 119
a[48 | 211 | 260 | 276 | 834 | 4835 | 5944 | 8112 | 8279 | 8830 | 9076] = 103
a[824 | 837 | 3213 | 4629 | 9021 | 9944] = 155
a[2039 | 3927 | 4558 | 5271 | 6346 | 6418 | 7429 | 8992 | 9097] = 963
a[520 | 660 | 1714 | 1834 | 3636 | 3920 | 6070 | 7650 | 7926 | 8452 | 9928] = 154
a[2716 | 4997 | 5429 | 5649 | 5966 | 6096 | 7358 | 8421 | 8441 | 8991 | 9157 | 9466 | 9845] = 273
a[940 | 1074 | 1734 | 2894 | 4597 | 5514 | 5816 | 6984 | 8797 | 9241 | 9532] = 432
a[166 | 1445 | 2131 | 2247 | 3158 | 5787 | 6400 | 6601 | 7324 | 7334 | 8079 | 8296 | 8502 | 9053] = 534
a[678 | 679 | 1643 | 7891 | 8100] = 510
a[518 | 688 | 1477 | 1752 | 1921 | 1949 | 2882 | 3872 | 4102 | 8003 | 8501 | 9040 | 9365] = 9
a[72 | 1116 | 2974 | 3470 | 4064 | 5331 | 5612 | 8021 | 9540] = 408
a[311 | 835 | 1100 | 1157 | 1278 | 2146 | 2383 | 2504 | 2685 | 2925 | 3623 | 4694 | 5006 | 5919] = 482
a[185 | 2649 | 2723 | 3854 | 4855 | 5597 | 6573 | 7203 | 8397] = 812
a[43 | 5513 | 5549 | 6229 | 9363 | 9407] = 870
a[692 | 754 | 1185 | 3708 | 3962 | 4006 | 5591 | 6379 | 9104] = 764
a[409 | 1462 | 1743 | 3334 | 4454 | 5127 | 6191 | 6239 | 6588 | 7042 | 7271 | 7821 | 9813] = 319
a[89 | 946 | 1973 | 3379 | 4135 | 5770 | 6243 | 6280 | 7032 | 8647 | 9161 | 9277 | 9513 | 9780 | 9932] = 64
a[1084 | 1950 | 2684 | 5840 | 6586 | 9487] = 971
a[996 | 1691 | 1749 | 1919 | 1960 | 6085 | 8661] = 765
a[1094 | 5602 | 5791 | 6237 | 7795] = 328
a[39 | 562 | 947 | 1493 | 1550 | 3437 | 5384 | 5781 | 6150 | 8839 | 9404 | 9453 | 9985] = 101
a[385 | 2477 | 3573 | 4540 | 5297 | 5353 | 5722 | 6262 | 6412 | 7716 | 8081 | 8396 | 8922 | 9560] = 428
a[1283 | 1650 | 2000 | 2520 | 3381 | 3616 | 3838 | 4146 | 4797 | 5091 | 7917 | 8577 | 9398 | 9842] = 539
a[215 | 290 | 2192 | 2709 | 3624 | 4782 | 7134 | 8328] = 714
a[1082 | 5351 | 5660 | 7262 | 7656 | 8605 | 9516 | 9829] = 378
a[437 | 757 | 1050 | 1507 | 1986 | 3279 | 3975 | 5857 | 5957 | 6435 | 6695 | 7927 | 8270] = 772
a[1463 | 2216 | 2704 | 2764 | 3069 | 3566 | 3819 | 4588 | 4760 | 4992 | 5235 | 7398 | 9959] = 529
a[497 | 1282 | 1918 | 3034 | 3274 | 5876 | 6593 | 6706] = 866
a[2020 | 2325 | 5927 | 5929 | 6201 | 6387 | 6614] = 576
a[1851 | 3313 | 4469 | 6093 | 9821] = 543
a[193 | 843 | 1713 | 2582 | 4696 | 5169 | 6794 | 6810 | 8264 | 8266 | 8798 | 9121] = 645
a[538 | 1295 | 2022 | 2138 | 3868 | 5895 | 6151 | 7612 | 7681 | 7717 | 7868 | 8932] = 369
a[1003 | 1538 | 1984 | 3020 | 3323 | 4353 | 5547 | 5799 | 6009 | 7091 | 8290 | 8592 | 9282 | 9721] = 619
a[1363 | 2438 | 2487 | 3008 | 5723 | 8824 | 9918] = 372
a[1 | 130 | 602 | 3385 | 3692 | 4038 | 4275 | 4399 | 5000 | 5742 | 7438] = 394
a[269 | 2106 | 2478 | 2502 | 3048 | 3934 | 5029 | 5057 | 7370 | 8738 | 8897 | 9679] = 446
a[4390 | 5025 | 5677 | 6866 | 7441 | 9007 | 9445] = 833
a[549 | 1037 | 3502 | 3601 | 5862 | 5950 | 7201 | 8807 | 8918 | 9611 | 9804] = 315
a[96 | 2991 | 6339 | 7535 | 7739 | 8121 | 9211 | 9297 | 9632 | 9979] = 990
a[721 | 2506 | 2881 | 3576 | 4053 | 6153 | 8136 | 8208 | 9468] = 230
a[1036 | 1398 | 4280 | 5951 | 6081 | 6720 | 7009 | 7199 | 7559 | 8275] = 594
a[273 | 411 | 861 | 5204 | 5252 | 6325 | 8144 | 8909 | 9206] = 478
a[887 | 970 | 1567 | 4647 | 4860 | 6362 | 6952 | 6991 | 7796 | 8282 | 9313] = 124
a[512 | 1999 | 3320 | 4509 | 6762 | 8956] = 550
a[3797 | 4133 | 4296 | 4905 | 4943 | 5853 | 6281 | 8595 | 9975] = 592
a[122 | 702 | 2713 | 3794 | 4697 | 6408 | 7204 | 7417 | 7428 | 8175 | 8845] = 617
a[2069 | 2887 | 3101 | 3751 | 3815 | 4022 | 8086 | 8098 | 8514 | 9435] = 521
a[2185 | 2188 | 2458 | 3367 | 4451 | 4534 | 6645 | 6647 | 7871 | 8006 | 8624] = 843
a[990 | 1974 | 2496 | 2843 | 3082 | 4271 | 4510 | 5708 | 6036 | 6125 | 6204 | 6696 | 7110 | 7747 | 8697 | 8832 | 9026] = 674
a[1599 | 1771 | 2779 | 5116 | 5667 | 6693 | 6788 | 8068 | 9301] = 175
a[1584 | 1875 | 2674 | 6330 | 6331 | 7571 | 8641 | 9767] = 757
a[489 | 1689 | 2148 | 2155 | 2979 | 4295 | 4370 | 5800 | 6161 | 7117 | 8211 | 9108] = 322
a[216 | 687 | 3359 | 4161 | 5865 | 6003 | 7820 | 9011] = 224
a[640 | 683 | 1456 | 1532 | 2207 | 3090 | 3471 | 3518 | 3849 | 4366 | 4655 | 5491 | 7194 | 7903 | 8163 | 9204] = 206
a[1701 | 1724 | 2424 | 2433 | 2895 | 4481 | 4876 | 6141 | 6719 | 7268] = 231
a[265 | 2238 | 5984 | 9023] = 73
a[195 | 299 | 767 | 2010 | 2151 | 3548 | 5884 | 6088 | 6568] = 865
a[2088 | 3539 | 5398 | 8972 | 9503 | 9650] = 447
a[440 | 1577 | 2973 | 4538 | 4563 | 4880 | 5084 | 5229 | 5399 | 6120 | 6244 | 7614] = 691
a[2544 | 2820 | 4162 | 4304 | 4333 | 4596 | 4759 | 4883 | 4930 | 5099 | 6832 | 8036] = 147
a[878 | 2194 | 2337 | 6858 | 7845] = 396
a[716 | 1388 | 1890 | 2374 | 2388 | 3251 | 4635 | 6129 | 6303 | 6373 | 8013 | 8531] = 528
a[427 | 725 | 1602 | 1849 | 3328 | 3609 | 4030 | 5018 | 5068 | 5120 | 5745 | 6600 | 7423 | 7831] = 15
a[1310 | 2062 | 2467 | 3086 | 4807 | 4828 | 6760 | 7950 | 8269 | 8335 | 8446 | 8600 | 9105 | 9413 | 9420 | 9980] = 586
a[481 | 774 | 3209 | 6525 | 7964 | 8092 | 8299 | 9245 | 9638] = 871
a[1572 | 3958 | 4886 | 6613 | 7478 | 7584 | 9126 | 9591] = 994
a[1071 | 2059 | 2888 | 3039 | 3951 | 4833 | 5661 | 6447 | 6649 | 7283] = 948
a[2655 | 2680 | 4057 | 4242 | 4402 | 5286 | 5533 | 5696 | 9411] = 936
a[1628 | 2400 | 3799 | 4276 | 5313 | 7237 | 7356 | 7542 | 7826 | 8870 | 9319 | 9570 | 9589] = 712
a[1790 | 3617 | 7097 | 8310 | 8470 | 8477 | 8784 | 9762] = 252
a[329 | 1656 | 1723 | 5258 | 6722 | 7533 | 9556] = 12
a[365 | 626 | 3186 | 3262 | 4374 | 4672 | 4778 | 5982 | 6571 | 8324] = 196
a[1231 | 2945 | 3605 | 4775 | 5152 | 5208 | 6416 | 6960 | 7154 | 8194 | 8573] = 925
a[2340 | 2375 | 2499 | 4443 | 5067 | 5081 | 5905 | 6393 | 7706 | 9995] = 98
a[1055 | 1733 | 3219 | 3272 | 3467 | 4499 | 6063 | 8256] = 679
a[1867 | 1951 | 3479 | 4929 | 5047 | 5080 | 8438 | 8908 | 9459] = 738
a[176 | 1054 | 3330 | 3945 | 3991 | 4245 | 4389 | 4906 | 6207 | 8748 | 8888 | 9573 | 9646] = 429
a[3315 | 3836 | 3865 | 4160 | 6644 | 7400 | 8134 | 9799] = 928
a[890 | 1682 | 1748 | 3571 | 6854 | 8168 | 9497] = 804
a[966 | 1186 | 1818 | 2087 | 2517 | 4098 | 5769 | 5802 | 5885 | 6580 | 7685 | 7943] = 258
a[482 | 2048 | 2289 | 2456 | 6230 | 7639 | 7655 | 8999] = 19
a[542 | 880 | 998 | 1098 | 1932 | 4362 | 5439 | 6616 | 6755 | 6825 | 6935 | 7330 | 9595 | 9760] = 300
a[344 | 685 | 859 | 1529 | 2093 | 3243 | 3869 | 5672 | 7041 | 9449 | 9749 | 9837] = 624
a[1767 | 3167 | 3530 | 3587 | 4036 | 5165 | 9324] = 125
a[1537 | 1778 | 3813 | 5300 | 5807 | 5812 | 6799 | 7357] = 526
a[107 | 1400 | 1515 | 3316 | 3583 | 4568 | 4801 | 5574 | 5918 | 8189 | 8885 | 9172 | 9528] = 501
a[933 | 1200 | 1706 | 2677 | 2892 | 4632 | 5423 | 6830 | 8201 | 9626 | 9716] = 312
a[3554 | 3579 | 4043 | 4168 | 7597 | 8507 | 9219] = 320
a[479 | 1614 | 2220 | 3170 | 3373 | 4115 | 4796 | 4887 | 5880 | 6005 | 6520 | 6631 | 7647 | 8331 | 8758 | 8861] = 158
a[31 | 221 | 494 | 1953 | 2219 | 6323 | 7071 | 7190 | 7407 | 8584] = 931
a[4311 | 4475 | 4780 | 5290 | 7069 | 7615 | 8159 | 9634 | 9677] = 302
a[1104 | 1982 | 2300 | 6210 | 7730 | 7843 | 8695 | 9936] = 815
a[797 | 1318 | 1465 | 1568 | 1637 | 1684 | 1985 | 2021 | 2915 | 2962 | 3361 | 3408 | 3912 | 4175 | 4207 | 4621 | 5175 | 7474 | 8072 | 8725 | 9782 | 9841] = 393
a[6457 | 7751 | 8401] = 250
a[1151 | 4224 | 5115 | 6707 | 7206 | 7996] = 558
a[40 | 85 | 1345 | 2184 | 3841 | 4453 | 5512 | 5522 | 6604 | 8946 | 8951 | 9145] = 747
a[390 | 2614 | 5148 | 5149 | 5867 | 6886 | 7708 | 8524] = 169
a[2934 | 4474 | 5831 | 8962] = 284
a[396 | 955 | 3129 | 3355 | 4346 | 7360 | 7418 | 7608 | 7713 | 9689] = 457
a[1647 | 2347 | 3054 | 3413 | 4492 | 7505 | 8090 | 8492] = 630
a[82 | 1914 | 2534 | 3673 | 5470 | 7111 | 7802 | 8672 | 9168 | 9217 | 9870] = 888
a[3391 | 5685 | 5859 | 6402 | 6511 | 7976] = 621
a[2437 | 2619 | 3533 | 5177 | 6061 | 7026 | 7051 | 8923] = 474
a[2102 | 3634 | 5815 | 6563 | 7586 | 7916 | 9883] = 207
a[438 | 2263 | 3932 | 5287 | 5776 | 7255] = 2
a[1005 | 1565 | 2369 | 4674 | 5072 | 6498 | 7425 | 8197 | 8602 | 9672] = 879
a[326 | 1111 | 1496 | 2386 | 2695 | 2949 | 3350 | 5330 | 5757 | 5782 | 6277 | 7437 | 8627 | 9853] = 157
a[19 | 350 | 938 | 1736 | 2053 | 2727 | 3291 | 3723 | 4072 | 4404 | 4463 | 5251 | 6076 | 6286 | 7124 | 8967 | 9006] = 913
a[146 | 172 | 255 | 615 | 673 | 4861 | 5397 | 5758 | 5837 | 8413 | 9688] = 695
a[2067 | 4972 | 5118 | 5709 | 5993 | 7165 | 7311 | 7799 | 9811] = 460
a[453 | 782 | 2286 | 4503 | 5238 | 9502] = 186
a[186 | 321 | 900 | 2613 | 2642 | 3267 | 3633 | 5621 | 5933 | 9199 | 9320 | 9533] = 365
a[791 | 1199 | 1861 | 2371 | 2661 | 4016 | 4691 | 4965 | 5637 | 7440 | 7609 | 7712 | 8167 | 8182 | 9732] = 268
a[419 | 1454 | 1962 | 2076 | 3161 | 3183 | 3201 | 4798 | 5749 | 6692 | 6949 | 7680 | 9774] = 192
a[162 | 323 | 410 | 424 | 1455 | 4130 | 4995 | 5053 | 5182 | 6742 | 6812 | 7304] = 857
a[99 | 1164 | 1227 | 1983 | 2258 | 3319 | 5700 | 9619 | 9884] = 556
a[923 | 1920 | 1994 | 3117 | 3429 | 4045 | 5428 | 6602 | 7593 | 9090 | 9257] = 839
a[2753 | 3674 | 3698 | 3852 | 6031 | 6333 | 6476 | 7722] = 876
a[3112 | 5449 | 8517 | 9275] = 386
a[862 | 1547 | 1815 | 2719 | 4410 | 4739 | 5750 | 7133 | 7307 | 7778 | 8802 | 9329 | 9448 | 9797] = 629
a[758 | 1621 | 7740 | 7829 | 8732] = 211
a[1354 | 1566 | 7074 | 7260 | 9095 | 9660 | 9987] = 50
a[416 | 592 | 979 | 3483 | 4031 | 4229 | 4428 | 4501 | 4610 | 4937 | 5340 | 6167 | 6809 | 7353 | 7633 | 8067 | 8682 | 9489 | 9746] = 997
a[257 | 336 | 2628 | 3645 | 5128 | 5136 | 5280 | 9151 | 9450] = 557
a[445 | 641 | 1203 | 1546 | 1571 | 2281 | 2652 | 3400 | 6627 | 7209 | 8257 | 8314 | 9830] = 121
a[218 | 473 | 2729 | 4441 | 5582 | 6116 | 7027] = 836
a[5260 | 5671 | 6480 | 7339 | 8684 | 8810 | 8876 | 9410 | 9490] = 580
a[61 | 472 | 671 | 3200 | 3448 | 3591 | 4781 | 6698 | 9601 | 9914] = 533
a[960 | 1625 | 1829 | 2047 | 3185 | 3918 | 4359 | 4742 | 4870 | 6163 | 7269 | 7906] = 508
a[1134 | 2417 | 4240 | 8288 | 8961] = 494
a[556 | 4100 | 4153 | 6090 | 6328 | 7786 | 8035] = 412
a[2503 | 4837 | 5141 | 5995 | 6803 | 7083] = 251
a[26 | 403 | 1135 | 1190 | 2858 | 4514 | 6316 | 7819 | 8059 | 8604] = 773
a[25 | 1416 | 3567 | 3816 | 4046 | 5910 | 6137 | 6225 | 6411 | 7025 | 7297 | 8463 | 9620] = 143
a[773 | 1358 | 1593 | 1635 | 3010 | 3040 | 3120 | 5194 | 5691 | 6750 | 8099 | 9116 | 9137] = 239
a[610 | 1208 | 2405 | 2513 | 2755 | 3911 | 5034 | 5741 | 5934 | 9155 | 9376] = 942
a[367 | 809 | 2792 | 3173 | 4406 | 5643 | 5713 | 6713 | 7113 | 7176 | 7568 | 7957 | 8012 | 9492] = 342
a[368 | 2248 | 2814 | 3976 | 4407 | 4868 | 5409 | 5635 | 6475 | 6672 | 7938 | 8174 | 9586 | 9945] = 163
a[177 | 1977 | 4051 | 7646 | 8101 | 8210] = 593
a[391 | 1114 | 2948 | 3138 | 3739 | 4079 | 5502 | 6273 | 6430 | 6590 | 7511 | 8202] = 456
a[2030 | 3341 | 3438 | 5274 | 7775 | 9754 | 9787] = 628
a[167 | 417 | 571 | 1610 | 2245 | 2742 | 2840 | 3870 | 6472 | 6530 | 6609 | 6633 | 6800 | 8088 | 8323 | 8606 | 8609] = 831
a[331 | 1229 | 1290 | 1561 | 3677 | 4516 | 7076 | 7914 | 8334 | 9147 | 9874] = 759
a[1430 | 3108 | 3195 | 3365 | 3778 | 3957 | 5020 | 5102 | 6550 | 8248 | 9292 | 9366 | 9734] = 347
a[302 | 742 | 1204 | 1971 | 6197 | 6257 | 8297 | 9083] = 542
a[1340 | 1344 | 2111 | 2301 | 2964 | 5241 | 6490 | 7654 | 9240 | 9866] = 398
a[1685 | 3656 | 5967 | 6468 | 7782 | 8023] = 966
a[1600 | 1675 | 2848 | 3435 | 4482 | 5570 | 5986 | 6385 | 7550 | 7827 | 8061] = 140
a[1506 | 2850 | 2866 | 3981 | 4412 | 8455 | 8541 | 8949 | 9098 | 9253 | 9819 | 9867 | 9893] = 572
a[59 | 3240 | 4556 | 6581 | 6862 | 8925 | 9210 | 9613] = 453
a[1406 | 1988 | 4409 | 6302 | 6424 | 6924] = 272
a[450 | 555 | 580 | 783 | 2815 | 4184 | 5348 | 5424 | 5932 | 6038 | 6087 | 6133 | 6632 | 8971 | 9582] = 309
a[1004 | 1369 | 2793 | 2978 | 3648 | 4656 | 6945 | 7516 | 9186] = 238
a[1206 | 1514 | 1693 | 2051 | 3635 | 4214 | 4354 | 5044 | 6656 | 6922] = 255
a[5352 | 6305 | 6721 | 8368 | 9412] = 311
a[2449 | 2697 | 2874 | 5682 | 7389 | 7624 | 8964 | 9415] = 5
a[505 | 2712 | 2789 | 4050 | 4087 | 4163 | 4706 | 7235 | 8236 | 9908] = 659
a[471 | 1726 | 2349 | 3557 | 4652 | 4746 | 5393 | 7085 | 8252 | 8499 | 9442] = 669
a[552 | 1127 | 1219 | 4933 | 7132 | 7575 | 8403] = 535
a[194 | 333 | 581 | 1020 | 2273 | 2650 | 3116 | 6312 | 6397 | 7139 | 9173 | 9962] = 343
a[2816 | 3485 | 4523 | 4589 | 6231 | 7842 | 8579] = 872
a[775 | 1807 | 2136 | 2569 | 3522 | 4103 | 4302 | 4471 | 4688 | 6534 | 6639 | 7267 | 7526 | 7816] = 885
a[952 | 1392 | 2152 | 2886 | 3055 | 4583 | 4869 | 6612 | 7865 | 9033] = 977
a[1022 | 1162 | 3310 | 3607 | 5164 | 5763 | 7966 | 8078 | 9068 | 9648] = 983
a[1473 | 2169 | 2687 | 4968 | 5948 | 9901] = 313
a[1707 | 4433 | 4507 | 5721 | 6688 | 7195 | 9111 | 9576] = 17
a[591 | 1794 | 1820 | 5187 | 5855 | 6224 | 8000 | 8959] = 825
a[144 | 2515 | 2822 | 2824 | 3847 | 4607 | 5382 | 8905 | 9263] = 70
a[75 | 2015 | 4018 | 4262 | 6251 | 7410 | 8783 | 9039 | 9064] = 803
a[238 | 677 | 1648 | 2274 | 2802 | 3663 | 3773 | 4074 | 4274 | 4616 | 6189 | 7823 | 8017 | 8700] = 853
a[724 | 1268 | 3162 | 6508 | 6735 | 6976 | 8233 | 8591 | 8730 | 9293] = 307
a[164 | 698 | 1452 | 2638 | 5071 | 5889 | 6872 | 7555 | 7961 | 8615 | 8863] = 537
a[0 | 727 | 4334 | 4368 | 4761 | 6219 | 6485 | 8895 | 9680] = 864
a[637 | 2272 | 4912 | 8790 | 9302 | 9736 | 9934] = 462
a[1437 | 3914 | 4194 | 4547 | 6793 | 6889 | 7039 | 7322 | 7486 | 7581 | 7700 | 8550 | 9051 | 9733] = 326
a[18 | 536 | 2448 | 2592 | 2698 | 5692 | 7067 | 9911] = 597
a[124 | 192 | 516 | 2775 | 4318 | 5856 | 6357 | 7363 | 7982 | 8938 | 9483 | 9912] = 601
a[658 | 1580 | 1669 | 4075 | 5538 | 5707 | 6202 | 6433 | 6717 | 6899 | 8686 | 9693] = 559
a[246 | 1103 | 1117 | 2056 | 3862 | 5780 | 5854 | 6359 | 7691 | 7714 | 8564 | 8670 | 9073 | 9628] = 189
a[5066 | 5264 | 6505 | 6891 | 8185 | 8726 | 9605] = 134
a[434 | 1500 | 1630 | 3222 | 4282 | 4934 | 6683 | 7247 | 7293] = 218
a[741 | 761 | 911 | 994 | 1093 | 1306 | 1644 | 1852 | 4444 | 5237 | 5727 | 5735 | 6124 | 7858 | 8238 | 8968] = 922
a[914 | 1216 | 2186 | 3031 | 3455 | 4682 | 4838 | 5394 | 6115 | 6216 | 7572 | 8643] = 532
a[765 | 769 | 1732 | 1894 | 5320 | 7106 | 7596 | 8765] = 995
a[66 | 420 | 540 | 2399 | 4415 | 4665 | 5446 | 5693 | 6187 | 6779 | 8224 | 9283] = 561
a[726 | 1763 | 6027 | 6997 | 8768 | 9544] = 777
a[1184 | 1432 | 2800 | 5135 | 5232 | 5483 | 5508 | 7121 | 8087 | 8160 | 8388 | 9208] = 104
a[1000 | 2862 | 5608 | 6759 | 7010 | 7048 | 7769 | 7919 | 8259 | 8929 | 9795] = 706
a[2343 | 2497 | 3123 | 3756 | 4508 | 4700 | 5589 | 7029 | 8180 | 9215 | 9697] = 359
a[1563 | 3423 | 5008 | 6908 | 7408 | 9067 | 9617 | 9717] = 527
a[1660 | 3150 | 4923 | 5568 | 9451] = 668
a[491 | 1606 | 3759 | 4831 | 6905 | 8721 | 8747 | 8912 | 9536 | 9552] = 375
a[2001 | 2355 | 2630 | 3520 | 5272 | 5322 | 7329 | 7854 | 8029 | 8285 | 8709 | 8911] = 567
a[519 | 1239 | 1774 | 2441 | 2486 | 2631 | 2842 | 3959 | 4034 | 4590 | 5509 | 6232 | 6545 | 6906 | 8139 | 9171 | 9304] = 141
a[648 | 3191 | 4864 | 5478 | 5813 | 7191 | 7447 | 9523 | 9810] = 970
a[4247 | 4776 | 4890 | 5833 | 6503 | 8008 | 8420] = 830
a[3496 | 4249 | 5295 | 7669 | 8536 | 8980 | 9037] = 788
a[2644 | 4243 | 7320] = 903
a[1245 | 2921 | 2937 | 3798 | 5321 | 6310 | 6747 | 7036 | 7202] = 410
a[1121 | 1970 | 2204 | 2403 | 3535 | 4551 | 6013 | 6100 | 6193 | 6999 | 7477 | 8157] = 178
a[3140 | 4306 | 4808 | 5759 | 5975] = 439
a[147 | 2090 | 2234 | 3250 | 3332 | 3805 | 5629 | 5754 | 6535 | 6596 | 6826 | 7335] = 775
a[1073 | 1246 | 1640 | 3922 | 4192 | 6384 | 6556 | 9142] = 605
a[2330 | 2810 | 3005 | 3647 | 4350 | 7108 | 8281 | 8963 | 9935] = 185
a[2813 | 5059 | 5552 | 5717 | 8007 | 8405 | 9286 | 9663] = 373
a[1481 | 2769 | 3269 | 3608 | 4413 | 6680 | 9003 | 9333] = 448
a[894 | 2546 | 4049 | 4578 | 4727 | 5539 | 5755 | 6264 | 8406] = 401
a[21 | 1145 | 1257 | 1555 | 4575 | 4669 | 9805] = 223
a[548 | 2543 | 2993 | 3559 | 4054 | 6195 | 6245 | 6677 | 6690 | 8228 | 8338 | 9028 | 9270 | 9330] = 49
a[196 | 1447 | 2004 | 3416 | 5603 | 5704 | 6342] = 194
a[1026 | 2411 | 2435 | 2763 | 3357 | 4080 | 4279 | 6174 | 7585 | 8869 | 9493] = 899
a[2162 | 2690 | 2997 | 4070 | 4369 | 4500 | 4661 | 5821 | 8230 | 9750] = 416
a[1670 | 3490 | 4391 | 5198 | 7210 | 7278 | 7350 | 7814 | 8688 | 9387] = 321
a[3000 | 3486 | 4779 | 4955 | 6279 | 6797 | 6974 | 7413 | 8848 | 9056 | 9764] = 205
a[289 | 1972 | 2562 | 2632 | 3590 | 5471 | 6041 | 6429 | 6464 | 6669] = 173
a[1371 | 3762 | 4069 | 4735 | 6456 | 6510 | 9360] = 304
a[1806 | 2312 | 3364 | 3626 | 4466 | 5447 | 8217 | 8714] = 949
a[1322 | 2240 | 2373 | 3828 | 3939 | 3940 | 4248 | 6764 | 8935 | 9351] = 663
a[974 | 1731 | 2576 | 3717 | 4201 | 4701 | 6462 | 7885 | 8195 | 9773] = 353
a[1060 | 1873 | 2344 | 2774 | 3295 | 3678 | 3876 | 4372 | 5231 | 5559 | 7240 | 9887] = 21
a[187 | 2201 | 2259 | 5168 | 6559 | 7229 | 9391] = 84
a[301 | 2003 | 2664 | 4210 | 5284 | 6296 | 7671 | 9653] = 350
a[625 | 956 | 1938 | 2500 | 2600 | 2992 | 3622 | 3810 | 4685 | 5334 | 5400 | 7771 | 7835] = 441
a[706 | 2474 | 3084 | 5307 | 8439 | 9196] = 388
a[178 | 462 | 2055 | 2161 | 2880 | 3517 | 4562 | 5616 | 7243 | 8402] = 281
a[717 | 734 | 1375 | 1776 | 2924 | 5747 | 6123 | 7057 | 7863 | 8150 | 8788] = 889
a[8 | 2013 | 2170 | 2686 | 3735 | 4167 | 5515 | 6975 | 7096 | 8371] = 523
a[949 | 2091 | 3670 | 3998 | 4108 | 5647 | 6176 | 6919 | 9590 | 9629 | 9701 | 9832 | 9882] = 792
a[1364 | 2257 | 2845 | 5083 | 7473] = 58
a[1001 | 1609 | 1720 | 2154 | 2457 | 3900 | 5858 | 8212 | 8220 | 8427 | 9230 | 9881] = 25
a[810 | 4076 | 6236 | 6838 | 8719 | 9112] = 56
a[1853 | 5138 | 5327 | 7657 | 8803] = 295
a[170 | 1275 | 1404 | 4711 | 8069 | 8084 | 8762 | 9200] = 220
a[109 | 267 | 1150 | 1461 | 3639 | 3780 | 3834 | 5089 | 5132 | 5777 | 7409 | 8485 | 9796 | 9941] = 308
a[364 | 3210 | 3904 | 5179 | 5469 | 6691 | 7745 | 9641] = 608
a[1028 | 1603 | 5524 | 6986 | 7464 | 9188] = 566
a[4544 | 4571 | 5792 | 7008 | 7200 | 7595 | 8632 | 8893 | 9722] = 551
a[2012 | 4826 | 6289 | 8467 | 8799] = 768
a[4408 | 4889 | 5202 | 6404 | 7055 | 7175 | 9469] = 781
a[113 | 228 | 573 | 867 | 3100 | 3615 | 4740 | 5092] = 127
a[360 | 1787 | 2970 | 3489 | 4165 | 4664 | 5438 | 5573 | 6813 | 7164 | 9786] = 848
a[92 | 377 | 384 | 493 | 1237 | 2479 | 4299 | 6702 | 6819 | 7761 | 7822 | 8777 | 8779] = 581

def check(a):
    user_hash = sha256(('heilang' + ''.join(str(x) for x in a)).encode()).hexdigest()
    expect_hash = 'c8f34c6883def58097f089ce07388c65924392a896e1ce887e6acdf95c86c913'
    return user_hash == expect_hash

def get_flag(a):
    if check(a):
        t = ''.join([chr(x % 255) for x in a])
        flag = sha256(t[:-16].encode()).hexdigest()[:16] + '-' + sha256(t[-16:].encode()).hexdigest()[:16]
        print("Tha flag is: flag{{{}}}".format(flag))
    else:
        print("Array content is wrong, you can not get the correct flag.")

if __name__ == "__main__":
    get_flag(a)