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=850, y: (bits[1], bits[8], bits[23]) id=851) -> (bits[1], bits[8], bits[23]) {
  y_bexp__2: bits[8] = tuple_index(y, index=1, id=27996, pos=[(2,3242,65), (3,365,48)])
  literal.28000: bits[1] = literal(value=0, id=28000, 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=28001, pos=[(2,3091,59), (2,3243,7), (3,365,48)])
  y__1_bexpnot__1: bits[8] = not(y_bexp__2, id=28002, pos=[(1,90,15), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  x_bexp_extended__2: bits[9] = concat(literal.28000, x_bexp__2, id=28003, 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.28000, y__1_bexpnot__1, id=28004, 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=28005, pos=[(0,1120,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=28006, pos=[(0,1122,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=27997, pos=[(2,3242,83), (3,365,48)])
  tuple_index.28009: bits[23] = tuple_index(x, index=2, id=28009, 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=28426, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  literal.28011: bits[8] = literal(value=0, id=28011, 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=28424, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  literal.28012: bits[1] = literal(value=1, id=28012, pos=[(2,3095,22), (2,3243,7), (3,365,48)])
  x_fraction__1: bits[23] = sel(overflow_detected, cases=[y_fraction__2, tuple_index.28009], id=28427, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  ne.28821: bits[1] = ne(x_bexp__3, literal.28011, id=28821, pos=[(2,3099,21), (2,3243,7), (3,365,48)])
  y_fraction__3: bits[23] = sel(overflow_detected, cases=[tuple_index.28009, y_fraction__2], id=28425, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  ne.28820: bits[1] = ne(y_bexp__3, literal.28011, id=28820, pos=[(2,3100,21), (2,3243,7), (3,365,48)])
  nc: bits[1] = not(overflow_detected, id=28007, 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=27994, pos=[(2,3242,51), (3,365,48)])
  fraction_x: bits[24] = concat(literal.28012, x_fraction__1, id=28033, pos=[(2,3095,22), (2,3243,7), (3,365,48)])
  sign_ext.28555: bits[24] = sign_ext(ne.28821, new_bit_count=24, id=28555, pos=[(2,3099,21), (2,3243,7), (3,365,48)])
  fraction_y: bits[24] = concat(literal.28012, y_fraction__3, id=28015, pos=[(2,3096,22), (2,3243,7), (3,365,48)])
  sign_ext.28558: bits[24] = sign_ext(ne.28820, new_bit_count=24, id=28558, pos=[(2,3100,21), (2,3243,7), (3,365,48)])
  narrowed_result: bits[8] = bit_slice(full_result, start=0, width=8, id=28020, 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=28021, pos=[(1,94,32), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  literal.28022: bits[7] = literal(value=0, id=28022, pos=[(2,3010,68), (2,3091,57), (2,3243,7), (3,365,48)])
  not.27995: bits[1] = not(y_sign__2, id=27995, pos=[(2,3242,49), (3,365,48)])
  tuple_index.28040: bits[1] = tuple_index(x, index=0, id=28040, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  fraction_x__1: bits[24] = and(fraction_x, sign_ext.28555, id=28556, pos=[(2,3099,21), (2,3243,7), (3,365,48)])
  fraction_y__1: bits[24] = and(fraction_y, sign_ext.28558, id=28559, pos=[(2,3100,21), (2,3243,7), (3,365,48)])
  xddend_x__2_squeezed_const_lsb_bits: bits[3] = literal(value=0, id=28018, pos=[(2,3104,17), (2,3243,7), (3,365,48)])
  result: bits[8] = xor(narrowed_result, x_bexpor_mask__1, id=28024, pos=[(1,95,18), (2,3009,44), (2,3091,57), (2,3243,7), (3,365,48)])
  concat.28025: bits[8] = concat(literal.28022, overflow_detected, id=28025, pos=[(2,3010,68), (2,3091,57), (2,3243,7), (3,365,48)])
  x_sign__1: bits[1] = sel(overflow_detected, cases=[not.27995, tuple_index.28040], id=28428, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  y_sign__3: bits[1] = sel(overflow_detected, cases=[tuple_index.28040, not.27995], id=28429, pos=[(2,3092,17), (2,3243,7), (3,365,48)])
  wide_x_squeezed: bits[25] = concat(literal.28000, fraction_x__1, id=28042, 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=28037, pos=[(2,3116,31), (2,3243,7), (3,365,48)])
  shift: bits[8] = add(result, concat.28025, id=28031, pos=[(1,54,7), (2,3010,68), (2,3091,57), (2,3243,7), (3,365,48)])
  literal.28030: bits[28] = literal(value=268435455, id=28030, pos=[(0,1412,19), (0,1502,17), (0,1529,22), (2,3115,35), (2,3243,7), (3,365,48)])
  xor.28050: bits[1] = xor(x_sign__1, y_sign__3, id=28050, pos=[(2,3110,23), (2,3243,7), (3,365,48)])
  neg.28047: bits[25] = neg(wide_x_squeezed, id=28047, pos=[(2,3110,41), (2,3243,7), (3,365,48)])
  shrl.28043: bits[27] = shrl(wide_y_shift_bits, shift, id=28043, pos=[(2,3116,31), (2,3243,7), (3,365,48)])
  not.28902: bits[23] = not(y_fraction__3, id=28902, pos=[(0,1412,4), (0,1502,17), (0,1529,22), (2,3115,35), (2,3243,7), (3,365,48)])
  shll.28035: bits[28] = shll(literal.28030, shift, id=28035, pos=[(0,1412,19), (0,1502,17), (0,1529,22), (2,3115,35), (2,3243,7), (3,365,48)])
  xddend_x__2_squeezed: bits[25] = sel(xor.28050, cases=[wide_x_squeezed, neg.28047], id=28562, pos=[(2,3110,19), (2,3243,7), (3,365,48)])
  literal.28437: bits[2] = literal(value=0, id=28437, pos=[(2,3243,7), (3,365,48)])
  bit_slice.28894: bits[24] = bit_slice(shrl.28043, start=3, width=24, id=28894, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  concat.28905: bits[24] = concat(literal.28000, not.28902, id=28905, pos=[(0,1412,4), (0,1502,17), (0,1529,22), (2,3115,35), (2,3243,7), (3,365,48)])
  not.28824: bits[24] = not(sign_ext.28558, id=28824, pos=[(0,1412,4), (0,1502,17), (0,1529,22), (2,3115,35), (2,3243,7), (3,365,48)])
  bit_slice.28039: bits[24] = bit_slice(shll.28035, start=3, width=24, id=28039, pos=[(0,1412,19), (0,1502,17), (0,1529,22), (2,3115,35), (2,3243,7), (3,365,48)])
  sign_ext.28871: bits[26] = sign_ext(xddend_x__2_squeezed, new_bit_count=26, id=28871, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  concat.28873: bits[26] = concat(literal.28437, bit_slice.28894, id=28873, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  nor.28825: bits[24] = nor(concat.28905, not.28824, bit_slice.28039, id=28825, pos=[(0,1412,4), (0,1502,17), (0,1529,22), (2,3115,35), (2,3243,7), (3,365,48)])
  literal.28016: bits[24] = literal(value=0, id=28016, pos=[(2,3099,49), (2,3243,7), (3,365,48)])
  add.28805: bits[26] = add(sign_ext.28871, concat.28873, id=28805, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  bit_slice.28048: bits[1] = bit_slice(shrl.28043, start=0, width=1, id=28048, pos=[(2,3053,40), (2,3116,30), (2,3243,7), (3,365,48)])
  sticky: bits[1] = ne(nor.28825, literal.28016, id=28049, pos=[(0,1502,17), (0,1529,22), (2,3115,35), (2,3243,7), (3,365,48)])
  bit_slice.28864: bits[25] = bit_slice(add.28805, start=0, width=25, id=28864, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  bit_slice.28895: bits[2] = bit_slice(shrl.28043, start=1, width=2, id=28895, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  or.28054: bits[1] = or(bit_slice.28048, sticky, id=28054, pos=[(2,3053,40), (2,3116,30), (2,3243,7), (3,365,48)])
  concat.28900: bits[28] = concat(bit_slice.28864, bit_slice.28895, or.28054, id=28900, pos=[(2,3120,20), (2,3243,7), (3,365,48)])
  bit_slice.28866: bits[1] = bit_slice(add.28805, start=25, width=1, id=28866, pos=[(2,3130,12), (2,3243,7), (3,365,48)])
  neg.28062: bits[28] = neg(concat.28900, id=28062, pos=[(2,3130,46), (2,3243,7), (3,365,48)])
  xbs_fraction__1: bits[28] = sel(bit_slice.28866, cases=[concat.28900, neg.28062], id=28063, pos=[(2,3130,9), (2,3243,7), (3,365,48)])
  bit_slice.28151: bits[1] = bit_slice(xbs_fraction__1, start=4, width=1, id=28151, pos=[(0,1591,70), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28127: bits[1] = bit_slice(xbs_fraction__1, start=6, width=1, id=28127, pos=[(0,1591,70), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28124: bits[1] = bit_slice(xbs_fraction__1, start=11, width=1, id=28124, pos=[(0,1591,40), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28102: bits[1] = bit_slice(xbs_fraction__1, start=10, width=1, id=28102, pos=[(0,1591,70), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28147: bits[1] = bit_slice(xbs_fraction__1, start=9, width=1, id=28147, pos=[(0,1591,40), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28126: bits[1] = bit_slice(xbs_fraction__1, start=8, width=1, id=28126, pos=[(0,1591,70), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28101: bits[1] = bit_slice(xbs_fraction__1, start=12, width=1, id=28101, pos=[(0,1591,70), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28081: bits[1] = bit_slice(xbs_fraction__1, start=14, width=1, id=28081, pos=[(0,1591,70), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28078: bits[1] = bit_slice(xbs_fraction__1, start=19, width=1, id=28078, pos=[(0,1591,40), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28069: bits[1] = bit_slice(xbs_fraction__1, start=18, width=1, id=28069, pos=[(0,1591,70), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28097: bits[1] = bit_slice(xbs_fraction__1, start=17, width=1, id=28097, pos=[(0,1591,40), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28080: bits[1] = bit_slice(xbs_fraction__1, start=16, width=1, id=28080, pos=[(0,1591,70), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  carry_bit: bits[1] = bit_slice(xbs_fraction__1, start=27, width=1, id=28065, pos=[(0,1591,40), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28064: bits[1] = bit_slice(xbs_fraction__1, start=26, width=1, id=28064, pos=[(0,1591,70), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28073: bits[1] = bit_slice(xbs_fraction__1, start=25, width=1, id=28073, pos=[(0,1591,40), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28067: bits[1] = bit_slice(xbs_fraction__1, start=24, width=1, id=28067, pos=[(0,1591,70), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28077: bits[1] = bit_slice(xbs_fraction__1, start=20, width=1, id=28077, pos=[(0,1591,70), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28068: bits[1] = bit_slice(xbs_fraction__1, start=22, width=1, id=28068, pos=[(0,1591,70), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28149: bits[1] = bit_slice(xbs_fraction__1, start=7, width=1, id=28149, pos=[(0,1591,40), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28171: bits[1] = bit_slice(xbs_fraction__1, start=5, width=1, id=28171, pos=[(0,1591,40), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28172: bits[1] = not(bit_slice.28151, id=28172, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28994: bits[1] = not(bit_slice.28127, id=28994, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  or.28516: bits[1] = or(bit_slice.28124, bit_slice.28102, id=28516, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28166: bits[1] = nor(bit_slice.28147, bit_slice.28126, id=28166, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28145: bits[1] = nor(bit_slice.28124, bit_slice.28102, id=28145, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28998: bits[1] = not(bit_slice.28102, id=28998, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28148: bits[1] = not(bit_slice.28126, id=28148, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28099: bits[1] = bit_slice(xbs_fraction__1, start=15, width=1, id=28099, pos=[(0,1591,40), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28122: bits[1] = bit_slice(xbs_fraction__1, start=13, width=1, id=28122, pos=[(0,1591,40), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28123: bits[1] = not(bit_slice.28101, id=28123, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28100: bits[1] = not(bit_slice.28081, id=28100, pos=[(0,1584,4), (0,1591,64), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  or.28518: bits[1] = or(bit_slice.28078, bit_slice.28069, id=28518, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28117: bits[1] = nor(bit_slice.28097, bit_slice.28080, id=28117, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28095: bits[1] = nor(bit_slice.28078, bit_slice.28069, id=28095, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28098: bits[1] = not(bit_slice.28080, id=28098, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.29001: bits[1] = not(bit_slice.28069, id=29001, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28071: bits[1] = nor(carry_bit, bit_slice.28064, id=28071, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28087: bits[1] = nor(bit_slice.28073, bit_slice.28067, id=28087, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28075: bits[1] = bit_slice(xbs_fraction__1, start=23, width=1, id=28075, pos=[(0,1591,40), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28092: bits[1] = bit_slice(xbs_fraction__1, start=21, width=1, id=28092, pos=[(0,1591,40), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  or.28519: bits[1] = or(carry_bit, bit_slice.28064, id=28519, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.29005: bits[1] = not(bit_slice.28064, id=29005, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28074: bits[1] = not(bit_slice.28067, id=28074, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28093: bits[1] = not(bit_slice.28077, id=28093, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28076: bits[1] = not(bit_slice.28068, id=28076, pos=[(0,1584,4), (0,1591,64), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28193: bits[1] = bit_slice(xbs_fraction__1, start=3, width=1, id=28193, pos=[(0,1591,40), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28173: bits[1] = bit_slice(xbs_fraction__1, start=2, width=1, id=28173, pos=[(0,1591,70), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28217: bits[1] = bit_slice(xbs_fraction__1, start=1, width=1, id=28217, pos=[(0,1591,40), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  bit_slice.28195: bits[1] = bit_slice(xbs_fraction__1, start=0, width=1, id=28195, pos=[(0,1591,70), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  or.28515: bits[1] = or(bit_slice.28149, bit_slice.28127, id=28515, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28191: bits[1] = nor(bit_slice.28171, bit_slice.28151, id=28191, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28190: bits[1] = nor(bit_slice.28171, not.28172, id=28190, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28992: bits[1] = nor(bit_slice.28149, bit_slice.28127, id=28992, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28995: bits[1] = nor(bit_slice.28149, not.28994, id=28995, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28248: bits[1] = nor(or.28516, nor.28166, id=28248, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28249: bits[1] = and(nor.28145, nor.28166, id=28249, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28999: bits[1] = nor(bit_slice.28124, not.28998, id=28999, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28165: bits[1] = nor(bit_slice.28147, not.28148, id=28165, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  or.28517: bits[1] = or(bit_slice.28099, bit_slice.28081, id=28517, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28142: bits[1] = nor(bit_slice.28122, bit_slice.28101, id=28142, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28141: bits[1] = nor(bit_slice.28122, not.28123, id=28141, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28119: bits[1] = nor(bit_slice.28099, not.28100, id=28119, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28203: bits[1] = nor(or.28518, nor.28117, id=28203, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28204: bits[1] = and(nor.28095, nor.28117, id=28204, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28116: bits[1] = nor(bit_slice.28097, not.28098, id=28116, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.29002: bits[1] = nor(bit_slice.28078, not.29001, id=29002, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28175: bits[1] = and(nor.28071, nor.28087, id=28175, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28090: bits[1] = nor(bit_slice.28075, bit_slice.28068, id=28090, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28111: bits[1] = nor(bit_slice.28092, bit_slice.28077, id=28111, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28174: bits[1] = nor(or.28519, nor.28087, id=28174, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.29006: bits[1] = nor(carry_bit, not.29005, id=29006, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28086: bits[1] = nor(bit_slice.28073, not.28074, id=28086, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  or.28520: bits[1] = or(bit_slice.28075, bit_slice.28068, id=28520, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28110: bits[1] = nor(bit_slice.28092, not.28093, id=28110, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28089: bits[1] = nor(bit_slice.28075, not.28076, id=28089, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  or.28514: bits[1] = or(bit_slice.28193, bit_slice.28173, id=28514, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28239: bits[1] = nor(bit_slice.28217, bit_slice.28195, id=28239, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28215: bits[1] = nor(bit_slice.28193, bit_slice.28173, id=28215, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28218: bits[1] = not(bit_slice.28195, id=28218, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28990: bits[1] = not(bit_slice.28173, id=28990, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28265: bits[1] = nor(or.28515, nor.28191, id=28265, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28504: bits[2] = concat(literal.28012, nor.28190, id=28504, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28628: bits[2] = concat(nor.28992, nor.28995, id=28628, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28261: bits[2] = concat(nor.28248, and.28249, id=28261, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28801: bits[2] = concat(nor.28999, literal.28000, id=28801, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28776: bits[2] = concat(literal.28012, nor.28165, id=28776, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28619: bits[2] = concat(nor.28145, nor.28999, id=28619, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28120: bits[1] = nor(bit_slice.28099, bit_slice.28081, id=28120, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28228: bits[1] = nor(or.28517, nor.28142, id=28228, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28499: bits[2] = concat(literal.28012, nor.28141, id=28499, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.29015: bits[2] = concat(literal.28000, nor.28119, id=29015, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28224: bits[2] = concat(nor.28203, and.28204, id=28224, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28771: bits[2] = concat(literal.28012, nor.28116, id=28771, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28610: bits[2] = concat(nor.28095, nor.29002, id=28610, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28257: bits[1] = not(and.28175, id=28257, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28201: bits[1] = and(nor.28090, nor.28111, id=28201, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28196: bits[2] = concat(nor.28174, and.28175, id=28196, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28800: bits[2] = concat(nor.29006, literal.28000, id=28800, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28766: bits[2] = concat(literal.28012, nor.28086, id=28766, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28601: bits[2] = concat(literal.28000, nor.29006, id=28601, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28200: bits[1] = nor(or.28520, nor.28111, id=28200, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28496: bits[2] = concat(literal.28012, nor.28110, id=28496, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.29016: bits[2] = concat(literal.28000, nor.28089, id=29016, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28291: bits[1] = nor(or.28514, nor.28239, id=28291, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28292: bits[1] = and(nor.28215, nor.28239, id=28292, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28238: bits[1] = nor(bit_slice.28217, not.28218, id=28238, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28991: bits[1] = nor(bit_slice.28193, not.28990, id=28991, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28299: bits[1] = not(and.28249, id=28299, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28266: bits[1] = and(nor.28992, nor.28191, id=28266, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28525: bits[2] = priority_sel(nor.28265, cases=[concat.28504], default=concat.28628, id=28525, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28659: bits[2] = priority_sel(concat.28261, cases=[concat.28801, concat.28776], default=concat.28619, id=28659, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28273: bits[1] = not(and.28204, id=28273, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28229: bits[1] = and(nor.28120, nor.28142, id=28229, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28480: bits[2] = priority_sel(nor.28228, cases=[concat.28499], default=concat.29015, id=28480, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28641: bits[2] = priority_sel(concat.28224, cases=[literal.28437, concat.28771], default=concat.28610, id=28641, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28270: bits[1] = nor(not.28257, and.28201, id=28270, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28271: bits[1] = and(and.28175, and.28201, id=28271, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28632: bits[2] = priority_sel(concat.28196, cases=[concat.28800, concat.28766], default=concat.28601, id=28632, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28477: bits[2] = priority_sel(nor.28200, cases=[concat.28496], default=concat.29016, id=28477, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28301: bits[2] = concat(nor.28291, and.28292, id=28301, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28788: bits[2] = concat(literal.28012, nor.28238, id=28788, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28655: bits[2] = concat(nor.28215, nor.28991, id=28655, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28307: bits[1] = nor(not.28299, and.28266, id=28307, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28755: bits[3] = concat(literal.28012, priority_sel.28525, id=28755, pos=[(0,1541,24), (0,1601,22), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28664: bits[3] = concat(and.28249, priority_sel.28659, id=28664, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28286: bits[1] = nor(not.28273, and.28229, id=28286, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28507: bits[3] = concat(literal.28012, priority_sel.28480, id=28507, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28646: bits[3] = concat(and.28204, priority_sel.28641, id=28646, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28282: bits[2] = concat(nor.28270, and.28271, id=28282, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28802: bits[3] = concat(priority_sel.28632, literal.28000, id=28802, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28783: bits[3] = concat(literal.28012, priority_sel.28477, id=28783, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28637: bits[3] = concat(literal.28000, priority_sel.28632, id=28637, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28677: bits[2] = priority_sel(concat.28301, cases=[literal.28437, concat.28788], default=concat.28655, id=28677, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28572: bits[3] = priority_sel(nor.28307, cases=[concat.28755], default=concat.28664, id=28572, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  not.28311: bits[1] = not(and.28271, id=28311, pos=[(0,1606,22), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28287: bits[1] = and(and.28204, and.28229, id=28287, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28527: bits[3] = priority_sel(nor.28286, cases=[concat.28507], default=concat.28646, id=28527, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28668: bits[3] = priority_sel(concat.28282, cases=[concat.28802, concat.28783], default=concat.28637, id=28668, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28308: bits[1] = and(and.28249, and.28266, id=28308, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28796: bits[4] = concat(literal.28012, and.28292, priority_sel.28677, id=28796, pos=[(0,1606,22), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28798: bits[4] = concat(literal.28000, priority_sel.28572, id=28798, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  nor.28319: bits[1] = nor(not.28311, and.28287, id=28319, pos=[(0,1606,22), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28758: bits[4] = concat(literal.28012, priority_sel.28527, id=28758, pos=[(0,1541,24), (0,1606,22), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28673: bits[4] = concat(and.28271, priority_sel.28668, id=28673, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28331: bits[4] = priority_sel(and.28308, cases=[concat.28796], default=concat.28798, id=28331, pos=[(0,1606,22), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  priority_sel.28578: bits[4] = priority_sel(nor.28319, cases=[concat.28758], default=concat.28673, id=28578, pos=[(0,1606,22), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  and.28320: bits[1] = and(and.28271, and.28287, id=28320, pos=[(0,1606,22), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28333: bits[5] = concat(literal.28012, priority_sel.28331, id=28333, pos=[(0,1611,22), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28799: bits[5] = concat(literal.28000, priority_sel.28578, id=28799, pos=[(0,1606,22), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  concat.28334: bits[29] = concat(literal.28000, xbs_fraction__1, id=28334, pos=[(2,3243,7), (3,365,48)])
  leading_zeroes: bits[5] = priority_sel(and.28320, cases=[concat.28333], default=concat.28799, id=28335, pos=[(0,1611,22), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  cancel_fraction: bits[29] = shll(concat.28334, leading_zeroes, id=28336, pos=[(2,3144,26), (2,3243,7), (3,365,48)])
  bit_slice.28337: bits[26] = bit_slice(xbs_fraction__1, start=2, width=26, id=28337, pos=[(2,3053,20), (2,3137,36), (2,3243,7), (3,365,48)])
  or.28338: bits[1] = or(bit_slice.28217, bit_slice.28195, id=28338, 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=28339, pos=[(2,3243,7), (3,365,48)])
  carry_fraction__1: bits[27] = concat(bit_slice.28337, or.28338, id=28340, 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=28341, pos=[(2,3146,27), (2,3243,7), (3,365,48)])
  normal_chunk: bits[3] = bit_slice(shifted_fraction, start=0, width=3, id=28342, pos=[(2,3158,39), (2,3243,7), (3,365,48)])
  fraction_shift__3: bits[3] = literal(value=4, id=28449, pos=[(0,1540,24), (0,1596,22), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,365,48)])
  half_way_chunk: bits[2] = bit_slice(shifted_fraction, start=2, width=2, id=28343, pos=[(2,3159,41), (2,3243,7), (3,365,48)])
  literal.28344: bits[2] = literal(value=3, id=28344, pos=[(2,3160,68), (2,3243,7), (3,365,48)])
  ugt.28345: bits[1] = ugt(normal_chunk, fraction_shift__3, id=28345, pos=[(2,3160,23), (2,3243,7), (3,365,48)])
  eq.28346: bits[1] = eq(half_way_chunk, literal.28344, id=28346, pos=[(2,3160,50), (2,3243,7), (3,365,48)])
  bit_slice.28876: bits[24] = bit_slice(shifted_fraction, start=3, width=24, id=28876)
  do_round_up: bits[1] = or(ugt.28345, eq.28346, id=28349, pos=[(2,3160,23), (2,3243,7), (3,365,48)])
  concat.28877: bits[25] = concat(literal.28000, bit_slice.28876, id=28877)
  concat.29017: bits[25] = concat(literal.28016, do_round_up, id=29017)
  add.28817: bits[25] = add(concat.28877, concat.29017, id=28817)
  literal.28352: bits[5] = literal(value=0, id=28352, pos=[(2,3243,7), (3,365,48)])
  rounding_carry: bits[1] = bit_slice(add.28817, start=24, width=1, id=28868, pos=[(2,3168,41), (2,3243,7), (3,365,48)])
  literal.28964: bits[26] = literal(value=0, id=28964, pos=[(2,3121,39), (2,3243,7), (3,365,48)])
  bit_slice.29013: bits[1] = bit_slice(shrl.28043, start=1, width=1, id=29013, pos=[(2,3121,27), (2,3243,7), (3,365,48)])
  bit_slice.29014: bits[1] = bit_slice(shrl.28043, start=2, width=1, id=29014, pos=[(2,3121,27), (2,3243,7), (3,365,48)])
  concat.28354: bits[9] = concat(literal.28000, x_bexp__3, id=28354, pos=[(2,3243,7), (3,365,48)])
  literal.28355: bits[9] = literal(value=1, id=28355, pos=[(2,3180,24), (2,3243,7), (3,365,48)])
  concat.28896: bits[6] = concat(literal.28352, rounding_carry, id=28896, pos=[(2,3243,7), (3,365,48)])
  concat.28357: bits[6] = concat(literal.28000, leading_zeroes, id=28357, pos=[(2,3243,7), (3,365,48)])
  eq.28932: bits[1] = eq(add.28805, literal.28964, id=28932, pos=[(2,3121,27), (2,3243,7), (3,365,48)])
  nor.28987: bits[1] = nor(bit_slice.29013, bit_slice.29014, id=28987, pos=[(2,3121,27), (2,3243,7), (3,365,48)])
  nor.28988: bits[1] = nor(bit_slice.28048, sticky, id=28988, pos=[(2,3121,27), (2,3243,7), (3,365,48)])
  add.28358: bits[9] = add(concat.28354, literal.28355, id=28358, pos=[(2,3179,26), (2,3243,7), (3,365,48)])
  sub.28359: bits[6] = sub(concat.28896, concat.28357, id=28359, pos=[(2,3179,26), (2,3243,7), (3,365,48)])
  fraction_is_zero: bits[1] = and(eq.28932, nor.28987, nor.28988, id=28986, pos=[(2,3121,27), (2,3243,7), (3,365,48)])
  wide_exponent_associative_element: bits[10] = concat(literal.28000, add.28358, id=28361, pos=[(2,3179,26), (2,3243,7), (3,365,48)])
  wide_exponent_associative_element__1: bits[10] = sign_ext(sub.28359, new_bit_count=10, id=28362, pos=[(2,3179,26), (2,3243,7), (3,365,48)])
  not.28584: bits[1] = not(fraction_is_zero, id=28584, 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=28364, pos=[(2,3179,26), (2,3243,7), (3,365,48)])
  sign_ext.28585: bits[10] = sign_ext(not.28584, new_bit_count=10, id=28585, pos=[(2,3181,24), (2,3243,7), (3,365,48)])
  wide_exponent__1: bits[10] = and(wide_exponent, sign_ext.28585, id=28586, pos=[(2,3181,24), (2,3243,7), (3,365,48)])
  bit_slice.28373: bits[1] = bit_slice(wide_exponent__1, start=9, width=1, id=28373, pos=[(2,3184,27), (2,3243,7), (3,365,48)])
  not.28587: bits[1] = not(bit_slice.28373, id=28587, pos=[(2,3184,24), (2,3243,7), (3,365,48)])
  bit_slice.28374: bits[9] = bit_slice(wide_exponent__1, start=0, width=9, id=28374, pos=[(2,3243,7), (3,365,48)])
  sign_ext.28588: bits[9] = sign_ext(not.28587, new_bit_count=9, id=28588, pos=[(2,3184,24), (2,3243,7), (3,365,48)])
  MAX_EXPONENT: bits[8] = literal(value=255, id=28366, pos=[(2,96,29), (2,3209,29), (2,3243,7), (3,365,48)])
  literal.28367: bits[23] = literal(value=0, id=28367, pos=[(2,96,57), (2,3209,29), (2,3243,7), (3,365,48)])
  wide_exponent__2: bits[9] = and(bit_slice.28374, sign_ext.28588, id=28589, pos=[(2,3184,24), (2,3243,7), (3,365,48)])
  eq.28369: bits[1] = eq(x_bexp__3, MAX_EXPONENT, id=28369, pos=[(2,96,6), (2,3209,29), (2,3243,7), (3,365,48)])
  eq.28370: bits[1] = eq(x_fraction__1, literal.28367, id=28370, pos=[(2,96,44), (2,3209,29), (2,3243,7), (3,365,48)])
  eq.28371: bits[1] = eq(y_bexp__3, MAX_EXPONENT, id=28371, pos=[(2,96,6), (2,3210,29), (2,3243,7), (3,365,48)])
  eq.28372: bits[1] = eq(y_fraction__3, literal.28367, id=28372, pos=[(2,96,44), (2,3210,29), (2,3243,7), (3,365,48)])
  bit_slice.28386: bits[8] = bit_slice(wide_exponent__2, start=1, width=8, id=28386, pos=[(2,3194,11), (2,3243,7), (3,365,48)])
  not.28376: bits[1] = not(eq.28369, id=28376, pos=[(2,3209,29), (2,3243,7), (3,365,48)])
  not.28377: bits[1] = not(eq.28370, id=28377, pos=[(2,3209,29), (2,3243,7), (3,365,48)])
  not.28378: bits[1] = not(eq.28371, id=28378, pos=[(2,3210,29), (2,3243,7), (3,365,48)])
  not.28379: bits[1] = not(eq.28372, id=28379, pos=[(2,3210,29), (2,3243,7), (3,365,48)])
  and.28393: bits[1] = and(eq.28369, eq.28370, id=28393, pos=[(2,96,6), (2,3209,29), (2,3243,7), (3,365,48)])
  and.28394: bits[1] = and(eq.28371, eq.28372, id=28394, pos=[(2,96,6), (2,3210,29), (2,3243,7), (3,365,48)])
  bit_slice.28395: bits[8] = bit_slice(wide_exponent__2, start=0, width=8, id=28395, pos=[(2,3202,11), (2,3243,7), (3,365,48)])
  or_reduce.28396: bits[1] = or_reduce(bit_slice.28386, id=28396, pos=[(2,3194,11), (2,3243,7), (3,365,48)])
  bit_slice.28397: bits[1] = bit_slice(wide_exponent__2, start=0, width=1, id=28397, pos=[(2,3194,11), (2,3243,7), (3,365,48)])
  nor.28381: bits[1] = nor(not.28376, not.28377, x_sign__1, id=28381, pos=[(2,3209,29), (2,3243,7), (3,365,48)])
  nor.28382: bits[1] = nor(not.28378, not.28379, y_sign__3, id=28382, pos=[(2,3210,29), (2,3243,7), (3,365,48)])
  and.28383: bits[1] = and(eq.28369, eq.28370, x_sign__1, id=28383, pos=[(2,3215,29), (2,3243,7), (3,365,48)])
  and.28384: bits[1] = and(eq.28371, eq.28372, y_sign__3, id=28384, pos=[(2,3216,29), (2,3243,7), (3,365,48)])
  fraction_shift__2: bits[3] = literal(value=3, id=28387, pos=[(2,3174,8), (2,3243,7), (3,365,48)])
  is_operand_inf: bits[1] = or(and.28393, and.28394, id=28405, pos=[(2,3205,31), (2,3243,7), (3,365,48)])
  bit_slice.28406: bits[1] = bit_slice(wide_exponent__2, start=8, width=1, id=28406, pos=[(2,3202,11), (2,3243,7), (3,365,48)])
  and_reduce.28407: bits[1] = and_reduce(bit_slice.28395, id=28407, pos=[(2,3202,11), (2,3243,7), (3,365,48)])
  nor.28408: bits[1] = nor(or_reduce.28396, bit_slice.28397, id=28408, pos=[(2,3194,11), (2,3243,7), (3,365,48)])
  has_pos_inf: bits[1] = or(nor.28381, nor.28382, id=28390, pos=[(2,3209,29), (2,3243,7), (3,365,48)])
  has_neg_inf: bits[1] = or(and.28383, and.28384, id=28391, pos=[(2,3215,29), (2,3243,7), (3,365,48)])
  rounded_fraction: bits[28] = concat(add.28817, normal_chunk, id=28899)
  fraction_shift__1: bits[3] = sel(rounding_carry, cases=[fraction_shift__2, fraction_shift__3], id=28398, pos=[(2,3174,8), (2,3243,7), (3,365,48)])
  or.28413: bits[1] = or(is_operand_inf, bit_slice.28406, and_reduce.28407, nor.28408, id=28413, pos=[(2,3207,26), (2,3243,7), (3,365,48)])
  nor.28440: bits[1] = nor(not.28376, eq.28370, id=28440, pos=[(2,71,6), (2,3217,30), (2,3243,7), (3,365,48)])
  nor.28442: bits[1] = nor(not.28378, eq.28372, id=28442, pos=[(2,71,6), (2,3217,64), (2,3243,7), (3,365,48)])
  and.28401: bits[1] = and(has_pos_inf, has_neg_inf, id=28401, pos=[(2,3218,25), (2,3243,7), (3,365,48)])
  concat.28897: bits[2] = concat(bit_slice.28866, fraction_is_zero, id=28897, pos=[(2,3243,7), (3,365,48)])
  and.28403: bits[1] = and(x_sign__1, y_sign__3, id=28403, pos=[(2,3123,22), (2,3243,7), (3,365,48)])
  not.28404: bits[1] = not(y_sign__3, id=28404, pos=[(2,3210,59), (2,3243,7), (3,365,48)])
  shrl.28409: bits[28] = shrl(rounded_fraction, fraction_shift__1, id=28409, pos=[(2,3175,27), (2,3243,7), (3,365,48)])
  not.28590: bits[1] = not(or.28413, id=28590, pos=[(2,3207,26), (2,3243,7), (3,365,48)])
  is_result_nan: bits[1] = or(nor.28440, nor.28442, and.28401, id=28410, pos=[(2,3217,30), (2,3243,7), (3,365,48)])
  result_sign: bits[1] = priority_sel(concat.28897, cases=[and.28403, not.28404], default=y_sign__3, id=28411, pos=[(2,3243,7), (3,365,48)])
  not.28412: bits[1] = not(has_pos_inf, id=28412, pos=[(2,3211,42), (2,3243,7), (3,365,48)])
  result_fraction: bits[23] = bit_slice(shrl.28409, start=0, width=23, id=28414, pos=[(2,3243,7), (3,365,48)])
  sign_ext.28591: bits[23] = sign_ext(not.28590, new_bit_count=23, id=28591, pos=[(2,3207,26), (2,3243,7), (3,365,48)])
  not.28415: bits[1] = not(is_result_nan, id=28415, pos=[(2,3222,22), (2,3243,7), (3,365,48)])
  result_sign__1: bits[1] = sel(is_operand_inf, cases=[result_sign, not.28412], id=28416, pos=[(2,3211,22), (2,3243,7), (3,365,48)])
  or.28417: bits[1] = or(is_result_nan, is_operand_inf, bit_slice.28406, and_reduce.28407, id=28417, pos=[(2,3220,26), (2,3243,7), (3,365,48)])
  result_fraction__3: bits[23] = and(result_fraction, sign_ext.28591, id=28592, pos=[(2,3207,26), (2,3243,7), (3,365,48)])
  FRACTION_HIGH_BIT: bits[23] = literal(value=4194304, id=28419, pos=[(2,3219,30), (2,3243,7), (3,365,48)])
  result_sign__2: bits[1] = and(not.28415, result_sign__1, id=28420, pos=[(2,3222,22), (2,3243,7), (3,365,48)])
  result_exponent__2: bits[8] = sel(or.28417, cases=[bit_slice.28395, MAX_EXPONENT], id=28421, 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=28422, pos=[(2,3221,26), (2,3243,7), (3,365,48)])
  ret tuple.28423: (bits[1], bits[8], bits[23]) = tuple(result_sign__2, result_exponent__2, result_fraction__4, id=28423, pos=[(2,3225,33), (2,3243,7), (3,365,48)])
}