package float32

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

top fn __float32__sub(x: (bits[1], bits[8], bits[23]) id=845, y: (bits[1], bits[8], bits[23]) id=846) -> (bits[1], bits[8], bits[23]) {
  y_bexp__2: bits[8] = tuple_index(y, index=1, id=27862, pos=[(2,3242,65), (3,365,48)])
  literal.27866: bits[1] = literal(value=0, id=27866, pos=[(1,91,63), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  x_bexp__2: bits[8] = tuple_index(x, index=1, id=27867, pos=[(2,3091,59), (2,3243,7), (3,365,48)])
  y__1_bexpnot__1: bits[8] = not(y_bexp__2, id=27868, pos=[(1,90,15), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  x_bexp_extended__2: bits[9] = concat(literal.27866, x_bexp__2, id=27869, pos=[(1,91,63), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  y__1_bexpnot_extended__1: bits[9] = concat(literal.27866, y__1_bexpnot__1, id=27870, pos=[(1,91,63), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  full_result: bits[9] = add(x_bexp_extended__2, y__1_bexpnot_extended__1, id=27871, pos=[(0,1114,45), (1,91,63), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  overflow_detected: bits[1] = bit_slice(full_result, start=8, width=1, id=27872, pos=[(0,1116,49), (1,91,63), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  y_fraction__2: bits[23] = tuple_index(y, index=2, id=27863, pos=[(2,3242,83), (3,365,48)])
  tuple_index.27875: bits[23] = tuple_index(x, index=2, id=27875, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  x_bexp__3: bits[8] = sel(overflow_detected, cases=[y_bexp__2, x_bexp__2], id=28292, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  literal.27877: bits[8] = literal(value=0, id=27877, pos=[(2,3099,34), (2,3243,7), (3,365,48)])
  y_bexp__3: bits[8] = sel(overflow_detected, cases=[x_bexp__2, y_bexp__2], id=28290, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  literal.27878: bits[1] = literal(value=1, id=27878, pos=[(2,3095,22), (2,3243,7), (3,365,48)])
  x_fraction__1: bits[23] = sel(overflow_detected, cases=[y_fraction__2, tuple_index.27875], id=28293, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  ne.28685: bits[1] = ne(x_bexp__3, literal.27877, id=28685, pos=[(2,3099,21), (2,3243,7), (3,365,48)])
  y_fraction__3: bits[23] = sel(overflow_detected, cases=[tuple_index.27875, y_fraction__2], id=28291, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  ne.28684: bits[1] = ne(y_bexp__3, literal.27877, id=28684, pos=[(2,3100,21), (2,3243,7), (3,365,48)])
  nc: bits[1] = not(overflow_detected, id=27873, pos=[(1,92,19), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  y_sign__2: bits[1] = tuple_index(y, index=0, id=27860, pos=[(2,3242,51), (3,365,48)])
  fraction_x: bits[24] = concat(literal.27878, x_fraction__1, id=27899, pos=[(2,3095,22), (2,3243,7), (3,365,48)])
  sign_ext.28419: bits[24] = sign_ext(ne.28685, new_bit_count=24, id=28419, pos=[(2,3099,21), (2,3243,7), (3,365,48)])
  fraction_y: bits[24] = concat(literal.27878, y_fraction__3, id=27881, pos=[(2,3096,22), (2,3243,7), (3,365,48)])
  sign_ext.28422: bits[24] = sign_ext(ne.28684, new_bit_count=24, id=28422, pos=[(2,3100,21), (2,3243,7), (3,365,48)])
  narrowed_result: bits[8] = bit_slice(full_result, start=0, width=8, id=27886, pos=[(1,91,63), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  x_bexpor_mask__1: bits[8] = sign_ext(nc, new_bit_count=8, id=27887, pos=[(1,94,32), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  literal.27888: bits[7] = literal(value=0, id=27888, pos=[(2,3010,68), (2,3091,57), (2,3243,7), (3,365,48)])
  not.27861: bits[1] = not(y_sign__2, id=27861, pos=[(2,3242,49), (3,365,48)])
  tuple_index.27906: bits[1] = tuple_index(x, index=0, id=27906, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  fraction_x__1: bits[24] = and(fraction_x, sign_ext.28419, id=28420, pos=[(2,3099,21), (2,3243,7), (3,365,48)])
  fraction_y__1: bits[24] = and(fraction_y, sign_ext.28422, id=28423, pos=[(2,3100,21), (2,3243,7), (3,365,48)])
  xddend_x__2_squeezed_const_lsb_bits: bits[3] = literal(value=0, id=27884, pos=[(2,3104,17), (2,3243,7), (3,365,48)])
  result: bits[8] = xor(narrowed_result, x_bexpor_mask__1, id=27890, pos=[(1,95,18), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  concat.27891: bits[8] = concat(literal.27888, overflow_detected, id=27891, pos=[(2,3010,68), (2,3091,57), (2,3243,7), (3,365,48)])
  x_sign__1: bits[1] = sel(overflow_detected, cases=[not.27861, tuple_index.27906], id=28294, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  y_sign__3: bits[1] = sel(overflow_detected, cases=[tuple_index.27906, not.27861], id=28295, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  wide_x_squeezed: bits[25] = concat(literal.27866, fraction_x__1, id=27908, pos=[(2,3103,17), (2,3243,7), (3,365,48)])
  wide_y_shift_bits: bits[27] = concat(fraction_y__1, xddend_x__2_squeezed_const_lsb_bits, id=27903, pos=[(2,3116,31), (2,3243,7), (3,365,48)])
  shift: bits[8] = add(result, concat.27891, id=27897, pos=[(1,54,7), (2,3010,68), (2,3091,57), (2,3243,7), (3,365,48)])
  literal.27896: bits[28] = literal(value=268435455, id=27896, pos=[(0,1406,19), (0,1496,17), (0,1523,22), (2,3115,35), (2,3243,7), (3,365,48)])
  xor.27916: bits[1] = xor(x_sign__1, y_sign__3, id=27916, pos=[(2,3110,23), (2,3243,7), (3,365,48)])
  neg.27913: bits[25] = neg(wide_x_squeezed, id=27913, pos=[(2,3110,41), (2,3243,7), (3,365,48)])
  shrl.27909: bits[27] = shrl(wide_y_shift_bits, shift, id=27909, pos=[(2,3116,31), (2,3243,7), (3,365,48)])
  not.28766: bits[23] = not(y_fraction__3, id=28766, pos=[(0,1406,4), (0,1496,17), (0,1523,22), (2,3115,35), (2,3243,7), (3,365,48)])
  shll.27901: bits[28] = shll(literal.27896, shift, id=27901, pos=[(0,1406,19), (0,1496,17), (0,1523,22), (2,3115,35), (2,3243,7), (3,365,48)])
  xddend_x__2_squeezed: bits[25] = sel(xor.27916, cases=[wide_x_squeezed, neg.27913], id=28426, pos=[(2,3110,19), (2,3243,7), (3,365,48)])
  literal.28303: bits[2] = literal(value=0, id=28303, pos=[(2,3243,7), (3,365,48)])
  bit_slice.28758: bits[24] = bit_slice(shrl.27909, start=3, width=24, id=28758, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  concat.28769: bits[24] = concat(literal.27866, not.28766, id=28769, pos=[(0,1406,4), (0,1496,17), (0,1523,22), (2,3115,35), (2,3243,7), (3,365,48)])
  not.28688: bits[24] = not(sign_ext.28422, id=28688, pos=[(0,1406,4), (0,1496,17), (0,1523,22), (2,3115,35), (2,3243,7), (3,365,48)])
  bit_slice.27905: bits[24] = bit_slice(shll.27901, start=3, width=24, id=27905, pos=[(0,1406,19), (0,1496,17), (0,1523,22), (2,3115,35), (2,3243,7), (3,365,48)])
  sign_ext.28735: bits[26] = sign_ext(xddend_x__2_squeezed, new_bit_count=26, id=28735, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  concat.28737: bits[26] = concat(literal.28303, bit_slice.28758, id=28737, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  nor.28689: bits[24] = nor(concat.28769, not.28688, bit_slice.27905, id=28689, pos=[(0,1406,4), (0,1496,17), (0,1523,22), (2,3115,35), (2,3243,7), (3,365,48)])
  literal.27882: bits[24] = literal(value=0, id=27882, pos=[(2,3099,49), (2,3243,7), (3,365,48)])
  add.28669: bits[26] = add(sign_ext.28735, concat.28737, id=28669, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  bit_slice.27914: bits[1] = bit_slice(shrl.27909, start=0, width=1, id=27914, pos=[(2,3053,40), (2,3116,30), (2,3243,7), (3,365,48)])
  sticky: bits[1] = ne(nor.28689, literal.27882, id=27915, pos=[(0,1496,17), (0,1523,22), (2,3115,35), (2,3243,7), (3,365,48)])
  bit_slice.28728: bits[25] = bit_slice(add.28669, start=0, width=25, id=28728, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  bit_slice.28759: bits[2] = bit_slice(shrl.27909, start=1, width=2, id=28759, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  or.27920: bits[1] = or(bit_slice.27914, sticky, id=27920, pos=[(2,3053,40), (2,3116,30), (2,3243,7), (3,365,48)])
  concat.28764: bits[28] = concat(bit_slice.28728, bit_slice.28759, or.27920, id=28764, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  bit_slice.28730: bits[1] = bit_slice(add.28669, start=25, width=1, id=28730, pos=[(2,3130,12), (2,3243,7), (3,365,48)])
  neg.27928: bits[28] = neg(concat.28764, id=27928, pos=[(2,3130,46), (2,3243,7), (3,365,48)])
  xbs_fraction__1: bits[28] = sel(bit_slice.28730, cases=[concat.28764, neg.27928], id=27929, pos=[(2,3130,9), (2,3243,7), (3,365,48)])
  bit_slice.28017: bits[1] = bit_slice(xbs_fraction__1, start=4, width=1, id=28017, pos=[(0,1585,70), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27993: bits[1] = bit_slice(xbs_fraction__1, start=6, width=1, id=27993, pos=[(0,1585,70), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27990: bits[1] = bit_slice(xbs_fraction__1, start=11, width=1, id=27990, pos=[(0,1585,40), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27968: bits[1] = bit_slice(xbs_fraction__1, start=10, width=1, id=27968, pos=[(0,1585,70), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28013: bits[1] = bit_slice(xbs_fraction__1, start=9, width=1, id=28013, pos=[(0,1585,40), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27992: bits[1] = bit_slice(xbs_fraction__1, start=8, width=1, id=27992, pos=[(0,1585,70), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27967: bits[1] = bit_slice(xbs_fraction__1, start=12, width=1, id=27967, pos=[(0,1585,70), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27947: bits[1] = bit_slice(xbs_fraction__1, start=14, width=1, id=27947, pos=[(0,1585,70), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27944: bits[1] = bit_slice(xbs_fraction__1, start=19, width=1, id=27944, pos=[(0,1585,40), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27935: bits[1] = bit_slice(xbs_fraction__1, start=18, width=1, id=27935, pos=[(0,1585,70), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27963: bits[1] = bit_slice(xbs_fraction__1, start=17, width=1, id=27963, pos=[(0,1585,40), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27946: bits[1] = bit_slice(xbs_fraction__1, start=16, width=1, id=27946, pos=[(0,1585,70), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  carry_bit: bits[1] = bit_slice(xbs_fraction__1, start=27, width=1, id=27931, pos=[(0,1585,40), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27930: bits[1] = bit_slice(xbs_fraction__1, start=26, width=1, id=27930, pos=[(0,1585,70), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27939: bits[1] = bit_slice(xbs_fraction__1, start=25, width=1, id=27939, pos=[(0,1585,40), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27933: bits[1] = bit_slice(xbs_fraction__1, start=24, width=1, id=27933, pos=[(0,1585,70), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27943: bits[1] = bit_slice(xbs_fraction__1, start=20, width=1, id=27943, pos=[(0,1585,70), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27934: bits[1] = bit_slice(xbs_fraction__1, start=22, width=1, id=27934, pos=[(0,1585,70), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28015: bits[1] = bit_slice(xbs_fraction__1, start=7, width=1, id=28015, pos=[(0,1585,40), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28037: bits[1] = bit_slice(xbs_fraction__1, start=5, width=1, id=28037, pos=[(0,1585,40), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28038: bits[1] = not(bit_slice.28017, id=28038, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28858: bits[1] = not(bit_slice.27993, id=28858, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  or.28380: bits[1] = or(bit_slice.27990, bit_slice.27968, id=28380, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28032: bits[1] = nor(bit_slice.28013, bit_slice.27992, id=28032, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28011: bits[1] = nor(bit_slice.27990, bit_slice.27968, id=28011, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28862: bits[1] = not(bit_slice.27968, id=28862, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28014: bits[1] = not(bit_slice.27992, id=28014, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27965: bits[1] = bit_slice(xbs_fraction__1, start=15, width=1, id=27965, pos=[(0,1585,40), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27988: bits[1] = bit_slice(xbs_fraction__1, start=13, width=1, id=27988, pos=[(0,1585,40), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.27989: bits[1] = not(bit_slice.27967, id=27989, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.27966: bits[1] = not(bit_slice.27947, id=27966, pos=[(0,1578,4), (0,1585,64), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  or.28382: bits[1] = or(bit_slice.27944, bit_slice.27935, id=28382, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.27983: bits[1] = nor(bit_slice.27963, bit_slice.27946, id=27983, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.27961: bits[1] = nor(bit_slice.27944, bit_slice.27935, id=27961, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.27964: bits[1] = not(bit_slice.27946, id=27964, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28865: bits[1] = not(bit_slice.27935, id=28865, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.27937: bits[1] = nor(carry_bit, bit_slice.27930, id=27937, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.27953: bits[1] = nor(bit_slice.27939, bit_slice.27933, id=27953, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27941: bits[1] = bit_slice(xbs_fraction__1, start=23, width=1, id=27941, pos=[(0,1585,40), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.27958: bits[1] = bit_slice(xbs_fraction__1, start=21, width=1, id=27958, pos=[(0,1585,40), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  or.28383: bits[1] = or(carry_bit, bit_slice.27930, id=28383, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28869: bits[1] = not(bit_slice.27930, id=28869, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.27940: bits[1] = not(bit_slice.27933, id=27940, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.27959: bits[1] = not(bit_slice.27943, id=27959, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.27942: bits[1] = not(bit_slice.27934, id=27942, pos=[(0,1578,4), (0,1585,64), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28059: bits[1] = bit_slice(xbs_fraction__1, start=3, width=1, id=28059, pos=[(0,1585,40), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28039: bits[1] = bit_slice(xbs_fraction__1, start=2, width=1, id=28039, pos=[(0,1585,70), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28083: bits[1] = bit_slice(xbs_fraction__1, start=1, width=1, id=28083, pos=[(0,1585,40), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28061: bits[1] = bit_slice(xbs_fraction__1, start=0, width=1, id=28061, pos=[(0,1585,70), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  or.28379: bits[1] = or(bit_slice.28015, bit_slice.27993, id=28379, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28057: bits[1] = nor(bit_slice.28037, bit_slice.28017, id=28057, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28056: bits[1] = nor(bit_slice.28037, not.28038, id=28056, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28856: bits[1] = nor(bit_slice.28015, bit_slice.27993, id=28856, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28859: bits[1] = nor(bit_slice.28015, not.28858, id=28859, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28114: bits[1] = nor(or.28380, nor.28032, id=28114, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28115: bits[1] = and(nor.28011, nor.28032, id=28115, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28863: bits[1] = nor(bit_slice.27990, not.28862, id=28863, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28031: bits[1] = nor(bit_slice.28013, not.28014, id=28031, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  or.28381: bits[1] = or(bit_slice.27965, bit_slice.27947, id=28381, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28008: bits[1] = nor(bit_slice.27988, bit_slice.27967, id=28008, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28007: bits[1] = nor(bit_slice.27988, not.27989, id=28007, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.27985: bits[1] = nor(bit_slice.27965, not.27966, id=27985, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28069: bits[1] = nor(or.28382, nor.27983, id=28069, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28070: bits[1] = and(nor.27961, nor.27983, id=28070, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.27982: bits[1] = nor(bit_slice.27963, not.27964, id=27982, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28866: bits[1] = nor(bit_slice.27944, not.28865, id=28866, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28041: bits[1] = and(nor.27937, nor.27953, id=28041, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.27956: bits[1] = nor(bit_slice.27941, bit_slice.27934, id=27956, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.27977: bits[1] = nor(bit_slice.27958, bit_slice.27943, id=27977, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28040: bits[1] = nor(or.28383, nor.27953, id=28040, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28870: bits[1] = nor(carry_bit, not.28869, id=28870, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.27952: bits[1] = nor(bit_slice.27939, not.27940, id=27952, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  or.28384: bits[1] = or(bit_slice.27941, bit_slice.27934, id=28384, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.27976: bits[1] = nor(bit_slice.27958, not.27959, id=27976, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.27955: bits[1] = nor(bit_slice.27941, not.27942, id=27955, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  or.28378: bits[1] = or(bit_slice.28059, bit_slice.28039, id=28378, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28105: bits[1] = nor(bit_slice.28083, bit_slice.28061, id=28105, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28081: bits[1] = nor(bit_slice.28059, bit_slice.28039, id=28081, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28084: bits[1] = not(bit_slice.28061, id=28084, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28854: bits[1] = not(bit_slice.28039, id=28854, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28131: bits[1] = nor(or.28379, nor.28057, id=28131, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28368: bits[2] = concat(literal.27878, nor.28056, id=28368, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28492: bits[2] = concat(nor.28856, nor.28859, id=28492, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28127: bits[2] = concat(nor.28114, and.28115, id=28127, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28665: bits[2] = concat(nor.28863, literal.27866, id=28665, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28640: bits[2] = concat(literal.27878, nor.28031, id=28640, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28483: bits[2] = concat(nor.28011, nor.28863, id=28483, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.27986: bits[1] = nor(bit_slice.27965, bit_slice.27947, id=27986, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28094: bits[1] = nor(or.28381, nor.28008, id=28094, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28363: bits[2] = concat(literal.27878, nor.28007, id=28363, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28879: bits[2] = concat(literal.27866, nor.27985, id=28879, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28090: bits[2] = concat(nor.28069, and.28070, id=28090, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28635: bits[2] = concat(literal.27878, nor.27982, id=28635, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28474: bits[2] = concat(nor.27961, nor.28866, id=28474, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28123: bits[1] = not(and.28041, id=28123, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28067: bits[1] = and(nor.27956, nor.27977, id=28067, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28062: bits[2] = concat(nor.28040, and.28041, id=28062, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28664: bits[2] = concat(nor.28870, literal.27866, id=28664, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28630: bits[2] = concat(literal.27878, nor.27952, id=28630, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28465: bits[2] = concat(literal.27866, nor.28870, id=28465, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28066: bits[1] = nor(or.28384, nor.27977, id=28066, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28360: bits[2] = concat(literal.27878, nor.27976, id=28360, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28880: bits[2] = concat(literal.27866, nor.27955, id=28880, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28157: bits[1] = nor(or.28378, nor.28105, id=28157, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28158: bits[1] = and(nor.28081, nor.28105, id=28158, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28104: bits[1] = nor(bit_slice.28083, not.28084, id=28104, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28855: bits[1] = nor(bit_slice.28059, not.28854, id=28855, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28165: bits[1] = not(and.28115, id=28165, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28132: bits[1] = and(nor.28856, nor.28057, id=28132, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28389: bits[2] = priority_sel(nor.28131, cases=[concat.28368], default=concat.28492, id=28389, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28523: bits[2] = priority_sel(concat.28127, cases=[concat.28665, concat.28640], default=concat.28483, id=28523, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28139: bits[1] = not(and.28070, id=28139, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28095: bits[1] = and(nor.27986, nor.28008, id=28095, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28344: bits[2] = priority_sel(nor.28094, cases=[concat.28363], default=concat.28879, id=28344, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28505: bits[2] = priority_sel(concat.28090, cases=[literal.28303, concat.28635], default=concat.28474, id=28505, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28136: bits[1] = nor(not.28123, and.28067, id=28136, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28137: bits[1] = and(and.28041, and.28067, id=28137, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28496: bits[2] = priority_sel(concat.28062, cases=[concat.28664, concat.28630], default=concat.28465, id=28496, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28341: bits[2] = priority_sel(nor.28066, cases=[concat.28360], default=concat.28880, id=28341, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28167: bits[2] = concat(nor.28157, and.28158, id=28167, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28652: bits[2] = concat(literal.27878, nor.28104, id=28652, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28519: bits[2] = concat(nor.28081, nor.28855, id=28519, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28173: bits[1] = nor(not.28165, and.28132, id=28173, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28619: bits[3] = concat(literal.27878, priority_sel.28389, id=28619, pos=[(0,1535,24), (0,1595,22), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28528: bits[3] = concat(and.28115, priority_sel.28523, id=28528, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28152: bits[1] = nor(not.28139, and.28095, id=28152, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28371: bits[3] = concat(literal.27878, priority_sel.28344, id=28371, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28510: bits[3] = concat(and.28070, priority_sel.28505, id=28510, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28148: bits[2] = concat(nor.28136, and.28137, id=28148, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28666: bits[3] = concat(priority_sel.28496, literal.27866, id=28666, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28647: bits[3] = concat(literal.27878, priority_sel.28341, id=28647, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28501: bits[3] = concat(literal.27866, priority_sel.28496, id=28501, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28541: bits[2] = priority_sel(concat.28167, cases=[literal.28303, concat.28652], default=concat.28519, id=28541, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28436: bits[3] = priority_sel(nor.28173, cases=[concat.28619], default=concat.28528, id=28436, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28177: bits[1] = not(and.28137, id=28177, pos=[(0,1600,22), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28153: bits[1] = and(and.28070, and.28095, id=28153, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28391: bits[3] = priority_sel(nor.28152, cases=[concat.28371], default=concat.28510, id=28391, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28532: bits[3] = priority_sel(concat.28148, cases=[concat.28666, concat.28647], default=concat.28501, id=28532, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28174: bits[1] = and(and.28115, and.28132, id=28174, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28660: bits[4] = concat(literal.27878, and.28158, priority_sel.28541, id=28660, pos=[(0,1600,22), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28662: bits[4] = concat(literal.27866, priority_sel.28436, id=28662, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28185: bits[1] = nor(not.28177, and.28153, id=28185, pos=[(0,1600,22), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28622: bits[4] = concat(literal.27878, priority_sel.28391, id=28622, pos=[(0,1535,24), (0,1600,22), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28537: bits[4] = concat(and.28137, priority_sel.28532, id=28537, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28197: bits[4] = priority_sel(and.28174, cases=[concat.28660], default=concat.28662, id=28197, pos=[(0,1600,22), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28442: bits[4] = priority_sel(nor.28185, cases=[concat.28622], default=concat.28537, id=28442, pos=[(0,1600,22), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28186: bits[1] = and(and.28137, and.28153, id=28186, pos=[(0,1600,22), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28199: bits[5] = concat(literal.27878, priority_sel.28197, id=28199, pos=[(0,1605,22), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28663: bits[5] = concat(literal.27866, priority_sel.28442, id=28663, pos=[(0,1600,22), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28200: bits[29] = concat(literal.27866, xbs_fraction__1, id=28200, pos=[(2,3243,7), (3,365,48)])
  leading_zeroes: bits[5] = priority_sel(and.28186, cases=[concat.28199], default=concat.28663, id=28201, pos=[(0,1605,22), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  cancel_fraction: bits[29] = shll(concat.28200, leading_zeroes, id=28202, pos=[(2,3144,26), (2,3243,7), (3,365,48)])
  bit_slice.28203: bits[26] = bit_slice(xbs_fraction__1, start=2, width=26, id=28203, pos=[(2,3053,20), (2,3137,36), (2,3243,7), (3,365,48)])
  or.28204: bits[1] = or(bit_slice.28083, bit_slice.28061, id=28204, pos=[(2,3053,40), (2,3137,36), (2,3243,7), (3,365,48)])
  cancel_fraction__1: bits[27] = bit_slice(cancel_fraction, start=1, width=27, id=28205, pos=[(2,3243,7), (3,365,48)])
  carry_fraction__1: bits[27] = concat(bit_slice.28203, or.28204, id=28206, pos=[(2,3053,20), (2,3137,36), (2,3243,7), (3,365,48)])
  shifted_fraction: bits[27] = sel(carry_bit, cases=[cancel_fraction__1, carry_fraction__1], id=28207, pos=[(2,3146,27), (2,3243,7), (3,365,48)])
  normal_chunk: bits[3] = bit_slice(shifted_fraction, start=0, width=3, id=28208, pos=[(2,3158,39), (2,3243,7), (3,365,48)])
  fraction_shift__3: bits[3] = literal(value=4, id=28313, pos=[(0,1534,24), (0,1590,22), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (2,3243,7), (3,365,48)])
  half_way_chunk: bits[2] = bit_slice(shifted_fraction, start=2, width=2, id=28209, pos=[(2,3159,41), (2,3243,7), (3,365,48)])
  literal.28210: bits[2] = literal(value=3, id=28210, pos=[(2,3160,68), (2,3243,7), (3,365,48)])
  ugt.28211: bits[1] = ugt(normal_chunk, fraction_shift__3, id=28211, pos=[(2,3160,23), (2,3243,7), (3,365,48)])
  eq.28212: bits[1] = eq(half_way_chunk, literal.28210, id=28212, pos=[(2,3160,50), (2,3243,7), (3,365,48)])
  bit_slice.28740: bits[24] = bit_slice(shifted_fraction, start=3, width=24, id=28740)
  do_round_up: bits[1] = or(ugt.28211, eq.28212, id=28215, pos=[(2,3160,23), (2,3243,7), (3,365,48)])
  concat.28741: bits[25] = concat(literal.27866, bit_slice.28740, id=28741)
  concat.28881: bits[25] = concat(literal.27882, do_round_up, id=28881)
  add.28681: bits[25] = add(concat.28741, concat.28881, id=28681)
  literal.28218: bits[5] = literal(value=0, id=28218, pos=[(2,3243,7), (3,365,48)])
  rounding_carry: bits[1] = bit_slice(add.28681, start=24, width=1, id=28732, pos=[(2,3168,41), (2,3243,7), (3,365,48)])
  literal.28828: bits[26] = literal(value=0, id=28828, pos=[(2,3121,39), (2,3243,7), (3,365,48)])
  bit_slice.28877: bits[1] = bit_slice(shrl.27909, start=1, width=1, id=28877, pos=[(2,3121,27), (2,3243,7), (3,365,48)])
  bit_slice.28878: bits[1] = bit_slice(shrl.27909, start=2, width=1, id=28878, pos=[(2,3121,27), (2,3243,7), (3,365,48)])
  concat.28220: bits[9] = concat(literal.27866, x_bexp__3, id=28220, pos=[(2,3243,7), (3,365,48)])
  literal.28221: bits[9] = literal(value=1, id=28221, pos=[(2,3180,24), (2,3243,7), (3,365,48)])
  concat.28760: bits[6] = concat(literal.28218, rounding_carry, id=28760, pos=[(2,3243,7), (3,365,48)])
  concat.28223: bits[6] = concat(literal.27866, leading_zeroes, id=28223, pos=[(2,3243,7), (3,365,48)])
  eq.28796: bits[1] = eq(add.28669, literal.28828, id=28796, pos=[(2,3121,27), (2,3243,7), (3,365,48)])
  nor.28851: bits[1] = nor(bit_slice.28877, bit_slice.28878, id=28851, pos=[(2,3121,27), (2,3243,7), (3,365,48)])
  nor.28852: bits[1] = nor(bit_slice.27914, sticky, id=28852, pos=[(2,3121,27), (2,3243,7), (3,365,48)])
  add.28224: bits[9] = add(concat.28220, literal.28221, id=28224, pos=[(2,3179,26), (2,3243,7), (3,365,48)])
  sub.28225: bits[6] = sub(concat.28760, concat.28223, id=28225, pos=[(2,3179,26), (2,3243,7), (3,365,48)])
  fraction_is_zero: bits[1] = and(eq.28796, nor.28851, nor.28852, id=28850, pos=[(2,3121,27), (2,3243,7), (3,365,48)])
  wide_exponent_associative_element: bits[10] = concat(literal.27866, add.28224, id=28227, pos=[(2,3179,26), (2,3243,7), (3,365,48)])
  wide_exponent_associative_element__1: bits[10] = sign_ext(sub.28225, new_bit_count=10, id=28228, pos=[(2,3179,26), (2,3243,7), (3,365,48)])
  not.28448: bits[1] = not(fraction_is_zero, id=28448, pos=[(2,3181,24), (2,3243,7), (3,365,48)])
  wide_exponent: bits[10] = add(wide_exponent_associative_element, wide_exponent_associative_element__1, id=28230, pos=[(2,3179,26), (2,3243,7), (3,365,48)])
  sign_ext.28449: bits[10] = sign_ext(not.28448, new_bit_count=10, id=28449, pos=[(2,3181,24), (2,3243,7), (3,365,48)])
  wide_exponent__1: bits[10] = and(wide_exponent, sign_ext.28449, id=28450, pos=[(2,3181,24), (2,3243,7), (3,365,48)])
  bit_slice.28239: bits[1] = bit_slice(wide_exponent__1, start=9, width=1, id=28239, pos=[(2,3184,27), (2,3243,7), (3,365,48)])
  not.28451: bits[1] = not(bit_slice.28239, id=28451, pos=[(2,3184,24), (2,3243,7), (3,365,48)])
  bit_slice.28240: bits[9] = bit_slice(wide_exponent__1, start=0, width=9, id=28240, pos=[(2,3243,7), (3,365,48)])
  sign_ext.28452: bits[9] = sign_ext(not.28451, new_bit_count=9, id=28452, pos=[(2,3184,24), (2,3243,7), (3,365,48)])
  MAX_EXPONENT: bits[8] = literal(value=255, id=28232, pos=[(2,96,29), (2,3209,29), (2,3243,7), (3,365,48)])
  literal.28233: bits[23] = literal(value=0, id=28233, pos=[(2,96,57), (2,3209,29), (2,3243,7), (3,365,48)])
  wide_exponent__2: bits[9] = and(bit_slice.28240, sign_ext.28452, id=28453, pos=[(2,3184,24), (2,3243,7), (3,365,48)])
  eq.28235: bits[1] = eq(x_bexp__3, MAX_EXPONENT, id=28235, pos=[(2,96,6), (2,3209,29), (2,3243,7), (3,365,48)])
  eq.28236: bits[1] = eq(x_fraction__1, literal.28233, id=28236, pos=[(2,96,44), (2,3209,29), (2,3243,7), (3,365,48)])
  eq.28237: bits[1] = eq(y_bexp__3, MAX_EXPONENT, id=28237, pos=[(2,96,6), (2,3210,29), (2,3243,7), (3,365,48)])
  eq.28238: bits[1] = eq(y_fraction__3, literal.28233, id=28238, pos=[(2,96,44), (2,3210,29), (2,3243,7), (3,365,48)])
  bit_slice.28252: bits[8] = bit_slice(wide_exponent__2, start=1, width=8, id=28252, pos=[(2,3194,11), (2,3243,7), (3,365,48)])
  not.28242: bits[1] = not(eq.28235, id=28242, pos=[(2,3209,29), (2,3243,7), (3,365,48)])
  not.28243: bits[1] = not(eq.28236, id=28243, pos=[(2,3209,29), (2,3243,7), (3,365,48)])
  not.28244: bits[1] = not(eq.28237, id=28244, pos=[(2,3210,29), (2,3243,7), (3,365,48)])
  not.28245: bits[1] = not(eq.28238, id=28245, pos=[(2,3210,29), (2,3243,7), (3,365,48)])
  and.28259: bits[1] = and(eq.28235, eq.28236, id=28259, pos=[(2,96,6), (2,3209,29), (2,3243,7), (3,365,48)])
  and.28260: bits[1] = and(eq.28237, eq.28238, id=28260, pos=[(2,96,6), (2,3210,29), (2,3243,7), (3,365,48)])
  bit_slice.28261: bits[8] = bit_slice(wide_exponent__2, start=0, width=8, id=28261, pos=[(2,3202,11), (2,3243,7), (3,365,48)])
  or_reduce.28262: bits[1] = or_reduce(bit_slice.28252, id=28262, pos=[(2,3194,11), (2,3243,7), (3,365,48)])
  bit_slice.28263: bits[1] = bit_slice(wide_exponent__2, start=0, width=1, id=28263, pos=[(2,3194,11), (2,3243,7), (3,365,48)])
  nor.28247: bits[1] = nor(not.28242, not.28243, x_sign__1, id=28247, pos=[(2,3209,29), (2,3243,7), (3,365,48)])
  nor.28248: bits[1] = nor(not.28244, not.28245, y_sign__3, id=28248, pos=[(2,3210,29), (2,3243,7), (3,365,48)])
  and.28249: bits[1] = and(eq.28235, eq.28236, x_sign__1, id=28249, pos=[(2,3215,29), (2,3243,7), (3,365,48)])
  and.28250: bits[1] = and(eq.28237, eq.28238, y_sign__3, id=28250, pos=[(2,3216,29), (2,3243,7), (3,365,48)])
  fraction_shift__2: bits[3] = literal(value=3, id=28253, pos=[(2,3174,8), (2,3243,7), (3,365,48)])
  is_operand_inf: bits[1] = or(and.28259, and.28260, id=28271, pos=[(2,3205,31), (2,3243,7), (3,365,48)])
  bit_slice.28272: bits[1] = bit_slice(wide_exponent__2, start=8, width=1, id=28272, pos=[(2,3202,11), (2,3243,7), (3,365,48)])
  and_reduce.28273: bits[1] = and_reduce(bit_slice.28261, id=28273, pos=[(2,3202,11), (2,3243,7), (3,365,48)])
  nor.28274: bits[1] = nor(or_reduce.28262, bit_slice.28263, id=28274, pos=[(2,3194,11), (2,3243,7), (3,365,48)])
  has_pos_inf: bits[1] = or(nor.28247, nor.28248, id=28256, pos=[(2,3209,29), (2,3243,7), (3,365,48)])
  has_neg_inf: bits[1] = or(and.28249, and.28250, id=28257, pos=[(2,3215,29), (2,3243,7), (3,365,48)])
  rounded_fraction: bits[28] = concat(add.28681, normal_chunk, id=28763)
  fraction_shift__1: bits[3] = sel(rounding_carry, cases=[fraction_shift__2, fraction_shift__3], id=28264, pos=[(2,3174,8), (2,3243,7), (3,365,48)])
  or.28279: bits[1] = or(is_operand_inf, bit_slice.28272, and_reduce.28273, nor.28274, id=28279, pos=[(2,3207,26), (2,3243,7), (3,365,48)])
  nor.28306: bits[1] = nor(not.28242, eq.28236, id=28306, pos=[(2,71,6), (2,3217,30), (2,3243,7), (3,365,48)])
  nor.28308: bits[1] = nor(not.28244, eq.28238, id=28308, pos=[(2,71,6), (2,3217,64), (2,3243,7), (3,365,48)])
  and.28267: bits[1] = and(has_pos_inf, has_neg_inf, id=28267, pos=[(2,3218,25), (2,3243,7), (3,365,48)])
  concat.28761: bits[2] = concat(bit_slice.28730, fraction_is_zero, id=28761, pos=[(2,3243,7), (3,365,48)])
  and.28269: bits[1] = and(x_sign__1, y_sign__3, id=28269, pos=[(2,3123,22), (2,3243,7), (3,365,48)])
  not.28270: bits[1] = not(y_sign__3, id=28270, pos=[(2,3210,59), (2,3243,7), (3,365,48)])
  shrl.28275: bits[28] = shrl(rounded_fraction, fraction_shift__1, id=28275, pos=[(2,3175,27), (2,3243,7), (3,365,48)])
  not.28454: bits[1] = not(or.28279, id=28454, pos=[(2,3207,26), (2,3243,7), (3,365,48)])
  is_result_nan: bits[1] = or(nor.28306, nor.28308, and.28267, id=28276, pos=[(2,3217,30), (2,3243,7), (3,365,48)])
  result_sign: bits[1] = priority_sel(concat.28761, cases=[and.28269, not.28270], default=y_sign__3, id=28277, pos=[(2,3243,7), (3,365,48)])
  not.28278: bits[1] = not(has_pos_inf, id=28278, pos=[(2,3211,42), (2,3243,7), (3,365,48)])
  result_fraction: bits[23] = bit_slice(shrl.28275, start=0, width=23, id=28280, pos=[(2,3243,7), (3,365,48)])
  sign_ext.28455: bits[23] = sign_ext(not.28454, new_bit_count=23, id=28455, pos=[(2,3207,26), (2,3243,7), (3,365,48)])
  not.28281: bits[1] = not(is_result_nan, id=28281, pos=[(2,3222,22), (2,3243,7), (3,365,48)])
  result_sign__1: bits[1] = sel(is_operand_inf, cases=[result_sign, not.28278], id=28282, pos=[(2,3211,22), (2,3243,7), (3,365,48)])
  or.28283: bits[1] = or(is_result_nan, is_operand_inf, bit_slice.28272, and_reduce.28273, id=28283, pos=[(2,3220,26), (2,3243,7), (3,365,48)])
  result_fraction__3: bits[23] = and(result_fraction, sign_ext.28455, id=28456, pos=[(2,3207,26), (2,3243,7), (3,365,48)])
  FRACTION_HIGH_BIT: bits[23] = literal(value=4194304, id=28285, pos=[(2,3219,30), (2,3243,7), (3,365,48)])
  result_sign__2: bits[1] = and(not.28281, result_sign__1, id=28286, pos=[(2,3222,22), (2,3243,7), (3,365,48)])
  result_exponent__2: bits[8] = sel(or.28283, cases=[bit_slice.28261, MAX_EXPONENT], id=28287, pos=[(2,3220,26), (2,3243,7), (3,365,48)])
  result_fraction__4: bits[23] = sel(is_result_nan, cases=[result_fraction__3, FRACTION_HIGH_BIT], id=28288, pos=[(2,3221,26), (2,3243,7), (3,365,48)])
  ret tuple.28289: (bits[1], bits[8], bits[23]) = tuple(result_sign__2, result_exponent__2, result_fraction__4, id=28289, pos=[(2,3225,33), (2,3243,7), (3,365,48)])
}