benchmarks/spmv/dataset1.h

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