float LIBRARYC(int k4, int k5, int k6) {
  float mb;
  switch (k6) {
  case (0): {
    static float Sc[7][27] = {
        .0714,   .0237,   .0059,  .0023,   .0032,  .0051,  .005,   .0061,
        .0055,   .0088,   .0077,  .0214,   .0053,  .01,    .0271,  .0079,
        .0054,   .0111,   .4532,  .0167,   .0217,  .0318,  .0525,  .0865,
        .1427,   .3115,   9.0669, .025,    0,      0,      0,      0,
        0,       0,       0,      0,       0,      0,      0,      0,
        0,       0,       0,      0,       0,      0,      0,      0,
        0,       .0001,   .0001,  .0002,   .0004,  .0121,  .4275,  .3257,
        .124,    .0253,   .0082,  .0086,   .0081,  .0085,  .0093,  .0104,
        .0126,   .0168,   .0218,  .02,     .0143,  .0189,  .0283,  .0236,
        .0241,   .0306,   .0393,  .0742,   .0947,  .1548,  .2564,  .5598,
        16.3724, .0267,   .0046,  .0035,   .0035,  .0036,  .0039,  .004,
        .004,    .0068,   .0098,  .0155,   .0317,  .0336,  .0319,  .0853,
        .0641,   .0254,   .2258,  .0198,   .0231,  .0282,  .0398,  .0643,
        .1052,   .173,    .3774,  11.034,  .004,   .0133,  .0232,  .0298,
        .0304,   .0413,   .0347,  .0322,   .0364,  .0479,  .0673,  .0955,
        .1337,   .1813,   .2335,  .3034,   .4403,  .2968,  1.1767, 4.5197,
        2.3916,  .0034,   .004,   .0224,   1.6955, .0202,  .5336,  .0512,
        .0102,   .002,    .0026,  .0033,   .004,   .0063,  .0097,  .0144,
        .021,    0.299,   .0502,  .0767,   .0823,  .0644,  .0123,  .03404,
        .119,    2.0557,  .2167,  14.4105, .7606,  .3809,  .5018,  .7707,
        1.6322,  47.3279, .00052, .00057,  .00061, .00064, .00065, .00066,
        .00067,  .00067,  .00068, .00214,  .00729, .00028, .00032, .00046,
        .00068,  .00098,  .00145, .00212,  .00312, .00458, .00674, .00983,
        .01446,  .02123,  .03119, .04577,  .16};
    mb = Sc[k4][k5];
  } break;
  case (1): {
    static float St[7][27] = {
        2.6253,  3.5743,   3.3911,  3.0192,  2.6159,   2.7571,  3.3221,
        3.4587,  3.3471,   5.3739,  4.5341,  19.5074,  2.3892,  4.8583,
        12.999,  6.9232,   7.8477,  9.3746,  9.9023,   10.2212, 10.8826,
        11.3267, 11.4522,  11.4865, 11.5426, 11.7115,  20.4536, 1.2522,
        1.6614,  1.8832,   1.9326,  2.4864,  3.1035,   3.6117,  3.9944,
        4.2592,  4.4357,   4.5488,  4.6192,  4.6615,   4.6876,  4.7034,
        4.7128,  4.7188,   4.7222,  4.7242,  4.7261,   4.7272,  4.7281,
        4.7287,  4.729,    4.7291,  4.7292,  4.7408,   3.5616,  3.5284,
        3.2804,  3.2004,   3.0939,  3.1583,  4.0879,   5.4535,  5.0463,
        5.8157,  6.6711,   11.8293, 39.7908, 30.314,   11.9087, 25.0715,
        16.4949, 14.9037,  14.8976, 15.9402, 16.7684,  17.0766, 17.2387,
        17.348,  17.4563,  17.7612, 25.8327, 3.3862,   3.7019,  3.5882,
        3.0894,  2.8202,   3.3445,  3.2961,  3.9071,   6.2601,  6.3774,
        6.605,   3.3075,   3.1174,  6.3179,  24.663,   25.9143, 9.8219,
        6.0235,  4.9442,   4.6473,  4.5203,  4.4481,   4.4291,  4.4554,
        4.5179,  4.72,     15.3757, 4.1461,  3.7779,   4.28,    5.1634,
        6.3174,  7.4508,   8.4107,  8.9116,  9.4494,   9.6105,  8.9263,
        8.314,   7.8549,   7.5571,  7.364,   9.1428,   9.5462,  6.9073,
        6.1958,  29.0959,  6.2506,  3.6802,  3.7817,   3.8238,  5.5049,
        3.8325,  4.3464,   3.4592,  3.7236,  3.62,     3.4658,  3.211,
        3.2798,  3.9113,   5.2237,  7.3162,  7.4838,   8.9368,  14.1868,
        12.7031, 10.296,   46.7171, 13.8481, 271.7339, 42.261,  73.4506,
        21.3935, 643.2271, 17.9706, 3.3891,  2.6227,   2.6428,  3.4161,
        49.0833, 1.768,    1.899,   2.262,   2.365,    3.035,   3.623,
        3.243,   5.542,    2.766,   1.699,   1.434,    1.71,    2.099,
        2.15,    2.151,    2.151,   2.151,   2.152,    2.153,   2.155,
        2.157,   2.16,     2.164,   2.171,   2.181,    2.196,   2.31};
    mb = St[k4][k5];
  } break;
  case (2): {
    static float Se[7][27] = {
        2.0218,  2.2624,   2.3849,  2.3372,  2.1818,   2.752,   3.3171,
        3.4526,  3.3416,   5.3651,  4.5264,  19.486,   2.384,   4.8483,
        12.9719, 6.9153,   7.8423,  9.3635,  9.4492,   10.2045, 10.8609,
        11.2949, 11.3997,  11.3999, 11.3999, 11.3999,  11.3867, .9124,
        1.63,    1.8832,   1.9326,  2.4864,  3.1035,   3.6117,  3.9944,
        4.2592,  4.4357,   4.5488,  4.6192,  4.6615,   4.6876,  4.7034,
        4.7128,  4.7188,   4.7222,  4.7242,  4.726,    4.7272,  4.7281,
        4.7286,  4.7289,   4.7289,  4.7288,  4.7287,   2.0686,  2.0068,
        2.1974,  2.815,    3.0857,  3.1497,  4.0799,   5.445,   5.0369,
        5.8053,  6.6585,   11.8125, 39.769,  30.2941,  11.8943, 25.0526,
        16.4666, 14.8801,  14.8735, 15.9095, 16.7291,  17.0024, 17.144,
        17.1932, 17.2,     17.2014, 9.4603,  2.1598,   2.4297,  2.6631,
        2.6125,  2.7919,   3.3382,  3.2921,  3.9031,   6.2533,  6.3676,
        6.5896,  3.2759,   3.0838,  6.286,   24.5777,  25.8502, 9.7965,
        5.7977,  4.9244,   4.6243,  4.4921,  4.4083,   4.3648,  4.3501,
        4.3449,  4.3427,   4.3416,  2.2077,  1.8428,   2.4523,  3.914,
        5.8843,  7.4095,   8.376,   8.8793,  9.413,    9.5626,  8.859,
        8.2185,  7.7212,   7.3757,  7.1304,  8.8394,   9.106,   6.6105,
        5.0191,  24.5763,  3.8589,  3.6768,  3.7777,   3.8014,  3.8095,
        3.8123,  3.8128,   2.0318,  2.3576,  2.3744,   2.4117,  2.4681,
        2.7943,  3.5048,   4.8485,  7.0951,  7.4628,   8.9069,  14.1366,
        12.6264, 10.2137,  46.6527, 13.8358, 271.3936, 42.142,  71.3949,
        21.1768, 628.8167, 17.21,   3.0082,  2.1208,   1.8721,  1.7838,
        1.7554,  .722,     .806,    1.465,   1.834,    2.888,   3.622,
        3.242,   5.541,    2.765,   1.697,   1.427,    1.71,    2.099,
        2.15,    2.15,     2.15,    2.15,    2.15,     2.15,    2.15,
        2.15,    2.15,     2.15,    2.15,    2.15,     2.15,    2.15};
    mb = Se[k4][k5];
  } break;
  case (3): {
    static float Sre[7][27] = {
        .0577,  .076,   .1029,  .1213,  .1246,  .1797,  .2212,  .2379,  .2359,
        .3829,  .3231,  1.391,  .1702,  .3461,  .926,   .4937,  .5598,  .6684,
        .6745,  .7285,  .7753,  .4031,  .4069,  .4069,  .4069,  .2034,  .046,
        .459,   .6467,  .6765,  .5833,  .7315,  .9246,  1.0958, 1.2308, 1.3271,
        1.3924, 1.4347, 1.4612, 1.4773, 1.4873, 1.4928, 1.4958, 1.4978, 1.499,
        1.4997, 1.5004, 1.5008, .7506,  .7508,  .7509,  .751,   .3756,  .0851,
        .0589,  .0614,  .0927,  .1421,  .1861,  .1881,  .2587,  .3501,  .3264,
        .3804,  .4425,  .7961,  2.6804, 2.0418, .8017,  1.6885, 1.1098, 1.0029,
        1.0025, 1.0723, 1.1275, .573,   .5778,  .5794,  .5796,  .2898,  .0361,
        .1428,  .136,   .1275,  .1395,  .1736,  .2019,  .1965,  .2386,  .3878,
        .4223,  .4956,  .2509,  .2362,  .4815,  1.8827, 1.9802, .7504,  .4441,
        .3772,  .3542,  .3441,  .1688,  .1672,  .1666,  .1664,  .0832,  .0188,
        .0576,  .0436,  .0456,  .0686,  .1132,  .1657,  .2302,  .2809,  .325,
        .3492,  .3381,  .3227,  .3085,  .2578,  .2896,  .3602,  .3718,  .2702,
        .2053,  1.0059, .1579,  .0752,  .0773,  .0778,  .078,   .039,   .0088,
        .0915,  .0928,  .0923,  .1162,  .1598,  .1931,  .2413,  .3376,  .5009,
        .5351,  .6452,  1.0256, .916,   .741,   3.3846, 1.0038, 0,      3.0573,
        5.1796, 1.5363, 0,      .6243,  .1091,  .0769,  .0679,  .0324,  .0072,
        .0388,  .0433,  .1064,  .1571,  .2375,  .2824,  .2887,  .5277,  .2816,
        .1555,  .1297,  .1567,  .1923,  .1955,  .197,   .1969,  .1955,  .197,
        .1969,  .1955,  .197,   .1969,  .1955,  .197,   .1969,  .1955,  0};
    mb = Sre[k4][k5];
  } break;
  case (4): {
    static float Mue[7][27] = {
        .8128, .6776, .456,  .2817, .2097, .0963, .077,  .0464, .0231, .0123,
        .012,  .012,  .012,  .012,  .012,  .012,  .012,  .012,  .012,  .012,
        .012,  .012,  .012,  .012,  .012,  .012,  .012,  .2908, .1827, .0276,
        .1039, .1265, .1155, .0992, .0851, .0749, .068,  .0635, .0607, .059,
        .0579, .0576, .0576, .0575, .0575, .0574, .0573, .0573, .0572, .0571,
        .057,  .0569, .0567, .0562, .7989, .6864, .4363, .2613, .1169, .1247,
        .0712, .0579, .0502, .0397, .0257, .0113, .0113, .0113, .0113, .0113,
        .0113, .0113, .0113, .0113, .0113, .0113, .0113, .0113, .0113, .0113,
        .0113, .5955, .4998, .438,  .3122, .199,  .2208, .2311, .2123, .2009,
        .1456, .0309, .0129, .0129, .0129, .0129, .0129, .0129, .0129, .0129,
        .0129, .0129, .0129, .0129, .0129, .0129, .0129, .0129, .6998, .6018,
        .5888, .5747, .5334, .4575, .3333, .2324, .1622, .1139, .074,  .0471,
        .0304, .0203, .0146, .0113, .0093, .0081, .0073, .0069, .0069, .0069,
        .0069, .0069, .0069, .0069, .0069, .7095, .6284, .518,  .3441, .1184,
        .059,  .0626, .0521, .0388, .0238, .0138, .0122, .0122, .0122, .0122,
        .0122, .0122, .0122, .0122, .0122, .0122, .0122, .0122, .0122, .0122,
        .0122, .0122, .7333, .6423, .5091, .4397, .3362, .3928, .1409, .0813,
        .0178, .024,  .024,  .024,  .024,  .024,  .024,  .024,  .024,  .024,
        .024,  .024,  .024,  .024,  .024,  .024,  .024,  .024,  .024};
    mb = Mue[k4][k5];
  } break;
  case (5): {
    static float Sin[7][27] = {
        .532,   1.2882, 1.0003, .6797,  .4308, 0,     0,     0,     0,
        0,      0,      0,      0,      0,     0,     0,     0,     0,
        0,      0,      0,      0,      0,     0,     0,     0,     0,
        .3148,  .0314,  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,
        1.0654, 1.1959, .9589,  .3601,  0,     0,     0,     0,     0,
        0,      0,      0,      0,      0,     0,     0,     0,     0,
        0,      0,      0,      0,      0,     0,     0,     0,     0,
        1.1997, 1.2677, .9217,  .4734,  .0247, .0023, 0,     0,     0,
        0,      0,      0,      0,      0,     0,     0,     0,     0,
        0,      0,      0,      0,      0,     0,     0,     0,     0,
        1.9344, 1.9218, 1.8045, 1.2196, .4027, 0,     0,     0,     0,
        0,      0,      0,      0,      0,     0,     0,     0,     0,
        0,      0,      0,      0,      0,     0,     0,     0,     0,
        1.3761, 1.3558, 1.2436, 1.0515, .7397, .4815, .4002, .3655, .2067,
        0,      0,      0,      0,      0,     0,     0,     0,     0,
        0,      0,      0,      0,      0,     0,     0,     0,     0,
        .5903,  .6875,  .7463,  .5301,  .1457, .00029};
    mb = Sin[k4][k5];
  } break;
  }
  return mb;
}


