float LIBRARYF(int k1, int k2, int k3) {
  float ma;
  switch (k3) {
  case (0): {
    static float Sf[7][27] = {
        1.4672,  1.0792,    1.2357,  1.2853,   1.2179,  1.1458,    1.2168,
        1.3364,  1.5111,    1.731,   1.9692,   2.2444,  2.5284,    3.057,
        3.5012,  4.6164,    5.5843,  7.474,    8.7771,  13.5415,   14.0526,
        21.5598, 34.5172,   51.3414, 49.8046,  31.8318, 2169.1392, .8772,
        .5466,   .5471,     .4268,   .027,     .0013,   .0001,     .0001,
        0,       0,         0,       0,        0,       0,         0,
        0,       0,         0,       0,        0,       0,         0,
        0,       0,         0,       0,        0,       2.0883,    1.7083,
        1.9453,  2.0082,    1.7517,  1.6307,   1.5551,  1.4932,    1.5405,
        1.6324,  1.7022,    1.7424,  1.8179,   1.9787,  2.2495,    2.658,
        3.2606,  4.7096,    6.3173,  10.3666,  10.6876, 18.2277,   46.3284,
        49.5487, 71.1878,   23.5742, 2747.427, 1.7498,  1.4837,    1.5831,
        1.5112,  1.4128,    .7315,   .2134,    .1129,   .0929,     .0797,
        .0872,   .0972,     .0971,   .0951,    .1099,   .1279,     .1777,
        .2188,   .3615,     .0693,   .0806,    .1486,   .6037,     .1826,
        .0007,   .7849,     .2021,   1.8953,   1.4453,  1.5767,    1.7496,
        1.5947,  1.5012,    1.5846,  1.8041,   2.0439,  2.2983,    2.4489,
        2.6261,  3.1619,    3.345,   3.9969,   5.2456,  6.7218,    8.0791,
        10.3619, 15.5689,   25.1802, 31.4659,  41.9803, 110.1697,  209.3141,
        63.3957, 3637.0044, 1.9664,  1.767,    1.597,   1.3586,    1.358,
        .5353,   .1321,     .0498,   .032,     .0294,   .0374,     .0456,
        .054,    .0533};
    ma = Sf[k1][k2];
  } break;
  case (1): {
    static float Nu[7][27] = {
        3.516, 3.036, 2.737, 2.615, 2.539, 2.493, 2.466, 2.449, 2.439, 2.433,
        2.429, 2.426, 2.425, 2.424, 2.424, 2.423, 2.423, 2.423, 2.423, 2.423,
        2.423, 2.423, 2.423, 2.423, 2.423, 2.423, 2.423, 3.445, 3.027, 2.76,
        2.591, 2.484, 2.419, 2.38,  2.356, 2.342, 2.333, 2.328, 2.324, 2.322,
        2.321, 2.321, 2.32,  2.32,  2.32,  2.32,  2.32,  2.32,  2.32,  2.32,
        2.319, 2.319, 2.319, 2.319, 3.965, 3.537, 3.269, 3.112, 3.017, 2.963,
        2.931, 2.911, 2.899, 2.891, 2.887, 2.884, 2.883, 2.882, 2.881, 2.881,
        2.88,  2.88,  2.88,  2.88,  2.88,  2.88,  2.88,  2.88,  2.88,  2.88,
        2.88,  3.611, 3.345, 3.173, 3.065, 2.995, 2.954, 2.929, 2.914, 2.904,
        2.899, 2.895, 2.893, 2.892, 2.891, 2.891, 2.89,  2.89,  2.89,  2.89,
        2.89,  2.89,  2.89,  2.89,  2.89,  2.89,  2.89,  2.89,  3.977, 3.593,
        3.345, 3.188, 3.088, 3.028, 2.992, 2.957, 2.948, 2.944, 2.941, 2.939,
        2.938, 2.937, 2.937, 2.936, 2.936, 2.936, 2.936, 2.936, 2.936, 2.936,
        2.936, 2.936, 2.936, 2.936, 2.936, 3.842, 3.461, 3.214, 3.059, 2.959,
        2.9,   2.864, 2.842, 2.828, 2.82,  2.816, 2.813, 2.811, 2.81,  2.809,
        2.809, 2.808, 2.808, 2.808, 2.808, 2.808, 2.808, 2.808, 2.808, 2.808,
        2.808, 2.808, 0,     0,     0,     0,     0,     0,     0,     0,
        0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
        0,     0,     0,     0,     0,     0,     0,     0,     0};
    ma = Nu[k1][k2];
  } break;
  case (2): {
    static float Sc[7][27] = {
        .0101,   .0191,     .0339,    .0578,    .099,    .1349,    .1788,
        .2593,   .3914,     .5354,    .6814,    .8018,   .9011,    1.0737,
        1.1972,  1.5874,    1.9504,   2.9965,   4.2441,  4.9812,   5.5848,
        10.8620, 15.9377,   30.1696,  42.3365,  10.9266, 381.1487, .0064,
        .0118,   .0272,     .0633,    .1208,    .1258,   .1168,    .1345,
        .1698,   .2155,     .3386,    .4478,    .571,    .7034,    .8621,
        1.0654,  1.3905,    1.7771,   2.9157,   3.6587,  3.6043,   17.5936,
        13.5505, 105.1859,  131.139,  .6123,    9.6518,  .0016,    .0018,
        .0039,   .0103,     .0246,    .0759,    .1404,   .196,     .2277,
        .2692,   .3631,     .5575,    .7734,    1.0681,  1.5956,   2.2419,
        3.119,   3.5525,    4.6763,   7.3707,   9.6959,  17.0523,  43.8226,
        40.6636, 48.1714,   7.1881,   941.2881, .0074,   .0152,    .0331,
        .0621,   .1031,     .144,     .1631,    .1849,   .2239,    .2858,
        .3709,   .4839,     .6263,    .7871,    .9826,   1.235,    1.7146,
        2.4608,  3.9917,    4.2115,   7.8884,   16.2777, 75.2889,  20.7762,
        .5895,   4106.5117, 1012.001, .0293,    .0466,   .0698,    .0985,
        .1063,   .1006,     .1147,    .1617,    .2802,   .4601,    .5767,
        .5677,   .6994,     .7475,    .9048,    1.2077,  1.5729,   1.9218,
        2.6503,  4.8596,    6.4107,   6.5071,   6.5809,  24.0136,  23.4512,
        19.5237, 1577.698,  .0048,    .0087,    .0273,   .0416,    .0589,
        .1061,   .1182,     .1236,    .1411,    .1848,   .3015,    .4145,
        .5041,   .6516,     .8546,    1.1331,   1.5792,  2.2935,   3.4163,
        5.1487,  8.7361,    9.8075,   34.1368,  2.464,   .4298,    532.2349,
        65.289,  .0881,     .0481,    .0008,    0,       0,        0,
        0,       0,         0,        0,        0,       0,        0,
        0,       0,         0,        0,        0,       0,        0,
        0,       0,         0,        0,        0,       0,        0};
    ma = Sc[k1][k2];
  } break;
  case (3): {
    static float St[7][27] = {
        6.5644,   7.7153,    7.6569,    6.9138,    6.7176,  7.2187,    8.3625,
        9.8107,   11.0667,   11.9904,   12.8378,   13.7178, 14.0866,   15.0052,
        15.6559,  17.3588,   18.7473,   21.9607,   24.6535, 30.1884,   31.0608,
        44.2463,  62.7262,   93.8871,   103.5141,  54.9453, 2565.8821, 6.6325,
        7.7467,   7.7315,    7.1111,    7.1618,    8.0551,  9.2195,    10.4659,
        11.4997,  12.4137,   12.9847,   13.53,     14.1825, 14.9115,   16.0429,
        17.8254,  19.6016,   21.9368,   23.1469,   20.5064, 19.3517,   74.0623,
        36.6973,  181.6779,  145.9097,  9.1614,    18.5963, 6.6868,    7.8097,
        7.7996,   7.1799,    7.2379,    8.1271,    9.1908,  10.2039,   11.2009,
        12.1554,  12.961,    13.563,    13.692,    14.5774, 16.0448,   17.5645,
        19.4228,  21.0334,   23.9695,   32.6466,   35.7292, 53.7108,   113.1682,
        103.2008, 129.9206,  41.3679,   3697.8582, 6.6765,  7.8031,    7.7635,
        7.2214,   7.2076,    7.9257,    9.0392,    10.1872, 11.2364,   12.1477,
        12.9533,  13.2379,   13.9549,   14.8452,   15.9662, 16.7974,   18.8762,
        22.4692,  26.5641,   20.3543,   36.9667,   45.8267, 176.7698,  31.0686,
        11.9199,  4455.4375, 1015.6565, 6.6925,    7.6606,  7.7294,    7.3201,
        7.9212,   9.0873,    10.1949,   11.2679,   12.27,   13.1507,   13.7167,
        14.0735,  15.1198,   15.3703,   16.3629,   18.212,  20.2616,   21.9176,
        25.1135,  33.5943,   45.3289,   50.5169,   60.4985, 148.7165,  243.1451,
        92.6829,  5226.2617, 6.6166,    7.4205,    7.3396,  6.9782,    7.1581,
        7.71,     8.547,     9.5466,    10.6704,   11.8591, 13.1268,   14.4751,
        15.9067,  17.2968,   19.1572,   21.6832,   24.8872, 28.975,    34.2064,
        40.9117,  53.3206,   29.607,    97.0522,   12.3886, 12.0913,   582.981,
        73.6175,  1.1043,    1.8174,    1.57,      1.9695,  4.2004,    3.1948,
        6.8636,   3.544,     3.5622,    3.6081,    3.6451,  3.6679,    3.6816,
        3.69,     3.6954,    3.6989,    3.701,     3.7023,  3.703,     3.7034,
        3.7037,   3.7039,    3.704,     3.704,     3.7039,  3.7045};
    ma = St[k1][k2];
  } break;
  case (4): {
    static float Se[7][27] = {
        3.7129,  4.7972,   4.604,   3.9038,  3.9944,  4.7206,   6.0204,
        7.5207,  8.6762,   9.4749,  10.1268, 10.6508, 10.65,    10.8742,
        10.9574, 11.155,   11.2126, 11.4903, 11.6321, 11.6657,  11.4234,
        11.8245, 12.2712,  12.3762, 11.373,  12.1869, 15.594,   3.5961,
        4.5923,  4.4908,   3.7446,  4.5454,  6.0861,  7.6124,   9.2107,
        10.5293, 11.8316,  12.575,  13.0822, 13.6115, 14.2081,  15.1808,
        16.7601, 18.2111,  20.1597, 20.2312, 16.8478, 15.7474,  56.4687,
        23.1468, 76.4921,  14.7708, 8.5491,  8.9445,  3.2538,   3.9121,
        3.6291,  3.2468,   3.7909,  5.1493,  6.6703,  7.8839,   8.9135,
        9.8413,  10.5589,  10.9434, 10.7958, 11.253,  12.1711,  12.6647,
        13.0432, 12.7714,  12.9759, 14.9094, 15.3457, 18.4307,  23.0172,
        12.9884, 10.5614,  10.6056, 9.1428,  3.7902,  4.4711,   4.0411,
        3.5791,  3.6627,   5.419,   7.2794,  8.7216,  9.9653,   11.1205,
        12.2778, 12.6569,  13.2314, 13.9629, 14.8738, 15.4345,  16.9839,
        19.7896, 22.2109,  16.0735, 28.9977, 29.4003, 100.8771, 10.1098,
        11.3297, 348.1465, 3.4537,  3.1984,  4.1357,  4.0252,   3.8958,
        4.4,     5.3762,   6.5457,  8.0237,  9.2228,  9.9668,   10.5279,
        10.8795, 11.2585,  11.2777, 11.4611, 11.7587, 11.967,   11.9167,
        12.1013, 13.1658,  13.7381, 12.5439, 11.9373, 14.5332,  10.3797,
        9.7635,  11.5698,  3.1826,  3.6696,  3.7542,  3.9251,   4.5524,
        5.8437,  7.1693,   8.4472,  9.8214,  11.2116, 12.6915,  14.015,
        15.3486, 16.5919,  18.3026, 20.5501, 23.308,  26.6815,  30.7901,
        35.763,  44.5845,  19.7995, 62.9154, 9.9246,  11.6614,  50.7463,
        8.3285,  .9338,    1.7693,  1.5692,  1.9698,  4.2002,   3.1948,
        6.8636,  3.544,    3.5622,  3.6081,  3.6451,  3.6679,   3.6816,
        3.69,    3.6954,   3.6989,  3.701,   3.7023,  3.703,    3.7034,
        3.7037,  3.7039,   3.7039,  3.704,   3.704,   3.7039,   3.7039};
    ma = Se[k1][k2];
  } break;
  case (5): {
    static float Sre[7][27] = {
        .0281, .028,  .028,  .0332, .0393, .0497, .0711,  .0984, .1302,  .1515,
        .1669, .1788, .1808, .1858, .1876, .1909, .1919,  .1967, .1991,  .1997,
        .1995, .1012, .105,  .1059, .0973, .0521, .0151,  .025,  .0232,  .0255,
        .0271, .0406, .0644, .0923, .1236, .153,  .1821,  .2037, .2168,  .2281,
        .2398, .2566, .2833, .3078, .3407, .3419, .2847,  .2661, .4772,  .1956,
        .6464, .1248, .0361, .0086, .0116, .0113, .011,   .0139, .0249,  .0452,
        .0704, .096,  .1207, .143,  .1628, .1747, .176,   .1858, .2046,  .2132,
        .2195, .2149, .2184, .2509, .2583, .1551, .1937,  .1093, .0889,  .0446,
        .0087, .0237, .0224, .0205, .0202, .0255, .0496,  .0793, .1072,  .1353,
        .1629, .1895, .2018, .215,  .2297, .2476, .2586,  .2847, .3317,  .3723,
        .2694, .486,  .2464, .8454, .0847, .0949, 1.4587, .0033, .0156,  .0166,
        .0178, .0199, .0276, .0399, .0594, .088,  .1165,  .1384, .1563,  .1694,
        .1812, .1851, .1903, .1962, .1997, .1989, .202,   .2198, .2293,  .1047,
        .0996, .1213, .0866, .0407, .0109, .0127, .0125,  .0159, .0222,  .0349,
        .058,  .0821, .1071, .1354, .165,  .1956, .2226,  .2488, .2742,  .304,
        .3413, .3872, .4432, .5114, .594,  .7406, .1644,  .5225, .0824,  .0969,
        .2107, .0078, .4202, .457,  .3777, .4377, .985,   .5866, 1.7238, .9647,
        .913,  .9035, .9007, .8989, .8977, .897,  .8967,  .8965, .8964,  .8963,
        .8963, .8963, .8962, .4481, .4481, .4481, .4481,  .224,  .0508};
    ma = Sre[k1][k2];
  } break;
  case (6): {
    static float Mue[7][27] = {
        .7915,  .7648, .6768, .5045, .4265, .3861, .3118, .2381, .126,  .0688,
        .0398,  .022,  .0111, .0045, .0029, .0029, .0029, .0029, .0029, .0029,
        .0029,  .0029, .0029, .0029, .0029, .0029, .0029, .8064, .7935, .6951,
        .5727,  .4734, .3753, .2843, .208,  .1427, .0918, .0441, .0225, .0112,
        .0044,  .0028, .0028, .0028, .0028, .0028, .0028, .0028, .0028, .0028,
        .0028,  .0028, .0028, .0028, .9012, .8823, .8366, .7474, .6106, .4797,
        .3748,  .2785, .1974, .1388, .0862, .0539, .0343, .0218, .004,  .0028,
        .0028,  .0028, .0028, .0028, .0028, .0028, .0028, .0028, .0028, .0028,
        .0028,  .8244, .7935, .7254, .6638, .5859, .455,  .352,  .2688, .1921,
        .1284,  .0815, .0514, .0331, .0212, .0096, .003,  .0028, .0028, .0028,
        .0028,  .0028, .0028, .0028, .0028, .0028, .0028, .0028, .8626, .8339,
        .7598,  .6946, .6252, .5564, .4575, .3451, .2455, .1702, .1128, .0697,
        .0385,  .0196, .0082, .0029, .0028, .0028, .0028, .0028, .0028, .0028,
        .0028,  .0028, .0028, .0028, .0028, .8878, .8587, .7683, .66,   .5391,
        .4038,  .3122, .2386, .172,  .1166, .0745, .0465, .0268, .0079, .0028,
        .0028,  .0028, .0028, .0028, .0028, .0028, .0028, .0028, .0028, .0028,
        .0028,  .0028, .1543, .2909, .1314, .1205, .0718, .2735, .0057, -.0778,
        -.0148, .0086, .0218, .0298, .0347, .0376, .0394, .0405, .0411, .0415,
        .0418,  .0419, .042,  .0421, .0421, .0421, .0422, .0422, .0422};
    ma = Mue[k1][k2];
  } break;
  case (7): {
    static float Sin[7][27] = {
        1.3741, 1.8198, 1.7833, 1.6669, 1.4065, 1.2174, .9465,  .6943,  .488,
        .2491,  .0604,  .0207,  .007,   .0003,  0,      0,      0,      0,
        0,      0,      0,      0,      0,      0,      0,      0,      0,
        2.1528, 2.596,  2.6664, 2.8765, 2.4685, 1.8419, 1.4902, 1.1207, .8006,
        .3665,  .0712,  0,      0,      0,      0,      0,      0,      0,
        0,      0,      0,      0,      0,      0,      0,      0,      0,
        1.3431, 2.1874, 2.2213, 1.9146, 1.5706, 1.2712, .825,   .6307,  .5193,
        .4125,  .3368,  .3197,  .3049,  .2776,  .0287,  0,      0,      0,
        0,      0,      0,      0,      0,      0,      0,      0,      0,
        1.1292, 1.8331, 2.1062, 2.069,  2.0289, 1.6313, 1.3834, 1.1678, .9543,
        .6617,  .2173,  0,      0,      0,      0,      0,      0,      0,
        0,      0,      0,      0,      0,      0,      0,      0,      0,
        1.5696, 2.0331, 2.0577, 1.5762, 1.8202, 2.1094, 1.9498, 1.2784, .7231,
        .4255,  .1633,  .0002,  0,      0,      0,      0,      0,      0,
        0,      0,      0,      0,      0,      0,      0,      0,      0,
        1.4628, 1.9752, 1.961,  1.6528, 1.1888, 1.2249, 1.1274, .9261,  .6759,
        .4334,  .0964,  0,      0,      0,      0,      0,      0,      0,
        0,      0,      0,      0,      0,      0,      0,      0,      0,
        .0824};
    ma = Sin[k1][k2];
  } break;
  }
  return ma;
}


