BSMPT 3.0.7
BSMPT - Beyond the Standard Model Phase Transitions : A C++ package for the computation of the EWPT in BSM models
Loading...
Searching...
No Matches
NegativeBosonSpline.h
Go to the documentation of this file.
1// Copyright (C) 2020 Philipp Basler, Margarete Mühlleitner and Jonas Müller
2// SPDX-FileCopyrightText: 2021 Philipp Basler, Margarete Mühlleitner and Jonas
3// Müller
4//
5// SPDX-License-Identifier: GPL-3.0-or-later
6
11#include <vector>
12
13#ifndef INCLUDE_BSMPT_THERMALFUNCTIONS_NEGATIVEBOSONSPLINE_H_
14#define INCLUDE_BSMPT_THERMALFUNCTIONS_NEGATIVEBOSONSPLINE_H_
15
20extern const int C_NegLine;
21
25extern const double NegLinearInt[3001][2];
26
30const std::vector<std::vector<double>> NegLinearIntTransposed = {
31 {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11,
32 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23,
33 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35,
34 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47,
35 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59,
36 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71,
37 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83,
38 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95,
39 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107,
40 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119,
41 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131,
42 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143,
43 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155,
44 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167,
45 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179,
46 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191,
47 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203,
48 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215,
49 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227,
50 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239,
51 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251,
52 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263,
53 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275,
54 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287,
55 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299,
56 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311,
57 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323,
58 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335,
59 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347,
60 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359,
61 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371,
62 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383,
63 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395,
64 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407,
65 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419,
66 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431,
67 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443,
68 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455,
69 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467,
70 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479,
71 480, 481, 482, 483, 484, 485, 486, 487, 488, 489, 490, 491,
72 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503,
73 504, 505, 506, 507, 508, 509, 510, 511, 512, 513, 514, 515,
74 516, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527,
75 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539,
76 540, 541, 542, 543, 544, 545, 546, 547, 548, 549, 550, 551,
77 552, 553, 554, 555, 556, 557, 558, 559, 560, 561, 562, 563,
78 564, 565, 566, 567, 568, 569, 570, 571, 572, 573, 574, 575,
79 576, 577, 578, 579, 580, 581, 582, 583, 584, 585, 586, 587,
80 588, 589, 590, 591, 592, 593, 594, 595, 596, 597, 598, 599,
81 600, 601, 602, 603, 604, 605, 606, 607, 608, 609, 610, 611,
82 612, 613, 614, 615, 616, 617, 618, 619, 620, 621, 622, 623,
83 624, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635,
84 636, 637, 638, 639, 640, 641, 642, 643, 644, 645, 646, 647,
85 648, 649, 650, 651, 652, 653, 654, 655, 656, 657, 658, 659,
86 660, 661, 662, 663, 664, 665, 666, 667, 668, 669, 670, 671,
87 672, 673, 674, 675, 676, 677, 678, 679, 680, 681, 682, 683,
88 684, 685, 686, 687, 688, 689, 690, 691, 692, 693, 694, 695,
89 696, 697, 698, 699, 700, 701, 702, 703, 704, 705, 706, 707,
90 708, 709, 710, 711, 712, 713, 714, 715, 716, 717, 718, 719,
91 720, 721, 722, 723, 724, 725, 726, 727, 728, 729, 730, 731,
92 732, 733, 734, 735, 736, 737, 738, 739, 740, 741, 742, 743,
93 744, 745, 746, 747, 748, 749, 750, 751, 752, 753, 754, 755,
94 756, 757, 758, 759, 760, 761, 762, 763, 764, 765, 766, 767,
95 768, 769, 770, 771, 772, 773, 774, 775, 776, 777, 778, 779,
96 780, 781, 782, 783, 784, 785, 786, 787, 788, 789, 790, 791,
97 792, 793, 794, 795, 796, 797, 798, 799, 800, 801, 802, 803,
98 804, 805, 806, 807, 808, 809, 810, 811, 812, 813, 814, 815,
99 816, 817, 818, 819, 820, 821, 822, 823, 824, 825, 826, 827,
100 828, 829, 830, 831, 832, 833, 834, 835, 836, 837, 838, 839,
101 840, 841, 842, 843, 844, 845, 846, 847, 848, 849, 850, 851,
102 852, 853, 854, 855, 856, 857, 858, 859, 860, 861, 862, 863,
103 864, 865, 866, 867, 868, 869, 870, 871, 872, 873, 874, 875,
104 876, 877, 878, 879, 880, 881, 882, 883, 884, 885, 886, 887,
105 888, 889, 890, 891, 892, 893, 894, 895, 896, 897, 898, 899,
106 900, 901, 902, 903, 904, 905, 906, 907, 908, 909, 910, 911,
107 912, 913, 914, 915, 916, 917, 918, 919, 920, 921, 922, 923,
108 924, 925, 926, 927, 928, 929, 930, 931, 932, 933, 934, 935,
109 936, 937, 938, 939, 940, 941, 942, 943, 944, 945, 946, 947,
110 948, 949, 950, 951, 952, 953, 954, 955, 956, 957, 958, 959,
111 960, 961, 962, 963, 964, 965, 966, 967, 968, 969, 970, 971,
112 972, 973, 974, 975, 976, 977, 978, 979, 980, 981, 982, 983,
113 984, 985, 986, 987, 988, 989, 990, 991, 992, 993, 994, 995,
114 996, 997, 998, 999, 1000, 1001, 1002, 1003, 1004, 1005, 1006, 1007,
115 1008, 1009, 1010, 1011, 1012, 1013, 1014, 1015, 1016, 1017, 1018, 1019,
116 1020, 1021, 1022, 1023, 1024, 1025, 1026, 1027, 1028, 1029, 1030, 1031,
117 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043,
118 1044, 1045, 1046, 1047, 1048, 1049, 1050, 1051, 1052, 1053, 1054, 1055,
119 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067,
120 1068, 1069, 1070, 1071, 1072, 1073, 1074, 1075, 1076, 1077, 1078, 1079,
121 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091,
122 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1100, 1101, 1102, 1103,
123 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115,
124 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127,
125 1128, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139,
126 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151,
127 1152, 1153, 1154, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163,
128 1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175,
129 1176, 1177, 1178, 1179, 1180, 1181, 1182, 1183, 1184, 1185, 1186, 1187,
130 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199,
131 1200, 1201, 1202, 1203, 1204, 1205, 1206, 1207, 1208, 1209, 1210, 1211,
132 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223,
133 1224, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235,
134 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247,
135 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259,
136 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1269, 1270, 1271,
137 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1279, 1280, 1281, 1282, 1283,
138 1284, 1285, 1286, 1287, 1288, 1289, 1290, 1291, 1292, 1293, 1294, 1295,
139 1296, 1297, 1298, 1299, 1300, 1301, 1302, 1303, 1304, 1305, 1306, 1307,
140 1308, 1309, 1310, 1311, 1312, 1313, 1314, 1315, 1316, 1317, 1318, 1319,
141 1320, 1321, 1322, 1323, 1324, 1325, 1326, 1327, 1328, 1329, 1330, 1331,
142 1332, 1333, 1334, 1335, 1336, 1337, 1338, 1339, 1340, 1341, 1342, 1343,
143 1344, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1352, 1353, 1354, 1355,
144 1356, 1357, 1358, 1359, 1360, 1361, 1362, 1363, 1364, 1365, 1366, 1367,
145 1368, 1369, 1370, 1371, 1372, 1373, 1374, 1375, 1376, 1377, 1378, 1379,
146 1380, 1381, 1382, 1383, 1384, 1385, 1386, 1387, 1388, 1389, 1390, 1391,
147 1392, 1393, 1394, 1395, 1396, 1397, 1398, 1399, 1400, 1401, 1402, 1403,
148 1404, 1405, 1406, 1407, 1408, 1409, 1410, 1411, 1412, 1413, 1414, 1415,
149 1416, 1417, 1418, 1419, 1420, 1421, 1422, 1423, 1424, 1425, 1426, 1427,
150 1428, 1429, 1430, 1431, 1432, 1433, 1434, 1435, 1436, 1437, 1438, 1439,
151 1440, 1441, 1442, 1443, 1444, 1445, 1446, 1447, 1448, 1449, 1450, 1451,
152 1452, 1453, 1454, 1455, 1456, 1457, 1458, 1459, 1460, 1461, 1462, 1463,
153 1464, 1465, 1466, 1467, 1468, 1469, 1470, 1471, 1472, 1473, 1474, 1475,
154 1476, 1477, 1478, 1479, 1480, 1481, 1482, 1483, 1484, 1485, 1486, 1487,
155 1488, 1489, 1490, 1491, 1492, 1493, 1494, 1495, 1496, 1497, 1498, 1499,
156 1500, 1501, 1502, 1503, 1504, 1505, 1506, 1507, 1508, 1509, 1510, 1511,
157 1512, 1513, 1514, 1515, 1516, 1517, 1518, 1519, 1520, 1521, 1522, 1523,
158 1524, 1525, 1526, 1527, 1528, 1529, 1530, 1531, 1532, 1533, 1534, 1535,
159 1536, 1537, 1538, 1539, 1540, 1541, 1542, 1543, 1544, 1545, 1546, 1547,
160 1548, 1549, 1550, 1551, 1552, 1553, 1554, 1555, 1556, 1557, 1558, 1559,
161 1560, 1561, 1562, 1563, 1564, 1565, 1566, 1567, 1568, 1569, 1570, 1571,
162 1572, 1573, 1574, 1575, 1576, 1577, 1578, 1579, 1580, 1581, 1582, 1583,
163 1584, 1585, 1586, 1587, 1588, 1589, 1590, 1591, 1592, 1593, 1594, 1595,
164 1596, 1597, 1598, 1599, 1600, 1601, 1602, 1603, 1604, 1605, 1606, 1607,
165 1608, 1609, 1610, 1611, 1612, 1613, 1614, 1615, 1616, 1617, 1618, 1619,
166 1620, 1621, 1622, 1623, 1624, 1625, 1626, 1627, 1628, 1629, 1630, 1631,
167 1632, 1633, 1634, 1635, 1636, 1637, 1638, 1639, 1640, 1641, 1642, 1643,
168 1644, 1645, 1646, 1647, 1648, 1649, 1650, 1651, 1652, 1653, 1654, 1655,
169 1656, 1657, 1658, 1659, 1660, 1661, 1662, 1663, 1664, 1665, 1666, 1667,
170 1668, 1669, 1670, 1671, 1672, 1673, 1674, 1675, 1676, 1677, 1678, 1679,
171 1680, 1681, 1682, 1683, 1684, 1685, 1686, 1687, 1688, 1689, 1690, 1691,
172 1692, 1693, 1694, 1695, 1696, 1697, 1698, 1699, 1700, 1701, 1702, 1703,
173 1704, 1705, 1706, 1707, 1708, 1709, 1710, 1711, 1712, 1713, 1714, 1715,
174 1716, 1717, 1718, 1719, 1720, 1721, 1722, 1723, 1724, 1725, 1726, 1727,
175 1728, 1729, 1730, 1731, 1732, 1733, 1734, 1735, 1736, 1737, 1738, 1739,
176 1740, 1741, 1742, 1743, 1744, 1745, 1746, 1747, 1748, 1749, 1750, 1751,
177 1752, 1753, 1754, 1755, 1756, 1757, 1758, 1759, 1760, 1761, 1762, 1763,
178 1764, 1765, 1766, 1767, 1768, 1769, 1770, 1771, 1772, 1773, 1774, 1775,
179 1776, 1777, 1778, 1779, 1780, 1781, 1782, 1783, 1784, 1785, 1786, 1787,
180 1788, 1789, 1790, 1791, 1792, 1793, 1794, 1795, 1796, 1797, 1798, 1799,
181 1800, 1801, 1802, 1803, 1804, 1805, 1806, 1807, 1808, 1809, 1810, 1811,
182 1812, 1813, 1814, 1815, 1816, 1817, 1818, 1819, 1820, 1821, 1822, 1823,
183 1824, 1825, 1826, 1827, 1828, 1829, 1830, 1831, 1832, 1833, 1834, 1835,
184 1836, 1837, 1838, 1839, 1840, 1841, 1842, 1843, 1844, 1845, 1846, 1847,
185 1848, 1849, 1850, 1851, 1852, 1853, 1854, 1855, 1856, 1857, 1858, 1859,
186 1860, 1861, 1862, 1863, 1864, 1865, 1866, 1867, 1868, 1869, 1870, 1871,
187 1872, 1873, 1874, 1875, 1876, 1877, 1878, 1879, 1880, 1881, 1882, 1883,
188 1884, 1885, 1886, 1887, 1888, 1889, 1890, 1891, 1892, 1893, 1894, 1895,
189 1896, 1897, 1898, 1899, 1900, 1901, 1902, 1903, 1904, 1905, 1906, 1907,
190 1908, 1909, 1910, 1911, 1912, 1913, 1914, 1915, 1916, 1917, 1918, 1919,
191 1920, 1921, 1922, 1923, 1924, 1925, 1926, 1927, 1928, 1929, 1930, 1931,
192 1932, 1933, 1934, 1935, 1936, 1937, 1938, 1939, 1940, 1941, 1942, 1943,
193 1944, 1945, 1946, 1947, 1948, 1949, 1950, 1951, 1952, 1953, 1954, 1955,
194 1956, 1957, 1958, 1959, 1960, 1961, 1962, 1963, 1964, 1965, 1966, 1967,
195 1968, 1969, 1970, 1971, 1972, 1973, 1974, 1975, 1976, 1977, 1978, 1979,
196 1980, 1981, 1982, 1983, 1984, 1985, 1986, 1987, 1988, 1989, 1990, 1991,
197 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
198 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015,
199 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025, 2026, 2027,
200 2028, 2029, 2030, 2031, 2032, 2033, 2034, 2035, 2036, 2037, 2038, 2039,
201 2040, 2041, 2042, 2043, 2044, 2045, 2046, 2047, 2048, 2049, 2050, 2051,
202 2052, 2053, 2054, 2055, 2056, 2057, 2058, 2059, 2060, 2061, 2062, 2063,
203 2064, 2065, 2066, 2067, 2068, 2069, 2070, 2071, 2072, 2073, 2074, 2075,
204 2076, 2077, 2078, 2079, 2080, 2081, 2082, 2083, 2084, 2085, 2086, 2087,
205 2088, 2089, 2090, 2091, 2092, 2093, 2094, 2095, 2096, 2097, 2098, 2099,
206 2100, 2101, 2102, 2103, 2104, 2105, 2106, 2107, 2108, 2109, 2110, 2111,
207 2112, 2113, 2114, 2115, 2116, 2117, 2118, 2119, 2120, 2121, 2122, 2123,
208 2124, 2125, 2126, 2127, 2128, 2129, 2130, 2131, 2132, 2133, 2134, 2135,
209 2136, 2137, 2138, 2139, 2140, 2141, 2142, 2143, 2144, 2145, 2146, 2147,
210 2148, 2149, 2150, 2151, 2152, 2153, 2154, 2155, 2156, 2157, 2158, 2159,
211 2160, 2161, 2162, 2163, 2164, 2165, 2166, 2167, 2168, 2169, 2170, 2171,
212 2172, 2173, 2174, 2175, 2176, 2177, 2178, 2179, 2180, 2181, 2182, 2183,
213 2184, 2185, 2186, 2187, 2188, 2189, 2190, 2191, 2192, 2193, 2194, 2195,
214 2196, 2197, 2198, 2199, 2200, 2201, 2202, 2203, 2204, 2205, 2206, 2207,
215 2208, 2209, 2210, 2211, 2212, 2213, 2214, 2215, 2216, 2217, 2218, 2219,
216 2220, 2221, 2222, 2223, 2224, 2225, 2226, 2227, 2228, 2229, 2230, 2231,
217 2232, 2233, 2234, 2235, 2236, 2237, 2238, 2239, 2240, 2241, 2242, 2243,
218 2244, 2245, 2246, 2247, 2248, 2249, 2250, 2251, 2252, 2253, 2254, 2255,
219 2256, 2257, 2258, 2259, 2260, 2261, 2262, 2263, 2264, 2265, 2266, 2267,
220 2268, 2269, 2270, 2271, 2272, 2273, 2274, 2275, 2276, 2277, 2278, 2279,
221 2280, 2281, 2282, 2283, 2284, 2285, 2286, 2287, 2288, 2289, 2290, 2291,
222 2292, 2293, 2294, 2295, 2296, 2297, 2298, 2299, 2300, 2301, 2302, 2303,
223 2304, 2305, 2306, 2307, 2308, 2309, 2310, 2311, 2312, 2313, 2314, 2315,
224 2316, 2317, 2318, 2319, 2320, 2321, 2322, 2323, 2324, 2325, 2326, 2327,
225 2328, 2329, 2330, 2331, 2332, 2333, 2334, 2335, 2336, 2337, 2338, 2339,
226 2340, 2341, 2342, 2343, 2344, 2345, 2346, 2347, 2348, 2349, 2350, 2351,
227 2352, 2353, 2354, 2355, 2356, 2357, 2358, 2359, 2360, 2361, 2362, 2363,
228 2364, 2365, 2366, 2367, 2368, 2369, 2370, 2371, 2372, 2373, 2374, 2375,
229 2376, 2377, 2378, 2379, 2380, 2381, 2382, 2383, 2384, 2385, 2386, 2387,
230 2388, 2389, 2390, 2391, 2392, 2393, 2394, 2395, 2396, 2397, 2398, 2399,
231 2400, 2401, 2402, 2403, 2404, 2405, 2406, 2407, 2408, 2409, 2410, 2411,
232 2412, 2413, 2414, 2415, 2416, 2417, 2418, 2419, 2420, 2421, 2422, 2423,
233 2424, 2425, 2426, 2427, 2428, 2429, 2430, 2431, 2432, 2433, 2434, 2435,
234 2436, 2437, 2438, 2439, 2440, 2441, 2442, 2443, 2444, 2445, 2446, 2447,
235 2448, 2449, 2450, 2451, 2452, 2453, 2454, 2455, 2456, 2457, 2458, 2459,
236 2460, 2461, 2462, 2463, 2464, 2465, 2466, 2467, 2468, 2469, 2470, 2471,
237 2472, 2473, 2474, 2475, 2476, 2477, 2478, 2479, 2480, 2481, 2482, 2483,
238 2484, 2485, 2486, 2487, 2488, 2489, 2490, 2491, 2492, 2493, 2494, 2495,
239 2496, 2497, 2498, 2499, 2500, 2501, 2502, 2503, 2504, 2505, 2506, 2507,
240 2508, 2509, 2510, 2511, 2512, 2513, 2514, 2515, 2516, 2517, 2518, 2519,
241 2520, 2521, 2522, 2523, 2524, 2525, 2526, 2527, 2528, 2529, 2530, 2531,
242 2532, 2533, 2534, 2535, 2536, 2537, 2538, 2539, 2540, 2541, 2542, 2543,
243 2544, 2545, 2546, 2547, 2548, 2549, 2550, 2551, 2552, 2553, 2554, 2555,
244 2556, 2557, 2558, 2559, 2560, 2561, 2562, 2563, 2564, 2565, 2566, 2567,
245 2568, 2569, 2570, 2571, 2572, 2573, 2574, 2575, 2576, 2577, 2578, 2579,
246 2580, 2581, 2582, 2583, 2584, 2585, 2586, 2587, 2588, 2589, 2590, 2591,
247 2592, 2593, 2594, 2595, 2596, 2597, 2598, 2599, 2600, 2601, 2602, 2603,
248 2604, 2605, 2606, 2607, 2608, 2609, 2610, 2611, 2612, 2613, 2614, 2615,
249 2616, 2617, 2618, 2619, 2620, 2621, 2622, 2623, 2624, 2625, 2626, 2627,
250 2628, 2629, 2630, 2631, 2632, 2633, 2634, 2635, 2636, 2637, 2638, 2639,
251 2640, 2641, 2642, 2643, 2644, 2645, 2646, 2647, 2648, 2649, 2650, 2651,
252 2652, 2653, 2654, 2655, 2656, 2657, 2658, 2659, 2660, 2661, 2662, 2663,
253 2664, 2665, 2666, 2667, 2668, 2669, 2670, 2671, 2672, 2673, 2674, 2675,
254 2676, 2677, 2678, 2679, 2680, 2681, 2682, 2683, 2684, 2685, 2686, 2687,
255 2688, 2689, 2690, 2691, 2692, 2693, 2694, 2695, 2696, 2697, 2698, 2699,
256 2700, 2701, 2702, 2703, 2704, 2705, 2706, 2707, 2708, 2709, 2710, 2711,
257 2712, 2713, 2714, 2715, 2716, 2717, 2718, 2719, 2720, 2721, 2722, 2723,
258 2724, 2725, 2726, 2727, 2728, 2729, 2730, 2731, 2732, 2733, 2734, 2735,
259 2736, 2737, 2738, 2739, 2740, 2741, 2742, 2743, 2744, 2745, 2746, 2747,
260 2748, 2749, 2750, 2751, 2752, 2753, 2754, 2755, 2756, 2757, 2758, 2759,
261 2760, 2761, 2762, 2763, 2764, 2765, 2766, 2767, 2768, 2769, 2770, 2771,
262 2772, 2773, 2774, 2775, 2776, 2777, 2778, 2779, 2780, 2781, 2782, 2783,
263 2784, 2785, 2786, 2787, 2788, 2789, 2790, 2791, 2792, 2793, 2794, 2795,
264 2796, 2797, 2798, 2799, 2800, 2801, 2802, 2803, 2804, 2805, 2806, 2807,
265 2808, 2809, 2810, 2811, 2812, 2813, 2814, 2815, 2816, 2817, 2818, 2819,
266 2820, 2821, 2822, 2823, 2824, 2825, 2826, 2827, 2828, 2829, 2830, 2831,
267 2832, 2833, 2834, 2835, 2836, 2837, 2838, 2839, 2840, 2841, 2842, 2843,
268 2844, 2845, 2846, 2847, 2848, 2849, 2850, 2851, 2852, 2853, 2854, 2855,
269 2856, 2857, 2858, 2859, 2860, 2861, 2862, 2863, 2864, 2865, 2866, 2867,
270 2868, 2869, 2870, 2871, 2872, 2873, 2874, 2875, 2876, 2877, 2878, 2879,
271 2880, 2881, 2882, 2883, 2884, 2885, 2886, 2887, 2888, 2889, 2890, 2891,
272 2892, 2893, 2894, 2895, 2896, 2897, 2898, 2899, 2900, 2901, 2902, 2903,
273 2904, 2905, 2906, 2907, 2908, 2909, 2910, 2911, 2912, 2913, 2914, 2915,
274 2916, 2917, 2918, 2919, 2920, 2921, 2922, 2923, 2924, 2925, 2926, 2927,
275 2928, 2929, 2930, 2931, 2932, 2933, 2934, 2935, 2936, 2937, 2938, 2939,
276 2940, 2941, 2942, 2943, 2944, 2945, 2946, 2947, 2948, 2949, 2950, 2951,
277 2952, 2953, 2954, 2955, 2956, 2957, 2958, 2959, 2960, 2961, 2962, 2963,
278 2964, 2965, 2966, 2967, 2968, 2969, 2970, 2971, 2972, 2973, 2974, 2975,
279 2976, 2977, 2978, 2979, 2980, 2981, 2982, 2983, 2984, 2985, 2986, 2987,
280 2988, 2989, 2990, 2991, 2992, 2993, 2994, 2995, 2996, 2997, 2998, 2999,
281 3000},
282 {-2.16465, -2.81845, -3.22285, -3.42892, -3.46485, -3.35103, -3.10376,
283 -2.73681, -2.26226, -1.691, -1.03302, -0.297651, 0.506268, 1.37029,
284 2.28626, 3.24622, 4.24234, 5.26689, 6.31214, 7.37034, 8.43366,
285 9.4941, 10.5435, 11.5734, 12.575, 13.5392, 14.4561, 15.3155,
286 16.1061, 16.8158, 17.4311, 17.9371, 18.3165, 18.5494, 18.612,
287 18.4748, 18.0994, 17.4327, 16.3916, 14.8107, 12.1662, 9.29873,
288 6.55297, 3.92694, 1.4187, -0.973639, -3.25195, -5.41807, -7.47383,
289 -9.42101, -11.2614, -12.9967, -14.6288, -16.1592, -17.5897, -18.922,
290 -20.1578, -21.2986, -22.3462, -23.3021, -24.1679, -24.9454, -25.636,
291 -26.2413, -26.7629, -27.2024, -27.5613, -27.8411, -28.0435, -28.1699,
292 -28.2218, -28.2008, -28.1085, -27.9462, -27.7156, -27.4181, -27.0553,
293 -26.6287, -26.1397, -25.5899, -24.9808, -24.3138, -23.5906, -22.8126,
294 -21.9814, -21.0984, -20.1651, -19.1832, -18.1542, -17.0795, -15.9608,
295 -14.7995, -13.5973, -12.3558, -11.0764, -9.76091, -8.4108, -7.02773,
296 -5.61332, -4.16922, -2.6971, -1.19864, 0.324478, 1.87053, 3.43778,
297 5.02448, 6.62884, 8.24907, 9.88334, 11.5298, 13.1865, 14.8517,
298 16.5232, 18.1992, 19.8777, 21.5565, 23.2336, 24.9069, 26.5741,
299 28.2329, 29.8812, 31.5165, 33.1364, 34.7384, 36.32, 37.8785,
300 39.4112, 40.9152, 42.3878, 43.8257, 45.226, 46.5852, 47.9001,
301 49.167, 50.3822, 51.5418, 52.6416, 53.6773, 54.6443, 55.5376,
302 56.3519, 57.0818, 57.721, 58.263, 58.7007, 59.0263, 59.2311,
303 59.3054, 59.2383, 59.0176, 58.6289, 58.0554, 57.2767, 56.268,
304 54.9967, 53.4189, 51.4689, 49.0315, 45.7413, 41.6262, 37.6,
305 33.6623, 29.8123, 26.0495, 22.3732, 18.7829, 15.2779, 11.8576,
306 8.52136, 5.26863, 2.09877, -0.988822, -3.99476, -6.91965, -9.76409,
307 -12.5287, -15.2141, -17.8209, -20.3496, -22.8009, -25.1754, -27.4738,
308 -29.6965, -31.8442, -33.9175, -35.917, -37.8434, -39.6971, -41.4789,
309 -43.1893, -44.8289, -46.3983, -47.8981, -49.329, -50.6915, -51.9863,
310 -53.2139, -54.3749, -55.47, -56.4998, -57.4648, -58.3657, -59.203,
311 -59.9774, -60.6896, -61.34, -61.9293, -62.4582, -62.9272, -63.3369,
312 -63.688, -63.981, -64.2167, -64.3956, -64.5182, -64.5854, -64.5975,
313 -64.5554, -64.4596, -64.3107, -64.1094, -63.8563, -63.5519, -63.1971,
314 -62.7923, -62.3383, -61.8356, -61.2849, -60.6868, -60.042, -59.3512,
315 -58.6149, -57.8339, -57.0087, -56.1401, -55.2287, -54.2751, -53.2801,
316 -52.2443, -51.1683, -50.0528, -48.8986, -47.7062, -46.4764, -45.2099,
317 -43.9073, -42.5694, -41.1968, -39.7903, -38.3505, -36.8781, -35.3739,
318 -33.8387, -32.273, -30.6777, -29.0534, -27.401, -25.7211, -24.0146,
319 -22.2821, -20.5244, -18.7422, -16.9365, -15.1079, -13.2572, -11.3852,
320 -9.49267, -7.58049, -5.64942, -3.70029, -1.73393, 0.248825, 2.24714,
321 4.26016, 6.28703, 8.32687, 10.3788, 12.442, 14.5154, 16.5983,
322 18.6896, 20.7885, 22.894, 25.0052, 27.1211, 29.2406, 31.3629,
323 33.4869, 35.6116, 37.7359, 39.8589, 41.9794, 44.0964, 46.2087,
324 48.3152, 50.4149, 52.5065, 54.5888, 56.6607, 58.721, 60.7684,
325 62.8015, 64.8193, 66.8202, 68.803, 70.7663, 72.7086, 74.6286,
326 76.5248, 78.3955, 80.2394, 82.0547, 83.84, 85.5934, 87.3132,
327 88.9978, 90.6453, 92.2535, 93.8209, 95.3453, 96.8246, 98.2567,
328 99.6393, 100.97, 102.247, 103.467, 104.627, 105.726, 106.759,
329 107.725, 108.619, 109.44, 110.182, 110.843, 111.418, 111.903,
330 112.294, 112.587, 112.775, 112.853, 112.816, 112.657, 112.368,
331 111.941, 111.368, 110.639, 109.742, 108.664, 107.389, 105.9,
332 104.173, 102.179, 99.881, 97.223, 94.1156, 90.3639, 85.4774,
333 80.4874, 75.5704, 70.7263, 65.9546, 61.255, 56.6273, 52.0712,
334 47.5862, 43.172, 38.8285, 34.5551, 30.3517, 26.2179, 22.1533,
335 18.1577, 14.2307, 10.372, 6.58129, 2.85824, -0.79747, -4.38616,
336 -7.90816, -11.3638, -14.7534, -18.0772, -21.3357, -24.529, -27.6577,
337 -30.7218, -33.7219, -36.6582, -39.5311, -42.3408, -45.0877, -47.7721,
338 -50.3944, -52.9548, -55.4538, -57.8916, -60.2677, -62.5849, -64.8412,
339 -67.0375, -69.1744, -71.252, -73.2708, -75.2311, -77.1331, -78.9773,
340 -80.7639, -82.4933, -84.1658, -85.7818, -87.3416, -88.8455, -90.2939,
341 -91.687, -93.0253, -94.3091, -95.5387, -96.7143, -97.8365, -98.9056,
342 -99.9217, -100.885, -101.797, -102.657, -103.465, -104.222, -104.928,
343 -105.584, -106.19, -106.746, -107.253, -107.71, -108.119, -108.48,
344 -108.792, -109.057, -109.275, -109.445, -109.569, -109.647, -109.679,
345 -109.665, -109.606, -109.503, -109.355, -109.162, -108.926, -108.647,
346 -108.325, -107.96, -107.553, -107.103, -106.613, -106.081, -105.508,
347 -104.895, -104.242, -103.549, -102.817, -102.046, -101.236, -100.388,
348 -99.5027, -98.5796, -97.6195, -96.6228, -95.5898, -94.5209, -93.4165,
349 -92.277, -91.1028, -89.8944, -88.6519, -87.376, -86.067, -84.7252,
350 -83.3511, -81.9451, -80.5076, -79.039, -77.5397, -76.0102, -74.4507,
351 -72.8618, -71.2439, -69.5974, -67.9227, -66.2202, -64.4903, -62.7336,
352 -60.9503, -59.141, -57.3061, -55.446, -53.5612, -51.652, -49.719,
353 -47.7626, -45.7833, -43.7814, -41.7575, -39.7121, -37.6454, -35.5581,
354 -33.4507, -31.3234, -29.177, -27.0117, -24.8282, -22.6268, -20.4081,
355 -18.1726, -15.9207, -13.653, -11.3699, -9.072, -6.75974, -4.43366,
356 -2.09427, 0.257911, 2.62236, 4.99854, 7.38592, 9.78397, 12.1921,
357 14.6099, 17.0367, 19.4719, 21.915, 24.3655, 26.8228, 29.2862,
358 31.7552, 34.2293, 36.7077, 39.19, 41.6755, 44.1637, 46.6537,
359 49.1452, 51.6373, 54.1295, 56.6212, 59.1116, 61.6001, 64.0861,
360 66.5688, 69.0476, 71.5218, 73.9906, 76.4534, 78.9094, 81.3579,
361 83.7982, 86.2295, 88.651, 91.0619, 93.4615, 95.849, 98.2235,
362 100.584, 102.93, 105.261, 107.576, 109.873, 112.152, 114.412,
363 116.652, 118.871, 121.069, 123.243, 125.394, 127.52, 129.62,
364 131.693, 133.738, 135.755, 137.74, 139.695, 141.616, 143.504,
365 145.357, 147.174, 148.953, 150.693, 152.393, 154.051, 155.666,
366 157.236, 158.76, 160.236, 161.663, 163.038, 164.361, 165.629,
367 166.841, 167.994, 169.087, 170.117, 171.082, 171.981, 172.81,
368 173.567, 174.25, 174.856, 175.382, 175.826, 176.183, 176.451,
369 176.626, 176.705, 176.683, 176.557, 176.321, 175.971, 175.502,
370 174.907, 174.181, 173.317, 172.307, 171.142, 169.814, 168.311,
371 166.62, 164.729, 162.619, 160.269, 157.653, 154.737, 151.473,
372 147.787, 143.539, 138.236, 132.442, 126.711, 121.044, 115.441,
373 109.9, 104.423, 99.0076, 93.6551, 88.3649, 83.1368, 77.9705,
374 72.8659, 67.8228, 62.841, 57.9202, 53.0603, 48.2611, 43.5223,
375 38.8437, 34.2252, 29.6666, 25.1675, 20.7279, 16.3476, 12.0262,
376 7.76365, 3.55971, -0.585837, -4.67319, -8.70255, -12.6741, -16.5881,
377 -20.4448, -24.2443, -27.9868, -31.6726, -35.3019, -38.8748, -42.3916,
378 -45.8526, -49.2578, -52.6075, -55.902, -59.1413, -62.3259, -65.4557,
379 -68.5312, -71.5524, -74.5196, -77.433, -80.2928, -83.0992, -85.8525,
380 -88.5528, -91.2004, -93.7954, -96.3381, -98.8288, -101.268, -103.655,
381 -105.99, -108.275, -110.508, -112.69, -114.822, -116.904, -118.935,
382 -120.917, -122.849, -124.731, -126.564, -128.348, -130.083, -131.769,
383 -133.407, -134.997, -136.539, -138.033, -139.48, -140.879, -142.231,
384 -143.536, -144.795, -146.007, -147.173, -148.294, -149.368, -150.397,
385 -151.38, -152.319, -153.213, -154.062, -154.866, -155.627, -156.343,
386 -157.016, -157.646, -158.232, -158.775, -159.276, -159.734, -160.149,
387 -160.523, -160.854, -161.144, -161.393, -161.6, -161.767, -161.893,
388 -161.978, -162.024, -162.029, -161.995, -161.921, -161.808, -161.656,
389 -161.465, -161.235, -160.967, -160.662, -160.318, -159.937, -159.519,
390 -159.063, -158.571, -158.042, -157.477, -156.876, -156.238, -155.566,
391 -154.858, -154.115, -153.337, -152.524, -151.677, -150.796, -149.882,
392 -148.934, -147.952, -146.937, -145.89, -144.81, -143.698, -142.554,
393 -141.378, -140.17, -138.932, -137.662, -136.362, -135.031, -133.67,
394 -132.279, -130.859, -129.409, -127.93, -126.423, -124.887, -123.322,
395 -121.73, -120.109, -118.462, -116.787, -115.085, -113.357, -111.603,
396 -109.822, -108.016, -106.184, -104.327, -102.445, -100.539, -98.6078,
397 -96.653, -94.6745, -92.6725, -90.6473, -88.5993, -86.5288, -84.436,
398 -82.3213, -80.1849, -78.0272, -75.8485, -73.649, -71.4291, -69.189,
399 -66.9292, -64.6499, -62.3514, -60.0341, -57.6981, -55.344, -52.972,
400 -50.5824, -48.1755, -45.7517, -43.3113, -40.8547, -38.382, -35.8938,
401 -33.3903, -30.8719, -28.3389, -25.7916, -23.2304, -20.6557, -18.0677,
402 -15.4669, -12.8535, -10.228, -7.59073, -4.94198, -2.28216, 0.388381,
403 3.06927, 5.76014, 8.46062, 11.1703, 13.8889, 16.616, 19.3511,
404 22.094, 24.8442, 27.6013, 30.3649, 33.1348, 35.9103, 38.6912,
405 41.477, 44.2673, 47.0618, 49.8599, 52.6614, 55.4656, 58.2723,
406 61.081, 63.8913, 66.7027, 69.5147, 72.327, 75.1391, 77.9505,
407 80.7608, 83.5694, 86.3761, 89.1802, 91.9813, 94.7788, 97.5725,
408 100.362, 103.146, 105.925, 108.697, 111.464, 114.223, 116.975,
409 119.718, 122.453, 125.179, 127.896, 130.602, 133.297, 135.981,
410 138.653, 141.312, 143.958, 146.591, 149.209, 151.812, 154.4,
411 156.971, 159.526, 162.063, 164.582, 167.082, 169.563, 172.024,
412 174.463, 176.881, 179.277, 181.65, 183.999, 186.323, 188.622,
413 190.895, 193.141, 195.359, 197.549, 199.709, 201.839, 203.938,
414 206.005, 208.039, 210.039, 212.004, 213.933, 215.826, 217.68,
415 219.496, 221.272, 223.007, 224.7, 226.35, 227.955, 229.515,
416 231.028, 232.492, 233.907, 235.272, 236.584, 237.843, 239.047,
417 240.194, 241.283, 242.312, 243.28, 244.185, 245.025, 245.799,
418 246.504, 247.138, 247.699, 248.186, 248.595, 248.925, 249.173,
419 249.336, 249.412, 249.398, 249.29, 249.087, 248.783, 248.376,
420 247.862, 247.236, 246.495, 245.634, 244.646, 243.528, 242.273,
421 240.874, 239.324, 237.615, 235.738, 233.682, 231.436, 228.986,
422 226.316, 223.406, 220.232, 216.762, 212.954, 208.744, 204.02,
423 198.451, 191.954, 185.514, 179.131, 172.804, 166.535, 160.322,
424 154.165, 148.065, 142.021, 136.033, 130.101, 124.225, 118.404,
425 112.638, 106.929, 101.274, 95.674, 90.1292, 84.639, 79.2035,
426 73.8225, 68.4957, 63.2231, 58.0046, 52.8399, 47.729, 42.6716,
427 37.6677, 32.7171, 27.8196, 22.9752, 18.1836, 13.4447, 8.7584,
428 4.12452, -0.457087, -4.98656, -9.46405, -13.8897, -18.2637, -22.5861,
429 -26.8571, -31.0769, -35.2456, -39.3633, -43.4302, -47.4465, -51.4122,
430 -55.3276, -59.1928, -63.0079, -66.7731, -70.4886, -74.1544, -77.7708,
431 -81.3378, -84.8557, -88.3246, -91.7446, -95.1159, -98.4386, -101.713,
432 -104.939, -108.117, -111.247, -114.329, -117.364, -120.351, -123.29,
433 -126.183, -129.028, -131.827, -134.579, -137.284, -139.943, -142.555,
434 -145.122, -147.642, -150.117, -152.546, -154.929, -157.267, -159.56,
435 -161.808, -164.011, -166.17, -168.283, -170.353, -172.378, -174.359,
436 -176.296, -178.189, -180.039, -181.845, -183.608, -185.327, -187.004,
437 -188.638, -190.229, -191.778, -193.285, -194.749, -196.171, -197.551,
438 -198.89, -200.187, -201.443, -202.657, -203.83, -204.963, -206.055,
439 -207.106, -208.117, -209.087, -210.018, -210.908, -211.759, -212.571,
440 -213.342, -214.075, -214.769, -215.423, -216.039, -216.616, -217.155,
441 -217.656, -218.118, -218.543, -218.93, -219.279, -219.591, -219.866,
442 -220.104, -220.304, -220.468, -220.596, -220.687, -220.742, -220.761,
443 -220.744, -220.691, -220.603, -220.479, -220.321, -220.127, -219.898,
444 -219.635, -219.338, -219.006, -218.64, -218.24, -217.806, -217.339,
445 -216.839, -216.305, -215.738, -215.138, -214.506, -213.841, -213.144,
446 -212.414, -211.653, -210.86, -210.036, -209.18, -208.292, -207.374,
447 -206.425, -205.445, -204.435, -203.395, -202.324, -201.224, -200.094,
448 -198.934, -197.745, -196.527, -195.279, -194.003, -192.699, -191.366,
449 -190.005, -188.616, -187.199, -185.755, -184.283, -182.784, -181.257,
450 -179.705, -178.125, -176.519, -174.887, -173.229, -171.544, -169.835,
451 -168.1, -166.339, -164.554, -162.744, -160.909, -159.05, -157.166,
452 -155.259, -153.328, -151.373, -149.395, -147.394, -145.37, -143.323,
453 -141.253, -139.162, -137.048, -134.912, -132.754, -130.576, -128.376,
454 -126.154, -123.912, -121.65, -119.367, -117.064, -114.741, -112.399,
455 -110.036, -107.655, -105.255, -102.836, -100.398, -97.9419, -95.4676,
456 -92.9756, -90.4659, -87.9388, -85.3945, -82.8333, -80.2553, -77.6609,
457 -75.0503, -72.4236, -69.7812, -67.1233, -64.4501, -61.7619, -59.0588,
458 -56.3413, -53.6094, -50.8636, -48.1039, -45.3306, -42.5441, -39.7445,
459 -36.9322, -34.1073, -31.2702, -28.421, -25.5601, -22.6876, -19.804,
460 -16.9094, -14.0041, -11.0883, -8.16242, -5.22661, -2.28118, 0.6736,
461 3.63746, 6.61011, 9.59128, 12.5807, 15.5781, 18.5831, 21.5956,
462 24.6151, 27.6415, 30.6745, 33.7135, 36.7586, 39.8093, 42.8654,
463 45.9265, 48.9924, 52.0627, 55.1371, 58.2154, 61.2972, 64.3822,
464 67.4701, 70.5606, 73.6533, 76.748, 79.8443, 82.9418, 86.0404,
465 89.1395, 92.239, 95.3384, 98.4375, 101.536, 104.633, 107.729,
466 110.823, 113.915, 117.004, 120.091, 123.175, 126.255, 129.331,
467 132.402, 135.469, 138.532, 141.588, 144.639, 147.684, 150.722,
468 153.753, 156.776, 159.792, 162.8, 165.799, 168.789, 171.77,
469 174.741, 177.702, 180.651, 183.59, 186.517, 189.432, 192.335,
470 195.225, 198.101, 200.964, 203.812, 206.645, 209.463, 212.265,
471 215.051, 217.82, 220.572, 223.306, 226.022, 228.719, 231.396,
472 234.054, 236.691, 239.307, 241.902, 244.475, 247.024, 249.551,
473 252.053, 254.531, 256.984, 259.411, 261.812, 264.186, 266.532,
474 268.849, 271.138, 273.397, 275.626, 277.823, 279.989, 282.122,
475 284.222, 286.288, 288.318, 290.314, 292.273, 294.194, 296.078,
476 297.922, 299.727, 301.491, 303.213, 304.893, 306.529, 308.121,
477 309.667, 311.167, 312.619, 314.023, 315.377, 316.68, 317.931,
478 319.129, 320.272, 321.36, 322.39, 323.363, 324.276, 325.127,
479 325.916, 326.641, 327.301, 327.893, 328.416, 328.868, 329.248,
480 329.554, 329.784, 329.935, 330.006, 329.994, 329.897, 329.713,
481 329.439, 329.073, 328.611, 328.051, 327.39, 326.624, 325.75,
482 324.764, 323.662, 322.44, 321.094, 319.617, 318.006, 316.253,
483 314.353, 312.299, 310.082, 307.695, 305.126, 302.365, 299.399,
484 296.212, 292.785, 289.096, 285.116, 280.804, 276.106, 270.926,
485 265.05, 258.031, 250.953, 243.928, 236.955, 230.034, 223.165,
486 216.348, 209.582, 202.868, 196.206, 189.594, 183.034, 176.525,
487 170.067, 163.66, 157.304, 150.998, 144.744, 138.539, 132.385,
488 126.281, 120.228, 114.224, 108.27, 102.367, 96.5125, 90.708,
489 84.953, 79.2474, 73.5911, 67.9839, 62.4258, 56.9167, 51.4565,
490 46.0449, 40.682, 35.3677, 30.1017, 24.884, 19.7145, 14.5931,
491 9.51967, 4.49408, -0.483758, -5.41396, -10.2966, -15.1319, -19.9199,
492 -24.6607, -29.3543, -34.0011, -38.601, -43.1541, -47.6606, -52.1206,
493 -56.5341, -60.9014, -65.2225, -69.4975, -73.7266, -77.9098, -82.0473,
494 -86.1392, -90.1855, -94.1865, -98.1422, -102.053, -105.918, -109.739,
495 -113.514, -117.245, -120.932, -124.574, -128.171, -131.725, -135.234,
496 -138.699, -142.12, -145.498, -148.832, -152.122, -155.369, -158.572,
497 -161.732, -164.85, -167.924, -170.955, -173.944, -176.89, -179.793,
498 -182.654, -185.473, -188.249, -190.984, -193.677, -196.327, -198.937,
499 -201.504, -204.03, -206.515, -208.959, -211.361, -213.723, -216.043,
500 -218.323, -220.563, -222.761, -224.92, -227.038, -229.116, -231.154,
501 -233.152, -235.111, -237.029, -238.909, -240.748, -242.549, -244.31,
502 -246.032, -247.716, -249.36, -250.966, -252.534, -254.063, -255.553,
503 -257.006, -258.42, -259.796, -261.135, -262.436, -263.699, -264.925,
504 -266.114, -267.265, -268.38, -269.457, -270.498, -271.502, -272.469,
505 -273.4, -274.294, -275.153, -275.975, -276.762, -277.512, -278.227,
506 -278.907, -279.551, -280.16, -280.733, -281.272, -281.776, -282.244,
507 -282.679, -283.079, -283.444, -283.775, -284.072, -284.335, -284.564,
508 -284.76, -284.922, -285.05, -285.145, -285.207, -285.236, -285.232,
509 -285.195, -285.125, -285.023, -284.889, -284.722, -284.523, -284.292,
510 -284.029, -283.735, -283.409, -283.051, -282.662, -282.242, -281.791,
511 -281.309, -280.797, -280.253, -279.68, -279.075, -278.441, -277.777,
512 -277.082, -276.358, -275.604, -274.821, -274.008, -273.166, -272.295,
513 -271.395, -270.467, -269.509, -268.523, -267.509, -266.466, -265.396,
514 -264.297, -263.171, -262.017, -260.835, -259.626, -258.39, -257.127,
515 -255.836, -254.519, -253.176, -251.806, -250.409, -248.987, -247.538,
516 -246.064, -244.563, -243.037, -241.486, -239.91, -238.308, -236.681,
517 -235.03, -233.353, -231.653, -229.927, -228.178, -226.405, -224.607,
518 -222.786, -220.942, -219.074, -217.182, -215.268, -213.33, -211.37,
519 -209.387, -207.381, -205.353, -203.303, -201.231, -199.137, -197.022,
520 -194.885, -192.726, -190.547, -188.346, -186.124, -183.882, -181.619,
521 -179.336, -177.032, -174.709, -172.365, -170.002, -167.619, -165.217,
522 -162.796, -160.356, -157.897, -155.419, -152.922, -150.407, -147.874,
523 -145.323, -142.755, -140.168, -137.564, -134.943, -132.305, -129.649,
524 -126.977, -124.288, -121.583, -118.862, -116.125, -113.371, -110.602,
525 -107.818, -105.018, -102.203, -99.3733, -96.5286, -93.6694, -90.7957,
526 -87.9079, -85.006, -82.0904, -79.161, -76.2183, -73.2623, -70.2932,
527 -67.3113, -64.3167, -61.3096, -58.2902, -55.2588, -52.2155, -49.1604,
528 -46.094, -43.0162, -39.9273, -36.8276, -33.7172, -30.5963, -27.4652,
529 -24.324, -21.1729, -18.0122, -14.8421, -11.6628, -8.4744, -5.27724,
530 -2.07151, 1.1426, 4.36486, 7.59506, 10.833, 14.0784, 17.3311,
531 20.5908, 23.8574, 27.1306, 30.4102, 33.6959, 36.9876, 40.285,
532 43.5878, 46.8959, 50.209, 53.5269, 56.8493, 60.176, 63.5068,
533 66.8414, 70.1796, 73.5211, 76.8657, 80.2132, 83.5633, 86.9158,
534 90.2703, 93.6267, 96.9847, 100.344, 103.705, 107.066, 110.428,
535 113.79, 117.152, 120.514, 123.876, 127.237, 130.596, 133.955,
536 137.312, 140.667, 144.02, 147.37, 150.718, 154.063, 157.405,
537 160.743, 164.078, 167.408, 170.734, 174.055, 177.371, 180.682,
538 183.987, 187.286, 190.579, 193.865, 197.145, 200.418, 203.683,
539 206.94, 210.189, 213.429, 216.661, 219.884, 223.097, 226.3,
540 229.494, 232.676, 235.848, 239.009, 242.158, 245.295, 248.42,
541 251.533, 254.632, 257.718, 260.79, 263.849, 266.892, 269.921,
542 272.934, 275.932, 278.914, 281.879, 284.827, 287.758, 290.672,
543 293.567, 296.443, 299.301, 302.139, 304.957, 307.755, 310.532,
544 313.287, 316.021, 318.733, 321.422, 324.088, 326.73, 329.349,
545 331.942, 334.511, 337.053, 339.57, 342.059, 344.522, 346.957,
546 349.363, 351.74, 354.088, 356.406, 358.693, 360.949, 363.173,
547 365.366, 367.523, 369.647, 371.738, 373.793, 375.812, 377.795,
548 379.741, 381.649, 383.518, 385.348, 387.138, 388.887, 390.595,
549 392.26, 393.882, 395.46, 396.993, 398.48, 399.921, 401.314,
550 402.659, 403.954, 405.199, 406.392, 407.533, 408.621, 409.654,
551 410.632, 411.552, 412.415, 413.219, 413.962, 414.644, 415.263,
552 415.818, 416.307, 416.729, 417.082, 417.365, 417.577, 417.716,
553 417.779, 417.766, 417.674, 417.502, 417.247, 416.908, 416.482,
554 415.967, 415.361, 414.661, 413.865, 412.97, 411.972, 410.87,
555 409.659, 408.336, 406.898, 405.341, 403.66, 401.851, 399.91,
556 397.83, 395.606, 393.233, 390.702, 388.007, 385.166, 382.087,
557 378.842, 375.39, 371.717, 367.806, 363.633, 359.172, 354.386,
558 349.223, 343.601, 337.35, 329.951, 322.291, 314.68, 307.117,
559 299.603, 292.137, 284.718, 277.348, 270.026, 262.751, 255.524,
560 248.345, 241.213, 234.129, 227.093, 220.103, 213.161, 206.266,
561 199.418, 192.617, 185.863, 179.156, 172.495, 165.881, 159.314,
562 152.793, 146.318, 139.89, 133.508, 127.172, 120.882, 114.639,
563 108.441, 102.288, 96.1817, 90.1207, 84.1053, 78.1352, 72.2106,
564 66.3312, 60.497, 54.7078, 48.9637, 43.2645, 37.6101, 32.0004,
565 26.4354, 20.915, 15.439, 10.0075, 4.62023, -0.722813, -6.02172,
566 -11.2766, -16.4875, -21.6546, -26.7778, -31.8574, -36.8934, -41.8859,
567 -46.8349, -51.7406, -56.6031, -61.4224, -66.1986, -70.9318, -75.6222,
568 -80.2697, -84.8746, -89.4368, -93.9565, -98.4337, -102.869, -107.261,
569 -111.612, -115.92, -120.186, -124.411, -128.593, -132.734, -136.833,
570 -140.891, -144.907, -148.882, -152.816, -156.708, -160.56, -164.37,
571 -168.139, -171.868, -175.556, -179.203, -182.81, -186.376, -189.902,
572 -193.387, -196.833, -200.238, -203.603, -206.929, -210.214, -213.46,
573 -216.667, -219.833, -222.961, -226.049, -229.097, -232.107, -235.077,
574 -238.009, -240.902, -243.755, -246.571, -249.347, -252.085, -254.785,
575 -257.446, -260.069, -262.654, -265.201, -267.71, -270.181, -272.615,
576 -275.011, -277.369, -279.69, -281.973, -284.219, -286.428, -288.6,
577 -290.735, -292.833, -294.894, -296.919, -298.907, -300.858, -302.774,
578 -304.652, -306.495, -308.301, -310.072, -311.806, -313.505, -315.168,
579 -316.795, -318.387, -319.944, -321.465, -322.951, -324.402, -325.817,
580 -327.198, -328.544, -329.855, -331.132, -332.374, -333.582, -334.755,
581 -335.894, -336.999, -338.07, -339.107, -340.11, -341.08, -342.016,
582 -342.918, -343.787, -344.623, -345.425, -346.194, -346.931, -347.634,
583 -348.304, -348.942, -349.547, -350.12, -350.66, -351.168, -351.644,
584 -352.088, -352.5, -352.88, -353.228, -353.544, -353.829, -354.083,
585 -354.305, -354.495, -354.655, -354.784, -354.881, -354.948, -354.984,
586 -354.99, -354.965, -354.91, -354.824, -354.708, -354.562, -354.386,
587 -354.18, -353.945, -353.68, -353.385, -353.061, -352.707, -352.324,
588 -351.913, -351.472, -351.002, -350.504, -349.977, -349.421, -348.837,
589 -348.224, -347.584, -346.915, -346.218, -345.493, -344.741, -343.961,
590 -343.153, -342.318, -341.455, -340.566, -339.649, -338.705, -337.734,
591 -336.737, -335.713, -334.662, -333.585, -332.482, -331.352, -330.197,
592 -329.015, -327.808, -326.575, -325.316, -324.032, -322.722, -321.387,
593 -320.027, -318.642, -317.232, -315.798, -314.338, -312.855, -311.346,
594 -309.814, -308.257, -306.676, -305.071, -303.442, -301.79, -300.114,
595 -298.414, -296.692, -294.946, -293.176, -291.384, -289.569, -287.732,
596 -285.871, -283.989, -282.083, -280.156, -278.207, -276.235, -274.242,
597 -272.227, -270.19, -268.132, -266.052, -263.952, -261.83, -259.687,
598 -257.523, -255.339, -253.134, -250.909, -248.663, -246.397, -244.111,
599 -241.805, -239.479, -237.134, -234.769, -232.384, -229.981, -227.558,
600 -225.116, -222.655, -220.176, -217.678, -215.161, -212.627, -210.073,
601 -207.502, -204.913, -202.306, -199.682, -197.04, -194.38, -191.704,
602 -189.01, -186.299, -183.572, -180.827, -178.067, -175.29, -172.496,
603 -169.687, -166.861, -164.02, -161.163, -158.29, -155.402, -152.499,
604 -149.58, -146.647, -143.699, -140.736, -137.759, -134.767, -131.761,
605 -128.741, -125.707, -122.659, -119.598, -116.523, -113.435, -110.334,
606 -107.219, -104.092, -100.952, -97.7999, -94.635, -91.4579, -88.2687,
607 -85.0675, -81.8546, -78.6301, -75.3941, -72.1469, -68.8884, -65.619,
608 -62.3388, -59.048, -55.7466, -52.4349, -49.1131, -45.7812, -42.4395,
609 -39.0881, -35.7273, -32.3571, -28.9777, -25.5893, -22.1921, -18.7863,
610 -15.3719, -11.9493, -8.51846, -5.07968, -1.6331, 1.8211, 5.28275,
611 8.75167, 12.2277, 15.7106, 19.2003, 22.6965, 26.1991, 29.7079,
612 33.2228, 36.7434, 40.2697, 43.8015, 47.3385, 50.8806, 54.4277,
613 57.9794, 61.5357, 65.0963, 68.6611, 72.2298, 75.8023, 79.3783,
614 82.9578, 86.5403, 90.1259, 93.7143, 97.3052, 100.898, 104.494,
615 108.091, 111.691, 115.291, 118.894, 122.497, 126.101, 129.706,
616 133.312, 136.918, 140.523, 144.129, 147.735, 151.34, 154.944,
617 158.547, 162.149, 165.75, 169.349, 172.946, 176.541, 180.133,
618 183.723, 187.311, 190.895, 194.476, 198.053, 201.627, 205.197,
619 208.763, 212.324, 215.88, 219.432, 222.978, 226.519, 230.054,
620 233.584, 237.107, 240.624, 244.134, 247.638, 251.133, 254.621,
621 258.102, 261.574, 265.038, 268.494, 271.941, 275.379, 278.807,
622 282.226, 285.635, 289.034, 292.422, 295.799, 299.165, 302.52,
623 305.863, 309.195, 312.514, 315.82, 319.113, 322.393, 325.66,
624 328.913, 332.152, 335.376, 338.585, 341.78, 344.959, 348.122,
625 351.269, 354.399, 357.513, 360.609, 363.688, 366.75, 369.793,
626 372.817, 375.822, 378.809, 381.775, 384.722, 387.647, 390.553,
627 393.437, 396.299, 399.139, 401.957, 404.752, 407.524, 410.272,
628 412.996, 415.696, 418.371, 421.02, 423.644, 426.241, 428.812,
629 431.355, 433.871, 436.358, 438.817, 441.247, 443.648, 446.018,
630 448.357, 450.666, 452.943, 455.188, 457.4, 459.579, 461.724,
631 463.834, 465.91, 467.95, 469.954, 471.921, 473.851, 475.744,
632 477.597, 479.411, 481.186, 482.919, 484.612, 486.263, 487.871,
633 489.436, 490.956, 492.432, 493.862, 495.246, 496.583, 497.871,
634 499.111, 500.301, 501.441, 502.529, 503.565, 504.55, 505.476,
635 506.35, 507.167, 507.927, 508.628, 509.271, 509.852, 510.373,
636 510.83, 511.224, 511.552, 511.814, 512.008, 512.133, 512.188,
637 512.17, 512.079, 511.912, 511.67, 511.348, 510.947, 510.463,
638 509.896, 509.243, 508.503, 507.672, 506.75, 505.732, 504.618,
639 503.405, 502.089, 500.669, 499.14, 497.5, 495.745, 493.873,
640 491.878, 489.757, 487.505, 485.119, 482.591, 479.918, 477.092,
641 474.107, 470.955, 467.629, 464.118, 460.413, 456.5, 452.365,
642 447.992, 443.358, 438.438, 433.198, 427.588, 421.534, 414.892,
643 407.158, 398.959, 390.806, 382.698, 374.635, 366.617, 358.645,
644 350.717, 342.834, 334.997, 327.204, 319.455, 311.752, 304.093,
645 296.478, 288.908, 281.382, 273.901, 266.464, 259.071, 251.722,
646 244.417, 237.156, 229.94, 222.766, 215.637, 208.551, 201.509,
647 194.511, 187.556, 180.644, 173.776, 166.951, 160.169, 153.431,
648 146.735, 140.083, 133.473, 126.906, 120.382, 113.901, 107.462,
649 101.066, 94.7126, 88.4015, 82.1327, 75.9062, 69.722, 63.5799,
650 57.4798, 51.4218, 45.4057, 39.4315, 33.499, 27.6083, 21.7593,
651 15.9518, 10.1859, 4.46133, -1.22182, -6.86368, -12.4643, -18.0238,
652 -23.5422, -29.0196, -34.456, -39.8516, -45.2064, -50.5205, -55.7939,
653 -61.0268, -66.2191, -71.371, -76.4826, -81.5539, -86.5849, -91.5758,
654 -96.5266, -101.437, -106.308, -111.139, -115.931, -120.682, -125.394,
655 -130.067, -134.7, -139.293, -143.847, -148.362, -152.838, -157.274,
656 -161.672, -166.031, -170.35, -174.631, -178.873, -183.077, -187.241,
657 -191.368, -195.456, -199.505, -203.516, -207.489, -211.424, -215.321,
658 -219.18, -223., -226.783, -230.528, -234.236, -237.906, -241.538,
659 -245.133, -248.69, -252.21, -255.693, -259.139, -262.547, -265.919,
660 -269.254, -272.551, -275.812, -279.037, -282.224, -285.375, -288.49,
661 -291.568, -294.61, -297.615, -300.584, -303.518, -306.415, -309.276,
662 -312.102, -314.891, -317.645, -320.363, -323.046, -325.693, -328.305,
663 -330.882, -333.423, -335.929, -338.4, -340.836, -343.237, -345.603,
664 -347.935, -350.231, -352.493, -354.721, -356.914, -359.073, -361.197,
665 -363.287, -365.343, -367.365, -369.353, -371.308, -373.228, -375.114,
666 -376.967, -378.786, -380.572, -382.325, -384.044, -385.729, -387.382,
667 -389.001, -390.588, -392.141, -393.662, -395.15, -396.597, -398.027,
668 -399.418, -400.775, -402.1, -403.393, -404.654, -405.883, -407.079,
669 -408.244, -409.376, -410.477, -411.547, -412.584, -413.59, -414.565,
670 -415.508, -416.42, -417.301, -418.151, -418.969, -419.757, -420.514,
671 -421.24, -421.935, -422.6, -423.234, -423.837, -424.411, -424.954,
672 -425.467, -425.949, -426.402, -426.825, -427.218, -427.581, -427.914,
673 -428.218, -428.493, -428.738, -428.953, -429.14, -429.297, -429.425,
674 -429.524, -429.594, -429.636, -429.649, -429.633, -429.588, -429.515,
675 -429.414, -429.284, -429.127, -428.941, -428.727, -428.485, -428.215,
676 -427.918, -427.593, -427.24, -426.86, -426.453, -426.018, -425.556,
677 -425.066, -424.55, -424.007, -423.437, -422.84, -422.217, -421.567,
678 -420.89, -420.187, -419.458, -418.703, -417.921, -417.114, -416.28,
679 -415.421, -414.536, -413.625, -412.689, -411.727, -410.74, -409.727,
680 -408.69, -407.627, -406.539, -405.427, -404.289, -403.127, -401.94,
681 -400.729, -399.493, -398.233, -396.949, -395.641, -394.308, -392.952,
682 -391.571, -390.167, -388.74, -387.288, -385.813, -384.315, -382.794,
683 -381.249, -379.682, -378.091, -376.477, -374.841, -373.182, -371.501,
684 -369.797, -368.07, -366.321, -364.545, -362.758, -360.943, -359.106,
685 -357.247, -355.367, -353.465, -351.542, -349.597, -347.631, -345.644,
686 -343.635, -341.606, -339.556, -337.485, -335.394, -333.282, -331.149,
687 -328.996, -326.823, -324.63, -322.417, -320.183, -317.93, -315.658,
688 -313.365, -311.053, -308.722, -306.372, -304.002, -301.613, -299.205,
689 -296.779, -294.333, -291.869, -289.387, -286.886, -284.366, -281.829,
690 -279.273, -276.7, -274.108, -271.499, -268.872, -266.228, -263.566,
691 -260.887, -258.19, -255.477, -252.746, -249.999, -247.235, -244.454,
692 -241.657, -238.843, -236.013, -233.167, -230.304, -227.426, -224.532,
693 -221.622, -218.697, -215.756, -212.8, -209.828, -206.841, -203.84,
694 -200.823, -197.792, -194.746, -191.685, -188.61, -185.521, -182.417,
695 -179.3, -176.168, -173.023, -169.864, -166.691, -163.505, -160.306,
696 -157.093, -153.867, -150.629, -147.377, -144.113, -140.836, -137.547,
697 -134.246, -130.932, -127.606, -124.268, -120.919, -117.557, -114.185,
698 -110.8, -107.405, -103.998, -100.58, -97.1516, -93.7122, -90.2621,
699 -86.8015, -83.3305, -79.8493, -76.3579, -72.8566, -69.3454, -65.8245,
700 -62.2941, -58.7542, -55.205, -51.6467, -48.0794, -44.5031, -40.9181,
701 -37.3246, -33.7225, -30.1121, -26.4936, -22.867, -19.2325, -15.5902,
702 -11.9404, -8.28305, -4.6184, -0.946567, 2.7323, 6.41805, 10.1105,
703 13.8096, 17.5151, 21.227, 24.9449, 28.6689, 32.3987, 36.1342,
704 39.8753, 43.6217, 47.3734, 51.1301, 54.8918, 58.6583, 62.4293,
705 66.2049, 69.9847, 73.7687, 77.5567, 81.3485, 85.144, 88.943,
706 92.7453, 96.5508, 100.359, 104.171, 107.985, 111.801, 115.62,
707 119.442, 123.265, 127.09, 130.917, 134.745, 138.574, 142.405,
708 146.237, 150.07, 153.903, 157.737, 161.571, 165.405, 169.239,
709 173.073, 176.906, 180.739, 184.571, 188.402, 192.232, 196.061,
710 199.888, 203.714, 207.537, 211.359, 215.178}};
711
712#endif /* INCLUDE_BSMPT_THERMALFUNCTIONS_NEGATIVEBOSONSPLINE_H_ */
NegLinearInt
const double NegLinearInt[3001][2]
NegLinearInt 2D Array containing the pairs (m^2 , J_(m^2)) for m^2 < 0.
Definition NegativeBosonSpline.cpp:16
NegLinearIntTransposed
const std::vector< std::vector< double > > NegLinearIntTransposed
NegLinearInt Transpose of NegLinearInt.
Definition NegativeBosonSpline.h:30
C_NegLine
const int C_NegLine
C_NegLine Number of data points used for the interpolation of J_(m^2 < 0)
Definition NegativeBosonSpline.cpp:14