PandA-2024.02
tb.c
Go to the documentation of this file.
1 #include <stddef.h>
2 #include <stdio.h>
3 
4 #ifdef __BAMBU_SIM__
5 #include <mdpi/mdpi_user.h>
6 #endif
7 
8 #define MAX_SIZE 10000
9 
10 extern void test(float* const pbase, size_t total_elems);
11 
12 typedef struct
13 {
14  float pbase[MAX_SIZE];
15  size_t size;
16 } dataset_t;
17 
18 static dataset_t dataset[] = {
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},
686  10000},
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},
690  80}};
691 static size_t dataset_size = sizeof(dataset) / sizeof(dataset_t);
692 
693 int main()
694 {
695  size_t i;
696  for(i = 0; i < dataset_size; ++i)
697  {
698 #ifdef __BAMBU_SIM__
699  m_param_alloc(0, sizeof(float) * dataset[i].size);
700 #endif
701  test(dataset[i].pbase, dataset[i].size);
702  }
703 
704  return 0;
705 }
int main()
Definition: tb.c:526
int test(float *key, float *base, size_t nmemb)
static size_t dataset_size
Definition: tb.c:691
Definition: tb.c:13
#define MAX_SIZE
Definition: tb.c:8
static dataset_t dataset[]
Definition: tb.c:18

Generated on Mon Feb 12 2024 13:02:49 for PandA-2024.02 by doxygen 1.8.13