/*
 * DO NOT MODIFY THIS FILE.  IT IS AUTOMATICALLY GENERATED
 * BY THE TCPLIBGEN PROGRAMS.  ALL CHANGES HERE WILL BE DELETED.
*/

/*
 * Copyright (c) 1991 University of Southern California.
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms are permitted
 * provided that the above copyright notice and this paragraph are
 * duplicated in all such forms and that any documentation,
 * advertising materials, and other materials related to such
 * distribution and use acknowledge that the software was developed
 * by the University of Southern California. The name of the University 
 * may not be used to endorse or promote products derived from this 
 * software without specific prior written permission.
 * THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
 * IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
 * WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR A PARTICULAR PURPOSE.
 *
*/

static struct entry nitems[] = {
  { 1.000000, 0.193000 },
  { 2.000000, 0.284000 },
  { 3.000000, 0.330000 },
  { 4.000000, 0.375000 },
  { 5.000000, 0.398000 },
  { 6.000000, 0.409000 },
  { 7.000000, 0.420000 },
  { 9.000000, 0.455000 },
  { 12.000000, 0.466000 },
  { 14.000000, 0.477000 },
  { 15.000000, 0.489000 },
  { 23.000000, 0.511000 },
  { 25.000000, 0.523000 },
  { 31.000000, 0.534000 },
  { 32.000000, 0.545000 },
  { 39.000000, 0.557000 },
  { 40.000000, 0.568000 },
  { 42.000000, 0.580000 },
  { 46.000000, 0.591000 },
  { 82.000000, 0.602000 },
  { 85.000000, 0.614000 },
  { 94.000000, 0.625000 },
  { 96.000000, 0.636000 },
  { 101.000000, 0.648000 },
  { 104.000000, 0.659000 },
  { 115.000000, 0.670000 },
  { 116.000000, 0.682000 },
  { 124.000000, 0.693000 },
  { 146.000000, 0.705000 },
  { 149.000000, 0.716000 },
  { 175.000000, 0.727000 },
  { 236.000000, 0.739000 },
  { 247.000000, 0.750000 },
  { 258.000000, 0.761000 },
  { 313.000000, 0.773000 },
  { 363.000000, 0.784000 },
  { 431.000000, 0.795000 },
  { 478.000000, 0.807000 },
  { 489.000000, 0.818000 },
  { 634.000000, 0.830000 },
  { 677.000000, 0.841000 },
  { 685.000000, 0.852000 },
  { 710.000000, 0.864000 },
  { 822.000000, 0.875000 },
  { 1198.000000, 0.886000 },
  { 1243.000000, 0.898000 },
  { 1316.000000, 0.909000 },
  { 1462.000000, 0.920000 },
  { 1485.000000, 0.932000 },
  { 2155.000000, 0.943000 },
  { 2369.000000, 0.955000 },
  { 3593.000000, 0.966000 },
  { 3707.000000, 0.977000 },
  { 4604.000000, 0.989000 },
  { 4806.000000, 1.000000 },
};