x86 assembly (clang, -O0):
<LIBRARYC>:
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    $0x5,%rax
ja     120b <LIBRARYC+0x10b>
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    120b <LIBRARYC+0x10b>
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    120b <LIBRARYC+0x10b>
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    120b <LIBRARYC+0x10b>
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    120b <LIBRARYC+0x10b>
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    120b <LIBRARYC+0x10b>
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)
movss  -0x10(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<LIBRARYC>:
cmp    $0x5,%edx
ja     1128 <LIBRARYC+0x28>
movslq %edx,%rax
lea    0x20e5(%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):
@LIBRARYC.Sc = internal global [7 x [27 x float]] [[27 x float] [float 0x3FB2474540000000, float 0x3F9844D020000000, float 0x3F782A9940000000, float 0x3F62D77320000000, float 0x3F6A36E2E0000000, float 0x3F74E3BCE0000000, float 0x3F747AE140000000, float 0x3F78FC5040000000, float 0x3F76872B00000000, float 0x3F8205BC00000000, float 0x3F7F8A0900000000, float 0x3F95E9E1C0000000, float 0x3F75B573E0000000, float 0x3F847AE140000000, float 0x3F9BC01A40000000, float 0x3F802DE000000000, float 0x3F761E4F80000000, float 0x3F86BB98C0000000, float 0x3FDD013AA0000000, float 0x3F9119CE00000000, float 0x3F96388660000000, float 0x3FA0481700000000, float 0x3FAAE147A0000000, float 0x3FB624DD20000000, float 0x3FC243FE60000000, float 0x3FD3EF9DC0000000, float 0x40222240C0000000], [27 x float] [float 0x3F999999A0000000, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0x3F1A36E2E0000000, float 0x3F1A36E2E0000000, float 0x3F2A36E2E0000000, float 0x3F3A36E2E0000000, float 0x3F88C7E280000000], [27 x float] [float 0x3FDB5C2900000000, float 0x3FD4D844E0000000, float 0x3FBFBE76C0000000, float 0x3F99E83E40000000, float 0x3F80CB2960000000, float 0x3F819CE080000000, float 0x3F8096BBA0000000, float 0x3F816872C0000000, float 0x3F830BE0E0000000, float 0x3F854C9860000000, float 0x3F89CE0760000000, float 0x3F913404E0000000, float 0x3F9652BD40000000, float 0x3F947AE140000000, float 0x3F8D495180000000, float 0x3F935A8580000000, float 0x3F9CFAACE0000000, float 0x3F982A9940000000, float 0x3F98ADABA0000000, float 0x3F9F559B40000000, float 0x3FA41F2120000000, float 0x3FB2FEC560000000, float 0x3FB83E4260000000, float 0x3FC3D07C80000000, float 0x3FD068DB80000000, float 0x3FE1E9E1C0000000, float 0x40305F55A0000000], [27 x float] [float 0x3F9B573EA0000000, float 0x3F72D77320000000, float 0x3F6CAC0840000000, float 0x3F6CAC0840000000, float 0x3F6D7DBF40000000, float 0x3F6FF2E480000000, float 0x3F70624DE0000000, float 0x3F70624DE0000000, float 0x3F7BDA5120000000, float 0x3F841205C0000000, float 0x3F8FBE76C0000000, float 0x3FA03AFB80000000, float 0x3FA13404E0000000, float 0x3FA0553260000000, float 0x3FB5D63880000000, float 0x3FB068DB80000000, float 0x3F9A027520000000, float 0x3FCCE703A0000000, float 0x3F94467380000000, float 0x3F97A786C0000000, float 0x3F9CE07600000000, float 0x3FA460AA60000000, float 0x3FB075F700000000, float 0x3FBAEE6320000000, float 0x3FC624DD20000000, float 0x3FD8275260000000, float 0x4026116880000000], [27 x float] [float 0x3F70624DE0000000, float 0x3F8B3D07C0000000, float 0x3F97C1BDA0000000, float 0x3F9E83E420000000, float 0x3F9F212D80000000, float 0x3FA5254600000000, float 0x3FA1C432C0000000, float 0x3FA07C84C0000000, float 0x3FA2A30560000000, float 0x3FA8865940000000, float 0x3FB13A92A0000000, float 0x3FB872B020000000, float 0x3FC11D14E0000000, float 0x3FC734D6A0000000, float 0x3FCDE35400000000, float 0x3FD36AE7E0000000, float 0x3FDC2DE000000000, float 0x3FD2FEC560000000, float 0x3FF2D3C360000000, float 0x4012142C40000000, float 0x400321FF20000000, float 0x3F6BDA5120000000, float 0x3F70624DE0000000, float 0x3F96F00680000000, float 0x3FFB20C4A0000000, float 0x3F94AF4F00000000, float 0x3FE1134040000000], [27 x float] [float 0x3FAA36E2E0000000, float 0x3F84E3BCE0000000, float 0x3F60624DE0000000, float 0x3F654C9860000000, float 0x3F6B089A00000000, float 0x3F70624DE0000000, float 0x3F79CE0760000000, float 0x3F83DD9800000000, float 0x3F8D7DBF40000000, float 0x3F95810620000000, float 0x3FD322D0E0000000, float 0x3FA9B3D080000000, float 0x3FB3A29C80000000, float 0x3FB5119CE0000000, float 0x3FB07C84C0000000, float 0x3F8930BE00000000, float 0x3FA16DB0E0000000, float 0x3FBE76C8C0000000, float 0x40007212E0000000, float 0x3FCBBCD360000000, float 0x402CD22D00000000, float 0x3FE856D5C0000000, float 0x3FD860AA60000000, float 0x3FE00EBEE0000000, float 0x3FE8A99300000000, float 0x3FFA1D7DC0000000, float 0x4047A9F8A0000000], [27 x float] [float 0x3F410A1380000000, float 0x3F42AD81A0000000, float 0x3F43FD0D00000000, float 0x3F44F8B580000000, float 0x3F454C9860000000, float 0x3F45A07B40000000, float 0x3F45F45E00000000, float 0x3F45F45E00000000, float 0x3F464840E0000000, float 0x3F6187E7C0000000, float 0x3F7DDC1E80000000, float 0x3F32599EE0000000, float 0x3F34F8B580000000, float 0x3F3E258500000000, float 0x3F464840E0000000, float 0x3F500E6B00000000, float 0x3F57C1BDA0000000, float 0x3F615DF660000000, float 0x3F698F1D40000000, float 0x3F72C27A60000000, float 0x3F7B9B6700000000, float 0x3F8421C040000000, float 0x3F8D9D3460000000, float 0x3F95BD5120000000, float 0x3F9FF04580000000, float 0x3FA76F2A60000000, float 0x3FC47AE140000000]]
@LIBRARYC.St = internal global [7 x [27 x float]] [[27 x float] [float 0x4005009D40000000, float 0x400C982AA0000000, float 0x400B20F900000000, float 0x4008275260000000, float 0x4004ED5D00000000, float 0x40060E8A80000000, float 0x400A93A920000000, float 0x400BAB6AE0000000, float 0x400AC6DC60000000, float 0x40157EDFA0000000, float 0x401222EB20000000, float 0x403381E500000000, float 0x40031D14E0000000, float 0x40136EE640000000, float 0x4029FF7CE0000000, float 0x401BB15B60000000, float 0x401F640B80000000, float 0x4022BFCBA0000000, float 0x4023CDFA40000000, float 0x4024714120000000, float 0x4025C3E420000000, float 0x4026A74540000000, float 0x4026E786C0000000, float 0x4026F91680000000, float 0x402715CFA0000000, float 0x40276C49C0000000, float 0x4034741F20000000], [27 x float] [float 0x3FF40902E0000000, float 0x3FFA951820000000, float 0x3FFE219660000000, float 0x3FFEEBEE00000000, float 0x4003E425A0000000, float 0x4008D3F7C0000000, float 0x400CE4C300000000, float 0x400FF48800000000, float 0x4011096BC0000000, float 0x4011BE2820000000, float 0x401231F8A0000000, float 0x40127A0FA0000000, float 0x4012A56040000000, float 0x4012C01A40000000, float 0x4012D04820000000, float 0x4012D9E840000000, float 0x4012E00D20000000, float 0x4012E38860000000, float 0x4012E594A0000000, float 0x4012E786C0000000, float 0x4012E8A720000000, float 0x4012E99300000000, float 0x4012EA3060000000, float 0x4012EA7F00000000, float 0x4012EA9940000000, float 0x4012EAB360000000, float 0x4012F69440000000], [27 x float] [float 0x400C7E2820000000, float 0x400C3A29C0000000, float 0x400A3E4260000000, float 0x40099A6B60000000, float 0x4008C04EA0000000, float 0x40094432C0000000, float 0x40105A0280000000, float 0x4015D06240000000, float 0x40142F6940000000, float 0x40174346E0000000, float 0x401AAF34E0000000, float 0x4027A89A00000000, float 0x4043E538E0000000, float 0x403E506240000000, float 0x4027D14120000000, float 0x4039124DE0000000, float 0x40307EB1C0000000, float 0x402DCEB1C0000000, float 0x402DCB9240000000, float 0x402FE161E0000000, float 0x4030C4B5E0000000, float 0x4031139C00000000, float 0x40313D1B80000000, float 0x4031591680000000, float 0x403174D020000000, float 0x4031C2DE00000000, float 0x4039D52BE0000000], [27 x float] [float 0x400B16F000000000, float 0x400D9D7DC0000000, float 0x400CB4A240000000, float 0x4008B71760000000, float 0x40068FC500000000, float 0x400AC18940000000, float 0x400A5E69A0000000, float 0x400F41BDA0000000, float 0x40190A57A0000000, float 0x4019827520000000, float 0x401A6B8520000000, float 0x400A75C280000000, float 0x4008F06F60000000, float 0x40194587A0000000, float 0x4038A9BA60000000, float 0x4039EA0FA0000000, float 0x4023A4D020000000, float 0x4018181060000000, float 0x4013C6DC60000000, float 0x401296D5C0000000, float 0x401214C980000000, float 0x4011CADAC0000000, float 0x4011B76600000000, float 0x4011D25460000000, float 0x4012125460000000, float 0x4012E147A0000000, float 0x402EC05BC0000000], [27 x float] [float 0x4010959B40000000, float 0x400E3923A0000000, float 0x40111EB860000000, float 0x4014A75260000000, float 0x4019450480000000, float 0x401DCD9E80000000, float 0x4020D24740000000, float 0x4021D2BD40000000, float 0x4022E617C0000000, float 0x4023389380000000, float 0x4021DA4400000000, float 0x4020A0C4A0000000, float 0x401F6B6AE0000000, float 0x401E3A7860000000, float 0x401D74BC60000000, float 0x4022491D20000000, float 0x402317A780000000, float 0x401BA11340000000, float 0x4018C87FC0000000, float 0x403D188CE0000000, float 0x4019009D40000000, float 0x400D710CC0000000, float 0x400E40EBE0000000, float 0x400E972480000000, float 0x4016050480000000, float 0x400EA8F5C0000000, float 0x401162B6A0000000], [27 x float] [float 0x400BAC7100000000, float 0x400DC9EEC0000000, float 0x400CF5C280000000, float 0x400BB9F560000000, float 0x4009B020C0000000, float 0x400A3D07C0000000, float 0x400F4A57A0000000, float 0x4014E511A0000000, float 0x401D43C9E0000000, float 0x401DEF6940000000, float 0x4021DFA440000000, float 0x402C5FA440000000, float 0x402967FCC0000000, float 0x4024978D40000000, float 0x40475BC9E0000000, float 0x402BB23A20000000, float 0x4070FBBE00000000, float 0x4045216880000000, float 0x40525CD6A0000000, float 0x403564BC60000000, float 0x408419D120000000, float 0x4031F87940000000, float 0x400B1CE080000000, float 0x4004FB4A20000000, float 0x4005247460000000, float 0x400B542C40000000, float 0x40488AA9A0000000], [27 x float] [float 0x3FFC49BA60000000, float 0x3FFE624DE0000000, float 0x4002189380000000, float 0x4002EB8520000000, float 0x400847AE20000000, float 0x400CFBE760000000, float 0x4009F1AA00000000, float 0x40162B0200000000, float 0x400620C4A0000000, float 0x3FFB2F1AA0000000, float 0x3FF6F1AA00000000, float 0x3FFB5C2900000000, float 0x4000CAC080000000, float 0x4001333340000000, float 0x4001353F80000000, float 0x4001353F80000000, float 0x4001353F80000000, float 0x4001374BC0000000, float 0x4001395820000000, float 0x40013D70A0000000, float 0x4001418940000000, float 0x400147AE20000000, float 0x40014FDF40000000, float 0x40015E3540000000, float 0x400172B020000000, float 0x4001916880000000, float 0x40027AE140000000]]
@LIBRARYC.Se = internal global [7 x [27 x float]] [[27 x float] [float 0x40002CA580000000, float 0x4002196520000000, float 0x4003144680000000, float 0x4002B295E0000000, float 0x4001745380000000, float 0x40060418A0000000, float 0x400A896BC0000000, float 0x400B9EECC0000000, float 0x400ABB98C0000000, float 0x401575DCC0000000, float 0x40121B08A0000000, float 0x40337C6A80000000, float 0x4003126EA0000000, float 0x401364A8C0000000, float 0x4029F19CE0000000, float 0x401BA94460000000, float 0x401F5E83E0000000, float 0x4022BA1CA0000000, float 0x4022E5FD80000000, float 0x402468B440000000, float 0x4025B8C7E0000000, float 0x402696FD20000000, float 0x4026CCA580000000, float 0x4026CCBFC0000000, float 0x4026CCBFC0000000, float 0x4026CCBFC0000000, float 0x4026C5FD80000000], [27 x float] [float 0x3FED326180000000, float 0x3FFA147AE0000000, float 0x3FFE219660000000, float 0x3FFEEBEE00000000, float 0x4003E425A0000000, float 0x4008D3F7C0000000, float 0x400CE4C300000000, float 0x400FF48800000000, float 0x4011096BC0000000, float 0x4011BE2820000000, float 0x401231F8A0000000, float 0x40127A0FA0000000, float 0x4012A56040000000, float 0x4012C01A40000000, float 0x4012D04820000000, float 0x4012D9E840000000, float 0x4012E00D20000000, float 0x4012E38860000000, float 0x4012E594A0000000, float 0x4012E76C80000000, float 0x4012E8A720000000, float 0x4012E99300000000, float 0x4012EA1620000000, float 0x4012EA64C0000000, float 0x4012EA64C0000000, float 0x4012EA4A80000000, float 0x4012EA3060000000], [27 x float] [float 0x40008C7E20000000, float 0x40000DED20000000, float 0x4001944680000000, float 0x4006851EC0000000, float 0x4008AF8380000000, float 0x40093295E0000000, float 0x401051D140000000, float 0x4015C7AE20000000, float 0x401425C920000000, float 0x401738A0A0000000, float 0x401AA24DE0000000, float 1.181250e+01, float 0x4043E26EA0000000, float 0x403E4B4A20000000, float 0x4027C9E1C0000000, float 0x40390D7740000000, float 0x4030777320000000, float 0x402DC29C80000000, float 0x402DBF3B60000000, float 0x402FD1AA00000000, float 0x4030BAA640000000, float 0x4031009D40000000, float 0x403124DD20000000, float 0x4031317580000000, float 0x4031333340000000, float 0x4031338F00000000, float 0x4022EBAC80000000], [27 x float] [float 0x4001474540000000, float 0x4003700680000000, float 0x40054E0760000000, float 0x4004E66660000000, float 0x400655CFA0000000, float 0x400AB4A240000000, float 0x400A563880000000, float 0x400F398C80000000, float 0x4019036120000000, float 0x4019786C20000000, float 0x401A5BC020000000, float 0x400A350B00000000, float 0x4008AB9F60000000, float 0x401924DD20000000, float 0x403893E420000000, float 0x4039D9A6C0000000, float 0x402397CEE0000000, float 0x401730D840000000, float 0x4013B295E0000000, float 0x40127F4880000000, float 0x4011F7E900000000, float 0x4011A21960000000, float 0x4011758E20000000, float 0x40116680A0000000, float 0x4011612D80000000, float 0x40115EECC0000000, float 0x40115DCC60000000], [27 x float] [float 0x4001A95EA0000000, float 0x3FFD7C1BE0000000, float 0x40039E4F80000000, float 0x400F4FDF40000000, float 0x4017898600000000, float 0x401DA35400000000, float 0x4020C08320000000, float 0x4021C233A0000000, float 0x4022D374C0000000, float 0x4023200D20000000, float 0x4021B7CEE0000000, float 0x40206FDF40000000, float 0x401EE28240000000, float 0x401D80B780000000, float 0x401C8587A0000000, float 0x4021ADC5E0000000, float 0x40223645A0000000, float 0x401A7126E0000000, float 0x4014138F00000000, float 0x4038938860000000, float 0x400EDF0700000000, float 0x400D6A1620000000, float 0x400E38BAC0000000, float 0x400E694460000000, float 0x400E79DB20000000, float 0x400E7F9720000000, float 0x400E809D40000000], [27 x float] [float 0x4000412060000000, float 0x4002DC5D60000000, float 0x4002FEC560000000, float 0x40034B2960000000, float 0x4003BEAB40000000, float 0x40065ABA00000000, float 0x400C09D4A0000000, float 0x401364DD20000000, float 0x401C6161E0000000, float 0x401DD9E840000000, float 0x4021D05540000000, float 0x402C45F060000000, float 0x402940B780000000, float 0x40246D6A20000000, float 0x4047538BA0000000, float 0x402BABEE00000000, float 0x4070F64C20000000, float 0x4045122D00000000, float 0x4051D94600000000, float 0x40352D42C0000000, float 0x4083A688A0000000, float 0x403135C280000000, float 0x400810CB20000000, float 0x4000F76600000000, float 0x3FFDF41F20000000, float 0x3FFC8A71E0000000, float 0x3FFC161E40000000], [27 x float] [float 0x3FE71A9FC0000000, float 0x3FE9CAC080000000, float 0x3FF770A3E0000000, float 0x3FFD581060000000, float 0x40071A9FC0000000, float 0x400CF9DB20000000, float 0x4009EF9DC0000000, float 0x401629FBE0000000, float 0x40061EB860000000, float 0x3FFB26E980000000, float 0x3FF6D4FE00000000, float 0x3FFB5C2900000000, float 0x4000CAC080000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000]]
@LIBRARYC.Sre = internal global [7 x [27 x float]] [[27 x float] [float 0x3FAD8ADAC0000000, float 0x3FB374BC60000000, float 0x3FBA57A780000000, float 0x3FBF0D8440000000, float 0x3FBFE5C920000000, float 0x3FC70068E0000000, float 0x3FCC504820000000, float 0x3FCE7381E0000000, float 0x3FCE31F8A0000000, float 0x3FD8816F00000000, float 0x3FD4ADABA0000000, float 0x3FF6418940000000, float 0x3FC5C91D20000000, float 0x3FD62680A0000000, float 0x3FEDA1CAC0000000, float 0x3FDF98C7E0000000, float 0x3FE1E9E1C0000000, float 0x3FE5638860000000, float 0x3FE5958100000000, float 0x3FE74FDF40000000, float 0x3FE8CF4200000000, float 0x3FD9CC6400000000, float 0x3FDA0AA640000000, float 0x3FDA0AA640000000, float 0x3FDA0AA640000000, float 0x3FCA0902E0000000, float 0x3FA78D4FE0000000], [27 x float] [float 0x3FDD604180000000, float 0x3FE4B1C440000000, float 0x3FE5A5E360000000, float 0x3FE2AA64C0000000, float 0x3FE76872C0000000, float 0x3FED9652C0000000, float 0x3FF18865A0000000, float 0x3FF3B15B60000000, float 0x3FF53BCD40000000, float 0x3FF6474540000000, float 0x3FF6F48800000000, float 0x3FF7611340000000, float 0x3FF7A30560000000, float 0x3FF7CBFB20000000, float 0x3FF7E28240000000, float 0x3FF7EECC00000000, float 0x3FF7F6FD20000000, float 0x3FF7FBE760000000, float 0x3FF7FEC560000000, float 0x3FF801A360000000, float 0x3FF80346E0000000, float 0x3FE804EA40000000, float 0x3FE8068DC0000000, float 0x3FE8075F60000000, float 0x3FE8083120000000, float 0x3FD809D4A0000000, float 0x3FB5C91D20000000], [27 x float] [float 0x3FAE282400000000, float 0x3FAF6FD220000000, float 0x3FB7BB2FE0000000, float 0x3FC2305540000000, float 0x3FC7D22000000000, float 0x3FC813A920000000, float 0x3FD08E8A80000000, float 0x3FD66809E0000000, float 0x3FD4E3BCE0000000, float 0x3FD8587940000000, float 0x3FDC51EB80000000, float 0x3FE979A6C0000000, float 0x4005717580000000, float 0x4000559B40000000, float 0x3FE9A786C0000000, float 0x3FFB0418A0000000, float 0x3FF1C1BDA0000000, float 0x3FF00BE0E0000000, float 0x3FF00A3D80000000, float 0x3FF1282400000000, float 0x3FF20A3D80000000, float 0x3FE2560420000000, float 0x3FE27D5660000000, float 0x3FE28A71E0000000, float 0x3FE28C1540000000, float 0x3FD28C1540000000, float 0x3FA27BB300000000], [27 x float] [float 0x3FC2474540000000, float 0x3FC16872C0000000, float 0x3FC051EB80000000, float 0x3FC1DB22E0000000, float 0x3FC6388660000000, float 0x3FC9D7DC00000000, float 0x3FC926E980000000, float 0x3FCE8A71E0000000, float 0x3FD8D1B720000000, float 0x3FDB06F6A0000000, float 0x3FDFB7E900000000, float 0x3FD00EBEE0000000, float 0x3FCE3BCD40000000, float 0x3FDED0E560000000, float 0x3FFE1F8A00000000, float 0x3FFFAEE640000000, float 0x3FE80346E0000000, float 0x3FDC6C2260000000, float 0x3FD8240B80000000, float 0x3FD6AB3680000000, float 0x3FD605BC00000000, float 0x3FC59B3D00000000, float 0x3FC566CF40000000, float 0x3FC5532620000000, float 0x3FC54C9860000000, float 0x3FB54C9860000000, float 0x3F93404EA0000000], [27 x float] [float 0x3FAD7DBF40000000, float 0x3FA652BD40000000, float 0x3FA758E220000000, float 0x3FB18FC500000000, float 0x3FBCFAACE0000000, float 0x3FC535A860000000, float 0x3FCD773180000000, float 0x3FD1FA4400000000, float 0x3FD4CCCCC0000000, float 0x3FD6594B00000000, float 0x3FD5A36E20000000, float 0x3FD4A71DE0000000, float 0x3FD3BE76C0000000, float 0x3FD07FCBA0000000, float 0x3FD288CE80000000, float 0x3FD70D8440000000, float 0x3FD7CB9240000000, float 0x3FD14AF500000000, float 0x3FCA474540000000, float 0x3FF0182AA0000000, float 0x3FC4361140000000, float 0x3FB3404EA0000000, float 0x3FB3C9EEC0000000, float 0x3FB3EAB360000000, float 0x3FB3F7CEE0000000, float 0x3FA3F7CEE0000000, float 0x3F8205BC00000000], [27 x float] [float 0x3FB76C8B40000000, float 0x3FB7C1BDA0000000, float 0x3FB7A0F900000000, float 0x3FBDBF4880000000, float 0x3FC4745380000000, float 0x3FC8B78040000000, float 0x3FCEE2EB20000000, float 0x3FD59B3D00000000, float 0x3FE0075F60000000, float 0x3FE11F8A00000000, float 0x3FE4A57A80000000, float 0x3FF068DB80000000, float 0x3FED4FDF40000000, float 0x3FE7B645A0000000, float 0x400B13A920000000, float 0x3FF00F90A0000000, float 0.000000e+00, float 0x40087559C0000000, float 0x4014B7E900000000, float 0x3FF894AF40000000, float 0.000000e+00, float 0x3FE3FA4400000000, float 0x3FBBEDFA40000000, float 0x3FB3AFB7E0000000, float 0x3FB161E500000000, float 0x3FA096BBA0000000, float 0x3F7D7DBF40000000], [27 x float] [float 0x3FA3DD9800000000, float 0x3FA62B6AE0000000, float 0x3FBB3D07C0000000, float 0x3FC41BDA60000000, float 0x3FCE666660000000, float 0x3FD212D780000000, float 0x3FD27A0FA0000000, float 0x3FE0E2EB20000000, float 0x3FD205BC00000000, float 0x3FC3E76C80000000, float 0x3FC09A0280000000, float 0x3FC40EBEE0000000, float 0x3FC89D4960000000, float 0x3FC90624E0000000, float 0x3FC9374BC0000000, float 0x3FC93404E0000000, float 0x3FC90624E0000000, float 0x3FC9374BC0000000, float 0x3FC93404E0000000, float 0x3FC90624E0000000, float 0x3FC9374BC0000000, float 0x3FC93404E0000000, float 0x3FC90624E0000000, float 0x3FC9374BC0000000, float 0x3FC93404E0000000, float 0x3FC90624E0000000, float 0.000000e+00]]
@LIBRARYC.Mue = internal global [7 x [27 x float]] [[27 x float] [float 0x3FEA027520000000, float 0x3FE5AEE640000000, float 0x3FDD2F1AA0000000, float 0x3FD2075F60000000, float 0x3FCAD77320000000, float 0x3FB8A71DE0000000, float 0x3FB3B645A0000000, float 0x3FA7C1BDA0000000, float 0x3F97A786C0000000, float 0x3F8930BE00000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000], [27 x float] [float 0x3FD29C77A0000000, float 0x3FC762B6A0000000, float 0x3F9C432CA0000000, float 0x3FBA9930C0000000, float 0x3FC03126E0000000, float 0x3FBD916880000000, float 0x3FB9652BE0000000, float 0x3FB5C91D20000000, float 0x3FB32CA580000000, float 0x3FB16872C0000000, float 0x3FB0418940000000, float 0x3FAF141200000000, float 0x3FAE353F80000000, float 0x3FADA511A0000000, float 0x3FAD7DBF40000000, float 0x3FAD7DBF40000000, float 0x3FAD70A3E0000000, float 0x3FAD70A3E0000000, float 0x3FAD638860000000, float 0x3FAD566D00000000, float 0x3FAD566D00000000, float 0x3FAD495180000000, float 0x3FAD3C3620000000, float 0x3FAD2F1AA0000000, float 0x3FAD21FF20000000, float 0x3FAD07C840000000, float 0x3FACC63F20000000], [27 x float] [float 0x3FE99096C0000000, float 0x3FE5F6FD20000000, float 0x3FDBEC56E0000000, float 0x3FD0B923A0000000, float 0x3FBDED2880000000, float 0x3FBFEC56E0000000, float 0x3FB23A29C0000000, float 0x3FADA511A0000000, float 0x3FA9B3D080000000, float 0x3FA4538F00000000, float 0x3F9A5119C0000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000], [27 x float] [float 0x3FE30E5600000000, float 0x3FDFFCB920000000, float 0x3FDC083120000000, float 0x3FD3FB15C0000000, float 0x3FC978D500000000, float 0x3FCC432CA0000000, float 0x3FCD94AF40000000, float 0x3FCB2CA580000000, float 0x3FC9B71760000000, float 0x3FC2A30560000000, float 0x3F9FA43FE0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000], [27 x float] [float 0x3FE664C300000000, float 0x3FE341F220000000, float 0x3FE2D77320000000, float 0x3FE263F140000000, float 0x3FE1119CE0000000, float 0x3FDD47AE20000000, float 0x3FD554C980000000, float 0x3FCDBF4880000000, float 0x3FC4C2F840000000, float 0x3FBD288CE0000000, float 0x3FB2F1AA00000000, float 0x3FA81D7DC0000000, float 0x3F9F212D80000000, float 0x3F94C98600000000, float 0x3F8DE69AE0000000, float 0x3F87247460000000, float 0x3F830BE0E0000000, float 0x3F8096BBA0000000, float 0x3F7DE69AE0000000, float 0x3F7C432CA0000000, float 0x3F7C432CA0000000, float 0x3F7C432CA0000000, float 0x3F7C432CA0000000, float 0x3F7C432CA0000000, float 0x3F7C432CA0000000, float 0x3F7C432CA0000000, float 0x3F7C432CA0000000], [27 x float] [float 0x3FE6B43960000000, float 0x3FE41BDA60000000, float 0x3FE09374C0000000, float 0x3FD605BC00000000, float 0x3FBE4F7660000000, float 0x3FAE353F80000000, float 0x3FB0068DC0000000, float 0x3FAAACD9E0000000, float 0x3FA3DD9800000000, float 0x3F985F0700000000, float 0x3F8C432CA0000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000], [27 x float] [float 0x3FE7773180000000, float 0x3FE48DB8C0000000, float 0x3FE04A8C20000000, float 0x3FDC240B80000000, float 0x3FD5844D00000000, float 0x3FD923A2A0000000, float 0x3FC20902E0000000, float 0x3FB4D013A0000000, float 0x3F923A29C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000]]
@LIBRARYC.Sin = internal global <{ <{ float, float, float, float, float, [22 x float] }>, <{ float, float, [25 x float] }>, <{ float, float, float, float, [23 x float] }>, <{ float, float, float, float, float, float, [21 x float] }>, <{ float, float, float, float, float, [22 x float] }>, <{ [9 x float], [18 x float] }>, <{ float, float, float, float, float, float, [21 x float] }> }> <{ <{ float, float, float, float, float, [22 x float] }> <{ float 0x3FE10624E0000000, float 0x3FF49C77A0000000, float 0x3FF0013AA0000000, float 0x3FE5C01A40000000, float 0x3FDB923A20000000, [22 x float] zeroinitializer }>, <{ float, float, [25 x float] }> <{ float 0x3FD425AEE0000000, float 0x3FA013A920000000, [25 x float] zeroinitializer }>, <{ float, float, float, float, [23 x float] }> <{ float 0x3FF10BE0E0000000, float 0x3FF3226800000000, float 0x3FEEAF4F00000000, float 0x3FD70BE0E0000000, [23 x float] zeroinitializer }>, <{ float, float, float, float, float, float, [21 x float] }> <{ float 0x3FF331F8A0000000, float 0x3FF4487FC0000000, float 0x3FED7E9100000000, float 0x3FDE4C2F80000000, float 0x3F994AF500000000, float 0x3F62D77320000000, [21 x float] zeroinitializer }>, <{ float, float, float, float, float, [22 x float] }> <{ float 0x3FFEF34D60000000, float 0x3FFEBFB160000000, float 0x3FFCDF3B60000000, float 0x3FF3837B40000000, float 0x3FD9C5D640000000, [22 x float] zeroinitializer }>, <{ [9 x float], [18 x float] }> <{ [9 x float] [float 0x3FF6048160000000, float 0x3FF5B15B60000000, float 0x3FF3E5C920000000, float 0x3FF0D2F1A0000000, float 0x3FE7AB9F60000000, float 0x3FDED0E560000000, float 0x3FD99CE080000000, float 0x3FD7645A20000000, float 0x3FCA752540000000], [18 x float] zeroinitializer }>, <{ float, float, float, float, float, float, [21 x float] }> <{ float 0x3FE2E3BCE0000000, float 6.875000e-01, float 0x3FE7E1B080000000, float 0x3FE0F69440000000, float 0x3FC2A64C20000000, float 0x3F33016480000000, [21 x float] zeroinitializer }> }>
define float @LIBRARYC(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 %57 [
i32 0, label %9
i32 1, label %17
i32 2, label %25
i32 3, label %33
i32 4, label %41
i32 5, label %49
]
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]]* @LIBRARYC.Sc, 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 %57
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]]* @LIBRARYC.St, 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 %57
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]]* @LIBRARYC.Se, 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 %57
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]]* @LIBRARYC.Sre, 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 %57
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]]* @LIBRARYC.Mue, 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 %57
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]]* bitcast (<{ <{ float, float, float, float, float, [22 x float] }>, <{ float, float, [25 x float] }>, <{ float, float, float, float, [23 x float] }>, <{ float, float, float, float, float, float, [21 x float] }>, <{ float, float, float, float, float, [22 x float] }>, <{ [9 x float], [18 x float] }>, <{ float, float, float, float, float, float, [21 x float] }> }>* @LIBRARYC.Sin to [7 x [27 x float]]*), 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 %57
57: ; preds = %3, %49, %41, %33, %25, %17, %9
%58 = load float, float* %7
ret float %58
}

