package float64

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/float64.x"

top fn __float64__add(x: (bits[1], bits[11], bits[52]) id=843, y: (bits[1], bits[11], bits[52]) id=844) -> (bits[1], bits[11], bits[52]) {
  y_bexp__1: bits[11] = tuple_index(y, index=1, id=30644, pos=[(2,3087,67), (3,166,48)])
  literal.30645: bits[1] = literal(value=0, id=30645, pos=[(3,166,48)])
  x_bexp__1: bits[11] = tuple_index(x, index=1, id=30646, pos=[(2,3087,59), (3,166,48)])
  y_bexpnot: bits[11] = not(y_bexp__1, id=30647, pos=[(1,90,15), (2,3005,44), (2,3087,57), (3,166,48)])
  x_bexp_extended__1: bits[12] = concat(literal.30645, x_bexp__1, id=30648, pos=[(1,91,63), (2,3005,44), (2,3087,57), (3,166,48)])
  y_bexpnot_extended: bits[12] = concat(literal.30645, y_bexpnot, id=30649, pos=[(1,91,63), (2,3005,44), (2,3087,57), (3,166,48)])
  full_result: bits[12] = add(x_bexp_extended__1, y_bexpnot_extended, id=30650, pos=[(0,1119,45), (1,91,63), (2,3005,44), (2,3087,57), (3,166,48)])
  overflow_detected: bits[1] = bit_slice(full_result, start=11, width=1, id=30651, pos=[(0,1121,49), (1,91,63), (2,3005,44), (2,3087,57), (3,166,48)])
  tuple_index.30653: bits[52] = tuple_index(y, index=2, id=30653, pos=[(2,3088,17), (3,166,48)])
  tuple_index.30654: bits[52] = tuple_index(x, index=2, id=30654, pos=[(2,3088,17), (3,166,48)])
  x_bexp: bits[11] = sel(overflow_detected, cases=[y_bexp__1, x_bexp__1], id=31371, pos=[(2,3088,17), (3,166,48)])
  literal.30656: bits[11] = literal(value=0, id=30656, pos=[(2,3095,34), (3,166,48)])
  y_bexp: bits[11] = sel(overflow_detected, cases=[x_bexp__1, y_bexp__1], id=31369, pos=[(2,3088,17), (3,166,48)])
  literal.30657: bits[1] = literal(value=1, id=30657, pos=[(2,3091,22), (3,166,48)])
  x_fraction: bits[52] = sel(overflow_detected, cases=[tuple_index.30653, tuple_index.30654], id=31372, pos=[(2,3088,17), (3,166,48)])
  ne.32209: bits[1] = ne(x_bexp, literal.30656, id=32209, pos=[(2,3095,21), (3,166,48)])
  y_fraction: bits[52] = sel(overflow_detected, cases=[tuple_index.30654, tuple_index.30653], id=31370, pos=[(2,3088,17), (3,166,48)])
  ne.32208: bits[1] = ne(y_bexp, literal.30656, id=32208, pos=[(2,3096,21), (3,166,48)])
  nc: bits[1] = not(overflow_detected, id=30652, pos=[(1,92,19), (2,3005,44), (2,3087,57), (3,166,48)])
  fraction_x: bits[53] = concat(literal.30657, x_fraction, id=30678, pos=[(2,3091,22), (3,166,48)])
  sign_ext.31676: bits[53] = sign_ext(ne.32209, new_bit_count=53, id=31676, pos=[(2,3095,21), (3,166,48)])
  fraction_y: bits[53] = concat(literal.30657, y_fraction, id=30660, pos=[(2,3092,22), (3,166,48)])
  sign_ext.31679: bits[53] = sign_ext(ne.32208, new_bit_count=53, id=31679, pos=[(2,3096,21), (3,166,48)])
  narrowed_result: bits[11] = bit_slice(full_result, start=0, width=11, id=30665, pos=[(1,91,63), (2,3005,44), (2,3087,57), (3,166,48)])
  x_bexpor_mask: bits[11] = sign_ext(nc, new_bit_count=11, id=30666, pos=[(1,94,32), (2,3005,44), (2,3087,57), (3,166,48)])
  literal.30667: bits[10] = literal(value=0, id=30667, pos=[(2,3006,68), (2,3087,57), (3,166,48)])
  fraction_x__1: bits[53] = and(fraction_x, sign_ext.31676, id=31677, pos=[(2,3095,21), (3,166,48)])
  fraction_y__1: bits[53] = and(fraction_y, sign_ext.31679, id=31680, pos=[(2,3096,21), (3,166,48)])
  xddend_x__1_squeezed_const_lsb_bits: bits[3] = literal(value=0, id=31685, pos=[(2,3106,19), (3,166,48)])
  result: bits[11] = xor(narrowed_result, x_bexpor_mask, id=30669, pos=[(1,95,18), (2,3005,44), (2,3087,57), (3,166,48)])
  concat.30670: bits[11] = concat(literal.30667, overflow_detected, id=30670, pos=[(2,3006,68), (2,3087,57), (3,166,48)])
  tuple_index.30688: bits[1] = tuple_index(x, index=0, id=30688, pos=[(2,3088,17), (3,166,48)])
  tuple_index.30689: bits[1] = tuple_index(y, index=0, id=30689, pos=[(2,3088,17), (3,166,48)])
  wide_x_squeezed: bits[54] = concat(literal.30645, fraction_x__1, id=32074, pos=[(2,3099,17), (3,166,48)])
  wide_y_shift_bits: bits[56] = concat(fraction_y__1, xddend_x__1_squeezed_const_lsb_bits, id=30682, pos=[(2,3112,31), (3,166,48)])
  shift: bits[11] = add(result, concat.30670, id=30676, pos=[(1,54,7), (2,3006,68), (2,3087,57), (3,166,48)])
  literal.30675: bits[57] = literal(value=144115188075855871, id=30675, pos=[(0,1411,19), (0,1501,17), (0,1528,22), (2,3111,35), (3,166,48)])
  xor.30693: bits[1] = xor(tuple_index.30688, tuple_index.30689, id=30693, pos=[(2,3106,23), (3,166,48)])
  neg.30690: bits[54] = neg(wide_x_squeezed, id=30690, pos=[(2,3106,41), (3,166,48)])
  shrl.30686: bits[56] = shrl(wide_y_shift_bits, shift, id=30686, pos=[(2,3112,31), (3,166,48)])
  not.32332: bits[52] = not(y_fraction, id=32332, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (2,3111,35), (3,166,48)])
  shll.30680: bits[57] = shll(literal.30675, shift, id=30680, pos=[(0,1411,19), (0,1501,17), (0,1528,22), (2,3111,35), (3,166,48)])
  xddend_x__1_squeezed: bits[54] = sel(xor.30693, cases=[wide_x_squeezed, neg.30690], id=31683, pos=[(2,3106,19), (3,166,48)])
  literal.31382: bits[2] = literal(value=0, id=31382, pos=[(3,166,48)])
  bit_slice.32324: bits[53] = bit_slice(shrl.30686, start=3, width=53, id=32324, pos=[(2,3116,20), (3,166,48)])
  concat.32335: bits[53] = concat(literal.30645, not.32332, id=32335, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (2,3111,35), (3,166,48)])
  not.32212: bits[53] = not(sign_ext.31679, id=32212, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (2,3111,35), (3,166,48)])
  bit_slice.30684: bits[53] = bit_slice(shll.30680, start=3, width=53, id=30684, pos=[(0,1411,19), (0,1501,17), (0,1528,22), (2,3111,35), (3,166,48)])
  sign_ext.32293: bits[55] = sign_ext(xddend_x__1_squeezed, new_bit_count=55, id=32293, pos=[(2,3116,20), (3,166,48)])
  concat.32295: bits[55] = concat(literal.31382, bit_slice.32324, id=32295, pos=[(2,3116,20), (3,166,48)])
  nor.32213: bits[53] = nor(concat.32335, not.32212, bit_slice.30684, id=32213, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (2,3111,35), (3,166,48)])
  literal.30661: bits[53] = literal(value=0, id=30661, pos=[(2,3095,49), (3,166,48)])
  add.32187: bits[55] = add(sign_ext.32293, concat.32295, id=32187, pos=[(2,3116,20), (3,166,48)])
  bit_slice.30691: bits[1] = bit_slice(shrl.30686, start=0, width=1, id=30691, pos=[(2,3049,40), (2,3112,30), (3,166,48)])
  sticky: bits[1] = ne(nor.32213, literal.30661, id=30692, pos=[(0,1501,17), (0,1528,22), (2,3111,35), (3,166,48)])
  bit_slice.32280: bits[54] = bit_slice(add.32187, start=0, width=54, id=32280, pos=[(2,3126,9), (3,166,48)])
  bit_slice.32325: bits[2] = bit_slice(shrl.30686, start=1, width=2, id=32325, pos=[(2,3116,20), (3,166,48)])
  or.30697: bits[1] = or(bit_slice.30691, sticky, id=30697, pos=[(2,3049,40), (2,3112,30), (3,166,48)])
  concat.32330: bits[57] = concat(bit_slice.32280, bit_slice.32325, or.30697, id=32330, pos=[(2,3126,9), (3,166,48)])
  bit_slice.32282: bits[1] = bit_slice(add.32187, start=54, width=1, id=32282, pos=[(2,3118,47), (3,166,48)])
  neg.30705: bits[57] = neg(concat.32330, id=30705, pos=[(2,3126,46), (3,166,48)])
  xbs_fraction: bits[57] = sel(bit_slice.32282, cases=[concat.32330, neg.30705], id=30706, pos=[(2,3126,9), (3,166,48)])
  bit_slice.30722: bits[1] = bit_slice(xbs_fraction, start=48, width=1, id=30722, pos=[(0,1590,40), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30712: bits[1] = bit_slice(xbs_fraction, start=47, width=1, id=30712, pos=[(0,1590,70), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30746: bits[1] = bit_slice(xbs_fraction, start=46, width=1, id=30746, pos=[(0,1590,40), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30724: bits[1] = bit_slice(xbs_fraction, start=45, width=1, id=30724, pos=[(0,1590,70), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30759: bits[1] = bit_slice(xbs_fraction, start=32, width=1, id=30759, pos=[(0,1590,40), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30730: bits[1] = bit_slice(xbs_fraction, start=31, width=1, id=30730, pos=[(0,1590,70), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30799: bits[1] = bit_slice(xbs_fraction, start=30, width=1, id=30799, pos=[(0,1590,40), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30761: bits[1] = bit_slice(xbs_fraction, start=29, width=1, id=30761, pos=[(0,1590,70), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30744: bits[1] = nor(bit_slice.30722, bit_slice.30712, id=30744, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30778: bits[1] = nor(bit_slice.30746, bit_slice.30724, id=30778, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30748: bits[1] = bit_slice(xbs_fraction, start=44, width=1, id=30748, pos=[(0,1590,40), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30725: bits[1] = bit_slice(xbs_fraction, start=43, width=1, id=30725, pos=[(0,1590,70), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30783: bits[1] = bit_slice(xbs_fraction, start=42, width=1, id=30783, pos=[(0,1590,40), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30750: bits[1] = bit_slice(xbs_fraction, start=41, width=1, id=30750, pos=[(0,1590,70), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30797: bits[1] = nor(bit_slice.30759, bit_slice.30730, id=30797, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30839: bits[1] = nor(bit_slice.30799, bit_slice.30761, id=30839, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30801: bits[1] = bit_slice(xbs_fraction, start=28, width=1, id=30801, pos=[(0,1590,40), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30762: bits[1] = bit_slice(xbs_fraction, start=27, width=1, id=30762, pos=[(0,1590,70), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30844: bits[1] = bit_slice(xbs_fraction, start=26, width=1, id=30844, pos=[(0,1590,40), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30803: bits[1] = bit_slice(xbs_fraction, start=25, width=1, id=30803, pos=[(0,1590,70), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30992: bits[1] = bit_slice(xbs_fraction, start=1, width=1, id=30992, pos=[(0,1590,70), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30947: bits[1] = bit_slice(xbs_fraction, start=3, width=1, id=30947, pos=[(0,1590,70), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30944: bits[1] = bit_slice(xbs_fraction, start=8, width=1, id=30944, pos=[(0,1590,40), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30903: bits[1] = bit_slice(xbs_fraction, start=7, width=1, id=30903, pos=[(0,1590,70), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30988: bits[1] = bit_slice(xbs_fraction, start=6, width=1, id=30988, pos=[(0,1590,40), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30946: bits[1] = bit_slice(xbs_fraction, start=5, width=1, id=30946, pos=[(0,1590,70), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30902: bits[1] = bit_slice(xbs_fraction, start=9, width=1, id=30902, pos=[(0,1590,70), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30857: bits[1] = bit_slice(xbs_fraction, start=11, width=1, id=30857, pos=[(0,1590,70), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30854: bits[1] = bit_slice(xbs_fraction, start=16, width=1, id=30854, pos=[(0,1590,40), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30808: bits[1] = bit_slice(xbs_fraction, start=15, width=1, id=30808, pos=[(0,1590,70), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30898: bits[1] = bit_slice(xbs_fraction, start=14, width=1, id=30898, pos=[(0,1590,40), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30856: bits[1] = bit_slice(xbs_fraction, start=13, width=1, id=30856, pos=[(0,1590,70), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30804: bits[1] = bit_slice(xbs_fraction, start=24, width=1, id=30804, pos=[(0,1590,40), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30763: bits[1] = bit_slice(xbs_fraction, start=23, width=1, id=30763, pos=[(0,1590,70), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30849: bits[1] = bit_slice(xbs_fraction, start=22, width=1, id=30849, pos=[(0,1590,40), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30806: bits[1] = bit_slice(xbs_fraction, start=21, width=1, id=30806, pos=[(0,1590,70), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30851: bits[1] = bit_slice(xbs_fraction, start=20, width=1, id=30851, pos=[(0,1590,40), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30807: bits[1] = bit_slice(xbs_fraction, start=19, width=1, id=30807, pos=[(0,1590,70), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30893: bits[1] = bit_slice(xbs_fraction, start=18, width=1, id=30893, pos=[(0,1590,40), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30853: bits[1] = bit_slice(xbs_fraction, start=17, width=1, id=30853, pos=[(0,1590,70), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.30956: bits[1] = and(nor.30744, nor.30778, id=30956, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30781: bits[1] = nor(bit_slice.30748, bit_slice.30725, id=30781, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30823: bits[1] = nor(bit_slice.30783, bit_slice.30750, id=30823, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  or.31561: bits[1] = or(bit_slice.30748, bit_slice.30725, id=31561, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  carry_bit: bits[1] = bit_slice(xbs_fraction, start=56, width=1, id=30708, pos=[(2,3131,32), (3,166,48)])
  bit_slice.30707: bits[1] = bit_slice(xbs_fraction, start=55, width=1, id=30707, pos=[(0,1590,70), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30717: bits[1] = bit_slice(xbs_fraction, start=54, width=1, id=30717, pos=[(0,1590,40), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30710: bits[1] = bit_slice(xbs_fraction, start=53, width=1, id=30710, pos=[(0,1590,70), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30721: bits[1] = bit_slice(xbs_fraction, start=49, width=1, id=30721, pos=[(0,1590,70), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30711: bits[1] = bit_slice(xbs_fraction, start=51, width=1, id=30711, pos=[(0,1590,70), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31013: bits[1] = and(nor.30797, nor.30839, id=31013, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30842: bits[1] = nor(bit_slice.30801, bit_slice.30762, id=30842, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30882: bits[1] = nor(bit_slice.30844, bit_slice.30803, id=30882, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  or.31565: bits[1] = or(bit_slice.30801, bit_slice.30762, id=31565, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30726: bits[1] = bit_slice(xbs_fraction, start=40, width=1, id=30726, pos=[(0,1590,40), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30713: bits[1] = bit_slice(xbs_fraction, start=39, width=1, id=30713, pos=[(0,1590,70), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30754: bits[1] = bit_slice(xbs_fraction, start=38, width=1, id=30754, pos=[(0,1590,40), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30728: bits[1] = bit_slice(xbs_fraction, start=37, width=1, id=30728, pos=[(0,1590,70), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30758: bits[1] = bit_slice(xbs_fraction, start=33, width=1, id=30758, pos=[(0,1590,70), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30729: bits[1] = bit_slice(xbs_fraction, start=35, width=1, id=30729, pos=[(0,1590,70), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30990: bits[1] = bit_slice(xbs_fraction, start=4, width=1, id=30990, pos=[(0,1590,40), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.31036: bits[1] = bit_slice(xbs_fraction, start=2, width=1, id=31036, pos=[(0,1590,40), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.31037: bits[1] = not(bit_slice.30992, id=31037, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30991: bits[1] = not(bit_slice.30947, id=30991, pos=[(0,1583,4), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  or.31569: bits[1] = or(bit_slice.30944, bit_slice.30903, id=31569, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31031: bits[1] = nor(bit_slice.30988, bit_slice.30946, id=31031, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30986: bits[1] = nor(bit_slice.30944, bit_slice.30903, id=30986, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30945: bits[1] = not(bit_slice.30903, id=30945, pos=[(0,1583,4), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30989: bits[1] = not(bit_slice.30946, id=30989, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30900: bits[1] = bit_slice(xbs_fraction, start=12, width=1, id=30900, pos=[(0,1590,40), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30942: bits[1] = bit_slice(xbs_fraction, start=10, width=1, id=30942, pos=[(0,1590,40), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30943: bits[1] = not(bit_slice.30902, id=30943, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.32479: bits[1] = not(bit_slice.30857, id=32479, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  or.31570: bits[1] = or(bit_slice.30854, bit_slice.30808, id=31570, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30937: bits[1] = nor(bit_slice.30898, bit_slice.30856, id=30937, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30896: bits[1] = nor(bit_slice.30854, bit_slice.30808, id=30896, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.32483: bits[1] = not(bit_slice.30808, id=32483, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30899: bits[1] = not(bit_slice.30856, id=30899, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30847: bits[1] = nor(bit_slice.30804, bit_slice.30763, id=30847, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30888: bits[1] = nor(bit_slice.30849, bit_slice.30806, id=30888, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  or.31572: bits[1] = or(bit_slice.30804, bit_slice.30763, id=31572, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.32487: bits[1] = not(bit_slice.30763, id=32487, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30850: bits[1] = not(bit_slice.30806, id=30850, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  or.31573: bits[1] = or(bit_slice.30851, bit_slice.30807, id=31573, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30931: bits[1] = nor(bit_slice.30893, bit_slice.30853, id=30931, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30891: bits[1] = nor(bit_slice.30851, bit_slice.30807, id=30891, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30852: bits[1] = not(bit_slice.30807, id=30852, pos=[(0,1583,4), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30894: bits[1] = not(bit_slice.30853, id=30894, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30719: bits[1] = bit_slice(xbs_fraction, start=52, width=1, id=30719, pos=[(0,1590,40), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30741: bits[1] = bit_slice(xbs_fraction, start=50, width=1, id=30741, pos=[(0,1590,40), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.31108: bits[1] = not(and.30956, id=31108, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31003: bits[1] = and(nor.30781, nor.30823, id=31003, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31002: bits[1] = nor(or.31561, nor.30823, id=31002, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30715: bits[1] = nor(carry_bit, bit_slice.30707, id=30715, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30736: bits[1] = nor(bit_slice.30717, bit_slice.30710, id=30736, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  or.31560: bits[1] = or(carry_bit, bit_slice.30707, id=31560, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30742: bits[1] = not(bit_slice.30721, id=30742, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30720: bits[1] = not(bit_slice.30711, id=30720, pos=[(0,1583,4), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30756: bits[1] = bit_slice(xbs_fraction, start=36, width=1, id=30756, pos=[(0,1590,40), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.30794: bits[1] = bit_slice(xbs_fraction, start=34, width=1, id=30794, pos=[(0,1590,40), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.31140: bits[1] = not(and.31013, id=31140, pos=[(0,1600,22), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31055: bits[1] = and(nor.30842, nor.30882, id=31055, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31054: bits[1] = nor(or.31565, nor.30882, id=31054, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30752: bits[1] = nor(bit_slice.30726, bit_slice.30713, id=30752, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30789: bits[1] = nor(bit_slice.30754, bit_slice.30728, id=30789, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  or.31564: bits[1] = or(bit_slice.30726, bit_slice.30713, id=31564, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30795: bits[1] = not(bit_slice.30758, id=30795, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30757: bits[1] = not(bit_slice.30729, id=30757, pos=[(0,1583,4), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  or.31568: bits[1] = or(bit_slice.30990, bit_slice.30947, id=31568, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31074: bits[1] = nor(bit_slice.31036, bit_slice.30992, id=31074, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31073: bits[1] = nor(bit_slice.31036, not.31037, id=31073, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31034: bits[1] = nor(bit_slice.30990, bit_slice.30947, id=31034, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31033: bits[1] = nor(bit_slice.30990, not.30991, id=31033, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31149: bits[1] = nor(or.31569, nor.31031, id=31149, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31150: bits[1] = and(nor.30986, nor.31031, id=31150, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30985: bits[1] = nor(bit_slice.30944, not.30945, id=30985, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31030: bits[1] = nor(bit_slice.30988, not.30989, id=31030, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  or.31571: bits[1] = or(bit_slice.30900, bit_slice.30857, id=31571, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30983: bits[1] = nor(bit_slice.30942, bit_slice.30902, id=30983, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30982: bits[1] = nor(bit_slice.30942, not.30943, id=30982, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30940: bits[1] = nor(bit_slice.30900, bit_slice.30857, id=30940, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.32480: bits[1] = nor(bit_slice.30900, not.32479, id=32480, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31094: bits[1] = nor(or.31570, nor.30937, id=31094, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31095: bits[1] = and(nor.30896, nor.30937, id=31095, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.32484: bits[1] = nor(bit_slice.30854, not.32483, id=32484, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30936: bits[1] = nor(bit_slice.30898, not.30899, id=30936, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31058: bits[1] = and(nor.30847, nor.30888, id=31058, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31057: bits[1] = nor(or.31572, nor.30888, id=31057, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.32488: bits[1] = nor(bit_slice.30804, not.32487, id=32488, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30887: bits[1] = nor(bit_slice.30849, not.30850, id=30887, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31091: bits[1] = nor(or.31573, nor.30931, id=31091, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31092: bits[1] = and(nor.30891, nor.30931, id=31092, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30890: bits[1] = nor(bit_slice.30851, not.30852, id=30890, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30930: bits[1] = nor(bit_slice.30893, not.30894, id=30930, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30739: bits[1] = nor(bit_slice.30719, bit_slice.30711, id=30739, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30772: bits[1] = nor(bit_slice.30741, bit_slice.30721, id=30772, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31134: bits[1] = nor(not.31108, and.31003, id=31134, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.32546: bits[1] = not(nor.31002, id=32546, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.30905: bits[1] = and(nor.30715, nor.30736, id=30905, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30904: bits[1] = nor(or.31560, nor.30736, id=30904, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30718: bits[1] = not(bit_slice.30710, id=30718, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30709: bits[1] = not(bit_slice.30707, id=30709, pos=[(0,1583,4), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  or.31563: bits[1] = or(bit_slice.30719, bit_slice.30711, id=31563, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30771: bits[1] = nor(bit_slice.30741, not.30742, id=30771, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30738: bits[1] = nor(bit_slice.30719, not.30720, id=30738, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30792: bits[1] = nor(bit_slice.30756, bit_slice.30729, id=30792, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30833: bits[1] = nor(bit_slice.30794, bit_slice.30758, id=30833, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31163: bits[1] = nor(not.31140, and.31055, id=31163, pos=[(0,1600,22), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.32553: bits[1] = not(nor.31054, id=32553, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.30961: bits[1] = and(nor.30752, nor.30789, id=30961, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30960: bits[1] = nor(or.31564, nor.30789, id=30960, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30755: bits[1] = not(bit_slice.30728, id=30755, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30727: bits[1] = not(bit_slice.30713, id=30727, pos=[(0,1583,4), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  or.31567: bits[1] = or(bit_slice.30756, bit_slice.30729, id=31567, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30832: bits[1] = nor(bit_slice.30794, not.30795, id=30832, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30791: bits[1] = nor(bit_slice.30756, not.30757, id=30791, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31174: bits[1] = nor(or.31568, nor.31074, id=31174, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31527: bits[2] = concat(literal.30657, nor.31073, id=31527, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31823: bits[2] = concat(nor.31034, nor.31033, id=31823, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31170: bits[2] = concat(nor.31149, and.31150, id=31170, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32181: bits[2] = concat(nor.30985, literal.30645, id=32181, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32134: bits[2] = concat(literal.30657, nor.31030, id=32134, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31814: bits[2] = concat(nor.30986, nor.30985, id=31814, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31123: bits[1] = nor(or.31571, nor.30983, id=31123, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31516: bits[2] = concat(literal.30657, nor.30982, id=31516, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31792: bits[2] = concat(nor.30940, nor.32480, id=31792, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31119: bits[2] = concat(nor.31094, and.31095, id=31119, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32178: bits[2] = concat(nor.32484, literal.30645, id=32178, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32113: bits[2] = concat(literal.30657, nor.30936, id=32113, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31770: bits[2] = concat(nor.30896, nor.32484, id=31770, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.31166: bits[1] = not(and.31058, id=31166, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31087: bits[2] = concat(nor.31057, and.31058, id=31087, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32177: bits[2] = concat(nor.32488, literal.30645, id=32177, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32106: bits[2] = concat(literal.30657, nor.30887, id=32106, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31752: bits[2] = concat(nor.30847, nor.32488, id=31752, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31115: bits[2] = concat(nor.31091, and.31092, id=31115, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31509: bits[2] = concat(nor.30890, literal.30645, id=31509, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31511: bits[2] = concat(literal.30657, nor.30930, id=31511, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31761: bits[2] = concat(nor.30891, nor.30890, id=31761, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.30953: bits[1] = and(nor.30739, nor.30772, id=30953, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31135: bits[1] = and(and.30956, and.31003, id=31135, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  or.31562: bits[1] = or(bit_slice.30722, bit_slice.30712, id=31562, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.32547: bits[1] = and(nor.31134, not.32546, id=32547, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.32545: bits[1] = and(nor.31134, nor.31002, id=32545, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.31076: bits[1] = not(and.30905, id=31076, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.30948: bits[2] = concat(nor.30904, and.30905, id=30948, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30735: bits[1] = nor(bit_slice.30717, not.30718, id=30735, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30714: bits[1] = nor(carry_bit, not.30709, id=30714, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30952: bits[1] = nor(or.31563, nor.30772, id=30952, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31497: bits[2] = concat(literal.30657, nor.30771, id=31497, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32508: bits[2] = concat(literal.30645, nor.30738, id=32508, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31010: bits[1] = and(nor.30792, nor.30833, id=31010, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31164: bits[1] = and(and.31013, and.31055, id=31164, pos=[(0,1600,22), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  or.31566: bits[1] = or(bit_slice.30759, bit_slice.30730, id=31566, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.32554: bits[1] = and(nor.31163, not.32553, id=32554, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.32552: bits[1] = and(nor.31163, nor.31054, id=32552, pos=[(0,1600,22), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.31110: bits[1] = not(and.30961, id=31110, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31005: bits[2] = concat(nor.30960, and.30961, id=31005, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30788: bits[1] = nor(bit_slice.30754, not.30755, id=30788, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30751: bits[1] = nor(bit_slice.30726, not.30727, id=30751, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31009: bits[1] = nor(or.31567, nor.30833, id=31009, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31503: bits[2] = concat(literal.30657, nor.30832, id=31503, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32510: bits[2] = concat(literal.30645, nor.30791, id=32510, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.31217: bits[1] = not(and.31150, id=31217, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31175: bits[1] = and(nor.31034, nor.31074, id=31175, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31597: bits[2] = priority_sel(nor.31174, cases=[concat.31527], default=concat.31823, id=31597, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31863: bits[2] = priority_sel(concat.31170, cases=[concat.32181, concat.32134], default=concat.31814, id=31863, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.31187: bits[1] = not(and.31095, id=31187, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31124: bits[1] = and(nor.30940, nor.30983, id=31124, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31716: bits[2] = priority_sel(nor.31123, cases=[concat.31516], default=concat.31792, id=31716, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31836: bits[2] = priority_sel(concat.31119, cases=[concat.32178, concat.32113], default=concat.31770, id=31836, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31184: bits[1] = nor(not.31166, and.31092, id=31184, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31185: bits[1] = and(and.31058, and.31092, id=31185, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31827: bits[2] = priority_sel(concat.31087, cases=[concat.32177, concat.32106], default=concat.31752, id=31827, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31461: bits[2] = priority_sel(concat.31115, cases=[concat.31509, concat.31511], default=concat.31761, id=31461, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31106: bits[1] = and(and.30905, and.30953, id=31106, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.32671: bits[1] = not(and.31135, id=32671, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30955: bits[1] = nor(or.31562, nor.30778, id=30955, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.32672: bits[1] = not(and.32547, id=32672, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.32673: bits[1] = not(and.32545, id=32673, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30784: bits[1] = not(bit_slice.30750, id=30784, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30749: bits[1] = not(bit_slice.30725, id=30749, pos=[(0,1583,4), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30747: bits[1] = not(bit_slice.30724, id=30747, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30723: bits[1] = not(bit_slice.30712, id=30723, pos=[(0,1583,4), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31105: bits[1] = nor(not.31076, and.30953, id=31105, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31774: bits[1] = priority_sel(concat.30948, cases=[literal.30645, nor.30735], default=nor.30714, id=31774, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31448: bits[2] = priority_sel(nor.30952, cases=[concat.31497], default=concat.32508, id=31448, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31138: bits[1] = and(and.30961, and.31010, id=31138, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.32676: bits[1] = not(and.31164, id=32676, pos=[(0,1600,22), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31012: bits[1] = nor(or.31566, nor.30839, id=31012, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.32677: bits[1] = not(and.32554, id=32677, pos=[(0,1600,22), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.32678: bits[1] = not(and.32552, id=32678, pos=[(0,1600,22), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30845: bits[1] = not(bit_slice.30803, id=30845, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30802: bits[1] = not(bit_slice.30762, id=30802, pos=[(0,1583,4), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30800: bits[1] = not(bit_slice.30761, id=30800, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.30760: bits[1] = not(bit_slice.30730, id=30760, pos=[(0,1583,4), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31137: bits[1] = nor(not.31110, and.31010, id=31137, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31796: bits[1] = priority_sel(concat.31005, cases=[literal.30645, nor.30788], default=nor.30751, id=31796, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31454: bits[2] = priority_sel(nor.31009, cases=[concat.31503], default=concat.32510, id=31454, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  bit_slice.31219: bits[1] = bit_slice(xbs_fraction, start=0, width=1, id=31219, pos=[(2,3133,65), (3,166,48)])
  nor.31229: bits[1] = nor(not.31217, and.31175, id=31229, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32084: bits[3] = concat(literal.30657, priority_sel.31597, id=32084, pos=[(0,1540,24), (0,1600,22), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31868: bits[3] = concat(and.31150, priority_sel.31863, id=31868, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31202: bits[1] = nor(not.31187, and.31124, id=31202, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31532: bits[3] = concat(literal.30657, priority_sel.31716, id=31532, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31841: bits[3] = concat(and.31095, priority_sel.31836, id=31841, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31198: bits[2] = concat(nor.31184, and.31185, id=31198, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32182: bits[3] = concat(priority_sel.31827, literal.30645, id=32182, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32141: bits[3] = concat(literal.30657, priority_sel.31461, id=32141, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31832: bits[3] = concat(and.31058, priority_sel.31827, id=31832, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.31194: bits[1] = not(and.31106, id=31194, pos=[(0,1605,22), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.32631: bits[1] = and(and.32545, not.32671, id=32631, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.32675: bits[1] = and(nor.30955, not.32672, not.32673, not.32671, id=32675, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32609: bits[4] = concat(nor.30955, and.32547, and.32545, and.31135, id=32609, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30822: bits[1] = nor(bit_slice.30783, not.30784, id=30822, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30780: bits[1] = nor(bit_slice.30748, not.30749, id=30780, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30777: bits[1] = nor(bit_slice.30746, not.30747, id=30777, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30743: bits[1] = nor(bit_slice.30722, not.30723, id=30743, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31130: bits[2] = concat(nor.31105, and.31106, id=31130, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32179: bits[3] = concat(nor.30904, priority_sel.31774, literal.30645, id=32179, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32120: bits[3] = concat(literal.30657, priority_sel.31448, id=32120, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31783: bits[3] = concat(literal.30645, nor.30904, priority_sel.31774, id=31783, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.31210: bits[1] = not(and.31138, id=31210, pos=[(0,1605,22), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.32647: bits[1] = and(and.32552, not.32676, id=32647, pos=[(0,1600,22), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.32680: bits[1] = and(nor.31012, not.32677, not.32678, not.32676, id=32680, pos=[(0,1600,22), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32610: bits[4] = concat(nor.31012, and.32554, and.32552, and.31164, id=32610, pos=[(0,1600,22), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30881: bits[1] = nor(bit_slice.30844, not.30845, id=30881, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30841: bits[1] = nor(bit_slice.30801, not.30802, id=30841, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30838: bits[1] = nor(bit_slice.30799, not.30800, id=30838, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.30796: bits[1] = nor(bit_slice.30759, not.30760, id=30796, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31159: bits[2] = concat(nor.31137, and.31138, id=31159, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32180: bits[3] = concat(nor.30960, priority_sel.31796, literal.30645, id=32180, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32127: bits[3] = concat(literal.30657, priority_sel.31454, id=32127, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31805: bits[3] = concat(literal.30645, nor.30960, priority_sel.31796, id=31805, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  fraction_shift__3: bits[3] = literal(value=4, id=31285, pos=[(2,3170,8), (3,166,48)])
  not.32207: bits[1] = not(bit_slice.31219, id=32207, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31723: bits[3] = priority_sel(nor.31229, cases=[concat.32084], default=concat.31868, id=31723, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.31238: bits[1] = not(and.31185, id=31238, pos=[(0,1605,22), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31203: bits[1] = and(and.31095, and.31124, id=31203, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31599: bits[3] = priority_sel(nor.31202, cases=[concat.31532], default=concat.31841, id=31599, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31872: bits[3] = priority_sel(concat.31198, cases=[concat.32182, concat.32141], default=concat.31832, id=31872, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31208: bits[1] = and(and.31106, and.31135, id=31208, pos=[(0,1605,22), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31207: bits[1] = nor(not.31194, and.31135, id=31207, pos=[(0,1605,22), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  or.32616: bits[1] = or(and.32631, and.32675, id=32616, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.32562: bits[1] = priority_sel(concat.32609, cases=[literal.30645, nor.30822, nor.30780, nor.30777], default=nor.30743, id=32562, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31845: bits[3] = priority_sel(concat.31130, cases=[concat.32179, concat.32120], default=concat.31783, id=31845, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31224: bits[1] = nor(not.31210, and.31164, id=31224, pos=[(0,1605,22), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31225: bits[1] = and(and.31138, and.31164, id=31225, pos=[(0,1605,22), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  or.32623: bits[1] = or(and.32647, and.32680, id=32623, pos=[(0,1600,22), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.32575: bits[1] = priority_sel(concat.32610, cases=[literal.30645, nor.30881, nor.30841, nor.30838], default=nor.30796, id=32575, pos=[(0,1600,22), (0,1605,64), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31854: bits[3] = priority_sel(concat.31159, cases=[concat.32180, concat.32127], default=concat.31805, id=31854, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31230: bits[1] = and(and.31150, and.31175, id=31230, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32519: bits[4] = concat(fraction_shift__3, not.32207, id=32519, pos=[(0,1605,22), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32175: bits[4] = concat(literal.30645, priority_sel.31723, id=32175, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31247: bits[1] = nor(not.31238, and.31203, id=31247, pos=[(0,1605,22), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32087: bits[4] = concat(literal.30657, priority_sel.31599, id=32087, pos=[(0,1540,24), (0,1605,22), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31877: bits[4] = concat(and.31185, priority_sel.31872, id=31877, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  not.31253: bits[1] = not(and.31208, id=31253, pos=[(0,1610,22), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31220: bits[2] = concat(nor.31207, and.31208, id=31220, pos=[(0,1605,22), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  literal.31574: bits[4] = literal(value=0, id=31574, pos=[(0,1605,22), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32706: bits[4] = concat(literal.30657, nor.31134, or.32616, priority_sel.32562, id=32706, pos=[(0,1605,22), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31850: bits[4] = concat(and.31106, priority_sel.31845, id=31850, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31234: bits[2] = concat(nor.31224, and.31225, id=31234, pos=[(0,1605,22), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32705: bits[4] = concat(literal.30657, nor.31163, or.32623, priority_sel.32575, id=32705, pos=[(0,1605,22), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31859: bits[4] = concat(and.31138, priority_sel.31854, id=31859, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31265: bits[4] = priority_sel(and.31230, cases=[concat.32519], default=concat.32175, id=31265, pos=[(0,1605,22), (0,1610,66), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31729: bits[4] = priority_sel(nor.31247, cases=[concat.32087], default=concat.31877, id=31729, pos=[(0,1605,22), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  nor.31261: bits[1] = nor(not.31253, and.31225, id=31261, pos=[(0,1610,22), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31262: bits[1] = and(and.31208, and.31225, id=31262, pos=[(0,1610,22), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31881: bits[4] = priority_sel(concat.31220, cases=[literal.31574, concat.32706], default=concat.31850, id=31881, pos=[(0,1605,22), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31485: bits[4] = priority_sel(concat.31234, cases=[literal.31574, concat.32705], default=concat.31859, id=31485, pos=[(0,1605,22), (0,1610,66), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.31248: bits[1] = and(and.31185, and.31203, id=31248, pos=[(0,1605,22), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31271: bits[5] = concat(literal.30657, priority_sel.31265, id=31271, pos=[(0,1610,22), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32176: bits[5] = concat(literal.30645, priority_sel.31729, id=32176, pos=[(0,1605,22), (0,1610,35), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31266: bits[2] = concat(nor.31261, and.31262, id=31266, pos=[(0,1610,22), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32184: bits[5] = concat(priority_sel.31881, literal.30645, id=32184, pos=[(0,1610,22), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.32151: bits[5] = concat(literal.30657, priority_sel.31485, id=32151, pos=[(0,1610,22), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31886: bits[5] = concat(and.31208, priority_sel.31881, id=31886, pos=[(0,1605,22), (0,1610,35), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31273: bits[5] = priority_sel(and.31248, cases=[concat.31271], default=concat.32176, id=31273, pos=[(0,1610,22), (0,1615,66), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  priority_sel.31897: bits[5] = priority_sel(concat.31266, cases=[concat.32184, concat.32151], default=concat.31886, id=31897, pos=[(0,1610,22), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  and.32279: bits[1] = and(and.31208, and.31262, id=32279, pos=[(0,1610,22), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31275: bits[6] = concat(literal.30657, priority_sel.31273, id=31275, pos=[(0,1615,22), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31902: bits[6] = concat(literal.30645, priority_sel.31897, id=31902, pos=[(0,1610,22), (0,1615,35), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  concat.31276: bits[58] = concat(literal.30645, xbs_fraction, id=31276, pos=[(3,166,48)])
  leading_zeroes: bits[6] = priority_sel(and.32279, cases=[concat.31275], default=concat.31902, id=31277, pos=[(0,1615,22), (0,1642,30), (0,1707,13), (2,3137,34), (3,166,48)])
  cancel_fraction: bits[58] = shll(concat.31276, leading_zeroes, id=31278, pos=[(2,3140,26), (3,166,48)])
  bit_slice.31279: bits[55] = bit_slice(xbs_fraction, start=2, width=55, id=31279, pos=[(2,3049,20), (2,3133,36), (3,166,48)])
  or.31280: bits[1] = or(bit_slice.30992, bit_slice.31219, id=31280, pos=[(2,3049,40), (2,3133,36), (3,166,48)])
  cancel_fraction__1: bits[56] = bit_slice(cancel_fraction, start=1, width=56, id=31281, pos=[(3,166,48)])
  carry_fraction__1: bits[56] = concat(bit_slice.31279, or.31280, id=31282, pos=[(2,3049,20), (2,3133,36), (3,166,48)])
  shifted_fraction: bits[56] = sel(carry_bit, cases=[cancel_fraction__1, carry_fraction__1], id=31283, pos=[(2,3142,27), (3,166,48)])
  normal_chunk: bits[3] = bit_slice(shifted_fraction, start=0, width=3, id=31284, pos=[(2,3154,39), (3,166,48)])
  half_way_chunk: bits[2] = bit_slice(shifted_fraction, start=2, width=2, id=31286, pos=[(2,3155,41), (3,166,48)])
  literal.31287: bits[2] = literal(value=3, id=31287, pos=[(2,3156,68), (3,166,48)])
  ugt.31288: bits[1] = ugt(normal_chunk, fraction_shift__3, id=31288, pos=[(2,3156,23), (3,166,48)])
  eq.31289: bits[1] = eq(half_way_chunk, literal.31287, id=31289, pos=[(2,3156,50), (3,166,48)])
  bit_slice.32298: bits[53] = bit_slice(shifted_fraction, start=3, width=53, id=32298)
  do_round_up: bits[1] = or(ugt.31288, eq.31289, id=31292, pos=[(2,3156,23), (3,166,48)])
  concat.32299: bits[54] = concat(literal.30645, bit_slice.32298, id=32299)
  concat.32516: bits[54] = concat(literal.30661, do_round_up, id=32516)
  add.32204: bits[54] = add(concat.32299, concat.32516, id=32204)
  literal.31295: bits[6] = literal(value=0, id=31295, pos=[(3,166,48)])
  rounding_carry: bits[1] = bit_slice(add.32204, start=53, width=1, id=32284, pos=[(2,3164,41), (3,166,48)])
  literal.32445: bits[55] = literal(value=0, id=32445, pos=[(2,3117,39), (3,166,48)])
  bit_slice.32504: bits[1] = bit_slice(shrl.30686, start=1, width=1, id=32504, pos=[(2,3117,27), (3,166,48)])
  bit_slice.32505: bits[1] = bit_slice(shrl.30686, start=2, width=1, id=32505, pos=[(2,3117,27), (3,166,48)])
  concat.31297: bits[12] = concat(literal.30645, x_bexp, id=31297, pos=[(3,166,48)])
  literal.31298: bits[12] = literal(value=1, id=31298, pos=[(2,3176,24), (3,166,48)])
  concat.32326: bits[7] = concat(literal.31295, rounding_carry, id=32326, pos=[(3,166,48)])
  concat.31300: bits[7] = concat(literal.30645, leading_zeroes, id=31300, pos=[(3,166,48)])
  eq.32377: bits[1] = eq(add.32187, literal.32445, id=32377, pos=[(2,3117,27), (3,166,48)])
  nor.32473: bits[1] = nor(bit_slice.32504, bit_slice.32505, id=32473, pos=[(2,3117,27), (3,166,48)])
  nor.32474: bits[1] = nor(bit_slice.30691, sticky, id=32474, pos=[(2,3117,27), (3,166,48)])
  add.31301: bits[12] = add(concat.31297, literal.31298, id=31301, pos=[(2,3175,26), (3,166,48)])
  sub.31302: bits[7] = sub(concat.32326, concat.31300, id=31302, pos=[(2,3175,26), (3,166,48)])
  fraction_is_zero: bits[1] = and(eq.32377, nor.32473, nor.32474, id=32472, pos=[(2,3117,27), (3,166,48)])
  wide_exponent_associative_element: bits[13] = concat(literal.30645, add.31301, id=31304, pos=[(2,3175,26), (3,166,48)])
  wide_exponent_associative_element__1: bits[13] = sign_ext(sub.31302, new_bit_count=13, id=31305, pos=[(2,3175,26), (3,166,48)])
  not.31735: bits[1] = not(fraction_is_zero, id=31735, pos=[(2,3177,24), (3,166,48)])
  wide_exponent: bits[13] = add(wide_exponent_associative_element, wide_exponent_associative_element__1, id=31307, pos=[(2,3175,26), (3,166,48)])
  sign_ext.31736: bits[13] = sign_ext(not.31735, new_bit_count=13, id=31736, pos=[(2,3177,24), (3,166,48)])
  wide_exponent__1: bits[13] = and(wide_exponent, sign_ext.31736, id=31737, pos=[(2,3177,24), (3,166,48)])
  bit_slice.31316: bits[1] = bit_slice(wide_exponent__1, start=12, width=1, id=31316, pos=[(2,3180,27), (3,166,48)])
  not.31738: bits[1] = not(bit_slice.31316, id=31738, pos=[(2,3180,24), (3,166,48)])
  bit_slice.31317: bits[12] = bit_slice(wide_exponent__1, start=0, width=12, id=31317, pos=[(3,166,48)])
  sign_ext.31739: bits[12] = sign_ext(not.31738, new_bit_count=12, id=31739, pos=[(2,3180,24), (3,166,48)])
  MAX_EXPONENT: bits[11] = literal(value=2047, id=31309, pos=[(2,3193,39), (3,166,48)])
  literal.31310: bits[52] = literal(value=0, id=31310, pos=[(2,3190,44), (3,166,48)])
  wide_exponent__2: bits[12] = and(bit_slice.31317, sign_ext.31739, id=31740, pos=[(2,3180,24), (3,166,48)])
  eq.31312: bits[1] = eq(x_bexp, MAX_EXPONENT, id=31312, pos=[(2,71,6), (2,3213,30), (3,166,48)])
  eq.31313: bits[1] = eq(x_fraction, literal.31310, id=31313, pos=[(2,96,44), (2,3201,31), (3,166,48)])
  eq.31314: bits[1] = eq(y_bexp, MAX_EXPONENT, id=31314, pos=[(2,71,6), (2,3213,64), (3,166,48)])
  eq.31315: bits[1] = eq(y_fraction, literal.31310, id=31315, pos=[(2,96,44), (2,3201,65), (3,166,48)])
  bit_slice.31331: bits[11] = bit_slice(wide_exponent__2, start=1, width=11, id=31331, pos=[(2,3190,11), (3,166,48)])
  not.31319: bits[1] = not(eq.31312, id=31319, pos=[(2,3205,29), (3,166,48)])
  not.31320: bits[1] = not(eq.31313, id=31320, pos=[(2,3205,29), (3,166,48)])
  x_sign: bits[1] = sel(overflow_detected, cases=[tuple_index.30689, tuple_index.30688], id=31375, pos=[(2,3088,17), (3,166,48)])
  not.31322: bits[1] = not(eq.31314, id=31322, pos=[(2,3206,29), (3,166,48)])
  not.31323: bits[1] = not(eq.31315, id=31323, pos=[(2,3206,29), (3,166,48)])
  y_sign: bits[1] = sel(overflow_detected, cases=[tuple_index.30688, tuple_index.30689], id=31376, pos=[(2,3088,17), (3,166,48)])
  and.31338: bits[1] = and(eq.31312, eq.31313, id=31338, pos=[(2,96,6), (2,3201,31), (3,166,48)])
  and.31339: bits[1] = and(eq.31314, eq.31315, id=31339, pos=[(2,96,6), (2,3201,65), (3,166,48)])
  bit_slice.31340: bits[11] = bit_slice(wide_exponent__2, start=0, width=11, id=31340, pos=[(3,166,48)])
  or_reduce.31341: bits[1] = or_reduce(bit_slice.31331, id=31341, pos=[(2,3190,11), (3,166,48)])
  bit_slice.31342: bits[1] = bit_slice(wide_exponent__2, start=0, width=1, id=31342, pos=[(2,3190,11), (3,166,48)])
  nor.31326: bits[1] = nor(not.31319, not.31320, x_sign, id=31326, pos=[(2,3205,29), (3,166,48)])
  nor.31327: bits[1] = nor(not.31322, not.31323, y_sign, id=31327, pos=[(2,3206,29), (3,166,48)])
  and.31328: bits[1] = and(eq.31312, eq.31313, x_sign, id=31328, pos=[(2,3211,29), (3,166,48)])
  and.31329: bits[1] = and(eq.31314, eq.31315, y_sign, id=31329, pos=[(2,3212,29), (3,166,48)])
  fraction_shift__2: bits[3] = literal(value=3, id=31332, pos=[(2,3170,8), (3,166,48)])
  is_operand_inf: bits[1] = or(and.31338, and.31339, id=31350, pos=[(2,3201,31), (3,166,48)])
  bit_slice.31351: bits[1] = bit_slice(wide_exponent__2, start=11, width=1, id=31351, pos=[(2,3196,11), (3,166,48)])
  and_reduce.31352: bits[1] = and_reduce(bit_slice.31340, id=31352, pos=[(2,3196,11), (3,166,48)])
  nor.31353: bits[1] = nor(or_reduce.31341, bit_slice.31342, id=31353, pos=[(2,3190,11), (3,166,48)])
  has_pos_inf: bits[1] = or(nor.31326, nor.31327, id=31335, pos=[(2,3205,29), (3,166,48)])
  has_neg_inf: bits[1] = or(and.31328, and.31329, id=31336, pos=[(2,3211,29), (3,166,48)])
  rounded_fraction: bits[57] = concat(add.32204, normal_chunk, id=32329)
  fraction_shift__1: bits[3] = sel(rounding_carry, cases=[fraction_shift__2, fraction_shift__3], id=31343, pos=[(2,3170,8), (3,166,48)])
  or.31358: bits[1] = or(is_operand_inf, bit_slice.31351, and_reduce.31352, nor.31353, id=31358, pos=[(2,3203,26), (3,166,48)])
  nor.31385: bits[1] = nor(not.31319, eq.31313, id=31385, pos=[(2,71,6), (2,3213,30), (3,166,48)])
  nor.31387: bits[1] = nor(not.31322, eq.31315, id=31387, pos=[(2,71,6), (2,3213,64), (3,166,48)])
  and.31346: bits[1] = and(has_pos_inf, has_neg_inf, id=31346, pos=[(2,3214,25), (3,166,48)])
  concat.32327: bits[2] = concat(bit_slice.32282, fraction_is_zero, id=32327, pos=[(3,166,48)])
  and.31348: bits[1] = and(tuple_index.30688, tuple_index.30689, id=31348, pos=[(2,3119,22), (3,166,48)])
  not.31349: bits[1] = not(y_sign, id=31349, pos=[(2,3120,25), (3,166,48)])
  shrl.31354: bits[57] = shrl(rounded_fraction, fraction_shift__1, id=31354, pos=[(2,3171,27), (3,166,48)])
  not.31741: bits[1] = not(or.31358, id=31741, pos=[(2,3203,26), (3,166,48)])
  is_result_nan: bits[1] = or(nor.31385, nor.31387, and.31346, id=31355, pos=[(2,3213,30), (3,166,48)])
  result_sign: bits[1] = priority_sel(concat.32327, cases=[and.31348, not.31349], default=y_sign, id=31356, pos=[(3,166,48)])
  not.31357: bits[1] = not(has_pos_inf, id=31357, pos=[(2,3207,42), (3,166,48)])
  result_fraction: bits[52] = bit_slice(shrl.31354, start=0, width=52, id=31359, pos=[(3,166,48)])
  sign_ext.31742: bits[52] = sign_ext(not.31741, new_bit_count=52, id=31742, pos=[(2,3203,26), (3,166,48)])
  not.31360: bits[1] = not(is_result_nan, id=31360, pos=[(2,3218,22), (3,166,48)])
  result_sign__1: bits[1] = sel(is_operand_inf, cases=[result_sign, not.31357], id=31361, pos=[(2,3207,22), (3,166,48)])
  or.31362: bits[1] = or(is_result_nan, is_operand_inf, bit_slice.31351, and_reduce.31352, id=31362, pos=[(2,3216,26), (3,166,48)])
  result_fraction__3: bits[52] = and(result_fraction, sign_ext.31742, id=31743, pos=[(2,3203,26), (3,166,48)])
  FRACTION_HIGH_BIT: bits[52] = literal(value=2251799813685248, id=31364, pos=[(2,3215,30), (3,166,48)])
  result_sign__2: bits[1] = and(not.31360, result_sign__1, id=31365, pos=[(2,3218,22), (3,166,48)])
  result_exponent__2: bits[11] = sel(or.31362, cases=[bit_slice.31340, MAX_EXPONENT], id=31366, pos=[(2,3216,26), (3,166,48)])
  result_fraction__4: bits[52] = sel(is_result_nan, cases=[result_fraction__3, FRACTION_HIGH_BIT], id=31367, pos=[(2,3217,26), (3,166,48)])
  ret tuple.31368: (bits[1], bits[11], bits[52]) = tuple(result_sign__2, result_exponent__2, result_fraction__4, id=31368, pos=[(2,3221,33), (3,166,48)])
}