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__sub(x: (bits[1], bits[11], bits[52]) id=850, y: (bits[1], bits[11], bits[52]) id=851) -> (bits[1], bits[11], bits[52]) {
  y_bexp__2: bits[11] = tuple_index(y, index=1, id=28997, pos=[(2,3242,65), (3,168,48)])
  literal.29001: bits[1] = literal(value=0, id=29001, pos=[(1,91,63), (2,3009,44), (2,3091,57), (2,3243,7), (3,168,48)])
  x_bexp__2: bits[11] = tuple_index(x, index=1, id=29002, pos=[(2,3091,59), (2,3243,7), (3,168,48)])
  y__1_bexpnot__1: bits[11] = not(y_bexp__2, id=29003, pos=[(1,90,15), (2,3009,44), (2,3091,57), (2,3243,7), (3,168,48)])
  x_bexp_extended__2: bits[12] = concat(literal.29001, x_bexp__2, id=29004, pos=[(1,91,63), (2,3009,44), (2,3091,57), (2,3243,7), (3,168,48)])
  y__1_bexpnot_extended__1: bits[12] = concat(literal.29001, y__1_bexpnot__1, id=29005, pos=[(1,91,63), (2,3009,44), (2,3091,57), (2,3243,7), (3,168,48)])
  full_result: bits[12] = add(x_bexp_extended__2, y__1_bexpnot_extended__1, id=29006, pos=[(0,1120,45), (1,91,63), (2,3009,44), (2,3091,57), (2,3243,7), (3,168,48)])
  overflow_detected: bits[1] = bit_slice(full_result, start=11, width=1, id=29007, pos=[(0,1122,49), (1,91,63), (2,3009,44), (2,3091,57), (2,3243,7), (3,168,48)])
  y_fraction__2: bits[52] = tuple_index(y, index=2, id=28998, pos=[(2,3242,83), (3,168,48)])
  tuple_index.29010: bits[52] = tuple_index(x, index=2, id=29010, pos=[(2,3092,17), (2,3243,7), (3,168,48)])
  x_bexp__3: bits[11] = sel(overflow_detected, cases=[y_bexp__2, x_bexp__2], id=29727, pos=[(2,3092,17), (2,3243,7), (3,168,48)])
  literal.29012: bits[11] = literal(value=0, id=29012, pos=[(2,3099,34), (2,3243,7), (3,168,48)])
  y_bexp__3: bits[11] = sel(overflow_detected, cases=[x_bexp__2, y_bexp__2], id=29725, pos=[(2,3092,17), (2,3243,7), (3,168,48)])
  literal.29013: bits[1] = literal(value=1, id=29013, pos=[(2,3095,22), (2,3243,7), (3,168,48)])
  x_fraction__1: bits[52] = sel(overflow_detected, cases=[y_fraction__2, tuple_index.29010], id=29728, pos=[(2,3092,17), (2,3243,7), (3,168,48)])
  ne.30565: bits[1] = ne(x_bexp__3, literal.29012, id=30565, pos=[(2,3099,21), (2,3243,7), (3,168,48)])
  y_fraction__3: bits[52] = sel(overflow_detected, cases=[tuple_index.29010, y_fraction__2], id=29726, pos=[(2,3092,17), (2,3243,7), (3,168,48)])
  ne.30564: bits[1] = ne(y_bexp__3, literal.29012, id=30564, pos=[(2,3100,21), (2,3243,7), (3,168,48)])
  nc: bits[1] = not(overflow_detected, id=29008, pos=[(1,92,19), (2,3009,44), (2,3091,57), (2,3243,7), (3,168,48)])
  y_sign__2: bits[1] = tuple_index(y, index=0, id=28995, pos=[(2,3242,51), (3,168,48)])
  fraction_x: bits[53] = concat(literal.29013, x_fraction__1, id=29034, pos=[(2,3095,22), (2,3243,7), (3,168,48)])
  sign_ext.30032: bits[53] = sign_ext(ne.30565, new_bit_count=53, id=30032, pos=[(2,3099,21), (2,3243,7), (3,168,48)])
  fraction_y: bits[53] = concat(literal.29013, y_fraction__3, id=29016, pos=[(2,3096,22), (2,3243,7), (3,168,48)])
  sign_ext.30035: bits[53] = sign_ext(ne.30564, new_bit_count=53, id=30035, pos=[(2,3100,21), (2,3243,7), (3,168,48)])
  narrowed_result: bits[11] = bit_slice(full_result, start=0, width=11, id=29021, pos=[(1,91,63), (2,3009,44), (2,3091,57), (2,3243,7), (3,168,48)])
  x_bexpor_mask__1: bits[11] = sign_ext(nc, new_bit_count=11, id=29022, pos=[(1,94,32), (2,3009,44), (2,3091,57), (2,3243,7), (3,168,48)])
  literal.29023: bits[10] = literal(value=0, id=29023, pos=[(2,3010,68), (2,3091,57), (2,3243,7), (3,168,48)])
  not.28996: bits[1] = not(y_sign__2, id=28996, pos=[(2,3242,49), (3,168,48)])
  tuple_index.29041: bits[1] = tuple_index(x, index=0, id=29041, pos=[(2,3092,17), (2,3243,7), (3,168,48)])
  fraction_x__1: bits[53] = and(fraction_x, sign_ext.30032, id=30033, pos=[(2,3099,21), (2,3243,7), (3,168,48)])
  fraction_y__1: bits[53] = and(fraction_y, sign_ext.30035, id=30036, pos=[(2,3100,21), (2,3243,7), (3,168,48)])
  xddend_x__2_squeezed_const_lsb_bits: bits[3] = literal(value=0, id=29019, pos=[(2,3104,17), (2,3243,7), (3,168,48)])
  result: bits[11] = xor(narrowed_result, x_bexpor_mask__1, id=29025, pos=[(1,95,18), (2,3009,44), (2,3091,57), (2,3243,7), (3,168,48)])
  concat.29026: bits[11] = concat(literal.29023, overflow_detected, id=29026, pos=[(2,3010,68), (2,3091,57), (2,3243,7), (3,168,48)])
  x_sign__1: bits[1] = sel(overflow_detected, cases=[not.28996, tuple_index.29041], id=29729, pos=[(2,3092,17), (2,3243,7), (3,168,48)])
  y_sign__3: bits[1] = sel(overflow_detected, cases=[tuple_index.29041, not.28996], id=29730, pos=[(2,3092,17), (2,3243,7), (3,168,48)])
  wide_x_squeezed: bits[54] = concat(literal.29001, fraction_x__1, id=29043, pos=[(2,3103,17), (2,3243,7), (3,168,48)])
  wide_y_shift_bits: bits[56] = concat(fraction_y__1, xddend_x__2_squeezed_const_lsb_bits, id=29038, pos=[(2,3116,31), (2,3243,7), (3,168,48)])
  shift: bits[11] = add(result, concat.29026, id=29032, pos=[(1,54,7), (2,3010,68), (2,3091,57), (2,3243,7), (3,168,48)])
  literal.29031: bits[57] = literal(value=144115188075855871, id=29031, pos=[(0,1412,19), (0,1502,17), (0,1529,22), (2,3115,35), (2,3243,7), (3,168,48)])
  xor.29051: bits[1] = xor(x_sign__1, y_sign__3, id=29051, pos=[(2,3110,23), (2,3243,7), (3,168,48)])
  neg.29048: bits[54] = neg(wide_x_squeezed, id=29048, pos=[(2,3110,41), (2,3243,7), (3,168,48)])
  shrl.29044: bits[56] = shrl(wide_y_shift_bits, shift, id=29044, pos=[(2,3116,31), (2,3243,7), (3,168,48)])
  not.30688: bits[52] = not(y_fraction__3, id=30688, pos=[(0,1412,4), (0,1502,17), (0,1529,22), (2,3115,35), (2,3243,7), (3,168,48)])
  shll.29036: bits[57] = shll(literal.29031, shift, id=29036, pos=[(0,1412,19), (0,1502,17), (0,1529,22), (2,3115,35), (2,3243,7), (3,168,48)])
  xddend_x__2_squeezed: bits[54] = sel(xor.29051, cases=[wide_x_squeezed, neg.29048], id=30039, pos=[(2,3110,19), (2,3243,7), (3,168,48)])
  literal.29738: bits[2] = literal(value=0, id=29738, pos=[(2,3243,7), (3,168,48)])
  bit_slice.30680: bits[53] = bit_slice(shrl.29044, start=3, width=53, id=30680, pos=[(2,3120,20), (2,3243,7), (3,168,48)])
  concat.30691: bits[53] = concat(literal.29001, not.30688, id=30691, pos=[(0,1412,4), (0,1502,17), (0,1529,22), (2,3115,35), (2,3243,7), (3,168,48)])
  not.30568: bits[53] = not(sign_ext.30035, id=30568, pos=[(0,1412,4), (0,1502,17), (0,1529,22), (2,3115,35), (2,3243,7), (3,168,48)])
  bit_slice.29040: bits[53] = bit_slice(shll.29036, start=3, width=53, id=29040, pos=[(0,1412,19), (0,1502,17), (0,1529,22), (2,3115,35), (2,3243,7), (3,168,48)])
  sign_ext.30649: bits[55] = sign_ext(xddend_x__2_squeezed, new_bit_count=55, id=30649, pos=[(2,3120,20), (2,3243,7), (3,168,48)])
  concat.30651: bits[55] = concat(literal.29738, bit_slice.30680, id=30651, pos=[(2,3120,20), (2,3243,7), (3,168,48)])
  nor.30569: bits[53] = nor(concat.30691, not.30568, bit_slice.29040, id=30569, pos=[(0,1412,4), (0,1502,17), (0,1529,22), (2,3115,35), (2,3243,7), (3,168,48)])
  literal.29017: bits[53] = literal(value=0, id=29017, pos=[(2,3099,49), (2,3243,7), (3,168,48)])
  add.30543: bits[55] = add(sign_ext.30649, concat.30651, id=30543, pos=[(2,3120,20), (2,3243,7), (3,168,48)])
  bit_slice.29049: bits[1] = bit_slice(shrl.29044, start=0, width=1, id=29049, pos=[(2,3053,40), (2,3116,30), (2,3243,7), (3,168,48)])
  sticky: bits[1] = ne(nor.30569, literal.29017, id=29050, pos=[(0,1502,17), (0,1529,22), (2,3115,35), (2,3243,7), (3,168,48)])
  bit_slice.30636: bits[54] = bit_slice(add.30543, start=0, width=54, id=30636, pos=[(2,3120,20), (2,3243,7), (3,168,48)])
  bit_slice.30681: bits[2] = bit_slice(shrl.29044, start=1, width=2, id=30681, pos=[(2,3120,20), (2,3243,7), (3,168,48)])
  or.29055: bits[1] = or(bit_slice.29049, sticky, id=29055, pos=[(2,3053,40), (2,3116,30), (2,3243,7), (3,168,48)])
  concat.30686: bits[57] = concat(bit_slice.30636, bit_slice.30681, or.29055, id=30686, pos=[(2,3120,20), (2,3243,7), (3,168,48)])
  bit_slice.30638: bits[1] = bit_slice(add.30543, start=54, width=1, id=30638, pos=[(2,3130,12), (2,3243,7), (3,168,48)])
  neg.29063: bits[57] = neg(concat.30686, id=29063, pos=[(2,3130,46), (2,3243,7), (3,168,48)])
  xbs_fraction__1: bits[57] = sel(bit_slice.30638, cases=[concat.30686, neg.29063], id=29064, pos=[(2,3130,9), (2,3243,7), (3,168,48)])
  bit_slice.29080: bits[1] = bit_slice(xbs_fraction__1, start=48, width=1, id=29080, pos=[(0,1591,40), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29070: bits[1] = bit_slice(xbs_fraction__1, start=47, width=1, id=29070, pos=[(0,1591,70), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29104: bits[1] = bit_slice(xbs_fraction__1, start=46, width=1, id=29104, pos=[(0,1591,40), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29082: bits[1] = bit_slice(xbs_fraction__1, start=45, width=1, id=29082, pos=[(0,1591,70), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29117: bits[1] = bit_slice(xbs_fraction__1, start=32, width=1, id=29117, pos=[(0,1591,40), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29088: bits[1] = bit_slice(xbs_fraction__1, start=31, width=1, id=29088, pos=[(0,1591,70), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29157: bits[1] = bit_slice(xbs_fraction__1, start=30, width=1, id=29157, pos=[(0,1591,40), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29119: bits[1] = bit_slice(xbs_fraction__1, start=29, width=1, id=29119, pos=[(0,1591,70), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29102: bits[1] = nor(bit_slice.29080, bit_slice.29070, id=29102, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29136: bits[1] = nor(bit_slice.29104, bit_slice.29082, id=29136, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29106: bits[1] = bit_slice(xbs_fraction__1, start=44, width=1, id=29106, pos=[(0,1591,40), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29083: bits[1] = bit_slice(xbs_fraction__1, start=43, width=1, id=29083, pos=[(0,1591,70), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29141: bits[1] = bit_slice(xbs_fraction__1, start=42, width=1, id=29141, pos=[(0,1591,40), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29108: bits[1] = bit_slice(xbs_fraction__1, start=41, width=1, id=29108, pos=[(0,1591,70), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29155: bits[1] = nor(bit_slice.29117, bit_slice.29088, id=29155, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29197: bits[1] = nor(bit_slice.29157, bit_slice.29119, id=29197, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29159: bits[1] = bit_slice(xbs_fraction__1, start=28, width=1, id=29159, pos=[(0,1591,40), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29120: bits[1] = bit_slice(xbs_fraction__1, start=27, width=1, id=29120, pos=[(0,1591,70), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29202: bits[1] = bit_slice(xbs_fraction__1, start=26, width=1, id=29202, pos=[(0,1591,40), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29161: bits[1] = bit_slice(xbs_fraction__1, start=25, width=1, id=29161, pos=[(0,1591,70), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29350: bits[1] = bit_slice(xbs_fraction__1, start=1, width=1, id=29350, pos=[(0,1591,70), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29305: bits[1] = bit_slice(xbs_fraction__1, start=3, width=1, id=29305, pos=[(0,1591,70), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29302: bits[1] = bit_slice(xbs_fraction__1, start=8, width=1, id=29302, pos=[(0,1591,40), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29261: bits[1] = bit_slice(xbs_fraction__1, start=7, width=1, id=29261, pos=[(0,1591,70), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29346: bits[1] = bit_slice(xbs_fraction__1, start=6, width=1, id=29346, pos=[(0,1591,40), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29304: bits[1] = bit_slice(xbs_fraction__1, start=5, width=1, id=29304, pos=[(0,1591,70), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29260: bits[1] = bit_slice(xbs_fraction__1, start=9, width=1, id=29260, pos=[(0,1591,70), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29215: bits[1] = bit_slice(xbs_fraction__1, start=11, width=1, id=29215, pos=[(0,1591,70), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29212: bits[1] = bit_slice(xbs_fraction__1, start=16, width=1, id=29212, pos=[(0,1591,40), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29166: bits[1] = bit_slice(xbs_fraction__1, start=15, width=1, id=29166, pos=[(0,1591,70), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29256: bits[1] = bit_slice(xbs_fraction__1, start=14, width=1, id=29256, pos=[(0,1591,40), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29214: bits[1] = bit_slice(xbs_fraction__1, start=13, width=1, id=29214, pos=[(0,1591,70), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29162: bits[1] = bit_slice(xbs_fraction__1, start=24, width=1, id=29162, pos=[(0,1591,40), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29121: bits[1] = bit_slice(xbs_fraction__1, start=23, width=1, id=29121, pos=[(0,1591,70), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29207: bits[1] = bit_slice(xbs_fraction__1, start=22, width=1, id=29207, pos=[(0,1591,40), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29164: bits[1] = bit_slice(xbs_fraction__1, start=21, width=1, id=29164, pos=[(0,1591,70), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29209: bits[1] = bit_slice(xbs_fraction__1, start=20, width=1, id=29209, pos=[(0,1591,40), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29165: bits[1] = bit_slice(xbs_fraction__1, start=19, width=1, id=29165, pos=[(0,1591,70), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29251: bits[1] = bit_slice(xbs_fraction__1, start=18, width=1, id=29251, pos=[(0,1591,40), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29211: bits[1] = bit_slice(xbs_fraction__1, start=17, width=1, id=29211, pos=[(0,1591,70), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29314: bits[1] = and(nor.29102, nor.29136, id=29314, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29139: bits[1] = nor(bit_slice.29106, bit_slice.29083, id=29139, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29181: bits[1] = nor(bit_slice.29141, bit_slice.29108, id=29181, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  or.29917: bits[1] = or(bit_slice.29106, bit_slice.29083, id=29917, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  carry_bit: bits[1] = bit_slice(xbs_fraction__1, start=56, width=1, id=29066, pos=[(0,1591,40), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29065: bits[1] = bit_slice(xbs_fraction__1, start=55, width=1, id=29065, pos=[(0,1591,70), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29075: bits[1] = bit_slice(xbs_fraction__1, start=54, width=1, id=29075, pos=[(0,1591,40), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29068: bits[1] = bit_slice(xbs_fraction__1, start=53, width=1, id=29068, pos=[(0,1591,70), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29079: bits[1] = bit_slice(xbs_fraction__1, start=49, width=1, id=29079, pos=[(0,1591,70), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29069: bits[1] = bit_slice(xbs_fraction__1, start=51, width=1, id=29069, pos=[(0,1591,70), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29371: bits[1] = and(nor.29155, nor.29197, id=29371, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29200: bits[1] = nor(bit_slice.29159, bit_slice.29120, id=29200, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29240: bits[1] = nor(bit_slice.29202, bit_slice.29161, id=29240, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  or.29921: bits[1] = or(bit_slice.29159, bit_slice.29120, id=29921, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29084: bits[1] = bit_slice(xbs_fraction__1, start=40, width=1, id=29084, pos=[(0,1591,40), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29071: bits[1] = bit_slice(xbs_fraction__1, start=39, width=1, id=29071, pos=[(0,1591,70), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29112: bits[1] = bit_slice(xbs_fraction__1, start=38, width=1, id=29112, pos=[(0,1591,40), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29086: bits[1] = bit_slice(xbs_fraction__1, start=37, width=1, id=29086, pos=[(0,1591,70), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29116: bits[1] = bit_slice(xbs_fraction__1, start=33, width=1, id=29116, pos=[(0,1591,70), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29087: bits[1] = bit_slice(xbs_fraction__1, start=35, width=1, id=29087, pos=[(0,1591,70), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29348: bits[1] = bit_slice(xbs_fraction__1, start=4, width=1, id=29348, pos=[(0,1591,40), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29394: bits[1] = bit_slice(xbs_fraction__1, start=2, width=1, id=29394, pos=[(0,1591,40), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29395: bits[1] = not(bit_slice.29350, id=29395, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29349: bits[1] = not(bit_slice.29305, id=29349, pos=[(0,1584,4), (0,1591,64), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  or.29925: bits[1] = or(bit_slice.29302, bit_slice.29261, id=29925, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29389: bits[1] = nor(bit_slice.29346, bit_slice.29304, id=29389, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29344: bits[1] = nor(bit_slice.29302, bit_slice.29261, id=29344, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29303: bits[1] = not(bit_slice.29261, id=29303, pos=[(0,1584,4), (0,1591,64), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29347: bits[1] = not(bit_slice.29304, id=29347, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29258: bits[1] = bit_slice(xbs_fraction__1, start=12, width=1, id=29258, pos=[(0,1591,40), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29300: bits[1] = bit_slice(xbs_fraction__1, start=10, width=1, id=29300, pos=[(0,1591,40), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29301: bits[1] = not(bit_slice.29260, id=29301, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.30835: bits[1] = not(bit_slice.29215, id=30835, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  or.29926: bits[1] = or(bit_slice.29212, bit_slice.29166, id=29926, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29295: bits[1] = nor(bit_slice.29256, bit_slice.29214, id=29295, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29254: bits[1] = nor(bit_slice.29212, bit_slice.29166, id=29254, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.30839: bits[1] = not(bit_slice.29166, id=30839, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29257: bits[1] = not(bit_slice.29214, id=29257, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29205: bits[1] = nor(bit_slice.29162, bit_slice.29121, id=29205, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29246: bits[1] = nor(bit_slice.29207, bit_slice.29164, id=29246, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  or.29928: bits[1] = or(bit_slice.29162, bit_slice.29121, id=29928, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.30843: bits[1] = not(bit_slice.29121, id=30843, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29208: bits[1] = not(bit_slice.29164, id=29208, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  or.29929: bits[1] = or(bit_slice.29209, bit_slice.29165, id=29929, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29289: bits[1] = nor(bit_slice.29251, bit_slice.29211, id=29289, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29249: bits[1] = nor(bit_slice.29209, bit_slice.29165, id=29249, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29210: bits[1] = not(bit_slice.29165, id=29210, pos=[(0,1584,4), (0,1591,64), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29252: bits[1] = not(bit_slice.29211, id=29252, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29077: bits[1] = bit_slice(xbs_fraction__1, start=52, width=1, id=29077, pos=[(0,1591,40), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29099: bits[1] = bit_slice(xbs_fraction__1, start=50, width=1, id=29099, pos=[(0,1591,40), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29466: bits[1] = not(and.29314, id=29466, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29361: bits[1] = and(nor.29139, nor.29181, id=29361, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29360: bits[1] = nor(or.29917, nor.29181, id=29360, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29073: bits[1] = nor(carry_bit, bit_slice.29065, id=29073, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29094: bits[1] = nor(bit_slice.29075, bit_slice.29068, id=29094, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  or.29916: bits[1] = or(carry_bit, bit_slice.29065, id=29916, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29100: bits[1] = not(bit_slice.29079, id=29100, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29078: bits[1] = not(bit_slice.29069, id=29078, pos=[(0,1584,4), (0,1591,64), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29114: bits[1] = bit_slice(xbs_fraction__1, start=36, width=1, id=29114, pos=[(0,1591,40), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29152: bits[1] = bit_slice(xbs_fraction__1, start=34, width=1, id=29152, pos=[(0,1591,40), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29498: bits[1] = not(and.29371, id=29498, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29413: bits[1] = and(nor.29200, nor.29240, id=29413, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29412: bits[1] = nor(or.29921, nor.29240, id=29412, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29110: bits[1] = nor(bit_slice.29084, bit_slice.29071, id=29110, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29147: bits[1] = nor(bit_slice.29112, bit_slice.29086, id=29147, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  or.29920: bits[1] = or(bit_slice.29084, bit_slice.29071, id=29920, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29153: bits[1] = not(bit_slice.29116, id=29153, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29115: bits[1] = not(bit_slice.29087, id=29115, pos=[(0,1584,4), (0,1591,64), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  or.29924: bits[1] = or(bit_slice.29348, bit_slice.29305, id=29924, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29432: bits[1] = nor(bit_slice.29394, bit_slice.29350, id=29432, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29431: bits[1] = nor(bit_slice.29394, not.29395, id=29431, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29392: bits[1] = nor(bit_slice.29348, bit_slice.29305, id=29392, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29391: bits[1] = nor(bit_slice.29348, not.29349, id=29391, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29507: bits[1] = nor(or.29925, nor.29389, id=29507, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29508: bits[1] = and(nor.29344, nor.29389, id=29508, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29343: bits[1] = nor(bit_slice.29302, not.29303, id=29343, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29388: bits[1] = nor(bit_slice.29346, not.29347, id=29388, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  or.29927: bits[1] = or(bit_slice.29258, bit_slice.29215, id=29927, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29341: bits[1] = nor(bit_slice.29300, bit_slice.29260, id=29341, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29340: bits[1] = nor(bit_slice.29300, not.29301, id=29340, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.30833: bits[1] = nor(bit_slice.29258, bit_slice.29215, id=30833, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.30836: bits[1] = nor(bit_slice.29258, not.30835, id=30836, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29452: bits[1] = nor(or.29926, nor.29295, id=29452, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29453: bits[1] = and(nor.29254, nor.29295, id=29453, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.30840: bits[1] = nor(bit_slice.29212, not.30839, id=30840, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29294: bits[1] = nor(bit_slice.29256, not.29257, id=29294, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29416: bits[1] = and(nor.29205, nor.29246, id=29416, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29415: bits[1] = nor(or.29928, nor.29246, id=29415, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.30844: bits[1] = nor(bit_slice.29162, not.30843, id=30844, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29245: bits[1] = nor(bit_slice.29207, not.29208, id=29245, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29449: bits[1] = nor(or.29929, nor.29289, id=29449, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29450: bits[1] = and(nor.29249, nor.29289, id=29450, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29248: bits[1] = nor(bit_slice.29209, not.29210, id=29248, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29288: bits[1] = nor(bit_slice.29251, not.29252, id=29288, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29097: bits[1] = nor(bit_slice.29077, bit_slice.29069, id=29097, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29130: bits[1] = nor(bit_slice.29099, bit_slice.29079, id=29130, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29492: bits[1] = nor(not.29466, and.29361, id=29492, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.30902: bits[1] = not(nor.29360, id=30902, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29263: bits[1] = and(nor.29073, nor.29094, id=29263, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29262: bits[1] = nor(or.29916, nor.29094, id=29262, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29076: bits[1] = not(bit_slice.29068, id=29076, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29067: bits[1] = not(bit_slice.29065, id=29067, pos=[(0,1584,4), (0,1591,64), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  or.29919: bits[1] = or(bit_slice.29077, bit_slice.29069, id=29919, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29129: bits[1] = nor(bit_slice.29099, not.29100, id=29129, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29096: bits[1] = nor(bit_slice.29077, not.29078, id=29096, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29150: bits[1] = nor(bit_slice.29114, bit_slice.29087, id=29150, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29191: bits[1] = nor(bit_slice.29152, bit_slice.29116, id=29191, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29521: bits[1] = nor(not.29498, and.29413, id=29521, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.30909: bits[1] = not(nor.29412, id=30909, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29319: bits[1] = and(nor.29110, nor.29147, id=29319, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29318: bits[1] = nor(or.29920, nor.29147, id=29318, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29113: bits[1] = not(bit_slice.29086, id=29113, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29085: bits[1] = not(bit_slice.29071, id=29085, pos=[(0,1584,4), (0,1591,64), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  or.29923: bits[1] = or(bit_slice.29114, bit_slice.29087, id=29923, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29190: bits[1] = nor(bit_slice.29152, not.29153, id=29190, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29149: bits[1] = nor(bit_slice.29114, not.29115, id=29149, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29532: bits[1] = nor(or.29924, nor.29432, id=29532, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29883: bits[2] = concat(literal.29013, nor.29431, id=29883, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30179: bits[2] = concat(nor.29392, nor.29391, id=30179, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29528: bits[2] = concat(nor.29507, and.29508, id=29528, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30537: bits[2] = concat(nor.29343, literal.29001, id=30537, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30490: bits[2] = concat(literal.29013, nor.29388, id=30490, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30170: bits[2] = concat(nor.29344, nor.29343, id=30170, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29481: bits[1] = nor(or.29927, nor.29341, id=29481, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29872: bits[2] = concat(literal.29013, nor.29340, id=29872, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30148: bits[2] = concat(nor.30833, nor.30836, id=30148, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29477: bits[2] = concat(nor.29452, and.29453, id=29477, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30534: bits[2] = concat(nor.30840, literal.29001, id=30534, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30469: bits[2] = concat(literal.29013, nor.29294, id=30469, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30126: bits[2] = concat(nor.29254, nor.30840, id=30126, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29524: bits[1] = not(and.29416, id=29524, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29445: bits[2] = concat(nor.29415, and.29416, id=29445, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30533: bits[2] = concat(nor.30844, literal.29001, id=30533, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30462: bits[2] = concat(literal.29013, nor.29245, id=30462, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30108: bits[2] = concat(nor.29205, nor.30844, id=30108, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29473: bits[2] = concat(nor.29449, and.29450, id=29473, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29865: bits[2] = concat(nor.29248, literal.29001, id=29865, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29867: bits[2] = concat(literal.29013, nor.29288, id=29867, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30117: bits[2] = concat(nor.29249, nor.29248, id=30117, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29311: bits[1] = and(nor.29097, nor.29130, id=29311, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29493: bits[1] = and(and.29314, and.29361, id=29493, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  or.29918: bits[1] = or(bit_slice.29080, bit_slice.29070, id=29918, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.30903: bits[1] = and(nor.29492, not.30902, id=30903, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.30901: bits[1] = and(nor.29492, nor.29360, id=30901, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29434: bits[1] = not(and.29263, id=29434, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29306: bits[2] = concat(nor.29262, and.29263, id=29306, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29093: bits[1] = nor(bit_slice.29075, not.29076, id=29093, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29072: bits[1] = nor(carry_bit, not.29067, id=29072, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29310: bits[1] = nor(or.29919, nor.29130, id=29310, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29853: bits[2] = concat(literal.29013, nor.29129, id=29853, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30864: bits[2] = concat(literal.29001, nor.29096, id=30864, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29368: bits[1] = and(nor.29150, nor.29191, id=29368, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29522: bits[1] = and(and.29371, and.29413, id=29522, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  or.29922: bits[1] = or(bit_slice.29117, bit_slice.29088, id=29922, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.30910: bits[1] = and(nor.29521, not.30909, id=30910, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.30908: bits[1] = and(nor.29521, nor.29412, id=30908, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29468: bits[1] = not(and.29319, id=29468, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29363: bits[2] = concat(nor.29318, and.29319, id=29363, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29146: bits[1] = nor(bit_slice.29112, not.29113, id=29146, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29109: bits[1] = nor(bit_slice.29084, not.29085, id=29109, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29367: bits[1] = nor(or.29923, nor.29191, id=29367, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29859: bits[2] = concat(literal.29013, nor.29190, id=29859, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30866: bits[2] = concat(literal.29001, nor.29149, id=30866, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29575: bits[1] = not(and.29508, id=29575, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29533: bits[1] = and(nor.29392, nor.29432, id=29533, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.29953: bits[2] = priority_sel(nor.29532, cases=[concat.29883], default=concat.30179, id=29953, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.30219: bits[2] = priority_sel(concat.29528, cases=[concat.30537, concat.30490], default=concat.30170, id=30219, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29545: bits[1] = not(and.29453, id=29545, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29482: bits[1] = and(nor.30833, nor.29341, id=29482, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.30072: bits[2] = priority_sel(nor.29481, cases=[concat.29872], default=concat.30148, id=30072, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.30192: bits[2] = priority_sel(concat.29477, cases=[concat.30534, concat.30469], default=concat.30126, id=30192, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29542: bits[1] = nor(not.29524, and.29450, id=29542, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29543: bits[1] = and(and.29416, and.29450, id=29543, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.30183: bits[2] = priority_sel(concat.29445, cases=[concat.30533, concat.30462], default=concat.30108, id=30183, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.29817: bits[2] = priority_sel(concat.29473, cases=[concat.29865, concat.29867], default=concat.30117, id=29817, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29464: bits[1] = and(and.29263, and.29311, id=29464, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.31027: bits[1] = not(and.29493, id=31027, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29313: bits[1] = nor(or.29918, nor.29136, id=29313, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.31028: bits[1] = not(and.30903, id=31028, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.31029: bits[1] = not(and.30901, id=31029, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29142: bits[1] = not(bit_slice.29108, id=29142, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29107: bits[1] = not(bit_slice.29083, id=29107, pos=[(0,1584,4), (0,1591,64), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29105: bits[1] = not(bit_slice.29082, id=29105, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29081: bits[1] = not(bit_slice.29070, id=29081, pos=[(0,1584,4), (0,1591,64), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29463: bits[1] = nor(not.29434, and.29311, id=29463, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.30130: bits[1] = priority_sel(concat.29306, cases=[literal.29001, nor.29093], default=nor.29072, id=30130, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.29804: bits[2] = priority_sel(nor.29310, cases=[concat.29853], default=concat.30864, id=29804, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29496: bits[1] = and(and.29319, and.29368, id=29496, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.31032: bits[1] = not(and.29522, id=31032, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29370: bits[1] = nor(or.29922, nor.29197, id=29370, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.31033: bits[1] = not(and.30910, id=31033, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.31034: bits[1] = not(and.30908, id=31034, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29203: bits[1] = not(bit_slice.29161, id=29203, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29160: bits[1] = not(bit_slice.29120, id=29160, pos=[(0,1584,4), (0,1591,64), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29158: bits[1] = not(bit_slice.29119, id=29158, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29118: bits[1] = not(bit_slice.29088, id=29118, pos=[(0,1584,4), (0,1591,64), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29495: bits[1] = nor(not.29468, and.29368, id=29495, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.30152: bits[1] = priority_sel(concat.29363, cases=[literal.29001, nor.29146], default=nor.29109, id=30152, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.29810: bits[2] = priority_sel(nor.29367, cases=[concat.29859], default=concat.30866, id=29810, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  bit_slice.29577: bits[1] = bit_slice(xbs_fraction__1, start=0, width=1, id=29577, pos=[(0,1591,40), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29587: bits[1] = nor(not.29575, and.29533, id=29587, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30440: bits[3] = concat(literal.29013, priority_sel.29953, id=30440, pos=[(0,1541,24), (0,1601,22), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30224: bits[3] = concat(and.29508, priority_sel.30219, id=30224, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29560: bits[1] = nor(not.29545, and.29482, id=29560, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29888: bits[3] = concat(literal.29013, priority_sel.30072, id=29888, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30197: bits[3] = concat(and.29453, priority_sel.30192, id=30197, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29556: bits[2] = concat(nor.29542, and.29543, id=29556, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30538: bits[3] = concat(priority_sel.30183, literal.29001, id=30538, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30497: bits[3] = concat(literal.29013, priority_sel.29817, id=30497, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30188: bits[3] = concat(and.29416, priority_sel.30183, id=30188, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29552: bits[1] = not(and.29464, id=29552, pos=[(0,1606,22), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.30987: bits[1] = and(and.30901, not.31027, id=30987, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.31031: bits[1] = and(nor.29313, not.31028, not.31029, not.31027, id=31031, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30965: bits[4] = concat(nor.29313, and.30903, and.30901, and.29493, id=30965, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29180: bits[1] = nor(bit_slice.29141, not.29142, id=29180, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29138: bits[1] = nor(bit_slice.29106, not.29107, id=29138, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29135: bits[1] = nor(bit_slice.29104, not.29105, id=29135, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29101: bits[1] = nor(bit_slice.29080, not.29081, id=29101, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29488: bits[2] = concat(nor.29463, and.29464, id=29488, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30535: bits[3] = concat(nor.29262, priority_sel.30130, literal.29001, id=30535, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30476: bits[3] = concat(literal.29013, priority_sel.29804, id=30476, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30139: bits[3] = concat(literal.29001, nor.29262, priority_sel.30130, id=30139, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29568: bits[1] = not(and.29496, id=29568, pos=[(0,1606,22), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.31003: bits[1] = and(and.30908, not.31032, id=31003, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.31036: bits[1] = and(nor.29370, not.31033, not.31034, not.31032, id=31036, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30966: bits[4] = concat(nor.29370, and.30910, and.30908, and.29522, id=30966, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29239: bits[1] = nor(bit_slice.29202, not.29203, id=29239, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29199: bits[1] = nor(bit_slice.29159, not.29160, id=29199, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29196: bits[1] = nor(bit_slice.29157, not.29158, id=29196, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29154: bits[1] = nor(bit_slice.29117, not.29118, id=29154, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29517: bits[2] = concat(nor.29495, and.29496, id=29517, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30536: bits[3] = concat(nor.29318, priority_sel.30152, literal.29001, id=30536, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30483: bits[3] = concat(literal.29013, priority_sel.29810, id=30483, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30161: bits[3] = concat(literal.29001, nor.29318, priority_sel.30152, id=30161, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  fraction_shift__3: bits[3] = literal(value=4, id=30873, pos=[(0,1606,22), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.30563: bits[1] = not(bit_slice.29577, id=30563, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.30079: bits[3] = priority_sel(nor.29587, cases=[concat.30440], default=concat.30224, id=30079, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29596: bits[1] = not(and.29543, id=29596, pos=[(0,1606,22), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29561: bits[1] = and(and.29453, and.29482, id=29561, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.29955: bits[3] = priority_sel(nor.29560, cases=[concat.29888], default=concat.30197, id=29955, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.30228: bits[3] = priority_sel(concat.29556, cases=[concat.30538, concat.30497], default=concat.30188, id=30228, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29566: bits[1] = and(and.29464, and.29493, id=29566, pos=[(0,1606,22), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29565: bits[1] = nor(not.29552, and.29493, id=29565, pos=[(0,1606,22), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  or.30972: bits[1] = or(and.30987, and.31031, id=30972, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.30918: bits[1] = priority_sel(concat.30965, cases=[literal.29001, nor.29180, nor.29138, nor.29135], default=nor.29101, id=30918, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.30201: bits[3] = priority_sel(concat.29488, cases=[concat.30535, concat.30476], default=concat.30139, id=30201, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29582: bits[1] = nor(not.29568, and.29522, id=29582, pos=[(0,1606,22), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29583: bits[1] = and(and.29496, and.29522, id=29583, pos=[(0,1606,22), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  or.30979: bits[1] = or(and.31003, and.31036, id=30979, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.30931: bits[1] = priority_sel(concat.30966, cases=[literal.29001, nor.29239, nor.29199, nor.29196], default=nor.29154, id=30931, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.30210: bits[3] = priority_sel(concat.29517, cases=[concat.30536, concat.30483], default=concat.30161, id=30210, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29588: bits[1] = and(and.29508, and.29533, id=29588, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30875: bits[4] = concat(fraction_shift__3, not.30563, id=30875, pos=[(0,1606,22), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30531: bits[4] = concat(literal.29001, priority_sel.30079, id=30531, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29605: bits[1] = nor(not.29596, and.29561, id=29605, pos=[(0,1606,22), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30443: bits[4] = concat(literal.29013, priority_sel.29955, id=30443, pos=[(0,1541,24), (0,1606,22), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30233: bits[4] = concat(and.29543, priority_sel.30228, id=30233, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  not.29611: bits[1] = not(and.29566, id=29611, pos=[(0,1611,22), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29578: bits[2] = concat(nor.29565, and.29566, id=29578, pos=[(0,1606,22), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  literal.30392: bits[4] = literal(value=0, id=30392, pos=[(0,1606,22), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.31062: bits[4] = concat(literal.29013, nor.29492, or.30972, priority_sel.30918, id=31062, pos=[(0,1606,22), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30206: bits[4] = concat(and.29464, priority_sel.30201, id=30206, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29592: bits[2] = concat(nor.29582, and.29583, id=29592, pos=[(0,1606,22), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.31061: bits[4] = concat(literal.29013, nor.29521, or.30979, priority_sel.30931, id=31061, pos=[(0,1606,22), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30215: bits[4] = concat(and.29496, priority_sel.30210, id=30215, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.29623: bits[4] = priority_sel(and.29588, cases=[concat.30875], default=concat.30531, id=29623, pos=[(0,1606,22), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.30085: bits[4] = priority_sel(nor.29605, cases=[concat.30443], default=concat.30233, id=30085, pos=[(0,1606,22), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  nor.29619: bits[1] = nor(not.29611, and.29583, id=29619, pos=[(0,1611,22), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29620: bits[1] = and(and.29566, and.29583, id=29620, pos=[(0,1611,22), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.30237: bits[4] = priority_sel(concat.29578, cases=[literal.30392, concat.31062], default=concat.30206, id=30237, pos=[(0,1606,22), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.29841: bits[4] = priority_sel(concat.29592, cases=[literal.30392, concat.31061], default=concat.30215, id=29841, pos=[(0,1606,22), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.29606: bits[1] = and(and.29543, and.29561, id=29606, pos=[(0,1606,22), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29629: bits[5] = concat(literal.29013, priority_sel.29623, id=29629, pos=[(0,1611,22), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30532: bits[5] = concat(literal.29001, priority_sel.30085, id=30532, pos=[(0,1606,22), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29624: bits[2] = concat(nor.29619, and.29620, id=29624, pos=[(0,1611,22), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30540: bits[5] = concat(priority_sel.30237, literal.29001, id=30540, pos=[(0,1611,22), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30507: bits[5] = concat(literal.29013, priority_sel.29841, id=30507, pos=[(0,1611,22), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30242: bits[5] = concat(and.29566, priority_sel.30237, id=30242, pos=[(0,1606,22), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.29631: bits[5] = priority_sel(and.29606, cases=[concat.29629], default=concat.30532, id=29631, pos=[(0,1611,22), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  priority_sel.30253: bits[5] = priority_sel(concat.29624, cases=[concat.30540, concat.30507], default=concat.30242, id=30253, pos=[(0,1611,22), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  and.30635: bits[1] = and(and.29566, and.29620, id=30635, pos=[(0,1611,22), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29633: bits[6] = concat(literal.29013, priority_sel.29631, id=29633, pos=[(0,1616,22), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.30258: bits[6] = concat(literal.29001, priority_sel.30253, id=30258, pos=[(0,1611,22), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  concat.29634: bits[58] = concat(literal.29001, xbs_fraction__1, id=29634, pos=[(2,3243,7), (3,168,48)])
  leading_zeroes: bits[6] = priority_sel(and.30635, cases=[concat.29633], default=concat.30258, id=29635, pos=[(0,1616,22), (0,1643,30), (0,1708,13), (2,3141,34), (2,3243,7), (3,168,48)])
  cancel_fraction: bits[58] = shll(concat.29634, leading_zeroes, id=29636, pos=[(2,3144,26), (2,3243,7), (3,168,48)])
  bit_slice.29637: bits[55] = bit_slice(xbs_fraction__1, start=2, width=55, id=29637, pos=[(2,3053,20), (2,3137,36), (2,3243,7), (3,168,48)])
  or.29638: bits[1] = or(bit_slice.29350, bit_slice.29577, id=29638, pos=[(2,3053,40), (2,3137,36), (2,3243,7), (3,168,48)])
  cancel_fraction__1: bits[56] = bit_slice(cancel_fraction, start=1, width=56, id=29639, pos=[(2,3243,7), (3,168,48)])
  carry_fraction__1: bits[56] = concat(bit_slice.29637, or.29638, id=29640, pos=[(2,3053,20), (2,3137,36), (2,3243,7), (3,168,48)])
  shifted_fraction: bits[56] = sel(carry_bit, cases=[cancel_fraction__1, carry_fraction__1], id=29641, pos=[(2,3146,27), (2,3243,7), (3,168,48)])
  normal_chunk: bits[3] = bit_slice(shifted_fraction, start=0, width=3, id=29642, pos=[(2,3158,39), (2,3243,7), (3,168,48)])
  half_way_chunk: bits[2] = bit_slice(shifted_fraction, start=2, width=2, id=29644, pos=[(2,3159,41), (2,3243,7), (3,168,48)])
  literal.29645: bits[2] = literal(value=3, id=29645, pos=[(2,3160,68), (2,3243,7), (3,168,48)])
  ugt.29646: bits[1] = ugt(normal_chunk, fraction_shift__3, id=29646, pos=[(2,3160,23), (2,3243,7), (3,168,48)])
  eq.29647: bits[1] = eq(half_way_chunk, literal.29645, id=29647, pos=[(2,3160,50), (2,3243,7), (3,168,48)])
  bit_slice.30654: bits[53] = bit_slice(shifted_fraction, start=3, width=53, id=30654)
  do_round_up: bits[1] = or(ugt.29646, eq.29647, id=29650, pos=[(2,3160,23), (2,3243,7), (3,168,48)])
  concat.30655: bits[54] = concat(literal.29001, bit_slice.30654, id=30655)
  concat.30872: bits[54] = concat(literal.29017, do_round_up, id=30872)
  add.30560: bits[54] = add(concat.30655, concat.30872, id=30560)
  literal.29653: bits[6] = literal(value=0, id=29653, pos=[(2,3243,7), (3,168,48)])
  rounding_carry: bits[1] = bit_slice(add.30560, start=53, width=1, id=30640, pos=[(2,3168,41), (2,3243,7), (3,168,48)])
  literal.30801: bits[55] = literal(value=0, id=30801, pos=[(2,3121,39), (2,3243,7), (3,168,48)])
  bit_slice.30860: bits[1] = bit_slice(shrl.29044, start=1, width=1, id=30860, pos=[(2,3121,27), (2,3243,7), (3,168,48)])
  bit_slice.30861: bits[1] = bit_slice(shrl.29044, start=2, width=1, id=30861, pos=[(2,3121,27), (2,3243,7), (3,168,48)])
  concat.29655: bits[12] = concat(literal.29001, x_bexp__3, id=29655, pos=[(2,3243,7), (3,168,48)])
  literal.29656: bits[12] = literal(value=1, id=29656, pos=[(2,3180,24), (2,3243,7), (3,168,48)])
  concat.30682: bits[7] = concat(literal.29653, rounding_carry, id=30682, pos=[(2,3243,7), (3,168,48)])
  concat.29658: bits[7] = concat(literal.29001, leading_zeroes, id=29658, pos=[(2,3243,7), (3,168,48)])
  eq.30733: bits[1] = eq(add.30543, literal.30801, id=30733, pos=[(2,3121,27), (2,3243,7), (3,168,48)])
  nor.30829: bits[1] = nor(bit_slice.30860, bit_slice.30861, id=30829, pos=[(2,3121,27), (2,3243,7), (3,168,48)])
  nor.30830: bits[1] = nor(bit_slice.29049, sticky, id=30830, pos=[(2,3121,27), (2,3243,7), (3,168,48)])
  add.29659: bits[12] = add(concat.29655, literal.29656, id=29659, pos=[(2,3179,26), (2,3243,7), (3,168,48)])
  sub.29660: bits[7] = sub(concat.30682, concat.29658, id=29660, pos=[(2,3179,26), (2,3243,7), (3,168,48)])
  fraction_is_zero: bits[1] = and(eq.30733, nor.30829, nor.30830, id=30828, pos=[(2,3121,27), (2,3243,7), (3,168,48)])
  wide_exponent_associative_element: bits[13] = concat(literal.29001, add.29659, id=29662, pos=[(2,3179,26), (2,3243,7), (3,168,48)])
  wide_exponent_associative_element__1: bits[13] = sign_ext(sub.29660, new_bit_count=13, id=29663, pos=[(2,3179,26), (2,3243,7), (3,168,48)])
  not.30091: bits[1] = not(fraction_is_zero, id=30091, pos=[(2,3181,24), (2,3243,7), (3,168,48)])
  wide_exponent: bits[13] = add(wide_exponent_associative_element, wide_exponent_associative_element__1, id=29665, pos=[(2,3179,26), (2,3243,7), (3,168,48)])
  sign_ext.30092: bits[13] = sign_ext(not.30091, new_bit_count=13, id=30092, pos=[(2,3181,24), (2,3243,7), (3,168,48)])
  wide_exponent__1: bits[13] = and(wide_exponent, sign_ext.30092, id=30093, pos=[(2,3181,24), (2,3243,7), (3,168,48)])
  bit_slice.29674: bits[1] = bit_slice(wide_exponent__1, start=12, width=1, id=29674, pos=[(2,3184,27), (2,3243,7), (3,168,48)])
  not.30094: bits[1] = not(bit_slice.29674, id=30094, pos=[(2,3184,24), (2,3243,7), (3,168,48)])
  bit_slice.29675: bits[12] = bit_slice(wide_exponent__1, start=0, width=12, id=29675, pos=[(2,3243,7), (3,168,48)])
  sign_ext.30095: bits[12] = sign_ext(not.30094, new_bit_count=12, id=30095, pos=[(2,3184,24), (2,3243,7), (3,168,48)])
  MAX_EXPONENT: bits[11] = literal(value=2047, id=29667, pos=[(2,96,29), (2,3209,29), (2,3243,7), (3,168,48)])
  literal.29668: bits[52] = literal(value=0, id=29668, pos=[(2,96,57), (2,3209,29), (2,3243,7), (3,168,48)])
  wide_exponent__2: bits[12] = and(bit_slice.29675, sign_ext.30095, id=30096, pos=[(2,3184,24), (2,3243,7), (3,168,48)])
  eq.29670: bits[1] = eq(x_bexp__3, MAX_EXPONENT, id=29670, pos=[(2,96,6), (2,3209,29), (2,3243,7), (3,168,48)])
  eq.29671: bits[1] = eq(x_fraction__1, literal.29668, id=29671, pos=[(2,96,44), (2,3209,29), (2,3243,7), (3,168,48)])
  eq.29672: bits[1] = eq(y_bexp__3, MAX_EXPONENT, id=29672, pos=[(2,96,6), (2,3210,29), (2,3243,7), (3,168,48)])
  eq.29673: bits[1] = eq(y_fraction__3, literal.29668, id=29673, pos=[(2,96,44), (2,3210,29), (2,3243,7), (3,168,48)])
  bit_slice.29687: bits[11] = bit_slice(wide_exponent__2, start=1, width=11, id=29687, pos=[(2,3194,11), (2,3243,7), (3,168,48)])
  not.29677: bits[1] = not(eq.29670, id=29677, pos=[(2,3209,29), (2,3243,7), (3,168,48)])
  not.29678: bits[1] = not(eq.29671, id=29678, pos=[(2,3209,29), (2,3243,7), (3,168,48)])
  not.29679: bits[1] = not(eq.29672, id=29679, pos=[(2,3210,29), (2,3243,7), (3,168,48)])
  not.29680: bits[1] = not(eq.29673, id=29680, pos=[(2,3210,29), (2,3243,7), (3,168,48)])
  and.29694: bits[1] = and(eq.29670, eq.29671, id=29694, pos=[(2,96,6), (2,3209,29), (2,3243,7), (3,168,48)])
  and.29695: bits[1] = and(eq.29672, eq.29673, id=29695, pos=[(2,96,6), (2,3210,29), (2,3243,7), (3,168,48)])
  bit_slice.29696: bits[11] = bit_slice(wide_exponent__2, start=0, width=11, id=29696, pos=[(2,3202,11), (2,3243,7), (3,168,48)])
  or_reduce.29697: bits[1] = or_reduce(bit_slice.29687, id=29697, pos=[(2,3194,11), (2,3243,7), (3,168,48)])
  bit_slice.29698: bits[1] = bit_slice(wide_exponent__2, start=0, width=1, id=29698, pos=[(2,3194,11), (2,3243,7), (3,168,48)])
  nor.29682: bits[1] = nor(not.29677, not.29678, x_sign__1, id=29682, pos=[(2,3209,29), (2,3243,7), (3,168,48)])
  nor.29683: bits[1] = nor(not.29679, not.29680, y_sign__3, id=29683, pos=[(2,3210,29), (2,3243,7), (3,168,48)])
  and.29684: bits[1] = and(eq.29670, eq.29671, x_sign__1, id=29684, pos=[(2,3215,29), (2,3243,7), (3,168,48)])
  and.29685: bits[1] = and(eq.29672, eq.29673, y_sign__3, id=29685, pos=[(2,3216,29), (2,3243,7), (3,168,48)])
  fraction_shift__2: bits[3] = literal(value=3, id=29688, pos=[(2,3174,8), (2,3243,7), (3,168,48)])
  is_operand_inf: bits[1] = or(and.29694, and.29695, id=29706, pos=[(2,3205,31), (2,3243,7), (3,168,48)])
  bit_slice.29707: bits[1] = bit_slice(wide_exponent__2, start=11, width=1, id=29707, pos=[(2,3202,11), (2,3243,7), (3,168,48)])
  and_reduce.29708: bits[1] = and_reduce(bit_slice.29696, id=29708, pos=[(2,3202,11), (2,3243,7), (3,168,48)])
  nor.29709: bits[1] = nor(or_reduce.29697, bit_slice.29698, id=29709, pos=[(2,3194,11), (2,3243,7), (3,168,48)])
  has_pos_inf: bits[1] = or(nor.29682, nor.29683, id=29691, pos=[(2,3209,29), (2,3243,7), (3,168,48)])
  has_neg_inf: bits[1] = or(and.29684, and.29685, id=29692, pos=[(2,3215,29), (2,3243,7), (3,168,48)])
  rounded_fraction: bits[57] = concat(add.30560, normal_chunk, id=30685)
  fraction_shift__1: bits[3] = sel(rounding_carry, cases=[fraction_shift__2, fraction_shift__3], id=29699, pos=[(2,3174,8), (2,3243,7), (3,168,48)])
  or.29714: bits[1] = or(is_operand_inf, bit_slice.29707, and_reduce.29708, nor.29709, id=29714, pos=[(2,3207,26), (2,3243,7), (3,168,48)])
  nor.29741: bits[1] = nor(not.29677, eq.29671, id=29741, pos=[(2,71,6), (2,3217,30), (2,3243,7), (3,168,48)])
  nor.29743: bits[1] = nor(not.29679, eq.29673, id=29743, pos=[(2,71,6), (2,3217,64), (2,3243,7), (3,168,48)])
  and.29702: bits[1] = and(has_pos_inf, has_neg_inf, id=29702, pos=[(2,3218,25), (2,3243,7), (3,168,48)])
  concat.30683: bits[2] = concat(bit_slice.30638, fraction_is_zero, id=30683, pos=[(2,3243,7), (3,168,48)])
  and.29704: bits[1] = and(x_sign__1, y_sign__3, id=29704, pos=[(2,3123,22), (2,3243,7), (3,168,48)])
  not.29705: bits[1] = not(y_sign__3, id=29705, pos=[(2,3210,59), (2,3243,7), (3,168,48)])
  shrl.29710: bits[57] = shrl(rounded_fraction, fraction_shift__1, id=29710, pos=[(2,3175,27), (2,3243,7), (3,168,48)])
  not.30097: bits[1] = not(or.29714, id=30097, pos=[(2,3207,26), (2,3243,7), (3,168,48)])
  is_result_nan: bits[1] = or(nor.29741, nor.29743, and.29702, id=29711, pos=[(2,3217,30), (2,3243,7), (3,168,48)])
  result_sign: bits[1] = priority_sel(concat.30683, cases=[and.29704, not.29705], default=y_sign__3, id=29712, pos=[(2,3243,7), (3,168,48)])
  not.29713: bits[1] = not(has_pos_inf, id=29713, pos=[(2,3211,42), (2,3243,7), (3,168,48)])
  result_fraction: bits[52] = bit_slice(shrl.29710, start=0, width=52, id=29715, pos=[(2,3243,7), (3,168,48)])
  sign_ext.30098: bits[52] = sign_ext(not.30097, new_bit_count=52, id=30098, pos=[(2,3207,26), (2,3243,7), (3,168,48)])
  not.29716: bits[1] = not(is_result_nan, id=29716, pos=[(2,3222,22), (2,3243,7), (3,168,48)])
  result_sign__1: bits[1] = sel(is_operand_inf, cases=[result_sign, not.29713], id=29717, pos=[(2,3211,22), (2,3243,7), (3,168,48)])
  or.29718: bits[1] = or(is_result_nan, is_operand_inf, bit_slice.29707, and_reduce.29708, id=29718, pos=[(2,3220,26), (2,3243,7), (3,168,48)])
  result_fraction__3: bits[52] = and(result_fraction, sign_ext.30098, id=30099, pos=[(2,3207,26), (2,3243,7), (3,168,48)])
  FRACTION_HIGH_BIT: bits[52] = literal(value=2251799813685248, id=29720, pos=[(2,3219,30), (2,3243,7), (3,168,48)])
  result_sign__2: bits[1] = and(not.29716, result_sign__1, id=29721, pos=[(2,3222,22), (2,3243,7), (3,168,48)])
  result_exponent__2: bits[11] = sel(or.29718, cases=[bit_slice.29696, MAX_EXPONENT], id=29722, pos=[(2,3220,26), (2,3243,7), (3,168,48)])
  result_fraction__4: bits[52] = sel(is_result_nan, cases=[result_fraction__3, FRACTION_HIGH_BIT], id=29723, pos=[(2,3221,26), (2,3243,7), (3,168,48)])
  ret tuple.29724: (bits[1], bits[11], bits[52]) = tuple(result_sign__2, result_exponent__2, result_fraction__4, id=29724, pos=[(2,3225,33), (2,3243,7), (3,168,48)])
}