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=840, y: (bits[1], bits[11], bits[52]) id=841) -> (bits[1], bits[11], bits[52]) { y_bexp__1: bits[11] = tuple_index(y, index=1, id=28260, pos=[(2,3091,67), (3,166,48)]) literal.28261: bits[1] = literal(value=0, id=28261, pos=[(1,91,63), (2,3009,44), (2,3091,57), (3,166,48)]) x_bexp__1: bits[11] = tuple_index(x, index=1, id=28262, pos=[(2,3091,59), (3,166,48)]) y_bexpnot: bits[11] = not(y_bexp__1, id=28263, pos=[(1,90,15), (2,3009,44), (2,3091,57), (3,166,48)]) x_bexp_extended__1: bits[12] = concat(literal.28261, x_bexp__1, id=28264, pos=[(1,91,63), (2,3009,44), (2,3091,57), (3,166,48)]) y_bexpnot_extended: bits[12] = concat(literal.28261, y_bexpnot, id=28265, pos=[(1,91,63), (2,3009,44), (2,3091,57), (3,166,48)]) full_result: bits[12] = add(x_bexp_extended__1, y_bexpnot_extended, id=28266, pos=[(0,1120,45), (1,91,63), (2,3009,44), (2,3091,57), (3,166,48)]) overflow_detected: bits[1] = bit_slice(full_result, start=11, width=1, id=28267, pos=[(0,1122,49), (1,91,63), (2,3009,44), (2,3091,57), (3,166,48)]) tuple_index.28269: bits[52] = tuple_index(y, index=2, id=28269, pos=[(2,3092,17), (3,166,48)]) tuple_index.28270: bits[52] = tuple_index(x, index=2, id=28270, pos=[(2,3092,17), (3,166,48)]) x_bexp: bits[11] = sel(overflow_detected, cases=[y_bexp__1, x_bexp__1], id=28987, pos=[(2,3092,17), (3,166,48)]) literal.28272: bits[11] = literal(value=0, id=28272, pos=[(2,3099,34), (3,166,48)]) y_bexp: bits[11] = sel(overflow_detected, cases=[x_bexp__1, y_bexp__1], id=28985, pos=[(2,3092,17), (3,166,48)]) literal.28273: bits[1] = literal(value=1, id=28273, pos=[(2,3095,22), (3,166,48)]) x_fraction: bits[52] = sel(overflow_detected, cases=[tuple_index.28269, tuple_index.28270], id=28988, pos=[(2,3092,17), (3,166,48)]) ne.29825: bits[1] = ne(x_bexp, literal.28272, id=29825, pos=[(2,3099,21), (3,166,48)]) y_fraction: bits[52] = sel(overflow_detected, cases=[tuple_index.28270, tuple_index.28269], id=28986, pos=[(2,3092,17), (3,166,48)]) ne.29824: bits[1] = ne(y_bexp, literal.28272, id=29824, pos=[(2,3100,21), (3,166,48)]) nc: bits[1] = not(overflow_detected, id=28268, pos=[(1,92,19), (2,3009,44), (2,3091,57), (3,166,48)]) fraction_x: bits[53] = concat(literal.28273, x_fraction, id=28294, pos=[(2,3095,22), (3,166,48)]) sign_ext.29292: bits[53] = sign_ext(ne.29825, new_bit_count=53, id=29292, pos=[(2,3099,21), (3,166,48)]) fraction_y: bits[53] = concat(literal.28273, y_fraction, id=28276, pos=[(2,3096,22), (3,166,48)]) sign_ext.29295: bits[53] = sign_ext(ne.29824, new_bit_count=53, id=29295, pos=[(2,3100,21), (3,166,48)]) narrowed_result: bits[11] = bit_slice(full_result, start=0, width=11, id=28281, pos=[(1,91,63), (2,3009,44), (2,3091,57), (3,166,48)]) x_bexpor_mask: bits[11] = sign_ext(nc, new_bit_count=11, id=28282, pos=[(1,94,32), (2,3009,44), (2,3091,57), (3,166,48)]) literal.28283: bits[10] = literal(value=0, id=28283, pos=[(2,3010,68), (2,3091,57), (3,166,48)]) tuple_index.28302: bits[1] = tuple_index(y, index=0, id=28302, pos=[(2,3092,17), (3,166,48)]) tuple_index.28301: bits[1] = tuple_index(x, index=0, id=28301, pos=[(2,3092,17), (3,166,48)]) fraction_x__1: bits[53] = and(fraction_x, sign_ext.29292, id=29293, pos=[(2,3099,21), (3,166,48)]) fraction_y__1: bits[53] = and(fraction_y, sign_ext.29295, id=29296, pos=[(2,3100,21), (3,166,48)]) xddend_x__1_squeezed_const_lsb_bits: bits[3] = literal(value=0, id=28279, pos=[(2,3104,17), (3,166,48)]) result: bits[11] = xor(narrowed_result, x_bexpor_mask, id=28285, pos=[(1,95,18), (2,3009,44), (2,3091,57), (3,166,48)]) concat.28286: bits[11] = concat(literal.28283, overflow_detected, id=28286, pos=[(2,3010,68), (2,3091,57), (3,166,48)]) x_sign: bits[1] = sel(overflow_detected, cases=[tuple_index.28302, tuple_index.28301], id=28989, pos=[(2,3092,17), (3,166,48)]) y_sign: bits[1] = sel(overflow_detected, cases=[tuple_index.28301, tuple_index.28302], id=28990, pos=[(2,3092,17), (3,166,48)]) wide_x_squeezed: bits[54] = concat(literal.28261, fraction_x__1, id=28303, pos=[(2,3103,17), (3,166,48)]) wide_y_shift_bits: bits[56] = concat(fraction_y__1, xddend_x__1_squeezed_const_lsb_bits, id=28298, pos=[(2,3116,31), (3,166,48)]) shift: bits[11] = add(result, concat.28286, id=28292, pos=[(1,54,7), (2,3010,68), (2,3091,57), (3,166,48)]) literal.28291: bits[57] = literal(value=144115188075855871, id=28291, pos=[(0,1412,19), (0,1502,17), (0,1529,22), (2,3115,35), (3,166,48)]) xor.28311: bits[1] = xor(x_sign, y_sign, id=28311, pos=[(2,3110,23), (3,166,48)]) neg.28308: bits[54] = neg(wide_x_squeezed, id=28308, pos=[(2,3110,41), (3,166,48)]) shrl.28304: bits[56] = shrl(wide_y_shift_bits, shift, id=28304, pos=[(2,3116,31), (3,166,48)]) not.29948: bits[52] = not(y_fraction, id=29948, pos=[(0,1412,4), (0,1502,17), (0,1529,22), (2,3115,35), (3,166,48)]) shll.28296: bits[57] = shll(literal.28291, shift, id=28296, pos=[(0,1412,19), (0,1502,17), (0,1529,22), (2,3115,35), (3,166,48)]) xddend_x__1_squeezed: bits[54] = sel(xor.28311, cases=[wide_x_squeezed, neg.28308], id=29299, pos=[(2,3110,19), (3,166,48)]) literal.28998: bits[2] = literal(value=0, id=28998, pos=[(3,166,48)]) bit_slice.29940: bits[53] = bit_slice(shrl.28304, start=3, width=53, id=29940, pos=[(2,3120,20), (3,166,48)]) concat.29951: bits[53] = concat(literal.28261, not.29948, id=29951, pos=[(0,1412,4), (0,1502,17), (0,1529,22), (2,3115,35), (3,166,48)]) not.29828: bits[53] = not(sign_ext.29295, id=29828, pos=[(0,1412,4), (0,1502,17), (0,1529,22), (2,3115,35), (3,166,48)]) bit_slice.28300: bits[53] = bit_slice(shll.28296, start=3, width=53, id=28300, pos=[(0,1412,19), (0,1502,17), (0,1529,22), (2,3115,35), (3,166,48)]) sign_ext.29909: bits[55] = sign_ext(xddend_x__1_squeezed, new_bit_count=55, id=29909, pos=[(2,3120,20), (3,166,48)]) concat.29911: bits[55] = concat(literal.28998, bit_slice.29940, id=29911, pos=[(2,3120,20), (3,166,48)]) nor.29829: bits[53] = nor(concat.29951, not.29828, bit_slice.28300, id=29829, pos=[(0,1412,4), (0,1502,17), (0,1529,22), (2,3115,35), (3,166,48)]) literal.28277: bits[53] = literal(value=0, id=28277, pos=[(2,3099,49), (3,166,48)]) add.29803: bits[55] = add(sign_ext.29909, concat.29911, id=29803, pos=[(2,3120,20), (3,166,48)]) bit_slice.28309: bits[1] = bit_slice(shrl.28304, start=0, width=1, id=28309, pos=[(2,3053,40), (2,3116,30), (3,166,48)]) sticky: bits[1] = ne(nor.29829, literal.28277, id=28310, pos=[(0,1502,17), (0,1529,22), (2,3115,35), (3,166,48)]) bit_slice.29896: bits[54] = bit_slice(add.29803, start=0, width=54, id=29896, pos=[(2,3120,20), (3,166,48)]) bit_slice.29941: bits[2] = bit_slice(shrl.28304, start=1, width=2, id=29941, pos=[(2,3120,20), (3,166,48)]) or.28315: bits[1] = or(bit_slice.28309, sticky, id=28315, pos=[(2,3053,40), (2,3116,30), (3,166,48)]) concat.29946: bits[57] = concat(bit_slice.29896, bit_slice.29941, or.28315, id=29946, pos=[(2,3120,20), (3,166,48)]) bit_slice.29898: bits[1] = bit_slice(add.29803, start=54, width=1, id=29898, pos=[(2,3130,12), (3,166,48)]) neg.28323: bits[57] = neg(concat.29946, id=28323, pos=[(2,3130,46), (3,166,48)]) xbs_fraction: bits[57] = sel(bit_slice.29898, cases=[concat.29946, neg.28323], id=28324, pos=[(2,3130,9), (3,166,48)]) bit_slice.28340: bits[1] = bit_slice(xbs_fraction, start=48, width=1, id=28340, 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), (3,166,48)]) bit_slice.28330: bits[1] = bit_slice(xbs_fraction, start=47, width=1, id=28330, 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), (3,166,48)]) bit_slice.28364: bits[1] = bit_slice(xbs_fraction, start=46, width=1, id=28364, 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), (3,166,48)]) bit_slice.28342: bits[1] = bit_slice(xbs_fraction, start=45, width=1, id=28342, 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), (3,166,48)]) bit_slice.28377: bits[1] = bit_slice(xbs_fraction, start=32, width=1, id=28377, 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), (3,166,48)]) bit_slice.28348: bits[1] = bit_slice(xbs_fraction, start=31, width=1, id=28348, 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), (3,166,48)]) bit_slice.28417: bits[1] = bit_slice(xbs_fraction, start=30, width=1, id=28417, 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), (3,166,48)]) bit_slice.28379: bits[1] = bit_slice(xbs_fraction, start=29, width=1, id=28379, 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), (3,166,48)]) nor.28362: bits[1] = nor(bit_slice.28340, bit_slice.28330, id=28362, 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), (3,166,48)]) nor.28396: bits[1] = nor(bit_slice.28364, bit_slice.28342, id=28396, 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), (3,166,48)]) bit_slice.28366: bits[1] = bit_slice(xbs_fraction, start=44, width=1, id=28366, 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), (3,166,48)]) bit_slice.28343: bits[1] = bit_slice(xbs_fraction, start=43, width=1, id=28343, 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), (3,166,48)]) bit_slice.28401: bits[1] = bit_slice(xbs_fraction, start=42, width=1, id=28401, 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), (3,166,48)]) bit_slice.28368: bits[1] = bit_slice(xbs_fraction, start=41, width=1, id=28368, 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), (3,166,48)]) nor.28415: bits[1] = nor(bit_slice.28377, bit_slice.28348, id=28415, 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), (3,166,48)]) nor.28457: bits[1] = nor(bit_slice.28417, bit_slice.28379, id=28457, 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), (3,166,48)]) bit_slice.28419: bits[1] = bit_slice(xbs_fraction, start=28, width=1, id=28419, 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), (3,166,48)]) bit_slice.28380: bits[1] = bit_slice(xbs_fraction, start=27, width=1, id=28380, 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), (3,166,48)]) bit_slice.28462: bits[1] = bit_slice(xbs_fraction, start=26, width=1, id=28462, 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), (3,166,48)]) bit_slice.28421: bits[1] = bit_slice(xbs_fraction, start=25, width=1, id=28421, 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), (3,166,48)]) bit_slice.28610: bits[1] = bit_slice(xbs_fraction, start=1, width=1, id=28610, 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), (3,166,48)]) bit_slice.28565: bits[1] = bit_slice(xbs_fraction, start=3, width=1, id=28565, 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), (3,166,48)]) bit_slice.28562: bits[1] = bit_slice(xbs_fraction, start=8, width=1, id=28562, 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), (3,166,48)]) bit_slice.28521: bits[1] = bit_slice(xbs_fraction, start=7, width=1, id=28521, 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), (3,166,48)]) bit_slice.28606: bits[1] = bit_slice(xbs_fraction, start=6, width=1, id=28606, 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), (3,166,48)]) bit_slice.28564: bits[1] = bit_slice(xbs_fraction, start=5, width=1, id=28564, 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), (3,166,48)]) bit_slice.28520: bits[1] = bit_slice(xbs_fraction, start=9, width=1, id=28520, 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), (3,166,48)]) bit_slice.28475: bits[1] = bit_slice(xbs_fraction, start=11, width=1, id=28475, 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), (3,166,48)]) bit_slice.28472: bits[1] = bit_slice(xbs_fraction, start=16, width=1, id=28472, 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), (3,166,48)]) bit_slice.28426: bits[1] = bit_slice(xbs_fraction, start=15, width=1, id=28426, 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), (3,166,48)]) bit_slice.28516: bits[1] = bit_slice(xbs_fraction, start=14, width=1, id=28516, 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), (3,166,48)]) bit_slice.28474: bits[1] = bit_slice(xbs_fraction, start=13, width=1, id=28474, 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), (3,166,48)]) bit_slice.28422: bits[1] = bit_slice(xbs_fraction, start=24, width=1, id=28422, 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), (3,166,48)]) bit_slice.28381: bits[1] = bit_slice(xbs_fraction, start=23, width=1, id=28381, 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), (3,166,48)]) bit_slice.28467: bits[1] = bit_slice(xbs_fraction, start=22, width=1, id=28467, 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), (3,166,48)]) bit_slice.28424: bits[1] = bit_slice(xbs_fraction, start=21, width=1, id=28424, 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), (3,166,48)]) bit_slice.28469: bits[1] = bit_slice(xbs_fraction, start=20, width=1, id=28469, 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), (3,166,48)]) bit_slice.28425: bits[1] = bit_slice(xbs_fraction, start=19, width=1, id=28425, 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), (3,166,48)]) bit_slice.28511: bits[1] = bit_slice(xbs_fraction, start=18, width=1, id=28511, 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), (3,166,48)]) bit_slice.28471: bits[1] = bit_slice(xbs_fraction, start=17, width=1, id=28471, 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), (3,166,48)]) and.28574: bits[1] = and(nor.28362, nor.28396, id=28574, 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), (3,166,48)]) nor.28399: bits[1] = nor(bit_slice.28366, bit_slice.28343, id=28399, 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), (3,166,48)]) nor.28441: bits[1] = nor(bit_slice.28401, bit_slice.28368, id=28441, 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), (3,166,48)]) or.29177: bits[1] = or(bit_slice.28366, bit_slice.28343, id=29177, 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), (3,166,48)]) carry_bit: bits[1] = bit_slice(xbs_fraction, start=56, width=1, id=28326, 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), (3,166,48)]) bit_slice.28325: bits[1] = bit_slice(xbs_fraction, start=55, width=1, id=28325, 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), (3,166,48)]) bit_slice.28335: bits[1] = bit_slice(xbs_fraction, start=54, width=1, id=28335, 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), (3,166,48)]) bit_slice.28328: bits[1] = bit_slice(xbs_fraction, start=53, width=1, id=28328, 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), (3,166,48)]) bit_slice.28339: bits[1] = bit_slice(xbs_fraction, start=49, width=1, id=28339, 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), (3,166,48)]) bit_slice.28329: bits[1] = bit_slice(xbs_fraction, start=51, width=1, id=28329, 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), (3,166,48)]) and.28631: bits[1] = and(nor.28415, nor.28457, id=28631, 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), (3,166,48)]) nor.28460: bits[1] = nor(bit_slice.28419, bit_slice.28380, id=28460, 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), (3,166,48)]) nor.28500: bits[1] = nor(bit_slice.28462, bit_slice.28421, id=28500, 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), (3,166,48)]) or.29181: bits[1] = or(bit_slice.28419, bit_slice.28380, id=29181, 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), (3,166,48)]) bit_slice.28344: bits[1] = bit_slice(xbs_fraction, start=40, width=1, id=28344, 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), (3,166,48)]) bit_slice.28331: bits[1] = bit_slice(xbs_fraction, start=39, width=1, id=28331, 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), (3,166,48)]) bit_slice.28372: bits[1] = bit_slice(xbs_fraction, start=38, width=1, id=28372, 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), (3,166,48)]) bit_slice.28346: bits[1] = bit_slice(xbs_fraction, start=37, width=1, id=28346, 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), (3,166,48)]) bit_slice.28376: bits[1] = bit_slice(xbs_fraction, start=33, width=1, id=28376, 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), (3,166,48)]) bit_slice.28347: bits[1] = bit_slice(xbs_fraction, start=35, width=1, id=28347, 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), (3,166,48)]) bit_slice.28608: bits[1] = bit_slice(xbs_fraction, start=4, width=1, id=28608, 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), (3,166,48)]) bit_slice.28654: bits[1] = bit_slice(xbs_fraction, start=2, width=1, id=28654, 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), (3,166,48)]) not.28655: bits[1] = not(bit_slice.28610, id=28655, 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), (3,166,48)]) not.28609: bits[1] = not(bit_slice.28565, id=28609, 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), (3,166,48)]) or.29185: bits[1] = or(bit_slice.28562, bit_slice.28521, id=29185, 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), (3,166,48)]) nor.28649: bits[1] = nor(bit_slice.28606, bit_slice.28564, id=28649, 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), (3,166,48)]) nor.28604: bits[1] = nor(bit_slice.28562, bit_slice.28521, id=28604, 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), (3,166,48)]) not.28563: bits[1] = not(bit_slice.28521, id=28563, 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), (3,166,48)]) not.28607: bits[1] = not(bit_slice.28564, id=28607, 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), (3,166,48)]) bit_slice.28518: bits[1] = bit_slice(xbs_fraction, start=12, width=1, id=28518, 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), (3,166,48)]) bit_slice.28560: bits[1] = bit_slice(xbs_fraction, start=10, width=1, id=28560, 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), (3,166,48)]) not.28561: bits[1] = not(bit_slice.28520, id=28561, 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), (3,166,48)]) not.30095: bits[1] = not(bit_slice.28475, id=30095, 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), (3,166,48)]) or.29186: bits[1] = or(bit_slice.28472, bit_slice.28426, id=29186, 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), (3,166,48)]) nor.28555: bits[1] = nor(bit_slice.28516, bit_slice.28474, id=28555, 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), (3,166,48)]) nor.28514: bits[1] = nor(bit_slice.28472, bit_slice.28426, id=28514, 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), (3,166,48)]) not.30099: bits[1] = not(bit_slice.28426, id=30099, 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), (3,166,48)]) not.28517: bits[1] = not(bit_slice.28474, id=28517, 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), (3,166,48)]) nor.28465: bits[1] = nor(bit_slice.28422, bit_slice.28381, id=28465, 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), (3,166,48)]) nor.28506: bits[1] = nor(bit_slice.28467, bit_slice.28424, id=28506, 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), (3,166,48)]) or.29188: bits[1] = or(bit_slice.28422, bit_slice.28381, id=29188, 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), (3,166,48)]) not.30103: bits[1] = not(bit_slice.28381, id=30103, 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), (3,166,48)]) not.28468: bits[1] = not(bit_slice.28424, id=28468, 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), (3,166,48)]) or.29189: bits[1] = or(bit_slice.28469, bit_slice.28425, id=29189, 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), (3,166,48)]) nor.28549: bits[1] = nor(bit_slice.28511, bit_slice.28471, id=28549, 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), (3,166,48)]) nor.28509: bits[1] = nor(bit_slice.28469, bit_slice.28425, id=28509, 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), (3,166,48)]) not.28470: bits[1] = not(bit_slice.28425, id=28470, 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), (3,166,48)]) not.28512: bits[1] = not(bit_slice.28471, id=28512, 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), (3,166,48)]) bit_slice.28337: bits[1] = bit_slice(xbs_fraction, start=52, width=1, id=28337, 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), (3,166,48)]) bit_slice.28359: bits[1] = bit_slice(xbs_fraction, start=50, width=1, id=28359, 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), (3,166,48)]) not.28726: bits[1] = not(and.28574, id=28726, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) and.28621: bits[1] = and(nor.28399, nor.28441, id=28621, 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), (3,166,48)]) nor.28620: bits[1] = nor(or.29177, nor.28441, id=28620, 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), (3,166,48)]) nor.28333: bits[1] = nor(carry_bit, bit_slice.28325, id=28333, 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), (3,166,48)]) nor.28354: bits[1] = nor(bit_slice.28335, bit_slice.28328, id=28354, 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), (3,166,48)]) or.29176: bits[1] = or(carry_bit, bit_slice.28325, id=29176, 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), (3,166,48)]) not.28360: bits[1] = not(bit_slice.28339, id=28360, 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), (3,166,48)]) not.28338: bits[1] = not(bit_slice.28329, id=28338, 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), (3,166,48)]) bit_slice.28374: bits[1] = bit_slice(xbs_fraction, start=36, width=1, id=28374, 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), (3,166,48)]) bit_slice.28412: bits[1] = bit_slice(xbs_fraction, start=34, width=1, id=28412, 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), (3,166,48)]) not.28758: bits[1] = not(and.28631, id=28758, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) and.28673: bits[1] = and(nor.28460, nor.28500, id=28673, 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), (3,166,48)]) nor.28672: bits[1] = nor(or.29181, nor.28500, id=28672, 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), (3,166,48)]) nor.28370: bits[1] = nor(bit_slice.28344, bit_slice.28331, id=28370, 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), (3,166,48)]) nor.28407: bits[1] = nor(bit_slice.28372, bit_slice.28346, id=28407, 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), (3,166,48)]) or.29180: bits[1] = or(bit_slice.28344, bit_slice.28331, id=29180, 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), (3,166,48)]) not.28413: bits[1] = not(bit_slice.28376, id=28413, 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), (3,166,48)]) not.28375: bits[1] = not(bit_slice.28347, id=28375, 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), (3,166,48)]) or.29184: bits[1] = or(bit_slice.28608, bit_slice.28565, id=29184, 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), (3,166,48)]) nor.28692: bits[1] = nor(bit_slice.28654, bit_slice.28610, id=28692, 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), (3,166,48)]) nor.28691: bits[1] = nor(bit_slice.28654, not.28655, id=28691, 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), (3,166,48)]) nor.28652: bits[1] = nor(bit_slice.28608, bit_slice.28565, id=28652, 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), (3,166,48)]) nor.28651: bits[1] = nor(bit_slice.28608, not.28609, id=28651, 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), (3,166,48)]) nor.28767: bits[1] = nor(or.29185, nor.28649, id=28767, 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), (3,166,48)]) and.28768: bits[1] = and(nor.28604, nor.28649, id=28768, 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), (3,166,48)]) nor.28603: bits[1] = nor(bit_slice.28562, not.28563, id=28603, 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), (3,166,48)]) nor.28648: bits[1] = nor(bit_slice.28606, not.28607, id=28648, 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), (3,166,48)]) or.29187: bits[1] = or(bit_slice.28518, bit_slice.28475, id=29187, 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), (3,166,48)]) nor.28601: bits[1] = nor(bit_slice.28560, bit_slice.28520, id=28601, 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), (3,166,48)]) nor.28600: bits[1] = nor(bit_slice.28560, not.28561, id=28600, 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), (3,166,48)]) nor.30093: bits[1] = nor(bit_slice.28518, bit_slice.28475, id=30093, 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), (3,166,48)]) nor.30096: bits[1] = nor(bit_slice.28518, not.30095, id=30096, 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), (3,166,48)]) nor.28712: bits[1] = nor(or.29186, nor.28555, id=28712, 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), (3,166,48)]) and.28713: bits[1] = and(nor.28514, nor.28555, id=28713, 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), (3,166,48)]) nor.30100: bits[1] = nor(bit_slice.28472, not.30099, id=30100, 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), (3,166,48)]) nor.28554: bits[1] = nor(bit_slice.28516, not.28517, id=28554, 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), (3,166,48)]) and.28676: bits[1] = and(nor.28465, nor.28506, id=28676, 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), (3,166,48)]) nor.28675: bits[1] = nor(or.29188, nor.28506, id=28675, 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), (3,166,48)]) nor.30104: bits[1] = nor(bit_slice.28422, not.30103, id=30104, 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), (3,166,48)]) nor.28505: bits[1] = nor(bit_slice.28467, not.28468, id=28505, 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), (3,166,48)]) nor.28709: bits[1] = nor(or.29189, nor.28549, id=28709, 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), (3,166,48)]) and.28710: bits[1] = and(nor.28509, nor.28549, id=28710, 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), (3,166,48)]) nor.28508: bits[1] = nor(bit_slice.28469, not.28470, id=28508, 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), (3,166,48)]) nor.28548: bits[1] = nor(bit_slice.28511, not.28512, id=28548, 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), (3,166,48)]) nor.28357: bits[1] = nor(bit_slice.28337, bit_slice.28329, id=28357, 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), (3,166,48)]) nor.28390: bits[1] = nor(bit_slice.28359, bit_slice.28339, id=28390, 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), (3,166,48)]) nor.28752: bits[1] = nor(not.28726, and.28621, id=28752, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) not.30162: bits[1] = not(nor.28620, id=30162, 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), (3,166,48)]) and.28523: bits[1] = and(nor.28333, nor.28354, id=28523, 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), (3,166,48)]) nor.28522: bits[1] = nor(or.29176, nor.28354, id=28522, 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), (3,166,48)]) not.28336: bits[1] = not(bit_slice.28328, id=28336, 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), (3,166,48)]) not.28327: bits[1] = not(bit_slice.28325, id=28327, 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), (3,166,48)]) or.29179: bits[1] = or(bit_slice.28337, bit_slice.28329, id=29179, 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), (3,166,48)]) nor.28389: bits[1] = nor(bit_slice.28359, not.28360, id=28389, 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), (3,166,48)]) nor.28356: bits[1] = nor(bit_slice.28337, not.28338, id=28356, 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), (3,166,48)]) nor.28410: bits[1] = nor(bit_slice.28374, bit_slice.28347, id=28410, 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), (3,166,48)]) nor.28451: bits[1] = nor(bit_slice.28412, bit_slice.28376, id=28451, 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), (3,166,48)]) nor.28781: bits[1] = nor(not.28758, and.28673, id=28781, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) not.30169: bits[1] = not(nor.28672, id=30169, 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), (3,166,48)]) and.28579: bits[1] = and(nor.28370, nor.28407, id=28579, 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), (3,166,48)]) nor.28578: bits[1] = nor(or.29180, nor.28407, id=28578, 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), (3,166,48)]) not.28373: bits[1] = not(bit_slice.28346, id=28373, 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), (3,166,48)]) not.28345: bits[1] = not(bit_slice.28331, id=28345, 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), (3,166,48)]) or.29183: bits[1] = or(bit_slice.28374, bit_slice.28347, id=29183, 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), (3,166,48)]) nor.28450: bits[1] = nor(bit_slice.28412, not.28413, id=28450, 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), (3,166,48)]) nor.28409: bits[1] = nor(bit_slice.28374, not.28375, id=28409, 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), (3,166,48)]) nor.28792: bits[1] = nor(or.29184, nor.28692, id=28792, 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), (3,166,48)]) concat.29143: bits[2] = concat(literal.28273, nor.28691, id=29143, 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), (3,166,48)]) concat.29439: bits[2] = concat(nor.28652, nor.28651, id=29439, 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), (3,166,48)]) concat.28788: bits[2] = concat(nor.28767, and.28768, id=28788, 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), (3,166,48)]) concat.29797: bits[2] = concat(nor.28603, literal.28261, id=29797, 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), (3,166,48)]) concat.29750: bits[2] = concat(literal.28273, nor.28648, id=29750, 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), (3,166,48)]) concat.29430: bits[2] = concat(nor.28604, nor.28603, id=29430, 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), (3,166,48)]) nor.28741: bits[1] = nor(or.29187, nor.28601, id=28741, 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), (3,166,48)]) concat.29132: bits[2] = concat(literal.28273, nor.28600, id=29132, 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), (3,166,48)]) concat.29408: bits[2] = concat(nor.30093, nor.30096, id=29408, 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), (3,166,48)]) concat.28737: bits[2] = concat(nor.28712, and.28713, id=28737, 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), (3,166,48)]) concat.29794: bits[2] = concat(nor.30100, literal.28261, id=29794, 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), (3,166,48)]) concat.29729: bits[2] = concat(literal.28273, nor.28554, id=29729, 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), (3,166,48)]) concat.29386: bits[2] = concat(nor.28514, nor.30100, id=29386, 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), (3,166,48)]) not.28784: bits[1] = not(and.28676, id=28784, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.28705: bits[2] = concat(nor.28675, and.28676, id=28705, 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), (3,166,48)]) concat.29793: bits[2] = concat(nor.30104, literal.28261, id=29793, 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), (3,166,48)]) concat.29722: bits[2] = concat(literal.28273, nor.28505, id=29722, 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), (3,166,48)]) concat.29368: bits[2] = concat(nor.28465, nor.30104, id=29368, 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), (3,166,48)]) concat.28733: bits[2] = concat(nor.28709, and.28710, id=28733, 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), (3,166,48)]) concat.29125: bits[2] = concat(nor.28508, literal.28261, id=29125, 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), (3,166,48)]) concat.29127: bits[2] = concat(literal.28273, nor.28548, id=29127, 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), (3,166,48)]) concat.29377: bits[2] = concat(nor.28509, nor.28508, id=29377, 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), (3,166,48)]) and.28571: bits[1] = and(nor.28357, nor.28390, id=28571, 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), (3,166,48)]) and.28753: bits[1] = and(and.28574, and.28621, id=28753, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) or.29178: bits[1] = or(bit_slice.28340, bit_slice.28330, id=29178, 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), (3,166,48)]) and.30163: bits[1] = and(nor.28752, not.30162, id=30163, 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), (3,166,48)]) and.30161: bits[1] = and(nor.28752, nor.28620, id=30161, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) not.28694: bits[1] = not(and.28523, id=28694, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.28566: bits[2] = concat(nor.28522, and.28523, id=28566, 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), (3,166,48)]) nor.28353: bits[1] = nor(bit_slice.28335, not.28336, id=28353, 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), (3,166,48)]) nor.28332: bits[1] = nor(carry_bit, not.28327, id=28332, 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), (3,166,48)]) nor.28570: bits[1] = nor(or.29179, nor.28390, id=28570, 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), (3,166,48)]) concat.29113: bits[2] = concat(literal.28273, nor.28389, id=29113, 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), (3,166,48)]) concat.30124: bits[2] = concat(literal.28261, nor.28356, id=30124, 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), (3,166,48)]) and.28628: bits[1] = and(nor.28410, nor.28451, id=28628, 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), (3,166,48)]) and.28782: bits[1] = and(and.28631, and.28673, id=28782, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) or.29182: bits[1] = or(bit_slice.28377, bit_slice.28348, id=29182, 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), (3,166,48)]) and.30170: bits[1] = and(nor.28781, not.30169, id=30170, 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), (3,166,48)]) and.30168: bits[1] = and(nor.28781, nor.28672, id=30168, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) not.28728: bits[1] = not(and.28579, id=28728, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.28623: bits[2] = concat(nor.28578, and.28579, id=28623, 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), (3,166,48)]) nor.28406: bits[1] = nor(bit_slice.28372, not.28373, id=28406, 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), (3,166,48)]) nor.28369: bits[1] = nor(bit_slice.28344, not.28345, id=28369, 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), (3,166,48)]) nor.28627: bits[1] = nor(or.29183, nor.28451, id=28627, 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), (3,166,48)]) concat.29119: bits[2] = concat(literal.28273, nor.28450, id=29119, 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), (3,166,48)]) concat.30126: bits[2] = concat(literal.28261, nor.28409, id=30126, 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), (3,166,48)]) not.28835: bits[1] = not(and.28768, id=28835, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) and.28793: bits[1] = and(nor.28652, nor.28692, id=28793, 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), (3,166,48)]) priority_sel.29213: bits[2] = priority_sel(nor.28792, cases=[concat.29143], default=concat.29439, id=29213, 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), (3,166,48)]) priority_sel.29479: bits[2] = priority_sel(concat.28788, cases=[concat.29797, concat.29750], default=concat.29430, id=29479, 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), (3,166,48)]) not.28805: bits[1] = not(and.28713, id=28805, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) and.28742: bits[1] = and(nor.30093, nor.28601, id=28742, 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), (3,166,48)]) priority_sel.29332: bits[2] = priority_sel(nor.28741, cases=[concat.29132], default=concat.29408, id=29332, 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), (3,166,48)]) priority_sel.29452: bits[2] = priority_sel(concat.28737, cases=[concat.29794, concat.29729], default=concat.29386, 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), (3,166,48)]) nor.28802: bits[1] = nor(not.28784, and.28710, id=28802, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) and.28803: bits[1] = and(and.28676, and.28710, id=28803, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) priority_sel.29443: bits[2] = priority_sel(concat.28705, cases=[concat.29793, concat.29722], default=concat.29368, id=29443, 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), (3,166,48)]) priority_sel.29077: bits[2] = priority_sel(concat.28733, cases=[concat.29125, concat.29127], default=concat.29377, id=29077, 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), (3,166,48)]) and.28724: bits[1] = and(and.28523, and.28571, id=28724, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) not.30287: bits[1] = not(and.28753, id=30287, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) nor.28573: bits[1] = nor(or.29178, nor.28396, id=28573, 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), (3,166,48)]) not.30288: bits[1] = not(and.30163, id=30288, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) not.30289: bits[1] = not(and.30161, id=30289, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) not.28402: bits[1] = not(bit_slice.28368, id=28402, 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), (3,166,48)]) not.28367: bits[1] = not(bit_slice.28343, id=28367, 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), (3,166,48)]) not.28365: bits[1] = not(bit_slice.28342, id=28365, 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), (3,166,48)]) not.28341: bits[1] = not(bit_slice.28330, id=28341, 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), (3,166,48)]) nor.28723: bits[1] = nor(not.28694, and.28571, id=28723, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) priority_sel.29390: bits[1] = priority_sel(concat.28566, cases=[literal.28261, nor.28353], default=nor.28332, id=29390, 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), (3,166,48)]) priority_sel.29064: bits[2] = priority_sel(nor.28570, cases=[concat.29113], default=concat.30124, id=29064, 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), (3,166,48)]) and.28756: bits[1] = and(and.28579, and.28628, id=28756, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) not.30292: bits[1] = not(and.28782, id=30292, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) nor.28630: bits[1] = nor(or.29182, nor.28457, id=28630, 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), (3,166,48)]) not.30293: bits[1] = not(and.30170, id=30293, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) not.30294: bits[1] = not(and.30168, id=30294, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) not.28463: bits[1] = not(bit_slice.28421, id=28463, 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), (3,166,48)]) not.28420: bits[1] = not(bit_slice.28380, id=28420, 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), (3,166,48)]) not.28418: bits[1] = not(bit_slice.28379, id=28418, 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), (3,166,48)]) not.28378: bits[1] = not(bit_slice.28348, id=28378, 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), (3,166,48)]) nor.28755: bits[1] = nor(not.28728, and.28628, id=28755, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) priority_sel.29412: bits[1] = priority_sel(concat.28623, cases=[literal.28261, nor.28406], default=nor.28369, id=29412, 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), (3,166,48)]) priority_sel.29070: bits[2] = priority_sel(nor.28627, cases=[concat.29119], default=concat.30126, id=29070, 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), (3,166,48)]) bit_slice.28837: bits[1] = bit_slice(xbs_fraction, start=0, width=1, id=28837, 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), (3,166,48)]) nor.28847: bits[1] = nor(not.28835, and.28793, id=28847, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29700: bits[3] = concat(literal.28273, priority_sel.29213, id=29700, 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), (3,166,48)]) concat.29484: bits[3] = concat(and.28768, priority_sel.29479, id=29484, 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), (3,166,48)]) nor.28820: bits[1] = nor(not.28805, and.28742, id=28820, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29148: bits[3] = concat(literal.28273, priority_sel.29332, id=29148, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29457: bits[3] = concat(and.28713, priority_sel.29452, id=29457, 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), (3,166,48)]) concat.28816: bits[2] = concat(nor.28802, and.28803, id=28816, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29798: bits[3] = concat(priority_sel.29443, literal.28261, id=29798, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29757: bits[3] = concat(literal.28273, priority_sel.29077, id=29757, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29448: bits[3] = concat(and.28676, priority_sel.29443, id=29448, 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), (3,166,48)]) not.28812: bits[1] = not(and.28724, id=28812, pos=[(0,1606,22), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) and.30247: bits[1] = and(and.30161, not.30287, id=30247, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) and.30291: bits[1] = and(nor.28573, not.30288, not.30289, not.30287, id=30291, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.30225: bits[4] = concat(nor.28573, and.30163, and.30161, and.28753, id=30225, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) nor.28440: bits[1] = nor(bit_slice.28401, not.28402, id=28440, 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), (3,166,48)]) nor.28398: bits[1] = nor(bit_slice.28366, not.28367, id=28398, 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), (3,166,48)]) nor.28395: bits[1] = nor(bit_slice.28364, not.28365, id=28395, 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), (3,166,48)]) nor.28361: bits[1] = nor(bit_slice.28340, not.28341, id=28361, 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), (3,166,48)]) concat.28748: bits[2] = concat(nor.28723, and.28724, id=28748, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29795: bits[3] = concat(nor.28522, priority_sel.29390, literal.28261, id=29795, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29736: bits[3] = concat(literal.28273, priority_sel.29064, id=29736, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29399: bits[3] = concat(literal.28261, nor.28522, priority_sel.29390, id=29399, 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), (3,166,48)]) not.28828: bits[1] = not(and.28756, id=28828, pos=[(0,1606,22), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) and.30263: bits[1] = and(and.30168, not.30292, id=30263, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) and.30296: bits[1] = and(nor.28630, not.30293, not.30294, not.30292, id=30296, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.30226: bits[4] = concat(nor.28630, and.30170, and.30168, and.28782, id=30226, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) nor.28499: bits[1] = nor(bit_slice.28462, not.28463, id=28499, 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), (3,166,48)]) nor.28459: bits[1] = nor(bit_slice.28419, not.28420, id=28459, 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), (3,166,48)]) nor.28456: bits[1] = nor(bit_slice.28417, not.28418, id=28456, 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), (3,166,48)]) nor.28414: bits[1] = nor(bit_slice.28377, not.28378, id=28414, 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), (3,166,48)]) concat.28777: bits[2] = concat(nor.28755, and.28756, id=28777, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29796: bits[3] = concat(nor.28578, priority_sel.29412, literal.28261, id=29796, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29743: bits[3] = concat(literal.28273, priority_sel.29070, id=29743, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29421: bits[3] = concat(literal.28261, nor.28578, priority_sel.29412, id=29421, 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), (3,166,48)]) fraction_shift__3: bits[3] = literal(value=4, id=30133, pos=[(0,1606,22), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) not.29823: bits[1] = not(bit_slice.28837, id=29823, 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), (3,166,48)]) priority_sel.29339: bits[3] = priority_sel(nor.28847, cases=[concat.29700], default=concat.29484, id=29339, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) not.28856: bits[1] = not(and.28803, id=28856, pos=[(0,1606,22), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) and.28821: bits[1] = and(and.28713, and.28742, id=28821, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) priority_sel.29215: bits[3] = priority_sel(nor.28820, cases=[concat.29148], default=concat.29457, id=29215, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) priority_sel.29488: bits[3] = priority_sel(concat.28816, cases=[concat.29798, concat.29757], default=concat.29448, id=29488, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) and.28826: bits[1] = and(and.28724, and.28753, id=28826, pos=[(0,1606,22), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) nor.28825: bits[1] = nor(not.28812, and.28753, id=28825, pos=[(0,1606,22), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) or.30232: bits[1] = or(and.30247, and.30291, id=30232, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) priority_sel.30178: bits[1] = priority_sel(concat.30225, cases=[literal.28261, nor.28440, nor.28398, nor.28395], default=nor.28361, id=30178, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) priority_sel.29461: bits[3] = priority_sel(concat.28748, cases=[concat.29795, concat.29736], default=concat.29399, id=29461, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) nor.28842: bits[1] = nor(not.28828, and.28782, id=28842, pos=[(0,1606,22), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) and.28843: bits[1] = and(and.28756, and.28782, id=28843, pos=[(0,1606,22), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) or.30239: bits[1] = or(and.30263, and.30296, id=30239, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) priority_sel.30191: bits[1] = priority_sel(concat.30226, cases=[literal.28261, nor.28499, nor.28459, nor.28456], default=nor.28414, id=30191, pos=[(0,1601,22), (0,1606,64), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) priority_sel.29470: bits[3] = priority_sel(concat.28777, cases=[concat.29796, concat.29743], default=concat.29421, id=29470, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) and.28848: bits[1] = and(and.28768, and.28793, id=28848, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.30135: bits[4] = concat(fraction_shift__3, not.29823, id=30135, pos=[(0,1606,22), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29791: bits[4] = concat(literal.28261, priority_sel.29339, id=29791, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) nor.28865: bits[1] = nor(not.28856, and.28821, id=28865, pos=[(0,1606,22), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29703: bits[4] = concat(literal.28273, priority_sel.29215, id=29703, pos=[(0,1541,24), (0,1606,22), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29493: bits[4] = concat(and.28803, priority_sel.29488, id=29493, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) not.28871: bits[1] = not(and.28826, id=28871, pos=[(0,1611,22), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.28838: bits[2] = concat(nor.28825, and.28826, id=28838, pos=[(0,1606,22), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) literal.29652: bits[4] = literal(value=0, id=29652, pos=[(0,1606,22), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.30322: bits[4] = concat(literal.28273, nor.28752, or.30232, priority_sel.30178, id=30322, pos=[(0,1606,22), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29466: bits[4] = concat(and.28724, priority_sel.29461, id=29466, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.28852: bits[2] = concat(nor.28842, and.28843, id=28852, pos=[(0,1606,22), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.30321: bits[4] = concat(literal.28273, nor.28781, or.30239, priority_sel.30191, id=30321, pos=[(0,1606,22), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29475: bits[4] = concat(and.28756, priority_sel.29470, id=29475, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) priority_sel.28883: bits[4] = priority_sel(and.28848, cases=[concat.30135], default=concat.29791, id=28883, pos=[(0,1606,22), (0,1611,66), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) priority_sel.29345: bits[4] = priority_sel(nor.28865, cases=[concat.29703], default=concat.29493, id=29345, pos=[(0,1606,22), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) nor.28879: bits[1] = nor(not.28871, and.28843, id=28879, pos=[(0,1611,22), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) and.28880: bits[1] = and(and.28826, and.28843, id=28880, pos=[(0,1611,22), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) priority_sel.29497: bits[4] = priority_sel(concat.28838, cases=[literal.29652, concat.30322], default=concat.29466, id=29497, pos=[(0,1606,22), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) priority_sel.29101: bits[4] = priority_sel(concat.28852, cases=[literal.29652, concat.30321], default=concat.29475, id=29101, pos=[(0,1606,22), (0,1611,66), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) and.28866: bits[1] = and(and.28803, and.28821, id=28866, pos=[(0,1606,22), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.28889: bits[5] = concat(literal.28273, priority_sel.28883, id=28889, pos=[(0,1611,22), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29792: bits[5] = concat(literal.28261, priority_sel.29345, id=29792, pos=[(0,1606,22), (0,1611,35), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.28884: bits[2] = concat(nor.28879, and.28880, id=28884, pos=[(0,1611,22), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29800: bits[5] = concat(priority_sel.29497, literal.28261, id=29800, pos=[(0,1611,22), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29767: bits[5] = concat(literal.28273, priority_sel.29101, id=29767, pos=[(0,1611,22), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29502: bits[5] = concat(and.28826, priority_sel.29497, id=29502, pos=[(0,1606,22), (0,1611,35), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) priority_sel.28891: bits[5] = priority_sel(and.28866, cases=[concat.28889], default=concat.29792, id=28891, pos=[(0,1611,22), (0,1616,66), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) priority_sel.29513: bits[5] = priority_sel(concat.28884, cases=[concat.29800, concat.29767], default=concat.29502, id=29513, pos=[(0,1611,22), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) and.29895: bits[1] = and(and.28826, and.28880, id=29895, pos=[(0,1611,22), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.28893: bits[6] = concat(literal.28273, priority_sel.28891, id=28893, pos=[(0,1616,22), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.29518: bits[6] = concat(literal.28261, priority_sel.29513, id=29518, pos=[(0,1611,22), (0,1616,35), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) concat.28894: bits[58] = concat(literal.28261, xbs_fraction, id=28894, pos=[(3,166,48)]) leading_zeroes: bits[6] = priority_sel(and.29895, cases=[concat.28893], default=concat.29518, id=28895, pos=[(0,1616,22), (0,1643,30), (0,1708,13), (2,3141,34), (3,166,48)]) cancel_fraction: bits[58] = shll(concat.28894, leading_zeroes, id=28896, pos=[(2,3144,26), (3,166,48)]) bit_slice.28897: bits[55] = bit_slice(xbs_fraction, start=2, width=55, id=28897, pos=[(2,3053,20), (2,3137,36), (3,166,48)]) or.28898: bits[1] = or(bit_slice.28610, bit_slice.28837, id=28898, pos=[(2,3053,40), (2,3137,36), (3,166,48)]) cancel_fraction__1: bits[56] = bit_slice(cancel_fraction, start=1, width=56, id=28899, pos=[(3,166,48)]) carry_fraction__1: bits[56] = concat(bit_slice.28897, or.28898, id=28900, pos=[(2,3053,20), (2,3137,36), (3,166,48)]) shifted_fraction: bits[56] = sel(carry_bit, cases=[cancel_fraction__1, carry_fraction__1], id=28901, pos=[(2,3146,27), (3,166,48)]) normal_chunk: bits[3] = bit_slice(shifted_fraction, start=0, width=3, id=28902, pos=[(2,3158,39), (3,166,48)]) half_way_chunk: bits[2] = bit_slice(shifted_fraction, start=2, width=2, id=28904, pos=[(2,3159,41), (3,166,48)]) literal.28905: bits[2] = literal(value=3, id=28905, pos=[(2,3160,68), (3,166,48)]) ugt.28906: bits[1] = ugt(normal_chunk, fraction_shift__3, id=28906, pos=[(2,3160,23), (3,166,48)]) eq.28907: bits[1] = eq(half_way_chunk, literal.28905, id=28907, pos=[(2,3160,50), (3,166,48)]) bit_slice.29914: bits[53] = bit_slice(shifted_fraction, start=3, width=53, id=29914) do_round_up: bits[1] = or(ugt.28906, eq.28907, id=28910, pos=[(2,3160,23), (3,166,48)]) concat.29915: bits[54] = concat(literal.28261, bit_slice.29914, id=29915) concat.30132: bits[54] = concat(literal.28277, do_round_up, id=30132) add.29820: bits[54] = add(concat.29915, concat.30132, id=29820) literal.28913: bits[6] = literal(value=0, id=28913, pos=[(3,166,48)]) rounding_carry: bits[1] = bit_slice(add.29820, start=53, width=1, id=29900, pos=[(2,3168,41), (3,166,48)]) literal.30061: bits[55] = literal(value=0, id=30061, pos=[(2,3121,39), (3,166,48)]) bit_slice.30120: bits[1] = bit_slice(shrl.28304, start=1, width=1, id=30120, pos=[(2,3121,27), (3,166,48)]) bit_slice.30121: bits[1] = bit_slice(shrl.28304, start=2, width=1, id=30121, pos=[(2,3121,27), (3,166,48)]) concat.28915: bits[12] = concat(literal.28261, x_bexp, id=28915, pos=[(3,166,48)]) literal.28916: bits[12] = literal(value=1, id=28916, pos=[(2,3180,24), (3,166,48)]) concat.29942: bits[7] = concat(literal.28913, rounding_carry, id=29942, pos=[(3,166,48)]) concat.28918: bits[7] = concat(literal.28261, leading_zeroes, id=28918, pos=[(3,166,48)]) eq.29993: bits[1] = eq(add.29803, literal.30061, id=29993, pos=[(2,3121,27), (3,166,48)]) nor.30089: bits[1] = nor(bit_slice.30120, bit_slice.30121, id=30089, pos=[(2,3121,27), (3,166,48)]) nor.30090: bits[1] = nor(bit_slice.28309, sticky, id=30090, pos=[(2,3121,27), (3,166,48)]) add.28919: bits[12] = add(concat.28915, literal.28916, id=28919, pos=[(2,3179,26), (3,166,48)]) sub.28920: bits[7] = sub(concat.29942, concat.28918, id=28920, pos=[(2,3179,26), (3,166,48)]) fraction_is_zero: bits[1] = and(eq.29993, nor.30089, nor.30090, id=30088, pos=[(2,3121,27), (3,166,48)]) wide_exponent_associative_element: bits[13] = concat(literal.28261, add.28919, id=28922, pos=[(2,3179,26), (3,166,48)]) wide_exponent_associative_element__1: bits[13] = sign_ext(sub.28920, new_bit_count=13, id=28923, pos=[(2,3179,26), (3,166,48)]) not.29351: bits[1] = not(fraction_is_zero, id=29351, pos=[(2,3181,24), (3,166,48)]) wide_exponent: bits[13] = add(wide_exponent_associative_element, wide_exponent_associative_element__1, id=28925, pos=[(2,3179,26), (3,166,48)]) sign_ext.29352: bits[13] = sign_ext(not.29351, new_bit_count=13, id=29352, pos=[(2,3181,24), (3,166,48)]) wide_exponent__1: bits[13] = and(wide_exponent, sign_ext.29352, id=29353, pos=[(2,3181,24), (3,166,48)]) bit_slice.28934: bits[1] = bit_slice(wide_exponent__1, start=12, width=1, id=28934, pos=[(2,3184,27), (3,166,48)]) not.29354: bits[1] = not(bit_slice.28934, id=29354, pos=[(2,3184,24), (3,166,48)]) bit_slice.28935: bits[12] = bit_slice(wide_exponent__1, start=0, width=12, id=28935, pos=[(3,166,48)]) sign_ext.29355: bits[12] = sign_ext(not.29354, new_bit_count=12, id=29355, pos=[(2,3184,24), (3,166,48)]) MAX_EXPONENT: bits[11] = literal(value=2047, id=28927, pos=[(2,96,29), (2,3209,29), (3,166,48)]) literal.28928: bits[52] = literal(value=0, id=28928, pos=[(2,96,57), (2,3209,29), (3,166,48)]) wide_exponent__2: bits[12] = and(bit_slice.28935, sign_ext.29355, id=29356, pos=[(2,3184,24), (3,166,48)]) eq.28930: bits[1] = eq(x_bexp, MAX_EXPONENT, id=28930, pos=[(2,96,6), (2,3209,29), (3,166,48)]) eq.28931: bits[1] = eq(x_fraction, literal.28928, id=28931, pos=[(2,96,44), (2,3209,29), (3,166,48)]) eq.28932: bits[1] = eq(y_bexp, MAX_EXPONENT, id=28932, pos=[(2,96,6), (2,3210,29), (3,166,48)]) eq.28933: bits[1] = eq(y_fraction, literal.28928, id=28933, pos=[(2,96,44), (2,3210,29), (3,166,48)]) bit_slice.28947: bits[11] = bit_slice(wide_exponent__2, start=1, width=11, id=28947, pos=[(2,3194,11), (3,166,48)]) not.28937: bits[1] = not(eq.28930, id=28937, pos=[(2,3209,29), (3,166,48)]) not.28938: bits[1] = not(eq.28931, id=28938, pos=[(2,3209,29), (3,166,48)]) not.28939: bits[1] = not(eq.28932, id=28939, pos=[(2,3210,29), (3,166,48)]) not.28940: bits[1] = not(eq.28933, id=28940, pos=[(2,3210,29), (3,166,48)]) and.28954: bits[1] = and(eq.28930, eq.28931, id=28954, pos=[(2,96,6), (2,3209,29), (3,166,48)]) and.28955: bits[1] = and(eq.28932, eq.28933, id=28955, pos=[(2,96,6), (2,3210,29), (3,166,48)]) bit_slice.28956: bits[11] = bit_slice(wide_exponent__2, start=0, width=11, id=28956, pos=[(2,3202,11), (3,166,48)]) or_reduce.28957: bits[1] = or_reduce(bit_slice.28947, id=28957, pos=[(2,3194,11), (3,166,48)]) bit_slice.28958: bits[1] = bit_slice(wide_exponent__2, start=0, width=1, id=28958, pos=[(2,3194,11), (3,166,48)]) nor.28942: bits[1] = nor(not.28937, not.28938, x_sign, id=28942, pos=[(2,3209,29), (3,166,48)]) nor.28943: bits[1] = nor(not.28939, not.28940, y_sign, id=28943, pos=[(2,3210,29), (3,166,48)]) and.28944: bits[1] = and(eq.28930, eq.28931, x_sign, id=28944, pos=[(2,3215,29), (3,166,48)]) and.28945: bits[1] = and(eq.28932, eq.28933, y_sign, id=28945, pos=[(2,3216,29), (3,166,48)]) fraction_shift__2: bits[3] = literal(value=3, id=28948, pos=[(2,3174,8), (3,166,48)]) is_operand_inf: bits[1] = or(and.28954, and.28955, id=28966, pos=[(2,3205,31), (3,166,48)]) bit_slice.28967: bits[1] = bit_slice(wide_exponent__2, start=11, width=1, id=28967, pos=[(2,3202,11), (3,166,48)]) and_reduce.28968: bits[1] = and_reduce(bit_slice.28956, id=28968, pos=[(2,3202,11), (3,166,48)]) nor.28969: bits[1] = nor(or_reduce.28957, bit_slice.28958, id=28969, pos=[(2,3194,11), (3,166,48)]) has_pos_inf: bits[1] = or(nor.28942, nor.28943, id=28951, pos=[(2,3209,29), (3,166,48)]) has_neg_inf: bits[1] = or(and.28944, and.28945, id=28952, pos=[(2,3215,29), (3,166,48)]) rounded_fraction: bits[57] = concat(add.29820, normal_chunk, id=29945) fraction_shift__1: bits[3] = sel(rounding_carry, cases=[fraction_shift__2, fraction_shift__3], id=28959, pos=[(2,3174,8), (3,166,48)]) or.28974: bits[1] = or(is_operand_inf, bit_slice.28967, and_reduce.28968, nor.28969, id=28974, pos=[(2,3207,26), (3,166,48)]) nor.29001: bits[1] = nor(not.28937, eq.28931, id=29001, pos=[(2,71,6), (2,3217,30), (3,166,48)]) nor.29003: bits[1] = nor(not.28939, eq.28933, id=29003, pos=[(2,71,6), (2,3217,64), (3,166,48)]) and.28962: bits[1] = and(has_pos_inf, has_neg_inf, id=28962, pos=[(2,3218,25), (3,166,48)]) concat.29943: bits[2] = concat(bit_slice.29898, fraction_is_zero, id=29943, pos=[(3,166,48)]) and.28964: bits[1] = and(x_sign, y_sign, id=28964, pos=[(2,3123,22), (3,166,48)]) not.28965: bits[1] = not(y_sign, id=28965, pos=[(2,3210,59), (3,166,48)]) shrl.28970: bits[57] = shrl(rounded_fraction, fraction_shift__1, id=28970, pos=[(2,3175,27), (3,166,48)]) not.29357: bits[1] = not(or.28974, id=29357, pos=[(2,3207,26), (3,166,48)]) is_result_nan: bits[1] = or(nor.29001, nor.29003, and.28962, id=28971, pos=[(2,3217,30), (3,166,48)]) result_sign: bits[1] = priority_sel(concat.29943, cases=[and.28964, not.28965], default=y_sign, id=28972, pos=[(3,166,48)]) not.28973: bits[1] = not(has_pos_inf, id=28973, pos=[(2,3211,42), (3,166,48)]) result_fraction: bits[52] = bit_slice(shrl.28970, start=0, width=52, id=28975, pos=[(3,166,48)]) sign_ext.29358: bits[52] = sign_ext(not.29357, new_bit_count=52, id=29358, pos=[(2,3207,26), (3,166,48)]) not.28976: bits[1] = not(is_result_nan, id=28976, pos=[(2,3222,22), (3,166,48)]) result_sign__1: bits[1] = sel(is_operand_inf, cases=[result_sign, not.28973], id=28977, pos=[(2,3211,22), (3,166,48)]) or.28978: bits[1] = or(is_result_nan, is_operand_inf, bit_slice.28967, and_reduce.28968, id=28978, pos=[(2,3220,26), (3,166,48)]) result_fraction__3: bits[52] = and(result_fraction, sign_ext.29358, id=29359, pos=[(2,3207,26), (3,166,48)]) FRACTION_HIGH_BIT: bits[52] = literal(value=2251799813685248, id=28980, pos=[(2,3219,30), (3,166,48)]) result_sign__2: bits[1] = and(not.28976, result_sign__1, id=28981, pos=[(2,3222,22), (3,166,48)]) result_exponent__2: bits[11] = sel(or.28978, cases=[bit_slice.28956, MAX_EXPONENT], id=28982, pos=[(2,3220,26), (3,166,48)]) result_fraction__4: bits[52] = sel(is_result_nan, cases=[result_fraction__3, FRACTION_HIGH_BIT], id=28983, pos=[(2,3221,26), (3,166,48)]) ret tuple.28984: (bits[1], bits[11], bits[52]) = tuple(result_sign__2, result_exponent__2, result_fraction__4, id=28984, pos=[(2,3225,33), (3,166,48)]) }