{
  "area": 38.3616,
  "cell_footprint": "sky130_fd_sc_ls__fahcon",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "related_bias_pin": "VPB",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "nwell",
    "physical_connection": "device_layer",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "pwell",
    "physical_connection": "device_layer",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "related_bias_pin": "VNB",
    "voltage_name": "VPWR"
  },
  "pin,A": {
    "capacitance": 0.00309,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.05409,
          0.05402,
          0.05354,
          0.05337,
          0.05306,
          0.05284,
          0.05272,
          0.05258,
          0.05272,
          0.0575,
          0.05822,
          0.06398,
          0.06611
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.04008,
          0.04174,
          0.04088,
          0.04042,
          0.04018,
          0.03975,
          0.03945,
          0.03924,
          0.03941,
          0.04293,
          0.04362,
          0.04811,
          0.04991
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00968,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.05835,
          0.05798,
          0.05762,
          0.05729,
          0.05704,
          0.05664,
          0.05642,
          0.05646,
          0.05681,
          0.06226,
          0.06323,
          0.06965,
          0.0722
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.02691,
          0.02949,
          0.0276,
          0.02728,
          0.02663,
          0.02635,
          0.0262,
          0.02592,
          0.02604,
          0.02847,
          0.02912,
          0.03263,
          0.03495
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CI": {
    "capacitance": 0.00564,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.06687,
          0.06677,
          0.06647,
          0.06621,
          0.06596,
          0.06565,
          0.06542,
          0.06518,
          0.06515,
          0.07081,
          0.07138,
          0.07802,
          0.08014
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.05123,
          0.05259,
          0.05112,
          0.05147,
          0.05082,
          0.05045,
          0.04996,
          0.04973,
          0.04984,
          0.05461,
          0.05574,
          0.06181,
          0.06447
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,COUT_N": {
    "direction": "output",
    "function": "(!A&!CI) | (!A&!B) | (!B&!CI)",
    "internal_power": [
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.04894,
              0.04556,
              0.04203,
              0.03489,
              0.02069,
              -0.00757
            ],
            [
              0.04889,
              0.04551,
              0.04197,
              0.03484,
              0.02063,
              -0.00762
            ],
            [
              0.04884,
              0.04546,
              0.04193,
              0.03479,
              0.02058,
              -0.00767
            ],
            [
              0.04878,
              0.0454,
              0.04186,
              0.03472,
              0.02052,
              -0.00774
            ],
            [
              0.04868,
              0.04529,
              0.04176,
              0.03462,
              0.02041,
              -0.00784
            ],
            [
              0.04858,
              0.04519,
              0.04166,
              0.03452,
              0.02031,
              -0.00794
            ],
            [
              0.04846,
              0.04507,
              0.04154,
              0.03439,
              0.02019,
              -0.00808
            ],
            [
              0.0483,
              0.04492,
              0.04138,
              0.03424,
              0.02002,
              -0.00824
            ],
            [
              0.04814,
              0.04476,
              0.04122,
              0.03408,
              0.01986,
              -0.00842
            ],
            [
              0.04802,
              0.04463,
              0.04109,
              0.03394,
              0.01972,
              -0.00856
            ],
            [
              0.04795,
              0.04456,
              0.04103,
              0.03388,
              0.01965,
              -0.00863
            ],
            [
              0.04802,
              0.04462,
              0.04109,
              0.03395,
              0.01972,
              -0.00856
            ],
            [
              0.04836,
              0.04495,
              0.04141,
              0.03427,
              0.02004,
              -0.00824
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.05892,
              0.08192,
              0.10483,
              0.15032,
              0.2411,
              0.42331
            ],
            [
              0.05887,
              0.08186,
              0.10474,
              0.15031,
              0.24119,
              0.42295
            ],
            [
              0.0588,
              0.08183,
              0.10471,
              0.15024,
              0.241,
              0.42314
            ],
            [
              0.05874,
              0.08174,
              0.10466,
              0.15026,
              0.241,
              0.42301
            ],
            [
              0.05866,
              0.08167,
              0.10459,
              0.15011,
              0.2409,
              0.42298
            ],
            [
              0.05856,
              0.08156,
              0.10448,
              0.15004,
              0.24079,
              0.42268
            ],
            [
              0.05846,
              0.08146,
              0.10438,
              0.14995,
              0.24069,
              0.42276
            ],
            [
              0.05832,
              0.08133,
              0.10426,
              0.14979,
              0.24053,
              0.42239
            ],
            [
              0.0582,
              0.08119,
              0.1041,
              0.14954,
              0.24043,
              0.42245
            ],
            [
              0.05807,
              0.0811,
              0.104,
              0.14951,
              0.24043,
              0.42217
            ],
            [
              0.05808,
              0.08106,
              0.10398,
              0.14949,
              0.24036,
              0.4224
            ],
            [
              0.05823,
              0.0812,
              0.10411,
              0.1496,
              0.24055,
              0.42249
            ],
            [
              0.05875,
              0.08171,
              0.10456,
              0.15005,
              0.241,
              0.42279
            ]
          ]
        },
        "when": "(B&!CI) | (!B&CI)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.0352,
              0.03213,
              0.02881,
              0.02197,
              0.00809,
              -0.01984
            ],
            [
              0.03502,
              0.032,
              0.02868,
              0.02185,
              0.00796,
              -0.01997
            ],
            [
              0.03491,
              0.03184,
              0.02852,
              0.02169,
              0.0078,
              -0.02013
            ],
            [
              0.03473,
              0.03169,
              0.02836,
              0.02152,
              0.00766,
              -0.02027
            ],
            [
              0.03457,
              0.03153,
              0.02822,
              0.02139,
              0.0075,
              -0.02043
            ],
            [
              0.03434,
              0.03129,
              0.028,
              0.02116,
              0.00728,
              -0.02063
            ],
            [
              0.03409,
              0.03108,
              0.02778,
              0.02097,
              0.0071,
              -0.02082
            ],
            [
              0.03386,
              0.03085,
              0.02757,
              0.02078,
              0.00692,
              -0.02099
            ],
            [
              0.03372,
              0.03072,
              0.02744,
              0.02066,
              0.00681,
              -0.02109
            ],
            [
              0.03379,
              0.03079,
              0.02751,
              0.02073,
              0.00689,
              -0.02101
            ],
            [
              0.03414,
              0.03112,
              0.02789,
              0.02111,
              0.00728,
              -0.02061
            ],
            [
              0.03498,
              0.03191,
              0.02863,
              0.02186,
              0.00804,
              -0.01981
            ],
            [
              0.0365,
              0.03344,
              0.03013,
              0.02332,
              0.0095,
              -0.01836
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.06809,
              0.09123,
              0.11423,
              0.1599,
              0.25104,
              0.43311
            ],
            [
              0.06781,
              0.09095,
              0.11396,
              0.15976,
              0.2508,
              0.43287
            ],
            [
              0.06761,
              0.09076,
              0.11379,
              0.15949,
              0.2506,
              0.43262
            ],
            [
              0.06735,
              0.09051,
              0.11353,
              0.15924,
              0.25037,
              0.43254
            ],
            [
              0.06706,
              0.09025,
              0.11327,
              0.15901,
              0.2501,
              0.43244
            ],
            [
              0.0668,
              0.09,
              0.11303,
              0.15879,
              0.24979,
              0.43197
            ],
            [
              0.06662,
              0.08982,
              0.11284,
              0.15865,
              0.24964,
              0.4319
            ],
            [
              0.06652,
              0.08972,
              0.11273,
              0.15851,
              0.2496,
              0.43164
            ],
            [
              0.06655,
              0.08977,
              0.11276,
              0.15851,
              0.24966,
              0.43171
            ],
            [
              0.06677,
              0.08995,
              0.113,
              0.15877,
              0.24986,
              0.43218
            ],
            [
              0.06735,
              0.09054,
              0.11353,
              0.15934,
              0.25048,
              0.43247
            ],
            [
              0.06839,
              0.0915,
              0.1145,
              0.16028,
              0.25133,
              0.43359
            ],
            [
              0.07022,
              0.09335,
              0.11635,
              0.16205,
              0.25324,
              0.43521
            ]
          ]
        },
        "when": "(A&!CI) | (!A&CI)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.02754,
              0.0243,
              0.02088,
              0.01392,
              -3e-05,
              -0.02795
            ],
            [
              0.0274,
              0.02417,
              0.02075,
              0.01379,
              -0.00017,
              -0.02808
            ],
            [
              0.02727,
              0.02403,
              0.02057,
              0.01361,
              -0.00034,
              -0.02825
            ],
            [
              0.02708,
              0.02386,
              0.02046,
              0.01351,
              -0.00045,
              -0.02836
            ],
            [
              0.02686,
              0.02364,
              0.02022,
              0.0133,
              -0.00066,
              -0.02857
            ],
            [
              0.02656,
              0.02335,
              0.01995,
              0.01303,
              -0.00088,
              -0.02878
            ],
            [
              0.02626,
              0.02308,
              0.0197,
              0.01281,
              -0.00109,
              -0.02901
            ],
            [
              0.02597,
              0.02282,
              0.01944,
              0.01256,
              -0.00134,
              -0.02918
            ],
            [
              0.02576,
              0.02261,
              0.01927,
              0.01239,
              -0.00147,
              -0.02932
            ],
            [
              0.0257,
              0.02254,
              0.0192,
              0.01233,
              -0.0015,
              -0.02934
            ],
            [
              0.02586,
              0.02268,
              0.01932,
              0.01246,
              -0.00137,
              -0.02924
            ],
            [
              0.02633,
              0.02309,
              0.01974,
              0.01286,
              -0.00097,
              -0.02877
            ],
            [
              0.02726,
              0.02395,
              0.02055,
              0.01364,
              -0.00024,
              -0.02806
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.04739,
              0.07049,
              0.09327,
              0.13883,
              0.22972,
              0.41145
            ],
            [
              0.0472,
              0.07031,
              0.09314,
              0.13879,
              0.22962,
              0.41156
            ],
            [
              0.04707,
              0.07017,
              0.09301,
              0.13867,
              0.22952,
              0.41102
            ],
            [
              0.0469,
              0.06999,
              0.09284,
              0.13845,
              0.22934,
              0.41096
            ],
            [
              0.04669,
              0.06981,
              0.09266,
              0.13833,
              0.22916,
              0.4111
            ],
            [
              0.04648,
              0.0696,
              0.09248,
              0.13807,
              0.22905,
              0.4112
            ],
            [
              0.04627,
              0.06942,
              0.0923,
              0.13789,
              0.22889,
              0.41098
            ],
            [
              0.04611,
              0.06926,
              0.09212,
              0.13781,
              0.22872,
              0.41044
            ],
            [
              0.04605,
              0.06919,
              0.09202,
              0.1377,
              0.22858,
              0.41037
            ],
            [
              0.0461,
              0.0692,
              0.09204,
              0.13779,
              0.22865,
              0.41033
            ],
            [
              0.04647,
              0.06952,
              0.09232,
              0.1379,
              0.22881,
              0.41077
            ],
            [
              0.04695,
              0.06997,
              0.09276,
              0.13827,
              0.22911,
              0.41102
            ],
            [
              0.04799,
              0.07098,
              0.09387,
              0.13925,
              0.22995,
              0.41211
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.02831,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.42071,
              0.4567,
              0.48778,
              0.54328,
              0.64366,
              0.83355
            ],
            [
              0.42379,
              0.45977,
              0.49084,
              0.54635,
              0.64671,
              0.8366
            ],
            [
              0.42759,
              0.46358,
              0.49465,
              0.55015,
              0.65053,
              0.8404
            ],
            [
              0.43323,
              0.46921,
              0.50028,
              0.55578,
              0.65614,
              0.84603
            ],
            [
              0.4416,
              0.47758,
              0.50865,
              0.56413,
              0.66449,
              0.8543
            ],
            [
              0.45451,
              0.4905,
              0.52156,
              0.57704,
              0.6774,
              0.86724
            ],
            [
              0.4739,
              0.50988,
              0.54092,
              0.5964,
              0.69671,
              0.88651
            ],
            [
              0.50288,
              0.53883,
              0.56986,
              0.62534,
              0.72557,
              0.91536
            ],
            [
              0.54388,
              0.5798,
              0.61085,
              0.66628,
              0.76655,
              0.95615
            ],
            [
              0.59986,
              0.63579,
              0.66689,
              0.72229,
              0.82259,
              1.01229
            ],
            [
              0.67412,
              0.71032,
              0.74142,
              0.79702,
              0.89732,
              1.08702
            ],
            [
              0.76807,
              0.80457,
              0.83597,
              0.89177,
              0.99227,
              1.18207
            ],
            [
              0.8851,
              0.9222,
              0.9539,
              1.01,
              1.111,
              1.3011
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.43177,
              0.48607,
              0.536,
              0.63093,
              0.80842,
              1.14767
            ],
            [
              0.43474,
              0.48904,
              0.53897,
              0.63391,
              0.81144,
              1.15064
            ],
            [
              0.43832,
              0.49262,
              0.54255,
              0.63748,
              0.81502,
              1.15422
            ],
            [
              0.4437,
              0.498,
              0.54792,
              0.64284,
              0.8203,
              1.15958
            ],
            [
              0.45206,
              0.50636,
              0.55629,
              0.65122,
              0.82876,
              1.16801
            ],
            [
              0.46473,
              0.51903,
              0.56896,
              0.66389,
              0.84141,
              1.18062
            ],
            [
              0.48408,
              0.53839,
              0.58831,
              0.68325,
              0.86074,
              1.20003
            ],
            [
              0.51343,
              0.56772,
              0.61764,
              0.71255,
              0.88996,
              1.22936
            ],
            [
              0.55794,
              0.61215,
              0.662,
              0.75675,
              0.93415,
              1.27325
            ],
            [
              0.62266,
              0.67679,
              0.72659,
              0.82129,
              0.99859,
              1.33759
            ],
            [
              0.70972,
              0.76432,
              0.81442,
              0.90952,
              1.08722,
              1.42652
            ],
            [
              0.81907,
              0.87507,
              0.92637,
              1.02337,
              1.20277,
              1.54287
            ],
            [
              0.951,
              1.0091,
              1.0622,
              1.1628,
              1.3475,
              1.6901
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.1995,
              0.22959,
              0.25408,
              0.30018,
              0.4072,
              0.65693
            ],
            [
              0.19955,
              0.22965,
              0.25408,
              0.30027,
              0.40702,
              0.65695
            ],
            [
              0.1995,
              0.22967,
              0.25412,
              0.30024,
              0.4072,
              0.65693
            ],
            [
              0.19953,
              0.2297,
              0.25416,
              0.30029,
              0.407,
              0.65698
            ],
            [
              0.1996,
              0.22976,
              0.25421,
              0.30028,
              0.40742,
              0.6562
            ],
            [
              0.19973,
              0.22994,
              0.2544,
              0.30048,
              0.40736,
              0.65707
            ],
            [
              0.19997,
              0.23023,
              0.25473,
              0.3008,
              0.40731,
              0.65709
            ],
            [
              0.20033,
              0.23063,
              0.25514,
              0.30126,
              0.40778,
              0.6571
            ],
            [
              0.20057,
              0.23089,
              0.25544,
              0.30137,
              0.408,
              0.6566
            ],
            [
              0.20033,
              0.23061,
              0.25524,
              0.30117,
              0.40797,
              0.6572
            ],
            [
              0.1987,
              0.2287,
              0.2534,
              0.2999,
              0.4073,
              0.6567
            ],
            [
              0.1966,
              0.2264,
              0.2508,
              0.2977,
              0.4067,
              0.6565
            ],
            [
              0.1934,
              0.2228,
              0.2471,
              0.2949,
              0.4054,
              0.6566
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.12516,
              0.20776,
              0.29069,
              0.45737,
              0.78424,
              1.43361
            ],
            [
              0.12516,
              0.20776,
              0.29066,
              0.45743,
              0.78455,
              1.43362
            ],
            [
              0.12518,
              0.20775,
              0.29072,
              0.45755,
              0.78456,
              1.43354
            ],
            [
              0.12515,
              0.20778,
              0.29074,
              0.45737,
              0.78424,
              1.43362
            ],
            [
              0.12518,
              0.20775,
              0.29071,
              0.45754,
              0.78461,
              1.43359
            ],
            [
              0.12515,
              0.20776,
              0.29067,
              0.45739,
              0.78434,
              1.43362
            ],
            [
              0.12514,
              0.20778,
              0.29073,
              0.45738,
              0.78427,
              1.43364
            ],
            [
              0.12521,
              0.2078,
              0.29081,
              0.4573,
              0.78398,
              1.43296
            ],
            [
              0.1254,
              0.20798,
              0.29117,
              0.45742,
              0.78446,
              1.43331
            ],
            [
              0.12569,
              0.20817,
              0.29104,
              0.45753,
              0.7844,
              1.4333
            ],
            [
              0.1247,
              0.2075,
              0.2906,
              0.4573,
              0.7844,
              1.4336
            ],
            [
              0.1227,
              0.2059,
              0.2897,
              0.4576,
              0.7854,
              1.4328
            ],
            [
              0.121,
              0.2048,
              0.2892,
              0.4591,
              0.7902,
              1.4381
            ]
          ]
        },
        "sdf_cond": "(!B&CI)",
        "timing_sense": "negative_unate",
        "when": "(!B&CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.424,
              0.4594,
              0.48995,
              0.54477,
              0.64482,
              0.83638
            ],
            [
              0.42707,
              0.46249,
              0.49302,
              0.54784,
              0.64788,
              0.8395
            ],
            [
              0.43085,
              0.46623,
              0.49679,
              0.55164,
              0.65168,
              0.84326
            ],
            [
              0.4365,
              0.47187,
              0.50243,
              0.55724,
              0.65729,
              0.84883
            ],
            [
              0.44496,
              0.48034,
              0.51091,
              0.5657,
              0.66574,
              0.85725
            ],
            [
              0.45779,
              0.49316,
              0.52373,
              0.57851,
              0.67851,
              0.87005
            ],
            [
              0.4772,
              0.51257,
              0.5431,
              0.59788,
              0.69787,
              0.88938
            ],
            [
              0.50629,
              0.54165,
              0.57217,
              0.6269,
              0.72686,
              0.91826
            ],
            [
              0.54759,
              0.58292,
              0.61345,
              0.66819,
              0.76815,
              0.95945
            ],
            [
              0.60418,
              0.63959,
              0.67009,
              0.72489,
              0.82489,
              1.01629
            ],
            [
              0.67982,
              0.71532,
              0.74602,
              0.80092,
              0.90092,
              1.09242
            ],
            [
              0.77567,
              0.81167,
              0.84257,
              0.89777,
              0.99807,
              1.18967
            ],
            [
              0.8954,
              0.9319,
              0.9632,
              1.0189,
              1.1197,
              1.3117
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.43449,
              0.49157,
              0.54418,
              0.64433,
              0.82886,
              1.17247
            ],
            [
              0.43734,
              0.49443,
              0.54703,
              0.64723,
              0.83163,
              1.17534
            ],
            [
              0.44091,
              0.498,
              0.5506,
              0.65074,
              0.83526,
              1.17862
            ],
            [
              0.44648,
              0.50355,
              0.55615,
              0.65633,
              0.84072,
              1.18448
            ],
            [
              0.45473,
              0.51181,
              0.56441,
              0.66454,
              0.84907,
              1.19241
            ],
            [
              0.46739,
              0.52448,
              0.57708,
              0.67726,
              0.86166,
              1.20532
            ],
            [
              0.48677,
              0.54386,
              0.59646,
              0.69663,
              0.88103,
              1.22473
            ],
            [
              0.51609,
              0.57316,
              0.62574,
              0.72583,
              0.91036,
              1.25386
            ],
            [
              0.56062,
              0.6176,
              0.67009,
              0.77005,
              0.95425,
              1.29795
            ],
            [
              0.62583,
              0.68259,
              0.73499,
              0.83469,
              1.01889,
              1.36199
            ],
            [
              0.71402,
              0.77112,
              0.82362,
              0.92372,
              1.10802,
              1.45142
            ],
            [
              0.82507,
              0.88347,
              0.93707,
              1.03877,
              1.22487,
              1.56877
            ],
            [
              0.9594,
              1.0196,
              1.0749,
              1.1802,
              1.372,
              1.719
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.19306,
              0.22135,
              0.24488,
              0.29074,
              0.40044,
              0.65718
            ],
            [
              0.19307,
              0.22133,
              0.24486,
              0.29073,
              0.40068,
              0.65732
            ],
            [
              0.19307,
              0.22137,
              0.24488,
              0.29078,
              0.40025,
              0.65734
            ],
            [
              0.19312,
              0.22142,
              0.24495,
              0.2908,
              0.40046,
              0.65715
            ],
            [
              0.19319,
              0.22148,
              0.24504,
              0.29084,
              0.40066,
              0.65678
            ],
            [
              0.1933,
              0.2216,
              0.24518,
              0.29095,
              0.40078,
              0.65708
            ],
            [
              0.19363,
              0.22197,
              0.24549,
              0.29122,
              0.40098,
              0.65735
            ],
            [
              0.19401,
              0.22234,
              0.24592,
              0.29158,
              0.40108,
              0.65715
            ],
            [
              0.19417,
              0.22258,
              0.24614,
              0.29184,
              0.40117,
              0.65715
            ],
            [
              0.19383,
              0.22226,
              0.24582,
              0.29151,
              0.40127,
              0.6577
            ],
            [
              0.192,
              0.2203,
              0.2439,
              0.2901,
              0.4006,
              0.6575
            ],
            [
              0.1898,
              0.2174,
              0.2409,
              0.2878,
              0.3994,
              0.6571
            ],
            [
              0.1863,
              0.2134,
              0.2368,
              0.2849,
              0.3983,
              0.657
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.11678,
              0.20099,
              0.28597,
              0.45706,
              0.78921,
              1.43758
            ],
            [
              0.1168,
              0.2009,
              0.28601,
              0.45712,
              0.78903,
              1.43751
            ],
            [
              0.11678,
              0.20097,
              0.28597,
              0.45705,
              0.78914,
              1.43643
            ],
            [
              0.11679,
              0.201,
              0.28605,
              0.45684,
              0.78854,
              1.43762
            ],
            [
              0.11684,
              0.20099,
              0.28598,
              0.457,
              0.78913,
              1.43661
            ],
            [
              0.11678,
              0.20101,
              0.28605,
              0.4569,
              0.78856,
              1.43764
            ],
            [
              0.11678,
              0.20101,
              0.28606,
              0.45683,
              0.78858,
              1.43766
            ],
            [
              0.11683,
              0.20105,
              0.28606,
              0.45682,
              0.78878,
              1.43756
            ],
            [
              0.11709,
              0.2013,
              0.28632,
              0.457,
              0.78832,
              1.43761
            ],
            [
              0.11744,
              0.20152,
              0.28647,
              0.4571,
              0.7887,
              1.4371
            ],
            [
              0.117,
              0.2011,
              0.2861,
              0.4572,
              0.7891,
              1.4374
            ],
            [
              0.1157,
              0.2002,
              0.2855,
              0.4573,
              0.7898,
              1.4374
            ],
            [
              0.1147,
              0.1993,
              0.285,
              0.4582,
              0.7939,
              1.4413
            ]
          ]
        },
        "sdf_cond": "(B&!CI)",
        "timing_sense": "negative_unate",
        "when": "(B&!CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.24329,
              0.29555,
              0.33142,
              0.39092,
              0.49462,
              0.6887
            ],
            [
              0.24679,
              0.29859,
              0.33437,
              0.39381,
              0.49752,
              0.6916
            ],
            [
              0.25083,
              0.3023,
              0.33802,
              0.39743,
              0.50112,
              0.6952
            ],
            [
              0.25653,
              0.30778,
              0.34346,
              0.40285,
              0.50653,
              0.70059
            ],
            [
              0.26483,
              0.31589,
              0.35157,
              0.41091,
              0.51449,
              0.70841
            ],
            [
              0.27651,
              0.32746,
              0.36319,
              0.42251,
              0.52601,
              0.71973
            ],
            [
              0.29331,
              0.34409,
              0.37985,
              0.4391,
              0.54237,
              0.73566
            ],
            [
              0.31713,
              0.36801,
              0.40376,
              0.46294,
              0.56589,
              0.75857
            ],
            [
              0.35262,
              0.40356,
              0.43924,
              0.49815,
              0.60056,
              0.79225
            ],
            [
              0.40241,
              0.45311,
              0.48868,
              0.54736,
              0.64919,
              0.83969
            ],
            [
              0.45872,
              0.50942,
              0.54512,
              0.60392,
              0.70582,
              0.89612
            ],
            [
              0.52087,
              0.57207,
              0.60907,
              0.66947,
              0.77227,
              0.96257
            ],
            [
              0.5924,
              0.6428,
              0.6809,
              0.7437,
              0.8492,
              1.0412
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.30845,
              0.37109,
              0.42726,
              0.53146,
              0.71842,
              1.06397
            ],
            [
              0.31048,
              0.37305,
              0.42917,
              0.53334,
              0.72028,
              1.06574
            ],
            [
              0.31333,
              0.37581,
              0.43186,
              0.53596,
              0.7227,
              1.06812
            ],
            [
              0.31801,
              0.38038,
              0.43633,
              0.54031,
              0.72693,
              1.07228
            ],
            [
              0.32567,
              0.38784,
              0.44366,
              0.54744,
              0.73397,
              1.07931
            ],
            [
              0.33777,
              0.39969,
              0.45533,
              0.55876,
              0.74514,
              1.09022
            ],
            [
              0.3566,
              0.4182,
              0.47361,
              0.57675,
              0.76281,
              1.10763
            ],
            [
              0.38537,
              0.44663,
              0.5018,
              0.60466,
              0.79032,
              1.13516
            ],
            [
              0.42734,
              0.48852,
              0.54365,
              0.64641,
              0.83185,
              1.17675
            ],
            [
              0.48447,
              0.54675,
              0.60269,
              0.70649,
              0.89289,
              1.23799
            ],
            [
              0.55842,
              0.62362,
              0.68212,
              0.78952,
              0.97882,
              1.32522
            ],
            [
              0.64647,
              0.72227,
              0.78947,
              0.90627,
              1.10147,
              1.45017
            ],
            [
              0.7497,
              0.839,
              0.9198,
              1.0622,
              1.2795,
              1.6358
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.225,
              0.19164,
              0.2052,
              0.25978,
              0.38197,
              0.64353
            ],
            [
              0.22511,
              0.19011,
              0.20486,
              0.25988,
              0.38169,
              0.64339
            ],
            [
              0.22557,
              0.18975,
              0.2049,
              0.25992,
              0.38174,
              0.64339
            ],
            [
              0.2265,
              0.1906,
              0.20542,
              0.26013,
              0.38197,
              0.64398
            ],
            [
              0.22817,
              0.19337,
              0.20661,
              0.26083,
              0.38265,
              0.64368
            ],
            [
              0.23133,
              0.20033,
              0.20928,
              0.26253,
              0.38329,
              0.64433
            ],
            [
              0.23865,
              0.22164,
              0.21463,
              0.26543,
              0.38521,
              0.64502
            ],
            [
              0.25358,
              0.27404,
              0.22627,
              0.27083,
              0.38833,
              0.64699
            ],
            [
              0.27599,
              0.30183,
              0.25699,
              0.27951,
              0.39266,
              0.64936
            ],
            [
              0.30917,
              0.33631,
              0.34177,
              0.29054,
              0.39772,
              0.65163
            ],
            [
              0.34696,
              0.37029,
              0.38148,
              0.30322,
              0.4003,
              0.6523
            ],
            [
              0.3913,
              0.4079,
              0.4179,
              0.325,
              0.4005,
              0.6515
            ],
            [
              0.447,
              0.4539,
              0.4583,
              0.4455,
              0.4014,
              0.6501
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.10865,
              0.19342,
              0.27992,
              0.45297,
              0.78493,
              1.4332
            ],
            [
              0.10872,
              0.19367,
              0.28004,
              0.45267,
              0.78491,
              1.4334
            ],
            [
              0.10886,
              0.19381,
              0.28017,
              0.4531,
              0.78444,
              1.43369
            ],
            [
              0.10903,
              0.19396,
              0.28028,
              0.45314,
              0.78444,
              1.43365
            ],
            [
              0.10928,
              0.19419,
              0.28045,
              0.45318,
              0.7846,
              1.43288
            ],
            [
              0.10966,
              0.19437,
              0.28058,
              0.45305,
              0.7849,
              1.43373
            ],
            [
              0.1101,
              0.19477,
              0.28085,
              0.45303,
              0.78491,
              1.43381
            ],
            [
              0.11062,
              0.19524,
              0.28123,
              0.45342,
              0.78457,
              1.43275
            ],
            [
              0.11078,
              0.1954,
              0.2814,
              0.45344,
              0.78415,
              1.43272
            ],
            [
              0.10872,
              0.19365,
              0.27999,
              0.45266,
              0.78482,
              1.4338
            ],
            [
              0.1056,
              0.1901,
              0.2771,
              0.4517,
              0.785,
              1.4336
            ],
            [
              0.1132,
              0.2019,
              0.2876,
              0.4611,
              0.7897,
              1.4345
            ],
            [
              0.1268,
              0.2286,
              0.3252,
              0.5014,
              0.8226,
              1.4537
            ]
          ]
        },
        "sdf_cond": "(!A&CI)",
        "timing_sense": "negative_unate",
        "when": "(!A&CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.28101,
              0.32108,
              0.35425,
              0.41222,
              0.51614,
              0.71295
            ],
            [
              0.2839,
              0.32392,
              0.35705,
              0.41501,
              0.51891,
              0.71575
            ],
            [
              0.28756,
              0.32754,
              0.36066,
              0.41857,
              0.52244,
              0.71921
            ],
            [
              0.2932,
              0.33313,
              0.36623,
              0.42412,
              0.52794,
              0.72469
            ],
            [
              0.30149,
              0.3414,
              0.37447,
              0.43233,
              0.53614,
              0.73282
            ],
            [
              0.31333,
              0.35324,
              0.38631,
              0.44417,
              0.54798,
              0.74466
            ],
            [
              0.33026,
              0.37024,
              0.40335,
              0.46126,
              0.5651,
              0.7618
            ],
            [
              0.35462,
              0.39478,
              0.42799,
              0.486,
              0.58996,
              0.78681
            ],
            [
              0.39021,
              0.43063,
              0.46396,
              0.5221,
              0.62619,
              0.82325
            ],
            [
              0.43998,
              0.48025,
              0.51354,
              0.57167,
              0.67579,
              0.87289
            ],
            [
              0.49952,
              0.54032,
              0.57352,
              0.63132,
              0.73552,
              0.93312
            ],
            [
              0.56707,
              0.61157,
              0.64817,
              0.71097,
              0.81967,
              1.01867
            ],
            [
              0.6455,
              0.6955,
              0.7373,
              0.8099,
              0.9366,
              1.1591
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.23607,
              0.29014,
              0.34146,
              0.44846,
              0.66599,
              1.02927
            ],
            [
              0.23869,
              0.29261,
              0.34396,
              0.45101,
              0.66827,
              1.03124
            ],
            [
              0.24203,
              0.29586,
              0.34718,
              0.45426,
              0.67135,
              1.03402
            ],
            [
              0.24737,
              0.30103,
              0.3523,
              0.45939,
              0.67609,
              1.03848
            ],
            [
              0.25591,
              0.30923,
              0.3604,
              0.46742,
              0.68361,
              1.04521
            ],
            [
              0.26913,
              0.32191,
              0.3729,
              0.47974,
              0.69515,
              1.05642
            ],
            [
              0.28905,
              0.34111,
              0.39176,
              0.49827,
              0.71277,
              1.07323
            ],
            [
              0.31835,
              0.36931,
              0.41953,
              0.52558,
              0.73909,
              1.09886
            ],
            [
              0.36005,
              0.40921,
              0.45862,
              0.56406,
              0.77725,
              1.13705
            ],
            [
              0.41459,
              0.46236,
              0.51109,
              0.61608,
              0.83099,
              1.19249
            ],
            [
              0.48062,
              0.52722,
              0.57542,
              0.68052,
              0.90152,
              1.26942
            ],
            [
              0.55837,
              0.60497,
              0.65357,
              0.75887,
              0.98817,
              1.37077
            ],
            [
              0.6496,
              0.6965,
              0.7458,
              0.852,
              1.0869,
              1.4954
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.13846,
              0.16947,
              0.19789,
              0.25622,
              0.38034,
              0.64754
            ],
            [
              0.13904,
              0.1699,
              0.19839,
              0.25645,
              0.38035,
              0.64706
            ],
            [
              0.13957,
              0.17041,
              0.19871,
              0.25682,
              0.38055,
              0.64773
            ],
            [
              0.14017,
              0.17096,
              0.19919,
              0.25712,
              0.38065,
              0.64782
            ],
            [
              0.14061,
              0.17133,
              0.19956,
              0.2574,
              0.38108,
              0.64799
            ],
            [
              0.14056,
              0.17134,
              0.19957,
              0.25746,
              0.38115,
              0.648
            ],
            [
              0.1395,
              0.17055,
              0.19905,
              0.25701,
              0.381,
              0.64785
            ],
            [
              0.13672,
              0.16837,
              0.19722,
              0.25596,
              0.3802,
              0.6476
            ],
            [
              0.13162,
              0.1645,
              0.19436,
              0.25403,
              0.37885,
              0.64675
            ],
            [
              0.12507,
              0.15904,
              0.19019,
              0.25151,
              0.37796,
              0.64622
            ],
            [
              0.11969,
              0.1535,
              0.1847,
              0.2464,
              0.3737,
              0.6448
            ],
            [
              0.1144,
              0.1547,
              0.1896,
              0.2535,
              0.3783,
              0.6449
            ],
            [
              0.1101,
              0.1596,
              0.2024,
              0.2793,
              0.4174,
              0.6765
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.23597,
              0.31521,
              0.39171,
              0.46406,
              0.80693,
              1.4525
            ],
            [
              0.23614,
              0.31528,
              0.39173,
              0.46378,
              0.80661,
              1.45092
            ],
            [
              0.23654,
              0.31543,
              0.3919,
              0.4634,
              0.80663,
              1.45193
            ],
            [
              0.23676,
              0.31575,
              0.39232,
              0.46361,
              0.80561,
              1.45139
            ],
            [
              0.23744,
              0.31632,
              0.39311,
              0.46379,
              0.80561,
              1.45016
            ],
            [
              0.23849,
              0.31723,
              0.39438,
              0.46384,
              0.80556,
              1.45096
            ],
            [
              0.24211,
              0.31906,
              0.39656,
              0.46421,
              0.80578,
              1.45124
            ],
            [
              0.25239,
              0.32463,
              0.40116,
              0.467,
              0.80576,
              1.45141
            ],
            [
              0.27174,
              0.33694,
              0.40998,
              0.47109,
              0.80609,
              1.45145
            ],
            [
              0.29991,
              0.35701,
              0.42378,
              0.47587,
              0.80693,
              1.45027
            ],
            [
              0.33538,
              0.3823,
              0.44114,
              0.4769,
              0.8084,
              1.4532
            ],
            [
              0.3792,
              0.4153,
              0.4645,
              0.478,
              0.813,
              1.4579
            ],
            [
              0.4319,
              0.4562,
              0.4942,
              0.4792,
              0.8151,
              1.4714
            ]
          ]
        },
        "sdf_cond": "(A&!CI)",
        "timing_sense": "negative_unate",
        "when": "(A&!CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.0731,
              0.09989,
              0.12515,
              0.17378,
              0.26901,
              0.46169
            ],
            [
              0.07603,
              0.10285,
              0.12812,
              0.17677,
              0.27203,
              0.46472
            ],
            [
              0.07963,
              0.10643,
              0.13174,
              0.18041,
              0.27567,
              0.46835
            ],
            [
              0.08497,
              0.11187,
              0.13717,
              0.18585,
              0.28114,
              0.47386
            ],
            [
              0.09319,
              0.12,
              0.14524,
              0.19394,
              0.28922,
              0.48197
            ],
            [
              0.1055,
              0.13219,
              0.15741,
              0.20602,
              0.30128,
              0.494
            ],
            [
              0.12389,
              0.15032,
              0.17543,
              0.22389,
              0.31907,
              0.51179
            ],
            [
              0.14858,
              0.17648,
              0.20158,
              0.25006,
              0.34528,
              0.53789
            ],
            [
              0.17901,
              0.21073,
              0.23813,
              0.28755,
              0.38329,
              0.5766
            ],
            [
              0.21605,
              0.25335,
              0.28488,
              0.34035,
              0.43893,
              0.63399
            ],
            [
              0.2604,
              0.30566,
              0.34338,
              0.40827,
              0.51932,
              0.71922
            ],
            [
              0.31217,
              0.36857,
              0.41517,
              0.49377,
              0.62427,
              0.84327
            ],
            [
              0.3712,
              0.4421,
              0.5009,
              0.5989,
              0.7568,
              1.0105
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.12036,
              0.16717,
              0.21145,
              0.29982,
              0.48078,
              0.83036
            ],
            [
              0.12301,
              0.16994,
              0.21425,
              0.30267,
              0.48363,
              0.83319
            ],
            [
              0.12645,
              0.17341,
              0.21782,
              0.3063,
              0.48719,
              0.8368
            ],
            [
              0.13179,
              0.17886,
              0.22326,
              0.31185,
              0.49273,
              0.84235
            ],
            [
              0.14015,
              0.18733,
              0.23178,
              0.32042,
              0.50125,
              0.85117
            ],
            [
              0.15302,
              0.20023,
              0.24473,
              0.33346,
              0.51445,
              0.86428
            ],
            [
              0.1729,
              0.21996,
              0.26444,
              0.35323,
              0.5344,
              0.88402
            ],
            [
              0.2031,
              0.24992,
              0.29434,
              0.38313,
              0.56394,
              0.91396
            ],
            [
              0.24631,
              0.29495,
              0.33944,
              0.42861,
              0.60948,
              0.95885
            ],
            [
              0.30009,
              0.3578,
              0.40544,
              0.49621,
              0.67659,
              1.02519
            ],
            [
              0.36589,
              0.43558,
              0.49242,
              0.59272,
              0.77372,
              1.12252
            ],
            [
              0.44517,
              0.53097,
              0.59987,
              0.71717,
              0.91117,
              1.26497
            ],
            [
              0.54,
              0.6464,
              0.7308,
              0.8695,
              1.0952,
              1.4728
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.05153,
              0.08456,
              0.11826,
              0.18535,
              0.32286,
              0.60811
            ],
            [
              0.05158,
              0.08456,
              0.11827,
              0.18535,
              0.3227,
              0.60831
            ],
            [
              0.05168,
              0.08456,
              0.11827,
              0.18538,
              0.32273,
              0.60848
            ],
            [
              0.05189,
              0.08468,
              0.11832,
              0.18536,
              0.32279,
              0.60819
            ],
            [
              0.05246,
              0.08482,
              0.11828,
              0.18541,
              0.32294,
              0.6082
            ],
            [
              0.05409,
              0.08518,
              0.11839,
              0.18545,
              0.32279,
              0.60822
            ],
            [
              0.05962,
              0.08657,
              0.11882,
              0.18543,
              0.32283,
              0.6082
            ],
            [
              0.07065,
              0.09312,
              0.12142,
              0.18572,
              0.32293,
              0.6084
            ],
            [
              0.0873,
              0.10865,
              0.13104,
              0.19011,
              0.32376,
              0.60917
            ],
            [
              0.1104,
              0.1333,
              0.15452,
              0.20438,
              0.33112,
              0.61044
            ],
            [
              0.14247,
              0.16785,
              0.19135,
              0.23738,
              0.35344,
              0.62141
            ],
            [
              0.1866,
              0.2161,
              0.2429,
              0.2922,
              0.4022,
              0.6521
            ],
            [
              0.2465,
              0.2823,
              0.3141,
              0.3716,
              0.4805,
              0.7187
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.13834,
              0.21031,
              0.28766,
              0.4524,
              0.7836,
              1.43345
            ],
            [
              0.13836,
              0.21032,
              0.28751,
              0.45153,
              0.78356,
              1.43345
            ],
            [
              0.13833,
              0.2103,
              0.28752,
              0.4515,
              0.7839,
              1.43344
            ],
            [
              0.13832,
              0.21031,
              0.28748,
              0.45191,
              0.78382,
              1.43337
            ],
            [
              0.13829,
              0.21028,
              0.28773,
              0.45166,
              0.78324,
              1.43356
            ],
            [
              0.13837,
              0.21028,
              0.28753,
              0.45254,
              0.78382,
              1.43245
            ],
            [
              0.14082,
              0.21071,
              0.28788,
              0.45268,
              0.78341,
              1.43271
            ],
            [
              0.15024,
              0.21565,
              0.28947,
              0.45217,
              0.78334,
              1.43315
            ],
            [
              0.1703,
              0.23051,
              0.30012,
              0.45624,
              0.78387,
              1.43261
            ],
            [
              0.20405,
              0.25991,
              0.32591,
              0.47294,
              0.78623,
              1.43161
            ],
            [
              0.24874,
              0.30854,
              0.37097,
              0.50931,
              0.80299,
              1.4307
            ],
            [
              0.3068,
              0.3738,
              0.4409,
              0.5693,
              0.8445,
              1.4485
            ],
            [
              0.3814,
              0.4582,
              0.5324,
              0.6668,
              0.9225,
              1.5014
            ]
          ]
        },
        "sdf_cond": "(!A&B)",
        "timing_sense": "negative_unate",
        "when": "(!A&B)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.07316,
              0.09998,
              0.12526,
              0.17389,
              0.26905,
              0.46161
            ],
            [
              0.0761,
              0.10294,
              0.12823,
              0.17688,
              0.27207,
              0.46464
            ],
            [
              0.07969,
              0.10653,
              0.13185,
              0.18052,
              0.27571,
              0.46827
            ],
            [
              0.08503,
              0.11196,
              0.13728,
              0.18596,
              0.28118,
              0.47378
            ],
            [
              0.09326,
              0.1201,
              0.14535,
              0.19405,
              0.28926,
              0.48188
            ],
            [
              0.10558,
              0.13228,
              0.15752,
              0.20613,
              0.30132,
              0.49391
            ],
            [
              0.12396,
              0.15042,
              0.17553,
              0.22399,
              0.31909,
              0.51169
            ],
            [
              0.14864,
              0.17655,
              0.20167,
              0.25014,
              0.34529,
              0.53777
            ],
            [
              0.17904,
              0.21078,
              0.23819,
              0.28759,
              0.38325,
              0.57645
            ],
            [
              0.21609,
              0.25338,
              0.2849,
              0.34035,
              0.43885,
              0.63389
            ],
            [
              0.26041,
              0.30567,
              0.34336,
              0.40822,
              0.51922,
              0.71912
            ],
            [
              0.31217,
              0.36857,
              0.41517,
              0.49367,
              0.62417,
              0.84317
            ],
            [
              0.3711,
              0.442,
              0.5008,
              0.5988,
              0.7567,
              1.0105
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.12013,
              0.16697,
              0.21139,
              0.30001,
              0.48075,
              0.83025
            ],
            [
              0.12277,
              0.16974,
              0.21419,
              0.30286,
              0.4836,
              0.83396
            ],
            [
              0.12621,
              0.17321,
              0.21776,
              0.30649,
              0.48711,
              0.83666
            ],
            [
              0.13156,
              0.17866,
              0.2232,
              0.31206,
              0.49282,
              0.84313
            ],
            [
              0.13991,
              0.18712,
              0.23173,
              0.32061,
              0.50136,
              0.85102
            ],
            [
              0.15279,
              0.20004,
              0.24467,
              0.33366,
              0.51462,
              0.86406
            ],
            [
              0.17268,
              0.21978,
              0.26439,
              0.35343,
              0.53447,
              0.8839
            ],
            [
              0.20291,
              0.24976,
              0.2943,
              0.38333,
              0.56425,
              0.91366
            ],
            [
              0.24612,
              0.29484,
              0.33944,
              0.42882,
              0.60954,
              0.95855
            ],
            [
              0.29993,
              0.35777,
              0.40552,
              0.49639,
              0.67659,
              1.02499
            ],
            [
              0.36576,
              0.43562,
              0.49252,
              0.59282,
              0.77352,
              1.12232
            ],
            [
              0.44507,
              0.53107,
              0.59997,
              0.71717,
              0.91097,
              1.26487
            ],
            [
              0.54,
              0.6466,
              0.7309,
              0.8694,
              1.0949,
              1.4726
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.05143,
              0.0845,
              0.11822,
              0.18528,
              0.32252,
              0.60794
            ],
            [
              0.05148,
              0.08449,
              0.11823,
              0.18529,
              0.32253,
              0.60807
            ],
            [
              0.05157,
              0.0845,
              0.11823,
              0.1853,
              0.32256,
              0.60833
            ],
            [
              0.05179,
              0.08463,
              0.11827,
              0.18529,
              0.32266,
              0.60801
            ],
            [
              0.05235,
              0.08477,
              0.11821,
              0.18533,
              0.32278,
              0.60803
            ],
            [
              0.05396,
              0.0851,
              0.11835,
              0.18538,
              0.32263,
              0.60805
            ],
            [
              0.05951,
              0.08646,
              0.11876,
              0.18536,
              0.32268,
              0.60803
            ],
            [
              0.0705,
              0.09296,
              0.12131,
              0.18565,
              0.32279,
              0.60827
            ],
            [
              0.08713,
              0.10843,
              0.13084,
              0.19001,
              0.32363,
              0.60909
            ],
            [
              0.11026,
              0.13311,
              0.15424,
              0.20421,
              0.33096,
              0.61031
            ],
            [
              0.14234,
              0.16765,
              0.1911,
              0.23722,
              0.35335,
              0.6214
            ],
            [
              0.1865,
              0.2159,
              0.2426,
              0.292,
              0.4022,
              0.652
            ],
            [
              0.2464,
              0.2822,
              0.3139,
              0.3714,
              0.4805,
              0.7188
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00272,
            0.00545,
            0.0109,
            0.02179,
            0.04358
          ],
          "values": [
            [
              0.13805,
              0.21027,
              0.28782,
              0.45256,
              0.78319,
              1.43325
            ],
            [
              0.13806,
              0.21027,
              0.28772,
              0.45205,
              0.78325,
              1.43324
            ],
            [
              0.13804,
              0.21026,
              0.28774,
              0.45205,
              0.78353,
              1.43313
            ],
            [
              0.13802,
              0.21028,
              0.28766,
              0.45259,
              0.78379,
              1.43365
            ],
            [
              0.13799,
              0.21024,
              0.28778,
              0.4522,
              0.78298,
              1.43325
            ],
            [
              0.13809,
              0.21025,
              0.28762,
              0.45276,
              0.78366,
              1.43215
            ],
            [
              0.14055,
              0.21069,
              0.28803,
              0.45283,
              0.78355,
              1.4324
            ],
            [
              0.14997,
              0.21565,
              0.28962,
              0.4526,
              0.78378,
              1.43284
            ],
            [
              0.1701,
              0.23055,
              0.30033,
              0.4565,
              0.7838,
              1.4321
            ],
            [
              0.20392,
              0.26002,
              0.32607,
              0.47315,
              0.78585,
              1.43128
            ],
            [
              0.24862,
              0.30872,
              0.37106,
              0.50922,
              0.80241,
              1.4307
            ],
            [
              0.3068,
              0.3739,
              0.4409,
              0.5692,
              0.8442,
              1.4481
            ],
            [
              0.3813,
              0.4582,
              0.5319,
              0.6668,
              0.922,
              1.501
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "negative_unate",
        "when": "(A&!B)"
      }
    ]
  },
  "pin,SUM": {
    "direction": "output",
    "function": "(A&!B&!CI) | (!A&B&!CI) | (!A&!B&CI) | (A&B&CI)",
    "internal_power": [
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.05593,
              0.04665,
              0.03716,
              0.01792,
              -0.02081,
              -0.09848
            ],
            [
              0.05589,
              0.04661,
              0.03712,
              0.01789,
              -0.02084,
              -0.09851
            ],
            [
              0.05582,
              0.04655,
              0.03706,
              0.01782,
              -0.02091,
              -0.09858
            ],
            [
              0.05576,
              0.04647,
              0.03699,
              0.01775,
              -0.02098,
              -0.09865
            ],
            [
              0.05569,
              0.04641,
              0.03692,
              0.01768,
              -0.02105,
              -0.09872
            ],
            [
              0.05558,
              0.04631,
              0.03682,
              0.01759,
              -0.02115,
              -0.09882
            ],
            [
              0.05549,
              0.04621,
              0.03672,
              0.01749,
              -0.02125,
              -0.09892
            ],
            [
              0.05537,
              0.04608,
              0.03659,
              0.01735,
              -0.02138,
              -0.09905
            ],
            [
              0.05526,
              0.04597,
              0.03648,
              0.01724,
              -0.02149,
              -0.09916
            ],
            [
              0.0552,
              0.04591,
              0.03641,
              0.01718,
              -0.02156,
              -0.09923
            ],
            [
              0.0552,
              0.04593,
              0.03643,
              0.01719,
              -0.02154,
              -0.09921
            ],
            [
              0.05535,
              0.04606,
              0.03657,
              0.01734,
              -0.0214,
              -0.09907
            ],
            [
              0.05579,
              0.04647,
              0.03698,
              0.01776,
              -0.02098,
              -0.09863
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.04552,
              0.05527,
              0.06495,
              0.08431,
              0.12291,
              0.2
            ],
            [
              0.04546,
              0.05522,
              0.0649,
              0.08426,
              0.12286,
              0.19982
            ],
            [
              0.04541,
              0.05518,
              0.06486,
              0.08421,
              0.12268,
              0.19963
            ],
            [
              0.04535,
              0.0551,
              0.06478,
              0.08414,
              0.12274,
              0.19987
            ],
            [
              0.04524,
              0.05501,
              0.0647,
              0.08405,
              0.12268,
              0.19962
            ],
            [
              0.04516,
              0.05491,
              0.0646,
              0.08396,
              0.12258,
              0.19955
            ],
            [
              0.04505,
              0.0548,
              0.06449,
              0.08385,
              0.12249,
              0.1995
            ],
            [
              0.04491,
              0.05468,
              0.06437,
              0.08372,
              0.1224,
              0.19937
            ],
            [
              0.04478,
              0.05454,
              0.06422,
              0.0836,
              0.12212,
              0.19934
            ],
            [
              0.04469,
              0.05446,
              0.06414,
              0.08349,
              0.12218,
              0.19893
            ],
            [
              0.04469,
              0.05446,
              0.06418,
              0.08347,
              0.12207,
              0.19916
            ],
            [
              0.04481,
              0.05458,
              0.06428,
              0.08362,
              0.12229,
              0.19912
            ],
            [
              0.04521,
              0.05499,
              0.06467,
              0.084,
              0.12262,
              0.19951
            ]
          ]
        },
        "when": "(!B&!CI) | (B&CI)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.04894,
              0.03934,
              0.02959,
              0.01001,
              -0.02908,
              -0.10711
            ],
            [
              0.04889,
              0.03929,
              0.02953,
              0.00995,
              -0.02914,
              -0.10717
            ],
            [
              0.04884,
              0.03924,
              0.02949,
              0.00991,
              -0.02918,
              -0.10722
            ],
            [
              0.04878,
              0.03918,
              0.02942,
              0.00984,
              -0.02925,
              -0.10729
            ],
            [
              0.04868,
              0.03907,
              0.02932,
              0.00974,
              -0.02935,
              -0.10739
            ],
            [
              0.04858,
              0.03897,
              0.02922,
              0.00964,
              -0.02945,
              -0.10749
            ],
            [
              0.04846,
              0.03885,
              0.02909,
              0.00951,
              -0.02958,
              -0.10762
            ],
            [
              0.0483,
              0.0387,
              0.02894,
              0.00936,
              -0.02974,
              -0.10779
            ],
            [
              0.04814,
              0.03854,
              0.02878,
              0.00919,
              -0.02991,
              -0.10796
            ],
            [
              0.04802,
              0.03841,
              0.02865,
              0.00906,
              -0.03005,
              -0.1081
            ],
            [
              0.04795,
              0.03834,
              0.02859,
              0.009,
              -0.03011,
              -0.10818
            ],
            [
              0.04802,
              0.0384,
              0.02865,
              0.00907,
              -0.03004,
              -0.10811
            ],
            [
              0.04836,
              0.03873,
              0.02897,
              0.00939,
              -0.02972,
              -0.10778
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.05892,
              0.0757,
              0.09239,
              0.12544,
              0.19133,
              0.32377
            ],
            [
              0.05887,
              0.07564,
              0.0923,
              0.12542,
              0.19143,
              0.32341
            ],
            [
              0.0588,
              0.07561,
              0.09227,
              0.12536,
              0.19123,
              0.3236
            ],
            [
              0.05874,
              0.07552,
              0.09222,
              0.12537,
              0.19124,
              0.32347
            ],
            [
              0.05866,
              0.07545,
              0.09215,
              0.12523,
              0.19114,
              0.32344
            ],
            [
              0.05856,
              0.07534,
              0.09203,
              0.12516,
              0.19103,
              0.32313
            ],
            [
              0.05846,
              0.07524,
              0.09194,
              0.12507,
              0.19092,
              0.32322
            ],
            [
              0.05832,
              0.07511,
              0.09181,
              0.12491,
              0.19077,
              0.32284
            ],
            [
              0.0582,
              0.07497,
              0.09166,
              0.12466,
              0.19067,
              0.3229
            ],
            [
              0.05807,
              0.07488,
              0.09156,
              0.12463,
              0.19066,
              0.32263
            ],
            [
              0.05808,
              0.07484,
              0.09154,
              0.12461,
              0.1906,
              0.32285
            ],
            [
              0.05823,
              0.07498,
              0.09167,
              0.12472,
              0.19078,
              0.32295
            ],
            [
              0.05875,
              0.07549,
              0.09212,
              0.12517,
              0.19123,
              0.32325
            ]
          ]
        },
        "when": "(B&!CI) | (!B&CI)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.06583,
              0.05728,
              0.04831,
              0.02975,
              -0.00823,
              -0.08524
            ],
            [
              0.06557,
              0.057,
              0.04805,
              0.02951,
              -0.00848,
              -0.08552
            ],
            [
              0.06535,
              0.0568,
              0.04786,
              0.02931,
              -0.00867,
              -0.08571
            ],
            [
              0.0651,
              0.05656,
              0.04761,
              0.02907,
              -0.00891,
              -0.08593
            ],
            [
              0.06481,
              0.05631,
              0.04735,
              0.02883,
              -0.00914,
              -0.08616
            ],
            [
              0.06457,
              0.05608,
              0.04714,
              0.02863,
              -0.00934,
              -0.08635
            ],
            [
              0.06443,
              0.05595,
              0.04702,
              0.02852,
              -0.00942,
              -0.08643
            ],
            [
              0.06441,
              0.05595,
              0.04703,
              0.02856,
              -0.00938,
              -0.08637
            ],
            [
              0.06454,
              0.05613,
              0.04725,
              0.0288,
              -0.00912,
              -0.08612
            ],
            [
              0.06489,
              0.05651,
              0.04764,
              0.0292,
              -0.00873,
              -0.08576
            ],
            [
              0.06549,
              0.05717,
              0.04829,
              0.02984,
              -0.00814,
              -0.08523
            ],
            [
              0.06649,
              0.05817,
              0.0493,
              0.03082,
              -0.00722,
              -0.08436
            ],
            [
              0.06825,
              0.05988,
              0.05093,
              0.03243,
              -0.00564,
              -0.08281
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.03235,
              0.04247,
              0.05244,
              0.07202,
              0.11093,
              0.18804
            ],
            [
              0.03216,
              0.04235,
              0.05231,
              0.0719,
              0.11074,
              0.18771
            ],
            [
              0.03205,
              0.0422,
              0.05214,
              0.0717,
              0.11064,
              0.18792
            ],
            [
              0.0319,
              0.04209,
              0.05198,
              0.07161,
              0.11056,
              0.18778
            ],
            [
              0.03172,
              0.04191,
              0.05187,
              0.0715,
              0.11028,
              0.18746
            ],
            [
              0.03153,
              0.04174,
              0.05178,
              0.07137,
              0.11036,
              0.18773
            ],
            [
              0.03136,
              0.04166,
              0.05168,
              0.07143,
              0.11045,
              0.1877
            ],
            [
              0.03125,
              0.04164,
              0.05174,
              0.0715,
              0.11068,
              0.18802
            ],
            [
              0.03132,
              0.04179,
              0.05201,
              0.0719,
              0.11102,
              0.18859
            ],
            [
              0.03164,
              0.04221,
              0.05252,
              0.07259,
              0.11194,
              0.18934
            ],
            [
              0.03217,
              0.04287,
              0.05321,
              0.07342,
              0.11295,
              0.19067
            ],
            [
              0.03313,
              0.04384,
              0.05422,
              0.0745,
              0.11407,
              0.19215
            ],
            [
              0.03473,
              0.04553,
              0.05602,
              0.07632,
              0.11575,
              0.19388
            ]
          ]
        },
        "when": "(!A&!CI) | (A&CI)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.0352,
              0.0259,
              0.01637,
              -0.00291,
              -0.04168,
              -0.11938
            ],
            [
              0.03502,
              0.02578,
              0.01624,
              -0.00303,
              -0.0418,
              -0.11952
            ],
            [
              0.03491,
              0.02562,
              0.01608,
              -0.0032,
              -0.04196,
              -0.11967
            ],
            [
              0.03473,
              0.02547,
              0.01592,
              -0.00336,
              -0.04211,
              -0.11982
            ],
            [
              0.03457,
              0.02531,
              0.01578,
              -0.00349,
              -0.04226,
              -0.11997
            ],
            [
              0.03434,
              0.02507,
              0.01556,
              -0.00372,
              -0.04248,
              -0.12017
            ],
            [
              0.03409,
              0.02485,
              0.01534,
              -0.00391,
              -0.04266,
              -0.12037
            ],
            [
              0.03386,
              0.02463,
              0.01513,
              -0.00411,
              -0.04285,
              -0.12054
            ],
            [
              0.03372,
              0.0245,
              0.015,
              -0.00422,
              -0.04296,
              -0.12064
            ],
            [
              0.03379,
              0.02456,
              0.01507,
              -0.00416,
              -0.04288,
              -0.12056
            ],
            [
              0.03414,
              0.0249,
              0.01544,
              -0.00377,
              -0.04249,
              -0.12016
            ],
            [
              0.03498,
              0.02569,
              0.01619,
              -0.00302,
              -0.04173,
              -0.11935
            ],
            [
              0.0365,
              0.02722,
              0.01769,
              -0.00156,
              -0.04027,
              -0.11791
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.06809,
              0.08501,
              0.10179,
              0.13502,
              0.20127,
              0.33356
            ],
            [
              0.06781,
              0.08473,
              0.10152,
              0.13488,
              0.20104,
              0.33332
            ],
            [
              0.06761,
              0.08454,
              0.10135,
              0.13461,
              0.20083,
              0.33308
            ],
            [
              0.06735,
              0.08429,
              0.10109,
              0.13436,
              0.2006,
              0.33299
            ],
            [
              0.06706,
              0.08403,
              0.10083,
              0.13413,
              0.20033,
              0.3329
            ],
            [
              0.0668,
              0.08377,
              0.10058,
              0.1339,
              0.20003,
              0.33242
            ],
            [
              0.06662,
              0.0836,
              0.1004,
              0.13377,
              0.19987,
              0.33236
            ],
            [
              0.06652,
              0.0835,
              0.10029,
              0.13362,
              0.19983,
              0.3321
            ],
            [
              0.06655,
              0.08355,
              0.10032,
              0.13362,
              0.19989,
              0.33216
            ],
            [
              0.06677,
              0.08373,
              0.10056,
              0.13388,
              0.20009,
              0.33264
            ],
            [
              0.06735,
              0.08432,
              0.10109,
              0.13445,
              0.20071,
              0.33293
            ],
            [
              0.06839,
              0.08528,
              0.10206,
              0.13539,
              0.20156,
              0.33404
            ],
            [
              0.07022,
              0.08713,
              0.1039,
              0.13717,
              0.20347,
              0.33566
            ]
          ]
        },
        "when": "(A&!CI) | (!A&CI)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.04246,
              0.03324,
              0.02381,
              0.00462,
              -0.03408,
              -0.11172
            ],
            [
              0.04235,
              0.03312,
              0.02369,
              0.0045,
              -0.0342,
              -0.11184
            ],
            [
              0.04219,
              0.03296,
              0.02353,
              0.00434,
              -0.03436,
              -0.112
            ],
            [
              0.04201,
              0.03277,
              0.02334,
              0.00416,
              -0.03455,
              -0.11219
            ],
            [
              0.04184,
              0.0326,
              0.02318,
              0.00399,
              -0.03471,
              -0.11235
            ],
            [
              0.04168,
              0.03244,
              0.02301,
              0.00382,
              -0.03488,
              -0.11252
            ],
            [
              0.04155,
              0.03229,
              0.02285,
              0.00367,
              -0.03503,
              -0.11266
            ],
            [
              0.04146,
              0.03217,
              0.02272,
              0.00354,
              -0.03514,
              -0.11276
            ],
            [
              0.04142,
              0.03209,
              0.02264,
              0.00346,
              -0.0352,
              -0.11281
            ],
            [
              0.04147,
              0.03207,
              0.02261,
              0.00345,
              -0.0352,
              -0.1128
            ],
            [
              0.04187,
              0.03239,
              0.02291,
              0.00374,
              -0.0349,
              -0.11248
            ],
            [
              0.04247,
              0.03285,
              0.02334,
              0.00416,
              -0.03446,
              -0.112
            ],
            [
              0.04371,
              0.03399,
              0.0244,
              0.0052,
              -0.03341,
              -0.11093
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.02145,
              0.03158,
              0.04136,
              0.06077,
              0.09938,
              0.17641
            ],
            [
              0.02129,
              0.0314,
              0.04121,
              0.06056,
              0.09927,
              0.17632
            ],
            [
              0.02114,
              0.03127,
              0.04107,
              0.06046,
              0.09912,
              0.17629
            ],
            [
              0.02097,
              0.03107,
              0.0409,
              0.06027,
              0.09896,
              0.17573
            ],
            [
              0.02075,
              0.03084,
              0.0407,
              0.06003,
              0.09863,
              0.1756
            ],
            [
              0.02053,
              0.03063,
              0.04044,
              0.05981,
              0.09842,
              0.17566
            ],
            [
              0.02027,
              0.03036,
              0.04016,
              0.05955,
              0.09817,
              0.1754
            ],
            [
              0.02005,
              0.03009,
              0.03991,
              0.05924,
              0.09785,
              0.17486
            ],
            [
              0.01987,
              0.02989,
              0.03969,
              0.05905,
              0.09773,
              0.17459
            ],
            [
              0.01985,
              0.02981,
              0.0396,
              0.05894,
              0.09765,
              0.17457
            ],
            [
              0.02006,
              0.02992,
              0.03969,
              0.05907,
              0.09775,
              0.17501
            ],
            [
              0.02056,
              0.0304,
              0.04016,
              0.05949,
              0.09805,
              0.17544
            ],
            [
              0.0216,
              0.03134,
              0.04113,
              0.06051,
              0.09894,
              0.17592
            ]
          ]
        },
        "when": "(!A&!B) | (A&B)"
      },
      {
        "fall_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.02754,
              0.01808,
              0.00844,
              -0.01096,
              -0.0498,
              -0.12749
            ],
            [
              0.0274,
              0.01794,
              0.00831,
              -0.0111,
              -0.04994,
              -0.12763
            ],
            [
              0.02727,
              0.01781,
              0.00813,
              -0.01127,
              -0.05011,
              -0.12779
            ],
            [
              0.02708,
              0.01764,
              0.00801,
              -0.01138,
              -0.05021,
              -0.1279
            ],
            [
              0.02686,
              0.01742,
              0.00777,
              -0.01158,
              -0.05043,
              -0.12811
            ],
            [
              0.02656,
              0.01713,
              0.00751,
              -0.01186,
              -0.05064,
              -0.12833
            ],
            [
              0.02626,
              0.01686,
              0.00725,
              -0.01207,
              -0.05086,
              -0.12855
            ],
            [
              0.02597,
              0.0166,
              0.007,
              -0.01232,
              -0.0511,
              -0.12873
            ],
            [
              0.02576,
              0.01639,
              0.00683,
              -0.01249,
              -0.05124,
              -0.12887
            ],
            [
              0.0257,
              0.01632,
              0.00676,
              -0.01255,
              -0.05127,
              -0.12889
            ],
            [
              0.02586,
              0.01646,
              0.00688,
              -0.01242,
              -0.05114,
              -0.12878
            ],
            [
              0.02633,
              0.01687,
              0.00729,
              -0.01202,
              -0.05073,
              -0.12832
            ],
            [
              0.02726,
              0.01773,
              0.00811,
              -0.01125,
              -0.05,
              -0.12761
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.04739,
              0.06427,
              0.08083,
              0.11395,
              0.17995,
              0.31191
            ],
            [
              0.0472,
              0.06409,
              0.0807,
              0.11391,
              0.17986,
              0.31201
            ],
            [
              0.04707,
              0.06395,
              0.08056,
              0.11379,
              0.17975,
              0.31148
            ],
            [
              0.0469,
              0.06377,
              0.0804,
              0.11356,
              0.17957,
              0.31141
            ],
            [
              0.04669,
              0.06359,
              0.08022,
              0.11345,
              0.17939,
              0.31156
            ],
            [
              0.04648,
              0.06338,
              0.08004,
              0.11318,
              0.17928,
              0.31165
            ],
            [
              0.04627,
              0.0632,
              0.07986,
              0.11301,
              0.17912,
              0.31143
            ],
            [
              0.04611,
              0.06304,
              0.07968,
              0.11292,
              0.17895,
              0.3109
            ],
            [
              0.04605,
              0.06297,
              0.07958,
              0.11282,
              0.17882,
              0.31083
            ],
            [
              0.0461,
              0.06298,
              0.07959,
              0.11291,
              0.17889,
              0.31078
            ],
            [
              0.04647,
              0.06329,
              0.07988,
              0.11302,
              0.17905,
              0.31123
            ],
            [
              0.04695,
              0.06375,
              0.08031,
              0.11339,
              0.17935,
              0.31147
            ],
            [
              0.04799,
              0.06476,
              0.08142,
              0.11436,
              0.18018,
              0.31256
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.0801,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.54261,
              0.62013,
              0.67311,
              0.76355,
              0.92872,
              1.24927
            ],
            [
              0.54558,
              0.6231,
              0.67608,
              0.76654,
              0.93168,
              1.25224
            ],
            [
              0.54915,
              0.62668,
              0.6796,
              0.77008,
              0.93516,
              1.25572
            ],
            [
              0.55451,
              0.63206,
              0.68503,
              0.7755,
              0.94073,
              1.26087
            ],
            [
              0.56288,
              0.64041,
              0.69341,
              0.78389,
              0.949,
              1.26971
            ],
            [
              0.57556,
              0.65309,
              0.70607,
              0.79657,
              0.96162,
              1.28242
            ],
            [
              0.595,
              0.67245,
              0.72543,
              0.81587,
              0.98103,
              1.30153
            ],
            [
              0.62427,
              0.70179,
              0.75476,
              0.84516,
              1.01046,
              1.33076
            ],
            [
              0.66872,
              0.74624,
              0.79925,
              0.88965,
              1.05495,
              1.37495
            ],
            [
              0.73339,
              0.81089,
              0.86389,
              0.95439,
              1.11949,
              1.44019
            ],
            [
              0.82052,
              0.89812,
              0.95102,
              1.04152,
              1.20682,
              1.52702
            ],
            [
              0.93067,
              1.00807,
              1.06097,
              1.15137,
              1.31667,
              1.63697
            ],
            [
              1.0637,
              1.141,
              1.1938,
              1.2841,
              1.4494,
              1.77
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.54769,
              0.63546,
              0.70399,
              0.83525,
              1.09487,
              1.61387
            ],
            [
              0.55073,
              0.63855,
              0.70697,
              0.83816,
              1.09784,
              1.61664
            ],
            [
              0.55451,
              0.64233,
              0.71075,
              0.84194,
              1.10162,
              1.62142
            ],
            [
              0.56017,
              0.64799,
              0.71642,
              0.84759,
              1.10728,
              1.62598
            ],
            [
              0.56857,
              0.65634,
              0.7249,
              0.85625,
              1.11591,
              1.63471
            ],
            [
              0.58146,
              0.66925,
              0.73782,
              0.8691,
              1.12872,
              1.64772
            ],
            [
              0.60083,
              0.68861,
              0.75717,
              0.88854,
              1.14813,
              1.66723
            ],
            [
              0.62974,
              0.71754,
              0.78607,
              0.91736,
              1.17706,
              1.69626
            ],
            [
              0.6706,
              0.75845,
              0.82685,
              0.95805,
              1.21785,
              1.73615
            ],
            [
              0.72629,
              0.81409,
              0.88269,
              1.01409,
              1.27369,
              1.79289
            ],
            [
              0.80012,
              0.88792,
              0.95642,
              1.08772,
              1.34792,
              1.86642
            ],
            [
              0.89347,
              0.98127,
              1.04987,
              1.18117,
              1.44087,
              1.96007
            ],
            [
              1.01,
              1.0977,
              1.1663,
              1.2973,
              1.5569,
              2.0755
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.03888,
              0.10016,
              0.15191,
              0.25305,
              0.45899,
              0.88534
            ],
            [
              0.03883,
              0.10016,
              0.15183,
              0.25306,
              0.45899,
              0.88534
            ],
            [
              0.03882,
              0.10018,
              0.15228,
              0.25309,
              0.45884,
              0.88531
            ],
            [
              0.03878,
              0.10014,
              0.1519,
              0.25303,
              0.45938,
              0.88574
            ],
            [
              0.03881,
              0.10016,
              0.1517,
              0.25263,
              0.45918,
              0.88502
            ],
            [
              0.0388,
              0.10039,
              0.15191,
              0.2535,
              0.45912,
              0.88455
            ],
            [
              0.03881,
              0.10016,
              0.15182,
              0.25305,
              0.45893,
              0.8853
            ],
            [
              0.03881,
              0.10016,
              0.15192,
              0.25304,
              0.45933,
              0.8857
            ],
            [
              0.0389,
              0.10011,
              0.15181,
              0.253,
              0.4593,
              0.8858
            ],
            [
              0.0389,
              0.1001,
              0.1519,
              0.2532,
              0.4592,
              0.8851
            ],
            [
              0.0388,
              0.1003,
              0.1518,
              0.253,
              0.4595,
              0.8859
            ],
            [
              0.0388,
              0.1003,
              0.152,
              0.253,
              0.4594,
              0.8857
            ],
            [
              0.0387,
              0.1003,
              0.1515,
              0.2524,
              0.4593,
              0.8847
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.04711,
              0.12965,
              0.21605,
              0.39677,
              0.7628,
              1.50128
            ],
            [
              0.04705,
              0.12954,
              0.21611,
              0.39687,
              0.76293,
              1.50092
            ],
            [
              0.04705,
              0.12954,
              0.2161,
              0.39686,
              0.76283,
              1.50327
            ],
            [
              0.04705,
              0.12955,
              0.2161,
              0.39686,
              0.76262,
              1.5006
            ],
            [
              0.04707,
              0.12959,
              0.21638,
              0.39652,
              0.76273,
              1.5023
            ],
            [
              0.04709,
              0.12964,
              0.21608,
              0.39672,
              0.76274,
              1.5015
            ],
            [
              0.04702,
              0.12957,
              0.21644,
              0.39635,
              0.76266,
              1.503
            ],
            [
              0.04708,
              0.12967,
              0.21608,
              0.39686,
              0.7627,
              1.5031
            ],
            [
              0.04707,
              0.12942,
              0.21608,
              0.3969,
              0.7631,
              1.4998
            ],
            [
              0.047,
              0.1295,
              0.2164,
              0.3964,
              0.7626,
              1.5033
            ],
            [
              0.047,
              0.1295,
              0.2165,
              0.3968,
              0.7635,
              1.5016
            ],
            [
              0.0469,
              0.1295,
              0.216,
              0.3968,
              0.7627,
              1.5019
            ],
            [
              0.0467,
              0.1295,
              0.216,
              0.3957,
              0.7647,
              1.501
            ]
          ]
        },
        "sdf_cond": "(!B&!CI)",
        "timing_sense": "positive_unate",
        "when": "(!B&!CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.3922,
              0.47063,
              0.52367,
              0.61372,
              0.77805,
              1.09817
            ],
            [
              0.39522,
              0.47366,
              0.52668,
              0.61673,
              0.78104,
              1.10124
            ],
            [
              0.399,
              0.47743,
              0.53046,
              0.6205,
              0.78483,
              1.10492
            ],
            [
              0.40455,
              0.48298,
              0.53602,
              0.62606,
              0.79036,
              1.11048
            ],
            [
              0.41276,
              0.49119,
              0.5442,
              0.63426,
              0.79858,
              1.11871
            ],
            [
              0.42531,
              0.50375,
              0.55677,
              0.64681,
              0.81113,
              1.13122
            ],
            [
              0.44395,
              0.52239,
              0.5754,
              0.66543,
              0.82973,
              1.14983
            ],
            [
              0.47182,
              0.55025,
              0.60326,
              0.69328,
              0.85756,
              1.17766
            ],
            [
              0.51172,
              0.59014,
              0.64314,
              0.73315,
              0.89745,
              1.21755
            ],
            [
              0.56647,
              0.64489,
              0.69789,
              0.78789,
              0.95219,
              1.27229
            ],
            [
              0.63902,
              0.71752,
              0.77052,
              0.86062,
              1.02492,
              1.34502
            ],
            [
              0.73077,
              0.80947,
              0.86257,
              0.95287,
              1.11727,
              1.43737
            ],
            [
              0.8454,
              0.9245,
              0.9778,
              1.0682,
              1.2328,
              1.553
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.44652,
              0.53158,
              0.60077,
              0.73357,
              0.99477,
              1.51317
            ],
            [
              0.44948,
              0.53455,
              0.60372,
              0.73652,
              0.99774,
              1.51614
            ],
            [
              0.45304,
              0.53811,
              0.60726,
              0.74005,
              1.00122,
              1.51972
            ],
            [
              0.45841,
              0.54346,
              0.61267,
              0.74545,
              1.00658,
              1.52517
            ],
            [
              0.46677,
              0.55184,
              0.62099,
              0.75378,
              1.01501,
              1.53351
            ],
            [
              0.47942,
              0.56448,
              0.63366,
              0.76647,
              1.02772,
              1.54622
            ],
            [
              0.49875,
              0.58379,
              0.65301,
              0.7858,
              1.04693,
              1.56543
            ],
            [
              0.5279,
              0.61293,
              0.68217,
              0.81495,
              1.07606,
              1.59496
            ],
            [
              0.57136,
              0.6564,
              0.72561,
              0.85825,
              1.11935,
              1.63835
            ],
            [
              0.63479,
              0.71979,
              0.78899,
              0.92179,
              1.18299,
              1.70179
            ],
            [
              0.72302,
              0.80812,
              0.87732,
              1.01012,
              1.27132,
              1.78982
            ],
            [
              0.83577,
              0.92147,
              0.99077,
              1.12357,
              1.38497,
              1.90377
            ],
            [
              0.9727,
              1.0595,
              1.1291,
              1.262,
              1.5234,
              2.043
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.03888,
              0.09998,
              0.15092,
              0.25094,
              0.45701,
              0.88252
            ],
            [
              0.03883,
              0.1,
              0.15093,
              0.25082,
              0.45683,
              0.88248
            ],
            [
              0.03886,
              0.1,
              0.15092,
              0.25091,
              0.45707,
              0.88248
            ],
            [
              0.03885,
              0.1,
              0.15093,
              0.25088,
              0.45695,
              0.88249
            ],
            [
              0.03885,
              0.1,
              0.15094,
              0.251,
              0.45669,
              0.88192
            ],
            [
              0.03885,
              0.1,
              0.15093,
              0.2509,
              0.45696,
              0.88249
            ],
            [
              0.0388,
              0.09999,
              0.15093,
              0.25076,
              0.45671,
              0.88239
            ],
            [
              0.03882,
              0.09998,
              0.15093,
              0.25092,
              0.45622,
              0.8819
            ],
            [
              0.03889,
              0.09991,
              0.15093,
              0.25093,
              0.45695,
              0.8821
            ],
            [
              0.03891,
              0.1,
              0.15097,
              0.2508,
              0.4564,
              0.882
            ],
            [
              0.039,
              0.1,
              0.1508,
              0.2509,
              0.4562,
              0.8819
            ],
            [
              0.0393,
              0.1003,
              0.1513,
              0.2508,
              0.457,
              0.8825
            ],
            [
              0.0397,
              0.1007,
              0.1515,
              0.2512,
              0.4571,
              0.8826
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.03835,
              0.12499,
              0.21332,
              0.39454,
              0.76204,
              1.4989
            ],
            [
              0.03835,
              0.125,
              0.21336,
              0.39437,
              0.76266,
              1.49831
            ],
            [
              0.03835,
              0.12502,
              0.21342,
              0.39464,
              0.7629,
              1.49824
            ],
            [
              0.03834,
              0.12495,
              0.21324,
              0.39456,
              0.76196,
              1.49932
            ],
            [
              0.03835,
              0.12502,
              0.21342,
              0.39454,
              0.76296,
              1.4982
            ],
            [
              0.03835,
              0.12499,
              0.21335,
              0.39449,
              0.7622,
              1.49944
            ],
            [
              0.03835,
              0.12495,
              0.21324,
              0.39457,
              0.76207,
              1.4989
            ],
            [
              0.03842,
              0.12488,
              0.21312,
              0.39467,
              0.76145,
              1.4998
            ],
            [
              0.03837,
              0.12496,
              0.21367,
              0.39527,
              0.7615,
              1.4998
            ],
            [
              0.03846,
              0.125,
              0.2133,
              0.3947,
              0.7624,
              1.4998
            ],
            [
              0.0386,
              0.1249,
              0.2133,
              0.3948,
              0.7624,
              1.4989
            ],
            [
              0.0393,
              0.1255,
              0.2137,
              0.3955,
              0.7627,
              1.4995
            ],
            [
              0.0406,
              0.1261,
              0.2139,
              0.3953,
              0.7626,
              1.4978
            ]
          ]
        },
        "sdf_cond": "(!B&CI)",
        "timing_sense": "negative_unate",
        "when": "(!B&CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.39322,
              0.46975,
              0.522,
              0.61138,
              0.77538,
              1.09547
            ],
            [
              0.3963,
              0.47282,
              0.52507,
              0.61445,
              0.77847,
              1.09854
            ],
            [
              0.40003,
              0.47655,
              0.5288,
              0.61818,
              0.78218,
              1.10232
            ],
            [
              0.40558,
              0.48211,
              0.53436,
              0.62374,
              0.78773,
              1.10778
            ],
            [
              0.4139,
              0.49043,
              0.54269,
              0.63206,
              0.79606,
              1.11611
            ],
            [
              0.42637,
              0.5029,
              0.55515,
              0.64451,
              0.80851,
              1.12862
            ],
            [
              0.44505,
              0.52158,
              0.57383,
              0.66319,
              0.82718,
              1.14723
            ],
            [
              0.4731,
              0.54962,
              0.60186,
              0.69121,
              0.85516,
              1.17526
            ],
            [
              0.51336,
              0.58989,
              0.64212,
              0.73146,
              0.89545,
              1.21545
            ],
            [
              0.56894,
              0.64549,
              0.69769,
              0.78709,
              0.95099,
              1.27109
            ],
            [
              0.64312,
              0.71972,
              0.77202,
              0.86132,
              1.02532,
              1.34542
            ],
            [
              0.73717,
              0.81407,
              0.86647,
              0.95597,
              1.12017,
              1.44027
            ],
            [
              0.8549,
              0.9321,
              0.9847,
              1.0745,
              1.2388,
              1.5591
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.481,
              0.56911,
              0.63903,
              0.77228,
              1.03367,
              1.55267
            ],
            [
              0.48384,
              0.57195,
              0.64185,
              0.7751,
              1.03664,
              1.55584
            ],
            [
              0.4874,
              0.57553,
              0.64544,
              0.77869,
              1.04012,
              1.55912
            ],
            [
              0.49295,
              0.58105,
              0.65099,
              0.78409,
              1.04568,
              1.56468
            ],
            [
              0.5012,
              0.58932,
              0.65923,
              0.79247,
              1.05391,
              1.57291
            ],
            [
              0.51383,
              0.60194,
              0.67187,
              0.80499,
              1.06652,
              1.58562
            ],
            [
              0.53317,
              0.62126,
              0.6912,
              0.82431,
              1.08583,
              1.60493
            ],
            [
              0.5622,
              0.65031,
              0.72022,
              0.85346,
              1.11486,
              1.63396
            ],
            [
              0.60545,
              0.69354,
              0.76345,
              0.89655,
              1.15815,
              1.67715
            ],
            [
              0.66879,
              0.75679,
              0.82669,
              0.95989,
              1.22129,
              1.74039
            ],
            [
              0.75742,
              0.84552,
              0.91542,
              1.04862,
              1.31012,
              1.82922
            ],
            [
              0.87247,
              0.96117,
              1.03127,
              1.16467,
              1.42627,
              1.94547
            ],
            [
              1.013,
              1.103,
              1.1734,
              1.307,
              1.569,
              2.089
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.03706,
              0.0974,
              0.14841,
              0.24883,
              0.45594,
              0.88205
            ],
            [
              0.03705,
              0.09743,
              0.14842,
              0.24883,
              0.45582,
              0.88125
            ],
            [
              0.03711,
              0.09735,
              0.14851,
              0.24897,
              0.45588,
              0.88161
            ],
            [
              0.03706,
              0.0974,
              0.14841,
              0.24884,
              0.45598,
              0.8821
            ],
            [
              0.03713,
              0.09735,
              0.14837,
              0.24882,
              0.4559,
              0.88182
            ],
            [
              0.03712,
              0.0974,
              0.14835,
              0.24888,
              0.45585,
              0.88149
            ],
            [
              0.03707,
              0.09732,
              0.14848,
              0.24884,
              0.45588,
              0.88113
            ],
            [
              0.03714,
              0.09735,
              0.14843,
              0.24875,
              0.4559,
              0.88156
            ],
            [
              0.03708,
              0.09739,
              0.14846,
              0.24879,
              0.45583,
              0.882
            ],
            [
              0.03711,
              0.09738,
              0.14852,
              0.2488,
              0.4559,
              0.8814
            ],
            [
              0.0372,
              0.0974,
              0.1485,
              0.2487,
              0.4555,
              0.8817
            ],
            [
              0.0375,
              0.0978,
              0.1488,
              0.2489,
              0.4554,
              0.8809
            ],
            [
              0.0381,
              0.0983,
              0.1491,
              0.2495,
              0.4559,
              0.8819
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.04055,
              0.12715,
              0.21482,
              0.39613,
              0.76204,
              1.49869
            ],
            [
              0.04059,
              0.12705,
              0.21473,
              0.39504,
              0.76205,
              1.49856
            ],
            [
              0.04058,
              0.12718,
              0.21481,
              0.39617,
              0.76168,
              1.5002
            ],
            [
              0.04057,
              0.12703,
              0.21483,
              0.39567,
              0.76307,
              1.49849
            ],
            [
              0.04068,
              0.12717,
              0.21482,
              0.39627,
              0.76188,
              1.49999
            ],
            [
              0.04058,
              0.12704,
              0.21483,
              0.39572,
              0.76311,
              1.4979
            ],
            [
              0.04057,
              0.12704,
              0.21483,
              0.39571,
              0.7631,
              1.4982
            ],
            [
              0.04059,
              0.12715,
              0.21487,
              0.39623,
              0.76352,
              1.4971
            ],
            [
              0.04065,
              0.12699,
              0.21481,
              0.39558,
              0.763,
              1.4988
            ],
            [
              0.0407,
              0.1272,
              0.2148,
              0.3961,
              0.7636,
              1.499
            ],
            [
              0.0408,
              0.1272,
              0.2149,
              0.3963,
              0.762,
              1.4995
            ],
            [
              0.0415,
              0.1275,
              0.2151,
              0.3965,
              0.7615,
              1.4994
            ],
            [
              0.0426,
              0.1283,
              0.2154,
              0.3963,
              0.7633,
              1.5019
            ]
          ]
        },
        "sdf_cond": "(B&!CI)",
        "timing_sense": "negative_unate",
        "when": "(B&!CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.55213,
              0.63141,
              0.68495,
              0.77586,
              0.9412,
              1.26157
            ],
            [
              0.5551,
              0.63437,
              0.68793,
              0.77884,
              0.94431,
              1.26484
            ],
            [
              0.55862,
              0.6379,
              0.69145,
              0.78235,
              0.94784,
              1.26832
            ],
            [
              0.56405,
              0.64333,
              0.69688,
              0.78778,
              0.95327,
              1.27378
            ],
            [
              0.57244,
              0.65171,
              0.70526,
              0.79615,
              0.96161,
              1.28201
            ],
            [
              0.58511,
              0.66439,
              0.71794,
              0.80882,
              0.97422,
              1.29462
            ],
            [
              0.60447,
              0.68375,
              0.73729,
              0.82821,
              0.99353,
              1.31363
            ],
            [
              0.63379,
              0.71306,
              0.76662,
              0.85746,
              1.02286,
              1.34326
            ],
            [
              0.67824,
              0.75755,
              0.81105,
              0.90195,
              1.06745,
              1.38795
            ],
            [
              0.74289,
              0.82219,
              0.87569,
              0.96659,
              1.13209,
              1.45249
            ],
            [
              0.83032,
              0.90962,
              0.96312,
              1.05402,
              1.21942,
              1.54002
            ],
            [
              0.94077,
              1.01997,
              1.07347,
              1.16427,
              1.32977,
              1.65017
            ],
            [
              1.0742,
              1.1534,
              1.2068,
              1.2975,
              1.4626,
              1.7831
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.53051,
              0.61647,
              0.68506,
              0.81688,
              1.07747,
              1.59607
            ],
            [
              0.53359,
              0.61958,
              0.68812,
              0.81995,
              1.08054,
              1.59904
            ],
            [
              0.53735,
              0.6233,
              0.6919,
              0.82358,
              1.08372,
              1.60232
            ],
            [
              0.54299,
              0.62896,
              0.69754,
              0.82935,
              1.08998,
              1.60858
            ],
            [
              0.55146,
              0.63741,
              0.706,
              0.83769,
              1.09781,
              1.61631
            ],
            [
              0.56427,
              0.65026,
              0.7188,
              0.8504,
              1.11052,
              1.62932
            ],
            [
              0.58368,
              0.66963,
              0.73827,
              0.87003,
              1.13053,
              1.64933
            ],
            [
              0.61277,
              0.69875,
              0.7673,
              0.89916,
              1.15966,
              1.67756
            ],
            [
              0.65405,
              0.74003,
              0.80865,
              0.94045,
              1.20095,
              1.71975
            ],
            [
              0.71059,
              0.79659,
              0.86509,
              0.99699,
              1.25749,
              1.77519
            ],
            [
              0.78602,
              0.87202,
              0.94042,
              1.07202,
              1.33212,
              1.85092
            ],
            [
              0.88157,
              0.96747,
              1.03597,
              1.16777,
              1.42817,
              1.94697
            ],
            [
              1.0007,
              1.0866,
              1.155,
              1.2865,
              1.5467,
              2.0656
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.0405,
              0.10293,
              0.1546,
              0.25521,
              0.46035,
              0.88666
            ],
            [
              0.04049,
              0.10295,
              0.15439,
              0.25497,
              0.46079,
              0.88585
            ],
            [
              0.04048,
              0.10271,
              0.1544,
              0.25513,
              0.46087,
              0.88621
            ],
            [
              0.04049,
              0.10271,
              0.15439,
              0.25501,
              0.46079,
              0.88604
            ],
            [
              0.0405,
              0.10277,
              0.15444,
              0.25517,
              0.46067,
              0.8866
            ],
            [
              0.04049,
              0.10287,
              0.15446,
              0.25519,
              0.46061,
              0.88663
            ],
            [
              0.04055,
              0.1027,
              0.1548,
              0.25531,
              0.46027,
              0.8866
            ],
            [
              0.04047,
              0.10272,
              0.15441,
              0.25516,
              0.46059,
              0.8867
            ],
            [
              0.04048,
              0.10268,
              0.15436,
              0.2547,
              0.4608,
              0.886
            ],
            [
              0.0405,
              0.1028,
              0.1544,
              0.2551,
              0.4608,
              0.8864
            ],
            [
              0.0404,
              0.1027,
              0.1543,
              0.2548,
              0.4607,
              0.8856
            ],
            [
              0.0404,
              0.1026,
              0.1543,
              0.255,
              0.4608,
              0.886
            ],
            [
              0.0404,
              0.1025,
              0.154,
              0.2544,
              0.4598,
              0.887
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.04419,
              0.12726,
              0.215,
              0.39569,
              0.76345,
              1.50231
            ],
            [
              0.04424,
              0.12745,
              0.21502,
              0.39569,
              0.76244,
              1.5024
            ],
            [
              0.04421,
              0.1274,
              0.21476,
              0.396,
              0.76376,
              1.50107
            ],
            [
              0.04419,
              0.12727,
              0.21501,
              0.39572,
              0.76347,
              1.50233
            ],
            [
              0.04423,
              0.12742,
              0.21474,
              0.39608,
              0.76383,
              1.5012
            ],
            [
              0.04423,
              0.12745,
              0.21464,
              0.39606,
              0.76332,
              1.5001
            ],
            [
              0.04421,
              0.12732,
              0.21488,
              0.39587,
              0.76371,
              1.4991
            ],
            [
              0.04422,
              0.12729,
              0.21505,
              0.39553,
              0.76318,
              1.5011
            ],
            [
              0.04424,
              0.12727,
              0.21505,
              0.3956,
              0.7635,
              1.5023
            ],
            [
              0.0443,
              0.1273,
              0.215,
              0.3954,
              0.7631,
              1.5019
            ],
            [
              0.0442,
              0.1273,
              0.2148,
              0.396,
              0.7633,
              1.5004
            ],
            [
              0.0441,
              0.1273,
              0.215,
              0.3958,
              0.7629,
              1.5047
            ],
            [
              0.044,
              0.1273,
              0.2146,
              0.3954,
              0.7626,
              1.4996
            ]
          ]
        },
        "sdf_cond": "(B&CI)",
        "timing_sense": "positive_unate",
        "when": "(B&CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.42329,
              0.50065,
              0.55349,
              0.64378,
              0.80868,
              1.12897
            ],
            [
              0.42528,
              0.50263,
              0.55549,
              0.64573,
              0.81088,
              1.13124
            ],
            [
              0.42807,
              0.50544,
              0.55829,
              0.64856,
              0.81369,
              1.13412
            ],
            [
              0.43269,
              0.51006,
              0.56293,
              0.65319,
              0.81837,
              1.13878
            ],
            [
              0.44024,
              0.51761,
              0.5705,
              0.66081,
              0.82588,
              1.14601
            ],
            [
              0.45221,
              0.5296,
              0.58247,
              0.67278,
              0.83785,
              1.15842
            ],
            [
              0.47088,
              0.54827,
              0.60114,
              0.69147,
              0.85647,
              1.17703
            ],
            [
              0.4995,
              0.57686,
              0.62976,
              0.72007,
              0.88526,
              1.20546
            ],
            [
              0.54143,
              0.61877,
              0.67165,
              0.76195,
              0.92715,
              1.24735
            ],
            [
              0.59875,
              0.67599,
              0.72889,
              0.81919,
              0.98409,
              1.30439
            ],
            [
              0.66902,
              0.74622,
              0.79892,
              0.88922,
              1.05412,
              1.37452
            ],
            [
              0.75057,
              0.82747,
              0.88007,
              0.97017,
              1.13507,
              1.45537
            ],
            [
              0.8443,
              0.921,
              0.9735,
              1.0634,
              1.228,
              1.5476
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.39002,
              0.479,
              0.54873,
              0.68104,
              0.94259,
              1.46127
            ],
            [
              0.39276,
              0.48181,
              0.55147,
              0.68397,
              0.94485,
              1.46244
            ],
            [
              0.39638,
              0.48538,
              0.55496,
              0.68752,
              0.94853,
              1.46692
            ],
            [
              0.40187,
              0.49095,
              0.56054,
              0.69288,
              0.95347,
              1.47277
            ],
            [
              0.41013,
              0.49923,
              0.56901,
              0.70127,
              0.96201,
              1.48121
            ],
            [
              0.42216,
              0.51145,
              0.58125,
              0.71399,
              0.97442,
              1.49392
            ],
            [
              0.4396,
              0.52916,
              0.59914,
              0.73212,
              0.99273,
              1.51163
            ],
            [
              0.46511,
              0.55496,
              0.62522,
              0.75853,
              1.01946,
              1.53916
            ],
            [
              0.503,
              0.59314,
              0.66364,
              0.79735,
              1.05955,
              1.57885
            ],
            [
              0.55568,
              0.64649,
              0.71729,
              0.85149,
              1.11399,
              1.63369
            ],
            [
              0.61522,
              0.70652,
              0.77802,
              0.91282,
              1.17542,
              1.69632
            ],
            [
              0.68267,
              0.77447,
              0.84617,
              0.98167,
              1.24557,
              1.76607
            ],
            [
              0.7592,
              0.8513,
              0.9237,
              1.0597,
              1.323,
              1.8441
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.03826,
              0.09964,
              0.15144,
              0.25302,
              0.45873,
              0.8857
            ],
            [
              0.03823,
              0.09967,
              0.1518,
              0.25272,
              0.45931,
              0.8853
            ],
            [
              0.03828,
              0.09964,
              0.1515,
              0.25269,
              0.45925,
              0.88443
            ],
            [
              0.03828,
              0.09966,
              0.15157,
              0.25271,
              0.45936,
              0.88464
            ],
            [
              0.03827,
              0.0997,
              0.15158,
              0.25275,
              0.45924,
              0.88589
            ],
            [
              0.03831,
              0.09994,
              0.15151,
              0.25266,
              0.45921,
              0.88429
            ],
            [
              0.03832,
              0.09985,
              0.15152,
              0.25256,
              0.45902,
              0.8843
            ],
            [
              0.03833,
              0.09974,
              0.15174,
              0.2528,
              0.4593,
              0.88593
            ],
            [
              0.03838,
              0.09974,
              0.15143,
              0.2528,
              0.4593,
              0.8858
            ],
            [
              0.03826,
              0.09972,
              0.1515,
              0.2527,
              0.4588,
              0.8857
            ],
            [
              0.038,
              0.0994,
              0.1513,
              0.2527,
              0.459,
              0.8852
            ],
            [
              0.0377,
              0.0991,
              0.1509,
              0.2524,
              0.4589,
              0.8854
            ],
            [
              0.0375,
              0.0986,
              0.1503,
              0.2516,
              0.4576,
              0.8838
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.04369,
              0.1282,
              0.21571,
              0.39657,
              0.76236,
              1.5034
            ],
            [
              0.04375,
              0.12823,
              0.21545,
              0.39615,
              0.7636,
              1.49953
            ],
            [
              0.04374,
              0.12816,
              0.21573,
              0.39569,
              0.76291,
              1.50154
            ],
            [
              0.04378,
              0.12823,
              0.21528,
              0.39646,
              0.76259,
              1.50325
            ],
            [
              0.04381,
              0.12833,
              0.21553,
              0.39653,
              0.76303,
              1.50121
            ],
            [
              0.04377,
              0.12823,
              0.21536,
              0.39558,
              0.76276,
              1.50167
            ],
            [
              0.04384,
              0.1282,
              0.21525,
              0.39579,
              0.76267,
              1.50062
            ],
            [
              0.04393,
              0.12826,
              0.21527,
              0.39571,
              0.76267,
              1.5016
            ],
            [
              0.04397,
              0.12826,
              0.21535,
              0.39571,
              0.76427,
              1.5031
            ],
            [
              0.04405,
              0.12835,
              0.21581,
              0.396,
              0.7637,
              1.5016
            ],
            [
              0.0435,
              0.1283,
              0.2157,
              0.3963,
              0.7627,
              1.5011
            ],
            [
              0.0433,
              0.1281,
              0.2152,
              0.396,
              0.764,
              1.5029
            ],
            [
              0.0429,
              0.1279,
              0.2152,
              0.3957,
              0.7625,
              1.4993
            ]
          ]
        },
        "sdf_cond": "(!A&!CI)",
        "timing_sense": "positive_unate",
        "when": "(!A&!CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.36192,
              0.4428,
              0.4973,
              0.58927,
              0.75552,
              1.07687
            ],
            [
              0.36423,
              0.44512,
              0.4996,
              0.59156,
              0.75779,
              1.07914
            ],
            [
              0.36746,
              0.44832,
              0.50282,
              0.59476,
              0.76097,
              1.08222
            ],
            [
              0.37248,
              0.45339,
              0.50785,
              0.59979,
              0.76604,
              1.08738
            ],
            [
              0.38001,
              0.46098,
              0.51551,
              0.60746,
              0.77372,
              1.09501
            ],
            [
              0.39083,
              0.47188,
              0.52649,
              0.61848,
              0.78476,
              1.10612
            ],
            [
              0.40615,
              0.48738,
              0.54205,
              0.63415,
              0.80047,
              1.12193
            ],
            [
              0.4286,
              0.51,
              0.56476,
              0.65698,
              0.82346,
              1.14506
            ],
            [
              0.4621,
              0.54364,
              0.59852,
              0.69093,
              0.85755,
              1.17935
            ],
            [
              0.5088,
              0.59058,
              0.64559,
              0.73829,
              0.90529,
              1.22739
            ],
            [
              0.56802,
              0.65062,
              0.70602,
              0.79922,
              0.96692,
              1.28972
            ],
            [
              0.64067,
              0.72397,
              0.77997,
              0.87407,
              1.04297,
              1.36667
            ],
            [
              0.728,
              0.8122,
              0.8691,
              0.9645,
              1.1348,
              1.4599
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.37926,
              0.46607,
              0.53581,
              0.66901,
              0.93047,
              1.44957
            ],
            [
              0.38098,
              0.46775,
              0.53757,
              0.67075,
              0.93208,
              1.45104
            ],
            [
              0.38344,
              0.47019,
              0.54,
              0.67313,
              0.93446,
              1.45362
            ],
            [
              0.38755,
              0.47429,
              0.54409,
              0.67722,
              0.93856,
              1.45778
            ],
            [
              0.39434,
              0.481,
              0.55083,
              0.68391,
              0.94518,
              1.46441
            ],
            [
              0.40525,
              0.4919,
              0.56163,
              0.69481,
              0.95622,
              1.47532
            ],
            [
              0.42253,
              0.50912,
              0.57884,
              0.712,
              0.97343,
              1.49233
            ],
            [
              0.44952,
              0.53597,
              0.60573,
              0.73878,
              1.00006,
              1.51936
            ],
            [
              0.49074,
              0.57721,
              0.64686,
              0.78005,
              1.04135,
              1.56065
            ],
            [
              0.55224,
              0.63889,
              0.70869,
              0.84179,
              1.10319,
              1.62219
            ],
            [
              0.63832,
              0.72592,
              0.79592,
              0.92932,
              1.19082,
              1.71022
            ],
            [
              0.74477,
              0.83467,
              0.90567,
              1.03987,
              1.30237,
              1.82207
            ],
            [
              0.8721,
              0.9657,
              1.038,
              1.1736,
              1.4366,
              1.9578
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.0392,
              0.10121,
              0.15333,
              0.2537,
              0.45989,
              0.88485
            ],
            [
              0.03921,
              0.10119,
              0.15298,
              0.25349,
              0.45921,
              0.88515
            ],
            [
              0.03917,
              0.1012,
              0.15306,
              0.25349,
              0.4591,
              0.88583
            ],
            [
              0.03919,
              0.10117,
              0.15325,
              0.25373,
              0.45908,
              0.88353
            ],
            [
              0.03919,
              0.1012,
              0.15326,
              0.25365,
              0.45991,
              0.88578
            ],
            [
              0.03915,
              0.10121,
              0.15285,
              0.25343,
              0.45931,
              0.88587
            ],
            [
              0.03919,
              0.10118,
              0.153,
              0.25343,
              0.45894,
              0.88583
            ],
            [
              0.03917,
              0.10139,
              0.15297,
              0.25335,
              0.46006,
              0.88358
            ],
            [
              0.03913,
              0.10111,
              0.15292,
              0.25333,
              0.45985,
              0.8828
            ],
            [
              0.03921,
              0.1014,
              0.1532,
              0.25358,
              0.4587,
              0.8845
            ],
            [
              0.0395,
              0.1016,
              0.1533,
              0.2537,
              0.4602,
              0.8853
            ],
            [
              0.0398,
              0.1019,
              0.1533,
              0.2537,
              0.4597,
              0.8855
            ],
            [
              0.0404,
              0.1023,
              0.1539,
              0.2545,
              0.4588,
              0.8838
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.03828,
              0.12531,
              0.21335,
              0.39477,
              0.76159,
              1.4993
            ],
            [
              0.03822,
              0.12493,
              0.21354,
              0.39499,
              0.76246,
              1.49943
            ],
            [
              0.03826,
              0.12528,
              0.21317,
              0.39422,
              0.76238,
              1.49815
            ],
            [
              0.03825,
              0.12527,
              0.21316,
              0.3942,
              0.76235,
              1.49822
            ],
            [
              0.03819,
              0.12516,
              0.21341,
              0.39449,
              0.76237,
              1.49975
            ],
            [
              0.03818,
              0.12524,
              0.2134,
              0.39523,
              0.7611,
              1.498
            ],
            [
              0.03815,
              0.12516,
              0.21343,
              0.39526,
              0.76085,
              1.49845
            ],
            [
              0.03813,
              0.12511,
              0.21337,
              0.39452,
              0.76248,
              1.4996
            ],
            [
              0.03811,
              0.12517,
              0.21323,
              0.39442,
              0.7624,
              1.4996
            ],
            [
              0.03818,
              0.12501,
              0.21353,
              0.3951,
              0.7612,
              1.4981
            ],
            [
              0.0389,
              0.1256,
              0.2136,
              0.3951,
              0.7628,
              1.4996
            ],
            [
              0.0407,
              0.1261,
              0.2143,
              0.3951,
              0.7623,
              1.499
            ],
            [
              0.0437,
              0.1276,
              0.2151,
              0.3959,
              0.7617,
              1.5004
            ]
          ]
        },
        "sdf_cond": "(!A&CI)",
        "timing_sense": "negative_unate",
        "when": "(!A&CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.3341,
              0.4116,
              0.46458,
              0.55493,
              0.71996,
              1.04057
            ],
            [
              0.33625,
              0.41373,
              0.46671,
              0.55706,
              0.72207,
              1.04274
            ],
            [
              0.3392,
              0.41669,
              0.46966,
              0.56,
              0.72502,
              1.04562
            ],
            [
              0.34401,
              0.42147,
              0.47445,
              0.56478,
              0.72979,
              1.05038
            ],
            [
              0.35152,
              0.42898,
              0.48195,
              0.57226,
              0.73728,
              1.05781
            ],
            [
              0.36293,
              0.44037,
              0.49334,
              0.58366,
              0.74867,
              1.06922
            ],
            [
              0.38016,
              0.4576,
              0.51056,
              0.60089,
              0.7659,
              1.08653
            ],
            [
              0.40597,
              0.48342,
              0.53639,
              0.62674,
              0.79178,
              1.11236
            ],
            [
              0.44342,
              0.5209,
              0.5739,
              0.66429,
              0.82935,
              1.15005
            ],
            [
              0.49327,
              0.57083,
              0.6239,
              0.71439,
              0.87959,
              1.20029
            ],
            [
              0.55452,
              0.63262,
              0.68592,
              0.77672,
              0.94212,
              1.26302
            ],
            [
              0.62847,
              0.70717,
              0.76087,
              0.85217,
              1.01807,
              1.33927
            ],
            [
              0.7164,
              0.7963,
              0.8508,
              0.9428,
              1.1094,
              1.431
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.4049,
              0.49523,
              0.56633,
              0.70081,
              0.96295,
              1.48337
            ],
            [
              0.40649,
              0.49681,
              0.56792,
              0.70241,
              0.96464,
              1.48514
            ],
            [
              0.40879,
              0.49912,
              0.57026,
              0.70449,
              0.96694,
              1.48712
            ],
            [
              0.41268,
              0.50299,
              0.57417,
              0.70849,
              0.97098,
              1.49138
            ],
            [
              0.41909,
              0.50943,
              0.58061,
              0.7151,
              0.97751,
              1.49791
            ],
            [
              0.42937,
              0.51974,
              0.59089,
              0.7252,
              0.98782,
              1.50832
            ],
            [
              0.44556,
              0.53594,
              0.60706,
              0.74156,
              1.00403,
              1.52423
            ],
            [
              0.47069,
              0.56112,
              0.63221,
              0.76682,
              1.02926,
              1.54996
            ],
            [
              0.50904,
              0.59943,
              0.67054,
              0.80515,
              1.06775,
              1.58845
            ],
            [
              0.56551,
              0.65589,
              0.72719,
              0.86189,
              1.12459,
              1.64549
            ],
            [
              0.64382,
              0.73482,
              0.80622,
              0.94122,
              1.20462,
              1.72562
            ],
            [
              0.74037,
              0.83317,
              0.90567,
              1.04187,
              1.30607,
              1.82807
            ],
            [
              0.8554,
              0.9509,
              1.0247,
              1.1622,
              1.4275,
              1.9508
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.03677,
              0.09811,
              0.14976,
              0.25063,
              0.45724,
              0.88309
            ],
            [
              0.03677,
              0.09811,
              0.14965,
              0.25052,
              0.45665,
              0.88296
            ],
            [
              0.03678,
              0.09807,
              0.14976,
              0.25048,
              0.45715,
              0.88181
            ],
            [
              0.03678,
              0.09802,
              0.14987,
              0.25054,
              0.45703,
              0.88169
            ],
            [
              0.03677,
              0.09806,
              0.14972,
              0.25044,
              0.45715,
              0.88243
            ],
            [
              0.03677,
              0.09803,
              0.14975,
              0.25043,
              0.45716,
              0.88225
            ],
            [
              0.03679,
              0.09806,
              0.14971,
              0.25066,
              0.45716,
              0.88303
            ],
            [
              0.03677,
              0.09805,
              0.14981,
              0.25052,
              0.45713,
              0.88249
            ],
            [
              0.03677,
              0.09807,
              0.14971,
              0.25047,
              0.45708,
              0.88258
            ],
            [
              0.03682,
              0.09815,
              0.14982,
              0.25046,
              0.4573,
              0.883
            ],
            [
              0.037,
              0.0986,
              0.1501,
              0.251,
              0.4575,
              0.8834
            ],
            [
              0.0373,
              0.0988,
              0.1503,
              0.2516,
              0.4577,
              0.8835
            ],
            [
              0.0378,
              0.0994,
              0.1511,
              0.2522,
              0.4574,
              0.883
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.0426,
              0.1277,
              0.21503,
              0.39625,
              0.76198,
              1.49943
            ],
            [
              0.04257,
              0.12781,
              0.21502,
              0.3957,
              0.76174,
              1.4973
            ],
            [
              0.04256,
              0.1278,
              0.21507,
              0.39643,
              0.76207,
              1.49975
            ],
            [
              0.04262,
              0.12779,
              0.21497,
              0.39642,
              0.7625,
              1.49823
            ],
            [
              0.04251,
              0.12777,
              0.21535,
              0.39548,
              0.76234,
              1.4973
            ],
            [
              0.04242,
              0.12778,
              0.21506,
              0.39636,
              0.7623,
              1.49809
            ],
            [
              0.04238,
              0.12775,
              0.21526,
              0.39613,
              0.76191,
              1.49958
            ],
            [
              0.04227,
              0.12767,
              0.21522,
              0.39624,
              0.76158,
              1.4993
            ],
            [
              0.04215,
              0.12764,
              0.21503,
              0.39617,
              0.76172,
              1.4992
            ],
            [
              0.0422,
              0.12755,
              0.2153,
              0.3963,
              0.7616,
              1.4974
            ],
            [
              0.0427,
              0.1279,
              0.2153,
              0.3965,
              0.7617,
              1.4996
            ],
            [
              0.0448,
              0.1285,
              0.2157,
              0.3966,
              0.7628,
              1.4979
            ],
            [
              0.0477,
              0.1299,
              0.2168,
              0.3963,
              0.7626,
              1.4986
            ]
          ]
        },
        "sdf_cond": "(A&!CI)",
        "timing_sense": "negative_unate",
        "when": "(A&!CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.41216,
              0.49201,
              0.54601,
              0.6375,
              0.80325,
              1.12397
            ],
            [
              0.41415,
              0.49396,
              0.54799,
              0.63952,
              0.80554,
              1.12644
            ],
            [
              0.4169,
              0.49674,
              0.55078,
              0.64228,
              0.80806,
              1.12902
            ],
            [
              0.42147,
              0.50135,
              0.55537,
              0.64692,
              0.81273,
              1.13398
            ],
            [
              0.42895,
              0.50884,
              0.5629,
              0.6544,
              0.82034,
              1.14151
            ],
            [
              0.44078,
              0.52069,
              0.57477,
              0.66639,
              0.83232,
              1.15362
            ],
            [
              0.45915,
              0.5391,
              0.59323,
              0.68488,
              0.85102,
              1.17193
            ],
            [
              0.48729,
              0.56733,
              0.62155,
              0.71331,
              0.87946,
              1.20086
            ],
            [
              0.52871,
              0.60885,
              0.66318,
              0.75505,
              0.92135,
              1.24275
            ],
            [
              0.58488,
              0.66529,
              0.71969,
              0.81179,
              0.97839,
              1.29979
            ],
            [
              0.65302,
              0.73372,
              0.78842,
              0.88072,
              1.04752,
              1.36862
            ],
            [
              0.73337,
              0.81447,
              0.86937,
              0.96177,
              1.12827,
              1.44987
            ],
            [
              0.8267,
              0.9082,
              0.9632,
              1.0557,
              1.2223,
              1.5431
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.38997,
              0.47569,
              0.54436,
              0.67635,
              0.93699,
              1.45547
            ],
            [
              0.39283,
              0.47856,
              0.54725,
              0.67923,
              0.93991,
              1.45794
            ],
            [
              0.39649,
              0.48229,
              0.55098,
              0.68287,
              0.94306,
              1.46102
            ],
            [
              0.40214,
              0.48792,
              0.55661,
              0.68837,
              0.94842,
              1.46748
            ],
            [
              0.41042,
              0.49623,
              0.5649,
              0.69685,
              0.95701,
              1.47561
            ],
            [
              0.42228,
              0.50805,
              0.57665,
              0.70872,
              0.96912,
              1.48882
            ],
            [
              0.43927,
              0.52503,
              0.5937,
              0.72541,
              0.98553,
              1.50463
            ],
            [
              0.46371,
              0.54939,
              0.61802,
              0.74971,
              1.00996,
              1.52916
            ],
            [
              0.49925,
              0.58488,
              0.65336,
              0.78535,
              1.04595,
              1.56365
            ],
            [
              0.54865,
              0.63409,
              0.70269,
              0.83449,
              1.09499,
              1.61369
            ],
            [
              0.60492,
              0.69012,
              0.75862,
              0.89032,
              1.15032,
              1.66912
            ],
            [
              0.66937,
              0.75447,
              0.82287,
              0.95427,
              1.21487,
              1.73377
            ],
            [
              0.7433,
              0.8282,
              0.8965,
              1.0284,
              1.2879,
              1.8069
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.03965,
              0.10178,
              0.15343,
              0.25455,
              0.45985,
              0.88644
            ],
            [
              0.03963,
              0.10182,
              0.15395,
              0.25413,
              0.46031,
              0.88633
            ],
            [
              0.03963,
              0.10195,
              0.1535,
              0.25421,
              0.45981,
              0.88651
            ],
            [
              0.03964,
              0.10182,
              0.15398,
              0.25486,
              0.45991,
              0.88477
            ],
            [
              0.03965,
              0.10179,
              0.15355,
              0.25445,
              0.45998,
              0.88525
            ],
            [
              0.03969,
              0.10185,
              0.15354,
              0.25464,
              0.46003,
              0.88502
            ],
            [
              0.03976,
              0.10188,
              0.15374,
              0.25452,
              0.46008,
              0.88652
            ],
            [
              0.0398,
              0.10213,
              0.15377,
              0.25424,
              0.46018,
              0.88584
            ],
            [
              0.03976,
              0.10199,
              0.15385,
              0.25439,
              0.45989,
              0.8864
            ],
            [
              0.0398,
              0.10194,
              0.1538,
              0.2546,
              0.4602,
              0.8857
            ],
            [
              0.0396,
              0.102,
              0.1537,
              0.2544,
              0.4604,
              0.8863
            ],
            [
              0.0395,
              0.1016,
              0.1531,
              0.2544,
              0.4599,
              0.8857
            ],
            [
              0.0394,
              0.1016,
              0.1531,
              0.2539,
              0.459,
              0.8849
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.0431,
              0.12692,
              0.21444,
              0.39502,
              0.76211,
              1.50286
            ],
            [
              0.04303,
              0.12692,
              0.21433,
              0.39508,
              0.76389,
              1.50056
            ],
            [
              0.04313,
              0.1269,
              0.21475,
              0.39583,
              0.76379,
              1.49979
            ],
            [
              0.04308,
              0.12682,
              0.21455,
              0.39595,
              0.76339,
              1.50076
            ],
            [
              0.04305,
              0.12685,
              0.21478,
              0.39575,
              0.76391,
              1.50143
            ],
            [
              0.0431,
              0.12705,
              0.21468,
              0.39551,
              0.76377,
              1.49871
            ],
            [
              0.04304,
              0.12696,
              0.21454,
              0.39589,
              0.76326,
              1.5008
            ],
            [
              0.04297,
              0.1268,
              0.21444,
              0.39581,
              0.763,
              1.5013
            ],
            [
              0.04291,
              0.12686,
              0.21462,
              0.39539,
              0.76381,
              1.4988
            ],
            [
              0.04263,
              0.12702,
              0.21428,
              0.395,
              0.763,
              1.5011
            ],
            [
              0.0422,
              0.1265,
              0.2145,
              0.3959,
              0.7623,
              1.5011
            ],
            [
              0.0417,
              0.1265,
              0.214,
              0.3954,
              0.7625,
              1.5019
            ],
            [
              0.0414,
              0.1265,
              0.2143,
              0.3948,
              0.7614,
              1.4999
            ]
          ]
        },
        "sdf_cond": "(A&CI)",
        "timing_sense": "positive_unate",
        "when": "(A&CI)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.25931,
              0.34039,
              0.39405,
              0.4848,
              0.64992,
              0.97065
            ],
            [
              0.26213,
              0.34322,
              0.39689,
              0.48765,
              0.65298,
              0.97297
            ],
            [
              0.26559,
              0.34668,
              0.40035,
              0.4911,
              0.65631,
              0.97685
            ],
            [
              0.27091,
              0.352,
              0.40568,
              0.49647,
              0.66173,
              0.98208
            ],
            [
              0.27915,
              0.36024,
              0.41392,
              0.50472,
              0.67001,
              0.99011
            ],
            [
              0.29176,
              0.37281,
              0.42649,
              0.51727,
              0.68252,
              1.00312
            ],
            [
              0.31095,
              0.39193,
              0.44561,
              0.53642,
              0.70183,
              1.02213
            ],
            [
              0.34024,
              0.42109,
              0.47478,
              0.56564,
              0.73108,
              1.05136
            ],
            [
              0.3837,
              0.46445,
              0.51817,
              0.60909,
              0.77455,
              1.09505
            ],
            [
              0.44669,
              0.5275,
              0.58125,
              0.67229,
              0.83769,
              1.15859
            ],
            [
              0.52932,
              0.61282,
              0.66712,
              0.75862,
              0.92422,
              1.24512
            ],
            [
              0.63037,
              0.71937,
              0.77617,
              0.86987,
              1.03677,
              1.35787
            ],
            [
              0.7528,
              0.8487,
              0.9085,
              1.0054,
              1.1753,
              1.4977
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.16749,
              0.25259,
              0.32101,
              0.45208,
              0.71211,
              1.23057
            ],
            [
              0.17046,
              0.25556,
              0.32392,
              0.45491,
              0.71499,
              1.23354
            ],
            [
              0.17406,
              0.25916,
              0.3275,
              0.45868,
              0.71865,
              1.23702
            ],
            [
              0.17955,
              0.2646,
              0.333,
              0.46403,
              0.72408,
              1.24267
            ],
            [
              0.18764,
              0.27278,
              0.34118,
              0.47236,
              0.73238,
              1.25101
            ],
            [
              0.19998,
              0.28501,
              0.35345,
              0.48446,
              0.74465,
              1.26332
            ],
            [
              0.21831,
              0.30329,
              0.37174,
              0.50275,
              0.76294,
              1.28163
            ],
            [
              0.2452,
              0.33,
              0.39838,
              0.52977,
              0.7895,
              1.30826
            ],
            [
              0.28246,
              0.36724,
              0.43552,
              0.56694,
              0.82745,
              1.34485
            ],
            [
              0.33049,
              0.41715,
              0.48556,
              0.61673,
              0.87739,
              1.39619
            ],
            [
              0.38999,
              0.48032,
              0.54962,
              0.68102,
              0.94122,
              1.46072
            ],
            [
              0.46287,
              0.55857,
              0.62897,
              0.76107,
              1.02147,
              1.54107
            ],
            [
              0.55,
              0.6541,
              0.7263,
              0.8592,
              1.1198,
              1.6388
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.04331,
              0.1026,
              0.15333,
              0.25393,
              0.45949,
              0.88466
            ],
            [
              0.04333,
              0.1026,
              0.15334,
              0.25392,
              0.45985,
              0.8859
            ],
            [
              0.04332,
              0.10245,
              0.15374,
              0.25392,
              0.4594,
              0.88574
            ],
            [
              0.04332,
              0.1026,
              0.15334,
              0.25412,
              0.45976,
              0.88607
            ],
            [
              0.04332,
              0.10247,
              0.15335,
              0.25404,
              0.45983,
              0.88582
            ],
            [
              0.04333,
              0.10247,
              0.15336,
              0.25394,
              0.45954,
              0.88453
            ],
            [
              0.0433,
              0.1025,
              0.15348,
              0.25395,
              0.45985,
              0.88588
            ],
            [
              0.04333,
              0.10256,
              0.15351,
              0.254,
              0.45994,
              0.88612
            ],
            [
              0.04345,
              0.10276,
              0.15358,
              0.25405,
              0.45964,
              0.88519
            ],
            [
              0.04412,
              0.10321,
              0.15397,
              0.25394,
              0.45943,
              0.8844
            ],
            [
              0.048,
              0.106,
              0.1557,
              0.2548,
              0.4597,
              0.8845
            ],
            [
              0.0534,
              0.1127,
              0.1622,
              0.2601,
              0.4626,
              0.8866
            ],
            [
              0.0612,
              0.1213,
              0.1713,
              0.2684,
              0.4687,
              0.8883
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.03741,
              0.1253,
              0.21335,
              0.39462,
              0.76299,
              1.50125
            ],
            [
              0.03741,
              0.1252,
              0.21314,
              0.39474,
              0.76278,
              1.50112
            ],
            [
              0.03741,
              0.1253,
              0.21325,
              0.3946,
              0.76284,
              1.5008
            ],
            [
              0.03742,
              0.12529,
              0.21336,
              0.39474,
              0.76269,
              1.50114
            ],
            [
              0.03742,
              0.12524,
              0.21308,
              0.39471,
              0.76297,
              1.50459
            ],
            [
              0.03743,
              0.12537,
              0.21347,
              0.39474,
              0.76297,
              1.50296
            ],
            [
              0.03747,
              0.12566,
              0.21352,
              0.39473,
              0.76297,
              1.50309
            ],
            [
              0.03749,
              0.12549,
              0.21318,
              0.39443,
              0.76225,
              1.50458
            ],
            [
              0.03802,
              0.12571,
              0.21335,
              0.39446,
              0.76336,
              1.50091
            ],
            [
              0.04034,
              0.12706,
              0.21406,
              0.39484,
              0.7625,
              1.5042
            ],
            [
              0.04363,
              0.1304,
              0.2157,
              0.3958,
              0.762,
              1.5016
            ],
            [
              0.0486,
              0.135,
              0.2196,
              0.397,
              0.7634,
              1.5019
            ],
            [
              0.0564,
              0.1421,
              0.2244,
              0.3996,
              0.7636,
              1.5024
            ]
          ]
        },
        "sdf_cond": "(!A&!B)",
        "timing_sense": "positive_unate",
        "when": "(!A&!B)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.29323,
              0.37255,
              0.42507,
              0.51486,
              0.67993,
              1.00027
            ],
            [
              0.29615,
              0.37546,
              0.42797,
              0.51776,
              0.68273,
              1.00314
            ],
            [
              0.29972,
              0.37899,
              0.43153,
              0.52131,
              0.68627,
              1.00662
            ],
            [
              0.30499,
              0.38436,
              0.43688,
              0.52668,
              0.69168,
              1.01198
            ],
            [
              0.31305,
              0.39241,
              0.44491,
              0.53474,
              0.6998,
              1.02011
            ],
            [
              0.32516,
              0.40455,
              0.4571,
              0.54693,
              0.71193,
              1.03232
            ],
            [
              0.34289,
              0.42227,
              0.47485,
              0.56472,
              0.72969,
              1.05013
            ],
            [
              0.36652,
              0.44591,
              0.49851,
              0.58847,
              0.75359,
              1.07386
            ],
            [
              0.39613,
              0.47538,
              0.528,
              0.61808,
              0.78325,
              1.10375
            ],
            [
              0.43219,
              0.51126,
              0.56386,
              0.65419,
              0.81949,
              1.13999
            ],
            [
              0.47572,
              0.55442,
              0.60712,
              0.69772,
              0.86322,
              1.18362
            ],
            [
              0.52797,
              0.60637,
              0.65937,
              0.75037,
              0.91577,
              1.23607
            ],
            [
              0.5898,
              0.6683,
              0.7217,
              0.813,
              0.9783,
              1.2982
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.2663,
              0.34905,
              0.41663,
              0.54713,
              0.80618,
              1.32437
            ],
            [
              0.26886,
              0.3516,
              0.41922,
              0.5498,
              0.80883,
              1.32704
            ],
            [
              0.27221,
              0.35497,
              0.42255,
              0.55314,
              0.8123,
              1.33032
            ],
            [
              0.2774,
              0.36009,
              0.42761,
              0.55822,
              0.81742,
              1.33548
            ],
            [
              0.28548,
              0.36818,
              0.43583,
              0.56636,
              0.82536,
              1.34351
            ],
            [
              0.29801,
              0.38074,
              0.44835,
              0.57886,
              0.83806,
              1.35592
            ],
            [
              0.31729,
              0.40004,
              0.46763,
              0.5982,
              0.85734,
              1.37533
            ],
            [
              0.3463,
              0.42897,
              0.49651,
              0.62705,
              0.88616,
              1.40436
            ],
            [
              0.38671,
              0.46948,
              0.537,
              0.66752,
              0.92675,
              1.44485
            ],
            [
              0.43814,
              0.521,
              0.58847,
              0.71879,
              0.97809,
              1.49619
            ],
            [
              0.49982,
              0.58292,
              0.65052,
              0.78102,
              1.04032,
              1.55842
            ],
            [
              0.57377,
              0.65737,
              0.72507,
              0.85567,
              1.11497,
              1.63297
            ],
            [
              0.6623,
              0.7466,
              0.8144,
              0.9453,
              1.2045,
              1.7226
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.04133,
              0.10342,
              0.15503,
              0.25576,
              0.46086,
              0.88431
            ],
            [
              0.04133,
              0.10343,
              0.15499,
              0.25575,
              0.46047,
              0.88449
            ],
            [
              0.0413,
              0.10359,
              0.15497,
              0.25577,
              0.46048,
              0.88484
            ],
            [
              0.0413,
              0.10345,
              0.155,
              0.25556,
              0.46069,
              0.88414
            ],
            [
              0.04136,
              0.10343,
              0.15515,
              0.25543,
              0.46086,
              0.88418
            ],
            [
              0.0413,
              0.10343,
              0.15514,
              0.2557,
              0.4605,
              0.88419
            ],
            [
              0.04131,
              0.10348,
              0.15507,
              0.25555,
              0.46049,
              0.88436
            ],
            [
              0.04137,
              0.10343,
              0.15504,
              0.25612,
              0.46086,
              0.88396
            ],
            [
              0.04132,
              0.10345,
              0.15519,
              0.25538,
              0.46062,
              0.88472
            ],
            [
              0.04143,
              0.10345,
              0.155,
              0.25599,
              0.46061,
              0.8846
            ],
            [
              0.0415,
              0.1036,
              0.1552,
              0.2557,
              0.4603,
              0.8855
            ],
            [
              0.0416,
              0.1036,
              0.1552,
              0.2552,
              0.4611,
              0.8834
            ],
            [
              0.0418,
              0.1039,
              0.1554,
              0.2559,
              0.4607,
              0.8835
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.03646,
              0.12438,
              0.21291,
              0.39491,
              0.76183,
              1.49892
            ],
            [
              0.03643,
              0.12432,
              0.21274,
              0.3946,
              0.76174,
              1.49847
            ],
            [
              0.03635,
              0.12439,
              0.21274,
              0.39455,
              0.76195,
              1.49888
            ],
            [
              0.03643,
              0.12423,
              0.21281,
              0.39473,
              0.76203,
              1.49868
            ],
            [
              0.03639,
              0.12433,
              0.21282,
              0.39459,
              0.76147,
              1.49912
            ],
            [
              0.03644,
              0.12426,
              0.21294,
              0.3949,
              0.76189,
              1.49718
            ],
            [
              0.03636,
              0.12427,
              0.21252,
              0.39491,
              0.76197,
              1.49927
            ],
            [
              0.03637,
              0.12438,
              0.21294,
              0.39452,
              0.76184,
              1.49891
            ],
            [
              0.03645,
              0.1244,
              0.21295,
              0.39445,
              0.76188,
              1.4992
            ],
            [
              0.03666,
              0.12441,
              0.21304,
              0.39463,
              0.7609,
              1.4992
            ],
            [
              0.0371,
              0.1249,
              0.213,
              0.3943,
              0.7617,
              1.4988
            ],
            [
              0.0376,
              0.1252,
              0.213,
              0.3944,
              0.7625,
              1.4968
            ],
            [
              0.0381,
              0.126,
              0.2142,
              0.3948,
              0.7614,
              1.4974
            ]
          ]
        },
        "sdf_cond": "(!A&B)",
        "timing_sense": "negative_unate",
        "when": "(!A&B)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.29312,
              0.37247,
              0.42503,
              0.51483,
              0.67976,
              1.00007
            ],
            [
              0.29604,
              0.37539,
              0.42793,
              0.51773,
              0.68265,
              1.00294
            ],
            [
              0.2996,
              0.37892,
              0.43149,
              0.52128,
              0.68619,
              1.00652
            ],
            [
              0.30486,
              0.38427,
              0.43683,
              0.52665,
              0.69161,
              1.01188
            ],
            [
              0.31293,
              0.39234,
              0.44487,
              0.53472,
              0.69972,
              1.01991
            ],
            [
              0.32505,
              0.40448,
              0.45707,
              0.5469,
              0.71183,
              1.03212
            ],
            [
              0.34277,
              0.4222,
              0.47481,
              0.56469,
              0.72961,
              1.05003
            ],
            [
              0.3664,
              0.44584,
              0.49847,
              0.58843,
              0.75351,
              1.07366
            ],
            [
              0.39601,
              0.47532,
              0.52798,
              0.61806,
              0.78315,
              1.10355
            ],
            [
              0.43208,
              0.51121,
              0.56384,
              0.65409,
              0.81939,
              1.13979
            ],
            [
              0.47562,
              0.55442,
              0.60712,
              0.69772,
              0.86312,
              1.18352
            ],
            [
              0.52787,
              0.60637,
              0.65937,
              0.75027,
              0.91557,
              1.23587
            ],
            [
              0.5897,
              0.6682,
              0.7217,
              0.8129,
              0.9781,
              1.298
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.26628,
              0.349,
              0.41663,
              0.54714,
              0.80622,
              1.32447
            ],
            [
              0.26884,
              0.35159,
              0.41923,
              0.5497,
              0.80886,
              1.32704
            ],
            [
              0.27219,
              0.35491,
              0.42256,
              0.55305,
              0.81226,
              1.33032
            ],
            [
              0.27737,
              0.36007,
              0.42761,
              0.55824,
              0.81744,
              1.33558
            ],
            [
              0.28546,
              0.36822,
              0.43581,
              0.56626,
              0.82532,
              1.34361
            ],
            [
              0.29799,
              0.38073,
              0.44832,
              0.57894,
              0.83811,
              1.35612
            ],
            [
              0.31728,
              0.40003,
              0.46761,
              0.59824,
              0.85735,
              1.37543
            ],
            [
              0.34628,
              0.42896,
              0.49651,
              0.62698,
              0.88626,
              1.40436
            ],
            [
              0.38672,
              0.46948,
              0.537,
              0.6675,
              0.92675,
              1.44485
            ],
            [
              0.43816,
              0.52101,
              0.58849,
              0.71879,
              0.97809,
              1.49619
            ],
            [
              0.49982,
              0.58292,
              0.65052,
              0.78112,
              1.04032,
              1.55842
            ],
            [
              0.57387,
              0.65747,
              0.72507,
              0.85567,
              1.11507,
              1.63287
            ],
            [
              0.6624,
              0.7466,
              0.8144,
              0.9453,
              1.2045,
              1.7226
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.04127,
              0.1034,
              0.15502,
              0.25575,
              0.46041,
              0.88427
            ],
            [
              0.04127,
              0.10356,
              0.15498,
              0.25572,
              0.46042,
              0.88425
            ],
            [
              0.04127,
              0.10363,
              0.15494,
              0.25576,
              0.46041,
              0.8849
            ],
            [
              0.04127,
              0.10356,
              0.15503,
              0.25552,
              0.46072,
              0.8842
            ],
            [
              0.04129,
              0.10342,
              0.15517,
              0.25538,
              0.46085,
              0.88424
            ],
            [
              0.04126,
              0.10342,
              0.15509,
              0.25568,
              0.46037,
              0.88424
            ],
            [
              0.04127,
              0.10356,
              0.15504,
              0.25549,
              0.46046,
              0.88431
            ],
            [
              0.04132,
              0.10363,
              0.15502,
              0.25553,
              0.46083,
              0.88401
            ],
            [
              0.04129,
              0.10343,
              0.15514,
              0.25535,
              0.46048,
              0.88469
            ],
            [
              0.04141,
              0.10342,
              0.15512,
              0.25582,
              0.4606,
              0.8845
            ],
            [
              0.0415,
              0.1035,
              0.1551,
              0.2557,
              0.4602,
              0.8851
            ],
            [
              0.0416,
              0.1037,
              0.1553,
              0.2552,
              0.4612,
              0.8862
            ],
            [
              0.0418,
              0.1038,
              0.1554,
              0.2559,
              0.4607,
              0.8835
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.03645,
              0.12458,
              0.21287,
              0.39491,
              0.76132,
              1.4988
            ],
            [
              0.03643,
              0.1243,
              0.21265,
              0.39477,
              0.76137,
              1.49764
            ],
            [
              0.03643,
              0.12463,
              0.21264,
              0.39475,
              0.76192,
              1.49884
            ],
            [
              0.03639,
              0.12427,
              0.21278,
              0.3949,
              0.76201,
              1.49733
            ],
            [
              0.03643,
              0.12426,
              0.21292,
              0.39476,
              0.76133,
              1.49863
            ],
            [
              0.03643,
              0.12425,
              0.21293,
              0.3949,
              0.76203,
              1.49931
            ],
            [
              0.03635,
              0.12427,
              0.21249,
              0.3949,
              0.76174,
              1.49935
            ],
            [
              0.03643,
              0.12438,
              0.21294,
              0.39471,
              0.76191,
              1.49856
            ],
            [
              0.03645,
              0.1244,
              0.21295,
              0.39453,
              0.76195,
              1.4981
            ],
            [
              0.03666,
              0.12443,
              0.21303,
              0.39461,
              0.7612,
              1.4993
            ],
            [
              0.037,
              0.1249,
              0.213,
              0.3943,
              0.7612,
              1.5008
            ],
            [
              0.0376,
              0.1252,
              0.2131,
              0.3943,
              0.7623,
              1.4988
            ],
            [
              0.0382,
              0.1259,
              0.2136,
              0.395,
              0.7614,
              1.4974
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "negative_unate",
        "when": "(A&!B)"
      },
      {
        "cell_fall,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.25954,
              0.34059,
              0.39424,
              0.48498,
              0.65036,
              0.97041
            ],
            [
              0.26236,
              0.34343,
              0.39708,
              0.48783,
              0.65317,
              0.97316
            ],
            [
              0.26582,
              0.34688,
              0.40054,
              0.49128,
              0.65664,
              0.97691
            ],
            [
              0.27114,
              0.3522,
              0.40586,
              0.49661,
              0.66197,
              0.98228
            ],
            [
              0.27938,
              0.36044,
              0.41411,
              0.5049,
              0.67016,
              0.99041
            ],
            [
              0.29199,
              0.37301,
              0.42668,
              0.51744,
              0.68268,
              1.00332
            ],
            [
              0.31117,
              0.39212,
              0.4458,
              0.53662,
              0.702,
              1.02223
            ],
            [
              0.34044,
              0.42127,
              0.47495,
              0.56581,
              0.73124,
              1.05146
            ],
            [
              0.38388,
              0.46461,
              0.51831,
              0.6092,
              0.77445,
              1.09515
            ],
            [
              0.44681,
              0.52762,
              0.58137,
              0.67239,
              0.83779,
              1.15869
            ],
            [
              0.52942,
              0.61292,
              0.66722,
              0.75872,
              0.92422,
              1.24522
            ],
            [
              0.63047,
              0.71937,
              0.77617,
              0.86997,
              1.03687,
              1.35787
            ],
            [
              0.7528,
              0.8487,
              0.9085,
              1.0055,
              1.1754,
              1.4977
            ]
          ]
        },
        "cell_rise,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.1673,
              0.25242,
              0.32083,
              0.45196,
              0.71162,
              1.22977
            ],
            [
              0.17027,
              0.25538,
              0.32376,
              0.4549,
              0.71495,
              1.23354
            ],
            [
              0.17386,
              0.25899,
              0.32744,
              0.4585,
              0.71858,
              1.23712
            ],
            [
              0.17936,
              0.26443,
              0.33286,
              0.46387,
              0.72403,
              1.24168
            ],
            [
              0.18745,
              0.2726,
              0.34101,
              0.47223,
              0.73157,
              1.24991
            ],
            [
              0.19979,
              0.28488,
              0.35332,
              0.48447,
              0.74478,
              1.26302
            ],
            [
              0.21814,
              0.30315,
              0.37158,
              0.50269,
              0.76295,
              1.28143
            ],
            [
              0.24504,
              0.32986,
              0.39825,
              0.52949,
              0.78995,
              1.30856
            ],
            [
              0.28233,
              0.36711,
              0.43546,
              0.56682,
              0.82735,
              1.34455
            ],
            [
              0.33038,
              0.41705,
              0.48546,
              0.61666,
              0.87729,
              1.39619
            ],
            [
              0.38989,
              0.48022,
              0.54952,
              0.68102,
              0.94142,
              1.45952
            ],
            [
              0.46277,
              0.55847,
              0.62887,
              0.76107,
              1.02137,
              1.54097
            ],
            [
              0.55,
              0.6541,
              0.7263,
              0.8592,
              1.1202,
              1.6385
            ]
          ]
        },
        "fall_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.04333,
              0.1026,
              0.15335,
              0.25395,
              0.45994,
              0.8861
            ],
            [
              0.04334,
              0.10269,
              0.15335,
              0.25393,
              0.4599,
              0.88604
            ],
            [
              0.04333,
              0.10248,
              0.15336,
              0.25395,
              0.45993,
              0.88607
            ],
            [
              0.04333,
              0.10243,
              0.1533,
              0.25393,
              0.45992,
              0.886
            ],
            [
              0.04332,
              0.1026,
              0.15336,
              0.25405,
              0.45977,
              0.88564
            ],
            [
              0.04332,
              0.10245,
              0.15337,
              0.25395,
              0.45948,
              0.88446
            ],
            [
              0.04331,
              0.10254,
              0.15355,
              0.25399,
              0.4599,
              0.88601
            ],
            [
              0.04334,
              0.10259,
              0.15355,
              0.254,
              0.45989,
              0.88606
            ],
            [
              0.04345,
              0.10276,
              0.15372,
              0.25406,
              0.4595,
              0.88525
            ],
            [
              0.04413,
              0.10323,
              0.15437,
              0.25404,
              0.45943,
              0.8844
            ],
            [
              0.048,
              0.106,
              0.1557,
              0.255,
              0.4598,
              0.8845
            ],
            [
              0.0535,
              0.1127,
              0.1622,
              0.2601,
              0.4626,
              0.8865
            ],
            [
              0.0611,
              0.1214,
              0.1711,
              0.2689,
              0.4687,
              0.8883
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x6": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03034,
            0.06067,
            0.12135
          ],
          "values": [
            [
              0.03741,
              0.12525,
              0.21323,
              0.39446,
              0.7623,
              1.50005
            ],
            [
              0.03742,
              0.1252,
              0.21308,
              0.39472,
              0.76295,
              1.50085
            ],
            [
              0.03742,
              0.1253,
              0.21337,
              0.39462,
              0.76301,
              1.50177
            ],
            [
              0.03743,
              0.12533,
              0.21341,
              0.39473,
              0.76296,
              1.50119
            ],
            [
              0.03742,
              0.12526,
              0.21305,
              0.39467,
              0.76234,
              1.50071
            ],
            [
              0.03744,
              0.12534,
              0.21329,
              0.39457,
              0.76357,
              1.50119
            ],
            [
              0.03746,
              0.12541,
              0.21336,
              0.39466,
              0.76307,
              1.50325
            ],
            [
              0.03752,
              0.12541,
              0.21325,
              0.39456,
              0.76358,
              1.5024
            ],
            [
              0.03802,
              0.1257,
              0.21328,
              0.39448,
              0.76348,
              1.50093
            ],
            [
              0.04035,
              0.12708,
              0.21404,
              0.39485,
              0.7624,
              1.5044
            ],
            [
              0.04364,
              0.13039,
              0.2158,
              0.3958,
              0.7627,
              1.4995
            ],
            [
              0.0486,
              0.135,
              0.2196,
              0.397,
              0.7633,
              1.5018
            ],
            [
              0.0564,
              0.1421,
              0.2242,
              0.3997,
              0.7635,
              1.5033
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}