float SHF_C(int k1, int k2, int k3, int c) {
  float sh1;
  static float shf0[3][7][27] = {
      {{1,    1,    1, 1, 1,    1, 1, 1, 1, 1, .998, .984, .999, .999,
        .997, .999, 1, 1, .951, 1, 1, 1, 1, 1, 1,    1,    .994},
       {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1},
       {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, .999, .998,
        1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, .987},
       {1,    1,    1, 1,    1, 1, .999, .996, .998, .998, .996, .998, .998, 1,
        .997, .999, 1, .973, 1, 1, 1,    1,    1,    1,    1,    1,    .986},
       {1, 1,   1,    1,    1,    1,    1,    1, 1, 1, 1,    1, 1,   1,
        1, .99, .903, .771, .799, .553, .793, 1, 1, 1, .967, 1, .999},
       {1,    1,    1,    1,    1,    1,    1,    1,    1,
        .999, .998, .996, .995, .999, .955, .996, .879, .988,
        .675, .995, .601, .988, 1,    1,    1,    1,    .947},
       {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}},
      {{1.003, 1.006, 1.007, .97,  1.025, 1.009, .994, .998, .997,
        .994,  .999,  .954,  .998, .998,  .996,  .999, 1,    1,
        .995,  1,     1,     1,    1,     1,     1,    .999, .992},
       {1.01,  .992,  1.006, .997,  1.001, 1.001, 1.001, 1.001, 1.001,
        1.001, 1.001, 1.001, 1.001, 1.001, 1.001, 1.001, 1.001, 1,
        1.002, 1.001, 1,     .999,  .999,  .999,  .999,  1,     1.018},
       {1,    1,    .999, .999, 1.001, 1.001, 1,    1,    .996,
        .998, .989, .992, .953, .98,   .999,  .999, 1,    1,
        1,    1,    1,    1,    1,     1,     1,    .999, .99},
       {1.002, .998, .999, .998, .998, 1,    .987, .986, .993,
        .985,  .973, .994, .998, .997, .996, .999, .998, .997,
        .999,  .999, .999, .999, .999, .999, .999, 1,    .976},
       {1,    1,    .999, .999,  1.001, 1,    1,    1,    1,
        1,    1,    1,    1.001, 1.001, 1,    1,    .776, .808,
        .874, .412, .803, .998,  .999,  .999, .979, 1,    .984},
       {1.001, 1,    .999, .999, 1.001, 1.001, 1.001, 1.001, 1,
        .998,  .983, .955, .949, .98,   .901,  .99,   .784,  .936,
        .565,  .994, .411, .963, .999,  .999,  .998,  1,     .899},
       {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}},
      {{1,    1, 1, 1, 1, .999, .999, .999, .998, .997, 1, .977, 1,    1,
        .998, 1, 1, 1, 1, 1,    1,    1,    1,    1,    1, 1,    1.001},
       {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1},
       {1,    1,    1, 1, 1, 1, 1, 1, .998, .999, .994, .996, .976, .99,
        .999, .999, 1, 1, 1, 1, 1, 1, 1,    1,    1,    1,    1.005},
       {1,    1,    1,    1, 1,    .995, .999, .998, .998,
        .993, .987, .999, 1, .999, .998, .999, .999, 1,
        1,    1,    1,    1, 1,    1,    1,    1,    1},
       {1, 1,    1,    1,   1,    1,    1,    1, 1, 1, 1, 1, 1, 1,
        1, .994, .867, .89, .958, .579, .945, 1, 1, 1, 1, 1, 1},
       {1,    1,    1,    1,    1,   1,    1,    1,    1,
        .995, .992, .979, .976, .99, .949, .995, .886, .967,
        .722, .997, .605, .981, 1,   1,    1,    1,    1},
       {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}}};
  static float shf1[3][7][27] = {
      {{.999, .999, .999, 1,    1,  1, 1, 1, 1, .999, .981, .894, .989,
        .987, .975, .999, .998, .7, 1, 1, 1, 1, 1,    1,    1,    .918},
       {.997, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        1,    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1},
       {1,    .995,  .992,  .991, 1, 1, 1, 1, 1, .999, 1.002, .997, .992, .987,
        .999, 1.002, 1.001, 1,    1, 1, 1, 1, 1, 1,    1,     1,    .911},
       {.999, .997, .997, .991, 1,    .998, .993, .962, .982,
        .979, .964, .984, .982, .998, .976, .994, .996, .806,
        1,    1,    1,    1,    1,    1,    1,    1,    .894},
       {.998, .995, .992, .99,  1,    1,    1,    1, 1, 1, 1,    1, 1,   1,
        1,    .988, .617, .396, .364, .215, .365, 1, 1, 1, .768, 1, .994},
       {.998, .995, .992, .994, 1,    1,    1,    1,    .999,
        .997, .985, .969, .961, .994, .749, .966, .606, .936,
        .325, .961, .334, .915, 1,    1,    1,    .999, .713},
       {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}},
      {{1,    .999, 1,    .995, .996, .987, .981, .981, .965,
        .943, .998, .727, .998, .993, .964, .998, 1,    1,
        .974, 1,    1,    1,    1,    1,    1,    1,    .927},
       {.996, .997, .998, .995, 1, 1, 1, 1, 1, 1, 1, 1, 1,    1,
        1,    1,    1,    1,    1, 1, 1, 1, 1, 1, 1, 1, 1.001},
       {1,    1,    1,    1,    .999, .999, .996, .991, .962,
        .974, .904, .935, .749, .85,  .987, .992, .999, 1,
        1,    1,    1,    1,    1,    1,    1,    1,    .918},
       {.999, 1,    1,    1.001, .998, .991, .976, .971, .956,
        .879, .818, .988, .995,  .982, .97,  .99,  .988, .986,
        1,    1,    1,    1,     1,    1,    1,    1,    .858},
       {1, 1,    .999, .999, 1,    1,   1,    1, 1, 1, 1,    1, 1,   1,
        1, .995, .506, .634, .713, .23, .562, 1, 1, 1, .878, 1, .999},
       {.999, 1,    1,    1,    1,    1,    1,    .999, .999,
        .976, .88,  .717, .688, .857, .529, .918, .41,  .668,
        .289, .953, .194, .775, .998, 1,    1,    .999, .542},
       {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}},
      {{.999,  .999, .998, .997, .996, .994, .99,  .99, .982,
        .971,  .999, .843, .999, .997, .981, .999, 1,   1,
        1.008, 1,    1,    1,    1,    1,    1,    1,   1.001},
       {.997, .997, .997, .99, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        1,    1,    1,    1,   1, 1, 1, 1, 1, 1, 1, 1, 1},
       {1,    .995, .992, .991, .999, .999, .998, .995, .981,
        .987, .949, .966, .856, .923, .993, .996, .999, 1,
        1,    1,    1,    1,    1,    1,    1,    1,    1.033},
       {.998, .997, .997, .99,  .999, .991, .988, .985, .978,
        .937, .9,   .994, .998, .991, .984, .995, .994, .999,
        1,    1,    1,    1,    1,    1,    1,    1,    1},
       {.997, .995, .992, .99,  1,    1,    1,    1, 1, 1, 1, 1, 1, 1,
        1,    .992, .613, .714, .871, .323, .831, 1, 1, 1, 1, 1, 1},
       {.997, .995, .992, .994, 1,    1,    1,    1,    .999,
        .984, .936, .842, .823, .921, .717, .958, .632, .808,
        .412, .976, .344, .871, .999, 1,    1,    1,    1},
       {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}}};
  static float shf2[3][7][27] = {
      {{1.002, .998, .998, 1,    1.002, 1.001, 1.001, 1.001, 1.002,
        .997,  .887, .701, .924, .919,  .89,   .971,  .996,  .991,
        .364,  .999, 1,    .999, 1,     1,     1,     .999,  .73},
       {.982, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,   1,
        1,    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, .998},
       {1,    .993,  .991, .99,  .999, 1,    1,     1,     1.002,
        .995, 1.004, .985, .979, .952, .996, 1.006, 1.004, .999,
        1,    .999,  1,    .999, 1,    1,    1,     .998,  .77},
       {1.008, .997, .996, .99,  1,    .987, .958, .822, .914,
        .895,  .856, .928, .911, .986, .928, .976, .977, .453,
        1,     1,    1,    1,    1,    1,    1,    .998, .635},
       {1.001, .995,  .99,   .988,  1.001, 1,    1,    1,    .999,
        1.001, 1.001, 1.001, 1.001, 1,     1,    .975, .279, .194,
        .12,   .079,  .136,  1,     1,     .997, .383, 1,    .956},
       {1.001, .993, .992, .994, 1,    .999, .997, .997, .996,
        .992,  .943, .901, .884, .967, .46,  .863, .451, .898,
        .196,  .871, .251, .764, 1,    1,    .999, .991, .409},
       {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}},
      {{.999, .998, .992, .972, .944, .907, .856, .879, .801,
        .735, .988, .43,  .987, .958, .85,  .986, .997, .998,
        .957, .999, 1,    1,    1,    1,    1,    1,    .796},
       {.972, .979, .981, .979, .998, .999, .999, 1, 1, 1, 1, 1, 1, 1,
        1,    1,    1,    1,    1,    1,    1,    1, 1, 1, 1, 1, 1},
       {1,    1,    1,   1,   .992, .988, .974, .934, .776,
        .851, .668, .78, .54, .564, .941, .97,  .995, 1,
        1,    .999, 1,   1,   1,    1,    1,    1,    .807},
       {.998, 1,    .998, .997, .984, .931, .839, .863, .771,
        .519, .491, .927, .971, .903, .918, .959, .94,  .967,
        1,    1,    1,    1,    1,    1,    1,    1,    .59},
       {1, 1,    .997, .998, .998, .997, 1,    1, 1, 1, 1,    1, 1,  1,
        1, .972, .387, .573, .67,  .177, .488, 1, 1, 1, .755, 1, .99},
       {.999, 1,    1,    1,    1,    1,    .997, .996, .992,
        .883, .577, .292, .265, .579, .205, .691, .271, .37,
        .173, .86,  .142, .498, .989, 1,    1,    .992, .241},
       {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}},
      {{.998,  .998, .993, .982, .966, .952, .927, .935, .887,
        .845,  .994, .592, .993, .978, .918, .993, .999, .999,
        1.005, 1,    1,    1,    1,    1,    1,    1,    1.001},
       {.983, .986, .988, .98, .999, .999, 1, 1, 1, 1, 1, 1, 1, 1,
        1,    1,    1,    1,   1,    1,    1, 1, 1, 1, 1, 1, 1},
       {1,   .994, .992, .99,  .996, .994, .987, .967, .879,
        .92, .785, .867, .686, .748, .968, .985, .998, 1,
        1,   1,    1,    1,    1,    1,    1,    1,    1.073},
       {.997, .996, .995, .989, .992, .96,  .915, .919, .874,
        .698, .645, .961, .985, .948, .953, .98,  .968, .997,
        1,    1,    1,    1,    1,    1,    1,    1,    1},
       {.997, .994, .989, .988, .998, .999, 1,    1, 1, 1, 1, 1, 1, 1,
        1,    .98,  .457, .626, .827, .234, .769, 1, 1, 1, 1, 1, 1},
       {.996, .994, .992, .994, 1,    1,    .998, .998, .995,
        .933, .736, .499, .461, .722, .399, .823, .487, .566,
        .263, .92,  .265, .645, .994, 1,    1,    1,    1},
       {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}}};
  static float shf3[3][7][27] = {
      {{1.01, .996, .999, .999, 1.009, 1.007, 1.005, .99,  1.002,
        .997, .748, .554, .77,  .796,  .813,  .938,  .99,  .982,
        .261, .998, .999, .999, 1,     1,     1,     .998, .632},
       {.821, 1,    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,   1,
        1,    .999, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, .994},
       {1,    .991, .988, .989, .998, 1,    .999,  1.001, 1.004,
        .983, .996, .97,  .973, .93,  .994, 1.009, 1.006, .999,
        .999, .998, 1,    .999, 1,    1,    1,     .997,  .72},
       {1.041, .999, .997, .992, 1,    .969, .887, .679, .821,
        .773,  .721, .849, .83,  .967, .906, .966, .957, .297,
        1,     1,    1,    1,    1,    1,    .999, .994, .463},
       {1.009, .995,  .985,  .985,  1.002, 1,    1.001, 1,    .999,
        1.002, 1.002, 1.002, 1.001, 1.001, 1,    .958,  .153, .18,
        .057,  .062,  .086,  1,     1,     .989, .206,  1,    .869},
       {1.012, .991, .992, .995, 1.001, .998, .99,  .991, .989,
        .993,  .902, .857, .85,  .928,  .321, .779, .421, .922,
        .175,  .823, .238, .681, 1,     1,    .997, .965, .282},
       {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}},
      {{.996, .994, .965, .871, .727, .566, .381, .484, .453,
        .454, .966, .272, .937, .891, .76,  .972, .993, .996,
        .954, .999, 1,    1,    1,    1,    1,    1,    .742},
       {.808, .858, .9, .948, .989, .994, .997, .999, 1, 1, 1, 1, 1, 1,
        1,    1,    1,  1,    1,    1,    1,    1,    1, 1, 1, 1, 1},
       {1,    .999, 1,    .999, .962, .943, .902, .791, .404,
        .407, .475, .678, .485, .453, .903, .958, .993, 1,
        1,    .999, 1,    1,    1,    1,    1,    1,    .761},
       {.993, .999, .991, .981, .938, .689, .467, .656, .379,
        .288, .246, .789, .923, .801, .893, .939, .89,  .957,
        .999, 1,    1,    1,    1,    1,    1,    .999, .466},
       {.998, 1,    .993, .995, .993, .994, .999, .999, .999,
        .999, .999, .999, 1,    1,    1,    .938, .156, .321,
        .662, .1,   .317, .999, 1,    1,    .723, 1,    .97},
       {.995, 1,    1,    1,    .999, .998, .99,  .987, .981,
        .74,  .176, .041, .042, .398, .123, .533, .249, .263,
        .1,   .819, .134, .39,  .961, .999, .999, .988, .16},
       {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}},
      {{.996,  .994, .975, .922, .83, .765, .637, .74,  .649,
        .634,  .982, .443, .967, .94, .862, .985, .997, .998,
        1.004, .999, 1,    1,    1,   1,    1,    1,    1.001},
       {.879, .915, .942, .955, .994, .997, .999, .999, 1, 1, 1, 1, 1, 1,
        1,    1,    1,    1,    1,    1,    1,    1,    1, 1, 1, 1, 1},
       {1,    .993, .992, .989, .981, .972, .952, .897, .629,
        .736, .618, .79,  .628, .65,  .946, .979, .996, 1,
        1,    .999, 1,    1,    1,    1,    1,    1,    1.07},
       {.992, .996, .992, .985, .967, .841, .666, .794, .641,
        .387, .386, .874, .955, .882, .939, .971, .939, .993,
        .999, 1,    1,    1,    1,    1,    1,    1,    1},
       {.995, .994, .983, .983, .994, .997, 1,    1, 1, 1, .999, 1, 1, 1,
        1,    .964, .346, .554, .817, .187, .669, 1, 1, 1, 1,    1, 1},
       {.993, .994, .992, .994, 1,    .999, .994, .993, .989,
        .856, .437, .149, .16,  .55,  .254, .702, .459, .454,
        .197, .891, .253, .522, .976, .999, 1,    1,    1},
       {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}}};
  switch (c) {
  case (0):
    sh1 = shf0[k1][k2][k3];
    break;
  case (1):
    sh1 = shf1[k1][k2][k3];
    break;
  case (2):
    sh1 = shf2[k1][k2][k3];
    break;
  case (3):
    sh1 = shf3[k1][k2][k3];
    break;
  }
  return sh1;
}