LLVM IR (-O2):
@LIBRARYC.Sc = internal unnamed_addr constant [7 x [27 x float]] [[27 x float] [float 0x3FB2474540000000, float 0x3F9844D020000000, float 0x3F782A9940000000, float 0x3F62D77320000000, float 0x3F6A36E2E0000000, float 0x3F74E3BCE0000000, float 0x3F747AE140000000, float 0x3F78FC5040000000, float 0x3F76872B00000000, float 0x3F8205BC00000000, float 0x3F7F8A0900000000, float 0x3F95E9E1C0000000, float 0x3F75B573E0000000, float 0x3F847AE140000000, float 0x3F9BC01A40000000, float 0x3F802DE000000000, float 0x3F761E4F80000000, float 0x3F86BB98C0000000, float 0x3FDD013AA0000000, float 0x3F9119CE00000000, float 0x3F96388660000000, float 0x3FA0481700000000, float 0x3FAAE147A0000000, float 0x3FB624DD20000000, float 0x3FC243FE60000000, float 0x3FD3EF9DC0000000, float 0x40222240C0000000], [27 x float] [float 0x3F999999A0000000, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0x3F1A36E2E0000000, float 0x3F1A36E2E0000000, float 0x3F2A36E2E0000000, float 0x3F3A36E2E0000000, float 0x3F88C7E280000000], [27 x float] [float 0x3FDB5C2900000000, float 0x3FD4D844E0000000, float 0x3FBFBE76C0000000, float 0x3F99E83E40000000, float 0x3F80CB2960000000, float 0x3F819CE080000000, float 0x3F8096BBA0000000, float 0x3F816872C0000000, float 0x3F830BE0E0000000, float 0x3F854C9860000000, float 0x3F89CE0760000000, float 0x3F913404E0000000, float 0x3F9652BD40000000, float 0x3F947AE140000000, float 0x3F8D495180000000, float 0x3F935A8580000000, float 0x3F9CFAACE0000000, float 0x3F982A9940000000, float 0x3F98ADABA0000000, float 0x3F9F559B40000000, float 0x3FA41F2120000000, float 0x3FB2FEC560000000, float 0x3FB83E4260000000, float 0x3FC3D07C80000000, float 0x3FD068DB80000000, float 0x3FE1E9E1C0000000, float 0x40305F55A0000000], [27 x float] [float 0x3F9B573EA0000000, float 0x3F72D77320000000, float 0x3F6CAC0840000000, float 0x3F6CAC0840000000, float 0x3F6D7DBF40000000, float 0x3F6FF2E480000000, float 0x3F70624DE0000000, float 0x3F70624DE0000000, float 0x3F7BDA5120000000, float 0x3F841205C0000000, float 0x3F8FBE76C0000000, float 0x3FA03AFB80000000, float 0x3FA13404E0000000, float 0x3FA0553260000000, float 0x3FB5D63880000000, float 0x3FB068DB80000000, float 0x3F9A027520000000, float 0x3FCCE703A0000000, float 0x3F94467380000000, float 0x3F97A786C0000000, float 0x3F9CE07600000000, float 0x3FA460AA60000000, float 0x3FB075F700000000, float 0x3FBAEE6320000000, float 0x3FC624DD20000000, float 0x3FD8275260000000, float 0x4026116880000000], [27 x float] [float 0x3F70624DE0000000, float 0x3F8B3D07C0000000, float 0x3F97C1BDA0000000, float 0x3F9E83E420000000, float 0x3F9F212D80000000, float 0x3FA5254600000000, float 0x3FA1C432C0000000, float 0x3FA07C84C0000000, float 0x3FA2A30560000000, float 0x3FA8865940000000, float 0x3FB13A92A0000000, float 0x3FB872B020000000, float 0x3FC11D14E0000000, float 0x3FC734D6A0000000, float 0x3FCDE35400000000, float 0x3FD36AE7E0000000, float 0x3FDC2DE000000000, float 0x3FD2FEC560000000, float 0x3FF2D3C360000000, float 0x4012142C40000000, float 0x400321FF20000000, float 0x3F6BDA5120000000, float 0x3F70624DE0000000, float 0x3F96F00680000000, float 0x3FFB20C4A0000000, float 0x3F94AF4F00000000, float 0x3FE1134040000000], [27 x float] [float 0x3FAA36E2E0000000, float 0x3F84E3BCE0000000, float 0x3F60624DE0000000, float 0x3F654C9860000000, float 0x3F6B089A00000000, float 0x3F70624DE0000000, float 0x3F79CE0760000000, float 0x3F83DD9800000000, float 0x3F8D7DBF40000000, float 0x3F95810620000000, float 0x3FD322D0E0000000, float 0x3FA9B3D080000000, float 0x3FB3A29C80000000, float 0x3FB5119CE0000000, float 0x3FB07C84C0000000, float 0x3F8930BE00000000, float 0x3FA16DB0E0000000, float 0x3FBE76C8C0000000, float 0x40007212E0000000, float 0x3FCBBCD360000000, float 0x402CD22D00000000, float 0x3FE856D5C0000000, float 0x3FD860AA60000000, float 0x3FE00EBEE0000000, float 0x3FE8A99300000000, float 0x3FFA1D7DC0000000, float 0x4047A9F8A0000000], [27 x float] [float 0x3F410A1380000000, float 0x3F42AD81A0000000, float 0x3F43FD0D00000000, float 0x3F44F8B580000000, float 0x3F454C9860000000, float 0x3F45A07B40000000, float 0x3F45F45E00000000, float 0x3F45F45E00000000, float 0x3F464840E0000000, float 0x3F6187E7C0000000, float 0x3F7DDC1E80000000, float 0x3F32599EE0000000, float 0x3F34F8B580000000, float 0x3F3E258500000000, float 0x3F464840E0000000, float 0x3F500E6B00000000, float 0x3F57C1BDA0000000, float 0x3F615DF660000000, float 0x3F698F1D40000000, float 0x3F72C27A60000000, float 0x3F7B9B6700000000, float 0x3F8421C040000000, float 0x3F8D9D3460000000, float 0x3F95BD5120000000, float 0x3F9FF04580000000, float 0x3FA76F2A60000000, float 0x3FC47AE140000000]]
@LIBRARYC.St = internal unnamed_addr constant [7 x [27 x float]] [[27 x float] [float 0x4005009D40000000, float 0x400C982AA0000000, float 0x400B20F900000000, float 0x4008275260000000, float 0x4004ED5D00000000, float 0x40060E8A80000000, float 0x400A93A920000000, float 0x400BAB6AE0000000, float 0x400AC6DC60000000, float 0x40157EDFA0000000, float 0x401222EB20000000, float 0x403381E500000000, float 0x40031D14E0000000, float 0x40136EE640000000, float 0x4029FF7CE0000000, float 0x401BB15B60000000, float 0x401F640B80000000, float 0x4022BFCBA0000000, float 0x4023CDFA40000000, float 0x4024714120000000, float 0x4025C3E420000000, float 0x4026A74540000000, float 0x4026E786C0000000, float 0x4026F91680000000, float 0x402715CFA0000000, float 0x40276C49C0000000, float 0x4034741F20000000], [27 x float] [float 0x3FF40902E0000000, float 0x3FFA951820000000, float 0x3FFE219660000000, float 0x3FFEEBEE00000000, float 0x4003E425A0000000, float 0x4008D3F7C0000000, float 0x400CE4C300000000, float 0x400FF48800000000, float 0x4011096BC0000000, float 0x4011BE2820000000, float 0x401231F8A0000000, float 0x40127A0FA0000000, float 0x4012A56040000000, float 0x4012C01A40000000, float 0x4012D04820000000, float 0x4012D9E840000000, float 0x4012E00D20000000, float 0x4012E38860000000, float 0x4012E594A0000000, float 0x4012E786C0000000, float 0x4012E8A720000000, float 0x4012E99300000000, float 0x4012EA3060000000, float 0x4012EA7F00000000, float 0x4012EA9940000000, float 0x4012EAB360000000, float 0x4012F69440000000], [27 x float] [float 0x400C7E2820000000, float 0x400C3A29C0000000, float 0x400A3E4260000000, float 0x40099A6B60000000, float 0x4008C04EA0000000, float 0x40094432C0000000, float 0x40105A0280000000, float 0x4015D06240000000, float 0x40142F6940000000, float 0x40174346E0000000, float 0x401AAF34E0000000, float 0x4027A89A00000000, float 0x4043E538E0000000, float 0x403E506240000000, float 0x4027D14120000000, float 0x4039124DE0000000, float 0x40307EB1C0000000, float 0x402DCEB1C0000000, float 0x402DCB9240000000, float 0x402FE161E0000000, float 0x4030C4B5E0000000, float 0x4031139C00000000, float 0x40313D1B80000000, float 0x4031591680000000, float 0x403174D020000000, float 0x4031C2DE00000000, float 0x4039D52BE0000000], [27 x float] [float 0x400B16F000000000, float 0x400D9D7DC0000000, float 0x400CB4A240000000, float 0x4008B71760000000, float 0x40068FC500000000, float 0x400AC18940000000, float 0x400A5E69A0000000, float 0x400F41BDA0000000, float 0x40190A57A0000000, float 0x4019827520000000, float 0x401A6B8520000000, float 0x400A75C280000000, float 0x4008F06F60000000, float 0x40194587A0000000, float 0x4038A9BA60000000, float 0x4039EA0FA0000000, float 0x4023A4D020000000, float 0x4018181060000000, float 0x4013C6DC60000000, float 0x401296D5C0000000, float 0x401214C980000000, float 0x4011CADAC0000000, float 0x4011B76600000000, float 0x4011D25460000000, float 0x4012125460000000, float 0x4012E147A0000000, float 0x402EC05BC0000000], [27 x float] [float 0x4010959B40000000, float 0x400E3923A0000000, float 0x40111EB860000000, float 0x4014A75260000000, float 0x4019450480000000, float 0x401DCD9E80000000, float 0x4020D24740000000, float 0x4021D2BD40000000, float 0x4022E617C0000000, float 0x4023389380000000, float 0x4021DA4400000000, float 0x4020A0C4A0000000, float 0x401F6B6AE0000000, float 0x401E3A7860000000, float 0x401D74BC60000000, float 0x4022491D20000000, float 0x402317A780000000, float 0x401BA11340000000, float 0x4018C87FC0000000, float 0x403D188CE0000000, float 0x4019009D40000000, float 0x400D710CC0000000, float 0x400E40EBE0000000, float 0x400E972480000000, float 0x4016050480000000, float 0x400EA8F5C0000000, float 0x401162B6A0000000], [27 x float] [float 0x400BAC7100000000, float 0x400DC9EEC0000000, float 0x400CF5C280000000, float 0x400BB9F560000000, float 0x4009B020C0000000, float 0x400A3D07C0000000, float 0x400F4A57A0000000, float 0x4014E511A0000000, float 0x401D43C9E0000000, float 0x401DEF6940000000, float 0x4021DFA440000000, float 0x402C5FA440000000, float 0x402967FCC0000000, float 0x4024978D40000000, float 0x40475BC9E0000000, float 0x402BB23A20000000, float 0x4070FBBE00000000, float 0x4045216880000000, float 0x40525CD6A0000000, float 0x403564BC60000000, float 0x408419D120000000, float 0x4031F87940000000, float 0x400B1CE080000000, float 0x4004FB4A20000000, float 0x4005247460000000, float 0x400B542C40000000, float 0x40488AA9A0000000], [27 x float] [float 0x3FFC49BA60000000, float 0x3FFE624DE0000000, float 0x4002189380000000, float 0x4002EB8520000000, float 0x400847AE20000000, float 0x400CFBE760000000, float 0x4009F1AA00000000, float 0x40162B0200000000, float 0x400620C4A0000000, float 0x3FFB2F1AA0000000, float 0x3FF6F1AA00000000, float 0x3FFB5C2900000000, float 0x4000CAC080000000, float 0x4001333340000000, float 0x4001353F80000000, float 0x4001353F80000000, float 0x4001353F80000000, float 0x4001374BC0000000, float 0x4001395820000000, float 0x40013D70A0000000, float 0x4001418940000000, float 0x400147AE20000000, float 0x40014FDF40000000, float 0x40015E3540000000, float 0x400172B020000000, float 0x4001916880000000, float 0x40027AE140000000]]
@LIBRARYC.Se = internal unnamed_addr constant [7 x [27 x float]] [[27 x float] [float 0x40002CA580000000, float 0x4002196520000000, float 0x4003144680000000, float 0x4002B295E0000000, float 0x4001745380000000, float 0x40060418A0000000, float 0x400A896BC0000000, float 0x400B9EECC0000000, float 0x400ABB98C0000000, float 0x401575DCC0000000, float 0x40121B08A0000000, float 0x40337C6A80000000, float 0x4003126EA0000000, float 0x401364A8C0000000, float 0x4029F19CE0000000, float 0x401BA94460000000, float 0x401F5E83E0000000, float 0x4022BA1CA0000000, float 0x4022E5FD80000000, float 0x402468B440000000, float 0x4025B8C7E0000000, float 0x402696FD20000000, float 0x4026CCA580000000, float 0x4026CCBFC0000000, float 0x4026CCBFC0000000, float 0x4026CCBFC0000000, float 0x4026C5FD80000000], [27 x float] [float 0x3FED326180000000, float 0x3FFA147AE0000000, float 0x3FFE219660000000, float 0x3FFEEBEE00000000, float 0x4003E425A0000000, float 0x4008D3F7C0000000, float 0x400CE4C300000000, float 0x400FF48800000000, float 0x4011096BC0000000, float 0x4011BE2820000000, float 0x401231F8A0000000, float 0x40127A0FA0000000, float 0x4012A56040000000, float 0x4012C01A40000000, float 0x4012D04820000000, float 0x4012D9E840000000, float 0x4012E00D20000000, float 0x4012E38860000000, float 0x4012E594A0000000, float 0x4012E76C80000000, float 0x4012E8A720000000, float 0x4012E99300000000, float 0x4012EA1620000000, float 0x4012EA64C0000000, float 0x4012EA64C0000000, float 0x4012EA4A80000000, float 0x4012EA3060000000], [27 x float] [float 0x40008C7E20000000, float 0x40000DED20000000, float 0x4001944680000000, float 0x4006851EC0000000, float 0x4008AF8380000000, float 0x40093295E0000000, float 0x401051D140000000, float 0x4015C7AE20000000, float 0x401425C920000000, float 0x401738A0A0000000, float 0x401AA24DE0000000, float 1.181250e+01, float 0x4043E26EA0000000, float 0x403E4B4A20000000, float 0x4027C9E1C0000000, float 0x40390D7740000000, float 0x4030777320000000, float 0x402DC29C80000000, float 0x402DBF3B60000000, float 0x402FD1AA00000000, float 0x4030BAA640000000, float 0x4031009D40000000, float 0x403124DD20000000, float 0x4031317580000000, float 0x4031333340000000, float 0x4031338F00000000, float 0x4022EBAC80000000], [27 x float] [float 0x4001474540000000, float 0x4003700680000000, float 0x40054E0760000000, float 0x4004E66660000000, float 0x400655CFA0000000, float 0x400AB4A240000000, float 0x400A563880000000, float 0x400F398C80000000, float 0x4019036120000000, float 0x4019786C20000000, float 0x401A5BC020000000, float 0x400A350B00000000, float 0x4008AB9F60000000, float 0x401924DD20000000, float 0x403893E420000000, float 0x4039D9A6C0000000, float 0x402397CEE0000000, float 0x401730D840000000, float 0x4013B295E0000000, float 0x40127F4880000000, float 0x4011F7E900000000, float 0x4011A21960000000, float 0x4011758E20000000, float 0x40116680A0000000, float 0x4011612D80000000, float 0x40115EECC0000000, float 0x40115DCC60000000], [27 x float] [float 0x4001A95EA0000000, float 0x3FFD7C1BE0000000, float 0x40039E4F80000000, float 0x400F4FDF40000000, float 0x4017898600000000, float 0x401DA35400000000, float 0x4020C08320000000, float 0x4021C233A0000000, float 0x4022D374C0000000, float 0x4023200D20000000, float 0x4021B7CEE0000000, float 0x40206FDF40000000, float 0x401EE28240000000, float 0x401D80B780000000, float 0x401C8587A0000000, float 0x4021ADC5E0000000, float 0x40223645A0000000, float 0x401A7126E0000000, float 0x4014138F00000000, float 0x4038938860000000, float 0x400EDF0700000000, float 0x400D6A1620000000, float 0x400E38BAC0000000, float 0x400E694460000000, float 0x400E79DB20000000, float 0x400E7F9720000000, float 0x400E809D40000000], [27 x float] [float 0x4000412060000000, float 0x4002DC5D60000000, float 0x4002FEC560000000, float 0x40034B2960000000, float 0x4003BEAB40000000, float 0x40065ABA00000000, float 0x400C09D4A0000000, float 0x401364DD20000000, float 0x401C6161E0000000, float 0x401DD9E840000000, float 0x4021D05540000000, float 0x402C45F060000000, float 0x402940B780000000, float 0x40246D6A20000000, float 0x4047538BA0000000, float 0x402BABEE00000000, float 0x4070F64C20000000, float 0x4045122D00000000, float 0x4051D94600000000, float 0x40352D42C0000000, float 0x4083A688A0000000, float 0x403135C280000000, float 0x400810CB20000000, float 0x4000F76600000000, float 0x3FFDF41F20000000, float 0x3FFC8A71E0000000, float 0x3FFC161E40000000], [27 x float] [float 0x3FE71A9FC0000000, float 0x3FE9CAC080000000, float 0x3FF770A3E0000000, float 0x3FFD581060000000, float 0x40071A9FC0000000, float 0x400CF9DB20000000, float 0x4009EF9DC0000000, float 0x401629FBE0000000, float 0x40061EB860000000, float 0x3FFB26E980000000, float 0x3FF6D4FE00000000, float 0x3FFB5C2900000000, float 0x4000CAC080000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000, float 0x4001333340000000]]
@LIBRARYC.Sre = internal unnamed_addr constant [7 x [27 x float]] [[27 x float] [float 0x3FAD8ADAC0000000, float 0x3FB374BC60000000, float 0x3FBA57A780000000, float 0x3FBF0D8440000000, float 0x3FBFE5C920000000, float 0x3FC70068E0000000, float 0x3FCC504820000000, float 0x3FCE7381E0000000, float 0x3FCE31F8A0000000, float 0x3FD8816F00000000, float 0x3FD4ADABA0000000, float 0x3FF6418940000000, float 0x3FC5C91D20000000, float 0x3FD62680A0000000, float 0x3FEDA1CAC0000000, float 0x3FDF98C7E0000000, float 0x3FE1E9E1C0000000, float 0x3FE5638860000000, float 0x3FE5958100000000, float 0x3FE74FDF40000000, float 0x3FE8CF4200000000, float 0x3FD9CC6400000000, float 0x3FDA0AA640000000, float 0x3FDA0AA640000000, float 0x3FDA0AA640000000, float 0x3FCA0902E0000000, float 0x3FA78D4FE0000000], [27 x float] [float 0x3FDD604180000000, float 0x3FE4B1C440000000, float 0x3FE5A5E360000000, float 0x3FE2AA64C0000000, float 0x3FE76872C0000000, float 0x3FED9652C0000000, float 0x3FF18865A0000000, float 0x3FF3B15B60000000, float 0x3FF53BCD40000000, float 0x3FF6474540000000, float 0x3FF6F48800000000, float 0x3FF7611340000000, float 0x3FF7A30560000000, float 0x3FF7CBFB20000000, float 0x3FF7E28240000000, float 0x3FF7EECC00000000, float 0x3FF7F6FD20000000, float 0x3FF7FBE760000000, float 0x3FF7FEC560000000, float 0x3FF801A360000000, float 0x3FF80346E0000000, float 0x3FE804EA40000000, float 0x3FE8068DC0000000, float 0x3FE8075F60000000, float 0x3FE8083120000000, float 0x3FD809D4A0000000, float 0x3FB5C91D20000000], [27 x float] [float 0x3FAE282400000000, float 0x3FAF6FD220000000, float 0x3FB7BB2FE0000000, float 0x3FC2305540000000, float 0x3FC7D22000000000, float 0x3FC813A920000000, float 0x3FD08E8A80000000, float 0x3FD66809E0000000, float 0x3FD4E3BCE0000000, float 0x3FD8587940000000, float 0x3FDC51EB80000000, float 0x3FE979A6C0000000, float 0x4005717580000000, float 0x4000559B40000000, float 0x3FE9A786C0000000, float 0x3FFB0418A0000000, float 0x3FF1C1BDA0000000, float 0x3FF00BE0E0000000, float 0x3FF00A3D80000000, float 0x3FF1282400000000, float 0x3FF20A3D80000000, float 0x3FE2560420000000, float 0x3FE27D5660000000, float 0x3FE28A71E0000000, float 0x3FE28C1540000000, float 0x3FD28C1540000000, float 0x3FA27BB300000000], [27 x float] [float 0x3FC2474540000000, float 0x3FC16872C0000000, float 0x3FC051EB80000000, float 0x3FC1DB22E0000000, float 0x3FC6388660000000, float 0x3FC9D7DC00000000, float 0x3FC926E980000000, float 0x3FCE8A71E0000000, float 0x3FD8D1B720000000, float 0x3FDB06F6A0000000, float 0x3FDFB7E900000000, float 0x3FD00EBEE0000000, float 0x3FCE3BCD40000000, float 0x3FDED0E560000000, float 0x3FFE1F8A00000000, float 0x3FFFAEE640000000, float 0x3FE80346E0000000, float 0x3FDC6C2260000000, float 0x3FD8240B80000000, float 0x3FD6AB3680000000, float 0x3FD605BC00000000, float 0x3FC59B3D00000000, float 0x3FC566CF40000000, float 0x3FC5532620000000, float 0x3FC54C9860000000, float 0x3FB54C9860000000, float 0x3F93404EA0000000], [27 x float] [float 0x3FAD7DBF40000000, float 0x3FA652BD40000000, float 0x3FA758E220000000, float 0x3FB18FC500000000, float 0x3FBCFAACE0000000, float 0x3FC535A860000000, float 0x3FCD773180000000, float 0x3FD1FA4400000000, float 0x3FD4CCCCC0000000, float 0x3FD6594B00000000, float 0x3FD5A36E20000000, float 0x3FD4A71DE0000000, float 0x3FD3BE76C0000000, float 0x3FD07FCBA0000000, float 0x3FD288CE80000000, float 0x3FD70D8440000000, float 0x3FD7CB9240000000, float 0x3FD14AF500000000, float 0x3FCA474540000000, float 0x3FF0182AA0000000, float 0x3FC4361140000000, float 0x3FB3404EA0000000, float 0x3FB3C9EEC0000000, float 0x3FB3EAB360000000, float 0x3FB3F7CEE0000000, float 0x3FA3F7CEE0000000, float 0x3F8205BC00000000], [27 x float] [float 0x3FB76C8B40000000, float 0x3FB7C1BDA0000000, float 0x3FB7A0F900000000, float 0x3FBDBF4880000000, float 0x3FC4745380000000, float 0x3FC8B78040000000, float 0x3FCEE2EB20000000, float 0x3FD59B3D00000000, float 0x3FE0075F60000000, float 0x3FE11F8A00000000, float 0x3FE4A57A80000000, float 0x3FF068DB80000000, float 0x3FED4FDF40000000, float 0x3FE7B645A0000000, float 0x400B13A920000000, float 0x3FF00F90A0000000, float 0.000000e+00, float 0x40087559C0000000, float 0x4014B7E900000000, float 0x3FF894AF40000000, float 0.000000e+00, float 0x3FE3FA4400000000, float 0x3FBBEDFA40000000, float 0x3FB3AFB7E0000000, float 0x3FB161E500000000, float 0x3FA096BBA0000000, float 0x3F7D7DBF40000000], [27 x float] [float 0x3FA3DD9800000000, float 0x3FA62B6AE0000000, float 0x3FBB3D07C0000000, float 0x3FC41BDA60000000, float 0x3FCE666660000000, float 0x3FD212D780000000, float 0x3FD27A0FA0000000, float 0x3FE0E2EB20000000, float 0x3FD205BC00000000, float 0x3FC3E76C80000000, float 0x3FC09A0280000000, float 0x3FC40EBEE0000000, float 0x3FC89D4960000000, float 0x3FC90624E0000000, float 0x3FC9374BC0000000, float 0x3FC93404E0000000, float 0x3FC90624E0000000, float 0x3FC9374BC0000000, float 0x3FC93404E0000000, float 0x3FC90624E0000000, float 0x3FC9374BC0000000, float 0x3FC93404E0000000, float 0x3FC90624E0000000, float 0x3FC9374BC0000000, float 0x3FC93404E0000000, float 0x3FC90624E0000000, float 0.000000e+00]]
@LIBRARYC.Mue = internal unnamed_addr constant [7 x [27 x float]] [[27 x float] [float 0x3FEA027520000000, float 0x3FE5AEE640000000, float 0x3FDD2F1AA0000000, float 0x3FD2075F60000000, float 0x3FCAD77320000000, float 0x3FB8A71DE0000000, float 0x3FB3B645A0000000, float 0x3FA7C1BDA0000000, float 0x3F97A786C0000000, float 0x3F8930BE00000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000, float 0x3F889374C0000000], [27 x float] [float 0x3FD29C77A0000000, float 0x3FC762B6A0000000, float 0x3F9C432CA0000000, float 0x3FBA9930C0000000, float 0x3FC03126E0000000, float 0x3FBD916880000000, float 0x3FB9652BE0000000, float 0x3FB5C91D20000000, float 0x3FB32CA580000000, float 0x3FB16872C0000000, float 0x3FB0418940000000, float 0x3FAF141200000000, float 0x3FAE353F80000000, float 0x3FADA511A0000000, float 0x3FAD7DBF40000000, float 0x3FAD7DBF40000000, float 0x3FAD70A3E0000000, float 0x3FAD70A3E0000000, float 0x3FAD638860000000, float 0x3FAD566D00000000, float 0x3FAD566D00000000, float 0x3FAD495180000000, float 0x3FAD3C3620000000, float 0x3FAD2F1AA0000000, float 0x3FAD21FF20000000, float 0x3FAD07C840000000, float 0x3FACC63F20000000], [27 x float] [float 0x3FE99096C0000000, float 0x3FE5F6FD20000000, float 0x3FDBEC56E0000000, float 0x3FD0B923A0000000, float 0x3FBDED2880000000, float 0x3FBFEC56E0000000, float 0x3FB23A29C0000000, float 0x3FADA511A0000000, float 0x3FA9B3D080000000, float 0x3FA4538F00000000, float 0x3F9A5119C0000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000, float 0x3F87247460000000], [27 x float] [float 0x3FE30E5600000000, float 0x3FDFFCB920000000, float 0x3FDC083120000000, float 0x3FD3FB15C0000000, float 0x3FC978D500000000, float 0x3FCC432CA0000000, float 0x3FCD94AF40000000, float 0x3FCB2CA580000000, float 0x3FC9B71760000000, float 0x3FC2A30560000000, float 0x3F9FA43FE0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000, float 0x3F8A6B50C0000000], [27 x float] [float 0x3FE664C300000000, float 0x3FE341F220000000, float 0x3FE2D77320000000, float 0x3FE263F140000000, float 0x3FE1119CE0000000, float 0x3FDD47AE20000000, float 0x3FD554C980000000, float 0x3FCDBF4880000000, float 0x3FC4C2F840000000, float 0x3FBD288CE0000000, float 0x3FB2F1AA00000000, float 0x3FA81D7DC0000000, float 0x3F9F212D80000000, float 0x3F94C98600000000, float 0x3F8DE69AE0000000, float 0x3F87247460000000, float 0x3F830BE0E0000000, float 0x3F8096BBA0000000, float 0x3F7DE69AE0000000, float 0x3F7C432CA0000000, float 0x3F7C432CA0000000, float 0x3F7C432CA0000000, float 0x3F7C432CA0000000, float 0x3F7C432CA0000000, float 0x3F7C432CA0000000, float 0x3F7C432CA0000000, float 0x3F7C432CA0000000], [27 x float] [float 0x3FE6B43960000000, float 0x3FE41BDA60000000, float 0x3FE09374C0000000, float 0x3FD605BC00000000, float 0x3FBE4F7660000000, float 0x3FAE353F80000000, float 0x3FB0068DC0000000, float 0x3FAAACD9E0000000, float 0x3FA3DD9800000000, float 0x3F985F0700000000, float 0x3F8C432CA0000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000, float 0x3F88FC5040000000], [27 x float] [float 0x3FE7773180000000, float 0x3FE48DB8C0000000, float 0x3FE04A8C20000000, float 0x3FDC240B80000000, float 0x3FD5844D00000000, float 0x3FD923A2A0000000, float 0x3FC20902E0000000, float 0x3FB4D013A0000000, float 0x3F923A29C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000, float 0x3F989374C0000000]]
@LIBRARYC.Sin = internal unnamed_addr constant <{ <{ float, float, float, float, float, [22 x float] }>, <{ float, float, [25 x float] }>, <{ float, float, float, float, [23 x float] }>, <{ float, float, float, float, float, float, [21 x float] }>, <{ float, float, float, float, float, [22 x float] }>, <{ [9 x float], [18 x float] }>, <{ float, float, float, float, float, float, [21 x float] }> }> <{ <{ float, float, float, float, float, [22 x float] }> <{ float 0x3FE10624E0000000, float 0x3FF49C77A0000000, float 0x3FF0013AA0000000, float 0x3FE5C01A40000000, float 0x3FDB923A20000000, [22 x float] zeroinitializer }>, <{ float, float, [25 x float] }> <{ float 0x3FD425AEE0000000, float 0x3FA013A920000000, [25 x float] zeroinitializer }>, <{ float, float, float, float, [23 x float] }> <{ float 0x3FF10BE0E0000000, float 0x3FF3226800000000, float 0x3FEEAF4F00000000, float 0x3FD70BE0E0000000, [23 x float] zeroinitializer }>, <{ float, float, float, float, float, float, [21 x float] }> <{ float 0x3FF331F8A0000000, float 0x3FF4487FC0000000, float 0x3FED7E9100000000, float 0x3FDE4C2F80000000, float 0x3F994AF500000000, float 0x3F62D77320000000, [21 x float] zeroinitializer }>, <{ float, float, float, float, float, [22 x float] }> <{ float 0x3FFEF34D60000000, float 0x3FFEBFB160000000, float 0x3FFCDF3B60000000, float 0x3FF3837B40000000, float 0x3FD9C5D640000000, [22 x float] zeroinitializer }>, <{ [9 x float], [18 x float] }> <{ [9 x float] [float 0x3FF6048160000000, float 0x3FF5B15B60000000, float 0x3FF3E5C920000000, float 0x3FF0D2F1A0000000, float 0x3FE7AB9F60000000, float 0x3FDED0E560000000, float 0x3FD99CE080000000, float 0x3FD7645A20000000, float 0x3FCA752540000000], [18 x float] zeroinitializer }>, <{ float, float, float, float, float, float, [21 x float] }> <{ float 0x3FE2E3BCE0000000, float 6.875000e-01, float 0x3FE7E1B080000000, float 0x3FE0F69440000000, float 0x3FC2A64C20000000, float 0x3F33016480000000, [21 x float] zeroinitializer }> }>
@reltable.LIBRARYC = [6 x i32] [i32 trunc (i64 sub (i64 ptrtoint ([7 x [27 x float]]* @LIBRARYC.Sc to i64), i64 ptrtoint ([6 x i32]* @reltable.LIBRARYC to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([7 x [27 x float]]* @LIBRARYC.St to i64), i64 ptrtoint ([6 x i32]* @reltable.LIBRARYC to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([7 x [27 x float]]* @LIBRARYC.Se to i64), i64 ptrtoint ([6 x i32]* @reltable.LIBRARYC to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([7 x [27 x float]]* @LIBRARYC.Sre to i64), i64 ptrtoint ([6 x i32]* @reltable.LIBRARYC to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([7 x [27 x float]]* @LIBRARYC.Mue to i64), i64 ptrtoint ([6 x i32]* @reltable.LIBRARYC to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (<{ <{ float, float, float, float, float, [22 x float] }>, <{ float, float, [25 x float] }>, <{ float, float, float, float, [23 x float] }>, <{ float, float, float, float, float, float, [21 x float] }>, <{ float, float, float, float, float, [22 x float] }>, <{ [9 x float], [18 x float] }>, <{ float, float, float, float, float, float, [21 x float] }> }>* @LIBRARYC.Sin to i64), i64 ptrtoint ([6 x i32]* @reltable.LIBRARYC to i64)) to i32)]
define float @LIBRARYC(i32 %0, i32 %1, i32 %2) {
%4 = icmp ult i32 %2, 6
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 ([6 x i32]* @reltable.LIBRARYC 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
}