static struct entry itemsize[] = {
  { 288.000000, 0.000000 },
  { 314.000000, 0.001000 },
  { 332.000000, 0.002000 },
  { 348.000000, 0.003000 },
  { 370.000000, 0.004000 },
  { 386.000000, 0.005000 },
  { 402.000000, 0.006000 },
  { 416.000000, 0.007000 },
  { 432.000000, 0.008000 },
  { 442.000000, 0.009000 },
  { 453.000000, 0.010000 },
  { 457.000000, 0.011000 },
  { 464.000000, 0.012000 },
  { 471.000000, 0.013000 },
  { 478.000000, 0.014000 },
  { 485.000000, 0.015000 },
  { 490.000000, 0.016000 },
  { 496.000000, 0.017000 },
  { 501.000000, 0.018000 },
  { 507.000000, 0.019000 },
  { 513.000000, 0.020000 },
  { 515.000000, 0.021000 },
  { 517.000000, 0.022000 },
  { 520.000000, 0.023000 },
  { 523.000000, 0.024000 },
  { 525.000000, 0.025000 },
  { 528.000000, 0.026000 },
  { 531.000000, 0.027000 },
  { 533.000000, 0.028000 },
  { 535.000000, 0.029000 },
  { 537.000000, 0.030000 },
  { 539.000000, 0.031000 },
  { 541.000000, 0.032000 },
  { 542.000000, 0.033000 },
  { 544.000000, 0.034000 },
  { 546.000000, 0.035000 },
  { 548.000000, 0.036000 },
  { 551.000000, 0.037000 },
  { 556.000000, 0.038000 },
  { 560.000000, 0.039000 },
  { 563.000000, 0.040000 },
  { 567.000000, 0.041000 },
  { 570.000000, 0.042000 },
  { 574.000000, 0.043000 },
  { 578.000000, 0.044000 },
  { 582.000000, 0.045000 },
  { 586.000000, 0.046000 },
  { 590.000000, 0.047000 },
  { 593.000000, 0.048000 },
  { 597.000000, 0.049000 },
  { 600.000000, 0.050000 },
  { 604.000000, 0.051000 },
  { 607.000000, 0.052000 },
  { 611.000000, 0.053000 },
  { 613.000000, 0.054000 },
  { 618.000000, 0.055000 },
  { 622.000000, 0.056000 },
  { 625.000000, 0.057000 },
  { 630.000000, 0.058000 },
  { 633.000000, 0.059000 },
  { 637.000000, 0.060000 },
  { 640.000000, 0.061000 },
  { 643.000000, 0.062000 },
  { 646.000000, 0.063000 },
  { 650.000000, 0.064000 },
  { 653.000000, 0.065000 },
  { 655.000000, 0.066000 },
  { 659.000000, 0.067000 },
  { 661.000000, 0.068000 },
  { 664.000000, 0.069000 },
  { 666.000000, 0.070000 },
  { 669.000000, 0.071000 },
  { 672.000000, 0.072000 },
  { 674.000000, 0.073000 },
  { 675.000000, 0.074000 },
  { 679.000000, 0.075000 },
  { 680.000000, 0.076000 },
  { 682.000000, 0.077000 },
  { 684.000000, 0.078000 },
  { 686.000000, 0.079000 },
  { 688.000000, 0.080000 },
  { 692.000000, 0.081000 },
  { 693.000000, 0.082000 },
  { 695.000000, 0.083000 },
  { 697.000000, 0.084000 },
  { 699.000000, 0.085000 },
  { 702.000000, 0.086000 },
  { 704.000000, 0.087000 },
  { 707.000000, 0.088000 },
  { 709.000000, 0.089000 },
  { 713.000000, 0.090000 },
  { 715.000000, 0.091000 },
  { 718.000000, 0.092000 },
  { 720.000000, 0.093000 },
  { 722.000000, 0.094000 },
  { 725.000000, 0.095000 },
  { 728.000000, 0.096000 },
  { 730.000000, 0.097000 },
  { 732.000000, 0.098000 },
  { 734.000000, 0.099000 },
  { 736.000000, 0.100000 },
  { 738.000000, 0.101000 },
  { 740.000000, 0.102000 },
  { 742.000000, 0.103000 },
  { 744.000000, 0.104000 },
  { 746.000000, 0.105000 },
  { 749.000000, 0.106000 },
  { 751.000000, 0.107000 },
  { 753.000000, 0.108000 },
  { 755.000000, 0.109000 },
  { 757.000000, 0.110000 },
  { 759.000000, 0.111000 },
  { 761.000000, 0.112000 },
  { 764.000000, 0.113000 },
  { 765.000000, 0.114000 },
  { 769.000000, 0.115000 },
  { 771.000000, 0.116000 },
  { 773.000000, 0.117000 },
  { 776.000000, 0.118000 },
  { 779.000000, 0.119000 },
  { 781.000000, 0.120000 },
  { 783.000000, 0.121000 },
  { 785.000000, 0.122000 },
  { 787.000000, 0.123000 },
  { 789.000000, 0.124000 },
  { 791.000000, 0.125000 },
  { 793.000000, 0.126000 },
  { 795.000000, 0.127000 },
  { 796.000000, 0.128000 },
  { 798.000000, 0.129000 },
  { 800.000000, 0.130000 },
  { 802.000000, 0.131000 },
  { 805.000000, 0.132000 },
  { 807.000000, 0.133000 },
  { 809.000000, 0.134000 },
  { 811.000000, 0.135000 },
  { 813.000000, 0.136000 },
  { 816.000000, 0.137000 },
  { 818.000000, 0.138000 },
  { 820.000000, 0.139000 },
  { 822.000000, 0.140000 },
  { 824.000000, 0.141000 },
  { 826.000000, 0.142000 },
  { 828.000000, 0.143000 },
  { 830.000000, 0.144000 },
  { 832.000000, 0.145000 },
  { 834.000000, 0.146000 },
  { 836.000000, 0.147000 },
  { 838.000000, 0.148000 },
  { 839.000000, 0.149000 },
  { 840.000000, 0.150000 },
  { 842.000000, 0.151000 },
  { 844.000000, 0.152000 },
  { 847.000000, 0.153000 },
  { 849.000000, 0.154000 },
  { 852.000000, 0.155000 },
  { 855.000000, 0.156000 },
  { 858.000000, 0.157000 },
  { 860.000000, 0.158000 },
  { 862.000000, 0.159000 },
  { 865.000000, 0.160000 },
  { 867.000000, 0.161000 },
  { 869.000000, 0.162000 },
  { 871.000000, 0.163000 },
  { 873.000000, 0.164000 },
  { 875.000000, 0.165000 },
  { 877.000000, 0.166000 },
  { 878.000000, 0.167000 },
  { 881.000000, 0.168000 },
  { 884.000000, 0.169000 },
  { 885.000000, 0.170000 },
  { 887.000000, 0.171000 },
  { 889.000000, 0.172000 },
  { 890.000000, 0.173000 },
  { 893.000000, 0.174000 },
  { 894.000000, 0.175000 },
  { 897.000000, 0.176000 },
  { 899.000000, 0.177000 },
  { 902.000000, 0.178000 },
  { 905.000000, 0.179000 },
  { 907.000000, 0.180000 },
  { 909.000000, 0.181000 },
  { 911.000000, 0.182000 },
  { 913.000000, 0.183000 },
  { 914.000000, 0.184000 },
  { 916.000000, 0.185000 },
  { 917.000000, 0.186000 },
  { 920.000000, 0.187000 },
  { 921.000000, 0.188000 },
  { 922.000000, 0.189000 },
  { 924.000000, 0.190000 },
  { 926.000000, 0.191000 },
  { 929.000000, 0.192000 },
  { 931.000000, 0.193000 },
  { 934.000000, 0.194000 },
  { 936.000000, 0.195000 },
  { 938.000000, 0.196000 },
  { 940.000000, 0.197000 },
  { 941.000000, 0.198000 },
  { 944.000000, 0.199000 },
  { 946.000000, 0.200000 },
  { 947.000000, 0.201000 },
  { 949.000000, 0.202000 },
  { 952.000000, 0.203000 },
  { 953.000000, 0.204000 },
  { 955.000000, 0.205000 },
  { 957.000000, 0.206000 },
  { 958.000000, 0.207000 },
  { 960.000000, 0.208000 },
  { 963.000000, 0.209000 },
  { 965.000000, 0.210000 },
  { 967.000000, 0.211000 },
  { 969.000000, 0.212000 },
  { 972.000000, 0.213000 },
  { 974.000000, 0.214000 },
  { 976.000000, 0.215000 },
  { 979.000000, 0.216000 },
  { 980.000000, 0.217000 },
  { 983.000000, 0.218000 },
  { 985.000000, 0.219000 },
  { 987.000000, 0.220000 },
  { 989.000000, 0.221000 },
  { 991.000000, 0.222000 },
  { 992.000000, 0.223000 },
  { 994.000000, 0.224000 },
  { 997.000000, 0.225000 },
  { 999.000000, 0.226000 },
  { 1000.000000, 0.227000 },
  { 1002.000000, 0.228000 },
  { 1003.000000, 0.229000 },
  { 1005.000000, 0.230000 },
  { 1006.000000, 0.231000 },
  { 1007.000000, 0.232000 },
  { 1008.000000, 0.233000 },
  { 1010.000000, 0.234000 },
  { 1012.000000, 0.235000 },
  { 1013.000000, 0.236000 },
  { 1014.000000, 0.237000 },
  { 1016.000000, 0.238000 },
  { 1017.000000, 0.239000 },
  { 1019.000000, 0.240000 },
  { 1021.000000, 0.241000 },
  { 1023.000000, 0.242000 },
  { 1026.000000, 0.284000 },
  { 1028.000000, 0.285000 },
  { 1029.000000, 0.286000 },
  { 1033.000000, 0.287000 },
  { 1035.000000, 0.288000 },
  { 1036.000000, 0.289000 },
  { 1038.000000, 0.290000 },
  { 1040.000000, 0.291000 },
  { 1043.000000, 0.292000 },
  { 1045.000000, 0.293000 },
  { 1047.000000, 0.294000 },
  { 1050.000000, 0.295000 },
  { 1051.000000, 0.296000 },
  { 1054.000000, 0.297000 },
  { 1056.000000, 0.298000 },
  { 1058.000000, 0.299000 },
  { 1060.000000, 0.300000 },
  { 1062.000000, 0.301000 },
  { 1065.000000, 0.302000 },
  { 1067.000000, 0.303000 },
  { 1069.000000, 0.304000 },
  { 1070.000000, 0.305000 },
  { 1072.000000, 0.306000 },
  { 1074.000000, 0.307000 },
  { 1076.000000, 0.308000 },
  { 1078.000000, 0.309000 },
  { 1080.000000, 0.310000 },
  { 1081.000000, 0.311000 },
  { 1083.000000, 0.312000 },
  { 1085.000000, 0.313000 },
  { 1086.000000, 0.314000 },
  { 1088.000000, 0.315000 },
  { 1089.000000, 0.316000 },
  { 1091.000000, 0.317000 },
  { 1092.000000, 0.318000 },
  { 1094.000000, 0.319000 },
  { 1096.000000, 0.320000 },
  { 1098.000000, 0.321000 },
  { 1100.000000, 0.322000 },
  { 1102.000000, 0.323000 },
  { 1103.000000, 0.324000 },
  { 1106.000000, 0.325000 },
  { 1108.000000, 0.326000 },
  { 1110.000000, 0.327000 },
  { 1113.000000, 0.328000 },
  { 1115.000000, 0.329000 },
  { 1117.000000, 0.330000 },
  { 1119.000000, 0.331000 },
  { 1122.000000, 0.332000 },
  { 1125.000000, 0.333000 },
  { 1128.000000, 0.334000 },
  { 1131.000000, 0.335000 },
  { 1133.000000, 0.336000 },
  { 1136.000000, 0.337000 },
  { 1138.000000, 0.338000 },
  { 1141.000000, 0.339000 },
  { 1142.000000, 0.340000 },
  { 1145.000000, 0.341000 },
  { 1147.000000, 0.342000 },
  { 1148.000000, 0.343000 },
  { 1150.000000, 0.344000 },
  { 1152.000000, 0.345000 },
  { 1154.000000, 0.346000 },
  { 1155.000000, 0.347000 },
  { 1158.000000, 0.348000 },
  { 1159.000000, 0.349000 },
  { 1161.000000, 0.350000 },
  { 1162.000000, 0.351000 },
  { 1164.000000, 0.352000 },
  { 1166.000000, 0.353000 },
  { 1168.000000, 0.354000 },
  { 1170.000000, 0.355000 },
  { 1172.000000, 0.356000 },
  { 1174.000000, 0.357000 },
  { 1176.000000, 0.358000 },
  { 1178.000000, 0.359000 },
  { 1180.000000, 0.360000 },
  { 1182.000000, 0.361000 },
  { 1184.000000, 0.362000 },
  { 1185.000000, 0.363000 },
  { 1188.000000, 0.364000 },
  { 1190.000000, 0.365000 },
  { 1192.000000, 0.366000 },
  { 1194.000000, 0.367000 },
  { 1196.000000, 0.368000 },
  { 1198.000000, 0.369000 },
  { 1201.000000, 0.370000 },
  { 1202.000000, 0.371000 },
  { 1205.000000, 0.372000 },
  { 1207.000000, 0.373000 },
  { 1209.000000, 0.374000 },
  { 1212.000000, 0.375000 },
  { 1213.000000, 0.376000 },
  { 1215.000000, 0.377000 },
  { 1218.000000, 0.378000 },
  { 1220.000000, 0.379000 },
  { 1222.000000, 0.380000 },
  { 1224.000000, 0.381000 },
  { 1226.000000, 0.382000 },
  { 1229.000000, 0.383000 },
  { 1232.000000, 0.384000 },
  { 1235.000000, 0.385000 },
  { 1236.000000, 0.386000 },
  { 1239.000000, 0.387000 },
  { 1242.000000, 0.388000 },
  { 1244.000000, 0.389000 },
  { 1246.000000, 0.390000 },
  { 1248.000000, 0.391000 },
  { 1250.000000, 0.392000 },
  { 1251.000000, 0.393000 },
  { 1253.000000, 0.394000 },
  { 1254.000000, 0.395000 },
  { 1256.000000, 0.396000 },
  { 1257.000000, 0.397000 },
  { 1259.000000, 0.398000 },
  { 1261.000000, 0.399000 },
  { 1262.000000, 0.400000 },
  { 1264.000000, 0.401000 },
  { 1267.000000, 0.402000 },
  { 1269.000000, 0.403000 },
  { 1272.000000, 0.404000 },
  { 1275.000000, 0.405000 },
  { 1277.000000, 0.406000 },
  { 1279.000000, 0.407000 },
  { 1281.000000, 0.408000 },
  { 1284.000000, 0.409000 },
  { 1285.000000, 0.410000 },
  { 1288.000000, 0.411000 },
  { 1290.000000, 0.412000 },
  { 1292.000000, 0.413000 },
  { 1294.000000, 0.414000 },
  { 1297.000000, 0.415000 },
  { 1299.000000, 0.416000 },
  { 1301.000000, 0.417000 },
  { 1303.000000, 0.418000 },
  { 1305.000000, 0.419000 },
  { 1307.000000, 0.420000 },
  { 1309.000000, 0.421000 },
  { 1311.000000, 0.422000 },
  { 1313.000000, 0.423000 },
  { 1315.000000, 0.424000 },
  { 1318.000000, 0.425000 },
  { 1319.000000, 0.426000 },
  { 1321.000000, 0.427000 },
  { 1323.000000, 0.428000 },
  { 1325.000000, 0.429000 },
  { 1328.000000, 0.430000 },
  { 1329.000000, 0.431000 },
  { 1332.000000, 0.432000 },
  { 1334.000000, 0.433000 },
  { 1335.000000, 0.434000 },
  { 1338.000000, 0.435000 },
  { 1340.000000, 0.436000 },
  { 1342.000000, 0.437000 },
  { 1344.000000, 0.438000 },
  { 1346.000000, 0.439000 },
  { 1349.000000, 0.440000 },
  { 1351.000000, 0.441000 },
  { 1353.000000, 0.442000 },
  { 1356.000000, 0.443000 },
  { 1358.000000, 0.444000 },
  { 1360.000000, 0.445000 },
  { 1363.000000, 0.446000 },
  { 1365.000000, 0.447000 },
  { 1367.000000, 0.448000 },
  { 1371.000000, 0.449000 },
  { 1373.000000, 0.450000 },
  { 1378.000000, 0.451000 },
  { 1380.000000, 0.452000 },
  { 1382.000000, 0.453000 },
  { 1385.000000, 0.454000 },
  { 1387.000000, 0.455000 },
  { 1389.000000, 0.456000 },
  { 1392.000000, 0.457000 },
  { 1394.000000, 0.458000 },
  { 1396.000000, 0.459000 },
  { 1397.000000, 0.460000 },
  { 1400.000000, 0.461000 },
  { 1401.000000, 0.462000 },
  { 1403.000000, 0.463000 },
  { 1405.000000, 0.464000 },
  { 1408.000000, 0.465000 },
  { 1410.000000, 0.466000 },
  { 1412.000000, 0.467000 },
  { 1414.000000, 0.468000 },
  { 1417.000000, 0.469000 },
  { 1420.000000, 0.470000 },
  { 1422.000000, 0.471000 },
  { 1425.000000, 0.472000 },
  { 1430.000000, 0.473000 },
  { 1433.000000, 0.474000 },
  { 1437.000000, 0.475000 },
  { 1440.000000, 0.476000 },
  { 1442.000000, 0.477000 },
  { 1445.000000, 0.478000 },
  { 1447.000000, 0.479000 },
  { 1450.000000, 0.480000 },
  { 1453.000000, 0.481000 },
  { 1457.000000, 0.482000 },
  { 1460.000000, 0.483000 },
  { 1464.000000, 0.484000 },
  { 1467.000000, 0.485000 },
  { 1470.000000, 0.486000 },
  { 1472.000000, 0.487000 },
  { 1474.000000, 0.488000 },
  { 1477.000000, 0.489000 },
  { 1478.000000, 0.490000 },
  { 1481.000000, 0.491000 },
  { 1483.000000, 0.492000 },
  { 1486.000000, 0.493000 },
  { 1488.000000, 0.494000 },
  { 1490.000000, 0.495000 },
  { 1492.000000, 0.496000 },
  { 1495.000000, 0.497000 },
  { 1499.000000, 0.498000 },
  { 1503.000000, 0.499000 },
  { 1506.000000, 0.500000 },
  { 1509.000000, 0.501000 },
  { 1512.000000, 0.502000 },
  { 1515.000000, 0.503000 },
  { 1518.000000, 0.504000 },
  { 1520.000000, 0.505000 },
  { 1522.000000, 0.506000 },
  { 1525.000000, 0.507000 },
  { 1528.000000, 0.508000 },
  { 1531.000000, 0.509000 },
  { 1533.000000, 0.510000 },
  { 1535.000000, 0.511000 },
  { 1536.000000, 0.520000 },
  { 1538.000000, 0.521000 },
  { 1541.000000, 0.522000 },
  { 1545.000000, 0.523000 },
  { 1547.000000, 0.524000 },
  { 1549.000000, 0.525000 },
  { 1552.000000, 0.526000 },
  { 1555.000000, 0.527000 },
  { 1557.000000, 0.528000 },
  { 1560.000000, 0.529000 },
  { 1564.000000, 0.530000 },
  { 1569.000000, 0.531000 },
  { 1572.000000, 0.532000 },
  { 1576.000000, 0.533000 },
  { 1578.000000, 0.534000 },
  { 1581.000000, 0.535000 },
  { 1583.000000, 0.536000 },
  { 1586.000000, 0.537000 },
  { 1589.000000, 0.538000 },
  { 1594.000000, 0.539000 },
  { 1596.000000, 0.540000 },
  { 1600.000000, 0.541000 },
  { 1603.000000, 0.542000 },
  { 1606.000000, 0.543000 },
  { 1610.000000, 0.544000 },
  { 1613.000000, 0.545000 },
  { 1617.000000, 0.546000 },
  { 1619.000000, 0.547000 },
  { 1623.000000, 0.548000 },
  { 1626.000000, 0.549000 },
  { 1630.000000, 0.550000 },
  { 1632.000000, 0.551000 },
  { 1636.000000, 0.552000 },
  { 1637.000000, 0.553000 },
  { 1639.000000, 0.554000 },
  { 1643.000000, 0.555000 },
  { 1646.000000, 0.556000 },
  { 1649.000000, 0.557000 },
  { 1652.000000, 0.558000 },
  { 1654.000000, 0.559000 },
  { 1658.000000, 0.560000 },
  { 1660.000000, 0.561000 },
  { 1663.000000, 0.562000 },
  { 1666.000000, 0.563000 },
  { 1669.000000, 0.564000 },
  { 1671.000000, 0.565000 },
  { 1674.000000, 0.566000 },
  { 1677.000000, 0.567000 },
  { 1680.000000, 0.568000 },
  { 1683.000000, 0.569000 },
  { 1686.000000, 0.570000 },
  { 1689.000000, 0.571000 },
  { 1692.000000, 0.572000 },
  { 1696.000000, 0.573000 },
  { 1700.000000, 0.574000 },
  { 1704.000000, 0.575000 },
  { 1707.000000, 0.576000 },
  { 1712.000000, 0.577000 },
  { 1715.000000, 0.578000 },
  { 1718.000000, 0.579000 },
  { 1722.000000, 0.580000 },
  { 1726.000000, 0.581000 },
  { 1729.000000, 0.582000 },
  { 1734.000000, 0.583000 },
  { 1737.000000, 0.584000 },
  { 1741.000000, 0.585000 },
  { 1745.000000, 0.586000 },
  { 1749.000000, 0.587000 },
  { 1754.000000, 0.588000 },
  { 1758.000000, 0.589000 },
  { 1762.000000, 0.590000 },
  { 1766.000000, 0.591000 },
  { 1770.000000, 0.592000 },
  { 1773.000000, 0.593000 },
  { 1778.000000, 0.594000 },
  { 1781.000000, 0.595000 },
  { 1785.000000, 0.596000 },
  { 1789.000000, 0.597000 },
  { 1794.000000, 0.598000 },
  { 1798.000000, 0.599000 },
  { 1802.000000, 0.600000 },
  { 1806.000000, 0.601000 },
  { 1810.000000, 0.602000 },
  { 1816.000000, 0.603000 },
  { 1819.000000, 0.604000 },
  { 1823.000000, 0.605000 },
  { 1826.000000, 0.606000 },
  { 1830.000000, 0.607000 },
  { 1835.000000, 0.608000 },
  { 1841.000000, 0.609000 },
  { 1846.000000, 0.610000 },
  { 1848.000000, 0.611000 },
  { 1852.000000, 0.612000 },
  { 1856.000000, 0.613000 },
  { 1861.000000, 0.614000 },
  { 1865.000000, 0.615000 },
  { 1870.000000, 0.616000 },
  { 1873.000000, 0.617000 },
  { 1877.000000, 0.618000 },
  { 1881.000000, 0.619000 },
  { 1884.000000, 0.620000 },
  { 1886.000000, 0.621000 },
  { 1893.000000, 0.622000 },
  { 1897.000000, 0.623000 },
  { 1904.000000, 0.624000 },
  { 1909.000000, 0.625000 },
  { 1913.000000, 0.626000 },
  { 1917.000000, 0.627000 },
  { 1921.000000, 0.628000 },
  { 1926.000000, 0.629000 },
  { 1930.000000, 0.630000 },
  { 1937.000000, 0.631000 },
  { 1944.000000, 0.632000 },
  { 1948.000000, 0.633000 },
  { 1953.000000, 0.634000 },
  { 1960.000000, 0.635000 },
  { 1965.000000, 0.636000 },
  { 1968.000000, 0.637000 },
  { 1973.000000, 0.638000 },
  { 1977.000000, 0.639000 },
  { 1982.000000, 0.640000 },
  { 1987.000000, 0.641000 },
  { 1991.000000, 0.642000 },
  { 1995.000000, 0.643000 },
  { 2000.000000, 0.644000 },
  { 2004.000000, 0.645000 },
  { 2009.000000, 0.646000 },
  { 2013.000000, 0.647000 },
  { 2017.000000, 0.648000 },
  { 2022.000000, 0.649000 },
  { 2026.000000, 0.650000 },
  { 2032.000000, 0.651000 },
  { 2038.000000, 0.652000 },
  { 2042.000000, 0.653000 },
  { 2046.000000, 0.654000 },
  { 2047.000000, 0.655000 },
  { 2055.000000, 0.670000 },
  { 2063.000000, 0.671000 },
  { 2067.000000, 0.672000 },
  { 2073.000000, 0.673000 },
  { 2077.000000, 0.674000 },
  { 2083.000000, 0.675000 },
  { 2088.000000, 0.676000 },
  { 2093.000000, 0.677000 },
  { 2102.000000, 0.678000 },
  { 2110.000000, 0.679000 },
  { 2117.000000, 0.680000 },
  { 2124.000000, 0.681000 },
  { 2127.000000, 0.682000 },
  { 2133.000000, 0.683000 },
  { 2137.000000, 0.684000 },
  { 2142.000000, 0.685000 },
  { 2147.000000, 0.686000 },
  { 2150.000000, 0.687000 },
  { 2153.000000, 0.688000 },
  { 2159.000000, 0.689000 },
  { 2163.000000, 0.690000 },
  { 2170.000000, 0.691000 },
  { 2174.000000, 0.692000 },
  { 2179.000000, 0.693000 },
  { 2183.000000, 0.694000 },
  { 2187.000000, 0.695000 },
  { 2191.000000, 0.696000 },
  { 2198.000000, 0.697000 },
  { 2207.000000, 0.698000 },
  { 2213.000000, 0.699000 },
  { 2220.000000, 0.700000 },
  { 2226.000000, 0.701000 },
  { 2230.000000, 0.702000 },
  { 2234.000000, 0.703000 },
  { 2241.000000, 0.704000 },
  { 2248.000000, 0.705000 },
  { 2252.000000, 0.706000 },
  { 2257.000000, 0.707000 },
  { 2264.000000, 0.708000 },
  { 2272.000000, 0.709000 },
  { 2280.000000, 0.710000 },
  { 2286.000000, 0.711000 },
  { 2293.000000, 0.712000 },
  { 2299.000000, 0.713000 },
  { 2303.000000, 0.714000 },
  { 2309.000000, 0.715000 },
  { 2313.000000, 0.716000 },
  { 2319.000000, 0.717000 },
  { 2323.000000, 0.718000 },
  { 2328.000000, 0.719000 },
  { 2337.000000, 0.720000 },
  { 2345.000000, 0.721000 },
  { 2351.000000, 0.722000 },
  { 2359.000000, 0.723000 },
  { 2366.000000, 0.724000 },
  { 2371.000000, 0.725000 },
  { 2375.000000, 0.726000 },
  { 2381.000000, 0.727000 },
  { 2388.000000, 0.728000 },
  { 2397.000000, 0.729000 },
  { 2414.000000, 0.730000 },
  { 2423.000000, 0.731000 },
  { 2431.000000, 0.732000 },
  { 2437.000000, 0.733000 },
  { 2444.000000, 0.734000 },
  { 2451.000000, 0.735000 },
  { 2462.000000, 0.736000 },
  { 2469.000000, 0.737000 },
  { 2479.000000, 0.738000 },
  { 2486.000000, 0.739000 },
  { 2490.000000, 0.740000 },
  { 2496.000000, 0.741000 },
  { 2501.000000, 0.742000 },
  { 2507.000000, 0.743000 },
  { 2515.000000, 0.744000 },
  { 2523.000000, 0.745000 },
  { 2533.000000, 0.746000 },
  { 2548.000000, 0.747000 },
  { 2558.000000, 0.748000 },
  { 2559.000000, 0.749000 },
  { 2574.000000, 0.754000 },
  { 2581.000000, 0.755000 },
  { 2587.000000, 0.756000 },
  { 2595.000000, 0.757000 },
  { 2604.000000, 0.758000 },
  { 2614.000000, 0.759000 },
  { 2629.000000, 0.760000 },
  { 2644.000000, 0.761000 },
  { 2652.000000, 0.762000 },
  { 2663.000000, 0.763000 },
  { 2673.000000, 0.764000 },
  { 2686.000000, 0.765000 },
  { 2697.000000, 0.766000 },
  { 2709.000000, 0.767000 },
  { 2717.000000, 0.768000 },
  { 2725.000000, 0.769000 },
  { 2734.000000, 0.770000 },
  { 2741.000000, 0.771000 },
  { 2749.000000, 0.772000 },
  { 2761.000000, 0.773000 },
  { 2773.000000, 0.774000 },
  { 2782.000000, 0.775000 },
  { 2793.000000, 0.776000 },
  { 2802.000000, 0.777000 },
  { 2811.000000, 0.778000 },
  { 2821.000000, 0.779000 },
  { 2832.000000, 0.780000 },
  { 2842.000000, 0.781000 },
  { 2851.000000, 0.782000 },
  { 2865.000000, 0.783000 },
  { 2876.000000, 0.784000 },
  { 2883.000000, 0.785000 },
  { 2893.000000, 0.786000 },
  { 2901.000000, 0.787000 },
  { 2916.000000, 0.788000 },
  { 2939.000000, 0.789000 },
  { 2954.000000, 0.790000 },
  { 2968.000000, 0.791000 },
  { 2979.000000, 0.792000 },
  { 2992.000000, 0.793000 },
  { 3011.000000, 0.794000 },
  { 3030.000000, 0.795000 },
  { 3042.000000, 0.796000 },
  { 3058.000000, 0.797000 },
  { 3069.000000, 0.798000 },
  { 3079.000000, 0.805000 },
  { 3100.000000, 0.806000 },
  { 3114.000000, 0.807000 },
  { 3131.000000, 0.808000 },
  { 3149.000000, 0.809000 },
  { 3161.000000, 0.810000 },
  { 3181.000000, 0.811000 },
  { 3190.000000, 0.812000 },
  { 3208.000000, 0.813000 },
  { 3222.000000, 0.814000 },
  { 3232.000000, 0.815000 },
  { 3249.000000, 0.816000 },
  { 3268.000000, 0.817000 },
  { 3286.000000, 0.818000 },
  { 3320.000000, 0.819000 },
  { 3340.000000, 0.820000 },
  { 3359.000000, 0.821000 },
  { 3387.000000, 0.822000 },
  { 3425.000000, 0.823000 },
  { 3444.000000, 0.824000 },
  { 3465.000000, 0.825000 },
  { 3498.000000, 0.826000 },
  { 3523.000000, 0.827000 },
  { 3539.000000, 0.828000 },
  { 3562.000000, 0.829000 },
  { 3583.000000, 0.830000 },
  { 3597.000000, 0.837000 },
  { 3614.000000, 0.838000 },
  { 3640.000000, 0.839000 },
  { 3661.000000, 0.840000 },
  { 3682.000000, 0.841000 },
  { 3698.000000, 0.842000 },
  { 3714.000000, 0.843000 },
  { 3747.000000, 0.844000 },
  { 3774.000000, 0.845000 },
  { 3812.000000, 0.846000 },
  { 3833.000000, 0.847000 },
  { 3856.000000, 0.848000 },
  { 3880.000000, 0.849000 },
  { 3915.000000, 0.850000 },
  { 3952.000000, 0.851000 },
  { 3987.000000, 0.852000 },
  { 4016.000000, 0.853000 },
  { 4042.000000, 0.854000 },
  { 4077.000000, 0.855000 },
  { 4095.000000, 0.856000 },
  { 4173.000000, 0.969000 },
  { 4241.000000, 0.970000 },
  { 4325.000000, 0.971000 },
  { 4486.000000, 0.972000 },
  { 4605.000000, 0.973000 },
  { 4666.000000, 0.977000 },
  { 4797.000000, 0.978000 },
  { 4920.000000, 0.979000 },
  { 5115.000000, 0.980000 },
  { 5172.000000, 0.981000 },
  { 5437.000000, 0.982000 },
  { 5624.000000, 0.983000 },
  { 5929.000000, 0.984000 },
  { 6128.000000, 0.985000 },
  { 6280.000000, 0.986000 },
  { 6650.000000, 0.987000 },
  { 6934.000000, 0.989000 },
  { 7135.000000, 0.990000 },
  { 7681.000000, 0.991000 },
  { 8152.000000, 0.992000 },
  { 9104.000000, 0.997000 },
  { 11757.000000, 0.998000 },
  { 22021.000000, 0.999000 },
  { 61299.000000, 1.000000 },
};

static struct histmap nntp_histmap[] = {
  { "nitems", 55 },
  { "itemsize", 802 },
};