package float32

file_number 0 "/inputs/subtree/xls/dslx/stdlib/apfloat.x"
file_number 1 "/inputs/subtree/xls/dslx/stdlib/float32.x"
file_number 2 "/inputs/subtree/xls/dslx/stdlib/std.x"
file_number 3 "/inputs/subtree/xls/dslx/stdlib/abs_diff.x"

top fn __float32__fast_rsqrt(x: (bits[1], bits[8], bits[23]) id=1121) -> (bits[1], bits[8], bits[23]) {
  x_bexp__2: bits[8] = tuple_index(x, index=1, id=30226, pos=[(0,804,5), (0,809,27), (1,78,31), (1,396,30), (1,427,64)])
  literal.30233: bits[1] = literal(value=0, id=30233, pos=[(1,367,48), (1,399,20), (1,427,64)])
  bit_slice.31513: bits[7] = bit_slice(x_bexp__2, start=1, width=7, id=31513, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  concat.31514: bits[8] = concat(literal.30233, bit_slice.31513, id=31514, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  literal.31460: bits[8] = literal(value=63, id=31460, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  add.31430: bits[8] = add(concat.31514, literal.31460, id=31430, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.31515: bits[1] = bit_slice(x_bexp__2, start=0, width=1, id=31515, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  concat.31551: bits[10] = concat(literal.30233, add.31430, bit_slice.31515, id=31551, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  literal.30242: bits[10] = literal(value=897, id=30242, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  exp: bits[10] = add(concat.31551, literal.30242, id=30246, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  literal.30247: bits[10] = literal(value=0, id=30247, pos=[(0,3318,29), (1,367,48), (1,399,20), (1,427,64)])
  literal.31433: bits[1] = literal(value=1, id=31433, pos=[(0,3300,63), (1,367,48), (1,399,20), (1,427,64)])
  tuple_index.30229: bits[23] = tuple_index(x, index=2, id=30229, pos=[(0,809,4), (1,78,31), (1,396,30), (1,427,64)])
  literal.31435: bits[2] = literal(value=1, id=31435, pos=[(0,3346,48), (1,367,48), (1,399,20), (1,427,64)])
  sle.30251: bits[1] = sle(exp, literal.30247, id=30251, pos=[(0,3346,22), (1,367,48), (1,399,20), (1,427,64)])
  concat.31349: bits[25] = concat(literal.31433, tuple_index.30229, literal.30233, id=31349, pos=[(0,3300,63), (1,367,48), (1,399,20), (1,427,64)])
  concat.31351: bits[25] = concat(literal.31435, tuple_index.30229, id=31351, pos=[(0,3346,48), (1,367,48), (1,399,20), (1,427,64)])
  fraction__3_squeezed: bits[25] = sel(sle.30251, cases=[concat.31349, concat.31351], id=31076, pos=[(0,3346,19), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.31343: bits[1] = bit_slice(fraction__3_squeezed, start=0, width=1, id=31343, pos=[(0,3359,40), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.31345: bits[1] = bit_slice(fraction__3_squeezed, start=1, width=1, id=31345, pos=[(0,3363,45), (1,367,48), (1,399,20), (1,427,64)])
  fraction__5: bits[23] = bit_slice(fraction__3_squeezed, start=1, width=23, id=31341, pos=[(1,367,48), (1,399,20), (1,427,64)])
  literal.31584: bits[23] = literal(value=0, id=31584)
  and.30259: bits[1] = and(bit_slice.31343, bit_slice.31345, id=30259, pos=[(0,3363,23), (1,367,48), (1,399,20), (1,427,64)])
  fraction__6: bits[24] = concat(literal.30233, fraction__5, id=31418, pos=[(1,367,48), (1,399,20), (1,427,64)])
  concat.31648: bits[24] = concat(literal.31584, and.30259, id=31648)
  fraction__7: bits[24] = add(fraction__6, concat.31648, id=31060)
  bit_slice.30263: bits[1] = bit_slice(fraction__7, start=23, width=1, id=30263, pos=[(0,3374,25), (1,367,48), (1,399,20), (1,427,64)])
  exp_squeezed: bits[9] = bit_slice(exp, start=0, width=9, id=31653, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  concat.31677: bits[9] = concat(literal.30233, x_bexp__2, id=31677, pos=[(0,3374,33), (1,367,48), (1,399,20), (1,427,64)])
  exp__3_squeezed: bits[9] = sel(bit_slice.30263, cases=[exp_squeezed, concat.31677], id=31655, pos=[(0,3374,14), (1,367,48), (1,399,20), (1,427,64)])
  literal.31664: bits[9] = literal(value=0, id=31664, pos=[(0,3375,23), (1,367,48), (1,399,20), (1,427,64)])
  is_subnormal: bits[1] = sle(exp__3_squeezed, literal.31664, id=31659, pos=[(0,3375,23), (1,367,48), (1,399,20), (1,427,64)])
  not.31082: bits[1] = not(is_subnormal, id=31082, pos=[(0,3384,21), (1,367,48), (1,399,20), (1,427,64)])
  sign_ext.31083: bits[9] = sign_ext(not.31082, new_bit_count=9, id=31083, pos=[(0,3384,21), (1,367,48), (1,399,20), (1,427,64)])
  result_exp__1: bits[9] = and(exp__3_squeezed, sign_ext.31083, id=31084, pos=[(0,3384,21), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.30274: bits[8] = bit_slice(result_exp__1, start=0, width=8, id=30274, pos=[(0,3392,11), (1,367,48), (1,399,20), (1,427,64)])
  x_sign__1: bits[1] = tuple_index(x, index=0, id=30277, pos=[(0,809,60), (1,78,31), (1,396,30), (1,427,64)])
  bit_slice.30278: bits[22] = bit_slice(tuple_index.30229, start=1, width=22, id=30278, pos=[(1,398,50), (1,427,64)])
  bit_slice.30280: bits[1] = bit_slice(result_exp__1, start=8, width=1, id=30280, pos=[(0,3392,11), (1,367,48), (1,399,20), (1,427,64)])
  and_reduce.30281: bits[1] = and_reduce(bit_slice.30274, id=30281, pos=[(0,3392,11), (1,367,48), (1,399,20), (1,427,64)])
  MAGIC_NUMBER: bits[32] = literal(value=1597463007, id=30283, pos=[(1,393,25), (1,427,64)])
  concat.30284: bits[32] = concat(literal.30233, x_sign__1, x_bexp__2, bit_slice.30278, id=30284, pos=[(1,398,50), (1,427,64)])
  nor.31463: bits[1] = nor(bit_slice.30280, and_reduce.30281, is_subnormal, id=31463, pos=[(0,3397,26), (1,367,48), (1,399,20), (1,427,64)])
  or.30951: bits[1] = or(bit_slice.30280, and_reduce.30281, id=30951, pos=[(0,3404,21), (1,367,48), (1,399,20), (1,427,64)])
  high_exp: bits[8] = literal(value=255, id=30266, pos=[(0,96,29), (0,3402,28), (1,367,48), (1,399,20), (1,427,64)])
  sub.30288: bits[32] = sub(MAGIC_NUMBER, concat.30284, id=30288, pos=[(1,398,27), (1,427,64)])
  result_fraction: bits[23] = bit_slice(fraction__7, start=0, width=23, id=30286, pos=[(1,367,48), (1,399,20), (1,427,64)])
  sign_ext.31086: bits[23] = sign_ext(nor.31463, new_bit_count=23, id=31086, pos=[(0,3397,26), (1,367,48), (1,399,20), (1,427,64)])
  result_exp__4: bits[8] = sel(or.30951, cases=[bit_slice.30274, high_exp], id=30291, pos=[(0,3404,21), (1,367,48), (1,399,20), (1,427,64)])
  literal.31672: bits[8] = literal(value=0, id=31672, pos=[(0,3374,33), (1,367,48), (1,399,20), (1,427,64)])
  approx_bexp__1: bits[8] = bit_slice(sub.30288, start=23, width=8, id=30292, pos=[(1,61,65), (1,398,26), (1,427,64)])
  result_fraction__3: bits[23] = and(result_fraction, sign_ext.31086, id=31087, pos=[(0,3397,26), (1,367,48), (1,399,20), (1,427,64)])
  approx_fraction__2: bits[23] = bit_slice(sub.30288, start=0, width=23, id=30294, pos=[(1,61,65), (1,398,26), (1,427,64)])
  eq.30295: bits[1] = eq(result_exp__4, literal.31672, id=30295, pos=[(0,804,5), (0,3291,40), (1,367,48), (1,403,22), (1,427,64)])
  eq.30296: bits[1] = eq(approx_bexp__1, literal.31672, id=30296, pos=[(0,804,5), (0,3291,67), (1,367,48), (1,403,22), (1,427,64)])
  half_x_fraction__4: bits[24] = concat(literal.31433, result_fraction__3, id=30297, pos=[(0,3294,23), (1,367,48), (1,403,22), (1,427,64)])
  approx_fraction__4: bits[24] = concat(literal.31433, approx_fraction__2, id=30298, pos=[(0,3296,23), (1,367,48), (1,403,22), (1,427,64)])
  nor.31464: bits[1] = nor(eq.30295, eq.30296, id=31464, pos=[(0,3300,19), (1,367,48), (1,403,22), (1,427,64)])
  concat.30299: bits[9] = concat(literal.30233, result_exp__4, id=30299, pos=[(1,367,48), (1,403,22), (1,427,64)])
  concat.30300: bits[9] = concat(literal.30233, approx_bexp__1, id=30300, pos=[(1,367,48), (1,403,22), (1,427,64)])
  umul.30302: bits[48] = umul(half_x_fraction__4, approx_fraction__4, id=30302, pos=[(0,3300,63), (1,367,48), (1,403,22), (1,427,64)])
  sign_ext.31089: bits[48] = sign_ext(nor.31464, new_bit_count=48, id=31089, pos=[(0,3300,19), (1,367,48), (1,403,22), (1,427,64)])
  add.30303: bits[9] = add(concat.30299, concat.30300, id=30303, pos=[(0,3309,16), (1,367,48), (1,403,22), (1,427,64)])
  fraction__8: bits[48] = and(umul.30302, sign_ext.31089, id=31090, pos=[(0,3300,19), (1,367,48), (1,403,22), (1,427,64)])
  concat.30305: bits[10] = concat(literal.30233, add.30303, id=30305, pos=[(0,3309,16), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30306: bits[1] = bit_slice(fraction__8, start=47, width=1, id=30306, pos=[(0,3324,33), (1,367,48), (1,403,22), (1,427,64)])
  literal.30307: bits[47] = literal(value=0, id=30307, pos=[(1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30308: bits[1] = bit_slice(fraction__8, start=0, width=1, id=30308, pos=[(0,3329,25), (1,367,48), (1,403,22), (1,427,64)])
  exp__4: bits[10] = add(concat.30305, literal.30242, id=30309, pos=[(0,3309,16), (1,367,48), (1,403,22), (1,427,64)])
  sign_ext.31092: bits[10] = sign_ext(nor.31464, new_bit_count=10, id=31092, pos=[(0,3318,14), (1,367,48), (1,403,22), (1,427,64)])
  fraction__9: bits[48] = shrl(fraction__8, bit_slice.30306, id=30310, pos=[(0,3330,19), (1,367,48), (1,403,22), (1,427,64)])
  sticky__2: bits[48] = concat(literal.30307, bit_slice.30308, id=30311, pos=[(1,367,48), (1,403,22), (1,427,64)])
  exp__5: bits[10] = and(exp__4, sign_ext.31092, id=31093, pos=[(0,3318,14), (1,367,48), (1,403,22), (1,427,64)])
  concat.30313: bits[10] = concat(literal.31664, bit_slice.30306, id=30313, pos=[(1,367,48), (1,403,22), (1,427,64)])
  fraction__10: bits[48] = or(fraction__9, sticky__2, id=30314, pos=[(0,3331,19), (1,367,48), (1,403,22), (1,427,64)])
  exp__6: bits[10] = add(exp__5, concat.30313, id=30315, pos=[(0,3334,14), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30316: bits[47] = bit_slice(fraction__10, start=1, width=47, id=30316, pos=[(0,3346,48), (1,367,48), (1,403,22), (1,427,64)])
  sle.30317: bits[1] = sle(exp__6, literal.30247, id=30317, pos=[(0,3346,22), (1,367,48), (1,403,22), (1,427,64)])
  concat.30318: bits[48] = concat(literal.30233, bit_slice.30316, id=30318, pos=[(0,3346,48), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30319: bits[1] = bit_slice(fraction__10, start=0, width=1, id=30319, pos=[(0,3345,25), (1,367,48), (1,403,22), (1,427,64)])
  fraction__11: bits[48] = sel(sle.30317, cases=[fraction__10, concat.30318], id=30320, pos=[(0,3346,19), (1,367,48), (1,403,22), (1,427,64)])
  sticky__3: bits[48] = concat(literal.30307, bit_slice.30319, id=30321, pos=[(1,367,48), (1,403,22), (1,427,64)])
  fraction__12: bits[48] = or(fraction__11, sticky__3, id=30322, pos=[(0,3347,19), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30323: bits[22] = bit_slice(fraction__12, start=0, width=22, id=30323, pos=[(0,3360,41), (1,367,48), (1,403,22), (1,427,64)])
  literal.31008: bits[22] = literal(value=0, id=31008, pos=[(0,3346,48), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.30325: bits[1] = bit_slice(fraction__12, start=22, width=1, id=30325, pos=[(0,3359,40), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30326: bits[1] = bit_slice(fraction__12, start=23, width=1, id=30326, pos=[(0,3363,45), (1,367,48), (1,403,22), (1,427,64)])
  ne.30327: bits[1] = ne(bit_slice.30323, literal.31008, id=30327, pos=[(0,3360,41), (1,367,48), (1,403,22), (1,427,64)])
  not.30328: bits[1] = not(bit_slice.30325, id=30328, pos=[(0,3363,23), (1,367,48), (1,403,22), (1,427,64)])
  not.30329: bits[1] = not(bit_slice.30326, id=30329, pos=[(0,3363,23), (1,367,48), (1,403,22), (1,427,64)])
  greater_than_half_way__1: bits[1] = and(bit_slice.30325, ne.30327, id=30331, pos=[(0,3359,40), (1,367,48), (1,403,22), (1,427,64)])
  nor.30332: bits[1] = nor(not.30328, ne.30327, not.30329, id=30332, pos=[(0,3363,23), (1,367,48), (1,403,22), (1,427,64)])
  fraction__13: bits[23] = bit_slice(fraction__12, start=23, width=23, id=30330, pos=[(1,367,48), (1,403,22), (1,427,64)])
  do_round_up__1: bits[1] = or(greater_than_half_way__1, nor.30332, id=30334, pos=[(0,3362,22), (1,367,48), (1,403,22), (1,427,64)])
  fraction__14: bits[24] = concat(literal.30233, fraction__13, id=30333, pos=[(1,367,48), (1,403,22), (1,427,64)])
  concat.31649: bits[24] = concat(literal.31584, do_round_up__1, id=31649)
  fraction__15: bits[24] = add(fraction__14, concat.31649, id=31063)
  literal.30262: bits[10] = literal(value=1, id=30262, pos=[(0,3374,39), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.30337: bits[1] = bit_slice(fraction__15, start=23, width=1, id=30337, pos=[(0,3374,25), (1,367,48), (1,403,22), (1,427,64)])
  add.30338: bits[10] = add(exp__6, literal.30262, id=30338, pos=[(0,3374,33), (1,367,48), (1,403,22), (1,427,64)])
  exp__7: bits[10] = sel(bit_slice.30337, cases=[exp__6, add.30338], id=30339, pos=[(0,3374,14), (1,367,48), (1,403,22), (1,427,64)])
  is_subnormal__1: bits[1] = sle(exp__7, literal.30247, id=30344, pos=[(0,3375,23), (1,367,48), (1,403,22), (1,427,64)])
  not.31096: bits[1] = not(is_subnormal__1, id=31096, pos=[(0,3384,21), (1,367,48), (1,403,22), (1,427,64)])
  result_exp__2: bits[9] = bit_slice(exp__7, start=0, width=9, id=30345, pos=[(1,367,48), (1,403,22), (1,427,64)])
  sign_ext.31097: bits[9] = sign_ext(not.31096, new_bit_count=9, id=31097, pos=[(0,3384,21), (1,367,48), (1,403,22), (1,427,64)])
  eq.30341: bits[1] = eq(result_fraction__3, literal.31584, id=30341, pos=[(0,96,44), (0,3402,28), (1,367,48), (1,403,22), (1,427,64)])
  eq.30342: bits[1] = eq(approx_bexp__1, high_exp, id=30342, pos=[(0,96,6), (0,3402,62), (1,367,48), (1,403,22), (1,427,64)])
  eq.30343: bits[1] = eq(approx_fraction__2, literal.31584, id=30343, pos=[(0,96,44), (0,3402,62), (1,367,48), (1,403,22), (1,427,64)])
  result_exp__3: bits[9] = and(result_exp__2, sign_ext.31097, id=31098, pos=[(0,3384,21), (1,367,48), (1,403,22), (1,427,64)])
  and.30346: bits[1] = and(or.30951, eq.30341, id=30346, pos=[(0,96,6), (0,3402,28), (1,367,48), (1,403,22), (1,427,64)])
  and.30347: bits[1] = and(eq.30342, eq.30343, id=30347, pos=[(0,96,6), (0,3402,62), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30352: bits[8] = bit_slice(result_exp__3, start=0, width=8, id=30352, pos=[(0,3392,11), (1,367,48), (1,403,22), (1,427,64)])
  has_inf_arg__1: bits[1] = or(and.30346, and.30347, id=30351, pos=[(0,3402,28), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30356: bits[1] = bit_slice(result_exp__3, start=8, width=1, id=30356, pos=[(0,3392,11), (1,367,48), (1,403,22), (1,427,64)])
  and_reduce.30357: bits[1] = and_reduce(bit_slice.30352, id=30357, pos=[(0,3392,11), (1,367,48), (1,403,22), (1,427,64)])
  nor.31462: bits[1] = nor(bit_slice.30280, and_reduce.30281, id=31462, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,403,22), (1,427,64)])
  not.30350: bits[1] = not(eq.30342, id=30350, pos=[(0,71,6), (0,3401,62), (1,367,48), (1,403,22), (1,427,64)])
  has_0_arg__1: bits[1] = or(eq.30295, eq.30296, id=30301, pos=[(0,3291,40), (1,367,48), (1,403,22), (1,427,64)])
  or.30359: bits[1] = or(has_inf_arg__1, bit_slice.30356, and_reduce.30357, is_subnormal__1, id=30359, pos=[(0,3397,26), (1,367,48), (1,403,22), (1,427,64)])
  nor.30353: bits[1] = nor(nor.31462, eq.30341, id=30353, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,403,22), (1,427,64)])
  nor.30354: bits[1] = nor(not.30350, eq.30343, id=30354, pos=[(0,71,6), (0,3401,62), (1,367,48), (1,403,22), (1,427,64)])
  and.30355: bits[1] = and(has_0_arg__1, has_inf_arg__1, id=30355, pos=[(0,3403,40), (1,367,48), (1,403,22), (1,427,64)])
  not.31099: bits[1] = not(or.30359, id=31099, pos=[(0,3397,26), (1,367,48), (1,403,22), (1,427,64)])
  is_result_nan__1: bits[1] = or(nor.30353, nor.30354, and.30355, id=30358, pos=[(0,3403,24), (1,367,48), (1,403,22), (1,427,64)])
  result_fraction__1: bits[23] = bit_slice(fraction__15, start=0, width=23, id=30360, pos=[(1,367,48), (1,403,22), (1,427,64)])
  sign_ext.31100: bits[23] = sign_ext(not.31099, new_bit_count=23, id=31100, pos=[(0,3397,26), (1,367,48), (1,403,22), (1,427,64)])
  or.30361: bits[1] = or(is_result_nan__1, has_inf_arg__1, bit_slice.30356, and_reduce.30357, id=30361, pos=[(0,3404,21), (1,367,48), (1,403,22), (1,427,64)])
  result_fraction__2: bits[23] = and(result_fraction__1, sign_ext.31100, id=31101, pos=[(0,3397,26), (1,367,48), (1,403,22), (1,427,64)])
  nan_fraction: bits[23] = literal(value=4194304, id=30290, pos=[(0,3405,23), (1,367,48), (1,399,20), (1,427,64)])
  result_exp__5: bits[8] = sel(or.30361, cases=[bit_slice.30352, high_exp], id=30363, pos=[(0,3404,21), (1,367,48), (1,403,22), (1,427,64)])
  result_fraction__5: bits[23] = sel(is_result_nan__1, cases=[result_fraction__2, nan_fraction], id=30364, pos=[(0,3406,26), (1,367,48), (1,403,22), (1,427,64)])
  eq.30365: bits[1] = eq(result_exp__5, literal.31672, id=30365, pos=[(0,804,5), (0,3291,40), (1,367,48), (1,404,22), (1,427,64)])
  prod_fraction__3: bits[24] = concat(literal.31433, result_fraction__5, id=30366, pos=[(0,3294,23), (1,367,48), (1,404,22), (1,427,64)])
  nor.31465: bits[1] = nor(eq.30365, eq.30296, id=31465, pos=[(0,3300,19), (1,367,48), (1,404,22), (1,427,64)])
  concat.30367: bits[9] = concat(literal.30233, result_exp__5, id=30367, pos=[(1,367,48), (1,404,22), (1,427,64)])
  umul.30369: bits[48] = umul(prod_fraction__3, approx_fraction__4, id=30369, pos=[(0,3300,63), (1,367,48), (1,404,22), (1,427,64)])
  sign_ext.31103: bits[48] = sign_ext(nor.31465, new_bit_count=48, id=31103, pos=[(0,3300,19), (1,367,48), (1,404,22), (1,427,64)])
  add.30370: bits[9] = add(concat.30367, concat.30300, id=30370, pos=[(0,3309,16), (1,367,48), (1,404,22), (1,427,64)])
  fraction__16: bits[48] = and(umul.30369, sign_ext.31103, id=31104, pos=[(0,3300,19), (1,367,48), (1,404,22), (1,427,64)])
  concat.30372: bits[10] = concat(literal.30233, add.30370, id=30372, pos=[(0,3309,16), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30373: bits[1] = bit_slice(fraction__16, start=47, width=1, id=30373, pos=[(0,3324,33), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30374: bits[1] = bit_slice(fraction__16, start=0, width=1, id=30374, pos=[(0,3329,25), (1,367,48), (1,404,22), (1,427,64)])
  exp__8: bits[10] = add(concat.30372, literal.30242, id=30375, pos=[(0,3309,16), (1,367,48), (1,404,22), (1,427,64)])
  sign_ext.31106: bits[10] = sign_ext(nor.31465, new_bit_count=10, id=31106, pos=[(0,3318,14), (1,367,48), (1,404,22), (1,427,64)])
  fraction__17: bits[48] = shrl(fraction__16, bit_slice.30373, id=30376, pos=[(0,3330,19), (1,367,48), (1,404,22), (1,427,64)])
  sticky__4: bits[48] = concat(literal.30307, bit_slice.30374, id=30377, pos=[(1,367,48), (1,404,22), (1,427,64)])
  exp__9: bits[10] = and(exp__8, sign_ext.31106, id=31107, pos=[(0,3318,14), (1,367,48), (1,404,22), (1,427,64)])
  concat.30379: bits[10] = concat(literal.31664, bit_slice.30373, id=30379, pos=[(1,367,48), (1,404,22), (1,427,64)])
  fraction__18: bits[48] = or(fraction__17, sticky__4, id=30380, pos=[(0,3331,19), (1,367,48), (1,404,22), (1,427,64)])
  exp__10: bits[10] = add(exp__9, concat.30379, id=30381, pos=[(0,3334,14), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30382: bits[47] = bit_slice(fraction__18, start=1, width=47, id=30382, pos=[(0,3346,48), (1,367,48), (1,404,22), (1,427,64)])
  sle.30383: bits[1] = sle(exp__10, literal.30247, id=30383, pos=[(0,3346,22), (1,367,48), (1,404,22), (1,427,64)])
  concat.30384: bits[48] = concat(literal.30233, bit_slice.30382, id=30384, pos=[(0,3346,48), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30385: bits[1] = bit_slice(fraction__18, start=0, width=1, id=30385, pos=[(0,3345,25), (1,367,48), (1,404,22), (1,427,64)])
  fraction__19: bits[48] = sel(sle.30383, cases=[fraction__18, concat.30384], id=30386, pos=[(0,3346,19), (1,367,48), (1,404,22), (1,427,64)])
  sticky__5: bits[48] = concat(literal.30307, bit_slice.30385, id=30387, pos=[(1,367,48), (1,404,22), (1,427,64)])
  fraction__20: bits[48] = or(fraction__19, sticky__5, id=30388, pos=[(0,3347,19), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30389: bits[22] = bit_slice(fraction__20, start=0, width=22, id=30389, pos=[(0,3360,41), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30390: bits[1] = bit_slice(fraction__20, start=22, width=1, id=30390, pos=[(0,3359,40), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30391: bits[1] = bit_slice(fraction__20, start=23, width=1, id=30391, pos=[(0,3363,45), (1,367,48), (1,404,22), (1,427,64)])
  ne.30392: bits[1] = ne(bit_slice.30389, literal.31008, id=30392, pos=[(0,3360,41), (1,367,48), (1,404,22), (1,427,64)])
  not.30393: bits[1] = not(bit_slice.30390, id=30393, pos=[(0,3363,23), (1,367,48), (1,404,22), (1,427,64)])
  not.30394: bits[1] = not(bit_slice.30391, id=30394, pos=[(0,3363,23), (1,367,48), (1,404,22), (1,427,64)])
  greater_than_half_way__2: bits[1] = and(bit_slice.30390, ne.30392, id=30396, pos=[(0,3359,40), (1,367,48), (1,404,22), (1,427,64)])
  nor.30397: bits[1] = nor(not.30393, ne.30392, not.30394, id=30397, pos=[(0,3363,23), (1,367,48), (1,404,22), (1,427,64)])
  fraction__21: bits[23] = bit_slice(fraction__20, start=23, width=23, id=30395, pos=[(1,367,48), (1,404,22), (1,427,64)])
  do_round_up__2: bits[1] = or(greater_than_half_way__2, nor.30397, id=30399, pos=[(0,3362,22), (1,367,48), (1,404,22), (1,427,64)])
  fraction__22: bits[24] = concat(literal.30233, fraction__21, id=30398, pos=[(1,367,48), (1,404,22), (1,427,64)])
  concat.31650: bits[24] = concat(literal.31584, do_round_up__2, id=31650)
  fraction__23: bits[24] = add(fraction__22, concat.31650, id=31066)
  bit_slice.30402: bits[1] = bit_slice(fraction__23, start=23, width=1, id=30402, pos=[(0,3374,25), (1,367,48), (1,404,22), (1,427,64)])
  add.30403: bits[10] = add(exp__10, literal.30262, id=30403, pos=[(0,3374,33), (1,367,48), (1,404,22), (1,427,64)])
  exp__11: bits[10] = sel(bit_slice.30402, cases=[exp__10, add.30403], id=30406, pos=[(0,3374,14), (1,367,48), (1,404,22), (1,427,64)])
  is_subnormal__2: bits[1] = sle(exp__11, literal.30247, id=30408, pos=[(0,3375,23), (1,367,48), (1,404,22), (1,427,64)])
  eq.30405: bits[1] = eq(result_fraction__5, literal.31584, id=30405, pos=[(0,96,44), (0,3402,28), (1,367,48), (1,404,22), (1,427,64)])
  not.31110: bits[1] = not(is_subnormal__2, id=31110, pos=[(0,3384,21), (1,367,48), (1,404,22), (1,427,64)])
  and.30407: bits[1] = and(or.30361, eq.30405, id=30407, pos=[(0,96,6), (0,3402,28), (1,367,48), (1,404,22), (1,427,64)])
  result_exp__6: bits[9] = bit_slice(exp__11, start=0, width=9, id=30409, pos=[(1,367,48), (1,404,22), (1,427,64)])
  sign_ext.31111: bits[9] = sign_ext(not.31110, new_bit_count=9, id=31111, pos=[(0,3384,21), (1,367,48), (1,404,22), (1,427,64)])
  not.30410: bits[1] = not(or.30361, id=30410, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,404,22), (1,427,64)])
  has_0_arg__2: bits[1] = or(eq.30365, eq.30296, id=30368, pos=[(0,3291,40), (1,367,48), (1,404,22), (1,427,64)])
  has_inf_arg__2: bits[1] = or(and.30407, and.30347, id=30411, pos=[(0,3402,28), (1,367,48), (1,404,22), (1,427,64)])
  result_exp__7: bits[9] = and(result_exp__6, sign_ext.31111, id=31112, pos=[(0,3384,21), (1,367,48), (1,404,22), (1,427,64)])
  nor.30413: bits[1] = nor(not.30410, eq.30405, id=30413, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,404,22), (1,427,64)])
  and.30414: bits[1] = and(has_0_arg__2, has_inf_arg__2, id=30414, pos=[(0,3403,40), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30415: bits[8] = bit_slice(result_exp__7, start=0, width=8, id=30415, pos=[(0,3392,11), (1,367,48), (1,404,22), (1,427,64)])
  is_result_nan__2: bits[1] = or(nor.30413, nor.30354, and.30414, id=30416, pos=[(0,3403,24), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30417: bits[1] = bit_slice(result_exp__7, start=8, width=1, id=30417, pos=[(0,3392,11), (1,367,48), (1,404,22), (1,427,64)])
  and_reduce.30418: bits[1] = and_reduce(bit_slice.30415, id=30418, pos=[(0,3392,11), (1,367,48), (1,404,22), (1,427,64)])
  or.30419: bits[1] = or(is_result_nan__2, has_inf_arg__2, bit_slice.30417, and_reduce.30418, id=30419, pos=[(0,3404,21), (1,367,48), (1,404,22), (1,427,64)])
  result_exp__8: bits[8] = sel(or.30419, cases=[bit_slice.30415, high_exp], id=30420, pos=[(0,3404,21), (1,367,48), (1,404,22), (1,427,64)])
  nprod_bexpnot: bits[8] = not(result_exp__8, id=30421, pos=[(3,90,15), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  nprod_bexpnot_extended: bits[9] = concat(literal.30233, nprod_bexpnot, id=30422, pos=[(3,91,63), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVE_bexp_extended__2: bits[9] = literal(value=127, id=30423, pos=[(3,91,63), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  or.30426: bits[1] = or(has_inf_arg__2, bit_slice.30417, and_reduce.30418, is_subnormal__2, id=30426, pos=[(0,3397,26), (1,367,48), (1,404,22), (1,427,64)])
  full_result__1: bits[9] = add(nprod_bexpnot_extended, ONE_POINT_FIVE_bexp_extended__2, id=30424, pos=[(2,1120,45), (3,91,63), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  not.31113: bits[1] = not(or.30426, id=31113, pos=[(0,3397,26), (1,367,48), (1,404,22), (1,427,64)])
  overflow_detected: bits[1] = bit_slice(full_result__1, start=8, width=1, id=30428, pos=[(2,1122,49), (3,91,63), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__6: bits[23] = bit_slice(fraction__23, start=0, width=23, id=30427, pos=[(1,367,48), (1,404,22), (1,427,64)])
  sign_ext.31114: bits[23] = sign_ext(not.31113, new_bit_count=23, id=31114, pos=[(0,3397,26), (1,367,48), (1,404,22), (1,427,64)])
  ONE_POINT_FIVE_bexp__2: bits[8] = literal(value=127, id=30435, pos=[(0,3091,59), (1,363,48), (1,406,22), (1,427,64)])
  nc: bits[1] = not(overflow_detected, id=30923, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  or.30921: bits[1] = or(overflow_detected, is_result_nan__2, id=30921, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__7: bits[23] = and(result_fraction__6, sign_ext.31114, id=31115, pos=[(0,3397,26), (1,367,48), (1,404,22), (1,427,64)])
  ONE_POINT_FIVE_bexp__3: bits[8] = sel(overflow_detected, cases=[result_exp__8, ONE_POINT_FIVE_bexp__2], id=30441, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  or.30924: bits[1] = or(nc, is_result_nan__2, id=30924, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  nprod_bexp: bits[8] = sel(overflow_detected, cases=[ONE_POINT_FIVE_bexp__2, result_exp__8], id=30443, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  approx_sign__2: bits[1] = bit_slice(sub.30288, start=31, width=1, id=30430, pos=[(0,378,15), (1,61,65), (1,398,26), (1,427,64)])
  ONE_POINT_FIVE_fraction__1: bits[23] = sel(or.30921, cases=[result_fraction__7, nan_fraction], id=30922, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  ne.31459: bits[1] = ne(ONE_POINT_FIVE_bexp__3, literal.31672, id=31459, pos=[(0,3099,21), (1,363,48), (1,406,22), (1,427,64)])
  nprod_fraction: bits[23] = sel(or.30924, cases=[result_fraction__7, nan_fraction], id=30925, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  ne.31458: bits[1] = ne(nprod_bexp, literal.31672, id=31458, pos=[(0,3100,21), (1,363,48), (1,406,22), (1,427,64)])
  not.30433: bits[1] = not(is_result_nan__1, id=30433, pos=[(0,3407,22), (1,367,48), (1,403,22), (1,427,64)])
  result_sign__2: bits[1] = xor(x_sign__1, approx_sign__2, id=30434, pos=[(0,3378,23), (1,367,48), (1,403,22), (1,427,64)])
  fraction_x: bits[24] = concat(literal.31433, ONE_POINT_FIVE_fraction__1, id=30450, pos=[(0,3095,22), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.31117: bits[24] = sign_ext(ne.31459, new_bit_count=24, id=31117, pos=[(0,3099,21), (1,363,48), (1,406,22), (1,427,64)])
  fraction_y: bits[24] = concat(literal.31433, nprod_fraction, id=30453, pos=[(0,3096,22), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.31120: bits[24] = sign_ext(ne.31458, new_bit_count=24, id=31120, pos=[(0,3100,21), (1,363,48), (1,406,22), (1,427,64)])
  narrowed_result: bits[8] = bit_slice(full_result__1, start=0, width=8, id=30437, pos=[(3,91,63), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVE_bexpor_mask__1: bits[8] = sign_ext(nc, new_bit_count=8, id=30438, pos=[(3,94,32), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  literal.30439: bits[7] = literal(value=0, id=30439, pos=[(0,3010,68), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  result_sign__3: bits[1] = and(not.30433, result_sign__2, id=30440, pos=[(0,3407,22), (1,367,48), (1,403,22), (1,427,64)])
  fraction_x__1: bits[24] = and(fraction_x, sign_ext.31117, id=31118, pos=[(0,3099,21), (1,363,48), (1,406,22), (1,427,64)])
  fraction_y__1: bits[24] = and(fraction_y, sign_ext.31120, id=31121, pos=[(0,3100,21), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVEddend_x__2_squeezed_const_lsb_bits: bits[3] = literal(value=0, id=30459, pos=[(0,3104,17), (1,363,48), (1,406,22), (1,427,64)])
  result__5: bits[8] = xor(narrowed_result, ONE_POINT_FIVE_bexpor_mask__1, id=30445, pos=[(3,95,18), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  concat.30446: bits[8] = concat(literal.30439, overflow_detected, id=30446, pos=[(0,3010,68), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  not.30447: bits[1] = not(is_result_nan__2, id=30447, pos=[(0,3407,22), (1,367,48), (1,404,22), (1,427,64)])
  result_sign__4: bits[1] = xor(result_sign__3, approx_sign__2, id=30448, pos=[(0,3378,23), (1,367,48), (1,404,22), (1,427,64)])
  wide_x_squeezed: bits[25] = concat(literal.30233, fraction_x__1, id=30462, pos=[(0,3103,17), (1,363,48), (1,406,22), (1,427,64)])
  wide_y_shift_bits: bits[27] = concat(fraction_y__1, ONE_POINT_FIVEddend_x__2_squeezed_const_lsb_bits, id=30463, pos=[(0,3116,31), (1,363,48), (1,406,22), (1,427,64)])
  shift: bits[8] = add(result__5, concat.30446, id=30455, pos=[(3,54,7), (0,3010,68), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  literal.30454: bits[28] = literal(value=268435455, id=30454, pos=[(2,1412,19), (2,1502,17), (2,1529,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  result_sign__5: bits[1] = and(not.30447, result_sign__4, id=30456, pos=[(0,3407,22), (1,367,48), (1,404,22), (1,427,64)])
  neg.30468: bits[25] = neg(wide_x_squeezed, id=30468, pos=[(0,3110,41), (1,363,48), (1,406,22), (1,427,64)])
  shrl.30469: bits[27] = shrl(wide_y_shift_bits, shift, id=30469, pos=[(0,3116,31), (1,363,48), (1,406,22), (1,427,64)])
  not.31561: bits[23] = not(nprod_fraction, id=31561, pos=[(2,1412,4), (2,1502,17), (2,1529,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  shll.30460: bits[28] = shll(literal.30454, shift, id=30460, pos=[(2,1412,19), (2,1502,17), (2,1529,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVEddend_x__2_squeezed: bits[25] = sel(result_sign__5, cases=[neg.30468, wide_x_squeezed], id=31124, pos=[(0,3110,19), (1,363,48), (1,406,22), (1,427,64)])
  literal.30477: bits[2] = literal(value=0, id=30477, pos=[(1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31549: bits[24] = bit_slice(shrl.30469, start=3, width=24, id=31549, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  concat.31564: bits[24] = concat(literal.30233, not.31561, id=31564, pos=[(2,1412,4), (2,1502,17), (2,1529,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  not.31468: bits[24] = not(sign_ext.31120, id=31468, pos=[(2,1412,4), (2,1502,17), (2,1529,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30465: bits[24] = bit_slice(shll.30460, start=3, width=24, id=30465, pos=[(2,1412,19), (2,1502,17), (2,1529,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.31522: bits[26] = sign_ext(ONE_POINT_FIVEddend_x__2_squeezed, new_bit_count=26, id=31522, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  concat.31524: bits[26] = concat(literal.30477, bit_slice.31549, id=31524, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  nor.31469: bits[24] = nor(concat.31564, not.31468, bit_slice.30465, id=31469, pos=[(2,1412,4), (2,1502,17), (2,1529,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  literal.30451: bits[24] = literal(value=0, id=30451, pos=[(0,3099,49), (1,363,48), (1,406,22), (1,427,64)])
  add.31443: bits[26] = add(sign_ext.31522, concat.31524, id=31443, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30474: bits[1] = bit_slice(shrl.30469, start=0, width=1, id=30474, pos=[(0,3053,40), (0,3116,30), (1,363,48), (1,406,22), (1,427,64)])
  sticky__6: bits[1] = ne(nor.31469, literal.30451, id=30475, pos=[(2,1502,17), (2,1529,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31507: bits[25] = bit_slice(add.31443, start=0, width=25, id=31507, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31550: bits[2] = bit_slice(shrl.30469, start=1, width=2, id=31550, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  or.30479: bits[1] = or(bit_slice.30474, sticky__6, id=30479, pos=[(0,3053,40), (0,3116,30), (1,363,48), (1,406,22), (1,427,64)])
  concat.31558: bits[28] = concat(bit_slice.31507, bit_slice.31550, or.30479, id=31558, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31509: bits[1] = bit_slice(add.31443, start=25, width=1, id=31509, pos=[(0,3130,12), (1,363,48), (1,406,22), (1,427,64)])
  neg.30485: bits[28] = neg(concat.31558, id=30485, pos=[(0,3130,46), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVEbs_fraction__1: bits[28] = sel(bit_slice.31509, cases=[concat.31558, neg.30485], id=30486, pos=[(0,3130,9), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30574: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=4, width=1, id=30574, pos=[(2,1591,70), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30550: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=6, width=1, id=30550, pos=[(2,1591,70), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30547: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=11, width=1, id=30547, pos=[(2,1591,40), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30525: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=10, width=1, id=30525, pos=[(2,1591,70), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30570: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=9, width=1, id=30570, pos=[(2,1591,40), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30549: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=8, width=1, id=30549, pos=[(2,1591,70), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30524: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=12, width=1, id=30524, pos=[(2,1591,70), (2,1596,64), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30504: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=14, width=1, id=30504, pos=[(2,1591,70), (2,1596,34), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30501: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=19, width=1, id=30501, pos=[(2,1591,40), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30492: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=18, width=1, id=30492, pos=[(2,1591,70), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30520: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=17, width=1, id=30520, pos=[(2,1591,40), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30503: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=16, width=1, id=30503, pos=[(2,1591,70), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  carry_bit: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=27, width=1, id=30488, pos=[(2,1591,40), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30487: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=26, width=1, id=30487, pos=[(2,1591,70), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30496: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=25, width=1, id=30496, pos=[(2,1591,40), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30490: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=24, width=1, id=30490, pos=[(2,1591,70), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30498: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=23, width=1, id=30498, pos=[(2,1591,40), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30491: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=22, width=1, id=30491, pos=[(2,1591,70), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30515: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=21, width=1, id=30515, pos=[(2,1591,40), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30500: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=20, width=1, id=30500, pos=[(2,1591,70), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30572: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=7, width=1, id=30572, pos=[(2,1591,40), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30594: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=5, width=1, id=30594, pos=[(2,1591,40), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30595: bits[1] = not(bit_slice.30574, id=30595, pos=[(2,1584,4), (2,1591,64), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30573: bits[1] = not(bit_slice.30550, id=30573, pos=[(2,1584,4), (2,1591,64), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.31015: bits[1] = or(bit_slice.30547, bit_slice.30525, id=31015, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30589: bits[1] = nor(bit_slice.30570, bit_slice.30549, id=30589, pos=[(2,1591,22), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30568: bits[1] = nor(bit_slice.30547, bit_slice.30525, id=30568, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30548: bits[1] = not(bit_slice.30525, id=30548, pos=[(2,1584,4), (2,1591,64), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30571: bits[1] = not(bit_slice.30549, id=30571, pos=[(2,1584,4), (2,1591,64), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30522: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=15, width=1, id=30522, pos=[(2,1591,40), (2,1596,34), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30545: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=13, width=1, id=30545, pos=[(2,1591,40), (2,1596,64), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30546: bits[1] = not(bit_slice.30524, id=30546, pos=[(2,1584,4), (2,1591,64), (2,1596,64), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30523: bits[1] = not(bit_slice.30504, id=30523, pos=[(2,1584,4), (2,1591,64), (2,1596,34), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.31016: bits[1] = or(bit_slice.30501, bit_slice.30492, id=31016, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30540: bits[1] = nor(bit_slice.30520, bit_slice.30503, id=30540, pos=[(2,1591,22), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30518: bits[1] = nor(bit_slice.30501, bit_slice.30492, id=30518, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.31629: bits[1] = not(bit_slice.30492, id=31629, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30521: bits[1] = not(bit_slice.30503, id=30521, pos=[(2,1584,4), (2,1591,64), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30494: bits[1] = nor(carry_bit, bit_slice.30487, id=30494, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30510: bits[1] = nor(bit_slice.30496, bit_slice.30490, id=30510, pos=[(2,1591,22), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.31018: bits[1] = or(carry_bit, bit_slice.30487, id=31018, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.31633: bits[1] = not(bit_slice.30487, id=31633, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30497: bits[1] = not(bit_slice.30490, id=30497, pos=[(2,1584,4), (2,1591,64), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.31019: bits[1] = or(bit_slice.30498, bit_slice.30491, id=31019, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30534: bits[1] = nor(bit_slice.30515, bit_slice.30500, id=30534, pos=[(2,1591,22), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30513: bits[1] = nor(bit_slice.30498, bit_slice.30491, id=30513, pos=[(2,1591,22), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30499: bits[1] = not(bit_slice.30491, id=30499, pos=[(2,1584,4), (2,1591,64), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30516: bits[1] = not(bit_slice.30500, id=30516, pos=[(2,1584,4), (2,1591,64), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30616: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=3, width=1, id=30616, pos=[(2,1591,40), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30596: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=2, width=1, id=30596, pos=[(2,1591,70), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30640: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=1, width=1, id=30640, pos=[(2,1591,40), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30618: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=0, width=1, id=30618, pos=[(2,1591,70), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.31014: bits[1] = or(bit_slice.30572, bit_slice.30550, id=31014, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30614: bits[1] = nor(bit_slice.30594, bit_slice.30574, id=30614, pos=[(2,1591,22), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30613: bits[1] = nor(bit_slice.30594, not.30595, id=30613, pos=[(2,1591,22), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30592: bits[1] = nor(bit_slice.30572, bit_slice.30550, id=30592, pos=[(2,1591,22), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30591: bits[1] = nor(bit_slice.30572, not.30573, id=30591, pos=[(2,1591,22), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30671: bits[1] = nor(or.31015, nor.30589, id=30671, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30672: bits[1] = and(nor.30568, nor.30589, id=30672, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30567: bits[1] = nor(bit_slice.30547, not.30548, id=30567, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30588: bits[1] = nor(bit_slice.30570, not.30571, id=30588, pos=[(2,1591,22), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.31017: bits[1] = or(bit_slice.30522, bit_slice.30504, id=31017, pos=[(2,1596,22), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30565: bits[1] = nor(bit_slice.30545, bit_slice.30524, id=30565, pos=[(2,1591,22), (2,1596,64), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30564: bits[1] = nor(bit_slice.30545, not.30546, id=30564, pos=[(2,1591,22), (2,1596,64), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30543: bits[1] = nor(bit_slice.30522, bit_slice.30504, id=30543, pos=[(2,1591,22), (2,1596,34), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30542: bits[1] = nor(bit_slice.30522, not.30523, id=30542, pos=[(2,1591,22), (2,1596,34), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30626: bits[1] = nor(or.31016, nor.30540, id=30626, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30627: bits[1] = and(nor.30518, nor.30540, id=30627, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.31630: bits[1] = nor(bit_slice.30501, not.31629, id=31630, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30539: bits[1] = nor(bit_slice.30520, not.30521, id=30539, pos=[(2,1591,22), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30598: bits[1] = and(nor.30494, nor.30510, id=30598, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30597: bits[1] = nor(or.31018, nor.30510, id=30597, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.31634: bits[1] = nor(carry_bit, not.31633, id=31634, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30509: bits[1] = nor(bit_slice.30496, not.30497, id=30509, pos=[(2,1591,22), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30623: bits[1] = nor(or.31019, nor.30534, id=30623, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30624: bits[1] = and(nor.30513, nor.30534, id=30624, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30512: bits[1] = nor(bit_slice.30498, not.30499, id=30512, pos=[(2,1591,22), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30533: bits[1] = nor(bit_slice.30515, not.30516, id=30533, pos=[(2,1591,22), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.31013: bits[1] = or(bit_slice.30616, bit_slice.30596, id=31013, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30662: bits[1] = nor(bit_slice.30640, bit_slice.30618, id=30662, pos=[(2,1591,22), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30638: bits[1] = nor(bit_slice.30616, bit_slice.30596, id=30638, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30617: bits[1] = not(bit_slice.30596, id=30617, pos=[(2,1584,4), (2,1591,64), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30641: bits[1] = not(bit_slice.30618, id=30641, pos=[(2,1584,4), (2,1591,64), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30688: bits[1] = nor(or.31014, nor.30614, id=30688, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30998: bits[2] = concat(literal.31433, nor.30613, id=30998, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31232: bits[2] = concat(nor.30592, nor.30591, id=31232, pos=[(2,1591,22), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30684: bits[2] = concat(nor.30671, and.30672, id=30684, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31425: bits[2] = concat(nor.30567, literal.30233, id=31425, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31390: bits[2] = concat(literal.31433, nor.30588, id=31390, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31223: bits[2] = concat(nor.30568, nor.30567, id=31223, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30651: bits[1] = nor(or.31017, nor.30565, id=30651, pos=[(2,1596,22), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30993: bits[2] = concat(literal.31433, nor.30564, id=30993, pos=[(2,1596,22), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31214: bits[2] = concat(nor.30543, nor.30542, id=31214, pos=[(2,1591,22), (2,1596,34), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30647: bits[2] = concat(nor.30626, and.30627, id=30647, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31424: bits[2] = concat(nor.31630, literal.30233, id=31424, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31381: bits[2] = concat(literal.31433, nor.30539, id=31381, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31205: bits[2] = concat(nor.30518, nor.31630, id=31205, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30680: bits[1] = not(and.30598, id=30680, pos=[(2,1601,22), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30619: bits[2] = concat(nor.30597, and.30598, id=30619, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31423: bits[2] = concat(nor.31634, literal.30233, id=31423, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31374: bits[2] = concat(literal.31433, nor.30509, id=31374, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31187: bits[2] = concat(literal.30233, nor.31634, id=31187, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30643: bits[2] = concat(nor.30623, and.30624, id=30643, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30986: bits[2] = concat(nor.30512, literal.30233, id=30986, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30988: bits[2] = concat(literal.31433, nor.30533, id=30988, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31196: bits[2] = concat(nor.30513, nor.30512, id=31196, pos=[(2,1591,22), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30714: bits[1] = nor(or.31013, nor.30662, id=30714, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30715: bits[1] = and(nor.30638, nor.30662, id=30715, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30637: bits[1] = nor(bit_slice.30616, not.30617, id=30637, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30661: bits[1] = nor(bit_slice.30640, not.30641, id=30661, pos=[(2,1591,22), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30722: bits[1] = not(and.30672, id=30722, pos=[(2,1601,22), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30689: bits[1] = and(nor.30592, nor.30614, id=30689, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31028: bits[2] = priority_sel(nor.30688, cases=[concat.30998], default=concat.31232, id=31028, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31263: bits[2] = priority_sel(concat.30684, cases=[concat.31425, concat.31390], default=concat.31223, id=31263, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30696: bits[1] = not(and.30627, id=30696, pos=[(2,1601,22), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30652: bits[1] = and(nor.30543, nor.30565, id=30652, pos=[(2,1596,22), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31129: bits[2] = priority_sel(nor.30651, cases=[concat.30993], default=concat.31214, id=31129, pos=[(2,1596,22), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31245: bits[2] = priority_sel(concat.30647, cases=[concat.31424, concat.31381], default=concat.31205, id=31245, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30693: bits[1] = nor(not.30680, and.30624, id=30693, pos=[(2,1601,22), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30694: bits[1] = and(and.30598, and.30624, id=30694, pos=[(2,1601,22), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31236: bits[2] = priority_sel(concat.30619, cases=[concat.31423, concat.31374], default=concat.31187, id=31236, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.30970: bits[2] = priority_sel(concat.30643, cases=[concat.30986, concat.30988], default=concat.31196, id=30970, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30724: bits[2] = concat(nor.30714, and.30715, id=30724, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31427: bits[2] = concat(nor.30637, literal.30233, id=31427, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31404: bits[2] = concat(literal.31433, nor.30661, id=31404, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31259: bits[2] = concat(nor.30638, nor.30637, id=31259, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30730: bits[1] = nor(not.30722, and.30689, id=30730, pos=[(2,1601,22), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31356: bits[3] = concat(literal.31433, priority_sel.31028, id=31356, pos=[(2,1541,24), (2,1601,22), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31268: bits[3] = concat(and.30672, priority_sel.31263, id=31268, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30709: bits[1] = nor(not.30696, and.30652, id=30709, pos=[(2,1601,22), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31003: bits[3] = concat(literal.31433, priority_sel.31129, id=31003, pos=[(2,1601,22), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31250: bits[3] = concat(and.30627, priority_sel.31245, id=31250, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30705: bits[2] = concat(nor.30693, and.30694, id=30705, pos=[(2,1601,22), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31426: bits[3] = concat(priority_sel.31236, literal.30233, id=31426, pos=[(2,1601,22), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31397: bits[3] = concat(literal.31433, priority_sel.30970, id=31397, pos=[(2,1601,22), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31241: bits[3] = concat(literal.30233, priority_sel.31236, id=31241, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31281: bits[2] = priority_sel(concat.30724, cases=[concat.31427, concat.31404], default=concat.31259, id=31281, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31132: bits[3] = priority_sel(nor.30730, cases=[concat.31356], default=concat.31268, id=31132, pos=[(2,1601,22), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30734: bits[1] = not(and.30694, id=30734, pos=[(2,1606,22), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30710: bits[1] = and(and.30627, and.30652, id=30710, pos=[(2,1601,22), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31030: bits[3] = priority_sel(nor.30709, cases=[concat.31003], default=concat.31250, id=31030, pos=[(2,1601,22), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31272: bits[3] = priority_sel(concat.30705, cases=[concat.31426, concat.31397], default=concat.31241, id=31272, pos=[(2,1601,22), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30731: bits[1] = and(and.30672, and.30689, id=30731, pos=[(2,1601,22), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31419: bits[4] = concat(literal.31433, and.30715, priority_sel.31281, id=31419, pos=[(2,1606,22), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31421: bits[4] = concat(literal.30233, priority_sel.31132, id=31421, pos=[(2,1601,22), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30742: bits[1] = nor(not.30734, and.30710, id=30742, pos=[(2,1606,22), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31359: bits[4] = concat(literal.31433, priority_sel.31030, id=31359, pos=[(2,1541,24), (2,1606,22), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31277: bits[4] = concat(and.30694, priority_sel.31272, id=31277, pos=[(2,1601,22), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.30754: bits[4] = priority_sel(and.30731, cases=[concat.31419], default=concat.31421, id=30754, pos=[(2,1606,22), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31138: bits[4] = priority_sel(nor.30742, cases=[concat.31359], default=concat.31277, id=31138, pos=[(2,1606,22), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30743: bits[1] = and(and.30694, and.30710, id=30743, pos=[(2,1606,22), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30756: bits[5] = concat(literal.31433, priority_sel.30754, id=30756, pos=[(2,1611,22), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31422: bits[5] = concat(literal.30233, priority_sel.31138, id=31422, pos=[(2,1606,22), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30757: bits[29] = concat(literal.30233, ONE_POINT_FIVEbs_fraction__1, id=30757, pos=[(1,363,48), (1,406,22), (1,427,64)])
  leading_zeroes: bits[5] = priority_sel(and.30743, cases=[concat.30756], default=concat.31422, id=30758, pos=[(2,1611,22), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  cancel_fraction: bits[29] = shll(concat.30757, leading_zeroes, id=30759, pos=[(0,3144,26), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30760: bits[26] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=2, width=26, id=30760, pos=[(0,3053,20), (0,3137,36), (1,363,48), (1,406,22), (1,427,64)])
  or.30761: bits[1] = or(bit_slice.30640, bit_slice.30618, id=30761, pos=[(0,3053,40), (0,3137,36), (1,363,48), (1,406,22), (1,427,64)])
  cancel_fraction__1: bits[27] = bit_slice(cancel_fraction, start=1, width=27, id=30762, pos=[(1,363,48), (1,406,22), (1,427,64)])
  carry_fraction__1: bits[27] = concat(bit_slice.30760, or.30761, id=30763, pos=[(0,3053,20), (0,3137,36), (1,363,48), (1,406,22), (1,427,64)])
  shifted_fraction: bits[27] = sel(carry_bit, cases=[cancel_fraction__1, carry_fraction__1], id=30764, pos=[(0,3146,27), (1,363,48), (1,406,22), (1,427,64)])
  normal_chunk: bits[3] = bit_slice(shifted_fraction, start=0, width=3, id=30765, pos=[(0,3158,39), (1,363,48), (1,406,22), (1,427,64)])
  fraction_shift__3: bits[3] = literal(value=4, id=30741, pos=[(2,1601,22), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  half_way_chunk: bits[2] = bit_slice(shifted_fraction, start=2, width=2, id=30766, pos=[(0,3159,41), (1,363,48), (1,406,22), (1,427,64)])
  literal.30767: bits[2] = literal(value=3, id=30767, pos=[(0,3160,68), (1,363,48), (1,406,22), (1,427,64)])
  ugt.30768: bits[1] = ugt(normal_chunk, fraction_shift__3, id=30768, pos=[(0,3160,23), (1,363,48), (1,406,22), (1,427,64)])
  eq.30769: bits[1] = eq(half_way_chunk, literal.30767, id=30769, pos=[(0,3160,50), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31527: bits[24] = bit_slice(shifted_fraction, start=3, width=24, id=31527)
  do_round_up__3: bits[1] = or(ugt.30768, eq.30769, id=30772, pos=[(0,3160,23), (1,363,48), (1,406,22), (1,427,64)])
  concat.31528: bits[25] = concat(literal.30233, bit_slice.31527, id=31528)
  concat.31651: bits[25] = concat(literal.30451, do_round_up__3, id=31651)
  add.31455: bits[25] = add(concat.31528, concat.31651, id=31455)
  literal.30775: bits[5] = literal(value=0, id=30775, pos=[(1,363,48), (1,406,22), (1,427,64)])
  rounding_carry: bits[1] = bit_slice(add.31455, start=24, width=1, id=31511, pos=[(0,3168,41), (1,363,48), (1,406,22), (1,427,64)])
  literal.31606: bits[26] = literal(value=0, id=31606, pos=[(0,3121,39), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31645: bits[1] = bit_slice(shrl.30469, start=1, width=1, id=31645, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31646: bits[1] = bit_slice(shrl.30469, start=2, width=1, id=31646, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  concat.30777: bits[9] = concat(literal.30233, ONE_POINT_FIVE_bexp__3, id=30777, pos=[(1,363,48), (1,406,22), (1,427,64)])
  literal.30778: bits[9] = literal(value=1, id=30778, pos=[(0,3180,24), (1,363,48), (1,406,22), (1,427,64)])
  concat.31552: bits[6] = concat(literal.30775, rounding_carry, id=31552, pos=[(1,363,48), (1,406,22), (1,427,64)])
  concat.30780: bits[6] = concat(literal.30233, leading_zeroes, id=30780, pos=[(1,363,48), (1,406,22), (1,427,64)])
  eq.31576: bits[1] = eq(add.31443, literal.31606, id=31576, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  nor.31636: bits[1] = nor(bit_slice.31645, bit_slice.31646, id=31636, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  nor.31637: bits[1] = nor(bit_slice.30474, sticky__6, id=31637, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  add.30781: bits[9] = add(concat.30777, literal.30778, id=30781, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  sub.30782: bits[6] = sub(concat.31552, concat.30780, id=30782, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  fraction_is_zero: bits[1] = and(eq.31576, nor.31636, nor.31637, id=31622, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent_associative_element: bits[10] = concat(literal.30233, add.30781, id=30784, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent_associative_element__1: bits[10] = sign_ext(sub.30782, new_bit_count=10, id=30785, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  not.31144: bits[1] = not(fraction_is_zero, id=31144, pos=[(0,3181,24), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent: bits[10] = add(wide_exponent_associative_element, wide_exponent_associative_element__1, id=30787, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.31145: bits[10] = sign_ext(not.31144, new_bit_count=10, id=31145, pos=[(0,3181,24), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent__1: bits[10] = and(wide_exponent, sign_ext.31145, id=31146, pos=[(0,3181,24), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30793: bits[1] = bit_slice(wide_exponent__1, start=9, width=1, id=30793, pos=[(0,3184,27), (1,363,48), (1,406,22), (1,427,64)])
  not.31147: bits[1] = not(bit_slice.30793, id=31147, pos=[(0,3184,24), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30794: bits[9] = bit_slice(wide_exponent__1, start=0, width=9, id=30794, pos=[(1,363,48), (1,406,22), (1,427,64)])
  sign_ext.31148: bits[9] = sign_ext(not.31147, new_bit_count=9, id=31148, pos=[(0,3184,24), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent__2: bits[9] = and(bit_slice.30794, sign_ext.31148, id=31149, pos=[(0,3184,24), (1,363,48), (1,406,22), (1,427,64)])
  eq.30789: bits[1] = eq(ONE_POINT_FIVE_bexp__3, high_exp, id=30789, pos=[(0,96,6), (0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  eq.30790: bits[1] = eq(ONE_POINT_FIVE_fraction__1, literal.31584, id=30790, pos=[(0,96,44), (0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  not.30461: bits[1] = not(result_sign__5, id=30461, pos=[(1,405,32), (1,427,64)])
  eq.30791: bits[1] = eq(nprod_bexp, high_exp, id=30791, pos=[(0,96,6), (0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  eq.30792: bits[1] = eq(nprod_fraction, literal.31584, id=30792, pos=[(0,96,44), (0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30804: bits[8] = bit_slice(wide_exponent__2, start=1, width=8, id=30804, pos=[(0,3194,11), (1,363,48), (1,406,22), (1,427,64)])
  not.30795: bits[1] = not(eq.30789, id=30795, pos=[(0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  not.30796: bits[1] = not(eq.30790, id=30796, pos=[(0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVE_sign__1: bits[1] = and(nc, not.30461, id=30466, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  not.30797: bits[1] = not(eq.30791, id=30797, pos=[(0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  not.30798: bits[1] = not(eq.30792, id=30798, pos=[(0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  nprod_sign: bits[1] = and(overflow_detected, not.30461, id=30467, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  and.30808: bits[1] = and(eq.30789, eq.30790, id=30808, pos=[(0,96,6), (0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  and.30809: bits[1] = and(eq.30791, eq.30792, id=30809, pos=[(0,96,6), (0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30810: bits[8] = bit_slice(wide_exponent__2, start=0, width=8, id=30810, pos=[(0,3202,11), (1,363,48), (1,406,22), (1,427,64)])
  or_reduce.30811: bits[1] = or_reduce(bit_slice.30804, id=30811, pos=[(0,3194,11), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30812: bits[1] = bit_slice(wide_exponent__2, start=0, width=1, id=30812, pos=[(0,3194,11), (1,363,48), (1,406,22), (1,427,64)])
  nor.30800: bits[1] = nor(not.30795, not.30796, ONE_POINT_FIVE_sign__1, id=30800, pos=[(0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  nor.30801: bits[1] = nor(not.30797, not.30798, nprod_sign, id=30801, pos=[(0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  and.30802: bits[1] = and(eq.30789, eq.30790, ONE_POINT_FIVE_sign__1, id=30802, pos=[(0,3215,29), (1,363,48), (1,406,22), (1,427,64)])
  and.30803: bits[1] = and(eq.30791, eq.30792, nprod_sign, id=30803, pos=[(0,3216,29), (1,363,48), (1,406,22), (1,427,64)])
  fraction_shift__2: bits[3] = literal(value=3, id=30805, pos=[(0,3174,8), (1,363,48), (1,406,22), (1,427,64)])
  is_operand_inf: bits[1] = or(and.30808, and.30809, id=30817, pos=[(0,3205,31), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30818: bits[1] = bit_slice(wide_exponent__2, start=8, width=1, id=30818, pos=[(0,3202,11), (1,363,48), (1,406,22), (1,427,64)])
  and_reduce.30819: bits[1] = and_reduce(bit_slice.30810, id=30819, pos=[(0,3202,11), (1,363,48), (1,406,22), (1,427,64)])
  nor.30820: bits[1] = nor(or_reduce.30811, bit_slice.30812, id=30820, pos=[(0,3194,11), (1,363,48), (1,406,22), (1,427,64)])
  has_pos_inf: bits[1] = or(nor.30800, nor.30801, id=30806, pos=[(0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  has_neg_inf: bits[1] = or(and.30802, and.30803, id=30807, pos=[(0,3215,29), (1,363,48), (1,406,22), (1,427,64)])
  rounded_fraction: bits[28] = concat(add.31455, normal_chunk, id=31557)
  fraction_shift__1: bits[3] = sel(rounding_carry, cases=[fraction_shift__2, fraction_shift__3], id=30813, pos=[(0,3174,8), (1,363,48), (1,406,22), (1,427,64)])
  or.30823: bits[1] = or(is_operand_inf, bit_slice.30818, and_reduce.30819, nor.30820, id=30823, pos=[(0,3207,26), (1,363,48), (1,406,22), (1,427,64)])
  nor.30814: bits[1] = nor(not.30795, eq.30790, id=30814, pos=[(0,71,6), (0,3217,30), (1,363,48), (1,406,22), (1,427,64)])
  nor.30815: bits[1] = nor(not.30797, eq.30792, id=30815, pos=[(0,71,6), (0,3217,64), (1,363,48), (1,406,22), (1,427,64)])
  and.30816: bits[1] = and(has_pos_inf, has_neg_inf, id=30816, pos=[(0,3218,25), (1,363,48), (1,406,22), (1,427,64)])
  shrl.30821: bits[28] = shrl(rounded_fraction, fraction_shift__1, id=30821, pos=[(0,3175,27), (1,363,48), (1,406,22), (1,427,64)])
  not.31150: bits[1] = not(or.30823, id=31150, pos=[(0,3207,26), (1,363,48), (1,406,22), (1,427,64)])
  is_result_nan__3: bits[1] = or(nor.30814, nor.30815, and.30816, id=30822, pos=[(0,3217,30), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__9: bits[23] = bit_slice(shrl.30821, start=0, width=23, id=30824, pos=[(1,363,48), (1,406,22), (1,427,64)])
  sign_ext.31151: bits[23] = sign_ext(not.31150, new_bit_count=23, id=31151, pos=[(0,3207,26), (1,363,48), (1,406,22), (1,427,64)])
  or.30825: bits[1] = or(is_result_nan__3, is_operand_inf, bit_slice.30818, and_reduce.30819, id=30825, pos=[(0,3220,26), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__10: bits[23] = and(result_fraction__9, sign_ext.31151, id=31152, pos=[(0,3207,26), (1,363,48), (1,406,22), (1,427,64)])
  result_exponent__2: bits[8] = sel(or.30825, cases=[bit_slice.30810, high_exp], id=30827, pos=[(0,3220,26), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__11: bits[23] = sel(is_result_nan__3, cases=[result_fraction__10, nan_fraction], id=30828, pos=[(0,3221,26), (1,363,48), (1,406,22), (1,427,64)])
  eq.30829: bits[1] = eq(result_exponent__2, literal.31672, id=30829, pos=[(0,804,5), (0,3291,67), (1,367,48), (1,407,11), (1,427,64)])
  diff_fraction__3: bits[24] = concat(literal.31433, result_fraction__11, id=30830, pos=[(0,3296,23), (1,367,48), (1,407,11), (1,427,64)])
  nor.31470: bits[1] = nor(eq.30296, eq.30829, id=31470, pos=[(0,3300,19), (1,367,48), (1,407,11), (1,427,64)])
  concat.30831: bits[9] = concat(literal.30233, result_exponent__2, id=30831, pos=[(1,367,48), (1,407,11), (1,427,64)])
  umul.30833: bits[48] = umul(approx_fraction__4, diff_fraction__3, id=30833, pos=[(0,3300,63), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31154: bits[48] = sign_ext(nor.31470, new_bit_count=48, id=31154, pos=[(0,3300,19), (1,367,48), (1,407,11), (1,427,64)])
  add.30834: bits[9] = add(concat.30300, concat.30831, id=30834, pos=[(0,3309,16), (1,367,48), (1,407,11), (1,427,64)])
  fraction__25: bits[48] = and(umul.30833, sign_ext.31154, id=31155, pos=[(0,3300,19), (1,367,48), (1,407,11), (1,427,64)])
  concat.30836: bits[10] = concat(literal.30233, add.30834, id=30836, pos=[(0,3309,16), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30837: bits[1] = bit_slice(fraction__25, start=47, width=1, id=30837, pos=[(0,3324,33), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30838: bits[1] = bit_slice(fraction__25, start=0, width=1, id=30838, pos=[(0,3329,25), (1,367,48), (1,407,11), (1,427,64)])
  exp__12: bits[10] = add(concat.30836, literal.30242, id=30839, pos=[(0,3309,16), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31157: bits[10] = sign_ext(nor.31470, new_bit_count=10, id=31157, pos=[(0,3318,14), (1,367,48), (1,407,11), (1,427,64)])
  fraction__26: bits[48] = shrl(fraction__25, bit_slice.30837, id=30840, pos=[(0,3330,19), (1,367,48), (1,407,11), (1,427,64)])
  sticky__7: bits[48] = concat(literal.30307, bit_slice.30838, id=30841, pos=[(1,367,48), (1,407,11), (1,427,64)])
  exp__13: bits[10] = and(exp__12, sign_ext.31157, id=31158, pos=[(0,3318,14), (1,367,48), (1,407,11), (1,427,64)])
  concat.30843: bits[10] = concat(literal.31664, bit_slice.30837, id=30843, pos=[(1,367,48), (1,407,11), (1,427,64)])
  fraction__27: bits[48] = or(fraction__26, sticky__7, id=30844, pos=[(0,3331,19), (1,367,48), (1,407,11), (1,427,64)])
  exp__14: bits[10] = add(exp__13, concat.30843, id=30845, pos=[(0,3334,14), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30846: bits[47] = bit_slice(fraction__27, start=1, width=47, id=30846, pos=[(0,3346,48), (1,367,48), (1,407,11), (1,427,64)])
  sle.30847: bits[1] = sle(exp__14, literal.30247, id=30847, pos=[(0,3346,22), (1,367,48), (1,407,11), (1,427,64)])
  concat.30848: bits[48] = concat(literal.30233, bit_slice.30846, id=30848, pos=[(0,3346,48), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30849: bits[1] = bit_slice(fraction__27, start=0, width=1, id=30849, pos=[(0,3345,25), (1,367,48), (1,407,11), (1,427,64)])
  fraction__28: bits[48] = sel(sle.30847, cases=[fraction__27, concat.30848], id=30850, pos=[(0,3346,19), (1,367,48), (1,407,11), (1,427,64)])
  sticky__8: bits[48] = concat(literal.30307, bit_slice.30849, id=30851, pos=[(1,367,48), (1,407,11), (1,427,64)])
  fraction__29: bits[48] = or(fraction__28, sticky__8, id=30852, pos=[(0,3347,19), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30853: bits[22] = bit_slice(fraction__29, start=0, width=22, id=30853, pos=[(0,3360,41), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30854: bits[1] = bit_slice(fraction__29, start=22, width=1, id=30854, pos=[(0,3359,40), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30855: bits[1] = bit_slice(fraction__29, start=23, width=1, id=30855, pos=[(0,3363,45), (1,367,48), (1,407,11), (1,427,64)])
  ne.30856: bits[1] = ne(bit_slice.30853, literal.31008, id=30856, pos=[(0,3360,41), (1,367,48), (1,407,11), (1,427,64)])
  not.30857: bits[1] = not(bit_slice.30854, id=30857, pos=[(0,3363,23), (1,367,48), (1,407,11), (1,427,64)])
  not.30858: bits[1] = not(bit_slice.30855, id=30858, pos=[(0,3363,23), (1,367,48), (1,407,11), (1,427,64)])
  greater_than_half_way__3: bits[1] = and(bit_slice.30854, ne.30856, id=30860, pos=[(0,3359,40), (1,367,48), (1,407,11), (1,427,64)])
  nor.30861: bits[1] = nor(not.30857, ne.30856, not.30858, id=30861, pos=[(0,3363,23), (1,367,48), (1,407,11), (1,427,64)])
  fraction__30: bits[23] = bit_slice(fraction__29, start=23, width=23, id=30859, pos=[(1,367,48), (1,407,11), (1,427,64)])
  do_round_up__4: bits[1] = or(greater_than_half_way__3, nor.30861, id=30863, pos=[(0,3362,22), (1,367,48), (1,407,11), (1,427,64)])
  fraction__31: bits[24] = concat(literal.30233, fraction__30, id=30862, pos=[(1,367,48), (1,407,11), (1,427,64)])
  concat.31652: bits[24] = concat(literal.31584, do_round_up__4, id=31652)
  fraction__32: bits[24] = add(fraction__31, concat.31652, id=31072)
  bit_slice.30867: bits[1] = bit_slice(fraction__32, start=23, width=1, id=30867, pos=[(0,3374,25), (1,367,48), (1,407,11), (1,427,64)])
  add.30868: bits[10] = add(exp__14, literal.30262, id=30868, pos=[(0,3374,33), (1,367,48), (1,407,11), (1,427,64)])
  exp__15: bits[10] = sel(bit_slice.30867, cases=[exp__14, add.30868], id=30872, pos=[(0,3374,14), (1,367,48), (1,407,11), (1,427,64)])
  is_subnormal__3: bits[1] = sle(exp__15, literal.30247, id=30877, pos=[(0,3375,23), (1,367,48), (1,407,11), (1,427,64)])
  not.31161: bits[1] = not(is_subnormal__3, id=31161, pos=[(0,3384,21), (1,367,48), (1,407,11), (1,427,64)])
  result_exp__9: bits[9] = bit_slice(exp__15, start=0, width=9, id=30878, pos=[(1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31162: bits[9] = sign_ext(not.31161, new_bit_count=9, id=31162, pos=[(0,3384,21), (1,367,48), (1,407,11), (1,427,64)])
  eq.30869: bits[1] = eq(result_exponent__2, high_exp, id=30869, pos=[(0,96,6), (0,3402,62), (1,367,48), (1,407,11), (1,427,64)])
  eq.30870: bits[1] = eq(result_fraction__11, literal.31584, id=30870, pos=[(0,96,44), (0,3402,62), (1,367,48), (1,407,11), (1,427,64)])
  result_exp__10: bits[9] = and(result_exp__9, sign_ext.31162, id=31163, pos=[(0,3384,21), (1,367,48), (1,407,11), (1,427,64)])
  and.30873: bits[1] = and(eq.30869, eq.30870, id=30873, pos=[(0,96,6), (0,3402,62), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30888: bits[8] = bit_slice(result_exp__10, start=0, width=8, id=30888, pos=[(0,3392,11), (1,367,48), (1,407,11), (1,427,64)])
  has_0_arg: bits[1] = eq(x_bexp__2, literal.31672, id=30228, pos=[(0,804,5), (0,809,27), (1,78,31), (1,396,30), (1,427,64)])
  concat.31553: bits[2] = concat(bit_slice.31509, fraction_is_zero, id=31553, pos=[(1,363,48), (1,406,22), (1,427,64)])
  not.30876: bits[1] = not(nprod_sign, id=30876, pos=[(0,3210,59), (1,363,48), (1,406,22), (1,427,64)])
  has_inf_arg__3: bits[1] = or(and.30347, and.30873, id=30880, pos=[(0,3402,28), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30891: bits[1] = bit_slice(result_exp__10, start=8, width=1, id=30891, pos=[(0,3392,11), (1,367,48), (1,407,11), (1,427,64)])
  and_reduce.30892: bits[1] = and_reduce(bit_slice.30888, id=30892, pos=[(0,3392,11), (1,367,48), (1,407,11), (1,427,64)])
  not.31164: bits[1] = not(has_0_arg, id=31164, pos=[(0,809,4), (1,78,31), (1,396,30), (1,427,64)])
  not.30879: bits[1] = not(eq.30869, id=30879, pos=[(0,71,6), (0,3401,62), (1,367,48), (1,407,11), (1,427,64)])
  has_0_arg__3: bits[1] = or(eq.30296, eq.30829, id=30832, pos=[(0,3291,40), (1,367,48), (1,407,11), (1,427,64)])
  result_sign__6: bits[1] = priority_sel(concat.31553, cases=[literal.30233, not.30876], default=nprod_sign, id=30881, pos=[(1,363,48), (1,406,22), (1,427,64)])
  not.30882: bits[1] = not(has_pos_inf, id=30882, pos=[(0,3211,42), (1,363,48), (1,406,22), (1,427,64)])
  or.30895: bits[1] = or(has_inf_arg__3, bit_slice.30891, and_reduce.30892, is_subnormal__3, id=30895, pos=[(0,3397,26), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31165: bits[23] = sign_ext(not.31164, new_bit_count=23, id=31165, pos=[(0,809,4), (1,78,31), (1,396,30), (1,427,64)])
  nor.30884: bits[1] = nor(not.30879, eq.30870, id=30884, pos=[(0,71,6), (0,3401,62), (1,367,48), (1,407,11), (1,427,64)])
  and.30885: bits[1] = and(has_0_arg__3, has_inf_arg__3, id=30885, pos=[(0,3403,40), (1,367,48), (1,407,11), (1,427,64)])
  not.30886: bits[1] = not(is_result_nan__3, id=30886, pos=[(0,3222,22), (1,363,48), (1,406,22), (1,427,64)])
  result_sign__7: bits[1] = sel(is_operand_inf, cases=[result_sign__6, not.30882], id=30887, pos=[(0,3211,22), (1,363,48), (1,406,22), (1,427,64)])
  not.31167: bits[1] = not(or.30895, id=31167, pos=[(0,3397,26), (1,367,48), (1,407,11), (1,427,64)])
  x__1_fraction__2: bits[23] = and(tuple_index.30229, sign_ext.31165, id=31166, pos=[(0,809,4), (1,78,31), (1,396,30), (1,427,64)])
  is_result_nan__4: bits[1] = or(nor.30354, nor.30884, and.30885, id=30889, pos=[(0,3403,24), (1,367,48), (1,407,11), (1,427,64)])
  result_sign__8: bits[1] = and(not.30886, result_sign__7, id=30890, pos=[(0,3222,22), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__12: bits[23] = bit_slice(fraction__32, start=0, width=23, id=30896, pos=[(1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31168: bits[23] = sign_ext(not.31167, new_bit_count=23, id=31168, pos=[(0,3397,26), (1,367,48), (1,407,11), (1,427,64)])
  eq.30270: bits[1] = eq(x_bexp__2, high_exp, id=30270, pos=[(0,96,6), (0,3402,28), (1,367,48), (1,399,20), (1,427,64)])
  eq.30273: bits[1] = eq(x__1_fraction__2, literal.31584, id=30273, pos=[(0,96,44), (0,3402,28), (1,367,48), (1,399,20), (1,427,64)])
  not.30893: bits[1] = not(is_result_nan__4, id=30893, pos=[(0,3407,22), (1,367,48), (1,407,11), (1,427,64)])
  result_sign__9: bits[1] = xor(approx_sign__2, result_sign__8, id=30894, pos=[(0,3378,23), (1,367,48), (1,407,11), (1,427,64)])
  result_fraction__13: bits[23] = and(result_fraction__12, sign_ext.31168, id=31169, pos=[(0,3397,26), (1,367,48), (1,407,11), (1,427,64)])
  nand.31471: bits[1] = nand(eq.30270, eq.30273, id=31471, pos=[(1,417,17), (1,427,64)])
  has_inf_arg: bits[1] = and(eq.30270, eq.30273, id=30279, pos=[(0,96,6), (0,3402,28), (1,367,48), (1,399,20), (1,427,64)])
  result_sign__10: bits[1] = and(not.30893, result_sign__9, id=30897, pos=[(0,3407,22), (1,367,48), (1,407,11), (1,427,64)])
  result_fraction__14: bits[23] = sel(is_result_nan__4, cases=[result_fraction__13, nan_fraction], id=30902, pos=[(0,3406,26), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31171: bits[23] = sign_ext(nand.31471, new_bit_count=23, id=31171, pos=[(1,417,17), (1,427,64)])
  not.30272: bits[1] = not(eq.30270, id=30272, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,399,20), (1,427,64)])
  sel.30900: bits[1] = sel(has_inf_arg, cases=[result_sign__10, x_sign__1], id=30900, pos=[(1,417,17), (1,427,64)])
  or.30898: bits[1] = or(is_result_nan__4, has_inf_arg__3, bit_slice.30891, and_reduce.30892, id=30898, pos=[(0,3404,21), (1,367,48), (1,407,11), (1,427,64)])
  and.31172: bits[23] = and(result_fraction__14, sign_ext.31171, id=31172, pos=[(1,417,17), (1,427,64)])
  nor.30275: bits[1] = nor(not.30272, eq.30273, id=30275, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,399,20), (1,427,64)])
  not.30904: bits[1] = not(sel.30900, id=30904, pos=[(1,419,17), (1,427,64)])
  result_exp__11: bits[8] = sel(or.30898, cases=[bit_slice.30888, high_exp], id=30901, pos=[(0,3404,21), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31174: bits[8] = sign_ext(nand.31471, new_bit_count=8, id=31174, pos=[(1,417,17), (1,427,64)])
  sel.30910: bits[23] = sel(x_sign__1, cases=[and.31172, nan_fraction], id=30910, pos=[(1,419,17), (1,427,64)])
  or.30926: bits[1] = or(has_0_arg, nor.30275, id=30926, pos=[(1,423,17), (1,427,64)])
  nor.30908: bits[1] = nor(x_sign__1, not.30904, id=30908, pos=[(1,419,17), (1,427,64)])
  or.31024: bits[1] = or(has_0_arg, nor.30275, x_sign__1, id=31024, pos=[(1,423,17), (1,427,64)])
  and.31175: bits[8] = and(result_exp__11, sign_ext.31174, id=31175, pos=[(1,417,17), (1,427,64)])
  sel.30913: bits[23] = sel(nor.30275, cases=[sel.30910, tuple_index.30229], id=30913, pos=[(1,421,17), (1,427,64)])
  sel.30927: bits[1] = sel(or.30926, cases=[nor.30908, x_sign__1], id=30927, pos=[(1,423,17), (1,427,64)])
  sel.31023: bits[8] = sel(or.31024, cases=[and.31175, high_exp], id=31023, pos=[(1,423,17), (1,427,64)])
  and.31178: bits[23] = and(sel.30913, sign_ext.31165, id=31178, pos=[(1,423,17), (1,427,64)])
  ret result__4: (bits[1], bits[8], bits[23]) = tuple(sel.30927, sel.31023, and.31178, id=30917, pos=[(1,423,17), (1,427,64)])
}