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