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