float SHF_F(int k1, int k2, int k3, int c) {
  float sh;
  static float shf0[4][7][27] = {
      {{1, 1, 1, 1, 1,    1,    1,    1,    1,    1,    1,    .995, 1,   1,
        1, 1, 1, 1, .998, .997, .994, .981, .949, .862, .806, .976, .444},
       {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,    .995, 1,    .999, .999, .997, .995, .99,
        .982, .968, .954, .917, .822, .716, .655, .995, .509},
       {1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    .996, .999, .998, .995, .991, .942, .949,
        .849, .941, .785, .577, .304, .436, 1,    .077, .632},
       {1,    1,    1,    1,    1,   1,    1,    1,    1,
        1,    .995, 1,    1,    1,   1,    .999, .998, .996,
        .992, .982, .969, .958, .94, .773, .901, .823, .415},
       {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, 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, 1,   1,
        1, 1, 1, .999, .997, .993, .988, .967, .936, .84, .782, .961, .445},
       {1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    .995, .999, .997, .994, .988, .976, .957, .911,
        .868, .835, .778, .42,  .406, .214, .262, .997, .988},
       {1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    .994, 1,    1,    .998, .996, .991, .984,
        .972, .944, .908, .841, .645, .642, .637, .992, .55},
       {1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    .996, .998, .996, .991, .984, .969, .935,
        .879, .881, .728, .567, .291, .439, .999, .076, .632},
       {1,   1,    1,    1,    1,    1,    1,    1,    1,
        1,   .994, 1,    1,    1,    1,    .999, .998, .995,
        .99, .978, .959, .936, .909, .685, .799, .658, .394},
       {1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    .992, .983, .966, .936, .891,
        .829, .749, .666, .616, .318, .857, .999, .135, .931},
       {1, 1, .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.001, 1,    .999, .999, 1,    1.001, 1,    1,    1,
        1,     1,    1,    1,    1,    .999,  .999, .998, .996,
        .993,  .988, .983, .952, .913, .778,  .691, .961, .238},
       {1,    1,    .999, 1,    1,    1,    1,    1,    1,
        1,    1,    .996, .993, .987, .974, .957, .913, .833,
        .788, .805, .772, .306, .424, .108, .161, .998, .991},
       {1.001, 1,    .999, .999, 1.001, 1,    1,    1,    1,
        1,     1,    1,    .999, .998,  .997, .994, .989, .982,
        .967,  .928, .889, .798, .599,  .554, .493, .993, .317},
       {1,    1,    .999, .999, 1.001, 1,    1,    1,    1,
        1,    1,    .997, .995, .99,   .981, .971, .944, .872,
        .813, .824, .579, .49,  .178,  .42,  .999, .034, .438},
       {1,    1,    .999, .999, 1,    1,    1,    1,    1,
        1,    1,    .999, .999, .999, .998, .997, .995, .992,
        .986, .965, .937, .915, .89,  .651, .809, .7,   .205},
       {1,    1,    .999, .999, 1.001, 1,    1,    1,    1,
        1,    1,    1,    1,    .994,  .954, .92,  .866, .792,
        .699, .595, .484, .599, .224,  .947, .999, .081, .883},
       {.976, 1.007, 1.008, 1, 1, 1.001, .996, 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,    .995, 1,   1,
        1, 1, 1, 1, .999, .999, .999, .995, .994, .97, .979, .998, .985},
       {1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    .995, .998, .997, .993, .987, .978, .953, .905,
        .877, .899, .874, .471, .63,  .247, .615, .999, 1},
       {1,   1,    1,    1,    1,    1,    1,    1,    1,
        1,   1,    .995, 1,    1,    .999, .998, .996, .995,
        .99, .972, .953, .883, .771, .92,  .932, .999, 1.018},
       {1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    .995, .998, .995, .99,  .985, .971, .927,
        .897, .899, .707, .675, .347, .867, 1,    .121, .958},
       {1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    .995, 1,    1,    1,    1,    1,    .999, .999,
        .998, .993, .987, .988, .991, .931, .974, .989, 1.006},
       {1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    .992, .976, .957, .925, .878,
        .813, .732, .632, .785, .354, 1,    1,    .275, 1},
       {1, 1, .999, 1, .998, 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[4][7][27] = {
      {{.998, .995, .993, .991, 1,    1,    1,    1,    1,
        1,    1,    .995, 1,    1,    1,    1,    1,    1,
        .987, .975, .955, .878, .775, .611, .523, .878, .253},
       {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, .995, .993, .991, 1,    1,    1,    1,    1,
        1,    1,    .995, .999, .996, .989, .977, .959, .929,
        .883, .828, .79,  .714, .552, .377, .311, .968, .372},
       {.998, .995, .993, .991, 1,    1,    1,    1,    1,
        1,    1,    .99,  .99,  .985, .961, .938, .739, .759,
        .544, .778, .491, .203, .089, .124, .999, .023, .415},
       {.998, .995, .993, .991, 1,    1,    1,    1,    1,
        1,    .995, 1,    1,    1,    1,    .994, .984, .968,
        .94,  .878, .82,  .783, .735, .492, .685, .632, .246},
       {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, 1, 1,
        1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}},
      {{.997, .995, .993, .991, 1,    1,   1,    1,    1,
        1,    1,    .995, 1,    1,    1,   1,    1,    .994,
        .976, .945, .914, .809, .723, .55, .439, .803, .254},
       {.997, .994, .993, .991, 1,    1,   1,    1,    1,
        1,    .993, .989, .977, .957, .92, .857, .791, .657,
        .546, .461, .409, .143, .161, .06, .079, .997, .909},
       {.999, .995, .993, .991, 1,    .999, 1,    1,    1,
        1,    1,    .994, 1,    .998, .987, .967, .933, .888,
        .822, .721, .627, .519, .284, .277, .283, .952, .415},
       {.997, .994, .993, .991, 1,    1,    1,    1,    1,
        1,    1,    .989, .983, .966, .933, .896, .833, .713,
        .552, .556, .37,  .199, .085, .128, .992, .022, .416},
       {.997, .995, .993, .991, 1,    1,    1,    1,    1,
        1,    .994, 1,    1,    1,    1,    .995, .982, .962,
        .928, .859, .776, .702, .645, .385, .545, .358, .229},
       {.997, .995, .993, .991, 1,    1,    1,    1,    1,
        1,    1,    1,    1,    .979, .894, .816, .713, .598,
        .481, .374, .287, .235, .109, .444, .991, .052, .68},
       {.999, 1, .991, .996, 1, 1, 1.002, 1, 1, 1, 1, 1, 1, 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,    1,    .995, .995, .994, .99,  .984, .965,
        .938, .892, .865, .712, .667, .487, .396, .815, .105},
       {.999, 1,    1,    1,    1,    1,    1,    1,    1,
        1,    .996, .972, .951, .917, .865, .807, .726, .581,
        .523, .556, .595, .173, .304, .051, .083, 1,    .91},
       {.999, 1,    1,   1,    1,    1,    1,    1,    1,
        1,    1,    1,   .991, .986, .972, .951, .917, .88,
        .816, .701, .64, .521, .315, .266, .226, .949, .165},
       {.999, 1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    .979, .962, .935, .892, .857, .785, .64,
        .52,  .593, .356, .289, .087, .288, .997, .01,  .251},
       {.999, 1,    1,    1,    1,    1,    1,    1,    1,
        1,    .996, .992, .99,  .99,  .986, .975, .957, .935,
        .892, .782, .665, .617, .582, .36,  .478, .526, .055},
       {.999, 1,    1,   1,    1,    1,    1,    1,    1,
        1,    1,    1,   1,    .969, .79,  .704, .611, .517,
        .43,  .354, .27, .415, .133, .846, .998, .043, .542},
       {1.002, .993, .99, .995, .989, .998, .963, 1, 1, 1, 1, 1, 1, 1,
        1,     1,    1,   1,    1,    1,    1,    1, 1, 1, 1, 1, 1}},
      {{.997, .995, .992, .991, 1,    1,    1,    1,    1,
        1,    1,    .995, 1,    1,    1,    1,    1,    .998,
        .995, .991, .991, .975, .977, .924, .949, .995, .967},
       {.997, .995, .992, .991, 1,    1,   1,    1,    1,
        1,    .993, .987, .975, .955, .92, .881, .812, .691,
        .646, .701, .727, .262, .477, .11, .516, .999, 1},
       {.997, .995, .992, .991, 1,    1,    1,    1,    1,
        1,    1,    .995, .999, .997, .993, .985, .973, .964,
        .944, .882, .841, .707, .561, .842, .864, .995, .062},
       {.997, .995, .992, .991, 1,    1,    1,    1,    1,
        1,    1,    .987, .982, .966, .939, .915, .863, .746,
        .663, .726, .472, .468, .17,  .788, .999, .073, .904},
       {.997, .995, .992, .991, 1,    1,    1,    1,    1,
        1,    .995, 1,    1,    1,    .999, .998, .995, .993,
        .987, .96,  .932, .948, .969, .87,  .941, .982, 1.031},
       {.997, .995, .992, .991, 1,    1,    1,    1,    1,
        1,    1,    1,    1,    .976, .87,  .803, .724, .636,
        .547, .463, .376, .616, .214, .998, .999, .204, .997},
       {.999, .996, .992, .995, .994, .999, .981, 1, 1, 1, 1, 1, 1, 1,
        1,    1,    1,    1,    1,    1,    1,    1, 1, 1, 1, 1, 1}}};
  static float shf2[4][7][27] = {
      {{1,    .994, .992, .99,  1,   1,    1,    .999, 1,
        1,    1,    .995, 1,    1,   1,    1,    1,    .955,
        .891, .818, .778, .587, .58, .428, .373, .76,  .208},
       {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, .994, .992, .99,  1,    1,    1,    1,    1,
        1,    1,    .995, .98,  .962, .93,  .887, .835, .765,
        .679, .603, .588, .532, .361, .206, .19,  .917, .338},
       {.998, .994, .992, .989, 1,    1.005, 1.006, 1.001, 1.001,
        1,    1,    .957, .945, .928, .865,  .814,  .565,  .537,
        .347, .645, .317, .077, .037, .05,   .996,  .01,   .366},
       {.999, .994, .992, .99,  1,    1,    .999, .999, 1,
        1,    .992, .994, .992, .989, .976, .946, .9,   .847,
        .768, .63,  .519, .481, .46,  .326, .527, .56,  .186},
       {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, 1, 1,
        1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}},
      {{.992, .992, .994, .991, 1,    .999, .998, .997, .998,
        .999, .999, .995, 1,    1,    1,    1,    .987, .931,
        .857, .743, .684, .484, .507, .373, .279, .633, .208},
       {.994, .992, .995, .991, .999, 1.001, 1,    .999, .999,
        .999, .986, .943, .904, .849, .767,  .665, .581, .419,
        .304, .222, .193, .061, .081, .025,  .033, .998, .701},
       {1.004, .993, .996, .991, .997, .996, .998, .999, .999,
        .999,  .999, .993, 1,    .978, .933, .862, .767, .669,
        .555,  .428, .358, .304, .152, .133, .158, .876, .379},
       {.994, .992, .994, .991, .999, .999, 1,    .999, .999,
        .999, .999, .954, .923, .871, .791, .728, .647, .475,
        .304, .289, .164, .076, .035, .056, .962, .009, .367},
       {.995, .993, .993, .99,  1.001, 1,    .999, .998, .998,
        .999, .992, .997, .995, .992,  .979, .946, .894, .831,
        .739, .594, .458, .385, .359,  .254, .415, .264, .172},
       {.995, .993, .995, .99,  .998, .999, 1,    1,    .999,
        .998, .998, .999, .999, .95,  .727, .599, .466, .345,
        .248, .176, .117, .093, .047, .182, .958, .031, .438},
       {.996, 1.007, .941, .993, 1, .998, 1.01, 1, 1, 1, 1, 1, 1, 1,
        1,    1,     1,    1,    1, 1,    1,    1, 1, 1, 1, 1, 1}},
      {{.997, .999, .999, 1,    1,    .999, .998, .998, .999,
        1,    1,    .999, .937, .924, .918, .868, .822, .692,
        .599, .419, .427, .231, .441, .325, .286, .685, .078},
       {.997, .999, 1,    1,    1,    .998, .999, .999, .999,
        1,    .983, .898, .859, .809, .747, .679, .587, .438,
        .401, .461, .527, .128, .233, .037, .063, 1,    .745},
       {.998, .999, 1,    1,    1,    .999, .999, .999, .999,
        1,    1,    .999, .927, .905, .854, .796, .726, .671,
        .592, .459, .45,  .379, .198, .172, .168, .872, .123},
       {.998, .999, 1,    1,    1,   .999, .999, .999, .999,
        1,    1,    .913, .877, .83, .771, .74,  .657, .497,
        .386, .482, .266, .242, .06, .253, .986, .006, .221},
       {.998, .999, 1,    1,    .999, .999, .999, .999, .999,
        1,    .957, .909, .884, .899, .875, .813, .742, .693,
        .598, .426, .258, .215, .244, .231, .283, .482, .03},
       {.998, .999, 1,    1,    1,    .999, .999, .999, .999,
        .999, .999, .999, .999, .941, .648, .57,  .494, .422,
        .356, .297, .199, .365, .1,   .813, .991, .033, .327},
       {.992, .955, .908, .977, .927, .988, .822, 1, 1, 1, 1, 1, 1, 1,
        1,    1,    1,    1,    1,    1,    1,    1, 1, 1, 1, 1, 1}},
      {{.995, .994, .991, .99,  1,    .999, .998, .999, 1,
        1,    1,    .995, 1,    1,    1,    .999, .997, .989,
        .98,  .969, .973, .942, .963, .9,   .934, .988, .959},
       {.995, .994, .991, .99,  .999, .999, .999, .999, .999,
        1,    .988, .951, .921, .878, .822, .763, .681, .538,
        .504, .588, .659, .193, .393, .078, .486, .999, 1},
       {.995, .994, .991, .99,  .999, .998, .999, .999, 1,
        1,    1,    .995, .994, .986, .969, .945, .916, .905,
        .878, .796, .766, .62,  .478, .806, .84,  .988, 1.083},
       {.996, .994, .991, .99,  .999, .998, .999, .999, .999,
        1,    1,    .959, .936, .899, .849, .817, .746, .601,
        .505, .619, .371, .394, .118, .743, .994, .058, .883},
       {.995, .994, .992, .99,  .999, .999, .999, .999, 1,
        1,    .999, .999, .998, .998, .995, .988, .98,  .973,
        .959, .904, .862, .907, .949, .847, .919, .982, 1.043},
       {.996, .994, .992, .99,  1,    .999, .999, .999, .999,
        .999, .999, 1,    1,    .953, .736, .657, .577, .5,
        .429, .365, .277, .556, .166, .996, .997, .184, .993},
       {.996, .975, .95, .985, .961, .994, .9, 1, 1, 1, 1, 1, 1, 1,
        1,    1,    1,   1,    1,    1,    1,  1, 1, 1, 1, 1, 1}}};
  static float shf3[4][7][27] = {
      {{1.005, .993, .993, .99,  1,    1,    .999, .999, .999,
        .999,  .999, .994, .97,  .973, .975, .941, .9,   .785,
        .687,  .536, .53,  .322, .497, .376, .335, .722, .201},
       {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.002, .993, .993, .99,  1.001, 1.001, 1,    1,    1,
        1,     1,    .994, .913, .884,  .831,  .774, .713, .642,
        .554,  .475, .495, .473, .3,    .163,  .167, .896, .333},
       {1,    .993, .992, .989, 1.001, 1.01, 1.012, 1.002, 1.001,
        1,    .999, .911, .891, .369,  .793, .74,   .523,  .452,
        .307, .617, .267, .055, .027,  .038, .993,  .008,  .359},
       {1.002, .994, .993, .99,  1.001, 1,    .999, .999, .999,
        .999,  .951, .909, .891, .911,  .888, .829, .757, .698,
        .602,  .446, .31,  .272, .294,  .286, .488, .547, .176},
       {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, 1, 1,
        1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}},
      {{.983, .989, .997, .993, 1,    .997, .996, .995, .997,
        .998, .999, .994, .966, .968, .968, .929, .879, .755,
        .651, .469, .444, .25,  .427, .329, .245, .583, .202},
       {.989, .988, .998, .994, .998, 1.002, .999, .998, .998,
        .998, .976, .894, .839, .769, .675,  .578, .49,  .333,
        .233, .163, .145, .045, .069, .018,  .023, .999, .585},
       {1.016, .991, 1.001, .993, .993, .991, .995, .999, .999,
        .999,  .998, .992,  .96,  .925, .854, .757, .64,  .534,
        .421,  .302, .266,  .25,  .123, .101, .133, .845, .373},
       {.988, .988, .997, .993, .998, .998, .999, .999, .998,
        .999, .999, .909, .864, .797, .702, .645, .577, .396,
        .236, .219, .119, .055, .026, .046, .931, .007, .361},
       {.99,  .99,  .994, .99,  1.001, 1,    .998, .996, .996,
        .998, .956, .913, .895, .914,  .891, .83,  .75,  .678,
        .571, .414, .264, .205, .213,  .224, .385, .248, .163},
       {.991, .991, .999, .99,  .996, .997, 1,    .999, .998,
        .997, .996, .998, .999, .933, .64,  .508, .378, .269,
        .187, .13,  .085, .067, .037, .127, .925, .027, .37},
       {.975, 1.016, .523, .98, 1, .991, 1.024, 1, 1, 1, 1, 1, 1, 1,
        1,    1,     1,    1,   1, 1,    1,     1, 1, 1, 1, 1, 1}},
      {{.993, .998, .998, 1,    1,    .998, .996, .996, .998,
        .999, .999, .996, .789, .749, .739, .63,  .566, .422,
        .362, .236, .25,  .149, .385, .286, .259, .647, .075},
       {.993, .998, .999, 1,    .999, .997, .997, .998, .999,
        .999, .972, .848, .812, .767, .711, .632, .312, .129,
        .232, .377, .465, .052, .154, .031, .058, .999, .674},
       {.994, .998, .999, 1,    .999, .997, .998, .998, .999,
        .999, 1,    .996, .805, .778, .714, .657, .595, .553,
        .489, .368, .382, .343, .162, .151, .159, .845, .117},
       {.994, .998, .999, 1,    .999, .998, .997, .998, .998,
        .999, 1,    .859, .825, .782, .728, .704, .574, .369,
        .229, .364, .163, .224, .04,  .201, .974, .005, .218},
       {.994, .998, 1,    1,    .997, .997, .998, .998, .999,
        .999, .867, .728, .675, .727, .694, .607, .532, .501,
        .424, .294, .171, .14,  .195, .205, .248, .474, .027},
       {.996, .999, .999, 1,    .999, .999, .998, .998, .998,
        .998, .998, .998, .999, .933, .61,  .54,  .471, .404,
        .343, .287, .124, .335, .079, .806, .985, .031, .284},
       {.909, .782, .287, .887, .814, .96, .686, 1, 1, 1, 1, 1, 1, 1,
        1,    1,    1,    1,    1,    1,   1,    1, 1, 1, 1, 1, 1}},
      {{.991, .993, .99,  .99,  1,    .998, .997, .998, .999,
        1,    1,    .995, .999, .998, .998, .993, .989, .974,
        .962, .947, .959, .924, .959, .893, .93,  .985, .957},
       {.992, .993, .991, .99,  .998, .997, .998, .999, .999,
        1,    .983, .925, .889, .843, .785, .719, .603, .43,
        .423, .538, .627, .148, .325, .068, .477, .998, 1},
       {.993, .993, .991, .99,  .998, .997, .998, .999, .999,
        .999, 1,    .995, .985, .972, .946, .917, .883, .877,
        .851, .767, .746, .599, .452, .794, .835, .984, 1.087},
       {.993, .993, .99,  .989, .998, .996, .997, .999, .999,
        .999, 1,    .936, .907, .864, .811, .782, .695, .533,
        .425, .564, .311, .37,  .096, .674, .99,  .055, .88},
       {.993, .993, .991, .99,  .998, .998, .998, .999, .999,
        1,    .99,  .991, .988, .991, .987, .975, .962, .957,
        .941, .876, .83,  .888, .94,  .842, .914, .982, 1.044},
       {.994, .994, .992, .99,  .999, .998, .998, .999, .999,
        .999, .999, .999, .999, .944, .691, .615, .541, .47,
        .404, .346, .225, .531, .143, .994, .995, .179, .99},
       {.96, .869, .606, .935, .889, .978, .795, 1, 1, 1, 1, 1, 1, 1,
        1,   1,    1,    1,    1,    1,    1,    1, 1, 1, 1, 1, 1}}};
  switch (c) {
  case (0):
    sh = shf0[k1][k2][k3];
    break;
  case (1):
    sh = shf1[k1][k2][k3];
    break;
  case (2):
    sh = shf2[k1][k2][k3];
    break;
  case (3):
    sh = shf3[k1][k2][k3];
    break;
  }
  return sh;
}


x86 assembly (clang, -O0):
<SHF_F>:
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_F+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_F+0xfc>
movslq -0x4(%rbp),%rcx
lea    0x3a8d(%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_F+0xfc>
movslq -0x4(%rbp),%rcx
lea    0x462a(%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_F+0xfc>
movslq -0x4(%rbp),%rcx
lea    0x51c7(%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_F>:
cmp    $0x3,%ecx
ja     1135 <SHF_F+0x35>
movslq %ecx,%rax
lea    0x3e31(%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_F.shf0 = internal global [4 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 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 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFCED920000000, float 0x3FEF645A20000000, float 0x3FEE5E3540000000, float 0x3FEB958100000000, float 0x3FE9CAC080000000, float 0x3FEF3B6460000000, float 0x3FDC6A7F00000000], [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 0x3FEFD70A40000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFD70A40000000, float 0x3FEFAE1480000000, float 0x3FEF6C8B40000000, float 0x3FEEF9DB20000000, float 0x3FEE872B00000000, float 0x3FED581060000000, float 0x3FEA4DD300000000, float 0x3FE6E978E0000000, float 0x3FE4F5C280000000, float 0x3FEFD70A40000000, float 0x3FE049BA60000000], [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 0x3FEFDF3B60000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFB645A0000000, float 0x3FEE24DD20000000, float 0x3FEE5E3540000000, float 0x3FEB2B0200000000, float 0x3FEE1CAC00000000, float 0x3FE91EB860000000, float 0x3FE276C8C0000000, float 0x3FD374BC60000000, float 0x3FDBE76C80000000, float 1.000000e+00, float 0x3FB3B645A0000000, float 0x3FE4395820000000], [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 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFBE76C0000000, float 0x3FEF6C8B40000000, float 0x3FEF020C40000000, float 0x3FEEA7EFA0000000, float 0x3FEE147AE0000000, float 0x3FE8BC6A80000000, float 0x3FECD4FE00000000, float 0x3FEA560420000000, float 0x3FDA8F5C20000000], [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFC6A7E0000000, float 0x3FEF9DB220000000, float 0x3FEEF1AA00000000, float 0x3FEDF3B640000000, float 0x3FEAE147A0000000, float 0x3FE90624E0000000, float 0x3FEEC08320000000, float 0x3FDC7AE140000000], [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 0x3FEFD70A40000000, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFCED920000000, float 0x3FEF9DB220000000, float 0x3FEF3B6460000000, float 0x3FEE9FBE80000000, float 0x3FED26E980000000, float 0x3FEBC6A7E0000000, float 0x3FEAB851E0000000, float 0x3FE8E56040000000, float 0x3FDAE147A0000000, float 0x3FD9FBE760000000, float 0x3FCB645A20000000, float 0x3FD0C49BA0000000, float 0x3FEFE76C80000000, float 0x3FEF9DB220000000], [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 0x3FEFCED920000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFB645A0000000, float 0x3FEF7CEDA0000000, float 0x3FEF1A9FC0000000, float 0x3FEE353F80000000, float 0x3FED0E5600000000, float 0x3FEAE978E0000000, float 0x3FE4A3D700000000, float 0x3FE48B43A0000000, float 0x3FE4624DE0000000, float 0x3FEFBE76C0000000, float 0x3FE19999A0000000], [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 0x3FEFDF3B60000000, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFB645A0000000, float 0x3FEF7CEDA0000000, float 0x3FEF020C40000000, float 0x3FEDEB8520000000, float 0x3FEC20C4A0000000, float 0x3FEC3126E0000000, float 0x3FE74BC6A0000000, float 0x3FE224DD20000000, float 0x3FD29FBE80000000, float 0x3FDC189380000000, float 0x3FEFF7CEE0000000, float 0x3FB374BC60000000, float 0x3FE4395820000000], [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 0x3FEFCED920000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFAE1480000000, float 0x3FEF4BC6A0000000, float 0x3FEEB020C0000000, float 0x3FEDF3B640000000, float 0x3FED168720000000, float 0x3FE5EB8520000000, float 0x3FE9916880000000, float 0x3FE50E5600000000, float 0x3FD9374BC0000000], [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 0x3FEFBE76C0000000, float 0x3FEF74BC60000000, float 0x3FEEE978E0000000, float 0x3FEDF3B640000000, float 0x3FEC831260000000, float 0x3FEA872B00000000, float 0x3FE7F7CEE0000000, float 0x3FE54FDF40000000, float 0x3FE3B645A0000000, float 0x3FD45A1CA0000000, float 0x3FEB6C8B40000000, float 0x3FEFF7CEE0000000, float 0x3FC147AE20000000, float 0x3FEDCAC080000000], [27 x float] [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, 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 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFC6A7E0000000, float 0x3FEF9DB220000000, float 0x3FEF74BC60000000, float 0x3FEE76C8C0000000, float 0x3FED374BC0000000, float 0x3FE8E56040000000, float 0x3FE61CAC00000000, float 0x3FEEC08320000000, float 0x3FCE76C8C0000000], [27 x float] [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 0x3FEFDF3B60000000, float 0x3FEFC6A7E0000000, float 0x3FEF958100000000, float 0x3FEF2B0200000000, float 0x3FEE9FBE80000000, float 0x3FED374BC0000000, float 0x3FEAA7EFA0000000, float 0x3FE9374BC0000000, float 0x3FE9C28F60000000, float 0x3FE8B43960000000, float 0x3FD3958100000000, float 0x3FDB22D0E0000000, float 0x3FBBA5E360000000, float 0x3FC49BA5E0000000, float 0x3FEFEF9DC0000000, float 0x3FEFB645A0000000], [27 x float] [float 0x3FF00418A0000000, 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 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFCED920000000, float 0x3FEFA5E360000000, float 0x3FEF6C8B40000000, float 0x3FEEF1AA00000000, float 0x3FEDB22D00000000, float 0x3FEC72B020000000, float 0x3FE9893740000000, float 0x3FE32B0200000000, float 0x3FE1BA5E40000000, float 0x3FDF8D4FE0000000, float 0x3FEFC6A7E0000000, float 0x3FD449BA60000000], [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 0x3FEFE76C80000000, float 0x3FEFD70A40000000, float 0x3FEFAE1480000000, float 0x3FEF645A20000000, float 0x3FEF126EA0000000, float 0x3FEE353F80000000, float 0x3FEBE76C80000000, float 0x3FEA0418A0000000, float 0x3FEA5E3540000000, float 0x3FE2872B00000000, float 0x3FDF5C2900000000, float 0x3FC6C8B440000000, float 0x3FDAE147A0000000, float 0x3FEFF7CEE0000000, float 0x3FA16872C0000000, float 0x3FDC083120000000], [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 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFD70A40000000, float 0x3FEFBE76C0000000, float 0x3FEF8D4FE0000000, float 0x3FEEE147A0000000, float 0x3FEDFBE760000000, float 0x3FED47AE20000000, float 0x3FEC7AE140000000, float 0x3FE4D4FE00000000, float 0x3FE9E35400000000, float 0x3FE6666660000000, float 0x3FCA3D70A0000000], [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 1.000000e+00, float 0x3FEFCED920000000, float 0x3FEE872B00000000, float 0x3FED70A3E0000000, float 0x3FEBB645A0000000, float 0x3FE9581060000000, float 0x3FE65E3540000000, float 0x3FE30A3D80000000, float 0x3FDEF9DB20000000, float 0x3FE32B0200000000, float 0x3FCCAC0840000000, float 0x3FEE4DD300000000, float 0x3FEFF7CEE0000000, float 0x3FB4BC6A80000000, float 0x3FEC418940000000], [27 x float] [float 0x3FEF3B6460000000, float 0x3FF01CAC00000000, float 0x3FF020C4A0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FF00418A0000000, float 0x3FEFDF3B60000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 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 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 0x3FEFF7CEE0000000, float 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEF0A3D80000000, float 0x3FEF53F7C0000000, float 0x3FEFEF9DC0000000, float 0x3FEF851EC0000000], [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 0x3FEFD70A40000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFC6A7E0000000, float 0x3FEF958100000000, float 0x3FEF4BC6A0000000, float 0x3FEE7EF9E0000000, float 0x3FECF5C280000000, float 0x3FEC106240000000, float 0x3FECC49BA0000000, float 0x3FEBF7CEE0000000, float 0x3FDE24DD20000000, float 0x3FE428F5C0000000, float 0x3FCF9DB220000000, float 0x3FE3AE1480000000, float 0x3FEFF7CEE0000000, 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 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFD70A40000000, float 0x3FEFAE1480000000, float 0x3FEF1A9FC0000000, float 0x3FEE7EF9E0000000, float 0x3FEC418940000000, float 0x3FE8AC0840000000, float 0x3FED70A3E0000000, float 0x3FEDD2F1A0000000, float 0x3FEFF7CEE0000000, float 0x3FF049BA60000000], [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 0x3FEFD70A40000000, float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFAE1480000000, float 0x3FEF851EC0000000, float 0x3FEF126EA0000000, float 0x3FEDA9FBE0000000, float 0x3FECB43960000000, float 0x3FECC49BA0000000, float 0x3FE69FBE80000000, float 0x3FE59999A0000000, float 0x3FD6353F80000000, float 0x3FEBBE76C0000000, float 1.000000e+00, float 0x3FBEF9DB20000000, float 0x3FEEA7EFA0000000], [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 0x3FEFD70A40000000, 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 0x3FEFEF9DC0000000, float 0x3FEFC6A7E0000000, float 0x3FEF958100000000, float 0x3FEF9DB220000000, float 0x3FEFB645A0000000, float 0x3FEDCAC080000000, float 0x3FEF2B0200000000, float 0x3FEFA5E360000000, float 0x3FF0189380000000], [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 0x3FEFBE76C0000000, float 0x3FEF3B6460000000, float 0x3FEE9FBE80000000, float 0x3FED9999A0000000, float 0x3FEC189380000000, float 0x3FEA0418A0000000, float 0x3FE76C8B40000000, float 0x3FE4395820000000, float 0x3FE91EB860000000, float 0x3FD6A7EFA0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FD19999A0000000, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, 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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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_F.shf1 = internal global [4 x [7 x [27 x float]]] [[7 x [27 x float]] [[27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 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 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, float 0x3FEF333340000000, float 0x3FEE8F5C20000000, float 0x3FEC189380000000, float 0x3FE8CCCCC0000000, float 0x3FE38D4FE0000000, float 0x3FE0BC6A80000000, float 0x3FEC189380000000, float 0x3FD03126E0000000], [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 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 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 0x3FEFF7CEE0000000, float 0x3FEFDF3B60000000, float 0x3FEFA5E360000000, float 0x3FEF439580000000, float 0x3FEEB020C0000000, float 0x3FEDBA5E40000000, float 0x3FEC418940000000, float 0x3FEA7EF9E0000000, float 0x3FE947AE20000000, float 0x3FE6D91680000000, float 0x3FE1A9FBE0000000, float 0x3FD820C4A0000000, float 0x3FD3E76C80000000, float 0x3FEEF9DB20000000, float 0x3FD7CED920000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 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 0x3FEFAE1480000000, float 0x3FEF851EC0000000, float 0x3FEEC08320000000, float 0x3FEE0418A0000000, float 0x3FE7A5E360000000, float 0x3FE849BA60000000, float 0x3FE16872C0000000, float 0x3FE8E56040000000, float 0x3FDF6C8B40000000, float 0x3FC9FBE760000000, float 0x3FB6C8B440000000, float 0x3FBFBE76C0000000, float 0x3FEFF7CEE0000000, float 0x3F978D4FE0000000, float 0x3FDA8F5C20000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFCED920000000, float 0x3FEF7CEDA0000000, float 0x3FEEF9DB20000000, float 0x3FEE147AE0000000, float 0x3FEC189380000000, float 0x3FEA3D70A0000000, float 0x3FE90E5600000000, float 0x3FE7851EC0000000, float 0x3FDF7CEDA0000000, float 0x3FE5EB8520000000, float 0x3FE4395820000000, float 0x3FCF7CEDA0000000], [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 0x3FEFE76C80000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFCED920000000, float 0x3FEF3B6460000000, float 0x3FEE3D70A0000000, float 0x3FED3F7CE0000000, float 0x3FE9E35400000000, float 0x3FE722D0E0000000, float 0x3FE19999A0000000, float 0x3FDC189380000000, float 0x3FE9B22D00000000, float 0x3FD0418940000000], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFCED920000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFC6A7E0000000, float 0x3FEFA5E360000000, float 0x3FEF439580000000, float 0x3FEE9FBE80000000, float 0x3FED70A3E0000000, float 0x3FEB6C8B40000000, float 0x3FE94FDF40000000, float 0x3FE50624E0000000, float 0x3FE178D500000000, float 0x3FDD810620000000, float 0x3FDA2D0E60000000, float 0x3FC24DD300000000, float 0x3FC49BA5E0000000, float 0x3FAEB851E0000000, float 0x3FB4395820000000, float 0x3FEFE76C80000000, float 0x3FED168720000000], [27 x float] [float 0x3FEFF7CEE0000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, 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 0x3FEFCED920000000, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEF958100000000, float 0x3FEEF1AA00000000, float 0x3FEDDB22E0000000, float 0x3FEC6A7F00000000, float 0x3FEA4DD300000000, float 0x3FE7126EA0000000, float 0x3FE4106240000000, float 0x3FE09BA5E0000000, float 0x3FD22D0E60000000, float 0x3FD1BA5E40000000, float 0x3FD21CAC00000000, float 0x3FEE76C8C0000000, float 0x3FDA8F5C20000000], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFCED920000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFA5E360000000, float 0x3FEF74BC60000000, float 0x3FEEE978E0000000, float 0x3FEDDB22E0000000, float 0x3FECAC0840000000, float 0x3FEAA7EFA0000000, float 0x3FE6D0E560000000, float 0x3FE1A9FBE0000000, float 0x3FE1CAC080000000, float 0x3FD7AE1480000000, float 0x3FC978D500000000, float 0x3FB5C28F60000000, float 0x3FC0624DE0000000, float 0x3FEFBE76C0000000, float 0x3F96872B00000000, float 0x3FDA9FBE80000000], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEF6C8B40000000, float 0x3FEEC8B440000000, float 0x3FEDB22D00000000, float 0x3FEB7CEDA0000000, float 0x3FE8D4FE00000000, float 0x3FE676C8C0000000, float 0x3FE4A3D700000000, float 0x3FD8A3D700000000, float 0x3FE170A3E0000000, float 0x3FD6E978E0000000, float 0x3FCD4FDF40000000], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF53F7C0000000, float 0x3FEC9BA5E0000000, float 0x3FEA1CAC00000000, float 0x3FE6D0E560000000, float 0x3FE322D0E0000000, float 0x3FDEC8B440000000, float 0x3FD7EF9DC0000000, float 0x3FD25E3540000000, float 0x3FCE147AE0000000, float 0x3FBBE76C80000000, float 0x3FDC6A7F00000000, float 0x3FEFB645A0000000, float 0x3FAA9FBE80000000, float 0x3FE5C28F60000000], [27 x float] [float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFB645A0000000, float 0x3FEFDF3B60000000, float 1.000000e+00, float 1.000000e+00, float 0x3FF0083120000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 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 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEFAE1480000000, float 0x3FEF7CEDA0000000, float 0x3FEEE147A0000000, float 0x3FEE0418A0000000, float 0x3FEC8B43A0000000, float 0x3FEBAE1480000000, float 0x3FE6C8B440000000, float 0x3FE5581060000000, float 0x3FDF2B0200000000, float 0x3FD9581060000000, float 0x3FEA147AE0000000, float 0x3FBAE147A0000000], [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFDF3B60000000, float 0x3FEF1A9FC0000000, float 0x3FEE6E9780000000, float 0x3FED581060000000, float 0x3FEBAE1480000000, float 0x3FE9D2F1A0000000, float 0x3FE73B6460000000, float 0x3FE2978D40000000, float 0x3FE0BC6A80000000, float 0x3FE1CAC080000000, float 0x3FE30A3D80000000, float 0x3FC624DD20000000, float 0x3FD374BC60000000, float 0x3FAA1CAC00000000, float 0x3FB53F7CE0000000, float 1.000000e+00, float 0x3FED1EB860000000], [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFB645A0000000, float 0x3FEF8D4FE0000000, float 0x3FEF1A9FC0000000, float 0x3FEE6E9780000000, float 0x3FED581060000000, float 0x3FEC28F5C0000000, float 0x3FEA1CAC00000000, float 0x3FE66E9780000000, float 0x3FE47AE140000000, float 0x3FE0AC0840000000, float 0x3FD428F5C0000000, float 0x3FD10624E0000000, float 0x3FCCED9160000000, float 0x3FEE5E3540000000, float 0x3FC51EB860000000], [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF53F7C0000000, float 0x3FEEC8B440000000, float 0x3FEDEB8520000000, float 0x3FEC8B43A0000000, float 0x3FEB6C8B40000000, float 0x3FE91EB860000000, float 0x3FE47AE140000000, float 0x3FE0A3D700000000, float 0x3FE2F9DB20000000, float 0x3FD6C8B440000000, float 0x3FD27EF9E0000000, float 0x3FB645A1C0000000, float 0x3FD26E9780000000, float 0x3FEFE76C80000000, float 0x3F847AE140000000, float 0x3FD0106240000000], [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFDF3B60000000, float 0x3FEFBE76C0000000, float 0x3FEFAE1480000000, float 0x3FEFAE1480000000, float 0x3FEF8D4FE0000000, float 0x3FEF333340000000, float 0x3FEE9FBE80000000, float 0x3FEDEB8520000000, float 0x3FEC8B43A0000000, float 0x3FE90624E0000000, float 0x3FE547AE20000000, float 0x3FE3BE76C0000000, float 0x3FE29FBE80000000, float 0x3FD70A3D80000000, float 0x3FDE978D40000000, float 0x3FE0D4FE00000000, float 0x3FAC28F5C0000000], [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF020C40000000, float 0x3FE947AE20000000, float 0x3FE6872B00000000, float 0x3FE38D4FE0000000, float 0x3FE08B43A0000000, float 0x3FDB851EC0000000, float 0x3FD6A7EFA0000000, float 0x3FD147AE20000000, float 0x3FDA8F5C20000000, float 0x3FC10624E0000000, float 0x3FEB126EA0000000, float 0x3FEFEF9DC0000000, float 0x3FA60418A0000000, float 0x3FE1581060000000], [27 x float] [float 0x3FF0083120000000, float 0x3FEFC6A7E0000000, float 0x3FEFAE1480000000, float 0x3FEFD70A40000000, float 0x3FEFA5E360000000, float 0x3FEFEF9DC0000000, float 0x3FEED0E560000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 0x3FEFE76C80000000, 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 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 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFB645A0000000, float 0x3FEFB645A0000000, float 0x3FEF333340000000, float 0x3FEF439580000000, float 0x3FED916880000000, float 0x3FEE5E3540000000, float 0x3FEFD70A40000000, float 0x3FEEF1AA00000000], [27 x float] [float 0x3FEFE76C80000000, 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 1.000000e+00, float 0x3FEFC6A7E0000000, float 0x3FEF958100000000, float 0x3FEF333340000000, float 0x3FEE8F5C20000000, float 0x3FED70A3E0000000, float 0x3FEC3126E0000000, float 0x3FE9FBE760000000, float 0x3FE61CAC00000000, float 0x3FE4AC0840000000, float 0x3FE66E9780000000, float 0x3FE7439580000000, float 0x3FD0C49BA0000000, float 0x3FDE872B00000000, float 0x3FBC28F5C0000000, float 0x3FE0831260000000, float 0x3FEFF7CEE0000000, float 1.000000e+00], [27 x float] [float 0x3FEFE76C80000000, 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 1.000000e+00, float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFC6A7E0000000, float 0x3FEF851EC0000000, float 0x3FEF22D0E0000000, float 0x3FEED91680000000, float 0x3FEE353F80000000, float 0x3FEC395820000000, float 0x3FEAE978E0000000, float 0x3FE69FBE80000000, float 0x3FE1F3B640000000, float 0x3FEAF1AA00000000, float 0x3FEBA5E360000000, float 0x3FEFD70A40000000, float 0x3FAFBE76C0000000], [27 x float] [float 0x3FEFE76C80000000, 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 1.000000e+00, float 1.000000e+00, float 0x3FEF958100000000, float 0x3FEF6C8B40000000, float 0x3FEEE978E0000000, float 0x3FEE0C49C0000000, float 0x3FED47AE20000000, float 0x3FEB9DB220000000, float 0x3FE7DF3B60000000, float 0x3FE5374BC0000000, float 0x3FE73B6460000000, float 0x3FDE353F80000000, float 0x3FDDF3B640000000, float 0x3FC5C28F60000000, float 0x3FE9374BC0000000, float 0x3FEFF7CEE0000000, float 0x3FB2B020C0000000, float 0x3FECED9160000000], [27 x float] [float 0x3FEFE76C80000000, 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 1.000000e+00, float 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEF958100000000, float 0x3FEEB851E0000000, float 0x3FEDD2F1A0000000, float 0x3FEE560420000000, float 0x3FEF020C40000000, float 0x3FEBD70A40000000, float 0x3FEE1CAC00000000, float 0x3FEF6C8B40000000, float 0x3FF07EF9E0000000], [27 x float] [float 0x3FEFE76C80000000, 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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF3B6460000000, float 0x3FEBD70A40000000, float 0x3FE9B22D00000000, float 0x3FE72B0200000000, float 0x3FE45A1CA0000000, float 0x3FE1810620000000, float 0x3FDDA1CAC0000000, float 0x3FD8106240000000, float 0x3FE3B645A0000000, float 0x3FCB645A20000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FCA1CAC00000000, float 0x3FEFE76C80000000], [27 x float] [float 0x3FEFF7CEE0000000, float 0x3FEFDF3B60000000, float 0x3FEFBE76C0000000, float 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEFF7CEE0000000, float 0x3FEF645A20000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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_F.shf2 = internal global [4 x [7 x [27 x float]]] [[7 x [27 x float]] [[27 x float] [float 1.000000e+00, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFAE1480000000, 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 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEE8F5C20000000, float 0x3FEC831260000000, float 0x3FEA2D0E60000000, float 0x3FE8E56040000000, float 0x3FE2C8B440000000, float 0x3FE28F5C20000000, float 0x3FDB645A20000000, float 0x3FD7DF3B60000000, float 0x3FE851EB80000000, float 0x3FCA9FBE80000000], [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 0x3FEFF7CEE0000000, float 0x3FEFCED920000000, 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 0x3FEFD70A40000000, float 0x3FEF5C2900000000, float 0x3FEEC8B440000000, float 0x3FEDC28F60000000, float 0x3FEC624DE0000000, float 0x3FEAB851E0000000, float 0x3FE87AE140000000, float 0x3FE5BA5E40000000, float 0x3FE34BC6A0000000, float 0x3FE2D0E560000000, float 0x3FE10624E0000000, float 0x3FD71A9FC0000000, float 0x3FCA5E3540000000, float 0x3FC851EB80000000, float 0x3FED581060000000, float 0x3FD5A1CAC0000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFA5E360000000, float 1.000000e+00, float 0x3FF0147AE0000000, float 0x3FF0189380000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEE9FBE80000000, float 0x3FEE3D70A0000000, float 0x3FEDB22D00000000, float 0x3FEBAE1480000000, float 0x3FEA0C49C0000000, float 0x3FE2147AE0000000, float 0x3FE12F1AA0000000, float 0x3FD6353F80000000, float 0x3FE4A3D700000000, float 0x3FD449BA60000000, float 0x3FB3B645A0000000, float 0x3FA2F1AA00000000, float 0x3FA99999A0000000, float 0x3FEFDF3B60000000, float 0x3F847AE140000000, float 0x3FD76C8B40000000], [27 x float] [float 0x3FEFF7CEE0000000, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFAE1480000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFBE76C0000000, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFA5E360000000, float 0x3FEF3B6460000000, float 0x3FEE45A1C0000000, float 0x3FECCCCCC0000000, float 0x3FEB1A9FC0000000, float 0x3FE89374C0000000, float 0x3FE428F5C0000000, float 0x3FE09BA5E0000000, float 0x3FDEC8B440000000, float 0x3FDD70A3E0000000, float 0x3FD4DD2F20000000, float 0x3FE0DD2F20000000, float 0x3FE1EB8520000000, float 0x3FC7CED920000000], [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 0x3FEFBE76C0000000, float 0x3FEFBE76C0000000, float 0x3FEFCED920000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF958100000000, float 0x3FEDCAC080000000, float 0x3FEB6C8B40000000, float 0x3FE7C6A7E0000000, float 0x3FE5E35400000000, float 0x3FDEF9DB20000000, float 0x3FE0395820000000, float 0x3FD7DF3B60000000, float 0x3FD1DB22E0000000, float 0x3FE4418940000000, float 0x3FCA9FBE80000000], [27 x float] [float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFD70A40000000, float 0x3FEFB645A0000000, float 0x3FEFF7CEE0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEF8D4FE0000000, float 0x3FEE2D0E60000000, float 0x3FECED9160000000, float 0x3FEB2B0200000000, float 0x3FE88B43A0000000, float 0x3FE547AE20000000, float 0x3FE2978D40000000, float 0x3FDAD0E560000000, float 0x3FD374BC60000000, float 0x3FCC6A7F00000000, float 0x3FC8B43960000000, float 0x3FAF3B6460000000, float 0x3FB4BC6A80000000, float 0x3F999999A0000000, float 0x3FA0E56040000000, float 0x3FEFEF9DC0000000, float 0x3FE66E9780000000], [27 x float] [float 0x3FF0106240000000, float 0x3FEFC6A7E0000000, float 0x3FEFDF3B60000000, float 0x3FEFB645A0000000, float 0x3FEFE76C80000000, float 0x3FEFDF3B60000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFC6A7E0000000, float 1.000000e+00, float 0x3FEF4BC6A0000000, float 0x3FEDDB22E0000000, float 0x3FEB958100000000, float 0x3FE88B43A0000000, float 0x3FE56872C0000000, float 0x3FE1C28F60000000, float 0x3FDB645A20000000, float 0x3FD6E978E0000000, float 0x3FD374BC60000000, float 0x3FC374BC60000000, float 0x3FC10624E0000000, float 0x3FC4395820000000, float 0x3FEC083120000000, float 0x3FD8418940000000], [27 x float] [float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFCED920000000, float 0x3FEFB645A0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEE872B00000000, float 0x3FED893740000000, float 0x3FEBDF3B60000000, float 0x3FE94FDF40000000, float 0x3FE74BC6A0000000, float 0x3FE4B43960000000, float 0x3FDE666660000000, float 0x3FD374BC60000000, float 0x3FD27EF9E0000000, float 0x3FC4FDF3C0000000, float 0x3FB374BC60000000, float 0x3FA1EB8520000000, float 0x3FACAC0840000000, float 0x3FEEC8B440000000, float 0x3F826E9780000000, float 0x3FD77CEDA0000000], [27 x float] [float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFC6A7E0000000, float 0x3FEFAE1480000000, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFBE76C0000000, float 0x3FEFE76C80000000, float 0x3FEFD70A40000000, float 0x3FEFBE76C0000000, float 0x3FEF53F7C0000000, float 0x3FEE45A1C0000000, float 0x3FEC9BA5E0000000, float 0x3FEA978D40000000, float 0x3FE7A5E360000000, float 0x3FE3020C40000000, float 0x3FDD4FDF40000000, float 0x3FD8A3D700000000, float 0x3FD6F9DB20000000, float 0x3FD0418940000000, float 0x3FDA8F5C20000000, float 0x3FD0E56040000000, float 0x3FC60418A0000000], [27 x float] [float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFD70A40000000, float 0x3FEFAE1480000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEE666660000000, float 0x3FE7439580000000, float 0x3FE32B0200000000, float 0x3FDDD2F1A0000000, float 0x3FD6147AE0000000, float 0x3FCFBE76C0000000, float 0x3FC6872B00000000, float 0x3FBDF3B640000000, float 0x3FB7CED920000000, float 0x3FA8106240000000, float 0x3FC74BC6A0000000, float 0x3FEEA7EFA0000000, float 0x3F9FBE76C0000000, float 0x3FDC083120000000], [27 x float] [float 0x3FEFDF3B60000000, float 0x3FF01CAC00000000, float 0x3FEE1CAC00000000, float 0x3FEFC6A7E0000000, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FF028F5C0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 0x3FEFE76C80000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEDFBE760000000, float 0x3FED916880000000, float 0x3FED604180000000, float 0x3FEBC6A7E0000000, float 0x3FEA4DD300000000, float 0x3FE624DD20000000, float 0x3FE32B0200000000, float 0x3FDAD0E560000000, float 0x3FDB53F7C0000000, float 0x3FCD916880000000, float 0x3FDC395820000000, float 0x3FD4CCCCC0000000, float 0x3FD24DD300000000, float 0x3FE5EB8520000000, float 0x3FB3F7CEE0000000], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEF74BC60000000, float 0x3FECBC6A80000000, float 0x3FEB7CEDA0000000, float 0x3FE9E35400000000, float 0x3FE7E76C80000000, float 0x3FE5BA5E40000000, float 0x3FE2C8B440000000, float 0x3FDC083120000000, float 0x3FD9A9FBE0000000, float 0x3FDD810620000000, float 0x3FE0DD2F20000000, float 0x3FC0624DE0000000, float 0x3FCDD2F1A0000000, float 0x3FA2F1AA00000000, float 0x3FB020C4A0000000, float 1.000000e+00, float 0x3FE7D70A40000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEDA9FBE0000000, float 0x3FECF5C280000000, float 0x3FEB53F7C0000000, float 0x3FE978D500000000, float 0x3FE73B6460000000, float 0x3FE578D500000000, float 0x3FE2F1AA00000000, float 0x3FDD604180000000, float 0x3FDCCCCCC0000000, float 0x3FD8418940000000, float 0x3FC9581060000000, float 0x3FC60418A0000000, float 0x3FC5810620000000, float 0x3FEBE76C80000000, float 0x3FBF7CEDA0000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FED374BC0000000, float 0x3FEC106240000000, float 0x3FEA8F5C20000000, float 0x3FE8AC0840000000, float 0x3FE7AE1480000000, float 0x3FE50624E0000000, float 0x3FDFCED920000000, float 0x3FD8B43960000000, float 0x3FDED91680000000, float 0x3FD10624E0000000, float 0x3FCEF9DB20000000, float 0x3FAEB851E0000000, float 0x3FD03126E0000000, float 0x3FEF8D4FE0000000, float 0x3F789374C0000000, float 0x3FCC49BA60000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEE9FBE80000000, float 0x3FED168720000000, float 0x3FEC49BA60000000, float 0x3FECC49BA0000000, float 8.750000e-01, float 0x3FEA0418A0000000, float 0x3FE7BE76C0000000, float 0x3FE62D0E60000000, float 0x3FE322D0E0000000, float 0x3FDB439580000000, float 0x3FD0831260000000, float 0x3FCB851EC0000000, float 0x3FCF3B6460000000, float 0x3FCD916880000000, float 0x3FD21CAC00000000, float 0x3FDED91680000000, float 0x3F9EB851E0000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEE1CAC00000000, float 0x3FE4BC6A80000000, float 0x3FE23D70A0000000, float 0x3FDF9DB220000000, float 0x3FDB020C40000000, float 0x3FD6C8B440000000, float 0x3FD3020C40000000, float 0x3FC978D500000000, float 0x3FD75C2900000000, float 0x3FB99999A0000000, float 0x3FEA0418A0000000, float 0x3FEFB645A0000000, float 0x3FA0E56040000000, float 0x3FD4ED9160000000], [27 x float] [float 0x3FEFBE76C0000000, float 0x3FEE8F5C20000000, float 0x3FED0E5600000000, float 0x3FEF439580000000, float 0x3FEDA9FBE0000000, float 0x3FEF9DB220000000, float 0x3FEA4DD300000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEFB645A0000000, float 0x3FEFAE1480000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFA5E360000000, float 0x3FEF5C2900000000, float 0x3FEF020C40000000, float 0x3FEF22D0E0000000, float 0x3FEE24DD20000000, float 0x3FEED0E560000000, float 0x3FECCCCCC0000000, float 0x3FEDE35400000000, float 0x3FEF9DB220000000, float 0x3FEEB020C0000000], [27 x float] [float 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEFB645A0000000, float 0x3FEFAE1480000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEF9DB220000000, float 0x3FEE6E9780000000, float 0x3FED78D500000000, float 0x3FEC189380000000, float 0x3FEA4DD300000000, float 0x3FE86A7F00000000, float 0x3FE5CAC080000000, float 0x3FE1374BC0000000, float 0x3FE020C4A0000000, float 0x3FE2D0E560000000, float 0x3FE5168720000000, float 0x3FC8B43960000000, float 0x3FD926E980000000, float 0x3FB3F7CEE0000000, float 0x3FDF1A9FC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00], [27 x float] [float 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEFB645A0000000, float 0x3FEFAE1480000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEF8D4FE0000000, float 0x3FEF020C40000000, float 0x3FEE3D70A0000000, float 0x3FED4FDF40000000, float 0x3FECF5C280000000, float 0x3FEC189380000000, float 0x3FE978D500000000, float 0x3FE8831260000000, float 0x3FE3D70A40000000, float 0x3FDE978D40000000, float 0x3FE9CAC080000000, float 0x3FEAE147A0000000, float 0x3FEF9DB220000000, float 0x3FF153F7C0000000], [27 x float] [float 0x3FEFDF3B60000000, float 0x3FEFCED920000000, float 0x3FEFB645A0000000, float 0x3FEFAE1480000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEEB020C0000000, float 0x3FEDF3B640000000, float 0x3FECC49BA0000000, float 0x3FEB2B0200000000, float 0x3FEA24DD20000000, float 0x3FE7DF3B60000000, float 0x3FE33B6460000000, float 0x3FE028F5C0000000, float 0x3FE3CED920000000, float 0x3FD7BE76C0000000, float 0x3FD9374BC0000000, float 0x3FBE353F80000000, float 0x3FE7C6A7E0000000, float 0x3FEFCED920000000, float 0x3FADB22D00000000, float 0x3FEC418940000000], [27 x float] [float 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFAE1480000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEF9DB220000000, float 0x3FEF5C2900000000, float 0x3FEF22D0E0000000, float 0x3FEEB020C0000000, float 0x3FECED9160000000, float 0x3FEB958100000000, float 0x3FED0624E0000000, float 0x3FEE5E3540000000, float 0x3FEB1A9FC0000000, float 0x3FED6872C0000000, float 0x3FEF6C8B40000000, float 0x3FF0B020C0000000], [27 x float] [float 0x3FEFDF3B60000000, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFAE1480000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEE7EF9E0000000, float 0x3FE78D4FE0000000, float 0x3FE50624E0000000, float 0x3FE276C8C0000000, float 5.000000e-01, float 0x3FDB74BC60000000, float 0x3FD75C2900000000, float 0x3FD1BA5E40000000, float 0x3FE1CAC080000000, float 0x3FC53F7CE0000000, float 0x3FEFDF3B60000000, float 0x3FEFE76C80000000, float 0x3FC78D4FE0000000, float 0x3FEFC6A7E0000000], [27 x float] [float 0x3FEFDF3B60000000, float 0x3FEF333340000000, float 0x3FEE666660000000, float 0x3FEF851EC0000000, float 0x3FEEC08320000000, float 0x3FEFCED920000000, float 0x3FECCCCCC0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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_F.shf3 = internal global [4 x [7 x [27 x float]]] [[7 x [27 x float]] [[27 x float] [float 0x3FF0147AE0000000, float 0x3FEFC6A7E0000000, float 0x3FEFC6A7E0000000, float 0x3FEFAE1480000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFCED920000000, float 0x3FEF0A3D80000000, float 0x3FEF22D0E0000000, float 0x3FEF333340000000, float 0x3FEE1CAC00000000, float 0x3FECCCCCC0000000, float 0x3FE91EB860000000, float 0x3FE5FBE760000000, float 0x3FE126E980000000, float 0x3FE0F5C280000000, float 0x3FD49BA5E0000000, float 0x3FDFCED920000000, float 0x3FD8106240000000, float 0x3FD570A3E0000000, float 0x3FE71A9FC0000000, float 0x3FC9BA5E40000000], [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 0x3FF0083120000000, float 0x3FEFC6A7E0000000, float 0x3FEFC6A7E0000000, float 0x3FEFAE1480000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFCED920000000, float 0x3FED374BC0000000, float 0x3FEC49BA60000000, float 0x3FEA978D40000000, float 0x3FE8C49BA0000000, float 0x3FE6D0E560000000, float 0x3FE48B43A0000000, float 0x3FE1BA5E40000000, float 0x3FDE666660000000, float 0x3FDFAE1480000000, float 0x3FDE45A1C0000000, float 0x3FD3333340000000, float 0x3FC4DD2F20000000, float 0x3FC5604180000000, float 0x3FECAC0840000000, float 0x3FD54FDF40000000], [27 x float] [float 1.000000e+00, float 0x3FEFC6A7E0000000, float 0x3FEFBE76C0000000, float 0x3FEFA5E360000000, float 0x3FF00418A0000000, float 0x3FF028F5C0000000, float 0x3FF03126E0000000, float 0x3FF0083120000000, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FED26E980000000, float 0x3FEC831260000000, float 0x3FD79DB220000000, float 0x3FE9604180000000, float 0x3FE7AE1480000000, float 0x3FE0BC6A80000000, float 0x3FDCED9160000000, float 0x3FD3A5E360000000, float 0x3FE3BE76C0000000, float 0x3FD1168720000000, float 0x3FAC28F5C0000000, float 0x3F9BA5E360000000, float 0x3FA374BC60000000, float 0x3FEFC6A7E0000000, float 0x3F80624DE0000000, float 0x3FD6F9DB20000000], [27 x float] [float 0x3FF0083120000000, float 0x3FEFCED920000000, float 0x3FEFC6A7E0000000, float 0x3FEFAE1480000000, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEE6E9780000000, float 0x3FED168720000000, float 0x3FEC831260000000, float 0x3FED26E980000000, float 0x3FEC6A7F00000000, float 0x3FEA872B00000000, float 0x3FE8395820000000, float 0x3FE6560420000000, float 0x3FE3439580000000, float 0x3FDC8B43A0000000, float 0x3FD3D70A40000000, float 0x3FD16872C0000000, float 0x3FD2D0E560000000, float 0x3FD24DD300000000, float 0x3FDF3B6460000000, float 0x3FE1810620000000, float 0x3FC6872B00000000], [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 0x3FEF74BC60000000, float 0x3FEFA5E360000000, float 0x3FEFE76C80000000, float 0x3FEFC6A7E0000000, float 1.000000e+00, float 0x3FEFE76C80000000, float 0x3FEFDF3B60000000, float 0x3FEFD70A40000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFCED920000000, float 0x3FEEE978E0000000, float 0x3FEEF9DB20000000, float 0x3FEEF9DB20000000, float 0x3FEDBA5E40000000, float 0x3FEC20C4A0000000, float 0x3FE828F5C0000000, float 0x3FE4D4FE00000000, float 0x3FDE0418A0000000, float 0x3FDC6A7F00000000, float 2.500000e-01, float 0x3FDB53F7C0000000, float 0x3FD50E5600000000, float 0x3FCF5C2900000000, float 0x3FE2A7EFA0000000, float 0x3FC9DB22E0000000], [27 x float] [float 0x3FEFA5E360000000, float 0x3FEF9DB220000000, float 0x3FEFEF9DC0000000, float 0x3FEFCED920000000, float 0x3FEFEF9DC0000000, float 0x3FF0083120000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEF3B6460000000, float 0x3FEC9BA5E0000000, float 0x3FEAD91680000000, float 0x3FE89BA5E0000000, float 0x3FE59999A0000000, float 0x3FE27EF9E0000000, float 0x3FDF5C2900000000, float 0x3FD54FDF40000000, float 0x3FCDD2F1A0000000, float 0x3FC4DD2F20000000, float 0x3FC28F5C20000000, float 0x3FA70A3D80000000, float 0x3FB1A9FBE0000000, float 0x3F926E9780000000, float 0x3F978D4FE0000000, float 0x3FEFF7CEE0000000, float 0x3FE2B851E0000000], [27 x float] [float 0x3FF0418940000000, float 0x3FEFB645A0000000, float 0x3FF00418A0000000, float 0x3FEFC6A7E0000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 0x3FEFD70A40000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFBE76C0000000, float 0x3FEEB851E0000000, float 0x3FED9999A0000000, float 0x3FEB53F7C0000000, float 0x3FE8395820000000, float 0x3FE47AE140000000, float 0x3FE1168720000000, float 0x3FDAF1AA00000000, float 0x3FD353F7C0000000, float 0x3FD10624E0000000, float 2.500000e-01, float 0x3FBF7CEDA0000000, float 0x3FB9DB22E0000000, float 0x3FC10624E0000000, float 0x3FEB0A3D80000000, float 0x3FD7DF3B60000000], [27 x float] [float 0x3FEF9DB220000000, float 0x3FEF9DB220000000, float 0x3FEFE76C80000000, float 0x3FEFC6A7E0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FED168720000000, float 0x3FEBA5E360000000, float 0x3FE9810620000000, float 0x3FE676C8C0000000, float 0x3FE4A3D700000000, float 0x3FE276C8C0000000, float 0x3FD9581060000000, float 0x3FCE353F80000000, float 0x3FCC083120000000, float 0x3FBE76C8C0000000, float 0x3FAC28F5C0000000, float 0x3F9A9FBE80000000, float 0x3FA78D4FE0000000, float 0x3FEDCAC080000000, float 0x3F7CAC0840000000, float 0x3FD71A9FC0000000], [27 x float] [float 0x3FEFAE1480000000, float 0x3FEFAE1480000000, float 0x3FEFCED920000000, float 0x3FEFAE1480000000, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFDF3B60000000, float 0x3FEFEF9DC0000000, float 0x3FEE978D40000000, float 0x3FED374BC0000000, float 0x3FECA3D700000000, float 0x3FED3F7CE0000000, float 0x3FEC831260000000, float 0x3FEA8F5C20000000, float 7.500000e-01, float 0x3FE5B22D00000000, float 0x3FE245A1C0000000, float 0x3FDA7EF9E0000000, float 0x3FD0E56040000000, float 0x3FCA3D70A0000000, float 0x3FCB439580000000, float 0x3FCCAC0840000000, float 0x3FD8A3D700000000, float 0x3FCFBE76C0000000, float 0x3FC4DD2F20000000], [27 x float] [float 0x3FEFB645A0000000, float 0x3FEFB645A0000000, float 0x3FEFF7CEE0000000, float 0x3FEFAE1480000000, float 0x3FEFDF3B60000000, float 0x3FEFE76C80000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFDF3B60000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEDDB22E0000000, float 0x3FE47AE140000000, float 0x3FE0418940000000, float 0x3FD83126E0000000, float 0x3FD1374BC0000000, float 0x3FC7EF9DC0000000, float 0x3FC0A3D700000000, float 0x3FB5C28F60000000, float 0x3FB126E980000000, float 0x3FA2F1AA00000000, float 0x3FC0418940000000, float 0x3FED9999A0000000, float 0x3F9BA5E360000000, float 0x3FD7AE1480000000], [27 x float] [float 0x3FEF333340000000, float 0x3FF0418940000000, float 0x3FE0BC6A80000000, float 0x3FEF5C2900000000, float 1.000000e+00, float 0x3FEFB645A0000000, float 0x3FF0624DE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 0x3FEFC6A7E0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFDF3B60000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFDF3B60000000, float 0x3FE93F7CE0000000, float 0x3FE7F7CEE0000000, float 0x3FE7A5E360000000, float 0x3FE428F5C0000000, float 0x3FE21CAC00000000, float 0x3FDB020C40000000, float 0x3FD72B0200000000, float 0x3FCE353F80000000, float 2.500000e-01, float 0x3FC3126EA0000000, float 0x3FD8A3D700000000, float 0x3FD24DD300000000, float 0x3FD09374C0000000, float 0x3FE4B43960000000, float 0x3FB3333340000000], [27 x float] [float 0x3FEFC6A7E0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEF1A9FC0000000, float 0x3FEB22D0E0000000, float 0x3FE9FBE760000000, float 0x3FE88B43A0000000, float 0x3FE6C08320000000, float 0x3FE4395820000000, float 0x3FD3F7CEE0000000, float 0x3FC0831260000000, float 0x3FCDB22D00000000, float 0x3FD820C4A0000000, float 0x3FDDC28F60000000, float 0x3FAA9FBE80000000, float 0x3FC3B645A0000000, float 0x3F9FBE76C0000000, float 0x3FADB22D00000000, float 0x3FEFF7CEE0000000, float 0x3FE5916880000000], [27 x float] [float 0x3FEFCED920000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFDF3B60000000, float 0x3FE9C28F60000000, float 0x3FE8E56040000000, float 0x3FE6D91680000000, float 0x3FE50624E0000000, float 0x3FE30A3D80000000, float 0x3FE1B22D00000000, float 0x3FDF4BC6A0000000, float 0x3FD78D4FE0000000, float 0x3FD872B020000000, float 0x3FD5F3B640000000, float 0x3FC4BC6A80000000, float 0x3FC353F7C0000000, float 0x3FC45A1CA0000000, float 0x3FEB0A3D80000000, float 0x3FBDF3B640000000], [27 x float] [float 0x3FEFCED920000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEB7CEDA0000000, float 0x3FEA666660000000, float 0x3FE90624E0000000, float 0x3FE74BC6A0000000, float 0x3FE6872B00000000, float 0x3FE25E3540000000, float 0x3FD79DB220000000, float 0x3FCD4FDF40000000, float 0x3FD74BC6A0000000, float 0x3FC4DD2F20000000, float 0x3FCCAC0840000000, float 0x3FA47AE140000000, float 0x3FC9BA5E40000000, float 0x3FEF2B0200000000, float 0x3F747AE140000000, float 0x3FCBE76C80000000], [27 x float] [float 0x3FEFCED920000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFE76C80000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEBBE76C0000000, float 0x3FE74BC6A0000000, float 0x3FE59999A0000000, float 0x3FE7439580000000, float 0x3FE6353F80000000, float 0x3FE36C8B40000000, float 0x3FE10624E0000000, float 0x3FE0083120000000, float 0x3FDB22D0E0000000, float 0x3FD2D0E560000000, float 0x3FC5E35400000000, float 0x3FC1EB8520000000, float 0x3FC8F5C280000000, float 0x3FCA3D70A0000000, float 0x3FCFBE76C0000000, float 0x3FDE560420000000, float 0x3F9BA5E360000000], [27 x float] [float 0x3FEFDF3B60000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEDDB22E0000000, float 0x3FE3851EC0000000, float 0x3FE147AE20000000, float 0x3FDE24DD20000000, float 0x3FD9DB22E0000000, float 0x3FD5F3B640000000, float 0x3FD25E3540000000, float 0x3FBFBE76C0000000, float 0x3FD570A3E0000000, float 0x3FB4395820000000, float 0x3FE9CAC080000000, float 0x3FEF851EC0000000, float 0x3F9FBE76C0000000, float 0x3FD22D0E60000000], [27 x float] [float 0x3FED168720000000, float 0x3FE90624E0000000, float 0x3FD25E3540000000, float 0x3FEC624DE0000000, float 0x3FEA0C49C0000000, float 0x3FEEB851E0000000, float 0x3FE5F3B640000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 0x3FEFB645A0000000, float 0x3FEFC6A7E0000000, float 0x3FEFAE1480000000, float 0x3FEFAE1480000000, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFC6A7E0000000, float 0x3FEFA5E360000000, float 0x3FEF2B0200000000, float 0x3FEEC8B440000000, float 0x3FEE4DD300000000, float 0x3FEEB020C0000000, float 0x3FED916880000000, float 0x3FEEB020C0000000, float 0x3FEC9374C0000000, float 0x3FEDC28F60000000, float 0x3FEF851EC0000000, float 0x3FEE9FBE80000000], [27 x float] [float 0x3FEFBE76C0000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 0x3FEFAE1480000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEF74BC60000000, float 0x3FED9999A0000000, float 0x3FEC72B020000000, float 0x3FEAF9DB20000000, float 0x3FE91EB860000000, float 0x3FE7020C40000000, float 0x3FE34BC6A0000000, float 0x3FDB851EC0000000, float 0x3FDB126EA0000000, float 0x3FE1374BC0000000, float 0x3FE4106240000000, float 0x3FC2F1AA00000000, float 0x3FD4CCCCC0000000, float 0x3FB16872C0000000, float 0x3FDE872B00000000, float 0x3FEFEF9DC0000000, float 1.000000e+00], [27 x float] [float 0x3FEFC6A7E0000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 0x3FEFAE1480000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEF851EC0000000, float 0x3FEF1A9FC0000000, float 0x3FEE45A1C0000000, float 0x3FED581060000000, float 0x3FEC418940000000, float 0x3FEC106240000000, float 0x3FEB3B6460000000, float 0x3FE88B43A0000000, float 0x3FE7DF3B60000000, float 0x3FE32B0200000000, float 0x3FDCED9160000000, float 0x3FE96872C0000000, float 0x3FEAB851E0000000, float 0x3FEF7CEDA0000000, float 0x3FF1645A20000000], [27 x float] [float 0x3FEFC6A7E0000000, float 0x3FEFC6A7E0000000, float 0x3FEFAE1480000000, float 0x3FEFA5E360000000, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFE76C80000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEDF3B640000000, float 0x3FED0624E0000000, float 0x3FEBA5E360000000, float 0x3FE9F3B640000000, float 0x3FE90624E0000000, float 0x3FE63D70A0000000, float 0x3FE10E5600000000, float 0x3FDB333340000000, float 0x3FE20C49C0000000, float 0x3FD3E76C80000000, float 0x3FD7AE1480000000, float 0x3FB89374C0000000, float 0x3FE5916880000000, float 0x3FEFAE1480000000, float 0x3FAC28F5C0000000, float 0x3FEC28F5C0000000], [27 x float] [float 0x3FEFC6A7E0000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 0x3FEFAE1480000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFAE1480000000, float 0x3FEFB645A0000000, float 0x3FEF9DB220000000, float 0x3FEFB645A0000000, float 0x3FEF958100000000, float 0x3FEF333340000000, float 0x3FEEC8B440000000, float 0x3FEE9FBE80000000, float 0x3FEE1CAC00000000, float 0x3FEC083120000000, float 0x3FEA8F5C20000000, float 0x3FEC6A7F00000000, float 0x3FEE147AE0000000, float 0x3FEAF1AA00000000, float 0x3FED3F7CE0000000, float 0x3FEF6C8B40000000, float 0x3FF0B43960000000], [27 x float] [float 0x3FEFCED920000000, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFAE1480000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEE353F80000000, float 0x3FE61CAC00000000, float 0x3FE3AE1480000000, float 0x3FE14FDF40000000, float 0x3FDE147AE0000000, float 0x3FD9DB22E0000000, float 0x3FD624DD20000000, float 0x3FCCCCCCC0000000, float 0x3FE0FDF3C0000000, float 0x3FC24DD300000000, float 0x3FEFCED920000000, float 0x3FEFD70A40000000, float 0x3FC6E978E0000000, float 0x3FEFAE1480000000], [27 x float] [float 0x3FEEB851E0000000, float 0x3FEBCED920000000, float 0x3FE3645A20000000, float 0x3FEDEB8520000000, float 0x3FEC72B020000000, float 0x3FEF4BC6A0000000, float 0x3FE970A3E0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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_F(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 [4 x [7 x [27 x float]]], [4 x [7 x [27 x float]]]* @SHF_F.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 [4 x [7 x [27 x float]]], [4 x [7 x [27 x float]]]* @SHF_F.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 [4 x [7 x [27 x float]]], [4 x [7 x [27 x float]]]* @SHF_F.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 [4 x [7 x [27 x float]]], [4 x [7 x [27 x float]]]* @SHF_F.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_F.shf0 = internal unnamed_addr constant [4 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 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 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFCED920000000, float 0x3FEF645A20000000, float 0x3FEE5E3540000000, float 0x3FEB958100000000, float 0x3FE9CAC080000000, float 0x3FEF3B6460000000, float 0x3FDC6A7F00000000], [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 0x3FEFD70A40000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFD70A40000000, float 0x3FEFAE1480000000, float 0x3FEF6C8B40000000, float 0x3FEEF9DB20000000, float 0x3FEE872B00000000, float 0x3FED581060000000, float 0x3FEA4DD300000000, float 0x3FE6E978E0000000, float 0x3FE4F5C280000000, float 0x3FEFD70A40000000, float 0x3FE049BA60000000], [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 0x3FEFDF3B60000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFB645A0000000, float 0x3FEE24DD20000000, float 0x3FEE5E3540000000, float 0x3FEB2B0200000000, float 0x3FEE1CAC00000000, float 0x3FE91EB860000000, float 0x3FE276C8C0000000, float 0x3FD374BC60000000, float 0x3FDBE76C80000000, float 1.000000e+00, float 0x3FB3B645A0000000, float 0x3FE4395820000000], [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 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFBE76C0000000, float 0x3FEF6C8B40000000, float 0x3FEF020C40000000, float 0x3FEEA7EFA0000000, float 0x3FEE147AE0000000, float 0x3FE8BC6A80000000, float 0x3FECD4FE00000000, float 0x3FEA560420000000, float 0x3FDA8F5C20000000], [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFC6A7E0000000, float 0x3FEF9DB220000000, float 0x3FEEF1AA00000000, float 0x3FEDF3B640000000, float 0x3FEAE147A0000000, float 0x3FE90624E0000000, float 0x3FEEC08320000000, float 0x3FDC7AE140000000], [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 0x3FEFD70A40000000, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFCED920000000, float 0x3FEF9DB220000000, float 0x3FEF3B6460000000, float 0x3FEE9FBE80000000, float 0x3FED26E980000000, float 0x3FEBC6A7E0000000, float 0x3FEAB851E0000000, float 0x3FE8E56040000000, float 0x3FDAE147A0000000, float 0x3FD9FBE760000000, float 0x3FCB645A20000000, float 0x3FD0C49BA0000000, float 0x3FEFE76C80000000, float 0x3FEF9DB220000000], [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 0x3FEFCED920000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFB645A0000000, float 0x3FEF7CEDA0000000, float 0x3FEF1A9FC0000000, float 0x3FEE353F80000000, float 0x3FED0E5600000000, float 0x3FEAE978E0000000, float 0x3FE4A3D700000000, float 0x3FE48B43A0000000, float 0x3FE4624DE0000000, float 0x3FEFBE76C0000000, float 0x3FE19999A0000000], [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 0x3FEFDF3B60000000, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFB645A0000000, float 0x3FEF7CEDA0000000, float 0x3FEF020C40000000, float 0x3FEDEB8520000000, float 0x3FEC20C4A0000000, float 0x3FEC3126E0000000, float 0x3FE74BC6A0000000, float 0x3FE224DD20000000, float 0x3FD29FBE80000000, float 0x3FDC189380000000, float 0x3FEFF7CEE0000000, float 0x3FB374BC60000000, float 0x3FE4395820000000], [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 0x3FEFCED920000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFAE1480000000, float 0x3FEF4BC6A0000000, float 0x3FEEB020C0000000, float 0x3FEDF3B640000000, float 0x3FED168720000000, float 0x3FE5EB8520000000, float 0x3FE9916880000000, float 0x3FE50E5600000000, float 0x3FD9374BC0000000], [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 0x3FEFBE76C0000000, float 0x3FEF74BC60000000, float 0x3FEEE978E0000000, float 0x3FEDF3B640000000, float 0x3FEC831260000000, float 0x3FEA872B00000000, float 0x3FE7F7CEE0000000, float 0x3FE54FDF40000000, float 0x3FE3B645A0000000, float 0x3FD45A1CA0000000, float 0x3FEB6C8B40000000, float 0x3FEFF7CEE0000000, float 0x3FC147AE20000000, float 0x3FEDCAC080000000], [27 x float] [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, 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 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFC6A7E0000000, float 0x3FEF9DB220000000, float 0x3FEF74BC60000000, float 0x3FEE76C8C0000000, float 0x3FED374BC0000000, float 0x3FE8E56040000000, float 0x3FE61CAC00000000, float 0x3FEEC08320000000, float 0x3FCE76C8C0000000], [27 x float] [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 0x3FEFDF3B60000000, float 0x3FEFC6A7E0000000, float 0x3FEF958100000000, float 0x3FEF2B0200000000, float 0x3FEE9FBE80000000, float 0x3FED374BC0000000, float 0x3FEAA7EFA0000000, float 0x3FE9374BC0000000, float 0x3FE9C28F60000000, float 0x3FE8B43960000000, float 0x3FD3958100000000, float 0x3FDB22D0E0000000, float 0x3FBBA5E360000000, float 0x3FC49BA5E0000000, float 0x3FEFEF9DC0000000, float 0x3FEFB645A0000000], [27 x float] [float 0x3FF00418A0000000, 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 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFCED920000000, float 0x3FEFA5E360000000, float 0x3FEF6C8B40000000, float 0x3FEEF1AA00000000, float 0x3FEDB22D00000000, float 0x3FEC72B020000000, float 0x3FE9893740000000, float 0x3FE32B0200000000, float 0x3FE1BA5E40000000, float 0x3FDF8D4FE0000000, float 0x3FEFC6A7E0000000, float 0x3FD449BA60000000], [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 0x3FEFE76C80000000, float 0x3FEFD70A40000000, float 0x3FEFAE1480000000, float 0x3FEF645A20000000, float 0x3FEF126EA0000000, float 0x3FEE353F80000000, float 0x3FEBE76C80000000, float 0x3FEA0418A0000000, float 0x3FEA5E3540000000, float 0x3FE2872B00000000, float 0x3FDF5C2900000000, float 0x3FC6C8B440000000, float 0x3FDAE147A0000000, float 0x3FEFF7CEE0000000, float 0x3FA16872C0000000, float 0x3FDC083120000000], [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 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFD70A40000000, float 0x3FEFBE76C0000000, float 0x3FEF8D4FE0000000, float 0x3FEEE147A0000000, float 0x3FEDFBE760000000, float 0x3FED47AE20000000, float 0x3FEC7AE140000000, float 0x3FE4D4FE00000000, float 0x3FE9E35400000000, float 0x3FE6666660000000, float 0x3FCA3D70A0000000], [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 1.000000e+00, float 0x3FEFCED920000000, float 0x3FEE872B00000000, float 0x3FED70A3E0000000, float 0x3FEBB645A0000000, float 0x3FE9581060000000, float 0x3FE65E3540000000, float 0x3FE30A3D80000000, float 0x3FDEF9DB20000000, float 0x3FE32B0200000000, float 0x3FCCAC0840000000, float 0x3FEE4DD300000000, float 0x3FEFF7CEE0000000, float 0x3FB4BC6A80000000, float 0x3FEC418940000000], [27 x float] [float 0x3FEF3B6460000000, float 0x3FF01CAC00000000, float 0x3FF020C4A0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FF00418A0000000, float 0x3FEFDF3B60000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 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 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 0x3FEFF7CEE0000000, float 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEF0A3D80000000, float 0x3FEF53F7C0000000, float 0x3FEFEF9DC0000000, float 0x3FEF851EC0000000], [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 0x3FEFD70A40000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFC6A7E0000000, float 0x3FEF958100000000, float 0x3FEF4BC6A0000000, float 0x3FEE7EF9E0000000, float 0x3FECF5C280000000, float 0x3FEC106240000000, float 0x3FECC49BA0000000, float 0x3FEBF7CEE0000000, float 0x3FDE24DD20000000, float 0x3FE428F5C0000000, float 0x3FCF9DB220000000, float 0x3FE3AE1480000000, float 0x3FEFF7CEE0000000, 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 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFD70A40000000, float 0x3FEFAE1480000000, float 0x3FEF1A9FC0000000, float 0x3FEE7EF9E0000000, float 0x3FEC418940000000, float 0x3FE8AC0840000000, float 0x3FED70A3E0000000, float 0x3FEDD2F1A0000000, float 0x3FEFF7CEE0000000, float 0x3FF049BA60000000], [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 0x3FEFD70A40000000, float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFAE1480000000, float 0x3FEF851EC0000000, float 0x3FEF126EA0000000, float 0x3FEDA9FBE0000000, float 0x3FECB43960000000, float 0x3FECC49BA0000000, float 0x3FE69FBE80000000, float 0x3FE59999A0000000, float 0x3FD6353F80000000, float 0x3FEBBE76C0000000, float 1.000000e+00, float 0x3FBEF9DB20000000, float 0x3FEEA7EFA0000000], [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 0x3FEFD70A40000000, 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 0x3FEFEF9DC0000000, float 0x3FEFC6A7E0000000, float 0x3FEF958100000000, float 0x3FEF9DB220000000, float 0x3FEFB645A0000000, float 0x3FEDCAC080000000, float 0x3FEF2B0200000000, float 0x3FEFA5E360000000, float 0x3FF0189380000000], [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 0x3FEFBE76C0000000, float 0x3FEF3B6460000000, float 0x3FEE9FBE80000000, float 0x3FED9999A0000000, float 0x3FEC189380000000, float 0x3FEA0418A0000000, float 0x3FE76C8B40000000, float 0x3FE4395820000000, float 0x3FE91EB860000000, float 0x3FD6A7EFA0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FD19999A0000000, float 1.000000e+00], [27 x float] [float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, 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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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_F.shf1 = internal unnamed_addr constant [4 x [7 x [27 x float]]] [[7 x [27 x float]] [[27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 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 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, float 0x3FEF333340000000, float 0x3FEE8F5C20000000, float 0x3FEC189380000000, float 0x3FE8CCCCC0000000, float 0x3FE38D4FE0000000, float 0x3FE0BC6A80000000, float 0x3FEC189380000000, float 0x3FD03126E0000000], [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 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 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 0x3FEFF7CEE0000000, float 0x3FEFDF3B60000000, float 0x3FEFA5E360000000, float 0x3FEF439580000000, float 0x3FEEB020C0000000, float 0x3FEDBA5E40000000, float 0x3FEC418940000000, float 0x3FEA7EF9E0000000, float 0x3FE947AE20000000, float 0x3FE6D91680000000, float 0x3FE1A9FBE0000000, float 0x3FD820C4A0000000, float 0x3FD3E76C80000000, float 0x3FEEF9DB20000000, float 0x3FD7CED920000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 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 0x3FEFAE1480000000, float 0x3FEF851EC0000000, float 0x3FEEC08320000000, float 0x3FEE0418A0000000, float 0x3FE7A5E360000000, float 0x3FE849BA60000000, float 0x3FE16872C0000000, float 0x3FE8E56040000000, float 0x3FDF6C8B40000000, float 0x3FC9FBE760000000, float 0x3FB6C8B440000000, float 0x3FBFBE76C0000000, float 0x3FEFF7CEE0000000, float 0x3F978D4FE0000000, float 0x3FDA8F5C20000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFCED920000000, float 0x3FEF7CEDA0000000, float 0x3FEEF9DB20000000, float 0x3FEE147AE0000000, float 0x3FEC189380000000, float 0x3FEA3D70A0000000, float 0x3FE90E5600000000, float 0x3FE7851EC0000000, float 0x3FDF7CEDA0000000, float 0x3FE5EB8520000000, float 0x3FE4395820000000, float 0x3FCF7CEDA0000000], [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 0x3FEFE76C80000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFCED920000000, float 0x3FEF3B6460000000, float 0x3FEE3D70A0000000, float 0x3FED3F7CE0000000, float 0x3FE9E35400000000, float 0x3FE722D0E0000000, float 0x3FE19999A0000000, float 0x3FDC189380000000, float 0x3FE9B22D00000000, float 0x3FD0418940000000], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFCED920000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFC6A7E0000000, float 0x3FEFA5E360000000, float 0x3FEF439580000000, float 0x3FEE9FBE80000000, float 0x3FED70A3E0000000, float 0x3FEB6C8B40000000, float 0x3FE94FDF40000000, float 0x3FE50624E0000000, float 0x3FE178D500000000, float 0x3FDD810620000000, float 0x3FDA2D0E60000000, float 0x3FC24DD300000000, float 0x3FC49BA5E0000000, float 0x3FAEB851E0000000, float 0x3FB4395820000000, float 0x3FEFE76C80000000, float 0x3FED168720000000], [27 x float] [float 0x3FEFF7CEE0000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, 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 0x3FEFCED920000000, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEF958100000000, float 0x3FEEF1AA00000000, float 0x3FEDDB22E0000000, float 0x3FEC6A7F00000000, float 0x3FEA4DD300000000, float 0x3FE7126EA0000000, float 0x3FE4106240000000, float 0x3FE09BA5E0000000, float 0x3FD22D0E60000000, float 0x3FD1BA5E40000000, float 0x3FD21CAC00000000, float 0x3FEE76C8C0000000, float 0x3FDA8F5C20000000], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFCED920000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFA5E360000000, float 0x3FEF74BC60000000, float 0x3FEEE978E0000000, float 0x3FEDDB22E0000000, float 0x3FECAC0840000000, float 0x3FEAA7EFA0000000, float 0x3FE6D0E560000000, float 0x3FE1A9FBE0000000, float 0x3FE1CAC080000000, float 0x3FD7AE1480000000, float 0x3FC978D500000000, float 0x3FB5C28F60000000, float 0x3FC0624DE0000000, float 0x3FEFBE76C0000000, float 0x3F96872B00000000, float 0x3FDA9FBE80000000], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEF6C8B40000000, float 0x3FEEC8B440000000, float 0x3FEDB22D00000000, float 0x3FEB7CEDA0000000, float 0x3FE8D4FE00000000, float 0x3FE676C8C0000000, float 0x3FE4A3D700000000, float 0x3FD8A3D700000000, float 0x3FE170A3E0000000, float 0x3FD6E978E0000000, float 0x3FCD4FDF40000000], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF53F7C0000000, float 0x3FEC9BA5E0000000, float 0x3FEA1CAC00000000, float 0x3FE6D0E560000000, float 0x3FE322D0E0000000, float 0x3FDEC8B440000000, float 0x3FD7EF9DC0000000, float 0x3FD25E3540000000, float 0x3FCE147AE0000000, float 0x3FBBE76C80000000, float 0x3FDC6A7F00000000, float 0x3FEFB645A0000000, float 0x3FAA9FBE80000000, float 0x3FE5C28F60000000], [27 x float] [float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFB645A0000000, float 0x3FEFDF3B60000000, float 1.000000e+00, float 1.000000e+00, float 0x3FF0083120000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 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 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEFAE1480000000, float 0x3FEF7CEDA0000000, float 0x3FEEE147A0000000, float 0x3FEE0418A0000000, float 0x3FEC8B43A0000000, float 0x3FEBAE1480000000, float 0x3FE6C8B440000000, float 0x3FE5581060000000, float 0x3FDF2B0200000000, float 0x3FD9581060000000, float 0x3FEA147AE0000000, float 0x3FBAE147A0000000], [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFDF3B60000000, float 0x3FEF1A9FC0000000, float 0x3FEE6E9780000000, float 0x3FED581060000000, float 0x3FEBAE1480000000, float 0x3FE9D2F1A0000000, float 0x3FE73B6460000000, float 0x3FE2978D40000000, float 0x3FE0BC6A80000000, float 0x3FE1CAC080000000, float 0x3FE30A3D80000000, float 0x3FC624DD20000000, float 0x3FD374BC60000000, float 0x3FAA1CAC00000000, float 0x3FB53F7CE0000000, float 1.000000e+00, float 0x3FED1EB860000000], [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFB645A0000000, float 0x3FEF8D4FE0000000, float 0x3FEF1A9FC0000000, float 0x3FEE6E9780000000, float 0x3FED581060000000, float 0x3FEC28F5C0000000, float 0x3FEA1CAC00000000, float 0x3FE66E9780000000, float 0x3FE47AE140000000, float 0x3FE0AC0840000000, float 0x3FD428F5C0000000, float 0x3FD10624E0000000, float 0x3FCCED9160000000, float 0x3FEE5E3540000000, float 0x3FC51EB860000000], [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF53F7C0000000, float 0x3FEEC8B440000000, float 0x3FEDEB8520000000, float 0x3FEC8B43A0000000, float 0x3FEB6C8B40000000, float 0x3FE91EB860000000, float 0x3FE47AE140000000, float 0x3FE0A3D700000000, float 0x3FE2F9DB20000000, float 0x3FD6C8B440000000, float 0x3FD27EF9E0000000, float 0x3FB645A1C0000000, float 0x3FD26E9780000000, float 0x3FEFE76C80000000, float 0x3F847AE140000000, float 0x3FD0106240000000], [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFDF3B60000000, float 0x3FEFBE76C0000000, float 0x3FEFAE1480000000, float 0x3FEFAE1480000000, float 0x3FEF8D4FE0000000, float 0x3FEF333340000000, float 0x3FEE9FBE80000000, float 0x3FEDEB8520000000, float 0x3FEC8B43A0000000, float 0x3FE90624E0000000, float 0x3FE547AE20000000, float 0x3FE3BE76C0000000, float 0x3FE29FBE80000000, float 0x3FD70A3D80000000, float 0x3FDE978D40000000, float 0x3FE0D4FE00000000, float 0x3FAC28F5C0000000], [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF020C40000000, float 0x3FE947AE20000000, float 0x3FE6872B00000000, float 0x3FE38D4FE0000000, float 0x3FE08B43A0000000, float 0x3FDB851EC0000000, float 0x3FD6A7EFA0000000, float 0x3FD147AE20000000, float 0x3FDA8F5C20000000, float 0x3FC10624E0000000, float 0x3FEB126EA0000000, float 0x3FEFEF9DC0000000, float 0x3FA60418A0000000, float 0x3FE1581060000000], [27 x float] [float 0x3FF0083120000000, float 0x3FEFC6A7E0000000, float 0x3FEFAE1480000000, float 0x3FEFD70A40000000, float 0x3FEFA5E360000000, float 0x3FEFEF9DC0000000, float 0x3FEED0E560000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 0x3FEFE76C80000000, 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 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 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFB645A0000000, float 0x3FEFB645A0000000, float 0x3FEF333340000000, float 0x3FEF439580000000, float 0x3FED916880000000, float 0x3FEE5E3540000000, float 0x3FEFD70A40000000, float 0x3FEEF1AA00000000], [27 x float] [float 0x3FEFE76C80000000, 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 1.000000e+00, float 0x3FEFC6A7E0000000, float 0x3FEF958100000000, float 0x3FEF333340000000, float 0x3FEE8F5C20000000, float 0x3FED70A3E0000000, float 0x3FEC3126E0000000, float 0x3FE9FBE760000000, float 0x3FE61CAC00000000, float 0x3FE4AC0840000000, float 0x3FE66E9780000000, float 0x3FE7439580000000, float 0x3FD0C49BA0000000, float 0x3FDE872B00000000, float 0x3FBC28F5C0000000, float 0x3FE0831260000000, float 0x3FEFF7CEE0000000, float 1.000000e+00], [27 x float] [float 0x3FEFE76C80000000, 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 1.000000e+00, float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFC6A7E0000000, float 0x3FEF851EC0000000, float 0x3FEF22D0E0000000, float 0x3FEED91680000000, float 0x3FEE353F80000000, float 0x3FEC395820000000, float 0x3FEAE978E0000000, float 0x3FE69FBE80000000, float 0x3FE1F3B640000000, float 0x3FEAF1AA00000000, float 0x3FEBA5E360000000, float 0x3FEFD70A40000000, float 0x3FAFBE76C0000000], [27 x float] [float 0x3FEFE76C80000000, 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 1.000000e+00, float 1.000000e+00, float 0x3FEF958100000000, float 0x3FEF6C8B40000000, float 0x3FEEE978E0000000, float 0x3FEE0C49C0000000, float 0x3FED47AE20000000, float 0x3FEB9DB220000000, float 0x3FE7DF3B60000000, float 0x3FE5374BC0000000, float 0x3FE73B6460000000, float 0x3FDE353F80000000, float 0x3FDDF3B640000000, float 0x3FC5C28F60000000, float 0x3FE9374BC0000000, float 0x3FEFF7CEE0000000, float 0x3FB2B020C0000000, float 0x3FECED9160000000], [27 x float] [float 0x3FEFE76C80000000, 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 1.000000e+00, float 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEF958100000000, float 0x3FEEB851E0000000, float 0x3FEDD2F1A0000000, float 0x3FEE560420000000, float 0x3FEF020C40000000, float 0x3FEBD70A40000000, float 0x3FEE1CAC00000000, float 0x3FEF6C8B40000000, float 0x3FF07EF9E0000000], [27 x float] [float 0x3FEFE76C80000000, 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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF3B6460000000, float 0x3FEBD70A40000000, float 0x3FE9B22D00000000, float 0x3FE72B0200000000, float 0x3FE45A1CA0000000, float 0x3FE1810620000000, float 0x3FDDA1CAC0000000, float 0x3FD8106240000000, float 0x3FE3B645A0000000, float 0x3FCB645A20000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FCA1CAC00000000, float 0x3FEFE76C80000000], [27 x float] [float 0x3FEFF7CEE0000000, float 0x3FEFDF3B60000000, float 0x3FEFBE76C0000000, float 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEFF7CEE0000000, float 0x3FEF645A20000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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_F.shf2 = internal unnamed_addr constant [4 x [7 x [27 x float]]] [[7 x [27 x float]] [[27 x float] [float 1.000000e+00, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFAE1480000000, 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 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEE8F5C20000000, float 0x3FEC831260000000, float 0x3FEA2D0E60000000, float 0x3FE8E56040000000, float 0x3FE2C8B440000000, float 0x3FE28F5C20000000, float 0x3FDB645A20000000, float 0x3FD7DF3B60000000, float 0x3FE851EB80000000, float 0x3FCA9FBE80000000], [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 0x3FEFF7CEE0000000, float 0x3FEFCED920000000, 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 0x3FEFD70A40000000, float 0x3FEF5C2900000000, float 0x3FEEC8B440000000, float 0x3FEDC28F60000000, float 0x3FEC624DE0000000, float 0x3FEAB851E0000000, float 0x3FE87AE140000000, float 0x3FE5BA5E40000000, float 0x3FE34BC6A0000000, float 0x3FE2D0E560000000, float 0x3FE10624E0000000, float 0x3FD71A9FC0000000, float 0x3FCA5E3540000000, float 0x3FC851EB80000000, float 0x3FED581060000000, float 0x3FD5A1CAC0000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFA5E360000000, float 1.000000e+00, float 0x3FF0147AE0000000, float 0x3FF0189380000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEE9FBE80000000, float 0x3FEE3D70A0000000, float 0x3FEDB22D00000000, float 0x3FEBAE1480000000, float 0x3FEA0C49C0000000, float 0x3FE2147AE0000000, float 0x3FE12F1AA0000000, float 0x3FD6353F80000000, float 0x3FE4A3D700000000, float 0x3FD449BA60000000, float 0x3FB3B645A0000000, float 0x3FA2F1AA00000000, float 0x3FA99999A0000000, float 0x3FEFDF3B60000000, float 0x3F847AE140000000, float 0x3FD76C8B40000000], [27 x float] [float 0x3FEFF7CEE0000000, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFAE1480000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFBE76C0000000, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFA5E360000000, float 0x3FEF3B6460000000, float 0x3FEE45A1C0000000, float 0x3FECCCCCC0000000, float 0x3FEB1A9FC0000000, float 0x3FE89374C0000000, float 0x3FE428F5C0000000, float 0x3FE09BA5E0000000, float 0x3FDEC8B440000000, float 0x3FDD70A3E0000000, float 0x3FD4DD2F20000000, float 0x3FE0DD2F20000000, float 0x3FE1EB8520000000, float 0x3FC7CED920000000], [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 0x3FEFBE76C0000000, float 0x3FEFBE76C0000000, float 0x3FEFCED920000000, float 0x3FEFB645A0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEF958100000000, float 0x3FEDCAC080000000, float 0x3FEB6C8B40000000, float 0x3FE7C6A7E0000000, float 0x3FE5E35400000000, float 0x3FDEF9DB20000000, float 0x3FE0395820000000, float 0x3FD7DF3B60000000, float 0x3FD1DB22E0000000, float 0x3FE4418940000000, float 0x3FCA9FBE80000000], [27 x float] [float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFD70A40000000, float 0x3FEFB645A0000000, float 0x3FEFF7CEE0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEF8D4FE0000000, float 0x3FEE2D0E60000000, float 0x3FECED9160000000, float 0x3FEB2B0200000000, float 0x3FE88B43A0000000, float 0x3FE547AE20000000, float 0x3FE2978D40000000, float 0x3FDAD0E560000000, float 0x3FD374BC60000000, float 0x3FCC6A7F00000000, float 0x3FC8B43960000000, float 0x3FAF3B6460000000, float 0x3FB4BC6A80000000, float 0x3F999999A0000000, float 0x3FA0E56040000000, float 0x3FEFEF9DC0000000, float 0x3FE66E9780000000], [27 x float] [float 0x3FF0106240000000, float 0x3FEFC6A7E0000000, float 0x3FEFDF3B60000000, float 0x3FEFB645A0000000, float 0x3FEFE76C80000000, float 0x3FEFDF3B60000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFC6A7E0000000, float 1.000000e+00, float 0x3FEF4BC6A0000000, float 0x3FEDDB22E0000000, float 0x3FEB958100000000, float 0x3FE88B43A0000000, float 0x3FE56872C0000000, float 0x3FE1C28F60000000, float 0x3FDB645A20000000, float 0x3FD6E978E0000000, float 0x3FD374BC60000000, float 0x3FC374BC60000000, float 0x3FC10624E0000000, float 0x3FC4395820000000, float 0x3FEC083120000000, float 0x3FD8418940000000], [27 x float] [float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFCED920000000, float 0x3FEFB645A0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEE872B00000000, float 0x3FED893740000000, float 0x3FEBDF3B60000000, float 0x3FE94FDF40000000, float 0x3FE74BC6A0000000, float 0x3FE4B43960000000, float 0x3FDE666660000000, float 0x3FD374BC60000000, float 0x3FD27EF9E0000000, float 0x3FC4FDF3C0000000, float 0x3FB374BC60000000, float 0x3FA1EB8520000000, float 0x3FACAC0840000000, float 0x3FEEC8B440000000, float 0x3F826E9780000000, float 0x3FD77CEDA0000000], [27 x float] [float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFC6A7E0000000, float 0x3FEFAE1480000000, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFBE76C0000000, float 0x3FEFE76C80000000, float 0x3FEFD70A40000000, float 0x3FEFBE76C0000000, float 0x3FEF53F7C0000000, float 0x3FEE45A1C0000000, float 0x3FEC9BA5E0000000, float 0x3FEA978D40000000, float 0x3FE7A5E360000000, float 0x3FE3020C40000000, float 0x3FDD4FDF40000000, float 0x3FD8A3D700000000, float 0x3FD6F9DB20000000, float 0x3FD0418940000000, float 0x3FDA8F5C20000000, float 0x3FD0E56040000000, float 0x3FC60418A0000000], [27 x float] [float 0x3FEFD70A40000000, float 0x3FEFC6A7E0000000, float 0x3FEFD70A40000000, float 0x3FEFAE1480000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEE666660000000, float 0x3FE7439580000000, float 0x3FE32B0200000000, float 0x3FDDD2F1A0000000, float 0x3FD6147AE0000000, float 0x3FCFBE76C0000000, float 0x3FC6872B00000000, float 0x3FBDF3B640000000, float 0x3FB7CED920000000, float 0x3FA8106240000000, float 0x3FC74BC6A0000000, float 0x3FEEA7EFA0000000, float 0x3F9FBE76C0000000, float 0x3FDC083120000000], [27 x float] [float 0x3FEFDF3B60000000, float 0x3FF01CAC00000000, float 0x3FEE1CAC00000000, float 0x3FEFC6A7E0000000, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FF028F5C0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 0x3FEFE76C80000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEDFBE760000000, float 0x3FED916880000000, float 0x3FED604180000000, float 0x3FEBC6A7E0000000, float 0x3FEA4DD300000000, float 0x3FE624DD20000000, float 0x3FE32B0200000000, float 0x3FDAD0E560000000, float 0x3FDB53F7C0000000, float 0x3FCD916880000000, float 0x3FDC395820000000, float 0x3FD4CCCCC0000000, float 0x3FD24DD300000000, float 0x3FE5EB8520000000, float 0x3FB3F7CEE0000000], [27 x float] [float 0x3FEFE76C80000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEF74BC60000000, float 0x3FECBC6A80000000, float 0x3FEB7CEDA0000000, float 0x3FE9E35400000000, float 0x3FE7E76C80000000, float 0x3FE5BA5E40000000, float 0x3FE2C8B440000000, float 0x3FDC083120000000, float 0x3FD9A9FBE0000000, float 0x3FDD810620000000, float 0x3FE0DD2F20000000, float 0x3FC0624DE0000000, float 0x3FCDD2F1A0000000, float 0x3FA2F1AA00000000, float 0x3FB020C4A0000000, float 1.000000e+00, float 0x3FE7D70A40000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEDA9FBE0000000, float 0x3FECF5C280000000, float 0x3FEB53F7C0000000, float 0x3FE978D500000000, float 0x3FE73B6460000000, float 0x3FE578D500000000, float 0x3FE2F1AA00000000, float 0x3FDD604180000000, float 0x3FDCCCCCC0000000, float 0x3FD8418940000000, float 0x3FC9581060000000, float 0x3FC60418A0000000, float 0x3FC5810620000000, float 0x3FEBE76C80000000, float 0x3FBF7CEDA0000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FED374BC0000000, float 0x3FEC106240000000, float 0x3FEA8F5C20000000, float 0x3FE8AC0840000000, float 0x3FE7AE1480000000, float 0x3FE50624E0000000, float 0x3FDFCED920000000, float 0x3FD8B43960000000, float 0x3FDED91680000000, float 0x3FD10624E0000000, float 0x3FCEF9DB20000000, float 0x3FAEB851E0000000, float 0x3FD03126E0000000, float 0x3FEF8D4FE0000000, float 0x3F789374C0000000, float 0x3FCC49BA60000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEE9FBE80000000, float 0x3FED168720000000, float 0x3FEC49BA60000000, float 0x3FECC49BA0000000, float 8.750000e-01, float 0x3FEA0418A0000000, float 0x3FE7BE76C0000000, float 0x3FE62D0E60000000, float 0x3FE322D0E0000000, float 0x3FDB439580000000, float 0x3FD0831260000000, float 0x3FCB851EC0000000, float 0x3FCF3B6460000000, float 0x3FCD916880000000, float 0x3FD21CAC00000000, float 0x3FDED91680000000, float 0x3F9EB851E0000000], [27 x float] [float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEE1CAC00000000, float 0x3FE4BC6A80000000, float 0x3FE23D70A0000000, float 0x3FDF9DB220000000, float 0x3FDB020C40000000, float 0x3FD6C8B440000000, float 0x3FD3020C40000000, float 0x3FC978D500000000, float 0x3FD75C2900000000, float 0x3FB99999A0000000, float 0x3FEA0418A0000000, float 0x3FEFB645A0000000, float 0x3FA0E56040000000, float 0x3FD4ED9160000000], [27 x float] [float 0x3FEFBE76C0000000, float 0x3FEE8F5C20000000, float 0x3FED0E5600000000, float 0x3FEF439580000000, float 0x3FEDA9FBE0000000, float 0x3FEF9DB220000000, float 0x3FEA4DD300000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEFB645A0000000, float 0x3FEFAE1480000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFD70A40000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFA5E360000000, float 0x3FEF5C2900000000, float 0x3FEF020C40000000, float 0x3FEF22D0E0000000, float 0x3FEE24DD20000000, float 0x3FEED0E560000000, float 0x3FECCCCCC0000000, float 0x3FEDE35400000000, float 0x3FEF9DB220000000, float 0x3FEEB020C0000000], [27 x float] [float 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEFB645A0000000, float 0x3FEFAE1480000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEF9DB220000000, float 0x3FEE6E9780000000, float 0x3FED78D500000000, float 0x3FEC189380000000, float 0x3FEA4DD300000000, float 0x3FE86A7F00000000, float 0x3FE5CAC080000000, float 0x3FE1374BC0000000, float 0x3FE020C4A0000000, float 0x3FE2D0E560000000, float 0x3FE5168720000000, float 0x3FC8B43960000000, float 0x3FD926E980000000, float 0x3FB3F7CEE0000000, float 0x3FDF1A9FC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00], [27 x float] [float 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEFB645A0000000, float 0x3FEFAE1480000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEF8D4FE0000000, float 0x3FEF020C40000000, float 0x3FEE3D70A0000000, float 0x3FED4FDF40000000, float 0x3FECF5C280000000, float 0x3FEC189380000000, float 0x3FE978D500000000, float 0x3FE8831260000000, float 0x3FE3D70A40000000, float 0x3FDE978D40000000, float 0x3FE9CAC080000000, float 0x3FEAE147A0000000, float 0x3FEF9DB220000000, float 0x3FF153F7C0000000], [27 x float] [float 0x3FEFDF3B60000000, float 0x3FEFCED920000000, float 0x3FEFB645A0000000, float 0x3FEFAE1480000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEEB020C0000000, float 0x3FEDF3B640000000, float 0x3FECC49BA0000000, float 0x3FEB2B0200000000, float 0x3FEA24DD20000000, float 0x3FE7DF3B60000000, float 0x3FE33B6460000000, float 0x3FE028F5C0000000, float 0x3FE3CED920000000, float 0x3FD7BE76C0000000, float 0x3FD9374BC0000000, float 0x3FBE353F80000000, float 0x3FE7C6A7E0000000, float 0x3FEFCED920000000, float 0x3FADB22D00000000, float 0x3FEC418940000000], [27 x float] [float 0x3FEFD70A40000000, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFAE1480000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFD70A40000000, float 0x3FEF9DB220000000, float 0x3FEF5C2900000000, float 0x3FEF22D0E0000000, float 0x3FEEB020C0000000, float 0x3FECED9160000000, float 0x3FEB958100000000, float 0x3FED0624E0000000, float 0x3FEE5E3540000000, float 0x3FEB1A9FC0000000, float 0x3FED6872C0000000, float 0x3FEF6C8B40000000, float 0x3FF0B020C0000000], [27 x float] [float 0x3FEFDF3B60000000, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFAE1480000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEE7EF9E0000000, float 0x3FE78D4FE0000000, float 0x3FE50624E0000000, float 0x3FE276C8C0000000, float 5.000000e-01, float 0x3FDB74BC60000000, float 0x3FD75C2900000000, float 0x3FD1BA5E40000000, float 0x3FE1CAC080000000, float 0x3FC53F7CE0000000, float 0x3FEFDF3B60000000, float 0x3FEFE76C80000000, float 0x3FC78D4FE0000000, float 0x3FEFC6A7E0000000], [27 x float] [float 0x3FEFDF3B60000000, float 0x3FEF333340000000, float 0x3FEE666660000000, float 0x3FEF851EC0000000, float 0x3FEEC08320000000, float 0x3FEFCED920000000, float 0x3FECCCCCC0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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_F.shf3 = internal unnamed_addr constant [4 x [7 x [27 x float]]] [[7 x [27 x float]] [[27 x float] [float 0x3FF0147AE0000000, float 0x3FEFC6A7E0000000, float 0x3FEFC6A7E0000000, float 0x3FEFAE1480000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFCED920000000, float 0x3FEF0A3D80000000, float 0x3FEF22D0E0000000, float 0x3FEF333340000000, float 0x3FEE1CAC00000000, float 0x3FECCCCCC0000000, float 0x3FE91EB860000000, float 0x3FE5FBE760000000, float 0x3FE126E980000000, float 0x3FE0F5C280000000, float 0x3FD49BA5E0000000, float 0x3FDFCED920000000, float 0x3FD8106240000000, float 0x3FD570A3E0000000, float 0x3FE71A9FC0000000, float 0x3FC9BA5E40000000], [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 0x3FF0083120000000, float 0x3FEFC6A7E0000000, float 0x3FEFC6A7E0000000, float 0x3FEFAE1480000000, float 0x3FF00418A0000000, float 0x3FF00418A0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0x3FEFCED920000000, float 0x3FED374BC0000000, float 0x3FEC49BA60000000, float 0x3FEA978D40000000, float 0x3FE8C49BA0000000, float 0x3FE6D0E560000000, float 0x3FE48B43A0000000, float 0x3FE1BA5E40000000, float 0x3FDE666660000000, float 0x3FDFAE1480000000, float 0x3FDE45A1C0000000, float 0x3FD3333340000000, float 0x3FC4DD2F20000000, float 0x3FC5604180000000, float 0x3FECAC0840000000, float 0x3FD54FDF40000000], [27 x float] [float 1.000000e+00, float 0x3FEFC6A7E0000000, float 0x3FEFBE76C0000000, float 0x3FEFA5E360000000, float 0x3FF00418A0000000, float 0x3FF028F5C0000000, float 0x3FF03126E0000000, float 0x3FF0083120000000, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FED26E980000000, float 0x3FEC831260000000, float 0x3FD79DB220000000, float 0x3FE9604180000000, float 0x3FE7AE1480000000, float 0x3FE0BC6A80000000, float 0x3FDCED9160000000, float 0x3FD3A5E360000000, float 0x3FE3BE76C0000000, float 0x3FD1168720000000, float 0x3FAC28F5C0000000, float 0x3F9BA5E360000000, float 0x3FA374BC60000000, float 0x3FEFC6A7E0000000, float 0x3F80624DE0000000, float 0x3FD6F9DB20000000], [27 x float] [float 0x3FF0083120000000, float 0x3FEFCED920000000, float 0x3FEFC6A7E0000000, float 0x3FEFAE1480000000, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEE6E9780000000, float 0x3FED168720000000, float 0x3FEC831260000000, float 0x3FED26E980000000, float 0x3FEC6A7F00000000, float 0x3FEA872B00000000, float 0x3FE8395820000000, float 0x3FE6560420000000, float 0x3FE3439580000000, float 0x3FDC8B43A0000000, float 0x3FD3D70A40000000, float 0x3FD16872C0000000, float 0x3FD2D0E560000000, float 0x3FD24DD300000000, float 0x3FDF3B6460000000, float 0x3FE1810620000000, float 0x3FC6872B00000000], [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 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 0x3FEF74BC60000000, float 0x3FEFA5E360000000, float 0x3FEFE76C80000000, float 0x3FEFC6A7E0000000, float 1.000000e+00, float 0x3FEFE76C80000000, float 0x3FEFDF3B60000000, float 0x3FEFD70A40000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFCED920000000, float 0x3FEEE978E0000000, float 0x3FEEF9DB20000000, float 0x3FEEF9DB20000000, float 0x3FEDBA5E40000000, float 0x3FEC20C4A0000000, float 0x3FE828F5C0000000, float 0x3FE4D4FE00000000, float 0x3FDE0418A0000000, float 0x3FDC6A7F00000000, float 2.500000e-01, float 0x3FDB53F7C0000000, float 0x3FD50E5600000000, float 0x3FCF5C2900000000, float 0x3FE2A7EFA0000000, float 0x3FC9DB22E0000000], [27 x float] [float 0x3FEFA5E360000000, float 0x3FEF9DB220000000, float 0x3FEFEF9DC0000000, float 0x3FEFCED920000000, float 0x3FEFEF9DC0000000, float 0x3FF0083120000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEF3B6460000000, float 0x3FEC9BA5E0000000, float 0x3FEAD91680000000, float 0x3FE89BA5E0000000, float 0x3FE59999A0000000, float 0x3FE27EF9E0000000, float 0x3FDF5C2900000000, float 0x3FD54FDF40000000, float 0x3FCDD2F1A0000000, float 0x3FC4DD2F20000000, float 0x3FC28F5C20000000, float 0x3FA70A3D80000000, float 0x3FB1A9FBE0000000, float 0x3F926E9780000000, float 0x3F978D4FE0000000, float 0x3FEFF7CEE0000000, float 0x3FE2B851E0000000], [27 x float] [float 0x3FF0418940000000, float 0x3FEFB645A0000000, float 0x3FF00418A0000000, float 0x3FEFC6A7E0000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 0x3FEFD70A40000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFBE76C0000000, float 0x3FEEB851E0000000, float 0x3FED9999A0000000, float 0x3FEB53F7C0000000, float 0x3FE8395820000000, float 0x3FE47AE140000000, float 0x3FE1168720000000, float 0x3FDAF1AA00000000, float 0x3FD353F7C0000000, float 0x3FD10624E0000000, float 2.500000e-01, float 0x3FBF7CEDA0000000, float 0x3FB9DB22E0000000, float 0x3FC10624E0000000, float 0x3FEB0A3D80000000, float 0x3FD7DF3B60000000], [27 x float] [float 0x3FEF9DB220000000, float 0x3FEF9DB220000000, float 0x3FEFE76C80000000, float 0x3FEFC6A7E0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FED168720000000, float 0x3FEBA5E360000000, float 0x3FE9810620000000, float 0x3FE676C8C0000000, float 0x3FE4A3D700000000, float 0x3FE276C8C0000000, float 0x3FD9581060000000, float 0x3FCE353F80000000, float 0x3FCC083120000000, float 0x3FBE76C8C0000000, float 0x3FAC28F5C0000000, float 0x3F9A9FBE80000000, float 0x3FA78D4FE0000000, float 0x3FEDCAC080000000, float 0x3F7CAC0840000000, float 0x3FD71A9FC0000000], [27 x float] [float 0x3FEFAE1480000000, float 0x3FEFAE1480000000, float 0x3FEFCED920000000, float 0x3FEFAE1480000000, float 0x3FF00418A0000000, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFDF3B60000000, float 0x3FEFEF9DC0000000, float 0x3FEE978D40000000, float 0x3FED374BC0000000, float 0x3FECA3D700000000, float 0x3FED3F7CE0000000, float 0x3FEC831260000000, float 0x3FEA8F5C20000000, float 7.500000e-01, float 0x3FE5B22D00000000, float 0x3FE245A1C0000000, float 0x3FDA7EF9E0000000, float 0x3FD0E56040000000, float 0x3FCA3D70A0000000, float 0x3FCB439580000000, float 0x3FCCAC0840000000, float 0x3FD8A3D700000000, float 0x3FCFBE76C0000000, float 0x3FC4DD2F20000000], [27 x float] [float 0x3FEFB645A0000000, float 0x3FEFB645A0000000, float 0x3FEFF7CEE0000000, float 0x3FEFAE1480000000, float 0x3FEFDF3B60000000, float 0x3FEFE76C80000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFDF3B60000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEDDB22E0000000, float 0x3FE47AE140000000, float 0x3FE0418940000000, float 0x3FD83126E0000000, float 0x3FD1374BC0000000, float 0x3FC7EF9DC0000000, float 0x3FC0A3D700000000, float 0x3FB5C28F60000000, float 0x3FB126E980000000, float 0x3FA2F1AA00000000, float 0x3FC0418940000000, float 0x3FED9999A0000000, float 0x3F9BA5E360000000, float 0x3FD7AE1480000000], [27 x float] [float 0x3FEF333340000000, float 0x3FF0418940000000, float 0x3FE0BC6A80000000, float 0x3FEF5C2900000000, float 1.000000e+00, float 0x3FEFB645A0000000, float 0x3FF0624DE0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 0x3FEFC6A7E0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFDF3B60000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFDF3B60000000, float 0x3FE93F7CE0000000, float 0x3FE7F7CEE0000000, float 0x3FE7A5E360000000, float 0x3FE428F5C0000000, float 0x3FE21CAC00000000, float 0x3FDB020C40000000, float 0x3FD72B0200000000, float 0x3FCE353F80000000, float 2.500000e-01, float 0x3FC3126EA0000000, float 0x3FD8A3D700000000, float 0x3FD24DD300000000, float 0x3FD09374C0000000, float 0x3FE4B43960000000, float 0x3FB3333340000000], [27 x float] [float 0x3FEFC6A7E0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEF1A9FC0000000, float 0x3FEB22D0E0000000, float 0x3FE9FBE760000000, float 0x3FE88B43A0000000, float 0x3FE6C08320000000, float 0x3FE4395820000000, float 0x3FD3F7CEE0000000, float 0x3FC0831260000000, float 0x3FCDB22D00000000, float 0x3FD820C4A0000000, float 0x3FDDC28F60000000, float 0x3FAA9FBE80000000, float 0x3FC3B645A0000000, float 0x3F9FBE76C0000000, float 0x3FADB22D00000000, float 0x3FEFF7CEE0000000, float 0x3FE5916880000000], [27 x float] [float 0x3FEFCED920000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFDF3B60000000, float 0x3FE9C28F60000000, float 0x3FE8E56040000000, float 0x3FE6D91680000000, float 0x3FE50624E0000000, float 0x3FE30A3D80000000, float 0x3FE1B22D00000000, float 0x3FDF4BC6A0000000, float 0x3FD78D4FE0000000, float 0x3FD872B020000000, float 0x3FD5F3B640000000, float 0x3FC4BC6A80000000, float 0x3FC353F7C0000000, float 0x3FC45A1CA0000000, float 0x3FEB0A3D80000000, float 0x3FBDF3B640000000], [27 x float] [float 0x3FEFCED920000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEB7CEDA0000000, float 0x3FEA666660000000, float 0x3FE90624E0000000, float 0x3FE74BC6A0000000, float 0x3FE6872B00000000, float 0x3FE25E3540000000, float 0x3FD79DB220000000, float 0x3FCD4FDF40000000, float 0x3FD74BC6A0000000, float 0x3FC4DD2F20000000, float 0x3FCCAC0840000000, float 0x3FA47AE140000000, float 0x3FC9BA5E40000000, float 0x3FEF2B0200000000, float 0x3F747AE140000000, float 0x3FCBE76C80000000], [27 x float] [float 0x3FEFCED920000000, float 0x3FEFEF9DC0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFE76C80000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEBBE76C0000000, float 0x3FE74BC6A0000000, float 0x3FE59999A0000000, float 0x3FE7439580000000, float 0x3FE6353F80000000, float 0x3FE36C8B40000000, float 0x3FE10624E0000000, float 0x3FE0083120000000, float 0x3FDB22D0E0000000, float 0x3FD2D0E560000000, float 0x3FC5E35400000000, float 0x3FC1EB8520000000, float 0x3FC8F5C280000000, float 0x3FCA3D70A0000000, float 0x3FCFBE76C0000000, float 0x3FDE560420000000, float 0x3F9BA5E360000000], [27 x float] [float 0x3FEFDF3B60000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEDDB22E0000000, float 0x3FE3851EC0000000, float 0x3FE147AE20000000, float 0x3FDE24DD20000000, float 0x3FD9DB22E0000000, float 0x3FD5F3B640000000, float 0x3FD25E3540000000, float 0x3FBFBE76C0000000, float 0x3FD570A3E0000000, float 0x3FB4395820000000, float 0x3FE9CAC080000000, float 0x3FEF851EC0000000, float 0x3F9FBE76C0000000, float 0x3FD22D0E60000000], [27 x float] [float 0x3FED168720000000, float 0x3FE90624E0000000, float 0x3FD25E3540000000, float 0x3FEC624DE0000000, float 0x3FEA0C49C0000000, float 0x3FEEB851E0000000, float 0x3FE5F3B640000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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 0x3FEFB645A0000000, float 0x3FEFC6A7E0000000, float 0x3FEFAE1480000000, float 0x3FEFAE1480000000, float 1.000000e+00, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFC6A7E0000000, float 0x3FEFA5E360000000, float 0x3FEF2B0200000000, float 0x3FEEC8B440000000, float 0x3FEE4DD300000000, float 0x3FEEB020C0000000, float 0x3FED916880000000, float 0x3FEEB020C0000000, float 0x3FEC9374C0000000, float 0x3FEDC28F60000000, float 0x3FEF851EC0000000, float 0x3FEE9FBE80000000], [27 x float] [float 0x3FEFBE76C0000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 0x3FEFAE1480000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEF74BC60000000, float 0x3FED9999A0000000, float 0x3FEC72B020000000, float 0x3FEAF9DB20000000, float 0x3FE91EB860000000, float 0x3FE7020C40000000, float 0x3FE34BC6A0000000, float 0x3FDB851EC0000000, float 0x3FDB126EA0000000, float 0x3FE1374BC0000000, float 0x3FE4106240000000, float 0x3FC2F1AA00000000, float 0x3FD4CCCCC0000000, float 0x3FB16872C0000000, float 0x3FDE872B00000000, float 0x3FEFEF9DC0000000, float 1.000000e+00], [27 x float] [float 0x3FEFC6A7E0000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 0x3FEFAE1480000000, float 0x3FEFEF9DC0000000, float 0x3FEFE76C80000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFD70A40000000, float 0x3FEF851EC0000000, float 0x3FEF1A9FC0000000, float 0x3FEE45A1C0000000, float 0x3FED581060000000, float 0x3FEC418940000000, float 0x3FEC106240000000, float 0x3FEB3B6460000000, float 0x3FE88B43A0000000, float 0x3FE7DF3B60000000, float 0x3FE32B0200000000, float 0x3FDCED9160000000, float 0x3FE96872C0000000, float 0x3FEAB851E0000000, float 0x3FEF7CEDA0000000, float 0x3FF1645A20000000], [27 x float] [float 0x3FEFC6A7E0000000, float 0x3FEFC6A7E0000000, float 0x3FEFAE1480000000, float 0x3FEFA5E360000000, float 0x3FEFEF9DC0000000, float 0x3FEFDF3B60000000, float 0x3FEFE76C80000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEDF3B640000000, float 0x3FED0624E0000000, float 0x3FEBA5E360000000, float 0x3FE9F3B640000000, float 0x3FE90624E0000000, float 0x3FE63D70A0000000, float 0x3FE10E5600000000, float 0x3FDB333340000000, float 0x3FE20C49C0000000, float 0x3FD3E76C80000000, float 0x3FD7AE1480000000, float 0x3FB89374C0000000, float 0x3FE5916880000000, float 0x3FEFAE1480000000, float 0x3FAC28F5C0000000, float 0x3FEC28F5C0000000], [27 x float] [float 0x3FEFC6A7E0000000, float 0x3FEFC6A7E0000000, float 0x3FEFB645A0000000, float 0x3FEFAE1480000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 1.000000e+00, float 0x3FEFAE1480000000, float 0x3FEFB645A0000000, float 0x3FEF9DB220000000, float 0x3FEFB645A0000000, float 0x3FEF958100000000, float 0x3FEF333340000000, float 0x3FEEC8B440000000, float 0x3FEE9FBE80000000, float 0x3FEE1CAC00000000, float 0x3FEC083120000000, float 0x3FEA8F5C20000000, float 0x3FEC6A7F00000000, float 0x3FEE147AE0000000, float 0x3FEAF1AA00000000, float 0x3FED3F7CE0000000, float 0x3FEF6C8B40000000, float 0x3FF0B43960000000], [27 x float] [float 0x3FEFCED920000000, float 0x3FEFCED920000000, float 0x3FEFBE76C0000000, float 0x3FEFAE1480000000, float 0x3FEFF7CEE0000000, float 0x3FEFEF9DC0000000, float 0x3FEFEF9DC0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEFF7CEE0000000, float 0x3FEE353F80000000, float 0x3FE61CAC00000000, float 0x3FE3AE1480000000, float 0x3FE14FDF40000000, float 0x3FDE147AE0000000, float 0x3FD9DB22E0000000, float 0x3FD624DD20000000, float 0x3FCCCCCCC0000000, float 0x3FE0FDF3C0000000, float 0x3FC24DD300000000, float 0x3FEFCED920000000, float 0x3FEFD70A40000000, float 0x3FC6E978E0000000, float 0x3FEFAE1480000000], [27 x float] [float 0x3FEEB851E0000000, float 0x3FEBCED920000000, float 0x3FE3645A20000000, float 0x3FEDEB8520000000, float 0x3FEC72B020000000, float 0x3FEF4BC6A0000000, float 0x3FE970A3E0000000, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, 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_F = [4 x i32] [i32 trunc (i64 sub (i64 ptrtoint ([4 x [7 x [27 x float]]]* @SHF_F.shf0 to i64), i64 ptrtoint ([4 x i32]* @reltable.SHF_F to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([4 x [7 x [27 x float]]]* @SHF_F.shf1 to i64), i64 ptrtoint ([4 x i32]* @reltable.SHF_F to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([4 x [7 x [27 x float]]]* @SHF_F.shf2 to i64), i64 ptrtoint ([4 x i32]* @reltable.SHF_F to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([4 x [7 x [27 x float]]]* @SHF_F.shf3 to i64), i64 ptrtoint ([4 x i32]* @reltable.SHF_F to i64)) to i32)]
define float @SHF_F(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_F to i8*), i64 %8)
%10 = bitcast i8* %9 to [4 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 [4 x [7 x [27 x float]]], [4 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
}