5 #include <mdpi/mdpi_user.h> 10 extern void test(
float*
const pbase,
size_t total_elems);
19 {{814.0, 527.0, 559.0, 431.0, 2.0, 280.0, 950.0, 226.0, 559.0, 724.0, 328.0, 593.0, 447.0, 911.0, 181.0,
20 857.0, 283.0, 774.0, 671.0, 472.0, 421.0, 647.0, 370.0, 949.0, 548.0, 719.0, 977.0, 250.0, 805.0, 824.0,
21 239.0, 174.0, 540.0, 164.0, 62.0, 164.0, 77.0, 677.0, 114.0, 47.0, 740.0, 426.0, 983.0, 194.0, 430.0,
22 872.0, 675.0, 107.0, 452.0, 417.0, 892.0, 74.0, 889.0, 523.0, 431.0, 179.0, 261.0, 240.0, 7.0, 999.0,
23 772.0, 81.0, 411.0, 78.0, 870.0, 134.0, 328.0, 417.0, 468.0, 312.0, 606.0, 950.0, 914.0, 838.0, 575.0,
24 350.0, 500.0, 514.0, 30.0, 815.0, 175.0, 69.0, 748.0, 753.0, 413.0, 288.0, 446.0, 739.0, 234.0, 26.0,
25 987.0, 56.0, 423.0, 796.0, 670.0, 659.0, 293.0, 3.0, 741.0, 478.0, 326.0, 840.0, 165.0, 650.0, 959.0,
26 935.0, 339.0, 842.0, 768.0, 731.0, 166.0, 396.0, 252.0, 113.0, 852.0, 640.0, 604.0, 142.0, 854.0, 551.0,
27 652.0, 574.0, 789.0, 930.0, 728.0, 447.0, 374.0, 931.0, 535.0, 487.0, 162.0, 400.0, 343.0, 202.0, 724.0,
28 365.0, 2.0, 347.0, 714.0, 404.0, 298.0, 154.0, 38.0, 522.0, 794.0, 945.0, 633.0, 982.0, 212.0, 271.0,
29 337.0, 571.0, 603.0, 3.0, 682.0, 173.0, 630.0, 361.0, 289.0, 520.0, 667.0, 742.0, 492.0, 859.0, 62.0,
30 42.0, 350.0, 550.0, 58.0, 275.0, 565.0, 208.0, 249.0, 173.0, 203.0, 201.0, 871.0, 960.0, 247.0, 701.0,
31 945.0, 939.0, 561.0, 556.0, 885.0, 38.0, 410.0, 408.0, 316.0, 709.0, 216.0, 383.0, 300.0, 530.0, 860.0,
32 392.0, 83.0, 856.0, 453.0, 284.0, 892.0, 560.0, 555.0, 285.0, 998.0, 835.0, 352.0, 187.0, 63.0, 830.0,
33 208.0, 703.0, 201.0, 318.0, 114.0, 379.0, 105.0, 790.0, 103.0, 408.0, 219.0, 618.0, 259.0, 200.0, 20.0,
34 227.0, 862.0, 809.0, 750.0, 230.0, 778.0, 721.0, 969.0, 792.0, 158.0, 757.0, 977.0, 883.0, 228.0, 655.0,
35 935.0, 440.0, 463.0, 883.0, 124.0, 905.0, 138.0, 957.0, 805.0, 899.0, 158.0, 649.0, 303.0, 853.0, 241.0,
36 673.0, 160.0, 447.0, 586.0, 121.0, 18.0, 738.0, 763.0, 563.0, 202.0, 689.0, 159.0, 152.0, 464.0, 870.0,
37 712.0, 113.0, 151.0, 786.0, 471.0, 25.0, 238.0, 502.0, 195.0, 209.0, 242.0, 423.0, 343.0, 37.0, 392.0,
38 944.0, 640.0, 540.0, 668.0, 111.0, 832.0, 473.0, 90.0, 653.0, 684.0, 158.0, 876.0, 403.0, 144.0, 901.0,
39 540.0, 662.0, 755.0, 643.0, 76.0, 937.0, 278.0, 51.0, 212.0, 813.0, 113.0, 504.0, 371.0, 517.0, 384.0,
40 953.0, 562.0, 375.0, 570.0, 390.0, 727.0, 530.0, 578.0, 674.0, 632.0, 226.0, 944.0, 371.0, 35.0, 933.0,
41 471.0, 463.0, 570.0, 742.0, 315.0, 620.0, 427.0, 490.0, 280.0, 436.0, 347.0, 117.0, 749.0, 313.0, 554.0,
42 644.0, 603.0, 135.0, 442.0, 197.0, 517.0, 223.0, 177.0, 13.0, 505.0, 756.0, 897.0, 202.0, 931.0, 805.0,
43 318.0, 52.0, 134.0, 595.0, 815.0, 43.0, 24.0, 645.0, 266.0, 907.0, 427.0, 795.0, 60.0, 668.0, 664.0,
44 374.0, 996.0, 100.0, 595.0, 15.0, 351.0, 702.0, 151.0, 960.0, 96.0, 366.0, 814.0, 507.0, 918.0, 535.0,
45 394.0, 217.0, 877.0, 873.0, 531.0, 362.0, 559.0, 723.0, 667.0, 813.0, 956.0, 273.0, 540.0, 613.0, 272.0,
46 774.0, 665.0, 988.0, 113.0, 518.0, 466.0, 425.0, 951.0, 507.0, 682.0, 189.0, 639.0, 112.0, 866.0, 538.0,
47 386.0, 979.0, 902.0, 310.0, 804.0, 849.0, 911.0, 249.0, 897.0, 887.0, 288.0, 813.0, 807.0, 648.0, 731.0,
48 187.0, 939.0, 173.0, 113.0, 736.0, 489.0, 940.0, 729.0, 490.0, 682.0, 135.0, 681.0, 644.0, 968.0, 20.0,
49 495.0, 658.0, 530.0, 777.0, 152.0, 129.0, 169.0, 989.0, 612.0, 597.0, 308.0, 671.0, 673.0, 506.0, 608.0,
50 386.0, 552.0, 337.0, 842.0, 511.0, 284.0, 221.0, 117.0, 67.0, 579.0, 639.0, 411.0, 468.0, 338.0, 452.0,
51 128.0, 530.0, 893.0, 451.0, 865.0, 890.0, 410.0, 849.0, 331.0, 434.0, 572.0, 997.0, 459.0, 557.0, 341.0,
52 987.0, 136.0, 639.0, 780.0, 73.0, 705.0, 359.0, 490.0, 190.0, 437.0, 42.0, 822.0, 500.0, 279.0, 757.0,
53 995.0, 214.0, 402.0, 901.0, 971.0, 734.0, 567.0, 316.0, 20.0, 739.0, 855.0, 260.0, 10.0, 817.0, 89.0,
54 303.0, 492.0, 673.0, 457.0, 630.0, 808.0, 230.0, 883.0, 414.0, 914.0, 422.0, 69.0, 528.0, 251.0, 402.0,
55 541.0, 298.0, 397.0, 133.0, 310.0, 740.0, 215.0, 618.0, 488.0, 158.0, 629.0, 989.0, 940.0, 996.0, 218.0,
56 119.0, 44.0, 486.0, 914.0, 167.0, 970.0, 995.0, 310.0, 100.0, 596.0, 265.0, 452.0, 281.0, 939.0, 845.0,
57 69.0, 188.0, 458.0, 708.0, 985.0, 796.0, 294.0, 796.0, 989.0, 658.0, 583.0, 549.0, 327.0, 636.0, 320.0,
58 787.0, 525.0, 796.0, 746.0, 853.0, 412.0, 878.0, 400.0, 404.0, 406.0, 838.0, 985.0, 827.0, 616.0, 367.0,
59 186.0, 420.0, 828.0, 591.0, 316.0, 390.0, 9.0, 88.0, 977.0, 723.0, 528.0, 118.0, 596.0, 153.0, 82.0,
60 32.0, 270.0, 16.0, 625.0, 471.0, 466.0, 351.0, 198.0, 883.0, 587.0, 999.0, 156.0, 232.0, 202.0, 875.0,
61 321.0, 788.0, 625.0, 679.0, 100.0, 739.0, 617.0, 38.0, 139.0, 853.0, 336.0, 975.0, 839.0, 383.0, 666.0,
62 615.0, 856.0, 931.0, 179.0, 115.0, 542.0, 529.0, 32.0, 211.0, 338.0, 946.0, 607.0, 810.0, 223.0, 719.0,
63 594.0, 523.0, 495.0, 458.0, 75.0, 215.0, 742.0, 382.0, 937.0, 532.0, 662.0, 677.0, 58.0, 982.0, 234.0,
64 542.0, 832.0, 619.0, 419.0, 808.0, 663.0, 618.0, 68.0, 231.0, 896.0, 263.0, 128.0, 489.0, 985.0, 982.0,
65 118.0, 389.0, 804.0, 851.0, 28.0, 504.0, 899.0, 586.0, 648.0, 1000.0, 941.0, 464.0, 769.0, 658.0, 826.0,
66 387.0, 628.0, 652.0, 807.0, 408.0, 105.0, 230.0, 53.0, 308.0, 588.0, 191.0, 389.0, 359.0, 800.0, 840.0,
67 165.0, 19.0, 239.0, 70.0, 774.0, 68.0, 744.0, 776.0, 463.0, 186.0, 355.0, 938.0, 672.0, 114.0, 844.0,
68 436.0, 603.0, 373.0, 739.0, 769.0, 798.0, 188.0, 410.0, 208.0, 96.0, 972.0, 829.0, 677.0, 610.0, 796.0,
69 58.0, 213.0, 551.0, 947.0, 740.0, 422.0, 933.0, 719.0, 220.0, 505.0, 797.0, 357.0, 680.0, 958.0, 566.0,
70 428.0, 570.0, 366.0, 111.0, 41.0, 223.0, 522.0, 53.0, 356.0, 52.0, 260.0, 340.0, 190.0, 241.0, 726.0,
71 879.0, 453.0, 597.0, 605.0, 246.0, 170.0, 869.0, 699.0, 803.0, 416.0, 487.0, 68.0, 407.0, 730.0, 153.0,
72 687.0, 301.0, 455.0, 676.0, 810.0, 926.0, 640.0, 276.0, 120.0, 497.0, 864.0, 164.0, 241.0, 301.0, 728.0,
73 611.0, 510.0, 731.0, 237.0, 96.0, 600.0, 705.0, 857.0, 254.0, 638.0, 854.0, 788.0, 242.0, 556.0, 682.0,
74 9.0, 904.0, 544.0, 726.0, 68.0, 675.0, 267.0, 536.0, 739.0, 401.0, 935.0, 134.0, 635.0, 250.0, 650.0,
75 99.0, 778.0, 718.0, 523.0, 724.0, 561.0, 556.0, 515.0, 584.0, 81.0, 67.0, 798.0, 788.0, 655.0, 50.0,
76 913.0, 169.0, 401.0, 629.0, 250.0, 737.0, 404.0, 321.0, 37.0, 851.0, 712.0, 429.0, 411.0, 775.0, 385.0,
77 913.0, 565.0, 640.0, 970.0, 731.0, 295.0, 814.0, 605.0, 461.0, 440.0, 270.0, 764.0, 125.0, 56.0, 529.0,
78 156.0, 530.0, 210.0, 962.0, 213.0, 221.0, 687.0, 435.0, 399.0, 879.0, 189.0, 84.0, 46.0, 778.0, 103.0,
79 402.0, 98.0, 501.0, 335.0, 685.0, 961.0, 310.0, 39.0, 596.0, 454.0, 640.0, 539.0, 32.0, 854.0, 46.0,
80 391.0, 930.0, 727.0, 220.0, 233.0, 396.0, 492.0, 976.0, 953.0, 221.0, 850.0, 944.0, 177.0, 545.0, 369.0,
81 235.0, 172.0, 860.0, 307.0, 231.0, 829.0, 990.0, 566.0, 876.0, 615.0, 242.0, 419.0, 796.0, 355.0, 586.0,
82 613.0, 505.0, 521.0, 937.0, 98.0, 972.0, 939.0, 613.0, 758.0, 330.0, 859.0, 290.0, 154.0, 613.0, 538.0,
83 137.0, 917.0, 66.0, 480.0, 705.0, 73.0, 372.0, 174.0, 97.0, 544.0, 255.0, 791.0, 727.0, 453.0, 941.0,
84 672.0, 635.0, 748.0, 987.0, 433.0, 35.0, 671.0, 951.0, 688.0, 114.0, 492.0, 856.0, 699.0, 472.0, 754.0,
85 775.0, 667.0, 426.0, 357.0, 539.0, 268.0, 394.0, 781.0, 876.0, 793.0, 594.0, 801.0, 91.0, 479.0, 831.0,
86 587.0, 118.0, 176.0, 9.0, 72.0, 278.0, 168.0, 870.0, 831.0, 374.0, 25.0, 383.0, 147.0, 554.0, 53.0,
87 794.0, 775.0, 560.0, 511.0, 618.0, 450.0, 30.0, 729.0, 691.0, 108.0, 141.0, 136.0, 597.0, 142.0, 479.0,
88 664.0, 261.0, 759.0, 112.0, 675.0, 893.0, 694.0, 168.0, 915.0, 628.0, 576.0, 742.0, 245.0, 143.0, 474.0,
89 586.0, 450.0, 168.0, 592.0, 302.0, 206.0, 612.0, 424.0, 300.0, 156.0, 957.0, 245.0, 335.0, 308.0, 361.0,
90 610.0, 111.0, 313.0, 921.0, 536.0, 489.0, 199.0, 923.0, 472.0, 691.0, 599.0, 471.0, 953.0, 601.0, 394.0,
91 301.0, 150.0, 120.0, 933.0, 47.0, 312.0, 378.0, 126.0, 319.0, 647.0, 612.0, 272.0, 113.0, 715.0, 291.0,
92 667.0, 236.0, 942.0, 48.0, 920.0, 459.0, 443.0, 322.0, 974.0, 764.0, 556.0, 169.0, 943.0, 436.0, 851.0,
93 96.0, 766.0, 969.0, 760.0, 429.0, 595.0, 749.0, 927.0, 828.0, 725.0, 193.0, 379.0, 385.0, 179.0, 722.0,
94 385.0, 52.0, 538.0, 357.0, 853.0, 985.0, 487.0, 263.0, 542.0, 723.0, 963.0, 952.0, 824.0, 962.0, 869.0,
95 796.0, 202.0, 667.0, 657.0, 896.0, 626.0, 814.0, 714.0, 990.0, 147.0, 28.0, 185.0, 863.0, 504.0, 802.0,
96 985.0, 318.0, 983.0, 683.0, 734.0, 831.0, 993.0, 765.0, 824.0, 142.0, 553.0, 650.0, 1.0, 617.0, 453.0,
97 28.0, 229.0, 353.0, 647.0, 229.0, 511.0, 804.0, 416.0, 578.0, 331.0, 484.0, 555.0, 457.0, 776.0, 217.0,
98 133.0, 187.0, 641.0, 727.0, 302.0, 739.0, 437.0, 216.0, 932.0, 527.0, 337.0, 897.0, 318.0, 804.0, 338.0,
99 688.0, 92.0, 381.0, 387.0, 330.0, 953.0, 953.0, 15.0, 636.0, 190.0, 548.0, 405.0, 386.0, 294.0, 9.0,
100 325.0, 279.0, 91.0, 281.0, 283.0, 993.0, 863.0, 529.0, 437.0, 113.0, 468.0, 255.0, 191.0, 627.0, 10.0,
101 303.0, 977.0, 755.0, 91.0, 335.0, 573.0, 937.0, 155.0, 163.0, 965.0, 899.0, 744.0, 114.0, 934.0, 692.0,
102 695.0, 674.0, 356.0, 344.0, 180.0, 482.0, 717.0, 574.0, 826.0, 487.0, 888.0, 582.0, 607.0, 187.0, 361.0,
103 24.0, 674.0, 61.0, 723.0, 282.0, 126.0, 104.0, 408.0, 117.0, 375.0, 334.0, 968.0, 765.0, 401.0, 293.0,
104 618.0, 414.0, 846.0, 838.0, 324.0, 455.0, 405.0, 956.0, 471.0, 82.0, 592.0, 315.0, 156.0, 51.0, 337.0,
105 7.0, 374.0, 339.0, 828.0, 766.0, 894.0, 622.0, 132.0, 747.0, 497.0, 954.0, 491.0, 598.0, 432.0, 245.0,
106 355.0, 979.0, 208.0, 958.0, 967.0, 24.0, 789.0, 197.0, 15.0, 78.0, 583.0, 310.0, 425.0, 149.0, 577.0,
107 784.0, 100.0, 612.0, 303.0, 217.0, 509.0, 946.0, 701.0, 108.0, 973.0, 216.0, 462.0, 954.0, 716.0, 665.0,
108 940.0, 616.0, 385.0, 518.0, 502.0, 397.0, 66.0, 491.0, 215.0, 90.0, 311.0, 106.0, 985.0, 967.0, 177.0,
109 256.0, 420.0, 778.0, 219.0, 144.0, 623.0, 222.0, 654.0, 14.0, 486.0, 349.0, 302.0, 194.0, 667.0, 122.0,
110 666.0, 815.0, 151.0, 69.0, 764.0, 582.0, 573.0, 610.0, 411.0, 968.0, 450.0, 835.0, 614.0, 606.0, 186.0,
111 900.0, 567.0, 393.0, 438.0, 924.0, 850.0, 603.0, 848.0, 851.0, 851.0, 622.0, 841.0, 411.0, 457.0, 780.0,
112 907.0, 748.0, 220.0, 328.0, 525.0, 332.0, 510.0, 568.0, 759.0, 744.0, 26.0, 30.0, 132.0, 122.0, 696.0,
113 56.0, 110.0, 285.0, 897.0, 647.0, 480.0, 976.0, 430.0, 83.0, 346.0, 740.0, 188.0, 630.0, 357.0, 448.0,
114 404.0, 846.0, 41.0, 750.0, 101.0, 487.0, 766.0, 171.0, 770.0, 512.0, 732.0, 278.0, 847.0, 532.0, 721.0,
115 297.0, 491.0, 911.0, 408.0, 291.0, 604.0, 971.0, 842.0, 268.0, 829.0, 243.0, 122.0, 212.0, 9.0, 964.0,
116 935.0, 59.0, 195.0, 461.0, 401.0, 792.0, 922.0, 313.0, 179.0, 80.0, 903.0, 806.0, 205.0, 807.0, 336.0,
117 300.0, 422.0, 296.0, 556.0, 890.0, 234.0, 903.0, 343.0, 479.0, 547.0, 790.0, 145.0, 713.0, 554.0, 963.0,
118 113.0, 504.0, 488.0, 363.0, 135.0, 595.0, 467.0, 478.0, 913.0, 141.0, 371.0, 451.0, 866.0, 807.0, 26.0,
119 216.0, 537.0, 904.0, 140.0, 707.0, 25.0, 234.0, 854.0, 187.0, 675.0, 457.0, 565.0, 870.0, 647.0, 700.0,
120 335.0, 704.0, 370.0, 895.0, 573.0, 153.0, 575.0, 218.0, 169.0, 214.0, 909.0, 28.0, 255.0, 990.0, 183.0,
121 560.0, 235.0, 296.0, 758.0, 107.0, 790.0, 681.0, 313.0, 223.0, 682.0, 216.0, 962.0, 13.0, 290.0, 590.0,
122 152.0, 369.0, 109.0, 214.0, 373.0, 616.0, 41.0, 529.0, 771.0, 256.0, 143.0, 510.0, 365.0, 729.0, 901.0,
123 375.0, 772.0, 305.0, 190.0, 663.0, 642.0, 79.0, 39.0, 752.0, 222.0, 504.0, 416.0, 292.0, 911.0, 990.0,
124 157.0, 567.0, 319.0, 373.0, 108.0, 829.0, 954.0, 237.0, 250.0, 697.0, 668.0, 991.0, 771.0, 443.0, 484.0,
125 88.0, 446.0, 847.0, 712.0, 298.0, 891.0, 975.0, 561.0, 131.0, 436.0, 893.0, 561.0, 115.0, 885.0, 645.0,
126 572.0, 447.0, 500.0, 897.0, 508.0, 529.0, 262.0, 343.0, 201.0, 359.0, 655.0, 916.0, 593.0, 35.0, 213.0,
127 14.0, 222.0, 261.0, 210.0, 165.0, 437.0, 574.0, 426.0, 325.0, 138.0, 446.0, 132.0, 660.0, 466.0, 673.0,
128 474.0, 742.0, 971.0, 701.0, 977.0, 534.0, 646.0, 554.0, 7.0, 343.0, 650.0, 856.0, 292.0, 321.0, 145.0,
129 187.0, 878.0, 735.0, 409.0, 501.0, 306.0, 198.0, 230.0, 609.0, 490.0, 219.0, 71.0, 903.0, 254.0, 879.0,
130 217.0, 995.0, 77.0, 10.0, 501.0, 827.0, 275.0, 250.0, 846.0, 660.0, 523.0, 457.0, 231.0, 927.0, 57.0,
131 71.0, 914.0, 605.0, 638.0, 251.0, 291.0, 750.0, 440.0, 926.0, 813.0, 42.0, 255.0, 980.0, 284.0, 695.0,
132 665.0, 572.0, 531.0, 360.0, 947.0, 228.0, 277.0, 846.0, 210.0, 797.0, 100.0, 349.0, 300.0, 973.0, 794.0,
133 248.0, 102.0, 192.0, 873.0, 575.0, 747.0, 208.0, 200.0, 550.0, 748.0, 586.0, 579.0, 905.0, 109.0, 669.0,
134 486.0, 834.0, 613.0, 530.0, 649.0, 681.0, 484.0, 18.0, 551.0, 307.0, 295.0, 24.0, 441.0, 137.0, 351.0,
135 585.0, 49.0, 742.0, 564.0, 815.0, 290.0, 430.0, 985.0, 14.0, 401.0, 937.0, 967.0, 980.0, 99.0, 557.0,
136 438.0, 496.0, 281.0, 5.0, 773.0, 340.0, 752.0, 949.0, 649.0, 854.0, 55.0, 809.0, 945.0, 848.0, 30.0,
137 707.0, 230.0, 955.0, 860.0, 631.0, 496.0, 175.0, 319.0, 749.0, 184.0, 999.0, 435.0, 950.0, 411.0, 739.0,
138 653.0, 322.0, 402.0, 630.0, 68.0, 479.0, 135.0, 474.0, 807.0, 678.0, 222.0, 147.0, 713.0, 338.0, 458.0,
139 177.0, 879.0, 632.0, 391.0, 20.0, 989.0, 389.0, 135.0, 963.0, 212.0, 143.0, 919.0, 205.0, 529.0, 261.0,
140 128.0, 495.0, 990.0, 618.0, 317.0, 57.0, 660.0, 609.0, 859.0, 994.0, 820.0, 741.0, 646.0, 803.0, 986.0,
141 375.0, 983.0, 40.0, 768.0, 172.0, 142.0, 451.0, 959.0, 947.0, 890.0, 35.0, 379.0, 934.0, 387.0, 933.0,
142 213.0, 380.0, 41.0, 642.0, 623.0, 85.0, 858.0, 464.0, 313.0, 414.0, 972.0, 599.0, 850.0, 846.0, 900.0,
143 529.0, 417.0, 1.0, 273.0, 805.0, 358.0, 1000.0, 417.0, 48.0, 122.0, 213.0, 154.0, 429.0, 259.0, 270.0,
144 206.0, 522.0, 642.0, 536.0, 760.0, 375.0, 285.0, 602.0, 934.0, 409.0, 171.0, 458.0, 492.0, 129.0, 918.0,
145 990.0, 773.0, 566.0, 676.0, 287.0, 923.0, 36.0, 843.0, 573.0, 642.0, 71.0, 804.0, 653.0, 846.0, 513.0,
146 171.0, 228.0, 328.0, 177.0, 466.0, 912.0, 691.0, 346.0, 795.0, 346.0, 569.0, 4.0, 759.0, 718.0, 219.0,
147 895.0, 652.0, 137.0, 245.0, 212.0, 983.0, 239.0, 755.0, 205.0, 615.0, 725.0, 135.0, 565.0, 816.0, 443.0,
148 799.0, 86.0, 666.0, 960.0, 425.0, 798.0, 400.0, 356.0, 673.0, 349.0, 419.0, 528.0, 781.0, 824.0, 933.0,
149 697.0, 83.0, 35.0, 800.0, 619.0, 180.0, 403.0, 920.0, 24.0, 90.0, 674.0, 380.0, 718.0, 982.0, 84.0,
150 417.0, 827.0, 261.0, 939.0, 958.0, 420.0, 253.0, 41.0, 718.0, 831.0, 794.0, 822.0, 403.0, 725.0, 861.0,
151 430.0, 910.0, 606.0, 798.0, 860.0, 803.0, 904.0, 605.0, 94.0, 418.0, 761.0, 629.0, 292.0, 558.0, 330.0,
152 706.0, 44.0, 786.0, 1000.0, 325.0, 165.0, 803.0, 998.0, 625.0, 432.0, 537.0, 927.0, 807.0, 531.0, 785.0,
153 529.0, 517.0, 490.0, 614.0, 583.0, 345.0, 940.0, 411.0, 565.0, 247.0, 11.0, 400.0, 836.0, 320.0, 627.0,
154 868.0, 146.0, 633.0, 241.0, 77.0, 335.0, 945.0, 102.0, 378.0, 913.0, 995.0, 208.0, 622.0, 20.0, 158.0,
155 405.0, 192.0, 191.0, 766.0, 621.0, 48.0, 958.0, 929.0, 827.0, 870.0, 732.0, 896.0, 840.0, 266.0, 931.0,
156 610.0, 282.0, 806.0, 546.0, 717.0, 801.0, 158.0, 896.0, 95.0, 515.0, 386.0, 367.0, 790.0, 551.0, 913.0,
157 1000.0, 543.0, 113.0, 488.0, 460.0, 256.0, 125.0, 219.0, 134.0, 935.0, 422.0, 839.0, 517.0, 472.0, 746.0,
158 522.0, 448.0, 708.0, 116.0, 194.0, 419.0, 745.0, 835.0, 796.0, 909.0, 338.0, 472.0, 152.0, 184.0, 655.0,
159 154.0, 724.0, 931.0, 44.0, 151.0, 299.0, 429.0, 359.0, 944.0, 291.0, 966.0, 226.0, 558.0, 101.0, 254.0,
160 678.0, 29.0, 93.0, 407.0, 844.0, 110.0, 361.0, 8.0, 334.0, 586.0, 716.0, 943.0, 897.0, 281.0, 599.0,
161 324.0, 548.0, 235.0, 689.0, 77.0, 103.0, 234.0, 787.0, 403.0, 993.0, 276.0, 376.0, 354.0, 728.0, 406.0,
162 661.0, 215.0, 276.0, 398.0, 942.0, 789.0, 744.0, 391.0, 174.0, 58.0, 254.0, 538.0, 320.0, 323.0, 576.0,
163 982.0, 738.0, 942.0, 411.0, 940.0, 117.0, 673.0, 346.0, 675.0, 512.0, 695.0, 702.0, 607.0, 790.0, 353.0,
164 666.0, 687.0, 830.0, 638.0, 419.0, 422.0, 739.0, 416.0, 719.0, 841.0, 434.0, 35.0, 129.0, 555.0, 638.0,
165 981.0, 204.0, 466.0, 193.0, 603.0, 491.0, 166.0, 756.0, 82.0, 631.0, 859.0, 644.0, 160.0, 68.0, 569.0,
166 366.0, 38.0, 327.0, 510.0, 495.0, 262.0, 553.0, 858.0, 476.0, 934.0, 150.0, 754.0, 733.0, 206.0, 441.0,
167 145.0, 552.0, 718.0, 229.0, 754.0, 140.0, 324.0, 401.0, 977.0, 661.0, 71.0, 734.0, 349.0, 125.0, 595.0,
168 685.0, 407.0, 516.0, 492.0, 817.0, 861.0, 726.0, 744.0, 760.0, 80.0, 840.0, 254.0, 958.0, 156.0, 179.0,
169 697.0, 112.0, 731.0, 789.0, 803.0, 969.0, 560.0, 161.0, 614.0, 704.0, 527.0, 109.0, 238.0, 1.0, 446.0,
170 516.0, 74.0, 586.0, 992.0, 500.0, 23.0, 620.0, 921.0, 341.0, 344.0, 201.0, 546.0, 105.0, 930.0, 76.0,
171 944.0, 593.0, 109.0, 891.0, 323.0, 679.0, 331.0, 268.0, 571.0, 118.0, 348.0, 835.0, 895.0, 81.0, 872.0,
172 742.0, 181.0, 732.0, 687.0, 801.0, 687.0, 990.0, 954.0, 747.0, 797.0, 418.0, 363.0, 175.0, 253.0, 818.0,
173 414.0, 197.0, 533.0, 606.0, 853.0, 445.0, 480.0, 733.0, 289.0, 998.0, 191.0, 184.0, 874.0, 626.0, 151.0,
174 300.0, 129.0, 357.0, 940.0, 787.0, 323.0, 403.0, 78.0, 680.0, 794.0, 445.0, 102.0, 558.0, 352.0, 639.0,
175 734.0, 537.0, 662.0, 589.0, 509.0, 902.0, 450.0, 610.0, 221.0, 709.0, 303.0, 79.0, 383.0, 941.0, 30.0,
176 855.0, 609.0, 674.0, 742.0, 29.0, 283.0, 985.0, 6.0, 77.0, 657.0, 132.0, 319.0, 403.0, 373.0, 159.0,
177 994.0, 382.0, 569.0, 818.0, 430.0, 846.0, 844.0, 644.0, 671.0, 376.0, 805.0, 354.0, 986.0, 385.0, 598.0,
178 181.0, 732.0, 697.0, 330.0, 253.0, 335.0, 550.0, 799.0, 142.0, 467.0, 277.0, 53.0, 437.0, 994.0, 536.0,
179 246.0, 897.0, 135.0, 702.0, 377.0, 729.0, 867.0, 373.0, 974.0, 120.0, 635.0, 503.0, 73.0, 868.0, 772.0,
180 579.0, 126.0, 762.0, 455.0, 371.0, 5.0, 583.0, 692.0, 210.0, 680.0, 502.0, 10.0, 842.0, 156.0, 405.0,
181 775.0, 883.0, 225.0, 990.0, 829.0, 440.0, 488.0, 213.0, 400.0, 12.0, 146.0, 798.0, 294.0, 524.0, 774.0,
182 847.0, 734.0, 495.0, 691.0, 357.0, 751.0, 274.0, 123.0, 249.0, 626.0, 661.0, 183.0, 232.0, 516.0, 28.0,
183 466.0, 695.0, 780.0, 64.0, 440.0, 423.0, 314.0, 845.0, 344.0, 720.0, 736.0, 649.0, 802.0, 306.0, 974.0,
184 420.0, 735.0, 961.0, 564.0, 372.0, 164.0, 880.0, 119.0, 355.0, 992.0, 624.0, 531.0, 307.0, 164.0, 441.0,
185 989.0, 499.0, 289.0, 445.0, 944.0, 667.0, 929.0, 694.0, 759.0, 356.0, 856.0, 831.0, 693.0, 466.0, 818.0,
186 501.0, 992.0, 565.0, 624.0, 892.0, 221.0, 646.0, 198.0, 503.0, 577.0, 408.0, 422.0, 214.0, 884.0, 327.0,
187 867.0, 711.0, 733.0, 119.0, 480.0, 335.0, 994.0, 667.0, 341.0, 2.0, 341.0, 39.0, 948.0, 977.0, 250.0,
188 673.0, 876.0, 891.0, 0.0, 188.0, 105.0, 202.0, 811.0, 342.0, 875.0, 94.0, 114.0, 811.0, 467.0, 733.0,
189 553.0, 984.0, 280.0, 300.0, 929.0, 197.0, 794.0, 622.0, 376.0, 259.0, 543.0, 427.0, 694.0, 653.0, 990.0,
190 563.0, 948.0, 40.0, 303.0, 891.0, 812.0, 714.0, 551.0, 87.0, 825.0, 475.0, 214.0, 19.0, 532.0, 721.0,
191 478.0, 844.0, 811.0, 578.0, 951.0, 729.0, 384.0, 394.0, 768.0, 565.0, 98.0, 982.0, 967.0, 150.0, 801.0,
192 499.0, 508.0, 184.0, 8.0, 477.0, 914.0, 890.0, 610.0, 480.0, 941.0, 819.0, 974.0, 741.0, 805.0, 6.0,
193 615.0, 429.0, 701.0, 788.0, 693.0, 511.0, 675.0, 721.0, 382.0, 419.0, 54.0, 439.0, 339.0, 855.0, 490.0,
194 722.0, 506.0, 294.0, 306.0, 661.0, 712.0, 372.0, 200.0, 739.0, 953.0, 493.0, 887.0, 937.0, 616.0, 731.0,
195 511.0, 259.0, 667.0, 564.0, 984.0, 95.0, 724.0, 127.0, 105.0, 176.0, 320.0, 750.0, 293.0, 262.0, 839.0,
196 865.0, 703.0, 969.0, 13.0, 627.0, 132.0, 423.0, 260.0, 886.0, 984.0, 350.0, 258.0, 716.0, 13.0, 527.0,
197 874.0, 189.0, 876.0, 137.0, 994.0, 423.0, 115.0, 242.0, 576.0, 270.0, 21.0, 756.0, 16.0, 860.0, 857.0,
198 953.0, 729.0, 860.0, 15.0, 947.0, 658.0, 774.0, 229.0, 768.0, 586.0, 916.0, 209.0, 733.0, 152.0, 516.0,
199 855.0, 2.0, 829.0, 741.0, 752.0, 180.0, 610.0, 579.0, 641.0, 539.0, 425.0, 260.0, 739.0, 11.0, 171.0,
200 173.0, 689.0, 638.0, 689.0, 837.0, 573.0, 507.0, 821.0, 380.0, 201.0, 750.0, 397.0, 643.0, 995.0, 997.0,
201 618.0, 921.0, 2.0, 795.0, 610.0, 408.0, 210.0, 510.0, 939.0, 398.0, 198.0, 174.0, 438.0, 142.0, 325.0,
202 888.0, 295.0, 821.0, 950.0, 214.0, 940.0, 303.0, 655.0, 61.0, 724.0, 598.0, 414.0, 954.0, 334.0, 56.0,
203 71.0, 724.0, 329.0, 446.0, 261.0, 273.0, 507.0, 215.0, 764.0, 153.0, 989.0, 270.0, 324.0, 28.0, 920.0,
204 878.0, 474.0, 499.0, 36.0, 681.0, 829.0, 560.0, 291.0, 477.0, 501.0, 23.0, 407.0, 65.0, 821.0, 582.0,
205 548.0, 157.0, 611.0, 455.0, 873.0, 452.0, 331.0, 697.0, 278.0, 831.0, 981.0, 329.0, 686.0, 185.0, 302.0,
206 926.0, 1000.0, 711.0, 951.0, 296.0, 960.0, 881.0, 149.0, 163.0, 155.0, 917.0, 364.0, 835.0, 282.0, 745.0,
207 404.0, 741.0, 883.0, 675.0, 473.0, 803.0, 926.0, 876.0, 75.0, 980.0, 126.0, 867.0, 216.0, 385.0, 166.0,
208 270.0, 422.0, 830.0, 154.0, 378.0, 221.0, 181.0, 843.0, 752.0, 249.0, 379.0, 770.0, 632.0, 268.0, 494.0,
209 921.0, 695.0, 817.0, 103.0, 101.0, 900.0, 419.0, 83.0, 225.0, 864.0, 684.0, 913.0, 877.0, 687.0, 412.0,
210 258.0, 713.0, 374.0, 243.0, 335.0, 264.0, 107.0, 494.0, 337.0, 991.0, 585.0, 35.0, 15.0, 195.0, 666.0,
211 560.0, 452.0, 285.0, 969.0, 44.0, 284.0, 695.0, 87.0, 793.0, 895.0, 942.0, 293.0, 304.0, 650.0, 552.0,
212 573.0, 827.0, 144.0, 399.0, 261.0, 1.0, 645.0, 775.0, 927.0, 25.0, 974.0, 110.0, 328.0, 301.0, 802.0,
213 509.0, 165.0, 42.0, 13.0, 475.0, 450.0, 488.0, 992.0, 426.0, 857.0, 34.0, 122.0, 748.0, 85.0, 732.0,
214 716.0, 726.0, 397.0, 447.0, 311.0, 825.0, 775.0, 137.0, 323.0, 260.0, 582.0, 293.0, 790.0, 967.0, 127.0,
215 795.0, 761.0, 687.0, 685.0, 132.0, 550.0, 731.0, 805.0, 363.0, 639.0, 722.0, 879.0, 246.0, 184.0, 113.0,
216 971.0, 239.0, 109.0, 795.0, 668.0, 486.0, 184.0, 921.0, 566.0, 176.0, 357.0, 519.0, 217.0, 452.0, 864.0,
217 95.0, 390.0, 30.0, 758.0, 610.0, 623.0, 228.0, 608.0, 141.0, 468.0, 749.0, 334.0, 710.0, 413.0, 920.0,
218 228.0, 210.0, 332.0, 534.0, 687.0, 377.0, 616.0, 532.0, 696.0, 414.0, 99.0, 524.0, 315.0, 300.0, 58.0,
219 205.0, 91.0, 33.0, 221.0, 278.0, 475.0, 693.0, 122.0, 810.0, 575.0, 100.0, 605.0, 991.0, 168.0, 943.0,
220 258.0, 647.0, 482.0, 634.0, 748.0, 778.0, 101.0, 0.0, 533.0, 967.0, 450.0, 80.0, 480.0, 657.0, 617.0,
221 327.0, 773.0, 520.0, 206.0, 972.0, 255.0, 307.0, 790.0, 437.0, 111.0, 821.0, 774.0, 29.0, 634.0, 126.0,
222 620.0, 878.0, 328.0, 375.0, 109.0, 481.0, 228.0, 8.0, 99.0, 570.0, 748.0, 64.0, 442.0, 721.0, 17.0,
223 280.0, 622.0, 583.0, 631.0, 37.0, 235.0, 36.0, 852.0, 790.0, 151.0, 235.0, 173.0, 810.0, 199.0, 99.0,
224 148.0, 614.0, 191.0, 459.0, 816.0, 152.0, 232.0, 757.0, 642.0, 819.0, 213.0, 812.0, 718.0, 983.0, 172.0,
225 390.0, 298.0, 733.0, 960.0, 568.0, 494.0, 710.0, 266.0, 284.0, 819.0, 282.0, 503.0, 948.0, 374.0, 402.0,
226 260.0, 220.0, 278.0, 395.0, 702.0, 636.0, 46.0, 855.0, 926.0, 190.0, 186.0, 77.0, 415.0, 380.0, 775.0,
227 609.0, 163.0, 685.0, 836.0, 862.0, 471.0, 711.0, 504.0, 13.0, 419.0, 670.0, 313.0, 472.0, 914.0, 247.0,
228 527.0, 806.0, 415.0, 972.0, 128.0, 855.0, 296.0, 689.0, 480.0, 770.0, 856.0, 27.0, 288.0, 248.0, 498.0,
229 12.0, 94.0, 38.0, 839.0, 967.0, 70.0, 543.0, 957.0, 239.0, 18.0, 797.0, 783.0, 173.0, 730.0, 300.0,
230 991.0, 702.0, 771.0, 168.0, 84.0, 417.0, 733.0, 626.0, 115.0, 29.0, 870.0, 161.0, 610.0, 473.0, 377.0,
231 259.0, 972.0, 85.0, 842.0, 745.0, 424.0, 747.0, 560.0, 574.0, 427.0, 723.0, 412.0, 224.0, 596.0, 892.0,
232 919.0, 15.0, 17.0, 54.0, 873.0, 661.0, 677.0, 774.0, 379.0, 43.0, 417.0, 617.0, 820.0, 633.0, 448.0,
233 380.0, 331.0, 295.0, 244.0, 747.0, 723.0, 727.0, 646.0, 395.0, 125.0, 99.0, 800.0, 691.0, 460.0, 43.0,
234 949.0, 703.0, 730.0, 566.0, 462.0, 348.0, 264.0, 819.0, 544.0, 966.0, 394.0, 469.0, 72.0, 564.0, 755.0,
235 997.0, 212.0, 49.0, 360.0, 481.0, 713.0, 449.0, 867.0, 961.0, 837.0, 433.0, 858.0, 185.0, 124.0, 81.0,
236 570.0, 818.0, 467.0, 127.0, 471.0, 999.0, 569.0, 935.0, 7.0, 747.0, 991.0, 486.0, 753.0, 334.0, 14.0,
237 666.0, 941.0, 605.0, 926.0, 451.0, 360.0, 85.0, 468.0, 578.0, 343.0, 536.0, 169.0, 997.0, 333.0, 801.0,
238 877.0, 71.0, 1000.0, 450.0, 761.0, 731.0, 261.0, 281.0, 396.0, 317.0, 483.0, 737.0, 212.0, 214.0, 860.0,
239 480.0, 775.0, 411.0, 151.0, 678.0, 71.0, 177.0, 266.0, 640.0, 403.0, 533.0, 506.0, 202.0, 548.0, 659.0,
240 967.0, 243.0, 472.0, 785.0, 667.0, 45.0, 500.0, 998.0, 262.0, 893.0, 491.0, 56.0, 391.0, 66.0, 746.0,
241 324.0, 237.0, 266.0, 410.0, 728.0, 776.0, 592.0, 615.0, 574.0, 401.0, 698.0, 440.0, 82.0, 549.0, 202.0,
242 128.0, 134.0, 472.0, 968.0, 213.0, 95.0, 361.0, 267.0, 401.0, 208.0, 649.0, 658.0, 658.0, 580.0, 210.0,
243 169.0, 402.0, 54.0, 68.0, 795.0, 193.0, 16.0, 504.0, 17.0, 792.0, 824.0, 874.0, 455.0, 853.0, 472.0,
244 760.0, 272.0, 404.0, 569.0, 618.0, 275.0, 72.0, 871.0, 712.0, 162.0, 557.0, 145.0, 194.0, 154.0, 464.0,
245 588.0, 889.0, 395.0, 318.0, 520.0, 697.0, 466.0, 84.0, 569.0, 650.0, 227.0, 805.0, 680.0, 219.0, 294.0,
246 233.0, 220.0, 767.0, 299.0, 289.0, 687.0, 609.0, 560.0, 1000.0, 122.0, 768.0, 907.0, 834.0, 613.0, 90.0,
247 642.0, 685.0, 925.0, 414.0, 590.0, 561.0, 794.0, 80.0, 683.0, 230.0, 45.0, 389.0, 818.0, 167.0, 590.0,
248 114.0, 350.0, 875.0, 125.0, 473.0, 633.0, 722.0, 896.0, 756.0, 513.0, 947.0, 239.0, 596.0, 246.0, 245.0,
249 749.0, 217.0, 777.0, 298.0, 600.0, 738.0, 348.0, 891.0, 984.0, 727.0, 906.0, 940.0, 690.0, 233.0, 34.0,
250 908.0, 819.0, 484.0, 99.0, 412.0, 591.0, 437.0, 206.0, 865.0, 481.0, 295.0, 444.0, 104.0, 556.0, 4.0,
251 618.0, 531.0, 640.0, 930.0, 111.0, 975.0, 199.0, 869.0, 730.0, 209.0, 196.0, 480.0, 11.0, 462.0, 49.0,
252 639.0, 761.0, 535.0, 948.0, 323.0, 187.0, 417.0, 910.0, 249.0, 183.0, 992.0, 167.0, 718.0, 240.0, 586.0,
253 447.0, 638.0, 93.0, 622.0, 448.0, 960.0, 453.0, 365.0, 63.0, 372.0, 685.0, 72.0, 383.0, 413.0, 545.0,
254 441.0, 553.0, 978.0, 563.0, 807.0, 596.0, 594.0, 19.0, 638.0, 545.0, 260.0, 742.0, 578.0, 918.0, 292.0,
255 442.0, 731.0, 677.0, 572.0, 309.0, 291.0, 435.0, 448.0, 603.0, 849.0, 641.0, 472.0, 820.0, 408.0, 987.0,
256 124.0, 913.0, 228.0, 313.0, 250.0, 583.0, 681.0, 442.0, 255.0, 943.0, 389.0, 792.0, 646.0, 88.0, 817.0,
257 169.0, 957.0, 516.0, 317.0, 212.0, 690.0, 220.0, 478.0, 225.0, 182.0, 996.0, 959.0, 753.0, 743.0, 545.0,
258 130.0, 816.0, 556.0, 568.0, 178.0, 344.0, 939.0, 666.0, 937.0, 424.0, 3.0, 672.0, 172.0, 662.0, 932.0,
259 328.0, 929.0, 849.0, 138.0, 796.0, 372.0, 80.0, 815.0, 947.0, 516.0, 370.0, 287.0, 509.0, 621.0, 203.0,
260 668.0, 656.0, 74.0, 536.0, 629.0, 537.0, 176.0, 366.0, 93.0, 494.0, 23.0, 908.0, 851.0, 322.0, 990.0,
261 411.0, 292.0, 484.0, 312.0, 906.0, 529.0, 100.0, 146.0, 990.0, 420.0, 258.0, 832.0, 513.0, 264.0, 656.0,
262 115.0, 99.0, 419.0, 259.0, 302.0, 405.0, 667.0, 712.0, 964.0, 904.0, 59.0, 873.0, 720.0, 304.0, 566.0,
263 895.0, 440.0, 818.0, 752.0, 460.0, 309.0, 68.0, 708.0, 337.0, 142.0, 58.0, 182.0, 88.0, 38.0, 330.0,
264 378.0, 606.0, 990.0, 336.0, 491.0, 537.0, 378.0, 62.0, 446.0, 11.0, 364.0, 42.0, 801.0, 165.0, 362.0,
265 186.0, 961.0, 873.0, 20.0, 312.0, 376.0, 886.0, 793.0, 318.0, 677.0, 103.0, 987.0, 359.0, 302.0, 322.0,
266 738.0, 621.0, 687.0, 689.0, 949.0, 836.0, 46.0, 210.0, 333.0, 827.0, 585.0, 970.0, 404.0, 412.0, 482.0,
267 677.0, 97.0, 363.0, 795.0, 792.0, 3.0, 962.0, 540.0, 552.0, 508.0, 311.0, 555.0, 770.0, 354.0, 686.0,
268 802.0, 524.0, 550.0, 569.0, 60.0, 608.0, 34.0, 992.0, 182.0, 659.0, 399.0, 682.0, 939.0, 127.0, 744.0,
269 85.0, 59.0, 112.0, 17.0, 664.0, 331.0, 921.0, 128.0, 411.0, 574.0, 349.0, 361.0, 907.0, 47.0, 944.0,
270 768.0, 192.0, 654.0, 99.0, 606.0, 715.0, 228.0, 318.0, 272.0, 676.0, 1000.0, 712.0, 415.0, 795.0, 462.0,
271 305.0, 607.0, 623.0, 279.0, 244.0, 578.0, 402.0, 378.0, 38.0, 973.0, 10.0, 291.0, 803.0, 209.0, 719.0,
272 688.0, 559.0, 180.0, 628.0, 802.0, 500.0, 209.0, 406.0, 69.0, 213.0, 984.0, 858.0, 307.0, 963.0, 607.0,
273 0.0, 839.0, 666.0, 917.0, 386.0, 674.0, 391.0, 565.0, 944.0, 642.0, 793.0, 23.0, 69.0, 638.0, 148.0,
274 345.0, 852.0, 648.0, 618.0, 526.0, 957.0, 861.0, 858.0, 529.0, 84.0, 210.0, 837.0, 636.0, 80.0, 518.0,
275 384.0, 340.0, 945.0, 108.0, 157.0, 833.0, 306.0, 316.0, 88.0, 180.0, 60.0, 702.0, 90.0, 158.0, 994.0,
276 925.0, 39.0, 201.0, 16.0, 108.0, 790.0, 833.0, 523.0, 583.0, 121.0, 472.0, 271.0, 533.0, 197.0, 727.0,
277 383.0, 121.0, 35.0, 379.0, 84.0, 929.0, 791.0, 642.0, 632.0, 234.0, 176.0, 305.0, 637.0, 294.0, 850.0,
278 71.0, 969.0, 473.0, 664.0, 241.0, 203.0, 608.0, 856.0, 551.0, 952.0, 644.0, 537.0, 319.0, 704.0, 863.0,
279 245.0, 97.0, 669.0, 683.0, 178.0, 654.0, 596.0, 210.0, 509.0, 91.0, 578.0, 522.0, 226.0, 537.0, 179.0,
280 97.0, 797.0, 907.0, 337.0, 844.0, 919.0, 461.0, 563.0, 312.0, 271.0, 347.0, 315.0, 984.0, 717.0, 943.0,
281 976.0, 250.0, 952.0, 86.0, 685.0, 964.0, 57.0, 501.0, 87.0, 586.0, 371.0, 371.0, 636.0, 463.0, 336.0,
282 94.0, 470.0, 821.0, 311.0, 492.0, 35.0, 344.0, 106.0, 650.0, 538.0, 608.0, 80.0, 675.0, 633.0, 826.0,
283 868.0, 352.0, 11.0, 740.0, 783.0, 91.0, 657.0, 995.0, 381.0, 143.0, 11.0, 793.0, 720.0, 888.0, 169.0,
284 143.0, 398.0, 300.0, 104.0, 521.0, 625.0, 180.0, 21.0, 530.0, 690.0, 949.0, 682.0, 286.0, 717.0, 692.0,
285 660.0, 390.0, 79.0, 34.0, 849.0, 113.0, 260.0, 923.0, 175.0, 286.0, 672.0, 176.0, 608.0, 754.0, 389.0,
286 658.0, 503.0, 217.0, 791.0, 334.0, 537.0, 215.0, 920.0, 511.0, 377.0, 701.0, 463.0, 73.0, 638.0, 989.0,
287 926.0, 870.0, 763.0, 919.0, 760.0, 813.0, 612.0, 455.0, 187.0, 486.0, 41.0, 371.0, 148.0, 624.0, 144.0,
288 41.0, 910.0, 55.0, 839.0, 558.0, 943.0, 789.0, 120.0, 255.0, 439.0, 681.0, 230.0, 110.0, 603.0, 195.0,
289 418.0, 541.0, 553.0, 32.0, 389.0, 594.0, 260.0, 218.0, 581.0, 107.0, 549.0, 614.0, 69.0, 995.0, 961.0,
290 726.0, 857.0, 591.0, 26.0, 386.0, 146.0, 860.0, 219.0, 601.0, 605.0, 172.0, 768.0, 514.0, 906.0, 373.0,
291 796.0, 163.0, 800.0, 977.0, 97.0, 375.0, 187.0, 572.0, 532.0, 787.0, 258.0, 164.0, 822.0, 308.0, 63.0,
292 419.0, 921.0, 716.0, 914.0, 186.0, 908.0, 30.0, 910.0, 892.0, 310.0, 185.0, 23.0, 288.0, 549.0, 45.0,
293 163.0, 394.0, 59.0, 75.0, 731.0, 258.0, 49.0, 648.0, 839.0, 890.0, 171.0, 720.0, 707.0, 918.0, 819.0,
294 368.0, 632.0, 582.0, 7.0, 212.0, 23.0, 413.0, 227.0, 445.0, 568.0, 989.0, 372.0, 795.0, 330.0, 904.0,
295 100.0, 262.0, 508.0, 786.0, 508.0, 826.0, 305.0, 936.0, 117.0, 881.0, 241.0, 637.0, 72.0, 494.0, 219.0,
296 745.0, 484.0, 54.0, 515.0, 434.0, 933.0, 777.0, 635.0, 277.0, 137.0, 846.0, 443.0, 370.0, 830.0, 416.0,
297 667.0, 304.0, 725.0, 671.0, 986.0, 818.0, 570.0, 224.0, 186.0, 636.0, 170.0, 645.0, 780.0, 489.0, 767.0,
298 711.0, 879.0, 362.0, 471.0, 882.0, 976.0, 589.0, 141.0, 440.0, 739.0, 511.0, 268.0, 686.0, 61.0, 329.0,
299 371.0, 291.0, 748.0, 321.0, 23.0, 937.0, 42.0, 310.0, 470.0, 325.0, 628.0, 261.0, 634.0, 204.0, 344.0,
300 739.0, 634.0, 295.0, 511.0, 547.0, 522.0, 214.0, 494.0, 929.0, 890.0, 355.0, 673.0, 740.0, 803.0, 971.0,
301 933.0, 15.0, 567.0, 918.0, 514.0, 727.0, 704.0, 59.0, 380.0, 991.0, 423.0, 523.0, 188.0, 404.0, 506.0,
302 206.0, 160.0, 843.0, 24.0, 166.0, 33.0, 715.0, 335.0, 230.0, 308.0, 11.0, 935.0, 117.0, 246.0, 612.0,
303 415.0, 708.0, 330.0, 896.0, 204.0, 316.0, 878.0, 422.0, 471.0, 540.0, 982.0, 344.0, 409.0, 459.0, 216.0,
304 212.0, 893.0, 906.0, 876.0, 259.0, 865.0, 911.0, 852.0, 223.0, 20.0, 710.0, 519.0, 836.0, 587.0, 191.0,
305 924.0, 589.0, 626.0, 816.0, 985.0, 388.0, 882.0, 536.0, 635.0, 199.0, 88.0, 175.0, 66.0, 790.0, 781.0,
306 325.0, 896.0, 394.0, 850.0, 383.0, 226.0, 371.0, 718.0, 540.0, 767.0, 77.0, 27.0, 533.0, 526.0, 288.0,
307 479.0, 624.0, 243.0, 803.0, 702.0, 795.0, 380.0, 247.0, 356.0, 166.0, 941.0, 287.0, 131.0, 154.0, 94.0,
308 200.0, 905.0, 569.0, 733.0, 951.0, 892.0, 732.0, 220.0, 754.0, 929.0, 836.0, 80.0, 949.0, 849.0, 626.0,
309 407.0, 300.0, 240.0, 936.0, 309.0, 406.0, 863.0, 769.0, 720.0, 992.0, 386.0, 112.0, 238.0, 500.0, 311.0,
310 294.0, 343.0, 707.0, 841.0, 213.0, 616.0, 333.0, 435.0, 239.0, 558.0, 61.0, 302.0, 814.0, 170.0, 424.0,
311 824.0, 384.0, 200.0, 296.0, 179.0, 589.0, 563.0, 513.0, 933.0, 911.0, 182.0, 470.0, 107.0, 455.0, 732.0,
312 746.0, 225.0, 565.0, 914.0, 732.0, 597.0, 187.0, 978.0, 811.0, 545.0, 875.0, 802.0, 850.0, 696.0, 927.0,
313 98.0, 61.0, 272.0, 771.0, 364.0, 843.0, 629.0, 431.0, 874.0, 602.0, 70.0, 286.0, 501.0, 614.0, 571.0,
314 958.0, 828.0, 937.0, 144.0, 419.0, 242.0, 48.0, 758.0, 951.0, 251.0, 271.0, 949.0, 958.0, 271.0, 565.0,
315 876.0, 795.0, 985.0, 574.0, 549.0, 643.0, 625.0, 224.0, 980.0, 8.0, 112.0, 879.0, 212.0, 704.0, 373.0,
316 355.0, 287.0, 334.0, 551.0, 278.0, 618.0, 570.0, 961.0, 752.0, 201.0, 659.0, 64.0, 736.0, 753.0, 482.0,
317 702.0, 535.0, 50.0, 963.0, 429.0, 885.0, 549.0, 354.0, 142.0, 492.0, 129.0, 92.0, 71.0, 58.0, 798.0,
318 206.0, 536.0, 555.0, 509.0, 219.0, 439.0, 875.0, 599.0, 4.0, 125.0, 822.0, 282.0, 897.0, 174.0, 153.0,
319 304.0, 758.0, 607.0, 200.0, 32.0, 31.0, 264.0, 316.0, 187.0, 841.0, 413.0, 773.0, 177.0, 29.0, 719.0,
320 85.0, 6.0, 900.0, 662.0, 735.0, 60.0, 502.0, 106.0, 252.0, 197.0, 383.0, 321.0, 989.0, 644.0, 52.0,
321 808.0, 654.0, 433.0, 941.0, 988.0, 682.0, 35.0, 274.0, 379.0, 428.0, 7.0, 821.0, 704.0, 131.0, 61.0,
322 636.0, 403.0, 718.0, 735.0, 808.0, 715.0, 739.0, 25.0, 439.0, 381.0, 774.0, 70.0, 858.0, 711.0, 667.0,
323 962.0, 9.0, 622.0, 715.0, 324.0, 280.0, 173.0, 140.0, 712.0, 158.0, 916.0, 984.0, 599.0, 53.0, 255.0,
324 445.0, 987.0, 220.0, 878.0, 696.0, 170.0, 486.0, 610.0, 345.0, 497.0, 950.0, 165.0, 956.0, 468.0, 842.0,
325 752.0, 53.0, 896.0, 289.0, 587.0, 232.0, 654.0, 335.0, 793.0, 578.0, 909.0, 321.0, 698.0, 902.0, 813.0,
326 204.0, 737.0, 599.0, 767.0, 976.0, 511.0, 295.0, 100.0, 993.0, 235.0, 77.0, 688.0, 525.0, 209.0, 860.0,
327 670.0, 654.0, 314.0, 736.0, 923.0, 899.0, 396.0, 417.0, 862.0, 220.0, 275.0, 147.0, 556.0, 624.0, 772.0,
328 771.0, 431.0, 778.0, 565.0, 240.0, 967.0, 508.0, 345.0, 655.0, 712.0, 741.0, 481.0, 244.0, 862.0, 565.0,
329 559.0, 456.0, 884.0, 591.0, 283.0, 411.0, 66.0, 797.0, 993.0, 441.0, 5.0, 307.0, 809.0, 369.0, 191.0,
330 550.0, 303.0, 547.0, 19.0, 575.0, 869.0, 647.0, 796.0, 392.0, 220.0, 312.0, 680.0, 272.0, 938.0, 620.0,
331 673.0, 169.0, 948.0, 133.0, 639.0, 114.0, 862.0, 966.0, 777.0, 439.0, 30.0, 273.0, 815.0, 751.0, 587.0,
332 818.0, 315.0, 937.0, 361.0, 921.0, 411.0, 552.0, 506.0, 613.0, 734.0, 990.0, 239.0, 727.0, 979.0, 527.0,
333 378.0, 296.0, 461.0, 309.0, 345.0, 175.0, 712.0, 384.0, 694.0, 7.0, 818.0, 128.0, 709.0, 141.0, 431.0,
334 686.0, 573.0, 383.0, 177.0, 218.0, 494.0, 843.0, 766.0, 400.0, 478.0, 871.0, 309.0, 31.0, 790.0, 225.0,
335 861.0, 758.0, 245.0, 53.0, 712.0, 378.0, 0.0, 587.0, 180.0, 740.0, 280.0, 551.0, 703.0, 963.0, 866.0,
336 67.0, 205.0, 287.0, 961.0, 299.0, 849.0, 207.0, 463.0, 673.0, 373.0, 665.0, 788.0, 373.0, 883.0, 564.0,
337 822.0, 509.0, 860.0, 426.0, 62.0, 929.0, 88.0, 243.0, 191.0, 317.0, 249.0, 376.0, 642.0, 996.0, 407.0,
338 272.0, 466.0, 431.0, 834.0, 351.0, 544.0, 460.0, 33.0, 287.0, 407.0, 783.0, 570.0, 612.0, 678.0, 114.0,
339 428.0, 534.0, 276.0, 383.0, 521.0, 437.0, 694.0, 602.0, 559.0, 569.0, 479.0, 753.0, 310.0, 188.0, 12.0,
340 537.0, 478.0, 458.0, 99.0, 817.0, 925.0, 650.0, 590.0, 130.0, 584.0, 270.0, 397.0, 332.0, 635.0, 408.0,
341 9.0, 200.0, 15.0, 515.0, 297.0, 25.0, 847.0, 794.0, 453.0, 863.0, 119.0, 957.0, 675.0, 460.0, 905.0,
342 574.0, 658.0, 364.0, 814.0, 951.0, 830.0, 407.0, 918.0, 291.0, 897.0, 164.0, 462.0, 992.0, 216.0, 90.0,
343 930.0, 477.0, 684.0, 804.0, 901.0, 286.0, 208.0, 141.0, 460.0, 642.0, 270.0, 536.0, 175.0, 787.0, 19.0,
344 449.0, 654.0, 614.0, 788.0, 899.0, 779.0, 291.0, 971.0, 560.0, 352.0, 973.0, 775.0, 888.0, 628.0, 101.0,
345 140.0, 580.0, 443.0, 180.0, 202.0, 663.0, 841.0, 629.0, 638.0, 527.0, 980.0, 338.0, 768.0, 60.0, 398.0,
346 675.0, 951.0, 17.0, 214.0, 594.0, 810.0, 329.0, 8.0, 100.0, 546.0, 588.0, 184.0, 699.0, 919.0, 715.0,
347 433.0, 325.0, 732.0, 317.0, 367.0, 839.0, 918.0, 979.0, 392.0, 395.0, 577.0, 212.0, 355.0, 436.0, 827.0,
348 135.0, 303.0, 538.0, 927.0, 734.0, 746.0, 352.0, 97.0, 227.0, 529.0, 356.0, 63.0, 264.0, 811.0, 862.0,
349 438.0, 820.0, 807.0, 292.0, 85.0, 335.0, 534.0, 286.0, 513.0, 889.0, 459.0, 720.0, 63.0, 775.0, 797.0,
350 656.0, 9.0, 256.0, 865.0, 158.0, 574.0, 108.0, 815.0, 350.0, 786.0, 181.0, 342.0, 624.0, 499.0, 564.0,
351 116.0, 249.0, 395.0, 74.0, 614.0, 311.0, 892.0, 875.0, 184.0, 546.0, 168.0, 120.0, 827.0, 645.0, 712.0,
352 91.0, 297.0, 452.0, 667.0, 105.0, 145.0, 54.0, 312.0, 437.0, 700.0, 331.0, 793.0, 259.0, 977.0, 696.0,
353 602.0, 469.0, 823.0, 666.0, 82.0, 766.0, 425.0, 860.0, 8.0, 505.0, 869.0, 25.0, 571.0, 925.0, 573.0,
354 977.0, 885.0, 608.0, 116.0, 461.0, 798.0, 946.0, 940.0, 674.0, 223.0, 283.0, 470.0, 842.0, 121.0, 612.0,
355 500.0, 596.0, 568.0, 508.0, 385.0, 293.0, 1000.0, 466.0, 926.0, 914.0, 768.0, 397.0, 632.0, 402.0, 927.0,
356 729.0, 98.0, 501.0, 683.0, 935.0, 219.0, 903.0, 369.0, 22.0, 133.0, 502.0, 335.0, 658.0, 690.0, 383.0,
357 516.0, 31.0, 800.0, 298.0, 7.0, 271.0, 298.0, 190.0, 122.0, 385.0, 590.0, 854.0, 173.0, 310.0, 574.0,
358 556.0, 753.0, 591.0, 730.0, 968.0, 987.0, 415.0, 522.0, 475.0, 115.0, 588.0, 232.0, 422.0, 872.0, 782.0,
359 45.0, 479.0, 306.0, 274.0, 554.0, 451.0, 995.0, 683.0, 423.0, 497.0, 443.0, 271.0, 515.0, 222.0, 279.0,
360 206.0, 988.0, 936.0, 273.0, 834.0, 620.0, 338.0, 805.0, 57.0, 878.0, 594.0, 552.0, 162.0, 412.0, 672.0,
361 932.0, 592.0, 150.0, 327.0, 343.0, 313.0, 375.0, 371.0, 998.0, 896.0, 325.0, 901.0, 851.0, 40.0, 452.0,
362 539.0, 134.0, 931.0, 994.0, 894.0, 840.0, 90.0, 820.0, 660.0, 380.0, 837.0, 840.0, 278.0, 338.0, 363.0,
363 622.0, 140.0, 908.0, 810.0, 905.0, 238.0, 730.0, 941.0, 16.0, 989.0, 586.0, 514.0, 479.0, 918.0, 877.0,
364 94.0, 738.0, 160.0, 985.0, 679.0, 200.0, 510.0, 941.0, 280.0, 843.0, 81.0, 744.0, 271.0, 313.0, 211.0,
365 114.0, 756.0, 575.0, 909.0, 529.0, 622.0, 135.0, 82.0, 255.0, 926.0, 556.0, 284.0, 803.0, 665.0, 73.0,
366 16.0, 689.0, 828.0, 4.0, 381.0, 841.0, 717.0, 438.0, 811.0, 544.0, 625.0, 738.0, 140.0, 543.0, 739.0,
367 787.0, 456.0, 597.0, 230.0, 776.0, 356.0, 902.0, 133.0, 915.0, 723.0, 481.0, 839.0, 257.0, 71.0, 730.0,
368 949.0, 527.0, 480.0, 387.0, 511.0, 778.0, 563.0, 424.0, 701.0, 216.0, 176.0, 376.0, 416.0, 903.0, 757.0,
369 964.0, 976.0, 799.0, 697.0, 293.0, 61.0, 854.0, 227.0, 232.0, 971.0, 67.0, 749.0, 877.0, 438.0, 547.0,
370 578.0, 208.0, 312.0, 21.0, 406.0, 104.0, 338.0, 618.0, 366.0, 995.0, 947.0, 647.0, 284.0, 185.0, 670.0,
371 625.0, 34.0, 83.0, 569.0, 834.0, 236.0, 322.0, 284.0, 378.0, 620.0, 282.0, 476.0, 41.0, 289.0, 202.0,
372 140.0, 778.0, 749.0, 684.0, 330.0, 943.0, 464.0, 894.0, 218.0, 282.0, 250.0, 255.0, 117.0, 958.0, 546.0,
373 997.0, 458.0, 850.0, 161.0, 647.0, 644.0, 908.0, 184.0, 30.0, 399.0, 677.0, 354.0, 944.0, 87.0, 243.0,
374 991.0, 20.0, 764.0, 193.0, 892.0, 963.0, 521.0, 210.0, 420.0, 797.0, 699.0, 245.0, 715.0, 222.0, 564.0,
375 965.0, 862.0, 473.0, 738.0, 970.0, 702.0, 279.0, 756.0, 849.0, 68.0, 321.0, 975.0, 517.0, 444.0, 683.0,
376 263.0, 858.0, 3.0, 829.0, 534.0, 562.0, 579.0, 125.0, 129.0, 410.0, 530.0, 922.0, 404.0, 951.0, 641.0,
377 26.0, 701.0, 852.0, 231.0, 869.0, 298.0, 956.0, 155.0, 922.0, 509.0, 962.0, 572.0, 383.0, 46.0, 90.0,
378 693.0, 766.0, 640.0, 36.0, 403.0, 880.0, 854.0, 378.0, 904.0, 649.0, 939.0, 978.0, 893.0, 969.0, 772.0,
379 456.0, 477.0, 360.0, 247.0, 909.0, 553.0, 648.0, 885.0, 857.0, 325.0, 383.0, 445.0, 9.0, 201.0, 595.0,
380 551.0, 259.0, 552.0, 684.0, 868.0, 915.0, 20.0, 373.0, 649.0, 350.0, 827.0, 184.0, 146.0, 159.0, 966.0,
381 284.0, 390.0, 622.0, 703.0, 180.0, 890.0, 540.0, 612.0, 754.0, 705.0, 550.0, 631.0, 430.0, 280.0, 125.0,
382 825.0, 684.0, 340.0, 226.0, 990.0, 766.0, 342.0, 504.0, 35.0, 309.0, 780.0, 51.0, 959.0, 49.0, 87.0,
383 692.0, 881.0, 327.0, 176.0, 802.0, 441.0, 755.0, 990.0, 46.0, 169.0, 570.0, 251.0, 868.0, 159.0, 637.0,
384 296.0, 457.0, 717.0, 228.0, 719.0, 66.0, 276.0, 844.0, 670.0, 590.0, 373.0, 662.0, 54.0, 639.0, 417.0,
385 207.0, 291.0, 565.0, 105.0, 909.0, 312.0, 634.0, 743.0, 492.0, 608.0, 157.0, 818.0, 553.0, 271.0, 793.0,
386 541.0, 292.0, 702.0, 777.0, 758.0, 261.0, 652.0, 449.0, 703.0, 641.0, 0.0, 84.0, 642.0, 353.0, 816.0,
387 311.0, 386.0, 832.0, 363.0, 415.0, 253.0, 634.0, 757.0, 395.0, 410.0, 622.0, 953.0, 271.0, 164.0, 150.0,
388 605.0, 666.0, 406.0, 374.0, 42.0, 503.0, 275.0, 372.0, 155.0, 104.0, 451.0, 68.0, 444.0, 392.0, 867.0,
389 337.0, 172.0, 259.0, 325.0, 778.0, 675.0, 743.0, 360.0, 741.0, 856.0, 521.0, 744.0, 455.0, 623.0, 695.0,
390 343.0, 654.0, 921.0, 21.0, 129.0, 111.0, 3.0, 917.0, 133.0, 950.0, 620.0, 909.0, 296.0, 884.0, 123.0,
391 773.0, 536.0, 72.0, 917.0, 57.0, 346.0, 764.0, 597.0, 915.0, 741.0, 31.0, 568.0, 482.0, 12.0, 995.0,
392 228.0, 283.0, 788.0, 579.0, 117.0, 758.0, 51.0, 795.0, 598.0, 399.0, 251.0, 452.0, 180.0, 269.0, 896.0,
393 585.0, 289.0, 951.0, 851.0, 902.0, 857.0, 674.0, 235.0, 163.0, 319.0, 273.0, 430.0, 315.0, 688.0, 55.0,
394 937.0, 692.0, 821.0, 923.0, 278.0, 483.0, 1.0, 93.0, 729.0, 136.0, 337.0, 892.0, 1000.0, 201.0, 641.0,
395 763.0, 678.0, 1000.0, 842.0, 814.0, 585.0, 954.0, 500.0, 972.0, 766.0, 360.0, 96.0, 351.0, 815.0, 814.0,
396 534.0, 689.0, 732.0, 643.0, 727.0, 205.0, 719.0, 183.0, 700.0, 578.0, 282.0, 940.0, 189.0, 257.0, 328.0,
397 145.0, 186.0, 323.0, 897.0, 639.0, 265.0, 61.0, 73.0, 15.0, 267.0, 666.0, 944.0, 719.0, 847.0, 276.0,
398 626.0, 951.0, 915.0, 623.0, 179.0, 364.0, 551.0, 23.0, 260.0, 995.0, 311.0, 238.0, 688.0, 585.0, 889.0,
399 493.0, 485.0, 869.0, 324.0, 333.0, 836.0, 481.0, 590.0, 552.0, 483.0, 393.0, 521.0, 174.0, 580.0, 140.0,
400 796.0, 739.0, 41.0, 493.0, 200.0, 549.0, 220.0, 420.0, 708.0, 311.0, 591.0, 555.0, 244.0, 433.0, 535.0,
401 821.0, 772.0, 465.0, 121.0, 330.0, 849.0, 528.0, 905.0, 660.0, 99.0, 63.0, 573.0, 619.0, 622.0, 534.0,
402 775.0, 866.0, 948.0, 763.0, 244.0, 477.0, 692.0, 638.0, 770.0, 722.0, 703.0, 216.0, 433.0, 793.0, 11.0,
403 448.0, 639.0, 934.0, 579.0, 734.0, 900.0, 965.0, 313.0, 864.0, 981.0, 180.0, 394.0, 347.0, 964.0, 906.0,
404 559.0, 548.0, 509.0, 920.0, 785.0, 958.0, 693.0, 929.0, 870.0, 262.0, 111.0, 200.0, 528.0, 673.0, 309.0,
405 163.0, 662.0, 501.0, 101.0, 749.0, 204.0, 90.0, 376.0, 588.0, 409.0, 375.0, 322.0, 346.0, 145.0, 623.0,
406 888.0, 269.0, 95.0, 24.0, 92.0, 724.0, 370.0, 931.0, 385.0, 875.0, 175.0, 733.0, 175.0, 475.0, 457.0,
407 494.0, 859.0, 1000.0, 560.0, 668.0, 308.0, 72.0, 62.0, 97.0, 229.0, 756.0, 260.0, 36.0, 116.0, 387.0,
408 171.0, 75.0, 520.0, 815.0, 734.0, 822.0, 433.0, 439.0, 239.0, 518.0, 617.0, 866.0, 441.0, 315.0, 100.0,
409 776.0, 684.0, 126.0, 757.0, 425.0, 851.0, 651.0, 791.0, 261.0, 61.0, 967.0, 173.0, 476.0, 775.0, 174.0,
410 467.0, 352.0, 54.0, 1000.0, 401.0, 797.0, 524.0, 33.0, 412.0, 100.0, 441.0, 376.0, 931.0, 658.0, 245.0,
411 154.0, 554.0, 198.0, 966.0, 173.0, 267.0, 812.0, 72.0, 375.0, 883.0, 309.0, 670.0, 36.0, 259.0, 320.0,
412 548.0, 994.0, 55.0, 471.0, 577.0, 833.0, 952.0, 357.0, 555.0, 214.0, 985.0, 467.0, 878.0, 657.0, 981.0,
413 139.0, 340.0, 820.0, 612.0, 869.0, 618.0, 609.0, 353.0, 14.0, 996.0, 937.0, 104.0, 92.0, 984.0, 787.0,
414 744.0, 433.0, 731.0, 158.0, 806.0, 299.0, 694.0, 702.0, 916.0, 99.0, 867.0, 525.0, 700.0, 421.0, 681.0,
415 574.0, 600.0, 566.0, 161.0, 976.0, 508.0, 978.0, 134.0, 935.0, 946.0, 315.0, 339.0, 477.0, 424.0, 749.0,
416 900.0, 477.0, 216.0, 566.0, 666.0, 17.0, 209.0, 395.0, 636.0, 591.0, 953.0, 957.0, 701.0, 97.0, 785.0,
417 11.0, 393.0, 416.0, 999.0, 893.0, 338.0, 932.0, 266.0, 982.0, 212.0, 332.0, 643.0, 701.0, 980.0, 960.0,
418 434.0, 604.0, 188.0, 893.0, 473.0, 704.0, 411.0, 451.0, 486.0, 440.0, 513.0, 186.0, 91.0, 759.0, 363.0,
419 232.0, 759.0, 534.0, 289.0, 639.0, 728.0, 294.0, 508.0, 285.0, 2.0, 522.0, 19.0, 399.0, 988.0, 881.0,
420 128.0, 132.0, 613.0, 654.0, 965.0, 35.0, 790.0, 269.0, 321.0, 689.0, 124.0, 363.0, 734.0, 665.0, 516.0,
421 793.0, 454.0, 31.0, 819.0, 842.0, 14.0, 21.0, 188.0, 965.0, 326.0, 904.0, 788.0, 672.0, 107.0, 604.0,
422 986.0, 434.0, 458.0, 831.0, 447.0, 950.0, 730.0, 589.0, 926.0, 959.0, 153.0, 768.0, 13.0, 587.0, 820.0,
423 72.0, 483.0, 84.0, 993.0, 26.0, 583.0, 151.0, 104.0, 587.0, 825.0, 845.0, 843.0, 223.0, 197.0, 62.0,
424 822.0, 449.0, 580.0, 694.0, 326.0, 281.0, 783.0, 607.0, 499.0, 657.0, 849.0, 871.0, 540.0, 349.0, 851.0,
425 910.0, 810.0, 89.0, 372.0, 504.0, 369.0, 500.0, 248.0, 608.0, 973.0, 781.0, 301.0, 972.0, 511.0, 107.0,
426 343.0, 477.0, 203.0, 396.0, 99.0, 168.0, 754.0, 488.0, 334.0, 825.0, 133.0, 539.0, 165.0, 666.0, 43.0,
427 375.0, 358.0, 860.0, 392.0, 157.0, 354.0, 143.0, 546.0, 867.0, 756.0, 422.0, 163.0, 921.0, 688.0, 912.0,
428 79.0, 135.0, 977.0, 631.0, 765.0, 372.0, 740.0, 690.0, 681.0, 936.0, 704.0, 868.0, 768.0, 823.0, 53.0,
429 547.0, 754.0, 805.0, 615.0, 315.0, 599.0, 332.0, 562.0, 751.0, 646.0, 716.0, 64.0, 266.0, 668.0, 136.0,
430 869.0, 154.0, 458.0, 448.0, 98.0, 492.0, 448.0, 211.0, 393.0, 84.0, 924.0, 795.0, 844.0, 33.0, 41.0,
431 309.0, 299.0, 452.0, 192.0, 995.0, 330.0, 724.0, 524.0, 9.0, 433.0, 232.0, 557.0, 656.0, 876.0, 336.0,
432 710.0, 277.0, 783.0, 340.0, 129.0, 673.0, 370.0, 15.0, 298.0, 407.0, 45.0, 470.0, 547.0, 733.0, 839.0,
433 447.0, 210.0, 322.0, 686.0, 509.0, 272.0, 489.0, 436.0, 796.0, 263.0, 693.0, 313.0, 320.0, 143.0, 321.0,
434 536.0, 232.0, 160.0, 426.0, 182.0, 964.0, 918.0, 843.0, 911.0, 679.0, 891.0, 540.0, 594.0, 300.0, 481.0,
435 648.0, 116.0, 107.0, 415.0, 263.0, 976.0, 16.0, 503.0, 805.0, 688.0, 708.0, 452.0, 780.0, 946.0, 994.0,
436 759.0, 191.0, 146.0, 583.0, 726.0, 954.0, 733.0, 459.0, 371.0, 594.0, 849.0, 194.0, 565.0, 881.0, 238.0,
437 828.0, 385.0, 731.0, 500.0, 638.0, 42.0, 963.0, 799.0, 13.0, 248.0, 474.0, 588.0, 294.0, 428.0, 987.0,
438 73.0, 326.0, 758.0, 944.0, 277.0, 830.0, 126.0, 510.0, 744.0, 175.0, 608.0, 93.0, 314.0, 297.0, 654.0,
439 372.0, 461.0, 472.0, 899.0, 332.0, 829.0, 437.0, 541.0, 911.0, 608.0, 574.0, 463.0, 877.0, 387.0, 810.0,
440 27.0, 73.0, 716.0, 849.0, 66.0, 227.0, 849.0, 710.0, 575.0, 680.0, 473.0, 128.0, 805.0, 641.0, 291.0,
441 88.0, 853.0, 773.0, 816.0, 634.0, 74.0, 269.0, 793.0, 502.0, 604.0, 198.0, 191.0, 41.0, 126.0, 851.0,
442 805.0, 4.0, 209.0, 846.0, 218.0, 268.0, 221.0, 524.0, 186.0, 595.0, 180.0, 56.0, 43.0, 333.0, 798.0,
443 297.0, 180.0, 683.0, 576.0, 572.0, 682.0, 701.0, 14.0, 364.0, 919.0, 298.0, 330.0, 90.0, 195.0, 438.0,
444 914.0, 689.0, 919.0, 790.0, 281.0, 112.0, 400.0, 804.0, 534.0, 870.0, 785.0, 613.0, 622.0, 739.0, 477.0,
445 723.0, 824.0, 746.0, 808.0, 269.0, 919.0, 370.0, 639.0, 715.0, 982.0, 888.0, 18.0, 729.0, 240.0, 652.0,
446 157.0, 928.0, 792.0, 579.0, 886.0, 902.0, 57.0, 656.0, 944.0, 755.0, 100.0, 454.0, 982.0, 931.0, 670.0,
447 858.0, 770.0, 912.0, 785.0, 423.0, 282.0, 443.0, 289.0, 834.0, 106.0, 966.0, 615.0, 503.0, 598.0, 628.0,
448 515.0, 116.0, 672.0, 871.0, 641.0, 207.0, 116.0, 78.0, 835.0, 773.0, 660.0, 776.0, 659.0, 173.0, 126.0,
449 666.0, 476.0, 361.0, 575.0, 73.0, 202.0, 885.0, 593.0, 936.0, 703.0, 582.0, 304.0, 390.0, 617.0, 821.0,
450 862.0, 218.0, 612.0, 491.0, 878.0, 304.0, 1000.0, 226.0, 312.0, 815.0, 987.0, 292.0, 634.0, 382.0, 885.0,
451 233.0, 95.0, 733.0, 783.0, 808.0, 969.0, 463.0, 867.0, 764.0, 698.0, 778.0, 902.0, 279.0, 51.0, 254.0,
452 565.0, 867.0, 186.0, 17.0, 166.0, 930.0, 530.0, 432.0, 271.0, 514.0, 408.0, 269.0, 894.0, 270.0, 947.0,
453 821.0, 493.0, 734.0, 538.0, 853.0, 170.0, 690.0, 225.0, 748.0, 591.0, 951.0, 237.0, 243.0, 693.0, 753.0,
454 362.0, 909.0, 547.0, 293.0, 579.0, 161.0, 968.0, 533.0, 349.0, 845.0, 963.0, 80.0, 215.0, 333.0, 456.0,
455 406.0, 537.0, 778.0, 761.0, 152.0, 708.0, 295.0, 927.0, 73.0, 303.0, 910.0, 220.0, 129.0, 55.0, 879.0,
456 615.0, 712.0, 828.0, 231.0, 726.0, 508.0, 791.0, 470.0, 961.0, 272.0, 198.0, 542.0, 44.0, 406.0, 454.0,
457 863.0, 870.0, 510.0, 808.0, 677.0, 927.0, 661.0, 168.0, 402.0, 30.0, 956.0, 832.0, 740.0, 661.0, 198.0,
458 814.0, 573.0, 796.0, 829.0, 341.0, 110.0, 194.0, 168.0, 319.0, 721.0, 351.0, 494.0, 793.0, 301.0, 344.0,
459 5.0, 700.0, 1000.0, 464.0, 280.0, 227.0, 960.0, 100.0, 598.0, 225.0, 630.0, 552.0, 639.0, 622.0, 353.0,
460 885.0, 139.0, 690.0, 88.0, 503.0, 51.0, 443.0, 436.0, 477.0, 65.0, 37.0, 661.0, 54.0, 365.0, 991.0,
461 37.0, 396.0, 339.0, 185.0, 787.0, 604.0, 679.0, 838.0, 162.0, 191.0, 998.0, 991.0, 941.0, 488.0, 402.0,
462 122.0, 912.0, 575.0, 911.0, 664.0, 250.0, 60.0, 632.0, 227.0, 950.0, 579.0, 609.0, 806.0, 535.0, 381.0,
463 163.0, 440.0, 295.0, 404.0, 771.0, 484.0, 867.0, 287.0, 826.0, 262.0, 304.0, 206.0, 928.0, 165.0, 529.0,
464 424.0, 123.0, 345.0, 255.0, 902.0, 162.0, 430.0, 616.0, 243.0, 846.0, 435.0, 220.0, 619.0, 5.0, 797.0,
465 549.0, 329.0, 707.0, 708.0, 474.0, 666.0, 418.0, 183.0, 577.0, 522.0, 50.0, 931.0, 629.0, 939.0, 202.0,
466 679.0, 376.0, 114.0, 970.0, 54.0, 228.0, 356.0, 531.0, 469.0, 860.0, 426.0, 984.0, 831.0, 736.0, 495.0,
467 23.0, 22.0, 744.0, 528.0, 753.0, 249.0, 337.0, 719.0, 986.0, 80.0, 785.0, 32.0, 342.0, 584.0, 30.0,
468 31.0, 907.0, 57.0, 614.0, 603.0, 162.0, 10.0, 485.0, 598.0, 61.0, 553.0, 788.0, 117.0, 278.0, 662.0,
469 226.0, 161.0, 493.0, 799.0, 442.0, 549.0, 811.0, 856.0, 708.0, 209.0, 558.0, 469.0, 744.0, 518.0, 106.0,
470 900.0, 735.0, 897.0, 271.0, 44.0, 151.0, 717.0, 377.0, 649.0, 214.0, 908.0, 908.0, 42.0, 338.0, 902.0,
471 486.0, 196.0, 885.0, 803.0, 377.0, 672.0, 53.0, 399.0, 780.0, 808.0, 527.0, 503.0, 500.0, 126.0, 219.0,
472 809.0, 169.0, 262.0, 455.0, 399.0, 173.0, 312.0, 828.0, 420.0, 72.0, 584.0, 534.0, 826.0, 229.0, 255.0,
473 215.0, 338.0, 748.0, 847.0, 814.0, 647.0, 916.0, 375.0, 122.0, 958.0, 347.0, 584.0, 459.0, 572.0, 494.0,
474 353.0, 689.0, 812.0, 484.0, 656.0, 289.0, 68.0, 12.0, 99.0, 253.0, 943.0, 662.0, 791.0, 325.0, 460.0,
475 526.0, 367.0, 859.0, 165.0, 48.0, 320.0, 572.0, 284.0, 139.0, 378.0, 609.0, 142.0, 997.0, 321.0, 726.0,
476 670.0, 502.0, 587.0, 113.0, 491.0, 150.0, 548.0, 295.0, 278.0, 606.0, 264.0, 57.0, 554.0, 850.0, 134.0,
477 616.0, 868.0, 858.0, 326.0, 876.0, 193.0, 784.0, 721.0, 56.0, 477.0, 263.0, 105.0, 582.0, 172.0, 591.0,
478 993.0, 32.0, 687.0, 744.0, 500.0, 560.0, 905.0, 862.0, 644.0, 104.0, 457.0, 221.0, 438.0, 441.0, 501.0,
479 919.0, 756.0, 268.0, 67.0, 928.0, 919.0, 375.0, 819.0, 363.0, 908.0, 727.0, 480.0, 961.0, 190.0, 834.0,
480 731.0, 72.0, 336.0, 845.0, 665.0, 814.0, 146.0, 743.0, 740.0, 289.0, 471.0, 205.0, 681.0, 718.0, 193.0,
481 359.0, 429.0, 468.0, 278.0, 861.0, 165.0, 796.0, 608.0, 573.0, 536.0, 744.0, 222.0, 5.0, 894.0, 822.0,
482 970.0, 441.0, 118.0, 943.0, 190.0, 762.0, 659.0, 948.0, 734.0, 604.0, 701.0, 625.0, 731.0, 17.0, 312.0,
483 644.0, 293.0, 559.0, 924.0, 721.0, 717.0, 473.0, 800.0, 785.0, 83.0, 524.0, 321.0, 705.0, 173.0, 438.0,
484 256.0, 842.0, 443.0, 773.0, 898.0, 218.0, 207.0, 293.0, 465.0, 871.0, 252.0, 494.0, 417.0, 392.0, 780.0,
485 137.0, 396.0, 677.0, 934.0, 185.0, 486.0, 515.0, 179.0, 284.0, 431.0, 955.0, 566.0, 935.0, 630.0, 96.0,
486 35.0, 310.0, 943.0, 795.0, 825.0, 772.0, 954.0, 655.0, 898.0, 211.0, 885.0, 480.0, 579.0, 365.0, 721.0,
487 853.0, 375.0, 655.0, 627.0, 152.0, 216.0, 606.0, 886.0, 773.0, 417.0, 158.0, 820.0, 571.0, 499.0, 583.0,
488 891.0, 491.0, 335.0, 708.0, 737.0, 559.0, 239.0, 755.0, 963.0, 749.0, 770.0, 835.0, 299.0, 23.0, 874.0,
489 975.0, 495.0, 721.0, 609.0, 791.0, 278.0, 356.0, 596.0, 991.0, 178.0, 871.0, 164.0, 892.0, 813.0, 775.0,
490 269.0, 828.0, 422.0, 808.0, 529.0, 599.0, 753.0, 113.0, 313.0, 464.0, 437.0, 583.0, 736.0, 251.0, 287.0,
491 299.0, 491.0, 324.0, 858.0, 604.0, 160.0, 13.0, 867.0, 604.0, 367.0, 836.0, 396.0, 437.0, 807.0, 817.0,
492 412.0, 37.0, 542.0, 677.0, 365.0, 47.0, 369.0, 255.0, 669.0, 199.0, 940.0, 579.0, 64.0, 823.0, 688.0,
493 628.0, 439.0, 128.0, 666.0, 325.0, 862.0, 792.0, 508.0, 471.0, 9.0, 18.0, 230.0, 570.0, 817.0, 62.0,
494 248.0, 148.0, 18.0, 785.0, 514.0, 178.0, 911.0, 514.0, 443.0, 148.0, 839.0, 266.0, 818.0, 849.0, 501.0,
495 700.0, 303.0, 377.0, 767.0, 785.0, 119.0, 749.0, 156.0, 354.0, 0.0, 617.0, 449.0, 190.0, 118.0, 852.0,
496 726.0, 697.0, 646.0, 193.0, 736.0, 157.0, 19.0, 28.0, 223.0, 249.0, 354.0, 839.0, 321.0, 87.0, 138.0,
497 95.0, 207.0, 343.0, 879.0, 918.0, 852.0, 16.0, 914.0, 478.0, 34.0, 765.0, 821.0, 152.0, 866.0, 840.0,
498 805.0, 987.0, 423.0, 198.0, 724.0, 46.0, 817.0, 91.0, 61.0, 484.0, 736.0, 937.0, 331.0, 632.0, 504.0,
499 728.0, 570.0, 691.0, 492.0, 157.0, 620.0, 284.0, 439.0, 846.0, 943.0, 566.0, 916.0, 798.0, 526.0, 713.0,
500 578.0, 640.0, 968.0, 115.0, 625.0, 207.0, 373.0, 443.0, 905.0, 178.0, 36.0, 639.0, 40.0, 742.0, 739.0,
501 669.0, 457.0, 665.0, 955.0, 557.0, 374.0, 272.0, 215.0, 803.0, 518.0, 861.0, 160.0, 267.0, 276.0, 290.0,
502 640.0, 272.0, 432.0, 852.0, 875.0, 341.0, 458.0, 113.0, 618.0, 569.0, 23.0, 930.0, 766.0, 264.0, 951.0,
503 40.0, 439.0, 805.0, 152.0, 160.0, 462.0, 165.0, 868.0, 182.0, 140.0, 708.0, 555.0, 302.0, 204.0, 711.0,
504 462.0, 125.0, 153.0, 110.0, 327.0, 6.0, 376.0, 93.0, 630.0, 295.0, 983.0, 788.0, 552.0, 900.0, 450.0,
505 615.0, 840.0, 813.0, 299.0, 448.0, 937.0, 612.0, 144.0, 509.0, 389.0, 886.0, 979.0, 468.0, 977.0, 859.0,
506 931.0, 393.0, 368.0, 548.0, 775.0, 82.0, 257.0, 551.0, 698.0, 564.0, 532.0, 933.0, 870.0, 920.0, 200.0,
507 789.0, 832.0, 980.0, 761.0, 832.0, 994.0, 96.0, 270.0, 242.0, 442.0, 930.0, 161.0, 241.0, 873.0, 75.0,
508 339.0, 224.0, 756.0, 980.0, 253.0, 500.0, 725.0, 624.0, 906.0, 426.0, 197.0, 76.0, 591.0, 639.0, 422.0,
509 852.0, 933.0, 979.0, 936.0, 391.0, 284.0, 968.0, 847.0, 847.0, 447.0, 816.0, 404.0, 710.0, 736.0, 102.0,
510 713.0, 91.0, 44.0, 44.0, 617.0, 514.0, 848.0, 964.0, 127.0, 968.0, 841.0, 801.0, 128.0, 453.0, 644.0,
511 116.0, 160.0, 728.0, 975.0, 454.0, 947.0, 667.0, 669.0, 214.0, 723.0, 81.0, 184.0, 556.0, 565.0, 477.0,
512 885.0, 803.0, 188.0, 48.0, 652.0, 480.0, 533.0, 473.0, 132.0, 140.0, 492.0, 238.0, 540.0, 910.0, 509.0,
513 202.0, 425.0, 982.0, 934.0, 361.0, 446.0, 3.0, 93.0, 618.0, 779.0, 185.0, 218.0, 698.0, 222.0, 126.0,
514 171.0, 184.0, 862.0, 982.0, 850.0, 741.0, 696.0, 917.0, 289.0, 992.0, 147.0, 266.0, 70.0, 817.0, 203.0,
515 514.0, 543.0, 614.0, 174.0, 478.0, 524.0, 206.0, 250.0, 543.0, 331.0, 531.0, 251.0, 304.0, 72.0, 833.0,
516 64.0, 979.0, 554.0, 605.0, 230.0, 561.0, 328.0, 332.0, 818.0, 849.0, 47.0, 78.0, 737.0, 625.0, 818.0,
517 243.0, 454.0, 59.0, 237.0, 69.0, 872.0, 96.0, 197.0, 628.0, 947.0, 586.0, 172.0, 608.0, 107.0, 495.0,
518 346.0, 601.0, 295.0, 669.0, 52.0, 221.0, 401.0, 711.0, 44.0, 119.0, 394.0, 7.0, 304.0, 423.0, 885.0,
519 760.0, 638.0, 973.0, 609.0, 923.0, 989.0, 274.0, 848.0, 718.0, 319.0, 752.0, 26.0, 645.0, 215.0, 763.0,
520 960.0, 228.0, 313.0, 896.0, 103.0, 911.0, 883.0, 238.0, 34.0, 77.0, 65.0, 762.0, 311.0, 154.0, 674.0,
521 773.0, 237.0, 506.0, 466.0, 40.0, 937.0, 272.0, 42.0, 551.0, 308.0, 255.0, 95.0, 19.0, 667.0, 754.0,
522 489.0, 407.0, 860.0, 12.0, 846.0, 238.0, 494.0, 319.0, 132.0, 877.0, 679.0, 916.0, 593.0, 574.0, 831.0,
523 64.0, 280.0, 718.0, 441.0, 19.0, 185.0, 622.0, 293.0, 480.0, 837.0, 684.0, 641.0, 77.0, 842.0, 771.0,
524 143.0, 421.0, 683.0, 555.0, 898.0, 204.0, 344.0, 421.0, 174.0, 459.0, 604.0, 44.0, 261.0, 982.0, 692.0,
525 663.0, 607.0, 75.0, 205.0, 114.0, 476.0, 806.0, 423.0, 657.0, 100.0, 585.0, 385.0, 337.0, 673.0, 896.0,
526 877.0, 635.0, 560.0, 485.0, 588.0, 692.0, 321.0, 142.0, 839.0, 415.0, 881.0, 2.0, 104.0, 519.0, 565.0,
527 68.0, 61.0, 659.0, 236.0, 856.0, 538.0, 946.0, 670.0, 879.0, 990.0, 480.0, 275.0, 577.0, 614.0, 824.0,
528 981.0, 432.0, 320.0, 122.0, 961.0, 795.0, 321.0, 733.0, 419.0, 588.0, 132.0, 953.0, 470.0, 217.0, 882.0,
529 624.0, 635.0, 332.0, 288.0, 813.0, 714.0, 288.0, 583.0, 220.0, 463.0, 340.0, 352.0, 168.0, 660.0, 16.0,
530 796.0, 364.0, 758.0, 222.0, 724.0, 920.0, 903.0, 656.0, 48.0, 878.0, 546.0, 165.0, 102.0, 330.0, 995.0,
531 547.0, 130.0, 732.0, 499.0, 754.0, 333.0, 703.0, 448.0, 392.0, 211.0, 751.0, 213.0, 985.0, 276.0, 868.0,
532 475.0, 683.0, 243.0, 971.0, 716.0, 373.0, 95.0, 736.0, 732.0, 334.0, 473.0, 220.0, 72.0, 562.0, 97.0,
533 997.0, 413.0, 851.0, 65.0, 166.0, 989.0, 934.0, 918.0, 811.0, 978.0, 979.0, 103.0, 613.0, 157.0, 244.0,
534 264.0, 475.0, 668.0, 953.0, 505.0, 294.0, 170.0, 764.0, 957.0, 625.0, 989.0, 110.0, 97.0, 374.0, 905.0,
535 586.0, 904.0, 31.0, 515.0, 409.0, 339.0, 530.0, 695.0, 443.0, 697.0, 836.0, 585.0, 850.0, 771.0, 767.0,
536 865.0, 69.0, 47.0, 451.0, 166.0, 826.0, 322.0, 535.0, 706.0, 37.0, 902.0, 51.0, 633.0, 145.0, 446.0,
537 573.0, 362.0, 859.0, 278.0, 156.0, 475.0, 184.0, 488.0, 811.0, 832.0, 761.0, 7.0, 498.0, 842.0, 850.0,
538 705.0, 527.0, 995.0, 43.0, 922.0, 671.0, 684.0, 138.0, 702.0, 846.0, 944.0, 276.0, 694.0, 324.0, 734.0,
539 117.0, 873.0, 350.0, 746.0, 880.0, 644.0, 292.0, 196.0, 745.0, 812.0, 847.0, 655.0, 366.0, 354.0, 164.0,
540 858.0, 508.0, 124.0, 828.0, 160.0, 302.0, 922.0, 855.0, 595.0, 684.0, 314.0, 558.0, 493.0, 876.0, 233.0,
541 199.0, 230.0, 573.0, 128.0, 842.0, 236.0, 550.0, 771.0, 792.0, 418.0, 730.0, 505.0, 65.0, 109.0, 104.0,
542 179.0, 411.0, 892.0, 991.0, 316.0, 446.0, 29.0, 868.0, 278.0, 37.0, 820.0, 125.0, 318.0, 858.0, 514.0,
543 249.0, 934.0, 149.0, 84.0, 698.0, 841.0, 905.0, 521.0, 546.0, 121.0, 979.0, 222.0, 562.0, 31.0, 77.0,
544 825.0, 221.0, 993.0, 57.0, 878.0, 76.0, 821.0, 736.0, 167.0, 679.0, 752.0, 809.0, 889.0, 673.0, 801.0,
545 668.0, 365.0, 972.0, 681.0, 269.0, 21.0, 654.0, 91.0, 265.0, 301.0, 255.0, 323.0, 323.0, 110.0, 700.0,
546 307.0, 825.0, 835.0, 69.0, 470.0, 743.0, 886.0, 193.0, 659.0, 658.0, 336.0, 393.0, 555.0, 682.0, 720.0,
547 571.0, 30.0, 224.0, 725.0, 190.0, 989.0, 392.0, 34.0, 604.0, 508.0, 577.0, 511.0, 415.0, 733.0, 8.0,
548 256.0, 162.0, 159.0, 293.0, 424.0, 293.0, 865.0, 285.0, 459.0, 647.0, 869.0, 722.0, 488.0, 896.0, 858.0,
549 87.0, 135.0, 541.0, 826.0, 553.0, 223.0, 926.0, 196.0, 309.0, 99.0, 809.0, 487.0, 292.0, 105.0, 138.0,
550 453.0, 289.0, 823.0, 775.0, 389.0, 371.0, 198.0, 951.0, 690.0, 596.0, 494.0, 833.0, 80.0, 832.0, 61.0,
551 708.0, 694.0, 225.0, 240.0, 989.0, 58.0, 831.0, 106.0, 775.0, 119.0, 27.0, 433.0, 337.0, 286.0, 63.0,
552 408.0, 945.0, 793.0, 577.0, 105.0, 468.0, 813.0, 943.0, 930.0, 980.0, 303.0, 818.0, 527.0, 806.0, 23.0,
553 261.0, 158.0, 731.0, 509.0, 627.0, 915.0, 241.0, 895.0, 295.0, 965.0, 235.0, 751.0, 884.0, 685.0, 812.0,
554 902.0, 916.0, 97.0, 914.0, 757.0, 952.0, 280.0, 319.0, 208.0, 107.0, 393.0, 647.0, 725.0, 713.0, 555.0,
555 955.0, 57.0, 184.0, 117.0, 177.0, 930.0, 152.0, 95.0, 28.0, 946.0, 105.0, 824.0, 611.0, 270.0, 36.0,
556 347.0, 158.0, 39.0, 697.0, 779.0, 692.0, 125.0, 66.0, 529.0, 487.0, 587.0, 584.0, 382.0, 444.0, 706.0,
557 208.0, 748.0, 664.0, 195.0, 998.0, 971.0, 271.0, 570.0, 769.0, 236.0, 362.0, 311.0, 349.0, 337.0, 77.0,
558 192.0, 558.0, 585.0, 516.0, 520.0, 526.0, 739.0, 470.0, 330.0, 230.0, 118.0, 269.0, 281.0, 778.0, 575.0,
559 889.0, 720.0, 622.0, 336.0, 893.0, 322.0, 833.0, 417.0, 873.0, 21.0, 26.0, 159.0, 872.0, 115.0, 516.0,
560 910.0, 460.0, 306.0, 697.0, 182.0, 176.0, 255.0, 441.0, 291.0, 273.0, 298.0, 368.0, 227.0, 980.0, 311.0,
561 254.0, 349.0, 335.0, 880.0, 40.0, 312.0, 414.0, 517.0, 521.0, 965.0, 77.0, 279.0, 284.0, 730.0, 594.0,
562 136.0, 781.0, 441.0, 647.0, 258.0, 660.0, 495.0, 164.0, 274.0, 117.0, 410.0, 413.0, 174.0, 254.0, 228.0,
563 932.0, 741.0, 356.0, 508.0, 34.0, 838.0, 40.0, 188.0, 668.0, 585.0, 322.0, 482.0, 209.0, 865.0, 610.0,
564 553.0, 468.0, 778.0, 942.0, 371.0, 527.0, 761.0, 398.0, 186.0, 372.0, 591.0, 840.0, 151.0, 840.0, 490.0,
565 720.0, 482.0, 559.0, 862.0, 414.0, 88.0, 136.0, 388.0, 603.0, 355.0, 637.0, 210.0, 694.0, 478.0, 915.0,
566 523.0, 96.0, 774.0, 983.0, 328.0, 428.0, 258.0, 907.0, 711.0, 268.0, 126.0, 473.0, 941.0, 230.0, 97.0,
567 296.0, 704.0, 323.0, 486.0, 838.0, 283.0, 226.0, 162.0, 540.0, 635.0, 689.0, 696.0, 347.0, 327.0, 751.0,
568 366.0, 242.0, 374.0, 389.0, 156.0, 832.0, 504.0, 181.0, 94.0, 353.0, 144.0, 198.0, 708.0, 841.0, 991.0,
569 808.0, 770.0, 470.0, 60.0, 494.0, 857.0, 998.0, 923.0, 517.0, 654.0, 494.0, 814.0, 255.0, 919.0, 135.0,
570 392.0, 10.0, 355.0, 323.0, 541.0, 427.0, 542.0, 171.0, 172.0, 799.0, 171.0, 370.0, 196.0, 793.0, 247.0,
571 671.0, 171.0, 221.0, 683.0, 613.0, 9.0, 68.0, 442.0, 861.0, 851.0, 411.0, 389.0, 327.0, 831.0, 872.0,
572 190.0, 267.0, 841.0, 313.0, 698.0, 680.0, 802.0, 794.0, 224.0, 976.0, 263.0, 575.0, 971.0, 591.0, 56.0,
573 166.0, 559.0, 704.0, 247.0, 842.0, 564.0, 1000.0, 740.0, 914.0, 915.0, 514.0, 555.0, 427.0, 965.0, 536.0,
574 942.0, 383.0, 612.0, 793.0, 614.0, 651.0, 638.0, 965.0, 633.0, 513.0, 770.0, 198.0, 335.0, 182.0, 620.0,
575 539.0, 973.0, 740.0, 267.0, 724.0, 34.0, 264.0, 85.0, 488.0, 432.0, 78.0, 733.0, 886.0, 872.0, 581.0,
576 35.0, 968.0, 556.0, 641.0, 369.0, 179.0, 376.0, 445.0, 471.0, 154.0, 103.0, 112.0, 165.0, 347.0, 668.0,
577 439.0, 34.0, 97.0, 189.0, 39.0, 584.0, 410.0, 910.0, 617.0, 89.0, 321.0, 821.0, 823.0, 78.0, 14.0,
578 945.0, 567.0, 202.0, 409.0, 916.0, 660.0, 958.0, 856.0, 692.0, 612.0, 288.0, 219.0, 857.0, 12.0, 42.0,
579 921.0, 698.0, 623.0, 295.0, 488.0, 550.0, 798.0, 465.0, 68.0, 452.0, 474.0, 38.0, 403.0, 403.0, 253.0,
580 7.0, 859.0, 798.0, 693.0, 743.0, 419.0, 299.0, 232.0, 28.0, 629.0, 603.0, 905.0, 233.0, 368.0, 838.0,
581 725.0, 261.0, 984.0, 600.0, 580.0, 488.0, 200.0, 282.0, 233.0, 837.0, 127.0, 822.0, 234.0, 974.0, 865.0,
582 65.0, 272.0, 542.0, 529.0, 959.0, 695.0, 797.0, 737.0, 96.0, 994.0, 930.0, 141.0, 325.0, 723.0, 620.0,
583 698.0, 929.0, 952.0, 131.0, 395.0, 296.0, 987.0, 900.0, 803.0, 277.0, 702.0, 659.0, 707.0, 420.0, 387.0,
584 238.0, 840.0, 948.0, 745.0, 266.0, 633.0, 836.0, 751.0, 718.0, 98.0, 472.0, 73.0, 906.0, 355.0, 822.0,
585 641.0, 501.0, 796.0, 724.0, 233.0, 747.0, 290.0, 805.0, 665.0, 265.0, 638.0, 104.0, 163.0, 497.0, 783.0,
586 505.0, 677.0, 240.0, 300.0, 167.0, 276.0, 512.0, 343.0, 21.0, 738.0, 483.0, 914.0, 807.0, 393.0, 740.0,
587 62.0, 861.0, 819.0, 656.0, 436.0, 513.0, 285.0, 638.0, 399.0, 516.0, 658.0, 65.0, 400.0, 425.0, 163.0,
588 516.0, 378.0, 168.0, 388.0, 755.0, 554.0, 904.0, 244.0, 126.0, 769.0, 976.0, 975.0, 522.0, 691.0, 206.0,
589 196.0, 583.0, 534.0, 621.0, 988.0, 459.0, 475.0, 461.0, 343.0, 342.0, 439.0, 420.0, 893.0, 332.0, 214.0,
590 768.0, 921.0, 12.0, 325.0, 691.0, 385.0, 743.0, 308.0, 562.0, 293.0, 647.0, 826.0, 879.0, 247.0, 673.0,
591 576.0, 309.0, 957.0, 0.0, 55.0, 519.0, 571.0, 82.0, 900.0, 237.0, 990.0, 781.0, 987.0, 646.0, 61.0,
592 929.0, 369.0, 744.0, 591.0, 44.0, 360.0, 359.0, 827.0, 114.0, 633.0, 14.0, 920.0, 883.0, 720.0, 449.0,
593 458.0, 345.0, 89.0, 741.0, 169.0, 828.0, 71.0, 956.0, 249.0, 220.0, 635.0, 79.0, 457.0, 806.0, 903.0,
594 804.0, 959.0, 45.0, 510.0, 138.0, 47.0, 778.0, 595.0, 177.0, 371.0, 944.0, 692.0, 835.0, 362.0, 33.0,
595 57.0, 69.0, 838.0, 464.0, 899.0, 903.0, 889.0, 353.0, 524.0, 662.0, 218.0, 345.0, 550.0, 650.0, 839.0,
596 787.0, 966.0, 270.0, 825.0, 809.0, 800.0, 635.0, 101.0, 195.0, 469.0, 759.0, 47.0, 977.0, 338.0, 1.0,
597 69.0, 605.0, 691.0, 256.0, 572.0, 716.0, 414.0, 460.0, 98.0, 278.0, 951.0, 815.0, 167.0, 638.0, 881.0,
598 570.0, 947.0, 671.0, 111.0, 404.0, 49.0, 974.0, 716.0, 22.0, 541.0, 334.0, 65.0, 929.0, 401.0, 188.0,
599 655.0, 24.0, 776.0, 501.0, 819.0, 633.0, 420.0, 381.0, 654.0, 996.0, 684.0, 385.0, 534.0, 770.0, 375.0,
600 326.0, 855.0, 305.0, 756.0, 398.0, 51.0, 24.0, 831.0, 971.0, 154.0, 422.0, 753.0, 262.0, 988.0, 56.0,
601 145.0, 51.0, 580.0, 31.0, 503.0, 375.0, 186.0, 32.0, 156.0, 421.0, 680.0, 462.0, 112.0, 604.0, 530.0,
602 489.0, 775.0, 784.0, 561.0, 347.0, 501.0, 293.0, 426.0, 461.0, 573.0, 628.0, 242.0, 182.0, 459.0, 170.0,
603 329.0, 575.0, 842.0, 67.0, 660.0, 398.0, 143.0, 36.0, 811.0, 959.0, 757.0, 511.0, 110.0, 703.0, 135.0,
604 117.0, 313.0, 366.0, 87.0, 793.0, 524.0, 160.0, 133.0, 164.0, 247.0, 382.0, 41.0, 430.0, 504.0, 296.0,
605 213.0, 60.0, 32.0, 854.0, 105.0, 74.0, 331.0, 686.0, 85.0, 420.0, 586.0, 393.0, 751.0, 357.0, 32.0,
606 408.0, 603.0, 731.0, 727.0, 565.0, 226.0, 439.0, 664.0, 81.0, 253.0, 23.0, 301.0, 118.0, 716.0, 382.0,
607 103.0, 763.0, 285.0, 418.0, 532.0, 389.0, 705.0, 90.0, 749.0, 422.0, 277.0, 772.0, 519.0, 570.0, 56.0,
608 792.0, 215.0, 891.0, 142.0, 570.0, 175.0, 303.0, 659.0, 849.0, 639.0, 356.0, 275.0, 841.0, 324.0, 594.0,
609 252.0, 295.0, 525.0, 441.0, 134.0, 547.0, 862.0, 575.0, 380.0, 607.0, 180.0, 0.0, 327.0, 194.0, 237.0,
610 961.0, 926.0, 648.0, 81.0, 253.0, 65.0, 300.0, 326.0, 614.0, 33.0, 76.0, 803.0, 54.0, 8.0, 303.0,
611 165.0, 113.0, 503.0, 650.0, 569.0, 681.0, 575.0, 611.0, 301.0, 964.0, 328.0, 219.0, 880.0, 296.0, 964.0,
612 504.0, 968.0, 355.0, 265.0, 903.0, 601.0, 527.0, 827.0, 5.0, 293.0, 852.0, 447.0, 988.0, 801.0, 654.0,
613 321.0, 57.0, 555.0, 952.0, 857.0, 182.0, 77.0, 961.0, 528.0, 181.0, 294.0, 80.0, 642.0, 432.0, 609.0,
614 98.0, 518.0, 117.0, 171.0, 284.0, 489.0, 656.0, 579.0, 140.0, 660.0, 793.0, 573.0, 685.0, 499.0, 762.0,
615 587.0, 258.0, 343.0, 960.0, 484.0, 825.0, 290.0, 25.0, 544.0, 209.0, 136.0, 574.0, 567.0, 153.0, 531.0,
616 633.0, 424.0, 341.0, 172.0, 693.0, 448.0, 809.0, 601.0, 154.0, 163.0, 109.0, 432.0, 591.0, 762.0, 564.0,
617 839.0, 978.0, 135.0, 681.0, 262.0, 284.0, 972.0, 265.0, 886.0, 411.0, 680.0, 318.0, 709.0, 113.0, 586.0,
618 204.0, 966.0, 385.0, 174.0, 907.0, 684.0, 471.0, 305.0, 896.0, 553.0, 592.0, 778.0, 190.0, 816.0, 208.0,
619 594.0, 429.0, 975.0, 44.0, 2.0, 731.0, 785.0, 217.0, 37.0, 198.0, 87.0, 299.0, 911.0, 832.0, 842.0,
620 825.0, 996.0, 470.0, 645.0, 158.0, 625.0, 410.0, 38.0, 856.0, 280.0, 624.0, 864.0, 168.0, 586.0, 939.0,
621 804.0, 266.0, 647.0, 801.0, 997.0, 994.0, 891.0, 236.0, 237.0, 458.0, 710.0, 735.0, 209.0, 416.0, 422.0,
622 806.0, 438.0, 244.0, 544.0, 467.0, 473.0, 394.0, 897.0, 820.0, 336.0, 674.0, 421.0, 629.0, 653.0, 587.0,
623 47.0, 886.0, 835.0, 936.0, 924.0, 998.0, 924.0, 925.0, 232.0, 540.0, 194.0, 985.0, 766.0, 611.0, 99.0,
624 1.0, 282.0, 291.0, 546.0, 344.0, 327.0, 56.0, 863.0, 888.0, 699.0, 371.0, 400.0, 441.0, 40.0, 417.0,
625 192.0, 93.0, 558.0, 693.0, 370.0, 166.0, 892.0, 751.0, 558.0, 609.0, 830.0, 283.0, 725.0, 605.0, 444.0,
626 233.0, 316.0, 315.0, 583.0, 503.0, 857.0, 561.0, 519.0, 717.0, 658.0, 773.0, 66.0, 550.0, 297.0, 325.0,
627 185.0, 663.0, 799.0, 73.0, 392.0, 566.0, 632.0, 914.0, 356.0, 238.0, 828.0, 411.0, 977.0, 575.0, 756.0,
628 290.0, 14.0, 300.0, 892.0, 262.0, 497.0, 410.0, 934.0, 798.0, 915.0, 134.0, 859.0, 927.0, 540.0, 396.0,
629 13.0, 508.0, 807.0, 652.0, 57.0, 483.0, 913.0, 291.0, 569.0, 217.0, 455.0, 137.0, 143.0, 473.0, 601.0,
630 705.0, 279.0, 829.0, 329.0, 934.0, 689.0, 273.0, 787.0, 51.0, 257.0, 458.0, 668.0, 608.0, 408.0, 351.0,
631 3.0, 763.0, 392.0, 178.0, 474.0, 317.0, 218.0, 339.0, 172.0, 539.0, 23.0, 369.0, 696.0, 467.0, 417.0,
632 664.0, 389.0, 807.0, 123.0, 199.0, 974.0, 868.0, 254.0, 274.0, 989.0, 639.0, 269.0, 107.0, 105.0, 216.0,
633 290.0, 694.0, 172.0, 324.0, 970.0, 587.0, 366.0, 598.0, 967.0, 279.0, 557.0, 711.0, 931.0, 543.0, 814.0,
634 715.0, 845.0, 945.0, 660.0, 355.0, 196.0, 642.0, 505.0, 689.0, 868.0, 990.0, 720.0, 702.0, 818.0, 394.0,
635 963.0, 482.0, 389.0, 152.0, 846.0, 567.0, 276.0, 312.0, 65.0, 691.0, 957.0, 861.0, 744.0, 937.0, 887.0,
636 341.0, 273.0, 998.0, 559.0, 930.0, 224.0, 384.0, 519.0, 754.0, 474.0, 815.0, 2.0, 398.0, 222.0, 977.0,
637 801.0, 572.0, 377.0, 759.0, 319.0, 508.0, 337.0, 174.0, 698.0, 300.0, 387.0, 455.0, 987.0, 199.0, 601.0,
638 794.0, 999.0, 758.0, 428.0, 216.0, 865.0, 944.0, 350.0, 440.0, 126.0, 979.0, 339.0, 333.0, 955.0, 363.0,
639 166.0, 319.0, 188.0, 250.0, 598.0, 979.0, 822.0, 573.0, 187.0, 93.0, 547.0, 435.0, 537.0, 726.0, 605.0,
640 835.0, 35.0, 84.0, 163.0, 812.0, 574.0, 33.0, 230.0, 28.0, 273.0, 685.0, 409.0, 344.0, 719.0, 147.0,
641 54.0, 878.0, 263.0, 644.0, 763.0, 427.0, 518.0, 705.0, 768.0, 888.0, 146.0, 623.0, 65.0, 123.0, 561.0,
642 176.0, 47.0, 73.0, 972.0, 597.0, 960.0, 709.0, 600.0, 216.0, 548.0, 241.0, 197.0, 210.0, 464.0, 341.0,
643 324.0, 963.0, 707.0, 32.0, 785.0, 168.0, 500.0, 816.0, 579.0, 322.0, 543.0, 146.0, 768.0, 701.0, 664.0,
644 346.0, 238.0, 331.0, 924.0, 152.0, 998.0, 117.0, 456.0, 638.0, 190.0, 29.0, 549.0, 747.0, 798.0, 482.0,
645 65.0, 982.0, 701.0, 955.0, 883.0, 929.0, 182.0, 300.0, 799.0, 765.0, 549.0, 190.0, 419.0, 404.0, 40.0,
646 500.0, 274.0, 912.0, 100.0, 211.0, 407.0, 285.0, 266.0, 833.0, 668.0, 646.0, 421.0, 888.0, 432.0, 78.0,
647 327.0, 548.0, 734.0, 428.0, 760.0, 836.0, 215.0, 363.0, 288.0, 984.0, 2.0, 40.0, 419.0, 803.0, 274.0,
648 630.0, 37.0, 814.0, 78.0, 11.0, 475.0, 440.0, 937.0, 372.0, 202.0, 405.0, 965.0, 83.0, 482.0, 608.0,
649 749.0, 192.0, 12.0, 611.0, 101.0, 822.0, 425.0, 154.0, 992.0, 666.0, 801.0, 903.0, 722.0, 401.0, 101.0,
650 935.0, 997.0, 527.0, 913.0, 195.0, 617.0, 757.0, 853.0, 484.0, 662.0, 365.0, 441.0, 563.0, 141.0, 815.0,
651 563.0, 300.0, 925.0, 795.0, 422.0, 71.0, 153.0, 810.0, 706.0, 17.0, 208.0, 795.0, 616.0, 717.0, 453.0,
652 516.0, 59.0, 210.0, 604.0, 685.0, 541.0, 732.0, 895.0, 320.0, 23.0, 48.0, 563.0, 273.0, 670.0, 429.0,
653 895.0, 50.0, 684.0, 184.0, 682.0, 481.0, 109.0, 286.0, 6.0, 155.0, 223.0, 450.0, 751.0, 110.0, 825.0,
654 589.0, 19.0, 30.0, 242.0, 559.0, 704.0, 621.0, 309.0, 913.0, 465.0, 53.0, 474.0, 615.0, 920.0, 799.0,
655 211.0, 734.0, 276.0, 791.0, 779.0, 623.0, 313.0, 18.0, 246.0, 794.0, 343.0, 183.0, 601.0, 864.0, 865.0,
656 772.0, 852.0, 579.0, 596.0, 880.0, 118.0, 421.0, 348.0, 876.0, 396.0, 826.0, 857.0, 113.0, 86.0, 342.0,
657 210.0, 509.0, 795.0, 886.0, 483.0, 207.0, 59.0, 119.0, 536.0, 678.0, 732.0, 700.0, 344.0, 487.0, 584.0,
658 204.0, 237.0, 413.0, 988.0, 739.0, 7.0, 925.0, 693.0, 415.0, 618.0, 458.0, 870.0, 711.0, 539.0, 375.0,
659 362.0, 455.0, 691.0, 959.0, 838.0, 408.0, 729.0, 319.0, 246.0, 561.0, 878.0, 54.0, 385.0, 288.0, 797.0,
660 286.0, 270.0, 756.0, 692.0, 581.0, 515.0, 598.0, 576.0, 371.0, 347.0, 241.0, 319.0, 249.0, 0.0, 941.0,
661 220.0, 350.0, 484.0, 712.0, 220.0, 589.0, 193.0, 425.0, 68.0, 614.0, 168.0, 832.0, 413.0, 308.0, 309.0,
662 179.0, 192.0, 183.0, 752.0, 325.0, 751.0, 643.0, 37.0, 286.0, 339.0, 97.0, 248.0, 350.0, 977.0, 557.0,
663 15.0, 381.0, 611.0, 86.0, 247.0, 86.0, 314.0, 772.0, 157.0, 690.0, 606.0, 748.0, 219.0, 482.0, 96.0,
664 173.0, 888.0, 156.0, 756.0, 377.0, 202.0, 452.0, 162.0, 541.0, 960.0, 666.0, 137.0, 353.0, 54.0, 966.0,
665 366.0, 821.0, 668.0, 9.0, 825.0, 830.0, 337.0, 281.0, 894.0, 170.0, 414.0, 781.0, 132.0, 285.0, 934.0,
666 830.0, 167.0, 528.0, 92.0, 516.0, 403.0, 797.0, 194.0, 627.0, 379.0, 540.0, 185.0, 584.0, 874.0, 658.0,
667 888.0, 719.0, 230.0, 514.0, 973.0, 928.0, 842.0, 506.0, 163.0, 650.0, 524.0, 259.0, 685.0, 426.0, 868.0,
668 966.0, 667.0, 29.0, 67.0, 570.0, 17.0, 424.0, 279.0, 806.0, 38.0, 380.0, 556.0, 337.0, 88.0, 809.0,
669 714.0, 738.0, 572.0, 758.0, 306.0, 308.0, 814.0, 327.0, 6.0, 874.0, 361.0, 680.0, 886.0, 300.0, 170.0,
670 99.0, 731.0, 925.0, 608.0, 596.0, 946.0, 118.0, 155.0, 361.0, 401.0, 329.0, 336.0, 515.0, 143.0, 531.0,
671 766.0, 404.0, 280.0, 499.0, 516.0, 371.0, 656.0, 284.0, 46.0, 754.0, 256.0, 933.0, 150.0, 456.0, 791.0,
672 472.0, 838.0, 615.0, 853.0, 447.0, 860.0, 806.0, 831.0, 187.0, 622.0, 776.0, 896.0, 696.0, 133.0, 412.0,
673 744.0, 605.0, 209.0, 693.0, 792.0, 635.0, 468.0, 962.0, 133.0, 136.0, 814.0, 484.0, 782.0, 608.0, 549.0,
674 126.0, 204.0, 125.0, 47.0, 363.0, 718.0, 502.0, 630.0, 35.0, 632.0, 903.0, 155.0, 338.0, 215.0, 523.0,
675 310.0, 907.0, 448.0, 160.0, 129.0, 505.0, 474.0, 56.0, 908.0, 643.0, 87.0, 753.0, 446.0, 149.0, 103.0,
676 979.0, 736.0, 195.0, 496.0, 639.0, 566.0, 366.0, 599.0, 673.0, 564.0, 776.0, 743.0, 528.0, 82.0, 451.0,
677 867.0, 148.0, 926.0, 159.0, 198.0, 318.0, 202.0, 233.0, 57.0, 653.0, 448.0, 770.0, 611.0, 471.0, 225.0,
678 307.0, 985.0, 800.0, 948.0, 479.0, 52.0, 893.0, 641.0, 950.0, 388.0, 517.0, 255.0, 278.0, 340.0, 870.0,
679 635.0, 675.0, 226.0, 347.0, 773.0, 376.0, 574.0, 271.0, 460.0, 532.0, 104.0, 808.0, 944.0, 675.0, 993.0,
680 811.0, 183.0, 369.0, 134.0, 754.0, 935.0, 481.0, 465.0, 425.0, 195.0, 847.0, 375.0, 405.0, 493.0, 869.0,
681 930.0, 339.0, 600.0, 229.0, 841.0, 429.0, 587.0, 204.0, 590.0, 752.0, 124.0, 450.0, 166.0, 88.0, 982.0,
682 115.0, 334.0, 805.0, 593.0, 957.0, 566.0, 96.0, 829.0, 787.0, 386.0, 632.0, 38.0, 394.0, 118.0, 109.0,
683 100.0, 750.0, 527.0, 441.0, 23.0, 273.0, 671.0, 484.0, 577.0, 957.0, 143.0, 900.0, 21.0, 82.0, 793.0,
684 339.0, 152.0, 270.0, 104.0, 379.0, 84.0, 837.0, 55.0, 801.0, 363.0, 341.0, 510.0, 96.0, 5.0, 555.0,
685 33.0, 595.0, 99.0, 47.0, 130.0, 528.0, 655.0, 580.0, 398.0, 114.0},
687 {{10, 8, 9, 5, 7, 6, 1, 3, 2, 4, 10, 8, 9, 5, 7, 6, 1, 3, 2, 4, 10, 8, 9, 5, 7, 6, 1,
688 3, 2, 4, 10, 8, 9, 5, 7, 6, 1, 3, 2, 4, 10, 8, 9, 5, 7, 6, 1, 3, 2, 4, 10, 8, 9, 5,
689 7, 6, 1, 3, 2, 4, 10, 8, 9, 5, 7, 6, 1, 3, 2, 4, 10, 8, 9, 5, 7, 6, 1, 3, 2, 4},
699 m_param_alloc(0,
sizeof(
float) * dataset[i].size);
701 test(dataset[i].pbase, dataset[i].size);
int test(float *key, float *base, size_t nmemb)
static size_t dataset_size
static dataset_t dataset[]