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=835, y: (bits[1], bits[11], bits[52]) id=836) -> (bits[1], bits[11], bits[52]) { y_bexp__1: bits[11] = tuple_index(y, index=1, id=28126, pos=[(2,3091,67), (3,166,48)]) literal.28127: bits[1] = literal(value=0, id=28127, pos=[(1,91,63), (2,3009,44), (2,3091,57), (3,166,48)]) x_bexp__1: bits[11] = tuple_index(x, index=1, id=28128, pos=[(2,3091,59), (3,166,48)]) y_bexpnot: bits[11] = not(y_bexp__1, id=28129, pos=[(1,90,15), (2,3009,44), (2,3091,57), (3,166,48)]) x_bexp_extended__1: bits[12] = concat(literal.28127, x_bexp__1, id=28130, pos=[(1,91,63), (2,3009,44), (2,3091,57), (3,166,48)]) y_bexpnot_extended: bits[12] = concat(literal.28127, y_bexpnot, id=28131, 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=28132, pos=[(0,1114,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=28133, pos=[(0,1116,49), (1,91,63), (2,3009,44), (2,3091,57), (3,166,48)]) tuple_index.28135: bits[52] = tuple_index(y, index=2, id=28135, pos=[(2,3092,17), (3,166,48)]) tuple_index.28136: bits[52] = tuple_index(x, index=2, id=28136, pos=[(2,3092,17), (3,166,48)]) x_bexp: bits[11] = sel(overflow_detected, cases=[y_bexp__1, x_bexp__1], id=28853, pos=[(2,3092,17), (3,166,48)]) literal.28138: bits[11] = literal(value=0, id=28138, pos=[(2,3099,34), (3,166,48)]) y_bexp: bits[11] = sel(overflow_detected, cases=[x_bexp__1, y_bexp__1], id=28851, pos=[(2,3092,17), (3,166,48)]) literal.28139: bits[1] = literal(value=1, id=28139, pos=[(2,3095,22), (3,166,48)]) x_fraction: bits[52] = sel(overflow_detected, cases=[tuple_index.28135, tuple_index.28136], id=28854, pos=[(2,3092,17), (3,166,48)]) ne.29689: bits[1] = ne(x_bexp, literal.28138, id=29689, pos=[(2,3099,21), (3,166,48)]) y_fraction: bits[52] = sel(overflow_detected, cases=[tuple_index.28136, tuple_index.28135], id=28852, pos=[(2,3092,17), (3,166,48)]) ne.29688: bits[1] = ne(y_bexp, literal.28138, id=29688, pos=[(2,3100,21), (3,166,48)]) nc: bits[1] = not(overflow_detected, id=28134, pos=[(1,92,19), (2,3009,44), (2,3091,57), (3,166,48)]) fraction_x: bits[53] = concat(literal.28139, x_fraction, id=28160, pos=[(2,3095,22), (3,166,48)]) sign_ext.29156: bits[53] = sign_ext(ne.29689, new_bit_count=53, id=29156, pos=[(2,3099,21), (3,166,48)]) fraction_y: bits[53] = concat(literal.28139, y_fraction, id=28142, pos=[(2,3096,22), (3,166,48)]) sign_ext.29159: bits[53] = sign_ext(ne.29688, new_bit_count=53, id=29159, pos=[(2,3100,21), (3,166,48)]) narrowed_result: bits[11] = bit_slice(full_result, start=0, width=11, id=28147, 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=28148, pos=[(1,94,32), (2,3009,44), (2,3091,57), (3,166,48)]) literal.28149: bits[10] = literal(value=0, id=28149, pos=[(2,3010,68), (2,3091,57), (3,166,48)]) tuple_index.28168: bits[1] = tuple_index(y, index=0, id=28168, pos=[(2,3092,17), (3,166,48)]) tuple_index.28167: bits[1] = tuple_index(x, index=0, id=28167, pos=[(2,3092,17), (3,166,48)]) fraction_x__1: bits[53] = and(fraction_x, sign_ext.29156, id=29157, pos=[(2,3099,21), (3,166,48)]) fraction_y__1: bits[53] = and(fraction_y, sign_ext.29159, id=29160, pos=[(2,3100,21), (3,166,48)]) xddend_x__1_squeezed_const_lsb_bits: bits[3] = literal(value=0, id=28145, pos=[(2,3104,17), (3,166,48)]) result: bits[11] = xor(narrowed_result, x_bexpor_mask, id=28151, pos=[(1,95,18), (2,3009,44), (2,3091,57), (3,166,48)]) concat.28152: bits[11] = concat(literal.28149, overflow_detected, id=28152, pos=[(2,3010,68), (2,3091,57), (3,166,48)]) x_sign: bits[1] = sel(overflow_detected, cases=[tuple_index.28168, tuple_index.28167], id=28855, pos=[(2,3092,17), (3,166,48)]) y_sign: bits[1] = sel(overflow_detected, cases=[tuple_index.28167, tuple_index.28168], id=28856, pos=[(2,3092,17), (3,166,48)]) wide_x_squeezed: bits[54] = concat(literal.28127, fraction_x__1, id=28169, 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=28164, pos=[(2,3116,31), (3,166,48)]) shift: bits[11] = add(result, concat.28152, id=28158, pos=[(1,54,7), (2,3010,68), (2,3091,57), (3,166,48)]) literal.28157: bits[57] = literal(value=144115188075855871, id=28157, pos=[(0,1406,19), (0,1496,17), (0,1523,22), (2,3115,35), (3,166,48)]) xor.28177: bits[1] = xor(x_sign, y_sign, id=28177, pos=[(2,3110,23), (3,166,48)]) neg.28174: bits[54] = neg(wide_x_squeezed, id=28174, pos=[(2,3110,41), (3,166,48)]) shrl.28170: bits[56] = shrl(wide_y_shift_bits, shift, id=28170, pos=[(2,3116,31), (3,166,48)]) not.29812: bits[52] = not(y_fraction, id=29812, pos=[(0,1406,4), (0,1496,17), (0,1523,22), (2,3115,35), (3,166,48)]) shll.28162: bits[57] = shll(literal.28157, shift, id=28162, pos=[(0,1406,19), (0,1496,17), (0,1523,22), (2,3115,35), (3,166,48)]) xddend_x__1_squeezed: bits[54] = sel(xor.28177, cases=[wide_x_squeezed, neg.28174], id=29163, pos=[(2,3110,19), (3,166,48)]) literal.28864: bits[2] = literal(value=0, id=28864, pos=[(3,166,48)]) bit_slice.29804: bits[53] = bit_slice(shrl.28170, start=3, width=53, id=29804, pos=[(2,3120,20), (3,166,48)]) concat.29815: bits[53] = concat(literal.28127, not.29812, id=29815, pos=[(0,1406,4), (0,1496,17), (0,1523,22), (2,3115,35), (3,166,48)]) not.29692: bits[53] = not(sign_ext.29159, id=29692, pos=[(0,1406,4), (0,1496,17), (0,1523,22), (2,3115,35), (3,166,48)]) bit_slice.28166: bits[53] = bit_slice(shll.28162, start=3, width=53, id=28166, pos=[(0,1406,19), (0,1496,17), (0,1523,22), (2,3115,35), (3,166,48)]) sign_ext.29773: bits[55] = sign_ext(xddend_x__1_squeezed, new_bit_count=55, id=29773, pos=[(2,3120,20), (3,166,48)]) concat.29775: bits[55] = concat(literal.28864, bit_slice.29804, id=29775, pos=[(2,3120,20), (3,166,48)]) nor.29693: bits[53] = nor(concat.29815, not.29692, bit_slice.28166, id=29693, pos=[(0,1406,4), (0,1496,17), (0,1523,22), (2,3115,35), (3,166,48)]) literal.28143: bits[53] = literal(value=0, id=28143, pos=[(2,3099,49), (3,166,48)]) add.29667: bits[55] = add(sign_ext.29773, concat.29775, id=29667, pos=[(2,3120,20), (3,166,48)]) bit_slice.28175: bits[1] = bit_slice(shrl.28170, start=0, width=1, id=28175, pos=[(2,3053,40), (2,3116,30), (3,166,48)]) sticky: bits[1] = ne(nor.29693, literal.28143, id=28176, pos=[(0,1496,17), (0,1523,22), (2,3115,35), (3,166,48)]) bit_slice.29760: bits[54] = bit_slice(add.29667, start=0, width=54, id=29760, pos=[(2,3120,20), (3,166,48)]) bit_slice.29805: bits[2] = bit_slice(shrl.28170, start=1, width=2, id=29805, pos=[(2,3120,20), (3,166,48)]) or.28181: bits[1] = or(bit_slice.28175, sticky, id=28181, pos=[(2,3053,40), (2,3116,30), (3,166,48)]) concat.29810: bits[57] = concat(bit_slice.29760, bit_slice.29805, or.28181, id=29810, pos=[(2,3120,20), (3,166,48)]) bit_slice.29762: bits[1] = bit_slice(add.29667, start=54, width=1, id=29762, pos=[(2,3130,12), (3,166,48)]) neg.28189: bits[57] = neg(concat.29810, id=28189, pos=[(2,3130,46), (3,166,48)]) xbs_fraction: bits[57] = sel(bit_slice.29762, cases=[concat.29810, neg.28189], id=28190, pos=[(2,3130,9), (3,166,48)]) bit_slice.28206: bits[1] = bit_slice(xbs_fraction, start=48, width=1, id=28206, pos=[(0,1585,40), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28196: bits[1] = bit_slice(xbs_fraction, start=47, width=1, id=28196, pos=[(0,1585,70), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28230: bits[1] = bit_slice(xbs_fraction, start=46, width=1, id=28230, pos=[(0,1585,40), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28208: bits[1] = bit_slice(xbs_fraction, start=45, width=1, id=28208, pos=[(0,1585,70), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28243: bits[1] = bit_slice(xbs_fraction, start=32, width=1, id=28243, pos=[(0,1585,40), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28214: bits[1] = bit_slice(xbs_fraction, start=31, width=1, id=28214, pos=[(0,1585,70), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28283: bits[1] = bit_slice(xbs_fraction, start=30, width=1, id=28283, pos=[(0,1585,40), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28245: bits[1] = bit_slice(xbs_fraction, start=29, width=1, id=28245, pos=[(0,1585,70), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28228: bits[1] = nor(bit_slice.28206, bit_slice.28196, id=28228, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28262: bits[1] = nor(bit_slice.28230, bit_slice.28208, id=28262, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28232: bits[1] = bit_slice(xbs_fraction, start=44, width=1, id=28232, pos=[(0,1585,40), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28209: bits[1] = bit_slice(xbs_fraction, start=43, width=1, id=28209, pos=[(0,1585,70), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28267: bits[1] = bit_slice(xbs_fraction, start=42, width=1, id=28267, pos=[(0,1585,40), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28234: bits[1] = bit_slice(xbs_fraction, start=41, width=1, id=28234, pos=[(0,1585,70), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28281: bits[1] = nor(bit_slice.28243, bit_slice.28214, id=28281, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28323: bits[1] = nor(bit_slice.28283, bit_slice.28245, id=28323, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28285: bits[1] = bit_slice(xbs_fraction, start=28, width=1, id=28285, pos=[(0,1585,40), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28246: bits[1] = bit_slice(xbs_fraction, start=27, width=1, id=28246, pos=[(0,1585,70), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28328: bits[1] = bit_slice(xbs_fraction, start=26, width=1, id=28328, pos=[(0,1585,40), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28287: bits[1] = bit_slice(xbs_fraction, start=25, width=1, id=28287, pos=[(0,1585,70), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28476: bits[1] = bit_slice(xbs_fraction, start=1, width=1, id=28476, pos=[(0,1585,70), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28431: bits[1] = bit_slice(xbs_fraction, start=3, width=1, id=28431, pos=[(0,1585,70), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28428: bits[1] = bit_slice(xbs_fraction, start=8, width=1, id=28428, pos=[(0,1585,40), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28387: bits[1] = bit_slice(xbs_fraction, start=7, width=1, id=28387, pos=[(0,1585,70), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28472: bits[1] = bit_slice(xbs_fraction, start=6, width=1, id=28472, pos=[(0,1585,40), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28430: bits[1] = bit_slice(xbs_fraction, start=5, width=1, id=28430, pos=[(0,1585,70), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28386: bits[1] = bit_slice(xbs_fraction, start=9, width=1, id=28386, pos=[(0,1585,70), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28341: bits[1] = bit_slice(xbs_fraction, start=11, width=1, id=28341, pos=[(0,1585,70), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28338: bits[1] = bit_slice(xbs_fraction, start=16, width=1, id=28338, pos=[(0,1585,40), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28292: bits[1] = bit_slice(xbs_fraction, start=15, width=1, id=28292, pos=[(0,1585,70), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28382: bits[1] = bit_slice(xbs_fraction, start=14, width=1, id=28382, pos=[(0,1585,40), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28340: bits[1] = bit_slice(xbs_fraction, start=13, width=1, id=28340, pos=[(0,1585,70), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28288: bits[1] = bit_slice(xbs_fraction, start=24, width=1, id=28288, pos=[(0,1585,40), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28247: bits[1] = bit_slice(xbs_fraction, start=23, width=1, id=28247, pos=[(0,1585,70), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28333: bits[1] = bit_slice(xbs_fraction, start=22, width=1, id=28333, pos=[(0,1585,40), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28290: bits[1] = bit_slice(xbs_fraction, start=21, width=1, id=28290, pos=[(0,1585,70), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28335: bits[1] = bit_slice(xbs_fraction, start=20, width=1, id=28335, pos=[(0,1585,40), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28291: bits[1] = bit_slice(xbs_fraction, start=19, width=1, id=28291, pos=[(0,1585,70), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28377: bits[1] = bit_slice(xbs_fraction, start=18, width=1, id=28377, pos=[(0,1585,40), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28337: bits[1] = bit_slice(xbs_fraction, start=17, width=1, id=28337, pos=[(0,1585,70), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28440: bits[1] = and(nor.28228, nor.28262, id=28440, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28265: bits[1] = nor(bit_slice.28232, bit_slice.28209, id=28265, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28307: bits[1] = nor(bit_slice.28267, bit_slice.28234, id=28307, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) or.29041: bits[1] = or(bit_slice.28232, bit_slice.28209, id=29041, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) carry_bit: bits[1] = bit_slice(xbs_fraction, start=56, width=1, id=28192, pos=[(0,1585,40), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28191: bits[1] = bit_slice(xbs_fraction, start=55, width=1, id=28191, pos=[(0,1585,70), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28201: bits[1] = bit_slice(xbs_fraction, start=54, width=1, id=28201, pos=[(0,1585,40), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28194: bits[1] = bit_slice(xbs_fraction, start=53, width=1, id=28194, pos=[(0,1585,70), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28205: bits[1] = bit_slice(xbs_fraction, start=49, width=1, id=28205, pos=[(0,1585,70), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28195: bits[1] = bit_slice(xbs_fraction, start=51, width=1, id=28195, pos=[(0,1585,70), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28497: bits[1] = and(nor.28281, nor.28323, id=28497, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28326: bits[1] = nor(bit_slice.28285, bit_slice.28246, id=28326, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28366: bits[1] = nor(bit_slice.28328, bit_slice.28287, id=28366, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) or.29045: bits[1] = or(bit_slice.28285, bit_slice.28246, id=29045, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28210: bits[1] = bit_slice(xbs_fraction, start=40, width=1, id=28210, pos=[(0,1585,40), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28197: bits[1] = bit_slice(xbs_fraction, start=39, width=1, id=28197, pos=[(0,1585,70), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28238: bits[1] = bit_slice(xbs_fraction, start=38, width=1, id=28238, pos=[(0,1585,40), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28212: bits[1] = bit_slice(xbs_fraction, start=37, width=1, id=28212, pos=[(0,1585,70), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28242: bits[1] = bit_slice(xbs_fraction, start=33, width=1, id=28242, pos=[(0,1585,70), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28213: bits[1] = bit_slice(xbs_fraction, start=35, width=1, id=28213, pos=[(0,1585,70), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28474: bits[1] = bit_slice(xbs_fraction, start=4, width=1, id=28474, pos=[(0,1585,40), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28520: bits[1] = bit_slice(xbs_fraction, start=2, width=1, id=28520, pos=[(0,1585,40), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28521: bits[1] = not(bit_slice.28476, id=28521, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28475: bits[1] = not(bit_slice.28431, id=28475, pos=[(0,1578,4), (0,1585,64), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) or.29049: bits[1] = or(bit_slice.28428, bit_slice.28387, id=29049, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28515: bits[1] = nor(bit_slice.28472, bit_slice.28430, id=28515, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28470: bits[1] = nor(bit_slice.28428, bit_slice.28387, id=28470, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28429: bits[1] = not(bit_slice.28387, id=28429, pos=[(0,1578,4), (0,1585,64), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28473: bits[1] = not(bit_slice.28430, id=28473, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28384: bits[1] = bit_slice(xbs_fraction, start=12, width=1, id=28384, pos=[(0,1585,40), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28426: bits[1] = bit_slice(xbs_fraction, start=10, width=1, id=28426, pos=[(0,1585,40), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28427: bits[1] = not(bit_slice.28386, id=28427, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.29959: bits[1] = not(bit_slice.28341, id=29959, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) or.29050: bits[1] = or(bit_slice.28338, bit_slice.28292, id=29050, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28421: bits[1] = nor(bit_slice.28382, bit_slice.28340, id=28421, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28380: bits[1] = nor(bit_slice.28338, bit_slice.28292, id=28380, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.29963: bits[1] = not(bit_slice.28292, id=29963, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28383: bits[1] = not(bit_slice.28340, id=28383, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28331: bits[1] = nor(bit_slice.28288, bit_slice.28247, id=28331, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28372: bits[1] = nor(bit_slice.28333, bit_slice.28290, id=28372, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) or.29052: bits[1] = or(bit_slice.28288, bit_slice.28247, id=29052, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.29967: bits[1] = not(bit_slice.28247, id=29967, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28334: bits[1] = not(bit_slice.28290, id=28334, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) or.29053: bits[1] = or(bit_slice.28335, bit_slice.28291, id=29053, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28415: bits[1] = nor(bit_slice.28377, bit_slice.28337, id=28415, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28375: bits[1] = nor(bit_slice.28335, bit_slice.28291, id=28375, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28336: bits[1] = not(bit_slice.28291, id=28336, pos=[(0,1578,4), (0,1585,64), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28378: bits[1] = not(bit_slice.28337, id=28378, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28203: bits[1] = bit_slice(xbs_fraction, start=52, width=1, id=28203, pos=[(0,1585,40), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28225: bits[1] = bit_slice(xbs_fraction, start=50, width=1, id=28225, pos=[(0,1585,40), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28592: bits[1] = not(and.28440, id=28592, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28487: bits[1] = and(nor.28265, nor.28307, id=28487, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28486: bits[1] = nor(or.29041, nor.28307, id=28486, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28199: bits[1] = nor(carry_bit, bit_slice.28191, id=28199, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28220: bits[1] = nor(bit_slice.28201, bit_slice.28194, id=28220, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) or.29040: bits[1] = or(carry_bit, bit_slice.28191, id=29040, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28226: bits[1] = not(bit_slice.28205, id=28226, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28204: bits[1] = not(bit_slice.28195, id=28204, pos=[(0,1578,4), (0,1585,64), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28240: bits[1] = bit_slice(xbs_fraction, start=36, width=1, id=28240, pos=[(0,1585,40), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28278: bits[1] = bit_slice(xbs_fraction, start=34, width=1, id=28278, pos=[(0,1585,40), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28624: bits[1] = not(and.28497, id=28624, pos=[(0,1595,22), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28539: bits[1] = and(nor.28326, nor.28366, id=28539, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28538: bits[1] = nor(or.29045, nor.28366, id=28538, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28236: bits[1] = nor(bit_slice.28210, bit_slice.28197, id=28236, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28273: bits[1] = nor(bit_slice.28238, bit_slice.28212, id=28273, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) or.29044: bits[1] = or(bit_slice.28210, bit_slice.28197, id=29044, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28279: bits[1] = not(bit_slice.28242, id=28279, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28241: bits[1] = not(bit_slice.28213, id=28241, pos=[(0,1578,4), (0,1585,64), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) or.29048: bits[1] = or(bit_slice.28474, bit_slice.28431, id=29048, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28558: bits[1] = nor(bit_slice.28520, bit_slice.28476, id=28558, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28557: bits[1] = nor(bit_slice.28520, not.28521, id=28557, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28518: bits[1] = nor(bit_slice.28474, bit_slice.28431, id=28518, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28517: bits[1] = nor(bit_slice.28474, not.28475, id=28517, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28633: bits[1] = nor(or.29049, nor.28515, id=28633, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28634: bits[1] = and(nor.28470, nor.28515, id=28634, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28469: bits[1] = nor(bit_slice.28428, not.28429, id=28469, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28514: bits[1] = nor(bit_slice.28472, not.28473, id=28514, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) or.29051: bits[1] = or(bit_slice.28384, bit_slice.28341, id=29051, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28467: bits[1] = nor(bit_slice.28426, bit_slice.28386, id=28467, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28466: bits[1] = nor(bit_slice.28426, not.28427, id=28466, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.29957: bits[1] = nor(bit_slice.28384, bit_slice.28341, id=29957, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.29960: bits[1] = nor(bit_slice.28384, not.29959, id=29960, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28578: bits[1] = nor(or.29050, nor.28421, id=28578, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28579: bits[1] = and(nor.28380, nor.28421, id=28579, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.29964: bits[1] = nor(bit_slice.28338, not.29963, id=29964, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28420: bits[1] = nor(bit_slice.28382, not.28383, id=28420, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28542: bits[1] = and(nor.28331, nor.28372, id=28542, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28541: bits[1] = nor(or.29052, nor.28372, id=28541, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.29968: bits[1] = nor(bit_slice.28288, not.29967, id=29968, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28371: bits[1] = nor(bit_slice.28333, not.28334, id=28371, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28575: bits[1] = nor(or.29053, nor.28415, id=28575, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28576: bits[1] = and(nor.28375, nor.28415, id=28576, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28374: bits[1] = nor(bit_slice.28335, not.28336, id=28374, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28414: bits[1] = nor(bit_slice.28377, not.28378, id=28414, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28223: bits[1] = nor(bit_slice.28203, bit_slice.28195, id=28223, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28256: bits[1] = nor(bit_slice.28225, bit_slice.28205, id=28256, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28618: bits[1] = nor(not.28592, and.28487, id=28618, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.30016: bits[1] = not(nor.28486, id=30016, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28389: bits[1] = and(nor.28199, nor.28220, id=28389, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28388: bits[1] = nor(or.29040, nor.28220, id=28388, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28202: bits[1] = not(bit_slice.28194, id=28202, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28193: bits[1] = not(bit_slice.28191, id=28193, pos=[(0,1578,4), (0,1585,64), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) or.29043: bits[1] = or(bit_slice.28203, bit_slice.28195, id=29043, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28255: bits[1] = nor(bit_slice.28225, not.28226, id=28255, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28222: bits[1] = nor(bit_slice.28203, not.28204, id=28222, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28276: bits[1] = nor(bit_slice.28240, bit_slice.28213, id=28276, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28317: bits[1] = nor(bit_slice.28278, bit_slice.28242, id=28317, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28647: bits[1] = nor(not.28624, and.28539, id=28647, pos=[(0,1595,22), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.30023: bits[1] = not(nor.28538, id=30023, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28445: bits[1] = and(nor.28236, nor.28273, id=28445, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28444: bits[1] = nor(or.29044, nor.28273, id=28444, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28239: bits[1] = not(bit_slice.28212, id=28239, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28211: bits[1] = not(bit_slice.28197, id=28211, pos=[(0,1578,4), (0,1585,64), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) or.29047: bits[1] = or(bit_slice.28240, bit_slice.28213, id=29047, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28316: bits[1] = nor(bit_slice.28278, not.28279, id=28316, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28275: bits[1] = nor(bit_slice.28240, not.28241, id=28275, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28658: bits[1] = nor(or.29048, nor.28558, id=28658, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29007: bits[2] = concat(literal.28139, nor.28557, id=29007, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29303: bits[2] = concat(nor.28518, nor.28517, id=29303, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28654: bits[2] = concat(nor.28633, and.28634, id=28654, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29661: bits[2] = concat(nor.28469, literal.28127, id=29661, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29614: bits[2] = concat(literal.28139, nor.28514, id=29614, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29294: bits[2] = concat(nor.28470, nor.28469, id=29294, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28607: bits[1] = nor(or.29051, nor.28467, id=28607, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28996: bits[2] = concat(literal.28139, nor.28466, id=28996, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29272: bits[2] = concat(nor.29957, nor.29960, id=29272, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28603: bits[2] = concat(nor.28578, and.28579, id=28603, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29658: bits[2] = concat(nor.29964, literal.28127, id=29658, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29593: bits[2] = concat(literal.28139, nor.28420, id=29593, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29250: bits[2] = concat(nor.28380, nor.29964, id=29250, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28650: bits[1] = not(and.28542, id=28650, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28571: bits[2] = concat(nor.28541, and.28542, id=28571, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29657: bits[2] = concat(nor.29968, literal.28127, id=29657, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29586: bits[2] = concat(literal.28139, nor.28371, id=29586, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29232: bits[2] = concat(nor.28331, nor.29968, id=29232, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28599: bits[2] = concat(nor.28575, and.28576, id=28599, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28989: bits[2] = concat(nor.28374, literal.28127, id=28989, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28991: bits[2] = concat(literal.28139, nor.28414, id=28991, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29241: bits[2] = concat(nor.28375, nor.28374, id=29241, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28437: bits[1] = and(nor.28223, nor.28256, id=28437, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28619: bits[1] = and(and.28440, and.28487, id=28619, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) or.29042: bits[1] = or(bit_slice.28206, bit_slice.28196, id=29042, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.30017: bits[1] = and(nor.28618, not.30016, id=30017, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.30015: bits[1] = and(nor.28618, nor.28486, id=30015, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28560: bits[1] = not(and.28389, id=28560, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28432: bits[2] = concat(nor.28388, and.28389, id=28432, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28219: bits[1] = nor(bit_slice.28201, not.28202, id=28219, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28198: bits[1] = nor(carry_bit, not.28193, id=28198, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28436: bits[1] = nor(or.29043, nor.28256, id=28436, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28977: bits[2] = concat(literal.28139, nor.28255, id=28977, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29988: bits[2] = concat(literal.28127, nor.28222, id=29988, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28494: bits[1] = and(nor.28276, nor.28317, id=28494, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28648: bits[1] = and(and.28497, and.28539, id=28648, pos=[(0,1595,22), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) or.29046: bits[1] = or(bit_slice.28243, bit_slice.28214, id=29046, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.30024: bits[1] = and(nor.28647, not.30023, id=30024, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.30022: bits[1] = and(nor.28647, nor.28538, id=30022, pos=[(0,1595,22), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28594: bits[1] = not(and.28445, id=28594, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28489: bits[2] = concat(nor.28444, and.28445, id=28489, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28272: bits[1] = nor(bit_slice.28238, not.28239, id=28272, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28235: bits[1] = nor(bit_slice.28210, not.28211, id=28235, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28493: bits[1] = nor(or.29047, nor.28317, id=28493, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28983: bits[2] = concat(literal.28139, nor.28316, id=28983, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29990: bits[2] = concat(literal.28127, nor.28275, id=29990, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28701: bits[1] = not(and.28634, id=28701, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28659: bits[1] = and(nor.28518, nor.28558, id=28659, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.29077: bits[2] = priority_sel(nor.28658, cases=[concat.29007], default=concat.29303, id=29077, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.29343: bits[2] = priority_sel(concat.28654, cases=[concat.29661, concat.29614], default=concat.29294, id=29343, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28671: bits[1] = not(and.28579, id=28671, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28608: bits[1] = and(nor.29957, nor.28467, id=28608, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.29196: bits[2] = priority_sel(nor.28607, cases=[concat.28996], default=concat.29272, id=29196, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.29316: bits[2] = priority_sel(concat.28603, cases=[concat.29658, concat.29593], default=concat.29250, id=29316, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28668: bits[1] = nor(not.28650, and.28576, id=28668, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28669: bits[1] = and(and.28542, and.28576, id=28669, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.29307: bits[2] = priority_sel(concat.28571, cases=[concat.29657, concat.29586], default=concat.29232, id=29307, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.28941: bits[2] = priority_sel(concat.28599, cases=[concat.28989, concat.28991], default=concat.29241, id=28941, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28590: bits[1] = and(and.28389, and.28437, id=28590, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.30141: bits[1] = not(and.28619, id=30141, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28439: bits[1] = nor(or.29042, nor.28262, id=28439, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.30142: bits[1] = not(and.30017, id=30142, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.30143: bits[1] = not(and.30015, id=30143, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28268: bits[1] = not(bit_slice.28234, id=28268, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28233: bits[1] = not(bit_slice.28209, id=28233, pos=[(0,1578,4), (0,1585,64), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28231: bits[1] = not(bit_slice.28208, id=28231, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28207: bits[1] = not(bit_slice.28196, id=28207, pos=[(0,1578,4), (0,1585,64), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28589: bits[1] = nor(not.28560, and.28437, id=28589, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.29254: bits[1] = priority_sel(concat.28432, cases=[literal.28127, nor.28219], default=nor.28198, id=29254, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.28928: bits[2] = priority_sel(nor.28436, cases=[concat.28977], default=concat.29988, id=28928, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28622: bits[1] = and(and.28445, and.28494, id=28622, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.30146: bits[1] = not(and.28648, id=30146, pos=[(0,1595,22), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28496: bits[1] = nor(or.29046, nor.28323, id=28496, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.30147: bits[1] = not(and.30024, id=30147, pos=[(0,1595,22), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.30148: bits[1] = not(and.30022, id=30148, pos=[(0,1595,22), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28329: bits[1] = not(bit_slice.28287, id=28329, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28286: bits[1] = not(bit_slice.28246, id=28286, pos=[(0,1578,4), (0,1585,64), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28284: bits[1] = not(bit_slice.28245, id=28284, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28244: bits[1] = not(bit_slice.28214, id=28244, pos=[(0,1578,4), (0,1585,64), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28621: bits[1] = nor(not.28594, and.28494, id=28621, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.29276: bits[1] = priority_sel(concat.28489, cases=[literal.28127, nor.28272], default=nor.28235, id=29276, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.28934: bits[2] = priority_sel(nor.28493, cases=[concat.28983], default=concat.29990, id=28934, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) bit_slice.28703: bits[1] = bit_slice(xbs_fraction, start=0, width=1, id=28703, pos=[(0,1585,40), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28713: bits[1] = nor(not.28701, and.28659, id=28713, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29564: bits[3] = concat(literal.28139, priority_sel.29077, id=29564, pos=[(0,1535,24), (0,1595,22), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29348: bits[3] = concat(and.28634, priority_sel.29343, id=29348, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28686: bits[1] = nor(not.28671, and.28608, id=28686, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29012: bits[3] = concat(literal.28139, priority_sel.29196, id=29012, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29321: bits[3] = concat(and.28579, priority_sel.29316, id=29321, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28682: bits[2] = concat(nor.28668, and.28669, id=28682, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29662: bits[3] = concat(priority_sel.29307, literal.28127, id=29662, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29621: bits[3] = concat(literal.28139, priority_sel.28941, id=29621, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29312: bits[3] = concat(and.28542, priority_sel.29307, id=29312, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28678: bits[1] = not(and.28590, id=28678, pos=[(0,1600,22), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.30101: bits[1] = and(and.30015, not.30141, id=30101, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.30145: bits[1] = and(nor.28439, not.30142, not.30143, not.30141, id=30145, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.30079: bits[4] = concat(nor.28439, and.30017, and.30015, and.28619, id=30079, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28306: bits[1] = nor(bit_slice.28267, not.28268, id=28306, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28264: bits[1] = nor(bit_slice.28232, not.28233, id=28264, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28261: bits[1] = nor(bit_slice.28230, not.28231, id=28261, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28227: bits[1] = nor(bit_slice.28206, not.28207, id=28227, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28614: bits[2] = concat(nor.28589, and.28590, id=28614, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29659: bits[3] = concat(nor.28388, priority_sel.29254, literal.28127, id=29659, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29600: bits[3] = concat(literal.28139, priority_sel.28928, id=29600, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29263: bits[3] = concat(literal.28127, nor.28388, priority_sel.29254, id=29263, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28694: bits[1] = not(and.28622, id=28694, pos=[(0,1600,22), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.30117: bits[1] = and(and.30022, not.30146, id=30117, pos=[(0,1595,22), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.30150: bits[1] = and(nor.28496, not.30147, not.30148, not.30146, id=30150, pos=[(0,1595,22), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.30080: bits[4] = concat(nor.28496, and.30024, and.30022, and.28648, id=30080, pos=[(0,1595,22), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28365: bits[1] = nor(bit_slice.28328, not.28329, id=28365, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28325: bits[1] = nor(bit_slice.28285, not.28286, id=28325, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28322: bits[1] = nor(bit_slice.28283, not.28284, id=28322, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28280: bits[1] = nor(bit_slice.28243, not.28244, id=28280, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28643: bits[2] = concat(nor.28621, and.28622, id=28643, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29660: bits[3] = concat(nor.28444, priority_sel.29276, literal.28127, id=29660, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29607: bits[3] = concat(literal.28139, priority_sel.28934, id=29607, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29285: bits[3] = concat(literal.28127, nor.28444, priority_sel.29276, id=29285, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) fraction_shift__3: bits[3] = literal(value=4, id=29997, pos=[(0,1600,22), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.29687: bits[1] = not(bit_slice.28703, id=29687, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.29203: bits[3] = priority_sel(nor.28713, cases=[concat.29564], default=concat.29348, id=29203, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28722: bits[1] = not(and.28669, id=28722, pos=[(0,1600,22), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28687: bits[1] = and(and.28579, and.28608, id=28687, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.29079: bits[3] = priority_sel(nor.28686, cases=[concat.29012], default=concat.29321, id=29079, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.29352: bits[3] = priority_sel(concat.28682, cases=[concat.29662, concat.29621], default=concat.29312, id=29352, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28692: bits[1] = and(and.28590, and.28619, id=28692, pos=[(0,1600,22), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28691: bits[1] = nor(not.28678, and.28619, id=28691, pos=[(0,1600,22), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) or.30086: bits[1] = or(and.30101, and.30145, id=30086, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.30032: bits[1] = priority_sel(concat.30079, cases=[literal.28127, nor.28306, nor.28264, nor.28261], default=nor.28227, id=30032, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.29325: bits[3] = priority_sel(concat.28614, cases=[concat.29659, concat.29600], default=concat.29263, id=29325, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28708: bits[1] = nor(not.28694, and.28648, id=28708, pos=[(0,1600,22), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28709: bits[1] = and(and.28622, and.28648, id=28709, pos=[(0,1600,22), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) or.30093: bits[1] = or(and.30117, and.30150, id=30093, pos=[(0,1595,22), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.30045: bits[1] = priority_sel(concat.30080, cases=[literal.28127, nor.28365, nor.28325, nor.28322], default=nor.28280, id=30045, pos=[(0,1595,22), (0,1600,64), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.29334: bits[3] = priority_sel(concat.28643, cases=[concat.29660, concat.29607], default=concat.29285, id=29334, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28714: bits[1] = and(and.28634, and.28659, id=28714, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29999: bits[4] = concat(fraction_shift__3, not.29687, id=29999, pos=[(0,1600,22), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29655: bits[4] = concat(literal.28127, priority_sel.29203, id=29655, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28731: bits[1] = nor(not.28722, and.28687, id=28731, pos=[(0,1600,22), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29567: bits[4] = concat(literal.28139, priority_sel.29079, id=29567, pos=[(0,1535,24), (0,1600,22), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29357: bits[4] = concat(and.28669, priority_sel.29352, id=29357, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) not.28737: bits[1] = not(and.28692, id=28737, pos=[(0,1605,22), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28704: bits[2] = concat(nor.28691, and.28692, id=28704, pos=[(0,1600,22), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) literal.29516: bits[4] = literal(value=0, id=29516, pos=[(0,1600,22), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.30176: bits[4] = concat(literal.28139, nor.28618, or.30086, priority_sel.30032, id=30176, pos=[(0,1600,22), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29330: bits[4] = concat(and.28590, priority_sel.29325, id=29330, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28718: bits[2] = concat(nor.28708, and.28709, id=28718, pos=[(0,1600,22), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.30175: bits[4] = concat(literal.28139, nor.28647, or.30093, priority_sel.30045, id=30175, pos=[(0,1600,22), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29339: bits[4] = concat(and.28622, priority_sel.29334, id=29339, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.28749: bits[4] = priority_sel(and.28714, cases=[concat.29999], default=concat.29655, id=28749, pos=[(0,1600,22), (0,1605,66), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.29209: bits[4] = priority_sel(nor.28731, cases=[concat.29567], default=concat.29357, id=29209, pos=[(0,1600,22), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) nor.28745: bits[1] = nor(not.28737, and.28709, id=28745, pos=[(0,1605,22), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28746: bits[1] = and(and.28692, and.28709, id=28746, pos=[(0,1605,22), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.29361: bits[4] = priority_sel(concat.28704, cases=[literal.29516, concat.30176], default=concat.29330, id=29361, pos=[(0,1600,22), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.28965: bits[4] = priority_sel(concat.28718, cases=[literal.29516, concat.30175], default=concat.29339, id=28965, pos=[(0,1600,22), (0,1605,66), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.28732: bits[1] = and(and.28669, and.28687, id=28732, pos=[(0,1600,22), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28755: bits[5] = concat(literal.28139, priority_sel.28749, id=28755, pos=[(0,1605,22), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29656: bits[5] = concat(literal.28127, priority_sel.29209, id=29656, pos=[(0,1600,22), (0,1605,35), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28750: bits[2] = concat(nor.28745, and.28746, id=28750, pos=[(0,1605,22), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29664: bits[5] = concat(priority_sel.29361, literal.28127, id=29664, pos=[(0,1605,22), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29631: bits[5] = concat(literal.28139, priority_sel.28965, id=29631, pos=[(0,1605,22), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29366: bits[5] = concat(and.28692, priority_sel.29361, id=29366, pos=[(0,1600,22), (0,1605,35), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.28757: bits[5] = priority_sel(and.28732, cases=[concat.28755], default=concat.29656, id=28757, pos=[(0,1605,22), (0,1610,66), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) priority_sel.29377: bits[5] = priority_sel(concat.28750, cases=[concat.29664, concat.29631], default=concat.29366, id=29377, pos=[(0,1605,22), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) and.29759: bits[1] = and(and.28692, and.28746, id=29759, pos=[(0,1605,22), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28759: bits[6] = concat(literal.28139, priority_sel.28757, id=28759, pos=[(0,1610,22), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.29382: bits[6] = concat(literal.28127, priority_sel.29377, id=29382, pos=[(0,1605,22), (0,1610,35), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) concat.28760: bits[58] = concat(literal.28127, xbs_fraction, id=28760, pos=[(3,166,48)]) leading_zeroes: bits[6] = priority_sel(and.29759, cases=[concat.28759], default=concat.29382, id=28761, pos=[(0,1610,22), (0,1637,30), (0,1702,13), (2,3141,34), (3,166,48)]) cancel_fraction: bits[58] = shll(concat.28760, leading_zeroes, id=28762, pos=[(2,3144,26), (3,166,48)]) bit_slice.28763: bits[55] = bit_slice(xbs_fraction, start=2, width=55, id=28763, pos=[(2,3053,20), (2,3137,36), (3,166,48)]) or.28764: bits[1] = or(bit_slice.28476, bit_slice.28703, id=28764, pos=[(2,3053,40), (2,3137,36), (3,166,48)]) cancel_fraction__1: bits[56] = bit_slice(cancel_fraction, start=1, width=56, id=28765, pos=[(3,166,48)]) carry_fraction__1: bits[56] = concat(bit_slice.28763, or.28764, id=28766, 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=28767, pos=[(2,3146,27), (3,166,48)]) normal_chunk: bits[3] = bit_slice(shifted_fraction, start=0, width=3, id=28768, pos=[(2,3158,39), (3,166,48)]) half_way_chunk: bits[2] = bit_slice(shifted_fraction, start=2, width=2, id=28770, pos=[(2,3159,41), (3,166,48)]) literal.28771: bits[2] = literal(value=3, id=28771, pos=[(2,3160,68), (3,166,48)]) ugt.28772: bits[1] = ugt(normal_chunk, fraction_shift__3, id=28772, pos=[(2,3160,23), (3,166,48)]) eq.28773: bits[1] = eq(half_way_chunk, literal.28771, id=28773, pos=[(2,3160,50), (3,166,48)]) bit_slice.29778: bits[53] = bit_slice(shifted_fraction, start=3, width=53, id=29778) do_round_up: bits[1] = or(ugt.28772, eq.28773, id=28776, pos=[(2,3160,23), (3,166,48)]) concat.29779: bits[54] = concat(literal.28127, bit_slice.29778, id=29779) concat.29996: bits[54] = concat(literal.28143, do_round_up, id=29996) add.29684: bits[54] = add(concat.29779, concat.29996, id=29684) literal.28779: bits[6] = literal(value=0, id=28779, pos=[(3,166,48)]) rounding_carry: bits[1] = bit_slice(add.29684, start=53, width=1, id=29764, pos=[(2,3168,41), (3,166,48)]) literal.29925: bits[55] = literal(value=0, id=29925, pos=[(2,3121,39), (3,166,48)]) bit_slice.29984: bits[1] = bit_slice(shrl.28170, start=1, width=1, id=29984, pos=[(2,3121,27), (3,166,48)]) bit_slice.29985: bits[1] = bit_slice(shrl.28170, start=2, width=1, id=29985, pos=[(2,3121,27), (3,166,48)]) concat.28781: bits[12] = concat(literal.28127, x_bexp, id=28781, pos=[(3,166,48)]) literal.28782: bits[12] = literal(value=1, id=28782, pos=[(2,3180,24), (3,166,48)]) concat.29806: bits[7] = concat(literal.28779, rounding_carry, id=29806, pos=[(3,166,48)]) concat.28784: bits[7] = concat(literal.28127, leading_zeroes, id=28784, pos=[(3,166,48)]) eq.29857: bits[1] = eq(add.29667, literal.29925, id=29857, pos=[(2,3121,27), (3,166,48)]) nor.29953: bits[1] = nor(bit_slice.29984, bit_slice.29985, id=29953, pos=[(2,3121,27), (3,166,48)]) nor.29954: bits[1] = nor(bit_slice.28175, sticky, id=29954, pos=[(2,3121,27), (3,166,48)]) add.28785: bits[12] = add(concat.28781, literal.28782, id=28785, pos=[(2,3179,26), (3,166,48)]) sub.28786: bits[7] = sub(concat.29806, concat.28784, id=28786, pos=[(2,3179,26), (3,166,48)]) fraction_is_zero: bits[1] = and(eq.29857, nor.29953, nor.29954, id=29952, pos=[(2,3121,27), (3,166,48)]) wide_exponent_associative_element: bits[13] = concat(literal.28127, add.28785, id=28788, pos=[(2,3179,26), (3,166,48)]) wide_exponent_associative_element__1: bits[13] = sign_ext(sub.28786, new_bit_count=13, id=28789, pos=[(2,3179,26), (3,166,48)]) not.29215: bits[1] = not(fraction_is_zero, id=29215, pos=[(2,3181,24), (3,166,48)]) wide_exponent: bits[13] = add(wide_exponent_associative_element, wide_exponent_associative_element__1, id=28791, pos=[(2,3179,26), (3,166,48)]) sign_ext.29216: bits[13] = sign_ext(not.29215, new_bit_count=13, id=29216, pos=[(2,3181,24), (3,166,48)]) wide_exponent__1: bits[13] = and(wide_exponent, sign_ext.29216, id=29217, pos=[(2,3181,24), (3,166,48)]) bit_slice.28800: bits[1] = bit_slice(wide_exponent__1, start=12, width=1, id=28800, pos=[(2,3184,27), (3,166,48)]) not.29218: bits[1] = not(bit_slice.28800, id=29218, pos=[(2,3184,24), (3,166,48)]) bit_slice.28801: bits[12] = bit_slice(wide_exponent__1, start=0, width=12, id=28801, pos=[(3,166,48)]) sign_ext.29219: bits[12] = sign_ext(not.29218, new_bit_count=12, id=29219, pos=[(2,3184,24), (3,166,48)]) MAX_EXPONENT: bits[11] = literal(value=2047, id=28793, pos=[(2,96,29), (2,3209,29), (3,166,48)]) literal.28794: bits[52] = literal(value=0, id=28794, pos=[(2,96,57), (2,3209,29), (3,166,48)]) wide_exponent__2: bits[12] = and(bit_slice.28801, sign_ext.29219, id=29220, pos=[(2,3184,24), (3,166,48)]) eq.28796: bits[1] = eq(x_bexp, MAX_EXPONENT, id=28796, pos=[(2,96,6), (2,3209,29), (3,166,48)]) eq.28797: bits[1] = eq(x_fraction, literal.28794, id=28797, pos=[(2,96,44), (2,3209,29), (3,166,48)]) eq.28798: bits[1] = eq(y_bexp, MAX_EXPONENT, id=28798, pos=[(2,96,6), (2,3210,29), (3,166,48)]) eq.28799: bits[1] = eq(y_fraction, literal.28794, id=28799, pos=[(2,96,44), (2,3210,29), (3,166,48)]) bit_slice.28813: bits[11] = bit_slice(wide_exponent__2, start=1, width=11, id=28813, pos=[(2,3194,11), (3,166,48)]) not.28803: bits[1] = not(eq.28796, id=28803, pos=[(2,3209,29), (3,166,48)]) not.28804: bits[1] = not(eq.28797, id=28804, pos=[(2,3209,29), (3,166,48)]) not.28805: bits[1] = not(eq.28798, id=28805, pos=[(2,3210,29), (3,166,48)]) not.28806: bits[1] = not(eq.28799, id=28806, pos=[(2,3210,29), (3,166,48)]) and.28820: bits[1] = and(eq.28796, eq.28797, id=28820, pos=[(2,96,6), (2,3209,29), (3,166,48)]) and.28821: bits[1] = and(eq.28798, eq.28799, id=28821, pos=[(2,96,6), (2,3210,29), (3,166,48)]) bit_slice.28822: bits[11] = bit_slice(wide_exponent__2, start=0, width=11, id=28822, pos=[(2,3202,11), (3,166,48)]) or_reduce.28823: bits[1] = or_reduce(bit_slice.28813, id=28823, pos=[(2,3194,11), (3,166,48)]) bit_slice.28824: bits[1] = bit_slice(wide_exponent__2, start=0, width=1, id=28824, pos=[(2,3194,11), (3,166,48)]) nor.28808: bits[1] = nor(not.28803, not.28804, x_sign, id=28808, pos=[(2,3209,29), (3,166,48)]) nor.28809: bits[1] = nor(not.28805, not.28806, y_sign, id=28809, pos=[(2,3210,29), (3,166,48)]) and.28810: bits[1] = and(eq.28796, eq.28797, x_sign, id=28810, pos=[(2,3215,29), (3,166,48)]) and.28811: bits[1] = and(eq.28798, eq.28799, y_sign, id=28811, pos=[(2,3216,29), (3,166,48)]) fraction_shift__2: bits[3] = literal(value=3, id=28814, pos=[(2,3174,8), (3,166,48)]) is_operand_inf: bits[1] = or(and.28820, and.28821, id=28832, pos=[(2,3205,31), (3,166,48)]) bit_slice.28833: bits[1] = bit_slice(wide_exponent__2, start=11, width=1, id=28833, pos=[(2,3202,11), (3,166,48)]) and_reduce.28834: bits[1] = and_reduce(bit_slice.28822, id=28834, pos=[(2,3202,11), (3,166,48)]) nor.28835: bits[1] = nor(or_reduce.28823, bit_slice.28824, id=28835, pos=[(2,3194,11), (3,166,48)]) has_pos_inf: bits[1] = or(nor.28808, nor.28809, id=28817, pos=[(2,3209,29), (3,166,48)]) has_neg_inf: bits[1] = or(and.28810, and.28811, id=28818, pos=[(2,3215,29), (3,166,48)]) rounded_fraction: bits[57] = concat(add.29684, normal_chunk, id=29809) fraction_shift__1: bits[3] = sel(rounding_carry, cases=[fraction_shift__2, fraction_shift__3], id=28825, pos=[(2,3174,8), (3,166,48)]) or.28840: bits[1] = or(is_operand_inf, bit_slice.28833, and_reduce.28834, nor.28835, id=28840, pos=[(2,3207,26), (3,166,48)]) nor.28867: bits[1] = nor(not.28803, eq.28797, id=28867, pos=[(2,71,6), (2,3217,30), (3,166,48)]) nor.28869: bits[1] = nor(not.28805, eq.28799, id=28869, pos=[(2,71,6), (2,3217,64), (3,166,48)]) and.28828: bits[1] = and(has_pos_inf, has_neg_inf, id=28828, pos=[(2,3218,25), (3,166,48)]) concat.29807: bits[2] = concat(bit_slice.29762, fraction_is_zero, id=29807, pos=[(3,166,48)]) and.28830: bits[1] = and(x_sign, y_sign, id=28830, pos=[(2,3123,22), (3,166,48)]) not.28831: bits[1] = not(y_sign, id=28831, pos=[(2,3210,59), (3,166,48)]) shrl.28836: bits[57] = shrl(rounded_fraction, fraction_shift__1, id=28836, pos=[(2,3175,27), (3,166,48)]) not.29221: bits[1] = not(or.28840, id=29221, pos=[(2,3207,26), (3,166,48)]) is_result_nan: bits[1] = or(nor.28867, nor.28869, and.28828, id=28837, pos=[(2,3217,30), (3,166,48)]) result_sign: bits[1] = priority_sel(concat.29807, cases=[and.28830, not.28831], default=y_sign, id=28838, pos=[(3,166,48)]) not.28839: bits[1] = not(has_pos_inf, id=28839, pos=[(2,3211,42), (3,166,48)]) result_fraction: bits[52] = bit_slice(shrl.28836, start=0, width=52, id=28841, pos=[(3,166,48)]) sign_ext.29222: bits[52] = sign_ext(not.29221, new_bit_count=52, id=29222, pos=[(2,3207,26), (3,166,48)]) not.28842: bits[1] = not(is_result_nan, id=28842, pos=[(2,3222,22), (3,166,48)]) result_sign__1: bits[1] = sel(is_operand_inf, cases=[result_sign, not.28839], id=28843, pos=[(2,3211,22), (3,166,48)]) or.28844: bits[1] = or(is_result_nan, is_operand_inf, bit_slice.28833, and_reduce.28834, id=28844, pos=[(2,3220,26), (3,166,48)]) result_fraction__3: bits[52] = and(result_fraction, sign_ext.29222, id=29223, pos=[(2,3207,26), (3,166,48)]) FRACTION_HIGH_BIT: bits[52] = literal(value=2251799813685248, id=28846, pos=[(2,3219,30), (3,166,48)]) result_sign__2: bits[1] = and(not.28842, result_sign__1, id=28847, pos=[(2,3222,22), (3,166,48)]) result_exponent__2: bits[11] = sel(or.28844, cases=[bit_slice.28822, MAX_EXPONENT], id=28848, pos=[(2,3220,26), (3,166,48)]) result_fraction__4: bits[52] = sel(is_result_nan, cases=[result_fraction__3, FRACTION_HIGH_BIT], id=28849, pos=[(2,3221,26), (3,166,48)]) ret tuple.28850: (bits[1], bits[11], bits[52]) = tuple(result_sign__2, result_exponent__2, result_fraction__4, id=28850, pos=[(2,3225,33), (3,166,48)]) }