x86 assembly (clang, -O0):
<LIBRARYF>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    %rax,-0x18(%rbp)
sub    $0x7,%rax
ja     1255 <LIBRARYF+0x155>
mov    -0x18(%rbp),%rax
lea    0xed7(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movslq -0x4(%rbp),%rcx
lea    0x2ef3(%rip),%rax
imul   $0x6c,%rcx,%rcx
add    %rcx,%rax
movslq -0x8(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x10(%rbp)
jmp    1255 <LIBRARYF+0x155>
movslq -0x4(%rbp),%rcx
lea    0x31ce(%rip),%rax
imul   $0x6c,%rcx,%rcx
add    %rcx,%rax
movslq -0x8(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x10(%rbp)
jmp    1255 <LIBRARYF+0x155>
movslq -0x4(%rbp),%rcx
lea    0x34a9(%rip),%rax
imul   $0x6c,%rcx,%rcx
add    %rcx,%rax
movslq -0x8(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x10(%rbp)
jmp    1255 <LIBRARYF+0x155>
movslq -0x4(%rbp),%rcx
lea    0x3784(%rip),%rax
imul   $0x6c,%rcx,%rcx
add    %rcx,%rax
movslq -0x8(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x10(%rbp)
jmp    1255 <LIBRARYF+0x155>
movslq -0x4(%rbp),%rcx
lea    0x3a5f(%rip),%rax
imul   $0x6c,%rcx,%rcx
add    %rcx,%rax
movslq -0x8(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x10(%rbp)
jmp    1255 <LIBRARYF+0x155>
movslq -0x4(%rbp),%rcx
lea    0x3d3a(%rip),%rax
imul   $0x6c,%rcx,%rcx
add    %rcx,%rax
movslq -0x8(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x10(%rbp)
jmp    1255 <LIBRARYF+0x155>
movslq -0x4(%rbp),%rcx
lea    0x4015(%rip),%rax
imul   $0x6c,%rcx,%rcx
add    %rcx,%rax
movslq -0x8(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x10(%rbp)
jmp    1255 <LIBRARYF+0x155>
movslq -0x4(%rbp),%rcx
lea    0x42f0(%rip),%rax
imul   $0x6c,%rcx,%rcx
add    %rcx,%rax
movslq -0x8(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x10(%rbp)
movss  -0x10(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<LIBRARYF>:
cmp    $0x7,%edx
ja     1128 <LIBRARYF+0x28>
movslq %edx,%rax
lea    0x26e5(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
movslq %edi,%rcx
movslq %esi,%rdx
imul   $0x6c,%rcx,%rcx
add    %rax,%rcx
movss  (%rcx,%rdx,4),%xmm0
ret

LLVM IR (-O0):
@LIBRARYF.Sf = internal global <{ [27 x float], <{ [8 x float], [19 x float] }>, [27 x float], [27 x float], [27 x float], <{ [14 x float], [13 x float] }>, [27 x float] }> <{ [27 x float] [float 0x3FF779A6C0000000, float 0x3FF1446740000000, float 0x3FF3C56D60000000, float 0x3FF49096C0000000, float 0x3FF37C84C0000000, float 0x3FF2553260000000, float 0x3FF3780340000000, float 0x3FF561E500000000, float 0x3FF82D7740000000, float 0x3FFBB22D00000000, float 0x3FFF81D7E0000000, float 0x4001F48800000000, float 0x40043A29C0000000, float 0x400874BC60000000, float 0x400C027520000000, float 0x4012773180000000, float 0x40165652C0000000, float 0x401DE56040000000, float 0x40218DE000000000, float 0x402B153F80000000, float 0x402C1AEE60000000, float 0x40358F4F00000000, float 0x40414233A0000000, float 0x4049ABB300000000, float 0x4048E6FD20000000, float 0x403FD4F0E0000000, float 0x40A0F24740000000], <{ [8 x float], [19 x float] }> <{ [8 x float] [float 0x3FEC1205C0000000, float 0x3FE17DBF40000000, float 0x3FE181D7E0000000, float 0x3FDB50B100000000, float 0x3F9BA5E360000000, float 0x3F554C9860000000, float 0x3F1A36E2E0000000, float 0x3F1A36E2E0000000], [19 x float] zeroinitializer }>, [27 x float] [float 0x4000B4D6A0000000, float 0x3FFB553260000000, float 0x3FFF1FF2E0000000, float 0x400010CB20000000, float 0x3FFC06F6A0000000, float 0x3FFA1758E0000000, float 0x3FF8E1B080000000, float 0x3FF7E425A0000000, float 0x3FF8A5E360000000, float 0x3FFA1E4F80000000, float 0x3FFB3C3620000000, float 0x3FFBE0DEE0000000, float 0x3FFD161E40000000, float 0x3FFFA8C160000000, float 0x4001FEF9E0000000, float 0x4005439580000000, float 0x400A15B580000000, float 0x4012D6A160000000, float 0x401944EA40000000, float 0x4024BBB300000000, float 0x4025600D20000000, float 0x40323A4A80000000, float 0x40472A0900000000, float 0x4048C63BC0000000, float 0x4051CC04E0000000, float 0x403792FEC0000000, float 0x40A576DAA0000000], [27 x float] [float 0x3FFBFF2E40000000, float 0x3FF7BD3C40000000, float 0x3FF95460A0000000, float 0x3FF82DE000000000, float 0x3FF69AD420000000, float 0x3FE76872C0000000, float 0x3FCB50B100000000, float 0x3FBCE703A0000000, float 0x3FB7C84B60000000, float 0x3FB4673820000000, float 0x3FB652BD40000000, float 0x3FB8E21960000000, float 0x3FB8DB8BA0000000, float 0x3FB8587940000000, float 0x3FBC226800000000, float 0x3FC05F0700000000, float 0x3FC6BEDFA0000000, float 0x3FCC01A360000000, float 0x3FD722D0E0000000, float 0x3FB1BDA520000000, float 0x3FB4A233A0000000, float 0x3FC3055320000000, float 0x3FE35182A0000000, float 0x3FC75F6FE0000000, float 0x3F46F00680000000, float 0x3FE91DE6A0000000, float 0x3FC9DE69A0000000], [27 x float] [float 0x3FFE532620000000, float 0x3FF71FF2E0000000, float 0x3FF93A29C0000000, float 0x3FFBFE5CA0000000, float 0x3FF983E420000000, float 0x3FF804EA40000000, float 0x3FF95A8580000000, float 0x3FFCDD9800000000, float 0x400059E840000000, float 0x400262EB20000000, float 0x40039758E0000000, float 0x40050240C0000000, float 0x40094B9240000000, float 0x400AC28F60000000, float 0x400FF9A6C0000000, float 0x4014FB7EA0000000, float 0x401AE31F80000000, float 0x4020287FC0000000, float 0x4024B94B00000000, float 0x402F2346E0000000, float 0x40392E21A0000000, float 0x403F774540000000, float 0x4044FD7A80000000, float 0x405B8ADC60000000, float 0x406A2A0D20000000, float 0x404FB2A640000000, float 0x40AC6A0240000000], <{ [14 x float], [13 x float] }> <{ [14 x float] [float 0x3FFF765FE0000000, float 0x3FFC45A1C0000000, float 0x3FF98D4FE0000000, float 0x3FF5BCD360000000, float 0x3FF5BA5E40000000, float 0x3FE1212D80000000, float 0x3FC0E8A720000000, float 0x3FA97F62C0000000, float 0x3FA0624DE0000000, float 0x3F9E1B08A0000000, float 0x3FA32617C0000000, float 0x3FA758E220000000, float 0x3FABA5E360000000, float 0x3FAB4A2340000000], [13 x float] zeroinitializer }>, [27 x float] zeroinitializer }>
@LIBRARYF.Nu = internal global [7 x [27 x float]] [[27 x float] [float 0x400C20C4A0000000, float 0x400849BA60000000, float 0x4005E56040000000, float 0x4004EB8520000000, float 0x40044FDF40000000, float 0x4003F1AA00000000, float 0x4003BA5E40000000, float 0x4003978D40000000, float 0x4003831260000000, float 0x400376C8C0000000, float 0x40036E9780000000, float 0x40036872C0000000, float 0x4003666660000000, float 0x4003645A20000000, float 0x4003645A20000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000], [27 x float] [float 0x400B8F5C20000000, float 0x4008374BC0000000, float 0x4006147AE0000000, float 0x4004BA5E40000000, float 0x4003DF3B60000000, float 0x40035A1CA0000000, float 0x40030A3D80000000, float 0x4002D91680000000, float 0x4002BC6A80000000, float 0x4002A9FBE0000000, float 0x40029FBE80000000, float 0x4002978D40000000, float 0x40029374C0000000, float 0x4002916880000000, float 0x4002916880000000, float 0x40028F5C20000000, float 0x40028F5C20000000, float 0x40028F5C20000000, float 0x40028F5C20000000, float 0x40028F5C20000000, float 0x40028F5C20000000, float 0x40028F5C20000000, float 0x40028F5C20000000, float 0x40028D4FE0000000, float 0x40028D4FE0000000, float 0x40028D4FE0000000, float 0x40028D4FE0000000], [27 x float] [float 0x400FB851E0000000, float 0x400C4BC6A0000000, float 0x400A26E980000000, float 0x4008E56040000000, float 0x400822D0E0000000, float 0x4007B43960000000, float 0x400772B020000000, float 0x400749BA60000000, float 0x40073126E0000000, float 0x400720C4A0000000, float 0x4007189380000000, float 0x4007126EA0000000, float 0x4007106240000000, float 0x40070E5600000000, float 0x40070C49C0000000, float 0x40070C49C0000000, float 0x40070A3D80000000, float 0x40070A3D80000000, float 0x40070A3D80000000, float 0x40070A3D80000000, float 0x40070A3D80000000, float 0x40070A3D80000000, float 0x40070A3D80000000, float 0x40070A3D80000000, float 0x40070A3D80000000, float 0x40070A3D80000000, float 0x40070A3D80000000], [27 x float] [float 0x400CE35400000000, float 0x400AC28F60000000, float 0x4009624DE0000000, float 0x4008851EC0000000, float 0x4007F5C280000000, float 0x4007A1CAC0000000, float 0x40076E9780000000, float 0x40074FDF40000000, float 0x40073B6460000000, float 0x40073126E0000000, float 0x400728F5C0000000, float 0x400724DD20000000, float 0x400722D0E0000000, float 0x400720C4A0000000, float 0x400720C4A0000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000], [27 x float] [float 0x400FD0E560000000, float 0x400CBE76C0000000, float 0x400AC28F60000000, float 0x4009810620000000, float 0x4008B43960000000, float 0x4008395820000000, float 0x4007EF9DC0000000, float 0x4007A7EFA0000000, float 0x4007958100000000, float 0x40078D4FE0000000, float 0x4007872B00000000, float 0x4007831260000000, float 0x4007810620000000, float 0x40077EF9E0000000, float 0x40077EF9E0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000], [27 x float] [float 0x400EBC6A80000000, float 0x400BB020C0000000, float 0x4009B645A0000000, float 0x400878D500000000, float 0x4007AC0840000000, float 0x4007333340000000, float 0x4006E978E0000000, float 0x4006BC6A80000000, float 0x40069FBE80000000, float 0x40068F5C20000000, float 0x4006872B00000000, float 0x4006810620000000, float 0x40067CEDA0000000, float 0x40067AE140000000, float 0x400678D500000000, float 0x400678D500000000, float 0x400676C8C0000000, float 0x400676C8C0000000, float 0x400676C8C0000000, float 0x400676C8C0000000, float 0x400676C8C0000000, float 0x400676C8C0000000, float 0x400676C8C0000000, float 0x400676C8C0000000, float 0x400676C8C0000000, float 0x400676C8C0000000, float 0x400676C8C0000000], [27 x float] zeroinitializer]
@LIBRARYF.Sc = internal global <{ [27 x float], [27 x float], [27 x float], [27 x float], [27 x float], [27 x float], <{ float, float, float, [24 x float] }> }> <{ [27 x float] [float 0x3F84AF4F00000000, float 0x3F938EF340000000, float 0x3FA15B5740000000, float 0x3FAD97F620000000, float 0x3FB9581060000000, float 0x3FC1446740000000, float 0x3FC6E2EB20000000, float 0x3FD0985F00000000, float 0x3FD90CB2A0000000, float 0x3FE121FF20000000, float 0x3FE5CE0760000000, float 0x3FE9A85880000000, float 0x3FECD5CFA0000000, float 0x3FF12DE000000000, float 0x3FF327BB20000000, float 0x3FF965FD80000000, float 0x3FFF34D6A0000000, float 0x4007F8D500000000, float 0x4010F9F560000000, float 0x4013ECBFC0000000, float 0x401656D5C0000000, float 0x4025B95820000000, float 0x402FE01A40000000, float 0x403E2B6AE0000000, float 0x40452B1260000000, float 0x4025DA6B60000000, float 0x4077D26120000000], [27 x float] [float 0x3F7A36E2E0000000, float 0x3F882A9940000000, float 0x3F9BDA5120000000, float 0x3FB0346DC0000000, float 0x3FBEECBFC0000000, float 0x3FC01A36E0000000, float 0x3FBDE69AE0000000, float 0x3FC1374BC0000000, float 0x3FC5BC01A0000000, float 0x3FCB958100000000, float 0x3FD5AB9F60000000, float 0x3FDCA8C160000000, float 0x3FE245A1C0000000, float 0x3FE68240C0000000, float 0x3FEB9652C0000000, float 0x3FF10BE0E0000000, float 0x3FF63F7CE0000000, float 0x3FFC6F0060000000, float 0x4007535A80000000, float 0x400D450480000000, float 0x400CD59B40000000, float 0x403197F620000000, float 0x402B19DB20000000, float 0x405A4BE5C0000000, float 0x40606472C0000000, float 0x3FE397F620000000, float 0x40234DB8C0000000], [27 x float] [float 0x3F5A36E2E0000000, float 0x3F5D7DBF40000000, float 0x3F6FF2E480000000, float 0x3F85182AA0000000, float 0x3F9930BE00000000, float 0x3FB36E2EC0000000, float 0x3FC1F8A0A0000000, float 0x3FC9168720000000, float 0x3FCD254600000000, float 0x3FD13A92A0000000, float 0x3FD73D07C0000000, float 0x3FE1D70A40000000, float 0x3FE8BFB160000000, float 0x3FF116F000000000, float 0x3FF98793E0000000, float 0x4001EF6940000000, float 0x4008F3B640000000, float 0x400C6B8520000000, float 0x4012B48800000000, float 0x401D7B98C0000000, float 0x4023644D00000000, float 0x40310D6380000000, float 0x4045E94B00000000, float 0x404454F0E0000000, float 0x404815F060000000, float 0x401CC09D40000000, float 0x408D6A4E00000000], [27 x float] [float 0x3F7E4F7660000000, float 0x3F8F212D80000000, float 0x3FA0F27BC0000000, float 0x3FAFCB9240000000, float 0x3FBA64C300000000, float 0x3FC26E9780000000, float 0x3FC4E07600000000, float 0x3FC7AACDA0000000, float 0x3FCCA8C160000000, float 0x3FD24A8C20000000, float 0x3FD7BCD360000000, float 0x3FDEF837C0000000, float 0x3FE40AA640000000, float 0x3FE92FEC60000000, float 0x3FEF717580000000, float 0x3FF3C28F60000000, float 0x3FFB6F0060000000, float 0x4003AFB7E0000000, float 0x400FEF0060000000, float 0x4010D89380000000, float 0x401F8DB8C0000000, float 0x4030471760000000, float 0x4052D27D60000000, float 0x4034C6B500000000, float 0x3FE2DD2F20000000, float 0x40B00A8300000000, float 0x408FA00200000000], [27 x float] [float 0x3F9E00D1C0000000, float 0x3FA7DBF480000000, float 0x3FB1DE69A0000000, float 0x3FB9374BC0000000, float 0x3FBB367A00000000, float 0x3FB9C0EBE0000000, float 0x3FBD5CFAA0000000, float 0x3FC4B295E0000000, float 0x3FD1EECC00000000, float 0x3FDD724740000000, float 0x3FE2745380000000, float 0x3FE22A9940000000, float 0x3FE6617C20000000, float 0x3FE7EB8520000000, float 0x3FECF41F20000000, float 0x3FF352BD40000000, float 0x3FF92A9940000000, float 0x3FFEBFB160000000, float 0x400533D080000000, float 0x4013703B00000000, float 0x4019A48E80000000, float 0x401A074540000000, float 0x401A52D780000000, float 0x4038037B40000000, float 0x40377381E0000000, float 0x4033861140000000, float 0x4098A6CAC0000000], [27 x float] [float 0x3F73A92A40000000, float 0x3F81D14E40000000, float 0x3F9BF48800000000, float 0x3FA54C9860000000, float 0x3FAE282400000000, float 0x3FBB295EA0000000, float 0x3FBE425AE0000000, float 0x3FBFA43FE0000000, float 0x3FC20F90A0000000, float 0x3FC7A786C0000000, float 0x3FD34BC6A0000000, float 0x3FDA872B00000000, float 0x3FE0219660000000, float 0x3FE4D9E840000000, float 0x3FEB58E220000000, float 0x3FF2212D80000000, float 0x3FF9446740000000, float 0x4002591680000000, float 0x400B549520000000, float 0x40149844E0000000, float 0x402178E220000000, float 0x40239D70A0000000, float 0x40411182A0000000, float 0x4003B645A0000000, float 0x3FDB81D7E0000000, float 0x4080A1E120000000, float 0x4050527F00000000], <{ float, float, float, [24 x float] }> <{ float 0x3FB68DB8C0000000, float 0x3FA8A09020000000, float 0x3F4A36E2E0000000, [24 x float] zeroinitializer }> }>
@LIBRARYF.St = internal global [7 x [27 x float]] [[27 x float] [float 0x401A41F220000000, float 0x401EDC77A0000000, float 0x401EA0AA60000000, float 0x401BA7BB20000000, float 0x401ADED280000000, float 0x401CDFF2E0000000, float 0x4020B999A0000000, float 0x40239F1420000000, float 0x4026222680000000, float 0x4027FB15C0000000, float 0x4029ACF420000000, float 0x402B6F8380000000, float 0x402C2C56E0000000, float 0x402E02A9A0000000, float 0x402F4FD220000000, float 0x40315BDA60000000, float 0x4032BF4F00000000, float 0x4035F5F060000000, float 0x4038A74BC0000000, float 0x403E303B00000000, float 0x403F0F90A0000000, float 0x40461F86C0000000, float 0x404F5CF420000000, float 0x405778C640000000, float 0x4059E0E700000000, float 0x404B78FFA0000000, float 0x40A40BC3A0000000], [27 x float] [float 0x401A87AE20000000, float 0x401EFC9EE0000000, float 0x401EED0E60000000, float 0x401C71C440000000, float 0x401CA5AEE0000000, float 0x40201C3620000000, float 0x4022706240000000, float 0x4024EE8A80000000, float 0x4026FFD8A0000000, float 0x4028D3D080000000, float 0x4029F82AA0000000, float 0x402B0F5C20000000, float 0x402C5D70A0000000, float 0x402DD2B020000000, float 0x40300AFB80000000, float 0x4031D34D60000000, float 0x40339A0280000000, float 0x4035EFD220000000, float 0x4037259B40000000, float 0x403481A360000000, float 0x40335A0900000000, float 0x405283FCC0000000, float 0x4042594120000000, float 0x4066B5B160000000, float 0x40623D1C40000000, float 0x402252A300000000, float 0x403298A720000000], [27 x float] [float 0x401ABF4880000000, float 0x401F3D2200000000, float 0x401F32CA60000000, float 0x401CB837C0000000, float 0x401CF39C00000000, float 0x4020411340000000, float 0x402261B080000000, float 0x40246865A0000000, float 0x402666DC60000000, float 0x40284F90A0000000, float 0x4029EC0840000000, float 0x402B204180000000, float 0x402B624DE0000000, float 0x402D27A100000000, float 0x40300B7800000000, float 0x4031908320000000, float 0x40336C3CA0000000, float 0x4035088CE0000000, float 0x4037F83120000000, float 0x404052C3C0000000, float 0x4041DD5660000000, float 0x404ADAFB80000000, float 0x405C4AC3C0000000, float 0x4059CCD9E0000000, float 0x40603D7580000000, float 0x4044AF1760000000, float 0x40ACE3B760000000], [27 x float] [float 0x401AB4BC60000000, float 0x401F365FE0000000, float 0x401F0DD300000000, float 0x401CE2B6A0000000, float 0x401CD49520000000, float 0x401FB3EAC0000000, float 0x4022141200000000, float 0x40245FD8A0000000, float 0x4026790960000000, float 0x40284B9F60000000, float 0x4029E81700000000, float 0x402A79CE00000000, float 0x402BE8E8A0000000, float 0x402DB0BE00000000, float 0x402FEEB1C0000000, float 0x4030CC2260000000, float 0x4032E04EA0000000, float 0x4036781D80000000, float 0x403A9068E0000000, float 0x40345AB360000000, float 0x40427BBCE0000000, float 0x4046E9D140000000, float 0x406618A240000000, float 0x403F118FC0000000, float 0x4027D6FD20000000, float 0x40B1677000000000, float 0x408FBD4080000000], [27 x float] [float 0x401AC51EC0000000, float 0x401EA47460000000, float 0x401EEAE7E0000000, float 0x401D47C840000000, float 0x401FAF4F00000000, float 0x40222CB2A0000000, float 0x402463C9E0000000, float 0x4026892A40000000, float 0x40288A3D80000000, float 0x402A4D2880000000, float 0x402B6EF340000000, float 0x402C25A1C0000000, float 0x402E3D5660000000, float 0x402EBD9800000000, float 0x40305CE700000000, float 0x40323645A0000000, float 0x403442F840000000, float 0x4035EAE7E0000000, float 0x40391D0E60000000, float 0x4040CC1200000000, float 0x4046AA1960000000, float 0x40494229C0000000, float 0x404E3FCEE0000000, float 0x406296EDA0000000, float 0x406E64A4A0000000, float 0x40572BB4A0000000, float 0x40B46A4300000000], [27 x float] [float 0x401A776600000000, float 0x401DAE9780000000, float 0x401D5BC020000000, float 0x401BE9AD40000000, float 0x401CA1E500000000, float 0x401ED70A40000000, float 0x4021181060000000, float 0x402317DC00000000, float 0x4025573EA0000000, float 0x4027B7DC00000000, float 0x402A40EBE0000000, float 0x402CF34040000000, float 0x402FD03B00000000, float 0x40314BFB20000000, float 0x4033283E40000000, float 0x4035AEE640000000, float 0x4038E31F80000000, float 0x403CF999A0000000, float 0x40411A6B60000000, float 0x404474B2A0000000, float 0x404AA90960000000, float 0x403D9B6460000000, float 0x4058435740000000, float 0x4028C6F6A0000000, float 0x40282EBEE0000000, float 0x408237D920000000, float 0x4052678520000000], [27 x float] [float 0x3FF1AB3680000000, float 0x3FFD141200000000, float 0x3FF91EB860000000, float 0x3FFF831260000000, float 0x4010CD35A0000000, float 0x40098EF340000000, float 0x401B745380000000, float 0x400C5A1CA0000000, float 0x400C7F62C0000000, float 0x400CDD6380000000, float 0x400D292A40000000, float 0x400D57DC00000000, float 0x400D73EAC0000000, float 0x400D851EC0000000, float 0x400D902DE0000000, float 0x400D9758E0000000, float 0x400D9BA5E0000000, float 0x400D9E4F80000000, float 0x400D9FBE80000000, float 0x400DA09020000000, float 0x400DA12D80000000, float 0x400DA19660000000, float 0x400DA1CAC0000000, float 0x400DA1CAC0000000, float 0x400DA19660000000, float 0x400DA2D0E0000000, float 0.000000e+00]]
@LIBRARYF.Se = internal global [7 x [27 x float]] [[27 x float] [float 0x400DB404E0000000, float 0x4013305540000000, float 0x40126A7F00000000, float 0x400F3AFB80000000, float 0x400FF48800000000, float 0x4012E1E500000000, float 0x401814E3C0000000, float 0x401E153260000000, float 0x40215A36E0000000, float 0x4022F32620000000, float 0x402440EBE0000000, float 0x40254D35A0000000, float 0x40254CCCC0000000, float 0x4025BF9720000000, float 0x4025EA3060000000, float 0x40264F5C20000000, float 0x40266CD9E0000000, float 0x4026FB08A0000000, float 0x402743A2A0000000, float 0x402754D6A0000000, float 0x4026D8C7E0000000, float 0x4027A624E0000000, float 0x40288ADAC0000000, float 0x4028C09D40000000, float 0x4026BEF9E0000000, float 0x40285FB160000000, float 0x402F3020C0000000], [27 x float] [float 0x400CC4D020000000, float 0x40125E83E0000000, float 0x4011F69440000000, float 0x400DF4F0E0000000, float 0x40122E7D60000000, float 0x4018582AA0000000, float 0x401E731900000000, float 0x40226BE0E0000000, float 0x40250F0060000000, float 0x4027A9C780000000, float 0x4029266660000000, float 0x402A2A1620000000, float 0x402B391680000000, float 0x402C6A8C20000000, float 0x402E5C91E0000000, float 0x4030C295E0000000, float 0x4032360AA0000000, float 0x403428E220000000, float 0x40343B2FE0000000, float 0x4030D90960000000, float 0x402F7EAB40000000, float 0x404C3BFE60000000, float 0x40372594A0000000, float 0x40531F7EA0000000, float 0x402D8AA640000000, float 0x40211923A0000000, float 0x4021E39580000000], [27 x float] [float 0x400A07C840000000, float 0x400F4BFB20000000, float 0x400D0865A0000000, float 0x4009F97240000000, float 0x400E53C360000000, float 0x401498E220000000, float 0x401AAE6320000000, float 0x401F891D20000000, float 0x4021D3B640000000, float 0x4023AEBEE0000000, float 0x40251E2820000000, float 0x4025E30560000000, float 0x4025977320000000, float 0x4026818940000000, float 0x4028579A60000000, float 0x4029545380000000, float 0x402A161E40000000, float 0x40298AF500000000, float 0x4029F3A920000000, float 0x402DD19CE0000000, float 0x402EB0FFA0000000, float 0x40326E4260000000, float 0x4037046740000000, float 0x4029FA0FA0000000, float 0x40251F6FE0000000, float 0x4025361140000000, float 0x4022491D20000000], [27 x float] [float 0x400E525460000000, float 0x4011E26800000000, float 0x40102A1620000000, float 0x400CA1FF20000000, float 0x400D4D35A0000000, float 0x4015AD0E60000000, float 0x401D1E1B00000000, float 0x4021717580000000, float 0x4023EE3BC0000000, float 0x40263DB220000000, float 0x40288E3BC0000000, float 0x4029505540000000, float 0x402A767A00000000, float 0x402BED0140000000, float 0x402DBF62C0000000, float 0x402EDE76C0000000, float 0x4030FBE0E0000000, float 0x4033CA2340000000, float 0x403635FD80000000, float 0x403012D0E0000000, float 0x403CFF6940000000, float 0x403D667A00000000, float 0x4059382260000000, float 0x40243837C0000000, float 0x4026A8CE80000000, float 0x4075C25820000000, float 0x400BA12D80000000], [27 x float] [float 0x40099652C0000000, float 0x40108AF500000000, float 0x401019CE00000000, float 0x400F2A9940000000, float 0x40119999A0000000, float 0x4015813AA0000000, float 0x401A2ECC00000000, float 0x40200C2260000000, float 0x40227212E0000000, float 0x4023EF0060000000, float 0x40250E48E0000000, float 0x4025C24DE0000000, float 0x4026845A20000000, float 0x40268E2EC0000000, float 0x4026EC1540000000, float 0x4027847460000000, float 0x4027EF1AA0000000, float 0x4027D559C0000000, float 0x402833DDA0000000, float 0x402A54E3C0000000, float 0x402B79E840000000, float 0x4029167A00000000, float 0x4027DFE5C0000000, float 0x402D10FFA0000000, float 0x4024C26800000000, float 0x402386E980000000, float 0x402723BCE0000000], [27 x float] [float 0x400975F700000000, float 0x400D5B5740000000, float 0x400E089A00000000, float 0x400F669AE0000000, float 0x401235A860000000, float 0x40175FF2E0000000, float 0x401CAD5D00000000, float 0x4020E4F760000000, float 0x4023A48E80000000, float 0x40266C56E0000000, float 0x4029620C40000000, float 0x402C07AE20000000, float 0x402EB27BC0000000, float 0x40309786C0000000, float 0x40324D7740000000, float 0x40348CD360000000, float 0x40374ED920000000, float 0x403AAE76C0000000, float 0x403ECA4400000000, float 0x4041E1AA00000000, float 0x40464AD0E0000000, float 0x4033CCAC00000000, float 0x404F752BE0000000, float 0x4023D96520000000, float 0x402752A300000000, float 0x40495F86C0000000, float 0x4020A83120000000], [27 x float] [float 0x3FEDE1B080000000, float 0x3FFC4F0D80000000, float 0x3FF91B7180000000, float 0x3FFF844D00000000, float 0x4010CD0140000000, float 0x40098EF340000000, float 0x401B745380000000, float 0x400C5A1CA0000000, float 0x400C7F62C0000000, float 0x400CDD6380000000, float 0x400D292A40000000, float 0x400D57DC00000000, float 0x400D73EAC0000000, float 0x400D851EC0000000, float 0x400D902DE0000000, float 0x400D9758E0000000, float 0x400D9BA5E0000000, float 0x400D9E4F80000000, float 0x400D9FBE80000000, float 0x400DA09020000000, float 0x400DA12D80000000, float 0x400DA19660000000, float 0x400DA19660000000, float 0x400DA1CAC0000000, float 0x400DA1CAC0000000, float 0x400DA19660000000, float 0x400DA19660000000]]
@LIBRARYF.Sre = internal global [7 x [27 x float]] [[27 x float] [float 0x3F9CC63F20000000, float 0x3F9CAC0840000000, float 0x3F9CAC0840000000, float 0x3FA0FF9720000000, float 0x3FA41F2120000000, float 0x3FA9724740000000, float 0x3FB2339C00000000, float 0x3FB930BE00000000, float 0x3FC0AA64C0000000, float 0x3FC3645A20000000, float 0x3FC55CFAA0000000, float 0x3FC6E2EB20000000, float 0x3FC7247460000000, float 0x3FC7C84B60000000, float 0x3FC80346E0000000, float 0x3FC86F6940000000, float 0x3FC8902DE0000000, float 0x3FC92D7740000000, float 0x3FC97C1BE0000000, float 0x3FC98FC500000000, float 0x3FC9893740000000, float 0x3FB9E83E40000000, float 0x3FBAE147A0000000, float 0x3FBB1C4320000000, float 0x3FB8E8A720000000, float 0x3FAAACD9E0000000, float 0x3F8EECBFC0000000], [27 x float] [float 0x3F999999A0000000, float 0x3F97C1BDA0000000, float 0x3F9A1CAC00000000, float 0x3F9BC01A40000000, float 0x3FA4C98600000000, float 0x3FB07C84C0000000, float 0x3FB7A0F900000000, float 0x3FBFA43FE0000000, float 0x3FC3958100000000, float 0x3FC74F0D80000000, float 0x3FCA12D780000000, float 0x3FCBC01A40000000, float 0x3FCD326180000000, float 0x3FCEB1C440000000, float 0x3FD06C2260000000, float 0x3FD2219660000000, float 0x3FD3B2FEC0000000, float 0x3FD5CE0760000000, float 0x3FD5E1B080000000, float 0x3FD2388660000000, float 0x3FD107C840000000, float 0x3FDE8A71E0000000, float 0x3FC9096BC0000000, float 0x3FE4AF4F00000000, float 0x3FBFF2E480000000, float 0x3FA27BB300000000, float 0x3F819CE080000000], [27 x float] [float 0x3F87C1BDA0000000, float 0x3F87247460000000, float 0x3F86872B00000000, float 0x3F8C779A60000000, float 0x3F997F62C0000000, float 0x3FA7247460000000, float 0x3FB205BC00000000, float 0x3FB89374C0000000, float 0x3FBEE63200000000, float 0x3FC24DD300000000, float 0x3FC4D6A160000000, float 0x3FC65C91E0000000, float 0x3FC6872B00000000, float 0x3FC7C84B60000000, float 0x3FCA305540000000, float 0x3FCB4A2340000000, float 0x3FCC189380000000, float 0x3FCB81D7E0000000, float 0x3FCBF48800000000, float 0x3FD00EBEE0000000, float 0x3FD087FCC0000000, float 0x3FC3DA5120000000, float 0x3FC8CB2960000000, float 0x3FBBFB15C0000000, float 0x3FB6C22680000000, float 0x3FA6D5CFA0000000, float 0x3F81D14E40000000], [27 x float] [float 0x3F9844D020000000, float 0x3F96F00680000000, float 0x3F94FDF3C0000000, float 0x3F94AF4F00000000, float 0x3F9A1CAC00000000, float 0x3FA9652BE0000000, float 0x3FB44D0140000000, float 0x3FBB717580000000, float 0x3FC15182A0000000, float 0x3FC4D9E840000000, float 0x3FC8418940000000, float 0x3FC9D49520000000, float 0x3FCB851EC0000000, float 0x3FCD66CF40000000, float 0x3FCFB15B60000000, float 0x3FD08CE700000000, float 0x3FD2388660000000, float 0x3FD53A92A0000000, float 0x3FD7D3C360000000, float 0x3FD13DD980000000, float 0x3FDF1A9FC0000000, float 0x3FCF8A0900000000, float 0x3FEB0D8440000000, float 0x3FB5AEE640000000, float 0x3FB84B5DC0000000, float 0x3FF756D5C0000000, float 0x3F6B089A00000000], [27 x float] [float 0x3F8FF2E480000000, float 0x3F90FF9720000000, float 0x3F923A29C0000000, float 0x3F9460AA60000000, float 0x3F9C432CA0000000, float 0x3FA46DC5E0000000, float 0x3FAE69AD40000000, float 0x3FB6872B00000000, float 0x3FBDD2F1A0000000, float 0x3FC1B71760000000, float 0x3FC401A360000000, float 0x3FC5AEE640000000, float 0x3FC7318FC0000000, float 0x3FC7B15B60000000, float 0x3FC85BC020000000, float 0x3FC91D14E0000000, float 0x3FC98FC500000000, float 0x3FC9758E20000000, float 0x3FC9DB22E0000000, float 0x3FCC226800000000, float 0x3FCD59B3E0000000, float 0x3FBACD9E80000000, float 0x3FB97F62C0000000, float 0x3FBF0D8440000000, float 0x3FB62B6AE0000000, float 0x3FA4D6A160000000, float 0x3F8652BD40000000], [27 x float] [float 0x3F8A027520000000, float 0x3F899999A0000000, float 0x3F90481700000000, float 0x3F96BB98C0000000, float 0x3FA1DE69A0000000, float 0x3FADB22D00000000, float 0x3FB5048160000000, float 0x3FBB6AE7E0000000, float 0x3FC154C980000000, float 0x3FC51EB860000000, float 0x3FC9096BC0000000, float 0x3FCC7E2820000000, float 0x3FCFD8ADA0000000, float 0x3FD18C7E20000000, float 0x3FD374BC60000000, float 0x3FD5D7DC00000000, float 0x3FD8C7E280000000, float 0x3FDC5D6380000000, float 0x3FE05D6380000000, float 0x3FE3020C40000000, float 0x3FE7B2FEC0000000, float 0x3FC50B0F20000000, float 0x3FE0B851E0000000, float 0x3FB5182AA0000000, float 0x3FB8CE7040000000, float 0x3FCAF837C0000000, float 0x3F7FF2E480000000], [27 x float] [float 0x3FDAE48E80000000, float 0x3FDD3F7CE0000000, float 0x3FD82C3CA0000000, float 0x3FDC0346E0000000, float 0x3FEF851EC0000000, float 0x3FE2C56D60000000, float 0x3FFB94AF40000000, float 0x3FEEDED280000000, float 0x3FED374BC0000000, float 0x3FECE978E0000000, float 0x3FECD288C0000000, float 0x3FECC3C9E0000000, float 0x3FECB9F560000000, float 0x3FECB43960000000, float 0x3FECB1C440000000, float 0x3FECB020C0000000, float 0x3FECAF4F00000000, float 0x3FECAE7D60000000, float 0x3FECAE7D60000000, float 0x3FECAE7D60000000, float 0x3FECADABA0000000, float 0x3FDCADABA0000000, float 0x3FDCADABA0000000, float 0x3FDCADABA0000000, float 0x3FDCADABA0000000, float 0x3FCCAC0840000000, float 0x3FAA027520000000]]
@LIBRARYF.Mue = internal global [7 x [27 x float]] [[27 x float] [float 0x3FE953F7C0000000, float 0x3FE8793DE0000000, float 0x3FE5A85880000000, float 0x3FE024DD20000000, float 0x3FDB4BC6A0000000, float 0x3FD8B5DCC0000000, float 0x3FD3F48800000000, float 0x3FCE7A0FA0000000, float 0x3FC020C4A0000000, float 0x3FB19CE080000000, float 0x3FA460AA60000000, float 0x3F96872B00000000, float 0x3F86BB98C0000000, float 0x3F726E9780000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000], [27 x float] [float 0x3FE9CE0760000000, float 0x3FE9645A20000000, float 0x3FE63E4260000000, float 0x3FE2538F00000000, float 0x3FDE4C2F80000000, float 0x3FD804EA40000000, float 0x3FD231F8A0000000, float 0x3FCA9FBE80000000, float 0x3FC243FE60000000, float 0x3FB7803460000000, float 0x3FA6944680000000, float 0x3F970A3D80000000, float 0x3F86F00680000000, float 0x3F7205BC00000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000], [27 x float] [float 0x3FECD6A160000000, float 0x3FEC3BCD40000000, float 0x3FEAC56D60000000, float 0x3FE7EAB360000000, float 0x3FE38A0900000000, float 0x3FDEB367A0000000, float 0x3FD7FCB920000000, float 0x3FD1D2F1A0000000, float 0x3FC9446740000000, float 0x3FC1C432C0000000, float 0x3FB6113400000000, float 0x3FAB98C7E0000000, float 0x3FA18FC500000000, float 0x3F9652BD40000000, float 0x3F70624DE0000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000], [27 x float] [float 0x3FEA617C20000000, float 0x3FE9645A20000000, float 0x3FE7367A00000000, float 0x3FE53DD980000000, float 0x3FE2BFB160000000, float 0x3FDD1EB860000000, float 0x3FD6872B00000000, float 0x3FD13404E0000000, float 0x3FC896BBA0000000, float 0x3FC06F6940000000, float 0x3FB4DD2F20000000, float 0x3FAA5119C0000000, float 0x3FA0F27BC0000000, float 0x3F95B573E0000000, float 0x3F83A92A40000000, float 0x3F689374C0000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000], [27 x float] [float 0x3FEB9A6B60000000, float 0x3FEAAF4F00000000, float 0x3FE8504820000000, float 0x3FE63A29C0000000, float 0x3FE401A360000000, float 0x3FE1CE0760000000, float 0x3FDD47AE20000000, float 0x3FD6161E40000000, float 0x3FCF6C8B40000000, float 0x3FC5C91D20000000, float 0x3FBCE07600000000, float 0x3FB1D7DC00000000, float 0x3FA3B645A0000000, float 0x3F941205C0000000, float 0x3F80CB2960000000, float 0x3F67C1BDA0000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000], [27 x float] [float 0x3FEC68DB80000000, float 0x3FEB7A7860000000, float 0x3FE895E9E0000000, float 0x3FE51EB860000000, float 0x3FE1404EA0000000, float 0x3FD9D7DC00000000, float 0x3FD3FB15C0000000, float 0x3FCE8A71E0000000, float 0x3FC60418A0000000, float 0x3FBDD97F60000000, float 0x3FB3126EA0000000, float 0x3FA7CED920000000, float 0x3F9B717580000000, float 0x3F802DE000000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000], [27 x float] [float 0x3FC3C01A40000000, float 0x3FD29E1B00000000, float 0x3FC0D1B720000000, float 0x3FBED91680000000, float 0x3FB2617C20000000, float 0x3FD1810620000000, float 0x3F7758E220000000, float 0xBFB3EAB360000000, float 0xBF8E4F7660000000, float 0x3F819CE080000000, float 0x3F9652BD40000000, float 0x3F9E83E420000000, float 0x3FA1C432C0000000, float 0x3FA3404EA0000000, float 0x3FA42C3CA0000000, float 0x3FA4BC6A80000000, float 0x3FA50B0F20000000, float 0x3FA53F7CE0000000, float 0x3FA566CF40000000, float 0x3FA573EAC0000000, float 0x3FA5810620000000, float 0x3FA58E21A0000000, float 0x3FA58E21A0000000, float 0x3FA58E21A0000000, float 0x3FA59B3D00000000, float 0x3FA59B3D00000000, float 0x3FA59B3D00000000]]
@LIBRARYF.Sin = internal global <{ <{ [14 x float], [13 x float] }>, <{ [11 x float], [16 x float] }>, <{ [15 x float], [12 x float] }>, <{ [11 x float], [16 x float] }>, <{ [12 x float], [15 x float] }>, <{ [11 x float], [16 x float] }>, <{ float, [26 x float] }> }> <{ <{ [14 x float], [13 x float] }> <{ [14 x float] [float 0x3FF5FC5040000000, float 0x3FFD1DE6A0000000, float 0x3FFC8865A0000000, float 0x3FFAAB9F60000000, float 0x3FF6810620000000, float 0x3FF37A7860000000, float 0x3FEE49BA60000000, float 0x3FE637B4A0000000, float 0x3FDF3B6460000000, float 0x3FCFE28240000000, float 0x3FAEECBFC0000000, float 0x3F95326180000000, float 0x3F7CAC0840000000, float 0x3F33A92A40000000], [13 x float] zeroinitializer }>, <{ [11 x float], [16 x float] }> <{ [11 x float] [float 0x400138EF40000000, float 0x4004C49BA0000000, float 0x400554C980000000, float 0x4007031260000000, float 0x4003BF7CE0000000, float 0x3FFD786C20000000, float 0x3FF7D7DC00000000, float 0x3FF1EE6320000000, float 0x3FE99E83E0000000, float 0x3FD774BC60000000, float 0x3FB23A29C0000000], [16 x float] zeroinitializer }>, <{ [15 x float], [12 x float] }> <{ [15 x float] [float 0x3FF57D5660000000, float 0x40017FCBA0000000, float 0x4001C538E0000000, float 0x3FFEA233A0000000, float 0x3FF9212D80000000, float 0x3FF456D5C0000000, float 0x3FEA666660000000, float 0x3FE42EB1C0000000, float 0x3FE09E1B00000000, float 0x3FDA666660000000, float 0x3FD58E21A0000000, float 0x3FD475F700000000, float 0x3FD3837B40000000, float 0x3FD1C432C0000000, float 0x3F9D638860000000], [12 x float] zeroinitializer }>, <{ [11 x float], [16 x float] }> <{ [11 x float] [float 0x3FF2113400000000, float 0x3FFD5460A0000000, float 0x4000D97F60000000, float 0x40008D4FE0000000, float 0x40003B2FE0000000, float 0x3FFA19CE00000000, float 0x3FF6226800000000, float 0x3FF2AF4F00000000, float 0x3FEE89A020000000, float 0x3FE52CA580000000, float 0x3FCBD07C80000000], [16 x float] zeroinitializer }>, <{ [12 x float], [15 x float] }> <{ [12 x float] [float 0x3FF91D14E0000000, float 0x400043C9E0000000, float 0x4000762B60000000, float 0x3FF9381D80000000, float 0x3FFD1F8A00000000, float 0x4000E00D20000000, float 0x3FFF326180000000, float 0x3FF4745380000000, float 0x3FE723A2A0000000, float 0x3FDB3B6460000000, float 0x3FC4E703A0000000, float 0x3F2A36E2E0000000], [15 x float] zeroinitializer }>, <{ [11 x float], [16 x float] }> <{ [11 x float] [float 0x3FF767A100000000, float 0x3FFF9A6B60000000, float 0x3FFF604180000000, float 0x3FFA71DE60000000, float 0x3FF3055320000000, float 0x3FF39930C0000000, float 0x3FF209D4A0000000, float 0x3FEDA29C80000000, float 0x3FE5A0F900000000, float 0x3FDBBCD360000000, float 0x3FB8ADABA0000000], [16 x float] zeroinitializer }>, <{ float, [26 x float] }> <{ float 0x3FB5182AA0000000, [26 x float] zeroinitializer }> }>
define float @LIBRARYF(i32 %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca float
store i32 %0, i32* %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%8 = load i32, i32* %6
switch i32 %8, label %73 [
i32 0, label %9
i32 1, label %17
i32 2, label %25
i32 3, label %33
i32 4, label %41
i32 5, label %49
i32 6, label %57
i32 7, label %65
]
9: ; preds = %3
%10 = load i32, i32* %4
%11 = sext i32 %10 to i64
%12 = getelementptr inbounds [7 x [27 x float]], [7 x [27 x float]]* bitcast (<{ [27 x float], <{ [8 x float], [19 x float] }>, [27 x float], [27 x float], [27 x float], <{ [14 x float], [13 x float] }>, [27 x float] }>* @LIBRARYF.Sf to [7 x [27 x float]]*), i64 0, i64 %11
%13 = load i32, i32* %5
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds [27 x float], [27 x float]* %12, i64 0, i64 %14
%16 = load float, float* %15
store float %16, float* %7
br label %73
17: ; preds = %3
%18 = load i32, i32* %4
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds [7 x [27 x float]], [7 x [27 x float]]* @LIBRARYF.Nu, i64 0, i64 %19
%21 = load i32, i32* %5
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds [27 x float], [27 x float]* %20, i64 0, i64 %22
%24 = load float, float* %23
store float %24, float* %7
br label %73
25: ; preds = %3
%26 = load i32, i32* %4
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds [7 x [27 x float]], [7 x [27 x float]]* bitcast (<{ [27 x float], [27 x float], [27 x float], [27 x float], [27 x float], [27 x float], <{ float, float, float, [24 x float] }> }>* @LIBRARYF.Sc to [7 x [27 x float]]*), i64 0, i64 %27
%29 = load i32, i32* %5
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds [27 x float], [27 x float]* %28, i64 0, i64 %30
%32 = load float, float* %31
store float %32, float* %7
br label %73
33: ; preds = %3
%34 = load i32, i32* %4
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds [7 x [27 x float]], [7 x [27 x float]]* @LIBRARYF.St, i64 0, i64 %35
%37 = load i32, i32* %5
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds [27 x float], [27 x float]* %36, i64 0, i64 %38
%40 = load float, float* %39
store float %40, float* %7
br label %73
41: ; preds = %3
%42 = load i32, i32* %4
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds [7 x [27 x float]], [7 x [27 x float]]* @LIBRARYF.Se, i64 0, i64 %43
%45 = load i32, i32* %5
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds [27 x float], [27 x float]* %44, i64 0, i64 %46
%48 = load float, float* %47
store float %48, float* %7
br label %73
49: ; preds = %3
%50 = load i32, i32* %4
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds [7 x [27 x float]], [7 x [27 x float]]* @LIBRARYF.Sre, i64 0, i64 %51
%53 = load i32, i32* %5
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds [27 x float], [27 x float]* %52, i64 0, i64 %54
%56 = load float, float* %55
store float %56, float* %7
br label %73
57: ; preds = %3
%58 = load i32, i32* %4
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds [7 x [27 x float]], [7 x [27 x float]]* @LIBRARYF.Mue, i64 0, i64 %59
%61 = load i32, i32* %5
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds [27 x float], [27 x float]* %60, i64 0, i64 %62
%64 = load float, float* %63
store float %64, float* %7
br label %73
65: ; preds = %3
%66 = load i32, i32* %4
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds [7 x [27 x float]], [7 x [27 x float]]* bitcast (<{ <{ [14 x float], [13 x float] }>, <{ [11 x float], [16 x float] }>, <{ [15 x float], [12 x float] }>, <{ [11 x float], [16 x float] }>, <{ [12 x float], [15 x float] }>, <{ [11 x float], [16 x float] }>, <{ float, [26 x float] }> }>* @LIBRARYF.Sin to [7 x [27 x float]]*), i64 0, i64 %67
%69 = load i32, i32* %5
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds [27 x float], [27 x float]* %68, i64 0, i64 %70
%72 = load float, float* %71
store float %72, float* %7
br label %73
73: ; preds = %3, %65, %57, %49, %41, %33, %25, %17, %9
%74 = load float, float* %7
ret float %74
}

LLVM IR (-O2):
@LIBRARYF.Sf = internal unnamed_addr constant <{ [27 x float], <{ [8 x float], [19 x float] }>, [27 x float], [27 x float], [27 x float], <{ [14 x float], [13 x float] }>, [27 x float] }> <{ [27 x float] [float 0x3FF779A6C0000000, float 0x3FF1446740000000, float 0x3FF3C56D60000000, float 0x3FF49096C0000000, float 0x3FF37C84C0000000, float 0x3FF2553260000000, float 0x3FF3780340000000, float 0x3FF561E500000000, float 0x3FF82D7740000000, float 0x3FFBB22D00000000, float 0x3FFF81D7E0000000, float 0x4001F48800000000, float 0x40043A29C0000000, float 0x400874BC60000000, float 0x400C027520000000, float 0x4012773180000000, float 0x40165652C0000000, float 0x401DE56040000000, float 0x40218DE000000000, float 0x402B153F80000000, float 0x402C1AEE60000000, float 0x40358F4F00000000, float 0x40414233A0000000, float 0x4049ABB300000000, float 0x4048E6FD20000000, float 0x403FD4F0E0000000, float 0x40A0F24740000000], <{ [8 x float], [19 x float] }> <{ [8 x float] [float 0x3FEC1205C0000000, float 0x3FE17DBF40000000, float 0x3FE181D7E0000000, float 0x3FDB50B100000000, float 0x3F9BA5E360000000, float 0x3F554C9860000000, float 0x3F1A36E2E0000000, float 0x3F1A36E2E0000000], [19 x float] zeroinitializer }>, [27 x float] [float 0x4000B4D6A0000000, float 0x3FFB553260000000, float 0x3FFF1FF2E0000000, float 0x400010CB20000000, float 0x3FFC06F6A0000000, float 0x3FFA1758E0000000, float 0x3FF8E1B080000000, float 0x3FF7E425A0000000, float 0x3FF8A5E360000000, float 0x3FFA1E4F80000000, float 0x3FFB3C3620000000, float 0x3FFBE0DEE0000000, float 0x3FFD161E40000000, float 0x3FFFA8C160000000, float 0x4001FEF9E0000000, float 0x4005439580000000, float 0x400A15B580000000, float 0x4012D6A160000000, float 0x401944EA40000000, float 0x4024BBB300000000, float 0x4025600D20000000, float 0x40323A4A80000000, float 0x40472A0900000000, float 0x4048C63BC0000000, float 0x4051CC04E0000000, float 0x403792FEC0000000, float 0x40A576DAA0000000], [27 x float] [float 0x3FFBFF2E40000000, float 0x3FF7BD3C40000000, float 0x3FF95460A0000000, float 0x3FF82DE000000000, float 0x3FF69AD420000000, float 0x3FE76872C0000000, float 0x3FCB50B100000000, float 0x3FBCE703A0000000, float 0x3FB7C84B60000000, float 0x3FB4673820000000, float 0x3FB652BD40000000, float 0x3FB8E21960000000, float 0x3FB8DB8BA0000000, float 0x3FB8587940000000, float 0x3FBC226800000000, float 0x3FC05F0700000000, float 0x3FC6BEDFA0000000, float 0x3FCC01A360000000, float 0x3FD722D0E0000000, float 0x3FB1BDA520000000, float 0x3FB4A233A0000000, float 0x3FC3055320000000, float 0x3FE35182A0000000, float 0x3FC75F6FE0000000, float 0x3F46F00680000000, float 0x3FE91DE6A0000000, float 0x3FC9DE69A0000000], [27 x float] [float 0x3FFE532620000000, float 0x3FF71FF2E0000000, float 0x3FF93A29C0000000, float 0x3FFBFE5CA0000000, float 0x3FF983E420000000, float 0x3FF804EA40000000, float 0x3FF95A8580000000, float 0x3FFCDD9800000000, float 0x400059E840000000, float 0x400262EB20000000, float 0x40039758E0000000, float 0x40050240C0000000, float 0x40094B9240000000, float 0x400AC28F60000000, float 0x400FF9A6C0000000, float 0x4014FB7EA0000000, float 0x401AE31F80000000, float 0x4020287FC0000000, float 0x4024B94B00000000, float 0x402F2346E0000000, float 0x40392E21A0000000, float 0x403F774540000000, float 0x4044FD7A80000000, float 0x405B8ADC60000000, float 0x406A2A0D20000000, float 0x404FB2A640000000, float 0x40AC6A0240000000], <{ [14 x float], [13 x float] }> <{ [14 x float] [float 0x3FFF765FE0000000, float 0x3FFC45A1C0000000, float 0x3FF98D4FE0000000, float 0x3FF5BCD360000000, float 0x3FF5BA5E40000000, float 0x3FE1212D80000000, float 0x3FC0E8A720000000, float 0x3FA97F62C0000000, float 0x3FA0624DE0000000, float 0x3F9E1B08A0000000, float 0x3FA32617C0000000, float 0x3FA758E220000000, float 0x3FABA5E360000000, float 0x3FAB4A2340000000], [13 x float] zeroinitializer }>, [27 x float] zeroinitializer }>
@LIBRARYF.Nu = internal unnamed_addr constant [7 x [27 x float]] [[27 x float] [float 0x400C20C4A0000000, float 0x400849BA60000000, float 0x4005E56040000000, float 0x4004EB8520000000, float 0x40044FDF40000000, float 0x4003F1AA00000000, float 0x4003BA5E40000000, float 0x4003978D40000000, float 0x4003831260000000, float 0x400376C8C0000000, float 0x40036E9780000000, float 0x40036872C0000000, float 0x4003666660000000, float 0x4003645A20000000, float 0x4003645A20000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000, float 0x4003624DE0000000], [27 x float] [float 0x400B8F5C20000000, float 0x4008374BC0000000, float 0x4006147AE0000000, float 0x4004BA5E40000000, float 0x4003DF3B60000000, float 0x40035A1CA0000000, float 0x40030A3D80000000, float 0x4002D91680000000, float 0x4002BC6A80000000, float 0x4002A9FBE0000000, float 0x40029FBE80000000, float 0x4002978D40000000, float 0x40029374C0000000, float 0x4002916880000000, float 0x4002916880000000, float 0x40028F5C20000000, float 0x40028F5C20000000, float 0x40028F5C20000000, float 0x40028F5C20000000, float 0x40028F5C20000000, float 0x40028F5C20000000, float 0x40028F5C20000000, float 0x40028F5C20000000, float 0x40028D4FE0000000, float 0x40028D4FE0000000, float 0x40028D4FE0000000, float 0x40028D4FE0000000], [27 x float] [float 0x400FB851E0000000, float 0x400C4BC6A0000000, float 0x400A26E980000000, float 0x4008E56040000000, float 0x400822D0E0000000, float 0x4007B43960000000, float 0x400772B020000000, float 0x400749BA60000000, float 0x40073126E0000000, float 0x400720C4A0000000, float 0x4007189380000000, float 0x4007126EA0000000, float 0x4007106240000000, float 0x40070E5600000000, float 0x40070C49C0000000, float 0x40070C49C0000000, float 0x40070A3D80000000, float 0x40070A3D80000000, float 0x40070A3D80000000, float 0x40070A3D80000000, float 0x40070A3D80000000, float 0x40070A3D80000000, float 0x40070A3D80000000, float 0x40070A3D80000000, float 0x40070A3D80000000, float 0x40070A3D80000000, float 0x40070A3D80000000], [27 x float] [float 0x400CE35400000000, float 0x400AC28F60000000, float 0x4009624DE0000000, float 0x4008851EC0000000, float 0x4007F5C280000000, float 0x4007A1CAC0000000, float 0x40076E9780000000, float 0x40074FDF40000000, float 0x40073B6460000000, float 0x40073126E0000000, float 0x400728F5C0000000, float 0x400724DD20000000, float 0x400722D0E0000000, float 0x400720C4A0000000, float 0x400720C4A0000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000, float 0x40071EB860000000], [27 x float] [float 0x400FD0E560000000, float 0x400CBE76C0000000, float 0x400AC28F60000000, float 0x4009810620000000, float 0x4008B43960000000, float 0x4008395820000000, float 0x4007EF9DC0000000, float 0x4007A7EFA0000000, float 0x4007958100000000, float 0x40078D4FE0000000, float 0x4007872B00000000, float 0x4007831260000000, float 0x4007810620000000, float 0x40077EF9E0000000, float 0x40077EF9E0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000, float 0x40077CEDA0000000], [27 x float] [float 0x400EBC6A80000000, float 0x400BB020C0000000, float 0x4009B645A0000000, float 0x400878D500000000, float 0x4007AC0840000000, float 0x4007333340000000, float 0x4006E978E0000000, float 0x4006BC6A80000000, float 0x40069FBE80000000, float 0x40068F5C20000000, float 0x4006872B00000000, float 0x4006810620000000, float 0x40067CEDA0000000, float 0x40067AE140000000, float 0x400678D500000000, float 0x400678D500000000, float 0x400676C8C0000000, float 0x400676C8C0000000, float 0x400676C8C0000000, float 0x400676C8C0000000, float 0x400676C8C0000000, float 0x400676C8C0000000, float 0x400676C8C0000000, float 0x400676C8C0000000, float 0x400676C8C0000000, float 0x400676C8C0000000, float 0x400676C8C0000000], [27 x float] zeroinitializer]
@LIBRARYF.Sc = internal unnamed_addr constant <{ [27 x float], [27 x float], [27 x float], [27 x float], [27 x float], [27 x float], <{ float, float, float, [24 x float] }> }> <{ [27 x float] [float 0x3F84AF4F00000000, float 0x3F938EF340000000, float 0x3FA15B5740000000, float 0x3FAD97F620000000, float 0x3FB9581060000000, float 0x3FC1446740000000, float 0x3FC6E2EB20000000, float 0x3FD0985F00000000, float 0x3FD90CB2A0000000, float 0x3FE121FF20000000, float 0x3FE5CE0760000000, float 0x3FE9A85880000000, float 0x3FECD5CFA0000000, float 0x3FF12DE000000000, float 0x3FF327BB20000000, float 0x3FF965FD80000000, float 0x3FFF34D6A0000000, float 0x4007F8D500000000, float 0x4010F9F560000000, float 0x4013ECBFC0000000, float 0x401656D5C0000000, float 0x4025B95820000000, float 0x402FE01A40000000, float 0x403E2B6AE0000000, float 0x40452B1260000000, float 0x4025DA6B60000000, float 0x4077D26120000000], [27 x float] [float 0x3F7A36E2E0000000, float 0x3F882A9940000000, float 0x3F9BDA5120000000, float 0x3FB0346DC0000000, float 0x3FBEECBFC0000000, float 0x3FC01A36E0000000, float 0x3FBDE69AE0000000, float 0x3FC1374BC0000000, float 0x3FC5BC01A0000000, float 0x3FCB958100000000, float 0x3FD5AB9F60000000, float 0x3FDCA8C160000000, float 0x3FE245A1C0000000, float 0x3FE68240C0000000, float 0x3FEB9652C0000000, float 0x3FF10BE0E0000000, float 0x3FF63F7CE0000000, float 0x3FFC6F0060000000, float 0x4007535A80000000, float 0x400D450480000000, float 0x400CD59B40000000, float 0x403197F620000000, float 0x402B19DB20000000, float 0x405A4BE5C0000000, float 0x40606472C0000000, float 0x3FE397F620000000, float 0x40234DB8C0000000], [27 x float] [float 0x3F5A36E2E0000000, float 0x3F5D7DBF40000000, float 0x3F6FF2E480000000, float 0x3F85182AA0000000, float 0x3F9930BE00000000, float 0x3FB36E2EC0000000, float 0x3FC1F8A0A0000000, float 0x3FC9168720000000, float 0x3FCD254600000000, float 0x3FD13A92A0000000, float 0x3FD73D07C0000000, float 0x3FE1D70A40000000, float 0x3FE8BFB160000000, float 0x3FF116F000000000, float 0x3FF98793E0000000, float 0x4001EF6940000000, float 0x4008F3B640000000, float 0x400C6B8520000000, float 0x4012B48800000000, float 0x401D7B98C0000000, float 0x4023644D00000000, float 0x40310D6380000000, float 0x4045E94B00000000, float 0x404454F0E0000000, float 0x404815F060000000, float 0x401CC09D40000000, float 0x408D6A4E00000000], [27 x float] [float 0x3F7E4F7660000000, float 0x3F8F212D80000000, float 0x3FA0F27BC0000000, float 0x3FAFCB9240000000, float 0x3FBA64C300000000, float 0x3FC26E9780000000, float 0x3FC4E07600000000, float 0x3FC7AACDA0000000, float 0x3FCCA8C160000000, float 0x3FD24A8C20000000, float 0x3FD7BCD360000000, float 0x3FDEF837C0000000, float 0x3FE40AA640000000, float 0x3FE92FEC60000000, float 0x3FEF717580000000, float 0x3FF3C28F60000000, float 0x3FFB6F0060000000, float 0x4003AFB7E0000000, float 0x400FEF0060000000, float 0x4010D89380000000, float 0x401F8DB8C0000000, float 0x4030471760000000, float 0x4052D27D60000000, float 0x4034C6B500000000, float 0x3FE2DD2F20000000, float 0x40B00A8300000000, float 0x408FA00200000000], [27 x float] [float 0x3F9E00D1C0000000, float 0x3FA7DBF480000000, float 0x3FB1DE69A0000000, float 0x3FB9374BC0000000, float 0x3FBB367A00000000, float 0x3FB9C0EBE0000000, float 0x3FBD5CFAA0000000, float 0x3FC4B295E0000000, float 0x3FD1EECC00000000, float 0x3FDD724740000000, float 0x3FE2745380000000, float 0x3FE22A9940000000, float 0x3FE6617C20000000, float 0x3FE7EB8520000000, float 0x3FECF41F20000000, float 0x3FF352BD40000000, float 0x3FF92A9940000000, float 0x3FFEBFB160000000, float 0x400533D080000000, float 0x4013703B00000000, float 0x4019A48E80000000, float 0x401A074540000000, float 0x401A52D780000000, float 0x4038037B40000000, float 0x40377381E0000000, float 0x4033861140000000, float 0x4098A6CAC0000000], [27 x float] [float 0x3F73A92A40000000, float 0x3F81D14E40000000, float 0x3F9BF48800000000, float 0x3FA54C9860000000, float 0x3FAE282400000000, float 0x3FBB295EA0000000, float 0x3FBE425AE0000000, float 0x3FBFA43FE0000000, float 0x3FC20F90A0000000, float 0x3FC7A786C0000000, float 0x3FD34BC6A0000000, float 0x3FDA872B00000000, float 0x3FE0219660000000, float 0x3FE4D9E840000000, float 0x3FEB58E220000000, float 0x3FF2212D80000000, float 0x3FF9446740000000, float 0x4002591680000000, float 0x400B549520000000, float 0x40149844E0000000, float 0x402178E220000000, float 0x40239D70A0000000, float 0x40411182A0000000, float 0x4003B645A0000000, float 0x3FDB81D7E0000000, float 0x4080A1E120000000, float 0x4050527F00000000], <{ float, float, float, [24 x float] }> <{ float 0x3FB68DB8C0000000, float 0x3FA8A09020000000, float 0x3F4A36E2E0000000, [24 x float] zeroinitializer }> }>
@LIBRARYF.St = internal unnamed_addr constant [7 x [27 x float]] [[27 x float] [float 0x401A41F220000000, float 0x401EDC77A0000000, float 0x401EA0AA60000000, float 0x401BA7BB20000000, float 0x401ADED280000000, float 0x401CDFF2E0000000, float 0x4020B999A0000000, float 0x40239F1420000000, float 0x4026222680000000, float 0x4027FB15C0000000, float 0x4029ACF420000000, float 0x402B6F8380000000, float 0x402C2C56E0000000, float 0x402E02A9A0000000, float 0x402F4FD220000000, float 0x40315BDA60000000, float 0x4032BF4F00000000, float 0x4035F5F060000000, float 0x4038A74BC0000000, float 0x403E303B00000000, float 0x403F0F90A0000000, float 0x40461F86C0000000, float 0x404F5CF420000000, float 0x405778C640000000, float 0x4059E0E700000000, float 0x404B78FFA0000000, float 0x40A40BC3A0000000], [27 x float] [float 0x401A87AE20000000, float 0x401EFC9EE0000000, float 0x401EED0E60000000, float 0x401C71C440000000, float 0x401CA5AEE0000000, float 0x40201C3620000000, float 0x4022706240000000, float 0x4024EE8A80000000, float 0x4026FFD8A0000000, float 0x4028D3D080000000, float 0x4029F82AA0000000, float 0x402B0F5C20000000, float 0x402C5D70A0000000, float 0x402DD2B020000000, float 0x40300AFB80000000, float 0x4031D34D60000000, float 0x40339A0280000000, float 0x4035EFD220000000, float 0x4037259B40000000, float 0x403481A360000000, float 0x40335A0900000000, float 0x405283FCC0000000, float 0x4042594120000000, float 0x4066B5B160000000, float 0x40623D1C40000000, float 0x402252A300000000, float 0x403298A720000000], [27 x float] [float 0x401ABF4880000000, float 0x401F3D2200000000, float 0x401F32CA60000000, float 0x401CB837C0000000, float 0x401CF39C00000000, float 0x4020411340000000, float 0x402261B080000000, float 0x40246865A0000000, float 0x402666DC60000000, float 0x40284F90A0000000, float 0x4029EC0840000000, float 0x402B204180000000, float 0x402B624DE0000000, float 0x402D27A100000000, float 0x40300B7800000000, float 0x4031908320000000, float 0x40336C3CA0000000, float 0x4035088CE0000000, float 0x4037F83120000000, float 0x404052C3C0000000, float 0x4041DD5660000000, float 0x404ADAFB80000000, float 0x405C4AC3C0000000, float 0x4059CCD9E0000000, float 0x40603D7580000000, float 0x4044AF1760000000, float 0x40ACE3B760000000], [27 x float] [float 0x401AB4BC60000000, float 0x401F365FE0000000, float 0x401F0DD300000000, float 0x401CE2B6A0000000, float 0x401CD49520000000, float 0x401FB3EAC0000000, float 0x4022141200000000, float 0x40245FD8A0000000, float 0x4026790960000000, float 0x40284B9F60000000, float 0x4029E81700000000, float 0x402A79CE00000000, float 0x402BE8E8A0000000, float 0x402DB0BE00000000, float 0x402FEEB1C0000000, float 0x4030CC2260000000, float 0x4032E04EA0000000, float 0x4036781D80000000, float 0x403A9068E0000000, float 0x40345AB360000000, float 0x40427BBCE0000000, float 0x4046E9D140000000, float 0x406618A240000000, float 0x403F118FC0000000, float 0x4027D6FD20000000, float 0x40B1677000000000, float 0x408FBD4080000000], [27 x float] [float 0x401AC51EC0000000, float 0x401EA47460000000, float 0x401EEAE7E0000000, float 0x401D47C840000000, float 0x401FAF4F00000000, float 0x40222CB2A0000000, float 0x402463C9E0000000, float 0x4026892A40000000, float 0x40288A3D80000000, float 0x402A4D2880000000, float 0x402B6EF340000000, float 0x402C25A1C0000000, float 0x402E3D5660000000, float 0x402EBD9800000000, float 0x40305CE700000000, float 0x40323645A0000000, float 0x403442F840000000, float 0x4035EAE7E0000000, float 0x40391D0E60000000, float 0x4040CC1200000000, float 0x4046AA1960000000, float 0x40494229C0000000, float 0x404E3FCEE0000000, float 0x406296EDA0000000, float 0x406E64A4A0000000, float 0x40572BB4A0000000, float 0x40B46A4300000000], [27 x float] [float 0x401A776600000000, float 0x401DAE9780000000, float 0x401D5BC020000000, float 0x401BE9AD40000000, float 0x401CA1E500000000, float 0x401ED70A40000000, float 0x4021181060000000, float 0x402317DC00000000, float 0x4025573EA0000000, float 0x4027B7DC00000000, float 0x402A40EBE0000000, float 0x402CF34040000000, float 0x402FD03B00000000, float 0x40314BFB20000000, float 0x4033283E40000000, float 0x4035AEE640000000, float 0x4038E31F80000000, float 0x403CF999A0000000, float 0x40411A6B60000000, float 0x404474B2A0000000, float 0x404AA90960000000, float 0x403D9B6460000000, float 0x4058435740000000, float 0x4028C6F6A0000000, float 0x40282EBEE0000000, float 0x408237D920000000, float 0x4052678520000000], [27 x float] [float 0x3FF1AB3680000000, float 0x3FFD141200000000, float 0x3FF91EB860000000, float 0x3FFF831260000000, float 0x4010CD35A0000000, float 0x40098EF340000000, float 0x401B745380000000, float 0x400C5A1CA0000000, float 0x400C7F62C0000000, float 0x400CDD6380000000, float 0x400D292A40000000, float 0x400D57DC00000000, float 0x400D73EAC0000000, float 0x400D851EC0000000, float 0x400D902DE0000000, float 0x400D9758E0000000, float 0x400D9BA5E0000000, float 0x400D9E4F80000000, float 0x400D9FBE80000000, float 0x400DA09020000000, float 0x400DA12D80000000, float 0x400DA19660000000, float 0x400DA1CAC0000000, float 0x400DA1CAC0000000, float 0x400DA19660000000, float 0x400DA2D0E0000000, float 0.000000e+00]]
@LIBRARYF.Se = internal unnamed_addr constant [7 x [27 x float]] [[27 x float] [float 0x400DB404E0000000, float 0x4013305540000000, float 0x40126A7F00000000, float 0x400F3AFB80000000, float 0x400FF48800000000, float 0x4012E1E500000000, float 0x401814E3C0000000, float 0x401E153260000000, float 0x40215A36E0000000, float 0x4022F32620000000, float 0x402440EBE0000000, float 0x40254D35A0000000, float 0x40254CCCC0000000, float 0x4025BF9720000000, float 0x4025EA3060000000, float 0x40264F5C20000000, float 0x40266CD9E0000000, float 0x4026FB08A0000000, float 0x402743A2A0000000, float 0x402754D6A0000000, float 0x4026D8C7E0000000, float 0x4027A624E0000000, float 0x40288ADAC0000000, float 0x4028C09D40000000, float 0x4026BEF9E0000000, float 0x40285FB160000000, float 0x402F3020C0000000], [27 x float] [float 0x400CC4D020000000, float 0x40125E83E0000000, float 0x4011F69440000000, float 0x400DF4F0E0000000, float 0x40122E7D60000000, float 0x4018582AA0000000, float 0x401E731900000000, float 0x40226BE0E0000000, float 0x40250F0060000000, float 0x4027A9C780000000, float 0x4029266660000000, float 0x402A2A1620000000, float 0x402B391680000000, float 0x402C6A8C20000000, float 0x402E5C91E0000000, float 0x4030C295E0000000, float 0x4032360AA0000000, float 0x403428E220000000, float 0x40343B2FE0000000, float 0x4030D90960000000, float 0x402F7EAB40000000, float 0x404C3BFE60000000, float 0x40372594A0000000, float 0x40531F7EA0000000, float 0x402D8AA640000000, float 0x40211923A0000000, float 0x4021E39580000000], [27 x float] [float 0x400A07C840000000, float 0x400F4BFB20000000, float 0x400D0865A0000000, float 0x4009F97240000000, float 0x400E53C360000000, float 0x401498E220000000, float 0x401AAE6320000000, float 0x401F891D20000000, float 0x4021D3B640000000, float 0x4023AEBEE0000000, float 0x40251E2820000000, float 0x4025E30560000000, float 0x4025977320000000, float 0x4026818940000000, float 0x4028579A60000000, float 0x4029545380000000, float 0x402A161E40000000, float 0x40298AF500000000, float 0x4029F3A920000000, float 0x402DD19CE0000000, float 0x402EB0FFA0000000, float 0x40326E4260000000, float 0x4037046740000000, float 0x4029FA0FA0000000, float 0x40251F6FE0000000, float 0x4025361140000000, float 0x4022491D20000000], [27 x float] [float 0x400E525460000000, float 0x4011E26800000000, float 0x40102A1620000000, float 0x400CA1FF20000000, float 0x400D4D35A0000000, float 0x4015AD0E60000000, float 0x401D1E1B00000000, float 0x4021717580000000, float 0x4023EE3BC0000000, float 0x40263DB220000000, float 0x40288E3BC0000000, float 0x4029505540000000, float 0x402A767A00000000, float 0x402BED0140000000, float 0x402DBF62C0000000, float 0x402EDE76C0000000, float 0x4030FBE0E0000000, float 0x4033CA2340000000, float 0x403635FD80000000, float 0x403012D0E0000000, float 0x403CFF6940000000, float 0x403D667A00000000, float 0x4059382260000000, float 0x40243837C0000000, float 0x4026A8CE80000000, float 0x4075C25820000000, float 0x400BA12D80000000], [27 x float] [float 0x40099652C0000000, float 0x40108AF500000000, float 0x401019CE00000000, float 0x400F2A9940000000, float 0x40119999A0000000, float 0x4015813AA0000000, float 0x401A2ECC00000000, float 0x40200C2260000000, float 0x40227212E0000000, float 0x4023EF0060000000, float 0x40250E48E0000000, float 0x4025C24DE0000000, float 0x4026845A20000000, float 0x40268E2EC0000000, float 0x4026EC1540000000, float 0x4027847460000000, float 0x4027EF1AA0000000, float 0x4027D559C0000000, float 0x402833DDA0000000, float 0x402A54E3C0000000, float 0x402B79E840000000, float 0x4029167A00000000, float 0x4027DFE5C0000000, float 0x402D10FFA0000000, float 0x4024C26800000000, float 0x402386E980000000, float 0x402723BCE0000000], [27 x float] [float 0x400975F700000000, float 0x400D5B5740000000, float 0x400E089A00000000, float 0x400F669AE0000000, float 0x401235A860000000, float 0x40175FF2E0000000, float 0x401CAD5D00000000, float 0x4020E4F760000000, float 0x4023A48E80000000, float 0x40266C56E0000000, float 0x4029620C40000000, float 0x402C07AE20000000, float 0x402EB27BC0000000, float 0x40309786C0000000, float 0x40324D7740000000, float 0x40348CD360000000, float 0x40374ED920000000, float 0x403AAE76C0000000, float 0x403ECA4400000000, float 0x4041E1AA00000000, float 0x40464AD0E0000000, float 0x4033CCAC00000000, float 0x404F752BE0000000, float 0x4023D96520000000, float 0x402752A300000000, float 0x40495F86C0000000, float 0x4020A83120000000], [27 x float] [float 0x3FEDE1B080000000, float 0x3FFC4F0D80000000, float 0x3FF91B7180000000, float 0x3FFF844D00000000, float 0x4010CD0140000000, float 0x40098EF340000000, float 0x401B745380000000, float 0x400C5A1CA0000000, float 0x400C7F62C0000000, float 0x400CDD6380000000, float 0x400D292A40000000, float 0x400D57DC00000000, float 0x400D73EAC0000000, float 0x400D851EC0000000, float 0x400D902DE0000000, float 0x400D9758E0000000, float 0x400D9BA5E0000000, float 0x400D9E4F80000000, float 0x400D9FBE80000000, float 0x400DA09020000000, float 0x400DA12D80000000, float 0x400DA19660000000, float 0x400DA19660000000, float 0x400DA1CAC0000000, float 0x400DA1CAC0000000, float 0x400DA19660000000, float 0x400DA19660000000]]
@LIBRARYF.Sre = internal unnamed_addr constant [7 x [27 x float]] [[27 x float] [float 0x3F9CC63F20000000, float 0x3F9CAC0840000000, float 0x3F9CAC0840000000, float 0x3FA0FF9720000000, float 0x3FA41F2120000000, float 0x3FA9724740000000, float 0x3FB2339C00000000, float 0x3FB930BE00000000, float 0x3FC0AA64C0000000, float 0x3FC3645A20000000, float 0x3FC55CFAA0000000, float 0x3FC6E2EB20000000, float 0x3FC7247460000000, float 0x3FC7C84B60000000, float 0x3FC80346E0000000, float 0x3FC86F6940000000, float 0x3FC8902DE0000000, float 0x3FC92D7740000000, float 0x3FC97C1BE0000000, float 0x3FC98FC500000000, float 0x3FC9893740000000, float 0x3FB9E83E40000000, float 0x3FBAE147A0000000, float 0x3FBB1C4320000000, float 0x3FB8E8A720000000, float 0x3FAAACD9E0000000, float 0x3F8EECBFC0000000], [27 x float] [float 0x3F999999A0000000, float 0x3F97C1BDA0000000, float 0x3F9A1CAC00000000, float 0x3F9BC01A40000000, float 0x3FA4C98600000000, float 0x3FB07C84C0000000, float 0x3FB7A0F900000000, float 0x3FBFA43FE0000000, float 0x3FC3958100000000, float 0x3FC74F0D80000000, float 0x3FCA12D780000000, float 0x3FCBC01A40000000, float 0x3FCD326180000000, float 0x3FCEB1C440000000, float 0x3FD06C2260000000, float 0x3FD2219660000000, float 0x3FD3B2FEC0000000, float 0x3FD5CE0760000000, float 0x3FD5E1B080000000, float 0x3FD2388660000000, float 0x3FD107C840000000, float 0x3FDE8A71E0000000, float 0x3FC9096BC0000000, float 0x3FE4AF4F00000000, float 0x3FBFF2E480000000, float 0x3FA27BB300000000, float 0x3F819CE080000000], [27 x float] [float 0x3F87C1BDA0000000, float 0x3F87247460000000, float 0x3F86872B00000000, float 0x3F8C779A60000000, float 0x3F997F62C0000000, float 0x3FA7247460000000, float 0x3FB205BC00000000, float 0x3FB89374C0000000, float 0x3FBEE63200000000, float 0x3FC24DD300000000, float 0x3FC4D6A160000000, float 0x3FC65C91E0000000, float 0x3FC6872B00000000, float 0x3FC7C84B60000000, float 0x3FCA305540000000, float 0x3FCB4A2340000000, float 0x3FCC189380000000, float 0x3FCB81D7E0000000, float 0x3FCBF48800000000, float 0x3FD00EBEE0000000, float 0x3FD087FCC0000000, float 0x3FC3DA5120000000, float 0x3FC8CB2960000000, float 0x3FBBFB15C0000000, float 0x3FB6C22680000000, float 0x3FA6D5CFA0000000, float 0x3F81D14E40000000], [27 x float] [float 0x3F9844D020000000, float 0x3F96F00680000000, float 0x3F94FDF3C0000000, float 0x3F94AF4F00000000, float 0x3F9A1CAC00000000, float 0x3FA9652BE0000000, float 0x3FB44D0140000000, float 0x3FBB717580000000, float 0x3FC15182A0000000, float 0x3FC4D9E840000000, float 0x3FC8418940000000, float 0x3FC9D49520000000, float 0x3FCB851EC0000000, float 0x3FCD66CF40000000, float 0x3FCFB15B60000000, float 0x3FD08CE700000000, float 0x3FD2388660000000, float 0x3FD53A92A0000000, float 0x3FD7D3C360000000, float 0x3FD13DD980000000, float 0x3FDF1A9FC0000000, float 0x3FCF8A0900000000, float 0x3FEB0D8440000000, float 0x3FB5AEE640000000, float 0x3FB84B5DC0000000, float 0x3FF756D5C0000000, float 0x3F6B089A00000000], [27 x float] [float 0x3F8FF2E480000000, float 0x3F90FF9720000000, float 0x3F923A29C0000000, float 0x3F9460AA60000000, float 0x3F9C432CA0000000, float 0x3FA46DC5E0000000, float 0x3FAE69AD40000000, float 0x3FB6872B00000000, float 0x3FBDD2F1A0000000, float 0x3FC1B71760000000, float 0x3FC401A360000000, float 0x3FC5AEE640000000, float 0x3FC7318FC0000000, float 0x3FC7B15B60000000, float 0x3FC85BC020000000, float 0x3FC91D14E0000000, float 0x3FC98FC500000000, float 0x3FC9758E20000000, float 0x3FC9DB22E0000000, float 0x3FCC226800000000, float 0x3FCD59B3E0000000, float 0x3FBACD9E80000000, float 0x3FB97F62C0000000, float 0x3FBF0D8440000000, float 0x3FB62B6AE0000000, float 0x3FA4D6A160000000, float 0x3F8652BD40000000], [27 x float] [float 0x3F8A027520000000, float 0x3F899999A0000000, float 0x3F90481700000000, float 0x3F96BB98C0000000, float 0x3FA1DE69A0000000, float 0x3FADB22D00000000, float 0x3FB5048160000000, float 0x3FBB6AE7E0000000, float 0x3FC154C980000000, float 0x3FC51EB860000000, float 0x3FC9096BC0000000, float 0x3FCC7E2820000000, float 0x3FCFD8ADA0000000, float 0x3FD18C7E20000000, float 0x3FD374BC60000000, float 0x3FD5D7DC00000000, float 0x3FD8C7E280000000, float 0x3FDC5D6380000000, float 0x3FE05D6380000000, float 0x3FE3020C40000000, float 0x3FE7B2FEC0000000, float 0x3FC50B0F20000000, float 0x3FE0B851E0000000, float 0x3FB5182AA0000000, float 0x3FB8CE7040000000, float 0x3FCAF837C0000000, float 0x3F7FF2E480000000], [27 x float] [float 0x3FDAE48E80000000, float 0x3FDD3F7CE0000000, float 0x3FD82C3CA0000000, float 0x3FDC0346E0000000, float 0x3FEF851EC0000000, float 0x3FE2C56D60000000, float 0x3FFB94AF40000000, float 0x3FEEDED280000000, float 0x3FED374BC0000000, float 0x3FECE978E0000000, float 0x3FECD288C0000000, float 0x3FECC3C9E0000000, float 0x3FECB9F560000000, float 0x3FECB43960000000, float 0x3FECB1C440000000, float 0x3FECB020C0000000, float 0x3FECAF4F00000000, float 0x3FECAE7D60000000, float 0x3FECAE7D60000000, float 0x3FECAE7D60000000, float 0x3FECADABA0000000, float 0x3FDCADABA0000000, float 0x3FDCADABA0000000, float 0x3FDCADABA0000000, float 0x3FDCADABA0000000, float 0x3FCCAC0840000000, float 0x3FAA027520000000]]
@LIBRARYF.Mue = internal unnamed_addr constant [7 x [27 x float]] [[27 x float] [float 0x3FE953F7C0000000, float 0x3FE8793DE0000000, float 0x3FE5A85880000000, float 0x3FE024DD20000000, float 0x3FDB4BC6A0000000, float 0x3FD8B5DCC0000000, float 0x3FD3F48800000000, float 0x3FCE7A0FA0000000, float 0x3FC020C4A0000000, float 0x3FB19CE080000000, float 0x3FA460AA60000000, float 0x3F96872B00000000, float 0x3F86BB98C0000000, float 0x3F726E9780000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000, float 0x3F67C1BDA0000000], [27 x float] [float 0x3FE9CE0760000000, float 0x3FE9645A20000000, float 0x3FE63E4260000000, float 0x3FE2538F00000000, float 0x3FDE4C2F80000000, float 0x3FD804EA40000000, float 0x3FD231F8A0000000, float 0x3FCA9FBE80000000, float 0x3FC243FE60000000, float 0x3FB7803460000000, float 0x3FA6944680000000, float 0x3F970A3D80000000, float 0x3F86F00680000000, float 0x3F7205BC00000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000], [27 x float] [float 0x3FECD6A160000000, float 0x3FEC3BCD40000000, float 0x3FEAC56D60000000, float 0x3FE7EAB360000000, float 0x3FE38A0900000000, float 0x3FDEB367A0000000, float 0x3FD7FCB920000000, float 0x3FD1D2F1A0000000, float 0x3FC9446740000000, float 0x3FC1C432C0000000, float 0x3FB6113400000000, float 0x3FAB98C7E0000000, float 0x3FA18FC500000000, float 0x3F9652BD40000000, float 0x3F70624DE0000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000], [27 x float] [float 0x3FEA617C20000000, float 0x3FE9645A20000000, float 0x3FE7367A00000000, float 0x3FE53DD980000000, float 0x3FE2BFB160000000, float 0x3FDD1EB860000000, float 0x3FD6872B00000000, float 0x3FD13404E0000000, float 0x3FC896BBA0000000, float 0x3FC06F6940000000, float 0x3FB4DD2F20000000, float 0x3FAA5119C0000000, float 0x3FA0F27BC0000000, float 0x3F95B573E0000000, float 0x3F83A92A40000000, float 0x3F689374C0000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000], [27 x float] [float 0x3FEB9A6B60000000, float 0x3FEAAF4F00000000, float 0x3FE8504820000000, float 0x3FE63A29C0000000, float 0x3FE401A360000000, float 0x3FE1CE0760000000, float 0x3FDD47AE20000000, float 0x3FD6161E40000000, float 0x3FCF6C8B40000000, float 0x3FC5C91D20000000, float 0x3FBCE07600000000, float 0x3FB1D7DC00000000, float 0x3FA3B645A0000000, float 0x3F941205C0000000, float 0x3F80CB2960000000, float 0x3F67C1BDA0000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000], [27 x float] [float 0x3FEC68DB80000000, float 0x3FEB7A7860000000, float 0x3FE895E9E0000000, float 0x3FE51EB860000000, float 0x3FE1404EA0000000, float 0x3FD9D7DC00000000, float 0x3FD3FB15C0000000, float 0x3FCE8A71E0000000, float 0x3FC60418A0000000, float 0x3FBDD97F60000000, float 0x3FB3126EA0000000, float 0x3FA7CED920000000, float 0x3F9B717580000000, float 0x3F802DE000000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000, float 0x3F66F00680000000], [27 x float] [float 0x3FC3C01A40000000, float 0x3FD29E1B00000000, float 0x3FC0D1B720000000, float 0x3FBED91680000000, float 0x3FB2617C20000000, float 0x3FD1810620000000, float 0x3F7758E220000000, float 0xBFB3EAB360000000, float 0xBF8E4F7660000000, float 0x3F819CE080000000, float 0x3F9652BD40000000, float 0x3F9E83E420000000, float 0x3FA1C432C0000000, float 0x3FA3404EA0000000, float 0x3FA42C3CA0000000, float 0x3FA4BC6A80000000, float 0x3FA50B0F20000000, float 0x3FA53F7CE0000000, float 0x3FA566CF40000000, float 0x3FA573EAC0000000, float 0x3FA5810620000000, float 0x3FA58E21A0000000, float 0x3FA58E21A0000000, float 0x3FA58E21A0000000, float 0x3FA59B3D00000000, float 0x3FA59B3D00000000, float 0x3FA59B3D00000000]]
@LIBRARYF.Sin = internal unnamed_addr constant <{ <{ [14 x float], [13 x float] }>, <{ [11 x float], [16 x float] }>, <{ [15 x float], [12 x float] }>, <{ [11 x float], [16 x float] }>, <{ [12 x float], [15 x float] }>, <{ [11 x float], [16 x float] }>, <{ float, [26 x float] }> }> <{ <{ [14 x float], [13 x float] }> <{ [14 x float] [float 0x3FF5FC5040000000, float 0x3FFD1DE6A0000000, float 0x3FFC8865A0000000, float 0x3FFAAB9F60000000, float 0x3FF6810620000000, float 0x3FF37A7860000000, float 0x3FEE49BA60000000, float 0x3FE637B4A0000000, float 0x3FDF3B6460000000, float 0x3FCFE28240000000, float 0x3FAEECBFC0000000, float 0x3F95326180000000, float 0x3F7CAC0840000000, float 0x3F33A92A40000000], [13 x float] zeroinitializer }>, <{ [11 x float], [16 x float] }> <{ [11 x float] [float 0x400138EF40000000, float 0x4004C49BA0000000, float 0x400554C980000000, float 0x4007031260000000, float 0x4003BF7CE0000000, float 0x3FFD786C20000000, float 0x3FF7D7DC00000000, float 0x3FF1EE6320000000, float 0x3FE99E83E0000000, float 0x3FD774BC60000000, float 0x3FB23A29C0000000], [16 x float] zeroinitializer }>, <{ [15 x float], [12 x float] }> <{ [15 x float] [float 0x3FF57D5660000000, float 0x40017FCBA0000000, float 0x4001C538E0000000, float 0x3FFEA233A0000000, float 0x3FF9212D80000000, float 0x3FF456D5C0000000, float 0x3FEA666660000000, float 0x3FE42EB1C0000000, float 0x3FE09E1B00000000, float 0x3FDA666660000000, float 0x3FD58E21A0000000, float 0x3FD475F700000000, float 0x3FD3837B40000000, float 0x3FD1C432C0000000, float 0x3F9D638860000000], [12 x float] zeroinitializer }>, <{ [11 x float], [16 x float] }> <{ [11 x float] [float 0x3FF2113400000000, float 0x3FFD5460A0000000, float 0x4000D97F60000000, float 0x40008D4FE0000000, float 0x40003B2FE0000000, float 0x3FFA19CE00000000, float 0x3FF6226800000000, float 0x3FF2AF4F00000000, float 0x3FEE89A020000000, float 0x3FE52CA580000000, float 0x3FCBD07C80000000], [16 x float] zeroinitializer }>, <{ [12 x float], [15 x float] }> <{ [12 x float] [float 0x3FF91D14E0000000, float 0x400043C9E0000000, float 0x4000762B60000000, float 0x3FF9381D80000000, float 0x3FFD1F8A00000000, float 0x4000E00D20000000, float 0x3FFF326180000000, float 0x3FF4745380000000, float 0x3FE723A2A0000000, float 0x3FDB3B6460000000, float 0x3FC4E703A0000000, float 0x3F2A36E2E0000000], [15 x float] zeroinitializer }>, <{ [11 x float], [16 x float] }> <{ [11 x float] [float 0x3FF767A100000000, float 0x3FFF9A6B60000000, float 0x3FFF604180000000, float 0x3FFA71DE60000000, float 0x3FF3055320000000, float 0x3FF39930C0000000, float 0x3FF209D4A0000000, float 0x3FEDA29C80000000, float 0x3FE5A0F900000000, float 0x3FDBBCD360000000, float 0x3FB8ADABA0000000], [16 x float] zeroinitializer }>, <{ float, [26 x float] }> <{ float 0x3FB5182AA0000000, [26 x float] zeroinitializer }> }>
@reltable.LIBRARYF = [8 x i32] [i32 trunc (i64 sub (i64 ptrtoint (<{ [27 x float], <{ [8 x float], [19 x float] }>, [27 x float], [27 x float], [27 x float], <{ [14 x float], [13 x float] }>, [27 x float] }>* @LIBRARYF.Sf to i64), i64 ptrtoint ([8 x i32]* @reltable.LIBRARYF to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([7 x [27 x float]]* @LIBRARYF.Nu to i64), i64 ptrtoint ([8 x i32]* @reltable.LIBRARYF to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (<{ [27 x float], [27 x float], [27 x float], [27 x float], [27 x float], [27 x float], <{ float, float, float, [24 x float] }> }>* @LIBRARYF.Sc to i64), i64 ptrtoint ([8 x i32]* @reltable.LIBRARYF to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([7 x [27 x float]]* @LIBRARYF.St to i64), i64 ptrtoint ([8 x i32]* @reltable.LIBRARYF to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([7 x [27 x float]]* @LIBRARYF.Se to i64), i64 ptrtoint ([8 x i32]* @reltable.LIBRARYF to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([7 x [27 x float]]* @LIBRARYF.Sre to i64), i64 ptrtoint ([8 x i32]* @reltable.LIBRARYF to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([7 x [27 x float]]* @LIBRARYF.Mue to i64), i64 ptrtoint ([8 x i32]* @reltable.LIBRARYF to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (<{ <{ [14 x float], [13 x float] }>, <{ [11 x float], [16 x float] }>, <{ [15 x float], [12 x float] }>, <{ [11 x float], [16 x float] }>, <{ [12 x float], [15 x float] }>, <{ [11 x float], [16 x float] }>, <{ float, [26 x float] }> }>* @LIBRARYF.Sin to i64), i64 ptrtoint ([8 x i32]* @reltable.LIBRARYF to i64)) to i32)]
define float @LIBRARYF(i32 %0, i32 %1, i32 %2) {
%4 = icmp ult i32 %2, 8
br i1 %4, label %5, label %14
5: ; preds = %3
%6 = sext i32 %2 to i64
%7 = shl i64 %6, 2
%8 = call i8* @llvm.load.relative.i64(i8* bitcast ([8 x i32]* @reltable.LIBRARYF to i8*), i64 %7)
%9 = bitcast i8* %8 to [7 x [27 x float]]*
%10 = sext i32 %0 to i64
%11 = sext i32 %1 to i64
%12 = getelementptr inbounds [7 x [27 x float]], [7 x [27 x float]]* %9, i64 0, i64 %10, i64 %11
%13 = load float, float* %12
br label %14
14: ; preds = %3, %5
%15 = phi float [ undef, %3 ], [ %13, %5 ]
ret float %15
}