{
  "area": 51.1488,
  "cell_footprint": "sky130_fd_sc_ms__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.0055,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B": {
    "capacitance": 0.00775,
    "clock": "false",
    "direction": "input",
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,CI": {
    "capacitance": 0.00271,
    "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.10573,
              0.11498,
              0.12521,
              0.1464,
              0.18937,
              0.2748,
              0.44526,
              0.78523
            ],
            [
              0.10558,
              0.11485,
              0.12509,
              0.14628,
              0.18932,
              0.27502,
              0.4456,
              0.78523
            ],
            [
              0.10546,
              0.11474,
              0.12494,
              0.14611,
              0.18908,
              0.27476,
              0.44491,
              0.78431
            ],
            [
              0.10533,
              0.11456,
              0.12479,
              0.14602,
              0.189,
              0.27448,
              0.44528,
              0.78562
            ],
            [
              0.10515,
              0.11443,
              0.12463,
              0.14585,
              0.18885,
              0.27449,
              0.44467,
              0.78521
            ],
            [
              0.10499,
              0.11428,
              0.12448,
              0.1457,
              0.18868,
              0.27405,
              0.44441,
              0.78463
            ],
            [
              0.10488,
              0.11413,
              0.12437,
              0.14555,
              0.18852,
              0.27428,
              0.44451,
              0.78517
            ],
            [
              0.10481,
              0.11407,
              0.12431,
              0.14546,
              0.18842,
              0.27387,
              0.4442,
              0.7845
            ],
            [
              0.10488,
              0.11414,
              0.12436,
              0.14554,
              0.18853,
              0.27403,
              0.44431,
              0.78506
            ],
            [
              0.10531,
              0.11456,
              0.12479,
              0.14597,
              0.18889,
              0.27456,
              0.44486,
              0.78538
            ],
            [
              0.10619,
              0.1154,
              0.12561,
              0.14676,
              0.1897,
              0.27528,
              0.44589,
              0.78555
            ],
            [
              0.10798,
              0.11711,
              0.12728,
              0.14838,
              0.19129,
              0.27681,
              0.4475,
              0.78742
            ],
            [
              0.11089,
              0.12,
              0.13014,
              0.15134,
              0.19409,
              0.27951,
              0.44964,
              0.78977
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.09182,
              0.09723,
              0.10388,
              0.11824,
              0.14785,
              0.2068,
              0.32413,
              0.55744
            ],
            [
              0.09181,
              0.09725,
              0.10388,
              0.11824,
              0.14785,
              0.20679,
              0.32396,
              0.55781
            ],
            [
              0.09166,
              0.09708,
              0.10372,
              0.11807,
              0.14766,
              0.20662,
              0.32387,
              0.55758
            ],
            [
              0.09147,
              0.09688,
              0.10353,
              0.11788,
              0.14749,
              0.20644,
              0.32358,
              0.55719
            ],
            [
              0.09123,
              0.09665,
              0.10329,
              0.11764,
              0.14728,
              0.20622,
              0.3232,
              0.55724
            ],
            [
              0.09097,
              0.09639,
              0.10303,
              0.1174,
              0.14701,
              0.20593,
              0.32275,
              0.55711
            ],
            [
              0.09075,
              0.09616,
              0.10281,
              0.11716,
              0.14676,
              0.20576,
              0.32298,
              0.55635
            ],
            [
              0.09056,
              0.09599,
              0.10263,
              0.11698,
              0.14658,
              0.20554,
              0.32295,
              0.55632
            ],
            [
              0.0905,
              0.09592,
              0.10257,
              0.11693,
              0.14654,
              0.20563,
              0.32275,
              0.55677
            ],
            [
              0.09069,
              0.09611,
              0.10275,
              0.11714,
              0.14678,
              0.2058,
              0.32287,
              0.55704
            ],
            [
              0.09132,
              0.09675,
              0.10341,
              0.1178,
              0.14746,
              0.20656,
              0.32345,
              0.5569
            ],
            [
              0.09277,
              0.09821,
              0.10486,
              0.11925,
              0.14891,
              0.208,
              0.32504,
              0.55838
            ],
            [
              0.09534,
              0.10077,
              0.10743,
              0.12183,
              0.15152,
              0.21056,
              0.32774,
              0.5619
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.10061,
              0.10992,
              0.12015,
              0.14134,
              0.1843,
              0.26983,
              0.44057,
              0.78059
            ],
            [
              0.10049,
              0.1098,
              0.12002,
              0.14121,
              0.18419,
              0.26978,
              0.44036,
              0.78007
            ],
            [
              0.10038,
              0.10967,
              0.11989,
              0.14108,
              0.18405,
              0.26966,
              0.4399,
              0.77981
            ],
            [
              0.10022,
              0.10952,
              0.11974,
              0.14095,
              0.1839,
              0.2695,
              0.43981,
              0.77969
            ],
            [
              0.1001,
              0.1094,
              0.11964,
              0.14085,
              0.18379,
              0.26938,
              0.43964,
              0.78
            ],
            [
              0.09997,
              0.10928,
              0.11951,
              0.14069,
              0.18366,
              0.26924,
              0.4396,
              0.77976
            ],
            [
              0.09993,
              0.10922,
              0.11945,
              0.14065,
              0.18361,
              0.26918,
              0.43977,
              0.77997
            ],
            [
              0.1,
              0.1093,
              0.11954,
              0.14071,
              0.18365,
              0.2692,
              0.43966,
              0.78031
            ],
            [
              0.10024,
              0.10956,
              0.11979,
              0.14096,
              0.18388,
              0.26944,
              0.44017,
              0.78008
            ],
            [
              0.10081,
              0.11011,
              0.12031,
              0.14146,
              0.18435,
              0.26985,
              0.44028,
              0.77998
            ],
            [
              0.10178,
              0.11104,
              0.12125,
              0.14232,
              0.18518,
              0.27067,
              0.44139,
              0.78148
            ],
            [
              0.10363,
              0.11282,
              0.12297,
              0.14395,
              0.18668,
              0.27206,
              0.44286,
              0.78261
            ],
            [
              0.10691,
              0.11594,
              0.126,
              0.14694,
              0.18947,
              0.27474,
              0.44517,
              0.78512
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.07933,
              0.08475,
              0.09136,
              0.10571,
              0.13535,
              0.19429,
              0.31163,
              0.54495
            ],
            [
              0.0792,
              0.08461,
              0.09124,
              0.10559,
              0.13525,
              0.19424,
              0.31157,
              0.54564
            ],
            [
              0.07917,
              0.08458,
              0.0912,
              0.10556,
              0.13521,
              0.19415,
              0.31155,
              0.5459
            ],
            [
              0.07913,
              0.08454,
              0.09117,
              0.10554,
              0.13517,
              0.19412,
              0.3112,
              0.54484
            ],
            [
              0.07909,
              0.08451,
              0.09112,
              0.10548,
              0.13511,
              0.19406,
              0.31129,
              0.54462
            ],
            [
              0.07905,
              0.08445,
              0.09108,
              0.10543,
              0.13506,
              0.19398,
              0.31136,
              0.54487
            ],
            [
              0.07903,
              0.08444,
              0.09107,
              0.10542,
              0.13506,
              0.19396,
              0.31123,
              0.54491
            ],
            [
              0.07911,
              0.08448,
              0.09112,
              0.10546,
              0.13507,
              0.194,
              0.31119,
              0.54526
            ],
            [
              0.07933,
              0.08473,
              0.09133,
              0.10567,
              0.13525,
              0.19427,
              0.31166,
              0.54484
            ],
            [
              0.07984,
              0.08521,
              0.09183,
              0.10613,
              0.13568,
              0.19458,
              0.31199,
              0.54503
            ],
            [
              0.08079,
              0.08616,
              0.09281,
              0.10709,
              0.13658,
              0.19537,
              0.31254,
              0.54621
            ],
            [
              0.08256,
              0.08796,
              0.09454,
              0.10877,
              0.13819,
              0.19696,
              0.31417,
              0.54843
            ],
            [
              0.08546,
              0.09085,
              0.09741,
              0.11164,
              0.14093,
              0.19955,
              0.31696,
              0.55087
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.08049,
              0.08959,
              0.09975,
              0.12095,
              0.16396,
              0.2499,
              0.4203,
              0.7612
            ],
            [
              0.08047,
              0.08955,
              0.09973,
              0.12093,
              0.164,
              0.24995,
              0.42071,
              0.76114
            ],
            [
              0.08048,
              0.08954,
              0.09969,
              0.1209,
              0.16381,
              0.24987,
              0.42013,
              0.76084
            ],
            [
              0.0804,
              0.08948,
              0.09966,
              0.12093,
              0.16378,
              0.24984,
              0.42046,
              0.76096
            ],
            [
              0.08037,
              0.08948,
              0.09962,
              0.12083,
              0.16384,
              0.2497,
              0.42063,
              0.75979
            ],
            [
              0.08034,
              0.08944,
              0.09962,
              0.12081,
              0.16379,
              0.24979,
              0.42004,
              0.7614
            ],
            [
              0.08034,
              0.0894,
              0.09956,
              0.12076,
              0.16371,
              0.24977,
              0.41994,
              0.75989
            ],
            [
              0.08031,
              0.08942,
              0.09957,
              0.12066,
              0.16363,
              0.24966,
              0.42046,
              0.76147
            ],
            [
              0.08031,
              0.08937,
              0.09958,
              0.12059,
              0.16359,
              0.24932,
              0.42036,
              0.75968
            ],
            [
              0.08037,
              0.0894,
              0.09952,
              0.12058,
              0.1634,
              0.24931,
              0.42013,
              0.75978
            ],
            [
              0.08088,
              0.08982,
              0.09984,
              0.12081,
              0.1635,
              0.24928,
              0.42022,
              0.76073
            ],
            [
              0.08232,
              0.09106,
              0.10097,
              0.12161,
              0.1641,
              0.24938,
              0.42024,
              0.76043
            ],
            [
              0.08486,
              0.09335,
              0.10307,
              0.12344,
              0.16536,
              0.25051,
              0.42113,
              0.76033
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.07544,
              0.08109,
              0.08785,
              0.1024,
              0.1324,
              0.19197,
              0.3086,
              0.54267
            ],
            [
              0.0754,
              0.08103,
              0.0878,
              0.10238,
              0.13235,
              0.1919,
              0.30864,
              0.54254
            ],
            [
              0.07534,
              0.08099,
              0.08776,
              0.10233,
              0.13232,
              0.19188,
              0.30874,
              0.54289
            ],
            [
              0.07531,
              0.08095,
              0.08771,
              0.10229,
              0.13226,
              0.19181,
              0.30849,
              0.54245
            ],
            [
              0.07524,
              0.08087,
              0.08762,
              0.10221,
              0.13218,
              0.19174,
              0.30854,
              0.54233
            ],
            [
              0.07517,
              0.0808,
              0.08755,
              0.10214,
              0.13212,
              0.19168,
              0.30852,
              0.5427
            ],
            [
              0.07507,
              0.08069,
              0.08745,
              0.10201,
              0.13199,
              0.19151,
              0.30824,
              0.54264
            ],
            [
              0.07497,
              0.0806,
              0.08735,
              0.10191,
              0.13187,
              0.19141,
              0.30808,
              0.54163
            ],
            [
              0.07488,
              0.08049,
              0.08724,
              0.10178,
              0.13171,
              0.19118,
              0.30808,
              0.54238
            ],
            [
              0.07498,
              0.08055,
              0.08726,
              0.10175,
              0.1316,
              0.19103,
              0.3079,
              0.54211
            ],
            [
              0.07534,
              0.08083,
              0.08745,
              0.10186,
              0.13162,
              0.19094,
              0.30778,
              0.54151
            ],
            [
              0.07613,
              0.08148,
              0.08805,
              0.10234,
              0.13195,
              0.19119,
              0.30801,
              0.54218
            ],
            [
              0.07762,
              0.0828,
              0.08924,
              0.10335,
              0.13278,
              0.19185,
              0.30861,
              0.54148
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.2357,
    "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.53255,
              0.56503,
              0.58796,
              0.62334,
              0.67671,
              0.75805,
              0.88704,
              1.10687
            ],
            [
              0.53508,
              0.56756,
              0.59049,
              0.62586,
              0.67925,
              0.76057,
              0.88956,
              1.10944
            ],
            [
              0.53822,
              0.5707,
              0.59363,
              0.629,
              0.68238,
              0.76371,
              0.89269,
              1.11252
            ],
            [
              0.54317,
              0.57564,
              0.59857,
              0.63394,
              0.68732,
              0.76867,
              0.89765,
              1.11747
            ],
            [
              0.5508,
              0.58328,
              0.6062,
              0.64158,
              0.69496,
              0.7763,
              0.90528,
              1.12511
            ],
            [
              0.56251,
              0.59499,
              0.61791,
              0.65328,
              0.70667,
              0.788,
              0.91698,
              1.13682
            ],
            [
              0.58031,
              0.61278,
              0.6357,
              0.67107,
              0.72447,
              0.80579,
              0.93473,
              1.15463
            ],
            [
              0.60569,
              0.63816,
              0.66109,
              0.69646,
              0.74985,
              0.83118,
              0.96016,
              1.18006
            ],
            [
              0.63953,
              0.67198,
              0.6949,
              0.73027,
              0.78365,
              0.86505,
              0.99405,
              1.21385
            ],
            [
              0.68229,
              0.71469,
              0.73759,
              0.77299,
              0.82639,
              0.90779,
              1.03689,
              1.25669
            ],
            [
              0.73182,
              0.76402,
              0.78692,
              0.82232,
              0.87582,
              0.95732,
              1.08642,
              1.30632
            ],
            [
              0.78257,
              0.81457,
              0.83727,
              0.87257,
              0.92617,
              1.00777,
              1.13697,
              1.35697
            ],
            [
              0.8334,
              0.865,
              0.8876,
              0.9228,
              0.9763,
              1.058,
              1.1873,
              1.407
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.46101,
              0.50074,
              0.52963,
              0.57626,
              0.65313,
              0.78889,
              1.04857,
              1.56537
            ],
            [
              0.46372,
              0.50344,
              0.53233,
              0.57897,
              0.65583,
              0.7916,
              1.05124,
              1.56804
            ],
            [
              0.46702,
              0.50673,
              0.53563,
              0.58227,
              0.65913,
              0.7949,
              1.05452,
              1.57142
            ],
            [
              0.47197,
              0.51168,
              0.54058,
              0.58722,
              0.66407,
              0.79985,
              1.05947,
              1.57638
            ],
            [
              0.47947,
              0.51919,
              0.54808,
              0.59472,
              0.67159,
              0.80735,
              1.06701,
              1.58381
            ],
            [
              0.49068,
              0.5304,
              0.5593,
              0.60593,
              0.6828,
              0.81858,
              1.07822,
              1.59502
            ],
            [
              0.50645,
              0.54616,
              0.57507,
              0.62169,
              0.69857,
              0.83434,
              1.09393,
              1.61073
            ],
            [
              0.52718,
              0.56688,
              0.59577,
              0.64241,
              0.71928,
              0.85506,
              1.11466,
              1.63146
            ],
            [
              0.55388,
              0.59357,
              0.62246,
              0.6691,
              0.74597,
              0.88175,
              1.14125,
              1.65805
            ],
            [
              0.58775,
              0.62741,
              0.65629,
              0.70289,
              0.77979,
              0.91549,
              1.17499,
              1.69179
            ],
            [
              0.62962,
              0.66922,
              0.69812,
              0.74472,
              0.82162,
              0.95732,
              1.21682,
              1.73352
            ],
            [
              0.68057,
              0.72017,
              0.74897,
              0.79557,
              0.87247,
              1.00807,
              1.26747,
              1.78417
            ],
            [
              0.7416,
              0.7811,
              0.8099,
              0.8565,
              0.9334,
              1.069,
              1.3281,
              1.8448
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.05915,
              0.07914,
              0.09383,
              0.11813,
              0.15881,
              0.22915,
              0.35964,
              0.6186
            ],
            [
              0.05915,
              0.079,
              0.09385,
              0.1181,
              0.15859,
              0.2291,
              0.35982,
              0.61931
            ],
            [
              0.05913,
              0.07901,
              0.09387,
              0.11803,
              0.15848,
              0.22945,
              0.3598,
              0.61931
            ],
            [
              0.05914,
              0.07914,
              0.09383,
              0.11813,
              0.15885,
              0.22917,
              0.35964,
              0.61849
            ],
            [
              0.05912,
              0.079,
              0.09387,
              0.11804,
              0.15885,
              0.22962,
              0.35981,
              0.6193
            ],
            [
              0.05914,
              0.07901,
              0.09387,
              0.11802,
              0.1585,
              0.22942,
              0.35981,
              0.61933
            ],
            [
              0.05916,
              0.079,
              0.09377,
              0.11803,
              0.15852,
              0.2294,
              0.35982,
              0.61936
            ],
            [
              0.05913,
              0.07901,
              0.09383,
              0.11811,
              0.15874,
              0.22915,
              0.35982,
              0.6192
            ],
            [
              0.05907,
              0.07899,
              0.09381,
              0.11797,
              0.15856,
              0.22942,
              0.3598,
              0.6193
            ],
            [
              0.0588,
              0.079,
              0.0937,
              0.118,
              0.1589,
              0.2291,
              0.3598,
              0.619
            ],
            [
              0.0586,
              0.0787,
              0.0935,
              0.1179,
              0.1589,
              0.2295,
              0.3597,
              0.6191
            ],
            [
              0.0583,
              0.0784,
              0.0933,
              0.1176,
              0.1586,
              0.2293,
              0.3596,
              0.6194
            ],
            [
              0.0579,
              0.0778,
              0.0927,
              0.1173,
              0.1583,
              0.2293,
              0.359,
              0.6186
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.05358,
              0.0845,
              0.1092,
              0.15401,
              0.24083,
              0.41906,
              0.78958,
              1.53901
            ],
            [
              0.05361,
              0.08449,
              0.10919,
              0.154,
              0.24083,
              0.41912,
              0.78954,
              1.53937
            ],
            [
              0.05356,
              0.08451,
              0.10919,
              0.15403,
              0.24084,
              0.41901,
              0.78933,
              1.53826
            ],
            [
              0.05361,
              0.0845,
              0.1092,
              0.15399,
              0.24083,
              0.41911,
              0.78953,
              1.53946
            ],
            [
              0.05357,
              0.0845,
              0.1092,
              0.15401,
              0.24082,
              0.41905,
              0.78976,
              1.53899
            ],
            [
              0.05353,
              0.0845,
              0.10917,
              0.15398,
              0.2408,
              0.41911,
              0.78925,
              1.5388
            ],
            [
              0.05349,
              0.08448,
              0.10914,
              0.15397,
              0.2408,
              0.41916,
              0.7894,
              1.5367
            ],
            [
              0.05349,
              0.08448,
              0.10912,
              0.15399,
              0.24077,
              0.41898,
              0.78921,
              1.5361
            ],
            [
              0.05341,
              0.0844,
              0.10906,
              0.15392,
              0.24072,
              0.41895,
              0.7892,
              1.5365
            ],
            [
              0.05327,
              0.0843,
              0.10897,
              0.15385,
              0.2406,
              0.4188,
              0.7888,
              1.5362
            ],
            [
              0.0531,
              0.0842,
              0.1089,
              0.1536,
              0.2404,
              0.4187,
              0.789,
              1.5377
            ],
            [
              0.0529,
              0.0839,
              0.1087,
              0.1535,
              0.2404,
              0.4188,
              0.7887,
              1.5404
            ],
            [
              0.0526,
              0.0836,
              0.1085,
              0.1534,
              0.2401,
              0.4187,
              0.7888,
              1.5374
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.5555,
              0.59121,
              0.61634,
              0.65493,
              0.71286,
              0.80051,
              0.93806,
              1.16897
            ],
            [
              0.55803,
              0.59375,
              0.61888,
              0.65747,
              0.71538,
              0.80304,
              0.94057,
              1.17174
            ],
            [
              0.56118,
              0.5969,
              0.62202,
              0.66059,
              0.71852,
              0.80617,
              0.94373,
              1.17472
            ],
            [
              0.5661,
              0.60184,
              0.62696,
              0.66556,
              0.72347,
              0.81112,
              0.94866,
              1.17978
            ],
            [
              0.57376,
              0.60947,
              0.6346,
              0.67319,
              0.7311,
              0.81876,
              0.95631,
              1.18741
            ],
            [
              0.58544,
              0.62115,
              0.64628,
              0.68487,
              0.7428,
              0.83045,
              0.96802,
              1.19922
            ],
            [
              0.60314,
              0.63887,
              0.664,
              0.7026,
              0.76051,
              0.84817,
              0.98573,
              1.21683
            ],
            [
              0.6285,
              0.66422,
              0.68934,
              0.72791,
              0.78583,
              0.87346,
              1.01106,
              1.24196
            ],
            [
              0.66262,
              0.69831,
              0.72342,
              0.76205,
              0.81995,
              0.90755,
              1.04515,
              1.27615
            ],
            [
              0.70679,
              0.74239,
              0.76749,
              0.80609,
              0.86409,
              0.95169,
              1.08929,
              1.32039
            ],
            [
              0.75942,
              0.79492,
              0.81992,
              0.85842,
              0.91642,
              1.00422,
              1.14182,
              1.37312
            ],
            [
              0.81417,
              0.84917,
              0.87407,
              0.91247,
              0.97047,
              1.05837,
              1.19607,
              1.42717
            ],
            [
              0.8672,
              0.9017,
              0.9263,
              0.9646,
              1.0225,
              1.1104,
              1.2482,
              1.4795
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.4617,
              0.5004,
              0.52843,
              0.57358,
              0.6481,
              0.77968,
              1.02927,
              1.52057
            ],
            [
              0.46441,
              0.50311,
              0.53115,
              0.57629,
              0.65081,
              0.78239,
              1.03194,
              1.52324
            ],
            [
              0.46772,
              0.50641,
              0.53445,
              0.57959,
              0.65412,
              0.7857,
              1.03522,
              1.52662
            ],
            [
              0.47267,
              0.51136,
              0.53941,
              0.58454,
              0.65907,
              0.79065,
              1.04018,
              1.53148
            ],
            [
              0.48018,
              0.51887,
              0.5469,
              0.59205,
              0.66657,
              0.79816,
              1.04761,
              1.53901
            ],
            [
              0.49143,
              0.53012,
              0.55815,
              0.6033,
              0.67783,
              0.80941,
              1.05882,
              1.55032
            ],
            [
              0.50733,
              0.54602,
              0.57406,
              0.6192,
              0.69372,
              0.8253,
              1.07483,
              1.56613
            ],
            [
              0.52842,
              0.56709,
              0.59512,
              0.64026,
              0.71478,
              0.84636,
              1.09596,
              1.58716
            ],
            [
              0.5557,
              0.59433,
              0.62234,
              0.66748,
              0.74201,
              0.87365,
              1.12305,
              1.61445
            ],
            [
              0.59022,
              0.6288,
              0.65679,
              0.70189,
              0.77639,
              0.90799,
              1.15759,
              1.64899
            ],
            [
              0.63262,
              0.67112,
              0.69912,
              0.74422,
              0.81872,
              0.95032,
              1.19982,
              1.69122
            ],
            [
              0.68407,
              0.72247,
              0.75037,
              0.79547,
              0.86997,
              1.00157,
              1.25097,
              1.74227
            ],
            [
              0.7456,
              0.7839,
              0.8118,
              0.8568,
              0.9313,
              1.0629,
              1.3124,
              1.8036
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.0671,
              0.08864,
              0.10471,
              0.13057,
              0.17349,
              0.24773,
              0.38229,
              0.64697
            ],
            [
              0.0671,
              0.08865,
              0.1047,
              0.13057,
              0.17367,
              0.24739,
              0.38234,
              0.64792
            ],
            [
              0.0671,
              0.08881,
              0.10471,
              0.13058,
              0.17355,
              0.24764,
              0.38215,
              0.6474
            ],
            [
              0.06709,
              0.08865,
              0.10471,
              0.1306,
              0.17365,
              0.24749,
              0.38241,
              0.64785
            ],
            [
              0.0671,
              0.08864,
              0.1047,
              0.13055,
              0.17366,
              0.24742,
              0.38241,
              0.64787
            ],
            [
              0.06711,
              0.08864,
              0.1047,
              0.13056,
              0.17363,
              0.2474,
              0.38229,
              0.64759
            ],
            [
              0.06709,
              0.08863,
              0.1047,
              0.13059,
              0.17366,
              0.24739,
              0.38231,
              0.6479
            ],
            [
              0.0671,
              0.08879,
              0.1047,
              0.13057,
              0.17353,
              0.24775,
              0.38219,
              0.6472
            ],
            [
              0.06704,
              0.08862,
              0.10455,
              0.13058,
              0.1736,
              0.2475,
              0.3821,
              0.6474
            ],
            [
              0.0669,
              0.0887,
              0.1046,
              0.1305,
              0.1736,
              0.2475,
              0.3822,
              0.6466
            ],
            [
              0.0666,
              0.0883,
              0.1044,
              0.1303,
              0.1735,
              0.2474,
              0.3822,
              0.6474
            ],
            [
              0.0662,
              0.088,
              0.104,
              0.13,
              0.1732,
              0.2472,
              0.382,
              0.6469
            ],
            [
              0.0658,
              0.0876,
              0.1035,
              0.1297,
              0.1727,
              0.2471,
              0.3819,
              0.6473
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.05249,
              0.08218,
              0.10592,
              0.14941,
              0.23398,
              0.40604,
              0.76225,
              1.48857
            ],
            [
              0.05248,
              0.08217,
              0.1059,
              0.14939,
              0.23396,
              0.406,
              0.7623,
              1.48753
            ],
            [
              0.0525,
              0.08217,
              0.10594,
              0.14943,
              0.23397,
              0.40607,
              0.76228,
              1.4874
            ],
            [
              0.05248,
              0.08217,
              0.1059,
              0.14938,
              0.23395,
              0.40598,
              0.76238,
              1.48761
            ],
            [
              0.05251,
              0.08216,
              0.10594,
              0.14945,
              0.23397,
              0.40611,
              0.76242,
              1.48643
            ],
            [
              0.05252,
              0.08216,
              0.10594,
              0.14945,
              0.23395,
              0.40616,
              0.76238,
              1.4861
            ],
            [
              0.05246,
              0.08215,
              0.10588,
              0.14936,
              0.23392,
              0.40597,
              0.76218,
              1.4876
            ],
            [
              0.0524,
              0.08208,
              0.10582,
              0.1493,
              0.23378,
              0.40611,
              0.76213,
              1.4879
            ],
            [
              0.05237,
              0.08198,
              0.10577,
              0.14929,
              0.23376,
              0.40601,
              0.7624,
              1.487
            ],
            [
              0.05201,
              0.08178,
              0.10559,
              0.1491,
              0.2336,
              0.406,
              0.7624,
              1.4875
            ],
            [
              0.0518,
              0.0815,
              0.1054,
              0.1489,
              0.2333,
              0.4059,
              0.7623,
              1.4873
            ],
            [
              0.0514,
              0.0812,
              0.105,
              0.1487,
              0.2332,
              0.4057,
              0.7632,
              1.4878
            ],
            [
              0.0511,
              0.0809,
              0.1049,
              0.1484,
              0.233,
              0.4058,
              0.7628,
              1.4865
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.50663,
              0.53915,
              0.5621,
              0.59747,
              0.65083,
              0.73217,
              0.86112,
              1.08097
            ],
            [
              0.50857,
              0.5411,
              0.56404,
              0.59941,
              0.6528,
              0.7341,
              0.86307,
              1.08274
            ],
            [
              0.51114,
              0.54367,
              0.56661,
              0.60198,
              0.65536,
              0.73667,
              0.86564,
              1.08532
            ],
            [
              0.51529,
              0.54783,
              0.57078,
              0.60615,
              0.65951,
              0.74084,
              0.86979,
              1.08967
            ],
            [
              0.52204,
              0.55457,
              0.57752,
              0.6129,
              0.66625,
              0.74758,
              0.87653,
              1.09631
            ],
            [
              0.5329,
              0.56543,
              0.58838,
              0.62375,
              0.67712,
              0.75845,
              0.8874,
              1.10722
            ],
            [
              0.55003,
              0.58258,
              0.60553,
              0.6409,
              0.69427,
              0.77557,
              0.90453,
              1.12423
            ],
            [
              0.57653,
              0.60907,
              0.63203,
              0.66741,
              0.72076,
              0.80207,
              0.93106,
              1.15066
            ],
            [
              0.61563,
              0.64821,
              0.67118,
              0.70655,
              0.75995,
              0.84125,
              0.97015,
              1.18985
            ],
            [
              0.67009,
              0.70269,
              0.72559,
              0.76099,
              0.81429,
              0.89569,
              1.02459,
              1.24439
            ],
            [
              0.74432,
              0.77682,
              0.79972,
              0.83512,
              0.88842,
              0.96982,
              1.09872,
              1.31852
            ],
            [
              0.84507,
              0.87797,
              0.90107,
              0.93667,
              0.99017,
              1.07167,
              1.20077,
              1.42067
            ],
            [
              0.9667,
              1.0012,
              1.0257,
              1.0632,
              1.1193,
              1.2036,
              1.3352,
              1.5562
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.3867,
              0.42665,
              0.45566,
              0.50239,
              0.5793,
              0.71495,
              0.9744,
              1.49127
            ],
            [
              0.38963,
              0.42957,
              0.45859,
              0.50532,
              0.58223,
              0.71789,
              0.97735,
              1.49414
            ],
            [
              0.39308,
              0.43302,
              0.46204,
              0.50878,
              0.58569,
              0.72134,
              0.98082,
              1.49762
            ],
            [
              0.39825,
              0.4382,
              0.4672,
              0.51394,
              0.59086,
              0.7265,
              0.98598,
              1.50288
            ],
            [
              0.40592,
              0.44588,
              0.47489,
              0.52164,
              0.59855,
              0.73419,
              0.99361,
              1.51051
            ],
            [
              0.41724,
              0.45722,
              0.48623,
              0.53298,
              0.60988,
              0.74553,
              1.00502,
              1.52192
            ],
            [
              0.43389,
              0.47388,
              0.50291,
              0.54966,
              0.62656,
              0.76218,
              1.02163,
              1.53853
            ],
            [
              0.45858,
              0.49861,
              0.52766,
              0.5744,
              0.65129,
              0.78691,
              1.04636,
              1.56326
            ],
            [
              0.4949,
              0.53498,
              0.56404,
              0.61081,
              0.68768,
              0.82325,
              1.08275,
              1.59975
            ],
            [
              0.54394,
              0.5841,
              0.61318,
              0.65999,
              0.73679,
              0.87249,
              1.13199,
              1.64899
            ],
            [
              0.60182,
              0.64202,
              0.67102,
              0.71782,
              0.79462,
              0.93022,
              1.18982,
              1.70672
            ],
            [
              0.67137,
              0.71157,
              0.74067,
              0.78737,
              0.86427,
              0.99997,
              1.25977,
              1.77657
            ],
            [
              0.7548,
              0.7952,
              0.8244,
              0.8712,
              0.9482,
              1.0842,
              1.3442,
              1.861
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.0593,
              0.0791,
              0.09393,
              0.1182,
              0.15892,
              0.22956,
              0.35984,
              0.61923
            ],
            [
              0.05926,
              0.0791,
              0.09386,
              0.1181,
              0.15863,
              0.22936,
              0.35969,
              0.61885
            ],
            [
              0.05927,
              0.07911,
              0.09386,
              0.11811,
              0.15879,
              0.22937,
              0.3597,
              0.61896
            ],
            [
              0.0593,
              0.07925,
              0.09395,
              0.11813,
              0.1589,
              0.22948,
              0.35986,
              0.61916
            ],
            [
              0.05932,
              0.07912,
              0.09395,
              0.1182,
              0.15893,
              0.22963,
              0.35987,
              0.61927
            ],
            [
              0.05933,
              0.07913,
              0.09396,
              0.11818,
              0.15883,
              0.22927,
              0.35981,
              0.61913
            ],
            [
              0.05936,
              0.07926,
              0.09397,
              0.11813,
              0.15858,
              0.22941,
              0.35973,
              0.61878
            ],
            [
              0.05938,
              0.07912,
              0.09397,
              0.11819,
              0.1589,
              0.2295,
              0.35989,
              0.6184
            ],
            [
              0.05938,
              0.07916,
              0.09398,
              0.11811,
              0.15858,
              0.22913,
              0.3596,
              0.6189
            ],
            [
              0.0594,
              0.0791,
              0.0939,
              0.1182,
              0.1589,
              0.2295,
              0.3599,
              0.6186
            ],
            [
              0.0593,
              0.0789,
              0.0938,
              0.1181,
              0.1589,
              0.2295,
              0.3597,
              0.6192
            ],
            [
              0.0615,
              0.0806,
              0.0952,
              0.1192,
              0.1595,
              0.2297,
              0.3599,
              0.619
            ],
            [
              0.0676,
              0.0872,
              0.1021,
              0.1267,
              0.1673,
              0.2366,
              0.3656,
              0.622
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.05423,
              0.08522,
              0.10987,
              0.15452,
              0.24106,
              0.41905,
              0.78885,
              1.53757
            ],
            [
              0.05424,
              0.08514,
              0.10988,
              0.1546,
              0.24111,
              0.41919,
              0.78909,
              1.5374
            ],
            [
              0.0542,
              0.08522,
              0.10991,
              0.15458,
              0.24109,
              0.4193,
              0.78931,
              1.53702
            ],
            [
              0.05428,
              0.08525,
              0.10991,
              0.15453,
              0.2411,
              0.41911,
              0.789,
              1.53971
            ],
            [
              0.05429,
              0.08529,
              0.10994,
              0.15457,
              0.24112,
              0.41912,
              0.78905,
              1.53925
            ],
            [
              0.05437,
              0.08533,
              0.10998,
              0.15462,
              0.24112,
              0.41909,
              0.78893,
              1.53821
            ],
            [
              0.05446,
              0.08544,
              0.11009,
              0.15471,
              0.24121,
              0.41919,
              0.789,
              1.53676
            ],
            [
              0.05463,
              0.0855,
              0.11017,
              0.15486,
              0.24132,
              0.41927,
              0.78926,
              1.5374
            ],
            [
              0.05488,
              0.08584,
              0.11042,
              0.15501,
              0.24146,
              0.41939,
              0.78935,
              1.537
            ],
            [
              0.05518,
              0.08613,
              0.11062,
              0.15533,
              0.24174,
              0.4197,
              0.7895,
              1.5388
            ],
            [
              0.0553,
              0.0861,
              0.1108,
              0.1554,
              0.2419,
              0.4198,
              0.7894,
              1.5374
            ],
            [
              0.0558,
              0.0866,
              0.1111,
              0.1558,
              0.2424,
              0.4203,
              0.7897,
              1.5356
            ],
            [
              0.0565,
              0.0871,
              0.1117,
              0.1565,
              0.2434,
              0.4212,
              0.7893,
              1.5351
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.49589,
              0.53119,
              0.55611,
              0.59453,
              0.65241,
              0.74026,
              0.87798,
              1.10917
            ],
            [
              0.498,
              0.5333,
              0.55822,
              0.59665,
              0.65454,
              0.74236,
              0.88011,
              1.11134
            ],
            [
              0.5007,
              0.53601,
              0.56093,
              0.59936,
              0.65727,
              0.74508,
              0.88284,
              1.11412
            ],
            [
              0.50499,
              0.54031,
              0.56524,
              0.60366,
              0.66158,
              0.74938,
              0.88716,
              1.11848
            ],
            [
              0.51169,
              0.54702,
              0.57195,
              0.61039,
              0.66831,
              0.75612,
              0.89389,
              1.12521
            ],
            [
              0.52233,
              0.55766,
              0.58261,
              0.62106,
              0.67897,
              0.76682,
              0.90456,
              1.13582
            ],
            [
              0.53862,
              0.57395,
              0.5989,
              0.63735,
              0.69528,
              0.78315,
              0.92093,
              1.15203
            ],
            [
              0.56337,
              0.59868,
              0.62362,
              0.66207,
              0.72003,
              0.80789,
              0.94566,
              1.17696
            ],
            [
              0.60029,
              0.63554,
              0.66047,
              0.6989,
              0.75685,
              0.84475,
              0.98265,
              1.21395
            ],
            [
              0.65359,
              0.68869,
              0.71359,
              0.75199,
              0.80989,
              0.89789,
              1.03579,
              1.26719
            ],
            [
              0.72302,
              0.75802,
              0.78282,
              0.82112,
              0.87902,
              0.96692,
              1.10492,
              1.33642
            ],
            [
              0.80537,
              0.84007,
              0.86467,
              0.90277,
              0.96047,
              1.04827,
              1.18637,
              1.41787
            ],
            [
              0.9008,
              0.9353,
              0.9599,
              0.9978,
              1.0553,
              1.1431,
              1.281,
              1.5126
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.39347,
              0.43204,
              0.46004,
              0.50516,
              0.57967,
              0.7113,
              0.96078,
              1.45227
            ],
            [
              0.39637,
              0.43495,
              0.46295,
              0.50807,
              0.58258,
              0.71419,
              0.96359,
              1.45514
            ],
            [
              0.39986,
              0.43844,
              0.46644,
              0.51156,
              0.58607,
              0.71769,
              0.96711,
              1.45862
            ],
            [
              0.40518,
              0.44376,
              0.47175,
              0.51687,
              0.59139,
              0.72301,
              0.97257,
              1.46398
            ],
            [
              0.41318,
              0.45176,
              0.47976,
              0.52489,
              0.5994,
              0.73102,
              0.98051,
              1.47201
            ],
            [
              0.42513,
              0.46373,
              0.49172,
              0.53685,
              0.61136,
              0.74297,
              0.99242,
              1.48382
            ],
            [
              0.44279,
              0.48138,
              0.50939,
              0.55451,
              0.62903,
              0.76065,
              1.01013,
              1.50163
            ],
            [
              0.46852,
              0.50711,
              0.53511,
              0.58024,
              0.65476,
              0.78638,
              1.03596,
              1.52736
            ],
            [
              0.50564,
              0.54426,
              0.57228,
              0.6174,
              0.69191,
              0.82345,
              1.07295,
              1.56435
            ],
            [
              0.55358,
              0.59222,
              0.62023,
              0.66539,
              0.73989,
              0.87149,
              1.12089,
              1.61229
            ],
            [
              0.61262,
              0.65112,
              0.67912,
              0.72412,
              0.79862,
              0.93002,
              1.17952,
              1.67092
            ],
            [
              0.68757,
              0.72767,
              0.75657,
              0.80277,
              0.87817,
              1.00997,
              1.25937,
              1.75047
            ],
            [
              0.7804,
              0.8226,
              0.8532,
              0.9018,
              0.9799,
              1.1141,
              1.3644,
              1.8556
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.06668,
              0.08863,
              0.10475,
              0.13087,
              0.17419,
              0.24793,
              0.38274,
              0.6476
            ],
            [
              0.06669,
              0.08864,
              0.10468,
              0.13086,
              0.17414,
              0.24788,
              0.38274,
              0.6481
            ],
            [
              0.06669,
              0.08864,
              0.1047,
              0.13085,
              0.17412,
              0.24779,
              0.3826,
              0.64806
            ],
            [
              0.0667,
              0.08875,
              0.10471,
              0.13083,
              0.17402,
              0.24821,
              0.38266,
              0.64759
            ],
            [
              0.06668,
              0.08865,
              0.10468,
              0.13084,
              0.17411,
              0.24825,
              0.38255,
              0.64791
            ],
            [
              0.06671,
              0.08875,
              0.10477,
              0.13087,
              0.1742,
              0.24791,
              0.38273,
              0.64801
            ],
            [
              0.0667,
              0.08875,
              0.10476,
              0.13085,
              0.17419,
              0.24797,
              0.3828,
              0.6473
            ],
            [
              0.06665,
              0.08874,
              0.10471,
              0.13086,
              0.17408,
              0.24814,
              0.38261,
              0.6468
            ],
            [
              0.06671,
              0.0887,
              0.10475,
              0.13088,
              0.1741,
              0.24814,
              0.3828,
              0.6476
            ],
            [
              0.06664,
              0.0886,
              0.1047,
              0.1309,
              0.1743,
              0.2482,
              0.3827,
              0.6468
            ],
            [
              0.0663,
              0.0884,
              0.1045,
              0.1309,
              0.1744,
              0.2485,
              0.383,
              0.6473
            ],
            [
              0.0661,
              0.0881,
              0.1042,
              0.1305,
              0.1743,
              0.2484,
              0.383,
              0.6482
            ],
            [
              0.0659,
              0.0879,
              0.1042,
              0.1307,
              0.1744,
              0.2482,
              0.3827,
              0.647
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.05201,
              0.0818,
              0.10557,
              0.14909,
              0.23357,
              0.40603,
              0.76224,
              1.4887
            ],
            [
              0.05203,
              0.08179,
              0.10557,
              0.14905,
              0.23359,
              0.40595,
              0.76221,
              1.48627
            ],
            [
              0.05203,
              0.0818,
              0.10558,
              0.14907,
              0.2336,
              0.40598,
              0.76219,
              1.48615
            ],
            [
              0.05206,
              0.08183,
              0.10559,
              0.14911,
              0.23354,
              0.40597,
              0.76234,
              1.48759
            ],
            [
              0.05205,
              0.08184,
              0.1056,
              0.14912,
              0.2336,
              0.40601,
              0.76226,
              1.48912
            ],
            [
              0.05216,
              0.08182,
              0.10561,
              0.1491,
              0.23359,
              0.40596,
              0.76282,
              1.48656
            ],
            [
              0.05208,
              0.08187,
              0.10563,
              0.14915,
              0.23362,
              0.40602,
              0.76216,
              1.48911
            ],
            [
              0.05214,
              0.08187,
              0.10563,
              0.14919,
              0.23357,
              0.40602,
              0.76239,
              1.4875
            ],
            [
              0.05228,
              0.08195,
              0.10569,
              0.14917,
              0.23365,
              0.40611,
              0.7628,
              1.4861
            ],
            [
              0.05233,
              0.08192,
              0.1058,
              0.1493,
              0.2337,
              0.406,
              0.7625,
              1.4858
            ],
            [
              0.0521,
              0.0817,
              0.1056,
              0.1492,
              0.2335,
              0.406,
              0.7622,
              1.4867
            ],
            [
              0.0548,
              0.0853,
              0.1093,
              0.1527,
              0.236,
              0.4071,
              0.7625,
              1.4865
            ],
            [
              0.0586,
              0.0908,
              0.1158,
              0.1598,
              0.2432,
              0.4125,
              0.7644,
              1.4883
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.37853,
              0.41534,
              0.44128,
              0.4809,
              0.5401,
              0.62937,
              0.7686,
              1.00067
            ],
            [
              0.38131,
              0.41811,
              0.44406,
              0.48369,
              0.5429,
              0.63214,
              0.77139,
              1.00364
            ],
            [
              0.38472,
              0.42154,
              0.44747,
              0.48711,
              0.54632,
              0.63558,
              0.77481,
              1.00712
            ],
            [
              0.38994,
              0.42677,
              0.45269,
              0.49234,
              0.55153,
              0.64077,
              0.78002,
              1.01218
            ],
            [
              0.39785,
              0.43467,
              0.46061,
              0.50025,
              0.55945,
              0.64871,
              0.78798,
              1.02021
            ],
            [
              0.4099,
              0.44671,
              0.47263,
              0.51227,
              0.57149,
              0.66077,
              0.80003,
              1.03232
            ],
            [
              0.42817,
              0.46497,
              0.4909,
              0.53053,
              0.58974,
              0.67904,
              0.8183,
              1.05063
            ],
            [
              0.45578,
              0.49255,
              0.51844,
              0.55806,
              0.61729,
              0.70662,
              0.84596,
              1.07816
            ],
            [
              0.49713,
              0.53385,
              0.55972,
              0.59931,
              0.65855,
              0.74794,
              0.88735,
              1.11965
            ],
            [
              0.5577,
              0.5944,
              0.62024,
              0.65979,
              0.71909,
              0.80869,
              0.94819,
              1.18059
            ],
            [
              0.64332,
              0.68012,
              0.70602,
              0.74572,
              0.80512,
              0.89482,
              1.03462,
              1.26722
            ],
            [
              0.75367,
              0.79237,
              0.81937,
              0.86027,
              0.92087,
              1.01167,
              1.15217,
              1.38517
            ],
            [
              0.8845,
              0.9259,
              0.9548,
              0.9984,
              1.0627,
              1.1578,
              1.3022,
              1.5375
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.25311,
              0.29237,
              0.32125,
              0.36823,
              0.44602,
              0.58196,
              0.83898,
              1.35497
            ],
            [
              0.256,
              0.29526,
              0.32413,
              0.37112,
              0.44894,
              0.58484,
              0.84186,
              1.35784
            ],
            [
              0.25941,
              0.29867,
              0.32754,
              0.37453,
              0.45236,
              0.58824,
              0.84526,
              1.36122
            ],
            [
              0.2645,
              0.30378,
              0.33264,
              0.37964,
              0.45746,
              0.59337,
              0.85038,
              1.36638
            ],
            [
              0.27213,
              0.31139,
              0.34027,
              0.38726,
              0.46506,
              0.60099,
              0.858,
              1.37351
            ],
            [
              0.28358,
              0.32285,
              0.35172,
              0.39871,
              0.47651,
              0.61244,
              0.86945,
              1.38532
            ],
            [
              0.30056,
              0.33981,
              0.3687,
              0.41567,
              0.49345,
              0.62938,
              0.88642,
              1.40213
            ],
            [
              0.32557,
              0.36482,
              0.3937,
              0.44066,
              0.51841,
              0.65435,
              0.91136,
              1.42736
            ],
            [
              0.36171,
              0.40095,
              0.42981,
              0.47672,
              0.55443,
              0.69032,
              0.94735,
              1.46325
            ],
            [
              0.41189,
              0.45119,
              0.48003,
              0.52691,
              0.60458,
              0.74039,
              0.99739,
              1.51329
            ],
            [
              0.47662,
              0.51762,
              0.54742,
              0.59522,
              0.67342,
              0.80942,
              1.06642,
              1.58262
            ],
            [
              0.55697,
              0.60027,
              0.63177,
              0.68177,
              0.76237,
              0.90007,
              1.15747,
              1.67317
            ],
            [
              0.6557,
              0.7021,
              0.7356,
              0.7886,
              0.8727,
              1.0135,
              1.2725,
              1.7888
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.07462,
              0.09524,
              0.1105,
              0.13576,
              0.17841,
              0.25263,
              0.38696,
              0.65022
            ],
            [
              0.07463,
              0.09524,
              0.1105,
              0.13577,
              0.17849,
              0.25255,
              0.38685,
              0.65083
            ],
            [
              0.07467,
              0.09525,
              0.1105,
              0.13577,
              0.17834,
              0.25236,
              0.38716,
              0.65018
            ],
            [
              0.07467,
              0.09527,
              0.11047,
              0.13578,
              0.17834,
              0.25257,
              0.38695,
              0.65072
            ],
            [
              0.07463,
              0.09524,
              0.1105,
              0.13577,
              0.17844,
              0.2524,
              0.38683,
              0.65092
            ],
            [
              0.07464,
              0.09526,
              0.11047,
              0.13577,
              0.17843,
              0.25264,
              0.3868,
              0.65087
            ],
            [
              0.07462,
              0.09524,
              0.1105,
              0.13579,
              0.17837,
              0.25233,
              0.38656,
              0.65064
            ],
            [
              0.07463,
              0.09526,
              0.11048,
              0.1358,
              0.17852,
              0.25265,
              0.38695,
              0.65069
            ],
            [
              0.07468,
              0.09528,
              0.11056,
              0.13586,
              0.17863,
              0.25247,
              0.38686,
              0.6509
            ],
            [
              0.07498,
              0.09554,
              0.11084,
              0.13612,
              0.17877,
              0.2526,
              0.387,
              0.6511
            ],
            [
              0.0767,
              0.0969,
              0.1121,
              0.1373,
              0.1797,
              0.2535,
              0.3876,
              0.6511
            ],
            [
              0.0851,
              0.1051,
              0.1197,
              0.1439,
              0.1849,
              0.2568,
              0.3896,
              0.6512
            ],
            [
              0.0974,
              0.1177,
              0.1326,
              0.1571,
              0.1985,
              0.2695,
              0.3993,
              0.6571
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.05085,
              0.08237,
              0.10765,
              0.15376,
              0.24124,
              0.41776,
              0.78729,
              1.53996
            ],
            [
              0.05088,
              0.08227,
              0.10771,
              0.1539,
              0.24128,
              0.41775,
              0.78727,
              1.53975
            ],
            [
              0.05086,
              0.08228,
              0.10773,
              0.15407,
              0.24122,
              0.41779,
              0.78726,
              1.53981
            ],
            [
              0.05089,
              0.08228,
              0.1077,
              0.15391,
              0.24127,
              0.41775,
              0.78728,
              1.53966
            ],
            [
              0.05093,
              0.08242,
              0.10766,
              0.1539,
              0.24129,
              0.41774,
              0.78728,
              1.53898
            ],
            [
              0.05092,
              0.08236,
              0.10767,
              0.15394,
              0.2413,
              0.41773,
              0.78734,
              1.53972
            ],
            [
              0.05084,
              0.08229,
              0.10764,
              0.15391,
              0.24132,
              0.41781,
              0.78732,
              1.53955
            ],
            [
              0.05088,
              0.08225,
              0.10766,
              0.15396,
              0.24137,
              0.4178,
              0.78728,
              1.53977
            ],
            [
              0.05082,
              0.08223,
              0.10764,
              0.15415,
              0.24146,
              0.41789,
              0.78731,
              1.5396
            ],
            [
              0.05147,
              0.0828,
              0.10823,
              0.15449,
              0.24162,
              0.41797,
              0.7872,
              1.5395
            ],
            [
              0.0549,
              0.0868,
              0.1119,
              0.1576,
              0.2436,
              0.4189,
              0.7875,
              1.54
            ],
            [
              0.0593,
              0.0927,
              0.1186,
              0.1645,
              0.2501,
              0.4229,
              0.7887,
              1.5394
            ],
            [
              0.0655,
              0.1008,
              0.1277,
              0.1741,
              0.2595,
              0.4304,
              0.7926,
              1.541
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.37928,
              0.41601,
              0.44188,
              0.48144,
              0.54058,
              0.6298,
              0.76896,
              1.00097
            ],
            [
              0.38206,
              0.41878,
              0.44466,
              0.48424,
              0.54338,
              0.63256,
              0.77175,
              1.00384
            ],
            [
              0.38548,
              0.4222,
              0.44808,
              0.48766,
              0.5468,
              0.636,
              0.77518,
              1.00742
            ],
            [
              0.39071,
              0.42742,
              0.45331,
              0.49288,
              0.55202,
              0.64121,
              0.78038,
              1.01248
            ],
            [
              0.3986,
              0.43533,
              0.46122,
              0.5008,
              0.55994,
              0.64913,
              0.78834,
              1.02051
            ],
            [
              0.41066,
              0.44737,
              0.47324,
              0.51282,
              0.57197,
              0.6612,
              0.80038,
              1.03252
            ],
            [
              0.42892,
              0.46563,
              0.4915,
              0.53108,
              0.59022,
              0.67945,
              0.81865,
              1.05093
            ],
            [
              0.45652,
              0.49319,
              0.51903,
              0.55858,
              0.61776,
              0.70702,
              0.84626,
              1.07846
            ],
            [
              0.49783,
              0.53447,
              0.56027,
              0.5998,
              0.65899,
              0.74831,
              0.88765,
              1.11995
            ],
            [
              0.55835,
              0.59496,
              0.62075,
              0.66029,
              0.71949,
              0.80899,
              0.94839,
              1.18089
            ],
            [
              0.64382,
              0.68062,
              0.70642,
              0.74602,
              0.80542,
              0.89512,
              1.03482,
              1.26742
            ],
            [
              0.75417,
              0.79277,
              0.81967,
              0.86057,
              0.92117,
              1.01177,
              1.15227,
              1.38517
            ],
            [
              0.8849,
              0.9262,
              0.955,
              0.9986,
              1.0628,
              1.1579,
              1.3023,
              1.5375
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.25249,
              0.29173,
              0.32062,
              0.3676,
              0.4454,
              0.58137,
              0.83837,
              1.35417
            ],
            [
              0.25537,
              0.29463,
              0.32349,
              0.37048,
              0.44831,
              0.58425,
              0.84124,
              1.35704
            ],
            [
              0.25878,
              0.29803,
              0.32689,
              0.37389,
              0.45172,
              0.58766,
              0.84465,
              1.36052
            ],
            [
              0.26388,
              0.30313,
              0.33199,
              0.379,
              0.45682,
              0.59276,
              0.84976,
              1.36557
            ],
            [
              0.2715,
              0.31075,
              0.33962,
              0.38661,
              0.46444,
              0.60039,
              0.85739,
              1.37291
            ],
            [
              0.28295,
              0.32221,
              0.35107,
              0.39806,
              0.47589,
              0.61184,
              0.86883,
              1.38472
            ],
            [
              0.29993,
              0.33919,
              0.36806,
              0.41504,
              0.49283,
              0.6288,
              0.88581,
              1.40153
            ],
            [
              0.32496,
              0.36421,
              0.39308,
              0.44004,
              0.51782,
              0.65378,
              0.91076,
              1.42656
            ],
            [
              0.36115,
              0.40038,
              0.42923,
              0.47614,
              0.55387,
              0.6898,
              0.94675,
              1.46275
            ],
            [
              0.41136,
              0.45068,
              0.47951,
              0.5264,
              0.60408,
              0.73999,
              0.99699,
              1.51289
            ],
            [
              0.47622,
              0.51722,
              0.54692,
              0.59472,
              0.67292,
              0.80902,
              1.06602,
              1.58172
            ],
            [
              0.55647,
              0.59987,
              0.63127,
              0.68137,
              0.76207,
              0.89977,
              1.15707,
              1.67287
            ],
            [
              0.6553,
              0.7017,
              0.7353,
              0.7883,
              0.8724,
              1.0133,
              1.2723,
              1.7885
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.07437,
              0.09496,
              0.11024,
              0.13552,
              0.17816,
              0.25239,
              0.38678,
              0.65011
            ],
            [
              0.07436,
              0.09497,
              0.11024,
              0.13551,
              0.17827,
              0.25239,
              0.38677,
              0.65062
            ],
            [
              0.07438,
              0.09496,
              0.11025,
              0.13553,
              0.17811,
              0.25213,
              0.387,
              0.65007
            ],
            [
              0.07437,
              0.09498,
              0.11024,
              0.13554,
              0.17812,
              0.25243,
              0.38676,
              0.65051
            ],
            [
              0.07435,
              0.09497,
              0.11025,
              0.13552,
              0.17825,
              0.25226,
              0.38665,
              0.65081
            ],
            [
              0.07439,
              0.09499,
              0.11023,
              0.13555,
              0.1782,
              0.25244,
              0.38681,
              0.65067
            ],
            [
              0.07438,
              0.09496,
              0.11025,
              0.13554,
              0.17821,
              0.25207,
              0.38648,
              0.65044
            ],
            [
              0.07432,
              0.09497,
              0.11022,
              0.13558,
              0.1783,
              0.25248,
              0.38679,
              0.6506
            ],
            [
              0.07441,
              0.09501,
              0.1103,
              0.13565,
              0.17842,
              0.25237,
              0.38672,
              0.6509
            ],
            [
              0.07469,
              0.09532,
              0.11059,
              0.13593,
              0.17854,
              0.2524,
              0.3867,
              0.6509
            ],
            [
              0.0763,
              0.0967,
              0.1118,
              0.1371,
              0.1796,
              0.2531,
              0.3875,
              0.6505
            ],
            [
              0.0848,
              0.1047,
              0.1194,
              0.1436,
              0.1847,
              0.2566,
              0.3893,
              0.6511
            ],
            [
              0.0971,
              0.1173,
              0.1323,
              0.1569,
              0.1982,
              0.2694,
              0.3991,
              0.6571
            ]
          ]
        },
        "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.00575,
            0.0115,
            0.02301,
            0.046,
            0.09201,
            0.18403,
            0.36806
          ],
          "values": [
            [
              0.05081,
              0.08227,
              0.10758,
              0.15378,
              0.24128,
              0.41777,
              0.78728,
              1.53947
            ],
            [
              0.05085,
              0.08224,
              0.10769,
              0.15397,
              0.2413,
              0.41774,
              0.78725,
              1.53975
            ],
            [
              0.05084,
              0.08225,
              0.1077,
              0.15398,
              0.2413,
              0.41773,
              0.78733,
              1.53973
            ],
            [
              0.05085,
              0.08225,
              0.1077,
              0.154,
              0.24129,
              0.41772,
              0.78728,
              1.53968
            ],
            [
              0.05088,
              0.08233,
              0.10766,
              0.15396,
              0.24131,
              0.41777,
              0.7872,
              1.53929
            ],
            [
              0.05087,
              0.08225,
              0.10768,
              0.15396,
              0.24132,
              0.41776,
              0.78724,
              1.53973
            ],
            [
              0.0508,
              0.08239,
              0.10764,
              0.15392,
              0.24135,
              0.41782,
              0.78731,
              1.53945
            ],
            [
              0.05081,
              0.08222,
              0.10763,
              0.154,
              0.2414,
              0.4178,
              0.78725,
              1.53946
            ],
            [
              0.05081,
              0.08217,
              0.10765,
              0.15418,
              0.24149,
              0.41784,
              0.78725,
              1.5398
            ],
            [
              0.05158,
              0.08284,
              0.10824,
              0.15454,
              0.24172,
              0.41796,
              0.7872,
              1.5397
            ],
            [
              0.0548,
              0.0868,
              0.1119,
              0.1575,
              0.2437,
              0.4189,
              0.7874,
              1.5391
            ],
            [
              0.0594,
              0.0928,
              0.1186,
              0.1646,
              0.25,
              0.4229,
              0.7888,
              1.5395
            ],
            [
              0.0655,
              0.101,
              0.1277,
              0.1742,
              0.2596,
              0.4304,
              0.7926,
              1.541
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.08325,
              0.07265,
              0.06299,
              0.04455,
              0.00861,
              -0.06315,
              -0.20714,
              -0.49577
            ],
            [
              0.08312,
              0.07248,
              0.06284,
              0.04441,
              0.00846,
              -0.06328,
              -0.20729,
              -0.49591
            ],
            [
              0.08295,
              0.07235,
              0.06269,
              0.04426,
              0.00831,
              -0.06343,
              -0.20743,
              -0.49606
            ],
            [
              0.08283,
              0.07221,
              0.06256,
              0.04413,
              0.00817,
              -0.06358,
              -0.20757,
              -0.4962
            ],
            [
              0.08268,
              0.07205,
              0.0624,
              0.04396,
              0.00802,
              -0.06374,
              -0.20774,
              -0.49636
            ],
            [
              0.08252,
              0.07189,
              0.06224,
              0.04381,
              0.00786,
              -0.06388,
              -0.20788,
              -0.49652
            ],
            [
              0.0824,
              0.07179,
              0.06213,
              0.04371,
              0.00776,
              -0.06399,
              -0.20799,
              -0.49663
            ],
            [
              0.08235,
              0.07172,
              0.06207,
              0.04365,
              0.0077,
              -0.06406,
              -0.20806,
              -0.49669
            ],
            [
              0.08245,
              0.07181,
              0.06216,
              0.04374,
              0.00778,
              -0.06397,
              -0.20797,
              -0.49659
            ],
            [
              0.08281,
              0.07221,
              0.06254,
              0.04411,
              0.00816,
              -0.06358,
              -0.20757,
              -0.49619
            ],
            [
              0.08363,
              0.073,
              0.06335,
              0.04492,
              0.00895,
              -0.06279,
              -0.20677,
              -0.49539
            ],
            [
              0.08519,
              0.07464,
              0.06495,
              0.04651,
              0.01055,
              -0.06121,
              -0.20518,
              -0.49381
            ],
            [
              0.08786,
              0.07726,
              0.06759,
              0.04914,
              0.01313,
              -0.05859,
              -0.20257,
              -0.49115
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.06244,
              0.07103,
              0.07996,
              0.09792,
              0.1339,
              0.20591,
              0.34923,
              0.63731
            ],
            [
              0.06244,
              0.07103,
              0.07993,
              0.09793,
              0.13394,
              0.20572,
              0.34917,
              0.63625
            ],
            [
              0.06227,
              0.07088,
              0.0798,
              0.09774,
              0.13379,
              0.20565,
              0.34932,
              0.63717
            ],
            [
              0.06208,
              0.07067,
              0.07958,
              0.09756,
              0.13358,
              0.20556,
              0.34861,
              0.63692
            ],
            [
              0.06185,
              0.07043,
              0.07935,
              0.09731,
              0.13337,
              0.20531,
              0.34856,
              0.63589
            ],
            [
              0.0616,
              0.07019,
              0.07909,
              0.09709,
              0.13306,
              0.20489,
              0.34851,
              0.63585
            ],
            [
              0.06137,
              0.06996,
              0.07888,
              0.09683,
              0.13284,
              0.2047,
              0.34814,
              0.63633
            ],
            [
              0.06118,
              0.06978,
              0.07868,
              0.09666,
              0.13267,
              0.20466,
              0.34798,
              0.63537
            ],
            [
              0.06111,
              0.06971,
              0.07862,
              0.09658,
              0.13254,
              0.20461,
              0.34836,
              0.63497
            ],
            [
              0.06126,
              0.06988,
              0.0788,
              0.09682,
              0.13281,
              0.20469,
              0.34803,
              0.63543
            ],
            [
              0.06189,
              0.07051,
              0.07943,
              0.09744,
              0.13348,
              0.20534,
              0.34887,
              0.6358
            ],
            [
              0.0633,
              0.07196,
              0.08091,
              0.09881,
              0.13487,
              0.20702,
              0.35037,
              0.63754
            ],
            [
              0.06583,
              0.07448,
              0.08343,
              0.10153,
              0.13769,
              0.20954,
              0.35264,
              0.63926
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.09182,
              0.09557,
              0.10054,
              0.11157,
              0.1345,
              0.18011,
              0.27075,
              0.45068
            ],
            [
              0.09181,
              0.09558,
              0.10054,
              0.11157,
              0.1345,
              0.18011,
              0.27058,
              0.45104
            ],
            [
              0.09166,
              0.09541,
              0.10038,
              0.11141,
              0.13431,
              0.17993,
              0.27049,
              0.45082
            ],
            [
              0.09147,
              0.09521,
              0.10019,
              0.11121,
              0.13414,
              0.17975,
              0.27021,
              0.45043
            ],
            [
              0.09123,
              0.09499,
              0.09995,
              0.11097,
              0.13393,
              0.17953,
              0.26983,
              0.45047
            ],
            [
              0.09097,
              0.09472,
              0.09969,
              0.11073,
              0.13366,
              0.17925,
              0.26937,
              0.45035
            ],
            [
              0.09075,
              0.0945,
              0.09946,
              0.11049,
              0.13341,
              0.17907,
              0.2696,
              0.44959
            ],
            [
              0.09056,
              0.09433,
              0.09929,
              0.11031,
              0.13323,
              0.17885,
              0.26957,
              0.44956
            ],
            [
              0.0905,
              0.09425,
              0.09923,
              0.11026,
              0.13319,
              0.17894,
              0.26937,
              0.45001
            ],
            [
              0.09069,
              0.09444,
              0.09941,
              0.11047,
              0.13343,
              0.17911,
              0.26949,
              0.45028
            ],
            [
              0.09132,
              0.09509,
              0.10007,
              0.11113,
              0.13411,
              0.17988,
              0.27007,
              0.45014
            ],
            [
              0.09277,
              0.09654,
              0.10152,
              0.11258,
              0.13556,
              0.18131,
              0.27166,
              0.45162
            ],
            [
              0.09534,
              0.09911,
              0.10409,
              0.11516,
              0.13817,
              0.18387,
              0.27436,
              0.45514
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.10573,
              0.11332,
              0.12187,
              0.13973,
              0.17602,
              0.24812,
              0.39188,
              0.67847
            ],
            [
              0.10558,
              0.11319,
              0.12175,
              0.13961,
              0.17597,
              0.24833,
              0.39223,
              0.67846
            ],
            [
              0.10546,
              0.11307,
              0.1216,
              0.13944,
              0.17573,
              0.24807,
              0.39153,
              0.67754
            ],
            [
              0.10533,
              0.11289,
              0.12145,
              0.13935,
              0.17565,
              0.2478,
              0.3919,
              0.67886
            ],
            [
              0.10515,
              0.11277,
              0.12129,
              0.13918,
              0.1755,
              0.2478,
              0.3913,
              0.67844
            ],
            [
              0.10499,
              0.11261,
              0.12114,
              0.13904,
              0.17533,
              0.24737,
              0.39103,
              0.67787
            ],
            [
              0.10488,
              0.11247,
              0.12103,
              0.13888,
              0.17517,
              0.24759,
              0.39114,
              0.6784
            ],
            [
              0.10481,
              0.11241,
              0.12097,
              0.13879,
              0.17507,
              0.24718,
              0.39082,
              0.67773
            ],
            [
              0.10488,
              0.11248,
              0.12102,
              0.13887,
              0.17518,
              0.24735,
              0.39093,
              0.67829
            ],
            [
              0.10531,
              0.1129,
              0.12145,
              0.1393,
              0.17554,
              0.24787,
              0.39149,
              0.67862
            ],
            [
              0.10619,
              0.11374,
              0.12227,
              0.14009,
              0.17635,
              0.24859,
              0.39252,
              0.67878
            ],
            [
              0.10798,
              0.11544,
              0.12393,
              0.14171,
              0.17794,
              0.25012,
              0.39413,
              0.68066
            ],
            [
              0.11089,
              0.11834,
              0.1268,
              0.14468,
              0.18074,
              0.25282,
              0.39627,
              0.683
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.08023,
              0.06961,
              0.05993,
              0.04149,
              0.00555,
              -0.06621,
              -0.21018,
              -0.49878
            ],
            [
              0.08008,
              0.06945,
              0.05982,
              0.04139,
              0.00542,
              -0.06633,
              -0.2103,
              -0.49891
            ],
            [
              0.07999,
              0.06937,
              0.05972,
              0.04127,
              0.00531,
              -0.06644,
              -0.21042,
              -0.49902
            ],
            [
              0.07986,
              0.06925,
              0.05959,
              0.04115,
              0.0052,
              -0.06656,
              -0.21055,
              -0.49916
            ],
            [
              0.07983,
              0.06918,
              0.05953,
              0.04107,
              0.00513,
              -0.06665,
              -0.21062,
              -0.49923
            ],
            [
              0.0798,
              0.06916,
              0.05948,
              0.04106,
              0.00509,
              -0.06668,
              -0.21064,
              -0.49924
            ],
            [
              0.07989,
              0.06929,
              0.05959,
              0.04117,
              0.0052,
              -0.06656,
              -0.21054,
              -0.49914
            ],
            [
              0.08028,
              0.06965,
              0.05997,
              0.04153,
              0.00554,
              -0.0662,
              -0.21018,
              -0.49878
            ],
            [
              0.08099,
              0.07039,
              0.0607,
              0.04228,
              0.0063,
              -0.06547,
              -0.20945,
              -0.49806
            ],
            [
              0.08232,
              0.07167,
              0.06199,
              0.04353,
              0.00755,
              -0.06422,
              -0.2082,
              -0.49681
            ],
            [
              0.084,
              0.07336,
              0.06368,
              0.04521,
              0.00921,
              -0.06258,
              -0.20655,
              -0.49513
            ],
            [
              0.08638,
              0.07577,
              0.06607,
              0.04759,
              0.01159,
              -0.06021,
              -0.20418,
              -0.49276
            ],
            [
              0.08983,
              0.07921,
              0.06952,
              0.05103,
              0.01499,
              -0.0568,
              -0.20077,
              -0.48933
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.04962,
              0.05822,
              0.06714,
              0.08509,
              0.12113,
              0.19325,
              0.33654,
              0.62394
            ],
            [
              0.04978,
              0.05836,
              0.06726,
              0.08532,
              0.1212,
              0.1931,
              0.33671,
              0.6243
            ],
            [
              0.04974,
              0.05832,
              0.06723,
              0.08521,
              0.12125,
              0.19315,
              0.3367,
              0.62431
            ],
            [
              0.04968,
              0.05826,
              0.06717,
              0.08515,
              0.12119,
              0.193,
              0.33678,
              0.62388
            ],
            [
              0.04973,
              0.05831,
              0.06723,
              0.0852,
              0.12122,
              0.19308,
              0.33634,
              0.62383
            ],
            [
              0.04978,
              0.05836,
              0.06728,
              0.08529,
              0.12121,
              0.19305,
              0.33667,
              0.62408
            ],
            [
              0.05006,
              0.05863,
              0.06756,
              0.08553,
              0.12153,
              0.19331,
              0.33698,
              0.62467
            ],
            [
              0.05053,
              0.05911,
              0.06804,
              0.08605,
              0.12207,
              0.19387,
              0.33731,
              0.62437
            ],
            [
              0.05138,
              0.05996,
              0.06887,
              0.08687,
              0.12273,
              0.19473,
              0.33857,
              0.62551
            ],
            [
              0.05269,
              0.06125,
              0.07017,
              0.08808,
              0.12405,
              0.1962,
              0.33941,
              0.62695
            ],
            [
              0.0545,
              0.06305,
              0.07196,
              0.08993,
              0.12591,
              0.19761,
              0.34164,
              0.62846
            ],
            [
              0.05716,
              0.06575,
              0.07464,
              0.09251,
              0.12841,
              0.20036,
              0.34376,
              0.6307
            ],
            [
              0.06119,
              0.06972,
              0.0786,
              0.09665,
              0.13264,
              0.20414,
              0.34737,
              0.63395
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.07933,
              0.08309,
              0.08802,
              0.09904,
              0.122,
              0.1676,
              0.25826,
              0.43819
            ],
            [
              0.0792,
              0.08295,
              0.0879,
              0.09892,
              0.1219,
              0.16755,
              0.2582,
              0.43888
            ],
            [
              0.07917,
              0.08292,
              0.08786,
              0.09889,
              0.12186,
              0.16747,
              0.25817,
              0.43914
            ],
            [
              0.07913,
              0.08288,
              0.08783,
              0.09887,
              0.12182,
              0.16744,
              0.25783,
              0.43808
            ],
            [
              0.07909,
              0.08284,
              0.08778,
              0.09882,
              0.12176,
              0.16737,
              0.25791,
              0.43785
            ],
            [
              0.07905,
              0.08278,
              0.08774,
              0.09876,
              0.12171,
              0.16729,
              0.25798,
              0.43811
            ],
            [
              0.07903,
              0.08278,
              0.08773,
              0.09875,
              0.12171,
              0.16728,
              0.25786,
              0.43814
            ],
            [
              0.07911,
              0.08282,
              0.08778,
              0.09879,
              0.12172,
              0.16732,
              0.25781,
              0.4385
            ],
            [
              0.07933,
              0.08307,
              0.08799,
              0.099,
              0.1219,
              0.16758,
              0.25829,
              0.43807
            ],
            [
              0.07984,
              0.08355,
              0.08849,
              0.09946,
              0.12233,
              0.16789,
              0.25862,
              0.43826
            ],
            [
              0.08079,
              0.0845,
              0.08947,
              0.10042,
              0.12323,
              0.16868,
              0.25916,
              0.43944
            ],
            [
              0.08256,
              0.0863,
              0.0912,
              0.1021,
              0.12484,
              0.17027,
              0.26079,
              0.44167
            ],
            [
              0.08546,
              0.08918,
              0.09407,
              0.10497,
              0.12758,
              0.17287,
              0.26359,
              0.44411
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.10061,
              0.10825,
              0.11681,
              0.13467,
              0.17095,
              0.24314,
              0.3872,
              0.67382
            ],
            [
              0.10049,
              0.10813,
              0.11668,
              0.13454,
              0.17084,
              0.24309,
              0.38698,
              0.6733
            ],
            [
              0.10038,
              0.10801,
              0.11655,
              0.13441,
              0.17069,
              0.24297,
              0.38653,
              0.67305
            ],
            [
              0.10022,
              0.10786,
              0.1164,
              0.13428,
              0.17055,
              0.24281,
              0.38643,
              0.67293
            ],
            [
              0.1001,
              0.10774,
              0.1163,
              0.13418,
              0.17044,
              0.24269,
              0.38626,
              0.67324
            ],
            [
              0.09997,
              0.10762,
              0.11617,
              0.13402,
              0.17031,
              0.24256,
              0.38623,
              0.67299
            ],
            [
              0.09993,
              0.10755,
              0.11611,
              0.13398,
              0.17026,
              0.24249,
              0.38639,
              0.67321
            ],
            [
              0.1,
              0.10763,
              0.11619,
              0.13404,
              0.1703,
              0.24252,
              0.38628,
              0.67355
            ],
            [
              0.10024,
              0.1079,
              0.11645,
              0.13429,
              0.17053,
              0.24275,
              0.38679,
              0.67332
            ],
            [
              0.10081,
              0.10845,
              0.11697,
              0.13479,
              0.171,
              0.24316,
              0.3869,
              0.67322
            ],
            [
              0.10178,
              0.10938,
              0.11791,
              0.13565,
              0.17183,
              0.24398,
              0.38802,
              0.67472
            ],
            [
              0.10363,
              0.11116,
              0.11963,
              0.13728,
              0.17333,
              0.24537,
              0.38949,
              0.67585
            ],
            [
              0.10691,
              0.11428,
              0.12266,
              0.14027,
              0.17612,
              0.24805,
              0.3918,
              0.67836
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.05491,
              0.0442,
              0.03444,
              0.01588,
              -0.02025,
              -0.0922,
              -0.23636,
              -0.52513
            ],
            [
              0.05486,
              0.04415,
              0.0344,
              0.01583,
              -0.02029,
              -0.09224,
              -0.2364,
              -0.52516
            ],
            [
              0.05481,
              0.04411,
              0.03435,
              0.01579,
              -0.02033,
              -0.09229,
              -0.23645,
              -0.52521
            ],
            [
              0.05478,
              0.04407,
              0.03431,
              0.01574,
              -0.02035,
              -0.09234,
              -0.2365,
              -0.52525
            ],
            [
              0.05473,
              0.04401,
              0.03428,
              0.01572,
              -0.02041,
              -0.09237,
              -0.23653,
              -0.52527
            ],
            [
              0.05472,
              0.044,
              0.03423,
              0.01567,
              -0.02045,
              -0.09241,
              -0.23657,
              -0.52532
            ],
            [
              0.05467,
              0.04397,
              0.03421,
              0.01564,
              -0.02051,
              -0.09246,
              -0.2366,
              -0.52535
            ],
            [
              0.05468,
              0.04397,
              0.03419,
              0.0156,
              -0.02056,
              -0.09252,
              -0.23665,
              -0.52539
            ],
            [
              0.05469,
              0.04396,
              0.03418,
              0.01557,
              -0.02063,
              -0.09259,
              -0.23672,
              -0.52543
            ],
            [
              0.05481,
              0.04406,
              0.03428,
              0.0156,
              -0.02067,
              -0.09265,
              -0.23676,
              -0.52543
            ],
            [
              0.05538,
              0.04455,
              0.03467,
              0.0159,
              -0.02049,
              -0.09256,
              -0.23665,
              -0.52529
            ],
            [
              0.05691,
              0.04592,
              0.03588,
              0.01687,
              -0.01973,
              -0.09196,
              -0.23615,
              -0.52479
            ],
            [
              0.05953,
              0.04821,
              0.03797,
              0.01872,
              -0.01825,
              -0.09077,
              -0.23511,
              -0.52381
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.04278,
              0.0515,
              0.06048,
              0.07854,
              0.11458,
              0.18621,
              0.32942,
              0.61653
            ],
            [
              0.04274,
              0.05145,
              0.06047,
              0.07853,
              0.11455,
              0.18633,
              0.32964,
              0.6163
            ],
            [
              0.04269,
              0.0514,
              0.06038,
              0.07845,
              0.11448,
              0.18649,
              0.32916,
              0.61643
            ],
            [
              0.04262,
              0.05134,
              0.06031,
              0.07839,
              0.11442,
              0.1861,
              0.32921,
              0.61642
            ],
            [
              0.04256,
              0.05127,
              0.06026,
              0.07832,
              0.11443,
              0.18596,
              0.32907,
              0.61615
            ],
            [
              0.0425,
              0.05122,
              0.06024,
              0.07833,
              0.11424,
              0.18614,
              0.32875,
              0.61558
            ],
            [
              0.04243,
              0.05114,
              0.06011,
              0.07818,
              0.11426,
              0.18606,
              0.329,
              0.61607
            ],
            [
              0.04235,
              0.05107,
              0.06004,
              0.07815,
              0.11404,
              0.1858,
              0.32893,
              0.61588
            ],
            [
              0.04234,
              0.05106,
              0.06001,
              0.07806,
              0.11391,
              0.18562,
              0.32883,
              0.61542
            ],
            [
              0.04253,
              0.0512,
              0.06013,
              0.07813,
              0.11417,
              0.18587,
              0.32899,
              0.61491
            ],
            [
              0.04307,
              0.05161,
              0.06048,
              0.07846,
              0.11427,
              0.1858,
              0.32882,
              0.61584
            ],
            [
              0.0441,
              0.05249,
              0.06131,
              0.07916,
              0.11485,
              0.18654,
              0.32935,
              0.61645
            ],
            [
              0.0458,
              0.05398,
              0.06265,
              0.08042,
              0.11617,
              0.18764,
              0.33036,
              0.61553
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.07544,
              0.07942,
              0.08451,
              0.09573,
              0.11905,
              0.16528,
              0.25522,
              0.43591
            ],
            [
              0.0754,
              0.07937,
              0.08446,
              0.09571,
              0.119,
              0.16521,
              0.25526,
              0.43578
            ],
            [
              0.07534,
              0.07933,
              0.08442,
              0.09566,
              0.11897,
              0.16519,
              0.25537,
              0.43612
            ],
            [
              0.07531,
              0.07928,
              0.08436,
              0.09562,
              0.11891,
              0.16512,
              0.25512,
              0.43568
            ],
            [
              0.07524,
              0.07921,
              0.08428,
              0.09555,
              0.11883,
              0.16505,
              0.25516,
              0.43557
            ],
            [
              0.07517,
              0.07913,
              0.08421,
              0.09547,
              0.11877,
              0.165,
              0.25514,
              0.43594
            ],
            [
              0.07507,
              0.07903,
              0.08411,
              0.09535,
              0.11864,
              0.16482,
              0.25487,
              0.43587
            ],
            [
              0.07497,
              0.07894,
              0.08401,
              0.09524,
              0.11852,
              0.16472,
              0.2547,
              0.43487
            ],
            [
              0.07488,
              0.07882,
              0.0839,
              0.09511,
              0.11836,
              0.1645,
              0.25471,
              0.43561
            ],
            [
              0.07498,
              0.07889,
              0.08392,
              0.09508,
              0.11825,
              0.16434,
              0.25452,
              0.43535
            ],
            [
              0.07534,
              0.07917,
              0.08411,
              0.0952,
              0.11827,
              0.16425,
              0.2544,
              0.43475
            ],
            [
              0.07613,
              0.07981,
              0.08471,
              0.09567,
              0.1186,
              0.1645,
              0.25463,
              0.43542
            ],
            [
              0.07762,
              0.08113,
              0.0859,
              0.09668,
              0.11942,
              0.16517,
              0.25523,
              0.43472
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.08049,
              0.08793,
              0.09641,
              0.11428,
              0.15061,
              0.22321,
              0.36692,
              0.65444
            ],
            [
              0.08047,
              0.08788,
              0.09639,
              0.11426,
              0.15065,
              0.22327,
              0.36734,
              0.65438
            ],
            [
              0.08048,
              0.08787,
              0.09635,
              0.11423,
              0.15046,
              0.22318,
              0.36675,
              0.65408
            ],
            [
              0.0804,
              0.08781,
              0.09632,
              0.11426,
              0.15043,
              0.22315,
              0.36708,
              0.6542
            ],
            [
              0.08037,
              0.08781,
              0.09628,
              0.11416,
              0.15049,
              0.22301,
              0.36725,
              0.65303
            ],
            [
              0.08034,
              0.08777,
              0.09628,
              0.11414,
              0.15044,
              0.2231,
              0.36667,
              0.65463
            ],
            [
              0.08034,
              0.08774,
              0.09622,
              0.1141,
              0.15036,
              0.22308,
              0.36657,
              0.65313
            ],
            [
              0.08031,
              0.08776,
              0.09622,
              0.11399,
              0.15028,
              0.22297,
              0.36708,
              0.6547
            ],
            [
              0.08031,
              0.0877,
              0.09624,
              0.11392,
              0.15023,
              0.22263,
              0.36698,
              0.65291
            ],
            [
              0.08037,
              0.08773,
              0.09618,
              0.11391,
              0.15004,
              0.22262,
              0.36675,
              0.65302
            ],
            [
              0.08088,
              0.08815,
              0.0965,
              0.11414,
              0.15015,
              0.22259,
              0.36684,
              0.65396
            ],
            [
              0.08232,
              0.0894,
              0.09763,
              0.11494,
              0.15075,
              0.22269,
              0.36687,
              0.65366
            ],
            [
              0.08486,
              0.09169,
              0.09973,
              0.11677,
              0.15201,
              0.22382,
              0.36775,
              0.65356
            ]
          ]
        },
        "when": "(A&!B) | (!A&B)"
      }
    ],
    "max_capacitance": 0.29003,
    "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.57082,
              0.61079,
              0.63877,
              0.68178,
              0.7468,
              0.84591,
              1.00307,
              1.27057
            ],
            [
              0.57337,
              0.61334,
              0.64132,
              0.68433,
              0.74935,
              0.84846,
              1.00564,
              1.27304
            ],
            [
              0.57652,
              0.6165,
              0.64448,
              0.68748,
              0.7525,
              0.85161,
              1.00882,
              1.27622
            ],
            [
              0.58149,
              0.62145,
              0.64943,
              0.69244,
              0.75745,
              0.85657,
              1.01378,
              1.28117
            ],
            [
              0.58914,
              0.62911,
              0.65709,
              0.70009,
              0.7651,
              0.86422,
              1.02141,
              1.28881
            ],
            [
              0.60085,
              0.64082,
              0.6688,
              0.71181,
              0.77683,
              0.87594,
              1.03312,
              1.30052
            ],
            [
              0.61866,
              0.65863,
              0.6866,
              0.72962,
              0.79464,
              0.89373,
              1.05093,
              1.31833
            ],
            [
              0.64425,
              0.68421,
              0.71219,
              0.7552,
              0.82022,
              0.91936,
              1.07656,
              1.34396
            ],
            [
              0.67897,
              0.71893,
              0.74689,
              0.78995,
              0.85495,
              0.95405,
              1.11125,
              1.37865
            ],
            [
              0.72399,
              0.76389,
              0.79189,
              0.83489,
              0.89989,
              0.99899,
              1.15619,
              1.42359
            ],
            [
              0.77892,
              0.81872,
              0.84662,
              0.88962,
              0.95462,
              1.05372,
              1.21102,
              1.47842
            ],
            [
              0.83877,
              0.87837,
              0.90617,
              0.94897,
              1.01397,
              1.11317,
              1.27037,
              1.53787
            ],
            [
              0.8969,
              0.9363,
              0.964,
              1.0067,
              1.0716,
              1.1708,
              1.3279,
              1.5954
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.47277,
              0.51586,
              0.54618,
              0.59404,
              0.67166,
              0.807,
              1.06137,
              1.56517
            ],
            [
              0.47548,
              0.51857,
              0.54889,
              0.59675,
              0.67436,
              0.80973,
              1.06414,
              1.56794
            ],
            [
              0.47878,
              0.52187,
              0.55219,
              0.60005,
              0.67768,
              0.81299,
              1.06722,
              1.57112
            ],
            [
              0.48374,
              0.52684,
              0.55715,
              0.60501,
              0.68263,
              0.81798,
              1.07238,
              1.57618
            ],
            [
              0.49126,
              0.53435,
              0.56467,
              0.61253,
              0.69018,
              0.82545,
              1.07961,
              1.58321
            ],
            [
              0.50247,
              0.54556,
              0.57589,
              0.62373,
              0.70148,
              0.83651,
              1.09132,
              1.59462
            ],
            [
              0.5183,
              0.56139,
              0.5917,
              0.63956,
              0.71718,
              0.85253,
              1.10693,
              1.61073
            ],
            [
              0.53916,
              0.58222,
              0.61253,
              0.66038,
              0.73806,
              0.87326,
              1.12766,
              1.62966
            ],
            [
              0.56615,
              0.60918,
              0.63948,
              0.68732,
              0.76495,
              0.90025,
              1.15465,
              1.65745
            ],
            [
              0.60056,
              0.64349,
              0.67379,
              0.72169,
              0.79929,
              0.93459,
              1.18899,
              1.69259
            ],
            [
              0.64322,
              0.68612,
              0.71642,
              0.76422,
              0.84192,
              0.97712,
              1.23182,
              1.73502
            ],
            [
              0.69507,
              0.73797,
              0.76817,
              0.81597,
              0.89357,
              1.02887,
              1.28357,
              1.78537
            ],
            [
              0.7573,
              0.8001,
              0.8303,
              0.878,
              0.9557,
              1.0908,
              1.3449,
              1.8481
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.0695,
              0.09435,
              0.11249,
              0.14235,
              0.19164,
              0.27754,
              0.43533,
              0.74787
            ],
            [
              0.06949,
              0.09435,
              0.1125,
              0.1421,
              0.19166,
              0.27748,
              0.43549,
              0.74762
            ],
            [
              0.06949,
              0.09436,
              0.11249,
              0.14234,
              0.19163,
              0.27759,
              0.43537,
              0.74791
            ],
            [
              0.06949,
              0.09435,
              0.11249,
              0.14234,
              0.19161,
              0.27758,
              0.43516,
              0.74791
            ],
            [
              0.06948,
              0.09452,
              0.11252,
              0.14231,
              0.19156,
              0.27767,
              0.43513,
              0.74796
            ],
            [
              0.0695,
              0.09435,
              0.11249,
              0.14211,
              0.19165,
              0.27747,
              0.43536,
              0.7478
            ],
            [
              0.06945,
              0.09434,
              0.11246,
              0.14209,
              0.19168,
              0.27752,
              0.43553,
              0.7467
            ],
            [
              0.06948,
              0.09435,
              0.11249,
              0.14211,
              0.19165,
              0.27743,
              0.4354,
              0.7477
            ],
            [
              0.06944,
              0.09428,
              0.11246,
              0.14209,
              0.1916,
              0.2775,
              0.4356,
              0.7474
            ],
            [
              0.0694,
              0.0943,
              0.1126,
              0.1422,
              0.1915,
              0.2776,
              0.4352,
              0.7479
            ],
            [
              0.0692,
              0.094,
              0.1122,
              0.1419,
              0.1915,
              0.2774,
              0.4355,
              0.7476
            ],
            [
              0.069,
              0.0939,
              0.1119,
              0.1416,
              0.1916,
              0.2772,
              0.4354,
              0.7477
            ],
            [
              0.0688,
              0.0934,
              0.1116,
              0.1413,
              0.1907,
              0.2763,
              0.4348,
              0.7463
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.05288,
              0.08503,
              0.10937,
              0.15308,
              0.2372,
              0.40972,
              0.76707,
              1.50416
            ],
            [
              0.05291,
              0.08503,
              0.10939,
              0.15349,
              0.23726,
              0.40988,
              0.76694,
              1.50323
            ],
            [
              0.05293,
              0.08503,
              0.10943,
              0.15308,
              0.23719,
              0.40956,
              0.76731,
              1.50449
            ],
            [
              0.05289,
              0.08504,
              0.10937,
              0.15307,
              0.2372,
              0.40975,
              0.76711,
              1.5041
            ],
            [
              0.05291,
              0.08501,
              0.10956,
              0.15313,
              0.23728,
              0.40946,
              0.7675,
              1.50377
            ],
            [
              0.0529,
              0.08507,
              0.10942,
              0.15324,
              0.23732,
              0.40974,
              0.76724,
              1.4985
            ],
            [
              0.05288,
              0.08501,
              0.10934,
              0.15303,
              0.2372,
              0.40975,
              0.76701,
              1.5041
            ],
            [
              0.05289,
              0.08491,
              0.10954,
              0.15314,
              0.23775,
              0.40921,
              0.76768,
              1.499
            ],
            [
              0.05273,
              0.08484,
              0.10938,
              0.15305,
              0.23765,
              0.40914,
              0.7676,
              1.4987
            ],
            [
              0.05253,
              0.08471,
              0.10914,
              0.153,
              0.2372,
              0.4098,
              0.7671,
              1.5036
            ],
            [
              0.0523,
              0.0845,
              0.1089,
              0.1527,
              0.2369,
              0.4089,
              0.7676,
              1.4984
            ],
            [
              0.0521,
              0.0843,
              0.1088,
              0.1525,
              0.2373,
              0.4087,
              0.7668,
              1.499
            ],
            [
              0.0518,
              0.084,
              0.1085,
              0.1523,
              0.2369,
              0.4087,
              0.7668,
              1.4968
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.60905,
              0.65387,
              0.68596,
              0.73545,
              0.80935,
              0.91964,
              1.09087,
              1.37867
            ],
            [
              0.61184,
              0.65665,
              0.68874,
              0.73822,
              0.81213,
              0.92241,
              1.09364,
              1.38144
            ],
            [
              0.6152,
              0.66001,
              0.6921,
              0.74158,
              0.81548,
              0.9258,
              1.09702,
              1.38482
            ],
            [
              0.62021,
              0.66502,
              0.6971,
              0.74659,
              0.82049,
              0.93078,
              1.10198,
              1.38977
            ],
            [
              0.62774,
              0.67255,
              0.70463,
              0.75412,
              0.82802,
              0.93831,
              1.10951,
              1.39731
            ],
            [
              0.63898,
              0.68378,
              0.71586,
              0.76533,
              0.83928,
              0.94952,
              1.12082,
              1.40852
            ],
            [
              0.65522,
              0.69999,
              0.73206,
              0.78153,
              0.85545,
              0.96573,
              1.13703,
              1.42463
            ],
            [
              0.67757,
              0.72228,
              0.75431,
              0.80376,
              0.87766,
              0.98796,
              1.15916,
              1.44696
            ],
            [
              0.70756,
              0.75211,
              0.78405,
              0.83345,
              0.90745,
              1.01765,
              1.18895,
              1.47665
            ],
            [
              0.74619,
              0.79049,
              0.82239,
              0.87169,
              0.94559,
              1.05589,
              1.22719,
              1.51499
            ],
            [
              0.79362,
              0.83772,
              0.86942,
              0.91872,
              0.99262,
              1.10302,
              1.27432,
              1.56192
            ],
            [
              0.85057,
              0.89457,
              0.92617,
              0.97527,
              1.04917,
              1.15967,
              1.33107,
              1.61887
            ],
            [
              0.9188,
              0.9625,
              0.9939,
              1.043,
              1.1169,
              1.2275,
              1.3989,
              1.6868
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.47334,
              0.51734,
              0.54854,
              0.59792,
              0.67779,
              0.81529,
              1.07097,
              1.57287
            ],
            [
              0.47593,
              0.51992,
              0.55112,
              0.6005,
              0.68038,
              0.81787,
              1.07354,
              1.57554
            ],
            [
              0.47912,
              0.52311,
              0.55431,
              0.60369,
              0.68357,
              0.82109,
              1.07672,
              1.57862
            ],
            [
              0.48409,
              0.52809,
              0.55929,
              0.60867,
              0.68856,
              0.82605,
              1.08167,
              1.58358
            ],
            [
              0.49177,
              0.53576,
              0.56696,
              0.61634,
              0.69622,
              0.83376,
              1.08941,
              1.59131
            ],
            [
              0.50344,
              0.54743,
              0.57863,
              0.62801,
              0.70789,
              0.84541,
              1.10112,
              1.60302
            ],
            [
              0.52117,
              0.56516,
              0.59636,
              0.64574,
              0.72563,
              0.86311,
              1.11883,
              1.62073
            ],
            [
              0.54698,
              0.59098,
              0.62218,
              0.67156,
              0.75144,
              0.88896,
              1.14466,
              1.64656
            ],
            [
              0.58287,
              0.62688,
              0.65808,
              0.70747,
              0.78735,
              0.92485,
              1.18055,
              1.68245
            ],
            [
              0.63079,
              0.67479,
              0.70599,
              0.75539,
              0.83529,
              0.97279,
              1.22849,
              1.73029
            ],
            [
              0.69142,
              0.73552,
              0.76682,
              0.81622,
              0.89622,
              1.03372,
              1.28942,
              1.79132
            ],
            [
              0.76297,
              0.80747,
              0.83897,
              0.88867,
              0.96887,
              1.10647,
              1.36217,
              1.86437
            ],
            [
              0.8443,
              0.8896,
              0.9215,
              0.9716,
              1.0521,
              1.19,
              1.446,
              1.9484
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.08113,
              0.10475,
              0.12243,
              0.15224,
              0.2041,
              0.29487,
              0.46159,
              0.792
            ],
            [
              0.08112,
              0.10474,
              0.12228,
              0.15223,
              0.2041,
              0.29497,
              0.46166,
              0.7921
            ],
            [
              0.08111,
              0.10476,
              0.12245,
              0.15228,
              0.20408,
              0.29516,
              0.46163,
              0.7917
            ],
            [
              0.0811,
              0.10473,
              0.12227,
              0.15222,
              0.20409,
              0.29493,
              0.46162,
              0.7922
            ],
            [
              0.08112,
              0.10475,
              0.12243,
              0.15223,
              0.20409,
              0.29493,
              0.46156,
              0.792
            ],
            [
              0.08112,
              0.1047,
              0.12224,
              0.15227,
              0.2043,
              0.29531,
              0.46125,
              0.7924
            ],
            [
              0.08114,
              0.10474,
              0.12231,
              0.15243,
              0.20439,
              0.29487,
              0.4616,
              0.7923
            ],
            [
              0.08107,
              0.1047,
              0.12224,
              0.15219,
              0.20405,
              0.295,
              0.4615,
              0.7914
            ],
            [
              0.08093,
              0.10481,
              0.12223,
              0.15234,
              0.2041,
              0.2949,
              0.4615,
              0.7916
            ],
            [
              0.0808,
              0.1045,
              0.1221,
              0.1521,
              0.204,
              0.295,
              0.4613,
              0.7911
            ],
            [
              0.0804,
              0.1045,
              0.1219,
              0.152,
              0.2038,
              0.2947,
              0.4613,
              0.792
            ],
            [
              0.0803,
              0.1046,
              0.122,
              0.1519,
              0.2033,
              0.2944,
              0.4612,
              0.792
            ],
            [
              0.0797,
              0.1042,
              0.1219,
              0.1518,
              0.2033,
              0.2945,
              0.4611,
              0.7912
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.05348,
              0.08655,
              0.11179,
              0.1564,
              0.2411,
              0.41279,
              0.768,
              1.49813
            ],
            [
              0.0535,
              0.08651,
              0.11174,
              0.15642,
              0.24109,
              0.41237,
              0.76848,
              1.49502
            ],
            [
              0.0535,
              0.08656,
              0.11172,
              0.15639,
              0.24105,
              0.41258,
              0.76759,
              1.49561
            ],
            [
              0.05348,
              0.08654,
              0.11179,
              0.1564,
              0.24109,
              0.41273,
              0.76695,
              1.49708
            ],
            [
              0.05349,
              0.08656,
              0.11174,
              0.15638,
              0.24113,
              0.41222,
              0.76733,
              1.4953
            ],
            [
              0.0535,
              0.08656,
              0.11171,
              0.1564,
              0.24104,
              0.41216,
              0.76746,
              1.4959
            ],
            [
              0.05351,
              0.08655,
              0.11168,
              0.15641,
              0.241,
              0.41223,
              0.76694,
              1.4961
            ],
            [
              0.05352,
              0.08652,
              0.11176,
              0.15645,
              0.24133,
              0.41304,
              0.76874,
              1.4946
            ],
            [
              0.05355,
              0.08662,
              0.11179,
              0.15638,
              0.24114,
              0.41274,
              0.7676,
              1.4952
            ],
            [
              0.05361,
              0.08671,
              0.1119,
              0.1565,
              0.2412,
              0.4123,
              0.7677,
              1.4981
            ],
            [
              0.0541,
              0.087,
              0.1122,
              0.1568,
              0.2413,
              0.4127,
              0.7672,
              1.4987
            ],
            [
              0.055,
              0.0879,
              0.1131,
              0.1574,
              0.242,
              0.4131,
              0.7674,
              1.4951
            ],
            [
              0.0556,
              0.0889,
              0.1141,
              0.1586,
              0.243,
              0.4138,
              0.7681,
              1.499
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.55315,
              0.59537,
              0.62494,
              0.67,
              0.73715,
              0.83816,
              0.99667,
              1.26487
            ],
            [
              0.55594,
              0.59815,
              0.62773,
              0.67278,
              0.73995,
              0.84094,
              0.99954,
              1.26774
            ],
            [
              0.55932,
              0.60153,
              0.6311,
              0.67617,
              0.74331,
              0.84433,
              1.00292,
              1.27092
            ],
            [
              0.56436,
              0.60655,
              0.63614,
              0.68119,
              0.74835,
              0.84935,
              1.00788,
              1.27618
            ],
            [
              0.57192,
              0.61412,
              0.6437,
              0.68876,
              0.7559,
              0.85693,
              1.01551,
              1.28361
            ],
            [
              0.58328,
              0.62548,
              0.65505,
              0.70012,
              0.76726,
              0.86829,
              1.02682,
              1.29502
            ],
            [
              0.59985,
              0.64203,
              0.6716,
              0.71664,
              0.78382,
              0.88481,
              1.04333,
              1.31163
            ],
            [
              0.62291,
              0.66503,
              0.69459,
              0.73963,
              0.80679,
              0.90776,
              1.06636,
              1.33466
            ],
            [
              0.65388,
              0.69587,
              0.7254,
              0.77045,
              0.83765,
              0.93865,
              1.09715,
              1.36545
            ],
            [
              0.69359,
              0.73539,
              0.76489,
              0.80989,
              0.87709,
              0.97809,
              1.13669,
              1.40489
            ],
            [
              0.74202,
              0.78362,
              0.81302,
              0.85802,
              0.92522,
              1.02622,
              1.18482,
              1.45312
            ],
            [
              0.80017,
              0.84147,
              0.87087,
              0.91587,
              0.98307,
              1.08417,
              1.24267,
              1.51097
            ],
            [
              0.8706,
              0.9117,
              0.9409,
              0.9858,
              1.0531,
              1.1542,
              1.3128,
              1.581
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.48689,
              0.53294,
              0.56544,
              0.61648,
              0.69851,
              0.84005,
              1.10667,
              1.63357
            ],
            [
              0.48945,
              0.5355,
              0.568,
              0.61903,
              0.70105,
              0.84258,
              1.10924,
              1.63604
            ],
            [
              0.49261,
              0.53865,
              0.57114,
              0.62218,
              0.7042,
              0.84576,
              1.11232,
              1.63922
            ],
            [
              0.49756,
              0.54361,
              0.57612,
              0.62716,
              0.70918,
              0.85074,
              1.11738,
              1.64418
            ],
            [
              0.50521,
              0.55126,
              0.58376,
              0.63479,
              0.71681,
              0.85835,
              1.12501,
              1.65181
            ],
            [
              0.51685,
              0.5629,
              0.59541,
              0.64644,
              0.72846,
              0.86996,
              1.13662,
              1.66342
            ],
            [
              0.53446,
              0.58052,
              0.61303,
              0.66407,
              0.7461,
              0.88764,
              1.15433,
              1.68113
            ],
            [
              0.55986,
              0.6059,
              0.63839,
              0.68943,
              0.77144,
              0.91296,
              1.17956,
              1.70646
            ],
            [
              0.59444,
              0.64048,
              0.67297,
              0.72401,
              0.80605,
              0.94755,
              1.21415,
              1.74105
            ],
            [
              0.63979,
              0.68579,
              0.71829,
              0.76929,
              0.85139,
              0.99289,
              1.25949,
              1.78629
            ],
            [
              0.69682,
              0.74292,
              0.77542,
              0.82652,
              0.90852,
              1.05012,
              1.31672,
              1.84352
            ],
            [
              0.76517,
              0.81157,
              0.84417,
              0.89547,
              0.97767,
              1.11937,
              1.38607,
              1.91267
            ],
            [
              0.8444,
              0.8913,
              0.9243,
              0.9759,
              1.0585,
              1.2005,
              1.4674,
              1.9939
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.06965,
              0.09254,
              0.11013,
              0.13965,
              0.18952,
              0.27528,
              0.43306,
              0.74472
            ],
            [
              0.06964,
              0.0924,
              0.11009,
              0.13962,
              0.1893,
              0.27526,
              0.43318,
              0.74452
            ],
            [
              0.06965,
              0.09256,
              0.11016,
              0.13973,
              0.18952,
              0.2753,
              0.43297,
              0.74509
            ],
            [
              0.06965,
              0.0924,
              0.11009,
              0.1396,
              0.1893,
              0.27532,
              0.43321,
              0.74455
            ],
            [
              0.06966,
              0.09258,
              0.11019,
              0.13972,
              0.18953,
              0.2755,
              0.43308,
              0.74545
            ],
            [
              0.06967,
              0.09259,
              0.1102,
              0.13971,
              0.18954,
              0.27546,
              0.43314,
              0.7456
            ],
            [
              0.06968,
              0.09239,
              0.11001,
              0.13954,
              0.18927,
              0.2753,
              0.4332,
              0.7445
            ],
            [
              0.06988,
              0.09256,
              0.11012,
              0.13958,
              0.18943,
              0.27539,
              0.4333,
              0.745
            ],
            [
              0.07008,
              0.09276,
              0.11027,
              0.13958,
              0.18917,
              0.2753,
              0.4331,
              0.7456
            ],
            [
              0.0704,
              0.093,
              0.1105,
              0.1398,
              0.1895,
              0.2753,
              0.4333,
              0.7446
            ],
            [
              0.0708,
              0.0934,
              0.1106,
              0.1399,
              0.1891,
              0.2753,
              0.433,
              0.7457
            ],
            [
              0.0712,
              0.0938,
              0.111,
              0.14,
              0.1893,
              0.2755,
              0.4332,
              0.7456
            ],
            [
              0.0715,
              0.0943,
              0.1112,
              0.1402,
              0.1893,
              0.2749,
              0.4332,
              0.7454
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.0569,
              0.09106,
              0.11658,
              0.1615,
              0.24715,
              0.4226,
              0.78832,
              1.53152
            ],
            [
              0.0569,
              0.09106,
              0.11659,
              0.16148,
              0.24721,
              0.42275,
              0.78764,
              1.53516
            ],
            [
              0.05689,
              0.091,
              0.11648,
              0.16154,
              0.24717,
              0.42254,
              0.78847,
              1.5326
            ],
            [
              0.05692,
              0.09105,
              0.11648,
              0.16158,
              0.24717,
              0.42273,
              0.78814,
              1.5347
            ],
            [
              0.0569,
              0.09106,
              0.11658,
              0.16151,
              0.24722,
              0.42285,
              0.78785,
              1.5354
            ],
            [
              0.05691,
              0.09106,
              0.11658,
              0.16145,
              0.2471,
              0.42272,
              0.78962,
              1.5332
            ],
            [
              0.05693,
              0.09106,
              0.1165,
              0.16159,
              0.24717,
              0.42288,
              0.78818,
              1.535
            ],
            [
              0.05691,
              0.09103,
              0.11652,
              0.16157,
              0.2472,
              0.42275,
              0.7884,
              1.5334
            ],
            [
              0.05696,
              0.09106,
              0.11659,
              0.16162,
              0.24722,
              0.4226,
              0.7885,
              1.5325
            ],
            [
              0.05697,
              0.0911,
              0.1166,
              0.1617,
              0.2473,
              0.4226,
              0.7883,
              1.532
            ],
            [
              0.0572,
              0.0914,
              0.1169,
              0.1618,
              0.2476,
              0.4228,
              0.7883,
              1.5329
            ],
            [
              0.0582,
              0.0923,
              0.1178,
              0.1626,
              0.2481,
              0.4231,
              0.7885,
              1.5312
            ],
            [
              0.0593,
              0.0936,
              0.119,
              0.1638,
              0.2489,
              0.4231,
              0.7873,
              1.5301
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.57891,
              0.61916,
              0.64735,
              0.69065,
              0.756,
              0.85538,
              1.01257,
              1.27937
            ],
            [
              0.58145,
              0.62173,
              0.64991,
              0.6932,
              0.75854,
              0.85795,
              1.01514,
              1.28214
            ],
            [
              0.58462,
              0.62487,
              0.65306,
              0.69635,
              0.7617,
              0.86109,
              1.01822,
              1.28512
            ],
            [
              0.58957,
              0.62982,
              0.658,
              0.7013,
              0.76665,
              0.86606,
              1.02318,
              1.29008
            ],
            [
              0.59719,
              0.63747,
              0.66565,
              0.70894,
              0.77429,
              0.8737,
              1.03081,
              1.29781
            ],
            [
              0.60888,
              0.64915,
              0.67733,
              0.72062,
              0.78598,
              0.88539,
              1.04252,
              1.30952
            ],
            [
              0.62661,
              0.66688,
              0.69506,
              0.73835,
              0.8037,
              0.90313,
              1.06023,
              1.32723
            ],
            [
              0.65205,
              0.69232,
              0.7205,
              0.76379,
              0.82914,
              0.92856,
              1.08566,
              1.35266
            ],
            [
              0.68661,
              0.72686,
              0.75505,
              0.79835,
              0.86365,
              0.96305,
              1.12025,
              1.38715
            ],
            [
              0.73139,
              0.77169,
              0.79979,
              0.84309,
              0.90849,
              1.00789,
              1.16509,
              1.43199
            ],
            [
              0.78622,
              0.82642,
              0.85452,
              0.89782,
              0.96322,
              1.06272,
              1.21992,
              1.48692
            ],
            [
              0.84677,
              0.88677,
              0.91487,
              0.95807,
              1.02347,
              1.12297,
              1.28017,
              1.54737
            ],
            [
              0.9076,
              0.9475,
              0.9755,
              1.0187,
              1.084,
              1.1835,
              1.3407,
              1.6078
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.47444,
              0.51874,
              0.55006,
              0.59946,
              0.67927,
              0.81667,
              1.07227,
              1.57437
            ],
            [
              0.47715,
              0.52144,
              0.55276,
              0.60217,
              0.68196,
              0.81942,
              1.07474,
              1.57814
            ],
            [
              0.48045,
              0.52475,
              0.55607,
              0.60547,
              0.68529,
              0.82257,
              1.07852,
              1.58092
            ],
            [
              0.48539,
              0.52968,
              0.561,
              0.6104,
              0.6902,
              0.82764,
              1.08308,
              1.58618
            ],
            [
              0.49289,
              0.5372,
              0.56851,
              0.61792,
              0.69773,
              0.83512,
              1.09101,
              1.59391
            ],
            [
              0.50412,
              0.54842,
              0.57973,
              0.62914,
              0.70893,
              0.8464,
              1.10182,
              1.60512
            ],
            [
              0.51995,
              0.56424,
              0.59556,
              0.64496,
              0.72476,
              0.86218,
              1.11783,
              1.61993
            ],
            [
              0.54082,
              0.58511,
              0.61641,
              0.66581,
              0.74555,
              0.88316,
              1.13886,
              1.64196
            ],
            [
              0.56775,
              0.61201,
              0.64329,
              0.69269,
              0.77245,
              0.91005,
              1.16555,
              1.66885
            ],
            [
              0.60196,
              0.64619,
              0.67739,
              0.72679,
              0.80659,
              0.94399,
              1.19989,
              1.70279
            ],
            [
              0.64432,
              0.68842,
              0.71972,
              0.76902,
              0.84882,
              0.98632,
              1.24212,
              1.74452
            ],
            [
              0.69597,
              0.73997,
              0.77127,
              0.82057,
              0.90027,
              1.03767,
              1.29337,
              1.79657
            ],
            [
              0.758,
              0.802,
              0.8332,
              0.8825,
              0.9622,
              1.0997,
              1.3549,
              1.8581
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.07071,
              0.09561,
              0.1139,
              0.14357,
              0.19315,
              0.27882,
              0.43554,
              0.74729
            ],
            [
              0.07068,
              0.09558,
              0.11377,
              0.14338,
              0.19285,
              0.27821,
              0.43556,
              0.74716
            ],
            [
              0.07071,
              0.09562,
              0.1138,
              0.14356,
              0.19317,
              0.27875,
              0.43546,
              0.7473
            ],
            [
              0.0707,
              0.09562,
              0.11375,
              0.14356,
              0.19315,
              0.27873,
              0.43545,
              0.74729
            ],
            [
              0.07068,
              0.09558,
              0.11377,
              0.14335,
              0.19285,
              0.27826,
              0.43572,
              0.74681
            ],
            [
              0.07069,
              0.09559,
              0.11376,
              0.14337,
              0.19285,
              0.2783,
              0.43564,
              0.7464
            ],
            [
              0.07068,
              0.09559,
              0.11377,
              0.14337,
              0.19281,
              0.27829,
              0.43563,
              0.7464
            ],
            [
              0.07067,
              0.09559,
              0.11376,
              0.14335,
              0.1928,
              0.27826,
              0.4357,
              0.7467
            ],
            [
              0.0707,
              0.0956,
              0.11379,
              0.14358,
              0.1927,
              0.2786,
              0.4354,
              0.7474
            ],
            [
              0.0707,
              0.0955,
              0.1137,
              0.1433,
              0.1928,
              0.2784,
              0.4354,
              0.7473
            ],
            [
              0.0706,
              0.0956,
              0.1137,
              0.1435,
              0.1927,
              0.2783,
              0.4355,
              0.7472
            ],
            [
              0.0705,
              0.0953,
              0.1134,
              0.1434,
              0.1927,
              0.2787,
              0.4354,
              0.7469
            ],
            [
              0.0703,
              0.0951,
              0.1134,
              0.1432,
              0.1923,
              0.2777,
              0.4349,
              0.7472
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.05475,
              0.08804,
              0.11342,
              0.15816,
              0.24341,
              0.41404,
              0.7708,
              1.50027
            ],
            [
              0.05476,
              0.08808,
              0.11346,
              0.15813,
              0.24315,
              0.41429,
              0.77064,
              1.50564
            ],
            [
              0.05474,
              0.08808,
              0.11336,
              0.15826,
              0.24303,
              0.41461,
              0.77067,
              1.5005
            ],
            [
              0.05476,
              0.08811,
              0.11344,
              0.15814,
              0.24315,
              0.41428,
              0.77064,
              1.49895
            ],
            [
              0.05474,
              0.08805,
              0.11325,
              0.15822,
              0.24293,
              0.41456,
              0.77001,
              1.5002
            ],
            [
              0.05475,
              0.08808,
              0.11348,
              0.15812,
              0.24282,
              0.41429,
              0.77054,
              1.5054
            ],
            [
              0.05474,
              0.08802,
              0.1134,
              0.15814,
              0.24333,
              0.41409,
              0.77076,
              1.5002
            ],
            [
              0.05466,
              0.08798,
              0.11315,
              0.15807,
              0.24303,
              0.41557,
              0.76943,
              1.4987
            ],
            [
              0.05454,
              0.08787,
              0.11314,
              0.1579,
              0.24291,
              0.41453,
              0.7702,
              1.5042
            ],
            [
              0.05439,
              0.08769,
              0.11314,
              0.158,
              0.2428,
              0.4147,
              0.77,
              1.5002
            ],
            [
              0.0542,
              0.0876,
              0.1127,
              0.1576,
              0.2426,
              0.4139,
              0.7705,
              1.5038
            ],
            [
              0.0539,
              0.0873,
              0.1127,
              0.1573,
              0.2426,
              0.4138,
              0.7707,
              1.5039
            ],
            [
              0.0537,
              0.0871,
              0.1125,
              0.1574,
              0.2424,
              0.414,
              0.7703,
              1.4984
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.53731,
              0.57729,
              0.60528,
              0.64827,
              0.71327,
              0.81239,
              0.96957,
              1.23697
            ],
            [
              0.53922,
              0.57919,
              0.60718,
              0.65017,
              0.71518,
              0.8143,
              0.97147,
              1.23884
            ],
            [
              0.5417,
              0.58169,
              0.60967,
              0.65266,
              0.71767,
              0.81679,
              0.97396,
              1.24132
            ],
            [
              0.54575,
              0.58571,
              0.61369,
              0.65672,
              0.72172,
              0.82085,
              0.97798,
              1.24528
            ],
            [
              0.55234,
              0.59232,
              0.6203,
              0.6633,
              0.7283,
              0.82742,
              0.98461,
              1.25201
            ],
            [
              0.563,
              0.60299,
              0.63098,
              0.67399,
              0.73898,
              0.8381,
              0.99522,
              1.26262
            ],
            [
              0.57996,
              0.61994,
              0.64793,
              0.69095,
              0.75594,
              0.85506,
              1.01223,
              1.27953
            ],
            [
              0.60627,
              0.64626,
              0.67425,
              0.71726,
              0.78227,
              0.88136,
              1.03856,
              1.30596
            ],
            [
              0.64515,
              0.68514,
              0.71313,
              0.75615,
              0.82115,
              0.92025,
              1.07745,
              1.34465
            ],
            [
              0.69849,
              0.73849,
              0.76649,
              0.80949,
              0.87449,
              0.97359,
              1.13079,
              1.39809
            ],
            [
              0.76612,
              0.80592,
              0.83392,
              0.87682,
              0.94182,
              1.04092,
              1.19812,
              1.46542
            ],
            [
              0.84367,
              0.88327,
              0.91107,
              0.95387,
              1.01877,
              1.11787,
              1.27497,
              1.54227
            ],
            [
              0.9274,
              0.9669,
              0.9946,
              1.0374,
              1.1022,
              1.2013,
              1.3584,
              1.6255
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.40678,
              0.4502,
              0.48072,
              0.52883,
              0.60672,
              0.7423,
              0.99677,
              1.50057
            ],
            [
              0.40962,
              0.45304,
              0.48358,
              0.53167,
              0.60967,
              0.74502,
              0.99984,
              1.50344
            ],
            [
              0.4131,
              0.45651,
              0.48704,
              0.53515,
              0.61305,
              0.74859,
              1.00282,
              1.50672
            ],
            [
              0.4184,
              0.46182,
              0.49235,
              0.54046,
              0.61838,
              0.75394,
              1.00858,
              1.51228
            ],
            [
              0.42647,
              0.46989,
              0.50043,
              0.54854,
              0.62652,
              0.76189,
              1.01661,
              1.51961
            ],
            [
              0.4386,
              0.48204,
              0.51258,
              0.56071,
              0.63865,
              0.77415,
              1.02852,
              1.53202
            ],
            [
              0.45679,
              0.50026,
              0.53083,
              0.57896,
              0.65699,
              0.79235,
              1.04723,
              1.55083
            ],
            [
              0.48379,
              0.5273,
              0.55789,
              0.60604,
              0.68409,
              0.81939,
              1.07436,
              1.57786
            ],
            [
              0.52303,
              0.5666,
              0.59722,
              0.64542,
              0.72345,
              0.85895,
              1.11345,
              1.61695
            ],
            [
              0.57624,
              0.61989,
              0.65059,
              0.69879,
              0.77679,
              0.91249,
              1.16709,
              1.67089
            ],
            [
              0.63852,
              0.68232,
              0.71302,
              0.76122,
              0.83932,
              0.97482,
              1.22922,
              1.73322
            ],
            [
              0.71357,
              0.75727,
              0.78797,
              0.83627,
              0.91417,
              1.04977,
              1.30447,
              1.80617
            ],
            [
              0.8052,
              0.8492,
              0.8799,
              0.9283,
              1.0063,
              1.1418,
              1.396,
              1.8987
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.06949,
              0.09434,
              0.1125,
              0.14231,
              0.19157,
              0.27773,
              0.43523,
              0.74794
            ],
            [
              0.0695,
              0.09435,
              0.1125,
              0.14233,
              0.19156,
              0.2777,
              0.43518,
              0.74792
            ],
            [
              0.06948,
              0.09453,
              0.11253,
              0.14231,
              0.192,
              0.27779,
              0.4353,
              0.74789
            ],
            [
              0.06952,
              0.09434,
              0.1126,
              0.14217,
              0.19193,
              0.27753,
              0.43538,
              0.74698
            ],
            [
              0.06949,
              0.09454,
              0.11253,
              0.14232,
              0.192,
              0.27779,
              0.43526,
              0.74785
            ],
            [
              0.06952,
              0.09442,
              0.11271,
              0.14231,
              0.19203,
              0.27804,
              0.43531,
              0.74789
            ],
            [
              0.06954,
              0.09441,
              0.11268,
              0.14234,
              0.192,
              0.27801,
              0.43539,
              0.7477
            ],
            [
              0.06954,
              0.0944,
              0.11253,
              0.14237,
              0.19161,
              0.27766,
              0.43513,
              0.7479
            ],
            [
              0.06952,
              0.0944,
              0.11269,
              0.14224,
              0.19194,
              0.2776,
              0.4354,
              0.7471
            ],
            [
              0.0695,
              0.0946,
              0.1125,
              0.1423,
              0.192,
              0.2778,
              0.4353,
              0.7479
            ],
            [
              0.0693,
              0.0942,
              0.1123,
              0.1419,
              0.1916,
              0.2779,
              0.4353,
              0.7469
            ],
            [
              0.069,
              0.0937,
              0.112,
              0.1416,
              0.1911,
              0.2771,
              0.4351,
              0.7466
            ],
            [
              0.0689,
              0.0935,
              0.1118,
              0.1416,
              0.1914,
              0.2767,
              0.4347,
              0.7471
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.05348,
              0.08579,
              0.11019,
              0.15387,
              0.23788,
              0.41021,
              0.76748,
              1.50448
            ],
            [
              0.05352,
              0.08582,
              0.11022,
              0.15406,
              0.23808,
              0.4105,
              0.76682,
              1.49904
            ],
            [
              0.05354,
              0.0858,
              0.11028,
              0.1539,
              0.23795,
              0.41004,
              0.76769,
              1.4976
            ],
            [
              0.05354,
              0.08582,
              0.11024,
              0.15413,
              0.23803,
              0.4104,
              0.76706,
              1.50326
            ],
            [
              0.05357,
              0.08586,
              0.1104,
              0.15412,
              0.23873,
              0.40929,
              0.768,
              1.49803
            ],
            [
              0.05365,
              0.08584,
              0.11042,
              0.15403,
              0.23809,
              0.40998,
              0.76789,
              1.49729
            ],
            [
              0.05364,
              0.08596,
              0.11038,
              0.15422,
              0.2381,
              0.41055,
              0.7671,
              1.4992
            ],
            [
              0.05372,
              0.08607,
              0.11048,
              0.15431,
              0.23824,
              0.4105,
              0.76772,
              1.4995
            ],
            [
              0.05389,
              0.08622,
              0.1108,
              0.15447,
              0.23884,
              0.41014,
              0.768,
              1.4981
            ],
            [
              0.05415,
              0.08653,
              0.11123,
              0.1546,
              0.2384,
              0.4106,
              0.7672,
              1.5029
            ],
            [
              0.0542,
              0.0867,
              0.1113,
              0.1549,
              0.2387,
              0.4105,
              0.7679,
              1.5047
            ],
            [
              0.0545,
              0.0869,
              0.1114,
              0.1549,
              0.2388,
              0.4108,
              0.7678,
              1.4992
            ],
            [
              0.055,
              0.0874,
              0.1118,
              0.1555,
              0.2396,
              0.4106,
              0.7665,
              1.5011
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.5556,
              0.59968,
              0.63137,
              0.68061,
              0.75455,
              0.865,
              1.03637,
              1.32417
            ],
            [
              0.55837,
              0.60245,
              0.63416,
              0.68338,
              0.75735,
              0.86778,
              1.03914,
              1.32674
            ],
            [
              0.56171,
              0.60579,
              0.6375,
              0.68676,
              0.76069,
              0.87112,
              1.04242,
              1.33032
            ],
            [
              0.56678,
              0.61086,
              0.64258,
              0.69183,
              0.76577,
              0.87621,
              1.04758,
              1.33537
            ],
            [
              0.57442,
              0.6185,
              0.65021,
              0.69948,
              0.77341,
              0.88386,
              1.05521,
              1.34301
            ],
            [
              0.58577,
              0.62985,
              0.66156,
              0.71082,
              0.78478,
              0.89523,
              1.06662,
              1.35422
            ],
            [
              0.6025,
              0.64657,
              0.67828,
              0.72755,
              0.80149,
              0.91193,
              1.08333,
              1.37113
            ],
            [
              0.62654,
              0.67064,
              0.70237,
              0.75163,
              0.82561,
              0.93606,
              1.10746,
              1.39506
            ],
            [
              0.65889,
              0.70316,
              0.73498,
              0.78425,
              0.85825,
              0.96865,
              1.14005,
              1.42785
            ],
            [
              0.69809,
              0.74279,
              0.77479,
              0.82419,
              0.89819,
              1.00859,
              1.17989,
              1.46769
            ],
            [
              0.74112,
              0.78632,
              0.81862,
              0.86822,
              0.94212,
              1.05242,
              1.22362,
              1.51142
            ],
            [
              0.78717,
              0.83347,
              0.86607,
              0.91587,
              0.98967,
              1.09977,
              1.27097,
              1.55867
            ],
            [
              0.836,
              0.8833,
              0.9162,
              0.9658,
              1.0393,
              1.1491,
              1.3201,
              1.6077
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.44505,
              0.48898,
              0.52015,
              0.56951,
              0.64937,
              0.78691,
              1.04247,
              1.54437
            ],
            [
              0.44683,
              0.49078,
              0.52195,
              0.5713,
              0.65116,
              0.78868,
              1.04424,
              1.54604
            ],
            [
              0.44922,
              0.49316,
              0.52433,
              0.57368,
              0.65354,
              0.79108,
              1.04662,
              1.54852
            ],
            [
              0.4531,
              0.49705,
              0.52821,
              0.57756,
              0.65743,
              0.79492,
              1.05058,
              1.55248
            ],
            [
              0.45944,
              0.50338,
              0.53455,
              0.5839,
              0.66376,
              0.80129,
              1.05691,
              1.55881
            ],
            [
              0.46974,
              0.51367,
              0.54484,
              0.59419,
              0.67405,
              0.8115,
              1.06722,
              1.56902
            ],
            [
              0.4861,
              0.53003,
              0.5612,
              0.61055,
              0.69041,
              0.82791,
              1.08353,
              1.58533
            ],
            [
              0.51159,
              0.55551,
              0.58669,
              0.63604,
              0.7159,
              0.85336,
              1.10906,
              1.61076
            ],
            [
              0.54987,
              0.59384,
              0.62501,
              0.67436,
              0.75425,
              0.89165,
              1.14735,
              1.64915
            ],
            [
              0.60402,
              0.64799,
              0.67919,
              0.72849,
              0.80839,
              0.94589,
              1.20159,
              1.70339
            ],
            [
              0.67482,
              0.71892,
              0.75022,
              0.79962,
              0.87952,
              1.01712,
              1.27282,
              1.77472
            ],
            [
              0.75907,
              0.80367,
              0.83517,
              0.88497,
              0.96517,
              1.10297,
              1.35877,
              1.86047
            ],
            [
              0.8582,
              0.9033,
              0.9351,
              0.9851,
              1.0655,
              1.2035,
              1.4597,
              1.9616
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.08005,
              0.10417,
              0.12176,
              0.15152,
              0.2032,
              0.29409,
              0.46096,
              0.792
            ],
            [
              0.08002,
              0.10418,
              0.12188,
              0.15171,
              0.20349,
              0.29414,
              0.46095,
              0.79157
            ],
            [
              0.08006,
              0.1041,
              0.12174,
              0.15152,
              0.20347,
              0.29465,
              0.461,
              0.79104
            ],
            [
              0.08002,
              0.10435,
              0.12176,
              0.15148,
              0.2032,
              0.29407,
              0.46082,
              0.79162
            ],
            [
              0.08005,
              0.10417,
              0.12174,
              0.15148,
              0.20319,
              0.29407,
              0.4607,
              0.7915
            ],
            [
              0.08001,
              0.10434,
              0.12175,
              0.15151,
              0.20321,
              0.29411,
              0.46108,
              0.7919
            ],
            [
              0.08001,
              0.10417,
              0.12173,
              0.15147,
              0.20316,
              0.29409,
              0.46083,
              0.7919
            ],
            [
              0.07997,
              0.1043,
              0.12175,
              0.15171,
              0.20323,
              0.29416,
              0.4611,
              0.7916
            ],
            [
              0.08017,
              0.10422,
              0.12199,
              0.1518,
              0.20363,
              0.2947,
              0.4616,
              0.7921
            ],
            [
              0.0806,
              0.1044,
              0.122,
              0.1521,
              0.204,
              0.2946,
              0.4613,
              0.7916
            ],
            [
              0.0811,
              0.1047,
              0.1222,
              0.1524,
              0.2046,
              0.295,
              0.4622,
              0.7923
            ],
            [
              0.0811,
              0.1046,
              0.1226,
              0.1535,
              0.2055,
              0.2959,
              0.4626,
              0.792
            ],
            [
              0.0785,
              0.1037,
              0.1229,
              0.1544,
              0.2069,
              0.297,
              0.4633,
              0.7928
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.0533,
              0.08638,
              0.11159,
              0.15629,
              0.24102,
              0.41231,
              0.76689,
              1.49524
            ],
            [
              0.05331,
              0.08637,
              0.11161,
              0.15627,
              0.24107,
              0.41207,
              0.76726,
              1.49581
            ],
            [
              0.05331,
              0.08638,
              0.11162,
              0.15627,
              0.24126,
              0.41237,
              0.76776,
              1.49781
            ],
            [
              0.0533,
              0.08633,
              0.11155,
              0.15626,
              0.24098,
              0.41244,
              0.76713,
              1.49639
            ],
            [
              0.05329,
              0.08632,
              0.11152,
              0.15628,
              0.241,
              0.41215,
              0.76773,
              1.49549
            ],
            [
              0.05328,
              0.08635,
              0.11158,
              0.15626,
              0.24102,
              0.41207,
              0.76875,
              1.4953
            ],
            [
              0.05324,
              0.08635,
              0.11159,
              0.15624,
              0.24103,
              0.41212,
              0.7689,
              1.4947
            ],
            [
              0.05325,
              0.08635,
              0.11158,
              0.15622,
              0.24098,
              0.41226,
              0.76844,
              1.4985
            ],
            [
              0.05326,
              0.08636,
              0.11158,
              0.15634,
              0.24104,
              0.41263,
              0.7673,
              1.4978
            ],
            [
              0.05337,
              0.08643,
              0.11168,
              0.1564,
              0.2411,
              0.4126,
              0.767,
              1.4978
            ],
            [
              0.0539,
              0.0869,
              0.1121,
              0.1569,
              0.2415,
              0.4129,
              0.7672,
              1.4956
            ],
            [
              0.0552,
              0.0884,
              0.1136,
              0.1582,
              0.2425,
              0.4132,
              0.7676,
              1.496
            ],
            [
              0.0567,
              0.09,
              0.1152,
              0.1595,
              0.2436,
              0.4141,
              0.7685,
              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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.50365,
              0.54525,
              0.57468,
              0.61973,
              0.68694,
              0.78798,
              0.94651,
              1.21467
            ],
            [
              0.50647,
              0.54808,
              0.57751,
              0.62256,
              0.68978,
              0.7908,
              0.94935,
              1.21754
            ],
            [
              0.50987,
              0.55149,
              0.58092,
              0.62596,
              0.69319,
              0.79421,
              0.95276,
              1.22092
            ],
            [
              0.51502,
              0.55664,
              0.58608,
              0.63114,
              0.69834,
              0.79939,
              0.95793,
              1.22618
            ],
            [
              0.52275,
              0.56438,
              0.59381,
              0.63886,
              0.70609,
              0.80712,
              0.96561,
              1.23381
            ],
            [
              0.53421,
              0.57584,
              0.6053,
              0.65033,
              0.71755,
              0.81859,
              0.97712,
              1.24542
            ],
            [
              0.55105,
              0.59272,
              0.62217,
              0.66722,
              0.73445,
              0.83548,
              0.99403,
              1.26223
            ],
            [
              0.57533,
              0.61703,
              0.6465,
              0.69156,
              0.75879,
              0.85986,
              1.01836,
              1.28666
            ],
            [
              0.60911,
              0.65092,
              0.68042,
              0.72549,
              0.79265,
              0.89375,
              1.05225,
              1.32055
            ],
            [
              0.65069,
              0.69279,
              0.72229,
              0.76739,
              0.83459,
              0.93559,
              1.09409,
              1.36239
            ],
            [
              0.69802,
              0.74042,
              0.77002,
              0.81502,
              0.88212,
              0.98312,
              1.14162,
              1.40972
            ],
            [
              0.75167,
              0.79467,
              0.82427,
              0.86927,
              0.93627,
              1.03727,
              1.19577,
              1.46397
            ],
            [
              0.8141,
              0.8565,
              0.8857,
              0.9302,
              0.997,
              1.0979,
              1.2566,
              1.5249
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.45294,
              0.49856,
              0.53086,
              0.58171,
              0.66365,
              0.80519,
              1.07177,
              1.59827
            ],
            [
              0.45477,
              0.50039,
              0.53269,
              0.58355,
              0.66548,
              0.807,
              1.07364,
              1.60024
            ],
            [
              0.45721,
              0.50283,
              0.53513,
              0.58599,
              0.66792,
              0.80943,
              1.07602,
              1.60272
            ],
            [
              0.46115,
              0.50677,
              0.53909,
              0.58993,
              0.67187,
              0.81346,
              1.07998,
              1.60668
            ],
            [
              0.46749,
              0.51311,
              0.54541,
              0.59627,
              0.6782,
              0.81981,
              1.08631,
              1.61301
            ],
            [
              0.47768,
              0.52331,
              0.55561,
              0.60647,
              0.6884,
              0.82992,
              1.09652,
              1.62312
            ],
            [
              0.49378,
              0.53939,
              0.57169,
              0.62256,
              0.70448,
              0.84602,
              1.11263,
              1.63913
            ],
            [
              0.51907,
              0.56466,
              0.59697,
              0.64782,
              0.72975,
              0.87136,
              1.13786,
              1.66446
            ],
            [
              0.55788,
              0.60343,
              0.63572,
              0.68657,
              0.76855,
              0.91005,
              1.17665,
              1.70335
            ],
            [
              0.61372,
              0.65919,
              0.69149,
              0.74239,
              0.82429,
              0.96589,
              1.23249,
              1.75909
            ],
            [
              0.68642,
              0.73192,
              0.76422,
              0.81512,
              0.89702,
              1.03872,
              1.30532,
              1.83192
            ],
            [
              0.77327,
              0.81907,
              0.85147,
              0.90257,
              0.98487,
              1.12657,
              1.39327,
              1.91977
            ],
            [
              0.8773,
              0.9233,
              0.9558,
              1.0071,
              1.0894,
              1.2313,
              1.4982,
              2.0247
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.07079,
              0.09338,
              0.11057,
              0.13988,
              0.18916,
              0.27521,
              0.43318,
              0.74491
            ],
            [
              0.07072,
              0.09336,
              0.11066,
              0.13993,
              0.18922,
              0.27568,
              0.43319,
              0.74558
            ],
            [
              0.07075,
              0.09335,
              0.11065,
              0.13991,
              0.18921,
              0.27566,
              0.43317,
              0.74537
            ],
            [
              0.07077,
              0.09337,
              0.11058,
              0.13986,
              0.18911,
              0.27548,
              0.4333,
              0.74473
            ],
            [
              0.07075,
              0.09334,
              0.11051,
              0.13988,
              0.18919,
              0.27519,
              0.43318,
              0.7448
            ],
            [
              0.07072,
              0.09348,
              0.11056,
              0.13965,
              0.18952,
              0.27537,
              0.43293,
              0.74577
            ],
            [
              0.07064,
              0.09322,
              0.11063,
              0.13971,
              0.18922,
              0.27565,
              0.43323,
              0.7448
            ],
            [
              0.0706,
              0.09315,
              0.11056,
              0.13989,
              0.1892,
              0.27517,
              0.43335,
              0.7447
            ],
            [
              0.07043,
              0.09303,
              0.11043,
              0.13985,
              0.18916,
              0.27525,
              0.4332,
              0.7457
            ],
            [
              0.07004,
              0.0927,
              0.1102,
              0.1396,
              0.1892,
              0.2752,
              0.433,
              0.7457
            ],
            [
              0.0692,
              0.0921,
              0.11,
              0.1397,
              0.1894,
              0.2757,
              0.4332,
              0.7454
            ],
            [
              0.0675,
              0.0918,
              0.1101,
              0.1405,
              0.1905,
              0.2762,
              0.4336,
              0.7459
            ],
            [
              0.0653,
              0.0917,
              0.1106,
              0.1411,
              0.1912,
              0.277,
              0.4337,
              0.7464
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.05556,
              0.08955,
              0.11525,
              0.16032,
              0.24627,
              0.42192,
              0.78698,
              1.53341
            ],
            [
              0.05558,
              0.08958,
              0.11512,
              0.16032,
              0.24631,
              0.42197,
              0.7873,
              1.53314
            ],
            [
              0.05557,
              0.08959,
              0.11518,
              0.16028,
              0.2463,
              0.42251,
              0.78854,
              1.53108
            ],
            [
              0.05557,
              0.08961,
              0.11519,
              0.16028,
              0.24624,
              0.42201,
              0.78736,
              1.5319
            ],
            [
              0.05557,
              0.08958,
              0.11517,
              0.16021,
              0.24628,
              0.42201,
              0.78725,
              1.531
            ],
            [
              0.05556,
              0.08954,
              0.11523,
              0.16031,
              0.2463,
              0.42183,
              0.78677,
              1.5329
            ],
            [
              0.05554,
              0.08955,
              0.11521,
              0.1603,
              0.24637,
              0.42194,
              0.78661,
              1.531
            ],
            [
              0.0555,
              0.08954,
              0.11514,
              0.16024,
              0.2461,
              0.42208,
              0.78776,
              1.5311
            ],
            [
              0.05539,
              0.08944,
              0.11509,
              0.16017,
              0.24601,
              0.4218,
              0.7867,
              1.5319
            ],
            [
              0.05526,
              0.08928,
              0.115,
              0.1601,
              0.2461,
              0.4221,
              0.7877,
              1.5309
            ],
            [
              0.0553,
              0.0893,
              0.115,
              0.1602,
              0.2461,
              0.4219,
              0.7866,
              1.5318
            ],
            [
              0.0559,
              0.0902,
              0.1158,
              0.161,
              0.2469,
              0.4222,
              0.787,
              1.5338
            ],
            [
              0.0564,
              0.0906,
              0.1162,
              0.1614,
              0.2474,
              0.4225,
              0.7864,
              1.531
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.55584,
              0.59633,
              0.62464,
              0.6681,
              0.73354,
              0.83308,
              0.9903,
              1.25727
            ],
            [
              0.55773,
              0.59822,
              0.62653,
              0.66996,
              0.73545,
              0.83496,
              0.99224,
              1.25914
            ],
            [
              0.56026,
              0.60074,
              0.62906,
              0.67247,
              0.73796,
              0.83748,
              0.99472,
              1.26172
            ],
            [
              0.56442,
              0.60488,
              0.63318,
              0.67663,
              0.74208,
              0.84161,
              0.99887,
              1.26588
            ],
            [
              0.57114,
              0.61162,
              0.63993,
              0.68336,
              0.74882,
              0.84836,
              1.00561,
              1.27271
            ],
            [
              0.58204,
              0.62251,
              0.65081,
              0.69424,
              0.7597,
              0.85924,
              1.01652,
              1.28332
            ],
            [
              0.59934,
              0.63979,
              0.6681,
              0.71154,
              0.77698,
              0.87652,
              1.03373,
              1.30063
            ],
            [
              0.62677,
              0.66724,
              0.69554,
              0.73894,
              0.80441,
              0.90396,
              1.06116,
              1.32816
            ],
            [
              0.66916,
              0.70962,
              0.73792,
              0.78135,
              0.84675,
              0.94625,
              1.10355,
              1.37055
            ],
            [
              0.72979,
              0.77019,
              0.79849,
              0.84199,
              0.90739,
              1.00689,
              1.16409,
              1.43119
            ],
            [
              0.80742,
              0.84782,
              0.87612,
              0.91952,
              0.98502,
              1.08452,
              1.24172,
              1.50872
            ],
            [
              0.90037,
              0.94067,
              0.96887,
              1.01217,
              1.07757,
              1.17707,
              1.33437,
              1.60147
            ],
            [
              1.0099,
              1.0501,
              1.0783,
              1.1215,
              1.1869,
              1.2862,
              1.4434,
              1.7103
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.40337,
              0.44758,
              0.47885,
              0.52822,
              0.60802,
              0.74537,
              1.00127,
              1.50397
            ],
            [
              0.40625,
              0.45048,
              0.48174,
              0.53112,
              0.61087,
              0.74847,
              1.00384,
              1.50694
            ],
            [
              0.40975,
              0.45397,
              0.48525,
              0.53462,
              0.61436,
              0.75195,
              1.00762,
              1.51102
            ],
            [
              0.41508,
              0.45931,
              0.49057,
              0.53995,
              0.61969,
              0.75731,
              1.01297,
              1.51628
            ],
            [
              0.42312,
              0.46735,
              0.49862,
              0.548,
              0.62774,
              0.76533,
              1.02101,
              1.52441
            ],
            [
              0.43515,
              0.47938,
              0.51065,
              0.56004,
              0.63978,
              0.7774,
              1.03282,
              1.53612
            ],
            [
              0.45293,
              0.49715,
              0.52843,
              0.57781,
              0.6576,
              0.79502,
              1.05073,
              1.55323
            ],
            [
              0.47881,
              0.52304,
              0.55433,
              0.6037,
              0.68352,
              0.82087,
              1.07686,
              1.57976
            ],
            [
              0.51566,
              0.55991,
              0.59119,
              0.64059,
              0.72033,
              0.85795,
              1.11345,
              1.61685
            ],
            [
              0.56027,
              0.60452,
              0.63579,
              0.68519,
              0.76499,
              0.90249,
              1.15779,
              1.66089
            ],
            [
              0.60992,
              0.65402,
              0.68532,
              0.73472,
              0.81442,
              0.95172,
              1.20742,
              1.71082
            ],
            [
              0.66757,
              0.71187,
              0.74307,
              0.79247,
              0.87207,
              1.00947,
              1.26497,
              1.76817
            ],
            [
              0.7347,
              0.779,
              0.8103,
              0.8597,
              0.9395,
              1.0767,
              1.3318,
              1.8351
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.07128,
              0.09623,
              0.11439,
              0.14409,
              0.19371,
              0.27876,
              0.43591,
              0.74644
            ],
            [
              0.07129,
              0.09638,
              0.11436,
              0.14416,
              0.1933,
              0.27892,
              0.43571,
              0.74752
            ],
            [
              0.07126,
              0.09621,
              0.11438,
              0.14396,
              0.19339,
              0.2788,
              0.43564,
              0.74761
            ],
            [
              0.0713,
              0.09622,
              0.11448,
              0.14405,
              0.19369,
              0.27875,
              0.43599,
              0.74662
            ],
            [
              0.07128,
              0.09622,
              0.11438,
              0.14403,
              0.19366,
              0.27875,
              0.43608,
              0.74711
            ],
            [
              0.0713,
              0.09624,
              0.11438,
              0.14415,
              0.19329,
              0.27924,
              0.43588,
              0.7468
            ],
            [
              0.07133,
              0.09625,
              0.11452,
              0.14411,
              0.19372,
              0.27879,
              0.43583,
              0.7467
            ],
            [
              0.07135,
              0.09629,
              0.11443,
              0.1442,
              0.19336,
              0.27897,
              0.4358,
              0.7475
            ],
            [
              0.0714,
              0.09632,
              0.11461,
              0.14418,
              0.1938,
              0.2788,
              0.4359,
              0.7465
            ],
            [
              0.0714,
              0.0964,
              0.1146,
              0.1443,
              0.1939,
              0.2794,
              0.436,
              0.7464
            ],
            [
              0.0714,
              0.0964,
              0.1145,
              0.1442,
              0.1938,
              0.2789,
              0.436,
              0.7466
            ],
            [
              0.0713,
              0.0962,
              0.1144,
              0.1442,
              0.1935,
              0.2789,
              0.436,
              0.7475
            ],
            [
              0.0714,
              0.0962,
              0.1144,
              0.144,
              0.1934,
              0.2789,
              0.4358,
              0.7474
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.05442,
              0.08766,
              0.11304,
              0.15788,
              0.24319,
              0.41415,
              0.77068,
              1.50273
            ],
            [
              0.05442,
              0.08773,
              0.11297,
              0.15817,
              0.24283,
              0.41458,
              0.77049,
              1.49884
            ],
            [
              0.05442,
              0.08774,
              0.11296,
              0.15798,
              0.24284,
              0.41544,
              0.7697,
              1.50188
            ],
            [
              0.05444,
              0.08775,
              0.11295,
              0.15797,
              0.24285,
              0.41516,
              0.76992,
              1.5032
            ],
            [
              0.05445,
              0.08777,
              0.11297,
              0.15799,
              0.24285,
              0.41546,
              0.76962,
              1.50119
            ],
            [
              0.05446,
              0.08777,
              0.11301,
              0.15821,
              0.24286,
              0.41472,
              0.77036,
              1.50508
            ],
            [
              0.05445,
              0.08772,
              0.11307,
              0.15791,
              0.24298,
              0.41395,
              0.77075,
              1.5005
            ],
            [
              0.05449,
              0.08784,
              0.11313,
              0.15798,
              0.24283,
              0.41464,
              0.77001,
              1.5002
            ],
            [
              0.05453,
              0.08786,
              0.11312,
              0.1583,
              0.24291,
              0.41464,
              0.7702,
              1.5039
            ],
            [
              0.05458,
              0.08788,
              0.1132,
              0.15792,
              0.2428,
              0.4144,
              0.7707,
              1.4992
            ],
            [
              0.0545,
              0.0878,
              0.1129,
              0.158,
              0.2428,
              0.4139,
              0.7701,
              1.5034
            ],
            [
              0.0545,
              0.0878,
              0.1131,
              0.1578,
              0.243,
              0.4142,
              0.7706,
              1.5005
            ],
            [
              0.0547,
              0.0881,
              0.1132,
              0.1582,
              0.243,
              0.4143,
              0.7692,
              1.4994
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.39334,
              0.43458,
              0.46323,
              0.50697,
              0.57264,
              0.67223,
              0.82976,
              1.09727
            ],
            [
              0.39613,
              0.43732,
              0.46601,
              0.50976,
              0.57541,
              0.67503,
              0.83252,
              1.10014
            ],
            [
              0.39954,
              0.44075,
              0.46941,
              0.51316,
              0.57878,
              0.67841,
              0.8359,
              1.10352
            ],
            [
              0.40475,
              0.44597,
              0.47463,
              0.51834,
              0.584,
              0.68363,
              0.84113,
              1.10868
            ],
            [
              0.41259,
              0.45379,
              0.48249,
              0.52622,
              0.59187,
              0.69152,
              0.84903,
              1.11651
            ],
            [
              0.42463,
              0.46585,
              0.4945,
              0.53826,
              0.60391,
              0.70355,
              0.86106,
              1.12862
            ],
            [
              0.44282,
              0.48402,
              0.51269,
              0.55645,
              0.62212,
              0.72175,
              0.87926,
              1.14693
            ],
            [
              0.47039,
              0.51157,
              0.54021,
              0.58394,
              0.64962,
              0.74927,
              0.90686,
              1.17436
            ],
            [
              0.5117,
              0.55284,
              0.58146,
              0.62516,
              0.69084,
              0.79055,
              0.94815,
              1.21575
            ],
            [
              0.57246,
              0.61359,
              0.64219,
              0.68589,
              0.75149,
              0.85129,
              1.00899,
              1.27669
            ],
            [
              0.65892,
              0.70012,
              0.72872,
              0.77242,
              0.83812,
              0.93802,
              1.09592,
              1.36372
            ],
            [
              0.77207,
              0.81467,
              0.84397,
              0.88857,
              0.95517,
              1.05577,
              1.21407,
              1.48227
            ],
            [
              0.9065,
              0.9514,
              0.9823,
              1.0291,
              1.0987,
              1.2029,
              1.3645,
              1.6342
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.26236,
              0.3059,
              0.33685,
              0.38585,
              0.46514,
              0.60197,
              0.85661,
              1.35947
            ],
            [
              0.26524,
              0.30878,
              0.33971,
              0.3887,
              0.46802,
              0.60474,
              0.85961,
              1.36244
            ],
            [
              0.26865,
              0.31218,
              0.34312,
              0.39211,
              0.47135,
              0.60796,
              0.86333,
              1.36562
            ],
            [
              0.27371,
              0.31726,
              0.34821,
              0.3972,
              0.47643,
              0.61326,
              0.86835,
              1.37098
            ],
            [
              0.28137,
              0.32491,
              0.35584,
              0.40485,
              0.48409,
              0.62093,
              0.87601,
              1.37871
            ],
            [
              0.29273,
              0.33629,
              0.36722,
              0.41623,
              0.49549,
              0.63221,
              0.88747,
              1.38882
            ],
            [
              0.3096,
              0.35316,
              0.38411,
              0.43311,
              0.51244,
              0.64929,
              0.90403,
              1.40683
            ],
            [
              0.33467,
              0.37826,
              0.40922,
              0.4582,
              0.53742,
              0.6741,
              0.92946,
              1.43206
            ],
            [
              0.37051,
              0.41411,
              0.44507,
              0.49404,
              0.57326,
              0.71008,
              0.96505,
              1.46755
            ],
            [
              0.42082,
              0.46448,
              0.49544,
              0.54441,
              0.6237,
              0.76039,
              1.01579,
              1.51859
            ],
            [
              0.48652,
              0.53192,
              0.56372,
              0.61352,
              0.69322,
              0.83032,
              1.08542,
              1.58802
            ],
            [
              0.56867,
              0.61657,
              0.65017,
              0.70217,
              0.78437,
              0.92277,
              1.17887,
              1.68167
            ],
            [
              0.6698,
              0.7209,
              0.7568,
              0.8119,
              0.8975,
              1.0392,
              1.2963,
              1.7991
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.07304,
              0.09773,
              0.1156,
              0.14476,
              0.19377,
              0.27917,
              0.43639,
              0.74747
            ],
            [
              0.073,
              0.09767,
              0.11564,
              0.14481,
              0.1938,
              0.27908,
              0.43635,
              0.74799
            ],
            [
              0.07304,
              0.0977,
              0.11561,
              0.14478,
              0.19404,
              0.27906,
              0.43638,
              0.74827
            ],
            [
              0.07301,
              0.0977,
              0.11559,
              0.14477,
              0.19405,
              0.27907,
              0.43641,
              0.74737
            ],
            [
              0.07299,
              0.09771,
              0.11577,
              0.14495,
              0.19409,
              0.27906,
              0.43648,
              0.74825
            ],
            [
              0.07303,
              0.09791,
              0.11555,
              0.14481,
              0.19379,
              0.27907,
              0.43656,
              0.7484
            ],
            [
              0.07299,
              0.09771,
              0.11559,
              0.1448,
              0.19374,
              0.27907,
              0.43628,
              0.74842
            ],
            [
              0.073,
              0.09767,
              0.1157,
              0.14483,
              0.19377,
              0.27913,
              0.43655,
              0.74828
            ],
            [
              0.07303,
              0.09774,
              0.11577,
              0.14488,
              0.19391,
              0.2792,
              0.43622,
              0.7483
            ],
            [
              0.07326,
              0.09813,
              0.11588,
              0.14511,
              0.1941,
              0.2794,
              0.4365,
              0.7474
            ],
            [
              0.0742,
              0.0988,
              0.1167,
              0.1458,
              0.1947,
              0.2797,
              0.4368,
              0.7483
            ],
            [
              0.0807,
              0.1051,
              0.1225,
              0.1507,
              0.1985,
              0.2822,
              0.4382,
              0.7491
            ],
            [
              0.0903,
              0.1152,
              0.1329,
              0.1617,
              0.2097,
              0.2928,
              0.4461,
              0.7533
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.05195,
              0.08526,
              0.11053,
              0.15558,
              0.24169,
              0.4143,
              0.77031,
              1.49973
            ],
            [
              0.05195,
              0.08519,
              0.1108,
              0.15576,
              0.2412,
              0.41295,
              0.76994,
              1.50216
            ],
            [
              0.05195,
              0.08523,
              0.11046,
              0.15567,
              0.24114,
              0.41336,
              0.76985,
              1.50354
            ],
            [
              0.05194,
              0.0852,
              0.11051,
              0.15576,
              0.24112,
              0.4133,
              0.77028,
              1.50095
            ],
            [
              0.05193,
              0.0852,
              0.11071,
              0.15576,
              0.24112,
              0.41328,
              0.77035,
              1.50062
            ],
            [
              0.05197,
              0.08523,
              0.1107,
              0.15594,
              0.24109,
              0.41376,
              0.76906,
              1.50476
            ],
            [
              0.05198,
              0.08537,
              0.11052,
              0.15578,
              0.24123,
              0.41361,
              0.77031,
              1.50001
            ],
            [
              0.05204,
              0.08529,
              0.11061,
              0.15598,
              0.24122,
              0.4134,
              0.77,
              1.50151
            ],
            [
              0.05205,
              0.08542,
              0.11078,
              0.15589,
              0.24127,
              0.41302,
              0.77035,
              1.5002
            ],
            [
              0.05259,
              0.08582,
              0.1111,
              0.15609,
              0.24151,
              0.414,
              0.7704,
              1.4989
            ],
            [
              0.0559,
              0.0896,
              0.1147,
              0.1593,
              0.2436,
              0.4139,
              0.7706,
              1.5019
            ],
            [
              0.0605,
              0.0959,
              0.1216,
              0.1662,
              0.2495,
              0.4176,
              0.772,
              1.4994
            ],
            [
              0.0668,
              0.1044,
              0.131,
              0.1761,
              0.2587,
              0.4252,
              0.7755,
              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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.5861,
              0.62767,
              0.65714,
              0.70381,
              0.77696,
              0.88911,
              1.06247,
              1.35137
            ],
            [
              0.58895,
              0.63056,
              0.66002,
              0.70671,
              0.77984,
              0.892,
              1.06534,
              1.35424
            ],
            [
              0.5924,
              0.63398,
              0.66346,
              0.71015,
              0.78329,
              0.89541,
              1.06882,
              1.35752
            ],
            [
              0.59755,
              0.63916,
              0.66863,
              0.71532,
              0.78846,
              0.90062,
              1.07398,
              1.36288
            ],
            [
              0.60539,
              0.64698,
              0.67644,
              0.72315,
              0.79626,
              0.90842,
              1.08171,
              1.37051
            ],
            [
              0.61724,
              0.65883,
              0.68831,
              0.73501,
              0.80812,
              0.92029,
              1.09362,
              1.38252
            ],
            [
              0.63503,
              0.67661,
              0.70609,
              0.75276,
              0.8259,
              0.93803,
              1.11143,
              1.40013
            ],
            [
              0.66127,
              0.70285,
              0.73233,
              0.77902,
              0.85216,
              0.96426,
              1.13766,
              1.42656
            ],
            [
              0.69871,
              0.74031,
              0.76975,
              0.81645,
              0.88955,
              1.00165,
              1.17515,
              1.46395
            ],
            [
              0.75019,
              0.79179,
              0.82119,
              0.86789,
              0.94089,
              1.05309,
              1.22659,
              1.51549
            ],
            [
              0.82022,
              0.86162,
              0.89102,
              0.93752,
              1.01052,
              1.12272,
              1.29612,
              1.58512
            ],
            [
              0.91147,
              0.95237,
              0.98137,
              1.02747,
              1.10027,
              1.21227,
              1.38567,
              1.67447
            ],
            [
              1.025,
              1.0653,
              1.0938,
              1.1394,
              1.2115,
              1.323,
              1.4961,
              1.7848
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.48794,
              0.53281,
              0.56484,
              0.61559,
              0.69775,
              0.83974,
              1.10627,
              1.63187
            ],
            [
              0.49074,
              0.53561,
              0.56763,
              0.61837,
              0.70054,
              0.84253,
              1.10914,
              1.63484
            ],
            [
              0.49418,
              0.53906,
              0.57109,
              0.62181,
              0.70398,
              0.84595,
              1.11262,
              1.63842
            ],
            [
              0.49943,
              0.54431,
              0.57634,
              0.62709,
              0.70925,
              0.8512,
              1.11778,
              1.64368
            ],
            [
              0.50733,
              0.55223,
              0.58426,
              0.63501,
              0.71718,
              0.85917,
              1.12581,
              1.65121
            ],
            [
              0.51938,
              0.56428,
              0.59632,
              0.64708,
              0.72924,
              0.87123,
              1.13772,
              1.66342
            ],
            [
              0.5376,
              0.58251,
              0.61456,
              0.6653,
              0.74747,
              0.88943,
              1.15593,
              1.68193
            ],
            [
              0.56524,
              0.61016,
              0.64221,
              0.69298,
              0.77511,
              0.91706,
              1.18366,
              1.70956
            ],
            [
              0.60708,
              0.652,
              0.68408,
              0.73484,
              0.81695,
              0.95885,
              1.22545,
              1.75085
            ],
            [
              0.67029,
              0.71509,
              0.74719,
              0.79789,
              0.87999,
              1.02189,
              1.28839,
              1.81379
            ],
            [
              0.75932,
              0.80412,
              0.83612,
              0.88672,
              0.96872,
              1.11052,
              1.37702,
              1.90272
            ],
            [
              0.87307,
              0.91787,
              0.94977,
              1.00027,
              1.08217,
              1.22387,
              1.49027,
              2.01597
            ],
            [
              1.0092,
              1.0542,
              1.0863,
              1.1369,
              1.2188,
              1.3604,
              1.6268,
              2.1525
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.07348,
              0.09893,
              0.11728,
              0.14772,
              0.19878,
              0.28979,
              0.45759,
              0.78886
            ],
            [
              0.07348,
              0.09893,
              0.11722,
              0.14773,
              0.19903,
              0.28972,
              0.45764,
              0.7893
            ],
            [
              0.07345,
              0.09875,
              0.11721,
              0.14774,
              0.19901,
              0.28959,
              0.45776,
              0.7891
            ],
            [
              0.07347,
              0.09893,
              0.11724,
              0.14772,
              0.19902,
              0.28964,
              0.45766,
              0.7894
            ],
            [
              0.07348,
              0.09877,
              0.11726,
              0.14771,
              0.19875,
              0.28972,
              0.4581,
              0.7898
            ],
            [
              0.07345,
              0.09872,
              0.11724,
              0.14771,
              0.19872,
              0.28965,
              0.45812,
              0.7892
            ],
            [
              0.07345,
              0.09868,
              0.11724,
              0.14769,
              0.1987,
              0.29015,
              0.45786,
              0.7894
            ],
            [
              0.07343,
              0.09868,
              0.11721,
              0.14739,
              0.19869,
              0.28984,
              0.4576,
              0.7893
            ],
            [
              0.0734,
              0.0987,
              0.11737,
              0.14766,
              0.1987,
              0.29,
              0.4578,
              0.7892
            ],
            [
              0.0734,
              0.0989,
              0.1172,
              0.1477,
              0.1987,
              0.2898,
              0.4574,
              0.7892
            ],
            [
              0.0734,
              0.0988,
              0.1173,
              0.1476,
              0.199,
              0.2895,
              0.4582,
              0.7898
            ],
            [
              0.0738,
              0.099,
              0.1176,
              0.1479,
              0.1989,
              0.2902,
              0.4579,
              0.7896
            ],
            [
              0.0745,
              0.1,
              0.1183,
              0.1485,
              0.1993,
              0.2905,
              0.4581,
              0.7898
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.05365,
              0.08673,
              0.1119,
              0.15716,
              0.24317,
              0.41833,
              0.78205,
              1.52392
            ],
            [
              0.05366,
              0.08672,
              0.11186,
              0.15713,
              0.24326,
              0.41828,
              0.78231,
              1.52539
            ],
            [
              0.05363,
              0.0867,
              0.11185,
              0.15713,
              0.24292,
              0.41785,
              0.78156,
              1.5289
            ],
            [
              0.05363,
              0.08686,
              0.112,
              0.15712,
              0.24294,
              0.41824,
              0.78387,
              1.5253
            ],
            [
              0.05366,
              0.08672,
              0.11185,
              0.15713,
              0.24314,
              0.41869,
              0.78312,
              1.5253
            ],
            [
              0.05363,
              0.0868,
              0.11214,
              0.15713,
              0.2432,
              0.41829,
              0.7823,
              1.526
            ],
            [
              0.05366,
              0.08672,
              0.11188,
              0.15713,
              0.24285,
              0.41788,
              0.7818,
              1.5288
            ],
            [
              0.05364,
              0.08666,
              0.11222,
              0.15714,
              0.24324,
              0.41777,
              0.7837,
              1.5253
            ],
            [
              0.05364,
              0.08694,
              0.11206,
              0.15702,
              0.24322,
              0.4186,
              0.7832,
              1.5253
            ],
            [
              0.0537,
              0.0867,
              0.1119,
              0.157,
              0.243,
              0.4183,
              0.783,
              1.5252
            ],
            [
              0.0538,
              0.087,
              0.112,
              0.157,
              0.2432,
              0.4193,
              0.7835,
              1.5246
            ],
            [
              0.0542,
              0.0873,
              0.1124,
              0.1575,
              0.2433,
              0.4184,
              0.7847,
              1.5289
            ],
            [
              0.0552,
              0.0886,
              0.114,
              0.159,
              0.2444,
              0.4194,
              0.7845,
              1.5266
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.58627,
              0.62788,
              0.65737,
              0.70405,
              0.7772,
              0.88936,
              1.06267,
              1.35147
            ],
            [
              0.58916,
              0.63077,
              0.66025,
              0.70696,
              0.78007,
              0.89225,
              1.06554,
              1.35454
            ],
            [
              0.59259,
              0.63421,
              0.66368,
              0.71039,
              0.78351,
              0.89568,
              1.06902,
              1.35792
            ],
            [
              0.59776,
              0.63938,
              0.66887,
              0.71557,
              0.78868,
              0.90087,
              1.07428,
              1.36308
            ],
            [
              0.60554,
              0.64718,
              0.67667,
              0.72338,
              0.7965,
              0.90867,
              1.08201,
              1.37081
            ],
            [
              0.61741,
              0.65906,
              0.68853,
              0.73524,
              0.80836,
              0.92053,
              1.09382,
              1.38282
            ],
            [
              0.63521,
              0.67684,
              0.70632,
              0.75299,
              0.82613,
              0.93833,
              1.11173,
              1.40053
            ],
            [
              0.66145,
              0.70307,
              0.73255,
              0.77924,
              0.85236,
              0.96456,
              1.13796,
              1.42676
            ],
            [
              0.69891,
              0.74054,
              0.77005,
              0.81665,
              0.88975,
              1.00195,
              1.17545,
              1.46425
            ],
            [
              0.75039,
              0.79209,
              0.82149,
              0.86819,
              0.94119,
              1.05339,
              1.22689,
              1.51579
            ],
            [
              0.82052,
              0.86192,
              0.89132,
              0.93792,
              1.01092,
              1.12302,
              1.29662,
              1.58522
            ],
            [
              0.91177,
              0.95277,
              0.98177,
              1.02787,
              1.10067,
              1.21267,
              1.38607,
              1.67487
            ],
            [
              1.0253,
              1.0657,
              1.0943,
              1.1398,
              1.2119,
              1.3235,
              1.4965,
              1.7853
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.48772,
              0.53262,
              0.56466,
              0.61542,
              0.69758,
              0.83957,
              1.10617,
              1.63167
            ],
            [
              0.49052,
              0.53542,
              0.56745,
              0.6182,
              0.70037,
              0.84236,
              1.10894,
              1.63484
            ],
            [
              0.49395,
              0.53887,
              0.57091,
              0.62164,
              0.70381,
              0.84578,
              1.11242,
              1.63822
            ],
            [
              0.49921,
              0.54412,
              0.57615,
              0.62691,
              0.70908,
              0.85103,
              1.11757,
              1.64368
            ],
            [
              0.50711,
              0.55204,
              0.58409,
              0.63484,
              0.71701,
              0.859,
              1.12561,
              1.65101
            ],
            [
              0.51916,
              0.56409,
              0.59614,
              0.64691,
              0.72907,
              0.87105,
              1.13762,
              1.66342
            ],
            [
              0.53738,
              0.58231,
              0.61438,
              0.66513,
              0.7473,
              0.88926,
              1.15583,
              1.68173
            ],
            [
              0.56502,
              0.60997,
              0.64203,
              0.69281,
              0.77494,
              0.91686,
              1.18346,
              1.70926
            ],
            [
              0.60687,
              0.65182,
              0.6839,
              0.73467,
              0.81675,
              0.95875,
              1.22525,
              1.75065
            ],
            [
              0.67009,
              0.71499,
              0.74699,
              0.79779,
              0.87979,
              1.02169,
              1.28819,
              1.81409
            ],
            [
              0.75912,
              0.80392,
              0.83592,
              0.88652,
              0.96852,
              1.11032,
              1.37692,
              1.90262
            ],
            [
              0.87287,
              0.91757,
              0.94957,
              1.00007,
              1.08197,
              1.22357,
              1.49007,
              2.01577
            ],
            [
              1.009,
              1.054,
              1.0861,
              1.1368,
              1.2187,
              1.3602,
              1.6265,
              2.1523
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.07353,
              0.09878,
              0.11732,
              0.14776,
              0.19882,
              0.28987,
              0.45765,
              0.78998
            ],
            [
              0.07353,
              0.09898,
              0.11728,
              0.14778,
              0.1991,
              0.28986,
              0.4581,
              0.78922
            ],
            [
              0.07353,
              0.09898,
              0.11727,
              0.14779,
              0.19909,
              0.28981,
              0.45835,
              0.7893
            ],
            [
              0.07352,
              0.09898,
              0.11727,
              0.1478,
              0.19908,
              0.28968,
              0.45762,
              0.7893
            ],
            [
              0.07353,
              0.09877,
              0.1173,
              0.14777,
              0.19882,
              0.2899,
              0.45828,
              0.7897
            ],
            [
              0.07352,
              0.09882,
              0.11728,
              0.14775,
              0.1988,
              0.28984,
              0.45809,
              0.7892
            ],
            [
              0.07351,
              0.09878,
              0.11741,
              0.14774,
              0.1988,
              0.29013,
              0.4579,
              0.7895
            ],
            [
              0.07349,
              0.09892,
              0.11726,
              0.1475,
              0.19879,
              0.29002,
              0.4578,
              0.79
            ],
            [
              0.07346,
              0.0987,
              0.11735,
              0.14763,
              0.1987,
              0.29,
              0.4583,
              0.789
            ],
            [
              0.0734,
              0.0988,
              0.1172,
              0.1477,
              0.1987,
              0.29,
              0.458,
              0.7891
            ],
            [
              0.0735,
              0.0989,
              0.1173,
              0.1477,
              0.1991,
              0.29,
              0.4578,
              0.7896
            ],
            [
              0.0739,
              0.0991,
              0.1178,
              0.1478,
              0.199,
              0.2901,
              0.4581,
              0.7895
            ],
            [
              0.0746,
              0.1,
              0.1184,
              0.1485,
              0.1994,
              0.29,
              0.4581,
              0.7899
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.05367,
              0.08673,
              0.11192,
              0.15717,
              0.24316,
              0.4188,
              0.78282,
              1.5239
            ],
            [
              0.05366,
              0.08673,
              0.11187,
              0.15712,
              0.24328,
              0.41836,
              0.78369,
              1.52527
            ],
            [
              0.05364,
              0.08672,
              0.11187,
              0.15713,
              0.2429,
              0.41782,
              0.78203,
              1.5289
            ],
            [
              0.05364,
              0.0868,
              0.112,
              0.15713,
              0.24289,
              0.41873,
              0.78295,
              1.5245
            ],
            [
              0.05365,
              0.08673,
              0.11188,
              0.15714,
              0.24318,
              0.41876,
              0.7831,
              1.5253
            ],
            [
              0.05366,
              0.08685,
              0.11206,
              0.15714,
              0.2432,
              0.41827,
              0.78269,
              1.5249
            ],
            [
              0.05363,
              0.08674,
              0.11189,
              0.15714,
              0.24297,
              0.41805,
              0.78178,
              1.5288
            ],
            [
              0.05366,
              0.08667,
              0.11219,
              0.15715,
              0.24321,
              0.41774,
              0.7835,
              1.5252
            ],
            [
              0.05364,
              0.0868,
              0.11208,
              0.1571,
              0.24319,
              0.4186,
              0.7832,
              1.5254
            ],
            [
              0.0537,
              0.0868,
              0.112,
              0.1569,
              0.243,
              0.4181,
              0.7816,
              1.5258
            ],
            [
              0.0537,
              0.0869,
              0.1119,
              0.1571,
              0.2429,
              0.4182,
              0.7821,
              1.5286
            ],
            [
              0.0542,
              0.0874,
              0.1125,
              0.1575,
              0.2433,
              0.4183,
              0.7817,
              1.5289
            ],
            [
              0.0552,
              0.0886,
              0.114,
              0.159,
              0.2444,
              0.4197,
              0.7845,
              1.5266
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.39379,
              0.435,
              0.46363,
              0.50737,
              0.57301,
              0.67259,
              0.83012,
              1.09757
            ],
            [
              0.39654,
              0.43778,
              0.46641,
              0.51016,
              0.57579,
              0.6754,
              0.8329,
              1.10054
            ],
            [
              0.39996,
              0.44117,
              0.46981,
              0.51356,
              0.57918,
              0.67879,
              0.83631,
              1.10382
            ],
            [
              0.40519,
              0.44638,
              0.47502,
              0.51875,
              0.58439,
              0.684,
              0.84152,
              1.10908
            ],
            [
              0.41302,
              0.45421,
              0.48289,
              0.52663,
              0.59229,
              0.69189,
              0.8494,
              1.11701
            ],
            [
              0.42506,
              0.46626,
              0.4949,
              0.53863,
              0.6043,
              0.70392,
              0.86143,
              1.12902
            ],
            [
              0.44325,
              0.48443,
              0.5131,
              0.55685,
              0.62252,
              0.72213,
              0.87967,
              1.14703
            ],
            [
              0.4708,
              0.51197,
              0.5406,
              0.58432,
              0.64997,
              0.74964,
              0.90716,
              1.17466
            ],
            [
              0.51209,
              0.55322,
              0.58183,
              0.62552,
              0.69118,
              0.79085,
              0.94845,
              1.21615
            ],
            [
              0.57279,
              0.61391,
              0.64249,
              0.68619,
              0.75189,
              0.85159,
              1.00929,
              1.27699
            ],
            [
              0.65922,
              0.70042,
              0.72892,
              0.77262,
              0.83842,
              0.93832,
              1.09612,
              1.36402
            ],
            [
              0.77227,
              0.81487,
              0.84417,
              0.88877,
              0.95527,
              1.05597,
              1.21427,
              1.48247
            ],
            [
              0.9066,
              0.9515,
              0.9824,
              1.0292,
              1.0988,
              1.203,
              1.3646,
              1.6343
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.26219,
              0.3057,
              0.33664,
              0.3856,
              0.46479,
              0.60163,
              0.85642,
              1.35827
            ],
            [
              0.26507,
              0.30859,
              0.33953,
              0.38849,
              0.4677,
              0.60449,
              0.85949,
              1.36214
            ],
            [
              0.26848,
              0.31199,
              0.34292,
              0.39188,
              0.47116,
              0.60794,
              0.86269,
              1.36532
            ],
            [
              0.27357,
              0.31707,
              0.34802,
              0.39698,
              0.47618,
              0.61281,
              0.86808,
              1.36967
            ],
            [
              0.2812,
              0.32472,
              0.35565,
              0.40463,
              0.4839,
              0.62071,
              0.87527,
              1.37811
            ],
            [
              0.29257,
              0.3361,
              0.36702,
              0.41601,
              0.49523,
              0.63189,
              0.88715,
              1.38862
            ],
            [
              0.30944,
              0.35298,
              0.38392,
              0.4329,
              0.51219,
              0.64903,
              0.90363,
              1.40633
            ],
            [
              0.33452,
              0.37809,
              0.40903,
              0.45799,
              0.53718,
              0.67394,
              0.92906,
              1.43136
            ],
            [
              0.37039,
              0.41397,
              0.44491,
              0.49386,
              0.57304,
              0.70986,
              0.96475,
              1.46725
            ],
            [
              0.42075,
              0.46438,
              0.49533,
              0.54427,
              0.62354,
              0.76019,
              1.01559,
              1.51849
            ],
            [
              0.48652,
              0.53182,
              0.56372,
              0.61342,
              0.69312,
              0.83012,
              1.08532,
              1.58782
            ],
            [
              0.56867,
              0.61657,
              0.65017,
              0.70217,
              0.78437,
              0.92267,
              1.17887,
              1.68147
            ],
            [
              0.6699,
              0.721,
              0.7568,
              0.8119,
              0.8975,
              1.0391,
              1.2963,
              1.799
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.073,
              0.0977,
              0.11558,
              0.14475,
              0.1937,
              0.27921,
              0.43632,
              0.74731
            ],
            [
              0.073,
              0.09788,
              0.1155,
              0.14478,
              0.19403,
              0.27904,
              0.43641,
              0.74828
            ],
            [
              0.073,
              0.09769,
              0.11557,
              0.14474,
              0.19367,
              0.27906,
              0.43661,
              0.74734
            ],
            [
              0.07299,
              0.09763,
              0.11553,
              0.14496,
              0.19367,
              0.27942,
              0.4361,
              0.74713
            ],
            [
              0.07298,
              0.09768,
              0.11559,
              0.14474,
              0.19379,
              0.27949,
              0.43617,
              0.74826
            ],
            [
              0.073,
              0.09768,
              0.11576,
              0.14473,
              0.19378,
              0.27905,
              0.43648,
              0.74832
            ],
            [
              0.07297,
              0.09768,
              0.11551,
              0.14481,
              0.19371,
              0.27922,
              0.43656,
              0.7478
            ],
            [
              0.07295,
              0.09767,
              0.11567,
              0.14477,
              0.19411,
              0.2792,
              0.43657,
              0.74821
            ],
            [
              0.073,
              0.09771,
              0.11572,
              0.14483,
              0.19413,
              0.2793,
              0.43659,
              0.7484
            ],
            [
              0.07322,
              0.09788,
              0.11584,
              0.1453,
              0.1941,
              0.2793,
              0.4366,
              0.7484
            ],
            [
              0.0741,
              0.0988,
              0.1169,
              0.1459,
              0.1947,
              0.2797,
              0.4368,
              0.7486
            ],
            [
              0.0807,
              0.1049,
              0.1224,
              0.1507,
              0.1985,
              0.2822,
              0.4382,
              0.7492
            ],
            [
              0.0903,
              0.1152,
              0.1328,
              0.1617,
              0.2097,
              0.2928,
              0.4458,
              0.7533
            ]
          ]
        },
        "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.00705,
            0.01411,
            0.02822,
            0.05643,
            0.11286,
            0.22573,
            0.45147
          ],
          "values": [
            [
              0.0519,
              0.08516,
              0.1104,
              0.1556,
              0.24107,
              0.41443,
              0.76983,
              1.50391
            ],
            [
              0.05191,
              0.08514,
              0.11059,
              0.15568,
              0.24103,
              0.41329,
              0.77032,
              1.49984
            ],
            [
              0.05191,
              0.08515,
              0.11044,
              0.15561,
              0.24112,
              0.41357,
              0.77029,
              1.50004
            ],
            [
              0.05191,
              0.08519,
              0.11044,
              0.15556,
              0.24107,
              0.41372,
              0.76978,
              1.50402
            ],
            [
              0.05189,
              0.08522,
              0.11048,
              0.15551,
              0.24162,
              0.41419,
              0.77017,
              1.50024
            ],
            [
              0.05193,
              0.08517,
              0.11064,
              0.15583,
              0.24103,
              0.41378,
              0.76904,
              1.50478
            ],
            [
              0.05193,
              0.08521,
              0.11048,
              0.15566,
              0.24117,
              0.41384,
              0.77017,
              1.50102
            ],
            [
              0.05203,
              0.08523,
              0.11057,
              0.15579,
              0.24113,
              0.41278,
              0.77034,
              1.50081
            ],
            [
              0.05201,
              0.08537,
              0.11071,
              0.15581,
              0.2412,
              0.41313,
              0.77027,
              1.5002
            ],
            [
              0.0525,
              0.08578,
              0.11103,
              0.15615,
              0.24143,
              0.41373,
              0.7701,
              1.499
            ],
            [
              0.0559,
              0.0894,
              0.1147,
              0.1589,
              0.2435,
              0.4138,
              0.7705,
              1.502
            ],
            [
              0.0605,
              0.0958,
              0.1216,
              0.1661,
              0.2493,
              0.4173,
              0.7718,
              1.5
            ],
            [
              0.0668,
              0.1043,
              0.131,
              0.176,
              0.2585,
              0.4251,
              0.7753,
              1.5008
            ]
          ]
        },
        "sdf_cond": "(A&B)",
        "timing_sense": "positive_unate",
        "when": "(A&B)"
      }
    ]
  }
}