x86 assembly (clang, -O0):
<SHF_C>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    %rax,-0x20(%rbp)
sub    $0x3,%rax
ja     11fc <SHF_C+0xfc>
mov    -0x20(%rbp),%rax
lea    0xed4(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movslq -0x4(%rbp),%rcx
lea    0x2ef0(%rip),%rax
imul   $0x2f4,%rcx,%rcx
add    %rcx,%rax
movslq -0x8(%rbp),%rcx
imul   $0x6c,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x14(%rbp)
jmp    11fc <SHF_C+0xfc>
movslq -0x4(%rbp),%rcx
lea    0x379d(%rip),%rax
imul   $0x2f4,%rcx,%rcx
add    %rcx,%rax
movslq -0x8(%rbp),%rcx
imul   $0x6c,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x14(%rbp)
jmp    11fc <SHF_C+0xfc>
movslq -0x4(%rbp),%rcx
lea    0x404a(%rip),%rax
imul   $0x2f4,%rcx,%rcx
add    %rcx,%rax
movslq -0x8(%rbp),%rcx
imul   $0x6c,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x14(%rbp)
jmp    11fc <SHF_C+0xfc>
movslq -0x4(%rbp),%rcx
lea    0x48f7(%rip),%rax
imul   $0x2f4,%rcx,%rcx
add    %rcx,%rax
movslq -0x8(%rbp),%rcx
imul   $0x6c,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x14(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<SHF_C>:
cmp    $0x3,%ecx
ja     1135 <SHF_C+0x35>
movslq %ecx,%rax
lea    0x326d(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
movslq %edi,%rcx
movslq %esi,%rsi
movslq %edx,%rdx
imul   $0x2f4,%rcx,%rcx
add    %rax,%rcx
imul   $0x6c,%rsi,%rax
add    %rcx,%rax
movss  (%rax,%rdx,4),%xmm0
ret

LLVM IR (-O0):
@SHF_C.shf0 = internal global [3 x [7 x [27 x float]]] [[7 x [27 x float]] [[27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEF7CEDA0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEE6E9780000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFCED920000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF958100000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFDF3B60000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 0x3FEFE76C80000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEF22D0E0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF8D4FE0000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFAE1480000000, float 0x3FECE56040000000, float 0x3FE8AC0840000000, float 0x3FE9916880000000, float 0x3FE1B22D00000000, float 0x3FE9604180000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEEF1AA00000000, float 1.000000e+00, float 0x3FEFF7CEE0000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFD70A40000000, float 0x3FEFF7CEE0000000, float 0x3FEE8F5C20000000, float 0x3FEFDF3B60000000, float 0x3FEC20C4A0000000, float 0x3FEF9DB220000000, float 0x3FE59999A0000000, float 0x3FEFD70A40000000, float 0x3FE33B6460000000, float 0x3FEF9DB220000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEE4DD300000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]], [7 x [27 x float]] [[27 x float] [float 0x3FF00C49C0000000, float 0x3FF0189380000000, float 0x3FF01CAC00000000, float 0x3FEF0A3D80000000, float 0x3FF0666660000000, float 0x3FF024DD20000000, float 0x3FEFCED920000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFCED920000000, float 0x3FEFF7CEE0000000, float 0x3FEE872B00000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFBE76C0000000], [27 x float] [float 0x3FF028F5C0000000, float 0x3FEFBE76C0000000, float 0x3FF0189380000000, float 0x3FEFE76C80000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FF0083120000000, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FF049BA60000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFDF3B60000000, float 0x3FEFEF9DC0000000, float 0x3FEFA5E360000000, float 0x3FEFBE76C0000000, float 0x3FEE7EF9E0000000, float 0x3FEF5C2900000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFAE1480000000], [27 x float] [float 0x3FF0083120000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 0x3FEF958100000000, float 0x3FEF8D4FE0000000, float 0x3FEFC6A7E0000000, float 0x3FEF851EC0000000, float 0x3FEF22D0E0000000, float 0x3FEFCED920000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFDF3B60000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEF3B6460000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FE8D4FE00000000, float 0x3FE9DB22E0000000, float 0x3FEBF7CEE0000000, float 0x3FDA5E3540000000, float 0x3FE9B22D00000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEF53F7C0000000, float 1.000000e+00, float 0x3FEF7CEDA0000000], [27 x float] [float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEF74BC60000000, float 0x3FEE8F5C20000000, float 0x3FEE5E3540000000, float 0x3FEF5C2900000000, float 0x3FECD4FE00000000, float 0x3FEFAE1480000000, float 0x3FE9168720000000, float 0x3FEDF3B640000000, float 0x3FE2147AE0000000, float 0x3FEFCED920000000, float 0x3FDA4DD300000000, float 0x3FEED0E560000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 0x3FECC49BA0000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]], [7 x [27 x float]] [[27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 1.000000e+00, float 0x3FEF439580000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF00418A0000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFCED920000000, float 0x3FEFDF3B60000000, float 0x3FEF3B6460000000, float 0x3FEFAE1480000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF0147AE0000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFC6A7E0000000, float 0x3FEF958100000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFCED920000000, float 0x3FEBBE76C0000000, float 0x3FEC7AE140000000, float 0x3FEEA7EFA0000000, float 0x3FE2872B00000000, float 0x3FEE3D70A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEFBE76C0000000, float 0x3FEF53F7C0000000, float 0x3FEF3B6460000000, float 0x3FEFAE1480000000, float 0x3FEE5E3540000000, float 0x3FEFD70A40000000, float 0x3FEC5A1CA0000000, float 0x3FEEF1AA00000000, float 0x3FE71A9FC0000000, float 0x3FEFE76C80000000, float 0x3FE35C2900000000, float 0x3FEF645A20000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]]]
@SHF_C.shf1 = internal global [3 x [7 x [27 x float]]] [[7 x [27 x float]] [[27 x float] [float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEF645A20000000, float 0x3FEC9BA5E0000000, float 0x3FEFA5E360000000, float 0x3FEF958100000000, float 0x3FEF333340000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FE6666660000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FED604180000000, float 0.000000e+00], [27 x float] [float 0x3FEFE76C80000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEFBE76C0000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FF0083120000000, float 0x3FEFE76C80000000, float 0x3FEFBE76C0000000, float 0x3FEF958100000000, float 0x3FEFF7CEE0000000, float 0x3FF0083120000000, float 0x3FF00418A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FED26E980000000], [27 x float] [float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFE76C80000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEFC6A7E0000000, float 0x3FEEC8B440000000, float 0x3FEF6C8B40000000, float 0x3FEF53F7C0000000, float 0x3FEED91680000000, float 0x3FEF7CEDA0000000, float 0x3FEF6C8B40000000, float 0x3FEFEF9DC0000000, float 0x3FEF3B6460000000, float 0x3FEFCED920000000, float 0x3FEFDF3B60000000, float 0x3FE9CAC080000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEC9BA5E0000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFBE76C0000000, float 0x3FEFAE1480000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF9DB220000000, float 0x3FE3BE76C0000000, float 0x3FD9581060000000, float 0x3FD74BC6A0000000, float 0x3FCB851EC0000000, float 0x3FD75C2900000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FE89374C0000000, float 1.000000e+00, float 0x3FEFCED920000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFBE76C0000000, float 0x3FEFCED920000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEF851EC0000000, float 0x3FEF020C40000000, float 0x3FEEC08320000000, float 0x3FEFCED920000000, float 0x3FE7F7CEE0000000, float 0x3FEEE978E0000000, float 0x3FE3645A20000000, float 0x3FEDF3B640000000, float 0x3FD4CCCCC0000000, float 0x3FEEC08320000000, float 0x3FD5604180000000, float 0x3FED47AE20000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FE6D0E560000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]], [7 x [27 x float]] [[27 x float] [float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEFDF3B60000000, float 0x3FEF958100000000, float 0x3FEF645A20000000, float 0x3FEF645A20000000, float 0x3FEEE147A0000000, float 0x3FEE2D0E60000000, float 0x3FEFEF9DC0000000, float 0x3FE7439580000000, float 0x3FEFEF9DC0000000, float 0x3FEFC6A7E0000000, float 0x3FEED91680000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEF2B0200000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEDA9FBE0000000], [27 x float] [float 0x3FEFDF3B60000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF00418A0000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFDF3B60000000, float 0x3FEFB645A0000000, float 0x3FEEC8B440000000, float 0x3FEF2B0200000000, float 0x3FECED9160000000, float 0x3FEDEB8520000000, float 0x3FE7F7CEE0000000, float 0x3FEB333340000000, float 0x3FEF958100000000, float 0x3FEFBE76C0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FED604180000000], [27 x float] [float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FF00418A0000000, float 0x3FEFEF9DC0000000, float 0x3FEFB645A0000000, float 0x3FEF3B6460000000, float 0x3FEF126EA0000000, float 0x3FEE978D40000000, float 0x3FEC20C4A0000000, float 0x3FEA2D0E60000000, float 0x3FEF9DB220000000, float 0x3FEFD70A40000000, float 0x3FEF6C8B40000000, float 0x3FEF0A3D80000000, float 0x3FEFAE1480000000, float 0x3FEF9DB220000000, float 0x3FEF8D4FE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEB74BC60000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FE03126E0000000, float 0x3FE449BA60000000, float 0x3FE6D0E560000000, float 0x3FCD70A3E0000000, float 0x3FE1FBE760000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEC189380000000, float 1.000000e+00, float 0x3FEFF7CEE0000000], [27 x float] [float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEF3B6460000000, float 0x3FEC28F5C0000000, float 0x3FE6F1AA00000000, float 0x3FE60418A0000000, float 0x3FEB6C8B40000000, float 0x3FE0ED9160000000, float 0x3FED604180000000, float 0x3FDA3D70A0000000, float 0x3FE5604180000000, float 0x3FD27EF9E0000000, float 0x3FEE7EF9E0000000, float 0x3FC8D4FE00000000, float 0x3FE8CCCCC0000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FE1581060000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]], [7 x [27 x float]] [[27 x float] [float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFDF3B60000000, float 0x3FEFCED920000000, float 0x3FEFAE1480000000, float 0x3FEFAE1480000000, float 0x3FEF6C8B40000000, float 0x3FEF126EA0000000, float 0x3FEFF7CEE0000000, float 0x3FEAF9DB20000000, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEF645A20000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FF020C4A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF00418A0000000], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFE76C80000000, float 0x3FEFE76C80000000, float 0x3FEFAE1480000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEFBE76C0000000, float 0x3FEFB645A0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEF645A20000000, float 0x3FEF958100000000, float 0x3FEE5E3540000000, float 0x3FEEE978E0000000, float 0x3FEB645A20000000, float 0x3FED893740000000, float 0x3FEFC6A7E0000000, float 0x3FEFDF3B60000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF0872B00000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFE76C80000000, float 0x3FEFAE1480000000, float 0x3FEFF7CEE0000000, float 0x3FEFB645A0000000, float 0x3FEF9DB220000000, float 0x3FEF851EC0000000, float 0x3FEF4BC6A0000000, float 0x3FEDFBE760000000, float 0x3FECCCCCC0000000, float 0x3FEFCED920000000, float 0x3FEFEF9DC0000000, float 0x3FEFB645A0000000, float 0x3FEF7CEDA0000000, float 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFD70A40000000, float 0x3FEFBE76C0000000, float 0x3FEFAE1480000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFBE76C0000000, float 0x3FE39DB220000000, float 0x3FE6D91680000000, float 0x3FEBDF3B60000000, float 0x3FD4AC0840000000, float 0x3FEA978D40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFD70A40000000, float 0x3FEFBE76C0000000, float 0x3FEFCED920000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEF7CEDA0000000, float 0x3FEDF3B640000000, float 0x3FEAF1AA00000000, float 0x3FEA560420000000, float 0x3FED78D500000000, float 0x3FE6F1AA00000000, float 0x3FEEA7EFA0000000, float 0x3FE4395820000000, float 0x3FE9DB22E0000000, float 0x3FDA5E3540000000, float 0x3FEF3B6460000000, float 0x3FD60418A0000000, float 0x3FEBDF3B60000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]]]
@SHF_C.shf2 = internal global [3 x [7 x [27 x float]]] [[7 x [27 x float]] [[27 x float] [float 0x3FF0083120000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 0x3FF0083120000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF0083120000000, float 0x3FEFE76C80000000, float 0x3FEC624DE0000000, float 0x3FE66E9780000000, float 0x3FED916880000000, float 0x3FED6872C0000000, float 0x3FEC7AE140000000, float 0x3FEF126EA0000000, float 0x3FEFDF3B60000000, float 0x3FEFB645A0000000, float 0x3FD74BC6A0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FE75C2900000000], [27 x float] [float 0x3FEF6C8B40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000], [27 x float] [float 1.000000e+00, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 0x3FEFAE1480000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF0083120000000, float 0x3FEFD70A40000000, float 0x3FF0106240000000, float 0x3FEF851EC0000000, float 0x3FEF53F7C0000000, float 0x3FEE76C8C0000000, float 0x3FEFDF3B60000000, float 0x3FF0189380000000, float 0x3FF0106240000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FE8A3D700000000], [27 x float] [float 0x3FF020C4A0000000, float 0x3FEFE76C80000000, float 0x3FEFDF3B60000000, float 0x3FEFAE1480000000, float 1.000000e+00, float 0x3FEF958100000000, float 0x3FEEA7EFA0000000, float 0x3FEA4DD300000000, float 0x3FED3F7CE0000000, float 0x3FECA3D700000000, float 0x3FEB645A20000000, float 0x3FEDB22D00000000, float 0x3FED26E980000000, float 0x3FEF8D4FE0000000, float 0x3FEDB22D00000000, float 0x3FEF3B6460000000, float 0x3FEF439580000000, float 0x3FDCFDF3C0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FE451EB80000000], [27 x float] [float 0x3FF00418A0000000, float 0x3FEFD70A40000000, float 0x3FEFAE1480000000, float 0x3FEF9DB220000000, float 0x3FF00418A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEF333340000000, float 0x3FD1DB22E0000000, float 0x3FC8D4FE00000000, float 0x3FBEB851E0000000, float 0x3FB4395820000000, float 0x3FC16872C0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFE76C80000000, float 0x3FD8831260000000, float 1.000000e+00, float 0x3FEE978D40000000], [27 x float] [float 0x3FF00418A0000000, float 0x3FEFC6A7E0000000, float 0x3FEFBE76C0000000, float 0x3FEFCED920000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFE76C80000000, float 0x3FEFDF3B60000000, float 0x3FEFBE76C0000000, float 0x3FEE2D0E60000000, float 0x3FECD4FE00000000, float 0x3FEC49BA60000000, float 0x3FEEF1AA00000000, float 0x3FDD70A3E0000000, float 0x3FEB9DB220000000, float 0x3FDCDD2F20000000, float 0x3FECBC6A80000000, float 0x3FC9168720000000, float 0x3FEBDF3B60000000, float 0x3FD0106240000000, float 0x3FE872B020000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFB645A0000000, float 0x3FDA2D0E60000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]], [7 x [27 x float]] [[27 x float] [float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFBE76C0000000, float 0x3FEF1A9FC0000000, float 0x3FEE353F80000000, float 0x3FED0624E0000000, float 0x3FEB645A20000000, float 0x3FEC20C4A0000000, float 0x3FE9A1CAC0000000, float 0x3FE7851EC0000000, float 0x3FEF9DB220000000, float 0x3FDB851EC0000000, float 0x3FEF958100000000, float 0x3FEEA7EFA0000000, float 0x3FEB333340000000, float 0x3FEF8D4FE0000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEE9FBE80000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FE978D500000000], [27 x float] [float 0x3FEF1A9FC0000000, float 0x3FEF53F7C0000000, float 0x3FEF645A20000000, float 0x3FEF53F7C0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFBE76C0000000, float 0x3FEF9DB220000000, float 0x3FEF2B0200000000, float 0x3FEDE35400000000, float 0x3FE8D4FE00000000, float 0x3FEB3B6460000000, float 0x3FE5604180000000, float 0x3FE8F5C280000000, float 0x3FE147AE20000000, float 0x3FE20C49C0000000, float 0x3FEE1CAC00000000, float 0x3FEF0A3D80000000, float 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FE9D2F1A0000000], [27 x float] [float 0x3FEFEF9DC0000000, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEF7CEDA0000000, float 0x3FEDCAC080000000, float 0x3FEAD91680000000, float 0x3FEB9DB220000000, float 0x3FE8AC0840000000, float 0x3FE09BA5E0000000, float 0x3FDF6C8B40000000, float 0x3FEDA9FBE0000000, float 0x3FEF126EA0000000, float 0x3FECE56040000000, float 0x3FED604180000000, float 0x3FEEB020C0000000, float 0x3FEE147AE0000000, float 0x3FEEF1AA00000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FE2E147A0000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF1A9FC0000000, float 0x3FD8C49BA0000000, float 0x3FE2560420000000, float 0x3FE570A3E0000000, float 0x3FC6A7EFA0000000, float 0x3FDF3B6460000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FE828F5C0000000, float 1.000000e+00, float 0x3FEFAE1480000000], [27 x float] [float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFE76C80000000, float 0x3FEFDF3B60000000, float 0x3FEFBE76C0000000, float 0x3FEC418940000000, float 0x3FE276C8C0000000, float 0x3FD2B020C0000000, float 0x3FD0F5C280000000, float 0x3FE2872B00000000, float 0x3FCA3D70A0000000, float 0x3FE61CAC00000000, float 0x3FD1581060000000, float 0x3FD7AE1480000000, float 0x3FC624DD20000000, float 0x3FEB851EC0000000, float 0x3FC22D0E60000000, float 0x3FDFDF3B60000000, float 0x3FEFA5E360000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFBE76C0000000, float 0x3FCED91680000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]], [7 x [27 x float]] [[27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFC6A7E0000000, float 0x3FEF6C8B40000000, float 0x3FEEE978E0000000, float 0x3FEE76C8C0000000, float 0x3FEDA9FBE0000000, float 0x3FEDEB8520000000, float 0x3FEC624DE0000000, float 0x3FEB0A3D80000000, float 0x3FEFCED920000000, float 0x3FE2F1AA00000000, float 0x3FEFC6A7E0000000, float 0x3FEF4BC6A0000000, float 0x3FED604180000000, float 0x3FEFC6A7E0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FF0147AE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF00418A0000000], [27 x float] [float 0x3FEF74BC60000000, float 0x3FEF8D4FE0000000, float 0x3FEF9DB220000000, float 0x3FEF5C2900000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFAE1480000000, float 0x3FEFDF3B60000000, float 0x3FEFCED920000000, float 0x3FEF958100000000, float 0x3FEEF1AA00000000, float 0x3FEC20C4A0000000, float 0x3FED70A3E0000000, float 0x3FE91EB860000000, float 0x3FEBBE76C0000000, float 0x3FE5F3B640000000, float 0x3FE7EF9DC0000000, float 0x3FEEF9DB20000000, float 0x3FEF851EC0000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF12B0200000000], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFDF3B60000000, float 0x3FEFD70A40000000, float 0x3FEFA5E360000000, float 0x3FEFBE76C0000000, float 0x3FEEB851E0000000, float 0x3FED47AE20000000, float 0x3FED6872C0000000, float 0x3FEBF7CEE0000000, float 0x3FE6560420000000, float 0x3FE4A3D700000000, float 0x3FEEC08320000000, float 0x3FEF851EC0000000, float 0x3FEE560420000000, float 0x3FEE7EF9E0000000, float 0x3FEF5C2900000000, float 0x3FEEF9DB20000000, float 0x3FEFE76C80000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFCED920000000, float 0x3FEFA5E360000000, float 0x3FEF9DB220000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF5C2900000000, float 0x3FDD3F7CE0000000, float 0x3FE4083120000000, float 0x3FEA76C8C0000000, float 0x3FCDF3B640000000, float 0x3FE89BA5E0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 0x3FEFDF3B60000000, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFCED920000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEDDB22E0000000, float 0x3FE78D4FE0000000, float 0x3FDFEF9DC0000000, float 0x3FDD810620000000, float 0x3FE71A9FC0000000, float 0x3FD9893740000000, float 0x3FEA560420000000, float 0x3FDF2B0200000000, float 0x3FE21CAC00000000, float 0x3FD0D4FE00000000, float 0x3FED70A3E0000000, float 0x3FD0F5C280000000, float 0x3FE4A3D700000000, float 0x3FEFCED920000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]]]
@SHF_C.shf3 = internal global [3 x [7 x [27 x float]]] [[7 x [27 x float]] [[27 x float] [float 0x3FF028F5C0000000, float 0x3FEFDF3B60000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FF024DD20000000, float 0x3FF01CAC00000000, float 0x3FF0147AE0000000, float 0x3FEFAE1480000000, float 0x3FF0083120000000, float 0x3FEFE76C80000000, float 0x3FE7EF9DC0000000, float 0x3FE1BA5E40000000, float 0x3FE8A3D700000000, float 0x3FE978D500000000, float 0x3FEA0418A0000000, float 0x3FEE0418A0000000, float 0x3FEFAE1480000000, float 0x3FEF6C8B40000000, float 0x3FD0B43960000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FE4395820000000], [27 x float] [float 0x3FEA45A1C0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFCED920000000], [27 x float] [float 1.000000e+00, float 0x3FEFB645A0000000, float 0x3FEF9DB220000000, float 0x3FEFA5E360000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FF00418A0000000, float 0x3FF0106240000000, float 0x3FEF74BC60000000, float 0x3FEFDF3B60000000, float 0x3FEF0A3D80000000, float 0x3FEF22D0E0000000, float 0x3FEDC28F60000000, float 0x3FEFCED920000000, float 0x3FF024DD20000000, float 0x3FF0189380000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFE76C80000000, float 0x3FE70A3D80000000], [27 x float] [float 0x3FF0A7EFA0000000, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFBE76C0000000, float 1.000000e+00, float 0x3FEF020C40000000, float 0x3FEC624DE0000000, float 0x3FE5BA5E40000000, float 0x3FEA45A1C0000000, float 0x3FE8BC6A80000000, float 0x3FE7126EA0000000, float 0x3FEB2B0200000000, float 0x3FEA8F5C20000000, float 0x3FEEF1AA00000000, float 0x3FECFDF3C0000000, float 0x3FEEE978E0000000, float 0x3FEE9FBE80000000, float 0x3FD3020C40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFCED920000000, float 0x3FDDA1CAC0000000], [27 x float] [float 0x3FF024DD20000000, float 0x3FEFD70A40000000, float 0x3FEF851EC0000000, float 0x3FEF851EC0000000, float 0x3FF0083120000000, float 1.000000e+00, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FF0083120000000, float 0x3FF0083120000000, float 0x3FF0083120000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEEA7EFA0000000, float 0x3FC3958100000000, float 0x3FC70A3D80000000, float 0x3FAD2F1AA0000000, float 0x3FAFBE76C0000000, float 0x3FB60418A0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFA5E360000000, float 0x3FCA5E3540000000, float 1.000000e+00, float 0x3FEBCED920000000], [27 x float] [float 0x3FF03126E0000000, float 0x3FEFB645A0000000, float 0x3FEFBE76C0000000, float 0x3FEFD70A40000000, float 0x3FF00418A0000000, float 0x3FEFEF9DC0000000, float 0x3FEFAE1480000000, float 0x3FEFB645A0000000, float 0x3FEFA5E360000000, float 0x3FEFC6A7E0000000, float 0x3FECDD2F20000000, float 0x3FEB6C8B40000000, float 0x3FEB333340000000, float 0x3FEDB22D00000000, float 0x3FD48B43A0000000, float 0x3FE8ED9160000000, float 0x3FDAF1AA00000000, float 0x3FED810620000000, float 0x3FC6666660000000, float 0x3FEA560420000000, float 0x3FCE76C8C0000000, float 0x3FE5CAC080000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFE76C80000000, float 0x3FEEE147A0000000, float 0x3FD20C49C0000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]], [7 x [27 x float]] [[27 x float] [float 0x3FEFDF3B60000000, float 0x3FEFCED920000000, float 0x3FEEE147A0000000, float 0x3FEBDF3B60000000, float 0x3FE7439580000000, float 0x3FE21CAC00000000, float 0x3FD8624DE0000000, float 0x3FDEF9DB20000000, float 0x3FDCFDF3C0000000, float 0x3FDD0E5600000000, float 0x3FEEE978E0000000, float 0x3FD16872C0000000, float 0x3FEDFBE760000000, float 0x3FEC831260000000, float 0x3FE851EB80000000, float 0x3FEF1A9FC0000000, float 0x3FEFC6A7E0000000, float 0x3FEFDF3B60000000, float 0x3FEE872B00000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FE7BE76C0000000], [27 x float] [float 0x3FE9DB22E0000000, float 0x3FEB74BC60000000, float 0x3FECCCCCC0000000, float 0x3FEE560420000000, float 0x3FEFA5E360000000, float 0x3FEFCED920000000, float 0x3FEFE76C80000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEEC8B440000000, float 0x3FEE2D0E60000000, float 0x3FECDD2F20000000, float 0x3FE94FDF40000000, float 0x3FD9DB22E0000000, float 0x3FDA0C49C0000000, float 0x3FDE666660000000, float 0x3FE5B22D00000000, float 0x3FDF0A3D80000000, float 0x3FDCFDF3C0000000, float 0x3FECE56040000000, float 0x3FEEA7EFA0000000, float 0x3FEFC6A7E0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FE85A1CA0000000], [27 x float] [float 0x3FEFC6A7E0000000, float 0x3FEFF7CEE0000000, float 0x3FEFB645A0000000, float 0x3FEF645A20000000, float 0x3FEE0418A0000000, float 0x3FE60C49C0000000, float 0x3FDDE35400000000, float 0x3FE4FDF3C0000000, float 0x3FD8418940000000, float 0x3FD26E9780000000, float 0x3FCF7CEDA0000000, float 0x3FE93F7CE0000000, float 0x3FED893740000000, float 0x3FE9A1CAC0000000, float 0x3FEC9374C0000000, float 0x3FEE0C49C0000000, float 0x3FEC7AE140000000, float 0x3FEE9FBE80000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FDDD2F1A0000000], [27 x float] [float 0x3FEFEF9DC0000000, float 1.000000e+00, float 0x3FEFC6A7E0000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFCED920000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEE0418A0000000, float 0x3FC3F7CEE0000000, float 0x3FD48B43A0000000, float 0x3FE52F1AA0000000, float 0x3FB99999A0000000, float 0x3FD449BA60000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FE722D0E0000000, float 1.000000e+00, float 0x3FEF0A3D80000000], [27 x float] [float 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFAE1480000000, float 0x3FEF958100000000, float 0x3FEF645A20000000, float 0x3FE7AE1480000000, float 0x3FC6872B00000000, float 0x3FA4FDF3C0000000, float 0x3FA5810620000000, float 0x3FD978D500000000, float 0x3FBF7CEDA0000000, float 0x3FE10E5600000000, float 0x3FCFDF3B60000000, float 0x3FD0D4FE00000000, float 0x3FB99999A0000000, float 0x3FEA353F80000000, float 0x3FC126E980000000, float 0x3FD8F5C280000000, float 0x3FEEC08320000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEF9DB220000000, float 0x3FC47AE140000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]], [7 x [27 x float]] [[27 x float] [float 0x3FEFDF3B60000000, float 0x3FEFCED920000000, float 0x3FEF333340000000, float 0x3FED810620000000, float 0x3FEA8F5C20000000, float 0x3FE87AE140000000, float 0x3FE4624DE0000000, float 0x3FE7AE1480000000, float 0x3FE4C49BA0000000, float 0x3FE449BA60000000, float 0x3FEF6C8B40000000, float 0x3FDC5A1CA0000000, float 0x3FEEF1AA00000000, float 0x3FEE147AE0000000, float 0x3FEB958100000000, float 0x3FEF851EC0000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FF0106240000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF00418A0000000], [27 x float] [float 0x3FEC20C4A0000000, float 0x3FED47AE20000000, float 0x3FEE24DD20000000, float 0x3FEE8F5C20000000, float 0x3FEFCED920000000, float 0x3FEFE76C80000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 0x3FEFC6A7E0000000, float 0x3FEFBE76C0000000, float 0x3FEFA5E360000000, float 0x3FEF645A20000000, float 0x3FEF1A9FC0000000, float 0x3FEE76C8C0000000, float 0x3FECB43960000000, float 0x3FE420C4A0000000, float 0x3FE78D4FE0000000, float 0x3FE3C6A7E0000000, float 0x3FE947AE20000000, float 0x3FE4189380000000, float 0x3FE4CCCCC0000000, float 0x3FEE45A1C0000000, float 0x3FEF53F7C0000000, float 0x3FEFDF3B60000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF11EB860000000], [27 x float] [float 0x3FEFBE76C0000000, float 0x3FEFDF3B60000000, float 0x3FEFBE76C0000000, float 0x3FEF851EC0000000, float 0x3FEEF1AA00000000, float 0x3FEAE978E0000000, float 0x3FE54FDF40000000, float 0x3FE96872C0000000, float 0x3FE4831260000000, float 0x3FD8C49BA0000000, float 0x3FD8B43960000000, float 0x3FEBF7CEE0000000, float 0x3FEE8F5C20000000, float 0x3FEC395820000000, float 0x3FEE0C49C0000000, float 0x3FEF126EA0000000, float 0x3FEE0C49C0000000, float 0x3FEFC6A7E0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEF74BC60000000, float 0x3FEF74BC60000000, float 0x3FEFCED920000000, float 0x3FEFE76C80000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEED91680000000, float 0x3FD624DD20000000, float 0x3FE1BA5E40000000, float 0x3FEA24DD20000000, float 0x3FC7EF9DC0000000, float 0x3FE56872C0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 0x3FEFC6A7E0000000, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFCED920000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFCED920000000, float 0x3FEFC6A7E0000000, float 0x3FEFA5E360000000, float 0x3FEB645A20000000, float 0x3FDBF7CEE0000000, float 0x3FC3126EA0000000, float 0x3FC47AE140000000, float 0x3FE19999A0000000, float 0x3FD0418940000000, float 0x3FE676C8C0000000, float 0x3FDD604180000000, float 0x3FDD0E5600000000, float 0x3FC9374BC0000000, float 0x3FEC831260000000, float 0x3FD03126E0000000, float 0x3FE0B43960000000, float 0x3FEF3B6460000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]]]
define float @SHF_C(i32 %0, i32 %1, i32 %2, i32 %3) {
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca float
store i32 %0, i32* %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i32 %3, i32* %8
%10 = load i32, i32* %8
switch i32 %10, label %55 [
i32 0, label %11
i32 1, label %22
i32 2, label %33
i32 3, label %44
]
11: ; preds = %4
%12 = load i32, i32* %5
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds [3 x [7 x [27 x float]]], [3 x [7 x [27 x float]]]* @SHF_C.shf0, i64 0, i64 %13
%15 = load i32, i32* %6
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds [7 x [27 x float]], [7 x [27 x float]]* %14, i64 0, i64 %16
%18 = load i32, i32* %7
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds [27 x float], [27 x float]* %17, i64 0, i64 %19
%21 = load float, float* %20
store float %21, float* %9
br label %55
22: ; preds = %4
%23 = load i32, i32* %5
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds [3 x [7 x [27 x float]]], [3 x [7 x [27 x float]]]* @SHF_C.shf1, i64 0, i64 %24
%26 = load i32, i32* %6
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds [7 x [27 x float]], [7 x [27 x float]]* %25, i64 0, i64 %27
%29 = load i32, i32* %7
%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* %9
br label %55
33: ; preds = %4
%34 = load i32, i32* %5
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds [3 x [7 x [27 x float]]], [3 x [7 x [27 x float]]]* @SHF_C.shf2, i64 0, i64 %35
%37 = load i32, i32* %6
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds [7 x [27 x float]], [7 x [27 x float]]* %36, i64 0, i64 %38
%40 = load i32, i32* %7
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds [27 x float], [27 x float]* %39, i64 0, i64 %41
%43 = load float, float* %42
store float %43, float* %9
br label %55
44: ; preds = %4
%45 = load i32, i32* %5
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds [3 x [7 x [27 x float]]], [3 x [7 x [27 x float]]]* @SHF_C.shf3, i64 0, i64 %46
%48 = load i32, i32* %6
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds [7 x [27 x float]], [7 x [27 x float]]* %47, i64 0, i64 %49
%51 = load i32, i32* %7
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds [27 x float], [27 x float]* %50, i64 0, i64 %52
%54 = load float, float* %53
store float %54, float* %9
br label %55
55: ; preds = %4, %44, %33, %22, %11
%56 = load float, float* %9
ret float %56
}

LLVM IR (-O2):
@SHF_C.shf0 = internal unnamed_addr constant [3 x [7 x [27 x float]]] [[7 x [27 x float]] [[27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEF7CEDA0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEE6E9780000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFCED920000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF958100000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFDF3B60000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 0x3FEFE76C80000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEF22D0E0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF8D4FE0000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFAE1480000000, float 0x3FECE56040000000, float 0x3FE8AC0840000000, float 0x3FE9916880000000, float 0x3FE1B22D00000000, float 0x3FE9604180000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEEF1AA00000000, float 1.000000e+00, float 0x3FEFF7CEE0000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFD70A40000000, float 0x3FEFF7CEE0000000, float 0x3FEE8F5C20000000, float 0x3FEFDF3B60000000, float 0x3FEC20C4A0000000, float 0x3FEF9DB220000000, float 0x3FE59999A0000000, float 0x3FEFD70A40000000, float 0x3FE33B6460000000, float 0x3FEF9DB220000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEE4DD300000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]], [7 x [27 x float]] [[27 x float] [float 0x3FF00C49C0000000, float 0x3FF0189380000000, float 0x3FF01CAC00000000, float 0x3FEF0A3D80000000, float 0x3FF0666660000000, float 0x3FF024DD20000000, float 0x3FEFCED920000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFCED920000000, float 0x3FEFF7CEE0000000, float 0x3FEE872B00000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFBE76C0000000], [27 x float] [float 0x3FF028F5C0000000, float 0x3FEFBE76C0000000, float 0x3FF0189380000000, float 0x3FEFE76C80000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FF0083120000000, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FF049BA60000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFDF3B60000000, float 0x3FEFEF9DC0000000, float 0x3FEFA5E360000000, float 0x3FEFBE76C0000000, float 0x3FEE7EF9E0000000, float 0x3FEF5C2900000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFAE1480000000], [27 x float] [float 0x3FF0083120000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 0x3FEF958100000000, float 0x3FEF8D4FE0000000, float 0x3FEFC6A7E0000000, float 0x3FEF851EC0000000, float 0x3FEF22D0E0000000, float 0x3FEFCED920000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFDF3B60000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEF3B6460000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FE8D4FE00000000, float 0x3FE9DB22E0000000, float 0x3FEBF7CEE0000000, float 0x3FDA5E3540000000, float 0x3FE9B22D00000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEF53F7C0000000, float 1.000000e+00, float 0x3FEF7CEDA0000000], [27 x float] [float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEF74BC60000000, float 0x3FEE8F5C20000000, float 0x3FEE5E3540000000, float 0x3FEF5C2900000000, float 0x3FECD4FE00000000, float 0x3FEFAE1480000000, float 0x3FE9168720000000, float 0x3FEDF3B640000000, float 0x3FE2147AE0000000, float 0x3FEFCED920000000, float 0x3FDA4DD300000000, float 0x3FEED0E560000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 0x3FECC49BA0000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]], [7 x [27 x float]] [[27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 1.000000e+00, float 0x3FEF439580000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF00418A0000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFCED920000000, float 0x3FEFDF3B60000000, float 0x3FEF3B6460000000, float 0x3FEFAE1480000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF0147AE0000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFC6A7E0000000, float 0x3FEF958100000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFCED920000000, float 0x3FEBBE76C0000000, float 0x3FEC7AE140000000, float 0x3FEEA7EFA0000000, float 0x3FE2872B00000000, float 0x3FEE3D70A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEFBE76C0000000, float 0x3FEF53F7C0000000, float 0x3FEF3B6460000000, float 0x3FEFAE1480000000, float 0x3FEE5E3540000000, float 0x3FEFD70A40000000, float 0x3FEC5A1CA0000000, float 0x3FEEF1AA00000000, float 0x3FE71A9FC0000000, float 0x3FEFE76C80000000, float 0x3FE35C2900000000, float 0x3FEF645A20000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]]]
@SHF_C.shf1 = internal unnamed_addr constant [3 x [7 x [27 x float]]] [[7 x [27 x float]] [[27 x float] [float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEF645A20000000, float 0x3FEC9BA5E0000000, float 0x3FEFA5E360000000, float 0x3FEF958100000000, float 0x3FEF333340000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FE6666660000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FED604180000000, float 0.000000e+00], [27 x float] [float 0x3FEFE76C80000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEFBE76C0000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FF0083120000000, float 0x3FEFE76C80000000, float 0x3FEFBE76C0000000, float 0x3FEF958100000000, float 0x3FEFF7CEE0000000, float 0x3FF0083120000000, float 0x3FF00418A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FED26E980000000], [27 x float] [float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFE76C80000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEFC6A7E0000000, float 0x3FEEC8B440000000, float 0x3FEF6C8B40000000, float 0x3FEF53F7C0000000, float 0x3FEED91680000000, float 0x3FEF7CEDA0000000, float 0x3FEF6C8B40000000, float 0x3FEFEF9DC0000000, float 0x3FEF3B6460000000, float 0x3FEFCED920000000, float 0x3FEFDF3B60000000, float 0x3FE9CAC080000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEC9BA5E0000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFBE76C0000000, float 0x3FEFAE1480000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF9DB220000000, float 0x3FE3BE76C0000000, float 0x3FD9581060000000, float 0x3FD74BC6A0000000, float 0x3FCB851EC0000000, float 0x3FD75C2900000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FE89374C0000000, float 1.000000e+00, float 0x3FEFCED920000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFBE76C0000000, float 0x3FEFCED920000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEF851EC0000000, float 0x3FEF020C40000000, float 0x3FEEC08320000000, float 0x3FEFCED920000000, float 0x3FE7F7CEE0000000, float 0x3FEEE978E0000000, float 0x3FE3645A20000000, float 0x3FEDF3B640000000, float 0x3FD4CCCCC0000000, float 0x3FEEC08320000000, float 0x3FD5604180000000, float 0x3FED47AE20000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FE6D0E560000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]], [7 x [27 x float]] [[27 x float] [float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEFDF3B60000000, float 0x3FEF958100000000, float 0x3FEF645A20000000, float 0x3FEF645A20000000, float 0x3FEEE147A0000000, float 0x3FEE2D0E60000000, float 0x3FEFEF9DC0000000, float 0x3FE7439580000000, float 0x3FEFEF9DC0000000, float 0x3FEFC6A7E0000000, float 0x3FEED91680000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEF2B0200000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEDA9FBE0000000], [27 x float] [float 0x3FEFDF3B60000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF00418A0000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFDF3B60000000, float 0x3FEFB645A0000000, float 0x3FEEC8B440000000, float 0x3FEF2B0200000000, float 0x3FECED9160000000, float 0x3FEDEB8520000000, float 0x3FE7F7CEE0000000, float 0x3FEB333340000000, float 0x3FEF958100000000, float 0x3FEFBE76C0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FED604180000000], [27 x float] [float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FF00418A0000000, float 0x3FEFEF9DC0000000, float 0x3FEFB645A0000000, float 0x3FEF3B6460000000, float 0x3FEF126EA0000000, float 0x3FEE978D40000000, float 0x3FEC20C4A0000000, float 0x3FEA2D0E60000000, float 0x3FEF9DB220000000, float 0x3FEFD70A40000000, float 0x3FEF6C8B40000000, float 0x3FEF0A3D80000000, float 0x3FEFAE1480000000, float 0x3FEF9DB220000000, float 0x3FEF8D4FE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEB74BC60000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FE03126E0000000, float 0x3FE449BA60000000, float 0x3FE6D0E560000000, float 0x3FCD70A3E0000000, float 0x3FE1FBE760000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEC189380000000, float 1.000000e+00, float 0x3FEFF7CEE0000000], [27 x float] [float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEF3B6460000000, float 0x3FEC28F5C0000000, float 0x3FE6F1AA00000000, float 0x3FE60418A0000000, float 0x3FEB6C8B40000000, float 0x3FE0ED9160000000, float 0x3FED604180000000, float 0x3FDA3D70A0000000, float 0x3FE5604180000000, float 0x3FD27EF9E0000000, float 0x3FEE7EF9E0000000, float 0x3FC8D4FE00000000, float 0x3FE8CCCCC0000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FE1581060000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]], [7 x [27 x float]] [[27 x float] [float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFDF3B60000000, float 0x3FEFCED920000000, float 0x3FEFAE1480000000, float 0x3FEFAE1480000000, float 0x3FEF6C8B40000000, float 0x3FEF126EA0000000, float 0x3FEFF7CEE0000000, float 0x3FEAF9DB20000000, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEF645A20000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FF020C4A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF00418A0000000], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFE76C80000000, float 0x3FEFE76C80000000, float 0x3FEFAE1480000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEFBE76C0000000, float 0x3FEFB645A0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEF645A20000000, float 0x3FEF958100000000, float 0x3FEE5E3540000000, float 0x3FEEE978E0000000, float 0x3FEB645A20000000, float 0x3FED893740000000, float 0x3FEFC6A7E0000000, float 0x3FEFDF3B60000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF0872B00000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFE76C80000000, float 0x3FEFAE1480000000, float 0x3FEFF7CEE0000000, float 0x3FEFB645A0000000, float 0x3FEF9DB220000000, float 0x3FEF851EC0000000, float 0x3FEF4BC6A0000000, float 0x3FEDFBE760000000, float 0x3FECCCCCC0000000, float 0x3FEFCED920000000, float 0x3FEFEF9DC0000000, float 0x3FEFB645A0000000, float 0x3FEF7CEDA0000000, float 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFD70A40000000, float 0x3FEFBE76C0000000, float 0x3FEFAE1480000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFBE76C0000000, float 0x3FE39DB220000000, float 0x3FE6D91680000000, float 0x3FEBDF3B60000000, float 0x3FD4AC0840000000, float 0x3FEA978D40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFD70A40000000, float 0x3FEFBE76C0000000, float 0x3FEFCED920000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEF7CEDA0000000, float 0x3FEDF3B640000000, float 0x3FEAF1AA00000000, float 0x3FEA560420000000, float 0x3FED78D500000000, float 0x3FE6F1AA00000000, float 0x3FEEA7EFA0000000, float 0x3FE4395820000000, float 0x3FE9DB22E0000000, float 0x3FDA5E3540000000, float 0x3FEF3B6460000000, float 0x3FD60418A0000000, float 0x3FEBDF3B60000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]]]
@SHF_C.shf2 = internal unnamed_addr constant [3 x [7 x [27 x float]]] [[7 x [27 x float]] [[27 x float] [float 0x3FF0083120000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 0x3FF0083120000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF0083120000000, float 0x3FEFE76C80000000, float 0x3FEC624DE0000000, float 0x3FE66E9780000000, float 0x3FED916880000000, float 0x3FED6872C0000000, float 0x3FEC7AE140000000, float 0x3FEF126EA0000000, float 0x3FEFDF3B60000000, float 0x3FEFB645A0000000, float 0x3FD74BC6A0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FE75C2900000000], [27 x float] [float 0x3FEF6C8B40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000], [27 x float] [float 1.000000e+00, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 0x3FEFAE1480000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF0083120000000, float 0x3FEFD70A40000000, float 0x3FF0106240000000, float 0x3FEF851EC0000000, float 0x3FEF53F7C0000000, float 0x3FEE76C8C0000000, float 0x3FEFDF3B60000000, float 0x3FF0189380000000, float 0x3FF0106240000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FE8A3D700000000], [27 x float] [float 0x3FF020C4A0000000, float 0x3FEFE76C80000000, float 0x3FEFDF3B60000000, float 0x3FEFAE1480000000, float 1.000000e+00, float 0x3FEF958100000000, float 0x3FEEA7EFA0000000, float 0x3FEA4DD300000000, float 0x3FED3F7CE0000000, float 0x3FECA3D700000000, float 0x3FEB645A20000000, float 0x3FEDB22D00000000, float 0x3FED26E980000000, float 0x3FEF8D4FE0000000, float 0x3FEDB22D00000000, float 0x3FEF3B6460000000, float 0x3FEF439580000000, float 0x3FDCFDF3C0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FE451EB80000000], [27 x float] [float 0x3FF00418A0000000, float 0x3FEFD70A40000000, float 0x3FEFAE1480000000, float 0x3FEF9DB220000000, float 0x3FF00418A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEF333340000000, float 0x3FD1DB22E0000000, float 0x3FC8D4FE00000000, float 0x3FBEB851E0000000, float 0x3FB4395820000000, float 0x3FC16872C0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFE76C80000000, float 0x3FD8831260000000, float 1.000000e+00, float 0x3FEE978D40000000], [27 x float] [float 0x3FF00418A0000000, float 0x3FEFC6A7E0000000, float 0x3FEFBE76C0000000, float 0x3FEFCED920000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFE76C80000000, float 0x3FEFDF3B60000000, float 0x3FEFBE76C0000000, float 0x3FEE2D0E60000000, float 0x3FECD4FE00000000, float 0x3FEC49BA60000000, float 0x3FEEF1AA00000000, float 0x3FDD70A3E0000000, float 0x3FEB9DB220000000, float 0x3FDCDD2F20000000, float 0x3FECBC6A80000000, float 0x3FC9168720000000, float 0x3FEBDF3B60000000, float 0x3FD0106240000000, float 0x3FE872B020000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFB645A0000000, float 0x3FDA2D0E60000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]], [7 x [27 x float]] [[27 x float] [float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFBE76C0000000, float 0x3FEF1A9FC0000000, float 0x3FEE353F80000000, float 0x3FED0624E0000000, float 0x3FEB645A20000000, float 0x3FEC20C4A0000000, float 0x3FE9A1CAC0000000, float 0x3FE7851EC0000000, float 0x3FEF9DB220000000, float 0x3FDB851EC0000000, float 0x3FEF958100000000, float 0x3FEEA7EFA0000000, float 0x3FEB333340000000, float 0x3FEF8D4FE0000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEE9FBE80000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FE978D500000000], [27 x float] [float 0x3FEF1A9FC0000000, float 0x3FEF53F7C0000000, float 0x3FEF645A20000000, float 0x3FEF53F7C0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFBE76C0000000, float 0x3FEF9DB220000000, float 0x3FEF2B0200000000, float 0x3FEDE35400000000, float 0x3FE8D4FE00000000, float 0x3FEB3B6460000000, float 0x3FE5604180000000, float 0x3FE8F5C280000000, float 0x3FE147AE20000000, float 0x3FE20C49C0000000, float 0x3FEE1CAC00000000, float 0x3FEF0A3D80000000, float 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FE9D2F1A0000000], [27 x float] [float 0x3FEFEF9DC0000000, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEF7CEDA0000000, float 0x3FEDCAC080000000, float 0x3FEAD91680000000, float 0x3FEB9DB220000000, float 0x3FE8AC0840000000, float 0x3FE09BA5E0000000, float 0x3FDF6C8B40000000, float 0x3FEDA9FBE0000000, float 0x3FEF126EA0000000, float 0x3FECE56040000000, float 0x3FED604180000000, float 0x3FEEB020C0000000, float 0x3FEE147AE0000000, float 0x3FEEF1AA00000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FE2E147A0000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF1A9FC0000000, float 0x3FD8C49BA0000000, float 0x3FE2560420000000, float 0x3FE570A3E0000000, float 0x3FC6A7EFA0000000, float 0x3FDF3B6460000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FE828F5C0000000, float 1.000000e+00, float 0x3FEFAE1480000000], [27 x float] [float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFE76C80000000, float 0x3FEFDF3B60000000, float 0x3FEFBE76C0000000, float 0x3FEC418940000000, float 0x3FE276C8C0000000, float 0x3FD2B020C0000000, float 0x3FD0F5C280000000, float 0x3FE2872B00000000, float 0x3FCA3D70A0000000, float 0x3FE61CAC00000000, float 0x3FD1581060000000, float 0x3FD7AE1480000000, float 0x3FC624DD20000000, float 0x3FEB851EC0000000, float 0x3FC22D0E60000000, float 0x3FDFDF3B60000000, float 0x3FEFA5E360000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFBE76C0000000, float 0x3FCED91680000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]], [7 x [27 x float]] [[27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFC6A7E0000000, float 0x3FEF6C8B40000000, float 0x3FEEE978E0000000, float 0x3FEE76C8C0000000, float 0x3FEDA9FBE0000000, float 0x3FEDEB8520000000, float 0x3FEC624DE0000000, float 0x3FEB0A3D80000000, float 0x3FEFCED920000000, float 0x3FE2F1AA00000000, float 0x3FEFC6A7E0000000, float 0x3FEF4BC6A0000000, float 0x3FED604180000000, float 0x3FEFC6A7E0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FF0147AE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF00418A0000000], [27 x float] [float 0x3FEF74BC60000000, float 0x3FEF8D4FE0000000, float 0x3FEF9DB220000000, float 0x3FEF5C2900000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFAE1480000000, float 0x3FEFDF3B60000000, float 0x3FEFCED920000000, float 0x3FEF958100000000, float 0x3FEEF1AA00000000, float 0x3FEC20C4A0000000, float 0x3FED70A3E0000000, float 0x3FE91EB860000000, float 0x3FEBBE76C0000000, float 0x3FE5F3B640000000, float 0x3FE7EF9DC0000000, float 0x3FEEF9DB20000000, float 0x3FEF851EC0000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF12B0200000000], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFDF3B60000000, float 0x3FEFD70A40000000, float 0x3FEFA5E360000000, float 0x3FEFBE76C0000000, float 0x3FEEB851E0000000, float 0x3FED47AE20000000, float 0x3FED6872C0000000, float 0x3FEBF7CEE0000000, float 0x3FE6560420000000, float 0x3FE4A3D700000000, float 0x3FEEC08320000000, float 0x3FEF851EC0000000, float 0x3FEE560420000000, float 0x3FEE7EF9E0000000, float 0x3FEF5C2900000000, float 0x3FEEF9DB20000000, float 0x3FEFE76C80000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFCED920000000, float 0x3FEFA5E360000000, float 0x3FEF9DB220000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF5C2900000000, float 0x3FDD3F7CE0000000, float 0x3FE4083120000000, float 0x3FEA76C8C0000000, float 0x3FCDF3B640000000, float 0x3FE89BA5E0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 0x3FEFDF3B60000000, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFCED920000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEDDB22E0000000, float 0x3FE78D4FE0000000, float 0x3FDFEF9DC0000000, float 0x3FDD810620000000, float 0x3FE71A9FC0000000, float 0x3FD9893740000000, float 0x3FEA560420000000, float 0x3FDF2B0200000000, float 0x3FE21CAC00000000, float 0x3FD0D4FE00000000, float 0x3FED70A3E0000000, float 0x3FD0F5C280000000, float 0x3FE4A3D700000000, float 0x3FEFCED920000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]]]
@SHF_C.shf3 = internal unnamed_addr constant [3 x [7 x [27 x float]]] [[7 x [27 x float]] [[27 x float] [float 0x3FF028F5C0000000, float 0x3FEFDF3B60000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FF024DD20000000, float 0x3FF01CAC00000000, float 0x3FF0147AE0000000, float 0x3FEFAE1480000000, float 0x3FF0083120000000, float 0x3FEFE76C80000000, float 0x3FE7EF9DC0000000, float 0x3FE1BA5E40000000, float 0x3FE8A3D700000000, float 0x3FE978D500000000, float 0x3FEA0418A0000000, float 0x3FEE0418A0000000, float 0x3FEFAE1480000000, float 0x3FEF6C8B40000000, float 0x3FD0B43960000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FE4395820000000], [27 x float] [float 0x3FEA45A1C0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFCED920000000], [27 x float] [float 1.000000e+00, float 0x3FEFB645A0000000, float 0x3FEF9DB220000000, float 0x3FEFA5E360000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FF00418A0000000, float 0x3FF0106240000000, float 0x3FEF74BC60000000, float 0x3FEFDF3B60000000, float 0x3FEF0A3D80000000, float 0x3FEF22D0E0000000, float 0x3FEDC28F60000000, float 0x3FEFCED920000000, float 0x3FF024DD20000000, float 0x3FF0189380000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFE76C80000000, float 0x3FE70A3D80000000], [27 x float] [float 0x3FF0A7EFA0000000, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFBE76C0000000, float 1.000000e+00, float 0x3FEF020C40000000, float 0x3FEC624DE0000000, float 0x3FE5BA5E40000000, float 0x3FEA45A1C0000000, float 0x3FE8BC6A80000000, float 0x3FE7126EA0000000, float 0x3FEB2B0200000000, float 0x3FEA8F5C20000000, float 0x3FEEF1AA00000000, float 0x3FECFDF3C0000000, float 0x3FEEE978E0000000, float 0x3FEE9FBE80000000, float 0x3FD3020C40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFCED920000000, float 0x3FDDA1CAC0000000], [27 x float] [float 0x3FF024DD20000000, float 0x3FEFD70A40000000, float 0x3FEF851EC0000000, float 0x3FEF851EC0000000, float 0x3FF0083120000000, float 1.000000e+00, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FF0083120000000, float 0x3FF0083120000000, float 0x3FF0083120000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEEA7EFA0000000, float 0x3FC3958100000000, float 0x3FC70A3D80000000, float 0x3FAD2F1AA0000000, float 0x3FAFBE76C0000000, float 0x3FB60418A0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFA5E360000000, float 0x3FCA5E3540000000, float 1.000000e+00, float 0x3FEBCED920000000], [27 x float] [float 0x3FF03126E0000000, float 0x3FEFB645A0000000, float 0x3FEFBE76C0000000, float 0x3FEFD70A40000000, float 0x3FF00418A0000000, float 0x3FEFEF9DC0000000, float 0x3FEFAE1480000000, float 0x3FEFB645A0000000, float 0x3FEFA5E360000000, float 0x3FEFC6A7E0000000, float 0x3FECDD2F20000000, float 0x3FEB6C8B40000000, float 0x3FEB333340000000, float 0x3FEDB22D00000000, float 0x3FD48B43A0000000, float 0x3FE8ED9160000000, float 0x3FDAF1AA00000000, float 0x3FED810620000000, float 0x3FC6666660000000, float 0x3FEA560420000000, float 0x3FCE76C8C0000000, float 0x3FE5CAC080000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFE76C80000000, float 0x3FEEE147A0000000, float 0x3FD20C49C0000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]], [7 x [27 x float]] [[27 x float] [float 0x3FEFDF3B60000000, float 0x3FEFCED920000000, float 0x3FEEE147A0000000, float 0x3FEBDF3B60000000, float 0x3FE7439580000000, float 0x3FE21CAC00000000, float 0x3FD8624DE0000000, float 0x3FDEF9DB20000000, float 0x3FDCFDF3C0000000, float 0x3FDD0E5600000000, float 0x3FEEE978E0000000, float 0x3FD16872C0000000, float 0x3FEDFBE760000000, float 0x3FEC831260000000, float 0x3FE851EB80000000, float 0x3FEF1A9FC0000000, float 0x3FEFC6A7E0000000, float 0x3FEFDF3B60000000, float 0x3FEE872B00000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FE7BE76C0000000], [27 x float] [float 0x3FE9DB22E0000000, float 0x3FEB74BC60000000, float 0x3FECCCCCC0000000, float 0x3FEE560420000000, float 0x3FEFA5E360000000, float 0x3FEFCED920000000, float 0x3FEFE76C80000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEEC8B440000000, float 0x3FEE2D0E60000000, float 0x3FECDD2F20000000, float 0x3FE94FDF40000000, float 0x3FD9DB22E0000000, float 0x3FDA0C49C0000000, float 0x3FDE666660000000, float 0x3FE5B22D00000000, float 0x3FDF0A3D80000000, float 0x3FDCFDF3C0000000, float 0x3FECE56040000000, float 0x3FEEA7EFA0000000, float 0x3FEFC6A7E0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FE85A1CA0000000], [27 x float] [float 0x3FEFC6A7E0000000, float 0x3FEFF7CEE0000000, float 0x3FEFB645A0000000, float 0x3FEF645A20000000, float 0x3FEE0418A0000000, float 0x3FE60C49C0000000, float 0x3FDDE35400000000, float 0x3FE4FDF3C0000000, float 0x3FD8418940000000, float 0x3FD26E9780000000, float 0x3FCF7CEDA0000000, float 0x3FE93F7CE0000000, float 0x3FED893740000000, float 0x3FE9A1CAC0000000, float 0x3FEC9374C0000000, float 0x3FEE0C49C0000000, float 0x3FEC7AE140000000, float 0x3FEE9FBE80000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FDDD2F1A0000000], [27 x float] [float 0x3FEFEF9DC0000000, float 1.000000e+00, float 0x3FEFC6A7E0000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFCED920000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEE0418A0000000, float 0x3FC3F7CEE0000000, float 0x3FD48B43A0000000, float 0x3FE52F1AA0000000, float 0x3FB99999A0000000, float 0x3FD449BA60000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FE722D0E0000000, float 1.000000e+00, float 0x3FEF0A3D80000000], [27 x float] [float 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFAE1480000000, float 0x3FEF958100000000, float 0x3FEF645A20000000, float 0x3FE7AE1480000000, float 0x3FC6872B00000000, float 0x3FA4FDF3C0000000, float 0x3FA5810620000000, float 0x3FD978D500000000, float 0x3FBF7CEDA0000000, float 0x3FE10E5600000000, float 0x3FCFDF3B60000000, float 0x3FD0D4FE00000000, float 0x3FB99999A0000000, float 0x3FEA353F80000000, float 0x3FC126E980000000, float 0x3FD8F5C280000000, float 0x3FEEC08320000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEF9DB220000000, float 0x3FC47AE140000000], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]], [7 x [27 x float]] [[27 x float] [float 0x3FEFDF3B60000000, float 0x3FEFCED920000000, float 0x3FEF333340000000, float 0x3FED810620000000, float 0x3FEA8F5C20000000, float 0x3FE87AE140000000, float 0x3FE4624DE0000000, float 0x3FE7AE1480000000, float 0x3FE4C49BA0000000, float 0x3FE449BA60000000, float 0x3FEF6C8B40000000, float 0x3FDC5A1CA0000000, float 0x3FEEF1AA00000000, float 0x3FEE147AE0000000, float 0x3FEB958100000000, float 0x3FEF851EC0000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FF0106240000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF00418A0000000], [27 x float] [float 0x3FEC20C4A0000000, float 0x3FED47AE20000000, float 0x3FEE24DD20000000, float 0x3FEE8F5C20000000, float 0x3FEFCED920000000, float 0x3FEFE76C80000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 0x3FEFC6A7E0000000, float 0x3FEFBE76C0000000, float 0x3FEFA5E360000000, float 0x3FEF645A20000000, float 0x3FEF1A9FC0000000, float 0x3FEE76C8C0000000, float 0x3FECB43960000000, float 0x3FE420C4A0000000, float 0x3FE78D4FE0000000, float 0x3FE3C6A7E0000000, float 0x3FE947AE20000000, float 0x3FE4189380000000, float 0x3FE4CCCCC0000000, float 0x3FEE45A1C0000000, float 0x3FEF53F7C0000000, float 0x3FEFDF3B60000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FF11EB860000000], [27 x float] [float 0x3FEFBE76C0000000, float 0x3FEFDF3B60000000, float 0x3FEFBE76C0000000, float 0x3FEF851EC0000000, float 0x3FEEF1AA00000000, float 0x3FEAE978E0000000, float 0x3FE54FDF40000000, float 0x3FE96872C0000000, float 0x3FE4831260000000, float 0x3FD8C49BA0000000, float 0x3FD8B43960000000, float 0x3FEBF7CEE0000000, float 0x3FEE8F5C20000000, float 0x3FEC395820000000, float 0x3FEE0C49C0000000, float 0x3FEF126EA0000000, float 0x3FEE0C49C0000000, float 0x3FEFC6A7E0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEF74BC60000000, float 0x3FEF74BC60000000, float 0x3FEFCED920000000, float 0x3FEFE76C80000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEED91680000000, float 0x3FD624DD20000000, float 0x3FE1BA5E40000000, float 0x3FEA24DD20000000, float 0x3FC7EF9DC0000000, float 0x3FE56872C0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 0x3FEFC6A7E0000000, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFCED920000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFCED920000000, float 0x3FEFC6A7E0000000, float 0x3FEFA5E360000000, float 0x3FEB645A20000000, float 0x3FDBF7CEE0000000, float 0x3FC3126EA0000000, float 0x3FC47AE140000000, float 0x3FE19999A0000000, float 0x3FD0418940000000, float 0x3FE676C8C0000000, float 0x3FDD604180000000, float 0x3FDD0E5600000000, float 0x3FC9374BC0000000, float 0x3FEC831260000000, float 0x3FD03126E0000000, float 0x3FE0B43960000000, float 0x3FEF3B6460000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00]]]
@reltable.SHF_C = [4 x i32] [i32 trunc (i64 sub (i64 ptrtoint ([3 x [7 x [27 x float]]]* @SHF_C.shf0 to i64), i64 ptrtoint ([4 x i32]* @reltable.SHF_C to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([3 x [7 x [27 x float]]]* @SHF_C.shf1 to i64), i64 ptrtoint ([4 x i32]* @reltable.SHF_C to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([3 x [7 x [27 x float]]]* @SHF_C.shf2 to i64), i64 ptrtoint ([4 x i32]* @reltable.SHF_C to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([3 x [7 x [27 x float]]]* @SHF_C.shf3 to i64), i64 ptrtoint ([4 x i32]* @reltable.SHF_C to i64)) to i32)]
define float @SHF_C(i32 %0, i32 %1, i32 %2, i32 %3) {
%5 = icmp ult i32 %3, 4
br i1 %5, label %6, label %16
6: ; preds = %4
%7 = sext i32 %3 to i64
%8 = shl i64 %7, 2
%9 = call i8* @llvm.load.relative.i64(i8* bitcast ([4 x i32]* @reltable.SHF_C to i8*), i64 %8)
%10 = bitcast i8* %9 to [3 x [7 x [27 x float]]]*
%11 = sext i32 %0 to i64
%12 = sext i32 %1 to i64
%13 = sext i32 %2 to i64
%14 = getelementptr inbounds [3 x [7 x [27 x float]]], [3 x [7 x [27 x float]]]* %10, i64 0, i64 %11, i64 %12, i64 %13
%15 = load float, float* %14
br label %16
16: ; preds = %4, %6
%17 = phi float [ undef, %4 ], [ %15, %6 ]
ret float %17
}