{
  "area": 47.952,
  "cell_footprint": "sky130_fd_sc_ls__fah",
  "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.00523,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00838,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CI": {
    "capacitance": 0.00284,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,COUT": {
    "direction": "output",
    "function": "(A&B) | (A&CI) | (B&CI)",
    "internal_power": [
      {
        "fall_power,pwr_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.10943,
              0.11802,
              0.12745,
              0.14659,
              0.18455,
              0.2603,
              0.4101,
              0.70987
            ],
            [
              0.10922,
              0.11781,
              0.12722,
              0.14634,
              0.18444,
              0.25979,
              0.41002,
              0.70971
            ],
            [
              0.10898,
              0.11757,
              0.127,
              0.14611,
              0.18416,
              0.25967,
              0.40932,
              0.7082
            ],
            [
              0.10874,
              0.11732,
              0.12676,
              0.14588,
              0.18395,
              0.25943,
              0.4091,
              0.70853
            ],
            [
              0.10852,
              0.11709,
              0.12653,
              0.14564,
              0.18374,
              0.25923,
              0.40939,
              0.70808
            ],
            [
              0.10833,
              0.1169,
              0.12633,
              0.14547,
              0.1835,
              0.25896,
              0.40862,
              0.70814
            ],
            [
              0.10818,
              0.11678,
              0.12621,
              0.14535,
              0.18345,
              0.25899,
              0.40907,
              0.70837
            ],
            [
              0.10819,
              0.11679,
              0.12622,
              0.14538,
              0.18344,
              0.25903,
              0.40871,
              0.70798
            ],
            [
              0.10854,
              0.11714,
              0.12658,
              0.1457,
              0.18388,
              0.25929,
              0.40926,
              0.70895
            ],
            [
              0.10941,
              0.11803,
              0.12749,
              0.14661,
              0.18472,
              0.26016,
              0.41028,
              0.70901
            ],
            [
              0.11136,
              0.11999,
              0.12944,
              0.14856,
              0.18663,
              0.262,
              0.41205,
              0.71161
            ],
            [
              0.11487,
              0.12344,
              0.1329,
              0.15191,
              0.18975,
              0.26539,
              0.41532,
              0.71515
            ],
            [
              0.12061,
              0.12901,
              0.13828,
              0.15732,
              0.1954,
              0.27052,
              0.42048,
              0.71969
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.08983,
              0.0968,
              0.10457,
              0.12034,
              0.15162,
              0.21365,
              0.33666,
              0.58225
            ],
            [
              0.0898,
              0.09676,
              0.10455,
              0.12022,
              0.15166,
              0.21361,
              0.33655,
              0.58305
            ],
            [
              0.08955,
              0.09651,
              0.10431,
              0.12002,
              0.15135,
              0.21358,
              0.33649,
              0.58303
            ],
            [
              0.08933,
              0.09632,
              0.10406,
              0.11981,
              0.15115,
              0.21331,
              0.33615,
              0.58215
            ],
            [
              0.08902,
              0.09598,
              0.10374,
              0.11945,
              0.15076,
              0.21287,
              0.33572,
              0.58227
            ],
            [
              0.08876,
              0.09574,
              0.10351,
              0.11929,
              0.15062,
              0.21268,
              0.33562,
              0.58234
            ],
            [
              0.08855,
              0.09552,
              0.10331,
              0.11904,
              0.15043,
              0.21239,
              0.33525,
              0.58126
            ],
            [
              0.08845,
              0.09542,
              0.10319,
              0.11895,
              0.15031,
              0.21216,
              0.33518,
              0.58196
            ],
            [
              0.08866,
              0.09562,
              0.1034,
              0.11912,
              0.15045,
              0.2125,
              0.33547,
              0.5823
            ],
            [
              0.08944,
              0.09634,
              0.10411,
              0.11984,
              0.15121,
              0.2133,
              0.33595,
              0.58217
            ],
            [
              0.09113,
              0.09798,
              0.10572,
              0.12147,
              0.15278,
              0.21488,
              0.33769,
              0.58299
            ],
            [
              0.09423,
              0.101,
              0.10873,
              0.12449,
              0.15579,
              0.21766,
              0.34052,
              0.58666
            ],
            [
              0.09956,
              0.10619,
              0.11385,
              0.12956,
              0.16097,
              0.22307,
              0.34559,
              0.59219
            ]
          ]
        },
        "when": "(B&!CI) | (!B&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.10111,
              0.10975,
              0.11924,
              0.13832,
              0.17639,
              0.25198,
              0.40165,
              0.70125
            ],
            [
              0.10096,
              0.10961,
              0.11907,
              0.1382,
              0.17625,
              0.25199,
              0.40212,
              0.70149
            ],
            [
              0.10074,
              0.10937,
              0.11883,
              0.13794,
              0.176,
              0.25169,
              0.40151,
              0.70108
            ],
            [
              0.10053,
              0.10914,
              0.11861,
              0.13769,
              0.17577,
              0.25125,
              0.40131,
              0.70045
            ],
            [
              0.10028,
              0.10888,
              0.11834,
              0.13745,
              0.17552,
              0.25102,
              0.40079,
              0.70078
            ],
            [
              0.10019,
              0.10879,
              0.11824,
              0.13731,
              0.1754,
              0.25093,
              0.40117,
              0.6999
            ],
            [
              0.10022,
              0.10882,
              0.11829,
              0.13736,
              0.17541,
              0.25114,
              0.40104,
              0.70047
            ],
            [
              0.10056,
              0.10914,
              0.1186,
              0.13765,
              0.1757,
              0.25137,
              0.40098,
              0.70036
            ],
            [
              0.1013,
              0.10989,
              0.11927,
              0.13839,
              0.17649,
              0.25211,
              0.40191,
              0.7009
            ],
            [
              0.10263,
              0.11122,
              0.12061,
              0.13958,
              0.17757,
              0.25307,
              0.40287,
              0.70185
            ],
            [
              0.10513,
              0.11363,
              0.12287,
              0.14178,
              0.17973,
              0.25511,
              0.40538,
              0.70472
            ],
            [
              0.10928,
              0.11754,
              0.12675,
              0.14557,
              0.18322,
              0.25864,
              0.40885,
              0.70849
            ],
            [
              0.11568,
              0.12371,
              0.13272,
              0.15139,
              0.18912,
              0.26431,
              0.41414,
              0.71379
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.07031,
              0.07726,
              0.08502,
              0.10075,
              0.13204,
              0.19429,
              0.31704,
              0.5635
            ],
            [
              0.07014,
              0.07708,
              0.08485,
              0.1006,
              0.1319,
              0.19385,
              0.317,
              0.56318
            ],
            [
              0.07017,
              0.07711,
              0.08489,
              0.10062,
              0.13195,
              0.19399,
              0.3166,
              0.56366
            ],
            [
              0.07012,
              0.07706,
              0.08485,
              0.10056,
              0.1319,
              0.19406,
              0.31685,
              0.56297
            ],
            [
              0.07004,
              0.07697,
              0.08474,
              0.1005,
              0.13172,
              0.19376,
              0.31658,
              0.56359
            ],
            [
              0.07005,
              0.077,
              0.08477,
              0.1005,
              0.13186,
              0.19372,
              0.31666,
              0.56216
            ],
            [
              0.07009,
              0.07702,
              0.08479,
              0.10053,
              0.13184,
              0.194,
              0.31661,
              0.56294
            ],
            [
              0.0703,
              0.07725,
              0.08501,
              0.10072,
              0.132,
              0.19395,
              0.31698,
              0.56359
            ],
            [
              0.07087,
              0.07782,
              0.08558,
              0.10128,
              0.13259,
              0.19442,
              0.31704,
              0.56374
            ],
            [
              0.07202,
              0.07897,
              0.08671,
              0.10239,
              0.13362,
              0.19575,
              0.31883,
              0.56532
            ],
            [
              0.07414,
              0.08107,
              0.0888,
              0.10441,
              0.13564,
              0.19766,
              0.32073,
              0.56682
            ],
            [
              0.07768,
              0.08455,
              0.09229,
              0.10799,
              0.13913,
              0.20073,
              0.32427,
              0.56957
            ],
            [
              0.08358,
              0.09041,
              0.09803,
              0.1136,
              0.14499,
              0.20691,
              0.32933,
              0.57527
            ]
          ]
        },
        "when": "(A&!CI) | (!A&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.0712,
              0.07962,
              0.08897,
              0.10802,
              0.14602,
              0.22146,
              0.37125,
              0.67014
            ],
            [
              0.07111,
              0.07955,
              0.08885,
              0.10792,
              0.14594,
              0.22129,
              0.37109,
              0.67007
            ],
            [
              0.07103,
              0.07943,
              0.08878,
              0.10781,
              0.14585,
              0.22119,
              0.37104,
              0.66991
            ],
            [
              0.07094,
              0.07933,
              0.08865,
              0.10778,
              0.14574,
              0.22134,
              0.37148,
              0.67021
            ],
            [
              0.07089,
              0.07931,
              0.08862,
              0.1077,
              0.14568,
              0.22112,
              0.37099,
              0.66973
            ],
            [
              0.0708,
              0.0792,
              0.0885,
              0.10759,
              0.14557,
              0.22092,
              0.37044,
              0.67031
            ],
            [
              0.07075,
              0.07912,
              0.08842,
              0.10746,
              0.14548,
              0.2208,
              0.37054,
              0.6699
            ],
            [
              0.07079,
              0.07912,
              0.08843,
              0.10746,
              0.1454,
              0.22083,
              0.37109,
              0.67027
            ],
            [
              0.0711,
              0.0794,
              0.0886,
              0.10758,
              0.14548,
              0.22104,
              0.37121,
              0.67052
            ],
            [
              0.07206,
              0.0802,
              0.08933,
              0.10808,
              0.14593,
              0.22123,
              0.37105,
              0.67021
            ],
            [
              0.07385,
              0.08166,
              0.09051,
              0.10915,
              0.14684,
              0.22206,
              0.37201,
              0.67055
            ],
            [
              0.0766,
              0.08403,
              0.09276,
              0.11121,
              0.14839,
              0.22351,
              0.37332,
              0.67251
            ],
            [
              0.08066,
              0.08768,
              0.09616,
              0.11424,
              0.15139,
              0.226,
              0.37572,
              0.67485
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.05465,
              0.06147,
              0.06909,
              0.08475,
              0.1158,
              0.17776,
              0.30032,
              0.54594
            ],
            [
              0.05458,
              0.0614,
              0.06902,
              0.08469,
              0.11573,
              0.17762,
              0.30005,
              0.54685
            ],
            [
              0.05452,
              0.06133,
              0.06896,
              0.08462,
              0.11573,
              0.17759,
              0.30037,
              0.54645
            ],
            [
              0.05443,
              0.06125,
              0.06888,
              0.08454,
              0.11562,
              0.17751,
              0.30012,
              0.54626
            ],
            [
              0.05434,
              0.06116,
              0.06878,
              0.08443,
              0.11547,
              0.17739,
              0.30026,
              0.54615
            ],
            [
              0.05423,
              0.06105,
              0.06867,
              0.08431,
              0.1154,
              0.17729,
              0.2996,
              0.54656
            ],
            [
              0.05414,
              0.06096,
              0.06858,
              0.08419,
              0.11518,
              0.1772,
              0.30016,
              0.54648
            ],
            [
              0.05415,
              0.06095,
              0.06853,
              0.0841,
              0.11512,
              0.17696,
              0.29981,
              0.54568
            ],
            [
              0.05436,
              0.06109,
              0.06861,
              0.08411,
              0.11502,
              0.17696,
              0.2994,
              0.54586
            ],
            [
              0.05487,
              0.06149,
              0.06895,
              0.08437,
              0.11522,
              0.17713,
              0.29995,
              0.54645
            ],
            [
              0.0559,
              0.06235,
              0.0697,
              0.08501,
              0.11576,
              0.1774,
              0.30029,
              0.54598
            ],
            [
              0.05772,
              0.06393,
              0.07117,
              0.08636,
              0.11702,
              0.17841,
              0.30136,
              0.54773
            ],
            [
              0.0607,
              0.06657,
              0.07367,
              0.08869,
              0.11931,
              0.18085,
              0.30318,
              0.54987
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.20287,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.33378,
              0.36106,
              0.37987,
              0.40897,
              0.45442,
              0.52885,
              0.66013,
              0.90979
            ],
            [
              0.33631,
              0.36359,
              0.38241,
              0.4115,
              0.45696,
              0.53137,
              0.66266,
              0.91212
            ],
            [
              0.3395,
              0.36679,
              0.38561,
              0.41469,
              0.46015,
              0.53457,
              0.66585,
              0.91534
            ],
            [
              0.34452,
              0.37179,
              0.39061,
              0.4197,
              0.46516,
              0.53958,
              0.67085,
              0.92054
            ],
            [
              0.35236,
              0.37964,
              0.39845,
              0.42755,
              0.473,
              0.54742,
              0.67867,
              0.92839
            ],
            [
              0.36431,
              0.39159,
              0.41041,
              0.43949,
              0.48495,
              0.55937,
              0.69066,
              0.94022
            ],
            [
              0.38164,
              0.40891,
              0.42773,
              0.45681,
              0.50226,
              0.57668,
              0.70794,
              0.95763
            ],
            [
              0.40531,
              0.43256,
              0.45136,
              0.48043,
              0.52588,
              0.60027,
              0.73152,
              0.98096
            ],
            [
              0.43644,
              0.46361,
              0.48237,
              0.51144,
              0.55685,
              0.63122,
              0.76245,
              1.01185
            ],
            [
              0.47512,
              0.5021,
              0.52083,
              0.54987,
              0.59528,
              0.66959,
              0.80069,
              1.05029
            ],
            [
              0.51902,
              0.54572,
              0.56442,
              0.59342,
              0.63882,
              0.71302,
              0.84402,
              1.09342
            ],
            [
              0.57037,
              0.59687,
              0.61537,
              0.64437,
              0.68977,
              0.76387,
              0.89437,
              1.14377
            ],
            [
              0.635,
              0.6613,
              0.6798,
              0.7086,
              0.7538,
              0.8279,
              0.9583,
              1.2071
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.30005,
              0.33038,
              0.35213,
              0.38895,
              0.45492,
              0.58012,
              0.8264,
              1.31747
            ],
            [
              0.30246,
              0.33278,
              0.35453,
              0.39135,
              0.45731,
              0.58247,
              0.82882,
              1.32004
            ],
            [
              0.30529,
              0.33562,
              0.35736,
              0.39419,
              0.46015,
              0.58531,
              0.83166,
              1.32292
            ],
            [
              0.30972,
              0.34005,
              0.3618,
              0.39863,
              0.46458,
              0.58976,
              0.83605,
              1.32717
            ],
            [
              0.3163,
              0.34663,
              0.36838,
              0.40519,
              0.47115,
              0.59634,
              0.84262,
              1.33371
            ],
            [
              0.32553,
              0.35585,
              0.3776,
              0.41442,
              0.48035,
              0.60556,
              0.85184,
              1.34312
            ],
            [
              0.33717,
              0.36748,
              0.38922,
              0.42604,
              0.49196,
              0.61719,
              0.86352,
              1.35483
            ],
            [
              0.35141,
              0.38168,
              0.40341,
              0.44023,
              0.5062,
              0.63142,
              0.87776,
              1.36906
            ],
            [
              0.36814,
              0.39835,
              0.42007,
              0.45688,
              0.52285,
              0.64824,
              0.89445,
              1.38575
            ],
            [
              0.38705,
              0.41719,
              0.43886,
              0.47567,
              0.54164,
              0.66689,
              0.91329,
              1.40439
            ],
            [
              0.40723,
              0.43724,
              0.45892,
              0.49562,
              0.56162,
              0.68712,
              0.93332,
              1.42462
            ],
            [
              0.42687,
              0.45677,
              0.47837,
              0.51507,
              0.58097,
              0.70657,
              0.95267,
              1.44387
            ],
            [
              0.4436,
              0.4733,
              0.4948,
              0.5314,
              0.5972,
              0.7226,
              0.9691,
              1.4599
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.02988,
              0.04823,
              0.06169,
              0.08448,
              0.12479,
              0.20227,
              0.35829,
              0.68362
            ],
            [
              0.02986,
              0.04824,
              0.06171,
              0.08446,
              0.12498,
              0.20219,
              0.35858,
              0.68303
            ],
            [
              0.02986,
              0.04824,
              0.06171,
              0.08446,
              0.12497,
              0.2022,
              0.35856,
              0.68312
            ],
            [
              0.02986,
              0.04822,
              0.06168,
              0.08448,
              0.12482,
              0.20228,
              0.35828,
              0.68379
            ],
            [
              0.02986,
              0.04821,
              0.06167,
              0.08447,
              0.12484,
              0.20228,
              0.35833,
              0.68389
            ],
            [
              0.02984,
              0.04823,
              0.0617,
              0.08446,
              0.12495,
              0.20223,
              0.3585,
              0.68323
            ],
            [
              0.02981,
              0.0482,
              0.06168,
              0.08443,
              0.1248,
              0.20225,
              0.35821,
              0.68376
            ],
            [
              0.02969,
              0.04813,
              0.06168,
              0.08437,
              0.12474,
              0.20225,
              0.3586,
              0.68244
            ],
            [
              0.02944,
              0.04798,
              0.06151,
              0.08423,
              0.1246,
              0.20195,
              0.35803,
              0.6826
            ],
            [
              0.02913,
              0.04774,
              0.06127,
              0.08402,
              0.12453,
              0.20191,
              0.3582,
              0.6834
            ],
            [
              0.0288,
              0.0473,
              0.061,
              0.0838,
              0.1243,
              0.2015,
              0.358,
              0.6831
            ],
            [
              0.0286,
              0.0469,
              0.0606,
              0.0835,
              0.1239,
              0.2009,
              0.357,
              0.6829
            ],
            [
              0.0286,
              0.0468,
              0.0601,
              0.083,
              0.1237,
              0.2009,
              0.3566,
              0.6808
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.0287,
              0.054,
              0.07604,
              0.11934,
              0.20735,
              0.38894,
              0.75878,
              1.50025
            ],
            [
              0.0287,
              0.05402,
              0.07609,
              0.11927,
              0.20759,
              0.38898,
              0.75854,
              1.5001
            ],
            [
              0.02873,
              0.05402,
              0.07608,
              0.11927,
              0.20743,
              0.38878,
              0.75799,
              1.50015
            ],
            [
              0.0287,
              0.054,
              0.07607,
              0.11929,
              0.20743,
              0.38897,
              0.75751,
              1.50217
            ],
            [
              0.0287,
              0.05399,
              0.07606,
              0.11931,
              0.20741,
              0.3887,
              0.75957,
              1.50193
            ],
            [
              0.02869,
              0.05401,
              0.07609,
              0.11922,
              0.20748,
              0.3889,
              0.75795,
              1.5001
            ],
            [
              0.02865,
              0.05395,
              0.07601,
              0.11923,
              0.20741,
              0.38881,
              0.75742,
              1.50018
            ],
            [
              0.02855,
              0.05391,
              0.07592,
              0.11919,
              0.20732,
              0.38898,
              0.75802,
              1.50008
            ],
            [
              0.02836,
              0.05376,
              0.07577,
              0.11905,
              0.20729,
              0.38908,
              0.75922,
              1.5
            ],
            [
              0.02809,
              0.05347,
              0.0756,
              0.11893,
              0.2073,
              0.38868,
              0.75937,
              1.4999
            ],
            [
              0.02774,
              0.05321,
              0.0753,
              0.11873,
              0.2071,
              0.3888,
              0.7585,
              1.5039
            ],
            [
              0.0274,
              0.0529,
              0.0751,
              0.1186,
              0.207,
              0.3887,
              0.7577,
              1.5004
            ],
            [
              0.0271,
              0.0525,
              0.0746,
              0.1182,
              0.2068,
              0.3887,
              0.7578,
              1.5006
            ]
          ]
        },
        "sdf_cond": "(!B&CI)",
        "timing_sense": "positive_unate",
        "when": "(!B&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.33726,
              0.36679,
              0.38721,
              0.41871,
              0.46744,
              0.5458,
              0.68087,
              0.93278
            ],
            [
              0.3398,
              0.36934,
              0.38976,
              0.42125,
              0.46997,
              0.54834,
              0.68345,
              0.93527
            ],
            [
              0.343,
              0.37253,
              0.39295,
              0.42444,
              0.47317,
              0.55154,
              0.68663,
              0.93851
            ],
            [
              0.34798,
              0.37751,
              0.39793,
              0.42944,
              0.47815,
              0.55653,
              0.69161,
              0.94349
            ],
            [
              0.35584,
              0.38537,
              0.4058,
              0.4373,
              0.48602,
              0.56437,
              0.69946,
              0.95107
            ],
            [
              0.36778,
              0.39731,
              0.41774,
              0.44923,
              0.49795,
              0.57631,
              0.7114,
              0.96312
            ],
            [
              0.38511,
              0.41463,
              0.43505,
              0.46654,
              0.51526,
              0.59362,
              0.72873,
              0.98053
            ],
            [
              0.40889,
              0.43839,
              0.4588,
              0.49027,
              0.53898,
              0.61733,
              0.75241,
              1.00406
            ],
            [
              0.44035,
              0.46977,
              0.49013,
              0.52159,
              0.57029,
              0.64862,
              0.78365,
              1.03535
            ],
            [
              0.47968,
              0.50888,
              0.52917,
              0.56058,
              0.60925,
              0.68749,
              0.82249,
              1.07419
            ],
            [
              0.52452,
              0.55332,
              0.57352,
              0.60482,
              0.65342,
              0.73152,
              0.86622,
              1.11782
            ],
            [
              0.57737,
              0.60577,
              0.62577,
              0.65697,
              0.70547,
              0.78337,
              0.91767,
              1.16887
            ],
            [
              0.6435,
              0.6717,
              0.6915,
              0.7225,
              0.7708,
              0.8486,
              0.9826,
              1.2335
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.28838,
              0.31799,
              0.33905,
              0.3749,
              0.43989,
              0.56473,
              0.81077,
              1.30187
            ],
            [
              0.29079,
              0.32039,
              0.34145,
              0.3773,
              0.44231,
              0.56711,
              0.81324,
              1.30434
            ],
            [
              0.29367,
              0.32327,
              0.34433,
              0.38019,
              0.44515,
              0.57004,
              0.81603,
              1.30732
            ],
            [
              0.29808,
              0.3277,
              0.34875,
              0.3846,
              0.44961,
              0.57437,
              0.82054,
              1.31157
            ],
            [
              0.3047,
              0.3343,
              0.35536,
              0.39121,
              0.45622,
              0.58102,
              0.82715,
              1.31831
            ],
            [
              0.31403,
              0.34363,
              0.36469,
              0.40054,
              0.46554,
              0.59033,
              0.83645,
              1.32742
            ],
            [
              0.32592,
              0.35549,
              0.37654,
              0.4124,
              0.4774,
              0.60221,
              0.84836,
              1.33943
            ],
            [
              0.34044,
              0.36996,
              0.39099,
              0.42685,
              0.49185,
              0.61672,
              0.86286,
              1.35396
            ],
            [
              0.35744,
              0.38686,
              0.40788,
              0.44373,
              0.50876,
              0.63347,
              0.87975,
              1.37075
            ],
            [
              0.37643,
              0.4057,
              0.42666,
              0.46249,
              0.5275,
              0.65229,
              0.89849,
              1.38939
            ],
            [
              0.39646,
              0.42555,
              0.44652,
              0.48232,
              0.54732,
              0.67212,
              0.91832,
              1.40932
            ],
            [
              0.41597,
              0.44477,
              0.46567,
              0.50137,
              0.56637,
              0.69117,
              0.93727,
              1.42847
            ],
            [
              0.4326,
              0.4612,
              0.482,
              0.5175,
              0.5824,
              0.7071,
              0.9534,
              1.4442
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.03373,
              0.0535,
              0.06802,
              0.092,
              0.13387,
              0.2121,
              0.36724,
              0.68878
            ],
            [
              0.03375,
              0.05351,
              0.06805,
              0.09196,
              0.13395,
              0.21189,
              0.36707,
              0.68853
            ],
            [
              0.03373,
              0.0535,
              0.06802,
              0.09199,
              0.1339,
              0.21218,
              0.36722,
              0.6888
            ],
            [
              0.03373,
              0.0535,
              0.06803,
              0.092,
              0.13391,
              0.21215,
              0.3672,
              0.68877
            ],
            [
              0.03374,
              0.0535,
              0.06793,
              0.09195,
              0.13372,
              0.21185,
              0.36698,
              0.68824
            ],
            [
              0.03373,
              0.05352,
              0.06794,
              0.09195,
              0.13393,
              0.2119,
              0.36683,
              0.68793
            ],
            [
              0.0337,
              0.05348,
              0.06801,
              0.092,
              0.13391,
              0.21188,
              0.36711,
              0.68844
            ],
            [
              0.03359,
              0.05344,
              0.06786,
              0.09193,
              0.13385,
              0.21185,
              0.36678,
              0.68842
            ],
            [
              0.03334,
              0.05326,
              0.06781,
              0.09179,
              0.13379,
              0.21191,
              0.36699,
              0.68777
            ],
            [
              0.03288,
              0.05298,
              0.06749,
              0.09157,
              0.1333,
              0.21178,
              0.3669,
              0.6877
            ],
            [
              0.0325,
              0.0525,
              0.067,
              0.0911,
              0.1329,
              0.2113,
              0.3666,
              0.6882
            ],
            [
              0.0322,
              0.0519,
              0.0665,
              0.0906,
              0.1325,
              0.2102,
              0.3657,
              0.6873
            ],
            [
              0.0323,
              0.0516,
              0.0659,
              0.0901,
              0.1322,
              0.2099,
              0.3649,
              0.6861
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.02833,
              0.05271,
              0.07421,
              0.11703,
              0.20539,
              0.38763,
              0.75702,
              1.49939
            ],
            [
              0.02831,
              0.05266,
              0.07419,
              0.11703,
              0.20542,
              0.38755,
              0.75738,
              1.49894
            ],
            [
              0.02834,
              0.05271,
              0.07417,
              0.11701,
              0.20541,
              0.38762,
              0.75658,
              1.49919
            ],
            [
              0.02831,
              0.05267,
              0.0742,
              0.11704,
              0.20539,
              0.38756,
              0.75801,
              1.49997
            ],
            [
              0.0283,
              0.05266,
              0.07419,
              0.11703,
              0.20543,
              0.38754,
              0.75714,
              1.4992
            ],
            [
              0.0283,
              0.05268,
              0.07419,
              0.11702,
              0.20536,
              0.38746,
              0.75762,
              1.50077
            ],
            [
              0.02823,
              0.05261,
              0.07409,
              0.11697,
              0.2053,
              0.38754,
              0.75806,
              1.49822
            ],
            [
              0.02804,
              0.05242,
              0.07399,
              0.11684,
              0.20543,
              0.38734,
              0.75792,
              1.49882
            ],
            [
              0.02778,
              0.05222,
              0.07373,
              0.11675,
              0.20527,
              0.38731,
              0.75749,
              1.5003
            ],
            [
              0.02738,
              0.05187,
              0.07351,
              0.11666,
              0.20517,
              0.38746,
              0.75818,
              1.4993
            ],
            [
              0.02698,
              0.05154,
              0.07319,
              0.11629,
              0.2051,
              0.3876,
              0.757,
              1.4992
            ],
            [
              0.0265,
              0.051,
              0.0728,
              0.116,
              0.2049,
              0.3875,
              0.7574,
              1.5015
            ],
            [
              0.026,
              0.0506,
              0.0723,
              0.1156,
              0.2046,
              0.3873,
              0.7571,
              1.501
            ]
          ]
        },
        "sdf_cond": "(B&!CI)",
        "timing_sense": "positive_unate",
        "when": "(B&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.30217,
              0.32945,
              0.34826,
              0.37735,
              0.42281,
              0.49721,
              0.62848,
              0.87815
            ],
            [
              0.3041,
              0.33139,
              0.3502,
              0.37929,
              0.42475,
              0.49915,
              0.63043,
              0.87982
            ],
            [
              0.30671,
              0.334,
              0.35281,
              0.38191,
              0.42737,
              0.50178,
              0.633,
              0.88257
            ],
            [
              0.31101,
              0.33831,
              0.35712,
              0.38621,
              0.43169,
              0.50609,
              0.63738,
              0.88692
            ],
            [
              0.31803,
              0.34534,
              0.36416,
              0.39326,
              0.43873,
              0.51315,
              0.64438,
              0.8941
            ],
            [
              0.32922,
              0.35654,
              0.37536,
              0.40446,
              0.44995,
              0.52437,
              0.65566,
              0.905
            ],
            [
              0.34646,
              0.37379,
              0.39262,
              0.42173,
              0.46723,
              0.54165,
              0.67286,
              0.92263
            ],
            [
              0.3717,
              0.39902,
              0.41786,
              0.44699,
              0.49246,
              0.5669,
              0.69821,
              0.94766
            ],
            [
              0.40667,
              0.43399,
              0.45281,
              0.48192,
              0.5274,
              0.60181,
              0.73304,
              0.98275
            ],
            [
              0.45384,
              0.48109,
              0.49988,
              0.52896,
              0.5744,
              0.64879,
              0.78009,
              1.02939
            ],
            [
              0.51532,
              0.54322,
              0.56232,
              0.59192,
              0.63772,
              0.71232,
              0.84362,
              1.09332
            ],
            [
              0.59017,
              0.61917,
              0.63927,
              0.67007,
              0.71777,
              0.79447,
              0.92707,
              1.17717
            ],
            [
              0.6843,
              0.7149,
              0.736,
              0.7684,
              0.8182,
              0.8973,
              1.0324,
              1.2839
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.24127,
              0.27167,
              0.29341,
              0.33023,
              0.39617,
              0.52147,
              0.76787,
              1.25897
            ],
            [
              0.24381,
              0.27422,
              0.29596,
              0.33277,
              0.3987,
              0.52397,
              0.77037,
              1.26154
            ],
            [
              0.24689,
              0.27731,
              0.29905,
              0.33586,
              0.4018,
              0.52707,
              0.77349,
              1.26462
            ],
            [
              0.25143,
              0.28186,
              0.30361,
              0.34042,
              0.40636,
              0.53163,
              0.77806,
              1.26917
            ],
            [
              0.25809,
              0.28855,
              0.31029,
              0.34711,
              0.41305,
              0.53843,
              0.78471,
              1.27601
            ],
            [
              0.26783,
              0.29831,
              0.32007,
              0.35688,
              0.4228,
              0.54802,
              0.79448,
              1.28562
            ],
            [
              0.28195,
              0.31251,
              0.33427,
              0.37108,
              0.43697,
              0.56219,
              0.80863,
              1.29973
            ],
            [
              0.30256,
              0.33318,
              0.35496,
              0.39177,
              0.45764,
              0.5829,
              0.8292,
              1.32026
            ],
            [
              0.33104,
              0.36172,
              0.38351,
              0.42029,
              0.48609,
              0.61121,
              0.85755,
              1.34875
            ],
            [
              0.36163,
              0.39223,
              0.41397,
              0.45068,
              0.51641,
              0.64129,
              0.88759,
              1.37889
            ],
            [
              0.39276,
              0.42353,
              0.44532,
              0.48212,
              0.54782,
              0.67252,
              0.91872,
              1.40992
            ],
            [
              0.42417,
              0.45517,
              0.47697,
              0.51377,
              0.57927,
              0.70397,
              0.95007,
              1.44137
            ],
            [
              0.4549,
              0.486,
              0.5078,
              0.5446,
              0.6101,
              0.7346,
              0.9806,
              1.4716
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.02973,
              0.04818,
              0.06166,
              0.0844,
              0.12499,
              0.20218,
              0.35825,
              0.68396
            ],
            [
              0.02975,
              0.04819,
              0.06174,
              0.08443,
              0.12488,
              0.20223,
              0.35855,
              0.68296
            ],
            [
              0.02977,
              0.04821,
              0.06175,
              0.08443,
              0.12479,
              0.20227,
              0.35847,
              0.6832
            ],
            [
              0.02979,
              0.04827,
              0.06168,
              0.08445,
              0.12503,
              0.20211,
              0.35848,
              0.68327
            ],
            [
              0.02985,
              0.04825,
              0.0618,
              0.08449,
              0.12482,
              0.20229,
              0.35852,
              0.68405
            ],
            [
              0.0299,
              0.04828,
              0.06183,
              0.0845,
              0.12508,
              0.20219,
              0.3586,
              0.6827
            ],
            [
              0.02997,
              0.04834,
              0.06188,
              0.08454,
              0.12512,
              0.20239,
              0.35866,
              0.68406
            ],
            [
              0.03,
              0.04833,
              0.06178,
              0.08457,
              0.12492,
              0.2023,
              0.35861,
              0.6826
            ],
            [
              0.02991,
              0.04826,
              0.06174,
              0.08449,
              0.12513,
              0.20235,
              0.3586,
              0.68403
            ],
            [
              0.0297,
              0.04811,
              0.06168,
              0.08436,
              0.1247,
              0.20222,
              0.35858,
              0.6826
            ],
            [
              0.031,
              0.0496,
              0.0632,
              0.0857,
              0.1257,
              0.2027,
              0.3584,
              0.6839
            ],
            [
              0.0333,
              0.0526,
              0.0668,
              0.0899,
              0.1308,
              0.207,
              0.3614,
              0.6843
            ],
            [
              0.0364,
              0.0565,
              0.0711,
              0.0951,
              0.1364,
              0.2132,
              0.3668,
              0.6869
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.0288,
              0.05406,
              0.07616,
              0.11932,
              0.20744,
              0.38921,
              0.7593,
              1.49933
            ],
            [
              0.02884,
              0.05412,
              0.07617,
              0.11927,
              0.20742,
              0.38876,
              0.75852,
              1.50072
            ],
            [
              0.02884,
              0.05412,
              0.0762,
              0.11931,
              0.20741,
              0.38908,
              0.75851,
              1.49933
            ],
            [
              0.02888,
              0.05415,
              0.07623,
              0.11935,
              0.20745,
              0.38917,
              0.75932,
              1.50164
            ],
            [
              0.02897,
              0.05421,
              0.07623,
              0.11939,
              0.20757,
              0.38888,
              0.75887,
              1.49995
            ],
            [
              0.02907,
              0.05432,
              0.07623,
              0.11938,
              0.20745,
              0.38885,
              0.75904,
              1.50013
            ],
            [
              0.02921,
              0.05444,
              0.07637,
              0.11945,
              0.20753,
              0.38883,
              0.7588,
              1.50026
            ],
            [
              0.0294,
              0.05461,
              0.0765,
              0.11956,
              0.20766,
              0.38884,
              0.75845,
              1.50017
            ],
            [
              0.02959,
              0.05478,
              0.0766,
              0.11968,
              0.20768,
              0.38895,
              0.75928,
              1.50206
            ],
            [
              0.02965,
              0.05471,
              0.0766,
              0.11964,
              0.20764,
              0.3887,
              0.75771,
              1.5
            ],
            [
              0.02988,
              0.05509,
              0.07691,
              0.11993,
              0.2076,
              0.389,
              0.7573,
              1.4988
            ],
            [
              0.0301,
              0.0554,
              0.0771,
              0.1202,
              0.208,
              0.3888,
              0.7579,
              1.5012
            ],
            [
              0.0304,
              0.0557,
              0.0773,
              0.1202,
              0.2079,
              0.3895,
              0.7576,
              1.5012
            ]
          ]
        },
        "sdf_cond": "(!A&CI)",
        "timing_sense": "positive_unate",
        "when": "(!A&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.28473,
              0.31367,
              0.33377,
              0.36498,
              0.41359,
              0.49191,
              0.62691,
              0.87864
            ],
            [
              0.28693,
              0.31587,
              0.33597,
              0.36718,
              0.4158,
              0.49412,
              0.62911,
              0.88086
            ],
            [
              0.28976,
              0.31872,
              0.33883,
              0.37004,
              0.41867,
              0.49697,
              0.63199,
              0.88355
            ],
            [
              0.29431,
              0.32327,
              0.34338,
              0.37461,
              0.42323,
              0.50155,
              0.63655,
              0.88819
            ],
            [
              0.30141,
              0.33038,
              0.35051,
              0.38173,
              0.43035,
              0.50868,
              0.6437,
              0.89545
            ],
            [
              0.31235,
              0.34133,
              0.36145,
              0.39268,
              0.44131,
              0.51964,
              0.65468,
              0.90621
            ],
            [
              0.32886,
              0.35783,
              0.37795,
              0.40917,
              0.4578,
              0.53615,
              0.67116,
              0.92303
            ],
            [
              0.35312,
              0.38205,
              0.40214,
              0.43335,
              0.48198,
              0.56034,
              0.69536,
              0.94716
            ],
            [
              0.38753,
              0.41635,
              0.43639,
              0.46756,
              0.51619,
              0.59456,
              0.72962,
              0.98125
            ],
            [
              0.43251,
              0.46109,
              0.48101,
              0.51209,
              0.56067,
              0.63899,
              0.77399,
              1.02569
            ],
            [
              0.48852,
              0.51672,
              0.53642,
              0.56732,
              0.61572,
              0.69382,
              0.82862,
              1.08032
            ],
            [
              0.55667,
              0.58477,
              0.60437,
              0.63497,
              0.68317,
              0.76127,
              0.89557,
              1.14687
            ],
            [
              0.6402,
              0.6683,
              0.6877,
              0.7181,
              0.766,
              0.844,
              0.9781,
              1.2291
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.23537,
              0.26479,
              0.28581,
              0.32166,
              0.38669,
              0.5116,
              0.75772,
              1.24867
            ],
            [
              0.23793,
              0.26736,
              0.28838,
              0.32422,
              0.38926,
              0.51417,
              0.76027,
              1.25124
            ],
            [
              0.24107,
              0.2705,
              0.29152,
              0.32736,
              0.3924,
              0.5173,
              0.7634,
              1.25432
            ],
            [
              0.24582,
              0.27525,
              0.29628,
              0.33213,
              0.39715,
              0.52189,
              0.76821,
              1.25928
            ],
            [
              0.25288,
              0.28232,
              0.30334,
              0.33919,
              0.40422,
              0.52912,
              0.77523,
              1.26621
            ],
            [
              0.2633,
              0.29275,
              0.31377,
              0.34962,
              0.41465,
              0.53947,
              0.78561,
              1.27662
            ],
            [
              0.27852,
              0.30796,
              0.32897,
              0.36481,
              0.42984,
              0.55466,
              0.8008,
              1.29183
            ],
            [
              0.30081,
              0.33027,
              0.3513,
              0.38715,
              0.45216,
              0.57697,
              0.82313,
              1.31426
            ],
            [
              0.32976,
              0.35919,
              0.38021,
              0.41604,
              0.48104,
              0.60568,
              0.85195,
              1.34315
            ],
            [
              0.36068,
              0.3902,
              0.41121,
              0.44702,
              0.51192,
              0.63669,
              0.88279,
              1.37399
            ],
            [
              0.39245,
              0.42298,
              0.44472,
              0.48142,
              0.54702,
              0.67202,
              0.91802,
              1.40922
            ],
            [
              0.42607,
              0.45807,
              0.48077,
              0.51867,
              0.58527,
              0.71067,
              0.95717,
              1.44827
            ],
            [
              0.4635,
              0.4976,
              0.5219,
              0.5616,
              0.6296,
              0.7557,
              1.0025,
              1.4937
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.03301,
              0.05311,
              0.06773,
              0.09192,
              0.13358,
              0.21168,
              0.36683,
              0.68827
            ],
            [
              0.03302,
              0.05313,
              0.06773,
              0.09193,
              0.13358,
              0.21165,
              0.36688,
              0.68833
            ],
            [
              0.03303,
              0.05314,
              0.06777,
              0.09192,
              0.13365,
              0.2119,
              0.36655,
              0.68784
            ],
            [
              0.03305,
              0.05317,
              0.06779,
              0.09195,
              0.13363,
              0.21164,
              0.36661,
              0.68837
            ],
            [
              0.03309,
              0.05321,
              0.06782,
              0.09195,
              0.13385,
              0.21181,
              0.36684,
              0.68833
            ],
            [
              0.03311,
              0.05324,
              0.06783,
              0.092,
              0.13367,
              0.21166,
              0.36655,
              0.68803
            ],
            [
              0.03318,
              0.05326,
              0.0679,
              0.09203,
              0.13392,
              0.21181,
              0.36693,
              0.68865
            ],
            [
              0.03325,
              0.05333,
              0.06796,
              0.09209,
              0.13404,
              0.21184,
              0.36696,
              0.68847
            ],
            [
              0.03337,
              0.05343,
              0.06805,
              0.09228,
              0.13414,
              0.21189,
              0.36673,
              0.68828
            ],
            [
              0.03334,
              0.05327,
              0.06795,
              0.09219,
              0.13416,
              0.21175,
              0.36639,
              0.6878
            ],
            [
              0.0334,
              0.053,
              0.0677,
              0.092,
              0.134,
              0.2114,
              0.3661,
              0.6884
            ],
            [
              0.0337,
              0.053,
              0.0676,
              0.0919,
              0.134,
              0.2111,
              0.3655,
              0.6875
            ],
            [
              0.0342,
              0.0534,
              0.0678,
              0.0919,
              0.1338,
              0.2113,
              0.3655,
              0.6857
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.02777,
              0.05219,
              0.07377,
              0.11668,
              0.20525,
              0.38754,
              0.75815,
              1.49834
            ],
            [
              0.02778,
              0.0522,
              0.07379,
              0.11674,
              0.20521,
              0.38784,
              0.75815,
              1.49854
            ],
            [
              0.02779,
              0.0522,
              0.0738,
              0.11678,
              0.20523,
              0.3875,
              0.75819,
              1.49877
            ],
            [
              0.02779,
              0.05225,
              0.07374,
              0.11677,
              0.20525,
              0.38767,
              0.7571,
              1.49891
            ],
            [
              0.02782,
              0.05223,
              0.07383,
              0.11682,
              0.20525,
              0.38749,
              0.75826,
              1.49845
            ],
            [
              0.02785,
              0.05228,
              0.07381,
              0.11681,
              0.20527,
              0.38736,
              0.75795,
              1.49963
            ],
            [
              0.02785,
              0.05228,
              0.0738,
              0.11678,
              0.20538,
              0.38742,
              0.75798,
              1.49886
            ],
            [
              0.02787,
              0.05231,
              0.07386,
              0.11676,
              0.20527,
              0.38757,
              0.75822,
              1.49963
            ],
            [
              0.02784,
              0.05228,
              0.07388,
              0.11677,
              0.20526,
              0.38777,
              0.75716,
              1.49906
            ],
            [
              0.02811,
              0.05253,
              0.07405,
              0.11684,
              0.20522,
              0.38752,
              0.75734,
              1.4992
            ],
            [
              0.02901,
              0.0544,
              0.07611,
              0.11901,
              0.2066,
              0.3885,
              0.7576,
              1.4991
            ],
            [
              0.0304,
              0.0569,
              0.0791,
              0.1219,
              0.2091,
              0.3897,
              0.7575,
              1.4993
            ],
            [
              0.0325,
              0.0609,
              0.0837,
              0.1265,
              0.2124,
              0.3913,
              0.7594,
              1.5
            ]
          ]
        },
        "sdf_cond": "(A&!CI)",
        "timing_sense": "positive_unate",
        "when": "(A&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.19647,
              0.23095,
              0.25388,
              0.28827,
              0.33971,
              0.41999,
              0.55604,
              0.80797
            ],
            [
              0.19907,
              0.23354,
              0.25648,
              0.29085,
              0.34229,
              0.42258,
              0.55862,
              0.81057
            ],
            [
              0.20228,
              0.23676,
              0.25969,
              0.29407,
              0.34553,
              0.42581,
              0.56186,
              0.8138
            ],
            [
              0.20725,
              0.24171,
              0.26465,
              0.29902,
              0.35047,
              0.43078,
              0.5668,
              0.81883
            ],
            [
              0.21492,
              0.24938,
              0.27232,
              0.3067,
              0.35815,
              0.43844,
              0.57449,
              0.82643
            ],
            [
              0.22669,
              0.26113,
              0.28405,
              0.31841,
              0.36986,
              0.45017,
              0.58617,
              0.83821
            ],
            [
              0.24465,
              0.27903,
              0.30191,
              0.33627,
              0.38773,
              0.46805,
              0.60405,
              0.85613
            ],
            [
              0.27183,
              0.30611,
              0.32895,
              0.36328,
              0.41477,
              0.49511,
              0.63118,
              0.88326
            ],
            [
              0.31164,
              0.34596,
              0.3688,
              0.40316,
              0.45471,
              0.53514,
              0.67128,
              0.92335
            ],
            [
              0.36542,
              0.40095,
              0.42423,
              0.45901,
              0.51091,
              0.5916,
              0.72789,
              0.97989
            ],
            [
              0.43085,
              0.46892,
              0.49362,
              0.53012,
              0.58382,
              0.66572,
              0.80262,
              1.05482
            ],
            [
              0.50927,
              0.55087,
              0.57747,
              0.61637,
              0.67287,
              0.75767,
              0.89677,
              1.14977
            ],
            [
              0.6028,
              0.6491,
              0.6784,
              0.7206,
              0.7808,
              0.8693,
              1.0117,
              1.2669
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.1421,
              0.17119,
              0.19273,
              0.22948,
              0.2953,
              0.42049,
              0.66692,
              1.15817
            ],
            [
              0.1446,
              0.1737,
              0.19524,
              0.23198,
              0.29781,
              0.423,
              0.66942,
              1.16044
            ],
            [
              0.14766,
              0.17675,
              0.1983,
              0.23504,
              0.30086,
              0.42605,
              0.67259,
              1.16372
            ],
            [
              0.15221,
              0.1813,
              0.20284,
              0.23958,
              0.3054,
              0.43057,
              0.6771,
              1.16818
            ],
            [
              0.15909,
              0.18818,
              0.20971,
              0.24644,
              0.31227,
              0.43745,
              0.68411,
              1.17511
            ],
            [
              0.16934,
              0.19843,
              0.21996,
              0.25668,
              0.32249,
              0.44767,
              0.69411,
              1.18532
            ],
            [
              0.18486,
              0.21394,
              0.23544,
              0.27213,
              0.33791,
              0.4631,
              0.70979,
              1.20083
            ],
            [
              0.20692,
              0.23596,
              0.25742,
              0.29406,
              0.3598,
              0.48497,
              0.7316,
              1.22286
            ],
            [
              0.23536,
              0.26507,
              0.28671,
              0.32343,
              0.38917,
              0.51431,
              0.76085,
              1.25225
            ],
            [
              0.26907,
              0.30039,
              0.32291,
              0.36053,
              0.42682,
              0.55205,
              0.79869,
              1.28999
            ],
            [
              0.3077,
              0.34148,
              0.36533,
              0.40435,
              0.47172,
              0.59762,
              0.84422,
              1.33562
            ],
            [
              0.35007,
              0.38727,
              0.41317,
              0.45437,
              0.52347,
              0.64997,
              0.89697,
              1.38827
            ],
            [
              0.3944,
              0.4357,
              0.4645,
              0.5091,
              0.5809,
              0.7086,
              0.9558,
              1.447
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.04393,
              0.06375,
              0.07765,
              0.10065,
              0.14078,
              0.21671,
              0.36955,
              0.68862
            ],
            [
              0.04392,
              0.06377,
              0.07765,
              0.10065,
              0.14078,
              0.21673,
              0.36959,
              0.6887
            ],
            [
              0.04392,
              0.06377,
              0.07765,
              0.10068,
              0.14078,
              0.21672,
              0.36957,
              0.68865
            ],
            [
              0.04392,
              0.06376,
              0.07764,
              0.10062,
              0.14098,
              0.21693,
              0.36956,
              0.68933
            ],
            [
              0.04393,
              0.06377,
              0.07762,
              0.10068,
              0.14076,
              0.21669,
              0.36959,
              0.6888
            ],
            [
              0.04391,
              0.06375,
              0.07764,
              0.10071,
              0.1408,
              0.21666,
              0.36971,
              0.68907
            ],
            [
              0.04389,
              0.06373,
              0.07765,
              0.10068,
              0.1408,
              0.21665,
              0.36971,
              0.68918
            ],
            [
              0.04393,
              0.06377,
              0.07772,
              0.10076,
              0.14097,
              0.21688,
              0.36952,
              0.6893
            ],
            [
              0.04472,
              0.06441,
              0.07822,
              0.10117,
              0.14129,
              0.21707,
              0.36956,
              0.68938
            ],
            [
              0.04923,
              0.06806,
              0.08127,
              0.10345,
              0.14259,
              0.21766,
              0.36999,
              0.6889
            ],
            [
              0.05654,
              0.07549,
              0.08841,
              0.1101,
              0.1479,
              0.2209,
              0.3714,
              0.6896
            ],
            [
              0.0669,
              0.0859,
              0.0985,
              0.1196,
              0.1567,
              0.2284,
              0.3767,
              0.6921
            ],
            [
              0.0803,
              0.1003,
              0.1127,
              0.1328,
              0.1687,
              0.2387,
              0.3847,
              0.6958
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.02484,
              0.05112,
              0.07372,
              0.11746,
              0.20625,
              0.38826,
              0.75775,
              1.50027
            ],
            [
              0.02484,
              0.05113,
              0.07372,
              0.11746,
              0.20624,
              0.3883,
              0.75771,
              1.50032
            ],
            [
              0.02483,
              0.05111,
              0.07374,
              0.11748,
              0.20649,
              0.38824,
              0.75743,
              1.50184
            ],
            [
              0.02483,
              0.05112,
              0.07373,
              0.11748,
              0.20641,
              0.38846,
              0.75775,
              1.50205
            ],
            [
              0.02484,
              0.05112,
              0.07372,
              0.11747,
              0.20627,
              0.38838,
              0.7578,
              1.50072
            ],
            [
              0.02482,
              0.05112,
              0.07375,
              0.1175,
              0.20647,
              0.38845,
              0.75748,
              1.50046
            ],
            [
              0.02485,
              0.0511,
              0.07375,
              0.11753,
              0.20624,
              0.38838,
              0.75784,
              1.50048
            ],
            [
              0.0249,
              0.05116,
              0.0738,
              0.11758,
              0.20646,
              0.38847,
              0.75755,
              1.49976
            ],
            [
              0.02606,
              0.05226,
              0.07468,
              0.11811,
              0.20668,
              0.38862,
              0.75746,
              1.5002
            ],
            [
              0.02812,
              0.05512,
              0.07757,
              0.12061,
              0.20816,
              0.38885,
              0.75783,
              1.5003
            ],
            [
              0.03128,
              0.05943,
              0.08206,
              0.1246,
              0.21096,
              0.39032,
              0.758,
              1.5007
            ],
            [
              0.0358,
              0.066,
              0.0889,
              0.1307,
              0.2152,
              0.3926,
              0.7598,
              1.5004
            ],
            [
              0.0415,
              0.0745,
              0.0986,
              0.14,
              0.222,
              0.3959,
              0.7603,
              1.5007
            ]
          ]
        },
        "sdf_cond": "(!A&B)",
        "timing_sense": "positive_unate",
        "when": "(!A&B)"
      },
      {
        "cell_fall,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.19615,
              0.23068,
              0.25364,
              0.28805,
              0.33949,
              0.41977,
              0.55579,
              0.80773
            ],
            [
              0.19875,
              0.23328,
              0.25624,
              0.29063,
              0.34207,
              0.42236,
              0.55837,
              0.81034
            ],
            [
              0.20197,
              0.2365,
              0.25945,
              0.29385,
              0.34531,
              0.4256,
              0.56161,
              0.81357
            ],
            [
              0.20691,
              0.24144,
              0.26441,
              0.2988,
              0.35025,
              0.43056,
              0.56656,
              0.81859
            ],
            [
              0.21461,
              0.24912,
              0.27208,
              0.30648,
              0.35794,
              0.43822,
              0.57425,
              0.82618
            ],
            [
              0.22638,
              0.26087,
              0.28381,
              0.31819,
              0.36965,
              0.44996,
              0.58594,
              0.838
            ],
            [
              0.24435,
              0.27877,
              0.30168,
              0.33605,
              0.38752,
              0.46783,
              0.60383,
              0.8559
            ],
            [
              0.27154,
              0.30587,
              0.32873,
              0.36307,
              0.41456,
              0.4949,
              0.63096,
              0.88306
            ],
            [
              0.31137,
              0.34574,
              0.3686,
              0.40297,
              0.45452,
              0.53495,
              0.67107,
              0.92315
            ],
            [
              0.36515,
              0.40074,
              0.42404,
              0.45883,
              0.51073,
              0.59141,
              0.72769,
              0.97949
            ],
            [
              0.43059,
              0.46872,
              0.49342,
              0.53002,
              0.58372,
              0.66562,
              0.80242,
              1.05462
            ],
            [
              0.50907,
              0.55067,
              0.57727,
              0.61627,
              0.67267,
              0.75757,
              0.89657,
              1.14957
            ],
            [
              0.6025,
              0.649,
              0.6783,
              0.7205,
              0.7807,
              0.8692,
              1.0116,
              1.2667
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.14211,
              0.17122,
              0.19276,
              0.22951,
              0.29534,
              0.42052,
              0.66713,
              1.15817
            ],
            [
              0.14461,
              0.17372,
              0.19527,
              0.23202,
              0.29785,
              0.42305,
              0.66947,
              1.16054
            ],
            [
              0.14767,
              0.17678,
              0.19833,
              0.23508,
              0.3009,
              0.4261,
              0.67261,
              1.16362
            ],
            [
              0.15221,
              0.18132,
              0.20287,
              0.23963,
              0.30545,
              0.43065,
              0.67727,
              1.16828
            ],
            [
              0.15909,
              0.1882,
              0.20973,
              0.24648,
              0.31231,
              0.43751,
              0.68393,
              1.17501
            ],
            [
              0.16935,
              0.19844,
              0.21998,
              0.25671,
              0.32253,
              0.44772,
              0.69414,
              1.18542
            ],
            [
              0.18487,
              0.21395,
              0.23547,
              0.27216,
              0.33795,
              0.46315,
              0.70983,
              1.20083
            ],
            [
              0.20692,
              0.23597,
              0.25744,
              0.29409,
              0.35983,
              0.485,
              0.73167,
              1.22266
            ],
            [
              0.23536,
              0.26507,
              0.28672,
              0.32345,
              0.38919,
              0.51437,
              0.76085,
              1.25225
            ],
            [
              0.26906,
              0.30038,
              0.32291,
              0.36053,
              0.42683,
              0.55206,
              0.79869,
              1.28999
            ],
            [
              0.30768,
              0.34146,
              0.36531,
              0.40434,
              0.47172,
              0.59762,
              0.84422,
              1.33562
            ],
            [
              0.35007,
              0.38727,
              0.41317,
              0.45437,
              0.52347,
              0.64997,
              0.89697,
              1.38827
            ],
            [
              0.3944,
              0.4357,
              0.4645,
              0.5091,
              0.5809,
              0.7085,
              0.9558,
              1.447
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.04395,
              0.06381,
              0.0777,
              0.10069,
              0.14079,
              0.21672,
              0.36958,
              0.68884
            ],
            [
              0.04394,
              0.06382,
              0.0777,
              0.10069,
              0.1408,
              0.21662,
              0.36963,
              0.68892
            ],
            [
              0.04396,
              0.06383,
              0.07769,
              0.10074,
              0.14079,
              0.21663,
              0.36962,
              0.68897
            ],
            [
              0.04393,
              0.06382,
              0.0777,
              0.10064,
              0.14099,
              0.21694,
              0.36948,
              0.68935
            ],
            [
              0.04395,
              0.06383,
              0.07767,
              0.10071,
              0.14078,
              0.21669,
              0.36956,
              0.68883
            ],
            [
              0.04392,
              0.06381,
              0.07768,
              0.10075,
              0.1408,
              0.21663,
              0.36967,
              0.68928
            ],
            [
              0.04392,
              0.0638,
              0.0777,
              0.10072,
              0.1408,
              0.21663,
              0.36967,
              0.68929
            ],
            [
              0.04397,
              0.06383,
              0.07775,
              0.10078,
              0.14086,
              0.21677,
              0.36942,
              0.68941
            ],
            [
              0.04475,
              0.06446,
              0.07825,
              0.1012,
              0.14118,
              0.21694,
              0.36944,
              0.68938
            ],
            [
              0.04927,
              0.06813,
              0.08133,
              0.10347,
              0.14259,
              0.21772,
              0.36995,
              0.6893
            ],
            [
              0.05662,
              0.07555,
              0.08854,
              0.11,
              0.1479,
              0.2212,
              0.3714,
              0.6897
            ],
            [
              0.0669,
              0.086,
              0.0985,
              0.1196,
              0.1567,
              0.2284,
              0.3767,
              0.6921
            ],
            [
              0.0804,
              0.1004,
              0.1127,
              0.1328,
              0.1688,
              0.2386,
              0.3846,
              0.6957
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "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.00478,
            0.00957,
            0.01913,
            0.03827,
            0.07655,
            0.15308,
            0.30617
          ],
          "values": [
            [
              0.02486,
              0.05116,
              0.07375,
              0.11748,
              0.20629,
              0.3884,
              0.7579,
              1.50002
            ],
            [
              0.02486,
              0.05116,
              0.07375,
              0.11748,
              0.20627,
              0.38829,
              0.75766,
              1.50027
            ],
            [
              0.02487,
              0.05109,
              0.07377,
              0.11751,
              0.20651,
              0.38832,
              0.75748,
              1.50029
            ],
            [
              0.02485,
              0.05114,
              0.07376,
              0.1175,
              0.20651,
              0.38836,
              0.75789,
              1.50169
            ],
            [
              0.02487,
              0.05115,
              0.07374,
              0.11751,
              0.20628,
              0.38835,
              0.75766,
              1.50035
            ],
            [
              0.02485,
              0.05114,
              0.07377,
              0.11753,
              0.2065,
              0.38845,
              0.75753,
              1.50053
            ],
            [
              0.02487,
              0.05111,
              0.07377,
              0.11756,
              0.20626,
              0.38839,
              0.7578,
              1.50035
            ],
            [
              0.02493,
              0.05117,
              0.07383,
              0.1176,
              0.20648,
              0.38851,
              0.75741,
              1.5003
            ],
            [
              0.02607,
              0.05228,
              0.07471,
              0.11813,
              0.20672,
              0.38844,
              0.75743,
              1.50247
            ],
            [
              0.02814,
              0.05514,
              0.07759,
              0.12063,
              0.20818,
              0.38885,
              0.75782,
              1.5003
            ],
            [
              0.03128,
              0.05945,
              0.08207,
              0.12463,
              0.21098,
              0.39033,
              0.758,
              1.5006
            ],
            [
              0.0358,
              0.0659,
              0.0888,
              0.1307,
              0.2152,
              0.3926,
              0.7599,
              1.5005
            ],
            [
              0.0415,
              0.0746,
              0.0986,
              0.1401,
              0.222,
              0.396,
              0.7602,
              1.5008
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "positive_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_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.0916,
              0.0824,
              0.07382,
              0.0569,
              0.02294,
              -0.04547,
              -0.18276,
              -0.45775
            ],
            [
              0.0914,
              0.08218,
              0.0736,
              0.05669,
              0.02272,
              -0.04569,
              -0.18298,
              -0.45796
            ],
            [
              0.09115,
              0.08194,
              0.07336,
              0.05644,
              0.02247,
              -0.04593,
              -0.18322,
              -0.45821
            ],
            [
              0.0909,
              0.0817,
              0.07313,
              0.05621,
              0.02224,
              -0.04617,
              -0.18346,
              -0.45844
            ],
            [
              0.09068,
              0.08148,
              0.0729,
              0.05599,
              0.02201,
              -0.04639,
              -0.18368,
              -0.45867
            ],
            [
              0.09049,
              0.08129,
              0.07271,
              0.0558,
              0.02183,
              -0.04658,
              -0.18387,
              -0.45886
            ],
            [
              0.09038,
              0.08118,
              0.07259,
              0.05569,
              0.02171,
              -0.0467,
              -0.18399,
              -0.45897
            ],
            [
              0.09034,
              0.08114,
              0.07257,
              0.05565,
              0.02169,
              -0.04671,
              -0.18401,
              -0.459
            ],
            [
              0.09057,
              0.08139,
              0.07283,
              0.05593,
              0.02195,
              -0.04644,
              -0.18374,
              -0.45874
            ],
            [
              0.09123,
              0.08204,
              0.07349,
              0.0566,
              0.02263,
              -0.04576,
              -0.18307,
              -0.45806
            ],
            [
              0.09287,
              0.0837,
              0.07517,
              0.05827,
              0.02432,
              -0.04407,
              -0.18138,
              -0.45639
            ],
            [
              0.09581,
              0.08666,
              0.07812,
              0.0612,
              0.02726,
              -0.0411,
              -0.17838,
              -0.45337
            ],
            [
              0.10067,
              0.09152,
              0.083,
              0.06613,
              0.0322,
              -0.03621,
              -0.17352,
              -0.44852
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.06944,
              0.07785,
              0.08641,
              0.10374,
              0.138,
              0.20656,
              0.34318,
              0.61526
            ],
            [
              0.06943,
              0.07782,
              0.08641,
              0.10363,
              0.13795,
              0.2065,
              0.34311,
              0.61577
            ],
            [
              0.06919,
              0.07759,
              0.08614,
              0.10342,
              0.13771,
              0.20639,
              0.34285,
              0.61604
            ],
            [
              0.06897,
              0.07737,
              0.08593,
              0.10318,
              0.13752,
              0.20605,
              0.34275,
              0.61564
            ],
            [
              0.06864,
              0.07705,
              0.08563,
              0.10285,
              0.13721,
              0.20572,
              0.34219,
              0.61446
            ],
            [
              0.06838,
              0.07679,
              0.08539,
              0.10267,
              0.13694,
              0.20533,
              0.34179,
              0.61548
            ],
            [
              0.06813,
              0.07655,
              0.08513,
              0.1024,
              0.13669,
              0.20524,
              0.34232,
              0.61501
            ],
            [
              0.06792,
              0.07637,
              0.08496,
              0.10227,
              0.13649,
              0.20499,
              0.34165,
              0.61444
            ],
            [
              0.06802,
              0.07646,
              0.08505,
              0.1024,
              0.13667,
              0.20527,
              0.34148,
              0.61378
            ],
            [
              0.06866,
              0.0771,
              0.08572,
              0.10297,
              0.13742,
              0.20581,
              0.34269,
              0.6152
            ],
            [
              0.0701,
              0.07859,
              0.08723,
              0.10447,
              0.13882,
              0.20726,
              0.34347,
              0.61706
            ],
            [
              0.07286,
              0.08137,
              0.09001,
              0.10747,
              0.14194,
              0.21031,
              0.34687,
              0.62028
            ],
            [
              0.07777,
              0.0863,
              0.09497,
              0.11227,
              0.14696,
              0.21567,
              0.35149,
              0.62428
            ]
          ]
        },
        "when": "(!B&!CI) | (B&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.08983,
              0.09596,
              0.10288,
              0.11695,
              0.14487,
              0.20014,
              0.30963,
              0.52819
            ],
            [
              0.0898,
              0.09592,
              0.10286,
              0.11683,
              0.1449,
              0.2001,
              0.30951,
              0.52899
            ],
            [
              0.08955,
              0.09567,
              0.10263,
              0.11664,
              0.1446,
              0.20007,
              0.30945,
              0.52897
            ],
            [
              0.08933,
              0.09548,
              0.10238,
              0.11642,
              0.1444,
              0.1998,
              0.30911,
              0.52809
            ],
            [
              0.08902,
              0.09514,
              0.10206,
              0.11607,
              0.14401,
              0.19936,
              0.30869,
              0.52821
            ],
            [
              0.08876,
              0.0949,
              0.10183,
              0.11591,
              0.14387,
              0.19917,
              0.30858,
              0.52829
            ],
            [
              0.08855,
              0.09468,
              0.10162,
              0.11566,
              0.14367,
              0.19888,
              0.30821,
              0.5272
            ],
            [
              0.08845,
              0.09457,
              0.1015,
              0.11557,
              0.14356,
              0.19865,
              0.30814,
              0.5279
            ],
            [
              0.08866,
              0.09477,
              0.10171,
              0.11573,
              0.14369,
              0.19899,
              0.30843,
              0.52824
            ],
            [
              0.08944,
              0.0955,
              0.10242,
              0.11646,
              0.14445,
              0.19978,
              0.30891,
              0.52811
            ],
            [
              0.09113,
              0.09713,
              0.10404,
              0.11808,
              0.14603,
              0.20137,
              0.31065,
              0.52894
            ],
            [
              0.09423,
              0.10016,
              0.10704,
              0.12111,
              0.14904,
              0.20415,
              0.31349,
              0.5326
            ],
            [
              0.09956,
              0.10535,
              0.11217,
              0.12617,
              0.15421,
              0.20956,
              0.31855,
              0.53813
            ]
          ]
        },
        "related_pin": "A",
        "rise_power,pwr_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.10943,
              0.11718,
              0.12576,
              0.14321,
              0.17779,
              0.24679,
              0.38307,
              0.65581
            ],
            [
              0.10922,
              0.11696,
              0.12554,
              0.14296,
              0.17769,
              0.24628,
              0.38298,
              0.65565
            ],
            [
              0.10898,
              0.11672,
              0.12531,
              0.14272,
              0.1774,
              0.24616,
              0.38228,
              0.65415
            ],
            [
              0.10874,
              0.11648,
              0.12507,
              0.14249,
              0.1772,
              0.24592,
              0.38206,
              0.65447
            ],
            [
              0.10852,
              0.11625,
              0.12484,
              0.14225,
              0.17698,
              0.24572,
              0.38235,
              0.65402
            ],
            [
              0.10833,
              0.11606,
              0.12465,
              0.14208,
              0.17675,
              0.24544,
              0.38159,
              0.65408
            ],
            [
              0.10818,
              0.11594,
              0.12452,
              0.14196,
              0.17669,
              0.24548,
              0.38203,
              0.65431
            ],
            [
              0.10819,
              0.11595,
              0.12453,
              0.14199,
              0.17669,
              0.24552,
              0.38167,
              0.65392
            ],
            [
              0.10854,
              0.1163,
              0.12489,
              0.14231,
              0.17713,
              0.24578,
              0.38222,
              0.65489
            ],
            [
              0.10941,
              0.11718,
              0.12581,
              0.14322,
              0.17797,
              0.24665,
              0.38324,
              0.65495
            ],
            [
              0.11136,
              0.11914,
              0.12776,
              0.14518,
              0.17988,
              0.24848,
              0.38501,
              0.65755
            ],
            [
              0.11487,
              0.1226,
              0.13121,
              0.14852,
              0.18299,
              0.25188,
              0.38828,
              0.66109
            ],
            [
              0.12061,
              0.12817,
              0.13659,
              0.15393,
              0.18864,
              0.25701,
              0.39345,
              0.66563
            ]
          ]
        },
        "when": "(B&!CI) | (!B&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.08637,
              0.07715,
              0.06859,
              0.05166,
              0.0177,
              -0.05068,
              -0.18796,
              -0.46294
            ],
            [
              0.08626,
              0.07704,
              0.06846,
              0.05155,
              0.01758,
              -0.0508,
              -0.18808,
              -0.46306
            ],
            [
              0.08607,
              0.07685,
              0.06827,
              0.05135,
              0.01738,
              -0.051,
              -0.18828,
              -0.46326
            ],
            [
              0.08584,
              0.07662,
              0.06804,
              0.05113,
              0.01716,
              -0.05122,
              -0.1885,
              -0.46347
            ],
            [
              0.08572,
              0.07648,
              0.0679,
              0.05099,
              0.01703,
              -0.05135,
              -0.18863,
              -0.4636
            ],
            [
              0.08578,
              0.07654,
              0.06794,
              0.05102,
              0.01705,
              -0.05133,
              -0.1886,
              -0.46358
            ],
            [
              0.08608,
              0.07685,
              0.06825,
              0.05132,
              0.01735,
              -0.05104,
              -0.18831,
              -0.46328
            ],
            [
              0.08681,
              0.07756,
              0.06897,
              0.05204,
              0.01807,
              -0.05032,
              -0.18759,
              -0.46256
            ],
            [
              0.08805,
              0.07882,
              0.07022,
              0.05329,
              0.01931,
              -0.04908,
              -0.18634,
              -0.46131
            ],
            [
              0.08976,
              0.08052,
              0.07194,
              0.055,
              0.02102,
              -0.04735,
              -0.18462,
              -0.45959
            ],
            [
              0.09236,
              0.08317,
              0.07459,
              0.05765,
              0.02367,
              -0.0447,
              -0.18198,
              -0.45695
            ],
            [
              0.09629,
              0.08709,
              0.0785,
              0.06153,
              0.02757,
              -0.04079,
              -0.17804,
              -0.45298
            ],
            [
              0.10221,
              0.093,
              0.08443,
              0.06751,
              0.03353,
              -0.03489,
              -0.17211,
              -0.44706
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.0509,
              0.05931,
              0.06788,
              0.08524,
              0.11952,
              0.18805,
              0.3246,
              0.59715
            ],
            [
              0.05073,
              0.05917,
              0.06775,
              0.08505,
              0.11944,
              0.18788,
              0.32418,
              0.59739
            ],
            [
              0.05079,
              0.05921,
              0.06782,
              0.08514,
              0.11937,
              0.18795,
              0.3243,
              0.59742
            ],
            [
              0.05084,
              0.05926,
              0.06786,
              0.08507,
              0.11945,
              0.1881,
              0.32483,
              0.59704
            ],
            [
              0.05092,
              0.05935,
              0.06796,
              0.08528,
              0.11952,
              0.18797,
              0.3247,
              0.59718
            ],
            [
              0.05119,
              0.05963,
              0.0682,
              0.08547,
              0.11983,
              0.18846,
              0.32502,
              0.5978
            ],
            [
              0.05166,
              0.06009,
              0.06867,
              0.08596,
              0.12031,
              0.18898,
              0.32524,
              0.59909
            ],
            [
              0.05253,
              0.06094,
              0.06953,
              0.08681,
              0.12112,
              0.18975,
              0.32641,
              0.59884
            ],
            [
              0.05387,
              0.06228,
              0.0709,
              0.08815,
              0.12248,
              0.1911,
              0.32737,
              0.60072
            ],
            [
              0.05573,
              0.06414,
              0.07271,
              0.08993,
              0.12426,
              0.19283,
              0.32928,
              0.60227
            ],
            [
              0.0585,
              0.06694,
              0.07552,
              0.09271,
              0.12699,
              0.19552,
              0.3321,
              0.60576
            ],
            [
              0.06271,
              0.0711,
              0.07968,
              0.09702,
              0.13138,
              0.19949,
              0.33615,
              0.60886
            ],
            [
              0.06931,
              0.07772,
              0.08626,
              0.10359,
              0.13805,
              0.20663,
              0.34258,
              0.61536
            ]
          ]
        },
        "when": "(!A&!CI) | (A&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.07031,
              0.07641,
              0.08334,
              0.09737,
              0.12528,
              0.18078,
              0.29,
              0.50944
            ],
            [
              0.07014,
              0.07624,
              0.08317,
              0.09721,
              0.12515,
              0.18034,
              0.28996,
              0.50912
            ],
            [
              0.07017,
              0.07627,
              0.08321,
              0.09724,
              0.12519,
              0.18048,
              0.28956,
              0.5096
            ],
            [
              0.07012,
              0.07621,
              0.08317,
              0.09718,
              0.12514,
              0.18055,
              0.28981,
              0.50891
            ],
            [
              0.07004,
              0.07613,
              0.08305,
              0.09711,
              0.12497,
              0.18025,
              0.28954,
              0.50954
            ],
            [
              0.07005,
              0.07616,
              0.08309,
              0.09712,
              0.12511,
              0.18021,
              0.28962,
              0.50811
            ],
            [
              0.07009,
              0.07617,
              0.0831,
              0.09715,
              0.12509,
              0.18049,
              0.28958,
              0.50888
            ],
            [
              0.0703,
              0.07641,
              0.08332,
              0.09734,
              0.12525,
              0.18044,
              0.28995,
              0.50953
            ],
            [
              0.07087,
              0.07697,
              0.08389,
              0.0979,
              0.12583,
              0.18091,
              0.29,
              0.50968
            ],
            [
              0.07202,
              0.07813,
              0.08503,
              0.09901,
              0.12686,
              0.18224,
              0.2918,
              0.51126
            ],
            [
              0.07414,
              0.08022,
              0.08712,
              0.10102,
              0.12888,
              0.18414,
              0.29369,
              0.51276
            ],
            [
              0.07768,
              0.08371,
              0.09061,
              0.1046,
              0.13238,
              0.18722,
              0.29723,
              0.51551
            ],
            [
              0.08358,
              0.08957,
              0.09635,
              0.11021,
              0.13824,
              0.1934,
              0.30229,
              0.52121
            ]
          ]
        },
        "related_pin": "B",
        "rise_power,pwr_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.10111,
              0.1089,
              0.11755,
              0.13493,
              0.16963,
              0.23847,
              0.37461,
              0.64719
            ],
            [
              0.10096,
              0.10876,
              0.11739,
              0.13482,
              0.1695,
              0.23847,
              0.37508,
              0.64743
            ],
            [
              0.10074,
              0.10852,
              0.11715,
              0.13455,
              0.16925,
              0.23818,
              0.37447,
              0.64702
            ],
            [
              0.10053,
              0.10829,
              0.11692,
              0.13431,
              0.16902,
              0.23774,
              0.37427,
              0.64639
            ],
            [
              0.10028,
              0.10804,
              0.11665,
              0.13406,
              0.16877,
              0.23751,
              0.37375,
              0.64672
            ],
            [
              0.10019,
              0.10795,
              0.11656,
              0.13392,
              0.16865,
              0.23742,
              0.37413,
              0.64584
            ],
            [
              0.10022,
              0.10798,
              0.11661,
              0.13398,
              0.16865,
              0.23763,
              0.374,
              0.64641
            ],
            [
              0.10056,
              0.1083,
              0.11692,
              0.13426,
              0.16894,
              0.23785,
              0.37394,
              0.6463
            ],
            [
              0.1013,
              0.10905,
              0.11759,
              0.13501,
              0.16974,
              0.2386,
              0.37487,
              0.64684
            ],
            [
              0.10263,
              0.11038,
              0.11892,
              0.1362,
              0.17081,
              0.23956,
              0.37583,
              0.64779
            ],
            [
              0.10513,
              0.11279,
              0.12118,
              0.13839,
              0.17298,
              0.2416,
              0.37835,
              0.65066
            ],
            [
              0.10928,
              0.11669,
              0.12507,
              0.14218,
              0.17647,
              0.24513,
              0.38182,
              0.65443
            ],
            [
              0.11568,
              0.12287,
              0.13104,
              0.14801,
              0.18237,
              0.2508,
              0.3871,
              0.65973
            ]
          ]
        },
        "when": "(A&!CI) | (!A&CI)"
      },
      {
        "fall_power,pwr_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.05304,
              0.04342,
              0.03469,
              0.01763,
              -0.01645,
              -0.08493,
              -0.22225,
              -0.49727
            ],
            [
              0.05295,
              0.04332,
              0.03458,
              0.01753,
              -0.01655,
              -0.08502,
              -0.22235,
              -0.49737
            ],
            [
              0.05283,
              0.04323,
              0.03448,
              0.01743,
              -0.01666,
              -0.08512,
              -0.22245,
              -0.49747
            ],
            [
              0.05277,
              0.04317,
              0.03442,
              0.01736,
              -0.01671,
              -0.08518,
              -0.22252,
              -0.49753
            ],
            [
              0.05268,
              0.04307,
              0.03432,
              0.01726,
              -0.01682,
              -0.08528,
              -0.22261,
              -0.49763
            ],
            [
              0.05261,
              0.043,
              0.03423,
              0.01717,
              -0.01692,
              -0.08538,
              -0.22271,
              -0.49772
            ],
            [
              0.05255,
              0.04292,
              0.03415,
              0.01707,
              -0.01704,
              -0.08548,
              -0.22279,
              -0.49779
            ],
            [
              0.05259,
              0.04294,
              0.03414,
              0.01702,
              -0.01709,
              -0.08553,
              -0.22283,
              -0.49781
            ],
            [
              0.05295,
              0.04323,
              0.03436,
              0.01717,
              -0.01699,
              -0.08543,
              -0.22269,
              -0.49766
            ],
            [
              0.05396,
              0.04405,
              0.03508,
              0.01776,
              -0.01652,
              -0.085,
              -0.22226,
              -0.49721
            ],
            [
              0.05573,
              0.04554,
              0.0364,
              0.0189,
              -0.01554,
              -0.08412,
              -0.22141,
              -0.49635
            ],
            [
              0.05857,
              0.04804,
              0.03869,
              0.0209,
              -0.01377,
              -0.08249,
              -0.21984,
              -0.49476
            ],
            [
              0.06266,
              0.05175,
              0.04214,
              0.02411,
              -0.01081,
              -0.07981,
              -0.2173,
              -0.49225
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.03227,
              0.04093,
              0.04968,
              0.06713,
              0.10155,
              0.17029,
              0.30644,
              0.57875
            ],
            [
              0.03219,
              0.04085,
              0.04961,
              0.06701,
              0.10145,
              0.17034,
              0.30675,
              0.5798
            ],
            [
              0.03209,
              0.04073,
              0.04946,
              0.06692,
              0.10137,
              0.17031,
              0.30677,
              0.57981
            ],
            [
              0.03204,
              0.0407,
              0.04943,
              0.0668,
              0.10127,
              0.17026,
              0.30621,
              0.58019
            ],
            [
              0.03197,
              0.04063,
              0.04936,
              0.06676,
              0.1012,
              0.16985,
              0.30633,
              0.57935
            ],
            [
              0.03188,
              0.04056,
              0.04926,
              0.0667,
              0.10112,
              0.16983,
              0.30619,
              0.57901
            ],
            [
              0.03184,
              0.04049,
              0.04921,
              0.06659,
              0.10093,
              0.16982,
              0.30605,
              0.57949
            ],
            [
              0.0319,
              0.04051,
              0.0492,
              0.06662,
              0.1009,
              0.16971,
              0.30601,
              0.57929
            ],
            [
              0.03217,
              0.04071,
              0.04932,
              0.06669,
              0.10091,
              0.1697,
              0.30545,
              0.57886
            ],
            [
              0.03275,
              0.04117,
              0.04973,
              0.06688,
              0.10125,
              0.16958,
              0.30658,
              0.58014
            ],
            [
              0.03381,
              0.04207,
              0.0506,
              0.06775,
              0.10192,
              0.17058,
              0.30703,
              0.58062
            ],
            [
              0.03565,
              0.04371,
              0.05215,
              0.06921,
              0.10343,
              0.17152,
              0.30802,
              0.58173
            ],
            [
              0.03869,
              0.04647,
              0.05479,
              0.07164,
              0.10592,
              0.17416,
              0.31022,
              0.58208
            ]
          ]
        },
        "when": "(!A&!B) | (A&B)"
      },
      {
        "fall_power,pwr_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.05465,
              0.06063,
              0.06741,
              0.08137,
              0.10904,
              0.16425,
              0.27328,
              0.49188
            ],
            [
              0.05458,
              0.06056,
              0.06734,
              0.0813,
              0.10897,
              0.16411,
              0.27301,
              0.49279
            ],
            [
              0.05452,
              0.06048,
              0.06728,
              0.08124,
              0.10897,
              0.16408,
              0.27333,
              0.49239
            ],
            [
              0.05443,
              0.0604,
              0.0672,
              0.08115,
              0.10887,
              0.164,
              0.27309,
              0.4922
            ],
            [
              0.05434,
              0.06031,
              0.06709,
              0.08104,
              0.10871,
              0.16388,
              0.27322,
              0.49209
            ],
            [
              0.05423,
              0.06021,
              0.06699,
              0.08093,
              0.10865,
              0.16378,
              0.27256,
              0.4925
            ],
            [
              0.05414,
              0.06012,
              0.06689,
              0.0808,
              0.10842,
              0.16369,
              0.27313,
              0.49242
            ],
            [
              0.05415,
              0.06011,
              0.06684,
              0.08071,
              0.10836,
              0.16344,
              0.27278,
              0.49162
            ],
            [
              0.05436,
              0.06024,
              0.06692,
              0.08073,
              0.10826,
              0.16345,
              0.27236,
              0.4918
            ],
            [
              0.05487,
              0.06065,
              0.06727,
              0.08098,
              0.10847,
              0.16362,
              0.27291,
              0.49239
            ],
            [
              0.0559,
              0.0615,
              0.06802,
              0.08162,
              0.10901,
              0.16389,
              0.27325,
              0.49192
            ],
            [
              0.05772,
              0.06309,
              0.06949,
              0.08297,
              0.11027,
              0.1649,
              0.27433,
              0.49367
            ],
            [
              0.0607,
              0.06573,
              0.07199,
              0.0853,
              0.11256,
              0.16734,
              0.27614,
              0.49581
            ]
          ]
        },
        "related_pin": "CI",
        "rise_power,pwr_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.0712,
              0.07877,
              0.08729,
              0.10463,
              0.13927,
              0.20795,
              0.34421,
              0.61608
            ],
            [
              0.07111,
              0.07871,
              0.08716,
              0.10454,
              0.13919,
              0.20777,
              0.34405,
              0.61601
            ],
            [
              0.07103,
              0.07859,
              0.0871,
              0.10442,
              0.13909,
              0.20768,
              0.344,
              0.61585
            ],
            [
              0.07094,
              0.07849,
              0.08697,
              0.1044,
              0.13899,
              0.20783,
              0.34444,
              0.61615
            ],
            [
              0.07089,
              0.07847,
              0.08693,
              0.10432,
              0.13893,
              0.20761,
              0.34395,
              0.61567
            ],
            [
              0.0708,
              0.07836,
              0.08681,
              0.10421,
              0.13882,
              0.20741,
              0.3434,
              0.61625
            ],
            [
              0.07075,
              0.07828,
              0.08674,
              0.10408,
              0.13872,
              0.20729,
              0.3435,
              0.61584
            ],
            [
              0.07079,
              0.07828,
              0.08675,
              0.10407,
              0.13865,
              0.20732,
              0.34405,
              0.61621
            ],
            [
              0.0711,
              0.07855,
              0.08692,
              0.1042,
              0.13873,
              0.20753,
              0.34417,
              0.61646
            ],
            [
              0.07206,
              0.07936,
              0.08764,
              0.1047,
              0.13917,
              0.20772,
              0.34401,
              0.61615
            ],
            [
              0.07385,
              0.08082,
              0.08883,
              0.10576,
              0.14009,
              0.20855,
              0.34498,
              0.61649
            ],
            [
              0.0766,
              0.08319,
              0.09108,
              0.10783,
              0.14163,
              0.21,
              0.34628,
              0.61845
            ],
            [
              0.08066,
              0.08684,
              0.09448,
              0.11086,
              0.14463,
              0.21249,
              0.34869,
              0.62079
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.22532,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.34695,
              0.37688,
              0.39781,
              0.43055,
              0.48191,
              0.56592,
              0.71329,
              0.99177
            ],
            [
              0.3495,
              0.37943,
              0.40036,
              0.43309,
              0.48446,
              0.56847,
              0.71587,
              0.99444
            ],
            [
              0.35271,
              0.38264,
              0.40356,
              0.4363,
              0.48767,
              0.57168,
              0.71901,
              0.99742
            ],
            [
              0.35774,
              0.38766,
              0.40858,
              0.44133,
              0.49268,
              0.57669,
              0.72408,
              1.00258
            ],
            [
              0.36558,
              0.39551,
              0.41643,
              0.44917,
              0.50054,
              0.58454,
              0.73189,
              1.01041
            ],
            [
              0.37755,
              0.40748,
              0.4284,
              0.46113,
              0.51251,
              0.59651,
              0.74385,
              1.02232
            ],
            [
              0.39498,
              0.4249,
              0.44582,
              0.47855,
              0.52991,
              0.61392,
              0.76128,
              1.03983
            ],
            [
              0.41906,
              0.44892,
              0.46983,
              0.50254,
              0.55389,
              0.63788,
              0.78531,
              1.06396
            ],
            [
              0.45108,
              0.48087,
              0.50175,
              0.53444,
              0.58573,
              0.66972,
              0.81705,
              1.09545
            ],
            [
              0.49135,
              0.52104,
              0.54187,
              0.57451,
              0.6258,
              0.70979,
              0.85709,
              1.13549
            ],
            [
              0.53652,
              0.56602,
              0.58672,
              0.61932,
              0.67052,
              0.75442,
              0.90162,
              1.18022
            ],
            [
              0.58727,
              0.61667,
              0.63737,
              0.66977,
              0.72077,
              0.80447,
              0.95137,
              1.23007
            ],
            [
              0.6503,
              0.6796,
              0.7002,
              0.7326,
              0.7834,
              0.8668,
              1.0137,
              1.2916
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.30183,
              0.33172,
              0.35296,
              0.38923,
              0.45536,
              0.58341,
              0.83693,
              1.34447
            ],
            [
              0.30424,
              0.33413,
              0.35536,
              0.3916,
              0.45772,
              0.58561,
              0.83948,
              1.34624
            ],
            [
              0.30708,
              0.33696,
              0.3582,
              0.39445,
              0.46057,
              0.58841,
              0.84234,
              1.34922
            ],
            [
              0.31152,
              0.34141,
              0.36264,
              0.39892,
              0.46497,
              0.59305,
              0.84667,
              1.35298
            ],
            [
              0.31811,
              0.34799,
              0.36922,
              0.40549,
              0.47153,
              0.59961,
              0.85312,
              1.35991
            ],
            [
              0.32737,
              0.35725,
              0.37848,
              0.41476,
              0.48083,
              0.60891,
              0.86232,
              1.36902
            ],
            [
              0.33912,
              0.36898,
              0.39021,
              0.42645,
              0.49258,
              0.62044,
              0.87439,
              1.38123
            ],
            [
              0.35358,
              0.38338,
              0.4046,
              0.44087,
              0.507,
              0.63508,
              0.88846,
              1.39486
            ],
            [
              0.37064,
              0.40034,
              0.42154,
              0.4578,
              0.52395,
              0.65203,
              0.90535,
              1.41205
            ],
            [
              0.38978,
              0.41932,
              0.44051,
              0.47679,
              0.54288,
              0.67079,
              0.92429,
              1.43089
            ],
            [
              0.41003,
              0.43948,
              0.46062,
              0.49692,
              0.56292,
              0.69082,
              0.94452,
              1.45102
            ],
            [
              0.42957,
              0.45887,
              0.47997,
              0.51617,
              0.58237,
              0.71017,
              0.96387,
              1.47087
            ],
            [
              0.4457,
              0.4749,
              0.496,
              0.5321,
              0.5983,
              0.7262,
              0.9799,
              1.486
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.03535,
              0.05559,
              0.07074,
              0.09653,
              0.14212,
              0.22893,
              0.40226,
              0.7613
            ],
            [
              0.03535,
              0.05558,
              0.07074,
              0.0965,
              0.14212,
              0.22892,
              0.40226,
              0.76173
            ],
            [
              0.03534,
              0.05556,
              0.0707,
              0.0966,
              0.14239,
              0.22898,
              0.40219,
              0.76077
            ],
            [
              0.03535,
              0.05558,
              0.07073,
              0.09651,
              0.14212,
              0.22892,
              0.40226,
              0.76133
            ],
            [
              0.03534,
              0.05557,
              0.07072,
              0.0966,
              0.14235,
              0.22894,
              0.40222,
              0.7611
            ],
            [
              0.03534,
              0.05556,
              0.0707,
              0.0966,
              0.14238,
              0.22896,
              0.40222,
              0.76084
            ],
            [
              0.03532,
              0.05555,
              0.07069,
              0.0965,
              0.1421,
              0.22892,
              0.40221,
              0.76126
            ],
            [
              0.03522,
              0.05548,
              0.07065,
              0.09642,
              0.14206,
              0.22888,
              0.40221,
              0.76234
            ],
            [
              0.03505,
              0.05528,
              0.07045,
              0.09637,
              0.14187,
              0.22856,
              0.40182,
              0.76075
            ],
            [
              0.03474,
              0.05498,
              0.07016,
              0.0961,
              0.142,
              0.22846,
              0.4019,
              0.7609
            ],
            [
              0.0344,
              0.0546,
              0.0698,
              0.0956,
              0.1413,
              0.2279,
              0.4017,
              0.762
            ],
            [
              0.0342,
              0.0543,
              0.0695,
              0.0952,
              0.1408,
              0.2275,
              0.4012,
              0.7618
            ],
            [
              0.034,
              0.054,
              0.069,
              0.0948,
              0.1406,
              0.2272,
              0.4009,
              0.7602
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.02927,
              0.05292,
              0.07391,
              0.11611,
              0.20443,
              0.38689,
              0.75628,
              1.49873
            ],
            [
              0.02926,
              0.05286,
              0.07384,
              0.11612,
              0.20419,
              0.38721,
              0.75609,
              1.49654
            ],
            [
              0.02929,
              0.05286,
              0.07384,
              0.11606,
              0.20427,
              0.38724,
              0.75602,
              1.49718
            ],
            [
              0.02925,
              0.05292,
              0.07394,
              0.11611,
              0.20421,
              0.3868,
              0.7562,
              1.49994
            ],
            [
              0.02928,
              0.05291,
              0.0739,
              0.11634,
              0.20412,
              0.38694,
              0.75757,
              1.49626
            ],
            [
              0.02923,
              0.0529,
              0.07384,
              0.11601,
              0.20428,
              0.38645,
              0.75609,
              1.499
            ],
            [
              0.02917,
              0.05279,
              0.07379,
              0.116,
              0.20424,
              0.38723,
              0.75572,
              1.49778
            ],
            [
              0.02905,
              0.05272,
              0.07377,
              0.11601,
              0.20439,
              0.38664,
              0.75804,
              1.49988
            ],
            [
              0.02882,
              0.05249,
              0.07356,
              0.11593,
              0.20434,
              0.38666,
              0.75608,
              1.4989
            ],
            [
              0.02849,
              0.05228,
              0.07346,
              0.1157,
              0.20409,
              0.38702,
              0.75605,
              1.4992
            ],
            [
              0.02823,
              0.05195,
              0.0732,
              0.1156,
              0.2037,
              0.3871,
              0.7586,
              1.4996
            ],
            [
              0.0278,
              0.0517,
              0.0731,
              0.1155,
              0.2041,
              0.3864,
              0.7561,
              1.4975
            ],
            [
              0.0275,
              0.0516,
              0.0727,
              0.1154,
              0.204,
              0.3871,
              0.7559,
              1.4958
            ]
          ]
        },
        "sdf_cond": "(!B&!CI)",
        "timing_sense": "positive_unate",
        "when": "(!B&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.29977,
              0.32957,
              0.35044,
              0.38276,
              0.43275,
              0.51405,
              0.65832,
              0.93562
            ],
            [
              0.30223,
              0.33204,
              0.3529,
              0.38522,
              0.43521,
              0.51651,
              0.66081,
              0.93776
            ],
            [
              0.30508,
              0.33489,
              0.35576,
              0.38807,
              0.43806,
              0.51937,
              0.66367,
              0.94062
            ],
            [
              0.30952,
              0.33932,
              0.36019,
              0.39253,
              0.4425,
              0.5238,
              0.668,
              0.94534
            ],
            [
              0.31612,
              0.34592,
              0.36679,
              0.39912,
              0.4491,
              0.53039,
              0.67461,
              0.95191
            ],
            [
              0.32595,
              0.35577,
              0.37665,
              0.40897,
              0.45895,
              0.54024,
              0.68445,
              0.96172
            ],
            [
              0.34,
              0.36991,
              0.39081,
              0.42312,
              0.47307,
              0.55434,
              0.69859,
              0.97563
            ],
            [
              0.35901,
              0.3891,
              0.41002,
              0.44231,
              0.49221,
              0.57346,
              0.71765,
              0.99476
            ],
            [
              0.38286,
              0.41324,
              0.43419,
              0.46644,
              0.51627,
              0.59747,
              0.74175,
              1.01885
            ],
            [
              0.4104,
              0.4411,
              0.4621,
              0.49431,
              0.54406,
              0.62524,
              0.76949,
              1.04659
            ],
            [
              0.43995,
              0.47082,
              0.49182,
              0.52402,
              0.57372,
              0.65492,
              0.79922,
              1.07652
            ],
            [
              0.47097,
              0.50177,
              0.52277,
              0.55497,
              0.60467,
              0.68587,
              0.83007,
              1.10747
            ],
            [
              0.502,
              0.5325,
              0.5536,
              0.5858,
              0.6356,
              0.7168,
              0.8613,
              1.1387
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.30046,
              0.33071,
              0.35277,
              0.39039,
              0.45793,
              0.58656,
              0.84009,
              1.34597
            ],
            [
              0.30311,
              0.33337,
              0.35542,
              0.39304,
              0.4606,
              0.58917,
              0.84274,
              1.34864
            ],
            [
              0.30641,
              0.33666,
              0.35872,
              0.39634,
              0.4639,
              0.59247,
              0.84605,
              1.35192
            ],
            [
              0.3115,
              0.34176,
              0.36381,
              0.40143,
              0.46898,
              0.59761,
              0.85111,
              1.35698
            ],
            [
              0.3194,
              0.34966,
              0.37172,
              0.40934,
              0.47688,
              0.6055,
              0.85901,
              1.36491
            ],
            [
              0.33143,
              0.36169,
              0.38375,
              0.42137,
              0.48892,
              0.61751,
              0.87107,
              1.37692
            ],
            [
              0.34951,
              0.37978,
              0.40184,
              0.43946,
              0.507,
              0.63561,
              0.88913,
              1.39503
            ],
            [
              0.37613,
              0.40642,
              0.42848,
              0.4661,
              0.53366,
              0.6622,
              0.91576,
              1.42166
            ],
            [
              0.41404,
              0.44438,
              0.46645,
              0.50408,
              0.57161,
              0.70017,
              0.95365,
              1.45965
            ],
            [
              0.46503,
              0.49548,
              0.51758,
              0.55522,
              0.62277,
              0.75129,
              1.00479,
              1.51079
            ],
            [
              0.52922,
              0.56022,
              0.58252,
              0.62022,
              0.68772,
              0.81622,
              1.06982,
              1.57572
            ],
            [
              0.60797,
              0.63997,
              0.66247,
              0.70037,
              0.76787,
              0.89637,
              1.15007,
              1.65617
            ],
            [
              0.7067,
              0.7392,
              0.7618,
              0.7998,
              0.8673,
              0.9958,
              1.2495,
              1.7557
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.033,
              0.05378,
              0.06883,
              0.09361,
              0.13727,
              0.22141,
              0.3953,
              0.75851
            ],
            [
              0.033,
              0.0538,
              0.06883,
              0.09362,
              0.13734,
              0.22154,
              0.39516,
              0.75731
            ],
            [
              0.033,
              0.0538,
              0.06883,
              0.09362,
              0.13733,
              0.22151,
              0.3952,
              0.75724
            ],
            [
              0.03299,
              0.0538,
              0.06882,
              0.09361,
              0.13727,
              0.22151,
              0.39524,
              0.75816
            ],
            [
              0.03299,
              0.0538,
              0.06882,
              0.09361,
              0.13724,
              0.22148,
              0.39526,
              0.7582
            ],
            [
              0.03299,
              0.05381,
              0.06882,
              0.09361,
              0.13732,
              0.22152,
              0.39504,
              0.75776
            ],
            [
              0.03299,
              0.05383,
              0.06883,
              0.09358,
              0.13718,
              0.22133,
              0.39486,
              0.75716
            ],
            [
              0.03302,
              0.05391,
              0.06886,
              0.09351,
              0.13715,
              0.22137,
              0.39505,
              0.75718
            ],
            [
              0.03317,
              0.05398,
              0.06881,
              0.0934,
              0.13699,
              0.22142,
              0.39526,
              0.75723
            ],
            [
              0.03365,
              0.05408,
              0.06881,
              0.09334,
              0.13691,
              0.22129,
              0.39514,
              0.7582
            ],
            [
              0.03442,
              0.05424,
              0.0688,
              0.0932,
              0.1368,
              0.2212,
              0.3948,
              0.7582
            ],
            [
              0.0355,
              0.0546,
              0.069,
              0.0932,
              0.1369,
              0.2213,
              0.3948,
              0.759
            ],
            [
              0.0368,
              0.0554,
              0.0694,
              0.0935,
              0.1371,
              0.2215,
              0.3954,
              0.7572
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.02842,
              0.05355,
              0.07557,
              0.11861,
              0.20625,
              0.38707,
              0.75478,
              1.49619
            ],
            [
              0.02842,
              0.05353,
              0.07554,
              0.11861,
              0.20652,
              0.38706,
              0.75528,
              1.49666
            ],
            [
              0.02843,
              0.05353,
              0.07554,
              0.1186,
              0.20648,
              0.38704,
              0.75527,
              1.49665
            ],
            [
              0.02843,
              0.05356,
              0.07558,
              0.1186,
              0.20628,
              0.38756,
              0.75463,
              1.49475
            ],
            [
              0.02843,
              0.05356,
              0.07558,
              0.1186,
              0.2063,
              0.38788,
              0.75467,
              1.49497
            ],
            [
              0.02844,
              0.05355,
              0.07556,
              0.1186,
              0.20652,
              0.38696,
              0.75504,
              1.49683
            ],
            [
              0.02845,
              0.05358,
              0.07559,
              0.11862,
              0.20625,
              0.38706,
              0.75457,
              1.49468
            ],
            [
              0.02853,
              0.0536,
              0.07565,
              0.11867,
              0.20634,
              0.38717,
              0.75456,
              1.49532
            ],
            [
              0.0287,
              0.05374,
              0.07574,
              0.1187,
              0.20635,
              0.38699,
              0.75498,
              1.4951
            ],
            [
              0.02908,
              0.05403,
              0.07587,
              0.11882,
              0.20632,
              0.38712,
              0.7552,
              1.4947
            ],
            [
              0.0298,
              0.0546,
              0.0764,
              0.1191,
              0.2068,
              0.3871,
              0.7559,
              1.4941
            ],
            [
              0.0314,
              0.0558,
              0.0774,
              0.1198,
              0.207,
              0.3876,
              0.7564,
              1.495
            ],
            [
              0.0341,
              0.0581,
              0.079,
              0.1212,
              0.2074,
              0.3887,
              0.7553,
              1.4957
            ]
          ]
        },
        "sdf_cond": "(!B&CI)",
        "timing_sense": "negative_unate",
        "when": "(!B&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.30123,
              0.33177,
              0.35299,
              0.38598,
              0.43746,
              0.52149,
              0.66891,
              0.94772
            ],
            [
              0.3037,
              0.33424,
              0.35545,
              0.38844,
              0.43993,
              0.52396,
              0.67143,
              0.9504
            ],
            [
              0.30661,
              0.33716,
              0.35838,
              0.39135,
              0.44285,
              0.52688,
              0.67426,
              0.95304
            ],
            [
              0.31104,
              0.34159,
              0.36279,
              0.39578,
              0.44727,
              0.53129,
              0.67876,
              0.95774
            ],
            [
              0.3177,
              0.34824,
              0.36946,
              0.40244,
              0.45393,
              0.53796,
              0.68543,
              0.96441
            ],
            [
              0.32767,
              0.35825,
              0.37947,
              0.41244,
              0.46393,
              0.54796,
              0.6954,
              0.97432
            ],
            [
              0.34198,
              0.37262,
              0.39385,
              0.42683,
              0.47832,
              0.56236,
              0.70983,
              0.98883
            ],
            [
              0.36112,
              0.39189,
              0.41315,
              0.44613,
              0.49762,
              0.58168,
              0.72915,
              1.00816
            ],
            [
              0.38505,
              0.41595,
              0.43725,
              0.47025,
              0.52176,
              0.60584,
              0.75335,
              1.03235
            ],
            [
              0.41267,
              0.44361,
              0.46496,
              0.49801,
              0.54957,
              0.63369,
              0.78119,
              1.06009
            ],
            [
              0.44243,
              0.47322,
              0.49472,
              0.52782,
              0.57942,
              0.66362,
              0.81112,
              1.09032
            ],
            [
              0.47387,
              0.50447,
              0.52597,
              0.55917,
              0.61087,
              0.69517,
              0.84267,
              1.12187
            ],
            [
              0.5056,
              0.5359,
              0.5573,
              0.5907,
              0.6427,
              0.7271,
              0.8749,
              1.1539
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.301,
              0.33114,
              0.35279,
              0.38959,
              0.45621,
              0.58454,
              0.83801,
              1.34377
            ],
            [
              0.30363,
              0.33377,
              0.35542,
              0.39223,
              0.45886,
              0.58708,
              0.84064,
              1.34644
            ],
            [
              0.3069,
              0.33704,
              0.3587,
              0.3955,
              0.46211,
              0.59038,
              0.84392,
              1.34972
            ],
            [
              0.31194,
              0.34208,
              0.36373,
              0.40053,
              0.46714,
              0.5954,
              0.84894,
              1.35478
            ],
            [
              0.3198,
              0.34994,
              0.3716,
              0.4084,
              0.47503,
              0.60341,
              0.85676,
              1.36251
            ],
            [
              0.33176,
              0.3619,
              0.38356,
              0.42036,
              0.48699,
              0.61535,
              0.86875,
              1.37452
            ],
            [
              0.34957,
              0.37972,
              0.40137,
              0.43817,
              0.5048,
              0.63302,
              0.88658,
              1.39233
            ],
            [
              0.37538,
              0.40554,
              0.4272,
              0.464,
              0.53063,
              0.65885,
              0.91236,
              1.41806
            ],
            [
              0.41167,
              0.4419,
              0.46357,
              0.50038,
              0.56699,
              0.69518,
              0.94875,
              1.45445
            ],
            [
              0.46063,
              0.49103,
              0.51274,
              0.54956,
              0.61614,
              0.74439,
              0.99789,
              1.50369
            ],
            [
              0.52242,
              0.55332,
              0.57522,
              0.61212,
              0.67872,
              0.80682,
              1.06042,
              1.56632
            ],
            [
              0.59797,
              0.63007,
              0.65227,
              0.68927,
              0.75587,
              0.88387,
              1.13757,
              1.64337
            ],
            [
              0.6912,
              0.7249,
              0.7475,
              0.7847,
              0.8513,
              0.9793,
              1.2329,
              1.7389
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.03344,
              0.05449,
              0.06982,
              0.09553,
              0.1412,
              0.22745,
              0.40113,
              0.76166
            ],
            [
              0.03347,
              0.05444,
              0.06983,
              0.09556,
              0.14114,
              0.22779,
              0.40149,
              0.76261
            ],
            [
              0.03344,
              0.05445,
              0.06985,
              0.09553,
              0.14121,
              0.2276,
              0.40131,
              0.76093
            ],
            [
              0.03343,
              0.05453,
              0.06981,
              0.09557,
              0.14111,
              0.22785,
              0.40142,
              0.7627
            ],
            [
              0.03346,
              0.05444,
              0.06982,
              0.09556,
              0.14115,
              0.22778,
              0.40151,
              0.76238
            ],
            [
              0.03344,
              0.05446,
              0.06982,
              0.09551,
              0.14121,
              0.22757,
              0.40113,
              0.76257
            ],
            [
              0.03345,
              0.05449,
              0.06979,
              0.09553,
              0.14122,
              0.22744,
              0.40141,
              0.76268
            ],
            [
              0.03357,
              0.05437,
              0.06972,
              0.09552,
              0.14115,
              0.22765,
              0.40114,
              0.76237
            ],
            [
              0.03377,
              0.05441,
              0.06976,
              0.09552,
              0.14125,
              0.22758,
              0.40165,
              0.76257
            ],
            [
              0.03439,
              0.0545,
              0.06972,
              0.09559,
              0.14137,
              0.22803,
              0.40129,
              0.7616
            ],
            [
              0.03511,
              0.05481,
              0.0701,
              0.0956,
              0.1414,
              0.2279,
              0.4017,
              0.7625
            ],
            [
              0.0359,
              0.0553,
              0.0703,
              0.096,
              0.1416,
              0.228,
              0.4015,
              0.7619
            ],
            [
              0.0369,
              0.0565,
              0.0712,
              0.0968,
              0.1421,
              0.2286,
              0.4021,
              0.7609
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.02856,
              0.05315,
              0.07447,
              0.1169,
              0.20476,
              0.38649,
              0.75499,
              1.49467
            ],
            [
              0.02856,
              0.05311,
              0.07445,
              0.11682,
              0.2046,
              0.38608,
              0.75461,
              1.49421
            ],
            [
              0.02856,
              0.05314,
              0.07448,
              0.11685,
              0.20478,
              0.38623,
              0.75493,
              1.49452
            ],
            [
              0.02855,
              0.05315,
              0.07447,
              0.11681,
              0.20478,
              0.3863,
              0.75485,
              1.49464
            ],
            [
              0.02856,
              0.05315,
              0.07445,
              0.11683,
              0.20478,
              0.38627,
              0.75461,
              1.49715
            ],
            [
              0.02857,
              0.05315,
              0.07443,
              0.11681,
              0.20463,
              0.3863,
              0.75456,
              1.4972
            ],
            [
              0.02857,
              0.05313,
              0.07447,
              0.11686,
              0.20461,
              0.38611,
              0.75466,
              1.49676
            ],
            [
              0.02865,
              0.05321,
              0.0745,
              0.11687,
              0.20464,
              0.38614,
              0.75457,
              1.49708
            ],
            [
              0.02886,
              0.05335,
              0.07465,
              0.11692,
              0.20464,
              0.38648,
              0.75438,
              1.4935
            ],
            [
              0.02941,
              0.05379,
              0.07499,
              0.11722,
              0.20469,
              0.38668,
              0.755,
              1.4949
            ],
            [
              0.0306,
              0.0547,
              0.0758,
              0.1177,
              0.2051,
              0.3863,
              0.7548,
              1.4955
            ],
            [
              0.0323,
              0.0564,
              0.077,
              0.1185,
              0.2054,
              0.3864,
              0.7543,
              1.4937
            ],
            [
              0.0357,
              0.0593,
              0.0791,
              0.1198,
              0.2061,
              0.3869,
              0.7548,
              1.4961
            ]
          ]
        },
        "sdf_cond": "(B&!CI)",
        "timing_sense": "negative_unate",
        "when": "(B&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.32717,
              0.35573,
              0.37567,
              0.40678,
              0.45561,
              0.53626,
              0.68038,
              0.95735
            ],
            [
              0.32972,
              0.35828,
              0.37823,
              0.40932,
              0.45819,
              0.53882,
              0.68289,
              0.95997
            ],
            [
              0.33291,
              0.36148,
              0.38141,
              0.41253,
              0.46136,
              0.54198,
              0.68612,
              0.96326
            ],
            [
              0.33792,
              0.36649,
              0.38642,
              0.41752,
              0.46636,
              0.547,
              0.69112,
              0.96808
            ],
            [
              0.34577,
              0.37434,
              0.39427,
              0.42537,
              0.47423,
              0.55485,
              0.69884,
              0.97621
            ],
            [
              0.35771,
              0.38628,
              0.40622,
              0.43731,
              0.48618,
              0.56681,
              0.71088,
              0.98802
            ],
            [
              0.37512,
              0.40368,
              0.42362,
              0.45472,
              0.50357,
              0.5842,
              0.72829,
              1.00523
            ],
            [
              0.39917,
              0.42771,
              0.44764,
              0.47872,
              0.52758,
              0.60821,
              0.75227,
              1.02936
            ],
            [
              0.43097,
              0.45946,
              0.47937,
              0.51045,
              0.55929,
              0.6399,
              0.78395,
              1.06125
            ],
            [
              0.47042,
              0.49884,
              0.51871,
              0.54977,
              0.59857,
              0.67919,
              0.82329,
              1.10039
            ],
            [
              0.51512,
              0.54332,
              0.56322,
              0.59412,
              0.64282,
              0.72332,
              0.86732,
              1.14442
            ],
            [
              0.56697,
              0.59517,
              0.61487,
              0.64577,
              0.69437,
              0.77467,
              0.91817,
              1.19547
            ],
            [
              0.6319,
              0.66,
              0.6797,
              0.7105,
              0.7589,
              0.839,
              0.9824,
              1.2589
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.29183,
              0.32238,
              0.34435,
              0.3817,
              0.4486,
              0.576,
              0.82737,
              1.32987
            ],
            [
              0.29423,
              0.32478,
              0.34675,
              0.38412,
              0.45098,
              0.57854,
              0.82975,
              1.33304
            ],
            [
              0.29711,
              0.32765,
              0.34963,
              0.38696,
              0.4538,
              0.58127,
              0.83305,
              1.33592
            ],
            [
              0.30153,
              0.33208,
              0.35404,
              0.39143,
              0.45828,
              0.58583,
              0.83701,
              1.34038
            ],
            [
              0.30813,
              0.33867,
              0.36065,
              0.39802,
              0.46487,
              0.59243,
              0.84466,
              1.34691
            ],
            [
              0.31741,
              0.34795,
              0.36992,
              0.40725,
              0.47415,
              0.60154,
              0.85309,
              1.35632
            ],
            [
              0.32911,
              0.35963,
              0.3816,
              0.41897,
              0.48587,
              0.61334,
              0.86529,
              1.36673
            ],
            [
              0.34331,
              0.37379,
              0.39575,
              0.43313,
              0.50003,
              0.62756,
              0.87876,
              1.38206
            ],
            [
              0.36003,
              0.39044,
              0.41239,
              0.44977,
              0.51666,
              0.64422,
              0.89605,
              1.39835
            ],
            [
              0.37891,
              0.40921,
              0.43112,
              0.46848,
              0.53534,
              0.66289,
              0.91439,
              1.41749
            ],
            [
              0.39894,
              0.42911,
              0.45102,
              0.48832,
              0.55512,
              0.68262,
              0.93412,
              1.43672
            ],
            [
              0.41837,
              0.44837,
              0.47017,
              0.50747,
              0.57437,
              0.70177,
              0.95317,
              1.45587
            ],
            [
              0.4347,
              0.4645,
              0.4863,
              0.5234,
              0.5902,
              0.7175,
              0.9691,
              1.471
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.03269,
              0.05211,
              0.0666,
              0.09131,
              0.13528,
              0.22055,
              0.39534,
              0.75864
            ],
            [
              0.03271,
              0.05212,
              0.06661,
              0.09131,
              0.13543,
              0.22072,
              0.39505,
              0.75767
            ],
            [
              0.03267,
              0.05211,
              0.06658,
              0.09133,
              0.13527,
              0.22074,
              0.39544,
              0.75935
            ],
            [
              0.03268,
              0.05211,
              0.0666,
              0.09131,
              0.13528,
              0.22056,
              0.39533,
              0.7586
            ],
            [
              0.0327,
              0.05211,
              0.06671,
              0.09119,
              0.13533,
              0.22072,
              0.39523,
              0.75862
            ],
            [
              0.0327,
              0.05211,
              0.06661,
              0.09131,
              0.13542,
              0.22072,
              0.39504,
              0.75757
            ],
            [
              0.0327,
              0.05209,
              0.06659,
              0.0913,
              0.13538,
              0.22067,
              0.39515,
              0.75798
            ],
            [
              0.03263,
              0.05205,
              0.06655,
              0.09126,
              0.13537,
              0.22069,
              0.39497,
              0.75772
            ],
            [
              0.0325,
              0.05196,
              0.06654,
              0.09103,
              0.13519,
              0.22059,
              0.3953,
              0.75918
            ],
            [
              0.03229,
              0.0517,
              0.06617,
              0.09082,
              0.13497,
              0.22053,
              0.3953,
              0.7593
            ],
            [
              0.032,
              0.0514,
              0.0658,
              0.0906,
              0.1346,
              0.2202,
              0.395,
              0.7577
            ],
            [
              0.0318,
              0.0512,
              0.0655,
              0.09,
              0.1344,
              0.2191,
              0.3943,
              0.7588
            ],
            [
              0.0317,
              0.0509,
              0.0653,
              0.0899,
              0.1338,
              0.219,
              0.3938,
              0.756
            ]
          ]
        },
        "related_pin": "A",
        "rise_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.02959,
              0.05435,
              0.07593,
              0.11861,
              0.20569,
              0.38604,
              0.7511,
              1.48841
            ],
            [
              0.02956,
              0.05433,
              0.07609,
              0.11857,
              0.20581,
              0.38595,
              0.75255,
              1.48879
            ],
            [
              0.0296,
              0.05428,
              0.07601,
              0.11864,
              0.20563,
              0.38538,
              0.75208,
              1.48852
            ],
            [
              0.02956,
              0.05433,
              0.07609,
              0.11855,
              0.20583,
              0.38599,
              0.75099,
              1.48853
            ],
            [
              0.02957,
              0.05437,
              0.07604,
              0.11859,
              0.2058,
              0.38579,
              0.75153,
              1.48935
            ],
            [
              0.02957,
              0.05431,
              0.07596,
              0.1185,
              0.20558,
              0.38595,
              0.75228,
              1.48775
            ],
            [
              0.02951,
              0.05431,
              0.07597,
              0.11854,
              0.20578,
              0.38613,
              0.7518,
              1.4875
            ],
            [
              0.02939,
              0.05419,
              0.07588,
              0.11845,
              0.20581,
              0.38607,
              0.75085,
              1.48872
            ],
            [
              0.02917,
              0.054,
              0.07579,
              0.11836,
              0.20574,
              0.38579,
              0.7517,
              1.4908
            ],
            [
              0.02884,
              0.05375,
              0.07555,
              0.11831,
              0.20562,
              0.38612,
              0.75198,
              1.4871
            ],
            [
              0.02849,
              0.05353,
              0.07532,
              0.11808,
              0.2053,
              0.3855,
              0.7535,
              1.4885
            ],
            [
              0.0281,
              0.0531,
              0.075,
              0.1179,
              0.2054,
              0.3853,
              0.752,
              1.4876
            ],
            [
              0.0277,
              0.0527,
              0.0745,
              0.1174,
              0.2051,
              0.3853,
              0.7515,
              1.4859
            ]
          ]
        },
        "sdf_cond": "(B&CI)",
        "timing_sense": "positive_unate",
        "when": "(B&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.3134,
              0.34326,
              0.36418,
              0.39688,
              0.44822,
              0.53222,
              0.67964,
              0.95832
            ],
            [
              0.3153,
              0.34517,
              0.36608,
              0.39879,
              0.45015,
              0.53413,
              0.68151,
              0.96009
            ],
            [
              0.31784,
              0.34772,
              0.36863,
              0.40135,
              0.4527,
              0.53671,
              0.68403,
              0.96252
            ],
            [
              0.32205,
              0.35195,
              0.37285,
              0.40558,
              0.45693,
              0.54092,
              0.68834,
              0.96698
            ],
            [
              0.32893,
              0.35885,
              0.37978,
              0.41249,
              0.46385,
              0.54787,
              0.69527,
              0.97391
            ],
            [
              0.33997,
              0.3699,
              0.39083,
              0.42357,
              0.47494,
              0.55895,
              0.70636,
              0.98502
            ],
            [
              0.35703,
              0.38698,
              0.40792,
              0.44067,
              0.49205,
              0.57606,
              0.72342,
              1.00193
            ],
            [
              0.38206,
              0.41201,
              0.43295,
              0.4657,
              0.51709,
              0.6011,
              0.74846,
              1.02696
            ],
            [
              0.4163,
              0.44622,
              0.46715,
              0.49988,
              0.55125,
              0.63525,
              0.78265,
              1.06115
            ],
            [
              0.45916,
              0.48897,
              0.50984,
              0.54253,
              0.59386,
              0.67789,
              0.82519,
              1.10369
            ],
            [
              0.50902,
              0.53862,
              0.55942,
              0.59202,
              0.64322,
              0.72702,
              0.87432,
              1.15282
            ],
            [
              0.56647,
              0.59597,
              0.61667,
              0.64927,
              0.70037,
              0.78417,
              0.93127,
              1.20967
            ],
            [
              0.6352,
              0.6646,
              0.6853,
              0.7177,
              0.7688,
              0.8524,
              0.9995,
              1.2777
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.25013,
              0.27991,
              0.30114,
              0.33741,
              0.40358,
              0.5316,
              0.78582,
              1.29247
            ],
            [
              0.25275,
              0.28253,
              0.30376,
              0.34003,
              0.4062,
              0.5342,
              0.78831,
              1.29504
            ],
            [
              0.25596,
              0.28575,
              0.30698,
              0.34325,
              0.40934,
              0.53741,
              0.79086,
              1.29772
            ],
            [
              0.26077,
              0.29057,
              0.31179,
              0.34807,
              0.41419,
              0.54214,
              0.79605,
              1.30278
            ],
            [
              0.26797,
              0.29778,
              0.31901,
              0.35531,
              0.42144,
              0.54956,
              0.80301,
              1.30941
            ],
            [
              0.27869,
              0.3085,
              0.32974,
              0.36605,
              0.43214,
              0.56027,
              0.81387,
              1.32022
            ],
            [
              0.29434,
              0.32416,
              0.34541,
              0.38171,
              0.44786,
              0.57595,
              0.82971,
              1.33543
            ],
            [
              0.31669,
              0.3465,
              0.36775,
              0.40404,
              0.47017,
              0.59811,
              0.85186,
              1.35876
            ],
            [
              0.34726,
              0.37713,
              0.39838,
              0.43469,
              0.50079,
              0.62887,
              0.88235,
              1.38915
            ],
            [
              0.38047,
              0.4102,
              0.43144,
              0.46769,
              0.53372,
              0.66149,
              0.91559,
              1.42249
            ],
            [
              0.41427,
              0.44416,
              0.46542,
              0.50172,
              0.56762,
              0.69552,
              0.94912,
              1.45642
            ],
            [
              0.44857,
              0.47857,
              0.49977,
              0.53597,
              0.60197,
              0.73007,
              0.98347,
              1.49007
            ],
            [
              0.4831,
              0.5132,
              0.5345,
              0.5708,
              0.6368,
              0.7646,
              1.0182,
              1.5242
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.03523,
              0.05548,
              0.07065,
              0.09642,
              0.14206,
              0.22873,
              0.40207,
              0.76262
            ],
            [
              0.03524,
              0.05547,
              0.07063,
              0.09653,
              0.14234,
              0.22882,
              0.40223,
              0.76155
            ],
            [
              0.03527,
              0.05551,
              0.07069,
              0.09644,
              0.14203,
              0.22872,
              0.40206,
              0.76094
            ],
            [
              0.03527,
              0.05553,
              0.07068,
              0.09648,
              0.14233,
              0.22894,
              0.40223,
              0.762
            ],
            [
              0.0353,
              0.05561,
              0.07085,
              0.09645,
              0.14207,
              0.22855,
              0.40183,
              0.76241
            ],
            [
              0.03534,
              0.0556,
              0.07074,
              0.09652,
              0.14213,
              0.22892,
              0.40225,
              0.76193
            ],
            [
              0.03541,
              0.05562,
              0.07076,
              0.09664,
              0.1424,
              0.22897,
              0.40228,
              0.76121
            ],
            [
              0.03541,
              0.05564,
              0.07077,
              0.09665,
              0.1424,
              0.22898,
              0.40227,
              0.7612
            ],
            [
              0.03535,
              0.05555,
              0.07069,
              0.09659,
              0.14236,
              0.22894,
              0.40228,
              0.76144
            ],
            [
              0.03502,
              0.05523,
              0.07043,
              0.0962,
              0.14185,
              0.22854,
              0.4018,
              0.7608
            ],
            [
              0.0346,
              0.0548,
              0.0701,
              0.0958,
              0.1415,
              0.2284,
              0.402,
              0.7614
            ],
            [
              0.0344,
              0.0546,
              0.0698,
              0.0956,
              0.1413,
              0.2276,
              0.4014,
              0.761
            ],
            [
              0.0344,
              0.0545,
              0.0696,
              0.0954,
              0.141,
              0.2277,
              0.401,
              0.7603
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.02896,
              0.05265,
              0.07371,
              0.11603,
              0.20431,
              0.38715,
              0.75661,
              1.49686
            ],
            [
              0.029,
              0.05267,
              0.07372,
              0.11608,
              0.20429,
              0.38718,
              0.75586,
              1.49617
            ],
            [
              0.02902,
              0.05266,
              0.07371,
              0.11618,
              0.20408,
              0.38707,
              0.75543,
              1.49643
            ],
            [
              0.02907,
              0.05267,
              0.07372,
              0.11616,
              0.2041,
              0.3872,
              0.75609,
              1.49645
            ],
            [
              0.02901,
              0.05277,
              0.07388,
              0.116,
              0.20437,
              0.38651,
              0.75865,
              1.49693
            ],
            [
              0.02903,
              0.0528,
              0.07391,
              0.11606,
              0.20426,
              0.38642,
              0.75613,
              1.49688
            ],
            [
              0.02906,
              0.05282,
              0.07388,
              0.1161,
              0.20446,
              0.38691,
              0.75622,
              1.49662
            ],
            [
              0.02912,
              0.05278,
              0.07383,
              0.11617,
              0.20416,
              0.38722,
              0.75619,
              1.49615
            ],
            [
              0.02917,
              0.05293,
              0.0739,
              0.1161,
              0.20447,
              0.38668,
              0.75849,
              1.499
            ],
            [
              0.02908,
              0.05279,
              0.07382,
              0.11611,
              0.20433,
              0.38729,
              0.75575,
              1.4977
            ],
            [
              0.02935,
              0.05298,
              0.07414,
              0.1162,
              0.2041,
              0.3864,
              0.7577,
              1.4971
            ],
            [
              0.0295,
              0.0532,
              0.0741,
              0.1164,
              0.2043,
              0.3868,
              0.7557,
              1.5023
            ],
            [
              0.0297,
              0.0535,
              0.0744,
              0.1164,
              0.2046,
              0.3873,
              0.7564,
              1.4961
            ]
          ]
        },
        "sdf_cond": "(!A&!CI)",
        "timing_sense": "positive_unate",
        "when": "(!A&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.26053,
              0.291,
              0.31196,
              0.34418,
              0.39396,
              0.47511,
              0.61927,
              0.8965
            ],
            [
              0.26283,
              0.29329,
              0.31425,
              0.34646,
              0.39624,
              0.47741,
              0.62164,
              0.89896
            ],
            [
              0.26566,
              0.2961,
              0.31706,
              0.34928,
              0.39907,
              0.48023,
              0.62441,
              0.90167
            ],
            [
              0.26989,
              0.30033,
              0.32128,
              0.3535,
              0.4033,
              0.48446,
              0.6286,
              0.90587
            ],
            [
              0.27624,
              0.30665,
              0.3276,
              0.35983,
              0.40961,
              0.49077,
              0.63506,
              0.91223
            ],
            [
              0.28567,
              0.31605,
              0.33699,
              0.3692,
              0.41899,
              0.50016,
              0.64432,
              0.92162
            ],
            [
              0.29936,
              0.32971,
              0.35064,
              0.38285,
              0.43263,
              0.51381,
              0.65797,
              0.93523
            ],
            [
              0.31751,
              0.34775,
              0.36866,
              0.40086,
              0.45068,
              0.53185,
              0.67607,
              0.95336
            ],
            [
              0.33844,
              0.36836,
              0.38921,
              0.42144,
              0.47131,
              0.55253,
              0.69672,
              0.97405
            ],
            [
              0.36025,
              0.38991,
              0.41075,
              0.44306,
              0.49305,
              0.57435,
              0.71859,
              0.99589
            ],
            [
              0.38289,
              0.41224,
              0.43293,
              0.46512,
              0.51512,
              0.59642,
              0.74072,
              1.01802
            ],
            [
              0.40497,
              0.43407,
              0.45457,
              0.48677,
              0.53677,
              0.61817,
              0.76237,
              1.03957
            ],
            [
              0.4233,
              0.4522,
              0.4726,
              0.5046,
              0.5547,
              0.6361,
              0.7804,
              1.0574
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.27377,
              0.30398,
              0.32603,
              0.36365,
              0.43118,
              0.55976,
              0.81325,
              1.31907
            ],
            [
              0.27531,
              0.30552,
              0.32757,
              0.36519,
              0.43274,
              0.56128,
              0.81482,
              1.32064
            ],
            [
              0.27741,
              0.30761,
              0.32966,
              0.36728,
              0.43484,
              0.56338,
              0.81685,
              1.32272
            ],
            [
              0.28097,
              0.31117,
              0.33321,
              0.37083,
              0.43838,
              0.56693,
              0.82046,
              1.32628
            ],
            [
              0.28695,
              0.31714,
              0.33918,
              0.3768,
              0.44435,
              0.57292,
              0.82636,
              1.33221
            ],
            [
              0.29678,
              0.32696,
              0.349,
              0.38661,
              0.45417,
              0.5827,
              0.83626,
              1.34212
            ],
            [
              0.31249,
              0.34266,
              0.3647,
              0.40231,
              0.46987,
              0.59845,
              0.85189,
              1.35773
            ],
            [
              0.33691,
              0.36708,
              0.38911,
              0.42672,
              0.49428,
              0.62283,
              0.87636,
              1.38216
            ],
            [
              0.37313,
              0.40333,
              0.42538,
              0.46299,
              0.53054,
              0.65914,
              0.91255,
              1.41845
            ],
            [
              0.42234,
              0.45274,
              0.47483,
              0.51247,
              0.58003,
              0.70859,
              0.96219,
              1.46809
            ],
            [
              0.48222,
              0.51312,
              0.53532,
              0.57302,
              0.64072,
              0.76942,
              1.02302,
              1.52882
            ],
            [
              0.55537,
              0.58687,
              0.60927,
              0.64707,
              0.71467,
              0.84337,
              1.09717,
              1.60297
            ],
            [
              0.6446,
              0.6772,
              0.6998,
              0.7378,
              0.8055,
              0.9343,
              1.188,
              1.6939
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.03307,
              0.05369,
              0.06855,
              0.09313,
              0.13673,
              0.22116,
              0.39505,
              0.7587
            ],
            [
              0.03304,
              0.05372,
              0.0686,
              0.09311,
              0.13676,
              0.22117,
              0.39479,
              0.75881
            ],
            [
              0.03302,
              0.05371,
              0.06852,
              0.09312,
              0.13676,
              0.22116,
              0.39493,
              0.75884
            ],
            [
              0.033,
              0.05371,
              0.06851,
              0.09312,
              0.13675,
              0.22116,
              0.39506,
              0.75877
            ],
            [
              0.03298,
              0.05372,
              0.06853,
              0.09308,
              0.13669,
              0.22106,
              0.39521,
              0.75761
            ],
            [
              0.03294,
              0.0536,
              0.06851,
              0.09307,
              0.13675,
              0.22116,
              0.39499,
              0.75892
            ],
            [
              0.0329,
              0.05363,
              0.06846,
              0.09305,
              0.13676,
              0.22115,
              0.39494,
              0.75889
            ],
            [
              0.03276,
              0.05353,
              0.06845,
              0.09305,
              0.13673,
              0.22107,
              0.39481,
              0.75888
            ],
            [
              0.03264,
              0.05348,
              0.06845,
              0.09317,
              0.13694,
              0.22123,
              0.39511,
              0.75832
            ],
            [
              0.03281,
              0.05358,
              0.06867,
              0.09351,
              0.13728,
              0.22152,
              0.39482,
              0.7587
            ],
            [
              0.03279,
              0.0533,
              0.06836,
              0.09349,
              0.13706,
              0.2214,
              0.3952,
              0.758
            ],
            [
              0.0329,
              0.0531,
              0.0683,
              0.0934,
              0.1372,
              0.2217,
              0.3944,
              0.7585
            ],
            [
              0.0329,
              0.0529,
              0.0679,
              0.0933,
              0.1374,
              0.222,
              0.3954,
              0.7566
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.02831,
              0.05346,
              0.07544,
              0.11854,
              0.20621,
              0.38689,
              0.75496,
              1.49626
            ],
            [
              0.02829,
              0.05344,
              0.07549,
              0.11856,
              0.20625,
              0.3874,
              0.75519,
              1.49659
            ],
            [
              0.02829,
              0.05343,
              0.0755,
              0.11857,
              0.20627,
              0.38713,
              0.75487,
              1.49726
            ],
            [
              0.02827,
              0.05343,
              0.07544,
              0.11854,
              0.20624,
              0.387,
              0.75509,
              1.4967
            ],
            [
              0.02824,
              0.05341,
              0.07546,
              0.11854,
              0.20625,
              0.38696,
              0.75495,
              1.49415
            ],
            [
              0.02821,
              0.05336,
              0.07539,
              0.1185,
              0.20624,
              0.38701,
              0.75524,
              1.49534
            ],
            [
              0.02817,
              0.05336,
              0.07541,
              0.11853,
              0.20621,
              0.387,
              0.75525,
              1.49445
            ],
            [
              0.02816,
              0.05334,
              0.07536,
              0.11854,
              0.20627,
              0.38705,
              0.75517,
              1.49525
            ],
            [
              0.02827,
              0.05344,
              0.07549,
              0.11859,
              0.20624,
              0.38688,
              0.75508,
              1.4951
            ],
            [
              0.02889,
              0.0539,
              0.07584,
              0.11881,
              0.20646,
              0.38707,
              0.7552,
              1.4953
            ],
            [
              0.03,
              0.0548,
              0.0766,
              0.1194,
              0.2068,
              0.3871,
              0.7546,
              1.495
            ],
            [
              0.0315,
              0.056,
              0.0775,
              0.12,
              0.2073,
              0.3875,
              0.7553,
              1.4949
            ],
            [
              0.0337,
              0.0581,
              0.079,
              0.121,
              0.208,
              0.3878,
              0.7548,
              1.4948
            ]
          ]
        },
        "sdf_cond": "(!A&CI)",
        "timing_sense": "negative_unate",
        "when": "(!A&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.26536,
              0.29629,
              0.31762,
              0.35066,
              0.40219,
              0.48627,
              0.63377,
              0.91257
            ],
            [
              0.26774,
              0.29866,
              0.32,
              0.35303,
              0.40456,
              0.48864,
              0.63616,
              0.91488
            ],
            [
              0.27063,
              0.30155,
              0.32288,
              0.35591,
              0.40745,
              0.49152,
              0.63904,
              0.9177
            ],
            [
              0.275,
              0.30591,
              0.32725,
              0.36029,
              0.4118,
              0.49589,
              0.64331,
              0.92244
            ],
            [
              0.28147,
              0.31239,
              0.33369,
              0.36673,
              0.41826,
              0.50233,
              0.64985,
              0.92858
            ],
            [
              0.291,
              0.32191,
              0.34322,
              0.37624,
              0.42777,
              0.51184,
              0.65936,
              0.93812
            ],
            [
              0.30497,
              0.33586,
              0.35715,
              0.39017,
              0.44169,
              0.52576,
              0.67328,
              0.95193
            ],
            [
              0.32454,
              0.35538,
              0.37666,
              0.40966,
              0.46117,
              0.54524,
              0.69275,
              0.97156
            ],
            [
              0.3478,
              0.37851,
              0.39975,
              0.43274,
              0.48424,
              0.56829,
              0.71579,
              0.99455
            ],
            [
              0.3716,
              0.40222,
              0.42346,
              0.45651,
              0.50805,
              0.59214,
              0.73959,
              1.01839
            ],
            [
              0.39553,
              0.42588,
              0.44712,
              0.48012,
              0.53172,
              0.61582,
              0.76332,
              1.04202
            ],
            [
              0.41837,
              0.44847,
              0.46957,
              0.50267,
              0.55427,
              0.63847,
              0.78587,
              1.06487
            ],
            [
              0.4362,
              0.4661,
              0.4872,
              0.5202,
              0.572,
              0.6563,
              0.8038,
              1.0826
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.28382,
              0.31382,
              0.33542,
              0.37216,
              0.43872,
              0.56682,
              0.82031,
              1.32607
            ],
            [
              0.2858,
              0.31579,
              0.33739,
              0.37414,
              0.4407,
              0.5688,
              0.82229,
              1.32804
            ],
            [
              0.28823,
              0.31822,
              0.33982,
              0.37657,
              0.44314,
              0.57123,
              0.82467,
              1.33052
            ],
            [
              0.29213,
              0.3221,
              0.3437,
              0.38045,
              0.44703,
              0.5751,
              0.82859,
              1.33438
            ],
            [
              0.29851,
              0.32847,
              0.35006,
              0.38681,
              0.45335,
              0.58148,
              0.83498,
              1.34071
            ],
            [
              0.30895,
              0.3389,
              0.36049,
              0.39724,
              0.46381,
              0.5919,
              0.84538,
              1.35122
            ],
            [
              0.3257,
              0.35562,
              0.37721,
              0.41395,
              0.48049,
              0.60863,
              0.86214,
              1.36783
            ],
            [
              0.35198,
              0.3819,
              0.40349,
              0.44022,
              0.50676,
              0.63488,
              0.88836,
              1.39416
            ],
            [
              0.39173,
              0.42167,
              0.44326,
              0.47999,
              0.54657,
              0.67463,
              0.92805,
              1.43385
            ],
            [
              0.44771,
              0.47785,
              0.49948,
              0.53623,
              0.60273,
              0.73079,
              0.98429,
              1.49019
            ],
            [
              0.51842,
              0.54922,
              0.57102,
              0.60792,
              0.67442,
              0.80242,
              1.05592,
              1.56192
            ],
            [
              0.60517,
              0.63667,
              0.65867,
              0.69557,
              0.76207,
              0.89017,
              1.14367,
              1.64977
            ],
            [
              0.7118,
              0.7439,
              0.7662,
              0.8032,
              0.8697,
              0.9978,
              1.2512,
              1.7574
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.03389,
              0.05442,
              0.06976,
              0.0955,
              0.14115,
              0.22796,
              0.40121,
              0.76102
            ],
            [
              0.03391,
              0.0544,
              0.06975,
              0.09549,
              0.14122,
              0.22799,
              0.40131,
              0.76081
            ],
            [
              0.03388,
              0.05443,
              0.06973,
              0.09548,
              0.14125,
              0.22794,
              0.40137,
              0.7609
            ],
            [
              0.03388,
              0.05438,
              0.06968,
              0.09551,
              0.14125,
              0.22761,
              0.40156,
              0.76285
            ],
            [
              0.03382,
              0.05436,
              0.06971,
              0.0955,
              0.14124,
              0.22793,
              0.40135,
              0.76089
            ],
            [
              0.03377,
              0.05439,
              0.06976,
              0.09552,
              0.14127,
              0.22771,
              0.40157,
              0.76139
            ],
            [
              0.03375,
              0.05443,
              0.06973,
              0.0955,
              0.14126,
              0.2277,
              0.40156,
              0.76079
            ],
            [
              0.03362,
              0.0544,
              0.06975,
              0.09549,
              0.14109,
              0.22766,
              0.40147,
              0.76159
            ],
            [
              0.03351,
              0.05441,
              0.06978,
              0.09556,
              0.14124,
              0.22767,
              0.40156,
              0.76122
            ],
            [
              0.03371,
              0.05487,
              0.07022,
              0.09592,
              0.14146,
              0.2278,
              0.40153,
              0.7612
            ],
            [
              0.03386,
              0.05497,
              0.07026,
              0.09609,
              0.1414,
              0.2283,
              0.4019,
              0.7612
            ],
            [
              0.0342,
              0.0551,
              0.0705,
              0.0964,
              0.1419,
              0.2282,
              0.4013,
              0.7624
            ],
            [
              0.0348,
              0.0553,
              0.0707,
              0.0968,
              0.1423,
              0.2286,
              0.4017,
              0.7596
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.02816,
              0.05272,
              0.0741,
              0.11662,
              0.20436,
              0.38607,
              0.75527,
              1.49665
            ],
            [
              0.02814,
              0.0527,
              0.0741,
              0.11658,
              0.20436,
              0.38604,
              0.75527,
              1.49325
            ],
            [
              0.02813,
              0.05272,
              0.07402,
              0.11654,
              0.20447,
              0.38652,
              0.75511,
              1.49659
            ],
            [
              0.02816,
              0.05271,
              0.07406,
              0.1165,
              0.20426,
              0.38628,
              0.75427,
              1.49427
            ],
            [
              0.02814,
              0.0527,
              0.07406,
              0.11646,
              0.20429,
              0.38636,
              0.75525,
              1.49733
            ],
            [
              0.02811,
              0.05268,
              0.07399,
              0.11647,
              0.20425,
              0.38627,
              0.75512,
              1.49671
            ],
            [
              0.02808,
              0.05261,
              0.07402,
              0.11641,
              0.20439,
              0.38609,
              0.75513,
              1.49344
            ],
            [
              0.028,
              0.05259,
              0.07399,
              0.11639,
              0.20445,
              0.38611,
              0.7552,
              1.49378
            ],
            [
              0.02795,
              0.05254,
              0.0739,
              0.11639,
              0.20443,
              0.38595,
              0.75523,
              1.4962
            ],
            [
              0.02813,
              0.05277,
              0.07411,
              0.11648,
              0.20436,
              0.38588,
              0.755,
              1.4947
            ],
            [
              0.0292,
              0.0536,
              0.0748,
              0.1169,
              0.2046,
              0.3868,
              0.7543,
              1.4945
            ],
            [
              0.0311,
              0.055,
              0.0758,
              0.1176,
              0.2049,
              0.3871,
              0.7545,
              1.4936
            ],
            [
              0.0336,
              0.0573,
              0.0776,
              0.1187,
              0.2057,
              0.3863,
              0.7546,
              1.4973
            ]
          ]
        },
        "sdf_cond": "(A&!CI)",
        "timing_sense": "negative_unate",
        "when": "(A&!CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.31266,
              0.34138,
              0.3614,
              0.39263,
              0.44161,
              0.52234,
              0.66652,
              0.94369
            ],
            [
              0.31481,
              0.34353,
              0.36354,
              0.39478,
              0.44376,
              0.52449,
              0.66867,
              0.94587
            ],
            [
              0.31753,
              0.34624,
              0.36628,
              0.3975,
              0.4465,
              0.52723,
              0.67128,
              0.94868
            ],
            [
              0.3219,
              0.35063,
              0.37067,
              0.40188,
              0.45088,
              0.53163,
              0.67575,
              0.9531
            ],
            [
              0.32898,
              0.3577,
              0.37773,
              0.40897,
              0.45795,
              0.5387,
              0.68288,
              0.95991
            ],
            [
              0.34036,
              0.36909,
              0.38911,
              0.42034,
              0.46934,
              0.55009,
              0.69423,
              0.97162
            ],
            [
              0.35845,
              0.38718,
              0.4072,
              0.43843,
              0.48743,
              0.56819,
              0.71236,
              0.98973
            ],
            [
              0.38666,
              0.4154,
              0.43543,
              0.46664,
              0.51567,
              0.59643,
              0.74052,
              1.01786
            ],
            [
              0.42782,
              0.45656,
              0.47658,
              0.50781,
              0.55683,
              0.63762,
              0.78185,
              1.05915
            ],
            [
              0.48184,
              0.51054,
              0.53054,
              0.56176,
              0.61077,
              0.69159,
              0.83569,
              1.11309
            ],
            [
              0.54712,
              0.57562,
              0.59552,
              0.62662,
              0.67552,
              0.75632,
              0.90042,
              1.17782
            ],
            [
              0.62477,
              0.65317,
              0.67307,
              0.70417,
              0.75307,
              0.83367,
              0.97767,
              1.25487
            ],
            [
              0.7171,
              0.7454,
              0.7652,
              0.7962,
              0.845,
              0.9256,
              1.0696,
              1.3465
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.23743,
              0.26783,
              0.28979,
              0.32713,
              0.39407,
              0.5216,
              0.77281,
              1.27617
            ],
            [
              0.24002,
              0.27043,
              0.29238,
              0.32973,
              0.39666,
              0.5242,
              0.77545,
              1.27874
            ],
            [
              0.24319,
              0.2736,
              0.29555,
              0.33293,
              0.39982,
              0.52738,
              0.77943,
              1.28162
            ],
            [
              0.24799,
              0.2784,
              0.30035,
              0.33766,
              0.40459,
              0.532,
              0.78346,
              1.28678
            ],
            [
              0.25513,
              0.28555,
              0.30751,
              0.34488,
              0.41177,
              0.53933,
              0.79143,
              1.29361
            ],
            [
              0.26568,
              0.29611,
              0.31806,
              0.3554,
              0.42227,
              0.54962,
              0.80142,
              1.30442
            ],
            [
              0.28111,
              0.31154,
              0.33349,
              0.37086,
              0.43771,
              0.56525,
              0.81698,
              1.31973
            ],
            [
              0.30349,
              0.33392,
              0.35587,
              0.39319,
              0.4601,
              0.58747,
              0.83896,
              1.34226
            ],
            [
              0.33087,
              0.36129,
              0.38323,
              0.4206,
              0.48742,
              0.61494,
              0.86665,
              1.36945
            ],
            [
              0.35722,
              0.3875,
              0.40943,
              0.44672,
              0.51348,
              0.64099,
              0.89279,
              1.39519
            ],
            [
              0.38236,
              0.4127,
              0.43463,
              0.47202,
              0.53872,
              0.66592,
              0.91792,
              1.42042
            ],
            [
              0.40587,
              0.43627,
              0.45817,
              0.49547,
              0.56237,
              0.68987,
              0.94107,
              1.44337
            ],
            [
              0.4263,
              0.4567,
              0.4786,
              0.516,
              0.5828,
              0.7103,
              0.9621,
              1.4637
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.03307,
              0.05251,
              0.06696,
              0.09169,
              0.13551,
              0.2209,
              0.3955,
              0.75939
            ],
            [
              0.03309,
              0.0525,
              0.06698,
              0.09156,
              0.13553,
              0.2209,
              0.39551,
              0.75941
            ],
            [
              0.03309,
              0.05257,
              0.06713,
              0.09157,
              0.13579,
              0.2209,
              0.3953,
              0.75858
            ],
            [
              0.03311,
              0.05255,
              0.06714,
              0.09157,
              0.1356,
              0.22086,
              0.39545,
              0.75895
            ],
            [
              0.03312,
              0.05255,
              0.06704,
              0.09171,
              0.13556,
              0.22071,
              0.39544,
              0.75867
            ],
            [
              0.03315,
              0.05256,
              0.06709,
              0.09158,
              0.13562,
              0.22088,
              0.39545,
              0.75901
            ],
            [
              0.03318,
              0.05261,
              0.06708,
              0.0916,
              0.13564,
              0.22091,
              0.39553,
              0.75912
            ],
            [
              0.03322,
              0.05268,
              0.06725,
              0.09171,
              0.13598,
              0.22095,
              0.39522,
              0.75829
            ],
            [
              0.03325,
              0.05267,
              0.06719,
              0.09168,
              0.13569,
              0.22099,
              0.39552,
              0.75918
            ],
            [
              0.03317,
              0.05259,
              0.06711,
              0.09164,
              0.13564,
              0.22092,
              0.3954,
              0.7589
            ],
            [
              0.0329,
              0.0523,
              0.0668,
              0.0914,
              0.1354,
              0.2208,
              0.3951,
              0.7588
            ],
            [
              0.0328,
              0.0522,
              0.0668,
              0.0912,
              0.1353,
              0.2205,
              0.3947,
              0.7578
            ],
            [
              0.0327,
              0.0521,
              0.0666,
              0.091,
              0.1352,
              0.2203,
              0.3944,
              0.7571
            ]
          ]
        },
        "related_pin": "B",
        "rise_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.02917,
              0.05398,
              0.07573,
              0.11843,
              0.2057,
              0.38613,
              0.75111,
              1.48879
            ],
            [
              0.0292,
              0.054,
              0.07573,
              0.11843,
              0.20572,
              0.3861,
              0.75118,
              1.48897
            ],
            [
              0.0292,
              0.05403,
              0.07577,
              0.11837,
              0.20576,
              0.38588,
              0.75119,
              1.49033
            ],
            [
              0.02919,
              0.05398,
              0.07578,
              0.1186,
              0.20542,
              0.38596,
              0.75227,
              1.4917
            ],
            [
              0.02922,
              0.05404,
              0.07579,
              0.11839,
              0.20577,
              0.3859,
              0.75123,
              1.49018
            ],
            [
              0.0292,
              0.05412,
              0.07578,
              0.11848,
              0.20544,
              0.38572,
              0.75212,
              1.48781
            ],
            [
              0.02922,
              0.05405,
              0.07588,
              0.11843,
              0.20567,
              0.38524,
              0.7521,
              1.48858
            ],
            [
              0.02921,
              0.054,
              0.07579,
              0.11847,
              0.20539,
              0.38591,
              0.75227,
              1.48901
            ],
            [
              0.0292,
              0.05404,
              0.07586,
              0.11842,
              0.20566,
              0.3852,
              0.75212,
              1.48848
            ],
            [
              0.02901,
              0.05379,
              0.07559,
              0.1183,
              0.20539,
              0.38537,
              0.75171,
              1.4895
            ],
            [
              0.02905,
              0.05397,
              0.07568,
              0.11837,
              0.2053,
              0.385,
              0.7521,
              1.4884
            ],
            [
              0.0291,
              0.0539,
              0.0757,
              0.1184,
              0.2056,
              0.3851,
              0.7525,
              1.4883
            ],
            [
              0.0291,
              0.054,
              0.0757,
              0.1184,
              0.2057,
              0.3856,
              0.7515,
              1.4855
            ]
          ]
        },
        "sdf_cond": "(A&CI)",
        "timing_sense": "positive_unate",
        "when": "(A&CI)"
      },
      {
        "cell_fall,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.20266,
              0.23648,
              0.25927,
              0.29382,
              0.34658,
              0.4315,
              0.57936,
              0.85814
            ],
            [
              0.20524,
              0.23905,
              0.26185,
              0.29639,
              0.34918,
              0.43409,
              0.58195,
              0.86072
            ],
            [
              0.20846,
              0.24225,
              0.26504,
              0.29959,
              0.35236,
              0.43728,
              0.58514,
              0.86383
            ],
            [
              0.21343,
              0.24724,
              0.27005,
              0.3046,
              0.35736,
              0.44229,
              0.59015,
              0.86864
            ],
            [
              0.22109,
              0.25491,
              0.27771,
              0.31225,
              0.36502,
              0.44996,
              0.59772,
              0.87629
            ],
            [
              0.23285,
              0.26663,
              0.28942,
              0.32394,
              0.37672,
              0.46167,
              0.60945,
              0.88795
            ],
            [
              0.25076,
              0.28451,
              0.30725,
              0.34178,
              0.39457,
              0.47951,
              0.62736,
              0.90613
            ],
            [
              0.27778,
              0.31145,
              0.33417,
              0.36867,
              0.42148,
              0.50647,
              0.65436,
              0.93306
            ],
            [
              0.31741,
              0.35112,
              0.37385,
              0.40841,
              0.46128,
              0.54636,
              0.69425,
              0.97285
            ],
            [
              0.3713,
              0.40601,
              0.42911,
              0.46401,
              0.51721,
              0.60251,
              0.75059,
              1.02939
            ],
            [
              0.43713,
              0.47412,
              0.49852,
              0.53492,
              0.58972,
              0.67612,
              0.82472,
              1.10372
            ],
            [
              0.51617,
              0.55627,
              0.58237,
              0.62097,
              0.67827,
              0.76747,
              0.91797,
              1.19757
            ],
            [
              0.6106,
              0.6551,
              0.6836,
              0.7251,
              0.7856,
              0.8782,
              1.0318,
              1.3129
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.14248,
              0.17249,
              0.19452,
              0.23206,
              0.29919,
              0.42755,
              0.68128,
              1.18827
            ],
            [
              0.14499,
              0.17499,
              0.19703,
              0.23456,
              0.30179,
              0.43016,
              0.68362,
              1.19064
            ],
            [
              0.14796,
              0.17796,
              0.19999,
              0.23748,
              0.30471,
              0.43312,
              0.68675,
              1.19382
            ],
            [
              0.15258,
              0.1826,
              0.20463,
              0.2421,
              0.30937,
              0.43777,
              0.69151,
              1.19837
            ],
            [
              0.15944,
              0.18945,
              0.21149,
              0.24898,
              0.31621,
              0.44453,
              0.69838,
              1.20591
            ],
            [
              0.16982,
              0.19985,
              0.22187,
              0.25936,
              0.32659,
              0.45475,
              0.70867,
              1.21472
            ],
            [
              0.18538,
              0.21541,
              0.23743,
              0.27488,
              0.3421,
              0.47034,
              0.72472,
              1.23063
            ],
            [
              0.20762,
              0.23765,
              0.25965,
              0.2971,
              0.36415,
              0.4924,
              0.7466,
              1.25296
            ],
            [
              0.2364,
              0.26717,
              0.28935,
              0.32689,
              0.39403,
              0.52213,
              0.77635,
              1.28345
            ],
            [
              0.27063,
              0.30314,
              0.32621,
              0.36456,
              0.43211,
              0.56065,
              0.81479,
              1.32169
            ],
            [
              0.30972,
              0.34485,
              0.36925,
              0.40891,
              0.47752,
              0.60642,
              0.86022,
              1.36762
            ],
            [
              0.35257,
              0.39137,
              0.41787,
              0.45947,
              0.52967,
              0.65907,
              0.91307,
              1.41997
            ],
            [
              0.3975,
              0.4407,
              0.4701,
              0.515,
              0.5875,
              0.7178,
              0.9719,
              1.4786
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.04278,
              0.06289,
              0.07729,
              0.10172,
              0.14612,
              0.23113,
              0.40339,
              0.76276
            ],
            [
              0.04279,
              0.06291,
              0.07739,
              0.10177,
              0.14586,
              0.23111,
              0.40337,
              0.76274
            ],
            [
              0.04278,
              0.0629,
              0.07741,
              0.10177,
              0.14587,
              0.23132,
              0.40339,
              0.7622
            ],
            [
              0.04278,
              0.06289,
              0.07733,
              0.10184,
              0.14612,
              0.23126,
              0.4034,
              0.76121
            ],
            [
              0.04282,
              0.0629,
              0.07732,
              0.10188,
              0.14583,
              0.23101,
              0.40336,
              0.76118
            ],
            [
              0.04275,
              0.0629,
              0.07729,
              0.10178,
              0.14614,
              0.23099,
              0.40331,
              0.76107
            ],
            [
              0.04275,
              0.06289,
              0.07744,
              0.10178,
              0.14588,
              0.23097,
              0.40292,
              0.76296
            ],
            [
              0.04286,
              0.06308,
              0.07752,
              0.10191,
              0.14623,
              0.23113,
              0.40343,
              0.76185
            ],
            [
              0.04364,
              0.06361,
              0.07804,
              0.1024,
              0.14626,
              0.23127,
              0.40342,
              0.76106
            ],
            [
              0.04776,
              0.06692,
              0.08066,
              0.10444,
              0.14755,
              0.23193,
              0.40364,
              0.7621
            ],
            [
              0.05486,
              0.07362,
              0.0873,
              0.1103,
              0.1523,
              0.235,
              0.4048,
              0.7633
            ],
            [
              0.0652,
              0.0832,
              0.0963,
              0.119,
              0.1604,
              0.2416,
              0.4096,
              0.7644
            ],
            [
              0.079,
              0.0968,
              0.1091,
              0.1309,
              0.1711,
              0.2513,
              0.4168,
              0.7678
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.02643,
              0.05223,
              0.07447,
              0.11761,
              0.20573,
              0.38739,
              0.7569,
              1.49986
            ],
            [
              0.02638,
              0.05227,
              0.07456,
              0.11766,
              0.20591,
              0.38742,
              0.75889,
              1.49879
            ],
            [
              0.02638,
              0.05233,
              0.07455,
              0.11774,
              0.20556,
              0.38751,
              0.75676,
              1.49735
            ],
            [
              0.02638,
              0.05233,
              0.0746,
              0.11771,
              0.2059,
              0.38751,
              0.75874,
              1.49753
            ],
            [
              0.02639,
              0.0523,
              0.07464,
              0.11788,
              0.20588,
              0.38846,
              0.75833,
              1.49738
            ],
            [
              0.02641,
              0.0524,
              0.07452,
              0.1178,
              0.2059,
              0.38781,
              0.75809,
              1.50277
            ],
            [
              0.02642,
              0.05241,
              0.07457,
              0.11791,
              0.20594,
              0.3883,
              0.7561,
              1.49881
            ],
            [
              0.02658,
              0.05254,
              0.07478,
              0.11782,
              0.20584,
              0.38773,
              0.7569,
              1.4986
            ],
            [
              0.02789,
              0.05378,
              0.07568,
              0.11834,
              0.20626,
              0.38797,
              0.757,
              1.50006
            ],
            [
              0.03026,
              0.05686,
              0.07859,
              0.12084,
              0.20726,
              0.38785,
              0.75665,
              1.4976
            ],
            [
              0.03399,
              0.06153,
              0.08325,
              0.1247,
              0.21001,
              0.38871,
              0.759,
              1.4998
            ],
            [
              0.0391,
              0.0685,
              0.0903,
              0.1309,
              0.2142,
              0.391,
              0.7581,
              1.4964
            ],
            [
              0.0456,
              0.0779,
              0.1004,
              0.1399,
              0.2208,
              0.394,
              0.7587,
              1.5018
            ]
          ]
        },
        "sdf_cond": "(!A&!B)",
        "timing_sense": "positive_unate",
        "when": "(!A&!B)"
      },
      {
        "cell_fall,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.25535,
              0.2834,
              0.30339,
              0.33511,
              0.38468,
              0.46581,
              0.61008,
              0.88753
            ],
            [
              0.25788,
              0.28593,
              0.30592,
              0.33764,
              0.38721,
              0.46833,
              0.6126,
              0.88996
            ],
            [
              0.261,
              0.28904,
              0.30903,
              0.34074,
              0.39033,
              0.47145,
              0.61576,
              0.89311
            ],
            [
              0.26571,
              0.29374,
              0.31373,
              0.34543,
              0.39502,
              0.47613,
              0.62045,
              0.89782
            ],
            [
              0.27294,
              0.30098,
              0.32096,
              0.35266,
              0.40223,
              0.48335,
              0.62771,
              0.90483
            ],
            [
              0.28395,
              0.31196,
              0.33191,
              0.36361,
              0.41318,
              0.49428,
              0.63851,
              0.91597
            ],
            [
              0.30056,
              0.32855,
              0.34848,
              0.38013,
              0.42969,
              0.5108,
              0.65515,
              0.93253
            ],
            [
              0.32374,
              0.35172,
              0.3716,
              0.40324,
              0.45278,
              0.53389,
              0.67816,
              0.95536
            ],
            [
              0.35433,
              0.38226,
              0.40212,
              0.43372,
              0.48326,
              0.56437,
              0.70859,
              0.98595
            ],
            [
              0.3925,
              0.42027,
              0.44006,
              0.47164,
              0.52118,
              0.60231,
              0.74669,
              1.02369
            ],
            [
              0.43763,
              0.46502,
              0.48472,
              0.51622,
              0.56582,
              0.64692,
              0.79112,
              1.06822
            ],
            [
              0.48927,
              0.51617,
              0.53567,
              0.56717,
              0.61667,
              0.69777,
              0.84197,
              1.11897
            ],
            [
              0.5459,
              0.5722,
              0.5915,
              0.6229,
              0.6725,
              0.7536,
              0.8979,
              1.1749
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.25576,
              0.28408,
              0.30505,
              0.34118,
              0.40709,
              0.53481,
              0.78809,
              1.29377
            ],
            [
              0.25835,
              0.28671,
              0.30767,
              0.34382,
              0.40973,
              0.53744,
              0.79072,
              1.29634
            ],
            [
              0.2616,
              0.28995,
              0.31094,
              0.34707,
              0.41295,
              0.54066,
              0.79395,
              1.29962
            ],
            [
              0.26659,
              0.29492,
              0.31589,
              0.352,
              0.41796,
              0.54563,
              0.79897,
              1.30468
            ],
            [
              0.27425,
              0.30262,
              0.32359,
              0.3597,
              0.42562,
              0.55333,
              0.80661,
              1.31221
            ],
            [
              0.28599,
              0.31436,
              0.33533,
              0.37147,
              0.43739,
              0.56505,
              0.81835,
              1.32402
            ],
            [
              0.30389,
              0.33226,
              0.35324,
              0.38936,
              0.45527,
              0.58293,
              0.83624,
              1.34193
            ],
            [
              0.33122,
              0.35959,
              0.38056,
              0.41666,
              0.48259,
              0.61025,
              0.86356,
              1.36926
            ],
            [
              0.37233,
              0.40068,
              0.42163,
              0.45771,
              0.52363,
              0.65126,
              0.90455,
              1.41025
            ],
            [
              0.42869,
              0.45693,
              0.47782,
              0.51384,
              0.57964,
              0.70719,
              0.96059,
              1.46619
            ],
            [
              0.49852,
              0.52672,
              0.54762,
              0.58352,
              0.64932,
              0.77682,
              1.03012,
              1.53572
            ],
            [
              0.58297,
              0.61107,
              0.63197,
              0.66787,
              0.73347,
              0.86087,
              1.11407,
              1.61977
            ],
            [
              0.6849,
              0.7131,
              0.7339,
              0.7697,
              0.8352,
              0.9624,
              1.2155,
              1.7212
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.03527,
              0.0552,
              0.06946,
              0.09323,
              0.1366,
              0.22135,
              0.39515,
              0.75906
            ],
            [
              0.03527,
              0.05519,
              0.06946,
              0.09324,
              0.13658,
              0.2213,
              0.39515,
              0.75762
            ],
            [
              0.03529,
              0.05519,
              0.06933,
              0.09318,
              0.13688,
              0.22133,
              0.39515,
              0.75908
            ],
            [
              0.03529,
              0.0552,
              0.06934,
              0.09317,
              0.13663,
              0.22149,
              0.39544,
              0.75894
            ],
            [
              0.03527,
              0.05519,
              0.06935,
              0.09321,
              0.13663,
              0.22138,
              0.39553,
              0.75834
            ],
            [
              0.03526,
              0.05517,
              0.06934,
              0.09334,
              0.13689,
              0.22132,
              0.39533,
              0.75886
            ],
            [
              0.03522,
              0.05516,
              0.06934,
              0.09321,
              0.13661,
              0.2214,
              0.39554,
              0.75884
            ],
            [
              0.03521,
              0.05515,
              0.06936,
              0.09326,
              0.13691,
              0.22131,
              0.39505,
              0.75873
            ],
            [
              0.0352,
              0.05519,
              0.0694,
              0.09325,
              0.13661,
              0.22144,
              0.39542,
              0.75908
            ],
            [
              0.03553,
              0.05547,
              0.06965,
              0.09364,
              0.13686,
              0.22155,
              0.3956,
              0.7576
            ],
            [
              0.03602,
              0.056,
              0.0702,
              0.0939,
              0.1372,
              0.2217,
              0.3956,
              0.7587
            ],
            [
              0.0367,
              0.0568,
              0.0708,
              0.0944,
              0.1375,
              0.222,
              0.3952,
              0.7579
            ],
            [
              0.0381,
              0.058,
              0.072,
              0.0955,
              0.1382,
              0.2223,
              0.3959,
              0.7564
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.02566,
              0.05022,
              0.07165,
              0.11444,
              0.20308,
              0.3854,
              0.75494,
              1.49413
            ],
            [
              0.02566,
              0.05017,
              0.07172,
              0.11444,
              0.20308,
              0.38541,
              0.75517,
              1.49367
            ],
            [
              0.02568,
              0.05015,
              0.07166,
              0.11457,
              0.20309,
              0.3854,
              0.75503,
              1.49402
            ],
            [
              0.02566,
              0.05021,
              0.07173,
              0.11454,
              0.20297,
              0.3852,
              0.75451,
              1.4957
            ],
            [
              0.02566,
              0.05019,
              0.07179,
              0.11452,
              0.20308,
              0.3854,
              0.75515,
              1.49397
            ],
            [
              0.02566,
              0.05022,
              0.07171,
              0.11461,
              0.20312,
              0.38619,
              0.7557,
              1.49471
            ],
            [
              0.02568,
              0.05022,
              0.07169,
              0.1145,
              0.20307,
              0.38624,
              0.75603,
              1.49583
            ],
            [
              0.02567,
              0.0502,
              0.07169,
              0.11456,
              0.20306,
              0.38552,
              0.75449,
              1.49568
            ],
            [
              0.02568,
              0.05023,
              0.07166,
              0.11454,
              0.20307,
              0.38526,
              0.75458,
              1.4963
            ],
            [
              0.0258,
              0.0503,
              0.07178,
              0.11473,
              0.20317,
              0.3853,
              0.755,
              1.494
            ],
            [
              0.0263,
              0.0508,
              0.0723,
              0.115,
              0.2035,
              0.3856,
              0.7547,
              1.4944
            ],
            [
              0.0269,
              0.0515,
              0.0729,
              0.1157,
              0.2036,
              0.3854,
              0.7547,
              1.4959
            ],
            [
              0.0279,
              0.0526,
              0.0739,
              0.1161,
              0.204,
              0.3861,
              0.7544,
              1.4944
            ]
          ]
        },
        "sdf_cond": "(!A&B)",
        "timing_sense": "negative_unate",
        "when": "(!A&B)"
      },
      {
        "cell_fall,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.25536,
              0.28342,
              0.30342,
              0.33514,
              0.38472,
              0.46585,
              0.61021,
              0.88757
            ],
            [
              0.25789,
              0.28595,
              0.30594,
              0.33767,
              0.38725,
              0.46837,
              0.61265,
              0.88993
            ],
            [
              0.261,
              0.28906,
              0.30906,
              0.34077,
              0.39036,
              0.47149,
              0.61579,
              0.89286
            ],
            [
              0.26571,
              0.29376,
              0.31377,
              0.34547,
              0.39506,
              0.47619,
              0.62055,
              0.8979
            ],
            [
              0.27295,
              0.301,
              0.32098,
              0.35269,
              0.40226,
              0.48338,
              0.62765,
              0.905
            ],
            [
              0.28395,
              0.31198,
              0.33194,
              0.36363,
              0.4132,
              0.49432,
              0.63856,
              0.91579
            ],
            [
              0.30056,
              0.32857,
              0.3485,
              0.38016,
              0.42972,
              0.51084,
              0.6552,
              0.93233
            ],
            [
              0.32374,
              0.35173,
              0.37162,
              0.40327,
              0.45281,
              0.53392,
              0.67821,
              0.95556
            ],
            [
              0.35431,
              0.38226,
              0.40212,
              0.43373,
              0.48327,
              0.5644,
              0.70863,
              0.98605
            ],
            [
              0.39245,
              0.42024,
              0.44003,
              0.47162,
              0.52117,
              0.6023,
              0.74669,
              1.02369
            ],
            [
              0.43755,
              0.46502,
              0.48472,
              0.51622,
              0.56572,
              0.64692,
              0.79112,
              1.06822
            ],
            [
              0.48917,
              0.51607,
              0.53557,
              0.56707,
              0.61667,
              0.69777,
              0.84187,
              1.11907
            ],
            [
              0.5458,
              0.5721,
              0.5914,
              0.6228,
              0.6724,
              0.7536,
              0.8979,
              1.1749
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.25578,
              0.2841,
              0.30506,
              0.3412,
              0.40711,
              0.53481,
              0.78809,
              1.29377
            ],
            [
              0.25837,
              0.28672,
              0.30768,
              0.34383,
              0.40974,
              0.5374,
              0.7907,
              1.29644
            ],
            [
              0.26162,
              0.28997,
              0.31096,
              0.34708,
              0.41296,
              0.54062,
              0.79393,
              1.29962
            ],
            [
              0.26658,
              0.29495,
              0.3159,
              0.35201,
              0.41797,
              0.54565,
              0.79897,
              1.30468
            ],
            [
              0.27428,
              0.30263,
              0.3236,
              0.35971,
              0.42562,
              0.55334,
              0.80662,
              1.31221
            ],
            [
              0.28601,
              0.31437,
              0.33534,
              0.37148,
              0.4374,
              0.56507,
              0.81838,
              1.32412
            ],
            [
              0.30391,
              0.33228,
              0.35325,
              0.38937,
              0.45527,
              0.58293,
              0.83626,
              1.34193
            ],
            [
              0.33124,
              0.3596,
              0.38057,
              0.41667,
              0.48256,
              0.61026,
              0.86356,
              1.36926
            ],
            [
              0.37235,
              0.40069,
              0.42164,
              0.45772,
              0.5236,
              0.65126,
              0.90455,
              1.41025
            ],
            [
              0.42872,
              0.45696,
              0.47785,
              0.51386,
              0.57966,
              0.70729,
              0.96059,
              1.46629
            ],
            [
              0.49852,
              0.52682,
              0.54762,
              0.58362,
              0.64932,
              0.77692,
              1.03012,
              1.53582
            ],
            [
              0.58297,
              0.61117,
              0.63207,
              0.66797,
              0.73357,
              0.86097,
              1.11417,
              1.61977
            ],
            [
              0.685,
              0.7131,
              0.734,
              0.7698,
              0.8352,
              0.9625,
              1.2155,
              1.7212
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.03529,
              0.05522,
              0.06946,
              0.09323,
              0.13665,
              0.2214,
              0.39554,
              0.75911
            ],
            [
              0.03529,
              0.0552,
              0.06947,
              0.09325,
              0.13661,
              0.22133,
              0.39518,
              0.75737
            ],
            [
              0.03531,
              0.05519,
              0.06934,
              0.09319,
              0.1369,
              0.22137,
              0.39511,
              0.75769
            ],
            [
              0.0353,
              0.05521,
              0.06934,
              0.09318,
              0.13689,
              0.22121,
              0.39556,
              0.75898
            ],
            [
              0.03528,
              0.0552,
              0.06946,
              0.09324,
              0.13662,
              0.22132,
              0.39524,
              0.75754
            ],
            [
              0.03528,
              0.05518,
              0.06934,
              0.09335,
              0.1369,
              0.22131,
              0.39532,
              0.75844
            ],
            [
              0.03524,
              0.05518,
              0.06935,
              0.09323,
              0.13664,
              0.22141,
              0.39555,
              0.75749
            ],
            [
              0.03522,
              0.05517,
              0.06936,
              0.09328,
              0.13692,
              0.22123,
              0.39502,
              0.75793
            ],
            [
              0.03522,
              0.05519,
              0.06941,
              0.09326,
              0.13662,
              0.22144,
              0.3954,
              0.75906
            ],
            [
              0.03553,
              0.0555,
              0.06967,
              0.09365,
              0.13687,
              0.22156,
              0.39561,
              0.7576
            ],
            [
              0.03601,
              0.05597,
              0.0702,
              0.0938,
              0.1372,
              0.2217,
              0.3956,
              0.7588
            ],
            [
              0.0368,
              0.0568,
              0.0708,
              0.0945,
              0.1376,
              0.2219,
              0.3953,
              0.7582
            ],
            [
              0.0381,
              0.0581,
              0.072,
              0.0955,
              0.1383,
              0.2224,
              0.396,
              0.7565
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.02567,
              0.05022,
              0.07166,
              0.11451,
              0.20295,
              0.38541,
              0.75533,
              1.49405
            ],
            [
              0.02568,
              0.05017,
              0.07173,
              0.11449,
              0.20305,
              0.38528,
              0.75556,
              1.49458
            ],
            [
              0.02566,
              0.05016,
              0.07169,
              0.11458,
              0.20307,
              0.38527,
              0.75552,
              1.49454
            ],
            [
              0.02568,
              0.05022,
              0.07172,
              0.11454,
              0.20339,
              0.38581,
              0.7546,
              1.49629
            ],
            [
              0.02566,
              0.05017,
              0.07179,
              0.1146,
              0.2031,
              0.3854,
              0.75515,
              1.49406
            ],
            [
              0.02567,
              0.05022,
              0.07174,
              0.11453,
              0.20301,
              0.38548,
              0.7546,
              1.49559
            ],
            [
              0.02566,
              0.05022,
              0.07169,
              0.11461,
              0.2031,
              0.38531,
              0.75463,
              1.49582
            ],
            [
              0.02567,
              0.05022,
              0.07166,
              0.1145,
              0.20301,
              0.38522,
              0.75429,
              1.49637
            ],
            [
              0.02566,
              0.05023,
              0.07168,
              0.11452,
              0.20302,
              0.38516,
              0.75428,
              1.4946
            ],
            [
              0.02575,
              0.05031,
              0.07179,
              0.11471,
              0.20305,
              0.38548,
              0.7546,
              1.4941
            ],
            [
              0.0262,
              0.0508,
              0.0723,
              0.115,
              0.2035,
              0.3854,
              0.754,
              1.4947
            ],
            [
              0.0269,
              0.0515,
              0.073,
              0.1154,
              0.2036,
              0.3857,
              0.7547,
              1.4963
            ],
            [
              0.0279,
              0.0526,
              0.0739,
              0.1163,
              0.2039,
              0.3856,
              0.7541,
              1.4943
            ]
          ]
        },
        "sdf_cond": "(A&!B)",
        "timing_sense": "negative_unate",
        "when": "(A&!B)"
      },
      {
        "cell_fall,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.20294,
              0.2367,
              0.25947,
              0.29398,
              0.34676,
              0.43173,
              0.57973,
              0.85887
            ],
            [
              0.20553,
              0.23928,
              0.26205,
              0.29657,
              0.34936,
              0.43432,
              0.58233,
              0.86146
            ],
            [
              0.20874,
              0.24248,
              0.26524,
              0.29978,
              0.35255,
              0.43751,
              0.58548,
              0.86459
            ],
            [
              0.21371,
              0.24749,
              0.27026,
              0.30478,
              0.35756,
              0.44254,
              0.59045,
              0.86964
            ],
            [
              0.22138,
              0.25515,
              0.27791,
              0.31244,
              0.36521,
              0.4502,
              0.5981,
              0.877
            ],
            [
              0.23314,
              0.26687,
              0.28962,
              0.32413,
              0.37691,
              0.46191,
              0.60983,
              0.8887
            ],
            [
              0.25104,
              0.28474,
              0.30746,
              0.34197,
              0.39476,
              0.47976,
              0.62779,
              0.90663
            ],
            [
              0.27806,
              0.31169,
              0.33438,
              0.36885,
              0.42167,
              0.50671,
              0.65473,
              0.93366
            ],
            [
              0.31768,
              0.35135,
              0.37405,
              0.4086,
              0.46148,
              0.54661,
              0.69463,
              0.97355
            ],
            [
              0.37158,
              0.40626,
              0.42932,
              0.46419,
              0.51742,
              0.60277,
              0.75099,
              1.03019
            ],
            [
              0.43741,
              0.47432,
              0.49872,
              0.53522,
              0.59002,
              0.67642,
              0.82512,
              1.10452
            ],
            [
              0.51647,
              0.55657,
              0.58267,
              0.62127,
              0.67847,
              0.76767,
              0.91837,
              1.19837
            ],
            [
              0.6109,
              0.6553,
              0.6838,
              0.7253,
              0.7859,
              0.8785,
              1.0322,
              1.3137
            ]
          ]
        },
        "cell_rise,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.14238,
              0.17224,
              0.19415,
              0.23142,
              0.2981,
              0.42531,
              0.67664,
              1.18017
            ],
            [
              0.14489,
              0.17474,
              0.19665,
              0.23393,
              0.30062,
              0.42775,
              0.67946,
              1.18164
            ],
            [
              0.14786,
              0.17772,
              0.19962,
              0.23691,
              0.30359,
              0.43088,
              0.68212,
              1.18502
            ],
            [
              0.15249,
              0.18235,
              0.20427,
              0.24147,
              0.30817,
              0.4355,
              0.68668,
              1.18958
            ],
            [
              0.15934,
              0.18921,
              0.21111,
              0.24835,
              0.31505,
              0.44229,
              0.69374,
              1.19691
            ],
            [
              0.16973,
              0.1996,
              0.2215,
              0.25874,
              0.32538,
              0.45266,
              0.70482,
              1.20592
            ],
            [
              0.18528,
              0.21517,
              0.23706,
              0.27426,
              0.34095,
              0.46807,
              0.72029,
              1.22203
            ],
            [
              0.20754,
              0.23742,
              0.2593,
              0.29649,
              0.363,
              0.49017,
              0.74222,
              1.24476
            ],
            [
              0.23633,
              0.26693,
              0.28901,
              0.3263,
              0.39292,
              0.51994,
              0.77195,
              1.27445
            ],
            [
              0.27057,
              0.30294,
              0.3259,
              0.36401,
              0.43107,
              0.55848,
              0.80989,
              1.31289
            ],
            [
              0.30966,
              0.34467,
              0.36895,
              0.40838,
              0.47652,
              0.60422,
              0.85612,
              1.35812
            ],
            [
              0.35257,
              0.39117,
              0.41757,
              0.45897,
              0.52867,
              0.65707,
              0.90877,
              1.41137
            ],
            [
              0.3974,
              0.4405,
              0.4698,
              0.5145,
              0.5865,
              0.7157,
              0.9678,
              1.4701
            ]
          ]
        },
        "fall_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.0427,
              0.06281,
              0.07723,
              0.10179,
              0.14612,
              0.23131,
              0.40357,
              0.7637
            ],
            [
              0.04268,
              0.06282,
              0.07732,
              0.10171,
              0.14587,
              0.23127,
              0.40364,
              0.76357
            ],
            [
              0.04269,
              0.0628,
              0.0772,
              0.10168,
              0.14586,
              0.23107,
              0.40323,
              0.76345
            ],
            [
              0.04275,
              0.06279,
              0.07723,
              0.10179,
              0.14613,
              0.23114,
              0.40363,
              0.7637
            ],
            [
              0.04268,
              0.06282,
              0.0772,
              0.10169,
              0.14613,
              0.23112,
              0.40368,
              0.7619
            ],
            [
              0.04265,
              0.06281,
              0.07734,
              0.10173,
              0.14615,
              0.23112,
              0.40367,
              0.76179
            ],
            [
              0.04266,
              0.06281,
              0.07736,
              0.10172,
              0.14588,
              0.23125,
              0.40366,
              0.76225
            ],
            [
              0.04282,
              0.0629,
              0.07744,
              0.10186,
              0.14593,
              0.23124,
              0.40378,
              0.76227
            ],
            [
              0.04358,
              0.06353,
              0.07798,
              0.10237,
              0.14652,
              0.23133,
              0.40378,
              0.76188
            ],
            [
              0.04768,
              0.06674,
              0.0806,
              0.10425,
              0.14757,
              0.23203,
              0.4041,
              0.7636
            ],
            [
              0.05479,
              0.07351,
              0.0872,
              0.1103,
              0.1524,
              0.235,
              0.4052,
              0.7641
            ],
            [
              0.0651,
              0.0831,
              0.0962,
              0.119,
              0.1603,
              0.2416,
              0.41,
              0.7652
            ],
            [
              0.0789,
              0.0967,
              0.1092,
              0.1308,
              0.171,
              0.2514,
              0.4171,
              0.7685
            ]
          ]
        },
        "related_pin": "CI",
        "rise_transition,delay_template13x8": {
          "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.0053,
            0.01061,
            0.02122,
            0.04244,
            0.08489,
            0.16977,
            0.33954
          ],
          "values": [
            [
              0.02629,
              0.05202,
              0.07413,
              0.11702,
              0.20454,
              0.386,
              0.75145,
              1.49317
            ],
            [
              0.02628,
              0.05204,
              0.07413,
              0.11703,
              0.20464,
              0.385,
              0.75203,
              1.48868
            ],
            [
              0.02633,
              0.05201,
              0.07412,
              0.11698,
              0.20449,
              0.3849,
              0.75126,
              1.4923
            ],
            [
              0.02629,
              0.05203,
              0.07413,
              0.1171,
              0.20456,
              0.38501,
              0.75201,
              1.48827
            ],
            [
              0.02628,
              0.05208,
              0.07429,
              0.1172,
              0.20463,
              0.38603,
              0.75109,
              1.48718
            ],
            [
              0.0263,
              0.05217,
              0.07416,
              0.11706,
              0.20426,
              0.38473,
              0.75177,
              1.49241
            ],
            [
              0.02632,
              0.05218,
              0.07419,
              0.11727,
              0.20467,
              0.38573,
              0.75194,
              1.48921
            ],
            [
              0.02647,
              0.05234,
              0.07443,
              0.11719,
              0.20455,
              0.38526,
              0.75193,
              1.48717
            ],
            [
              0.02786,
              0.05362,
              0.07533,
              0.11771,
              0.20501,
              0.38549,
              0.75199,
              1.49165
            ],
            [
              0.03018,
              0.05666,
              0.07825,
              0.12023,
              0.20635,
              0.38537,
              0.75171,
              1.4888
            ],
            [
              0.03391,
              0.06133,
              0.08293,
              0.12416,
              0.20887,
              0.3862,
              0.7521,
              1.4884
            ],
            [
              0.039,
              0.0683,
              0.09,
              0.1303,
              0.2131,
              0.3886,
              0.754,
              1.4868
            ],
            [
              0.0454,
              0.0778,
              0.1001,
              0.1394,
              0.2196,
              0.3915,
              0.7538,
              1.4918
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}