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=1116) -> (bits[1], bits[8], bits[23]) {
  x_bexp__2: bits[8] = tuple_index(x, index=1, id=30092, pos=[(0,804,5), (0,809,27), (1,78,31), (1,396,30), (1,427,64)])
  literal.30099: bits[1] = literal(value=0, id=30099, pos=[(1,367,48), (1,399,20), (1,427,64)])
  bit_slice.31376: bits[7] = bit_slice(x_bexp__2, start=1, width=7, id=31376, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  concat.31377: bits[8] = concat(literal.30099, bit_slice.31376, id=31377, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  literal.31323: bits[8] = literal(value=63, id=31323, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  add.31293: bits[8] = add(concat.31377, literal.31323, id=31293, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.31378: bits[1] = bit_slice(x_bexp__2, start=0, width=1, id=31378, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  concat.31414: bits[10] = concat(literal.30099, add.31293, bit_slice.31378, id=31414, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  literal.30108: bits[10] = literal(value=897, id=30108, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  exp: bits[10] = add(concat.31414, literal.30108, id=30112, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  literal.30113: bits[10] = literal(value=0, id=30113, pos=[(0,3318,29), (1,367,48), (1,399,20), (1,427,64)])
  literal.31296: bits[1] = literal(value=1, id=31296, pos=[(0,3300,63), (1,367,48), (1,399,20), (1,427,64)])
  tuple_index.30095: bits[23] = tuple_index(x, index=2, id=30095, pos=[(0,809,4), (1,78,31), (1,396,30), (1,427,64)])
  literal.31298: bits[2] = literal(value=1, id=31298, pos=[(0,3346,48), (1,367,48), (1,399,20), (1,427,64)])
  sle.30117: bits[1] = sle(exp, literal.30113, id=30117, pos=[(0,3346,22), (1,367,48), (1,399,20), (1,427,64)])
  concat.31212: bits[25] = concat(literal.31296, tuple_index.30095, literal.30099, id=31212, pos=[(0,3300,63), (1,367,48), (1,399,20), (1,427,64)])
  concat.31214: bits[25] = concat(literal.31298, tuple_index.30095, id=31214, pos=[(0,3346,48), (1,367,48), (1,399,20), (1,427,64)])
  fraction__3_squeezed: bits[25] = sel(sle.30117, cases=[concat.31212, concat.31214], id=30939, pos=[(0,3346,19), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.31206: bits[1] = bit_slice(fraction__3_squeezed, start=0, width=1, id=31206, pos=[(0,3359,40), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.31208: bits[1] = bit_slice(fraction__3_squeezed, start=1, width=1, id=31208, 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=31204, pos=[(1,367,48), (1,399,20), (1,427,64)])
  literal.31447: bits[23] = literal(value=0, id=31447)
  and.30125: bits[1] = and(bit_slice.31206, bit_slice.31208, id=30125, pos=[(0,3363,23), (1,367,48), (1,399,20), (1,427,64)])
  fraction__6: bits[24] = concat(literal.30099, fraction__5, id=31281, pos=[(1,367,48), (1,399,20), (1,427,64)])
  concat.31511: bits[24] = concat(literal.31447, and.30125, id=31511)
  fraction__7: bits[24] = add(fraction__6, concat.31511, id=30923)
  bit_slice.30129: bits[1] = bit_slice(fraction__7, start=23, width=1, id=30129, 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=31516, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  concat.31540: bits[9] = concat(literal.30099, x_bexp__2, id=31540, pos=[(0,3374,33), (1,367,48), (1,399,20), (1,427,64)])
  exp__3_squeezed: bits[9] = sel(bit_slice.30129, cases=[exp_squeezed, concat.31540], id=31518, pos=[(0,3374,14), (1,367,48), (1,399,20), (1,427,64)])
  literal.31527: bits[9] = literal(value=0, id=31527, pos=[(0,3375,23), (1,367,48), (1,399,20), (1,427,64)])
  is_subnormal: bits[1] = sle(exp__3_squeezed, literal.31527, id=31522, pos=[(0,3375,23), (1,367,48), (1,399,20), (1,427,64)])
  not.30945: bits[1] = not(is_subnormal, id=30945, pos=[(0,3384,21), (1,367,48), (1,399,20), (1,427,64)])
  sign_ext.30946: bits[9] = sign_ext(not.30945, new_bit_count=9, id=30946, pos=[(0,3384,21), (1,367,48), (1,399,20), (1,427,64)])
  result_exp__1: bits[9] = and(exp__3_squeezed, sign_ext.30946, id=30947, pos=[(0,3384,21), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.30140: bits[8] = bit_slice(result_exp__1, start=0, width=8, id=30140, pos=[(0,3392,11), (1,367,48), (1,399,20), (1,427,64)])
  x_sign__1: bits[1] = tuple_index(x, index=0, id=30143, pos=[(0,809,60), (1,78,31), (1,396,30), (1,427,64)])
  bit_slice.30144: bits[22] = bit_slice(tuple_index.30095, start=1, width=22, id=30144, pos=[(1,398,50), (1,427,64)])
  bit_slice.30146: bits[1] = bit_slice(result_exp__1, start=8, width=1, id=30146, pos=[(0,3392,11), (1,367,48), (1,399,20), (1,427,64)])
  and_reduce.30147: bits[1] = and_reduce(bit_slice.30140, id=30147, pos=[(0,3392,11), (1,367,48), (1,399,20), (1,427,64)])
  MAGIC_NUMBER: bits[32] = literal(value=1597463007, id=30149, pos=[(1,393,25), (1,427,64)])
  concat.30150: bits[32] = concat(literal.30099, x_sign__1, x_bexp__2, bit_slice.30144, id=30150, pos=[(1,398,50), (1,427,64)])
  nor.31326: bits[1] = nor(bit_slice.30146, and_reduce.30147, is_subnormal, id=31326, pos=[(0,3397,26), (1,367,48), (1,399,20), (1,427,64)])
  or.30820: bits[1] = or(bit_slice.30146, and_reduce.30147, id=30820, pos=[(0,3404,21), (1,367,48), (1,399,20), (1,427,64)])
  high_exp: bits[8] = literal(value=255, id=30132, pos=[(0,96,29), (0,3402,28), (1,367,48), (1,399,20), (1,427,64)])
  sub.30154: bits[32] = sub(MAGIC_NUMBER, concat.30150, id=30154, pos=[(1,398,27), (1,427,64)])
  result_fraction: bits[23] = bit_slice(fraction__7, start=0, width=23, id=30152, pos=[(1,367,48), (1,399,20), (1,427,64)])
  sign_ext.30949: bits[23] = sign_ext(nor.31326, new_bit_count=23, id=30949, pos=[(0,3397,26), (1,367,48), (1,399,20), (1,427,64)])
  result_exp__4: bits[8] = sel(or.30820, cases=[bit_slice.30140, high_exp], id=30157, pos=[(0,3404,21), (1,367,48), (1,399,20), (1,427,64)])
  literal.31535: bits[8] = literal(value=0, id=31535, pos=[(0,3374,33), (1,367,48), (1,399,20), (1,427,64)])
  approx_bexp__1: bits[8] = bit_slice(sub.30154, start=23, width=8, id=30158, pos=[(1,61,65), (1,398,26), (1,427,64)])
  result_fraction__3: bits[23] = and(result_fraction, sign_ext.30949, id=30950, pos=[(0,3397,26), (1,367,48), (1,399,20), (1,427,64)])
  approx_fraction__2: bits[23] = bit_slice(sub.30154, start=0, width=23, id=30160, pos=[(1,61,65), (1,398,26), (1,427,64)])
  eq.30161: bits[1] = eq(result_exp__4, literal.31535, id=30161, pos=[(0,804,5), (0,3291,40), (1,367,48), (1,403,22), (1,427,64)])
  eq.30162: bits[1] = eq(approx_bexp__1, literal.31535, id=30162, pos=[(0,804,5), (0,3291,67), (1,367,48), (1,403,22), (1,427,64)])
  half_x_fraction__4: bits[24] = concat(literal.31296, result_fraction__3, id=30163, pos=[(0,3294,23), (1,367,48), (1,403,22), (1,427,64)])
  approx_fraction__4: bits[24] = concat(literal.31296, approx_fraction__2, id=30164, pos=[(0,3296,23), (1,367,48), (1,403,22), (1,427,64)])
  nor.31327: bits[1] = nor(eq.30161, eq.30162, id=31327, pos=[(0,3300,19), (1,367,48), (1,403,22), (1,427,64)])
  concat.30165: bits[9] = concat(literal.30099, result_exp__4, id=30165, pos=[(1,367,48), (1,403,22), (1,427,64)])
  concat.30166: bits[9] = concat(literal.30099, approx_bexp__1, id=30166, pos=[(1,367,48), (1,403,22), (1,427,64)])
  umul.30168: bits[48] = umul(half_x_fraction__4, approx_fraction__4, id=30168, pos=[(0,3300,63), (1,367,48), (1,403,22), (1,427,64)])
  sign_ext.30952: bits[48] = sign_ext(nor.31327, new_bit_count=48, id=30952, pos=[(0,3300,19), (1,367,48), (1,403,22), (1,427,64)])
  add.30169: bits[9] = add(concat.30165, concat.30166, id=30169, pos=[(0,3309,16), (1,367,48), (1,403,22), (1,427,64)])
  fraction__8: bits[48] = and(umul.30168, sign_ext.30952, id=30953, pos=[(0,3300,19), (1,367,48), (1,403,22), (1,427,64)])
  concat.30171: bits[10] = concat(literal.30099, add.30169, id=30171, pos=[(0,3309,16), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30172: bits[1] = bit_slice(fraction__8, start=47, width=1, id=30172, pos=[(0,3324,33), (1,367,48), (1,403,22), (1,427,64)])
  literal.30173: bits[47] = literal(value=0, id=30173, pos=[(1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30174: bits[1] = bit_slice(fraction__8, start=0, width=1, id=30174, pos=[(0,3329,25), (1,367,48), (1,403,22), (1,427,64)])
  exp__4: bits[10] = add(concat.30171, literal.30108, id=30175, pos=[(0,3309,16), (1,367,48), (1,403,22), (1,427,64)])
  sign_ext.30955: bits[10] = sign_ext(nor.31327, new_bit_count=10, id=30955, pos=[(0,3318,14), (1,367,48), (1,403,22), (1,427,64)])
  fraction__9: bits[48] = shrl(fraction__8, bit_slice.30172, id=30176, pos=[(0,3330,19), (1,367,48), (1,403,22), (1,427,64)])
  sticky__2: bits[48] = concat(literal.30173, bit_slice.30174, id=30177, pos=[(1,367,48), (1,403,22), (1,427,64)])
  exp__5: bits[10] = and(exp__4, sign_ext.30955, id=30956, pos=[(0,3318,14), (1,367,48), (1,403,22), (1,427,64)])
  concat.30179: bits[10] = concat(literal.31527, bit_slice.30172, id=30179, pos=[(1,367,48), (1,403,22), (1,427,64)])
  fraction__10: bits[48] = or(fraction__9, sticky__2, id=30180, pos=[(0,3331,19), (1,367,48), (1,403,22), (1,427,64)])
  exp__6: bits[10] = add(exp__5, concat.30179, id=30181, pos=[(0,3334,14), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30182: bits[47] = bit_slice(fraction__10, start=1, width=47, id=30182, pos=[(0,3346,48), (1,367,48), (1,403,22), (1,427,64)])
  sle.30183: bits[1] = sle(exp__6, literal.30113, id=30183, pos=[(0,3346,22), (1,367,48), (1,403,22), (1,427,64)])
  concat.30184: bits[48] = concat(literal.30099, bit_slice.30182, id=30184, pos=[(0,3346,48), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30185: bits[1] = bit_slice(fraction__10, start=0, width=1, id=30185, pos=[(0,3345,25), (1,367,48), (1,403,22), (1,427,64)])
  fraction__11: bits[48] = sel(sle.30183, cases=[fraction__10, concat.30184], id=30186, pos=[(0,3346,19), (1,367,48), (1,403,22), (1,427,64)])
  sticky__3: bits[48] = concat(literal.30173, bit_slice.30185, id=30187, pos=[(1,367,48), (1,403,22), (1,427,64)])
  fraction__12: bits[48] = or(fraction__11, sticky__3, id=30188, pos=[(0,3347,19), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30189: bits[22] = bit_slice(fraction__12, start=0, width=22, id=30189, pos=[(0,3360,41), (1,367,48), (1,403,22), (1,427,64)])
  literal.30871: bits[22] = literal(value=0, id=30871, pos=[(0,3346,48), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.30191: bits[1] = bit_slice(fraction__12, start=22, width=1, id=30191, pos=[(0,3359,40), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30192: bits[1] = bit_slice(fraction__12, start=23, width=1, id=30192, pos=[(0,3363,45), (1,367,48), (1,403,22), (1,427,64)])
  ne.30193: bits[1] = ne(bit_slice.30189, literal.30871, id=30193, pos=[(0,3360,41), (1,367,48), (1,403,22), (1,427,64)])
  not.30194: bits[1] = not(bit_slice.30191, id=30194, pos=[(0,3363,23), (1,367,48), (1,403,22), (1,427,64)])
  not.30195: bits[1] = not(bit_slice.30192, id=30195, pos=[(0,3363,23), (1,367,48), (1,403,22), (1,427,64)])
  greater_than_half_way__1: bits[1] = and(bit_slice.30191, ne.30193, id=30197, pos=[(0,3359,40), (1,367,48), (1,403,22), (1,427,64)])
  nor.30198: bits[1] = nor(not.30194, ne.30193, not.30195, id=30198, 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=30196, pos=[(1,367,48), (1,403,22), (1,427,64)])
  do_round_up__1: bits[1] = or(greater_than_half_way__1, nor.30198, id=30200, pos=[(0,3362,22), (1,367,48), (1,403,22), (1,427,64)])
  fraction__14: bits[24] = concat(literal.30099, fraction__13, id=30199, pos=[(1,367,48), (1,403,22), (1,427,64)])
  concat.31512: bits[24] = concat(literal.31447, do_round_up__1, id=31512)
  fraction__15: bits[24] = add(fraction__14, concat.31512, id=30926)
  literal.30128: bits[10] = literal(value=1, id=30128, pos=[(0,3374,39), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.30203: bits[1] = bit_slice(fraction__15, start=23, width=1, id=30203, pos=[(0,3374,25), (1,367,48), (1,403,22), (1,427,64)])
  add.30204: bits[10] = add(exp__6, literal.30128, id=30204, pos=[(0,3374,33), (1,367,48), (1,403,22), (1,427,64)])
  exp__7: bits[10] = sel(bit_slice.30203, cases=[exp__6, add.30204], id=30205, pos=[(0,3374,14), (1,367,48), (1,403,22), (1,427,64)])
  is_subnormal__1: bits[1] = sle(exp__7, literal.30113, id=30210, pos=[(0,3375,23), (1,367,48), (1,403,22), (1,427,64)])
  not.30959: bits[1] = not(is_subnormal__1, id=30959, 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=30211, pos=[(1,367,48), (1,403,22), (1,427,64)])
  sign_ext.30960: bits[9] = sign_ext(not.30959, new_bit_count=9, id=30960, pos=[(0,3384,21), (1,367,48), (1,403,22), (1,427,64)])
  eq.30207: bits[1] = eq(result_fraction__3, literal.31447, id=30207, pos=[(0,96,44), (0,3402,28), (1,367,48), (1,403,22), (1,427,64)])
  eq.30208: bits[1] = eq(approx_bexp__1, high_exp, id=30208, pos=[(0,96,6), (0,3402,62), (1,367,48), (1,403,22), (1,427,64)])
  eq.30209: bits[1] = eq(approx_fraction__2, literal.31447, id=30209, 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.30960, id=30961, pos=[(0,3384,21), (1,367,48), (1,403,22), (1,427,64)])
  and.30212: bits[1] = and(or.30820, eq.30207, id=30212, pos=[(0,96,6), (0,3402,28), (1,367,48), (1,403,22), (1,427,64)])
  and.30213: bits[1] = and(eq.30208, eq.30209, id=30213, pos=[(0,96,6), (0,3402,62), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30218: bits[8] = bit_slice(result_exp__3, start=0, width=8, id=30218, pos=[(0,3392,11), (1,367,48), (1,403,22), (1,427,64)])
  has_inf_arg__1: bits[1] = or(and.30212, and.30213, id=30217, pos=[(0,3402,28), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30222: bits[1] = bit_slice(result_exp__3, start=8, width=1, id=30222, pos=[(0,3392,11), (1,367,48), (1,403,22), (1,427,64)])
  and_reduce.30223: bits[1] = and_reduce(bit_slice.30218, id=30223, pos=[(0,3392,11), (1,367,48), (1,403,22), (1,427,64)])
  nor.31325: bits[1] = nor(bit_slice.30146, and_reduce.30147, id=31325, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,403,22), (1,427,64)])
  not.30216: bits[1] = not(eq.30208, id=30216, pos=[(0,71,6), (0,3401,62), (1,367,48), (1,403,22), (1,427,64)])
  has_0_arg__1: bits[1] = or(eq.30161, eq.30162, id=30167, pos=[(0,3291,40), (1,367,48), (1,403,22), (1,427,64)])
  or.30225: bits[1] = or(has_inf_arg__1, bit_slice.30222, and_reduce.30223, is_subnormal__1, id=30225, pos=[(0,3397,26), (1,367,48), (1,403,22), (1,427,64)])
  nor.30219: bits[1] = nor(nor.31325, eq.30207, id=30219, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,403,22), (1,427,64)])
  nor.30220: bits[1] = nor(not.30216, eq.30209, id=30220, pos=[(0,71,6), (0,3401,62), (1,367,48), (1,403,22), (1,427,64)])
  and.30221: bits[1] = and(has_0_arg__1, has_inf_arg__1, id=30221, pos=[(0,3403,40), (1,367,48), (1,403,22), (1,427,64)])
  not.30962: bits[1] = not(or.30225, id=30962, pos=[(0,3397,26), (1,367,48), (1,403,22), (1,427,64)])
  is_result_nan__1: bits[1] = or(nor.30219, nor.30220, and.30221, id=30224, 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=30226, pos=[(1,367,48), (1,403,22), (1,427,64)])
  sign_ext.30963: bits[23] = sign_ext(not.30962, new_bit_count=23, id=30963, pos=[(0,3397,26), (1,367,48), (1,403,22), (1,427,64)])
  or.30227: bits[1] = or(is_result_nan__1, has_inf_arg__1, bit_slice.30222, and_reduce.30223, id=30227, pos=[(0,3404,21), (1,367,48), (1,403,22), (1,427,64)])
  result_fraction__2: bits[23] = and(result_fraction__1, sign_ext.30963, id=30964, pos=[(0,3397,26), (1,367,48), (1,403,22), (1,427,64)])
  nan_fraction: bits[23] = literal(value=4194304, id=30156, pos=[(0,3405,23), (1,367,48), (1,399,20), (1,427,64)])
  result_exp__5: bits[8] = sel(or.30227, cases=[bit_slice.30218, high_exp], id=30229, 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=30230, pos=[(0,3406,26), (1,367,48), (1,403,22), (1,427,64)])
  eq.30231: bits[1] = eq(result_exp__5, literal.31535, id=30231, pos=[(0,804,5), (0,3291,40), (1,367,48), (1,404,22), (1,427,64)])
  prod_fraction__3: bits[24] = concat(literal.31296, result_fraction__5, id=30232, pos=[(0,3294,23), (1,367,48), (1,404,22), (1,427,64)])
  nor.31328: bits[1] = nor(eq.30231, eq.30162, id=31328, pos=[(0,3300,19), (1,367,48), (1,404,22), (1,427,64)])
  concat.30233: bits[9] = concat(literal.30099, result_exp__5, id=30233, pos=[(1,367,48), (1,404,22), (1,427,64)])
  umul.30235: bits[48] = umul(prod_fraction__3, approx_fraction__4, id=30235, pos=[(0,3300,63), (1,367,48), (1,404,22), (1,427,64)])
  sign_ext.30966: bits[48] = sign_ext(nor.31328, new_bit_count=48, id=30966, pos=[(0,3300,19), (1,367,48), (1,404,22), (1,427,64)])
  add.30236: bits[9] = add(concat.30233, concat.30166, id=30236, pos=[(0,3309,16), (1,367,48), (1,404,22), (1,427,64)])
  fraction__16: bits[48] = and(umul.30235, sign_ext.30966, id=30967, pos=[(0,3300,19), (1,367,48), (1,404,22), (1,427,64)])
  concat.30238: bits[10] = concat(literal.30099, add.30236, id=30238, pos=[(0,3309,16), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30239: bits[1] = bit_slice(fraction__16, start=47, width=1, id=30239, pos=[(0,3324,33), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30240: bits[1] = bit_slice(fraction__16, start=0, width=1, id=30240, pos=[(0,3329,25), (1,367,48), (1,404,22), (1,427,64)])
  exp__8: bits[10] = add(concat.30238, literal.30108, id=30241, pos=[(0,3309,16), (1,367,48), (1,404,22), (1,427,64)])
  sign_ext.30969: bits[10] = sign_ext(nor.31328, new_bit_count=10, id=30969, pos=[(0,3318,14), (1,367,48), (1,404,22), (1,427,64)])
  fraction__17: bits[48] = shrl(fraction__16, bit_slice.30239, id=30242, pos=[(0,3330,19), (1,367,48), (1,404,22), (1,427,64)])
  sticky__4: bits[48] = concat(literal.30173, bit_slice.30240, id=30243, pos=[(1,367,48), (1,404,22), (1,427,64)])
  exp__9: bits[10] = and(exp__8, sign_ext.30969, id=30970, pos=[(0,3318,14), (1,367,48), (1,404,22), (1,427,64)])
  concat.30245: bits[10] = concat(literal.31527, bit_slice.30239, id=30245, pos=[(1,367,48), (1,404,22), (1,427,64)])
  fraction__18: bits[48] = or(fraction__17, sticky__4, id=30246, pos=[(0,3331,19), (1,367,48), (1,404,22), (1,427,64)])
  exp__10: bits[10] = add(exp__9, concat.30245, id=30247, pos=[(0,3334,14), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30248: bits[47] = bit_slice(fraction__18, start=1, width=47, id=30248, pos=[(0,3346,48), (1,367,48), (1,404,22), (1,427,64)])
  sle.30249: bits[1] = sle(exp__10, literal.30113, id=30249, pos=[(0,3346,22), (1,367,48), (1,404,22), (1,427,64)])
  concat.30250: bits[48] = concat(literal.30099, bit_slice.30248, id=30250, pos=[(0,3346,48), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30251: bits[1] = bit_slice(fraction__18, start=0, width=1, id=30251, pos=[(0,3345,25), (1,367,48), (1,404,22), (1,427,64)])
  fraction__19: bits[48] = sel(sle.30249, cases=[fraction__18, concat.30250], id=30252, pos=[(0,3346,19), (1,367,48), (1,404,22), (1,427,64)])
  sticky__5: bits[48] = concat(literal.30173, bit_slice.30251, id=30253, pos=[(1,367,48), (1,404,22), (1,427,64)])
  fraction__20: bits[48] = or(fraction__19, sticky__5, id=30254, pos=[(0,3347,19), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30255: bits[22] = bit_slice(fraction__20, start=0, width=22, id=30255, pos=[(0,3360,41), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30256: bits[1] = bit_slice(fraction__20, start=22, width=1, id=30256, pos=[(0,3359,40), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30257: bits[1] = bit_slice(fraction__20, start=23, width=1, id=30257, pos=[(0,3363,45), (1,367,48), (1,404,22), (1,427,64)])
  ne.30258: bits[1] = ne(bit_slice.30255, literal.30871, id=30258, pos=[(0,3360,41), (1,367,48), (1,404,22), (1,427,64)])
  not.30259: bits[1] = not(bit_slice.30256, id=30259, pos=[(0,3363,23), (1,367,48), (1,404,22), (1,427,64)])
  not.30260: bits[1] = not(bit_slice.30257, id=30260, pos=[(0,3363,23), (1,367,48), (1,404,22), (1,427,64)])
  greater_than_half_way__2: bits[1] = and(bit_slice.30256, ne.30258, id=30262, pos=[(0,3359,40), (1,367,48), (1,404,22), (1,427,64)])
  nor.30263: bits[1] = nor(not.30259, ne.30258, not.30260, id=30263, 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=30261, pos=[(1,367,48), (1,404,22), (1,427,64)])
  do_round_up__2: bits[1] = or(greater_than_half_way__2, nor.30263, id=30265, pos=[(0,3362,22), (1,367,48), (1,404,22), (1,427,64)])
  fraction__22: bits[24] = concat(literal.30099, fraction__21, id=30264, pos=[(1,367,48), (1,404,22), (1,427,64)])
  concat.31513: bits[24] = concat(literal.31447, do_round_up__2, id=31513)
  fraction__23: bits[24] = add(fraction__22, concat.31513, id=30929)
  bit_slice.30268: bits[1] = bit_slice(fraction__23, start=23, width=1, id=30268, pos=[(0,3374,25), (1,367,48), (1,404,22), (1,427,64)])
  add.30269: bits[10] = add(exp__10, literal.30128, id=30269, pos=[(0,3374,33), (1,367,48), (1,404,22), (1,427,64)])
  exp__11: bits[10] = sel(bit_slice.30268, cases=[exp__10, add.30269], id=30272, pos=[(0,3374,14), (1,367,48), (1,404,22), (1,427,64)])
  is_subnormal__2: bits[1] = sle(exp__11, literal.30113, id=30274, pos=[(0,3375,23), (1,367,48), (1,404,22), (1,427,64)])
  eq.30271: bits[1] = eq(result_fraction__5, literal.31447, id=30271, pos=[(0,96,44), (0,3402,28), (1,367,48), (1,404,22), (1,427,64)])
  not.30973: bits[1] = not(is_subnormal__2, id=30973, pos=[(0,3384,21), (1,367,48), (1,404,22), (1,427,64)])
  and.30273: bits[1] = and(or.30227, eq.30271, id=30273, 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=30275, pos=[(1,367,48), (1,404,22), (1,427,64)])
  sign_ext.30974: bits[9] = sign_ext(not.30973, new_bit_count=9, id=30974, pos=[(0,3384,21), (1,367,48), (1,404,22), (1,427,64)])
  not.30276: bits[1] = not(or.30227, id=30276, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,404,22), (1,427,64)])
  has_0_arg__2: bits[1] = or(eq.30231, eq.30162, id=30234, pos=[(0,3291,40), (1,367,48), (1,404,22), (1,427,64)])
  has_inf_arg__2: bits[1] = or(and.30273, and.30213, id=30277, pos=[(0,3402,28), (1,367,48), (1,404,22), (1,427,64)])
  result_exp__7: bits[9] = and(result_exp__6, sign_ext.30974, id=30975, pos=[(0,3384,21), (1,367,48), (1,404,22), (1,427,64)])
  nor.30279: bits[1] = nor(not.30276, eq.30271, id=30279, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,404,22), (1,427,64)])
  and.30280: bits[1] = and(has_0_arg__2, has_inf_arg__2, id=30280, pos=[(0,3403,40), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30281: bits[8] = bit_slice(result_exp__7, start=0, width=8, id=30281, pos=[(0,3392,11), (1,367,48), (1,404,22), (1,427,64)])
  is_result_nan__2: bits[1] = or(nor.30279, nor.30220, and.30280, id=30282, pos=[(0,3403,24), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30283: bits[1] = bit_slice(result_exp__7, start=8, width=1, id=30283, pos=[(0,3392,11), (1,367,48), (1,404,22), (1,427,64)])
  and_reduce.30284: bits[1] = and_reduce(bit_slice.30281, id=30284, pos=[(0,3392,11), (1,367,48), (1,404,22), (1,427,64)])
  or.30285: bits[1] = or(is_result_nan__2, has_inf_arg__2, bit_slice.30283, and_reduce.30284, id=30285, pos=[(0,3404,21), (1,367,48), (1,404,22), (1,427,64)])
  result_exp__8: bits[8] = sel(or.30285, cases=[bit_slice.30281, high_exp], id=30286, pos=[(0,3404,21), (1,367,48), (1,404,22), (1,427,64)])
  nprod_bexpnot: bits[8] = not(result_exp__8, id=30287, 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.30099, nprod_bexpnot, id=30288, 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=30289, pos=[(3,91,63), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  or.30292: bits[1] = or(has_inf_arg__2, bit_slice.30283, and_reduce.30284, is_subnormal__2, id=30292, 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=30290, pos=[(2,1114,45), (3,91,63), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  not.30976: bits[1] = not(or.30292, id=30976, 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=30294, pos=[(2,1116,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=30293, pos=[(1,367,48), (1,404,22), (1,427,64)])
  sign_ext.30977: bits[23] = sign_ext(not.30976, new_bit_count=23, id=30977, pos=[(0,3397,26), (1,367,48), (1,404,22), (1,427,64)])
  ONE_POINT_FIVE_bexp__2: bits[8] = literal(value=127, id=30301, pos=[(0,3091,59), (1,363,48), (1,406,22), (1,427,64)])
  nc: bits[1] = not(overflow_detected, id=30789, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  or.30787: bits[1] = or(overflow_detected, is_result_nan__2, id=30787, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__7: bits[23] = and(result_fraction__6, sign_ext.30977, id=30978, 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=30307, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  or.30790: bits[1] = or(nc, is_result_nan__2, id=30790, 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=30309, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  approx_sign__2: bits[1] = bit_slice(sub.30154, start=31, width=1, id=30296, pos=[(0,378,15), (1,61,65), (1,398,26), (1,427,64)])
  ONE_POINT_FIVE_fraction__1: bits[23] = sel(or.30787, cases=[result_fraction__7, nan_fraction], id=30788, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  ne.31322: bits[1] = ne(ONE_POINT_FIVE_bexp__3, literal.31535, id=31322, pos=[(0,3099,21), (1,363,48), (1,406,22), (1,427,64)])
  nprod_fraction: bits[23] = sel(or.30790, cases=[result_fraction__7, nan_fraction], id=30791, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  ne.31321: bits[1] = ne(nprod_bexp, literal.31535, id=31321, pos=[(0,3100,21), (1,363,48), (1,406,22), (1,427,64)])
  not.30299: bits[1] = not(is_result_nan__1, id=30299, 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=30300, pos=[(0,3378,23), (1,367,48), (1,403,22), (1,427,64)])
  fraction_x: bits[24] = concat(literal.31296, ONE_POINT_FIVE_fraction__1, id=30316, pos=[(0,3095,22), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.30980: bits[24] = sign_ext(ne.31322, new_bit_count=24, id=30980, pos=[(0,3099,21), (1,363,48), (1,406,22), (1,427,64)])
  fraction_y: bits[24] = concat(literal.31296, nprod_fraction, id=30319, pos=[(0,3096,22), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.30983: bits[24] = sign_ext(ne.31321, new_bit_count=24, id=30983, 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=30303, 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=30304, pos=[(3,94,32), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  literal.30305: bits[7] = literal(value=0, id=30305, pos=[(0,3010,68), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  result_sign__3: bits[1] = and(not.30299, result_sign__2, id=30306, pos=[(0,3407,22), (1,367,48), (1,403,22), (1,427,64)])
  fraction_x__1: bits[24] = and(fraction_x, sign_ext.30980, id=30981, pos=[(0,3099,21), (1,363,48), (1,406,22), (1,427,64)])
  fraction_y__1: bits[24] = and(fraction_y, sign_ext.30983, id=30984, 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=30325, 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=30311, pos=[(3,95,18), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  concat.30312: bits[8] = concat(literal.30305, overflow_detected, id=30312, pos=[(0,3010,68), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  not.30313: bits[1] = not(is_result_nan__2, id=30313, 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=30314, pos=[(0,3378,23), (1,367,48), (1,404,22), (1,427,64)])
  wide_x_squeezed: bits[25] = concat(literal.30099, fraction_x__1, id=30328, 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=30329, pos=[(0,3116,31), (1,363,48), (1,406,22), (1,427,64)])
  shift: bits[8] = add(result__5, concat.30312, id=30321, pos=[(3,54,7), (0,3010,68), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  literal.30320: bits[28] = literal(value=268435455, id=30320, pos=[(2,1406,19), (2,1496,17), (2,1523,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  result_sign__5: bits[1] = and(not.30313, result_sign__4, id=30322, pos=[(0,3407,22), (1,367,48), (1,404,22), (1,427,64)])
  neg.30334: bits[25] = neg(wide_x_squeezed, id=30334, pos=[(0,3110,41), (1,363,48), (1,406,22), (1,427,64)])
  shrl.30335: bits[27] = shrl(wide_y_shift_bits, shift, id=30335, pos=[(0,3116,31), (1,363,48), (1,406,22), (1,427,64)])
  not.31424: bits[23] = not(nprod_fraction, id=31424, pos=[(2,1406,4), (2,1496,17), (2,1523,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  shll.30326: bits[28] = shll(literal.30320, shift, id=30326, pos=[(2,1406,19), (2,1496,17), (2,1523,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.30334, wide_x_squeezed], id=30987, pos=[(0,3110,19), (1,363,48), (1,406,22), (1,427,64)])
  literal.30343: bits[2] = literal(value=0, id=30343, pos=[(1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31412: bits[24] = bit_slice(shrl.30335, start=3, width=24, id=31412, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  concat.31427: bits[24] = concat(literal.30099, not.31424, id=31427, pos=[(2,1406,4), (2,1496,17), (2,1523,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  not.31331: bits[24] = not(sign_ext.30983, id=31331, pos=[(2,1406,4), (2,1496,17), (2,1523,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30331: bits[24] = bit_slice(shll.30326, start=3, width=24, id=30331, pos=[(2,1406,19), (2,1496,17), (2,1523,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.31385: bits[26] = sign_ext(ONE_POINT_FIVEddend_x__2_squeezed, new_bit_count=26, id=31385, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  concat.31387: bits[26] = concat(literal.30343, bit_slice.31412, id=31387, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  nor.31332: bits[24] = nor(concat.31427, not.31331, bit_slice.30331, id=31332, pos=[(2,1406,4), (2,1496,17), (2,1523,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  literal.30317: bits[24] = literal(value=0, id=30317, pos=[(0,3099,49), (1,363,48), (1,406,22), (1,427,64)])
  add.31306: bits[26] = add(sign_ext.31385, concat.31387, id=31306, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30340: bits[1] = bit_slice(shrl.30335, start=0, width=1, id=30340, pos=[(0,3053,40), (0,3116,30), (1,363,48), (1,406,22), (1,427,64)])
  sticky__6: bits[1] = ne(nor.31332, literal.30317, id=30341, pos=[(2,1496,17), (2,1523,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31370: bits[25] = bit_slice(add.31306, start=0, width=25, id=31370, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31413: bits[2] = bit_slice(shrl.30335, start=1, width=2, id=31413, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  or.30345: bits[1] = or(bit_slice.30340, sticky__6, id=30345, pos=[(0,3053,40), (0,3116,30), (1,363,48), (1,406,22), (1,427,64)])
  concat.31421: bits[28] = concat(bit_slice.31370, bit_slice.31413, or.30345, id=31421, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31372: bits[1] = bit_slice(add.31306, start=25, width=1, id=31372, pos=[(0,3130,12), (1,363,48), (1,406,22), (1,427,64)])
  neg.30351: bits[28] = neg(concat.31421, id=30351, pos=[(0,3130,46), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVEbs_fraction__1: bits[28] = sel(bit_slice.31372, cases=[concat.31421, neg.30351], id=30352, pos=[(0,3130,9), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30440: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=4, width=1, id=30440, pos=[(2,1585,70), (2,1590,64), (2,1595,64), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30416: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=6, width=1, id=30416, pos=[(2,1585,70), (2,1590,34), (2,1595,64), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30413: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=11, width=1, id=30413, pos=[(2,1585,40), (2,1590,34), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30391: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=10, width=1, id=30391, pos=[(2,1585,70), (2,1590,34), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30436: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=9, width=1, id=30436, pos=[(2,1585,40), (2,1590,64), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30415: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=8, width=1, id=30415, pos=[(2,1585,70), (2,1590,64), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30390: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=12, width=1, id=30390, pos=[(2,1585,70), (2,1590,64), (2,1595,64), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30370: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=14, width=1, id=30370, pos=[(2,1585,70), (2,1590,34), (2,1595,64), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30367: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=19, width=1, id=30367, pos=[(2,1585,40), (2,1590,34), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30358: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=18, width=1, id=30358, pos=[(2,1585,70), (2,1590,34), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30386: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=17, width=1, id=30386, pos=[(2,1585,40), (2,1590,64), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30369: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=16, width=1, id=30369, pos=[(2,1585,70), (2,1590,64), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,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=30354, pos=[(2,1585,40), (2,1590,34), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30353: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=26, width=1, id=30353, pos=[(2,1585,70), (2,1590,34), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30362: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=25, width=1, id=30362, pos=[(2,1585,40), (2,1590,64), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30356: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=24, width=1, id=30356, pos=[(2,1585,70), (2,1590,64), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30364: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=23, width=1, id=30364, pos=[(2,1585,40), (2,1590,34), (2,1595,64), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30357: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=22, width=1, id=30357, pos=[(2,1585,70), (2,1590,34), (2,1595,64), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30381: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=21, width=1, id=30381, pos=[(2,1585,40), (2,1590,64), (2,1595,64), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30366: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=20, width=1, id=30366, pos=[(2,1585,70), (2,1590,64), (2,1595,64), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30438: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=7, width=1, id=30438, pos=[(2,1585,40), (2,1590,34), (2,1595,64), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30460: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=5, width=1, id=30460, pos=[(2,1585,40), (2,1590,64), (2,1595,64), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30461: bits[1] = not(bit_slice.30440, id=30461, pos=[(2,1578,4), (2,1585,64), (2,1590,64), (2,1595,64), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30439: bits[1] = not(bit_slice.30416, id=30439, pos=[(2,1578,4), (2,1585,64), (2,1590,34), (2,1595,64), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.30878: bits[1] = or(bit_slice.30413, bit_slice.30391, id=30878, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30455: bits[1] = nor(bit_slice.30436, bit_slice.30415, id=30455, pos=[(2,1585,22), (2,1590,64), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30434: bits[1] = nor(bit_slice.30413, bit_slice.30391, id=30434, pos=[(2,1585,22), (2,1590,34), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30414: bits[1] = not(bit_slice.30391, id=30414, pos=[(2,1578,4), (2,1585,64), (2,1590,34), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30437: bits[1] = not(bit_slice.30415, id=30437, pos=[(2,1578,4), (2,1585,64), (2,1590,64), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30388: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=15, width=1, id=30388, pos=[(2,1585,40), (2,1590,34), (2,1595,64), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30411: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=13, width=1, id=30411, pos=[(2,1585,40), (2,1590,64), (2,1595,64), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30412: bits[1] = not(bit_slice.30390, id=30412, pos=[(2,1578,4), (2,1585,64), (2,1590,64), (2,1595,64), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30389: bits[1] = not(bit_slice.30370, id=30389, pos=[(2,1578,4), (2,1585,64), (2,1590,34), (2,1595,64), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.30879: bits[1] = or(bit_slice.30367, bit_slice.30358, id=30879, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30406: bits[1] = nor(bit_slice.30386, bit_slice.30369, id=30406, pos=[(2,1585,22), (2,1590,64), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30384: bits[1] = nor(bit_slice.30367, bit_slice.30358, id=30384, pos=[(2,1585,22), (2,1590,34), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.31492: bits[1] = not(bit_slice.30358, id=31492, pos=[(2,1585,22), (2,1590,34), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30387: bits[1] = not(bit_slice.30369, id=30387, pos=[(2,1578,4), (2,1585,64), (2,1590,64), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30360: bits[1] = nor(carry_bit, bit_slice.30353, id=30360, pos=[(2,1585,22), (2,1590,34), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30376: bits[1] = nor(bit_slice.30362, bit_slice.30356, id=30376, pos=[(2,1585,22), (2,1590,64), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.30881: bits[1] = or(carry_bit, bit_slice.30353, id=30881, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.31496: bits[1] = not(bit_slice.30353, id=31496, pos=[(2,1585,22), (2,1590,34), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30363: bits[1] = not(bit_slice.30356, id=30363, pos=[(2,1578,4), (2,1585,64), (2,1590,64), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.30882: bits[1] = or(bit_slice.30364, bit_slice.30357, id=30882, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30400: bits[1] = nor(bit_slice.30381, bit_slice.30366, id=30400, pos=[(2,1585,22), (2,1590,64), (2,1595,64), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30379: bits[1] = nor(bit_slice.30364, bit_slice.30357, id=30379, pos=[(2,1585,22), (2,1590,34), (2,1595,64), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30365: bits[1] = not(bit_slice.30357, id=30365, pos=[(2,1578,4), (2,1585,64), (2,1590,34), (2,1595,64), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30382: bits[1] = not(bit_slice.30366, id=30382, pos=[(2,1578,4), (2,1585,64), (2,1590,64), (2,1595,64), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30482: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=3, width=1, id=30482, pos=[(2,1585,40), (2,1590,34), (2,1595,34), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30462: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=2, width=1, id=30462, pos=[(2,1585,70), (2,1590,34), (2,1595,34), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30506: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=1, width=1, id=30506, pos=[(2,1585,40), (2,1590,64), (2,1595,34), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30484: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=0, width=1, id=30484, pos=[(2,1585,70), (2,1590,64), (2,1595,34), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.30877: bits[1] = or(bit_slice.30438, bit_slice.30416, id=30877, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30480: bits[1] = nor(bit_slice.30460, bit_slice.30440, id=30480, pos=[(2,1585,22), (2,1590,64), (2,1595,64), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30479: bits[1] = nor(bit_slice.30460, not.30461, id=30479, pos=[(2,1585,22), (2,1590,64), (2,1595,64), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30458: bits[1] = nor(bit_slice.30438, bit_slice.30416, id=30458, pos=[(2,1585,22), (2,1590,34), (2,1595,64), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30457: bits[1] = nor(bit_slice.30438, not.30439, id=30457, pos=[(2,1585,22), (2,1590,34), (2,1595,64), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30537: bits[1] = nor(or.30878, nor.30455, id=30537, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30538: bits[1] = and(nor.30434, nor.30455, id=30538, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30433: bits[1] = nor(bit_slice.30413, not.30414, id=30433, pos=[(2,1585,22), (2,1590,34), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30454: bits[1] = nor(bit_slice.30436, not.30437, id=30454, pos=[(2,1585,22), (2,1590,64), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.30880: bits[1] = or(bit_slice.30388, bit_slice.30370, id=30880, pos=[(2,1590,22), (2,1595,64), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30431: bits[1] = nor(bit_slice.30411, bit_slice.30390, id=30431, pos=[(2,1585,22), (2,1590,64), (2,1595,64), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30430: bits[1] = nor(bit_slice.30411, not.30412, id=30430, pos=[(2,1585,22), (2,1590,64), (2,1595,64), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30409: bits[1] = nor(bit_slice.30388, bit_slice.30370, id=30409, pos=[(2,1585,22), (2,1590,34), (2,1595,64), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30408: bits[1] = nor(bit_slice.30388, not.30389, id=30408, pos=[(2,1585,22), (2,1590,34), (2,1595,64), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30492: bits[1] = nor(or.30879, nor.30406, id=30492, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30493: bits[1] = and(nor.30384, nor.30406, id=30493, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.31493: bits[1] = nor(bit_slice.30367, not.31492, id=31493, pos=[(2,1585,22), (2,1590,34), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30405: bits[1] = nor(bit_slice.30386, not.30387, id=30405, pos=[(2,1585,22), (2,1590,64), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30464: bits[1] = and(nor.30360, nor.30376, id=30464, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30463: bits[1] = nor(or.30881, nor.30376, id=30463, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.31497: bits[1] = nor(carry_bit, not.31496, id=31497, pos=[(2,1585,22), (2,1590,34), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30375: bits[1] = nor(bit_slice.30362, not.30363, id=30375, pos=[(2,1585,22), (2,1590,64), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30489: bits[1] = nor(or.30882, nor.30400, id=30489, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30490: bits[1] = and(nor.30379, nor.30400, id=30490, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30378: bits[1] = nor(bit_slice.30364, not.30365, id=30378, pos=[(2,1585,22), (2,1590,34), (2,1595,64), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30399: bits[1] = nor(bit_slice.30381, not.30382, id=30399, pos=[(2,1585,22), (2,1590,64), (2,1595,64), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.30876: bits[1] = or(bit_slice.30482, bit_slice.30462, id=30876, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30528: bits[1] = nor(bit_slice.30506, bit_slice.30484, id=30528, pos=[(2,1585,22), (2,1590,64), (2,1595,34), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30504: bits[1] = nor(bit_slice.30482, bit_slice.30462, id=30504, pos=[(2,1585,22), (2,1590,34), (2,1595,34), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30483: bits[1] = not(bit_slice.30462, id=30483, pos=[(2,1578,4), (2,1585,64), (2,1590,34), (2,1595,34), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30507: bits[1] = not(bit_slice.30484, id=30507, pos=[(2,1578,4), (2,1585,64), (2,1590,64), (2,1595,34), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30554: bits[1] = nor(or.30877, nor.30480, id=30554, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30861: bits[2] = concat(literal.31296, nor.30479, id=30861, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31095: bits[2] = concat(nor.30458, nor.30457, id=31095, pos=[(2,1585,22), (2,1590,34), (2,1595,64), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30550: bits[2] = concat(nor.30537, and.30538, id=30550, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31288: bits[2] = concat(nor.30433, literal.30099, id=31288, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31253: bits[2] = concat(literal.31296, nor.30454, id=31253, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31086: bits[2] = concat(nor.30434, nor.30433, id=31086, pos=[(2,1585,22), (2,1590,34), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30517: bits[1] = nor(or.30880, nor.30431, id=30517, pos=[(2,1590,22), (2,1595,64), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30856: bits[2] = concat(literal.31296, nor.30430, id=30856, pos=[(2,1590,22), (2,1595,64), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31077: bits[2] = concat(nor.30409, nor.30408, id=31077, pos=[(2,1585,22), (2,1590,34), (2,1595,64), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30513: bits[2] = concat(nor.30492, and.30493, id=30513, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31287: bits[2] = concat(nor.31493, literal.30099, id=31287, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31244: bits[2] = concat(literal.31296, nor.30405, id=31244, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31068: bits[2] = concat(nor.30384, nor.31493, id=31068, pos=[(2,1585,22), (2,1590,34), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30546: bits[1] = not(and.30464, id=30546, pos=[(2,1595,22), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30485: bits[2] = concat(nor.30463, and.30464, id=30485, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31286: bits[2] = concat(nor.31497, literal.30099, id=31286, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31237: bits[2] = concat(literal.31296, nor.30375, id=31237, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31050: bits[2] = concat(literal.30099, nor.31497, id=31050, pos=[(2,1585,22), (2,1590,34), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30509: bits[2] = concat(nor.30489, and.30490, id=30509, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30849: bits[2] = concat(nor.30378, literal.30099, id=30849, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30851: bits[2] = concat(literal.31296, nor.30399, id=30851, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31059: bits[2] = concat(nor.30379, nor.30378, id=31059, pos=[(2,1585,22), (2,1590,34), (2,1595,64), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30580: bits[1] = nor(or.30876, nor.30528, id=30580, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30581: bits[1] = and(nor.30504, nor.30528, id=30581, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30503: bits[1] = nor(bit_slice.30482, not.30483, id=30503, pos=[(2,1585,22), (2,1590,34), (2,1595,34), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30527: bits[1] = nor(bit_slice.30506, not.30507, id=30527, pos=[(2,1585,22), (2,1590,64), (2,1595,34), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30588: bits[1] = not(and.30538, id=30588, pos=[(2,1595,22), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30555: bits[1] = and(nor.30458, nor.30480, id=30555, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.30891: bits[2] = priority_sel(nor.30554, cases=[concat.30861], default=concat.31095, id=30891, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31126: bits[2] = priority_sel(concat.30550, cases=[concat.31288, concat.31253], default=concat.31086, id=31126, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30562: bits[1] = not(and.30493, id=30562, pos=[(2,1595,22), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30518: bits[1] = and(nor.30409, nor.30431, id=30518, pos=[(2,1590,22), (2,1595,64), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.30992: bits[2] = priority_sel(nor.30517, cases=[concat.30856], default=concat.31077, id=30992, pos=[(2,1590,22), (2,1595,64), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31108: bits[2] = priority_sel(concat.30513, cases=[concat.31287, concat.31244], default=concat.31068, id=31108, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30559: bits[1] = nor(not.30546, and.30490, id=30559, pos=[(2,1595,22), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30560: bits[1] = and(and.30464, and.30490, id=30560, pos=[(2,1595,22), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31099: bits[2] = priority_sel(concat.30485, cases=[concat.31286, concat.31237], default=concat.31050, id=31099, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.30833: bits[2] = priority_sel(concat.30509, cases=[concat.30849, concat.30851], default=concat.31059, id=30833, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30590: bits[2] = concat(nor.30580, and.30581, id=30590, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31290: bits[2] = concat(nor.30503, literal.30099, id=31290, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31267: bits[2] = concat(literal.31296, nor.30527, id=31267, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31122: bits[2] = concat(nor.30504, nor.30503, id=31122, pos=[(2,1585,22), (2,1590,34), (2,1595,34), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30596: bits[1] = nor(not.30588, and.30555, id=30596, pos=[(2,1595,22), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31219: bits[3] = concat(literal.31296, priority_sel.30891, id=31219, pos=[(2,1535,24), (2,1595,22), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31131: bits[3] = concat(and.30538, priority_sel.31126, id=31131, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30575: bits[1] = nor(not.30562, and.30518, id=30575, pos=[(2,1595,22), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30866: bits[3] = concat(literal.31296, priority_sel.30992, id=30866, pos=[(2,1595,22), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31113: bits[3] = concat(and.30493, priority_sel.31108, id=31113, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30571: bits[2] = concat(nor.30559, and.30560, id=30571, pos=[(2,1595,22), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31289: bits[3] = concat(priority_sel.31099, literal.30099, id=31289, pos=[(2,1595,22), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31260: bits[3] = concat(literal.31296, priority_sel.30833, id=31260, pos=[(2,1595,22), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31104: bits[3] = concat(literal.30099, priority_sel.31099, id=31104, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31144: bits[2] = priority_sel(concat.30590, cases=[concat.31290, concat.31267], default=concat.31122, id=31144, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.30995: bits[3] = priority_sel(nor.30596, cases=[concat.31219], default=concat.31131, id=30995, pos=[(2,1595,22), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30600: bits[1] = not(and.30560, id=30600, pos=[(2,1600,22), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30576: bits[1] = and(and.30493, and.30518, id=30576, pos=[(2,1595,22), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.30893: bits[3] = priority_sel(nor.30575, cases=[concat.30866], default=concat.31113, id=30893, pos=[(2,1595,22), (2,1600,64), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31135: bits[3] = priority_sel(concat.30571, cases=[concat.31289, concat.31260], default=concat.31104, id=31135, pos=[(2,1595,22), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30597: bits[1] = and(and.30538, and.30555, id=30597, pos=[(2,1595,22), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31282: bits[4] = concat(literal.31296, and.30581, priority_sel.31144, id=31282, pos=[(2,1600,22), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31284: bits[4] = concat(literal.30099, priority_sel.30995, id=31284, pos=[(2,1595,22), (2,1600,34), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30608: bits[1] = nor(not.30600, and.30576, id=30608, pos=[(2,1600,22), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31222: bits[4] = concat(literal.31296, priority_sel.30893, id=31222, pos=[(2,1535,24), (2,1600,22), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31140: bits[4] = concat(and.30560, priority_sel.31135, id=31140, pos=[(2,1595,22), (2,1600,34), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.30620: bits[4] = priority_sel(and.30597, cases=[concat.31282], default=concat.31284, id=30620, pos=[(2,1600,22), (2,1605,66), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31001: bits[4] = priority_sel(nor.30608, cases=[concat.31222], default=concat.31140, id=31001, pos=[(2,1600,22), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30609: bits[1] = and(and.30560, and.30576, id=30609, pos=[(2,1600,22), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30622: bits[5] = concat(literal.31296, priority_sel.30620, id=30622, pos=[(2,1605,22), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31285: bits[5] = concat(literal.30099, priority_sel.31001, id=31285, pos=[(2,1600,22), (2,1605,35), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30623: bits[29] = concat(literal.30099, ONE_POINT_FIVEbs_fraction__1, id=30623, pos=[(1,363,48), (1,406,22), (1,427,64)])
  leading_zeroes: bits[5] = priority_sel(and.30609, cases=[concat.30622], default=concat.31285, id=30624, pos=[(2,1605,22), (2,1638,30), (2,1702,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  cancel_fraction: bits[29] = shll(concat.30623, leading_zeroes, id=30625, pos=[(0,3144,26), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30626: bits[26] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=2, width=26, id=30626, pos=[(0,3053,20), (0,3137,36), (1,363,48), (1,406,22), (1,427,64)])
  or.30627: bits[1] = or(bit_slice.30506, bit_slice.30484, id=30627, 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=30628, pos=[(1,363,48), (1,406,22), (1,427,64)])
  carry_fraction__1: bits[27] = concat(bit_slice.30626, or.30627, id=30629, 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=30630, 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=30631, pos=[(0,3158,39), (1,363,48), (1,406,22), (1,427,64)])
  fraction_shift__3: bits[3] = literal(value=4, id=30607, pos=[(2,1595,22), (2,1600,64), (2,1605,66), (2,1638,30), (2,1702,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=30632, pos=[(0,3159,41), (1,363,48), (1,406,22), (1,427,64)])
  literal.30633: bits[2] = literal(value=3, id=30633, pos=[(0,3160,68), (1,363,48), (1,406,22), (1,427,64)])
  ugt.30634: bits[1] = ugt(normal_chunk, fraction_shift__3, id=30634, pos=[(0,3160,23), (1,363,48), (1,406,22), (1,427,64)])
  eq.30635: bits[1] = eq(half_way_chunk, literal.30633, id=30635, pos=[(0,3160,50), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31390: bits[24] = bit_slice(shifted_fraction, start=3, width=24, id=31390)
  do_round_up__3: bits[1] = or(ugt.30634, eq.30635, id=30638, pos=[(0,3160,23), (1,363,48), (1,406,22), (1,427,64)])
  concat.31391: bits[25] = concat(literal.30099, bit_slice.31390, id=31391)
  concat.31514: bits[25] = concat(literal.30317, do_round_up__3, id=31514)
  add.31318: bits[25] = add(concat.31391, concat.31514, id=31318)
  literal.30641: bits[5] = literal(value=0, id=30641, pos=[(1,363,48), (1,406,22), (1,427,64)])
  rounding_carry: bits[1] = bit_slice(add.31318, start=24, width=1, id=31374, pos=[(0,3168,41), (1,363,48), (1,406,22), (1,427,64)])
  literal.31469: bits[26] = literal(value=0, id=31469, pos=[(0,3121,39), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31508: bits[1] = bit_slice(shrl.30335, start=1, width=1, id=31508, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31509: bits[1] = bit_slice(shrl.30335, start=2, width=1, id=31509, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  concat.30643: bits[9] = concat(literal.30099, ONE_POINT_FIVE_bexp__3, id=30643, pos=[(1,363,48), (1,406,22), (1,427,64)])
  literal.30644: bits[9] = literal(value=1, id=30644, pos=[(0,3180,24), (1,363,48), (1,406,22), (1,427,64)])
  concat.31415: bits[6] = concat(literal.30641, rounding_carry, id=31415, pos=[(1,363,48), (1,406,22), (1,427,64)])
  concat.30646: bits[6] = concat(literal.30099, leading_zeroes, id=30646, pos=[(1,363,48), (1,406,22), (1,427,64)])
  eq.31439: bits[1] = eq(add.31306, literal.31469, id=31439, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  nor.31499: bits[1] = nor(bit_slice.31508, bit_slice.31509, id=31499, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  nor.31500: bits[1] = nor(bit_slice.30340, sticky__6, id=31500, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  add.30647: bits[9] = add(concat.30643, literal.30644, id=30647, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  sub.30648: bits[6] = sub(concat.31415, concat.30646, id=30648, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  fraction_is_zero: bits[1] = and(eq.31439, nor.31499, nor.31500, id=31485, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent_associative_element: bits[10] = concat(literal.30099, add.30647, id=30650, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent_associative_element__1: bits[10] = sign_ext(sub.30648, new_bit_count=10, id=30651, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  not.31007: bits[1] = not(fraction_is_zero, id=31007, 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=30653, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.31008: bits[10] = sign_ext(not.31007, new_bit_count=10, id=31008, pos=[(0,3181,24), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent__1: bits[10] = and(wide_exponent, sign_ext.31008, id=31009, pos=[(0,3181,24), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30659: bits[1] = bit_slice(wide_exponent__1, start=9, width=1, id=30659, pos=[(0,3184,27), (1,363,48), (1,406,22), (1,427,64)])
  not.31010: bits[1] = not(bit_slice.30659, id=31010, pos=[(0,3184,24), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30660: bits[9] = bit_slice(wide_exponent__1, start=0, width=9, id=30660, pos=[(1,363,48), (1,406,22), (1,427,64)])
  sign_ext.31011: bits[9] = sign_ext(not.31010, new_bit_count=9, id=31011, pos=[(0,3184,24), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent__2: bits[9] = and(bit_slice.30660, sign_ext.31011, id=31012, pos=[(0,3184,24), (1,363,48), (1,406,22), (1,427,64)])
  eq.30655: bits[1] = eq(ONE_POINT_FIVE_bexp__3, high_exp, id=30655, pos=[(0,96,6), (0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  eq.30656: bits[1] = eq(ONE_POINT_FIVE_fraction__1, literal.31447, id=30656, pos=[(0,96,44), (0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  not.30327: bits[1] = not(result_sign__5, id=30327, pos=[(1,405,32), (1,427,64)])
  eq.30657: bits[1] = eq(nprod_bexp, high_exp, id=30657, pos=[(0,96,6), (0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  eq.30658: bits[1] = eq(nprod_fraction, literal.31447, id=30658, pos=[(0,96,44), (0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30670: bits[8] = bit_slice(wide_exponent__2, start=1, width=8, id=30670, pos=[(0,3194,11), (1,363,48), (1,406,22), (1,427,64)])
  not.30661: bits[1] = not(eq.30655, id=30661, pos=[(0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  not.30662: bits[1] = not(eq.30656, id=30662, pos=[(0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVE_sign__1: bits[1] = and(nc, not.30327, id=30332, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  not.30663: bits[1] = not(eq.30657, id=30663, pos=[(0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  not.30664: bits[1] = not(eq.30658, id=30664, pos=[(0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  nprod_sign: bits[1] = and(overflow_detected, not.30327, id=30333, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  and.30674: bits[1] = and(eq.30655, eq.30656, id=30674, pos=[(0,96,6), (0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  and.30675: bits[1] = and(eq.30657, eq.30658, id=30675, pos=[(0,96,6), (0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30676: bits[8] = bit_slice(wide_exponent__2, start=0, width=8, id=30676, pos=[(0,3202,11), (1,363,48), (1,406,22), (1,427,64)])
  or_reduce.30677: bits[1] = or_reduce(bit_slice.30670, id=30677, pos=[(0,3194,11), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30678: bits[1] = bit_slice(wide_exponent__2, start=0, width=1, id=30678, pos=[(0,3194,11), (1,363,48), (1,406,22), (1,427,64)])
  nor.30666: bits[1] = nor(not.30661, not.30662, ONE_POINT_FIVE_sign__1, id=30666, pos=[(0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  nor.30667: bits[1] = nor(not.30663, not.30664, nprod_sign, id=30667, pos=[(0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  and.30668: bits[1] = and(eq.30655, eq.30656, ONE_POINT_FIVE_sign__1, id=30668, pos=[(0,3215,29), (1,363,48), (1,406,22), (1,427,64)])
  and.30669: bits[1] = and(eq.30657, eq.30658, nprod_sign, id=30669, pos=[(0,3216,29), (1,363,48), (1,406,22), (1,427,64)])
  fraction_shift__2: bits[3] = literal(value=3, id=30671, pos=[(0,3174,8), (1,363,48), (1,406,22), (1,427,64)])
  is_operand_inf: bits[1] = or(and.30674, and.30675, id=30683, pos=[(0,3205,31), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30684: bits[1] = bit_slice(wide_exponent__2, start=8, width=1, id=30684, pos=[(0,3202,11), (1,363,48), (1,406,22), (1,427,64)])
  and_reduce.30685: bits[1] = and_reduce(bit_slice.30676, id=30685, pos=[(0,3202,11), (1,363,48), (1,406,22), (1,427,64)])
  nor.30686: bits[1] = nor(or_reduce.30677, bit_slice.30678, id=30686, pos=[(0,3194,11), (1,363,48), (1,406,22), (1,427,64)])
  has_pos_inf: bits[1] = or(nor.30666, nor.30667, id=30672, pos=[(0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  has_neg_inf: bits[1] = or(and.30668, and.30669, id=30673, pos=[(0,3215,29), (1,363,48), (1,406,22), (1,427,64)])
  rounded_fraction: bits[28] = concat(add.31318, normal_chunk, id=31420)
  fraction_shift__1: bits[3] = sel(rounding_carry, cases=[fraction_shift__2, fraction_shift__3], id=30679, pos=[(0,3174,8), (1,363,48), (1,406,22), (1,427,64)])
  or.30689: bits[1] = or(is_operand_inf, bit_slice.30684, and_reduce.30685, nor.30686, id=30689, pos=[(0,3207,26), (1,363,48), (1,406,22), (1,427,64)])
  nor.30680: bits[1] = nor(not.30661, eq.30656, id=30680, pos=[(0,71,6), (0,3217,30), (1,363,48), (1,406,22), (1,427,64)])
  nor.30681: bits[1] = nor(not.30663, eq.30658, id=30681, pos=[(0,71,6), (0,3217,64), (1,363,48), (1,406,22), (1,427,64)])
  and.30682: bits[1] = and(has_pos_inf, has_neg_inf, id=30682, pos=[(0,3218,25), (1,363,48), (1,406,22), (1,427,64)])
  shrl.30687: bits[28] = shrl(rounded_fraction, fraction_shift__1, id=30687, pos=[(0,3175,27), (1,363,48), (1,406,22), (1,427,64)])
  not.31013: bits[1] = not(or.30689, id=31013, pos=[(0,3207,26), (1,363,48), (1,406,22), (1,427,64)])
  is_result_nan__3: bits[1] = or(nor.30680, nor.30681, and.30682, id=30688, pos=[(0,3217,30), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__9: bits[23] = bit_slice(shrl.30687, start=0, width=23, id=30690, pos=[(1,363,48), (1,406,22), (1,427,64)])
  sign_ext.31014: bits[23] = sign_ext(not.31013, new_bit_count=23, id=31014, pos=[(0,3207,26), (1,363,48), (1,406,22), (1,427,64)])
  or.30691: bits[1] = or(is_result_nan__3, is_operand_inf, bit_slice.30684, and_reduce.30685, id=30691, pos=[(0,3220,26), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__10: bits[23] = and(result_fraction__9, sign_ext.31014, id=31015, pos=[(0,3207,26), (1,363,48), (1,406,22), (1,427,64)])
  result_exponent__2: bits[8] = sel(or.30691, cases=[bit_slice.30676, high_exp], id=30693, 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=30694, pos=[(0,3221,26), (1,363,48), (1,406,22), (1,427,64)])
  eq.30695: bits[1] = eq(result_exponent__2, literal.31535, id=30695, pos=[(0,804,5), (0,3291,67), (1,367,48), (1,407,11), (1,427,64)])
  diff_fraction__3: bits[24] = concat(literal.31296, result_fraction__11, id=30696, pos=[(0,3296,23), (1,367,48), (1,407,11), (1,427,64)])
  nor.31333: bits[1] = nor(eq.30162, eq.30695, id=31333, pos=[(0,3300,19), (1,367,48), (1,407,11), (1,427,64)])
  concat.30697: bits[9] = concat(literal.30099, result_exponent__2, id=30697, pos=[(1,367,48), (1,407,11), (1,427,64)])
  umul.30699: bits[48] = umul(approx_fraction__4, diff_fraction__3, id=30699, pos=[(0,3300,63), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31017: bits[48] = sign_ext(nor.31333, new_bit_count=48, id=31017, pos=[(0,3300,19), (1,367,48), (1,407,11), (1,427,64)])
  add.30700: bits[9] = add(concat.30166, concat.30697, id=30700, pos=[(0,3309,16), (1,367,48), (1,407,11), (1,427,64)])
  fraction__25: bits[48] = and(umul.30699, sign_ext.31017, id=31018, pos=[(0,3300,19), (1,367,48), (1,407,11), (1,427,64)])
  concat.30702: bits[10] = concat(literal.30099, add.30700, id=30702, pos=[(0,3309,16), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30703: bits[1] = bit_slice(fraction__25, start=47, width=1, id=30703, pos=[(0,3324,33), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30704: bits[1] = bit_slice(fraction__25, start=0, width=1, id=30704, pos=[(0,3329,25), (1,367,48), (1,407,11), (1,427,64)])
  exp__12: bits[10] = add(concat.30702, literal.30108, id=30705, pos=[(0,3309,16), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31020: bits[10] = sign_ext(nor.31333, new_bit_count=10, id=31020, pos=[(0,3318,14), (1,367,48), (1,407,11), (1,427,64)])
  fraction__26: bits[48] = shrl(fraction__25, bit_slice.30703, id=30706, pos=[(0,3330,19), (1,367,48), (1,407,11), (1,427,64)])
  sticky__7: bits[48] = concat(literal.30173, bit_slice.30704, id=30707, pos=[(1,367,48), (1,407,11), (1,427,64)])
  exp__13: bits[10] = and(exp__12, sign_ext.31020, id=31021, pos=[(0,3318,14), (1,367,48), (1,407,11), (1,427,64)])
  concat.30709: bits[10] = concat(literal.31527, bit_slice.30703, id=30709, pos=[(1,367,48), (1,407,11), (1,427,64)])
  fraction__27: bits[48] = or(fraction__26, sticky__7, id=30710, pos=[(0,3331,19), (1,367,48), (1,407,11), (1,427,64)])
  exp__14: bits[10] = add(exp__13, concat.30709, id=30711, pos=[(0,3334,14), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30712: bits[47] = bit_slice(fraction__27, start=1, width=47, id=30712, pos=[(0,3346,48), (1,367,48), (1,407,11), (1,427,64)])
  sle.30713: bits[1] = sle(exp__14, literal.30113, id=30713, pos=[(0,3346,22), (1,367,48), (1,407,11), (1,427,64)])
  concat.30714: bits[48] = concat(literal.30099, bit_slice.30712, id=30714, pos=[(0,3346,48), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30715: bits[1] = bit_slice(fraction__27, start=0, width=1, id=30715, pos=[(0,3345,25), (1,367,48), (1,407,11), (1,427,64)])
  fraction__28: bits[48] = sel(sle.30713, cases=[fraction__27, concat.30714], id=30716, pos=[(0,3346,19), (1,367,48), (1,407,11), (1,427,64)])
  sticky__8: bits[48] = concat(literal.30173, bit_slice.30715, id=30717, pos=[(1,367,48), (1,407,11), (1,427,64)])
  fraction__29: bits[48] = or(fraction__28, sticky__8, id=30718, pos=[(0,3347,19), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30719: bits[22] = bit_slice(fraction__29, start=0, width=22, id=30719, pos=[(0,3360,41), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30720: bits[1] = bit_slice(fraction__29, start=22, width=1, id=30720, pos=[(0,3359,40), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30721: bits[1] = bit_slice(fraction__29, start=23, width=1, id=30721, pos=[(0,3363,45), (1,367,48), (1,407,11), (1,427,64)])
  ne.30722: bits[1] = ne(bit_slice.30719, literal.30871, id=30722, pos=[(0,3360,41), (1,367,48), (1,407,11), (1,427,64)])
  not.30723: bits[1] = not(bit_slice.30720, id=30723, pos=[(0,3363,23), (1,367,48), (1,407,11), (1,427,64)])
  not.30724: bits[1] = not(bit_slice.30721, id=30724, pos=[(0,3363,23), (1,367,48), (1,407,11), (1,427,64)])
  greater_than_half_way__3: bits[1] = and(bit_slice.30720, ne.30722, id=30726, pos=[(0,3359,40), (1,367,48), (1,407,11), (1,427,64)])
  nor.30727: bits[1] = nor(not.30723, ne.30722, not.30724, id=30727, 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=30725, pos=[(1,367,48), (1,407,11), (1,427,64)])
  do_round_up__4: bits[1] = or(greater_than_half_way__3, nor.30727, id=30729, pos=[(0,3362,22), (1,367,48), (1,407,11), (1,427,64)])
  fraction__31: bits[24] = concat(literal.30099, fraction__30, id=30728, pos=[(1,367,48), (1,407,11), (1,427,64)])
  concat.31515: bits[24] = concat(literal.31447, do_round_up__4, id=31515)
  fraction__32: bits[24] = add(fraction__31, concat.31515, id=30935)
  bit_slice.30733: bits[1] = bit_slice(fraction__32, start=23, width=1, id=30733, pos=[(0,3374,25), (1,367,48), (1,407,11), (1,427,64)])
  add.30734: bits[10] = add(exp__14, literal.30128, id=30734, pos=[(0,3374,33), (1,367,48), (1,407,11), (1,427,64)])
  exp__15: bits[10] = sel(bit_slice.30733, cases=[exp__14, add.30734], id=30738, pos=[(0,3374,14), (1,367,48), (1,407,11), (1,427,64)])
  is_subnormal__3: bits[1] = sle(exp__15, literal.30113, id=30743, pos=[(0,3375,23), (1,367,48), (1,407,11), (1,427,64)])
  not.31024: bits[1] = not(is_subnormal__3, id=31024, 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=30744, pos=[(1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31025: bits[9] = sign_ext(not.31024, new_bit_count=9, id=31025, pos=[(0,3384,21), (1,367,48), (1,407,11), (1,427,64)])
  eq.30735: bits[1] = eq(result_exponent__2, high_exp, id=30735, pos=[(0,96,6), (0,3402,62), (1,367,48), (1,407,11), (1,427,64)])
  eq.30736: bits[1] = eq(result_fraction__11, literal.31447, id=30736, 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.31025, id=31026, pos=[(0,3384,21), (1,367,48), (1,407,11), (1,427,64)])
  and.30739: bits[1] = and(eq.30735, eq.30736, id=30739, pos=[(0,96,6), (0,3402,62), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30754: bits[8] = bit_slice(result_exp__10, start=0, width=8, id=30754, pos=[(0,3392,11), (1,367,48), (1,407,11), (1,427,64)])
  has_0_arg: bits[1] = eq(x_bexp__2, literal.31535, id=30094, pos=[(0,804,5), (0,809,27), (1,78,31), (1,396,30), (1,427,64)])
  concat.31416: bits[2] = concat(bit_slice.31372, fraction_is_zero, id=31416, pos=[(1,363,48), (1,406,22), (1,427,64)])
  not.30742: bits[1] = not(nprod_sign, id=30742, pos=[(0,3210,59), (1,363,48), (1,406,22), (1,427,64)])
  has_inf_arg__3: bits[1] = or(and.30213, and.30739, id=30746, pos=[(0,3402,28), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30757: bits[1] = bit_slice(result_exp__10, start=8, width=1, id=30757, pos=[(0,3392,11), (1,367,48), (1,407,11), (1,427,64)])
  and_reduce.30758: bits[1] = and_reduce(bit_slice.30754, id=30758, pos=[(0,3392,11), (1,367,48), (1,407,11), (1,427,64)])
  not.31027: bits[1] = not(has_0_arg, id=31027, pos=[(0,809,4), (1,78,31), (1,396,30), (1,427,64)])
  not.30745: bits[1] = not(eq.30735, id=30745, pos=[(0,71,6), (0,3401,62), (1,367,48), (1,407,11), (1,427,64)])
  has_0_arg__3: bits[1] = or(eq.30162, eq.30695, id=30698, pos=[(0,3291,40), (1,367,48), (1,407,11), (1,427,64)])
  result_sign__6: bits[1] = priority_sel(concat.31416, cases=[literal.30099, not.30742], default=nprod_sign, id=30747, pos=[(1,363,48), (1,406,22), (1,427,64)])
  not.30748: bits[1] = not(has_pos_inf, id=30748, pos=[(0,3211,42), (1,363,48), (1,406,22), (1,427,64)])
  or.30761: bits[1] = or(has_inf_arg__3, bit_slice.30757, and_reduce.30758, is_subnormal__3, id=30761, pos=[(0,3397,26), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31028: bits[23] = sign_ext(not.31027, new_bit_count=23, id=31028, pos=[(0,809,4), (1,78,31), (1,396,30), (1,427,64)])
  nor.30750: bits[1] = nor(not.30745, eq.30736, id=30750, pos=[(0,71,6), (0,3401,62), (1,367,48), (1,407,11), (1,427,64)])
  and.30751: bits[1] = and(has_0_arg__3, has_inf_arg__3, id=30751, pos=[(0,3403,40), (1,367,48), (1,407,11), (1,427,64)])
  not.30752: bits[1] = not(is_result_nan__3, id=30752, 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.30748], id=30753, pos=[(0,3211,22), (1,363,48), (1,406,22), (1,427,64)])
  not.31030: bits[1] = not(or.30761, id=31030, pos=[(0,3397,26), (1,367,48), (1,407,11), (1,427,64)])
  x__1_fraction__2: bits[23] = and(tuple_index.30095, sign_ext.31028, id=31029, pos=[(0,809,4), (1,78,31), (1,396,30), (1,427,64)])
  is_result_nan__4: bits[1] = or(nor.30220, nor.30750, and.30751, id=30755, pos=[(0,3403,24), (1,367,48), (1,407,11), (1,427,64)])
  result_sign__8: bits[1] = and(not.30752, result_sign__7, id=30756, 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=30762, pos=[(1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31031: bits[23] = sign_ext(not.31030, new_bit_count=23, id=31031, pos=[(0,3397,26), (1,367,48), (1,407,11), (1,427,64)])
  eq.30136: bits[1] = eq(x_bexp__2, high_exp, id=30136, pos=[(0,96,6), (0,3402,28), (1,367,48), (1,399,20), (1,427,64)])
  eq.30139: bits[1] = eq(x__1_fraction__2, literal.31447, id=30139, pos=[(0,96,44), (0,3402,28), (1,367,48), (1,399,20), (1,427,64)])
  not.30759: bits[1] = not(is_result_nan__4, id=30759, 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=30760, pos=[(0,3378,23), (1,367,48), (1,407,11), (1,427,64)])
  result_fraction__13: bits[23] = and(result_fraction__12, sign_ext.31031, id=31032, pos=[(0,3397,26), (1,367,48), (1,407,11), (1,427,64)])
  nand.31334: bits[1] = nand(eq.30136, eq.30139, id=31334, pos=[(1,417,17), (1,427,64)])
  has_inf_arg: bits[1] = and(eq.30136, eq.30139, id=30145, pos=[(0,96,6), (0,3402,28), (1,367,48), (1,399,20), (1,427,64)])
  result_sign__10: bits[1] = and(not.30759, result_sign__9, id=30763, 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=30768, pos=[(0,3406,26), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31034: bits[23] = sign_ext(nand.31334, new_bit_count=23, id=31034, pos=[(1,417,17), (1,427,64)])
  not.30138: bits[1] = not(eq.30136, id=30138, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,399,20), (1,427,64)])
  sel.30766: bits[1] = sel(has_inf_arg, cases=[result_sign__10, x_sign__1], id=30766, pos=[(1,417,17), (1,427,64)])
  or.30764: bits[1] = or(is_result_nan__4, has_inf_arg__3, bit_slice.30757, and_reduce.30758, id=30764, pos=[(0,3404,21), (1,367,48), (1,407,11), (1,427,64)])
  and.31035: bits[23] = and(result_fraction__14, sign_ext.31034, id=31035, pos=[(1,417,17), (1,427,64)])
  nor.30141: bits[1] = nor(not.30138, eq.30139, id=30141, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,399,20), (1,427,64)])
  not.30770: bits[1] = not(sel.30766, id=30770, pos=[(1,419,17), (1,427,64)])
  result_exp__11: bits[8] = sel(or.30764, cases=[bit_slice.30754, high_exp], id=30767, pos=[(0,3404,21), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31037: bits[8] = sign_ext(nand.31334, new_bit_count=8, id=31037, pos=[(1,417,17), (1,427,64)])
  sel.30776: bits[23] = sel(x_sign__1, cases=[and.31035, nan_fraction], id=30776, pos=[(1,419,17), (1,427,64)])
  or.30792: bits[1] = or(has_0_arg, nor.30141, id=30792, pos=[(1,423,17), (1,427,64)])
  nor.30774: bits[1] = nor(x_sign__1, not.30770, id=30774, pos=[(1,419,17), (1,427,64)])
  or.30887: bits[1] = or(has_0_arg, nor.30141, x_sign__1, id=30887, pos=[(1,423,17), (1,427,64)])
  and.31038: bits[8] = and(result_exp__11, sign_ext.31037, id=31038, pos=[(1,417,17), (1,427,64)])
  sel.30779: bits[23] = sel(nor.30141, cases=[sel.30776, tuple_index.30095], id=30779, pos=[(1,421,17), (1,427,64)])
  sel.30793: bits[1] = sel(or.30792, cases=[nor.30774, x_sign__1], id=30793, pos=[(1,423,17), (1,427,64)])
  sel.30886: bits[8] = sel(or.30887, cases=[and.31038, high_exp], id=30886, pos=[(1,423,17), (1,427,64)])
  and.31041: bits[23] = and(sel.30779, sign_ext.31028, id=31041, pos=[(1,423,17), (1,427,64)])
  ret result__4: (bits[1], bits[8], bits[23]) = tuple(sel.30793, sel.30886, and.31041, id=30783, pos=[(1,423,17), (1,427,64)])
}